Модификация кватернионного метода описания поворотов с помощью ортогональных проекций

Автор: Цыплова И.Е., Глухова Н.В., Голубков А.В.

Журнал: Пространство, время и фундаментальные взаимодействия @stfi

Рубрика: Гравитация, космология и фундаментальные поля

Статья в выпуске: 2 (43), 2023 года.

Бесплатный доступ

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

Еще

Вращения в пространстве, вектор, ортогональная проекция, ортогональная составляющая, кватернионы

Короткий адрес: https://sciup.org/142239965

IDR: 142239965   |   DOI: 10.17238/issn2226-8812.2023.2.47-53

Текст научной статьи Модификация кватернионного метода описания поворотов с помощью ортогональных проекций

Кватернионы являются сравнительно новым, но уже зарекомендовавшим себя математическим инструментом современной физики. С помощью кватернионов удалось достигнуть прогресса в описании такого понятия квантовой механики, как спинор [1-3]. Понятие кватернионных пространств оказывается плодотворным в применении к описанию целого ряда физических объектов -от систем отсчета до полей и собственно пространств [4]. Одним из простейших, но весьма иллюстративных примеров применения кватернионов является описание ньютоновской механики в системе отсчёта наблюдателя, представленной кватернионным репером. В частности, для произвольно вращающейся системы отсчета, неинерциальное движение которой складывается из ускоренных трансляций тела отсчёта и любых вращений координатных осей, удобным оказывается рассмотрение кватернионных базисов (Q-триад) направляющих оси координат, и их поворотов. Более глубокий кватернионный анализ позволяет описывать и ситуацию с ускоренным движением тела отсчёта наблюдателя [4]. Именно на языке кватернионов Дж. Максвелл впервые записал свои уравнения электродинамики, и оказалось, что записанные в кватернионной форме вакуумные уравнения Максвелла являются аналогом условий Коши-Римана, то есть записав уравнение типа Коши-Римана, обобщающее условия аналитичности функции комплексного переменного на функцию гиперкомплексного переменного, можно получить в точности систему уравнений электродинамики Максвелла [4]. В работе [5] показано, что преобразование Хопфа можно удобно представить в терминологии кватернионов. Очень удобным оказывается описание понятий дифференциальной геометрии в физике с применением кватернионов, таких как кручение [4] и сравнительно простого вывода соотношений сферической геометрии [4,6].

Широкое распространение получили кватернионы при описании поворотов в решении физических задач (кинематических задач ориентации твердого тела [6]. Квантово-механические результаты, основанные на теории кватернионов нашли и практическое применение в астрономии [7].

Решение задачи описания поворотов вектора вокруг оси в пространстве аналитическими методами весьма сложна. Одним из возможных подходов к решению таких задач является операторный метод [8] (когда вектор умножается на матрицу некоторого унитарного оператора, но для нахождения матрицы оператора необходимо найти результаты поворота трех базисных векторов, что тоже требует немалых усилий). И.Л. Кантором, А.С. Солодовниковым [9] был предложен метод описания поворотов при помощи кватернионов.

В этой работе показано, что если р — это некоторый нормированный вектор (т.е. вектор, длина которого равна 1), а 。一 это произвольный вектор, который перпендикулярен вектору р, то умножением слева на кватернион q = cos g + р sin g осуществляется поворот вектора вокруг оси р на угол g.

Действительно, если q = q + bi + cj + dk - это произвольный кватернион, модуль которого равен 1, то q 2 + b2 + c2 + d2 = 1.

Запишем, что q = q + q‘, г де q‘ — это вектор bi + cj + dk. Из то го, что |q| 2 + |q‘|2 = 1 следует существование такого угла g, что q = cos g, |q‘| = sin g.

Очевидно, что q‘ = |q‘|p, где р есть вектор длины 1. Значит, q = cosg + рsing.

Теперь умножим кватернион q на некоторый векторный кватернион ^, причём рассмотрим тот случай, когда вектор перпендикулярен вектору р. Получаем:

q = (cos g + р sin g) = cos g + р sin g.

Так как р перпендикулярен 。, то произведение р имеет действительную часть, равную нулю, а векторная часть равна вектору длины |р|| ] sin ^ = | |, который перпеидикуляреи р и и ориентирован относительно ри тем же образом, что ориентирован и вектор k относительно i и j. Обозначим этот вектор через и. Можно сказать, что вектор u получается из поворотом вокруг вектора рн а 2. Таким обра’зт получаем следутотттее равенство q = cos g+u sin g. Договоримся.

