1

Метод Лапласа

[15/93%]
Показать
LaTeX
Задача 2.195

Пусть p1,p2,…,pl,a1,a2,…,alp_{1}, p_{2}, \ldots , p_{l}, a_{1}, a_{2}, \ldots , a_{l} — произвольные положительные числа. Тогда

lim⁡n→∞p1a1n+p2a2n+…+plalnn \lim _{n \rightarrow \infty } \sqrt[n]{p_{1} a_{1}^{n}+p_{2} a_{2}^{n}+\ldots +p_{l} a_{l}^{n}}

существует и равен наибольшему из чисел a1,a2,…,ala_{1}, a_{2}, \ldots , a_{l}.

?
Задача 2.196

При тех же предположениях имеем также:

lim⁡n→∞p1a1n+1+p2a2n+1+…+plaln+1p1a1n+p2a2n+…+plaln=Max⁡(a1,a2,…,al). \lim _{n \rightarrow \infty } \frac{p_{1} a_{1}^{n+1}+p_{2} a_{2}^{n+1}+\ldots +p_{l} a_{l}^{n+1}}{p_{1} a_{1}^{n}+p_{2} a_{2}^{n}+\ldots +p_{l} a_{l}^{n}}=\operatorname {Max}\left(a_{1}, a_{2}, \ldots , a_{l}\right) .
?
Задача 2.197

Пусть f(x)f(x) — произвольная целая рациональная функция, имеющая лишь действительные положительные корни, и

−f′(x)f(x)=c0+c1x+c2x2+…+cnxn+… -\frac{f^{\prime }(x)}{f(x)}=c_{0}+c_{1} x+c_{2} x^{2}+\ldots +c_{n} x^{n}+\ldots

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

lim⁡n→∞1cnn=lim⁡n→∞cn−1cn \lim _{n \rightarrow \infty } \frac{1}{\sqrt[n]{c_{n}}}=\lim _{n \rightarrow \infty } \frac{c_{n-1}}{c_{n}}

существует и равен наименьшему корню функции f(x)f(x).

?
Задача 2.198

Пусть φ(x)\varphi (x) и f(x)f(x) непрерывны и положительны в интервале a⩽x⩽ba \leqslant x \leqslant b. Тогда

lim⁡n→∞∫abφ(x)[f(x)]ndxn \lim _{n \rightarrow \infty } \sqrt[n]{\int _{a}^{b} \varphi (x)[f(x)]^{n} d x}

существует и равен максимуму f(x)f(x) в интервале a⩽x⩽ba \leqslant x \leqslant b.

?
Задача 2.199

При тех же предположениях имеем также:

lim⁡n→∞∫abφ(x)[f(x)]n+1dx∫abφ(x)[f(x)]ndx=Max⁡f(x). \lim _{n \rightarrow \infty } \frac{\int _{a}^{b} \varphi (x)[f(x)]^{n+1} d x}{\int _{a}^{b} \varphi (x)[f(x)]^{n} d x}=\operatorname {Max} f(x) .
?
Задача 2.200

Пусть a<ξ<ba<\xi <b и kk — постоянное положительное число. Показать, что при постоянных a,b,ξa, b, \xi и n→+∞n \rightarrow +\infty

∫abe−kn(x−ξ)2dx∼πkn. \int _{a}^{b} e^{-k n(x-\xi )^{2}} d x \sim \sqrt{\frac{\pi }{k n}} .
?
Задача 2.201

Пусть функции φ(x),h(x)\varphi (x), h(x) и f(x)=eh(x)f(x)=e^{h(x)} определены в конечном или бесконечном интервале с концами a,ba, b и удовлетворяют следующим условиям:

  1. Функция φ(x)[f(x)]n=φ(x)enh(x)\varphi (x)[f(x)]^{n}=\varphi (x) e^{n h(x)} абсолютно интегрируема в [a,b][a, b] при всех целых n=0,1,2,…n=0,1,2, \ldots

  2. Функция h(x)h(x) достигает в некоторой точке ξ\xi внутри интервала [a,b][a, b] максимума, причем верхняя грань h(x)h(x) в каждом замкнутом интервале, не содержащем ξ\xi, меньше чем h(ξ)h(\xi ). Далее, h′′(x)h^{\prime \prime }(x) в некоторой окрестности точки ξ\xi существует и непрерывна и, наконец, h′′(ξ)<0h^{\prime \prime }(\xi )<0.

  3. φ(x)\varphi (x) непрерывна в точке x=ξx=\xi, причем φ(ξ)≠0\varphi (\xi ) \neq 0. Показать, что при n→+∞n \rightarrow +\infty имеет место следующая асимптотическая формула1:

∫abφ(x)[f(x)]ndx∼φ(ξ)[f(ξ)]n+12−2πnf′′(ξ)==φ(ξ)enh(ξ)−2πnh′′(ξ). \begin{aligned} & \int _{a}^{b} \varphi (x)[f(x)]^{n} d x \sim \varphi (\xi )[f(\xi )]^{n+\frac{1}{2}} \sqrt{-\frac{2 \pi }{n f^{\prime \prime }(\xi )}}= \\ & =\varphi (\xi ) e^{n h(\xi )} \sqrt{-\frac{2 \pi }{n h^{\prime \prime }(\xi )}} . \end{aligned}

