INSTITUTO TECNOLOGICO DE URSULO GALVN CALCULO INTEGRAL UNIDAD I TEOREMA FUNDAMENTAL DEL CLCULO DOCENTE: JOS LUIS CORDERO

SNCHEZ

RSULO GALVN, VER.

SEPTIEMBRE 2013

NDICE 1.1 Medicin y aproximada de figuras

amorfas..3 1.2 Notacin sumatoria..4 1.3 Sumas de Riemann...14 1.4 Definicin de integral definida..21 1.5 Teorema existencia..34 1.6 Propiedades de la integral definida.35 1.7 Funcin primitiva41 1.8 Teorema fundamental del clculo46 1.9 Calculo de integrales definidas49 1.10 Integrales impropias.54 de

Clculo Integral

Unidad I Teorema Fundamental del Clculo 1.1 Medicin aproximada de las figuras amorfas Las figuras amorfas, son aquellas figuras que no tienen forma porque en realidad TODO tiene una forma, pero se refiere a que no tiene forma conocida, no es un cuadrado, ni tringulo, ni nada de ese estilo. Es una curva o una figura de muchos lados distintos y "deformes". Y su principal finalidad es encontrar en una grfica dada su rea de la parte de adentro de la figura donde se encuentra el punto dado de la figura amorfa. La notacin sumatoria es encontrar el valor de la ecuacin dada respecto a un nmero determinado cuando un punto n tiende a cualquier nmero dado. Existen dos tipos de notacin sumatoria: la notacin sumatoria abierta y la notacin sumatoria pertinente. La suma de Riemann es igual al de las figuras amorfas solo que en esta se emplean unas series de frmulas para una aproximacin del rea total bajo la grfica de una curva. La integral definida es utiliza para determinar el valor de las reas limitadas por curvas y rectas, tambin son llamadas as porque dada una ecuacin su integral es definida por que esta tiende de un punto a otro y se podra decir que se conoce el valor al que se quiere graficar esa funcin. Las propiedades de la integral definida son 10 la suma de Riemann es un mtodo para aproximar el rea total bajo la grfica de una curva. Estas sumas toman su nombre del matemtico alemn Bernarda Riemann. Mediciones De Figuras Amorfas Introduccin. Las figuras amorfas, son aquellas figuras que no tienen forma porque en realidad TODO tiene una forma, pero se refiere a que no tiene forma conocida, no es un cuadrado, ni tringulo, ni nada de ese estilo. Es una curva o una figura de muchos lados distintos y "deformes". Y su principal finalidad es encontrar en una grfica dada su rea de la parte de adentro de la figura donde se encuentra el punto dado de la figura amorfa. La notacin sumatoria es encontrar el valor de la ecuacin dada respecto a un nmero determinado cuando un punto n tiende a cualquier nmero dado. Existen dos tipos de notacin sumatoria: la notacin sumatoria abierta y la notacin sumatoria pertinente. La suma de reman es igual al de las figuras amorfas solo
Clculo Integral 3