что поворот вокруг р — это поворот в том направлении, в котором осуществляется кратчайший поворот от г к j (вокруг к) — это правило обычно известно как «правило правой руки».

Таким образом, приходим к выводу, что вектор qv получается поворотом вектора на угол g вокруг оси вектора р. Однако, такое правило работает не для произвольного вектора, а лишь для вектора v. который перпендикулярен р.

Для того, чтобы представить в кватернионной форме поворот вокруг оси р вообще любого вектора v. необходимо усложнить действия над вектором v. Нужно ^заменить обычное умііожеіше на q слева более сложным выражением qvq-1. где q-1 является кватернионом. обратным q. то есть таким, что qq-1 = 1.

q -1 = cos р sin / так как

(cos / + р sin g)(cos / - р sin /) = cos2 / - р2 sin2 / = cos2 / + sin2 / = 1.

qvq-1 = qv cos / + qu sin /.

Правая часть равенства — это вектор, который получен из qv поворотом на угол / вокруг оси р. А так как вектор qv получается из v тем е поворотом, что ii qvq -1 из вектора qv. то вектор qvq-1 получается из v повороте)м на угол 2/ вокруг оси р.

Итак, произвольный вектор v при повороте на угол 2/ вокруг оси р переходит в вектор qvq-1, где q = cosg+рsing [9]. При этом необходимо не забыть поделить реальный угол поворота на 2. что достаточно часто существенно усложняет вычисления (например, вместо поворота на табличный угол 45 ° приходится выполнять вычисления с углом 22, 5 ° ii т.п.).

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

  • 1.    Результаты и обсуждение

В настоящей работе мы предлагаем другой, более рациональный с нашей точки зрения, способ решения задач данного типа. Идея метода состоит в нахождении проекции вращаемого вектора на ось вращения и разложении его на сумму ортогональной проекции и ортогональной составляющей. В силу линейности операции вращения [10] можно осуществить поворот каждого слагаемого отдельно. Но очевидно, что результатом вращения ортогональной проекции (как вектора лежащего на оси вращения) будет сам этот вектор. Поэтому проекция при повороте не изменится. Ортогональная же составляющая как раз будет являться вектором, ортогональным к оси вращения, поэтому для описания поворота ортогональной составляющей достаточно будет применить умно жение на кватернион слева, как это описано выше. Нахождение ортогональной проекции и ортогональной составляющей осуществляется при помощи алгоритма, описанного в работах Проскурякова И.В. [11], Шевцова Г.С. [12]. Сравним оба способа решения на примере нахождения результата поворота вектора т(1, 3, 5) вокруг вектора д(—1,0,1) на у гол ^.

Задача. Дан вектор т(1 , 3 , 5). Найти коордипаты вектора который получится при повороте вектора т на угол 2 вокруг вектора д(—1,0,1).

