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

neral y cualitativamente ms avanzado de integral de Lebesgue. 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 generalizacin conocida como integral de Skorohod (1975).
Asimismo desde los aos 1960, se ha buscado denicin
matemticamente rigurosa de integral de caminos cunticos.

4 Terminologa y notacin

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

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
rea, un volumen, una regin de dimensin superior, o
incluso un espacio abstracto que no tiene estructura geomtrica en ningn sentido usual.

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.
El caso ms sencillo, la integral de una funcin real f de
La notacin moderna de las integrales indenidas fue pre- una variable real x sobre el intervalo [a, b], se escribe
sentada por Gottfried Leibniz en 1675.[2][3] Para indicar
summa (umma; en latn, suma o total), adapt el sm b
bolo integral, "", a partir de una letra S alargada porf (x) dx
que consideraba a la integral como una suma innita de
a
addendas innitesimales. La notacin moderna de la integral denida, con los lmites arriba y abajo del signo El signo , una S alargada, representa la integracin;
integral, la us por primera vez Joseph Fourier en M- a y b son el lmite inferior y el lmite superior de la
moires de la Academia Francesa, alrededor de 181920, integracin y denen el dominio de integracin; f es el
reimpresa en su libro de 1822.[4][5]
integrando, que se tiene que evaluar al variar x sobre el
Existen ligeras diferencias en la notacin del smbolo de intervalo [a,b]; y dx puede tener diferentes interpretaciola integral en la literatura de las diversas lenguas: el sm- nes dependiendo de la teora que se emplee. Por ejemplo,
bolo ingls est inclinado hacia la derecha, en alemn puede verse simplemente como una indicacin de que x
tradicionalmente se ha escrito derecho (sin inclinacin) es la variable de integracin, como una representacin de
mientras la variante rusa tradicional est inclinada hacia los pasos en la suma de Riemann, una medida (en la integracin de Lebesgue y sus extensiones), un innitesimal
la izquierda.
En la notacin matemtica en rabe moderno, que se es- (en anlisis no estndar) o como una cantidad matemticribe de derecha a izquierda, se usa un signo integral in- ca independiente: una forma diferencial. Los casos ms
complicados pueden variar la notacin ligeramente.
vertido

.[6]

5 Conceptos y aplicaciones
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 Riemann, as como su generalizacin conocida como integral
de Riemann-Stieltjes. A principios del siglo XX, el desarrollo de la teora de la medida llev al concepto ms ge-

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 sencillas de calcular. Una posibilidad es calcularlas mediante

5 CONCEPTOS Y APLICACIONES

(
(
) (
)
)
1 1
2 2 1
5 5 4
0 +

+. . .+

0, 7497
5 5
5 5 5
5 5 5

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

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

integrales.

concibe la integral como una suma ponderada (denotada

Para el clculo integral de reas se sigue el siguiente ra- por la S alargada), de los valores de la funcin multizonamiento:
plicados por pasos de anchura innitesimal, los llamados
diferenciales (indicados por dx).
1. Por ejemplo, consideremos la curva mostrada en la Con respecto al clculo real de integrales, el teorema
gura de arriba, grca de la funcin y = f (x) = fundamental del clculo, debido a Newton y Leibniz, es el

x , acotada entre x = 0 y x = 1 .
vnculo fundamental entre las operaciones de derivacin
e integracin. Aplicndolo a la curva raz cuadrada, se
3
tiene que mirar la funcin relacionada F (x) = 23 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) =
1
xq+1

q+1 . De este modo, el valor exacto del rea bajo la curva

x dx
se calcula formalmente como:
0
1
1
1 1
2 3 
Una primera aproximacin, aunque no muy precisa, para
2 dx = ( x 2 )
x
dx
=
x
=
3
0
0
0
obtener esta rea, consiste en determinar el rea del cua2 32
2 23
2
drado unidad cuyo lado lo da la distancia desde x=0 hasta
31 30 = 3.
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, Como se puede ver, la segunda aproximacin de 0,7 (con
el verdadero valor de la integral tendr que ser ms pe- cinco rectangulitos), arroj un valor superior al valor
queo. Particionando la supercie en estudio, con trazos exacto; en cambio la aproximacin con 12 rectangulitos
verticales, de tal manera que vamos obteniendo peque- de 0,6203 es una estimacin muy por debajo del valor
os rectngulos, y reduciendo cada vez ms el ancho de exacto (que es de 0,666...).
los rectngulos empleados para hacer la aproximacin, Histricamente, despus de que los primeros esfuerzos
se obtendr un mejor resultado. Por ejemplo, dividamos de denir rigurosamente los innitesimales no fructicael intervalo en cinco partes, empleando los puntos 0, 1 5 , sen, Riemann deni formalmente las integrales como el
2 3 4
5 , 5 , 5 y nalmente la abscisa 1. Se obtienen cinco rec- lmite de sumas ponderadas, de forma que el dx sugietngulos cuyas alturas se determinan aplicando la funcin re el lmite de una diferencia (la anchura del intervalo).
con las abscisas anteriormente descritas
(del ladoderecho La dependencia de la denicin de Riemann de los in

1/ ,
2/ ,
3/
de cada pedazo
de
la
curva),
as
tervalos y la continuidad motiv la aparicin de nuevas
5
5
5

y as hasta 1 = 1 . Sumando las reas de estos rectn- deniciones, especialmente la integral de Lebesgue, que
gulos, se obtiene una segunda aproximacin de la integral se basa en la habilidad de extender la idea de medida
que se est buscando,
de maneras mucho ms exibles. As, la notacin
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

6.1

Integral de Riemann

f (x) d

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

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.

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 Convergencia de sumatorios de Riemann a medida en que se parten los intervalos, cuando se muestrea a la derecha, el mnila integral son las integrales de Riemann y las integrales
mo, el mximo, o la izquierda.
de Lebesgue.

6.1

Integral de Riemann

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
la recta real; entonces una particin etiquetada de [a,b] es
una secuencia nita
a = x0 t1 x1 t2 x2
xn1 tn xn = b. y denotamos la particin como P = {xi |i = 0, 1, ..., n}

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

i=1

f (ti )i ;

6 DEFINICIONES FORMALES

As cada trmino del sumatorio es el rea del rectngulo 6.3

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

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
Cuando las etiquetas escogidas dan el mximo (o mnimo) valor de cada intervalo, el sumatorio de Riemann pasa a ser un sumatorio de Darboux superior (o inferior), lo
Integracin de Riemann-Darboux (azul) e integracin de Lebesque sugiere la estrecha conexin que hay entre la integral gue (rojo).
de Riemann y la integral de Darboux.

