24.02.2022

Теорема Эмми Нётер — теорема, доказанная Эмми Нётер в 1918 году. Была впервые определена в работах учёных гёттингенской школы Д. Гильберта, Ф. Клейна и самой Эмми Нётер.

Общие сведения

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

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

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

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

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

Формулировка

Первая теорема Нётер

Если интеграл действия S {displaystyle S} инвариантен по отношению к некоторой r {displaystyle r} -параметрической конечной группе Ли G r {displaystyle G_{r}} , то r {displaystyle r} линейно независимых комбинаций лагранжевых производных (левые части уравнений Лагранжа — Эйлера) обращаются в дивергенции; и обратно, из последнего условия вытекает инвариантность S {displaystyle S} по отношению к некоторой группе G r {displaystyle G_{r}} .

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

Первая обратная теорема Нётер

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

Вторая теорема Нётер

Обобщением первой теоремы Нётер для случая функционалов, инвариантных относительно произвольных бесконечных групп Ли G ∞ r {displaystyle G_{infty r}} , является вторая теорема Нётер.

Если интеграл действия S {displaystyle S} инвариантен по отношению к некоторой r {displaystyle r} -параметрической бесконечной группе Ли G ∞ r {displaystyle G_{infty r}} , в которой встречаются производные до k {displaystyle k} -го порядка включительно, то имеет место r {displaystyle r} тождественных соотношений между лагранжевыми производными и производными от них до k {displaystyle k} -го порядка. Обратное тоже верно.

Вторая обратная теорема Нётер

Если имеет место r {displaystyle r} тождественных соотношений между лагранжевыми производными и производными от них до k {displaystyle k} -го порядка включительно, то интеграл действия инвариантен относительно бесконечной группы Ли G ∞ r {displaystyle G_{infty r}} , преобразования которой содержат производные до k {displaystyle k} -го порядка.

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

Каждой однопараметрической группе диффеоморфизмов g s ( q i ) {displaystyle g^{s}(q_{i})} , сохраняющих функцию Лагранжа, соответствует первый интеграл системы, равный

I = ∑ i = 1 n ( d d s g s ( q i ) ) ∂ L ∂ q ˙ i | s = 0 {displaystyle I=sum _{i=1}^{n}left({frac {d}{ds}}g^{s}(q_{i}) ight){frac {partial L}{partial {dot {q}}_{i}}}{Bigg |}_{s=0}}

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

g s ( q → ) = q → 0 + s ψ → ( q → , t ) {displaystyle g^{s}({vec {q}})={vec {q}}_{0}+s{vec {psi }}({vec {q}},;t)}

и функция Лагранжа L ( q , q ˙ , t ) {displaystyle L(q,;{dot {q}},;t)} инвариантна относительно этих преобразований, то есть

d d s L ( q → 0 + s ψ → ( q → , t ) , q → 0 ˙ + s ψ → ˙ ( q → , t ) , t ) = 0 {displaystyle {frac {d}{ds}}L({vec {q}}_{0}+s{vec {psi }}({vec {q}},;t),;{dot {{vec {q}}_{0}}}+s{dot {vec {psi }}}({vec {q}},;t),;t)=0} при s = 0. {displaystyle s=0.}

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

I = ( ψ → ( q → , t ) ; ∂ L ∂ q → ˙ ) = ∑ i = 1 n ψ i ( q → , t ) ∂ L ∂ q ˙ i . {displaystyle I=left({vec {psi }}({vec {q}},;t);;{frac {partial L}{partial {dot {vec {q}}}}} ight)=sum _{i=1}^{n}psi _{i}({vec {q}},;t){frac {partial L}{partial {dot {q}}_{i}}}.}

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

g s ( q → ) = q → 0 + s ψ → ( q → , t ) , {displaystyle g^{s}({vec {q}})={vec {q}}_{0}+s{vec {psi }}({vec {q}},;t),} g s ( t ) = t 0 + s ξ ( q → , t ) , {displaystyle g^{s}(t)=t_{0}+sxi ({vec {q}},;t),}

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

I = ξ L + ( ψ → − ξ q → ˙ ; ∂ L ∂ q → ˙ ) . {displaystyle I=xi L+left({vec {psi }}-xi {dot {vec {q}}};;{frac {partial L}{partial {dot {vec {q}}}}} ight).}

Теория поля

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

S = ∫ L ( A i , ∂ μ A i , x μ ) d Ω , i = 1 , … , n , μ = 1 , … , k , d Ω = d x 1 … d x k . {displaystyle S=int L(A^{i},;partial _{mu }A^{i},;x^{mu }),dOmega ,quad i=1,ldots ,;n,quad mu =1,;ldots ,;k,quad dOmega =dx^{1}ldots dx^{k}.}

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

J μ = ( d d s g s A i ) ∂ L ∂ ( ∂ μ A i ) , {displaystyle J^{mu }=left({frac {d}{ds}}g^{s}A^{i} ight){frac {partial L}{partial (partial _{mu }A^{i})}},}

