Planche no 11. Intégrale dépendant d’un paramètre.

Corrigé

no 1 : 1) Soit n ∈ N∗ . Soient a et A deux réels tels que 0 < a < A. On considère Fn : [a, A] × R → R .
1
(x, t) 7→
(t2 + x2 )n
• Pour chaque x de [a, A], la fonction t 7→ Fn (x, t) est continue par morceaux et intégrable sur [0, +∞[ car Fn (x, t) ∼
t→ +∞
1
> 0 avec 2n > 1.
t2n
• La fonction Fn est admet sur [a, A] × [0, +∞[ une dérivée partielle par rapport à sa première variable x définie par :

∂Fn −2nx
∀(x, t) ∈ [a, A] × [0, +∞[, (x, t) = 2 .
∂x (t + x2 )n+1

De plus,
∂Fn
- pour chaque x ∈ [a, A], la fonction t 7→ (x, t) est continue par morceaux sur [0, +∞[,
∂x
∂Fn
-pour chaque t ∈ [0, +∞[, la fonction x 7→ (x, t) est continue sur [a, A],
∂x
-pour chaque (x, t) ∈ [a, A] × [0, +∞[,
 
 ∂Fn  2nx 2nA
 ∂x (x, t) = (t2 + x2 )n+1 6 (t2 + a2 )n+1 = ϕ(t),
 

1
où la fonction ϕ est continue par morceaux et intégrable sur [0, +∞[ car négligeable devant quand t tend vers +∞.
t2
D’après le théorème de dérivation des intégrales à paramètres (théorème de Leibniz), la fonction In est de classe C1 sur
[a, A] et sa dérivée s’obtient par dérivation sous le signe somme. Ceci étant vrai pour tous réels a et A tels que 0 < a < A,
on a montré que la fonction In est de classe C1 sur ]0, +∞[ et que
Z +∞
1
∀x > 0, In′ (x) = −2nx dt = −2nxIn+1 (x).
0 (t2 + x2 )n+1

∀n ∈ N∗ , In′ (x) = −2nxIn+1 (x).

  +∞
1 t π 1 π 1 3π
2) Pour x > 0, on a I1 (x) = Arctan = . Ensuite, I2 (x) = − I1′ (x) = 3 puis I3 (x) = − I2′ (x) =
x x 0 2x 2x 4x 4x 16x5
3π
et donc I3 (1) = .
16
Z +∞
1 3π
dt = .
0 (t2 + 1)3 16

no 2 : 1) a) Parité de F. Soit x un réel du domaine de définition de F. En posant t = θ + π, on obtient

Zπ Z 2π
F(x) = ln(x2 − 2x cos θ + 1) dθ = ln(x2 + 2x cos t + 1) dt
−π 0
Zπ
2
= ln(x + 2x cos t + 1) dt (par 2π-périodicité)
−π
Zπ
= ln((−x)2 − 2(−x) cos t + 1) dt = F(−x).
−π

Ainsi, pour tout réel x, F(x) existe si et seulement si F(−x) existe et de plus F(x) = F(−x).

F est paire.

c Jean-Louis Rouget, 2009. Tous droits réservés.

1 http ://[Link]
Définition de F. Soit x ∈ [0, +∞[. Pour tout réel θ ∈ [−π, π],
 2
x2 − 2x cos θ + 1 = (x − cos θ)2 + (sin θ)2 = x − eiθ  > 0.
 
De plus, x − eiθ  = 0 ⇔ eiθ = x ⇔ x = 1 et θ = 0. Par suite,
• si x 6= 1, la fonction θ 7→ x2 − 2x cos θ + 1 est continue sur le segment [0, π] et donc intégrable sur ce segment.
 
θ θ
• si x = 1, pour tout réel θ ∈ [−π, π] on a x2 − 2x cos θ + 1 = 2 − 2 cos θ = 4 sin2 . La fonction θ 7→ ln 4 sin2
2 2
est continue sur [−π, 0[∪]0, π] et quand θ tend vers 0
      !
θ θ θ 1
ln 4 sin2
   
= 2 ln 2 + 2 ln sin  ∼ 2 ln   ∼ 2 ln |θ| = o p .
2 2 2 |θ|
 
θ
On en déduit que la fonction θ 7→ ln 4 sin2 est intégrable sur [−π, π] et donc que F(1) existe.
2
Finalement, F est définie sur [0, +∞[ et par parité

F est définie sur R.

Zπ
Remarque. Par parité de la fonction θ 7→ ln(x2 −2x cos θ+1), pour tout réel x, on a encore F(x) = 2 ln(x2 −2x cos θ+1) dθ.
0

Continuité de F. Soit A > 1. Soit Φ : [0, A]×]0, π] → R .

(x, θ) 7→ ln(x2 − 2x cos θ + 1)
• Pour chaque x ∈ [0, A], la fonction θ 7→ Φ(x, θ) est continue par morceaux sur ]0, π].
• Pour chaque θ ∈]0, π], la fonction x 7→ Φ(x, θ) est continue par morceaux sur [0, A].
• Pour chaque (x, θ) ∈ R+ ×]0, π], puisque x2 − 2x cos θ + 1 = (x − cos θ)2 + (sin θ)2 ,

|Φ(x, θ)| 6 Max{ln(02 − 0 cos θ + 1) , ln(cos2 θ − 2 cos θ cos θ + 1) , ln(A2 − 2A cos θ + 1)}
     

= Max{2 |ln(| sin θ|)| , ln(A2 − 2A cos θ + 1)} = ϕ(θ).

 

 
On a vu que la fonction f1 : θ 7→ 2 |ln(| sin θ|)| est intégrable sur ]0, π] et d’autre part, la fonction f2 : θ ln(A2 − 2A cos θ + 1)
1
est intégrable sur [0, π] et donc sur ]0, π] car continue sur [0, π]. Puisque ϕ = (f1 + f2 + |f1 − f2 |), on en déduit que la
2
fonction ϕ est continue par morceaux et intégrable sur ]0, π].
D’après le théorème de continuité des intégrales à paramètres, la fonction F est continue sur [0, A] et ceci pour tout A > 1.
Par suite, la fonction F est continue sur R+ puis par parité,

la fonction F est continue sur R.

Dérivabilité de F. Soient A ∈]0, 1[ puis Φ : [−A, A] × [0, π] → R .

(x, θ) 7→ ln(x2 − 2x cos θ + 1)
• Pour chaque x ∈ [−A, A], la fonction θ 7→ Φ(x, θ) est continue sur le segment [0, π] et donc intégrable sur ce segment.
• La fonction Φ admet sur [−A, A] × [0, π] une dérivée partielle par rapport à sa première variable x définie par

∂Φ 2x − 2 cos θ
∀(x, θ) ∈ [−A, A] × [0, π], (x, θ) = 2 .
∂x x − 2x cos θ + 1
De plus,
∂Φ
- pour chaque x ∈ [−A, A], la fonction θ 7→ (x, θ) est continue par morceaux sur [0, π],
∂x
∂Φ
- pour chaque θ ∈ [0, π], la fonction x 7→ (x, θ) est continue sur [−A, A],
∂x
- pour chaque (x, θ) ∈ [−A, A] × [0, π],
 
 ∂Φ  2|x − cos θ| 4
 ∂x (x, θ) = |x − eiθ |2 6 |A − 1|2 = ϕ(θ).
 

La dernière inégalité écrite est claire géométriquement :

c Jean-Louis Rouget, 2009. Tous droits réservés.

2 http ://[Link]
 1
b
eiθ La plus courte distance d’un point du
segment [−A, A] au cercle trigonométrique
est la distance de A à 1.
[ b
]
x
−1 −A A 1

−1

De plus, la fonction constante ϕ est intégrable sur le segment [0, π].

D’après le théorème de dérivation des intégrales à paramètres, la fonction F est de classe C1 sur [−A, A] et sa dérivée
1
s’obtient par
Z π dérivation sous le signe somme. Ceci étant vrai pour tout A ∈]0, 1[, F est de classe C sur ]−1, 1[ et ∀x ∈]−1, 1[,
x − cos θ
F ′ (x) = 4 2 − 2x cos θ + 1
dθ. La démarche est analogue sur ] − ∞, −1[ et sur ]1, +∞[ et finalement F est de classe C1
0 x
sur R \ {−1, 1} et
Zπ
x − cos θ
∀x ∈ R \ {−1, 1}, F ′ (x) = 4 dθ.
0 x2 − 2x cos θ + 1

1 − t2
 
θ 2dt
b) Calcul de F ′ (x). Soit x ∈ R \ {−1, 1}. On pose t = tan . On a donc cos θ = et dθ = . On obtient
2 1 + t2 1 + t2