Footnotes

  1. 1{}^{1}) Лаплас следующим образом высказывается об употреблении подобных интегралов:

    «Мы часто приходим к выражениям, содержащим такое количество членов и множителей, что числовые подстановки становятся невыполнимыми. Это имеет место в вопросах о вероятностях, когда рассматривается большое число событий. Однако тогда бывает важно получить числовое значение формул, чтобы узнать, какова вероятность результатов, которые события раскрывают по мере увеличения их числа. Особенно же важно получить закон, по которому эта вероятность непрерывно приближается к достоверности, которой она и достигла бы наконец, если бы число событий стало бесконечным. С этой целью я обратил внимание на то, что определенные интегралы дифференциалов, умноженных на множители, возведенные в высокие степени, дают по интегрировании формулы, состоящие из большого числа членов и множителей»

    Употребленный им прием, первый шаг которого приведен в задаче 201, он характеризует далее следующим образом:

    «прием, который делает ряд тем быстрее сходящимся, чем сложнее формула, которая его выражает, так что этот прием тем более точен, чем более он необходим» (Laplace, Essai philosophique sur les probabilités, Oeuvres, т. 7, стр. XXXVIII, Paris, Gauthier-Villars, 1886. [Лаплас, Опыт философии теории вероятностей, стр. 52, 53, М., 1908.]) ↩

?
Задача 2.202

Доказать, основываясь на формуле

∫0π2sin⁡2nxdx=∫0π2cos⁡2nxdx=1⋅3…(2n−1)2⋅4…2nπ2 \int _{0}^{\frac{\pi }{2}} \sin ^{2 n} x d x=\int _{0}^{\frac{\pi }{2}} \cos ^{2 n} x d x=\frac{1 \cdot 3 \ldots (2 n-1)}{2 \cdot 4 \ldots 2 n} \frac{\pi }{2}

(nn — целое), что при n→+∞n \rightarrow +\infty

1⋅3…(2n−1)2⋅4…2n∼1nπ. \frac{1 \cdot 3 \ldots (2 n-1)}{2 \cdot 4 \ldots 2 n} \sim \frac{1}{\sqrt{n \pi }} .
?
Задача 2.203

Показать, что для полинома Лежандра Pn(λ)P_{n}(\lambda ) nn-го порядка при n→∞n \rightarrow \infty имеет место следующая асимптотическая формула:

Pn(λ)∼12nπ(λ+λ2−1)n+12λ2−14, P_{n}(\lambda ) \sim \frac{1}{\sqrt{2 n \pi }} \frac{\left(\lambda +\sqrt{\lambda ^{2}-1}\right)^{n+\frac{1}{2}}}{\sqrt[4]{\lambda ^{2}-1}},

где λ\lambda — вещественное число >1>1 и корни берутся положительные.

?
Задача 2.204

Вывести из разложения Ганзена

eitcos⁡x=J0(t)+2∑v=1∞ivJv(t)cos⁡vx, e^{i t \cos x}=J_{0}(t)+2 \sum _{v=1}^{\infty } i^{v} J_{v}(t) \cos v x,

могущего служить для определения функций Бесселя Jv(t)J_{v}(t), следующую формулу: при t→+∞t \rightarrow +\infty

Jv(it)∼ivet2πt(v=0,1,2,…). J_{v}(i t) \sim i^{v} \frac{e^{t}}{\sqrt{2 \pi t}} \quad (v=0,1,2, \ldots ) .
?
Задача 2.205

Показать, что при n→∞n \rightarrow \infty

Γ(n+1)=∫0∞e−xxndx∼(ne)n2πn; \Gamma (n+1)=\int _{0}^{\infty } e^{-x} x^{n} d x \sim \left(\frac{n}{e}\right)^{n} \sqrt{2 \pi n} ;

более того,

(en)nΓ(n+1)=2πn+O(1n).(18, I 167) \left(\frac{e}{n}\right)^{n} \Gamma (n+1)=\sqrt{2 \pi n}+O\left(\frac{1}{\sqrt{n}}\right) . \tag {18, I 167}
?
Задача 2.206

При n→+∞n \rightarrow +\infty

(nk+ln)∼(k−1)n2πn(kk−1)nk+l+12 \binom {n k+l}{n} \sim \frac{(k-1)^{n}}{\sqrt{2 \pi n}}\left(\frac{k}{k-1}\right)^{n k+l+\frac{1}{2}}

(kk и ll вещественны, k>1k>1).

?
Задача 2.207

При вещественном α\alpha и t→+∞t \rightarrow +\infty

∫1∞xα(tex)xdxx∼2πtα−12et. \int _{1}^{\infty } x^{\alpha }\left(\frac{t e}{x}\right)^{x} \frac{d x}{x} \sim \sqrt{2 \pi } t^{\alpha -\frac{1}{2}} e^{t} .
?
Задача 2.208

Пусть 0<α<10<\alpha <1. Тогда при τ→+0\tau \rightarrow +0

∫0∞eα−1xα−τxdx∼2π1−ατ−α2(1−α)−1exp⁡(1−αατ−α1−α). \int _{0}^{\infty } e^{\alpha ^{-1} x^{\alpha }-\tau x} d x \sim \sqrt{\frac{2 \pi }{1-\alpha }} \tau ^{-\frac{\alpha }{2(1-\alpha )}-1} \exp \left(\frac{1-\alpha }{\alpha } \tau ^{-\frac{\alpha }{1-\alpha }}\right) .
?
Задача 2.209

При α>0\alpha >0 и t→+∞t \rightarrow +\infty

∫0∞xαxtxdx∼2πeαt12αexp⁡(e−1αt1α). \int _{0}^{\infty } x^{\alpha x} t^{x} d x \sim \sqrt{\frac{2 \pi }{e \alpha }} t^{\frac{1}{2 \alpha }} \exp \left(e^{-1} \alpha t^{\frac{1}{\alpha }}\right) .
?