8

How can I prove or disprove the following series converges?

$$\sum_{n=2}^\infty(-1)^n\cfrac {\sqrt n}{(-1)^n+\sqrt n}\sin\left(\frac {1}{\sqrt n}\right)$$

I tried several things, none of which worked.

I wanted to use Abel's test or Dirichlet's test. I know that $\sin(\frac {1}{\sqrt n})$ is monotonically decreasing to $0$, but I wasn't able to show that $\Sigma_{n=2}^\infty(-1)^n\frac {\sqrt n}{(-1)^n+\sqrt n}$ is convergent, as it does not converge absolutely since $\frac {\sqrt n}{(-1)^n+\sqrt n}$ converges to 1. Neither was I able to show that the partial sum sequence of $\frac {\sqrt n}{(-1)^n+\sqrt n}$ is bounded. I'm at a loss. Would love any help.

Note - This exact question was discussed here a few years ago, but was not answered then and the hint provided in the responses was not useful.

Elias Costa
  • 14,658
Noa
  • 1,033

3 Answers3

5

Hint. By Taylor series expansions, one has, as $x \to 0$, $$ \sin x=x+O(x^3), \qquad \frac1{1+x}=1-x+O(x^2), $$giving, as $n \to \infty$, $$ (-1)^n\frac {\sqrt n}{(-1)^n+\sqrt n}=\frac {(-1)^n}{1+\frac{(-1)^n}{\sqrt n}}=(-1)^n-\frac{1}{\sqrt n}+O\left(\frac {1}{n} \right), $$and$$ \sin\frac {1}{\sqrt n}=\frac {1}{\sqrt n}+O\left(\frac {1}{n^{3/2}} \right). $$ Then, as $n \to \infty$, one gets

$$ (-1)^n\frac {\sqrt n}{(-1)^n+\sqrt n}\:\sin \frac {1}{\sqrt n}=\frac{(-1)^n}{\sqrt n}-\frac1n+O\left(\frac {1}{n^{3/2}} \right). $$

Can you take it from here?

Olivier Oloa
  • 120,989
  • I see where you're going with this, but I'm not totally clear on what you did in the second equality above. How was that $(-1)^n$ cancelled out on the second term of the expansion? – Noa Dec 16 '17 at 11:17
  • @OlivierOloa, why so comlicated? Why not simply set: $\sin(x)=O(1)$ and $\frac1{1+x}=1+O(x)$. Then, as $n\to\infty$, we immediately see,$$ (-1)^n\frac {\sqrt n}{(-1)^n+\sqrt n}:\sin \frac {1}{\sqrt n}=(-1)^n\frac {1}{1+\frac{(-1)^n}{\sqrt n}}:\sin \frac {1}{\sqrt n}=(-1)^n+O\left( \frac{1}{\sqrt n}\right).$$ Clearly, $\sum\limits_{n=2}^{\infty}(-1)^n+O\left( \frac{1}{\sqrt n}\right)$ can't be convergent. – Philipp Nov 16 '20 at 20:16
  • @OlivierOloa,$$ (-1)^n\frac{1}{1+\frac{(-1)^n}{\sqrt{n}}}\sin\frac{1}{\sqrt{n}}=(-1)^n\cdot\left(1+O\left(\frac{1}{\sqrt{n}}\right)\right)\cdot O(1)\=(-1)^n\cdot\left(1\cdot O(1)+O\left(\frac{1}{\sqrt{n}}\right)\cdot O(1)\right)=\left((-1)^n+(-1)^nO\left(\frac{1}{\sqrt{n}}\right)\right)=(-1)^n+O\left(\frac{1}{\sqrt{n}}\right)$$ – Philipp Nov 17 '20 at 11:45
  • @Philipp Please observe that with your reasoning one may write $$ (-1)^n:\sin \frac {1}{n^2}=(-1)^n \cdot O\left( 1\right)=(-1)^n$$ and one may conclude that $\sum_{n\ge1}(-1)^n:\sin \frac {1}{n^2}$ being the same nature of $\sum_{n\ge1}(-1)^n$ is divergent... but in fact $$\left| (-1)^n:\sin \frac {1}{n^2}\right|\le \frac{1}{n^2}$$ and the series $\sum_{n\ge1}(-1)^n:\sin \frac {1}{n^2}$ is thus (absloutely) convergent. – Olivier Oloa Nov 19 '20 at 22:59
  • @OlivierOloa, your "counter-example" is wrong. The constant $0$-function is also of the same class as $(-1)^n$, or as you said of the same nature, because $\Big|\frac{0}{(-1)^n}\Big|\leq C $, where $C$ can be any positive constant. But clearly $\sum\limits_{n=1}^{\infty}0$ is convergent yet $\sum\limits_{n=1}^{\infty}(-1)^n$ is divergent. So only because two functions are of the same class it doesn't mean that the two corresponding series have the same convergence behavior. So I still don't see a problem with my approach. – Philipp Nov 19 '20 at 23:42
  • @Philipp With your approach $$(-1)^n\frac{1}{1+\frac{(-1)^n}{\sqrt{n}}}\sin\frac{1}{n^2}=(-1)^n\cdot\left(1+O\left(\frac{1}{\sqrt{n}}\right)\right)\cdot O(1)\=(-1)^n\cdot\left(1\cdot O(1)+O\left(\frac{1}{\sqrt{n}}\right)\cdot O(1)\right)=\left((-1)^n+(-1)^nO\left(\frac{1}{\sqrt{n}}\right)\right)=(-1)^n+O\left(\frac{1}{\sqrt{n}}\right)$$ but $\displaystyle \sum_{n\ge2}(-1)^n\frac{1}{1+\frac{(-1)^n}{\sqrt{n}}}\sin\frac{1}{n^2}$ is convergent... maybe you see it better this way. – Olivier Oloa Nov 20 '20 at 00:57
  • @OlivierOloa, though your first example doesn't apply this second one shows that there must be a mistake in my reasoning. However, I still don't see the mistake. – Philipp Nov 20 '20 at 19:20