que en esta se emplean una series de frmulas para una aproximacin del rea total bajo la grafica de una curva. La integral definida se utiliza para determinar el valor de las reas limitadas por curvas y rectas, tambin son llamadas as porque dada una ecuacin su integral es definida por que esta tiende de un punto a otro y se podra decir que se conoce el valor al que se quiere graficar esa funcin. MEDICIONES APROXIMADAS DE FIGURAS AMORFAS Las figuras amorfas si tienen una forma definida, lo que pasa que al querer sacar su rea se le es muy difcil, aun queriendo utilizar las formulas de otras figuras. Para un polgono irregular (figuras con curvas) trazas diagonales y resuelves por tringulos. NOTACION DE SUMATORIA En el estudio del rea se trataran sumas de muchos trminos, de modo que se introduce una notacin, llamada notacin sigma, para facilitar la escritura de estas sumas. Esta notacin requiere el uso del smbolo ( ),la letra sigma mayscula del alfabeto griego. 1.2 Notacin cientfica Notacin Sigma El operando matemtico que nos permite representar sumas de muchos sumandos, n o incluso infinitos sumandos est expresado con la letra griega sigma (sigma mayscula, que corresponde a nuestra S de "suma). La notacin sigma es de la siguiente manera:

Esto se lee: Sumatorio sobre i, desde m hasta n, de x sub-i.

La variable i es el ndice de suma al que se le asigna un valor inicial llamado lmite inferior, m. La variable i recorrer los valores enteros hasta alcanzar el lmite superior, n. Necesariamente debe cumplirse que:

Si queremos expresar la suma de los cinco primeros nmeros naturales podemos hacerlo de esta forma:
Clculo Integral 4

Algunos jemplos adicionales:

Propiedades:

Frmulas Interesantes:

En estadstica se requiere la suma de grandes masas de datos y es pertinente tener una notacin simplificada para indicar la suma de estos datos. As, si una variable se puede denotar por X, entonces las observaciones sucesivas de esta variable se escriben

Clculo Integral

En general, la i-sima observacin se escribe X ; i=1, ..., n.

n observaciones.

La notacin

se lee:

Suma de X sub-i ( sigma sub-i) donde i asume todos los valores de 1 hasta n, simplemente suma de X sub-i donde i va de 1 a n.

note que el ndice de la suma es i. Las sumatorias se pueden representar bajo dos tipos de notaciones: Notacin suma abierta.- Esta notacin va de una representacin de sumatoria a cada uno de los elementos que la componen, por ejemplo:

Notacin suma pertinente.- Esta notacin es al contrario de la suma abierta, va de la representacin de cada uno de los elementos de una sumatoria a su

representacin matemtica resumida, por ejemplo:

Ejemplo 1: Si X1 = 3 X2 = 9 X3 =11

Encontrar:
Clculo Integral 6

Solucin:

Ejemplo 2: Si X1 = 1 X2 = 2 X3 = -1

Encontrar: Solucin: Ejemplo 3. Si X1 = 9 X2 = 6 X3 = 5 X4 = 8 X5 = 12

Encontrar: Solucin:

Ahora bien, cuando se trabajan estas expresiones en forma algebrica se necesita identificar variables y constantes, as s X es una variable, a y b son dos constantes, probar que:

1.- De lo anterior es evidente que la suma de una expresin que es la suma de dos ms trminos es igual a la suma de las sumas de los trminos por separado. Por ejemplo:
Clculo Integral 7

2.- La suma de una constante multiplicada por una variable es lo misma que la constante multiplicada por la suma de la variable, esto es

3.- La suma de una constante, es igual a n veces la constante, esto es:

A continuacin se explicara paso a paso como resolver un ejercicio de este tema. 1.- Identificar cual es el numero con el que vas a empezar a sumar. Ese nmero esta debajo de este signo: . 2.-Despues de haber identificado el nmero tienes que identificar otro nmero para saber hasta que numero vas a terminar de sumar. Ese nmero est arriba de este signo: . 3.- Despus de haber identificado los nmeros, entonces pones los nmeros que vas a sumar delante del signo igual que debes de poner enseguida del signo: . 4.-Sumas los numero y est terminado tu ejercicio 5.- Si hay letra debajo del smbolo de suma, sustituyes la letra por el valor numrico hasta que llegues al nmero que est arriba del smbolo de suma. A continuacin se te muestra un ejemplo: 1.- 4n=0 n=0+1+2+3+4= 10 2.- 7k=1 k (k +1) = 1(1+1)+2(2+1)+3(3+1)+4(4+1)+5(5+1)+6(6+1)+7(7+1)= 143 Notacin Sigma Los nmeros cuya suma se indica en una notacin sigma pueden ser naturales, complejos u objetos matemticos ms complicados. Si la suma tiene un nmero infinito de trminos, se conoce como serie infinita.
Clculo Integral 8

Dada una sucesin:

sta se puede representar como la suma de los primeros trminos con la notacin de sumatoria o notacin sigma. El nombre de esta notacin se denomina de la letra griega (sigma mayscula, que corresponde a nuestra S de "suma). La notacin sigma es de la siguiente manera:

La ecuacin anterior se lee la "suma de desde hasta ." La tetra k es el ndice de la suma o variable de la sumatoria y se reemplaza k en la ecuacin despus de sigma, por los enteros , y se suman las expresiones que resulten, con lo que resulte del lado derecho de la ecuacin. Ejemplos Ejemplo # 1 Calcule la siguiente Serie:

Solucin:

Ejemplo # 2

Solucin:

Ejemplo # 3

Clculo Integral

Solucin:

Ejemplo # 4

Solucin:

Ejemplo # 5 Exprese cada suma en notacin sigma: (a) Solucin:

Ejemplo # 5 (b) Solucin:

Sin embargo, no hay forma nica de escribir una suma en notacin sigma tambin la podemos representar de la siguiente manera: Solucin

(a)

(b)

Clculo Integral

10

Las siguientes propiedades son resultado natural de las propiedades de los nmeros naturales. Propiedades de las sumas Sean las sucesiones

Entonces, para todo entero positivo 1.

y todo nmero real , sabemos:

2.

3.

4.

5.

6. Demostracin

Para la demostracin de la 1 propiedad escribiremos el lado izquierdo de la ecuacin de la siguiente manera:

Clculo Integral

11

Para obtener:

Sabemos que la suma es asociativa y conmutativa por lo que los trminos se reordenan y queda de la siguiente manera:

Y sabemos que la sucesin y puede escribir en notacin sigma de la siguiente manera:

se

Por lo que al sustituir obtendremos la 1 propiedad: La demostracin de la 2 propiedad es similar por lo que no la llevaremos a cabo. Para la 3 propiedad utilizaremos la propiedad distributiva de la suma:

como se mencion antes por la distributividad de la suma sabemos que:

y por notacin sigma sabemos que:

por lo que al momento de sustituir obtendremos la 3 propiedad:

Clculo Integral

12

NOTACIN SUMATORIA Mas informacin:

Con frecuencia una serie se representa por medio de la notacin de sumatoria de esta manera que se lee asi:

la sumatoria de los a sub k cuando k vara desde 1 hasta n Los trminos de la serie que aparecen a la derecha se obtienen a parte de la expresin del centro al sustituir sucesiva mente k en a por entero positivos desde 1 hasta n. Ejemplo La serie corresponde = esta dada por:

La serie corresponde a la sucesin

es

Ejemplos:

sin

la

notacin

de

sumatoria

Sustituimos k por 1, 2, 3, 4, 5, 6, 7,8 respectivamente y posterior mente sumamos, as.

Luego= 2+8+18+32+50+72+98+128 es la forma desarrollada de la sumatoria dada.

NOTACIN SUMATORIA

Representa frecuentemente una serie Su smbolo es Clculo Integral

Se cambia n por k

13

1.3 Suma de Riemann. En matemticas, la suma de Riemann es un mtodo de integracin numrica que nos sirve para calcular el valor de una integral definida, es decir, el rea bajo una curva, este mtodo es muy til cuando no es posible utilizar el Teorema Fundamental del Clculo. Estas sumas toman su nombre del matemtico alemn Bernhard Riemann. La suma de Riemann consiste bsicamente en trazar un nmero finito de rectngulos dentro de un rea irregular, calcular el rea de cada uno de los rectngulos y sumarlos. El problema de este mtodo de integracin numrica es que al sumar las reas se obtiene un margen de error muy grande. Introduccin Es aquella sumatoria en la cual se hacen varias subdivisiones del rea bajo la curva y se van calculando las partes de una funcin por medio de rectngulos con base en un incremento en el eje X, ya que la suma de toda las reas de los rectngulos va ser el rea total. Dicha rea es conocida como la suma de Riemann Dada f(x) en el intervalo [a,b] para encontrar el rea bajo la curva: Dividimos la regin "S" en franjas de anchos iguales. El ancho de cada franja es: Teniendo los intervalos: La ecuacin para la suma de Riemann es la siguiente:

donde haciendo de esta como un promedio entre la suma superior e inferior de Darboux. Para esta suma es importante saber las siguientes identidades:

Sabiendo que: Podemos obtener las siguientes igualdades:

Clculo Integral

14

(donde C es constante) Ejemplos Ejemplo # 1 Evaluando la suma de Riemann en cuatro subintervalos tomando los puntos de la derecha de la siguiente funcin: ,lmites

La suma de Riemann representa la suma de las reas sobre el eje , menos la suma de las reas debajo del eje ; esa es el rea neta de los rectngulo respecto al eje . Ejemplo # 2 Evaluando la suma de Riemann en seis subintervalos tomando los puntos de la izquierda de la siguiente funcin: ,lmites

Clculo Integral

15

Ejemplo # 3 Evaluando la suma de Riemann en seis subintervalos tomando los puntos de la derecha de la siguiente funcin: ,lmites

Ejemplo # 4 Evaluando la suma de Riemann en cinco subintervalos tomando los puntos medios de la siguiente funcin: ,lmites

Cuatro de los mtodos de suma de Riemann para aproximar el rea bajo las curvas. Los mtodos derecha e izquierda hacen la aproximacin usando, respectivamente, los puntos finales derechos e izquierdos de cada subintervalo. Los mtodos mximo y mnimo hacen la aproximacin usando, respectivamente, los valores ms grandes y ms pequeos del punto final de cada subintervalo. Los valores de las sumas convergen a medida que los subintervalos parten desde arriba a la izquierda hasta abajo a la derecha.

Clculo Integral

16

Suma de Riemann (mas conceptos e informacin) Definicin y representacin Estas sumas fueron inventadas por Bernhard Riemann para aproximar el valor de las integrales definidas (es decir definidas en intervalos del tipo [a, b]) y para elaborar un criterio de integrabilidad (es decir para saber que funciones son integrables, y segn que mtodo de clculo). Las sumas de Riemann ms sencillas son las siguientes:

. Una suma de Riemann se interpreta como el rea total de rectngulos adyacientes de anchura comn y

de alturas situados entre el eje de los abscisas y la curva de la funcin f (ver figura siguiente).

Sumas de Riemann S'n de una misma funcin, con n = 5 rectngulos; n = 10 y n = 20. Cuando crece n, el rea total de los rectngulos se aproxima al rea delimitado por el eje de las abscisas y la curva de f. Teorema fundamental El teorema ms elemental es el siguiente: Para toda funcin continua en el intervalo [0, 1] las sumas de Riemann convergen a la integral de f en el intervalo:

Clculo Integral

17

Prueba El intervalo I = [0,1] es un espacio mtrico compacto por lo que toda funcin continua lo es de manera uniforme (segn el teorema de Heine): la continuidad en I se escribe :

es decir que el nmero depende de x (y de ), mientras que en la continuidad uniforme se puede encontrar un nmero que sirva para todos los x de I:

Tomemos un > 0 cualquiera, y un > 0 que verifica la relacin anterior. Luego existe un natural n tal que entera (basta con tomar de , la parte ).

Para

todo

en

luego

lo

que

tambin

se

escribe:

Integrando la relacin anterior en

se obtiene la siguiente:

Luego sumando los

con k variando de 0 a n - 1 se obtiene:

lo que equivale a: . El valor de puede ser arbitrariamente pequeo (cercano a cero) con tal de tomar n lo suficientemente grande. Luego la relacin anterior pasa al lmite y

Clculo Integral

18

da: Se demuestra de manera muy parecida la convergencia de la otra suma de

Riemann, pues en Ejemplos

tambin tenemos

1) Histricamente se ha sabido calcular sumas muy antes de medir reas mediante integrales. Por esta razn el primer ejemplo utiliza el teorema en el sentido original de definir una integral gracias a las sumas de Riemann. El primer rea que necesit clculos elaborados fue la definida por la parbola: la cuadratura de la parbola fue resuelta por Arqumedes en el siglo III adC aproximando una porcin de parbola por tringulos cuyas superficies forman una sucesin geomtrica. Utilizar rectngulos en vez de tringulos permite utilizar las sumas de Riemann. Se establece por induccin la relacin muy conocida que da la suma de los

primeros

cuadrados:

Luego:

2) Hacia qu valor tiende la sumas de los n inversos empezando por otras palabras, cul es el lmite de la sucesin trminos son:

