Cauchy convergence criterion for sequences

[29/24%]
Show
LaTeX

Using the Cauchy criterion, prove the convergence of the sequencexn=a0+a1q+⋯+anqnx_{n}=a_{0}+a_{1}q+\cdots +a_{n}q^{n}, where ∣ak∣<M(k=0,1,2,…)\left|a_{k}\right|<M (k=0,1,2,\ldots ) and ∣q∣<1\left|q\right|<1.

?

Using the Cauchy criterion, prove the convergence of the sequencexn=sin⁡12+sin⁡222+⋯+sin⁡n2nx_{n}=\dfrac {\sin 1}{2}+\dfrac {\sin 2}{2^{2}}+\cdots +\dfrac {\sin n}{2^{n}}.

?

Using the Cauchy criterion, prove the convergence of the sequencexn=cos⁡1!1⋅2−cos⁡2!2⋅3+⋯+cos⁡n!n(n+1)x_{n}=\dfrac {\cos 1!}{1 \cdot 2}-\dfrac {\cos 2!}{2 \cdot 3}+\cdots +\dfrac {\cos n!}{n(n+1)}.

?

Using the Cauchy criterion, prove the convergence of the sequencexn=1+122+⋯+1n2x_{n}=1+\dfrac {1}{2^{2}}+\cdots +\dfrac {1}{n^{2}}.

?

If there exists a number cc such that

∣x2−x1∣+∣x3−x2∣+⋯+∣xn−xn−1∣<c(n=2,3,…), \left|x_{2}-x_{1}\right|+\left|x_{3}-x_{2}\right|+\cdots +\left|x_{n}-x_{n-1}\right|<c \quad (n=2,3,\ldots ),

then the sequence xn(n=1,2,…)x_{n}(n=1,2,\ldots ) is said to have bounded variation. Prove that any sequence of bounded variation is convergent. Give an example of a convergent sequence that does not have bounded variation.

?

State the meaning of "a certain sequence does not satisfy the Cauchy criterion."

?

Using the Cauchy criterion, prove the divergence of the sequence

xn=1+12+13+⋯+1n x_{n}=1+\frac{1}{2}+\frac{1}{3}+\cdots +\frac{1}{n}
?

Prove that the sequence {xn}\left\{ x_{n}\right\} is fundamental (Cauchy), if

?
(1)

xn=1n,n∈Nx_{n} = \frac{1}{n}, n \in \mathbb {N},

(2)

xn=n+13n−2,n∈Nx_{n} = \frac{n+1}{3 n-2}, n \in \mathbb {N},

(3)

xn=0,77…7⏟n,n∈Nx_{n} = 0,\underbrace{77 \ldots 7}_{n}, n \in \mathbb {N},

(4)

xn=a+aq+…+aqn−1x_{n} = a+a q+\ldots +a q^{n-1}, where ∣q∣<1,n∈N\left|q\right| < 1, n \in \mathbb {N},

(5)

{xn}={1,−1,12,−12,13,−13,…,1n,−1n,…}\left\{ x_{n}\right\} = \left\{ 1,-1, \frac{1}{2},-\frac{1}{2}, \frac{1}{3},-\frac{1}{3}, \ldots , \frac{1}{n},-\frac{1}{n}, \ldots \right\},

(6)

x1=1,xn=xn−1+(−1)n−1n!(n=2,3,…)x_{1} = 1, x_{n} = x_{n-1}+\frac{(-1)^{n-1}}{n !}(n = 2,3, \ldots )

Let a0a_{0} be a nonnegative integer, and let {an}\left\{ a_{n}\right\} be a sequence whose terms are digits. Consider the sequence of finite decimal fractions xn=a0,a1a2…an,n∈Nx_{n} = a_{0}, a_{1} a_{2} \ldots a_{n}, n \in \mathbb {N}. Prove that this sequence is fundamental (Cauchy)

?

Prove that the sequence {xn}\left\{ x_{n}\right\} converges, if xnx_{n} equals

?
(1)

sin⁡a2+sin⁡2a22+sin⁡3a23+…+sin⁡na2n,a∈R\frac{\sin a}{2}+\frac{\sin 2 a}{2^{2}}+\frac{\sin 3 a}{2^{3}}+\ldots +\frac{\sin n a}{2^{n}}, a \in \mathbb {R},

(2)

