Теорема Нётер

Из Википедии, бесплатной энциклопедии

Первая страница статьи Эмми Нётер «Invariante Variationsprobleme» (1918 г.), где она доказала теорему, названную её именем.

Теоре́ма Нётер или первая теорема Нётер утверждает, что каждой дифференцируемой симметрии действия для физической системы с консервативными силами соответствует закон сохранения[1]. Теорема была доказана математиком Эмми Нётер в 1915 году и опубликована в 1918 году[2]. Действие для физической системы представляет собой интеграл по времени функции Лагранжа, из которого можно определить поведение системы согласно принципу наименьшего действия. Эта теорема применима только к непрерывным и гладким симметриям над физическим пространством.

Теорема Нётер используется в теоретической физике и вариационном исчислении. Она раскрывает фундаментальную связь между симметриями физической системы и законами сохранения, что заставило современных физиков-теоретиков гораздо больше сосредоточиться на симметриях физических систем. Обобщение формулировок о константах движения в лагранжевой и гамильтоновой механике (разработанных в 1788 и 1833 годах соответственно) не применимо к системам, которые нельзя смоделировать с помощью одного лагранжиана (например, к системам с диссипативной функцией Рэлея). В частности, диссипативные системы с непрерывными симметриями могут не обладать соответствующим законом сохранения.

Общие сведения[править | править код]

Симметрия в физике
Преобразование Соответствующая
инвариантность
Соответствующий
закон
сохранения
Трансляции времени Однородность
времени
…энергии
C, P, CP и T-симметрии Изотропность
времени
…чётности
Трансляции пространства Однородность
пространства
…импульса
Вращения пространства Изотропность
пространства
…момента
импульса
Группа Лоренца (бусты) Относительность
лоренц-ковариантность
…движения
центра масс
~ Калибровочное
преобразование
Калибровочная
инвариантность
…заряда

В качестве иллюстрации, если физическая система ведёт себя одинаково независимо от того, как она ориентирована в пространстве (то есть она инвариантна), её лагранжиан симметричен относительно непрерывного вращения: из этой симметрии по теореме Нётер следует, что угловой момент системы сохраняется, как следствие его законов движения[3]. Сама физическая система не обязательно должна быть симметричной; зубчатый астероид, кувыркающийся в космосе, сохраняет момент импульса, несмотря на свою асимметрию. Именно законы его движения симметричны.

В качестве другого примера, если физический процесс приводит к одним и тем же результатам независимо от места или времени, то его лагранжиан симметричен относительно непрерывных перемещений в пространстве и времени соответственно: по теореме Нётер эти симметрии объясняют законы сохранения импульса и энергии в пределах этой системы соответственно[4][5]. 

Теорема Нётер важна потому, что она даёт представление о законах сохранения и как практический вычислительный инструмент. Она позволяет определять сохраняющиеся величины (инварианты) из наблюдаемых симметрий физической системы. И наоборот, она позволяет рассматривать целые классы гипотетических лагранжианов с заданными инвариантами для описания физической системы[3]. Например, если в предлагаемой физической теории сохраняется величина X, то можно вычислить типы лагранжианов, в которых сохраняется X в согласии с какой-то непрерывной симметрии. Благодаря теореме Нётер свойства этих лагранжианов дают дополнительные критерии для понимания следствий, что позволяет оценить пригодность новой теории. Теорема Нётер настолько сильно включена в структуру квантовой теории поля, что:

«… любые результаты, которые, кажется, нарушают эту теорему, могут быть немедленно объявлены как скрытую ошибку вычислений»[6] что позволяет ей выступать в качестве математической модели для многих современных исследований в области физики.

Существует множество версий теоремы Нётер с разной степенью общности. Аналоги этой теоремы, естественно распространяются на квантовый случай, где называются тождествами Уорда — Такахаши. Существуют также обобщения теоремы Нётер на суперпространства[7].