? En

cuyos primeros

y as sucesivamente?

El trmino general es

, es

acotado por y 1 (se mira el nmero de trminos multiplicado por el menor y el mayor respectivamente), es decreciente (al pasar de u n a un+1 se aade
Clculo Integral 19

pero se quita

que es mayor) luego la sucesin converge.

3) Hallar el lmite del producto infinito.

cuando n tiende hacia el

Para trasformar un producto de factores estrictamente positivos en una suma se usa el logaritmo:

tiende

hacia

el

infinito,

. El mientras

factor

n que

que

es

estrictamente

negativo porque la funcin integrada es estrictamente negativa en [0,1] salvo en el punto aislado 0 donde es nula. Luego y por tanto Generalizaciones A otros intervalos Si en vez de trabajar con una funcin definida en [0, 1] escogemos un intervalo compacto cualquiera [a, b], que seguimos cortando en n subintervalos de misma longitud curva de obtenemos una aproximacin del rea bajo la por n rectngulos de rea total .

aproximacin que se vuelve ms precisa a medida que crece n, luego el teorema es el siguiente:

Clculo Integral

20

La prueba es idntica a la con el intervalo [0, 1] porque en la demostracin slo se utiliza la compacidad del intervalo. Otro argumento es emplear el cambio de variable para pasar de una funcin f definida en [a, b] a otra, g, definida en [0, 1]: As Concretamente: .

por y:

el

teorema con . el

en cambio de

[0, 1], variable:

Ejemplo:

A otras subdivisiones Hasta el momento se ha descompuesto el intervalo de estudio, [0, 1] o [a, b] en n segmentos de misma longitud, es decir que se ha utilizado una subdivisin regular del intervalo. Una subdivisin cualquiera de [a, b] es definida por los nmeros x0, x1 ... xn tales que la mayor longitud de los intervalos [xk-1, xk] (k Se denota () entre 1 y n):

