Enunciado

Prove que as funções dadas são diferenciáveis.

f (x , y) = x^2 + y^2

Passo 1

O exercício pede para provarmos que a função f (x , y) = x^2 + y^2 é diferenciável. Para isso, calculamos primeiro as derivadas parciais:

(del f)/(del x) = 2 x e (del f)/(del y) = 2 y

Daí, vamos calcular o “limitão” para um ponto (x , y) genérico:

L = underset((h , k) -> (0 , 0))(lim) (f (x + h , y + k) - f (x , y) - (del f)/(del x) h - (del f)/(del y) k)/(sqrt(h^2 + k^2))

Se esse limite existir e for nulo, a função será diferenciável em (x , y) . Esse é o método mais geral para testar se uma função de duas variáveis é derivável ou não. Nossa ideia aqui é calcular esse limite para um ponto genérico (x , y) e ver se ele dá zero.

Passo 2

Nosso objetivo é calcular o limite, mas antes disso, vamos massagear um pouco a expressão:

f (x + h , y + k) - f (x , y) = (x + h)^2 + (y + k)^2 - x^2 - y^2

f (x + h , y + k) - f (x , y) = 2 x h + h^2 + 2 y k + k^2

Mas como

(del f)/(del x) = 2 x e (del f)/(del y) = 2 y ,

temos que

f (x + h , y + k) - f (x , y) - (del f)/(del x) h - (del f)/(del y) k = 2 x h + h^2 + 2 y k + k^2 - 2 x h - 2 y k = h^2 + k^2

Assim, o limitão pode ser escrito como

L = underset((h , k) -> (0 , 0))(lim) (h^2 + k^2)/(sqrt(h^2 + k^2)) = underset((h , k) -> (0 , 0))(lim) (h^2)/(sqrt(h^2 + k^2)) + underset((h , k) -> (0 , 0))(lim) (k^2)/(sqrt(h^2 + k^2))

Passo 3

Vamos calcular cada um desses limites separadamente usando o teorema do confronto:

h^2 <= h^2 + k^2 => - sqrt(h^2 + k^2) <= h <= sqrt(h^2 + k^2)

Assim,

- 1 <= (h)/(sqrt(h^2 + k^2)) <= 1

Multiplicando todo mundo por h :

- h <= (h^2)/(sqrt(h^2 + k^2)) <= h

Tomando o limite dos termos da ponta da inequação:

underset((h , k) -> (0,0))(lim) h = underset((h , k) -> (0,0))(lim) - h = 0

Assim, temos o sanduíche:

0 <= underset((h , k) -> (0 , 0))(lim) (h^2)/(sqrt(h^2 + k^2)) <= 0

Pelo teorema do confronto:

underset((h , k) -> (0 , 0))(lim) (h^2)/(sqrt(h^2 + k^2)) = 0

Trocando h por k , achamos

underset((h , k) -> (0 , 0))(lim) (k^2)/(sqrt(h^2 + k^2)) = 0

Com isso,

L = underset((h , k) -> (0 , 0))(lim) (h^2)/(sqrt(h^2 + k^2)) + underset((h , k) -> (0 , 0))(lim) (k^2)/(sqrt(h^2 + k^2)) = 0 + 0 = 0

Como o “limitão” deu zero, vemos que f é diferenciável em (x , y) . Como esse ponto é totalmente genérico e o limite não depende dele, podemos afirmar que f é diferenciável para qualquer ponto no seu domínio.

Resposta

É diferenciável.

Ver Outros Exercícios desse livro

Exercícios de Livros Relacionados

Explique por que a função é diferenciável no ponto dado. A seguir, encontre a linearização L ( x , y ) da função naquele ponto. f x , y = e - x y cos ⁡ y ( π , 0 )
Explique por que a função é diferenciável no ponto dado. A seguir, encontre a linearização L ( x , y ) da função naquele ponto. f x , y = x 3 y 4 ( 1,1 )
Explique por que a função é diferenciável no ponto dado. A seguir, encontre a linearização L ( x , y ) da função naquele ponto. f x , y = x x + y ( 2,1 )
Explique por que a função é diferenciável no ponto dado. A seguir, encontre a linearização L ( x , y ) da função naquele ponto. f x , y = sen ⁡ 2 x + 3 y ( - 3,2 )
Explique por que a função é diferenciável no ponto dado. A seguir, encontre a linearização L ( x , y ) da função naquele ponto. f x , y = x + e 4 y ( 3,0 )