Sei sulla pagina 1di 23

Integracin

De Wikipedia, la enciclopedia libre

La integracin es un concepto fundamental del clculo y del anlisis


matemtico. Bsicamente, una integral es una generalizacin de la
suma de infinitos sumandos, infinitamente pequeos.

El clculo integral, encuadrado en el clculo infinitesimal, 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 revolucin.

Fue usado por primera vez por cientficos como Arqumedes, Ren
Descartes, Isaac Newton, Gottfried Leibniz e Isaac Barrow. Los trabajos
de este ltimo y los aportes de Newton generaron el teorema
fundamental del clculo integral, que propone que la derivacin y la La integral definida de una funcin
integracin son procesos inversos. representa el rea limitada por la
grfica de la funcin, en un sistema de
coordenadas cartesianas con signo
positivo cuando la funcin toma
ndice valores positivos y signo negativo
cuando toma valores negativos.
1 Principales objetivos del clculo integral
2 Teora
3 Historia
3.1 Integracin antes del clculo
3.2 Newton y Leibniz
3.3 Formalizacin de las integrales
3.4 Notacin
3.5 Generalizaciones modernas
4 Terminologa y notacin
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 integracin
7.1 Linealidad
7.2 Desigualdades con integrales
7.3 Convenciones
8 Teorema fundamental del clculo
8.1 Enunciado de los teoremas
9 Extensiones
9.1 Integrales impropias
9.2 Integracin mltiple
9.3 Integrales de lnea
9.4 Integrales de superficie
9.5 Integrales de formas diferenciales
10 Mtodos y aplicaciones
10.1 Clculo de integrales
10.2 Algoritmos simblicos
10.3 Cuadratura numrica
11 Algunas aplicaciones
11.1 Valor medio de una funcin
11.2 Aplicaciones en fsica
12 Vase tambin
13 Referencias y notas
14 Bibliografa
14.1 Libros en internet
15 Enlaces externos

Principales objetivos del clculo integral


Sus principales objetivos a estudiar son:

rea de una regin plana


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

Teora
Dada una funcin de una variable real y un intervalo
de la recta real, la integral es igual al rea de la regin del plano
limitada entre la grfica de , el eje , y las lneas verticales
y , donde son negativas las reas por debajo del eje .

se interpreta como el rea bajo la


curva de f, entre a y b.
La palabra "integral" tambin puede hacer referencia a la nocin de
primitiva: una funcin F, cuya derivada es la funcin dada . En
este caso se denomina integral indefinida, mientras que las integrales tratadas en este artculo son las
integrales definidas. Algunos autores mantienen una distincin entre integrales primitivas e indefinidas.

Los principios de la integracin fueron formulados por Newton y Leibniz a finales del siglo XVII. A travs del
teorema fundamental del clculo, que desarrollaron los dos de forma independiente, la integracin se conecta
con la derivacin, y la integral definida de una funcin se puede calcular fcilmente una vez se conoce una
antiderivada. Las integrales y las derivadas pasaron a ser herramientas bsicas del clculo, con numerosas
aplicaciones en ciencia e ingeniera.

Bernhard Riemann dio una definicin rigurosa de la integral. Se basa en un lmite que aproxima el rea de una
regin curvilnea a base de partirla en pequeos trozos verticales. A comienzos del siglo XIX, empezaron a
aparecer nociones ms sofisticadas de la integral, donde se han generalizado los tipos de las funciones y los
dominios sobre los cuales se hace la integracin. La integral curvilnea se define para funciones 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 superficie, la
curva se sustituye por un trozo de una superficie en el espacio tridimensional.
Las integrales de las formas diferenciales desempean un papel fundamental en la geometra diferencial
moderna. Estas generalizaciones de la integral surgieron primero a partir de las necesidades de la fsica, y
tienen un papel importante en la formulacin de muchas leyes fsicas cmo, por ejemplo, las 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.

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 infinito de formas para
las cuales se conocieran el rea o el volumen. Este mtodo fue desarrollado y usado ms adelante por
Arqumedes, que lo emple para calcular reas de parbolas y una aproximacin al rea del crculo. Mtodos
similares fueron desarrollados de forma independiente en China alrededor del siglo III por Liu Hui, que los us
para encontrar el rea del crculo. Ms tarde, Zu Chongzhi us este mtodo para encontrar el volumen de una
esfera. En el Siddhanta Shiromani, un libro de astronoma del siglo XII del matemtico indio Bhaskara II, se
encuentran algunas ideas de clculo integral.

Hasta el siglo XVI no empezaron a aparecer adelantos significativos sobre el mtodo de exhauscin. En esta
poca, por un lado, con el trabajo de Cavalieri con su mtodo de los indivisibles y, por otro lado, con los
trabajos de Fermat, se empez a desarrollar los fundamentos del clculo moderno. A comienzos del siglo XVII,
se produjeron nuevos adelantos con las aportaciones de Barrow y Torricelli, que presentaron los primeros
indicios de una conexin entre la integracin y la derivacin.

Newton y Leibniz
Los principales adelantos en integracin vinieron en el siglo XVII con 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 infinitesimal permiti
analizar, de forma precisa, funciones con dominios continuos. Posteriormente, este marco ha evolucionado
hacia el clculo moderno, cuya notacin para las integrales procede directamente del trabajo de Leibniz.

