Clculo integral

El clculo integral, encuadrado en el clculo infinitesimal, es una rama de las matemticas en la

cual se estudia el clculo a partir del proceso de integracin o antiderivacin, es muy comn en
la ingeniera y en la matemtica en general y se utiliza principalmente para el clculo de reas y
volmenes de regiones y slidos de revolucin.
Fue usado por primera vez por cientficos como Arqumedes, Descartes, Newton y Barrow, ste
ltimo fue el que junto con aportes de Newton, crearon el Teorema fundamental del clculo
integral que propone que la derivacin y la integracin son procesos inversos.
Sus principales objetivos a estudiar son:

Integral indefinida
Integral definida
Cambio de variable
Integrales trigonomtricas, logartmicas y exponenciales
Teorema fundamental del clculo
rea de una regin plana
Volumen de un slido de revolucin
Mtodos de integracin
Integrales impropias

Integracin indefinida

El campo vectorial definido asignando a cada punto (x, y) un vector que tiene por pendiente (x)
= (x3/3)-(x2/2)-x. Se muestran tres de las infinitas primitivas de (x) que se pueden obtener
variando la constante de integracin C.
En Clculo la primitiva o antiderivada de una funcin f es una funcin F cuya derivada es f, es
decir, F = f.

Una condicin suficiente para que una funcin f admita primitivas sobre un intervalo es que sea
continua.
Si una funcin f admite una primitiva sobre un intervalo, admite una infinidad, que difieren entre
s en una constante: si F1 y F2 son dos primitivas de f, entonces existe un nmero real C, tal que
F1 = F2 + C. A C se le conoce como constante de integracin. Como consecuencia, si F es una
primitiva de una funcin f, el conjunto de sus primitivas es F + C. A dicho conjunto se le llama
integral indefinida de f y se representa como:

o
El proceso de hallar la primitiva de una funcin se conoce como integracin indefinida y es por
tanto el inverso de la derivacin. Las integrales indefinidas estn relacionadas con las integrales
definidas a travs del teorema fundamental del clculo integral, y proporcionan un mtodo
sencillo de calcular integrales definidas de numerosas funciones.
Contenido

1 Ejemplo
2 Constante de integracin
3 Otras propiedades
o 3.1 Linealidad de la integral indefinida
o 3.2 La primitiva de una funcin impar es siempre par
o 3.3 La primitiva F de una funcin f par es impar con tal de imponerse F(0) = 0
o 3.4 La primitiva de una funcin peridica es la suma de una funcin lineal y de
una funcin peridica
4 Clculo de primitivas
o 4.1 Integrales inmediatas
o 4.2 Mtodos de integracin
5 Enlaces externos

La integral indefinida o primitiva de la funcin f(x) = cos(x) en es la funcin F(x) = sen(x) ya

que sen(x) = cos(x). Dado que la derivada de una constante es cero, tendremos que cos(x)
tendr un nmero infinito de primitivas tales como sen(x), sen(x) + 5, sen(x) - 100, etc. Es ms,
cualquier primitiva de la funcin f(x) = cos(x) ser de la forma sen(x) + C donde C es una
constante.
Constante de integracin
Artculo principal: Constante de integracin
La derivada de cualquier funcin 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 funcin tiene un
nmero infinito de primitivas diferentes.

Para interpretar el significado de la constante de integracin se puede observar el hecho de que

la funcin f (x) sea la derivada de otra funcin F (x) quiere 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 pequeo
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 funcin F (x) tal que su derivada
sea la funcin f (x) se convierte en el problema de encontrar una funcin de la grfica 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 integracin se obtienen diversas funciones que cumplen esta
condicin y son traslaciones verticales unas de otras.
Otras propiedades [editar]
Linealidad de la integral indefinida
La primitiva es lineal, es decir:
1. Si f es una funcin que admite una primitiva F sobre un intervalo I, entonces para todo
real k, una primitiva de kf sobre el intervalo I es kF.
2. Si F y G son primitivas respectivas de dos funciones f y g, entonces una primitiva de f +
g es F + G.
La linealidad se puede expresar como sigue:

La primitiva de una funcin impar es siempre par [editar]

En efecto, como se ve en la figura siguiente, las reas antes y despus 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.

La primitiva F de una funcin f par es impar con tal de imponerse F(0) = 0

En efecto, segn la figura, la reas antes y despus 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.

La primitiva de una funcin peridica es la suma de una funcin lineal y de una funcin
peridica [editar]

Para probarlo, hay que constatar que el rea bajo una curva de una funcin peridica, entre las
abcisas x y x + T (T es el perodo) es constante es decir no depende de x. La figura siguiente
muestra tres reas iguales. Se puede mostrar utilizando la periodicidiad y la relacin de Chasles,
o sencillamente con unas tijeras! (cortando y superponiendo las reas de color).
En trmino de primitiva, significa que F(x + T) - F(x) es una constante, que se puede llamar A.
Entonces la funcin G(x) = F(x) - Ax/T es peridica de perodo 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, peridica, y de Ax/T, lineal.

Y por ltimo, una relacin entre la integral de una funcin y la de su recproca. Para simplificar,
se impone f(0) = 0; a es un nmero cualquiera del dominio de f. Entonces tenemos la relacin:

El rea morada es la integral de f, el rea amarilla es la de f -1, y la suma es el rectngulo 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 simetra axial alrededor
de la diagonal y = x.
El inters de esta frmula es permitir el clculo de la integral de f -1 sin conocer una primitiva; de
hecho, ni hace falta conocer la expresin de la recproca.
Clculo de primitivas
Integrales inmediatas
Artculo principal: Anexo:Integrales
Para encontrar una primitiva de una funcin dada, basta con descomponerla (escribirla bajo
forma de una combinacin lineal) en funciones elementales cuyas primitivas son conocidas o se
pueden obtener leyendo al revs una tabla de derivadas, y luego aplicar la linealidad de la
integral:

Aqu estn las principales funciones primitivas:

Funcin

: primitiva de

funcin : derivada de

Por ejemplo, busquemos una primitiva de x x(2-3x). Como no se conocen primitivas de un

producto, desarrollemos la expresin: x(2-3x)= 2x - 3x 2. 2x es la derivada de x2, 3x2 es la de x3,
por lo tanto 2x - 3x2 tiene como primitiva x2 - x3 + k. Si adems se pide que la primitiva verifique
una condicin F(x0) = y0 (que recibe el nombre de condicin inicial cuando se trata de un
problema de fsica), entonces la constante k es unvocamente determinada. En el ejemplo, si se
impone F(2) = 3, entonces forzosamente k = 7.

Integracin

La integral definida de una funcin representa el rea limitada por la grfica de la funcin, con
signo positivo cuando la funcin toma valores positivos y negativo cuando toma valores
negativos.
La integracin es un concepto fundamental de las matemticas avanzadas, especialmente en los
campos del clculo y del anlisis matemtico. Bsicamente, una integral es una suma de infinitos
sumandos, infinitamente pequeos.
Dada una funcin f(x) de una variable real x y un intervalo [a,b] de la recta real, la integral

es igual al rea de la regin del plano xy limitada entre la grfica de f, el eje x, y las lneas
verticales x = a y x = b, donde son negativas las reas por debajo del eje x.
La palabra "integral" tambin puede hacer referencia a la nocin de primitiva: una funcin F, cuya
derivada es la funcin dada f. En este caso se denomina integral indefinida, mientras que las
integrales tratadas en este artculo son las integrales definidas. Algunos autores mantienen una
distincin entre integrales primitivas e indefinidas.
Newton y Leibniz a finales del siglo XVII. A travs del teorema fundamental del clculo, que
desarrollaron los dos de forma independiente, la integracin se conecta con la derivacin, y la
integral definida de una funcin se puede calcular fcilmente una vez se conoce una
antiderivada. Las integrales y las derivadas pasaron a ser herramientas bsicas del clculo, con
numerosas aplicaciones en ciencia e ingeniera.
Bernhard Riemann dio una definicin rigurosa de la integral. Se basa en un lmite que aproxima
el rea de una regin curvilnea a base de partirla en pequeos trozos verticales. A comienzos
del siglo XIX, empezaron a aparecer nociones ms sofisticadas de la integral, donde se han
generalizado los tipos de las funciones y los dominios sobre los cuales se hace la integracin. La
integral curvilnea se define para funciones de dos o tres variables, y el intervalo de integracin
[a,b] se sustituye por una cierta curva que conecta dos puntos del plano o del espacio. En una
integral de superficie, la curva se sustituye por un trozo de una superficie en el espacio
tridimensional.
Las integrales de las formas diferenciales desempean un papel fundamental en la geometra
diferencial moderna. Estas generalizaciones de la integral surgieron primero a partir de las

