Integracin

Integrales indenidas
Integrales denidas
Integrales impropias
Integral de lnea
Integrales mltiples (dobles o triples)
Integrales trigonomtricas, logartmicas y
exponenciales
Mtodos de integracin
Teorema fundamental del clculo
Volumen de un slido de revolucin

2 Teora
La integral denida de una funcin representa el rea limita-
da por la grca de la funcin, en un sistema de coordenadas
cartesianas con signo positivo cuando la funcin toma valores
positivos y signo negativo cuando toma valores negativos.

La integracin es un concepto fundamental del clculo

y del anlisis matemtico. Bsicamente, una integral es
una generalizacin de la suma de innitos sumandos, in-
nitamente pequeos.
El clculo integral, encuadrado en el clculo innitesi-
mal, es una rama de las matemticas en el proceso de in-
tegracin o antiderivacin. Es muy comn en la ingenie-
ra y en la ciencia tambin; se utiliza principalmente para
el clculo de reas y volmenes de regiones y slidos de b f (x) dx se interpreta como el rea bajo la curva de f, entre a
a
revolucin. y b.
Fue usado por primera vez por cientcos como
Arqumedes, Ren Descartes, Isaac Newton, Gottfried Dada una funcin f (x) de una variable real x y un
Leibniz e Isaac Barrow. Los trabajos de este ltimo y los intervalo [a, b] de la recta real, la integral es igual al rea
aportes de Newton generaron el teorema fundamental del de la regin del plano xy limitada entre la grca de f ,
clculo integral, que propone que la derivacin y la inte- el eje x , y las lneas verticales x = a y x = b , donde son
gracin son procesos inversos. negativas las reas por debajo del eje x .

b
a
f (x) dx
1 Principales objetivos del clculo
integral 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 inde-
Sus principales objetivos a estudiar son:
nida, mientras que las integrales tratadas en este artcu-
lo son las integrales denidas. Algunos autores mantie-
rea de una regin plana
nen una distincin entre integrales primitivas e indeni-
Cambio de variable das.

1
2 3
Los principios de la integracin fueron formulados por
Newton y Leibniz a nales 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 denida de una funcin
se puede calcular fcilmente una vez se conoce una an-
tiderivada. Las integrales y las derivadas pasaron a ser
herramientas bsicas del clculo, con numerosas aplica-
ciones en ciencia e ingeniera.
Bernhard Riemann dio una denicin rigurosa de la in-
tegral. 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 apa-
recer nociones ms sosticadas de la integral, donde se
han generalizado los tipos de las funciones y los domi-
nios sobre los cuales se hace la integracin. La integral
curvilnea se dene para funciones vectoriales de una va-
riable, y el intervalo de integracin [a,b] se sustituye por
el de la parametrizacin de la curva sobre la cual se est
integrando, la cual, conecta dos puntos del plano o del es-
pacio. En una integral de supercie, la curva se sustituye
por un trozo de una supercie en el espacio tridimensio-
nal.
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 im-
portante en la formulacin de muchas leyes fsicas cmo,
por ejemplo, las del electromagnetismo. Los conceptos
modernos de integracin se basan en la teora matem-
tica abstracta conocida como integral de Lebesgue, que
fue desarrollada por Henri Lebesgue.
3 Historia
3.1 Integracin antes del clculo
La integracin se puede trazar en el pasado hasta el
antiguo Egipto, circa 1800 a. C., 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 in-
tegrales es el mtodo de exhauscin de Eudoxo (circa 370
a. C.), que trataba de encontrar reas y volmenes a base
de partirlos en un nmero innito de formas para las cua-
les 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 apro-
ximacin 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 pa-
ra encontrar el volumen de una esfera. En el Siddhanta
Shiromani, un libro de astronoma del siglo XII del mate-
mtico indio Bhaskara II, se encuentran algunas ideas de
clculo integral.
HISTORIA
Hasta el siglo XVI no empezaron a aparecer adelantos sig-
nicativos sobre el mtodo de exhauscin. En esta po-
ca, por un lado, con el trabajo de Cavalieri con su m-
todo 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 produ-
jeron nuevos adelantos con las aportaciones de Barrow y
Torricelli, que presentaron los primeros indicios de una
conexin entre la integracin y la derivacin.
3.2 Newton y Leibniz
Los principales adelantos en integracin vinieron en el si-
glo XVII con la formulacin 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 clcu-
lo de derivadas, se puede usar para calcular integrales.
En particular, el teorema fundamental del clculo permi-
te resolver una clase ms amplia de problemas. Tambin
cabe destacar todo el marco estructural alrededor de las
matemticas que desarrollaron tambin Newton y Leib-
niz. El llamado clculo innitesimal permiti analizar, de
forma precisa, funciones con dominios continuos. Poste-
riormente, este marco ha evolucionado hacia el clculo
moderno, cuya notacin para las integrales procede di-
rectamente del trabajo de Leibniz.
3.3 Formalizacin de las integrales
Aunque Newton y Leibniz proporcionaron un enfoque
sistemtico a la integracin, su trabajo careca de un cier-
to nivel de rigor. Es memorable la expresin del obispo
Berkeley interpretando los innitesimales como los fan-
tasmas de las cantidades que se desvanecen.
El clculo adquiri una posicin ms rme con el desarro-
llo de los lmites y, en la primera mitad del siglo XIX, re-
cibi una fundamentacin adecuada por parte de Cauchy.
La integracin fue rigurosamente formalizada por pri-
mera vez por Riemann, empleando lmites. A pesar de
que todas las funciones continuas fragmentadas y acota-
das son integrables en un intervalo acotado, ms tarde se
consideraron funciones ms generales para las cuales la
denicin de Riemann no era aplicable y por tanto no
eran integrables en el sentido de Riemann. Posteriormen-
te Lebesgue dio una denicin diferente de la integral[1]
basada en la teora de la medida que generalizaba la de-
nicin de Riemann, as toda funcin integrable en el sen-
tido de Riemann tambin lo es en el sentido de Lebesgue,
aunque existen algunas funciones integrables en el senti-
do de Lebesgue que no lo son en el sentido de Riemann.
Ms recientemente se han propuesto otras deniciones de
integral an ms generales, que amplan las deniciones
de Riemann y Lebesgue.

3.4 Notacin
El smbolo de integral en escritos (de izquierda a derecha) ingle-
ses, alemanes y rusos.
Isaac Newton usaba una pequea barra vertical encima
de una variable para indicar integracin, o pona la va-
riable dentro de una caja. La barra vertical se confunda
fcilmente con x o x , 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 indenidas fue pre-
sentada por Gottfried Leibniz en 1675.[2][3] Para indicar
summa (umma; en latn, suma o total), adapt el sm-
bolo integral, "", a partir de una letra S alargada por-
que consideraba a la integral como una suma innita de
addendas innitesimales. La notacin moderna de la in-
tegral denida, con los lmites arriba y abajo del signo
integral, la us por primera vez Joseph Fourier en M-
moires de la Academia Francesa, alrededor de 1819-20,
reimpresa en su libro de 1822.[4][5]
Existen ligeras diferencias en la notacin del smbolo de
la integral en la literatura de las diversas lenguas: el sm-
bolo ingls est inclinado hacia la derecha, en alemn
tradicionalmente se ha escrito derecho (sin inclinacin)
mientras la variante rusa tradicional est inclinada hacia
la izquierda.
En la notacin matemtica en rabe moderno, que se es-
cribe de derecha a izquierda, se usa un signo integral in-
vertido .[6]
3.5 Generalizaciones modernas
Tras la creacin del clculo integral a partir del siglo
XVII, y su desarrollo ms o menos intuitivo durante un
par de siglos, la nocin de integracin fue analizada con
mayor rigor durante el siglo XIX. As la primera nocin
rigurosa de integracin es el concepto de integral de Rie-
mann, as como su generalizacin conocida como integral
de Riemann-Stieltjes. A principios del siglo XX, el desa-
rrollo de la teora de la medida llev al concepto ms ge-
3
neral y cualitativamente ms avanzado de integral de Le-
besgue. Ms tarde el desarrollo de la nocin de proceso
estocstico dentro de la teora de la probabilidad llev a
la formulacin de la integral de It hacia el nal de la
primera mitad del siglo XX, y posteriormente a su gene-
ralizacin conocida como integral de Skorohod (1975).
Asimismo desde los aos 1960, se ha buscado denicin
matemticamente rigurosa de integral de caminos cun-
ticos.
4 Terminologa y notacin
Si una funcin tiene una integral, se dice que es integra-
ble. De la funcin de la cual se calcula la integral se dice
que es el integrando. Se denomina dominio de integra-
cin a la regin sobre la cual se integra la funcin. Si la
integral no tiene un dominio de integracin, se considera
indenida (la que tiene dominio se considera denida).
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 geo-
mtrica 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
b
a
f (x) dx
El signo , una S alargada, representa la integracin;
a y b son el lmite inferior y el lmite superior de la
integracin y denen 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 interpretacio-
nes 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 pasos en la suma de Riemann, una medida (en la inte-
gracin de Lebesgue y sus extensiones), un innitesimal
(en anlisis no estndar) o como una cantidad matemti-
ca independiente: una forma diferencial. Los casos ms
complicados pueden variar la notacin ligeramente.
5 Conceptos y aplicaciones
Las integrales aparecen en muchas situaciones prcticas.
Considrese una piscina. Si es rectangular y de profundi-
dad uniforme, entonces, a partir de su longitud, anchura
y profundidad, se puede determinar fcilmente el volu-
men de agua que puede contener (para llenarla), el rea
de la supercie (para cubrirla), y la longitud de su borde
(si se requiere saber su medida). Pero si es ovalada con un
fondo redondeado, las cantidades anteriores no son sen-
cillas de calcular. Una posibilidad es calcularlas mediante
integrales.
4 5 CONCEPTOS Y APLICACIONES

