1 / | | -t x | E *t dx | / 0
Integral(E^(-t)*t^x, (x, 0, 1))
La integral del producto de una función por una constante es la constante por la integral de esta función:
PieceweseRule(subfunctions=[(ExpRule(base=t, exp=x, context=t**x, symbol=x), Ne(log(t), 0)), (ConstantRule(constant=1, context=1, symbol=x), True)], context=t**x, symbol=x)
Por lo tanto, el resultado es:
Ahora simplificar:
Añadimos la constante de integración:
Respuesta:
/ // x \ | || t | | -t x ||------ for log(t) != 0| -t | E *t dx = C + |
/ -t -t | e t*e |- ------ + ------ for Or(And(t >= 0, t < 1), t > 1) < log(t) log(t) | | -t \ e otherwise
=
/ -t -t | e t*e |- ------ + ------ for Or(And(t >= 0, t < 1), t > 1) < log(t) log(t) | | -t \ e otherwise
Piecewise((-exp(-t)/log(t) + t*exp(-t)/log(t), (t > 1)∨((t >= 0)∧(t < 1))), (exp(-t), True))
Estos ejemplos se pueden aplicar para introducción de los límites de integración inferior y superior.