Пред.
След.
Макеты страниц
Распознанный текст, спецсимволы и формулы могут содержать ошибки, поэтому с корректным вариантом рекомендуем ознакомиться на отсканированных изображениях учебника выше Также, советуем воспользоваться поиском по сайту, мы уверены, что вы сможете найти больше информации по нужной Вам тематике 1. Непрерывная группа, образованная из совокупности всех вещественных ортогональных $n$-мерных матриц, называется $n$-мерной группой вращений. Группа чистых вращений включает ортогональные матрицы только с определителем +1 , тогда как группа вращений и отражений включает также матрицы с определителем -1; таким образом, последняя содержит все вещественные ортогональные матрицы. Групповое умножение является снова матричным умножением, а тождественным элементом является единичная матрица. В гл. 3 мы видели, что всякая вещественная ортогональная матрица может быть приведена к диагональному виду с помощью унитарной матрицы. Тогда абсолютные величины всех диагональных элементов равны 1 ; некоторые диагональные элементы равны +1 , другие равны – -1 , а остальные состоят из сопряженных пар комплексных чисел $e^{i \varphi}$ и $e^{-i \varphi}$. Собственные векторы, соответствующие собственным значениям +1 или -1 , могут быть записаны в вещественном виде, а пары собственных векторов, соответствующие двум комплексно сопряженным собственным значениям, – в виде комплексно сопряженных векторов. Так как эти собственные векторы, как и всякие собственные векторы, ортогональны в эрмитовом смысле, они ортогональны сами себе в комплексном ортогональном смысле; иначе говоря, сумма квадратов их компонент равна нулю. Как известно, $n$-мерная ортогональная матрица представляет преобразование от одной системы ортогональных осей к другой, т. е. вращение осей координат. Из ортогональности этой матрицы следует, что каждая пара осей новой системы координат ортогональна и что единица длины новых осей координат та же, что и была для старых. Группа чистых вращений содержит только преобразования от одной „правой“ системы координат к другой \”правой“ системе; группа вращений и отражений включает также преобразования от правой системы координат к левой и, наоборот. Последние преобразования часто называются несобственными вращениями. свободных параметров. Общий 9лемент двумерной группы чистых вращений получается путем преобразования к новой системе координат на плоскости ${ }^{1}$ ) где $\varphi-$ угол вращения, принимающий значения от $-\pi$ до $+\pi$. Общий элемент группы имеет, таким образом, вид Второе преобразование – переход от $x^{\prime} y^{\prime}$ к $x^{\prime \prime}$, $y^{\prime \prime}$ путем вращения системы координат на угол $\varphi^{\prime}$ – приводит к произведению Двумерная группа чистых вращений является абелевой, так как она имеет только один параметр. Если мы введем обозначение $\{\varphi\}$ гл. 10 для элемента группы с параметром $\varphi$, то соотношение (14.3) может быть записано в виде Если $\varphi+\varphi^{\prime}$ не лежит между $-\pi$ и $+\pi$, должно быть добавлено или вычтено целое число углов $2 \pi$, чтобы угол $\varphi+\varphi^{\prime}$ попал в область, в которой допускается изменение параметра. Для матрицы (14.2) угол $\varphi$ является комплексной фазой собственного значения $\exp ( \pm i \varphi)$. Столбцы единичной матрицы $\mathbf{u}$, которая диагонализует (14.2), определяется из соотношений с точностью до множителя с абсолютной величиной 1 (который может быть выбран произвольно). Эти условия дают $u_{11}=1 / \sqrt{2}$, $u_{21}=-i / \sqrt{2}, u_{12}=1 / \sqrt{2}, u_{22}=+i / \sqrt{2}$, и мы имеем Таким образом, собственные векторы одни и те же для всех матриц (14.2). Поскольку двумерная группа чистых вращений является абелевой, каждый элемент образует класс сам по себе. Матрицы (14.2) и (14.2a), где $-\pi \leqslant \varphi \leqslant \pi$, образуют двумерную группу вращений и отражений. Все матрицы (14.2a) имеют собственные значения +1 и – 1 . Они имеют различные собственные векторы $\boldsymbol{u}_{\cdot 1}=[\cos (\varphi / 2), \sin (\varphi / 2)], \boldsymbol{u}_{\cdot 2}=[-\sin (\varphi / 2), \cos (\varphi / 2)]$, тогда как все матрицы (14.2) имеют все одинаковые собственные векторы, но различные собственные значения. Мы можем непосредственно проверить, что матрица, образованная из этих двух векторов, преобразует диагональную матрицу к виду (14.2a): Выражение для несобственного вращения (14.2а) в виде произведения (14.5а) иллюстрирует то обстоятельство, что всякое несобственное вращение (14.2а) может рассматриваться как чистое отражение в прямой линии; соотношение (14.5а) означает, что (14.2a) получается путем, во-первых, вращения на угол $\varphi / 2, з а$ тем отражения относительно оси $x$, и наконец, вращения назад на угол $-\varphi / 2$. С другой стороны, то же отражение могло бы быть произведено относительно линии, составляющей угол $\varphi / 2$ с осью $x$. Двумерная группа вращений и отражений является смешанной непрерывной группой. Наиболее естественная параметризация этой группы использует непрерывный параметр $\varphi$ и дискретный параметр $d$. Последний представляет собой определитель, т. е. равен $\pm 1$. Тогда мы имеем Эта группа не является более абелевой; матрицы (14.2а) не коммутируют, а также не имеют общих собственных векторов. Разбиение группы на классы также меняется: (14.5a) показывает, что все элементы (14.2a) принадлежат одному классу, так как они все могут быть преобразованы в $\{0,-1\}$. Однако элементы (14.2) уже не образуют класса каждый в отдельности; например, и, следовательно, $\{\varphi, 1\}$ и $\{-\varphi, 1\}$ принадлежат одному и тому же классу. В этом классе не может быть других элементов, так как все остальные имеют другие собственные значения и не могут быть преобразованы в один из этих двух. в гл. 10 существует такой инвариантный интеграл по области двумерной группы чистых вращений, что соотношение выполняется для всех элементов группы $R$ при условии, что $g(T)$ определяется (10.9): где $p(T)$ – параметр элемента $T$. Таким образом, инвариантный интеграл равен Все неприводимые представления двумерной группы чистых вращений одномерны. Действительно, это справедливо для всех абелевых групп; непрерывные абелевы группы являются лишь частным случаем. Рассмотрим многомерное, скажем двумерное, представление. Мы можем привести некоторую матрицу этого представления к диагональному виду. Если два диагональных элемента не были бы равными, матрица имела бы вид так что все матрицы, коммутирующие с ней – и, следовательно, все матрицы этого представления – имели бы только нули на пересечениях строк и столбцов с различными диагональными элементами матрицы (14.Е.1); тогда представление было бы приводимым. Если бы это не имело места, то все собственные значения матрицы (14.Е.1) были бы равными и матрица была бы постоянной. Тогда она имела бы диагональный вид даже до преобразования. Но это верно для любой матрицы этого представления, так что они все были бы кратными единичной матрице, и представление было бы, следовательно, приводимым. и, таким образом, Так как матрица для $\varphi=-\pi$ должна совпадать с матрицей для $\varphi=+\pi$, мы должны иметь $\exp (i k \pi)=\exp (-i k \pi)$; следовательно, $\exp (2 i k \pi)=1$. Отсюда следует, что $k$ является вещественным целым числом. Двумерная группа чистых вращений имеет бесконечно много неприводимых представлений, и все они одномерны. Матрица $m$-го представления, соответствующая элементу (14.2) с углом вращения $\varphi$, равна Для каждого положительного и отрицательного целого числа, $m=\ldots-4,-3,-2,-1,0,+1,+2,+3, \ldots$, существует одно определенное неприводимое представление двумерной группы чистых вращений. являются как раз соотношениями ортогональности рядов Фурье. Полнота набора коэффициентов представления является также полнотой системы функций, по которой производятся разложения Фурье. Рассмотрим уравнение для гармонических полиномов от двух переменных Ясно, что оно инвариантно относительно всех преобразований (14.6). Далее, решение уравнения (14.12), являющееся однородной функцией степени $m$ относительно переменных $x$ и $y$, преобразуется оператором $\mathbf{P}_{R}$ [где $R$ – преобразование вида (14.6)] в полином того же вида, так как преобразование $\mathbf{P}_{R}$ линейно относительно переменных $x$ и $y$ : Таким образом, если $f(x, y)$ является однородной функцией $m$-й степени, то тем же свойством обладает и $\mathrm{P}_{R} f$. Уравнение (14.12) совпадает с одномерным волновым уравнением с мнимой скоростью $i$. Его общее решение имеет вид Если $f(x, y)$ – однородная функция степени $m$ относительно $x$ и $y$, то $f_{+}$и $f_{-}$должны (с точностью до постоянного множителя) определятся выражениями Представление $\mathbf{3}^{(m)}(\{\varphi, d\})$, принадлежащее этим функциям, двумерно. Его первый столбец (-) определяется с помощью (11.23) и (14.14); Будучи записанным через коэффициенты представления, это дает Следовательно, эти коэффициенты даются выражениями Другой столбец (+) может быть определен тем же способом через функции $f_{+}$. Матрица $\mathfrak{3}^{(m)}(\{\varphi, 1\})$, соответствующая в этом представлении чистому вращению на угол $\varphi$, оказывается равной Функция $f_{-}$принадлежит строке (-) (или первой) матрицы $\mathbf{3}^{(m)}$; функция $f_{+}$- строке (+) (или второй). Эти представления неприводимы и различны при $m=1,2,3, \ldots$. Только диагональная матрица коммутирует с (14.18), но никакая диагональная матрица, кроме постоянной матрицы, не коммутирует c.(14.18a). Матрицы (14.6) являются, разумеется, также „представлением\” их собственной группы. Это представление эквивалентно частному представлению $m=1$ в (14.18), (14.18a); матрица, использованная в (14.5), преобразует (14.6) к виду (14.18), (14.18a). Следует заметить, что (14.18) и (14.18a) также осуществляют представление при $m=0$. Однако оно не является неприводимым, так как в этом случае всякая матрица коммутирует с (14.18); следовательно, в этом специальном случае мы можем диагонализовать (14.18a) и разделить это представление на две неприводимые компоненты Коэффициенты представления $\mathbf{3}^{(m)}(\{\varphi, d\})_{\text {土t }}$ образуют полную систему функций в пространстве $\varphi$ и $d$. Это значит, что всякую функцию $g(\varphi, d)$ ( $\varphi$ изменяется от $-\pi$ до $+\pi$, а $d$ равно либо +1 , либо -1) можно записать в виде их линейной комбинации. Функции $\frac{1}{2}\left(\mathbf{3}^{(0)}+\mathbf{3}^{\left(0^{\prime}\right)}\right), \mathbf{3}_{–}^{(1)}, \mathbf{3}_{++}^{(1)}, \mathbf{3}_{–}^{(2)}, \mathbf{3}_{++}^{(2)}, \ldots$ задаются последовательностью 1, $\exp (-i \varphi), \exp (i \varphi), \exp (-2 i \varphi), \exp (2 i \varphi), \ldots$ при $d=1$ и исчезают при $d=-1$; с другой стороны, функции $\frac{1}{2}\left(\mathbf{3}^{(0)}-\mathbf{3}^{\left(0^{\prime}\right)}\right), \mathbf{3}_{+–}^{(1)}, \mathbf{3}_{-+}^{(1)}, \mathbf{3}_{+-}^{(2)}, \mathbf{3}_{-+}^{(2)}, \ldots$ равны нулю при $d=1$ и, следовательно, равны $1, \exp (-i \varphi), \exp (i \varphi), \quad \exp (-2 i \varphi)$, $\exp (2 i \varphi), \ldots$ при $d=-1$. Функция $g(\varphi, 1)$ может быть выражена в виде линейной комбинации первого набора, а $g(\varphi,-1)$ – второго. Из того обстоятельства, что рассмотренные матричные элементы образуют полную систему в пространстве параметров, следует, что, откуда Угол вращения $\varphi$ проще всего определить, приравняв сумму собственных значений следу матрицы, где $\varphi$ принимает значения между 0 и $\pi$. Матрица v, столбцами которой являются собственные векторы $\mathbf{v}^{\dagger} \mathbf{a v}$ является диагональной матрицей с собственными значениями 1 , $\exp (-i \varphi), \exp (+i \varphi)$ в качестве диагональных элементов. Запишем теперь $\mathbf{V}=\mathbf{v v}_{0}$, где $\left.{ }^{2}\right)$ Можно принять, что в этом уравнении $\mathbf{V}$ представляет чистое вращение, так как мы могли бы умножить ее на -1 , если бы ее определитель равнялся – 1 , и (14.25) осталось бы без изменения. Из (14.25) видно, что все вращения с одним и тем же углом вращения ч принадлежат одному и тому же классу, поскольку они все могут быть преобразованы в $\varepsilon_{\varphi}$. С другой стороны, матрицы, угол вращения которых отличен от $\varphi$, не могут принадлежать одному и тому же классу, так как они имеют различные собственные значения и поэтому не могут быть преобразованы в $\varepsilon_{\varphi}$. Геометрическую интерпретацию этого изложения дает хорошо известная теорема, согласно которой всякое ортогональное преобразование в трехмерном пространстве может быть представлено как вращение вокруг соответствующим образом выбранной оси $\boldsymbol{\eta}_{.1}$. (Так как $\mathbf{a} \boldsymbol{\theta}_{\cdot 1}=\boldsymbol{\theta}_{.1}$, ось вращения не меняется при вращении.) Если преобразование переводит дугу $X Z$ на фиг. 6 в дугу $X^{\prime} Z^{\prime}$, то ось вращения должна лежать на перпендикулярах, восстановленных в серединах дуг $Z Z^{\prime}$ и $X X^{\prime}$ и, следовательно, в точке их пересечения $C$. Действительно, вращение вокруг $C$ преобразует $Z$ в $Z^{\prime}$ и $X$ в $X^{\prime}$ : из равенства двух треугольников $Z C X$ и $Z^{\prime} C^{\prime} X^{\prime}$ (три стороны их равны) следует, что углы $Z C X$ и $Z^{\prime} C^{\prime} X^{\prime}$ равны, а поэтому углы $Z C Z^{\prime}$ и $X C X^{\prime}$ также равны и равны углу вращения $\varphi$. Вращение на угол $\varphi$ может быть преобразовано в другое вращение с тем же углом вращения, если ось первого вращения привести в совпадение с осью второго вращения путем вращения $V$, выполнить затем вращения на угол $\varphi$ и, наконец, вернуть ось в ее первоначальное положенне с помощью $\mathrm{V}^{-1}$. Для однозначной характеристики вращений оси вращения должно быть придано определенное направление, которое задает также знак вектора $\boldsymbol{v}_{.1}$. Вращение будет происходить по часовой стрелке, если смотреть вдоль положительного направления оси. Параметризация (фиг. 1, стр. 110) трехмерной группы чистых вращений, которая обсуждалась в гл. 10 , основана на этих характеристиках. Вращение на угол $\varphi$ вокруг оси $\boldsymbol{v}_{1}$ соответствует точке на расстоянии $\varphi$ от начала в направлении $\boldsymbol{v .}_{1}^{1}$ ). Угол вращения всегда однозначно определяется вращением. Для вращения с $\varphi=0$ (которое фактически вовсе не является вращением) направление оси вращения не определено; тем не менее соответствующая точка в пространстве параметров определяется однозначно: она является центром сферы. На поверхности сферы $\varphi=\pi$ в пространстве параметров направление оси вращения не определяется однозначно; вращения на угол $\pi$ вокруг противоположно направленных осей совпадают. Поэтому одно и то же вращение соответствует противоположным точкам сферической поверхности. В остальных случаях соответствие вращений точкам в пространстве параметров взаимно однозначно. Элементы определенных классов лежат на концентрических сферах. Для этой системы параметров можно также легко сформулировать инвариантный интеграл Гурвица. Так как точки на сферической поверхности радиуса $\varphi$ соответствуют вращениям на один и тот же угол, но вокруг осей, направленных по-разному, и так как все оси вращения в пространстве эквивалентны, $g\left(\left\{\varphi v_{11}, \varphi v_{21}, \varphi v_{31}\right\}\right)$ может зависеть только от угла вращения $\varphi$, но не от направления вектора $\boldsymbol{\eta}_{1}$. Таким образом, достаточно определить $g(\{\varphi, 0,0\})$. С этой целью [см. формулу (10.9)] сначала вычислим параметры произведения $\{\varphi, 0,0\} \cdot\left\{e_{1}, e_{2}, e_{3}\right\}$ для очень малых $e_{i}$, а затем устремим $e_{i}$ к нулю. Вращение $\left\{e_{1}, e_{2}, e_{3}\right\}$ задается выражением справедливым с точностью до первой степени величин $e_{l}$ [см. соотношение (14. 22)]. Для $\{\varphi, 0,0\}\left\{e_{1}, e_{2}, e_{3}\right\}=\varepsilon_{\varphi}\left\{e_{1}, e_{2}, e_{3}\right\}$ получим Из (14.22) мы получим направление оси вращения: В сочетании с условием нормировки ${v_{11}^{\prime 2}}^{2}+{v_{21}^{\prime 2}}^{\prime 2}+{v_{13}^{\prime 2}}^{2}=1$ это дает (с учетом лишь членов первого порядка по $e$ ) Таким образом, параметрами $\{\varphi, 0,0\} \cdot\left\{e_{1}, e_{2}, e_{3}\right\}$ являются При $e_{1}=e_{2}=e_{3}=0$ получаем в точности параметры вращения $\varepsilon_{\varphi}$, т. е. $\varphi, 0,0$. При $e_{1}=e_{2}=e_{3}=0$ интересующий нас якобиан равен Таким образом, для весовой функции $g$ [формула (10.9)] получаем Вычисление инвариантного интеграла функции $J(R)=J(\varphi)$, имеющей одно и то же значение для всех элементов класса (как, например, характер представления), также довольно просто. Интегрирование в пространстве параметров может быть выполнено тогда сначала по сферической поверхности ( $\varphi=$ const), т. е. по всем элементам одного класса, что дает $4 \pi \varphi^{2}$, а затем по $\varphi$, т. е. по всем различным классам. Таким образом, для интеграла Гурвица получаем
|
1 |
Оглавление
|