§ 2.23

Асимптотические представления функций

[31/19%]
Показать
LaTeX
Подпараграф
Задача 2.23.1

Доказать асимптотическое равенство. ∫2xdttαln⁡βt∼−1αxαln⁡βx,x→+∞,α<0,β∈R\int_{2}^{x} \frac{d t}{t^{\alpha } \ln^{\beta } t} \sim -\frac{1}{\alpha x^{\alpha } \ln^{\beta } x}, \quad x \rightarrow +\infty , \quad \alpha < 0, \quad \beta \in R.

?
Задача 2.23.2

Доказать асимптотическое равенство. ∫0xtαe−1/tdt∼xα+2e−1/x,x→+0\int_{0}^{x} t^{\alpha } e^{-1 / t} d t \sim x^{\alpha +2} e^{-1 / x}, \quad x \rightarrow +0.

?
Задача 2.23.3

Доказать асимптотическое равенство. ∫ax(ln⁡t)αt2+1dt∼(ln⁡x)α+1α+1,x→+∞,α>−1,a>1\int_{a}^{x} \frac{(\ln t)^{\alpha }}{\sqrt{t^{2}+1}} d t \sim \frac{(\ln x)^{\alpha +1}}{\alpha +1}, \quad x \rightarrow +\infty , \quad \alpha > -1, \quad a > 1.

?
Задача 2.23.4

Доказать асимптотическое равенство. ∫x+∞sin⁡tt+1e−tdt∼12xe−x(sin⁡x+cos⁡x),x→+∞\int_{x}^{+\infty } \frac{\sin t}{\sqrt{t+1}} e^{-t} d t \sim \frac{1}{2 \sqrt{x}} e^{-x}(\sin x+\cos x), \quad x \rightarrow +\infty.

?
Задача 2.23.5

Доказать асимптотическое равенство. ∫x+∞t2+1sin⁡etdt∼xe−xcos⁡ex,x→+∞\int_{x}^{+\infty } \sqrt{t^{2}+1} \sin e^{t} d t \sim x e^{-x} \cos e^{x}, \quad x \rightarrow +\infty.

?
Задача 2.23.6

Доказать асимптотическое равенство. ∫0xt2+1etsin⁡tdt∼12xex(sin⁡x−cos⁡x),x→+∞\int_{0}^{x} \sqrt{t^{2}+1} e^{t} \sin t d t \sim \frac{1}{2} x e^{x}(\sin x-\cos x), \quad x \rightarrow +\infty.

?
Задача 2.23.7

Найти элементарную функцию, асимптотически равную при x→+∞x \rightarrow +\infty интегралу

∫1xsin⁡4ttdt \int _{1}^{x} \frac{\sin ^{4} t}{t} d t
?
Задача 2.23.8

Доказать, что ∫x+∞cos⁡t2dt=−sin⁡x22x+O(1x3),x→+∞\int_{x}^{+\infty } \cos t^{2} d t = -\frac{\sin x^{2}}{2 x}+O\left(\frac{1}{x^{3}}\right), \quad x \rightarrow +\infty.

?
Задача 2.23.9

Доказать, что ∫x+∞sin⁡t2dt=cos⁡x22x+O(1x3),x→+∞\int_{x}^{+\infty } \sin t^{2} d t = \frac{\cos x^{2}}{2 x}+O\left(\frac{1}{x^{3}}\right), \quad x \rightarrow +\infty.

?
Задача 2.23.10

Доказать, что

∫x+∞sin⁡tmdt=cos⁡x2mxm−1+O(1x2m−1),x→+∞,m>1 \int _{x}^{+\infty } \sin t^{m} d t = \frac{\cos x^{2}}{m x^{m-1}}+O\left(\frac{1}{x^{2 m-1}}\right), \quad x \rightarrow +\infty , \quad m > 1
?
Задача 2.23.11

Доказать формулу Стирлинга где

Γ(s+1)∼2πe−sss+1/2,s→+∞ \Gamma (s+1) \sim \sqrt{2 \pi } e^{-s} s^{s+1 / 2}, \quad s \rightarrow +\infty
  • гамма-функиия.
Γ(s+1)=∫0+∞e−xxsdx,s>−1 \Gamma (s+1) = \int _{0}^{+\infty } e^{-x} x^{s} d x, \quad s > -1
?
Задача 2.23.12

Доказать: если неотрицательная, непрерывная, не равная тождественно нулю функция ff имеет при t>1t > 1 период TT :

f(t+T)=f(t),T>0 f(t+T) = f(t), \quad T > 0

то

∫1xf(t)tdt∼Aln⁡x,x→+∞,A= const.  \int _{1}^{x} \frac{f(t)}{t} d t \sim A \ln x, \quad x \rightarrow +\infty , \quad A = \text{ const. }
?
Задача 2.23.13

Доказать, что

∫1xln⁡(1+cos⁡2t)tdt∼Bln⁡x,x→+∞,B= const.  \int _{1}^{x} \frac{\ln \left(1+\cos ^{2} t\right)}{t} d t \sim B \ln x, \quad x \rightarrow +\infty , \quad B = \text{ const. }
?
Задача 2.23.14

