Lycée Louis-Le-Grand, Paris Pour le 27/05/2024

MP2I – Mathématiques
A. Troesch

DM no 25 : Fonctions continues et dérivables sur un intervalle

Suggestion de travail supplémentaire (à ne pas me rendre) : le problème 11 de la sélection, plutôt plus facile
et moins technique que le problème ci-dessous (et je je voulais dans un premier temps donner avant de me souvenir
qu’il était dans la sélection).

Problème 1 – Exposant de Hölder ponctuel (adapté de Polytechnique MP 2013)

On note C l’ensemble des fonctions continues, définies sur l’intervalle compact r0, 1s et à valeurs dans R. Pour tout
f P C, on note }f }8 “ sup |f pxq|.
xPr0,1s
On note C0 le sous-ensemble de C formé par les fonctions f telles que f p0q “ f p1q “ 0.

Partie I – Résultats préliminaires

Dans cette partie, on établit quelques résultats préliminaires, indépendants les uns des autres, qui serviront dans la
suite du problème.
1. Justifier que pour tout f P C, }f }8 est bien définie dans R.
2. Montrer que C0 est stable par combinaison linéaire ; autrement dit, si f et g sont deux éléments de C0 et λ et
µ des réels, alors λf ` µg est élément de C0 .
3. Soit I “ ra, bs un intervalle fermé, et a ă x1 ă x2 ă ¨ ¨ ¨ ă xn ă b. Montrer que si f est continue sur ra, bs, et
dérivable sur sa, brztx1 , . . . , xn u, et vérifie |f 1 pxq| ď M pour tout x Psa, brztx1, . . . , xn u, alors

|f pbq ´ f paq| ď M |b ´ a|.

4. Montrer que pour tout s Ps0, 1r, et a, b ě 0, on a as ` bs ď 21´s pa ` bqs .

Partie II – Définition de l’exposant de Hölder ponctuel

Soit x0 P r0, 1s. Pour tout s P r0, 1r, on désigne par Γs px0 q le sous-ensemble de C formé par les fonctions f qui
vérifient :
|f pxq ´ f px0 q|
sup ă `8.
xPr0,1sztx0 u |x ´ x0 |s
5. Déterminer Γ0 px0 q
6. (a) Montrer que Γs px0 q est stable par combinaison linéaire, et que pour tous réels s1 et s2 tels que 0 ď s1 ď
s2 ă 1, on a Γs2 px0 q Ă Γs1 px0 q.
(b) Soit f P C. Montrer que si f est dérivable en x0 , alors f P Γs px0 q pour tout s P r0, 1r.
(c) Montrer que pour tout x0 Ps0, 1r, il existe f P C non dérivable en x0 , tel que pour tout s P r0, 1r, f P Γs px0 q.
Pour tout f P C, et tout x0 P r0, 1s, on pose

αf px0 q “ supts P r0, 1s | f P Γs px0 qu.

Le réel αf px0 q est appelé exposant de Hölder ponctuel de f en x0 : il permet de mesurer finement la régularité locale
de f au voisinage du point x0 .
a
7. Soit p : r0, 1s Ñ R, x ÞÑ |1 ´ 4x2 |. Déterminer l’exposant de Hölder ponctuel de p en 12 .

1
Pour tout f P C, on définit la fonction ωf : r0, 1s Ñ R` par :

ωf phq “ supt|f pyq ´ f pxq| | x, y P r0, 1s et |x ´ y| ď hu.

8. (a) Montrer que ωf est croissante, et continue en 0.

(b) Montrer que pour tout h, h1 P r0, 1s tels que h ď h1 , ωf vérifie :

ωf ph1 q ď ωf phq ` ωf ph1 ´ hq.

(c) En déduire que ωf est continue sur r0, 1s.