Теорема Нётер утверждает, что каждой непрерывной симметрии физической системы соответствует некоторый закон сохранения:

Теорема обычно формулируется для систем, обладающих функционалом действия, и выражает собой инвариантность лагранжиана по отношению к некоторой непрерывной группе преобразований.

Если действие инвариантно относительно n-параметрической непрерывной группы преобразований, то существует n независимых законов сохранения.

Теорема Нётер формулирует достаточное условие существования законов сохранения. Однако это условие не является необходимым, поэтому могут существовать законы сохранения, не следующие из неё (такие примеры известны)[8]. Известна теорема, формулирующая необходимые и достаточные условия существования законов сохранения[9].

Неформальная формулировка теоремы[править | править код]

Помимо всех технических моментов, теорему Нётер можно сформулировать простым языком:

Если система обладает непрерывной симметрией, то существуют соответствующие величины, значения которых сохраняются во времени.[10]

Более сложная версия теоремы с привлечением полей утверждает, что:

Каждой дифференцируемой симметрии, порожденной локальными действиями, соответствует сохраняющийся ток.

Слово «симметрия» в приведённом выше утверждении относится более точно к ковариантности формы, которую физический закон принимает по отношению к одномерной группе Ли преобразований, удовлетворяющих определёнными техническими критериями. Закон сохранения физической величины обычно выражается в виде уравнения непрерывности.

Формальное доказательство теоремы использует условие инвариантности для получения выражения для тока, связанного с сохраняющейся физической величиной. В современной (начиная с 1980 года[11]) терминологии сохраняющаяся величина называется нётеровским зарядом, а поток, несущий этот заряд, называется нётеровским током. Ток Нётер определяется с точностью до соленоидального (бездивергентного) векторного поля.

В контексте теории гравитации формулировка теоремы Нётер Феликсом Клейном для действия I предусматривает инварианты[12]:

Если интеграл I инвариантен относительно непрерывной группы Gρ с ρ параметрами, то ρ линейно независимых комбинаций лагранжевых выражений обращаются в дивергенции.

Краткая иллюстрация и обзор концепции[править | править код]

График, иллюстрирующий теорему Нётер о координатной симметрии.

Основную идею теоремы Нётер проще всего проиллюстрировать на примере системы с одной координатой и непрерывной симметрией (серые стрелки на схеме). Рассмотрим любую траекторию (выделено жирным шрифтом на диаграмме), которая удовлетворяет законам движения системы. То есть действие этой системой стационарно на этой траектории, то есть не изменяется ни при каком локальном изменении траектории. В частности, оно не изменится при варианте, в котором применяется поток симметрии на временном промежутке [t0, t1] и неподвижен вне его. Чтобы траектория оставалась непрерывной, мы используем «буферные» промежутки с малым временем плавный переход между сегментами.

Полное изменение действия теперь включает изменения, внесённые каждым рассмотренным интервалом. Части, где исчезает сама вариация, не вносят вклад в изменение . Средняя часть также не меняет действия, потому что её трансформация является симметрией и, таким образом, сохраняет лагранжиан и действие . Единственные оставшиеся части — это «буферные» части. Грубо говоря, они вносят свой вклад в основном за счёт своей «косой» .

Это меняет лагранжиан на , который интегрируется

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

Более общие случаи следуют той же идее:

  • Когда больше координат претерпевает преобразование симметрии , их эффекты складываются по линейности в сохраняющуюся величину .
  • Когда есть преобразования времени , они заставляют «буферизирующие» сегменты вносить два следующих члена в :

    первый член обусловлен растяжением во временном измерении «буферного» отрезка (что меняет размер области интегрирования), а второй — его «накосом», как и в образцовом случае. Вместе они добавляют слагаемое к сохраненному количеству.
  • Наконец, когда вместо траектории рассматриваются целые поля , аргумент заменяется
    • интервал с ограниченной областью области ,
    • конечные точки и с границей области,
    • и его вклад в интерпретируется как поток сохраняющегося тока , построенный способом, аналогичным предыдущему определению сохраняемое количество.
    Теперь нулевой вклад «буферизации» в интерпретируется как обращение в нуль общего потока текущего через . В этом смысле оно сохраняется: сколько «втекает», столько же и «вытекает».

