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) dx + F_2(x, y) dy São nulas, quais quer que sejam os contornos fechados C contidos no domínio F1, F2 , onde F1(x, y) = sen(x) + 4xy F_2(x, y) = 2 * x^2 - cos(y
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₁(x, y) d x + F₂(x, y) d y São nulas, quais quer que sejam os contornos fechados C contidos no domínio F1, F2 , onde b.F1(x, y) = y / (x^2 + y^2) F2(x, y) = -x / (x^2 +
7. Sejam F₁ e F2 funções com derivadas parciais continuas no plano xy tais que ∂F₂ / ∂x = ∂F₁ / ∂y Em R² exceto nos pontos (4,0), (0,0), (-4,0) . Indique por C1, C2, C3, C4 as circunferenciais de equa