Integracin

Integrales indenidas
Integrales denidas
Integrales impropias
Integral de lnea
Integrales mltiples (dobles o triples)
Integrales
trigonomtricas,
exponenciales

logartmicas

Mtodos de integracin
Teorema fundamental del clculo
Volumen de un slido de revolucin

2 Teora
La integral denida de una funcin representa el rea limitada 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, innitamente pequeos.
El clculo integral, encuadrado en el clculo innitesimal, es una rama de las matemticas en el proceso de integracin o antiderivacin, es muy comn en la ingeniera
y en la ciencia tambin; se utiliza principalmente para el
clculo de reas y volmenes de regiones y slidos de re- b f (x) dx se interpreta como el rea bajo la curva de f, entre a
a
volucin.
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
negativas las reas por debajo del eje x .
gracin son procesos inversos.
b

Principales objetivos del clculo

integral

f (x) dx

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 indenida, mientras que las integrales tratadas en este artculo son las integrales denidas. Algunos autores mantienen una distincin entre integrales primitivas e indenidas.

Sus principales objetivos a estudiar son:

rea de una regin plana
Cambio de variable
1

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 antiderivada. Las integrales y las derivadas pasaron a ser
herramientas bsicas del clculo, con numerosas aplicaciones en ciencia e ingeniera.
Bernhard Riemann dio una denicin 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 sosticadas 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 dene para funciones vectoriales de una variable, 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 espacio. En una integral de supercie, la curva se sustituye
por un trozo de una supercie en el espacio tridimensional.

Hasta el siglo XVI no empezaron a aparecer adelantos signicativos 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.

3.2 Newton y Leibniz

Los principales adelantos en integracin vinieron en el siglo 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 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 innitesimal 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.

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 del electromagnetismo. Los conceptos
modernos de integracin se basan en la teora matemtica abstracta conocida como integral de Lebesgue, que
fue desarrollada por Henri Lebesgue.
3.3

3
3.1

Historia
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 integrales 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 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.

HISTORIA

Formalizacin de las integrales

Aunque Newton y Leibniz proporcionaron un enfoque

sistemtico a la integracin, su trabajo careca de un cierto nivel de rigor. Es memorable la expresin del obispo
Berkeley interpretando los innitesimales como los fantasmas de las cantidades que se desvanecen.
El clculo adquiri una posicin ms rme 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 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. Posteriormente Lebesgue dio una denicin diferente de la integral[1]
basada en la teora de la medida que generalizaba la denicin de Riemann, as toda funcin integrable en el sentido de Riemann tambin lo es en el sentido de Lebesgue,
aunque existen algunas funciones integrables en el sentido 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

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

f (x) dx
a

El smbolo de integral en escritos (de izquierda a derecha) ingleses, alemanes y rusos.

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 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 presentada por Gottfried Leibniz en 1675.[2][3] Para indicar
summa (umma; en latn, suma o total), adapt el smbolo integral, "", a partir de una letra S alargada porque consideraba a la integral como una suma innita de
addendas innitesimales. La notacin moderna de la integral denida, 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]
Existen ligeras diferencias en la notacin del smbolo de
la integral en la literatura de las diversas lenguas: el smbolo 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 escribe de derecha a izquierda, se usa un signo integral invertido

[6]

Terminologa y notacin

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
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

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 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 pasos en la suma de Riemann, una medida (en la integracin de Lebesgue y sus extensiones), un innitesimal
(en anlisis no estndar) o como una cantidad matemtica independiente: una forma diferencial. Los casos ms
complicados pueden variar la notacin ligeramente.

5 Conceptos y aplicaciones
1
0.8
0.6
0.4
0.2
0
0

0.2

0.4

0.6

0.8

Aproximaciones a la integral de x entre 0 y 1, con 5 muestras

por la izquierda (arriba) y 12 muestras por la derecha (abajo).

Las integrales aparecen en muchas situaciones prcticas.

Considrese una piscina. Si es rectangular y de profundidad uniforme, 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 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-

5 CONCEPTOS Y APLICACIONES

cillas de calcular. Una posibilidad es calcularlas mediante concibe la integral como una suma ponderada (denotada
integrales.
por la S alargada), de los valores de la funcin multiPara el clculo integral de reas se sigue el siguiente ra- plicados por pasos de anchura innitesimal, los llamados
diferenciales (indicados por dx).
zonamiento:
1. Por ejemplo, consideremos la curva mostrada en la
gura de arriba, grca de la funcin y = f (x) =

