Centrale PSI 1

Un corrigé

1 Préliminaires, définition de la transformation L.

I.A. L’intégrabilité entraı̂ne la convergence de l’intégrale et on a donc

E ⊂ E0

I.B. Si x ∈ E alors ∀y ≥ x, ∀t ∈ R+ , |f (t)e−λ(t)y) ≤ |f (t)|e−λ(t)x (car λ(t) ≥ 0) et, le majorant

étant intégrable sur R+ , on a y ∈ E. On vient donc de voir que

∀x ∈ E, [x, +∞[⊂ E

On suppose désormais E non vide et on distingue deux cas.

- Si E n’est pas minoré ; pour tout réel y il existe x ∈ E tel que x ≤ y et ce qui précède indique
indique que y ∈ E. On a donc
E=R
- Si E est minoré, étant non vide il possède une borne inférieure α et E ⊂ [α, +∞[. Par ailleurs,
si y > α alors (caractérisation de la borne inférieure) il existe x ∈ E tel que x ≤ y et ainsi
y ∈ E. On a prouvé que
]α, +∞[⊂ E ⊂ [α, +∞[
et E est égal à l’un des intervalles ]α, +∞[ ou [α, +∞[.
I.C. Il s’agit d’utiliser le théorème de continuité des intégrales à paramètres.
- ∀x ∈ E, t 7→ f (t)e−λ(t)x est continue sur R+ .
- ∀t ≥ 0, x 7→ f (t)e−λ(t)x est continue sur E.
- ∀[a, b] ⊂ E, ∀x ∈ [a, b], ∀t ≥ 0, |f (t)e−λ(t)x | ≤ |f (t)|e−λ(t)a . Le majorant est indépendant de
x et est intégrable sur R+ .
Le théorème s’applique et donne
Lf ∈ C 0 (E)

2 Exemples dans le cas de f positive.

II.A. L’intégrabilité de g sur I correspondant à la convergence de l’intégrale de |g| sur I, si f est
positive alors E = E 0 .
II.B. Dans les trois cas proposés, la fonction f est positive (en B.1) cela découle de la croissance
supposée de λ). On
R a peut−λ(t)x
donc indifféremment étudier la convergence de l’intégrale (i.e. l’existence
d’une limite de 0 f (t)e dt quand a → +∞) ou l’intégrabilité (au voisinage de +∞ car les
fonctions sont continues sur R+ et +∞ est donc le seule problème).
II.B.1) Soit a ∈ R+ . On a
t=a
a
e−λ(0)x − e−λ(a)x
Z 
1
∀x 6= 0, λ0 (t)e−λ(t)x dt = − e−λ(t)x =
0 x t=0 x

λ étant croissante et non majorée tend vers +∞ en +∞ et ainsi

a
e−λ(0)x
Z
∀x > 0, lim λ0 (t)e−λ(t)x dt =
a→+∞ 0 x
Z a
∀x < 0, lim λ0 (t)e−λ(t)x dt = +∞
a→+∞ 0

1
 Ra
Enfin (cas x = 0) 0 λ0 (t) dt = λ(a) − λ(0) → +∞ quand a → +∞. On a donc montré que

e−λ(0)x
E = E 0 = R+∗ et ∀x > 0, Lf (x) =
x

II.B.2) Soit x ∈ R. On a ∀t ≥ max(x, 0), f (t)e−λ(t)x = eλ(t)(t−x) ≥ 1. On n’a donc pas intégrabilité
au voisinage de +∞ et
E=∅
e−λ(t)(x+t)
II.B.3) Soit x ∈ R. On a ∀t ≥ max(−x, 0), 0 ≤ f (t)e−λ(t)x = 1+t2
≤ 1
1+t2
. Le majorant
étant intégrable, on a x ∈ E. Ainsi
E = E0 = R
R +∞ e−xt2
II.C. Il s’agit d’étudier la fonction x 7→ 0 1+t2
dt.
2
e−xt 1
II.C.1) Si x ≥ 0 alors 0 ≤ 1+t2
≤ 1+t2
qui est intégrable sur R+ . On a donc x ∈ E.
−xt2 −xt2
Si x < 0, t e1+t2 → +∞ quand t → +∞ (croissances comparées) et t 7→ e1+t2 n’est pas intégrable
au voisinage de +∞ (comparaison à la fonction de Riemann t 7→ 1/t) et x ∈/ E. On a donc

E = R+
1
On a immédiatement (arctan étant une primitive de t 7→ 1+t2
sur R)
Z +∞
dt π
Lf (0) = 2
=
0 1+t 2

II.C.2) Il s’agit d’utiliser le théorème de régularité des intégrales à paramètres.

2
e−xt
- ∀x > 0, ∀t ≥ 0, t 7→ 1+t2
est intégrable sur R+ .
e −xt2 2 −xt2
- ∀t ≥ 0, x 7→ 1+t2
est de classe C 1 sur R+∗ de dérivée x 7→ − t 1+t
e
2 .
2 e−xt2
- ∀x > 0, t 7→ − t 1+t 2 est continue sur R+ .
- On a  
 t2 e−xt2  t2 −at2
∀a > 0, ∀x ≥ a, ∀t ≥ 0, − ≤ e = ψ(t)
 
 1 + t2  1 + t2


ψ est continue sur R+ et négligeable devant 1/t2 au voisinage de +∞ (car a > 0) ; c’est donc
une fonction intégrable sur R+ .
Le cours indique alors que Lf est de classe C 1 sur R+∗ avec
Z +∞
0 t2 −xt2
∀x > 0, (Lf ) (x) = − e dt
0 1 + t2

Remarque : on ne sait rien quant à la dérivabilité en 0 et on ne s’en occupera que si cela s’avère
utile dans la suite.
II.C.3) On en déduit que
Z +∞ Z +∞
0 xt2 A 2
∀x > 0, Lf (x) − (Lf ) (x) = e dt = √ avec A = e−t dt
0 x 0
√
la dernière égalité provenant du changement de variable u = t x.
Remarque : Lf étant continue en 0, on a donc (Lf )0 (x) → −∞ quand x → 0+ . Par théorème
de limite de la dérivée (avec Lf ∈ C 0 (R+ ) ∩ C 1 (R+∗ ), on peut en déduire que Lf n’est PAS
dérivable en 0 mais que son graphe présente en (0, π/2) une demi-tangente verticale.

2
 II.C.4) g est dérivable sur R+∗ et

e−x
∀x > 0, g 0 (x) = e−x ((Lf )0 (x) − Lf (x)) = −A √
x
−x Rx −t
x 7→ e√x est continue sur R+∗ et le théorème fondamental indique que x 7→ 1 e√
t
dt en est une
primitive sur R. Deux primitives sur un intervalle différenat d’une constante,
Z x −t
e
∃c ∈ R/ ∀x > 0, g(x) = c − A √ dt
1 t
Par ailleurs, g est continue en 0 (Lf l’est) et g(x) → g(0) = π2 quand x → 0. On en déduit que
l’on peut passer à la limite dans l’égalité ci-dessus (en particulier, l’intégrale existe sur [0, 1] ce
qui n’est pas surprenant car la fonction que l’on intègre est prolongeable par continuité en 0).
R 0 −t
On obtient c = π2 + A 1 e√t dt. Finalement, on a

x
e−t
Z
π
∀x > 0, g(x) = − A √ dt
2 0 t
et l’égalité reste vraie en x = 0 (elle se lit g(0) = π/2).
II.C.5) Remarquons que
Z +∞
−x dt
∀x ≥ 0, 0 ≤ g(x) ≤ e −→ 0
0 1 + t2 x→+∞

