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

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

где индекс приписан «новым» координатам и «новому» времени, а - некоторый параметр. Предположим, что преобразование (66) удовлетворяет двум следующим условиям:

1° Это преобразование тождественно при , т. е.

2° Для этого преобразования существует обратное:

Теперь мы можем сформулировать теорему Эммы Нётер. Теорема Нётер. Пусть задана система движущихся в потенциальном поле материальных точек, имеющая лагранжиан , и пусть существует однопараметрическое семейство преобразований (66), удовлетворяющее условиям 1° и 2°. Пусть, далее, лагранжиан L инвариантен по отношению к таким преобразованиям, т. е. «новый» лагранжиан (вычисленный по формуле ) не зависит от и как функция имеет совершенно такой же вид, как и «старый» лагранжиан L как функция . Тогда существует функция , которая не изменяется во время движения этой системы, т. е. является первым интегралом движения. Эта функция имеет вид

где H - гамильтониан рассматриваемой системы.

Доказательство. Рассмотрим два расширенных координатных пространства; одно из них соответствует «старым», а другое «новым» координатам и времени, получепным в результате преобразования (66). В первом из этих пространств (в пространстве q, t) выберем две произвольные точки и проведем между этими точками какую-либо кривую . Тогда однопараметрическое семейство преобразований (66) порождает во втором расширенном координатном пространстве , однопараметрическое семейство кривых (рис. VII.5). Оно получается, если из равенств (66)

исключить .

В силу первого условия, т. е. в силу формул (67), параметру соответствует исходная кривая, т. е. при

Началу и концу кривой , т. е. точкам из пространства , соответствуют в пространстве кривые, заданные параметрически (параметр ) формулами

Эти формулы получаются из формул (70), если вместо t подставить соответственно.

Примем в качестве кривой отрезок от до прямого пути системы с лагранжианом L. Рассмотрим действие по Гамильтону на этом пути:

Заменив в интеграле (72) переменную t на , получим (см. стр. 281)

где функция строится по формуле (64). С учетом новых обозначений (см. условие ):

В силу условий теоремы Э. Нётер не зависит от и как функция своих аргументов совпадает с L:

Таким образом, если выполнены условия теоремы Нётер, то интеграл (72) можно записать следующим образом:

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

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

(75)

Равенство (75) верно при любом , но мы воспользуемся им лишь при . В силу условия 1° при равенства (66) превращаются в тождества, т. е. зависит от точно так же, как зависит от t. Но - прямой путь и на нем

Следовательно, при обращаются в нуль и все выражения, стоящие в скобках под знаком интеграла в формулах (75).

Напомним, что сначала надо подставить пределы , а затем выполнить операции , т. е. дифференцирования по параметру. Но при

и в соответствии с формулами преобразования (66)

Учитывая при подстановке пределов эти равенства и тот факт, что , после сокращения на независимое приращение из равенства (76) получаем

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

Вспомним, что прямой путь и точки и на нем были выбраны произвольно. Отсюда следует, что функция (69) вообще не меняется вдоль кривой , т. е. на любом прямом пути.

Теорема Эммы Нётер доказана.

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

Закон сохранения механической энергии для консервативной системы. Рассмотрим консервативную (или обобщенно консервативную) систему. В качестве семейства преобразований (66) возьмем «сдвиг по времени»:

Непосредственно видно, что преобразование (78) удовлетворяет условиям 1° и 2°. Лагранжиан (так же как и гамильтониан) консервативной системы не зависит явно от времени, а , т. е. функция в данном случае равна единице. Поэтому преобразование (66) заведомо не меняет вид лагранжиана , разумеется, гамильтониана) и из теоремы Нётер следует, что консервативная система должна иметь первый интеграл вида (69). Но в данном случае все функции в силу преобразования (78) тождественно равны , т. е. не зависят от , и, следовательно, производные от них по параметру а равны нулю, а и формула (69) принимает вид

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

Закон сохранения импульса для циклических координат. Рассмотрим теперь систему с циклической координатой

Непосредственно видно, что это преобразование удовлетворяет условиям 1° и 2°. Лагранжиан (а значит, и гамильтониан) системы не зависит от циклических координат, и следовательно, вид этих функций не меняется при преобразовании (79). Следовательно, в силу теоремы Нётер имеет место первый интеграл вида (69). Но при преобразовании , остальные . Следовательно, в данном случае формула (69) принимает вид

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