x , acotada entre x = 0 y x = 1 .
2. La respuesta a la pregunta Cul es el rea bajo la
curva de funcin f , en el intervalo desde 0 hasta 1
? es: que el rea coincidir con la integral de f . La
notacin para esta integral ser

x dx

Una primera aproximacin, muy grosera por cierto, para

obtener esta rea, consiste en determinar el rea del cuadrado unidad cuyo lado lo da la distancia desde x=0 hasta
x=1 o tambin la longitud entre y=f(0)=0 y y=f(1)=1. Su
rea es exactamente 1x1 = 1. Tal como se puede inferir,
el verdadero valor de la integral tendr que ser ms pequeo. Particionando la supercie en estudio, con trazos
verticales, de tal manera que vamos obteniendo pequeos rectngulos, y reduciendo cada vez ms el ancho de
los rectngulos empleados para hacer la aproximacin,
se obtendr un mejor resultado; por ejem. dividamos el
intervalo en cinco partes, empleando los puntos 0, 1 5 ,
2 3 4
5 , 5 , 5 y, nalmente la abscisa 1. Se obtienen cinco
rectngulos cuyas alturas se determinan aplicando la funcin con las abscisas anteriormente descritas
(del lado
de1/ ,
2/ ,
recho
de
cada
pedazo
de
la
curva),
as
5
5

3 / y as hasta
1 = 1 . Sumando las reas de es5
tos rectngulos, se obtiene una segunda aproximacin de
la integral que se est buscando,

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
3
que mirar la funcin relacionada F (x) = 32 x 2 y simplemente tomar 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
1
1
1 1
2 3 
2 dx = ( x 2 )
x
dx
=
x
=
3
0
0
2 32
31

23 0 2 = 32 .

Como se puede ver, la segunda aproximacin de 0,7 (con

cinco rectangulitos), arroj un valor superior al valor
exacto; en cambio la aproximacin con 12 rectangulitos
de 0,6203 es una estimacin muy por debajo del valor
exacto (que es de 0,666...).
Histricamente, despus de que los primeros esfuerzos
de denir rigurosamente los innitesimales no fructicasen, Riemann deni 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 denicin de Riemann de los intervalos y la continuidad motiv la aparicin de nuevas
deniciones, especialmente la integral de Lebesgue, que
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 A f (x) d
5 5
5 5 5
5 5 5
Ntese que se est sumando una cantidad nita de valores de la funcin f, multiplicados por la diferencia entre
dos puntos de aproximacin sucesivos. Se puede ver fcilmente que las continuas aproximaciones continan 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 ahora tomamos las abscisas de la izquierda, tal como se muestra en el dibujo, se obtiene un estimado para
el rea, de 0,6203, que en este caso es de menor valor que
el anteriormente determinado. La idea clave es la transicin desde la suma de una cantidad nita de diferencias
de puntos de aproximacin multiplicados por los respectivos valores de la funcin, hasta usar pasos innitamente
nos, o innitesimales. La notacin

f (x) dx

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,

d =

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

6.1

Integral de Riemann

5
xn1 tn xn = b. y denotamos la particin como P = {xi |i = 0, 1, ..., n}

no estndar. Estos mtodos no solo reivindican la intuicin de los pioneros, tambin llevan hacia las nuevas matemticas, y hacen ms intuitivo y comprensible el trabajo con clculo innitesimal.
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 innitesimales, 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.

Deniciones formales

Hay muchas maneras de denir formalmente una integral, no todas equivalentes. Se establecen diferencias para
poder abordar casos especiales que no pueden ser integrables 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 Convergencia de sumatorios de Riemann a medida en que se parde Lebesgue.
ten los intervalos, cuando se muestrea a la derecha, el mnimo,

6.1

Integral de Riemann

el mximo, o

la izquierda.

Esto divide al intervalo [a,b] en n subintervalos [xi, xi],

cada uno de los cuales es etiquetado con un punto especicado ti de; [xi, xi]. Sea i = xixi la anchura del
subintervalo i; el paso de esta particin etiquetada es el
ancho del subintervalo ms grande obtenido por la particin, maxin i. Un sumatorio de Riemann de una
funcin f respecto de esta particin etiquetada se dene
como
n

