1

The problem is the problem 7 of chapter 1.5. (pp. 63) from the bookComplex Analysis with Applications by Asmar et al. We have to show that for $\theta$ not an integer multiple of $\pi$, $\lim_{n\to\infty}\cos(n\theta)$ and $\lim_{n\to\infty}\sin(n\theta)$ do not exist.

As of the time of writing I haven't really managed to start proving the claim, as my only progress so far is that if $\theta \neq k\pi, k \in \mathbb{Z} \Longleftrightarrow \theta = (l + \epsilon)\pi, l \in \mathbb{Z}, \epsilon \in \mathbb{R}\setminus \mathbb{Z}$, so that $\cos(n\theta) = \cos(n(l + \epsilon)\pi) = \cos(nl\pi)\cos(n\epsilon\pi) - \underbrace{\sin(nl\pi)}_{=0}\sin(n\epsilon\pi) = \pm\cos(n\epsilon\pi)$, depending on whether $2|nl$ or not. This would hint that $\cos(n\epsilon\pi)$ remains oscillating with the $\pm$, but I'm not sure how to finish the proof.

One tool that is given before the problem is that for $z\in\mathbb{C}:\lim_{n\to\infty}z^n = 0$ if $|z| < 1$, $1$ if $z = 1$, and the limit does not exist in other cases. I know that $\cos(t) = (\exp(it) + \exp(-it))/2$, but I'm not yet sure how to actually use this in the proof.

  • 1
    @shoteyes the sequence in that case still oscillates, $0,-1,0,1,\cdots$, etc – Ninad Munshi Jul 23 '21 at 15:55
  • @NinadMunshi of course, I was thinking of odd multiples of $\pi/2$. Silly me! I guess my issue really was that even if it were a multiple of $\pi$, it wouldn’t guarantee convergence. For example, $\theta = \pi$ has the same oscillation. – shoteyes Jul 23 '21 at 16:01
  • 1
    Related: https://math.stackexchange.com/q/1139021/42969, https://math.stackexchange.com/q/3683626/42969. – Martin R Jul 23 '21 at 19:42

1 Answers1

5

Let's suppose that $\sin(n\theta)$ converges to a limit $l$.

One has

$$\sin((n+1)\theta)=\sin(n\theta)\cos(\theta)+\sin(\theta)\cos(n\theta) \quad \quad (1)$$

$$\sin((n-1)\theta)=\sin(n\theta)\cos(\theta)-\sin(\theta)\cos(n\theta) \quad \quad (2)$$

so adding $(1)+(2)$, and letting $n$ tend to $+\infty$, you get $$2l = 2l \cos(\theta)$$

so $l=0$ because $\cos(\theta)\neq 1$. But then $(1)$ implies that $\cos(n\theta)$ also tends to $0$, which is absurd since $\sin^2(n\theta)+\cos^2(n\theta)$ must be constant equal to $1$.

TheSilverDoe
  • 29,720