Enunciado

Demonstre a identidade, admitindo que as derivadas parciais apropriadas existem e são contínuas. Se f for um campo escalar e F → e G → forem campos vetoriais, então f F → , F → ⋅ G → e F → × G → serão definidos como:

f F → x , y , z = f x , y , z F → x , y , z

( F → ⋅ G → ) x , y , z = F → x , y , z ⋅ G → ( x , y , z )

( F → × G → ) x , y , z = F → x , y , z × G → ( x , y , z )

r o t   f F → = f   r o t   F → +   ( ∇ f ) × F →

Passo 1

Oi galera, tudo bem? Quanta informação nesse enunciado 😵 Vou organizar de um jeito que fica fácil de entender!

Primeiro, ele dá que f é um campo escalar e F → e G → são campos vetoriais.

Segundo, ele diz que as derivadas parciais desses campos existem e são contínuas.

Terceiro, ele dá umas operações com esses campos:

f F → x , y , z = f x , y , z F → x , y , z

Que é a multiplicação de um campo escalar por um campo vetorial.

( F → ⋅ G → ) x , y , z = F → x , y , z ⋅ G → ( x , y , z )

Que é o produto escalar entre dois campos vetoriais.

( F → × G → ) x , y , z = F → x , y , z × G → ( x , y , z )

Que é o produto vetorial entre dois campos vetoriais.

Essas informações serão úteis caso alguma dessas operações apareçam na hora da demonstração, aí poderemos usar elas pra resolver esses casos.

Quarto e último, ele quer que demonstremos que

r o t   f F → = f   r o t   F → +   ( ∇ f ) × F →

Em palavras, ele quer que demonstremos que o rotacional da multiplicação de um campo escalar por um campo vetorial

r o t   f F →

é igual a

f   r o t   F → +   ( ∇ f ) × F →

Agora tudo fica mais fácil né?

Lembrando que o rotacional de algum vetor é o produto vetorial entre e o vetor!

∇ × F → = i → j → k → ∂ ∂ x ∂ ∂ y ∂ ∂ z F x F y F z

∇ × F → = i → ∂ ∂ y F z - ∂ ∂ z F y + j → ∂ ∂ z F x - ∂ ∂ x F z + k → ∂ ∂ x F y - ∂ ∂ y F x

E que a derivada parcial é aquela que as outras variáveis contam como constante na hora da derivação!

Então, para fazermos essa demonstração vamos pegar o rotacional da multiplicação de um campo escalar por um campo vetorial

r o t   f F →

E tentar chegar em

f   r o t   F → +   ( ∇ f ) × F →

Poderíamos fazer o inverso também, mas é mais complicado e normalmente as questões querem que a gente use o termo da esquerda para chegar no da direita.

Ok? Bora lá?

Passo 2

Primeiro, dentro do rotacional temos uma multiplicação de um campo escalar por um campo vetorial

f F →

Vamos supor que o campo vetorial F → é dessa forma aqui ó:

F → = F 1 i → + F 2 j → + F 3 k →

Agora, precisamos saber quem é f F → . Sendo f uma função escalar. Lembra dessa informação do enunciado?

f F → x , y , z = f x , y , z F → x , y , z

Ela basicamente diz que a função escalar f multiplica cada componente de F → :

f F → = f F 1 i → + f F 2 j → + f F 3 k →

Muito bem! Já temos f F → , vamos para o próximo passo!

Passo 3

Agora vamos fazer

r o t f F →

Que é aplicar essa operação

∇ × f F →

Então, temos

∇ × f F → = i → ∂ ∂ y f F 3 - ∂ ∂ z f F 2 + j → ∂ ∂ z f F 1 - ∂ ∂ x f F 3 + k → ∂ ∂ x f F 2 - ∂ ∂ y f F 1

Lembrando da regra do produto

f x ⋅ g x ' = f ' x g x + f x g ' x

Vamos abrir essas derivadas todas, lembrando que tanto f quanto F são funções não constantes.

Para i → :

i → f ∂ ∂ y F 3 + F 3 ∂ ∂ y f - f ∂ ∂ z F 2 - F 2 ∂ ∂ z f

Para j → :

j → f ∂ ∂ z F 1 + F 1 ∂ ∂ z f - f ∂ ∂ x F 3 - F 3 ∂ ∂ x f

Para k → :

k → f ∂ ∂ x F 2 + F 2 ∂ ∂ x f - f ∂ ∂ y F 1 - F 1 ∂ ∂ y f

Parece horrível, mas vamos organizar cada componente. Agregando o 1 º   e   3 º termo de cada componente e também o 2 º   e   4 º fica mais claro, saca só:

Para i → :

i → f ∂ ∂ y F 3 - f ∂ ∂ z F 2 + i → F 3 ∂ ∂ y f - F 2 ∂ ∂ z f

Para j → :

j → f ∂ ∂ z F 1 - f ∂ ∂ x F 3 + j → F 1 ∂ ∂ z f - F 3 ∂ ∂ x f

Para k → :

k → f ∂ ∂ x F 2 - f ∂ ∂ y F 1 + k → F 2 ∂ ∂ x f - F 1 ∂ ∂ y f

Passo 4

Note o seguinte, na primeira coluna, se colocarmos f em evidência

f i → ∂ ∂ y F 3 - ∂ ∂ z F 2 + j → ∂ ∂ z F 1 - ∂ ∂ x F 3 + k → ∂ ∂ x F 2 - ∂ ∂ y F 1

E compararmos com

∇ × F → = i → ∂ ∂ y F z - ∂ ∂ z F y + j → ∂ ∂ z F x - ∂ ∂ x F z + k → ∂ ∂ x F y - ∂ ∂ y F x

Vamos ver que ele representa o valor de

f ∇ × F →

Já a segunda coluna,

i → F 3 ∂ ∂ y f - F 2 ∂ ∂ z f + j → F 1 ∂ ∂ z f - F 3 ∂ ∂ x f + k → F 2 ∂ ∂ x f - F 1 ∂ ∂ y f

Se lembrarmos que o gradiente de uma função escalar f é

∇ f = ∂ f ∂ x i → + ∂ f ∂ y j → + ∂ f ∂ z k → ,

Não parece um produto vetorial que envolve F →   e ∇ f ? Desse jeito:

i → j → k → ∂ ∂ x f ∂ ∂ y f ∂ ∂ z f F x F y F z

Esse aqui é bem difícil de ver, não se preocupa 😅

Então podemos afirmar que

( ∇ f ) × F →

Assim juntando os dois resultados temos:

∇ × f F → = f ∇ × F → + ( ∇ f ) × F →

Que é a mesma coisa que

r o t   f F → = f   r o t   F → +   ( ∇ f ) × F →

Pronto, exatamente a propriedade que queríamos demonstrar 😃

Resposta

A resposta é a demonstração que foi feita ao longo dos passos.

Ver Outros Exercícios desse livro

Exercícios de Livros Relacionados

Calcule cada uma das seguintes integrais ao longo da curva
Nos Exercícios 13-16, encontre as integrais de linha ao longo do caminho C dado.
Independência do caminho Mostre que os valores das integrais nos Exercícios 25 e 26 não dependem do caminho tomado de A a B.
Independência do caminho Mostre que os valores das integrais nos Exercícios 25 e 26 não dependem do caminho tomado de A a B.
Nos Exercícios 7-12, encontre as integrais de linha de F entre (0, 0, 0) e (1, 1, 1) sobre cada um dos seguintes caminhos da figura a seguir.c. O caminho C3 U C4 que consiste no segmento de reta de (0