Nested radicals and iterated roots

[22/82%]
Show
LaTeX

Using the theorem on the existence of the limit of a monotone and bounded sequence, prove the convergence of the sequencex1=2x_{1}=\sqrt{2}, x2=2+2x_{2}=\sqrt{2+\sqrt{2}}, …\ldots,

xn=2+2+⋯+2⏟n nested radicals,… x_{n}=\underbrace{\sqrt{2+\sqrt{2+\cdots +\sqrt{2}}}}_{n \text{ nested radicals}}, \ldots
?

The sequence xnx_{n} is given by the following equalities:

x1=a,x2=a+a,x3=a+a+a,…(a>0). x_{1}=\sqrt{a},\quad x_{2}=\sqrt{a+\sqrt{a}},\quad x_{3}=\sqrt{a+\sqrt{a+\sqrt{a}}},\quad \ldots \quad (a>0) .

Find lim⁡n→∞xn\lim \limits_{n\to \infty }x_{n}.

?

A sequence of values unu_{n} is given by the formulas: u1=2u_{1} = \sqrt{2}, u2=2+2u_{2} = \sqrt{2+\sqrt{2}}, u3=2+2+2u_{3} = \sqrt{2+\sqrt{2+\sqrt{2}}} and in general un=2+un−1u_{n} = \sqrt{2+u_{n-1}}. Replacing the last 2 under the radical by 4, verify that unu_{n} is bounded. Having proved that lim⁡n→∞un\lim_{n \to \infty } u_{n} exists, find it from the equality un2=2+un−1u_{n}^{2} = 2+u_{n-1}.

?
Remark.
?

This limit is found even more easily from the equality un=2cos⁡π2n+1u_{n} = 2\cos \frac{\pi }{2^{n+1}}.

A sequence vnv_{n} is given by the equalities:

v1=a,v2=a+a,v3=a+a+a,…;a>0. v_{1} = \sqrt{a}, \quad v_{2} = \sqrt{a+\sqrt{a}}, \quad v_{3} = \sqrt{a+\sqrt{a+\sqrt{a}}}, \ldots ; \quad a > 0.

Replacing the number aa under the last radical by the quantity a+xa+x, where xx is the positive root of the equation x2=a+xx^{2} = a+x, verify that vnv_{n} is bounded, and prove that vn→xv_{n} \to x as n→∞n \to \infty.

?

Prove that the sequence {xn}\left\{ x_{n}\right\} has a limit, and find it, if:

?
(1)

x1=13,xn+1=12+xnx_{1} = 13, x_{n+1} = \sqrt{12+x_{n}};

(2)

x1=5k,xn+1=5xnkx_{1} = \sqrt[k]{5}, x_{n+1} = \sqrt[k]{5 x_{n}}, where k∈Nk \in \mathbb {N};

(3)

x1=ak,xn+1=axnkx_{1} = \sqrt[k]{a}, x_{n+1} = \sqrt[k]{a x_{n}}, where k∈N,a>0k \in \mathbb {N}, a > 0;

(4)

xn+1=43xn−xn2x_{n+1} = \frac{4}{3} x_{n}-x_{n}^{2} : а) x1=16x_{1} = \frac{1}{6}; б) x1=12x_{1} = \frac{1}{2}; в) x1=76x_{1} = \frac{7}{6};

(5)

x1=1,xn+1=1+1xn,n∈Nx_{1} = 1, x_{n+1} = 1+\frac{1}{x_{n}}, n \in \mathbb {N}. (Hint. Consider the subsequences {x2k}\left\{ x_{2 k}\right\} and {x2k−1}\left\{ x_{2 k-1}\right\}.)

Let a>0,x1=a,xn+1=a+xn,n∈Na > 0, x_{1} = \sqrt{a}, x_{n+1} = \sqrt{a+x_{n}}, n \in \mathbb {N}. Prove that lim⁡n→∞xn\lim_{n \rightarrow \infty } x_{n} exists, and find it.

?

Let x1=2,xn+1=2+xn,n∈Nx_{1} = \sqrt{2}, x_{n+1} = \sqrt{2+\sqrt{x_{n}}}, n \in \mathbb {N}. Prove that the sequence {xn}\left\{ x_{n}\right\} converges.