En faisant tendre x vers +∞ dans l’identité de la question précédente, on obtient donc

Z x −t
e π
lim A √ dt =
x→+∞ 0 t 2
√ √
Par ailleurs, le changement de variable u = t (licite car t 7→ t est un C 1 difféomorphisme de
√
]0, x[ dans ]0, x[) donne
√
x
e−t x
Z Z
2
∀x > 0, √ dt = 2 e−u du
0 t 0

π
Cette quantité tend vers 2A quand x → +∞ et finalement, 2A2 = 2 ou encore (comme A ≥ 0)
Z +∞ √
−t2 π
e dt = A =
0 2

3 Etude d’un premier exemple.

III.A. Comme et − 1 ∼0 t, on a f (t) → 0 quand t → 0+ . f est donc prolongeable par continuité
en posant
f (0) = 0
III.B. Soit x ∈ R ; g : t 7→ f (t)e−xt est continue sur R+ et g(t) ∼ 2t e−xt en +∞ (car f (t) ∼+∞
t/2). Si x > 0, g est intégrable au voisinage de +∞ (négligeable devant 1/t2 ). Si x ≤ 0, g est
non intégrable au voisinage de +∞ (de limite infinie). Ainsi

E = R+∗

3
III.C. Par définition, on a Z +∞
∀x > 0, Lf (x) = f (t)e−xt dt
0

