Рассмотрим как действие меняется при калибровочных преобразованиях.
\![S[A_{\mu}-\partial_{\mu}\alpha]-S[A_{\mu}]=\int d^4 x j_{\mu} \partial^{\mu}\alpha](5_teorphys/33/0.png)
т.к.
и, следовательно
не изменяются при калибровочных преобразованиях.
При этом:

Интеграл по границе ПВ
. . . равен нулю, как обычно, а потому для инвариантности действия относительно калибровочных преобразованиях необходимо, чтобы нулю равнялся интеграл
при любом
. Для этого необходимо, чтобы был верен
