Definition
Vector potential for a divergence-free field
A field A whose curl equals the given three-dimensional vector field.
A vector potential for a field is a field whose curl satisfies
If is , then is divergence-free. Adding a gradient to leaves its curl unchanged, so potentials are generally nonunique.
A local construction
On a region star-shaped about zero, a smooth divergence-free field has the potential
Indeed, when ; integration gives . This local formula does not assert that an arbitrary domain admits a global potential with prescribed boundary conditions or compact support.
Localization
If a smooth scalar cutoff equals one in a region, then there and stays divergence-free everywhere. The transition region contains the correction .