Enunciado

Suponha que todas as funções dadas tenham derivadas parciais de segunda ordem contínuas.

Se z = f ( x , y ) , onde x = r cos ⁡ θ e y = r sen ⁡ θ , mostre que

∂ 2 z ∂ x 2 + ∂ 2 z ∂ y 2 = ∂ 2 z ∂ r 2 + 1 r 2 ∂ 2 z ∂ θ 2 + 1 r ∂ z ∂ r

Passo 1

Opa, tudo tranquilo? Questãozinha de provar teorema com regra da cadeia, vamos lá!

A questão nos diz que há uma função do tipo z = f ( x ,   y ) onde x = x ( r , θ ) e y = y ( r , θ ) e pede para que provemos o seguinte:

∂ 2 z ∂ x 2 + ∂ 2 z ∂ y 2 = ∂ 2 z ∂ r 2 + 1 r 2 ∂ 2 z ∂ θ 2 + 1 r ∂ z ∂ r

Certo, mas como fazemos isso sem nem ter a função z definida?

Vamos relembrar a regra da cadeia para funções múltiplas variáveis:

Para uma função no formato z ( x , y ) onde x = x ( r , θ ) e y = y ( r , θ ) , a derivada d z / d r pode ser definida como:

∂ z ∂ r =   ∂ z ∂ x ⋅ ∂ x ∂ r + ∂ z ∂ y ⋅ ∂ y ∂ r

E a derivada d z / d θ pode ser definida como:

∂ z ∂ θ =   ∂ z ∂ x ⋅ ∂ x ∂ θ + ∂ z ∂ y ⋅ ∂ y ∂ θ

Nós não podemos calcular ∂ z / ∂ x ou ∂ z / ∂ y mas veja que esses termos aparecem nessas fórmulas! Então vamos substituir ∂ z / ∂ r e ∂ z / ∂ θ na expressão da questão e ver o que podemos fazer!

Passo 2

Vamos começar definindo as derivadas de x e y nas variáveis s e t !

Seja

x = r cos ⁡ θ

y = r sen ⁡ θ

Então vamos ter

∂ x ∂ r = cos ⁡ θ

∂ y ∂ r = sen ⁡ θ

∂ x ∂ θ = - r sen ⁡ θ

∂ y ∂ θ = r cos ⁡ θ

Observe que as derivadas da equação do enunciado são de segunda ordem, então vamos precisar derivar novamente as expressões que definimos no passo 1!

Assim, buscamos

∂ 2 z ∂ r 2 = ∂ ∂ r ∂ z ∂ r

Onde, ao aplicar a regra da cadeia novamente, temos

∂ 2 z ∂ r 2 = ∂ ∂ x ∂ z ∂ r ⋅ ∂ x ∂ r + ∂ ∂ y ∂ z ∂ r ⋅ ∂ y ∂ r

Substituindo ∂ z / ∂ r que foi definido no passo 1

∂ 2 z ∂ r 2 = ∂ ∂ x ∂ z ∂ x ⋅ ∂ x ∂ r + ∂ z ∂ y ⋅ ∂ y ∂ r ⋅ ∂ x ∂ r + ∂ ∂ y ∂ z ∂ x ⋅ ∂ x ∂ r + ∂ z ∂ y ⋅ ∂ y ∂ r ⋅ ∂ y ∂ r

Expandindo (ainda mais) esses termos, nós ficamos com

∂ 2 z ∂ r 2 = ∂ 2 z ∂ x 2 ⋅ ∂ x ∂ r 2 + ∂ 2 z ∂ x ∂ y ⋅ ∂ y ∂ r ∂ x ∂ r + ∂ 2 z ∂ y ∂ x ⋅ ∂ x ∂ r ∂ y ∂ r + ∂ 2 z ∂ y 2 ⋅ ∂ y ∂ r 2

Substituindo ∂ x ∂ r e ∂ y ∂ r nós ficamos com

∂ 2 z ∂ r 2 = ∂ 2 z ∂ x 2 ⋅ cos ⁡ θ 2 + ∂ 2 z ∂ x ∂ y ⋅ sen ⁡ θ cos ⁡ θ + ∂ 2 z ∂ y ∂ x ⋅ cos ⁡ θ sen ⁡ θ + ∂ 2 z ∂ y 2 ⋅ sen ⁡ θ 2

O enunciado nos diz que as derivadas de segunda ordem são contínuas, então pelo teorema de Clairaut temos que as derivadas cruzadas ∂ x ∂ y e ∂ y ∂ x são iguais, de forma que:

∂ 2 z ∂ r 2 = ∂ 2 z ∂ x 2 ⋅ cos 2 ⁡ θ + ∂ 2 z ∂ x ∂ y ⋅ 2 sen ⁡ θ cos ⁡ θ + ∂ 2 z ∂ y 2 ⋅ sen 2 ⁡ θ

Agora vamos fazer o mesmo processo para a derivada de segunda ordem em θ

Passo 3