называемый вектором потока Нётер. По повторяющимся индексам подразумевается суммирование: ∂ μ = ∂ ∂ x μ {displaystyle partial _{mu }={frac {partial }{partial x^{mu }}}} . Смысл сохранения вектора потока Нётер в том, что

  ∂ μ J μ = 0 , {displaystyle partial _{mu }J^{mu }=0,}

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

Дифференциальные уравнения

Пусть имеется вариационная задача с функционалом действия S = ∫ L ( u → , x → , … ) d x {displaystyle S=int L({vec {u}},{vec {x}},dots ),d{oldsymbol {x}}} . Здесь L {displaystyle L} — лагранжиан, x {displaystyle x} — независимые переменные, u {displaystyle u} — зависимые переменные, то есть функции от x {displaystyle x} . L {displaystyle L} может зависеть также и от производных u {displaystyle u} по x {displaystyle x} , не обязательно первого порядка.

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

E α ( L ) = 0   ,   α = 1 … q , {displaystyle mathrm {E_{alpha }} (L)=0~,~alpha =1dots q,}

где E {displaystyle mathrm {E} } — операторы Эйлера — Лагранжа:

E α = ∂ ∂ u α − ∑ i = 1 p d d x i ∂ ∂ u x i α + … , {displaystyle mathrm {E_{alpha }} ={frac {partial }{partial u_{alpha }}}-sum _{i=1}^{p}{frac {d}{dx_{i}}}{frac {partial }{partial u_{x_{i}}^{alpha }}}+dots ,}

u x i α {displaystyle u_{x_{i}}^{alpha }} — производная функции u α {displaystyle u^{alpha }} по переменной x i {displaystyle x_{i}} . Многоточие означает, что если L {displaystyle L} зависит от производных порядка выше первого, то нужно добавить соответствующие слагаемые в E {displaystyle mathrm {E} } . В компактной записи

E α = ∑ J ( − D ) J ∂ ∂ u J α {displaystyle mathrm {E_{alpha }} =sum _{J}(-D)_{J}{frac {partial }{partial u_{J}^{alpha }}}} ,

где J {displaystyle J} — мультииндекс. Суммирование ведётся по всем таким слагаемым, что производная u J α {displaystyle u_{J}^{alpha }} входит в L {displaystyle L} .

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

Законы сохранения

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

D i v P → = 0 , {displaystyle mathrm {Div} {vec {P}}=0,}

которое справедливо на решениях этой системы, то есть такое, что если подставить в него эти дифференциальные уравнения, получится тождество. В данном случае рассматриваются дифференциальные уравнения Эйлера — Лагранжа. Здесь D i v {displaystyle mathrm {Div} } — полная дивергенция (дивергенция с полными производными) по x {displaystyle x} . P → {displaystyle {vec {P}}} — гладкие функции u {displaystyle u} , x {displaystyle x} и производных u {displaystyle u} по x {displaystyle x} .

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

  • для которых D i v P → = 0 {displaystyle mathrm {Div} {vec {P}}=0} само по себе является тождеством без учёта каких-либо дифференциальных уравнений;
  • или для которых P → {displaystyle {vec {P}}} обращается в 0 сразу при подстановке дифференциальных уравнений, без вычисления дивергенции (сохраняется тождественный ноль на решениях);
  • или для которых P → {displaystyle {vec {P}}} есть линейная комбинация предыдущих типов.

Если для двух законов сохранения с функциями P → {displaystyle {vec {P}}} и R → {displaystyle {vec {R}}} разность P → − R → {displaystyle {vec {P}}-{vec {R}}} даёт тривиальный закон сохранения, такие два закона сохранения называются эквивалентными.

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

D i v P → = Q → ⋅ Δ → , {displaystyle mathrm {Div} {vec {P}}={vec {Q}}cdot {vec {Delta }},}

где Δ {displaystyle Delta } — выражения, которые входят в определение системы дифференциальных уравнений: Δ → = 0 {displaystyle {vec {Delta }}=0} . Для описываемого случая Δ α = E α ( L ) {displaystyle Delta _{alpha }=E_{alpha }(L)} и

D i v P → = ∑ α Q α E α ( L ) . {displaystyle mathrm {Div} {vec {P}}=sum _{alpha }Q_{alpha }E_{alpha }(L).}

Q α {displaystyle Q_{alpha }} зависят от u {displaystyle u} , x {displaystyle x} и производных u {displaystyle u} по x {displaystyle x} и называются характеристиками закона сохранения.

Вариационные симметрии

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

v → = ∑ i = 1 p ξ i ∂ ∂ x i + ∑ α = 1 q φ α ∂ ∂ u α . {displaystyle {vec {v}}=sum _{i=1}^{p}xi ^{i}{frac {partial }{partial x^{i}}}+sum _{alpha =1}^{q}varphi _{alpha }{frac {partial }{partial u^{alpha }}}.}

«Обобщённое» понимается в том смысле, что ξ {displaystyle xi } и φ {displaystyle varphi } могут зависеть не только от u {displaystyle u} и x {displaystyle x} , но и от производных u {displaystyle u} по x {displaystyle x} .

