Теорема Нётер: симметрии и законы сохранения

Теорема Нётер - один из самых глубоких структурных результатов теоретической физики. Она утверждает, что любая непрерывная симметрия действия системы порождает сохраняющуюся величину, и наоборот: каждый закон сохранения - следствие какой-то непрерывной симметрии. Сформулированная Эмми Нётер в 1918 году, эта теорема превратила разрозненные «интегралы движения» классической механики в проявления единого принципа и до сих пор задаёт язык, на котором говорят квантовая теория поля и стандартная модель.

Формулировка для классической теории поля

Пусть динамика системы задаётся действием $S = \int \mathcal{L}(\phi, \partial_\mu \phi)\, d^4 x$ для поля $\phi(x)$ или $S = \int L(q, \dot q, t)\, dt$ для механической системы. Рассмотрим бесконечно малое непрерывное преобразование $\phi \to \phi + \delta \phi$, при котором действие меняется не более чем на полную производную: $\delta \mathcal{L} = \partial_\mu K^\mu$. Тогда существует ток

$j^\mu = \frac{\partial \mathcal{L}}{\partial(\partial_\mu \phi)} \delta \phi - K^\mu,$

который на решениях уравнений Эйлера–Лагранжа удовлетворяет уравнению сохранения

$\partial_\mu j^\mu = 0.$

Интеграл $Q = \int j^0\, d^3 x$ по пространству - сохраняющийся заряд: $dQ/dt = 0$, если ток на пространственной бесконечности достаточно быстро убывает. В механике аналог тока - сохраняющаяся функция $I(q, \dot q, t)$, для которой $dI/dt = 0$.

Набросок доказательства

Доказательство сводится к аккуратной вариации действия. При бесконечно малом сдвиге поля плотность лагранжиана меняется как

$\delta \mathcal{L} = \frac{\partial \mathcal{L}}{\partial \phi}\, \delta\phi + \frac{\partial \mathcal{L}}{\partial(\partial_\mu \phi)}\, \partial_\mu \delta\phi.$

Используем уравнения движения $\partial_\mu \big[\partial \mathcal{L}/\partial(\partial_\mu \phi)\big] = \partial \mathcal{L}/\partial \phi$ и тождество Лейбница:

$\delta \mathcal{L} = \partial_\mu \left( \frac{\partial \mathcal{L}}{\partial(\partial_\mu \phi)}\, \delta\phi \right).$

Если, кроме того, симметрия превращает лагранжиан в полную производную $\delta \mathcal{L} = \partial_\mu K^\mu$, то приравнивая два выражения для $\delta\mathcal{L}$, получаем $\partial_\mu j^\mu = 0$ с указанным выше током. Существенно: уравнения движения использовались только для $\phi$ - параметр преобразования $\varepsilon$ предполагался константой, не зависящей от точки пространства-времени. Это так называемая первая теорема Нётер.

Классические следствия в механике

В нерелятивистской механике десять параметров группы Галилея дают десять интегралов движения. Разбор каждого случая - упражнение на технику первой теоремы.

• Трансляция во времени $t \to t + \varepsilon$. Если $L$ явно не зависит от времени, сохраняется полная энергия $E = \dot q\, \partial L/\partial \dot q - L$. Это та самая функция Гамильтона.
• Пространственная трансляция $x^i \to x^i + \varepsilon^i$. Однородность пространства даёт сохранение импульса $p^i = \partial L/\partial \dot x^i$.
• Вращение $\delta x^i = \varepsilon^{ij} x^j$. Изотропия пространства приводит к сохранению момента импульса $L^i = \epsilon^{ijk} x^j p^k$.
• Галилеевы бусты. Сохраняется $\vec G = m\vec r - \vec p\, t$ - закон равномерного движения центра масс.

Так классические законы сохранения, известные со времён Эйлера и Лагранжа, оказываются простыми проявлениями симметрий действия - а не отдельными постулатами.

Внутренние симметрии и заряд

Помимо пространственно-временных преобразований существуют внутренние симметрии, не затрагивающие координаты. Простейшая - глобальная фазовая U(1) симметрия комплексного поля $\phi \to e^{i\alpha}\phi$. Бесконечно малая версия: $\delta\phi = i\alpha\phi$, $\delta\phi^* = -i\alpha\phi^*$. Для лагранжиана комплексного поля Клейна–Гордона $\mathcal{L} = \partial_\mu \phi^* \partial^\mu \phi - m^2 \phi^* \phi$ ток Нётер принимает вид

$j^\mu = i\big(\phi^* \partial^\mu \phi - \phi\, \partial^\mu \phi^*\big),$

а сохраняющийся заряд $Q = \int j^0\, d^3 x$ интерпретируется как электрический. В квантовой электродинамике этот же ток связан с U(1)-калибровкой и появляется в правой части уравнений Максвелла $\partial_\mu F^{\mu\nu} = j^\nu$.

Вторая теорема Нётер и калибровочные симметрии

Эмми Нётер в той же статье 1918 года доказала и вторую теорему - для случая, когда параметр преобразования $\varepsilon(x)$ является функцией координат, то есть симметрия локальна (калибровочная). Содержание второй теоремы радикально иное: для каждого локального параметра возникает не нетривиальный сохраняющийся ток, а тождество между уравнениями движения. Эти тождества - основа гамильтоновой структуры калибровочных теорий, формализма Дирака для систем со связями и принципа БРСТ. Современная общая теория относительности и стандартная модель целиком стоят на второй теореме: дифференциальные тождества Бьянки в ОТО и тождества Уорда–Такахаси в квантовой электродинамике - её прямые следствия.

Исторический контекст: Гёттинген, 1915–1918

