Используем интегрирование по частям:
пусть и пусть .
Затем .
Чтобы найти :
ErfRule(a=-1, b=0, c=0, context=exp(-x**2), symbol=x)
Теперь решаем под-интеграл.
Интеграл от произведения функции на константу есть эта константа на интеграл от данной функции:
Не могу найти шаги в поиске этот интеграла.
Но интеграл
Таким образом, результат будет:
Теперь упростить:
Добавляем постоянную интегрирования:
Ответ:
/ | / 2 \ | 2 | 2 -x | ____ 2 | 2 -x ____ | erf(x) x *erf(x) x*e | \/ pi *x *erf(x) | x *e dx = C - \/ pi *|- ------ + --------- + --------| + ---------------- | | 4 2 ____| 2 / \ 2*\/ pi /
-1 ____ e \/ pi *erf(1) - --- + ------------- 2 4
=
-1 ____ e \/ pi *erf(1) - --- + ------------- 2 4
Данные примеры также можно применять при вводе верхнего и нижнего предела интегрирования.