Agora buscamos

∂ 2 z ∂ θ 2 = ∂ ∂ θ ∂ z ∂ θ

Substituindo ∂ z / ∂ θ que foi definido no passo 1

∂ 2 z ∂ θ 2 = ∂ ∂ θ ∂ z ∂ x ⋅ ∂ x ∂ θ + ∂ z ∂ y ⋅ ∂ y ∂ θ

Como ∂ x ∂ θ e ∂ y ∂ θ são funções que dependem de θ elas vão influenciar na derivada, de modo que substituindo ∂ x ∂ θ e ∂ y ∂ θ nós ficamos com

∂ 2 z ∂ θ 2 = ∂ ∂ θ - ∂ z ∂ x ⋅ r sen ⁡ θ + ∂ z ∂ y ⋅ r cos ⁡ θ

∂ 2 z ∂ θ 2 = - ∂ ∂ θ ∂ z ∂ x ⋅ r sen ⁡ θ + ∂ ∂ θ ∂ z ∂ y ⋅ r cos ⁡ θ

Utilizando a regra do produto

∂ 2 z ∂ θ 2 = - ∂ 2 z ∂ θ ∂ x r sen ⁡ θ - ∂ z ∂ x ∂ ∂ θ r sen ⁡ θ + ∂ 2 z ∂ θ ∂ y r cos ⁡ θ + ∂ z ∂ y ∂ ∂ θ r cos ⁡ θ

Resolvendo as derivadas parciais das funções seno e cosseno ficamos com

∂ 2 z ∂ θ 2 = - ∂ 2 z ∂ θ ∂ x r sen ⁡ θ - ∂ z ∂ x r cos ⁡ θ + ∂ 2 z ∂ θ ∂ y r cos ⁡ θ - ∂ z ∂ y r sen ⁡ θ

Ou ainda

∂ 2 z ∂ θ 2 = - ∂ 2 z ∂ θ ∂ x r sen ⁡ θ + ∂ 2 z ∂ θ ∂ y r cos ⁡ θ - r ∂ z ∂ y sen ⁡ θ + ∂ z ∂ x r cos ⁡ θ

Usando a regra da cadeia para calcular as derivadas de segunda ordem, nós temos que

∂ 2 z ∂ θ ∂ x = ∂ ∂ θ ∂ z ∂ x

∂ ∂ θ ∂ z ∂ x = ∂ ∂ x ∂ z ∂ x ⋅ ∂ x ∂ θ + ��� ∂ y ∂ z ∂ x ⋅ ∂ y ∂ θ

Substituindo ∂ x ∂ θ e ∂ y ∂ θ

∂ ∂ θ ∂ z ∂ x = - ∂ ² z ∂ x ² ⋅ r sen ⁡ θ + ∂ ² z ∂ y ∂ x ⋅ r cos ⁡ θ

Da mesma forma

∂ 2 z ∂ θ ∂ y = ∂ ∂ θ ∂ z ∂ y

∂ ∂ θ ∂ z ∂ y = ∂ ∂ x ∂ z �� y ⋅ ∂ x ∂ θ + ∂ ∂ y ∂ z ∂ y ⋅ ∂ y ∂ θ

Substituindo ∂ x ∂ θ e ∂ y ∂ θ

∂ ∂ θ ∂ z ∂ y = - ∂ ² z ∂ x ∂ y ⋅ r sen ⁡ θ + ∂ ² z ∂ y ² ⋅ r cos ⁡ θ

Substituindo de volta em ∂ 2 z ∂ θ 2

∂ 2 z ∂ θ 2 = - - ∂ 2 z ∂ x 2 ⋅ r sen ⁡ θ + ∂ 2 z ∂ y ∂ x ⋅ r cos ⁡ θ r sen ⁡ θ

+ - ∂ 2 z ∂ x ∂ y ⋅ r sen ⁡ θ + ∂ 2 z ∂ y 2 ⋅ r cos ⁡ θ r cos ⁡ θ - r ∂ z ∂ y sen ⁡ θ + ∂ z ∂ x r cos ⁡ θ

Expandindo essa expressão

∂ 2 z ∂ θ 2 = ∂ 2 z ∂ x 2 ⋅ r ² sen 2 ⁡ θ - ∂ 2 z ∂ y ∂ x ⋅ r ² cos ⁡ θ sen ⁡ θ - ∂ 2 z ∂ x ∂ y ⋅ r ² sen ⁡ θ cos ⁡ θ + ∂ 2 z ∂ y 2 ⋅ r ² cos ² ⁡ θ

- r ∂ z ∂ y sen ⁡ θ + ∂ z ∂ x r cos ⁡ θ

Simplificando, ficamos com

∂ 2 z ∂ θ 2 = ∂ 2 z ∂ x 2 ⋅ r ² sen 2 ⁡ θ - 2 ∂ 2 z ∂ y ∂ x ⋅ r ² cos ⁡ θ sen ⁡ θ + ∂ 2 z ∂ y 2 ⋅ r ² cos ² ⁡ θ - r ∂ z ∂ y sen ⁡ θ + ∂ z ∂ x r cos ⁡ θ

