7.2 7.2 Métodos de resolución de primitivas
ci-7-2-1 7.2 Métodos de resolución de primitivas
Cuando una función integrando no se corresponde de forma directa con una derivada elemental inmediata, es preciso recurrir a métodos sistemáticos de transformación que reduzcan la complejidad del problema a integrales elementales ya tabuladas.
Método de Integración por Partes
El método de integración por partes se deduce directamente de la regla de derivación del producto de dos funciones derivables \( u(x) \) y \( v(x) \):
Integrando ambos miembros respecto a \( x \) y reordenando términos se obtiene la clásica fórmula de integración por partes:
donde \( du = u'(x) \, dx \) y \( v = \int dv = \int v'(x) \, dx \)
Para elegir adecuadamente qué factor asignar a \( u \) se sigue la regla jerárquica ALPES (o LIATE):
Arco-funciones / Logarítmicas / Polinómicas (algebraicas) / Exponenciales / Senoidales (trigonométricas).
El factor que aparezca antes en esta lista se elige preferentemente como \( u \), pues su derivada simplifica la expresión.
Para calcular \( \int x e^x \, dx \), según ALPES elegimos el polinomio como \( u \) y la exponencial como \( dv \):
- \( u = x \implies du = dx \)
- \( dv = e^x dx \implies v = e^x \)
Aplicando la fórmula:
Método de Cambio de Variable (Sustitución)
Este método se fundamenta en la inversión de la regla de la cadena para funciones compuestas.
Si realizamos la sustitución formal \( x = g(t) \) donde \( g \) es una función biyectiva y continuamente derivable con diferencial \( dx = g'(t) \, dt \), la integral se transforma en:
De modo inverso, si detectamos en el integrando la presencia de una función interna \( u = \varphi(x) \) junto con su derivada \( du = \varphi'(x) \, dx \):
Para calcular \( \int 2x \cos(x^2) \, dx \), tomamos \( u = x^2 \implies du = 2x \, dx \):
Integración de Funciones Racionales (Fracciones Simples)
Dada una función racional \( \frac{P(x)}{Q(x)} \) irreducible.
Si \( \text{grado}(P) \ge \text{grado}(Q) \), se divide euclídeamente primero \( \frac{P(x)}{Q(x)} = C(x) + \frac{R(x)}{Q(x)} \)
Para el cociente propio \( \frac{R(x)}{Q(x)} \), se factoriza el polinomio denominador \( Q(x) \) en el cuerpo real \( \mathbb{R} \) en factores lineales \( (x - a) \) y cuadráticos irreducibles \( (x^2 + px + q) \):
- Factores lineales simples \( (x - a) \): originan fracciones del tipo \( \frac{A}{x - a} \), cuya integral es un logaritmo \( A \ln|x - a| \)
- Factores lineales múltiples \( (x - a)^k \): originan términos $$ \frac{A_1}{x - a} + \dots + \frac{A_k}{(x - a)^k} $$, que se integran como potencias elementales.
- Factores cuadráticos irreducibles \( (x^2 + px + q) \) con \( p^2 - 4q < 0 \): originan fracciones del tipo \( \frac{Mx + N}{x^2 + px + q} \), que se descomponen en la suma de un logaritmo neperiano (asociado a la derivada del denominador) y un arco tangente (completando cuadrados).
Para \( \int \frac{1}{x^2 - 4} \, dx \), factorizamos el denominador \( (x - 2)(x + 2) \):
Para $$ x = 2 \implies 1 = 4A \implies A = \frac{1}{4} $$
Para $$ x = -2 \implies 1 = -4B \implies B = -\frac{1}{4} $$
Por tanto:
Integrales Trigonométricas
- Potencias de seno y coseno \( \int \sin^m x \cos^n x \, dx \):
- Si al menos un exponente es impar (por ejemplo \( m = 2k + 1 \)), se separa un factor \( \sin x \, dx \), se expresa el resto en cosenos mediante \( \sin^2 x = 1 - \cos^2 x \), y se hace la sustitución \( u = \cos x \)
- Si ambos exponentes son pares, se reduce el grado empleando las identidades del ángulo doble:
- Cambio universal de la tangente del semiángulo (\( t = \tan(x/2) \)): transforma cualquier función racional en seno y coseno en una función puramente algebraica:
Para \( \int \sin^3 x \, dx \):
Haciendo \( u = \cos x \implies du = -\sin x \, dx \):
Sustituciones Trigonométricas para Radicales Cuadráticos
Para eliminar raíces de la forma \( \sqrt{a^2 - x^2} \), \( \sqrt{a^2 + x^2} \) y \( \sqrt{x^2 - a^2} \):
- Para \( \sqrt{a^2 - x^2} \): hacer $$ x = a \sin\theta \implies dx = a \cos\theta \, d\theta $$
- Para \( \sqrt{a^2 + x^2} \): hacer $$ x = a \tan\theta \implies dx = a \sec^2\theta \, d\theta $$
- Para \( \sqrt{x^2 - a^2} \): hacer $$ x = a \sec\theta \implies dx = a \sec\theta \tan\theta \, d\theta $$
A continuación resolvemos cinco problemas prácticos avanzados con desglose minucioso:
Aplicamos por primera vez la integración por partes.
Siguiendo la regla ALPES, elegimos la función trigonométrica como \( u \) y la exponencial como \( dv \):
- \( u = \sin(3x) \implies du = 3\cos(3x) \, dx \)
- $$ dv = e^{2x} \, dx \implies v = \frac{1}{2}e^{2x} $$
Sustituyendo en la fórmula de partes:
Aplicamos por segunda vez la integración por partes a la nueva integral \( J = \int e^{2x}\cos(3x) \, dx \) manteniendo la misma coherencia de asignaciones:
- \( u = \cos(3x) \implies du = -3\sin(3x) \, dx \)
- $$ dv = e^{2x} \, dx \implies v = \frac{1}{2}e^{2x} $$
Calculamos \( J \):
Observamos que reaparece la integral original \( I \):
Sustituimos la expresión de \( J \) en la ecuación del
Distribuimos el factor \( -\frac{3}{2} \):
Despejamos algebraicamente la incógnita \( I \) agrupando los términos semejantes en el primer miembro:
Multiplicamos toda la igualdad por el factor inverso \( \frac{4}{13} \):
La integral indefinida cíclica es $$ \frac{e^{2x}}{13} (2\sin(3x) - 3\cos(3x)) + C $$
El grado del numerador es 2 y el del denominador es 3 (\( 1 + 2 = 3 \)), por lo que es una fracción propia irreducible.
Planteamos la descomposición formal en fracciones simples:
Reducimos a común denominador e igualamos los numeradores resultantes:
Determinamos las constantes:
- Para \( x = 1 \):
- Para \( x = 0 \):
- Igualando los coeficientes de \( x^2 \):
Sustituimos las constantes calculadas en la integral:
La primera integral es un logaritmo directo: \( \frac{12}{5}\ln|x - 1| \)
Separamos la segunda integral en parte logarítmica (ajustando la derivada del denominador \( 2x \)) y parte arco tangente:
- Término logarítmico: $$ 3 \cdot \frac{1}{2} \int \frac{2x}{x^2 + 4} \, dx = \frac{3}{2}\ln(x^2 + 4) $$
- Término arco tangente: $$ 28 \cdot \frac{1}{2}\arctan\left(\frac{x}{2}\right) = 14\arctan\left(\frac{x}{2}\right) $$
Unificamos todos los sumandos ponderados por sus respectivos factores:
La primitiva completa es $$ \frac{12}{5}\ln|x - 1| + \frac{3}{10}\ln(x^2 + 4) + \frac{14}{5}\arctan\left(\frac{x}{2}\right) + C $$
Identificamos la estructura \( \sqrt{a^2 - x^2} \) con \( a = 3 \). Planteamos el cambio de variable trigonométrico:
El radical se simplifica notablemente:
Sustituimos en la integral:
Integramos el seno al cuadrado mediante la fórmula del ángulo doble \( \sin^2\theta = \frac{1 - \cos(2\theta)}{2} \):
Usamos la identidad del seno del ángulo doble \( \sin(2\theta) = 2\sin\theta\cos\theta \):
Deshacemos el cambio de variable para regresar a la variable original \( x \):
- Como $$ x = 3\sin\theta \implies \sin\theta = \frac{x}{3} \implies \theta = \arcsin\left(\frac{x}{3}\right) $$
- Además, $$ \cos\theta = \sqrt{1 - \sin^2\theta} = \frac{\sqrt{9 - x^2}}{3} $$
Sustituyendo:
La primitiva es $$ \frac{9}{2}\arcsin\left(\frac{x}{3}\right) - \frac{x\sqrt{9 - x^2}}{2} + C $$
Para eliminar el radical proponemos el cambio de variable algebraico simple:
Sustituimos en la integral:
Sumamos y restamos 1 en el numerador para descomponer la fracción racional impropia:
Integramos inmediatamente respecto a \( u \):
Deshacemos el cambio de variable sustituyendo \( u = \sqrt{x} \):
(Prescindimos del valor absoluto en el argumento del logaritmo porque \( 1 + \sqrt{x} > 0 \) en todo el dominio).
La integral indefinida es \( 2\sqrt{x} - 2\ln(1 + \sqrt{x}) + C \)
Descomponemos el integrando en el producto de dos factores:
Aplicamos integración por partes asignando:
- \( u = \sec x \implies du = \sec x \tan x \, dx \)
- \( dv = \sec^2 x \, dx \implies v = \tan x \)
Aplicamos la fórmula de integración por partes:
Empleamos la identidad trigonométrica \( \tan^2 x = \sec^2 x - 1 \):
Sustituimos de nuevo en la ecuación de \( I \):
Sumamos \( I \) a ambos miembros y recordamos la primitiva elemental de la secante \( \int \sec x \, dx = \ln|\sec x + \tan x| \):
Dividimos entre 2 y añadimos la constante de integración arbitraria:
La integral de la secante cúbica es $$ \frac{1}{2}\sec x \tan x + \frac{1}{2}\ln|\sec x + \tan x| + C $$