Calculo Cap08

Cap tulo
Integral de Riemann
8.1. Introduccin
El clculo integral tiene sus orgenes en los llamados problemas de cuadraturas. Inicialmente, en la antigua Grecia, dichos problemas eran geomtricos y consistan en construir, siguiendo reglas precisas, un cuadrado con rea igual a la de una gura plana dada. En el siglo XVII, con el descubrimiento de nuevas curvas, los aspectos geomtricos de estos problemas pasaron a un segundo plano y las tcnicas de clculo ocuparon su lugar, los problemas de cuadraturas pasaron a ser simplemente problemas de clculo de reas y de volmenes. Se atribuye a Eudoxo la invencin del mtodo de exhauscin, una tcnica para calcular el rea de una regin aproximndola por una sucesin de polgonos. Arqumedes perfeccion este mtodo y, entre otros resultados, calcul el rea de un segmento de parbola y el volumen de un segmento de paraboloide, as como el rea y el volumen de una esfera. Sorprende que, siendo tan antiguos sus orgenes, la primera denicin matemtica de integral no fuera dada hasta el siglo XIX por Augustin Louis Cauchy. Una posible explicacin es que, durante los siglos XVII y XVIII, la integracin fue considerada como la operacin inversa de la derivacin; el clculo integral consista esencialmente en el clculo de primitivas. Naturalmente, se conoca la utilidad de las integrales para calcular reas y volmenes, pero los matemticos de la poca consideraban estas nociones como dadas de forma intuitiva y no vieron la necesidad de precisar su signicacin matemtica. Los trabajos de Joseph Fourier (1768-1830) sobre representacin de funciones por series trigonomtricas, hicieron que el concepto de funcin evolucionara, desde la idea restrictiva de funcin como frmula, hasta la denicin moderna de funcin dada por Dirichlet en 1837. Para entender el signicado de la integral de estas nuevas funciones ms generales se vio la necesidad de precisar matemticamente los conceptos de rea y de volumen. 386
Introduccin
387
La denicin de la integral de Cauchy segua la tradicional aproximacin del rea por rectngulos, en este sentido no era nada original; la novedad estaba en el hecho de considerar a la integral como un objeto matemtico merecedor de estudio por s mismo, y en el propsito de atribuirle un signicado independiente de las tcnicas que pudieran utilizarse en los clculos. Este signicado propio de la integral remite de forma inevitable a la idea de rea. Ningn matemtico anterior al siglo XIX haba considerado necesario elaborar una teora matemtica del concepto de rea; es en dicho siglo cuando el concepto de rea adquiere un signicado matemtico preciso o, mejor dicho, varios signicados matemticos, porque dicho concepto evolucion hasta que, en la primera dcada del siglo XX, adquiri esencialmente su forma actual. Puede que a ti el concepto de rea te parezca tan evidente que te resulte extrao que se dedicaran tantos esfuerzos a elaborar una teora matemtica del mismo. Es natural que pienses as. Las regiones planas y los slidos que usualmente nos interesan para calcular su rea o su volumen no son tan complicados que puedan hacernos dudar de si realmente tienen rea o volumen: polgonos o poliedros, regiones limitadas por curvas o por supercies que pueden denirse por sus respectivas ecuaciones, todos ellos tiene claramente su rea o su volumen y el problema real es calcularlos y no se entiende por qu hay que empearse en denirlos. As pensaban tambin los matemticos hasta el siglo XIX. Pero cuando empezaron a considerarse funciones cada vez ms generales, las cosas cambiaron mucho. Hay funciones para las que no es evidente que su grca determine una regin con rea. El siguiente ejemplo te ayudar a entender lo que quiero decir. 8.1 Ejemplo. Considera la funcin f W 0; 1 ! R que vale 2 en los nmeros racionales y 1 en los irracionales. Te imaginas cmo es la grca de esa funcin? Pare2 cera como la de la gura: dos segmentos de lnea recta, uno de ellos y D 1 sobre el que tendramos que marcar solamente los puntos irracionales del mismo, y otro 1 y D 2 sobre el que tendramos que marcar los puntos racionales. La regin del plano comprendida entre el intervalo 0; 1 y la grca de f sera el conjunto formado por todos los segmentos verticales de altura 1 levantados 0 0 1 sobre los puntos irracionales de 0; 1, y por todos los segmentos verticales de altura 2 levantados sobre un punto racional de 0; 1. Tiene rea este conjunto? Si decidimos que tiene rea, su valor es 1? es 2? qu signicado tiene la integral 1 0 f .x / dx ? Este ejemplo pone claramente de maniesto que el concepto de rea requiere ser precisado matemticamente. Debes tener claro que se trata de una necesidad terica que solamente se presenta en el estudio de la integracin de funciones muy generales. Para las aplicaciones ms usuales del clculo integral puede valernos perfectamente la idea intuitiva de rea o de volumen. La teora de la integral que actualmente se considera matemticamente satisfactoria, la llamada integral de Lebesgue, es difcil y, en mi opinin, innecesaria para los estudios de ingeniera; es una teora imprescindible para los matemticos y fsicos tericos, pero no lo es para la gran mayora de los ingenieros. En este captulo vamos a considerar la integral desde un punto de vista esencialmente prcUniversidad de Granada Dpto. de Anlisis Matemtico Prof. Javier Prez Clculo diferencial e integral
Aproximaciones al rea
388
tico. Nos interesa la integral como herramienta de clculo y, aunque para ese propsito la integral de Cauchy sera suciente para nosotros, estudiaremos la integral de Riemann, que es ms general sin ser ms complicada, y que aporta la ventaja de su gran poder heurstico como tendremos ocasin de comprobar. He reducido la teora al mnimo indispensable para una correcta comprensin del Teorema Fundamental del Clculo cuya demostracin se da con detalle, no as las de otros resultados y propiedades de la integral, de fcil comprensin conceptual, cuyas demostraciones, bastante previsibles, no me ha parecido conveniente incluir. La integracin es una de las herramientas ms verstiles del Clculo, sus aplicaciones no se limitan a calcular reas de regiones planas o volmenes de slidos, tambin se utiliza para calcular longitudes de curvas, centros de masas, momentos de inercia, reas de supercies, para representar magnitudes fsicas como el trabajo, la fuerza ejercida por una presin, o la energa potencial en un campo de fuerzas.
8.2. Aproximaciones al rea

Sea f W a; b ! R una funcin acotada. Representaremos por G.f; a; b / la regin del plano comprendida entre la grca y D f .x /, el eje de abscisas y las rectas x D a y x D b . Llamaremos a dicha regin el conjunto ordenado de f entre a y b .
y D f .x /
Figura 8.1. Conjunto ordenado G.f; a; b / de una funcin
Nos proponemos calcular el rea de regiones de este tipo. Puesto que, en general, G.f; a; b / no puede descomponerse en tringulos o rectngulos, no hay una frmula que nos permita calcular directamente su rea. En situaciones como esta, una estrategia bsica consiste en obtener soluciones aproximadas que permitan denir el valor exacto del rea como lmite de las mismas. Fjate que, al proceder as, estamos deniendo dicho valor exacto, es decir, estamos dando una denicin matemtica del concepto intuitivo de rea1 . Naturalmente, queremos que dicha denicin sea lo ms general posible, lo que depende del tipo de soluciones aproximadas que elijamos. Las aproximaciones consideradas en la teora de la integral de Lebesgue conducen a un concepto de rea muy general. En lo que sigue vamos a considerar las aproximaciones que conducen a la integral de Riemann.
1 Ello trae como consecuencia inevitable que haya regiones extraas en el plano que, segn la denicin dada, no tengan rea.
Universidad de Granada Dpto. de Anlisis Matemtico
Prof. Javier Prez Clculo diferencial e integral
389
Como los conceptos que vamos a introducir se interpretan con ms facilidad cuando la funcin f es positiva, es conveniente tener bien presente en lo que sigue el siguiente articio que permite representar cualquier funcin como diferencia de dos funciones positivas. Cualquier funcin f puede escribirse como diferencia de dos funciones positivas: f C .x / D jf .x /j C f .x / D ma K x ff .x /; 0g 2 f .x / D jf .x /j f .x / 2 D ma K x f f .x /; 0g
Es claro que f .x / D f C .x / f .x / y que f C .x / > 0, f .x / > 0. La funcin f C se llama parte positiva de f , y la funcin f se llama parte negativa de f . Si f .x / > 0 se tiene que f .x /Df C .x / y f .x /D0; mientras que si f .x /60 se tiene que f .x /D f .x / y f C .x /D0. Fjate que, a pesar de su nombre y de la forma en que se simboliza, la funcin f es una funcin positiva. Tambin es consecuencia de las deniciones dadas que jf .x /j D f C .x / C f .x /.
y D f C .x / y D f .x / a b a b a
y D f .x /
Figura 8.2. Partes positiva y negativa de una funcin
En la integral de Riemann el rea del conjunto G.f; a; b / se aproxima por rectngulos. Para ello, primero se divide el intervalo a; b en un nmero nito de subintervalos xk 1 ; xk , 1 6 k 6 n, cuyas longitudes pueden ser distintas y con la nica condicin de que no se solapen: a D x0 < x1 < x2 < < xn
1
< xn D b
Se dice que estos puntos constituyen una particin de a; b . A continuacin se elige en cada subintervalo un punto tk 2 xk 1 ; xk , y se forma el rectngulo cuya base es el intervalo n X xk 1 ; xk y altura igual a f .tk /. Finalmente se forma la suma f .tk /.xk xk 1 /.
k D1
8.2 Denicin. Sea P D fa D x0 ; x1 ; x2 ; : : : ; xn 1 ; xn D b g una particin del intervalo a; b , y elijamos un punto tk 2 xk 1 ; xk en cada uno de los intervalos de la misma. El nmero: .f; P / D
n X
f .tk /.xk
xk
1/
k D1
se llama una suma de Riemann de f para la particin P . 8.3 Observaciones. Fjate que, como hay libertad para elegir los puntos tk 2 xk jada P puede haber innitas sumas de Riemann.
1 ; xk , para cada particin
390
Cuando la funcin f es positiva y sucientemente buena, y las longitudes de todos los subintervalos de la particin son sucientemente pequeas, el nmero .f; P / es una buena aproximacin del rea de la regin G.f; a; b /. Observa que el rectngulo de altura igual a f .tk / est en el semiplano superior si f .tk / > 0 y en el semiplano inferior si f .tk / < 0. Cuando la funcin f toma valores positivos y negativos podemos escribir: .f; P / D D
n X
f .tk /.xk f C .tk /.xk
xk
k D1 n X
1/ D 1/
xk
k D1
k D1 n X
n X
.f C .tk /
f .tk //.xk xk
1/
xk
1 /D
f .tk /.xk
k D1
D .f C ; P /
.f ; P /
En este caso .f; P / es una aproximacin del rea de G.f C ; a; b / menos el rea de G.f ; a; b /. En la siguiente gura puede apreciarse esta aproximacin.
a y D f .x /
a y D f .x /
Figura 8.3. Aproximacin por sumas de Riemann
8.4 Denicin. Dada una particin P D fa D x0 ; x1 ; x2 ; : : : ; xn 1 ; xn D b g del intervalo a; b , denamos Mk D sup f xk 1 ; xk , mk D K nf f xk 1 ; xk . Los nmeros S .f; P / D
n X
Mk .x k
xk
1 /;
k D1
I .f; P / D
k D1
n X
m k .x k
xk
1/
se llaman, respectivamente, suma superior y suma inferior de f para la particin P 2 . 8.5 Observaciones. Puesto que para todo tk 2 xk 1 ; xk es mk 6 f .tk / 6 Mk , deducimos que para toda suma de Riemann, .f; P /, de f para la particin P es I .f; P / 6 .f; P / 6 S .f; P /. Para cada particin hay una nica suma superior y otra inferior.
Cuando f es positiva y sucientemente buena, y las longitudes de todos los subintervalos de la particin son sucientemente pequeas, el nmero S .f; P / es un valor aproximado
2 Es
para denir estas sumas para lo que se precisa que f est acotada en a; b .
Denicin y propiedades bsicas de la integral
391
por exceso del rea de la regin G.f; a; b /, y el nmero I .f; P / es un valor aproximado por defecto del rea de la regin G.f; a; b /. Cuando la funcin f toma valores positivos y negativos, el nmero S .f; P / es un valor aproximado por exceso del rea de G.f C ; a; b / menos el rea de G.f ; a; b /, y el nmero I .f; P / es un valor aproximado por defecto del rea de G.f C ; a; b / menos el rea de G.f ; a; b /. En la siguiente gura pueden apreciarse estas aproximaciones.
y D f .x /
y D f .x /
Figura 8.4. Aproximacin del rea por sumas inferiores y superiores
8.2.1. Denicin y propiedades bsicas de la integral

Supongamos que la funcin f es positiva en a; b . Es claro que, en tal caso, el valor exacto del rea de la regin G.f; a; b / debe ser un nmero mayor o igual que toda suma inferior, I .f; P /, y menor o igual que toda suma superior S .f; P /. Tenemos, en consecuencia, dos nmeros que son posibles candidatos para el rea de G.f; a; b /, a saber: K nf fS .f; P / W P 2 P a; b g y sup fI .f; P / W P 2 P a; b g :
Donde hemos representado por P a; b el conjunto de todas las particiones del intervalo a; b . Llegados aqu, podemos ya dar la denicin principal de la teora de la integral de Riemann. 8.6 Denicin. Sea f una funcin acotada y positiva en a; b . Se dice que el conjunto G.f; a; b / tiene rea cuando K nf fS .f; P / W P 2 P a; b g D sup fI .f; P / W P 2 P a; b g Dicho valor comn es, por denicin, el valor del rea y lo representaremos por .G.f; a; b //. Cuando esto ocurre, se dice tambin que la funcin f es integrable Riemann en a; b y, por denicin, la integral de f en a; b es igual a .G.f; a; b //. Simblicamente escribimos:
b a
f .x / dx D .G.f; a; b //
392
En el caso general en que la funcin f toma valores positivos y negativos, se dice que f es integrable Riemann en a; b cuando lo son las funciones f C y f , en cuyo caso se dene la integral de f en a; b como el nmero:
b a
f .x / dx D .G.f C ; a; b //
.G.f ; a; b //
8.7 Observaciones. No te confundas con la notacin. El smbolo a f .x / dx representa un nmero. La variable x que gura en l se suele decir que es una variable muda. Naturalmente, la letra x no tiene ningn signicado especial y puede sustituirse por la que t quieras o no poner ninguna; por ejemplo:
b b b b
f .t / dt ;
a a
f .s / ds ;
a
son tres formas de escribir lo mismo. Volveremos sobre esta notacin ms adelante cuando estudiemos tcnicas de integracin. La denicin anterior debes entenderla como una primera aproximacin matemtica al concepto intuitivo de rea. Aunque te pueda parecer extrao, el concepto de rea (y de integral) que acabamos de denir es bastante restrictivo. En el caso en que la funcin f toma valores positivos y negativos, observa que la grca de f se obtiene por simetra respecto al eje de abscisas de las partes de la grca de f en las que f .x / < 0. Como regiones simtricas respecto de una recta tienen la misma rea, se sigue que: .G.f; a; b // D .G.f C ; a; b // C .G.f ; a; b // D .G.f C C f ; a; b //D
b
D .G.jf j; a; b // D
jf .x /j dx
b
Seamos prcticos. Cmo podemos, a partir de la denicin dada, calcular a f .x / dx ? Una primera idea en este sentido consiste en observar que cuanto mayor sea el nmero de intervalos de la particin y ms pequea la longitud de cada uno de ellos cabe esperar que la aproximacin obtenida sea mejor. Para precisar esta idea, denimos el paso de una particin P , y lo representamos por .P /, como la mayor de las longitudes de los subintervalos de dicha particin. 8.8 Teorema (Convergencia de las sumas integrales). Sea f W a; b ! R una funcin integrable, fPn g una sucesin de particiones de a; b tal que f.Pn /g ! 0 y .f; Pn/ una suma de Riemann de f para la particin Pn . Se verica entonces que:
b n!1
lK m S .f; Pn / D lK m .f; Pn/ D lK m I .f; Pn/ D

n!1 n!1
f .x / dx
a
(8.1)
Este resultado permite en algunos casos particulares y con bastante esfuerzo e ingenio calcular ciertas integrales. Como ms adelante aprenderemos a calcular integrales con facilidad,
Universidad de Granada Dpto. de Anlisis Matemtico Prof. Javier Prez Clculo diferencial e integral
393
es ms interesante usar dicho resultado sensu contrario para calcular los lmites de ciertas sucesiones. Para ello se usa con frecuencia el siguiente corolario. 8.9 Corolario. Para toda funcin f integrable en 0; 1 se verica que: n k 1X f D lK m n!1 n n
k D1 1
f .x / dx
0
(8.2)
Teniendo en cuenta que cualesquiera sean las funciones f; g y los nmeros ; , se verica que .f C g; P / D .f; P / C .g; P /, para toda particin P , se deduce, haciendo uso del teorema 8.8, que la integral es lineal. Esta propiedad, junto con otras propiedades bsicas de las integrales se recogen en el siguiente resultado. 8.10 Proposicin (Propiedades bsicas de la integral). i) Linealidad. Si f; g son integrables en a; b y ; son nmeros reales, se verica que la funcin f C g tambin es integrable en a; b y
b a b a b a
.f .x / C g.x // dx D f .x / dx C g.x / dx :
ii) Conservacin del orden. Si f; g son integrables en a; b y f .x / 6 g.x / para todo x 2 a; b , entonces se verica que:
b b
f .x / dx 6
a a
g.x / dx
En particular, si f es integrable en a; b y m 6 f .x / 6 M para todo x 2 a; b , entonces se verica la siguiente desigualdad:

b
m .b
a/ 6
a
f .x / dx 6 M .b
a/
(8.3)
iii) Si f es integrable en a; b tambin jf j (funcin valor absoluto de f ) es integrable en a; b y se verica la desigualdad: b b f .x / dx 6 jf .x /j dx (8.4) a a v) Aditividad respecto del intervalo. Sea a < c < b . Una funcin f es integrable en a; b si, y slo si, es integrable en a; c y en c ; b , en cuyo caso se verica la igualdad:
b a c b
iv) El producto de funciones integrables Riemann tambin es una funcin integrable Riemann.
f .x / dx D
f .x / dx C
f .x / dx
c
394
Ha llegado el momento de preguntarse por condiciones que garanticen que una funcin es integrable Riemann. Nos vamos a contentar con una respuesta parcial a esta pregunta, que es suciente para nuestros propsitos. 8.11 Teorema (Condiciones sucientes de integrabilidad Riemann). Sea f W a; b ! R . Cada una de las siguientes condiciones garantizan que f es integrable Riemann en a; b . i) f est acotada en a; b y tiene un nmero nito de discontinuidades en a; b . En particular, toda funcin continua en un intervalo cerrado y acotado es integrable en dicho intervalo. ii) f es montona en a; b . Demostracin. Segn la denicin dada, una funcin f positiva y acotada en un intervalo a; b es integrable en a; b cuando las aproximaciones superiores estn arbitrariamente prximas de las aproximaciones inferiores al rea del conjunto ordenado de f . En otros trminos, una funcin f positiva y acotada en un intervalo a; b es integrable en a; b si, y slo si, para todo " > 0, hay una particin P" de a; b tal que S .f; P" / I .f; P" / 6 "3 . Probaremos que las funciones continuas y las funciones montonas en a; b satisfacen esta condicin. Ses f W a; b ! R continua en a; b , entonces sabemos que f est acotada en a; b . En particular, hay un nmero M tal que f .x / 6 M para todo x 2 a; b . Por tanto la funcin M f es continua y positiva en a; b y, como las funciones constantes son integrables, la integrabilidad de la funcin M f equivale a la integrabilidad de f . Podemos, por tanto, suponer que f es positiva en a; b . En virtud del teorema 7.59 la funcin f es uniformemente continua en a; b . Por tanto, dado " > 0, hay un nmero > 0, tal que para todos x ; y 2 a; b con jx y j < se verica que jf .x / f .y /j < "=.b a/. Sea P" una particin del intervalo a; b cuyos subintervalos Ik D xk 1 ; xk tienen longitud menor que . En virtud del teorema 4.29 hay puntos uk ; vk enIk en los que la funcin f alcanza su valor mnimo y mximo absolutos respectivamente en el intervalo Ik . Tenemos que: S .f; P" / I .f; P" / D
n X
f .vn /
k D0
f .un / .xk
xk / <
" b a
k D0
n X
.x k
xk / D ":
Lo que prueba que f es integrable en a; b . Supongamos ahora que f es continua en a; b y acotada en a; b pudiendo tener discontinuidades en los extremos del intervalo. Como f est acotada en a; b , podemos seguir suponiendo, por las mismas razones anteriores, que f es positiva en a; b . Sea M > 0 tal que f .x / 6 M para todo x 2 a; b . Dado " > 0, consideremos un intervalo c ; d donde a < c < d < b y c a < "=3M , b d < "=3M . Por la ya demostrado, como f es integrable en c ; d , hay una particin Q de c ; d tal que S .f; Q/ I .f; Q/ < "=3. Ampliamos dicha particin a una particin del intervalo a; b aadindole los puntos a y b . Llamemos a la particin de a; b as obtenida P" . Tenemos que: S .f; P" / I .f; P" / 6 .c a/M C S .f; Q/ I .f; Q/ C .b d /M < ":
Lo que prueba que f es integrable en a; b . Si ahora se suponemos que f est acotada en a; b y tiene un nmero nito de discontinuidades en a; b , llamando d1 < d2 < < dp a las
3 Esta caracterizacin de la integrabilidad es vlida para cualquier funcin acotada en a; b sin necesidad de suponer que sea positiva.
395
discontinuidades de f en a; b , por la ya demostrado la funcin f es integrable en cada uno de los intervalos a; d1 , dk ; dk C1 (k D 1; 2 ; : : : ; p 1), dp ; b . Por tanto f es integrable en la unin de todos ellos, es decir, en a; b . Supongamos ahora que f es montona en a; b . Podemos suponer que f es creciente, en cuyo caso f .b / f .x / > 0 para todo x 2 a; b , por lo que, al igual que hicimos antes, podemos suponer que f es creciente y positiva en a; b . Dado " > 0, tomemos una particin P" de a; b cuyos subintervalos Ik D xk 1 ; xk tengan longitud menor que "=.f .b / f .a//. Tenemos que: S .f;P" / I .f;P" / D
n X
k D0
f .x k / f .x k 1 / .x k " f . a/ .f .b /
xk / <
" f .b / f .a/
k D0
n X
f .x k / f .x k 1 / D
f .b /
f .a// D ":
Lo que prueba que f es integrable en a; b . En relacin con el punto ii) de este teorema, conviene observar que hay funciones montonas con innitas discontinuidades. 1 para to2n nD1 do x 20; 1, donde E .1=x / indica la parte de entera de 1=x , es decreciente en 0; 1 y tiene 1 discontinuidades en todos los puntos de la forma nC 1 para n D 1; 2 ; : : : . 8.12 Ejemplo. La funcin f W 0; 1 ! R dada por f .0/ D 1 y f .x / D Observa que la funcin viene dada por: 8 1 2; 1 1 < 2 C 4; 1 1 1 f .x / D 2 C 4 C 8; 1 1 2 C 4 C C : 1;
1 2 1 3 1 4 1 2n ; EX .1=x /
< x 6 1; <x61 2; <x61 3;
1 <x6n ; x D 0;
1 nC1
En la gura 8.5 puedes ver su grca en la que se han indicado con trazos verticales punteados las discontinuidades de salto de la funcin. Un tipo frecuente de funciones integrables son las que se denen a continuacin. 8.13 Denicin. Se dice que funcin f es continua a trozos en un intervalo a; b si hay una particin a D x0 < x1 < x2 < : : : < xn 1 < xn D b del intervalo a; b de forma que: f es continua en cada intervalo xi
1 ; xi ,
f tiene lmites laterales nitos en los puntos xi , i D 0; 1; : : : ; n.
para i D 1; 2 ; : : : ; n.
Una funcin continua a trozos en a; b tiene un nmero nito de discontinuidades y est acotada en a; b , por tanto es integrable en a; b .
396
1 2
1 4
1 2
1 8
1 4
1 16 1 8
C C
1 2
1 4
1 2
1 6
1 5
1 4
1 3
1 2
Figura 8.5. Funcin montona con innitas discontinuidades
8.14 Corolario. Seam f y g funciones que coinciden en todos los puntos de un intervalo a; b excepto en un nmero nito de ellos. Entonces se verica que f es integrable en a; b si, y slo si, g es integrable en a; b , en cuyo caso se verica que las integrales en a; b de ambas funciones coinciden. Demostracin. Denamos h D f g. La funcin h es nula en todos los puntos de a; b excepto en un conjunto nito de ellos, por tanto, h es una funcin continua a trozos en a; b y, b en consecuencia, h es integrable en a; b . Adems, es evidente que a h.x / dx D 0 (piensa que el conjunto ordenado de h entre a y b es un conjunto nito de segmentos verticales). Si, por ejemplo, f es integrable en a; b , la igualdad g D f h implica que tambin g es integrable b b b b en a; b y a g.x / dx D a f .x / dx a h.x / dx D a f .x / dx . 8.15 Observacin. El resultado anterior nos dice que, para estudiar la integrabilidad de una funcin, podemos modicar los valores de la misma en un conjunto nito de puntos porque eso no afecta para nada a su integrabilidad ni al valor de su integral. Igualmente, si una funcin no est denida en un conjunto nito de puntos de un intervalo, para estudiar su integrabilidad la denimos como queramos en dichos puntos, con la seguridad de que la funcin resultante ser o no integrable con independencia de nuestra denicin. En particular, una funcin continua y acotada en a; b n fa1 ; a2 ; : : : ; am g, donde los aj son puntos de a; b en los que f no est denida, es integrable en a; b . Por ejemplo, la funcin f .x / D sen.1=x / no est denida en 0. Si queremos estudiar su
El Teorema Fundamental del Clculo
397
integrabilidad en 0; 1, podemos denir f .0/ D 1 (o el valor que t quieras); con ello, f es una funcin continua en 0; 1 y acotada en 0; 1, por lo que es integrable en 0; 1.
8.2.2. El Teorema Fundamental del Clculo

Dada una funcin integrable f W a; b ! R , podemos denir una nueva funcin F W a; b ! R por:
x
F .x / D
f .t / dt
a
para todo x 2 a; b
Observa que aqu la variable es x el lmite superior de la integral. Por eso, es obligado no usar la misma letra x como variable de la funcin f en el integrando. F .x / es la integral de la funcin f en el intervalo a; x . Por denicin F .x / D .G.f C ; a; x // .G.f ; a; x //. Por supuesto, si f es positiva entonces F .x / D .G.f; a; x // es el rea del conjunto ordenado de f entre a y x . No debes x olvidar en lo que sigue que F .x / D a f .t / dt se ha denido en trminos de reas. A la funcin F la llamaremos la funcin rea de f en a; b . A veces hay que considerar funciones de la forma H .x / D c f .t / dt en donde a < c < b x y x 2 a; b ; por lo que es necesario precisar lo que se entiende por c f .t / dt cuando x < c . El convenio que se hace es que:
v u u x
f .t / dt D
f .t / dt
v
cualesquiera sean los nmeros u y v . La justicacin de este convenio es que, con l, la igualdad:
y z x x
f .t / dt C
f .t / dt C
f .t / dt D 0
(8.5)
se cumple cualesquiera sean los puntos x ; y ; z del intervalo a; b . Comprubalo. Nuestro prximo objetivo va a consistir en invertir el proceso que nos ha llevado de f x a F .x / D a f .t / dt . Nuestro problema es: Cmo podemos recuperar la funcin f a partir del conocimiento de la funcin rea de f ? El resultado que sigue, uno de los ms tiles del Clculo, establece una relacin entre dos conceptos aparentemente lejanos entre s: el concepto de rea y el de tangente a una curva, pues dicho resultado arma que la pendiente de la curva rea de f , y D F .x /, en un punto x es igual a f .x /. 8.16 Teorema (Teorema Fundamental del Clculo). Sea f W a; b ! R una funcin integrable y denamos F W a; b ! R por:
x
F .x / D para todo x 2 a; b . Entonces: i) F es continua en a; b .

f .t / dt
a
(8.6)
Primitivas. Regla de Barrow
398
ii) En todo punto c de a; b en el que f sea continua se verica que F es derivable en dicho punto siendo F 0 .c / D f .c /. En particular, si f es continua en a; b , entonces F es derivable en a; b y F 0 .x / D f .x / para todo x 2 a; b . Demostracin. i) Como f es integrable debe estar acotada. Sea M > 0 tal que jf .x /j 6 M para todo x 2 a; b . Entonces, si x < y son puntos de a; b tenemos que y y jF .y / F .x /j D f .t / dt 6 jf .t /j dt 6 M .y x /
x x
Por la misma razn, si suponemos que y < x , tendremos que jF .y / F .x /j 6 M .y x /. Estas dos desigualdades nos dicen que jF .y / F .x /j 6 M jy x j para todo par de puntos x ; y 2 a; b . De esta desigualdad se sigue inmediatamente la continuidad de F en a; b . ii) Pongamos
x x
f .t / dt F .x / x F .c / c f .c / D F .x /
x
f .c / dt
c
F .c / x
.x c
c /f .c /
.f .t / D
c
f .c // dt c
Dado, " > 0, la continuidad de f en c nos dice que hay un > 0 tal que para todo t 2 a; b con jt c j < se tiene que jf .t / f .c /j < ". Tomemos ahora un punto cualquiera x 2 a; b tal que jx c j < . Entonces es claro que para todo t comprendido entre x y c se tendr que jt c j < y, por tanto, jf .t / f .c /j < " por lo que: x .f .t / f .c // dt 6 "jx c j
c
Hemos probado que lK m
Deducimos que para todo x 2 a; b tal que jx c j < , y x c , se verica que x .f . t / f . c // d t "jx c j F .x / F .c / c D f . c / 6 D" x c jx c j jx c j
x !c
F .x / x
F .c / D f .c /, esto es, F es derivable en c y F 0 .c / D f .c /. c
8.2.3. Primitivas. Regla de Barrow

8.17 Denicin. Dada un funcin h W a; b ! R , cualquier funcin H W a; b ! R que sea continua en a; b , derivable en a; b y verique que H 0 .x / D h.x / para todo x 2a; b , se llama una primitiva de f en el intervalo a; b .
Primitivas. Regla de Barrow
399
Es importante advertir que no todas las funciones tienen primitivas. Por ejemplo, una condicin necesaria que debe cumplir una funcin para tener primitivas es que dicha funcin tenga la propiedad del valor intermedio pues, como recordars, las funciones derivadas tienen esa propiedad. Tambin, como consecuencia del teorema del valor medio, es inmediato que dos primitivas de una funcin en un mismo intervalo se diferencian en una constante. Por ello, si conocemos una primitiva de una funcin en un intervalo las conocemos todas. El siguiente resultado es una consecuencia muy importante del Teorema Fundamental del Clculo. 8.18 Corolario. Toda funcin continua en un intervalo tiene primitivas en dicho intervalo. Demostracin. Sea f una funcin continua en un intervalo I . Elijamos un punto 2 I . Cualquiera sea x 2 I el intervalo de extremos y x est contenido en I y f es continua en l y por tanto es integrable en l. Podemos por ello denir la funcin H W I ! R dada para todo x x 2 I por H .x / D f .t / dt . Esta funcin es derivable en todo intervalo cerrado y acotado contenido en I . Pues si a; b I , para todo x 2 a; b se tiene que:
x a x
H .x / D
f .t / dt D f .t / dt C
f .t / dt :
a
Por tanto, salvo una constante aditiva, la funcin H coincide en el intervalo a; b con la funcin rea de f en a; b , es decir, con la funcin F .x / denida por 8.6. Como f es continua en a; b (por ser continua en I ) el teorema fundamental del clculo nos dice que F es derivable en todo punto x 2 a; b y F 0 .x / D f .x /. Deducimos que H es derivable en todo punto x 2 a; b y H 0 .x / D f .x /. Finalmente, el hecho de que H sea derivable en todo intervalo cerrado y acotado contenido en I , implica, por la propiedad local de la derivabilidad, que H es derivable en I y su derivada en todo punto x 2 I viene dada por H 0 .x / D f .x /. Es importante que aprecies que este es un resultado de existencia; es la denicin que hemos dado de rea y por consiguiente de integral lo que nos ha permitido construir la funcin primitiva de f . La integracin es por tanto una herramienta que permite construir una funcin cuya derivada es conocida; por eso la integracin es una potente herramienta para construir nuevas funciones. 8.19 Estrategia. Para derivar funciones de la forma H .x / D a f .t / dt donde f es una funcin continua y g es una funcin derivable, se aplica el teorema fundamental del clculo y la regla de la cadena para derivar la funcin compuesta H .x / D F .g.x //, donde x F .x / D a f .t / dt . Para derivar funciones de la forma H .x / D
v.x / u.x / f .t / dt g.x /
donde f es una funcin conv.x / f .t / dt a u.x / f .t / dt a
tinua y u, v son funciones derivables, se escribe H .x / D se aplica lo dicho en el punto anterior.
El Teorema Fundamental del Clculo proporciona tambin una tcnica para calcular la integral de una funcin continua en un intervalo a; b . Para ello lo que hacemos es calcular una
Las funciones logaritmo y exponencial

x
400
primitiva de f en a; b . Si h es una tal primitiva, entonces las funciones F .x / D a f .t / dt , y h.x / h.a/ son dos primitivas de f en a; b que coinciden en un punto, pues ambas se anulan b en a. Deducimos que F .x / D h.x / h.a/ para todo x 2 a; b y, por tanto, F .b / D a f .t / dt D h.b / h.a/. Podemos generalizar este resultado como sigue. 8.20 Teorema (Regla de Barrow). Sea f W a; b ! R integrable y supongamos que h es una primitiva de f en a; b . Entonces:
b a
f .t / dt D h.b /
1 ; xn
h.a/
Demostracin. Sea P D fa D x0 ; x1 ; x2 ; : : : ; xn el teorema de valor medio, tenemos que: h.b / h.a/ D

n X
D b g una particin de a; b . Aplicando
.h.xk /
h.xk
k D1
1 // D
k D1
n X
f .tk /.xk
xk
1/
D .f; P /
La igualdad anterior nos dice que para toda particin P de a; b hay alguna suma de Riemann de f asociada a dicha particin, .f; P /, que es igual a h.b / h.a/. Si ahora tomamos una sucesin fPn g de particiones del intervalo a; b tales que .Pn / ! 0, tenemos que h.b / h.a/ D .f; Pn/ para alguna suma de Riemann, .f; Pn /, de f asociada a la particin b b Pn . Pero sabemos que .f; Pn / ! a f , por lo que obtenemos que h.b / h.a/ D a f . Fjate que en la regla de Barrow no se supone que f sea continua sino tan slo que es integrable y que, adems, tiene una primitiva.
8.2.4. Las funciones logaritmo y exponencial

