COMPOSITION DANALYSE : CORRIG

E
I.1. Il sut de remarquer que, pour Re(s) Re(s
0
),
t 0, |F(t)e
st
| = |F(t)|e
Re(s)t
|F(t)|e
Re(s
0
)t
= |F(t)e
s
0
t
|,
donc la convergence absolue de lintegrale pour s
0
implique celle de lintegrale pour s.
I.2. On distingue dierents cas :
(i) (F) = signie que tout reel est dans A(F). Donc dapr`es I.1., tout s complexe est aussi
dans A(F), i.e. A(F) = C.
(ii) (F) = + signie quil nexiste aucun reel dans A(F). Donc dapr`es I.1., il nexiste aucun s
complexe dans A(F), i.e. A(F) = .
(iii) (F) R tel que (F) A(F) : dans ce cas, dapr`es I.1., A(F) est le demi-plan ouvert
{s C | Re(s) > (F)}.
(iv) (F) R tel que (F) A(F) : dans ce cas, dapr`es I.1., A(F) est le demi-plan ferme {s C |
Re(s) (F)}.
I.3. Les exemples suivants illustrent les dierents cas :
(i) F 0 sur R
+
; A(F) = C.
(ii) F(t) = e
t
2
sur R
+
; A(F) = .
(iii) F(t) 1 sur R
+
; A(F) = {s C | Re(s) > 0}.
(iv) F(t) = 1 pour t [0, 1] et F(t) = 1/t
2
pour t 1; A(F) = {s C | Re(s) 0}.
I.4.a. Par hypoth`ese sur s
0
, G est le reste dune integrale convergente, donc G(t) 0 lorsque t +.
De plus G

(t) = F(t)e
s
0
t
.
I.4.b. Il sut decrire
_
X
0
F(t)e
st
dt =
_
X
0
_
F(t)e
s
0
t
__
e
(s
0
s)t
_
dt =
_
X
0
G

(t)e
(s
0
s)t
dt,
et de proceder `a une integration par parties pour obtenir le resultat demande.
I.4.c. Soit s tel que Re(s) > Re(s
0
). Il faut montrer la convergence lorsque X + de lintegrale
calculee en I.4.b. Tout dabord
|G(X)e
(s
0
s)X
| = |G(X)|e
(Re(s
0
)Re(s))X
0
lorsque X + car Re(s
0
) < Re(s). De plus, il existe M
G
> 0 telle que |G(t)| M
G
pour tout t 0
(car G est continue telle G(t) 0 si t +). Donc
_
X
0
|G(t)e
(s
0
s)t
| dt M
G
_
X
0
e
(Re(s)Re(s
0
))t
dt,
qui est une integrale convergente lorsque X +, do` u la convergence absolue de
_
+
0
G(t)e
(s
0
s)t
dt.
Finalement, on peut passer `a la limite dans la relation I.4.b. pour obtenir que s C(F) et
_
+
0
F(t)e
st
dt = G(0) (s
0
s)
_
+
0
G(t)e
(s
0
s)t
dt.
Enn, en notant f = LF et en utilisant le fait que G(0) = f(s
0
), on deduit la relation (1) de lenonce.
I.5. Comme en I.2., on distingue dierents cas :
(i) (F) = implique (en utilisant I.4.c.) C(F) = C.
(ii) (F) = + implique (en utilisant I.4.c.) C(F) = .
(iii) (F) R : dans ce cas, pour tout s P
F
, on a Re(s) > (F) donc, par denition de (F),
il existe (F) tel que Re(s) > > (F). Dapr`es I.4.c., s C(F). Ceci prouve que P
F
C(F).
Par ailleurs, si s

P
F
, alors Re(s) < (F) donc il existe R tel que Re(s) < < (F). Si on avait
1
2
s C(F), alors I.4.c. impliquerait que (F), ce qui impossible (car < (F) et par denition de
(F)). Donc s C(F). Ceci prouve que C(F)

P
F
.
I.6. Cest une consequence directe du fait que la convergence absolue implique la convergence.
I.7.a. Il sut deectuer une integration par parties. Remarque : noter lerreur denonce et ajouter
lhypoth`ese = 0.
I.7.b. Suite ` a la remarque qui prec`ede, modier leg`erement lenonce: montrer que s C(F
1
) pour tout
s C tel que Re(s) = 0 et tel que s = i. Soit s C tel que Re(s) = 0 et tel que s = i, i.e. s = iy
avec y R et y = 1. Il faut etudier la convergence de lintegrale
_
+
0
(sin t/t)e
iyt
dt en +. (Il ny
a pas de probl`eme de convergence en 0 puisque que la fonction F
1
est en fait continue en 0). On ecrit
sin t = (e
it
e
it
)/(2i) et on utilise I.7.a.
_
X
1
sin t
t
e
iyt
dt =
1
2i
_
_
X
1
e
i(1y)t
t
dt
_
X
1
e
i(1y)t
t
dt
_
=
1
2i
_
e
i(1y)X
i(1 y)X

