f(x, y)= \begin{cases}\frac{x^{4} y}{x^{4}+y^{4}} & \text { se }(x, y) \neq(0,0) \\\\ 0 & \text { se }(x, y)=(0,0)\end{cases}
(a) Calcule as derivadas parciais de f no plano \mathbb{R}^{2}.
(b) Determine se f é diferenciável em todo ponto (x, y) \in \mathbb{R}^{2}.
(c) Calcule a derivada direcional de f no ponto (0,0) na direção do vetor unitário \vec{u}=(u, v) se existir.
(3.00 pontos) Sejam f(x, y)=(y-x)^{3} e
A=\left\{(x, y) \in \mathbb{R}^{2}: x^{2}+y^{2} \leq 4 \text { e } x \leq 0\right\} .
(a) Justifique se f possui um valor máximo global e um valor mínimo global restrito ao conjunto A.
(b) Ache os pontos críticos de f no interior de A.
(c) Determine os pontos e os valores extremos globais de f restrito ao conjunto A.
Passo 1
Vou separar claramente o que o enunciado pede e quais informações são dadas, sem começar a resolver ainda.
As perguntas são:
(a) Calcular as derivadas parciais de f em \mathbb{R}^2.
(b) Determinar se f é diferenciável em todo ponto (x,y)\in\mathbb{R}^2.
(c) Calcular a derivada direcional de f no ponto (0,0) na direção do vetor unitário \vec{u}=(u,v), caso exista.
Informações relevantes do enunciado:
A fórmula da função para (x,y)\neq(0,0) e o valor no origem.
O enunciado exige derivadas parciais, diferenciabilidade global e derivada direcional no ponto (0,0).
Para a derivada direcional é dado que \vec{u}=(u,v) é vetor unitário (portanto u^2+v^2=1).
As perguntas são:
(a) Justificar se f tem máximo e mínimo globais restritos a A.
(b) Encontrar os pontos críticos de f no interior de A.
(c) Determinar os pontos e valores extremos globais de f restrito a A.
Informações relevantes:
A é a interseção do disco de raio 2 com o semiplano x\le 0.
f é polinomial (portanto contínua e C^\infty).]
Passo 2
Começo o Problema I — calculando as derivadas parciais para (x,y)\neq(0,0). Vou explicar a ferramenta que uso: regra do quociente para derivadas parciais.
Se f(x,y)=\dfrac{N(x,y)}{D(x,y)} com D\neq 0, então a derivada parcial em relação a x é
\frac{\partial f}{\partial x}=\frac{N_x D - N D_x}{D^2},
onde N_x=\partial N/\partial x e D_x=\partial D/\partial x. Mesma ideia para a derivada em relação a y.
Aqui tomamos
N(x,y)=x^4 y,\qquad D(x,y)=x^4+y^4.
Calculo as derivadas parciais de N e D:
N_x=4x^3 y,\qquad N_y=x^4,
D_x=4x^3,\qquad D_y=4y^3.
Agora aplico a regra do quociente para \partial f/\partial x (para (x,y)\neq(0,0)):
Essas são as fórmulas válidas quando (x,y)\neq(0,0). Vou agora obter as derivadas parciais no ponto (0,0) por definição (limite de diferença quociente), explicando o processo.
Passo 3
Cálculo das derivadas parciais no ponto (0,0) por definição: se existe
Eu expliquei a regra do quociente e calculei as derivadas por definição no origem.
Passo 5
Agora respondo a parte (b) do Problema I: diferenciabilidade em cada ponto.
Lembrando a ideia: uma função é diferenciável em um ponto se existe uma aproximação linear (a matriz jacobiana) que aproxima f de forma que o erro seja pequeno em relação à norma do deslocamento. Em termos de remanescente R(h,k)=f(x_0+h,y_0+k)-f(x_0,y_0)-L(h,k), diferenciabilidade exige R(h,k)/\sqrt{h^2+k^2}\to0 quando (h,k)\to(0,0), onde L é o plano tangente dado pelas derivadas parciais.
Para (x,y)\neq(0,0): as fórmulas para f mostram que f é quociente de funções polinomiais com denominador x^4+y^4, que é estritamente positivo para (x,y)\neq(0,0). Portanto f é composição de funções C^\infty no entorno de qualquer ponto distinto da origem; logo f é diferenciável em todo ponto (x,y)\neq(0,0). Essa é uma conclusão padrão: quando denominador não se anula, a função é suave.
Fica então a questão crítica: o que acontece em (0,0)? Já temos \nabla f(0,0)=(0,0), então o candidato de aproximação linear é L(h,k)=0. Para diferenciabilidade no origem precisamos que
Quando x\to 0 esse quociente tende para \pm 1/(2\sqrt{2}), não para 0 (o sinal depende do lado). Assim o limite exigido para diferenciabilidade não existe (nem é zero). Portanto f não é diferenciável em (0,0).
Resumo do item (b): f é diferenciável em todo ponto (x,y)\neq(0,0) e não é diferenciável em (0,0).
Passo 6
Agora resolvo a parte (c) do Problema I: derivada direcional de f no ponto (0,0) na direção do vetor unitário \vec{u}=(u,v). Vou explicar a fórmula e calcular.
A derivada direcional de f em (0,0) na direção \vec{u} é, se existir,
que é independente de t. Portanto o limite quando t\to 0 existe e é igual a
D_{\vec{u}} f(0,0)=\frac{u^4 v}{u^4+v^4},
desde que u^4+v^4\neq0. Como \vec{u} é vetor unitário, não é o vetor nulo, então u^4+v^4>0 e a expressão é bem definida para qualquer vetor unitário (u,v). Observações especiais: se v=0 então o valor vale 0; se u=0 também vale 0.
Esse cálculo mostra um fato interessante: as derivadas direcionais em (0,0) existem em todas as direções, mas a função não é diferenciável no sentido total (já provado no passo anterior). Isso é um bom exemplo didático: existência de todas as derivadas direcionais não implica diferenciabilidade.
Passo 7
Agora começo o Problema II. Primeiro a parte (a): decidir se f(x,y)=(y-x)^3 tem máximo e mínimo globais restritos ao conjunto A.
Demonstração (passo a passo com a teoria): f é uma função polinomial, logo contínua em \mathbb{R}^2. O conjunto A é fechado e limitado:
Fechado porque é interseção do disco fechado \{x^2+y^2\le 4\} (fechado) com o semiplano \{x\le 0\} (fechado).
Limitado porque está contido no disco de raio 2.
Portanto A é compacto. Teorema extremo de Weierstrass: toda função contínua em um conjunto compacto atinge máximo e mínimo. Assim f possui valor máximo global e mínimo global restritos a A. Conclusão do item (a): sim, existem máximo e mínimo.
Passo 8
Parte (b) do Problema II: encontrar pontos críticos de f no interior de A.
Explico: pontos críticos de uma função C^1 são pontos onde o gradiente é nulo (ou onde as derivadas parciais não existem). Como f é C^\infty, calculo o gradiente e ponho igual a zero.
e também x<0. Assim os pontos críticos no interior são todos os pontos da diagonal y=x com
- \sqrt{2}<x<0,
ou seja o segmento
\{(x,x): -\sqrt{2}<x<0\}.
Nesses pontos f(x,x)=(x-x)^3=0.
Passo 9
Parte (c) do Problema II: determinar os pontos e os valores extremos globais de f restrito a A.
Estratégia didática: f(y,x)=(y-x)^3 é função do único parâmetro y-x. Como t\mapsto t^3 é estritamente crescente em \mathbb{R}, maximizar f sobre A equivale a maximizar g(x,y)=y-x sobre A; minimizar f equivale a minimizar g. Assim resolvo um problema de máximo/mínimo de uma função linear g(x,y)=y-x em um conjunto compacto convexo A.
Observação sobre A: A é interseção de dois conjuntos convexos (disco e semiplano), logo é convexo. Para uma função linear, seus extremos em um conjunto convexo compacto ocorrem na fronteira do conjunto.
A fronteira de A consiste de duas partes:
A parte do círculo x^2+y^2=4 com x\le 0 (arco semicircular à esquerda).
O segmento vertical x=0 com -2\le y\le 2.
Vou analisar g(x,y)=y-x nas duas partes.
Primeiro, sobre o arco do círculo parametrize por x=2\cos\theta,\\ y=2\sin\theta com \theta\in[\tfrac{\pi}{2},\tfrac{3\pi}{2}] (isso garante x\le 0). Então
Sobre o intervalo \theta\in[\tfrac{\pi}{2},\tfrac{3\pi}{2}], essa função atinge o seu máximo quando \sin(\theta-\tfrac{\pi}{4})=1, ou seja em \theta=\tfrac{3\pi}{4}. Nesse ponto
O mínimo de g sobre o arco ocorre quando \sin(\theta-\tfrac{\pi}{4}) é mínimo no intervalo dado; avaliando nas extremidades do intervalo vemos que o menor valor de \sin(\theta-\tfrac{\pi}{4}) sobre o intervalo é -\tfrac{\sqrt{2}}{2}, obtido em \theta=\tfrac{3\pi}{2}. Assim o valor mínimo no arco é
obtido em \theta=\tfrac{3\pi}{2}, que corresponde ao ponto (0,-2).
Agora a segunda parte da fronteira, o segmento x=0,\\\ -2\le y\le 2. Ali g(0,y)=y-0=y. Portanto sobre esse segmento g varia entre -2 e 2; ou seja o máximo ali é 2 em (0,2) e o mínimo é -2 em (0,-2).
Comparando todos os candidatos:
Máximos encontrados: g=2\sqrt{2}\approx 2{,}828 em (-\sqrt{2},\sqrt{2}), e g=2 em (0,2). Logo o máximo global de g em A é 2\sqrt{2} obtido em (-\sqrt{2},\sqrt{2}).
Mínimos: tanto o arco quanto o segmento dão mínimo g=-2 em (0,-2). Não há ponto em A com g<-2 (o ponto da circunferência antipodal a (-\sqrt{2},\sqrt{2}) daria g=-2\sqrt{2}, mas esse ponto tem x>0 e portanto não pertence a A).
Agora volto para f=(y-x)^3. Como t\mapsto t^3 é estritamente crescente, os máximos e mínimos de f são as imagens cúbicas dos máximos e mínimos de g. Assim:
Máximo global de f em A ocorre em (-\sqrt{2},\sqrt{2}) e vale
f_{\max}=(2\sqrt{2})^3=16\sqrt{2}.
Mínimo global de f em A ocorre em (0,-2) e vale
f_{\min}=(-2)^3=-8.
Também observei que os pontos críticos interiores (o segmento \{(x,x):-\sqrt{2}<x<0\}) têm f=0, que é um valor intermediário entre -8 e 16\sqrt{2}.
Resposta
(Problema I a) \displaystyle \frac{\partial f}{\partial x}(x,y)=\begin{cases}\dfrac{4x^3 y^{5}}{(x^4+y^4)^2}, & (x,y)\neq(0,0),\\[6pt]0,&(x,y)=(0,0),\end{cases}
(Problema I b) f é diferenciável em todo ponto (x,y)\neq(0,0) e não é diferenciável em (0,0).
(Problema I c) Para vetor unitário \vec{u}=(u,v), \displaystyle D_{\vec{u}}f(0,0)=\frac{u^4 v}{u^4+v^4}.
(Problema II a) Sim: f é contínua e A é compacto, logo f atinge máximo e mínimo globais em A.
(Problema II b) Os pontos críticos no interior de A são \{(x,x):-\sqrt{2}<x<0\} e nesses pontos f=0.
(Problema II c) Máximo global: ponto (-\sqrt{2},\sqrt{2}) com valor f_{\max}=(2\sqrt{2})^3=16\sqrt{2}.
Mínimo global: ponto (0,-2) com valor f_{\min}=(-2)^3=-8.]