[PROOFS] Reduction formulae

Integrate by parts with $u=x^n$ and $\frac{dv}{dx}=e^x$ , so $du=n x^{n-1} \, dx$ and $v=e^x$ . Then

I_n=x^n e^x-n\int x^{n-1} e^x \, dx=x^n e^x-n I_{n-1}.

[1]:Powers of $x$ times $e^x$

For $I_n$ , integrate by parts with $u=\sin^{n-1}x$ and $\frac{dv}{dx}=\sin x$ , so $du=(n-1)\sin^{n-2}x\cos x \, dx$ and $v=-\cos x$ . Then

I_n=\bigl[-\sin^{n-1}x\cos x\bigr]_0^{\pi/2}+(n-1)\int_0^{\pi/2}\sin^{n-2}x\cos^2 x \, dx.

The boundary term is $0$ , since $\cos\frac{\pi}{2}=0$ and $\sin 0=0$ . Replace $\cos^2 x=1-\sin^2 x$ :

\begin{aligned} I_n&=(n-1)\int_0^{\pi/2}\sin^{n-2}x\bigl(1-\sin^2 x\bigr) \, dx \\ &=(n-1)\bigl(I_{n-2}-I_n\bigr). \end{aligned}

Hence $I_n=(n-1)I_{n-2}-(n-1)I_n$ , so $n I_n=(n-1)I_{n-2}$ and therefore

I_n=\frac{n-1}{n} I_{n-2},\qquad n\ge 2.

For $J_n$ , take $u=\cos^{n-1}x$ and $\frac{dv}{dx}=\cos x$ , so $du=-(n-1)\cos^{n-2}x\sin x \, dx$ and $v=\sin x$ . Then

J_n=\bigl[\cos^{n-1}x\sin x\bigr]_0^{\pi/2}+(n-1)\int_0^{\pi/2}\cos^{n-2}x\sin^2 x \, dx.

The boundary term is $0$ . Replace $\sin^2 x=1-\cos^2 x$ :

J_n=(n-1)\bigl(J_{n-2}-J_n\bigr).

The same rearrangement yields $J_n=\frac{n-1}{n} J_{n-2}$ for $n\ge 2$ .

[1]:Sine and cosine powers on $\bigl[0,\frac{\pi}{2}\bigr]$

Integrate by parts with $u=\sec^{n-2}x$ and $\frac{dv}{dx}=\sec^2 x$ , so

\frac{du}{dx}=(n-2)\sec^{n-2}x\tan x,\qquad v=\tan x.

Then

I_n=\bigl[\sec^{n-2}x\tan x\bigr]_0^{\pi/4}-(n-2)\int_0^{\pi/4}\sec^{n-2}x\tan^2 x \, dx.

The boundary term is $2^{(n-2)/2}$ , since $\sec\frac{\pi}{4}=\sqrt{2}$ and $\tan\frac{\pi}{4}=1$ , while the lower limit is $0$ . Replace $\tan^2 x=\sec^2 x-1$ :

\begin{aligned} I_n&=2^{(n-2)/2}-(n-2)\int_0^{\pi/4}\sec^{n-2}x\bigl(\sec^2 x-1\bigr) \, dx \\ &=2^{(n-2)/2}-(n-2)\bigl(I_n-I_{n-2}\bigr) \\ &=2^{(n-2)/2}-(n-2)I_n+(n-2)I_{n-2}. \end{aligned}

Hence $(n-1)I_n=2^{(n-2)/2}+(n-2)I_{n-2}$ and therefore

I_n=\frac{1}{n-1}\bigl(2^{(n-2)/2}+(n-2)I_{n-2}\bigr),\qquad n\ge 2.

[1]:Secant powers on $\bigl[0,\frac{\pi}{4}\bigr]$

Write $\tan^n x=\tan^{n-2}x\tan^2 x$ and replace $\tan^2 x=\sec^2 x-1$ :

J_n=\int_0^{\pi/4}\tan^{n-2}x\bigl(\sec^2 x-1\bigr) \, dx=\int_0^{\pi/4}\tan^{n-2}x\sec^2 x \, dx-J_{n-2}.

Let $u=\tan x$ , so $du=\sec^2 x \, dx$ . The limits change from $x=0$ to $x=\frac{\pi}{4}$ into $u=0$ to $u=1$ . Then

J_n=\int_0^1 u^{n-2} \, du-J_{n-2}=\biggl[\frac{u^{n-1}}{n-1}\biggr]_0^1-J_{n-2}=\frac{1}{n-1}-J_{n-2}

for $n\ge 2$ .

[1]:Tangent powers on $\bigl[0,\frac{\pi}{4}\bigr]$

Integrate by parts with $u=\tan^{n-1}\theta$ and $\frac{dv}{d\theta}=\tan\theta\sec\theta$ , so $du=(n-1)\tan^{n-2}\theta\sec^2\theta \, d\theta$ and $v=\sec\theta$ . Then

K_n=\bigl[\tan^{n-1}\theta\sec\theta\bigr]_0^{\pi/4}-(n-1)\int_0^{\pi/4}\tan^{n-2}\theta\sec^3\theta \, d\theta.

The boundary term is $\sqrt{2}$ . Replace $\sec^2\theta=1+\tan^2\theta$ in the remaining integral:

\begin{aligned} K_n&=\sqrt{2}-(n-1)\int_0^{\pi/4}\tan^{n-2}\theta\bigl(1+\tan^2\theta\bigr)\sec\theta \, d\theta \\ &=\sqrt{2}-(n-1)\bigl(K_{n-2}+K_n\bigr). \end{aligned}

Collecting the $K_n$ terms gives $nK_n=\sqrt{2}-(n-1)K_{n-2}$ , so

K_n=\frac{1}{n}\bigl(\sqrt{2}-(n-1)K_{n-2}\bigr),\qquad n\ge 2.

[1]:Tangent powers times secant

Assume $m\ge 2$ . Integrate by parts with $u=\cos^{m-1}x$ and $dv=\cos x\sin^n x \, dx$ , so $du=-(m-1)\cos^{m-2}x\sin x \, dx$ and $v=\frac{\sin^{n+1}x}{n+1}$ . Then

I_{m,n}=\biggl[\frac{\cos^{m-1}x\sin^{n+1}x}{n+1}\biggr]_0^{\pi/2}+\frac{m-1}{n+1}\int_0^{\pi/2}\cos^{m-2}x\sin^{n+2}x \, dx.

The boundary term is $0$ . Replace $\sin^2 x=1-\cos^2 x$ :

\begin{aligned} I_{m,n}&=\frac{m-1}{n+1}\int_0^{\pi/2}\cos^{m-2}x\sin^n x\bigl(1-\cos^2 x\bigr) \, dx \\ &=\frac{m-1}{n+1}\bigl(I_{m-2,n}-I_{m,n}\bigr). \end{aligned}

Hence $\frac{m+n}{n+1} I_{m,n}=\frac{m-1}{n+1} I_{m-2,n}$ and therefore

I_{m,n}=\frac{m-1}{m+n} I_{m-2,n}.

For $n\ge 2$ reverse the roles. Take $u=\sin^{n-1}x$ and $dv=\sin x\cos^m x\,dx$ , so $v=-\frac{\cos^{m+1}x}{m+1}$ . The boundary term vanishes and $\cos^2x=1-\sin^2x$ gives

I_{m,n}=\frac{n-1}{m+1}\bigl(I_{m,n-2}-I_{m,n}\bigr).

Rearranging this equation yields $I_{m,n}=\frac{n-1}{m+n}I_{m,n-2}$ .

[1]:A two-parameter recurrence

Proofs from Reduction formulae