Section VI.4

Asymptotics of Implicit Functions and Recurrent Sequences

[19/89%]
Show
LaTeX
Problem VI.4.1

Let y(x)=∫x+∞e−t2/2dt(x∈R),x(y)y(x)=\int_{x}^{+\infty } e^{-t^{2} / 2} d t(x \in \mathbb {R}), x(y) be the function inverse to y(x)y(x). Prove that x(y)∼y→+02ln⁡1yx(y) \underset {y \rightarrow +0}{\sim } \sqrt{2 \ln \frac{1}{y}}.

?
Problem VI.4.2

Prove that each of the following equations defines, in some neighborhood of the point (x0,c0)\left(x_{0}, c_{0}\right), an infinitely differentiable implicit function yy, and find the first nn coefficients of the expansion y(x)=c0+c1(x−x0)+…+cn(x−x0)n+…y(x)=c_{0}+c_{1}\left(x-x_{0}\right)+\ldots +c_{n}\left(x-x_{0}\right)^{n}+\ldots

?
(a)

yey−x=0y e^{y}-x=0, x0=c0=0,n=3;x_{0}=c_{0}=0, \quad n=3 ;

(b)

y2+ln⁡2y−x=0y^{2}+\ln^{2} y-x=0, x0=c0=1,n=3x_{0}=c_{0}=1, \quad n=3;

(c)

xy+exy−x=0x y+e^{x y}-x=0, x0=1,c0=0x_{0}=1, c_{0}=0, n=3;n=3 ;

(d)

yln⁡y−x=0y \ln y-x=0, x0=0,c0=1x_{0}=0, c_{0}=1, n=3;n=3 ;

(e)

exy+x2+y−1=0e^{x y}+x^{2}+y-1=0, x0=c0=0x_{0}=c_{0}=0, n=6;n=6 ;

(f)

arctg⁡(x+y)−x−2y=0\operatorname {arctg}(x+y)-x-2 y=0, x0=c0=0x_{0}=c_{0}=0, n=6n=6.

Problem VI.4.3

Verify that the domain of definition of the implicit functions considered in problem 4.2 contains the half-line [x0,+∞)\left[x_{0},+\infty \right), and prove that as x→+∞x \rightarrow +\infty

?
(a)

y(x)=ln⁡x−ln⁡ln⁡x+c1a1(x)+c2a2(x)+O(a2(x)ln⁡ln⁡x)y(x)=\ln x-\ln \ln x+c_{1} a_{1}(x)+c_{2} a_{2}(x)+O\left(\frac{a_{2}(x)}{\ln \ln x}\right);

(b)

y(x)=x(c0+c1a1(x)+c2a2(x)+O(a2(x)ln⁡x))y(x)=\sqrt{x}\left(c_{0}+c_{1} a_{1}(x)+c_{2} a_{2}(x)+O\left(\frac{a_{2}(x)}{\ln x}\right)\right);

(c)

y(x)=ln⁡xx+1x(c1a1(x)+c2a2(x)+O(a2(x)ln⁡x))y(x)=\frac{\ln x}{x}+\frac{1}{x}\left(c_{1} a_{1}(x)+c_{2} a_{2}(x)+O\left(\frac{a_{2}(x)}{\ln x}\right)\right);

(d)

y(x)=xln⁡x(c0+c1a1(x)+c2a2(x)+O(a2(x)ln⁡ln⁡x))y(x)=\frac{x}{\ln x}\left(c_{0}+c_{1} a_{1}(x)+c_{2} a_{2}(x)+O\left(\frac{a_{2}(x)}{\ln \ln x}\right)\right), where c0,c1,c2c_{0}, c_{1}, c_{2} are constants, and aka_{k} are functions of the form (ln⁡x)mxn\frac{(\ln x)^{m}}{x^{n}} or (ln⁡ln⁡x)mln⁡nx\frac{(\ln \ln x)^{m}}{\ln^{n} x} for suitable m,n∈Nm, n \in \mathbb {N};

(e)

y(x)=−x2+1−ex−x3+O(xe2(x−x3))y(x)=-x^{2}+1-e^{x-x^{3}}+O\left(x e^{2\left(x-x^{3}\right)}\right);