Quiero convencerte de que muchas veces el clculo integral proporciona la interpretacin ms intuitiva de una funcin. Considera, por ejemplo, la funcin logaritmo natural. Quizs sepas expresar log 2 como lmite de una sucesin o algo parecido; pero, puedes representar de alguna forma intuitiva el nmero log 2? Sabras representar grcamente el nmero log 2? En la siguiente grca puedes ver el nmero log 2.
yD
1
1 x
21 1
dt
0 0 1 2 3 4
Figura 8.6. Logaritmo de 2
Las funciones logaritmo y exponencial
401
Espero que ests de acuerdo conmigo: la forma ms fcil e intuitiva de imaginar el nmero log t es como el rea de la regin plana limitada por la curva y D 1=x , las rectas x D 1, x D t , y el eje de abscisas. Dicha rea se considera positiva si t > 1 y negativa si t < 1. Dicho de otra forma: t 1 dx log t D x
1
Es frecuente interpretar esta igualdad de la siguiente forma: la funcin log x es derivable y t 1 log 0 x D 1=x ; por tanto 1 x dx D log t log 1 D log t . Parece que hemos probado algo! Y no es as porque en este razonamiento estamos usando que la funcin logaritmo es derivable y eso es algo que no hemos probado. Todava peor: ni siquiera hemos dado una denicin de la funcin logaritmo que permita probar las propiedades de dicha funcin. Usualmente se dene log x como el nmero y que verica que ey Dx . La existencia de ese nmero y est lejos de ser evidente. El propio nmero e tiene que ser denido de alguna forma apropiada. Hago estas reexiones para que te des cuenta de que lo que conoces de las funciones logaritmo, exponencial, trigonomtricas : : : , es un conocimiento descriptivo. De estas funciones conoces, porque te lo han dicho, su comportamiento; pero no creo que hayas demostrado sus propiedades. Bueno, no quiero que pienses que tus profesores de bachillerato te ocultan informacin, lo que ocurre es que una denicin de estas funciones que permita probar su existencia y demostrar sus propiedades requiere herramientas matemticas que no tienen cabida en las enseanzas medias. Precisamente, el Teorema Fundamental del Clculo permite denir estas funciones de forma fcil, elegante y correcta. Olvida ahora todo lo que sepas de la funcin logaritmo natural. Lo has olvidado ya? Sigamos. 8.21 Denicin. La funcin logaritmo natural es la funcin log WRC ! R denida para todo t > 0 por: t 1 dx log t D x
1
El Teorema Fundamental del Clculo nos dice que la funcin logaritmo natural es derivable (y por tanto continua) y que log 0 t D 1= t . Como la derivada es positiva, deducimos que dicha funcin es estrictamente creciente. Dado a > 0, sea h.x / D log.ax /. Entonces h 0 .x / D a=.ax / D 1=x . Luego la funcin h.x / log.x / tiene derivada nula en RC , por lo que es constante y, como para x D 1 es igual a log a, se sigue que h.x / log.x / D log a. Hemos probado as que log.ax / D log a C log x para todo a > 0 y para todo x > 0. Observa que en poco ms de tres lneas hemos obtenido ya las propiedades principales del logaritmo. Sigamos nuestro estudio. De lo ya visto se sigue que log.2n / D n log 2 para todo nmero entero n. De aqu se deduce que la funcin logaritmo natural no est mayorada ni minorada y, como es estrictamente creciente, concluimos que lK m log x D y lK m log x D C. Por tanto, podemos armar que dicha funcin es una biyeccin estrictamente creciente de RC sobre R.
x !0 x !C1
Representemos provisionalmente por ' W R ! R la funcin inversa del logaritmo. Dicha funcin se llama funcin exponencial. El teorema de derivacin de la funcin inversa nos dice
Integrales impropias de Riemann que ' es derivable y para todo x 2 R es: ' 0 .x / D 1 log
0 .'.x //
402
D '.x /
Ahora, dados, x ; y 2 R, sean a; b;2 RC tales que x D log a, y D log b . Entonces: '.x C y / D '.log a C log b / D '.log.ab // D ab D '.x /'.y / Hemos probado as que '.x C y / D '.x /'.y / para todos x ; y 2 R. De esta igualdad se deduce fcilmente que apara todo nmero racional r se verica que '.r / D '.1/r . El nmero '.1/ se e 1 representa con la letra e, es decir, es el nmero denido por la igualdad log e D 1 x dx D 1. Con ello para todo nmero racional r se tiene que '.r / D er , por lo que se usa la notacin '.x / D ex para representar a la funcin exponencial. Fjate con qu facilidad y elegancia hemos obtenido las propiedades principales de las funciones logaritmo natural y exponencial. Quedan as justicados todos los resultados vistos en captulos anteriores que dependen de dichas propiedades. As mismo, podemos denir la funcin arcotangente de la forma:
x
arc tg x D
1 dt : 1 C t2
Lo que constituye un punto de partida para denir las dems funciones trigonomtricas. Este proceso est desarrollado con detalle en [16]. Veremos ms adelante otro procedimiento ms directo para denir las funciones trigonomtricas.
8.3. Integrales impropias de Riemann

Una de las limitaciones de la teora de la integral de Riemann que hemos desarrollado es que en ella se consideran funciones acotadas en intervalos acotados. Queremos evitar estas limitaciones y considerar funciones no acotadas o intervalos no acotados. Los siguientes ejemplos indican el camino a seguir. p 1 8.22 Ejemplo. La funcin f .x / D p no est acotada en el intervalo 0; 1. Como h.x / D 2 x x es una primitiva de f en 0; 1, para todo t 20; 1 se tiene que:
1 t
1 p dx D h.1/ x
h.t / D 2
1
p m 2 t lK
1 t
t !0
1 p dx D 2 : x
Por tanto es natural denir:
1 p dx D 2 : x
Integrales impropias de Riemann 8.23 Ejemplo. Para todo > 0 se tiene que:
t
403
e
0
dx D
1 .1
lK m
t !C1
e
0
dx D
1 :
Por ello es natural denir:
C1 0
dx D
1 :
En el primer ejemplo hemos considerado una funcin no acotada, y en el segundo un intervalo no acotado. 8.24 Denicin. Sea f W c ; b ! R una funcin continua en el intervalo c ; b , donde suponemos que c 2 R y que b un nmero real mayor que c o bien b D C. Se dene la integral impropia de Riemann de f en c ; b como el lmite:
b c t
f .x / dx D lK m
t !b
f .x / dx
c
(8.7)
Supuesto, claro est, que dicho lmite exista y sea un nmero real, en cuyo caso se dice tambin que la integral de f es convergente en c ; b . Sea f Wa; c ! R una funcin continua en el intervalo a; c , donde suponemos que c 2 R y que a un nmero real menor que c o bien a D . Se dene la integral impropia de Riemann de f en a; c como el lmite:
c a c
f .x / dx D lK m
t !a
f .x / dx
t
(8.8)
Supuesto, claro est, que dicho lmite exista y sea un nmero real, en cuyo caso se dice tambin que la integral de f es convergente en a; c . Cuando el lmite (8.7) o (8.8) existe y es igual a C (resp. integral es positivamente o negativamente divergente.
) se dice que la respectiva
Sea f Wa; b ! R una funcin continua en el intervalo a; b , donde 6 a < b 6 C. Sea c 2 R con a < c < b . Se dice que la integral de f es convergente en a; b cuando las integrales de f en a; c y en c ; b son convergentes, en cuyo caso se dene:
b a c b
f .x / dx D
f .x / dx C
f .x / dx
c
(8.9)
8.25 Observacin. Como para todo u 2c ; b se verica que:

x c u x
f .t / dt D
f .t / dt C
f .t / dt ;
u
se sigue que la convergencia de la integral de f en c ; b equivale a la convergencia de la integral de f en u; b .

Criterios de convergencia para integrales 8.26 Ejemplo. Sea a 1. Se tiene que:

t
404
t1 a 1 d x D xa 1 a
1 1 a
Deducimos que:
C1 1
1 dx D lK m t !C1 xa
1 t
Anlogamente:
1
1 dx D lK m xa t !0
8 < 1 1 d x D 1 a :C xa
8 < 1 1 d x D a 1 :C xa
si a > 1 si a < 1
(8.10)
si a < 1 si a > 1
(8.11)
8.27 Ejemplo. Sea a 1. Usando la tcnica de integracin por partes, que estudiaremos ms log x adelante, es fcil calcular una primitiva de la funcin f .x / D a . Comprueba que: x F .x / D x1
a.
1 C .1 a/ log x / . 1 a/ 2 D F .t / F .1/. En consecuencia: si a > 1 si a < 1
es una primitiva de f en RC . Por tanto

C1 1
t 1 f .x / dx
Anlogamente:
1
1 log x dx D .1 a/2 : xa C 8 <
(8.12)
8 1 < log x . 1 a/ 2 dx D : xa
si a < 1 si a > 1
(8.13)
8.3.1. Criterios de convergencia para integrales

Naturalmente, no siempre vamos a disponer de una primitiva expresable por medio de funciones elementales, bien porque no exista o porque su clculo efectivo sea muy complicado. Por ello, interesa conocer condiciones que aseguren la convergencia de una integral sin necesidad de conocer una primitiva elemental. Lgicamente, estas condiciones no nos permitirn calcular el valor numrico de la integral; tan slo nos dirn si es o no convergente. Consideraremos integrales denidas en intervalos del tipo c ; b donde c < b 6 C1. Criterios de convergencia anlogos se verican para integrales denidas en intervalos del tipo a; c donde 1 6 a < c . El caso en que la funcin integrando es positiva es particularmente sencillo de estudiar.
Criterios de convergencia para integrales
405
8.28 Proposicin (Criterio bsico de convergencia). Sea f continua y positiva en c ; b . x Entonces, la integral de f en c ; b es convergente si, y slo si, la funcin F .x / D c f .t / dt est mayorada en c ; b , en cuyo caso: (x ) b
c
f .t / dt D sup
f .t / dt W x 2 c ; b
En otro caso la integral de f en c ; b es positivamente divergente. Las armaciones hechas son consecuencia de que, por ser f positiva en c ; b , la funcin x F .x / D c f .t / dt es creciente en c ; b . El siguiente criterio es consecuencia inmediata del anterior. 8.29 Proposicin (Criterio de comparacin). Sean f y g continuas y positivas en c ; b . Supongamos que la integral de g en c ; b es convergente y que f .x / 6 g.x / para todo x 2 c ; b . Entonces la integral de f en c ; b tambin es convergente. De este criterio se deduce fcilmente el siguiente. 8.30 Proposicin (Criterio lmite de comparacin). Sean f y g continuas y positivas en c ; b . Supongamos que: f .x / lK m D 2 RC : g . x / x !b Entonces las integrales de f y g en c ; b ambas convergen o ambas divergen positivamente. Demostracin. De la hiptesis hecha se deduce que existe un nmero u 2c ; b tal que para todo x 2 u; b se verica que: f .x / 3 1 6 6 2 g .x / 2 g.x / 6 2f .x / 6 3g.x /:
De estas dos desigualdades se deduce, por el criterio de comparacin anterior, que las integrales de f y de g en u; b son ambas convergentes o ambas divergen positivamente. Basta tener ahora en cuenta la observacin 8.25. 8.31 Denicin. Se dice que la integral de f es absolutamente convergente en un cierto intervalo cuando la integral de la funcin jf j es convergente en dicho intervalo. Naturalmente, los criterios de convergencia antes vistos para integrales de funciones positivas, pueden usarse para estudiar la convergencia absoluta de la integral de cualquier funcin. Por ello, el siguiente resultado es de gran utilidad. Para demostrarlo usaremos la siguiente caracterizacin de la existencia de lmite. 8.32 Proposicin (Condicin de Cauchy para la existencia de lmite). Sea b un nmero real o bien b D C1, sea c 0 existe un nmero u" 2c ; b tal que para todos x ; y 2u" ; b se verica que jf .x / f .y /j < ".
x !b
Teoremas del valor medio para integrales Demostracin.
406
a b /. Por hiptesis, para todo " > 0 existe un nmero u" 2c ; b tal que para todo x 2u" ; b se verica que jf .x / Lj < "=2. Para y 2u" ; b tambin ser jf .y / Lj < "=2. Deducimos que: " " jf .x / f .y /j D jf .x / L .f .y / L/j 6 jf .x / Lj C jf .y / Lj < C D ": 2 2 b a/. Probaremos que hay un nmero L 2 R tal que para toda sucesin fxn g ! b se verica que ff .xn /g ! L. Segn sabemos, por la proposicin 7.41, esto equivale a que f tenga lmite en b igual a L. Sea fxn g ! b , para probar que ff .xn /g es convergente probaremos que dicha sucesin verica la condicin de Cauchy. Dado " > 0, por la hiptesis hecha, hay un nmero u" 2c ; b tal que para todos x ; y 2u" ; b se verica que jf .x / f .y /j < "=2. Como fxn g ! c , existe un nmero natural m" tal que para todo p > m" se tiene que xp 2u" ; c . Deducimos que si p > m" y q > m" , entonces jf .xp / f .xq /j < ", lo que prueba que la sucesin ff .xn /g es de Cauchy y, por el teorema de completitud de R, es convergente. Sea L 2 R el lmite de ff .xn /g. Si ahora consideramos cualquier otra sucesin fyn g ! b , el mismo razonamiento anterior prueba que ff .yn /g converge. Debemos probar que su lmite tambin es L. Para ello, basta con observar que, como consecuencia de la hiptesis hecha, la sucesin ff .xn / f .yn /g converge a 0, pues para todo n sucientemente grande se tiene que xn ; yn 2u" ; b , por lo que jf .xn / f .yn /j < ". La proposicin anterior tiene una versin anloga para el caso de considerar un intervalo del tipo a; c con a un nmero real o a D 1. La condicin del punto b) de la proposicin anterior se llama condicin de Cauchy para f en b . 8.33 Teorema. Si la integral de f es absolutamente convergente, entonces la integral de f tambin es convergente. Demostracin. Supongamos que la integral de f es absolutamente convergente en c ; b . Ponx x gamos G.x / D b jf .t /j dt , F .x / D c f .t / dt . Por la hiptesis hecha, existe el lmite de G en b y es nito. En tal caso, se verica la condicin de Cauchy para G en b . Dado " > 0, hay un nmero u" 2c ; b tal que para todos x ; y 2u" ; b es jG.x / G.y /j < ". Teniendo en cuenta la desigualdad: x y y y jF .x / F .y /j D f .t / dt f .t / dt D f .t / dt 6 jf .t /j dt D jG.x / G.y /j ;
c c x x
se deduce que la funcin F verica la condicin de Cauchy en b , por lo que dicha funcin tiene lmite nito en b , es decir, la integral de f en c ; b es convergente.
8.4. Teoremas del valor medio para integrales

El teorema fundamental del clculo permite traducir a integrales el teorema del valor medio. Basta observar para ello que, si f es una funcin continua en un intervalo I y es un punto
Teoremas del valor medio para integrales
407
cualquiera de dicho intervalo, podemos aplicar el teorema del valor medio a la funcin derivable x F .x / D f .t / dt en el intervalo I . Segn dicho teorema, para cualquier par de puntos a; b 2 I se verica que hay algn punto c comprendido entre a y b tal que: F .b / b Pero esta igualdad es lo mismo que: 1 b
b b b
F . a/ D F 0 .c /: a
f .x / dx D f .c /
f .x / dx D f .c /.b
a/:
El nmero b 1 a a f .x / dx se llama promedio integral o media integral de f en a; b . Con poco esfuerzo podemos obtener un resultado ms general. 8.34 Teorema (Primer teorema de la media para integrales). Sean f una funcin continua en a; b y g una funcin positiva e integrable en a; b . Entonces se verica que hay algn punto c 2 a; b tal que:
b b a
f .x /g.x / dx D f .c / g.x / dx :
a
(8.14)
Demostracin. Por el teorema de Weierstrass 4.29,la funcin f alcanza un valor mnimo, m, y un valor mximo, M , en a; b . Como g.x / > 0 para todo x 2 a; b , tenemos que: mg.x / 6 f .x /g.x / 6 M g.x / .para todo x 2 a; b /:
La funcin f g es integrable en a; b por ser producto de funciones integrables. Como la integral conserva el orden entre funciones, se sigue que:
b b b
m g.x / dx 6
a b a
f .x /g.x / dx 6 M
a
g.x / dx :
b
De esta desigualdad se sigue que si a g.x / dx D 0, entonces tambin es a f .x /g.x / dx D 0 y la igualdad del enunciado se satisface trivialmente para todo c 2 a; b . En otro caso debe ser b a g .x / dx > 0 y deducimos que: m6
b a f .x /g .x / dx b a g .x / dx
6 M:
Puesto que la imagen por f del intervalo a; b es el intervalo m; M , de la desigualdad anterior se sigue que hay algn c 2 a; b tal que: f .c / D Como queramos probar.
b a f .x /g .x / dx b a g .x / dx
Teoremas del valor medio para integrales
408
8.35 Teorema (Segundo teorema de la media para integrales). Sea ' una funcin montona y con derivada continua en a; b , y sea f una funcin continua en a; b . Entonces hay algn punto c 2 a; b tal que:
b a c a b
f .x /'.x / dx D '.a/ f .x / dx C '.b / f .x / dx

c
(8.15)
Demostracin. Supongamos que ' es decreciente en a; b y '.b / D 0. Denamos las funciones x F .x / D a f .t / dt y H .x / D F .x /'.x /. Tenemos que H 0 .x / D F 0 .x /'.x / C F .x /' 0 .x / D f .x /'.x / C F .x /' 0 .x /. Por la regla de Barrow, obtenemos que:
b a b b f .x /'.x / C F .x /' 0.x / dx D H .b / H .a/ D 0 f .x /'.x / dx D F .x /. ' 0 .x // dx : a a
Como ' 0 .x / > 0 para todo x 2 a; b , podemos aplicar a la ltima integral el primer teorema de la media que asegura que hay algn c 2 a; b tal que:
b a b a c a
F .x /. ' 0 .x // dx D F .c / . ' 0 .x // dx D F .c /'.a/ D '.a/ f .x / dx :
Hemos probado as que hay un c 2 a; b tal que:

b a c
f .x /'.x / dx D '.a/ f .x / dx :
a
(8.16)
Esta igualdad es un caso particular de la igualdad del enunciado (recuerda que hemos supuesto que '.b / D 0). Consideremos ahora que ' es decreciente en a; b (no suponemos que '.b / D 0). Podemos aplicar la igualdad 8.16 a la funcin ' '.b / y obtenemos que hay algn c 2 a; b tal que:
b c
f .x /.'.x /
a b a
'.b // dx D .'.a/
c a c a
'.b // f .x / dx
a b a
f .x /'.x / dx D '.a/ f .x / dx C '.b / f .x / dx

b c
'.b / f .x / dx D
a
D '.a/ f .x / dx C '.b / f .x / dx : Esto demuestra el teorema para ' decreciente. El caso en que ' sea creciente se reduce al anterior considerando la funcin ' . El segundo teorema de la media para integrales es muy til para estudiar la convergencia no absoluta de integrales impropias pues, en muchos casos, permite probar que se satisface la condicin de Cauchy para la existencia de lmite. El teorema suele enunciarse con hiptesis mucho ms generales, pero las hiptesis con las que lo hemos probado son sucientes para nosotros.
Derivadas e integrales de funciones complejas de variable real
409
8.5. Derivadas e integrales de funciones complejas de variable real

Una funcin compleja de variable real es una funcin de la forma h.t / D f .t / C ig.t / donde f , g son funciones reales denidas en un intervalo I . Se dice que f es la parte real de h y g es la parte imaginaria, y escribimos f D Re.h/, g D Im.h/. Cuando las funciones f y g son derivables, se dice que h es derivable y se dene su derivada por la igualdad: h 0 .t / D f 0 .t / C ig 0 .t /: Cuando las funciones f y g son integrables en un intervalo a; b se dice que h es integrable en a; b y se dene la integral de h en a; b por la igualdad:
b a b b
h.t / dt D
f .t / dt C i
g.t / dt :
a
Naturalmente, si F y G son, respectivamente, primitivas de f y g en un intervalo a; b , entonces H .t / D F .t / C iG.t / es una primitiva de h en a; b y se verica la regla de Barrow:
b a b b
h.t / dt D
f .t / dt C i
g.t / dt D .F .b /
F .a// C i .G.b /
G.a// D H .b /
H .a/:
Anlogamente, si f y g son continuas en un intervalo I y elegimos un punto a 2 I , la funcin:

x x x
H .x / D es una primitiva de h en I .
h.t / dt D
f .t / dt C i
g.t / dt
a
8.36 Ejemplo. Sea C i un nmero complejo, la funcin: h.t / D e. Ci/t D e t ei t D e t cos. t / C i e t sen. t / es derivable y su derivada viene dada por: h 0 .t / D e t cos. t / e t sen. t / C i e t sen. t / C e t cos. t / D D e t . C i / cos. t / C i sen. t / D . C i / e t ei t D. C i /h.t /: d . Ci/t e D. C i / e. Ci/t : dt En consecuencia: e. Ci/t dt D 1 e. Ci/t C i (8.17)
Como era de esperar, hemos obtenido que:
En algunos de los siguientes ejercicios debers calcular algunas primitivas muy sencillas, es un buen momento para que repases las derivadas de las funciones elementales.
Ejercicios propuestos
410
8.5.1. Ejercicios propuestos

ex sen x . Justica que f es integrable en 0; 1 y se verica la desigualdad x 1 0 6 0 f .x / dx 6 e 1.
b a f .x / dx
365. Sea f .x / D
366. Sea f una funcin continua y positiva en a; b tal que f .x / D 0 para todo x 2 a; b . 367. Justica las desigualdades: 1 a/ < 6
2
D 0. Prueba que
1 1 dx < I b/ p < 10 C x 5 10 2
x 9 dx 1 1 nC1 1 < I c/ < log < : 10 C x 10 nC1 n n
368. Calcula la integral f .x / dx donde f .x / D sen x C cos x , y calcula el rea de la regin limitada por la grca de f y el eje de abscisas cuando x 2 ; . 369. Calcula los lmites de las siguientes sucesiones expresndolas como sumas de Riemann. 1 C 2 C C n ; . > 0/ n C1 1 1 1 Cp C C p b / xn D p n.n C 1/ n.n C 2/ n.n C n/ 1 1 1 c / xn D C C C nC1 nC2 nCn n n n C 2 C C 2 d / xn D 2 n C1 n C4 n C n2 nC2 nCn nC1 C 2 C C 2 e / xn D 2 n C1 n C4 n C n2 a/ x n D f / xn D h/ xn D
n X .n
n Deduce de la ltima desigualdad que e D lK m 1 C 1 . n

k /k n3 1= n
k D1
.2n/! n!nn
n 1 X k g / xn D 2 k sen n2 n k D1 nq X 1 i / xn D .p ; q 2 N ; p < q / k
k Dnp C1
370. Considera la funcin f W 0; 1 ! R denida por f .x / D 1=x y f .0/ D 0. Prueba que:

1 1
E.1=x / para 0 < x 6 1,
f .x / dx D lK m
t !0
1 x
1 E dx D 1 x
donde es la constante de Euler.

411
371. Sea f derivable en a; b y sea M > 0 tal que jf 0 .x /j 6 M para todo x 2 a; b . Dado n 2 N sea P la particin de a; b denida por los puntos xk D a C k b n a , donde n X b a . Prueba que: k D 0; 1; 2 ; : : : ; n. Pongamos D f .x k / n
k D1
S .f; P / y deduce que: b f .x / dx a
6M
.b n
a/2
372. Calcula las siguientes integrales.

1
.b a/2 : 6M n
2 3
a/
0
.x 2
e2
1/6 2x dx
b/
2 3 2
jcos x j dx
c/
1
4
log x dx x 1 C sen x dx cos2 x x x3 dx
d/
e
4
1 dx x log x p cos x sen x dx
e/
0
p sen x dx p x
f/
0 2
g/
0
h/
0
sen x dx cos x C 4
i/
1
Sugerencia. Todas ellas son inmediatas y se calculan usando la regla de Barrow. 373. Sea f una funcin continua tal que f 0 .=2/.
x 0
tf .t / dt D sen x
x t
x cos x . Calcula f .=2/ y !
374. Sea Sea f una funcin continua y denamos F .x / D y F 00 .x /. 375. Calcula la derivada de las siguientes funciones.
x3
t
1 1
f .s / ds
dt . Calcula F 0 .1/
a/ G . x / D c / G .x / D e / G .x / D g / G .x / D
cos.t 2 / dt
0 x 2 Cx p x x
b / G .x / D d / G .x / D
esen t dt
x2 ex
1 p dt 3 2 C t2 1 1 dt A dy 1 C sen2 t
sen.log t / dt
1
x sen u 1 u
0 1 sen2 x ex
0 @
y2
du
f / G .x / D
1
1 dt t 2 C sen4 t
cos.log2 .t 2 // dt
h/ G.x / D
3x 2 t 3 dt 1 C t4
Sugerencia. Aplica la estrategia 8.19.

Ejercicios propuestos 376. Calcula todas las funciones de clase C 1 en R tales que:
x
412
f .x / D
f .t /2 C f 0 .t /2 dt C 2008:
sen2 x
377. Prueba que para todo x 2 0; =2 se verica la igualdad:

cos2 x
p arc cos t dt C
arc sen
0
p tD 4
378. Sea g una funcin derivable en R y dos veces derivable en 0, siendo adems g.0/ D 0. Estudia la derivabilidad de la funcin f W R ! R denida por: f .0/ D Es f de clase C 1 ? 379. Sea F W 0; C1! R denida por F .x / D x e t dt . Estudia los extremos relativos y absolutos de F , intervalos de concavidad y convexidad, puntos de inexin y calcula el lmite de F en C1. 380. Sea f la funcin dada por: f .x / D Estudia la derivabilidad de F .x / D 381. Calcula los siguientes lmites.
x2 2x
2
g 0 .0/;
1 f .x / D x
g .t / dt t
.x 0/:
x 0 f .t / dt
2 x ; si x 6 1; 2 C x ; si x > 1. .
p sen. t / dt x3 b / lK m
x2
x
0 x !0 x 0 t2
t2
dt c / lK m !2
0 x !0 x >0 x
t2
a/ lK m
x !0 x >0 x 2 C1
p x x
dt
e sen t dt
x t2
e t
dt e/
x !C1
e lK m
0 x
dt
d / lK m
x !0
x2
e
0
2t 2
f / lK m
.sen t C cos t x2
1/ dt
dt
x !0
382. Estudia la convergencia de las siguientes integrales impropias y calclalas cuando sean convergentes. a/ d/
C1 1 C1 0
dx p x 4x 2 C x C 1 1C dx .x 2 C 1/3 x4
b/ e/
C1 0 1
xe
x2
dx
c/ f/
C1
log x dx x
0 C1 1
1 dx p x .1 C x / 1 dx 1 C x2
Ejercicios propuestos Sugerencias. En a) hacer x D 1= t y en d) x D tg t . 383. Estudia la convergencia de las siguientes integrales impropias.
1 1 C1 0 1
413
a/ d/
0 C1 1
cos x p dx 2 x x x dx ex 1
b/
0 1
x dx sen x x / dx
c/ f/
xC5 dx x3 C x
e/
0
log x log.1
1 p sen.1=x / dx x
Sugerencia. Los criterios de comparacin pueden ser tiles. 384. Estudia la convergencia de la integral ID Segn los valores de 2 R.
C1 0
x C sen x dx x sen x
sen x 385. Prueba que la integral 1 x p dx es absolutamente convergente para p > 1, es convergente pero no absolutamente convergente para 0 < p 6 1 y no es convergente para p 6 0.
C1
Sugerencia. Para 0 < p 6 1 usa el segundo teorema de la media. 386. Estudia para qu valores de y son convergentes las integrales siguientes. a/
C1 1
x e x dx
b/
C1 0
1 dx x .1 C x /
c/
0
x .1
x / dx
Sugerencia. Utiliza el criterio lmite de comparacin. 387. Justica que hay una funcin f W R ! R derivable cuya derivada es f 0 .x / D sen.1=x / para todo x 0, y f 0 .0/ D 0. 388. Sea f W RC o ! R la funcin denida por f .0/ D 0, f .1/ D log 2 y
x2
f .x / D
x !1
1 dt log t
.0 x 1/:
a) Prueba que lK m f .x / D log 2 y justica que f es de clase C 1 .

1
Aplicacin. Calcula la integral

0
t 1 dt . log t
t 1 Sugerencia: Sea g.t / D . Utiliza el primer teorema de la media para integrales para log t obtener que si 0 < x 1 hay algn punto c D c .x / comprendido entre x y x 2 tal que:
x2
f .x / D g .c /
1 t 1
dt :
Ejercicios resueltos 389. Justica, usando integrales, que para todo x > 0 se verica que: 1 < log.1 C x / 1Cx Dedduce que, dado p 2 N , p > 2, se verica que:
n!1
414
log x <
1 : x
lK m
k DnC1
pn X 1 D log p: k
8.5.2. Ejercicios resueltos

Antes de ver la solucin de un ejercicio debes intentar resolverlo! Ejercicio resuelto 180 Sea f .x / D ex sen x . Justica que f es integrable en 0; 1 y se vex 1 rica la desigualdad 0 6 0 f .x / dx 6 e 1.
Solucin. Como 0 6 sen x 6 x para todo x 2 0; 1, se sigue que 0 6 f .x / 6 ex 6 e para todo x 20; 1. En consecuencia la funcin f est acotada y es continua en 0; 1 n f0g. Podemos ahora apoyarnos en la observacin 8.15 para concluir que f es integrable en 0; 1. Alternativamente, podemos denir f .0/ D 1 con lo que cual resulta continua en todo el intervalo 0; 1. Finalmente, como la integral conserva el orden, tenemos que:
1 1
0 6 f .x / 6 e x
8x 2 0; 1
06
0
f .x / dx 6
0
ex dx D e 1
Ejercicio resuelto 181 Sea f una funcin continua y positiva en a; b con Prueba que f .x / D 0 para todo x 2 a; b . Solucin. Sea x 2 a; b . Pongamos
b xf b af b a f .x / dx
D 0.
Alternativamente, la funcin F .x / D a f .t / dt es derivable con F 0 .x / D f .x / > 0, lo que implica que F es creciente en a; b . Como F .a/ D F .b / D 0, deducimos que F .x / D 0 para todo x 2 a; b , lo que implica que f es la funcin nula en a; b . Ejercicio resuelto 182 Justica las desigualdades: 1 a/ < 6
2
t 2 a; b , se verica que > 0, por lo que 0 D > a f > 0. Deducimos que x x f D 0 . Como f es continua en a ; b , la funcin F . x / D a a f es derivable en a; b y F 0 .x / D f .x / para todo x 2 a; b . Evidentemente, F 0 es la funcin nula, luego f .x / D 0 para todo x 2 a; b .
x
x a f
b af
b xf.
Como f .t / > 0 para todo

x
1 1 dx < I b/ p < 10 C x 5 10 2
1 1 nC1 1 x 9 dx < I c/ < log < : 10 C x 10 nC1 n n

Ejercicios resueltos n . Deduce de la ltima desigualdad que e D lK m 1 C 1 n
415
Solucin. El resultado obtenido en el ejercicio anterior nos dice que si f es una funcin continua, positiva y no idnticamente nula en un intervalo a; b , entonces se verica que b a f .x / dx > 0. Las desigualdades propuestas son todas consecuencia de este resultado. 1 1 1 1 y g .x / D son continuas, 10 10 C x 10 C x 12 2 2 positivas y no idnticamente nulas en 0; 2, luego 0 f .x / dx > 0 y 0 g.x / dx > 0. Esto prueba las desigualdades pedidas. 1 1 1 c) Dado n 2 N , para todo x 2 n; n C 1 se tiene que < < . Razonando com nC1 x n antes, se sigue que: 1 D nC1
nC1 n
a) Para 0 6 x 6 2 las funciones f .x / D
1 dx < nC1
nC1 n
nC1 1 dx D log < x n
nC1 n
1 1 dx D : n n
Lo que prueba la desigualdad del enunciado. Multiplicando por n dicha desigualdad se obtiene: n nC1 nC1 n < n log D log < 1: nC1 n n n 1 ! 1, lo que Por el principio de las sucesiones encajadas, deducimos que log nC n n 1 implica, tomando exponenciales, que e D lK m 1 C n . Ejercicio resuelto 183 Calcula los lmites de las siguientes sucesiones expresndolas como sumas de Riemann. a/ xn D 1 C 2 C C n ; . > 0/ n C1 nC2 nCn nC1 C 2 C C 2 e / xn D 2 n C1 n C4 n C n2 1= n .2n/! i / xn D n!nn
Solucin. Aplicaremos en cada caso el corolario 8.9. k 1 Pn que es una suma de Riemann de la funcin f .x / D a) Tenemos que xn D k D1 n n x para la particin del intervalo 0; 1 dada por los puntos xk D k n (0 6 k 6 n). Pues, n X claramente, se tiene que xn D f .xk /.xk xk 1 /. Como > 0, la funcin f es integrable en 0; 1, y deducimos que:
k D1 1 n!1
lK m fxn g D
x dx D
1 : C1
Ejercicios resueltos e) Podemos escribir: xn D

n n X nCk 1X D n n2 C k 2
416
k D1
0; 1 dada por los puntos xk D (0 6 k 6 n). Como la funcin f es integrable en 0; 1 y .Pn / D 1 n ! 0, deducimos que:
1 n!1
que es una suma de Riemann de la funcin f .x / D

k n
1C k n 2 k k D1 1 C n
1Cx 1Cx 2
para la particin del intervalo
lK m fx n g D
p 1 D arc tg 1 C log 2 D C log 2: 2 4 i) Tomando logaritmos tenemos que: 1 1 log..2n/!/ log n!nn D log n!.n C 1/ .2n/ n log n log n! D log.xn / D n n n 1 1X nCk D .log.n C 1/ C log.n C 2/ C C log.2n/ n log n/ D D log n n n k D1 n k 1X : log 1 C D n n
k D0
1Cx dx D 1 C x2
1 dx C 1 C x2
x dx D 1 C x2
Por tanto, la sucesin yn D log.xn / es una suma de Riemann de la funcin log.1 C x / para la particin del intervalo 0; 1 dada por los puntos xk D k n , k D 0; 1; : : : ; n. Aplicando el corolario citado al principio, deducimos que: 1 1 1 x u D log.1 C x / dx D2 log 2 1: lK mfyn gD log.1Cx / dx D Dx log.1Cx /0 dv D dx 1Cx
0 0
Luego fxn g !
4 e.
Ejercicio resuelto 184 Considera la funcin f W 0; 1 ! R denida por f .x / D 1=x E .1=x / para 0 < x 6 1, y f .0/ D 0. Prueba que: 1 1 1 1 E dx D 1 ; f .x / dx D lK m x x t !0 t
0
donde es la constante de Euler. Solucin. La funcin f es continua en todos los puntos de 0; 1 excepto en 0 y en los 1 puntos de la forma nC 1 donde n 2 N . Claramente 0 6 f .x / 6 1. Por tanto, en cada intervalo t ; 0 con t > 0 la funcin f es integrable por estar acotada y tener en dicho intervalo un nmero nito de discontinuidades. Fijado 0 < t < 1, sea n D n.t / 2 N tal 1 1 que nC 1 < t 6 n . Tenemos que:
1 t
1 n
f .x / dx D
f .x / dx C
k D1 1 k C1
n 1 X
1 k
f .x / dx :
Ejercicios resueltos
1 < x6 Para k C 1 tenemos: 1 t 1 k
1 n
417
se tiene que E .1=x / D k . Luego, poniendo .t / D

n 1 X
1 k
f .x / dx ,
f .x / dx D .t / C D .t / C
k D1 n 1 X
1 k C1
1 x
dx D 1 k 1 k C1
n X 1 k
k D1
log.k C 1/
n 1 X
log k

D !
D .t / C log n
k D1
1 D .t / C 1 k C1
log n
k D1
Puesto que para t ! 0 ) n.t / ! C1, y 0 6 f .x / 6 1, se sigue que: 1 t lK m .t / D 0: 0 6 .t / 6 n.t / t !0 Concluimos que:
1 t !0 n X 1 k
lK m
f .x / dx D 1
n!1
lK m
k D1
log n D 1
Ejercicio resuelto 185 Calcula la derivada de las siguientes funciones.

x3
a/ G . x / D c / G .x / D e / G .x / D
cos.t / dt
0 x 2 Cx p x x
b / G .x / D d / G .x / D 1
esen t dt
x2 ex
1 p dt 3 2 C t2 1 dt A dy 1 C sen2 t
x3 0
sen.log t / dt
1
x sen u 1 u
0 @
y2
du
f / G .x / D
1 dt t 2 C sen4 t
Solucin. a) La funcin G.x / D