6.2

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 )
=
m
(x

i
i
i
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
Llamadas suma inferior y superior respectivamente, don- de Lebesgue, en particular, logra una gran exibilidad a
base de centrar la atencin en los pesos de la suma ponde:
derada.
Mi
=
sup{f (x)|x

As, la denicin de la integral de Lebesgue empieza con

[xi1 , xi ]},
mi = inf{f (x)|x
una medida, . En el caso ms sencillo, la medida de Le[xi1 , xi ]}
besgue (A) de un intervalo A = [a, b] es su ancho, b a,
as la integral de Lebesgue coincide con la integral de Rieson las alturas de los rectngulos, y xi-xi-1 la longitud de mann cuando existen ambas. En casos ms complicados,
la base de los rectngulos. La integral de Darboux est los conjuntos a medir pueden estar altamente fragmentadenida como el nico nmero acotado entre las sumas dos, sin continuidad y sin ningn parecido a intervalos.
inferior y superior, es decir,
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
Un enfoque habitual dene primero la integral de la
[a,b] existe si y solo si
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 Darboux pues se sigue que[7]
Esto se extiende por linealidad a las funciones escalonab
n
f

f
(t
)

U
(f,
P
)

das simples, que solo tienen un nmero nito n, de valores

i
i
i=1
a
diferentes no negativos:
L(f, P ) .

6.4

Otras integrales

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;

s d =
ai 1Ai d
entonces el valor de una medida en una funcin compaci=1

tamente soportada, es tambin, por denicin, la integral

n

de la funcin. Entonces se contina expandiendo la me=

ai 1Ai d
dida (la integral) a funciones ms generales por continuii=1
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
(
n

6.4 Otras integrales

s d =
E

ai (Ai E).

i=1

Entonces, para cualquier funcin medible no negativa f

se dene

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

{
f + (x) =
{

f (x) =

f (x), sif (x) > 0

0,
modo otro de
f (x), sif (x) < 0
0,
modo otro de

Finalmente, f es Lebesgue integrable si

|f | d < ,
E

y entonces se dene la integral por

f d.

f + d

f d =
E

ma variada por Arnaud Denjoy, Oskar Perron, y

Jaroslav Kurzweil, y desarrollada por Ralph Henstock.
La integral de Haar, que es la integral de Lebesgue
con la medida de Haar.
La integral de McShane.
La integral de Bochner.
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.

7 Propiedades de la integracin

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

funciones es tambin un espacio topolgico localmente
El conjunto de las funciones Riemann integrables en
compacto (como es el caso de los nmeros reales R), las
medidas compatibles con la topologa en un sentido adeun intervalo cerrado [a, b] forman un espacio veccuado (medidas de Radon, de las cuales es un ejemplo
torial con las operaciones de suma (la funcin suma
la medida de Lebesgue) una integral respecto de ellas se
de otras dos es la funcin que a cada punto le hace
puede denir de otra manera, se empieza a partir de las
corresponder la suma de las imgenes de este punto
integrales de las funciones continuas con soporte compacpor cada una de las otras dos) y la multiplicacin por
to. De forma ms precisa, las funciones compactamente
un escalar. La operacin integracin

7 PROPIEDADES DE LA INTEGRACIN

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,

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

(f +g)(x) dx =
a

f (x) dx+

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

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

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

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

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

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.

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:

7.3

Convenciones

sobre un intervalo [a, b] est denida si a < b. Esto signica 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 signiSi 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

los puntos extremos del intervalo, se denominan lmites
a
de integracin de f. Las integrales tambin se pueden deEs 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
a

g(x)2 dx .
a

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

f (x) dx =

f (x) dx.

Ello, con a = b, implica:

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 funciones |f|p y |g|q tambin son integrables y se cumple la
desigualdad de Hlder:


 f (x)g(x) dx
(
)1/p (
)1/q
p
q
|f (x)| dx
|g(x)| dx
.

f (x) dx = 0.
a

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

Una desigualdad anloga a sta para la integral

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

7.3

Convenciones

En esta seccin f es una funcin real Riemann integrable.

La integral

b
a

f (x) dx
a

f (x) dx.
c

Con la primera convencin la relacin resultante

f (x) dx

f (x) dx =
a

f (x) dx

c
c

f (x) dx +
a

f (x) dx +
a

f (x) dx =

f (x) dx
b

queda bien denida para cualquier permutacin cclica de

a, b, y c.

10

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 diferen3
ciales):

2.5

.
M

Teorema fundamental del clculo

1.5

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

1
0.5
0

0.5

1.5

2.5

La
impropia
integral
dx
= tiene intervalos no acotados tanto en el do0 (x+1) x
minio como en el recorrido.

Teorema fundamental del clculo. Sea f una funcin

real integrable denida en un intervalo cerrado [a,
Una integral de Riemann propia supone que el integranb]. Si se dene F para cada x de [a, b] por
do est denido y es nito en un intervalo cerrado y acotado, cuyos extremos son los lmites de integracin. Una
integral impropia aparece cuando una o ms de estas con x
diciones no se satisface. En algunos casos, estas integraF (x) =
f (x) dx.
les se pueden denir tomando el lmite de una sucesin
a
de integrales de Riemann propias sobre intervalos suceentonces F es continua en [a, b]. Si f es contisivamente ms largos.
nua en x de [a, b], entonces F es derivable en
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 cerrado [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 (x)dx = lim
f (x)dx
f), entonces
b

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

Si el integrando solo est denido en un intervalo nito

semiabierto, por ejemplo (a,b], entonces, otra vez el lmite puede suministrar un resultado nito.

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

entonces f es integrable en [a, b], y F, denida por
a

F (x) =

f (x) dx
a

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

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

f (x)dx = lim

f (x)dx
a+

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 especicado, o , o . En casos ms complicados, hacen falta
lmites en los dos puntos extremos o en puntos interiores.
1
integrada desde 0 a
Por ejemplo, la funcin (x+1)
x
(imagen de la derecha). En el extremo inferior, a medida

9.2

Integracin mltiple

11

que x se acerca a 0 la funcin tiende a , y el extremo

superior es l mismo , a pesar de que la funcin tiende
a 0. As, esta es una integral doblemente impropia. Integrada, por ejemplo, desde 1 hasta 3, con un sumatorio
de Riemann es suciente para obtener un resultado de 6
. Para integrar desde 1 hasta , un sumatorio de Riemann 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 lmite nito cuando t tiende a innito, que es 2 . De forma
parecida, la integral desde 1 3 hasta a 1 admite tambin
un sumatorio de Riemann, que por casualidad da de nuevo 6 . Sustituyendo 1 3 por un valor positivo arbitrario
s (con s < 1) resulta igualmente un resultado denido y
da 2 + 2 arctan 1s . ste, tambin tiene un lmite nito cuando s tiende a cero, que es 2 . Combinando los
lmites de los dos fragmentos, el resultado de esta integral
impropia es

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
t0
x
x
x2
1
t

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

t0

=3+3
= 6.
A la integral similar

dx
x

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

(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 no est acotada internamente, pero ambos lmites
1 3 x2
(por la derecha y por la izquierda) existen.

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

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

EXTENSIONES

da, 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
entre la grca de la funcin y el eje x, la integral doble de una funcin positiva de dos variables representa el
volumen de la regin comprendida entre la supercie denida por la funcin y el plano que contiene su dominio.
(El mismo volumen puede obtenerse a travs de una integral triple la integral de la funcin de tres variables
de la funcin constante f(x, y, z) = 1 sobre la regin
mencionada antes entre la 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 representar grcamente.
y las supercies. Estas integrales se conocen como intePor ejemplo, el volumen del paraleleppedo de caras 4 grales de lnea e integrales de supercie respectivamente.
Tienen importantes aplicaciones en la fsica cuando se
6 5 se puede obtener de dos maneras:
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 contorno.

5 dx dy
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

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

9.4

Integrales de supercie

13
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 .
S

(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.
La denicin de las integrales de supercie descansa en la divisin de la supercie en pequeos elementos 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.
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
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:

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

d =

f i
dx dxa .
x
i
i=1

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

Este planteamiento ms general permite un enfoque de la

integracin sobre variedades libre de coordenadas. TamS
bin permite una generalizacin natural del teorema funEl 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 aplicaciones en la fsica, en particular en la teora clsica del

electromagnetismo.
d =

v dS

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, 3lgebra 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.

10
10.1

Mtodos y aplicaciones
Clculo de integrales

Los resultados especcos que se han encontrado empleando las diferentes tcnicas se recogen en la tabla de
integrales.

10.2 Algoritmos simblicos

La tcnica ms bsica para calcular integrales de una variable real se basa en el teorema fundamental del clculo. En muchos problemas de matemticas, fsica, e ingenieSe procede de la siguiente forma:
ra 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
1. Se escoge una funcin f(x) y un intervalo [a, b].
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 recuF 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
la integracin. La integracin simblica presenta un reto
singularidades en el camino de integracin,
especial en el desarrollo de este tipo de sistemas.
b
Una dicultad matemtica importante de la integracin
f (x) dx = F (b) F (a).
a
simblica es que, en muchos casos, no existe ninguna frmula cerrada para la primitiva de una funcin aparen4. Por tanto, el valor de la integral es F(b) F(a).
temente inocente. Por ejemplo, se sabe que las primitivas 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 trigonomtriA menudo, el paso difcil de este proceso es el de en- cas, y las operaciones de suma, multiplicacin y compocontrar 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 funen otra que se espera que sea ms manejable. Entre estas ciones con expresiones cerradas para sus primitivas son
la excepcin en vez de ser la regla. En consecuencia, los
tcnicas destacan:
sistemas de clculo algebraico por ordenador, no pueden
tener la seguridad de poder encontrar una primitiva pa Integracin por cambio de variable
ra una funcin elemental cualquiera construida de forma
aleatoria. En el lado positivo, si se jan de antemano los
Integracin por partes
bloques constructivos de las primitivas, an es posible
Integracin por sustitucin trigonomtrica
decidir si se puede expresar la primitiva de una funcin
dada empleando estos bloques y las operaciones de mul Integracin de fracciones parciales
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, impleluar 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 exponenciatodo de integracin por series. Tambin hay muchas for- les.
mas 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.

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

10.3

Cuadratura numrica

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:

1
m=
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

Mtodos numricos de cuadratura:
Romberg, Gauss.

Rectngulo,

Trapezoide,

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 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 cuerta 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 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 normalmente se eligen de forma que la direccin positiva es hala integral
cia arriba.
) Si se quiere saber la distancia que ha recorrido el cuerpo
durante un tiempo dado T se puede razonar (empleando
dx
2
anlisis no estndar) que en torno a cada instante t la veque 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

1
5

1
100 (322

+ 3x(98 + x(37 + x))) 24

x
1 + x2

16

14 BIBLIOGRAFA

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

[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

El resultado de esta integral es:

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

g
= ( T 2 )
2

[8] Rudin, Walter (1987). Chapter 1: Abstract Integration,

Real and Complex Analysis (International ed.), McGrawHill, ISBN 978-0-07-100276-9

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

[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.
247-252. 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. 200-201.

17
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. 111-139. 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.

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
Numerical Methods of Integration at Holistic Numerical Methods Institute

15 Enlaces externos

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

Immanuel, ed. Der Briefwechsel von Gottfried Wil
Wikilibros alberga un libro o manual sobre
helm Leibniz mit Mathematikern. Erster Band. BerClculo. (en ingls)
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.

La integral denida y la funcin rea, en Descartes.

OConnor, J. J.; Robertson, E. F. (1996). A history

of the calculus. Consultado el 9 de julio de 2007.

Function Calculator de WIMS

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.

14.1

Libros en internet

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
Hussain, Faraz, Understanding Calculus, an online
textbook

The Integrator de Wolfram Research

P.S. Wang, Evaluation of Denite Integrals by Symbolic Manipulation (1972) - a cookbook of denite
integral techniques
Denite Integrals
Web de integrales en espaol

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=92097723 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, 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, 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, PatruBOT, KamikazeBot, Dejsoft, Humbefa, Jorge c2010, DiegoEPaez,
Foundling, LU2JGP, Edslov, Dcirovic, Savh, AVIADOR, Allforrous, Africanus, Onisbel, Songel91, Jabl91, Piockec, Waka Waka, Ren
Pea, Lcsrns, MerlIwBot, Javmarina, 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, 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 y Annimos: 239

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