∑k=1nakqk\sum_{k = 1}^{n} a_{k} q^{k}, where ∣q∣<1,∣ak∣⩽C,k∈N\left|q\right| < 1,\left|a_{k}\right| \leqslant C, k \in \mathbb {N},

(3)

1+12!+…+1n!1+\frac{1}{2!} + \ldots + \frac{1}{n!},

(4)

11⋅2−12⋅3+…+(−1)n−1n(n+1)\frac{1}{1 \cdot 2}-\frac{1}{2 \cdot 3} + \ldots + \frac{(-1)^{n-1}}{n(n+1)}

Prove that a fundamental (Cauchy) sequence is bounded

?

Prove that every subsequence of a fundamental (Cauchy) sequence is fundamental

?

Prove that for the sequence {xn}\left\{ x_{n}\right\} to be fundamental, it is necessary and sufficient that the condition hold

∀ε>0∃N∀n>N∣xn−xN∣<ε \forall \varepsilon > 0 \quad \exists N \forall n > N \quad \left|x_{n}-x_{N}\right| < \varepsilon
?

Using the negation of the Cauchy condition, prove that the sequence {xn}\left\{ x_{n}\right\} diverges, if xnx_{n} equals

?
(1)

0,2(−1)nn0,2^{(-1)^{n} n}

(2)

ncos⁡πn−12n\frac{n \cos \pi n-1}{2 n},

(3)

(−1)n(1+1n)n(-1)^{n}\left(1+\frac{1}{n}\right)^{n},

(4)

(1+(−1)nn)n\left(1+\frac{(-1)^{n}}{n}\right)^{n};

(5)

122+232+…+n(n+1)2\frac{1}{2^{2}}+\frac{2}{3^{2}}+\ldots +\frac{n}{(n+1)^{2}}.

Let {xn}\left\{ x_{n}\right\} and {yn}\left\{ y_{n}\right\} be fundamental sequences. Prove that:

?
(1)

{xn+yn}\left\{ x_{n}+y_{n}\right\} is a fundamental sequence;

(2)

{xnyn}\left\{ x_{n} y_{n}\right\} is a fundamental sequence;

(3)

if ∣yn∣⩾c>0,n∈N\left|y_{n}\right| \geqslant c > 0, n \in \mathbb {N}, then {xn/yn}\left\{ x_{n} / y_{n}\right\} is a fundamental sequence.

Prove that the sequence {xn}\left\{ x_{n}\right\} converges, if xnx_{n} equals:

?
(1)

∑k=1nsin⁡kαk(k+1),α∈R\sum_{k = 1}^{n} \frac{\sin k \alpha }{k(k+1)}, \alpha \in \mathbb {R};

(2)

∑k=1nakk2\sum_{k = 1}^{n} \frac{a_{k}}{k^{2}}, where ∣ak∣⩽C,k∈N\left|a_{k}\right| \leqslant C, k \in \mathbb {N}.

The sequence {xn}\left\{ x_{n}\right\} is such that the sequence {∑k=1nxn}\left\{ \sum_{k = 1}^{n} x_{n}\right\} converges. Prove that lim⁡n→∞xn=0\lim_{n \rightarrow \infty } x_{n} = 0.

?

The sequence {xn}\left\{ x_{n}\right\} is monotone and lim⁡n→∞xn=0\lim_{n \rightarrow \infty } x_{n} = 0. Prove that the sequence

Sn=x1−x2+…+(−1)n−1xn,n∈N S_{n} = x_{1}-x_{2}+\ldots +(-1)^{n-1} x_{n}, \quad n \in \mathbb {N}

converges.

?

Prove that a monotone bounded sequence is fundamental (Cauchy).

?

The sequence {xn}\left\{ x_{n}\right\} is such that ∣xn+1−xn∣⩽Cαn\left|x_{n+1}-x_{n}\right| \leqslant C \alpha^{n}, where 0<α<1,n∈N0 < \alpha < 1, \quad n \in \mathbb {N}. Prove that the sequence {xn}\left\{ x_{n}\right\} converges.

?

Prove that for any x∈Rx \in \mathbb {R} the sequence converges.

Sn=1+x1!+x22!+…+xnn!,n∈N S_{n} = 1+\frac{x}{1 !}+\frac{x^{2}}{2 !}+\ldots +\frac{x^{n}}{n !}, \quad n \in \mathbb {N}
?