e
i(1y)
i(1 y)
+
1
i(1 y)
_
X
1
e
i(1y)t
t
2
dt

e
i(1y)X
i(1 y)X
+
e
i(1y)
i(1 y)

1
i(1 y)
_
X
1
e
i(1y)t
t
2
dt
_
.
On note que

e
i(1y)X
i(1 y)X

1
(1 y)X
0 si X +,
et

e
i(1y)t
t
2

1
t
2
, donc lintegrale
_
+
1
e
i(1y)t
t
2
dt converge.
De meme pour les autres termes. Ainsi lintegrale
_
+
1
(sin t/t)e
iyt
dt est bien convergente. On a donc
s C(F
1
) pour tout s C tel que Re(s) = 0.
I.7.c. Remarquons que, puisque | sin t| 1,
| sin t| (sin t)
2
=
1 cos 2t
2
.
On en deduit
_
X
1

sin t
t

dt
1
2
_
X
1
1
t
dt
1
2
_
X
1
cos 2t
t
dt.
I.7.d. Dans le membre de droite de I.7.c., la premi`ere integrale est divergente (integrale de Riemann) et
la seconde integrale est convergente (dapr`es un raisonnement identique `a celui eectue en I.7.b.). On en
deduit que lintegrale de F
1
ne converge pas absolument, ce qui signie que 0 A(F
1
). Par ailleurs, par
une majoration evidente, pour tout > 0, lintegrale
_
+
1
sin t
t
e
t
dt
est absolument convergente, ce qui signie que A(F
1
). Ainsi (F
1
) = 0. Puisque 0 A(F
1
), on
deduit alors de I.2. que
A(F
1
) = {s C | Re(s) > 0}.
En particulier, on note que A(F
1
) C(F
1
) mais A(F
1
) = C(F
1
).
I.8. Montrons tout dabord que 0 C(F
2
). On calcule
_
ln N
0
F
2
(t) dt.
Pour cela, il faut penser `a utiliser la representation graphique de F
2
. La zone situee entre le graphe de
F
2
et laxe x = 0 est constituee de triangles T
n
, alternativement situes dans le demi-plan y 0 et dans
le demi-plan y 0. Laire de chaque triangle T
n
vaut
A
T
n
=
ln(n + 1) ln n
2
2
ln(n + 1)(ln(n + 1) ln n)
=
1
ln(n + 1)
.
3
On obtient, pour tout N N,
_
ln N
0
F
2
(t) dt =
N1

n=1
(1)
n
A
T
n
=
N1