necesidades de la fsica, y tienen un papel importante en la formulacin de muchas leyes fsicas

cmo, por ejemplo, las de la electromagnetismo. Los conceptos modernos de integracin se
basan en la teora matemtica abstracta conocida como integral de Lebesgue, que fue
desarrollada por Henri Lebesgue.
Contenido

1 Integracin antes del clculo

2 Newton y Leibniz
3 Formalizacin de las integrales
4 Notacin
5 Terminologa y notacin
6 Conceptos y aplicaciones
o 6.1 Integral de Riemann
o 6.2 Integral de Lebesgue
o 6.3 Otras integrales
7 Propiedades de la integracin
o 7.1 Linealidad
o 7.2 Desigualdades con integrales
o 7.3 Convenciones
8 Teorema fundamental del clculo
o 8.1 Enunciado de los teoremas
9 Extensiones
o 9.1 Integrales impropias
o 9.2 Integracin mltiple
o 9.3 Integrales de lnea
o 9.4 Integrales de superficie
o 9.5 Integrales de formas diferenciales
10 Mtodos y aplicaciones
o 10.1 Clculo de integrales
o 10.2 Algoritmos simblicos
o 10.3 Cuadratura numrica
11 Referencias y notas

Integracin antes del clculo

La integracin se puede trazar en el pasado hasta el antiguo Egipto, circa 1800 aC, con el papiro
de Mosc, donde se demuestra que ya se conoca una frmula para calcular el volumen de un
tronco piramidal. La primera tcnica sistemtica documentada capaz de determinar integrales es
el mtodo de exhauscin de Eudoxo (circa 370 aC), que trataba de encontrar reas y volmenes
a base de partirlos en un nmero infinito de formas para las cuales se conocieran el rea o el
volumen. Este mtodo fue desarrollado y usado ms adelante por Arqumedes, que lo emple
para calcular reas de parbolas y una aproximacin al rea del crculo. Mtodos similares
fueron desarrollados de forma independiente en China alrededor del siglo III por Liu Hui, que los
us para encontrar el rea del crculo. Ms tarde, Zu Chongzhi us este mtodo para encontrar
el volumen de una esfera. En el Siddhanta Shiromani, un libro de astronoma del siglo XII del
matemtico indio Bhaskara II, se encuentran algunas ideas de clculo integral.

Hasta el siglo XVI no empezaron a aparecer adelantos significativos sobre el mtodo de

exhauscin. En esta poca, por un lado, con el trabajo de Cavalieri con su mtodo de los
indivisibles y, por otro lado, con los trabajos de Fermat, se empez a desarrollar los fundamentos
del clculo moderno. A comienzos del siglo XVII, se produjeron nuevos adelantos con las
aportaciones de Barrow y Torricelli, que presentaron los primeros indicios de una conexin entre
la integracin y la derivacin.
Newton y Leibniz
Los principales adelantos en integracin vinieron en el siglo XVII con el descubrimiento del
teorema fundamental del clculo, realizado de manera independiente por Newton y Leibniz. El
teorema demuestra una conexin entre la integracin y la derivacin. Esta conexin, combinada
con la facilidad, comparativamente hablando, del clculo de derivadas, se puede usar para
calcular integrales. En particular, el teorema fundamental del clculo permite resolver una clase
ms amplia de problemas. Tambin cabe destacar todo el marco estructural alrededor de las
matemticas que desarrollaron tambin Newton y Leibniz. El llamado clculo infinitesimal
permiti analizar, de forma precisa, funciones con dominios continuos. Posteriormente, este
marco ha evolucionado hacia el clculo moderno, cuya notacin para las integrales procede
directamente del trabajo de Leibniz.
Formalizacin de las integrales
Aunque Newton y Leibniz suministraron un enfoque sistemtico a la integracin, su trabajo
careca de un cierto nivel de rigor. Es memorable el ataque del obispo Berkeley calificando los
infinitesimales como los "los fantasmas de las cantidades que se desvanecen". El clculo
adquiri una posicin ms firme con el desarrollo de los lmites y, en la primera mitad del siglo
XIX, recibi una fundamentacin adecuada por parte de Cauchy. La integracin fue
rigurosamente formalizada por primera vez por Riemann, empleando lmites. A pesar de que
todas las funciones continuas fragmentadas y acotadas son Riemann integrables en un intervalo
acotado, ms tarde se consideraron funciones ms generales para las cuales no se aplica la
definicin de Riemann, y Lebesgue formul una definicin diferente de la integral [1] basada en la
teora de la medida. Tambin se propusieron otras definiciones de integral, que amplan las
definiciones de Riemann y Lebesgue.
Notacin
Isaac Newton usaba una pequea barra vertical encima de una variable para indicar integracin,
o pona la variable dentro de una caja. La barra vertical se confunda fcilmente con o , que
Newton usaba para indicar la derivacin, y adems la notacin "caja" era difcil de reproducir por
los impresores; por ello, estas notaciones no fueron ampliamente adoptadas.
La notacin moderna de las integrales indefinidas fue presentada por Gottfried Leibniz en 1675.[2]
[3]
Para indicar summa (en latn, "suma" o "total"), adapt el smbolo integral, "", a partir de una
letra S alargada. La notacin moderna de la integral definida, con los lmites arriba y abajo del
signo integral, la us por primera vez Joseph Fourier en Mmoires de la Academia Francesa,
alrededor de 181920, reimpresa en su libro de 1822. [4] [5] En la notacin matemtica en rabe
moderno, que se escribe de derecha a izquierda, se usa un signo integral invertido
Terminologa y notacin

.[6]

Si una funcin tiene una integral, se dice que es integrable. De la funcin de la cual se calcula la
integral se dice que es el integrando. Se denomina dominio de integracin a la regin sobre la
cual se integra la funcin. Si la integral no tiene un dominio de integracin, se considera
indefinida (la que tiene dominio se considera definida). En general, el integrando puede ser una
funcin de ms de una variable, y el dominio de integracin puede ser un rea, un volumen, una
regin de dimensin superior, o incluso un espacio abstracto que no tiene estructura geomtrica
en ningn sentido usual.
El caso ms sencillo, la integral de una funcin real f de una variable real x sobre el intervalo [a,
b], se escribe

El signo , una "S" larga, representa la integracin; a y b son el lmite inferior y el lmite superior
de la integracin y definen el dominio de integracin; f es el integrando, que se tiene que evaluar
al variar x sobre el intervalo [a,b]; y dx puede tener diferentes interpretaciones dependiendo de la
teora que se emplee. Por ejemplo, puede verse simplemente como una indicacin de que x es la
variable de integracin, como una representacin de los pesos en la suma de Riemann, una
medida (en la integracin de Lebesgue y sus extensiones), un infinitesimal (en anlisis no
estndar) o como una cantidad matemtica independiente: una forma diferencial. Los casos ms
complicados pueden variar la notacin ligeramente.
Conceptos y aplicaciones
Las integrales aparecen en muchas situaciones prcticas. Consideremos una piscina. Si es
rectangular, entonces, a partir de su longitud, anchura y profundidad, se puede determinar
fcilmente el volumen de agua que puede contener (para llenarla), el rea de la superficie (para
cubrirla), y la longitud de su borde (para atarla). Pero si es ovalada con un fondo redondeado,
todas estas cantidades piden integrales. Al comienzo puede ser suficiente con aproximaciones
prcticas, pero al final harn falta respuestas exactas y rigurosas a este tipo de problemas.

Aproximaciones a la integral de x entre 0 y 1, con 5 muestras por la izquierda (arriba) y 12

muestras por la derecha (abajo)
Para empezar, se considerar la curva y = f(x) entre x = 0 y x = 1, con f(x) = x. La pregunta es:
Cul es el rea bajo la funcin f, al intervalo desde 0 hasta 1?

Esta rea (todava desconocida) ser la integral de f. La notacin para esta integral ser

.
Como primera aproximacin, se mira al cuadrado unidad dado por los lados x=0 hasta x=1 y
y=f(0)=0 y y=f(1)=1. Su rea es exactamente 1. Tal como se puede ver, el verdadero valor de la
integral tiene que ser de alguna forma ms pequeo. Reduciendo el ancho de los rectngulos
empleados para hacer la aproximacin se obtendr un mejor resultado; as, se parte el intervalo
en cinco pasos, empleando para la aproximacin los puntos 0, 15, 25, as hasta 1. Se ajusta una
caja cada paso empleando la altura del lado derecho de cada pedazo de la curva, as 15, 25, y
as hasta 1 = 1. Sumando las reas de estos rectngulos, se obtiene una mejor aproximacin
de la integral que se est buscando,