Эмми Нётер приехала в Гёттинген по приглашению Феликса Клейна и Давида Гильберта в 1915 году. Поводом стала проблема, остро возникшая при построении общей теории относительности: как в теории, инвариантной относительно произвольных преобразований координат, формулируется закон сохранения энергии? Гильберт, выводивший уравнения поля из вариационного принципа, не мог получить «обычный» сохраняющийся ток энергии-импульса и сформулировал вопрос как теоретическую загадку. Нётер ответила на него двумя теоремами 1918 года («Invariante Variationsprobleme», Göttinger Nachrichten). Первая объяснила, что глобальные симметрии дают сохранения; вторая - что локальные дают тождества. В ОТО энергия-импульс гравитационного поля не образует тензор именно из-за второй теоремы: координатная симметрия локальна.

Значение для квантовой теории поля

В квантовой теории поля токи Нётер становятся операторами, а сохраняющиеся заряды - генераторами симметрий в гильбертовом пространстве: $[\hat Q, \hat\phi] = -i \delta\hat\phi$. Это даёт мощный инструмент:

• Тождества Уорда–Такахаси связывают функции Грина при наличии калибровочной симметрии и обеспечивают перенормируемость КЭД и стандартной модели.
• Сохраняющиеся токи стандартной модели - электромагнитный, слабые ($W^\pm$, $Z$), цветной, барионный и лептонный - все возникают из конкретных глобальных или калибровочных симметрий лагранжиана.
• Спонтанное нарушение симметрии (теорема Голдстоуна) разбирается на языке нётеровых токов: ток остаётся сохраняющимся, но заряд расходится, что и порождает безмассовый бозон.

Аномалии: когда классическая теорема ломается

Не все классические симметрии переживают квантование. Если регуляризация теории несовместима с симметрией, ток Нётер квантово приобретает дивергенцию - это аномалия. Самый известный пример - киральная (аксиальная) аномалия Адлера–Белла–Джакива: ток $j^\mu_5 = \bar\psi \gamma^\mu \gamma^5 \psi$ в безмассовой КЭД сохраняется классически, но квантово даёт

$\partial_\mu j^\mu_5 = \frac{e^2}{16\pi^2}\, \epsilon^{\mu\nu\rho\sigma} F_{\mu\nu} F_{\rho\sigma}.$

Без аномалии не было бы наблюдаемого распада $\pi^0 \to \gamma\gamma$. Сохранение барионного и лептонного чисел в стандартной модели - также неточные, классические симметрии, нарушаемые электрослабой инстантонной аномалией ('т Хоофт, 1976).

Типовые задачи на теорему Нётер

В курсе теоретической механики и теории поля встречаются устойчивые сюжеты, по которым удобно тренировать применение теоремы:

• вывести сохранение энергии из независимости лагранжиана от времени и записать его как $\dot E = -\partial L/\partial t$;
• по заданной симметрии $\delta q = f(q, t)$ найти соответствующий интеграл движения и проверить $dI/dt = 0$;
• вывести ток заряда для комплексного поля и связать его с уравнениями Максвелла;
• разобрать симметризацию тензора энергии-импульса по Белинфанте, превращающую канонический $T^{\mu\nu}$ в симметричный;
• показать, что в ОТО ток энергии-импульса описывается псевдотензором Ландау–Лифшица - следствие второй теоремы.

Частые ошибки

• Путают первую и вторую теоремы Нётер: глобальная симметрия даёт ток, локальная - тождество между уравнениями движения, а не «более сильный закон сохранения».
• Забывают про слагаемое $K^\mu$, возникающее, когда симметрия меняет лагранжиан на полную производную (типично для галилеевых бустов и сдвигов времени).
• Используют уравнения движения дважды: при выводе тока они применяются один раз; повторная подстановка даёт тривиальное тождество $0 = 0$.
• Игнорируют граничные условия. Для перехода от $\partial_\mu j^\mu = 0$ к сохранению заряда нужно, чтобы пространственный ток обращался в ноль на бесконечности.
• Считают, что наличие непрерывной симметрии гарантирует квантовое сохранение тока. На самом деле квантовые аномалии могут разрушить классическое сохранение.

FAQ

Чем теорема Нётер отличается от обычного утверждения «энергия сохраняется»? Теорема даёт общий рецепт: для любой непрерывной симметрии действия - соответствующий сохраняющийся ток. Сохранение энергии - лишь один частный случай, когда симметрия - сдвиг времени. То же касается импульса, момента импульса, заряда: все они получаются одной и той же процедурой.

Применима ли теорема Нётер к дискретным симметриям, например к чётности P? Нет, первая теорема требует непрерывного параметра. Для дискретных симметрий (P, C, T) тоже бывают законы сохранения (мультипликативные квантовые числа), но они не следуют из теоремы Нётер. В квантовой теории дискретные симметрии описываются отдельным аппаратом.

Что значит «закон сохранения с точностью до полной производной»? Лагранжиан не обязан быть инвариантным при симметрии - достаточно, чтобы он менялся на $\partial_\mu K^\mu$. Действие тогда меняется на интеграл от полной производной по границе и физика остаётся той же. В выражении для тока появляется поправка $-K^\mu$, без которой выкладка не сходится.

Коротко

Теорема Нётер 1918 года связывает непрерывные симметрии действия с сохраняющимися токами и величинами: трансляции - с энергией и импульсом, вращения - с моментом, фазовые преобразования - с зарядом. Первая теорема работает для глобальных симметрий и даёт явный ток через лагранжев формализм; вторая - для локальных (калибровочных) и порождает дифференциальные тождества вместо токов. Её следствия определяют структуру всей современной фундаментальной физики - от классической механики до стандартной модели и квантовых аномалий.