0% ont trouvé ce document utile (0 vote)
193 vues10 pages

CCP 2006 MP M1 Corrige

Ce document contient un exercice de mathématiques portant sur le calcul de sommes et de séries. Il présente également un problème introduisant les fonctions tests.

Transféré par

Tahtouh Ladeb
Copyright
© © All Rights Reserved
Nous prenons très au sérieux les droits relatifs au contenu. Si vous pensez qu’il s’agit de votre contenu, signalez une atteinte au droit d’auteur ici.
Formats disponibles
Téléchargez aux formats PDF, TXT ou lisez en ligne sur Scribd
0% ont trouvé ce document utile (0 vote)
193 vues10 pages

CCP 2006 MP M1 Corrige

Ce document contient un exercice de mathématiques portant sur le calcul de sommes et de séries. Il présente également un problème introduisant les fonctions tests.

Transféré par

Tahtouh Ladeb
Copyright
© © All Rights Reserved
Nous prenons très au sérieux les droits relatifs au contenu. Si vous pensez qu’il s’agit de votre contenu, signalez une atteinte au droit d’auteur ici.
Formats disponibles
Téléchargez aux formats PDF, TXT ou lisez en ligne sur Scribd

SESSION 2006

CONCOURS COMMUN POLYTECHNIQUE

EPREUVE SPECIFIQUE-FILIERE MP

MATHEMATIQUES 1

EXERCICE 1
a. Pour n ∈ N∗ ,
 
1 1 n+2−n 1 1 1
= = − .
n(n + 1)(n + 2) 2 n(n + 1)(n + 2) 2 n(n + 1) (n + 1)(n + 2)
Puis, pour n ∈ N∗ ,
n
X n
1X
 
1 1 1 1 1 1
= ( − )= − (somme télescopique).
k(k + 1)(k + 2) 2 k(k + 1) (k + 1)(k + 2) 2 1 × 2 (n + 1)(n + 2)
k=1 k=1

On en déduit la convergence et la somme de la série proposée :


+∞
X 1 1
= .
n(n + 1)(n + 2) 4
n=1

b. Pour n ∈ N∗ ,
n
X n
X 2k−1 X 2k n−1
2k
=2 =2 ,
(k − 1)! (k − 1)! k!
k=1 k=1 k=0

et donc,
+∞
X 2n
= 2e2 .
(n − 1)!
n=1

EXERCICE 2
a. f est continue par morceaux sur R et 2π-périodique. On peut donc calculer ses coefficients de Fourier.
Puisque f est paire, pour tout entier naturel non nul n, on a bn (f) = 0 et pour tout entier naturel n, on a
Z
2 π 2
an (f) = t cos(nt) dt.
π 0
Rπ 2
Ainsi, a0 (f) = π2 0 t2 dt = 2π3 puis, pour n ∈ N∗ ,

Zπ π Z Z
2 π 4 π
 
2 2 2 2 sin(nt)
an (f) = t cos(nt) dt = t − t sin(nt) dt = − t sin(nt) dt
π 0 π n 0 n 0 nπ 0
π Z
1 π 4(−1)n
 
4 cos(nt) 4
=− −t + cos(nt) dt = 2 .π(−1)n = .
nπ n 0 n 0 n π n2

Maintenant, la fonction f est 2π-périodique, continue sur R, de classe C1 par morceaux sur R. D’après le théorème de
Dirichlet, la série de Fourier de f converge vers f sur R. En particulier, pour tout réel x de [0, π],
+∞ +∞
a0 (f) X π2 X (−1)n
f(x) = x2 = + (an (f) cos(nx) + bn (f) sin(nx)) = +4 cos(nx).
2 3 n2
n=1 n=1
http ://[Link] 1 c Jean-Louis Rouget, 2006. Tous droits réservés.
b. x = 0 fournit
+∞
X (−1)n π2
= − ,
n2 12
n=1

et x = π fournit
+∞
X 1 1 2 π2 π2
= (π − ) = .
n2 4 3 6
n=1

Mais alors,
+∞
X +∞ +∞
1 1 X 1 X (−1)n 1 π2 π2 π2
= ( − ) = ( + ) = .
(2n + 1)2 2 n2 n2 2 6 12 8
n=0 n=1 n=1