f (ti )i ;

i=1

As cada trmino del sumatorio es el rea del rectngulo

con altura igual al valor de la funcin en el punto especicado 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:

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.

Para todo > 0 existe > 0 tal que, para cualquier particin etiquetada [a,b] con paso ms
pequeo que , se tiene
n
|S i=1 f (ti )i |
<

b
, donde S
=
f
=
a
n
limi 0 i=1 f (ti )i

La integral de Riemann se dene en trminos de sumas

de Riemann de funciones respecto de particiones etiquetadas de un intervalo. Sea [a,b] un intervalo cerrado de Cuando las etiquetas escogidas dan el mximo (o mnila recta real; entonces una particin etiquetada de [a,b] es mo) valor de cada intervalo, el sumatorio de Riemann pauna secuencia nita
sa a ser un sumatorio de Darboux superior (o inferior), lo
que sugiere la estrecha conexin que hay entre la integral
a = x0 t1 x1 t2 x2
de Riemann y la integral de Darboux.

6.2

6 DEFINICIONES FORMALES

Integral de Darboux

La integral de Riemann no est denida para un ancho

abanico de funciones y situaciones de importancia prcLa Integral de Darboux se dene en trminos de sumas tica (y de inters terico). Por ejemplo, la integral de Riede los siguientes tipos:
mann puede integrar fcilmente la densidad para obtener
la masa de una viga de acero, pero no se puede adaptar
n
a una bola de acero que se apoya encima. Esto motiva la
L(f, P )
=

i mi (xi
n
creacin de otras deniciones, bajo las cuales se puede inxi1 ),
U (f, P ) = i Mi (xi xi1 )
tegrar un surtido ms amplio de funciones.[8] La integral
de Lebesgue, en particular, logra una gran exibilidad a
Llamadas suma inferior y superior respectivamente, don- base de centrar la atencin en los pesos de la suma ponde:
derada.
As, la denicin de la integral de Lebesgue empieza con
una medida, . En el caso ms sencillo, la medida de Lemi
besgue (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,
son las alturas de los rectngulos, y xi-xi-1 la longitud de los conjuntos a medir pueden estar altamente fragmentala base de los rectngulos. La integral de Darboux est dos, sin continuidad y sin ningn parecido a intervalos.
denida como el nico nmero acotado entre las sumas
Para explotar esta exibilidad, la integral de Lebesgue
inferior y superior, es decir,
invierte el enfoque de la suma ponderada. Como expresa
Folland:[9] Para calcular la integral de Riemann de f, se
b
L(f, P ) a f U (f, P )
particiona el dominio [a, b] en subintervalos, mientras
que en la integral de Lebesgue, de hecho lo que se est
La interpretacin geomtrica de la integral de Darboux particionando es el recorrido de f".
Mi
[xi1 , xi ]},
[xi1 , xi ]}