Исторический контекст[править | править код]

Закон сохранения гласит, что некоторая величина X в математическом описании эволюции системы остаётся постоянной на протяжении всего её движения — это инвариант. Математически скорость изменения X (её производная по времени) равна нулю,

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

Самыми ранними открытыми константами движения были импульс и кинетическая энергия, которые были предложены в XVII веке Рене Декартом и Готфридом Лейбницем на основе экспериментов по столкновению твёрдых тел и уточнены последующими исследователями. Исаак Ньютон был первым, кто сформулировал закон сохранения импульса в его современной форме и показал, что он следует из третьего закона Ньютона. Согласно общей теории относительности, законы сохранения импульса, энергии и углового момента верны только в глобальном масштабе, если они выражены в терминах суммы тензора энергии-импульса и псевдотензора энергии-импульса Ландау — Лифшица. Локальное сохранение негравитационного линейного импульса и энергии в свободнопадающей системе отсчёта выражается обращением в нуль ковариантной дивергенции тензора энергии-импульса. Другой важной сохраняющейся величиной, открытой при исследованиях небесной механики, является вектор Лапласа — Рунге — Ленца.

В конце XVIII — начале XIX веков физики разработали более систематические методы открытия инвариантов. Большой прогресс произошёл в 1788 году с развитием лагранжевой механики, связанной с принципом наименьшего действия. При этом подходе состояние системы можно описать любым набором обобщённых координат q; законы движения не обязательно выражать в декартовой системе координат, как это было принято в ньютоновской механике. Действие определяется как интеграл по времени I функции, известной как лагранжиан L

где точка над q означает скорость изменения координат q,

Принцип Гамильтона утверждает, что физическая траектория q(t) — фактически выбранная системой — это путь, для которого бесконечно малые изменения этого пути не вызывают изменения интеграла I, по крайней мере, в первом порядке. Этот принцип приводит к уравнениям Эйлера — Лагранжа,

Таким образом, если одна из координат, скажем, qk, не входит в лагранжиан, правая часть уравнения равна нулю, а левая часть требует, чтобы

где импульс

сохраняется на протяжении всего движения (на физической траектории).

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

Несколько альтернативных методов нахождения сохраняющихся величин были разработаны в 19 веке. Уильямо Роуэн Гамильтон разработал теорию канонических преобразований, которая позволяла изменять координаты так, чтобы некоторые координаты исчезали из лагранжиана, как указано выше, что приводило к сохранению канонических импульсов. Другим подходом, и, возможно, наиболее эффективным для нахождения сохраняющихся величин, является уравнение Гамильтона — Якоби.

Формулировка[править | править код]

Первая теорема Нётер[править | править код]

Если интеграл действия инвариантен по отношению к некоторой -параметрической конечной группе Ли , то линейно независимых комбинаций лагранжевых производных (левые части уравнений Лагранжа — Эйлера) обращаются в дивергенции; и обратно, из последнего условия вытекает инвариантность по отношению к некоторой группе [13].

В теоретической физике выражения, стоящие под знаком дивергенций, называются токами. Если лагранжевы производные равны нулю (выполняются уравнения Эйлера), то дивергенции токов обращаются в нуль. Следствием этого являются дифференциальные законы сохранения. Интегральные законы сохранения типа закона сохранения электрического заряда или закона сохранения энергии получаются при интегрировании дифференциальных законов сохранения по специальным образом выбранной 3-мерной гиперповерхности при определённых граничных условиях[14].

Первая обратная теорема Нётер[править | править код]

