Derivadas Direcionais
Seja a função
- Determine para todo vetor unitário
- É diferenciável em ? JUSTIFIQUE!
- Seja . Existe ?
- Em que pontos de é diferenciável? JUSTIFIQUE!
Passo 1
(a) A questão pede a derivada direcional de em para qualquer vetor unitário genérico .
Ficamos tentados a usar a fórmula:
Mas nesse caso não funciona, basta tentar calcular o gradiente pra ver. Usando a regra da cadeia:
Se a gente substituir em , vai aparecer uma divisão por zero. E teremos o mesmo problema pra !
Vamos ter que recorrer à definição formal de derivada direcional pra resolver esse problema. Se , temos, por definição:
Mas o vetor é unitário lembra? Isso significa que:
Ótimo né? Agora é só partir pro abraço!
Ufa! Agora vamos pra questão (b)!
Passo 2
(b)
Agora queremos determinar se é diferenciável em . Só o fato de não termos conseguido calcular as derivadas parciais em da maneira convencional já é um bom indício de que a função não é diferenciável nesse ponto. Vamos verificar esse palpite!
Podemos calcular e usando a relação que achamos em (a), isto é:
Afinal de contas, as derivadas parciais não passam de derivadas direcionais no sentido dos vetores unitários para o eixo , e , para o eixo . Então partiu! Vamos ter:
Logo, o gradiente da função em é:
Passo 3
Beleza, achamos o gradiente, e agora? Simples! Lembra da fórmula da derivada direcional que a gente tentou usar no começo mas não deu certo? Então, agora que temos o gradiente nós podemos usá-la! Se for diferenciável, vai dar tudo certo, senão, vai dar pra perceber o problema:
Ué! A gente tinha achado:
Ou seja, pra função ser diferenciável em , teríamos que ter , com . Isso só acontece com ou .
Logo, a função não é diferenciável em .
Show! Vamos pra questão (c)!
Passo 4
(c) Queremos descobrir se existe, com . Bom, uma derivada parcial nada mais é que um limite! Pela definição:
O limite não existe, logo também não existe com .
Passo 5
(d)
Vamos dar uma olhada nas derivadas parciais da . Lembrando que .
Já vimos no item (a) que:
Também temos, pela regra da cadeia:
Essas derivadas são contínuas exceto quando o denominador for nulo. E o denominador é igual pras duas derivadas parciais. Então vamos ver quando ele pode dar zero:
ou E
Ou seja, em todo caso vamos ter . Portanto, e são contínuas somente se . Acabamos de ver no item (b) que a função não é diferenciável em . Vimos também no item (c) que não existe com . De maneira análoga, não existe com . Portanto, não é diferenciável em .
Logo, a função é diferenciável em todos os pontos com .
Resposta
a)
b) Não.
c) Não.
d) Todo o , exceto quando .