Par ailleurs, pour t > 0 on a e−t ∈ [0, 1[ et donc

+∞
X t
∀t > 0, f (t) = te−t e−kt − 1 +
2
k=0

Les fonctions t 7→ e−xt et t 7→ te−xt étant intégrables sur R+ pour x > 0, on peut découper
Lf (x) en trois morceaux pour x > 0 et obtenir
Z +∞
+∞ X Z +∞ Z +∞
−(k+1+x)t −xt 1
∀x > 0, Lf (x) = te dt − e dt + te−xt dt
0 0 2 0
k=0

Ra h ia Ra
Pour y > 0, une intégration par parties donne 0 te−yt dt = − yt e−yt + 1
y 0 e−yt dt =
0
−aye−ya +1−e−ay
y2
. En faisant tendre a vers +∞, on trouve alors
Z +∞
1
∀y > 0, te−ay dt =
0 y2
et ainsi
Z +∞
+∞ X
1 1
∀x > 0, Lf (x) = 2 − + te−(k+1+x)t dt
2x x 0 k=0

On veut maintenant intervertir somme et intégrale par le théorème d’intégration terme à terme.
On travaille pour un x > 0 fixé.
- Posons fk : t 7→ te−(k+1+x)t . . .fk est continue pour tout k ≥ 0 et (fk ) converge simplement
P
sur R+∗ de somme t 7→ et −1 t
e−xt qui est aussi continue sur R+∗ .
R +∞ 1
- Les fk sont intégrables sur R+ et 0 |fk | = (k+1+x) 2 est le terme général d’une série conver-
gente.
Le théorème s’applique et le calcul d’intégrale fait plus haut donne
+∞
1 1 X 1
∀x > 0, Lf (x) = 2 − +
2x x (k + x + 1)2
k=0

C’est la formule voulue (il suffit de poser n = k + 1).

III.D. On vient de voir que
+∞
1 1 X 1
∀x > 0, Lf (x) − 2
+ =
2x x (n + x)2
n=1

1 1
- Posons hn : x 7→ (n+x) 2 . On a khn k∞,R+ ≤ n2 qui est le terme général d’une série convergente.

Ainsi, (hn ) converge normalement sur R+ .

P
- Les hn sont continues sur R+ .
Le cours indique que la somme de la série (hn ) est continue sur R+ . En pariculier,
P

+∞
X 1 π2
lim Lf (x) = =
x→0+ n2 6
n=1

4
4 Généralités dans le cas typique.
IV.A. Il s’agit d’utiliser le théorème de régularité des intégrales à paramètres.
- Pour tout x > α (et donc x ∈ E) t 7→ e−xt f (t) est intégrable sur R+ .
- Pour tout t ≥ 0, x 7→ e−xt f (t) est de classe C ∞ sur ]α, +∞[ de dérivée n-ième x 7→
(−t)n e−xt f (t).
- Pour tout x > α, t 7→ (−t)n e−xt f (t) est continue sur R+ .
- Soient n ∈ N∗ et [a, b] ⊂]α, +∞[. On a

∀x ∈ [a, b], ∀t ≥ 0, |(−t)n e−xt f (t)| ≤ tn e−at |f (t)| = φn (t)

φn est continue sur R+ et présente un unique problème d’intégrabilité en +∞. Comme a >
α = inf(E), il existe c ∈ E tel que a > c (caractérisation de la borne inférieure). On a alors,
au voisinage de +∞, φn (t) = e−ct |f (t)|tn e−(a−c)t = o(e−ct f (t)) (car a − c > 0). Comme c ∈ E,
t 7→ e−ct f (t) est intégrable au voisinage de +∞ (sur R+ ). Ainsi, φn est intégrable au voisinage
de +∞ elle aussi et donc elle l’est sur R+ .
Le théorème s’applique. Il indique que Lf ∈ C ∞ (]α, +∞[) et
Z +∞
∀n ∈ N∗ , ∀x > α, (Lf )n (x) = (−1)n tn f (t)e−xt dt
0
R +∞
IV.B. Comme f est positive, on a E = E 0 . Il s’agit de trouver les x ∈ R tel que 0 tn e−(x+a)t dt
converge (le seul problème étant celui au voisinage de +∞) ou tels que t 7→ tn e−(x+a)t est
intégrable sur R+ (idem). Si x+a > 0 alors tn e−(x+a)t = o(1/t2 ) au voisinage de +∞ (croissances
comparées) et la fonction est intégrable au voisinage de +∞. Si x+a ≤ 0 alors t.tn e−(x+a)t → +∞
quand t → +∞ et la fonction n’est donc pas intégrable au voisinage de +∞. Finalement ;

E = E 0 =] − a, +∞[

RPour y > 0 et n ∈R N∗ , une intégration par parties donne (en omettant les détails de calcul)
+∞ n −yt +∞
0 t e dt = ny 0 tn−1 e−yt dt. On en déduit par récurrence simple que
Z +∞
n!
∀y > 0, ∀n ∈ N, tn e−yt dt =
0 y n+1

En particulier, on a
n!
∀x > −a, Lf (x) =
(x + a)n+1
IV.C.1) On fixe β > 0. Posons g : t 7→ f (t) − nk=0 ak!k tk . On sait qu’au voisinage de 0 on a
P
g(t) = O(tn+1 ). Il existe donc M ∈ R+ et c ∈]0, β[ tel que

∀t ∈ [0, c], |g(t)| ≤ M tn+1

La relation de Chasles, l’inégalité triangulaire et la croissance du passage à l’intégrale donnent

Z β  Z c Z β Z c
−tx −tx −xt
tn+1 e−tx dt+kgk∞,[c,β] (β−c)e−cx
 
 g(t)e dt≤ |g(t)|e dt+kgk ∞,[c,β] e dt ≤ M
 
0 0 c 0

Le calcul de IV.B indique alors que

Z β 
−tx
 M (n + 1)!
+ kgk∞,[c,β] (β − c)e−cx = Ox→+∞ (x−n−2 )

 g(t)e dt≤

0
 xn+2

ce qui correspond au résultat demandé.

5
IV.C.2) Avec le calcul de IV.B on a (en continuant à utiliser la fonction g introduite en IV.C.1)
n Z +∞
X ak
∀x ∈ E ∩ R +∗
, Lf (x) − = g(t)e−tx dt
xk+1 0
k=0

