WikiPrépaLivrets

Téléchargements

  • Corrigé : pas encore disponible
  • Rapport du jury : pas encore publié

Présentation du sujet

Introduction à la théorie des distributions et application au théorème d'unicité de Cantor
Afficher ou masquer la section

Le sujet construit pas à pas la théorie des distributions : fonctions tests, définition d'une distribution, dérivation, convergence d'une suite de distributions. La dernière partie applique ces outils pour démontrer un théorème d'unicité sur les séries trigonométriques de somme nulle.

  1. 1Partie A : construction d'une fonction testOn construit une fonction de classe C infini à support compact, puis une famille régularisante qui approche la masse de Dirac.
  2. 2Partie B : distributions sur ROn définit les distributions comme formes linéaires sur les fonctions tests et on étudie les exemples de la masse de Dirac et de la distribution associée à une fonction continue par morceaux.
  3. 3Partie C : dérivation d'une distributionOn définit la dérivée d'une distribution et on l'applique aux fonctions valeur absolue et échelon de Heaviside, avant de caractériser les distributions de dérivée nulle.
  4. 4Partie D : suite de distributionsOn définit la convergence d'une suite de distributions et on la relie à la convergence uniforme puis à la convergence en norme 2 des fonctions associées.
  5. 5Partie E : théorème d'unicité de CantorOn utilise la dérivation au sens des distributions pour montrer qu'une série trigonométrique convergente et de somme nulle a tous ses coefficients nuls.

L'épreuve en chiffres

Moyenne 9,2 / 20 · écart-type 4,09 · 4 025 présents · où vous situez-vous ?
Afficher ou masquer la section
Moyenne
9,2/ 20
Écart-type
4,09
Présents
4 025
Coefficient
15
Durée
4 h
1er quartile
6,3
Médiane
9,2
3e quartile
12
moyenne 9,205101520
Deux tiers des copies environ (moyenne ± écart-type)

Votre note sur 20 à ce sujet, en conditions de concours.

Source : document officiel du concours, épreuve du 7 mai 2026. Notes publiées par le concours (après harmonisation le cas échéant). Courbe : estimation par une loi normale.

Ces sujets peuvent vous intéresser

Pas encore de corrigé pour ce sujet : voici des sujets proches corrigés.

Lecture du sujet en ligne

L'énoncé complet, avec les formules et les figures, sans ouvrir le PDF.
Afficher ou masquer la section

Mathématiques 2

PC
4 heures
Calculatrice autorisée

Notations et rappels

  • -Les lettres ℕ, ℤ et ℝ désignent respectivement les ensembles des entiers naturels, des entiers relatifs et celui des nombres réels.
  • -Si f : ℝ → ℝ est une fonction bornée, on note ‖f‖_∞ = sup_(x ∈ ℝ)|f(x)|.
  • -On note C^∞(ℝ) le ℝ-espace vectoriel des fonctions de classe C^∞(ℝ) de ℝ dans ℝ et on note D(ℝ) le sous-espace vectoriel de C^∞(ℝ) constitué des fonctions f pour lesquelles il existe A > 0 tel que f(x) = 0 si |x| > A :
    D(ℝ) = {f ∈ C^∞(ℝ)|∃A > 0, ∀x ∉ [ − A, A], f(x) = 0}.
On ne demande pas de vérifier que D(ℝ) est un sous-epace vectoriel de C^∞(ℝ).
Le but de ce sujet est d'introduire les distributions. Après avoir construit une fonction test (partie A), on introduit les distributions (partie B). Les propriétés de dérivation et de convergence sont introduites dans les parties C et D. La partie E donne une application classique de la théorie des distributions et utilise les résultats des parties précédentes.

Partie A - Construction d'une fonction test

