Fonctions d’une variable réelle — ENS

Exercices corrigés des ENS sur le thème « fonctions d’une variable réelle », regroupés par filière.

MP–MPI


Exercice 1. (★★★) Continuité ; Caractérisation séquentielle ; Densité
Donner une fonction réelle continue en tout irrationnel et discontinue en tout rationnel.
Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez : Pour poursuivre votre exploration, vous pouvez :

Exercice 2. (★★★★★) Taylor avec reste intégral ; Inégalité de Taylor-Lagrange ; Dérivées successives
Question 1) Rappeler Taylor avec reste intégral et l’inégalité de Taylor-Lagrange.

Question 2) Si {f\in C^n(\mathbb{R})} et {f,f^{(n)}} sont bornées, montrer que les dérivées intermédiaires le sont.

Question 3) Pour {n=2}, montrer {\lVert f'\rVert_\infty\leq\sqrt{2\lVert f\rVert_\infty\lVert f''\rVert_\infty}}.

Question 4) Montrer {\lVert f^{(k)}\rVert_\infty\leq2^{k(n-k)/n}\lVert f\rVert_\infty^{(n-k)/n}\lVert f^{(n)}\rVert_\infty^{k/n}}.

Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez : Pour poursuivre votre exploration, vous pouvez :

Exercice 3. (★★★★★) Formule de Leibniz ; Théorème de Rolle ; Négligeabilité
Soit {f\in C^\infty(]0,+\infty[,\mathbb{R}_+^\star)}, tendant vers {0} aux deux extrémités, et dont chaque dérivée {f^{(n)}}, {n\geq1}, s’annule en un unique {x_n>0}.
Question 1) Montrer {x_n\lt x_{n+1}}.

Question 2) Montrer {x^nf^{(n)}(x)\to0} quand {x\to0^+}.

Question 3) Pour {g=f/x}, expliciter {g^{(n)}} en fonction des dérivées de {f} et montrer {(-1)^ng^{(n)}>0}.

Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez : Pour poursuivre votre exploration, vous pouvez :

Exercice 4. (★★★) Zéros simples ; Continuité de la dérivée ; Changement de variable
Soit {f\in C^1([0,1],\mathbb{R})} avec {(f(x),f'(x))\ne(0,0)} pour tout {x}.

Déterminer {\lim_{\delta\downarrow0}\delta^{-1}\int_0^1\mathbf1_{|f(t)|\lt \delta}|f'(t)|\,dt}.

Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez : Pour poursuivre votre exploration, vous pouvez :

Exercice 5. (★★) Rationnels ; Caractérisation séquentielle ; Densité
Soit {f(x)=0} pour {x} irrationnel et {f(p/q)=1/q} pour {p/q} irréductible, {q>0}.

Déterminer ses points de continuité.

Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez : Pour poursuivre votre exploration, vous pouvez :

Exercice 6. (★★★) Théorème de Rolle ; Extremums ; Tangentes
Soit {f} dérivable sur un intervalle ouvert contenant {[a,b]}, {a\lt b}, avec {f'(a)=f'(b)}.

Montrer qu’une tangente en un point {c\in(a,b)} passe par {(a,f(a))}.

Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez : Pour poursuivre votre exploration, vous pouvez :

Exercice 7. (★★★★) Convergence uniforme ; Continuité de la somme ; Taux d'accroissement
Construire une fonction continue sur {\mathbb{R}} qui ne soit dérivable en aucun point.
Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez : Pour poursuivre votre exploration, vous pouvez :

Exercice 8. (★★★) Continuité uniforme ; Limites ; Théorème fondamental
Question a) {f(x)=\sin(x^2)/x} est-elle uniformément continue sur {[1,\infty)} ?
Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez : Pour poursuivre votre exploration, vous pouvez :
Question b) Si {f\in C^1(\mathbb{R}_+)} a une limite finie et {f'} est uniformément continue, {f'} a-t-elle une limite ?
Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez : Pour poursuivre votre exploration, vous pouvez :

Exercice 9. (★★★★) Groupe symétrique, déterminants ; Théorème de Rolle ; Formule de Leibniz
Sur un intervalle non trivial {I}, noter {W_r(f_1,\ldots,f_r)=\det(f_j^{(i-1)})_{1\le i,j\le r}}.
Question a) Montrer que {W_r(gf_1,\ldots,gf_r)=g^rW_r(f_1,\ldots,f_r)}.
Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez : Pour poursuivre votre exploration, vous pouvez :
Question b) Si tous les {W_k(f_1,\ldots,f_k)} ne s’annulent pas, montrer que toute combinaison linéaire non nulle a au plus {r-1} zéros.
Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez : Pour poursuivre votre exploration, vous pouvez :
Question c) Si {W_r=0} identiquement mais {W_{r-1}} ne s’annule pas, montrer que les {f_j} sont liées.
Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez : Pour poursuivre votre exploration, vous pouvez :

