BORRADOR. La integral Integral indefinida: primitivas

Transcripción

1 Cpítulo L integrl.. Integrl indefinid: primitivs Consideremos l operción invers de l derivción, desde un punto de vist lgebrico. Es decir, dd un función f (x), nos gustrí verigur l (o ls) funciones F(x) tles que f (x) = F (x). Definición.. Un primitiv de f (x) es un función F(x) tl que f (x) = F (x). Hemos demostrdo y ( v. l proposición., 5. ) lo siguiente. Proposición.. Ls funciones constntes F(x) = C, C R son ls únics primitivs de l función cero f (x) =. Este hecho se escribe con l siguiente notción = C. Recuérdese que esto es un consecuenci direct del t.v.m. El ejercicio.3 nos mostrb entonces que si dos funciones tienen l mism derivd, entonces difieren en un constnte. Proposición.3. Si F(x) y G(x) son dos primitivs de un mism función f (x), entonces difieren en un constnte Esto se denot con G(x) = F(x) + C, C R. f (x) = F(x) + C. 5

2 5 CAPÍTULO. LA INTEGRAL Un primitiv culquier de un función se denomin tmbién un integrl indefinid suy. Debemos memorizr uns cunts integrles indefinids básics, y prender clculr un conjunto suficientemente mplio de primitivs más generles. Contrstndo con el cso de l derivción, l integrción de culquier función no es un proceso totlmente lgorítmico, y su investigción se encuentr todví entre los problems biertos de l mtemátic ctul. Tod nuestr intención l comenzr este cpítulo er encontrr l operción invers de l derivción, y lo hemos conseguido: ( ) F d (x) = F(x) + C, f (x) = f (x). Obsérvese que l primer de ests fórmuls nos d l primer regl de integrción, l denomind integrl inmedit, que es quell en l que identificmos clrmente l función integrr ( el integrndo ) como l derivd de un función que conocemos. Más ejemplos de integrles inmedits son k = kx + C, x = x, x = x3 3, x n = xn+ n +, senx = cosx, cosx = senx, El típico cso de integrl inmedit es f (x) = ln f (x) + C = ln kf (x), k R. f (x) Por ejemplo (obsérvese el vlor bsoluto) = ln x + C. x Más propieddes son kf (x) = k f (x), f (x) ± g(x) = f (x) ± g(x) Pr integrr existen muchs técnics, l primer que vmos ver es l del cmbio de vrible, que consiste en intentr reconocer l integrl inmedit siguiente. Proposición.4. f (g(x))g (x) = F(g(x)) + C, siendo F(x) = f (x). (.)

3 .. INTEGRAL INDEFINIDA: PRIMITIVAS 53 Por ejemplo sen x cosx = sen3 x + C 3 tomndo g(x) = senx y f (x) = x, luego f (g(x)) = senx. Es hbitul visulizr l función g(x) como un nuev vrible u = g(x), y se suele denotr g (x) = d(g(x)) = du, con lo que l fórmul (.) se escribe f (g(x))g (x) = f (u)du = F(u) + C. En el ejemplo nterior, u = senx y du = u (x) = cosx con lo que se puede escribir sen x cosx = u du = u3 3 + C = sen3 x + C. 3 A veces se puede intentr divinr l función g(x) si no se reconoce fácilmente, escribiendo directmente u = g(x), = du/g (x(u)). Por ejemplo x x + = xu / / x = u = u / du = 3 u3/ + C = (x + ) 3/ + C. 3 Proposición.5 (Integrción por prtes). f (x)g (x) = f (x)g(x) f (x)g(x). L demostrción es obvi: d f (x)g(x) + C = [f (x)g(x)] = f (x)g(x) + f (x)g (x). Un ejemplo típico es x cosx = x senx senx = x senx + cosx + C. Ejercicio.6. Resolver e x cosx integrndo dos veces por prtes.