La question précédente donne un renseignement pour l’intégrale entre 0 et 1. Intéressons-nous à

l’autre partie. Fixons c ∈ E ∩ R+∗ (c existe car E est non majoré), travaillons avec x ≥ c + 1 et
écrivons que
∀t ≥ 1, |g(t)e−tx | = |g(t)e−ct e−(x−c)t | ≤ |g(t)e−ct |e−(x−c)
t 7→ g(t)e−ct est intégrable sur [1, +∞[ (car c ∈ E donc t 7→ f (t)e−ct est intégrable et c > 0 donc
pour tout k, t 7→ tk e−ct est aussi intégrable sur R+ ). On a alors
Z +∞  Z +∞
−xt  ≤ e−(x−c) |g(t)|e−ct dt
 

 g(t)e dt 
1 1

et cet terme est dominé par (et même négligeable devant) x−n−2 quand x → +∞. En sommant,
on a alors
n
Z +∞ !
X ak k −tx
f (t) − t e dt = O(x−n−2 )
0 k!
k=0

et le calcul de IV.B donne

n
X ak
Lf (x) = + O(x−n−2 )
xk+1
k=0

IV.D.1) f est continue sur R+ et admet une limite en +∞ et elle est donc bornée sur R+ (majorée
en module par |`| + 1 au voisinage de +∞ et continue sur le segment qui reste). Soit x > 0 ;
|f (t)e−xt | ≤ kf k∞,R+ e−xt est intégrable sur R+ et donc x ∈ E. Ainsi

R+∗ ⊂ E

IV.D.2) On a Z +∞
∀x > 0, xLf (x) = xf (t)e−xt dt
0
Le changement de variable u = xt donne
Z +∞
∀x > 0, xLf (x) = f (u/x)e−u du = G(x)
0

Pour étudier le comportement de G en +∞, on va utiliser la caractérisation séquentielle. On

se donne ainsi une suite (xn ) d’éléments de ]0, 1] telle que xn → 0 et on veut montrer que
G(xn ) → `. Pour cela, on utilise le théorème de convergence dominée.
- Posons gn : u 7→ f (u/xn )e−u . (gn ) est une suite de fonctions continues qui converge simple-
ment sur R+∗ vers la fonction constante u 7→ ` elle même continue sur R+ .
- ∀n ∈ N, ∀u ≥ 0, |gn (u)| ≤ kf k∞ e−u et le majorant +
R +∞ est−uintégrable sur R .
Le théorème s’applique et indique qye G(xn ) → 0 `e du = `. On obtient la même limite
pour toutes les suites (xn ) et ainsi (caractérisation séquentielle des limites)

lim xLf (x) = `

x→0+

6
5 Etude d’un deuxième exemple.
Ra
V.A. Il s’agit de montrer que f n’est pas intégrable sur R+ ou encore que F (a) = 0 |f | n’admet
pas de limite infinie quand a → +∞. On remarque que
Z (n+1)π Z (n+1)π−π/4
dt 1 π
∀n ∈ N, |f (t)| dt ≥ √ ≥√
nπ nπ+π/4 2t 2(n + 1)π 2

On en déduit que
n
∗ 1 X 1
∀n ∈ N , F ((n + 1)π) ≥ √ −→ +∞
2 2 k=0 k + 1 n→+∞

F n’est donc pas bornée sur R+ et

0∈
/E
V.B. Avec la partie préliminaire, on en déduit que E ⊂]0, +∞[. Réciproquement, si x > 0 alors
f (t)e−xt = o(1/t2 ) au voisinage de +∞ et donc x ∈ E. Ainsi

E =]0, +∞[
R +∞
V.C. Le seul problème dans l’intégrale 0 f (t) dt est celui au voisinage de +∞. On a
a
cos(t) a
Z   Z a
sin(t) cos(t)
∀a ≥ 1, dt = − + dt
1 t t 1 1 t2

Le terme “tout intégré” du membre de droite admet une limite quand a → +∞. t 7→ cos(t) t2
est
2
intégrable au voisinage de +∞ (majorée en module par 1/t ) et l’intégrale du membre de droite
admet donc une limite quand a → +∞). Il en est finalement de même de l’intégrale du membre
de gauche. L’intégrale de sin(t)
t existe donc aussi au voisinage de +∞. On a finalement existence
R +∞ sin(t)
de 0 t dt et
0 ∈ E0
V.D. Il convient encore d’utiliser le théorème de régularité des intégrales à paramètres.
- ∀x > 0, t 7→ f (t)e−xt est intégrable sur R+ (car x ∈ E).
- ∀t > 0, x 7→ f (t)e−xt est de classe C 1 sur R+∗ dé dérivée x 7→ − sin(t)e−xt .
- ∀x > 0, t 7→ − sin(t)e−xt est continue sur R+ .
- ∀a > 0, ∀x ≥ a, ∀t ≥ 0, | − sin(t)e−xt | ≤ e−at qui est intégrable sur R+ .
Ainsi, Lf ∈ C 1 (R+∗ ) et
Z +∞
0 1
∀x > 0 (Lf ) (x) = − sin(t)e−xt dt = −
0 1 + x2

le calcul de l’intégrale se faisant, par exemple, en interprétant le sinus comme partie imaginaire
de eit .
V.E. Deux primitives d’une fonction sur un intervalle différant d’une constante,

∃c ∈ R/ ∀x > 0, Lf (x) = c − arctan(x)

R +∞
f étant bornée sur R+ (continue et de limite nulle en l’infini) on a |Lf (x)| ≤ kf k∞ 0 e−xt dt =
|f k∞
x → 0 quand x → +∞. On en déduit que c = π/2 et

π
∀x > 0, f (x) = − arctan(x)
2

7
 V.F. Soit x ≥ 0 (et donc x ∈ E 0 ). Le changement de variable u = x − nπ donne
Z π
n −nπx sin(u) −ux
fn (x) = (−1) e e dx
0 u + nπ

On remarque que (fn (x)) est une suite alternée, de limite nulle (car x ∈ E 0 ) et que (|fn (x)|)
Rπ
décroı̂t (c’est le cas des suites positives de terme généraux e−nπx et 0 sin(u)
u+nπ e
−ux dx). On peut

alors appliquer la règle spéciale pour affirmer que

 
 X  Z (n+2)π  
  dt n+2
∀n ∈ N,  fk (x) ≤ |fn+1 (x)| ≤
 = ln
k≥n+1  (n+1)π t n+1

et on a donc
 
X n+2
fk
≤ ln →0

k≥n+1
n+1
∞,R+

ce qui montre que (fk ) converge uniformément sur R+ .

P
V.G. On peut ainsi utiliser le théorème de double limite pour affirmer que
+∞ +∞
π X X
= lim Lf (x) = lim fn (x) = fn (0) = Lf (0)
2 x→0 x→0
n=0 n=0

6 Injectivité dans le cas typique.

VI.A.1) Par linéarité du passage à l’intégrale, on a
Z 1
∀P ∈ R[X], P (t)g(t) dt = 0
0

