Académique Documents
Professionnel Documents
Culture Documents
com/
PARIE I. R SULTATS
PRLIMINAIRES
1
(1 exa ), si x = 0,
x
0
|ezt | = 1. Donc la fonction t 7 ezt est intgrable sur IR+ si et seulement si, x = Re(z) > 0.
ext dt =
1.1.2 Soit un rel non nul. Posons f (t) = cos(t) pour tout t IR. Si lim f (t) existe et vaut L, alors
t+
pout toute suite (un )nIN tendant vers +, la suite de terme gnral f (un ) converge vers L. Mais
1
la suite de terme gnral un = n tend vers +, cependant la suite image de terme gnral
ezt dt =
a+
|eaz |
1
(1 eaz )
z
Si x = 0 ( donc y 6= 0 car z est non nul ), lim eaz = lim eiay nexiste pas.
a+
a+
Z +
En conclusion, lintgrale
ezt dt converge si et seulement si, Re(z) > 0 et dans ce cas
0
ezt dt =
1
.
z
1.2.1 La fonction t 7 ez0 t f (t) tant continue sur IR+ , donc sa primitive F sur IR+ est drivable sur IR+
et pour tout x 0, F 0 (x) = ez0 x f (x), et comme x 7 ez0 x f (x) est continue F est C 1 sur IR+ .
Dautre part, on a lim F (x) existe car la fonction t 7 ez0 t f (t) a une intgrale convergente, donc
x+
1.2.2 F tant borne sur IR+ , donc il existe M > 0 tel que t IR+ , |F (t)| M . Donc
t 0, |e(zz0 )t F (t)| M eRe(zz0 )t ,
et comme la fonction t 7 eRe(zz0 ) t est intgrable sur IR+ , il est de mme de la fonction t 7
e(zz0 )t F (t).
Z A
+
(z
z
)
e(zz0 )t F (t) dt
= [e(zz0 )t F (t)]A
0
0
0
Z A
= e(zz0 )A F (A) + (z z0 )
e(zz0 )t F (t) dt, car F (0) = 0.
0
On obtient donc par passage la limite, quand A tend vers +, lgalit demande ( car F est
borne ) :
Z +
Z +
zt
e f (t) dt = (z z0 )
e(zz0 )t F (t) dt,
0
donc
= ( 1)x (x) +
0 (t) dt
x
0 (t) dt
x
|x (x)|
Mais 00 (t)
Do :
x
x
(x t) 00 (t) dt.
Z
1
1 x
00
(x t) (t) dt
(|(x)| + |(x)|) +
1
1 x
Z x
2
(t x)| 00 (t)| dt
sup |(t)| +
1 t[0,x]
x
M
1
1
pour tout t > 0 et si t [x, x], 2
. On obtient donc :
2
t
t
(x)2
Z x
Z x
M
t2
(1 )2
(t x)| 00 (t)| dt
dt = M
xt
2
(x) x
2
22
x
|x 0 (x)|
2
1
sup |(t)| +
M
1 t[0,x]
22
1 0
x0+
ET PROPRITS DE LA TRANSFORME DE
L APLACE
2.1 Daprs ce qui prcde, la fonction t 7 e(z)t a une intgrale convergente si et seulement si, Re(z) >
0, autrement dit la fonction L(f )(z) existe si et seulement si, Re(z) > Re(). Donc L(f ) est dfinie sur
{z C/Re(z) > Re()}, de plus
Z +
1
.
L(f )(z) =
e(z)t dt =
z
0
2.2 Abscisse de convergence
Soit E = {Re(z)/L(f )(z) existe}. La proprit est vidente si E est vide on prend donc = +, si E est
non vide deux cas sont possibles :
Si E est non minor, on prend = . Alors L(f ) serait dfinie sur tout le plan complexe.
Si E est minor, on prend = inf E. En effet, soit x0 > et z = x + iy tel que x > x0 , alors la
fonction t 7 f (t)ezt une est intgrale convergente sur ]0, +[ ( daprs la question 1.2.3), do
x E.
On en dduit E = [, +[ si E et E =], +[ si
/ E.
+
0
C. La fonction F est de classe C 1 et borne sur IR+ par M . La fonction : (z, t) e(zz0 )t F (t) est
continue sur ((f )) IR+ , et :
|(z, t)| M e(xx0 )t M e(ax0 )t
e(zz0 )t F (t) dt
Montrons que f est C 1 sur f , pour cela il suffit de montrer que les drives partielles
Lf
Lf
et
x
y
pour tout z tel que Re(z) = x > a > Re(z0 ) = a0 . Cette dernire fonction est intgrable sur IR+ . Le
thorme de drivation des intgrales paramtres affirme que Lf est de drivable par rapport
x (cette drive partielle tant continue) pour tout z tel que Re(z) a. Donc, puisque la notion de
Lf
drivabilit est une notion locale,
existe et est continue sur ((f )) et :
x
Z +
Z +
Lf
(x, y) =
e(zz0 )t F (t) dt (z z0 )
te(zz0 )t F (t) dt ().
x
0
0
Soit A > 0 donn,
Z
A
0
#A
Z A
(zz0 )t
e
1
(zz0 )t
e
F (t) dt =
F (t) +
ezt f (t) dt
z z0
z z0 0
"
En prenant la limite lorsque A tend vers linfini, il vient, car F (0) = 0, Re(z) > Re(z0 ) et F majore
sur IR+ :
Z +
Z +
1
(zz0 )t
e
F (t) dt =
ezt f (t) dt (1).
z
z
0
0
0
(z z0 )t + 1 (zz0 )t
e
. Donc :
z z0
Z A
(z z0 )t + 1 (zz0 )t A
(zz0 )t
(z z0 )te
F (t) dt = F (t)
e
z z0
0
0
Z A
(z z0 )t + 1 (zz0 )t z0 t
+
e
e
f (t) dt
z z0
0
Pour les mmes raisons, en prenant la limite lorsque A tend vers linfini, il vient :
Z +
Z +
(z z0 )t + 1 zt
(z z0 )e(zz0 )t F (t) dt =
e f (t) dt (2).
z z0
0
0
Do, en tenant compte des relations (1) et (2) et de lgalit () :
Z +
Lf
(x, y) =
tezt f (t) dt.
x
0
Lf
Et de la mme faon, on dmontre lexistence et la continuit sur ](f ), +[IR de
avec cette
x
Z +
Lf
(x, y) = i
tezt f (t) dt.
fois, pour tout (x, y) ](f ), +[IR,
y
0
2.3.3 Soit x > (f ). On sait que L(f ) est de classe C 1 sur ](f ), +[ et que :
Z +
0
L(f ) (x) =
text f (t) dt = L(t 7 tf (t))(x).
0
La fonction t 7 tf (t) est un lment de C (IR+ , C). La mme dmonstration que celle de la question
prcdente o f a t remplac par t 7 tf (t) donnera que L(f ) est de classe C 2 sur ](f ), +[ et
que :
Z +
00
L(f ) (x) =
t2 ext f (t) dt.
0
Une dmonstration par rcurrence montre que L(f ) est de classe C sur ](f ), +[ et que pour
tout p IN :
Z +
L(f )(p) (x) = (1)p
tp ext f (t) dt.
0
L(f )(x) = (x x0 )
o F continue, majore sur IR+ par M et F (0) = 0. Soit > 0. Par continuit de F , il existe > 0 tel
Or, si x > x0 :
Z
et
Ainsi :
(xx0 )
e
F (t) dt
2
+
(xx0 )
1 e(xx0 )
x x0
e(xx0 )
F (t) dt M
.
x x0
|L(f )(x)|
+ M e(xx0 )
2
Or pour cet fix, lim e(xx0 ) = 0. Il existe donc A > 0 tel que x > A M e(xx0 ) <
x+
.
2
2.4 Un exemple
t2
1 cos t
1
1
+ o(t2 ), donc
= + o(1), ainsi la fonction se prolonge par en 0.
2
t2
2
Z +
Z + 2
1 cos t
1 cos t
Puisque w se prolonge par continuit en 0, les deux intgrales
dt et
dt
2
t Z
t2
0
1
+
1 cos t
1 cos t
2 et par consquent
sont de mme nature. Or pour tout t 1,
dt existe,
t2
t2
t2
1
Z +
1 cos t
il est de mme de
dt. Ceci montre que la transforme de Laplace de w existe en 0, et
t2
0
en tenant compte de la dfinition de (w), on a donc ncessairement (w) 0.
2.4.1 On a cos t = 1
2.4.2 Daprs ltude prcdente, L(w) admet une drive seconde sur ]0, +[ avec x > 0, L(w)00 (x) =
Z +
(1 cos t)ext dt.
0
L(w)00 (x) =
+
0
(1 cos t)ext dt =
5
1
.
+ 1)
x(x2
1
1
2.4.3 On trouve L(w)0 (x) = ln(x) ln(1+x2 )+ et L(w)(x) = x ln(x) x ln(1+x2 )arctan(x)+x+
2
2
avec et sont des rels.
x
On sait que 0 = lim L(w)(x) = lim x ln
+ + , donc ncessairement = = 0.
x+
x+
1 + x2
Do
1
L(w)(x) = x ln(x) x ln(1 + x2 ) arctan(x).
2
2.5 Un thorme de Csaro
2.5.1 h tant continue par morceaux sur [0, 1] donc borne par un certain M > 0, il est de mme da la
fonction t 7 h(ext ) car si t 0, ext dcrit lintervalle [0, 1]. Ainsi pour tout t 0,
|ext g(t)h(ext )| M ext g(t).
xt
xt
g(t)h(e
) dt =
0
1
h(u)g
0
ln u
x
du.
ln u
Daprs les hypothses lim
du 1 = 0. Maintenant pour tout k IN, on a
g
x
x0+ 0
Z 1
Z 1
ln u
k
k
k
x (X )
u du =
u g
1 du
x
0
0
Z 1
1
ln t
=
g
1 dt avec t = uk+1
k+1 0
(k + 1)x
Z 1
Z 1
1
ln t
k
k
Ainsi lim x (X )
u du = lim
g
1 dt = 0. Donc
(k + 1)x
x0+
x0+ k + 1 0
0
Z 1
k
lim x (X ) =
tk dt,
Z
x0+
Or
Z
x (h)
1
0
Z
h(u) du |x (h) x (Pn )| + x (Pn )
1
0
Z 1
Pn (u) du + (Pn (u) h(u)) du
0
donc lim x (h) x (Pn ) = 0. Les autres termes convergent vers 0 daprs le rsultat de la question
x0
lim x (h) =
x0+
h(t) dt.
1
x
1
x (h1 ).
x
0
Z
1 a
Ainsi, pour tout a > 0, on a
g(t) dt = 1 (h1 ) et donc
a
a 0
Z a
Z 1
1
lim
g(t) dt = lim x (h1 ) =
h1 (t) dt = [ln t]11 = 1.
a+ a 0
e
x0+
0
Do
g(t)dt =
AU VOISINAGE DE L ORIGINIE
f (t)dt avec x > 0. H est C 1 sur [0, +[ et admet une limite finie en +, donc
0
borne sur [0, +[. Pour tout x > 0, la fonction t 7 F (t)ext est intgrable sur ]0, +[ et
lim F (t)ext = 0, donc par une intgration par parties, x > 0,
t+
+
0
f (t)ext dt
do
+
0
3.1.2 On sait que lim F (t) = L(f )(0), donc pour tout > 0, il existe A > 0 tel que |F (t) L(f )(0)|
t+
f (t) dt.
3.3.1 Il existe A > 0 tel que |tf (t)| < 1 ds que x A, et soit z C tel que x = Re(z) > 0. Alors pour tout
etx
etx
et comme la fonction t 7
est intgrable sur [A, +[, car x > 0,
t A, on a |etz f (t)|
t
t
Z
Z
donc lintgrale
3.3.2 Soit > 0 fix. Il existe A > 0 tel que x A |tf (t)| . On a donc :
Z
Z
Z
Z
1 a
1 A
1 a
1 A
(a A)
|tf (t)| dt =
|tf (t)| dt +
|tf (t)| dt
|tf (t)| dt +
a 0
a 0
a A
a 0
a
Z
Z
1 A
1 a
Mais lim
|tf (t)| dt = 0, donc lingalit prcdente montre que lim
|tf (t)| dt = 0.
a+ a 0
a+ a 0
3.3.3 Une tude simple de la fonction u 7 (u) = u eu + 1, montre que (u) 0 pour tout u IR.
3.3.4 Soit a et x des rels strictement positifs, on peut crire :
Z +
Z a
Z a
Z +
xt
xt
f
(t)e
dt
f
(t)
dt
(1
e
)|f
(t)|
dt
+
|f (x)|ext dt
0
0
0
a
Z a
Z +
x
t|f (t)| dt +
|f (t)|ext dt
0
a
Z a
eax
x
t|f (t)| dt + sup |tf (t)|
ax
ta
0
Mais
Z
xt
f (t)e
ext
|tf (t)|
dt
t
a
Z + xt
e
sup |tf (t)|
dt
t
ta
a
Z
dt
eax
1
sup |tf (t)|
ax
ax
ta
Do lingalit demande :
Z
xt
f (t)e
0
dt
Z
f (t) dt x
a
0
1
.
ax
1
; on obtient donc :
x
Z a
Z
1 a
dt
f (t) dt
|tf (t)| dt + sup |tf (t)|.
a 0
ta
0
f (t)e
0
t
a
Soit maintenant > donn. Daprs les donnes et le rsultat de la question 3.3.2, il existe a0 > 0 tel
que pour tout a a0 , on a :
Z
1 a
|tf (t)| dt
a 0
2
8
et
.
2
a+ 0
x0+
f (t) dt .
f (t)dt = .
GNRALISATION DU THORME DE
TAUBER
4.1 La fonction f1 est continue sur IR+ ( cest une fonction de classe C 1 ), donc par oprations les fonctions
f2 et f3 sont continues sur ]0, +[. Z
x
Il existe x ]a, x[ tel que f1 (x) =
tf (t) dt = xx f (x ), ceci montre que que lim f2 (x) existe. De
x0+
0
x
x
mme f3 (x) =
f1 (x ), donc lim f3 (x) existe car 0 <
< 1.
x
x
x0+
4.2 pour tout x > 0 et t > 0, on a |f1 (x)| M x et donc |f2 (t)ext | M ext ; donc lim f2 (t)ext = 0.
x+
M ext
(t)ext
v
xt
f2 (x)e
f2 (t)(ext )0 dt
u
Z v
xt v
= [f2 (t)e ]u +
(f (t) f3 (t)) dt
u
Z v
Z
xu
vx
xt
= f2 (u)e
f2 (v)e
+
f (x)e
dt
dt =
f3 (x)ext dt
entrane :
4.5.1 Daprs le lemme de Littelwood, il suffit donc de montrer que la fonction x 7 x2 L(f )00 (x) est borne
Z +
00
sur ]0, +[. En effet, pour tout x ]0, +[, on a L(f ) (x) =
t2 ext f (t) dt et donc
0
Or
x2 text dt
x0+
ext g(t) dt
=x
0
Z +
tf (t)
xt
= x
dt
e
1
M
0
Z +
Z +
x
= x
ext dt
tf (t)ext dt
M
0
0
1
0
= 1+
xL(f ) (x)
M
xL(g)(x)
Donc
1
lim xL(f )0 (x) = 1.
M x0+
lim xL(g)(x) = 1 +
x0+
1
x+ x
1
x
1
g(t) dt =
x
x
0
1
dt
Mx
g(t)dt = 1. Mais
4.6 Soit donc > 0 et A > 0 tel que |f2 (t)| ds que t A. Alors on peut crire :
Z A
Z +
xt
xt
|xL(f2 )(x)|
xe f2 (t) dt +
xe f2 (t) dt
0
t[0,A]
t[0,A]
xt
xe
dt +
xext dt
4.7 On sait que, daprs la question 4.4, que x > 0, L(f3 )(x) = L(f )(x) xL(f2 )(x), donc lim L(f3 )(x)
x0+
existe et vaut 0 ( daprs les hypothses lim L(f )(x) = 0 ). Le thorme de Tauber ( question 3.3 ) assure
x0+
Z +
que
f3 (t) dt existe et gale 0, car lim xf3 (x) = 0.
0
x0+
10
4.8 On a
L(f )(0) =
f (t)dt =
0
+
0
f 0 (t)
dt = [f2 (t)]+
+
0
t
+
0
f1 (t)
dt = L(f3 )(0),
t
x+
4.9 Considrons la fonction f dfinie sur ]0, +[ par t 7 f (t) = (t) et . La fonction f vrifie les
conditions suivantes :
la fonction 7 tf (t) = t(t) tet est borne sur ]0, +[,
Z +
Z +
la fonction x 7
tend vers 0 lorque x tend vers 0+ .
f (t)ext dt =
(t)ext dt
x
+
1
0
0
Donc, daprs ce qui prcde, L(f )(0) existe vaut 0, cest direL()(0) existe et vaut .
11
Al9ahira
En 3 clics seulement, on livre, tu tudies
en ligne