2
$\begingroup$

When proving that a certain sequence does not converge, is it enough to show that there exist 2 sub-sequences, one that converges to a limit $L$, and the other diverging (increases without bound for example) to prove this, or must I show that there exist two different sub-limits? (I'm using the rule that every sub-sequence of a convergent sequence converges to the same limit.)

For example:

When proving that $$a_n = \cos\left(\frac{\pi n^2} {2n+3}\right)$$ does not converge, I found two sub-sequences, $b_n$ and $c_n$, where $b_k = \frac1 k$ and $c_k = \sqrt{k}$, in which $a_{b_k}$ converges to $0$ and $a_{c_k}$ diverges.

EDIT

Just realized the above aren't indices at all... since $k$ must be integers. I've tried subs-sequences of even and odd integer indices for $k$ but don't see a pattern for the function.

  • 3
    Actually one diverging subsequence is enough:)2012-02-25
  • 0
    The Bolzano-Weierstrass theorem states that each bounded sequence has a convergent subsequence. It follows that an unbounded sequence has *at least one* diverging subsequence.2012-02-25
  • 0
    The cosines stay between $-1$ and $1$, so you could not have found one of the subsequences you describe. And if $1/k$ describes indices, they are not going to infinity, indeed almost all are non-integers.2012-02-25
  • 1
    @JosuéMolina: How does that follow? Sure, your conclusion is _true_, but I don't see that it _follows_.2012-02-25
  • 0
    i tried setting each subsequence to even and odd integers but I don't see any pattern...the values jump all over the place2012-02-25

2 Answers 2

2

Hint: Note that $$\frac{n^2}{2n+3}=\frac{n^2+3n/2}{2n+3}-\frac{3n/2}{2n+3}=\frac{n}{2}-\frac{3n/2}{2n+3}.$$

Let $n$ be large. The second term has limit $3/4$ as $n\to \infty$. Now multiply by $\pi$. Now let us explore the values of the cosine. We are subtracting something very close to $3\pi/4$ from $n\pi/2$. So our angle has the same cosine as $\pi(n-4)/2$ plus something that approaches $\pi/4$.

Look at what happens when $n$ is a multiple of $4$. Then our cosine is very close to the cosine of $\pi/4$, which is $\sqrt{2}/2$. When $n$ is $2$ more than a multiple of $4$, then our cosine is very close to the cosine of $3\pi/4$, so it is near $-\sqrt{2}$. Thus we can use as subsequences the integers $n$ of the form $4k$, and the integers $n$ of the form $4k+2$. (There is a similar alternation with the odd $n$, but we don't need to look at them, since we already have non-convergence.)

Remark Informally, $n^2/(2n+3)$ is "about" $n/2$ when $n$ is large, and $\cos(n\pi/2)$ is quite different when $n$ is even than when $n$ is odd. However, "about" is much too vague for our purposes.

Even though it is not necessary for the argument, we can go further in our decomposition, by noting that $$\frac{(3n/2)}{2n+3}=\frac{3}{4}-\frac{9/4}{2n+3}.$$ The best approach to our first decomposition is not the "magic" adding and subtracting of $3n/2$. Instead, divide the polynomial $x^2$ by the polynomial $2x+3$ using the ordinary "long division" process.

Alternately, let $m=2n+3$. Then $n=(m-3)/2$, and therefore $n^2=(1/4)(m-3)^2$. Expand. Dividing by $m$ is easy.

  • 0
    is it usually a safe bet to first try the even/odd indices when looking for different sub-limits?2012-02-25
  • 0
    @nofe: My first hint was too vague. The behaviour of the trig functions is relevant. When there is bad behaviour, it is usually of the blowing up kind. But bouncing around alternately is probably the next most common kind.2012-02-25
  • 0
    @nofe: There are all kinds of bad behaviour, such as wild oscillations. Approaching infinity (blowing up) means that our usual tools for analysis often break down.2012-02-25
  • 0
    so how can I show this sequence diverges if the "about" statements are too vague?2012-02-25
  • 0
    i'm trying to do @Andre but it always disappears after I press "add comment"2012-02-25
  • 0
    i'm still not sure how to go around proving these types of sequences diverge. Let's say I take $2^n sin(\frac{1} {n})$. What should I be looking at? Should I first try to guess how this behaves with even and odd integers for $n$ ? @andre2012-02-25
  • 0
    Unless I'm mistaken, in absolute value, they are all "about" the same (you'll be evaluating $\cos$ at an angle that is about one of $\pi/4$, $3\pi/4$, $5\pi/4$, or $7\pi/4$). However, depending on the value of $n$, the signs will be different.2012-02-25
  • 0
    So, the sequence behaves like the sequence$$(\cos( 5\pi/4), \cos(7\pi/4),\cos(\pi/4), \cos(3\pi/4), \cos(5\pi/4), \cos(7\pi/4),\ldots)$$or$$(\color{maroon}{-.707, .707, .707,-.707}, -.707, .707,\ldots)$$2012-02-25
  • 0
    @David Mitra: Thanks, I did not notice that it was halfway!2012-02-25
  • 0
    @AndréNicolas, what can I do when the function doesn't have a $\pi$ in it like $2^nsin(\frac {1}{n})$. What should be my first steps in proving that this diverges? Keep in mind that I'm not allowed to use calculators...2012-02-25
  • 1
    @nofe: Recall that when $x$ is very close to $0$, $(\sin x)/x$ is close to $1$. So the ratio of $2^n\sin(1/n)$ to $2^n/n$ is close to $1$. However, you know that $2^n$ goes to infinity much faster than $n$. Thus the sequence you asked about diverges. Some would say instead it has limit $\infty$.2012-02-25
1

Yeah, remember that if $(S_n)$ is a convergent sequence, then each of its subsequences converges as well. So, if you can find just a single divergent subsequence, then you're done. Now,like you said, if you are able to find two subsequences that converge to two distint limits however, you are also done as the limit of any sequence is unique.