Integrales Definición Formal, Explicación, y Función Primitiva

Significado: ¿A qué responde una integral?
Es el valor numérico que se le asigna a una función para cuantificar el área (o volumen, o medida análoga) comprendida entre la función y un subconjunto de su dominio, y cuya definición matemática formal, que analizamos en este texto, es tan elegante y precisa como inútil cuando lo encontramos por primera vez.
Para ilustrarlo un poco mejor, supongamos que queremos pintar una pared y tenemos que comprar la pintura. Si la pared es rectangular, entonces es fácil: multiplicamos la medida de la base por la altura y obtenemos el área, pero ¿qué pasa cuando el techo está inclinado o tiene un arco y por lo tanto la pared es irregular? Si conociéramos la función que describe el borde entre la pared y el techo, podríamos calcular el área bajo la curva (ver Figura 1), y aunque su uso es principalmente otro que la pinturería, esto describe el concepto de integración.

La integral explicada de acuerdo a su definición formal
Reconociendo su objetivo, que consiste en calcular el área bajo una curva, ¿cómo lo hacemos? Si sabemos calcular el área de un rectángulo, podemos aprovecharlo. Si llenamos de rectángulos el espacio bajo la curva, como se ve en la Figura 2A, y sumamos las áreas, entonces podemos tener una idea aproximada del área de la curva. Esta aproximación puede parecer mala, ¡y lo es! Pero puede mejorarse si utilizamos rectángulos más chicos, como en la Figura 2B, donde se ve que queda menos área sin cubrir. La idea detrás de la definición formal de integral es entonces generar una partición con rectángulos cada vez más chicos y tomar el límite de esa área a medida que la partición se hace más fina.

Consideremos entonces una función y un intervalo no vacío [a, b] y una partición
, donde
, [/latex]x_N = b[/latex] y Δ es la longitud del intervalo más grande. Entonces, la suma de las áreas de los rectángulos en la Figura 3L puede escribirse como

De manera análoga, si nos «pasamos con la pintura», podemos definir nuestros rectángulos de forma que aproximen a nuestra función por encima, como en la Figura 3U. Definimos así la suma superior
La integral (de Riemann) de f en [a,b] se define formalmente entonces como si -y sólo sí-
Es decir, que una función es integrable en un subconjunto de su dominio si las sumas superiores y las sumas inferiores
convergen al mismo número a medida que la partición
se afina. Esta no es la única manera de definir una integral, pero es quizás la más intuitiva. Cabe destacar que la noción de integral es extensiva a funciones con dominios más intrincados que
, pero la idea básica se mantiene.
Función primitiva para calcular la integral
En la práctica no vamos a ponernos a calcular el límite de las sumas de las áreas de los rectángulos cada vez que necesitemos conocer una integral, tal como lo expone su definición formal. Por lo tanto, para hacer esto más fácil, podemos introducir el concepto de función primitiva, denotada a menudo como o
. Una función primitiva (también llamada \emph{antiderivada}) cumple la propiedad:
Es decir, que si conocemos la primitiva de una función, podemos calcular su integral, y afortunadamente muchas de las funciones que usamos regularmente tienen una función primitiva. Por ejemplo, si f(x) = x, entonces (donde c es una constante), o si
, entonces
.
Finalmente, cabe mencionar la relación entre el concepto de función primitiva y derivada, que se conoce como Teorema Fundamental del Cálculo, que en pocas palabras establece que
donde denota derivada con respecto a x. Esto quiere decir que integral y derivada son en algún sentido antagónicas, o bien que f(x) es la derivada de F(x) si -y sólo sí- F(x) es una primitiva de f(x).