Zπ Z +∞ 1 − t2
x − cos θ x− dt
F ′ (x) = 4 dθ = 8 1 + t2
x 2 − 2x cos θ + 1 2 1 + t2
0 0 1 − t
x2 − 2x + 1
1 + t2
Z +∞ 2 2
(1 + t )x − (1 − t )
=8 2 )x2 − 2x(1 − t2 ) + (1 + t2 ))(1 + t2 )
dt
0 ((1 + t
Z +∞
(x + 1)t2 + (x − 1)
=8 dt
0 ((x + 1)2 t2 + (x − 1)2 )(1 + t2 )
Pour tout réel t,
 2 !   
2 x−1 2 x−1 x−1
t + (t + 1) = t−i t+i (t − i)(t + i).
x+1 x+1 x+1

x−1 x−1
De plus, ± = ±1 ⇔ = −1 ⇔ x = 0.
x+1 x+1
Zπ
• F ′ (0) = 4 (− cos θ) dθ = 0.
0
(x + 1)t2 + (x − 1)
• Si x 6= 0, les pôles de la fraction rationnelle sont simples et par parité, la décomposition
((x + 1)2 t2 + (x − 1)2 )(1 + t2 )
en éléments simples de cette fraction s’écrit

(x + 1)t2 + (x − 1) a a b b
= − + − ,
((x + 1)2 t2 + (x − 1)2 )(1 + t2 ) x−1 x−1 t−i t+i
t−i t+i
x+1 x+1
avec

2

x−1
−(x + 1) + (x − 1)
x+1 −(x + 1)(x − 1)2 + (x − 1)(x + 1)2
a=    2 ! = 2i(x + 1)(x − 1)((x + 1)2 − (x − 1)2 )
x−1 x−1
(x + 1)2 2i 1−
x+1 x+1
2(x2 − 1) 1
= = ,
2i(x2 − 1)(4x) 4ix
et

c Jean-Louis Rouget, 2009. Tous droits réservés.

3 http ://[Link]
 −(x + 1) + (x − 1) 1
b= 2 2
= .
2i(−(x + 1) + (x − 1) ) 4ix
Donc

 
2
(x + 1)t + (x − 1) 2  1 1 1 1 
8 = − + −
((x + 1)2 t2 + (x − 1)2 )(1 + t2 ) ix
 x−1 x−1 t−i t+i

t−i t+i
x+1 x+1
 
x−1
2  2i 2i 

x2 − 1

x + 1  4 1
= 2 + 2 = + 2

ix  t + 1  x (x + 1)2 t2 + (x − 1)2 t +1
 
2
x−1
t +
x+1
x−1
Ensuite, en notant ε le signe de
x+1
Z +∞ 
x2 − 1

′ 4 1
F (x) = + 2 dt
x 0 (x + 1)2 t2 + (x − 1)2 t +1
  +∞
4  x2 − 1 1  t  4 π
= Arctan  = (ε + 1)
x (x + 1)2 x − 1 x − 1  x 2

x+1 x+1 0

4π
Par suite, si x ∈] − 1, 1[, F ′ (x) = 0 et si x ∈] − ∞, −1[∪]1, +∞[, F ′ (x) = .
x

 0 si x ∈] − 1, 1[
∀x ∈ R \ {−1, 1}, F ′ (x) = 4π .
 si x ∈] − ∞, −1[∪]1, +∞[
x

c) Soit x > 1.
Zπ Zπ Zπ    
2 1 1
F(x) − 4π ln(x) = ln(x2 − 2x cos θ + 1) dθ − ln(x2 ) dθ = ln 1 − cos θ + 2 dθ = F .
−π −π −π x x x
 
1
Par suite, lim (F(x) − 4π ln(x)) = lim F = lim F(y) = F(0) = 0 par continuité de F en 0.
x→ +∞ x→ +∞ x y→ 0

lim (F(x) − 4π ln(x)) = 0.

x→ +∞

d) • F est continue sur [−1, 1], dérivable sur ] − 1, 1[ de dérivée nulle sur ] − 1, 1[. Donc la fonction F est constante sur
l’intervalle [−1, 1]. Par suite, pour tout réel x ∈ [−1, 1], F(x) = F(0) = 0.
4π
• F est dérivable sur ]1, +∞[ et ∀x > 1, F ′ (x) = . Donc il existe C ∈ R tel que ∀x > 1, F(x) = 4π ln x + C avec
x
C = lim (F(x) − 4π ln x) = 0. Donc ∀x > 1, F(x) = 4π ln x.
x→ +∞
• Si x < −1, F(x) = F(−x) = 4π ln(−x) = 4π ln |x|.
Zπ 
2 0 si x ∈ [−1, 1]
∀x ∈ R, ln(x − 2x cos θ + 1) dθ = .
−π 4π ln(|x|) si x ∈] − ∞, −1[∪]1, +∞[

2) a) Soit x ∈] − 1, 1[. Pour θ ∈ [−π, π], on pose f(θ) = ln(x2 − 2x cos θ + 1). Puisque ∀θ ∈ [−π, π], x2 − 2x cos θ + 1 > 0
(voir 1)), f est dérivable sur [−π, π] et pour θ ∈ [−π, π],