4 54 CAPÍTULO. LA INTEGRAL Integrles de funciones rcionles. Tod función rcionl se puede escribir como un polinomio más un función rcionl de numerdor de menor grdo que el denomindor: P (x) R(x) = A(x) + Q(x) Q(x). Todo polinomio puede fctorizrse en fctores de grdo, de l form (x α i ) donde cd α i C es un ríz complej del polinomio. Si el polinomio er de coeficientes reles, ls ríces complejs de prte imginri no nul se presentn en pres conjugdos (x bi)(x + bi) = (x ) + b. Es decir, todo polinomio de coeficientes reles se puede fctorizr como Q(x) = (x x ) n (x x r ) n r [(x ) + b ]m [(x s ) + b s ] m s donde x i son r ríces reles de multipliciddes n i y α i = i + ib i son ríces complejs. Entonces podemos escribir A n A rnr R(x) Q(x) = A + + x x (x x ) n + + A r + + x x r (x x r ) n + r + M x + N (x ) + b + + M m x + N m [(x ) + b + ]m + M sx + N s M sm s x + N sms (x s ) + bs [(x s ) + bs ] m s cuy integrl es un sum de integrles como A = Aln x x x x A (x x ) n = A, n N, n n (x x ) n { ( ) Mx + N x (x ) + b = M b rctn + b log[ b + (x ) ]} +N ( ) x b rctn b y, si m Mx + N [(x ) + b ] m = M x [(x ) + b ] m + M + N [(x ) + b ] m M M + N = (m ) [(x ) + b + ] m b (u + ) m du

5 .. INTEGRAL INDEFINIDA: PRIMITIVAS 55 y pr resolver l últim integrl podemos usr l fórmul de reducción (x + ) m = x m 3 m (x + + ) m m (x. + ) m Ejemplo.7. x 4 + x 3 4x ( + x 3 x = x + 3x + + 8x ) x x x = x x x + x + x x. Fctorizndo x x = (x + )(x ) podemos descomponer en frcciones simples 8x x x = A x + + B x = operndo = 3 x x. L integrl es, pues, x 4 + x 3 4x + x 3 x = x3 x x + x + = x3 3 x x x + x + 3ln x + + 5ln x + C. Integrles de funciones rcionles de funciones trigonométrics. Un función rcionl R(senx,cosx) se puede integrr en generl utilizndo el cmbio de vrible t = tg x, según el cul = t t dt, cosx =, senx = + t + t + t, trnsformándose el integrndo en un función rcionl de t. Ejemplo.8. + cosx = + t + dt = t + t + t dt = 3 t dt + t 3 3 = + dt = ln 3 + t / t 3 t +C = 3 + tg x ln +C 3 t 3 3 tg x

6 56 CAPÍTULO. LA INTEGRAL Otros tipos de integrles. x = sen u cosu du = cos u du + cosu = du = u + 4 senu = u + 4 senu = rcsenx + sen(rcsenx) = rcsenx + sen(rcsenx)cos(rcsenx) 4 = rcsenx + x x.. Integrl definid: áres, teorems Hemos visto cómo el concepto de derivd nos permite clculr mgnitudes que son inlcnzbles utilizndo los métodos nteriores l cálculo diferencil. Ejemplos de ello son ls tss de vrición instntánes de diverss funciones, mgnitudes geométrics como ls rects tngentes, l curvtur, etc. En est sección estudiremos otro concepto que resultb difícil de definir, si no imposible, sin ls técnics infinitesimles, y que h producido quebrderos de cbez innumerbles l Humnidd, desde los tiempos de Zenón, l menos. Se trt de cuestiones como el cálculo del vlor cumuldo de un cntidd que vrí de un form determind, pero cmbinte. Por ejemplo, l distnci recorrid por un móvil de velocidd vrible, l longitud de un curv o el áre de un figur de contornos curvos. Comencemos con el problem del áre. El trtmiento inicil que estudiremos es decudo pr figurs limitds por l gráfic de un función entre dos vlores de x y el eje de bsciss. Y Eudoxo se le ocurrió el denomindo método de exhución: proximemos nuestr figur medinte polígonos de áre conocid, y podremos clculr, proximdmente, el áre de l figur. Definición.9. Ddos < b, un prtición del intervlo [,b] es un colección finit de puntos de [,b] que incluye y b: = x < x < x < < x n < x n = b Ls proximciones l áre se pueden construir utilizndo ls siguientes mgnitudes (ver el péndice sobre sumtorios).

