Está en la página 1de 22

Para otros usos de este t�rmino, v�ase Integraci�n (desambiguaci�n).

�Integral� redirige aqu�. Para otras acepciones, v�ase Integral (desambiguaci�n).

La integral definida de una funci�n representa el �rea limitada por la gr�fica de


la funci�n, en un sistema de coordenadas cartesianas con signo positivo cuando la
funci�n toma valores positivos y signo negativo cuando toma valores negativos.
La integraci�n es un concepto fundamental del c�lculo y del an�lisis matem�tico.
B�sicamente, una integral es una generalizaci�n de la suma de infinitos sumandos,
infinitamente peque�os.

El c�lculo integral, encuadrado en el c�lculo infinitesimal, es una rama de las


matem�ticas en el proceso de integraci�n o antiderivaci�n. Es muy com�n en la
ingenier�a y en la ciencia; se utiliza principalmente para el c�lculo de �reas y
vol�menes de regiones y s�lidos de revoluci�n.

Fue usado por primera vez por cient�ficos como Arqu�medes, Ren� Descartes, Isaac
Newton, Gottfried Leibniz e Isaac Barrow. Los trabajos de este �ltimo y los aportes
de Newton generaron el teorema fundamental del c�lculo integral, que propone que la
derivaci�n y la integraci�n son procesos inversos.

�ndice
1 Principales objetivos del c�lculo integral
2 Teor�a
3 Historia
3.1 Integraci�n antes del c�lculo
3.2 Newton y Leibniz
3.3 Formalizaci�n de las integrales
3.4 Notaci�n
3.5 Generalizaciones modernas
4 Terminolog�a y notaci�n
5 Conceptos y aplicaciones
6 Definiciones formales
6.1 Integral de Riemann
6.2 Integral de Darboux
6.3 Integral de Lebesgue
6.4 Otras integrales
7 Propiedades de la integraci�n
7.1 Linealidad
7.2 Desigualdades con integrales
7.3 Convenciones
8 Teorema fundamental del c�lculo
8.1 Enunciado de los teoremas
9 Extensiones
9.1 Integrales impropias
9.2 Integraci�n m�ltiple
9.3 Integrales de l�nea
9.4 Integrales de superficie
9.5 Integrales de formas diferenciales
10 M�todos y aplicaciones
10.1 C�lculo de integrales
10.2 Algoritmos simb�licos
10.3 Cuadratura num�rica
11 Algunas aplicaciones
11.1 Valor medio de una funci�n
11.2 Aplicaciones en f�sica
12 V�ase tambi�n
13 Referencias y notas
14 Bibliograf�a
14.1 Libros en internet
15 Enlaces externos
Principales objetivos del c�lculo integral
Sus principales objetivos a estudiar son:

�rea de una regi�n plana


Cambio de variable
Integrales indefinidas
Integrales definidas
Integrales impropias
Integral de l�nea
Integrales m�ltiples (dobles o triples)
Integrales trigonom�tricas, logar�tmicas y exponenciales
M�todos de integraci�n
Teorema fundamental del c�lculo
Volumen de un s�lido de revoluci�n
Teor�a

{\displaystyle \scriptstyle \ \int _{a}^{b}f(x)\,\mathrm {d} x} \scriptstyle \ \int


_{a}^{b}f(x)\,{\mathrm d}x se interpreta como el �rea bajo la curva de f, entre a
y b.
Dada una funci�n {\displaystyle f(x)} f(x) de una variable real {\displaystyle x} x
y un intervalo {\displaystyle [a,b]} [a,b] de la recta real, la integral es igual
al �rea de la regi�n del plano {\displaystyle xy} xy limitada entre la gr�fica de
{\displaystyle f} f, el eje {\displaystyle x} x, y las l�neas verticales
{\displaystyle x=a} x=a y {\displaystyle x=b} x=b, donde son negativas las �reas
por debajo del eje {\displaystyle x} x.

{\displaystyle \int _{a}^{b}f(x)\,{\text{d}}x} {\displaystyle \int _{a}^{b}f(x)\,


{\text{d}}x}

La palabra "integral" tambi�n puede hacer referencia a la noci�n de primitiva: una


funci�n F, cuya derivada es la funci�n dada {\displaystyle f} f. En este caso se
denomina integral indefinida, mientras que las integrales tratadas en este art�culo
son las integrales definidas. Algunos autores mantienen una distinci�n entre
integrales primitivas e indefinidas.

Qu� es la integral (animaci�n)


Los principios de la integraci�n fueron formulados por Newton y Leibniz a finales
del siglo XVII. A trav�s del teorema fundamental del c�lculo, que desarrollaron los
dos de forma independiente, la integraci�n se conecta con la derivaci�n, y la
integral definida de una funci�n se puede calcular f�cilmente una vez se conoce una
antiderivada. Las integrales y las derivadas pasaron a ser herramientas b�sicas del
c�lculo, con numerosas aplicaciones en ciencia e ingenier�a.

Bernhard Riemann dio una definici�n rigurosa de la integral. Se basa en un l�mite


que aproxima el �rea de una regi�n curvil�nea a base de partirla en peque�os trozos
verticales. A comienzos del siglo XIX, empezaron a aparecer nociones m�s
sofisticadas de la integral, donde se han generalizado los tipos de las funciones y
los dominios sobre los cuales se hace la integraci�n. La integral curvil�nea se
define para funciones vectoriales de una variable, y el intervalo de integraci�n
[a,b] se sustituye por el de la parametrizaci�n de la curva sobre la cual se est�
integrando, la cual, conecta dos puntos del plano o del espacio. En una integral de
superficie, la curva se sustituye por un trozo de una superficie en el espacio
tridimensional.

Las integrales de las formas diferenciales desempe�an un papel fundamental en la


geometr�a diferencial moderna. Estas generalizaciones de la integral surgieron
primero a partir de las necesidades de la f�sica, y tienen un papel importante en
la formulaci�n de muchas leyes f�sicas c�mo, por ejemplo, las del
electromagnetismo. Los conceptos modernos de integraci�n se basan en la teor�a
matem�tica abstracta conocida como integral de Lebesgue, que fue desarrollada por
Henri Lebesgue.

Historia
Integraci�n antes del c�lculo
La integraci�n 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 conoc�a una f�rmula para
calcular el volumen de un tronco piramidal. La primera t�cnica sistem�tica
documentada capaz de determinar integrales es el m�todo de exhausci�n de Eudoxo
(circa 370 a. C.), que trataba de encontrar �reas y vol�menes a base de partirlos
en un n�mero infinito de formas para las cuales se conocieran el �rea o el volumen.
Este m�todo fue desarrollado y usado m�s adelante por Arqu�medes, que lo emple�
para calcular �reas de par�bolas y una aproximaci�n al �rea del c�rculo. M�todos
similares fueron desarrollados de forma independiente en China alrededor del siglo
III por Liu Hui, que los us� para encontrar el �rea del c�rculo. M�s tarde, Zu
Chongzhi us� este m�todo para encontrar el volumen de una esfera. En el Siddhanta
Shiromani, un libro de astronom�a del siglo XII del matem�tico indio Bhaskara II,
se encuentran algunas ideas de c�lculo integral.

Hasta el siglo XVI no empezaron a aparecer adelantos significativos sobre el m�todo


de exhausci�n. En esta �poca, por un lado, con el trabajo de Cavalieri con su
m�todo de los indivisibles y, por otro lado, con los trabajos de Fermat, se empez�
a desarrollar los fundamentos del c�lculo moderno. A comienzos del siglo XVII, se
produjeron nuevos adelantos con las aportaciones de Barrow y Torricelli, que
presentaron los primeros indicios de una conexi�n entre la integraci�n y la
derivaci�n.

Newton y Leibniz
Los principales adelantos en integraci�n vinieron en el siglo XVII con la
formulaci�n del teorema fundamental del c�lculo, realizado de manera independiente
por Newton y Leibniz. El teorema demuestra una conexi�n entre la integraci�n y la
derivaci�n. Esta conexi�n, combinada con la facilidad, comparativamente hablando,
del c�lculo de derivadas, se puede usar para calcular integrales. En particular, el
teorema fundamental del c�lculo permite resolver una clase m�s amplia de problemas.
Tambi�n cabe destacar todo el marco estructural alrededor de las matem�ticas que
desarrollaron tambi�n Newton y Leibniz. El llamado c�lculo infinitesimal permiti�
analizar, de forma precisa, funciones con dominios continuos. Posteriormente, este
marco ha evolucionado hacia el c�lculo moderno, cuya notaci�n para las integrales
procede directamente del trabajo de Leibniz.

Formalizaci�n de las integrales


Aunque Newton y Leibniz proporcionaron un enfoque sistem�tico a la integraci�n, su
trabajo carec�a de un cierto nivel de rigor. Es memorable la expresi�n del obispo
Berkeley interpretando los infinitesimales como los "fantasmas de las cantidades
que se desvanecen".

El c�lculo adquiri� una posici�n m�s firme con el desarrollo de los l�mites y, en
la primera mitad del siglo XIX, recibi� una fundamentaci�n adecuada por parte de
Cauchy. La integraci�n fue rigurosamente formalizada por primera vez por Riemann,
empleando l�mites. A pesar de que todas las funciones continuas fragmentadas y
acotadas son integrables en un intervalo acotado, m�s tarde se consideraron
funciones m�s generales para las cuales la definici�n de Riemann no era aplicable y
por tanto no eran integrables en el sentido de Riemann. Posteriormente Lebesgue dio
una definici�n diferente de la integral1? basada en la teor�a de la medida que
generalizaba la definici�n de Riemann, as� toda funci�n integrable en el sentido de
Riemann tambi�n 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. M�s
recientemente se han propuesto otras definiciones de integral a�n m�s generales,
que ampl�an las definiciones de Riemann y Lebesgue.

Notaci�n

El s�mbolo de integral en escritos (de izquierda a derecha) ingleses, alemanes y