Ntese que se est sumando una cantidad nita de valo-

1 res de la funcin f, multiplicados por la diferencia entre
dos puntos de aproximacin sucesivos. Se puede ver fcil-
mente que las continuas aproximaciones continan dando
0.8
un valor ms grande que el de la integral. Empleando ms
pasos se obtiene una aproximacin ms ajustada, pero no
0.6 ser nunca exacta. Si en vez de 5 subintervalos se toman
doce y ahora tomamos las abscisas de la izquierda, tal co-
mo se muestra en el dibujo, se obtiene un estimado para
0.4 el rea, de 0,6203, que en este caso es de menor valor que
el anteriormente determinado. La idea clave es la transi-
cin desde la suma de una cantidad nita de diferencias
0.2 de puntos de aproximacin multiplicados por los respec-
tivos valores de la funcin, hasta usar pasos innitamente
nos, o innitesimales. La notacin
0
0 0.2 0.4 0.6 0.8 1


f (x) dx
Aproximaciones a la integral de x entre 0 y 1, con 5 muestras
por la izquierda (arriba) y 12 muestras por la derecha (abajo).
concibe la integral como una suma ponderada (denotada
por la S alargada), de los valores de la funcin multi-
Para el clculo integral de reas se sigue el siguiente ra- plicados por pasos de anchura innitesimal, los llamados
zonamiento: diferenciales (indicados por dx).
Con respecto al clculo real de integrales, el teorema
1. Por ejemplo, consideremos la curva mostrada en la
fundamental del clculo, debido a Newton y Leibniz, es el
gura de arriba, grca de la funcin y = f (x) =
vnculo fundamental entre las operaciones de derivacin
x , acotada entre x = 0 y x = 1 .
e integracin. Aplicndolo a la curva raz cuadrada, se
3
2. La respuesta a la pregunta Cul es el rea bajo la tiene que mirar la funcin relacionada F (x) = 23 x 2 y
curva de funcin f , en el intervalo desde 0 hasta 1 simplemente tomar F (1) F (0) , donde 0 y 1 son las
? es: que el rea coincidir con la integral de f . La fronteras del intervalo [0,1]. ste es un ejemplo de una
notacin para esta integral ser regla general, que dice que para f (x) = xq , con q 1,
la funcin relacionada, la llamada primitiva, es F (x) =
1 xq+1
q+1 . De este modo, el valor exacto del rea bajo la curva
x dx
0 se calcula formalmente como:
Una primera aproximacin, aunque no muy precisa, para 1
obtener esta rea, consiste en determinar el rea del cua- 1 1 1 3 
0
x dx = 0 x 2 dx = ( 32 x 2 ) =
drado unidad cuyo lado lo da la distancia desde x=0 hasta 0
2 32 3
x=1 o tambin la longitud entre y=f(0)=0 y y=f(1)=1. Su 31 23 0 2 = 32 .
rea es exactamente 1x1 = 1. Tal como se puede inferir,
el verdadero valor de la integral tendr que ser ms pe- Como se puede ver, la segunda aproximacin de 0,7 (con
queo. Particionando la supercie en estudio, con trazos cinco rectangulitos), arroj un valor superior al valor
verticales, de tal manera que vamos obteniendo peque- exacto; en cambio la aproximacin con 12 rectangulitos
os rectngulos, y reduciendo cada vez ms el ancho de de 0,6203 es una estimacin muy por debajo del valor
los rectngulos empleados para hacer la aproximacin, exacto (que es de 0,666...).
se obtendr un mejor resultado. Por ejemplo, dividamos
Histricamente, despus de que los primeros esfuerzos
el intervalo en cinco partes, empleando los puntos 0, 1 5 ,
2 3 4 de denir rigurosamente los innitesimales no fructica-
5 , 5 , 5 y nalmente la abscisa 1. Se obtienen cinco rec-
sen, Riemann deni formalmente las integrales como el
tngulos cuyas alturas se determinan aplicando la funcin
lmite de sumas ponderadas, de forma que el dx sugie-
con las abscisas anteriormente descritas
(del ladoderecho
re el lmite de una diferencia (la anchura del intervalo).
de cada pedazo de la curva), as 1/ ,
5
2/ ,
5
3/
5
La dependencia de la denicin de Riemann de los in-
y as hasta 1 = 1 . Sumando las reas de estos rectn-
tervalos y la continuidad motiv la aparicin de nuevas
gulos, se obtiene una segunda aproximacin de la integral
deniciones, especialmente la integral de Lebesgue, que
que se est buscando,
se basa en la habilidad de extender la idea de medida
de maneras mucho ms exibles. As, la notacin
( ) ( ) ( )
1 1 2 2 1 5 5 4
0 + +. . .+ 0, 7497 f (x) d
5 5 5 5 5 5 5 5 A
6.1 Integral de Riemann 5

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 in-
tegracin.) La geometra diferencial, con su clculo de
variedades", proporciona otra interpretacin a esta nota-
cin familiar. Ahora f(x) y dx pasan a ser una forma dife-
rencial, = f(x)dx, aparece un nuevo operador diferen-
cial d, conocido como la derivada exterior, y el teorema
fundamental pasa a ser el (ms general) teorema de Sto-
kes,

A
d = A
,

a partir del cual se deriva el teorema de Green, el teorema

de la divergencia, y el teorema fundamental del clculo.
Recientemente, los innitesimales han reaparecido con
rigor, a travs de innovaciones modernas como el anlisis
no estndar. Estos mtodos no solo reivindican la intui-
cin de los pioneros, tambin llevan hacia las nuevas ma- Integral con el planteamiento de Riemann hace una suma ba-
temticas, y hacen ms intuitivo y comprensible el traba- sada en una particin etiquetada, con posiciones de muestreo y
jo con clculo innitesimal. anchuras irregulares (el mximo en rojo). El verdadero valor es
3,76; la estimacin obtenida es 3,648.
A pesar de que hay diferencias entre todas estas concep-
ciones 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 innitesimales, co-
mo una integral de Riemann, como una integral de Lebes-
gue, o como una variedad con una forma diferencial. El
resultado obtenido con el clculo ser el mismo en todos
los casos.

6 Deniciones formales
Hay muchas maneras de denir formalmente una inte-
gral, no todas equivalentes. Se establecen diferencias para
poder abordar casos especiales que no pueden ser integra-
bles con otras deniciones, pero tambin en ocasiones por
razones pedaggicas. Las deniciones ms utilizadas de
la integral son las integrales de Riemann y las integrales
de Lebesgue.
Convergencia de sumatorios de Riemann a medida en que se par-
ten los intervalos, cuando se muestrea a la derecha, el mni-
6.1 Integral de Riemann mo, el mximo, o la izquierda.

La integral de Riemann se dene en trminos de sumas

