Интегральная формула Коши для кватернионов
Integral Formula of Cauchy for Quaternions

Л.Г. Байрак (Украина)

http://scholium.narod.ru
scholium@rambler.ru

 

 

Предварительные версии этой статьи была опубликованы мною (под ником Scholium) на форумах dxdy ( http://dxdy.ru/post319917.html#p319917 )  и e-science ( http://e-science.ru/forum/index.php?showtopic=21283 ).

 

 

Кватернионный анализ существует уже очень продолжительное время, однако лично мне не попадались универсальные эффективные формулы для вычисления функций кватернионного переменного  - пространству кватернионов Гильберта. В статье [1] дан аналог интегральной формулы Коши в  и получены другие общие результаты. Однако применение этой формулы для вычисления хотя бы элементарных функций от кватернионного переменного вызывает большие технические трудности. Поэтому мы решили, как сказал некогда классик, «пойти другим путем»  .

 

Сформулируем окончательный результат.

 

Теорема об интегральной формуле Коши для кватернионов

Theorem about Integral Formula of Cauchy for Quaternions

 

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

 

 

(1)

 

и, следовательно,

 

 

(2)

 

либо

 

 

(3)

 

где  и  – соответственно, действительная и мнимая части от своего выражения, а  - мнимая комплексная единица.

 

Замечание 1. Аналогичные формулы могут быть выписаны и для другого собственного значения  кватерниона  А именно

 

 

(1а)

 

и, следовательно,

 

 

(2а)

 

Доказательство.

 

Согласно интегральной формулы Коши для матриц (см., например, [2]), в соответствии с условиями теоремы, для некоторой вещественной или комплексной квадратной матрицы  можно записать:

 

 

(4)

 

где  – единичная матрица.

 

Известно (см., например, [3]), что любому кватерниону   можно поставить в соответствие некоторую комплексную матрицу второго порядка. А именно

 

 

(5)

 

Вычисляя знаменатель подинтегрального выражения (4), находим

 

 

(6)

 

Обратная величина этой матрицы будет равна

 

 

(7)

 

где детерминант

 

 

(8)

 

причем, характеристические числа

 

 

(9)

 

и

 

 

(10)

 

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

 

Пусть,

 

 

(11)

 

 

(12)

 

 

(13)

 

 

(14)

 

Легко видеть, что

 

 

(15)

 

 

(16)

 

 

(17)

 

 

(18)

 

Откуда следует, что (слева стоят определяемые величины)

 

 

(19)

 

 

(20)

 

 

(21)

 

 

(22)

 

Таким образом, мы нашли все (комплексные) компоненты (19)-(22) матрицы  из (4). Наша задача теперь представить эту матрицу в виде структуры, аналогичной матрице (5), что позволит перейти от матричной записи к кватернионной. Для этого достаточно показать, что

 

 

(23)

 

и

 

 

(24)

 

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

 

Действительно, вводя сокращенные обозначения для действительных коэффициентов

 

 

(25)

 

и

 

 

(26)

 

получаем

 

 

(27)

 

Аналогично находим, для действительных чисел

 

 

(28)

 

и

 

 

(29)

 

имеем

 

 

(30)

 

Следовательно, формулы (23)-(24) доказаны, а значит действительные и мнимые части элементов (19)-(20) матрицы  из формулы (4), в соответствии со структурой кватернионного числа (5), представляют искомые компоненты кватернионной функции  А именно, с учетом того, что   и используя обозначения (25)-(26), находим

 

 

(31)

 

или

 

 

(32).

 

Далее, используя обозначения (28)-(29), получаем

 

 

(33)

 

или

 

 

(34)

 

Теперь, из комплексных чисел (32) и (34) мы можем вычленить действительные и мнимые части как компоненты кватерниона  представимого в виде (5). Получаем, что

 

 

(35)

 

или

 

 

(36)

 

Тем самым, формула (2) доказана. Если же нам не известно комплексное значение функции  для комплексного собственного значения  кватерниона  то тогда мы можем воспользоваться для вычисления  интегральной формулой Коши для комплексного переменного (см., например, [4]), а именно, в соответствии с условиями теоремы, получим для (2) формулу (1).

 

Совершенно аналогично получаются формулы (2a) и (1a).

 

Для завершения доказательства теоремы, нам необходимо еще доказать формулу (3). Однако она получается естественным образом из формулы (2) или (2а), с учетом очевидных свойств комплексных чисел. В самом деле, для любого  где  выполняются условия

 

 

(37)

 

и

 

 

(38)

 

что, с учетом известного свойства (см., например, [4]) для комплексных аналитических функций , для которых определено значение ,

 

 

(39)

 

доказывает данную формулу (3).

 

Хотя это и завершает доказательство сформулированной теоремы, тем не менее, мы укажем еще на один путь получения формулы (3).

 

Известно что (см., например, [3]), кватернионы получаются процедурой удвоения Кэли-Диксона комплексных чисел. Поэтому, с учетом структуры матрицы кватерниона  из (4), представленной своими компонентами (19)-(22), мы можем записать для нашей кватернионной функции

 

 

(40)

 

где  и  – комплексные значения (19)-(20), а кватернионная единица  причем  Всю таблицу умножения кватернионных единиц можно посмотреть, например, в [3].

 

В развернутом виде выражение (40), с учетом (9)-(10) и сокращений (25)-(26) и (28)-(29), будет

 

 

(41)

 

откуда, после очевидных преобразований, с учетом элементарного тождества    получаем

 

 

(42)

 

что является искомой формулой (3). Тем самым, данная теорема полностью доказана.

 

Преимущество записи (3) или (42), перед эквивалентными ей выражениями (2) или (2а), в том, что она не содержит операторы  и  

 

Замечание 2. Из формул (1), (2), (1а), (2а) или (3) следует, что если кватернион является действительным числом (), то в мнимой части результирующего кватерниона возникает неопределенность вида  Действительно, комплексно аналитическая функция от действительного числа является действительной или комплексной функцией. Поэтому распространение значений из полей  или  в тело кватернионов  вполне может быть неоднозначным. Таким образом, случай равенства кватерниона действительному числу, требует особого рассмотрения.

 

Полученные формулы (1)-(2) и сопряженные им формулы (1a)-(2a), а также формула (3) позволяют эффективно вычислять аналитические в  функции от кватернионов. Вот несколько примеров.

 

Примеры.

 

Пусть, для определенности,

 

 

(43)

 

Для значения (43) имеем

 

 

(44)

 

 

(45)

 

 

(46)

 

 

(47)

 

 

(48)

 

 

(49)

 

1. Экспонента от кватерниона

Quaternion Exponent

 

По формуле (2) находим

 

 

(50)

 

или

 

 

(51)

 

Отсюда находим выражения для отдельных кватернионных единиц:

 

 

(52)

 

 

(53)

 

 

(54)

 

Легко заметить неравенство для выражения:

 

 

(55)

 

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

 

 

(56)

 

Для численных значений (43)-(47) получаем из (51)

 

 

(57)

 

2. Натуральный логарифм от кватерниона

Quaternion Natural Logarithm

 

Из формулы (2) получаем

 

 

(58)

 

или

 

 

(59)

 

где

 

 

(60)

 

Для численных значений (43)-(48) получаем из (60)

 

 

(61)

 

Также из (59) и (61) находим, что

 

 

(62)

 

3. Квадратный корень от кватерниона

Quaternion Square Root

 

Согласно формулы (2)

 

 

(63)

 

или

 

 

(64)

 

Кстати, легко проверить, что квадрат выражения (64) равен

 

Для численных значений (43)-(47) получаем из (64)

 

 

(65)

 

4. Квадрат кватерниона

Square of Quaternion

 

По формуле (2) имеем

 

 

(66)

 

или

 

 

(67)

 

откуда следует, что

 

 

(68)

 

или

 

 

(69)

 

Подставляя в (69) численные значения (43)-(47), находим

 

 

(70)

 

5. Синус кватерниона

Sinus of Quaternion

 

Из формулы (2) получаем

 

 

(71)

 

или

 

 

(72)

 

откуда следует, что для значений (43)-(47)

 

 

(73)

 

6. Косинус кватерниона

Cosine of Quaternion

 

Из формулы (2) находим

 

 

(74)

 

или

 

 

(75)

 

откуда получаем, что для значений (43)-(47)

 

 

(76)

 

7. Тангенс кватерниона

Tangent of Quaternion

 

Из формулы (2) имеем

 

 

(77)

 

или

 

 

(78)

 

откуда находим, что для значений (43)-(47)

 

 

(79)

 

8. Гиперболический синус кватерниона

Hyperbolic Sinus of Quaternion

 

Из формулы (2) получаем

 

 

(80)

 

или

 

 

(81)

 

откуда следует, что для значений (43)-(47)

 

 

(82)

 

9. Гиперболический косинус кватерниона

Hyperbolic Cosine of Quaternion

 

Из формулы (2) находим

 

 

(83)

 

или

 

 

(84)

 

откуда получаем, что для значений (43)-(47)

 

 

(85)

 

10. Гиперболический тангенс кватерниона

Hyperbolic Tangent of Quaternion

 

Из формулы (2) имеем

 

 

(86)

 

или

 

 

(87)

 

откуда находим, что для значений (43)-(47)

 

 

(88)

 

11. Обратный кватернион

Inversion of Quaternion

 

По формуле (2) находим

 

 

(89)

 

или

 

 

(90)

 

откуда следует, что

 

 

(91)

 

или, с учетом определения сопряженного кватерниона

 

 

(92)

 

получаем

 

 

(93)

 

что, впрочем, легко получить непосредственным вычислением.

 

Подставляя в (93) численные значения (43)-(47) и (92), находим

 

 

(94)

 

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

 

 

ЛИТЕРАТУРА

 

1. A. Sudbery. Quaternionic Analyses. Dep. of Math. University of York Heslington. Aug. 1977. (Перевод:  Энтони Садбери. Кватернионный анализ. Гиперкомплексные числа в геометрии и физике. № 2, 2004.)

2. Ф.Р. Гантмахер. Теория матриц. 2004.

3. В.В. Сильвестров. Системы чисел. 1998.

4. М.А. Лаврентьев, Б.В. Шабат. Методы теории функций комплексного переменного. 1987.