Integral Defiinida

Captulo 3
Integral definida
Mdulo 12 Notacin sigma () y particin de un intervalo Mdulo 13 Integral segn Riemann

Juicio final, detalle del panel derecho: el ngel hace sonar una trompeta y el condenado cae al infierno. Obra del pintor flamenco Hans Menling (c. 1435-1494). Museo Promorskie, Gdansk (Polonia). Scala/Art Resource, N.Y.
Mdulo 14 Propiedades de la integral definida Mdulo 15 Teorema del valor medio (TVM) para integrales Mdulo 16 Los teoremas fundamentales del clculo Mdulo 17 Integrales impropias Ejercicios Mdulos 12 al 17
En geometra elemental se deducen frmulas para las reas de muchas figuras planas, pero escasamente se da una definicin precisa de lo que significa rea. En muchas ocasiones se define el rea de una regin como el nmero de cuadrados de lado unidad que caben en la regin. Sin embargo, dicha definicin slo es aceptable para algunas regiones simples del plano. As por ejemplo, el crculo de radio 1 tiene como rea el nmero irracional . Pero, qu significa cuadrados de rea? En este captulo iniciamos el estudio intentando definir el rea de algunas regiones particulares R del plano, es decir, aquellas regiones limitadas superiormente por la grfica de una curva y = f ( x) 0 en [a, b] , y lateralmente por las rectas verticales x = a y x = b. El nmero que se asigna como rea de R recibe el nombre de integral definida de f sobre [ a, b] , aunque tambin la integral se definir para funciones f para las cuales f ( x) 0 en [ a, b] . Se conocen fundamentalmente tres formas de acercarse a la definicin de integral: a travs de funciones escalonadas, a travs de las sumas superiores e inferiores
Captulo 3: Integral definida (sumas de Darboux) y a travs de las llamadas sumas de Riemann. En este texto lo hacemos siguiendo la tercera forma, por ser la manera clsica en los textos de clculo y la que menos exigencias tiene del anlisis real para su comprensin.
116
Notacin sigma ( ) y particin de un intervalo

Contenidos del mdulo
12.1 La notacin sigma () y propiedades de la sumatoria 12.2 Particin de un intervalo cerrado
12
Carl Friedrich Gauss Carl Friedrich Gauss, matemtico alemn conocido por sus muy diversas contribuciones al campo de la fsica, especialmente por sus estudios del electromagnetismo, naci el 30 de abril de 1777 en Brunswick y falleci el 23 de febrero de 1855 en Gotinga. Cuando Gauss tena diez aos de edad su maestro solicit a la clase que encontrara la suma de todos los nmeros comprendidos entre uno y cien. El maestro, pensando que con ello la clase estara ocupada algn tiempo, qued asombrado cuando su alumno levant en seguida la mano y dio la respuesta correcta. Gauss revel que encontr la solucin usando el lgebra y el maestro se dio cuenta al instante de que el nio era una promesa en las matemticas. Hijo de un humilde albail, Gauss dio seales de ser un genio antes de que cumpliera los tres aos. A esa edad aprendi a leer y hacer clculos aritmticos mentales con tanta habilidad que descubri un error en los clculos que hizo su padre para pagar unos sueldos. Ingres a la escuela primaria antes de que cumpliera los siete aos; cuando tena doce critic los fundamentos de la geometra euclidiana; a los trece le interesaban las posibilidades de desarrollar la geometra no euclidiana; y a los quince entenda la convergencia y prob el binomio de Newton. El genio y la precocidad de Gauss llamaron la atencin del duque de Brunswick, quien dispuso, cuando el muchacho tena catorce aos, costear tanto su educacin secundaria como universitaria. Gauss, a quien tambin le interesaban los clsicos y los idiomas, pensaba que hara de la filologa la obra de su vida, pero las matemticas resultaron ser una atraccin irresistible. Cuando estudiaba en Gotinga, descubri que podra construirse un polgono regular de diecisiete lados usando slo la regla y el comps. Ense la prueba a su profesor, quien se mostr un tanto escptico, pero
Objetivos del mdulo

1. Recordar el sentido de la notacin () y establecer algunas propiedades importantes de la sumatoria. 2. Definir la particin de un intervalo cerrado y en particular conocer la llamada particin regular.
Preguntas bsicas
1. Demuestre que
k =
k =1
n(n + 1) . 2
2. Demuestre que si P y Q son dos particiones de [a, b], y si Q es una particin ms refinada (ms fina) que P, entonces Q P .
Introduccin
Para indicar en forma compacta la suma de varios nmeros, existe una notacin que
2 2 2 2 + x3 + + xn facilita la escritura. Expresiones tales como x12 + x2 1 + xn se pueden
escribir en forma simplificada utilizando la notacin En el clculo integral usaremos frecuentemente esta notacin, as como tambin en el desarrollo de series de nmeros reales. Otra nocin importante en el desarrollo terico de la integral definida es la particin de un intervalo cerrado y en particular la particin regular, la cual, conjuntamente con la sumatoria, ayuda a simplificar y obtener resultados difciles de alcanzar usando otros medios. Por esta razn iniciamos el captulo 3 presentando estos dos conceptos.
Elementos bsicos de clculo integral y series
117
Captulo 3: Integral definida

Gauss demostr que tena la razn. Posteriormente encontr la frmula para construir los dems polgonos regulares con la regla y el comps. Gauss se gradu en Gotinga en 1798 y al ao siguiente recibi su doctorado en la Universidad de Helmstedt. Pero las matemticas no fueron el nico tema que le interes: fue tambin astrnomo, fsico, geodesta e inventor. Hablaba con facilidad varios idiomas, e inclusive domin el ruso a la edad de 60 aos. En 1807 fue nombrado director del observatorio y profesor de astronoma en la Universidad de Gotinga. A principios del siglo XIX Gauss public sus Disquisiciones aritmticas, que ofrecan un anlisis lcido de su teora de nmeros y comprendan las complicadas ecuaciones que confirmaban su teora y una exposicin de una convergencia de una serie infinita. Gauss estudi la teora de los errores y dedujo la curva normal de la probabilidad, llamada tambin curva de Gauss, que todava se usa en los clculos estadsticos. En 1833 invent un telgrafo elctrico que us entre su casa y el observatorio, a una distancia de unos dos kilmetros. Invent tambin un magnetmetro bifilar para medir el magnetismo y, en compaa del fsico alemn Wilhelm Eduard Weber, proyect y construy un observatorio no magntico. Tanto Gauss como el matemtico Bernhard Riemann, que fue discpulo suyo, pensaban en una teora electromagntica que sera muy semejante a la ley universal de la gravitacin, de Newton. Sin embargo, la teora del electromagnetismo fue ideada ms tarde, en 1873, por Maxwell, aunque Gauss ya posea los cimientos matemticos para explicarla. En 1840, las investigaciones de Gauss sobre la ptica tuvieron especial importancia debido a sus deducciones relacionadas con los sistemas de lentes. Gauss falleci a la edad de 78 aos. Se ha dicho que la lpida que seala su tumba fue escrita con un diagrama, que construy el mismo Gauss, de un polgono de diecisiete lados. Durante su vida se reconoci que era el matemtico ms grande de los siglos XVIII y XIX. Su obra en las matemticas contribuy a formar una base para encontrar la solucin de problemas complicadsimos de las ciencias fsicas y naturales.
12.1 La notacin sigma ( ) y propiedades de la sumatoria

Definicin Sea f una funcin, y m, n y k enteros tales que m k n y pertenecientes al dominio de f . Entonces el smbolo
n
k =m
f (k ) se define as:
k =m
f (k ) = f (m) + f (m + 1) + + f (n 1) + f (n) ,
donde k se denomina ndice de la sumatoria, m es el lmite inferior y n es el lmite superior. Observaciones i. A veces se define
n
k =m
n 1
f (k ) de la siguiente forma:
(definicin por recurrencia)
k =m
f ( k ) = f ( k ) + f ( n)
k =m
ii.
En
k =m
f (k ) se puede sustituir el ndice k por cualquier otro ndice i que
no aparezca en ella, sin que se altere el valor de la sumatoria; as por ejemplo,
k =m
f (k ) = f (i) .
i=m
Ejemplo 1
i Calcule: a. 2 ; i =1 5
b.
j ( j + 1)( j + 2).
j =1
Solucin a. Es este caso f (i ) = 2i ; luego
f (i) = 2
i =1 i =1
= 21 + 22 + 23 + 24 + 25 = 62.
b.
En este caso f ( j ) = j ( j + 1)( j + 2); luego
j ( j + 1)( j + 2) = 1 2 3 + 2 3 4 + 3 4 5 + 4 5 6 = 210.
j =1
118
Ejemplo 2 Exprese utilizando la notacin , la siguiente suma:

a1b2 + a2b3 + a3b4 + a4b5 .
Mdulo 12: Notacin sigma ( ) y particin de un intervalo
Solucin Obsrvese que los subndices de la letra a varan de 1 a 4 y los de b son una unidad mayor que los de a, luego cada trmino de la suma es de la forma ak bk +1 , en donde k recorre los valores 1, 2, 3 y 4. Entonces,
a1b2 + a2 b3 + a3b4 + a4 b5 = ak bk +1 .
k =1
De otra manera, se puede observar que los subndices de b varan de 2 a 5 y los de a son una unidad menor que los de b, luego cada trmino de la suma es de la forma
ak 1bk , donde k recorre los valores 2, 3, 4 y 5. Entones,
a1b2 + a2 b3 + a3b4 + a4 b5 = ak 1bk .

k =2
En general, existen muchas formas para expresar una misma suma.
Teorema 1: Propiedades de Sean f y g dos funciones, y m, n, k y p enteros pertenecientes al dominio de f y g, tales que m k n , y sea c una constante real. Entonces:
i.
k =m
[ f ( k ) + g (k ) ] = f ( k ) + g ( k )
k =m k =m
(propiedad aditiva sobre la funcin)
ii.
k =m
n
cf (k ) = c f (k )
k =m
(propiedad distributiva generalizada)
iii.
k =m
c = (n m + 1) c
(sumatoria de una constante)
Si m n y m k p p + 1 n, entonces
iv.
k =m
n
f (k ) = f (k ) +
k =m
f (k )
k = p +1
(propiedad aditiva de los lmites)

Vea el mdulo 12 del programa de televisin Elementos bsicos de clculo integral y series
v.
k =m
f (k ) =
n+ p
j =m+ p
f ( j p ) (desplazamiento del ndice)
119
Captulo 3: Integral definida vi.

k =m
[ f (k ) f (k 1)] = f (n) f (m 1)
(propiedad telescpica)
Demostracin
n
ii.
k =m
cf (k )
= cf (m) + cf (m + 1) + + cf (n) = c [ f (m) + f (m + 1) + + f (n) ] = c. f (k ).

k =m n
(definicin) (factorizando) (definicin)
vi.
k =m
[ f (k ) f (k 1)] = [ f (m) f (m 1)] + [ f (m + 1) f (m)] + [ f (m + 2) f (m + 1)]

+ + [ f (n 1) f (n 2)] + [ f (n) f (n 1)] = f (m 1) + [ f (m) f (m)] + [ f (m + 1) f (m + 1)] + + [ f (n 1) f (n 1)] + f (n) = f (n) f (m 1).
La demostracin de las partes i, iii, iv y v se deja como ejercicio para el lector. Presentamos ahora algunos ejemplos en los cuales se muestra la manera de aplicar las propiedades anteriores en una situacin especfica. Ejemplo 3
Demuestre que Solucin
k =
k =1
n(n + 1) . 2
Como
(k + 1) = (k
2 k =1 k =1
+ 2k + 1), entonces,
(k + 1) = k
2 k =1 k =1
+ 2 k + 1
k =1 k =1
(propiedades i y ii),
de donde
2 k = (k + 1) 2 k 2 1 = ( k + 1) k 2 1 . k =1 k =1 k =1 k =1 k =1 k =1
2 n n n n n n
120
Mdulo 12: Notacin sigma ( ) y particin de un intervalo Como
(k + 1)
k =1
2 k2 = (n + 1) 1 (propiedad telescpica aplicada a
f ( k ) = (k + 1) 2 )
1 = n
k =1
(propiedad iii),
se tiene que
2 k = (n + 1)2 1 n = n 2 + n = n(n + 1) .
k =1
Luego
k =
k =1
n(n + 1) . 2
Ejemplo 4
Calcule: a. Solucin
(2k 1) ;
k =1
b.
(2 j 1) ;
j =1
c.
(2r + 1).
r =3
a.
(2k 1) = 2 k 1
k =1 k =1 k =1
(propiedades i y ii)
5(5 + 1) 5 (ejemplo 3 y propiedad iii) 2 = 25. = 2.
b.
(2 j 1) = 2 j 1 = 2.
j =1 j =1 j =1
3(3 + 1) 3 = 9. 2
c.
(2r + 1) = (2 3 + 1) + (2 4 + 1) = 16.
r =3
Las frmulas siguientes, numeradas para referencias posteriores, tambin son de gran utilidad.
F.12.1.1
k =
k =1
n
n(n + 1) . 2
n(n + 1)(2n + 1) . 6
F.12.1.2
k
k =1
F.12.1.3
k3 =
k =1
n 2 (n + 1) 2 . 4
121
Captulo 3: Integral definida F.12.1.4
k
k =1
n(n + 1)(6n3 + 9n2 + n 1) . 30
La frmula F.12.1.1 fue demostrada en el ejemplo 3; las dems pueden demostrarse por induccin o directamente con el teorema 1 y con la ayuda de algunos artificios algebraicos.
12.2 Particin de un intervalo cerrado

Definicin Una particin P del intervalo [a, b] , con a < b , es un conjunto finito de puntos
P = { x0 , x1 , x2 , x3 , , xn 1 , xn } tales que
a = x0 < x1 < x2 < xn 1 < xn = b.
Utilizaremos las letras P, Q, R, , etc., para denotar diferentes particiones del intervalo [a, b] .
Observaciones i. Dos particiones P y Q de un mismo intervalo [ a, b] son diferentes si difieren por lo menos en un punto. Toda particin de [a, b] contiene por definicin al menos los puntos a y b; por tanto, siempre es un conjunto no vaco. Toda particin P = { x0 , x1 , , xn 1 , xn } de [a, b] divide a dicho intervalo en n-subintervalos cerrados:
I1 = [ x0 , x1 ]; I 2 = [ x1 , x2 ], , I k = [ xk 1 , xk ]; ; I n = [ xn 1 , xn ] .
ii.
iii.
En la figura 12.1 aparece una particin P = { x0 ,, xn } de [ a, b] y los subintervalos que ella determina.
Figura 12.1
122
Mdulo 12: Notacin sigma ( ) y particin de un intervalo Definiciones i. La longitud del subintervalo I k = [ xk 1 , xk ] , denotada por xk , se define como xk = xk xk 1 . ii. Sea P una particin de [ a, b] . La norma de la particin, denotada por || P || , se define como el mayor entre los siguientes valores: x1 , x2 , , xn . iii. Se dice que la particin Q de [a, b] es ms refinada o ms fina que la particin P de [ a, b] si Q contiene todos los puntos de P y por lo menos un punto ms (figura 12.2).
Figura 12.2
iv.
Si x1 = x2 = x3 = = xn = x = regular.
ba , entonces la particin se llama n
Observaciones i.
xk > 0 para todo k = 1, 2,3,, n , puesto que xk > xk 1 . En consecuen-
cia, || P || > 0 . ii.

xk || P || para todo k = 1, 2,, n.
iii.
x = ( x
k =1 k k =1
xk 1 )
= ( x1 x0 ) + ( x2 x1 ) + + ( xn 1 xn 2 ) + ( xn xn 1 ) = x0 + xn = b a.
iv.
Si P y Q son dos particiones de [ a, b] , y si Q es una particin ms refinada que P, entonces || Q || || P || .
v.
Decir que || P || 0 es equivalente a decir que n + . Elementos bsicos de clculo integral y series
123
Captulo 3: Integral definida Ejemplo 1
Sea P = {1, 0, 0.5, 2, 2.4, 3} una particin del intervalo [1, 3] (figura 12.3).
Figura 12.3
Los subintervalos en los cuales P divide al intervalo [1, 3] son:
I1 = [1, 0]; I 2 = [0, 0.5]; I 3 = [0.5, 2]; I 4 = [2, 2.4]; I 5 = [2.4, 3] .
Las longitudes de cada subintervalo son:

x1 = 0 (1) = 1; x2 = 0.5 0 = 0.5; x3 = 2 0.5 = 1.5; x4 = 2.4 2 = 0.4; x5 = 3 2.4 = 0.6.
Adems, || P || es el mayor valor entre: 1, 0.5, 1.5, 0.4 y 0.6; es decir, || P ||= 1.5 Ejemplo 2 Efecte una particin regular P de [ a, b] .
Solucin
x = longitud delintervalo[a, b] b a = . n n
Entonces la particin P de [ a, b] ser P = { x0 , x1 , x2, , xn } , en donde

x0 = a, x1 = a + x = a + ba . n
ba , n
x2 = a + 2x = a + 2
124
Mdulo 12: Notacin sigma ( ) y particin de un intervalo