subintervalo i; el paso de esta particin etiquetada es el
de Riemann de funciones respecto de particiones etique-
ancho del subintervalo ms grande obtenido por la par-
tadas de un intervalo. Sea [a,b] un intervalo cerrado de
ticin, maxin i. Un sumatorio de Riemann de una
la recta real; entonces una particin etiquetada de [a,b] es
funcin f respecto de esta particin etiquetada se dene
una secuencia nita
como
a = x0 t1 x1 t2 x2
xn1 tn xn = b. y denotamos la parti-
n

cin como P = {xi |i = 0, 1, ..., n} f (ti )i ;

i=1

Esto divide al intervalo [a,b] en n subintervalos [xi, xi], As cada trmino del sumatorio es el rea del rectngulo
cada uno de los cuales es etiquetado con un punto es- con altura igual al valor de la funcin en el punto especi-
pecicado ti de; [xi, xi]. Sea i = xixi la anchura del cado del subintervalo dado, y de la misma anchura que la
6 6 DEFINICIONES FORMALES

anchura del subintervalo. La integral de Riemann de una

funcin f sobre el intervalo [a,b] es igual a S si:

Para todo > 0 existe > 0 tal que, para cual-

quier particin etiquetada [a,b] con paso ms
pequeo que , se tiene
n
|S i=1 f (ti )i | <
b
, donde S n = a
f =
limi 0 i=1 f (ti )i

Cuando las etiquetas escogidas dan el mximo (o mni- Integracin de Riemann-Darboux (azul) e integracin de Lebes-
mo) valor de cada intervalo, el sumatorio de Riemann pa- gue (rojo).
sa 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.
6.3 Integral de Lebesgue
6.2 Integral de Darboux
La integral de Riemann no est denida para un ancho
La Integral de Darboux se dene en trminos de sumas
abanico de funciones y situaciones de importancia prc-
de los siguientes tipos:
tica (y de inters terico). Por ejemplo, la integral de Rie-
n mann puede integrar fcilmente la densidad para obtener
L(f, P ) = i m i (xi la masa de una viga de acero, pero no se puede adaptar
n
xi1 ), U (f, P ) = i Mi (xi xi1 ) a una bola de acero que se apoya encima. Esto motiva la
creacin de otras deniciones, bajo las cuales se puede in-
[8]
Llamadas suma inferior y superior respectivamente, don- tegrar un surtido ms amplio de funciones. La integral
de: de Lebesgue, en particular, logra una gran exibilidad a
base de centrar la atencin en los pesos de la suma pon-
derada.
Mi = sup{f (x)|x
[xi1 , xi ]}, mi = inf{f (x)|x As, la denicin de la integral de Lebesgue empieza con
[xi1 , xi ]} una medida, . En el caso ms sencillo, la medida de Le-
besgue (A) de un intervalo A = [a, b] es su ancho, b a,
son las alturas de los rectngulos, y xi-xi-1 la longitud de as la integral de Lebesgue coincide con la integral de Rie-
la base de los rectngulos. La integral de Darboux est mann cuando existen ambas. En casos ms complicados,
denida como el nico nmero acotado entre las sumas los conjuntos a medir pueden estar altamente fragmenta-
inferior y superior, es decir, dos, sin continuidad y sin ningn parecido a intervalos.
Para explotar esta exibilidad, la integral de Lebesgue
b invierte el enfoque de la suma ponderada. Como expresa
L(f, P ) a f U (f, P )
Folland:[9] Para calcular la integral de Riemann de f, se
particiona el dominio [a, b] en subintervalos, mientras
La interpretacin geomtrica de la integral de Darboux que en la integral de Lebesgue, de hecho lo que se est
sera el clculo del rea de la regin en [a,b] por el Mtodo particionando es el recorrido de f".
exhaustivo. La integral de Darboux de una funcin f en
[a,b] existe si y solo si Un enfoque habitual dene primero la integral de la
funcin caracterstica de un conjunto medible A por:
sup {L(f, P )} = inf {U (f, P )}

Del Teorema de Caracterizacin que dice que si f es in-

tegrable en [a,b] entonces >0 P particin de [a,b] 1A d = (A)
: 0U(f,P)-L(f,P), evidencia la equivalencia entre las
deniciones de Integral de Riemman e Integral de Dar-
boux pues se sigue que[7]

b n Esto se extiende por linealidad a las funciones escalona-

a
f i=1 f (ti )i U (f, P ) das simples, que solo tienen un nmero nito n, de valores
L(f, P ) . diferentes no negativos:
6.4 Otras integrales 7

soportadas forman un espacio vectorial que comporta una

(
n
) topologa natural, y se puede denir una medida (Radon)
s d = ai 1Ai d como cualquier funcional lineal continuo de este espacio;
i=1
entonces el valor de una medida en una funcin compac-
n tamente soportada, es tambin, por denicin, la integral
= ai 1Ai d de la funcin. Entonces se contina expandiendo la me-
i=1 dida (la integral) a funciones ms generales por continui-
n dad, y se dene la medida de un conjunto como la integral
= ai (Ai ) de su funcin caracterstica. Este es el enfoque que toma
i=1 Bourbaki[10] y cierto nmero de otros autores. Para ms
(donde la imagen de Ai al aplicarle la funcin escalonada s detalles, vase medidas de Radon.
es el valor constante ai). As, si E es un conjunto medible,
se dene
6.4 Otras integrales

