C.R.M.E.

F - Marrakech - Le 10-07-2023
Préparation à l’agrégation Analyse et Probabilités Durée : 4 heures

Les candidats sont informés que la précision des raisonnements ainsi que le soin apporté à la rédaction seront des
éléments pris en compte dans la notation.

Exercice 1 : (Calcul de la somme d’une série)

1. a) Calculer, sous forme trigonométrique réelle, les coefficients de Fourier de la fonction 2π-périodique impaire
f : R → R, nulle en 0 et π, et égale à 1 sur ]0, π [ . Pour tout entier n ≥ 0, expliciter la somme partielle de
Fourier Sn f de f.
b) Que peut-on dire de la suite de fonctions (Sn f) ? En déduire la valeur de
∞
∑ (−1)n
S= .
2n + 1
n=0

c) Calculer
∞
∑ 1
S1 = .
(2n + 1)2
n=0

2. a) Préciser le domaine d’existence dans R de

∞
∑ x2n
L(x) = .
n+1
n=0

Exprimer L(x) à l’aide de fonctions usuelles.

b) Calculer l’intégrale ( )
∫1
ln 1 − x2
I= dx.
0 x2
c) En déduire la valeur de
∞
∑ 1
S2 = .
(2n + 1)(n + 1)
n=0

d) Exprimer
∞
∑ 1
S3 = ( )
1 2
n=1 n n− 2

en fonction de S1 et S2 . En déduire la valeur de S3 .

Exercice 2 :

On fixe un entier d ≥ 3, l’espace Rd est muni du produit scalaire canonique et de la norme euclidienne associée.
• La sphère unité de Rd sera notée Sd−1 = {x ∈ Rd , ||x|| = 1}.
• La boule unité fermée de Rd sera notée Bd = {x ∈ Rd , ||x|| ≤ 1}.
• La mesure de Lebesgue sur Rd sera notée λd .
Pour A ∈ B(Sd−1 ), on note γ(A) = {t.x | t ∈ [0, 1], x ∈ A} et on pose σd (A) = d λd (γ(A)).
1. Vérifier que σd est une mesure positive finie sur B(Sd−1 ).
σd est appelée la mesure sphérique, ou mesure de Lebesgue sur la sphère unité.
2. Montrer que σd est invariante par rotation, i.e. pour toute rotation vectorielle r de Rd et pour toute partie
mesurable A ⊂ Sd−1 on a σd (r(A)) = σd (A).
1
 3. Pour B ∈ B(Rd ), on pose
∫ +∞ ∫
µ(B) = 1B (rz) rd−1 dσd (z) dr.
0 Sd−1

Vérifier que µ est une mesure borélienne sur Rd .

4. Soit 0 < a < b et A ∈ B(Sd−1 ). On pose
B = {t.z | a < t ≤ b, z ∈ A}
a
et pour n ≥ 0, γn (A) = {y = t.x | αn+1 < t ≤ αn , x ∈ A} avec α = .
b
a) Calculer µ(B).
b) Exprimer λd (B) et λd (γ(A)) en fonction de λd (γ0 (A)), en déduire que λd (B) = µ(B).
c) Conclure que λd = µ.
5. Montrer que pour toute fonction mesurable positive, ou intégrable sur Rd , on a :
∫ ∫ +∞ ∫
f(x) dλd (x) = f(rz) rd−1 dσd (z) dr.
Rd 0 Sd−1

1
6. Déterminer les valeurs de n pour lesquelles la fonction f(x) = est intégrable sur Rd .
(1 + ∥x∥2 )n
∫
2
7. En utilisant le fait que e−∥x∥ dλd (x) = πd/2 , montrer que la mesure sphérique de Sd−1 est donnée par :
Rd

2πd/2
αd = σd (Sd−1 ) =
Γ (d/2)
√
8. Donner σd (Sd−1 ) pour d = 1, 2 et 3. On rappelle que Γ (1/2) = π et Γ (x + 1) = xΓ (x).
9. Conclure que le volume de la boule unité Bd est donné par :
πd/2
βd = λd (Bd ) =
Γ (1 + d/2)

