Кватернионный анализ

Материал из Википедии — свободной энциклопедии
Перейти к: навигация, поиск

Кватернионный анализ — это раздел математики, изучающий регулярные кватернионнозначные функции кватернионного переменного. Из-за некоммутативности алгебры кватернионов существуют различные неравносильные подходы к определению регулярных кватернионных функций. В данной статье будет рассматриваться, в основном, подход Фютера[1].

Определение регулярной функции[править | править код]

Рассмотрим оператор

Функция кватернионного переменного называется регулярной, если


Гармонические функции[править | править код]

Пусть , тогда и . Несложно проверить, что оператор имеет вид

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

Некоторые применения[править | править код]

Кватернионы активно применяются для расчёта трёхмерной графики в компьютерных играх

Производная Гато[править | править код]

Пусть — функция, определённая на теле кватернионов. Мы можем определить понятие левой производной в точке как такое число, что

,

где - бесконечно малая от , то есть

.

Множество функций, которые имеют левую производную, весьма ограничено. Например, такие функции, как

не имеют левой производной.

Рассмотрим приращение этих функций более внимательно.

Таким образом, мы можем определить производную как такое аддитивное отображение приращения, что

Нетрудно показать[2], что дифференциал можно определить с помощью равенства

где - действительная переменная. Следовательно, производная функции кватерниона является производной Гато.

Так как производная функции кватерниона является аддитивным отображением, то дифференциал отображения можно записать в виде[3]

Здесь предполагается суммирование по индексу . Число слагаемых зависит от выбора функции . Выражения и называются компонентами производной.

Производная Гато удовлетворяет равенствам

Если , то

Если , то

Примечания[править | править код]

  1. Fueter, R. Über die analytische Darstellung der regulären Funktionen einer Quaternionenvariablen // Commentarii Mathematici Helvetici. — №1. — Birkhäuser Basel, 1936. — Т. 8. — P. 371—378.
  2. Aleks Kleyn, eprint arXiv:0812.4763 Introduction into Calculus over Division Ring, 2008
  3. Выражение не является дробью и должно восприниматься как символ оператора. Данное обозначение предложено для того, чтобы сохранить преемственность с классическим анализом.

Литература[править | править код]

См. также[править | править код]