# Calcul différentiel/Exercices/Différentiabilité
## Exercice 1

On se propose d'étendre aux espaces vectoriels normés le théorème « limite de la dérivée », et de le renforcer en allégeant ses hypothèses. Soient $E$ et $F$ deux espaces vectoriels normés, $U$ un ouvert de $E$ et $a$ un point de $U$.
* Soit $f:U\to F$ une application continue au point $a$, différentiable sur $U\setminus \{a\}$, et dont la différentielle admet au point $a$ une limite : $\lim _{x\to a}\mathrm {d} f_{x}=L\in {\mathcal {L}}\left(E,F\right)$. À l'aide de l'inégalité des accroissements finis, démontrer que $f$ est différentiable au point $a$ et $\mathrm {d} f_{a}=L$.
* Application : montrer que la fonction $f:\mathbb {R} ^{2}\to \mathbb {R} \;(x,y)\mapsto {\begin{cases}xy\ln \left(x^{2}+y^{2}\right)&{\text{si }}(x,y)\neq (0,0)\\0&{\text{sinon}}\end{cases}}$ est de classe C$^1$.
* Soit $g:U\setminus \{a\}\to F$ une application différentiable et dont la différentielle admet une limite au point $a$. À l'aide du critère de Cauchy pour une fonction, démontrer que si $F$ est complet et $\dim E>1$, alors $g$ elle-même admet une limite en $a$ (si bien que d'après la question précédente, elle se prolonge en une fonction de classe C$^1$ en ce point).
* Quelle variante de la question 3 peut-on énoncer si $E=\mathbb {R}$ ?
1°) Posons, pour tout $h\in E$ tel que $a+h\in U$ :
    $g\left(h\right):=f\left(a+h\right)-L\left(h\right)$.
Alors, $g$ est continue en $0$ et si $h\neq 0$, $\mathrm {d} g_{h}=\mathrm {d} f_{a+h}-L$. La fonction
    $\varepsilon :h\mapsto \sup _{x\in \left]a,a+h\right|\!|\!|\mathrm {d} g_{x}|\!|\!|$
(définie pour $h\neq 0$ suffisamment petit) vérifie donc :
    $\lim _{h\to 0}\varepsilon \left(h\right)=0$.
Enfin, d'après l'inégalité des accroissements finis,
    $\left\|f\left(a+h\right)-f\left(a\right)-L\left(h\right)\right\|=\left\|g\left(h\right)-g\left(0\right)\right\|\leq \varepsilon \left(h\right)\left\|h\right\|$,
ce qui prouve que $\mathrm {d} f_{a}=L$.
2°) $f$ est évidemment C$^∞$ sur $\mathbb {R} ^{2}\setminus \{(0,0)\}$ et continue en $0$.
En tout point $(x,y)\neq (0,0)$, ${\frac {\partial f}{\partial x}}=y\ln \left(x^{2}+y^{2}\right)+{\frac {2x^{2}y}{x^{2}+y^{2}}}$ donc $\lim _{(x,y)\to (0,0) \atop (x,y)\neq (0,0)}{\frac {\partial f}{\partial x}}=\lim _{r\to 0^{+}}2\sin \theta \left(r\ln r+r\cos ^{2}\theta \right)=0$. De même, $\lim _{(x,y)\to (0,0) \atop (x,y)\neq (0,0)}{\frac {\partial f}{\partial y}}=0$.
D'après la question 1) ceci prouve que $\mathrm {d} f_{(0,0)}=0$ et $f$ est de classe C$^1$ en $(0,0)$.
Mais pas deux fois différentiable, car $\lim _{y\to 0 \atop y\neq 0}{\frac {1}{y}}{\frac {\partial f}{\partial x}}(0,y)=\lim _{y\to 0 \atop y\neq 0}\ln \left(y^{2}\right)=-\infty$ donc ${\frac {\partial ^{2}f}{\partial y\partial x}}(0,0)$ n'est pas définie (de même, ${\frac {\partial ^{2}f}{\partial x\partial y}}(0,0)$ non plus).
3°) Il s'agit de démontrer que $\lim _{h,k\to 0}\left\|g\left(a+h\right)-g\left(a+k\right)\right\|=0$.
Puisque $\mathrm {d} g$ admet une limite en $a$, il existe $M,r>0$ tels que $0<\|h\|\leq r\Rightarrow a+h\in U{\text{ et }}|\!|\!|\mathrm {d} g_{a+h}|\!|\!|\leq M$.
Pour $0<\|h\|,\|k\|\leq \varepsilon \leq r$, si $0\notin \left]h,k\right[$, on déduit alors de l'inégalité des accroissements finis que
    $\left\|g\left(a+h\right)-g\left(a+k\right)\right\|\leq M\left\|h-k\right\|\leq 2M\varepsilon$.
Si $0\in \left]h,k\right[$, il suffit d'utiliser un vecteur auxiliaire $\ell \neq 0$, non colinéaire à $h$ et $k$ (c'est ici qu'on a besoin que $E$ soit de dimension $>1$) et de norme $\leq \varepsilon$ : on aura
    $\left\|g\left(a+h\right)-g\left(a+k\right)\right\|\leq \left\|g\left(a+h\right)-g\left(a+\ell \right)\right\|+\left\|g\left(a+\ell \right)-g\left(a+k\right)\right\|\leq 4M\varepsilon$.
4°) Si $g:\left]a,b\right[\to F$ (complet) est dérivable et si sa dérivée admet une limite à droite au point $a$, alors $g$ elle-même admet une limite à droite en $a$ (et de même en remplaçant partout « droite » par « gauche » et $\left]a,b\right[$ par $\left]b,a\right[$).

## Exercice 2

Soit $A$ une algèbre de Banach unifère, c'est-à-dire une $\mathbb {R}$-algèbre unifère munie d'une norme :
* sous-multiplicative (c'est-à-dire telle que $\forall x,y\in A\quad \left\|xy\right\|\leq \left\|x\right\|\left\|y\right\|$) ;
* pour laquelle $A$ est complète
(par exemple : l'algèbre ${\mathcal {L}}\left(E\right)$ munie de la norme $|\!|\!|\cdot |\!|\!|$, où $E$ est un espace de Banach).
Démontrer que :
* $\forall u\in A\quad \left\|u\right\|<1\Rightarrow \left(1-u\right)^{-1}=\sum _{n=0}^{+\infty }u^{n}$ (où $1$ désigne l'élément unité de $A$ et par convention, $u^{0}=1$) ;
* dans $A$, le groupe $A^{\times }$ des éléments inversibles est ouvert ;
* l'application $\mathrm {Inv} :A^{\times }\to A,\ a\mapsto a^{-1}$ est différentiable et $\mathrm {d} \,\mathrm {Inv} _{a}\left(h\right)=-a^{-1}ha^{-1}$ ;
* l'application $\mathrm {Inv}$ est même de classe C$^∞$.
* Dans le cas particulier $A=\mathrm {M} _{n}\left(\mathbb {R} \right)$, retrouver directement le résultat des questions 2, 4, puis 3.
1°) La série $\sum _{n\in \mathbb {N} }u^{n}$ est absolument convergente car $\left\|u^{n}\right\|$ est majoré par $\left\|u\right\|^{n}$, qui est le terme général d'une série géométrique convergente. La multiplication $A\times A\to A$ est continue (sa norme d'application bilinéaire vaut $1$) donc $\left(1-u\right)\sum _{n\in \mathbb {N} }u^{n}=\sum _{n\in \mathbb {N} }u^{n}-\sum _{n\in \mathbb {N} }u^{n+1}=u^{0}=1$ et de même, $\left(\sum _{n\in \mathbb {N} }u^{n}\right)\left(1-u\right)=1$.
2°) Soient $a\in A^{\times }$ et $r=\left\|a^{-1}\right\|^{-1}$. Soit $k\in A$ de norme $<r$. Alors (d'après la sous-multiplicativité) $\left\|-a^{-1}k\right\|<1$ donc (d'après la question précédente) $1+a^{-1}k$ est inversible. L'élément $a$ étant inversible, le produit $a\left(1+a^{-1}k\right)=a+k$ l'est aussi ; ainsi $B\left(a,r\right)\subset A^{\times }$, ce qui prouve que $A^{\times }$ est ouvert.
3°) Montrons d'abord que $\mathrm {Inv}$ est différentiable en $1$ et $\mathrm {d} \,\mathrm {Inv} _{1}=-\mathrm {id} _{A}$. Pour tout $h\in A$ de norme $<1$, $\mathrm {Inv} \left(1+h\right)=1-h+\sum _{n\geq 2}\left(-h\right)^{n}$ et $\left\|\sum _{n\geq 2}\left(-h\right)^{n}\right\|\leq \sum _{n\geq 2}\left\|h\right\|^{n}={\frac {\left\|h\right\|^{2}}{1-\left\|h\right\|}}=o\left(\left\|h\right\|\right)$.
Pour $a\in A^{\times }$ et $r$ comme dans la question 2, on se ramène à la formule précédente « par translation » : pour tout $k\in A$ de norme $<r$, $\mathrm {Inv} \left(a+k\right)=\mathrm {Inv} \left(a\left(1+a^{-1}k\right)\right)=\left(\mathrm {Inv} \left(1+a^{-1}k\right)\right)a^{-1}$ donc $\mathrm {Inv}$ est différentiable en $a$ et pour tout $h\in A$, $\mathrm {d} \,\mathrm {Inv} _{a}\left(h\right)=\left(\mathrm {d} \,\mathrm {Inv} _{1}\left(a^{-1}h\right)\right)a^{-1}=-a^{-1}ha^{-1}$.
4°) $\mathrm {d} \,\mathrm {Inv}$ est la composée de $\mathrm {Inv}$ par deux applications de classe C$^∞$ : l'application $\Delta :A\to A\times A,\ x\mapsto \left(x,x\right)$ (linéaire continue) et l'application $A\times A\to {\mathcal {L}}\left(A\right),\ \left(x_{1},x_{2}\right)\mapsto -x_{1}\,\mathrm {id} _{A}\,x_{2}$ (bilinéaire continue). On en déduit par récurrence que $\mathrm {Inv}$ est de classe C$^n$ pour tout n : c'est acquis pour n = 0 et si $\mathrm {Inv}$ est de classe C$^n$ alors $\mathrm {d} \,\mathrm {Inv}$ aussi, donc $\mathrm {Inv}$ est de classe C$^{n+1}$.
5°) Si $A=\mathrm {M} _{n}\left(\mathbb {R} \right)$, $A^{\times }$ est l'ouvert $\mathrm {GL} _{n}\left(\mathbb {R} \right)$ des matrices de déterminant non nul, et $\mathrm {Inv}$ est de classe C$^∞$ sur cet ouvert puisque l'expression d'une matrice inverse $M^{-1}$ par la formule des cofacteurs est une fonction rationnelle des coefficients de $M$. Enfin, l'identité $\mathrm {Inv} \left(M\right)\cdot M=\mathrm {I} _{n}$ donne, par différentiation :
    $\mathrm {d} \,\mathrm {Inv} _{M}\left(H\right)\cdot M+\mathrm {Inv} \left(M\right)\cdot H=0$,