n A pesar de que las integrales de Riemann y Lebesgue
s d = ai (Ai E). son las deniciones ms importantes de integral, hay unas
E i=1 cuntas ms, por ejemplo:
Entonces, para cualquier funcin medible no negativa f
se dene La integral de Riemann-Stieltjes, una extensin de
la integral de Riemann.
{ }
La integral de Lebesgue-Stieltjes, desarrollada por
f d = sup s d : 0 s f y sescalonada funcion una es ; Radon, que generaliza las integrales de
Johann
E E Riemann-Stieltjes y de Lebesgue.
Es decir, se establece que la integral de f es el supremo de
La integral de Daniell, que incluye la integral de Le-
todas las integrales de funciones escalonadas que son ms
besgue y la integral de Lebesgue-Stieltjes sin tener
pequeas o iguales que f. Una funcin medible cualquiera
que depender de ninguna medida.
f, se separa entre sus valores positivos y negativos a base
de denir La integral de Henstock-Kurzweil, denida de for-
ma variada por Arnaud Denjoy, Oskar Perron, y
{ Jaroslav Kurzweil, y desarrollada por Ralph Hens-
f (x), sif (x) > 0 tock.
f + (x) =
0, modo otro de
{ La integral de Haar, que es la integral de Lebesgue
f (x), sif (x) < 0 con la medida de Haar.
f (x) =
0, modo otro de
La integral de McShane.
Finalmente, f es Lebesgue integrable si
La integral de Bochner.
La integral de It, integral que extiende a la inte-
|f | d < , gral de Riemann-Stieltjes, permite integrar respecto
E a procesos estocsticos que pueden no ser de varia-
y entonces se dene la integral por cin acotada como el movimiento browniano.

f d = f + d f d. 7 Propiedades de la integracin
E E E

Cuando el espacio mtrico en el que estn denidas las 7.1 Linealidad

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 ade-
cuado (medidas de Radon, de las cuales es un ejemplo
la medida de Lebesgue) una integral respecto de ellas se
puede denir de otra manera, se empieza a partir de las
integrales de las funciones continuas con soporte compac-
to. De forma ms precisa, las funciones compactamente
El conjunto de las funciones Riemann integrables en
un intervalo cerrado [a, b] forman un espacio vec-
torial 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
8 7 PROPIEDADES DE LA INTEGRACIN
b continuidad y la normalizacin para ciertas clases de fun-
f 7 f dx
a alternativa de integral. Este es el enfoque de Daniell para
es un funcional lineal de este espacio vectorial.
As, en primer lugar, el conjunto de funcio-
nes integrables es cerrado con la combinacin
lineal, y en segundo lugar, la integral de una
combinacin lineal es la combinacin lineal de
las integrales,
b b
(f +g)(x) dx = f (x) dx+
a a
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 es-
pacio vectorial, y la integral de Lebesgue
f 7 f d
E
es un funcional lineal de este espacio vectorial,
de forma que
(f + g) d = f d + g d.
E E
De forma ms general, si se toma el espacio vecto-
rial de todas las funciones medibles sobre un espacio
mtrico (E,), que toman valores en un espacio vec-
torial topolgico completo localmente compacto V
sobre un campo topolgico localmente compacto K,
f : E V. Entonces se puede denir una aplicacin
integracin abstracta que a cada funcin f le asigna
un elemento de V o el smbolo ,
f 7 f d,
E Subintervalos. Si [c, d] es un subintervalo de [a, b] y
que es compatible con las combinaciones linea-
les. En esta situacin, la linealidad se sostiene
para el subespacio de las funciones, cuya inte-
gral es un elemento de V (es decir, las integra-
les nitas). Los casos ms importantes sur-
gen cuando K es R, C, o una extensin nita
del campo Qp de nmeros p-dicos, y V es un
espacio vectorial de dimensin nita sobre K,
y cuando K=C y V es un espacio de Hilbert
complejo.
La linealidad, junto con algunas propiedad naturales de
ciones simples, se pueden usar para dar una denicin
el caso de funciones reales en un conjunto X, generali-
zado por Bourbaki a funciones que toman valores en un
espacio vectorial topolgicamente compacto. Vase Hil-
debrandt (1953)[11] para una caracterizacin axiomtica
de la integral.
7.2 Desigualdades con integrales
b
Se verican varias desigualdades generales para funciones
g(x) dx. Riemann integrables denidas en un intervalo cerrado y
a acotado [a, b] y se pueden generalizar a otras nociones de
integral (Lebesgue y Daniell).
Cotas superiores e inferiores. Una funcin f integra-
ble en [a, b], es necesariamente acotada en el in-
tervalo. 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
b
m(b a) f (x) dx M (b a).
a
Desigualdades entre funciones. Si f(x) g(x) para
todo x de [a, b] entonces cada uno de los sumatorios
E superior e inferior de f son acotados inferior y supe-
riormente por los sumatorios superior e inferior de
g respectivamente. As
b b
f (x) dx g(x) dx.
a a
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].
f(x) es no negativa para todo x, entonces
d b
f (x) dx f (x) dx.
c a
Productos y valores absolutos de funciones. Si f y
g son dos funciones, entonces podemos emplear su
producto, potencias y valores absolutos:
7.3 Convenciones 9

sobre un intervalo [a, b] est denida si a < b. Esto signi-

ca que los sumatorios superiores e inferiores de la funcin
(f g)(x) = f (x)g(x), f 2 (x) = (f (x))2 , |f |(x) = |f (x)|.f se evalan sobre una particin a = x0 x1 . . . xn = b
cuyos valores xi son crecientes. Geomtricamente signi-
Si f es Riemann integrable en [a, b] entonces ca que la integracin tiene lugar de izquierda a derecha,
lo mismo se cumple para |f|, y evaluando f dentro de intervalos [xi , xi ] donde el in-
  tervalo con un ndice ms grande queda a la derecha del
 b  b
  intervalo con un ndice ms pequeo. Los valores a y b,
 f (x) dx |f (x)| dx.
 a  a los puntos extremos del intervalo, se denominan lmites
de integracin de f. Las integrales tambin se pueden de-
Es ms, si f y g son ambas Riemann integrables nir si a > b:
entonces f 2 , g 2 , y fg son tambin Riemann
integrables, y
Inversin de los lmites de integracin. si a > b enton-
( )2 ( ) ( ) ces se dene
b b b
(f g)(x) dx f (x)2 dx g(x)2 dx .
a a a

Esta desigualdad se conoce como desigualdad b a

de Cauchy-Schwarz, y desempea un papel f (x) dx = f (x) dx.

a b
fundamental en la teora de los espacios de Hil-
bert, donde el lado de la derecha se interpreta Ello, con a = b, implica:
como el producto escalar de dos funciones in-
tegrables f y g en el intervalo [a, b].
Integrales sobre intervalos de longitud cero. si a es un
nmero real entonces
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 funcio-

nes |f|p y |g|q tambin son integrables y se cumple la a

desigualdad de Hlder: f (x) dx = 0.

a
 
 f (x)g(x) dx La primera convencin es necesaria al calcular integra-
( )1/p ( )1/q
p
|f (x)| dx
q
|g(x)| dx . les sobre subintervalos de [a, b]; la segunda dice que una
integral sobre un intervalo degenerado, o un punto, tiene
Para el caso de p = q = 2, la desigualdad de
que ser cero. Un motivo para la primera convencin es
Hlder pasa a ser la desigualdad de Cauchy
que la integrabilidad de f sobre un intervalo [a, b] im-
Schwarz.
plica que f es integrable sobre cualquier subintervalo [c,
d], pero en particular las integrales tienen la propiedad de
Desigualdad de Minkowski. Si p 1 es un nme- que:
ro real y f y g son funciones Riemann integrables.
Entonces |f|p , |g|p y |f + g|p son tambin Riemann in-
Aditividad de la integracin sobre intervalos. si c es
tegrables y se cumple la desigualdad de Minkowski:
cualquier elemento de [a, b], entonces
( p )1/p
|f (x) + g(x)| dx
( p )1/p ( p )1/p
|f (x)| dx + |g(x)| dx . b c b
Una desigualdad anloga a sta para la integral f (x) dx = f (x) dx + f (x) dx.
a a c
de Lebesgue se usa en la construccin de los
espacios Lp .
Con la primera convencin la relacin resultante

7.3 Convenciones c b b
f (x) dx = f (x) dx f (x) dx
En esta seccin f es una funcin real Riemann integrable. a a c
La integral b c
= f (x) dx + f (x) dx
a b
b queda bien denida para cualquier permutacin cclica de
f (x) dx a, b, y c.
a
10 9 EXTENSIONES

En lugar de ver lo anterior como convenciones, tambin 9 Extensiones

se puede adoptar el punto de vista de que la integracin
se hace solo sobre variedades orientadas. Si M es una tal
9.1 Integrales impropias
forma m-dimensional 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 diferen- 3
ciales):

2.5
= .
M M
2

8 Teorema fundamental del clculo 1.5

El teorema fundamental del clculo es la armacin de 1

que la derivacin y la integracin son operaciones inver-
sas: si una funcin continua primero se integra y luego se
deriva, se recupera la funcin original. Una consecuencia 0.5
importante, en ocasiones denominada el segundo teore-
ma fundamental del clculo, permite calcular integrales 0
a base de emplear una primitiva de la funcin a integrar. 0 0.5 1 1.5 2 2.5 3

8.1 Enunciado de los teoremas La

integral impropia
dx
0 (x+1) x
= tiene intervalos no acotados tanto en el do-
Teorema fundamental del clculo. Sea f una funcin minio como en el recorrido.
real integrable denida en un intervalo cerrado [a,
Una integral de Riemann propia supone que el integran-
b]. Si se dene F para cada x de [a, b] por
do est denido y es nito en un intervalo cerrado y aco-
tado, cuyos extremos son los lmites de integracin. Una
x integral impropia aparece cuando una o ms de estas con-
F (x) = f (x) dx. diciones no se satisface. En algunos casos, estas integra-
a les se pueden denir tomando el lmite de una sucesin
entonces F es continua en [a, b]. Si f es conti- de integrales de Riemann propias sobre intervalos suce-
nua en x de [a, b], entonces F es derivable en sivamente ms largos.
x, y F (x) = f(x). Si el intervalo no es acotado, por ejemplo en su extremo
superior, entonces la integral impropia es el lmite cuando
Segundo teorema fundamental del clculo. Sea f una el punto nal tiende a innito.
funcin real, integrable denida en un intervalo ce-
rrado [a, b]. Si F es una funcin tal que F (x) = f(x)
b
para todo x de [a, b] (es decir, F es una primitiva de
f), entonces f (x)dx = lim f (x)dx
a b a

Si el integrando solo est denido en un intervalo nito

b
semiabierto, por ejemplo (a,b], entonces, otra vez el lmi-
f (x) dx = F (b) F (a). te puede suministrar un resultado nito.
a

Corolario. Si f es una funcin continua en [a, b], b b

entonces f es integrable en [a, b], y F, denida por f (x)dx = lim f (x)dx
a 0 a+

Esto es, la integral impropia es el lmite de integrales pro-