Ntese que se est sumando una cantidad finita de valores de la funcin f, multiplicados por la
diferencia entre dos puntos de aproximacin sucesivos. Se puede ver fcilmente que la
aproximacin contina dando un valor ms grande que el de la integral. Empleando ms pasos
se obtiene una aproximacin ms ajustada, pero no ser nunca exacta: si en vez de 5
subintervalos se toman doce y se coge el valor de la izquierda, tal como se muestra en el dibujo,
se obtiene un valor aproximado para el rea, de 0.6203, que en este caso es demasiado
pequeo. La idea clave es la transicin desde la suma de una cantidad finita de diferencias de
puntos de aproximacin multiplicados por los respectivos valores de la funcin, hasta usar pasos
infinitamente finos, o infinitesimales. La notacin

concibe la integral como una suma ponderada (denotada por la "S" alargada), de los valores de
la funcin (como las alzadas, y = f(x)) multiplicados por pasos de anchura infinitesimal, los
llamados diferenciales (indicados por dx).
Con respecto al clculo real de integrales, el teorema fundamental del clculo, debido a Newton
y Leibniz, es el vnculo fundamental entre las operaciones de derivacin e integracin.
Aplicndolo a la curva raz cuadrada, se tiene que mirar la funcin relacionada F(x) = 23x3/2 y
simplemente coger F(1)F(0), donde 0 y 1 son las fronteras del intervalo [0,1]. (ste es un
ejemplo de una regla general, que dice que para f(x) = xq, con q 1, la funcin relacionada, la
llamada primitiva es F(x) = (xq+1)/(q+1).) De modo que el valor exacto del rea bajo la curva se
calcula formalmente como

Histricamente, despus de que los primeros esfuerzos de definir rigurosamente los

infinitesimales no fructificasen, Riemann defini formalmente las integrales como el lmite de
sumas ponderadas, de forma que el dx sugiere el lmite de una diferencia (la anchura del
intervalo). La dependencia de la definicin de Riemann de los intervalos y la continuidad motiv

la aparicin de nuevas definiciones, especialmente la integral de Lebesgue, que se basa en la

habilidad de extender la idea de "medida" de maneras mucho ms flexibles. As, la notacin

hace referencia a una suma ponderada de valores en que se divide la funcin, donde mide el
peso que se tiene que asignar a cada valor. (Aqu A indica la regin de integracin.) La
geometra diferencial, con su "clculo de variedades", proporciona otra interpretacin a esta
notacin familiar. Ahora f(x) y dx pasan a ser una forma diferencial, = f(x)dx, aparece un nuevo
operador diferencial d, conocido como la derivada exterior, y el teorema fundamental pasa a ser
el (ms general) teorema de Stokes,

a partir del cual se deriva el teorema de Green, el teorema de la divergencia, y el teorema

fundamental del clculo.
Recientemente, los infinitesimales han reaparecido con rigor, a travs de innovaciones modernas
como el anlisis no estndar. Estos mtodos no slo reivindican la intuicin de los pioneros,
tambin llevan hacia las nuevas matemticas, y hacen ms intuitivo y comprensible el trabajo
con clculo infinitesimal.
A pesar de que hay diferencias entre todas estas concepciones de la integral, hay un
solapamiento considerable. As, el rea de la piscina oval se puede hallar como una elipse
geomtrica, como una suma de infinitesimales, como una integral de Riemann, como una
integral de Lebesgue, o como una variedad con una forma diferencial. El resultado obtenido con
el clculo ser el mismo en todos los casos.
Integral de Riemann
Artculo principal: Integral de Riemann

Integral con el planteamiento de Riemann hace una suma basada en una particin etiquetada,
con posiciones de muestreo y anchuras irregulares (el mximo en rojo). El verdadero valor es
3,76; la estimacin obtenida es 3,648.

La integral de Riemann se define en trminos de sumas de Riemann de funciones respecto de

particiones etiquetadas de un intervalo. Sea [a,b] un intervalo cerrado de la recta real; entonces
una particin etiquetada de [a,b] es una secuencia finita

Convergencia de sumatorios de Riemann a medida en que se parten los intervalos, cuando se

muestrea a la derecha, el mnimo, el mximo, o la izquierda.
Esto divide al intervalo [a,b] en i subintervalos [xi1, xi], cada uno de los cuales es "etiquetado"
con un punto especificado ti de; [xi1, xi]. Sea i = xixi1 la anchura del subintervalo i; el paso de
esta particin etiquetada es el ancho del subintervalo ms grande obtenido por la particin,
maxi=1n i. Un sumatorio de Riemann de una funcin f respecto de esta particin etiquetada se
define como

As cada trmino del sumatorio es el rea del rectngulo con altura igual al valor de la funcin en
el punto especificado del subintervalo dado, y de la misma anchura que la anchura del
subintervalo. La integral de Riemann de una funcin f sobre el intervalo [a,b] es igual a S si:
Para todo > 0 existex > 0 tal que, para cualquier particin etiquetada [a,b] con paso
ms pequeo que , se tiene

Cuando las etiquetas escogidas dan el mximo (o mnimo) valor de cada intervalo, el sumatorio
de Riemann pasa a ser un sumatorio de Darboux superior (o inferior), lo que sugiere la estrecha
conexin que hay entre la integral de Riemann y la integral de Darboux.
Integral de Lebesgue
Artculo principal: Integral de Lebesgue

La integral de Riemann no est definida para un ancho abanico de funciones y situaciones de

importancia prctica (y de inters terico). Por ejemplo, la integral de Riemann puede integrar
fcilmente la densidad para de obtener la masa de una viga de acero, pero no se puede adaptar
a una bola de acero que se apoya encima. Esto motiva la creacin de otras definiciones, bajo las
cuales se puede integrar un surtido ms amplio de funciones. [7] La integral de Lebesgue, en
particular, logra una gran flexibilidad a base de centrar la atencin en los pesos de la suma
ponderada.
As, la definicin de la integral de Lebesgue empieza con una medida, . En el caso ms sencillo,
la medida de Lebesgue (A) de un intervalo A = [a,b] es su ancho, b a, as la integral de
Lebesgue coincide con la integral de Riemann cuando existen ambas. En casos ms
complicados, los conjuntos a medir pueden estar altamente fragmentados, sin continuidad y sin
ningn parecido a intervalos.
Para explotar esta flexibilidad, la integral de Lebesgue invierte el enfoque de la suma ponderada.
Como expresa Folland:[8] "Para calcular la integral de Riemann de f, se particiona el dominio [a,b]
en subintervalos", mientras que en la integral de Lebesgue, "de hecho lo que se est partiendo
es el recorrido de f".
Un enfoque habitual define primero la integral de la funcin caracterstica de un conjunto
mensurable A por:

.
Esto se extiende por linealidad a las funciones escalonadas simples, que slo tienen un nmero
finito n, de valores diferentes no negativos:

(donde la imagen de Ai al aplicarle la funcin escalonada s es el valor constante ai). As, si E es

un conjunto mesurable, se define

Entonces, para cualquier funcin mesurable no negativa f se define

Es decir, se establece que la integral de f es el supremo de todas las integrales de funciones

escalonadas que son ms pequeas o iguales que f. Una funcin mesurable cualquiera f, se
separa entre sus valores positivos y negativos a base de definir

Finalmente, f es Lebesgue integrable si

y entonces se define la integral por

Cuando el espacio mtrico en el que estn definidas las funciones es tambin un espacio
topolgico localmente compacto (como es el caso de los nmeros reales R), las medidas
compatibles con la topologa en un sentido adecuado (medidas de Radon, de las cuales es un
ejemplo la medida de Lebesgue) una integral respecto de ellas se puede definir de otra manera,
se empieza a partir de las integrales de las funciones continuas con soporte compacto. De forma
ms precisa, las funciones compactamente soportadas forman un espacio vectorial que
comporta una topologa natural, y se puede definir una medida (Radon) como cualquier funcional
lineal continuo de este espacio; entonces el valor de una medida en una funcin compactamente
soportada, es tambin, por definicin, la integral de la funcin. Entonces se contina
expandiendo la medida (la integral) a funciones ms generales por continuidad, y se define la
medida de un conjunto como la integral de su funcin caracterstica. Este es el enfoque que toma
Bourbaki[9] y cierto nmero de otros autores. Para ms detalles, vase medidas de Radon.
Otras integrales
A pesar de que las integrales de Riemann y Lebesgue son las definiciones ms importantes de
integral, hay unas cuntas ms, por ejemplo:

La integral de Riemann-Stieltjes, una extensin de la integral de Riemann.

