3. Le majorant de 1.a est la somme de deux fonctions de limite nulle :
lim
+1(L(f)) = 0
2. Dérivation d’une intégrale à paramètre . Avec les notations de I.3.b:
1. Si
8t2I,x7! f(x; t)est de classe C1sur J
t7! f(x; t)et t7! @f
@x (x; t)sont continues par morceaux intégrables sur J
on peut dominer @f
@x (x; t)sur tout segment inclus dans J
alors
F(x) = ZI
f(x; t)dt est C1sur Jet F0(x) = ZJ
@f
@x (x; t)dt.
application:
x!f(t)ext, est C1sur R+de dérivée x! tf(t)ext,
t7! f(x; t)est intégrable sur [0;+1[(déjà prouvé pour la continuité)
on a domination 8x2[a; b]]0;+1[,8t0tf(t)exttjf(t)jext qui est bien une fonction intégrable
sur R+car t2tjf(t)jext Ctn+3ext (pour xA)a une limite nulle en +1
t7! @f
@x (x; t)est intégrable sur [0;+1[( à cause de la domination)
et donc :
L(f)est C1sur R+et (L(f))0(x) = Z+1
0tf(t)extdt
1. Une intégration par partie donne en posant u=ext; v0=f0et donc u0=xext; v =f( avec l’hypothèse
supplémentaire uet vsont C1sur R+).
ZX
0
f0(t)extdt =f(X)exX f(0) + xZX
0
f(t)extdt
Comme fet f0sont dans Eles deux intégrales Z+1
0
f0(t)extdt et Z+1
0
f(t)extdt convergent et pour XA=x ,
jf(X)exX j6CXnexX qui tend vers 0quand Ttend vers +1.
On peut passer à la limite et on véri…e bien
L(f0)(x) = xL(f)(x)f(0)
2. hest bien continue et comme f02Eil existe des constantes A0; C0et n0telles que pour tA0,jf0(t)j6C0tn0.
On a donc jh(t)j=jtf0(t)j6C0tn0+1 pour t>A0, donc h2E(pour A=A0; C =C0; n =n0+ 1 )
Une intégration par parties donne en posant : u=text; v0=f0donc u0=ext xtext
ZX
0
tf0(t)extdt =Xf(X)exX ZX
0f(t)ext xtf(t)extdt
=Xf(X)exX ZX
0
f(t)extdt +xZX
0
tf(t)extdt
h2E,f2Eet donc (comme pour h)t!tf(t)2E, les trois intégrales admettent une limite en +1. et comme
f2E:jXf(X)exX j6CXn+1exX tend vers 0 quand Xtend vers +1. On peut passer à la limite
L(h)(x) = L(f)(x)x(L(f))0(x)
.
3. On applique deux fois le résultat du II.3.a (à f0puis à f):
L(f00)(x) = xL(f0)(x)f0(0) = x[xL(f)(x)f(0)] f0(0)
soit : L(f00)(x) = x2L(f)(x)xf(0) f0(0)
3