3 Iégrles géérlisées Pour ce chpire, les focios cosidérées so priori défiies sur u iervlle réel I o rédui à u poi, à vleurs réelles ou complees e coiues pr morceu. L défiiio e les propriéés de l iégrle de Riem sur u segme so supposées cquises. Ces iégrles de Riem sur u segme so ussi ppelées iégrles défiies. 3. Défiiios e eemples d iégrles géérlisées Ds u premier emps, o se doe u iervlle réel I = [, b[ vec < < b + e ue focio f : [, b[ R ou C coiue pr morceu. O rppelle ou d bord l défiiio d ue focio coiue pr morceu sur l iervlle I. Défiiio 3. O di qu ue focio f défiie sur l iervlle I es coiue pr morceu sur ce iervlle s il eise ue subdivisio = < < < p < p+ = b elle que l focio f soi coiue chcu des iervlle ] k, k+ [ k p e dmee ue limie à droie e e des limies à droie e à guche e chcu des pois k k p. Avec les oios de cee défiiio, l resricio de l focio f à l iervlle ] p, b[ se prologe e ue focio coiue sur [ p, b[ e pour ou eier k compris ere e p, l resricio de l focio f à l iervlle ] k, k+ [ se prologe e ue focio coiue sur [ k, k+ ]. Ue focio coiue pr morceu sur I es doc e priculier locleme iégrble sur ce iervlle, ce qui sigifie qu elle es iégrble sur ou segme [α, β] I. Si f es coiue pr morceu sur I, o peu défiir s primiive F ulle e, c es-à-dire l focio défiie sur [, b[ pr : Préciséme, pour [, [, o : [, b[, F = F = f d f d. 45
46 Iégrles géérlisées e pour [ k, k+ [ vec k compris ere e p, o : k F = j= j+ j f d + k f d. Défiiio 3. Avec les oios qui précède o di que l iégrle de f sur [, b[ es covergee, si l focio F dme ue limie fiie qud ed vers b ds I. Ds ce cs o oe f d cee limie. Le sclire isi défii es ppelé l iégrle géérlisée ou impropre de f sur [, b[. Ds le cs où F ps de limie fiie e b o di que l iégrle de f sur [, b[ es divergee. O doc, e cs de covergece : f d = lim b f d. Remrque 3. Si f : [, b[ R ou C es ue focio coiue pr morceu e si c [, b[ lors l iégrle de f es covergee sur [, b[ si, e seuleme si, l iégrle de f es covergee sur [c, b[ le problème de l covergece se pose e b e ds ce cs, o : f d = c f d + c f d. Cel résule immédieme de l relio de Chsles pour les iégrles défiies : ], b[, f d = c f d + c f d. O défii de mière logue l iégrle d ue focio f à vleurs réelles ou complees défiie sur u iervlle ], b] vec < b < + e coiue pr morceu sur ce iervlle pr : f d = lim f d qud cee derière limie eise. Ds le cs d ue focio f défiie sur u iervlle ], b[ vec < b + e oujours coiue pr morceu, o di que l iégrle de f es covergee sur ], b[ si pour ou c ds ], b[ chcue des iégrles c f d e c f d es covergee. Ds ce cs l somme de ces iégrles impropres e déped ps de c, ce qui perme de défiir l iégrle géérlisée de f sur ], b[ pr : f d = c = lim f d + c f d y f d + lim f d. y b Le lemme qui sui jusifie l ffirmio précédee e ous di ussi qu il suffi de vérifier l covergece des iégrles c f d e c f d pour ue vleur de c.
Défiiios e eemples d iégrles géérlisées 47 Lemme 3. Si, vec les oios qui précède, il eise u réel c ], b[ el que les iégrles c f d e c pour ou réel d ], b[, o : f d soie covergees, lors l iégrle de f sur ], b[ es covergee e d f d + d f d = c f d + c f d. Démosrio. Il suffi d uiliser l relio de Chsles pour les iégrles défiies. Pr bus de lgge, l epressio «éudier l ure de f d», ss svoir si cee iégrle coverge ou o es u rccourci pour «éudier l covergece de l iégrle de f sur ], b[». Remrque 3. Il fu bie oer que l divergece de l ue des deu iégrles c f d équivu à l divergece de f d. Remrque 3.3 Ds le cs où = e b = + l eisece de c lim + lim + f d e f d e prouve ps l covergece de l iégrle de f sur ], + [. Pr eemple pour f = o f d = pour ou > e pour l iégrle diverge. E effe f d = +. Pour prouver l covergece de l iégrle de f sur ], + [ o doi prouver idépedmme l covergece de lim + f d e lim + f d. Eercice 3. Morer que l iégrle de f : e e d =. Soluio 3. Pour ou > o : F = e d = e es covergee sur [, + [ e que. + Eercice 3. Morer que l iégrle de f : es covergee sur [, + [ e + d + = π. Soluio 3. Pour ou > o : F = d = rc + + π. Eercice 3.3 Morer que l iégrle de f : es covergee sur ], ] e Soluio 3.3 Pour ou ], ] o : d =. F = d =.
48 Iégrles géérlisées Eercice 3.4 Morer que l iégrle de f : es divergee sur ], ]. Soluio 3.4 Pour ou ], ] o : F = d = +. + Eercice 3.5 Morer que l iégrle de f : si es divergee sur [, + [. Soluio 3.5 Pour ou > o : F = e l focio cos ps de limie à l ifii. si d = cos Eercice 3.6 Morer que l iégrle de f : l es covergee sur ], ] e. l d = Soluio 3.6 O : l d = l +. Eercice 3.7 Morer que l iégrle de f : sur ], + [ e f d =. e + l Soluio 3.7 Ue primiive de f = e e e l + e es : F = l e e e l = l + l e e o : ce qui doe f d =. lim F = e lim F = + Eercice 3.8 Morer que l iégrle de f : d = π. Soluio 3.8 Pour ou [, [ o : F = e pr prié, pour y ], ] : G y = ce qui doe le résul océ. y y d = d = rcsi e es covergee es covergee sur ], [ e π du = rcsi y u y π
Défiiios e eemples d iégrles géérlisées 49 L rgume de prié uilisé vec l eercice précéde es géérl. Préciséme, o le résul suiv. Théorème 3. Soi f ue focio à vleurs réelles ou complees défiie e coiue pr morceu sur u iervlle ], [ vec < +. Si f es pire [resp. impire], lors f d es covergee si, e seuleme si, pour f pire : e pour f es impire : f d = f d =. f d l es. E cs de covergece, o f d. Démosrio. Supposos ou d bord f pire. L codiio écessire es ue coséquece immédie des défiiios. Si f d coverge, lors l focio F défiie sur ], [ pr F = f d ue limie fiie e. Noos l cee limie. Pour y ], [, le chgeme de vrible u = doe : e le résul océ. G y = y f d = y f u d = F y l y Pour f impire, o G y = F y l e f d =. y Ds le cs où l focio f, défiie sur [, b[ vec b fii, dme ue limie fiie l e b, le problème de covergece de l iégrle es u fu problème. E effe, e pos f b = l l focio f se prologe pr coiuié e b e désig pr F l primiive ulle e de l focio coiue pr morceu f sur [, b], l focio F es coiue e b e o : lim b f d = lim b F F = F b F = l derière iégrle é ue iégrle de Riem. f d Eercice 3.9 Soi λ u ombre complee. Éudier l ure de l iégrle précis s vleur e cs de covergece. e λ d e Soluio 3.9 Soi F l primiive de f défiie sur ], + [ pr : si λ = F = e λ d = e λ si λ λ Pour λ =, o lim F = + e l iégrle diverge. + Pour R λ >, o : F = e λ λ e λ e Rλ = λ e λ λ e λ e Rλ + +
5 Iégrles géérlisées e l iégrle diverge. Pour R λ <, o : e λ λ = erλ λ + e l iégrle coverge vers λ. Il rese à cosidérer le cs où R λ =, soi le cs où λ = iy vec y R λ = es déjà éudié. Ds ce cs l iégrle diverge puisque l focio ϕ : e iy ps de limie à π l ifii l suie ϕ = e iπ y = es divergee. Eercice 3. Soi f C R; R elle que. Eisece e clcul de. Clcul de Soluio 3.. E o F = fiis, o : f + f d. rc + rc d. lim f = l e lim + f = l. f d pour > e e uilis le héorème des ccroissemes f + f d = [F + F ] = F + F F = f c F où c ], + [. E fis edre vers +, o e dédui que : De mière logue, o vérifie que : f + f d = l F. f + f d = F l e : f + f d = l l.. Avec f = rc ± π, o dédui que : ± rc + rc d = π.
Les iégrles de Riem 5 3. Les iégrles de Riem Ue fmille impore d iégrles géérlisées es doée pr celle des iégrles de Riem. Théorème 3. Soie α u réel e f l focio défiie sur ], + [ pr : f : α.. L iégrle de f sur [, + [ es covergee si, e seuleme si, α > vec : α >, d = α α.. L iégrle de f sur ], ] es covergee si, e seuleme si, α < vec : Démosrio.. Pour > o : e e coséquece : d α = α <,. De même pour < < o : d = α e : α d = α α. α si α, l si α =. { d lim + = si α >, α α + si α. α α si α, l si α =. { d lim + = si α <, α α + si α. Remrque 3.4 O pourr oer l logie ere les iégrles de Riem sur [, + [ e les séries de Riem. Remrque 3.5 L iégrle d es divergee quel que soi le réel α. α O peu morer de mière logue ou e effecu le chgeme de vrible u = b [resp. u = ] que pour < b e α ds R l iégrle de f : b α [resp. f : α ] sur [, b[ es covergee si, e seuleme si, α < vec : α <, d b d b α = α = α b α.
5 Iégrles géérlisées Pr eemple, pour =, b = e α =, o : d =. 3.3 Opérios sur les iégrles géérlisées O se plce sur I = [, b[ e se doe deu focios f e g coiues pr morceu sur ce iervlle. Théorème 3.3 Si les iégrles de f e g sur I so covergees, il e es lors de même de l iégrle des focio f e f + λg pour ou ombre complee λ e o : f d = f d Si f d coverge e f + λg d = g d diverge, lors f d + λ g d. f + g d diverge. Démosrio. Résule immédieme des résuls relifs u opérios sur les limies. Pour ce qui es de l somme de deu iégrles divergees, o e peu rie dire priori comme le more l eemple des focios f =, f = e f =, f = sur ], ]. Pour ce qui es du produi des deu focios f e g d iégrles covergees, o e peu rie dire priori comme le more l eemple des focios f =, g = e f =, g = sur ], ]. Corollire 3. Si f es à vleurs complees, lors si, les iégrles o : R f d e f d = f d es covergee si, e seuleme I f d so covergees e e cs de covergece, R f d + i I f d. Démosrio. Résule de f = R f + ii f e de R f = f + f Eercice 3. Soie, b deu ombres réels. Éudier l ure de l iégrle e précis s vleur e cs de covergece., I f = f f. i e cos b d
Opérios sur les iégrles géérlisées 53 Soluio 3. Pour b =, l eercice 3.9 ous di que cee iégrle coverge si, e seuleme si <. Pour b, le chgeme de vrible = u π ous di que cee iégrle coverge si, e b seuleme l iégrle e π b e cos bu π du coverge, ce qui es ecore équivle à dire que l iégrle E o λ = + ib, o : π b e si b d coverge. e cos b = R e λ, e si b = I e λ e uilis le résul de l eercice 3.9, o dédui que l iégrle si, e seuleme si <. Pour < e b R, o lors : e cos b d = R e λ d = R = λ + b. e cos b d coverge L uilisio du héorème d iégrio pr pries ou du héorème de chgeme de vrible pour les iégrles défiies es prfois uile pour jusifier l covergece d ue iégrle. Théorème 3.4 Iégrio pr pries Si f, g so de clsse C sur I e si lim f g b eise, lors les iégrles de covergece, o : f g d e f g d = lim b f g f g f g d so de même ure e e cs f g d. Démosrio. Le héorème usuel d iégrio pr pries ous perme d écrire pour ou I : f g d = f g f g f g d e vec l hypohèse lim b f g = l, o dédui le résul océ. Ds l prique il es préférble de repredre l démosrio de ce héorème sur l iégrle éudiée e effecu ue iégrio pries sur [, ] puis e pss à l limie. Eercice 3. Morer que N. e d es covergee e clculer s vleur I pour ou Soluio 3. O I = e d =. e ue iégrio pr pries ous more que I + = + I, ce qui doe I =!. Eercice 3.3 Morer que l iégrle l d coverge e clculer s vleur. +
54 Iégrles géérlisées Soluio 3.3 Ue iégrio pr pries ous doe pour ], ] : [ ] l F = + d = l d + + + [ ] l = l + + l = l l + + + l. Eercice 3.4 Morer que l iégrle rc d coverge e clculer s vleur. rc Soluio 3.4 Avec lim =, o prologe pr coiuié e l focio à iégrer e le seul problème de covergece es à l ifii. Ue iégrio pr pries ous doe pour > : [ rc F = d = rc ] d + + 4 = rc + d + 4 l focio g : rc se prologe ussi pr coiuié e vec g = e l décomposiio e élémes simples de + = 4 + doe I = π les déils so lissés u leceur. Théorème 3.5 Chgeme de vrible Soie ϕ u C -difféomorphisme croiss de J = [α, β[ sur I = [, b[ e f ue pplicio coiue sur l iervlle I à vleurs réelles ou complees. Les iégrles covergece, o : β α f ϕ ϕ d e f d = β α f d so de même ure e e cs de f ϕ ϕ d. Démosrio. O désige respeciveme pr F e G, l primiive de f sur I ulle e e l primiive de f ϕ ϕ sur J ulle e α. Avec F ϕ = f ϕ ϕ = G e F ϕ α = F = = G α, o dédui que G = F ϕ. Dire que f d coverge équivu à dire que F ue limie fiie e b e vec lim ϕ = β b, o dédui que : ce qui sigifie que β α Réciproqueme si G = F ϕ = F ϕ f ϕ ϕ d coverge vers β α β f d. f d f ϕ ϕ d coverge, lors G ue limie fiie e β e vec lim b ϕ = β ϕ es u homéomorphisme, o dédui que : F = G ϕ = G ϕ b β α f ϕ ϕ d
Opérios sur les iégrles géérlisées 55 ce qui sigifie que f d coverge vers β α f ϕ ϕ d. Ds l prique, o effecue le chgeme de vrible sur l iégrle défiie o psse à l limie esuie. f d e Eercice 3.5 Morer que l iégrle d coverge e clculer s vleur. + Soluio 3.5 Le chgeme de vrible = u du doe I = e ue décomposi- + u3 io e élémes simples doe I = 4 9 3π. Eercice 3.6 Prouver l covergece e clculer l si d. Soluio 3.6 Pour >, o : si f = l si = l + l si si vec lim l = l =, doc l se prologe pr coiuié e + e comme l d es covergee eercice 3.6, o e dédui que covergee. Noos I l vleur de cee iégrle. Le chgeme de vrible u = π ous doe pour < < π : l si d es ce qui sigifie que O peu lors écrire que : = l si d = l cos d = I. I = si l d = Le chgeme de vrible u = ous di que l cos d l si d + l si d = I + l cos d l si d π l. l si d es covergee e : l si d De même, le chgeme de vrible u = π ous doe : π l si d = l cos d = I.
56 Iégrles géérlisées O doc e défiiive : I = e I = π l. l si d π l = I π l Eercice 3.7 Soi f : [, + [ R coiue elle que l iégrle Pour < < b e < < y o pose : f d coverge.. Morer que : O oe G =. Morer que lim H y =. y + 3. Morer que F, y = F, y = y f d e H y = G = 4. Morer que lim G = f l 5. Morer que : Soluio 3.7 b f f b d y f d y f d. y y f d f f d + f l. b f f b b d = f l. Les chgeme de vribles u = e v = b vec > e b > doe : F, y = = y. Avec l covergece de I = H y = f y d f u u du + y = y b f b y d = f u u du f d f d, o : f y d y b y y f d f u by u du f v v dv b y y f v v dv f v v dv f d = G H y I I =. y +
Opérios sur les iégrles géérlisées 57 3. O pour >, b > e > : G = f d = f f = = f f + f d d + f [l ] b f f d + f l 4. Comme f es coiue e, pour ou réel ε >, o peu rouver u réel η > el que : < < η f f < ε e pour < < η, o [, b] ], η[ de sore que : b b f f ce qui prouve que lim 5. Pre = e y >, o : F, y = d f f y b f f b d d ε d = e lim G = f l b = ε l b. f f b d = G H y G y + f f b ce qui prouve que l iégrle d coverge vers G. Puis pre y = e < <, o : f f b b F, y = d = G H f l H ce qui prouve que l iégrle Il e résule que vec : O doc bie : Pr eemple pour f = o e pre = e b = : ou ecore : f f b d coverge vers f l f f b d coverge vers : f l b + G H G H = F, =. f f b b d = f l. si qui es bie coiue e vec si si d = l si cos d = l, b H. si d covergee,
58 Iégrles géérlisées Eercice 3.8 Soi f : ], + [ R coiue elle que lim f = α e s ispir de l eercice précéde, morer que pour < < b o : f f b b d = α β l. Soluio 3.8 Pour < < y o pose : e o : F, y = F, y = Avec lim f = α, o dédui que : e vec lim f = β, o dédui que : + y f by d y f f b d b lim G = α l lim H y = β l y + f d = G H y b lim f = β. E + Fisos le pour l deuième limie : pour ou réel ε >, o peu rouver u réel M > el que : > M f β < ε e pour y > M, o [y, by] ]M, + [ de sore que : y y f β y d y f β by d d ε y = ε l b, ce qui prouve que lim y + y y f β d = e vec : y f β b H y = d + β l y b o e dédui que lim H y = β l. y + O coclu lors comme pour l eercice précéde. Pre f = rc, =, b =, o obie : rc rc d = π l. Eercice 3.9 O cosidère pour r, s R, l iégrle : s I r, s = l r d, où ], [.
Opérios sur les iégrles géérlisées 59 s. Clculer l limie lim r l suiv les vleurs de r e s. + s. Morer que l iégrle l r d si, e seuleme si, r > e s >. O oer I r, s cee iégrle géérlisée pour r > e s >. 3. Si r > e s >, morer que : I r, s = e r+ s d = 4. Morer que pour s >, I, s = si, s. 5. E déduire l vleur de I r, pour ou r > e N. Soluio 3.9. Le chgeme de vrible = ous doe : s l s lim r l = lim = + r s+ I, s. r + si r > e s R si r = e s < si r = s = + si r = e s > + si r < e s R. L iégrle s e l r e d d = r l s es ue iégrle de Berrd e o si qu elle coverge si, e seuleme si r < e s R ou r = e s >. Le chgeme de vrible = l ous more que l iégrle de même ure que l iégrle e d r l s es d, cee derière é de même ure que e r+ s d l iégrle de Riem, doc covergee uiqueme pour s <. s s E coclusio, l iégrle l r d coverge si, e seuleme si, r > e s >. 3. E effecu le chgeme de vrible = l, o, pour r > e s > : s + I r, s = l r d = e r+ s d e le chgeme de vrible u = r +, ous doe : I r, s = e u u s du r + s 4. Pour s >, ue iégrio pr pries doe : I, s = [ s e ] + + s r + = s+ I, s. r + s e d = si, s
6 Iégrles géérlisées 5. Avec I, = I, pour ou eier, o dédui pr récurrece que I, =!I, =!. Il e résule que : I r, = pour ou eier urel e ou réel r >. r + + I, =! r + + 3.4 Ue codiio écessire de covergece de f d O si qu ue codiio écessire de covergece d ue série umérique es que so erme géérl ede vers. Ds le cs des focios coiues, l covergece de f d implique ps écessireme que f soi ulle à l ifii comme le more l eemple de l eercice qui sui. Eercice 3. Soi f l focio f ffie pr morceu e coiue sur [, + [ elle que :, f + = e : Morer que, f = f + = f + + = f + =. f d es covergee e que f es ps ulle à l ifii. 4 3 3 4 Fig. 3. y = f
Ue codiio écessire de covergece de f d 6 Soluio 3. Pour ou réel, o, e o [] l prie eière de : F = f d []+ f d = [] k= =. k [] L focio F es doc croisse mjoré sur R + e e coséquece dme ue limie fiie e +, ce qui sigifie que l iégrle f d es covergee. Comme lim f + = +, l focio f ps de limie fiie e +. + Avec l eercice 3.3, o doe u ure eemple de elle siuio. Ds le cs où l focio f es uiforméme coiue sur R +, l codiio lim f = + es ue codiio écessire de covergece de l iégrle. Théorème 3.6 Soi f ue focio uiforméme coiue sur I = [, + [. Si l iégrle f d coverge, o lors lim f =. + Démosrio. Il suffi de cosidérer le cs d ue focio f à vleurs réelles. Dire que f e ed ps vers à l ifii sigifie qu o peu rouver u réel ε > el que :, f ε. Si o suppose de plus que f es uiforméme coiue sur I, il eise u réel η > el que :, y I e y η f f y ε. E priculier, o pour ou : [, + η] ε f f ε. Pour f > comme f ε, f es o ul, o : [, + η] f f ε ε > e pour f <, o : [, + η] f f + ε ε < soi f ε pour ou [, + η] vec f de sige cos sur [, + η] ds ous les cs e : +η +η f d = f d ηε de sore que F : diverge. f d e peu voir de limie fiie à l ifii e l iégrle f d
6 Iégrles géérlisées 3.5 Cs des focios à vleurs posiives. Iégrles bsolume covergees O se plce sur I = [, b[ vec < < b + e se doe ue focio f coiue pr morceu sur ce iervlle. O désige oujours pr F : ulle e. Théorème 3.7 Si f es à vleurs posiives e si Ds le cs où f es coiue sur I, l églié es ideiqueme ulle. f d coverge, lors f d l primiive de f f d. f d = es rélisée si, e seuleme si, f Démosrio. Se dédui de l défiiio, des propriéés des limies e du résul logue sur les iégrles de Riem des focios coiues. O rppelle que si F es ue focio croisse de I = [, b[ ds R, elle dme lors ue limie fiie e b si, e seuleme si, elle es mjorée. Ds le cs où elle es mjorée, o : lim F = sup F b [,b[ e ds le cs corire, o lim b F = +. Comme coséquece de ce résul, o le suiv. Théorème 3.8 Si f es à vleurs posiives, lors l iégrle de f sur [, b[ es covergee si, e seuleme si, l focio F es mjorée. Démosrio. Comme f es posiive, l primiive F es ue focio croisse e elle ue limie fiie e b si, e seuleme si, elle es mjorée. Si F es ps mjorée, o lors F = +. lim + Pour f à vleurs posiives : e cs de divergece o cs de covergece, o oer urelleme f d < +. f d = lim F = + e e + Le cs d ue focio f à vleurs posiives se rmèe à celui d ue focio posiive e éudi g = f. O dédui du résul précéde u héorème de compriso logue à celui obeu pour les séries umériques. Théorème 3.9 Soie f, g deu focios défiies, coiues pr morceu sur [, b[, à vleurs réelles posiives e elles que : [, b[, f g.. L covergece de l iégrle de g sur [, b[ erîe l covergece de l iégrle de f sur [, b[ vec : f d g d.
Cs des focios à vleurs posiives. Iégrles bsolume covergees 63. L divergece de l iégrle de f sur [, b[ erîe l divergece de l iégrle de g sur [, b[. Démosrio. E o F = f d e G = g d pour ou ds [, b[, o F G pour ou ds [, b[. Si l iégrle de g sur [, b[ es covergee l focio G es lors borée e il e es de même de l focio F de sore que l iégrle de f sur [, b[ es covergee. Si l iégrle de f sur [, b[ diverge lors lim F = + e lim G = + de sore que b b l iégrle de g sur [, b[ es ussi divergee. Eercice 3. Éudier l ure de l iégrle d. Soluio 3. Pour ], ], o : = k k = k= k= doc < e l iégrle diverge comme d. Eercice 3. Morer que l iégrle de f : e es covergee sur ], + [. Soluio 3. L focio é pire, il suffi d éudier l covergece e +. Pour ou o e : F = e d = e d + e d e d + e d e d +. L focio f é posiive, il e résule que F es croisse e mjorée, elle dme doc ue limie e +. O morer plus loi que : e d = π. Défiiio 3.3 O di que l iégrle de f sur [, b[ à vleurs réelles ou complees es bsolume covergee si f d < +. Comme pour les séries umérique, o dispose du résul suiv. Théorème 3. Soi f ue focio coiue pr morceu sur [, b[ vec < < b +. Si l iégrle de f sur [, b[ es bsolume covergee elle es lors covergee e o : f d f d.
64 Iégrles géérlisées Démosrio. O cosidère ou d bord le cs d ue focio f à vleurs réelles d iégrle bsolume covergee. De f f f, o dédui que g = f + f f, ce qui implique l covergece de g d e celle de f d puisque f = g f. Ds le cs d ue focio f à vleurs complees d iégrle géérlisée bsolume covergee, o écri que f = u + iv, où u = R f, v = I f e vec u f, v f, o dédui que les iégrles de u e v so bsolume covergees, doc covergees e l covergece de f d sui. Ce résul peu ussi se morer e uilis le crière de Cuchy pour les limies de focios à vleurs réelles ou complees. Tou d bord voyos comme le crière de Cuchy pour les focios ous fouri u crière de covergece des iégrles géérlisées. Théorème 3. Soie < < b + e f ue focio coiue pr morceu sur [, b[. L iégrle de f es covergee sur [, b[ si e seuleme si pour ou réel ε > il eise u réel c ], b[ el que : y c < < y < b f d < ε. Démosrio. Il s gi simpleme du crière de Cuchy pour l focio F qui ous ssure de l eisece de l limie e b. Le héorème 3. peu lors se morer comme sui. Pour ous < y ds [, b[ o : y y f d f d. De l covergece de f d o dédui que pour ou ε > o peu rouver u réel c ε y y ds [, b[ el que pour c ε < < y < b o i f d < ε ce qui erîe f d < ε. Le crière de Cuchy perme lors de coclure. Eercice 3.3 Morer que les iégrles coverge e clculer leur vleur. l + d e d ch l Soluio 3.3 Au voisige de l ifii, o f, doc l première iégrle 3 coverge coverge. Ue iégrio pr pries ous doe pour > : [ ] l F = + d = l d + + + [ ] l = + + [ = l + + l + d ]
Cs des focios à vleurs posiives. Iégrles bsolume covergees 65 e : lim F = l = + l. Au voisige de l ifii, o f, doc l deuième iégrle coverge. Le chgeme e de vrible u = e ous doe : I = du + u = π. Eercice 3.4 Morer que pour ou réel α > les iégrles so bsolume covergees. cos d e α si d α Soluio 3.4 Résule immédieme de l covergece des iégrles de Riem à l ifii pour α > e de :, cos α e si α α. α Eercice 3.5 Morer que pour ou réel α > les iégrles so covergees. Soluio 3.5 O rie le cs de si d. Ue iégrio pr pries doe, pour ou réel > : α si cos d = cos + α α α O coclu lors vec l bsolue covergece de o α + >. cos α α cos d. α+ cos d e vec : α+ + cos d e α si d α Eercice 3.6 Nure de si cos + d. Soluio 3.6 L focio f es coiue sur [, + [. U développeme limié ous doe pour : = f = si + cos si cos + cos + ε
66 Iégrles géérlisées vec lim ε =. Soi : + vec si cos covergee. si f = si + si cos + ε + ε pour ssez grd. Il e résule que f d es Eercice 3.7 Soi f ue focio coiue sur [, + [ elle que l focio F : f f d soi borée. Éudier l covergece de d. Soluio 3.7 O désige pr M es u mjor de F. Ue iégrio pr pries doe pour ou réel > : [ ] f F F d = + d vec : F M + e F M, ce qui erîe l covergece bsolue de F d e : f d = F d F. Défiiio 3.4 O di que l iégrle de f sur [, b[ es semi-covergee si elle es covergee e o bsolume covergee. Nous verros plus loi eercice 3.35 que pour < α l iégrle semi-covergee. si d es α Eercice 3.8 Morer que les iégrles géérlisées covergees e que : si d = si d. si d e si d so si Soluio 3.8 Comme lim =, il y ps de problème de covergece e e l eercice précéde ous di que d es covergee. si Avec si si, o dédui que d es covergee. Pour ous réel > ε >, ue iégrio pr pries fie e pos : { u =, u = v = si, v = cos
Cs des focios à vleurs posiives. Iégrles bsolume covergees 67 doe : ε ε si d = [ cos e e uilis l relio cos = si [ si si d = Le chgeme de vrible y = ous doe : [ si si d = ε si ε Efi vec lim si ε ε ε = e lim + si d = ] cos + d ε ε, o obie : ] ε ] si ε L eercice qui sui décri ue méhode de clcul de Eercice 3.9 + + ε ε si d. si y dy y, o dédui que : si d. si d.. Morer que si f es ue focio de clsse C de [, b] ds R, lors lim +.. Morer que l pplicio f défiie sur [ focio de clsse C sur, π ]. 3. Clculer, pour ou N, J = 4. O pose K = 5. Déduire de ce qui précède que Soluio 3.9 ], π ] pr f = si si + d. si si + d. Morer que si d = π. lim K = +. Ue iégrio pr pries ous doe pour ou : [ ] b cos I = f si d = f + f f si d = se prologe e ue si d. cos d e e pos M = sup f, M = sup f ces focios so coiues sur le [,b] [,b] segme [, b], o e dédui que : I M + b M. +
68 Iégrles géérlisées. U développeme limié u voisige de ous doe : f = si si = = 3 3! + o 4 3 3! + o 4 3! + o 3! + o ce qui perme de prologer f pr coiuié e e pos f =. O lors : f f 3! + o 3! + o 3! ce qui prouve que f es dérivble e de dérivée f = ] 6. Pr illeurs f es de clsse C sur, π ] vec : f cos = si = cos si si + o 3 3 3! + o 4 = 3 3! + o 4 + o 3 3! + o 3 = 3 3! + o 4 + o 3 3 + o 3 = 3 + o 3 = 6 + o 3 = 3 + o 3 6 + o + o 6 ce qui prouve que f es coiue e. [ E défiiive, f se prologe e ue focio de clsse C sur, π ]. 3. Avec : e : si + = si cos + cos si si + + si = si cos
Cs des focios à vleurs posiives. Iégrles bsolume covergees 69 o dédui que pour, o : e : J = si si cos d + = si si cos d cos d si J + J = cos d = J si soi J = J e pr récurrece J = J = π pour ou. si 4. O si déjà que d e uilis ue iégrio pr pries. Le chgeme de vrible = + ous doe : 5. E remrqu que : vec = K = + π K = si d si + d + si + f + = si d si d si + f d + J lim si + f d quesios. e. e J = π, o dédui que : + si d = lim K = π +. L eercice qui sui ous doe u eemple de focio elle que f d covergee voir le prgrphe 3.4. Eercice 3.3 O cosidère l focio f défiie sur [, + [ pr : où 3 es u eier. Morer que [, + [, f = e i f d es covergee vec lim f = +. + Soluio 3.3 Avec f =, o dédui que lim f = +. + O peu écrire que f = u v vec u = i ei e v =. Comme : u v = + lim f = + vec +
7 Iégrles géérlisées o 3, o dédui du héorème d iégrio pr pries que les iégrles e i d e Comme e i = u v d = i o e dédui lors que l iégrle e i u v d = d so de même ure. e i vec, l iégrle d es bsolume covergee e e i d es covergee. Du héorème 3.9, o dédui u premier résul sur l compriso d ue iégrle géérlisée à ue iégrle de Riem. Théorème 3. Soi f ue focio défiie e coiue pr morceu sur [, + [. S il eise u réel α > e u réel posiif λ els que pour ssez grd, o i f λ, lors l iégrle α géérlisée f d es covergee. Démosrio. Du héorème 3.9, o dédui qu il eise u réel c > el que es bsolume covergee, elle es doc covergee e ussi f d. c f d De même si f défiie sur ], b] vec b > es elle que f λ pour > voisi de α vec < α <, lors l iégrle géérlisée Priqueme, o peu uiliser les résuls suiv. f d es covergee. Théorème 3.3 Soi f ue focio défiie e coiue pr morceu sur [, + [. S il eise u réel α > els que lim + α f =, lors l iégrle géérlisée covergee. Démosrio. Si e l coclusio sui. Eemple 3. De géérlisée f d es bsolume lim + α f =, il eise u réel c > el que f pour c α lim + P e P e d es bsolume covergee. = pour ou polyôme P, o dédui que l iégrle Théorème 3.4 Soi f ue focio à vleurs réels défiie e coiue pr morceu sur [, + [. S il eise u réel α els que lim + α f = l >, lors l iégrle géérlisée f d es divergee. Démosrio. Si lim + α f = l >, il eise u réel c > el que f l pour α c e l coclusio sui.
Cs des focios à vleurs posiives. Iégrles bsolume covergees 7 De même si f défiie sur ], b] vec b > es elle que lim α f = vec α < [resp. lim α f = l > vec α ] lors l iégrle géérlisée f d es bsolume covergee [resp. divergee]. O rppelle qu o di que f es égligeble dev g [resp. domiée pr g] u voisige de b s il eise ue focio ε défiie sur u iervlle [α, b[ [, b[ elle que : lim ε = b [resp. ue focio ε défiie e borée u voisige de b] e : [α, b[, f = ε g, O oe lors f = o g [resp. f = O g]. b b Ds le cs où l focio g e s ule ps u voisige de b, u crière prique pour f morer que f = o g es doé pr lim b b g =. Le résul qui sui es logue à celui obeu pour les séries à ermes posiifs. Théorème 3.5 Soie f, g deu focios défiies, coiue pr morceu sur [, b[, à vleurs réelles posiives e elles que f = O g [resp. f = o g]. b b. Si l iégrle de g sur [, b[ es covergee, il e es lors de même de celle de f e : [resp. f d = O b g d f d = o g d b. Si l iégrle de f sur [, b[ es divergee, il e es lors de même de celle de g e : f d = O g d b [resp. f d = o g d ] b Démosrio. Si f = O g, o peu lors rouver u réel α [, b[ e u réel M > b els que : [α, b[, f M g.. Si l iégrle de g sur [, b[ es covergee, il e es lors de même de e de [α, b[ : ce qui sigifie que f d pour ou [α, b[, doc f d M ] M g d f d coverge. De plus, o pour ou f d = O g d. b g d
7 Iégrles géérlisées. Si l iégrle de f sur [, b[ es divergee, il e es lors de même de M g d pour ou [α, b[, doc [α, b[ : e comme lim b f d = α α f d + g d = +, o ur α α f d f d e de g d diverge. De plus, o pour ou α f d f d M + ce qui sigifie que f d = o g d. b Le cs où f = o g se rie de fço logue. b α f d + M α g d α g d g d pour voisi de b e : O rppelle qu o di que les focios f e g, défiies sur [, b[, so équivlees qud ed vers b s il eise ue focio ε défiie sur u iervlle [α, b[ [, b[ elle que : [α, b[, f = + ε g, lim ε =. b O oe lors f g. b O peu remrque que f g es équivle à dire que f g = o g. b b Ds le cs où l focio g e s ule ps u voisige de b, u crière prique d équivlece es doé pr lim f b g =. L uilisio de développemes limiés perme prfois d obeir des équivles. Théorème 3.6 Soie f, g deu focios défiies, coiue pr morceu sur [, b[, à vleurs réelles posiives e elles que f g. Les iégrles de f e g sur [, b[ so de même b ure, c es-à-dire que l iégrle de f sur [, b[ es covergee si, e seuleme si, l iégrle de g sur [, b[ es covergee. E cs de covergece, o : e e cs de divergece : f d f d b b g d g d Démosrio. Comme f g il eise ue focio ε défiie sur u iervlle [α, b[ b [, b[ elle que lim ε = e f = + ε g pour ou ds [α, b[. O peu lors b rouver u réel β ds [α, b[ el que : [β, b[, < ε <.
Cs des focios à vleurs posiives. Iégrles bsolume covergees 73 Il e résule lors, puisque f e g so à vleurs posiives, que : [β, b[, g < f < 3 g. O coclu, pour ce qui es de l ure des iégrles, vec le héorème 3.9. O peu ussi dire que si f g, o lors f = O g e g = O f, ce qui perme de b b b rerouver le fi que les iégrles so de même ure. De plus vec f g = o g, o dédui b que f g = o g e e cs de covergece des iégrles : b f g d = o g d b soi u voisige de b : vec lim ε =. Puis vec : b f g d = ε g d f g d f g d g d, ce qui équivu à o dédui que f g d = o b Le cs où les deu iégrles diverge se rie de mière logue. f d b g d. Remrque 3.6 Si f b g vec g de sige cos u voisige de b i. e. sriceme posiif ou sriceme égif, lors l focio f es égleme de sige cos u voisige de b, ce sige é celui de g. Eemple 3. Si f = P, où P e Q so des focios polyomiles o ulles, il eise u Q réel el que Q pour ou > e o : P Q + où p, q so les degrés e p, b q les coefficies domis de P e Q respeciveme. Il e résule que l focio f u sige cos sur [, + [ e q p +. Eercice 3.3 Éudier l ure des iégrles p b q q p si d, f d coverge si, e seuleme si, rc d e si si Soluio 3.3 O > pour ], ] e, doc l iégrle diverge. + O rc > pour e rc, doc l iégrle diverge. + U développeme limié ous doe : e cos = + o + o = + o + doc l iégrle coverge. e cos
74 Iégrles géérlisées Eercice 3.3 Jusifier l covergece puis clculer : I = d Soluio 3.3 O f = > pour ou réel e f + covergece de I. Le chgeme de vrible = u doe :, d où l I = = lim + u u + du lim + = lim + [ l u u + d = lim + ] = l u du +. O dédui du héorème précéde u crière supplémeire de compriso u iégrles de Riem. Théorème 3.7 Soi f ue focio défiie e coiue pr morceu sur [, + [. S il eise λ + u réel α e u réel o ul λ els que f, lors l iégrle géérlisée f d + α es covergee pour α > e divergee pour α. Démosrio. Supposos que λ >. O lors f > pour ssez grd, disos c >. Le héorème précéde ous di lors que c d, ce qui doe le résul océ. α De même si f défiie sur ], b] vec b > es elle que f géérlisée f d es covergee si, e seuleme si α <. c f d es de même ure que + A ire d pplicio o peu cosidérer le cs des iégrles de Berrd. λ, lors l iégrle α Eercice 3.33 Soi α e β deu réel e f l focio défiie sur ], + [ {} pr : f : α l β.. Morer que l iégrle de f sur [e, + [ es covergee si e seuleme si α > ou α = e β >. ]. Morer que l iégrle de f sur, ] es covergee si e seuleme si α < ou α = e e β >. Soluio 3.33 Pour α > o se doe ue réel γ ], α[ e o écri : f = γ α γ l β = γ g
Cs des focios à vleurs posiives. Iégrles bsolume covergees 75 vec lim g =.pour ou réel β. Doc pour ssez grd o ur f < e vec + γ d < + o dédui l covergece de l iégrle de f sur [e, + [. e γ Pour α > o se doe ue réel γ ]α, [ e o écri : f = γ γ α l β = γ h vec lim h = +.pour ou réel β. Doc pour ssez grd o ur f > + γ + d = + o dédui l divergece de l iégrle de f sur [e, + [. e γ Pour α = o fi le chgeme de vrible u = l e pour > e o : e vec e d l β = l e l iégrle de f sur [e, + [ coverge si e seuleme si β >. Efi le chgeme de vrible u = doe pour < < e : du u β ce qui rmèe u cs précéde. e d α l β = e du u α l u β L éude de l focio Γ d Euler es ussi u eemple ypique. Eercice 3.34 O s iéresse ici u domie de covergece de l iégrle où es u ombre réel. O rppelle que pour >, o = e l.. Morer que. Morer que e d es covergee pour ou R. e d es covergee si e seuleme si >. 3. E déduire le domie de défiiio de l focio : e d, Γ : e d 4. Soi > fié. O oe, pour ou réel >, f = e, g =. Morer que : lim f g = e lim + f g =. + 5. Morer, pr ue iégrio pr pries, que pour ou réel >, o : Γ = Γ +.
76 Iégrles géérlisées 6. Morer que Γ =, puis que Γ =! pour ou eier. Soluio 3.34 Soi f = e pour > e R fié. O f > pour ou >.. Avec lim + f = o dédui que < f < pour grd e e d coverge bsolume pour ou R.. Avec f > e f, o dédui que si >. 3. Le domie de défiiio de l focio Γ es doc R +,. 4. Comme >, o lim f g = lim e + + e d es covergee si e seuleme = e comme l epoeielle domie les puissces à l ifii, o lim f g = lim + + e =. 5. Ue iégrio pr pries, l covergece de Γ e l quesio précédee doe : 6. O Γ = Γ = Γ =! pr récurrece. lim u,v,+ = [ e ] v u + v u e d e d = Γ +. e d = e l relio de récurrece Γ + = Γ, doc 3.6 Compriso ere série e iégrle géérlisée Ds le chpire sur les séries umériques ous vos déjà moré u résul de compriso ere série e iégrle géérlisée, c es le héorème 6.4 qui peu ussi se rduire comme sui. Théorème 3.8 Si f : [, + [ R + es ue focio coiue décroisse, lors l série + f es de même ure que l iégrle géérlisée f d. L eemple de f : vec α > ous more que les séries de Riem e les α α d iégrles de Riem so de même ure. α Le résul qui sui peu êre uilisé pour morer l divergece d ue iégrle. Théorème 3.9 Soie < < b + e f ue focio coiue pr morceu sur [, b[. L iégrle de f sur [, b[ es covergee si, e seuleme si, pour oue suie N de pois de [, b[ qui coverge vers b, l série + f d es covergee. Démosrio. O oe oujours F : f d.
Compriso ere série e iégrle géérlisée 77 Dire que f d coverge équivu à dire que F ue limie fiie l e b, ce qui équivu ecore à dire que pour oue suie N de pois de [, b[ qui coverge vers b, l suie F N coverge vers l. O coclu lors e écriv que : F = Pour morer l divergece de f d = f d + k= k+ k f d. f d il suffi lors de rouver ue suie N de pois de [, b[ qui coverge vers b elle que l série + f d soi divergee. si O peu pr eemple morer isi l divergece de d pour < α. α Eercice 3.35 Morer que pour < α l iégrle si d es semi-covergee. α si Soluio 3.35 O si déjà que les iégrles d so covergees pour α > α eercice 3.5. Comme pour e < α, o si α si qui résule de α ou ecore α si, il ous suffi de morer que d es semi-covergee. Pour ce fire, o uilise l suie N défiie pr :, = π Pour, le chgeme de vrible = π + u ous doe : +π si π d = si u π + u du π si u du = + π π e e coséquece + +π = π si + π d = +, ce qui erîe l divergece de si Remrque 3.7 L iéglié si α si pour é ecore vlble pour α, o dédui que si α d diverge ussi pour α. Ds le cs d ue focio à vleurs réelles posiives, o le résul suiv qui perme prfois de jusifier l covergece d ue iégrle e uilis l série + f d où N es ue suie priculière de pois de [, b[ qui coverge vers b. Théorème 3. Soie < < b + e f ue focio coiue pr morceu sur [, b[ à vleurs réelles posiives. L iégrle de f sur [, b[ es covergee si, e seuleme si, il eise ue suie croisse N de pois de [, b[ qui coverge vers b, elle que l série + f d soi covergee. d.
78 Iégrles géérlisées Démosrio. Le héorème précéde ous di que si f d coverge lors + f d es covergee pour oue suie N de pois de [, b[ qui coverge vers b. Supposos qu il eise ue suie croisse N de pois de [, b[ qui coverge vers b, elle que l série + f d soi covergee vers u réel S. O oe F : f d e pour ou eier, o : S = k= k+ k f d = f d = F S du fi que f es à vleurs posiives ce qui erîe que l suie S e l focio F so croisses. Comme pour ou réel [, b[, o peu rouver u eier el que < b puisque lim = b, o e dédui que : + F F S e l focio F es croisse mjorée, doc covergee, ce qui revie à dire que coverge. f d Eercice 3.36 O se doe u réel α e u réel β >.. Pour quelles vleurs de α l iégrle + β si d es-elle covergee?. O suppose pour cee quesio que α =. Morer que l iégrle b Morer que l iégrle π π α d + β si d + β si 3. O suppose pour cee quesio que α >. Morer que l iégrle b Morer que l iégrle π π α + β si α + β si Soluio 3.36 Pour ou réel >, o oe f = focio es à vleurs posiives.. Avec f si, α >., o dédui que l iégrle α. O oe pour ou eier : u = +π π es divergee pour < β. es covergee pour β >. d es divergee pour β α. d es covergee pour β α >. α + β si e o oe que cee f d es covergee si, e seuleme d + β si.
Compriso ere série e iégrle géérlisée 79 Le chgeme de vrible = π + ous doe : e e compe de : u = d + π + β si [, π], { π + + π si o obie : u v = d + + π β = où o posé λ = + π β. Comme λ e : v = rc λ π λ + d + λ = rc λ π, λ +, o lim rc λ + π = π + π λ = γ + β de sore que v coverge si, e seuleme si, β >. E priculier v diverge pour < β e il e es de même de u. b O écri que u = v + w, vec : v = E e compe de : o obie : v r = d + π + β si, w = [, π ], d + π β = π où o posé µ = π π β. O lors : vec + = β π π + π si π r = rc π µ µ + d + π + β si. d + µ = rc π µ, µ π = δ µ β < + pour β >, ce qui erîe l covergece de r e de v. Pour ce qui es de w, le chgeme de vrible = π θ doe : w = dθ + π + π θ β si θ ce qui ous rmèe, à peu de chose près, à l siuio précédee e doc + w coverge. E défiiive u coverge pour α = e β >. =
8 Iégrles géérlisées 3. O oe pour ou eier : O : e e compe de : o obie pour α : u = u = +π π [, π], α + β si d. π + α + π + β si d. { π π + + π si u v = π α d = + + π β πα + λ d π α rc λ π λ, où o posé λ = + π β. O lors : v = π α rc λ π λ + π π α + π β + γ β α de sore que v coverge si, e seuleme si, β α >. E priculier v diverge pour α, β >, β α e il e es de même de u. Pour < α <, o π + α + π α + πα e ce qui précède es ecore vlble. b O écri que u = v + w, vec : v = E e compe de : o obie pour α : π + α + π + β si d, w = [, π ], + π α d + µ π π π + + si π v r = + π α où o posé µ = π π β. O lors : π + α + π + β si d. d + π β π π µ rc = + πα, µ r = + π α rc π µ µ + δ β α
Compriso ere série e iégrle géérlisée 8 vec + = < + pour β β α α >, ce qui erîe l covergece de r e de v. Pour < α <, o π + α π α e ce qui précède es ecore vlble. Pour ce qui es de w, le chgeme de vrible = π θ doe : w = π + π θ α + π + π θ β si θ dθ ce qui ous rmèe, à peu de chose près, à l siuio précédee e doc + w coverge. E défiiive u coverge pour β α >. α 4. E défiiive, + β si d es covergee pour α >, β > e β α >. Pour α e β >, elle es divergee. Pour α >, β >, β α, elle es divergee. Eercice 3.37. Morer que pour ou réel α >, les iégrles so bsolume covergees. cos l d e α. Pour ou réel α, o désige pr f α e g α les focios défiies sur [, + [ pr :, f α = cos l α e g α = si l α. = si l d α Clculer les dérivées des focios f α e g α sur [, + [. cos l si l b Clculer d e d pour ou réel >. α α c Morer que, pour ou réel α >, les focios f α e g α o ue limie fiie e + e l clculer. d Morer que, pour ou réel α, les focios f α e g α o ps de limie e +. e Clculer les iégrles cos l d e α f Morer que, pour ou réel α, les iégrles so divergees. si l d pour α >. α si l d e α cos l d α 3. Soi f ue focio de clsse C sur l iervlle [, + [ à vleurs réelles ou complees. O dir que l focio f vérifie l hypohèse H si l iégrle f d es bsolume covergee. O se doe ue focio f qui vérifie l hypohèse H e o ssocie à cee focio l suie u défiie pr :, u = + + f d Morer que l série u es bsolume covergee.
8 Iégrles géérlisées 4. b Morer que pour ou eier e ou réel ], + ], o : c E déduire que : f d =, u = + f d f. f d f. d Morer que les séries f e + f d so de même ure. e Morer que si l iégrle f. f d coverge, il e es lors de même de l série f Morer que si l série f coverge, il e es lors de même de l iégrle f d. E défiiive l série f es de même ure que l iégrle Morer que, pour ou réel α >, l focio f α vérifie l hypohèse H. cos l b Éudier l série pour ou réel α >. α 5. Éudier l série cos. Soluio 3.37. Résule de ϕ l α où ϕ {cos, si} vec α >. α. O, pour ou réel α : e : f α = d α cos l si l = + α d α = g α + α f α f d. cos l α g α = d α si l = d = f α + α g α cos l α + α si l α b Il e résule que : α f α + g α = + α f α e : α g α f α = + α g α
Compriso ere série e iégrle géérlisée 83 O obie lors pr iégrio : + α f α d = soi : e : cos l α d = + α g α d = α f α + g α d = α f α f α + g α g α = α f α + g α si l + α cos l + α + α α α g α f α d = α g α g α f α f α = α g α + f α soi : si l α d = + α + α si l cos l α c Avec f α e g α α, o dédui que lim α pour α >. f α = + lim g α = + d L suie f e π = é divergee vec lim + eπ = +, o e dédui que f ps de limie à l ifii. De même, pour α <, l divergece de l suie f α e π = e απ ous di que f α ps de limie à l ifii. Pour g α, o uilise le même rgume vec les suies e π +π π e +π pour α <. e Pour α >, e : cos l d e α f Pour α, l focio ϕ α = cos l α d = si l α d = si l + α cos l α pour α = e si l d so bsolume covergees α α + α = α α α + + α = α α + = g α + α f α ps de limie à l ifii puisque l suie ϕ e π +π = e α π +π cos l es divergee, doc l iégrle d es divergee. O vérifie de mière logue que α + si l d es divergee. α
84 Iégrles géérlisées 3. Pour, o : vec : k+ u + k= k + f d f d = + f d + + f d f d < +. Il e résule que l série + f d es covergee e l série u es bsolume covergee. b Pour e ], + ], ue iégrio pr pries doe : = c Il suffi de predre = +. d Avec : f = f d = [ f ] + f d + f d f f d u e l covergece de u, o dédui que les séries f e + f d so de même ure. e Si l iégrle E effe, e pos F = f d coverge, il e es lors de même de l série + f d. S = f d, cel se dédui de : k= k k+ f d = F +. Il e résule que f coverge. f Supposos que f coverge. Pour > e = [], o < + e : vec : F = = S + f d = F + f d f d + f f d f d + f d +
Compriso ere série e iégrle géérlisée 85 + erîe = [] + puisque coverge elles so de même ure e : f d e + f d 4. puisque f coverge. f f + L covergece de f ous ssure celle de + f d, doc celle de l suie S e o S l limie de cee suie, o dédui de ce qui précède que lim F = S, ce qui sigifie que f d coverge. + O vu que pour ou réel α, l focio f α es de clsse C sur [, + [ vec : f α = g α+ αf α+ e pour α >, l covergece bsolue des iégrles erîe celle de b Pour α >, les séries les iégrles f α d. cos l α si l d e α e si l α f α+ d e g α+ d so de même ure que cos l d, c es-à-dire divergees pour < α e covergees pour α > e fi pour α >, o vérifie direceme que ces séries so bsolume covergees. 5. O désige pr f l focio défiie sur [, + [ pr :, f = cos O : d où l covergece bsolue de, f = si cos 3 f d. L hypohèse H es doc vérifiée pour f e l série cos es de même ure que + cos l iégrle d. Pour >, le chgeme de vrible = u ous doe : cos cos u + cos u F = d = du du u + u o si que l iégrle α. 3 + cos u du es semi-covergee, ce qui sigifie que l iégrle u f d coverge. Il e résule que cos es covergee.
86 Iégrles géérlisées 3.7 U héorème d Abel Le héorème de Cuchy pour les iégrles géérlisées héorème 3. e l deuième formule de l moyee pour les iégrles défiies héorème. e l remrque qui sui ce héorème ous permee de morer les résuls suivs. Théorème 3. Abel Soie f, g des focios coiues pr morceu sur [, b[ elles que :. f es décroisse à vleurs posiives sur [, b[ ;. l iégrle g d es covergee. Ds ces codiio, l iégrle f g d es covergee. Démosrio. L secode formule de l moyee ous perme d écrire pour u < v ds [, b[ : v u f g d = f u w u g d où w [u, v]. Comme f es décroisse posiive, o e dédui que : v w f g d f g d e comme que : ce qui erîe : u g d es covergee, pour ou réel ε >, o peu rouver u réel c [, b[ el c < u < w < b v pour c < u < v < b e l covergece de u w u u f g d ε g d ε f g d d près le héorème de Cuchy. Théorème 3. Abel Soie f, g des focios coiues pr morceu sur [, b[ elles que :. f es décroisse à vleurs posiives sur [, b[ vec lim f = ; b. il eise u réel M > el que : [, b[, g d M Ds ces codiio, l iégrle f g d es covergee.
U héorème d Abel 87 Démosrio. L secode formule de l moyee ous perme d écrire pour u < v ds [, b[ : v u f g d = f u w u g d où w [u, v]. Comme f es posiive e lim b f =, pour ou réel ε >, o peu rouver u réel c [, b[ el que : c < u < b f u ε ce qui erîe pour c < u < v < b : v w f g d ε g d u vec : w w u g d = g d g d M. u v O doc f g d Mε pour c < u < v < b e l covergece de f g d u s e dédui du héorème de Cuchy. Remrque 3.8 E repre les oios de l démosrio du héorème d Abel qui précède, o pour ou [, b[ : v w f g d = f g d Mf e fis edre v vers b, o e dédui que : [, b[, f g d Mf Eercice 3.38 Morer que si f : R + R es ue focio coiue pr morceu, décroisse e elle que lim f =, lors pour ou réel λ o ul, l iégrle f e iλ d es + + covergee. Soluio 3.38 Pour ou réel >, o : e iλ d = e iλ λ λ L focio f é décroisse sur R +, o dédui du héorème d Abel que l iégrle es covergee pour ou réel α > e ou réel λ. Eercice 3.39 Le bu de l eercice es de déermier l ure de l iégrle e iλ d sui- α v les vleurs des ombres réels α e λ.. Trier le cs λ =. O suppose, ds les quesios suives, que λ. e iλ. Morer que, si α >, lors d es bsolume covergee. α u f e iλ d
88 Iégrles géérlisées 3. Morer que, si < α, lors 4. Morer que, si α, lors e iλ e iλ d es semi-covergee. α α d es divergee. 5. Morer que, si < α, lors les iégrles semi-covergees. 6. Morer que si d es divergee. cos λ d e α 7. Morer que les deu focios f e g défiies sur [, + [ pr f = si λ d so α si e g = si + si so équivlees u voisige de +. À quelle propriéé, cee quesio fouri-elle u core-eemple? Soluio 3.39. Pour λ =, l iégrle lors :. Pour ou réel, o e iλ α =, doc α α >. 3. Pour ou réel >, o : L focio α d Abel que l iégrle Pour < α, o d es covergee pour ou réel α > e ou réel λ. α e iλ α d = d = +, doc l iégrle es semi- α covergee ds ce cs. d coverge si, e seuleme si, α >. Pour α >, o α d = α α. e iλ d = e iλ e iλ λ λ e iλ d es bsolume covergee pour α é décroisse sur [, + [ pour α >, o dédui du héorème e iλ 4. Pr cojugiso complee, o voi que e iλ α iégrles d l es. Il e résule que cos λ d e α Pour morer l divergece de de λ >. + e iλ d es covergee si, e seuleme si, α e iλ d es covergee si, e seuleme si, les α si λ d le so. α + e iλ d pour α, il suffi doc de morer celle α cos λ d. Te compe de l prié de l focio cos, o peu supposer que α
U héorème d Abel 89 Soi doc α = β u réel égif ou ul, λ u réel sriceme posiif e F l focio défiie sur [, + [ pr : F = cos λ α d = β cos λ d E désig pr l suie défiie pr = π λ, o : F + π F = λ + π λ e le chgeme de vrible = + u, ous doe : F β cos λ d + π λ F = + u β cos λ + u du λ = λ + u β cos λu du Mis pour u π λ, o λu π λ e cos λu, de sore que : F + π F β λ cos λu du = β λ λ e F e peu voir de limie fiie e +, ce qui sigifie que 5. O si déjà que les iégrles cos λ d e α + + ou réel α > e ou réel λ. Pr prié, o peu supposer que λ >. O oe F l focio défiie sur [, + [ pr : F = cos λ d α e es l suie défiie pr = π. Pour α >, o : λ F + π λ cos λ + u F = λ + u α du = λ α + π λ cos λ d. diverge. α si λ d so covergees pour α λ cos λu du = cos λu + u α du λ π λ + π λ α Pour < α, o + = π + π α = + e doc : λ + = F + π F = + λ
9 Iégrles géérlisées Avec : k= F k + π F k = λ + π λ k= k + π λ k cos λ d = F α o dédui que lim F + π = + e l iégrle + λ pour < α. cos λ O procède de mière logue pour d. α 6. Pour ou réel, o : si = cos. cos Comme d es covergee e es divergee. 7. Avec : g = cos λ d α + π λ cos λ d es divergee α d es divergee, o e dédui que si si + si d e lim + si g d divergee. =, o dédui que f + g. E o ici f d covergee e Eercice 3.4 Soie e α deu ombres réels sriceme posiifs e f ue focio coiue, α-périodique. Posos Iλ = d lorsqu elle eise. Le bu de l eercice es de + λ f morer qu il eise u uique λ el que I λ es ue iégrle covergee.. Morer qu il eise, u plus, u λ el que I λ coverge. λ f. À l ide d ue iégrio pr pries, eprimer d e focio de G λ = λ f d. 3. Morer que, si G λ es boré, lors I λ es covergee. 4. Pour ou ombre eier, clculer G λ α + e focio de vleur de λ pour lquelle G λ es borée. α f d. E déduire l 5. Rerouver, à l ide d ue rsformio d Abel, que, si G λ es boré, lors I λ es covergee. Soluio 3.4 Lissée u leceur.
Eercices supplémeires 9 3.8 Eercices supplémeires Eercice 3.4 Soi u réel sriceme posiif.. Jusifier l covergece de. Eprimer de vrible =. 3. E déduire l vleur de Soluio 3.4. Au voisige de, o il e résule que Avec lim + 3 l + d. l d e focio de + l + l d coverge. + l + d. l l + l d coverge. +. Le chgeme de vrible = doe : = l d o peu uiliser le chgeme + <, l iégrle l d é covergee, = e l posiivié de l focio pour >, o dédui que l + d = l l + 4 l l d = l d + + = l d + = l l + d = π d + l d l + d l + d l + d 3. O : l + d = l + d + l + d = π l.
9 Iégrles géérlisées