Grard Lavau - http://perso.wanadoo.fr/lavau/homepage.htm Vous avez toute libert pour tlcharger, imprimer, photocopier ce cours et le diffuser gratuitement.

Toute diffusion titre onreux ou utilisation commerciale est interdite sans accord de l'auteur.

FONCTIONS D'UNE VARIABLE REELLE

Plan I : Drivation 1) Dfinition 2) Composition 3) Fonctions de classe Cn 4) Ingalit des accroissements finis II : Intgration 1) Intgrale d'une fonction en escalier 2) Intgrale d'une fonction continue par morceaux 3) Primitives 4) Formules de Taylor III : Intgration sur un intervalle quelconque 1) Dfinition 2) Fonctions de rfrences 3) Critre d'intgrabilit 4) Cas des fonctions de signe quelconque 5) Convergence en moyenne, en moyenne quadratique IV : Intgrales dpendant d'un paramtre 1) Sur un segment 2) Sur un intervalle quelconque

Ce chapitre a pour but de gnraliser les procds de drivation et d'intgration aux fonctions de dans F, F tant un espace vectoriel de dimension finie sur ou . Cette gnralisation ne prsente pas de difficults particulire et est applique couramment en physique, o l'on considre des grandeurs vectorielles (vitesse, acclration) fonctions du temps.

I : Drivation 1- Dfinition 1 F. f est drivable en x0 si lim [f(x0 + h) f(x0)] existe. Cette limite s'appelle h0 h drive de f en x0. Si f est drivable en tout point de I, et de drive continue, on dit que f est C1 et df on note l'application drive f ', ou Df, . dx Si f dsigne la position d'un point mobile en fonction du temps t, f '(t) n'est autre que la vitesse vectorielle de ce point. C'est galement un vecteur directeur de la tangente l'arc paramtr dcrit par le point, condition que la drive soit non nul (point rgulier). Soit f : I

EXEMPLE :

-1-

Si F =

f1(x) f1(x0+h) f1(x0) f ( x ) 2 1 1 f2(x0+h) f2(x0) n et f(x) = ... alors [f(x0 + h) f(x0)] = et la limite existe si et ... h h fn(x) fn(x0+h) fn(x0)

seulement si elle existe pour chaque composante, autrement dit si et seulement si chaque composante 1' f f2' est drivable. On a alors f ' = ... fn' Plus gnralement, si F est muni d'une base (e1, ..., en) et si f(x) = f1(x) e1 + ... + fn(x) en, alors f est drivable si et seulement si chaque fi l'est et f ' = f1' e1 + ... + fn' en. Un cas particulier est F = , avec f = Re(f) + i Im(f). f est drivable si et seulement si Re(f) et Im(f) le sont, et f ' = (Re(f))' + i (Im(f))'. Il en rsulte que, si f est drivable, f aussi, et que : D( f) = D(Re(f) i Im(f)) = D(Re(f)) i D(Im(f)) = D(f)

2- Composition u Soit G espace vectoriel de dimension finie, u : F G une application linaire, et f : F une application drivable. Alors u o f, que nous noterons galement u(f), est drivable et D(u o f)) = u o D(f).

Dmonstration 1 : f(x0+h) = f(x0) + hD(f)(x0) + o(h) u(f(x0+h)) = u(f(x0) + hD(f)(x0) + o(h)) = u(f(x0)) + h u(D(f)(x0)) + u(o(h)) avec u(o(h)) = u(ho(1)) = hu(o(1)) = ho(1) = o(h) car u tant linaire et continue et si o(1) tend vers 0 quand h tend vers 0, il en est de mme de u(o(1)). Il en rsulte que u(f) est drivable et que sa drive vaut u(D(f)). Dmonstration 2 : On se place dans le cadre des applications de plusieurs variables diffrentiables. u et f sont diffrentiables. La diffrentielle du de u en tout point est u elle-mme car u est linaire. La diffrentielle df de f en x0 est l'application h hD(f)(x0). Il en rsulte que u o f est diffrentiable et que sa diffrentielle vaut du o df = u o df. Il s'agit de l'application linaire qui, h, associe u(hD(f)(x0)) = hu(D(f)(x0)). u(D(f)(x0)) est donc la drive de u o f en x0. Dmonstration 3 : On prend une base (e1, ..., en) de F et (1, ..., p) de G. La matrice de u ayant pour terme gnral aij et f1 g1 ... f ayant pour composantes ... , u o f a pour composantes avec : fn gp gi = aij fj
j=1 n

g1' ... La drive de u o f a pour composantes avec : gp' -2-

gi' = aij fj'

j=1

