Integracin

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 solidos de revolucin.
Fue usado por primera vez por cientficos como Arqumedes, Rene Descartes, Isaac Newton, Gottfried
Leibniz e Isaac Barrow. Los trabajos de este ltimo y lo aportes de Newton generaron el teorema
fundamental del clculo integral, que propone que la derivacin y la integracin son procesos inversos.

La integral definida de una

funcin representa el rea
limitada por la grfica de la
funcin, en un sistema de
coordenadas cartesianas
con signo positivo cuando
la funcin toma valores
positivos y signo negativo
cuando toma signos
negativos.
 Teora
Dada una funcin f(x) de una variable real x y un intervalo [a,b] de la recta real, la integral es igual al rea
de la regin del plano xy limitada entre la grfica de f, el eje, y las lneas verticales x = a y x = b, donde
son negativas las reas por debajo del eje x.

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 dada f. 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 trozos verticales. A comienzos del siglo XIX, empezaron a
aparecer nociones ms sofisticadas de la integral, donde se han generalizado los tipos de 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 papel importante en la formulacin de muchas leyes fsicas como, 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 calculo
La integracin de 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
exhauscion 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 Arquimedes, que lo empleo 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 uso para encontrar el rea del crculo. Ms tarde, Zu
Chongzhi uso este mtodo para encontrar el volumen de una esfera. En el Siddhanta Shiromari, un libro
de astronoma del siglo XII del matemtico indio Bhaskara II, se encuentran algunas ideas del clculo
integral.

Hasta el siglo XVI no empezaron a aparecer adelantos significativos sobre el mtodo de exhauscion. 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
continas 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 integral 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, ya 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.
Para indicar summa (umma; en latn, "suma" o "total"), adapt el smbolo integral, "", a partir de una
letra S alargada porque consideraba a la integral como una suma infinita de 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.

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 .

El smbolo de integral en escritos (de

izquierda a derecha), ingleses, alemanes y
rusos.
Generalizaciones generales

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.

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

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

Para el clculo integral de reas se sigue el siguiente razonamiento:

1. Por ejemplo, consideramos la curva mostrada en la figura de arriba, grafica de la funcin y = f(x) =
, acotada entre x = 0 x = 1.
2. La respuesta a la pregunta Cul es el rea bajo la curva de funcin f en el intervalo desde hasta 0
es: que 1 el rea coincidir con la integral de f. La notacin para esta integral 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,
2 ,3 ,4y finalmente la abscisa 1. Se obtienen cinco rectngulos cuyas alturas se determinan aplicando la funcin
5 5 5
con las abscisas anteriormente descritas (del lado derecho de cada pedazo de la curva), as
 , , as hasta = 1. 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 F (1) F (0)
, 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 F ( x) = .

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 f orma 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;

[xi1, xi]. Sea i = xixi1 la anchura del subintervalo i ; el paso de esta particin etiquetada es el
ancho del subintervalo ms grande obtenido por la particin, mx. i=1n i. Un sumatorio de
Riemann de una funcin f respecto de esta particin etiquetada se define como:

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

..
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.
La integral de Lebesgue, en particular, logra una gran flexibilidad a base de centrar la
atencin en los pesos de la suma ponderada.

Integracion de Riemann-
Darboux (azul) e
integracin de Lebesgue
(rojo).

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: "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 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 Bourbaki 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 propiedades 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) 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 Calculo

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 teoremas

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.

Si el integrando solo est definido en un intervalo finito semiabierto, por ejemplo (a,b], entonces, otra
vez el lmite puede suministrar un 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.
 La integral impropia

tiene intervalos no acotados tanto en el dominio

como en el recorrido.

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
1
ejemplo, t (con t > 1), da un resultado bien definido, arctan .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

A la integral similar

no se le puede asignar un valor de esta forma, dado que las integrales por encima y por debajo de cero
no convergen independientemente (en cambio, vase valor principal de Cauchy.)

La integral impropia

no est acotada internamente,

pero ambos lmites (por la derecha .
y por la izquierda) existen.
 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:

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 sobre la regin
mencionada antes entre la superficie y el plano, lo 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.

Integral doble como el

volumen limitado por una
superficie.
 Con la integral doble

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

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 acumula elementos a lo

largo de una curva.

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:

que tiene su paralelismo en la integral de lnea

que acumula los componentes vectoriales a lo largo de un camino continuo, y as calcula

el trabajo realizado por un objeto al moverse a travs de un campo, como por ejemplo un
campo elctrico o un campo gravitatorio.
 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 superficie
descansa en la divisin de
la superficie en pequeos
elementos de superficie.

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.
Imagnese que se tiene un 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:
 .
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 diferenciales
Una forma diferencial es un concepto matemtico en los campos del clculo multivariable,
topologa diferencial y tensores. La notacin moderna de las formas diferenciales, as como
la idea de las formas diferenciales como el producto exterior de derivadas exteriores
formando un lgebra exterior, fue presentada por lie Cartan.

Se empieza trabajando en un conjunto abierto de Rn. Una 0-forma se 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

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

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

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 Aplicaciones

Calculo 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 y Smbolos

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

Mtodos numricos de cuadratura:

Rectngulo, Trapezoide, Romberg,
Gauss.

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.

Los objetivos de la integracin numrica son la exactitud, la fiabilidad, la eficiencia y la

generalidad. Por ejemplo, la integral

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.
x 2,00 1,50 1,00 0,50 0,00 0,50 1,00 1,50 2,00
f(x) 2,228 2,456 2,672 2,324 0,644 0,925 0,940 0,169 0,836
x 00 1.7563 1,25
00 0,75
75 0,25
00 0,25
75 00
0,75 63
1,25 00
1.75
f(x) 2,330 2,585 2,629 1,640 0,324 1,091 0,603 0,317
41 62 34 19 44 59 87 34
 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:

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.

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:

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

El resultado de esta integral es:

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

Ing. Mec. Huerta Gamas Armando

Trabajo: Propiedades de la integral definida

Fecha de entrega: 09/10/2017

Salon: 19

Hora: 8:00-9:00

Integrantes del Equipo:

Jimenez Arellano Fernando Edgar Ing.
Mecnica
Verdejo Huerta Karen Nayeli - Gestin
Empresarial
Cabrera Calihua Alina Gestin Empresarial
Rodrguez Hernndez Elas Salvador Ing.
Mecanica
Castro Castro Luis Manuel Gestion
Empresarial
Hernndez Flores Jos Hugo Ingenieria
Mecanica