Give an example of a divergent sequence {xn}\left\{ x_{n}\right\} such that for any p∈Np \in \mathbb {N}

lim⁡n∞∣xn+p−xn∣=0. \lim _{n \infty }\left|x_{n+p}-x_{n}\right| = 0.
?

The sequence {xn}\left\{ x_{n}\right\} does not converge. Prove that there exists a sequence of natural numbers {pn}\left\{ p_{n}\right\} such that the sequence {xn+pn−xn}\left\{ x_{n+p_{n}}-x_{n}\right\} does not tend to 0.

?

For the sequence {xn}\left\{ x_{n}\right\}, denote

Mn=sup⁡k⩾n,l⩾n{∣xk−xl∣} M_{n} = \sup _{k \geqslant n, l \geqslant n}\left\{ \left|x_{k}-x_{l}\right|\right\}

Prove: for the sequence {xn}\left\{ x_{n}\right\} to satisfy the Cauchy condition, it is necessary and sufficient that lim⁡n→∞Mn=0\lim_{n \rightarrow \infty } M_{n} = 0.

?

Prove that the sequence

Sn=1−12α+13α−…+(−1)n−1nα,n∈N S_{n} = 1-\frac{1}{2^{\alpha }}+\frac{1}{3^{\alpha }}-\ldots +\frac{(-1)^{n-1}}{n^{\alpha }}, \quad n \in \mathbb {N}

where α>0\alpha > 0, converges.

?

Prove the convergence of a sequence bounded above and satisfying the condition:

?
(1)

xn+1−xn⩾−1/2n,n∈Nx_{n+1}-x_{n} \geqslant -1 / 2^{n}, n \in \mathbb {N};

(2)

xn+1−xn⩾−1/n2,n∈Nx_{n+1}-x_{n} \geqslant -1 / n^{2}, n \in \mathbb {N};

(3)

xn+1−xn⩾αn,n∈Nx_{n+1}-x_{n} \geqslant \alpha_{n}, n \in \mathbb {N}, where αn\alpha_{n} are such that the sequence {∑k=1nαk}\left\{ \sum_{k = 1}^{n} \alpha_{k}\right\} converges.

(Leibniz's test.) The sequence {an}\left\{ a_{n}\right\} is such that

lim⁡n→∞(an+1−an)=0,∣an+2−an+1∣⩽∣an+1−an∣,(an+2−an+1)(an+1−an)⩽0,n∈N. \begin{gathered} \lim _{n \rightarrow \infty }\left(a_{n+1}-a_{n}\right) = 0, \\ \left|a_{n+2}-a_{n+1}\right| \leqslant \left|a_{n+1}-a_{n}\right|, \quad \left(a_{n+2}-a_{n+1}\right)\left(a_{n+1}-a_{n}\right) \leqslant 0, \quad n \in \mathbb {N}.\end{gathered}

Prove that the sequence {an}\left\{ a_{n}\right\} converges.

?

A sequence {xn}\left\{ x_{n}\right\} has bounded variation if the sequence is bounded

σn=∣x2−x1∣+∣x3−x2∣+…+∣xn+1−xn∣,n∈N. \sigma _{n} = \left|x_{2}-x_{1}\right|+\left|x_{3}-x_{2}\right|+\ldots +\left|x_{n+1}-x_{n}\right|, \quad n \in \mathbb {N}.

Prove that:

?
(1)

a monotone bounded sequence has bounded variation;

(2)

a sequence with bounded variation converges;

(3)

for every sequence with bounded variation there exist increasing bounded sequences {an}\left\{ a_{n}\right\} and {bn}\left\{ b_{n}\right\} such that xn=an−bn,n∈Nx_{n} = a_{n}-b_{n}, n \in \mathbb {N}.

Establish Proposition A.2.3.

?

References

[Dem97] Demidovich B.P. Сборник задач и упражнений по математическому анализу. 13-е изд., Издательство Московского университета / Издательство "ЧеРо", 1997.
[ККЧ+03] Кудрявцев Л.Д., Кутасов А.Д., Чехлов В.И., Шабунин М.И. Предел. Непрерывность. Дифференцируемость. 2-е изд., ФИЗМАТЛИТ, 2003.
[AtLa06] Athreya K.B., Lahiri S.N. Measure Theory and Probability Theory. Springer, 2006.