(f)

y(x)=−x2+π4−1x+O(1x2)y(x)=-\frac{x}{2}+\frac{\pi }{4}-\frac{1}{x}+O\left(\frac{1}{x^{2}}\right).

Problem VI.4.4

Prove that the equation yx+y=1y^{x}+y=1 defines, for all x>0x>0, a unique implicit function yy and that

?
(a)

y∈C∞((0,∞)),0<y<1,y′>0y \in C^{\infty }((0, \infty )), 0<y<1, y^{\prime }>0;

(b)

y(x)=x∣ln⁡x∣+xln⁡∣ln⁡x∣+o(x)y(x)=x\left|\ln x\right|+x \ln \left|\ln x\right|+o(x) as x→+0x \rightarrow +0;

(c)

y(x)=1−ln⁡xx+ln⁡ln⁡xx+o(1x)y(x)=1-\frac{\ln x}{x}+\frac{\ln \ln x}{x}+o\left(\frac{1}{x}\right) as x→+∞x \rightarrow +\infty.

Problem VI.4.5

How many continuous solutions yy does the equation x5+x2y=y3x^{5}+x^{2} y=y^{3} have that tend to zero as x→0x \rightarrow 0? What is their asymptotic behavior as x→0x \rightarrow 0?

?
Problem VI.4.6

Prove that Kepler's equation y=M+xsin⁡yy=M+x \sin y, where MM is a fixed positive parameter, defines in a neighborhood of the point (0,M)(0, M) an infinitely differentiable function yy, and moreover

y(x)=M+xsin⁡M+12x2sin⁡2M+O(x3) as x→0. y(x)=M+x \sin M+\frac{1}{2} x^{2} \sin 2 M+O\left(x^{3}\right) \quad \text{ as } \quad x \rightarrow 0 .
?
Problem VI.4.7

The problem of "the globe in a string bag." The Earth's globe was girdled with an inextensible thread. Then the thread was lengthened by 1 cm and pulled taut by tugging at the knot. Compute the height to which it rose, with a relative error of no more than one ten-thousandth of a percent (take the radius of the globe to be 6400 km6400\ \text{km}).

?
Problem VI.4.8

Find the derivatives with respect to ε\varepsilon of the lengths of the semi-axes of the ellipsoid x2+y2+z2+xy+yz+zx=1+εxyx^{2}+y^{2}+z^{2}+x y+y z+z x=1+\varepsilon x y at ε=0\varepsilon =0.

?
Problem VI.4.9

Let xnx_{n} be the root of the equation x=tg⁡xx=\operatorname {tg} x lying in the interval (πn,πn+π\pi n, \pi n+\pi), n∈Nn \in \mathbb {N}. Prove that

?
(a)

xn=π(n+12)−1πn+O(1n2)x_{n}=\pi \left(n+\frac{1}{2}\right)-\frac{1}{\pi n}+O\left(\frac{1}{n^{2}}\right);

(b)

−1π(n+12)−1(πn)3<xn−π(n+12)<−1π(n+12)-\frac{1}{\pi \left(n+\frac{1}{2}\right)}-\frac{1}{(\pi n)^{3}}<x_{n}-\pi \left(n+\frac{1}{2}\right)<-\frac{1}{\pi \left(n+\frac{1}{2}\right)}.

Problem VI.4.10

Let xn=h(xn−1)x_{n}=h\left(x_{n-1}\right), where h(x)=x(1+axp)1/ph(x)=\frac{x}{\left(1+a x^{p}\right)^{1 / p}} for x⩾0x \geqslant 0 (a,pa, p are positive constants, n∈N,x0>0n \in \mathbb {N}, x_{0}>0). Prove that xn∼(an)−1/px_{n} \sim (a n)^{-1 / p}.

?
Problem VI.4.11

Let x0=10−3,xn=xn−1−xn−12(n∈N)x_{0}=10^{-3}, x_{n}=x_{n-1}-x_{n-1}^{2} \quad (n \in \mathbb {N}). Prove that x1000≈1210−3x_{1000} \approx \frac{1}{2} 10^{-3} with accuracy 10−610^{-6}.