Exercice 10. (★★★) Valeurs intermédiaires ; Convergence uniforme ; Fonctions monotones
Question a) Soit {f:[a,b]\to[a,b]}.

i) Si {f} est continue, montrer qu’elle a un point fixe.

ii) Même question si {f} est croissante.

Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez : Pour poursuivre votre exploration, vous pouvez :
Question b) Montrer que les discontinuités d’une fonction monotone {f:\mathbb{R}\to\mathbb{R}} forment un ensemble au plus dénombrable.
Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez : Pour poursuivre votre exploration, vous pouvez :
Question c) Construire une fonction monotone dont cet ensemble soit exactement {\mathbb{Q}}.
Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez : Pour poursuivre votre exploration, vous pouvez :

Exercice 11. (★★★★★) Fonctions monotones ; Densité ; Exponentielle et logarithme
Trouver toutes les fonctions {f:\mathbb{R}\to\mathbb{R}} croissantes, à valeurs dans {[0,1]}, continues à droite, de limites {0} en {-\infty} et {1} en {+\infty}, telles que pour tout entier {k\ge1} il existe {b_k\in\mathbb{R}} avec {f(x)^k=f(x+b_k)} pour tout {x}.
Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez : Pour poursuivre votre exploration, vous pouvez :

Exercice 12. (★★★★) Fonctions monotones ; Convergence uniforme ; Suites extraites
Soit {E} l’ensemble des fonctions croissantes de {\mathbb{R}} dans {\mathbb{R}}, de limites {0} et {1} aux deux infinis. Soient {F,G,H\in E}, {G,H} continues. Si {F(a_nx+b_n)\to G(x)} et {F(c_nx+d_n)\to H(x)} pour tout réel {x}, montrer qu’il existe {\lambda>0}, {\mu\in\mathbb{R}} avec {H(x)=G(\lambda x+\mu)}.
Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez : Pour poursuivre votre exploration, vous pouvez :


PC


Exercice 1. (★★★) Valeurs intermédiaires ; Borne supérieure
1) Montrer qu’une fonction continue de {[0,1]} dans {[0,1]} possède un point fixe.
Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez : Pour poursuivre votre exploration, vous pouvez :
2) Montrer qu’une fonction croissante de {[0,1]} dans {[0,1]} possède aussi un point fixe, sans hypothèse de continuité.
Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez : Pour poursuivre votre exploration, vous pouvez :

Exercice 2. (★★★★) Limites ; Premier ordre ; Second ordre à coefficients constants
Soit {f\in\mathcal C^1(\mathbb{R}_+,\mathbb{R})}.
1) Si {f'(x)\to0}, {f} a-t-elle nécessairement une limite finie ?
Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez : Pour poursuivre votre exploration, vous pouvez :
2) Si {f(x)\to0}, a-t-on nécessairement {f'(x)\to0} ?
Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez : Pour poursuivre votre exploration, vous pouvez :
3) Si {f(x)\to a} et {f'(x)\to b}, avec {a,b} réels, montrer que {b=0}.
Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez : Pour poursuivre votre exploration, vous pouvez :
4) Si {f(x)+f'(x)\to a\in\mathbb{R}}, déterminer les limites de {f,f'}.
Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez : Pour poursuivre votre exploration, vous pouvez :
5) Pour {n\ge2} et {f\in\mathcal C^n(\mathbb{R})}, la condition {\sum\limits_{k=0}^n f^{(k)}(x)\to a} implique-t-elle que toutes les dérivées jusqu’à l’ordre {n} ont des limites finies ? Traiter {n=2} et {n\ge3}.
Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez : Pour poursuivre votre exploration, vous pouvez :