VI.A.2) D’après le théorème de Weierstrass, il existe une suite (Pn ) d’éléments de R[X] telle que
kPn − gk∞,[0,1] → 0. On a alors
1 1 1
Z Z  Z
2
 

 Pn g − g  ≤ kPn − gk∞,[0,1] |g| → 0
0 0 0
R1
et comme 0 Pn g est toujours nul,
Z 1
g2 = 0
0

g2 étant continue et positive sur [0, 1] ceci entraı̂ne que

∀t ∈ [0, 1], g(t) = 0

VI.B.1) u →7 e−xu f (u) étant continue sur R+ , le théorème fondamental indique que h est une
primitive de cette fonction sur R+ . Une intégration par partie donne alors
Z b b
Z b
f (t)e−(x+a)t dt = h(t)e−at 0 + a e−at h(t) dt

∀b > 0,
0 0

Le membre de gauche admet une limite (égale à Lf (x + a)) quand b → +∞ (car x + a ∈ E). On
a donc  Z b 
−ab −at
Lf (x + a) = lim h(b)e +a e h(t) dt
b→+∞ 0

8
 Par ailleurs, h admet une limite finie en +∞ (car x ∈ E ⊂ E 0 ) et e−ab → 0 quand b → +∞ (car
a > 0). Ainsi,
Z b Z +∞
−at
L(f x + a) = lim a e h(t) dt = a e−at h(t) dt
b→+∞ 0 0
l’existence de l’intégrale étant conséquence de l’existence des autres limites.
VI.B.2) t 7→ e−at est un C 1 difféomorphisme de R+∗ dans ]0, 1[. On peut ainsi poser u = e−ta
pour obtenir (ce qui inclut l’existence de l’intégrale du membre de droite)
Z +∞ Z 1  
−t(n+1)a n ln(u)
a e h(t) dt = u h − du
0 0 a
1
Par ailleurs le mambre de gauche vaut n+1 Lf (x + (n + 1)a) et est nul d’après la question
précédente. Ainsi Z 1  
n ln(u)
∀n ∈ N, u h − du = 0
0 a
 
VI.B.3) La fonction g : u 7→ h − ln(u)a est continue sur ]0, 1] et prolongeable par continuité en
0 (car h admet une limite finie en +∞ car x ∈ E). Avec les question VI.B.2) et VI.A.2), on en
déduit que g est nulle. Quand u varie dans [0, 1], − ln(u)
a varie dans R+ et h est donc nulle sur
+
R .
VI.C. Soit f telle que E est non vide. Supposons que Lf = 0 ; la question précédente indique que
∀x ∈ E, une primitive de u 7→ e−xu f (u) est nulle sur R+ . Pour tout x de E, u 7→ e−xu f (u) est
donc nulle sur R+ . Comme E non vide (et comme exp ne s’annule pas sur R) f est donc nulle
sur R+ .
Le noyau de l’application linéaire L est donc réduit à {0} et L est injective.