b pias cuando uno de los puntos extremos del intervalo de
F (x) = f (x) dx integracin se aproxima, ya sea a un nmero real especi-
a cado, o , o . En casos ms complicados, hacen falta
es una primitiva de f en [a, b]. Adems, lmites en los dos puntos extremos o en puntos interiores.
b 1
Por ejemplo, la funcin (x+1) integrada desde 0 a
x
f (x) dx = F (b) F (a). (imagen de la derecha). En el extremo inferior, a medida
a
9.2 Integracin mltiple 11

que x se acerca a 0 la funcin tiende a , y el extremo en este punto, y el lmite de las integrales de los dos lados
superior es l mismo , a pesar de que la funcin tiende han de existir y han de ser acotados. As
a 0. As, esta es una integral doblemente impropia. In-
tegrada, por ejemplo, desde 1 hasta 3, con un sumatorio s 1
1
de Riemann es suciente para obtener un resultado de 6 dx dx dx
= lim + lim
. Para integrar desde 1 hasta , un sumatorio de Rie- 1
3
x 2 s0 1
3
x2 t0 t
3
x2
mann no es posible. Ahora bien, cualquier lmite supe-
= lim 3(1 s) + lim 3(1 t)
3 3

rior nito, por ejemplo t (con t > 1), da un resultado bien s0 t0

denido, 2 2 arctan 1t . Este resultado tiene un lmi- =3+3
te nito cuando t tiende a innito, que es 2 . De forma = 6.
parecida, la integral desde 1 3 hasta a 1 admite tambin
un sumatorio de Riemann, que por casualidad da de nue- A la integral similar
vo 6 . Sustituyendo 1 3 por un valor positivo arbitrario
s (con s < 1) resulta igualmente un resultado denido y 1
da 2 + 2 arctan 1s . ste, tambin tiene un lmite - dx
nito cuando s tiende a cero, que es 2 . Combinando los 1 x
lmites de los dos fragmentos, el resultado de esta integral
impropia es 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
1 t Cauchy.)
dx dx dx
= lim + lim
0 (x + 1) x s0 s (x + 1) x t 1 (x + 1) x
( ) ( )
1
= lim + 2 arctan + lim 9.2
Integracin
2 arctan
1 mltiple
s0 2 s t 2 t

= +
2 2
= .
Este proceso no tiene el xito garantizado; un lmite pue-
de no existir, o puede ser innito. Por ejemplo, sobre el
intervalo cerrado de 0 a 1 la integral de x12 no converge;
y sobre el intervalo abierto del 1 a la integral de 1x no
converge.

2.5

1.5

0.5 Integral doble como el volumen limitado por una supercie.

0 Las integrales se pueden calcular sobre regiones diferen-

tes de los intervalos. En general, una integral sobre un
1.5 1 0.5 0 0.5 1 1.5
conjunto E de una funcin f se escribe:
La
1 integral impropia

dx
= 6 no est acotada internamente, pero ambos lmites
1 3 x2
(por la derecha y por la izquierda) existen. f (x) dx.
E

Tambin puede pasar que un integrando no est acotado Aqu x no hace falta que sea necesariamente un nmero
en un punto interior, en este caso la integral se ha de partir real, sino que puede ser cualquier otra cantidad apropia-
12 9 EXTENSIONES

da, por ejemplo, un vector de R3. El teorema de Fubi-

ni demuestra que estas integrales pueden reescribirse co-
mo 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 denida de una fun-
cin positiva representa el rea de la regin encerrada
entre la grca de la funcin y el eje x, la integral do-
ble de una funcin positiva de dos variables representa el
volumen de la regin comprendida entre la supercie de-
nida por la funcin y el plano que contiene su dominio.
(El mismo volumen puede obtenerse a travs de una in-
tegral 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 supercie y el plano, lo mismo
se puede hacer con una integral doble para calcular una
supercie.) Si el nmero de variables es mayor, entonces
Una integral de lnea acumula elementos a lo largo de una curva.
la integral representa un hipervolumen, el volumen de un
slido de ms de tres dimensiones que no se puede repre-
sentar grcamente. y las supercies. Estas integrales se conocen como inte-
Por ejemplo, el volumen del paraleleppedo de caras 4 grales de lnea e integrales de supercie respectivamente.
6 5 se puede obtener de dos maneras: Tienen importantes aplicaciones en la fsica cuando se
trata con campos vectoriales.
Con la integral doble 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 con-
5 dx dy torno.
D
La funcin a integrar puede ser un campo escalar o un
de la funcin f(x, y) = 5 calculada en la regin
campo vectorial. El valor de la integral curvilnea es la
D del plano xy que es la base del paraleleppe-
suma de los valores del campo en los puntos de la lnea,
do.
ponderados por alguna funcin escalar de la curva (habi-
tualmente la longitud del arco o, en el caso de un campo
Con la integral triple vectorial, el producto escalar del campo vectorial por un
vector diferencial de la curva). Esta ponderacin distin-
gue las integrales curvilneas de las integrales ms senci-
llas denidas sobre intervalos.
1 dx dy dz
paralelepipedo Muchas frmulas sencillas de la fsica tienen de forma
natural anlogas continuas en trminos de integrales de
de la funcin constante 1 calculada sobre el
lnea; por ejemplo, el hecho de que el trabajo sea igual a
mismo paraleleppedo (a pesar de que este se-
la fuerza multiplicada por la distancia se puede expresar
gundo mtodo tambin se puede interpretar co-
(en trminos de cantidades vectoriales) como:
mo el hipervolumen de un hiperparaleleppedo
de cuatro dimensiones que tiene como base el
paraleleppedo en cuestin y una altura cons-
tante de 1, como la altura es 1 el volumen coin- W = F d
cide con el rea de la base).
que tiene su paralelismo en la integral de lnea
Puesto que es imposible calcular la antiderivada de una
funcin de ms de una variable, no existen las integrales
mltiples indenidas: tales integrales son todas denidas. W = F ds
C

9.3 Integrales de lnea que acumula los componentes vectoriales a lo largo de

un camino continuo, y as calcula el trabajo realizado por
El concepto de integral se puede extender a dominios de un objeto al moverse a travs de un campo, como por
integracin ms generales, tales como las lneas curvas ejemplo un campo elctrico o un campo gravitatorio.
9.5 Integrales de formas diferenciales 13

9.4 Integrales de supercie Se empieza trabajando en un conjunto abierto de Rn . Una

0-forma se dene como una funcin innitamente deri-
vable f. Cuando se integra una funcin f sobre un subes-
pacio de m-dimensional S de Rn , se escribe como

f dx1 dxm .
S

(Los superndices no son exponentes.) Se puede conside-