Закон сохранения количества движения для замкнутых систем. Рассмотрим теперь замкнутую систему, движущуюся в потенциальном поле. В качестве обобщенных координат примем декартовы координаты точек и применим «сдвиг вдоль одной из осей координат», например вдоль оси :

(здесь N - число точек системы).

В связи с тем, что при сдвиге начала координат вдоль какой-либо оси расстояние между точками системы не меняется, не меняется и потенциальная энергия системы, а значит, и функция Лагранжа. Очевидно, преобразование (80) удовлетворяет условиям 1° и 2°. Таким образом, все условия, которые теорема Нётер накладывает на однопараметрическое семейство преобразований, выполнены. В силу этой теоремы имеет место первый интеграл (69). В данном случае все для координат , так же как и , равны нулю, а функции для координат таковы, что .

Поэтому в формуле (69) член, содержащий гамильтониан, обращается в нуль, а оставшаяся в правой части сумма равна

но и поэтому первый интеграл (69) имеет вид

(81)

Равенство (81) есть не что иное, как закон сохранения количества движения в проекции на ось .

Совершенно аналогично, используя преобразования типа (80) для сдвига не вдоль оси x, а вдоль осей у и z, устанавливаем сохранение проекций количества движения на оси у и z соответственно. Таким образом, закон сохранения количества движения при движении замкнутой системы в потенциальном поле полностью доказан.

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

Непосредственно видно, что преобразование (82) удовлетворяет условию 1°, т. е. при превращается в тождественное преобразование. Легко проверить, что оно удовлетворяет и условию 2°, т. е. что система уравнений (82) разрешима относительно «старых» координат, ибо определитель этой системы равен . При повороте системы координат взаимное расположение и расстояние между точками системы не меняются, и следовательно, не меняется потенциальное поле, а значит, не меняется и L. Таким образом, в силу теоремы Нётер и в этом случае имеет место первый интеграл (69). В случае преобразования (82) для координат всех точек системы имеет место соотношение

Аналогично для всех координат

С другой стороны, и поэтому в данном случае

т. е. проекция кинетического момента на ось z сохраняется.

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

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

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

Амалия (Эмми) Нётер, королева без короны

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

Альберт Эйнштейн

Эйнштейн был прав, и Эмми Нётер (1882–1935) , с которой ему так и не довелось вместе поработать в Институте перспективных исследований в Принстоне (хотя она этого заслуживала как никто), была удивительным математиком - возможно, величайшей женщиной-математиком всех времен. И Эйнштейн не единственный придерживался такой точки зрения: Норберт Винер поместил Нётер в один ряд с лауреатом двух нобелевских премий Марией Кюри, которая тоже была превосходным математиком.

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

По воспоминаниям очевидцев, она забывала уложить волосы, почистить платье, тщательно пережевывать пищу и отличалась многими другими чертами, которые делали ее не слишком женственной в глазах благопристойных соотечественников-немцев. Также Эмми страдала сильной близорукостью, из-за чего носила некрасивые очки с толстыми стеклами и была похожа на сову. Сюда же следует добавить и привычку носить (из соображений удобства) мужскую шляпу и набитый бумагами кожаный чемодан, как у страхового агента. Сам Герман Вейль, ученик Эмми и почитатель ее математического таланта, достаточно взвешенно выразил общее мнение о наставнице словами: «Грации не стояли у ее колыбели».

Портрет Эмми Нётер в юности.

Превращение в прекрасного лебедя

Эмми Нётер родилась в обществе, где женщины, можно сказать, были скованы по рукам и ногам. В то время в Германии правил всесильный кайзер Вильгельм II, любитель торжественных приемов и церемоний. Он приезжал в город, чинно спускался с поезда, а затем местный градоначальник произносил речь. Всей грязной работой занимался Железный Канцлер Бисмарк. Он и был истинным главой государства и общества, вдохновителем его консервативной структуры, которая препятствовала обучению женщин (всеобщее образование считалось признаком ненавистного социализма). Образцом женщины была супруга кайзера, императрица Августа Виктория. Ее жизненным кредо были четыре К: кайзер, Kinder (дети), Kirche (церковь), K"uche (кухня) - дополненная версия трех К из народной трилогии «Kinder, Kirche, K"uche ». В такой среде женщинам отводилась четко выписанная роль: на социальной лестнице они находились ниже мужчин и на ступеньку выше домашних животных. Так, женщины не могли получить образование. Собственно, обучение женщин не было запрещено полностью - для родины Гёте и Бетховена это было бы слишком. Преодолев множество препятствий, женщины могли учиться, но не имели права занимать должностей. Итог был тем же самым, но игра - более тонкой. Некоторые преподаватели, демонстрируя особое идеологическое рвение, отказывались начинать занятия, если в аудитории присутствовала хотя бы одна женщина. Совершенно иначе дело обстояло, например, во Франции, где господствовали свобода и либерализм.

