Enunciado

Verifique que o Teorema do Divergente é verdadeiro para o campo vetorial F → na região E .

F → x , y , z = x y i → + y z j → + z x k → , E   é cilindro sólido x 2 + y 2 ≤ 1 , 0 ≤   z ≤ 1 .

Passo 1

Oi galera, tudo bem? Pelo Teorema da Divergência temos:

∬ S F → ⋅ d S → = ∭ E ∇ ⋅ F → d V

Sendo assim, vamos testar dos dois lados.

Passo 2

Começando pelo lado direito.

Vamos calcular o divergente do campo F → :

∇ ⋅ F → = ∂ ∂ x F x + ∂ ∂ y F y + ∂ ∂ z ( F z )

∇ ⋅ F → = ∂ ∂ x x y + ∂ ∂ y z y + ∂ ∂ z z x = x + y + z

Passo 3

Legal! O próximo passo é saber qual é a região E . É um cilindro sólido, então em coordenadas cilíndricas temos x = r c o s θ ,   y = r s e n θ ,   z = z .

No plano x y , temos um círculo de raio 1 , então temos o intervalo

0 ≤ r ≤ 1 0 ≤ θ ≤ 2 π 0 ≤ z ≤ 1

E o elemento de volume é d V = r d z d r d θ

E o divergente em coordenadas cilíndricas é: 3 r c o s θ + 1

Agora podemos calcular o valor de ∭ E ∇ ⋅ F → d V :

∭ E ∇ ⋅ F → d V = ∫ 0 2 π ∫ 0 1 ∫ 0 1 ( r s e n θ + r c o s θ + z ) r d z d r d θ =   ∫ 0 2 π ∫ 0 1 r 2 s e n θ z + r 2 c o s θ z + r z 2 2 0 1 d r d θ = ∫ 0 2 π ∫ 0 1 r 2 s e n θ + r 2 c o s θ + r 2   d r d θ = ∫ 0 2 π r 3 s e n θ 3 + r 3 3 c o s θ + r 2 2.2 0 1 d θ

Simplificando temos:

∭ E ∇ ⋅ F → d V = ∫ 0 2 π 1 3 s e n θ + 1 3 c o s θ + 1 4 d θ

Lembrando que integrar seno ou cosseno em um período completo é zero, então só sobrou o último termo:

∭ E ∇ ⋅ F → d V = ∫ 0 2 π 1 4 d θ = 1 4 . 2 π = π 2

Certo! Agora temos que calcular para o outro lado!

Passo 4

Agora vamos calcular o lado esquerdo. Temos que considerar três superfícies: o topo e a base do cilindro e a área lateral.

No topo:

O campo é F = x y ,   y ,   x e o vetor normal é n → = k → = ( 0,0 , 1 )

O produto escalar entre F → e n → é:

F → ⋅ n → = x y ,   y ,   x ⋅ 0,0 , 1 = x

A região projetada no plano x y é um círculo de raio 1 . Em coordenadas polares x = r c o s θ ,   y = r s e n θ . O elemento de área vai ser d A = r d r d θ com os limites:

0 ≤ r ≤ 1 0 ≤ θ ≤ 2 π

E fazendo a integral ∬ S F → ⋅ d S → :

∬ S F → ⋅ d S → = ∫ 0 2 π ∫ 0 1 ( r 2 c o s θ ) d r d θ = ∫ 0 2 π r 3 3 c o s θ 0 1 d θ = 1 3 ∫ 0 2 π c o s θ d θ = 0

No fundo:

O campo é F = x y ,   y ,   x e o vetor normal é n → = k → = ( 0,0 , - 1 ) . Em z = 0 temos: F → = ( x y , 0,0 )

O produto escalar entre F → e n → é:

F → ⋅ n → = x y ,   0,0 ⋅ 0,0 , - 1 = 0

Então para a base:

∬ S F → ⋅ d S → = 0

Agora para a lateral.

A curva pode ser parametrizada por:

r → θ , z = c o s θ i → + s e n θ j → + z k →

E o vetor normal a essa superfície vai ser n → = r θ × r z

Daí temos:

r z = ( 0 ,   0 ,   1 )

r θ = ( - s e n θ ,   c o s θ ,   0 )

E o produto vetorial entre eles é:

r θ × r z = i → j → k → - s e n θ c o s θ 1 0 0 1 = i → c o s θ + j → s e n θ + k → ( 0 )

Então o vetor normal é: n → = ( c o s θ , s e n θ ,   0 )

E o campo na nova parametrização: F → = ( c o s θ s e n θ ,   s e n θ z ,   c o s θ z )

E o produto escalar entre F → e n → : F → ⋅ n → = c o s θ s e n 2 θ z + s e n 2 θ z

Na região:

0 ≤ z ≤ 1 0 ≤ θ ≤ 2 π

E o elemento de área vai ser: d A = d z d θ

Passo 5

Agora vamos jogar tudo isso na integral!

∬ S F → ⋅ d S → = ∫ 0 2 π ∫ 0 1 c o s θ s e n 2 θ z + s e n 2 θ z d z d θ = ∫ 0 2 π s e n θ cos 2 ⁡ θ d θ + ∫ 0 2 π s e n 2 θ 2 d θ = - 1 3 cos 3 ⁡ θ 0 2 π + θ 4 0 2 π - 1 8 s e n 2 θ 0 2 π = 2 π 4 = π 2

Agora comparando os resultados dos passos 3   e   5   vemos que deu o mesmo resultado!

Então verificamos o teorema =D

∬ S F → ⋅ d S → = ∭ E ∇ ⋅ F → d V = π 2

Resposta

∬ S F → ⋅ d S → = ∭ E ∇ ⋅ F → d V = π 2

Ver Outros Exercícios desse livro

Exercícios de Livros Relacionados

Demonstre cada identidade, supondo que S e E satisfaçam as condições do Teorema do Divergente e que as funções escalares e as componentes dos campos vetoriais tenham derivadas parciais de segunda orde
Suponha que S e E satisfaçam as condições do Teorema do Divergente e que f seja uma função escalar com derivadas parciais contínuas. Demonstre que ∬ S f nd S = ∭ E ∇ fd V Estas integrais de superfície
Demonstre cada identidade, supondo que S e E satisfaçam as condições do Teorema do Divergente e que as funções escalares e as componentes dos campos vetoriais tenham derivadas parciais de segunda orde
Demonstre cada identidade, supondo que S e E satisfaçam as condições do Teorema do Divergente e que as funções escalares e as componentes dos campos vetoriais tenham derivadas parciais de segunda orde
Demonstre cada identidade, supondo que S e E satisfaçam as condições do Teorema do Divergente e que as funções escalares e as componentes dos campos vetoriais tenham derivadas parciais de segunda orde