Exercice 3. (★★★) Limites ; Accroissements finis ; Monotonie
Soient {f:\mathbb{R}\to\mathbb{R}} dérivable et {\ell\in\mathbb{R}}. On suppose {f(x)+f'(x)\to\ell} en {+\infty}.

Étudier les limites de {f} et {f'}.

Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez : Pour poursuivre votre exploration, vous pouvez :

Exercice 4. (★) Dérivées successives ; Continuité ; Non-annulation locale
Soit {f\in C^\infty(\mathbb{R},\mathbb{R})}, {p\in\mathbb{N}} et {x\in\mathbb{R}} avec {f^{(p)}(x)\ne0}.

Montrer que, pour tout {0\le\ell\le p} et tout {\varepsilon>0}, il existe {a\lt b} avec {\max(|x-a|,|x-b|)\le\varepsilon} tels que {f^{(\ell)}} ne s’annule pas sur {]a,b[}.

Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez : Pour poursuivre votre exploration, vous pouvez :

Exercice 5. (★) Taylor-Young ; prolongement par continuité ; valeurs intermédiaires
Soit {g:[0,+\infty[\to\mathbb{R}} de classe {C^2} telle que {g(0)=g'(0)=0} et {g''(0)>0}. Pour {\lambda>0}, on pose {A_\lambda=\left\{x>0:g(x)=\lambda x\right\}}.

Montrer qu’il existe {\mu>0} tel que {A_\lambda\ne\varnothing} pour tout {\lambda\in]0,\mu]}.

Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez : Pour poursuivre votre exploration, vous pouvez :

Exercice 6. (★) continuité par morceaux ; image d'un intervalle ; monotonie
Soient {f:[0,1]\to\mathbb{R}} continue par morceaux et {g:[0,1]\to\mathbb{R}} continue. On suppose que {f+g} est croissante.

Montrer que {f([0,1])} est un intervalle.

Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez : Pour poursuivre votre exploration, vous pouvez :

Exercice 7. (★★★) Taylor-Young ; continuité ; dérivation et composition
Trouver toutes les fonctions {f\in C^2(\mathbb{R},\mathbb{R})} telles que {f(t)^2=f(t\sqrt2)} pour tout {t\in\mathbb{R}}.
Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez : Pour poursuivre votre exploration, vous pouvez :

Exercice 8. (★★) image d'un intervalle ; limites ; monotonie
Soit {f\in C^1(\mathbb{R}_+,\mathbb{R})} ne prenant pas les valeurs {0} et {1}.

On suppose {f'(x)=\frac1{f(x)}+\frac1{f(x)-1}\quad(x\ge0).}Déterminer la limite de {f} en {+\infty}.

Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez : Pour poursuivre votre exploration, vous pouvez :

Exercice 9. (★★★) Taylor-Young ; borne supérieure et inférieure ; bijections et fonctions réciproques
Soit {g\in C^2(\mathbb{R}_+,\mathbb{R})} telle que {g(0)=g'(0)=0} et {g''(0)>0}. Pour {\lambda>0}, posons {A(\lambda)=\left\{x>0:g(x)=\lambda x\right\}}.
1) Montrer que {A(\lambda)\ne\varnothing} pour {\lambda>0} assez petit.

2) Posons {\lambda^\star=\sup\left\{\lambda>0:A(\lambda)\ne\varnothing\right\}}, éventuellement infinie.

Montrer que {A(\lambda)\ne\varnothing} pour {0\lt \lambda\lt \lambda^\star}.

3) Quand cela est défini, posons {X_\lambda=\inf A(\lambda)}.

Montrer que {X_\lambda\ne0}.

4) La fonction {h:\lambda\mapsto X_\lambda} est-elle nécessairement continue sur {]0,\lambda^\star[} ?

5) Montrer qu’elle est continue au voisinage de {0}.

Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez : Pour poursuivre votre exploration, vous pouvez :

Exercice 10. (★★) caractérisation séquentielle ; densité ; exponentielle et logarithme
Déterminer les fonctions continues {f:\mathbb{R}_+^\star\to\mathbb{R}} telles que, pour tous {x,y>0} :
a) {f(xy)=f(x)+f(y)} ;
Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez : Pour poursuivre votre exploration, vous pouvez :
b) {f(xy)=f(x)f(y)}.
Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez : Pour poursuivre votre exploration, vous pouvez :

Exercice 11. (★★★) inégalité de Taylor-Lagrange ; dérivées successives ; extremums
Soit {f\in C^2(\mathbb{R},\mathbb{R}_+)} dont la dérivée seconde est bornée.

Montrer qu’il existe {C\in\mathbb{R}} tel que {(f'(x))^2\le Cf(x)} pour tout {x}.

Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez : Pour poursuivre votre exploration, vous pouvez :


Retour aux planches par thème

Author: Jean-Michel Ferrard

Professeur de mathématiques en classe préparatoire aux grandes écoles.