7 .. INTEGRAL DEFINIDA: ÁREAS, TEOREMAS 57 Definición.. Supongmos que f (x) es cotd sobre [,b], y que P = {x, x,..., x n, x n } es un prtición de [,b]. Un sum integrl pr f entre y b es l sum I P = n f (ξ i )(x i x i ) = f (ξ )(x x ) + f (ξ )(x x ) + i= + + f (ξ n )(x n x n ) + f (ξ n )(x n x n ) donde ξ i [x i,x i ] son puntos rbitrrios en cd subintervlo. Definición.. L resolución o norm ρ P = P de un prtición P = {x, x,..., x n, x n } es el tmño del myor de los subintervlos. Es decir, denotndo x i = x i x i : ρ P = P = máx( x i ). El problem es que no se puede definir el lím i ρ P I P y que I P no es un función de un vrible ρ P. Definición.. Un número I se denomin el límite de ls sums integrles de Riemnn n I P = f (ξ i )(x i x i ) i= si pr todo ɛ > existe δ > tl que pr tods ls posibles prticiones P de norm ρ P < δ se cumple que n I P I = f (ξ i ) x i I < ɛ. i= Definición.3. Un función f (x) definid en un intervlo [, b] es integrble (según Riemnn) si y solo si existe el límite de ls sums integrles. En ese cso, ese límite se denot como x=b x= f (x) = y se denomin integrl definid entre y b de f (x). f (x) = I P Los vlores y b se denominn límites de integrción, y l interpretción de l integrl definid como el áre de l región comentd nteriormente, es clr. L integrl de Riemnn se puede entonces utilizr pr definir el áre de ls

8 58 CAPÍTULO. LA INTEGRAL regiones del tipo prticulr que hemos estudido. Hy que hcer notr que existen regiones más complicds, pr ls cules l Mtemátic h proporciondo definiciones más generles (utilizndo, por ejemplo, otr integrl, l integrl de Lebesgue) Pr ls regiones que nosotros considermos, ls definiciones más generles coniciden con l de Riemnn. Es difícil determinr l clse de funciones que poseen integrl, y nos conformremos con resultdos que serán que suficientes pr nosotros. Es, sin embrgo, bstnte fácil identificr un clse de funciones no integrbles. Proposición.4. Un función no cotd no es integrble. Efectivmente, en el entorno de lgún punto l función h de tomr vlores rbitrrimente grndes (en módulo). En culquier prtición hbrá un subintervlo que conteng ese punto, y el término correspondiente en un sum integrl puede hcerse rbitrrimente grnde (en módulo). El siguiente teorem lo dmos sin demostrción. Teorem.5. Un función continu en un intervlo cerrdo [,b] es integrble. Es útil l siguiente proposición. Proposición.6. Un función continu con un número finito de discontinuiddes evitbles es integrble. Efectivmente, culquier prtición se puede refinr pr que ls discontinuiddes estén islds cd un en un subintervlo. L contribución l sum de Riemnn de esos subintervlos es un sum finit: f (ξ i ) x i < máx(f (x i ))ρ i siendo ρ l norm de l prtición. A medid que l norm tiende cero, est contribución tiende cero. Ls demás contribuciones se comportn como ls del cso continuo. (Como lterntiv, demostrr que l función con un discontinuidd evitble en es integrble, y luego medinte sums y productos, un vez que conozcmos ls propieddes, lo podemos hcer). L fmili más grnde de funciones integrbles que vmos discutir es l de l siguiente proposición, fácil de probr usndo rzonmientos nálogos los de l nterior. i Proposición.7. Un función continu trozos es integrble.