Formalizacin de las integrales


Aunque Newton y Leibniz 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 infinitesimales como los
"fantasmas de las cantidades que se desvanecen".

El clculo adquiri una posicin ms firme con el desarrollo de los lmites y, en la primera mitad del siglo XIX,
recibi una fundamentacin adecuada por parte de Cauchy. La integracin fue rigurosamente formalizada por
primera vez por Riemann, empleando lmites. A pesar de que todas las funciones continuas fragmentadas y
acotadas son integrables en un intervalo acotado, ms tarde se consideraron funciones ms generales para las
cuales la definicin de Riemann no era aplicable y por tanto no eran integrables en el sentido de Riemann.
Posteriormente Lebesgue dio una definicin diferente de la integral1 basada en la teora de la medida que
generalizaba la definicin 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 definiciones de integral an ms generales,
que amplan las definiciones de Riemann y Lebesgue.
Notacin
Isaac Newton usaba una pequea barra vertical encima de una variable
para indicar integracin, o pona la variable dentro de una caja. La barra
vertical se confunda fcilmente con o , que Newton usaba para
indicar la derivacin, y adems la notacin "caja" era difcil de
reproducir por los impresores; por ello, estas notaciones no fueron
ampliamente adoptadas.

La notacin moderna de las integrales indefinidas fue presentada por


Gottfried Leibniz en 1675.2 3 Para indicar summa (umma; en latn, El smbolo de integral en escritos (de
"suma" o "total"), adapt el smbolo integral, "", a partir de una letra S izquierda a derecha) ingleses,
alargada porque consideraba a la integral como una suma infinita de alemanes y rusos.
addendas infinitesimales. La notacin moderna de la integral definida,
con los lmites arriba y abajo del signo integral, la us por primera vez
Joseph Fourier en Mmoires de la Academia Francesa, alrededor de 1819-20, reimpresa en su libro de 1822.4 5

Existen ligeras diferencias en la notacin del smbolo de la integral en la literatura de las diversas lenguas: el
smbolo ingls est inclinado hacia la derecha, en alemn tradicionalmente se ha escrito derecho (sin
inclinacin) mientras la variante rusa tradicional est inclinada hacia la izquierda.

En la notacin matemtica en rabe moderno, que se escribe de derecha a izquierda, se usa un signo integral
invertido .6

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 general 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 final 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 definicin matemticamente rigurosa de
integral de caminos cunticos.

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

El caso ms sencillo, la integral de una funcin real f de una variable real x sobre el intervalo [a, b], se escribe
El signo , una "S" alargada, representa la integracin; a y b son el lmite inferior y el lmite superior de la
integracin y definen el dominio de integracin; f es el integrando, que se tiene que evaluar al variar x sobre el
intervalo [a,b]; y dx puede tener diferentes interpretaciones dependiendo de la teora que se emplee. Por
ejemplo, puede verse simplemente como una indicacin de que x es la variable de integracin, como una
representacin de los pasos en la suma de Riemann, una medida (en la integracin de Lebesgue y sus
extensiones), un infinitesimal (en anlisis no estndar) o como una cantidad matemtica independiente: una
forma diferencial. Los casos ms complicados pueden variar la notacin ligeramente.

Conceptos y aplicaciones
Las integrales aparecen en muchas situaciones prcticas. 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 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 clculo integral de reas se sigue el siguiente razonamiento:

1. Por ejemplo, consideremos la curva mostrada en la figura de


arriba, grfica de la funcin , acotada entre
y . Aproximaciones a la integral de
2. La respuesta a la pregunta Cul es el rea bajo la curva de entre 0 y 1, con 5 muestras por la
funcin , en el intervalo desde hasta ? es: que el rea izquierda (arriba) y 12 muestras por
coincidir con la integral de . La notacin para esta integral la derecha (abajo).
ser

Una primera aproximacin, 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 tambin la longitud entre y=f(0)=0 y
y=f(1)=1. Su rea es exactamente 1x1 = 1. Tal como se puede inferir, el verdadero valor de la integral tendr
que ser ms pequeo. Particionando la superficie en estudio, con trazos verticales, de tal manera que vamos
obteniendo pequeos rectngulos, y reduciendo cada vez ms el ancho de los rectngulos empleados para hacer
la aproximacin, se obtendr un mejor resultado. Por ejemplo, dividamos el intervalo en cinco partes,
empleando los puntos 0, 15, 25,35,45 y finalmente la abscisa 1. Se obtienen cinco rectngulos cuyas alturas se
determinan aplicando la funcin con las abscisas anteriormente descritas (del lado derecho de cada pedazo de la
curva), as , , y as hasta . Sumando las reas de estos rectngulos, se obtiene una
segunda aproximacin de la integral que se est buscando,

Ntese que se est sumando una cantidad finita de valores de la funcin f, multiplicados por la diferencia entre
dos puntos de aproximacin sucesivos. Se puede ver fcilmente que 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 finita de diferencias de puntos de aproximacin multiplicados por los respectivos valores de la
funcin, hasta usar pasos infinitamente finos, o infinitesimales. La notacin