Если линейно независимых комбинаций лагранжевых производных (левые части уравнений Лагранжа — Эйлера) обращаются в дивергенции, то интеграл действия инвариантен относительно -параметрической конечной группы Ли[14].

Вторая теорема Нётер[править | править код]

Обобщением первой теоремы Нётер для случая функционалов, инвариантных относительно произвольных бесконечных групп Ли , является вторая теорема Нётер[15].

Если интеграл действия инвариантен по отношению к некоторой -параметрической бесконечной группе Ли , в которой встречаются производные до -го порядка включительно, то имеет место тождественных соотношений между лагранжевыми производными и производными от них до -го порядка. Обратное тоже верно.[13]

Вторая обратная теорема Нётер[править | править код]

Если имеет место тождественных соотношений между лагранжевыми производными и производными от них до -го порядка включительно, то интеграл действия инвариантен относительно бесконечной группы Ли , преобразования которой содержат производные до -го порядка[14].

Классическая механика[править | править код]

Каждой однопараметрической группе диффеоморфизмов , сохраняющих функцию Лагранжа, соответствует первый интеграл системы, равный

В терминах инфинитезимальных преобразований: пусть инфинитезимальное преобразование координат имеет вид

и функция Лагранжа инвариантна относительно этих преобразований, то есть

при

Тогда у системы существует первый интеграл, равный

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

следует первый интеграл

Теория поля[править | править код]

Теорема Нётер допускает прямое обобщение на случаи систем с бесконечным числом степеней свободы, примером которых являются гравитационное и электромагнитное поле. А именно, пусть функция Лагранжа системы зависит от потенциалов, зависящих в свою очередь от координат. Функционал действия будет иметь вид

Пусть однопараметрическая группа диффеоморфизмов пространства потенциалов сохраняет функцию Лагранжа; тогда сохраняется вектор

называемый вектором потока Нётер. По повторяющимся индексам подразумевается суммирование: . Смысл сохранения вектора потока Нётер в том, что

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

Дифференциальные уравнения[править | править код]

Пусть имеется вариационная задача с функционалом действия . Здесь  — лагранжиан,  — независимые переменные,  — зависимые переменные, то есть функции от . может зависеть также и от производных по , не обязательно первого порядка.

Вариационная задача для такого функционала приводит к дифференциальным уравнениям Эйлера — Лагранжа, которые можно записать в виде

где  — операторы Эйлера — Лагранжа:

 — производная функции по переменной . Многоточие означает, что если зависит от производных порядка выше первого, то нужно добавить соответствующие слагаемые в . В компактной записи

,

где  — мультииндекс. Суммирование ведётся по всем таким слагаемым, что производная входит в .

Теорема Нётер связывает так называемые вариационные симметрии функционала с законами сохранения, выполняющимися на решениях уравнений Эйлера — Лагранжа.

Законы сохранения[править | править код]

Закон сохранения для системы дифференциальных уравнений — это выражение вида

которое справедливо на решениях этой системы, то есть такое, что если подставить в него эти дифференциальные уравнения, получится тождество. В данном случае рассматриваются дифференциальные уравнения Эйлера — Лагранжа. Здесь  — полная дивергенция (дивергенция с полными производными) по .  — гладкие функции , и производных по .

Тривиальными законами сохранения называются законы сохранения

  • для которых само по себе является тождеством без учёта каких-либо дифференциальных уравнений;
  • или для которых обращается в 0 сразу при подстановке дифференциальных уравнений, без вычисления дивергенции (сохраняется тождественный ноль на решениях);
  • или для которых есть линейная комбинация предыдущих типов.

Если для двух законов сохранения с функциями и разность даёт тривиальный закон сохранения, такие два закона сохранения называются эквивалентными.

Всякий закон сохранения эквивалентен закону сохранения в характеристической форме — то есть такому, для которого

где  — выражения, которые входят в определение системы дифференциальных уравнений: . Для описываемого случая и