rusos.
Isaac Newton usaba una peque�a barra vertical encima de una variable para indicar
integraci�n, o pon�a la variable dentro de una caja. La barra vertical se confund�a
f�cilmente con {\displaystyle {\dot {x}}} {\dot {x}} o {\displaystyle x'\,\!}
x'\,\!, que Newton usaba para indicar la derivaci�n, y adem�s la notaci�n "caja"
era dif�cil de reproducir por los impresores; por ello, estas notaciones no fueron
ampliamente adoptadas.

La notaci�n moderna de las integrales indefinidas fue presentada por Gottfried


Leibniz en 1675.2?3? Para indicar summa (?umma; en lat�n, "suma" o "total"), adapt�
el s�mbolo integral, "?", a partir de una letra S alargada porque consideraba a la
integral como una suma infinita de addendas(sumandos) infinitesimales. La notaci�n
moderna de la integral definida, con los l�mites arriba y abajo del signo integral,
la us� por primera vez Joseph Fourier en M�moires de la Academia Francesa,
alrededor de 1819-20, reimpresa en su libro de 1822.4?5?

Existen ligeras diferencias en la notaci�n del s�mbolo de la integral en la


literatura de las diversas lenguas: el s�mbolo ingl�s est� inclinado hacia la
derecha, en alem�n tradicionalmente se ha escrito derecho (sin inclinaci�n)
mientras la variante rusa tradicional est� inclinada hacia la izquierda.

En la notaci�n matem�tica en �rabe moderno, que se escribe de derecha a izquierda,


se usa un signo integral invertido Signed'Integraci�Arabic.png.6?

Generalizaciones modernas
Tras la creaci�n del c�lculo integral a partir del siglo XVII, y su desarrollo m�s
o menos intuitivo durante un par de siglos, la noci�n de integraci�n fue analizada
con mayor rigor durante el siglo XIX. As� la primera noci�n rigurosa de integraci�n
es el concepto de integral de Riemann, as� como su generalizaci�n conocida como
integral de Riemann-Stieltjes. A principios del siglo XX, el desarrollo de la
teor�a de la medida llev� al concepto m�s general y cualitativamente m�s avanzado
de integral de Lebesgue. M�s tarde el desarrollo de la noci�n de proceso
estoc�stico dentro de la teor�a de la probabilidad llev� a la formulaci�n de la
integral de Ito hacia el final de la primera mitad del siglo XX, y posteriormente a
su generalizaci�n conocida como integral de Skorohod (1975). Asimismo desde los
a�os 1960, se ha buscado definici�n matem�ticamente rigurosa de integral de caminos
cu�nticos.

Terminolog�a y notaci�n
Si una funci�n tiene una integral, se dice que es integrable. De la funci�n de la
cual se calcula la integral se dice que es el integrando. Se denomina dominio de
integraci�n a la regi�n sobre la cual se integra la funci�n. Si la integral no
tiene un dominio de integraci�n, se considera indefinida (la que tiene dominio se
considera definida). En general, el integrando puede ser una funci�n de m�s de una
variable, y el dominio de integraci�n puede ser un �rea, un volumen, una regi�n de
dimensi�n superior, o incluso un espacio abstracto que no tiene estructura
geom�trica en ning�n sentido usual.

El caso m�s sencillo, la integral de una funci�n real f de una variable real x
sobre el intervalo [a, b], se escribe

{\displaystyle \int _{a}^{b}f(x)\,{\text{d}}x} {\displaystyle \int _{a}^{b}f(x)\,


{\text{d}}x}

El signo ?, una "S" alargada, representa la integraci�n; a y b son el l�mite


inferior y el l�mite superior de la integraci�n y definen el dominio de
integraci�n; 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
teor�a que se emplee. Por ejemplo, puede verse simplemente como una indicaci�n de
que x es la variable de integraci�n, como una representaci�n de los pasos en la
suma de Riemann, una medida (en la integraci�n de Lebesgue y sus extensiones), un
infinitesimal (en an�lisis no est�ndar) o como una cantidad matem�tica
independiente: una forma diferencial. Los casos m�s complicados pueden variar la
notaci�n ligeramente.

Conceptos y aplicaciones

Aproximaciones a la integral de {\displaystyle {\sqrt {x}}} {\sqrt {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 pr�cticas. Consid�rese una piscina.
Si es rectangular y de profundidad uniforme, entonces, a partir de su longitud,
anchura y profundidad, se puede determinar f�cilmente el volumen de agua que puede
contener (para llenarla), el �rea de la superficie (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 integrales.

Para el c�lculo integral de �reas se sigue el siguiente razonamiento:

Por ejemplo, consideremos la curva mostrada en la figura de arriba, gr�fica de la


funci�n {\displaystyle y=f(x)={\sqrt {x}}\,} y=f(x)={\sqrt {x}}\,, acotada entre
{\displaystyle x=0\,} x=0\, y {\displaystyle x=1\,} x=1\,.
La respuesta a la pregunta �Cu�l es el �rea bajo la curva de funci�n {\displaystyle
f\,} f\,, en el intervalo desde {\displaystyle 0\,} 0\, hasta {\displaystyle 1\,}
1\,? es: que el �rea coincidir� con la integral de {\displaystyle f\,} f\,. La
notaci�n para esta integral ser�
{\displaystyle \int _{0}^{1}{\sqrt {x}}\,{\text{d}}x\,\!} {\displaystyle \int
_{0}^{1}{\sqrt {x}}\,{\text{d}}x\,\!}.
Una primera aproximaci�n, aunque no muy precisa, 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 tambi�n 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 m�s peque�o. Particionando la superficie en estudio, con trazos verticales, de
tal manera que vamos obteniendo peque�os rect�ngulos, y reduciendo cada vez m�s el
ancho de los rect�ngulos empleados para hacer la aproximaci�n, se obtendr� un mejor
resultado. Por ejemplo, dividamos el intervalo en cinco partes, empleando los
puntos 0, 1/5, 2/5,3/5,4/5 y finalmente la abscisa 1. Se obtienen cinco rect�ngulos
cuyas alturas se determinan aplicando la funci�n con las abscisas anteriormente
descritas (del lado derecho de cada pedazo de la curva), as� {\displaystyle {\sqrt
{{}^{1}/_{5}}}} {\sqrt {{}^{{1}}/_{5}}}, {\displaystyle {\sqrt {{}^{2}/_{5}}}}
{\sqrt {{}^{{2}}/_{5}}}, {\displaystyle {\sqrt {{}^{3}/_{5}}}} {\sqrt
{{}^{{3}}/_{5}}}� y as� hasta {\displaystyle {\sqrt {1}}=1\,} {\sqrt {1}}=1\,.
Sumando las �reas de estos rect�ngulos, se obtiene una segunda aproximaci�n de la
integral que se est� buscando,

{\displaystyle {\sqrt {\frac {1}{5}}}\left({\frac {1}{5}}-0\right)+{\sqrt {\frac


{2}{5}}}\left({\frac {2}{5}}-{\frac {1}{5}}\right)+\ldots +{\sqrt {\frac {5}
{5}}}\left({\frac {5}{5}}-{\frac {4}{5}}\right)\approx 0,7497\,\!} {\sqrt {{\frac
{1}{5}}}}\left({\frac {1}{5}}-0\right)+{\sqrt {{\frac {2}{5}}}}\left({\frac {2}
{5}}-{\frac {1}{5}}\right)+\ldots +{\sqrt {{\frac {5}{5}}}}\left({\frac {5}
{5}}-{\frac {4}{5}}\right)\approx 0,7497\,\!
N�tese que se est� sumando una cantidad finita de valores de la funci�n f,
multiplicados por la diferencia entre dos puntos de aproximaci�n sucesivos. Se
puede ver f�cilmente que las continuas aproximaciones contin�an dando un valor m�s
grande que el de la integral. Empleando m�s pasos se obtiene una aproximaci�n m�s
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 transici�n desde la suma de una
cantidad finita de diferencias de puntos de aproximaci�n multiplicados por los
respectivos valores de la funci�n, hasta usar pasos infinitamente finos, o
infinitesimales. La notaci�n

{\displaystyle \int f(x)\,{\text{d}}x\,\!} {\displaystyle \int f(x)\,


{\text{d}}x\,\!}
concibe la integral como una suma ponderada (denotada por la "S" alargada), de los
valores de la funci�n multiplicados por pasos de anchura infinitesimal, los
llamados diferenciales (indicados por dx).

Con respecto al c�lculo real de integrales, el teorema fundamental del c�lculo,


debido a Newton y Leibniz, es el v�nculo fundamental entre las operaciones de
derivaci�n e integraci�n. Aplic�ndolo a la curva ra�z cuadrada, se tiene que mirar
la funci�n relacionada {\displaystyle F(x)={\frac {2}{3}}x^{\frac {3}{2}}}
F(x)={\frac 23}x^{{\frac 32}} y simplemente tomar {\displaystyle F(1)-F(0)\,}
F(1)-F(0)\,, donde {\displaystyle 0\,} 0\, y {\displaystyle 1\,} 1\, son las
fronteras del intervalo [0,1]. �ste es un ejemplo de una regla general, que dice
que para {\displaystyle f(x)=x^{q}} {\displaystyle f(x)=x^{q}}, con q ? -1, la
funci�n relacionada, la llamada primitiva, es {\displaystyle F(x)={\frac {x^{q+1}}
{q+1}}} {\displaystyle F(x)={\frac {x^{q+1}}{q+1}}}. De este modo, el valor exacto
del �rea bajo la curva se calcula formalmente como:

{\displaystyle \int _{0}^{1}{\sqrt {x}}\,dx=\int _{0}^{1}x^{\frac {1}{2}}\,


{\text{d}}x=\left.({\frac {2}{3}}x^{\frac {3}{2}})\right|_{0}^{1}={\frac {2}
{3}}1^{\frac {3}{2}}-{\frac {2}{3}}0^{\frac {3}{2}}={\frac {2}{3}}.} {\displaystyle
\int _{0}^{1}{\sqrt {x}}\,dx=\int _{0}^{1}x^{\frac {1}{2}}\,{\text{d}}x=\left.
({\frac {2}{3}}x^{\frac {3}{2}})\right|_{0}^{1}={\frac {2}{3}}1^{\frac {3}{2}}-
{\frac {2}{3}}0^{\frac {3}{2}}={\frac {2}{3}}.}

Como se puede ver, la segunda aproximaci�n de 0,7 (con cinco rectangulitos), arroj�
un valor superior al valor exacto; en cambio la aproximaci�n con 12 rectangulitos
de 0,6203 es una estimaci�n muy por debajo del valor exacto (que es de 0,666...).

Hist�ricamente, despu�s de que los primeros esfuerzos de definir rigurosamente los


infinitesimales no fructificasen, Riemann defini� formalmente las integrales como
el l�mite de sumas ponderadas, de forma que el dx sugiere el l�mite de una
diferencia (la anchura del intervalo). La dependencia de la definici�n de Riemann
de los intervalos y la continuidad motiv� la aparici�n de nuevas definiciones,
especialmente la integral de Lebesgue, que se basa en la habilidad de extender la
idea de "medida" de maneras mucho m�s flexibles. As�, la notaci�n

{\displaystyle \int _{A}f(x)\,{\text{d}}\mu \,\!} {\displaystyle \int _{A}f(x)\,


{\text{d}}\mu \,\!}

hace referencia a una suma ponderada de valores en que se divide la funci�n, donde
� mide el peso que se tiene que asignar a cada valor. (Aqu� A indica la regi�n de
integraci�n.) La geometr�a diferencial, con su "c�lculo de variedades", proporciona
otra interpretaci�n a esta notaci�n 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 (m�s general) teorema de
Stokes,

{\displaystyle \int _{A}\mathbf {d} \omega =\int _{\partial A}\omega ,\,\!}


{\displaystyle \int _{A}\mathbf {d} \omega =\int _{\partial A}\omega ,\,\!}

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


teorema fundamental del c�lculo.

Recientemente, los infinitesimales han reaparecido con rigor, a trav�s de


innovaciones modernas como el an�lisis no est�ndar. Estos m�todos no solo
reivindican la intuici�n de los pioneros, tambi�n llevan hacia las nuevas
matem�ticas, y hacen m�s intuitivo y comprensible el trabajo con c�lculo
infinitesimal.

A pesar de que hay diferencias entre todas estas concepciones de la integral, hay
un solapamiento considerable. As�, el �rea de la piscina oval se puede hallar como
una elipse geom�trica, como una suma de infinitesimales, como una integral de
Riemann, como una integral de Lebesgue, o como una variedad con una forma
diferencial. El resultado obtenido con el c�lculo ser� el mismo en todos los casos.

Definiciones formales
Hay muchas maneras de definir formalmente una integral, no todas equivalentes. Se
establecen diferencias para poder abordar casos especiales que no pueden ser
integrables con otras definiciones, pero tambi�n en ocasiones por razones
pedag�gicas. Las definiciones m�s utilizadas de la integral son las integrales de
Riemann y las integrales de Lebesgue.

Integral de Riemann
Art�culo principal: Integral de Riemann

Integral con el planteamiento de Riemann hace una suma basada en una partici�n
etiquetada, con posiciones de muestreo y anchuras irregulares (el m�ximo en rojo).
El verdadero valor es 3,76; la estimaci�n obtenida es 3,648.
La integral de Riemann se define en t�rminos 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 partici�n etiquetada de [a,b] es una secuencia
finita

{\displaystyle a=x_{0}\leq t_{1}\leq x_{1}\leq t_{2}\leq x_{2}\leq \cdots \leq


x_{n-1}\leq t_{n}\leq x_{n}=b.\,\!} a=x_{0}\leq t_{1}\leq x_{1}\leq t_{2}\leq
x_{2}\leq \cdots \leq x_{{n-1}}\leq t_{n}\leq x_{n}=b.\,\! y denotamos la partici�n
como {\displaystyle {\mathit {P}}=\{x_{i}|i=0,1,...,n\}\,\!} {\mathit {P}}=\
{x_{i}|i=0,1,...,n\}\,\!

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


cuando se muestrea a � la derecha, � el m�nimo, � el m�ximo, o � la izquierda.
Esto divide al intervalo [a,b] en n subintervalos [xi-1, xi], cada uno de los
cuales es "etiquetado" con un punto especificado ti de; [xi-1, xi]. Sea ?i = xi-xi-
1 la anchura del subintervalo i; el paso de esta partici�n etiquetada es el ancho
del subintervalo m�s grande obtenido por la partici�n, maxi=1�n ?i. Un sumatorio de
Riemann de una funci�n f respecto de esta partici�n etiquetada se define como

{\displaystyle \sum _{i=1}^{n}f(t_{i})\Delta _{i};} \sum


_{{i=1}}^{{n}}f(t_{i})\Delta _{i};
As� cada t�rmino del sumatorio es el �rea del rect�ngulo con altura igual al valor
de la funci�n en el punto especificado del subintervalo dado, y de la misma anchura
que la anchura del subintervalo. La integral de Riemann de una funci�n f sobre el
intervalo [a,b] es igual a S si:
Para todo e > 0 existe d > 0 tal que, para cualquier partici�n etiquetada [a,b] con
paso m�s peque�o que d, se tiene
{\displaystyle \left|S-\sum _{i=1}^{n}f(t_{i})\Delta _{i}\right|<\varepsilon }
\left|S-\sum _{{i=1}}^{{n}}f(t_{i})\Delta _{i}\right|<\varepsilon , donde
{\displaystyle S=\int _{a}^{b}f=\lim _{\|{\Delta _{i}}\|\to 0}\sum
_{i=1}^{n}f(t_{i})\Delta _{i}} S=\int _{{a}}^{{b}}f=\lim _{{\|{\Delta _{i}}\|\to
0}}\sum _{{i=1}}^{{n}}f(t_{i})\Delta _{i}
Cuando las etiquetas escogidas dan el m�ximo (o m�nimo) valor de cada intervalo, el
sumatorio de Riemann pasa a ser un sumatorio de Darboux superior (o inferior), lo
que sugiere la estrecha conexi�n que hay entre la integral de Riemann y la integral
de Darboux.

Integral de Darboux
Art�culo principal: Integral de Darboux
La Integral de Darboux se define en t�rminos de sumas de los siguientes tipos:

{\displaystyle L({\mathit {f}},P)=\sum _{i}^{n}m_{i}(x_{i}-x_{i-1}),\qquad


U({\mathit {f}},P)=\sum _{i}^{n}M_{i}(x_{i}-x_{i-1})} L({\mathit {f}},P)=\sum
_{{i}}^{{n}}m_{i}(x_{i}-x_{{i-1}}),\qquad U({\mathit {f}},P)=\sum
_{{i}}^{{n}}M_{i}(x_{i}-x_{{i-1}})

Llamadas suma inferior y superior respectivamente, donde:

{\displaystyle M_{i}=\sup\{f(x)|x\in [x_{i-1},x_{i}]\},\qquad m_{i}=\inf\{f(x)|x\in


[x_{i-1},x_{i}]\}} M_{i}=\sup\{f(x)|x\in [x_{{i-1}},x_{i}]\},\qquad m_{i}=\inf\
{f(x)|x\in [x_{{i-1}},x_{i}]\}

son las alturas de los rect�ngulos, y xi-xi-1 la longitud de la base de los


rect�ngulos. La integral de Darboux est� definida como el �nico n�mero acotado
entre las sumas inferior y superior, es decir,

{\displaystyle L(f,P)\leq \int _{a}^{b}f\leq U(f,P)} L(f,P)\leq \int


_{{a}}^{{b}}f\leq U(f,P)

La interpretaci�n geom�trica de la integral de Darboux ser�a el c�lculo del �rea de


la regi�n en [a,b] por el M�todo exhaustivo. La integral de Darboux de una funci�n
f en [a,b] existe si y solo si

{\displaystyle \sup \left\lbrace L(f,P)\right\rbrace =\inf \left\lbrace


U(f,P)\right\rbrace } \sup \left\lbrace L(f,P)\right\rbrace =\inf \left\lbrace
U(f,P)\right\rbrace

Del Teorema de Caracterizaci�n que dice que si f es integrable en [a,b] entonces ?


e>0 ? P partici�n de [a,b] : 0=U(f,P)-L(f,P)=e, evidencia la equivalencia entre las
definiciones de Integral de Riemman e Integral de Darboux pues se sigue que7?

{\displaystyle \int _{a}^{b}f-\sum _{i=1}^{n}f(t_{i})\Delta _{i}\leq U(f,P)-


L(f,P)\leq \varepsilon } \int _{{a}}^{{b}}f-\sum _{{i=1}}^{{n}}f(t_{i})\Delta
_{i}\leq U(f,P)-L(f,P)\leq \varepsilon .

Integral de Lebesgue
Art�culo principal: Integral de Lebesgue

Integraci�n de Riemann-Darboux (azul) e integraci�n de Lebesgue (rojo).


La integral de Riemann no est� definida para un ancho abanico de funciones y
situaciones de importancia pr�ctica (y de inter�s te�rico). Por ejemplo, la
integral de Riemann puede integrar f�cilmente la densidad para obtener la masa de
una viga de acero, pero no se puede adaptar a una bola de acero que se apoya
encima. Esto motiva la creaci�n de otras definiciones, bajo las cuales se puede
integrar un surtido m�s amplio de funciones.8? La integral de Lebesgue, en
particular, logra una gran flexibilidad a base de centrar la atenci�n en los pesos
de la suma ponderada.

As�, la definici�n de la integral de Lebesgue empieza con una medida, �. En el caso


m�s sencillo, la medida de Lebesgue �(A) de un intervalo A = [a, b] es su ancho, b
- a, as� la integral de Lebesgue coincide con la integral de Riemann cuando existen
ambas. En casos m�s complicados, los conjuntos a medir pueden estar altamente
fragmentados, sin continuidad y sin ning�n parecido a intervalos.

Para explotar esta flexibilidad, la integral de Lebesgue invierte el enfoque de la


suma ponderada. Como expresa Folland:9? "Para calcular la integral de Riemann de f,
se particiona el dominio [a, b] en subintervalos", mientras que en la integral de
Lebesgue, "de hecho lo que se est� particionando es el recorrido de f".

Un enfoque habitual define primero la integral de la funci�n caracter�stica de un


conjunto medible A por:

{\displaystyle \int 1_{A}d\mu =\mu (A)} \int 1_{A}d\mu =\mu (A).


Esto se extiende por linealidad a las funciones escalonadas simples, que solo
tienen un n�mero finito n, de valores diferentes no negativos:

{\displaystyle {\begin{aligned}\int s\,d\mu &{}=\int \left(\sum


_{i=1}^{n}a_{i}1_{A_{i}}\right)d\mu \\&{}=\sum _{i=1}^{n}a_{i}\int
1_{A_{i}}\,d\mu \\&{}=\sum _{i=1}^{n}a_{i}\,\mu (A_{i})\end{aligned}}}
{\begin{aligned}\int s\,d\mu &{}=\int \left(\sum
_{{i=1}}^{{n}}a_{i}1_{{A_{i}}}\right)d\mu \\&{}=\sum _{{i=1}}^{{n}}a_{i}\int
1_{{A_{i}}}\,d\mu \\&{}=\sum _{{i=1}}^{{n}}a_{i}\,\mu (A_{i})\end{aligned}}
(donde la imagen de Ai al aplicarle la funci�n escalonada s es el valor constante
ai). As�, si E es un conjunto medible, se define

{\displaystyle \int _{E}s\,d\mu =\sum _{i=1}^{n}a_{i}\,\mu (A_{i}\cap E).} \int


_{E}s\,d\mu =\sum _{{i=1}}^{{n}}a_{i}\,\mu (A_{i}\cap E).
Entonces, para cualquier funci�n medible no negativa f se define

{\displaystyle \int _{E}f\,d\mu =\sup \left\{\int _{E}s\,d\mu \,\colon 0\leq s\leq


f{\text{ y }}s{\text{es una funcion escalonada}}\right\};} {\displaystyle \int
_{E}f\,d\mu =\sup \left\{\int _{E}s\,d\mu \,\colon 0\leq s\leq
f{\text{ y }}s{\text{es una funcion escalonada}}\right\};}
Es decir, se establece que la integral de f es el supremo de todas las integrales
de funciones escalonadas que son m�s peque�as o iguales que f. Una funci�n medible
cualquiera f, se separa entre sus valores positivos y negativos a base de definir

{\displaystyle {\begin{aligned}f^{+}
(x)&{}={\begin{cases}f(x),&{\text{si }}f(x)>0\\0,&{\text{de otro
modo}}\end{cases}}\\f^{-}(x)&{}={\begin{cases}-
f(x),&{\text{si }}f(x)<0\\0,&{\text{de otro modo}}\end{cases}}\end{aligned}}}
{\begin{aligned}f^{+}(x)&{}={\begin{cases}f(x),&{\text{si }}f(x)>0\\0,&{\text{de
otro modo}}\end{cases}}\\f^{-}(x)&{}={\begin{cases}-
f(x),&{\text{si }}f(x)<0\\0,&{\text{de otro modo}}\end{cases}}\end{aligned}}
Finalmente, f es Lebesgue integrable si

{\displaystyle \int _{E}|f|\,d\mu <\infty ,\,\!} \int _{E}|f|\,d\mu <\infty ,\,\!


y entonces se define la integral por

{\displaystyle \int _{E}f\,d\mu =\int _{E}f^{+}\,d\mu -\int


_{E}f^{-}\,d\mu .\,\!} \int _{E}f\,d\mu =\int _{E}f^{+}\,d\mu -\int _{E}f^{-}\,d\mu
.\,\!
Cuando el espacio m�trico en el que est�n definidas las funciones es tambi�n un
espacio topol�gico localmente compacto (como es el caso de los n�meros reales R),
las medidas compatibles con la topolog�a en un sentido adecuado (medidas de Radon,
de las cuales es un ejemplo la medida de Lebesgue) una integral respecto de ellas
se puede definir de otra manera, se empieza a partir de las integrales de las
funciones continuas con soporte compacto. De forma m�s precisa, las funciones
compactamente soportadas forman un espacio vectorial que comporta una topolog�a
natural, y se puede definir una medida (Radon) como cualquier funcional lineal
continuo de este espacio; entonces el valor de una medida en una funci�n
compactamente soportada, es tambi�n, por definici�n, la integral de la funci�n.
Entonces se contin�a expandiendo la medida (la integral) a funciones m�s generales
por continuidad, y se define la medida de un conjunto como la integral de su
funci�n caracter�stica. Este es el enfoque que toma Bourbaki10? y cierto n�mero de
otros autores. Para m�s detalles, v�ase medidas de Radon.

Otras integrales
A pesar de que las integrales de Riemann y Lebesgue son las definiciones m�s
importantes de integral, hay unas cu�ntas m�s, por ejemplo:

La integral de Riemann-Stieltjes, una extensi�n de la integral de Riemann.


La integral de Lebesgue-Stieltjes, desarrollada por Johann Radon, que generaliza
las integrales de Riemann-Stieltjes y de Lebesgue.
La integral de Daniell, que incluye la integral de Lebesgue y la integral de
Lebesgue-Stieltjes sin tener que depender de ninguna medida.
La integral de Henstock-Kurzweil, definida de forma 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 Ito, integral que extiende a la integral de Riemann-Stieltjes,
permite integrar respecto a procesos estoc�sticos que pueden no ser de variaci�n
acotada como el movimiento browniano.
Propiedades de la integraci�n
Linealidad
El conjunto de las funciones Riemann integrables en un intervalo cerrado [a, b]
forman un espacio vectorial con las operaciones de suma (la funci�n suma de otras
dos es la funci�n que a cada punto le hace corresponder la suma de las im�genes de
este punto por cada una de las otras dos) y la multiplicaci�n por un escalar. La
operaci�n integraci�n
{\displaystyle f\mapsto \int _{a}^{b}f\;dx} f\mapsto \int _{a}^{b}f\;dx
es un funcional lineal de este espacio vectorial. As�, en primer lugar, el conjunto
de funciones integrables es cerrado con la combinaci�n lineal, y en segundo lugar,
la integral de una combinaci�n lineal es la combinaci�n lineal de las integrales,
{\displaystyle \int _{a}^{b}(\alpha f+\beta g)(x)\,dx=\alpha \int
_{a}^{b}f(x)\,dx+\beta \int _{a}^{b}g(x)\,dx.\,} \int _{a}^{b}(\alpha f+\beta g)
(x)\,dx=\alpha \int _{a}^{b}f(x)\,dx+\beta \int _{a}^{b}g(x)\,dx.\,
De forma parecida, el conjunto de las funciones reales Lebesgue integrables en un
espacio m�trico 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
{\displaystyle f\mapsto \int _{E}fd\mu } f\mapsto \int _{E}fd\mu
es un funcional lineal de este espacio vectorial, de forma que
{\displaystyle \int _{E}(\alpha f+\beta g)\,d\mu =\alpha \int _{E}f\,d\mu +\beta
\int _{E}g\,d\mu .} \int _{E}(\alpha f+\beta g)\,d\mu =\alpha \int _{E}f\,d\mu
+\beta \int _{E}g\,d\mu .
De forma m�s general, si se toma el espacio vectorial de todas las funciones
medibles sobre un espacio m�trico (E,�), que toman valores en un espacio vectorial
topol�gico completo localmente compacto V sobre un campo topol�gico localmente
compacto K, f : E ? V. Entonces se puede definir una aplicaci�n integraci�n
abstracta que a cada funci�n f le asigna un elemento de V o el s�mbolo 8,
{\displaystyle f\mapsto \int _{E}fd\mu ,\,} f\mapsto \int _{E}fd\mu ,\,
que es compatible con las combinaciones lineales. En esta situaci�n, la linealidad
se sostiene para el subespacio de las funciones, cuya integral es un elemento de V
(es decir, las integrales "finitas"). Los casos m�s importantes surgen cuando K es
R, C, o una extensi�n finita del campo Qp de n�meros p-�dicos, y V es un espacio
vectorial de dimensi�n finita sobre K, y cuando K=C y V es un espacio de Hilbert
complejo.
La linealidad, junto con algunas propiedad naturales de continuidad y la
normalizaci�n para ciertas clases de funciones "simples", se pueden usar para dar
una definici�n 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 topol�gicamente compacto. V�ase Hildebrandt
(1953)11? para una caracterizaci�n axiom�tica de la integral.

Desigualdades con integrales


Se verifican varias desigualdades generales para funciones Riemann integrables
definidas en un intervalo cerrado y acotado [a, b] y se pueden generalizar a otras
nociones de integral (Lebesgue y Daniell).

Cotas superiores e inferiores. Una funci�n f integrable en [a, b], es


necesariamente acotada en el intervalo. Por lo tanto hay dos n�meros 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 tambi�n acotados para m(b - a) y M(b - a)
respectivamente, de aqu� resulta que
{\displaystyle m(b-a)\leq \int _{a}^{b}f(x)\,dx\leq M(b-a).} m(b-a)\leq \int
_{a}^{b}f(x)\,dx\leq M(b-a).
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�
{\displaystyle \int _{a}^{b}f(x)\,dx\leq \int _{a}^{b}g(x)\,dx.} \int
_{a}^{b}f(x)\,dx\leq \int _{a}^{b}g(x)\,dx.
Esto es una generalizaci�n de las desigualdades anteriores, dado que M '(b - a) es
la integral de la funci�n 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
{\displaystyle \int _{c}^{d}f(x)\,dx\leq \int _{a}^{b}f(x)\,dx.} \int
_{c}^{d}f(x)\,dx\leq \int _{a}^{b}f(x)\,dx.
Productos y valores absolutos de funciones. Si f y g son dos funciones, entonces
podemos emplear su producto, potencias y valores absolutos:
{\displaystyle (fg)(x)=f(x)g(x),\;f^{2}(x)=(f(x))^{2},\;|f|(x)=|f(x)|.\,} (fg)
(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
{\displaystyle \left|\int _{a}^{b}f(x)\,dx\right|\leq \int _{a}^{b}|f(x)|\,dx.}
\left|\int _{a}^{b}f(x)\,dx\right|\leq \int _{a}^{b}|f(x)|\,dx.
Es m�s, si f y g son ambas Riemann integrables entonces f 2, g 2, y fg son tambi�n
Riemann integrables, y
{\displaystyle \left(\int _{a}^{b}(fg)(x)\,dx\right)^{2}\leq \left(\int
_{a}^{b}f(x)^{2}\,dx\right)\left(\int _{a}^{b}g(x)^{2}\,dx\right).} \left(\int
_{a}^{b}(fg)(x)\,dx\right)^{2}\leq \left(\int _{a}^{b}f(x)^{2}\,dx\right)\left(\int
_{a}^{b}g(x)^{2}\,dx\right).
Esta desigualdad se conoce como desigualdad de Cauchy-Schwarz, y desempe�a un papel
fundamental en la teor�a 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 H�lder. Si p y q son dos n�meros reales, 1 = p, q = 8 con 1/p + 1/q
= 1, y f y g son dos funciones Riemann integrables. Entonces las funciones |f|p y |
g|q tambi�n son integrables y se cumple la desigualdad de H�lder:
{\displaystyle \left|\int f(x)g(x)\,dx\right|\leq \left(\int \left|f(x)\right|
^{p}\,dx\right)^{1/p}\left(\int \left|g(x)\right|^{q}\,dx\right)^{1/q}.} \left|\int
f(x)g(x)\,dx\right|\leq \left(\int \left|f(x)\right|
^{p}\,dx\right)^{{1/p}}\left(\int \left|g(x)\right|^{q}\,dx\right)^{{1/q}}.
Para el caso de p = q = 2, la desigualdad de H�lder pasa a ser la desigualdad de
Cauchy�Schwarz.
Desigualdad de Minkowski. Si p = 1 es un n�mero real y f y g son funciones Riemann
integrables. Entonces |f|p, |g|p y |f + g|p son tambi�n Riemann integrables y se
cumple la desigualdad de Minkowski:
{\displaystyle \left(\int \left|f(x)+g(x)\right|^{p}\,dx\right)^{1/p}\leq
\left(\int \left|f(x)\right|^{p}\,dx\right)^{1/p}+\left(\int \left|g(x)\right|
^{p}\,dx\right)^{1/p}.} \left(\int \left|f(x)+g(x)\right|
^{p}\,dx\right)^{{1/p}}\leq \left(\int \left|f(x)\right|^{p}\,dx\right)^{{1/p}}
+\left(\int \left|g(x)\right|^{p}\,dx\right)^{{1/p}}.
Una desigualdad an�loga a �sta para la integral de Lebesgue se usa en la
construcci�n de los espacios Lp.
Convenciones
En esta secci�n f es una funci�n real Riemann integrable. La integral

{\displaystyle \int _{a}^{b}f(x)\,dx} \int _{a}^{b}f(x)\,dx


sobre un intervalo [a, b] est� definida si a < b. Esto significa que los sumatorios
superiores e inferiores de la funci�n f se eval�an sobre una partici�n a = x0 = x1
= . . . = xn = b cuyos valores xi son crecientes. Geom�tricamente significa que la
integraci�n tiene lugar "de izquierda a derecha", evaluando f dentro de intervalos
[x?i?, x?i?+1] donde el intervalo con un �ndice m�s grande queda a la derecha del
intervalo con un �ndice m�s peque�o. Los valores a y b, los puntos extremos del
intervalo, se denominan l�mites de integraci�n de f. Las integrales tambi�n se
pueden definir si a > b:

Inversi�n de los l�mites de integraci�n. si a > b entonces se define


{\displaystyle \int _{a}^{b}f(x)\,dx=-\int _{b}^{a}f(x)\,dx.} \int
_{a}^{b}f(x)\,dx=-\int _{b}^{a}f(x)\,dx.
Ello, con a = b, implica:

Integrales sobre intervalos de longitud cero. si a es un n�mero real entonces


{\displaystyle \int _{a}^{a}f(x)\,dx=0.} \int _{a}^{a}f(x)\,dx=0.
La primera convenci�n es necesaria al calcular integrales sobre subintervalos de
[a, b]; la segunda dice que una integral sobre un intervalo degenerado, o un punto,
tiene que ser cero. Un motivo para la primera convenci�n es que la integrabilidad
de f sobre un intervalo [a, b] implica que f es integrable sobre cualquier
subintervalo [c, d], pero en particular las integrales tienen la propiedad de que:

Aditividad de la integraci�n sobre intervalos. si c es cualquier elemento de [a,


b], entonces
{\displaystyle \int _{a}^{b}f(x)\,dx=\int _{a}^{c}f(x)\,dx+\int
_{c}^{b}f(x)\,dx.} \int _{a}^{b}f(x)\,dx=\int _{a}^{c}f(x)\,dx+\int
_{c}^{b}f(x)\,dx.
Con la primera convenci�n la relaci�n resultante

{\displaystyle {\begin{aligned}\int _{a}^{c}f(x)\,dx&{}=\int _{a}^{b}f(x)\,dx-\int


_{c}^{b}f(x)\,dx\\&{}=\int _{a}^{b}f(x)\,dx+\int _{b}^{c}f(x)\,dx\end{aligned}}}
{\begin{aligned}\int _{a}^{c}f(x)\,dx&{}=\int _{a}^{b}f(x)\,dx-\int
_{c}^{b}f(x)\,dx\\&{}=\int _{a}^{b}f(x)\,dx+\int _{b}^{c}f(x)\,dx\end{aligned}}
queda bien definida para cualquier permutaci�n c�clica de a, b, y c.

En lugar de ver lo anterior como convenciones, tambi�n se puede adoptar el punto de


vista de que la integraci�n se hace solo sobre variedades orientadas. Si M es una
tal forma m-dimensional orientada, y M' es la misma forma con orientaci�n opuesta y
? es una m-forma, entonces se tiene (v�ase m�s abajo la integraci�n de formas
diferenciales):

{\displaystyle \int _{M}\omega =-\int _{M'}\omega \,.} \int _{M}\omega =-\int


_{{M'}}\omega \,.
Teorema fundamental del c�lculo
Art�culo principal: Teorema fundamental del c�lculo
El teorema fundamental del c�lculo es la afirmaci�n de que la derivaci�n y la
integraci�n son operaciones inversas: si una funci�n continua primero se integra y
luego se deriva, se recupera la funci�n original. Una consecuencia importante, en
ocasiones denominada el segundo teorema fundamental del c�lculo, permite calcular
integrales a base de emplear una primitiva de la funci�n a integrar.

Enunciado de los teoremas


Teorema fundamental del c�lculo. Sea f una funci�n real integrable definida en un
intervalo cerrado [a, b]. Si se define F para cada x de [a, b] por
{\displaystyle F(x)=\int _{a}^{x}f(x)\,dx.} {\displaystyle F(x)=\int
_{a}^{x}f(x)\,dx.}
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 c�lculo. Sea f una funci�n real, integrable
definida en un intervalo cerrado [a, b]. Si F es una funci�n tal que F?'(x) = f(x)
para todo x de [a, b] (es decir, F es una primitiva de f), entonces
{\displaystyle \int _{a}^{b}f(x)\,dx=F(b)-F(a).} {\displaystyle \int
_{a}^{b}f(x)\,dx=F(b)-F(a).}
Corolario. Si f es una funci�n continua en [a, b], entonces f es integrable en [a,
b], y F, definida por
{\displaystyle F(x)=\int _{a}^{b}f(x)\,dx} F(x)=\int _{a}^{b}f(x)\,dx
es una primitiva de f en [a, b]. Adem�s,
{\displaystyle \int _{a}^{b}f(x)\,dx=F(b)-F(a).} \int_a^b f(x) \, dx = F(b) - F(a).
Extensiones
Integrales impropias
Art�culo principal: Integral impropia

La integral impropia
{\displaystyle \int _{0}^{\infty }{\frac {dx}{(x+1){\sqrt {x}}}}=\pi } \int
_{{0}}^{{\infty }}{\frac {dx}{(x+1){\sqrt {x}}}}=\pi
tiene intervalos no acotados tanto en el dominio como en el recorrido.
Una integral de Riemann "propia" supone que el integrando est� definido y es finito
en un intervalo cerrado y acotado, cuyos extremos son los l�mites de integraci�n.
Una integral impropia aparece cuando una o m�s de estas condiciones no se
satisface. En algunos casos, estas integrales se pueden definir tomando el l�mite
de una sucesi�n de integrales de Riemann propias sobre intervalos sucesivamente m�s
largos.

Si el intervalo no es acotado, por ejemplo en su extremo superior, entonces la


integral impropia es el l�mite cuando el punto final tiende a infinito.

{\displaystyle \int _{a}^{\infty }f(x)dx=\lim _{b\to \infty }\int


_{a}^{b}f(x)dx} \int _{{a}}^{{\infty }}f(x)dx=\lim _{{b\to \infty }}\int
_{{a}}^{{b}}f(x)dx
Si el integrando solo est� definido en un intervalo finito semiabierto, por ejemplo
(a,b], entonces, otra vez el l�mite puede suministrar un resultado finito.

{\displaystyle \int _{a}^{b}f(x)dx=\lim _{\epsilon \to 0}\int _{a+\epsilon }


^{b}f(x)dx} \int _{{a}}^{{b}}f(x)dx=\lim _{{\epsilon \to 0}}\int
_{{a+\epsilon }}^{{b}}f(x)dx
Esto es, la integral impropia es el l�mite de integrales propias cuando uno de los
puntos extremos del intervalo de integraci�n se aproxima, ya sea a un n�mero real
especificado, o 8, o -8. En casos m�s complicados, hacen falta l�mites en los dos
puntos extremos o en puntos interiores.

Por ejemplo, la funci�n {\displaystyle {\tfrac {1}{(x+1){\sqrt {x}}}}} {\tfrac {1}


{(x+1){\sqrt {x}}}} integrada desde 0 a 8 (imagen de la derecha). En el extremo
inferior, a medida que x se acerca a 0 la funci�n tiende a 8, y el extremo superior
es �l mismo 8, a pesar de que la funci�n tiende a 0. As�, esta es una integral
doblemente impropia. Integrada, por ejemplo, desde 1 hasta 3, con un sumatorio de
Riemann es suficiente para obtener un resultado de {\displaystyle {\tfrac {\pi }
{6}}} {\tfrac {\pi }{6}}. Para integrar desde 1 hasta 8, un sumatorio de Riemann
no es posible. Ahora bien, cualquier l�mite superior finito, por ejemplo t (con t >
1), da un resultado bien definido, {\displaystyle {\tfrac {\pi }{2}}-2\arctan
{\tfrac {1}{\sqrt {t}}}} {\tfrac {\pi }{2}}-2\arctan {\tfrac {1}{{\sqrt {t}}}}.
Este resultado tiene un l�mite finito cuando t tiende a infinito, que es
{\displaystyle {\tfrac {\pi }{2}}} {\tfrac {\pi }{2}}. De forma parecida, la
integral desde 1/3 hasta a 1 admite tambi�n un sumatorio de Riemann, que por
casualidad da de nuevo {\displaystyle {\tfrac {\pi }{6}}} {\tfrac {\pi }{6}}.
Sustituyendo 1/3 por un valor positivo arbitrario s (con s < 1) resulta igualmente
un resultado definido y da {\displaystyle -{\tfrac {\pi }{2}}+2\arctan {\tfrac {1}
{\sqrt {s}}}} -{\tfrac {\pi }{2}}+2\arctan {\tfrac {1}{{\sqrt {s}}}}. �ste,
tambi�n tiene un l�mite finito cuando s tiende a cero, que es {\displaystyle
{\tfrac {\pi }{2}}} {\tfrac {\pi }{2}}. Combinando los l�mites de los dos
fragmentos, el resultado de esta integral impropia es

{\displaystyle {\begin{aligned}\int _{0}^{\infty }{\frac {dx}{(x+1){\sqrt


{x}}}}&{}=\lim _{s\to 0}\int _{s}^{1}{\frac {dx}{(x+1){\sqrt {x}}}}+\lim _{t\to
\infty }\int _{1}^{t}{\frac {dx}{(x+1){\sqrt {x}}}}\\&{}=\lim _{s\to 0}\left(-
{\frac {\pi }{2}}+2\arctan {\frac {1}{\sqrt {s}}}\right)+\lim _{t\to
\infty }\left({\frac {\pi }{2}}-2\arctan {\frac {1}{\sqrt {t}}}\right)\\&{}={\frac
{\pi }{2}}+{\frac {\pi }{2}}\\&{}=\pi .\end{aligned}}} {\begin{aligned}\int
_{{0}}^{{\infty }}{\frac {dx}{(x+1){\sqrt {x}}}}&{}=\lim _{{s\to 0}}\int
_{{s}}^{{1}}{\frac {dx}{(x+1){\sqrt {x}}}}+\lim _{{t\to \infty }}\int
_{{1}}^{{t}}{\frac {dx}{(x+1){\sqrt {x}}}}\\&{}=\lim _{{s\to 0}}\left(-{\frac
{\pi }{2}}+2\arctan {\frac {1}{{\sqrt {s}}}}\right)+\lim _{{t\to
\infty }}\left({\frac {\pi }{2}}-2\arctan {\frac {1}{{\sqrt
{t}}}}\right)\\&{}={\frac {\pi }{2}}+{\frac {\pi }{2}}\\&{}=\pi .\end{aligned}}
Este proceso no tiene el �xito garantizado; un l�mite puede no existir, o puede ser
infinito. Por ejemplo, sobre el intervalo cerrado de 0 a 1 la integral de
{\displaystyle {\tfrac {1}{x^{2}}}} {\tfrac {1}{x^{2}}} no converge; y sobre el
intervalo abierto del 1 a 8 la integral de {\displaystyle {\tfrac {1}{\sqrt {x}}}}
{\tfrac {1}{{\sqrt {x}}}} no converge.

La integral impropia
{\displaystyle \int _{-1}^{1}{\frac {dx}{\sqrt[{3}]{x^{2}}}}=6} \int _{{-1}}^{{1}}
{\frac {dx}{{\sqrt[ {3}]{x^{2}}}}}=6
no est� acotada internamente, pero ambos l�mites (por la derecha y por la
izquierda) existen.
Tambi�n 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 l�mite de las integrales de
los dos lados han de existir y han de ser acotados. As�

{\displaystyle {\begin{aligned}\int _{-1}^{1}{\frac {dx}{\sqrt[{3}]


{x^{2}}}}&{}=\lim _{s\to 0}\int _{-1}^{-s}{\frac {dx}{\sqrt[{3}]{x^{2}}}}+\lim
_{t\to 0}\int _{t}^{1}{\frac {dx}{\sqrt[{3}]{x^{2}}}}\\&{}=\lim _{s\to 0}3(1-
{\sqrt[{3}]{s}})+\lim _{t\to 0}3(1-{\sqrt[{3}]{t}})\\&{}=3+3\\&{}=6.\end{aligned}}}
{\begin{aligned}\int _{{-1}}^{{1}}{\frac {dx}{{\sqrt[ {3}]{x^{2}}}}}&{}=\lim
_{{s\to 0}}\int _{{-1}}^{{-s}}{\frac {dx}{{\sqrt[ {3}]{x^{2}}}}}+\lim _{{t\to
0}}\int _{{t}}^{{1}}{\frac {dx}{{\sqrt[ {3}]{x^{2}}}}}\\&{}=\lim _{{s\to 0}}3(1-
{\sqrt[ {3}]{s}})+\lim _{{t\to 0}}3(1-{\sqrt[ {3}]
{t}})\\&{}=3+3\\&{}=6.\end{aligned}}
A la integral similar
{\displaystyle \int _{-1}^{1}{\frac {dx}{x}}\,\!} \int _{{-1}}^{{1}}{\frac {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, v�ase valor
principal de Cauchy.)

Integraci�n m�ltiple
Art�culo principal: Integral m�ltiple

Integral doble como el volumen limitado por una superficie.


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

{\displaystyle \int _{E}f(x)\,dx.} \int _{E}f(x)\,dx.


Aqu� x no hace falta que sea necesariamente un n�mero real, sino que puede ser
cualquier otra cantidad apropiada, por ejemplo, un vector de R3. El teorema de
Fubini demuestra que estas integrales pueden reescribirse como una integral
iterada. En otras palabras, la integral se puede calcular a base de integrar las
coordenadas una por una.

De la misma manera que la integral definida de una funci�n positiva representa el


�rea de la regi�n encerrada entre la gr�fica de la funci�n y el eje x, la integral
doble de una funci�n positiva de dos variables representa el volumen de la regi�n
comprendida entre la superficie definida por la funci�n y el plano que contiene su
dominio. (El mismo volumen puede obtenerse a trav�s de una integral triple � la
integral de la funci�n de tres variables � de la funci�n constante f(x, y, z) = 1
sobre la regi�n mencionada antes entre la superficie y el plano, lo mismo se puede
hacer con una integral doble para calcular una superficie.) Si el n�mero de
variables es mayor, entonces la integral representa un hipervolumen, el volumen de
un s�lido de m�s de tres dimensiones que no se puede representar gr�ficamente.

Por ejemplo, el volumen del paralelep�pedo de caras 4 � 6 � 5 se puede obtener de


dos maneras:

Con la integral doble


{\displaystyle \iint _{D}5\ dx\,dy} \iint _{D}5\ dx\,dy
de la funci�n f(x, y) = 5 calculada en la regi�n D del plano xy que es la base del
paralelep�pedo.
Con la integral triple
{\displaystyle \iiint _{\mathrm {paralelepipedo} }1\,dx\,dy\,dz} \iiint _{{\mathrm
{paralelepipedo}}}1\,dx\,dy\,dz
de la funci�n constante 1 calculada sobre el mismo paralelep�pedo (a pesar de que
este segundo m�todo tambi�n se puede interpretar como el hipervolumen de un
hiperparalelep�pedo de cuatro dimensiones que tiene como base el paralelep�pedo en
cuesti�n y una altura constante de 1, como la altura es 1 el volumen coincide con
el �rea de la base).
Puesto que es imposible calcular la antiderivada de una funci�n de m�s de una
variable, no existen las integrales m�ltiples indefinidas: tales integrales son
todas definidas.

Integrales de l�nea
Art�culo principal: Integral de l�nea

Una integral de l�nea acumula elementos a lo largo de una curva.


El concepto de integral se puede extender a dominios de integraci�n m�s generales,
tales como las l�neas curvas y las superficies. Estas integrales se conocen como
integrales de l�nea e integrales de superficie respectivamente. Tienen importantes
aplicaciones en la f�sica cuando se trata con campos vectoriales.
Una integral de l�nea es una integral donde la funci�n a integrar es evaluada a lo
largo de una curva. Se utilizan varias integrales curvil�neas diferentes. En el
caso de una curva cerrada tambi�n se la denomina integral de contorno.

La funci�n a integrar puede ser un campo escalar o un campo vectorial. El valor de


la integral curvil�nea es la suma de los valores del campo en los puntos de la
l�nea, ponderados por alguna funci�n 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 ponderaci�n distingue las
integrales curvil�neas de las integrales m�s sencillas definidas sobre intervalos.

Muchas f�rmulas sencillas de la f�sica tienen de forma natural an�logas continuas


en t�rminos de integrales de l�nea; por ejemplo, el hecho de que el trabajo sea
igual a la fuerza multiplicada por la distancia se puede expresar (en t�rminos de
cantidades vectoriales) como:

{\displaystyle W={\vec {F}}\cdot {\vec {d}}} W={\vec F}\cdot {\vec d}


que tiene su paralelismo en la integral de l�nea

{\displaystyle W=\int _{C}{\vec {F}}\cdot d{\vec {s}}} W=\int _{C}{\vec F}\cdot


d{\vec s}
que acumula los componentes vectoriales a lo largo de un camino continuo, y as�
calcula el trabajo realizado por un objeto al moverse a trav�s de un campo, como
por ejemplo un campo el�ctrico o un campo gravitatorio.

Integrales de superficie
Art�culo principal: Integral de superficie

La definici�n de las integrales de superficie descansa en la divisi�n de la


superficie en peque�os elementos de superficie.
Una integral de superficie es una integral definida calculada sobre una superficie
(que puede ser un conjunto curvado en el espacio; se puede entender como la
integral doble an�loga a la integral de l�nea. La funci�n a integrar puede ser un
campo escalar o un campo vectorial. El valor de la integral de superficie es la
suma ponderada de los valores del campo en todos los puntos de la superficie. Esto
se puede conseguir a base de dividir la superficie en elementos de superficie, los
cuales proporcionan la partici�n para los sumatorios de Riemann.

Como ejemplo de las aplicaciones de las integrales de superficie, se puede


considerar un campo vectorial v sobre una superficie S; es decir, para cada punto x
de S, v(x) es un vector. Imag�nese que se tiene un fluido fluyendo a trav�s de S,
de forma que v(x) determina la velocidad del fluido en el punto x. El caudal se
define como la cantidad de fluido que fluye a trav�s de S en la unidad de tiempo.
Para hallar el caudal, hay que calcular el producto escalar de v por el vector
unitario normal a la superficie S en cada punto, lo que nos dar� un campo escalar,
que integramos sobre la superficie:

{\displaystyle \int _{S}{\mathbf {v} }\cdot \,d{\mathbf {S} }} \int _{S}{{\mathbf


v}}\cdot \,d{{\mathbf {S}}}.
El caudal de fluido de este ejemplo puede ser de un fluido f�sico como el agua o el
aire, o de un flujo el�ctrico o magn�tico. As�, las integrales de superficie tienen
aplicaciones en la f�sica, en particular en la teor�a cl�sica del
electromagnetismo.

Integrales de formas diferenciales


Art�culo principal: Forma diferencial
Una forma diferencial es un concepto matem�tico en los campos del c�lculo
multivariable, topolog�a diferencial y tensores. La notaci�n moderna de las formas
diferenciales, as� como la idea de las formas diferenciales como el producto
exterior de derivadas exteriores formando un �lgebra exterior, fue presentada por
�lie Cartan.

Se empieza trabajando en un conjunto abierto de Rn. Una 0-forma se define como una
funci�n infinitamente derivable f. Cuando se integra una funci�n f sobre un
subespacio de m-dimensional S de Rn, se escribe como

{\displaystyle \int _{S}f\,dx^{1}\cdots dx^{m}.} \int _{S}f\,dx^{1}\cdots dx^{m}.


(Los super�ndices no son exponentes.) Se puede considerar que dx1 hasta dxn son
objetos formales ellos mismos, m�s que etiquetas a�adidas 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 b�sicas.

Se define el conjunto de todos estos productos como las 2-formas b�sicas, y de


forma similar se define el conjunto de los productos de la forma dxa?dxb?dxc como
las 3-formas b�sicas. Una k-forma general es por lo tanto una suma ponderada de k-
formas b�sicas, donde los pesos son las funciones infinitamente derivables f. Todas
juntas forman un espacio vectorial, siendo las k-formas b�sicas los vectores base,
y las 0-formas (funciones infinitamente derivables) el campo de escalares. El
producto exterior se extiende a las k-formas de la forma natural. Sobre Rn como
m�ximo n covectores pueden ser linealmente independientes, y as� una k-forma con k
> n ser� siempre cero por la propiedad alternante.

Adem�s del producto exterior, tambi�n existe el operador derivada exterior d. Este
operador hace corresponder a las k-formas (k+1)-formas. Para una k-forma ? = f dxa
sobre Rn, se define la acci�n de d por:

{\displaystyle {\mathbf {d} }{\omega }=\sum _{i=1}^{n}{\frac {\partial f}{\partial


x_{i}}}dx^{i}\wedge dx^{a}.} {\displaystyle {\mathbf {d} }{\omega }=\sum _{i=1}^{n}
{\frac {\partial f}{\partial x_{i}}}dx^{i}\wedge dx^{a}.}
con extensi�n a las k-formas generales que se dan linealmente.

Este planteamiento m�s general permite un enfoque de la integraci�n sobre


variedades libre de coordenadas. Tambi�n permite una generalizaci�n natural del
teorema fundamental del c�lculo, denominada teorema de Stokes, que se puede
establecer como

{\displaystyle \int _{\Omega }{\mathbf {d} }\omega =\int _{\partial


\Omega }\omega \,\!} {\displaystyle \int _{\Omega }{\mathbf {d} }\omega =\int
_{\partial \Omega }\omega \,\!}
donde ? es una k-forma general, y ?O indica la frontera de la regi�n O. As� en el
supuesto de que ? sea una 0-forma y O sea un intervalo cerrado de la recta real, el
teorema de Stokes se reduce al teorema fundamental del c�lculo. En el caso de que ?
sea una 1-forma y O sea una regi�n de dimensi�n 2 en el plano, el teorema se reduce
al teorema de Green. De manera similar, empleando 2-formas, 3-formas y la dualidad
de Hodge, se puede llegar al teorema de Stokes y al teorema de la divergencia. De
esta forma puede verse que las formas diferenciales suministran una potente visi�n
unificadora de la integraci�n.

M�todos y aplicaciones
C�lculo de integrales
Art�culo principal: M�todos de integraci�n
La t�cnica m�s b�sica para calcular integrales de una variable real se basa en el
teorema fundamental del c�lculo. Se procede de la siguiente forma:

Se escoge una funci�n f(x) y un intervalo [a, b].


Se halla una antiderivada de f, es decir, una funci�n F tal que F' = f.
Se emplea el teorema fundamental del c�lculo, suponiendo que ni el integrando ni la
integral tienen singularidades en el camino de integraci�n,
{\displaystyle \int _{a}^{b}f(x)\,dx=F(b)-F(a).} \int _{a}^{b}f(x)\,dx=F(b)-F(a).
Por tanto, el valor de la integral es F(b) - F(a).
N�tese que la integral no es realmente la antiderivada, sino que el teorema
fundamental permite emplear las antiderivadas para evaluar las integrales
definidas.

A menudo, el paso dif�cil de este proceso es el de encontrar una primitiva de f. En


raras ocasiones es posible echar un vistazo a una funci�n y escribir directamente
su primitiva. Muy a menudo, es necesario emplear una de las muchas t�cnicas que se
han desarrollado para evaluar integrales. La mayor�a de ellas transforman una
integral en otra que se espera que sea m�s manejable. Entre estas t�cnicas
destacan:

Integraci�n por cambio de variable


Integraci�n por partes
Integraci�n por sustituci�n trigonom�trica
Integraci�n de fracciones parciales
Incluso si estas t�cnicas fallan, a�n puede ser posible evaluar una integral dada.
La siguiente t�cnica m�s com�n es el c�lculo 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 m�todo de integraci�n por series. Tambi�n
hay muchas formas menos habituales para calcular integrales definidas; por ejemplo,
se puede emplear la identidad de Parseval para transformar una integral sobre una
regi�n rectangular en una suma infinita. En algunas ocasiones, se puede evaluar una
integral empleando un truco; un ejemplo de este tipo se puede ver en la integral de
Gauss.

Los c�lculos de vol�menes de s�lidos de revoluci�n se pueden hacer normalmente con


la integraci�n por discos o la integraci�n por capas.

Los resultados espec�ficos que se han encontrado empleando las diferentes t�cnicas
se recogen en la tabla de integrales.

Algoritmos simb�licos
Art�culo principal: Integraci�n simb�lica
En muchos problemas de matem�ticas, f�sica, e ingenier�a en los que participa la
integraci�n es deseable tener una f�rmula expl�cita para la integral. Con esta
finalidad, a lo largo de los a�os se han ido publicando extensas tablas de
integrales. Con el desarrollo de los ordenadores, muchos profesionales, educadores
y estudiantes han recurrido a los sistemas de c�lculo algebraico por ordenador, que
han sido dise�ados espec�ficamente para desarrollar tareas tediosas o dif�ciles,
entre las cuales se encuentra la integraci�n. La integraci�n simb�lica presenta un
reto especial en el desarrollo de este tipo de sistemas.

Una dificultad matem�tica importante de la integraci�n simb�lica es que, en muchos


casos, no existe ninguna f�rmula cerrada para la primitiva de una funci�n
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 f�rmula cerrada en las que
participen solo funciones racionales, exponenciales, logar�tmicas, trigonom�tricas,
inversas de las funciones trigonom�tricas, y las operaciones de suma,
multiplicaci�n y composici�n. En otras palabras, ninguna de estas tres funciones
dadas es integrable con funciones elementales. La teor�a de Galois diferencial
proporciona criterios generales para determinar cu�ndo la primitiva de una funci�n
elemental es a su vez elemental. Por desgracia, resulta que las funciones con
expresiones cerradas para sus primitivas son la excepci�n en vez de ser la regla.
En consecuencia, los sistemas de c�lculo algebraico por ordenador, no pueden tener
la seguridad de poder encontrar una primitiva para una funci�n elemental cualquiera
construida de forma aleatoria. En el lado positivo, si se fijan de antemano los
"bloques constructivos" de las primitivas, a�n es posible decidir si se puede
expresar la primitiva de una funci�n dada empleando estos bloques y las operaciones
de multiplicaci�n y composici�n, y hallar la respuesta simb�lica en el caso de que
exista. El algoritmo de Risch, implementado en Mathematica y en otros sistemas de
c�lculo algebraico por ordenador, hacen precisamente esto para funciones y
primitivas construidas a partir de fracciones racionales, radicales, logaritmos y
funciones exponenciales.

Algunos integrandos aparecen con la suficiente frecuencia como para merecer un


estudio especial. En particular, puede ser �til tener, en el conjunto de las
primitivas, las funciones especiales de la f�sica (como las funciones de Legendre,
la funci�n hipergeom�trica, la funci�n gamma, etc�tera). Es posible extender el
algoritmo de Risch-Norman de forma que abarque estas funciones, pero se trata de
todo un reto.

La mayor�a de los humanos no son capaces de integrar estas f�rmulas generales, por
lo que en cierto sentido los ordenadores son m�s h�biles integrando f�rmulas muy
complicadas. Es poco probable que las f�rmulas muy complejas tengan primitivas de
forma cerrada, de modo que hasta qu� punto esto es una ventaja es una cuesti�n
filos�fica abierta a debate.

Cuadratura num�rica

M�todos num�ricos de cuadratura: � Rect�ngulo, � Trapezoide, � Romberg, � Gauss.


Art�culo principal: Integraci�n num�rica
Las integrales que se encuentran en los cursos b�sicos de c�lculo han sido elegidas
deliberadamente por su simplicidad, pero las que se encuentran en las aplicaciones
reales no siempre son tan asequibles. Algunas integrales no se pueden hallar con
exactitud, otras necesitan de funciones especiales que son muy complicadas de
calcular, y otras son tan complejas que encontrar la respuesta exacta es demasiado
lento. Esto motiva el estudio y la aplicaci�n de m�todos num�ricos para aproximar
integrales. Hoy en d�a se usan en la aritm�tica de coma flotante, en ordenadores
electr�nicos. Para los c�lculos a mano surgieron muchas ideas mucho antes; pero la
velocidad de los ordenadores de uso general como el ENIAC crearon la necesidad de
mejoras.

Los objetivos de la integraci�n num�rica son la exactitud, la fiabilidad, la


eficiencia y la generalidad. Por ejemplo, la integral

{\displaystyle \int _{-2}^{2}{\tfrac {1}{5}}\left({\tfrac {1}{100}}


(322+3x(98+x(37+x)))-24{\frac {x}{1+x^{2}}}\right)dx} \int _{{-2}}^{{2}}{\tfrac
15}\left({\tfrac {1}{100}}(322+3x(98+x(37+x)))-24{\frac {x}{1+x^{2}}}\right)dx
que tiene el valor aproximado de 6.826 (en la pr�ctica 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 aproximaci�n ya es bastante buena.) Un enfoque de
"libro de c�lculo" divide el intervalo de integraci�n en, por ejemplo, 16 trozos
iguales, y calcula los valores de la funci�n.

Valores de la funci�n en los puntos


x -2,00 -1,50 -1,00 -0,50 0,00 0,50 1,00 1,50 2,00
f(x) 2,22800 2,45663 2,67200 2,32475 0,64400 -0,92575 -
0,94000 -0,16963 0,83600
x -1.75 -1,25 -0,75 -0,25 0,25 0,75 1,25 1.75
f(x) 2,33041 2,58562 2,62934 1,64019 -0,32444 -1,09159
-0,60387 0,31734
Algunas aplicaciones
Valor medio de una funci�n
Para calcular el valor medio m de una funci�n f en un intervalo [a,b] se usa la
siguiente f�rmula:
{\displaystyle m={\frac {1}{b-a}}\int _{a}^{b}f(x)\mathrm {d} x.} m={\frac {1}{b-
a}}\int _{a}^{b}f(x){\mathrm {d}}x.
N�tese que, si la funci�n f es una funci�n escalonada con escalones de igual
anchura, esta definici�n coincide con la media aritm�tica de los valores de la
funci�n. Si los escalones tienen anchuras diferentes, entonces coincide con la
media aritm�tica ponderada donde el valor de la funci�n en cada escal�n se pondera
con la anchura del escal�n. Por lo tanto, esta definici�n se puede entender como la
extensi�n natural de la media.

Aplicaciones en f�sica
Muchas leyes de la F�sica se expresan en forma de ecuaciones diferenciales. En el
caso m�s sencillo, estas ecuaciones diferenciales se resuelven con el c�lculo de
una primitiva y muchas veces el resultado final que se busca se encuentra con el
c�lculo de una integral.

Por ejemplo, la integral se aplica para resolver el problema de la ca�da libre de


un cuerpo sometido a la gravedad de la tierra. En la Tierra, la aceleraci�n de la
gravedad es aproximadamente g = 9,81 m/s�. Por lo tanto un cuerpo que cae
libremente empezando su ca�da con velocidad nula tiene una velocidad que viene dada
por la siguiente funci�n:

{\displaystyle v=-g\cdot t} v=-g\cdot t


El signo negativo es debido a que la gravedad es hacia el centro de la tierra y los
sistemas de referencia normalmente se eligen de forma que la direcci�n positiva es
hacia arriba.

Si se quiere saber la distancia que ha recorrido el cuerpo durante un tiempo dado T


se puede razonar (empleando an�lisis no est�ndar) que en torno a cada instante t la
velocidad es constante salvo variaciones infinitesimales, por lo tanto el espacio
recorrido en este instante durante un periodo de tiempo infinitesimal 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:

{\displaystyle \ell =\int _{0}^{T}\left(-g\cdot t\;\mathrm {d} t\,\right)} \ell


=\int _{0}^{T}\left(-g\cdot t\;{\mathrm {d}}t\,\right).
El resultado de esta integral es:

{\displaystyle \ell =\,-({\frac {g}{2}}\cdot T^{2})} \ell =\,-({\frac g2}\cdot


T^{2})
Otros ejemplos de campos de la f�sica donde se aplican las integrales:

La energ�a consumida en un periodo de tiempo es la integral de la potencia durante


el tiempo.
La variaci�n de la carga el�ctrica en un condensador durante un periodo de tiempo
es la integral de la corriente el�ctrica que fluye hacia el condensador durante
este tiempo.
La integraci�n del caudal (metros c�bicos por segundo) que fluye por un conducto
proporciona el volumen de fluido que ha pasado por el conducto durante el periodo
de integraci�n.
V�ase tambi�n
Tabla de integrales
Integraci�n num�rica
Derivada
Signo de Integral
Ver el portal sobre Matem�tica Portal:Matem�tica. Contenido relacionado con
Matem�tica.
Sumatorio
L�mite matem�tico
Infinito
Integral de l�nea
Cambio de variable
Integrales definidas
Integrales indefinidas
Referencias y notas
En el caso de las funciones a las que se aplica la definici�n de Riemann, los
resultados coinciden.
Burton, David M. (2005). The History of Mathematics: An Introduction (6� ed.),
McGraw-Hill, p. 359, ISBN 978-0-07-305189-5
Leibniz, Gottfried Wilhelm (1899) (Gerhardt, Karl Immanuel, ed.). Der Briefwechsel
von Gottfried Wilhelm Leibniz mit Mathematikern. Erster Band, Berlin: Mayer &
M�ller, p. 154
Cajori, Florian (1929). A History Of Mathematical Notations, Vol. II, Open Court
Publishing, pp. 247-252, ISBN 978-0-486-67766-8
Fourier, Jean Baptiste Joseph (1822). Th�orie analytique de la chaleur, Chez
Firmin Didot, p�re et fils, p. �231, [1]
W3C (2006). Arabic mathematical notation [2]
Haaser, Norman B., LaSalle, Joseph, P., Sullivan, Joseph, A. (1970). An�lisis
Matem�tico 1: Curso de Introducci�n p. 546. M�xico, D.F.: Trillas. ISBN 968-24-
0132-1.
Rudin, Walter (1987). "Chapter 1: Abstract Integration", Real and Complex Analysis
(International ed.), McGraw-Hill, ISBN 978-0-07-100276-9
Folland, Gerald B. (1984). Real Analysis: Modern Techniques and Their Applications
(1� ed.), John Wiley & Sons, ISBN 978-0-471-80958-6
Bourbaki, Nicolas (2004). Integration I, Springer Verlag, ISBN 3-540-41129-1. En
particular, los cap�tulos III y IV.
Hildebrandt, T. H. (1953). "Integration in abstract spaces", Bulletin of the
American Mathematical Society 59(2): 111�139, ISSN 0273-0979 [3]
Bibliograf�a
Apostol, Tom M. (1967). Calculus, Vol. 1: One-Variable Calculus with an
Introduction to Linear Algebra (2nd edici�n). John Wiley & Sons. ISBN 978-0-471-
00005-1.
Bourbaki, Nicolas (2004). Integration I. Springer. ISBN 3-540-41129-1.. En
particular los cap�tulos III y IV.
Burton, David M. (2005). The History of Mathematics: An Introduction (6th edici�n).
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; Bj�rck, �ke (forthcoming). �Chapter 5: Numerical Integration�.
Numerical Methods in Scientific Computing. Philadelphia: SIAM. Archivado desde el
original el 15 de junio de 2007.
Folland, Gerald B. (1984). Real Analysis: Modern Techniques and Their Applications
(1st edici�n). Wiley-Interscience. ISBN 978-0-471-80958-6.
Fourier, Jean Baptiste Joseph (1822). Th�orie analytique de la chaleur. Chez Firmin
Didot, p�re et fils. p. �231.
Disponible en ingl�s comoFourier, Joseph (1878). The analytical theory of heat.
Freeman, Alexander (trans.). Cambridge University Press. pp. 200-201.
Heath, T. L., ed. (2002). The Works of Archimedes. Dover. ISBN 978-0-486-42084-4.
(Originalmente publicado por Cambridge University Press, 1897, based on J. L.
Heiberg's 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.
Leibniz, Gottfried Wilhelm (1899). Gerhardt, Karl Immanuel, ed. Der Briefwechsel
von Gottfried Wilhelm Leibniz mit Mathematikern. Erster Band. Berlin: Mayer &
M�ller.
Miller, Jeff. Earliest Uses of Symbols of Calculus. Archivado desde el original el
5 de diciembre de 1998. Consultado el 2 de junio de 2007.
O�Connor, 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 edici�n). McGraw-Hill. ISBN 978-0-07-100276-9.
Saks, Stanislaw (1964). Theory of the integral (English translation by L. C. Young.
With two additional notes by Stefan Banach. Second revised edici�n). New York:
Dover.
Stoer, Josef; Bulirsch, Roland (2002). �Chapter 3: Topics in Integration�.
Introduction to Numerical Analysis (3rd edici�n). Springer-Verlag. ISBN 978-0-387-
95452-3..
W3C (2006). Arabic mathematical notation.
Libros en internet

También podría gustarte