5

Observe that $$ \frac{\sqrt{n}}{\sqrt{n} + (-1)^n} = \frac{\sqrt{n}}{\sqrt{n} + (-1)^n} \cdot \frac{\sqrt{n} - (-1)^n}{\sqrt{n} - (-1)^n} = \frac{n - (-1)^n \sqrt{n}}{n-1}, $$ hence the general term $a_n$ of your series can be written as $$ a_n = b_n + c_n, \qquad b_n := (-1)^n \frac{n}{n-1} \sin \frac{1}{\sqrt{n}}, \quad c_n := - \frac{\sqrt{n}}{n-1} \sin \frac{1}{\sqrt{n}}\,. $$ Now, $\sum_n b_n$ is convergent by Leibnitz's criterion for alternating series, whereas $\sum c_n$ diverges to $-\infty$ (since $c_n \sim - 1/n$). So $\sum a_n$ diverges to $-\infty$.

Rigel
  • 14,434
  • This is very nice and elegant. Thank you very much! – Noa Dec 16 '17 at 11:13
  • I have been thinking about this for a few days and I came to think that this solution is unfortunately incorrect, because it involves rearranging the terms and then summing them in a different order. By Riemann's rearrangement theorem, we've actually done nothing... – Noa Dec 19 '17 at 17:21
  • There is no rearrangement, since, for every $n$, $a_n = b_n + c_n$. So you can reason on partial sums: if $A_n := \sum_{k=1}^n a_k$, and $B_n$, $C_n$ are defined in a similar manner, then $A_n = B_n + C_n$. Taking the limit as $n\to +\infty$, you get $\lim_n A_n = -\infty$. – Rigel Dec 19 '17 at 20:21
  • Got it. Thanks for your help, I really appreciate it! – Noa Dec 19 '17 at 20:55
1

From ${1\over1+u}=1-u+{u^2\over1+u}$ we have

$${\sqrt n\over(-1)^n+\sqrt n}={1\over1+{(-1)^n\over\sqrt n}}=1-{(-1)^n\over\sqrt n}+{{1\over n}\over1+{(-1)^n\over\sqrt n}}=1-{(-1)^n\over\sqrt n}+{1\over n+(-1)^n\sqrt n}$$

Now, on multiplying by $(-1)^n\sin\left(1\over\sqrt n\right)$, we see that

$$\sum_{n=2}^\infty(-1)^n\sin\left(1\over\sqrt n\right)$$

converges conditionally while

$$\sum_{n=2}^\infty{(-1)^n\over n+(-1)^n\sqrt n}\sin\left(1\over\sqrt n\right)$$

converges absolutely (since $\sin(1/\sqrt n)/(n+(-1)^n\sqrt n)\approx1/n^{3/2}$ for large $n$), but

$$\sum_{n=2}^\infty{1\over\sqrt n}\sin\left(1\over\sqrt n\right)\approx\sum_{n=2}^\infty{1\over n}$$

diverges. So the overall sum diverges.

Barry Cipra
  • 79,832
  • Wouldn't this solution involve rearranging the terms? The proof you're suggesting encapsulates the assumption that the series itself converges conditionally, so rearranging the terms in that case is meaningless... – Noa Dec 19 '17 at 17:28
  • 1
    @Noa, it's good you think to ask about this. There actually isn't any rearrangement of terms here (nor is there in Rigel's answer). You can see this by replacing $\infty$ with $N$ as the upper limit of the sum(s). That is, each partial sum splits into three pieces. For two of the pieces the limit of the partial sum exists, while for the third piece it doesn't. That's enough to show the original infinite sum does not converge. – Barry Cipra Dec 19 '17 at 19:33
  • Thank you for the clarification. This question's really been bugging me for a while. – Noa Dec 20 '17 at 08:25