n=1
(1)
n
1
ln(n + 1)
,
qui est une serie alternee convergente (son terme general decroit en valeur absolue vers 0). Pour tout
X R, on note N
X
= e
E(X)
. Alors N
X
+ lorsque X + et
_
X
0
F
2
(t) dt =
_
ln N
X
0
F
2
(t) dt +
_
X
ln N
X
F
2
(t) dt.
On a vu que le premier terme est une une integrale convergente lorsque X + et le second terme tend
vers 0 lorsque X + (car il est majore par 1/ln(N
X
+ 1)). Par consequent lintegrale
_
+
0
F
2
(t) dt
converge i.e. 0 C(F
2
).
Montrons maintenant que 1 C(F
2
). On calcule pour N N,
_
ln N
0
|F
2
(t)|e
t
dt =
N1

n=1
_
ln(n+1)
ln(n)
|F
2
(t)|e
t
dt.
Mais ln(n) t ln(n + 1) implique e
t
1/(n + 1) donc
_
ln N
0
|F
2
(t)|e
t
dt
N1

n=1
1
n + 1
_
ln(n+1)
ln(n)
|F
2
(t)| dt =
N1

n=1
1
n + 1
A
T
n
=
N1

n=1
1
n + 1
1
ln(n + 1)
,
qui est une serie de Bertrand divergente. Donc lintegrale
_
+
0
|F
2
(t)|e
t
dt diverge i.e. 1 C(F
2
). On
en deduit (F
2
) 0 < 1 (F
2
) i.e. (F
2
) < (F
2
).
II.1.a. Dapr`es la relation (1), il sut de montrer que la fonction suivante est holomorphe sur le domaine
P
F,s
0
,
:
g(s) :=
_
+
0
G(t)e
(ss
0
)t
dt.
Pour cela, on note
g(s, t) := G(t)e
(ss
0
)t
et on applique le theor`eme dholomorphie cite en debut denonce :
(i) est verie car on a montre en I.4.c. que
_
+
0
G(t)e
(ss
0
)t
dt est absolument convergente;
(ii) est immediat et
g
s
(s, t) = tG(t)e
(ss
0
)t
;
(iii) provient de la majoration suivante : pour tout s C tel que Re(s) > Re(s
0
) +,
|tG(t)e
(ss
0
)t
| M
G
te
(Re(s)Re(s
0
))t
M
G
te
t
L
1
(0, +).
Donc pour tout > 0 et tout s
0
C(F), g est holomorphe sur le domaine P
F,s
0
,
avec de plus
g

(s) =
_
+
0
tG(t)e
(ss
0
)t
dt sur P
F,s
0
,
.
En particulier, f est bien holomorphe sur P
F,s
0
,
.
II.1.b. Le resultat precedent etant vrai pour tout > 0 et tout s
0
C(F), on en deduit que g et f sont
holomorphes sur P
F
. De plus
g

(s) =
_
+
0
tG(t)e
(ss
0
)t
dt sur P
F
.
Par ailleurs, (1) implique
f

(s) = (s s
0
) g

(s) + g(s) =
_
+
0
_
(s s
0
)tG(t) +G(t)
_
e
(ss
0
)t
dt.
4
Or, une integration par parties donne
_
X
0
(s s
0
)tG(t)e
(ss
0
)t
dt = [tG(t)e
(ss
0
)t
]
X
0

_
X
0
(G(t) +tG

(t))e
(ss
0
)t
dt
= XG(X)e
(ss
0
)X

_
X
0
G(t)e
(ss
0
)t
dt
_
X
0
tF(t)e
st
dt,
car G

(t) = F(t)e
s
0
t
. Lorsque X +, on obtient
_
+
0
(s s
0
)tG(t)e
(ss
0
)t
dt =
_
+
0
G(t)e
(ss
0
)t
dt
_
+
0
tF(t)e
st
dt.
On en deduit
f

(s) =
_
+
0
tF(t)e
st
dt.
II.2.a. S

(s
0
) represente un secteur angulaire de sommet s
0
et dangle douverture 2. Pour tout
s S