7 Etude en la borne inférieure de E.

VII.A. Comme f est positive, on a E = E 0 mais aussi Lf qui est décroissante sur E (∀x, y ∈ E tels
que x ≤ y, ∀t ∈ R+ on a f (t)e−λ(t)x ≥ f (t)e−λ(t)y et donc Lf (x) ≥ Lf (y)). En particulier, par
théorème de limite monotone, Lf admet des limites aux bornes de l’intervalle E (éventuellement
+∞ en la borne inférieure si la fonction n’est pas majorée).
VII.A.1) On suppose Lf bornée sur E et on note M un majorant de cette fonction. Montrons
que
Z b
∀b ≥ 0, f (t)e−αt dt ≤ M (∗)
0
Rb
Fixons donc b ≥ 0 ; Gb : x 7→ 0 f (t)e−xtdt est continue sur R par théorème sur les intégrales
à paramètres car
- ∀x ∈ R, t 7→ f (t)e−xt est continue sur [0, b]
- ∀t ∈ [0, b], x 7→ f (t)e−xt est continue sur R
- ∀[u, v] ⊂ R, ∀x ∈ [u, v], ∀t ∈ [0, b], |f (t)e−xt | ≤ f (t)e−ut et le majorant est intégrable sur
[u, v] puisque continu sur ce SEGMENT).
Or, ∀x ∈ E, Gb (x) ≤ Lf (x) (car f est positive) et donc ∀x ∈ E, Gb (x) ≤ M . En faisant tendre
x vers α, on obtient (∗).
Rb
b 7→ 0 f (t)e−αt dt est ainsi majoré sur R+ et c’est une fonction croissante (car f est positive).
Elle admet donc une limite finie quand b → +∞ et donc
α ∈ E0 = E
VII.A.2) Par contraposée, si α ∈
/ E alors Lf n’est pas bornée. Avec la remarque initiale de
monotonie, on a donc
lim Lf (x) = +∞
x→α+

9
 R +∞ cos(t)
VII.B. On a ici (pour x ∈ E 0 ) Lf (x) = 0 (1+t)x dt.
 
 cos(t)  1
VII.B.1) Si x > 1 alors  (1+t)x  ≤ (1+t)x est intégrable au voisinage de +∞ et x ∈ E.

Si x ≤ 1 alors on remarque que