Passo 4

Veja que lá na equação proposta no enunciado esse termo inteiro que acabamos de encontrar está dividido por r ² , então já vamos fazer isso!

1 r 2 ∂ 2 z ∂ θ 2 = ∂ 2 z ∂ x 2 ⋅ sen 2 ⁡ θ - 2 ∂ 2 z ∂ y ∂ x ⋅ cos ⁡ θ sen ⁡ θ + ∂ 2 z ∂ y 2 ⋅ cos 2 ⁡ θ - 1 r ∂ z ∂ y sen ⁡ θ + ∂ z ∂ x r cos ⁡ θ

Aproveitando, já podemos encontrar 1 r ∂ z ∂ r também

1 r ∂ z ∂ r = 1 r ∂ z ∂ x ⋅ cos ⁡ θ + 1 r ∂ z ∂ y ⋅ sen ⁡ θ

Agora vamos substituir tudo lá na expressão do enunciado (finalmente)

∂ 2 z ∂ x 2 + ∂ 2 z ∂ y 2 = ∂ 2 z ∂ r 2 + 1 r 2 ∂ 2 z ∂ θ 2 + 1 r ∂ z ∂ r

Resolvendo o lado esquerdo ficamos com

∂ 2 z ∂ r 2 + 1 r 2 ∂ 2 z ∂ θ 2 + 1 r ∂ z ∂ r = ∂ 2 z ∂ x 2 ⋅ cos 2 ⁡ θ + ∂ 2 z ∂ x ∂ y ⋅ 2 sen ⁡ θ cos ⁡ θ + ∂ 2 z ∂ y 2 ⋅ sen 2 ⁡ θ

+ ∂ 2 z ∂ x 2 ⋅ sen 2 ⁡ θ - 2 ∂ 2 z ∂ y ∂ x ⋅ cos ⁡ θ sen ⁡ θ + ∂ 2 z ∂ y 2 ⋅ cos 2 ⁡ θ - 1 r ∂ z ∂ y sen ⁡ θ + ∂ z ∂ x r cos ⁡ θ

+ 1 r ∂ z ∂ x ⋅ cos ⁡ θ + 1 r ∂ z ∂ y ⋅ sen ⁡ θ

Veja que alguns termos se cancelam! Ficando “só”:

∂ 2 z ∂ r 2 + 1 r 2 ∂ 2 z ∂ θ 2 + 1 r ∂ z ∂ r = ∂ 2 z ∂ x 2 ⋅ cos 2 ⁡ θ + ∂ 2 z ∂ y 2 ⋅ sen ⁡ θ 2 + ∂ 2 z ∂ x 2 ⋅ sen 2 ⁡ θ + ∂ 2 z ∂ y 2 ⋅ cos 2 ⁡ θ

Reagrupando, temos

∂ 2 z ∂ r 2 + 1 r 2 ∂ 2 z ∂ θ 2 + 1 r ∂ z ∂ r = ∂ 2 z ∂ x 2 ⋅ ( cos 2 ⁡ θ + sen 2 ⁡ θ ) + ∂ 2 z ∂ y 2 ⋅ ( cos 2 ⁡ θ + sen 2 ⁡ θ )

Utilizando a identidade trigonométrica cos 2 ⁡ θ + sen 2 ⁡ θ = 1 , ficamos exatamente com a equação proposta no enunciado! (Finalmente)

∂ 2 z ∂ r 2 + 1 r 2 ∂ 2 z ∂ θ 2 + 1 r ∂ z ∂ r = ∂ 2 z ∂ x 2 + ∂ 2 z ∂ y 2

Resposta

A igualdade ∂ 2 z ∂ r 2 + 1 r 2 ∂ 2 z ∂ θ 2 + 1 r ∂ z ∂ r = ∂ 2 z ∂ x 2 + ∂ 2 z ∂ y 2

É válida!

Ver Outros Exercícios desse livro

Exercícios de Livros Relacionados

Sejam G (u , v) = (F (x , y))/(x) , u = x + y e v = (y)/(x) . Suponha que (del^2 F)/(del x^2) - 2 (del^2 F)/(del x del y) + (del^2 F)/(del y^2) = 0 . Calcule (del^2 G)/(del v^2) .
Encontre ∂w/∂u e ∂w/∂y quando u = y = 0 se w = ln21 + x2 – tg–1 x e x = 2eu cos y.
Encontre o valor da derivada de ƒ(x, y, z) = xy + yz + xz com relação a t na curva x = cos t, y = sen t, z = cos 2t em t = 1.
Mostre que se w = ƒ(s) é qualquer função diferenciável de s e se s = y + 5x, então δ w δ x - 5 δ w δ y = 0
Encontre del z // del u quando u = 0 , v = 1 se z = sen x y + x sen y , x = u^2 + v^2 , y = u v .