9 .. INTEGRAL DEFINIDA: ÁREAS, TEOREMAS 59 Recuérdese que l continuidd trozos (v. definición.79) implic que los límites lterles son finitos en los puntos de discontinuidd.... Propieddes y ejemplos de l integrl definid. Ls primers propieddes son. f (x) =. f (x) = b f (x) (esto es un definición). L primer integrl definid que podemos hcer es Efectivmente, Otr es n f (ξ i ) x i = i= k = k(b ), k R. n k x i = k i= n (x i x i ) = k(x n x ) = k(b ). i= x. Est es más difícil, pero seguiremos l técnic siguiente. Sbemos que f (x) = x es continu, luego es integrble. Entonces todo proceso de límite de sums integrles converge l mismo vlor, l integrl. Podemos, por lo tnto, utilizr un tipo especil de prtición, refinndo su norm hci cero, y el límite que obtengmos será l integrl, sin ser necesrio probr con otrs (tods) ls prticiones posibles, y que l integrbilidd está segurd. Este procedimiento es l bse de cierts técnics de evlución numéric de integrles, cundo los procedimientos nlíticos no permiten el cálculo. El tipo de prtición más simple es quell pr l que los puntos son equidistntes: x i = ih, i =,...,n, h = b n.

10 6 CAPÍTULO. LA INTEGRAL L sum integrl es, eligiendo como ξ i = x i el ldo derecho del subintervlo [x i,x i ]: n f (x i ) x i = i= por lo que n ih h = h i= Más propieddes:. f (t)dt = f (x). n n(n + ) i = h i= = h x = b. n = b h ( )( ) b b h h + b(b + h) =. Si f es integrble en un intervlo, lo es en culquier subintervlo c y c. f (x) = kf (x) = k f (x)+ [f (x) + g(x)] = g(x). (si f y g son integrbles, tmbién lo es f + g) c f (x). b h b f (x) donde b no necesrimente está entre f (x) + 6. Si f y g son integrbles, tmbién lo es f g. 7. Si f (x) g(x) son integrbles y b entonces 8. Si f (x) g(x) M y b entonces M(b ). f (x) f (x) f (x) g(x). g(x) L propiedd 8 se demuestr integrndo M g(x) f (x) g(x) M. El siguiente teorem es fácil de demostrr.

11 .3. EL TEOREMA FUNDAMENTAL DEL CÁLCULO INFINITESIMAL 6 Teorem.8 (Teorem de l medi pr integrles). Si φ(x) es integrble y tiene signo constnte en (,b), entonces si f (x) es continu en [,b] tenemos que f (x)φ(x) = f (c) Prticulrizndo pr φ(x) = tenemos que f (x) = f (c)(b ), φ(x), c (,b). c (,b). Demostrción. sup. φ, Weier m f (x) M, mφ(x) f (x)φ(x) Mφ(x), b > m φ(x) con m P M tl que b φ(x), y l ser f continu existe c (,b) tl que f (c) = P. f (x)φ(x) M f (x)φ(x) = P φ(x), con lo que existe P El significdo geométrico (con φ(x) = ) es el de que podemos encontrr un rectángulo de bse b con áre igul l integrl, cuy ltur está entre el máximo y el mínimo de f en (,b). De hecho, se define l medi de un función en un intervlo como sigue. Definición.9. L medi en el intervlo [,b] de un función integrble, es f (x) = b f (x). Un medi ponderd según un función peso φ(x) es f (x) = f (x)φ(x). φ(x).3. El teorem fundmentl del cálculo infinitesiml Supongmos que f (x) es integrble en cierto dominio de R. Tomdo un punto de referenci R de ese dominio, consideremos l siguiente función: I f (x) = x f (t)dt.

