Раздел I. Введение в анализ§ 2. Теория последовательностей

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

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

Задача 76

Доказать, чтоlimnn(a1n1)=lna(a>0),\lim_{n\to\infty}n\left(a^{\frac1n}-1\right)=\ln a\qquad(a>0),где lna\ln a есть логарифм числа aa при основании e=2,718e=2{,}718\ldots .

Опирается на задачу 75

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

Идея

Положимtn=lnan.t_n=\frac{\ln a}{n}.Тогда a1n=etna^{\frac1n}=e^{t_n}, а tn0t_n\to0. Нам нужно понять поведение
отношенияetn1tn\frac{e^{t_n}-1}{t_n}именно вдоль этой последовательности. Сначала с помощью задачи 75 зажмём
его для положительной последовательности, стремящейся к нулю. Затем
отрицательный случай сведём к положительному заменой знака. Такой путь
остаётся целиком в теории последовательностей. Случай a=1a=1 рассмотрим
отдельно, поскольку тогда tn=0t_n=0 и делить на него нельзя.
  1. 1
    Сначала установим вспомогательный последовательностный результат.
    Пустьun>0,un0.u_n>0,
    \qquad
    u_n\to0.
    Начиная с некоторого номера 0<un<10<u_n<1. По пункту б) задачи 751+un<eun.1+u_n<e^{u_n}.Применяя то же неравенство к числу un0-u_n\ne0, получаем1un<eun.1-u_n<e^{-u_n}.Здесь обе части положительны, поэтому после перехода к обратным величинамeun<11un.e^{u_n}<\frac1{1-u_n}.Таким образом,1+un<eun<11un.1+u_n<e^{u_n}<\frac1{1-u_n}.Вычитая 11 и деля на un>0u_n>0, имеем1<eun1un<11un.1<
    \frac{e^{u_n}-1}{u_n}
    <
    \frac1{1-u_n}.
    Обе крайние последовательности стремятся к 11, поэтому по теореме о
    зажатой последовательностиeun1un1.\frac{e^{u_n}-1}{u_n}\longrightarrow1.
  2. 2
    Для отрицательной последовательности пустьvn<0,vn0,v_n<0,
    \qquad
    v_n\to0,
    и положим wn=vn>0w_n=-v_n>0. Из полученной выше цепочки после обращения следует1wn<ewn<11+wn.1-w_n<e^{-w_n}<\frac1{1+w_n}.По теореме о зажатой последовательностиewn1.e^{-w_n}\longrightarrow1.Кроме того,evn1vn=ewn1wn=ewnewn1wn.\frac{e^{v_n}-1}{v_n}
    =
    \frac{e^{-w_n}-1}{-w_n}
    =
    e^{-w_n}\frac{e^{w_n}-1}{w_n}.
    Оба множителя справа стремятся к 11, следовательно,evn1vn1.\frac{e^{v_n}-1}{v_n}\longrightarrow1.
  3. 3
    Теперь вернёмся к исходной задаче. Если a=1a=1, тоn(a1n1)=0=ln1n\left(a^{\frac1n}-1\right)=0=\ln1для каждого nn.

    Пусть a1a\ne1 иtn=lnan.t_n=\frac{\ln a}{n}.Тогда tn0t_n\ne0 и tn0t_n\to0. При a>1a>1 последовательность tnt_n
    положительна, а при 0<a<10<a<1 отрицательна. В обоих случаях доказанные выше
    оценки даютetn1tn1.\frac{e^{t_n}-1}{t_n}\longrightarrow1.Поэтомуn(a1n1)=n(etn1)=lnaetn1tnlna.\begin{aligned}
    n\left(a^{\frac1n}-1\right)
    &=n\left(e^{t_n}-1\right)\\
    &=\ln a\,\frac{e^{t_n}-1}{t_n}\\
    &\longrightarrow\ln a.
    \end{aligned}
    Все зажатия применены к последовательностям. При un>0u_n>0
    деление выполняется только после проверки un0u_n\ne0, а обращение неравенств
    — после проверки положительности 1un1-u_n. Случай a=1a=1 отделён до
    появления отношения с нулевым знаменателем.

Проверка

limnn(a1n1)=lna(a>0).\lim_{n\to\infty}n\left(a^{\frac1n}-1\right)=\ln a
\qquad(a>0).

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

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