oo / | | log(x) | ------- dx | 2 2 | x + a | / 0
Integral(log(x)/(x^2 + a^2), (x, 0, oo))
/ / pi*I\ / 3*pi*I\ | | ----| | ------| | | 2 | | 2 | / 3*pi*I\ / pi*I\ | | e | | e | | ------| | ----| | - 2*I*a*polylog|2, -----| + 2*I*a*polylog|2, -------| | 2 | | 2 | | \ a / \ a / I*polylog\2, a*e / I*polylog\2, a*e / |- ----------------------------------------------------- + ----------------------- - --------------------- for 2*|arg(a)| < pi | 2 2*a 2*a | 4*a | < oo | / | | | | log(x) | | ------- dx otherwise | | 2 2 | | a + x | | | / | 0 \
=
/ / pi*I\ / 3*pi*I\ | | ----| | ------| | | 2 | | 2 | / 3*pi*I\ / pi*I\ | | e | | e | | ------| | ----| | - 2*I*a*polylog|2, -----| + 2*I*a*polylog|2, -------| | 2 | | 2 | | \ a / \ a / I*polylog\2, a*e / I*polylog\2, a*e / |- ----------------------------------------------------- + ----------------------- - --------------------- for 2*|arg(a)| < pi | 2 2*a 2*a | 4*a | < oo | / | | | | log(x) | | ------- dx otherwise | | 2 2 | | a + x | | | / | 0 \
Piecewise((-(-2*i*a*polylog(2, exp_polar(pi*i/2)/a) + 2*i*a*polylog(2, exp_polar(3*pi*i/2)/a))/(4*a^2) + i*polylog(2, a*exp_polar(3*pi*i/2))/(2*a) - i*polylog(2, a*exp_polar(pi*i/2))/(2*a), 2*Abs(arg(a)) < pi), (Integral(log(x)/(a^2 + x^2), (x, 0, oo)), True))
Estos ejemplos se pueden aplicar para introducción de los límites de integración inferior y superior.