ωf phq
9. (a) Soit s P r0, 1r. On suppose que la fonction h ÞÑ est bornée sur s0, 1s. Pour tout x0 P r0, 1s, montrer
hs
que f P Γs px0 q.
(b) Soit q : r0, 1s Ñ R définie par : $
&qpxq “ x cos ` π ˘ si x ą 0
x
%qp0q “ 0

ωq phq
Montrer que pour tout x0 P r0, 1s, αq px0 q “ 1, mais que ?
h
ne tend pas vers 0 quand h tend vers 0.

Partie III – Le système de Schauder

On note I “ tpj, kq P N2 | j P N et 0 ď k ă 2j u. Pour j P N, on désigne par Tj l’ensemble

Tj “ tk P N | 0 ď k ă 2j u.

Pour tout pj, kq P I, soit θj,k : r0, 1s Ñ r0, 1s la fonction définie pour tout x P r0, 1s par :
$
&1 ´ |2j`1 x ´ 2k ´ 1| si x P rk2´j , pk ` 1q2´j s
θj,k pxq “
%0 sinon.

La famille des fonctions pθj,k qpj,kqPI est appelé le système de Schauder.

10. (a) Représenter graphiquement θj,k dans les 3 cas suivants : pj, kq “ p0, 0q, p1, 0q et p1, 1q.
(b) Décrire le graphe de θj,k dans le cas général.
11. (a) Montrer que pour tout j P N et tout k P Tj`1 , il existe un unique entier k 1 P Tj tel que

rk2´j´1 , pk ` 1q2´j´1 s Ă rk 1 2´j , pk 1 ` 1q2´j s.

On précisera le lien entre k et k 1 .

(b) Calculer θj,k pℓ2´j´1 q pour tous j P N, k P Tj , ℓ P Tj`1
(c) Montrer que pour tout pj, kq P I, la fonction θj,k est continue, affine sur chaque intervalle de la forme
rℓ2´n , pℓ ` 1q2´n s, où n ą j et ℓ P Tn .
(d) Prouver que pour tout pj, kq P I et tout px, yq P r0, 1s2 , on a :

|θj,k pxq ´ θj,k pyq| ď 2j`1 |x ´ y|.

Dans le reste de la partie, f est un élément de C 0 .

Pour tout n P N, soit Sn f la fonction définie par :
n ÿ
ÿ
Sn f “ cj,k pf qθj,k ,
j“0 kPTj

où, pour tout pj, kq P I, on a posé

f pk2´j q ` f ppk ` 1q2´j q

ˆˆ ˙ ˙
1
cj,k pf q “ f k` 2´j ´ .
2 2

2
 12. Montrer que lim max |cj,k pf q| “ 0.
jÑ`8 kPTj

13. (a) Montrer que pour toutes fonctions f et g de C0 , et tous réels λ et µ, cj,k pλf ` µgq “ λcj,k pf q ` µcj,k pgq.
(b) Pour tout pj, kq P I, pi, ℓq P I, calculer cj,k pθi,ℓ q.
(c) Montrer que pour tout pj, kq P I tel que j ď n, cj,k pSn f q “ cj,k pf q.
14. (a) Montrer que pour tout n P N et tout ℓ P Tn`1 , la fonction Sn f est affine sur l’intervalle rℓ2´n´1 , pℓ`1q2´n´1 s.
(b) En raisonnant par récurrence, montrer que pour tout n P N et tout ℓ P Tn`1 , pSn f qpℓ2´n´1 q “ f pℓ2´n´1 q.
(c) Interpréter graphiquement la fonction Sn pf q.
15. (a) En déduire que pour tout f P C0 , lim }f ´ Sn f }8 “ 0.
nÑ`8

(b) On suppose de plus f de classe C 1 . Montrer qu’il existe une constante M1 telle que pour tout pj, kq P I,
|cj,k pf q| ď M1 2´j . En déduire que }f ´ Sn f }8 ď M1 2´n . On pourra exprimer f ´ Sn pf q comme le reste
d’une certaine série.
(c) On suppose que f est de classe C 2 . Montrer qu’il existe une constante M2 telle que }f ´ Sn f }8 ď M2 4´n .
16. Soit s P r0, 1r. Montrer que si f P Γs px0 q X C0 , alors il existe un réel c1 ą 0 tel que pour tout pj, kq P I, on ait :

|cj,k pf q| ď c1 p2´j ` |k2´j ´ x0 |qs .