?

Prove the convergence of the sequence and find its limit, if:

?
(1)

x1=4,xn+1=6+xnx_{1} = 4, x_{n+1} = \sqrt{6+x_{n}};

(2)

x1=1,xn+1=6+xn3x_{1} = 1, x_{n+1} = \sqrt[3]{6+x_{n}};

(3)

x1=3,xn+1=12+xn,n∈Nx_{1} = 3, x_{n+1} = \sqrt{12+x_{n}}, n \in \mathbb {N}.

See also [D]. Let a>0a>0 and xn=a+a+…+ax_{n}=\sqrt{a+\sqrt{a+\ldots +\sqrt{a}}} (nn radicals). Prove that

?
(a)

xn→la=12(1+1+4a)x_{n} \rightarrow l_{a}=\frac{1}{2}(1+\sqrt{1+4 a});

(b)

la−xn∼Ca(2la)nl_{a}-x_{n} \sim \frac{C_{a}}{\left(2 l_{a}\right)^{n}} for some Ca>0C_{a}>0. What is C2C_{2} equal to?

Let xn=6+6+…+6333x_{n}=\sqrt[3]{6+\sqrt[3]{6+\ldots +\sqrt[3]{6}}} (nn roots). Prove that 2−xn∼C(12)n2-x_{n} \sim \frac{C}{(12)^{n}} for some C>0C>0.

?

Let p>1p>1 and xn=1+1+…+1pppx_{n}=\sqrt[p]{1+\sqrt[p]{1+\ldots +\sqrt[p]{1}}} (nn roots). Prove that the sequence {xn}\left\{ x_{n}\right\} converges to the positive root of the equation xp−x−1=0x^{p}-x-1=0.

?
?
(a)

Let p>1p>1 and let {cn}\left\{ c_{n}\right\} be a nonnegative sequence. Set αn=c1+c2+…+cnppp\alpha_{n}=\sqrt[p]{c_{1}+\sqrt[p]{c_{2}+\ldots +\sqrt[p]{c_{n}}}}. Prove that convergence of the sequence {αn}\left\{ \alpha_{n}\right\} is equivalent to boundedness above of the sequence {1pnln⁡cn}\left\{ \frac{1}{p^{n}} \ln c_{n}\right\}.

(b)

For which nonnegative sequences {cn}\left\{ c_{n}\right\} does the sequence {βn}\left\{ \beta_{n}\right\} converge, where βn=c1+c2+c3+…+cnn3\beta_{n}=c_{1}+\sqrt{c_{2}+\sqrt[3]{c_{3}+\ldots +\sqrt[n]{c_{n}}}}?

(c)

Let c>0c>0, and let {pn}\left\{ p_{n}\right\} be a sequence of numbers greater than one. Set γn=c+c+…+cpnp2p1\gamma_{n}=\sqrt[p_{1}]{c+\sqrt[p_{2}]{c+\ldots +\sqrt[p_{n}]{c}}}. Prove that convergence of the sequence {γn}\left\{ \gamma_{n}\right\} is equivalent to boundedness above of the sequence {ln⁡np1⋅p2⋯pn}\left\{ \frac{\ln n}{p_{1} \cdot p_{2} \cdots p_{n}}\right\}.

Let αn=1+1+1+…n+2n+1n\alpha_{n}=\sqrt[n]{1+\sqrt[n+1]{1+\sqrt[n+2]{1+\ldots }}} (an infinite number of roots). Are these quantities finite? What is lim⁡αn\lim \alpha_{n}?

?

Prove that

?
(a)

3=1+21+31+41+…3=\sqrt{1+2 \sqrt{1+3 \sqrt{1+4 \sqrt{1+\ldots }}}};

(b)

3=5+6+27+38+49+…3=\sqrt{5+\sqrt{6+2 \sqrt{7+3 \sqrt{8+4 \sqrt{9+\ldots }}}}};

(c)