Con una subdivisin dada se puede definir naturalmente dos sumas que denotaremos

El teorema que generaliza el teorema fundamental es el siguiente: Para toda funcin continua en un intervalo [a, b] las sumas de Riemann convergen hacia la integral de f cuando () tiende hacia cero:

A otros puntos de clculo

Clculo Integral

21

Hasta ahora se ha calculado la funcin a uno u otro extremo de cada segmento, por sencillez; sin embargo la demostracin del teorema sigue vlida sin esta restriccin, lo que permite generalizar an ms las sumas de Riemann escogiendo en cada intervalo [xk-1, xk] el punto de clculo de la funcin,

. La suma es entonces

Funciones escalonadas

. El rea rojo oscuro mide

, el rea total coloreada (rojo + verde) mide

El

teorema

es,

sin

sorpresa,

el

mismo:

Los puntos de clculo tambin pueden ser implcitos, ya que para hallar la suma se precisa conocer las imgenes y no los mismos.

Clculo Integral

22

La funcin f siendo continua en cada intervalo [xk-1, xk], cada valor vk entre el nfimo

y el supremo

es

la

imagen

de

un

punto

(por

lo

menos)

del

intervalo

por lo que suma de Riemann, donde los

es una

son implcitos (y de hecho, desconocidos). En

particular son las sumas de Riemann de menor y mayor valor respectivamente asociadas a la subdivisin . Se llaman sumas de Darboux y corresponden a integrales de funciones escalonadas

que mejor acotan a f:

y, por definicin misma de la integral de Riemann,

es el lmite comn de

, es decir de

cuando () tiende hacia cero. Rapidez de Convergencia Las sumas de Riemann constituyen un mtodo efectivo pero aproximativo de clculo de integrales. Para obtener una precisin impuesta de antemano, Cuantos clculos se necesitan? es decir, concretamente, Qu valor mnimo
Clculo Integral 23

de n escoger? (hay que tener en cuenta que cuando crece n crece la precisin del clculo pero tambin el tiempo que consumir dicho clculo). Ms importante an: Qu mtodo elegir? Aqu se entiende por mtodo la manera de escoger los puntos k de clculo de la funcin en cada intervalo [xk-1, xk]. Mtodo de los rectngulos

El llamado mtodo de los rectngulos es el caso ms sencillo, la de la subdivisin regular del intervalo [a, b] en n segmentos, con los puntos de clculo de la funcin a un extremo de cada segmento: Sea

el valor mximo de la derivada en valor absoluto. Entonces el error entre la suma de Riemann S y la integral verifica:

Prueba: Tomemos n = 1; en tal caso, la suma es S = (b-a)f(a). Tenemos (por integracin)

luego: Al pasar del caso n = 1 al caso n cualquiera se remplaza el intervalo [a, b] por otro de longitud n veces menor, es decir se remplaza en la frmula b - a por , luego se multiplica por n el error porque hay n pequeos intervalos con la longitud anterior:

es el error mximo.

Clculo Integral

24

Este error se alcanza con una funcin tan sencilla como la lineal f(x) = mx (aqu M1 = |m|) lo que implica que este mtodo dista mucho de ser eficaz: un error en se considera enorme: tiende muy lentamente hacia cero.

Los puntos donde se calculan la funcin son los centros de los intervalos Mtodo de los puntos medios El mtodo de los puntos medios es el segundo caso ms comn, es una variante del anterior, con una nica diferencia: Se toman como puntos de clculo los centros de los segmentos de la subdivisin regular. La suma es

. Sea

el valor mximo de la segunda derivada en valor absoluto. Entonces el error

verifica:

Prueba: Tomemos como anteriormente n = 1, por tanto la suma de Riemann los

Clculo Integral

es

da, integrando entre c y x (si hace falta, se remplazan valores absolutos por una desigualdad doble)
25

y . Observamos que .

luego

Luego

: desigualdad triangular en integrales, luego (1) da:

Con n cualquiera, porque hay n intervalos.

se vuelve

que se multiplica por n

El error es acotado por un trmino en lo que es mucho mejor que el mtodo anterior porque converge hacia cero mucho ms de prisa.

del

Clculo Integral

26

reas equivalentes El rea del trapecio azul es el mismo que el del rectngulo verde y de los rectngulos adyacientes rojos Mtodo de los trapecios El mtodo de los trapecios consiste en aproximar la integral por el rea total de los trapecios que tocan la curva en los dos vrtices que no estn sobre el eje horizontal (ver figura azul). La suma es La suma es

Tres interpretaciones del rea obtenida por el mtodo de los trapecios A primera vista (ver figura azul) no corresponde a una suma de Riemann; sin embargo como todo trapecio tiene la misma rea que un rectngulo de misma base, esta suma corresponde a la figura verde, donde los puntos de clculo de la funcin son abscisas de puntos de interseccin de la curva con los lados horizontales de los rectngulos verdes (por ejemplo el punto A); estos puntos siempre existen, en cada intervalo [xk-1, xk], por el teorema de los valores intermedios: , que es la altura del rectngulo, es un valor

alcanzado por f porque pertenece al intervalo . Para estimar la rapidez de convergencia, es conveniente mirar al rea equivalente roja. El rea total (color rosado) est compuesta por:

Clculo Integral

27

* dos rectngulos de media anchura, el error es acotado como en el caso de un intervalo de longitud en el mtodo de los rectngulos (punto de clculo en un extremo del intervalo), es decir por y

* n - 1 rectngulos de anchura con puntos de clculo centrales (como el punto B de la figura) luego el error es acotado por

Luego

el

error

total

es

inferior

igual

; por tanto es acotado por un trmino en . Sin embargo, otro clculo da un resultado ms sencillo que prescinde de M 1:

, es decir que el error mximo es exactamente el doble del error mximo cometido en el mtodo de los puntos medios. A pesar de lo ltimo, este mtodo tiene la ventaja sobre el de los puntos medios de no obligar a calcular otros valores de la funcin salvo los

que a menudo ya se han calculado previamente a la estimacin de la integral.

Clculo Integral

28

1.4 Definicin de Integral Definida Integral definida

