User:Caliburn/sandbox
Jump to navigation
Jump to search
just so this stuff doesn't get lost
to adapt for Definite Integral from 0 to 1 of Power of x by Power of Logarithm of x/Proof 2
Thus the exercise devolves into the following sum of integrals:
- $\ds \int_0^1 x^x dx = \sum_{n \mathop = 0}^\infty \int_0^1 \frac {x^n \paren {\ln x}^n} {n!} \rd x$
We can evaluate this by Integration by Parts.
Integrate:
- $\ds \int x^m \paren {\ln x}^n \rd x$
by taking $u = \paren {\ln x}^n$ and $\d v = x^m \rd x$, which gives us:
- $\ds \int x^m \paren {\ln x}^n \rd x = \frac {x^{m + 1} \paren {\ln x}^n} {m + 1} - \frac n {m + 1} \int x^{m + 1} \frac {\paren {\ln x}^{n - 1} } x \rd x$
for $m \ne -1$.
Thus, by induction:
- $\ds \int x^m \paren {\ln x}^n \rd x = \frac {x^{m + 1} } {m + 1} \sum_{i \mathop = 0}^n \paren {-1}^i \frac {\paren n_i} {\paren {m + 1}^i} \paren {\ln x}^{n - i}$
where $\paren n_i$ denotes the falling factorial.