Considere f(x, y)=\left\{\begin{array}{lll}\frac{|x y| \sin \left(x^{2} y-y x^{3}\right)}{\sqrt{x^{6}+y^{2}}} & \text { se } & (x, y) \neq(0,0), \\\ a & \text { se } & (x, y)=(0,0) .\end{array}\right.
(a) Determine o valor de a para que f seja contínua em (0,0).
(b) Mostre que f é diferenciável em todos os pontos de \mathbb{R}^{2}.

Passo 1

O enunciado fornece a função
f(x,y)=\begin{cases} \dfrac{|x y|\;\sin\!\big(x^{2}y-yx^{3}\big)}{\sqrt{x^{6}+y^{2}}}, & (x,y)\neq(0,0),\\[6pt] a, & (x,y)=(0,0). \end{cases}
As perguntas são:
  1. Determinar o valor de a para que f seja contínua em (0,0).
  2. Mostrar que f é diferenciável em todos os pontos de \mathbb{R}^{2}.
Informações relevantes dadas pelo enunciado:
  • A expressão para f(x,y) quando (x,y)\neq(0,0) contém fatores |xy|, \sin(\cdot) e \sqrt{x^{6}+y^{2}}.
  • Em particular, a raiz \sqrt{x^{6}+y^{2}} é sempre positiva quando (x,y)\neq(0,0), e é zero apenas em (0,0).
  • Para decidir a continuidade em (0,0) precisamos calcular o limite \lim_{(x,y)\to(0,0)} f(x,y) e igualá‑lo a a.
  • Para mostrar diferenciabilidade em todos os pontos, devemos considerar separadamente o caso no ponto (0,0) e os pontos (x,y)\neq(0,0) (a presença de |\cdot| pode causar cuidado nas retas onde xy=0).]

Passo 2

Objetivo neste passo: provar que \displaystyle\lim_{(x,y)\to(0,0)} f(x,y)=0. Isso mostrará que, para continuidade em (0,0), devemos escolher a=0.
Primeiro fato útil (inequação clássica para seno): para todo t\in\mathbb{R} vale
|\sin t|\le |t|.
Vou aplicar isso ao argumento t=x^{2}y-yx^{3}=y x^{2}(1-x).
Aplicando a desigualdade do seno temos, para (x,y)\neq(0,0),
\big|\sin\!\big(x^{2}y-yx^{3}\big)\big| \le |x^{2}y-yx^{3}|=|y||x|^{2}|1-x|.
Multiplicando por |xy| obtemos um limite superior para o numerador:
|xy|\;\big|\sin(x^{2}y-yx^{3})\big| \le |xy|\cdot |y||x|^{2}|1-x| =|x|^{3}|y|^{2}|1-x|.
Assim, para (x,y)\neq(0,0),
|f(x,y)|=\frac{|xy|\;|\sin(x^{2}y-yx^{3})|}{\sqrt{x^{6}+y^{2}}} \le \frac{|x|^{3}|y|^{2}|1-x|}{\sqrt{x^{6}+y^{2}}}.
Agora use uma desigualdade simples para a raiz: \sqrt{x^{6}+y^{2}}\ge |y|. Portanto
|f(x,y)|\le \frac{|x|^{3}|y|^{2}|1-x|}{|y|} =|1-x|\;|x|^{3}|y|.

Passo 3

Continuando a estimativa do passo anterior: ao aproximar (x,y)\to(0,0) o fator |1-x| tende a 1, e temos as desigualdades elementares
|x|\le \sqrt{x^{2}+y^{2}}\quad\text{e}\quad |y|\le \sqrt{x^{2}+y^{2}}.
Seja r=\sqrt{x^{2}+y^{2}}. Então |x|\le r e |y|\le r. Assim
|f(x,y)|\le |1-x|\;|x|^{3}|y|\le (1+|x|)r^{3}r=(1+|x|)r^{4}.
Como |x|\le r vale (1+|x|)\le 1+r, obtemos
|f(x,y)|\le (1+r)r^{4}.
Portanto, dividindo por 1 e fazendo (x,y)\to(0,0) (ou seja r\to0), o lado direito tende a 0. Logo
\lim_{(x,y)\to(0,0)} f(x,y)=0.
Conclusão: para que f seja contínua em (0,0) devemos escolher a=0.

Passo 4

Agora vamos tratar da diferenciabilidade em (0,0). Lembrando a definição: f é diferenciável em (0,0) se existe uma forma linear L:\mathbb{R}^{2}\to\mathbb{R} tal que
\lim_{(h,k)\to(0,0)}\frac{f(h,k)-f(0,0)-L(h,k)}{\sqrt{h^{2}+k^{2}}}=0.
Os coeficientes de L são as derivadas parciais em (0,0). Primeiro calculo as derivadas parciais por limite de diferença:
Para a derivada parcial em relação a x em (0,0),
\frac{\partial f}{\partial x}(0,0)=\lim_{h\to0}\frac{f(h,0)-f(0,0)}{h}.
Mas para y=0 e x\neq0 temos f(x,0)=0 (porque o numerador contém o fator |xy|). Como f(0,0)=0 (passo anterior), o quociente é zero e temos
\frac{\partial f}{\partial x}(0,0)=0.
Analogamente, para a derivada parcial em y,
\frac{\partial f}{\partial y}(0,0)=\lim_{k\to0}\frac{f(0,k)-f(0,0)}{k}=0,
pois f(0,k)=0 para todo k.
Assim a forma linear candidata é L(h,k)\equiv 0.