concibe la integral como una suma ponderada (denotada por la "S" alargada), de los valores de la funcin
multiplicados por pasos de anchura infinitesimal, los llamados diferenciales (indicados por dx).

Con respecto al clculo real de integrales, el teorema fundamental del clculo, debido a Newton y Leibniz, es
el vnculo fundamental entre las operaciones de derivacin e integracin. Aplicndolo a la curva raz cuadrada,
se tiene que mirar la funcin relacionada y simplemente tomar , donde y son
las fronteras del intervalo [0,1]. ste es un ejemplo de una regla general, que dice que para , con q

1, la funcin relacionada, la llamada primitiva, es . De este modo, el valor exacto del rea bajo
la curva se calcula formalmente como:

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

Histricamente, despus de que los primeros esfuerzos de definir rigurosamente los infinitesimales no
fructificasen, Riemann defini formalmente las integrales como el lmite de sumas ponderadas, de forma que el
dx sugiere el lmite de una diferencia (la anchura del intervalo). La dependencia de la definicin de Riemann de
los intervalos y la continuidad motiv la aparicin de nuevas definiciones, especialmente la integral de
Lebesgue, que se basa en la habilidad de extender la idea de "medida" de maneras mucho ms flexibles. As, la
notacin

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

a partir del cual se deriva el teorema de Green, el teorema de la divergencia, y el teorema fundamental del
clculo.
Recientemente, los infinitesimales han reaparecido con rigor, a travs de innovaciones modernas como el
anlisis no estndar. Estos mtodos no solo reivindican la intuicin de los pioneros, tambin llevan hacia las
nuevas matemticas, y hacen ms intuitivo y comprensible el trabajo con clculo infinitesimal.

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

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 tambin en ocasiones
por razones pedaggicas. Las definiciones ms utilizadas de la integral son las integrales de Riemann y las
integrales de Lebesgue.

Integral de Riemann
La integral de Riemann se define en trminos de sumas de Riemann de
funciones respecto de particiones etiquetadas de un intervalo. Sea [a,b]
un intervalo cerrado de la recta real; entonces una particin etiquetada
de [a,b] es una secuencia finita

y denotamos la particin como

Esto divide al intervalo


[a,b] en n subintervalos
[xi1, xi], cada uno de los
cuales es "etiquetado" con
un punto especificado ti de; Integral con el planteamiento de
[xi1, xi]. Sea i = xixi1 la Riemann hace una suma basada en
anchura del subintervalo i; una particin etiquetada, con
el paso de esta particin posiciones de muestreo y anchuras
etiquetada es el ancho del irregulares (el mximo en rojo). El
subintervalo ms grande verdadero valor es 3,76; la estimacin
obtenido por la particin, obtenida es 3,648.
maxi=1n i. Un sumatorio
de Riemann de una funcin f respecto de esta particin etiquetada
se define como
Convergencia de sumatorios de Riemann a
medida en que se parten los intervalos,
cuando se muestrea a la derecha, el
mnimo, el mximo, o la izquierda.

As cada trmino del sumatorio es el rea del rectngulo con altura


igual al valor de la funcin en el punto especificado del subintervalo dado, y de la misma anchura que la
anchura del subintervalo. La integral de Riemann de una funcin f sobre el intervalo [a,b] es igual a S si:

Para todo > 0 existe > 0 tal que, para cualquier particin etiquetada [a,b] con paso ms pequeo que ,
se tiene

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

Integral de Darboux
La Integral de Darboux se define en trminos de sumas de los siguientes tipos:

Llamadas suma inferior y superior respectivamente, donde:

son las alturas de los rectngulos, y xi-xi-1 la longitud de la base de los rectngulos. La integral de Darboux est
definida como el nico nmero acotado entre las sumas inferior y superior, es decir,

La interpretacin geomtrica de la integral de Darboux sera el clculo del rea de la regin en [a,b] por el
Mtodo exhaustivo. La integral de Darboux de una funcin f en [a,b] existe si y solo si

Del Teorema de Caracterizacin que dice que si f es integrable en [a,b] entonces >0 P particin de [a,b] :
0U(f,P)-L(f,P), evidencia la equivalencia entre las definiciones de Integral de Riemman e Integral de
Darboux pues se sigue que7

Integral de Lebesgue
La integral de Riemann no est definida para un ancho abanico de funciones y situaciones de importancia
prctica (y de inters terico). Por ejemplo, la integral de Riemann puede integrar fcilmente la densidad para
obtener la masa de una viga de acero, pero no se puede adaptar a una bola de acero que se apoya encima. Esto
motiva la creacin de otras definiciones, bajo las cuales se puede integrar un surtido ms amplio de funciones.8
La integral de Lebesgue, en particular, logra una gran flexibilidad a base de centrar la atencin en los pesos de
la suma ponderada.
As, la definicin de la integral de Lebesgue empieza con una
medida, . En el caso ms sencillo, la medida de Lebesgue (A) de
un intervalo A = [a, b] es su ancho, b a, as la integral de
Lebesgue coincide con la integral de Riemann cuando existen
ambas. En casos ms complicados, los conjuntos a medir pueden
estar altamente fragmentados, sin continuidad y sin ningn
parecido a intervalos.

