The variable transformation of the potentials is called a gauge transformation. To obtain a unique solution, choose the gauge — that is, put constraints on
Ψ that make the solution unique. Another way of expressing this additional condition is to put a constraint on
∇ · A. A vector field is uniquely defined up to a constant if both
∇ · A and
∇ × A are given. This is called
Helmholtz’s theorem.