What is the indefinite sum of tan(x)? - MathOverflow most recent 30 from http://mathoverflow.net 2013-05-20T09:36:13Z http://mathoverflow.net/feeds/question/41011 http://www.creativecommons.org/licenses/by-nc/2.5/rdf http://mathoverflow.net/questions/41011/what-is-the-indefinite-sum-of-tanx What is the indefinite sum of tan(x)? Herman Tulleken 2010-10-04T12:24:21Z 2012-01-28T11:49:48Z <p>What is the indefinite sum of the tangent function, that is, the function $T$ for which </p> <p>$\Delta_x T = T(x + 1) - T(x) = \tan(x)$</p> <p>Of course, there are infinitely many answers, who all differ by a function of period 1. Ideally, I would like the solution to be of the form</p> <p>$T(x) =$ nice_function$(x)$ + possibly_ugly_periodic_function$(x)$, where nice is at least piece-wise continuous.</p> <p>If any of the following sums can be found, the sum of tan can also be found:</p> <ul> <li><p>$\sum \sec x$</p></li> <li><p>$\sum \csc x$</p></li> <li><p>$\sum \cot x$</p></li> <li><p>$\sum \frac{1}{e^{ix} + 1}$</p></li> </ul> <p>I have tried several methods without success, including using a newton series (which does not converge for non-integer $x$), and trying to guess possible functions. </p> <p>I would also appreciate lines of attack if a solution is not known.</p> http://mathoverflow.net/questions/41011/what-is-the-indefinite-sum-of-tanx/41021#41021 Answer by Gerald Edgar for What is the indefinite sum of tan(x)? Gerald Edgar 2010-10-04T14:22:57Z 2010-10-04T14:22:57Z <p>There is no reason to think there is any simple expression for solution $T$ of $$T(x + 1) - T(x) = \tan(x)$$ </p> <p>What we CAN find a simple solution to is this: $$T(x + \pi) - T(x) = \tan(x)$$</p> http://mathoverflow.net/questions/41011/what-is-the-indefinite-sum-of-tanx/41031#41031 Answer by decomwe for What is the indefinite sum of tan(x)? decomwe 2010-10-04T15:19:49Z 2010-10-04T15:19:49Z <p>The Maple command for indefinite sums (as described on the page <a href="http://www.maplesoft.com/support/help/Maple/view.aspx?path=sum/details" rel="nofollow">http://www.maplesoft.com/support/help/Maple/view.aspx?path=sum/details</a>, found via Google by typing "indefinite sum" maple) is given by</p> <p>sum(f,x);</p> <p>I tried this, but my version of Maple doesn't know the answer when f=tan(x).</p> <p>For sin(x) it gives sum(sin(x),x);= -(1/2)sin(x)+(1/2)*sin(1)cos(x)/(cos(1)-1)</p> http://mathoverflow.net/questions/41011/what-is-the-indefinite-sum-of-tanx/41034#41034 Answer by decomwe for What is the indefinite sum of tan(x)? decomwe 2010-10-04T15:58:35Z 2010-10-04T16:03:48Z <p>The indefinite integral of tan(x) is -ln |cos(x)|, so find out how that expression was arrived at and see if this can be adpated to the discrete case. </p> <p><a href="http://en.wikipedia.org/wiki/Indefinite_sum" rel="nofollow">http://en.wikipedia.org/wiki/Indefinite_sum</a></p> <p><a href="http://en.wikipedia.org/wiki/Table_of_integrals#Trigonometric_functions" rel="nofollow">http://en.wikipedia.org/wiki/Table_of_integrals#Trigonometric_functions</a></p> <p>Or go for an approximate answer: truncate the taylor series and find the indefinite sum of that polynomial. From <a href="http://en.wikipedia.org/wiki/Taylor_series" rel="nofollow">http://en.wikipedia.org/wiki/Taylor_series</a> tan(x) = x+x^3/3+... and sum(x+x^3/3,x) = (7/12)x^2-(1/2)x+(1/12)x^4-(1/6)x^3</p> <p>The problem with this is tan(x) is periodically discontinuous and the taylor series is only valid for one period.</p> http://mathoverflow.net/questions/41011/what-is-the-indefinite-sum-of-tanx/41081#41081 Answer by Gerry Myerson for What is the indefinite sum of tan(x)? Gerry Myerson 2010-10-04T23:28:28Z 2010-10-04T23:28:28Z <p>It's not in Jolley's Summation Of Series, which is pretty close to saying it doesn't exist. Have you tried Euler-Maclaurin summation to get an asymptotic series? </p> http://mathoverflow.net/questions/41011/what-is-the-indefinite-sum-of-tanx/41098#41098 Answer by Oleg Eroshkin for What is the indefinite sum of tan(x)? Oleg Eroshkin 2010-10-05T02:38:21Z 2010-10-17T18:09:07Z <p>There are no "nice" functions with such properties. Every solution is discontinuous at a dense subset of $\mathbb{R}$. Just look on poles of $\tan x$. Let $x=\pi/2+\pi m$, $m\in\mathbb{Z}$. Clearly either $T$ is discontinuous at $x$ or at $x+1$. In the latter case it is also discontinuous at $x+k$ for every positive integer $k$. In the former case, $T$ is discontinuous at $x+k$ for every non-positive integer $k$.</p> http://mathoverflow.net/questions/41011/what-is-the-indefinite-sum-of-tanx/42432#42432 Answer by Anixx for What is the indefinite sum of tan(x)? Anixx 2010-10-16T22:47:01Z 2010-10-17T18:02:10Z <p>Well I found the answer to your question, it is</p> <p>$$\sum_x \tan(x)=ix-\psi _{e^{2 i}}^{(0)}\left(x+\frac{\pi }{2}\right)+C$$</p> <p>I have verified it with difference operator and it gives tan(x). The function involved is the q-digamma function <a href="http://mathworld.wolfram.com/q-PolygammaFunction.html" rel="nofollow">http://mathworld.wolfram.com/q-PolygammaFunction.html</a> .</p> <p>You can verify the result yourself: <a href="http://tiny.cc/60mmf" rel="nofollow">http://tiny.cc/60mmf</a></p> http://mathoverflow.net/questions/41011/what-is-the-indefinite-sum-of-tanx/42903#42903 Answer by Anixx for What is the indefinite sum of tan(x)? Anixx 2010-10-20T15:34:40Z 2010-10-20T22:11:07Z <p>And here is the plot of indefinite sum of tan(x):</p> <p><img src="http://static.itmages.ru/i/10/1020/h_1287595087_e8068c6504.png" alt="alt text"></p> <p>Here you can see tan(x) in red and its indefinite sum is in blue.</p> <p>As you can see, the indefinite sum is fairly continuous. Oleg Eroshkin's conclusion that this function should be discontinuous everywhere apparently came from a false assumption that indefinite sum of a periodic function should also be periodic.</p> <p>Though it is true that as $|x|$ grows the density of the poles grows, showing the same behavior as in function $f(x)=\tan(x^2)$</p> <p>The function shown on this plot is </p> <p>$$T(z)=-\sum _{k=1}^{\infty } \left(\psi \left(k \pi -\frac{\pi }{2}+1-z\right)+\psi \left(k \pi -\frac{\pi }{2}+z\right)-\psi \left(k \pi -\frac{\pi }{2}+1\right)-\psi \left(k \pi -\frac{\pi }{2}\right)\right)+C$$</p> <p>It can be derived from the first formula on <a href="http://functions.wolfram.com/ElementaryFunctions/Tan/06/05/" rel="nofollow">this page</a>:</p> <p>$$\tan(z)=8z \sum_{k=1}^{\infty} \frac1{(2k-1)^2\pi^2-4z^2}$$</p> <p>We notice that there is a difference of squares in the denominator and separate the terms so to obtain</p> <p>$$\tan(x)=-\sum_{k=1}^{\infty}\left(\frac1{z-\pi k+\frac{\pi}2}+\frac1{z+\pi k-\frac{\pi}2}\right)$$</p> <p>Now we take indefinite sum by each term to obtain the expression for T(x). All simple.</p> http://mathoverflow.net/questions/41011/what-is-the-indefinite-sum-of-tanx/42947#42947 Answer by Roy Maclean for What is the indefinite sum of tan(x)? Roy Maclean 2010-10-20T21:11:43Z 2010-10-20T21:52:04Z <p>Consider T(x) in T(x+1)-T(x)=tan(x) to be defined only on the integers>=0 and write it as the recurrence relation :</p> <p>T(n+1)-T(n)=tan(n) and set the initial value at T(0)=0, </p> <p>and then without needing a closed form expression for T(n) in terms of n, </p> <p>but just plotting the values of T(n+1)=T(n)+tan(n) </p> <p>we can see what the function looks like when restricted to the integers:</p> <p><img src="http://lh6.ggpht.com/_aqSlwmQRJ5o/TL9Vcfw5iLI/AAAAAAAAABE/cppuD834OBw/s800/sumtanx.jpg" alt="Image of plot of T(n+1)=T(n)+tan(n), T(0)=0"></p> <p>The top-left image shows the function plotted from n=..750</p> <p>The left column of images is the plot, the middle images join the dots to get a look at the shape, and the right column shows were the image is zoomed to get the images on the next row.</p> <p>The function T(n) appears to be almost periodic with period about 355.5</p> <p>T(n) maximum is about 3.5, T min is about -425.</p> http://mathoverflow.net/questions/41011/what-is-the-indefinite-sum-of-tanx/42975#42975 Answer by Gerald Edgar for What is the indefinite sum of tan(x)? Gerald Edgar 2010-10-21T00:23:02Z 2010-10-21T18:43:20Z <p>I add more details for the solution in the distinguished answer due to Anixx. First, we need the <strong>digamma</strong> function<br> <a href="http://en.wikipedia.org/wiki/Digamma_function" rel="nofollow">http://en.wikipedia.org/wiki/Digamma_function</a><br> which we will call $\Psi(x)$. Important properties (from that web page) are: $\Psi(x)$ is analytic in the complex plane except at the nonpositive integers where it has simple poles. $\Psi(x+1)-\Psi(x) = 1/x$. $\Psi(x) > 0$ for $x>2$. Asymptotics: $$\Psi(x) = \log x - \frac{1}{2x} - \frac{1}{12x^2} + \frac{1}{120x^4} + O(x^{-6}) \qquad\text{as } x \to \infty .$$ So, define $T(z) ={}$ $$-\sum_{k = 1}^{\infty} \Biggl[\Psi \Biggl(\pi \biggl(k - \frac{1}{2}\biggr) - z + 1\Biggr) + \Psi \Biggl(\pi \biggl(k - \frac{1}{2}\biggr) + z\Biggr) - \Psi \Biggl(\pi \biggl(k - \frac{1}{2}\biggr) + 1\Biggr) - \Psi \Biggl(\pi \biggl(k - \frac{1}{2}\biggr)\Biggr)\Biggr]$$ For any fixed $z$, only finitely many preliminary terms involve $\Psi$ evaluated at a nonpositive argument, and the asymptotics of the remaining terms are computed (from the asymptotics given above) as $$\Psi \Biggl(\pi \biggl(k - \frac{1}{2}\biggr) - z + 1\Biggr) + \Psi \Biggl(\pi \biggl(k - \frac{1}{2}\biggr) + z\Biggr) - \Psi \Biggl(\pi \biggl(k - \frac{1}{2}\biggr) + 1\Biggr) - \Psi \Biggl(\pi \biggl(k - \frac{1}{2}\biggr)\Biggr)$$</p> <p>$=z(1-z)/(k^2\pi^2) + o(k^{-2})$ as $k \to \infty$. So the series converges absolutely except when we are at a pole of one of the preliminary terms. Now, because of absolute convergence, we may subtract term-by-term and simplify to get</p> <p>$$T(z+1)-T(z) = \sum_{k=1}^\infty\Biggl[\frac{8z}{(-\pi+2\pi k-2z)(-\pi+2\pi k+2z)}\Biggr] = \tan z .$$</p> http://mathoverflow.net/questions/41011/what-is-the-indefinite-sum-of-tanx/70677#70677 Answer by Ockam for What is the indefinite sum of tan(x)? Ockam 2011-07-18T21:30:18Z 2011-07-18T21:30:18Z <p>Dear Mr.DontKnowName</p> <p>This article is outdated. Now indefinite sum is completely reduced to indefinite integral. To be sure of it look at <a href="http://www.oddmathes.info/indefinitesum" rel="nofollow">http://www.oddmathes.info/indefinitesum</a> . I recommend to begin with examples. There is at the bottom of a page a button “Examples”. In a drop-down menu click “Instruction”, read it and then open “Example1”. The example is a live one. You can insert an analytic function at your choice and calculate it. In the example there are detailed instructions in commentaries before each step. When you become sure that the formula works you can look at the article to see why it works.</p> <p>Ascold.</p> http://mathoverflow.net/questions/41011/what-is-the-indefinite-sum-of-tanx/86895#86895 Answer by Ascold Caves for What is the indefinite sum of tan(x)? Ascold Caves 2012-01-28T11:49:48Z 2012-01-28T11:49:48Z <p>There is an error in my previous post in writing down the site I refer to, so I repost it.</p> <p>Dear Mr. Edgar.</p> <p>This article is outdated. Now indefinite sum is completely reduced to indefinite integral. To be sure of it look at <a href="http://www.oddmaths.info/indefinitesum" rel="nofollow">http://www.oddmaths.info/indefinitesum</a> . I recommend to begin with examples. There is at the bottom of a page a button “Examples”. In a drop-down menu click “Instruction”, read it and then open “Example1”. The example is a live one. You can insert an analytic function at your choice and calculate it. In the example there are detailed instructions in commentaries before each step. When you become sure that the formula works you can look at the article to see why it works.</p> <p>Ascold.</p> <p>At the site <a href="http://en.wikipedia.org/wiki/User:Ascoldcaves" rel="nofollow">http://en.wikipedia.org/wiki/User:Ascoldcaves</a> there is a brief summery about summation.</p> <p>Ascold.</p>