Para explotar esta flexibilidad, la integral de Lebesgue invierte el


enfoque de la suma ponderada. Como expresa Folland:9 "Para Integracin de Riemann-Darboux (azul) e
calcular la integral de Riemann de f, se particiona el dominio [a, b] integracin de Lebesgue (rojo).
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 funcin caracterstica de un conjunto medible A por:

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

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

Entonces, para cualquier funcin medible no negativa f se define

Es decir, se establece que la integral de f es el supremo de todas las integrales de funciones escalonadas que son
ms pequeas o iguales que f. Una funcin medible cualquiera f, se separa entre sus valores positivos y
negativos a base de definir

Finalmente, f es Lebesgue integrable si


y entonces se define la integral por

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

Otras integrales
A pesar de que las integrales de Riemann y Lebesgue son las definiciones ms importantes de integral, hay unas
cuntas ms, por ejemplo:

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


La integral de Lebesgue-Stieltjes, desarrollada por Johann Radon, que generaliza las integrales de
Riemann-Stieltjes y de Lebesgue.
La integral de Daniell, que incluye la integral de Lebesgue y la integral de 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 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.

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

es un funcional lineal de este espacio vectorial. As, en primer lugar, el conjunto de funciones integrables
es cerrado con la combinacin lineal, y en segundo lugar, la integral de una combinacin lineal es la
combinacin lineal de las integrales,
De forma parecida, el conjunto de las funciones reales Lebesgue integrables en un espacio mtrico E
dado, con la medida es cerrado respecto de las combinaciones lineales y por lo tanto forman un espacio
vectorial, y la integral de Lebesgue

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

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

que es compatible con las combinaciones lineales. En esta situacin, la linealidad se sostiene para el
subespacio de las funciones, cuya integral es un elemento de V (es decir, las integrales "finitas"). Los
casos ms importantes surgen cuando K es R, C, o una extensin finita del campo Qp de nmeros p-
dicos, y V es un espacio vectorial de dimensin finita sobre K, y cuando K=C y V es un espacio de
Hilbert complejo.

La linealidad, junto con algunas propiedad naturales de continuidad y la normalizacin para ciertas clases de
funciones "simples", se pueden usar para dar una definicin alternativa de integral. Este es el enfoque de
Daniell para el caso de funciones reales en un conjunto X, generalizado por Bourbaki a funciones que toman
valores en un espacio vectorial topolgicamente compacto. Vase Hildebrandt (1953)11 para una
caracterizacin axiomtica de la integral.

Desigualdades con integrales


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

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

Desigualdades entre funciones. Si f(x) g(x) para todo x de [a, b] entonces cada uno de los sumatorios
superior e inferior de f son acotados inferior y superiormente por los sumatorios superior e inferior de g
respectivamente. As
Esto es una generalizacin de las desigualdades anteriores, dado que M '(b a) es la integral de la
funcin constante con valor M en el intervalo [a, b].

Subintervalos. Si [c, d] es un subintervalo de [a, b] y f(x) es no negativa para todo x, entonces

Productos y valores absolutos de funciones. Si f y g son dos funciones, entonces podemos emplear su
producto, potencias y valores absolutos:

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

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

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


en la teora de los espacios de Hilbert, donde el lado de la derecha se interpreta como el producto escalar
de dos funciones integrables f y g en el intervalo [a, b].

Desigualdad de Hlder. Si p y q son dos nmeros reales, 1 p, q con 1/p + 1/q = 1, y f y g son dos
funciones Riemann integrables. Entonces las funciones |f|p y |g|q tambin son integrables y se cumple la
desigualdad de Hlder:

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

Desigualdad de Minkowski. Si p 1 es un nmero real y f y g son funciones Riemann integrables.


Entonces |f|p, |g|p y |f + g|p son tambin Riemann integrables y se cumple la desigualdad de Minkowski:

Una desigualdad anloga a sta para la integral de Lebesgue se usa en la construccin de los espacios Lp.

Convenciones
En esta seccin f es una funcin real Riemann integrable. La integral

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

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

Ello, con a = b, implica:

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

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

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

Con la primera convencin la relacin resultante

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

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

Teorema fundamental del clculo


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

Enunciado de los teor emas


Teorema fundamental del clculo. Sea f una funcin real integrable definida en un intervalo cerrado [a,
b]. Si se define F para cada x de [a, b] por
entonces F es continua en [a, b]. Si f es continua en x de [a, b], entonces F es derivable en x, y F (x) =
f(x).

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

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

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

Extensiones
Integrales impropias
Una integral de Riemann "propia" supone que el integrando est
definido y es finito en un intervalo cerrado y acotado, cuyos extremos
son los lmites de integracin. Una integral impropia aparece cuando
una o ms de estas condiciones no se satisface. En algunos casos, estas
integrales se pueden definir tomando el lmite de una sucesin de
integrales de Riemann propias sobre intervalos sucesivamente ms
largos.

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


entonces la integral impropia es el lmite cuando el punto final tiende a
infinito.

La integral impropia

