Enunciado

Use a primeira identidade de Green (exercício 33 ) para demonstrar a segunda identidade de Green:

∬ D ( f ∇ 2 g - g ∇ 2 f ) d A = ∮ C f ∇ g - g ∇ f ⋅ n → d S

onde D e C satisfazem as hipóteses do Teorema de Green e as derivadas parciais apropriadas de f e g existem e são contínuas.

Passo 1

Faaala, galera, tudo belê? 😊

A questão quer que a gente use a primeira identidade do Teorema de Green do exercício anterior para desenvolver a segunda identidade desse cara aí:

∬ D ( f ∇ 2 g - g ∇ 2 f ) d A = ∮ C f ∇ g - g ∇ f ⋅ n → d S

O enunciado nos lembra que as derivadas parciais de f e g existem e são contínuas, já que o Teorema de Green utiliza dessas derivadas, além de que D e C , regiões dessas integrais de linhas, satisfazem as hipóteses desse teorema.

Passo 2

Para primeira identidade de Green temos:

∬ D f ∇ 2 g d A = ∮ C f ∇ g ⋅ n → d S - ∬ D ( ∇ g ⋅ ∇ f ) d A

Onde consideramos o campo vetorial

F → = f ∇ g

Agora vamos considerar um outro campo vetorial do tipo

G → = g ∇ f

Aplicando na primeira identidade temos:

∬ D g ∇ 2 f d A = ∮ C g ∇ f ⋅ n → d S - ∬ D ( ∇ f ⋅ ∇ g ) d A

Passo 3

Legal!

O próximo passo é fazer a subtração das duas equações dos passos 1 e 2 :

∬ D f ∇ 2 g d A - ∬ D g ∇ 2 f d A

∮ C f ∇ g ⋅ n → d S - ∮ C g ∇ f ⋅ n → d S - ∬ D ( ∇ g ⋅ ∇ f ) d A + ∬ D ( ∇ f ⋅ ∇ g ) d A

Mas sabemos que, no produto escalar entre dois vetores, a ordem não é importante, sendo assim o 3 º e 4 º termos do lado direito se cancelam!

Saca só:

∇ g ⋅ ∇ f = ∇ f ⋅ ∇ g

Então, olha só como fica:

∬ D f ∇ 2 g d A -   ∬ D g ∇ 2 f d A = ∮ C f ∇ g ⋅ n → d S - ∮ C g ∇ f ⋅ n → d S

E como podemos considerar as mesmas regiões D e C , podemos unir os integrandos:

∬ D [ f ∇ 2 g - g ∇ 2 f ] d A = ∮ C f ∇ g - g ∇ f ⋅ n → d S

Pronto, exatamente a propriedade que queríamos demonstrar =D

Resposta

∬ D [ f ∇ 2 g - g ∇ 2 f ] d A = ∮ C f ∇ g - g ∇ f ⋅ n → d S

Ver Outros Exercícios desse livro

Exercícios de Livros Relacionados

Prove que o conjunto dado é simplesmente conexo.a) Ω = ℝ2 - {(x, 0) ∈ ℝ2 | x ≥ 0}b) Ω = ℝ3 - {(0, 0, z) ∈ ℝ3 | z ≥ 0}(Sugestão: Verifique que o conjunto dado é estrelado.)
6. Mostre que as integrais ∮ C F 1 x , y d x + F 2 x , y d y São nulas, quais quer que sejam os contornos fechados C contidos no domínio F 1,F 2 , onde F 1 x , y = sen ⁡ x + 4 x y F 2 x , y = 2 x 2 -
5. Encontre todos os possíveis valores de ∫ c x + y d x + y - x d y x 2 + y 2 Onde C é uma curva fechada qualquer que não passa pela origem
6. Mostre que as integrais ∮ C F 1 x , y d x + F 2 x , y d y São nulas, quais quer que sejam os contornos fechados C contidos no domínio F 1,F 2 , onde b. F 1 x , y = y x 2 + y 2 F 2 x , y = - x x 2 +
7. Sejam F 1 e F 2 funções com derivadas parciais continuas no plano xy tais que ∂ F 2 ∂ x = ∂ F 1 ∂ y Em R² exceto nos pontos 4,0 ,0,0,- 4,0 . Indique por C 1 ,C 2 ,C 3 ,C 4 as circunferenciais de eq