x
cos.t 2 / dt puede expresarse como la composicin de
la funcin F .x / D
cos.t 2 / dt con la funcin h.x / D x 2 . Por el teorema fundamental
del clculo, sabemos que F 0 .x / D cos.x 2 /. Por la regla de la cadena, tenemos que: G 0 .x / D .F h/ 0 .x / D F 0 .h.x //h 0 .x / D F 0 .x 2 /2x D 2x cos.x 4 /: c) Observa que en este ejercicio debes considerar que x > 0. Pongamos: G .x / D
x 2 Cx p x x 2 Cx 0 p x
1 p dt D 3 2 C t2
1 p dt 3 2 C t2
1 p dt : 3 2 C t2
x
418 p 1 p dt , g.x / D x , h.x / D x 2 C x . Tenemos que 3 2 2C t F .g.x // D .F h/.x / .F g/.x /:
Denamos F .x / D
G.x / D F .h.x // que: Como F 0 .x / D
1 1 p , g 0 .x / D p , h 0 .x / D 2x C 1, deducimos, al igual que antes, 3 2 2 x 2C x F 0 .g.x //g 0 .x / D 2C p 3 x 4 C 2x 3 C x 2

x
G 0 .x / D F 0 .h.x //h 0 .x /
y2
2x C 1
1 1 p p : 3 2C x2 x
e) Denamos H .y / D
x
H .y / es continua, de hecho es derivable, se sigue que G 0 .x / D H .x /. f) Sea F .x / D sen u 1 dt , h.x / D du . Tenemos que G.x / D .F h/.x /. 2 4 u t C sen t 1 0 Como las derivadas de F y de h son conocidas podemos calcular la derivada de G . Tenemos que: G 0 .x / D F 0 .h.x //h 0 .x / D 1 sen x : h.x /2 C sen4 h.x / x
x
1 dt . Entonces G.x / D 1 C sen2 t
H .y / dy . Como la funcin
0
Ejercicio resuelto 186 Prueba que para todo x 2 0; =2 se verica la igualdad:
cos2 x
p arc cos t dt C
cos2 x
sen2 x
arc sen
0
p tD 4 p t . Tenemos que:
Solucin. Denamos F .x / D
p arc cos t dt C
sen2 x
arc sen
0
F 0 .x / D 2 sen x cos x arc cos.cos x / C 2 sen x cos x arc sen.sen x / D 0: Donde hemos p tenido en cuenta pque para x 2 0; =2 se tiene que sen x > 0 y cos x > 0 por lo que sen2 x D sen x y cos2 x D cos x . Adems, sabemos que arc sen.sen x / D x para x 2 =2 ; =2 y arc cos.cos x / D x para x 2 0; . Por tanto ambas igualdades son vlidas para x 2 0; =2. Hemos probado as que la derivada de F es nula en el intervalo 0; =2, lo que implica que F es constante en dicho intervalo. Para terminar, bastar comprobar que algn valor de F es igual a =4. Para ello, recordemos que arc sen x C arc cos x D =2 para todo x 2 1; 1. Como cos2 .=4/ D sen2 .=4/ D 1=2, obtenemos fcilmente que F .=4/ D =4. Ejercicio resuelto 187 Sea g una funcin derivable en R y dos veces derivable en 0, siendo adems g.0/ D 0. Estudia la derivabilidad de la funcin f W R ! R denida por: f .0/ D
g 0 .0/;
1 f .x / D x
g .t / dt t
.x 0/:
Ejercicios resueltos Es f de clase C 1 ? Solucin. Pongamos h.x / D

x !0
419
g .x / para x 0. Como x g .x / x x !0 g.0/ D g 0 .0/; 0
lK m h.x / D lK m
deniremos h.0/ D g 0 .0/. Con ello, la funcin h es continua en R. Deducimos que f es derivable en R n f0g y: f 0 .x / D
x/ x g. x x g.t / 0 t x2
dt
g .x /
x g.t / 0 t x2
dt
La derivada de f es claramente continua en R n f0g. Comprobaremos que f es continua en 0 y que su derivada tiene lmite en 0, en cuyo caso la proposicin 6.19 nos dice que f es de clase C 1 . Para calcular el lmite de f en 0 podemos aplicar la regla de LHpital. lK m f .x / D lK m g .x / D g 0 .0/ x !0 x
x !0
x !0
lK m f .x / D f .0/:
Lo que prueba que f es continua en 0 y, por tanto, f es continua en R. Para calcular el lmite de f 0 .x / en 0, como g es derivable, podemos aplicar la regla de LHpital. lK m f 0 .x / D lK m g 0 .x / 2x x !0
g.x / x
x !0
x !0
lK m
g .x /
xg 0 .x / : 2x 2
Este ltimo lmite no puede calcularse por la regla de LHpital porque no sabemos si g 0 es derivable. Pensando un poquito, nos damos cuenta de que podemos calcularlo como sigue. La idea es conseguir utilizar la hiptesis de que g es dos veces derivable en 0. g .x / xg 0 .x / g.x / D 2x 2 xg 0 .0/ C xg 0 .0/ 2x 2 xg 0 .x / D g .x / xg 0 .0/ g 0 .x / g 0 .0/ : 2x 2x 2
Para calcular el lmite de la primera fraccin en 0 podemos aplicar LHpital (o el teorema de Taylor Young) y tenemos: lK m g .x / xg 0 .0/ g 0 .x / g 0 .0/ 1 00 D g .0/: D l K m 4x 4 x !0 2x 2
x !0
g 0 .x / g 0 .0/ 1 00 1 D g .0/. Concluimos que lK m f 0 .x / D g 00 .0/. Por la propo2x 2 4 x !0 x !0 1 00 0 sicin 6.19, concluimos que f es derivable en 0 con f .0/ D g .0/ y, por tanto, f 0 es 4 continua en 0, luego f es una funcin de clase C 1 en R. Y lK m Ejercicio resuelto 188 Sea F W 0; C1! R denida por F .x / D x e t dt . Estudia los extremos relativos y absolutos de F , intervalos de concavidad y convexidad, puntos de inexin y calcula el lmite de F en C1. Solucin. Observa que todo lo que se pide en este ejercicio depende del conocimiento de la funcin derivada de F que podemos calcular fcilmente.
2x
2
Ejercicios resueltos Poniendo F .x / D

2x 0
420 e
t2
dt e
x 0
t2
dt , deducimos que:
x2
F 0 .x / D 2 e
4x 2
x2 3x 2
De
2e
3x 2
El signo de F 0 es el mismo de 2 e
3x 2
1. Tenemos que:
1
.x > 0/
r log 2 1 2 2e 1>0 e > 3x 6 log 2 jx j 6 2 3 q 2 y F 0 .x / 6 0 Como consideramos que x > 0, obtenemos que F 0 .x /> para x 2 0; log 3 q q q 2 2 log 2 para x > log es creciente en 0; log 3 . Por tanto F 3 y es decreciente en 3 ; C1. q log 2 Deducimos que en x0 D 3 la funcin F alcanza un valor mximo absoluto en 0; C1. No hay otros extremos relativos, adems de x0 , porque la derivada solamente se anula en x0 .
3x 2
Por su denicin, se tiene que F .x / > 0 para todo x > 0, pues F es la integral de la 2 funcin continua positiva e t en el intervalo x ; 2x . Como F .0/ D 0, resulta que F alcanza en 0 un valor mnimo absoluto. Calculemos la segunda derivada. .x > 0/ p p Se obtiene fcilmente que F 00 .x / 6 0 para x 2 0; log 2 y F 00 .x / > 0 para x > log 2. p p en log 2; C1. Deducimos que F Por tanto, F es cncava en 0; log 2 y convexa p tiene un nico punto de inexin en x1 D log 2. Finalmente, como:
2x 2x
F 00 .x / D 16x e
4x 2
C2x e
x2
D2x e
x2
8e
3x 2
0 6 F .x / D y lK m x e
x !C1 x2
e
x
t2
dt 6
x
x2
dt D x e
x2
D0, obtenemos que
x !C1
lK m F .x / D 0.
Ejercicio resuelto 189 Calcula los siguientes lmites.

x2
p sen. t / dt x3 b / lK m
x2
x
0 x !0 x 0 t2
t2
dt c / lK m
0 x !0 x >0
t2
a/ lK m
x !0 x >0
p x x
dt
e sen t dt !2
x 2 C1
e t
dt e/
x !C1
e lK m
0 x
t2
dt
d / lK m
x !0
x2
e
0
2t 2
f / lK m
.sen t C cos t x2
1/ dt
dt
x !0
Ejercicios resueltos Solucin. Todos ellos se calculan aplicando las reglas de LHpital.
x2
421
p sen. t / dt x3
x2
a) lK m
x !0 x >0
p 2x sen. x 2 / 2 sen.jx j/ 2 2 sen x D lK m D lK m D lK m D : 2 x !0 x !0 3 x x !0 3 x 3 3x

x >0 x >0 x >0
p sen. t / dt x3 D 2 , por tanto, no existe el lmite en 0 de dicha fun3

1 1.
2
Observa que lK m cin.
x !0 x <0
e) Se trata de una indeterminacin del tipo 2 x t2 e d t 0 x 2t 2 dt 0 e
x !C1
lK m
D lK m D lK m
2 ex
x !C1
x t2 0 e dt e2x2
D lK m
x !C1
x t2 0 e dt ex 2
2 ex 2x
x !C1
2 ex
D lK m
x !C1
1 D0 x
Ejercicio resuelto 190 Estudia la convergencia de las siguientes integrales impropias y calclalas cuando sean convergentes. a/ d/
C1 1 C1 0
dx p x 4x 2 C x C 1 1C dx .x 2 C 1/3 x4
b/ e/
C1 0 1
xe
x2
dx
c/ f/
C1
log x dx x
0 C1 1
1 dx p x .1 C x / 1 dx 1 C x2
Solucin. En todos los casos, salvo a/ y d /, podemos calcular una primitiva inmediata que se puede usar para calcular la integral y, de paso, comprobar su convergencia. Antes de hacer a/ y d / estudia las tcnicas de clculo de primitivas. c)
C1 0
Sugerencias. En a) hacer x D 1= t y en d) x D tg t .
1 p dx D lK m u!C1 x .1 C x /
1
p 1 p dx D 2 lK m arc tg u D . u!C1 x .1 C x / 1 y 1.
0 t
d) La funcin que se integra se hace innita en los extremos del intervalo p 1 1 x2 dx D lK m D

1
t! 1
p 1
1 x2
dx C lK m
t !1
t !1
p 1
1 x2
dx D
t! 1
lK m arc sen t C lK m arc sen t D : lK m 1 .log t /2 D 1. 2
e)
0
log x dx D lK m x t !0
1 t
log x dx D x
t !0
Ejercicios resueltos Ejercicio resuelto 191 Estudia la convergencia de las siguientes integrales impropias.
1
422
a/
0
cos x p dx ; 2 x x
b/
0
x dx sen x
c/
C1 0
xC5 dx x3 C x
Sugerencia. Usa los criterios de comparacin. Solucin. Para hacer este ejercicio y los siguientes debes tener presentes los resultados 8.10 y 8.11. 1 cos x a) Pongamos f .x / D p . Se trata de estudiar la convergencia de la integral de f x2 x 1 en 0; 1. La funcin f .x / es positiva y asintticamente equivalente a p para x ! 0. 2 x 1 1 1 1 d x es convergente, por ser de la forma d x con D1 Como 0 p 0 x 2 < 1, deducix mos, por el criterio lmite de comparacin, que la integral 0 f .x / dx es convergente. xC5 . Es una funcin positiva para x > 0. Se trata de estudiar la c) Pongamos f .x / D 3 x Cx convergencia de la integral de f en 0; C1. Para ello estudiaremos la convergencia de las integrales de f en 0; 1 y en 1; C1. Tenemos las equivalencias asintticas: f .x / D xC5 1 5 x 1 C x2 x
C1 1 1 x2 1 1
.x ! 0/;
f .x / D
1 xC5 1 2 1 x2 x xCx
.x ! C1/
Como la integral convergente.
dx es convergente, se sigue que la integral de f en 1; C1 es
1 Como la integral 0 x dx es positivamente divergente, se sigue que la integral de f en 0; 1 es positivamente divergente. Por tanto la integral de f en 0; C1 es positivamente divergente.
Ejercicio resuelto 192 Estudia la convergencia de la integral ID Segn los valores de 2 R.

C1 0
x C sen x dx x sen x
Solucin. Pongamos f .x / D x
x C sen x . Como jsen x j < x para todo x > 0, se sigue x sen x que f .x / > 0 para todo x > 0. Se trata de estudiar la convergencia de la integral de f en 0; C1. Para ello estudiaremos la convergencia de las integrales de f en 0; 1 y en 1; C1. Tenemos las equivalencias asintticas: x C sen x 2x
1
y x
sen x
1 3 x 3
.x ! 0/ f .x / 6x 2>
.x ! 0/
Como la integral 0 x 2 dx es convergente si, y slo si, integral de f en 0; 1 es convergente si, y slo si, > 1.
1, deducimos que la
Tenemos tambin la equivalencia asinttica f .x / x para x ! C1. Como la integral C1 x dx es convergente si, y slo si, < 1, deducimos que la integral de f en 1 1; C1 es convergente si, y slo si, < 1. Por tanto, la integral de f en 0; C1 no converge para ningn valor de .
C1
423
sen x Ejercicio resuelto 193 Prueba que la integral 1 x p dx es absolutamente convergente para p > 1, es convergente pero no absolutamente convergente para 0 1 la integral C1 es convergente, se sigue, por el criterio de comparacin, que la integral 1 absolutamente convergente para p > 1. C1 1 1 xp sen x x p dx
dx es
Supongamos que 0 u > 1, dicho teorema arma que hay algn c 2 u; v tal que:
v u
1 sen x dx D p p x u
b a
c u
sen x dx C
1 vp
sen x dx :
c
Teniendo en cuenta que que:
sen x dx Djcos a
cos b j 6 jcos ajCjcos b j 6 2, deducimos
Concluimos, por la proposicin 8.32, que la funcin F .x / tiene lmite nito en C1, esto C1 sen x es, la integral 1 x p dx es convergente. Para probar que la integral no es absolutamente p convergente para 0 1= 2 para x 2 =4 ; 3=4 y, por la periodicidad del seno, tambin ser sen x > 1= 2 para x 2 2k C =4 ; 2k C 3=4, donde k D 0; 1; 2 ; : : : . Tenemos que para todo x 2 2k C =4 ; 2k C 3=4 es: 1 1 1 jsen x j 1 1 1 p >p >p > : p pp p xp . 2k C 3 = 4 / . 2k C 1 / . k C 1/p 2 2 2 2 Deducimos que:
2k C3=4 2k C=4
dt satisface la condicin " 2 de Cauchy en C1. Pues, dado " > 0, basta tomar u" > 1 tal que p < (lo que puede 2 u" hacerse por ser p > 0) para obtener que para todos v > u > u" es: v sen x 2 2 jF .u/ F .v/j D dx 6 p C p < ": p u x v u
De esta desigualdad se deduce que la funcin F .x / D
v sen x 2 2 d x 6 p C p: p u x v u
x sen t 1 tp
jsen x j 1 dx > : p p p x 4 2 .k C 1/p
Tenemos que para todo n 2 N :

2n C3=4 1 n X jsen x j dx > xp 2k C3=4 n X jsen x j 1 dx > : p p xp . k C 1/p 4 2 k D1
k D1 2k C=4
Ejercicios resueltos Como 0 p .k C 1/ k C1 k D1
424
k D1
donde fHn g D f1 C 1=2 C C 1= ng es la serie armnica. Sabemos que fHn g ! C1, por lo que de las dos desigualdades anteriores se sigue que: lK m
2n C3=4 1
n!1
jsen x j dx D C1 xp
t !C1
lK m
jsen x j dx D C1: xp
Luego la integral no converge absolutamente para 0 < p 6 1. Finalmente, si p 6 0 se comprueba que la funcin F .x / no verica la condicin de Cauchy en C1, por lo que no existe el lmite de F .x / en C1, es decir, la integral C1 sen x 1 x p dx no es convergente. Ejercicio resuelto 194 Estudia para qu valores de y son convergentes las integrales siguientes. a/
C1 1
x e x dx
b/
C1 0
1 dx x .1 C x /
c/
0
x .1
x / dx
Sugerencia. Utiliza el criterio lmite de comparacin. Solucin. Son integrales de funciones positivas y podemos usar los criterios de comparacin. a) Sabemos que para todo s < 0 es f .x / D x e x . Si < 0, sea s D =2. Tenemos que:
x !C1 x !C1
lK m x esx D0 cualquiera sea 2 R. Pongamos
lK m
f .x / D lK m x esx D0: x !C1 esx
f .x / 6 1, esto es, esx C1 f .x / 6 esx . Como s < 0 la integral 1 esx dx es convergente y, por el criterio de C1 comparacin, deducimos que la integral 1 x e x dx tambin es convergente. Por tanto, hay algn u0 > 1 tal que para todo x > u0 se verica que Si > 0 un razonamiento parecido al anterior, prueba que la integral es positivamente divergente para todo 2 R. Finalmente, si D 0 sabemos que la integral converge si, y slo si, < 1. Ejercicio resuelto 195 Justica que hay una funcin f W R ! R derivable cuya derivada es f 0 .x / D sen.1=x / para todo x 0, y f 0 .0/ D 0.
Solucin. Como la funcin h.x / D sen.1=x /, h.0/ D 0 es continua y acotada en R y tiene una nica discontinuidad en 0, el Teorema Fundamental del Clculo implica que la funcin f W R ! R denida para todo x 2 R por:
x
f .x / D
sen.1= t / dt
0
425
es continua en R y derivable en todo punto x 0 con derivada f 0 .x / D sen.1=x /. Queda probar que f es derivable en 0 con f 0 .0/ D 0. La derivada de f en 0 viene dada por el lmite: x 0 sen.1= t / dt lK m : x !0 x
0 Dicho lmite es una indeterminacin del tipo 0 (siempre es as cuando calculamos la derivada de una funcin continua). No puede aplicarse LHpital para calcular dicho lmite porque el cociente de las derivadas es justamente sen.1=x / que no tiene lmite en 0. Como queremos probar que dicho lmite es 0 el camino obligado es tratar de acotar la integral. Para ello, vamos a hacer primero un cambio de variable. Suponemos en lo que sigue que x > 0. x
C1 u ds sen s sen s t D 1=s; dt D s 2 D sen.1= t / dt D d s D l K m ds 2 t D x ; s D 1=x ; t D 0; s D C1 u!C1 s s2 1 1

x x
Sea u > 1=x . Podemos aplicar el segundo teorema de la media para obtener que hay algn punto c 2 1=x ; u tal que:
u
1 x
sen s ds D x 2 s2
1 x
sen s ds C
1 u2
sen s ds :
c
Hemos probado as que f es derivable por la derecha en 0 con derivada por la derecha en 0 igual a 0. El mismo razonamiento prueba que f es derivable por la izquierda en 0 con derivada por la izquierda en 0 igual a 0 (alternativamente, puedes usar que f es una funcin par). Por tanto, f es derivable en 0 y f 0 .0/ D 0. Ejercicio resuelto 196 Sea f W RC o ! R la funcin denida por f .0/ D 0, f .1/ D log 2 y
x2
b Teniendo ahora en cuenta que a sen s ds D jcos b cos aj 6 2, deducimos que para todo u > 1=x se verica que: C1 u u sen s 2 sen s sen s 2 d s d s d s 6 2x C D l K m 6 2x 2 2 2 2 2 u!C1 s u s s 1 1 1 x x x x x sen.1= t / dt sen.1= t / dt 0 D 0: m 0 6 2x lK x x x !0
x >0
f .x / D
x !1
1 dt log t
.0 x 1/:
a) Prueba que lK m f .x / D log 2 y justica que f es de clase C 1 .

1
Aplicacin. Calcula la integral

0
t 1 dt . log t
426
Sugerencia: Sea g.t / D
t 1 . Utiliza el primer teorema de la media para integrales para log t obtener que si 0 < x 1 hay algn punto c D c .x / comprendido entre x y x 2 tal que:
x2
f .x / D g .c /
1 t 1
dt :
Solucin. Denamos g.1/ D 1. Con ello, la funcin g es continua en RC o . Puesto que:

x2
f .x / D
g .t /
x
dt t 1
el primer teorema de la media implica que hay algn punto c D c .x / comprendido entre x y x 2 tal que:
x2
f .x /Dg.c /
dt 1
t x
Dg.c /.logjx 2
1j logjx
Puesto que, claramente se verica que x ! 1 ) c D c .x / ! 1 ) g.c / ! g.1/ D 1, de la igualdad anterior deducimos que lK m f .x / D log 2. Por otra parte es claro que t D 0, con lo que es continua en 0). Resulta as que f es continua en RC o . Tenemos tambin que para 0 x 1 es:
x x !0
x2 1 1j/Dg.c / log Dg.c / log.x C1/: x 1

1 log t
lK m f .x / D 0 D f .0/ (observa que podemos denir la funcin t 7!
x !1
igual a 0 para
f .x / D
1 dt C log t
x2
1 dt f 0 .x / D log t
x 1 1 2x D C D g.x /: 2 log x log x log.x /
Como lK mx!0 f 0 .x / D 0 y lK mx!1 f 0 .x / D g.1/ D 1, deducimos por la proposicin 6.19 0 0 0 C que f es derivable en todo RC o , con f .0/ D 0, f .1/ D 1 y f es continua en R o , es decir, f es de clase C 1 . Finalmente, como f ha resultado ser una primitiva de g en RC o , tenemos que:
1
t 1 dt D log t
g.t / dt D f .1/
f .0/ D log 2 :
Tcnicas de clculo de Primitivas
427
8.6. Tcnicas de clculo de Primitivas

8.6.1. Calcular una primitiva...Para qu?
Para calcular a f .x / dx donde f es una funcin continua, hay que calcular una primitiva de f , evaluarla en a y en b y hacer la diferencia. Pero, para qu calcular una primitiva? no x sabemos ya que una primitiva de f es la funcin F .x / D a f .t / dt ? Y, naturalmente, cualquier otra ser de la forma F .x / C C donde C es una constante. Qu inters tiene entonces el clculo de primitivas de funciones continuas? Respuesta: desde un punto de vista terico ninguno. b Ahora, si lo que queremos es aplicar la regla de Barrow para calcular el nmero a f .x / dx , x entonces la primitiva F .x / D a f .t / dt no nos sirve para nada porque si la evaluamos en a y en b y hacemos la diferencia obtenemos una identidad perfectamente intil para nuestros propsitos. Lo que necesitamos es conocer una primitiva de f que sea realmente evaluable, es decir que al evaluarla en a y en b proporcione valores numricos. En otros trminos, el problema del clculo de primitivas consiste en tratar de expresar la x primitiva trivial F .x / D a f .t / dt por medio de funciones elementales4 que permitan una evaluacin efectiva de la integral. Para eso sirven las tcnicas de clculo de primitivas. Pero no hay que olvidar que, si bien la derivada de una funcin elemental tambin es una funcin elemental, es frecuente que una funcin elemental no tenga primitivas que puedan ex2 presarse por medio de funciones elementales. Esto ocurre, por ejemplo, con las funciones e x , p sen x , sen.x 2 /, x 3 C 1, y muchas ms. En tales casos la forma ms sencilla de representar x x una primitiva de f es justamente mediante la funcin F .x / D a f .t / dt y, para obtener valores concretos de dicha funcin hay que recurrir a mtodos numricos de clculo de integrales. En lo que sigue vamos a considerar algunos tipos de funciones elementales cuyas primitivas tambin pueden expresarse por medio de funciones elementales y pueden calcularse con procedimientos ms o menos sistemticos. Para leer lo que sigue necesitas tener papel y un bolgrafo a mano para ir haciendo los ejercicios que se proponen. A calcular primitivas se aprende practicando; la imprescindible agilidad en los clculos la logrars haciendo decenas de ejercicios. Fjate que, en la mayora de los casos, se trata de ejercicios en los que tan slo tienes que aplicar una tcnica general a un caso particular. Esto es tan fcil que lo saben hacer los programas de clculo simblico, como Mathematica, Derive, Mapple y otros. Cuando se logre fabricar una calculadora de bolsillo que pueda ejecutar estos programas quizs ya no sea imprescindible aprender a calcular primitivas, pero hasta que llegue ese momento sigue siendo necesario que aprendas a calcular primitivas con agilidad. Sera lamentable que, por no saber calcular una primitiva, no puedas resolver una sencilla ecuacin diferencial, ni calcular una probabilidad, ni el rea de una supercie, : : : Las aplicaciones del clculo integral son tan variadas, que el tiempo que dediques a la prctica del clculo de primitivas ser ms rentable de lo que ahora puedas imaginar. Con cada tcnica de clculo de primitivas, se incluyen ejemplos y se proponen ejercicios sencillos para que compruebes si sabes aplicarla. Encontrars al nal una seccin de ejercicios resueltos de clculo de primitivas en la que se dan soluciones detalladas de algunos de los
4 Las funciones que se obtienen por medio de sumas, productos, cocientes y composiciones a partir de las funciones racionales, exponenciales, logartmicas, trigonomtricas y sus inversas, se llaman funciones elementales.
Observaciones sobre la notacin y terminologa usuales ejercicios propuestos y de otros nuevos.
428
8.6.2. Observaciones sobre la notacin y terminologa usuales

Para representar una primitiva de una funcin f , suele usarse la notacin f .x / dx . As, por ejemplo, se escribe x 1 a dx D log jx aj. Esta notacin es algo imprecisa porque no especica el intervalo en que se considera denida f . En el ejemplo anterior hay que interpretar que la funcin x 1 a est denida en uno de los intervalos 1; a o a; C1 y elegir la primitiva correspondiente. Estos pequeos inconvenientes estn compensados por la comodidad en los clculos que proporciona esta notacin. Es frecuente tambin, aunque no lo haremos en lo que sigue (pero mira el ejercicio (392)), aadir una constante arbitraria, C , y escribir x 1 a dx D log jx aj C C . La integral de una funcin en un intervalo, a f .x / dx , se llama a veces integral denida de f (y es un nmero), y al smbolo f .x / dx se le llama integral indenida o, simplemente, integral de f (y representa una primitiva cualquiera de f ). Aunque esto puede ser confuso, no olvides que, cuando hablamos de calcular la integral f .x / dx lo que realmente queremos decir es que queremos calcular una primitiva de f . Como ya sabes, en los smbolos f .x / dx o a f .x / dx la letra x puede sustituirse por cualquier otra y el smbolo dx (que se lee diferencial x) sirve para indicar la variable de integracin. Esto es muy til si la funcin f contiene parmetros. Por ejemplo, son muy diferentes las integrales x y dx y x y dy . Te recuerdo tambin que, si y D y .x / es una funcin de x , suele usarse la notacin dy D y 0 dx que es til para mecanizar algunos clculos pero que no tiene ningn signicado especial: es una forma de indicar que y 0 es la derivada de y respecto a x . xDd d Finalmente, si ' es una funcin, usamos la notacin '.x /xDc o simplemente, '.x /c para x!b indicar el nmero '.d / '.c /, y la notacin '.x / para indicar lK m '.x / lK m '.x /. Esta notacin es cmoda para las integrales impropias.
x !a x !b x !a b b
8.6.3. Primitivas inmediatas

Para calcular primitivas debes ser capaz de reconocer inmediatamente las siguientes primitivas inmediatas. Como ya se ha indicado antes, se omite, por brevedad, la constante de integracin. Te recuerdo que: tg x D cos x 1 1 sen x ; cotg x D ; sec x D ; cosec x D cos x sen x cos x sen x
En la siguiente lista de primitivas inmediatas se supone que a > 0 y que las races cuadradas toman valores reales, es decir, las funciones radicando son positivas.
ex C e x ex C e x senh x ; cosh x D ; tgh x D 2 2 cosh x p p 1Cx 1 2 2 1 ; argtgh x D log argsenh x Dlog x C x C 1 ; argcosh x Dlog x C x 2 1 x senh x D
Primitivas inmediatas Tabla de primitivas inmediatas
429
f .x / C1 f .x / f 0 .x / dx D . 2 R; 1/ C1 f 0 .x / log.f .x //; si f .x / > 0; dx D D log.jf .x /j/ log. f .x //; si f .x / < 0. f .x / ef .x/ f 0 .x / dx D ef .x/ sen.f .x //f 0 .x / dx D cos.f .x //
sec2 .f .x //f 0 .x / dx D tg.f .x // cosec2 .f .x //f 0 .x / dx D cotg2 .f .x //f 0 .x / dx D

0 .x /
cos.f .x //f 0 .x / dx D sen.f .x // sec.f .x //f 0 .x / dx D log sec.f .x // C tg.f .x // cosec.f .x //f 0 .x / dx D log cosec.f .x // cotg.f .x // cotg.f .x // f .x / f .x /
tg2 .f .x //f 0 .x / dx D tg.f .x //
cotg.f .x //
f .x / 1 f dx D arc tg 2 2 a a f .x / C a 0 f .x / f .x / dx D arc sen p 2 2 a a f .x / q f 0 .x / p dx D log f .x / C f .x /2 C a2 f . x / 2 C a2 q f 0 .x / dx D log f .x / C f .x /2 a2 p f .x /2 a2 q 1 1 f 0 .x / p dx D arc tg f . x / 2 a2 a a f . x / f . x / 2 a2 ! p a C a2 f .x /2 f 0 .x / 1 log p dx D a f .x / f .x / a2 f .x /2 ! p a C a2 C f . x / 2 1 f 0 .x / log p dx D a f .x / f . x / f . x / 2 C a2 p x 1 p a2 arc sen a2 x 2 dx D x a2 x 2 C 2 2 a 2 p p p 1 p x 1 a a2 log x C x 2 C a2 D x x 2 C a2 C argsenh x 2 C a2 dx D x x 2 C a2 C 2 2 2 2 a p p p 2 1 a log x C x 2 a2 x 2 a2 dx D x x 2 a2 2 2
Integracin por partes
430
8.6.4. Integracin por partes

Si u y v son funciones con derivada primera continua en un intervalo, por la regla de derivacin para un producto sabemos que: .u.x /v.x //0 D u0 .x /v.x / C u.x /v 0 .x /. Deducimos que la funcin producto uv es una primitiva de la funcin u 0 v C v 0 u, es decir: .u0 .x /v.x / C u.x /v 0.x // dx D u.x /v.x / Lo que suele escribirse en la forma: u dv D uv v du : (8.18) u.x /v 0 .x / dx D u.x /v.x / v.x /u0 .x / dx :
Por supuesto, esta igualdad podemos usarla para calcular integrales denidas:
b b
u.x /v 0 .x / dx
a
Finalmente, si u y v estn denidas en un intervalo abierto de extremos 1 6 a < b 6 C1 y existen los lmites lK m u.x /v.x / y lK m u.x /v.x /, entonces la igualdad (8.19) nos dice que las integrales a v.x /u 0 .x / dx y a u.x /v 0 .x / dx ambas convergen o ninguna converge y, cuando son convergentes se verica que:
b a b b x !a b x !b
xDb D u.x /v.x /xDa
v.x /u 0 .x / dx :
a
(8.19)
Naturalmente, si queremos usar este mtodo para calcular una integral f .x / dx lo primero que hay que hacer es expresar f .x / D u.x /w.x / de forma que el clculo de v.x / por la condicin, v 0 .x / D w.x /, es decir la integral v.x / D w.x / dx , sea inmediata. Tenemos entonces f .x / dx D u.x /w.x / dx D u.x /v 0 .x / dx D u.x /v.x / v.x /u 0 .x / dx (8.21)
x!b u.x /v 0 .x / dx D u.x /v.x /x!a
v.x /u 0 .x / dx
a
(8.20)
Veamos algunas situaciones en las que este mtodo puede aplicarse con xito. Cuando la integral v.x /u 0 .x / dx es inmediata. Por ejemplo, para calcular una integral f .x / dx en la que la derivada de f .x / es ms sencilla que la propia funcin, como es el caso de log x , arc sen x , arc tg x . Entonces conviene tomar u.x / D f .x / y v 0 .x / D w.x / D 1 en (8.21), con ello resulta que: f .x / dx D xf .x / 8.37 Ejemplo. arc tg x dx D 4 2 u D arc tg x ! du D 3 1 d x 5 D x arc tg x 1 C x2 x dx D 1 C x2 xf 0 .x / dx :
dv D dx ! v D x 1 x arc tg x C log.1 C x 2 / 2

Integracin por partes
431
Cuando la integral v.x /u 0 .x / dx es del mismo tipo que la integral de partida, pero ms sencilla, de manera que reiterando el proceso se llega a una integral inmediata. Este es el caso cuando f .x / es de la forma P .x / eax , P .x / sen.ax /, P .x / cos.ax /, donde P .x / es una funcin polinmica. En todos los casos se elige u.x / D P .x /, y v 0 .x / D eax , v 0 .x / D sen.ax /, v 0 .x / D cos.ax /. 8.38 Ejemplo. P .x / eax 3 u D P .x / ! du D P 0 .x / dx eax 5 ax D P . x / dx D 4 e a dv D eax dx ! v D a 2 1 a P 0 .x /e ax dx
La ltima integral es del mismo tipo que la primera pero con el grado del polinomio rebajado en una unidad. El proceso se repite tantas veces como sea necesario. Cuando la integral v.x /u 0 .x / dx es parecida a la de partida, de forma que al volver a aplicar el proceso la integral de partida se repite y es posible despejarla de la igualdad obtenida. 8.39 Ejemplo. cos.log x / dx D 4 D x cos.log x / C 2 u D cos.log x / ! du D dv D dx ! v D x 2 3 1 sen.log x / dx 5D x
D x cos.log x / C x sen.log x / deducimos que
sen.log x / dx D 4
u D sen.log x / ! du D
dv D dx ! v D x
cos.log x / dx
3 1 cos.log x / dx 5D x
cos.log x / dx D
x cos.log x / C sen.log x / . 2
8.6.4.1.
Integracin por recurrencia
La tcnica de integracin por partes permite en algunas ocasiones relacionar una integral de la forma In D f .x ; n/ dx en la que interviene un parmetro n (con frecuencia un nmero natural) con otra del mismo tipo en la que el parmetro ha disminuido en una o en dos unidades. Las expresiones as obtenidas se llaman frmulas de reduccin o de recurrencia y permiten el clculo efectivo de la integral cuando se particularizan valores del parmetro. Los siguientes ejemplos son ilustrativos de esta forma de proceder. 8.40 Ejemplo. .log x /n u D . log x / ! d u D n n .log x / dx D 4 x dv D dx ! v D x 2
n 1
dx 5
D x .log x /n n .log x /n
dx
Integracin por partes 8.41 Ejemplo. x n eax 3 u D x n ! du D nx n 1 5 D 1 .x n eax nIn dx D 4 eax ax a dv D e dx ! v D dx a 2
432
In D
1/
8.42 Ejemplo (Frmulas de Wallis y de Stirling). " u D senn 1 x ! du D .n 1/ senn n Jn D sen x dx D dv D sen x dx ! v D cos x D D cos x senn
1
x cos x dx
x C .n x C .n
1/ 1/
senn
x cos2 x dx D x dx .n
1
cos x senn
senn
1/Jn xC n n n n 1 In
2:
Y deducimos fcilmente que particular:

=2
senn x dx D n n 1
1 cos x senn n
=2
senn
x dx . En
In D
senn x dx D
senn
0
x dx D
Como I0 D =2 e I1 D 1, se deducen fcilmente las igualdades: I2nC1 D 2 4 6 .2n/ ; 3 5 7 .2n C 1/ I2n D 1 3 5 .2n 1/ 2 2 4 6 .2n/ I2n 1 2n C 1 D I2nC1 2n
n!1
n D 1; 2 ; : : :
1,
(8.22)
Como la sucesin fIn g es decreciente, tenemos que I2nC1< I2n< I2n 1< I2n I2nC1 <
de donde:
Por el principio del as sucesiones encajadas, deducimos que lK m 1
I2n D 1. Puesto que: I2nC1
1 3 5 .2n 1/ 3 5 7 .2n 1/.2n C 1/ I2n D D I2nC1 2 2 4 6 .2n/ 2 4 6 .2n/ 2n C 1 3 5 7 .2n 1/ 2 3 5 7 .2n 1/ 2 D n 2 2 4 6 .2n/ 2 4 6 .2n/
Deducimos la llamada frmula de Wallis: 2 1 2 4 6 .2n/ D lK m : n!1 n 3 5 7 .2n 1/ Teniendo en cuenta que: 2 2 4 6 .2n/ .n!/2 22n p Dp n.2n/! n 2 4 .2n/ 3 5 .2n
(8.23)
1 2 4 6 .2n/ Dp ; n 3 5 .2n 1/ 1/

Integracin por partes deducimos que: p .n!/2 22n D lK m p : n!1 n.2n/! Denamos: an D Es de comprobacin inmediata que: a2 .n!/2 22n p Dp n n.2n/! 2a2n n! en p : nn n
433
(8.24)
Supongamos que la sucesin fan g converge a un nmero L > 0 (lo que probaremos despus). Entonces tambin ser fa2n g ! L y de la igualdad anterior y la (8.24) se deduce que: p a2 L L2 D lK m D p n D p Dp : n!1 2a2n 2L 2 Por tanto L D p 2 . Obtenemos as la frmula de Stirling: p n! en D p 2: n!1 nn n lK m Que suele escribirse en la forma: n! lK m p 2 n nn e
n
n!1
D 1:
(8.25)
Nos que probar que la sucesin fan g converge a un nmero positivo. Probaremos que es decreciente. p 1 1 n! en .n C 1/nC1 n C 1 1 nC 2 an D D np 1C anC1 e n n n .n C 1/! enC1 Tomando logaritmos: log an anC1 1 1 D nC log 1 C 2 n 1:
Se trata de un lmite muy til porque proporciona la equivalencia asinttica para el factorial: n n p p n! 2 n nn e n D 2 n (8.26) e
Usaremos ahora el teorema de Taylor Young. El polinomio de Taylor de orden 3 de la funcin log.1 C x / en 0 es x x 2 =2 C x 3 =3. Por tanto. log.1 C x / D x x2 x3 C C o.x 3 /: 2 3 (8.27)
Te recuerdo que usamos la notacin de Landau o.x 3 / simplemente para indicar que: log.1 C x / x C o .x 3 / lK m D lK m 3 x !0 x x3
x2 2 x3 3
D 0:
Integracin por partes En particular, si fxn g ! 0 se vericar que:

n!1
434
lK m
o .x n / D 0: 3 xn
(8.28)
Usando la igualdad (8.27), deducimos que: 1 1 1 1 an 3 D nC C C o . n / 1D log anC1 2 n 2n2 3n3 1 1 1 1 C 3 C no.n 3 / C o.n 3 / D C o .n D 2 12n2 6n 12n2 Teniendo en cuenta (8.28), deducimos que: lK m n2 log an anC1 D 1 o .n C lK m n !1 12 n
2/ 2
/:
n!1
1 : 12
Por tanto, existe un n0 2 N tal que para todo k > n0 se verica que: 0 < k 2 log ak ak C1 < 2 1 ak 1 : D 0 < log < 12 6 ak C1 6k 2 1 > n0 obtenemos que:
Sumando estas desigualdades desde k D n0 hasta k D n log.an0 / log.an / D

n 1 X
log
ak ak C1
<
k Dn0
n 1 n 1 1X 1 1 X 1 6 : 6 k2 6 k2 k Dn0 k D1
n X 1 La sucesin est mayorada porque: k2 k D1
1 D n
X 1 d x D x2
n 1 k C1
k D1 k
n 1 X 1 1 d x > : x2 .k C 1/2 k D1
n X 1 De donde se sigue que 6 2. En consecuencia: k2 k D1
log.an / > log.an0 /

a
an 0 1 an > p : 3 3 e
n0 El nmero p 3 e es una constante positiva independiente de n, y esta desigualdad es vlida para todo n > n0 . Por otra parte, teniendo en cuenta que para k > n0 se tiene que:
0 < log
ak D log.ak / ak C1
log.ak C1 /
lo que nos dice que la sucesin flog.anCn0 /g es decreciente y, por tanto, tambin es decreciente la sucesin fanCn0 g, concluimos que esta sucesin, y por tanto tambin fan g, converge a un nmero positivo.
435
390. Calcula las integrales:

2 4
log x dx ;
1
s 2 e2s ds ; log.x 2 C 1/ dx ;
arc sen x dx ;
1 =4
p t log t dt ; x 2 sen x dx ;
.log x /2 dx
1 e
x 3 ex dx ;
# d #; cos2 #
cos2 .log x / dx
1
En los ejercicios de clculo de primitivas es una buena prctica comprobar los resultados. Adems es muy sencillo: basta derivar la primitiva que has obtenido. 391. Calcula las primitivas eax cos.bx / dx ; y
C1 0
eax sen.bx / dx . Supuesto que a > 0,

C1 0
calcula el valor de las integrales
ax
cos.bx / dx y
ax
sen.bx / dx .
392. Explica la aparente contradiccin 1 dx D sen x cos x cotg x dx D cotg x tg 0 x dx D cotg x tg x cos2 x 1 tg x dx D 1 C dx : D1C 2 sen x cos x sen x tg x cotg 0 x dx
393. Calcula, haciendo uso de los resultados anteriores, las integrales

=2
.log x /3 dx ;
x 4 ex dx ;
0
sen4 x dx ;
sen5 x dx
393. Prueba las siguientes relaciones de recurrencia 1 a) In D cosn x dx D cosn 1 x sen x C .n n 1 tgn 1 x In 2 : b) In D tgn x dx D n 1 394. Prueba la igualdad: In D Sugerencias: In D x2 .1 C x 2 /n dx D 4 2 1 dx D .1 C x 2 /n .2n
1/In
x 2/.1 C x 2 /n
1
2n 2n
3 In 2
(8.29)
.1 C x 2 / x 2 dx D In .1 C x 2 /n uDx dv D x dx .1 C x 2 /n
x2 dx . Ahora: .1 C x 2 /n 3 5D
du D dx 1 1 ! vD 2.n 1/ .1 C x 2 /n
Integracin por sustitucin o cambio de variable 395. Estudia la convergencia de la integral In D

