Aplicando la sustitución $$s = \sqrt{2} \sin x, \qquad ds = \sqrt{2} \cos x \,dx $$ (que hasta una constante es la que usted sugiere), obtenemos $$\require{cancel} \int_0^{\pi / 4} (\cos 2x)^{11 / 2} \cos x \,dx = \frac{1}{\sqrt{2}} \int_0^1 (1 - s^2)^{11 / 2} ds.$$
Utilizando la integración por partes, podemos reescribir la integral en $u$ en términos de una integral idéntica con un exponente menor: Para un exponente general $\alpha \neq 0$ , tomando $$u = (1 - s^2)^{\alpha}, \qquad dv = ds$$ da $$\color{#00af00}{\int} \underbrace{\color{#00af00}{(1 - s^2)^{\alpha}}}_u \underbrace{\color{#00af00}{ds}}_{dv} = \underbrace{(1 - 2s^2)^{\alpha}}_u \underbrace{s}_v - \int \underbrace{s}_v \cdot \underbrace{\alpha (1 - s^2)^{\alpha - 1} \cdot (-2s) \,ds}_{du}.$$ Una manipulación (poco inteligente) de la integral sobre la H.R. da como resultado $$\color{#00af00}{\int (1 - s^2)^{\alpha} ds} = s (1 - s^2)^{\alpha} - 2 \alpha \color{#00af00}{\int (1 - s^2)^{\alpha} ds} + 2 \alpha \int (1 - s^2)^{\alpha - 1} ds ,$$ y resolviendo nuestra integral se obtiene fórmula de reducción : $$\boxed{\color{#00af00}{\int (1 - s^2)^{\alpha} ds} = \frac{1}{2 \alpha + 1} s (1 - s^2)^{\alpha} + \frac{2 \alpha}{2 \alpha + 1} \int (1 - s^2)^{\alpha - 1} ds }.$$
Si empezamos con un semi-integro no integral $\frac{2 m - 1}{2}$ aplicando inductivamente esta fórmula $m$ da lugar a una expresión para la antiderivada en la que la única expresión integral que aparece es la conocida $$\int (1 - s^2)^{-1/2} ds = \arcsin s + C.$$ En nuestro caso, sin embargo, sólo necesitamos la integral definida dada, y nuestra expresión se simplifica de forma agradable cuando nos especializamos en nuestros límites: $$ \int_0^1 (1 - s^2)^{\alpha} ds = \cancelto{0}{\left.\frac{1}{2 \alpha + 1} s (1 - s^2)^{\alpha}\right\vert_0^1} + \frac{2 \alpha}{2 \alpha + 1} \int_0^1 (1 - s^2)^{\alpha - 1} ds , $$ o un poco más legible, $$ \phantom{(\ast)} \qquad \int_0^1 (1 - s^2)^{\alpha} ds = \frac{2 \alpha}{2 \alpha + 1} \int_0^1 (1 - s^2)^{\alpha - 1} ds. \qquad (\ast)$$
Tomando $\alpha = \frac{11}{2}$ en $(\ast)$ da $$\int_0^1 (1 - s^2)^{11 / 2} dt = \frac{11}{12} \int_0^1 (1 - s^2)^{9 / 2} ds,$$ y la integral en el s.a. es simplemente la integral en el s.a. de la fórmula de reducción con $\alpha = \frac{9}{2}$ . Procediendo de forma inductiva se obtiene $$\int_0^1 (1 - s^2)^{11 / 2} dt = \frac{11}{12} \cdot \frac{9}{10} \cdot \frac{7}{8} \cdot \frac{5}{6} \cdot \frac{3}{4} \cdot \frac{1}{2} \cdot \int_0^1 (1 - s^2)^{-1 / 2} ds.$$ La integral sobre la H.R. es $$\int_0^1 (1 - s^2)^{-1 / 2} ds = \left.\arcsin s \right\vert_0^1 = \frac{\pi}{2} .$$ (Como alternativa, deteniéndose un paso antes se obtiene la integral $\int_0^{1} \sqrt{1 - s^2} \,ds$ pero esto es sólo una cuarta parte del área de un círculo unitario, o $\frac{\pi}{4}$ .) Ahora, juntando todo (y recordando el factor de $\frac{1}{\sqrt{2}}$ introducido por un cambio de variable a $s$ ) da $$\color{#df0000}{\boxed{\int_0^{\pi / 4} (\cos 2x)^{11 / 2} \cos x \,dx = \frac{1}{\sqrt{2}} \cdot \frac{11}{12} \cdot \frac{9}{10} \cdot \frac{7}{8} \cdot \frac{5}{6} \cdot \frac{3}{4} \cdot \frac{1}{2} \cdot \frac{\pi}{2} = \frac{231 \pi}{2048 \sqrt{2}}}}.$$
Nota: Un argumento de inducción en la misma línea da el resultado general $$\int_0^1 (1 - s^2)^{(2m - 1) / 2} ds = \frac{1}{4^m}{{2m}\choose{m}} \cdot \frac{\pi}{2} .$$
Es interesante, $$\frac{1}{4^m}{{2m}\choose{m}}$$ es a la vez
- el coeficiente de $r^m$ en la serie Maclaurin para $\frac{1}{\sqrt{1 - r^2}}$ ,
- la probabilidad de obtener cara exactamente la mitad de las veces al lanzar una moneda $2 m$ tiempos,
cualquiera de los cuales puede indicar una forma más sencilla de manejar esta familia de integrales.
1 votos
Los cálculos son muy largos: Pero si aplicamos sucesivamente la integración por partes podemos reducir la integral a $(1-2t^2)^{\frac{-1}{2}}$ que le da un $\arcsin(\sqrt 2 t)$
2 votos
@Elaqqad. Apuesto a que tedioso es un eufemismo.