Definite Integral to Infinity of Power of x over Power of x plus Power of a

From ProofWiki
Jump to navigation Jump to search

Theorem

$\ds \int_0^\infty \dfrac {x^m \rd x} {x^n + a^n} = \frac {\pi a^{m + 1 - n} } {n \map \sin {\paren {m + 1} \frac \pi n} }$

for $0 < m + 1 < n$.


Proof

\(\ds \int_0^\infty \dfrac {x^m \rd x} {x^n + a^n}\) \(=\) \(\ds \int_0^\infty \dfrac {x^m \rd x} {\paren {x^{m + 1} }^{\frac n {m + 1} } + \paren {a^{m + 1} }^{\frac n {m + 1} } }\)
\(\ds \) \(=\) \(\ds \frac 1 {m + 1} \int_0^\infty \dfrac 1 {u^{\frac n {m + 1} } + \paren {a^{m + 1} }^{\frac n {m + 1} } } \rd u\) substituting $u = x^{m + 1}$
\(\ds \) \(=\) \(\ds \frac 1 {\paren {m + 1} \paren {\frac n {m + 1} \paren {a^{m + 1} }^{\frac n {m + 1} - 1} } } \map \csc {\frac {\paren {m + 1} \pi} n}\) Definite Integral to Infinity of $\dfrac 1 {1 + x^n}$: Corollary
\(\ds \) \(=\) \(\ds \frac {a^{m + 1} } {n a^{\paren {m + 1} \frac n {m + 1} } } \map \csc {\frac {\paren {m + 1} \pi} n}\)
\(\ds \) \(=\) \(\ds \frac {\pi a^{m + 1 - n} } {n \map \sin {\paren {m + 1} \frac \pi n} }\)

$\blacksquare$


Sources