зависят от , и производных по и называются характеристиками закона сохранения.

Вариационные симметрии[править | править код]

Пусть имеется обобщённое векторное поле

«Обобщённое» понимается в том смысле, что и могут зависеть не только от и , но и от производных по .

Определение: называется вариационной симметрией функционала , если существует такой набор функций , что

 — продолжение . Продолжение учитывает, что действие на и вызывает также инфинитезимальное изменение производных, и задаётся формулами

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

Смысл определения вариационной симметрии состоит в том, что  — это инфинитезимальные преобразования, которые в первом порядке меняют функционал таким образом, что уравнения Эйлера — Лагранжа преобразуются в эквивалентные. Справедлива

теорема: если является вариационной симметрией, то является (обобщённой) симметрией уравнений Эйлера — Лагранжа:

Эта формула означает, что инфинитезимальные изменения выражений , записанные здесь в виде , обращаются в 0 на решениях.

Характеристики векторных полей[править | править код]

Набор функций (в обозначениях, данных выше) называется характеристикой векторного поля . Вместо можно брать векторное поле

которое называется эволюционным представителем .

и определяют по сути одну и ту же симметрию, поэтому, если известны характеристики , можно считать, что тем самым задана и симметрия. Продолжение определяется аналогично продолжению , но формально проще, поскольку не нужно отдельно учитывать вклад от .

Теорема Нётер устанавливает связь между характеристиками законов сохранения и характеристиками векторных полей.

Теорема Нётер[править | править код]

Обобщённое векторное поле определяет группу симметрий функционала в том и только в том случае, если его характеристика является характеристикой закона сохранения для соответствующих уравнений Эйлера — Лагранжа.

Математическая формулировка[править | править код]

Простая форма с использованием возмущений[править | править код]

Суть теоремы Нётер состоит в обобщении понятия циклических координат.

Можно считать, что определённый выше лагранжиан L инвариантен относительно малых возмущений (деформаций) временной переменной t и обобщённых координат q. Можно написать

где допустимы малые переменные возмущения δt и δq. Для общности предположим, что имеется, скажем, N таких преобразований симметрии действия, то есть преобразований, оставляющих действие неизменным; помеченные индексом r «=» 1, 2, 3, . . ., N.

Тогда получившееся возмущение можно записать в виде линейной суммы возмущений отдельных типов:

где ε r — инфинитезимальные коэффициенты параметров, соответствующие каждому:

Для трансляций Qr является константой с единичной длиной; для вращений это выражение, линейное по компонентам q, а параметры составляют угол.

Используя эти определения, Нётер показала, что N величин

сохраняются то есть являются константами движения.

Примеры[править | править код]

I. Стационарность во времени

Лагранжиан, не зависящий от времени, то есть инвариантный (симметричный) относительно вариаций tt + δt без изменения координат q. В этом случае Н = 1, Т = 1 и Q = 0; соответствующая сохраняющаяся величина есть полная энергия H[16]

II. Трансляционная инвариантность

Лагранжиан, который не зависит от циклической координаты qk; поэтому он инвариантен (симметричен) относительно вариаций qkqk + δqk. В таком случае Н = 1, Т = 0 и Qk = 1; сохраняющаяся величина — это соответствующий линейный импульс pk[17]

В специальной и общей теории относительности эти два закона сохранения можно выразить либо глобально (как это сделано выше), либо локально в виде уравнения непрерывности. Глобальные версии можно объединить в единый глобальный закон сохранения: сохранение 4-вектора энергии-импульса. Локальные варианты сохранения энергии и импульса (в любой точке пространства-времени) также могут быть объединены в сохраняющиеся величины, определённые локально в точке пространства-времени: тензора энергии-импульса[18].

III. Вращательная инвариантность