cos⁡x=sin⁡2x2+cos⁡3x2sin⁡2x4+cos⁡3x4sin⁡2x8+…\cos x=\sqrt{\sin^{2} \frac{x}{2}+\cos \frac{3 x}{2} \sqrt{\sin^{2} \frac{x}{4}+\cos \frac{3 x}{4} \sqrt{\sin^{2} \frac{x}{8}+\ldots }}} for x∈[−π2,π2]x \in \left[-\frac{\pi }{2}, \frac{\pi }{2}\right];

(d)

9=3u2u4+u43u4u6+u63u6u8+…9=\sqrt{3 u_{2} u_{4}+u_{4} \sqrt{3 u_{4} u_{6}+u_{6} \sqrt{3 u_{6} u_{8}+\ldots }}}, where {un}\left\{ u_{n}\right\} is the sequence of Fibonacci numbers, i.e. u1=u2=1u_{1}=u_{2}=1 and un+1=un+un−1u_{n+1}=u_{n}+u_{n-1} for n⩾2n \geqslant 2;

(e)

2x2=2xT0T1+T12xT1T2+T22xT2T3+…2 x^{2}=\sqrt{2 x T_{0} T_{1}+T_{1} \sqrt{2 x T_{1} T_{2}+T_{2} \sqrt{2 x T_{2} T_{3}+\ldots }}} for x⩾1x \geqslant 1; here {Tn}\left\{ T_{n}\right\} is the sequence of values of the Chebyshev polynomials at the point xx (see problem I.2.20);

(f)

2=2+1⋅23+2⋅34+3⋅45+…33332=\sqrt[3]{2+1 \cdot 2 \sqrt[3]{3+2 \cdot 3 \sqrt[3]{4+3 \cdot 4 \sqrt[3]{5+\ldots }}}}.

Let xn=1+2+…+nx_{n}=\sqrt{1+\sqrt{2+\ldots +\sqrt{n}}}. Prove that xn→a∈Rx_{n} \rightarrow a \in \mathbb {R} and a−xnn∼12en\sqrt[n]{a-x_{n}} \sim \frac{1}{2} \sqrt{\frac{e}{n}}.

?
(a)
(b)
(c)

Considering positive square roots only we find

1+1+1+⋯=1+11+11+⋱ . \sqrt{1+\sqrt{1+\sqrt{1+\cdots }}} = 1 + \cfrac {1}{1+\cfrac {1}{1+\ddots }} \, .
?

Let a1,a2,…,an,…a_1, a_2, \ldots , a_n, \ldots be positive numbers and put

tn=a1+a2+⋯+an , t_n = \sqrt{a_1+\sqrt{a_2+\cdots +\sqrt{a_n}}} \, ,

where only positive square roots are considered. The convergence of the sequence

(t)t1,t2,t3,…,tn,… (t) \qquad t_1, t_2, t_3, \ldots , t_n, \ldots

is related to

lim sup⁡n→∞log⁡log⁡ann=α \limsup _{n \rightarrow \infty } \frac{\log \log a_n}{n} = \alpha

in the following way:

if α<2 then (t) converges, \text{if } \alpha <2 \text{ then } (t) \text{ converges,} if α>2 then (t) diverges. \text{if } \alpha >2 \text{ then } (t) \text{ diverges.}
?
Remark.
?

G. Pólya, Problem: Arch. Math. Phys. Ser. 3, Vol. 24, p. 84 (1916). Solved by G. Szegö: Arch. Math. Phys. Ser. 3, Vol. 25, pp. 88-89 (1917).

(continued). The sequence (t)(t) is certainly convergent if the series

∑n=1∞2−nan(a1a2⋯an)−12 converges. \sum _{n=1}^{\infty } 2^{-n} a_n (a_1 a_2 \cdots a_n)^{-\frac{1}{2}} \text{ converges.}
?

Let the numbers ε0,ε1,ε2,…,εn,…\varepsilon_0, \varepsilon_1, \varepsilon_2, \ldots , \varepsilon_n, \ldots assume one of the three values −1,0,1-1, 0, 1. Then we have

ε02+ε12+ε22+⋯=2sin⁡(π4∑n=0∞ε0ε1ε2⋯εn2n). \varepsilon _0 \sqrt{2+\varepsilon _1 \sqrt{2+\varepsilon _2 \sqrt{2+\cdots }}} = 2 \sin \left( \frac{\pi }{4} \sum _{n=0}^{\infty } \frac{\varepsilon _0 \varepsilon _1 \varepsilon _2 \cdots \varepsilon _n}{2^n} \right) .
?
Remark.
?

