Teoria Completa
Olá! Lembra que quando tinhamos uma função com uma variável e ela poderia não ser derivável em um determinado ponto? Isso acontecia quando elas não eram continuas ou a derivada no ponto pela esquerda era diferente da derivada no ponto pela direita.
Então, agora nós temos uma função com mais de uma variável e queremos saber para um ponto qualquer, se a função é diferenciável nesse ponto.
Para saber se uma função de mais de uma variável é diferenciável, existem três teoremas:
- Se uma função é diferenciável em um ponto, então ela é contínua nesse ponto;
- Se uma função é diferenciável em um ponto, então ela possui derivadas parciais nesse ponto;
- Se e existem e são contínuas em um ponto, então a função é diferenciável nesse ponto.
Atenção! As recíprocas desses teoremas são falsas!
Portanto, uma função ser contínua ou possuir derivadas parciais num ponto não implica ela ser diferenciável nesse ponto. E se ela for diferenciável, suas derivadas parciais não são obrigatoriamente contínuas!
Mas repare que podemos interpretar esses teoremas de outra forma. Considerando uma função num certo ponto, temos:
- Se ela não é contínua, então ela não é diferenciável
- Se ela não possui derivadas parciais, então ela não é diferenciável
- Se ela não é diferenciável, então as derivadas parciais não são contínuas (mas podem existir).
Vamos para um exemplo para entender melhor!
Por exemplo, a função abaixo é diferenciável na origem?
A primeira coisa que temos que fazer é testar a continuidade da função.
Pra ela ser contínua na origem, devemos ter
Em vez de calcular esse limite, nesse caso (e geralmente será assim) parece melhor mostrar que ele não existe. Isso porque não tem nenhuma expressão típica de teorema do Sanduíche e o grau do numerador é igual ao grau do denominador (1).
Assim, se tentarmos calcular esse limite primeiro pelo caminho e depois pelo caminho , chegaremos a resultados diferentes, portanto o limite não existe.
Logo, a função não é contínua na origem. E não sendo contínua, ela também não é diferenciável nesse ponto.
Já se o limite existir, a função vai ser contínua e diferenciável.
Então geralmente o procedimento vai ser esse: pegar uma função definida por partes, provar que o limite não existe e mostrar, assim, que a função não é nem contínua nem diferenciável no ponto.
Exercício Resolvido #1
Considere as seguintes afirmações:
- Se é continua no ponto então é diferenciável no ponto
- Se é diferenciável no ponto então é continua no ponto
- Se e existem no ponto então é diferenciável no ponto
Passo 1
i)
Se uma função é diferenciável num certo ponto, então ela é contínua nesse ponto. A recíproca é falsa. Portanto, a afirmativa é falsa.
Passo 2
ii)
Mesma justificativa: diferenciabilidade implica continuidade. Afirmativa verdadeira.
Passo 3
iii)
Não basta que as derivadas parciais existam: elas também têm que ser contínuas no ponto. Então a afirmativa é falsa.
Resposta
Alternativa (a)
Exercício Resolvido #2
A função
é diferenciável na origem?
Passo 1
Vamos primeiro testar a continuidade da função.
Para essa função ser contínua na origem, basta que o limite dela, na origem, seja o proprio valor que ela assume no ponto , ou seja,
Mas, aqui vem um truque: é muito mais fácil provar que o limite não existe!
Não custa nada, e quer ver como é rápido de fazer isso?
Passo 2
Podemos calcular o valor do limite pra uma infinadade de caminhos, então vamos escolher os mais fáceis! Uma boa é testar primeiro e . Então vamos lá:
Passo 3
Agora testando :
Opa! Obtivemos 2 resultados diferentes! Portanto o limite não existe, e a função não é contínua na origem.
Passo 4
E sabemos que
Logo, não é diferenciável na origem.
Resposta
A função não é diferenciável em .
Exercício Resolvido #3
Seja a função
- Mostre que o ao longo de qualquer reta .
- Analise a continuidade da função no ponto .
- Analise a diferenciabilidade da função no ponto .
Passo 1
(a)
Basicamente vamos substituir na expressão da função e calcular o limite, só isso! Inclusive vai ser um limite estilo cálculo 1, teoricamente mais tranquilo de calcular.
Então vamos lá:
Fatorando pelo termo de maior grau do numerador (lembra disso? haha), temos:
E
Logo
Portanto, ao longo de qualquer reta temos:
Passo 2
(b)
Agora ele quer saber se a função é contínua na origem. Ou seja, se pra qualquer caminho que a gente usar pra calcular o limite vamos ter
Acabamos de provar isso pelos caminhos do tipo .
Então partiu!
A gente pode tentar aplicar o teorema do sanduíche. Vamos dar uma olhada na função:
Repare que não temos nenhum termos do tipo
nem funções trigonométricas. Também podemos ver que o grau do numerados (6) é menor que o grau do denominador (8).
Então não tá muito promissor pro teorema do sanduba. Vai ser mais fácil tentar provar que o limite não existe!
Passo 3
Já vimos que fazendo tá tudo ok com o limite, então vamos tentar por outros caminhos!
Digamos . Vamos ter
Simplificando isso aí:
Ou seja, esse limite não existe! Porque o denominador vai a zero mais rápido que o numerador, e aí essa bagaça toda vai pro infinito.
Assim, como por um caminho o limite existe e por outro ele não existe, então na real ele não pode existir né? Porque pra existir ele precisava não depender do caminho.
Portanto, a função não é contínua na origem!
Passo 4
(c)
Pra essa questão não vai ter muito mistério não! Queremos saber se é diferenciável na origem, mas já vimos que ela não é contínua nesse ponto. E temos, para um função em algum ponto:
Toda função diferenciável num ponto é contínua nesse ponto, então a não sendo contínua na origem, acabou o problema: ela não também não é diferenciável na origem!
Resposta
(a)
(b) A função não é contínua na origem.
(c) A função não é diferenciável na origem.