Застряли на этом? Решите с помощью ИИ
Calculus · real student question

Вычислите интеграл e^{-x²} по x.

Question

Find

∫e−x2 dx\int e^{-x^{2}}\,dx

Step-by-step solution

  1. Пробуем стандартную замену и видим, что она не работает. Пусть u=−x2u=-x^{2}, тогда du=−2x dxdu=-2x\,dx, однако в подынтегральном выражении отсутствует множитель xx, который можно было бы выразить через dudu. Поэтому завершить замену переменной невозможно. Интегрирование по частям также приводит к циклическому процессу без упрощения. Это не недостаток метода — причина в структуре самого выражения.

  2. Знаем теоретический факт. Согласно теореме Лиувилля о интегрировании в элементарных функциях, у e−x2e^{-x^{2}} нет элементарной первообразной — её нельзя выразить через многочлены, корни, экспоненты, логарифмы и тригонометрические функции за конечное число действий. Для сравнения: ∫xe−x2dx=−12e−x2+C\int xe^{-x^{2}}dx=-\tfrac12e^{-x^{2}}+C выражается элементарно именно потому, что дополнительный множитель xx позволяет провести замену.

  3. Вводим функцию ошибок как определение. Математики обозначают недостающую первообразную так:

    erf⁡(x)=2π∫0xe−t2 dt\operatorname{erf}(x)=\frac{2}{\sqrt{\pi}}\int_{0}^{x}e^{-t^{2}}\,dt

    Коэффициент 2π\tfrac{2}{\sqrt{\pi}} выбран так, чтобы erf⁡(∞)=1\operatorname{erf}(\infty)=1, что делает функцию ошибок удобной в теории вероятностей.

  4. Используем определение для ответа на вопрос. Продефференцируем определение: erf⁡′(x)=2πe−x2\operatorname{erf}'(x)=\tfrac{2}{\sqrt{\pi}}e^{-x^{2}}, поэтому умножение на π2\tfrac{\sqrt{\pi}}{2} убирает нормировочный множитель:

    ∫e−x2 dx=π2erf⁡(x)+C\int e^{-x^{2}}\,dx=\frac{\sqrt{\pi}}{2}\operatorname{erf}(x)+C

  5. Сравниваем с определённым интегралом по всей прямой. Хотя элементарной первообразной не существует, определённый интеграл вычисляется точно:

    ∫−∞∞e−x2dx=π\int_{-\infty}^{\infty}e^{-x^{2}}dx=\sqrt{\pi}

    Этот результат получают возведением в квадрат и переходом к полярным координатам. Наличие точного значения определённого интеграла не противоречит отсутствию элементарной неопределённой первообразной.

Answer

∫e−x2 dx=π2erf⁡(x)+C\int e^{-x^{2}}\,dx=\frac{\sqrt{\pi}}{2}\operatorname{erf}(x)+C

Need to solve a different problem like this? Open the solver →