$$\newcommand{\mtn}{\mathbb{N}}\newcommand{\mtns}{\mathbb{N}^*}\newcommand{\mtz}{\mathbb{Z}}\newcommand{\mtr}{\mathbb{R}}\newcommand{\mtk}{\mathbb{K}}\newcommand{\mtq}{\mathbb{Q}}\newcommand{\mtc}{\mathbb{C}}\newcommand{\mch}{\mathcal{H}}\newcommand{\mcp}{\mathcal{P}}\newcommand{\mcb}{\mathcal{B}}\newcommand{\mcl}{\mathcal{L}} \newcommand{\mcm}{\mathcal{M}}\newcommand{\mcc}{\mathcal{C}} \newcommand{\mcmn}{\mathcal{M}}\newcommand{\mcmnr}{\mathcal{M}_n(\mtr)} \newcommand{\mcmnk}{\mathcal{M}_n(\mtk)}\newcommand{\mcsn}{\mathcal{S}_n} \newcommand{\mcs}{\mathcal{S}}\newcommand{\mcd}{\mathcal{D}} \newcommand{\mcsns}{\mathcal{S}_n^{++}}\newcommand{\glnk}{GL_n(\mtk)} \newcommand{\mnr}{\mathcal{M}_n(\mtr)}\DeclareMathOperator{\ch}{ch} \DeclareMathOperator{\sh}{sh}\DeclareMathOperator{\th}{th} \DeclareMathOperator{\vect}{vect}\DeclareMathOperator{\card}{card} \DeclareMathOperator{\comat}{comat}\DeclareMathOperator{\imv}{Im} \DeclareMathOperator{\rang}{rg}\DeclareMathOperator{\Fr}{Fr} \DeclareMathOperator{\diam}{diam}\DeclareMathOperator{\supp}{supp} \newcommand{\veps}{\varepsilon}\newcommand{\mcu}{\mathcal{U}} \newcommand{\mcun}{\mcu_n}\newcommand{\dis}{\displaystyle} \newcommand{\croouv}{[\![}\newcommand{\crofer}{]\!]} \newcommand{\rab}{\mathcal{R}(a,b)}\newcommand{\pss}[2]{\langle #1,#2\rangle} $$
Bibm@th

Dérivée suivant un vecteur

Soit $f$ une application définie sur un ouvert $U$ de $\mathbb R^n$ à valeurs dans $\mathbb R^p$, soit $a$ un point de $U$ et soit $h\in \mathbb R^n$, $h\neq 0$. On dit que $f$ admet une dérivée en $a$ suivant le vecteur $h$ si la fonction d'une variable réelle $g(t)=f(a+th)$ est dérivable en $0$. Le vecteur $g'(0)$ est alors appelé dérivée de $f$ en $a$ suivant $h$. De façon équivalente, cela signifie que le quotient $$\frac{f(a+th)-f(a)}{t}$$ admet une limite quand $t$ tend vers $0$.

La dérivée suivant un vecteur est une tentative pour généraliser la notion de fonction dérivable aux fonctions de plusieurs variables. Malheureusement, elle n'est pas satisfaisante car il existe des fonctions admettant en $a$ des dérivées suivant tout vecteur, mais qui ne sont pas continues. Considérons par exemple la fonction $f:\mathbb R^2\to\mathbb R^2$ définie par $$f(x,y)=\left\{ \begin{array}{ll} \displaystyle \frac{y^2}x&\textrm{ si }x\neq 0\\[0.1cm] 0&\textrm{ sinon} \end{array}\right.$$ Alors, pour $h=(a,b)$, on a $\displaystyle \frac{f(th)-f(0,0)}{t}=\frac{b^2}{a}$ si $a$ est non nul, $\displaystyle \frac{f(th)-f(0,0)}{t}=0$ sinon. $f$ admet donc bien une dérivée suivant $h$. Mais $f(1/n^2,1/n)=1$ ne tend pas vers 0, alors que $f(0,0)=0$, ce qui prouve que $f$ n'est pas continue en $(0,0)$.

Consulter aussi
Recherche alphabétique
Recherche thématique