d'où
    $\mathrm {d} \,\mathrm {Inv} _{M}\left(H\right)=-\mathrm {Inv} \left(M\right)\cdot H\cdot M^{-1}$.

### Références

   * François Laudenbach, Calcul différentiel et intégral, éd. École Polytechnique, 2000 (ISBN 978-2-73020724-9) [lire en ligne], p. 58
   * Jean Dieudonné, Éléments d'analyse, t. I
    Fondements de l'analyse moderne , exemple (8.12.1)
   * Ralph Abraham, Jerrold E. Mardsen et Tudor Ratiu, Manifolds, Tensor Analysis, and Applications [lire en ligne], p. 104-105

## Exercice 3

Soient $E$ un espace vectoriel normé, $\Omega$ un ouvert de $\mathbb {R} \times E$ contenant $\left(0,0\right)$ et $f:\Omega \to E$ une fonction continue et admettant par rapport à sa seconde variable une fonction différentielle $\operatorname {d} _{2}f$ continue sur $\Omega$. Pour $r>0$ fixé, dans l'espace $F$ des applications continues $u:\left[-r,r\right]\to E$ (muni de la norme de la convergence uniforme), on considère l'ouvert $V$ de celles qui vérifient : $\forall t\in \left[-r,r\right]\quad \left(t,u\left(t\right)\right)\in \Omega$.
Démontrer que l'application $\Phi :V\to F$ définie par $\Phi _{u}\left(t\right)=f\left(t,u\left(t\right)\right)$ est continûment différentiable et que $\operatorname {d} \Phi _{u}h\left(t\right)=\operatorname {d} _{2}f_{\left(t,u\left(t\right)\right)}\left(h\left(t\right)\right)$.
$u\in V$
$R:F\to F$
$u+h\in V$
$Rh\left(t\right)=\Phi _{u+h}\left(t\right)-\Phi _{u}\left(t\right)-\operatorname {d} _{2}f_{\left(t,u\left(t\right)\right)}\left(h\left(t\right)\right)$
$Rh=o\left(\left\|h\right\|\right)$
En notant $x=u\left(t\right)$ et $k=h\left(t\right)$, on a, d'après l'inégalité des accroissements finis :
$\left\|f\left(t,x+k\right)-f\left(t,x\right)-\operatorname {d} _{2}f_{\left(t,x\right)}\left(k\right)\right\|\leq \left\|k\right\|\sup _{z\in \left[x,x+k\right]}|\!|\!|\operatorname {d} _{2}f_{\left(t,z\right)}-\operatorname {d} _{2}f_{\left(t,x\right)}|\!|\!|$
$\left\|Rh\right\|\leq \left\|h\right\|\varepsilon \left(\left\|h\right\|\right)$
$\varepsilon$
$\varepsilon \left(\eta \right)=\sup _{\left(t,x\right)\in \left(\operatorname {id} ,u\right)\left(\left[-r,r\right]\right),\ \left\|z-x\right\|\leq \eta }|\!|\!|\operatorname {d} _{2}f_{\left(t,z\right)}-\operatorname {d} _{2}f_{\left(t,x\right)}|\!|\!|$
L'image par $\left(\operatorname {id} ,u\right)$ du compact $\left[-r,r\right]$ est un compact $K\subset V$ et l'application $\operatorname {d} _{2}f$ est continue sur $V$ donc (par une généralisation du théorème de Heine) : $\forall \alpha >0\quad \exists \beta >0\quad \forall a\in K\quad \forall b\in V\quad \left(\left\|b-a\right\|\leq \beta \Rightarrow |\!|\!|\operatorname {d} _{2}f_{b}-\operatorname {d} _{2}f_{a}|\!|\!|\leq \alpha \right)$.
Ceci prouve que $\lim _{\eta \to 0}\varepsilon \left(\eta \right)=0$ et termine la démonstration de $Rh=o\left(\left\|h\right\|\right)$. La fonction $\operatorname {d} \Phi$ est donc bien celle annoncée. De plus, elle est continue car $|\!|\!|\operatorname {d} \Phi _{u+h}-\operatorname {d} \Phi _{u}|\!|\!|\leq \varepsilon \left(\left\|h\right\|\right)$.