La integral definida de una funcin representa el rea limitada por la grfica de la funcin, con signo positivo cuando la funcin toma valores positivos y negativo cuando toma valores negativos. 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. Teora Dada una funcin f(x) de una variable real x y un intervalo [a,b] de la recta real, la integral

Clculo Integral

29

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

Terminologa y notacin Los chelos tambin poseen el smbolo de la Integral 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,
Clculo Integral 30

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 piden integrales. Al comienzo puede ser suficiente con aproximaciones prcticas, pero al final harn falta respuestas exactas y rigurosas a este tipo de problemas.

Clculo Integral

31

Aproximaciones a la integral de x entre 0 y 1, con 5 muestras por la izquierda (arriba) y 12 muestras por la derecha (abajo). Para empezar, se considerar la curva y = f(x) entre x = 0 y x = 1, suponiendo que f(x) = x. La pregunta es: Cul es el rea bajo la funcin f, al intervalo desde 0 hasta 1? Esta rea (todava desconocida) ser la integral de f. 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 tiene que ser de alguna forma 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 15, 25, y as hasta 1 = 1. 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 coge 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

Clculo Integral

32

concibe la integral como una suma ponderada (denotada por la "S" alargada), de los valores de la funcin (como las alzadas, y = f(x)) 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 F(x) = 23x3/2 y simplemente coger F(1)F(0), donde 0 y 1 son las fronteras del intervalo [0,1]. (ste es un ejemplo de una regla general, que dice que para f(x) = xq, con q 1, la funcin relacionada, la llamada primitiva es F(x) = (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
Clculo Integral 33

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. 1.5 Teorema de Existencia En matemticas, un teorema de existencia es un teorema con un enunciado que comienza 'existe(n)...', o ms generalmente 'para todo x, y, ...existe(n) ...'. Esto es, en trminos ms formales de lgica simblica, es un teorema con un enunciado involucrando el cuantificador existencial. Muchos teoremas no lo hacen explcitamente, como es usual en el lenguage matemtico estndar, por ejemplo, el enunciado de que la funcin seno es una continua, o cualquier teorema escrito en la notacin O. Una controversia que data del temprano siglo XX concierne el tema de teoremas de existencia puros, y la acusacin relacionada de que al admitirlos las matemticas traicionan sus responsabilidades de aplicacin concreta (ver demostracin no constructiva). El punto de vista matemtico es que los mtodos abstractos tienen un gran alcance, mayor que el del anlisis numrico. Teorema Existencia Integrales Definidas Sea una funcin real y = f (x), que es continua en un intervalo [a , b]. Entonces se puede afirmar que existe al menos un punto c perteneciente a dicho intervalo, para el que se verifica: El valor f se conoce como el valor medio de la funcin f (x) en el intervalo [a,b]. Quiz sea interesante hacer varias observaciones: 1) El punto c puede no ser nico. El teorema asegura la existencia de por lo menos un punto con esa propiedad. 2) El valor medio de la funcin f (x) no se refiere a la tasa de variacin media en el intervalo considerado. Se trata de un concepto diferente.

Clculo Integral

34

3) El clculo de dicho valor medio y el del punto c en el que se alcanza presupone el clculo de una integral definida. Dicho clculo puede hacerse por la Regla de Barrow (que se supone conocida) o bien, en el caso de funciones complicadas, utilizando mtodos numricos, como la Regla de Simpson por ejemplo. En esta unidad utilizaremos funciones de integracin sencilla. 2. EL TEOREMA APLICADO A UNA FUNCIN DETERMINADA Vamos a estudiar la aplicacin del teorema a una funcin concreta. Para una primera aproximacin vamos a escoger una funcin que sea continua en cualquier intervalo de la recta real, para que tengamos la seguridad de que se cumple la hiptesis de nuestro teorema. La funcin objeto de nuestro estudio va a ser la siguiente: Los controles a y b son los extremos del intervalo. Al cambiar sus valores se puede observar como vara el valor medio de la funcin y el punto, o puntos, en que se alcanza dicho valor. La funcin con la que estamos trabajando es simtrica y eso provoca que en algunos intervalos el punto c no sea nico. El trazo azul indica el conjunto de valores que toma la funcin en el intervalo [a,b], cuyo valor medio queremos calcular. Ten en cuenta que el extremo del intervalo a debe ser ms pequeo que el extremo b. En cualquier caso, si te equivocases, aparecera un mensaje de error.

3. EL TEOREMA APLICADO A UN TIPO DIFERENTE DE FUNCIONES Vamos a considerar ahora la aplicacin del teorema a un tipo diferente de funciones. Aqu el punto en el que se alcanza el valor medio es nico ya que la familia de funciones exponenciales que estudiamos, tambin con dominio en todos los nmeros reales y fcilmente integrables, se caracteriza por su monotona. El conjunto de funciones que representamos responde a la ecuacin general en la que k puede tomar diversos valores reales en el intervalo [0.5 , 0.5], lo que hace que la funcin pueda ser una exponencial creciente o decreciente. En el caso K = 0, al tratarse de una funcin constante el teorema carece de inters. En la escena anterior la funcin era definida positiva y por tanto tambin lo era su valor medio. Ahora las funciones pueden tomar valores positivos y negativos segn los intervalos, lo que afecta al valor medio obtenido.

Clculo Integral

35

El control k permite variar la funcin exponencial considerada. Los controles a y b representan, como en la escena anterior, los extremos del intervalo. Puedes estudiar diferentes intervalos en cada funcin que representes 1.6 Propiedades de la Integral Definida P r opi e da des de la i nte gra l de fi ni da 1 . E l va lo r d e la i nte gra l de fi ni da ca m b ia de sign o si se p e rm u ta n lo s lm it e s d e int e gra ci n .

2 . S i lo s lm it e s qu e in te gra ci n co in cid e n, la i nte gral de fi ni da va le c e ro .

3 . S i c e s u n pu n t o in t e rio r d e l in t e rva lo [ a , b ] , la i nte gra l de fi ni da se de scom po n e co m o un a su ma de d os in t e gra le s e xt e n d id a s a lo s in te rva lo s [ a , c] y [ c, b ] .

