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

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

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

Доказать следующее равенство:

Задача 61

limnann!=0.\lim_{n\to\infty}\frac{a^n}{n!}=0.При переходе к следующему номеру факториал получает новый множитель
n+1n+1, тогда как степень в числителе каждый раз умножается на одно и то же
фиксированное число aa. Поэтому отношение соседних модулей со временем
становится сколь угодно малым. Сначала отдельно разберём a=0a=0, а при
a0a\ne0 построим из этого отношения геометрическую оценку хвоста.

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

Идея

Если a=0a=0, то при каждом n1n\ge1ann!=0.\frac{a^n}{n!}=0.Следовательно, в этом случае последовательность тождественно равна нулю и её предел равен нулю.
  1. 1
    Пусть a0a\ne0 иbn=ann!>0.b_n=\frac{|a|^n}{n!}>0.Тогдаbn+1bn=an+10.\frac{b_{n+1}}{b_n}=\frac{|a|}{n+1}\longrightarrow0.Поэтому существует номер NN такой, что при nNn\ge Nbn+1bn12.\frac{b_{n+1}}{b_n}\le\frac12.Последовательно применяя эту оценку, для m0m\ge0 получаемbN+mbN(12)m.b_{N+m}\le b_N\left(\frac12\right)^m.Правая часть стремится к нулю, следовательно, bn0b_n\to0. Так какann!=bn,\left|\frac{a^n}{n!}\right|=b_n,то по теореме о зажатой последовательностиann!0.\frac{a^n}{n!}\longrightarrow0.
  2. 2

    Случай $a=0$ отделён до вычисления отношения соседних членов

    при нулевом основании это отношение не определено, хотя сама исходная
    последовательность тождественно равна нулю. Для a0a\ne0 оценка проводится по
    модулю, поэтому знак aa на предел не влияет.
  3. 3
    limnann!=0.\lim_{n\to\infty}\frac{a^n}{n!}=0.Альтернативное решение:

    Чтобы доказательство работало для любых aa - рассмотрим последовательность из модулей: xn=ann!x_n = \frac{|a|^n}{n!}. Если a=0a=0, предел очевидно равен нулю. Пусть a0a \neq 0.
  4. 4
    Найдем предел отношения соседних членов:limnxn+1xn=limn(an+1(n+1)!n!an)=limnan+1=0\lim_{n\to\infty} \frac{x_{n+1}}{x_n} = \lim_{n\to\infty} \left( \frac{|a|^{n+1}}{(n+1)!} \cdot \frac{n!}{|a|^n} \right) = \lim_{n\to\infty} \frac{|a|}{n+1} = 0
  5. 5
    Так как предел отношения меньше единицы, начиная с некоторого номера NN само отношение становится строго меньше 11. Это значит, что для nNn \ge N выполняется xn+1<xnx_{n+1} < x_n, то есть последовательность монотонно убывает.

    С другой стороны, xn>0x_n > 0, поэтому она ограничена снизу. По теореме Вейерштрасса она имеет конечный предел:limnxn=L\lim_{n\to\infty} x_n = LПерейдем к пределу в равенстве xn+1=an+1xnx_{n+1} = \frac{|a|}{n+1} x_n:L=limnxn+1=limnan+1limnxn=0L=0L = \lim_{n\to\infty} x_{n+1} = \lim_{n\to\infty} \frac{|a|}{n+1} \cdot \lim_{n\to\infty} x_n = 0 \cdot L = 0

Проверка

Поскольку предел модуля равен нулю, то и предел исходной последовательности без модуля также равен нулю:limnann!=0\lim_{n\to\infty} \frac{a^n}{n!} = 0

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

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