Эмми родилась в небольшом городе Эрлангене, в семье преподавателей, принадлежавшей к верхушке среднего класса. Эрланген занимал необычное место в истории математики - он был малой родиной создателя так называемой синтетической геометрии Христиана фон Штаудта (1798–1867) , кроме того, именно в Эрлангене юный гений Феликс Клейн (1849–1925) обнародовал свою знаменитую Эрлангенскую программу, в которой классифицировал геометрии с точки зрения теории групп.

Отец Эмми, Макс Нётер, преподавал математику в Эрлангенском университете. Его интеллект унаследовали сын Фриц, посвятивший жизнь прикладной математике, и дочь Эмми, которая напоминала гадкого утенка из сказки Андерсена - никто не мог и предположить, каких научных высот она достигнет. В детстве и юности Эмми ничем не отличалась от сверстников: ей очень нравилось танцевать, поэтому она охотно посещала все торжества. При этом девушка не проявляла особого интереса к музыке, что отличает ее от других математиков, которые часто любят музыку и даже играют на разных инструментах. Эмми исповедовала иудаизм - в то время это обстоятельство было неважным, но сказалось на ее дальнейшей судьбе. За исключением редких проблесков гениальности обучение Эмми ничем не отличалось от обучения ее сверстниц: она умела готовить и вести домашнее хозяйство, проявляла успехи в изучении французского и английского, и ей пророчили карьеру преподавателя языков. Ко всеобщему удивлению, Эмми выбрала математику.

Фасад Kollegienhaus - одного из старейших корпусов Эрлангенского университета.

Бесконечная гонка

Эмми имела все необходимое для того, чтобы посвятить себя выбранному занятию: она знала математику, семья могла выделять ей средства на жизнь (пусть и весьма скудные), а личное знакомство с коллегами отца позволяло ей рассчитывать на то, что учеба в университете не станет невыносимой. Чтобы продолжить обучение, Эмми пришлось стать слушательницей - посещать занятия в качестве полноправного студента ей запрещалось. Она успешно окончила обучение и сдала экзамен, дававший право на получение докторской степени. В качестве темы диссертации Эмми выбрала алгебраические инварианты тернарных квадратичных форм. Преподавателем этой дисциплины был Пауль Гордан (1837–1912) , которого современники называли королем теории инвариантов; он был давним другом отца Нётер и сторонником конструктивной математики. В поисках алгебраических инвариантов Гордан превращался в настоящего бульдога: он вцеплялся в инвариант и не разжимал челюстей до тех пор, пока не выделял его среди хитросплетения расчетов, порой казавшихся бесконечными. Объяснить, что такое алгебраический инвариант и форма, не слишком сложно, но эти понятия не представляют интереса для современной алгебры, поэтому не будем останавливаться на них подробнее.

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

Эмми получила должность преподавателя в Эрлангене, где проработала восемь долгих лет, не получая никакого жалования. Порой ей выпадала честь замещать собственного отца - его здоровье к тому времени ослабело. Пауль Гордан вышел в отставку, и его сменил Эрнст Фишер, который придерживался более современных взглядов и прекрасно ладил с Эмми. Именно Фишер познакомил ее с трудами Гильберта.

К счастью, проницательность Нётер, ее ум и знания заметили два светила Гёттингенского университета, «самого математического университета мира». Этими светилами были Феликс Клейн и Давид Гильберт (1862–1943) . Шел 1915 год, Первая мировая война была в самом разгаре. И Клейн, и Гильберт отличались крайним либерализмом в вопросах обучения женщин (и их участия в исследовательской работе) и были специалистами высочайшего уровня. Они убедили Эмми покинуть Эрланген и переехать к ним в Гёттинген для совместной работы. В то время гремели революционные физические идеи Альберта Эйнштейна, а Эмми была экспертом по алгебраическим и прочим инвариантам, составлявшим крайне полезный математический аппарат теории Эйнштейна (к разговору об инвариантах мы вернемся чуть позже).

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