x3 = a + 3x = a + 3 ba , n ba , n
ba = b. n
xk = a + k x = a + k
xn = a + nx = a + n
Ejemplo 3
xk . Evale el siguiente lmite: lim P 0

k =1
Solucin Como
x
k =1
= (b a) es una constante, se sigue entonces que
lim xk = lim (b a) = (b a).

P 0 k =1 P 0
125
126
Integral segn Riemann

13
Georg Friedrich Bernhard Riemann Bernhard Riemann naci en la ciudad alemana de Breselenz el 17 de septiembre de 1826. Durante sus estudios universitarios en Gotinga y en Berln se interes por las teoras de los nmeros primos, las funciones elpticas y la geometra, que relacion con las teoras ms avanzadas de la fsica. En Berln fue discpulo de los famosos matemticos Jakob Steiner, Karl Jacobi y Peter Dirichlet. Se doctor en 1851 en Gotinga con una tesis sobre los fundamentos de una teora general de funciones en la que estableca las relaciones existentes entre los nmeros complejos bajo las leyes de la geometra. Su definicin de superficie multiestrato (riemanniana), que asociaba una funcin de variable compleja mltiple a una funcin de un solo valor, contribuy notablemente al desarrollo de la topologa. Fueron muchas las contribuciones que Riemann aport a las matemticas, pero probablemente la ms conocida es la que present en 1854 en su disertacin para ingresar como profesor asistente en la Facultad de Filosofa de la Universidad de Gotinga. Cuando estuvo a punto de dar su conferencia someti a consideracin, segn la tradicin, tres posibles temas. Gauss, bajo cuya direccin estudi Riemann en esa universidad, pas por alto los dos primeros y pidi que expusiera el tercero. Este tema era nuevo, repleto de controversias y de peligros, y basado en una geometra no inspirada en los antiguos postulados euclidianos de la lnea recta y el paralelismo. Pero despus de un trabajo intensivo Bernhard Riemann ofreci una conferencia en la que, sin utilizar ni una figura o frmula, present su hiptesis de la curvatura del espacio, en trminos que podan entender incluso quienes no estaban familiarizados con las matemticas de alto nivel.
13.1 rea bajo una curva a travs de sumas superiores e inferiores 13.2 Sumas de Riemann
Objetivos del mdulo

1. Introducir por medio de la idea intuitiva de rea y de las llamadas sumas aproximantes, la integral definida segn Riemann. 2. Ilustrar con ejemplos la definicin de integral definida.
Preguntas bsicas
1. Demuestre las siguientes frmulas: a. b.
b a
b a
C dx = C (b a)
x dx = b2 a2 2 2
c.
b a
x 2 dx =
b3 a 3 3 3
Introduccin
En este mdulo nos ocuparemos del concepto de integral definida de una funcin acotada en un intervalo cerrado [a, b]. Se parte de un problema particular, como es el problema del rea de una regin plana, el cual dio origen al clculo integral. El mtodo expuesto, conocido como mtodo de los recubrimientos, se debe a Arqumedes, el ms grande de los matemticos griegos y uno de los mayores de toda la historia de la humanidad, quien determin el rea de un segmento parablico por este mtodo, que an hoy, despus de conocer los modernos mtodos infinitesimales, resulta laborioso.
127

Riemann pudo visualizar el significado fsico de esta generalizacin de la geometra euclidiana. Entre las geometras no euclidianas definidas a lo largo del siglo XIX, la riemanniana tuvo una enorme trascendencia en los conceptos de la fsica terica del siglo XX. Aos despus se desarroll el clculo tensorial, principalmente por los matemticos italianos Ostilio Ricci y Tullio Levi-Civita. La geometra riemanniana, as como es difcil de apreciar en trminos visuales, es bastante fcil de concebir como una posibilidad abstracta, es decir, como una simple progresin a partir de una lnea en el espacio unitario de la longitud, a un plano en el espacio bidimensional de anchura y longitud, a un slido en el espacio tridimensional de altura, anchura y profundidad, y de aqu a espacios de ms dimensiones por ejemplo, de altura, anchura, profundidad y tiempo. Riemann generaliz las propiedades de las curvas y superficies de forma tal que pudieran aplicarse a los espacios. Por ejemplo, referente a la propiedad geomtrica de la curvatura, sta se define como la proporcin en que vara una lnea. Una medida de esta proporcin es la medida del crculo oscilador en un punto; si el crculo que ms se acerca a la lnea curva en este punto es muy pequeo, entonces la curva se cierra poco a poco y se dice que tiene una curvatura pequea. La curvatura de una superficie se define casi de la misma forma que la curvatura de una lnea, excepto que sta no tiene por que ser la misma en todas direcciones. Gauss haba averiguado que la curvatura en un punto cualquiera de una superficie puede definirse tilmente como el producto de las curvaturas mayor y menor de todas las lneas que constituyen la superficie en dicho punto (curvatura gaussiana). As, una superficie de curvatura positiva es una que siempre da vueltas para encontrarse a s misma, como la cscara de un huevo, mientras que una superficie de curvatura negativa sera, por ejemplo, una silla de montar, en donde el producto de una curvatura positiva y una negativa resulta negativa. Gauss haba encontrado tambin que la curvatura de una superficie puede definirse no slo en trminos de una persona que mira a la superficie desde el exterior sino equivalente en trminos de mediciones realizadas dentro de la delgada superficie. Riemann ampli esta idea hasta dar una descripcin matemtica exacta de la curvatura del espacio. En el sistema cartesiano, las lneas de referencia son lneas rectas en un plano; en el globo terrestre, las lneas de referencia son las de
13.1 rea bajo una curva a travs de sumas superiores e inferiores

Partiremos de una idea intuitiva de lo que entendemos por rea y profundizaremos luego para llegar a una definicin apropiada de la integral (segn Riemann). Supongamos que f es una funcin continua en [ a, b] y tal que f ( x) 0 para todo x perteneciente al intervalo [a, b] . Deseamos determinar, en una forma razonable, la manera de asignar un valor al rea de la regin R limitada por las rectas x = a, x = b , el eje x y la curva y = f ( x) (figura 13.1).
Figura 13.1
Sea A el rea de la regin R. Lo que hacemos es aproximarnos a este valor mediante rectngulos cuyas reas se calculan fcilmente y usaremos luego un cierto tipo de paso al lmite para llegar al resultado deseado. Sea P = { x0 , x1 , x2 , , xn } una particin cualquiera de [a, b] . En cada uno de los subintervalos [ xi 1 , xi ] levantamos un rectngulo Ri cuya base es xi = xi xi 1 y su altura el valor mnimo de la funcin en [ xi 1 , xi ] , el cual existe ya que f es continua en [a, b] (figura 13.2).
Figura 13.2
128
Mdulo 13: Integral segn Riemann Si mi es el valor mnimo de f en [ xi 1 , xi ], entonces el rea de Ri es mi xi para todo
i = 1, 2,3, , n, y el rea de todos los rectngulos es:
latitud y longitud; en un huevo, pudieran ser crculos en una direccin y valos en otra perpendicular; en el reflector de un faro, pudieran ser crculos en una direccin y parbolas en otra perpendicular a sta. Riemann se dio cuenta de que toda superficie o espacio de su geometra superior poda trazarse por medio de distintas redes de curvas de referencia y hall que las ecuaciones escritas en trminos de un sistema de coordenadas a menudo podan ser ampliamente simplificadas al escribirse en trminos de un conjunto distinto de curvas de referencia. Uno de los ms prcticos conjuntos de curvas de referencia est formado por las llamadas geodsicas. Una geodsica es el camino de la distancia ms corta entre dos puntos: en un espacio plano es un segmento de lnea recta; en una esfera es un arco de un crculo mximo anlogo al que siguen los viajes areos intercontinentales; en una superficie irregular en forma de lmpara o en un espacio curvo, puede ser cualquier tipo de curva. Al manipular ecuaciones diferenciales elaboradas para minimizar las distancias, Riemann encontr que poda trazar redes geodsicas de lneas de referencia y seguir la curvatura de cualquier espacio desde tres dimensiones hasta n dimensiones. El prestigio y la calidad de sus trabajos, que llevaron a la posteridad a aplicar su nombre a innumerables teoremas matemticos, le valieron la obtencin de la ctedra de Gotinga en 1859. En 1860, en una memoria sobre la propagacin del sonido, Riemann present un mtodo, actualmente clsico, para la integracin de una clase de ecuaciones diferenciales de primer orden en derivadas parciales. Debe mencionarse tambin el xito que obtuvo de su exposicin rigurosa del concepto de integral definida (integral segn Riemann). Riemann trabaj hasta el da anterior a su muerte, la cual se produjo el 20 de julio de 1866, en Selasca, Italia, por tuberculosis adquirida pocos aos antes a causa de su dbil constitucin fsica. Su ltimo trabajo, que trataba sobre la teora de la transferencia del sonido desde un enfoque de principios hidrulicos, qued inconcluso. Figura 13.3
m1x1 + m2 x2 + + mn xn = mi xi .
i =1
En este caso, la suma de las reas de los rectngulos es menor o igual al rea de la regin R, o sea:
A mi xi .
i =1
Siguiendo un procedimiento similar al anterior, pero tomando como altura de cada rectngulo el valor mximo de la funcin en [ xi 1 , xi ], obtenemos que la suma de las reas de los rectngulos es mayor o igual que el rea de la regin R (figura 13. 3). Es decir,
A M i xi .
i =1
donde M i es el mximo de f en [ xi 1 , xi ] . De lo anterior podemos concluir entonces que
m x
i =1 i
A M i xi .
i =1
(1)
Ejemplo 1 Sea f ( x ) = x 2 definida en [0, 2] y P = { x0 , x1 , , xn } una particin regular de