C1 0
436
x 2n 1 dx .1 C x 2 /.nC3/
1.
.n > 1/
Prueba que para n > 2 es In D
n 1 In nC2
Calcula I1 , I2 e I3 .
8.6.6. Integracin por sustitucin o cambio de variable

Sean g W J ! R una funcin con derivada primera continua en un intervalo J y que toma valores en un intervalo I , y f una funcin continua en I . Sea F una primitiva de f en I , y pongamos H D F g. Tenemos, por la regla de la cadena, que H 0 .t / D F 0 .g.t //g 0 .t / D f .g.t //g 0 .t /, es decir, la funcin H es una primitiva en J de la funcin h.t / D f .g.t //g 0 .t /. Si c , d son puntos de J , deducimos que:
d c g.d /
f .g.t //g 0 .t / dt D H .d /
H .c / D F .g.d //
F .g.c // D
f .x / dx
g.c /
Esta igualdad se conoce con el nombre de frmula de integracin por sustitucin o cambio b de variable. En ella se supone que queremos calcular, por ejemplo, la integral a f .x / dx y 0 lo que hacemos es la sustitucin x D g.t /, con lo que dx D g .t / dt y se eligen c y d por la condicin de que g.c / D a, g.d / D b . Naturalmente, esto tiene inters cuando la funcin f .g.t //g 0 .t / es ms fcil de integrar que la funcin f . Simblicamente este proceso suele representarse en la forma: " # b d x D g.t /; dx D g 0 .t / dt f .x / dx D D f .g.t //g 0 .t / dt (8.30) a D g . c /; b D g . d / a c Para el caso de integrales indenidas este proceso de sustitucin de representa de forma menos precisa y se escribe simplemente " # x D g .t / f .x / dx D D f .g.t //g 0 .t / dt dx D g 0 .t / dt En este contexto, es frecuente calcular f .g.t //g 0 .t / dt D H .t /, y escribir f .x / dx D H .t /, igualdad que no tiene mucho sentido si no se especica tambin la relacin entre las variables t y x , escribiendo f .x / dx D H .t / donde x D g.t /. Desde luego, el conocimiento de H .t / y de la relacin x D g.t / es suciente para calcular integrales denidas de f , pero tambin podemos deshacer el cambio para obtener una primitiva de f . Para eso la funcin g debe ser una biyeccin de J sobre I con derivada no nula. En tal caso, la funcin F .x / D H .g 1 .x // es una primitiva de f en I . En efecto: F 0 .x / D H 0 .g
1
.x //.g
1
1 0 / .x / D
f .g .g
.x ///g 0 .g
.x //.g
D f .x /g 0 .g
.x //
1 0 / .x /D
g 0 .g 1 .x //
D f .x /:
437
No olvides que la frmula del cambio de variables puede usarse en un sentido (de izquierda a derecha) o en otro (de derecha a izquierda) segn convenga. Puede ocurrir que al hacer un cambio de variable en una integral corriente obtengamos una integral impropia. No hay que preocuparse porque para estudiar la convergencia de una integral pueden hacerse cambios de variable biyectivos: ello no altera la eventual convergencia de la integral ni su valor. 8.43 Ejemplo. Con frecuencia se hacen cambios de variable para quitar radicales. 2 3 2 =4 2 x D 2 tg t ; dx D cos t 1 1 2 4 5 cos t dt D p dx D D p 2 2 4 sen2 t p x x C4 2 = 3 D 2 tg .= 6 /; 2 D 2 tg .= 4 / = 6 2= 3 p 1 2 1 =4 2 D D 4 sen t =6 4 8.44 Ejemplo. Un cambio de variable en una integral impropia. Consideremos la integral:
b a
1 p .x a/.b x/
dx
Suponemos que a < b . El cambio que hacemos consiste en llevar el intervalo 1; 1 al a; b por una biyeccin del tipo g.t / D t C . Las condiciones g. 1/ D a, g.1/ D b nos dan que D .b a/=2, D .b C a/=2. Con ello: 2 3 b a 1 b x D g . t /; d x D dt 1 D p 2 5D p dx D 4 2 .x a/.b x / 1 t a a D g. 1/; b D g.1/ 1
396. Calcula las siguientes integrales utilizando el cambio de variable indicado.

=4
sen3 x dx x D arc cos t I cos4 x
=4
=4
sen2 x dx x D arc tg t I cos4 x
C1 1
ex
dx x D log t C1
397. Calcula las integrales:

p 3
p 4
x 2 dx ;
p x x2
dx 1
e4
;
e
dx p ; x log x
1 x2
1C
1 dx ; x
ex C3 e2x dx 2 C ex
a
398. Sea a > 0. Prueba que si f es impar, es decir, f . x / D f .x /, entonces a f .t / dt D 0. a a Y si f es una funcin par, es decir, f . x / D f .x /, entonces a f .t / dt D 2 0 f .t / dt .
Integracin de funciones racionales
438
8.6.8. Integracin de funciones racionales

P .x / dx . Si el grado Q.x / de P es mayor o igual que el de Q, podemos dividir los dos polinomios obteniendo Dadas dos funciones polinmicas P .x / y Q.x /, queremos calcular P .x / G .x / D H .x / C ; Q.x / Q.x / donde H .x / y G.x / son polinomios y el grado de G es menor que el grado de Q. Por tanto, supondremos siempre que el grado de P es menor que el grado de Q. Supondremos tambin que el coeciente lder del polinomio Q es 1. La tcnica para calcular la integral consiste en P .x / en otras ms sencillas llamadas fracciones simples. Estudiadescomponer la fraccin Q.x / remos dos formas de hacerlo: el mtodo de los coecientes indeterminados y una variante del mismo conocida como Mtodo de Hermite. Paso 1. Descomposicin del denominador en factores irreducibles Descomponemos el denominador, Q.x /, como producto de factores de grado uno y de factores de grado dos irreducibles: Q.x / D .x a1 /1 .x an /n .x 2 C b1 x C c1 /1 .x 2 C bm x C cm /m (8.31)
8.45 Observaciones. Esto se dice muy pronto, pero puede ser muy difcil de hacer si no imposible. Afortunadamente, en los casos prcticos esta descomposicin o se conoce o es muy fcil de realizar. En la descomposicin (8.31) cada aj es una raz real de orden j del polinomio Q, y los factores cuadrticos del tipo .x 2 C bj x C cj /j corresponden a races complejas conjugadas de orden j . Tales factores cuadrticos son irreducibles, es decir, su discriminante es negativo o, lo que es igual, x 2 C bj x C cj > 0 para todo x 2 R. Paso 2. Descomposicin en fracciones 8.6.8.1. Mtodo de los coecientes indeterminados
P .x / como suma de fracciones de la siguiente forma: Q.x / Por cada raz real aj de orden j escribimos j fracciones cuyos numeradores son constantes Akj que hay que determinar, y los denominadores son de la forma .x aj /kj donde kj toma valores de 1 hasta j . Por cada factor cuadrtico irreducible .x 2 C bj x C cj /j escribimos j fracciones cuyos numeradores son de la forma Bkj x C Ckj siendo Bkj y Ckj constantes que hay que determinar, y los denominadores son de la forma .x 2 C bj x C cj /kj donde kj toma valores de 1 hasta j . La descomposicin es de la forma: 2 3 2 3 j j n m X X X X Akj Bkj x C Ckj P .x / 4 5C 4 5 D (8.32) k kj 2 j Q.x / . x a / . x C b x C c / j j j j D1 k D1 j D1 k D1 Escribimos el cociente
j j
Integracin de funciones racionales 8.6.8.2. Mtodo de Hermite P .x / de la siguiente forma: Q.x /
439
Escribimos el cociente
A1 B1 x C C1 An Bm x C Cm P .x / D C 2 C C C C 2 C Q.x / x a1 x an x C b1 x C c 1 x C bm x C c m F .x / d C dx .x a1 /1 1 .x an /n 1 .x 2 C b1 x C c1 /1 1 .x 2 C bm x C cm /m
(8.33)
donde A1 ; : : : ; An ; B1 ; : : : ; Bm ; C1 ; : : : ; Cm son coecientes que tenemos que determinar y, en la fraccin que aparece con una derivada, F .x / es un polinomio genrico de grado uno P .x / menos que el denominador. En resumen, se trata de escribir como suma de fracciones Q.x / simples, una por cada factor de Q.x /, ms la derivada de un cociente que tiene por denominador Q.x / con sus factores disminuidos en una unidad y como numerador un polinomio genrico con coecientes indeterminados de grado uno menos que el denominador. Observa que en ambos mtodos hay que calcular tantos coecientes como el grado de Q. Paso 3. Determinacin de los coecientes Tanto en un caso como en otro, se reducen todas las fracciones a comn denominador (que ser Q.x /), y se iguala a P .x / el numerador resultante. Esto nos producir un sistema de ecuaciones lineales cuyas incgnitas son los coecientes Aj ; Bj ; Cj (y en el mtodo de Hermite tambin los coecientes de F .x /), cuya resolucin nos dar el valor de todos ellos. Naturalmente, en el mtodo de Hermite hay que efectuar la derivada antes de reducir a comn denominador. 8.46 Observaciones. En ambos mtodos tenemos que calcular el mismo nmero de coecientes pero en el mtodo de Hermite la obtencin del sistema de ecuaciones es ms trabajosa debido a la presencia de la derivada. A pesar de lo dicho en el punto anterior, cuando hay races imaginarias mltiples, lo que da lugar a factores cuadrticos de orden elevado, puede ser interesante aplicar el mtodo de Hermite porque las fracciones simples que aparecen en dicho mtodo son muy fciles de integrar. Paso 4. Integracin de las fracciones simples En el mtodo de Hermite, una vez escrita la funcin racional fcil calcular su integral: P .x / dx D Q.x / C .x a1 /1 A1 dx C C x a1
1 .x
P .x / de la forma 8.33, es Q.x /
an /n
B1 x C C1 dx C C C b1 x C c1 F .x / 1 .x 2 C b x C c / 1 1 .x 2 C b x C c / m m m 1 1 x2
Slo nos queda calcular las integrales de las fracciones simples.

Integracin de funciones racionales A x ID a
440

dx D A log jx Bx C C dx . C bx C c
aj.
x2
Donde se supone que el trinomio x 2 C bx C c no tiene races reales. En general, esta integral es igual a un logaritmo ms un arcotangente aunque, dependiendo de los valores de los parmetros, puede reducirse a uno de ellos. Si B 0, lo primero que debemos hacer es lograr que en el numerador gure la derivada del denominador. Para ello, basta poner Bx C C D B B B 2 .2x C b / C C 2 b . Con lo que, llamando K D C 2 b , tenemos: ID B log.x 2 C bx C c / C K 2 x2 1 dx : C bx C c
La integral que nos queda es un arcotangente. Para calcularla escribimos el trinomio x 2 Cbx Cc en la forma x 2 C bx C c D .x /2 C 2 . Esto es muy fcil de hacer, p pues la eleccin de es obligada ya que debe ser D b =2, de donde se sigue que D 4c b 2 =2. En otros trminos, i son las races complejas del trinomio x 2 C bx C c . Tenemos que: 1 dx D 2 x C bx C c D Por tanto: .x 1 1 dx D 2 2 / C
1
1 x arc tg :
2
C1
dx D
2C Bb B 2x C b 2 arc tg p I D log.x C bx C c / C p : 2 4c b 2 4c b 2 En el mtodo de los coecientes indeterminados aparecen tambin, cuando hay races mltiples, otros dos tipos de fracciones elementales: A Fracciones del tipo donde k 2 N y k > 2, correspondientes a races reales . x a/ k mltiples, las cuales no ofrecen dicultad pues: A dx D . x a/ k Fracciones del tipo A k 1 .x 1 a/k
1
Bx C C donde k 2 N y k > 2, correspondientes a races .x 2 C bx C c /k imaginarias mltiples. La integracin de de estas fracciones puede hacerse usando la frmula de reduccin 8.29. Previamente debe hacerse un pequeo ajuste. Escribamos el trinomio x 2 C bx C c en la forma x 2 C bx C c D .x /2 C 2 . " # x D t Bx C C Bx C C dx D D k dx D .x 2 C bx C c /k dx D dt .x /2 C 2 1 B C C B t C B C C 1 D 2k dt D 2k 1 dt C 2 k .1 C t / .1 C t 2 /k 1 B 1 C 2k 2 : 1 k .1 C t 2 /k 1 2
Integracin de funciones racionales Ahora ya podemos usar la frmula de reduccin 8.29 para calcular la integral 8.47 Ejemplo. Se trata de calcular aplicaremos el mtodo de Hermite.
1 .1Ct 2 /k
441 dt .
x2 2 dx . Como hay races imaginarias mltiples x 3 .x 2 C 1/2 ax 3 C bx 2 C cx C d x 2 .x 2 C 1/ !
x2 2 d A Bx C C C D C 2 x dx x 3 .x 2 C 1/2 x C1
Realizando la derivada y reduciendo a comn denominador, obtenemos un sistema de ecuaciones cuya solucin es a D 0; por lo tanto x2 2 .5=2/x 2 C 1 C 5 log x d x D x 3 .x 2 C 1/2 x 2 .x 2 C 1/
C1 2
b D 5=2 ;
c D 0;
d D 1;
A D 5;
B D 5;
C D 0I
5 log.x 2 C 1/: 2
8.48 Ejemplo. Queremos calcular la integral impropia Pongamos f .x / D
xC1 dx . x .x 1/.x 2 C 1/
xC1 , Observa que f .x / > 0 para todo x > 2. Adems, x .x 1/.x 2 C 1/ se verica la equivalencia asinttica: f .x / Como la integral que la integral 1 x3 .x ! C1/: por el criterio lmite de comparacin,
C1 1 dx es convergente, se sigue, 2 x3 C1 f .x / dx tambin es convergente. 2
Para calcular la integral hallaremos una primitiva de f .x / aplicando el mtodo de los coecientes indeterminados. x .x A B Cx C D xC1 D C C 2 : x x 1 1/.x 2 C 1/ x C1 D /x C . A C C D /x 2 C .A C B C C /x 3 : x .x 1/.x 2 C 1/
Reduciendo a comn denominador obtenemos: xC1 D x .x 1/.x 2 C 1/ A C .A C B
Identicando coecientes resulta el sistema de ecuaciones lineales: 9 A C B C C D0 > > = A C C D D0 AD 1 BD1 ) A C B D D1 > C D0 DD 1 > ; A D1
Ejercicios propuestos Deducimos que:

t
442
xC1 dx D x .x 1/.x 2 C 1/
C1 2
dx x 1
dx x
t 1 dx D log 2 arc tg t C arc tg 2 : t x2 C 1 C arc tg 2 : 2
Por tanto:
xC1 dx D log 2 x .x 1/.x 2 C 1/
8.49 Observacin. Cuando se calculan integrales impropias convergentes de funciones racionales, hay que escribir la primitiva obtenida de forma conveniente para que el lmite pueda calcularse fcilmente. Observa cmo hemos escrito la primitiva en el ejemplo anterior: hemos agrupado los logaritmos de forma apropiada para calcular el lmite. No da igual escribir t 1 log 2 , que escribir log.t 1/ C log 2 log t . En el primer caso, el lmite para t ! C1 t resulta inmediato, mientras que, en el segundo caso, puedes equivocarte y creer que dicho lmite no existe. Este tipo de ajustes hay que hacerlos con frecuencia.
399. Calcular las siguientes integrales

a/ 2 x3
C1 1
x2 dx ; 3x 2
b/
d/ g/
x3 x2 .x 4
x 1 dx ; e / 3x 2 C x C 5 1/ 2 dx ; h/
C1 1
x 4 C 6x 3 7x 2 4x x 3 2x 2 C x 2 .x 2 dx dx ; 2x C 2/2
1=2
dx ; c /
1=2 1
dx dx x4 1
f/
0
dx ; x .1 C x 4 /
i/
3x 2 C 30 dx x 4 C 2x 2 8
dx dx 1 C x4
8.6.10. Integracin por racionalizacin

Acabamos de ver que la primitiva de una funcin racional siempre puede expresarse mediante funciones elementales. Nos vamos a ocupar ahora de algunos tipos de funciones no racionales cuyas integrales se pueden transformar, por medio de un cambio de variable, en integrales de funciones racionales. Se dice entonces que la integral de partida se ha racionalizado y esta tcnica se conoce como integracin por racionalizacin. Conviene advertir que los cambios de variable que siguen son los que la prctica ha conrmado como ms tiles en general, pero que en muchas ocasiones la forma concreta de la funcin que queremos integrar sugiere un cambio de variable especco que puede ser ms ecaz. En lo que sigue, representaremos por R D R.x ; y / una funcin racional de dos variables, es
Integracin por racionalizacin
443
decir, un cociente de funciones polinmicas de dos variables. Te recuerdo que una funcin n X m X polinmica de dos variables es una funcin de la forma P .x ; y / D cij x i y j .
i D0 j D0
8.6.10.1.
Integracin de funciones del tipo R.sen x ; cos x /
Las integrales del tipo R.sen x ; cos x / dx donde R D R.x ; y / una funcin racional de dos variables, se racionalizan con el cambio de variable t D tg.x =2/. Con lo que: sen x D Con ello resulta: R.sen x ; cos x / dx D t D tg.x =2/ D 8.50 Ejemplo. dx D sen x tg x cos x dx D tg x =2 D t D D sen x cos x sen x 1 1 1 log t D D 2C C log j tg.x =2/j: 2 2 4t 4 tg .x =2/ 2 t2 1 dt 2t 3 2t 1 t2 R ; 1 C t2 1 C t2 ! 2 dt 1 C t2 2t ; 1 C t2 cos x D 1 t2 ; 1 C t2 dx D 2 dt 1 C t2 (8.34)
Casos particulares Cuando R. sen x ; cos x / D R.sen x ; cos x / se dice que R es par en seno y coseno. En este caso es preferible el cambio tg x D t . Con lo que t sen x D p ; 1 C t2 1 cos x D p ; 1 C t2 dx D dt 1 C t2
En el caso particular de tratarse de una integral del tipo:
senn x cosm x dx ; con n y m nmeros enteros pares, es preferible simplicar la integral usando las identidades cos2 x D 1 C cos 2x 2 sen2 x D 1 cos 2x : 2
Cuando R. sen x ; cos x / D cambio cos x D t suele ser ecaz.
R.sen x ; cos x / se dice que R es impar en seno y el
Cuando R.sen x ; cos x / D R.sen x ; cos x / se dice que R es impar en coseno y el cambio sen x D t suele ser ecaz.
Integracin por racionalizacin 8.51 Ejemplo. Calcular I D ID D D D D .1 sen2 x cos2 x dx . Tenemos:
444
cos2 x / cos2 x dx D cos2 x dx cos4 x dx D 1 C cos 2x 1 C cos 2x 2 dx dx D 2 2 sen 2x 1 x C .1 C 2 cos 2x C cos2 2x / dx D 2 4 4 1 1 C cos 4x x C sen 2x x 1 cos 2x dx dx D 4 4 2 4 2 1 sen 4x x C sen 2x sen 2x x sen 4x D x 4 4 8 32 8 4
8.52 Ejemplo. cos3 x dx D sen2 x D t .1 1 sen2 x / cos x dx D sen2 x 1 tD sen t : sen t t D sen x dt D cos x dx D 1 t2 t2 dt
8.53 Ejemplo. Sea I D sen2 x cos x dx . Se trata de una funcin par en seno y en coseno. sen x C cos x Haciendo t D tg x , obtenemos: ID t2 dt .t C 1/.t 2 C 1/2
Aplicando el mtodo de Hermite escribimos: t2 d A Bt C C C D C 2 2 2 t C1 dx .t C 1/.t C 1/ t C1

t2 D .t C 1/.t 2 C 1/2 D
t C t2 C 1
Haciendo la derivada y reduciendo a comn denominador obtenemos:
A C C C C .B C C
2 C /t C .2A C B C C 2 .t C 1/.t 2 C 1/2
/t 2 C .B C C
/t 3 C .A C B /t 4
Identicando coecientes resulta el sistema de ecuaciones lineales: 9 A C C C D0 > 8 > > B D 1=4 B C C 2 C D0 > = < A D 1=4 DD 1 2A C B C C 2 D1 C D 0 > : D 1=4 D 1=4 B C C D0 > > > ; A C B D0
Integracin por racionalizacin Deducimos que: ID 1 log jt C 1j 4 1 log.t 2 C 1/ 8 1 1 1Ct D log j sen x C cos x j 2 41Ct 4
445
1 cos x .sen x C cos x / 4
Cuando la funcin R.sen x ; cos x / sea de la forma: sen.ax C b / sen.cx C d /; sen.ax C b / cos.cx C d /; / cos.ax C b / cos.cx C d / cos. / 2 cos. C /
puede resolverse la integral usando las frmulas: sen cos D sen. C / C sen. 2 cos cos D 8.54 Ejemplo. sen.3x / cos.2x / dx D 1 2 sen.5x / dx C 1 2 sen x dx D 1 cos.5x / 10 1 cos x 2 Integrales de la forma tgn x dx o cotgn x dx . Se reducen a una con grado inferior 1 o cosec2 x 1. ; sen sen D
cos.
/ C sen. C / 2
separando tg2 x o cotg2 x y sustituyndola por sec2 x 8.55 Ejemplo. tg5 x dx D D tg3 x tg2 x dx D tg3 x .sec2 x tg4 x 4
tg4 x 4 tg4 x D 4
1/ dx D
tg3 x sec2 x dx
tg3 x dx 1/ dx
tg3 x dx D
tg x tg2 x dx D tg x dx D tg4 x 4
tg x sec2 x dx C
tg4 x tg x .sec2 x 4 1 2 tg x C log j cos x j 2
8.6.10.2. Integrales del tipo R x ; L.x /r ; L.x /s ; : : : dx 0 y r; s; : : : son nmeros racionales.
Donde L.x / D
Se racionalizan con el cambio t q D L.x / donde q es el mnimo comn denominador de las fracciones r; s; : : :. Pues entonces tenemos que: xD y la integral se transforma en R.r .t /; t r q ; t sq ; : : :/r 0 .t / dt en la que el integrando es una funcin racional de t .
x C ; ; ; ; 2 R con x C
t q D r .t / tq
(8.35)
446
xC1 x C 1 1=3 1 dx . El cambio de variable D t 3 racionaliza x 1 1Cx x 1 t3 C 1 , con lo que: la integral pues se tiene que x D 3 t 1 ! p 2t C 1 1 1 t C2 1 t2 C t C 1 3 arc tg p ID 3 d t D C d t D log 3 2 2 2 t 1 t Ct C1 t 1 .t 1/ 3 r xC1 donde t D 3 . x 1 8.56 Ejemplo. Sea I D 8.6.10.3. Integrales binomias
Se llaman as las de la forma x .a C bx / dx donde , , son nmeros racionales y a, b nmeros reales todos ellos distintos de cero. Haciendo la sustitucin 1 1 1 x D t ; x D t ; dx D t 1 la integral se transforma en C1 1 t 1 .a C bt / dt C1 que es de la forma t r .a C bt / dt donde r D 1. Esta integral es del tipo de las consideradas en el apartado anterior cuando el nmero: es entero, pues es de la forma r es entero, pues es de la forma R.t ; t r / dt
El matemtico P.L. Chebyshev prob que si no se da ninguna de estas circunstancias la integral no puede expresarse por medio de funciones elementales. p C1 D 3. 8.57 Ejemplo. Sea I D x x 2 =3 C 2 dx . En este caso es D 1, D 2 =3, D 1=2 y Deducimos que la primitiva buscada puede expresarse por funciones elementales. Haciendo p 3 x 2 =3 D t obtenemos I D t 2 t C 2 dt , la cual se racionaliza haciendo t C 2 D s 2 (s > 0), 2 con lo que I D 3 .s 2 2/2 s ds que es inmediata. 8.6.10.4. Integrales del tipo R.ex / dx
R t ; .a C bt / dt a C bt Cr t dt C r es entero, pues es de la forma t
Se racionalizan con el cambio x D log t . Un caso particular de este es el de las integrales de la forma R.cosh x ; senh x / dx que tambin admiten un tratamiento parecido al de las trigonomtricas.
Integracin por racionalizacin 2 dx . Desarrolla los clculos para comprobar que senh x C tgh x x 1 2 .1 C t 2 / d t D log tgh I D x D log t D 3 2 1 C cosh x .t 1/.1 C t /
447
8.58 Ejemplo. Sea I D
Por otra parte, como la funcin como sigue IDt Dcosh x D
2 es impar en senh x , tambin podemos proceder senh x C tgh x
1 2t 1 1 dt D C log. 1Ccosh x / log.1Ccosh x / 2 1 C cosh x 2 2 . 1 C t /.1 C t /
Por supuesto, puedes comprobar que las dos primitivas encontradas son de hecho iguales. 8.6.10.5. Integracin de funciones del tipo R.x ; R.x ; p ax 2 C bx C c /
Una integral de la forma sustituciones siguientes.
p ax 2 C bx C c / dx puede racionalizarse por medio de las
Donde, por comodidad, hemos supuesto que x
Si el trinomio ax 2 C bx C c tiene dos races reales y distintas, entonces se hace: p a.x / 1=2 ax 2 C bx C c D a.x /.x /1=2 D .x / x > 0. Deducimos que la sustitucin: xD t 2 t2 a D r .t /; a a.x / D t 2 .t > 0/; x transforma la integral en racional de t . R r .t /; .r .t / (8.36)
/t r 0 .t / dt donde el integrando es una funcin
Si el trinomio ax 2 C bx C c no tiene races reales, entonces debe ser ax 2 C bx C c > 0 para todo x 2 R, en particular c > 0. La sustitucin: p p p b 2t c 2 ax C bx C c D tx C c ; x D 2 D g.t /; (8.37) t a p transforma la integral en R g.t /; tg.t / C c g 0 .t / dt donde el integrando es una funcin racional de t . Las sustituciones anteriores se conocen como sustituciones de Euler. x x dx . Observa que, si R.x ; y / D 3 , la integral 8.59 Ejemplo. Calcula 2 /3= 2 y . 7x 10 x p que nos piden es R.x ; 7x 10 x 2 / dx del tipo que acabamos de considerar. Como 7x 10 x 2 D .x x /, tenemos que # 5 C 2t 2 6 dx D x D D 2 27 1Ct 2/.5 "
.7x donde t D
x 10 x 2 /3=2 .7x
5 C 2t 2 dt D t2
2 9
5 C 2t t

10 x 2 /1=2 . x 2
448
8.60 Ejemplo.
1 p dx . .1 C x / 1 C x C x 2 p t2 1 tenemos: Haciendo la sustitucin 1 C x C x 2 D x C t , es decir x D 1 2t " # 1 t2 1 1 1 2 dx D x D p dt D C D dt D 1 2t t t 2 t 2 2t .1 C x / 1 C x C x 2 D log t C log jt 2j: x. R.x ; p ax 2 C bx C c / dx en otra
p Donde t D 1 C x C x 2
Tambin es posible transformar una integral del tipo
de la forma F .sen x ; cos x / dx donde F es una funcin racional de dos variables las cuales ya hemos estudiado. Para ello se sigue el siguiente procedimiento.
Con un primer cambio de variable, de la forma x D t C que despus explicaremos, se p 2 transforma la integral R.x ; ax C bx C c / dx en otra de alguna de las formas: p p p a) G.t ; t 2 1/ dt ; b) G.t ; 1 t 2 / dt ; c) G.t ; 1 C t 2 / dt donde G es una funcin racional de dos variables. Los cambios de variable respectivos a) x D sec u; b) x D sen u; c) x D tg u F .sen x ; cos x / dx donde F es una
convierten las integrales anteriores en otras de la forma funcin racional de dos variables.
Alternativamente, en el caso a) puede hacerse tambin x Dcosh u, y en el caso c) x Dsenh u, lo que transforma dichas integrales en otras del tipo T .ex / dx donde T es una funcin racional de una variable, que ya han sido estudiadas. Nos queda por explicar cmo se hace el primer cambio de variable. Si el trinomio h.x / D ax 2 C bx C c tiene dos races reales < , lo que se hace es transformar dicho trinomio en otro que tenga como races 1 y 1. Para ello llevamos 1 a y 1 a mediante una funcin de la forma '.t / D t C . Las condiciones '. 1/ D , '.1/ D , C determinan que D ,D . Con el cambio 2 2 x D '.t / D tenemos que h.'.t // D a . 4 /2 .t 2 2 tC C 2
1/. Ahora, si a > 0, deducimos que: p . R '.t /; a / p t2 1 2 dt
que es del tipo a) anterior. Si a < 0, entonces:
p R.x ; ax 2 C bx C c / dx D x D '.t / D
p R.x ; ax 2 C bx C c / dx D x D '.t / D
R '.t /;
. 2
/ p 1
t2
dt
Integracin por racionalizacin que es del tipo b) anterior.
449
Si el trinomio ax 2 C bx C c p no tiene races reales, entonces debe ser d D 4ac b 2 > 0 y d tambin a > 0. Poniendo D p , podemos escribir: 2 a 2 2 p p b2 b b 2 ax C bx C c D Cc C 2D D ax C p ax C p 4a 2 a 2 a # # " " p 2 b 2 2a b a 2 2 C1 D C1 : xC p D p xCp 2 a d d El cambio b 2a p x C p D t ; esto es , x D d d transforma la integral en p R.x ; ax 2 C bx C c / dx D x D .t / D p dt b D .t / 2a p d dt 2a
R .t /;
que es del tipo c) anterior. Casos particulares
t2
C1
Las integrales de la forma Escribimos:
dx donde P .x / es una funcin polinmica ax 2 C bx C c pueden resolverse con facilidad por el mtodo de reduccin. Se procede de la siguiente forma. p p C 2 ; Q.x / ax C bx C c C p ax 2 C bx C c
P .x /
donde Q.x / es un polinomio, cuyos coecientes hay que calcular, de grado una unidad menos que el polinomio P .x / y C es una constante que tambin hay que calcular. Observa que la igualdad anterior puede escribirse: 1 P .x / D Q 0 .x /.ax 2 C bx C c / C Q.x /.2ax C b / C C 2 y a la derecha queda un polinomio de igual grado que P .x / lo que permite identicar coecientes. Una vez calculados el polinomio Q y la constante C tenemos que: p P .x / p dx D Q.x / ax 2 C bx C c C C ax 2 C bx C c 1 p dx ax 2 C bx C c
d D p dx ax 2 C bx C c P .x /
con lo que todo se reduce a calcular una integral de la forma
1 dx . Haciendo p 2 ax C bx C c uso de los cambios antes visto, esta integral, salvo constantes, puede escribirse de alguna de las formas: p 1 1 t2 dt D arc sen.t /; 1 p dt D argsenh.t /; 1 C t2 p 1 t2 1 dt D argcosh .t /
450
Finalmente, las integrales de la forma .x /k p
1 ax 2 C bx C c 1 D . t
dx
se reducen a las del tipo anterior con el cambio x
400. Calcula las integrales: 1 dx ; a C b cos x

