En cálculo integral, integración por fórmulas de reducción es un método basado en relaciones de recurrencia. Se utiliza cuando una expresión que contiene un parámetro entero (típicamente en potencias de funciones elementales, productos de funciones trascendentes o polinomios de grado arbitrario) no puede ser integrada directamente.
Encontrar una fórmula de reducción[editar]
La fórmula de reducción puede ser obtenida utilizando los métodos de integración más comunes tales como integración por sustitución, integración por partes, integración por sustitución trigonométrica, integración por fracciones parciales, etc. La idea principal consiste en expresar un integral que contiene un parámetro entero de una función, representado por
, en términos de un integral que involucra un valor más pequeño del parámetro de la función, por ejemplo
o
. Esto hace que la fórmula de reducción sea un tipo de relación de recurrencia. En otras palabras, la fórmula de reducción expresa la integral
![{\displaystyle I_{n}=\int f(x,n)\,{\text{d}}x,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/581ef8838eeb5117b3c98083e8ae95ecc4fa3f92)
en términos de
![{\displaystyle I_{k}=\int f(x,k)\,{\text{d}}x,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/a51a649fbccf19e4871dedb18bec048510e8b2e6)
donde
![{\displaystyle k<n.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/3683c640b701bba9563f0497ddae90153a393d98)
Evaluar la integral[editar]
Para evaluar la integral, comenzamos por nombrar la integral como
y utilizamos la fórmula de reducción para expresarla en términos de
o
. El índice más pequeño de
puede ser usado para calcular índices más altos de
; el proceso se repite hasta que se alcanza un punto donde la función a ser integrada puede ser evaluada. Para terminar, “sustituimos hacia atrás” los resultados anteriores para poder evaluar
.[1]
Abajo se muestran ejemplos del procedimiento.
Integral del coseno[editar]
Típicamente, integrales como
![{\displaystyle \int \cos ^{n}(x)\,dx}](https://wikimedia.org/api/rest_v1/media/math/render/svg/58e536f3ea5f4877801de518cdd63331a0e1db48)
pueden ser evaluadas por una fórmula de reducción.
Empezamos por nombrar:
![{\displaystyle I_{n}=\int \cos ^{n}(x)\,dx.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/61c515264677c01ffd02f1395379cf0eedd929ba)
la reescribimos como
![{\displaystyle I_{n}=\int \cos ^{n-1}(x)\cos(x)\,dx}](https://wikimedia.org/api/rest_v1/media/math/render/svg/24da10067b72432fae5ebd84d103156fd3a90dbe)
integrando por la sustitución:
![{\displaystyle \cos x\,dx=d(\operatorname {sen} x)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/05c42f8e55729bdddc352dfbf8c728736c3bd5aa)
![{\displaystyle I_{n}=\int \cos ^{n-1}(x)\,d(\operatorname {sen} x)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/b8558f7ae363a35adf04a47e20cae595b49ddde5)
integrando por partes:
![{\displaystyle {\begin{aligned}\int \cos ^{n}(x)\,dx&=\cos ^{n-1}(x)\operatorname {sen} x-\int \operatorname {sen} x\,d(\cos ^{n-1}(x))\\&=\cos ^{n-1}(x)\operatorname {sen} x+(n-1)\int \operatorname {sen} x\cos ^{n-2}(x)\operatorname {sen} x\,dx\\&=\cos ^{n-1}(x)\operatorname {sen} x+(n-1)\int \cos ^{n-2}(x)\operatorname {sen} ^{2}(x)\,dx\\&=\cos ^{n-1}(x)\operatorname {sen} x+(n-1)\int \cos ^{n-2}(x)(1-\cos ^{2}(x))\,dx\\&=\cos ^{n-1}(x)\operatorname {sen} x+(n-1)\int \cos ^{n-2}(x)\,dx-(n-1)\int \cos ^{n}(x)\,dx\\&=\cos ^{n-1}(x)\operatorname {sen} x+(n-1)I_{n-2}-(n-1)I_{n},\end{aligned}}\,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/f4228f3e2d923e5467352283a61eda671e9541c8)
resolviendo para
![{\displaystyle {\begin{aligned}&I_{n}+(n-1)I_{n}=\cos ^{n-1}(x)\operatorname {sen} x+(n-1)I_{n-2}\\&nI_{n}\ =\cos ^{n-1}(x)\operatorname {sen} x\ +(n-1)I_{n-2}\\&I_{n}\ ={\frac {1}{n}}\cos ^{n-1}(x)\operatorname {sen} x\ +{\frac {n-1}{n}}I_{n-2}\end{aligned}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/0126b8cdbef7118f493a6ff07ff6be52f332a05f)
por lo que la fórmula de reducción es:
![{\displaystyle \int \cos ^{n}(x)\,dx={\frac {\cos ^{n-1}(x)\operatorname {sen}(x)}{n}}+{\frac {n-1}{n}}\int \cos ^{n-2}(x)\,dx}](https://wikimedia.org/api/rest_v1/media/math/render/svg/ed304334521052ad5bfffcef60e759f49187a333)
Por ejemplo, podemos utilizar la fórmula anterior para evaluar la integral para
;
![{\displaystyle I_{5}=\int \cos ^{5}(x)\,dx}](https://wikimedia.org/api/rest_v1/media/math/render/svg/4c8711d8619fddb3bd485d3c5cc1763b75b74fec)
Calculando los índices
![{\displaystyle n=5,\quad I_{5}={\tfrac {1}{5}}\cos ^{4}x\operatorname {sen} x+{\tfrac {4}{5}}I_{3},\,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/07434a27467d035b240687fded942ee9ac3d6a66)
![{\displaystyle n=3,\quad I_{3}={\tfrac {1}{3}}\cos ^{2}x\operatorname {sen} x+{\tfrac {2}{3}}I_{1},\,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/1a8fa0982dbf970ee44e310f8469d3191a1d32ac)
sustituyendo “hacia atrás”:
![{\displaystyle \because I_{1}\ =\int \cos x\,{\text{d}}x=\operatorname {sen} x+C_{1},\,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/aba8ff8e6eeb00a784543fb29489b4f3795ecac0)
![{\displaystyle \therefore I_{3}\ ={\tfrac {1}{3}}\cos ^{2}x\operatorname {sen} x+{\tfrac {2}{3}}\operatorname {sen} x+C_{2},\quad C_{2}\ ={\tfrac {2}{3}}C_{1},\,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/a92503800e3907dbbddace79617b8ccb89901c3f)
por lo tanto
![{\displaystyle I_{5}=\int \cos ^{5}(x)\;dx={\frac {1}{5}}\cos ^{4}(x)\operatorname {sen} x+{\frac {4}{5}}\left[{\frac {1}{3}}\cos ^{2}(x)\operatorname {sen} x+{\frac {2}{3}}\operatorname {sen} x\right]+C,\,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/1ec92d6c5c81813f3af15348b5037366605bcb7f)
donde
es la constante de integración.
Integral exponencial[editar]
Otro ejemplo típico es:
![{\displaystyle \int x^{n}e^{ax}\;dx}](https://wikimedia.org/api/rest_v1/media/math/render/svg/a7631f241c4173b6a9f2b6e5c18093cce952c5af)
Iniciamos por nombrar:
![{\displaystyle I_{n}=\int x^{n}e^{ax}\,dx}](https://wikimedia.org/api/rest_v1/media/math/render/svg/0d0460a611be300ed4248005dd58b67f1d7b9e3d)
integrando por sustitución:
![{\displaystyle x^{n}\,dx={\frac {d(x^{n+1})}{n+1}},\,\!}](https://wikimedia.org/api/rest_v1/media/math/render/svg/8e6ab2cae535364b4549a209d02d605a7ad7f66d)
![{\displaystyle I_{n}={\frac {1}{n+1}}\int e^{ax}\,d(x^{n+1})}](https://wikimedia.org/api/rest_v1/media/math/render/svg/244264478a93c13ae96d070ebc2f32b7ebaa995c)
Ahora integrando por partes:
![{\displaystyle {\begin{aligned}\int e^{ax}\,d(x^{n+1})&=x^{n+1}e^{ax}-\int x^{n+1}\,d(e^{ax})\\&=x^{n+1}e^{ax}-a\int x^{n+1}e^{ax}\,dx\end{aligned}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/ca03499da8ba7e9b10d55c3b6de5cefa941088f6)
![{\displaystyle (n+1)I_{n}=x^{n+1}e^{ax}-aI_{n+1},\!}](https://wikimedia.org/api/rest_v1/media/math/render/svg/caa8cf0aa89e41e2cf39c5cebc3a0a665fd84fd5)
recorriendo los índices (esto es
y
):
![{\displaystyle nI_{n-1}=x^{n}e^{ax}-aI_{n},\!}](https://wikimedia.org/api/rest_v1/media/math/render/svg/3a10a6e25425170ed8c03f1d0ac2ee355cc26e56)
resolviendo para
:
![{\displaystyle I_{n}={\frac {1}{a}}\left(x^{n}e^{ax}-nI_{n-1}\right),\,\!}](https://wikimedia.org/api/rest_v1/media/math/render/svg/6cdf435fb10c00042406939b4319bb3dd1b4b441)
por lo que la fórmula de reducción es:
![{\displaystyle \int x^{n}e^{ax}\,dx={\frac {1}{a}}\left(x^{n}e^{ax}-n\int x^{n-1}e^{ax}\,dx\right).}](https://wikimedia.org/api/rest_v1/media/math/render/svg/3f71306519cdc800954e299131a625432ff80e6e)
Otra manera en que se pudo obtener la fórmula anterior pudo haber sido sustituyendo en un principio
.
Integración por sustitución:
![{\displaystyle e^{ax}\,dx={\frac {d(e^{ax})}{a}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/c8a7eb7be9fdd52b6830d8a4a21ac82968768be5)
![{\displaystyle I_{n}={\frac {1}{a}}\int x^{n}\,d(e^{ax})}](https://wikimedia.org/api/rest_v1/media/math/render/svg/a2f62637b09db8d8f5b4488bafbeceeb99d2ba6e)
Ahora integrando por partes:
![{\displaystyle {\begin{aligned}\int x^{n}\,d(e^{ax})&=x^{n}e^{ax}-\int e^{ax}\,d(x^{n})\\&=x^{n}e^{ax}-n\int e^{ax}x^{n-1}\,dx,\end{aligned}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/377c82e9a0df0dc323ede6c6abd3e363dfb71455)
que da la fórmula de reducción cuando “sustituye hacia atrás”:
![{\displaystyle I_{n}={\frac {1}{a}}\left(x^{n}e^{ax}-nI_{n-1}\right),\,\!}](https://wikimedia.org/api/rest_v1/media/math/render/svg/6cdf435fb10c00042406939b4319bb3dd1b4b441)
que es equivalente a:
![{\displaystyle \int x^{n}e^{ax}\,dx={\frac {1}{a}}\left(x^{n}e^{ax}-n\int x^{n-1}e^{ax}\,dx\right)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/177791e75b92b3bcfa575a73d5af34ec311e9e0c)
Tablas de fórmulas de reducción integral[editar]
Funciones racionales[editar]
Las siguientes integrales contienen:[2]
- Factores del radical lineal
![{\displaystyle {\sqrt {ax+b}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/b00508bbaabf56667d4efcf205d63c97121928ae)
- Factores lineales
y el radical lineal ![{\displaystyle {\sqrt {ax+b}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/b00508bbaabf56667d4efcf205d63c97121928ae)
- Factores cuadráticos
![{\displaystyle x^{2}+a^{2}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/3ce5318f34c9b7ad8197c59b20472ff6de9f817a)
- Factores cuadráticos
, para ![{\displaystyle x>a}](https://wikimedia.org/api/rest_v1/media/math/render/svg/1eee4914bb66c389a79d6ef84c4dcbffe5c122ab)
- Factores cuadráticos
, para ![{\displaystyle x<a}](https://wikimedia.org/api/rest_v1/media/math/render/svg/6a9dbe6b53fabf100ec2ebb36dcd116e152dd2b5)
- (Irreductible) factores cuadráticos
![{\displaystyle ax^{2}+bx+c}](https://wikimedia.org/api/rest_v1/media/math/render/svg/126c6935d3dd9f1c1da0c388ca2799be4f6f237c)
- Radicales de factores cuadráticos irreductibles
![{\displaystyle {\sqrt {ax^{2}+bx+c}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/11567a8ebd2e19291b9c733b1781fed116483262)
Integral
|
Fórmula de reducción
|
|
|
|
|
|
|
|
|
|
|
Integral
|
Fórmula de reducción
|
|
|
|
|
|
|
Integral
|
Fórmula de reducción
|
|
|
|
|
|
|
Integral
|
Fórmula de reducción
|
|
|
|
|
|
|
Integral
|
Fórmula de reducción
|
|
|
|
|
|
|
Integral
|
Fórmula de reducción
|
|
|
|
|
Nótese que por los leyes de los exponentes:
![{\displaystyle I_{n+{\frac {1}{2}}}=I_{\frac {2n+1}{2}}=\int {\frac {1}{(ax^{2}+bx+c)^{\frac {2n+1}{2}}}}\,{\text{d}}x=\int {\frac {1}{\sqrt {(ax^{2}+bx+c)^{2n+1}}}}\,{\text{d}}x\,\!}](https://wikimedia.org/api/rest_v1/media/math/render/svg/87c7399d39fa646d4afb924740a5bf5a61617ea5)
Funciones trascendentes[editar]
Las siguientes integrales contienen:[2]
- Factores de seno
- Factores de coseno
- Factores de productos o cocientes de seno y coseno
- Cocientes/productos de factores exponenciales y potencias de x
- Productos de exponenciales y factores de seno/coseno
Integral
|
Fórmula de reducción
|
|
|
|
|
|
El formulae puede ser combinado para obtener ecuaciones separadas en En:
Y Jn:
|
|
|
|
|
|
|
|
|
Integral
|
Fórmula de reducción
|
|
|
|
|
|
|
|
|
Integral
|
Fórmula de reducción
|
|
|
|
|
|
|
|
|
Referencias[editar]
- Anton, Bivens, Davis, Cálculo, 7.ª edición.