Diferenciabilidade de Função Vetorial
Teoria
“Ah não, diferenciabilidade não!”
É, eu sei que esse assunto é chato, mas infelizmente a gente tem que aprender. Então, força na piruca e vamo que vamo!
Existem algumas maneiras de verificar se uma função vetorial é diferenciável. Vou lista-las aqui, em ordem de preferência:
- Testar a continuidade no ponto de interesse:
- Classe :
- Cálculo do erro
Toda função diferenciável num ponto é também uma função contínua nesse ponto. Então, se a função não for sequer contínua, ela não tem como ser diferenciável.
Mas fica ligado: uma função vetorial só é contínua, se todas as suas funções componentes forem contínuas naquele ponto. Se tiver pelo menos uma que não é, a continuidade da função vetorial toda vai por água a baixo.
Funções vetoriais cujas funções componentes são de classe são diferenciáveis em todo o seu domínio.
Funções clássicas de classe são os polinômios ou funções que são compostas por polinômios, por exemplo, as funções racionais. Isso porque elas tem derivadas parciais de primeira ordem contínuas num subconjunto do seu domínio que contém o ponto de interesse.
Então, o que temos que fazer é observar se as funções componentes da nossa função vetorial são de classe e então analisar o domínio dela para dizer os pontos onde é diferenciável.
Uma forma infalível mesmo de saber se uma função vetorial é diferenciável num ponto é se
É, eu sei........
Vamos por partes então.
nada mais é que a matriz jacobiana de no ponto . Ok, tranquilo.
Mas agora, quem diabos é esse ?
é só um vetor genérico. Olha esse exemplo:
Mostre que
É diferenciável no .
Temos que provar que aquele limite que falei lá em cima, num ponto qualquer , é zero.
Vamos começar então dando nome aos bois nos termos daquele limite:
É o nosso ponto genérico do . E
É o nosso vetor genérico. Dai fica
E
E
Beleza, agora vamos substituir no limite:
Pronto!
Ok, mas se calcular esse limitão aí é uma técnica infalível para saber se a função é diferenciável ou não, por que eu tenho que saber das outras condições?
Muito simples: porque esse limite é gigante e chato de calcular, então, se a gente puder fugir dele, é bom que a gente fuja!!
Antes de você partir para os exercícios, se liga numa observaçãozinha aqui: para calcular esse limite ai, a gente teve que calcular a matriz das derivadas parciais, certo? Se alguma dessas derivadas não existe, então a gente nem pode começar a calcular esse limite, logo, a função não vai ser diferenciável.
Guarda isso então: se alguma das derivadas parciais não existe, então a função não pode ser diferenciável.
Exercícios Resolvidos
Exercício Resolvido #1
UFF, Cálculo IIB, lista 10, exercício 11.
Mostre que a função
É diferenciável ou, se não for diferenciável, indique em que pontos não é diferenciável.
Passo 1
Vamos começar calculando as derivadas da nossa função num ponto qualquer
Passo 2
Agora observa uma coisa:
As funções que compõe essa matriz de derivadas ou são funções constantes, ou são funções compostas por polinômios (nesse caso, são racionais).
E lembra que eu falei lá na teoria que funções racionais são funções de classe no seu domínio?
De fato são, mas o domínio é:
Então, como ser de classe é condição suficiente para ser diferenciável, temos que essa função é diferenciável em todos os pontos de seu domínio.
Resposta
Ei, a resposta está no passo a passo :)
Exercício Resolvido #2
UFF, Cálculo IIB, lista 10, exercício 9.
Mostre que a função
Se
É diferenciável ou, se não for diferenciável, indique em que pontos não é diferenciável.
Passo 1
Bom, vemos que essa função tem definições diferentes nos pontos
e
e
e
Então parece uma boa testar a diferenciabilidade em cada um desses pontos.
Passo 2
Vamos começar pelo ponto :
E vamos primeiro testar a continuidade da função nesse ponto.
Para a função ser contínua, todas as suas funções componentes tem que ser contínuas nesse ponto. Começando pela primeira componente:
Para ela ser contínua,
Se fizermos a substituição, vamos chegar na indeterminação .
Se você observar, o grau do numerador é menor que o grau do denominador, então esse limite tá com a maior cara de que não existe.
Pra provar isso, vamos testar calcular o limite por caminhos diferentes e vê no que dá.
Primeiro pelo caminho e .
Agora pelo caminho e :
Opa, calculando o limite por dois caminhos diferentes, eles deram valores diferentes, ou seja, esse limite realmente não existe.
Assim, como já na primeira componente vimos que ela não é contínua em , então nossa função vetorial não é continua nesse ponto.
Se ela não é sequer continua, então ela também não pode ser diferenciável em .
Passo 3
Beleza, agora vamos para o ponto
Mas, antes de tudo, vamos calcular a derivada da nossa função:
Então
Substituindo no limite:
Passo 4
Beleza, agora vamos para o ponto
A derivada da nossa função é:
Para
Então
Substituindo no limite:
Passo 5
Para todos os outros pontos que não são esses que a gente já calculou, repara uma coisa.
A matriz das derivadas é
E todas as funções componentes são funções racionais. E funções racionais são de classe no seu domínio.
Repare que os pontos problemáticos seriam justamente aqueles que a gente já testou nos passos anteriores. Então para todos os outros pontos, podemos dizer que a função é diferenciável, pois ela é de classe .
Resposta
Ei, a resposta está no passo a passo :)