+∞
X +∞
X +∞
X
(−1)n π2 1 π2 1 π2
= − , = et = .
n2 12 n2 6 (2n + 1)2 8
n=1 n=1 n=0

c. Puisque f est continue par morceaux sur R et 2π-périodique, la formule de Parseval fournit
+∞ Z Z
a20 X 2 1 2π 2 2 π 2
+ (an + b2n ) = f (t) dt = f (t) dt,
2 π 0 π 0
n=1

ou encore

+∞
X 1 Zπ
2π4 2 2π4
+ 16 = t4 dt = ,
9 n4 π 0 5
n=1

et donc,

+∞
X 1 π4
= .
n4 90
n=1

PROBLEME : Une introduction aux fonctions tests


I. Découverte des fonctions tests.
1. Soit A une partie de R.
• Si A est compacte, alors, A est en particulier bornée. Puisque A ⊂ A, A est aussi bornée.
• Réciproquement, si A est bornée, il existe R > 0 tel que A ⊂ [−R, R]. Mais alors A ⊂ [−R, R] = [−R, R]. On en
déduit que A est bornée. Comme d’autre part, A est fermée, le théorème de Borel-Lebesgue permet d’affirmer que A
est compacte.
Finalement,

∀A ∈ P(R), (A bornée ⇔ A compacte).