4
401. Calcula, suponiendo que p y q son nmeros enteros, las integrales:

dx ; cos x cos.3x C 4/ dx ; p 1 C tg2.x C 2/
1 dx ; cos x C 2 sen x C 3 1 dx sen x cos x 1 dx ; .1 C sen x / cos x
1 5
2 cos x dx 4 cos x dx
sen2 x cos2 x sen2 x cos3 x dx
sen px cos qx dx ;

sen px sen qx dx ;

cos px cos qx dx :
n X ao 402. Para x 2 R, y n 2 N , denamos F .x / D C .ak cos kx C bk sen kx /. Prueba que 2
para n 6 p 6 n se verica que: 1 ap D 403. Calcula la primitivas: p x 2 C 2x C 2 p 2ax x 2 dx ; x 7= 2 .1 x 3/

2
kD n k 0
F .x / cos px dx

1 y bp D
F .x / sen px dx

xC3
dx ;
x2 2x
dx ; dx ;
p p 3 x .1 C x /
x2 1 p dx ; . 1 x 2/ 1 C x 2 p x 2 C 9x dx ; 2 p x 5 8x 4x 2 dx ; x C 5=2
dx ;
1 p dx x2 x2 x C 1 1 p dx 3 x 2 .4 C x 3 /5 1 dx 2 senh x cosh x dx p 4 x 1 C x2
451

Antes de ver la solucin de un ejercicio debes intentar resolverlo! Ejercicio resuelto 197 Calcula las integrales:
1
a/ d/
0 C1 0
x2 dx ; p 1 x6 dx 1 C x2 C y2
b/ e/
C1 0 C1 0 C1 1 1= 2
x dx 3 C x4 dx .1 C y /.1 C yx 2 / x3 x 1 dx 3x 2 C x C 5 dx
c/ f/
a C1 0
1 2
a2
x 2 dx
dy .1 C y /.1 C yx 2 / dx x2
g/ j/ m/
x .log x /n dx cos2 .log x / dx dx p x 2x C 1
h/ k/
i/ l/ p/
0 C1
20 C 8x
0 2
n/
0
dx 2 C cos x
20 C 8x C x 2
e C1 1
dx x .log x / x .x 2 dx C x C 1/
En c) se supone que a > 0, en e) que y > 0, en f) que x > 1, en g) que 2 R y n 2 N , en l) que > 1. Solucin. a) Esta primitiva es inmediata como puedes comprobar haciendo la sustitucin x 3 D t . Pero debes reconocerla sin necesidad de efectuar dicha sustitucin.
1 0
x2
x6
dx D
xD1 1 arc sen.x 3 /xD0 D : 3 6
b) Esta primitiva es inmediata como puedes comprobar haciendo la sustitucin x 2 D t . Pero debes reconocerla sin necesidad de efectuar dicha sustitucin. x!C1 2x C1 C1 p x2 1 x 1 3 D p : dx D p 2 2 dx D p arc tg p 4 3Cx 2 3 0 1C p 2 3 3 xD0 4 3 x 0
3
c) Se hace con el cambio de variable x D a sen t . Tenemos que: 3 2 ap 2 p x D a sen t ; dx D a cos t dt 5 D a2 x 2 dx D 4 a2 a2 sen2 t a cos t dt D
a
a D a sen
; a D a sen
2
2
2
Da
2
2 2
p cos2 t cos t dt D a2
2
2
jcos t j cos t dt D
=2 6 x 6 =2 ) cos t > 0 D
D a2
2
cos2 t dt D a2
2
1 C cos.2t / dt D a2 : 2 2
452
8.61 Observacin. Al realizar un cambio de variable es importante elegir de forma apropiada el nuevo intervalo de integracin. Con frecuencia, hay varias posibilidades. Por ejemplo, en la integral anterior podramos haber procedido como sigue: 2 3 ap 2 p x D a sen t ; dx D a cos t dt 5 a2 x 2 dx D 4 a2 a2 sen2 t a cos t dt D D 3
a
a D a sen
2
; a D a sen
3 2
2
2
Da
2
3 2
p
2
cos2 t cos t dt D a
3 2
3 2
jcos t j cos t dt D =2 6 x 6 3=2 ) cos t 6 0 D
D a
2
3 2
cos t dt D a
2
2
1 C cos.2t / dt D a2 : 2 2
p p Si en los clculos anteriores te olvidas de que 2 D j j, y pones cos2 t D cos t el resultado que hubiramos obtenido es el siguiente:
ap a
2 3 2
a2
x 2 dx D a2
3 2
cos2 t dt D a2
2
1 C cos.2t / dt D a2 : 2 2
a a
Evidente disparate, porque la integral de una funcin positiva ser un nmero negativo.
p a2
x 2 dx no puede
d) Pongamos D
C1 0
dx D 1 C x2 C y 2
1C
y2.
Tenemos que:
C1 0 1
C1 0
1 dx D x2 C 2
1C
e) En esta integral la variable de integracin es x , por lo que tratamos a y como un parmetro (una constante que puede tomar distintos valores). Tenemos:
C1 0
dx D x 2
x 1 x !C1 arc tg : D p x D0 2 1 C y2
1 dx D p 2 .1 C y / y .1 C y /.1 C yx /
C1 0
p y dx D p : p 2 2 .1 C y / y 1 C . yx /
f) En esta integral la variable de integracin es y , por lo que tratamos a x como un parmetro. Es la integral de una funcin racional en y . La descomposicin en fracciones simples corresponde a dos races reales simples: 1 B A A.1 C yx 2 / C B .1 C y / D D : .1 C y /.1 C yx 2 / 1 C y 1 C yx 2 .1 C y /.1 C yx 2 / Por tanto debe vericarse la identidad: 1 D A.1 C yx 2 / C B .1 C y /:
Ejercicios resueltos x 2 /A D 1 1 x2
453
Haciendo y D 1, obtenemos 1 D A.1
. x2 . 1 x2
Igualando trminos independientes, obtenemos A C B D 1B D Tenemos para t > 0:

t t
1 dy D .1 C y /.1 C yx 2 / 1 x 2 1 1 x2 log.1 C t / 1 1 x2
dy 1Cy
x2 1 x2 1
dy D 1 C yx 2 log 1Ct : 1 C tx 2
D Por tanto:
log.1 C tx 2 / D
1 x2
C1 0
dy D lK m .1 C y /.1 C yx 2 / t !C1 x .log x /n dx
2 log x dy D 2 : 2 .1 C y /.1 C yx / x 1
g) Pongamos I .; n/ D . Si D 1 entonces: I . 1; n/ D 1 1 .log x /n dx D .log x /nC1 : x nC1
Supondremos que 1. Para calcular esta primitiva lo que haremos ser obtener una frmula de recurrencia que permita calcular dicha primitiva para valores concretos de y de n. Tenemos que:
3 .log x /n 1 n u D . log x / ! d u D n d x 6 7 x C1 x n 7D I .; n/ D 6 4 5 C 1 .log x / x C1 dv D x dx ! v D C1 n x C1 .log x /n I .; n 1/: D C1 C1 2 n C1
x .log x /n
dx
Esta relacin de recurrencia permite calcular I .; n/ en n pasos, pues I .; 0/ es conocido. h) Para calcular la integral x 1 dx usaremos la regla de Barrow. Para 3x 2 C x C 5 1 x 1 ello, debemos obtener una primitiva de la funcin 3 . Se trata de una x 3x 2 C x C 5 funcin racional. Una raz del denominador es x D 1. Dividiendo el denominador por x C 1 tenemos que x 3 3x 2 C x C 5 D .x C 1/.x 2 4x C 5/. Como el trinomio x 2 4x C 5 no tiene races reales, la descomposicin en fracciones simples es de la forma: x3 x3 A Bx C C x 1 D C 2 x 1DA.x 2 4x C5/C.Bx CC /.x C1/ 2 3x C x C 5 x C 1 x 4x C 5
1 5. C1
1 Igualando coecientes en x 2 obtenemos que A C B D 0, luego B D 5 .
Haciendo x D 1 obtenemos que 2 D 10A, luego A D
454
Igualando trminos independientes obtenemos 1 D 5A C C D 1 C C , luego C D 0.

t
x3
x 1 dx D 3x 2 C x C 5
t 1 2 .2x x2 0 t
1 5
1 1 dx C xC1 5 dx D
t
x2
x dx D 4x C 5
D D
1 1 log.1 C t / C 5 5
4x C 5
4/ C 2
1 1 log.1 C t / C 5 10
2x
x2
4 2 dx C 5 4x C 5
x2
1 dx D 4x C 5
t
1 1 1 2 1 D log.1 C t / C log.t 2 4t C 5/ log 5 C dx D 5 10 10 5 .x 2/2 C 1 0 p 1 2 2 1 t 2 4t C 5 log 5 C arc tg.t 2/ arc tg. 1/D D log 5 1Ct 10 5 5 p 1 t 2 4t C 5 1 2 D log log 5 C arc tg.t 2/ C : 5 1Ct 10 5 10 Deducimos que:
C1 0 t
x3
x 1 dx D lK m t !C1 3x 2 C x C 5
x3
1 x 1 dx D log 5 C C D 2 10 5 10 3x C x C 5
1 D .3 10
log 5/:
Observa la forma de escribir la primitiva, introduciendo una raz cuadrada en el logaritmo con la nalidad de poder calcular el lmite fcilmente. Sabemos, de entrada, que dicho lmite tiene que existir y ser nito porque se trata de una integral impropia conx 1 , se tiene que f es continua en vergente. En efecto, poniendo f .x / D 3 x 3x 2 C x C 5 0; C1. Para todo x > 1 se tiene que f .x / > 0 y se verica la equivalencia asinttica C1 1 1 dx es convergente, tambin lo es f .x / x 2 para x ! C1. Como la integral 1 x2
C1 f .x / dx , 1
es decir, la integral
1 2
C1 f .x / dx 0
es convergente.
20 C 8x son las soluciones de x 2 8x 20 D 0, las cuales son 2 y 10, por tanto:

0
i) Pongamos I D
dx p x2
. El trinomio 20 C 8x
x 2 tiene races reales que
x2
8x
20 D .x
10/.x C 2/20 C 8x
x 2 D .10
x /.x C 2/:
Deducimos que 20 C 8x x 2 > 0 2 < x < 10. Podemos optar por racionalizar la integral con la sustitucin de Euler 8.36 en la que a D 1, D 2, D 10. Con ello, dicha sustitucin viene dada por: x D r .t / D
2t 2 C 10 t2 C 1
.t > 0/:
Ejercicios resueltos Tenemos que: r 0 .t / D p 1 24t ; r .t / D 0 ) t D 5; r .t / D ) t D 2 2 2 .1 C t /

q
19
455
19 5
Haciendo los clculos, se obtiene:

5 x D r .t /; dx D t2 p p ID D 2 dt D 2 2 3 q p .1 C t / r . 5/ D 0; r . 19=5/ D 1=2
"
r 0 .t / dt
19 5
1 dt D 1 C t2
p D 2 arc tg. 5/
2 arc tg
19 5
Otra forma de calcular esta integral, quizs ms sencilla, se basa en una idea vista en el ejemplo 8.44. Hagamos un cambio de variable de la forma x D t C por la condicin de que dicho cambio lleve el intervalo 2 ; 10 al 1; 1. Deber ser 2 D C , 10 D C . Deducimos que el cambio buscado es x D 6t C 4. Tenemos que:
1 2
x D 6t C 4 ; dx D 6 dt ; .10 x /.x C 2/ D 36.1 dx D4 p 1 7 2 .10 x /.x C 2/ ; xD )tD xD0)t D 3 2 12

7 12
t 2/
5D
2 3
p 1
t2
dt D arc sen
2 3
arc sen
7 : 12
No te quepa duda de que se trata en ambos casos del mismo resultado expresado de diferente forma. 8.62 Observacin. Un error frecuente en este tipo de ejercicios consiste en cambiar el trinomio por su opuesto. Las ecuacionesp 20 C 8x x 2 D 0 y 20 8x C x 2 D 0, son p 20 8x C x 2 no son la la misma ecuacin, pero las funciones 20 C 8x x 2 y misma funcin.
j) Esta primitiva es de las que se calculan integrando por partes, procurando que la integral se repita. Tenemos que: u D cos2 .log x / cos2 .log x / dx D D x cos2 .log x / C 2 cos.log x / sen.log x /dx D dv D dx ! v D x u D sen.2 log x / 2 D x cos .log x / C sen.2 log x / dx D D dv D dx ! v D x D x cos2 .log x / C x sen.2 log x / 2 4 cos.2 log x / dx D cos2 .log x / dx C 2x : 1. Deducimos que: D x cos2 .log x / C x sen.2 log x /
Donde hemos usado la igualdad cos.2t / D 2 cos2 t cos2 .log x / dx D
1 x cos2 .log x / C x sen.2 log x / C 2x 5
1= 2
456
k) Pongamos I D Tenemos que:
dx . El trinomio 20 C 8x C x 2 no tiene races reales. p 2 20 C 8x C x
xC4 2 C1 : 20 C 8x C x 2 D .x C 4/2 C 4 D 4 2 Por tanto:

1= 2
ID
dx p 20 C 8x C x 2
C1
1= 2
1 2
r
x C4 2
2
C1
xD 1 2 x C 4 9 D argsenh D argsenh : 2 xD0 4
dx 1 l) Pongamos I ./ D . Como 1, la funcin f .x / D D x . log x / x . log x / e 1 1 .log x / , tiene como primitiva F .x / D .log x /1 . La funcin f .x / es positiva x 1 y continua en e; C1. Tenemos que I ./ D
C1 e
dx p . Esta integral se racionaliza con el cambio 8.35, esto es, x 2x C 1 haciendo 2x C 1 D t 2 , (t > 0). Tenemos: dt dx 2t dt 2x C 1 D t 2 D2 D ID p D D 2 2 dx D t dt .t 1/t t 1 x 2x C 1 p dt dt t 1 2x C 1 1 D D log D log p : t 1 t C1 t C1 2x C 1 C 1
m) Pongamos I D
2
x!C1 dx D F .x /xDe D lK m F .x / x !C1 x .log x /
F .e/ D
1 1
n) Pongamos I D
x tg 2 Llamemos F .x / D p arc tg p 2 a la primitiva calculada. Tenemos que: 3 3

2
(8.34). Para aplicar la regla de Barrow, calcularemos primero una primitiva de f .x / D 1 . 2 C cos x 3 2 t D tg.x =2/ x tg dx dt t 2 2 6 dx D 2 dt 7 D4 D p arc tg p D p arc tg p 2 : 1Ct 2 5 D 2 2 2 C cos x 3Ct 3 3 3 3 1 t2 cos x D 1 Ct 2
dx . Esta integral se racionaliza con el cambio t D tg.x =2/ 2 C cos x
ID
xD2 dx D F .x /xD0 D F .2/ 2 C cos x
F .0/ D 0:
457
Resultado claramente errneo porque la integral de una funcin continua y positiva debe ser un nmero positivo. Dnde est el error? Pues en que la primitiva que hemos calculado no est denida en todo el intervalo 0; 2 pues el valor de F .x / para x D no est, en principio, denido. De hecho, se tiene que:
x ! 0<x <
2 Dp ; lK m F .x / D p 2 3 3
x ! <x <2
lK m
F .x / D
2 D p 32
p : 3
Por tanto, la funcin F tiene una discontinuidad de salto en , lo que implica que no es derivable en . Es decir, la funcin F .x / no es una primitiva de f .x / en 0; 2. Pero F .x / s es una primitiva de f .x / en 0; y en ; 2 (deniendo en cada caso F en como el correspondiente lmite lateral para que F resulte continua en cada uno de dichos intervalos). Luego:

ID
dx C 2 C cos x
2
D lK m F .x /
x ! 0<x <
x ! <x <2
lK m
x! xD2 dx D F .x /xD0 C F .x /x! C D 2 C cos x 2 F .x / D p : 3
8.63 Observaciones. Al hacer un cambio de variable para calcular una integral denida hay que tener presente la correspondencia entre intervalos. La funcin que realiza el cambio de variable debe ser continua en su intervalo. En el ejemplo anterior, el cambio realizado es t D tg.x =2/, pero la funcin x 7! tg.x =2/ no est denida en todo el intervalo 0; 2. Cuando x recorre 0; 2, x =2 recorre 0; y la tangente no est denida en 2 2 0; . Tambin se evitan errores siguiendo el procedimiento usual para realizar cambios de variable en integrales denidas. En el ejemplo anterior debemos calcular los valores de t que corresponden a x D 0 y a x D 2 lo que nos dara los nuevos lmites de integracin c y d . As obtendramos que para x D 0 es c D tg 0 D 0, y para x D 2 es d D tg./ D 0. Ya vemos que aqu hay algo que no va bien. Estos errores estn propiciados porque la notacin que usamos para las integrales indenidas (las primitivas) no tiene en cuenta el intervalo en que trabajamos, y ese es un dato muy importante que no se debe olvidar cuando calculamos integrales denidas. Para calcular integrales de funciones trigonomtricas puede ser til tener en cuenta que dichas funciones son peridicas. Supongamos que h W R ! R es una funcin continua y peridica con perodo , es decir, h.x C / D h.x / para todo x 2 R. Entonces se verica que la integral de h en cualquier intervalo de longitud es la misma. Es decir, para todo x C x 2 R es x h.t / dt D 0 h.t / dt . La comprobacin de esta igualdad es inmediata x C porque la funcin H .x / D x h.t / dt es derivable con derivada H 0 .x / D h.x C / h.x / D 0, luego H es una funcin constante. Aplicando esto en el ejemplo anterior, y teniendo en cuenta que el coseno tiene perodo 2 y es una funcin par, tenemos que:
2
dx D 2 C cos x

dx D 2 C cos x
0
dx C 2 C cos x
dx D2 2 C cos x
dx 2 C cos x
458
Esta ltima integral s puede calcularse directamente con el cambio t D tg.x =2/. Aunque dicho cambio convierte la integral en otra integral impropia porque el intervalo 0; se transforma biyectivamente, por la funcin x 7! tg.x =2/, en el intervalo 0; C1. Tenemos que:

dx D t D tg.x =2/ D 2 2 C cos x

t
C1 0
t !C1 t 2 dt Dp : D p arc tg p 3 C t2 3 3 t D0 3
1 dx usaremos la regla de Barrow. Para ello, C x C 1/ 1 1 debemos obtener una primitiva de la funcin . Se trata de una funcin 2 x .x C x C 1/ racional. Como el polinomio x 2 C x C 1 no tiene races reales, la descomposicin en fracciones simples es de la forma: p) Para calcular la integral x .x 2 x .x 2 A Bx C C 1 D C 2 x C x C 1/ x CxC1
Multiplicando e identicando numeradores: 1 D A.x 2 C x C 1/ C .Bx C C /x Haciendo x D 0 obtenemos A D 1. Igualando coecientes de x 2 se tiene A C B D 0, por lo que B D 1. Igualando coecientes de x se tiene A C C D 0, luego C D 1.
t
1 dx D x .x 2 C x C 1/ 1 2
t
1 dx x 1 2
1 t
xC1 dx D x2 C x C 1 x2 1 dx D CxC1
t
D log t
2x C 1 dx 2 x CxC1
Como:
p 1 1 1 2t D log p p arc tg p C p C p arc tg 3D 3 3 3 3 t2 C t C 1 ! 1 1 1 log 3 t 2t Cp C log p D p arc tg p C p 2 33 3 3 3 t2 C t C 1 t log 3 C 2 lK m log p t t2 C t C 1 ! D0 1 2t lK m arc tg p C p t !C1 3 3 D : 2
1 1 1 1 D log t log.t 2 C t C 1/ C log 3 dx D 2 2 2 .x C 1=2/2 C 3=4 1 ! p t t 1 log 3 2= 3 dx D D log p p C 2 2 31 p 1 2x t2 C t C 1 Cp C1

3 3
t !C1
Ejercicios resueltos Concluimos que:

C1 1
459
log 3 1 dx D C p 2 2 x .x C x C 1/ 3 3
log 3 p D 2 2 3
p 3 : 18
Ejercicio resuelto 198 Calcula las primitivas puesto que a < 0, calcula las integrales
C1 0
eax cos.bx / dx ; y e
ax
eax sen.bx / dx . Sueax sen.bx / dx .
cos.bx / dx y
C1 0
Solucin. Pongamos F .x / D eax cos.bx / dx y G.x / D eax sen.bx / dx . Integrando por partes se obtiene: 9 b 1 ax u D cos.bx / > > F .x / D D e cos.bx / C G.x /> ax = dv D e dx a a > 1 ax b u D sen.bx / > > G .x / D D e sen . bx / F . x / ; dv D eax dx a a F .x / D 1 ax b2 b F .x / e cos.bx / C 2 eax sen.bx / a a a2 eax F .x / D 2 a cos.bx / C b sen.bx / 2 a Cb eax b cos.bx / C a sen.bx / G .x / D 2 2 a Cb
Como jeax cos.bx /j 6 eax , jeax sen.bx /j 6 eax y, para a < 0, la integral impropia C1 ax e dx es convergente, se sigue, por el criterio de comparacin que las integrales 0 C1 ax C1 e cos.bx / dx y 0 eax sen.bx / dx son absolutamente convergentes. Sus valo0 res viene dados por:
C1 0 C1 0
Otra forma de calcular las primitivas F y G es usando la exponencial compleja como sigue: F .x / C iG.x / D eax cos.bx / C i sen.bx / dx D e.aCib /x dx D
x!C1 eax sen.bx / dx D G.x /xD0 D lK m G .x /

x !C1
x!C1 eax cos.bx / dx D F .x /xD0 D lK m F .x /

x !C1
F .0/ D F .0/ D G.0/ D G.0/ D
a2
a C b2
a2
b C b2
E igualando partes real e imaginaria volvemos a obtener el mismo resultado anterior.

1 a ib ax e.aCib /x D 2 e cos.bx / C i sen.bx / D 2 a C ib a Cb eax a cos.bx / C b sen.bx / C i b cos.bx / C a sen.bx / : D 2 2 a Cb
Ejercicios resueltos Ejercicio resuelto 199 Estudia la convergencia de la integral In D

C1 0
460
x 2n 1 dx .1 C x 2 /.nC3/
.n 2 N /
Prueba que para n > 2 es In D
n 1 In 1 . Calcula I1 , I2 e I3 . nC2 x 2n 1 Solucin. Pongamos f .x / D . La funcin f es continua y positiva en .1 C x 2 /.nC3/ 0; C1. Adems, como f es un cociente de dos polinomios de grados 2n 1 y 2n C 6 1 con coeciente lder iguales a 1, se verica la equivalencia asinttica f .x / x 5 para
1 x ! C1. Como la integral impropia 1 x 5 dx es convergente, deducimos por el criterio lmite de comparacin, que In es convergente para todo n 2 N . C1
Tenemos que:
Para obtener la frmula de recurrencia del enunciado debemos hacer una integracin por partes. La eleccin de las funciones u y v es obligada: " # C1 u D x 2n 2 ! du D .2n 2/x 2n 3 x 2n 1 In D dx D 1 1 2 n 2 D dv D .1Cxx .1 C x 2 /.nC3/ 2 /nC3 ! v D nC2 2 .1 C x / 0 x!C1 n 1 x 2n 2 1 n 1 In 1 D In 1 : D C 2 n C 2 2n C 4 .1 C x / nC2 nC2 x D0 I1 D
C1 0
x dx D .1 C x 2 /4
1 .1 C x 2 / 6
Con ello:
3 x !C1 x D0
1 D : 6
1 1 I2 D I1 D ; 4 24
2 1 I3 D I2 D : 5 60
Ejercicio resuelto 200 Sea f continua en un intervalo I y sea a 2 I . Prueba que para todo x 2 I se verica la igualdad: ! x x t .x
a
t /f .t / dt D
f .s / ds
dt
Solucin. Pongamos:
x x x
F .x / D G .x / D
.x
a x a t
t /f .t / dt D x f .s / ds ! dt :
f .t / dt
a a
tf .t / dt
461
Como f es continua, las funciones F y G son derivables en I y sus derivadas estn dadas por:
x x
F 0 .x / D
f .t / dt C xf .x /
xf .x / D
f .s / ds D G 0 .x /:
Como, adems F .a/ D G.a/ D 0, concluimos que F y G coinciden en todo punto de I.

1 Ejercicio resuelto 201 Sea f W RC o ! R una funcin de clase C , estrictamente creciente 1 y tal que f .0/ D 0. Sea g D f la funcin inversa de f y sea a > 0.
a) Prueba que:
f .a/ a a
g.y / dy D
xf 0 .x / dx D af .a/
f .x / dx :
0
b) Sea J D f .RC o / el intervalo imagen de f . Prueba que la funcin h W J ! R dada para todo t 2 J por:
t
h.t / D at
g.y / dy ;
0
alcanza un mximo absoluto en J y deduce que para todo b 2 J se verica:

a b
ab 6
0
f .x / dx C
g.y / dy
0
Cundo se da la igualdad? Solucin. a) Haciendo primero un cambio de variable y despus integrando por partes:
f .a/
y D f .x /; dy D f 0 .x / dx g.y / dy D D 0 D f .0/; f .a/ D f .a/ u D x ; du D dx dv D f 0 .x / dx ; v D f .x / xDa D xf .x /xD0
g.f .x //f 0 .x / dx D xf 0 .x / dx D
0 a a
f .x / dx D af .a/
f .x / dx
0
b) Tenemos que h 0 .t / D a g.t /. La funcin g es estrictamente creciente en J D f .RC o /. 0 Sea c D f .a/ > 0. Entonces c 2 J y g.c / D a. Deducimos que h .x / > 0 para 0 6 x < c y h 0 .x / < 0 para c < x . Por tanto h es estrictamente creciente en 0; c y estrictamente decreciente en c ; C1, luego h.t / < h.c / para todo t 2 J n fc g, y h alcanza en c D f .a/ un mximo absoluto en J . Deducimos que para todo b 2 J es h.b / 6 h.f .a//, es decir:
b f .a/ a a b
ab
0
g.y / dy 6 af .a/
0
g.y / dy D
f .x / dx ab 6
f .x / dx C
g.y / dy :
0
La igualdad se da si, y slo si, b D f .a/.

Ejercicios resueltos Ejercicio resuelto 202 Estudia para qu valores de 2 R es convergente la integral
1
462
I ./ D Calcula su valor para D 3=2.
x arc tg x dx :
0
Solucin. Pongamos f .x / D x arc tg x . La funcin f es continua y positiva en 0; 1. Como arc tg x x para x ! 0, se sigue que f .x / x C1 para x ! 0. Como la 1 integral 0 x s dx converge si, y slo si, s > 1, deducimos, por el criterio lmite de 1 comparacin, que la integral 0 f .x / dx converge si, y slo si, C1 > 1, o sea, > 2. Para calcular I . 3=2/ integramos por partes para eliminar la funcin arc tg x y despus hacemos un cambio de variable. 3 2 dx 1 u D arc tg x ! du 1C x2 3 2 5D 3 I . 3=2/ D x 2 arc tg x dx D 4 dv D x 2 ! v D p 0 x xD1 1 arc tg x 2 dx D 2 p D C p x x!0 x .1 C x 2 /
0
C 2
2 dx 2 D x D t ; t > 0 D p x .1 C x 2 /
1
C4 2
1 dt : 1 C t4
1 dt lo primero es calcular las races del denominador Para calcular la integral I D 0 1C t4 que, evidentemente, son todas complejas e iguales a las races complejas cuartas de la unidad. Como 1 D ei , dichas races son los nmeros:
xk D ei 4 ei
2k 4
D ei 4 ei
k 2
k D 0; 1; 2 ; 3:
Sabemos que dichas races vienen en pares de complejos conjugados. Luego deben ser x0 ; x0 y x1 ; x1 , donde:
1 1 x0 D e i 4 D p C i p ; 2 2
x1 D x0 ei 2 Dix0 D
1 1 p Cip : 2 2
Luego: x 4 C 1 D .x x0 /.x x0 /.x x1 /.x x1 / D jx x0 j2 jx x1 j2 D p p p p 2x C 1/.x 2 C 2x C 1/: D .x 1= 2/2 C 1=2 .x C 1= 2/2 C 1=2 D .x 2
Si no sabes calcular las races complejas cuartas de 1 (lo que sera bastante lamentable), puedes obtener la anterior descomposicin utilizando el hecho de que corresponde a dos factores cuadrticos irreducibles y, por tanto, debe ser de la forma (los coecientes de x 2 deben ser, claramente, iguales a 1): x 4 C 1 D .x 2 C ax C b /.x 2 C cx C d / Desarrollando esta igualdad e identicando coecientes se vuelve a obtener la descomposicin anterior.
Aplicaciones de la integral La descomposicin en fracciones simples es de la forma:
463
Cx C D 1 Ax C B p C p D 2 2 1 C x4 x 2x C 1 x C 2x C 1 p p 2x C 1/ 1 D .Ax C B /.x 2 C 2x C 1/ C .C x C D /.x 2 p p p p 1 D B C D C .A C 2B C C 2D /x C . 2A C B 2C C D /x 2 C .A C C /x 3 Identicando coecientes resulta el sistema de ecuaciones: p p p p B C D D 1; A C 2B C C 2D D 0; 2A C B 2C C D D 0; A C C D 0

1 1 , B DC D 2 . Ahora solaque se resuelve con mucha facilidad resultando A D C D p 2 2 mente queda calcular las correspondientes primitivas. Esto lo dejo para que lo completes t. Es algo que ya debes saber hacer y que se hizo en general al estudiar la integracin de funciones racionales. El resultado nal es: p 1 3 C log.3 C 2 2/ C x 2 arc tg x dx D p 2 2 0
8.7. Aplicaciones de la integral

Con una integral puedes calcular magnitudes tan diversas como reas, volmenes, longitudes de curvas, el trabajo realizado por una fuerza, la masa de un slido, momentos de inercia, el campo elctrico, el ujo de un uido a travs de una supercie y muchas ms. Es notable, sin embargo, que la forma de proceder sea casi siempre la misma, y consiste en expresar el valor exacto de la magnitud que se quiere calcular como un lmite de sumas de Riemann, para deducir, a partir de ellas, la integral cuyo clculo proporciona la solucin del problema. Podrs comprobar en lo que sigue que esta tcnica es bastante sencilla e intuitiva. Con un poco de prctica t mismo podrs aplicarla con xito en situaciones distintas de las que aqu se consideran.
8.7.1. Clculo de reas planas

Te recuerdo que si f W a; b ! R es una funcin continua, representamos por G.f; a; b / la regin del plano comprendida entre la curva y D f .x /, el eje de abscisas y las rectas x D a, x D b . Como sabes, el rea de dicha regin viene dada por
b
.G.f; a; b // D jf .x /j dx
a
Es interesante interpretar la integral que proporciona el rea de la siguiente forma. Observa que jf .x /j es la longitud del segmento interseccin de G.f; a; b / con la recta vertical que pasa por .x ; 0/, es decir, jf .x /j es la longitud de la seccin vertical de G.f; a; b / por el punto .x ; 0/, y el rea de la regin G.f; a; b / es igual a la integral de las longitudes de sus secciones.
Clculo de reas planas
464
Intuitivamente: integrando longitudes obtenemos reas. Como el rea es invariante por rotaciones, este resultado es tambin vlido si consideramos secciones por rectas paralelas a una recta cualquiera dada. Deducimos as el siguiente resultado. 8.64 Teorema (Principio de Cavalieri). El rea de una regin plana es igual a la integral de las longitudes de sus secciones por rectas paralelas a una recta dada. Veamos cmo se aplica este principio en algunos casos concretos. 8.7.1.1. Regiones de tipo I
Supongamos que f , g son funciones continuas y llamemos a la regin del plano comprendida entre las curvas y D f .x / e y D g.x / para a 6 x 6 b . Se dice que es una regin de tipo I. Es evidente que las longitudes de las secciones verticales de son iguales a jf .x / g.x /j por lo que su rea viene dada por
b
./ D
jf .x /
g.x /j dx
(8.38)
Observa que esta integral expresa el rea de como lmite de las sumas de Riemann
n X
k D1
jf .tk /
g .tk /j .x k
xk
1/
lo que tiene una sencilla interpretacin que puedes ver en la siguiente gura.
Figura 8.7. Aproximacin al rea de una regin de tipo I
Cuando la funcin f g no tiene signo constante en el intervalo a; b , para calcular la integral (8.38) se descompone dicho intervalo en intervalos en los que la funcin f g es siempre positiva o siempre negativa, lo que permite quitar el valor absoluto en el integrando. A veces interesa expresar una regin de tipo I como unin de dos o ms regiones de tipo I disjuntas y ms sencillas, entonces su rea es la suma de las reas de cada una de dichas regiones.
465
Calculamos los puntos de corte de la recta y la parbola resolviendo la ecuacin x D.x 2/2 , cuyas soluciones son a D 1, b D 4. Puedes ver representada la regin en amarillo en la siguiente gura.
8.65 Ejemplo. Vamos a calcular el rea de la regin comprendida entre la parbola y 2 D x y la recta y D x 2.
yD
x yDx 2 4
0 p x
yD
Figura 8.8. Ejemplo de regin de tipo I
Podemos considerar como una regin de tipo I. La funcin cuya grca limita a por p arriba es g.x / D x . La funcin cuya grca limita a por abajo viene dada por ( p x 06x61 f .x / D x 2 16x64 En consecuencia
4 1
./ D
jg.x /
f .x /j dx D
p . x
p . x // dx C
p . x
.x
2// dx D
9 2
Observa que podemos ver como unin de dos regiones de tipo I como se indica en la siguiente gura.
yD
x yDx 2 4
0 p x
yD
Y lo que hemos hecho antes ha sido calcular el rea de cada una de estas dos regiones. 8.7.1.2. Regiones de tipo II
Supongamos que f , g son funciones continuas y llamemos a la regin del plano comprendida entre las curvas x D f .y / y x D g.y / para a 6 y 6 b . Se dice que es una regin
466
de tipo II. Es evidente que las longitudes de las secciones horizontales de son iguales a jf .y / g.y /j por lo que su rea viene dada por
b a
jf .y /
g.y /j dy
(8.39)
lo que tiene una sencilla interpretacin que puedes ver en la gura 8.9.
Figura 8.9. Aproximacin al rea de una regin de tipo II
Es importante advertir que la distincin entre regiones de tipo I y de tipo II es tan slo una cuestin de conveniencia. No son conjuntos de distinta naturaleza sino formas distintas de describir un conjunto. En la prctica te vas a encontrar con regiones que puedes considerar tanto de tipo I como de tipo II y debers elegir la descripcin que ms facilite el clculo de la correspondiente integral. De todas formas, no debes olvidar que basta cambiar la variable x por la variable y para convertir una regin de tipo II en otra de tipo I. Geomtricamente, lo que hacemos es una simetra respecto a la recta y D x , lo que deja invariante el rea. Por tanto, si en un ejercicio resulta conveniente considerar la regin cuya rea quieres calcular como una regin de tipo II y te encuentras ms cmodo trabajando con regiones de tipo I, basta con que cambies los nombres de las variables. Salvo por factores de escala, las guras (8.7) y (8.9) son simtricas respecto de la recta y D x. 8.66 Ejemplo. La regin del ejemplo (8.8) puedes considerarla como una regin de tipo II. La curva que limita esta regin por la derecha es la grca de la recta x D y C 2 y la curva que limita esta regin por la izquierda es la grca de la parbola x D y 2 . La variable y est comprendida entre 1 y 2. n o D .x ; y / W y 2 6 x 6 y C 2 ; 1 6 y 6 2 Tambin puedes transformar directamente en una regin de tipo I ms sencilla que la anteriormente considerada en la gura 8.8 mediante una simetra respecto de la recta y D x , tal
467
2 x D y2
Tenemos que:
xDy C2
2

0 1
./ D
.y C 2
y 2 / dy D
9 2
Figura 8.10. Ejemplo de regin de tipo II
como se muestra en la gura 8.11. Aunque la regin as obtenida,s , no es la misma tiene, sin embargo, igual rea que .
9 .s /D./D .x C2 x 2/ dx D : 2
yDxC2
1
s
y D x2 0
Figura 8.11. Simtrica de la gura 8.8
404. Calcula el rea de las dos partes en que la parbola y 2 D 4x divide al crculo x 2 C y 2 D 8. 405. Calcula para qu valor de la curva y D cos x divide en dos partes de igual rea la regin limitada por la curva y D sen x y el eje de abscisas cuando 0 6 x 6 =2. 406. Calcula el rea encerrada por el bucle de la curva y 2 D x .x 407. a) Calcula f .t / D
C1 0
1/2 .
sen.xt / e
dx .
b) Calcula el rea limitada por la grca de f y el eje OX .