## Exercice 4

Soient $I:=\left[-1,1\right]$, $E$ un espace vectoriel normé et $F$ l'espace des fonctions de $I$ dans $E$, de classe C$^1$ et nulles en $0$, muni de la norme $\left\|x\right\|_{1}:=\left\|x'\right\|_{0}$, où $\left\|~\right\|_{0}$ est la norme de la convergence uniforme. Montrer que l'application $V:F\times I\to E,\ \left(x,t\right)\mapsto x\left(t\right)$ est de classe C$^1$.
Montrons que les deux dérivées partielles de $V$ ($D_{1}V$ par rapport à $x$ et $D_{2}V$ par rapport à $t$) existent et sont continues.
* $D_{1}V$ existe : pour tout $t\in I$, l'application $V\left(\cdot ,t\right)$ est linéaire et continue (car $\left\|V\left(x,t\right)\right\|\leq \left\|x\right\|_{0}\leq \left\|x\right\|_{1}$) donc différentiable en tout point $x\in F$, et $D_{1}V\left(x,t\right)=V\left(\cdot ,t\right)$ (indépendante de $x$).
* $D_{1}V$ est continue : l'application $t\mapsto V\left(\cdot ,t\right)$, de $I$ dans ${\mathcal {L}}\left(F,E\right)$, est continue et même $1$-lipschitzienne : pour tout $x\in F$, $\left\|V\left(x,t_{2}\right)-V\left(x,t_{1}\right)\right\|=\left\|\int _{t_{1}}^{t_{2}}x'\left(t\right)\ \mathrm {d} t\right\|\leq \left|\int _{t_{1}}^{t_{2}}\left\|x'\left(t\right)\right\|\ \mathrm {d} t\right|\leq \left|t_{2}-t_{1}\right|\left\|x\right\|_{1}$ donc $|\!|\!|V\left(\cdot ,t_{2}\right)-V\left(\cdot ,t_{1}\right)|\!|\!|\leq \left|t_{2}-t_{1}\right|$.
* $D_{2}V$ existe : $D_{2}V\left(x,t\right)=x'\left(t\right)$ par définition.
* $D_{2}V$ est continue : pour tous $x,x_{0}\in F$ et $t,t_{0}\in I$, $\left\|x'\left(t\right)-x_{0}'\left(t_{0}\right)\right\|\leq \left\|x'\left(t\right)-x_{0}'\left(t\right)\right\|+\left\|x'_{0}\left(t\right)-x_{0}'\left(t_{0}\right)\right\|\leq \left\|x-x_{0}\right\|_{1}+\left\|x'_{0}\left(t\right)-x_{0}'\left(t_{0}\right)\right\|\to 0$ quand $x\to x_{0}$ et $t\to t_{0}$.

## Exercice 5