e−iθ
 iθ   
2x sin θ 1 e 1 1 1
f ′ (θ) = = − = − +
x2 − 2x cos θ + 1 i x − eiθ x − e−iθ i 1 − xe−iθ 1 − xeiθ
+∞ +∞
!
1 X n inθ X n −inθ
= x e − x e (car |xeiθ | = |xe−iθ | = |x| < 1)
i
n=0 n=0
+∞
X
=2 sin(nθ)xn .
n=1

c Jean-Louis Rouget, 2009. Tous droits réservés.

4 http ://[Link]
Soit θ ∈ [−π, π]. I désigne l’intervalle [0, θ] ou [θ, 0] suivant que θ soit positif ou négatif.
Pour n ∈ N∗ et t ∈ I, posons gn (t) = 2 sin(nt)xn . Pour tout n ∈ N∗ et tout t ∈ I, on a |fn (t)| 6 |x|n . Comme |x|n est le
terme général d’une série numérique convergente, la série de fonctions de terme général fn , n ∈ N∗ , converge normalement
et donc uniformément sur le segment I. D’après le théorème d’intégration terme à terme sur un segment, on peut écrire

Zθ +∞
X Zθ
f(θ) = f(0) + f ′ (t) dt = 2 ln(1 − x) + 2xn sin(nt) dt
0 n=1 0
+∞ n +∞ +∞
!
X x X xn X cos(nθ) n
=2 − + (1 − cos(nθ)) = −2 x .
n n n
n=1 n=1 n=1

