WWW.KNIGI.KONFLIB.RU

БЕСПЛАТНАЯ ЭЛЕКТРОННАЯ БИБЛИОТЕКА

 
<< HOME
Научная библиотека
CONTACTS

Pages:     || 2 | 3 | 4 | 5 |   ...   | 6 |

«Н.И.Амелькин Кинематика и динамика твердого тела (кватернионное изложение) ~ r = r Москва 2000г. ВВЕДЕНИЕ Настоящее пособие предназначается для студентов МФТИ, изучающих ...»

-- [ Страница 1 ] --

Московский физико-технический

институт

(государственный университет)

Н.И.Амелькин

Кинематика и динамика

твердого тела

(кватернионное изложение)

~

r = r

Москва 2000г.

ВВЕДЕНИЕ

Настоящее пособие предназначается для студентов

МФТИ, изучающих кинематику и динамику твердого тела в

курсе теоретической механики.

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

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

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

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

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

Автор выражает благодарность В.Ф. Журавлеву за оказанное содействие в работе.

1. Алгебра кватернионов Кватернионы были введены в математику В.Р. Гамильтоном в 1843 году. Они представляют собой обобщение аппарата комплексных чисел на четырехмерный случай и записываются выражениями следующего вида:

= 0 i0 + 1 i1 + 2 i2 + 3 i3, (1.1) 0, 1, 2, где – произвольные действительные числа, называемые компонентами кватерниона, а i0, i1, i2, i3 – кватернионные единицы.

Кватернионное сложение определяется по правилам обычной векторной алгебры, т. е. при сложении двух кватернионов и складываются их соответствующие компоk ( k = 0, 1, 2, 3 ).

k ненты и Кватернионное произведение обозначается знаком « » и определяется следующими правилами умножения кватернионных единиц:

i0 i0 = i0, i0 ik = ik i0 = ik, ik ik = 1, k = 1, 2, 3.

i1 i2 = i3, i2 i3 = i1, i3 i1 = i2, (1.2) i2 i1 = i3, i3 i2 = i1, i1 i3 = i2.

В соответствии с приведенными правилами сложения и умножения можно использовать такую интерпретацию кватернионов, при которой элемент i0 отождествляется с вещеi1, i2, i ственной единицей, а элементы – с единичными i1, i2, i3, векторами образующими в трехмерном пространстве правую ортогональную тройку. Тогда кватернион можно записать в виде формальной суммы скалярной части 0 и векторной части :

= 0 + 1 i1 + 2 i2 + 3 i3 = 0 +, (1.3) а правила (1.2) умножения базисных элементов кватерниона запишутся через скалярное и векторное произведение следующей формулой:

ik i j = (ik, i j ) + ik i j, k, j = 1, 2, 3. (1.2*) Отсюда, аксиоматизируя дистрибутивность умножения по отношению к сложению, получаем формулу для кватернионного произведения векторов и µ = (, µ ) + µ, (1.4) а также формулу для произведения двух кватернионов с неи = µ0 + µ :

нулевой скалярной частью = 0 µ 0 (, µ ) + 0 µ + µ 0 + µ. (1.5) Приведенные правила сложения и умножения полностью определяют алгебру кватернионов и все вытекающие из нее свойства. При рассмотрении кватернионов с нулевыми векторными частями ( = 0 ) получаем алгебру вещественных чисел. Если же векторная часть кватернионов представi1 ), лена одним измерением то получается алгебра комплексных чисел. Поэтому алгебра кватернионов включает в себя алгебру вещественных и комплексных чисел.

Укажем основные свойства умножения кватернионов.

1. Умножение кватернионов обладает дистрибутивными по отношению к сложению свойствами, т. е.

( + ) = +.

2. Умножение кватернионов ассоциативно, т. е.

( ) = ( ).

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

4. Скалярная часть произведения кватернионов не изменяется при циклической перестановке сомножителей, т. е.

sqal( ) = sqal( ).

Свойство 2 устанавливается непосредственной проверкой с использованием введенных аксиом сложения и умножения кватернионов, а свойство 4 следует из того, что в силу формулы (1.5) скалярная часть произведения двух кватернионов не зависит от порядка сомножителей. Поэтому получаем По аналогии с комплексными числами для кватерниона = 0 + определяется сопряженный кватернион следующего вида:

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



Таким образом, норма кватерниона является скаляром и время как компоненты векторной части кватерниона зависят от выбора базиса.

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

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

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

Методом индукции легко показать, что правила (1.8) и (1.9) распространяются на случай произвольного числа сомножителей, т. е.

Операция деления кватернионов определяется как операция умножения на обратный кватернион.

Кватернионом, обратным к, называется кватернион 1, определяемый из условия Выражение для обратного кватерниона можно найти непосредственно из этого определения, рассматривая его как уравнение относительно неизвестного Умножая обе части (1.10) на слева и используя соотношение (1.7) для нормы, получаем Отсюда следует, что если кватернион является нормированным, т. е. = 1, то обратным к нему кватернионом будет его сопряженное значение.