La integral de Lebesgue-Stieltjes, desarrollada por Johann Radon, que generaliza las
integrales de Riemann-Stieltjes y de Lebesgue.
La integral de Daniell, que incluye la integral de Lebesgue y la integral de LebesgueStieltjes sin tener que depender de ninguna medida.

La integral de Henstock-Kurzwe, definida de forma variada por Arnaud Denjoy, Oskar

Perron, y Jaroslav Kurzweil, y desarrollada por Ralph Henstock.
La integral de Darboux, que es equivalente a la integral de Riemann.
La integral de Haar, que es la integral de Lebesgue con la medida de Haar.

Propiedades de la integracin
Linealidad
El conjunto de las funciones Riemann integrables en un intervalo cerrado [a, b] forman un
espacio vectorial con las operaciones de suma (la funcin suma de otras dos es la
funcin que a cada punto le hace corresponder la suma de las imgenes de este punto
por cada una de las otras dos) y la multiplicacin por un escalar. La operacin
integracin

es un funcional lineal de este espacio vectorial. As, en primer lugar, el conjunto de

funciones integrables es cerrado con la combinacin lineal, y en segundo lugar, la
integral de una combinacin lineal es la combinacin lineal de las integrales,

De forma parecida, el conjunto de las funciones reales Lebesgue integrables en un

espacio mtrico E dado, con la medida es cerrado respecto de las combinaciones
lineales y por lo tanto forman un espacio vectorial, y la integral de Lebesgue

es un funcional lineal de este espacio vectorial, de forma que

De forma ms general, si se toma el espacio vectorial de todas las funciones mesurables

sobre un espacio mtrico (E,), que toman valores en un espacio vectorial topolgico
completo localmente compacto V sobre un campo topolgico localmente compacto K, f :
E V. Entonces se puede definir una aplicacin integracin abstracta que a cada
funcin f le asigna un elemento de V o el smbolo ,

que es compatible con las combinaciones lineales. En esta situacin, la linealidad se

sostiene para el subespacio de las funciones, cuya integral es un elemento de V (es
decir, las integrales "finitas"). Los casos ms importantes surgen cuando K es R, C, o
una extensin finita del campo Qp de nmeros p-dicos, y V es un espacio vectorial de
dimensin finita sobre K, y cuando K=C y V es un espacio de Hilbert complejo.
La linealidad, junto con algunas propiedad naturales de continuidad y la normalizacin para
ciertas clases de funciones "simples", se pueden usar para dar una definicin alternativa de
integral. Este es el enfoque de Daniell para el caso de funciones reales en un conjunto X,
generalizado por Bourbaki a funciones que toman valores en un espacio vectorial

topolgicamente compacto. Vase Hildebrandt (1953) [10] para una caracterizacin axiomtica de
la integral.
Desigualdades con integrales
Se verifican varias desigualdades generales para funciones Riemann integrables definidas en un
intervalo cerrado y acotado [a, b] y se pueden generalizar a otras nociones de integral (Lebesgue
y Daniell).

Cotas superiores e inferiores. Una funcin f integrable en [a, b], es necesariamente

acotada en el intervalo. Por lo tanto hay dos nmeros reales m y M tales que m f(x)
M para todo x de [a, b]. Dado que los sumatorios superior e inferior de f sobre [a, b] son
tambin acotados para m(b a) y M(b a) respectivamente, de aqu resulta que

Desigualdades entre funciones. Si f(x) g(x) para todo x de [a, b] entonces cada uno de
los sumatorios superior e inferior de f son acotados inferior y superiormente por los
sumatorios superior e inferior de g respectivamente. As

Esto es una generalizacin de las desigualdades anteriores, dado que M '(b a) es la

integral de la funcin constante con valor M en el intervalo [a, b].
Subintervalos. Si [c, d] es un subintervalo de [a, b] y f(x) es no negativa para todo x,
entonces

Productos y valores absolutos de funciones. Si f y g son dos funciones, entonces

podemos emplear su producto, potencias y valores absolutos:

Si f es Riemann integrable en [a, b] entonces lo mismo se cumple para |f|, y

Es ms, si f y g son ambas Riemann integrables entonces f 2, g 2, y fg son tambin

Riemann integrables, y

Esta desigualdad se conoce como desigualdad de Cauchy-Schwarz, y desempea un

papel fundamental en la teora de los espacios de Hilbert, donde el lado de la derecha se
interpreta como el producto escalar de dos funciones integrables f y g en el intervalo [a,
b].
Desigualdad de Hlder. Si p y q son dos nmeros reales, 1 p, q con 1/p + 1/q = 1,
y f y g son dos funciones Riemann integrables. Entonces las funciones |f|p y |g|q tambin
son integrables y se cumple la desigualdad de Hlder:

Para el caso de p = q = 2, la desigualdad de Hlder pasa a ser la desigualdad de

CauchySchwarz.
Desigualdad de Minkowski. Si p 1 es un nmero real y f y g son funciones Riemann
integrables. Entonces |f|p, |g|p y |f + g|p son tambin Riemann integrables y se cumple la
desigualdad de Minkowski:

Una desigualdad anloga a sta para la integral de Lebesgue se usa en la construccin

de los espacios Lp.
Convenciones
En esta seccin f es una funcin real Riemann integrable. La integral

Sobre un intervalo [a, b] est definida si a < b. Esto significa que los sumatorios superiores e
inferiores de la funcin f se evalan sobre una particin a = x0 x1 . . . xn = b cuyos valores xi
son crecientes. Geomtricamente significa que la integracin tiene lugar "de izquierda a
derecha", evaluando f dentro de intervalos [xi, xi+1] donde el intervalo con un ndice ms grande
queda a la derecha del intervalo con un ndice ms pequeo. Los valores a y b, los puntos
extremos del intervalo, se denominan lmites de integracin de f. Las integrales tambin se
pueden definir si a > b:

Inversin de los lmites de integracin. si a > b entonces se define

Ello, con a = b, implica:

Integrales sobre intervalos de longitud cero. si a es un nmero real entonces

La primera convencin es necesaria al calcular integrales sobre subintervalos de [a, b]; la

segunda dice que una integral sobre un intervalo degenerado, o un punto, tiene que ser cero. Un
motivo para la primera convencin es que la integrabilidad de f sobre un intervalo [a, b] implica
que f es integrable sobre cualquier subintervalo [c, d], pero en particular las integrales tienen la
propiedad de que:

Aditividad de la integracin sobre intervalos. si c es cualquier elemento de [a, b],

entonces

Con la primera convencin la relacin resultante

queda bien definida para cualquier permutacin cclica de a, b, y c.

En lugar de ver lo anterior como convenciones, tambin se puede adoptar el punto de vista de
que la integracin se hace slo sobre variedades orientadas. Si M es una tal forma mdimensional orientada, y M' es la misma forma con orientacin opuesta y es una m-forma,
entonces se tiene (vase ms abajo la integracin de formas diferenciales):

Teorema fundamental del clculo [editar]

Artculo principal: Teorema fundamental del clculo
El teorema fundamental del clculo es la afirmacin de que la derivacin y la integracin son
operaciones inversas: si una funcin continua primero se integra y luego se deriva, se recupera
la funcin original. Una consecuencia importante, en ocasiones denominada el segundo teorema
fundamental del clculo, permite calcular integrales a base de emplear una primitiva de la funcin
a integrar.
Enunciado de los teoremas Teorema fundamental del clculo. Sea f una funcin

real integrable definida en un intervalo cerrado [a, b]. Si se define F

para cada x de [a, b] por

entonces F es continua en [a, b]. Si f es continua en x de [a, b], entonces F es derivable

en x, y F(x) = f(x).
Segundo teorema fundamental del clculo. Sea f una funcin real, integrable definida en
un intervalo cerrado [a, b]. Si F es una funcin tal que F(x) = f(x) para todo x de [a, b]
(es decir, F es una primitiva de f), entonces

Corolario. Si f es una funcin continua en [a, b], entonces f es integrable en [a, b], y F,
definida por

es una primitiva de f en [a, b]. Adems,

Extensiones
Integrales impropias
Artculo principal: Integral impropia

La integral impropia

tiene intervalos no acotados tanto en el dominio como en el recorrido.

Una integral de Riemann "propia" supone que el integrando est definido y es finito en un
intervalo cerrado y acotado, cuyos extremos son los lmites de integracin. Una integral impropia
aparece cuando una o ms de estas condiciones no se satisface. En algunos casos, estas
integrales se pueden definir tomando el lmite de una sucesin de integrales de Riemann propias
sobre intervalos sucesivamente ms largos.
Si el intervalo no es acotado, por ejemplo en su extremo superior, entonces la integral impropia
es el lmite cuando el punto final tiende a infinito.