Ejercicios propuestos 408. Calcula el rea de las regiones del plano limitadas por las siguientes curvas. 1. y D x .x 1/.x 12y 3 ; 2x ; 2/ y el eje OX . y D x2 y2 x D 2y 2 2y . 3 6 x 6 1. 4;
468
6. y D 7. x2 a2 8. .y
5. x C
4. y D x 2 ; y2
3. y D x 2
2. x D
12y 2
sec2 x ; y2
D 3;
x C y D 2; yD 4x C
x > 0; y > 0. =4 6 x 6 =4.
tg2 x ;
D 4.
9. y D .log x /2 ; 0 < x 6 e. 1 x ; x D 1. 10. y 2 D 1Cx 11. y D x e x ; y D x 2 e x ; x > 0. 409. Calcula a > 0 por la condicin de que el sector parablico OAB de la gura de la derecha tenga rea mnima. El punto B es la interseccin de la parbola y D x 2 con su normal en el punto A D .a; a2 /. 410. Con un disco de radio R queremos hacer, recortando un disco concntrico de radio r , una arandela como la de la gura de la derecha. Se pide calcular el radio r por la condicin de que el rea de la parte de la arandela que queda a la izquierda de la recta x D r (sombreada en gris) sea mxima. Sugerencia. Tomar como variable.
y D x2 A D .a; a2 / O A R O r
D 1, a > 0, b > 0. b2 x /2 D x 3; x D 7.
p p 411. Una corona circular de radio interior 2 y radio exterior 6 se corta con la parbola de ecuacin x D y 2 . Calcula el rea de cada una de las dos regiones resultantes. 412. Se considera la hiprbola de ecuacin x 2 y 2 D 1 y un punto .x0 ; y0 / de la misma .x0 > 1/. Se pide calcular el rea, !0 , de la regin sombreada en gris en la gura, y deducir que: x0 D cosh.!0 /; y0 D senh.!0 /:
O
.x 0 ; y0 / x0
x2
y2 D 1
469

Antes de ver la solucin de un ejercicio debes intentar resolverlo! Ejercicio resuelto 203 Calcula el rea de las dos partes en que la parbola y 2 D 4x divide al crculo x 2 C y 2 D 8. Solucin. Hay que calcular los puntos de interseccin de la parbola y de la circunferencia. Para ello calculamos la raz positiva de la ecuacin p x 2 C 4x 8 D 0 que es D 2 C 2 3. Los p puntos de interseccin son, por tanto, .; 2 / p y .; 2 /. Teniendo en cuenta la simetra, para calcular el rea de la parte azul del crculo es suciente calcular el rea de la regin comprendida entre la circunferencia y la parbola cuando x 2 0; , es decir, el rea de la regin coloreada en rojo. Se trata de una regin de tipo I cuya rea viene dada por:
p 8
x2
p 2 x dx D
p 8
x 2 dx
0
2x
1= 2
dx D
x 2 dx
4 3= 2 : 3
Calculemos la integral que falta.
p 8
p p x 2 dx D x D 8 sen t D 8
arc sen. p / 8
p cos2 t dt D 2 2
arc sen. p / 8
1 C cos.2t / dt D 2
Por tanto, el rea,S , de la regin en rojo es igual a: SD
p p p 1 D 2 arc sen = 8 C p sen 2 arc sen.= 8/ : 2 p p p 1 2 arc sen = 8 C p sen 2 arc sen.= 8/ 2 4 3= 2 3
La solucin obtenida puede simplicarse ms usando que sen.2x / D 2 sen x cos x pero, tal como est, puede considerarse correcta. El rea de la parte del crculo interior a la parbola (coloreada en azul) es igual 4 2S , y el rea de la parte del crculo exterior a la parbola (zonas amarilla y roja) es igual a 4 C 2S . Otras formas de hacer este ejercicio son las siguientes.
470
Teniendo en cuenta la simetra, el rea de la parte azul del crculo es igual a:
p .; 2 / p 8
2
0
p 2 xC2
8p
x 2 dx
p .; 2 /
que se calcula como antes.
Tambin puedes hacer este ejercicio cambiando los ejes (convirtiendo una regin de tipo II en otra de tipo I) como en la siguiente gura obtenida simetrizando la anterior respecto de la bisectriz del primer y tercer cuadrantes. El rea de la parte azul del disco es igual a:
p 2 p 2
p 8
x2
x =4 dx
2
p 2
p 2
que se calcula igual que antes.
Ejercicio resuelto 204 Calcula a > 0 por la condicin de que el sector parablico OAB de la gura de la derecha tenga rea mnima. El punto B es la interseccin de la parbola y D x 2 con su normal en el punto A D .a; a2 /. Solucin.
y D x2 A D .a; a2 / O
Sabemos que la normal a una curva de ecuacin y D f .x / en un punto .a; f .a// es la rec1 .x a/. En nuestro caso la curva es la parbola y D x 2 ta de ecuacin y D f .a/ 0 f .a/ 1 cuya normal en el punto .a; a2 / es la recta y D a2 .x a/. La interseccin de dicha 2a recta con la parbola se obtiene resolviendo la ecuacin 1 2 3 2 2 .x a/, esto es, 2ax C x a 2a D 0, cuyas soluciones son: x Da 2a p p p 1 1 C 4.a C 2a3 /2 2a 1 1 C 8a2 C 16a4 1 .1 C 4a2 /2 D D D 4a 4a 4a 8 1 .1 C 4a2 / <a 2 D D : 1 C 2a 4a 2a
471
1 C 2a2 2 /. El rea del sector parablico de Pongamos x0 D . Tenemos que B D .x0 ; x0 2a la gura viene dada por
a
G . a/ D
x0
1 .x 2a
a/
dx D a2 x
1 .x 4a
a/
1 3 x 3
xDa
x Dx0
1 1 4 3 a CaC C 3 4a 48a3 Para calcular el mnimo de esta funcin se procede de la forma usual. Calculemos los ceros de la derivada. 1 1 1 1 2 G 0 .a/ D 4a2 C 1 D 0 4a C 1 D 1 C D 4a2 16a4 4a2 4a2 1 1 .4a2 C 1/ 16a4 D 1 a4 D D 16 16a4 Como a > 0, la nica solucin es a D 1=2. Teniendo en cuenta que para todo a > 0: G 00 .a/ D 8a C y que lK m G 0 . a/ D
a!0
1 1 C 5 > 0; 2a3 4a 1 es 2
1 < 0, y para < a es G 0 .a/ > 0. De aqu se sigue que G decrece en 0; 1=2 y 2 crece en 1=2 ; C1, por lo que alcanza un mnimo absoluto en a D 1=2. G 0 .a/ Ejercicio resuelto 205 Con un disco de radio R queremos hacer, recortando un disco concntrico de radio r , una arandela como la de la gura de la derecha. Se pide calcular el radio r por la condicin de que el rea de la parte de la arandela que queda a la izquierda de la recta x D r (sombreada en gris) sea mxima. Sugerencia. Tomar como variable. Solucin.
A R O r
1,
a!C1
lK m G 0 .a/ D C1, deducimos que para 0 < a <
Todo lo que hay que hacer es calcular el rea de la parte sombreada de la arandela. Podemos hacer esto de forma completamente elemental introduciendo como variable la medida en radianes, , del ngulo indicado en la gura. Con ello tenemos que r D R cos . El rea buscada es igual al rea del disco grande (R2 ) menos el rea del disco pequeo (.R cos /2 ), menos el rea del sector circular OBA (R2 ) ms el rea del tringulo OAB (R cos R sen ). Por tanto, la funcin a maximizar es:
f ./ D R2 .R cos /2 R2 C R cos R sen D R2 cos2 C cos sen D D R2 sen2 C cos sen ;
Ejercicios resueltos denida para 0 6 6 =2. Calculamos la derivada: f 0 . / D 2R2 sen . cos sen /:
472
Se sigue que el nico cero de la derivada en el intervalo donde est denida f es es 0 D arc tg 20; =2. Como sen > 0, el signo de la derivada es igual al signo de cos sen . Deducimos que f 0 . / > 0 para 0 < < 0 y f 0 . / < 0 para 0 6 < =2. En consecuencia, f es creciente en 0; 0 y decreciente en 0 ; =2. Por tanto el valor mximo absoluto de f en 0; =2 se alcanza en 0 . El valor de r correspondiente es: R r D R cos 0 D p : 1 C 2
Alternativamente, podemos calcular directamente, en funcin de r , el rea del segmento circular determinado por la cuerda AB , que viene dado por: 2
Rp
R2
x 2 dx
En consecuencia, el rea de la parte sombreada de la arandela viene dada por: g.r / D R2 r2 2
Rp
R2
x 2 dx
donde 0 6 r 6 R. Por el Teorema Fundamental del Clculo, la derivada de g viene dada por p g 0 .r / D 2 r C 2 R2 r 2
R . Se justica fcilmente que dicho valor corresponde Cuyo nico cero es r0 D p 1 C 2 al mximo absoluto de g en 0; R.
Ejercicio resuelto 206 Calcula para qu valor de la curva y D cos x divide en dos partes de igual rea la regin limitada por la curva y D sen x y el eje de abscisas cuando 0 6 x 6 =2. Solucin. El rea limitada por la funcin seno entre x D 0

y D sen x y D cos x
y x D =2, es igual 02 sen x dx D 1. Por tanto, debemos calcular por la condicin de que el rea de la regin , en amarillo en la gura de la derecha, sea igual a 1=2. Llamando a al nico punto de corte de las grcas y D sen x , y D cos x en el intervalo 0; =2, el cual viene dado por la igualdad cos a D sen a, dicha rea es igual a:

O a
2
473
2
sen x dx C
cos x dx D 1 C
cos a
sen a:
Deber vericarse que 1 C
cos a
sen a D 1=2. Teniendo en cuenta que: 1 1 D 1 C 2 ) cos a D p ; cos2 a 1 C 2
cos a D sen a ) tg a D )
donde hemos tenido en cuenta que como 0 < a < =2, cos a > 0. Sustituyendo ahora en la igualdad anterior y teniendo en cuenta que debe ser > 0, obtenemos: 1C 1 , 1 C 2 D 2 cos a C 2 sen a D 2.1 C 2 / cos a , 2 p 3 1 D 2 1 C 2 , .1 C 2/2 D 4.1 C 2 / , D : 1 C 2 D 2.1 C 2 / p 2 4 1C cos a sen a D 1/2 .
Ejercicio resuelto 207 Calcula el rea encerrada por el bucle de la curva y 2 D x .x
Solucin. En problemas de clculo de areas debemos hacer, siempre que no sea complicado, una representacin grca para visualizar la regin del plano cuya rea queremos calcular, de esta forma se evitan posibles errores. La curva de ecuacin y 2 D x .x 1/2 es simtrica respecto al eje de abscisas, pues para cada valor de x tenemos dos valop p res opuestos de y , que vienen dados por y D x jx 1j, y D x jx 1j. Observa que esta curva est denida para x > 0. Los puntos de corte de la curva con el eje OX son x D 0 y x D 1. El bucle del enunciado debe estar comprendido entre ellos dos. Para 0 6 x 6 1 la parte de arriba de la curva p 1 3x es y D x .1 x /. Tenemos que y 0 D p . 2 x Deducimos que es creciente para 0 6 x 6 1=3 y decreciente para 1=3 6 x 6 1. Adems, la deO 1 rivada segunda es negativa, por lo que se trata de una curva cncava (la parte de arriba del bucle). Con estos datos ya podemos representar la curva. Teniendo en cuenta la simetra, el rea pedida viene dada por:
1
2
0
p x .1
x / dx D
8 15
Ejercicio resuelto 208 Calcula el rea de una elipse de semiejes a y b . Solucin. Por medio de un giro y de una traslacin (que son movimientos del plano que conservan el rea), la ecuacin de la elipse puede escribirse de la forma: x2 y2 bp 2 a C D 1 y D a a2 b2
x2
Curvas en el plano El rea pedida viene dada por la integral: b a

a a
474
p 2 a2
x 2 dx D ab:
Donde, para evaluar la integral hemos usado la tabla de primitivas inmediatas. Para el caso en que a D b D r , es decir, la elipse es un crculo de radio r , obtenemos la conocida frmula r 2 para el rea de un crculo.
8.7.4. Curvas en el plano