+∞
X cos(nθ) n
∀x ∈] − 1, 1[, ∀θ ∈ [−π, π], ln(x2 − 2x cos θ + 1) = −2 x .
n
n=1

 
 cos(nθ) n 
Soit x ∈] − 1, 1[. Pour n ∈ N∗ et θ ∈ [−π, π],  x  6 |x|n . Comme précédemment, on peut intégrer terme à terme
n
et on obtient
+∞ n Z π
X x
F(x) = −2 cos(nθ) dθ = 0.
n −π
n=1

Zπ
∀x ∈] − 1, 1[, ln(x2 − 2x cos θ + 1) dθ = 0.
−π

b) Soit x ∈ R∗ .

  Zπ   Zπ
1 2 1
F = ln 1 − cos θ + 2 dθ = (ln(1 − 2x cos θ + x2 ) − ln(x2 )) dθ = −4π ln |x| + F(x).
x −π x x −π

 
∗ 1
∀x ∈ R , F = −4π ln |x| + F(x).
x

 
1 1
Soit x > 1. Puisque ∈]0, 1[, F(x) = 4π ln x + F = 4π ln x. On retrouve alors les résultats du 1).
x x

no 3 : 1) Soit A > 0. Soit Φ : [−A, A] × [0, 1] →R .

2 2
e−x (1+t )
(x, t) 7→
1 + t2
• Pour chaque x de [−A, A], la fonction t 7→ F(x, t) est continue sur le segment [0, 1] et donc intégrable sur ce segment.
• La fonction Φ admet sur [−A, A] × [0, 1] une dérivée partielle par rapport à sa première variable x définie par :

∂Φ 2 2
∀(x, t) ∈ [−A, A] × [0, 1], (x, t) = −2xe−x (1+t ) .
∂x
De plus,
∂Φ
- pour chaque x ∈ [−A, A], la fonction t 7→ (x, t) est continue par morceaux sur le segment [0, 1],
∂x
∂Φ
- pour chaque t ∈ [0, 1], la fonction x 7→ (x, t) est continue par morceaux sur R,
 ∂x 
 ∂Φ 
- pour chaque (x, t) ∈ [−A, A] × [0, 1],  (x, t) 6 2A = ϕ(t), la fonction ϕ étant continue et donc intégrable sur le
∂x
segment [0, 1].
D’après le théorème de dérivation des intégrales à paramètres (théorème de Leibniz), la fonction F est de classe C1 sur
[−A, A] et sa dérivée s’obtient en dérivant sous le signe somme. Ceci étant vrai pour tout A > 0, F est de classe C1 sur R
et
Z1
2
(1+t2 )
′
∀x ∈ R, F (x) = −2x e−x dt.
0

c Jean-Louis Rouget, 2009. Tous droits réservés.

5 http ://[Link]
 Zx
2 2
2) La fonction x 7→ e−x est continue sur R. On en déduit que la fonction x 7→ e−t dt est de classe C1 sur R. Il en est
0
de même de la fonction G et pour tout réel x,
Zx
2 2
G ′ (x) = 2e−x e−t dt.
0

3) Soit x ∈ R∗ . En posant u = xt, on obtient

Z1 Z1 Zx
2
(1+t2 ) 2 2 2 2
F ′ (x) = −2x e−x dt = −2e−x e−(xt) xdt = −e−x e−u du = −G ′ (x),
0 0 0

cette égalité restant vraie quand x = 0 par continuité des fonctions F ′ et G ′ sur R.
Z1
1 π
Ainsi, F ′ + G ′ = 0 et donc ∀x ∈ R, F(x) + G(x) = F(0) + G(0) = 2
dt = .
0 1+t 4

π
∀x ∈ R, F(x) + G(x) = .
4

4) Pour x ∈ R,
Z1 2 2 Z1
e−x (1+t ) 2 1 π
|F(x)| = dt 6 e−x dt = x2 ,
0 1 + t2 0 1 + t2 4e
π
et puisque lim 2 = 0, on a montré que
x→ +∞ 4ex

lim F(x) = 0.
x→ +∞