4 . La i nte gral defi ni da d e u na sum a d e f u n cio n e s e s igu a l a la sum a d e in t e gra le s

5 . L a in t e gra l d e l p ro d u ct o de un a co n st an t e p o r u na f u n cin e s igu a l a la co n sta n te po r la in t e gra l d e la f un ci n .

Re gl a de Ba rrow L a re gla de Ba rrow d ice qu e la in t e gra l d ef in ida de u na f u n cin co n t in u a f (x) e n u n in t e rva lo ce rra d o [ a , b ] e s igu a l

Clculo Integral

36

a la d if e re n cia en t re lo s va lo re s qu e t o ma u n a f un ci n p rim it iva G (x) d e f (x), e n lo s e xt re m os d e d ich o int e rva lo .

Te or e ma funda menta l de l c l c ul o F' (x ) = f(x ) E l t e ore ma fundame nta l de l c l c ulo n o s ind ica qu e la d e riva ci n y la in t e gra ci n so n o pe ra cio n e s in ve rsa s . A l in t e gra r u n a f un ci n co n t in u a y lu e go d e riva rla se re cu p e ra la f un cin o rigin a l. Te or e ma de l a medi a o de l va l or me di o pa ra i nte gra le s S i u n a f un ci n e s co n t inu a e n u n in t e rva lo ce rra d o [a , b ] , e xist e un pu n to c e n e l in te rio r d el in t e rva lo t a l qu e :

E je mpl os

Clculo Integral

37

Clculo Integral

38

Clculo Integral

39

Clculo Integral

40

Clculo Integral

41

1.7 Funcin primitiva Integracin indefinida (Funcin primitiva)

El campo vectorial definido asignando a cada punto (x, y) un vector que tiene por pendiente (x) = (x3/3)-(x2/2)-x. Se muestran tres de las infinitas primitivas de (x) que se pueden obtener variando la constante de integracin C. En clculo infinitesimal, la funcin primitiva o antiderivada de una funcin f es una funcin F cuya derivada es f, es decir, F = f. Una condicin suficiente para que una funcin f admita primitivas sobre un intervalo es que sea continua en dicho intervalo. Si una funcin f admite una primitiva sobre un intervalo, admite una infinidad, que difieren entre s en una constante: si F1 y F2 son dos primitivas de f, entonces existe un nmero real C, tal que F1 = F2 + C. A C se le conoce como constante de integracin. Como consecuencia, si F es una primitiva de una funcin f, el conjunto de sus primitivas es F + C. A dicho conjunto se le llama integral indefinida de f y se representa como:

Clculo Integral

42

El proceso de hallar la primitiva de una funcin se conoce como integracin indefinida y es por tanto el inverso de la derivacin. Las integrales indefinidas estn relacionadas con las integrales definidas a travs del teorema fundamental del clculo, y proporcionan un mtodo sencillo de calcular integrales definidas de numerosas funciones. Ejemplo Una primitiva de la funcin f(x) = cos(x) en es la funcin F(x) = sin(x) ya que

. Dado que la derivada de una constante es cero, tendremos que cos(x) tendr un nmero infinito de primitivas tales como sen(x), sen(x) + 5, sen(x) - 100, etc. Es ms, cualquier primitiva de la funcin f(x) = cos(x) ser de la forma sen(x) + C donde C es una constante conocida como constante de integracin. Constante de integracin La derivada de cualquier funcin constante es cero. Una vez que se ha encontrado una primitiva F, si se le suma o resta una constante C, se obtiene otra primitiva. Esto ocurre porque (F + C) ' = F ' + C ' = F ' + 0 = F '. La constante es una manera de expresar que cada funcin tiene un nmero infinito de primitivas diferentes. Para interpretar el significado de la constante de integracin se puede observar el hecho de que la funcin f (x) sea la derivada de otra funcin F (x) quiere decir que para cada valor de x, f (x) le asigna la pendiente de F (x). Si se dibuja en cada punto (x, y) del plano cartesiano un pequeo segmento con pendiente f (x), se obtiene un campo vectorial como el que se representa en la figura de la derecha. Entonces el problema de encontrar una funcin F (x) tal que su derivada sea la funcin f (x) se convierte en el problema de encontrar una funcin de la grfica de la cual, en todos los puntos sea tangente a los vectores del campo. En la figura de la derecha se observa como al variar la constante de integracin se obtienen diversas funciones que cumplen esta condicin y son traslaciones verticales unas de otras. Otras propiedades Linealidad de la integral indefinida La primitiva es lineal, es decir: 1. Si f es una funcin que admite una primitiva F sobre un intervalo I, entonces para todo real k, una primitiva de kf sobre el intervalo I es kF.
Clculo Integral 43

2. Si F y G son primitivas respectivas de dos funciones f y g, entonces una primitiva de f + g es F + G. La linealidad se puede expresar como sigue:

La primitiva de una funcin impar es siempre par En efecto, como se ve en la figura siguiente, las reas antes y despus de cero son opuestas, lo que implica que la integral entre -a y a es nula, lo que se escribe as: F(a) - F(-a) = 0, F siendo una primitiva de f, impar. Por lo tanto siempre tenemos F(-a) = F(a): F es par.

La primitiva F de una funcin f par es impar con tal de imponerse F(0) = 0 En efecto, segn la figura, la reas antes y despus de cero son iguales, lo que se escribe con la siguiente igualdad de integrales:

Es decir F(0) - F(- a) = F(a) - F(0). Si F(0) = 0, F(- a) = - F(a): F es impar. Clculo de primitivas

Clculo Integral

44

Integrales inmediatas Para encontrar una primitiva de una funcin dada, basta con descomponerla (escribirla bajo forma de una combinacin lineal) en funciones elementales cuyas primitivas son conocidas o se pueden obtener leyendo al revs una tabla de derivadas, y luego aplicar la linealidad de la integral:

Aqu estn las principales funciones primitivas:

Funcin

: primitiva de

funcin

: derivada de

Clculo Integral

45