Seguramente te imaginas una curva en el plano como una lnea continua que puede dibujarse de un trazo, sin levantar el lpiz del papel. Esa idea es esencialmente correcta. Las circunferencias, las elipses, las cardioides son todas ellas curvas. Faltara ms. Ninguna de ellas puedes representarla por una igualdad de la forma y D f .x /. Las curvas que pueden representarse por una ecuacin cartesiana del tipo y D f .x / son curvas muy particulares pues son grcas de funciones. No olvides que cuando dices sea la curva dada por la ecuacin y D f .x / te ests reriendo a la curva cuya imagen es el conjunto de puntos del plano f.x ; y / W x 2 a; b ; y D f .x /g es decir, a la grca de f . Si lo piensas un momento, vers que muy pocas curvas son grcas. Para que una curva sea una grca es necesario que cualquier recta vertical la corte a lo ms en un solo punto; ninguna curva cerrada cumple esta condicin. Precisamente entre las curvas cerradas se encuentran algunas de las curvas ms interesantes, a ellas pertenecen los distintos tipos de valos y lemniscatas, las astroides, las cardioides y muchas ms. Vamos a ver ahora una forma de representar curvas planas mucho ms general que las ecuaciones cartesianas del tipo y D f .x / que slo sirven para representar curvas que tambin son grcas. Para empezar, consideremos una curva que viene dada por una ecuacin cartesiana de la forma y D f .x / donde x 2 a; b . Nuestra curva es, por tanto, la imagen de la aplicacin W a; b ! R2 denida por .x / D .x ; f .x // para todo x 2 a; b . Intuitivamente, cuando x recorre el intervalo a; b , el punto .x ; f .x // recorre la curva. Es fcil generalizar esta situacin sin perder la idea intuitiva de curva. Lo esencial es que podamos describir las coordenadas de los puntos de la curva como funciones continuas de un parmetro. En la situacin que estamos considerando se tiene que y D f .x /, es decir, la segunda coordenada es funcin continua de la primera. La generalizacin consiste en que ambas coordenadas sean funciones continuas de un parmetro. Llegamos as a la denicin siguiente. 8.67 Denicin. Una curva en el plano es una aplicacin continua W a; b ! R2 . Si .t / D .x .t /; y .t //, decimos que x D x .t /, y D y .t / son las ecuaciones paramtricas de la curva. El punto .a/ es el origen y .b / el extremo de la curva. Si .a/ D .b / se dice que la curva es cerrada. Se dice que una curva es simple si no se corta a s misma, es decir, si para s; t 2 a; b con s t se verica que .s / .t /. Una curva cerrada se llama simple si la funcin es inyectiva en a; b . 8.68 Ejemplos. La curva de ecuaciones paramtricas x .t / D a C r cos t , y .t / D b C R sen t donde 0 6 t 6 2 es una elipse cuyo centro es el punto .a; b / y semiejes de longitudes r y R. Cuando r D R se trata de una circunferencia.
Curvas en el plano
475
La curva de ecuaciones paramtricas x .t / D r .t sen t /, y .t / D r .1 cos t / para 0 6 t 6 2 es la cicloide. Es la curva que describe un punto de una circunferencia de radio r que avanza girando sin deslizar. La curva de ecuaciones paramtricas x .t / D a.1 C cos t / cos t , y .t / D a.1 C cos t / sen t para 0 6 t 6 2 se llama cardioide. Es la curva que describe un punto jo del borde de un crculo de radio a=2 que rueda sin deslizar sobre el exterior de otro crculo del mismo radio.
P
2r
P
2 r
Figura 8.12. Cicloide Figura 8.13. Cardioide
Figura 8.15. Espiral de Arqumedes Figura 8.14. Astroide
La curva de ecuaciones paramtricas x .t / D a cos3 t , y .t / D a sen3 t donde a > 0 y 0 6 t 6 2 , se llama hipocicloide de cuatro picos o astroide. Es la curva que describe un punto jo de una circunferencia de radio r D a=4 que rueda sin deslizar sobre el interior de otra circunferencia de radio a. La curva de ecuaciones paramtricas x .t / D t cos t , y .t / D t sen t donde 0 6 t 6 2 , se llama espiral de Arqumedes. Es la curva que describe un punto que se mueve alejndose del origen con velocidad uniforme sobre una semirrecta que gira alrededor del origen con velocidad angular constante. Otro ejemplo nal, para que aprecies las curvas tan complicadas que pueden representarse fcilmente por ecuaciones paramtricas. Se trata de una curva de las llamadas curvas de Lissajoux. Sus ecuaciones son x .t / D sen.3t /, y .t / D cos.5t /, t 2 0; 2.
Curvas en el plano
476
Figura 8.16. Una curva de Lissajoux
8.7.4.1.
rea encerrada por una curva
Sea la regin rodeada por una curva cerrada simple .t / D .x .t /; y .t //, a 6 t 6 b , y supongamos que las funciones x .t /; y .t / tienen primera derivada continua. Se supone tambin que si, a medida que el parmetro t avanza desde a hasta b , andamos sobre la curva siguiendo al punto .t / D .x .t /; y .t // entonces la regin queda a nuestra izquierda (ver gura 8.17). En estas condiciones se verica que el rea de viene dada por:
b b
./ D
x .t /y 0 .t / dt D
y 0 .t /x .t / dt D
1 2
x .t /y 0 .t /
a
y 0 .t /x .t / dt
(8.40)
Figura 8.17. Una curva cerrada
8.7.4.2.
reas planas en coordenadas polares
Un tipo particular de ecuaciones paramtricas son las de la forma: ( x .#/ D f .#/ cos # . 6 # 6 / y .#/ D f .#/ sen #
(8.41)
donde f W ; ! R es una funcin continua. Dichas ecuaciones se representan simblicamente en la forma D f .#/. La curva denida por estas ecuaciones se dice que est dada en forma polar y que D f .#/ es la ecuacin polar de la curva. La razn de esta terminologa se explica seguidamente.
Curvas en el plano
477
Dado un punto .x ; y / .0; 0/, hay un nico par de nmeros .; #/, tales que > 0 y < # 6 , que verican las igualdades x D cos # , y D sen # . Dichos nmeros se llaman coordenadas polares del punto .x ; y /. Si consideras el nmero complejo x C iy , entonces es su mdulo y # es su argumento principal. Por tanto, dada una curva por una ecuacin polar D f .#/, el punto del plano que corresponde a cada valor del ngulo polar # es: f .#/.cos #; sen #/; si f .#/ > 0: Coordenadas polares .f .#/; #/ jf .#/j cos.# C /; sen.# C / ; si f .#/ < 0: Coordenadas polares .jf .#/j; # C /
Debes tener claro que esta forma de representar una curva no es ms que un tipo particular de representacin paramtrica. Consideremos una curva dada por la ecuacin polar D f .#/ donde f W ; ! R . Queremos calcular el rea de la regin del plano (ver gura 8.18): D f. cos #; cos #/ W 0 < 6 f .#/; 6 # 6 g :
D f .#/ #k #k O
Figura 8.18. Aproximacin por sectores circulares
1
Para ello lo que hacemos es aproximar por medio de sectores circulares. Recuerda que 1 el rea de un sector circular de radio y amplitud ' (medida en radianes) es igual a 2 ' . 2 Consideramos para ello una particin f D #0 ; #1 ; #2 ; : : : ; #n 1 ; #n D g de ; y forman X 1 1 f .#k /2 .#k #k 1 /. Como el nmero f .#k /2 .#k #k 1/ es el rea del mos la suma 2 2 k D1 sector circular, representado en amarillo en la gura 8.18, de radio f .#k / y amplitud igual a #k #k 1, es claro que la suma anterior representa una aproximacin del rea de . Como n X 1 1 f .#k /2 .#k #k 1 / es una suma de Riemann de la funcin # 7! f .#/2 , se sigue que 2 2 k D1 el rea de viene dada por la integral: 1 ./ D 2
f .#/2 d#
(8.42)
Ejercicios propuestos Con frecuencia, las ecuaciones en coordenadas polares se usan para representar distintos tipos de curvas simtricas llamadas rosas. Por ejemplo, en la gura 8.19 se ha representado una rosa de 8 hojas o lazos, cuya ecuacin en coordenadas polares es D cos.4#/, 0 6 # 6 2 .
478
Figura 8.19. Rosa de 8 ptalos
413. Calcula el rea encerrada por la elipse x .t / D a C r cos t , y .t / D b C R sen t donde 0 6 t 6 2 . 413. Calcula el rea encerrada por la cardioide x .t / D cos t .1 C cos t /, y .t / D sen t .1 C cos t / para 0 6 t 6 2 . 414. Calcula el rea de la regin del plano rodeada por un lazo de la lemniscata de ecuacin polar 2 D cos.2#/, . =4 6 # 6 =4/.
415. Calcula el rea limitada por el arco de la espiral de Arqumedes D a# , a > 0, comprendido entre # D 0 y # D . 416. Calcula el rea encerrada por el lazo interior de la curva D 1 C cos # . 2 3axy D 0,
417. Hallar el rea encerrada por una de las hojas de la rosa D 2 cos.2#/. 418. Calcular el rea del lbulo del folium de Descartes de ecuacin x 3 C y 3 a > 0. Sugerencia. Expresa la ecuacin en forma polar. 419. Calcula el rea de la regin comn a las dos elipses y2 x2 y2 x2 C D 1 ; C D 1: a2 b2 b2 a2 Sugerencia. Representa grcamente las elipses. Usa la simetra polar para simplicar los clculos y pasar a coordenadas polares.
8.7.6. Longitud de un arco de curva

Se trata de calcular la longitud de la curva plana dada por las ecuaciones paramtricas .t / D .x .t /; y .t //, a 6 t 6 b , donde suponemos que x .t /, y .t / tienen derivada primera continua. Para ello aproximamos la curva por poligonales inscritas en ella. Cada particin
479
fa D t0 ; t1 ; t2 ; : : : ; tn 1 ; tn D b g induce una poligonal cuyos vrtices son los puntos .tk / D .x .tk /; y .tk //, .0 6 k 6 n/. .tk / .tk
1/
Figura 8.20. Aproximacin por poligonales
k D1
La longitud de dicha poligonal viene dada por la suma: n q n q X X 2 2 .x .tk / x .tk 1 // C .y .tk / y .tk 1 // x 0 .sk /2 C y 0 .sk /2 .tk
k D1
tk
1/
Donde hemos usado el teorema del valor medio p y la continuidad de las derivadas. Pero esta suma es una suma de Riemann de la funcin t 7! x 0 .t /2 C y 0 .t /2 . Deducimos que la longitud de la curva viene dada por
b
`. / D
q x 0 .t /2 C y 0 .t /2 dt
(8.43)
Para el caso particular de que la curva sea la grca de una funcin y D f .x /, esto es .x / D .x ; f .x //, entonces su longitud viene dada por
b
`. / D
1 C f 0 .x /2 dx
Para el caso particular de que la curva venga dada por una parametrizacin polar de la forma (8.41), su longitud viene dada por
`. / D
f .#/2 C f 0 .#/2 d#
Si interpretamos que la curva .t / D .x .t /; y .t // es la funcin de trayectoria seguida por un mvil, entonces la velocidad de dicho mvil en cada instante t viene dada por el vector derivada 0 .t / D .x 0 .t /; y 0 .t //, y la rapidez es la norma eucldea de dicho vector, es decir p 0 x .t /2 C y 0 .t /2 . La igualdad (8.43) tiene ahora una interpretacin clara: la distancia recorrida por un mvil se obtiene integrando la rapidez. Volveremos sobre esto ms adelante.
420. Calcula la longitud del arco de catenaria y D cosh x entre x D 0 y x D 1.

Volmenes de slidos
480
421. Calcula la longitud de un arco de la cicloide x .t / D t sen t , y .t / D 1 cos t , .0 6 t 6 2/. 422. Calcular la longitud del arco de curva y D x 2 C 4, entre x D 0 y x D 3. x 2 =3 y 2 =3 423. Calcula la longitud de la astroide C D 1, a > 0. a a Sugerencia. Obtener las ecuaciones paramtricas de la astroide y tener en cuenta la simetra. 424. Calcula la longitud de la cardioide D 3.1 C cos #/, .0 6 # 6 2/. 425. Calcula la longitud de la curva y D x 4 C 48 donde 2 6 x 6 4. 24x x 2 /, donde 1=3 6 x 6 2 =3.
426. Calcula la longitud de la curva y D log.1
8.7.8. Volmenes de slidos

Al igual que podemos calcular reas de regiones planas integrando las longitudes de sus secciones por rectas paralelas a una dada, podemos tambin calcular volmenes de regiones en R3 integrando las reas de sus secciones por planos paralelos a uno dado. Este resultado es un caso particular del teorema de Fubini que veremos al estudiar integrales mltiples. 8.69 Teorema (Clculo de volmenes por secciones planas). El volumen de una regin en R3 es igual a la integral del rea de sus secciones por planos paralelos a uno dado. Para justicar esta armacin, sea una regin en R3 como la de la gura 8.21.
.x /
O a
Figura 8.21. Clculo del volumen por secciones
Representemos por .x / la seccin de por el plano perpendicular al eje OX en el punto .x ; 0; 0/. Sea V .x / el volumen de la parte de que queda a la izquierda de dicho plano y sea ..x // el rea de la seccin .x /. Observa que la situacin es totalmente anloga a la considerada en el Teorema Fundamental del Clculo: all tenamos la funcin rea cuya
Volmenes de slidos
481
derivada era la longitud de la seccin. No debe sorprenderte por ello que ahora resulte que la derivada de la funcin volumen, V .x /, sea el rea de la seccin. En efecto, sea h > 0. Suponiendo, naturalmente, que la funcin x 7! ..x // es continua, tenemos que: mK n f..t // W x 6 t 6 x C hg h 6 V .x C h/ de donde se deduce que
h!0
V .x / 6 m a K x f..t // W x 6 t 6 x C hg h D ..x //:
lK m
V .x C h/ h
V .x /
Hemos obtenido as que V 0 .x / D ..x //. Deducimos que el volumen de , que es V .b / V .a/, viene dado por la integral:
b
Vol ./ D
..x // dx
a
(8.44)
El razonamiento anterior se ha hecho para secciones por planos verticales al eje OX , es decir planos paralelos al plano Y Z ; pero el resultado obtenido tambin es vlido para secciones por planos paralelos a un plano dado. Podemos llegar tambin a este resultado considerando sumas de Riemann. Para ello aproximamos la regin por cilindros de la siguiente forma. Consideremos una particin fa D x 0 ; x 1 ; x 2 ; : : : ; x n
1 ; xn
D bg
de a; b . La parte de comprendida entre los planos perpendiculares al eje OX por los puntos .xk 1 ; 0; 0/ y .xk ; 0; 0/ puede aproximarse por un cilindro de altura xk xk 1 y base .xk / cuyo volumen es igual ..xk //.xk xk 1 /. La suma de los volmenes de todos estos cilinn X dros, ..xk //.xk xk 1 /, es por tanto una aproximacin del volumen de . Pero dicha suma es una suma de Riemann de la funcin x 7! ..x //, por lo que el volumen de viene
b k D1
dado por
a
..x // dx .
Vamos a estudiar algunos casos en los que es fcil calcular el rea de las secciones de . 8.7.8.1. Volumen de un cuerpo de revolucin
Los cuerpos de revolucin o slidos de revolucin son regiones de R3 que se obtienen girando una regin plana alrededor de una recta llamada eje de giro. Mtodo de los discos Es fcil calcular el volumen de un cuerpo de revolucin obtenido girando una regin de tipo I alrededor del eje OX , o una regin de tipo II alrededor del eje OY . Sea f W a; b ! R una funcin continua. Girando la regin del plano comprendida entre la curva y D f .x /, el eje de abscisas y las rectas x D a y x D b , alrededor del eje OX obtenemos un slido de revolucin (ver gura 8.22). Es evidente que la seccin, .x /, de por el plano perpendicular al eje OX en el punto .x ; 0; 0/, es un disco contenido en dicho plano de centro
Volmenes de slidos
482
y D f .x / .x /
Figura 8.22. Mtodo de los discos
.x ; 0; 0/ y radio jf .x /j. Por tanto el rea de .x / es ..x // D f .x /2 ; en consecuencia el volumen de es igual a
b
Vol ./ D
f .x /2 dx
a
El volumen del slido de revolucin, , obtenido girando alrededor del eje OX una regin de tipo I denida por dos funciones continuas f; g W a; b ! R tales que 0 6 f .x / 6 g.x / para todo x 2 a; b , se obtiene integrando las reas de las coronas circulares o arandelas, .x /, de radio interior f .x / y radio exterior g.x /, obtenidas al cortar por un plano perpendicular al eje OX en el punto .x ; 0; 0/.
b
Vol ./ D
.g .x /2
a
f .x /2 / dx
Consideremos ahora un slido de revolucin obtenido girando alrededor del eje OY una regin R de tipo II, denida por dos funciones continuas '; W c ; d ! R tales que 0 6 '.y / 6 .y / para todo y 2 c ; d , es decir, R es la regin R D f.x ; y / W y 2 c ; d ; '.y / 6 x 6 .y /g. El volumen del slido de revolucin resultante, , viene dado por:
d
Vol ./ D
. .y /2
c
'.y /2 / dy
Este procedimiento se conoce como mtodo de los discos o de las arandelas. Dicho mtodo puede aplicarse con facilidad para calcular el volumen de cuerpos de revolucin obtenidos girando regiones de tipo I alrededor de rectas horizontales, o regiones de tipo II alrededor de rectas verticales.
483
427. Calcula el volumen de la esfera obtenida girando la circunferencia x 2 C y 2 D R2 alrededor del eje OX . 428. Calcula el volumen del cono circular recto de altura h y radio de la base R obtenido girando la recta y D Rx = h entre x D 0 y x D h. 429. Calcula el volumen del slido engendrado al girar alrededor del eje OX la parte de la curva y D sen2 x comprendida entre 0 y . 430. Calcula el volumen del slido engendrado al girar alrededor del eje OX la grca de la 18x . funcin f W 0; C! R dada por f .x / D 2 x C9 431. Calcular el volumen del slido de revolucin obtenido al girar alrededor del eje OX la regin del plano comprendida bajo la curva yDp x .x 2 2 2x C 2/ .1 6 x < C1/
432. Calcula el volumen del slido engendrado al girar la regin limitada por la parbola y 2 D 4x y la recta x D 4 alrededor de dicha recta. 433. Calcula el volumen del slido engendrado al girar la regin limitada por las parbolas y 2 D x ,x 2 D y alrededor del eje OX . 434. Calcula el volumen del elipsoide y2 z2 x2 C C D 1. a2 b2 c2 y2 x2 C D z y el plano z D 7. 9 16
435. Calcula el volumen limitado por el paraboloide
Mtodo de las lminas o de los tubos Consideremos una funcin positiva f W a; b ! R y la regin G.f; a; b / limitada por la grca de dicha funcin y las rectas verticales x Da, x Db . Observa que G.f; a; b / es una regin de tipo I pero, en general, no es una regin de tipo II. Girando dicha regin alrededor del eje OY obtenemos un slido de revolucin, , cuyo volumen podemos aproximar considerando pequeos rectngulos verticales inscritos en la grca de f y girndolos alrededor del eje OY (ver gura 8.23). Cada uno de esos rectngulos engendra, al girarlo, un tubo cilndrico de paredes delgadas. La suma de los volmenes de dichos tubos es una aproximacin del volumen de . Naturalmente, la aproximacin va mejorando a medida que hacemos que los tubos tengan paredes cada vez ms delgadas. Consideremos una particin fa D x0 ; x1 ; x2 ; : : : ; xn 1 ; xn D b g de a; b . Al girar alrededor del eje OY un rectngulo vertical cuya base es el intervalo xk 1 ; xk y altura f .xk /,
484
Y y D f .x /
Figura 8.23. Mtodo de las lminas o tubos
obtenemos una lmina de un cilindro circular recto, esto es, un tubo cuya base tiene rea 2 2 / y altura f .x /, cuyo volumen es, por tanto, igual a: .xk xk k 1
2 .xk 2 xk 1 /f .xk /
D xk f .xk /.xk La suma de todos ellos es igual a:

n X
D .xk
xk
1 /.xk
xk
C xk
1/
C xk
1 /f .xk /D
1 f .xk /.xk
xk
1 /:
xk f .xk /.xk
xk
k D1
1/ C
k D1
n X
xk
1 f .xk /.xk
xk
1 /:
Pero estas dos sumas son sumas de Riemann de la funcin x 7! xf .x /. Deducimos que el volumen de viene dado por:
b
Vol ./ D 2
xf .x / dx :
a
Esto es lo que se conoce como mtodo de las lminas o de las capas o de los tubos. Puedes adaptar fcilmente esta expresin para el caso de que el eje de giro sea la recta vertical x D c . En general, si notamos por R.x / el radio de giro de la lmina, entonces:
b
Vol ./ D 2
R.x /f .x / dx
a
436. Calcula el volumen del toro engendrado al girar el crculo de centro .a; 0/ y radio R < a alrededor del eje OY .
rea de una supercie de revolucin

Y
485
437. La regin plana limitada por el segmento de parbola y D 4 x 2, donde 1 6 x 6 2, y las rectas x D 0 e y D 3, gira alrededor del eje OY engendrando un slido en forma de an (un tronco de paraboloide de revolucin). Calcula su volumen y el volumen de la porcin obtenida al cortarlo verticalmente desde un punto del borde superior.
1
4 2 x2 C z D
438. Calcular el volumen del slido engendrado al girar la regin limitada por las parbolas y D x 2 , x D y 2 alrededor del eje OY . 439. Calcular el volumen del toro engendrado al girar el crculo de centro 0 y radio 3 alrededor de la recta x D 6. 440. Calcular el volumen del slido engendrado al girar la regin limitada por las parbolas y D x 2 , x D y 2 alrededor la recta x D 4.
8.7.11. rea de una supercie de revolucin

Una supercie de revolucin se obtiene girando una curva dada alrededor de una recta. Sea f W a; b ! R una funcin con derivada primera continua. Girando la grca de dicha funcin alrededor del eje OX obtenemos una supercie de revolucin, . Fjate en la siguiente representacin grca.
L.x / L.x C h/ y D f .x /
x Ch
Figura 8.24. Supercie de revolucin
Sea S .x / el rea de la parte de la supercie comprendida entre los planos X D a, y X D x . Representemos por L.x / la longitud de la grca de f entre a y x . Recuerda que L.x / D
xq
1 C f 0 .t /2 dt :
486
Sea h > 0. Teniendo en cuenta que el rea lateral de un cilindro circular recto es igual a la longitud de la base por la altura, se deduce que:
2 mK n ff .t / W t 2 x ; x C hg.L.x C h/ Por tanto: 2 mK n ff .t / W t 2 x ; x C hg L.x C h/ h
6 2 ma K x ff .t / W t 2 x ; x C hg .L.x C h/ L.x / S .x C h/ h S .x /
L.x // 6 S .x C h/
S .x /6 L.x //:
6 L.x / :
6 2 ma K x ff .t / W Wt 2 x ; x C hg Y tomando lmite para h ! 0 se sigue que:
L.x C h/ h
Luego el rea de la supercie viene dada por:

b
q S 0 .x / D 2f .x /L 0 .x / D 2f .x / 1 C f 0 .x /2 :
./ D 2
q f .x / 1 C f 0 .x /2 dx
(8.45)
441. Calcula el rea de una supercie esfrica de radio R. 442. Calcula el rea de la supercie de revolucin obtenida al girar la curva y D x 3 , 0 6 x 6 1, alrededor del eje OX . 443. Calcula el rea de la supercie de revolucin obtenida al girar la curva x 3 C y 3 D a 3 , a > 0, alrededor del eje OX . 444. Calcular el rea de la supercie de revolucin engendrada al girar la elipse alrededor del eje OY . x2 y2 C D1 a2 b 2
2 2 2
445. Calcular el rea de la supercie de revolucin engendrada al girar la catenaria y D cosh x , 0 6 x 6 1, alrededor del eje OX . p 446. Al girar alrededor del eje OX el segmento de parbola y D x , 0 6 x 6 a, engendra un tronco de paraboloide de revolucin cuya supercie tiene rea igual a la de una esfera de p radio 13=12. Se pide calcular el valor de a.
Ejercicios resueltos 447. Se perfora, siguiendo un dimetro, una esfera de radio r con un agujero cilndrico (ver gura) de modo que el anillo esfrico resultante tiene altura h (la altura del cilindro). Calcula el volumen del anillo y el rea de la supercie total del anillo.
487
448. Comprueba que el rea de la supercie de revolucin (llamada horno de Gabriel) engendrada al girar la curva y D 1=x , 1 6 x 6 C, alrededor del eje OX es innita (por tanto sera necesaria una cantidad innita de pintura si quisiramos pintarla) pero el volumen del slido de revolucin engendrado es nito(por tanto podemos llenarlo con una cantidad nita de pintura). Comenta a tu gusto esta aparente paradoja. 449. Calcula el rea de un espejo parablico de 3 metros de dimetro y 1 metro de fondo. 450. Calcula el volumen de una esfera de radio 3 en la que, siguiendo un dimetro, se ha perforado un agujero cilndrico de radio r < 3. Calcula el rea de la supercie total del solido obtenido. Calcula los valores de r para los que dicha rea alcanza sus valores extremos.

Antes de ver la solucin de un ejercicio debes intentar resolverlo! Ejercicio resuelto 209 Calcular el rea del lbulo del folium de Descartes de ecuacin cartesiana x 3 C y 3 3axy D 0, a > 0. Sugerencia. Expresa la ecuacin en forma polar. Solucin. Sustituyendo x D cos # , y D sen # en la ecuacin dada, despus de simplicar por 2 , se obtiene: .cos3 # C sen3 #/ 3a cos # sen # D 0:
Observamos que esta ecuacin implica que en los puntos de dicha curva debe vericarse que cos3 # C sen3 # 0. Pues si fuera cos3 # C sen3 # D 0, la ecuacin anterior implica que tambin cos # sen # D 0, de donde se sigue fcilmente que cos # D sen # D 0, lo que es imposible. En consecuencia, la ecuacin polar de la curva puede escribirse en la forma: 3a cos # sen # : D .#/ D cos3 # C sen3 #
Ejercicios resueltos Se verica que .#/ D .# C /. Adems, lK m .#/ D lK m .#/ D 1. Por tan# !3=4 # < 3=4
488
# ! =4 # > =4
to, la recta y D x es una asntota de la curva. Para # 2 =4 ; 0 tenemos que .#/ < 0 y, por tanto, las coordenadas polares del punto correspondiente son .j.#/j ; # C /; como # C 23=4 ; estos puntos estn en el segundo cuadrante. Para # 20; =2 tenemos que .#/ > 0 y los puntos correspondientes a estos valores de # estn en el primer cuadrante. Para # 2=2 ; 3=4 tenemos que .#/ < 0 y los puntos correspondientes a estos valores de # tienen ngulo polar # 2 =2 ; =4, por lo que estn en el cuarto cuadrante. El lbulo de la curva debe corresponder a los valores de # comprendidos entre dos ceros consecutivos de que solamente pueden ser # D 0 y # D =2. El rea pedida est dada por la integral: 1 ID 2
2
1 .#/2 d# D 2
2
9a2 cos2 # sen2 # d# : .cos3 # C sen3 #/2
Parece una integral bastante impresionante, pero es todo apariencia. Se trata de una funcin racional par en seno y en coseno. Como ya debes saber, estas integrales se racionalizan con el cambio de variable tg # D t . 3 2 dt tg # D t ; d# D 1C t2 t !C1 7 3 C1 6t 2 dt 6 cos # D p 1 2 3 2 3 1 7 6 2 1Ct D D D a2 : I D6 a a 7 5 4 4 4 sen # D p t 2 .1 C t 3 /2 4 1 C t 3 t D0 # D 0; t D 0I # D
1Ct 2;t 0
D C1
Ejercicio resuelto 210 Calcula el rea de la regin comn a las dos elipses .E1 / x2 y2 C D 1; a2 b2 .E2 / x2 y2 C D 1: b2 a2
Sugerencia. Representa grcamente las elipses. Usa la simetra polar para simplicar los clculos y pasar a coordenadas polares. Solucin. Este ejercicio puede hacerse en coordenadas cartesianas y tambin pasando a coordenadas polares. Vamos a hacerlo de las dos formas. Puedes ver las elipses en la gura 8.25. Por simetra, para calcular el rea pedida es suciente calcular el rea de la parte comn de las elipses que queda en el primer cuadrante. En coordenadas cartesianas dicha regin, que se ha representado ampliada a la derecha de las elipses, es unin de dos regiones de tipo I, 1 y 2 , cuyas reas ya sabes calcular. La grcas de las partes superiores de las elipses E1 y E2 vienen dadas respectivamente por: bp 2 ap 2 y1 . x / D a x 2; y2 . x / D b x 2: a b
Ejercicios resueltos Los puntos de interseccin de las elipses se obtienen resolviendo la ecuacin bp 2 a a x2 D ap 2 b b x2
489
ab ab . Pongamos D p . Puedes comprobar cuyas soluciones son x D p a2 C b 2 a2 C b 2 que y1 ./ D y2 ./ D . Por tanto, los cuatro puntos de interseccin son .; /. El rea pedida es igual a:
4.1 / C 4.2 / D 4
bp 2 a a
x 2 dx C 4
ap 2 b b
x 2 dx :
a b
.; /
b y1 .x / D
b a
a2
x2
.; /
b a 1
b
2
y2 .x / D
a b
b2
x2
Figura 8.25. rea de una regin limitada por dos elipses
Una primitiva de estas integrales se calcula fcilmente. Suponiendo que jx j 6 c , tenemos que: p c2 x 2 dx D x D c sen t D c 2 cos2 t dt D c 2 1 C cos.2t / dt D 2 s 1
Por tanto:
t sen.2t / t sen t cos t c 2 x c2 x D c2 C c2 D c2 C c2 D arc sen C 2 4 2 2 2 c 2 c p 2 c x x D arc sen C c 2 x 2: 2 c 2 x 1 ab arc sen C xy1 .x /; 2 a 2 y2 .x / dx D
x2 D c2
y1 .x / dx D
x 1 ab arc sen C xy2 .x /: 2 b 2
Ejercicios resueltos Teniendo en cuenta que y1 ./ D y2 ./ y que y2 .b / D 0, obtenemos que: 4.1 / C 4.2 / D 2ab arc sen C arc sen D a 2 b ! a b arc sen p D D 2ab C arc sen p 2 a2 C b 2 a2 C b 2
490
Donde en la ltima pigualdad hemos usado que para todo x 2 1; 1 se verica que arc sen x C arc sen 1 x 2 D 2 , como fcilmente puedes comprobar. Otra forma de proceder es como sigue. Recordando (ver ejercicio resuelto 208) que el rea de una elipse de semiejes a y b es igual a ab , para calcular el rea pedida es suciente calcular el rea de la regin interior a la elipse E2 y que queda por encima de la elipse E1 . El rea pedida ser igual a 2. ab =2 .//D ab 2./. Tenemos que:
D 4ab arc sen p
a2 C b 2
y D y2 .x /
y D y1 .x /
b !
./ D
.y2 .x /
El rea pedida es igual a: ab
y1 .x // dx D ab arc sen p a2 C b 2 b C arc sen p 2 a2 C b 2
arc sen p a2 C b 2 a a2 C b 2 ! :
2./ D 2ab
Valor que coincide con el antes obtenido.
arc sen p 1
D 1 .#/
Podemos hacer este ejercicio usando las ecuaciones polares de las elipses. Para ello, ponemos x D cos # , y D sen # y sustituimos en las respectivas ecuaciones obteniendo: ab .E1 / 1 D1 .#/D p b 2 cos2 # C a2 sen2 #
D 2 .#/
Por los clculos hechos antes, sabemos que las elipses se cortan para valores de # igual a =4 y 3=4. Si no lo supiramos deberamos calcular dichos valores resolviendo la ecuacin 1 .#/ D 2 .#/. Podemos calcular fcilmente en coordenadas polares el rea de la regin comn a las dos elipses que queda en el primer cuadrante. Su valor viene dado por: 1 .1 / C .2 / D 2
2
ab .E2 / 2 D2 .#/D p a2 cos2 # C b 2 sen2 #
4
1 1 .#/2 d# C 2
4
2 .#/2 d# :
0
Ejercicios resueltos Para evaluar estas integrales, calcularemos una primitiva apropiada. dt D tg t D x D u2 cos2 t C v 2 sen2 t Por tanto: ab .1 / C .2 / D 2 a v 1 dx D arc tg tg t : uv u v 2 C u2 x 2 !
491
t D t ! 4 b 2 tg t C arc tg tg t arc tg b a tD 4 t D0 a b b ab arc tg C arc tg D ab arc tg D 2 2 b a a
Donde en la ltima igualdad hemos usado que arc tg x C arc tg.1=x / D 2 para todo x > 0, como fcilmente puedes comprobar. Concluimos que el rea de la regin comn de las dos elipses es: b 4.1 / C 4.2 / D 4ab arc tg : a Comparando con un resultado anterior, deducimos que debe ser: arc tg b b D arc sen p : a a2 C b 2
Equivalentemente, poniendo x D b a que es un nmero positivo cualquiera, debe vericarse que: x : arc tg x D arc sen p 1 C x2
1Cx
Igualdad que puedes comprobar muy fcilmente calculando la derivada de la funcin h.x / D arc tg x arc sen p x 2 para x 2 R. x 2 =3 C y 2 =3
Ejercicio resuelto 211 Calcula la longitud de la astroide
D 1, a > 0. a a Sugerencia. Obtener las ecuaciones paramtricas de la astroide y usar la simetra.
Solucin. Como debes saber bien, dos nmeros u, v tales que u2 C v 2 D 1, pueden escribirse en la forma u D cos t , v D sen t para algn valor de t 2 R; y dicho valor es nico si se eligen valores para t en un determinado intervalo semiabierto de longitud 2 . La ecuacin cartesiana de laq astroide es de la forma u2 C v 2 D 1 donde u D 3 x a q 3 y y v D a . Por tanto, podemos representar los puntos .x ; y / de la astroide en la forma x .t / D a cos3 t , y .t / D a sen3 t donde t 2 ; . Estas son las ecuaciones paramtricas de dicha curva. Observa que las coordenadas
492
de los puntos de la astroide de parmetro a se obtienen elevando al cubo las coordenadas p de los puntos de una circunferencia centrada en el origen de radio 3 a. Esto pone de maniesto las simetras de la astroide con respecto a los ejes coordenados y con respecto al origen. Los puntos de la astroide que estn en el primer cuadrante corresponden a valores de t 2 0; =2. Teniendo en cuenta la simetra de la curva, la longitud de la misma viene dada por:
2
4
0
q x 0 .t /2 C y 0 .t /2 dt D 12a
2
2
q 2 2 2 2 2 2 cos t sen t .cos t C sen t / dt D 12a cos t sen t dt D 6a sen.2t / dt D 6a: D 12a
p cos4 t sen2 t C sen4 t cos2 t dt D
Ejercicio resuelto 212 Calcula la longitud de la curva y D x 4 C 48 donde 2 6 x 6 4. 24x Solucin. Lo nico que hay que hacer es calcular la integral:
4q 4
1C
y 0 .x /2 dx
1C
x 4 16 8x 2
!2
dx D
17 x 4 C 16 dx D : 2 6 8x
Ejercicio resuelto 213 Calcula el volumen del slido engendrado al girar la regin limitada por la parbola y 2 D 4x y la recta x D 4 alrededor de dicha recta. Solucin. Podemos emplear el mtodo de los discos y tambin el de las lminas o tubos. Por el mtodo de los discos debemos integrar las reas de secciones perpendiculares al eje de giro. Observa que debemos tomar como varia4 ble de integracin la variable y . Los puntos de x D y 2 =4 corte de la parbola con la recta son .4 ; 4/ y .4 ; 4/. Por tanto, en la regin indicada, tenemos que y 2 4 ; 4. La seccin por una recta horizontal es un disco cuyo radio en cada punto x 4 de la curva x D y 2 =4 es la distancia de dicho punto a la recta x D 4, que es igual a 4 y 2 =4. El volumen pedido viene dado por la integral:
4
p yD 2 x

4
.4
y 2 =4/2 dy D
1024 15
493
Para calcular el volumen por el mtodo de las lminas o tubos debemos tomar como variable x . Hay que tener en cuenta que cada segmento vertical de abscisa x que gira p tiene de longitud 4 x y su radio de giro respecto al eje es 4 x . Por tanto el volumen pedido viene dado por la integral:
4
2
0
.4
p 1024 x /4 x dx D 15
4
y D 4 x 2 =4
Observa que haciendo un giro y una traslacin, este ejercicio equivale a calcular el volumen del cuerpo de revolucin obtenido al girar la parbola y D 4 x 2 =4 alrededor del eje OX .
4
Ejercicio resuelto 214 Calcula el volumen del slido engendrado al girar la regin limitada por las parbolas y 2 D x , x 2 D y alrededor del eje OX .
Solucin. Observa que para que para que las dos igualdades y 2 D x , x 2 D y tengan sentido debe ser x > 0 e y > 0. Por tanto, la igualdad, y 2 D x equivale, por ser y > 0, p a y D x . Es inmediato que los puntos de corte de las parbolas son .0; 0/ y .1; 1/. Podemos emplear el mtodo de los discos y tambin el de las lminas o tubos. Por el mtodo de los discos (arandelas en este caso) debemos integrar las reas de secciones perpendiculares al eje de giro. Observa que debemos tomar como variable de integracin la p variable x y que en la regin indicada, tenemos yD x que x 2 0; 1. La seccin por una recta vertical de abscisa x es una corona circular o arandela cuyo radio interior es r1 .x / D x 2 y radio extey Dx2 p rior r2 .x / D x . Por tanto el volumen pedido viene dado por la integral: x 1
1 1 2
.r2 .x /
0
r1 .x / / dx D .x x 4 / dx D
0
3 : 10
Para calcular el volumen por el mtodo de los tubos, debemos considerar los segmentos horizontales que giran alrededor del eje OX . Deberemos tomar como variable a y . La p longitud del segmento horizontal de altura y es y y 2 y su radio de giro respecto del eje OX es y . Por tanto el volumen pedido viene dado por la integral:
1
2
0
p y. y
y 2 / dy D
3 : 10
Ejercicio resuelto 215 Calcula el volumen del elipsoide x2 a2 C y2 b2 C z2 c2 D 1.
494
Solucin. La interseccin del elipsoide con un plano de altura ja z paralelo al plano X Y se proyecta sobre el plano X Y en una elipse, E .z /, de ecuacin: x2 y2 C D1 a2 b2 z2 x2 q c2 a 1 y2 2 C q z2 b 1 c2 2 D 1
z2 c2
Dicho volumen es igual a: ! c 4 z2 dz D abc : ab 1 2 3 c c
q q z2 z2 y b Es una elipse de semiejes a 1 c 1 c 2 2 . Sabemos que el rea de dicha elipse 2 es igual a ab 1 z . Por tanto, el volumen del elipsoide podemos obtenerlo integrando c2 el rea de las secciones E .z / para z 2 c ; c .
Z
Observa que para el caso en que a D b D c D r , es decir, el elipsoide es una esfera de radio r , obtenemos la conocida frmula para el volumen de una esfera.
x2 y2 Ejercicio resuelto 216 Calcula el volumen limitado por el paraboloide C D z y el 9 16 plano z D 7. La interseccin del paraboloide con un plano de altura ja z paralelo al plano X Y se proyecta sobre el plano X Y en una elipse, E .z /, de ecuacin: y2 x2 y2 x2 C D z p 2 C p 2 D 1 9 16 3 z 4 z
Z
p p Es una elipse de semiejes 3 z y 4 z . Sabemos que el rea de dicha elipse es igual a 12 z . Por tanto, el volumen del paraboloide podemos obtenerlo integrando el rea de dichas secciones E.z / para z 2 0; 7. Dicho volumen es igual a:
7
12
0
z dz D
49 : 6
Ejercicio resuelto 217 Calcula el volumen del slido de revolucin obtenido al girar alrededor del eje OX la regin del plano comprendida bajo la curva yDp x .x 2
2 2x C 2/
.1 6 x < C1/:
C1 1
495 4 dx . Es claro que el 2x C 2/2
Solucin. Se trata de calcular la integral x2 1/2
.x 2
trinomio 2x C 2 D 1 C .x no tiene races reales. El denominador tiene races imaginarias mltiples y podemos usar el mtodo de Hermite. Para ello escribimos:
x .x 2 D D Bx C C 4 A d D C 2 C x dx 2x C 2/2 x 2x C 2 Mx C N D x 2 2x C 2
4A C . 8A C 2C C 2M C 2N /x C .8A C 2B 2C 2N /x 2 C . 4A 2B C C M /x 3 C .A C B /x 4 x .x 2 2x C 2/2
Bx C C 2M C 2N 2N x M x 2 A C 2 D C x x 2x C 2 .x 2 2x C 2/2
Fcilmente se obtiene que A D 1, B D 1, C C M C N D 4, C C N D 3, C de donde, M D 1, C D 3, N D 0. Por tanto

t
M D 2,
x .x 2
4 dx D log t C 2x C 2/2 t 1/1 !
x2
xC3 dx C 2 2x C 2 x t2
D log t C 2 arc tg.x D log p t2

C1 1
1 log.x 2 2
t 2t C 2
C 2 arc tg.t
1/ C
t 2x C 2/1 C t2
t 2t C 2
t 2t C 2 1
t x D 2x C 2 1 1D
Deducimos que
x .x 2
4 dx D lK m t !C1 2x C 2/2
.x 2
4 dx D . 2x C 2/2
Y
1/
Ejercicio resuelto 218 La regin plana limitada por el segmento de parbola y D 4 x 2, donde 1 6 x 6 2, y las rectas x D 0 e y D 3, gira alrededor del eje OY engendrando un slido en forma de an (un tronco de paraboloide de revolucin). Calcula su volumen y el volumen de la porcin obtenida al cortarlo verticalmente desde un punto del borde superior. Solucin.
1
4 2 x2 C z D
496
Podemos calcular el volumen por el mtodo de los discos. Para ello debemos integrar las reas de secciones perpendiculares al eje de giro. Observa que debemos tomar como variable de integracin la variable y y que en la regin indicada, tenemos que y 2 0; 3. La seccin por una recta horizontal de ordenada y es un disp co cuyo radio es r .y / D 4 y . Por tanto el volumen pedido viene dado por la integral:
3 3
y D4 x2
r .y /2 dy D .4
0 0
15 y / dy D : 2
Tambin podemos calcular el volumen por el mtodo de los tubos, en cuyo caso viene dado por:
1 2
2
0
3x dx C 2
x .4
1
x 2 / dx D
15 : 2
Y 4 x2
Calcularemos ahora el volumen de la porcin obtenida al cortar verticalmente el tronco de paraboloide desde un punto del borde superior. Observa que para cada valor jado de x 2 0; 1 la seccin por el plano de abscisa x paralelo a ZY es un segmento parablico, .x /, cuyo vrtice es 4 x2 y p cuyo pie 4 x2 y es el segmento de extremos p 2 4 x (la cuerda que se obtiene al cortar la circunferencia de centro el origen y radio 2 por una recta de abscisa x ). La proyeccin de
y D 4 x2 .x /
z2
p 4 x2
Z 4 x2
dicha parbola sobre el plano ZY debe tener una ecuacin de la forma y D 4 x 2 z 2 p donde se calcula por la condicin de que y D 0 para z D 4 x 2 , con lo que resulta D 1. En consecuencia, la ecuacin de dicha parbola en el plano ZY es y D 4 x 2 z 2 . El rea del segmento parablico .x / viene dada por la integral:
p 4 x2
..x // D
.4
p 4 x2
x2
z 2 / dz D
16 p 4 3
x2
4 2p x 4 3
x2
Integrando las reas de dichas secciones se obtiene el volumen pedido, que viene dado por: 2 p 8 : ..x // dx D 3 3 C 3
1
Clculo que ya debes saber hacer.
Ejercicio resuelto 219 Calcular el volumen del slido engendrado al girar la regin limitada por las parbolas y D x 2 , x D y 2 alrededor la recta x D 4.
497
Solucin. Observa que para que para que las dos igualdades y 2 D x , x 2 D y tengan sentido debe ser p xD y x Dy2 x > 0 e y > 0. Por tanto, la igualdad, y 2 D x p equivale, por ser y > 0, a y D x . Es inmediato que los puntos de corte de las parbolas son .0; 0/ y .1; 1/. Podemos emplear el mtodo de los discos y tambin el de las lminas o tubos. 4 Por el mtodo de los discos (arandelas en este caso) debemos integrar las reas de secciones perpendiculares al eje de giro. Observa que debemos tomar como variable de integracin la variable y y que en la regin indicada, tenemos que y 2 0; 1. La seccin por una recta horizontal de ordenada y es una corona circular o arandela cuyo radio interior p p es la distancia del eje de giro a la parbola x D y , dicha distancias es r1 .y / D 4 y y cuyo radio exterior es la distancia del eje de giro a la parbola x D y 2 , dicha distancia es r2 .y / D 4 y 2 . Por tanto el volumen pedido viene dado por la integral:
1 1 2
.r2 .y /
0
r1 .y / / dy D
.4
0
y 2 /2
.4
71 p 2 : y / dy D 30
Para calcular el volumen por el mtodo de las lminas o tubos debemos tomar como variable x . Hay que tener en cuenta que cada segmento vertical que gira de abscisa p x 2 0; 1 tiene de longitud x x 2 y el radio de giro es 4 x . Por tanto el volumen es:
1
2
0
.4
p x /. x
x 2 / dx D
71 : 30
Ejercicio resuelto 220 Calcular el volumen del toro engendrado al girar el crculo de centro .0; 0/ y radio 3 alrededor de la recta x D 6. Solucin. Aplicaremos el mtodo de las lminas o de los tubos. Para ello debemos considerar los segmentos paralelos al eje de giro; en nuestro caso sern los segmentos verticales comprendidos en el crculo de centro .0; 0/ y radio 3. La longitud del segmento vertical pde abscisa x 2 3; 3 es igual a 2 9 x 2 y su radio de giro es 6 x . El volumen del toro engendrado es:
1
p 9 x2 x p 9 x2 O 3 6
2
1
.6
p x /2 9
x 2 dx D 108 2 :
Tambin se puede calcular el volumen por el mtodo de las arandelas. Ya debes saber hacerlo, te lo dejo para que lo hagas t.
Ejercicios resueltos Ejercicio resuelto 221 Calcula el rea de una supercie esfrica de radio R.
498
Solucin. pUna supercie esfrica de radio R se obtiene girando la grca de la funcin f .x / D R2 x 2 alrededor del eje OX . El rea viene dada por:
R
2
R
q f .x / 1 C f 0 .x /2 dx D 2
R dx D 4R2 :
Ejercicio resuelto 222 Calcular el rea de la supercie de revolucin engendrada al girar la x2 y2 elipse 2 C 2 D 1 alrededor del eje OY . a b p a Solucin. Expresando x como funcin de y , tenemos que x D b b 2 y 2 , donde solamente consideramos la mitad de la elipse que est en el semiplano de la derecha x > 0. Queremos calcular el rea de la supercie de revolucin obtenida al girar la curva p a 2 y 2 alrededor del eje OY . Dicha rea viene dada por la integral: h.y / D b b
b
I D 2
h.y / 1 C
h 0 .y /2 dy
a D 2 2 b
q b 4 C .a2
b 2 /y 2 dy :
Para calcularla debemos considerar dos posibilidades segn que a > b o que b > a (el caso a D b p es trivial y se vuelve a obtener el mismo resultado del ejercicio anterior). Pongamos c D ja2 b 2 j. Entonces, si a > b es c 2 D a2 b 2 , y si b > a es c 2 D b 2 a2 . Por lo que: s 2 2 b q b b q b ac a a 4 2 2 b c y dy D 2 2 2 y 2 dy : I D 2 2 y 2 dy D 2 c b b
b b b
Donde hemos puesto D c . Podemos evaluar directamente estas integrales porque tienen primitivas inmediatas que deberas saber de memoria (repasa la tabla de primitivas inmediatas). Pero tambin podemos calcularlas muy fcilmente.
b
b2
q y D senh t 2 2 C y 2 dy D b D D argsenh
2
cosh2 t dt D 2
et C e 2
2
dt D
2 senh.2t / D 2 2 4 s b2 2 D 2 C senh.2/ D 2 C 2 senh./ cosh./ D 2 C b 1 C 2 D 2 s b2 b D 2 argsenh C b 1 C 2 : D e2t C e 2

2t
C 1 dt D 2 C
cosh.2t / dt D 2 C
Simplicando, obtenemos que para el caso en que a > b , el rea pedida es igual a: ! ! p b2 a2 b 2 2 a p Ca : argsenh b a2 b 2
Evolucin de la idea de integral
499
Es un buen ejercicio de clculo que compruebes estos resultados paso a paso. Te garantizo que el resultado nal obtenido es correcto. Un resultado parecido se obtiene para el caso en que b > a. Lo dejo para que lo hagas t.
8.8. Evolucin de la idea de integral

8.8.1. Problemas de cuadraturas en las matemticas griegas
Los problemas de cuadraturas son problemas geomtricos que consisten en lo siguiente: dada una gura, construir un cuadrado con rea igual a la de la gura dada. Esta construccin deba hacerse con regla no graduada y comps, siguiendo unas normas precisas. Segn lo establecido en los Elementos de Euclides (c. 300 a.C.) la construccin debe constar de un nmero nito de pasos, cada uno de ellos consistente en: Trazar una recta que una dos puntos. Trazar una circunferencia de centro y radio arbitrarios. Intersecar dos de las guras anteriores. Son famosos los problemas de la cuadratura del crculo, la triseccin de un ngulo, la duplicacin del cubo y la inscripcin de polgonos regulares en una circunferencia. En la antigua Grecia se saba cuadrar cualquier polgono.
5
C
Figura 8.26. Cuadratura de un rectngulo
Para cuadrar el rectngulo ABCD de la gura 8.26 se procede de la forma siguiente: 1) Se prolonga el lado AB y se determina sobre l un punto E tal que BE D BC .
5 Para escribir estas notas histricas he seguido de cerca los trabajos de Kirsti Andersen [1], Israel Kleiner [10], Gonzlez Urbaneja [7] y H. J. M. Bos [2].
Problemas de cuadraturas en las matemticas griegas 2) Se traza con centro en el punto medio O de AE una semicircunferencia de radio OE .
500
3) Se traza por B una perpendicular a AE y se determina su punto de corte F con la semicircunferencia. 4) El segmento FB es el lado de un cuadrado cuya rea es igual a la del rectngulo ABCD . Esto es consecuencia de que la altura FB de un tringulo rectngulo AFE es media proporcional entre las dos partes en que divide a la hipotenusa, es decir, FB =AB D BE =FB , por lo que FB 2 D AB :BE D AB :BC . A partir de aqu es fcil obtener la cuadratura de un tringulo, lo que permite obtener la cuadratura de cualquier polgono descomponindolo en tringulos. Los matemticos griegos inventaron un procedimiento, que se conoce con el nombre de exhauscin, por el cual podan lograr la cuadratura de algunas regiones delimitadas por curvas. Se atribuye a Eudoxo de Cnido (c. 400 - 347 a.C.) la invencin de este mtodo, que fue perfeccionado posteriormente por Arqumedes (c. 287 - 212 a.C.). El siguiente es un notable ejemplo de su aplicacin. 8.8.1.1. Cuadratura de un segmento de parbola por Arqumedes
8.70 Teorema. El rea del segmento parablico P VQ es igual a cuatro tercios el rea del tringulo inscrito 4P VQ. Demostracin. Esta demostracin aparece en una carta que escribe Arqumedes a su amigo Dositheus, obra que se conoce con el nombre de Sobre la Cuadratura de la Parbola. La demostracin consiste en hacer una descomposicin exhaustiva del segmento parablico por medio de tringulos de una forma muy ingeniosa. Empezaremos explicando la construccin geomtrica de la gura 8.27. Una cuerda PQ de una parbola es un segmento que une dos de sus puntos. La regin plana acotada, cuya frontera est formada por la cuerda PQ y el arco de la parbola comprendido entre los puntos P y Q se llama un segmento parablico. El vrtice de un segmento parablico es el punto de la parbola en el cual la tangente es paralela a la cuerda que dene el segmento. Se verica que el vrtice de un segmento parablico P VQ es el punto interseccin con la 1 parbola de la recta paralela al eje de la parbola que pasa por el punto medio O D .P C Q/ 2 del segmento PQ. El tringulo 4P VQ cuya base es el segmento PQ y cuyo otro vrtice es el vrtice V del segmento parablico le llamaremos el tringulo inscrito. En la gura 8.27 se han representado tambin los tringulos 4PM V y 4V NQ inscritos, respectivamente, en los segmentos parablicos determinados por las cuerdas P V y VQ. La primera parte de la demostracin consiste en calcular el rea de los dos tringulos 4PM V y 4V NQ. Arqumedes demuestra que 1 .4V NQ/ D .4VOQ/; 4 Por tanto 1 .4VMP / D .4VOP / 4 (8.46)
1 .4V NQ/ C .4VMP / D .4P VQ/ 4
Problemas de cuadraturas en las matemticas griegas Q0
501
P0
Figura 8.27. Cuadratura de un segmento de parbola
1 Llamando S al rea del tringulo 4P VQ, el rea de los dos nuevos tringulos es S . Natural4 mente, este proceso se puede repetir ahora con cada uno de los cuatro segmentos parablicos determinados por las cuerdas PM , M V , V N y NQ inscribiendo en ellos los respectivos trin1 gulos, la suma de cuyas reas ser igual a S . Y puede repetirse indenidamente. 16 Nosotros ahora acabaramos calculando el rea del segmento parablico por
1 X 4 1 SD S n 4 3
nD0
Pero Arqumedes, que no sabe de convergencia de series ni falta que le hace, razona de forma muy elegante por medio de la doble reduccin al absurdo usual en la matemtica griega. Para ello hace uso de la llamada propiedad arquimediana o axioma de Arqumedes. Este axioma aparece en el libro de Arqumedes La Esfera y el Cilindro as como en Sobre la Cuadratura de la Parbola y en Espirales. Al parecer, dicho axioma fue ya formulado por Eudoxo. Como sabemos, la propiedad arquimediana establece que: Dadas magnitudes cualesquiera a > 0 y b > 0, siempre es posible, por pequea que sea a y grande que sea b , conseguir que un mltiplo conveniente de a exceda a b , es decir na > b para algn nmero natural n. Partiendo de la propiedad arquimediana se deduce fcilmente el siguiente resultado, llamado principio de convergencia de Eudoxo, en el que se basa el llamado mtodo de exhauscin griego:
Problemas de cuadraturas en las matemticas griegas Si de cualquier magnitud sustraemos una parte no menor que su mitad, y si del resto sustraemos de nuevo una cantidad no menor que su mitad, y si continuamos repitiendo este procesos de sustraccin, terminaremos por obtener como resto una magnitud menor que cualquier magnitud del mismo tipo dada de antemano.
502
Arqumedes razona como sigue. Sea K el rea del segmento parablico P VQ. 4 4 (I) Supongamos que K > S ; es decir, que K S > 0. 3 3 Como el rea del tringulo inscrito en un segmento parablico P VQ es la mitad del rea del paralelogramo circunscrito PP 0 QQ0 , la cual, a su vez, es mayor que el rea del segmento, se sigue que el rea del tringulo inscrito en un segmento parablico es mayor que la mitad del rea de dicho segmento, lo que permite aplicar el principio de convergencia de Eudoxo. Por tanto, en la sucesin de reas K; K S; K 1 .S C S /; K 4 1 1 .S C S C S /; : : : 4 16
cada una es menor que la mitad de la que le precede y, por tanto, en virtud del citado principio, podemos concluir que en alguna etapa se tendr que 4 1 1 1 K S >K S C S C S C C nS 3 4 16 4 Esto implica que 1 1 4 1 S C S C S C C nS > S 4 16 4 3 lo que es contradictorio con la igualdad, conocida por Arqumedes, que dice que: 1 4 1 1 S C S C S C C nS D S 4 16 4 3 1 1 S 3 4n (8.47)
1 1 1 4 4 la cual implica que S C S C S C C n S < S . Por tanto, no puede ser K > S . 4 16 4 3 3 4 4 (II) Supongamos que K < S ; es decir, que S K > 0. 3 3
1 1 Como cada una de las reas S ; 1 4 S ; 16 S ; : : : ; 4n S es menor que la mitad de la que le precede y, por tanto, en virtud del principio de convergencia de Eudoxo, podemos concluir que 1 4 en alguna etapa se tendr que 4 K . Entonces n S < 3S 1 1 1 4 1 1 1 4 S K > nS > S D S S C S C S C C S 3 4 3 4n 3 4 16 4n
Lo que implicara que 1 1 1 K < S C S C S C C nS 4 16 4 Que es absurdo pues la suma de la derecha es el rea de un polgono inscrito en el segmento 4 parablico. Por tanto, no puede ser K < S . 3 4 La nica posibilidad es K D S . 3
Problemas de cuadraturas en las matemticas griegas 8.8.1.2. El Mtodo de Arqumedes
503
En su tratado El Mtodo, que se crea perdido y fue descubierto en 1906, Arqumedes obtiene la cuadratura de la parabola por medios mecnicos usando el principio de la palanca. Aunque el propio Arqumedes reconoce que esa forma de proceder no es una demostracin, merece la pena decir algo sobre ella.
V T H Z M
E K N G B O
Figura 8.28. El Mtodo de Arqumedes
La recta C Z es la tangente a la parbola en C , B es el vrtice del segmento parablico. El segmento AZ es perpendicular a la cuerda AC , C T es la recta que pasa por el punto C y el vrtice B de forma que K es el punto medio del segmento C T . Se considera C T como un brazo de palanca con fulcro en K . Por ser ABC una parbola, se sabe que la subtangente ED en un punto C es igual al doble de la abscisa BD (conviene imaginarse la parbola girada 90 grados), es decir, ED D 2BD , de donde, EB D BD . Deducimos, por la semejanza de tringulos en la gura, que MN D NQ y ZK =KA. Arqumedes demuestra en Sobre la Cuadratura de la Parbola que MQ CA D AQ QO
Problemas de cuadraturas en las matemticas griegas CK CA D , y por construccin es TK D CK , obtenemos que AQ KN TK MQ D TK:QO D KN :MQ KN QO
504
Y, como tambin es
Si ahora trasladamos al punto T un segmento de longitud igual a QO y lo ponemos como en la gura el segmento VH de modo que su centro de gravedad sea el punto T , la igualdad anterior nos dice que el segmento VH D QO queda equilibrado por el segmento MQ, pues el producto de dichos segmentos por la longitud correspondiente del brazo de palanca con fulcro en K es la misma. Obsrvese que N es el centro de gravedad del segmento MQ. Deducimos que K es el centro de gravedad de los segmentos VH y MQ. Anlogamente puede razonarse con cualquier paralela al eje de la parbola ED , todas ellas estarn en equilibrio con los segmentos determinados sobre ellas por el segmento parablico trasladados al punto T , de manera que el centro de gravedad de cada par de segmentos ser el punto K . Ahora bien, los segmentos paralelos a DE componen el tringulo 4AZC y los correspondientes segmentos dentro del segmento parablico componen dicho segmento parablico. Por tanto el tringulo AZC permaneciendo en su lugar, estar en equilibrio respecto del punto K con el segmento parablico trasladado hasta tener su centro de gravedad en T , de manera que el centro de gravedad del conjunto de ambos ser el punto K . Dividimos ahora CK por el punto G de forma que CK sea el triple de KG , el punto G ser el centro de gravedad del tringulo AZC ,y puesto que el tringulo AZC , permaneciendo en su lugar est en equilibrio, respecto del punto K , con el segmento parablico ABC , trasladado con centro de gravedad en T , y que G es el centro de gravedad del tringulo AZC , se verica, por consiguiente, que la razn del tringulo AZC al segmento parablico ABC colocado alrededor del centro T es igual a la razn de TK a KG . Ahora bien, siendo TK triple de KG , el tringulo AZC ser triple del segmento parablico ABC . Adems, el tringulo AZC es cudruple del tringulo inscrito ABC , ya que ZK es igual que KA y KA es doble de BD al ser AD igual que DC . Concluimos que el segmento parablico ABC equivale a cuatro tercios del tringulo inscrito ABC . 8.8.1.3. rea de una espiral
El siguiente ejemplo de cuadratura sigue un procedimiento que, traducido a las notaciones actuales, es prcticamente el mismo de la integral de Riemann. La espiral de Arqumedes es la curva que describe un punto material que se mueve con velocidad uniforme a lo largo de una semirrecta que gira con velocidad angular uniforme alrededor de su extremo. Es un ejemplo de las llamadas curvas mecnicas. La ecuacin polar de una espiral de Arqumedes es de la forma D a# , donde a > 0 es una constante. 8.71 Teorema. El rea del primer ciclo de una espiral es igual a una tercera parte del rea del crculo circunscrito. Demostracin. Consideremos una espiral de Arqumedes de ecuacin polar D a# y calculemos el rea cuando el ngulo polar vara desde 0 a 2 , es decir, de la primera vuelta de la
Problemas de cuadraturas en las matemticas griegas
505
espiral. El radio del crculo circunscrito es 2 a. Para ello dividimos este crculo en sectores de amplitud # D 2= n, desde # D 2 k = n a # D 2.k C 1/= n para k D 0; 1; : : : ; n 1. En cada sector examinamos el arco de espiral que queda dentro del mismo y acotamos el rea correspondiente a dicho arco de espiral entre las reas de dos sectores circulares. Teniendo en cuenta 1 2 que el rea de un sector circular de radio r y amplitud ' radianes es 2 r ' , resulta que el rea de 1 sector circular ms grande inscrito en cada arco de espiral es 2 .a2 k = n/2 .2= n/, y el rea de 2 sector circular ms pequeo circunscrito a cada arco de espiral es 1 2 .a2.k C 1/= n/ .2= n/. Deducimos que el rea, S , de la espiral verica que:
k D0
n 1 X
1 2
a2 k n
2
n 1 n n X 1 a2 k 2 2 4 3 a2 X 2 4 3 a2 X 2 2 k < S < k D D n 2 n n n3 n3

k D0 k D1 k D1
Figura 8.29. Cuadratura de una espiral
1 k 2 D n.n C 1/.2n C 1/. Usando este resultado podemos 6 k D1 escribir la desigualdad anterior en la forma: 1 1 1 1 1 1 1 2 < S < 4 3 a2 1C 2C 4 3 a2 6 n n 6 n n Arqumedes conoca que
1 .2 a/2 que es una tercera parte del rea del crculo circunscrito. Restando Pongamos K D 3 K en la desigualdad anterior y haciendo operaciones sencillas, obtenemos que: 3 1 1 3 K C 2 <S K<K C 2 I 2n 2n 2n 2n
n X
y como 1= n2 6 1= n, obtenemos que 2K = n < S Arqumedes se concluye que S D K .
K < 2K = n. Usando ahora el axioma de
La integracin antes del Clculo
506
8.8.2. La integracin antes del Clculo

8.8.2.1. Los indivisibles de Cavalieri
El mtodo de integracin geomtrica que se consideraba ideal durante la primera mitad del siglo XVII era el mtodo de exhauscin que haba sido inventado por Eudoxo y perfeccionado por Arqumedes. El nombre es desafortunado porque la idea central del mtodo es la de evitar el innito y por lo tanto este mtodo no lleva a un agotamiento de la gura a determinar. Entre los matemticos del siglo XVII era general el deseo de encontrar un mtodo para obtener resultados y que, a diferencia del mtodo de exhauscin, fuera directo. Y mejor que mejor si el nuevo mtodo, aparte de dar resultados, pudiera ser utilizado para demostrarlos. El camino que siguieron fue el que se deriva de una concepcin intuitiva inmediata de las magnitudes geomtricas. Se imaginaron un rea como formada, por ejemplo, por un nmero innito de lneas paralelas. Kepler ya haba hecho uso de mtodos innitesimales en sus obras; el inters que se tom en el clculo de volmenes de toneles de vino dio como resultado un libro Nova stereometria doliurum vinariorum (1615). En l consideraba slidos de revolucin como si estuvieran compuestos de diversas maneras por una cantidad innita de partes slidas. Por ejemplo, consideraba una esfera como formada por un nmero innito de conos con vrtice comn en el centro y base en la supercie de la esfera. Esto le conduca al resultado de que la esfera es igual en volumen al cono que tiene como altura el radio de la esfera y como base un crculo igual al rea de la esfera, es decir un crculo con el dimetro de la esfera como radio. Galileo tena la intencin de escribir un libro sobre indivisibles, pero este libro nunca se public. Bonaventura Cavalieri (1598 - 1647), discpulo de Galileo y profesor en la Universidad de Bolonia, public en 1635 un tratado Geometria Indivisibilibus Continuorum Nova quadam Ratione Promota en el que, siguiendo ideas de Kepler y Galileo, desarroll una tcnica geomtrica para calcular cuadraturas, llamada mtodo de los indivisibles. En este mtodo, un rea de una regin plana se considera formada por un nmero innito de segmentos paralelos, cada uno de ellos se interpreta como un rectngulo innitamente estrecho; un volumen se considera compuesto por un nmero innito de reas planas paralelas. A estos elementos los llama los indivisibles de rea y volumen respectivamente. En lneas generales los indivisibilistas mantenan, como expresa Cavalieri en sus Exercitationes Geometricae Sex (1647), que una lnea est hecha de puntos como una sarta de cuentas; el plano est hecho de lneas, como un tejido de hebras y un slido de reas planas como un libro de hojas.
A F G D H C
B E
La forma en que se aplicaba el mtodo o principio de Cavalieri puede ilustrarse como sigue.
507
Para demostrar que el paralelogramo ABCD tiene rea doble que cualquiera de los tringulos ABD o BCD , hace notar que cuando GD D BE , se tiene que GH D FE . Por tanto los tringulos ABD y BCD estn constituidos por igual nmero de lneas iguales, tales como GH y EF , y por tanto sus reas deben ser iguales. 8.8.2.2. Cuadratura de la cicloide por Roberval
En 1630, Mersenne, propuso a sus amigos matemticos hacer la cuadratura de la cicloide. Esta fue llevada a cabo por Gilles Personne de Roberval en 1634, utilizando esencialmente el mtodo de los indivisibles de Cavalieri. Recuerda que la cicloide es la curva que describe un punto de una circunferencia que rueda sin deslizar.
P r A B X Q O C Y r S U R
V 2r
Figura 8.30. Cuadratura de la cicloide
En la gura 8.30, sea QMNS la mitad de un arco de la cicloide generada por el crculo de radio r centrado en O . El rea del rectngulo QMNP es el doble del rea del crculo. Construimos segmentos de lnea innitesimales horizontales, AB , con longitud determinada por la distancia horizontal entre el dimetro PQ y la circunferencia. Cada punto C de la cicloide lo sometemos a una traslacin horizontal hasta el punto D , segn el correspondiente segmento AB D CD , y as obtenemos la curva QRN , llamada compaera de la cicloide. Por la construccin realizada, las secciones horizontales del semicrculo y de la regin comprendida entre la cicloide y su curva compaera son segmentos de igual longitud, por lo que dicha regin tiene rea igual a la mitad del circulo. Por otra parte, la curva compaera de la cicloide divide en dos partes iguales al rectngulo QMNP , pues, como Roberval demostr, las secciones horizontales de altura a y 2r a dan en cada una de las partes en que dicha curva divide al rectngulo, segmentos iguales X Y y U V . Deducimos as que el rea encerrada por la mitad de un arco de cicloide es 3 2 2 r2 C 1 2 r D 2 r . Por tanto, concluimos que el rea encerrada por un arco de la cicloide es tres veces el rea del crculo que la genera. Los matemticos no se mostraban de acuerdo acerca del valor que haba que dar a una demostracin por el mtodo de los indivisibles. La mayora de los que se preocupaban de la cuestin consideraban el mtodo de los indivisibles slo como un mtodo heurstico y crean que era an necesaria una demostracin por exhauscin.
La integracin antes del Clculo 8.8.2.3. Parbolas e hiprbolas de Fermat
508
La cuadratura de las curvas denidas por y D x n donde n es un nmero natural o bien un entero negativo n 1, haba sido realizada para n D 1; 2 : : : ; 9 por Cavalieri, aunque podemos remontarnos hasta Arqumedes que haba resuelto geomtricamente los casos correspondientes a n D 1; 2 ; 3. Fermat, con una ingeniosa idea, logr obtener la cuadratura de reas limitadas por arcos de hiprbolas generalizadas x n y m D 1 (m; n 2 N ). Fermat segua un mtodo clsico de exhauscin, pero con una idea feliz que consisti en considerar rectngulos innitesimales inscritos en la gura a cuadrar cuyas bases estaban en progresin geomtrica. Fermat considera al principio las hiprbolas yx n D k y maniesta: Digo que todas estas innitas hiprbolas, excepto la de Apolonio, que es la primera, pueden ser cuadradas por el mtodo de la progresin geomtrica, de acuerdo a un procedimiento uniforme general. Vamos a hacernos una idea de cmo calculaba Fermat la cuadratura de la hiprbola generalizada y D x 2 para x > a. Usaremos notacin y terminologa actuales.
a ar ar 2 ar 3
ar 4
ar 5
ar 6
2
Figura 8.31. Cuadratura de la hiprbola de Fermat y D x
Elegimos un nmero r > 1 y consideremos los puntos de abscisas a; ar; ar 2 ; ar 3 ; : : : . Los rectngulos inscritos (ver gura 8.31) tienen rea .ar a/ 1 C .ar 2 .ar /2 ar / 1 C .ar 3 .ar 2 /2 ar 2 /
1 1 1 r 1X 1 D C D 3 2 2 k ar .ar / ar r k D0
El rea de los rectngulos circunscritos viene dada por .ar a/ 1 C .ar 2 a2 ar / 1 C .ar 3 .ar /2 ar 2 /
1 r 1 r 1X 1 D C D 2 2 k a a .ar / r k D0
Por tanto, llamando S al rea bajo la curva, tenemos que r 1 <S < ar a
509
1 Como esta desigualdad es vlida para todo r > 1, concluimos que S D . Observa que dicho a valor es precisamente el rea del rectngulo OABa. El razonamiento de Fermat tiene detalles muy interesantes que se pierden usando la terminologa y smbolos actuales. Vamos a reproducir parte de su razonamiento. Fermat se apoya en una propiedad de las progresiones geomtricas de razn menor que la unidad, que enuncia como sigue: Dada una progresin geomtrica cuyos trminos decrecen indenidamente, la diferencia entre dos trminos consecutivos es al ms pequeo de ellos, como el mayor es a la suma de los trminos restantes. Llamemos R1 ; R2 ; R3 ; : : : a las reas de los sucesivos rectngulos y S a la suma de todas ellas. Como se trata de una progresin geomtrica decreciente, se tiene que: R1 R2 R1 D R2 S R1 Simplicando, resulta S Dice Fermat: [. . . ] si ahora aadimos [a ambos miembros de esta igualdad] el rectngulo R1 que a causa de las innitas subdivisiones, se desvanece y queda reducido a nada, alcanzamos la conclusin, que podra ser fcilmente conrmada por una ms prolija prueba llevada a cabo a la manera de Arqumedes. . . No es difcil extender esta idea a todas las hiprbolas denidas anteriormente excepto la que ha sido indicada [la hiprbola de Apolonio]. Vemos cmo en las cuadraturas de Fermat de hiprbolas y parbolas generalizadas, subyacen los aspectos esenciales de la integral denida: La divisin del rea bajo la curva en elementos de rea innitamente pequeos. Aproximacin de la suma de esos elementos de rea por medio de rectngulos innitesimales de altura dada por la ecuacin analtica de la curva. Un intento de expresar algo parecido a un lmite de dicha suma cuando el nmero de elementos crece indenidamente mientras se hacen innitamente pequeos. 8.8.2.4. La integracin aritmtica de Wallis R1 D OA:AB D 1 a
Jhon Wallis (1616 - 1703) public en 1655 un tratado Arithmetica innitorum (La Aritmtica de los innitos) en el que aritmetizaba el mtodo de los indivisibles de Cavalieri. Para ilustrar el mtodo de Wallis consideremos el problema de calcular el rea bajo la curva y D x k (k D 1; 2 ; : : : ) y sobre el segmento 0; a (ver gura (8.32)). Siguiendo a Cavalieri, Wallis considera la regin PQR formada por un nmero innito de lneas verticales paralelas, cada una
510
de ellas con longitud igual a x k . Por tanto, si dividimos el segmento PQ D AB D a en n partes de longitud h D a= n, donde n es innito, entonces la suma de estas innitas lneas es del tipo 0k C hk C .2h/k C .3h/k C C .nh/k Anlogamente, el rea del rectngulo ABCD es ak C ak C ak C C ak D .nh/k C .nh/k C .nh/k C C .nh/k La razn entre el rea de la regin PQR y el rectngulo ABCD es rea PQR rea ABCD D 0k C 1k C 2k C 3k C C nk nk C nk C nk C nk C C nk R D C (8.50) (8.49) (8.48)
ak y D xk
Figura 8.32. Comparando indivisibles
Esto lleva a Wallis a estudiar el valor de la expresin (8.50) para n D 16 . Despus de estudiar varios casos para valores de k D 1; 2 ; 3 haciendo, en cada caso, sumas para distintos valores de n D 1; 2 ; 3; 4, Wallis observa ciertas regularidades en las mismas y, con tan dbil base, acaba armando que para n D 1 y para todo k D 1; 2 ; : : : , se verica que: 1 0k C 1k C 2k C 3k C C nk D k k k k k k C1 n C n C n C n C C n Naturalmente, de aqu deduce el valor del rea de la regin PQR: rea PQR rea ABCD D rea PQR ak C1 1 ) rea PQR D D k C1 k C1 ak C1 k D 1; 2 ; 3 : : : (8.52) (8.51)
Este resultado ya era conocido anteriormente, pero Wallis no se paraba aqu y extenda la validez de la igualdad (8.51) a todos los exponentes racionales positivos. Su peculiar razonamiento tiene inters pues en l se bas Newton para obtener la serie binomial. Lo esencial del mismo puede resumirse, en trminos actuales, como sigue.
6 Fue precisamente Wallis quien introdujo en 1655 en la obra De Sectionibus Conicis, el smbolo del lazo del amor, 1, con el signicado de innito.
La integracin antes del Clculo Denamos el ndice, .f /, de una funcin f mediante la igualdad
n!1
511
lK m
f .0/ C f .1/ C f .2/ C C f .n/ 1 D f .n/ C f .n/ C f .n/ C C f .n/ .f / C 1
(8.53)
suponiendo que dicho lmite tenga sentido. Por ejemplo, (8.51) nos dice que el ndice de la funcin fk .x / D x k es .fk / D k para k D 1; 2 ; : : : . Wallis observ que, dada una progresin geomtrica de potencias de x como, por ejemplo 1; x 3 ; x 5 ; x 7 ; : : : , la correspondiente sucesin de ndices 0; 3; 5; 7; : : : forman una progresin aritmtica. Como .fk / D k , esta observacin es trivial, pero le permite dar un atrevido salto adelante, de manera que mediante una audaz interpolacin establece (sin demostracin) que una conclusin anloga puede deducirse para la progresin geomtrica p p p 1; q x ; . q x /2 ; : : : ; . q x /q 1 ; x de manera que la sucesin de sus ndices debe formar una progresin aritmtica, de donde se p sigue que debe ser . q x /p D p =q para p D 1; 2 ; : : : ; q . De esta forma obtiene que p p p p p 1 . 0/p C . 1/p C . 2/p C . 3/p C C . n/p lK m p p p p p p p p p p D n!1 . n/ C . n/ C . n/ C . n/ C C . n/ p =q C 1 Wallis estaba convencido de la validez de su mtodo, conocido posteriormente como interpolacin de Wallis, que tuvo importancia en el siglo XVIII. Puede considerarse como un intento de resolver el siguiente problema: Dada una sucesin Pk , denida para valores enteros de k , encontrar el signicado de P cuando no es un nmero entero. p Adems, Wallis deduce que necesariamente debe ser . q x /p D x p =q . Ser Newton, poco ms tarde, quien siguiendo los pasos de Wallis, introducir el uso de potencias fraccionarias y negativas. Wallis, incluso llega a armar que la igualdad
a
x r dx D
ar C1 r C1
(8.54) p 3
no es vlida solamente para exponentes r racionales, sino tambin para otros como r D pero, naturalmente, no puede dar ninguna justicacin.
Obtenida, a su manera, la cuadratura fundamental (8.54), Wallis intenta calcular la integral

1
p x
x 2 dx
Dicha integral representa el rea bajo la semicircunferencia de centro .1=2 ; 0/ y radio 1=2, su valor es, por tanto, =8. Wallis quera obtener dicho resultado evaluando directamente la integral. No tuvo xito en este empeo que Newton habra de resolver posteriormente, pero sus resultados le llevaron a obtener la llamada frmula de Wallis 2 1 3 3 5 5 7 7 D 2 2 4 4 6 6 8
La integracin antes del Clculo 8.8.2.5. El resultado fundamental de Barrow
512
Barrow estuvo muy cerca de descubrir la relacin inversa entre problemas de tangentes y de cuadraturas, pero su conservadora adhesin a los mtodos geomtricos le impidi hacer uso efectivo de esta relacin. Veamos cmo aparece esa relacin tal como se expone en la Leccin X, Proposicin 11 de las Lectiones Geometricae. En la gura (8.33) se han representado dos curva y D f .x / e y D g.x /. El segmento AD representa el eje de abscisas donde toma valores x . La cantidad g.x / representa el valor del rea bajo la grca de f comprendida entre el punto A y x . Dado un punto de abscisa D , se trata de probar que la pendiente de la tangente a y D g.x / en el punto F , es decir en el punto .D; g.D //, es igual a f .D / D DE . La demostracin de Barrow es geomtrica. y D g .x / F
I A T Z G E K P
L D
y D f .x /
Figura 8.33. Teorema Fundamental
Tracemos una lnea recta F T por F que corta en T a la recta AD y tal que DF = TD D f .D / D DE Queremos probar que F T es la tangente a y D g.x / en el punto F . Para ello vamos a ver que la distancia horizontal, KL, de cualquier punto L de la recta EF a la recta F T es menor que la distancia, IL, de dicho punto L a la curva y D g.x /. Esto probar que la recta F T queda siempre por debajo de y D g.x /. Tenemos que: FL=KL D DF = TD D DE Por otra parte: rea ADEZ D FD
rea AP GZ D PI D LD rea PDEG D FD
LD D FL (8.55)
Ya que rea PDEG < rectngulo PD:DE

La relacin fundamental entre cuadraturas y tangentes Se sigue que FL < PD:DE DE > FL=PD y por tanto FL=KL > FL=PD KL < PD D IL
513
Deducimos que el punto K queda debajo de la curva y D g.x / y por tanto la recta F T queda a un lado de la curva. Para completar la demostracin es necesario repetir el razonamiento tomando puntos a la derecha de EF . Esto prueba que TF es tangente a y D g.x / en D y su pendiente es DE D f .D /. En trminos actuales, lo que Barrow ha probado es que: d dx
x a
f .t /d t D f .x /
8.8.3. La relacin fundamental entre cuadraturas y tangentes

8.8.3.1. El Teorema Fundamental del Clculo segn Newton
Newton desarroll tres versiones de su clculo. En la obra De Analysi per aequationes numero terminorum innitas, que Newton entreg a su maestro Barrow en 1669, y que puede considerarse el escrito fundacional del Clculo, Newton usa conceptos innitesimales de manera similar a como haca el propio Barrow. Este trabajo, adems de contener el teorema binomial y los descubrimientos de Newton relativos a series innitas, contiene tambin un claro reconocimiento de la relacin inversa entre problemas de cuadraturas y de tangentes. La exposicin que hace Newton de esta relacin fundamental es como sigue. Supone una curva y llama z al rea bajo la curva hasta el punto de abscisa x (ver gura 8.34). Se supone conocida la relacin entre x y z . Aunque Newton explica su mtodo con un ejemplo, queda perfectamente claro su carcter general. El ejemplo que Newton considera es K P
y D y .x /
d H
z .x /
o B b
Figura 8.34. z D z .x / D rea OPB
zD
n Pongamos, por comodidad r D mC n . Newton se imagina que el punto P D .x ; y / se mueve a lo largo de la curva y razona como sigue. Incrementemos la abscisa x a x C o donde o es
mCn n ax n mCn
(8.56)
La relacin fundamental entre cuadraturas y tangentes
514
una cantidad innitesimal o momento. Tomemos BK D v de forma que ov D rea BbHK D rea BbP d . El incremento del rea viene dado por: ov D z .x C o/ Desarrollando en potencias ! a a r a r o r .r 1/ o2 r .r 1/.r 2/ o3 r r .x C o/ D x .1 C o=x / D x 1 C r C C C r r r x 2 123 x2 x3 (8.58) De (8.57) y (8.58) deducimos, despus de dividir por o, que: v D ax r
1
a z .x / D .x C o/r r
a r x r
(8.57)
a.r 2
1/
ox r
a.r
Si en esta igualdad suponemos que o va disminuyendo hasta llegar a ser nada, en cuyo caso v coincidir con y , despus de eliminar los trminos que contienen o que desaparecen, resulta que: m (8.59) y D ax r 1 D ax n Este es, por tanto, el valor de la ordenada de la curva en P D .x ; y /. El proceso puede invertirse y, de hecho, ya se saba que la cuadratura de (8.59) viene dada por (8.56). Observemos que Newton no ha usado el signicado tradicional de la integral al estilo de sus predecesores, es decir, no ha interpretado la integral como un lmite de sumas de reas innitesimales, sino que ha probado que la expresin que proporciona la cuadratura es correcta estudiando la variacin momentnea de dicha expresin. De hecho, lo que Newton ha probado es que la razn de cambio del rea bajo la curva, esto es, el cociente z .x C o/ o z .x /
1/.r 2/ 2 r o x 123
C
se hace igual a la ordenada de la curva cuando o se hace nada. En trminos actuales, la derivada de z .x / es la funcin y D y .x /. La relacin simtrica entre cuadraturas y derivadas queda as puesta claramente de maniesto. Para calcular cuadraturas, basta con calcular una antiderivada, lo que llamamos una primitiva de la funcin y D y .x /. 8.8.3.2. La invencin del calculus summatorius por Leibniz
Ya hemos comentado en el captulo 6 (ver pg. 321) las principales ideas que guiaron a Leibniz en la invencin del Clculo: La creacin de un simbolismo matemtico que automatizara los clculos y permitiera formular fcilmente procesos algortmicos. La apreciacin de que las sucesiones de diferencias pueden sumarse fcilmente, y que el proceso de formar la sucesin de diferencias y despus sumarla recupera la sucesin inicial, es decir, que se trata de operaciones inversas una de la otra. La consideracin de las curvas como polgonos de innitos lados de longitudes innitesimales y de las variables como sucesiones que toman valores consecutivos innitamente prximos.
515
Se conservan en el archivo Leibniz en Hannover los manuscritos que contienen las investigaciones de Leibniz sobre los problemas de cuadraturas. En dichos documentos, fechados del 25 de octubre al 11 de noviembre de 1675, Leibniz investiga la posibilidad de formular simblicamente los problemas de cuadraturas e introduce los smbolos que actualmente usamos para la integral y la diferencial. Los progresos de Leibniz se exponen de forma concisa y clara en el trabajo de H.J.M. Bos [2] que sigo muy de cerca. Algunos de los resultados de Leibniz en estos manuscritos son casos particulares de la regla de integracin por partes, como, por ejemplo, la siguiente igualdad (se supone f .0/ D 0): ! a a a a x
0
xf 0 .x / dx D af .a/
f .x / dx D a
f 0 .x / dx
f 0 .t / dt
dx
(8.60)
Por supuesto, Leibniz no la escribe as. Recuerda que la notacin que usamos para la derivada se debe a J.L. Lagrange y es bastante tarda, de nales del siglo XVIII. Adems, la notacin que usamos para indicar los lmites de integracin fue introducida por J. Fourier en el primer tercio del siglo XIX. Incluso el trmino integral no se debe a Newton ni a Leibniz. Leibniz llam calculus differentialis, esto es clculo de diferencias, a la parte de su clculo que se ocupa del estudio de tangentes, y calculus summatorius, o sea clculo de sumas, a la que se ocupa de problemas de cuadraturas. Para Leibniz una integral es una suma de innitos rectngulos innitesimales, el smbolo que ide para representarlas, tiene forma de una s alargada como las que en aquel tiempo se usaban en la imprenta; adems, es la primera letra de la palabra latina summa, o sea, suma. Fue Johann Bernoulli quien, en 1690, sugiri llamar calculus integralis al clculo de cuadraturas, de donde deriva el trmino integral que usamos actualmente. De hecho, Leibniz obtuvo la frmula (8.60) antes de inventar su notacin para las integrales y las diferenciales. Es interesante mostrar cmo lo hizo. Para ello vamos a seguir el camino opuesto al seguido por Leibniz, modicando la notacin de dicha frmula hasta llegar a escribirla como lo hizo l. Podemos interpretar grcamente la igualdad (8.60) sin ms que observar la gura 8.35.
P D .a; f .a//
B w w w w w w w
ADa
Figura 8.35. reas complementarias

a
516
El nmero af .a/ es el rea del rectngulo OAPB , la integral 0 f .x / dx es el rea de la parte de dicho rectngulo OAP que queda bajo la curva y D f .x /. Deducimos de (8.60) que a la integral 0 xf .x / dx es el rea de la parte OBP de dicho rectngulo que queda por encina de la curva y D f .x /. Esta rea es la suma de las reas de rectngulos horizontales como los representados en la gura 8.35. Estos rectngulos horizontales tienen como base el valor de la abscisa correspondiente, x , y como altura la diferencia innitamente pequea entre dos ordenadas sucesivas, que Leibniz representa por w . Esta diferencia es lo que posteriormente se llamar diferencial de y . Podemos, pues, interpretar que w D dy D f 0 .x / dx . Por su parte, el rea de la regin OAP es considerada por Leibniz como la suma de las ordenadas y . Finalmente, podemos eliminar y porque para Leibniz el valor de una variable puede obtenerse sumando sus diferencias consecutivas, por eso, y puede verse como la suma de las w . Esto equivale, x en nuestra notacin, a sustituir f .x / por 0 f 0 .t / dt (o, al estilo de Leibniz, y por dy ), lo que tambin hemos hecho en la igualdad (8.60). La forma exacta en que Leibniz escribi la igualdad 8.60, segn se lee en [2], es: omn. x w u ult. x ; omn. w; omn. omn. w (8.61)
Aqu u es el smbolo para la igualdad, ult. x signica el ultimus x , el ltimo de los x , es decir, OA D a. El smbolo omn. es la abreviatura de omnes lineae, todas las lneas, smbolo que haba sido usado por Cavalieri y que Leibniz usa con el signicado de una suma. Se usan tambin lneas por encima de los trminos y comas donde ahora pondramos parntesis. En un manuscrito posterior en algunos das, Leibniz vuelve a escribir la igualdad 8.61 en la forma: omn. x ` u x omn. ` omn. omn. `; (8.62) y observa que omn. antepuesto a una magnitud lineal como ` da un rea; omn. antepuesto a un rea como x ` da un volumen y as sucesivamente.
[2]: : : Estas consideraciones de homogeneidad dimensional parecen haber sido las que sugirieron a Leibniz el usar una nica letra en vez del smbolo omn., porque escribe a continuacin: Sera conveniente escribir en lugar de omn., de tal manera que ` represente omn.`, es decir, la suma de todas las `. As fue como se introdujo el signo [. . . ] E inmediatamente a continuacin escribe Leibniz la frmula (8.62) utilizando el nuevo formalismo: x` D x ` ` (8.63) haciendo notar que: x2 x3 y x2 D 2 3 y subrayando que estas reglas se aplican a las series en las que la razn de las diferencias de los trminos a los trminos mismos es menor que cualquier cantidad dada, es decir, a las series cuyas diferencias son innitamente pequeas. xD Una lneas ms adelante nos encontramos tambin con la introduccin del smbolo d para la diferenciacin. Aparece en el contexto de un brillante razonamiento que puede resumirse de la forma siguiente: el problema de las cuadraturas es un problema de suma de sucesiones, para lo cual hemos introducido el smbolo y para el que queremos elaborar un clculo, es decir, un conjunto de algoritmos ecaces. Ahora bien, sumar sucesiones, es decir hallar una expresin general para y dada la y , no es posible normalmente, pero siempre lo es encontrar una expresin para las diferencias de una sucesin dada. As pues, el clculo de diferencias es la operacin recproca del clculo de sumas, y por lo tanto Universidad de Granada Dpto. de Anlisis Matemtico Prof. Javier Prez Clculo diferencial e integral

podemos esperar dominar el clculo de sumas desarrollando su recproco, el clculo de diferencias. Para citar las mismas palabras de Leibniz: Dada ` y su relacin con x , hallar `. Esto se puede obtener mediante el clculo inverso, es decir, supongamos que ` D ya y sea ` D ya=d ; entonces de la misma manera que la aumenta las dimensiones, d las disminuir. Pero la representa una suma y d una diferencia, y de la y dada podemos encontrar siempre y =d o `, es decir, la diferencia de las y . As se introduce el smbolo d (o ms bien el smbolo 1=d ). [: : : ] De hecho, pronto se da cuenta de que sta es una desventaja notacional que no viene compensada por la ventaja de la interpretacin dimensional de la y de d , y pasa a escribir d .ya/ en vez de ya=d , y de ah en adelante son interpretadas la d y la como smbolos adimensionales [: : : ]. En el resto del manuscrito Leibniz se dedica a explorar este nuevo simbolismo, al que traduce viejos resultados, y a investigar las reglas operacionales que rigen la y la d .
517
Esta larga cita, extrada del trabajo de H.J.M. Bos Newton, Leibniz y la tradicin leibniziana ([2]), nos da una idea de cmo lleg Leibniz a la invencin del clculo. No fueron los caminos del razonamiento lgico deductivo los seguidos por Leibniz sino los de la intuicin, la conjetura, el estudio de casos particulares y su generalizacin : : : Los mismos caminos que hoy siguen los matemticos activos en sus trabajos de investigacin. Pese a que los conceptos que maneja Leibniz son oscuros e imprecisos fue capaz de desarrollar algoritmos de clculo ecaces y de gran poder heurstico. Como ya hemos indicado en el captulo 6, el clculo de Leibniz triunf en el continente europeo gracias a los trabajos de los hermanos Bernouilli y al libro de texto del Marqus de LHpital que divulg las tcnicas del clculo leibniziano por toda Europa.

Calculo Cap08

Enviado por

Dados do documento

Título original

Direitos autorais

Formatos disponíveis

Compartilhar este documento

Compartilhar ou incorporar documento

Opções de compartilhamento

Você considera este documento útil?

Este conteúdo é inapropriado?

Direitos autorais:

Formatos disponíveis

Calculo Cap08

Enviado por

Direitos autorais:

Formatos disponíveis

Cap tulo

8.2. Aproximaciones al rea

Figura 8.1. Conjunto ordenado G.f; a; b / de una funcin

Universidad de Granada Dpto. de Anlisis Matemtico

Prof. Javier Prez Clculo diferencial e integral

Figura 8.2. Partes positiva y negativa de una funcin

Universidad de Granada Dpto. de Anlisis Matemtico

Prof. Javier Prez Clculo diferencial e integral

f .tk /.xk f C .tk /.xk

Figura 8.3. Aproximacin por sumas de Riemann

Universidad de Granada Dpto. de Anlisis Matemtico

Prof. Javier Prez Clculo diferencial e integral

Denicin y propiedades bsicas de la integral

Figura 8.4. Aproximacin del rea por sumas inferiores y superiores

8.2.1. Denicin y propiedades bsicas de la integral

Universidad de Granada Dpto. de Anlisis Matemtico

Prof. Javier Prez Clculo diferencial e integral

Denicin y propiedades bsicas de la integral

lK m S .f; Pn / D lK m  .f; Pn/ D lK m I .f; Pn/ D

Denicin y propiedades bsicas de la integral

En particular, si f es integrable en a; b y m 6 f .x / 6 M para todo x 2 a; b , entonces se verica la siguiente desigualdad:

Universidad de Granada Dpto. de Anlisis Matemtico

Prof. Javier Prez Clculo diferencial e integral

Denicin y propiedades bsicas de la integral

Universidad de Granada Dpto. de Anlisis Matemtico

Prof. Javier Prez Clculo diferencial e integral

Denicin y propiedades bsicas de la integral

< x 6 1; <x61 2; <x61 3;

 f tiene lmites laterales nitos en los puntos xi , i D 0; 1; : : : ; n.

Universidad de Granada Dpto. de Anlisis Matemtico

Prof. Javier Prez Clculo diferencial e integral

Denicin y propiedades bsicas de la integral

Figura 8.5. Funcin montona con innitas discontinuidades

El Teorema Fundamental del Clculo

8.2.2. El Teorema Fundamental del Clculo

F .x / D para todo x 2 a; b . Entonces: i) F es continua en a; b .

Prof. Javier Prez Clculo diferencial e integral

Primitivas. Regla de Barrow

Hemos probado que lK m

F .c / D f .c /, esto es, F es derivable en c y F 0 .c / D f .c /. c

8.2.3. Primitivas. Regla de Barrow

Primitivas. Regla de Barrow

donde f es una funcin conv.x / f .t / dt a u.x / f .t / dt a

tinua y u, v son funciones derivables, se escribe H .x / D se aplica lo dicho en el punto anterior.

Las funciones logaritmo y exponencial

Demostracin. Sea P D fa D x0 ; x1 ; x2 ; : : : ; xn el teorema de valor medio, tenemos que: h.b / h.a/ D

D b g una particin de a; b . Aplicando

8.2.4. Las funciones logaritmo y exponencial

Figura 8.6. Logaritmo de 2

Universidad de Granada Dpto. de Anlisis Matemtico

Prof. Javier Prez Clculo diferencial e integral

Las funciones logaritmo y exponencial

8.3. Integrales impropias de Riemann

Por tanto es natural denir:

Universidad de Granada Dpto. de Anlisis Matemtico

Prof. Javier Prez Clculo diferencial e integral

Por ello es natural denir:

8.25 Observacin. Como para todo u 2c ; b se verica que:

se sigue que la convergencia de la integral de f en c ; b equivale a la convergencia de la integral de f en u; b .

Criterios de convergencia para integrales 8.26 Ejemplo. Sea a 1. Se tiene que:

1 C .1 a/ log x / . 1 a/ 2 D F .t / F .1/. En consecuencia: si a > 1 si a < 1

es una primitiva de f en RC . Por tanto

1 log x dx D .1 a/2 : xa C 8 <

lK m S .f; Pn / D lK m .f; Pn/ D lK m I .f; Pn/ D

f tiene lmites laterales nitos en los puntos xi , i D 0; 1; : : : ; n.

n Deduce de la ltima desigualdad que e D lK m 1 C 1 . n

x cos x . Calcula f .=2/ y !

377. Prueba que para todo x 2 0; =2 se verica la igualdad:

Ejercicios resueltos n . Deduce de la ltima desigualdad que e D lK m 1 C 1 n