(n+1)π nπ+π/4
| cos(t)|
Z Z
dt π
∀n ∈ N, dt ≥ √ ≥ √
nπ (1 + t)x nπ 2(1 + t)x 4 2(1 + (n + 1)π)x

On conclut alors comme en V.A que x ∈

/ E. Ainsi

E =]1, +∞[
R b cos(t)
VII.B.2) Il s’agit de voir si G : b 7→ 0 (1+t) x dt admet une limite en +∞.
- Si x > 0, une intégration par parties donne
Z b
sin(b) sin(t)
∀b ≥ 0, G(b) = +x dt
(1 + b)x 0 (1 + t)x+1

les deux termes du membre de droite admettent une limite quand b → +∞ (en particulier, la
fonction sous l’intégrale est intégrable car dominée par 1/tx+1 ). Il en est de même du membre
de gauche et x ∈ E 0 .
- Si x = 0 alors G(b) = sin(b) n’admet pas de limite en +∞ et 0 ∈ / E0.
R 2nπ+π/4 cos(t) 1
R 2nπ+π/4 1 π −x ne tend pas vers
- Si x < 0 alors 2nπ (1+t)x dt ≥ (1+t)x dt ≥ 4 2 (1 + nπ)
√ √
2 2nπ
0 quand n → +∞. Ainsi G(2nπ + π/4) − G(2nπ) ne tend pas vers 0 et x ∈ / E 0 (sinon, notre
différence tendrait vers 0 comme différence de deux termes ayant la même limite).
On a donc montré que
E 0 =]0, +∞[
VII.B.3) On réutilise le calcul de VI.B.2) dans le cas x > 0 qui nous donne
Z +∞
sin(t)
∀x > 0, Lf (x) = x dt
0 (1 + t)x+1
R +∞ sin(t)
En utilisant le théorème de continuité des intégrales à paramètre, on obtient que x 7→ 0 (1+t)x+1
dt
 
 sin(t)  1
est continue sur [1, +∞[ (on utilise la domination  (1+t)x+1  ≤ (1+t) 2 ). On en déduit que

Z +∞
sin(t)
lim Lf (x) = dt
x→1+ 0 (1 + t)2

En refaisant une intégration par partie dans l’autre sens, on montre que Lf (x) → Lf (1) =
R +∞ cos(t) +
0 1+t dt quand x → 1 .

8 Une utilisation de la transformation L.

VIII.A. Soient P, Q ∈ P. t 7→ P (t)Q(t)e−t est continue sur R+ et dominée par 1/t2 au voisinage
de +∞ (croissances comparées). C’est donc une fonction intégrable sur R+ et son intégrable
existe a fortiori sur R+ .
VIII.B. L’application est bien définie, possède la symétrie hermitienne ((P, Q) = (Q, P )) et est
linéaire par rapprot à la seconde variable (par linéarité du passage à l’intégrale). De plus si P ∈ P,
R +∞
(P, P ) = 0 |P (t)|2 e−t dt ≥ 0 et si cette quantité est nulle alors P = 0 (car t 7→ |P (t)|2 e−t est
alors continue positive d’intégrale nulle et donc nulle et l’exponentielle ne s’annule pas).
On a finalement un produit scalaire sur le C-espace vectoriel P.

10
VIII.C. U est linéaire par linéarité du passage à la dérivée. De plus, U (X 0 ) = 0 et

∀n ∈ N∗ n U (X n )(t) = et D(ntn e−t ) = −ntn + n2 tn−1

Ainsi, ∀n ∈ N, U (n ) ∈ P. Comme tout élément de P est combinaison linéaire d’éléments de la

famille (X n )n∈N , P est stable par U . Finalement

U ∈ L(P)

VIII.D. On a U (P )(t)Q(t)e−t = D(te−t P 0 (t))Q(t). Une intégration par parties donne

Z a h ia Z a
−t −t 0
∀a ≥ 0, U (P )(t)Q(t)e dt = te P (t)Q(t) − te−t P 0 (t)Q0 (t) dt
0 0 0

Par croissances comparées, les différents termes admettent une limite quand a → +∞ et on
obtient Z +∞ Z +∞
−t
U (P )(t)Q(t)e dt = − te−t P 0 (t)Q0 (t) dt
0 0
On montre de même que
Z +∞ Z +∞
−t 0
P (t)U (Q)(t)e dt = − te−t P (t) Q0 (t) dt
0 0

La dérivée du conjugué étant le conjugué de la dérivée on a l’égalité des termes précédents :

(U (P ), Q) = (P, U (Q))

VIII.E. U (1) = 0 montre que U admet au moins 0 comme valeur propre.

Soit λ une valeur propre de U et P un vecteur propre associé. On a alors

λkP k2 = (λP, P ) = (U (P ), P ) = (P, U (P )) = (P, λP ) = λkP k2

et comme P 6= 0 (c’est un vecteur propre) on a kP k2 6= 0 et donc λ = λ c’est à dire λ ∈ R.

Soient λ, µ deux valeurs propres distinctes (réelles d’après ce qui précède) et P, Q des vecteur
propres associés. On a

λ(P, Q) = λ(P, Q) = (U (P ), Q) = (P, U (Q)) = µ(P, Q)

Comme λ 6= µ, on a donc (P, Q) = 0 et les vecteurs propres associés à des valeurs propres
distinctes sont orthogonaux (les sous-espaces propres sont deux à deux orthogonaux).
VIII.F.1) U (P )(t) = et D(te−t P 0 (t)) = −tP 0 (t) + P 0 (t) + tP 00 (t). Si U (P ) = λP , P est solution
de l’équation différentielle
ty 00 (t) + (1 − t)y 0 (t) − λy(t) = 0
VIII.F.2) Soit n le degré de P . Il existe Q ∈ Cn−1 [X] et a ∈ C∗ tels que P (t) = atn + Q(t). Le
coefficient de X n dans XP 00 + (1 − X)P 0 −R λP est −na − λa. On en déduit que λ = − deg(P ).
+∞
VIII.G.1) Soit P ∈ P ; on a L(XP 0 )(x) = 0 tP 0 (t)e−tx dt. Une intégration par parties (dont
on ne détaille pas le calcul avec le passage par une borne flottante) donne (compte-tenu des
croissances comparées et de la question IV.A)
Z +∞
0
∀x > 0, L(XP )(x) = − P (t)(e−tx − xte−tx ) dt = −LP (x) − x(LP )0 (x)
0

