Wednesday, July 27, 2016

Fourier series without Fourier analysis techniques



It is known that one can sometimes derive certain Fourier series without alluding to the methods of Fourier analysis. It is often done using complex analysis. There is a way of deriving the formula
k=1sin(kz)k=πz2
using complex analysis for some z. In other words, it can be shown that k=1sin(kz)/k converges to (πz)/2 for some z. My question is: How can we show that the formula above holds for z(0,2π) without using Fourier analysis?



Edit:




Using blue's suggestion I concocted the following proof.



Let logz be the principal value of the logarithm (with the branch cut along the negative real axis). Recall that eizeiz=2isinz and Arg(z)=Arg(z). Furthermore, we have
log(1eiz)=k=1eikzk=log|1eiz|+iθ=log|2sinz2|+iθ,
where θ=Arg(1eiz). Now, write 1eiz=1coszisinz and let z(0,π). Then
tanθ=sinz1cosz=cos(z/2)sin(z/2)=tan(π2z2).

Hence, θ=π/2z/2. Moreover, since z(0,π), we have θ(0,π/2).
Using Euler's formula eiz=cosz+isinz and the fact that the sine function is odd, we see that equating the imaginary parts gives
k=1sinkzk=πz2,z(π,0)(0,π).
Lastly, observe that (π,0)(0,π) can be replaced by (0,2π) due to the periodicity of the sine function.


Answer



In order to make sense of sines with complex arguments, you need to decompose them into complex exponentials. After that notice you're working with two series, each a Taylor expansion of the natural logarithm function (written appropriately). Proceed from there.


No comments:

Post a Comment

analysis - Injection, making bijection

I have injection f:AB and I want to get bijection. Can I just resting codomain to f(A)? I know that every function i...