(s
0
), on peut ecrire
Re(s s
0
) = |s s
0
| cos(arg (s s
0
)),
avec |arg (s s
0
))| . Donc
Re(s s
0
) |s s
0
| cos().
II.2.b. Dapr`es la relation (1), il sut de montrer que la quantite
Q
n
:= (s
n
s
0
)
_
+
0
G(t)e
(s
n
s
0
)t
dt 0 lorsque n +.
On a vu que G(t) 0 si t +. Donc pour tout > 0, il existe A > 0 tel que |G(t)| pour tout
t A. On xe ainsi A. On en deduit

(s
n
s
0
)
_
+
A
G(t)e
(s
n
s
0
)t
dt

|s
n
s
0
|
_
+
A
e
Re(s
n
s
0
)t
dt |s
n
s
0
|
e
(Re(s
n
s
0
))A
Re(s
n
s
0
)


cos
.
Par ailleurs, on a vu que il existe M
G
> 0 tel que |G(t)| M
G
pour tout t. Donc

(s
n
s
0
)
_
A
0
G(t)e
(s
n
s
0
)t
dt

|s
n
s
0
|M
G
A 0 lorsque n +.
Donc il existe N N tel que ce dernier terme soit plus petit que lorsque n N. Ceci donne le resultat.
II.3.a. Puisque G(0) = f(s
0
), on a clairement
(s s
0
)
_
+
0
G(0)e
(ss
0
)t
dt = G(0)[e
(ss
0
)t
]
+
0
= G(0) = f(s
0
).
En combinant avec la relation (1), on en deduit (2).
II.3.b. Pour tout > 0, on ecrit dapr`es (2),
f(s
n
) = Q
1
+Q
2
,
avec
Q
1
:= (s
n
s
0
)
_

0
(G(t) G(0))e
(s
n
s
0
)t
,
et
Q
2
:= (s
n
s
0
)
_
+

(G(t) G(0))e
(s
n
s
0
)t
.
Par continuite de G en 0, pour tout > 0, il existe > 0 tel que |G(t) G(0)| pour tout t tel que
0 t . On xe ainsi . Alors
|Q
1
| |s
n
s
0
|
_

0
e
Re(s
n
s
0
)t
dt |s
n
s
0
|
e
(Re(s
n
s
0
))
1
(Re(s
n
s
0
))
|s
n
s
0
|
1
cos
.
Par ailleurs, on montre egalement
|Q
2
| |s
n
s
0
|2M
G
e
(Re(s
n
s
0
))
(Re(s
n
s
0
))

2M
G
cos
e
(Re(s
n
s
0
))
0,
lorsque n + car Re(s
n
) +. Ceci donne le resultat.
5
II.4.a. Notons que H

(t) = F

(t)e

0
t
et que H(0) = 0. Une integration par parties donne
e
sX
_
X
0
F

(t) dt = e
sX
_
X
0
(F

(t)e

0
t
)e

0
t
dt = e
sX
_
[H(t)e

0
t
]
X
0

0
_
X
0
H(t)e

0
t
dt
= H(X)e
(s
0
)X

0
e
sX
_
X
0
H(t)e

0
t
dt.
Puisque
0
C(F

), H(X) 0 lorsque X +. Or H est continue, donc il existe M

H
> 0 telle que
|H(t)| M
H
pour tout t 0. On en deduit que le premier terme tend vers 0 lorsque X + (car il
est majore par M
H
e
(Re(s)
0
)X
). Par ailleurs
|e
sX
_
X
0
H(t)e

0
t
dt| M
H
e
Re(s)X
_
X
0
e

0
t
dt =
M

0
(e
(Re(s)
0
)X
e
Re(s)X
) 0,
lorsque X + (car Re(s)
0
> 0 et Re(s) > 0). Ceci prouve le resultat.
II.4.b. Il sut decrire
e
sX
F(X) = e
sX
_
X
0
F

(t) dt +e
sX
F(0),
car ces deux termes tendent vers 0 lorsque X +.
II.4.c. Soit s C tel que Re(s) >
0
. Une integration par parties donne, pour tout X > 0,
_
X
0
F

