MHB Proving Convergence of a Sequence with a Geometric Condition

  • Thread starter Thread starter evinda
  • Start date Start date
  • Tags Tags
    Sequence
Click For Summary
A sequence \( (a_n) \) satisfies the condition \( |a_{n+2}-a_{n+1}| \leq \theta |a_{n+1}-a_n| \) for \( 0 < \theta < 1 \). It is shown that \( |a_{n+2} - a_{n+1}| \) can be bounded by \( \theta^n |a_2 - a_1| \), leading to a convergence argument. By applying the triangle inequality, the distance \( |a_n - a_m| \) can be expressed as a sum of terms that decay geometrically. This results in \( |a_n - a_m| \) being bounded, confirming that the sequence converges. The discussion emphasizes the use of the ratio test and properties of telescoping series to establish convergence.
evinda
Gold Member
MHB
Messages
3,741
Reaction score
0
Hello! (Wave)

Let $0< \theta<1$ and a sequence $(a_n)$ for which it holds that $|a_{n+2}-a_{n+1}| \leq \theta |a_{n+1}-a_n|, n=1,2, \dots$.

Could you give me a hint how we could show that $(a_n)$ converges? :confused:
 
Physics news on Phys.org
Hi mathmari,

Note that by hypothesis $\lvert a_{n+2} - a_{n+1}\rvert \le \theta^n\lvert a_2 - a_1\rvert$ for all $n \ge 1$. By the triangle inequality, for all $n > m$,

$$\lvert a_n - a_m\rvert \le \lvert a_{m+1} - a_m\rvert + \lvert a_{m+2} - a_{m+1}\rvert + \cdots + \lvert a_n - a_{n-1}\rvert$$ and the latter expression is no greater than
$$(\theta^{m-1} + \theta^{m} + \cdots + \theta^{n-2})\lvert a_2 - a_1\rvert$$ Note $$\theta^{m-1} + \theta^{m} + \cdots + \theta^{n-2} \le \theta^{m-1} + \theta^{m} + \cdots = \frac{\theta^{m-1}}{1 - \theta}$$as $0 < \theta < 1$. Hence $$\lvert a_n - a_m\rvert \le \frac{\theta^{m-1}}{1-\theta}\lvert a_2 - a_1\rvert$$ for all $n > m$. Take it from here.
 
evinda said:
Let $0< \theta<1$ and a sequence $(a_n)$ for which it holds that $|a_{n+2}-a_{n+1}| \leq \theta |a_{n+1}-a_n|, n=1,2, \dots$.

Could you give me a hint how we could show that $(a_n)$ converges? :confused:
Let $c_n = a_{n+1} - a_n$. Use the ratio test to show that the series $\sum c_n$ converges. Then notice that $\sum c_n$ is a telescoping series with partial sums of the form $a_n - a_1$.

Edit. Sorry, I didn't see that Euge had got there first.
 
Euge said:
Hi mathmari,

Note that by hypothesis $\lvert a_{n+2} - a_{n+1}\rvert \le \theta^n\lvert a_2 - a_1\rvert$ for all $n \ge 1$. By the triangle inequality, for all $n > m$,

$$\lvert a_n - a_m\rvert \le \lvert a_{m+1} - a_m\rvert + \lvert a_{m+2} - a_{m+1}\rvert + \cdots + \lvert a_n - a_{n-1}\rvert$$ and the latter expression is no greater than
$$(\theta^{m-1} + \theta^{m} + \cdots + \theta^{n-2})\lvert a_2 - a_1\rvert$$ Note $$\theta^{m-1} + \theta^{m} + \cdots + \theta^{n-2} \le \theta^{m-1} + \theta^{m} + \cdots = \frac{\theta^{m-1}}{1 - \theta}$$as $0 < \theta < 1$. Hence $$\lvert a_n - a_m\rvert \le \frac{\theta^{m-1}}{1-\theta}\lvert a_2 - a_1\rvert$$ for all $n > m$. Take it from here.

I see... thanks a lot! (Smile)
 
We all know the definition of n-dimensional topological manifold uses open sets and homeomorphisms onto the image as open set in ##\mathbb R^n##. It should be possible to reformulate the definition of n-dimensional topological manifold using closed sets on the manifold's topology and on ##\mathbb R^n## ? I'm positive for this. Perhaps the definition of smooth manifold would be problematic, though.

Similar threads

Replies
1
Views
2K
  • · Replies 2 ·
Replies
2
Views
2K
  • · Replies 13 ·
Replies
13
Views
2K
  • · Replies 6 ·
Replies
6
Views
2K
  • · Replies 17 ·
Replies
17
Views
1K
  • · Replies 4 ·
Replies
4
Views
2K
  • · Replies 9 ·
Replies
9
Views
2K
  • · Replies 2 ·
Replies
2
Views
2K
Replies
3
Views
2K
  • · Replies 44 ·
2
Replies
44
Views
6K