Предварительно проверим, не являются ли векторы т и g ортогональными. Очевидно, что их скалярное произведение (вычисленное стандартным образом: (т, g) = 1 ・(一 1)+3 0+5Т = 1+5 = 4 не равно 0. следовательно, векторы не ортогональны.

Далее нужно нормировать вектор g(—1,0,1). Для этого разделим его на его норму, которая равна У (—1)2 + 02 + 12 = ут =

  • g = / 2 ( ?| і + j + 击幻

    Примем за ось вращения вектор q = ? 2 * + ? 2 J


+ ♦-

Так как векторы т и у не ортогональны, искомый вектор t = qxq-1. Здесь q-1 — кватернион, обратный q.

q

cos g + p sin g

q-1 = cos g p sin g

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

qvq-1

2 2

- 2i+2 "•( i+3j+5k )•首 +2i - 2k

)

+

+

+

( (

(

-----i

1 і 2 +1 .І+3^2 L 3 І, + 3 封+憂左 22  2  22  2

=i + + 二+ j - 3 k - 2   22   2   2

3 І + 5^2 + 5, 222

- 5 + 5 餡] /С + 1 i - 1

2  2   222

- 5 ) ( 5+1 і - 1"=

- 2+

- 2+

2 - 3   3 2+6

i+—^j+

52 - 3      2

丁 “三+

2i - 2 "

2 - 3 2   6+6 2    10 - 3 2

i+--j+

2 - 3 k-i+^^

i2 +34+6 ji +

2- 上近+厶一s泳一冬2泳- 5^ 餡= 4   44   4

2 - 3 2   6+6 2    10 - 3 2       2 - 3

1               ■ j +--:....... k - i--:.....

- 2+

+

3 2+6

—^k+

5 2 - 3           2 - 3

j+k+^^j -

- 42 - 2+3+52 - 3

3 2+6   5 2 - 3

-i+

+

2 - 3 2 - 4 - 3 2 -

6 І+

6+6 2+5 2 - 3+ 2 - 3

j +

10 - 3 2 - 3 2 - 6+4

..................:.................k

- 8 - 6 2    12 2    8 - 6 2

-4i + j +

k = (-” - 2 ) і + 3 + (-” + 2 ) k.

Значит, вектор t имеет координаты (— 322 — 2, 3V2, — 322 + 2).

Второй способ: Разложим наш вектор т на два слагаемых: т = w + г, где вектор w коллинеарен оси вращения g(w = су), а г — ортогонален ей (вектор г — ортогональная составляющая, а вектор w — ортогональная проекция).

т = су + г

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

( Т, у) = (су + Z, у) = с®, у) + (z, у).

Так как z и у - ортогональны, поеледиее слагаемое равно 0. Следовательно, (т, у) = с(у,у).

Т.к. скалярное произведение (т, у) = 4, а (у, у) = 2, получим 4 = 2с. Значит, с = 2.

Тогда w = 2( - 1,0,1) = ( - 2, 0, 2), z = т - ^ = (1,3, 5) - ( - 2, 0, 2) = (3, 3, 3).

При вращении суммы векторов слагаемое z поворачивается вокруг оси q = (- + 0/ + к) на угол равный 2, а елагаемое w не изменяется (как лежащее на оси вращения).

В таком случае результат поворота можно найти как qz + w = —(-г + к)(3, + 3/ + 3к) + (-2, + 2к)=

= 二( 3,2 - 3,/ - 3 + 3кг + 3к/ + 3к2 ) + ( - 2, + 2к)=

= 二( 3 - 3к + 3/ + 3/ - 3, - 3) + ( - 2, + 2к)=

3 .      6 .       3 ,

--, +--/--к 2, + 2к х/2   N

- 3 - 2х/2 .   6 .    - 3 + 2 通,

......7=...., +..ž= / +--7=....k

4/2

(- 呼- 2 ) , + 3 通/ +

к

Значит, искомый вектор имеет координаты (-322 — 2 , 3 V2 , 322 + 2).

Очевидно, что второй способ требует существенно меньше вычислений. Однако, нельзя исключать и первый способ, например, для автоматических систем. Если умножение на кватернион осуществлять при помощи матриц на ЭВМ (матричный метод умножения можно найти в работе Мальцева [8, С. 93]), то алгоритмическая реализация первого способа может оказаться более простой, чем у второго. Так ли это на самом деле, является вопросом для дальнейшего исследования.

Заключение

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

Список литературы Модификация кватернионного метода описания поворотов с помощью ортогональных проекций

  • Ефремов А.П. О физико-математической аналитике и реальности фрактального пространства. Метафизика, 2018. № 1 (27). С. 107–115.
  • Ефремов А.П., Глухова Н.В. Некоторые обобщения сведений о кватернионах как инструменте физических исследований // Электронный сборник трудов научно-методического семинара по теоретической и математической физике. Ульяновск, УлГПУ, 2014. С. 26–42.
  • Yefremov A.P. Orthogonal representation of complex numbers. Gravitation and Cosmology, 2010, vol. 16, no. 2, pp. 137–139.
  • Ефремов А.П. Кватернионные пространства, системы отсчета и поля. М.: Издательство РУДН, 2005. 373 с.
  • Каминский А.В. О скрытой природе спина. Квантовая Магия. 2005. Т. 2. Вып. 2. С. 2114–2131.
  • Баранец В.Н., Шмыглевский И.П. Применение кватернионов в задачах ориентации твёрдого тела. М.: Наука, 1973. 322 с.
  • Yefremov A.P. Quaternion frames and fractal surface as tools to control orientation of a spacecraft. Acta Astronautica, 2016, vol. 129, pp. 174–178. (in Russ.)
  • Мальцев А.И. Основы линейной алгебры. СПб.: Лань, 2009. 480 с.
  • Кантор И.Л., Солодовников А.С. Гиперкомплексные числа. М.: Наука, 1973. 144 с.
  • Глухова Н.В. Линейные операторы. Ульяновск: УлГПУ им. И.Н. Ульянова, 2016. 18 с.
  • Проскуряков И.В. Сборник задач по линейной алгебре. Учебное пособие. 13-е изд., стер. СПб.: Издательство «Лань», 2010. 480 с.
  • Шевцов Г.С. Линейная алгебра: теория и прикладные аспекты. М.: Финансы и статистика, 2003. 576 с.
Еще
Статья научная