$ f $ est différenciable en $ (0,0). $
Définition: Let $V\subseteq{\mathbb{R}^{m}}$ un ensemble ouvert, $a\in V$ y $f\colon V\to\mathbb{R}^{n}$une fonction. Nous dirons que$f$ est différenciable en $a,$ s'il existe une transformation linéaire $f'(a)\colon\mathbb{R}^{m}\to\mathbb{R}^{n}$tel que \ begin {équation} f (a + h) = f (a) + f '(a) (h) + r (h), \ qquad \ lim_ {h \ rightarrow 0} {\ dfrac {r (h) )} {\ lVert h \ rVert}} = 0. \ end {équation}
Laisser $ a \in \mathbb {R}$être. Définir la fonction$ f \colon \mathbb {R}^ {2} \to \mathbb {R} $ donné par
\ begin {équation} f (x, y) = \ gauche \ {\ begin {matrice} \ dfrac {x \ sin ^ {2} (x) + axy ^ {2}} {x ^ {2} + 2y ^ {2} + 3y ^ {4}} & (x, y) \ neq (0,0) \\ 0 & (x, y) = (0,0) \ end {matrice} \ right. \ end {équation}
Trouvez la valeur de $ a $ de sorte que $ f $ est différenciable par $ (0,0). $
Ma tentative:
Nous avons observé que
\ begin {équation} \ dfrac {\ partial f} {\ partial x} (0,0) = 0 = \ dfrac {\ partial f} {\ partial y} (0,0). \ end {équation}
Si $(x,y)\in\mathbb{R}^{2}\setminus\{(0,0)\},$ puis
\ begin {équation} \ dfrac {\ partial f} {\ partial x} (x, y) = \ dfrac {\ sin ^ {2} (x) (2y ^ {2} + 3y ^ {4} -x ^ {2}) + x \ sin (2x) (x ^ {2} + 2y ^ {2} + 3y ^ {4}) + ay ^ {2} (2y ^ {2} + 3y ^ {4} -x ^ {2})} {(x ^ {2} + 2y ^ {2} + 3y ^ {4}) ^ {2}} \ end {équation}
\ begin {équation} \ dfrac {\ partial f} {\ partial y} (x, y) = \ dfrac {2axy (x ^ {2} -3y ^ {4}) - 4xy \ sin ^ {2} (x ) (1 + 3y ^ {2})} {(x ^ {2} + 2y ^ {2} + 3y ^ {4}) ^ {2}} \ end {équation}
Si $\dfrac{\partial f}{\partial y}(x,y)=0,$ puis
\begin{align} 2axy(x^{2}-3y^{4})-4xy\sin^{2}(x)(1+3y^{2})=0&\quad\Longleftrightarrow\quad a(x^{2}-3y^{4})=2\sin^{2}(x)(1+3y^{2})\\ &\quad\Longleftrightarrow\quad a=\dfrac{2\sin^{2}(x)(1+3y^{2})}{x^{2}-3y^{4}} \end{align}
\ begin {équation} f (x, y) = \ gauche \ {\ begin {matrice} x \ sin ^ {2} (x) & (x, y) \ neq (0,0) \\ 0 & (x , y) = (0,0) \ end {matrice} \ right. \ end {équation}
\ begin {équation} \ dfrac {\ partial f} {\ partial x} (0,0) = 0 = \ dfrac {\ partial f} {\ partial y} (0,0) \ end {équation}
De cela, il s'ensuit que $\dfrac{\partial f}{\partial x}(x,y)$ et $\dfrac{\partial f}{\partial y}(x,y)$ sont continus par $(0,0)$ y $f$ est différenciable par $(0,0).$
Mes arguments sont-ils corrects? Toute suggestion est la bienvenue.
Réponses
Nous avons ça
$$\dfrac{\partial f}{\partial x}(0,0)=\lim_{h\to 0}\frac{\dfrac{h\sin^{2}(h)}{h^{2}}}{h} =\lim_{h\to 0}\dfrac{h\sin^{2}(h)}{h^3}=1$$
$$\dfrac{\partial f}{\partial y}(0,0)=\lim_{k\to 0}\frac{\dfrac{0}{2k^{2}+3k^4}}{k} =0$$
alors par définition, nous devons vérifier que
$$\lim_{(h,k)\to (0,0)}\frac{\dfrac{h\sin^{2}(h)+ahk^{2}}{h^{2}+2k^{2}+3k^{4}}-h}{\sqrt{h^2+k^2}} =\lim_{(h,k)\to (0,0)} \dfrac{h\sin^{2}(h)+ahk^{2}-h^3-2hk^2-3hk^4}{(h^{2}+2k^{2}+3k^{4})\sqrt{h^2+k^2}}=0$$
ce qui est vrai en effet par $a=2$
$$\dfrac{h\sin^{2}(h)+ahk^{2}-h^3-2hk^2-3hk^4}{(h^{2}+2k^{2}+3k^{4})\sqrt{h^2+k^2}}=\dfrac{h(h^2+O(h^4))+2hk^{2}-h^3-2hk^2-3hk^4}{(h^{2}+2k^{2}+3k^{4})\sqrt{h^2+k^2}}=$$
$$=\dfrac{-3hk^4+O(h^5)}{(h^{2}+2k^{2}+3k^{4})\sqrt{h^2+k^2}}$$
puis utilisez les coordonnées polaires.
Une approche quelque peu différente:
Pour être différentiable, une fonction doit être continue et avoir une dérivée continue (ou avoir une dérivée avec une singularité essentielle). La continuité exige que la limite à l'approche du point soit la même, quelle que soit la direction de votre approche.
Supposons que nous nous approchons le long de la ligne $x=y=\epsilon$. Ensuite, nous avons (en utilisant le fait que$\frac{d}{da}\sin^2(a)=\sin(2a)$: $$g(\epsilon)=f(\epsilon,\epsilon) = \frac{\epsilon\sin^2(\epsilon)+a\epsilon^3}{\epsilon^2+2\epsilon^2+3\epsilon^4} = \frac{\sin^2(\epsilon)+a\epsilon^2}{3\epsilon+3\epsilon^3}=\frac{1}{3}\frac{\sin^2(\epsilon)+a\epsilon^2}{\epsilon+\epsilon^3}$$ $$g'(\epsilon)=\frac{1}{3}\frac{(\epsilon+\epsilon^3)(\sin(2\epsilon)+2a\epsilon)-(\sin^2(\epsilon)+a\epsilon^2)(1+3\epsilon^2)}{\epsilon^2+2\epsilon^4+\epsilon^6} = \frac{1}{3}\frac{\epsilon\sin(2\epsilon)+2a\epsilon^2+\epsilon^3\sin(2\epsilon)+2a\epsilon^4-\sin^2(\epsilon)-a\epsilon^2-3\epsilon^2\sin^2(\epsilon)-3a\epsilon^5}{\epsilon^2+2\epsilon^4+\epsilon^6}$$ $$\lim_{\epsilon\rightarrow0}g'(\epsilon)=\frac{1}{3}\lim_{\epsilon\rightarrow0}\frac{\epsilon\sin(2\epsilon)+2a\epsilon^2+\epsilon^3\sin(2\epsilon)+2a\epsilon^4-\sin^2(\epsilon)-a\epsilon^2-3\epsilon^2\sin^2(\epsilon)-3a\epsilon^5}{\epsilon^2+2\epsilon^4+\epsilon^6} = \frac{1}{3} \lim_{\epsilon\rightarrow0} \frac{\sin(2\epsilon)+2\epsilon\cos(2\epsilon)+4a\epsilon+3\epsilon^2\sin(2\epsilon)+2\epsilon^3\cos(2\epsilon)+8a\epsilon^3-\sin(2\epsilon)-2a\epsilon-6\epsilon\sin^2(\epsilon)-3\epsilon^2\sin(2\epsilon)-15a\epsilon^4}{2\epsilon+8\epsilon^3+6\epsilon^5} = \frac{1}{3} \lim_{\epsilon\rightarrow0} \frac{2\epsilon\cos(2\epsilon)+2a\epsilon+2\epsilon^3\cos(2\epsilon)+8a\epsilon^3-6\epsilon\sin^2(\epsilon)-15a\epsilon^4}{2\epsilon+8\epsilon^3+6\epsilon^5} = \frac{1}{3} \lim_{\epsilon\rightarrow0} \frac{2\cos(2\epsilon)+2a+2\epsilon^2\cos(2\epsilon)+8a\epsilon^2-6\sin^2(\epsilon)-15a\epsilon^3}{2+8\epsilon^2+6\epsilon^4} = \frac{1}{3} \frac{2+2a}{2} = \frac{1+a}{3}$$
Supposons que nous nous approchons le long de la ligne $-x=y=\epsilon$. Ensuite nous avons:$$h(\epsilon)=f(-\epsilon,\epsilon) = \frac{-\epsilon\sin^2(-\epsilon)-a\epsilon^3}{\epsilon^2+2\epsilon^2+3\epsilon^4} = \frac{-\epsilon\sin^2(\epsilon)-a\epsilon^3}{\epsilon^2+2\epsilon^2+3\epsilon^4}= -g(\epsilon)$$ $$h'(\epsilon)=-g'(\epsilon)$$ $$\lim_{\epsilon\rightarrow0}h'(\epsilon)=-\lim_{\epsilon\rightarrow0}g'(\epsilon)=-\frac{1+a}{3}$$
Dans les deux sens, la limite de la dérivée existait, et donc parce que la direction d'approche n'a pas d'importance, nous exigeons que les limites soient les mêmes. $\frac{1+a}{3}=-\frac{1+a}{3}$, ce qui signifie que $a=-1$.