Используя приведенные выше правила вычисления сопряженного значения и нормы от произведения кватернионов, получаем, что норма обратного кватерниона равна 1 =, а кватернион, обратный произведению кватернионов, вычисляется по формуле Обратим внимание, что свойства сложения и умножения кватернионов аналогичны свойствам сложения и умножения матриц. Как следствие этого, правила решения кватернионных уравнений аналогичны правилам решения матричных уравнений.

Кватернионное уравнение эквивалентно четырем скалярным уравнениям. Одно из них получается приравниванием скалярных составляющих правой и левой частей кватернионного уравнения, а остальные три – это равенство компонент векторных составляющих в некотором ортогональном базисе трехмерного пространства.

Тригонометрическая форма записи кватернионов. Пусть – нормированный кватернион. Вводя новые переменные с единичный вектор, коллинеарный вектору, получаем тригонометрическую форму записи кватерниона Для ненормированного кватерниона имеем где Форма кватерниона (1.14) аналогична тригонометрической записи комплексных чисел. Из этого представления следует, что любой кватернион однозначно определяется значением модуля Выбор же т. к. одновременная замена знака при e и на обратный не изменяет кватерниона. Заметим также, что если векторная e – любой единичный вектор из трехмерного пространства.

Два кватерниона 1 и 2 будем называть коллинеарными, если коллинеарны их векторные части, т. е. 1 2 = 0.

Использование тригонометрической формы кватернионов дает простую формулу для произведения двух коллинеарных кватернионов. Так, если 1 = 1 (cos1 + e sin1 ), 2 = 2 (cos 2 + e sin 2 ), то для произведения этих кватернионов получаем т. е.. при умножении коллинеарных кватернионов аргументы складываются, а модули перемножаются.

Из (1.15) получаем для к-й степени кватерниона = (cos + e sin ) следующую формулу:

которая аналогична формуле Муавра для комплексных чисел.

Последняя формула дает возможность легко находить решения степенных кватернионных уравнений вида Представляя получаем в качестве (1.17) следующее уравнение:

Отсюда следует Полученные соотношения определяют k разных решений уравнения (1.17) в том случае, когда единичный вектор e, входящий в представление кватерниона определен однозначно. Если же векторная часть равна нулю, то e – любой единичный вектор. В этом случае (1.18) могут определять бесконечное множество решений, если среди решений (1.18) найдутся такие значения, для которых sin 0.

При k = 2 решение уравнения = можно записать в алгебраической форме, если представить и в виде Тогда получаем уравнение = 0 0, то решение имеет вид где – произвольный единичный вектор.

Упражнения 1. Показать, что для скалярной и векторной частей произведения векторов справедливы соотношения 2. Найти все решения кватернионных уравнений:

2. Кинематика твердого тела 2.1. Способы задания положения твердого тела Твердым телом называется такая система материальных точек, для которой расстояние между любой парой точек не меняется с течением времени.

Из приведенного определения следует, что для векторов rJ и r, соединяющих произвольную точку О тела с точками J и K, выполняются условия:

rJ2 = const, r = const, Отсюда получаем соотношение которое описывает условие неизменности скалярного произведения векторов, соединяющих любые пары точек в теле.

В силу произвольности точек J и K из условия (2.2) следуют все равенства (2.1), поэтому условие (2.2) эквивалентно исходному определению твердого тела.

Отметим, что приведенное определение твердого тела не является полным. Легко убедиться, что всевозможные зеркальные отражения пространства удовлетворяют этому определению, но они не включаются в математическую модель твердого тела. Поэтому данное определение дополняется условием неизменности смешанного произведения векторов:

Условия (2.2) и (2.3) полностью определяют математическую модель твердого тела. Из условия (2.2) следует, что если в какой-то момент времени с некоторыми точками тела связать ортонормированный базис Oe1e2 e3, то этот базис будет оставаться ортонормированным в любой последующий момент, а разложение вектора rJ произвольной точки тела в этом базисе неизменно. Условие (2.3) дополнительно означает неизменность взаимной ориентации базисных векторов в том смысле, что правая тройка векторов остается правой, а левая – левой.

Рассмотрим произвольное движение твердого тела относительно некоторой системы отсчета i1i2 i3 (рис. 1). Свяжем с телом некоторый базис Oe1e2 e3 и зададимся координатами rk (k = 1, 2, 3) произвольной точки тела в этом базисе. Тогда положение этой точки в системе i1i2 i3 в любой момент времени дается соотношением и в силу неизменности координат rk для однозначного его определения достаточно в любой момент времени задать положение базиса Oe1e2 e3 относительно базиса i1i2 i3.



Pages:     || 2 | 3 | 4 | 5 |   ...   | 6 |