(t)e
st
dt = F(X)e
sX
F(0) +s
_
X
0
F(t)e
st
dt.
Dans le membre de droite, le premier terme tend vers 0 lorsque X +. Le membre de gauche converge
(vers L(F

)(s)) par le choix de s et lhypoth`ese sur

0
. On en deduit donc que lintegrale du membre
de droite converge egalement (donc vers sL(F)(s)). Ceci nous assure que s C(F) pour tout s tel que
Re(s) >
0
. On en deduit que (F)
0
. De plus, en passant `a la limite dans la relation precedente, on
obtient
L(F

)(s) = F(0) +sL(F)(s).

II.5.a. Il sut decrire

_
1
0
(P
n
) dx

(0,1)
P
n

L

(0,1)
0,
lorsque n + par hypoth`ese. (On a utilise que
L

(0,1)
< + car est une fonction continue sur
un compact).
II.5.b. Par linearite de lintegrale, lhypoth`ese implique
_
1
0
(x)P(x) dx = 0,
pour tout polyn ome P. Dapr`es le theor`eme de Stone-Weierstrass cite en debut denonce, il existe une
suite de polyn omes P
n
telle que P
n
uniformement lorsque n +. On a donc, du fait de la
convergence uniforme sur lintervalle borne [0, 1],
0 =
_
1
0
(x)P
n
(x) dx
_
1
0
(x) (x) dx =
_
1
0
|(x)|
2
dx lorsque n +.
Par consequent 0 sur [0, 1] (du fait de la continuite de ).
II.6.a. Par hypoth`ese, la relation (2) implique
(s s
0
)
_
+
0
(G(t) G(0))e
(ss
0
)t
dt = f(s) = 0.
Le changement de variable x = e
t
donne
_
1
0
_
G(ln(x)) G(0)
_
x
ss
0
+1
dx = 0 pour tout s tel que Re(s) > Re(s
0
).
6
On note (x) = G(ln(x)) G(0) pour tout x [0, 1]. Cette fonction est bien continue sur [0, 1] (elle est
continue en 0 car G admet une limite en +). Pour tout n N, on peut appliquer la relation precedente
`a s =
0
+ 1 +n, ce qui donne
n N,
_
1
0
(x)x
n
dx = 0.
Ainsi (x) = 0 pour tout x [0, 1] dapr`es II.5.b. En revenant `a la variable t, on obtient G(t) = G(0)
pour tout t 0, do` u G

(t) = F(t)e
s
0
t
= 0 pour tout t 0. Finalement F 0.
II.6.b. Il sut dappliquer la question II.6.a. `a F = F
1
F
2
.
II.6.c. On pose F = F
1
F
2
et f = f
1
f
2
et on raisonne comme en II.6.a. mais avec le changment de
variable x = e
t
. On obtient alors dapr`es (2),
f(s) =
s s
0

_
1
0
_
G(
ln(x)

) G(0)
_
x
ss
0

+1
dx =
s s
0

_
1
0
(x)x
ss
0

+1
dx,
o` u maintenant (x) = G(ln(x)/) G(0). Par hypoth`ese, f(s
0
+ n) = 0 pour tout n N, ce qui
donne
n N,
_
1
0
(x)x
n
dx = 0.
On peut alors conclure comme en II.6.a.
III.1. Une integration directe donne : L(F
3
)(s) = 1/s pour tout s C tel que Re(s) > 0.
III.2.a. En ecrivant la denition de L, on obtient : g

(s) = f(s ).
III.2.b. En appliquant III.2.a. `a la fonction denie par F(t) = 1 pour tout t, on obtient que limage
de t e
t
est f(s ), o` u f(s) = 1/s est limage de F. Donc limage de la fonction denie en (i) est
1/(s ). Pour la suite, on ecrit
sin(t) =
e
it
e
it
2i
et cos(t) =
e
it
+e
it
2
,
et on utilise le resultat (i) (et la linearite de L). Limage de la fonction denie en (ii) est /(s
2
+
2
) et
limage de la fonction denie en (iii) est s/(s
2
+
2
).
III.3.a. En utilisant II.1.b. et III.2.b.(ii), on obtient
f

1
(s) =
_
+
0
tF
1
(t)e
st
dt =
_
+
0
sin(t)e
st
dt =
1
s
2
+ 1
,
pour tout s C tel que Re(s) > 0. Pour tout s = reel tel que > 0, on obtient
f

1
() =
1

2
+ 1
et donc f
1
() = arctan () +C,
o` u C est une constante qui vaut /2 (car II.3.b. implique que f
1
() 0 lorsque +). On obtient
donc
> 0, f
1
() = arctan () +