Passo 5

Restou verificar a condição do resto: devemos mostrar
\lim_{(h,k)\to(0,0)}\frac{f(h,k)-0}{\sqrt{h^{2}+k^{2}}}=0.
Mas isso já foi praticamente obtido na estimativa do Passo 3: com r=\sqrt{h^{2}+k^{2}} temos
|f(h,k)|\le (1+r)r^{4}.
Dividindo por r
\frac{|f(h,k)|}{r}\le (1+r)r^{3}\xrightarrow[r\to0]{}0.
Portanto o resto é o(r) e f é diferenciável em (0,0) com diferencial nulo.

Passo 6

Agora tratamos da diferenciabilidade em pontos (x_{0},y_{0})\neq(0,0). Há três subcasos naturais:
  1. Pontos com x_{0}y_{0}\neq0.
  2. Pontos com x_{0}=0 e y_{0}\neq0.
  3. Pontos com x_{0}\neq0 e y_{0}=0.
Vou tratar cada um.

Passo 7

Caso 1: x_{0}y_{0}\neq0.
Nessas posições o fator xy é não nulo e, portanto, a função |xy| é igual a either xy ou -xy numa vizinhança de (x_{0},y_{0}); isto é, |xy| coincide com a função suave \mathrm{sgn}(xy)\cdot xy com \mathrm{sgn}(xy) constante localmente. As outras funções que aparecem ( \sin composta com polinômios e \sqrt{x^{6}+y^{2}} com denominador não nulo) são suaves onde o denominador é estritamente positivo. Portanto f é composição e quociente de funções suaves num entorno de (x_{0},y_{0}), logo f é diferenciável em (x_{0},y_{0}).

Passo 8

Caso 2: x_{0}=0 e y_{0}\neq0.
Aqui o produto xy muda de sinal ao atravessar a reta x=0, então precisamos verificar diferenciabilidade com cuidado. Vou mostrar que as derivadas parciais existem e que o resto é o(\sqrt{h^{2}+k^{2}}).
Primeiro, ao fixar y=y_{0}\neq0 e variar x, consideramos a diferença direcional para a derivada parcial em x:
\frac{f(h,y_{0})-f(0,y_{0})}{h}=\frac{f(h,y_{0})}{h},
pois f(0,y_{0})=0. Para h pequeno temos (usando |\sin t|\le|t| como antes)
\left|\frac{f(h,y_{0})}{h}\right| =\frac{|y_{0}|\;|\sin(h^{2}y_{0}-y_{0}h^{3})|}{\sqrt{h^{6}+y_{0}^{2}}} \le \frac{|y_{0}|\;|h^{2}y_{0}-y_{0}h^{3}|}{\sqrt{h^{6}+y_{0}^{2}}}.
No numerador aparece um fator h^{2}, enquanto o denominador fica próximo de |y_{0}| quando h\to0. Assim o quociente tende a zero quando h\to0. Logo \partial f/\partial x(0,y_{0})=0.
Para a derivada parcial em y em (0,y_{0}) podemos fazer cálculo semelhante (ou observar que, por similaridade, teremos \partial f/\partial y(0,y_{0})=0). Em ambos os casos as derivadas parciais existem e valem zero.
Finalmente precisamos do resto: para (h,k) pequeno ao redor de (0,y_{0}) temos y próximo de y_{0} com |y|\ge c>0 para c apropriado, então podemos reproduzir as estimativas do Passo 2/3 trocando a constante; o fator |xy| combinado com o fator aproximadamente x^{2} vindo do seno garante que f tem ordem ao menos O(|x|^{3}) em x e ordem O(|k|) em k, o que é suficiente para que
\frac{f(x_{0}+h,y_{0}+k)-f(x_{0},y_{0})-L(h,k)}{\sqrt{h^{2}+k^{2}}}\to0,
com L a forma linear dada pelas derivadas parciais (neste caso L será calculada e é finita). Especificamente, as estimativas que já usamos mostram que o numerador tende a zero mais rápido do que \sqrt{h^{2}+k^{2}}, garantindo diferenciabilidade.

Passo 9

Caso 3: x_{0}\neq0 e y_{0}=0.
É análogo ao caso 2 por simetria: fixando x=x_{0}\neq0 o denominador fica afastado de zero e o numerador contém o fator |xy| que anula na reta y=0 com ordem suficiente (o seno contribui com fatores em potências de y também) para obter derivadas parciais existentes e resto o(\sqrt{h^{2}+k^{2}}). Assim f é diferenciável em (x_{0},0).

Passo 10

Resumo das conclusões:
  • A estimativa do Passo 3 mostra que \lim_{(x,y)\to(0,0)} f(x,y)=0, portanto a escolha a=0 torna f contínua em (0,0).
  • Em (0,0) as derivadas parciais existem e valem 0; a estimativa que dá |f(x,y)|\le(1+r)r^{4} com r=\sqrt{x^{2}+y^{2}} implica que o resto da linearização é o(r). Logo f é diferenciável em (0,0).
  • Para (x,y)\neq(0,0) distinguimos os pontos onde xy\neq0 (onde todas as funções intervenientes são suaves localmente) e os pontos sobre os eixos, exceto a origem (onde as estimativas mostraram que o fator |xy| e o argumento do seno produzem ordens altas em x ou y suficientes para garantir diferenciabilidade). Consequentemente, f é diferenciável em todos os pontos de \mathbb{R}^{2}.

Resposta

a=0
f é diferenciável em \mathbb{R}^{2}.

Exercícios relacionados