ErfRule(a=-2*a, b=0, c=0, context=exp(-2*a*x**2), symbol=x)
Now simplify:
Add the constant of integration:
The answer is:
_____ / ___\ / ___ ____ / -1 |a*x*\/ 2 | | \/ 2 *\/ pi * / --- *erfi|---------| | 2 \/ a | ____ | | -2*a*x \ \/ -a / | e dx = C - -------------------------------------- | 4 /
/ ___ ____ / ___ ___\ |\/ 2 *\/ pi *erf\\/ 2 *\/ a / |----------------------------- for And(a > -oo, a < oo, a != 0) < ___ | 4*\/ a | \ 1 otherwise
=
/ ___ ____ / ___ ___\ |\/ 2 *\/ pi *erf\\/ 2 *\/ a / |----------------------------- for And(a > -oo, a < oo, a != 0) < ___ | 4*\/ a | \ 1 otherwise
Use the examples entering the upper and lower limits of integration.