2. Quelques exemples
a. (Voir graphique page suivante)
{x ∈ R/ u(x) 6= 0} =] − 2, 2[ et donc supp(u) = [−2, 2]. Puisque ] − 2, 2[ est borné, la question précédente permet d’affirmer
que supp(u) = ] − 2, 2[ est compact.
La fonction u n’est dérivable en 2 (ug′ (2) = −4 et ud′ (2) = 0). u n’est donc pas une fonction test.

http ://[Link] 2 c Jean-Louis Rouget, 2006. Tous droits réservés.


4

y=
3

u(x
)
2

−5 −4 −3 −2 −1 1 2 3 4 5

b. {x ∈ R/ sin(x) 6= 0} = R \ πZ et donc supp(sin) = R. La fonction sin n’est pas à support compact et n’est donc pas une
fonction test.

3. a. Montrons par récurrence que pour tout entier


 naturel k, il existe un polynôme Pk de degré dk = 2k tel que pour
(k) 1 −1
tout réel strictement positif x, h (x) = Pk ex .
x
• Le résultat est clair pour k = 0 avec P0 = 1 qui est bien un polynôme de degré d0 = 0 = 2 × 0.
• Soit k ≥ 0. Supposons le résultat établi pour l’entier k. Pour tout réel strictement positif x on a alors
             
1 1 1 1 1 1 1 1 1 1 1
h(k+1) (x) = (h(k) ) ′ (x) = − 2 Pk′ + Pk . − 2 e− x = − 2 Pk′ + Pk e− x = Pk+1 e− x ,
x x x x x x x x

avec Pk+1 = −X2 (Pk + Pk′ ). Tout d’abord, Pk+1 est bien un polynôme. Ensuite, puisque Pk n’est pas le polynôme nul, le
degré de Pk + Pk′ est le degré dk de Pk .Mais alors dk+1 = 2 + dk = 2k + 2 = 2(k + 1).
 
(k) 1 1
On a montré par récurrence que ∀k ∈ N, ∃Pk ∈ R[X]/; ∀x ∈ R, h (x) = Pk e− x . De plus, ∀k ∈ N, deg(Pk ) = 2k.
x
Un théorème classique d’analyse dit que si f est une fonction continue sur [a, b] à valeurs dans R, de classe C∞ sur ]a, b]
telle que pour tout entier naturel non nul k f(k) a une limite réelle en a, alors f est de classe C∞ sur [a, b]. Ici,
1
• h est continue sur ]0, +∞[ et lim h(x) = lim e− x = 0 = h(0). Donc h est continue sur [0, +∞[.
x→ 0 x→ 0
x>0 x>0

• h est de classe C sur ]0, +∞[.  
(k) 1 1
• Pour tout entier naturel non nul k et tout réel strictement positif x, on a h (x) = Pk e− x où Pk est un
x
polynô[Link] théorèmes de croissances comparées permettent alors d’affirmer que pour tout entier naturel non nul k,
h(k) (x) tend vers 0 quand x tend vers 0 par valeurs supérieures et en particulier h(k) a une limite réelle quand x tend vers
0 par valeurs supérieures.
On en déduit que h est de classe C∞ sur [0, +∞[ et en particulier admet en 0 des dérivées à droite à tout ordre égales à
0. Comme h est également de classe C∞ sur ] − ∞, 0] et que ses dérivées successives sur cet intervalle sont nulles, on a
montré que

h est de classe C∞ sur R.

b. Le support de h est [0, +∞[. Donc h n’est pas une fonction test.
Supposons par l’absurde que h est développable en série entière. Alors, il existe un réel r > 0 tel que pour tout réel
x ∈] − r, r[,
+∞ (n)
X f (0) n
h(x) = x = 0.
n!
n=0

h est donc nulle sur un intervalle ouvert non vide de centre 0, ce qui n’est pas. Donc h n’est pas développable en série
entière.

http ://[Link] 3 c Jean-Louis Rouget, 2006. Tous droits réservés.


4. a. Soit x ∈ R. −(x − 1)(x + 1) > 0 ⇔ x ∈] − 1, 1[. Donc si x ∈] − ∞, −1] ∪ [1, +∞[, ϕ(x) = 0 et si x ∈] − 1, 1[
1 1
ϕ(x) = e− −(x−1)(x+1) = e x2 −1 .
 1

∀x ∈ R, ϕ(x) = e x2 −1 si x ∈] − 1, 1[
0 si x ∈] − ∞, −1] ∪ [1, +∞[

Puisque la fonction x 7→ −(x − 1)(x + 1) est de classe C∞ sur R à valeurs dans R et que h est de classe C∞ sur R, la
fonction ϕ est de classe C∞ sur R. Puisque de plus le support de ϕ est [−1, 1] qui est un compact de R,

la fonction ϕ est une fonction test.

ϕ est paire, croissante sur ] − ∞, 0] et décroissante sur [0, +∞[.


Graphe de la fonction ϕ

1
y = ϕ(x)

−5 −4 −3 −2 −1 1 2 3 4 5

b. La fonction x 7→ h(−(x − 3)(x − 8)) est une fonction test dont le support est [3, 8].
La fonction x 7→ h(−(x − 1)(x − 2)) + h(−(x − 5)(x − 6)) est une fonction test dont le support est [1, 2] ∪ [5, 6].

5. Soit f une fonction définie sur R à support compact. Il existe un réel poisitif A tel que pour x ∈] − ∞, −A] ∪ [A, +∞[,
f(x) = 0. Mais alors lim f(x) = lim f(x) = 0.
x→ −∞ x→ +∞

6. Construction d’une suite régularisante


a. ϕ est continue sur ] − ∞, +∞[ et donc localement intégrable sur ] − ∞, +∞[. ϕ est nulle au voisinage de −∞ et au
voisinage de +∞ et donc ϕ est intégrable au voisinage de −∞ et au voisinage de +∞. Finalement,

ϕ est intégrable sur ] − ∞, +∞[.

ϕ est une fonction continue, positive et non nulle sur ] − ∞, +∞[ et donc
Z +∞
ϕ(x) dx > 0.
−∞

Z +∞
1
Posons alors I = ϕ(x) dx puis ρ = ϕ. ρ vérifie toutes les conditions de l’énoncé.
−∞ I
1 1
b. Soit n ∈ N∗ . Pour x ∈ R, ρn (x) 6= 0 ⇔ nρ(nx) 6= 0 ⇔ nx ∈] − 1, 1[⇔ x ∈] − , [.
n n
 
1 1
∀n ∈ N∗ , supp(ρn ) = − , .
n n

Soit n ∈ N∗ . En posant t = nx, on obtient


Z +∞ Z n1 Z1 Z +∞
ρn (x) dx = ρ(nx) ndx = ρ(t) dt = ρ(t) dt = 1.
1
−∞ −n −1 −∞

Z +∞

∀n ∈ N , ρn (x) dx = 1.
−∞

http ://[Link] 4 c Jean-Louis Rouget, 2006. Tous droits réservés.


II. Approximation uniforme sur R par des fonctions de classe C∞ ou par des fonctions tests.
7. a. La suite de polynômes (Pn ) converge uniformément sur R vers une certaine fonction f. On en déduit qu’il existe
un entier N tel que, pour n ≥ N, kPn − fk∞ ≤ 12 . Pour n ≥ N, on a alors

1 1
kPn − PN k∞ ≤ kPn − fk∞ + kf − PN k∞ ≤ + = 1.
2 2
b. Ainsi, pour n ≥ N, le polynôme Pn − PN est borné sur R et donc est un polynôme constant Cn . La suite de polynômes
constants (Cn ) = (Pn − PN ) converge vers f − PN qui est donc un polynôme constant C (car si pour tout x réel et tout
n ≥ N, Cn (x) = Cn (0) alors en faisant tendre n vers +∞, on obtient pour tout réel x, C(x) = C(0)).
Quand n tend vers +∞ dans l’égalité Pn = PN + Cn , on obtient f = PN + C et f est donc un polynôme.

Si une suite de polynômes (Pn ) converge uniformément sur R vers une fonction f, f est un polynôme.

8. a. Graphe de la fonction zn .

y = zn (x)

−(n + 1) −n n n+1

Soient x un réel positif puis n0 = E(x) + 1. Pour n ≥ n0 , on a n ≥ E(x) + 1 > x et donc zn (x) = 1. On en déduit que
lim zn (x) = 1. Si maintenant x est un réel négatif, lim zn (x) = lim zn (−x) = 1.
n→ +∞ n→ +∞ n→ +∞

La suite de fonctions (zn ) converge simplement vers la fonction constante x 7→ 1 sur R.

Maintenant, pour tout entier n, kzn − 1k∞ = 1 et on n’a donc pas lim kzn − 1k∞ = 0.
n→ +∞

La suite de fonctions (zn ) ne converge pas uniformément vers sa limite sur R.

b. Soit g une fonction continue sur R et nulle à l’infini. Il existe un réel positif A tel que si |x| > A, |g(x)| ≤ 1. Mais
la fonction g est continue sur le segment [−A, A] et donc bornée sur ce segment. Par suite, il existe un réel M tel que si
|x| ≤ A, |g(x)| ≤ M.
Pour tout réel x on a alors |g(x)| ≤ Max{1, M}. On a montré que

si g est nulle à l’infini, g est bornée sur R.

c. Soit n ∈ N. Puisque {x ∈ R/ |x| ≥ n + 1} ⊂ {x ∈ R/ |x| ≥ n}, on a αn+1 ≤ αn .

La suite (αn ) est décroissante.

ε
Soit ε > 0. Puisque g est nulle à l’infini, il existe A > 0 tel que si |x| > A, |g(x)| < .
2
ε ε
Soit alors n0 = E(A) + 1. Pour tout réel x tel que |x| ≥ n0 , on a |g(x)| < et donc αn0 ≤ < ε. Mais alors, puisque la
2 2
suite (αn ) est décroissante (et positive), pour n ≥ n0 , on a 0 ≤ αn ≤ αn0 < ε. On a montré que

∀ε > 0 ∃n0 ∈ N/ ∀n ∈ N, (n ≥ n0 ⇒ 0 ≤ αn < ε)

http ://[Link] 5 c Jean-Louis Rouget, 2006. Tous droits réservés.


et donc que

lim αn = 0.
n→ +∞

d. Soient n ∈ N et x ∈ R.
• Si |x| < n, |gn (x) − g(x)| = |g(x) − g(x)| = 0 ≤ αn .
• Si |x| ≥ n + 1, |gn (x) − g(x)| = |g(x)| ≤ αn .
• Si n ≤ |x| < n + 1, |gn (x) − g(x)| = |(−|x| + n + 1)g(x) − g(x)| = (|x| − n).|g(x)| ≤ |g(x)| ≤ αn .
Finalement, pour tout réel x on a |gn (x) − g(x)| ≤ αn et donc kgn − gk∞ ≤ αn .

∀n ∈ N, kgn − gk∞ ≤ αn .

e. Soit n ∈ N. Le support de gn est contenu dans supp(zn ) = [−(n + 1), (n + 1)]. Mais alors le support de gn est borné
est donc compact. De plus, gn est continue sur R en tant que produit de fonctons continues sur R. Finalement

pour tout entier naturel n, gn est continue sur R à support compact.

D’après les questions c. et d., la suite (kgn − gk∞ ) tend vers 0 quand n tend vers +∞ et donc la suite de fonctions
(gn ) converge uniformément sur R vers la fonction g.
On a montré que

Une fonction continue sur R, nulle à l’infini est limite uniforme sur R d’une suite de fonctions
continues sur R à support compact (A1 ).

9. a. Soit x ∈ R. La fonction h : t 7→ g(t)f(x − t) est continue sur R. Le support de h est contenu dans le support de g.
On en déduit que h est nulle à l’infini et en particulier intégrable au voisinage de +∞ et au voisinage de −∞. Finalement

∀x ∈ R, la fonction t 7→ g(t)f(x − t) est intégrable sur R.

b. Soit x ∈ R. Pour t réel donné, −R ≤ x − t ≤ R ⇔ x − R ≤ t ≤ x + R. La fonction h : t 7→ f(t)g(x − t) est continue


sur R et son support est contenu dans [x − R, x + R]. On en déduit de nouveau que h est nulle à l’infini et en particulier
intégrable au voisinage de +∞ et au voisinage de −∞. Finalement

∀x ∈ R, la fonction t 7→ f(t)g(x − t) est intégrable sur R.

Soit x ∈ R. En posant u = x − t, on obtient

Z +∞ ZR
(g ∗ f)(x) = g(t)f(x − t) dt = g(t)f(x − t) dt
−∞ −R
Z x−R Z x+R Z +∞
= g(x − u)f(u) (−du) = g(x − u)f(u) du = f(u)g(x − u) du
x+R x−R −∞
= (f ∗ g)(x).

Donc

f ∗ g = g ∗ f.

10. Support d’une convolution


a. Soient x un réel strictement plus grand que R + S et t un réel.
• Si |t| > R, on a g(t) = 0 et donc g(t)f(x − t) = 0.
• Si |t| ≤ R, alors −R ≤ t ≤ R puis x − R ≤ x − t. Mais alors x − t > (R + S) − R = S. On en déduit que f(x − t) = 0 et
donc encore une fois que g(t)f(x − t) = 0.
Z +∞
Finalement, pour tout réel t on a g(t)f(x − t) = 0 et donc g ∗ f(x) = g(t)f(x − t) = 0.
−∞

http ://[Link] 6 c Jean-Louis Rouget, 2006. Tous droits réservés.


De même, soient x un réel strictement plus petit que −(R + S) et t un réel.
• Si |t| > R, on a g(t) = 0 et donc g(t)f(x − t) = 0.
• Si |t| ≤ R, alors −R ≤ t ≤ R puis x − t ≤ x + R < −(R + S) + R = −S. On en déduit de nouveau que f(x − t) = 0
et donc que g(t)f(x − t) = 0.
Dans ce cas aussi g ∗ f(x) = 0.
En résumé, f ∗ g est nulle en dehors de [−(R + S), (R + S)] et donc

f ∗ g est à support compact.

b. On prend pour f la fonction constante x 7→ 1 et pour g la fonction z0 . g est à support compact et f ne l’est pas. Pour
tout réel x on a
Z +∞ Z1
f ∗ g(x) = g(t)f(x − t) dt = z0 (t) dt = 1.
−∞ −1

f ∗ g est la fonction constante x 7→ 1 et n’est donc pas à support compact.

11. Dérivation d’une convolution


a. Soient a un réel strictement positif puis x ∈ [−a, a].
Si t est un réel tel que t > a + R, alors x − t < x − (a + R) ≤ a − (a + R) = −R et donc g(x − t) = 0.
De même si t < −a − R, alors x − t > x + a + R ≥ −a + a + R = R et donc g(x − t) = 0.
Mais alors
Z +∞ Z a+R
f ∗ g(x) = f(t)g(x − t) dt = f(t)g(x − t) dt.
−∞ −a−R

b. Soient a un réel strictement positif et Φ : [−a, a] × [−a − R, a + R] −→ R .


(x, t) 7−→ f(t)g(x − t) dt
- Pour tout réel x de [−a, a], la fonction t 7→ Φ((x, t)) est continue par morceaux sur [−a − R, a + R].
- Puisque g est de classe C1 sur R, Φ admet une dérivée partielle par rapport à sa première variable sur [−a, a] ×
[−a − R, a + R]. De plus pour (x, t) ∈ [−a, a] × [−a − R, a + R], on a
∂Φ
((x, t)) = f(t)g ′ (x − t).
∂x
∂Φ
- Pour tout réel x de [−a, a], la fonction t 7→ ((x, t) est continue par morceaux sur [−a − R, a + R] et pour tout réel
∂x
∂Φ
t de [−a − R, a + R], la fonction x 7→ ((x, t) est continue sur [−a, a].
∂x
- D’après la question 5., une fonction à support compact est nulle à l’infini et d’après la question 8.b., une fonction
continue sur R et nulle à l’infini est bornée sur R. Les fonctions g et g ′ sont donc bornées sur R (g ′ étant également
continue sur R à support compact). D’autre part, f est continue sur le segment [−a − R, a + R] et en particulier est bornée
∂Φ
sur ce segment. On en déduit que les fonctions Φ et sont bornées sur [−a, a] × [−a − R, a + R]. On note alors M0
∂x
∂Φ
(resp. M1 ) un majorant de la fonction |Φ| (resp. ) sur [−a, a] × [−a − R, a + R] puis on note ϕ0 : t 7−→ M0 et
∂x
ϕ1 : t 7−→ M1 .
Les fonctions ϕ0 et ϕ1 sont continues, positives et clairement intégrables sur [−a − R, a + R] et pour (x, t) ∈ [−a, a] ×
[−a − R, a + R], on a

∂Φ
|Φ((x, t))| ≤ ϕ0 (t) et ((x, t)) ≤ ϕ1 (t).
∂x
En résumé
• ∀x ∈ [−a, a], la fonction t 7→ Φ((x, t)) est continue par morceaux sur [−a − R, a + R] et intégrable sur [−a − R, a + R].
∂Φ
• La fonction Φ admet sur [−a, a]× [−a −R, a +R] une dérivée partielle par rapport à sa première variable vérifiant
∂x
∂Φ
- ∀t ∈ [−a − R, a + R], la fonction x 7→ ((x, t)) est continue sur [−a, a],
∂x
∂Φ
- ∀x ∈ [−a, a], la fonction t 7→ ((x, t)) est continue par morceaux sur [−a − R, a + R],
∂x
- il existe une fonction ϕ1 continue par morceaux, positive et intégrable sur [−a − R, a + R] telle que
∂Φ
- ∀(x, t) ∈ [−a, a] × [−a − R, a + R], ((x, t)) ≤ ϕ1 (t).
∂x
http ://[Link] 7 c Jean-Louis Rouget, 2006. Tous droits réservés.
D’après le théorème de dérivation des intégrales à paramètres (théorème de Leibniz), f ∗ g est de classe C1 sur [−a, a] et
pour tout réel x de [−a, a],
Z a+R Z a+R Z +∞

(f ∗ g) ′ (x) = (f(t)g(x − t)) dt = f(t)g ′ (x − t) dt = f(t)g ′ (x − t) dt = f ∗ g ′ (x).
−a−R ∂x −a−R −∞

Comme ce dernier résutat est valable pour tout réel strictement positif a, on a montré que

f ∗ g est de classe C1 sur R et (f ∗ g) ′ = f ∗ (g ′ ).

Il est alors clair par récurrence que si g est de classe C∞ sur R, f ∗ g est de classe C∞ sur R et que pour tout entier naturel
k, (f ∗ g)(k) = f ∗ (g(k) ).

12. Application à l’approximation


Z +∞
∗ ∞
a. Soit n ∈ N . On rappelle que la fonction ρn est positive et de classe C sur R, que ρn (t) dt = 1 et que
  −∞
1 1
supp(ρn ) = − , . Soit alors x un réel.
n n
Z +∞ Z +∞ Z +∞
|f ∗ ρn (x) − f(x)| = f(x − t)ρn (t) dt − f(x) ρn (t) dt = (f(x − t) − f(x))ρn (t) dt
−∞ −∞ −∞
Z +∞ Z n1
≤ |f(x − t) − f(x)|ρn (t) dt = |f(x − t) − f(x)|ρn (t) dt.
1
−∞ −n

b. Soit ε > 0. Puisque f est uniformément continue sur R,

∃α > 0/, ∀(x, y) ∈ R2 , (|x − y| < α ⇒ |f(x) − f(y)| < ε.


 
1 1 1
Soient n0 = E + 1 puis n un entier supérieur ou égal à n0 et x un réel. On a déjà n0 > et donc < α. Mais
α   α n0
1 1
alors, pour tout réel t de l’intervalle − , , on a
n n

1 1
|(x − t) − x| = |t| ≤ ≤ < α.
n n0
On en déduit que

Z n1
|f ∗ ρn (x) − f(x)| ≤ |f(x − t) − f(x)|ρn (t) dt
1
−n
Z n1 Z n1 Z +∞
≤ ε.ρn (t) dt = ε ρn (t) dt = ε ρn (t) dt = ε.
1 1
−n −n −∞

On a montré que

∀ε > 0, ∃n0 ∈ N/ ∀x ∈ R, ∀n ∈ N, (n ≥ n0 ⇒ |f ∗ ρn (x) − f(x)| ≤ ε,

et donc que

la suite de fonctions (f ∗ ρn ) converge uniformément vers la fonction f sur R.

D’autre part, chaque fonction ρn est de classe C∞ sur R et donc d’après le résultat admis par l’énoncé (et puisque f est
continue sur R), chaque fonction f ∗ ρn est de classe C∞ sur R.
c. Soit f une fonction continue sur R à support compact. f est en particulier continue sur R et nulle à l’infini et donc
uniformément continue sur R. D’après b., la suite (f ∗ ρn ) est une suite de fonctions tests convergeant uniformément vers
f sur R.

http ://[Link] 8 c Jean-Louis Rouget, 2006. Tous droits réservés.


On a montré que

toute fonction continue sur R à support compact est limite uniforme sur R d’une suite de
fonctions tests (A2 ).

III. Théorème de Withney.


13. Soit f une fonction de classe C∞ sur R. f est en particulier continue sur R. Mais alors, puisque Z(f) = f−1 ({0}) et
que le singleton {0} est un fermé de R, Z(f) est l’image réciproque d’un fermé de R par une application continue sur R et
donc Z(f) est un fermé de R.

Si f est de classe C∞ sur R, Z(f) est un fermé de R.

14. Une première tentative de preuve. . . infructueuse


Soit F une partie fermée et non vide de R. Montrons que pour tout réel x, dF (x) = 0 ⇔ x ∈ F.
Soit donc x un réel.
• Si x est dans F, alors 0 ≤ dF (x) = inf |y − x| ≤ |x − x| = 0 et donc dF (x) = 0.
y∈F
• Si dF (x) = 0, il existe une suite (yn ) d’éléments de F telle que la suite (|x − yn |) converge vers dF (x) c’est-à-dire 0. Ceci
signifie encore que la suite (yn ) converge vers x. Mais F est fermée et la limite d’une suite convergente d’éléments de F
appartient à F. On en déduit que x ∈ F.
Finalement

Z(dF ) = F.

Le théorème de Whitney serait alors démontré si la fonction dF était de classe C∞ sur R.


Représentons graphiquement la fonction dF dans le cas particulier où F =] − ∞, −1] ∪ [1, +∞[.
Soit x ∈ R. Si x ∈] − ∞, −1] ∪ [1, +∞[, on a dF (x) = 0. Si x ∈ [−1, 0], dF (x) = d(x, −1) = x + 1 et si x ∈ [0, 1],
dF (x) = d(x, 1) = 1 − x. On obtient le graphique suivant :
y

1
=
dF
(x
)

−5 −4 −3 −2 −1 1 2 3 4 5
−1

La fonction dF n’est pas dérivable en 0 et n’est donc pas de classe C∞ sur R (mais est tout de même continue sur R).
Cette fonction n’est pas solution du problème posé.

15. Utilisation de fonctions tests


(i) Soient a et b deux éléments de R tels que a < b.
Si a et b sont réels posons pour tout réel x ϕa,b (x) = h(−(x − a)(x − b)) (où h est la fonction étudiée à la question
3.).
Si a = −∞ et b est réel, posons ϕa,b (x) = h(−(x − b)).
Si a est réel et b = +∞, posons ϕa,b (x) = h(x − a).
Si a = −∞ et b = +∞, posons ϕa,b (x) = ex .
Dans tous les cas, la fonction ϕa,b est une fonction de classe C∞ sur R dont l’ensemble des zéros est le complémentaire
dans R de l’intervalle ]a, b[.
(ii) Soient a, b, c et d quatre éléments de R tels que a < b ≤ c < d. La fonction ϕa,b + ϕc,d est une fonction de classe
C∞ sur R dont l’ensemble des zéros est le complémentaire de ]a, b[∪]c, d[.

http ://[Link] 9 c Jean-Louis Rouget, 2006. Tous droits réservés.


16. Soit F une partie fermée de R. Si F est vide, la fonction exponentielle est une fonction de classe C∞ sur R dont
l’ensemble des zéros est vide et donc égal à F. De même si F = R, la fonction nulle est une fonction de classe C∞ sur R
dont l’ensemble des zéros est R et donc égal à F.
Sinon F n’est pas vide et son complémentaire Ω ne l’est pas davantage. Puisque F est fermé, Ω[est un ouvert de R et
peut donc s’écrire comme une réunion finie ou dénombrable d’intervalles ouverts disjoints : Ω = ]ak , bk [, où I est une
k∈I
partie de N.
n
[ n
X
Si I est fini, quite à renuméroter, on peut supposer que Ω = ]ak , bk [ et la fonction ϕak ,bk est une fonction de
k=0 k=0
classe C∞ sur R dont l’ensemble des zéros est le complémentaire de Ω.
[
Si I est infini, quite à renuméroter, on peut supposer que Ω = ]ak , bk [. Pour n ∈ N, posons pour alléger ϕn =
k∈N
ϕ]an ,bn [ .
+∞
X
La première idée qui consiste à choisir ϕn ne fonctionne pas car il n’y a aucune raison que cette série de fonctions
n=0
converge.
+∞
X 1
On peut améliorer en choisissant la fonction ϕn car, les fonctions |ϕn | sont majorées par 1 de sorte que cette
2n
n=0
série converge normalement sur R, mais cela n’assure pas encore la possibilité de dériver terme à terme indéfiniment. Il
faut encore améliorer.
Soit n ∈ N.
Si l’intervalle ]an , bn [ est borné, on sait que la fonction ϕn est de classe C∞ sur R à support compact. On en déduit
(k)
que chaque ϕn est définie et bornée sur R.
(k)
Si ]an , bn [=] − ∞, bn [. D’après la question 3., chaque ϕn admet une limite réelle quand x tend vers −∞ et quand x
(k)
tend vers bn . Puisque ϕn est continue sur R et nulle sur [bn , +∞[, encore une fois, chaque |ϕn | est bornée sur R. Il en
est de même, si ]an , bn [=]an , +∞[.
(k)
Dans tous les cas, pour tout entier k, kϕn k∞ existe et est un réel strictement positif (car ϕn n’est pas un polynôme).
(k) 1
Pour n entier naturel donné, considérons alors λn un réel strictement positif tel que, ∀k ∈ J0, nK, kλn ϕn k∞ ≤ n .
2
On peut prendre par exemple
1
λn = (k)
.
2n Max (kϕn k∞ )
0≤k≤n

n
!
(k) 1 X (k)
Pour n ≥ k, on a kλn ϕn k∞ ≤ n . Ceci montre que la série de fonctions λi ϕi est normalement convergente
2
i=k n≥k
+∞ +∞
!(k)
X X
k
sur R et donc (par récurrence sur k) que la fonction λn ϕn est pour tout k, de classe C sur R avec λn ϕn =
n=0 n=0
+∞
X
(k)
λn ϕn .
n=0
Enfin, puisque les λn sont strictement positifs et que les fonctions ϕn sont positives, on a pour tout réel x
+∞
X
λn ϕn (x) = 0 ⇔ ∀n ∈ N, ϕn (x) = 0 ⇔ x ∈ F.
n=0

+∞
X
λn ϕn est une fonction de classe C∞ sur R dont l’ensemble des zéros est F. Le théorème de Withney est démontré.
n=0

http ://[Link] 10 c Jean-Louis Rouget, 2006. Tous droits réservés.

Vous aimerez peut-être aussi