Si el integrando solo est definido en un intervalo finito semiabierto, por tiene intervalos no acotados tanto en
ejemplo (a,b], entonces, otra vez el lmite puede suministrar un el dominio como en el recorrido.
resultado finito.

Esto es, la integral impropia es el lmite de integrales propias cuando uno de los puntos extremos del intervalo
de integracin se aproxima, ya sea a un nmero real especificado, o , o . En casos ms complicados, hacen
falta lmites en los dos puntos extremos o en puntos interiores.
Por ejemplo, la funcin integrada desde 0 a (imagen de la derecha). En el extremo inferior, a medida
que x se acerca a 0 la funcin tiende a , y el extremo superior es l mismo , a pesar de que la funcin tiende
a 0. As, esta es una integral doblemente impropia. Integrada, por ejemplo, desde 1 hasta 3, con un sumatorio de
Riemann es suficiente para obtener un resultado de . Para integrar desde 1 hasta , un sumatorio de Riemann
no es posible. Ahora bien, cualquier lmite superior finito, por ejemplo t (con t > 1), da un resultado bien
definido, . Este resultado tiene un lmite finito cuando t tiende a infinito, que es . De forma
parecida, la integral desde 13 hasta a 1 admite tambin un sumatorio de Riemann, que por casualidad da de
nuevo . Sustituyendo 13 por un valor positivo arbitrario s (con s < 1) resulta igualmente un resultado definido
y da . ste, tambin tiene un lmite finito cuando s tiende a cero, que es . Combinando los
lmites de los dos fragmentos, el resultado de esta integral impropia es

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

Tambin puede pasar que un integrando no est acotado en un punto


interior, en este caso la integral se ha de partir en este punto, y el lmite
de las integrales de los dos lados han de existir y han de ser acotados.
As