Но Эмми так и не была избрана приват-доцентом. Ученый совет объявил ей настоящую войну. Конфликт вскоре прекратился, была провозглашена Веймарская республика, и положение женщин улучшилось: они получили право голосовать, Эмми смогла занять должность профессора (но без жалования), однако лишь в 1922 году, приложив огромные усилия, она наконец начала получать деньги за свой труд. Эмми раздражало, что ее работа на посту редактора журнала «Анналы математики», отнимавшая немало времени, не была оценена по достоинству.

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

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

Понятие непрерывной симметрии в высшей физике объясняется с помощью групп Ли. Не будем углубляться в детали и скажем, что в физике под симметрией понимается любое изменение физической системы, относительно которого физические величины в системе инвариантны. Это изменение посредством математически непрерывного преобразования должно затрагивать координаты системы, а рассматриваемая величина до и после преобразования должна оставаться неизменной.

Откуда же взялся термин «симметрия»? Он принадлежит к чисто физическому языку и применяется потому, что по смыслу схож с термином «симметрия» в математике. Представьте себе повороты пространства, образующие группу симметрии. Если мы применим один из таких поворотов к системе координат, то получим другую систему координат. Изменение координат будет описываться непрерывными уравнениями. Согласно теореме Нётер, если система инвариантна относительно подобной непрерывной симметрии (в данном случае - поворота), то в ней автоматически существует закон сохранения той или иной физической величины. В нашем случае, проведя необходимые вычисления, можно убедиться, что этой величиной будет момент импульса.

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

Эта теорема вызвала множество хвалебных отзывов, в том числе от Эйнштейна, который писал Гильберту:

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

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

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

ТЕОРЕМА НЁТЕР

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

где q - положение, q - скорость (точка вверху в нотации Ньютона обозначает производную от q ), t - время. Обратите внимание, что q - положение в системе координат общего вида, которая необязательно является декартовой.

Действие А на языке математики выражается интегралом вдоль пути, выбранного системой:

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

Дать общее определение понятию «симметрия» довольно сложно. Очень часто симметрию связывают с красотой. «Симметричное означает нечто, обладающее хорошим соотношением пропорций, а симметрия – тот вид согласованности отдельных частей, который объединяет их в целое. Красота тесно связана с симметрией», – писал Г. Вейль. В «Кратком Оксфордском словаре» симметрия определяется как «…красота, обусловленная пропорциональностью частей тела или любого целого, равновесием, подобием, гармонией, согласованностью».

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

Симметрия (в физике) – свойство физических величин оставаться неизменными (инвариантными) при определенных преобразованиях. Эти преобразования называются операциями симметрии .

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

Симметрии делятся на пространственно-временные (внешние) и внутренние, описывающие свойства элементарных частиц.

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

В современной физике обнаруживается определенная иерархия симметрий. Приведенные выше симметрии имеют место при любых взаимодействиях. Существуют симметрии, выполняющиеся только при сильных и электромагнитных взаимодействиях, при слабых взаимодействиях эти симметрии нарушаются. К таким симметриям относятся, например, зеркальная симметрия, операция зарядового сопряжения, изотопическая инвариантность и т.д., эти симметрии называются внутренними. Зеркальная симметрия (инверсия пространства, заключающаяся в замене координат x,y,z на -x,-y,-z ) означает, что отражение в зеркале не меняет физических законов. Замена всех частиц на античастицы называется операцией зарядового сопряжения, такая операция симметрии также не изменяет протекающих в природе процессов сильного и электромагнитного взаимодействий. Изотопическая инвариантность связана со сходством протона и нейтрона (они отличаются только наличием у протона электрического заряда, что не сказывается на ядерных процессах).

