Tuesday, November 15, 2016

real analysis - Behaviour of sumuncos(ntheta+a) when thetaoverpi is rational and when irrational




I am trying to show that if θ is not equal to 0 or a multiple of 2π, and if u0,u1,u2,... be a sequence such that un0 steadily, then the series uncos(nθ+a) is convergent and also if the limit of un is not zero, but un is still monotonic, the sum of the series is oscillatory if θπ is rational, but that, if θπ is irrational, the sum may have any value between certain bounds whose difference is limnuncosecθ2.






Solution Attempt
Based on the upper bound of the partial sums are bounded as shown by Julián Aguirre
below and based on G.H.Hardy's test for uniform convergence which states that if, in a given domain, |pn=1an(z)|k where an(z) is real and k is finite and independent of p and z, and if fn(z)fn+1(z) and fn(z)0 uniformly as n, then n=1an(z)fn(z) converges uniformly.



Since un0 and the sequence u0,u1,u2,... is monotonically decreasing.
We also observed that the partial sum is bounded so the series converges uniformly.

Hence the series must converge.



I am unsure how to attack the second part of the problem, to be more specific how the cos function varies when the parameter part is irrational. Any help would be much appreciated.


Answer



The hypothesis do not say anything about the convergence of the series un. There is nothing you can say about the absolute convergence of the series, and in particular, the ratio test is useless.



The series converges by Dirichlet's test. It is enough to show that the partial sums nk=1cos(nθ+a) are bounded for θ2kπ:
nk=1cos(nθ+a)=(nk=1e(nθ+a)i)=(eaink=1enθi)=(eaie(n+1)θieθi1),

|nk=1cos(nθ+a)|1|eθi1|.



For the second question, if limnun=u, then unu converges monotonically to 0. Writing
nk=1uncos(nθ+a)=unk=1cos(nθ+a)+nk=1(unu)cos(nθ+a).
By the previous argument, nk=1(unu)cos(nθ+a) converges; let S be its sum. We see that it is enough to study the behaviour of
nk=1cos(nθ+a)=(eaie(n+1)θieθi1)=12cscθ2sin((n+12)θ+a).
If θ/π is irrational, then the values of
sin((n+12)θ+a)=sin((2n+1)π2θπ+a)
are uniformly distributed in [1,1], and the values of nk=1cos(nθ+a) are uniformly distributed in
[Su2cscθ2,S+u2cscθ2].

On the other hand, if θ/π=p/q is rational, then
sin((n+12)θ+a)=sin((2n+1)pπ2q+a)
is a periodic sequence.


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...