Función primitiva

En cálculo infinitesimal, la función primitiva o antiderivada de una función f es una función F cuya derivada es f, es decir, F ′ = f.

Una condición suficiente para que una función f admita primitivas sobre un intervalo es que sea continua en dicho intervalo.

Si una función f admite una primitiva sobre un intervalo, admite una infinidad, que difieren entre sí en una constante: si F₁ y F₂ son dos primitivas de f, entonces existe un número real C, tal que F₁ = F₂ + C. A C se le conoce como constante de integración. Como consecuencia, si F es una primitiva de una función f, el conjunto de sus primitivas es F + C. A dicho conjunto se le llama integral indefinida de f y se representa como:

El proceso de hallar la primitiva de una función se conoce como integración indefinida y es por tanto el inverso de la derivación. Las integrales indefinidas están relacionadas con las integrales definidas a través del teorema fundamental del cálculo, y proporcionan un método sencillo de calcular integrales definidas de numerosas funciones.

Una primitiva de la función ${displaystyle scriptstyle f(x)=cos(x)}$ en ${displaystyle scriptstyle mathbb {R} ,}$ es la función ${displaystyle scriptstyle F(x)=sin(x)}$ ya que:

${displaystyle {frac {d}{dx}}(sin(x))=cos(x) forall xin mathbb {R} }$

Dado que la derivada de una constante es cero, tendremos que cos(x) tendrá un número infinito de primitivas tales como sin(x), sin(x) + 5, sin(x) - 100, etc. Es más, cualquier primitiva de la función f(x) = cos(x) será de la forma sin(x) + C donde C es una constante conocida como constante de integración.

La derivada de cualquier función constante es cero. Una vez que se ha encontrado una primitiva F, si se le suma o resta una constante C, se obtiene otra primitiva. Esto ocurre porque (F + C) ' = F ' + C ' = F ' + 0 = F '. La constante es una manera de expresar que cada función tiene un número infinito de primitivas diferentes.

Para interpretar el significado de la constante de integración se puede observar el hecho de que la función f (x) es la derivada de otra función F (x), es decir, que para cada valor de x, f (x) le asigna la pendiente de F (x). Si se dibuja en cada punto (x, y) del plano cartesiano un pequeño segmento con pendiente f (x), se obtiene un campo vectorial como el que se representa en la figura de la derecha. Entonces el problema de encontrar una función F (x) tal que su derivada sea la función f (x) se convierte en el problema de encontrar una función de la gráfica de la cual, en todos los puntos sea tangente a los vectores del campo. En la figura de la derecha se observa como al variar la constante de integración se obtienen diversas funciones que cumplen esta condición y son traslaciones verticales unas de otras.

La primitiva es lineal, es decir:

La linealidad se puede expresar como sigue:

En efecto, como se ve en la figura siguiente, las áreas antes y después de cero son opuestas, lo que implica que la integral entre -a y a es nula, lo que se escribe así: F(a) - F(-a) = 0, F siendo una primitiva de f, impar. Por lo tanto siempre tenemos F(-a) = F(a): F es par.

En efecto, según la figura, las áreas antes y después de cero son iguales, lo que se escribe con la siguiente igualdad de integrales:

Es decir F(0) - F(-a) = F(a) - F(0). Si F(0) = 0, F(-a) = - F(a): F es impar.

Para probarlo, hay que constatar que el área bajo una curva de una función periódica, entre las abcisas x y x + T (T es el período) es constante es decir no depende de x. La figura siguiente muestra tres áreas iguales. Se puede mostrar utilizando la periodicidad y la relación de Chasles, o sencillamente ¡con unas tijeras! (cortando y superponiendo las áreas de color).

En término de primitiva, significa que F(x + T) - F(x) es una constante, que se puede llamar A. Entonces la función G(x) = F(x) - Ax/T es periódica de período T. En efecto G(x + T) = F(x + T) - A(x + T)/T = F(x) + A - Ax/T - AT/T = F(x) - Ax/T = G(x). Por consiguiente F(x) = G(x) + Ax/T es la suma de G, periódica, y de Ax/T, lineal.

Para simplificar, se impone f(0) = 0; a es un número cualquiera del dominio de f. Entonces tenemos la relación:

El área morada es la integral de f, el área amarilla es la de f ^-1, y la suma es el rectángulo cuyos costados miden a y f(a) (valores algebraicos). Se pasa de la primera curva, la de f, a la segunda, la de f ^-1 aplicando la simetría axial alrededor de la diagonal y = x.

El interés de esta fórmula es permitir el cálculo de la integral de f ^-1 sin conocer una primitiva; de hecho, ni hace falta conocer la expresión de la Función inversa.

Cualquier función continua sobre ${displaystyle f:mathbb {R} o mathbb {R} ^{n}}$ admite localmente una antiderivada o primitiva. Sin embargo en espacios de dimensión finita la continuidad no garantiza la existencia de antiderivadas. Una condición suficiente de existencia de antiderivadas es que la imagen pertenezca a un espacio vectorial conveniente, también llamado ${displaystyle scriptstyle c^{infty }}$-completo. La propiedad definitoria de dichos espacios es que toda función ${displaystyle f:mathbb {R} o E}$ con ${displaystyle fin C^{infty }(mathbb {R} ,E)}$ admite una función primitiva. Si el espacio no es ${displaystyle scriptstyle c^{infty }}$-completo la continuidad o incluso la suavidad de una función no garantiza la existencia de antiderivadas.

Para encontrar una primitiva de una función dada, basta con descomponerla (escribirla bajo forma de una combinación lineal) en funciones elementales cuyas primitivas son conocidas o se pueden obtener leyendo al revés una tabla de derivadas, y luego aplicar la linealidad de la integral:

Aquí están las principales funciones primitivas:

Por ejemplo, busquemos una primitiva de x → x(2-3x). Como no se conocen primitivas de un producto, desarrollemos la expresión: x(2-3x)= 2x - 3x². 2x es la derivada de x², 3x² es la de x³, por lo tanto 2x - 3x² tiene como primitiva x² - x³ + k. Si además se pide que la primitiva verifique una condición F(x₀) = y₀ (que recibe el nombre de condición inicial cuando se trata de un problema de física), entonces la constante k es unívocamente determinada. En el ejemplo, si se impone F(2) = 3, entonces forzosamente k = 7.

Tenemos varios métodos a nuestra disposición:

---