Partie IV – Minoration de l’exposant de Hölder ponctuel

L’objectif de cette partie est d’établir une forme de réciproque du dernier résultat de la partie précédente. Dans toute
cette partie, on désigne par f P C0 une fonction vérifiant la propriété suivante :
pP1 q : il existe x0 P r0, 1s, s Ps0, 1s, et c1 Ps0, `8r tels que pour tout pj, kq P I,

|cj,k pf q| ď c1 p2´j ` |k2´j ´ x0 |qs .

Dans tout le reste de la partie, on fixe les réels x0 , s et c1 de la propriété pP1 q, et x P r0, 1sztx0u.
On note k̃j pxq la partie entière du réel 2j x, donc l’unique entier tel que

k̃j pxq ď 2j x ă k̃j pxq ` 1.

17. Montrer qu’il existe un unique n0 P N tel que 2´n0 ´1 ă |x ´ x0 | ď 2´n0 .

18. On pose pour tout j P N : ÿ
Wj “ |cj,k pf q| ¨ |θj,k pxq ´ θj,k px0 q|.
kPTj

Montrer que ´ ¯
Wj ď |cj,k̃j pxq pf q| ` |cj,k̃j px0 q pf q| 2j`1 |x ´ x0 |.

19. (a) Montrer que pour tout j ď n0 (n0 est déterminé dans la question 17), on a :

Wj ď 4c1 2p1´sqj 3s |x ´ x0 |.

(b) En déduire que, en posant c2 “ 8p21´s ´ 1q´1 p3{2qs c1 ,

n0 ÿ
ÿ
|cj,k pf q| ¨ |θj,k pxq ´ θj,k px0 q| ď c2 |x ´ x0 |s .
j“0 kPTj

20. Montrer que pour tout j P N, |cj,k̃j px0 q pf q| ď 2sp1´jq c1 . En déduire, en posant c3 “ p1 ´ 2´s q´1 2s c1 ,

`8
ÿ ÿ
|ck,j pf q| ¨ |θj,k px0 q| ď c3 |x ´ x0 |s .
j“n0 `1 kPTj

Dans la suite du problème, on suppose que }f }8 “ 1 et on rappelle que la fonction ωf a été définie à la question 8.
21. Montrer qu’il existe un unique n1 P N tel que ωf p2´n1 ´1 q ă 2´n0 s ď ωf p2´n1 q.

3
22. Montrer que pour tout n ě n1 , où n1 est déterminé dans la question 21, on a :

}f ´ Sn f }8 ď 2s`1 |x ´ x0 |s .

On pourra utiliser les résutats des questions 14(a) et 14(b).

23. (a) Montrer que lorsque n0 ă n1 , on a :
n1
ÿ ÿ
|cj,k pf q| ¨ |θj,k pxq| ď c1 3s pn1 ´ n0 q|x ´ x0 |s .
j“n0 `1 kPTj

On suppose de plus dans la suite que la fonction ωf vérifie la propriété suivante :

pP2 q : Pour tout entier N ě 1, il existe un réel c4 pN q ą 0 tel que pour tout h Ps0, 1s,
´N
ωf phq ď c4 pN q p1 ` | log2 phq|q .

(b) Pour tout entier N ě 1, on pose c5 pN q “ 3s c1 pc4 pN qq1{N . Montrer que :

ˆ ˙ N1
c4 pN q
n1 ´ n0 ď n1 ` 1 ď
ωf p2´n1 q

et en déduire n1
1
ÿ ÿ
|cj,k pf q| ¨ |θj,k pxq| ď c5 pN q|x ´ x0 |p1´ N qs .
j“n0 `1 kPTj

24. Déduire de ce qui précède que αf px0 q ě s.

On pourra distinguer les cas n0 ě n1 et n0 ă n1 .