Demonstre as seguintes identidades do cálculo vetorial:
Passo 1
O enunciado pede que mostremos a identidade
ou seja, que o rotacional (curl) do gradiente de uma função escalar
é o vetor nulo.
Informações dadas (implícitas no enunciado): a função é suficientemente suave (especificamente, tem derivadas parciais de segunda ordem contínuas) em uma região onde vamos trabalhar.
Informações dadas (implícitas no enunciado): a função
Passo 2
Definamos cuidadosamente os operadores envolvidos e o que significam as notações que usaremos.
Definição do gradiente: para uma função escalar
,
Aqui cada componente é a derivada parcial de
em relação à variável indicada; por exemplo
significa “derivar
mantendo
e
fixos”.
Definição do rotacional (curl): para um campo vetorial
,
Essa expressão é a forma componente a componente do rotacional: cada componente do vetor resultante é a diferença de duas derivadas parciais de componentes apropriadas de
.
Passo 3
Aplicando as definições: tomemos
. Então as componentes de
são
Substituímos essas expressões na fórmula do rotacional do passo anterior.
Passo 4
Calculemos cada componente de
explicitamente.
Componente
:
Componente
:
Componente
:
Passo 5
Agora precisamos usar um resultado sobre derivadas parciais de segunda ordem: se
tem derivadas parciais de segunda ordem contínuas numa vizinhança (ou seja,
nessa região), então as derivadas mistas são iguais; isto é, para qualquer par de variáveis
valem
Esse resultado é conhecido como teorema de Clairaut (ou igualdade das derivadas mistas sob hipóteses de continuidade das segundas derivadas).
Aplicando isso às expressões das componentes do passo anterior, cada diferença de derivadas mistas é zero. Logo
Passo 6
Concluímos que todas as componentes de
são nulas, portanto o rotacional do gradiente é o vetor nulo:
Interpretação rápida (para te motivar na prova): isso diz que campos que são gradientes são “irrotacionais” — não têm rotação local. Mas atenção: a condição
é importante; sem continuidade das segundas derivadas a igualdade das mistas pode falhar.