Soient $E$ et $F$ deux e.v.n. réels. Une application $f:E\to F$ est dite homogène de degré $m\in \mathbb {N}$ si $\forall x\in E\quad \forall t\in \mathbb {R} \qquad f(tx)=t^{m}f(x)$.
* Parmi les fonctions homogènes de degré $0$, lesquelles sont continues en $0$ ?
* Montrer que si $f$ est homogène de degré $m>0$ et bornée sur la sphère unité, alors $f$ est continue en $0$.
* Montrer que si $f$ est homogène de degré $m\geq 1$ et différentiable en $0$, alors ou bien $f$ est linéaire (et $m=1$), ou bien $m>1$ et $\mathrm {d} f_{0}=0$.
* Montrer que si $f$ est homogène de degré $m>1$ et bornée sur la sphère unité, alors $f$ est différentiable en $0$ (et $\mathrm {d} f_{0}=0$).
* Application : étudier la continuité et la différentiabilité en $(0,0)$ des fonctions $f,g,h:\mathbb {R} ^{2}\to \mathbb {R}$ définies par
** $f(x,y)=0$ si $y\neq 0$ et $f(x,0)=x$ ;
** $g(x,y)={\frac {x^{3}}{x^{2}+y^{2}}}$ si $(x,y)\neq (0,0)$ et $g(0,0)=0$ ;
** $h(x,y)={\frac {x^{p}y^{q}}{x^{2}-xy+y^{2}}}$ si $(x,y)\neq (0,0)$ et $h(0,0)=0$ (discuter suivant les valeurs de $p,q\in \mathbb {N} ^{*}$).
* Les fonctions constantes (pour que $\forall x\in E\quad f(0)=\lim _{t\to 0 \atop t\neq 0}f(tx)=f(x)$).
* Sous ces hypothèses, on a bien $\lim _{x\to 0}f(x)=\lim _{r\to 0 \atop \|u\|=1}f(ru)=\lim _{r\to 0 \atop \|u\|=1}r^{m}f(u)=0=f(0).$
* Sous ces hypothèses (et en utilisant l'exercice précédent), $\mathrm {d} f_{0}(x)=\lim _{t\to 0 \atop t\neq 0}{\frac {f(tx)-f(0)}{t}}=\lim _{t\to 0 \atop t\neq 0}t^{m-1}f(x)$ est égal à $f(x)$ si $m=1$, et à $0$ si $m>1$.
* Sous ces hypothèses, $\varepsilon (ru):={\frac {f(ru)}{r}}=r^{m-1}f(u)$ tend bien vers $0$ quand $r\to 0$ (pour $u$ variant arbitrairement sur la sphère unité).
* $f$ et $g$ sont homogènes de degré $1$ et (par continuité sur un compact) bornées sur le cercle unité, mais non linéaires, donc continues mais non différentiables en $(0,0)$. Quant à $h$, remarquons d'abord qu'elle est bien définie. En effet, pour tout $(x,y)\neq (0,0)$, $x^{2}-xy+y^{2}=(x-y/2)^{2}+3y^{2}/4>0$. $h$ est homogène de degré $p+q-2$ et bornée sur le cercle unité (comme $f$ et $g$), mais n'est jamais constante ni linéaire (quels que soient $p$ et $q$). D'après les questions précédentes, en $(0,0)$, elle est donc continue si et seulement si $p+q>2$ et différentiable (de différentielle nulle) si et seulement si $p+q>3$.

## Exercice 6

* Soient $u,v:\mathbb {R} \to \mathbb {R}$ de classe C$^1$ et $f:\mathbb {R} ^{2}\to \mathbb {R}$ de classe C$^1$. On considère
       $F(x):=\int _{u(x)}^{v(x)}f\left(x,t\right)\,\mathrm {d} t$.
    Montrer que $F$ est bien définie sur $\mathbb {R}$, de classe C$^1$ et calculer $F'(x)$.
* Application : $F(x)=\int _{1}^{1+x^{2}}\ln \left(x^{2}+t^{2}\right)\,\mathrm {d} t$
* $F(x)=G\left(x,u(x),v(x)\right)$ où $G:\mathbb {R} ^{3}\to \mathbb {R}$ est définie par :
       $G\left(x,u,v\right):=\int _{u}^{v}f\left(x,t\right)\,\mathrm {d} t$.
    La fonction $G$ est bien définie et de classe C$^1$ (car d'après ce qui suit, ses trois dérivées partielles sont définies et continues grâce aux hypothèses) donc $F$ aussi.
       ${\frac {\partial G}{\partial v}}\left(x,u,v\right)=f\left(x,v\right)$,
       ${\frac {\partial G}{\partial u}}\left(x,u,v\right)=-f\left(x,u\right)$,
       ${\frac {\partial G}{\partial x}}\left(x,u,v\right)=\int _{u}^{v}{\frac {\partial f}{\partial x}}\left(x,t\right)\,\mathrm {d} t$
    donc (dérivée d'une fonction composée) :
       $F'(x)=f\left(x,v(x)\right)v'(x)-f\left(x,u(x)\right)u'(x)+\int _{u(x)}^{v(x)}{\frac {\partial f}{\partial x}}\left(x,t\right)\,\mathrm {d} t$.
* $u(x)=1$, $v(x)=1+x^{2}$, $f\left(x,t\right)=\ln \left(x^{2}+t^{2}\right)$. $u'(x)=0$, $v'(x)=2x$, ${\frac {\partial f}{\partial x}}\left(x,t\right)={\frac {2x}{x^{2}+t^{2}}}$. ${\begin{aligned}F'(x)&=2x\ln \left(x^{2}+\left(1+x^{2}\right)^{2}\right)+2x\int _{1}^{1+x^{2}}{\frac {\mathrm {d} t}{x^{2}+t^{2}}}\\&=2x\ln \left(1+3x^{2}+x^{4}\right)+2\left(\arctan {\frac {1+x^{2}}{x}}-\arctan {\frac {1}{x}}\right)\\&=2x\ln \left(1+3x^{2}+x^{4}\right)+2\arctan {\frac {x^{3}}{1+2x^{2}}}.\end{aligned}}$ (La dernière égalité utilise l'identité remarquable sur la somme de deux arctan.)

## Exercice 7

* Soient $\phi =\left(\phi _{1},\phi _{2}\right):\mathbb {R} ^{2}\to \mathbb {R} ^{2}$ et $f:\mathbb {R} ^{2}\to \mathbb {R}$ deux fonctions différentiables. Exprimer les dérivées partielles de $f\circ \phi$ à l'aide de celles de $f$ et de $\phi$.
* Application à $\phi :\left]0,+\infty \right[\times \left]-\pi ,\pi \right[\to \mathbb {R} ^{2}\setminus \{\left(0,0\right)\},\;\left(r,\theta \right)\mapsto \left(r\cos \theta ,r\sin \theta \right)$. Soit $f$ une fonction différentiable sur $\mathbb {R} ^{2}\setminus \{\left(0,0\right)\}$.
** On pose $\Theta _{f}(x,y)=x{\frac {\partial f}{\partial x}}(x,y)+y{\frac {\partial f}{\partial y}}(x,y)$ et $\Psi _{f}(x,y)=-y{\frac {\partial f}{\partial x}}(x,y)+x{\frac {\partial f}{\partial y}}(x,y)$. Exprimer $\Theta _{f}\circ \phi$ et $\Psi _{f}\circ \phi$ à l'aide des dérivées partielles de $f\circ \phi$ (autrement dit : exprimer en coordonnées polaires les opérateurs différentiels $\Theta$ et $\Psi$).
** Plus généralement, exprimer ${\frac {\partial f}{\partial x}}\circ \phi$ et ${\frac {\partial f}{\partial y}}\circ \phi$ à l'aide des dérivées partielles de $f\circ \phi$.
** Exprimer de même le « laplacien en coordonnées polaires », c'est-à-dire $(\Delta f)\circ \phi$, où $\Delta f={\frac {\partial ^{2}f}{\partial x^{2}}}+{\frac {\partial ^{2}f}{\partial y^{2}}}$, à l'aide des dérivées partielles premières et secondes de $f\circ \phi$.
* Trouver toutes les fonctions différentiables $f:\mathbb {R} ^{2}\setminus \{(0,0)\}\to \mathbb {R}$ vérifiant : $\Theta _{f}(x,y)={\sqrt {x^{2}+y^{2}}}$ et admettant une limite en $(0,0)$.
* En développant $\operatorname {J} _{f\circ \phi }(s,t)=(J_{f})_{\phi (s,t)}\times (J_{\phi })_{(s,t)}$, on trouve : ${\frac {\partial (f\circ \phi )}{\partial s}}(s,t)={\frac {\partial f}{\partial x}}(\phi (s,t)){\frac {\partial \phi _{1}}{\partial s}}(s,t)+{\frac {\partial f}{\partial y}}(\phi (s,t)){\frac {\partial \phi _{2}}{\partial s}}(s,t)$ et ${\frac {\partial (f\circ \phi )}{\partial t}}(s,t)={\frac {\partial f}{\partial x}}(\phi (s,t)){\frac {\partial \phi _{1}}{\partial t}}(s,t)+{\frac {\partial f}{\partial y}}(\phi (s,t)){\frac {\partial \phi _{2}}{\partial t}}(s,t)$.
* $\operatorname {J} _{\phi }(r,\theta )={\begin{pmatrix}\cos \theta &-r\sin \theta \\\sin \theta &r\cos \theta \end{pmatrix}}$ donc ${\frac {\partial (f\circ \phi )}{\partial r}}(r,\theta )={\frac {\partial f}{\partial x}}(r\cos \theta ,r\sin \theta )\cos \theta +{\frac {\partial f}{\partial y}}(r\cos \theta ,r\sin \theta )(-r\sin \theta )$ et ${\frac {\partial (f\circ \phi )}{\partial \theta }}(r,\theta )={\frac {\partial f}{\partial x}}(r\cos \theta ,r\sin \theta )\sin \theta +{\frac {\partial f}{\partial y}}(r\cos \theta ,r\sin \theta )r\cos \theta$.
** $\left(\Theta _{f}\circ \phi \right)\left(r,\theta \right)=r\cos \theta {\frac {\partial f}{\partial x}}(r\cos \theta ,r\sin \theta )+r\sin \theta {\frac {\partial f}{\partial y}}(r\cos \theta ,r\sin \theta )=r{\frac {\partial (f\circ \phi )}{\partial r}}(r,\theta )$ et $\left(\Psi _{f}\circ \phi \right)\left(r,\theta \right)=-r\sin \theta {\frac {\partial f}{\partial x}}(r\cos \theta ,r\sin \theta )+r\cos \theta {\frac {\partial f}{\partial y}}(r\cos \theta ,r\sin \theta )={\frac {\partial (f\circ \phi )}{\partial \theta }}(r,\theta )$.
** ${\begin{pmatrix}{\frac {\partial (f\circ \phi )}{\partial r}}&{\frac {\partial (f\circ \phi )}{\partial \theta }}\end{pmatrix}}={\begin{pmatrix}{\frac {\partial f}{\partial x}}\circ \phi &{\frac {\partial f}{\partial y}}\circ \phi \end{pmatrix}}\times \operatorname {J} _{\phi }$ donc ${\begin{aligned}{\begin{pmatrix}{\frac {\partial f}{\partial x}}\circ \phi &{\frac {\partial f}{\partial y}}\circ \phi \end{pmatrix}}(r,\theta )&={\begin{pmatrix}{\frac {\partial (f\circ \phi )}{\partial r}}&{\frac {\partial (f\circ \phi )}{\partial \theta }}\end{pmatrix}}(r,\theta )\times (\operatorname {J} _{\phi })^{-1}(r,\theta )\\&={\begin{pmatrix}{\frac {\partial (f\circ \phi )}{\partial r}}&{\frac {\partial (f\circ \phi )}{\partial \theta }}\end{pmatrix}}(r,\theta )\times {\begin{pmatrix}\cos \theta &\sin \theta \\-{\frac {\sin \theta }{r}}&{\frac {\cos \theta }{r}}\end{pmatrix}}\\&={\begin{pmatrix}{\frac {\partial (f\circ \phi )}{\partial r}}(r,\theta )\cos \theta -{\frac {\partial (f\circ \phi )}{\partial \theta }}(r,\theta ){\frac {\sin \theta }{r}}&{\frac {\partial (f\circ \phi )}{\partial r}}(r,\theta )\sin \theta +{\frac {\partial (f\circ \phi )}{\partial \theta }}(r,\theta ){\frac {\cos \theta }{r}}\end{pmatrix}}.\end{aligned}}$ Un autre méthode est d'utiliser la sous-question précédente : ${\frac {\partial f}{\partial x}}(x,y)={\frac {1}{x^{2}+y^{2}}}\left(x\Theta _{f}(x,y)-y\Psi _{f}(x,y)\right)$ donc ${\frac {\partial f}{\partial x}}\circ \phi (r,\theta )={\frac {1}{r^{2}}}\left(r\cos \theta \times r{\frac {\partial (f\circ \phi )}{\partial r}}(r,\theta )-r\sin \theta \times {\frac {\partial (f\circ \phi )}{\partial \theta }}(r,\theta )\right)={\frac {\partial (f\circ \phi )}{\partial r}}(r,\theta )\cos \theta -{\frac {\partial (f\circ \phi )}{\partial \theta }}(r,\theta ){\frac {\sin \theta }{r}}$ ; ${\frac {\partial f}{\partial y}}(x,y)={\frac {1}{x^{2}+y^{2}}}\left(y\Theta _{f}(x,y)+x\Psi _{f}(x,y)\right)$ donc ${\frac {\partial f}{\partial y}}\circ \phi (r,\theta )={\frac {1}{r^{2}}}\left(r\sin \theta \times r{\frac {\partial (f\circ \phi )}{\partial r}}(r,\theta )+r\cos \theta \times {\frac {\partial (f\circ \phi )}{\partial \theta }}(r,\theta )\right)={\frac {\partial (f\circ \phi )}{\partial r}}(r,\theta )\sin \theta +{\frac {\partial (f\circ \phi )}{\partial \theta }}(r,\theta ){\frac {\cos \theta }{r}}$.
** ${\begin{aligned}{\frac {\partial ^{2}f}{\partial x^{2}}}\circ \phi (r,\theta )&={\frac {\partial ({\frac {\partial f}{\partial x}}\circ \phi )}{\partial r}}(r,\theta )\cos \theta -{\frac {\partial ({\frac {\partial f}{\partial x}}\circ \phi )}{\partial \theta }}(r,\theta ){\frac {\sin \theta }{r}}\\&={\frac {\partial }{\partial r}}\left({\frac {\partial (f\circ \phi )}{\partial r}}\cos \theta -{\frac {\partial (f\circ \phi )}{\partial \theta }}{\frac {\sin \theta }{r}}\right)(r,\theta )\cos \theta -{\frac {\partial }{\partial \theta }}\left({\frac {\partial (f\circ \phi )}{\partial r}}\cos \theta -{\frac {\partial (f\circ \phi )}{\partial \theta }}{\frac {\sin \theta }{r}}\right)(r,\theta ){\frac {\sin \theta }{r}}\\&={\frac {\partial ^{2}(f\circ \phi )}{\partial r^{2}}}(r,\theta )\cos ^{2}\theta -{\frac {\partial ^{2}(f\circ \phi )}{\partial r\partial \theta }}(r,\theta ){\frac {\sin \theta \cos \theta }{r}}+{\frac {\partial (f\circ \phi )}{\partial \theta }}(r,\theta ){\frac {\sin \theta \cos \theta }{r^{2}}}\\&-{\frac {\partial ^{2}(f\circ \phi )}{\partial \theta \partial r}}(r,\theta ){\frac {\cos \theta \sin \theta }{r}}+{\frac {\partial (f\circ \phi )}{\partial r}}(r,\theta ){\frac {\sin ^{2}\theta }{r}}+{\frac {\partial ^{2}(f\circ \phi )}{\partial \theta ^{2}}}(r,\theta ){\frac {\sin ^{2}\theta }{r^{2}}}+{\frac {\partial (f\circ \phi )}{\partial \theta }}(r,\theta ){\frac {\cos \theta \sin \theta }{r^{2}}}\\&={\frac {\partial ^{2}(f\circ \phi )}{\partial r^{2}}}(r,\theta )\cos ^{2}\theta -2{\frac {\partial ^{2}(f\circ \phi )}{\partial r\partial \theta }}(r,\theta ){\frac {\sin \theta \cos \theta }{r}}+{\frac {\partial ^{2}(f\circ \phi )}{\partial \theta ^{2}}}(r,\theta ){\frac {\sin ^{2}\theta }{r^{2}}}\\&+{\frac {\partial (f\circ \phi )}{\partial r}}(r,\theta ){\frac {\sin ^{2}\theta }{r}}+2{\frac {\partial (f\circ \phi )}{\partial \theta }}(r,\theta ){\frac {\sin \theta \cos \theta }{r^{2}}}\end{aligned}}$ et ${\begin{aligned}{\frac {\partial ^{2}f}{\partial y^{2}}}\circ \phi (r,\theta )&={\frac {\partial ({\frac {\partial f}{\partial y}}\circ \phi )}{\partial r}}(r,\theta )\sin \theta +{\frac {\partial ({\frac {\partial f}{\partial y}}\circ \phi )}{\partial \theta }}(r,\theta ){\frac {\cos \theta }{r}}\\&={\frac {\partial }{\partial r}}\left({\frac {\partial (f\circ \phi )}{\partial r}}\sin \theta +{\frac {\partial (f\circ \phi )}{\partial \theta }}{\frac {\cos \theta }{r}}\right)(r,\theta )\sin \theta +{\frac {\partial }{\partial \theta }}\left({\frac {\partial (f\circ \phi )}{\partial r}}\sin \theta +{\frac {\partial (f\circ \phi )}{\partial \theta }}{\frac {\cos \theta }{r}}\right)(r,\theta ){\frac {\cos \theta }{r}}\\&={\frac {\partial ^{2}(f\circ \phi )}{\partial r^{2}}}(r,\theta )\sin ^{2}\theta +{\frac {\partial ^{2}(f\circ \phi )}{\partial r\partial \theta }}(r,\theta ){\frac {\cos \theta \sin \theta }{r}}-{\frac {\partial (f\circ \phi )}{\partial \theta }}{\frac {\cos \theta \sin \theta }{r^{2}}}\\&+{\frac {\partial ^{2}(f\circ \phi )}{\partial \theta \partial r}}(r,\theta ){\frac {\sin \theta \cos \theta }{r}}+{\frac {\partial (f\circ \phi )}{\partial r}}(r,\theta ){\frac {\cos ^{2}\theta }{r}}+{\frac {\partial ^{2}(f\circ \phi )}{\partial \theta ^{2}}}(r,\theta ){\frac {\cos ^{2}\theta }{r^{2}}}-{\frac {\partial (f\circ \phi )}{\partial \theta }}{\frac {\sin \theta \cos \theta }{r^{2}}}\\&={\frac {\partial ^{2}(f\circ \phi )}{\partial r^{2}}}(r,\theta )\sin ^{2}\theta +2{\frac {\partial ^{2}(f\circ \phi )}{\partial r\partial \theta }}(r,\theta ){\frac {\cos \theta \sin \theta }{r}}+{\frac {\partial ^{2}(f\circ \phi )}{\partial \theta ^{2}}}(r,\theta ){\frac {\cos ^{2}\theta }{r^{2}}}\\&+{\frac {\partial (f\circ \phi )}{\partial r}}(r,\theta ){\frac {\cos ^{2}\theta }{r}}-2{\frac {\partial (f\circ \phi )}{\partial \theta }}(r,\theta ){\frac {\cos \theta \sin \theta }{r^{2}}}\end{aligned}}$ donc $(\Delta f)\circ \phi (r,\theta )={\frac {\partial ^{2}(f\circ \phi )}{\partial r^{2}}}(r,\theta )+{\frac {1}{r}}{\frac {\partial (f\circ \phi )}{\partial r}}(r,\theta )+{\frac {1}{r^{2}}}{\frac {\partial ^{2}(f\circ \phi )}{\partial \theta ^{2}}}(r,\theta )$.
* $r{\frac {\partial (f\circ \phi )}{\partial r}}(r,\theta )=r\Leftrightarrow {\frac {\partial (f\circ \phi )}{\partial r}}=1\Leftrightarrow f\circ \phi (r,\theta )=r+g(\theta )\Leftrightarrow f(x,y)={\sqrt {x^{2}+y^{2}}}+g(\arg(x+\mathrm {i} y))$, où $g$ est une fonction différentiable $2\pi$-périodique, et f admet une limite en $(0,0)$ si et seulement si $g$ est constante.

## Exercice 8

Soient $E$ et $F$ deux $K$-espaces vectoriels normés ($K=\mathbb {R}$ ou $\mathbb {C}$), $C$ un cône de $E$, $f:C\to F$ une application différentiable, et $\alpha$ un élément de $K$.
Montrer que $f$ est positivement homogène de degré $\alpha$ (c'est-à-dire $\forall x\in C\quad \forall t>0\quad f(tx)=t^{\alpha }f(x)$) si et seulement si elle vérifie la condition d'Euler :
    $\forall x\in C\quad \mathrm {d} f_{x}(x)=\alpha f(x)$.
$f$ est positivement homogène de degré $\alpha$ si et seulement si pour tout $x\in C$, la fonction $\left]0,+\infty \right[\to F,\,t\mapsto t^{-\alpha }f(tx)$ est constante, c'est-à-dire si sa dérivée est nulle :
    $\forall x\in C\quad \forall t>0\quad -\alpha t^{-\alpha -1}f(tx)+t^{-\alpha }\mathrm {d} f_{tx}(x)=0$,
ou encore :
    $\forall x\in C\quad \forall t>0\quad \mathrm {d} f_{tx}(tx)=\alpha f(tx)$,
ce qui équivaut bien à la condition d'Euler :
    $\forall y\in C\quad \mathrm {d} f_{y}(y)=\alpha f(y)$.

## Exercice 9

Soient $f:\mathbb {R} \to \mathbb {R}$ et $g:\mathbb {R} ^{2}\to \mathbb {R}$ deux fonctions différentiables. Justifier que les applications suivantes sont différentiables et calculer leur différentielle.
* $\phi :\mathbb {R} \to \mathbb {R} ,\;x\mapsto g(x,-x)$ ;
* $\psi :\mathbb {R} ^{2}\to \mathbb {R} ,\;(x,y)\mapsto g(y,x)$ ;
* $h:\mathbb {R} ^{2}\to \mathbb {R} ,\;(x,y)\mapsto f(x+g(x,y))$ ;
* $k:\mathbb {R} ^{2}\to \mathbb {R} ,\;(x,y)\mapsto f(xy^{2}g(x,y))$ ;
* $\ell :\mathbb {R} ^{3}\to \mathbb {R} ,\;(x,y,z)\mapsto f(x^{2}+y^{2}+z^{2})$ ;
* $\phi =g\circ L$ avec $L:\mathbb {R} \to \mathbb {R} ^{2},\;x\mapsto (x,-x)$ linéaire donc $\phi$ est différentiable et $\mathrm {d} \phi _{x}=\mathrm {d} g_{L(x)}\circ \mathrm {d} L_{x}=\mathrm {d} g_{(x,-x)}\circ L$, c'est-à-dire $\mathrm {d} \phi _{x}(u)=\mathrm {d} g_{(x,-x)}(u,-u)={\frac {\partial g}{\partial x}}(x,-x)u+{\frac {\partial g}{\partial y}}(x,-x)(-u)$ autrement dit : $\phi$ est dérivable et $\phi '(x)={\frac {\partial g}{\partial x}}(x,-x)-{\frac {\partial g}{\partial y}}(x,-x)$.
* $\psi =g\circ T$ avec $T:\mathbb {R} ^{2}\to \mathbb {R} ^{2},\;(x,y)\mapsto (y,x)$ linéaire donc $\psi$ est différentiable et $\mathrm {d} \psi _{(x,y)}=\mathrm {d} g_{\,T(x,y)}\circ \mathrm {d} T_{(x,y)}=\mathrm {d} g_{(y,x)}\circ T$, c'est-à-dire $\mathrm {d} \psi _{(x,y)}(u,v)=\mathrm {d} g_{(y,x)}(v,u)={\frac {\partial g}{\partial x}}(y,x)v+{\frac {\partial g}{\partial y}}(y,x)u$.
* $h=f\circ (p+g)$ avec $p:\mathbb {R} ^{2}\to \mathbb {R} ,\;(x,y)\mapsto x$ linéaire donc $h$ est différentiable et $\mathrm {d} h_{(x,y)}=f'(x+g(x,y))\times (\mathrm {d} p_{(x,y)}+\mathrm {d} g_{(x,y)})=f'(x+g(x,y))\times (p+\mathrm {d} g_{(x,y)})$, c'est-à-dire $\mathrm {d} h_{(x,y)}(u,v)=f'(x+g(x,y))\left[\left(1+{\frac {\partial g}{\partial x}}(x,y)\right)u+{\frac {\partial g}{\partial y}}(x,y)v\right]$.
* $k=f\circ (q\times g)$ avec $q:\mathbb {R} ^{2}\to \mathbb {R} ,\;(x,y)\mapsto xy^{2}$ polynomiale. $\mathrm {d} q_{(x,y)}(u,v)=y^{2}u+2xyv$, donc $k$ est différentiable et $\mathrm {d} k_{(x,y)}=f'(xy^{2}g(x,y))\times (g(x,y)\mathrm {d} q_{(x,y)}+q(x,y)\mathrm {d} g_{(x,y)})$, c'est-à-dire ${\begin{aligned}\mathrm {d} k_{(x,y)}(u,v)&=f'(x+g(x,y))\left[\left(g(x,y)y^{2}+xy^{2}{\frac {\partial g}{\partial x}}(x,y)\right)u+\left(g(x,y)2xy+xy^{2}{\frac {\partial g}{\partial y}}(x,y)\right)v\right]\end{aligned}}$.
* $\ell =f\circ r$ avec $r:\mathbb {R} ^{3}\to \mathbb {R} ,\;(x,y)\mapsto x^{2}+y^{2}+z^{2}$ polynomiale. $\mathrm {d} r_{(x,y,z)}(u,v,w)=2(xu+yv+zw)$, donc $\ell$ est différentiable et $\mathrm {d} \ell _{(x,y,z)}=f'(x^{2}+y^{2}+z^{2})\mathrm {d} r_{(x,y,z)}$, c'est-à-dire $\mathrm {d} \ell _{(x,y,z)}(u,v,w)=2(xu+yv+zw)f'(x^{2}+y^{2}+z^{2})$.

## Exercice 10

Si $f=(P,Q)$ est une application différentiable de $\mathbb {R} ^{2}$ dans $\mathbb {R} ^{2}$, on note
    ${\bar {\partial }}f=\left({\frac {\partial P}{\partial x}}-{\frac {\partial Q}{\partial y}},{\frac {\partial P}{\partial y}}+{\frac {\partial Q}{\partial x}}\right)$.
* Calculer ${\bar {\partial }}f$ pour $f(x,y)=(x^{2}-y^{2},2xy)$.
* Justifier que si $f$ et $g$ sont des applications telles que ${\bar {\partial }}f={\bar {\partial }}g=0$, alors ${\bar {\partial }}(g\circ f)=0$.
* ${\bar {\partial }}f(x,y)=\left(2x-2x,-2y+2y\right)=(0,0)$
* Soient $f=(P,Q)$ et $g=(R,S)$. Si ${\frac {\partial P}{\partial x}}-{\frac {\partial Q}{\partial y}}={\frac {\partial P}{\partial y}}+{\frac {\partial Q}{\partial x}}={\frac {\partial R}{\partial x}}-{\frac {\partial S}{\partial y}}={\frac {\partial R}{\partial y}}+{\frac {\partial S}{\partial x}}=0$, alors $\left({\frac {\partial R}{\partial x}}{\frac {\partial P}{\partial x}}+{\frac {\partial R}{\partial y}}{\frac {\partial Q}{\partial x}}\right)-\left({\frac {\partial S}{\partial x}}{\frac {\partial P}{\partial y}}+{\frac {\partial S}{\partial y}}{\frac {\partial Q}{\partial y}}\right)=\left({\frac {\partial R}{\partial x}}{\frac {\partial P}{\partial x}}-{\frac {\partial R}{\partial y}}{\frac {\partial P}{\partial y}}\right)-\left(-{\frac {\partial R}{\partial y}}{\frac {\partial P}{\partial y}}+{\frac {\partial R}{\partial x}}{\frac {\partial P}{\partial x}}\right)=0$ et $\left({\frac {\partial R}{\partial x}}{\frac {\partial P}{\partial y}}+{\frac {\partial R}{\partial y}}{\frac {\partial Q}{\partial y}}\right)+\left({\frac {\partial S}{\partial x}}{\frac {\partial P}{\partial x}}+{\frac {\partial S}{\partial y}}{\frac {\partial Q}{\partial x}}\right)=\left({\frac {\partial R}{\partial x}}{\frac {\partial P}{\partial y}}+{\frac {\partial R}{\partial y}}{\frac {\partial P}{\partial x}}\right)+\left(-{\frac {\partial R}{\partial y}}{\frac {\partial P}{\partial x}}-{\frac {\partial R}{\partial x}}{\frac {\partial P}{\partial y}}\right)=0$.
Ou plus simplement : dire que ${\bar {\partial }}f=0$ revient à dire qu'en tout point, la matrice jacobienne de $f$ est une matrice de similitude directe ou la matrice nulle, or l'ensemble de ces matrices est stable par produit.
Remarque : vue comme fonction de $\mathbb {C}$ dans $\mathbb {C}$, l'application de la première question est $z\mapsto z^{2}$. De même, pour tout entier $n$, l'application $f$ correspondant à $z\mapsto z^{n}$ vérifie ${\bar {\partial }}f=0$.
Voir aussi : Fonctions d'une variable complexe/Fonctions holomorphes.

## Exercice 11

On considère la fonction $f:\mathbb {R} \to \mathbb {C} ,\ x\mapsto \operatorname {e} ^{\mathrm {i} x}$. Montrer que pour tous réels distincts $a$ et $b$, il n'existe aucun réel $c$ tel que $f(b)-f(a)=(b-a)f'(c)$.
Pour tout réel $c$,
    $|(b-a)f'(c)|=\left|(b-a)\mathrm {i} \operatorname {e} ^{\mathrm {i} c}\right|=|b-a|$,
alors que si $b\neq a$,
    $|f(b)-f(a)|=\left|\operatorname {e} ^{\mathrm {i} (b+a)/2}\times 2\mathrm {i} \sin {\frac {b-a}{2}}\right|=2\left|\sin {\frac {b-a}{2}}\right|<2\left|{\frac {b-a}{2}}\right|=|b-a|$.
Il n'y a donc pas d'égalité des accroissements finis pour les fonctions à valeurs vectorielles. Remarquons que pour $b-a\in 2\pi \mathbb {Z}$, on a même $f(b)-f(a)=0$.

## Exercice 12

Soit $F:\mathbb {R} ^{2}\to \mathbb {R} ^{2},\;(x,y)\mapsto (\cos x-\sin y,\sin x-\cos y)$.
* Justifier que $F$ est différentiable.
* Montrer que $\forall M\in \mathbb {R} ^{2}\quad |\!|\!|\mathrm {d} F_{M}|\!|\!|\leq {\sqrt {2}}$, où $|\!|\!|~|\!|\!|$ désigne la norme subordonnée à la norme euclidienne sur $\mathbb {R} ^{2}$.
* En déduire que pour tout $M_{0}\in \mathbb {R} ^{2}$, la suite $M$ définie par $\forall n\in \mathbb {N} \quad M_{n+1}={\frac {1}{2}}F(M_{n})$ est convergente.
* $F$ est même de classe C$^∞$ car ses deux composantes $F_{1}$ et $F_{2}$ le sont : $F_{1}=\cos \circ p_{1}-\sin \circ p_{2}$ et $F_{2}=\sin \circ p_{1}-\cos \circ p_{2}$, où $p_{1},p_{2}:\mathbb {R} ^{2}\to \mathbb {R}$ sont les deux projections canoniques.
* La matrice jacobienne de $F$ au point $(x,y)$ est ${\begin{pmatrix}-\sin x&-\cos y\\\cos x&\sin y\end{pmatrix}}$ donc $\|\mathrm {d} F_{(x,y)}(u,v)\|^{2}=\|(-u\sin x-v\cos y,u\cos x+v\sin y)\|^{2}=(-u\sin x-v\cos y)^{2}+(u\cos x+v\sin y)^{2}=u^{2}+v^{2}+2uv\sin(x+y)\leq 2(u^{2}+v^{2})$.
* D'après l'inégalité des accroissements finis, ${\frac {1}{2}}F$ est ${\frac {\sqrt {2}}{2}}$-lipschitzienne. On conclut grâce au théorème du point fixe de Picard-Banach.

## Exercice 13

Déterminer les fonctions dérivables $f:\mathbb {R} \to \mathbb {R}$ telles que $\forall (x,y)\in \mathbb {R} ^{2}\quad f(x+y)=f(x+f(y))$.
En dérivant cette équation fonctionnelle par rapport à $x$ et à $y$, on trouve :
    $\forall (x,y)\in \mathbb {R} ^{2}\quad f'(x+f(y))=f'(x+y)=f'(x+f(y))f'(y)$.
Si $f$ n'est pas constante, il existe $t$ tel que $f'(t)\neq 0$ et l'on a alors :
    $\forall y\in \mathbb {R} \quad f'(y)=1$
donc
    $f(x)=x+C$, avec $C=f(0)=f(f(0))=2C$ donc $C=0$.
Les seules solutions possibles sont donc les fonctions constantes et l'application identité. Réciproquement, ces fonctions sont bien solutions.
Pour une étude complète de cette équation fonctionnelle, voir Topologie générale/Exercices/Topologie de R ou C#Exercice 4.

## Exercice 14

Redémontrer directement le corollaire 1 du cours (dont le corollaire 2 est une conséquence immédiate très utile) dans le cas particulier plus simple où $F$ est l'espace euclidien $\mathbb {R} ^{n}$, c'est-à-dire :
    Soient $a<b$ et $f:\left[a,b\right]\to \mathbb {R} ^{n}$ continue sur $\left[a,b\right]$ et dérivable sur $\left]a,b\right[$. Si $\forall t\in \left]a,b\right[\quad \|f'(t)\|\leq M$ alors $\|f(b)-f(a)\|\leq M(b-a)$.
Indication : appliquer le théorème des accroissements finis usuel à la fonction $g:\left[a,b\right]\to \mathbb {R} ,\,t\mapsto \langle f(t)\mid f(b)-f(a)\rangle$.
$g$ est continue sur $\left[a,b\right]$ et dérivable sur $\left]a,b\right[$, avec $\forall t\in \left]a,b\right[\quad g'(t)=\langle f'(t)\mid f(b)-f(a)\rangle \leq M\|f(b)-f(a)\|$.
D'après le théorème des accroissements finis, $\exists c\in \left]a,b\right[\quad (b-a)g'(c)=g(b)-g(a)=\|f(b)-f(a)\|^{2}$, d'où
$\|f(b)-f(a)\|^{2}\leq (b-a)M\|f(b)-f(a)\|$, qui donne l'inégalité voulue.

## Exercice 15

Soient $E$ et $F$ deux e.v.n. et $f:E\to F$ une application. La dérivée directionnelle de $f$ en un point $a\in E$ selon un vecteur $u\in E$ est par définition la limite suivante, lorsqu'elle existe :
    $\lim _{t\to 0 \atop t\neq 0}{\frac {f(a+tu)-f(a)}{t}}$.
* Vérifier que si cette dérivée directionnelle selon $u$ existe, alors celle selon $\lambda u$ existe aussi et est le produit par $\lambda$ de celle selon $u$ (pour tout scalaire $\lambda$).
* Montrer que si $f$ est différentiable en $a$ alors sa dérivée directionnelle en $a$ selon $u$ existe et est égale à $\mathrm {d} f_{a}(u)$ (pour tout vecteur $u\in E$).
* Montrer que si, pour toute courbe $\gamma :\mathbb {R} \to E$ telle que $\gamma (0)=a$ et $\gamma '(0)=u$, la fonction $f\circ \gamma$ est dérivable en $0$, alors $f$ admet en $a$ une dérivée directionnelle selon $u$.
* Si $\lambda =0$, c'est trivial. Supposons donc $\lambda \neq 0$ et posons $s:=t\lambda$. Alors, ${t\to 0 \atop t\neq 0}\Leftrightarrow {s\to 0 \atop s\neq 0}$ et ${\frac {f(a+t\lambda u)-f(a)}{t}}=\lambda {\frac {f(a+su)-f(a)}{s}}$.
* ${\frac {f(a+tu)-f(a)}{t}}={\frac {\mathrm {d} f_{a}(tu)+\|tu\|\varepsilon (tu)}{t}}=\mathrm {d} f_{a}(u)+{\frac {|t|}{t}}\|u\|\varepsilon (tu)=\mathrm {d} f_{a}(u)+\eta (t)$, avec $\lim _{0}\varepsilon =0$ donc $\lim _{0}\eta =0$. (D'après la question précédente, on pourrait même se limiter au cas où $u$ est unitaire.)
* Il suffit de considérer la courbe rectiligne $\gamma (t)=a+tu$.
| Sommaire | Inversion locale, fonctions implicites |