Franklin Pezzuti Dyer

Home     Posts     CV     Contact     People

Interesting Trigonometric Integrals

2018 June 16

NOTE: I will use a special notation during this post that may be unfamiliar to some. The symbol $\delta_{ij}$, a function of $i$ and $j$, is defined as $1$ if $i=j$ and $0$ otherwise... pretty simple, but handy since it allows one to avoid piecewise notation.

NOTE: One more piece of helpful notation - the Iverson Bracket. If $A$ is some logical statement, then $[A]$ is equal to $1$ if $A$ is true and $0$ if $A$ is false. For example, $[2018\space\text{is odd}]=0$, and $\delta_{ij}=[i=j]$.

WARNING: Don't try to calculate the last integral in any nice closed form - I calculated it in terms of a fractional value of the Zeta function.

As with my last blog post, the integrals provided as "warm-ups" are only specific cases of more useful generalizations that I will derive during this post. Interestingly, some of these integrals involve a bit of number theory, which we will discover shortly...

Let us begin with the following integral, which I have not included in the warm-ups, but which is crucial in my derivation of many of them: ...where $m$ and $n$ are positive integers. Using the following trigonometric identity: we can transform the integral into the following: which easily evaluates to which vanishes for any positive integers $m,n$, since the sine of an integer multiple of $\pi$ is zero. However, this integral isn't valid for $m=n$, because the second term, in that case, is indeterminant. When $m=n$, the integral becomes instead which evaluates to $\pi/2$. Thus, our original integral vanishes when $m\ne n$ and is equal to $\pi/2$ when $m=2$, giving us the following result: ...a rather tame result on its own, but, in conjunction with some other trigonometric series and integral identities, it can lead to some fascinating ones.

To start us on this journey, I shall begin with a rather ordinary generating function identity. As we all know, By replacing $x$ with $ze^{i\theta}$, we have the following: By equating real and imaginary parts, this demonstrates that

Now, let's consider what this means when applied to our integral. We know that Thus if $k$ is a positive integer, then By summing both sides from $k=0$ to $\infty$, we get the following: long as $|z|<1$, to ensure convergence. By decomposing that ugly fraction in the integral, we get the following: ...and, recalling the assumption that $n$ is an integer, we have

This formula holds for $m,n\in\mathbb Z^+$ and $|z|<1$. Using it, we can easily resolve our first warm-up problem by setting $n=5$, $m=1$, and $z=5-2\sqrt{6}$:

...but we can do even better! In fact, we can do yet another infinite series! Let's begin this time with the formula we just derived:

This time, we'll replace $n$ with $nk$, where $k$ is a positive integer. For convenience's sake, I'll also replace $z$ with $a$.

Now multiply both sides by $b^k$, for some $b$ satisfying $|b|<1$:

Finally (can you guess what to do now?) I will sum both sides from $k=0$ to $\infty$, resulting in

Now notice that $[m|nk]$ is equal to zero unless $k$ is a multiple of $m/\gcd(m,n)$, in which case it is equal to $1$. Thus, our series can be converted to

which is just a geometric series, converging to

and so we have

using the same partial fraction decomposition as before, we end up with the following: or

Letting $m=1$, $n=2$, and $a=b=1/2$ gives the answer to the second warm-up:

Now we will use the infinite series identity derived earlier to exploit an entirely different type of integral. Consider the well-known identity for any value of $a$. By antidifferentiating both sides with respect to $a$, we obtain the integral where $C$ is some constant. By setting $a=0$, we see that $C=0$, and so Then replace $a$ with $ak$ for some positive integer $k$, and multiply both sides by $z^k$, where $|z|\lt 1$. This gives us Now, as before, we sum both sides from $k=1$ to $\infinity$, and use this series identity before on the LHS: and use the following well-known series identity on the RHS: This gives us the following equality: or, as our final result, Plugging in $z=1/4$, we get the value of our third warm-up problem: For the next warm-up integral, before I start to solve it, I'd like to show a picture of its graph. It is, of course, an improper integral, but over the interval $(0,\infty)$, not only does its integrand contain infinitely many singularities, but they occur more and more frequently, making it very improper (so improper that Wolfram Alpha can't even approximate it effectively), but still convergent.

Fig 1

To quickly derive the value of this integral, one can employ the integral identity and the well-known Fourier series By replacing $a$ with $ak$ in the first integral and dividing both sides by $k$, one obtains Then, summing from $k=1$ to $\infty$, one gets By plugging in $a=1$, one gets the value of the fourth and final warm-up: Now, before ending this blog post, I would like to show off an integral that I derived using trigonometric series. Using the Fourier Series that we employed for the previous series, and using the identity from earlier,along with various trigonometric identities, I managed to prove the following awesome identity for $m,n\in\mathbb Z$:

If you want, you can try it as well. And, to finish off the post, I propose the following exercise: see what integrals you can derive using trigonometric series and the following identity, derived in my post on the Residue Theorem:

back to home page