Dérivabilité
Exercice
2731. Soit $f:\R\to\R$ une application dérivable.\\
Montrer que si $f$ est paire, alors $f'$ est impaire.\\
Montrer que si $f$ est impaire, alors $f'$ est paire.\\
Montrer que si $f$ est $T$-périodique, alors $f'$ aussi.
Exercice
2732. Soit $f : \R \to \R$ une application telle que, pour tout $(x,y) \in \R^2$ avec $x\neq y$,
\[
\abs{f(x)-f(y)} \leqslant \abs{x-y}^{\frac{3}{2}} \abs{\ln\abs{x-y}}.
\]
Montrer que $f$ est constante.
Exercice
2733. Soit $f(x) = \begin{cases} x^2\sin\frac{1}{x} \quad si \; x \neq 0 \\ 0 \quad si \; x = 0 \end{cases}$. \\
Etudier la continuité, la dérivabilité, et la continuité de la dérivée pour $f$.
Exercice
2734. Montrer que $f:\R \to \R$ définie par\\
\[
f(x)=
\begin{cases}
e^{\frac{1}{x}} & \mathrm{si}\; x < 0,\\
0 & \mathrm{si}\; x=0,\\
x^2\ln(x) & \mathrm{si}\; x > 0
\end{cases}
\]
est dérivable sur $\R$
Exercice
2735. Donner le domaine de définition des fonctions $f$ suivantes, justifier la dérivabilité de $f$ sur son domaine de définition et calculer $f'$.\\
- $x \mapsto \ln\left(\dfrac{1+x}{2-x}\right)$.
- $x \mapsto xe^{\frac{1}{x}+\sqrt{x}}$.
- $x \mapsto \arctan\left(\dfrac{1}{x}\right)$.
- $x \mapsto \cos(4x^3)$
Exercice
2736. Soit $f$ la fonction définie par $f(x)=0$ si $x < -1$ et $f(x)=|x|$ si $x\geqslant -1$.\\
Donner le domaine de définition, le domaine de continuité, et le domaine de dérivabilité de $f$
Exercice
2737. Considérons la fonction $f:x\mapsto \begin{cases}
x^2\sin\parenthese{\Frac{1}{x}} & \mathrm{si}\; x\neq 0,\\
0 & \mathrm{si}\; x=0.
\end{cases}$\\
- La fonction $f$ est-elle dérivable sur $\R$ ?\\
- La fonction $f$ est-elle de classe $\mathcal{C}^1$ sur $\R$ ?
Exercice
2738. Soit $f:[0,1]\to\mathbb{R}$ définie par\\
\[
f(x)=\left\{\begin{array}{ll}
0 & \mathrm{si}\;x\in\{0,1\}\\
\ln(x)\times\ln(1-x) & \mathrm{sinon}
\end{array}\right.
\]
- Justifier que le graphe de $f$ est symétrique par rapport à la droite d’équation $x=\Frac{1}{2}$.\\
- Montrer que $f$ est continue sur $[0,1]$.\\
- La fonction $f$ est-elle dérivable sur $[0,1]$ ?
Exercice
2739. Montrer que $f:\R\to\R$ définie par\\
\[
f(x)=
\begin{cases}
\ch x+\sin x & \mathrm{si}\; x\geqslant 0,\\
e^x & \mathrm{si}\; x\leqslant 0,
\end{cases}
\]
est de classe $C^2$ sur $\R$ mais n'est pas $3$ fois dérivable en $0$.
Exercice
2740. Soit $f : [0,1] \to \R$ une fonction dérivable.\\
On définit une fonction $g : [0,1] \to \R$ par\\
\[
g(x)
=
\begin{cases}
f(2x) & si \;\; x \in [0, \Frac12] \\
f(2x - 1) & sinon
\end{cases}
\]\\
À quelle condition $g$ est-elle dérivable ?
Exercice
2741. Soit $h : \R \to \R$ définie par $h(x)=\lfloor x \rfloor+\parenthese{x-\lfloor x \rfloor}^2$.\\
- Soit $a \in \R\setminus \Z$. Posons $n=\lfloor a \rfloor$. On a donc $n < a < n+1$.\\ Montrer qu’il existe $\alpha \in \R_+^*$ tel que $]a-\alpha,a+\alpha[\subset ]n,n+1[$.\\
- Montrer que $h$ est dérivable en $a$ et calculer $h'(a)$.\\
- Soit $n \in \Z$ et $t \in ]n,n+1[$. Exprimer $\Frac{h(t)-h(n)}{t-n}$ et en déduire $h'_d(n)$.\\ Calculer de même $h'_g(n)$. La fonction $h$ est-elle dérivable en $n$ ?
Exercice
2742. Soit $f(x) = \begin{cases} x\cos{\frac{1}{x}} \quad si \;\; x \neq 0 \\ 0 \quad si \;\; x = 0 \end{cases}$. \\
$f$ est-elle dérivable en $0$? Continue en $0$ ?
Exercice
2743. Montrer que les fonctions suivantes sont dérivables sur leur ensemble de définition et déterminer leur dérivée :\\
- $f:x \mapsto x|x|$.
- $f:x \mapsto \begin{cases} \dfrac{\ln(x)}{x-\ln(x)} & \text{si } x > 0,\\ -1 & \text{si } x=0. \end{cases}$
- $f:x \mapsto \begin{cases} x^2\ln(x) & \text{si } x > 0,\\ 0 & \text{si } x=0. \end{cases}$
Exercice
2744. On considère la fonction définie par $f(x)=\tan^3(x)$ sur $I=\left[0,\dfrac{\pi}{4}\right]$.\\
- Montrer que $f$ réalise une bijection de $I$ vers un intervalle $J$ à déterminer.
- Étudier la dérivabilité de $g=f^{-1}$ sur $J$.
- Calculer $g'(1)$
Exercice
2745. Soit deux réels $a$, $b$ et la fonction définie sur $\mathbb{R}_+$ par
\[
f:x \mapsto
\begin{cases}
\sqrt{x} & \text{si } 0 \leqslant x \leqslant 1,\\
ax^2+bx+1 & \text{si } x > 1.
\end{cases}
\]
- Comment doit-on choisir $a$ et $b$ pour que $f$ soit continue sur $\mathbb{R}_+^*$ ?
- Déterminer $a$ et $b$ pour que $f$ soit dérivable sur $\mathbb{R}_+^*$
Exercice
2746. On considère la fonction suivante :
\[
g:x\mapsto
\begin{cases}
x^2\sin\left(\dfrac{1}{x}\right) & \text{si } x \neq 0,\\
0 & \text{si } x=0.
\end{cases}
\]
Justifier que la fonction $g \in C^1(\mathbb{R}^*)$.\\
La fonction $g$ est-elle continue en $0$ ? La fonction $g$ est-elle dérivable en $0$ ? Donner l'expression, sur $\mathbb{R}$, de la dérivée de $g$.\\
Montrer, en utilisant la suite $\left(\dfrac{1}{2n\pi}\right)_{n\in\mathbb{N}^*}$ que la dérivée n'est pas continue en $0$
Exercice
2747. Étudier la dérivabilité en $0$ de la fonction $f$ :
\[
f:
\begin{cases}
\mathbb{R}\to\mathbb{R}\\
x\mapsto
\begin{cases}
\sin(x)\sin\left(\dfrac{1}{x}\right) & \text{si } x \neq 0,\\
0 & \text{si } x=0.
\end{cases}
\end{cases}
\]
Exercice
2748.
- Soit $x$ un réel strictement positif. Montrer qu'il existe $t \in ]0,x[$ tel que \[ \dfrac{\arctan(x)}{x}=\dfrac{1}{1+t^2}. \] En déduire que, pour tout $x \geqslant 0$, \[ \dfrac{x}{1+x^2}\leqslant \arctan(x). \]
-
- Soit $t$ un réel strictement supérieur à $1$.\\ Montrer qu'il existe $c \in ]t,t+1[$ tel que \[ \ln(\ln(t+1))-\ln(\ln(t))=\dfrac{1}{c\ln(c)}. \]
- En déduire que, pour tout $t > 1$, \[ \dfrac{1}{(t+1)\ln(t+1)} \leqslant \ln(\ln(t+1))-\ln(\ln(t)) \leqslant \dfrac{1}{t\ln(t)}. \]
Exercice
2749. Soit $(u_n)$ la suite définie par $u_0=0$ et, pour tout $n\in\mathbb{N}$,
\[
u_{n+1}=\sqrt{6+u_n}.
\]
- Montrer que pour tout entier $n$, $u_n$ existe et $u_n \geqslant 0$.
- Résoudre dans $\mathbb{R}_+$ l'équation $\sqrt{6+x}=x$.
- Montrer que, pour tout $n\in\mathbb{N}$, \[ |u_{n+1}-3|\leqslant \dfrac{1}{2\sqrt{6}}|u_n-3|. \]
- En déduire que, pour tout $n\in\mathbb{N}$, \[ |u_n-3|\leqslant \dfrac{3}{(2\sqrt{6})^n}, \] puis que $(u_n)$ converge vers une limite que l'on précisera
Exercice
2750.
- Justifier de la dérivabilité de la fonction $x\mapsto \ln(x)|x-1|$ en $1$.
- Justifier de la dérivabilité sur $\mathbb{R}$ et calculer la dérivée de $f:x\mapsto \exp(x^2\cos(x))$.
- Soit $f$ la fonction définie par \[ f(x)=\dfrac{\sin(x)+\cos(x)}{1+\cos^2(x)} \] pour tout $x\in\mathbb{R}$.\\ Justifier, que pour tout $a\in\mathbb{R}$, $f'$ s'annule au moins une fois sur $]a,a+2\pi[$ sans calculer $f'(x)$
Exercice
2751. Étudier la dérivabilité sur $\mathbb{R}$, en fonction des paramètres $a$ et $b$ pour la deuxième fonction, de :\\
- \[ x\mapsto \begin{cases} (x-1)^2 & \text{si } x \leqslant 1,\\ (x-1)^3 & \text{si } x > 1. \end{cases} \]
- \[ x\mapsto \begin{cases} \sqrt{x} & \text{si } 0 \leqslant x \leqslant 1,\\ ax^2+bx+1 & \text{sinon.} \end{cases} \]
Exercice
2752. Montrer que la fonction $x\mapsto x^2\ln(x)$ définie sur $\mathbb{R}_+^*$ est prolongeable en une fonction de classe $C^1$ sur $\mathbb{R}_+$
Exercice
2753. Montrer que la fonction $x\mapsto x^2\ln(x)$ définie sur $\mathbb{R}_+^*$ est prolongeable en une fonction de classe $C^1$ sur $\mathbb{R}_+$
Exercice
2754. Soit $f:\mathbb{R}\to\mathbb{R}$ une application dérivable en $0$ et nulle en $0$. Soit $\ell\in\mathbb{N}^*$.\\
Pour tout $n\in\mathbb{N}^*$, on pose
\[
S_n=\sum_{k=0}^{n\ell}f\left(\frac{k}{n^2}\right).
\]
Montrer que la suite $(S_n)_{n\in\mathbb{N}^*}$ converge et calculer sa limite.
Exercice
2755. Soit $n \in \N$ fixé.\\
Démontrer par récurrence sur $m \in \N^*$ que $f$ est $n+m$ fois dérivable en $a$ si et seulement si elle est $n$ fois dérivable au voisinage de $a$ et que $f^{(n)}$ est $m$ fois dérivable en $a$ avec $\bigl(f^{(n)}\bigr)^{(m)}(a)=f^{(n+m)}(a)$
Exercice
2756. On définit $f:[0,+\infty[\to\mathbb{R}$ par $f(0)=1$ et $f(x)=\Frac{1}{1-\exp\!\left(-\frac{1}{x}\right)}$ pour $x>0$.\\
Démontrer que $f$ est de classe $C^1$ sur $[0,+\infty[$.
Exercice
2757. Soit $f : \R \to \R$ dérivable en $x_0$.\\
Montrer que\\
\[
\Frac{f(b)-f(c)}{b-c}\xrightarrow[b\to x_0^+,\;c\to x_0^-]{}f'(x_0).
\]
Exercice
2758. Soit $f:\R\to\R$ dérivable en $x_0$.\\
Montrer que\\
\[
\Frac{f(b)-f(c)}{b-c}\to f'(x_0)
\quad\mathrm{lorsque}\quad
b\to x_0^+\;\mathrm{et}\;c\to x_0^-.
\]
Exercice
2759. Soit $f : x \mapsto \Frac{1}{\Frac{1}{x}+\sin\parenthese{\Frac{1}{x}}}$.\\
- Montrer que $f$ est prolongeable par continuité en $0$.\\
- Montrer que $f$ ainsi prolongée est dérivable sur $\mathbb{R}$, strictement croissante sur $\mathbb{R}$, et de dérivée s'annulant une infinité de fois dans tout voisinage de $0$.
Exercice
2760. On considère la fonction $f$ définie sur l'intervalle $I=\left[0,\dfrac{\pi}{4}\right]$ par
\[
f(x)=\dfrac{1}{\cos(x)}.
\]
- Montrer que $f$ réalise une bijection de $I$ dans un intervalle $J$ que l'on précisera. On note $f^{-1}$ la bijection réciproque.
- Donner sur le même graphique l'allure des courbes représentatives de $f$ et de $f^{-1}$.
- Justifier que, pour tout $x \in J$, \[ \cos(f^{-1}(x))=\dfrac{1}{x} \quad \text{et} \quad \sin(f^{-1}(x))=\sqrt{1-\dfrac{1}{x^2}}. \]
- Montrer que $f^{-1}$ est dérivable sur $J\setminus\{1\}$ et montrer que, pour tout $x \in J\setminus\{1\}$, \[ (f^{-1})'(x)=\dfrac{1}{x\sqrt{x^2-1}}. \]
Exercice
2761. Soit $f:\mathbb{R}^*\to\mathbb{R}$ définie pour tout $x \neq 0$ par
\[
f(x)=x^2\left\lfloor\dfrac{1}{x}\right\rfloor.
\]
Montrer que la fonction $f$ est prolongeable par continuité en $0$ : on note encore $f$ ce prolongement.\\
Étudier la dérivabilité de ce prolongement en $0$
Exercice
2762. On considère une fonction $f:\mathbb{R}_+\to\mathbb{R}$ de classe $C^2(\mathbb{R}_+)$ telle que $f'(0)=0$.\\
On pose ensuite la fonction $g:\mathbb{R}_+\to\mathbb{R}$ définie par
\[
g(t)=f(\sqrt{t}).
\]
- Justifier que $g$ est $C^1(\mathbb{R}_+^*)$.
- Pour tout $x \in \mathbb{R}_+^*$, calculer $g'(x)$.
- Montrer que \[ \lim_{x\to 0^+}g'(x)=\dfrac{f''(0)}{2} \] à l'aide du taux d'accroissement de $f'$ en $0$.
- En déduire par un théorème du cours que $g\in C^1(\mathbb{R}_+)$ et donner $g'(0)$
Exercice
2763.
- Énoncer le théorème des accroissements finis.
- Soit $f:[a,b]\to\mathbb{R}$ et soit $x_0\in ]a,b[$.\\ On suppose que $f$ est continue sur $[a,b]$ et que $f$ est dérivable sur $]a,x_0[$ et sur $]x_0,b[$.\\ Démontrer que, si $f'$ admet une limite finie en $x_0$, alors $f$ est dérivable en $x_0$ et \[ f'(x_0)=\lim_{x\to x_0}f'(x). \]
- Prouver que l'implication suivante est fausse : \[ f\;\; dérivable\;\; en\;\; x_0 \Longrightarrow f'\;\; admet\;\; une\;\; limite\;\; finie\;\; en\;\; x_0. \] On pourra considérer la fonction $g$ définie par $g(x)=x^2\sin\left(\dfrac{1}{x}\right)$ si $x \neq 0$ et $g(0)=0$
Exercice
2764.
- Étudier la dérivabilité de $|x^3|$ en $0$ et de $\sqrt{x^3-1}$ en $1$.
- Calculer la dérivée, après avoir discuté de l'ensemble de dérivation de $f$ définie par :
- $f(x)=\sqrt{x^2-x^3}$.
- $f(x)=x^{\ln(x)}$
Exercice
2765. On considère $f$ définie sur $\mathbb{R}$ par
\[
f(x)=\dfrac{e^x-e^{-x}}{e^x+e^{-x}}.
\]
- Montrer que la fonction $f$ admet une fonction réciproque notée $g$ définie sur $J=]-1,1[$.
- Montrer que, pour tout $x\in\mathbb{R}$, \[ f'(x)=1-(f(x))^2. \]
- Démontrer que $g$ est dérivable sur $J$ et calculer $g'$ de deux manières : en utilisant le théorème de dérivation d'une fonction réciproque, puis en explicitant $g(y)$
Exercice
2766.
-
- Montrer que la fonction $x\in\mathbb{R}_+\mapsto \sqrt{x}$ n'est pas dérivable en $0$, mais que sa courbe représentative admet une tangente verticale en $O$.\\ Montrer que la fonction $x\in\mathbb{R}_+\mapsto x\sqrt{x}$ est dérivable en $0$.
- Montrer que la fonction valeur absolue est dérivable à gauche et à droite en $x_0=0$, mais n'est pas dérivable en $0$.\\ Étudier la dérivabilité de la fonction $g:x\in\mathbb{R}\mapsto |x^2-x|$ en $x_0=1$.
- Soit \[ f:x\in\mathbb{R}_+\mapsto \begin{cases} x\ln(x) & \text{si } x > 0,\\ 0 & \text{si } x=0. \end{cases} \] Montrer que $f$ est continue en $0$ puis étudier la dérivabilité de $f$ en $0$.\\ Étudier les variations de $f$ puis tracer l'allure de son graphe en soignant le détail au voisinage de $0$.
- Donner le nombre dérivé de la fonction inverse en $a\neq 0$ en utilisant le taux d'accroissement.
- Montrer qu'étant donné un réel $x > 0$, il existe $c\in ]x,x+1[$ tel que \[ \ln(x+1)-\ln(x)=\dfrac{1}{c}. \] Puis en déduire que, pour tout $x > 0$, \[ \dfrac{1}{x+1}\leqslant \ln(x+1)-\ln(x)\leqslant \dfrac{1}{x}. \]
-
- Trouver une constante $M$ telle que, pour tout $(x,y)\in\mathbb{R}^2$, \[ |\sin(x)-\sin(y)|\leqslant M|x-y|. \] Justifier.
- En déduire que, pour tout $x\in\mathbb{R}$, \[ |\sin(x)|\leqslant |x|. \]
- Soit $(u_n)_{n\in\mathbb{N}}$ définie par $u_0=0$ et, pour tout $n\in\mathbb{N}$,
\[
u_{n+1}=\dfrac{1-u_n^2}{4}.
\]
- Donner les variations de $f(x)=\dfrac{1-x^2}{4}$.
- Vérifier que $I=[0,1]$ est stable par $f$ et en déduire que, pour tout $n\in\mathbb{N}$, $u_n\in I$.
- Déterminer les points fixes de $f$ situés dans $I$.
- On pose $\alpha=\sqrt{5}-2$. Montrer que, pour tout $n\in\mathbb{N}$, \[ |f(u_n)-\alpha|\leqslant \dfrac{1}{2}|u_n-\alpha|. \]
- En déduire que, pour tout $n\in\mathbb{N}$, \[ |u_n-\alpha|\leqslant \left(\dfrac{1}{2}\right)^n. \] Conclure pour la suite $(u_n)$.
- Montrer que la fonction $\cos$ est strictement décroissante sur $[0,\pi]$. En déduire qu'il s'agit d'une bijection de $[0,\pi]$ vers un intervalle $J$ que l'on déterminera.
- Montrer que la fonction $f:\mathbb{R}_+\to\mathbb{R}$ définie par \[ f(x)= \begin{cases} x^2\ln(x) & \text{si } x \neq 0,\\ 0 & \text{si } x=0 \end{cases} \] est de classe $C^1$ sur $\mathbb{R}_+$
Exercice
2767. On considère la fonction $f$ définie par, pour tout $x\in\mathbb{R}$,
\[
f(x)=
\begin{cases}
\dfrac{\sin(x)}{x} & \text{si } x \neq 0,\\
1 & \text{si } x=0.
\end{cases}
\]
La fonction $f$ est-elle $C^0$ ? $C^1$ ?\\
On pourra utiliser si besoin le fait que
\[
\lim_{x\to 0}\dfrac{\sin(x)-x}{x^3}=-\dfrac{1}{6}
\]
Exercice
2768. Soit $f:x\mapsto \dfrac{1}{\sin(x)}$ définie sur $I=\left[\dfrac{\pi}{2},\pi\right[$.\\
- Montrer que $f$ est une bijection de $I$ sur un intervalle à préciser.
- Sans déterminer $f^{-1}$, montrer que cette fonction est dérivable sur $]1,+\infty[$ et déterminer sa dérivée
Exercice
2769. Quelle est la classe des fonctions suivantes sur $\mathbb{R}$ ?\\
- \[ f:x\mapsto \begin{cases} x^2 & si\; x\geqslant 0,\\ 0 & si\; x < 0. \end{cases} \]
- \[ f:x\mapsto \begin{cases} e^x & si\; x\geqslant 0,\\ x+1 & si\; x < 0. \end{cases} \]
- \[ f:x\mapsto e^{|x|} \]
Exercice
2770. Étudier si les fonctions suivantes sont dérivables et $C^1$ sur $\mathbb{R}$ :
\[
f(x)=
\begin{cases}
x^2\sin\left(\dfrac{1}{x}\right) & \mathrm{si}\ x\neq 0,\\
0 & \mathrm{si}\ x=0,
\end{cases}
\]
\[
g(x)=
\begin{cases}
x^3\sin\left(\dfrac{1}{x}\right) & \mathrm{si}\ x\neq 0,\\
0 & \mathrm{si}\ x=0.
\end{cases}
\]
Exercice
2771. On considère une fonction $f$ vérifiant le théorème de la bijection monotone, dérivable, bijective de $I$ vers $J$, deux intervalles, telle que, pour tout $x\in I$,
\[
f'(x)=\exp(f(x)).
\]
Justifier que $f^{-1}$ est dérivable et donner, pour tout $x\in J$, $(f^{-1})'(x)$.\\
Donner un exemple d'une telle fonction
Exercice
2772. Soit $f:\mathbb{R}^+\to\mathbb{R}$ une application continue en $0$ vérifiant
\[
\exists k\in ]0,1[,\quad \ell=\lim_{\substack{x\to 0\\x>0}}\dfrac{f(x)-f(kx)}{x}
\]
existe.\\
Montrer que $f$ est dérivable en $0$ et exprimer $f'(0)$ en fonction de $\ell$ et de $k$.
Exercice 2773. Centrale MP
\\ Déterminer les fonctions $f \in C^{1}(\R,\R)$ vérifiant $f \circ f = f$.
Exercice
2774. Soit $f:\mathbb{R}\to\mathbb{R}$ continue en $0$. \\
Déterminer une condition nécessaire et suffisante pour que
\[
\frac{f(2x)-f(x)}{x}
\]
admette une limite en $0$.
Exercice
2775. Soit l'application $f:\mathbb{R}\to\mathbb{R}$ définie par $f(x)=0$ si $x\leqslant 0$, et par $f(x)=e^{-1/x}$ si $x > 0$.\\
- Démontrer que $f$ est de classe $\mathcal{C}^{\infty}$ sur $\mathbb{R}$.\\
- Démontrer qu'il existe une fonction $\varphi$ de classe $\mathcal{C}^{\infty}$ sur $\mathbb{R}$ telle que \[ \forall x\in[-1,1],\quad \varphi(x)=1 \] et \[ \forall x\in\mathbb{R},\quad |x|\geqslant 2 \Longrightarrow \varphi(x)=0. \]
Exercice
2776. Soit $\alpha \in \R$. On pose $f(x)=|x|^{\alpha}\sin\!\parenthese{\Frac1x}$ si $x\neq 0$ et $f(0)=0$.\\
- Montrer que $f$ est impaire et que la restriction de $f$ à $\R_+^{\ast}$ est de classe $C^{\infty}$. On restreint donc l'étude de $f$ à $0$ ou même $0^+$.\\
- Si $\alpha \leqslant 0$, montrer que $f$ n'a pas de limite en $0^+$.\\
- Si $\alpha >0$, montrer que $f$ est continue en $0$.\\
- Si $\alpha \in ]0,1]$, montrer que $f$ n'est pas dérivable en $0$.\\
- Si $\alpha >1$, montrer que $f$ est dérivable en $0$ avec $f'(0)=0$.\\
- Si $\alpha \in ]1,2]$, montrer que $f'$ n'a pas de limite en $0^+$.\\
- Si $\alpha >2$, montrer que $f$ est de classe $C^1$ sur $\R$.
Exercice
2777. Soit $f(x)=(x-[x])^2(x-[x]-1)^2$.\\
- Montrer que $f$ est $1$-périodique.\\
- Montrer qu'il existe une fonction $g:\R\to\R$ de classe $C^{\infty}$ telle que $\forall x\in[0,1],\; f(x)=g(x)$. En déduire que $f_{\mid[0,1]}$ est de classe $C^{\infty}$.\\
- Calculer $f'_d(0)$, $f''_d(0)$, $f^{(3)}_d(0)$, $f'_g(1)$, $f''_g(1)$, $f^{(3)}_g(1)$ et tracer le graphe de $f$ sur $\R$.\\
- Montrer que $f$ est de classe $C^2$ mais n'est pas de classe $C^3$.\\
- Montrer que $f'$ est $1$-périodique non constante.\\
- En déduire que $f'$ n'a pas de limite en $+\infty$.\\
- Montrer que $h(x)=\begin{cases}x^2f\!\parenthese{\Frac1x}&\mathrm{si}\;x\neq 0,\\0&\mathrm{sinon}\end{cases}$ est dérivable sur $\R$, de dérivée discontinue en $0$.
Exercice
2778. Soit $n\in\mathbb{N}$.\\
Montrer par récurrence, en utilisant le théorème de la limite de la dérivée dans l'hérédité, que la fonction
\[
f_n:x\mapsto
\begin{cases}
x^{n+1} & \text{si } x\geqslant 0,\\
0 & \text{sinon}
\end{cases}
\]
est $C^n(\mathbb{R})$.\\
Pour cela, dans l'hérédité, vous montrerez que $f_{n+1}$ est $C^1(\mathbb{R})$ et que, pour tout $x\in\mathbb{R}$,
\[
f_{n+1}'(x)=(n+2)f_n(x)
\]
Exercice
2779. Soit $I$ un intervalle ouvert non vide de $\mathbb{R}$ et $f:I\to\mathbb{R}$ une fonction continue telle que, pour tout $x\in I$, la limite
\[
f^S(x)=\lim_{h\to 0}\dfrac{f(x+h)-f(x-h)}{2h}
\]
existe.\\
On dit que $f$ est dérivable selon Schwarz, ou encore pseudo-dérivable, et $f^S(x)$ est appelée dérivée symétrique de $f$ en $x$.\\
- Montrer que si $f^S\geqslant 0$, alors $f$ est croissante.\\ On commencera par le cas $f^S\geqslant \alpha>0$.\\
- Montrer que si $f^S$ est continue en $a\in I$, alors $f$ est dérivable en $a$ et $f'(a)=f^S(a)$
Exercice
2780. On note $\Delta$ la fonction définie sur $\mathbb{R}$, $1$-périodique, dont la restriction à $\left[-\frac12,\frac12\right]$ vérifie
\[
\Delta(x)=|x|.
\]
Montrer que la fonction
\[
f:\mathbb{R}\to\mathbb{R},\quad x\mapsto \sum_{p=0}^{+\infty}\frac{1}{2^p}\Delta(2^px)
\]
est continue mais n’est dérivable en aucun point de $\mathbb{R}$.