В 1918 г. Амали Эмми Нетер доказала фундаментальную теорему, согласно которой существование любой конкретной симметрии – в пространстве-времени, степенях свободы элементарных частиц и физических полей – приводит к соответствующему закону сохранения, причем из этой теоремы следует и конкретная структура сохраняющейся величины. Из инвариантности относительно сдвига во времени следует закон сохранения энергии; из симметрии относительно пространственных сдвигов следует закон сохранения импульса; из инвариантности относительно пространственного вращения следует закон сохранения момента импульса. Физические законы не изменяются при преобразованиях Лоренца, связывающих значения координат и времени в различных инерциальных системах отсчета (принцип относительности). Из принципа относительности следует закон сохранения скорости движения центра масс изолированной системы.

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

Законы сохранения представляют собой мощное орудие исследования. Часто бывает, что точное решение уравнений движения оказывается очень сложным или действующие силы неизвестными. Поскольку законы сохранения не зависят от характера действующих сил, то с их помощью можно получить ряд важных сведений о поведении механических систем даже в тех случаях, когда силы оказываются неизвестными. С помощью законов сохранения были открыты ряд элементарных частиц. Так, для того, чтобы в процессе β-распада выполнялись законы сохранения энергии и момента импульса, В. Паули предположил (1932) существование неизвестной к тому времени частицы

Точно сформулируем и докажем теорему Нётер.

Рассмотрим некоторую систему, описываемую функцией Лагранжа

Форма уравнений Лагранжа-Эйлера, получаемых из вариационного принципа с такой функцией Лагранжа, инвариантна относительно преобразований вида, а также и относительно более общих преобразований

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

Теорема Нётер интересуется только тем случаем, когда таких изменений не происходит.

Используя (4), получим:

Пусть преобразования такие, что

т.е. образующих однопараметрическую группу. Рассмотрим бесконечно малое преобразование, отвечающее параметру.

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

Наряду с ними удобно ввести в рассмотрение вариации формы

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

Для любой функции справедливо соотношение:

Тогда между двумя введенными видами вариаций есть соотношение, которое можно получить следующим образом: вычтем из (8) уравнение (9), получим:

примем во внимание, что

тогда имеем:

Вариации без звездочек, относящиеся к одному значению аргумента, перестановочны с дифференцированием по времени

в то время, как для вариаций со звездочками это, вообще говоря, неверно.

Соответствующие два вида вариаций можно ввести и для любой динамической переменной. Например, для функции Лагранжа

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

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

где Т" - та же область интегрирования, что и Т во втором интеграле, но выраженная через новые переменные. Тогда подставив (11) в (13), получим

Выражаем в (15) через (11) и учитывая соотношение, переходя к интегрированию по t вместо t" , получим:

Учитывая, что

Получим: (15)

Найдем дифференциал

Подставив (17) в (16), получим:

Под знаком первой суммы стоит уравнение Лагранжа, т.е.

Всякое равенство вида

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

1. Асимптотическая аддитивность интегралов движения. Формулировка теоремы Нётер.

Среди всех интегралов движения особое значение имеют аддитивные или асимптотически аддитивные интегралы движения, для которых существует специальное название – законы сохранения. Если рассмотреть две системы, находящиеся очень далеко друг от друга, то физически очевидно, что процессы в одной системе совсем никак не должны влиять на движение другой. Поскольку, с другой стороны ничто не мешает нам рассматривать две такие системы как две части, I и II , единой общей системы, то мы приходим к условию асимптотической аддитивности, который заключается в следующем: если некоторая система ( I + II) разделяется на две подсистемы таким образом, что минимум расстояния между материальными точками разных подсистем

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

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

2. Доказательство теоремы Нётер

Точно сформулируем и докажем теорему Нётер.

Рассмотрим некоторую систему, описываемую функцией Лагранжа

Форма уравнений Лагранжа-Эйлера, получаемых из вариационного принципа с такой функцией Лагранжа, инвариантна относительно преобразований вида

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

Теорема Нётер интересуется только тем случаем, когда таких изменений не происходит.

Используя (4), получим:

Пусть преобразования

т.е. образующих однопараметрическую группу. Рассмотрим бесконечно малое преобразование, отвечающее параметру

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

Наряду с ними удобно ввести в рассмотрение вариации формы

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

Для любой функции справедливо соотношение:

Тогда между двумя введенными видами вариаций есть соотношение, которое можно получить следующим образом: вычтем из (8) уравнение (9), получим:

примем во внимание, что

тогда имеем:

Вариации без звездочек, относящиеся к одному значению аргумента, перестановочны с дифференцированием по времени

в то время, как для вариаций со звездочками это, вообще говоря, неверно.