1.
Considere a função \(f(x,y)=\sqrt[3]{x^4 + y^4}\text{,}\) cuja derivada parcial em relação a \(x\) é dada por
\begin{equation*}
\dfrac{\partial
f}{\partial x}(x,y)=
\begin{cases}
\dfrac{4x^3}{3\sqrt[3]{(x^4+y^4)^2}},&
\text{se } (x,y) \neq (0,0) \\
\hfill 0,& \text{ se } (x,y) =(0,0). \end{cases}
\end{equation*}
- Determine se \(\dfrac{\partial f}{\partial x}\) é contínua em \((0,0)\text{.}\)
- Determine \(\dfrac{\partial f}{\partial y}(0,0)\text{.}\)
- A função \(f\) é diferenciável em \((0,0)\text{?}\)
Resposta.
- Sim.
- \(\displaystyle \dfrac{\partial f}{\partial y}(x,y)= \begin{cases} \dfrac{4y^3}{3\sqrt[3]{(x^4+y^4)^2}},& \text{se } (x,y) \neq (0,0) \\ \hfill 0,& \text{ se } (x,y) =(0,0). \end{cases}\)
- Sim.
Solução.
-
Para que \(\dfrac{\partial f}{\partial x}\) seja contínua em \((0,0)\text{,}\) devemos ter\begin{equation*} \lim\limits_{(x,y)\to (0,0)}\dfrac{\partial f}{\partial x}=\dfrac{\partial f}{\partial x}(0,0). \end{equation*}Basta fazer as contas:\begin{align*} \lim\limits_{(x,y)\to (0,0)}\dfrac{\partial f}{\partial x}&=\lim\limits_{(x,y)\to (0,0)}\dfrac{4x^3}{3\sqrt[3]{(x^4+y^4)^2}}\\ &=\lim\limits_{(x,y)\to (0,0)}\dfrac{4x^{1/3}}{3}\dfrac{x^{8/3}}{\sqrt[3]{(x^4+y^4)^2}} \stackrel{(\ast)}{=}0=\dfrac{\partial f}{\partial x}(0,0), \end{align*}onde \((\ast)\) segue do Corolário A.3.7, pois \(0\leq x^{8/3}=\sqrt[3]{(x^4)^2}\leq\sqrt[3]{(x^4+y^4)^2}\text{,}\) donde \(0\leq \dfrac{x^{8/3}}{\sqrt[3]{(x^4+y^4)^2}}\leq 1\text{.}\) Logo, \(\dfrac{\partial f}{\partial x}\) é contínua em \((0,0)\text{.}\)
- A expressão para a derivada parcial em \(y\) segue da simetria de \(f\) nas variáveis, ou seja, \(f(x,y)=f(y,x)\text{:}\)\begin{equation*} \dfrac{\partial f}{\partial y}(x,y)= \begin{cases} \dfrac{4y^3}{3\sqrt[3]{(x^4+y^4)^2}},& \text{se } (x,y) \neq (0,0) \\ \hfill 0,& \text{ se } (x,y) =(0,0). \end{cases} \end{equation*}
- Vimos no primeiro item que \(\dfrac{\partial f}{\partial x}\) é contínua em \((0,0)\text{.}\) O segundo item mostra que o mesmo vale para \(\dfrac{\partial f}{\partial y}\text{.}\) Desta forma, \(f\) é uma função de classe \(\mathscr{C}^1\) em \((0,0)\text{,}\) sendo então diferenciável nesse ponto.