12 6 CAPÍTULO. LA INTEGRAL Est función represent el áre encerrd en el contorno limitdo por el eje de bsciss, l gráfic de l función f (t) y ls rects t = y t = x. Proposición.. Si f (x) es integrble sobre [,b] entonces l función I f (x) es continu en [,b]. Demostrción. Clculemos (con x [,b], x + δ [,b]) I f (x + δ) I f (x) x+δ = f (t)dt Sbemos que l ser integrble, f (x) es cotd en [,b], es decir M R, M > tl que f (x) M. Entonces I f (x + δ) I f (x) x+δ x+δ = f (t)dt f (t) dt Mδ = ɛ si δ = ɛ/m. x El resultdo nterior se puede interpretr diciendo que l integrción suviz l función. Pero eso no es todo, l función integrl se comport todví mejor, si el integrndo es suficientemente bueno. Un versión simplificd del Teorem fundmentl del Cálculo es l siguiente. Teorem. (T. fundmentl del cálculo infinitesiml, I). Si f (x) es un función continu en [,b], entonces l función F(x) = I f (x) = x x x f (t)dt es un primitiv de f (x), es decir, F(x) es derivble y F (x) = f (x). Demostrción. El t.v.m. pr integrles segur que existe θ tl que F(x + δ) F(x) = δ δ dd l continuidd de f (x). x+δ x f (t)dt = f (x + θδ) δ = f (x), Teorem. (T. fundmentl del cálculo infinitesiml, II). Si f (x) es integrble sobre [,b] y f = F pr lgun función F(x), entonces f (x) = F(b) F().

13 .3. EL TEOREMA FUNDAMENTAL DEL CÁLCULO INFINITESIMAL 63 Por qué tnto cuiddo? L función pr x < f (x) = pr x no stisfce técnicmente l regl de Brrow! De qué función es derivd? Hy muchs cndidts fuer de x =, y hí no puede ser derivd de ningun función. Solo vmos demostrr el subcso que es un corolrio del primer teorem. Corolrio.3. Si f (x) es continu en [,b], entonces f (x) = F(b) F() siendo F(x) un primitiv culquier de f (x). Demostrción. sbemos que F(x) = x f (t)dt + C es un primitiv de f (x). Luego F() = C F(b) = f (t)dt + F(). Necesi- Cmbio de vrible e integrción por prtes de integrles definids tremos drnos cuent del siguiente resultdo clculístico. Proposición.4. Siendo f (t) continu y g(x), h(x) derivbles, l función tiene como derivd I(x) = h(x) g(x) f (t)dt I (x) = f (h(x))h (x) f (g(x))g (x). Cmbio de vribles: x = ϕ(t) y u = u(x) f (x) = φ (b) φ () f (φ(t))φ (t)dt f (x) = u(b) u() du f (x(u)) u (x(u))

14 64 CAPÍTULO. LA INTEGRAL Integrción por prtes:.4. Integrles impropis u(x)v (x) = u(x)v(x) b u (x)v(x) Extendemos en est sección el concepto de integrl definid pr trtr dos situciones nuevs:. L función f (x) se hce infinit en lgún punto de [,b] (es rbitrrimente grnde o pequeñ).. El intervlo de integrción es infinito. Los puntos singulres son quellos en cuyo entorno l función no es cotd. Tmbién se dice que los puntos ± son singulres cundo precen en los límites de integrción. En mbos csos, l integrl correspondiente se denomin impropi. Ejemplo.5. Intentemos dr sentido x Si relizmos l integrción en un subintervlo [,R] con R R: R [ x = x ] R = R +. Si R tiende ser muy grnde, prece que l integrl tiende ser. Esto puede interpretrse diciendo que el áre de l superficie entre l hipérbol y = /x y el eje x =, pr x es finit, pese ser un región infinit. Este áre serí = lím R R = lím x R x Ejemplo.6. Intentemos dr sentido R = lím R R + =.. x

15 .4. INTEGRALES IMPROPIAS 65 Si relizmos l integrción en un subintervlo [ɛ,] que no conteng el : = x x ɛ = ( ɛ) ɛ está clro que podemos hcer ɛ, y entonces l integrl prece tender ser..4.. Definición de integrl impropi Los ejemplos nteriores motivn ls siguientes definiciones ( recordd l definición.79 ) Definición.7 (Integrl impropi de primer especie). Se f continu trozos en [, ). Se define f (x) = lím R R f (x) = lím R R f (x), f (x) Definición.8 (Integrl impropi de segund especie). Se f continu trozos en (,b).. Si f puede ser infinit en b, se define f (x) = f (x) = lím c b c f (x) = lím. Si f puede ser infinit en, se define nálogmente f (x) = f (x) = lím + c + c ɛ f (x) = lím ɛ ɛ +ɛ f (x) f (x) Si el límite existe, se dice que l integrl impropi converge, y en cso contrrio que diverge. Obsérvese que en el cso de que l función se cotd, l últim definición produce el mismo vlor de l integrl que l definición de Riemnn. Pr definir l integrl impropi de funciones con vrios puntos singulres, se divide el intervlo de integrción pr convertirl en uno de los tipos conocidos.

16 66 CAPÍTULO. LA INTEGRAL Por ejemplo, si c < c son puntos singulres de f (x), entonces c c f (x) = c c f (x) + c c f (x) siendo c (c,c ) un punto interior no singulr. En generl, si c < c <... < c n son puntos singulres de f (x), se define f (x) = c f (x) + c c f (x) + + c n f (x). Ejemplo.9. L fuerz de Coulomb sobre un electrón en un cmpo producido por un átomo de crg Q es F = k Qe r. Si el electrón orbit con un rdio r, l energí necesri pr seprrlo del átomo (pr ionizr el átomo) es igul l trbjo relizdo l llevrlo r : E i = k Qe dr dr = kqe r r = kqe r = kqe. r r r r Ejemplo.3. Se puede demostrr que (idelmente) l intensidd eléctric i(t) en el circuito de l figur es i(t) = V exp( t/rc). L crg totl R Figur.: Circuito RC. en el condensdor en un tiempo t, y qué vlor tenderá cundo t (situción estcionri), se clculn relizndo un integrl impropi: Q = t dq dt = i(t), V R e s/rc ds = V C e s/rc t = CV ( e t/rc ) t CV.

17 .4. INTEGRALES IMPROPIAS Criterios de convergenci En el estudio de ls integrles impropis prece un cuestión nuev, que no se presentb en el cso de integrles no impropis: puede ser necesrio o interesnte determinr si un integrl impropi es convergente o divergente, independientemente de su vlor. Con ls integrles que se pueden clculr explícitmente, simplemente clculndo su vlor, si es finito, se concluye que l integrl converge. Pero existen muchos métodos pr estudir l convergenci de integrles sin necesidd de clculr su vlor. Utilizándolos, podremos determinr l convergenci de integrles que incluso no se pueden clculr en términos de funciones elementles. No siempre es fácil determinr si un integrl impropi converge o diverge. Sin embrgo, existe un situción en que se puede decir con seguridd que un integrl impropi de primer especie diverge: cundo el integrndo no tiende nulrse en el infinito (en el siguiente sentido) Proposición.3 (Condicion suficiente de divergenci). Si el integrndo de l integrl impropi de primer especie tiene un límite no nulo en, es decir entonces l integrl diverge. f (x) lím f (x) = c, x Este criterio es equivlente un condición necesri de convergenci: pr que l integrl converj h de ser lím x f (x) =. Demostrción. Si lím x f (x) = c entonces f (x) c < ɛ cundo x > R pr ciert R. Si, por ejemplo, c >, entonces tomndo < ɛ < c tenemos que f (x) > c ɛ µ > y que que diverge. R f (x) > R µ (.) Pr ls integrles de l form f (x) l condición necesri de convergenci es, evidentemente, que f (x) tiend un límite nulo en. En l demostrción de l proposición nterior, en (.), hemos utilizdo un desiguldd entre integrles que se puede explotr más todví pr crer el siguiente criterio de convergenci.

18 68 CAPÍTULO. LA INTEGRAL Teorem.3 (Criterio de comprción). Si f (x) y g(x) son continus trozos en [,b) (b puede ser ), son positivs y entonces f (x) g(x), x [c,b) g(x) es convergente f (x) es divergente f (x) es convergente g(x) es divergente L demostrción se bs en que ls funciones integrles, l ser los integrndos positivos, son monótons crecientes y cotds. El teorem nterior es muy útil si conocemos un conjunto mplio de integrles simples convergentes o divergentes, con respecto ls que podemos comprr integrles impropis más complicds. Ls siguientes integrles simples son fundmentles. Proposición.33. L integrl impropi x α converge cundo α > y diverge cundo α. L integrl impropi x α converge cundo α < y diverge cundo α. Demostrción. Se hce integrndo directmente. Ejercicio.34. Es convergente Ejemplo.35. x? sen x x es convergente, y que si f (x) = sen x/x podemos comprr usndo el teorem.3 con g(x) = /x, porque mbs son positivs y l ser sen x, f (x) = sen x/x /x = g(x). Por l proposición (.33) l integrl de /x es convergente, luego l de f (x) tmbién lo es.

19 .4. INTEGRALES IMPROPIAS 69 Podemos umentr mucho el conjunto de funciones con ls que comprmos si comprendemos cómo se comportn, demás de ls potencis, los logritmos y ls exponenciles, y l relción entre los comportmientos de ess tres fmilis de funciones. Todo ello se resume en ls dos siguientes proposiciones. Proposición.36. Si < < entonces es y si b > es e σ/xp lnx γ σ > divergente p > σ < convergente (bs.) k > divergente si k < p ó σ = convergente (bs.) γ divergente k = γ < convergente (bs.) b x k e σxp x k lnx γ σ > divergente p > σ < convergente (bs.) k > divergente si k < p ó σ = convergente (bs.) γ divergente k = γ < convergente (bs.) Ejemplo.37. e x cos3x p =, σ = es convergente ( ) 4 lnx σ =, k = 4 es convergente x e x lnx σ = k = es divergente p = /, σ = es divergente x5

20 7 CAPÍTULO. LA INTEGRAL Muchos de los csos del árbol son integrles no impropis, porque sus integrndos no se hcen infinitos. Ejemplo.38. / (lnx) x 4 no es relmente impropi porque lím(lnx) x 4 = (luego es convergente). x.4.3. Más criterios de convergenci Los csos complicdos de nuestros árboles de funciones tipo se pueden resolver con el criterio de comprción o con el siguiente potentísimo criterio de convergenci. En l práctic, ls estimciones de convergenci no son más que un procedimiento rápido de plicr el criterio, y se sustituyendo por infinitésimos o por funciones equivlentes ls distints prtes de un integrndo cuy convergenci queremos estudir. Teorem.39 (Criterio de comprción II, o de pso l límite). Sen f (x) y g(x) funciones continus y positivs. Entonces, si existe el límite finito ( b puede ser ) y si. k, ls integrles g(x) convergen o divergen simultánemente;. k =, si es divergente, 3. k = ±, si f (x) y f (x) lím x b g(x) = k, g(x) es convergente, es convergente, g(x) es divergente; g(x) es divergente, f (x) es convergente; si g(x) es convergente. f (x) es divergente y si f (x) f (x)

21 .4. INTEGRALES IMPROPIAS 7 Ejemplo.4. L integrl converge porque lnx lnx lím x / x = lím /x x /(x 3/ ) = (se puede integrr directmente por prtes). Más útil es clculr (lnx) 4 (lnx) 4 lím x / x = lím 4(lnx) 3 /x x /(x 3/ ) = lím (lnx) 3 x / x = = luego es convergente. Ejemplo.4. diverge porque (lnx) /x lím x /(lnx) = lím lnx/x /x = lím x x =. El teorem tmbién sirve pr estudir l convergenci de muchs otrs integrles. Ejemplo.4. (El logritmo en ). Si < c < c γ < es convergente (bs.) lnx γ si γ es divergente porque lím x =. x lnx.4.4. Integrndos no positivos y convergenci bsolut Los criterios de comprción, teorems.3 y.39, se pueden plicr solo cundo ls funciones que se comprn, f (x) y g(x), son positivs, l menos en un entorno del punto b en donde l integrl es impropi. Si f (x) es estrictmente

22 7 CAPÍTULO. LA INTEGRAL negtiv, se pueden plicr los criterios l función f (x), que es positiv. L convergenci o divergenci de f (x) es simultáne l convergenci o divergenci de f (x), y que solo hy involucrdo un cmbio de signo. Sin embrgo, si l función f (x) no es ni estrictmente positiv ni negtiv, los criterios no son directmente plicbles. Existen lgunos conceptos que permiten el estudio de funciones de signo cmbinte, que vmos discutir continución. Definición.43. L integrl impropi es bsolutmente convergente si es convergente. f (x) f (x) Es fácil probr que (como considermos solo f s continus trozos) Proposición.44. Si un integrl impropi es bsolutmente convergente, entonces es convergente. De hecho f (x) f (x). Dd un función f (x) de signo cmbinte, podemos considerr l integrl de su vlor bsoluto f (x), que es de signo positivo, plicndo los criterios de convergenci de que disponemos. Si l integrl de f (x) result ser convergente, l integrl de f (x) es bsolutmente convergente, por lo que es tmbién convergente. Ejemplo.45. senx x es bsolutmente convergente (comprr con /x ), luego es convergente. Sin embrgo, si l integrl del vlor bsoluto f (x) result ser divergente, no podemos concluir que l integrl de f (x) tmbién lo es. Puede suceder que ls áres negtivs resultntes de integrr f (x) en ls regiones donde es negtiv, sen en mgnitud y contrrresten en cierto modo un contribución positiv

23 .4. INTEGRALES IMPROPIAS 73 (infinit) de ls zons en ls que f (x) es positiv. Es decir, l integrl de f (x) puede diverger, ún convergiendo l integrl de f (x). En ese cso, se dice que l integrl impropi es condicionlmente convergente. Ejemplo.46. senx x no es bsolutmente convergente, pero es condicionlmente convergente. senx = cosx x x + cosx (l últim integrl es bsolutmente convergente).4.5. Vlor principl de Cuchy Se un integrl impropi x f (x) con un único punto singulr en c (,b), divergente. En los lrededores del punto c, l integrl impropi puede diverger, debido que el áre de l región correspondiente es infinit. Pero podemos considerr el cso en el cul el áre infinit l izquierd de c se de signo contrrio, e igul mgnitud que el áre infinit su derech. Ilustremos este concepto con el siguiente ejemplo. Ejemplo.47. x = x + + x = divergente+divergente = divergente Sin embrgo, prece que ls dos integrles impropis, unque infinits, son opuests en signo, luego podrí ser x = Definición.48. Si f (x) tiene un único punto singulr c en (,b), se define el vlor principl de Cuchy de l integrl impropi f (x) como el límite VP f (x) = lím ɛ + demostrr más trde medinte series [ c ɛ f (x) + c+ɛ f (x) ]

24 74 CAPÍTULO. LA INTEGRAL Obsérvese que el hecho relevnte es que ls integrles dependen simétricmente de ɛ. Ejemplo.49. Tenemos que VP = lím x ɛ + [ ɛ x + ɛ ] [ x = lím ln x ɛ + ɛ ] + ln x = lím (ln ɛ + ln ɛ ) =. ɛ + Si, por ejemplo, en un de ls integrles nteriores decidimos que ɛ tiend cero l doble de velocidd que en l otr integrl: lím x ɛ + [ ɛ x + ɛ ] [ x = lím ln x ɛ + ɛ ɛ ɛ ] + ln x = lím (lnɛ lnɛ) = ln. ɛ + El vlor principl de un integrl impropi convergente es igul l vlor de l integrl. El concepto de vlor principl se puede generlizr l cso de vlor principl en el infinito: Ejemplo.5. VP + f (x) = lím R R R R x x + = lím x + lím R R + x R = lím R ln R + + lím Sin embrgo VP R f (x) x + x ln R + = no existe [ x x + = lím R ln R + + ] ln R + =