Por ejemplo, busquemos una primitiva de x x(2 -3x). Como no se conocen primitivas de un producto, desarrollemos la expresin: x(2-3x)= 2x - 3x2. 2x es la derivada de x2, 3x2 es la de x3, por lo tanto 2x - 3x2 tiene como primitiva x2 x3 + k. Si adems se pide que la primitiva verifique una condicin F(x 0) = y0 (que recibe el nombre de condicin inicial cuando se trata de un problema de fsica), entonces la constante k es unvocamente determinada. En el ejemplo, si se impone F(2) = 3, entonces forzosamente k = 7. 1.8 Teorema Fundamental del Clculo Teorema fundamental del clculo El teorema fundamental del clclo consiste (intuitivamente) en la afirmacin de que la derivacin e integracin de una funcin son operaciones inversas. Esto significa que toda funcin continua integrable verifica que la integral de su derivada es igual a ella misma. Este teorema es central en la rama de las matemticas denominada anlisis matemtico o clculo. El teorema es fundamental porque hasta entonces el clculo aproximado de reas -integrales- en el que se vena trabajando desde Arqumedes, era una rama de las matemticas que se segua por separado al clculo diferencial que se vena desarrollando por Isaac Newton, Isaac Barrow y Gottfried Leibniz en el siglo XVIII y dio lugar a conceptos como el de las derivadas. Las integrales eran investigadas como formas de estudiar reas y volmenes, hasta que en este punto de la historia ambas ramas convergen, al demostrarse que el estudio del "rea bajo una funcin" estaba ntimamente vinculado al clculo diferencial, resultando la integracin, la operacin inversa a la derivacin. Una consecuencia directa de este teorema es la regla de Barrow, denominada en ocasiones segundo teorema fundamental del clculo, y que permite calcular la integral de una funcin utilizando la integral indefinida de la funcin al ser integrada.

Clculo Integral

46

Intuicin geomtrica

El rea rayada en rojo puede ser calculada como h f(x), o si se conociera la funcin A(X), como A(x+h) A(x). Estos valores son aproximadamente iguales para valores pequeos de h. Supngase que se tiene una funcin continua y = f(x) y que su representacin grfica es una curva. Entonces, para cada valor de x tiene sentido de manera intuitiva pensar que existe una funcin A(x) que representa el rea bajo la curva entre 0 y x an sin conocer su expresin. Supngase ahora que se quiere calcular el rea bajo la curva entre x y x+h. Se podra hacer hallando el rea entre 0 y x+h y luego restando el rea entre 0 y x. En resumen, el rea de esta especie de "loncha" sera A(x+h) A(x). Otra manera de estimar esta misma rea es multiplicar h por f(x) para hallar el rea de un rectngulo que coincide aproximadamente con la "loncha". Ntese que la aproximacin al rea buscada es ms precisa cuanto ms pequeo sea el valor de h. Por lo tanto, se puede decir que A(x+h) A(x) es aproximadamente igual a f(x) h, y que la precisin de esta aproximacin mejora al disminuir el valor de h. En otras palabras, (x)h A(x+h) A(x), convirtindose esta aproximacin en igualdad cuando h tiende a 0 como lmite. Dividiendo los dos lados de la ecuacin por h se obtiene

Clculo Integral

47

Cuando h tiende a 0, se observa que el miembro derecho de la ecuacin es sencillamente la derivada A(x) de la funcin A(x) y que el miembro izquierdo se queda en (x) al ya no estar h presente. Se muestra entonces de manera informal que (x) = A(x), es decir, que la derivada de la funcin de rea A(x) es en realidad la funcin (x). Dicho de otra forma, la funcin de rea A(x) es la antiderivada de la funcin original. Lo que se ha mostrado es que, intuitivamente, calcular la derivada de una funcin y "hallar el rea" bajo su curva son operaciones "inversas", es decir el objetivo del teorema fundamental del clculo integral. Primer teorema fundamental del clculo Dada una funcin f integrable sobre el intervalo [a,b], definimos F sobre [a,b] por . Si f es continua en derivable en c y F'(c) = f(c). , entonces F es

Consecuencia directa del primer teorema fundamental del clculo infinitesimal es:

Siendo f(t) una funcin integrable sobre el intervalo [a(x),b(x)] con a(x) y b(x) derivables Ejemplos

Segundo teorema fundamental del clculo Tambin se le llama regla de Barrow, en honor a Isaac Barrow o regla de Newton-Leibniz.

Clculo Integral

48

Dada una funcin f continua en el intervalo [a,b] y sea g cualquier funcin primitiva de f, es decir g'(x)=f(x) para todo , entonces:

Este teorema se usa frecuentemente para evaluar integrales definidas. Ejemplos

1.9 Calculo de Integrales Definidas I nte gr a l de fi ni da

L a i nte gra l de fi nida se rep re se nt a po r e s e l sign o de in te gra ci n . a lm it e inf e rio r d e la in t e gra ci n. lm it e su p e rio r d e la in t e gra ci n. f(x ) e s e l i nte gra ndo o f un ci n a in tegra r.

dx e s di fe re nc ia l de x , e in d ica cu l e s la va ria b le d e la f u n cin qu e se in te gra P r opi e da des de la i nte gra l de fi ni da 1 . E l va lo r d e la i nte gra l de fi ni da ca mb ia d e sign o si se p e rmu t an lo s lm ite s d e in t e gra ci n.

2 . S i lo s lm it es qu e de fi ni da va le c e ro .
Clculo Integral

in t e gra cin

co in cide n ,

la

i nte gra l

49

3 . S i c e s u n p u n t o in t e rio r d e l int e rva lo [ a , b ] , la i nte gra l de fi ni da se de sco m po ne com o una su ma d e d o s in t e gra le s e xt e n d id a s a lo s in t e rva lo s [a, c] y [ c, b]

4 . L a i nte gra l de fini da d e u na su ma d e f u n cion e s e s igu a l a la su m a d e in t e gra les

5 . L a in te gra l d e l p ro d u cto d e u n a co n st an t e p o r u na f u n cin e s igu a l a la co n sta n t e p o r la in t e gral d e la f u n cin .

Re gl a de Ba rrow L a re gl a de Ba rrow d ice que la in t e gra l def in id a d e una f u n cin co n t inu a f (x) e n u n in t e rva lo ce rra d o [a , b ] es igu a l a la d if e re n cia e n t re lo s va lo re s qu e t o m a u n a f u n ci n p rim it iva G (x) d e f (x), e n los e xt re m o s d e d icho in t e rva lo .

Te or e ma funda menta l de l c l c ul o F' (x ) = f(x ) E l t e ore ma funda me nta l de l c lc ul o no s in d ica d e riva ci n y la in t e gra ci n so n o pe ra cio n e s in ve rsa s. qu e la

A l in t e gra r u na f u nci n ccon t in ua y lu e go d e riva rla se recu p e ra la f u n ci n o rigin a l. Te or e ma de l a medi a o de l va l or me di o pa ra i nte gra le s S i u n a f un ci n es co n t inu a e n u n in t e rva lo ce rra d o [ a , b ] , e xist e u n pu n to c e n e l in t e rio r de l in t e rva lo t a l qu e :
Clculo Integral 50

E je mpl os

Clculo Integral

51

Clculo Integral

52

Clculo Integral

53

1.10 Integrales Impropias Integral impropia De Wikipedia, la enciclopedia libre En clculo, una integral impropia es el lmite de una integral definida cuando uno o ambos extremos del intervalo de integracin se acercan a un nmero real especfico, a , o a . Adems una integral definida es impropia cuando la funcin integrando de la integral definida no es continua en todo el intervalo de integracin. Tambin se pueden dar ambas situaciones.

Clculo Integral

54

Introduccin Si la funcin f al ser integrada de a a c tiene una discontinuidad en c, especialmente en la forma de una asntota vertical, o si c = , entonces la integral

Puede ser ms conveniente redefinirla de la siguiente forma:

En algunos casos, la integral de a a c ni siquiera est definida, puesto que las integrales de la parte positiva y negativa de f(x) dx entre a y c son ambas infinitas, sin embargo el lmite puede existir. Estos casos corresponden a las llamadas "integrales impropias", es decir, aquellas cuyos valores no pueden definirse excepto como lmites. La integral

puede interpretarse como:

pero desde el punto de vista del anlisis matemtico no es obligatorio interpretarla de tal manera, ya que puede interpretarse como una integral de Lebesgue sobre el intervalo (0, ). Por otro lado, el uso del lmite de int egrales definidas en intervalos finitos es til, aunque no sea como forma de calcular su valor. En contraste al caso anterior,

no puede ser interpretada como una integral de Lebesgue, ya que

Clculo Integral

55

sta es una "verdadera" integral impropia, cuyo valor est dado por

Llamamos singularidades de una integral impropia a los puntos de la recta extendida de nmeros reales en los cuales debemos utilizar lmites. Tales integrales son frecuentemente escritas en forma simblica de igual forma que una integral definida, utilizando un infinito como lmite de integracin. Esto no hace ms que "ocultar" el debido proceso de calcular los lmites de la integral. Utilizando la ms avanzada integral de Lebesgue en lugar de una integral de Riemann, uno puede a veces evitar tal operacin. Pero si slo se desea evaluar el lmite para obtener un valor definido, tal mecanismo pudiera no resultar de ayuda. El concepto de integral de Lebesgue es ms o menos esencial en el tratamiento terico de la transformada de Fourier que hace uso extensivo de integrales sobre el total de la recta real. Lmites infinitos de integracin Las integrales impropias ms bsicas son integrales como:

Como dijimos anteriormente stas no necesitan ser definidas como una integral impropia, ya que pueden ser construidas como una integral de Lebesgue. Sin embargo, para propsitos de computar esta integral, es ms conveniente tratarla como un integral impropia, i.e., evaluarla cuando el lmite superior de integracin es finito y entonces coger el lmite ya que este lmite se acerca a . La primitiva de la funcin que est siendo integrada es arctan x. La integral es

Asntotas verticales en los lmites de integracin Considera

Clculo Integral

56

Esta integral involucra una funcin con una asntota vertical en x = 0. Uno puede obtener el valor de esta integral evalundola desde b a 1, y entonces tomando el lmite como b tendiendo a 0. Ntese que la anti-derivativa de la anterior funcin es 3x1 / 3, la cual puede ser evaluada por sustitucin directa para dar el valor

El lmite cuando b 0 es 3 0 = 3.

Valores principales de Cauchy Considera la diferencia en los valores de dos lmites:

La primera es el valor principal de Cauchy

Similarmente, tenemos

pero

La primera es el valor principal

Clculo Integral 57

Todos los lmites anteriores son casos de la forma de indeterminacin .

Carcter y valor de las Integrales Impropias Si la integral que nos ocupa es de fcil resolucin podemos determinar su carcter mediante el clculo de la integral impropia. Segn el resultado que obtengamos sabremos si es convergente o divergente. Primero clasifiquemos las integrales en 3 tipos: Primera especie

Son del tipo:

Para poder determinar su carcter realizamos la Si existe el y es finito y en ese caso Segunda especie

Son del tipo: y que f(x) no esta definida en el intervalo de integracin o en los extremos de integracin. Para poder determinar su carcter realizamos la siguiente operacin (suponemos que el punto conflictivo se encuentra en x = a):

Si

el

existe

es

finito

en

este

caso

, entonces se dice que la integral es convergente o que la integral converge. Se dice que es divergente en cualquier otro caso. Tercera especie

Clculo Integral

58

Son mezclas de los dos tipos anteriores, es decir, que presentan un infinito en los extremos de integracin y la funcin se hace infinito en uno o ms puntos del intervalo de integracin. Este tipo de integrales impropias se pueden dividir en suma de dos integrales: una de primera especie y otra de segunda especie. Por lo tanto deberemos seguir los pasos anteriores para determinar su carcter, y tener en cuenta que para que sea convergente tanto la integral de primera especie como la de segunda especie tienen que ser convergentes, si no, en cualquier otro caso, diverge.

Clculo Integral

59