Найти асимптотический ряд для функции f(x)=e−x,x>0f(x) = e^{-x}, x > 0.

?
Задача 2.23.15

Установить следующие асимптотические разложения при x→+∞x \rightarrow +\infty. ∫x+∞e−xt1+t2dt∼1x−2!x3+4!x5−…\int_{x}^{+\infty } \frac{e^{-x t}}{1+t^{2}} d t \sim \frac{1}{x}-\frac{2 !}{x^{3}}+\frac{4 !}{x^{5}}-\ldots

?
Задача 2.23.16

Установить следующие асимптотические разложения при x→+∞x \rightarrow +\infty. ∫x+∞ex2−t2dt∼12x−122x3+1⋅323x5−…\int_{x}^{+\infty } e^{x^{2}-t^{2}} d t \sim \frac{1}{2 x}-\frac{1}{2^{2} x^{3}}+\frac{1 \cdot 3}{2^{3} x^{5}}-\ldots

?
Задача 2.23.17

Доказать, что если ряд (1) сходится к некоторой функции, то он является и асимптотическим разложением этой функции при x→+∞x \rightarrow +\infty.

?
Задача 2.23.18

Доказать, что для того, чтобы ряд (1) являлся асимптотическим рядом при x→+∞x \rightarrow +\infty для функции ff, необходимо и достаточно, чтобы

f(x)−Sn(x)=O(1xn+1),x→+∞,n∈N f(x)-S_{n}(x) = O\left(\frac{1}{x^{n+1}}\right), \quad x \rightarrow +\infty , \quad n \in N

где Sn(x)S_{n}(x) — частичная сумма ряда (1).

?
Задача 2.23.19

Доказать, что если

f(x)∼∑n=0∞anxn,g(x)∼∑n=1∞bnxn,x→+∞ f(x) \sim \sum _{n = 0}^{\infty } \frac{a_{n}}{x^{n}}, \quad g(x) \sim \sum _{n = 1}^{\infty } \frac{b_{n}}{x^{n}}, \quad x \rightarrow +\infty

то для любых чисел λ\lambda и μ\mu имеет место

λf(x)+μg(x)∼∑n=0∞λan+μbnxn,x→+∞ \lambda f(x)+\mu g(x) \sim \sum _{n = 0}^{\infty } \frac{\lambda a_{n}+\mu b_{n}}{x^{n}}, \quad x \rightarrow +\infty
?
Задача 2.23.20

Доказать, что если имеют место асимптотические разложения (9), то

f(x)g(x)∼∑n=0∞cnxn,x→+∞, где cn=∑k=0∞akbn−k. f(x) g(x) \sim \sum _{n = 0}^{\infty } \frac{c_{n}}{x^{n}}, \quad x \rightarrow +\infty , \quad \text{ где } \quad c_{n} = \sum _{k = 0}^{\infty } a_{k} b_{n-k}.
?
Задача 2.23.21

Доказать, что если fn(x)∼∑n=0∞anxn,x→+∞f_{n}(x) \sim \sum_{n = 0}^{\infty } \frac{a_{n}}{x^{n}}, x \rightarrow +\infty, и a0≠0a_{0} \neq 0, то функция 1/f(x)1 / f(x) также имеет асимптотическое разложение

1f(x)∼1a0+∑n=1∞dnxn,x→+∞ \frac{1}{f(x)} \sim \frac{1}{a_{0}}+\sum _{n = 1}^{\infty } \frac{d_{n}}{x^{n}}, \quad x \rightarrow +\infty

где коэффициент dn,n∈Nd_{n}, n \in N, этого разложения выражается через коэффициенты a0,a1,…,ana_{0}, a_{1}, \ldots , a_{n}.

?
Задача 2.23.22

Доказать: если функция ff непрерывна при x⩾a>0x \geqslant a > 0 и имеет асимптотическое разложение, начинающееся с члена порядка 1/x21 / x^{2} :

fn(x)∼∑n=2∞anxn,x→+∞ f_{n}(x) \sim \sum _{n = 2}^{\infty } \frac{a_{n}}{x^{n}}, \quad x \rightarrow +\infty

то

∫x+∞f(t)dt∼∑n=2∞an(n−1)xn−1,x→+∞ \int _{x}^{+\infty } f(t) d t \sim \sum _{n = 2}^{\infty } \frac{a_{n}}{(n-1)} \frac{x^{n-1}}{}, \quad x \rightarrow +\infty

т. е. в указанном случае асимптотический ряд можно почленно интегрировать.

?
Задача 2.23.23

Доказать, что если функция ff раскладывается в асимптотический ряд

fn(x)∼∑n=0∞anxn,x→∞ f_{n}(x) \sim \sum _{n = 0}^{\infty } \frac{a_{n}}{x^{n}}, \quad x \rightarrow \infty

и если она имеет при x⩾ax \geqslant a непрерывную производную, которая также раскладывается при x→+∞x \rightarrow +\infty в асимптотический ряд, то этот ряд получается формальным почленным дифференцированием ряда (11):

