Find
Пробуем стандартную замену и видим, что она не работает. Пусть , тогда , однако в подынтегральном выражении отсутствует множитель , который можно было бы выразить через . Поэтому завершить замену переменной невозможно. Интегрирование по частям также приводит к циклическому процессу без упрощения. Это не недостаток метода — причина в структуре самого выражения.
Знаем теоретический факт. Согласно теореме Лиувилля о интегрировании в элементарных функциях, у нет элементарной первообразной — её нельзя выразить через многочлены, корни, экспоненты, логарифмы и тригонометрические функции за конечное число действий. Для сравнения: выражается элементарно именно потому, что дополнительный множитель позволяет провести замену.
Вводим функцию ошибок как определение. Математики обозначают недостающую первообразную так:
Коэффициент выбран так, чтобы , что делает функцию ошибок удобной в теории вероятностей.
Используем определение для ответа на вопрос. Продефференцируем определение: , поэтому умножение на убирает нормировочный множитель:
Сравниваем с определённым интегралом по всей прямой. Хотя элементарной первообразной не существует, определённый интеграл вычисляется точно:
Этот результат получают возведением в квадрат и переходом к полярным координатам. Наличие точного значения определённого интеграла не противоречит отсутствию элементарной неопределённой первообразной.
Need to solve a different problem like this? Open the solver →