Группы симметрий в задачах математической физики
В математической физике группы и их представления играют фундаментальную роль в описании симметрий физических систем. Под группой понимается множество G, снабжённое бинарной операцией ⋅, удовлетворяющей следующим аксиомам:
Если операция коммутативна, то группа называется абелевой.
Пусть G — группа, X — множество. Действие группы G на X — это отображение
G × X → X, (g, x) ↦ g ⋅ x
удовлетворяющее условиям:
Такие действия используются, например, при изучении симметрий уравнений в частных производных, преобразованиях координат, а также в квантовой механике при описании операторов симметрии.
Группы, обладающие одновременно структурой гладкого многообразия, называются группами Ли. Примеры:
Параметризация элементов группы Ли осуществляется через экспоненциальное отображение:
g = exp (taTa),
где Ta — базис алгебры Ли, а ta — реальные параметры.
Сопутствующей группе Ли структурой является алгебра Ли, определяемая как касательное пространство к единичному элементу группы с введённой операцией коммутатора:
[Ta, Tb] = fabcTc,
где fabc — структурные коэффициенты алгебры.
Пример: алгебра ????????(3) вращений в трёхмерном пространстве:
[Ji, Jj] = εijkJk,
где Ji — генераторы вращений, εijk — символ Леви-Чивиты.
Представление группы G — это гомоморфизм D : G → GL(V), где V — векторное пространство. То есть каждому элементу группы сопоставляется обратимый линейный оператор:
D(g1g2) = D(g1)D(g2), D(e) = I.
В квантовой механике представления групп реализуются как унитарные операторы на гильбертовом пространстве состояний. Спектры гамильтонианов, инвариантность лагранжианов, выбор допустимых состояний — всё это определяется свойствами представлений группы симметрий системы.
Инварианты группы — это величины, сохраняющиеся при действии группы. В математической физике это, например, интегралы движения, сохраняющиеся при преобразованиях симметрии.
В алгебре Ли инварианты строятся через коммутативные подалгебры и операторы Казимира. Для группы SO(3) таким инвариантом является:
J⃗2 = Jx2 + Jy2 + Jz2,
который коммутирует со всеми генераторами:
[J⃗2, Ji] = 0.
Центральным результатом, связывающим группы и физику, является теорема Нётер: каждой непрерывной симметрии лагранжиана соответствует закон сохранения.
Пусть δqi = εξi(q, t) — бесконечно малое преобразование, оставляющее действие инвариантным. Тогда величина:
$$ Q = \sum_i \frac{\partial \mathcal{L}}{\partial \dot{q}^i} \xi^i $$
является сохраняющейся во времени.
Таким образом, симметрии определяют консервативные величины, лежащие в основе законов физики.
Во многих задачах физики — особенно в квантовой теории поля и спектроскопии — физические состояния классифицируются по неприводимым представлениям группы симметрии.
Примеры:
Разложение состояния в базис неприводимых представлений позволяет находить квантовые числа, уровни энергии и вероятности переходов.
Симметрия может быть использована для упрощения и даже интегрирования уравнений в частных производных. Например:
Групповые методы позволяют привести исходную задачу к инвариантной форме и использовать теорию представлений для её решения.
В теориях с флуктуациями, таких как теория турбулентности, симметрии рассматриваются в статистическом смысле. Групповые методы позволяют выделять инвариантные характеристики статистических ансамблей, такие как тензоры второго порядка, изотропные корреляционные функции и т.д.
Применение симметрий в статистической физике включает:
Методы Ли позволяют находить симметрии нелинейных дифференциальных уравнений. Это делается путём поиска векторных полей V = ξ(x, u)∂x + η(x, u)∂u, которые оставляют дифференциальное уравнение инвариантным.
Алгоритм включает:
Таким образом, теория групп лежит в основе как структурных, так и вычислительных методов в математической физике.