INTEGRACION La integracin es un concepto fundamental de las matemticas avanzadas, especialmente en los campos del clculo y del anlisis matemtico.

Bsicamente, una integral es una 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 matemtica en general y 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 integracin son procesos inversos. PRINCIPALES OBJETIVOS DEL CALCULO INTEGRAL Sus principales objetivos a estudiar son: rea de una regin plana Cambio de variable Integrales indefinidas Integrales definidas Integrales impropias Integrales mltiples (dobles o triples) Integrales trigonomtricas, logartmicas y exponenciales Mtodos de integracin Teorema fundamental del clculo Volumen de un slido de revolucin TEORIA

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 x, y las lneas verticales x = a y x = b, donde son negativas las reas por debajo del eje x. La palabra "integral" tambin puede hacer referencia a la nocin de primitiva: una funcin F, cuya derivada es la funcin dada f. En este caso se denomina integral 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 de dos o tres variables, y el intervalo de integracin [a,b] se sustituye por una cierta curva que 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 el ataque del obispo Berkeley calificando 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 no se aplica la definicin de Riemann, y Lebesgue formul una definicin diferente de la integral1 basada en la teora de la medida. Tambin se propusieron otras definiciones de integral, 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 (en latn, "suma" o "total"), adapt el smbolo integral, "", a partir de una letra S alargada. 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 181920, reimpresa en su libro de 1822.4 5 En la notacin matemtica en rabe moderno, que se escribe de derecha a izquierda, se usa un signo integral invertido . 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. Consideremos una piscina. Si es rectangular, 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 (para atarla). Pero si es ovalada con un fondo redondeado, todas estas cantidades deben ser calculadas mediante integrales. Al comienzo puede ser suficiente con aproximaciones prcticas, pero al final harn falta respuestas exactas y rigurosas a este tipo de problemas.

Aproximaciones a la integral de entre 0 y 1, con 5 muestras por la izquierda (arriba) y 12 muestras por la derecha (abajo). Para empezar, se considerar la curva suponiendo que . La pregunta es: entre y ,

Cul es el rea bajo la funcin , en el intervalo desde hasta ?

Esta rea (todava desconocida) ser la integral de . La notacin para esta integral ser . Como primera aproximacin, se mira al cuadrado unidad dado por los lados x=0 hasta x=1 y y=f(0)=0 y y=f(1)=1. Su rea es exactamente 1. Tal como se puede ver, el verdadero valor de la integral tendr que ser ms pequeo. Reduciendo el ancho de los rectngulos empleados para hacer la aproximacin se obtendr un mejor resultado; as, se parte el intervalo en cinco pasos, empleando para la aproximacin los puntos 0, 15, 25, as hasta 1. Se ajusta una caja cada paso empleando la altura del lado derecho de cada pedazo de la curva, as , , y as hasta . Sumando las reas de estos rectngulos, se obtiene una mejor 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 la aproximacin contina 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 se toma el valor de la izquierda, tal como se muestra en el dibujo, se obtiene un valor aproximado para el rea, de 0,6203, que en este caso es demasiado pequeo. 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 f(x) = xq, con q 1, la funcin relacionada, la llamada primitiva es F(x) = (xq+1)/(q+1).) De modo que el valor exacto del rea bajo la curva se calcula formalmente como

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 slo 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 Artculo principal: Integral de Riemann

Integral con el planteamiento de Riemann hace una suma basada en una particin etiquetada, con posiciones de muestreo y anchuras irregulares (el mximo en rojo). El verdadero valor es 3,76; la estimacin obtenida es 3,648. 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

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.

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, maxi=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 existex > 0 tal que, para cualquier particin etiquetada [a,b] con paso ms pequeo que , se tiene

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 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.7 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:8 "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 slo 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 Bourbaki9 y cierto nmero de otros autores.

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 pdicos, 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)10 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 CauchySchwarz, 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 [xi, xi+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 slo 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 :

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

La integral impropia

tiene intervalos no acotados tanto en el dominio como en el recorrido. Una integral de Riemann "propia" supone que el integrando est definido y es finito en un intervalo cerrado y acotado, cuyos extremos son los 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 slo 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. 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.

La integral impropia

no est acotada internamente, pero ambos lmites (por la derecha y por la izquierda) existen. Tambin puede pasar que un integrando no est acotado en un punto interior, en este caso la integral se ha de partir en este punto, y el

lmite de las integrales de los dos lados han de existir y han de ser acotados. As

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