11
 et de façon similaire,
Z +∞
00
∀x > 0, L(XP )(x) = − P 0 (t)(e−tx − xte−tx ) dt
0
Z +∞
0
= −L(P )(x) + x tP 0 (t)e−tx dt
0
Z +∞
= −L(P 0 )(x) − x P (t)(e−tx − xte−tx ) dt
0
= −L(P 0 )(x) − xLP (x) − x2 (LP )0 (x)

Suppsons XP 00 + (1 − X)P 0 + nP = 0. On a alors L(XP 00 ) + L(P 0 ) − L(XP 0 ) + nL(P ) = 0 ce

qui donne
∀x > 0, x(1 − x)(LP )0 (x) + (1 − x)LP (x) + nLP (x) = 0
Q = LP est donc solution sur ]0, +∞[ de

x(1 − x)y 0 (x) + (n + 1 − x)y(x) = 0 (En0 )

VIII.G.2) Sur ]1, +∞[, l’équation (En0 ) est résolue et à coefficients continus. L’ensemble de ses
solutions est (théorème de Cauchy-Lipschitz) un espace vectoriel (l’équation est homogène) de
dimension 1. Comme
x−n−1 n+1 n
∀x > 1, =− +
x(1 − x) x 1−x
 n

(x−1)
une primitive sur ]1, +∞[ de x 7→ x−n−1
x(1−x) est x 7→ ln xn+1
. Le cours indique que l’ensemble
des solutions sur ]1, +∞[ de (En0 ) est l’espace vectoriel engendré par

(x − 1)n
fn : x 7→
xn+1
Raisonnons par conditions nécessaires puis suffisantes pour trouver les éléments propres de U .
- Soit λ une valeur propre et P un vecteur propre associé. Il existe n ∈ N tel que λ = −n et P
est solution de (En ) (question VIII.F). LP est ainsi solution de (En0 ) sur ]1, +∞[ et LP est
multiple de fn . Par ailleurs
n
(−1)k n k!
X  
fn (x) =
k! k xk+1
k=0
k
Avec la question IV.B dans le cas a = 0, on voit que fn est image par L de Qn = nk=0 (−1) n
P
k
k! k X .
Ainsi, avec la partie VI, P est un multiple de Qn (puisque LP est multiple de LQn ).
- Réciproquement on montre que U Qn = −nQn par un calcul que nous omettons en cette fin
de problème.
On a donc montré que les valeurs propres de U sont les éléments de Z− et que chaque sous-espace
propre est une droite vectorielle dont on a donné une base.
VIII.G.3) D’après la formule de Leibniz, on a
n  
X n
Pn (t) = et Dk (e−t )Dn−k (tn )
k
k=0
n  
X n n!
= et
(−1)k e−t tk
k k!
k=0
= n!Qn (t)

Pn engendre donc aussi la droite vectorielle propre associée à la valeur propre −n.

12