Сохранение углового момента L = r × p аналогично его аналогу линейного импульса[19]. Предполагается, что симметрия лагранжиана вращательная, то есть лагранжиан не зависит от абсолютной ориентации физической системы в пространстве. Если лагранжиан не меняется при малых поворотах на угол δθ вокруг оси n, то такое вращение преобразует декартовы координаты согласно уравнению

Поскольку время не преобразуется, T = 0, а N = 1. Принимая δθ как параметр ε и декартовы координаты r как обобщённые координаты q, соответствующие переменные Q задаются формулой

Тогда теорема Нётер утверждает, что следующая величина сохраняется:

Другими словами, компонента углового момента L вдоль оси n сохраняется. А если n произвольно, то есть если система нечувствительна к повороту, то каждая компонента L сохраняется, то есть угловой момент сохраняется.

Версия теории поля[править | править код]

Хотя только что приведённая версия теоремы Нётер полезна сама по себе, она является частным случаем общей версии, полученной в 1915 году. Чтобы дать представление об общей теореме, теперь даётся версия теоремы Нётер для непрерывных полей в четырёхмерном пространстве-времени. Поскольку проблемы теории поля более распространены в современной физике, чем проблемы механики, эта версия теории поля является наиболее часто используемой (или наиболее часто реализуемой) версией теоремы Нётер.

Пусть имеется множество дифференцируемых полей определённых во всём пространстве и времени; например, температура будет репрезентативным для такого поля, будучи числом, определённым в каждом месте и в любое время. К таким полям можно применить принцип наименьшего действия, но теперь действие представляет собой интеграл по пространству и времени.

(теорему можно дополнительно обобщить на случай, когда лагранжиан зависит от до n-й производной, а также можно сформулировать с использованием расслоений потоков).

Непрерывное преобразование полей можно записать через инфинитезимальное изменение

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

так как интеграл расходимости становится граничным членом согласно теореме о дивергенции. Система, описываемая данным действием, может иметь несколько независимых симметрий этого типа, с индексами поэтому наиболее общее преобразование симметрии будет записано как

со следствием

Для таких систем теорема Нётер утверждает, что существуют сохраняющихся плотностей тока

где скалярное произведение понимается как сокращение индексов поля, а не индекс или индекс.

В таких случаях закон сохранения выражается в четырёхмерном виде

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

Для иллюстрации рассмотрим физическую систему полей, которая ведёт себя так же при перемещениях во времени и пространстве, как рассмотрено выше; другими словами, постоянна по третьему аргументу. В таком случае N = 4, по одному для каждого измерения пространства и времени. Бесконечно малое перемещение в пространстве, ( — символ Кронекера), влияет на поля как : то есть перемаркировка координат эквивалентна тому, чтобы оставить координаты на месте при перемещении самого поля, что, в свою очередь, эквивалентно преобразованию поля путём замены его значения в каждой точке со значением в точке «позади» его, который будет отображён на рассматриваемым бесконечно малым перемещением. Поскольку оно бесконечно мало, можно записать это преобразование как

Лагранжева плотность преобразуется таким же образом, , так

и, таким образом, теорема Нётер соответствует закону сохранения тензора энергии-импульса Tµν[18], где использовалось на месте . А именно, используя выражение, данное ранее, и собирая четыре сохраняющихся тока (по одному на каждый ) в тензор , теорема Нётер даёт

с

(замена как на промежуточном этапе). Однако полученный таким образом, может отличаться от симметричного тензора, используемого в качестве исходного члена в общей теории относительности; см. Тензор энергии-импульса.

Сохранение электрического заряда, напротив, можно получить, рассматривая Ψ линейным по полям φ, а не по производным[20]. В квантовой механике амплитуда вероятности ψ(x) обнаружения частицы в точке x является комплексным полем φ, потому что оно приписывает комплексное число каждой точке пространства и времени. Сама амплитуда вероятности физически неизмерима; только вероятность p = |ψ|2 можно вывести из набора измерений. Следовательно, система инвариантна относительно преобразований поля ψ и его комплексно-сопряженного поля ψ*, оставляющих |ψ|2 без изменений, например

комплексное вращение. В пределе, когда фаза θ становится бесконечно малой, δθ, её можно принять за малый параметр ε, а Ψ равны и − * соответственно. Конкретным примером является уравнение Клейна — Гордона, релятивистски инвариантная версия уравнения Шрёдингера для бесспиновых частиц, имеющая плотность Лагранжа

В этом случае теорема Нётер утверждает, что сохраняющийся (∂ ⋅ j = 0) ток равен

который при умножении на заряд этого вида частиц равен плотности электрического тока, связанного с ними. Эта «калибровочная инвариантность» была впервые отмечена Германом Вейлем и является одним из прототипов калибровочных симметрий в физике.

Производные[править | править код]

Одна независимая переменная[править | править код]

Если для системы с одной независимой переменной — временем, зависимые переменные q таковы, что интеграл действия

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

И интеграл инвариантен относительно непрерывной симметрии. Математически такая симметрия представляется как поток φ, который действует на переменные следующим образом:

где ε — вещественная переменная, указывающая количество потока, а T — вещественная константа (которая может быть равна нулю), указывающая, насколько поток смещается во времени.

Интеграл действия изменяется согласно

что можно рассматривать как функцию от ε. Вычисляя производную при ε' = 0 и используя правило Лейбница, получится

Уравнения Эйлера — Лагранжа подразумевают

Подставляя это в предыдущее уравнение, получается

Снова используя уравнения Эйлера — Лагранжа, получается

Подставляя это в предыдущее уравнение, получается

Из чего следует, что

— постоянная движения, то есть сохраняющаяся величина. Так как φ[q, 0] = q, то получается поэтому сохраняемая величина упрощается до

Избегая чрезмерного усложнения формул, в этом выводе предполагалось, что поток не меняется с течением времени. Тот же результат можно получить и в более общем случае.

Вывод в теории поля[править | править код]

Теорему Нётер также можно вывести для тензорных полей φA, где индекс A варьируется по различным компонентам различных тензорных полей. Эти величины поля являются функциями, определёнными в четырёхмерном пространстве, точки которого помечены координатами xµ, где индекс µ обозначает время (µ «=» 0) и три пространственных измерения (μ «=» 1, 2, 3). Эти четыре координаты являются независимыми переменными; а значения полей для каждого событии являются зависимыми переменными. При бесконечно малом преобразовании изменение координат записывается

тогда как преобразование полевых переменных выражается как

По этому определению вариации поля δφA являются результатом двух вкладов: внутренних изменений самого поля и изменений координат, поскольку преобразованное поле αA зависит от преобразованных координат ξµ. Чтобы изолировать внутренние изменения, изменение поля в одной точке xμ можно определить

При изменении координат изменяется и граница области пространства-времени, по которой интегрируется лагранжиан; исходная граница и её преобразованная версия обозначаются как Ω и Ω' соответственно.

Теорема Нётер начинается с предположения, что конкретное преобразование координат и полевых переменных не меняет действия, которое определяется как интеграл плотности лагранжиана по заданной области пространства-времени. Выраженное математически, это предположение записывают как

где нижний индекс после запятой указывает на частную производную по координате (координатам), которая следует за запятой, например

Поскольку ξ является фиктивной переменной интегрирования, а изменение границы Ω по предположению бесконечно мало, два интеграла можно объединить, используя четырёхмерную версию теоремы о дивергенции, в следующую форму

Разность лагранжианов записывают в первом порядке по бесконечно малым вариациям как

Однако, поскольку вариации определяются в той же точке, что и описанная выше, вариация и производная вычисляются в обратном порядке; они коммутируют

Используя уравнения поля Эйлера — Лагранжа

разницу в лагранжианах можно точно записать как

Таким образом, изменение действия можно записать в виде

Поскольку это верно для любой области Ω, то подынтегральная функция должна быть равна нулю