AMKbook.Net Задачи должны иметь решение

Задача №2455

Условие

Вычислить несобственный интеграл \(\displaystyle{\int\limits_{0}^{+\infty}x^n e^{-x}dx}\) (\(\displaystyle{n}\) – целое положительное число).

Решение

Это довольно известный интеграл – советую почитать про гамма-функцию. Однако мы не станем опираться на готовый результат, а сформулируем гипотезу, а затем её докажем. Обозначим заданный интеграл как \(\displaystyle{J_n}\), т.е.

\[ J_n =\int\limits_{0}^{+\infty}x^n e^{-x}dx \]

Будем применять формулу интегрирования по частям в несобственном интеграле:

\[ \int\limits_{a}^{+\infty}udv =\lim_{x\to+\infty}(uv) - u(a)v(a) - \int\limits_{a}^{+\infty}vdu \]

Найдём интеграл \(\displaystyle{J_1}\). Для этого интеграла будем иметь \(\displaystyle{u=x}\), \(\displaystyle{dv=e^{-x}dx}\), т.е. \(\displaystyle{v=-e^{-x}}\), откуда \(\displaystyle{u(0)v(0)=0}\). При этом мы учитываем, что \(\displaystyle{\int\limits_{0}^{+\infty}e^{-x}dx=1}\), – этот результат легко получить непосредственным вычислением.

\[ J_1 =\int\limits_{0}^{+\infty}x^{1} e^{-x}dx =-\lim_{x\to+\infty}\frac{x}{e^x} + \int\limits_{0}^{+\infty} e^{-x}dx =1 \]

При вычислении предела мы использовали тот факт, что при любом \(\displaystyle{n\in{N}}\) имеем \(\displaystyle{\lim_{x\to+\infty}\frac{x^n}{e^x}=0}\) (см. задачу 2454). Аналогично можно найти \(\displaystyle{J_2}\), \(\displaystyle{J_3}\) и \(\displaystyle{J_4}\):

\[ J_2 =\int\limits_{0}^{+\infty}x^{2} e^{-x}dx =-\lim_{x\to+\infty}\frac{x^2}{e^x} + 2\int\limits_{0}^{+\infty} x e^{-x}dx =2J_1 =2\cdot{1} =2 \]
\[ J_3 =\int\limits_{0}^{+\infty}x^{3} e^{-x}dx =-\lim_{x\to+\infty}\frac{x^3}{e^x} + 3\int\limits_{0}^{+\infty} x^2 e^{-x}dx =3J_2 =3\cdot{2}\cdot{1} =6 \]
\[ J_4 =\int\limits_{0}^{+\infty}x^{4} e^{-x}dx =-\lim_{x\to+\infty}\frac{x^4}{e^x} + 4\int\limits_{0}^{+\infty} x^3 e^{-x}dx =4J_3 =4\cdot{3}\cdot{2}\cdot{1} =24 \]

Этот процесс подводит к мысли о том, что

\[ J_n =1\cdot{2}\cdot\ldots\cdot{n} =n! \]

Однако сформулированную гипотезу ещё нужно доказать. Доказательство проведём методом математической индукции. При \(\displaystyle{n=1}\) гипотеза верна, т.е. \(\displaystyle{J_1=1!=1}\). Пусть доказываемая формула верна при \(\displaystyle{n=k}\), т.е. \(\displaystyle{J_k=k!}\). Докажем, что формула будет истинна и при \(\displaystyle{n=k+1}\), т.е. докажем, что \(\displaystyle{J_{k+1}=(k+1)!}\). Будем применять всё ту же формулу интегрирования по частям:

\[ J_{k+1} =\int\limits_{0}^{+\infty}x^{k+1} e^{-x}dx =-\lim_{x\to+\infty}\frac{x^{k+1}}{e^x} + (k+1)\int\limits_{0}^{+\infty} x^k e^{-x}dx =(k+1)J_k =(k+1)\cdot{k!} =(k+1)! \]

Согласно методу математической индукции имеем \(\displaystyle{J_n=n!}\) при любых \(\displaystyle{n\in{N}}\).

Ответ:

\(\displaystyle{n!}\)

Источники задачи

Задачник №1Берман "Сборник задач по курсу математического анализа"
Глава №7Способы вычисления определённых интегралов. Несобственные интегралы
Параграф №3Несобственные интегралы
Задача №2430