Определение: v → {displaystyle {vec {v}}} называется вариационной симметрией функционала S {displaystyle S} , если существует такой набор функций B → ( u → , x → , … ) {displaystyle {vec {mathrm {B} }}({vec {u}},{vec {x}},dots )} , что

p r v → ( L ) + L D i v ξ → = D i v B → . {displaystyle mathrm {pr} ,{vec {v}}(L)+L,mathrm {Div} ,{vec {xi }}=mathrm {Div} ,{vec {mathrm {B} }}.}

p r v → {displaystyle mathrm {pr} ,{vec {v}}} — продолжение v → {displaystyle {vec {v}}} . Продолжение учитывает, что действие v → {displaystyle {vec {v}}} на u {displaystyle u} и x {displaystyle x} вызывает также инфинитезимальное изменение производных, и задаётся формулами

p r v → = v → + ∑ α , J φ α J ∂ ∂ u J α   ,   φ α J = D J ( φ α − ∑ i ξ i u i α ) . {displaystyle mathrm {pr} ,{vec {v}}={vec {v}}+sum _{alpha ,J}varphi _{alpha }^{J}{frac {partial }{partial u_{J}^{alpha }}}~,~varphi _{alpha }^{J}=D_{J}{igl (}varphi _{alpha }-sum _{i}xi ^{i}u_{i}^{alpha }{igr )}.}

В формуле для продолжения необходимо брать, кроме v → {displaystyle {vec {v}}} , слагаемые с такими ∂ / ∂ u J α {displaystyle partial /partial u_{J}^{alpha }} , для которых u J α {displaystyle u_{J}^{alpha }} входят в L {displaystyle L} или, в общем случае, в то выражение, на которое продолжение действует.

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

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

p r v → E α ( L ) | E α ( L ) = 0 = 0. {displaystyle mathrm {pr} ,{vec {v}},mathrm {E} _{alpha }(L)vert _{mathrm {E} _{alpha }(L)=0}=0.}

Эта формула означает, что инфинитезимальные изменения выражений E α ( L ) {displaystyle mathrm {E} _{alpha }(L)} , записанные здесь в виде p r v → E α ( L ) {displaystyle mathrm {pr} ,{vec {v}},mathrm {E} _{alpha }(L)} , обращаются в 0 на решениях.

Характеристики векторных полей

Набор функций Q α = φ α − ∑ i ξ i u i α {displaystyle Q_{alpha }=varphi _{alpha }-sum _{i}xi ^{i}u_{i}^{alpha }} (в обозначениях, данных выше) называется характеристикой векторного поля v → {displaystyle {vec {v}}} . Вместо v → {displaystyle {vec {v}}} можно брать векторное поле

v → Q = ∑ α Q α ∂ ∂ u α , {displaystyle {vec {v}}_{Q}=sum _{alpha }Q_{alpha }{frac {partial }{partial u^{alpha }}},}

которое называется эволюционным представителем v → {displaystyle {vec {v}}} .

v → {displaystyle {vec {v}}} и v → Q {displaystyle {vec {v}}_{Q}} определяют по сути одну и ту же симметрию, поэтому, если известны характеристики Q α {displaystyle Q_{alpha }} , можно считать, что тем самым задана и симметрия. Продолжение v → Q {displaystyle {vec {v}}_{Q}} определяется аналогично продолжению v → {displaystyle {vec {v}}} , но формально проще, поскольку не нужно отдельно учитывать вклад от ξ {displaystyle xi } .

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

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

Обобщённое векторное поле v → {displaystyle {vec {v}}} определяет группу симметрий функционала S {displaystyle S} в том и только в том случае, если его характеристика Q → {displaystyle {vec {Q}}} является характеристикой закона сохранения D i v P → = 0 {displaystyle mathrm {Div} {vec {P}}=0} для соответствующих уравнений Эйлера — Лагранжа.

Законы сохранения

В классической механике законы сохранения энергии, импульса и момента импульса выводятся из однородности/изотропности лагранжиана системы — лагранжиан (функция Лагранжа) не меняется со временем сам по себе и не изменяется переносом или поворотом системы в пространстве. По сути это означает то, что при рассмотрении некой замкнутой в лаборатории системы будут получены одни и те же результаты вне зависимости от расположения лаборатории и времени проведения эксперимента. Другие симметрии лагранжиана системы, если они есть, соответствуют другим сохраняющимся в данной системе величинам (интегралам движения); например, симметрия лагранжиана гравитационной и кулоновской задачи двух тел приводит к сохранению не только энергии, импульса и момента импульса, но и вектора Лапласа — Рунге — Ленца.

Приложения

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

  • Сохранение импульса системы следует из её инвариантности относительно пространственных сдвигов. Конкретнее: если сдвиг вдоль оси X не меняет систему уравнений, то вдоль этой оси сохраняется импульс p x {displaystyle p_{x}} .
  • Сохранение момента импульса следует из инвариантности системы относительно вращений пространства.
  • Закон сохранения энергии — это следствие однородности времени, позволяющей произвольным образом сдвигать начало отсчёта времени.

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

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

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

Заряд Нётер также используется для вычисления энтропии стационарной чёрной дыры.


Имя:*
E-Mail:
Комментарий: