Questão 1. Considere a função f: \mathbb{R}^{2} \rightarrow \mathbb{R} definida por
f(x, y)=e^{-x^{3} y} \cos (x+2 y) .
(a) Encontre a linearização de f no ponto (0, \pi).
(b) Explique porque f é diferenciável.
(c) Explique porque o valor de f(0.01 ; 3.14) está próximo de 1 .
Passo 1
O enunciado pede três coisas sobre a função
f(x,y)=e^{-x^{3}y}\cos(x+2y).
As perguntas são:
(a) Encontrar a linearização de f no ponto (0,\pi).
(b) Explicar por que f é diferenciável.
(c) Explicar por que o valor de f(0{,}01;3{,}14) está próximo de 1.
Informações dadas que vamos usar explicitamente:
f(x,y)=e^{-x^{3}y}\cos(x+2y),\qquad\text{o ponto }(a,b)=(0,\pi).
Nada mais é fornecido; a resolução parte dessa função e do ponto indicado.
Passo 2
Vamos calcular as derivadas parciais de f. Antes de fazer as contas eu explico as regras que vou usar de forma bem direta:
Regra da cadeia: se g(x,y)=E(u(x,y)) então \partial g/\partial x = E'(u(x,y))\cdot \partial u/\partial x.
Regra do produto: se g(x,y)=A(x,y)\,B(x,y) então \partial g/\partial x = A_x B + A B_x.
No nosso caso f(x,y)=\underbrace{e^{-x^{3}y}}_{A(x,y)}\cdot\underbrace{\cos(x+2y)}_{B(x,y)}.
Calculemos passo a passo \partial f/\partial x.
Primeiro a derivada de A(x,y)=e^{-x^{3}y}. Seja u(x,y)=-x^{3}y. Então
Portanto o gradiente em (0,\pi) é \nabla f(0,\pi)=(0,0).
Passo 4
Agora escrevo a fórmula da linearização (aproximação afim de primeira ordem, também chamada de aproximação de Taylor de primeira ordem) de f no ponto (a,b)=(0,\pi):
Substituindo os valores calculados f(0,\pi)=1, \partial f/\partial x(0,\pi)=0, \partial f/\partial y(0,\pi)=0 e a=0, b=\pi, obtemos
L(x,y)=1 + 0\cdot(x-0)+0\cdot(y-\pi)=1.
Ou seja, a linearização de f no ponto (0,\pi) é a função constante L(x,y)\equiv 1.
Pequena interpretação intuitiva: a melhor aproximação linear de primeira ordem em torno desse ponto é a constante 1 porque a inclinação (gradiente) ali é zero — é como se a superfície estivesse “achatada” naquele ponto, até primeira ordem.
Passo 5
Explico por que f é diferenciável (de um jeito prático para a prova).
Fatos que convém saber e usar sem medo:
Funções elementares como polinômios, exponencial, seno e cosseno são diferenciáveis em toda parte e, de fato, têm derivadas contínuas (são C^\infty).
Composições e produtos de funções diferenciáveis são diferenciáveis e as derivadas resultantes são combinações contínuas dessas funções elementares.
No nosso caso f(x,y)=e^{-x^{3}y}\cos(x+2y) é produto e composição de polinômios, exponencial, cosseno e soma; portanto f pertence a C^{\infty}(\mathbb{R}^{2}). Em particular as derivadas parciais que calculamos existem e são contínuas em todo \mathbb{R}^{2}. Um teorema básico (usado rotineiramente em provas) afirma: se as derivadas parciais de uma função existem num ponto e são contínuas numa vizinhança desse ponto, então a função é diferenciável nesse ponto. Assim f é diferenciável em todo \mathbb{R}^{2}, logo também em (0,\pi).
Comentário motivador: diferenciar muitas vezes é só verificar que você está combinando coisas suaves (polinômios, exp, sen, cos), então a função resultante é suave também.
Passo 6
Por que f(0{,}01,3{,}14) está próximo de 1? Vou mostrar duas justificativas complementares: uma teórica e outra numérica para quantificar quão perto.
Raciocínio pela linearização:
A linearização em (0,\pi) é L(x,y)\equiv 1.
Para um ponto (x,y) próximo de (0,\pi) temos a aproximação de Taylor
f(x,y)=L(x,y)+o(\|(x,y)-(0,\pi)\|).
Como L(x,y)=1 e o gradiente é zero em (0,\pi), o termo linear desaparece e a diferença f(x,y)-1 é de ordem superior — tipicamente da ordem do quadrado da distância \|(x,y)-(0,\pi)\|. Logo, se (x,y) está perto, essa diferença é muito pequena. No nosso caso (0{,}01,3{,}14) está bem perto de (0,\pi) (a diferença em x é 0{,}01 e em y é 3{,}14-\pi\approx -0{,}00159265), portanto f(0{,}01,3{,}14) deve ficar muito próximo de 1.
Cálculo numérico rápido para ver a ordem de grandeza do desvio:
Ou seja, o valor difere de 1 apenas na ordem de 10^{-5}, isto é, muito próximo de 1.
Conclusão prática: por causa do gradiente nulo em (0,\pi) a variação linear desaparece e a função muda muito pouco em deslocamentos pequenos; os cálculos mostram que o desvio numérico é cerca de 2{,}6\times 10^{-5}, explicando por que o valor está muito próximo de 1.
Resposta
(a) L(x,y)=1.\n
(b) f é diferenciável em \mathbb{R}^{2} (as derivadas parciais existem e são contínuas; f\in C^{\infty}(\mathbb{R}^{2})).\n
(c) f(0{,}01,3{,}14)\approx 0{,}999973636 (está próximo de 1 porque (0{,}01,3{,}14) está perto de (0,\pi) e o gradiente em (0,\pi) é nulo, tornando a variação de primeira ordem igual a zero).