sup{f (x)|x
= inf{f (x)|x

sera el clculo del rea de la regin en [a,b] por el Mtodo Un enfoque habitual dene primero la integral de la
exhaustivo. La integral de Darboux de una funcin f en funcin caracterstica de un conjunto medible A por:
[a,b] existe si y solo si
sup {L(f, P )} = inf {U (f, P )}

1A d = (A)

Del Teorema de Caracterizacin que dice que si f es in- Esto se extiende por linealidad a las funciones escalonategrable en [a,b] entonces >0 P particin de [a,b] das simples, que solo tienen un nmero nito n, de valores
: 0U(f,P)-L(f,P), evidencia la equivalencia entre las diferentes no negativos:
deniciones de Integral de Riemman e Integral de Dar)
boux pues se sigue que[7]

(
n
s d =
ai 1Ai d
b
n
i=1
f
(t
)

U
(f,
P
)

i
i
i=1
a

L(f, P ) .
=
ai 1Ai d
i=1

6.3

Integral de Lebesgue

ai (Ai )

i=1

(donde la imagen de Ai al aplicarle la funcin escalonada s

es el valor constante ai). As, si E es un conjunto medible,
se dene

s d =
E

ai (Ai E).

i=1

Entonces, para cualquier funcin medible no negativa f

se dene
Integracin de Riemann-Darboux (azul) e integracin de Lebesgue (rojo).

s d : 0 s f y sescalonada funcion una es

f d = sup
E

7
La integral de Daniell, que incluye la integral de Lebesgue y la integral de Lebesgue-Stieltjes sin tener
que depender de ninguna medida.

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 medible cualquiera
f, se separa entre sus valores positivos y negativos a base
de denir
{
+

f (x) =
{
f (x) =

La integral de Henstock-Kurzweil, denida de forma variada por Arnaud Denjoy, Oskar Perron, y
Jaroslav Kurzweil, y desarrollada por Ralph Henstock.

f (x), sif (x) > 0

0,
modo otro de

La integral de Haar, que es la integral de Lebesgue

con la medida de Haar.

f (x), sif (x) < 0

0,
modo otro de

La integral de McShane.
La integral de Bochner.

Finalmente, f es Lebesgue integrable si

La integral de It, integral que extiende a la integral de Riemann-Stieltjes, permite integrar respecto
a procesos estocsticos que pueden no ser de variacin acotada como el movimiento browniano.

|f | d < ,
E

y entonces se dene la integral por

f d.

f + d

f d =
E

7 Propiedades de la integracin

7.1 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

Cuando el espacio mtrico en el que estn denidas 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 denir 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 denir 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 denicin, la integral
de la funcin. Entonces se contina expandiendo la medida (la integral) a funciones ms generales por continuidad, y se dene la medida de un conjunto como la integral
de su funcin caracterstica. Este es el enfoque que toma
Bourbaki[10] y cierto nmero de otros autores. Para ms
detalles, vase medidas de Radon.

6.4

Otras integrales

f 7

f dx
a

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,

A pesar de que las integrales de Riemann y Lebesgue

son las deniciones 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.

g(x) dx.

f (x) dx+

(f +g)(x) dx =

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

f 7

f d
E

7 PROPIEDADES DE LA INTEGRACIN
es un funcional lineal de este espacio vectorial,
de forma que

m(b a)

f (x) dx M (b a).
a

(f + g) d =

f d +

g d.
E

De forma ms general, si se toma el espacio vectorial de todas las funciones medibles 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 denir una aplicacin
integracin abstracta que a cada funcin f le asigna
un elemento de V o el smbolo ,

f 7

f d,
E

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 nitas). Los casos ms importantes surgen 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
continuidad y la normalizacin para ciertas clases de funciones simples, se pueden usar para dar una denicin
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)[11] para una caracterizacin axiomtica
de la integral.

7.2

Desigualdades con integrales

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

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

f (x) dx
a

g(x) dx.
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].
Subintervalos. Si [c, d] es un subintervalo de [a, b] y
f(x) es no negativa para todo x, entonces

f (x) dx
c

f (x) dx.
a

Productos y valores absolutos de funciones. Si f y

g son dos funciones, entonces podemos emplear su
producto, potencias y valores absolutos:

(f g)(x) = f (x)g(x), f 2 (x) = (f (x))2 , |f |(x) = |f (x)|.

Si f es Riemann integrable en [a, b] entonces
lo mismo se cumple para |f|, y


 b

b


f (x) dx
|f (x)| dx.

 a

a
Es ms, si f y g son ambas Riemann integrables
entonces f 2 , g 2 , y fg son tambin Riemann
integrables, y
(
)2 (
) (
)
b
b
b
2
2
(f g)(x) dx

f (x) dx
g(x) dx .
a

Se verican varias desigualdades generales para funciones

Riemann integrables denidas en un intervalo cerrado y
acotado [a, b] y se pueden generalizar a otras nociones de
integral (Lebesgue y Daniell).

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:

9


 f (x)g(x) dx
(
)1/p (
)1/q
p
q
|f (x)| dx
|g(x)| dx
.

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
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] imSchwarz.
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
(

)1/p
p
|f (x) + g(x)| dx

(
)1/p (
)1/p
p
p
|f (x)| dx
+
|g(x)| dx
.

Una desigualdad anloga a sta para la integral

de Lebesgue se usa en la construccin de los
espacios Lp .

b
a

f (x) dx =

f (x) dx +
a

f (x) dx.
c

Con la primera convencin la relacin resultante

7.3

Convenciones

En esta seccin f es una funcin real Riemann integrable.

La integral

