Una antiderivada de una función (a veces llamada antiderivada o función primitiva ) es una función cuya derivada es . Este es uno de los conceptos más importantes del análisis matemático de una variable real (también hay generalizaciones de este concepto para funciones complejas [1] ).
Una antiderivada para una función dada se llama [2] una función cuya derivada es (sobre todo el dominio de definición ), es decir, . Encontrar la antiderivada es una operación inversa a la diferenciación : esta última encuentra su derivada con respecto a una función dada, y habiendo encontrado la antiderivada, nosotros, por el contrario, determinamos la función original con una derivada dada.
Las antiderivadas son importantes porque te permiten calcular ciertas integrales . Si es la antiderivada de una función continua integrable , entonces:
Esta relación se llama fórmula de Newton-Leibniz .
Técnicamente, encontrar la antiderivada es calcular la integral indefinida para , y el proceso en sí se llama integración . Para la aplicación de esta teoría a la geometría, vea cálculo integral .
Ejemplo: la función es antiderivada para porque
Si es una antiderivada de , entonces cualquier función que se obtenga sumando la constante : también es una antiderivada de . Así, si una función tiene antiderivada, entonces se incluye en toda la familia de antiderivadas [2] , que se llama integral indefinida y se escribe como integral sin límites:
Lo contrario también es cierto: si es la antiderivada de , y la función está definida en algún intervalo , entonces cada antiderivada difiere de por una constante: siempre existe un número tal que para todo . Las gráficas de tales antiderivadas se desplazan verticalmente entre sí, y su posición depende del valor. El número se llama constante de integración .
Por ejemplo, la familia de antiderivadas de una función tiene la forma: , donde es cualquier número.
Si el dominio de una función no es un intervalo continuo, entonces sus antiderivadas no tienen por qué diferir en una constante [3] . Así, por ejemplo, la función no existe en cero, por lo que su dominio de definición consta de dos intervalos: y En consecuencia, en estos intervalos se obtienen dos familias independientes de antiderivadas: , donde es una constante en y, en general, otra constante en :
Cada función continua tiene una antiderivada , una de las cuales se representa como una integral de con un límite superior variable:
También hay funciones no continuas (discontinuas) que tienen una antiderivada. Por ejemplo, c no es continua en , pero tiene una antiderivada con . Para funciones acotadas discontinuas, es conveniente usar la integral de Lebesgue más general en lugar de la integral de Riemann . Las condiciones necesarias para la existencia de la antiderivada son que la función pertenezca a la primera clase de Baire y que se cumpla para ella la propiedad de Darboux [2] .
Muchas antiderivadas, aunque existen, no se pueden expresar en términos de funciones elementales (es decir, en términos de polinomios , funciones exponenciales , logaritmos , funciones trigonométricas , funciones trigonométricas inversas y combinaciones de estas). Por ejemplo:
.Para tales funciones, la integral de las mismas, si existe, puede calcularse aproximadamente mediante integración numérica .
Encontrar antiderivadas es mucho más difícil que encontrar derivadas. Hay varios métodos para esto: