6 négrles générlisées «Douer de ou ou ou croire, ce son deu soluions églemen commodes, qui l une e l ure nous dispensen de réfléchir.» Henri Poincré (92) Pln de cours négrles impropres......................................... 2 A Générliés............................................ 3 B Propriéés............................................. 5 C négrle impropre d une foncion posiive......................... 6 D Convergence bsolue...................................... 8 E Divergence grossière...................................... 9 Clcul inégrl.............................................. A négrion pr pries..................................... B Chngemen de vrible.................................... Foncions inégrbles.......................................... A Définiion e propriéés...................................... B Comprison e dominion.................................. 2 Quelques élémens hisoriques L mesure de l longueur d une courbe e de l ire d une surfce es un problème esseniel e récurren chez les Grecs. Mesurer, c es vn ou comprer des longueurs en clculn leurs rppors. Des méhodes d ehusion son mises en plce à cee époque e permeen de répondre vec succès à cerins problèmes de recherche d ires à l ide d encdremens successifs. Ces rvu son repris e développés plus rd pr les Arbes puis pr d ures mhémiciens comme Ferm ou Lplce. On peu dire qu à ce sde, l inégrion, ou pluô les echniques de qudrure e de recificion, son vn oue chose une ffire de géomères! Newon e Leibniz meen en plce, u cours du XV e siècle, les fondemens du clcul différeniel e inégrl à rvers l éude des vriions infiniésimles de quniés mhémiques. ls son les premiers à fire le lien enre dérivion e inégrion. C es d illeurs chez Leibniz que l on voi pprîre pour l première fois l noion = d. Ces héories ne son pourn que des colosses u pieds d rgile : elles reposen sur des noions ml définies e encore ml comprises comme les nombres ou les foncions. Cel ne nui en rien à l epnsion du clcul infiniésiml u cours des XV e e XV e siècles. Les mhémiciens échouen dns un premier emps à définir l vérible nure des infinimen peis qu ils mnipulen mis ils cherchen cependn pei à pei à s erire de l géomérie comme bse de ce nouveu clcul. Cuchy s inerroge dns son «Résumé des leçons données à l École Polyechnique» (823) sur l eisence d une inégrle vn de s inéresser à ses diverses propriéés. l y défini s propre inégrle dns une version relivemen proche de celle éudiée l n dernier. C es églemen lui qui propose une première démonsrion rigoureuse du héorème fondmenl du clcul inégrl. Que de chemin prcouru! Riemnn développe s propre héorie de l inégrion qu il présene en 854 pour s hèse d hbiliion à l Universié de Göingen. Elle présene l vnge de s éendre à oue foncion coninue, coninue pr morceu e plus générlemen à oue foncion die réglée. Échppe cependn à cee héorie oue une berie de foncions (l indicrice de pr eemple) e l démonsrion de cerins résuls de convergence s vère rès echnique. Les noions de mesure e de ribus voien peu à peu le jour. Les idées novrices de Lebesgue, présenées u cours de s hèse en 92, conduisen à l nissnce d une nouvelle héorie de l inégrion qui pore désormis son nom. Mis l hisoire ne s rrêe ps là... De nouvelles inégrles fon Bernhrd Riemnn our à our leur ppriion. L recherche es encore cive en ce domine!
CHAPTRE 6. NTÉGRALES GÉNÉRALSÉES Le bu de ce chpire es d éendre l noion d inégrle sur un inervlle qui n es ps nécessiremen un segmen. Théorème 6. : Rppels Toue foncion coninue sur un inervlle dme une primiive. En priculier, si f es coninue sur un inervlle, Si f es coninue sur le segmen [; b] lors De plus, f () d es l unique primiive de f sur qui s nnule en. ( ) f () d eise. f () d = F(b) F() où F es une primiive de f sur [; b]. Si f es une foncion coninue sur un segmen [; b] lors, b n n k= f + k b n f () d n + négrles impropres Comme le leceur pu le conser l n dernier, l noion d inégrle es inimemen liée à l noion d ire. Ayn oujours pour objecif de «mesurer» l ire d un domine délimié pr l e des bscisses e une courbe donnée, nous pouvons nous inerroger sur l possibilié d éendre nos résuls u cs d un inervlle non borné. Bien que le domine ne soi ps borné, l ire de ce domine n es ps nécessiremen infinie, comme le prouve l un des deu eemples suivns! Eemples y y = 3 /2 y = Quel que soi, d d 3/2 = = ln /2 /2 + + = 2 2 + 2 De même, il es possible de donner un sens à l inégrle d une foncion non bornée sur un inervlle borné. Eemple y y = ln() Quel que soi ], ], ln() d = [ ln() ] = ln() + On peu insi donner un sens «géomérique» à ln() d lors que ln(). + 2
Mickël PROST Lycée Chpl PT* A Générliés Définiion sur un inervlle du ype [, b[ ou ], b] Définiion 6.2 : négrle impropre Soi f une foncion coninue sur [, b[ vec b ou b = +. Si f dme une limie finie lorsque end vers b, on di que l inégrle impropre converge e on noe f cee limie. Sinon, on di qu elle diverge. l y deu ypes d inégrles impropres : l inégrle de foncions non bornées sur un inervlle borné ( ln sur ], ]) ; l inégrle de foncions coninues sur un inervlle non borné ( e sur [, + [). On peu éendre l définiion précédene u cs ], b] vec ou =. Lorsqu on connî une primiive de f sur, il suffi de psser à l limie pour svoir si l inégrle converge ou diverge, mis cel es pluô rre. On noer l nlogie vec l éude de l nure des séries k, z k. Proposiion 6.3 : négrle fussemen impropre Si une foncion f : [, b[ vec b es coninue sur [, b[ e prolongeble pr coninuié en b, lors l inégrle f converge e vu f où l on noé f le prolongemen de f. On pourr lors qulifier une elle inégrle de «fussemen» impropre. Eercice Monrer que l inégrle sin d converge. 2 négrles de référence Les qure eemples suivns son à connîre pr cœur, les inégrles en quesion son qulifiées d «d inégrles de référence». ➊ d vec es coninue sur [, + [. Si, d = + d = = + si > + + si < ➋ Si =, d = ln + e donc : + d vec Le même clcul condui à l propriéé suivne : d converge si e seulemen si > d converge si e seulemen si < 3
y = 3 On, pr imprié de 3, CHAPTRE 6. NTÉGRALES GÉNÉRALSÉES ➌ ➍ ln d L foncion ln es coninue sur ], ] donc il y un problème en. Comme ln d = ln = ln, l inégrle impropre + e d vec > L foncion e es coninue sur [, + [ e : ln d converge. Donc pour >, l inégrle impropre e d = 3 Définiion sur un inervlle du ype ], b[ Définiion 6.4 : négrle impropre e + e d converge. Soi f une pplicion coninue sur l inervlle ], b[. On di que l inégrle impropre e seulemen si c f e c f convergen quel que soi c ], b[. f converge si On éudie lors lim + c f e lim y b y c f pour c ], b[. Aenion u pssge à l limie! Pour prouver que f converge, il ne suffi ps de clculer lim + f. Eemple y Alors que 3 d = e 3 d = 4 4 + +. 3 d + Eemple L inégrle d ne converge pour ucune vleur de. Pr souci de simplicié, nous rvillerons pr l suie uniquemen sur des inervlles de l forme [, b[. 4
Mickël PROST Lycée Chpl PT* B Propriéés Proposiion 6.5 : Linérié de l inégrle Soi f, g : [, b[ e λ. Si f e g convergen lors (λf + g) converge e on : (λ f + g) = λ f + g Démonsrion l suffi d inégrer sur le segmen [, ] vec [, b[ vn de psser à l limie : Donc l inégrle (λ f + g) = λ λ b f + (λ f + g) converge e l fu d bord s ssurer que l inégrle formule précédene. Eemple Quelle es l nure de 6 f + g d 2 8 + 5? (linérié d une inégrle sur un segmen) g (λ f + g) = λ Une décomposiion en élémens simples nous fourni : En inégrn, on obien lors : L inégrle converge e \ {3, 5} 6 Aenion u résul suivn : si si E. : f converge e si f diverge e si d e 6 d. f + f () d converge sinon l écriure 2 8 + 5 = 2 5 2 g. 3 d 2 8 + 5 = 2 ln 3 + 5 2 ln 3 + 2 ln 3 d 2 8 + 5 = ln 3. Pourn, 2 6 g diverge lors (f + g) diverge ; g diverge lors on ne peu rien dire. d 5 e 6 f n ps de sens dns l d 3 divergen! On éend sns difficulés les définiions précédenes u cs d une foncion à vleurs complees e on monre lors le résul suivn. 5
CHAPTRE 6. NTÉGRALES GÉNÉRALSÉES Proposiion 6.6 Soi f :. Re(f ) e m(f ) convergen si e seulemen si f = Re(f ) + i m(f ) f converge e lors : Proposiion 6.7 : Relion de Chsles Soi f :], b[ elle que f converge. Alors, pour ou c ], b[, ],b[ f = c f + f c Dns le cs d une foncion posiive, pour < b, f () d lorsque l inégrle converge. Proposiion 6.8 Soi f une foncion posiive e coninue sur [, b[. On suppose que f converge. f = f es ideniquemen nulle sur [, b[ [, b[ f () = Aenion, ces deu hypohèses son nécessires! L inégrle d une foncion coninue peu êre nulle sns que l foncion soi nulle. De même, l inégrle d une foncion posiive présenn des disconinuiés peu êre nulle sns que l foncion soi ideniquemen nulle. C négrle impropre d une foncion posiive On ne peu ps oujours clculer f () d epliciemen mis lorsque f es posiive, cerines règles permeen d éudier l nure de l inégrle. Si f es négive, on rviller vec f. L éude de Proposiion 6.9 f es semblble à celle des séries du ype u n vec u n. Soi f : [, b[ coninue e posiive. f () d converge si e seulemen s il eise M > el que : [, b[ f () d M. Démonsrion On pose F : f () d. [, b[ F () = f () donc F es croissne. D près le héorème de l limie monoone, F dme une limie en b qui ser finie si e seulemen si F es mjorée. 6
Mickël PROST Lycée Chpl PT* Règle de comprison Théorème 6. : Comprison Soien f, g : deu foncions coninues sur elles que f g. g converge = f converge e lors f () d g() d. Démonsrion Supposons que f g e que Pr comprison : [, b[ g() d converge. f () d f () d es donc mjorée donc converge. Pr pssge à l limie, f () d g() d. g() d }{{} g posiive g() d = M. Corollire 6. Soien f, g : deu foncions coninues sur elles que f g. Alors, f diverge = g diverge. Eercice 2 Quelle es l nure de sin 2 () + 2 d? Remrquons que cee echnique n es ps vlble pour Eercice 3 Quelle es l nure de 2 Règle des équivlens Théorème 6.2 : Équivlens 2 + 3 d? sin() + 2 d. Soien f, g : [, b[ deu foncions coninues sur, de signe consn u voisinge de b, elles que f () g(). Alors, b f e g son de même nure. Démonsrion Suppons f posiive u voisinge de b. l eise lors [, b[ el que : [, b[ 2 g() f () 3 2 g() puis on conclu pr comprison. On dpe l preuve dns le cs négif. 7
CHAPTRE 6. NTÉGRALES GÉNÉRALSÉES Eercice 4 Quelle es l nure de sin d? de sin d? de sin( 2 ) On prendr soin de vérifier que l inégrnde es de signe consn u voisinge du poin considéré. 3 Comprison séries/inégrles Théorème 6.3 : Comprison séries/inégrles Soi f une pplicion coninue, posiive e décroissne sur [, + [. Alors l série f (n) e l inégrle f () d son de même nure. Une pplicion direce de ce héorème nous donne de nouvelles séries de référence. Théorème 6.4 : Séries de Riemnn Soi. converge si e seulemen si >. n d? Démonsrion Remrquons que pour, l série diverge grossièremen. n Supposons minenn >. Comme es décroissne, coninue e posiive sur [, + [, d l inégrle e l série son de même nure. L série converge donc ssi >. n Eercice 5 Déerminer un équivlen de D Convergence bsolue n k= Définiion 6.5 : Convergence bsolue Soi f : [, b[ coninue sur [, b[. On di que u voisinge de +. k f es bsolumen convergene lorsque f converge. Théorème 6.6 Une inégrle bsolumen convergene es convergene. Démonsrion Soi f : [, b[. On noe f + = m(f, ) e f = m( f, ). f + e f vérifien f + f e f f donc f + e f convergen. Comme f = f + f, f converge. Soi f : [, b[. On fi de même vec Re(f ), m(f ) puis Re(f ), m(f ). 8
Mickël PROST Lycée Chpl PT* Définiion 6.7 : Semi-convergence Soi f : [, b[ coninue sur [, b[. Si f converge e f diverge, on di que f es semi-convergene. Eemple Monrer que sin d es semi-convergene. sin es coninue sur [, + [. Problème en +. sin = cos cos e cee dernière inégrle converge bsolumen donc 2 converge. Ainsi, On pose n = nπ n n = sin d converge. n f. Remrquons que n = k= D où l divergence de (vrine) >, E Divergence grossière π sin sin u u + kπ sin sin2 n du d. k= π k= = cos(2) 2 (k+)π kπ sin sin u (k + )π du = 2 π e d. Donc, D près le chpire sur les séries numériques, si u n converge, lors u n De même, --on n k= k n + + d 2 diverge, cos(2) d converge. 2 n +. f () d converge = f ()? L réponse es NON! + Théorème 6.8 : Divergence grossière à l infini Soi f : [, + [ coninue. Si f dme une limie non nulle en + lors f () d diverge. Démonsrion Au voisinge de +, l foncion es de signe consn e on peu ppliquer l règle des équivlens. Conriremen u séries, on ne peu rien dire lorsque l limie n eise ps. En effe, l inégrle peu converger sns que f dmee une limie en +. Eemple Considérer une foncion «ringulire pr morceu» don les ringles son d ires /n 2, de hueur, cenrés sur le milieu du segmen [n, n + ]. n+ 2 f () d = n k=2 k π 2 2 n + 6 9
CHAPTRE 6. NTÉGRALES GÉNÉRALSÉES Clcul inégrl A négrion pr pries Supposons que f, g : [, b[ son de clsse sur [, b[. Pr inégrion pr pries, on obien : [, b[ Ainsi, si lim f ()g() eise e es finie, lors b f ()g () d = f ()g() f g e f ()g() d f g son de même nure. Pr précuion, on commencer pr inégrer enre e pour effecuer l inégrion pr pries sur un segmen puis on psser à l limie. Eercice 6 Monrer que l inégrle B Chngemen de vrible 2 e d converger e déerminer s vleur. Rppelons le héorème de chngemen de vrible sur un segmen vu l n dernier. Théorème 6.9 : Chngemen de vrible sur un segmen Si f : es coninue e ϕ : [, β] es de clsse, lors : ϕ(β) ϕ() f () d = β f (ϕ(u))ϕ (u) du Les choses son quelque peu différenes lorsque l on se plce sur un inervlle quelconque. L bijecivié de l pplicion ϕ es requise! Théorème 6.2 : Chngemen de vrible sur un inervlle quelconque Soien f une foncion coninue sur ], b[ e ϕ :], β[ ], b[ une bijecion sricemen croissne de clsse, lors les inégrles convergence, elles son égles. f () d e β f (ϕ(u))ϕ (u) du son de même nure e en cs de Démonsrion Sous de elles hypohèses, l pplicion ϕ rélise donc une bijecion de ], β[ dns ], b[. S bijecion réciproque ϕ es églemen coninue e sricemen croissne sur ], b[. Supposons l convergence de l inégrle f () d. Soi ], β[ fié. Posons lors c = ϕ(). Pour ou y [, β[, pr chngemen de vrible sur le segmen [, y], y f (ϕ(u))ϕ (u) du = =ϕ(u) Comme ϕ es une bijecion croissne, ϕ(y) y β b donc : y f (ϕ(u))ϕ (u) du y β ϕ(y) c c f () d f () d
Mickël PROST Lycée Chpl PT* L inégrle β De même, l inégrle f (ϕ(u))ϕ (u) du converge e vu donc Au finl, on bien monré que f (ϕ(u))ϕ (u) du converge e vu β f (ϕ(u))ϕ (u) du e vu c f () d. c f () d. f () d. On monre de même, en uilisn cee fois-ci les propriéés de ϕ, que l convergence de l inégrle f (ϕ(u))ϕ (u) du implique celle de f () d. Dns le cs d une bijecion ϕ décroissne, l formule s écri : f () d = β f (ϕ(u))ϕ (u) du Comme le leceur l ur sns doue compris, peu impore l monoonie de ϕ du momen qu on prend grde à bien ordonner les bornes des inégrles lors des clculs. Eercice 7 Monrer que l inégrle Foncions inégrbles A Définiion e propriéés Définiion 6.2 : Foncion inégrble d ( ) converge e clculer s vleur. Soi f : une foncion coninue sur un inervlle à vleurs dns. On di que f es inégrble sur si f () d es bsolumen convergene. Éudier l inégrbilié de f sur revien donc à éudier une inégrle clssique sur lun segmen ou bien à éudier l convergence bsolue d une inégrle impropre. Si f es inégrble sur lors f () d converge. Théorème 6.22 Si f : es coninue e inégrble, lors : f f Démonsrion L inéglié bien un sens d près le commenire précéden! Supposons minenn que = [, b[ e que f es à vleurs dns. Rppelons que monrer que y revien à monrer que y y.
CHAPTRE 6. NTÉGRALES GÉNÉRALSÉES Tou d bord, pour ou [, b[, f () f () f () e donc, pr croissnce de l inégrle, [, b[ f () d f () d f () d On fi lors endre vers b pour pouvoir conclure : f () d f () d f () d On dme le résul dns le cs où f es à vleurs dns. Proposiion 6.23 L ensemble des foncions coninues e inégrbles sur es un espce vecoriel. Démonsrion Monrons pour cel que c es un sous-espce vecoriel de (, ). L foncion nulle es bien inégrble sur. Soien f, g : deu foncions coninues e inégrbles sur e λ. λ f () + g() λ f () + g() Comme f e g convergen bsolumen, il en v de même pour λ f + g pr comprison. B Comprison e dominion Lemme 6.24 : Dominion Soi f : e ϕ : + deu foncions coninues elles que : f () ϕ() Si ϕ es inégrble sur, lors f es inégrble sur. Démonsrion l s gi juse de comprer deu foncions posiives. On obien lors l convergence de f (). Théorème 6.25 : Règle du pei o e du grnd O Soi f, g : [, b[. On suppose l foncion g coninue e inégrble sur [, b[. si f = o(g) lors f es inégrble sur [, b[ ; b si f = O(g) lors f es inégrble sur [, b[. b 2
Mickël PROST Lycée Chpl PT* Démonsrion f () Supposons ou d bord que f () = o(g()) vec g inégrble sur [, b[. Alors b g() Ainsi, il eise c [, b[ el que : [c, b[ f () g() E donc, pour > c, f () g(). l n y plus qu à conclure pr comprison. Le risonnemen es idenique dns le cs où f = b O(g). b. Le héorème précéden s dpe fcilemen u cs d un inervlle de l forme ], b]. Corollire 6.26 Soi f : [, + [ coninue sur [, + [. Si f () = o u voisinge de + vec > lors f converge (bsolumen). Eercice 8 Quelle es l nure de e 2 d? 3