sobre un intervalo [a, b] est denida si a < b. Esto signica 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 signica que la integracin tiene lugar de izquierda a derecha,
evaluando f dentro de intervalos [xi , xi ] 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 denir si a > b:
Inversin de los lmites de integracin. si a > b entonces se dene

f (x) dx =
a

f (x) dx.
b

Ello, con a = b, implica:

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

f (x) dx = 0.
a

c
c

f (x) dx +

f (x) dx
b

queda bien denida para cualquier permutacin cclica de

a, b, y c.

f (x) dx
a

f (x) dx

a
b

f (x) dx

f (x) dx =

En lugar de ver lo anterior como convenciones, tambin

se puede adoptar el punto de vista de que la integracin
se hace solo sobre variedades orientadas. Si M es una tal
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 diferenciales):

.
M

8 Teorema fundamental del clculo

El teorema fundamental del clculo es la armacin 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.

8.1 Enunciado de los teoremas

Teorema fundamental del clculo. Sea f una funcin
real integrable denida en un intervalo cerrado [a,
b]. Si se dene F para cada x de [a, b] por

10

F (x) =

f (t) dt.
2.5

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 denida 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

EXTENSIONES

f (t) dt = F (b) F (a).

2
1.5
1
0.5
0

0.5

1.5

2.5

impropia
Corolario. Si f es una funcin continua en [a, b], La
integral
dx
=
entonces f es integrable en [a, b], y F, denida por
0 (x+1) x

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

F (x) =

f (x) dx
a

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

b
f (x) dx = F (b) F (a).
a

Extensiones

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 especiUna integral de Riemann propia supone que el integran- cado, o , o . En casos ms complicados, hacen falta
do est denido y es nito en un intervalo cerrado y aco- lmites en los dos puntos extremos o en puntos interiores.
tado, cuyos extremos son los lmites de integracin. Una
1
Por ejemplo, la funcin (x+1)
integrada desde 0 a
x
integral impropia aparece cuando una o ms de estas con(imagen de la derecha). En el extremo inferior, a medida
diciones no se satisface. En algunos casos, estas integraque x se acerca a 0 la funcin tiende a , y el extremo
les se pueden denir tomando el lmite de una sucesin
superior es l mismo , a pesar de que la funcin tiende
de integrales de Riemann propias sobre intervalos sucea 0. As, esta es una integral doblemente impropia. Insivamente ms largos.
tegrada, por ejemplo, desde 1 hasta 3, con un sumatorio
Si el intervalo no es acotado, por ejemplo en su extremo de Riemann es suciente para obtener un resultado de
6
superior, entonces la integral impropia es el lmite cuando . Para integrar desde 1 hasta , un sumatorio de Rieel punto nal tiende a innito.
mann no es posible. Ahora bien, cualquier lmite superior nito, por ejemplo t (con t > 1), da un resultado bien
denido, 2 2 arctan 1t . Este resultado tiene un lmi
b
te nito cuando t tiende a innito, que es 2 . De forma
f (x)dx = lim
f (x)dx
b
a
a
parecida, la integral desde 1 3 hasta a 1 admite tambin
Si el integrando solo est denido en un intervalo nito un sumatorio de Riemann, que por casualidad da de nue
1
semiabierto, por ejemplo (a,b], entonces, otra vez el lmi- vo 6 . Sustituyendo 3 por un valor positivo arbitrario
s (con s < 1) resulta igualmente un resultado denido y
te puede suministrar un resultado nito.
da 2 + 2 arctan 1s . ste, tambin tiene un lmite nito cuando s tiende a cero, que es 2 . Combinando los
b
b
lmites de los dos fragmentos, el resultado de esta integral
f (x)dx
f (x)dx = lim
impropia es
0
a+
a

9.1

Integrales impropias

9.2

Integracin mltiple

11

independientemente (en cambio, vase valor principal de

Cauchy.)
dx
dx
dx
= lim
+ lim