Si el integrando slo est definido en un intervalo finito semiabierto, por ejemplo (a,b], entonces,
otra vez el lmite puede suministrar un resultado finito.

Esto es, la integral impropia es el lmite de integrales propias cuando uno de los puntos extremos
del intervalo de integracin se aproxima, ya sea a un nmero real especificado, o , o . En
casos ms complicados, hacen falta lmites en los dos puntos extremos o en puntos interiores.

Por ejemplo, la funcin

integrada desde 0 a (imagen de la derecha). En el extremo
inferior, a medida que x se acerca a 0 la funcin tiende a , y el extremo superior es l mismo ,
a pesar de que la funcin tiende a 0. As, esta es una integral doblemente impropia. Integrada,
por ejemplo, desde 1 hasta 3, con un sumatorio de Riemann es suficiente para obtener un
resultado de . Para integrar desde 1 hasta , un sumatorio de Riemann no es possible. Ahora
bien, cualquier lmite superior finito, por ejemplo t (con t > 1), da un resultado bien definido,
. Este resultado tiene un lmite finito cuando t tiende a infinito, que es . De
forma parecida, la integral desde 13 hasta a 1 admite tambin un sumatorio de Riemann, que por
casualidad da de nuevo . Sustituyendo 13 por un valor positivo arbitrario s (con s < 1) resulta
igualmente un resultado definido y da

. ste, tambin tiene un lmite

finito cuando s tiende a cero, que es . Combinando los lmites de los dos fragmentos, el
resultado de esta integral impropia es

Este proceso no tiene el xito garantizado; un lmite puede no existir, o puede ser infinito. Por
ejemplo, sobre el intervalo cerrado de 0 a 1 la integral de
abierto del 1 a la integral de

no converge; y sobre el intervalo

no converge.

La integral impropia

no est acotada internamente, pero ambos lmites (por la derecha y por la izquierda) existen.
Tambin puede pasar que un integrando no est acotado en un punto interior, en este caso la
integral se ha de partir en este punto, y el lmite de las integrales de los dos lados han de existir y
han de ser acotados. As

A la integral similar

no se le puede asignar un valor de esta forma, dado que las integrales por encima y por debajo
de cero no convergen independientemente (en cambio, vase valor principal de Cauchy.)
Integracin mltiple

Integral doble como el volumen limitado por una superficie.

Las integrales se pueden calcular sobre regiones diferentes de los intervalos. En general, una
integral sobre un conjunto E de una funcin f se escribe:

Aqu x no hace falta que sea necesariamente un nmero real, sino que puede ser cualquier otra
cantidad apropiada, por ejemplo, un vector de R3. El teorema de Fubini demuestra que estas
integrales pueden reescribirse como una integral iterada. En otras palabras, la integral se puede
calcular a base de integrar las coordenadas una por una.
De la misma manera que la integral definida de una funcin positiva representa el rea de la
regin encerrada entre la grfica de la funcin y el eje x, la integral doble de una funcin positiva
de dos variables representa el volumen de la regin comprendida entre la superficie definida por
la funcin y el plano que contiene su dominio. (El mismo volumen puede obtenerse a travs de
una integral triple la integral de la funcin de tres variables de la funcin constante f(x, y, z)

= 1 sobre la regin mencionada antes entre la superficie y el plano, lo mismo se puede hacer con
una integral doble para calcular una superficie.) Si el nmero de variables es mayor, entonces la
integral representa un hipervolumen, el volumen de un slido de ms de tres dimensiones que no
se puede representar grficamente.
Por ejemplo, el volumen del paraleleppedo de caras 4 6 5 se puede obtener de dos
maneras:

Con la integral doble

de la funcin f(x, y) = 5 calculada en la regin D del plano xy que es la base del

paraleleppedo.
Con la integral triple

de la funcin constante 1 calculada sobre el mismo paraleleppedo (a pesar de que este

segundo mtodo tambin se puede interpretar como el hipervolumen de un
hiperparaleleppedo de cuatro dimensiones que tiene como base el paraleleppedo en
cuestin y una altura constante de 1, como la altura es 1 el volumen coincide con el rea
de la base).
Puesto que es imposible calcular la antiderivada de una funcin de ms de una variable, no
existen las integrales mltiples indefinidas: tales integrales son todas definidas.
Integrales de lnea

Una integral de lnea acumula elementos a lo largo de una curva.

El concepto de integral se puede extender a dominios de integracin ms generales, tales como
las lneas curvas y las superficies. Estas integrales se conocen como integrales de lnea e
integrales de superficie respectivamente. Tienen importantes aplicaciones en la fsica cuando se
trata con campos vectoriales.

Una integral de lnea es una integral donde la funcin a integrar es evaluada a lo largo de una
curva. Se utilizan varias integrales curvilneas diferentes. En el caso de una curva cerrada
tambin se la denomina integral de contorno.
La funcin a integrar puede ser un campo escalar o un campo vectorial. El valor de la integral
curvilnea es la suma de los valores del campo en los puntos de la lnea, ponderados por alguna
funcin escalar de la curva (habitualmente la longitud del arco o, en el caso de un campo
vectorial, el producto escalar del campo vectorial por un vector diferencial de la curva). Esta
ponderacin distingue las integrales curvilneas de las integrales ms sencillas definidas sobre
intervalos.
Muchas frmulas sencillas de la fsica tienen de forma natural anlogas continuas en trminos de
integrales de lnea; por ejemplo, el hecho de que el trabajo sea igual a la fuerza multiplicada por
la distancia se puede expresar (en trminos de cantidades vectoriales) como:

que tiene su paralelismo en la integral de lnea

que acumula los componentes vectoriales a lo largo de un camino continuo, y as calcula el

trabajo realizado por un objeto al moverse a travs de un campo, como por ejemplo un campo
elctrico o un campo gravitatorio.
Integrales de superficie

La definicin de las integrales de superficie descansa en la divisin de la superficie en pequeos

