Enunciado
Cálculo - Cálculo Volume 2 - 8ª Edição - James Stewart- Ed: 8º - Capítulo 16.5 - Ex. 29
Demonstre a identidade, admitindo que as derivadas parciais apropriadas existem e são contínuas. Se for um campo escalar e e forem campos vetoriais, então , e serão definidos como:
Passo 1
E aaaaai galera, tudo bem?
Nessa questão devemos demonstrar a seguinte identidade:
Admitindo que as derivadas parciais apropriadas existem e são contínuas, e é um campo escalar e e forem campos vetoriais.
E sabendo que:
Pra mostrar essas identidades, vamos supor que o campo vetorial e são dessa forma:
Lembrar o que o divergente, o rotacional e o laplaciano de um vetor fazem.
O operador nabla (que é um vetor de derivadas em ), quando está com produto escalar com um vetor , temos o divergente:
Quando está com produto vetorial com um vetor , vamos ter o rotacional:
Já o laplaciano de um vetor retorna um vetor, desse jeito:
E por fim, o gradiente de uma função escalar retorna um vetor:
Uma dica: Estude bem esses conceitos procurando entender, pois eles são muito uteis em cálculo. Como o Teorema do divergente, Teorema de Stokes...
Com esses conceitos você consegue resolver essa! Bora lá!
Passo 2
Vamos avaliar a identidade:
O primeiro passo é calcular o rotacional de .
Conforme definimos no passo anterior temos:
E agora aplicar novamente o rotacional:
Passo 3
Agora vamos usar um truque!
Vamos somar e subtrair (portanto não muda nada na equação total) os seguintes termos dentro dos colchetes do lado direito:
- No primeiro colchete:
- No segundo colchete:
- No terceiro colchete:
Aqui já vou adiantar uma propriedade das derivadas parciais mistas: elas independem da ordem de derivação, ou seja:
E reorganizar os termos de cada componente (agrupando os termos positivos e negativos):
Comparando com os termos do laplaciano no passo , identificamos que os três últimos termos de cada colchete é .
E aplicando a propriedade das derivadas mistas, saca só como vou reescrever os três primeiros termos de cada componente:
Passo 4
Veja só o que encontramos.
Dentro dos parênteses de cada colchete podemos ver as componentes do divergente , mas juntando isso com as derivadas parciais do lado de fora, identificamos o gradiente desse divergente!
E como já tínhamos menos o laplaciano de , podemos juntar todos esses resultados em um só:
Pronto, exatamente a propriedade que queríamos demonstrar.