Sejam , , e as funções definidas acima. Nosso primeiro objetivo é mostrar que é possível escrever , e que se escrito assim, de fato e . Em seguida, vamos mostrar que sob as condições e , é único para determinados e .
A primeira questão é se e são bem definidos, i.e., se as integrais de convergem. Temos, para :
Essa integral converge se, e somente se, cair a zero no infinito mais rápido que . Essa condição é garantida por . O mesmo argumento se aplica à integral de . Logo, e existem.
Uma vez que o rotacional de um gradiente é identicamente nulo[2], qualquer que seja a função sobre a qual o operador atua, e usando a identidade [2], temos:
Como é um operador diferencial em relação a e a integral é em relação a , o primeiro termo do lado direito da equação acima fica:
Para calcular o segundo termo vamos usar, adicionalmente, integração por partes de campos vetoriais e o fato de que uma derivada de em relação a difere de uma derivada em relação a por um fator :
Mas, como o divergente de um rotacional é identicamente nulo, . Ao mesmo tempo, se escolhermos uma superfície cujos pontos estão todos suficientemente longe da origem, i.e., se fizermos na integral de superfície da equação acima, teremos
Como as condições garantem que vai a zero mais rápido que , o integrando, que é constante ao longo da integração se escolhermos como superfície de integração uma esfera, vai a zero. Logo, a integral de superfície também vai a zero, o que dá
Até agora demonstramos que é possível escrever como o rotacional de um campo vetorial menos o gradiente de um campo escalar, como na expressão . Mas será que essa é a única forma de escrever ? Em outras palavras, uma vez determinados o rotacional e o divergente de um campo vetorial , ele está unicamente fixado por ? A princípio, poderíamos adicionar à um função cujo rotacional e divergente fossem identicamente nulos. Nada mudaria no que foi argumentado até agora, mas certamente não seria único. Haveria tantas expressões diferentes para quanto campos com rotacional e divergente nulo existissem. De fato, existem campos com rotacional e divergente nulo, mas nenhum deles consegue satisfazer a condição :
.
Ou seja, nenhum campo irrotacional e sem divergência vai a zero no infinito mais rápido que [4].
Uma estratégia para mostrar formalmente a unicidade de é supor que exista uma outra função , com o mesmo divergente e rotacional de , e mostrar que
Temos, então: e Logo,
.
Da mesma maneira,
Pela última equação podemos definir e, substituindo na penúltima,
A primeira integral é nula, pois A integral de área, lado direito da equação, é nula pelas condições . Logo, resta:
.
Como a igualdade vale qualquer que seja o volume escolhido, e o produto nunca é negativo, concluímos que Desse modo, como queríamos demonstrar:
E fica provado que, uma vez determinado o rotacional e o divergente de um campo vetorial , e sob as condições e , este existe e é dado pela expressão de forma única.[5]
Se em todo o espaço, e sabendo que o rotacional do gradiente é identicamente nulo, temos:
Logo, o campo vetorial em questão pode ser escrito apenas como o gradiente de um campo escalar:
Chamamos a função escalar de potencial escalar.
Pelo teorema de Stokes, Logo, uma integral de linha de um campo irrotacional num circuito fechado é identicamente nula. Isso implica qualquer integral de linha que comece e termine no mesmo ponto ser independente do caminho, pois se uma integral começa em e termina em , e uma outra integral começa em e termina em , a soma das duas dá uma integral de linha num caminho fechado, que é identicamente nula. Logo:
Ou seja, a integral de linha é independente do caminho.
Se em todo o espaço, e sabendo que o divergente do rotacional é identicamente nulo, temos:
Logo, o campo vetorial em questão pode ser escrito apenas como o rotacional de um campo vetorial: .
Chamamos a função vetorial de potencial vetor.
Pelo teorema da divergência, Logo, no fluxo de um campo sem divergência numa superfície fechada é identicamente nulo.
Podemos mostrar, também, que qualquer integral de superfície, cuja superfície de integração esteja apoiada num mesmo contorno C, tem o mesmo valor. Ou seja, uma integral de superfície de um campo sem divergência não depende da superfície, para um dado contorno de apoio.
A informação de que um campo vetorial está unicamente fixado pelo seu divergente e rotacional é de fundamental importância para a teoria eletromagnética. Toda a informação física relevante dos fenômenos eletromagnéticos é tirada de quatro equações diferenciais, as Equações de Maxwell, que envolvem precisamente o divergente e o rotacional dos campos vetoriais elétrico e magnético. São elas: