7.1 7.1 Definición y propiedades
ci-7-1-1 7.1 Definición y propiedades
En el análisis matemático, el problema del cálculo de primitivas constituye la operación inversa exacta de la derivación.
Dada una función continua \( f: I \to \mathbb{R} \), nos planteamos determinar una nueva función derivable \( F: I \to \mathbb{R} \) cuya derivada coincida idénticamente con \( f(x) \) en todo punto del intervalo \( I \):
A toda función \( F \) que satisface esta ecuación diferencial básica se la denomina función primitiva o antiderivada de \( f \)
Como consecuencia directa del Teorema del Valor Medio de Lagrange, si dos funciones derivables \( F_1(x) \) y \( F_2(x) \) tienen la misma derivada en un intervalo conexo \( I \), entonces su diferencia es forzosamente constante:
Por consiguiente, si se conoce una primitiva particular \( F(x) \), el conjunto completo de todas las infinitas primitivas de \( f(x) \) viene dado por la familia uniparamétrica:
donde el símbolo \( \int \) es el signo de integración, \( f(x) \) es la función integrando, \( dx \) indica la variable respecto a la cual se integra, y \( C \) es la constante de integración arbitraria.
Para la función potencial simple \( f(x) = 3x^2 \), sabemos que \( \frac{d}{dx}[x^3] = 3x^2 \)
Por tanto, una primitiva es \( F(x) = x^3 \), y su integral indefinida completa es la familia de curvas cúbicas desplazadas verticalmente:
La integración indefinida es un operador lineal sobre el espacio vectorial de las funciones continuas, satisfaciendo dos propiedades fundamentales:
1. Homogeneidad respecto al producto por escalares: La integral del producto de una constante real \( k \in \mathbb{R} \) por una función es igual a la constante multiplicada por la integral de la función:
Para integrar \( \int 7 e^x \, dx \), extraemos la constante multiplicativa del integrando:
2. Aditividad respecto a la suma: La integral de la suma o resta de dos funciones integrables es igual a la suma o resta de sus respectivas integrales indefinidas:
Para la función compuesta por suma de trigonometría y potencia \( f(x) = \cos x + 4x^3 \):
Tabla de Primitivas Inmediatas Fundamentales:
Invertir directamente la tabla de derivadas de las funciones elementales permite construir la tabla básica de integración:
Función potencial ($$ \alpha \neq -1 $$)
Para \( \alpha = \frac{1}{2} \), $$ \int \sqrt{x} \, dx = \int x^{1/2} \, dx = \frac{x^{3/2}}{3/2} + C = \frac{2}{3} x\sqrt{x} + C $$
Función logarítmica ($$ \alpha = -1 $$)
El valor absoluto es obligatorio porque el dominio de la función inversa \( \frac{1}{x} \) es \( \mathbb{R} \setminus \{0\} \), extendiendo la primitiva al semiplano negativo.
Funciones exponenciales
Para \( a = 3 \), \( \int 3^x \, dx = \frac{3^x}{\ln 3} + C \)
Funciones trigonométricas directas
Funciones trigonométricas inversas
Para \( \int \frac{1}{9 + x^2} \, dx \), factorizamos el 9:
Funciones hiperbólicas
A continuación presentamos cinco problemas prácticos avanzados con resolución completa paso a paso:
Analizamos la estructura del integrando.
Observamos que el radicando del denominador es un polinomio de tercer grado \( g(x) = 2x^3 + 2x^2 + x + 7 \)
Calculamos su derivada ordinaria:
Comprobamos que el numerador del integrando coincide con la derivada exacta del radicando.
Reescribimos la integral en la forma potencial generalizada \( \int [g(x)]^\alpha g'(x) \, dx \) con exponente fraccionario negativo \( \alpha = -\frac{1}{2} \):
Aplicamos la regla de integración de potencias compuestas $$ \int [g(x)]^\alpha g'(x) \, dx = \frac{[g(x)]^{\alpha+1}}{\alpha+1} + C $$:
Multiplicar por el inverso de un medio equivale a multiplicar por dos:
La primitiva es \( 2\sqrt{2x^3 + 2x^2 + x + 7} + C \), verificable inmediatamente por derivación mediante la regla de la cadena.
Observamos que \( \tan^2 x \) no es una derivada elemental directa de la tabla inmediata.
Sin embargo, recordamos la identidad pitagórica fundamental que relaciona la tangente con la secante:
Sustituimos esta expresión en la integral indefinida y aplicamos la propiedad de aditividad y linealidad del operador integral:
Integramos cada sumando elemental:
- La derivada de la tangente es la secante al cuadrado: \( \int \sec^2 x \, dx = \tan x \)
- La integral de la unidad es la variable lineal: \( \int 1 \, dx = x \)
Combinamos los resultados añadiendo la constante arbitraria \( C \in \mathbb{R} \):
La función primitiva buscada es \( \tan x - x + C \)
El denominador consta de un único monomio exponencial \( e^x \). Descomponemos algebraicamente la fracción dividiendo término a término cada sumando del numerador entre el denominador:
Aplicamos las leyes de los exponentes para simplificar cada cociente (\( \frac{e^a}{e^b} = e^{a-b} \)):
Integramos término a término aplicando la linealidad y las primitivas exponenciales inmediatas:
Calculamos cada término:
- \( \int e^{2x} \, dx = \frac{1}{2}e^{2x} \)
- \( 4\int e^x \, dx = 4e^x \)
- \( -2\int 1 \, dx = -2x \)
- \( 5\int e^{-x} \, dx = 5(-e^{-x}) = -5e^{-x} \)
Unificamos el resultado:
La integral indefinida es \( \frac{1}{2}e^{2x} + 4e^x - 2x - 5e^{-x} + C \)
Comparamos los grados de los polinomios.
El numerador tiene grado 4 y el denominador grado 2. Como el grado del numerador es mayor o igual que el del denominador, realizamos la división euclídea de polinomios o utilizamos el artificio algebraico de sumar y restar 1:
Dividimos entre el denominador común \( x^2 + 1 \):
Integramos la suma resultante aplicando la linealidad:
Resolvemos cada una de las integrales inmediatas:
- \( \int x^2 \, dx = \frac{x^3}{3} \)
- \( \int 1 \, dx = x \)
- \( \int \frac{1}{x^2 + 1} \, dx = \arctan x \)
Sumando las tres primitivas obtenemos:
La primitiva general de la función es \( \frac{x^3}{3} - x + \arctan x + C \)
que satisface la condición inicial puntual \( F(0) = 5 \)
Hallamos en primer lugar la familia general de todas las primitivas calculando la integral indefinida \( \int f(x) \, dx \):
Separamos por linealidad en tres integrales inmediatas:
Calculamos cada término:
- \( 4 \int \frac{1}{1 + x^2} \, dx = 4 \arctan x \)
- \( 3 \int \cos(u) \, du = 3 \sin(2x) \) donde \( u = 2x, du = 2dx \)
- \( \int (-3e^{-3x}) \, dx = e^{-3x} \) ya que \( \frac{d}{dx}[e^{-3x}] = -3e^{-3x} \)
Por tanto, la familia de primitivas con la constante genérica \( C \) es:
Imponemos la condición inicial dada en el enunciado \( F(0) = 5 \) para aislar el valor numérico exacto de la constante \( C \):
Evaluamos los valores numéricos:
- \( \arctan(0) = 0 \implies 4(0) = 0 \)
- \( \sin(0) = 0 \implies 3(0) = 0 \)
- \( e^0 = 1 \)
Sustituyendo:
Escribimos la primitiva particular reemplazando la constante encontrada \( C = 4 \):
La única función primitiva que satisface la condición de contorno inicial dada es \( F(x) = 4\arctan x + 3\sin(2x) + e^{-3x} + 4 \)