elementos de superficie.
Una integral de superficie es una integral definida calculada sobre una superficie (que puede ser
un conjunto curvado en el espacio; se puede entender como la integral doble anloga a la
integral de lnea. La funcin a integrar puede ser un campo escalar o un campo vectorial. El valor
de la integral de superficie es la suma ponderada de los valores del campo en todos los puntos
de la superficie. Esto se puede conseguir a base de dividir la superficie en elementos de
superficie, los cuales proporcionan la particin para los sumatorios de Riemann.
Como ejemplo de las aplicaciones de las integrales de superficie, se puede considerar un campo
vectorial v sobre una superficie S; es decir, para cada punto x de S, v(x) es un vector. Imagnese
que se tiene un fluido fluyendo a travs de S, de forma que v(x) determina la velocidad del fluido
en el punto x. El caudal se define como la cantidad de fluido que fluye a travs de S en la unidad

de tiempo. Para hallar el caudal, hay que calcular el producto escalar de v por el vector unitario
normal a la superficie S en cada punto, lo que nos dar un campo escalar, que integramos sobre
la superficie:

.
El caudal de fluido de este ejemplo puede ser de un fluido fsico como el agua o el aire, o de un
flujo elctrico o magntico. As, las integrales de superficie tienen aplicaciones en la fsica, en
particular en la teora clsica del electromagnetismo.
Integrales de formas diferenciales
Una forma diferencial es un concepto matemtico en los campos del clculo multivariable,
topologa diferencial y tensores. La notacin moderna de las formas diferenciales, as como la
idea de las formas diferenciales como el producto exterior de derivadas exteriores formando un
lgebra exterior, fue presentada por lie Cartan.
Se empieza trabajando en un conjunto abierto de Rn. Una 0-forma se define como una funcin
infinitamente derivable f. Cuando se integra una funcin f sobre un subespacio de m-dimensional
S de Rn, se escribe como

(Los superndices no son exponentes.) Se puede considerar que dx1 hasta dxn son objetos
formales ellos mismos, ms que etiquetas aadidas para hacer que la integral se asemeje a los
sumatorios de Riemann. De forma alternativa se pueden ver como covectores, y por lo tanto
como una medida de la "densidad" (integrable en un sentido general). A dx1, ,dxn se las
denomina 1-formas bsicas.
Se define el conjunto de todos estos productos como las 2-formas bsicas, y de forma similar se
define el conjunto de los productos de la forma dxadxbdxc como las 3-formas bsicas. Una kforma general es por lo tanto una suma ponderada de k-formas bsicas, donde los pesos son las
funciones infinitamente derivables f. Todas juntas forman un espacio vectorial, siendo las kformas bsicas los vectores base, y las 0-formas (funciones infinitamente derivables) el campo
de escalares. El producto exterior se extiende a las k-formas de la forma natural. Sobre Rn como
mximo n covectores pueden ser linealmente independientes, y as una k-forma con k > n ser
siempre cero por la propiedad alternante.
Adems del producto exterior, tambin existe el operador derivada exterior d. Este operador hace
corresponder a las k-formas (k+1)-formas. Para una k-forma = f dxa sobre Rn, se define la
accin de d por:

con extensin a las k-formas generales que se dan linealmente.

Este planteamiento ms general permite un enfoque de la integracin sobre variedades libre de

coordenadas. Tambin permite una generalizacin natural del teorema fundamental del clculo,
denominada teorema de Stokes, que se puede establecer como

donde es una k-forma general, y indica la frontera de la regin . As en el supuesto de

que sea una 0-forma y sea un intervalo cerrado de la recta real, el teorema de Stokes se
reduce al teorema fundamental del clculo. En el caso de que sea una 1-forma y sea una
regin de dimensin 2 en el plano, el teorema se reduce al teorema de Green. De manera
similar, empleando 2-formas, 3-formas y la dualidad de Hodge, se puede llegar al teorema de
Stokes y al teorema de la divergencia. De esta forma puede verse que las formas diferenciales
suministran una potente visin unificadora de la integracin.
Mtodos y aplicaciones
Clculo de integrales

La tcnica ms bsica para calcular integrales de una variable real se basa en el teorema
fundamental del clculo. Se procede de la siguiente forma:
1. Se escoge una funcin f(x) y un intervalo [a, b].
2. Se halla una primitiva de f, es decir, una funcin F tal que F' = f.
3. Se emplea el teorema fundamental del clculo, suponiendo que ni el integrando ni la
integral tienen singularidades en el camino de integracin,

4. Por tanto, el valor de la integral es F(b) F(a).

Ntese que la integral no es realmente la primitiva, sino que el teorema fundamental permite
emplear las primitivas para evaluar las integrales definidas.
A menudo, el paso difcil de este proceso es el de encontrar una primitiva de f. En raras
ocasiones es posible echar un vistazo a una funcin y escribir directamente su primitiva. Muy a
menudo, es necesario emplear una de las muchas tcnicas que se han desarrollado para evaluar
integrales. La mayora de ellas transforman una integral en otra que se espera que sea ms
manejable. Entre estas tcnicas destacan:

Integracin por cambio de variable

Integracin por partes
Integracin por sustitucin trigonomtrica
Integracin de fracciones racionales

Incluso si estas tcnicas fallan, an puede ser posible evaluar una integral dada. La siguiente
tcnica ms comn es el clculo del residuo, mientras que la serie de Taylor a veces se puede

usar para hallar la primitiva de las integrales no elementales en lo que se conoce como el
mtodo de integracin por series. Tambin hay muchas formas menos habituales para calcular
integrales definidas; por ejemplo, se puede emplear la identidad de Parseval para transformar
una integral sobre una regin rectangular en una suma infinita. En algunas ocasiones, se puede
evaluar una integral empleando un truco; un ejemplo de este tipo se puede ver en la integral de
Gauss.
Los clculos de volmenes de slidos de revolucin se pueden hacer normalmente con la
integracin por discos o la integracin por capas.
Los resultados especficos que se han encontrado empleando las diferentes tcnicas se recogen
en la tabla de integrales.
Algoritmos simblicos

En muchos problemas de matemticas, fsica, e ingeniera en los que participa la integracin es

deseable tener una frmula explcita para la integral. Con esta finalidad, a lo largo de los aos se
han ido publicando extensas tablas de integrales. Con el desarrollo de los ordenadores, muchos
profesionales, educadores y estudiantes han recurrido a los sistemas de clculo algebraico por
ordenador, que han sido diseados especficamente para desarrollar tareas tediosas o difciles,
entre las cuales se encuentra la integracin. La integracin simblica presenta un reto especial
en el desarrollo de este tipo de sistemas.
Una dificultad matemtica importante de la integracin simblica es que, en muchos casos, no
existe ninguna frmula cerrada para la primitiva de una funcin aparentemente inocente. Por
ejemplo, se sabe que las primitivas de las funciones exp ( x2), xx y sen x /x no se pueden
expresar con una frmula cerrada en las que participen slo funciones racionales,
exponenciales, logartmicas, trigonomtricas, inversas de las funciones trigonomtricas, y las
operaciones de suma, multiplicacin y composicin. En otras palabras, ninguna de estas tres
funciones dadas es integrable con funciones elementales. La teora de Galois diferencial
proporciona criterios generales para determinar cundo la primitiva de una funcin elemental es
a su vez elemental. Por desgracia, resulta que las funciones con expresiones cerradas para sus
primitivas son la excepcin en vez de ser la regla. En consecuencia, los sistemas de clculo
algebraico por ordenador, no pueden tener la seguridad de poder encontrar una primitiva para
una funcin elemental cualquiera construida de forma aleatoria. En el lado positivo, si se fijan de
antemano los "bloques constructivos" de las primitivas, an es posible decidir si se puede
expresar la primitiva de una funcin dada empleando estos bloques y las operaciones de
multiplicacin y composicin, y hallar la respuesta simblica en el caso de que exista. El
algoritmo de Risch, implementado en Mathematica y en otros sistemas de clculo algebraico por
ordenador, hacen precisamente esto para funciones y primitivas construidas a partir de
fracciones racionales, radicales, logaritmos y funciones exponenciales.
Algunos integrandos aparecen con la suficiente frecuencia como para merecer un estudio
especial. En particular, puede ser til tener, en el conjunto de las primitivas, las funciones
especiales de la fsica (como las funciones de Legendre, la funcin hipergeomtrica, la funcin
gamma, etctera). Es posible extender el algoritmo de Risch-Norman de forma que abarque
estas funciones, pero se trata de todo un reto.

La mayora de los humanos no son capaces de integrar estas frmulas generales, por lo que en
cierto sentido los ordenadores son ms hbiles integrando frmulas muy complicadas. Es poco
probable que las frmulas muy complejas tengan primitivas de forma cerrada, de modo que
hasta qu punto esto es una ventaja es una cuestin filosfica abierta a debate.
Cuadratura numrica

Mtodos numricos de cuadratura: Rectngulo, Trapezoide, Romberg, Gauss

Las integrales que se encuentran en los cursos bsicos de clculo han sido elegidas
deliberadamente por su simplicidad, pero las que se encuentran en las aplicaciones reales no
siempre son tan asequibles. Algunas integrales no se pueden hallar con exactitud, otras
necesitan de funciones especiales que son muy complicadas de calcular, y otras son tan
complejas que encontrar la respuesta exacta es demasiado lento. Esto motiva el estudio y la
aplicacin de mtodos numricos para aproximar integrales. Hoy en da se usan en la aritmtica
de coma flotante, en ordenadores electrnicos. Para los clculos a mano surgieron muchas ideas
mucho antes; pero la velocidad de los ordenadores de uso general como el ENIAC crearon la
necesidad de mejoras.
Los objetivos de la integracin numrica son la exactitud, la fiabilidad, la eficiencia y la
generalidad. Por ejemplo, la integral

que tiene el valor exacto de (en la prctica ordinaria no se conoce de antemano la respuesta, por
lo que una tarea importante que no se explora aqu es decidir en qu momento una
aproximacin ya es bastante buena.) Un enfoque de "libro de clculo" divide el intervalo de
integracin en, por ejemplo, 16 trozos iguales, y calcula los valores de la funcin.
Valores de la funcin en los puntos
1,00 0,50 0,00
0,50
1,00
1,50
2,00
2,6720 2,3247
0,9400 0,1696 0,8360
f(x) 2,22800 2,45663
0,644000,92575
0
5
0
3
0
x
1.75 1,25 0,75 0,25
0,25
0,75
1,25
1.75
2,3304 2,5856 2,6293 1,6401 0,3244 1,0915 0,6038 0,3173
f(x)
1
2
4
9
4
9
7
4
x

2,00

1,50

Referencias y notas
En el caso de las funciones a las que se aplica la definicin de Riemann, los resultados
coinciden
1. Burton, David M. (2005). The History of Mathematics: An Introduction (6 ed.),
McGraw-Hill, p. 359, ISBN 978-0-07-305189-5
2. Leibniz, Gottfried Wilhelm (1899) (Gerhardt, Karl Immanuel, ed.). Der Briefwechsel von
Gottfried Wilhelm Leibniz mit Mathematikern. Erster Band, Berlin: Mayer & Mller, p. 154
3. Cajori, Florian (1929). A History Of Mathematical Notations, Vol. II, Open Court
Publishing, pp. 247252, ISBN 978-0-486-67766-8
4. Fourier, Jean Baptiste Joseph (1822). Thorie analytique de la chaleur, Chez Firmin
Didot, pre et fils, p. 231, [1]
5. W3C (2006). Arabic mathematical notation [2]
6. Rudin, Walter (1987). "Chapter 1: Abstract Integration", Real and Complex Analysis
(International ed.), McGraw-Hill, ISBN 978-0-07-100276-9
7. Folland, Gerald B. (1984). Real Analysis: Modern Techniques and Their Applications (1
ed.), John Wiley & Sons, ISBN 978-0-471-80958-6
8. Bourbaki, Nicolas (2004). Integration I, Springer Verlag, ISBN 3-540-41129-1. En
particular, los captulos III y IV.
9. Hildebrandt, T. H. (1953). "Integration in abstract spaces", Bulletin of the American
Mathematical Society 59(2): 111139, ISSN 0273-0979 [3]
Bibliografia
Apostol, Tom M. (1967). Calculus, Vol. 1: One-Variable Calculus with an Introduction to
Linear Algebra, 2nd edicin, John Wiley & Sons. ISBN 978-0-471-00005-1.

Bourbaki, Nicolas (2004). Integration I. Springer Verlag. ISBN 3-540-41129-1.. En

particular los captulos III y IV.
Burton, David M. (2005). The History of Mathematics: An Introduction, 6th edicin,
McGraw-Hill, p. 359. ISBN 978-0-07-305189-5.
Cajori, Florian (1929). A History Of Mathematical Notations Volume II. Open Court
Publishing, pp. 247252. ISBN 978-0-486-67766-8.
(forthcoming) Chapter 5: Numerical Integration, Numerical Methods in Scientific
Computing. Philadelphia: SIAM.
Folland, Gerald B. (1984). Real Analysis: Modern Techniques and Their Applications, 1st
edicin, Wiley-Interscience. ISBN 978-0-471-80958-6.
Fourier, Jean Baptiste Joseph (1822). Thorie analytique de la chaleur. Chez Firmin
Didot, pre et fils, p. 231.
Disponible en ingls comoFourier, Joseph (1878). The analytical theory of heat,
Freeman, Alexander (trans.), Cambridge University Press, pp. 200201.
(2002) The Works of Archimedes. Dover. ISBN 978-0-486-42084-4.
(Originalmente publicado por Cambridge University Press, 1897, based on J. L.
Heiberg's Greek version.)
Hildebrandt, T. H. (1953). Integration in abstract spaces (vol. 59), pp. 111139.
(1989) Chapter 5: Numerical Quadrature, Numerical Methods and Software. PrenticeHall. ISBN 978-0-13-627258-8.
Leibniz, Gottfried Wilhelm (1899). Der Briefwechsel von Gottfried Wilhelm Leibniz mit
Mathematikern. Erster Band. Mayer & Mller.

Miller, Jeff. Earliest Uses of Symbols of Calculus.

(1996) A history of the calculus.
Rudin, Walter (1987). Chapter 1: Abstract Integration, Real and Complex Analysis,
International edicin, McGraw-Hill. ISBN 978-0-07-100276-9.
Saks, Stanisaw (1964). Theory of the integral, English translation by L. C. Young. With
two additional notes by Stefan Banach. Second revised edicin, Dover.
(2002) Chapter 3: Topics in Integration, Introduction to Numerical Analysis, 3rd edicin,
Springer-Verlag. ISBN 978-0-387-95452-3..
W3C (2006). Arabic mathematical notation.

Libros online
Keisler, H. Jerome, Elementary Calculus: An Approach Using Infinitesimals, University
of Wisconsin

Stroyan, K.D., A Brief Introduction to Infinitesimal Calculus, University of Iowa

Mauch, Sean, Sean's Applied Math Book, CIT, an online textbook that includes a
complete introduction to calculus
Crowell, Benjamin, Calculus, Fullerton College, an online textbook
Garrett, Paul, Notes on First-Year Calculus
Hussain, Faraz, Understanding Calculus, an online textbook
Kowalk, W.P., Integration Theory, University of Oldenburg. A new concept to an old
problem. Online textbook
Sloughter, Dan, Difference Equations to Differential Equations, an introduction to calculus
Wikibook of Calculus
Numerical Methods of Integration at Holistic Numerical Methods Institute

Teorema fundamental del clculo integral

El teorema fundamental del clculo integral consiste (intuitivamente) en la afirmacin de que la
derivacin e integracin de una funcin son operaciones inversas. Esto significa que toda funcin
continua integrable verifica que la derivada de su integral es igual a ella misma. Este teorema es
central en la rama de las matemticas denominado anlisis matemtico o clculo.
Una consecuencia directa de este teorema es la regla de Barrow, denominada en ocasiones
segundo teorema fundamental del clculo, y que permite calcular la integral de una funcin
utilizando la antiderivada de la funcin al ser integrada.
Aunque los antiguos matemticos griegos como Arqumedes ya contaban con mtodos
aproximados para el clculo de volmenes, reas y longitudes curvas, fue gracias a una idea
originalmente desarrollada por el matemtico ingls Isaac Barrow y los aportes de Isaac Newton
y Gottfried Leibniz que este teorema pudo ser enunciado y demostrado.

Contenido

1 Intuicin geomtrica
2 Primer teorema fundamental del clculo
o 2.1 Demostracin
2.1.1 Lema
2.1.2 Demostracin
o 2.2 Ejemplos
3 Segundo teorema fundamental del
clculo
o 3.1 Demostracin
o

3.2 Ejemplos

El rea rayada en rojo puede ser calculada como h f(x), o si se conociera la funcin A(X), como
A(x+h) A(x). Estos valores son aproximadamente iguales para valores pequeos de h.
Supngase que se tiene una funcin continua y = f(x) y que su representacin grfica es una
curva. Entonces, para cada valor de x tiene sentido de manera intuitiva pensar que existe una
funcin A(x) que representa el rea bajo la curva entre 0 y x an sin conocer su expresin.
Supngase ahora que se quiere calcular el rea bajo la curva entre x y x+h. Se podra hacer
hallando el rea entre 0 y x+h y luego restando el rea entre 0 y x. En resumen, el rea de esta
especie de "loncha" sera A(x+h) A(x).
Otra manera de estimar esta misma rea es multiplicar h por f(x) para hallar el rea de un
rectngulo que coincide aproximadamente con la "loncha". Ntese que la aproximacin al rea
buscada es ms precisa cuanto ms pequeo sea el valor de h.

Por lo tanto, se puede decir que A(x+h) A(x) es aproximadamente igual a f(x) h, y que la
precisin de esta aproximacin mejora al disminuir el valor de h. En otras palabras, (x)h
A(x+h) A(x), convirtindose esta aproximacin en igualdad cuando h tiende a 0 como lmite.
Dividiendo los dos lados de la ecuacin por h se obtiene

Cuando h tiende a 0, se observa que el miembro derecho de la ecuacin es sencillamente la

derivada A(x) de la funcin A(x) y que el miembro izquierdo se queda en (x) al ya no estar h
presente.
Se muestra entonces de manera informal que (x) = A(x), es decir, que la derivada de la funcin
de rea A(x) es en realidad la funcin (x). Dicho de otra forma, la funcin de rea A(x) es la
antiderivada de la funcin original.
Lo que se ha mostrado es que, intuitivamente, calcular la derivada de una funcin y "hallar el
rea" bajo su curva son operaciones "inversas", es decir el objetivo del teorema fundamental del
clculo integral.
Primer teorema fundamental del clculo
Dada una funcin f integrable sobre el intervalo [a,b], definimos F sobre [a,b] por
. Si f es continua en

, entonces F es derivable en c y F'(c) =

f(c).
Demostracin
Lema
Sea f integrable sobre [a,b] y

Entonces

Demostracin [editar]

Por definicin se tiene que

Sea h>0. Entonces

Se define mh y Mh como:
,

Aplicando el 'lema' se observa que

.
Por lo tanto,

Sea h < 0. Sean

,
.
Aplicando el 'lema' se observa que

.
Como

,
entonces
.
Puesto que h < 0, se tiene que

.
Y como f es continua en c se tiene que

,
y esto lleva a que

.
Ejemplos [editar]

Segundo teorema fundamental del clculo

Tambin se le llama regla de Barrow, en honor a Isaac Barrow regla de Newton - Leibniz.
Dada una funcin f continua en el intervalo [a,b] y sea g cualquier funcin primitiva de f, es decir
g'(x)=f(x) para todo
, entonces:

Este teorema se usa frecuentemente para evaluar integrales definidas.

Demostracin
Sea

.
Tenemos por el primer teorema fundamental del clculo que:
.
Por lo tanto,
tal que
Observamos que
0 = F(a) = g(a) + c

y de eso se sigue que c = g(a); por lo tanto,

F(x) = g(x) g(a).
Y en particular si x = b tenemos que:

Ejemplos [editar]

como se puede integrar inmediatamente

Mtodos de integracin
Se entiende por mtodos de integracin cualquiera de las diferentes tcnicas elementales
usadas para calcular una antiderivada o integral indefinida de una funcin.
As, dada una funcin f(x), los mtodos de integracin son tcnicas cuyo uso (usualmente
combinado) permite encontrar una funcin F(x) tal que

,
lo cual, por el teorema fundamental del clculo equivale a hallar una funcin F(x) tal que f(x) es
su derivada:[1]

.
Contenido

1 Integracin directa
2 Mtodo de integracin por sustitucin
o 2.1 Procedimiento prctico

3 Mtodo de integracin por partes

Integracin directa
En ocasiones es posible aplicar la relacin dada por el teorema fundamental del clculo de forma
directa. Esto es, si se conoce de antemano una funcin cuya derivada sea igual a f(x) (ya sea por

disponer de una tabla de integrales o por haberse calculado previamente), entonces tal funcin
es el resultado de la antiderivada.
Ejemplo
Calcular la integral
.
En una tabla de derivadas se puede comprobar que la derivada de tan(x) es sec2(x). Por
tanto:
Ejemplo
Calcular la integral

Una frmula estndar sobre derivadas establece que

la solucin del problema es

. De este modo,

Mtodo de integracin por sustitucin

El mtodo de integracin por sustitucin o por cambio de variable se basa en realizar un
reemplazo de variables adecuado que permita convertir el integrando en algo sencillo con una
integral o antiderivada simple. En muchos casos, donde las integrales no son triviales, se puede
llevar a una integral de tabla para encontrar fcilmente su primitiva. Este mtodo realiza lo
opuesto a la regla de la cadena en la derivacin.
Procedimiento prctico
Supongamos que la integral a resolver es:

En la integral reemplazamos

con (u):

(1)
Ahora necesitamos sustituir tambin
Tenemos que

Se despeja

para que la integral quede slo en funcin de :

por tanto derivando se obtiene

y se agrega donde corresponde en (1):

Simplificando:

Debemos considerar si la sustitucin fue til y por tanto se lleg a una forma mejor, o por el
contrario empeor las cosas. Luego de adquirir prctica en esta operacin, se puede realizar
mentalmente. En este caso qued de una manera ms sencilla dado que la primitiva del coseno
es el seno.
Como ltimo paso antes de aplicar la regla de Barrow con la primitiva debemos modificar los
lmites de integracin. Sustituimos x por el lmite de integracin y obtenemos uno nuevo.
En este caso, como se hizo

:
(lmite inferior)
(lmite superior)

Luego de realizar esta operacin con ambos lmites la integral queda de una forma final:

Mtodo de integracin por partes [editar]

El mtodo de integracin por partes es el que resulta de aplicar el siguiente teorema:

.
Eligiendo adecuadamente los valores de y
integral.

, puede simplificarse mucho la resolucin de la

1. Para cada funcin f(x) existe una infinidad de funciones que tienen a f(x) por derivada, y
por tanto hay una infinidad de soluciones a la integral f(x) dx. Todas estas soluciones
difieren por una constante. Por ejemplo: x+5, x-20, x+ 13.41 son tres soluciones para
2x dx-.
De este modo, si F(x) es una antiderivada de f(x), cualquier funcin de la forma F(x)+C
tambin lo es. Esto se representa como f(x)dx = F(x)+C pero por simplicidad de la
presentacin se omite la constante arbitraria C en cada uno de los ejemplos.

Integral impropia
En clculo, una integral impropia es el lmite de una integral definida cuando uno o ambos
extremos del intervalo de integracin se acercan a un nmero real especfico, a , o a .
Contenido

1 Introduccin
2 Lmites infinitos de integracin
3 Asntotas verticales en los lmites de integracin
4 Valores principales de Cauchy
5 Carcter y valor de las Integrales Impropias
o 5.1 1-Primera especie
o 5.2 2-Segunda Especie
o

5.3 3-Tercera Especie

Introduccin
"Si la funcin f al ser integrada de a a c tiene una discontinuidad en c, especialmente en la forma
de una asntota vertical, o si c = , entonces la integral

Puede ser ms conveniente redefinirla de la siguiente forma:

En algunos casos, la integral de a a c ni siquiera est definida, puesto que las integrales de la
parte positiva y negativa de f(x) dx entre a y c son ambas infinitas, sin embargo el lmite puede
existir. Estos casos corresponden a las llamadas "integrales impropias", es decir, aquellas cuyos
valores no pueden definirse excepto como lmites.
La integral

puede interpretarse como

pero desde el punto de vista del anlisis matemtico no es obligatorio interpretarla de tal manera,
ya que puede interpretarse como una integral de Lebesgue sobre el intervalo (0, ). Por otro

lado, el uso del lmite de integrales definidas en intervalos finitos es til, aunque no sea como
forma de calcular su valor.
En contraste al caso anterior,

no puede ser interpretada como una integral de Lebesgue, ya que

sta es una "verdadera" integral impropia, cuyo valor est dado por

Llamamos singularidades de una integral impropia a los puntos de la recta extendida de nmeros
reales en los cuales debemos utilizar lmites.
Tales integrales son frecuentemente escritas en forma simblica de igual forma que una integral
definida, utilizando un infinito como lmite de integracin. Esto no hace ms que "ocultar" el
debido proceso de calcular los lmites de la integral. Utilizando la ms avanzada integral de
Lebesgue en lugar de una integral de Riemann, uno puede a veces evitar tal operacin. Pero si
slo se desea evaluar el lmite para obtener un valor definido, tal mecanismo pudiera no resultar
de ayuda. El concepto de integral de Lebesgue es ms o menos esencial en el tratamiento
terico de la transformada de Fourier que hace uso extensivo de integrales sobre el total de la
recta real.
Lmites infinitos de integracin
Las integrales impropias ms bsicas son integrales como:

Como dijimos anteriormente stas no necesitan ser definidas como una integral impropia, ya que
pueden ser construidas como una integral de Lebesgue. Sin embargo, para propsitos de
computar esta integral, es ms conveniente tratarla como un integral impropia, i.e., evaluarla
cuando el lmite superior de integracin es finito y entonces coger el lmite ya que este lmite se
acerca a . La primitiva de la funcin que est siendo integrada es arctan x. La integral es

Asntotas verticales en los lmites de integracin

Considera

Esta integral involucra una funcin con una asntota vertical en x = 0.

Uno puede obtener el valor de esta integral evalundola desde b a 1, y entonces tomando el
lmite como b tendiendo a 0. Ntese que la antiderivativa de la anterior funcin es
3x1 / 3,
la cual puede ser evaluada por sustitucin directa para dar el valor

El lmite cuando b 0 es 3 0 = 3.
Valores principales de Cauchy [editar]
Considera la diferencia en los valores de dos lmites:

La primera es el valor principal de Cauchy

Similarmente, tenemos

pero

La primera es el valor principal

Todos los lmites anteriores son casos de la forma de indeterminacin .

Carcter y valor de las Integrales Impropias
Si la integral que nos ocupa es de fcil resolucin podemos determinar su carcter mediante el
clculo de la integral impropia. Segn el resultado que obtengamos sabremos si es convergente
o divergente. Primero clasifiquemos las integrales en 3 tipos:
1-Primera especie

Son del tipo:

Para poder determinar su carcter realizamos la siguiente operacin (suponemos el primer caso
de primera especie, con el segundo es equivalente):

Si existe el

y es finito y en ese caso

, entonces se dice que la integral es convergente o

que la integral converge. Se dice que es divergente si

dice que es una integral oscilante si el limite no existe.

es + - infinito, y se

...
2-Segunda Especie

Son del tipo:

extremos de integracin.

y que f(x) no esta definida en el intervalo de integracin o en los

Para poder determinar su carcter realizamos la siguiente operacin (suponemos que el punto
conflictivo se encuentra en x = a):

Si el

existe y es finito y en este caso

, entonces se dice que la integral es convergente o que

la integral converge. Se dice que es divergente en cualquier otro caso.
3-Tercera Especie
Son mezclas de los dos tipos anteriores, es decir, que presentan un infinito en los extremos de
integracin y la funcin se hace infinito en uno o ms puntos del intervalo de integracin.

Este tipo de integrales impropias se pueden dividir en suma de dos integrales: una de primera
especie y otra de segunda especie. Por lo tanto deberemos seguir los pasos anteriores para
determinar su carcter, y tener en cuenta que para que sea convergente tanto la integral de
primera especie como la de segunda especie tienen que ser convergentes, si no, en cualquier
otro caso, diverge.