根据矢量恒等式，任何一个标量函数的梯度的必等于零，可以表示成某一标量函数的梯度的矢量场称为场，必然为有源场