Спинорное исчисление
Спинорное исчисление, математическая теория, изучающая величины особого рода - спиноры. При изучении физических величин их относят обычно к той или иной системе координат. В зависимости от закона преобразования этих величин при переходе от одной системы координат к другой различают величины различных типов (тензоры, псевдотензоры). При изучении явления спина электрона было обнаружено, что существуют физические величины, не принадлежащие к ранее известным типам (например, эти величины могут быть определены лишь с точностью до знака, т. к. при повороте системы координат на 2p вокруг некоторой оси все компоненты этих величин меняют знак). Такие величины были рассмотрены ещё в 1913 Э. Картаном в его исследованиях по теории представлений групп и вновь открыты в 1929 Б. Л. Варденом в связи с исследованиями по квантовой механике. Он назвал эти величины спинорами.
Спиноры первой валентности задаются двумя комплексными числами (x1, x2 ), причём в отличие, например, от тензоров, для которых различные совокупности чисел задают различные тензоры, для спиноров считают, что совокупности (x1, x2) и (-x1, -x2) определяют один и тот же спинор. Это объясняется законом преобразования спиноров при переходе от одной системы координат к другой. При повороте системы координат на угол q вокруг оси с направляющими косинусами cosc1, cosc2, cosc3 компоненты спинора преобразуются по формулам ?
где б , , , , , , .
В частности, при повороте системы координат на угол 2p, возвращающем её в исходное положение, компоненты спинора меняют знак, что объясняет тождественность спиноров (x1, x2) и (-x1, -x2). Примером спинорной величины может служить волновая функция частицы со спином 1/2 (например, электрона).
Матрица ?является в этом случае унитарной матрицей.
К спинорам относят и величины, компоненты которых ?комплексно сопряжены с компонентами спинора (x1, x2). Матрица преобразования этих величин имеет вид .
Пусть Oxyz и 0'х'у'z' - две системы координат с параллельными осями, причём O'x'y'z' движется относительно Охуz со скоростью v = cthq (где с - скорость света) в направлении, образующем с осями координат углы c1, c2, c3. При Лоренца преобразованиях, соответствующих переходу от Oxyz к O'x'y'z', компоненты спинора преобразуются по формулам , ,
где б , , , , , , .
Если рассматривают преобразования Лоренца для случая, когда оси координат непараллельны, то матрица о преобразования компонент спинора может быть любой комплексной матрицей второго порядка, определитель которой равен единице, - унимодулярной матрицей.
Наряду с введёнными выше контравариантными компонентами x1, x2 спинора, можно ввести ковариантные компоненты x1, x2 положив , где ?(как всегда, по повторяющимся индексам производится суммирование). Иными словами, x2 = x1, x1 = -x2. Ковариантные компоненты преобразуются матрицей . При вращениях эта матрица совпадает с матрицей s, т. е. при вращениях ковариантные компоненты спинора преобразуются как компоненты комплексно сопряжённого спинора.
Спинорная алгебра строится аналогично обычной тензорной алгебре (см. Тензорное исчисление). Спинором валентности r (или спинтензором) называется совокупность 2r комплексных чисел , определённых с точностью до знака, которая при переходе от одной системы координат к другой преобразуется как произведение r компонент спиноров первой валентности, т. е. как . Аналогично определяются комплексно сопряжённый спинор валентности r, смешанный спинор, спинор с ковариантными компонентами и т. д. Сложение спиноров и умножение спинора на скаляр определяются покоординатно. Произведением двух спиноров называется спинор, компонентами которого являются попарные произведения компонент сомножителей. Например, из спиноров второй и третьей валентности и ?можно образовать спинор пятой валентности ?. Свёрткой спинора ?по индексам l1 и l2 называется спинор .
В спинорной алгебре часто используются тождества , .
В квантовой механике важную роль играет исследование систем линейных дифференциальных уравнений, связывающих величины спинорного типа, которые остаются инвариантными при унимодулярных преобразованиях, т. к. только такие системы уравнений релятивистски инвариантны. Наиболее важны приложения спинорного анализа к теории уравнений Максвелла и Дирака. Запись этих уравнений в спинорной форме позволяет сразу установить их релятивистскую инвариантность, установить характер преобразования входящих в них величин. Спинорная алгебра находит также приложения к квантовой теории химической валентности. Теория спиноров в пространствах высшего числа измерений связана с представлениями групп вращений многомерных пространств. С. и. связано также с некоторыми вопросами неевклидовой геометрии.
Лит.: Румер Ю. Б., Спинорный анализ, М. - Л., 1936; Картан Э., Теория спиноров, пер. с франц., М., 1947; Ландау Л., Лифшиц Е., Квантовая механика, ч. 1, М. - Л., 1948 (Теоретическая физика, т. 5, ч. 1 ); Рашевский П. К., Риманова геометрия и тензорный анализ, 3 изд., М., 1967; его же, Теория спиноров, "Успехи математических наук", 1955, т. 10, в. 2(64).