{\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 La integral impropia

\int
_{{-1}}^{{1}}
no est acotada internamente, pero
{\frac
ambos lmites (por la derecha y por la
no se le puede asignar un valor de esta forma, dado que las integrales izquierda) existen.
por encima y por debajo de cero no convergen independientemente (en
cambio, vase valor principal de Cauchy.)

Integracin mltiple
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:
\int
_{E}f(x)\,dx.

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

De la misma manera que la integral definida de una funcin positiva


representa el rea de la regin encerrada entre la grfica de la funcin y
el eje x, la integral doble de una funcin positiva de dos variables
representa el volumen de la regin comprendida entre la superficie
definida por la funcin y el plano que contiene su dominio. (El mismo
volumen puede obtenerse a travs de una integral triple la integral
de la funcin de tres variables de la funcin constante f(x, y, z) = 1 Integral doble como el volumen
sobre la regin mencionada antes entre la superficie y el plano, lo limitado por una superficie.
mismo se puede hacer con una integral doble para calcular una
superficie.) Si el nmero de variables es mayor, entonces la integral representa un hipervolumen, el volumen de
un slido de ms de tres dimensiones que no se puede representar grficamente.

Por ejemplo, el volumen del paraleleppedo de caras 4 6 5 se puede obtener de dos maneras:

Con la integral doble

\iint
_{D}5\
dx\,dy
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

\iiint _{{\mathrm
{paralelepipedo}}}1\,dx\,dy\,dz

de la funcin constante 1 calculada sobre el mismo paraleleppedo (a pesar de que este segundo mtodo
tambin se puede interpretar como el hipervolumen de un hiperparaleleppedo de cuatro dimensiones que
tiene como base el paraleleppedo en cuestin y una altura constante de 1, como la altura es 1 el volumen
coincide con el rea de la base).

Puesto que es imposible calcular la antiderivada de una funcin de ms de una variable, no existen las
integrales mltiples indefinidas: tales integrales son todas definidas.

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

Una integral de lnea es una integral donde la funcin a integrar es evaluada a lo largo de una curva. Se utilizan
varias integrales curvilneas diferentes. En el caso de una curva cerrada tambin se la denomina integral de
contorno.

La funcin a integrar puede ser un campo escalar o un campo vectorial. El valor de la integral curvilnea es la
suma de los valores del campo en los puntos de la lnea, ponderados por alguna funcin escalar de la curva
(habitualmente la longitud del arco o, en el caso de un campo vectorial, el producto escalar del campo vectorial
por un vector diferencial de la curva). Esta ponderacin distingue las
integrales curvilneas de las integrales ms sencillas definidas sobre
intervalos.

Muchas frmulas sencillas de la fsica tienen de forma natural anlogas


continuas en trminos de integrales de lnea; por ejemplo, el hecho de
que el trabajo sea igual a la fuerza multiplicada por la distancia se puede
expresar (en trminos de cantidades vectoriales) como:

W=
{\vec
que tiene su paralelismo en la integral de lnea
Una integral de lnea acumula
W=\int _{C} elementos a lo largo de una curva.
{\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 travs de un campo, como por ejemplo un campo elctrico o un campo gravitatorio.

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

\int
.
_{S}
{{\mathbf
El caudal de fluido de este ejemplo puede ser de un fluido fsico como el agua o el aire, o de un flujo elctrico o
magntico. As, las integrales de superficie tienen aplicaciones en la fsica, en particular en la teora clsica del
electromagnetismo.

Integrales de formas difer enciales


Una forma diferencial es un concepto matemtico en los campos del clculo multivariable, topologa diferencial
y tensores. La notacin moderna de las formas diferenciales, as como la idea de las formas diferenciales como
el producto exterior de derivadas exteriores formando un lgebra exterior, fue presentada por lie Cartan.

Se empieza trabajando en un conjunto abierto de Rn. Una 0-forma se define como una funcin infinitamente
derivable f. Cuando se integra una funcin f sobre un subespacio de m-dimensional S de Rn, se escribe como
\int
_{S}f\,dx^{1}\cdots
dx^{m}.
(Los superndices no son exponentes.) Se puede considerar que dx1 hasta dxn son objetos formales ellos
mismos, ms que etiquetas aadidas para hacer que la integral se asemeje a los sumatorios de Riemann. De
forma alternativa se pueden ver como covectores, y por lo tanto como una medida de la "densidad" (integrable
en un sentido general). A dx1, ,dxn se las denomina 1-formas bsicas.

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

Adems del producto exterior, tambin existe el operador derivada exterior d. Este operador hace corresponder
a las k-formas (k+1)-formas. Para una k-forma = f dxa sobre Rn, se define la accin de d por:

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

Este planteamiento ms general permite un enfoque de la integracin sobre variedades libre de coordenadas.
Tambin permite una generalizacin natural del teorema fundamental del clculo, denominada teorema de
Stokes, que se puede establecer como

\int
_{{\Omega
}}{{\mathbf
donde es una k-forma general, y indica la frontera de la regin . As en el supuesto de que sea una 0-
forma y sea un intervalo cerrado de la recta real, el teorema de Stokes se reduce al teorema fundamental del
clculo. En el caso de que sea una 1-forma y sea una regin de dimensin 2 en el plano, el teorema se
reduce al teorema de Green. De manera similar, empleando 2-formas, 3-formas y la dualidad de Hodge, se
puede llegar al teorema de Stokes y al teorema de la divergencia. De esta forma puede verse que las formas
diferenciales suministran una potente visin unificadora de la integracin.

Mtodos y aplicaciones
Clculo de integrales
La tcnica ms bsica para calcular integrales de una variable real se basa en el teorema fundamental del
clculo. Se procede de la siguiente forma:

1. Se escoge una funcin f(x) y un intervalo [a, b].


2. Se halla una antiderivada de f, es decir, una funcin F tal que F' = f.
3. Se emplea el teorema fundamental del clculo, suponiendo que ni el integrando ni la integral tienen
singularidades en el camino de integracin,

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


Ntese que la integral no es realmente la antiderivada, sino que el teorema fundamental permite emplear las
antiderivadas para evaluar las integrales definidas.

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

Integracin por cambio de variable


Integracin por partes
Integracin por sustitucin trigonomtrica
Integracin de fracciones parciales

Incluso si estas tcnicas fallan, an puede ser posible evaluar una integral dada. La siguiente tcnica ms comn
es el clculo del residuo, mientras que la serie de Taylor a veces se puede usar para hallar la primitiva de las
integrales no elementales en lo que se conoce como el mtodo de integracin por series. Tambin hay muchas
formas menos habituales para calcular integrales definidas; por ejemplo, se puede emplear la identidad de
Parseval para transformar una integral sobre una regin rectangular en una suma infinita. En algunas ocasiones,
se puede evaluar una integral empleando un truco; un ejemplo de este tipo se puede ver en la integral de Gauss.

Los clculos de volmenes de slidos de revolucin se pueden hacer normalmente con la integracin por discos
o la integracin por capas.

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

Algoritmos simblicos
En muchos problemas de matemticas, fsica, e ingeniera en los que participa la integracin es deseable tener
una frmula explcita para la integral. Con esta finalidad, a lo largo de los aos se han ido publicando extensas
tablas de integrales. Con el desarrollo de los ordenadores, muchos profesionales, educadores y estudiantes han
recurrido a los sistemas de clculo algebraico por ordenador, que han sido diseados especficamente para
desarrollar tareas tediosas o difciles, entre las cuales se encuentra la integracin. La integracin simblica
presenta un reto especial en el desarrollo de este tipo de sistemas.

Una dificultad matemtica importante de la integracin simblica es que, en muchos casos, no existe ninguna
frmula cerrada para la primitiva de una funcin aparentemente inocente. Por ejemplo, se sabe que las
primitivas de las funciones exp (x2), xx y sen x /x no se pueden expresar con una frmula cerrada en las que
participen solo funciones racionales, exponenciales, logartmicas, trigonomtricas, inversas de las funciones
trigonomtricas, y las operaciones de suma, multiplicacin y composicin. En otras palabras, ninguna de estas
tres funciones dadas es integrable con funciones elementales. La teora de Galois diferencial proporciona
criterios generales para determinar cundo la primitiva de una funcin elemental es a su vez elemental. Por
desgracia, resulta que las funciones con expresiones cerradas para sus primitivas son la excepcin en vez de ser
la regla. En consecuencia, los sistemas de clculo algebraico por ordenador, no pueden tener la seguridad de
poder encontrar una primitiva para una funcin elemental cualquiera construida de forma aleatoria. En el lado
positivo, si se fijan de antemano los "bloques constructivos" de las primitivas, an es posible decidir si se puede
expresar la primitiva de una funcin dada empleando estos bloques y las operaciones de multiplicacin y
composicin, y hallar la respuesta simblica en el caso de que exista. El algoritmo de Risch, implementado en
Mathematica y en otros sistemas de clculo algebraico por ordenador, hacen precisamente esto para funciones y
primitivas construidas a partir de fracciones racionales, radicales, logaritmos y funciones exponenciales.

Algunos integrandos aparecen con la suficiente frecuencia como para merecer un estudio especial. En
particular, puede ser til tener, en el conjunto de las primitivas, las funciones especiales de la fsica (como las
funciones de Legendre, la funcin hipergeomtrica, la funcin gamma, etctera). Es posible extender el
algoritmo de Risch-Norman de forma que abarque estas funciones, pero se trata de todo un reto.
La mayora de los humanos no son capaces de integrar estas frmulas generales, por lo que en cierto sentido los
ordenadores son ms hbiles integrando frmulas muy complicadas. Es poco probable que las frmulas muy
complejas tengan primitivas de forma cerrada, de modo que hasta qu punto esto es una ventaja es una cuestin
filosfica abierta a debate.

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

\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 prctica ordinaria no se conoce de antemano la respuesta, por lo
que una tarea importante que no se explora aqu es decidir en qu momento una aproximacin ya es
bastante buena.) Un enfoque de "libro de clculo" divide el intervalo de integracin en, por ejemplo, 16 trozos
iguales, y calcula los valores de la funcin.

Valores de la funcin en los puntos


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 funcin
Para calcular el valor medio m de una funcin f en un intervalo [a,b] se usa la siguiente frmula:

m={\frac {1}{b-
a}}\int _{a}^{b}f(x)
{\mathrm {d}}x.
Ntese que, si la funcin f es una funcin escalonada con escalones de igual anchura, esta definicin 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 definicin se puede entender como la extensin natural de la media.

Aplicaciones en fsica
Muchas leyes de la Fsica se expresan en forma de ecuaciones diferenciales. En el caso ms sencillo, estas
ecuaciones diferenciales se resuelven con el clculo de una primitiva y muchas veces el resultado final que se
busca se encuentra con el clculo de una integral.

Por ejemplo, la integral se aplica para resolver el problema de la cada libre de un cuerpo sometido a la
gravedad de la tierra. En la Tierra, la aceleracin de la gravedad es aproximadamente g = 9,81 m/s. Por lo tanto
un cuerpo que cae libremente empezando su cada con velocidad nula tiene una velocidad que viene dada por la
siguiente funcin:

v=-
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 direccin positiva es hacia arriba.

Si se quiere saber la distancia que ha recorrido el cuerpo durante un tiempo dado T se puede razonar
(empleando anlisis no estndar) 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:

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

\ell =\,-
({\frac

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 fluye hacia el condensador durante este tiempo.
La integracin del caudal (metros cbicos por segundo) que fluye por un conducto proporciona el
volumen de fluido que ha pasado por el conducto durante el periodo de integracin.

Vase tambin
Tabla de integrales
Integracin numrica
Derivada
Signo de Integral
Portal:Matemtica. Contenido relacionado con Matemtica.
Sumatorio
Lmite matemtico
Infinito
Integral de lnea
Cambio de variable
Integrales definidas
Integrales indefinidas

Referencias y notas
2. Burton, David M. (2005). The History of Mathematics:
1. En el caso de las funciones a las que se aplica la An Introduction (6 ed.), McGraw-Hill, p. 359, ISBN
definicin de Riemann, los resultados coinciden. 978-0-07-305189-5
3. Leibniz, Gottfried Wilhelm (1899) (Gerhardt, Karl Introduccin p. 546. Mxico, D.F.: Trillas. ISBN 968-24-
Immanuel, ed.). Der Briefwechsel von Gottfried 0132-1.
Wilhelm Leibniz mit Mathematikern. Erster Band, 8. Rudin, Walter (1987). "Chapter 1: Abstract
Berlin: Mayer & Mller, p. 154 Integration", Real and Complex Analysis (International
4. Cajori, Florian (1929). A History Of Mathematical ed.), McGraw-Hill,ISBN 978-0-07-100276-9
Notations, Vol. II, Open Court Publishing, pp. 247-252, 9. Folland, Gerald B. (1984). Real Analysis: Modern
ISBN 978-0-486-67766-8 Techniques and Their Applications (1 ed.), John Wiley
5. Fourier, Jean Baptiste Joseph (1822). Thorie & Sons, ISBN 978-0-471-80958-6
analytique de la chaleur, Chez Firmin Didot, pre et 10. Bourbaki, Nicolas (2004). Integration I, Springer
fils, p. 231, [1] (http://books.google.com/books?id=T Verlag, ISBN 3-540-41129-1. En particular, los
DQJAAAAIAAJ) captulos III y IV.
6. W3C (2006). Arabic mathematical notation [2] (http:// 11. Hildebrandt, T. H. (1953). "Integration in abstract
www.w3.org/TR/arabic-math/) spaces", Bulletin of the American Mathematical Society
7. Haaser, Norman B., LaSalle, Joseph, P., Sullivan, 59(2): 111139, ISSN 0273-0979 [3] (http://www.worl
Joseph, A. (1970). Anlisis Matemtico 1: Curso de dcat.org/issn/0273-0979)

Bibliografa
Hildebrandt, T. H. (1953). Integration in abstract
Apostol, Tom M. (1967). Calculus, Vol. 1: One- spaces. Bulletin of the American Mathematical
Variable Calculus with an Introduction to Linear Society 59 (2). pp. 111-139. ISSN 0273-0979.
Algebra (2nd edicin). John Wiley & Sons. ISBN 978- Kahaner, David; Moler, Cleve; Nash, Stephen
0-471-00005-1. (1989). Chapter 5: Numerical Quadrature.
Bourbaki, Nicolas (2004). Integration I. Springer. Numerical Methods and Software. Prentice-Hall.
ISBN 3-540-41129-1.. En particular los captulos III y ISBN 978-0-13-627258-8.
IV. Leibniz, Gottfried Wilhelm (1899). Gerhardt, Karl
Burton, David M. (2005). The History of Immanuel, ed. Der Briefwechsel von Gottfried
Mathematics: An Introduction (6th edicin). Wilhelm Leibniz mit Mathematikern. Erster Band.
McGraw-Hill. p. 359.ISBN 978-0-07-305189-5. Berlin: Mayer & Mller.
Cajori, Florian (1929). A History Of Mathematical Miller, Jeff. Earliest Uses of Symbols of Calculus.
Notations Volume II. Open Court Publishing. Archivado desde el original el 5 de diciembre de
pp. 247-252. ISBN 978-0-486-67766-8. 1998. Consultado el 2 de junio de 2007.
Dahlquist, Germund; Bjrck, ke (forthcoming). OConnor, J. J.; Robertson, E. F. (1996). A history of
Chapter 5: Numerical Integration. Numerical the calculus. Consultado el 9 de julio de 2007.
Methods in Scientific Computing. Philadelphia: Rudin, Walter (1987). Chapter 1: Abstract
SIAM. Integration. Real and Complex Analysis
Folland, Gerald B. (1984). Real Analysis: Modern (International edicin). McGraw-Hill. ISBN 978-0-07-
Techniques and Their Applications (1st edicin). 100276-9.
Wiley-Interscience. ISBN 978-0-471-80958-6. Saks, Stanisaw (1964). Theory of the integral
Fourier, Jean Baptiste Joseph (1822). Thorie (English translation by L. C. Young. With two
analytique de la chaleur. Chez Firmin Didot, pre et additional notes by Stefan Banach. Second revised
fils. p. 231. edicin). New York: Dover.
Disponible en ingls comoFourier, Joseph (1878). Stoer, Josef; Bulirsch, Roland (2002). Chapter 3:
The analytical theory of heat. Freeman, Alexander Topics in Integration. Introduction to Numerical
(trans.). Cambridge University Press. pp. 200-201. Analysis (3rd edicin). Springer-Verlag. ISBN 978-0-
Heath, T. L., ed. (2002). The Works of Archimedes. 387-95452-3..
Dover. ISBN 978-0-486-42084-4. W3C (2006). Arabic mathematical notation.
(Originalmente publicado por Cambridge University
Press, 1897, based on J. L. Heiberg's Greek version.)
Hildebrandt, T. H. (1953). Integration in abstract
Libros en internet
to calculus
Keisler, H. Jerome, Elementary Calculus: An Crowell, Benjamin, Calculus, Fullerton College, an
Approach Using Infinitesimals, University of online textbook
Wisconsin Garrett, Paul, Notes on First-Year Calculus
Stroyan, K.D., A Brief Introduction to Infinitesimal Hussain, Faraz, Understanding Calculus, an online
Calculus, University of Iowa textbook
Mauch, Sean, Sean's Applied Math Book, CIT, an
online textbook that includes a complete introduction
Kowalk, W.P., Integration Theory, University of Numerical Methods of Integration at Holistic
Oldenburg. A new concept to an old problem. Online Numerical Methods Institute
textbook
Sloughter, Dan, Difference Equations to Differential
Equations, an introduction to calculus

Enlaces externos
Wikilibros alberga un libro o manual sobre Clculo. (en ingls)
La integral definida y la funcin rea, en Descartes.
The Integrator de Wolfram Research
Function Calculator de WIMS
Wang, P. S. Evaluation of Definite Integrals by Symbolic Manipulation (1972) - a cookbook of definite
integral techniques

Obtenido de https://es.wikipedia.org/w/index.php?title=Integracin&oldid=100168564

Categoras: Clculo integral Integrales

Se edit esta pgina por ltima vez el 29 jun 2017 a las 21:59.
El texto est disponible bajo la Licencia Creative Commons Atribucin Compartir Igual 3.0; pueden
aplicarse clusulas adicionales. Al usar este sitio, usted acepta nuestros trminos de uso y nuestra poltica
de privacidad.
Wikipedia es una marca registrada de la Fundacin Wikimedia, Inc., una organizacin sin nimo de
lucro.

Potrebbero piacerti anche