Zx
2
5) Pour x > 0, on a e−t dt > 0 et donc d’après la question 3),
0
Zx r
2 p π
e−t dt = G(x) = − F(x).
0 2
√
π
La question 4) permet alors d’affirmer que lim G(x) = et donc que
x→ +∞ 2
Z +∞ √
2 π
e−t dt = .
0 2

2 2 1 2
no 4 : Soit x ∈ R. La fonction t 7→ e−t ch(tx) est continue sur [0, +∞[. Quand t tend vers +∞, e−t ch(tx) = (e−t +tx +
  2
2 1 2
e−t −tx ) = o 2 d’après un théorème de croissances comparées et donc la fonction t 7→ e−t ch(tx) est intégrable sur
t
Z +∞
2
[0, +∞[. Pour x ∈ R, on peut poser f(x) = e−t ch(tx) dt.
0

Calcul de f(x). Soit A > 0. On pose Φ : [−A, A] × [0, +∞[ → R .

2
(x, t) 7→ e−t ch(tx)
2
• Pour chaque x ∈ [−A, A], la fonction t 7→ e−t ch(tx) est continue par morceaux et intégrable sur [0, +∞[.
• La fonction Φ admet sur [−A, A] × [0, +∞[ une dérivée partielle par rapport à sa première variable définie par :

∂Φ 2
∀(x, t) ∈ [−A, A] × [0, +∞[, (x, t) = te−t sh(tx).
∂x
De plus,
∂Φ
- pour chaque x ∈ [−A, A], la fonction t 7→ (x, t) est continue par morceaux sur [0, +∞[,
∂x
∂Φ
-pour chaque t ∈ [0, +∞[, la fonction x 7→ (x, t) est continue sur [−A, A],
∂x
- pour chaque (x, t) ∈ [−A, A] × [0, +∞[,

c Jean-Louis Rouget, 2009. Tous droits réservés.

6 http ://[Link]
  
 ∂Φ
 = te−t2 | sh(tx)| 6 te−t2 sh(t|A|) = ϕ(t).


 ∂x (x, t)

1
La fonction ϕ est continue par morceaux sur [0, +∞[ et intégrable sur [0, +∞[ car négligeable devant 2 quand t tend
t
vers +∞.
D’après le théorème de dérivation des intégrales à paramètres (théorème de Leibniz), la fonction f est de classe C1 sur
[−A, A] et sa dérivée s’obtient par dérivation sous le signe somme. Ceci étant vrai pour tout réel A > 0, la fonction f est
de classe C1 sur R et
Z +∞
2
∀x ∈ R, f ′ (x) = te−t sh(tx) dt.
0

2
Soit x ∈ R. On effectue maintenant une intégration par parties. Soit A > 0. Les deux fonctions t 7→ te−t et t 7→ sh(tx)
sont de classe C1 sur le segment [0, A]. On peut donc effectuer une intégration par parties et on obtient
ZA A Z Z
x A −t2 x A −t2

2 1 2 1 2
te−t sh(tx) dt = − e−t sh(tx) + e ch(tx) dt = − e−A sh(tA) + e ch(tx) dt.
0 2 0 2 0 2 2 0
Z +∞ Z
2 x +∞ −t2 x
Quand A tend vers +∞, on obtient f ′ (x) = te−t sh(tx) dt = e ch(tx) dt = f(x).
0 2 0 2
−x2 /4 ′ x −x2 /4 −x2 /4 ′
Ensuite, pour tout réel x, e f (x) − e f(x) = 0 ou encore (e f) (x) = 0. On en déduit que ∀x ∈ R,
Z +∞ √ 2 √
2 2 π π x2 /4
e−x /4 f(x) = e0 f(0) = e−t dt = et donc que ∀x ∈ R, f(x) = e .
0 2 2
Z +∞ √
−t2 π x2 /4
∀x ∈ R, e ch(tx) dt = e .
0 2

t−1 x
no 5 : Soit x ∈ R. La fonction t 7→ t est continue sur ]0, 1[.
ln t
t−1 x t−1 x
Etude en 1. t ∼ 1 × 1 = 1 et donc la fonction t 7→ t se prolonge par continuité en 1. On en déduit que la
ln t t→ 1 ln t
t−1 x
fonction t 7→ t est intégrable sur un voisinage de 1 à gauche.
ln t
t−1 x tx
Etude en 0. t ∼ − > 0.
ln t x t→ 0 ln t
t t−1 x
-si x > −1, − = o(tx ) et puisque x > −1, la fonction t 7→ t est intégrable sur un voisinage de 0 à droite.
ln t t→ 0 ln t
tx 1
- si x 6 −1, la fonction t 7→ − domine la fonction t 7→ − quand t tend vers 0 par valeurs supérieures. Puisque
ln t Z t ln t
1/2
1 1 1
la fonction − est positive et que − dt = ln | ln(x)| − ln | ln(1/2)| → +∞, la fonction t 7→ − n’est pas
t ln t x t ln t x→ 0 t ln t
t−1 x
intégrable sur un voisinage de 0. Il en est de même de la fonction t 7→ t .
ln t
t−1 x
Finalement, la fonction t 7→ t est intégrable sur ]0, 1[ si et seulement si x > −1. Pour x > −1, on peut poser
Z1 ln t
t−1 x
f(x) = t dt.
0 ln t

Calcul de f(x). Soit a > −1. On pose Φ : [a, +∞[×]0, 1[ → R .

t−1 x
(x, t) 7→ t
ln t
t−1 x
• Pour chaque x ∈ [a, +∞[, la fonction t 7→ t est continue par morceaux et intégrable sur ]0, 1[.
ln t
• La fonction Φ admet sur [a, +∞[×]0, 1[ une dérivée partielle par rapport à sa première variable définie par :

∂Φ
∀(x, t) ∈ [a, +∞[×]0, 1[, (x, t) = (t − 1)tx = tx+1 − tx .
∂x
De plus,
∂Φ
- pour chaque x ∈ [a, +∞[, la fonction t 7→ (x, t) est continue par morceaux sur ]0, 1[,
∂x
∂Φ
-pour chaque t ∈]0, 1[, la fonction x 7→ (x, t) est continue sur [a, +∞[,
∂x
- pour chaque (x, t) ∈ [a, +∞[×]0, 1[,

c Jean-Louis Rouget, 2009. Tous droits réservés.

7 http ://[Link]
  
 ∂Φ 
 (x, t) = (1 − t)ta = ϕ(t).
 ∂x 

La fonction ϕ est continue par morceaux sur ]0, 1[ et intégrable sur ]0, 1[ car a > −1.
D’après le théorème de dérivation des intégrales à paramètres (théorème de Leibniz), la fonction f est de classe C1 sur
[a, +∞[ et sa dérivée s’obtient par dérivation sous le signe somme. Ceci étant vrai pour tout réel a > −1, la fonction f est
de classe C1 sur ] − 1, +∞[ et
Z1 1
tx+2 tx+1

1 1
∀x > −1, f ′ (x) = (t − 1)tx dt = − = − .
0 x+2 x+1 0 x+2 x+1
 
x+2
Par suite, il existe C ∈ R tel que ∀x > −1, f(x) = ln + C (∗). Pour déterminer la constante C, on peut utiliser
x+1
Z1
t−1
le résultat de l’exercice no 7, planche 7 : dt = ln 2. On peut aussi obtenir directement la constante C sans aucun
0 ln t
calcul d’intégrale. Pour cela, déterminons lim f(x).
x→ +∞
t−1
La fonction g : t 7→ est continue sur le segment ]0, 1[, prolongeable par continuité en 0 et en 1 en posant g(0) = 0 et
ln t
g(1) = 1. On en déduit que cette fonction est bornée sur l’intervalle ]0, 1[ (car son prolongement est une fonction continue
sur un segment).
Soit M un majorant de la fonction |g| sur ]0, 1[. Pour x > −1, on a
Z1
M
|g(x)| 6 M tx dt = .
0 x+1

Ceci montre que lim f(x) = 0 et en passant à la limite quand x tend vers +∞ dans l’égalité (∗), on obtient C = 0. On
x→ +∞
a donc montré que
Z1  
t−1 x x+2
∀x > −1, t dt = ln .
0 ln t x+1

Z1
t−1
On retrouve en particulier dt = ln 2.
0 ln t
Z +∞
e−tx e−tx 1
no 6 : Existence de 2
dt. Soit x > 0. La fonction t 7
→ 2
est continue sur [0, +∞[ et est dominée par 2
0 1+t 1+t Z +∞ −tx t
e
quand t tend vers +∞. Cette fonction est donc intégrable sur [0, +∞[. Donc dt existe pour tout réel positif
Z +∞ −tx 0 1 + t2
e
x et on pose ∀x > 0, f(x) = dt.
0 1 + t2
Continuité de f sur [0, +∞[. Soit Φ : [0, +∞[×[0, +∞[ → R .
e−tx
(x, t) 7→
1 + t2
• Pour chaque x ∈ [0, +∞[, la fonction t 7→ Φ(x, t) est continue par morceaux sur [0, +∞[.
• Pour chaque t ∈ [0, +∞[, la fonction x 7→ Φ(x, t) est continue sur [0, +∞[.
• Pour chaque (x, t) ∈ [0, +∞[×[0, +∞[,

e−tx 1
|Φ(x, t)| = dt 6 = ϕ0 (t).
1 + t2 1 + t2
1
De plus, la fonction ϕ0 est continue et intégrable sur [0, +∞[ car équivalente à quand t tend vers +∞.
t2
D’après le théorème de continuité des intégrales à paramètres, f est continue sur [0, +∞[.
Dérivée seconde de f. Soit a > 0. On pose Φ : [0, +∞[×[a, +∞[ →
R .
e−tx
(x, t) 7→
1 + t2
En plus de ce qui précède, Φ admet sur [a, +∞[×[0, +∞[ des dérivées partielles d’ordre 1 et 2 définies par

∂Φ te−tx ∂2 Φ t2 e−tx
∀(x, t) ∈ [a, +∞[×[0, +∞[, (x, t) = − et (x, t) = .
∂x 1 + t2 ∂x2 1 + t2

c Jean-Louis Rouget, 2009. Tous droits réservés.

8 http ://[Link]
 ∂Φ ∂2 Φ
• Pour chaque x ∈ [a, +∞[, les fonctions t 7→ (x, t) et t 7→ (x, t) sont continues par morceaux sur [0, +∞[.
∂x ∂x2
∂Φ ∂2 Φ
• Pour chaque t ∈ [0, +∞[, les fonctions x 7→ (x, t) et x 7→ (x, t) sont continues sur [a, +∞[.
∂x ∂x2
• Pour chaque (x, t) ∈ [a, +∞[×[0, +∞[,

te−tx te−at  t2 e−tx t2 e−at

   2 
 ∂Φ  ∂ Φ
 (x, t) =
 1 + t2 6 = ϕ 1 (t) et  (x, t)= 6 = ϕ2 (t).
 ∂x 1 + t2  ∂x  1 + t2 1 + t2

1
De plus, les fonctions ϕ1 et ϕ2 sont continues par morceaux et intégrables sur [0, +∞[ car négligeables devant 2 quand
t
t tend vers +∞.
D’après une généralisation du théorème de dérivation des intégrales à paramètres, f est de classe C2 sur [a, +∞[ et ses
dérivées premières et secondes s’obtiennent par dérivation sous le signe somme. Ceci étant vrai pour tout a > 0, f est de
classe C2 sur ]0, +∞[ et
Z +∞ Z +∞
te−tx t2 e−tx
∀x > 0, f ′ (x) = dt et f ′′ (x) = dt.
0 1 + t2 0 1 + t2

Equation différentielle vérifiée par f. Pour x > 0,

Z +∞ Z +∞ Z +∞  −tx +∞
t2 e−tx e−tx e 1
f ′′ (x) + f(x) = dt + dt = e−tx dt = − = .
0 1 + t2 0 1 + t2 0 x 0 x

1
∀x > 0, f(x) + f ′′ (x) = .
x
Z +∞ Z +∞
sin t sin t
Existence de dt. Si x = 0, le no 3, 1) de la planche 7 montre que dt est une intégrale convergente.
0 x +t 0 t
Si x > 0, une intégration par parties fournit pour A > 0
ZA ZA
sin t cos A 1 cos t
dt = − + − dt.
0 t+x A+x x 0 (t + x)2

cos t 1
La fonction t 7→ est continue sur [0, +∞[ et est dominée par 2 quand t tend vers +∞. Cette fonction est donc
(t + x)2 t
ZA
cos t
intégrable sur [0, +∞[. On en déduit que la fonction A 7→ 2
dt a une limite réelle quand A tend vers +∞ et il en
0 (t + x)
ZA Z +∞
sin t sin t
est de même de la fonction A 7→ dt. Ainsi, pour chaque x ∈ [0, +∞[, dt est une intégrale convergente.
0 t + x
Z +∞ 0 t +x
sin t
Pour x > 0, on peut donc poser g(x) = dt.
0 t+x
Equation différentielle vérifiée par g. Pour x > 0, on pose u = x + t. on obtient
Z +∞ Z +∞ Z +∞ Z +∞
sin t sin(u − x) sin u cos u
g(x) = dt = du = cos x du − sin x du.
0 t + x x u x u x u
cos u sin u
(car toutes les intégrales considérées sont convergentes). Maintenant, les fonctions c : u 7→ et s : u 7→ sont
u u
continues sur ]0, +∞[ et admettent donc des primitives sur ]0, +∞[. On note C (respectivement S) une primitive de la
Z +∞
cos u
fonction c (respectivement s) sur ]0, +∞[). Pour tout réel x > 0, du = lim C(t) − C(x). On en déduit que la
Z +∞ x u t→ +∞
Z +∞
cos u 1 sin u
fonction x 7→ du est de classe C sur ]0, +∞[, de dérivée −c. De même, la fonction x 7→ du est de
x u x u
1 1
classe C sur ]0, +∞[, de dérivée −s. Mais alors la fonction g est de classe C sur ]0, +∞[ et pour tout réel x > 0,

Z +∞ Z +∞
′ sin u sin x cos x cos u cos x sin x
g (x) = − sin x du − − cos x du +
x u x x u x
Z +∞ Z +∞
cos u sin u
= − cos x du − sin x du.
x u x u

La fonction g ′ est encore de classe C1 sur ]0, +∞[ et pour tout réel x > 0,

c Jean-Louis Rouget, 2009. Tous droits réservés.

9 http ://[Link]
 Z +∞ Z +∞
′ cos u cos2 x sin u sin2 x
g (x) = sin x du + − cos x du +
x u x x u x
1
= − g(x).
x

1
∀x > 0, g ′′ (x) + g(x) = .
x

Egalité de f et g sur ]0, +∞[. Pour tout réel x > 0, (f − g) ′′ (x) p + (f − g)(x) = 0. Donc il existe deux réels λ et µ tels
que ∀x > 0, (f − g)(x) = λ cos x + µ sin x = A cos(x + ϕ) pour A = λ2 + µ2 et pour un certain ϕ.
Z +∞ −tx Z +∞
e 1 1
Maintenant, pour x > 0, |f(x)| = 2
dt 6 e−tx dt = et on en déduit que lim = 0.
Z +∞  0Z +∞ 1 + t  0 x Z +∞
x→ +∞
Z +∞ x
 sin u   cos u  sin u cos u
Ensuite, |g(x) 6  du +  du. Puisque les intégrales du et du sont des intégrales
x u x u 1 u 1 u
Z +∞ Z +∞
sin u cos u
convergentes, on a lim du = lim du = 0 et donc aussi lim g(x) = 0.
x→ +∞ x u x→ +∞ x u x→ +∞

Finalement, lim (f(x) − g(x)) = 0 ce qui impose A = 0 et donc ∀x > 0, f(x) = g(x).
x→ +∞

Z +∞ Z +∞
e−tx sin t
∀x > 0, dt = dt.
0 1 + t2 0 t+x

Z +∞
sin t
Continuité de g en 0 et valeur de dt. Pour x > 0,
0 t
Z +∞ Z +∞
sin u cos u
g(x) = cos x du − sin x du
x u x u
Z +∞ Z +∞ Z1
sin u cos u 1 − cos u
= cos x du − sin x du + sin x du − sin x ln x.
x u 1 u x u
1 − cos u
Quand x tend vers 0, sin x ln x ∼ x ln x et donc lim sin x ln x = 0. Ensuite, la fonction u 7→ est intégrable
x→ 0
Z1 u
1 − cos u
sur ]0, 1] car continue sur ]0, 1] et prolongeable par continuité en 0. On en déduit que lim sin x du = 0 ×
x→ 0 x u
Z1
1 − cos u
du = 0. Il reste
0 u
Z +∞
sin t
lim g(x) = dt = g(0).
x→ 0 0 t
x>0

La fonction g est donc continue en 0. Puisque la fonction f est également continue en 0, on en déduit que
Z +∞
1 π
g(0) = lim g(x) = lim f(x) = f(0) = 2
dt = .
x→ 0 x→ 0 0 1 + t 2
x>0 x>0

Z +∞ Z +∞ Z +∞
e−tx sin t sin t π
∀x > 0, dt = dt et en particulier, dt = .
0 1 + t2 0 t+x 0 t 2

no 7 : • Soit x ∈ R. La fonction t 7→ f(x − t)g(t) est continue sur le segment [0, T ] et donc intégrable sur ce segment.
Par suite, f ∗ g(x) existe.
ZT ZT
• Soit x ∈ R. f ∗ g(x + T ) = f(x + T − t)g(t) dt = f(x − t)g(t) dt = f ∗ g(x). Donc la fonction f ∗ g est T -périodique.
0 0
• Les fonction f et g sont continues sur R et T -périodiques. Ces fonctions sont en particulier bornées sur R. On note M1
et M2 des majorants sur R des fonctions |f| et |g| respectivement.
Soit Φ : R × [0, T ] → R .
(x, t) 7→ f(x − t)g(t)
- Pour chaque x ∈ R, la fonction t 7→ Φ(x, t) est continue par morceaux sur [0, T ].

c Jean-Louis Rouget, 2009. Tous droits réservés.

10 http ://[Link]
- Pour chaque t ∈ [0, T ], la fonction x 7→ Φ(x, t) est continue sur R.
- Pour chaque (x, t) ∈ R × [0, T ], |Φ(x, t)| 6 M1 M2 = ϕ(t). De plus, la fonction ϕ est continue et donc intégrable sur le
segment [0, T ].
D’après le théorème de continuité des intégrales à paramètres, la fonction f ∗ g est continue sur R.
2) Soient f et g deux éléments de E. Soit x ∈ R. En posant u = x − t, on obtient

ZT Z x−T Zx
f ∗ g(x) = f(x − t)g(t) dt = f(u)g(u − t) (−du) = g(u − t)f(u) du
0 x x−T
ZT
= g(u − t)f(u) du (car la fonction u 7→ g(u − t)f(u) est T -périodique)
0
= g ∗ f(x).

c Jean-Louis Rouget, 2009. Tous droits réservés.

11 http ://[Link]