The left hand side must be interpreted as the limit of

ε02+ε12+ε22+⋯+εn2 ,n=0,1,2,… \varepsilon _0 \sqrt{2+\varepsilon _1 \sqrt{2+\varepsilon _2 \sqrt{2+\cdots +\varepsilon _n \sqrt{2}}}} \, , \qquad n=0,1,2,\ldots

for n→∞n \rightarrow \infty. These expressions are well defined for all nn. Non-negative square roots are used throughout.

Every value xx of the interval [−2,2][-2,2] can be written in the form

x=ε02+ε12+ε22+⋯ x = \varepsilon _0 \sqrt{2+\varepsilon _1 \sqrt{2+\varepsilon _2 \sqrt{2+\cdots }}}

where εk\varepsilon_k, k=0,1,2,…k=0,1,2,\ldots, is either −1-1 or +1+1. The representation is unique if xx is not of the form 2cos⁡p2qπ2 \cos \dfrac {p}{2^q} \pi, p,qp, q integers, 0<p<2q0<p<2^q. These are the only numbers that may be written in the finite form

ε02+ε12+ε22+⋯+εn2 . \varepsilon _0 \sqrt{2+\varepsilon _1 \sqrt{2+\varepsilon _2 \sqrt{2+\cdots +\varepsilon _n \sqrt{2}}}} \, .

The finite representation can be extended to an infinite one in two ways: by putting either

εn+1=1,εn+2=−1,εn+3=εn+4=⋯=1, \varepsilon _{n+1}=1, \quad \varepsilon _{n+2}=-1, \quad \varepsilon _{n+3}=\varepsilon _{n+4}=\cdots =1 ,

or

εn+1=−1,εn+2=−1,εn+3=εn+4=⋯=1. \varepsilon _{n+1}=-1, \quad \varepsilon _{n+2}=-1, \quad \varepsilon _{n+3}=\varepsilon _{n+4}=\cdots =1 .
?
Remark.
?

Cf.S. Pincherle: Atti Accad. Sci. Torino, Cl. Sci. Fis. Mat. Natur. Vol. 53, pp. 745-763 (1917-1918); Atti Accad. Naz. Lincei Rend. Cl. Sci. Fis. Mat. Natur. Ser. 5, Vol. 27, 2nd Sem. pp. 177-183 (1918).

(continued). The number xx is of the form x=2cos⁡kπx=2\cos k\pi, kk rational, if and only if the sequence ε0,ε1,ε2,…\varepsilon_0, \varepsilon_1, \varepsilon_2, \ldots is periodical after a certain term.

?

If s1=2s_{1} = \sqrt{2}, and

sn+1=2+sn(n=1,2,3,…) s_{n+1} = \sqrt{2+\sqrt{s_{n}}} \quad (n = 1,2,3, \ldots )

prove that {sn}\left\{ s_{n}\right\} converges, and that sn<2s_{n} < 2 for n=1,2,3,…n = 1,2,3, \ldots.

?

References

[Dem97] Demidovich B.P. Сборник задач и упражнений по математическому анализу. 13-е изд., Издательство Московского университета / Издательство "ЧеРо", 1997.
[ГюКу03] Гюнтер Н.М., Кузьмин Р.О. Сборник задач по высшей математике. 13-е изд., Издательство «Лань», 2003.
[ККЧ+03] Кудрявцев Л.Д., Кутасов А.Д., Чехлов В.И., Шабунин М.И. Предел. Непрерывность. Дифференцируемость. 2-е изд., ФИЗМАТЛИТ, 2003.
[МГЛ+04] Макаров Б.М., Голузина М.Г., Лодкин А.А., Подкорытов А.Н. Избранные задачи по вещественному анализу. 2-е изд., Невский Диалект; БХВ-Петербург, 2004.
[PóSz98] Pólya G., Szegő G. Problems and Theorems in Analysis. Springer, 1998.
[Rud76] Rudin W. Principles of Mathematical Analysis. 3rd ed., McGraw-Hill, 1976.