2
.
III.3.b. Il faut calculer f
1
(0). On a vu que 0 C(F
1
). Ceci implique f
1
() f
1
(0) lorsque 0 avec
> 0. En eet, si 0 P
F
1
, cest une consequence directe de lholomorphie (et donc de la continuite)
de F
1
sur P
F
1
. Et si 0 C(F
1
) \ P
F
1
, cest une consequence de la question II.2.b. (lensemble des
reels tels > 0 est bien dans un secteur S

(0)). Finalement, la valeur de lintegrale est f

1
(0) =
lim
0
( arctan () +/2) = /2.
III.3.c. La fonction g(z) est holomorphe sur C \ {0}. Puisque 0 est `a lexterieur du chemin choisi, la
formule de Cauchy assure que I :=
_

g(z) dz = 0. Par ailleurs, on peut aussi calculer I de la mani`ere

suivante :
I =
_
R
r
e
it
t
dt +
_

0
e
iRe
i
i d +
_
r
R
e
it
t
dt +
_
0

e
ire
i
i d.
7
Les deuxi`eme et quatri`eme termes tendent, respectivement, vers 0 et vers i losrque, respectivement,
R + et r 0. En eet, puisque sin > 0 pour tout ]0, /2[,
|e
iRe
i
i| e
Rsin
0 lorsque R +.
Donc le terme e
iRe
i
i tend vers 0 (pour presque tout ) lorsque R + et il majore par 1. Donc,
dapr`es le theor`eme de convergence dominee, le deuxi`eme terme tend vers 0 lorsque R +. De meme,
le terme e
ire
i
i tend vers i si r 0 et est majore par 1. Donc le quatri`eme terme tend vers i lorsque
r 0. Il reste `a etudier
_
R
r
e
it
t
dt +
_
r
R
e
it
t
dt =
_
R
r
e
it
t
dt
_
R
r
e
it

dt

= 2i
_
R
r
sin t
t
dt 2i
_
+
0
sin t
t
dt,
lorsque R + et r 0. Finalement on retrouve le resultat
_
+
0
sin t
t
dt = /2.
IV.1. Pour tout t 0, le support de la fonction F()G(t ) est lintervalle [0, t], donc il sut
detudier la convergence de lintegrale
J
t
:=
_
t
0
F()G(t ) d
en 0 et en t (pour t = 0 xe). Or |F()G(t )| |G(t)||F()| lorsque t 0. La convergence (absolue)
de lintegrale J
t
en 0 suit donc de la convergence absolue de lintegrale
_
1
0
F() d, (car F C

). De
meme, si on pose u = t , |F()G(t )| = |F(t u)G(u)| |F(t)||G(u)| lorsque t (i.e. u 0).
La convergence (absolue) de J
t
en t suit donc de la convergence absolue de lintegrale
_
1
0
G(u) du, (car
G C

). Ceci donne le resultat.

IV.2. Soit s
0
A(F) A(G). Montrons que s
0
A(F G) :
_
+
0
|(F G)(t)e
s
0
t
| dt
_
+
0
_
t
0
|F()G(t )e
s
0
t
| ddt
=
_
+
0
_
+

|F()G(t )e
s
0
t
| dtd,
par le theor`eme de Fubini-Tonelli. Donc
_
+
0
|(F G)(t)e
s
0
t
| dt
_
+
0
_
_
+

|G(t )e
s
0
(t)
| dt
_
|F()e
s
0

| d
=
_
+
0
_
_
+
0
|G(u)e
s
0
u
| du
_
|F()e
s
0

| d
=
_
+
0
|F()e
s
0

| d
_
+
0
|G(u)e
s
0
(u)
| du < +,
ce qui donne s
0
A(F G). Soit maintenant s C tel que Re(s) Re(s
0
). On a donc s A(F G)
donc la fonction t (F G)(t)e
st
est dans L
1
(R), ce qui permet dappliquer le theor`eme de Fubini :
L(F G)(s) =
_
+
0
(F G)(t)e
st
dt =
_
+
0
_
t
0
F()G(t )e
st
ddt
=
_
+
0
_
+

F()G(t )e
st
dtd =
_
+
0
_
_
+

G(t )e
s(t)
dt
_
F()e
s
d
=
_
+
0
_
_
+
0
G(u)e
s(u)
du
_
F()e
s
d
=
_
+
0
F()e
s
0

d
_
+
0
G(u)e
s
0
(u)
du = L(F)(s)L(G)(s).
IV.3.a. On eectue le changement de variables = t cos
2
. Alors,
_
t
0
1
_
(t )
d =
_
/2
0
2t cos sin

t
2
cos
2
sin
2

d =
_
/2
0
2 d = .
8
IV.3.b. La fonction K est continue sur ]0, +[ et son integrale est absolument convergente en 0, donc
K C

. Pour tout > 0, lintegrale

_
+
1
e
t
/

t dt converge donc (K) 0 et pour tout > 0, cette

integrale diverge donc (K) 0. On a donc (K) = 0.
IV.3.c. Dapr`es IV.1. et IV.3.a, (K K)(t) = . Or limage par LL de la fonction identiquement egale
`a 1 est 1/s. Donc L(K K)(s) = /s. Par ailleurs, dapr`es IV.2., L(K K)(s) = (L(K)(s))
2
. On en
deduit L(K)(s) =

/R(s) pour s C tel que Re(s) > (K) = 0. Or il est clair que k(s) > 0 si s R,
s > 0. Donc L(K)(s) = +

/R(s) pour tout s C tel que Re(s) > (K) = 0.

IV.4.a. Si F(t) = sin t, on a vu que f(s) = LF(s) = 1/(s
2
+ 1). En prolongeant K et G par 0 sur
] , 0[ et en appliquant IV.1., lequation (3) est equivalente `a lequation (G K)(t) = sin(t). On
suppose que G C est solution, et on transforme lequation par L. En utilisant IV.2., on obtient :
g(s)k(s) = 1/(s
2
+ 1), o` u g = LG. Donc
g(s) =
1
(s
2
+ 1)k(s)
=
1
s
2
+ 1
R(s)

=
1

s
s
2
+ 1

R(s)
=
1

s
s
2
+ 1
k(s).
Ainsi, en utilisant la propriete dunicite de II.6.b. et la question III.2.b.(iii),
G(t) =
1

(cos K)(t) =
1

_
t
0
cos

t
d,
do` u lunicite de la solution G de (3). Reciproquement, G ainsi denie est bien dans C et est bien solution
de (3).
IV.4.b. Plus generalement, lequation (3) est equivalente `a lequation (G K)(t) = F(t). Ceci implique
en transformant par L : g(s)k(s) = f(s), o` u g = LG et f = LF. Donc
g(s) =
f(s)
k(s)
= f(s)
R(s)

=
1

sf(s)

R(s)
=
1

(sf(s))k(s).
Or, dapr`es II.4.c., limage par L de F

(t) est la fonction sf(s) F(0) = sf(s). Donc

G(t) =
1

(F

K)(t) =
1

_
t
0
F

()

t
d.
V.1. Pour tout > (F), lintegrale
_
+
0
|G

(t)| dt =
_
+
0
|F(t)|e
t
dt converge, donc G

est dans
L
1
(R). De plus,

(y) =
_
+
0
F(t)e
t
e
iyt
dt =
_
+
0
F(t)e
(+iy)t
dt = f( +iy).
V.2.a. Pour tout > (F), on majore
|

(y)| = |f( +iy)|

C

| +iy|
k
=
C

(
2
+y
2
)
k/2

C

y
k
,
lorsque y avec k > 1. Donc lintegrale de

G

converge en . Donc

G

est dans L
1
(R). (Il ny
a pas dautre probl`eme que la convergence en car f est holomorphe sur le demi-plan Re(s) > (F)
donc

G

est continue).
V.2.b. Pour tout > (F), G

et

G

sont dans L
1
(R). Donc la formule de Fourier inverse donne :
G

(t) =
1
2
_
+

(y)e
iyt
dy pour presque tout t R,
i.e.
F(t) =
1
2
e
t
_
+

f( +iy)e
iyt
dy pour presque tout t R.
V.2.c. La fonction t f( +iy)e
iyt
est continue pour tout y R et
t, y, |f( +iy)e
iyt
| |f( +iy)|
C

(
2
+y
2
)
k/2
L
1
(R).
9
Dapr`es le theor`eme de continuite dune integrale `a param`etre, la fonction t
_
+

f( + iy)e
iyt
dy est
continue sur R ainsi que la fonction
t
e
t
2
_
+

f( +iy)e
iyt
dy.
Donc legalite de la question V.2.b. est vraie en tout point o` u F est continue donc elle est vraie en
particulier pour tout t > 0.
V.2.d. On utilise le parametrage suivant de

: y R +iy pour obtenir

1
2i
_

f(z)e
zt
dz =
1
2i
_
+

f( +iy)e
(+iy)t
idy = F(t).
V.3. f est holomorphe sur {s C | Re(s) > (F)}, donc Re(s
k
) (F) pour tout k. En particulier,
Re(s
k
) < pour tout k.
V.4.a. On utilise le param`etrage suivant de C
,n
:
[/2, 3/2] +
n
e
i
,
puis on majore

1
2i
_
C
,n
f(z)e
zt
dz

=
1
2

_
3/2
/2
f( +
n
e
i
)e
(+
n
e
i
)t
i
n
e
i
d

1
2
_
3/2
/2

f( +
n
e
i
)

e
t
e

n
cos()t

n
d
1
2

,n
e
t

n
_
3/2
/2
e

n
cos()t
d
=

,n

e
t
_
3/2
/2
e

n
cos()t
d.
V.4.b. Sur [/2, ], cos 12/ (en utilisant le fait que la fonction cos est convexe sur cet intervalle).
V.4.c. Il sut de majorer

1
2i
_
C
,n
f(z)e
zt
dz

,n

n
e
t

_

/2
e

n
t(12/)
d

,n
e
t
2t
(1 e

n
t
)

,n
e
t
2t
0,
lorsque n +.
V.5.a. Dapr`es le theor`eme des residus,
n N,
_

,n
f(z)e
zt
dz = 2i

kI
n
Res (g
t
, s
k
),
o` u I
n
designe lensemble des k tels que s
k
est situe `a linterieur de la courbe
,n
. En faisant tendre n
vers +, on en deduit
lim
n+
1
2i
_

,n
f(z)e
zt
dz =
+

k=1
Res (g
t
, s
k
).
V.5.b. Or,
lim
n+
1
2i
_

,n
f(z)e
zt
dz = lim
n+
1
2i
_
C
,n
f(z)e
zt
dz + lim
n+
1
2i
_

,n
f(z)e
zt
dz
= 0 +
1
2i
_

f(z)e
zt
dz = F(t),
o` u lon a utilise les questions V.4.c. et V.2.d. On en deduit F(t) =

+
k=1
Res (g
t
, s
k
).