(x + 1) x s0 s (x + 1) x t 1 (x + 1) x
(
)
)
(

1
1

9.2
Integracin
mltiple
= lim + 2 arctan
+ lim
2 arctan
t
s0
2
2
s
t

= +
2
2
= .

Este proceso no tiene el xito garantizado; un lmite puede 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.
3
2.5
2
1.5
1
0.5

Integral doble como el volumen limitado por una supercie.

0
1.5

0.5

0.5

1.5

La
impropia
1 integral
dx

=6
1 3 x2
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

s
1
dx
dx
dx

=
lim
+
lim
3
3
3
2
2
s0 1
t0 t
x
x
x2

3
= lim 3(1 3 s) + lim 3(1 t)

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:

f (x) dx.
E

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 denida de una funcin positiva representa el rea de la regin encerrada
s0
t0
entre la grca de la funcin y el eje x, la integral do=3+3
ble de una funcin positiva de dos variables representa el
volumen de la regin comprendida entre la supercie de= 6.
nida por la funcin y el plano que contiene su dominio.
A la integral similar
(El mismo volumen puede obtenerse a travs de una integral triple la integral de la funcin de tres variables
1
de la funcin constante f(x, y, z) = 1 sobre la regin
dx
mencionada antes entre la supercie y el plano, lo mismo
1 x
se puede hacer con una integral doble para calcular una
no se le puede asignar un valor de esta forma, dado que las supercie.) Si el nmero de variables es mayor, entonces
integrales por encima y por debajo de cero no convergen la integral representa un hipervolumen, el volumen de un
1

12

EXTENSIONES

slido de ms de tres dimensiones que no se puede repre- El concepto de integral se puede extender a dominios de
sentar grcamente.
integracin ms generales, tales como las lneas curvas
Por ejemplo, el volumen del paraleleppedo de caras 4 y las supercies. Estas integrales se conocen como integrales 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 con5 dx dy

torno.
D

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

1 dx dy dz
paralelepipedo

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).

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 denidas 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:

W = F d
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 W =
F ds
C
mltiples indenidas: tales integrales son todas denidas.

9.3

Integrales 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.

9.4 Integrales de supercie

Una integral de supercie es una integral denida calculada 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 valor de la integral de supercie es la suma ponderada de
los valores del campo en todos los puntos de la supercie. Esto se puede conseguir a base de dividir la supercie en elementos de supercie, los cuales proporcionan la
particin para los sumatorios de Riemann.

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

Como ejemplo de las aplicaciones de las integrales de supercie, 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

13
Se dene el conjunto de todos estos productos como las
2-formas bsicas, y de forma similar se dene el conjunto 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 innitamente 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.
La denicin de las integrales de supercie descansa en la divisin de la supercie en pequeos elementos de supercie.

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
travs de S, de forma que v(x) determina la velocidad del Rn , se dene la accin de d por:
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.
n
Para hallar el caudal, hay que calcular el producto escalar

f i
d
=
dx dxa .
de v por el vector unitario normal a la supercie S en cada
x
i
i=1
punto, lo que nos dar un campo escalar, que integramos
sobre la supercie:
con extensin a las k-formas generales que se dan linealmente.

Este planteamiento ms general permite un enfoque de la

v dS
integracin sobre variedades libre de coordenadas. TamS
bin permite una generalizacin natural del teorema funEl caudal de uido de este ejemplo puede ser de un uidamental 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 aplicaciones en la fsica, en particular en la teora clsica del

electromagnetismo.
d =

9.5

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 dene como una funcin innitamente derivable f. Cuando se integra una funcin f sobre un subespacio de m-dimensional S de Rn , se escribe como

f dx1 dxm .

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, 3formas 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 unicadora de la integracin.

10 Mtodos y aplicaciones

(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.

10.1 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].

14

10

MTODOS Y APLICACIONES

2. Se halla una antiderivada de f, es decir, una funcin tablas de integrales. Con el desarrollo de los ordenadores,
F tal que F' = f.
muchos profesionales, educadores y estudiantes han recurrido 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
b
especial en el desarrollo de este tipo de sistemas.
f (x) dx = F (b) F (a).
Una dicultad matemtica importante de la integracin
a

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