?
Problem VI.4.12

Find the asymptotics of the recurrent sequences xn=f(xn−1)(n∈N,x0>0)x_{n}=f\left(x_{n-1}\right)\left(n \in \mathbb {N}, x_{0}>0\right) in the following cases:

?
(a)

f(x)=x(1−x),x0<1f(x)=x(1-x), x_{0}<1;

(b)

f(x)=sin⁡x,x0<πf(x)=\sin x, x_{0}<\pi;

(c)

f(x)=x1+x3f(x)=\frac{x}{1+x^{3}};

(d)

f(x)=arctg⁡xf(x)=\operatorname {arctg} x;

(e)

f(x)=ln⁡(1+x)f(x)=\ln (1+x);

(f)

f(x)=1−e−xf(x)=1-e^{-x};

(g)

f(x)=x1+xf(x)=\frac{x}{1+\sqrt{x}};

(h)

f(x)=x1+x4f(x)=\frac{x}{\sqrt{1+x^{4}}}.

Problem VI.4.13

Let C,p,x0>0C, p, x_{0}>0 and xn=xn−1+Cxn−11−p(n∈N)x_{n}=x_{n-1}+C x_{n-1}^{1-p}(n \in \mathbb {N}). Prove that

?
(a)

xn∼(Cpn)1/px_{n} \sim (C p n)^{1 / p};

(b)

xn=(Cpn)1/p(1+p−12p2ln⁡nn+O(1n))x_{n}=(C p n)^{1 / p}\left(1+\frac{p-1}{2 p^{2}} \frac{\ln n}{n}+O\left(\frac{1}{n}\right)\right).

Problem VI.4.14

Construct a function ff, positive on (0,+∞0,+\infty), such that the sequence xn=f(xn−1)(n∈N,x0>0)x_{n}=f\left(x_{n-1}\right)\left(n \in \mathbb {N}, x_{0}>0\right) satisfies the relation xn∼1ln⁡nx_{n} \sim \frac{1}{\ln n}.

?
Problem VI.4.15

Find the asymptotics of the recurrent sequences in the following cases (n∈N,x0>0n \in \mathbb {N}, x_{0}>0):

?
(a)

xn=xn−1+ln⁡(n+xn−12)x_{n}=x_{n-1}+\ln \left(n+x_{n-1}^{2}\right);

(b)

xn=xn−1+ln⁡nxn−12x_{n}=x_{n-1}+\frac{\ln n}{x_{n-1}^{2}}.

Problem VI.4.16

Let x0∈(−1,2),xn=xn−1(xn−1−1)(n∈N)\quad x_{0} \in (-1,2), \quad x_{n}=x_{n-1}\left(x_{n-1}-1\right) \quad (n \in \mathbb {N}). Find the asymptotics of the sequence {xn}\left\{ x_{n}\right\}.

?
Problem VI.4.17

Let x0=1,xn=xn−1+(∑0⩽k<nxk)−1(n∈N)x_{0}=1, x_{n}=x_{n-1}+\left(\sum_{0 \leqslant k<n} x_{k}\right)^{-1}(n \in \mathbb {N}). Prove that xn∼2ln⁡nx_{n} \sim \sqrt{2 \ln n}.

?
Problem VI.4.18

Let ∣p∣<1,x0=1,xn=xn−1+(∑0⩽k<nxk)−p(n∈N)\left|p\right|<1, x_{0}=1, x_{n}=x_{n-1}+\left(\sum_{0 \leqslant k<n} x_{k}\right)^{-p}(n \in \mathbb {N}). Find the asymptotics of the sequence {xn}\left\{ x_{n}\right\}.

?
Problem VI.4.19

Let p∈R,x0=1,xn=xn−1+(∑0⩽k<nxkp)−1(n∈N)p \in \mathbb {R}, x_{0}=1, x_{n}=x_{n-1}+\left(\sum_{0 \leqslant k<n} x_{k}^{p}\right)^{-1}(n \in \mathbb {N}). Find the asymptotics of the sequence {xn}\left\{ x_{n}\right\}.

?