Раздел I. Введение в анализ§ 5. Предел функции

Демидович — задача 608

Б. П. Демидович, «Сборник задач и упражнений по математическому анализу». Условие, подробное решение и ответ.

Задача 608

Доказать теоремы Коши: если функция f(x)f(x) определена в интервале
(a,+)(a,+\infty) и ограничена в каждом конечном интервале (a,b)(a,b), тоа) limx+f(x)x=limx+[f(x+1)f(x)]\text{а) }\lim_{x\to+\infty}\frac{f(x)}x
=\lim_{x\to+\infty}[f(x+1)-f(x)]
б) limx+[f(x)]1x=limx+f(x+1)f(x)(f(x)C>0)\text{б) }\lim_{x\to+\infty}[f(x)]^{\frac1x}
=\lim_{x\to+\infty}\frac{f(x+1)}{f(x)}
\qquad (f(x)\geqslant C>0)
предполагая, что пределы в правых частях равенств существуют
Доказано:limx+f(x)x=limx+[f(x+1)f(x)]\lim_{x\to+\infty}\frac{f(x)}x
=\lim_{x\to+\infty}[f(x+1)-f(x)]
limx+[f(x)]1x=limx+f(x+1)f(x)\lim_{x\to+\infty}[f(x)]^{\frac1x}
=\lim_{x\to+\infty}\frac{f(x+1)}{f(x)}

Доказательство

  1. 1

    Пункт а)

    ОбозначимL=limx+[f(x+1)f(x)]L=\lim_{x\to+\infty}[f(x+1)-f(x)]Сначала считаем LL конечным. Выберем число c>ac>a. Для каждого
    достаточно большого xx единственным образом запишемx=c+n+t,nN,0t<1x=c+n+t,
    \qquad
    n\in\mathbb N,
    \qquad
    0\leqslant t<1
    Тогда после телескопического сложения получаемf(c+n+t)=f(c+t)++[f(c+t+1)f(c+t)]+++[f(c+t+n)f(c+t+n1)]\begin{aligned}
    f(c+n+t)&=f(c+t)+{}\\
    &\quad+[f(c+t+1)-f(c+t)]+\cdots+{}\\
    &\quad+[f(c+t+n)-f(c+t+n-1)]
    \end{aligned}
    Функция ff ограничена на конечном промежутке [c,c+1][c,c+1], поэтому
    f(c+t)/x0f(c+t)/x\to0 равномерно по 0t<10\leqslant t<1
  2. 2
    Для любого ε>0\varepsilon>0 все достаточно далёкие разности в сумме
    заключены между LεL-\varepsilon и L+εL+\varepsilon. Все конечные
    начальные разности равномерно ограничены по tt, поскольку их аргументы
    лежат в одном фиксированном конечном промежутке. Поэтому после деления на
    xx их вклад стремится к нулю, а n/x1n/x\to1. Следовательно,Lεlim infx+f(x)xlim supx+f(x)xL+εL-\varepsilon
    \leqslant
    \liminf_{x\to+\infty}\frac{f(x)}x
    \leqslant
    \limsup_{x\to+\infty}\frac{f(x)}x
    \leqslant
    L+\varepsilon
    Так как ε\varepsilon произвольно, искомый предел равен LL. Для
    L=+L=+\infty или L=L=-\infty то же телескопическое сложение применяют
    к неравенствам f(u+1)f(u)>Mf(u+1)-f(u)>M или f(u+1)f(u)<Mf(u+1)-f(u)<-M
  3. 3

    Пункт б)

    Положимq=limx+f(x+1)f(x)q=\lim_{x\to+\infty}\frac{f(x+1)}{f(x)}Условие f(x)C>0f(x)\geqslant C>0 позволяет рассмотреть функциюg(x)=lnf(x)g(x)=\ln f(x)Если 0<q<+0<q<+\infty, тоg(x+1)g(x)=lnf(x+1)f(x)lnqg(x+1)-g(x)
    =\ln\frac{f(x+1)}{f(x)}
    \longrightarrow\ln q
    По доказанной части а)limx+lnf(x)x=lnq\lim_{x\to+\infty}\frac{\ln f(x)}x=\ln qПосле возведения числа ee в степень получаемlimx+[f(x)]1x=limx+exp(lnf(x)x)=q\lim_{x\to+\infty}[f(x)]^{\frac1x}
    =\lim_{x\to+\infty}
    \exp\left(\frac{\ln f(x)}x\right)=q
    Предел q=0q=0 невозможен: тогда для больших xx было бы
    f(x+1)12f(x)f(x+1)\leqslant\frac12f(x), и последовательное применение этого
    неравенства противоречило бы условию f(x)Cf(x)\geqslant C. Если
    q=+q=+\infty, то разности g(x+1)g(x)g(x+1)-g(x) стремятся к ++\infty,
    поэтому по части а) g(x)/x+g(x)/x\to+\infty и корень также стремится к
    ++\infty

Что и требовалось доказать

Демидович № 608 — решение и ответ