f′(x)∼−∑n=1∞nanxn+1,x→+∞ f^{\prime }(x) \sim -\sum _{n = 1}^{\infty } \frac{n a_{n}}{x^{n+1}}, \quad x \rightarrow +\infty
?
Задача 2.23.24

Доказать: если функция ff имеет асимптотическое разложение (1) без свободного члена (a0=0)(a_{0} = 0), то его можно формально потенцировать, т. е. асимптотическое разложение функции ef(x)e^{f(x)} при x→+∞x \rightarrow +\infty можно получить, если в ряде

ef(x)=∑n=0∞(f(x))nn e^{f(x)} = \sum _{n = 0}^{\infty } \frac{(f(x))^{n}}{n}

заменить функцию ff ее асимптотическим разложением (1), формально произвести возведение в степень и объединить подобные члены.

?
Задача 2.23.25

Найти асимптотическое разложение (1) для функции f(x)=e−xsin⁡ex,x→+∞f(x) = e^{-x} \sin e^{x}, x \rightarrow +\infty, и доказать, что производная f′(x)f^{\prime }(x) не раскладывается в степенной асимптотический ряд при x→+∞x \rightarrow +\infty.

?
Задача 2.23.26

Найти асимптотическое разложение (1) при x→+∞x \rightarrow +\infty для функции

F(x)=∑k=1∞ckx+kˉ,0<c<1 F(x) = \sum _{k = 1}^{\infty } \frac{c^{k}}{x+\bar{k}}, \quad 0 < c < 1
?
Задача 2.23.27

Доказать, что следующие последовательности являются асимптотическими (последовательность {αn}\left\{ \alpha_{n}\right\} строго возрастает):

?
(1)

{(x−x0)n},x→x0\left\{ \left(x-x_{0}\right)^{n}\right\} , x \rightarrow x_{0}

(2)

{1/xn},x→+∞\left\{ 1 / x^{n}\right\} , x \rightarrow +\infty;

(3)

{1/xαn},x→+∞\left\{ 1 / x^{\alpha_{n}}\right\} , x \rightarrow +\infty;

(4)

{xαn},x→0\left\{ x^{\alpha_{n}}\right\} , x \rightarrow 0

(5)

{ln⁡αnx},x⩾1,x→+∞\left\{ \ln^{\alpha_{n}} x\right\} , x \geqslant 1, x \rightarrow +\infty;

(6)

{xαne−x},x→+∞\left\{ x^{\alpha_{n}} e^{-x}\right\} , x \rightarrow +\infty.

Задача 2.23.28

Доказать, что если {φn(x)}\left\{ \varphi_{n}(x)\right\} — асимптотическая при x→x0x \rightarrow x_{0} последовательность, то для того, чтобы ряд (5) являлся асимптотическим разложением функции ff при x→x0x \rightarrow x_{0}, необходимо и достаточно, чтобы

f(x)−Sn(x)=O(φn+1(x)),x→x0,n=0,1,2,… f(x)-S_{n}(x) = O\left(\varphi _{n+1}(x)\right), \quad x \rightarrow x_{0}, \quad n = 0,1,2, \ldots
?
Задача 2.23.29

Доказать, что если φn(x)≠0\varphi_{n}(x) \neq 0 при x≠x0,n=0,1,…x \neq x_{0}, \quad n = 0,1, \ldots, а ff раскладывается при x→x0x \rightarrow x_{0} в асимптотический ряд (5), то его коэффициенты последовательно определяются по формулам

a0=lim⁡x→x0f(x),an=lim⁡x→x01φn(x)(f(x)−∑k=0n−1akφk(x)) a_{0} = \lim _{x \rightarrow x_{0}} f(x), \quad a_{n} = \lim _{x \rightarrow x_{0}} \frac{1}{\varphi _{n}(x)}\left(f(x)-\sum _{k = 0}^{n-1} a_{k} \varphi _{k}(x)\right)
?
Задача 2.23.30

Разложить при x→+∞x \rightarrow +\infty в асимптотический ряд функцию

F(x;α)=∫x+∞eittαdt,x>0,α>0 F(x ; \alpha ) = \int _{x}^{+\infty } \frac{e^{i t}}{t^{\alpha }} d t, \quad x > 0, \quad \alpha > 0

Доказать, что действительной и мнимой частью интеграла 12F(x2;12)\frac{1}{2} F\left(x^{2} ; \frac{1}{2}\right) являются неполные интегралы Френеля

∫x+∞cos⁡t2dt,∫x+∞sin⁡t2dt \int _{x}^{+\infty } \cos t^{2} d t, \quad \int _{x}^{+\infty } \sin t^{2} d t
?
Задача 2.23.31

Найти асимптотическое разложение неполной гамма-функции

Γ(s;x)=∫x+∞ts−1e−tdt,x>0 \Gamma (s ; x) = \int _{x}^{+\infty } t^{s-1} e^{-t} d t, \quad x > 0
?