o l'on reconnait u o f '. u Soient f et g deux fonctions drivables de dans F et G respectivement, et B une application bilinaire de F G dans un espace vectoriel H. On peut alors considrer l'application de dans H, qui x associe B(f(x),g(x)), application que nous noterons B(f,g). Alors B(f,g) est drivable et sa drive vaut B(f ',g) + B(f,g').

Dmonstration 1 : f(x0+h) = f(x0) + hf '(x0) + o(h) g(x0+h) = g(x0) + hg'(x0) + o(h) B(f(x0+h),g(x0+h)) = B(f(x0) + hf '(x0) + o(h),g(x0) + hg'(x0) + o(h)) = B(f(x0),g(x0)) + hB(f '(x0),g(x0)) + hB(f(x0),g'(x0)) + ... Les points de suspension renferment tous les autres termes, dont on vrifiera qu'ils sont tous de la forme o(h). Dmonstration 2 : On se place dans le cadre des applications de plusieurs variables diffrentiables. B, f et g sont diffrentiables. Quelle est la diffrentielle de B ? Pour x et h lments de F, et y et k lments de G, on a : B(x+h,y+k) = B(x,y) + B(h,y) + B(x,k) + B(h,k) K || h || || k || = o(||(h,k)||) La diffrentielle de B en (x,y) est l'application linaire dB, qui, (h,k) associe B(h,y) + B(x,k). Il en rsulte que B(f,g), que l'on peut voir comme une fonction compose du couple (f,g) et de B, est diffrentiable et que sa diffrentielle vaut dB o (df,dg), la diffrentielle de f et g tant calcule en x0 et celle de dB en (f(x0),g(x0)). Il s'agit de l'application qui h associe : dB(hf '(x0),hg'(x0)) = B(hf '(x0),g(x0)) + B(f(x0),hg'(x0)) = h[ B(f '(x0),g(x0)) + B(f(x0),g'(x0))] Dmonstration 3 : On prend une base (e1, ..., en) de F, (1, ..., p) de G et (1, ..., m) de H. B(ei, j) est un vecteur de H f1 ... ayant pour composante sur k le scalaire bijk. Si f a pour composantes , et g a pour composantes fn p g1 n n p ... , alors B(f,g) = B( f e , g ) = i i j j fi gj B(ei,j). Sa composante sur k est : i=1 i=1 j=1 j=1 gp

fi gj bijk
i=1 j=1

dont la drive vaut fi' gj bijk + fi gj' bijk et l'on reconnat la composante de B(f ',g) + B(f,g')
i=1 j=1 i=1 j=1

. -3-

Les exemples les plus classiques sont le produit scalaire et le produit vectoriel. On a donc : D(<f,g>) = <D(f),g> + <f,D(g)> D( || f ||2 ) = <D(f),f> + <f,D(f)> = 2 <D(f),f> pour un produit scalaire (sur ) En particulier, si f est une fonction qui, x, associe un vecteur unitaire, on a <D(f),f> = 0 sur


En dimension 3, dans un espace vectoriel euclidien orient, on a : D(f g) = D(f) g + f D(g) On peut tendre le rsultat prcdent aux formes multilinaires. La drive d'un dterminant est : D(det(f1, ..., fn)) = det(D(f1), f2, ..., fn) + det(f1,D(f2), ..., fn) + ... + det(f1, f2, ..., D(fn)) 3- Fonctions de classe Cn f est de classe Cn si f est n fois continment drivable. Si on note Cn(I,F) l'ensemble des fonctions de classe Cn de I dans F. Il est facile de montrer qu'il s'agit d'un espace vectoriel. Si F = , on peut galement considrer le produit des fonctions. On note alors Cn(I) l'espace des fonctions de classe Cn de I dans . Il s'agit d'une algbre. On dispose en effet de la formule de Leibniz : FORMULE DE LEIBNIZ Soit u et v deux fonctions n fois drivables. Alors uv est n fois drivable et :
   

(uv)(n) = o l'on convient que u(0) = u.

n p=0

Cn u(p).v(np)

La dmonstration de fait par rcurrence sur n et montre que le produit de deux fonctions de classe Cn est de classe Cn. Si le dnominateur ne s'annule pas, on montre galement que le quotient de deux fonctions de classe Cn est de classe Cn. En ce qui concerne la compose des fonctions, on peut considrer f o avec de classe Ck d'un intervalle J dans I, et f de classe Ck de I dans F. Il n'existe pas non plus de formule gnrale donnant la drive nme d'une compose de fonctions, mais on peut montrer par rcurrence que cette drive existe. On a : (f o )' = '.(f ' o ). (La dmonstration est identique celle donnant la drive de la compose de deux fonctions valeurs relles). f Cn(I) et Cn(J) Cn1(J), ' Cn1(J), f ' Cn1(I) f ' o Cn1(J), ' Cn1(J) en appliquant l'hypothse de rcurrence au rang n1 (f ' o ). ' Cn1(J) en appliquant le rsultat sur le produit. f o Cn(J) Si est bijective, de J dans I, de classe Cn et si sa drive ne s'annule pas, alors 1 est aussi de 1 permet de voir que, classe Cn. On dit que est un Cn - diffomorphisme. En effet, (1)' = ' o 1 -4-

si est de classe Cn, et si ' ne s'annule pas, alors 1 est de classe Cn. Cela se montre galement par rcurrence : Cn(J) ' Cn(J), 1 Cn1(J) en appliquant l'hypothse de rcurrence ' o 1 Cn1(J) en appliquant le rsultat sur la compose de fonction 1 n1 (J) en appliquant le rsultat sur le quotient 1 C ' o

1 Cn(J).

On dit qu'une fonction f de [a,b] dans F est Cn par morceaux s'il existe une subdivision a = a0 < a1 < ... < an = b telle que la restriction de f chaque ]ai, ai+1[ se prolonge en une fonction de classe Cn sur [ai, ai+1]. Autrement dit, la fonction ainsi que ses n premires drives admettent une limite droite de chaque ai et gauche de chaque ai+1. On dit qu'une fonction f de I, intervalle quelconque et plus ncessairement un segment, dans F, est Cn par morceaux si f est Cn sur chaque segment inclus dans I. Par exemple, la valeur absolue est continue (ou C0 sur ) et C1 par morceaux. Plus gnralement, la fonction valant sg(x) xn o sg dsigne la fonction signe, est Cn1, et Cn par morceaux. Pour n = 1, il s'agit en effet de la valeur absolue. Pour n quelconque, sa drive vaut n sg(x) xn1 et une simple rcurrence permet de conclure.
 

4- Ingalit des accroissements finis On dispose des proprits suivantes : u Le thorme de Rolle et l'galit des accroissements finis sont FAUX. Considrons par exemple : f : [0,1] U exp(2i) On a f '() = 2i exp(2i) qui n'est jamais nul. Cependant f(0) = f(1). u L'ingalit des accroissements finis est cependant valide : si f est continue sur [a,b], de classe C1 sur ]a,b[ et telle que || f ' || k, alors || f(b) f(a) || k(b a). Dmonstration 1 : Pour tout c de ]a,b[, la limite de 1 [f(c+h) f(c)] est infrieure ou gale k, donc, pour tout > 0, h

il existe tel que, pour h < , on a : 1 [f(c+h) f(c)] k + h Donc, pour de tels h positifs, || f(c+h) f(c) || h(k + ) (*) Considrons l'ensemble des x tels que : || f(x) f(a) || (k + )(x a) + Cette relation est vraie pour x = a. Soit c la borne suprieure des x vrifiant cette relation. c tant la limite de tels x et les fonctions considres tant continues, on a galement : || f(c) f(a) || (k + )(c a) + (Autrement dit, l'ensemble des x vrifiant || f(x) f(a) || (k + )(x a) + est un ferm et sa borne suprieure est un maximum). -5-

On a c > a car, par continuit, || f(x) f(a) || (k + )(x a) qui tend vers 0 quand x tend vers a est bien infrieure pour x dans un certain voisinage de a. Supposons que c < b. On peut alors utiliser la relation (*) et prouver que : || f(c+h) f(a) || || f(c+h) f(c) || + || f(c) f(a) || h(k + ) + (k + )(c a) + (k + )(c + h a) + Autrement dit, c + h vrifie aussi l'ingalit, contredisant le fait que c est la borne suprieure de l'ensemble. Donc c = b, et : || f(b) f(a) || (k + )(b a) + Cette ingalit tant vraie pour tout > 0, on peut passer la limite et faire tendre vers 0. On a alors : || f(b) f(a) || k(b a) Dmonstration 2 : Elle utilise les proprits de l'intgrale vues plus loin, et que nous pouvons admettre provisoirement : b f(b) f(a) = f '(t) dt a || f(b) f(a) || = f '(t) dt || f '(t) || dt k dt = k(b a) a a a
b b b

L'ingalit des accroissements finis est galement valable pour des fonctions C1 par morceaux. Si une subdivision a = a0 < a1 < ... < an = b est adapte f, on aura en effet, pour tout i : || f(ai+1) f(ai) || k(ai+1 ai) Et il suffit de sommer toutes ces ingalits pour obtenir :
n1

|| f(b) f(a) || =

f(ai+1) f(ai) || f(ai+1) f(ai) ||

i=0 i=0

n1

k (ai+1 ai) = k(b a)

i=0

n1

u Soit f C1 par morceaux sur I. f est constante si et seulement si f ' = 0. Il suffit d'utiliser l'ingalit des accroissements finis pour conclure. u Si f est continue sur [a,b], C1 sur ]a,b], et si f ' admet une limite l finie en a, alors f est C1 sur [a,b]. En outre, f '(a) = l, ce qui assure galement la continuit de f '. Considrons pour cela le 1 1 vecteur (f(x) f(y)) l = (f(x) f(y) (xy)l). La fonction x f(x) xl est drivable de xy xy drive f '(x) l. Pour tout > 0, il existe un voisinage de a dans lequel cette drive est majore en norme par et l'ingalit des accroissements finis donne alors, dans ce voisinage : 1 (f(x) f(y)) l xy Faisons tendre y vers a. On a alors : -6<

1 (f(x) f(a)) l xa

Ainsi, pour tout > 0, il existe un voisinage de a dans lequel l'ingalit prcdente est vrifie. Mais 1 (f(x) f(a)) = l et donc que f '(a) = l. cela exprime exactement le fait que lim x xa a Ce rsultat s'tend de proche en proche au cas suivant : si f est continue sur [a,b], si f est Cn sur ]a,b] et si chaque drive de f admet une limite finie en a, alors f est Cn sur [a,b]. II : Intgration 1- Intgrale d'une fonction en escalier Soit une fonction en escalier de I = [a,b] dans F. Il existe une subdivision a = a0 < a1 < ... < an = b telle que soit constante, gale (mi) sur ]ai, ai+1[, o mi est le milieu de cet intervalle. On pose alors : (t) dt = (ai+1 ai) (mi) a i=0
n1 b

(t) ou (mi) sont des vecteurs de F. Si F est muni d'une base (e1, ..., ep) alors, on peut dcomposer ces vecteurs selon cette base. Posons : (t) = k(t) ek
k=1 p

et (mi) = k(mi) ek
k=1

On a alors la dcomposition de l'intgrale sur la base (e1, ..., ep) : (t) dt = (ai+1 ai) (mi) a i=0
n1 b

= [(ai+1 ai) k(mi) ek ]

i=0 k=1

n1

p n1 = (ai+1 ai) k(mi) ek k=1 i=0 Or (ai+1 ai) k(mi) n'est autre que l'intgrale de la fonction valeurs relles k. Donc :
i=0 b b p p (t) dt = k(t) ek dt = k(t) dt ek k=1 a k=1 a a Si u est une application linaire de F dans G, alors u o est une fonction en escalier, avec la mme subdivision et l'on a : b n1 n1 u (t) dt = u (ai+1 ai) i = (ai+1 ai) u(i) i=0 i=0 a b n1

-7-

 = u((t)) dt a = u o . Cela gnralise la proprit a ou de faon plus concise : u I = I a pour les I I fonctions valeurs relles. EXEMPLE 1 : Considrer F = est linaire. On a alors : = I I
 

, vu comme espace vectoriel sur



et u :


la conjugaison. u

ce qui se montre galement en dcomposant sur la base (1,i). = Re() + i Im() = Re() + i Im() = Re() + i Im() I I I I = Re() i Im() = Re() i Im() = I I I I I EXEMPLE 2 : Si on prend u = ek* lment de la base duale de (e1, e2, ..., ep), on retrouve le fait que b b me la k composante de (t) dt est k(t) dt a a EXEMPLE 3 : Si on prend u(z) = az avec a lment de
 

, on retrouve la linarit de l'intgrale.

On a galement : += + I I I comme on le vrifie en prenant une subdivision commune et . et enfin : I I

n1

(ai+1 ai) i (ai+1 ai) || i ||

i=0 i=0

n1

|| ||
I
 

o || || dsigne ici la fonction de

dans

qui, x associe || (x) ||.

Nous aurons galement besoin du lemme suivant : LEMME Soit f continue par morceaux sur [a,b] valeurs dans un espace vectoriel de dimension finie F de norme || ||. Alors, pour tout positif, il existe en escalier de [a,b] dans F telle que : x [a,b], || f(x) (x) || <

-8-

Raisonnons sur chaque intervalle o f est continue. Etant continue, sur un compact, f est uniformment continue (thorme de Heine). On a donc, pour tout > 0, l'existence d'un tel que : x [a,b], y [a,b], x y < || f(x) f(y) || < On divise alors l'intervalle en plusieurs intervalles de longueur infrieure . On choisit un point y de chacun de ces intervalles, et on y pose constante gale f(y). rpond la question. 1 Si on prend = , on dfinit ainsi une suite ((n)) de fonctions en escalier telles que : n 1 x, || f(x) (n)(x) || < n On dit que cette suite converge uniformment vers f. Pour allger les notations, nous noterons N(f) = Sup { || f(x) ||, x [a,b] } de sorte que N(f (n)) tend vers 0 quand n tend vers l'infini. 2- Intgrale d'une fonction continue par morceaux Soit f continue par morceaux de I = [a,b] dans F de dimension finie. Il y a deux faons possibles de dfinir l'intgrale de f sur [a,b]. Mthode 1 On munit F d'une base (e1, ..., ep). On a : f(t) = fk(t) ek
k=1 p

On dfinit l'intgrale de f par ses composantes dans la base (e1, ..., ep) : f = fk(t) dt ek I k=1 I En particulier, pour f valeurs complexes : f = Re(f) + i Im(f)
I I I 1 f f2 ou encore, pour f = ... valeurs dans fn
!

n
!

f f . , f = ... f
1 I 2 I I n I

L'intrt de cette dfinition est qu'elle permet d'tendre rapidement aux fonctions vectorielles des proprits vraies pour les fonctions valeurs relles, par exemple la linarit. Son inconvnient rside dans le fait que l'intgrale de f dpend a priori de la base choisie. En fait, il n'en est rien. En effet, choisissons une suite (n) de fonctions en escaliers convergeant uniformment vers f. Nous prendrons par exemple dans F la norme euclidienne lie la base (e1, ..., ep) de sorte que chaque composante d'un vecteur soit infrieure la norme de ce vecteur. Montrons que lim (n)(t) dt = I f(t) dt n+ I

-9-

f (n) I I

(n)k ek I fk ek k k=1 =1 I
p

k=1

fk (n)k ek
I I

k=1

fk (n)k ek
I

k=1

fk (n)k ek I

I fk (n)k || ek || k=1 I fk (n)k || ek || k=1 I || f (n) || || ek || k=1 (b a) N(f (n)) || ek || = (b a) N(f (n)) || ek ||
k=1 k=1 p p p p

qui tend vers 0 f ne dpend pas de la base choisie. En effet, (n) n'en dpend pas, donc f non plus. I I I Cette dmonstration est complique car on ne dispose pas encore de la proprit f || f || I I vraie uniquement pour les fonctions en escalier et qui sera dmontre plus loin Mthode 2 : On dfinit une suite (n) de fonctions en escalier qui converge uniformment vers f sur [a,b]. Montrons que la suite des quantits (n) converge. Pour cela, montrons qu'il s'agit d'une suite de I Cauchy. On a : (n) (p) I I (ba) N((n) (p))

(ba) [N((n) f) + N(f (p))] , donc, pour n et p N, on a Soit > 0. Il existe N tel que, pour n N, on ait N((n) f) < 2(b a) - 10 -

 (n) (p) I I

<

Cette suite est donc bien de Cauchy dans un espace vectoriel de dimension finie. Elle converge donc vers un vecteur qui sera par dfinition f. On vrifie que la dfinition de l'intgrale de f ne dpend pas de la suite ((n)) choisie. Si ((n)) est une autre suite de fonctions en escalier convergeant uniformment vers f, alors la suite (n) converge. Mais il en est de mme de la suite imbrique I ((0), (0), (1), (1),..., (n), (n), ...) ce qui implique que les limites de (n) et I (n) sont I identiques. On a donc lim (n)(t) dt = I f(t) dt n+ I Autres formules : Montrons que I f I || f || u On a lim I (n)(t) dt = I f(t) dt . Cela rsulte simplement de la continuit de la norme n+ u On a aussi lim || (n)(t) || dt = I || f(t) || dt car : n+ I || (n)(t) || dt || f(t) || dt = || (n)(t) || || f(t) || dt I I I || (n)(t) || || f(t) || dt)
I I

I || (n)(t) f(t) || dt (ba) N(f (n)) qui tend vers 0. Comme I (n) I || (n) || , il en rsulte en passant la limite que :

f || f || (b a) N(f) (Ingalit de la moyenne). I I En particulier, pour f valeurs complexes : f(t) dt f(t) dt I I De mme u f(t) dt = u(f(t)) dt. En effet : a a
b b

- 11 -

 u lim u (n)(t) dt = u f(t) dt car u tant linaire, est continue. n+ a a

b

u et lim u((n)(t)) dt = u(f(t)) dt a n+ a

b b b

car u((n)(t)) dt u(f(t)) dt = u((n)(t)) u(f(t)) dt a a a || u((n)(t)) u(f(t)) || dt a || u || || ((n)(t)) u(f(t)) || dt a || u || (ba) N(f (n)) Une autre consquence repose sur le fait que les intgrales des fonctions en escalier ne changent pas si on change la valeur de en un nombre fini de points. Il en est donc de mme des intgrales des fonctions continues par morceaux. En particulier, deux fonctions continues par morceaux concidant sauf en un nombre fini de points ont mme intgrale. De mme, la relation de Chasles s'applique. 3- Primitives Pour f continue, de dans F, g est une primitive si g' = f. Si f est continue par morceaux, g est une primitive de f si g est continue, C1 par morceaux et g' = f en tout point de continuit de f. Dans les deux cas, deux primitives diffrent d'une constante. En effet, si g1 et g2 sont deux primitives, alors la diffrence a une drive nulle (sauf ventuellement en un nombre fini de points), donc est constante sur chaque intervalle o f est continue. g1 g2 tant continue, ces constantes sont identiques.
" "

Pour une fonction de

, f(t) dt est la primitive de f s'annulant en a, ce qui signifie que a cette fonction est continue, drivable l o f est continue et dans ce cas, sa drive est f. Pour une fonction valeurs vectorielle, on dispose du mme rsultat. Il suffit en effet de raisonner sur chaque
# #

dans

composante ; si f = fk ek, alors f(t) dt = k=1 a

p

k=1

fk(t) dt ek est continue, puisque chaque a

p

composante est continue, drivable l o chaque fk est continue et de drive fk ek, = f. Si h est une
k=1

primitive quelconque de f, il existe donc une constante telle que h(x) = f(t) dt + C. Pour x = a, on a voit que C = h(a) d'o f(t) dt = h(x) h(a). En outre, f = h' en tout point o f est continue. h est a une fonction continue, C1 par morceaux, et l'on a h(x) h(a) = h'(t) dt. (Signalons, titre indicatif, a que ce rsultat est faux pour des fonctions drivables sauf en un nombre infini de points). - 12 x x

Il en rsulte que la formule d'intgration par parties reste valable pour des fonctions valeurs vectorielles, continues et C1 par morceaux. Plus prcisment, si x (x) est une fonction scalaire continue et C1 par morceaux et x u(x) une fonction valeurs vectorielle continue et C1 par morceaux, on a : b b u(b) u(a) = (u)'(t) dt = '(t)u(t) + (t)u'(t) dt a a etc... On dispose galement de la formule de changement de variables. Soit de J = [, ] dans I de classe C1 et f continue sur I, on a : ( ) f(t) dt = f((u)) '(u) du () ou bien on raisonne composante par composante, ou bien on considre les fonctions qui x associent x (x) respectivement f(t) dt et f((u)) '(u) du qui concident en a et qui ont mme drive. Cette () formule reste valable si f est simplement continue par morceaux et strictement monotone, cette dernire condition permettant d'assurer que f o sera galement continue par morceaux. 4- Formules de Taylor Si f est Cn sur [a,b], valeurs dans un espace vectoriel F, alors : b f"(a) f(n1)(a) f(n)(t) f(b) = f(a) + (ba)f '(a) + (ba)2 + ... + (ba)n1 + (bt)n1 dt 2 (n1)! (n1)!
a

Cela se montre par rcurrence. Il suffit en fait que f soit Cn1 et Cn par morceaux. On a l la formule de Taylor avec reste intgral. Si, pour tout x de [a,b], || f(n)(x) || M, on obtient, en majorant l'intgrale : f(b) f(a) (ba)f '(a) (ba)2 f"(a) f(n1)(a) ... (ba)n1 2 (n1)! M n1 (bt) (n1)! dt a (Ingalit de Taylor-Lagrange) On dispose galement de la formule de Taylor-Young (ou dveloppement limit) pour f de classe Cn: f"(a) f(n1)(a) f(n)(a) + ... + (xa)n1 + (xa)n + o((xa)n) f(x) = f(a) + (xa)f '(a) + (xa)2 2 (n1)! n! Considrons en effet la diffrence entre le reste intgral de la formule de Taylor lorsque b=x et le f(n)(a) terme (xa)n . On peut crire cette diffrence sous la forme : n! x (n) (n) (xt)n1 f (t) f (a) dt (n1)! a quantit qu'on peut majorer en valeur absolue par : x n (xt)n1 M dt = M (xa) , o M majore || f(n)(t)f(n)(a) || (n1)! n! a - 13 M(ba)n n!
b

Mais || f(n)(t)f(n)(a) || est une fonction continue par morceaux de t et admet donc un maximum M de la forme || f(n)(c)f(n)(a) ||, avec c compris entre a et x. Quand x tend vers 0, M tend vers 0 et on obtient bien la forme du reste de TaylorYoung. On procde d'une faon comparable si x < a. III : Intgration sur un intervalle quelconque Dans ce paragraphe, les fonctions sont valeurs relles ou complexes. 1 Dfinition Soit f continue positive dfinie sur un intervalle ouvert ou semiouvert I. Pour tout segment J inclus dans I, on peut dfinir l'intgrale de f sur J. f tant positive, cette intgrale est d'autant plus grande que J est grand. On dit donc que f est intgrable sur I ou sommable sur I ou que l'intgrale de f sur I converge si la borne suprieure suivante existe : Sup f(t) dt J I J Cette quantit sera par dfinition l'intgrale de f sur I et note f(t) dt. (S'il s'avre que f est I continue par morceaux sur un segment I, on retrouve la notion usuelle de l'intgrale, puisque rien n'empche alors de prendre J = I, tout simplement). Si I est de la forme [a, b[ (b ventuellement gal +), on peut se limiter des intervalles J de la forme [a, x[, et l'intgrale sur J est alors une fonction croissante de x. La borne suprieure est alors gale : x b lim f(t) dt ce qu'on note f(t) dt a xb a Du point de vue pratique, cette dernire mthode sert le plus souvent calculer les intgrales gnralises. Cette dernire proprit permet galement de montrer facilement que les proprits de linarit sont conserves. EXEMPLE 1 : x + t t t e dt = lim [ e ] ce qu'on note parfois [ e ] x 0 0 0 =1 EXEMPLE 2 : 1 1 dt = lim [ 2 t] 1 = [ 2 t] 1 = 2 x0 x 0 0 t EXEMPLE 3 : 1 1 dt = lim lnt 1 = diverge [ ] t x0 x 0 Si I est de la forme ]a, b[, on pourra prendre un point c entre a et b et utiliser la relation de Chasles c x pour remplacer Sup f(t) dt par lim f(t) dt + lim f(t) dt. J I J xa x xb c - 14 -

 On peut galement prendre une suite croissante d'intervalles (Jn) dont la runion vaut I. Si les f(t) dt J
n

sont borns, alors f est intgrable et f(t) dt = Sup f(t) dt = lim f(t) dt. Montrons dans le cas I J J
n n

o I = [a,b[. Posons Jn = [an,bn]. On a donc (bn) suite croissante convergeant vers b et (an) suite dcroissante convergeant vers a. Soit J = [x,y] [a,b[. On a y < b et il existe N tel que, pour n > N, bn > y. Pour de tels n : b y n f(t) dt f(t) dt = f(t) dt f(t) dt J x J
n

n = f(t) dt + f(t) dt a y La premire intgrale tend vers f(t) dt 0 et la deuxime intgrale est positive pour tout n. Donc : a f(t) dt lim f(t) dt J J
n n x

an x

f(t) dt lim f(t) dt I J

n

Par ailleurs : f(t) dt f(t) dt I J

n

lim f(t) dt f(t) dt I J

n

2 Fonctions de rfrences On vrifiera aisment, en calculant une primitive que : 1 dt converge si et seulement si > 1 t 1 diverge si et seulement si 1 1 1 dt converge si et seulement si < 1 t
0

diverge si et seulement si 1

a 1 dt converge si et seulement si < 1 tt 0 t

0

t e dt converge pour tout > 0 0 - 15 -

diverge si et seulement si 1

3 Critre d'intgrabilit On suppose toujours que f 0. On dispose alors des critres de convergences suivants : PROPOSITION : Soit f et g dfinies sur I, positives. Alors : i) 0 f g et g intgrable sur I f intgrable sur I et f(t) dt g(t) dt I I ii) si I = [a, b[ et si, au voisinage de b, f g, alors g et f sont de mme nature (toutes deux intgrables ou toutes deux non intgrables). Dmonstration : i) On a en effet, pour J segment inclus dans I : f(t) dt g(t) dt g(t) dt J J I donc la borne suprieure du membre de gauche existe et est infrieure au membre de droite. ii) Il suffit de remarquer que sur un voisinage [c, b[ de b, on a un encadrement du type l'intgrale de g converge sur [a, b[, il en est de mme de celle de 3g g f . Si 2 2

3g sur [c, b[ et donc de f sur [c, b[, 2 d'aprs i), ou sur [a, b[, au moyen de la relation de Chasles. De mme, si l'intgrale de f converge, celle de g aussi. EXEMPLE 1 :

Trouver les valeurs de x pour lesquelles (x) converge, avec (x) = et tx1 dt. 0 1 En 0, et.tx1 tx1 = 1x dont l'intgrale converge si et seulement si x > 0. t 1 t x1 En +, on a 0 e .t 2 puisque et.tx+1 tend vers 0 quand t tend vers +. Donc l'intgrale t converge en + pour tout x. Ainsi, (x) est dfini sur +*. On vrifiera que (x+1) = x (x) et donc par rcurrence que, pour n entier, (n+1) = n!. Ainsi, est une extension aux rels strictement positifs de la factorielle.
% %

Voici une curieuse utilisation de la fonction : n 2 2 Considrons ... exp(x1 ... xn ) dx1 dx2 ... dxn = exp(t2) dt n 2 2 2 Si on passe en coordonnes sphriques, x1 + ... + xn = r avec r variant de 0 l'infini. L'lment de volume sera gal dr aire de la surface de la sphre Sn1(r) = {(x1, ..., xn), x12 + ... + xn2 = r2}. Par homothtie de centre 0 de rapport r, la surface de cette sphre est gale rn1 aire de Sn1(1). (On a S1(r) = 2r et S2(r) = 4r2). On a donc : ... exp(x12 ... xn2) dx1 dx2 ... dxn = Sn1(1) exp(r2) rn1 dr n 0
& & ' '

- 16 -

 1 (n/2) Posons t = r2. On a exp(r2) rn1 dr = exp(t) tn/21 dr = . 2 2 0 0 On a donc finalement : n (n/2) 2 exp( t ) d t = Sn1(1) 2 2 (1) Pour n = 2, cette formule correspond exp(t2) dt = S1(1) = , donc : 2 2 exp(t ) dt = On en dduit galement que (n/2) et donc que l'aire de la sphre unit de 2 2 n 1 . Pour n = 3, on obtient : 3 = 2 (3/2) (3/2) = = (1/2) (1/2) = 2 2 (n/2)
n

= Sn1(1)

n
( (

est

EXEMPLE 2 : P(t) dt o P est de degr n et Q de degr m. Q(t) a En supposant Q non nul sur [a, +[, le seul problme de convergence se pose en +. On a alors P(t) 1 . L'intgrale converge si et seulement si m n > 1. Q(t) xmn 4 Cas des fonctions de signe quelconque f est dite intgrable si f l'est. Il suffit pour cela que f soit majore par une fonction intgrable ou que f = O(), avec intgrable positive. u Pour f valeurs relles, on pose : 1 f+ = Sup(f,0) = (f + f ) 2 1 f = Sup(f,0) = ( f f) 2 de sorte que f = f+ + f et f = f+ f. Si f est intgrable, il en est donc de mme de f+ et f. On dfinit alors : + f(t) dt = f (t) dt f (t) dt I I I On a par ailleurs : + f(t) dt = f (t) dt + f (t) dt I I I de sorte que f(t) dt f(t) dt I I

- 17 -

 Si I = [a, b[, et si f est intgrable, alors on a toujours f(t) dt = lim f(t) dt, puisqu'il en est de I xb a + mme sparment des intgrales de f et f , mais on prendra garde que la rciproque est fausse. La x x limite lim f(t) dt peut exister sans qu'aucune des limites suivantes n'existent : lim f+(t) dt, xb a xb a lim f(t) dt, lim f(t) dt. On peut trs bien avoir par exemple : xb a xb a lim f+(t) dt = lim f(t) dt = + xb a xb a alors que la diffrence converge. EXEMPLE 1 : sin(x) sin(x) 1 est intgrable sur [1, +[ car 2 qui est intgrable sur [1,+[. x2 x x2
x x x x

Par contre k

(k+1)

sin(x) n'est pas intgrable sur [1,+[. En effet : x

(k+1) sin(x) 1 2 dx sin(x) dx = terme gnral d'une srie divergente x (k+1) (k+1) x k

sin(t) Cependant, lim t dt existe car : x 1 x x sin(t) dt = cos(t) x cos(t) dt t t 1 t2

1 1

Le crochet admet une limite et la fonction

cos(t) est, elle, intgrable, donc le membre de droite admet t2 une limite. On parle dans ce cas d'intgrale semi-convergente. De mme, cos(t2) n'est pas intgrable sur [0,+[, mais lim cos(t2) dt existe (faire le changement x 0 de variable u = t2 puis une intgration par partie). De mme, si f est intgrable et si (Jn) est une suite croissante d'intervalles de runion I, on a encore : f(t) dt = lim f(t) dt I J
n x

puisque l aussi, il en est ainsi sparment pour les intgrales de f+ et f, mais lim f(t) dt n'est plus J
n

ncessairement gale Sup f(t) dt car la suite des intgrales f(t) dt n'est plus croissante. (La J J croissance dcoule du fait que f 0). De plus, la rciproque est fausse. La limite peut exister sans avec que la fonction soit intgrable. Il suffit de considrer la fonction cosinus sur I = Jn = [n,n].
) )

- 18 -

u Pour une fonction valeurs complexe, on dfinit naturellement : f(t) dt = Re(f(t)) dt + i Im(f(t)) dt I I I On a toujours f(t) dt f(t) dt. Cette ingalit est en effet vrifie sur des segments Jn. Il I I suffit de choisir une suite croissante de (Jn) d'union I, de sorte que f(t) dt f(t) dt et de J J
n n

passer la limite. EXEMPLE : Pour z complexe de partie relle positive, on a et tz1 = et tRe(z)1, intgrable pour Re(z) > 0. On pose alors (z) = et tz1 dt, dfinie pour z > 0. 0 5- Convergence en moyenne, en moyenne quadratique L'ensemble C(I) des fonctions continues intgrables sur I valeurs complexes forme un espace vectoriel. En effet, l'ingalit triangulaire permet de montrer que, si f et g sont intgrables, il en est de mme de f+g. Si on pose : N1(f) = f(t) dt I N1 dfinit alors une norme sur C(I) dite norme de la convergence en moyenne. f est dite de carr intgrable si f(t) 2 dt existe. Si f et g sont de carrs intgrables, alors fg est I intgrable. En effet, pour tout segment J, l'ingalit de Schwarz permet de conclure que : 2 2 f(t)g(t) dt f(t) dt g(t) dt J J J En prenant les bornes suprieures dans les deux membres, on voit que cette ingalit reste valable sur I. On en dduit que l'espace des fonctions continues de carrs intgrables est un sous-espace vectoriel de C(I). En effet, di f et g sont de carrs intgrables, il en est de mme de f+g, puisque (f+g)2 = f2 + 2fg + g2 et que toutes les fonctions du second membre sont intgrables. On pose alors : 2 f(t) dt I N2 est une norme appele norme de la convergence en moyenne quadratique. L'ingalit de Schwarz donne : N2(f) f(t)g(t) dt f(t)g(t) dt I I 2 f(t) dt I 2 g(t) dt I

ou encore : <f,g> N1(fg) N2(f)N2(g) ce qui exprime que le produit scalaire est une forme bilinaire continue pour la norme N2. - 19 -

IV : Intgrales dpendant d'un paramtre Une intgrale dpendant d'un paramtre est une fonction de la forme (x) = f(x,t) dt I Ainsi, on intgre une fonction de t sur un intervalle I, mais cette fonction dpend d'un paramtre x. On obtient donc une fonction (x). En gnral, on ne peut pas calculer explicitement l'intgrale de sorte que la seule expression connue de est sous cette forme intgrale. Se pose alors souvent la question de calculer une limite de (ou de savoir si est continue) ou de driver , voire de calculer une intgrale de . Comment calculer lim (x) ? On est videmment tenter de dire que cette quantit vaut xx0 lim f(x,t) dt = f(x0,t) dt si f est continue, d'autant plus que, si l'intgrale n'est pas calculable, xx0 I I c'est a priori la seule possibilit de traitement notre disposition. Malheureusement C'EST FAUX. De mme, on peut tre tent de driver en drivant f par rapport x, autrement dit de dire d f = (x,t) dt. Mais c'est EGALEMENT FAUX. que dx x
I

EXEMPLE 1 : tx Soit (x) = xe dt dfinie pour x 0. On a donc (0) = 0 et on vrifiera que pour x > 0, 0 (x) = 1. De sorte que lim (x) = 1 lim xetx dt = 0 x0 x0 0 x x>0 >0

EXEMPLE 2 : 2 tx Soit (x) = x e dt dfinie pour x 0. On vrifiera que pour x 0, (x) = x. On a donc '(x) = 1 0 + + f (2x tx2)etx dt et pour x = 0, cette quantit vaut 0 alors ( x , t ) d t = pour x 0. Cependant x f que '(0) = 1. On a donc '(0) x(0,t) dt. 0
+ 0 0

Pour intervertir limite et intgration, ou bien drivation et intgration, il est besoin d'hypothses supplmentaires indispensables pour garantir le rsultat. Si ces hypothses ne sont pas vrifies, on ne peut rien conclure. Nous devons distinguer deux cas : I est un segment : dans ce cas, de simples hypothses de continuit permettent de conclure. I n'est pas un segment : dans ce cas, une hypothses supplmentaire de "domination" est exige. C'est cette hypothse qui fait dfaut dans les exemples donns ci-dessus.

- 20 -

1- Sur un segment Soit I = [a,b] un segment et A un intervalle de A I ou (x,t) f(x,t)

0 1 1 2 2

. On considre une fonction f :

CONTINUITE On suppose que f est une fonction continue des deux variables. On peut alors dfinir, pour tout x de b A la fonction g(x) = f(x,t) dt. Dans ce cas, g est continue. a Dmonstration : En effet, soit [x0 , x0 + ] un voisinage de x0. f tant continue sur le compact [x0 ,x0 + ] [a,b] y est uniformment continue, ce qui signifie que : > 0, , x [x0 ,x0 + ], x' [x0 ,x0 + ], t [a,b], t' [a,b] || (x,t) (x',t') || < f(x,t) f(x',t') < En particulier, pour t = t', et x' = x0, on a : > 0, , x [x0 ,x0 + ], x x0 < f(x,t) f(x0,t) < Pour de tels x, on a donc g(x) g(x0) < (ba), ce qui est la dfinition de la continuit de g en x0. DERIVATION De plus, si f admet une drive partielle par rapport x continue, alors g est drivable et : b f g'(x) = (x,t) dt a x Cette drive est continue, de sorte que g est C1. Dmonstration : La dmonstration est donne pour f valeurs relles (pour f valeurs complexes, sparer partie relle et imaginaire). g(x0 + h) g(x0) f f(x0+h,t) f(x0,t) f (x0,t) dt = (x0,t) dt h h x a x a
b b

f(x0+h,t) f(x0,t) f (x0,t) dt h x a f f (x0 + h,t) (x0,t) dt x x a obtenu en appliquant pour tout t l'galit des accroissements finis entre x0 et x0 + h la fonction x f(x,t). est un nombre compris entre 0 et 1, et qui dpend de h et de t. On utilise alors f l'uniforme continuit de sur le compact [x0 ,x0 + ] [a,b] : x > 0, , x [x0 ,x0 + ], x' [x0 ,x0 + ], t [a,b], t' [a,b] || (x,t) (x',t') || < f f (x,t) (x',t') < x x
b

- 21 -

Pour x' = x0, t = t' et h < , on a

b

f f (x0 + h,t) (x0,t) < x x

g(x0 + h) g(x0) f (x0,t) dt < (b a) ce qui est la dfinition de la drivabilit de g. h a x f est continue. x

La drive de g est continue puisque

INTEGRATION Toujours pour f continue sur A [a,b]. Soit [c,d] inclus dans A. Alors : d d b g(x) dx = f(x,t) dx dt c c Autrement dit : f(x,t) dx dt = f(x,t) dx dt ce qui est la formule de Fubini d'intervertion c a a c des signes intgrales dans une intgrale double. Dmonstration : Considrons les fonctions y f(x,t) dx dt et y f(x,t) dx dt. Ces deux fonctions c a a c concident pour y = c (elles sont nulles). La premire est de la forme g(x) dx et est donc drivable c de drive g(y). La seconde est de la forme F(y,t) dt avec F(y,t) = f(x,t) dx. Pour chaque t, a c F cette fonction est une intgrale fonction de la borne suprieure et de drive (y,t) = f(y,t) continue. y b Il rsulte du paragraphe prcdent que F(y,t) dt est drivable de drive : a F(y,t) dt = f(y,t) dt = g(y) a a x Les deux fonctions ayant mme drive et tant gales en un point sont gales en tout point.
b b b y y y b b y d a b b d

EXEMPLE 1 : 1 1 1 1 1 d t = lim 2 2 1 + t2 x2 + t2 dt (1 + t ) x1 0 0 1 1 En effet, la fonction est continue. On peut donc prendre la limite quand x tend vers 1, x 1 + t2 x2 + t2 tant diffrent de 1. Or : 1 1 1 1 1 2 2 2 = 2 2 2 1 + t x + t x 1 1 + t x + t2 1 1 1 1 1 1 1 1 d t = d t 2 1 + t2 x2 + t2 x2 + t2 dt 1 + t2 x 1 0 0 0 1 1 1 arctan = x (x 1)(x + 1) 4 x - 22 -

qui tend vers

1 1 1 f '(1), o f est la fonction x arctan . 2 x x 1 1 x 1 f '(x) = 2 (arctan + 2) f '(1) = x 1+x 4 2 x 1 1 1 donc (1 + t2)2 dt = 8 + 4 On peut aussi calculer cette intgrale en posant t = tan. Vrifions le rsultat : /4 1 /4 1 + cos2 1 1 2 d t = cos d = d = + (1 + t2)2 2 8 4 0 0 0 EXEMPLE 2 : Soit I(x) = ln(1 + x2 2xcos) d La fonction f(x,) = ln(1 + x2 2xcos) est dfinie est continue sur ]1,1[ [,]. I(x) est donc continue ]1,1[. f 2x 2cos = est galement continue sur tout ]1,1[ [,]. I est donc drivable sur ]1,1[ : x 1 + x2 2xcos 2x 2cos I'(x) = d 1 + x2 2xcos
0

1 u2 posons u = tan , de sorte que cos = . On a : 2 1 + u2 x(1 + u2) 1 + u2 2 I'(x) = 2 du 2 2 2 (1 + x )(1 + u ) 2x(1 u ) 1 + u2 u2(x + 1) + x 1 1 = 4 2 du 2 2 u (1 + x ) + (1 x ) 1 + u2 2(x2 1) 1 2 1 = du pour x non nul 2 2 2 + u (1 + x) + (1 x) x 1 + u2 x u(1+x) 2 2 =0 = x arctan 1x + x arctan u Dinc I est une fonction constante. Etant nulle pour x = 0, elle est identiquement nulle, donc, pour tout x, ln(1 + x2 2xcos) d = 0 EXEMPLE 3 : a 1 etx Soit a un rel strictement positif. Considrons (x) = dt . t 0 tx 1e La fonction (t,x) est continue. On le voit bien si on l'crit sous la forme (tx)x avec t 1 eu (u) = o est une fonction continue. Il en rsulte que est continue. De plus, si on drive u a tx sous le signe intgral par rapport x, on obtient e dt = '(x). On en dduit que : 0 - 23

'(x) =

1 eax x
x ta

1e Comme (0) = 0, on a donc (x) = dt, intgrale fonction de la borne suprieure. t 0 Curieusement, les rles de a et x sont symtriques, ce qu'on aurait pu voir : tx ou bien en faisant le changement de variable u = dans la premire intgrale a ou bien en dveloppant en srie l'exponentielle. On obtient : (x) = 0
a n=1

(1)n+1 n1 n (1)n+1 n a n1 (1)n+1 xnan t x dt = x t dt = n n! n! n! n=1 n=1 0

fonction symtrique de a et x. (On vrifiera que les hypothses autorisant la permutation de

a

n=1

et de

sont valides). Il n'existe aucune expression de sous forme de fonctions lmentaires simples, 0 mais on dispose de plusieurs formes de : intgrales, sries... 2- Sur un intervalle quelconque Si I n'est plus un segment, on ne peut plus utiliser l'argument de compacit, et il faut des hypothses supplmentaires. Nous continuerons noter a et b les bornes de I. PROPOSITION i) Soit f continue sur A I et une fonction positive intgrable sur I telle que : (x,t) A I, f(x,t) (t) (hypothse de domination) alors, pour tout x,la fonction t f(x,t) est intgrable. On peut donc dfinir g(x) = I f(x,t) dt. g est alors une fonction continue. f ii) Si de plus, f admet une drive partielle continue elle-mme domine par une fonction x g f intgrable, alors g est de classe C1 et (x) = (x,t) dt x I x (Il ne figure pas au programme d'nonc du thorme de Fubini sur des parties non compactes du plan). u Pour le point i) Dmonstration 1 : Il suffit de voir que l' hypothse de domination permettent, pour tout , de dfinir un segment J tel que, pour tout x de A, on ait : g(x) Jf(x,t) dt IJ (t) dt < On a alors : g(x) g(x0) g(x) Jf(x,t) dt + Jf(x,t) dt Jf(x0,t) dt + Jf(x0,t) dt g(x0)

- 24 -

 2 + Jf(x,t) dt Jf(x0,t) dt 3 pour x dans un voisinage de x0 en appliquant les rsultats du 1) Dmonstration 2 : Soit (an) une suite quelconque convergeant vers x0. Posons fn(t) = f(an,t). f tant continue, la suite (fn) converge simplement vers la fonction t f(x0,t). En outre la suite (fn) est domine par . Le thorme de convergence domine permet de conclure que : b b f(x0,t) dt = lim fn(t) dt a n+ a soit : g(x0) = lim g(an) n+ La suite tant quelconque, cela exprime la continuit de g en x0. (Si g tait discontinue, il existerait une suite (an) de limite x0 telle que g(an) ne converge pas). u Pour le point ii), on procde d'une faon analogue. On note la fonction qui domine Dmonstration 1 : Pour tout x de A, on a, comme plus haut : g(x0 + h) g(x0) f f(x0+h,t) f(x0,t) f (x0,t) dt = (x0,t) dt h h x x a a
b b

f . x

f(x0+h,t) f(x0,t) f (x0,t) dt h x a f f (x0 + h,t) (x0,t) dt x x a Pour > 0, il existe un segment J inclus dans I tel que : f (x,t) dt f (x,t) dt (x,t) dt < IJ x IJ x
IJ b

d'o : b f f f f (x0 + h,t) (x0,t) dt = (x0 + h,t) (x0,t) dt + x x x x

a J

f f (x0 + h,t) (x0,t) dt x x

IJ

f f (x0 + h,t) (x0,t) dt + 2 x x J 3 pour h assez petit en appliquant le 1) Dmonstration 2 : Soit (hn) une suite tendant vers 0. Alors : g(x0 + hn) g(x0) f f(x0+hn,t) f(x0,t) f (x0,t) dt (x0,t) dt hn hn x a x a
b b

- 25 -

 f(x0+hn,t) f(x0,t) f (x0,t) dt hn x a f f (x0 + hn,t) (x0,t) dt x x a o dpend de t et de hn. Notons fn la fonction qui, t associe f f (x0 + hn,t) (x0,t) . Elle x x
b

converge simplement vers 0 et elle est domine par 2. Le thorme de convergence domine permet de conclure que l'intgrale tend vers 0 quand n tend vers l'infini. Le rsultat tant valable pour b g(x0 + h) g(x0) f = (x0,t) dt. toute suite, on conclut que lim h h0 a x EXEMPLE 1 : 1 1 1 d t = lim (1 + t2)2 1 + t2 x2 + t2 dt x1 0 0 1 1 1 En effet, la fonction est continue. Elle est galement domine par qui est 1 + t2 x2 + t2 1 + t2 intgrable. Or : 1 1 1 1 1 1 + t2 x2 + t2 dt = x2 1 1 + t2 dt x2 + t2 dt 0 0 0 1 1 = (x 1)(x + 1) 2 x 2 qui tend vers . 4 Vrifions. Posons t = tan. /2 /2 1 + cos2 1 2 d t = cos d = d = (1 + t2)2 2 4 0 0 0 EXEMPLE 2 : La fonction (x) = et tx1 dt est continue. En effet, considrons 0 < a < 1 < b : 0 t x1 t x1 t x1 e t dt = e t dt + e t dt 0 0 1 t x1 La fonction (x,t) e t est continue sur [a,b] [0,1] et est majore par et ta1 donc la premire intgrale est une fonction continue de x. Pour la seconde, elle est majore par et tb1. tant continue sur tout intervalle [a,b], prcdemment dfini, elle est continue en tout point de [0,+[ puisque tout point de cet intervalle peut tre mis l'intrieur d'un intervalle [a,b] adquat. On prouvera de mme que (x) est drivable de drive '(x) = et ln(t) tx1 dt, et par rcurrence, 0
1

est indfiniment drivable et (n)(x) = et ln(t)n tx1 dt. 0

- 26 -

Les conditions de dominations sont essentielles. Par exemple, la fonction (x,t) continue sur
3

2
3

x . Posons g(x) = dt. On a : 1 + x2t2 0

x est 1 + x2t2

g(0) = 0

1 pour x > 0, g(x) = en posant u = xt 2 du = 1 + u 2 0 pour x < 0, g(x) = 2 donc g n'est pas continue. EXEMPLE 3 : sin(t) xt sin(t) Soit x > 0 et F(x) = dt. Sur tout intervalle [a,+[, avec a > 0, ext est domine e t t 0 par eat. Sa drive par rapport x galement. F est donc continue et drivable sur tout intervalle [a,+[, et donc sur +*. Sa drive vaut :
4 4

F'(x) = ext sin(t) dt = Im ext + it dt 0 0 1 1 = Im = ix 1 + x2 F(x) = arctan(x) + Cte 1 Par ailleurs, F(x) ext dt = qui tend vers 0 quand x tend vers l'infini, donc Cte = . Ainsi, x 2 0 1 xt sin(t) pour tout x > 0, on a : dt = arctan(x) = arctan e t 2 x 0 La formule est galement vraie en x = 0. En effet, on peut montrer que F se prolonge par continuit en 0 en posant : A sin(t) sin(t) F(0) = dt = lim dt t t A
0 0

(Une intgration par parties permettant d'obtenir une fonction majore par permet de montrer que cette limite existe effectivement). En effet :
A

Cte intgrable sur [1,+[ t2

sin(t) dt ext sin(t) dt sin(t) ext sin(t) dt + sin(t) dt + ext sin(t) dt t t t 0 t 0 t 0 A t A Le point le plus dlicat est la troisime intgrale. La fonction g(t) = etx sin(t) est intgrable sur [A,+[. Si on note G sa primitive qui s'annule en A, on a : ext sin(t) dt = G'(t) dt = G(t) dt en intgrant par partie. t t2 t A A A Si m est la borne infrieure de G et M sa borne suprieure, on a : 1 G(t) 1 m t2 dt t2 dt M t2 dt A A A - 27 -

m G(t) M 2 dt A t A
A

Le thorme des valeurs intermdiaires permet de conclure qu'il existe tel que : xt sin(t) dt = G(t) dt = G() 2 e A t A t A = 1 xt e sin(t) dt A
A

1 t(i x) = Im dt e A A 1 1 [e(i x) eA(i x)] = Im ix A

ext sin(t) dt 1 2 2 t A |i x| A A On a donc : sin(t) dt ext sin(t) dt sin(t) ext sin(t) dt + sin(t) dt + 2 t t A 0 t 0 t 0 A t
A

2 sin(t) Soit > 0. Il existe A tel que < et dt < . A A t sin(t) xt sin(t) Pour cet A, la fonction x e dt est une fonction continue de x (on intgre sur un t 0 t segment, donc on n'a plus besoin d'hypothse de domination). Il existe tel que, pour 0 x < , on sin(t) xt sin(t) sin(t) sin(t) a e dt < . D'o dt ext dt < 3 pour de tels x. C'est la t t 0 t 0 t 0
A A

dfinition de la continuit en x = 0. On peut donc conclure que : sin(t) dt = t 2 0

- 28 -