Ntese que la integral no es realmente la antiderivada,
sino que el teorema fundamental permite emplear las antiderivadas para evaluar las integrales denidas.
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 parciales
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 denidas;
por ejemplo, se puede emplear la identidad de Parseval
para transformar una integral sobre una regin rectangular en una suma innita. En algunas ocasiones, se puede
evaluar una integral empleando un truco; un ejemplo de
este tipo se puede ver en la integral de Gauss.

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
solo 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 jan 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 suciente 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 RischNorman de forma que abarque estas funciones, pero se
Los clculos de volmenes de slidos de revolucin se
trata de todo un reto.
pueden hacer normalmente con la integracin por discos
La mayora de los humanos no son capaces de integrar
o la integracin por capas.
estas frmulas generales, por lo que en cierto sentido los
Los resultados especcos que se han encontrado emordenadores son ms hbiles integrando frmulas muy
pleando las diferentes tcnicas se recogen en la tabla de
complicadas. Es poco probable que las frmulas muy
integrales.
complejas tengan primitivas de forma cerrada, de modo
que hasta qu punto esto es una ventaja es una cuestin
losca abierta a debate.
10.2 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 nalidad, a lo largo de los aos se han ido publicando extensas

15

11 Algunas aplicaciones
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:

m=

Mtodos numricos de cuadratura:

Romberg, Gauss.

Rectngulo,

Trapezoide,

1
ba

f (x)dx.
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

10.3

Cuadratura numrica

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 probleno se pueden hallar con exactitud, otras necesitan de funma 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 exaces aproximadamente g = 9,81 m/s. Por lo tanto un cuerta es demasiado lento. Esto motiva el estudio y la aplipo 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 surgieron 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 normalla integral
mente se eligen de forma que la direccin positiva es hacia arriba.

1
5

x
1
100 (322 + 3x(98 + x(37 + x))) 24 1 + x2

que tiene el valor aproximado de 6.826 (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.

Si se quiere saber la distancia que ha recorrido el cuerpo

durante un tiempo dado T se puede razonar (empleando
dx
anlisis no estndar) que en torno a cada instante t la velocidad es constante salvo variaciones innitesimales, por
lo tanto el espacio recorrido en este instante durante un
periodo de tiempo innitesimal dt es v(t)dt, la suma de
todos los espacios recorridos durante todos los instantes
desde t=0 hasta t=T (el momento en que se quiere saber
la distancia recorrida) y se calcula con la integral:

(g t dt )

=
0

El resultado de esta integral es:

16

14 BIBLIOGRAFA

g
= ( T 2 )
2
Otros ejemplos de campos de la fsica donde se aplican
las integrales:
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 segundo) que uye por un conducto proporciona el
volumen de uido que ha pasado por el conducto
durante el periodo de integracin.

12

Vase tambin

Tabla de integrales
Integracin numrica
Derivada
Signo de Integral

13

Portal:Matemtica. Contenido relacionado con

Matemtica.

Referencias y notas

[1] En el caso de las funciones a las que se aplica la denicin

de Riemann, los resultados coinciden.
[2] Burton, David M. (2005). The History of Mathematics: An
Introduction (6 ed.), McGraw-Hill, p. 359, ISBN 978-007-305189-5
[3] Leibniz, Gottfried Wilhelm (1899) (Gerhardt, Karl Immanuel, ed.). Der Briefwechsel von Gottfried Wilhelm
Leibniz mit Mathematikern. Erster Band, Berlin: Mayer &
Mller, p. 154
[4] Cajori, Florian (1929). A History Of Mathematical Notations, Vol. II, Open Court Publishing, pp. 247252, ISBN
978-0-486-67766-8
[5] Fourier, Jean Baptiste Joseph (1822). Thorie analytique
de la chaleur, Chez Firmin Didot, pre et ls, p. 231,
[6] W3C (2006). Arabic mathematical notation
[7] Haaser, LaSalle, Sullivan, Norman B.,Joseph P., 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.), McGrawHill, ISBN 978-0-07-100276-9
[9] Folland, Gerald B. (1984). Real Analysis: Modern Techniques 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 spaces, Bulletin of the American Mathematical Society 59(2):
111139, ISSN 0273-0979

14 Bibliografa
Apostol, Tom M. (1967). Calculus, Vol. 1: OneVariable Calculus with an Introduction to Linear Algebra (2nd edicin). John Wiley & Sons. ISBN 9780-471-00005-1.
Bourbaki, Nicolas (2004). Integration I. Springer.
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.
Dahlquist, Germund; Bjrck, ke (forthcoming).
Chapter 5: Numerical Integration. Numerical
Methods in Scientic 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 ls.
p. 231.
Disponible en ingls comoFourier, Joseph (1878).
The analytical theory of heat. Freeman, Alexander
(trans.). Cambridge University Press. pp. 200201.
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 Society 59 (2). pp. 111139. ISSN 0273-0979.
Kahaner, David; Moler, Cleve; Nash, Stephen
(1989). Chapter 5: Numerical Quadrature. Numerical Methods and Software. Prentice-Hall. ISBN
978-0-13-627258-8.