Soit φ la fonction de ℝ dans ℝ telle que, pour tout x ∈ ℝ, φ(x) = {e^(− 1/x), si x > 0; 0, si x ⩽ 0.
Q1. Justifier que φ est de classe C^∞ sur ℝ^∗.
Q2. Montrer que, pour tout n ∈ ℕ, il existe un polynôme P_n ∈ ℝ[X] tel que
∀x ∈ ℝ_+^∗, φ^((n))(x) = P_n(1/x)e^(− 1/x).
Q3. En déduire que φ ∈ C^∞(ℝ).
Q4. Soient a < b deux réels. Construire une fonction ψ_(a, b) ∈ C^∞(ℝ), telle que ψ_(a, b)(x) > 0 pour tout x ∈ ]a, b[ et ψ_(a, b)(x) = 0 pour tout x ∈ ℝ∖]a, b[.
Soit, pour ε > 0, ρ_ε(x) = 1/(ε∫_(− ∞)^(+ ∞)ψ_(− 1, 1)(u)du)ψ_(− 1, 1)(x/ε).
Q5. Justifier que ρ_ε est bien définie, puis que ρ_ε ∈ D(ℝ).
Q6. Calculer ∫_(− ∞)^(+ ∞)ρ_ε(x)dx.
Q7. Soit g une fonction continue de ℝ dans ℝ.
  • (a)Montrer que
    lim_(ε → 0^+)∫_(− ∞)^(+ ∞)ρ_ε(x)g(x)dx = g(0)
  • (b)En déduire que, pour tout a ∈ ℝ,
    lim_(ε → 0^+)∫_(− ∞)^(+ ∞)ρ_ε(x − a)g(x)dx = g(a)

Partie B - Distribution sur ℝ

Pour tout segment K inclus dans ℝ, on note D(K) l'ensemble des fonctions de D(ℝ) nulles en dehors de K :
D(K) = {f ∈ D(ℝ)|∀x ∉ K, f(x) = 0}.
On appelle distribution sur ℝ toute forme linéaire T sur D(ℝ) telle que, pour tout segment K ⊂ ℝ, il existe un réel C_K > 0 et un entier N_K ∈ ℕ vérifiant
∀φ ∈ D(K), |T(φ)| ⩽ C_K max_(i ∈ [ [0, N_K] ])‖φ^((i))‖_∞.
On note D^′(ℝ) l'ensemble des distributions sur ℝ.
Q8. Montrer que D^′(ℝ) est un espace vectoriel.
Q9. Un premier exemple. Soit a ∈ ℝ et soit l'application δ_a : D(ℝ) → ℝ.
f ↦ f(a)
Montrer que δ_a est une distribution sur ℝ.
Q10. Un second exemple. Soit f une fonction continue par morceaux sur ℝ. Soit l'application
T_f : D(ℝ), →, ℝ; φ, ↦, ∫_(− ∞)^(+ ∞)f(t)φ(t)dt
Justifier que l'application T_f est bien définie, puis que T_f est une distribution sur ℝ.
On dit que T_f est la distribution associée à f.
Q11. Montrer que si f_1 et f_2 sont deux fonctions continues telles que T_(f_1) = T_(f_2), alors f_1 = f_2.
Q12. Soit φ ∈ D(ℝ) et soit ψ l'application définie sur ℝ par ψ(x) = {(φ(x) − φ(0))/x, si x ≠ 0; φ^′(0), si x = 0.
  • (a)Montrer que, pour tout x ∈ ℝ, ψ(x) = ∫_0^1 φ^′(tx)dt.
  • (b)En déduire que ψ ∈ C^∞(ℝ).
Q13. (a) Pour tout φ ∈ D(ℝ), justifier l'existence de la limite : lim_(ε → 0^+)(∫_(− ∞)^(− ε)(φ(x))/x dx + ∫_ε^(+ ∞)(φ(x))/x dx).
On note V(φ) cette limite et on dispose ainsi d'une application V de D dans ℝ.
  • (b)Montrer que V est une distribution sur ℝ.

Partie C - Dérivation d'une distribution

Pour tout T ∈ D^′(ℝ), on définit la forme linéaire T^′ sur D(ℝ) par :
∀φ ∈ D(ℝ), T^′(φ) = − T(φ^′).
Q14. Soit T ∈ D^′(ℝ). Montrer que T^′ ∈ D^′(ℝ).
On dit que T^′ est la distribution dérivée de la distribution T, ou simplement dérivée de T.
Si f est une fonction continue par morceaux de ℝ dans ℝ, la distribution dérivée (T_f)^′ de la distribution T_f associée à f (définie à la question Q10) pourra aussi être notée T_f^′ ou T_f^′.
Q15. Soit f une fonction de classe C^1 de ℝ dans ℝ. Montrer que T_f^′ = T_(f^′).
Q16. Soit f la fonction valeur absolue : f(x) = |x| pour tout réel x.
  • (a)Montrer que f n'est pas dérivable sur ℝ.
  • (b)Déterminer la distribution dérivée T_f^′ de la distribution T_f.
  • Q17.Soit H la fonction définie de ℝ dans ℝ telle que H(x) = {1, si x ⩾ 0; 0, si x < 0.
    Justifier que H est continue par morceaux et montrer que T_H^′ = δ_0.
    On rappelle que δ_0 a été défini à la question Q9.
  • Q18.Soit T ∈ D^′(ℝ) telle que T^′ = 0.
    • (a)Justifier que, pour tout φ ∈ D(ℝ), T(φ^′) = 0.
    • (b)Soit φ ∈ D(ℝ) telle que ∫_(− ∞)^(+ ∞)φ(t)dt = 0. Montrer que T(φ) = 0. Indication : On pourra utiliser la fonction ψ : x ↦ ∫_(− ∞)^x φ(t)dt.
    • (c)Justifier qu'il existe φ_0 ∈ D(ℝ) telle que ∫_(− ∞)^(+ ∞)φ_0(t)dt = 1.
    • (d)Soit φ ∈ D(ℝ). Montrer que T(φ) = T(φ_0)∫_(− ∞)^(+ ∞)φ(t)dt. Indication : Écrire φ = (∫_(− ∞)^(+ ∞)φ(t)dt)φ_0 + (φ − (∫_(− ∞)^(+ ∞)φ(t)dt)φ_0).
    • (e)Conclure qu'il existe une fonction constante h sur ℝ telle que T = T_h.
  • Q19.Déterminer les fonctions f continues de ℝ dans ℝ telles que T_f^′ = 0.
Si T ∈ D(ℝ), la distribution dérivée seconde de T est par définition la distribution T^(′′) = (T^′)^′.
Si T = T_f, on note (T_f)^(′′) = T_f^(′′).
Q20. Déterminer les fonctions f continues de ℝ dans ℝ telles que T_f^(′′) = 0.
Soient f et g deux fonctions continues sur ℝ telles que T_f^′ = T_g.
Q21. Justifier qu'il existe une fonction G définie sur ℝ telle que G^′ = g.
Q22. En déduire que (T_f − T_G)^′ = 0.
Q23. En déduire que f est de classe C^1 sur ℝ et préciser sa dérivée.

Partie D - Suite de distributions

Soit (T_n)_(n ∈ ℕ) une suite de distributions. On dit que la suite (T_n)_(n ∈ ℕ) converge vers une distribution T si :
∀φ ∈ D(ℝ), lim_(n → + ∞)T_n(φ) = T(φ).
On notera lim_(n → + ∞)T_n = ^D T.
Q24. Soit (T_n)_(n ∈ ℕ) une suite de distributions qui converge vers une distribution T. Montrer que lim_(n → + ∞)T_n^′ = ^D T^′.
Q25. Donner un exemple d'une suite de fonctions (f_n)_(n ∈ ℕ) définies et continues de ℝ dans ℝ telle que (f_n)_(n ∈ ℕ) ne converge pas simplement sur ℝ et telle que la suite (T_(f_n))_(n ∈ ℕ) converge vers la distribution nulle.
Q26. Soit f une fonction définie et continue de ℝ dans ℝ. Soit (f_n)_(n ∈ ℕ) une suite de fonctions continues de ℝ dans ℝ qui converge uniformément vers f sur ℝ. Montrer que lim_(n → + ∞)T_(f_n) = ^D T_f.
Pour la question Q27, on donne les définitions suivantes.
  • -Pour toute fonction f continue de ℝ dans ℝ et telle que f^2 soit intégrable sur ℝ, on pose :
    ‖f‖_2 = (∫_(− ∞)^(+ ∞)f(t)^2 dt)^(1/2)
  • -On dit qu'une suite (f_n)_(n ∈ ℕ) de fonctions continues de ℝ dans ℝ converge en norme 2 vers une fonction f continue de ℝ dans ℝ si les fonctions (f_n − f)^2 sont intégrables sur ℝ et si lim_(n → + ∞)‖f_n − f‖_2 = 0.
  • Q27.Soit (f_n)_(n ∈ ℕ) une suite de fonctions continues définies sur ℝ. On suppose que (f_n)_(n ∈ ℕ) converge en norme 2 vers une fonction continue f. Montrer que lim_(n → + ∞)T_(f_n) = ^D T_f.
    Indication : On pourra utiliser librement l'inégalité de Cauchy-Schwarz suivante : pour toutes fonctions continues par morceaux f, g : [a, b] → ℝ,
    ∫_a^b|f(t)g(t)|dt ⩽ (∫_a^b f(t)^2 dt)^(1/2)(∫_a^b g(t)^2 dt)^(1/2)

Partie E - Une application, le théorème d'unicité de Cantor

Soient (a_n)_(n ∈ ℕ^∗) et (b_n)_(n ∈ ℕ^∗) deux suites de réels telles que la série ∑_(n ⩾ 1)(a_n cos(nx) + b_n sin(nx)) converge pour tout réel x et est de somme nulle.
  • Q28.On souhaite montrer que les suites (a_n)_(n ∈ ℕ^∗) et (b_n)_(n ∈ ℕ^∗) convergent vers 0.
    • (a)Montrer que lim_(n → + ∞)a_n = 0.
On suppose que la suite (b_n)_(n ∈ ℕ^∗) ne converge pas vers 0.
    • (b)Montrer que pour tout réel x ∈ [0, 2π], lim_(n → + ∞)b_n sin(nx) = 0.
    • (c)Montrer qu'il existe ε > 0 et φ : ℕ^∗ → ℕ^∗ strictement croissante telle que pour tout n ∈ ℕ^∗, |b_(φ(n))| ⩾ ε.
    • (d)En déduire que lim_(n → + ∞)∫_0^(2π)sin^2(φ(n)x)dx = 0.
    • (e)Conclure.
  • Q29.On suppose dans cette question que les séries ∑_(n ⩾ 1)|a_n| et ∑_(n ⩾ 1)|b_n| convergent.
    Montrer que pour tout n ∈ ℕ^∗, a_n = b_n = 0.
    Indication : Pour k ∈ ℕ^∗, on pourra calculer
    ∫_0^(2π)(∑_(n = 1)^(+ ∞)(a_n cos(nx) + b_n sin(nx)))cos(kx)dx et ∫_0^(2π)(∑_(n = 1)^(+ ∞)(a_n cos(nx) + b_n sin(nx)))sin(kx)dx.
    On revient au cas général et on ne suppose plus que les séries ∑_(n ⩾ 1)|a_n| et ∑_(n ⩾ 1)|b_n| convergent.
  • Q30.Pour n ∈ ℕ^∗ et x ∈ ℝ, on pose f_n(x) = (a_n)/(n^2)cos(nx) + (b_n)/(n^2)sin(nx).
    Montrer que la série de fonctions ∑_(n ⩾ 1)f_n converge normalement sur ℝ. On note F sa somme.
  • Q31.En déterminant la distribution dérivée seconde de la distribution T_F, montrer que F est une fonction affine.
  • Q32.Montrer que F est bornée. En déduire que F est constante.
  • Q33.Montrer que F est nulle.
  • Q34.Conclure.

Questions fréquentes

4 questions
Sur quels chapitres porte le sujet Centrale Mathématiques 2 PC 2026 ?
Afficher ou masquer la section

Sur quels chapitres porte le sujet Centrale Mathématiques 2 PC 2026 ?

Le sujet porte sur les fonctions de classe C infini, l'intégration, les séries de fonctions et la convergence uniforme, mobilisés pour construire la théorie des distributions et l'appliquer aux séries trigonométriques.

Faut-il connaître le cours sur les distributions pour traiter ce sujet ?

Non, la notion de distribution n'est pas un prérequis : le sujet la construit entièrement à partir de la notion de fonction test et des outils classiques d'analyse.

Quelles parties du sujet Centrale Maths 2 PC 2026 sont indépendantes ?

Les parties A à D forment une progression cumulative où chaque partie s'appuie sur la précédente. La partie E réutilise les résultats des parties C et D.

Quels résultats de cours faut-il maîtriser pour la partie E sur le théorème de Cantor ?

Il faut maîtriser la convergence normale des séries de fonctions, le calcul de coefficients par intégration terme à terme et les propriétés des fonctions affines bornées.

Pas de description pour le moment