Эрлангенская программа — различия между версиями

Материал из synset
Перейти к: навигация, поиск
Строка 47: Строка 47:
 
<math>\textstyle \bullet</math> Как уже упоминалось (стр.\,\pageref{sym_non_lin_dif_x}), можно использовать различные способы параметризации группового преобразования. Другими словами, в рамках одной и той же группы можно перейти к новым параметрам <math>\textstyle \mathbf{a}'</math>, связанными некоторой зависимостью <math>\textstyle \mathbf{a}=\psi(\mathbf{a}')\equiv\mathbf{a}(\mathbf{a}')</math> со старыми параметрами <math>\textstyle \mathbf{a}</math>. При таком преобразовании меняются операторы генераторов группы. Причем генераторы для новых параметров линейным образом выражаются через генераторы для старых. Действительно, пусть <math>\textstyle x'^k=f^k(\mathbf{a}(\mathbf{a'}),\mathbf{x})</math>, тогда:
 
<math>\textstyle \bullet</math> Как уже упоминалось (стр.\,\pageref{sym_non_lin_dif_x}), можно использовать различные способы параметризации группового преобразования. Другими словами, в рамках одной и той же группы можно перейти к новым параметрам <math>\textstyle \mathbf{a}'</math>, связанными некоторой зависимостью <math>\textstyle \mathbf{a}=\psi(\mathbf{a}')\equiv\mathbf{a}(\mathbf{a}')</math> со старыми параметрами <math>\textstyle \mathbf{a}</math>. При таком преобразовании меняются операторы генераторов группы. Причем генераторы для новых параметров линейным образом выражаются через генераторы для старых. Действительно, пусть <math>\textstyle x'^k=f^k(\mathbf{a}(\mathbf{a'}),\mathbf{x})</math>, тогда:
  
:<center><math>u'^k_\alpha(\mathbf{x}) = \frac{f^k(\mathbf{a},\mathbf{x})}{\partial a^\beta}\,\frac{\partial a^\beta}{\partial a'^\alpha}\Bigr|_{\mathbf{a}'=\mathbf{0}} =A^\beta_\alpha \,u^k_\beta(\mathbf{x}),</math></center>
+
:<center><math>{u'}^k_\alpha(\mathbf{x}) = \frac{f^k(\mathbf{a},\mathbf{x})}{\partial a^\beta}\,\frac{\partial a^\beta}{\partial {a'}^\alpha}\Bigr|_{\mathbf{a}'=\mathbf{0}} =A^\beta_\alpha \,u^k_\beta(\mathbf{x}),</math></center>
  
 
где предполагается, что в обоих параметризациях нулевые параметры соответствуют единичному преобразованию и введено обозначение для матрицы производных <math>\textstyle A^\beta_{\alpha}=\partial a^\beta/\partial a'^\alpha</math>, вычисленных в нуле. Теперь можно записать связь генераторов <math>\textstyle \hat{X}_\alpha = - u^k_\alpha(\mathbf{x})\partial_k</math> по параметрам <math>\textstyle \mathbf{a}</math> и генераторов <math>\textstyle \hat{X}'_\alpha = - u'^k_\alpha(\mathbf{x})\partial_k</math> параметрам <math>\textstyle \mathbf{a}'</math>:
 
где предполагается, что в обоих параметризациях нулевые параметры соответствуют единичному преобразованию и введено обозначение для матрицы производных <math>\textstyle A^\beta_{\alpha}=\partial a^\beta/\partial a'^\alpha</math>, вычисленных в нуле. Теперь можно записать связь генераторов <math>\textstyle \hat{X}_\alpha = - u^k_\alpha(\mathbf{x})\partial_k</math> по параметрам <math>\textstyle \mathbf{a}</math> и генераторов <math>\textstyle \hat{X}'_\alpha = - u'^k_\alpha(\mathbf{x})\partial_k</math> параметрам <math>\textstyle \mathbf{a}'</math>:

Версия 18:59, 27 сентября 2012

Нелинейные преобразования << Оглавление (Последняя версия в: Глава 5) >> Ковариантная электродинамика

Рассмотрим мерную поверхность в -мерном евклидовом пространстве. Размерность поверхности определяется числом уравнений которые её задают. Например, плоская одномерная окружность единичного радиуса в 3-мерном пространстве может быть определена как линия пересечения плоскости и сферы: \parbox{7cm}{\includegraphics{pic/sphere_plane.eps}} \parbox{5cm}{

} Уравнений два, пространство 3-мерно, следовательно размерность этой поверхности равна (это линия). В общем случае мерная поверхность определяется при помощи уравнений:

(EQN)

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

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

Система уравнений () инвариантна относительно группы с генераторами , когда выполняются уравнения:

Черта с индексом обозначает, что эти уравнения необходимо брать на поверхности, т.е. подставлять в них решения системы ().

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

Например, уравнение параболоида вращения может быть записано в виде:

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

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

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

Говоря о геометрии необходимо помнить, что речь идет не только об обычном физическом 2-мерном или 3-мерном пространстве. Природа рассматриваемых пространств, на самом деле, может быть достаточно разнообразной. Рассмотрим, например, пространство скоростей, каждая точка которого соответствует определенной скорости некоторого объекта. Два различных объекта, движущихся с одинаковой скоростью, в этом пространстве будут соответствовать одной и той-же точке. Понятно, что подобное пространство скоростей имеет три измерения. Его можно наделить геометрическими свойствами, задав расстояние между двумя точками и способ параллельного переноса.

В классической механике пространство скоростей обладает евклидовой геометрией, а преобразование Галилея (сложение трех векторов) связано с евклидовой теоремой Пифагора. В теории относительности пространство скоростей уже имеет геометрию Лобачевского (см.главу ). Соответственно их группы симметрий оказываются различными.

Как мы знаем, свойства тех или иных групп симметрий (линейных или нелинейных) определяются структурными константами. Эти константы начинают играть роль фундаментальных физических констант, когда та или иная группа находит свое место в наших математических моделях при описании физической реальности.

Как уже упоминалось (стр.\,\pageref{sym_non_lin_dif_x}), можно использовать различные способы параметризации группового преобразования. Другими словами, в рамках одной и той же группы можно перейти к новым параметрам , связанными некоторой зависимостью со старыми параметрами . При таком преобразовании меняются операторы генераторов группы. Причем генераторы для новых параметров линейным образом выражаются через генераторы для старых. Действительно, пусть , тогда:

где предполагается, что в обоих параметризациях нулевые параметры соответствуют единичному преобразованию и введено обозначение для матрицы производных , вычисленных в нуле. Теперь можно записать связь генераторов по параметрам и генераторов Невозможно разобрать выражение (Ошибка преобразования. Сервер («https://wikimedia.org/api/rest_») сообщил: «Cannot get mml. TeX parse error: Double exponent: use braces to clarify»): {\displaystyle \textstyle {\hat {X}}'_{\alpha }=-u'_{\alpha }^{k}(\mathbf {x} )\partial _{k}} параметрам :

Оба набора генераторов удовлетворяют алгебрам Ли: Невозможно разобрать выражение (Ошибка преобразования. Сервер («https://wikimedia.org/api/rest_») сообщил: «Cannot get mml. TeX parse error: Double exponent: use braces to clarify»): {\displaystyle \textstyle [{\hat {X}}'_{\alpha },{\hat {X}}'_{\beta }]=c'_{\alpha \beta }^{\gamma }{\hat {X}}'_{\gamma }} . Подставляя линейное преобразование во вторую алгебру и вынося постоянные коэффициенты за коммутатор, имеем:

Невозможно разобрать выражение (Ошибка преобразования. Сервер («https://wikimedia.org/api/rest_») сообщил: «Cannot get mml. TeX parse error: Double exponent: use braces to clarify»): {\displaystyle [{\hat {X}}'_{\alpha },{\hat {X}}'_{\beta }]=A_{\alpha }^{\mu }A_{\beta }^{\nu }\,[{\hat {X}}_{\mu },{\hat {X}}_{\nu }]=A_{\alpha }^{\mu }A_{\beta }^{\nu }\,c_{\mu \nu }^{\sigma }{\hat {X}}_{\sigma }=c'_{\alpha \beta }^{\tau }{\hat {X}}'_{\tau }=A_{\tau }^{\sigma }\,c'_{\alpha \beta }^{\tau }{\hat {X}}_{\sigma }.}

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

Невозможно разобрать выражение (Ошибка преобразования. Сервер («https://wikimedia.org/api/rest_») сообщил: «Cannot get mml. TeX parse error: Double exponent: use braces to clarify»): {\displaystyle A_{\alpha }^{\mu }A_{\beta }^{\nu }\,c_{\mu \nu }^{\sigma }=A_{\tau }^{\sigma }\,c'_{\alpha \beta }^{\tau }.}

Сворачивая обе части этого соотношения с обратной матрицей , для которой , окончательно, получаем:

Невозможно разобрать выражение (Ошибка преобразования. Сервер («https://wikimedia.org/api/rest_») сообщил: «Cannot get mml. TeX parse error: Double exponent: use braces to clarify»): {\displaystyle c'_{\alpha \beta }^{\gamma }={\tilde {A}}_{\sigma }^{\gamma }A_{\alpha }^{\mu }A_{\beta }^{\nu }\,c_{\mu \nu }^{\sigma }.}

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

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

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

Невозможно разобрать выражение (Ошибка преобразования. Сервер («https://wikimedia.org/api/rest_») сообщил: «Cannot get mml. TeX parse error: Double exponent: use braces to clarify»): {\displaystyle c'_{\alpha \beta }^{\gamma }={\tilde {A}}_{\sigma }^{\gamma }(A_{\alpha }^{1}A_{\beta }^{2}\,c_{12}^{\sigma }+A_{\alpha }^{2}A_{\beta }^{1}\,c_{21}^{\sigma })=(A_{\alpha }^{1}A_{\beta }^{2}-A_{\alpha }^{2}A_{\beta }^{1})\,{\tilde {A}}_{\sigma }^{\gamma }\,c_{12}^{\sigma },}

По верхним же индексам происходит перемешивание констант:

Невозможно разобрать выражение (Ошибка преобразования. Сервер («https://wikimedia.org/api/rest_») сообщил: «Cannot get mml. TeX parse error: Double exponent: use braces to clarify»): {\displaystyle c'_{12}^{1}=J\,({\tilde {A}}_{1}^{1}\,c_{12}^{1}+{\tilde {A}}_{2}^{1}\,c_{12}^{2}),}
Невозможно разобрать выражение (Ошибка преобразования. Сервер («https://wikimedia.org/api/rest_») сообщил: «Cannot get mml. TeX parse error: Double exponent: use braces to clarify»): {\displaystyle c'_{12}^{2}=J\,({\tilde {A}}_{1}^{2}\,c_{12}^{1}+{\tilde {A}}_{2}^{2}\,c_{12}^{2}),}

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

(EQN)

(когда обе структурные константы равны нулю) и с неабелевой:

(EQN)

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

Зная структурные константы, можно решить уравнения (), стр.\,\pageref{group_defeq4}. При этом, правда, потребуется определенная изобретательность, так как получаются 2 нетривиальных уравнения для 4-х неизвестных функций . Разложением в ряд несложно убедиться, что приближенное линейное соотношение оказывается точным, и для алгебры (), имеем (индексы опущены вниз, ):

Уравнения (), стр.\,\pageref{group_defeq3} приводят к следующей системе

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

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

(EQN)

где — символ Леви-Чевиты, обеспечивающий антисимметричность структурных констант по нижним индексам. Сворачивая алгебру Ли с символом по и , получаем:

(EQN)

Если тождество Якоби (), стр.\,\pageref{group_jacobi} для структурных констант

свернуть по трем индексам с , получается следующее соотношение:

(EQN)

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

Симметричный тензор определяется 6-ю параметрами, а вектор — тремя, поэтому мы по-прежнему имеем 9 независимых параметров. В этом представлении структурных констант, тождество Якоби () принимает вид:

(EQN)

При переходе к новой параметризации тензорные выражения и преобразуются аналогично :

(строго говоря, если матрицы не являются ортогональными, для тензорности введенных величин, символ Леви-Чевиты необходимо дополнительно умножить на якобиан преобразования \cite{StepanovVec}, однако для дальнейшего это не существенно). Подобными преобразованиями симметричный тензор всегда можно сделать диагональным: . Поэтому в подходящей параметризации он будет определяться только 3-мя независимыми параметрами . Соответственно, условие () принимает вид: , где — компоненты вектора .

Полагая в () индекс получаем выражения для трех коммутаторов, зависящие от 6-ти параметров:

При этом, если все отличны от нуля, то должны быть нулевыми и т.д. для выполнения тождества Якоби: . Кроме вращений, диагонализирующих можно умножить операторы на произвольные ненулевые числа (масштабное преобразование параметров). Это позволяет сделать коэффициенты при генераторах в правой части равными . Наконец, нумерация параметров преобразования (и генераторов) произвольна. Принципиально различными являются случаи, когда все — нулевые, только 2 из них нулевые, и т.д. При ненулевых значениях они могут быть равны как 1, так и -1. На основе подобных соображений строится классификация 3-х параметрических групп, проделанная Луиджи Бианки в 1918 г. Возможны различные способы классификации (см., например, \cite{Landau2_2003},\cite{Petrov1966}) Мы приведем вариант такой классификации, следуя \cite{Landau2_2003} ( и в первой колонке — классификационный индекс):

Тип I является абелевой группой трансляций в евклидовом пространстве. Тип IX также соответствует трансляциям, но уже в пространстве постоянной положительной кривизны (глава ), 2-мерным аналогом которого является сфера. Этот же тип имеет алгебру Ли линейных групп и . Третье однородное и изотропное пространство постоянной отрицательной кривизны (пространство Лобачевского) связано с типом V. Как мы увидим в главе , это пространство описывает пространство скоростей теории относительности.


Нелинейные преобразования << Оглавление (Последняя версия в: Глава 5) >> Ковариантная электродинамика

Релятивистский мир - лекции по теории относительности, гравитации и космологии