[0, 2] . Si M i es el valor mximo de f en [ xi 1 , xi ] , i = 1, 2,3, , n y mi es el valor
129
Captulo 3: Integral definida mnimo de f en [ xi 1 , xi ] e i = 1, 2,3, , n, halle
M x
i =1 i
m x .
i =1 i i
Figura 13.4
Solucin Puesto que f ( x ) = x 2 es creciente en [0, 2] (figura 13.4), tambin lo es en cada subintervalo [ xi 1 , xi ] en los cuales P divide al intervalo [ a, b] , y por tanto:
M i = f ( xi ) = xi2 y mi = f ( xi 1 ) = xi21 .
Puesto que la particin es regular,
xi =
20 2 = , i = 1, 2,3, n y n n
x0 = 0, x1 =
2 2 , x2 = 2 , n n
, xn = 2,
2 2 xi 1 = (i 1) , xi = i , n n
entonces
n 2 n 2i 2 2 n M i xi = xi2 = ( xi2 ) = n i =1 n n n i =1 i =1 i =1 n 8 8 n(n + 1)(2n + 1) , = 3 i2 = 3 6 n i =1 n n 2
(F.12.1.2)
130
Mdulo 13: Integral segn Riemann de donde
M x
i =1 i
8n(n + 1)(2n + 1) . 6n 3
(1)
Ahora,
m x = x
i =1 i i
2 n 2 2 2 n 2 = xi 1 = (i 1) n i =1 n n n i =1 i =1 n 1 ( )(2 1) n n n ) 8 8 ( , = 3 (i 1) 2 = 3 . 6 n i =1 n
n 2 i 1
(F.12.1.2)
de donde
m x
i =1 i
8n(n 1)(2n 1) . 6n3
(2)
De (1) y (2), y teniendo en cuenta que el rea bajo la curva est entre estas dos sumas, tenemos que:
8n( n 1)(2n 1) 8n(n + 1)(2n + 1) A . 6n3 6n 3
Tomando lmites en los lados de esta desigualdad y teniendo en cuenta que A es un nmero fijo, obtenemos:
8n(n 1)(2n 1) 8n( n + 1)(2n + 1) A lim . 3 n 6n 6n 3 8 8 8 A , es decir, A = . 3 3 3
lim
Luego, por el teorema del snduche,
Encontramos una manera muy elegante de hallar el rea comprendida entre
x = 0, x = 2 e y = 0 (eje x) bajo la curva y = x 2 .

Observacin Si elegimos como altura del rectngulo Ri el valor que asume la funcin en un punto ti cualquiera del intervalo [ xi 1 , xi ] (figura 13.5), la suma de las reas de estos rectngulos es
f (t ) x .
i =1 i i
131
Figura 13.5
Tendremos en cuenta la discusin hecha hasta ahora para definir el rea bajo una curva, pero antes daremos algunas definiciones que nos llevan a precisar la definicin de la integral de Riemann y, con base en ella, definir el rea bajo una curva.
13.2 Sumas de Riemann

Definicin 1 Sea f una funcin definida en [ a, b] y tal que f ( x) M para todo x de [a, b] y cierto M real positivo (funcin acotada en [a, b] ); sea P = { x0 , x1 , , xn } una particin de [ a, b] y sean t1 , t2 , , tn puntos tales que xi 1 ti xi para cada
i = 1, 2, , n .
n
La expresin Ejemplo 2
f (t ) x
i =1 i
se llama suma de Riemann para f en [a, b] .
Sea f ( x) = c definida en [ a, b] . Halle una suma de Riemann para f ( x). Solucin Sea P = { x0 , x1 , , xn } una particin cualquiera de [a, b] . En consecuencia,
xi = xi xi 1 , f (ti ) = c, para todo i = 1, 2,3, , n .
Entonces,
f (t ) x = cx
i =1 i i i =1
= c xi = c (b a).
i =1
132
Mdulo 13: Integral segn Riemann Obsrvese que para la funcin constante f ( x) = c, todas las sumas de Riemann son iguales a c (b a) . Ejemplo 3 Sea f una funcin montona creciente en [a, b] y sea P = { x0 , x1 , , xn } una particin de [a, b] . Demuestre que f (a)(b a) f (ti ) xi f (b)(b a) .
i =1 n
Solucin Si ti est en [ xi 1 , xi ] , entonces por ser f creciente f (a ) f (ti ) f (b), y puesto que xi > 0, se concluye que
f (a ) xi f (ti ) xi f (b) xi .
(1)
Si en (1) efectuamos la suma variando i desde 1 hasta n, obtenemos:
f (a) x f (t ) x f (b) x .
i =1 i i =1 i i i =1 i
Luego
f (a) xi f (ti ) xi f (b) xi (puesto que f (a) y f (b) son consi =1 i =1 i =1
tantes) y simplificando obtenemos finalmente
f (a)(b a) f (ti ) xi f (b)(b a).

i =1
Definiremos ahora la integral definida de una funcin sobre un intervalo cerrado

[a, b] .
Definicin 2 Sea f una funcin definida en el intervalo [ a, b] . Se dice que f es integrable en [ a, b] (segn Riemann) si existe un nmero real L que satisface la siguiente propiedad:
Escuche el audio Nota histrica: Riemann en su multimedia de Elementos bsicos de clculo integral y series.
133
Para cada > 0 , existe un > 0 tal que
f (t ) x
i =1 i
L <
Vea la animacin Construccin de las sumas de Riemann en su multimedia de Elementos bsicos de clculo integral y series
para toda particin P de [a, b] para la cual || P || < y cualquiera que sea la eleccin de ti en [ xi 1 , xi ], i = 1, 2, , n . Cuando una funcin f satisface la definicin anterior, diremos que L es el valor de la integral definida de f entre a y b. Este hecho lo expresamos diciendo que
n lim f (ti ) xi = L. P 0 i =1
(1)
Denotemos a L como decir,
b a
f ( x) dx , llamada integral definida de f desde a hasta b. Es
b a
n f ( x) dx = lim f (ti ) xi . P 0 i =1
En la expresin
b a
f ( x) dx, a y b se llaman lmite inferior y lmite superior, respec-
tivamente, de la integral definida; f ( x) se llama integrando y dx indica que x es la variable independiente que toma valores desde a hasta b. Observaciones i. Si existen dos nmeros L1 y L2 que satisfacen la definicin 2, entonces
L1 = L2 ; es decir, el valor de la integral definida cuando existe, es nico.
ii.
La definicin 2 nos dice tambin que podemos hacer la suma de Riemann tan cerca al nmero L como se quiera, siempre y cuando la norma de la particin sea menor que . La nocin de lmite dada aqu es diferente a la nocin de lmite dada en el mdulo 2 del texto Elementos bsicos de clculo diferencial para funciones presentada para funciones de variable real, ya que en el caso aqu considerado se trata de la suma
iii.
f (t ) x
i =1 i
en la cual varan xi y ti , que es cual-
quier punto de [ xi 1 , xi ] . iv. En la notacin para la integral definida las variables que aparecen son variables mudas. Es decir, se puede cambiar x por y o z o por cualquier otra variable.
134
As,
b a
f ( x) dx ,
b a
f ( y ) dy ,
b a
Mdulo 13: Integral segn Riemann
f ( z ) dz significarn la misma integral y
representan el mismo nmero real L. Ejemplo 4 Sea f ( x) = C , con x en el intervalo [ a, b] (figura 13.6). Analice si f es integrable en [a, b] .
Figura 13.6
Solucin Sea P = { x0 , x1 , , xn } una particin de [a, b] y sea ti un punto cualquiera de

[ xi 1 , xi ] con i = 1, 2, , n (figura 13.6).
Consideremos la siguiente suma de Riemann: Puesto que f (ti ) = C para todo ti , entonces:
f (t ) x .
i =1 i i
(1)
f (t ) x = C x
i =1 i i i =1
= C xi = C (b a).
i =1
O sea que para cualquier particin la suma de Riemann dada en (1) es una constante y, por tanto,
lim f (ti ) xi = C (b a).

P 0 i =1
Luego f ( x) = C es integrable en [ a, b] y adems
b a
f ( x) dx = C (b a) .
135
Captulo 3: Integral definida Ejemplo 5

0 si x 1 Sea f ( x) = 1 si x = 1
Analice si f es integrable en [2,3] . Solucin Sea P = { x0 , x1 , , xn } una particin de [2,3] y sea [ xi 1 , xi ] un subintervalo cualquiera de [2,3] y ti un punto de [ xi 1 , xi ] con i = 1, 2, , n (figura 13.7). Consideremos la siguiente suma de Riemann:
f (t ) x
i =1 i
Figura 13.7
Veamos dos casos: a. Si ninguno de los ti es igual a 1, entonces f (ti ) = 0 y por tanto
f (t ) x
i =1 i
= 0 y lim f (ti ) xi = 0 .
P 0 i =1
Es decir, dado > 0, existe > 0 tal que cualquier particin P con || P ||< .
f (t ) x 0 < para
i =1 i i
(1)
b.
Si alguno de los ti es igual a 1, por ejemplo t j = 1, 1 j n , entonces

f (t j ) = 1 , y como los dems ti son diferentes de 1, se tiene que para
stos ti f (ti ) = 0. Por tanto,
f (t ) x
i =0 i
= f (t1 )x1 + f (t2 )x2 + + f (t j )x j + f (t j +1 )x j +1 + + f (tn )xn = 0x1 + 0x2 + + 1x j + 0x j +1 + + 0xn .
136
Mdulo 13: Integral segn Riemann
f (t ) x
i =1 i
= x j .
Puesto que x j || P || , se tiene que
f (t ) x
i =1 i
|| P || .
Es decir, dado > 0, elijamos la particin P de [a, b] tal que || P || < , luego tomando = se verifica que para cada > 0 existe un > 0 tal que
f (t ) x
i =1 i
0 < para toda particin P de [2,3] con || P ||< .
(2)
De (1) y (2) se concluye que f es integrable en [2,3] y adems L = 0. Es decir,
f ( x) dx = 0.
Observaciones i. El ejemplo anterior presenta una funcin igual a cero en todos los puntos de [2,3] excepto en x = 1, es decir, una funcin discontinua en x = 1. Se puede demostrar que si f ( x) = 0 salvo en un nmero finito de puntos de [a, b] , entonces f es integrable en [a, b] y adems ii .
b a
f ( x) dx = 0.
Cuando la funcin es continua y no negativa tomaremos los ti [ xi 1 , xi ] de tal forma que f (ti ) coincida con el mximo absoluto M i o con el mnimo absoluto mi de la funcin en el i-simo subintervalo [ xi 1 , xi ] . Adems, para simplificar los clculos asumiremos que las particiones son regulares y as escribiremos:
b a
n f ( x ) dx = lim f (ti ) xi P 0 i =1
n = lim M i xi n + i =1
n = lim mi xi . n + i =1
Teniendo en cuenta adems que:

mk = f ( xk 1 ) Si f es creciente en [a, b] , M = f ( x ) k k (rectngulos inscritos) (rectngulos circunscritos)
137
mk = f ( xk ) (rectngulos inscritos) Si f es decreciente en [ a, b] , M = f ( x ) (rectngulos circunscritos) k 1 k
Ejemplo 6 Use la definicin de la integral definida (segn Riemann) para calcular haciendo una particin regular y tomando rectngulos circunscritos. Solucin En este caso f ( x) = x, y consideremos la particin regular P = { x0 , x1 , x2 ,..., xn } para la cual:
x1 = x2 = = xn = ba , n
b a
x dx,
x0 = a, x1 = a +
xi 1 = a + (i 1)
ba ba , x2 = a + 2 , n n
ba ba , xi = a + i , n n , xn = b.
En la figura 13.8 aparece la grfica de f ( x) = x, la particin P de [ a, b] y el elemento representativo de rea.
Figura 13.8
Tambin,
M i = f ( xi ) = xi = a + i
ba (tomando rectngulos circunscritos). n
138
Mdulo 13: Integral segn Riemann As que:
b a
n x dx = lim M i xi n + i =1 ba ba = lim a + i n + n n i =1 = lim ba ba a+i n + n i =1 n
= lim
ba n ba n + a i (propiedad i, teorema 1, seccin 12.1) n + n n i =1 i =1
= lim
n +
ba (b a ) n(n + 1) na + (propiedades ii, iii y F.12.1.1, n n 2

seccin 12.1)
(b a ) b a = . 2 2 2
2 2 2
= a (b a ) +
De esta forma,
b a
x dx =
b2 a2 . 2 2
Razonamientos similares al anterior nos permiten deducir que
b a
x 2 dx =
b3 a 3 . 3 3
Los clculos de
b a
x dx y
b a
x 2 dx hacen pensar que el clculo con integrales
definidas es generalmente difcil. De hecho, las integrales definidas de la mayor parte de las funciones es imposible determinarlas con exactitud; sin embargo, como vimos en el captulo 2, la integral de muchas funciones puede calcularse fcilmente. Este hecho, conjuntamente con el segundo teorema fundamental del clculo que presentaremos en el mdulo 16, nos facilitarn las cosas para calcular la integral definida de un gran nmero de funciones.
139
140
Propiedades de la integral definida

14.1 lgebra de funciones integrables 14.2 Relacin entre la integral y la continuidad de una funcin de variable real
14
Objetivos del mdulo

1. Destacar la relacin existente entre continuidad e integrabilidad mediante un teorema que proporciona una gran familia de funciones integrables. 2. Enunciar y analizar las propiedades ms importantes de la integral definida.
Thomas Simpson Thomas Simpson, matemtico ingls nacido en Market Bosworth en 1710 y fallecido en la misma ciudad en 1761, es conocido principalmente por su trabajo en interpolacin y mtodos numricos de integracin (regla de Simpson) y por haber ideado un mtodo para calcular, por aproximacin, una integral definida. Tambin trabaj la teora de la probabilidad y en 1740 public Naturaleza y leyes de probabilidad. Parte de su investigacin en esta rea se bas en las ideas del matemtico francs y pionero de la teora de la probabilidad y la trigonometra, Abraham de Moivre. Trabaj, igualmente, en la teora de errores y prob que la media aritmtica era ms importante que una simple observacin. La justificacin de esta afirmacin apareci en su memoria de 1757 titulada Un intento de mostrar la ventaja de tomar la media de varias observaciones en astronoma prctica. En esta ciencia tambin abord otros problemas, tales como la precesin de los equinoccios, que dej plasmados en su obra Folletos miscelneos. Sus dos volmenes de Doctrina y aplicacin de las fluxiones son considerados por muchos como el mejor trabajo sobre la versin del clculo de Newton que fue publicada en el siglo XVIII.
Preguntas bsicas
1. Si a < b < c < d, y f es integrable sobre [a, d], demuestre que f es integrable sobre [b, c]. 2. Si f y g son integrables en [a, b], y f ( x) g ( x) para todo x de [a, b], entonces
b a
f ( x) dx g ( x) dx.
a
Introduccin
Aunque la mayor parte de las integrales definidas no pueden ser calculadas exactamente, es importante por lo menos saber cundo una funcin es integrable sobre [a, b], y sta es la informacin ms importante que proporciona el teorema 2 de este mdulo. Igualmente, en el teorema 1 se presentan otras propiedades importantes de las funciones integrables y de esta forma se simplifican resultados que son difciles de demostrar recurriendo directamente a la definicin de integral definida.
141
14.1 lgebra de funciones integrables

Antes de enunciar e ilustrar el teorema que recoge las propiedades ms importantes de la integral definida se da la siguiente definicin. Definicin
Si f es integrable en [a, b], entonces definimos: i. ii.
a a b a
f ( x) dx = 0. f ( x) dx = f ( x) dx .
b a
Teorema 1: Propiedades de la integral definida Sean f y g dos funciones integrables en [a, b], k una constante real y a < c < b . Entonces: i. kf es integrable en [a, b] y
b a
kf ( x) dx = k f ( x) dx.
a
b b b
ii. iii. iv. v.
( f + g) es integrable en [a, b] y a [ f ( x) + g ( x)] dx = a f ( x) dx + a g ( x) dx. Si f ( x) 0 para todos x de [a, b], entonces f es integrable en [a, c] y en [c, b] y
b a
f ( x) dx 0.
c d
b a
f ( x) dx = f ( x) dx + f ( x) dx.
a c
Sean f y g dos funciones definidas en [a, b]. Si f es integrable en [a, b] y

g ( x) = f ( x) para todo x de (a, b), entonces
b a
g ( x) dx = f ( x) dx.
a
Demostracin La demostracin de las partes i, ii e iii pueden hacerse usando la definicin de funcin integrable presentada en el mdulo 13, pero considero que no tiene mucho inters demostrarlas en un primer curso de clculo integral. iv. Para este numeral slo hacemos una interpretacin geomtrica. Como se ilustra en la figura 14.1, el rea de la regin sombreada se puede descomponer en dos regiones de tal manera que el rea de la regin entre a y b sea igual a la suma de las reas entre a y c y entre c y b.
142
Mdulo 14: Propiedades de la integral definida
Figura 14.1
v.
Sea c un punto en (a, b), y puesto que f es integrable en [a, b], entonces f es integrable en [a, c] y en [c, b] (propiedad iv). Veamos que
c a
g ( x) dx = f ( x) dx y a
b c
g ( x) dx = f ( x) dx .
c
Sea h( x) = g ( x) f ( x) para todo x de [a, c]. Puesto que f y g difieren

0 si x a slo en el punto x = a, entonces podemos escribir h( x) = k si x = a
Y teniendo en cuenta el ejemplo 4 del mdulo 13, h as definida es integrable en [a, c] y adems
c a
h( x) dx = 0; entonces, por la propiedad ii, h( x) + f ( x)
es integrable y por tanto g(x) es integrable en [a, c] ya que
h( x ) + f ( x ) = ( g ( x ) f ( x ) ) + f ( x ) = g ( x )
y adems
[ h( x) + f ( x)] dx =
c a
c a
h( x) dx + f ( x) dx
a c c a a
= 0 + f ( x) dx = g ( x) dx.
El caso entre c y b es similar (figura 14.2)
Figura 14.2
143
Captulo 3: Integral definida Observaciones i. La propiedad ii del teorema 1 se puede generalizar as:
[ f ( x) + f
b a 1
( x) + + f n ( x) ] dx = f1 ( x) dx + f 2 ( x) dx +
b b a a
+ f n ( x) dx.
a
ii.
En la propiedad iv del teorema si a < c1 < c2 < < cn < b, entonces
iii.
b a
f ( x) dx =
c1 a
f ( x) dx +
c2 c1
f ( x) dx + + f ( x) dx.
cn
Teniendo en cuenta la definicin dada al principio se puede concluir que
b a
f ( x) dx = f ( x) dx + f ( x) dx
a c
para toda terna a, b, c de nmeros reales que pertenezcan al intervalo donde la funcin es integrable. iv. De la propiedad iii del teorema podemos deducir las siguientes propiedades adicionales: a. Si f y g son integrables en [a, b] y f ( x) g ( x) para todo x de [a, b], entonces
b.
b a
f ( x) dx g ( x) dx.
a
Si f es integrable y m1 f ( x) M 1 para todo x de [a, b], entonces
m1 (b a) f ( x) dx M1 (b a).
a
Ejemplo 1
Sean f y g dos funciones tales que
Calcule
4 1
f ( x) dx = 3,
7 4
f ( x) dx = 2 y
7 1
g ( x) dx = 6.
[5 f ( x) + g ( x)] dx.
1 7
Solucin
[5 f ( x) + g ( x)] dx =
1 7
1 7
5 f ( x) dx + g ( x) dx
7
(teorema 1, parte ii)
144
= 5 f ( x) dx + g ( x) dx = 5 f ( x) dx + g ( x) dx
1 1
)(
(teorema 1, parte i)
(definicin 14.1, parte ii)
= 5
4 1
f ( x) dx + f ( x) dx + (6) (teorema 1, parte iv)

4
= 5(3 2) 6 = 11.
Ejemplo 2 Calcule 2 x 3 dx. Solucin Note en primer lugar que ninguna de las propiedades establecidas hasta ahora permite evaluar directamente la integral; sin embargo, de acuerdo con la definicin de valor absoluto podemos escribir:
x 3 si x 3 x3 = 3 x si x < 3
5
(1)
La grfica de la funcin f ( x) = x 3 en el intervalo [2, 5] aparece en la figura 14.3.
Figura 14.3
De otro lado,
x 3 dx = x 3 dx + x 3 dx
2
3
(teorema 1, parte iv) (reemplazando (1))
= (3 x) dx + ( x 3) dx
2 3
145
= 3 dx x dx + x dx 3 dx
2 2 3 3
(teorema 1 partes i y ii)
32 (2) 2 = 3(3 (2)) 2 2 29 . 2
52 32 + 3(5 3) (ejemplos 4 2 2
y 6 de la seccin 13.2)
=
Ejemplo 3 Sea f ( x) =
1 definida en [1, 2]. Encuentre m y M tales que x
2 1
m(2 1)
1 dx M (2 1). x
Solucin La funcin f ( x) =
1 es decreciente para todo x > 0 ya que su derivada es negativa; x
por tanto, en el intervalo [1, 2] el mximo absoluto es f (1) = 1 y el mnimo absoluto es f (2) = 1/ 2 . Entonces se puede tomar como m cualquier nmero menor o igual a 1/2 y como M cualquier nmero mayor o igual que 1.
14.2 Relacin entre la integral y la continuidad de una funcin de variable real

A continuacin enunciamos un teorema que nos proporciona una gran familia de funciones integrables, pero no lo demostraremos porque se sale del alcance de este libro. Teorema 2 Si f es continua en [a, b], entonces f es integrable en [a, b]. Obsrvese que el recproco de este teorema no siempre se cumple (vea el ejemplo 4, mdulo13). No obstante que el teorema anterior nos garantiza la integrabilidad de un gran nmero de funciones, el teorema no proporciona la manera de hallar el valor de la integral. Ms adelante presentaremos el teorema fundamental del clculo que nos permitir hallar el valor exacto de la integral sin recurrir a la definicin. Ejemplo 4 Sabiendo que
5
2 0
3x 2 dx = 8 y
( 2 x + 1) dx = 24 , halle
5 2
3x 2 si x [0, 2] h( x ) = h ( x ) dx si 0 2 x + 1 si x [2,5]
(figura 14.4)
146
Figura 14.4
Solucin Sea f ( x) = 2 x + 1 con x en [2, 5]. Ya que h (x) en el intervalo [2, 5] difiere de f en el punto x = 2, y puesto que que:
5 2
f ( x) dx = 24 , entonces por la propiedad v se tiene
Adems,
5 2
h( x) dx = (2 x + 1) dx = 24.
2 2 0
h( x) dx = 8 .
Luego empleando la propiedad iv tenemos que:
5 0
h( x) dx = h( x) dx + h( x) dx = 8 + 24 = 32.
0 2
Ntese que h es integrable [0,5]; sin embargo, no es continua all.
147
148
Teorema del valor medio (TVM) para integrales

15.1 Teorema del valor intermedio 15.2 Teorema del valor medio (TVM) para integrales
15
Eudoxio de Cnido El matemtico astrnomo, mdico, gegrafo y retrico griego Eudoxio de Cnido naci en el ao 408 a.C. y muri en el 355. Alumno del gran filsofo Platn, fue el inventor del mtodo de la exhaucin , consistente en calcular las reas planas delimitadas por curvas agotando el espacio disponible por medio de reas ms sencillas de calcular cada vez ms pequeas, que es precisamente lo que ocurre en el clculo integral, por lo que podramos decir que Eudoxio fue el precursor de esta rama de la matemtica. Sin embargo, su mtodo era muy tosco. Quien verdaderamente us adecuadamente y perfeccion dicho mtodo fue Arqumedes y con l calcul el rea de la parbola y el crculo, adems de elipses (obtuvo la frmula para medir el rea de esta cnica), sectores parablicos y sectores de espiral. Se cree que el primer teorema demostrado por Eudoxio desde este punto de vista sea la proporcionalidad entre dos crculos y los cuadrados construidos sobre sus dimetros. A Eudoxio se debe tambin uno de los primeros sistemas geocntricos, adoptado y ampliado despus por Aristteles (384322 a.C.). En el sistema de Eudoxio, llamado tambin de las esferas homocntricas (es decir, con un centro comn), el planeta Tierra estaba en el centro del universo y los siete cuerpos celestes conocidos en aquella poca estaban fijados a siete grupos de esferas de dimensiones crecientes. El primer grupo, formado por tres esferas, perteneca a la Luna; el segundo, formado por otras tres esferas, al Sol; los otros planetas conocidos en ese entonces (Mercurio, Venus, Marte, Jpiter y Saturno) ocupaban cada uno un grupo de cuatro esferas. Cada cuerpo celeste se crea que estaba fijado a la esfera ms interna del propio grupo y las esferas de cada grupo estaban conectadas entre s mediante un sistema de ejes polares desfasados. Todo este complicado meca-
Objetivos del mdulo

1. Conocer los dos teoremas bsicos para la demostracin de los teoremas fundamentales del clculo, del prximo mdulo. 2. Relacionar el rea bajo una curva con el rea de un rectngulo.
Preguntas bsicas
La temperatura de un caldo que se saca del refrigerador (a 5 C) y se pone al fuego durante 10 minutos, puede modelarse mediante la funcin
1 f (t ) = 5 + t (t + 1), 2 siendo f(t) la temperatura a los t minutos de haberse puesto al fuego.
1. Calcule la temperatura promedio que tuvo el caldo durante los 10 minutos en que se calent. 2. A qu temperatura lleg a los 10 minutos? 3. En qu instante de los 10 minutos de calentamiento tuvo el caldo la temperatura promedio?
Introduccin
A pesar de que los dos teoremas bsicos de este mdulo tienen mltiples aplicaciones en la vida diaria, nuestro inters est centrado en el uso que se har de ellos en la demostracin del primer teorema fundamental del clculo que presentaremos con todo detalle en el mdulo 16, el cual, conjuntamente con las tcnicas de integracin del captulo 2, nos permitir determinar el valor de muchas integrales definidas y que son el soporte bsico para las aplicaciones que esperamos desarrollar en el captulo 4.
149

nismo era necesario para justificar los movimientos aparentes de los planetas que, como se sabe, parecan tener segn los periodos del ao movimiento directo, retrgrado o estacionario. Indudablemente la obra de Eudoxio es una muestra de la madurez terica y el rigor lgico alcanzado por la geometra en su poca, que cre las condiciones previas para lo que sera la poca de mayor esplendor de la matemtica griega.
15.1 Teorema del valor intermedio

Antes de demostrar el teorema bsico de este mdulo enunciaremos sin demostrar una propiedad muy importante que tienen las funciones continuas en un intervalo cerrado.
Teorema 1: Teorema del valor intermedio Sea f una funcin continua en [a, b]. Si f (a) f (b), entonces para cualquier nmero r entre f ( a ) y f (b) existe al menos un nmero c entre a y b tal que
f (c ) = r .
Como la demostracin de este teorema requiere algunos conocimientos ms avanzados, no la incluiremos en este libro. Presentaremos sin embargo la interpretacin geomtrica.
En la figura 15.1, f (a) < f (b) y f (a) r f (b). El punto (0, r ) es un punto cualquiera entre (0, f (a )) y (0, f (b)). El teorema establece que la recta y = r corta la curva de f ( x) al menos en un punto
(c, r ). La hiptesis de continuidad en un intervalo cerrado es esencial ya que si f es
discontinua en [a, b] no siempre existe c tal que f (c) = r , como lo ilustra el siguiente ejemplo.
Figura 15.1
Sea
2 x + 1 f ( x) = x
si x 1 si x < 1
en el intervalo [2, 2].
150
Mdulo 15: Teorema del valor medio (TVM) para integrales
Figura 15.2
Esta funcin es discontinua en x = 1 . Ahora, si r es cualquier nmero entre 1 y 3, no existe ningn c en [2, 2] tal que
f (c) = r . Es decir, la recta y = r no corta la curva en ningn punto (figura 15.2).
15.2 Teorema del valor medio (TVM) para integrales

Si f es continua en [a, b], entonces existe al menos un c tal que a c b y tal que:
b a
f ( x ) dx = f (c)(b a ) f (c) =
b 1 f ( x) dx . ba a
Al valor f (c) se le conoce como valor medio de la funcin en [a, b].
Geomtricamente, cuando la funcin es no negativa, se puede interpretar el teorema de la manera siguiente: el valor de la integral entre a y b es igual al rea del rectngulo cuya base es (b a) y su altura es f (c) (figura 15.3).
151

Un factor que desempea un gran papel en el desarrollo de la matemtica es la solucin de problemas que durante siglos desafiaron la capacidad de las mejores mentes. Un ejemplo de lo anterior es el famoso quinto postulado que con clarividencia no trat de demostrar Euclides y que durante 22 siglos mantuvo ocupados a muchos matemticos hasta que se crearon las geometras no euclidianas. A continuacin se presentarn algunos de esos problemas. Los tres problemas clsicos de la matemtica griega Para el filsofo Platn los entes geomtricos ideales eran la recta y la circunferencia. Por lo anterior, la geometra habra que limitarla a las construcciones con regla y comps (con la aclaracin de que la regla slo se utiliza para trazar rectas y por tanto no es metrizada). Problemas de esta clase se resolvieron despus utilizando otros instrumentos y permitieron encontrar respuestas adecuadas a los tres problemas clsicos de la matemtica griega: la duplicacin del cubo, la triseccin del ngulo y la cuadratura del crculo. Comentmoslos brevemente: 1. Duplicacin del cubo . Se trata de resolver el siguiente problema: construir, utilizando solamente regla y comps, la arista de un cubo que duplique el volumen de un cubo conocido. El problema de la duplicacin del cubo se caracteriza por la ecuacin
Figura 15.3
Demostracin i. ii. Si f es constante, el teorema se cumple trivialmente. Si f no es constante, como f es continua en el intervalo cerrado, entonces f alcanza un mximo absoluto y un mnimo absoluta en [a, b]. Sea f (c1 ) = M el mximo absoluto y f (c2 ) = m el mnimo absoluto de f en [a, b]. Entonces, m f ( x) M , y por la observacin iv (parte b) del teorema 1 del mdulo 14, tenemos que
m(b a) f ( x) dx M (b a).
a
(1)
De donde
b a
f ( x) dx ba
M.
x = 2a , en donde a es la arista del cubo conocido y x es la arista que tendr el cubo de volumen doble.
3 3
Como f es continua en [a, b], entonces por el teorema del valor intermedio (seccin 15.1) f toma todos sus valores entre m y M. Por tanto,
Un simple anlisis de construccin con regla y comps revela, empleando algunas nociones de geometra analtica, que los segmentos construidos a partir de otros segmentos dados son expresables por races cuadradas y al iterar esas construcciones aparecen nuevamente slo races cuadradas y nunca de otro ndice.
b a
f ( x) dx
ba corresponde a uno de dichos valores funcionales. Es decir, existe c en [a, b] tal que
f (c ) =
de donde
b a
f ( x) dx ba
152
b a
f ( x) dx = f (c)(b a).
Mdulo 15: Teorema del valor medio (TVM) para integrales Ejemplo 1 Sea f ( x ) = x 2 definida en [0, 1]. Encuentre el valor de c que satisface las condiciones del TVM para integrales. Solucin Como f ( x ) = x 2 es continua en [0, 1], entonces de acuerdo con el TVM para integrales existe por lo menos un c [0,1] tal que:
Ahora, en el problema de la duplicacin del cubo, el elemento de solucin no es expresable por races cuadradas de las que pueden construirse con regla y comps, ya que como x = 2a , entonces x = 3 2 a,
3 3
y 3 2 no puede construirse slo con estos dos instrumentos. 2. Triseccin del ngulo. El problema se enuncia del siguiente modo: divida un ngulo dado en tres ngulos parciales iguales, usando slo regla y comps. Se puede demostrar que el problema anterior equivale a hallar un x tal que x 3 3 x 1 = 0; pero el x hallado slo es expresable como una raz cbica que no es construible con tales instrumentos. 3. Cuadratura del crculo. El problema de la cuadratura del crculo es an ms profundo, ya que implica una irracionalidad de naturaleza enteramente diferente a las de las anteriores.
1 0
x 2 dx = f (c)(1 0) f (c) = x 2 dx .
0
En primer lugar, se sabe que
1 0
x 2 dx =
1 . As que: 3
f (c ) =
1 1 =3= , 1 0 1 3
1
x 2 dx
2 y como f (c) = c2 , se tiene c =
1 1 , de donde c = . 3 3
El problema se enuncia as: determine, utilizando solamente regla y comps, el lado de un cuadrado de rea equivalente al rea de un crculo de radio dado. La solucin del problema de la cuadratura conduce a la ecuacin que tiene como variable la medida del lado del cuadrado de rea equivalente al rea del crculo de radio unidad. Esta ecuacin es x 2 = , en la cual el coeficiente del trmino independiente no es algebraico y por tanto no puede ser raz de una ecuacin algebraica con coeficientes racionales.
Ejemplo 2 Verifique la validez del TVM para integrales, con la funcin f ( x) = 4 x 2 en el intervalo [0, 2]. Solucin
Figura 15.4
La grfica de la funcin f ( x ) = 4 x 2 en el intervalo [0, 2] determina la porcin del crculo x 2 + y 2 = 4 en el primer cuadrante (figura 15.4), y cuya rea es . De Elementos bsicos de clculo integral y series
153
Captulo 3: Integral definida esta forma,
2 0
f ( x) dx =
2 0
4 x 2 dx = .
Ahora, como f ( x ) = 4 x 2 es continua en el intervalo [0, 2], el TVM para integrales garantiza la existencia de por lo menos un c [0, 2] tal que:
f (c ) =
2 0
4 x 2 dx 20
Es decir,
c=
4 c2 =
, y resolviendo para c se obtiene:
16 2 [0, 2] . 2
Cmo interpreta geomtricamente el resultado?
154
Los teoremas fundamentales del clculo

16.1 Primer teorema fundamental del clculo: derivada de una integral 16.2 Segundo teorema fundamental del clculo 16.3 Algunas propiedades que ayudan a simplificar los clculos en algunas integrales
Galileo Galilei El famoso astrnomo Galileo Galilei naci el 15 de febrero de 1564 en Pisa y falleci el 8 de enero de 1642 en Arcetri (cerca de Florencia). Tena 79 aos de edad y su cabello y su barba eran tan blancos como la espuma. Sus ojos, que miraron al cielo a travs de sus telescopios y observaron ms que cualquier ser humano desde el principio de los tiempos, estaban apagados por la edad. Su reputacin de ser uno de los ms brillantes cientficos de su tiempo fue la razn de que reyes y reinas disputaran sus servicios. Ahora estaba arrodillado ante el temido tribunal de la Inquisicin, obligado a confesar pblicamente un error que no era error: Yo, Galileo Galilei..., abandono la falsa opinin... de que el Sol es el centro (del universo) y est inmvil... Abjuro, maldigo y detesto los dichos errores. Algunos dicen que cuando el anciano se puso de pie murmur para sus adentros: E pur si mueve [Y sin embargo (la Tierra) se mueve (alrededor del Sol)]. Galileo naci en una familia de siete hijos, con un padre que era un talentoso msico y un hombre de considerable cultura. A temprana edad, Galileo prometa mucho tanto mental como manualmente. Tena diecisiete aos cuando ingres a la Universidad de Pisa, donde se especializ en medicina y estudi tambin matemticas y ciencias fsicas. Una vez, cuando todava estudiaba en Pisa, observ la regularidad con que oscilaba una lmpara en la catedral. Apenas pudo esperar hasta que volvi a su casa para experimentar con bolitas de plomo atadas a hilos de diferentes longitudes. Descubri que, cualquiera que fuese la magnitud de la oscilacin o el peso del plomo, la bolita necesitaba el mismo tiempo para completar un viaje de ida y vuelta. Slo el cambio de la
16
Objetivos del mdulo

1. Enunciar y demostrar los dos teoremas fundamentales del clculo. 2. Establecer la relacin entre derivacin y primitivacin.
Preguntas bsicas
La funcin logaritmo natural de x, denotada por ln x, se define como ln x = x > 0.
B1 1 dt = dt. 1 t A t 2. Use la definicin dada de ln x y la parte 1 para deducir las propiedades de los logaritmos.
x 1
1 dt , t
1. Dados A y B nmeros reales positivos, pruebe que
A B
Introduccin
Hasta ahora slo hemos encontrado el valor de pocas integrales definidas. Sabemos de muchas funciones que son integrables, como las funciones continuas, pero no hemos encontrado su valor; adems, no hemos utilizado los poderosos instrumentos desarrollados anteriormente, como son las tcnicas de integracin. Mostraremos ahora que las operaciones de derivacin y de integracin estn ntimamente relacionadas mediante un teorema que muestra cmo la derivada deshace la accin de la integral de una funcin f (t). Posteriormente se presenta el tan esperado segundo teorema fundamental del clculo para poder completar as los fundamentos tericos del clculo integral, cuyas herramientas bsicas emplearemos en el prximo captulo de las aplicaciones.
155

longitud afectaba el tiempo de la oscilacin (periodo de vibracin). Esta observacin condujo al invento del pndulo, usado en los relojes y otros instrumentos para medir con precisin el tiempo. Ley las obras de Arqumedes y us las matemticas para probar algunos de los experimentos de este ltimo con lquidos y aleaciones. Cre el concepto de la aceleracin que se usa en la fsica moderna y el concepto moderno de la friccin y la inercia con respecto a los objetos en movimiento. Analiz los componentes de la fuerza, demostrando, por ejemplo, que las fuerzas que afectan a la trayectoria de una bala son hacia abajo y hacia adelante, de tal manera que pueden medirse sistemticamente. Estos experimentos, iniciados antes de 1590, fueron perfeccionados y publicados en 1638 en su obra Dilogos sobre dos nuevas ciencias (movimiento y mecnica). La obra de Galileo, que inici la comprensin de estas ciencias, llev a la formulacin de las leyes de movimiento de Newton, ms precisas, y al perfeccionamiento que de esas leyes hicieron ms tarde otros cientficos. Estableci un taller para fabricar instrumentos como brjulas magnticas, termmetros y telescopios. Tambin lleg a ser un experto en la construccin de fortificaciones militares. A principios del siglo XVII escuch que un ptico holands haba logrado unir una lente cncava y otra convexa, de tal manera que haca que los objetos distantes parecieran ms cercanos. Usando esa idea construy un telescopio que ampliaba los objetos treinta veces, y en 1609 dio una demostracin pblica de su uso. Cuando Galileo volvi su telescopio hacia el cielo, por la noche, abri nuevos campos de conocimiento que describi en su libro Mensajero de las estrellas. En l dice: Doy gracias a Dios, que ha tenido a bien hacerme el primero en observar las maravillas ocultas a los siglos pasados. Me he cerciorado de que la Luna es un cuerpo semejante a la Tierra... He contemplado una multitud de estrellas fijas que nunca antes se observaron... Pero la mayor maravilla de todas ellas es el descubrimiento de cuatro nuevos planetas (cuatro satlites de Jpiter). He observado que se mueven alrededor del Sol. Descubri que la Va Lctea consista en una mirada de estrellas; que el Universo no era fijo ni inmutable, como crean sus contemporneos, pues aparecan ante su vista nuevas estrellas que luego desaparecan; y que los planetas Venus y Mercurio se movan tambin alrededor del Sol y que el Sol mismo giraba sobre su eje. Su libro Dilogo sobre los dos principales sistemas del mundo es una brillante stira que
16.1 Primer teorema fundamental del clculo: derivada de una integral

Antes de mostrar dicha relacin estudiaremos algunos resultados previos. Sea f una funcin integrable en el intervalo [a, b]. Por la propiedad iv del teorema 1 del mdulo 14, f es tambin integrable sobre el intervalo [a, x] con a x b, y puesto que para cada x de [a, b] el valor de la integral podemos definir la siguiente funcin:
x a
f (t ) dt es nico, entonces
F ( x) = f (t ) dt con x en [a, b].

a
Segn vimos antes, si f ( x) 0 en [a, b], entonces la funcin F ( x) definida anteriormente representa geomtricamente el rea de la regin comprendida entre a y x y bajo la curva de la funcin f (figura 16.1). Obsrvese que
F (a) = f (t ) dt = 0 y F (b) = f (t ) dt. a a

b
Figura 16.1
Teorema 1 Si f es integrable en [a, b] y F est definida por
F ( x) = f (t ) dt , con x en [a, b], entonces F es continua en [a, b].

a
Demostracin Sea C un punto cualquiera de (a, b) y h tal que a C + h b. Demostraremos que F es continua en C, es decir, demostraremos que lim F (C + h) = F (C ).
h0
156
Mdulo 16: Los teoremas fundamentales del clculo Por la definicin de F se tiene que
demostraba por medio del dilogo las fallas del sistema geocntrico tolomeico en comparacin con el sistema heliocntrico copernicano. El trabajo experimental y terico de Galileo sobre el movimiento de los cuerpos, junto con los trabajos de Kepler y Ren Descartes, fue el inicio de la mecnica clsica desarrollada por Sir Isaac Newton. Galileo fue el pionero, al menos en la tradicin europea, en desarrollar experimentos rigurosos insistiendo en la descripcin matemtica de las leyes de la naturaleza. Entre sus aportes fundamentales estn la transformacin de Galileo entre sistemas de referencia inerciales y el desarrollo del concepto de inercia. Uno de los mitos ms famosos sobre Galileo es aquel en que tira objetos de diferentes masas desde lo alto de la Torre de Pisa, con el fin de demostrar que la velocidad de descenso era independiente de la masa. Esto contradeca el pensamiento de Aristteles de que los objetos pesados caern ms rpido que los ligeros, en forma directamente proporcional a su peso. La historia de la torre aparece en una biografa de uno de sus alumnos, Vicenzo Viviani, pero es considerada falsa. En realidad Galileo nunca realiz, que se sepa, este experimento de esta forma y de haberlo hecho su resultado sera el opuesto, como l saba. La fuerza de resistencia del aire depende no slo de la forma del objeto sino indirectamente tambin en parte de su masa, de donde se origin la idea aristotlica. Sin embargo, Galileo realiz experimentos que implicaban el deslizamiento de objetos sobre planos inclinados, para hacer ms lenta la cada, reduciendo los efectos de la resistencia del aire que dependen de la velocidad, aislando as la accin de la gravedad y probando que la cada o deslizamiento libres son acelerados independientemente de la masa. Sobre los aos 1606-1607 (posiblemente antes), Galileo construy un termmetro usando la expansin y contraccin del aire en un recipiente de cristal para mover el agua de un tubo adjunto. Y en 1609 estuvo entre los primeros en usar el telescopio refractor como instrumento para observar las estrellas, planetas y lunas. En 1610 utiliz un telescopio como microscopio compuesto, e hizo mejoras en los microscopios de 1623 en adelante. Lamentablemente, a la edad de 74 aos, Galileo qued ciego. Cuando muri, venerado por los ciudadanos y muchos hombres principales de la Iglesia y de los seglares, la Inquisicin se neg a permitir la realizacin de un funeral pblico
F (C + h) =
Luego
C+h a
f (t ) dt y F (C ) = f (t ) dt. a
F (C + h) F (C ) = =
C+h a C +h C
f (t ) dt f (t ) dt =
a
C +h a
f (t ) dt + f (t ) dt
C
f (t ) dt .
Es decir,
F (C + h) F (C ) =
C+h C
f (t ) dt (figura 16.2).
Puesto que f es acotada en [a, b] (por ser f integrable), entonces existe M 0 tal que f (t ) M para todo t de [a, b]. Luego
M f (t ) M .
(1)
Figura 16.2
Analicemos dos casos: cuando h 0 y cuando h < 0. Primer caso Si h 0, entonces, aplicando en (1) el teorema 1 mdulo14 (observacin iv), obtenemos:
157
C +h C
M dt
C +h C
C +h C
f (t ) dt
C+h C
M dt
Mh
O sea que
Escuche el audio En un tono menos serio: el problema del pintor matemtico en su multimedia de Elementos bsicos de clculo integral y series.
f (t ) dt Mh.
Mh F (C + h) F (C ) Mh.
Si tomamos lmite a esta expresin cuando h tiende a cero por la derecha, obtenemos:
h 0+
lim ( Mh) lim [ F (C + h) F (C )] lim+ (Mh), +

h 0 h 0
y puesto que lim+ ( Mh) = 0 y lim+ ( Mh) = 0 , se concluye, por el teorema del
h 0
h 0
snduche, que
h 0+
lim [ F (C + h) F (C )] = 0,
F (C + h) = F (C ). y por tanto hlim 0+
(2)
Segundo caso Si h < 0, entonces C + h < C , luego aplicando a (1) el teorema 2 del mdulo 14 (observacin iv) se obtiene:
M ( h)
Entonces:
C C +h
f (t ) dt M (h) .
Mh
C +h C
f (t ) dt Mh.
Al multiplicar esta desigualdad por (1) resulta:
Es decir,
Mh F (C + h) F (C ) Mh.
Si tomamos lmite a esta ltima expresin cuando h tiende a 0 por la izquierda, obtenemos por el teorema del snduche que
158
Mdulo 16: Los teoremas fundamentales del clculo

h 0
lim [ F (C + h) F (C )] = 0.
Luego
lim F (C + h) = F (C ).
h 0
(3)
De (2) y (3) podemos concluir que

lim F (C + h) = F (C ).
h 0
(4)
Hemos probado as que F es continua en todo C de (a, b). Cuando C = a C = b la demostracin es similar pero considerando lmites laterales. El teorema anterior significa que, dada una funcin f ( x) integrable en [a, b], la funcin F ( x) = f (t ) dt con a x b siempre es continua en [a, b].
a x
Ejemplo 1
2 Sea f ( x ) = 4 si si x 1 x <1
con x en [0, 2]. Halle
x 0
f (t ) dt.
Solucin Sea F ( x) = f (t ) dt.

0 x
Para resolver esta integral es necesario hacerla en dos partes dependiendo de que x 1 o que x < 1. 1. Si x < 1 , entonces
2.
x 0
f (t ) dt = (4) dt = 4( x 0) = 4 x (ejemplo 4, mdulo 13).

0
Si x 1 , entonces
x 0
f (t ) dt = f (t ) dt + f (t ) dt = (4) dt + 2 dt
0 1 0 1
= 4 + 2( x 1) = 2 x 6.
Entonces de 1 y 2 tenemos que, para todo x en [0, 2],
159

4 x si F ( x) = 2 x 6 si x <1 x 1
En las figuras 16.3a y 16.3b se muestran las grficas de las funciones f y F. Obsrvese que la segunda es continua a pesar de ser discontinua la primera.
Figura 16.3
Ejemplo 2 Sea f ( x) = 3 con x en [0, 3]. Halle F ( x) = 0 f (t ) dt. Solucin

x
F (x
F ( x) = 3 dt = 3( x 0) = 3x.
0
Es decir, F ( x) = 3 x con x en [0, 3]. Ntese que esta funcin es derivable en todo x de [0, 3].
Teorema 2: Primer teorema fundamental del clculo (derivada de una integral) Sea f una funcin continua en [a, b] y F la funcin definida por con x en [a, b]. Entonces, F es derivable en todo x de [a, b] y F ( x) = f ( x). Demostracin
F ( x + h) F ( x ) = f ( x ). h
Probemos que lim h0
160
Mdulo 16: Los teoremas fundamentales del clculo Sea x un punto fijo de [a, b], luego:
F ( x + h) F ( x ) =
x+h a
f (t ) dt f (t ) dt =
a
x+h x
f (t ) dt.
(1)
Entonces, por ser f continua se tiene por el TVM que existe un punto c entre x y x + h tal que:
x+h x
f (t ) dt = f (c) h
(h puede ser positivo o negativo)
(2)
Entonces, de (1) y (2) se tiene que F ( x + h) F ( x) = f (c)h , de donde

F ( x + h) F ( x ) = f (c). h
(3)
Ahora, lim f (c) = f ( x) ya que f es continua y c x h 0 (figura 16.4). h0
Teorema fundamental del clculo El teorema fundamental del clculo, que se atribuye a Isaac Newton y Gottfried Leibniz, marca el comienzo del clculo como disciplina unificada. Newton desarroll su clculo a finales del ao 1660, pero no public sus resultados hasta 1687. Leibniz los redescubri a mediados de 1670, pero los public antes que Newton, en 1684 y 1686. La notacin y terminologa de Leibniz (en buena parte todava en uso) es mejor que la de Newton. (Newton se refera a las derivadas e integrales como fluxiones y fluyentes. ) Sin embargo, Newton desarroll las nociones bsicas antes que Leibniz. A raz de un cruce de cartas entre ambos, surgi una tensa controversia sobre quin deba ser considerado el creador del clculo. La disputa degener en una autntica guerra entre los matemticos de Inglaterra y los del resto de Europa. La comunicacin entre las dos comunidades matemticas qued en suspenso durante un siglo, hecho que ejerci influencia innegable en el desarrollo de las matemticas en el siglo XVIII.
Figura 16.4
Por tanto, tomando lmite en (3) cuando h 0 , obtenemos:

F ( x + h) F ( x ) = lim f (c) = f ( x). c x h d F ( x) = f ( x) para todo x en [a, b]. dx
d dx
lim
h0
O sea que
O, lo que es lo mismo,
x a
f (t ) dt = f ( x), igualdad que indica que la derivada
deshace la accin de la integral de la funcin f (t ) . Ejemplo 3
161
Captulo 3: Integral definida Si F ( x) = Solucin Ya que f (t ) = t 4 + 3t 2 + 9 es continua, entonces F es derivable y F ( x) = f ( x). O sea que
F ( x ) = d x 4 t + 3t 2 + 9 dt = x 4 + 3 x 2 + 9. dx 0
x 0
t 4 + 3t 2 + 9 dt , halle F ( x) .
Ejemplo 4 Si F ( x) = t 3 t 2 + 1 dt , halle Dx t 3 t 2 + 1 dt.

2 x x 2
Solucin Para poder aplicar el teorema debemos intercambiar previamente los lmites de integracin. Esto es,
F ( x) = t 3 t 2 + 1 dt = t 3 t 2 + 1 dt = (t 3 t 2 + 1) dt ,
x 2 2
y puesto que f (t ) = t 3 t 2 + 1 es continua, entonces:

F ( x) = d x 3 2 t t + 1 dt = x3 x 2 + 1. dx 2
Utilizando la regla de la cadena podemos extender el resultado del teorema 2. Corolario 1 Sea h una funcin continua en [c, d], V ( x) una funcin derivable en [a, b] y
c V ( x) d .
Si F ( x) =
V ( x) c
h(t ) dt , entonces
dF ( x) dV = h(V ( x)). . dx dx
En efecto, sea G (V ) = h(t ) dt.

c
Por el teorema anterior, G es derivable respecto a V, luego

F ( x) = (G V )( x).
dG (V ) = h(V ) y adems dV
162
Mdulo 16: Los teoremas fundamentales del clculo Entonces:

dF dG dV dV = . = h(V ). . dx dV dx dx
Es decir,
d V ( x) dV h(t ) dt = h(V ( x)) . c dx dx
Corolario 2 Sea h continua en [c, d ], U ( x) y V ( x) derivables en [a, b] con c U ( x) d y

c V ( x) d .
Si F ( x) =
V ( x) U ( x)
h(t ) dt , entonces
d V ( x) dV dU h(t ) dt = h(V ( x)) h(U ( x)) . dx U ( x ) dx dx
Para la demostracin basta aplicar el colorario 1 a la expresin
F ( x) =
Ejemplo 5 Halle Dx 0 Solucin
x2 + 3
V ( x) c( x)
h(t ) dt
u( x) c
h(t ) dt.
(t 3 + 5) dt.
Puesto que h(t ) = t 3 + 5 es continua en todo y V ( x ) = x 2 + 3 es derivable en todo , entonces podemos aplicar el colorario 1.
d x2 + 3 3 2 3 (t + 5) dt = ( x + 3) + 5 (2 x). dx 0
Ejemplo 6
3 Sea F ( x) = x (t + 5t 8) dt. Halle x2
d x2 3 (t + 5t 8) dt. dx x
Solucin
163
Captulo 3: Integral definida Puesto que h(t ) = t 3 + 5t 8 es continua, V ( x ) = x 2 y U ( x) = x son derivables. Entonces
d x2 3 (t + 5t 8) dt = ( x 2 )3 + 5( x 2 ) 8 (2 x) ( x )3 + 5( x) 8 (1) x dx = 2 x[ x 6 + 5 x 2 8] + [ x 3 5 x 8].
Ejemplo 7 Sea F ( x ) = Solucin

1 es continua para todo t > 0, V ( x) = 2 x y U ( x) = x son t derivables. Entonces
2x x
1 dt con x > 0. Pruebe que F es una funcin constante. t
Como h(t ) =
F ( x) =
d 2x 1 1 d 1 d 1 1 dt = (2 x) ( x) = 2 1 = 0. x dx t 2 x dx x dx 2x x
Es decir, F ( x) = 0 para todo x > 0 , y de aqu F es una constante (ejercicio 19, mdulos 20-28, Elementos bsicos de clculo diferencial).
Ejemplo 8 Determine los intervalos donde crece y decrece la siguiente funcin, as como tambin sus extremos relativos:
f ( x) =
1 x 2 3
t dt. 1+ t2
Solucin Los intervalos donde crece y decrece una funcin, as como los extremos relativos, los determina el signo de la primera derivada. As que si
f ( x) =
1 x 2 3
t dt , 1+ t2
entonces
164

f ( x) = d 1 x2 t (1 x 2 ) ( 2 x ) . dt = dx 3 1 + t 2 1 + (1 x 2 ) 2
Esto es,
f ( x) = 2 x (1 x) (1 + x) . 1 + (1 x 2 ) 2
El signo de f ( x) depende del signo de los factores 2 x, (1 x) y (1 + x), como se ilustra en el siguiente diagrama (figura 16.5):
Figura 16.5
Del diagrama anterior se deduce que:
f (x) decrece en: (, 1] [0,1]. f (x) crece en: [1, 0] [1, +).
x = 1 corresponde a un mnimo relativo. Entonces:
Pm1 (1, f (1)) = Pm1 1,
0 3
t 1 dt = Pm1 1, ln10 . 2 1+ t 2
x = 0 corresponde a un mximo relativo. Entonces:
PM1 (0, f (0)) = PM1 0,
1 3
t 1 dt = PM1 0, ln 5 . 2 1+ t 2
x = 1 corresponde a un mnimo relativo. Entonces:
Pm2 (1, f (1)) = Pm2 1,
0 3
t dt = Pm2 1+ t2
1 1, ln10 . 2
165
16.2 Segundo teorema fundamental del clculo

Teorema 3 : Segundo teorema fundamental del clculo Sea f una funcin continua en un intervalo cerrado [a, b] y F una funcin tal que F ( x) = f ( x) para todo x en [a, b]. Entonces,
b a
f (t ) dt = F (b) F (a).
(1)
Demostracin Como f es integrable en [a, b], sea G ( x) = f (t ) dt , a x b. En consecuencia,

a x
G ( x) = f ( x), y como por hiptesis F ( x) = f ( x), entonces F y G difieren en una
constante, es decir, G ( x) = F ( x) + C. Esto es,
G ( x) = f (t ) dt = F ( x) + C
a
Por tanto,
G (a) = f (t ) dt = 0 = F (a) + C ,
a
de donde F (a) = C. Adems,
G (b) = f (t ) dt = F (b) + C = F (b) F (a).

a
Luego
b a
f (t ) dt = F (b) F (a).
Observaciones i. En el trabajo con integrales, la expresin F (b) F (a) se denota por [ F ( x ) ]b ,

a
que se lee: F ( x) entre a y b. Con esta notacin podemos escribir entonces

F ( x) una primitiva de f.
b a
f (t ) dt = [ F ( x)]a , siendo
b
166
ii.
Mdulo 16: Los teoremas fundamentales del clculo En muchas aplicaciones la conclusin del segundo teorema fundamental del clculo se escribe en la forma siguiente:
iii.
b a
f (t ) dt = f (b) f (a).
Si al evaluar
b a
f (t ) dt no podemos encontrar en forma directa una primiti-
va F ( x) de f, la regla de sustitucin puede emplearse en este caso en la forma siguiente: Si u = g ( x), donde g ( x) y g ( x) son continuas en el intervalo
[ g (a), g (b)] , y si
entonces
b
f ( g ( x)) est definida y es continua en [ g (a), g (b)],
f ( g ( x) ) g ( x)dx =
a
g (b ) g (a)
f (u ) du.
Ntese que al calcular la integral definida por la frmula anterior no necesariamente regresamos a la variable original sino que se halla una primitiva de f (u ) y la evaluamos desde g (a) hasta g (b). iv. La frmula de integracin por partes tambin puede usarse para el clculo de integrales definidas. En este caso se tiene que si U ( x) y V ( x) son dos funciones derivables en [a, b], entonces:
Ejemplo 9
b a
U dV = [U ( x) V ( x)] a V dU .
b b a
Calcule el valor de las siguientes integrales definidas. a.
b a
3 1
x n dx,
x dx
n 1, n real.
.
b.
( 3x
1)
3 0
x3 9 + x2
c.
dx.
Solucin
a.
b a
x n +1 b n +1 a n +1 + C = +C C. x n dx = n +1 n +1 n +1
167
Captulo 3: Integral definida Luego
b a
x n dx =
b n +1 a n + 1 , ( n + 1)
n 1, n real.
Ntese que en el proceso de evaluacin de la integral, la constante C desaparece. En adelante y por simplicidad omitiremos la escritura de sta.
b.
Para evaluar dicha integral, aplicamos la regla de sustitucin. Sea u = g ( x ) = 3 x 2 1. De aqu, du = 6 x dx, de donde x dx = Ahora, g (1) = 2 y g (3) = 26. Por tanto,
x dx = (3x 2 1)3 du u = 6u 3 12 2
2 26
(1)
du . 6
3 1
26 2
1 1 2 2 7 26 2 . = = 12 338
Podemos evaluar tambin dicha integral aplicando la regla de sustitucin, pero escribiendo el resultado en trminos de la variable x. As: Sea u = 3x 2 1 . Entonces du = 6 x dx, de donde x dx = Por tanto,
x dx du u 2 1 1 = (3x 2 13 6u 3 = 12 = 12u 2 = 12(3x 2 1)2 .
du . 6
(2)
Ahora,
3 1
x dx 1 = (3 x 2 1)3 12 ( 3 x 2 1)2 1
1 1 7 = + . = 2 2 12 ( 26 ) 12 ( 2 ) 338
c.
3 0
x3 9 + x2
dx =
3 0
x2 x 9 + x2
dx .
168
Mdulo 16: Los teoremas fundamentales del clculo Sea u 2 = 9 + x 2 . Entonces, 2u du = 2 x dx u du = x dx. (3)
u = 9 + x2 .
cuando x = 0, u = 3 De aqu se tiene que cuando x = 3, u = 18 = 3 2
As que,
x3 9 + x2 x2 x 9 + x2 (u 2 9)u du u 3 = 9u u 3 3
3 2
3 0
dx =
3 0
dx =
3 2 3
(3 2)3 33 = 9(3 2) + 27 = 18 9 2. 3 3
Se pide al estudiante calcular la integral anterior, haciendo la sustitucin x = 3 tan . Ejemplo 10 Demuestre que Solucin
sen
nx dx = , siendo n .
sen
nx dx =
1 cos 2nx dx 2
1 1 1 1 = x sen 2nx = sen 2n sen (2n ) n n n 2 4 2 4 2 4 =

Ejemplo 11 Una funcin g(x) satisface las siguientes condiciones: i. ii. iii. iv. g(x) est definida en todo x . g ( x) es continua.
g (0) = g (2) . g (2) = 3.
= .
169
Captulo 3: Integral definida Demuestre que Solucin Sea
2 0
x g ( x) dx = 6.
u(x) = x du = dx
dV = g(x) dx. V(x) = g(x)
(V existe por ii).
Aplicando entonces integracin por partes, se tiene:
Pero,
2 0
x g ( x) dx = [ x g ( x)]0 g ( x) dx.
2 2 0
[ x g ( x)]0 = [ 2 g (2) 0 g (0)] = 2 3 = 6

2
(condicin iv).
Tambin,
2 0
g ( x) dx = g (2) g (0)
(2 TFC)
= 0 (condicin iii). As que:
2 0
x g ( x) dx = 6 0 = 6.
16.3 Algunas propiedades que ayudan a simplificar los clculos en algunas integrales
El conocimiento de la simetra que presenta el integrando en un intervalo de longitud 2a ayuda a simplificar los clculos, como se muestra a continuacin. i. Si f es una funcin par ( f ( x) = f ( x)) , esto es, si f es simtrica con respecto al eje y, entonces
ii.
f ( x) dx = 2 f ( x) dx (figura 16.6a).
0
Si f es una funcin impar ( f ( x) = f ( x)), esto es, si f es simtrica con respecto al origen, entonces
170
f ( x) dx = 0 (figura 16.6b).
Figura 16.6
As por ejemplo, en la integral
x3 x3 f ( x) = dx , el integrando es 1 (1 + x 2 )4 (1 + x 2 ) 4
1
una funcin impar, puesto que f ( x) = En consecuencia,
( x)3 x3 = = f ( x) . (1 + ( x) 2 ) 4 (1 + x 2 ) 4
x3 dx = 0. 1 (1 + x 2 ) 4
1
La integral
(1 + x + x 2 + x 3 ) dx puede escribirse en la forma:

2
Pero,
(1 + x + x 2 + x 3 ) dx = 1dx +
2
x dx + x 2 dx + x 3 dx.
2 2
x dx = 0 = x 3 dx (por ser el integrando funciones impares). 2
Tambin,
1 dx = 2 1 dx = 4
0
Luego
x dx = 2
2
2 0
x3 16 (por ser el integrando funciones pares). x dx = 2 = 3 0 3

2
(1 + x + x 2 + x 3 ) dx = 4 +
16 28 = . 3 3
171
172
Integrales impropias
17.1 Integrales impropias tipo I 17.2 Integrales impropias tipo II
17
Pierre-Simon Laplace Pierre-Simon Laplace naci el 28 de marzo de 1749 en Beaumont-en-Auge, Francia, y falleci el 5 de marzo de 1827 en Pars. A la edad de dieciocho aos, Laplace sobresala como maestro y matemtico en la escuela militar de su pueblo natal. No obstante, para l, Pars era la nica ciudad por la que entrara en el gran mundo de la ciencia. Consigui cartas de recomendacin y, en 1767, parti hacia all a solicitar la ayuda del distinguido matemtico francs Jean DAlembert. Cuando se present en la casa de ste fue recibido con corteses excusas, pero lo despidieron sin que pudiera entrevistarlo. Pasaron las semanas y Laplace segua sin obtener audiencia. Persistente en su ambicin, decidi entonces usar un mtodo distinto. Como no surtieron efecto las cartas de recomendacin, trat de comunicarse por medio del lenguaje de la ciencia. Escribi una disertacin sobre los principios de la mecnica y se la envi a DAlambert con la solicitud de que le concediera una audiencia. Era un lenguaje que poda entender y apreciar un matemtico. DAlambert qued tan impresionado con el talento de Laplace, que mand llamarlo en seguida y le dijo: No necesitis ms presentacin que la recomendacin de vuestro trabajo. Con su ayuda, Laplace obtuvo ms tarde el nombramiento de profesor de matemticas en la Escuela Militar de Pars y qued asegurado su ingreso en el mundo de la ciencia. El primer trabajo cientfico de Laplace fue su aplicacin de las matemticas a la mecnica celeste. A Newton y otros astrnomos les haba sido imposible explicar las desviaciones de los planetas de sus rbitas, predichas matemticamente. As por ejemplo, se determin que Jpiter y Saturno se adelantaban o retrasaban a veces con respecto a las posiciones que deban ocupar en sus rbitas. Laplace ide
Objetivos del mdulo

1. Extender la nocin de integral para funciones no acotadas y que no estn definidas en todos los puntos de integracin. 2. Dar sentido a integrales de las formas o de la forma
+ a
f ( x) dx,
f ( x ) dx y
f ( x ) dx,
b a
f ( x) dx, donde f (x) presenta una discontinuidad infinita en
[a, b], es decir, f (x) se hace infinita en algn punto del intervalo [a, b].
Preguntas bsicas
1. Por qu
1 dx existe? 1 + x2
2. Por qu no existe 3. Demuestre que si igual a
x dx, a pesar de que lim

N
x dx s existe?
N N N
f ( x ) dx existe, entonces existe lim
f ( x) dx, y es
f ( x ) dx.
Introduccin
En el mdulo anterior de este mismo captulo se hizo el estudio de la integral definida
b a
f ( x) dx para una funcin f definida y acotada en el intervalo cerrado [a, b].
En este mdulo se extender la nocin de integracin a funciones no acotadas y funciones que no estn definidas en todos los puntos del intervalo de integracin. Adems se le dar sentido a integrales de las formas:
+ a
f ( x) dx ,
f ( x ) dx y
f ( x ) dx,
173

entonces una teora, apoyada en pruebas matemticas, que postulaba que las variaciones eran normales y se corregan solas en el transcurso de largas etapas de tiempo. Esta teora, de gran importancia para entender las relaciones de los cuerpos celestes en el universo, ha soportado la prueba del tiempo sin sufrir ms que correcciones relativamente secundarias. Los siguientes aos fueron de exitosas investigaciones para Laplace, que fue aclarando los conocimientos cientficos sobre las fuerzas elementales de la naturaleza y el universo. Escribi artculos acerca de la fuerza de gravedad, el movimiento de los proyectiles, el flujo y reflujo de las mareas, la precesin de los equinoccios, la forma y rotacin de los anillos de Saturno y otros fenmenos. Tambin estudi el equilibrio de una masa lquida en rotacin e ide una teora de la tensin superficial que era semejante al moderno concepto de la atraccin o cohesin molecular dentro de un lquido. Trabajando con el qumico francs Lavoisier, estudi el calor especfico y la combustin de diversas sustancias y puso los cimientos para la moderna ciencia de la termodinmica. Invent un instrumento, conocido con el nombre de calormetro de hielo, para medir el calor especfico de una sustancia. El calormetro meda la cantidad de hielo fundido mediante el peso dado de una sustancia caliente cuya temperatura se conoca. Entonces, poda calcularse matemticamente su calor especfico. Al estudiar la atraccin gravitacional de un esferoide sobre un objeto externo, Laplace ide lo que se conoce hoy como ecuacin de Laplace, que se usa para calcular el potencial de una magnitud fsica en un momento dado mientras est en movimiento continuo. Esta ecuacin no slo tiene aplicacin en la gravitacin, sino tambin en la electricidad, la hidrodinmica y otros aspectos de la fsica. Entre 1799 y 1825, Laplace reuni sus escritos en una obra de cinco volmenes, titulada Mecnica celeste , en la que se propuso dar una historia de la astronoma sistematizando la obra de generaciones de astrnomos y matemticos, y ofreciendo una solucin completa a los problemas mecnicos del sistema solar. Ms tarde public un volumen titulado El sistema del mundo, y luego, en 1812, su Teora analtica de las probabilidades. Laplace vivi hasta la avanzada edad de 78 aos. En vida an, fue elegido para ser parte del selecto grupo de los Cuarenta inmortales de la Academia Francesa.
o de la forma
b a
f ( x) dx,
donde f (x) presenta una discontinuidad infinita en [a, b], es decir, f (x) se hace infinita en algn punto del intervalo [a, b]. A todas estas integrales se les denomina integrales impropias. A continuacin se definirn estos dos tipos de integrales impropias.
174
17.1 Integrales impropias tipo I

Definiciones i. Sea f una funcin integrable en [ a , + ). Si lim que la integral impropia escribe:
Mdulo 17: Integrales impropias
f ( x) dx existe, se dice
+ a
f ( x) dx es convergente y en este caso se
+ a
f ( x) dx = lim
f ( x) dx.
Si el lmite no existe, se dice que la integral impropia es divergente. ii. Sea f una funcin integrable en (, b]. Si lim que la integral impropia escribe:
f ( x) dx existe, se dice
f ( x ) dx es convergente y en este caso se
f ( x) dx = lim
f ( x) dx.
Si el lmite no existe, se dice que la integral impropia es divergente.
iii.
Si f es integrable en (, +) , y c , entonces
Observaciones i.
f ( x) dx =
f ( x) dx +
+ c
f ( x) dx.
El significado de la definicin iii es el siguiente: si las integrales impropias
f ( x) dx y
+ c
f ( x) dx son convergentes, siendo c cualquier nmero
real, entonces la integral impropia
f ( x) dx es convergente y su valor es
la suma de las dos integrales impropias; pero si al menos una de las dos integrales impropias de la derecha es divergente, entonces la integral
ii.
f ( x ) dx es divergente.
+ a
Cuando f ( x) 0 y la integral impropia
f ( x) dx es convergente, en-
tonces el valor de dicha integral corresponde al rea de la regin acotada por la curva y = f (x), el eje x y la recta x = a.
175
Captulo 3: Integral definida Ejemplo 1 Analice la convergencia o divergencia de las siguientes integrales impropias:
a.
+ 0
1 dx 1 + x2
b.
1 dx 1 + x2
c.
1 dx 1 + x2
Solucin a. De acuerdo con la definicin i,
Pero
+ 0
1 1 dx = lim dx, si dicho lmite existe. 2 0 + 1 + x 1 + x2
1 1 tan 1 0 = tan 1 . dx = tan 1 x] 0 = tan 1 + x2
De esta forma,
1 1 dx = lim dx = lim (tan 1 ) = . 2 2 0 + + 2 1 + x 1 + x
Esto significa que la integral impropia es convergente y se puede escribir:
b.
+ 0
1 dx = . 2 2 1 + x
De acuerdo con la definicin ii,
Pero
0 1 1 dx = lim dx, si dicho lmite existe. 2 1 + x 1 + x 2 0
1 0 dx = tan 1 x] = tan 1 0 tan 1 = tan 1 . 1 + x2
De esta forma,
0 1 1 dx = lim dx 2 1 + x 1 + x2
. = lim ( tan 1 ) = = + 2 2
176
Mdulo 17: Integrales impropias Esto significa que la integral impropia es convergente y se puede escribir:
c.
1 dx = . 2 2 1 + x
De acuerdo con la definicin iii,
1 dx = 1 + x2
1 dx + 1 + x2
+ 0
1 dx = + = . 2 2 2 1 + x
El siguiente ejemplo ser de gran utilidad en el trabajo con series numricas ya que
1 permite determinar los valores para los cuales la llamada serie-p p es con n =1 n vergente o divergente.
Ejemplo 2 Determine los valores de p para los cuales la integral impropia Solucin De acuerdo con la definicin i,
+ 1
1 dx converge. xp
Pero
+ 1
1 1 dx = lim p dx. p 1 + x x
As que: 1.
1 (1 p 1) 1 1 p = dx xp ln
si
p 1 p =1
Si p = 1, entonces
2.
+ 1
1 1 dx = lim p dx = lim (ln ) = + . p 1 + + x x
Si p > 1, entonces
+ 1
1 1 1 1 (1 p 1) = dx = lim p dx = lim p + 1 x + 1 p x p 1 , puesto que
lim 1 p = 0 . (Como p > 1 , 1 p < 0 y 1 p 0. cuando +)
177
Captulo 3: Integral definida 3. Si p < 1, entonces
+ 1
1 1 1 (1 p 1) = + , puesto que dx = lim p dx = lim p 1 + + 1 p x x
lim 1 p = + . (Como p < 1 , 1 p > 0 y 1 p + , cuando +)
Del anlisis anterior se puede concluir que la integral impropia para p >1, y en los dems casos diverge.
+ 1
1 dx converge xp
El siguiente teorema y su corolario, que se enuncian sin demostracin, son tiles porque en muchos casos permiten decidir si una integral impropia es convergente o no. Teorema 1 Sean f y g dos funciones integrables en su dominio, tales que 0 f ( x) g ( x) para todo x a. Por tanto, 1. Si
+ a
g ( x) dx converge, entonces f ( x) dx
+ a
f ( x) dx tambin converge, y ade-
ms
+ a
+ a
g ( x) dx.
+ a
2.
Si
f ( x) dx diverge, entonces
g ( x) dx tambin diverge.
La parte 1 de este teorema puede interpretarse geomtricamente as: si el rea de la regin bajo la grfica de g(x) es un valor finito, tambin tomar un valor finito el rea de la regin bajo la grfica de f (x). Corolario Sean f y g dos funciones integrables en su dominio, tales que f ( x) 0 , g ( x) 0 para todo x a, y adems lim
x +
f ( x) = C. Entonces: g ( x)
+ a
1.
Si C 0, las integrales ambas divergen.
f ( x) dx y
+ a
g ( x) dx ambas convergen o
2.
Si C = 0 y la integral tambin converge.
+ a
g ( x) dx converge, entonces la integral
+ a
f ( x) dx
178
Mdulo 17: Integrales impropias Ejemplo 3 Analice la convergencia o divergencia de la siguiente integral impropia:
+ 1
1 dx. x (1 + x 2 e x )
2
Solucin Para x 1 , e x 1 , as que 0 x 2 1 + x 2 e x , lo cual implica que

0 x 4 x 2 (1 + x 2 e x ),
de donde
0 1 1 4. x 2 (1 + x 2 e x ) x
Ahora,
+ 1
1 1 dx = (ejemplo 2, parte 2). 3 x4
Entonces, de acuerdo con la parte 1 del teorema 1, se puede concluir que
+ 1
1 dx converge, y adems 0 x 2 (1 + x 2 e x )
+ 1
1 1 dx . 3 x 2 (1 + x 2 e x )
Ejemplo 4 Demuestre que para cada s la integral impropia Solucin Para la demostracin se utiliza el corolario del teorema 1 en su parte 2. Sea g ( x ) = x 2 y f ( x ) = e x x s para x 1. Pero,
+ 1
e x x s dx es convergente.
xs+2 = 0. x + e x lim
En efecto,
x +
lim
f ( x) e x x s xs+2 = lim = lim x 2 x + x x + e g ( x)
(1)
179
Si s 2, entonces xlim +
xs+2 = 0. ex
Si s > 2, entonces el lmite xlim +
xs+2 es de la forma indeterminada . ex
Como s + 2 es un real fijo, se puede aplicar reiteradamente la regla de LHopital hasta que el exponente de x sea negativo o cero. En ese momento el numerador es una constante y el denominador tiende a infinito. En consecuencia,
x +
lim
xs+2 = 0. ex
(2)
De (1) y (2) se concluye que

x +
lim
f ( x) = 0. g ( x)
+ +
Adems,
1 dx = 1 (convergente), x2 y por el corolario del teorema 1 (parte 2) se puede concluir finalmente que la integral
g ( x) dx =
x 2 dx =
impropia
+ 1
e x x5 dx es convergente para todo s .
A continuacin se definir el segundo tipo de integrales impropias. La particularidad de este tipo de integrales es la discontinuidad infinita que presenta el integrando en algn punto del intervalo cerrado [a, b].
17.2 Integrales impropias tipo II

A este tipo pertenecen integrales de la forma
b a
f ( x) dx, donde f (x) presenta una
discontinuidad infinita en [a, b], es decir, f (x) se hace infinita en algn punto del intervalo [a, b]. Se presentan varios casos, dependiendo del punto donde el integrando se hace discontinuo. Caso 1. La funcin f presenta discontinuidad infinita en x = a lim+ f ( x ) =
xa
(figura 17.1a) .
180
Mdulo 17: Integrales impropias
Figura 17.1
Definicin Si lim+ f ( x) dx = lim +

a 0 b b a +
f ( x) dx existe, se dice que la integral impropia
b a
f ( x) dx es convergente, y en este caso se puede escribir:
b a
f ( x) dx = lim+ f ( x) dx = lim+
a 0
b a +
f ( x) dx.
Caso 2. La funcin f presenta discontinuidad infinita en x = b lim f ( x) =

x b
(figura 17.1b) .
Definicin Si lim f ( x) dx = lim +

b a 0 b a
f ( x) dx existe, se dice que la integral impropia
Precaucin sobre integrales impropias No siempre
b a
f ( x) dx es convergente, y en este caso se puede escribir:
f ( x) dx = lim f ( x) dx

b a
f ( x) dx = lim f ( x) dx = lim+
b a 0
b a
f ( x) dx.
aunque es muy tentador escribirlo. En algunas ocasiones el lmite de la derecha existe para algunas integrales impropias divergentes como sucede por ejemplo con la funcin f (x) = x.
x dx = 0, Se puede probar que lim

sin embargo la integral impropia
x dx
Caso 3. La funcin f presenta discontinuidad infinita en x = a y en x = b lim+ f ( x ) = lim f ( x ) = (figura 17.2a).

xa x b
diverge. (Tomado de La precaucin sobre integrales impropias, pgina 526 del texto Clculo de Smith y Minton)
181
Captulo 3: Integral definida En este caso, y de acuerdo con las propiedades de la integral definida, la integral impropia
b a
f ( x) dx puede escribirse en la forma:

c b
f ( x) dx = f ( x) dx + f ( x) dx ,
a c
(1)
siendo c un nmero real tal que a < c < b, transformando as la integral inicial en la suma de dos integrales impropias cuya convergencia o divergencia corresponde, respectivamente, a las definiciones de los casos 1 y 2 inmediatamente anteriores. Si alguna de las integrales impropias de la derecha de (1) es divergente, entonces la integral impropia
b a
f ( x) dx es divergente.
Figura 17.2
Caso 4. La funcin f presenta discontinuidad infinita en x = c, con c , tal que a < c < b lim f ( x) = (figura 17.2b).
xc
En este caso, y de acuerdo con las propiedades de la integral definida, la integral impropia
b a
f ( x) dx puede escribirse en la forma:

c
f ( x) dx = f ( x) dx +
a
b c
f ( x) dx,
(2)
transformando as la integral inicial en la suma de dos integrales impropias cuya convergencia o divergencia corresponde, respectivamente, a las definiciones de los casos 2 y 1 inmediatamente anteriores. Si alguna de las integrales impropias de la derecha de (2) es divergente, se dice entonces que la integral impropia
b a
182
Mdulo 17: Integrales impropias Observacin Si la funcin f presenta un nmero finito de discontinuidades infinitas en los puntos c1 , c2 , propia ber:
, cn 1 , cn , donde a < c1 < c2 < < cn 1 < cn < b, entonces la integral im-
b a
f ( x) dx se transforma en una suma finita de integrales impropias, a sa-
b a
f ( x) dx =
c1 a
f ( x) dx +
c2 c1
f ( x) dx +
cn cn1
f ( x) dx + f ( x) dx, (3) c
n
cuya convergencia o divergencia se analiza de acuerdo con el caso 1, 2, 3 y 4 que corresponda de los mencionados anteriormente. Si al menos una de las integrales impropias de la derecha de (3) es divergente, se dice entonces que la integral impropia Ejemplo 5 Analice la convergencia o divergencia de la siguiente integral impropia:
b a
1 1
1 dx. x2
Solucin Como en x = 0 (punto interior del intervalo [1,1] ) la funcin f ( x) = infinita, se tiene, de acuerdo con el caso 4, que
1 se hace x2
Pero
1 1
0 1 1 1 1 dx = dx + 2 dx. 2 2 1 0 x x x
1 1 1 1 dx = lim dx = lim = lim + 1 = +. 2 2 1 0 0 0 x x x 1
Igualmente,
1 0
1 1 1 1 1 dx = lim+ 2 dx = lim+ = lim+ 1 + = +. 2 0 0 0 x x x
183
Es decir, ambas integrales divergen a +, y en consecuencia la integral impropia dada diverge. Obsrvese que si no se tiene en cuenta la discontinuidad de la funcin en x = 0 y se evala la integral directamente, se obtiene:
1 1
1 1 dx = = 2, 2 x x 1
1 > 0, entonces, x2
lo que es un absurdo puesto que si f ( x) =
1 1
1 dx > 0. x2
Ejemplo 6 Analice la convergencia o divergencia de la siguiente integral impropia:
1 0
1 1 x2
dx.
Solucin Como en x = 1 la funcin f ( x) = la definicin del caso 2, que

1 1 x2
se hace infinita, se tiene, de acuerdo con
1 0
1 1 x
2
dx = lim
1
1 sen 1 x dx = lim 0 = sen 1 = 2 , 1 1 x
lo cual indica que la integral impropia es convergente.
Ejemplo 7 Demuestre que para cada s > 0 la integral Solucin Ntese, en primer lugar, que la integral
t s 1 que la funcin f (t ) = e t =
1 0
e t t s 1 dt es convergente.
1 0
e t t s 1 dt es una integral impropia puesto
et se hace infinita en t = 0. t1 s
184
Mdulo 17: Integrales impropias Considrese entonces la integral cambio de variable t =
1 x
e t t s 1 dt , con x > 0, y en la cual al hacer el
1 , se obtiene: u
1 x
e t t s 1 dt =
1/ x 1
e1/ u u s 1 du (compruebe el resultado).

+ 1
1 u
Analcese entonces la integral impropia Como e

1 u
e 1/ u u s 1 du.
u s 1 u s 1 , y por el ejemplo 2 se
1 para u 1, entonces 0 e
sabe que la integral impropia converge para s > 0.
+ 1
1 du converge para (s + 1) > 1, es decir, u s +1
De esta forma, de acuerdo con la parte 1 del teorema 1, se deduce que la integral impropia
+ 1
1 u
u s 1 du tambin converge para s > 0, y en consecuencia su
integral impropia equivalente Observacin Como
1 0
e t t s 1 dt converge para s > 0.
1 0
e t t s 1 dt converge para s > 0 y la integral
+ 1
et t s 1 dt converge para
todo s (ejemplo 4), se concluye que la integral impropia
+ 0
e t t s 1 dt converge
para s > 0. A esta integral se le conoce como funcin gamma y se denota por ( s ); es decir,
( s ) =
+ 0
e t t s 1 dt , s > 0.
Ejemplo 8 Use la definicin de la funcin gamma para demostrar las siguientes propiedades concernientes a ella. a. b. c.
(1) = 1. ( s + 1) = s ( s ), s > 0. (n + 1) = n !, para n N.
185
Captulo 3: Integral definida Solucin a. De acuerdo con la definicin de la funcin gamma, se tiene:
(1) = ( s + 1) =
+ 0
+ 0
e t t11 dt = et dt = lim et dt = lim 1 e = 1. 0 + 0 +

+ 0
b.
et t ( s +1) 1 dt =
et t s dt = lim et t s dt.
+ 0
Para calcular la ltima integral se usa integracin por partes, esto es, sea u = t s y dv = e t dt. Entonces du = st s 1 dt y v = e t . De esta forma,
s t t s 1 e t t s dt = e t + s e t dt. 0 0
s t s s lim Como e t 0 = e y + e = 0 (usando la regla de
LHopital), se tiene entonces que:
lim
e t t s dt = lim e s + s e t t s 1 dt
+ 0
= 0 + s lim
e t t s dt = s ( s ).
En consecuencia, ( s + 1) = s ( s ). c. Al reemplazar n por s en la conclusin de la parte b se obtiene

(n + 1) = n (n).
Al utilizar en forma reiterada en la ltima igualdad la conclusin de la parte b, se puede escribir entonces:
(n) = ((n 1) + 1) = (n 1) (n 1). (n 1) = ((n 2) +1) = (n 2) (n 2),..., (3) = 2(2) = 2(1+1) = 21.
Luego
(n + 1) = n(n 1)(n 2) 2 1 = n !
Teniendo en cuenta b se deduce que:
186
+ 0
e x x n dx = n !
Mdulos 12 al 17
I. Notacin sigma En los ejercicios 1 a 5 escriba en forma de sumatoria la suma dada. 1. 2. 4 + 4 + 4 + 4 + 4 + 4 + 4. 1 + 5 + 9 + 13 + 17.
1 1 1 1 1 + + + + . 4 5 6 7 8
3. 4. 5. 6.
ln 4 + ln 6 + ln 8 + ln 10.
1 + 3 2 + 4 3 + 5 4 + 6 5.
Suponga que
f (i) = 8, g (i) = 3 y h(i) = 5.

i =1 i =1 i =1
10
10
10
Calcule el valor de la expresin indicada en los ejercicios a-e.
a.
[ f (i) + g (i) + h(i)].

i =1
10
b.
[2 f (i) + 3g (i) 3h(i)].

i =1 10
10
c.
3 [ f (i ) + 2g (i )] 3 [2 g (i ) + h(i )].
i =1 i =1
10
10
d.
10
[ f (i) 2g (i)] + 4h(i).

i =1 i =1
10
e.
[ f (i) + 2g (i)] + [2 g (i) h(i)] + 2 [h(i) f (i)] .

i =1 i =1 i =1
10
10
7.
Calcule el valor de las sumas dadas en los ejercicios a-g.
a.
(8 + 3i).
i =1
b.
(8 + k
k =1
).
c.
(1 + i) .
3 i =1
d.
2
m =1
m +1 k =3
10
3
m
e.
4
i=2
1
i
+ i + i 2 .
f.
. k k + 1
k =1
40
g.
(a
ak 1 ).
Elementos de clculo integral y series 187 Captulo 3: bsicos Integral definida
8.
Demuestre la siguiente frmula:
r
i =1
r r n +1 ; r 1. 1 r
(Ayuda: llame S =
r
i =1
= r + r 2 + r 3 + ... + r n y considere la diferencia S rS ).
9.
En los literales a-f evale las sumas dadas.
a.
k =2
(k + k
7 2
).
b.
j =2
(2
5
j 1).
c.
(1) k +1 . k k =1
7
d. 10.
(i + 1) .
i =1
e.
(2
r =1
r 1
2r ).
f.
2 3
i j =1 i =1
Determine para cul(es) de los literales a-d se verifica la igualdad:
a.
(i + 3) = i.
i =1 i=4
n+3
b.
(2 + j ) = 2 + j.
j =1 j =1
c.
ak = ak .
k =0 k =1
m
d.
n ar2 = ar . r =1 r =1
n
11.
n n n a b Demuestre que i j = ai . b j . j =1 i =1 i =1 j =1
12.
a.
Si
(k + 1) = (k
3 k =1 k =1
+ 3k 2 + 3k + 1), y si adems
(k + 1) = k
3 k =1 k =2
n +1
, demuestre que
k
k =1
n(n + 1)(2n + 1) . 6
n n
b.
3 3 2 Partiendo de la igualdad [k (k 1) ] = [3k 3k + 1] demuestre que k =1 k =1
k
k =1
n(n + 1)(2n + 1) . 6
13.
Demuestre las partes i, iii, iv y v del teorema 1 del mdulo 12.
188
Ejercicios de los mdulos 12 al 17
II.
Particin de un intervalo 1. Dadas las siguientes particiones:
P 1 = {0, 1 2, 5 4, 9 4, 3} una particin de [0,3] ; P2 = {1,5 3,9 4,8 3,3} una particin de [1,3] ;
P3 = {0, 1 2, 3 4, 5 4, 3 2, 9 4, 3} una particin de [0,3];

P4 = {1, 1 3, 1 2, 1,5 4, 2} una particin de [1, 2] :
a. Determine los subintervalos en los cuales cada particin divide al intervalo dado. Encuentre
P 1 , P 2 , P 3 y P 4 .
b. 2. Seleccione dos particiones del intervalo [0,3] , tales que una de ellas sea ms refinada que la otra.
Sea la funcin f ( x) = x definida en el intervalo [0,1] y sea P = {0, 1 4, 1 3, 1 2, 2 3, 3 4, 1} una particin de [0,1] . a. b. Halle los subintervalos en los cuales P divide al intervalo [0,1] . Cul es la norma de la particin? Si M k y mk representan el mximo y mnimo valor de f ( x) en el k-simo subintervalo, respectivamente, halle
M
k =1
xk y
m x .
k =1 k k
3.
Sea P = { x0 , x1 , x2 ,, xn } una particin de [ a, b] . Demuestre que: a. b.
P 1 = { x0 + c, x1 + c, , xn + c} una particin de [ a + c, b + c ].
P2 = {kx0 , kx1 , , kxn } una particin de [ka, kb], si k > 0.
III.
Integral de Riemann En los ejercicios 1 a 7 use la definicin de la integral definida (segn Riemann) para calcular
b a
f ( x) dx, siendo f (x) la
funcin dada, tomando una particin regular del intervalo [a, b] y eligiendo las ti como se enuncia en cada caso. 1. 2.
f ( x) = x en el intervalo [1, 3] ; ti : extremo derecho del i-simo subintervalo (rectngulos circunscritos). f ( x) = 2x + 1, en el intervalo [0, 5]; ti : extremo izquierdo del i-simo subintervalo (rectngulos inscritos).
Elementos de clculo integral y series 189 Captulo 3: bsicos Integral definida
3.
f ( x) = x2 , en el intervalo [1, 4]; ti : extremo derecho del i-simo subintervalo.
4. 5.
f ( x) = 2x + 3, en el intervalo [0, 4]; ti =
4i . n
3i . n
f ( x ) = x 2 1, en el intervalo [ 2]; ti = 1 +
6. 7.
f ( x) = 6 x, en el intervalo [1, 4]; ti : extremo derecho del i-simo subintervalo (rectngulos inscritos). f ( x) = 6 x, en el intervalo [0, 4]; ti : extremo izquierdo del i-simo subintervalo (rectngulos circunscritos).
8.
Demuestre, usando la definicin de la integral definida, que:
b a
e x dx = eb e a .
(Ayuda: tome una particin regular del intervalo [a, b], ti : extremo izquierdo del i-simo subintervalo. Use para la suma el ejercicio nmero 8 del apartado I Notacin sigma y en el lmite use la regla de LHopital.)
IV .
Propiedades de la integral definida y teorema del valor medio 1. En los literales a-i coloque una V o una F segn sea verdadero o falso el enunciado correspondiente. Justifique su respuesta. a. ______ Si f ( x) y g ( x) son integrables en [a, b], entonces su suma es integrable en [a, b], y la integral de la suma es la suma de las integrales de cada funcin. b. ______ Si f ( x) y g ( x) son integrables en [a, b], entonces su producto es integrable en [a, b], y la integral de su producto es el producto de las integrales de cada funcin. c. ______ Si f ( x) y g ( x) son integrables en [a, b], entonces su cociente es integrable en [a, b], y la integral de su cociente es el cociente de las integrales de cada funcin. d. ______ Si f ( x) y g ( x) son integrables en [a, b] y f ( x) g ( x) para todo x [a, b] , entonces
b a
f ( x) dx
b a
g ( x) dx.
e. ______ Si f ( x) es continua y f ( x) 0 para todo x [a, b] , entonces
b a
f ( x) dx 0.
190
f. ______ Si
b a
f ( x) dx 0, entonces f ( x) 0 para todo x [a, b]. f ( x) dx = 0, entonces f ( x) = 0 para todo x [a, b] .
g. ______ Si
b a
h. ______ Si f ( x) 0 y
b a
f ( x) dx = 0, entonces f ( x) = 0 para todo x [a, b].
i. ______ Si
b a
f ( x) dx
b a
g ( x) dx, entonces
b a
[ f ( x) g ( x)] dx 0.
En los ejercicios 2 a 11 suponga que f (x) y g (x) son funciones continuas en y que adems:
3 1
f ( x) dx = 4;
5 3
f ( x) dx = 3 ;
5 1
g ( x) dx = 2.
Calcule el valor de la expresin indicada: 2. 3. 4. 5. 6. 7. 8. 9. 10. 11. 12.
1 1
5 1 1 3
f ( x) dx.
[ f ( x) 4 g ( x)] dx. 2 f ( x) dx.
1 5
[ f ( x) + g ( x)] dx.
3 2 5
4 f ( x) dx + 4 f ( x) dx 2 g ( x) dx.
2 1 1
3 1 5 1
3 1
f ( x) dx + 4 f ( x) dx.
5
f ( x) dx + 3 g ( x) dx + 3g ( x) dx.
2 1
[2 f ( x) + g ( x)] dx + g ( x) dx.
3
5 3 3 1
[3 f ( x) + 4 g ( x)] dx + 4 g ( x) dx.
1
[2 f ( x) + 7g ( x)] dx [4 f ( x) 7 g ( x)] dx.

3
Sean f ( x) y g ( x) dos funciones tales que Calcule
4 1
f ( x) dx = 3,
7 4
f ( x) dx = 2 y 3g ( x) dx = 6.
1
1 7
[5 f ( x) + g ( x)] dx.
Elementos de clculo integral y series 191 Captulo 3:bsicos Integral definida
13.
Calcule
5 0
f ( x) dx en cada uno de los siguientes casos:
a.
si 0 x < 1 x f ( x) = 1 si 1 x 3 x 4 si 3 < x 5
x + 2 si 0 x < 2 f ( x) = 6 x si 2 x 5
b. 14.
En los literales a-f halle el valor de cada una de las siguientes integrales definidas: a. d.
2 2 3
x dx. x
b.
5 3 4 0
x 3 dx. x 1 dx.
c. f.
3 3
4
x dx.
x 3 x ) dx .
(x
3
) dx
e.
(2
2
15.
En los literales a-f siguientes encuentre un par de valores M y m tal que
m(b a)
b a
f ( x) dx M (b a).
a. c. e.
7 6
4 x dx. (x3 + 8 x 2 5 x + 3) dx.
b. d. f.
5 1
1 0
x 2 + 3 dx.
x 1 dx. x2
1 3
2 0
(3x 2 + 4 x 7) dx.
3 0
( x 2 + 3)1 3 dx.
16. 17.
Si f es continua en [a, b] , demuestre que
b a
f ( x) dx
b a
f ( x) dx (sugerencia: f ( x) f ( x) f ( x) ).
Encuentre el valor de c que satisface el teorema del valor medio para integrales si:
a. 18.
2 1
x 2 dx =
7 . 3
b.
0 2
x 3 dx = 4.
c.
2 0
( x 2 + 3 x + 1) dx =
32 . 3
Para los literales a-e verifique la validez del teorema del valor medio para integrales y determine el valor (s) de C de la conclusin: a. b. c.
f ( x) = x 2 + 1 en [0, 1].
f ( x ) = x 2 + x + 2 en [ 1, 1].
f ( x ) = 4 3 x 2 en [ 1, 1].
192
d. e. 19.
f ( x ) = e x en [0, 1].
f ( x) = 9 x 2 en [0, 3].
Demuestre que el teorema del valor intermedio garantiza que la ecuacin x3 4 x 2 + x + 3 = 0 tiene una raz entre 1 y 2. D un ejemplo de una funcin para la cual f ( x) 0 para todo x de [ a, b] , f ( x) > 0 para algn x de [ a, b] y adems
20.
b a
f ( x) dx = 0.
21.
Supngase que f es una funcin para la cual 0 f ( x) 1 si 0 x 1. Demuestre que existe al menos un nmero c en [0,1] tal que f (c) = c (sugerencia: haga g ( x) = f ( x) x ).
V .
Teoremas fundamentales del clculo En cada uno de los ejercicios 1 a 6 utilice el primer teorema fundamental del clculo para calcular la derivada que se indica. 1. 3. 5.
Dx
2x 1
4 + t 2 dt.
2. 4. 6.
Dx 3 t + 2 dt.
x
Dx
1+ x 2 5x 7
(t 2 + 1) dt.
Dx
Dx
x x2 + 2
2 x2 8 x2
(t + 2) dt.
Dx
x+2 x +2x
3
3 + t dt.
1 dt , t > 0. t
x 0
7.
Una funcin F est definida para todo x real por la frmula F ( x) = 3 +
t dt. Halle un polinomio t +1

2
cuadrtico P ( x ) = ax 2 + bx + c tal que: P (0) = F (0), P (0) = F (0) y P (0) = F (0).
8.
Encuentre una funcin f y un valor de la constante c, tal que:
x c
f (t ) dt = cos x
1 para todo x . 2
En los ejercicios 9 a 22 calcule la derivada de la funcin F(x) dada. 9. 11. 13.
F ( x) =
5 1
(sen 4 t 2 ) dt.
x
10. 12. 14.
F ( x) =
x 1
(sen t 2 ) 4 dt.
F ( x) = F ( x) =
1 x
sen 2 t dt + cos 2 t dt.

3
F ( x) =
x 4
e4t dt.
x
x 2
1 + t + t 2 dt.
F ( x) = x et dt.
4
15.
F ( x) =
x2 2
1 + t 2 dt .
16.
F ( x) =
1+ x 1 x
3x 2x
xet dt.
u 3 + 2 du x2 + 1 .
17.
F ( x) =
x x2
cos u du.
18.
F ( x) =
19.
F ( x) =
x3 3
t 2
. dt
20.
F ( x) =
x . 1 3 x2 1 + u 4 dt
3
21.
F ( x) =
x2 2 3 x2
tet dt . t 2 et dt
22.
F ( x) =
g (t ) dt f (t ) dt. 1
1
En los ejercicios 23 a 28 calcule el lmite indicado usando la regla de LHopital.
23.
lim
x 0
x 0
sen t dt t . x
3x .
24.
lim
x 1
x 1
1 + t 2 dt x2 1 .
25.
lim
x 0
x 0
e u du
2
26.
lim
x 1
x 1
x 1 + t 2 dt x2 1 .
27.
lim
x 0
x 0
t 1 + t 3 dt 8x .
28.
lim
x 0
x 0
(1 cos t ) dt x3 .
29.
Determine los intervalos donde crece y decrece, as como tambin los extremos relativos, de la funcin:
f ( x) =
1 x 2 3
t dt. 1+ t2
30.
Determine los intervalos de concavidad de la grfica, as como los puntos de inflexin, de la funcin:
f ( x) = (t 2 2t + 1)et dt.
1
31.
En los literales a-t evale cada una de las siguientes integrales definidas:
a. d. g.
5 0 2
(3x 2 + 5 x 1) dx. x 3 dx.

dy . ( y + 2)3
b. e. h.
3 1
dy . ( y + 2)3
c. f. i.
3 1
x dx . (3x 2 1) 3
2
3 1
1 1
3 1
x x dx.
x dx . (3 x 2 1)3
5 0
(3x 2 + 5x 1) dx.
5
x 9 x 2 dx.
194
j.
1 0
x sen ( x 2 ) dx.
k.
1 0
1 t ( t + 1)3
dt.
l.
2 1
1 1 1 + 2 t t dx e4 x . x
dt.
m.
e 4 sen 3 x cos 3 x dx.
n.
8 1
1 dx. x (3ln x + 4)
4 0
o.
p.
5 1
2 3 + x 1
dx , haciendo t 2 = x 1.
3 1
q.
3x + 1 dx , haciendo u = 7 x + 8. 7x + 8
r.
1 0
3 4+ x
dx , haciendo
x = u.
5 2
s.
x dx , haciendo w = 3x + 1. (3x + 1) 2
t.
7 1
4 5 + 4x + 9
dx , haciendo
4 x + 9 = u.
32.
La ley de accin de masa en qumica resulta de la ecuacin diferencial:

dx = k (a x)(b x); k > 0, a < 0, b > 0, dt
donde x es la cantidad de sustancia en el momento t que resulta de la reaccin de otras dos. Suponga que x = 0 cuando t = 0. i. ii. iii. iv. Resuelva esta ecuacin diferencial en el caso en que b > a. Demuestre que lim x(t ) = a (si b > a).
t
Suponga que a = 2 y b = 4 y que se forma 1 g de la sustancia en 20 minutos. Cunto habr en 1 hora? Resuelva la ecuacin diferencial si a = b.
33.
En muchos problemas de crecimiento de la poblacin hay una cota superior que no puede rebasarse. Supongamos que la Tierra no soporta una poblacin de mas de 16.000 millones y que haba 2000 millones de habitantes en 1925 y 4000 millones en 1975. Entonces, si y (t ) es la poblacin en t aos despus de 1 9 2 5 , un modelo apropiado para sta es la ecuacin diferencial:
dy = Ky(16 y). dx
i. ii. iii.
Resuelva esta ecuacin diferencial. Encuentre la poblacin en el ao 2015. Cundo la poblacin ser de 9000 millones?
34.
Los bioqumicos han propuesto el modelo

dy = k ( A y )( B + y ) dx
como un modelo para la produccin de la tripsina a partir del tripsingeno en la digestin, donde k > 0, A es la cantidad inicial de tripsingeno y B es la cantidad inicial de tripsina. Resuelva la ecuacin diferencial. 35. La ecuacin diferencial
dy = k ( y m)( M y ), con k > 0; 0 m < y0 < M , dx
ha sido utilizada para modelar algunos problemas de crecimiento. Resuelva esta ecuacin diferencial y
y (t ) . encuentre lim t
36.
Si m, n son enteros positivos, demuestre que:
sen mx sen nx dx =
0 si n m si n = m
37.
Calcule
cos mx cos nx dx ; m n.
38.
Sea f ( x) = an sen (nx) . Utilice el ejercicio 36 para comprobar cada una de las siguientes integrales:
n =1
a.
f ( x) sen ( mx) dx = 0
am
si m N si m > N
b.
f 2 ( x) dx = an 2 .
n =1
Las integrales de este tipo aparecen en las llamadas series de Fourier, que tienen aplicaciones en el calor, la vibracin de una cuerda y otros fenmenos fsicos. Recuerde que:
1 sen sen = [cos ( ) cos ( + )], 2 1 cos cos = [cos ( + ) + cos ( )]. 2
196
39.
Teorema de Pitgoras para integrales definidas Sean f, g y h tres funciones que satisfacen las siguientes condiciones:
g ( x) =
a c b c f x y h( x ) = f x , c a c b
siendo a, b, c enteros positivos que cumplen a 2 + b 2 = c 2 . Demuestre que:
a 0
g ( x) dx + h( x) dx = f ( x) dx.
0 0
Esto indica que las reas de regiones similares construidas en dos catetos de un tringulo rectngulo es igual al rea construida sobre la hipotenusa. Geomtricamente es como se muestra en la figura 1:
Figura 1
V .
Integrales impropias 1. Analice la convergencia o divergencia de las siguientes integrales impropias (a-n). Para las convergentes determine su valor.
a.
+ 1
+ 3
x 2 e x dx.
x dx 9+ x
2
b.
+ 4
xe x dx.
2
c.
dx . x5
d.
0
+
e.
e3 x dx.
dx x(ln x) x dx. ( x + 9) 2
2
f.
+ 1
dx 3x
g.
dx x(ln x) 2
x x +4
2
h.
dx.
i.
dx . (2 x 1)3
1 dx. x + 2x + 5
2
j. m.
k. n.
l.
+ 0
e x sen x dx.
+ 0
( x sen x) dx.
2.
Analice la convergencia o divergencia de las siguientes integrales impropias del tipo II. Para las convergentes determine su valor.
a.
2 1
dx . ( x 1)1 3 dx . (3 x) 2 3
b.
1 0
dx 1 x
2
2
c.
3 0
x dx. 9 x2 3 dx. x + x2
2
4 2
d.
e.
0 3
x dx . ( x 4) 2 3
dx 2x x
2
2 0
f.
g.
dx . 1 x 4
1
2 0
h.
i.
+ 1
dx x x2 1
3.
La funcin gamma ( ) est definida por:
( x) =
+ 0
e u u x 1 du; x > 0 .
a.
Demuestre que ( x + 1) =
+ 0
eu u x dx.
b. c. d. 4.
Integrando por partes, muestre que ( x + 1) = x( x). Demuestre que (1) = 1. Usando los resultados b y c demuestre que si n
+
, entonces (n + 1) = n !
Usando la funcin gamma calcule las siguientes integrales impropias: a.
+ 0
e x dx.
3
b.
+ 0
xe x dx.
3
c.
+ 0
e h x dx (h constante).
2 2
5.
Demuestre que
+ 0
x n e h x
2 2
n + 1 2 dx = n +1 ; n > 1 . 2h
6.
En la teora electromagntica, el potencial magntico u de un punto sobre el eje de una bobina circular est dado por:
u = Ar
a
dx , ( r + x 2 )3 2
2
donde A, r y a son constantes. Evale u.
7.
Demuestre que la integral impropia
x 3 dx diverge, pero lim
x 3 dx = 0.
8.
Demuestre que la integral impropia
x e x dx converge a 0 (cero).
2
9. 10.
Pruebe que
x e x dx = 0 para todo R 0.
2
Discuta la verdad o falsedad de la siguiente igualdad. Razone su respuesta.
f ( x) dx = lim
R R
f ( x) dx.

Integral Defiinida

Cargado por

Información del documento

Derechos de autor

Formatos disponibles

Compartir este documento

Compartir o incrustar documentos

Opciones para compartir

¿Le pareció útil este documento?

¿Este contenido es inapropiado?

Copyright:

Formatos disponibles

Integral Defiinida

Cargado por

Copyright:

Formatos disponibles

Captulo 3

Mdulo 12 Notacin sigma () y particin de un intervalo Mdulo 13 Integral segn Riemann

Notacin sigma ( ) y particin de un intervalo

Objetivos del mdulo

Elementos bsicos de clculo integral y series

Captulo 3: Integral definida

12.1 La notacin sigma ( ) y propiedades de la sumatoria

f (k ) se puede sustituir el ndice k por cualquier otro ndice i que

no aparezca en ella, sin que se altere el valor de la sumatoria; as por ejemplo,

Solucin a. Es este caso f (i ) = 2i ; luego

En este caso f ( j ) = j ( j + 1)( j + 2); luego

Ejemplo 2 Exprese utilizando la notacin , la siguiente suma:

Mdulo 12: Notacin sigma ( ) y particin de un intervalo

a1b2 + a2 b3 + a3b4 + a4 b5 = ak 1bk .

En general, existen muchas formas para expresar una misma suma.

(propiedad aditiva sobre la funcin)

(propiedad distributiva generalizada)

(sumatoria de una constante)

(propiedad aditiva de los lmites)

f ( j p ) (desplazamiento del ndice)

Elementos bsicos de clculo integral y series

Captulo 3: Integral definida vi.

= cf (m) + cf (m + 1) + + cf (n) = c [ f (m) + f (m + 1) + + f (n) ] = c. f (k ).

(definicin) (factorizando) (definicin)

[ f (k ) f (k 1)] = [ f (m) f (m 1)] + [ f (m + 1) f (m)] + [ f (m + 2) f (m + 1)]

Demuestre que Solucin

Mdulo 12: Notacin sigma ( ) y particin de un intervalo Como

2 k2 = (n + 1) 1 (propiedad telescpica aplicada a

5(5 + 1) 5 (ejemplo 3 y propiedad iii) 2 = 25. = 2.

Elementos bsicos de clculo integral y series

Captulo 3: Integral definida F.12.1.4

n(n + 1)(6n3 + 9n2 + n 1) . 30

12.2 Particin de un intervalo cerrado

ba , entonces la particin se llama n

cia, || P || > 0 . ii.

Si P y Q son dos particiones de [ a, b] , y si Q es una particin ms refinada que P, entonces || Q || || P || .

Captulo 3: Integral definida Ejemplo 1

Los subintervalos en los cuales P divide al intervalo [1, 3] son:

I1 = [1, 0]; I 2 = [0, 0.5]; I 3 = [0.5, 2]; I 4 = [2, 2.4]; I 5 = [2.4, 3] .

Las longitudes de cada subintervalo son:

Entonces la particin P de [ a, b] ser P = { x0 , x1 , x2, , xn } , en donde

Mdulo 12: Notacin sigma ( ) y particin de un intervalo

xk . Evale el siguiente lmite: lim P 0

= (b a) es una constante, se sigue entonces que

lim xk = lim (b a) = (b a).

Elementos bsicos de clculo integral y series

Integral segn Riemann

Objetivos del mdulo

Elementos bsicos de clculo integral y series

Captulo 3: Integral definida

13.1 rea bajo una curva a travs de sumas superiores e inferiores

donde M i es el mximo de f en [ xi 1 , xi ] . De lo anterior podemos concluir entonces que

Ejemplo 1 Sea f ( x ) = x 2 definida en [0, 2] y P = { x0 , x1 , , xn } una particin regular de

[0, 2] . Si M i es el valor mximo de f en [ xi 1 , xi ] , i = 1, 2,3, , n y mi es el valor

Elementos bsicos de clculo integral y series

Captulo 3: Integral definida mnimo de f en [ xi 1 , xi ] e i = 1, 2,3, , n, halle

Puesto que la particin es regular,

Mdulo 13: Integral segn Riemann de donde

8n(n 1)(2n 1) . 6n3

Luego, por el teorema del snduche,

Encontramos una manera muy elegante de hallar el rea comprendida entre

x = 0, x = 2 e y = 0 (eje x) bajo la curva y = x 2 .

Elementos bsicos de clculo integral y series

Captulo 3: Integral definida