Un
campo solenoidal (también llamado campo
incompresible o de
divergencia nula) en un dominio es un
campo vectorial v cuya divergencia es cero en todos los puntos de :
Esta condición se satisface siempre y cuando
v esté derivado de un
potencial vectorial,
A, esto es:
En efecto, si
v viene dado de la forma anterior entonces se cumple automáticamente que:
La afirmación
contrarrecíproca también es cierta pues, gracias a un teorema de
Poincaré, si
v es solenoidal en algún punto entonces localmente el campo es expresable como el
rotacional de un campo vectorial.