15.1

Libros online

Leibniz, Gottfried Wilhelm (1899). Gerhardt, Karl

Immanuel, ed. Der Briefwechsel von Gottfried Wilhelm Leibniz mit Mathematikern. Erster Band. Berlin: 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.
OConnor, J. J.; Robertson, E. F. (1996). A history
of the calculus. Consultado el 9 de julio de 2007.
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).
New York: Dover.
Stoer, Josef; Bulirsch, Roland (2002). Chapter 3:
Topics in Integration. Introduction to Numerical
Analysis (3rd edicin). Springer-Verlag. ISBN 9780-387-95452-3..
W3C (2006). Arabic mathematical notation.

15

Enlaces externos

La integral denida y la funcin rea, en Descartes.

The Integrator de Wolfram Research
Function Calculator de WIMS
P.S. Wang, Evaluation of Denite Integrals by Symbolic Manipulation (1972) - a cookbook of denite
integral techniques
Denite Integrals
Web de integrales en espaol

15.1

Libros online

Keisler, H. Jerome, Elementary Calculus: An Approach Using Innitesimals, University of Wisconsin

Stroyan, K.D., A Brief Introduction to Innitesimal
Calculus, University of Iowa
Mauch, Sean, Seans 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

17
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, Dierence Equations to Dierential
Equations, an introduction to calculus
Wikibook of Calculus
Numerical Methods of Integration at Holistic Numerical Methods Institute

18

16 ORIGEN DEL TEXTO Y LAS IMGENES, COLABORADORES Y LICENCIAS

16
16.1

Origen del texto y las imgenes, colaboradores y licencias

Texto

Integracin Fuente: https://es.wikipedia.org/wiki/Integraci%C3%B3n?oldid=88120217 Colaboradores: Sabbut, Mdiagom, Faustito, Jynus, 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, NickelSpider, Retama, Davius, Rastrojo, Barrie~eswiki, Ggenellina, Fsd141, Hortograa, Nightwish, Sixtocorbo, 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, 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, AVBOT, Coccotocandobajo, Kiensvay, SpBot, Diegusjaimes, Victormoz, CarsracBot, Innv, Error de inicio de sesin, Andreasmperu, FariBOT, Jotterbot, El
Duende, 67wkii, Hampcky, ArthurBot, Usuwiki, SuperBraulio13, Jkbw, Rubinbot, Robalgri, OiramZ, Ricardogpn, Pyr0, Rojasyesid, Panderine!, TiriBOT, Jakeukalane, NeoAdonis, Jerowiki, KamikazeBot, Dejsoft, Humbefa, Jorge c2010, DiegoEPaez, Foundling, LU2JGP,
Edslov, Dcirovic, Savh, AVIADOR, Allforrous, Africanus, Onisbel, Songel91, Jabl91, Piockec, Waka Waka, Ren Pea, Lcsrns, MerlIwBot, KLBot2, Edson Luque, Master 2uiroga, Xertan, Gins90, MetroBot, Ulloadamy, Maquedasahag, Acratta, Baron1993, Mega-buses,
Derivadade5, LlamaAl, Martin.esr, Elvisor, Helmy oved, Makecat-bot, Jeferson9310, Rotlink, SantoshBot, Addbot, FedeBosio, Melodies
and memories, Jess Bueno Urbano, Quien sabe puede, JacobRodrigues, Leonardosael, Lourdes Sada, Luisantonio14, Jarould, BenjaBot,
McMetrox, Juan Pedro Vidal y Annimos: 229

16.2

Imgenes

Archivo:Improper_integral.svg Fuente: https://upload.wikimedia.org/wikipedia/commons/9/94/Improper_integral.svg Licencia: CCBY-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 (piecewiseBzier 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 Licencia: 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 Licencia: 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: CCBY-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-BYSA-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 original: 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 Licencia: Public domain Colaboradores: self-made with MATLAB Artista original: Oleg Alexandrov

16.3

Licencia del contenido

Creative Commons Attribution-Share Alike 3.0