Problème : Étude d’une série trigonométrique

On rappelle que pour tout réel x > 0, ∫ +∞

Γ (x) = tx−1 e−t dt.
0
Par ailleurs, pour tout réel t,
et + e−t
ch t = .
2
On pose, pour tout réel x et tout α ∈]0, +∞[,
∑
+∞
sin(nx)
Sα (x) = . (1)
nα
n=1

L’objectif de ce problème est d’étudier différentes propriétés de cette fonction.

Dans tout le problème, u représente un réel de ] − 1, 1[.
Partie I : Deux représentations de Sα

1. Prouver que pour tout α > 1, la fonction Sα est continue sur R.

2. Étudier, en fonction du paramètre γ ∈ R, l’intégrabilité sur ]0, +∞[, de la fonction
tγ−1
J : t 7→
et − u
Soit t > 0. On pose, ( )
u ∑
N−1
−t
RN (t, u) = t
− ue (ue−t )n tα−1 .
e −u
n=0
2
 3. Simplifier l’expression de RN , en l’écrivant sous forme d’une fraction.
4. Prouver que pour tout u ∈] − 1, 1[,
∫ +∞
lim RN (t, u)dt = 0.
N→+∞ 0

5. Exprimer, en fonction de Γ (α), la constante K(α) ∈ R+ telle que pour tout α > 0,
∫ +∞ ∑ un +∞
u tα−1
dt = K(α) , pour tout u ∈] − 1, 1[. (2)
0 et − u nα
n=1

6. On admet que l’identité (2) reste vraie aussi pour u = ei x où x ∈]0, 2π[.
En déduire pour x ∈ R \ 2πZ, l’identité suivante :
∫
sin x +∞ tα−1
Sα (x) = d t.
2Γ (α) 0 ch t − cos x

7. Montrer, pour tout M > 0, pour tout u ∈] − 1, 1[, l’égalité suivante :

∫M +∞ ∫ M
∑
tα−1 tα−1
dt = un dt
0 ch t − u 0 (ch t)n+1
n=0

8. Établir, pour tout u ∈] − 1, 1[, l’identité

+∞ ∫ M
∑ ∑
+∞ ∫ +∞
n tα−1 n tα−1
lim u dt = u dt
M→+∞ (ch t)n+1 (ch t)n+1
n=0 0 0n=0

9. Pour x ∈ R \ πZ, exprimer Sα (x) en fonction de fonctions trigonométriques et de Gα où

∑
+∞
Gα (u) = an un pour u ∈] − 1, 1[
n=0

avec ∫ +∞
tα−1
an = dt. (3)
0 (ch t)n+1
Partie II : Comportement asymptotique

Soit B :]0, +∞[→ R une fonction continue telle que :

∫ +∞
|B(s)| ds < +∞. (4)
0

B(s) = asλ−1 (1 + o(1)), s → 0+ , a > 0, λ ∈]0, +∞[. (5)

10. Prouver que pour tout ε > 0, il existe δ > 0 tel que, pour tout n > 1,
∫δ
a
(B(s)e−ns − asλ−1 e−ns ) ds < ε Γ (λ).
0 nλ

11. Prouver que pour tout δ > 0, il existe une constante C(δ) > 0 ( que vous exprimerez sous la forme d’une intégrale
indépendante de n ) telle que pour tout n > 1
∫ +∞
(B(s)e−ns − asλ−1 e−ns ) ds 6 C(δ)e−(n−1)δ .
δ

12. Prouver que, sous ces hypothèses,

∫ +∞
Γ (λ)
B(s)e−ns ds = a (1 + o(1)), quand n → +∞.
0 nλ
3
13. Montrer que pour tout entier naturel n, on peut écrire
( √ )α−1
∫ +∞ ln(es + e2s − 1)
an = √ e−ns ds,
2s
e −1
0

où an est défini dans (3).

On pose dorénavant, pour tout s > 0,
( √ )α−1
ln(es + e2s − 1)
B(s) = √
e2s − 1

14. Donner un équivalent de la fonction B au voisinage de 0+ .

15. Déterminer la limite de an nα/2 quand n tend vers l’infini.