La denicin de las integrales de supercie descansa en la divi-
sin de la supercie en pequeos elementos de supercie.
Una integral de supercie es una integral denida cal-
culada sobre una supercie (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 va-
lor de la integral de supercie es la suma ponderada de
los valores del campo en todos los puntos de la super-
cie. Esto se puede conseguir a base de dividir la super-
cie en elementos de supercie, los cuales proporcionan la
particin para los sumatorios de Riemann.
Como ejemplo de las aplicaciones de las integrales de su-
percie, se puede considerar un campo vectorial v sobre
una supercie S; es decir, para cada punto x de S, v(x)
es un vector. Imagnese que se tiene un uido uyendo a
travs de S, de forma que v(x) determina la velocidad del
uido en el punto x. El caudal se dene como la cantidad
de uido que uye 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 supercie S en cada
punto, lo que nos dar un campo escalar, que integramos
sobre la supercie:
v dS
S
El caudal de uido de este ejemplo puede ser de un ui- damental del clculo, denominada teorema de Stokes, que
do fsico como el agua o el aire, o de un ujo elctrico se puede establecer como
o magntico. As, las integrales de supercie tienen apli-
caciones en la fsica, en particular en la teora clsica del
electromagnetismo.
rar 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 alterna-
tiva se pueden ver como covectores, y por lo tanto como
una medida de la densidad (integrable en un sentido ge-
neral). A dx1 , ,dxn se las denomina 1-formas bsicas.
Se dene el conjunto de todos estos productos como las
2-formas bsicas, y de forma similar se dene el conjun-
to de los productos de la forma dxa dxb dxc como las
3-formas bsicas. Una k-forma general es por lo tanto
una suma ponderada de k-formas bsicas, donde los pesos
son las funciones innitamente derivables f. Todas juntas
forman un espacio vectorial, siendo las k-formas bsicas
los vectores base, y las 0-formas (funciones innitamen-
te 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 inde-
pendientes, 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 dene la accin de d por:
n
f i
d = dx dxa .
xi
i=1
con extensin a las k-formas generales que se dan lineal-
mente.
Este planteamiento ms general permite un enfoque de la
integracin sobre variedades libre de coordenadas. Tam-
bin permite una generalizacin natural del teorema fun-
d =

9.5 Integrales de formas diferenciales donde es una k-forma general, y indica la frontera de
la regin . As en el supuesto de que sea una 0-forma
Una forma diferencial es un concepto matemtico en los y sea un intervalo cerrado de la recta real, el teorema de
campos del clculo multivariable, topologa diferencial y Stokes se reduce al teorema fundamental del clculo. En
tensores. La notacin moderna de las formas diferencia- el caso de que sea una 1-forma y sea una regin de
les, as como la idea de las formas diferenciales como dimensin 2 en el plano, el teorema se reduce al teorema
el producto exterior de derivadas exteriores formando un de Green. De manera similar, empleando 2-formas, 3-
lgebra exterior, fue presentada por lie Cartan. formas y la dualidad de Hodge, se puede llegar al teorema
14 10 MTODOS Y APLICACIONES

de Stokes y al teorema de la divergencia. De esta forma Los clculos de volmenes de slidos de revolucin se
puede verse que las formas diferenciales suministran una pueden hacer normalmente con la integracin por discos
potente visin unicadora de la integracin. o la integracin por capas.
Los resultados especcos que se han encontrado em-
pleando las diferentes tcnicas se recogen en la tabla de
10 Mtodos y aplicaciones integrales.

10.1 Clculo de integrales

10.2 Algoritmos simblicos
La tcnica ms bsica para calcular integrales de una va-
riable real se basa en el teorema fundamental del clculo. En muchos problemas de matemticas, fsica, e ingenie-
Se procede de la siguiente forma: ra en los que participa la integracin es deseable tener
una frmula explcita para la integral. Con esta nali-
1. Se escoge una funcin f(x) y un intervalo [a, b]. dad, a lo largo de los aos se han ido publicando extensas
tablas de integrales. Con el desarrollo de los ordenadores,
2. Se halla una antiderivada de f, es decir, una funcin muchos profesionales, educadores y estudiantes han recu-
F tal que F' = f. rrido a los sistemas de clculo algebraico por ordenador,
3. Se emplea el teorema fundamental del clculo, su- que han sido diseados especcamente para desarrollar
poniendo que ni el integrando ni la integral tienen tareas tediosas o difciles, entre las cuales se encuentra
singularidades en el camino de integracin, la integracin. La integracin simblica presenta un reto
especial en el desarrollo de este tipo de sistemas.
b
f (x) dx = F (b) F (a). Una dicultad matemtica importante de la integracin
a simblica es que, en muchos casos, no existe ninguna fr-
mula cerrada para la primitiva de una funcin aparen-
4. Por tanto, el valor de la integral es F(b) F(a). temente inocente. Por ejemplo, se sabe que las primiti-
vas de las funciones exp (x2 ), xx y sen x /x no se pueden
Ntese que la integral no es realmente la antiderivada, expresar con una frmula cerrada en las que participen
sino que el teorema fundamental permite emplear las an- solo funciones racionales, exponenciales, logartmicas,
tiderivadas para evaluar las integrales denidas. trigonomtricas, inversas de las funciones trigonomtri-
A menudo, el paso difcil de este proceso es el de en- cas, y las operaciones de suma, multiplicacin y compo-
contrar una primitiva de f. En raras ocasiones es posible sicin. En otras palabras, ninguna de estas tres funciones
echar un vistazo a una funcin y escribir directamente su dadas es integrable con funciones elementales. La teora
primitiva. Muy a menudo, es necesario emplear una de de Galois diferencial proporciona criterios generales para
las muchas tcnicas que se han desarrollado para evaluar determinar cundo la primitiva de una funcin elemental
integrales. La mayora de ellas transforman una integral es a su vez elemental. Por desgracia, resulta que las fun-
en otra que se espera que sea ms manejable. Entre estas ciones con expresiones cerradas para sus primitivas son
tcnicas destacan: la excepcin en vez de ser la regla. En consecuencia, los
sistemas de clculo algebraico por ordenador, no pueden
Integracin por cambio de variable tener la seguridad de poder encontrar una primitiva pa-
ra una funcin elemental cualquiera construida de forma
Integracin por partes aleatoria. En el lado positivo, si se jan de antemano los
bloques constructivos de las primitivas, an es posible
Integracin por sustitucin trigonomtrica decidir si se puede expresar la primitiva de una funcin
Integracin de fracciones parciales dada empleando estos bloques y las operaciones de mul-
tiplicacin y composicin, y hallar la respuesta simblica
Incluso si estas tcnicas fallan, an puede ser posible eva- en el caso de que exista. El algoritmo de Risch, imple-
luar una integral dada. La siguiente tcnica ms comn mentado en Mathematica y en otros sistemas de clculo
es el clculo del residuo, mientras que la serie de Tay- algebraico por ordenador, hacen precisamente esto para
lor a veces se puede usar para hallar la primitiva de las funciones y primitivas construidas a partir de fracciones
integrales no elementales en lo que se conoce como el m- racionales, radicales, logaritmos y funciones exponencia-
todo de integracin por series. Tambin hay muchas for- les.
mas menos habituales para calcular integrales denidas; Algunos integrandos aparecen con la suciente frecuen-
por ejemplo, se puede emplear la identidad de Parseval cia como para merecer un estudio especial. En particular,
para transformar una integral sobre una regin rectangu- puede ser til tener, en el conjunto de las primitivas, las
lar en una suma innita. En algunas ocasiones, se puede funciones especiales de la fsica (como las funciones de
evaluar una integral empleando un truco; un ejemplo de Legendre, la funcin hipergeomtrica, la funcin gam-
este tipo se puede ver en la integral de Gauss. ma, etctera). Es posible extender el algoritmo de Risch-
 15

Norman de forma que abarque estas funciones, pero se que una tarea importante que no se explora aqu es
trata de todo un reto. decidir en qu momento una aproximacin ya es bastante
La mayora de los humanos no son capaces de integrar buena.) Un enfoque de libro de clculo divide el inter-
estas frmulas generales, por lo que en cierto sentido los valo de integracin en, por ejemplo, 16 trozos iguales, y
ordenadores son ms hbiles integrando frmulas muy calcula los valores de la funcin.
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
losca abierta a debate.
11 Algunas aplicaciones
10.3 Cuadratura numrica
11.1 Valor medio de una funcin
Para calcular el valor medio m de una funcin f en un
intervalo [a,b] se usa la siguiente frmula:

b
1
m= f (x)dx.
ba a

Ntese que, si la funcin f es una funcin escalonada con

escalones de igual anchura, esta denicin coincide con
la media aritmtica de los valores de la funcin. Si los
escalones tienen anchuras diferentes, entonces coincide
con la media aritmtica ponderada donde el valor de la
funcin en cada escaln se pondera con la anchura del
escaln. Por lo tanto, esta denicin se puede entender
como la extensin natural de la media.

11.2 Aplicaciones en fsica

Mtodos numricos de cuadratura: Rectngulo, Trapezoide,
Romberg, Gauss. Muchas leyes de la Fsica se expresan en forma de
ecuaciones diferenciales. En el caso ms sencillo, estas
Las integrales que se encuentran en los cursos bsicos de ecuaciones diferenciales se resuelven con el clculo de
clculo han sido elegidas deliberadamente por su sim- una primitiva y muchas veces el resultado nal que se
plicidad, pero las que se encuentran en las aplicaciones busca se encuentra con el clculo de una integral.
reales no siempre son tan asequibles. Algunas integrales Por ejemplo, la integral se aplica para resolver el proble-
no se pueden hallar con exactitud, otras necesitan de fun- ma de la cada libre de un cuerpo sometido a la gravedad
ciones especiales que son muy complicadas de calcular, y de la tierra. En la Tierra, la aceleracin de la gravedad
otras son tan complejas que encontrar la respuesta exac- es aproximadamente g = 9,81 m/s. Por lo tanto un cuer-
ta es demasiado lento. Esto motiva el estudio y la apli- po que cae libremente empezando su cada con velocidad
cacin de mtodos numricos para aproximar integrales. nula tiene una velocidad que viene dada por la siguiente
Hoy en da se usan en la aritmtica de coma otante, en funcin:
ordenadores electrnicos. Para los clculos a mano sur-
gieron muchas ideas mucho antes; pero la velocidad de
los ordenadores de uso general como el ENIAC crearon
v = g t
la necesidad de mejoras.
Los objetivos de la integracin numrica son la exactitud, El signo negativo es debido a que la gravedad es hacia el
la abilidad, la eciencia y la generalidad. Por ejemplo, centro de la tierra y los sistemas de referencia normal-
la integral mente se eligen de forma que la direccin positiva es ha-
cia arriba.
2 ( ) Si se quiere saber la distancia que ha recorrido el cuerpo
x
1
5
1
100 (322 + 3x(98 + x(37 + x))) 24 durante un tiempo dado T se puede razonar (empleando
dx
2 1 + x2
anlisis no estndar) que en torno a cada instante t la ve-
que tiene el valor aproximado de 6.826 (en la prctica locidad es constante salvo variaciones innitesimales, por
ordinaria no se conoce de antemano la respuesta, por lo lo tanto el espacio recorrido en este instante durante un
16 14 BIBLIOGRAFA

periodo de tiempo innitesimal dt es v(t)dt, la suma de 13 Referencias y notas

todos los espacios recorridos durante todos los instantes
desde t=0 hasta t=T (el momento en que se quiere saber [1] En el caso de las funciones a las que se aplica la denicin
la distancia recorrida) y se calcula con la integral: de Riemann, los resultados coinciden.

[2] Burton, David M. (2005). The History of Mathematics: An

Introduction (6 ed.), McGraw-Hill, p. 359, ISBN 978-0-
T
07-305189-5
= (g t dt )
0
[3] Leibniz, Gottfried Wilhelm (1899) (Gerhardt, Karl Im-
El resultado de esta integral es: manuel, ed.). Der Briefwechsel von Gottfried Wilhelm
Leibniz mit Mathematikern. Erster Band, Berlin: Mayer &
Mller, p. 154
g [4] Cajori, Florian (1929). A History Of Mathematical Nota-
= ( T 2 )
2 tions, Vol. II, Open Court Publishing, pp. 247-252, ISBN
978-0-486-67766-8
Otros ejemplos de campos de la fsica donde se aplican
las integrales: [5] Fourier, Jean Baptiste Joseph (1822). Thorie analytique
de la chaleur, Chez Firmin Didot, pre et ls, p. 231,

La energa consumida en un periodo de tiempo es la
integral de la potencia durante el tiempo.
La variacin de la carga elctrica en un condensador
durante un periodo de tiempo es la integral de la
corriente elctrica que uye hacia el condensador
durante este tiempo.
La integracin del caudal (metros cbicos por se-
gundo) que uye por un conducto proporciona el
volumen de uido que ha pasado por el conducto
durante el periodo de integracin.
[6] W3C (2006). Arabic mathematical notation
[7] Haaser, Norman B., LaSalle, Joseph, P., Sullivan, Joseph,
A. (1970). Anlisis Matemtico 1: Curso de Introduccin
p. 546. Mxico, D.F.: Trillas. ISBN 968-24-0132-1.
[8] Rudin, Walter (1987). Chapter 1: Abstract Integration,
Real and Complex Analysis (International ed.), McGraw-
Hill, ISBN 978-0-07-100276-9
[9] Folland, Gerald B. (1984). Real Analysis: Modern Techni-
ques and Their Applications (1 ed.), John Wiley & Sons,
ISBN 978-0-471-80958-6
[10] Bourbaki, Nicolas (2004). Integration I, Springer Verlag,
ISBN 3-540-41129-1. En particular, los captulos III y IV.

[11] Hildebrandt, T. H. (1953). Integration in abstract spa-

12 Vase tambin ces, Bulletin of the American Mathematical Society 59(2):
111139, ISSN 0273-0979
Tabla de integrales

Integracin numrica 14 Bibliografa

Derivada
Apostol, Tom M. (1967). Calculus, Vol. 1: One-
Signo de Integral Variable Calculus with an Introduction to Linear Al-
gebra (2nd edicin). John Wiley & Sons. ISBN 978-
0-471-00005-1.
Portal:Matemtica. Contenido relacionado con
Bourbaki, Nicolas (2004). Integration I. Springer.
Matemtica.
ISBN 3-540-41129-1.. En particular los captulos III
y IV.
Sumatorio
Burton, David M. (2005). The History of Mathema-
Lmite matemtico tics: An Introduction (6th edicin). McGraw-Hill. p.
359. ISBN 978-0-07-305189-5.
Innito
Cajori, Florian (1929). A History Of Mathematical
Integral de lnea Notations Volume II. Open Court Publishing. pp.
247-252. ISBN 978-0-486-67766-8.
Cambio de variable
Dahlquist, Germund; Bjrck, ke (forthcoming).
Integrales denidas Chapter 5: Numerical Integration. Numerical
Methods in Scientic Computing. Philadelphia:
Integrales indenidas SIAM.
 17

Folland, Gerald B. (1984). Real Analysis: Modern Mauch, Sean, Seans Applied Math Book, CIT, an
Techniques and Their Applications (1st edicin). online textbook that includes a complete introduc-
Wiley-Interscience. ISBN 978-0-471-80958-6. tion to calculus

Fourier, Jean Baptiste Joseph (1822). Thorie analy-
tique de la chaleur. Chez Firmin Didot, pre et ls.
p. 231.
Disponible en ingls comoFourier, Joseph (1878).
The analytical theory of heat. Freeman, Alexander
(trans.). Cambridge University Press. pp. 200-201.
Heath, T. L., ed. (2002). The Works of Archimedes.
Dover. ISBN 978-0-486-42084-4.
(Originalmente publicado por Cambridge University
Press, 1897, based on J. L. Heibergs Greek version.)
Hildebrandt, T. H. (1953). Integration in abstract
spaces. Bulletin of the American Mathematical So-
ciety 59 (2). pp. 111-139. ISSN 0273-0979.
Kahaner, David; Moler, Cleve; Nash, Stephen
(1989). Chapter 5: Numerical Quadrature. Nu-
merical Methods and Software. Prentice-Hall. ISBN
978-0-13-627258-8.
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 Ol-
denburg. A new concept to an old problem. Online
textbook
Sloughter, Dan, Dierence Equations to Dierential
Equations, an introduction to calculus
Numerical Methods of Integration at Holistic Nume-
rical Methods Institute
15 Enlaces externos

Leibniz, Gottfried Wilhelm (1899). Gerhardt, Karl Wikilibros

Immanuel, ed. Der Briefwechsel von Gottfried Wil-
helm Leibniz mit Mathematikern. Erster Band. Ber-
lin: Mayer & Mller.
Miller, Je. Earliest Uses of Symbols of Calculus.
Archivado desde el original el 5 de diciembre de
1998. Consultado el 2 de junio de 2007.
Wikilibros alberga un libro o manual sobre
Clculo. (en ingls)
La integral denida y la funcin rea, en Descartes.
The Integrator de Wolfram Research

OConnor, J. J.; Robertson, E. F. (1996). A history Function Calculator de WIMS

of the calculus. Consultado el 9 de julio de 2007. Wang, P. S. Evaluation of Denite Integrals by Sym-
Rudin, Walter (1987). Chapter 1: Abstract Integra- bolic Manipulation (1972) - a cookbook of denite
tion. Real and Complex Analysis (International edi- integral techniques
cin). McGraw-Hill. ISBN 978-0-07-100276-9.

Saks, Stanisaw (1964). Theory of the integral (En-

glish translation by L. C. Young. With two additio-
nal notes by Stefan Banach. Second revised edicin).
New York: Dover.

Stoer, Josef; Bulirsch, Roland (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.

14.1 Libros en internet

Keisler, H. Jerome, Elementary Calculus: An Ap-
proach Using Innitesimals, University of Wiscon-
sin

Stroyan, K.D., A Brief Introduction to Innitesimal

Calculus, University of Iowa
18 16 ORIGEN DEL TEXTO Y LAS IMGENES, COLABORADORES Y LICENCIAS

16 Origen del texto y las imgenes, colaboradores y licencias

16.1 Texto
Integracin Fuente: https://es.wikipedia.org/wiki/Integraci%C3%B3n?oldid=98919483 Colaboradores: Sabbut, Mdiagom, Faustito, Jy-
nus, Jecanre, Richy, Digigalos, Taichi, Drini2, Yrbot, BOT-Superzerocool, Adrruiz, Varano, Vitamine, Mortadelo2005, GermanX, Gtz,
Jos., Cheveri, Chlewbot, Folkvanger, Matiasasb, Nihilo, Mxtintin, Faelomx, BOTpolicia, CEM-bot, Thanos, JMCC1, Fenicio, Alexav8,
Generalpoteito, Marianov, NickelSpider, Retama, Davius, Rastrojo, Barrie~eswiki, Ggenellina, Fsd141, Hortograa, Nightwish, Sixtocor-
bo, JAnDbot, Johns, JuanPaBJ16, Rafa3040, Homo logos, Muro de Aguas, Gsrdzl, TXiKiBoT, Xosema, Farido, NaSz, Alesico, Plux,
Gerwoman, Juan Gerardo Milln Escobedo, Rovnet, Developer, VolkovBot, Technopat, Belgrano, Matdrodes, Fiquei, Shooke, 3coma14,
Muro Bot, PaintBot, Daniel Ajoy, Cobalttempest, Drinibot, Bigsus-bot, BOTarate, Mel 23, Manw, Correogsk, BuenaGente, Yonseca,
DorganBot, Dnu72, HUB, Farisori, Veon, Leonpolanco, Charly genio, Juan Mayordomo, Raulshc, Aipni-Lovrij, Majin boo, SilvonenBot,
UA31, AVBOT, Coccotocandobajo, Kiensvay, SpBot, Diegusjaimes, Victormoz, CarsracBot, Innv, Arjuno3, Error de inicio de sesin, An-
dreasmperu, FariBOT, Jotterbot, El Duende, 67wkii, Hampcky, ArthurBot, Usuwiki, SuperBraulio13, Jkbw, Rubinbot, Robalgri, OiramZ,
Ricardogpn, Pyr0, Rojasyesid, Panderine!, TiriBOT, Jakeukalane, NeoAdonis, Jerowiki, PatruBOT, KamikazeBot, Dejsoft, Humbefa, Jor-
ge c2010, DiegoEPaez, Foundling, LU2JGP, Edslov, Dcirovic, Savh, AVIADOR, Allforrous, Africanus, Onisbel, Songel91, Jabl91, Pioc-
kec, Waka Waka, Ren Pea, Lcsrns, MerlIwBot, Javmarina, KLBot2, Edson Luque, Master 2uiroga, Xertan, Gins90, MetroBot, Kyuu-
tukanao, Ulloadamy, TomasRiker, Maquedasahag, Acratta, Baron1993, Mega-buses, Derivadade5, LlamaAl, Martin.esr, Elvisor, Helmy
oved, Makecat-bot, Jeferson9310, Rotlink, SantoshBot, Addbot, Balles2601, FedeBosio, Melodies and memories, Jess Bueno Urbano,
Quien sabe puede, Albert Maosa, JacobRodrigues, Leonardosael, Lourdes Sada, Luisantonio14, Jarould, BenjaBot, McMetrox, Onioram,
Ks-M9, Juan Pedro Vidal, Molongo861 y Annimos: 249

16.2 Imgenes
Archivo:Improper_integral.svg Fuente: https://upload.wikimedia.org/wikipedia/commons/9/94/Improper_integral.svg Licencia: CC-
BY-SA-3.0 Colaboradores: self-made using gnuplot with alterations to SVG (piecewise-Bzier replacement of function graph, area ll)
Artista original: KSmrq
Archivo:Improper_integral_unbounded_internally.svg Fuente: https://upload.wikimedia.org/wikipedia/commons/e/e7/Improper_
integral_unbounded_internally.svg Licencia: CC-BY-SA-3.0 Colaboradores: self-made using gnuplot with alterations to SVG (piecewise-
Bzier replacement of function graph, area ll) Artista original: KSmrq
Archivo:Integral-area-under-curve.svg Fuente: https://upload.wikimedia.org/wikipedia/commons/9/9e/Integral-area-under-curve.svg
Licencia: Public domain Colaboradores: own work, based on en:Image:Integral-area-under-curve.png Artista original: ~~helix84 15:43, 27
November 2006 (UTC)
Archivo:Integral_Riemann_sum.png Fuente: https://upload.wikimedia.org/wikipedia/commons/2/2c/Integral_Riemann_sum.png Li-
cencia: CC-BY-SA-3.0 Colaboradores: self-made using text editor, rendered with GLIPS Grati Artista original: KSmrq
Archivo:Integral_Uprightness.svg Fuente: https://upload.wikimedia.org/wikipedia/commons/7/71/Integral_Uprightness.svg Licencia:
CC0 Colaboradores: Trabajo propio Artista original: WhiteTimberwolf
Archivo:Integral_approximations.svg Fuente: https://upload.wikimedia.org/wikipedia/commons/9/91/Integral_approximations.svg Li-
cencia: CC-BY-SA-3.0 Colaboradores: self-made with GNUPLOT 4.2 patchlevel 0, then edited by hand Artista original: KSmrq
Archivo:Integral_example.png Fuente: https://upload.wikimedia.org/wikipedia/commons/4/42/Integral_example.png Licencia: CC-
BY-SA-3.0 Colaboradores: self-made using text editor, rendered with Inkscape Artista original: KSmrq
Archivo:Line-Integral.gif Fuente: https://upload.wikimedia.org/wikipedia/commons/d/d8/Line-Integral.gif Licencia: CC-BY-SA-3.0
Colaboradores: http://en.wikipedia.org/w/index.php?title=File:Line-Integral.gif ? Artista original: ?
Archivo:Numerical_quadrature_4up.png Fuente: https://upload.wikimedia.org/wikipedia/commons/a/a0/Numerical_quadrature_4up.
png Licencia: CC-BY-SA-3.0 Colaboradores: self-made using text editor, rendered by GLIPS Grati Artista original: KSmrq
Archivo:Nuvola_apps_edu_mathematics-p.svg Fuente: https://upload.wikimedia.org/wikipedia/commons/c/c2/Nuvola_apps_edu_
mathematics-p.svg Licencia: GPL Colaboradores: Derivative of Image:Nuvola apps edu mathematics.png created by self Artista original:
David Vignoni (original icon); Flamurai (SVG convertion)
Archivo:RandLintegrals.png Fuente: https://upload.wikimedia.org/wikipedia/commons/1/1b/RandLintegrals.png Licencia: CC-BY-
SA-3.0 Colaboradores: en.wiki Artista original: ?
Archivo:Riemann_sum_convergence.png Fuente: https://upload.wikimedia.org/wikipedia/commons/2/2a/Riemann_sum_
convergence.png Licencia: CC-BY-SA-3.0 Colaboradores: self-made using text editor, rendered by GLIPS Grati Artista origi-
nal: KSmrq
Archivo:Signed'IntegraciArabic.png Fuente: https://upload.wikimedia.org/wikipedia/commons/b/b9/Signed%27Integraci%C3%
B3Arabic.png Licencia: CC-BY-SA-3.0 Colaboradores: http://en.wikipedia.org/wiki/Image:ArabicIntegralSign.png Artista original:
Hakeem.gadi
Archivo:Surface_integral_illustration.svg Fuente: https://upload.wikimedia.org/wikipedia/commons/7/72/Surface_integral_
illustration.svg Licencia: CC0 Colaboradores: Trabajo propio, basado en: Surface integral illustration.png & SVG - Export of gures
Artista original: McMetrox
Archivo:Volume_under_surface.png Fuente: https://upload.wikimedia.org/wikipedia/commons/b/b0/Volume_under_surface.png Li-
cencia: Public domain Colaboradores: self-made with MATLAB Artista original: Oleg Alexandrov
Archivo:Wikibooks-logo.svg Fuente: https://upload.wikimedia.org/wikipedia/commons/f/fa/Wikibooks-logo.svg Licencia: CC BY-SA
3.0 Colaboradores: Trabajo propio Artista original: User:Bastique, User:Ramac et al.

16.3 Licencia del contenido

Creative Commons Attribution-Share Alike 3.0