Campo irrotazionale
# Campo irrotazionale

In analisi matematica e nel calcolo vettoriale un campo vettoriale ${\vec {V}}:\mathbb {R} ^{3}\rightarrow \mathbb {R} ^{3}$ si dice campo irrotazionale se il suo rotore è nullo:

    $\nabla \times {\vec {V}}={\vec {0}}\,.$

Ricordando che il rotore può essere espresso come:

    $\nabla \times {\vec {V}}={\mbox{det }}\left({\begin{matrix}{\hat {i}}&{\hat {j}}&{\hat {k}}\\{\frac {\partial }{\partial x}}&{\frac {\partial }{\partial y}}&{\frac {\partial }{\partial z}}\\V_{1}&V_{2}&V_{3}\end{matrix}}\right)$

dove il determinante è formale (cioè sviluppabile con il teorema di Laplace) solo secondo la prima riga, la prima equazione può essere sviluppata come:

    $\nabla \times {\vec {V}}=\left({\frac {\partial V_{3}}{\partial y}}-{\frac {\partial V_{2}}{\partial z}},\quad {\frac {\partial V_{1}}{\partial z}}-{\frac {\partial V_{3}}{\partial x}},\quad {\frac {\partial V_{2}}{\partial x}}-{\frac {\partial V_{1}}{\partial y}}\right).$

Il rotore di un campo vettoriale nel piano è dato da

    $\nabla \times {\vec {V}}=\left(0,\quad 0,\quad {\frac {\partial V_{2}}{\partial x}}-{\frac {\partial V_{1}}{\partial y}}\right),$

pertanto il campo è irrotazionale se

    ${\frac {\partial V_{2}}{\partial x}}={\frac {\partial V_{1}}{\partial y}}.$

Un campo vettoriale che ha la proprietà di essere irrotazionale non è necessariamente conservativo. Infatti la condizione di irrotazionalità è una condizione necessaria ma non sufficiente per la conservatività: bisogna tenere conto anche dell'insieme ove il campo è definito tramite il lemma di Poincaré. Tuttavia un campo irrotazionale definito in un aperto di $\mathbb {R} ^{2}$ o di $\mathbb {R} ^{3}$ localmente è sempre conservativo perché si può sempre scegliere un intorno abbastanza piccolo da far parte dell'insieme in cui il campo sia conservativo. Questo è vero perché la irrotazionalità, come la conservatività, sono proprietà differenziali e quindi si tratta di vedere per quale approssimazione vale la differenziazione del campo.

## Jacobiana

Un'altra condizione di irrotazionalità è data dalla costruzione della jacobiana del campo vettoriale:

    ${\bar {J}}\cdot {\bar {V}}(x,y,z)=\left({\begin{matrix}{\frac {\partial V_{1}}{\partial x}}&{\frac {\partial V_{1}}{\partial y}}&{\frac {\partial V_{1}}{\partial z}}\\{\frac {\partial V_{2}}{\partial x}}&{\frac {\partial V_{2}}{\partial y}}&{\frac {\partial V_{2}}{\partial z}}\\{\frac {\partial V_{3}}{\partial x}}&{\frac {\partial V_{3}}{\partial y}}&{\frac {\partial V_{3}}{\partial z}}\end{matrix}}\right)$

allora la condizione espressa tramite l'irrotazionalità del campo o la definizione qui data di rotore, significa che la jacobiana del campo vettoriale deve essere simmetrica.

