Логарифм матрицы

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

• 1 Определение
• 2 Выражение степенного ряда
• 3 Пример: логарифм вращений на плоскости
• 4 Существование
• 5 Свойства
• 6 Дальнейший пример: логарифм вращений в трехмерном пространстве
• 7 Вычисление логарифма диагонализуемой матрицы
• 8 Логарифм недиагонализуемой матрицы
• 9 Перспектива функционального анализа
• 10 Перспектива теории групп Ли
• 11 Ограничения в случае 2 × 2
• 12 См. также
• 13 Примечания
• 14 Ссылки

Экспонента матрицы A определяется как

$e\; A\; \equiv \; \sum \; n\; =\; 0\; \infty \; A\; nn!\; \{\backslash \; displaystyle\; e\; ^\; \{A\}\; \backslash \; Equiv\; \backslash \; sum\; \_\; \{n\; =\; 0\}\; ^\; \{\backslash \; infty\}\; \{\backslash \; frac\; \{A\; ^\; \{n\}\}\; \{n!\}\}\}$.

Дана матрица B, другая матрица A называется матричным логарифмом числа B, если e = B. Поскольку экспоненциальная функция не является взаимно однозначной для комплексных чисел (например, $e\; \pi \; i\; =\; e\; 3\; \pi \; i\; =\; -\; 1\; \{\backslash \; displaystyle\; e\; ^\; \{\backslash \; pi\; i\}\; =\; e\; ^\; \{3\; \backslash \; pi\; i\}\; =\; -\; 1\}$), числа могут иметь несколько комплексных логарифмов, и, как следствие этого, некоторые матрицы могут иметь больше чем один логарифм, как описано ниже.

Если B достаточно близко к единичной матрице, то логарифм B может быть вычислен с помощью следующего степенного ряда:

$log\; (B)\; =\; \sum \; к\; знак\; равно\; 1\; \infty \; (-\; 1)\; k\; +\; 1\; (B\; -\; I)\; kk\; =\; (B\; -\; I)\; -\; (B\; -\; I)\; 2\; 2\; +\; (B\; -\; I)\; 3\; 3\; \cdots \; \{\backslash \; displaystyle\; \backslash \; mathrm\; \{log\}\; (B)\; =\; \backslash \; sum\; \_\; \{k\; =\; 1\}\; ^\; \{\backslash \; infty\}\; \{(-\; 1)\; ^\; \{k\; +\; 1\}\; \{\backslash \; frac\; \{(BI)\; ^\; \{k\}\}\; \{k\}\}\}\; =\; (BI)\; -\; \{\backslash \; frac\; \{(BI)\; ^\; \{2\}\}\; \{2\}\}\; +\; \{\backslash \; frac\; \{(BI)\; ^\; \{3\}\}\; \{3\}\}\; \backslash \; cdots\}$.

В частности, если , тогда предыдущий ряд сходится и $elog\; (B)\; =\; B\; \{\backslash \; displaystyle\; e\; ^\; \{\backslash \; mathrm\; \{log\}\; (B)\}\; =\; B\}$.

Вращения в плоскости дают простой пример. Поворот на угол α вокруг начала координат представлен матрицей 2 × 2

$A\; =\; (cos\; \; (\alpha )\; -\; sin\; \; (\alpha )\; sin\; \; (\alpha )\; cos\; \; (\alpha )).\; \{\backslash \; displaystyle\; A\; =\; \{\backslash \; begin\; \{pmatrix\}\; \backslash \; cos\; (\backslash \; alpha)\; -\; \backslash \; sin\; (\backslash \; alpha)\; \backslash \backslash \backslash \; sin\; (\backslash \; alpha)\; \backslash \; cos\; (\backslash \; alpha)\; \backslash \backslash \backslash \; end\; \{pmatrix\}\}.\}$

Для любого целого n матрица

$B\; n\; =\; (\alpha \; +\; 2\; \pi \; n)\; (0–1\; 1\; 0),\; \{\backslash \; displaystyle\; B\_\; \{n\}\; =\; (\backslash \; alpha\; +2\; \backslash \; pi\; n)\; \{\backslash \; begin\; \{pmatrix\}\; 0\; -1\; \backslash \backslash \; 1\; 0\; \backslash \backslash \backslash \; end\; \{pmatrix\}\},\}$

является логарифмом A. Таким образом, матрица A имеет бесконечно много логарифмов. Это соответствует тому факту, что угол поворота определяется только с точностью до 2π.

На языке теории Ли матрицы вращения A являются элементами группы Ли SO (2). Соответствующие логарифмы B являются элементами алгебры Ли so (2), которая состоит из всех кососимметричных матриц. Матрица

$(0\; 1\; -\; 1\; 0)\; \{\backslash \; displaystyle\; \{\backslash \; begin\; \{pmatrix\}\; 0\; 1\; \backslash \backslash \; -\; 1\; 0\; \backslash \backslash \backslash \; end\; \{pmatrix\}\}\}$

является генератором алгебры Ли так (2).

На вопрос, имеет ли матрица логарифм, есть самый простой ответ при рассмотрении в сложных условиях. Сложная матрица имеет логарифм тогда и только тогда, когда является обратимым. Логарифм не уникален, но если матрица не имеет отрицательных вещественных собственных значений, то существует уникальный логарифм, все собственные значения которого лежат в полосе {z ∈ C | −π < Im z < π}. This logarithm is known as the principal logarithm.

Ответ больше связан с реальной обстановкой. Вещественная матрица имеет действительный логарифм тогда и только тогда, когда она обратима и каждый жорданов блок, принадлежащий отрицательному собственному значению, встречается четное число раз. Если обратимая вещественная матрица не удовлетворяет условию с жордановыми блоками, то она имеет только ненастоящие логарифмы. Это уже можно увидеть в скалярном случае: никакая ветвь логарифма не может быть действительной в -1. Существование вещественных матричных логарифмов вещественных матриц 2 × 2 рассматривается в следующем разделе.

Если A и B обе являются положительно определенными матрицами, то

$tr\; \; log\; \; (AB)\; =\; tr\; \; log\; \; (A)\; +\; тр\; \; журнал\; \; (В),\; \{\backslash \; displaystyle\; \backslash \; operatorname\; \{tr\}\; \{\backslash \; log\; \{(AB)\}\}\; =\; \backslash \; operatorname\; \{tr\}\; \{\backslash \; log\; \{(A)\}\}\; +\; \backslash \; operatorname\; \{tr\}\; \{\backslash \; log\; \{\; (B)\}\},\}$

и если A и B коммутируют, т. Е. AB = BA, то

$log\; \; (AB)\; =\; log\; \; (A)\; +\; log\; \; (B).\; \{\backslash \; displaystyle\; \backslash \; log\; \{(AB)\}\; =\; \backslash \; log\; \{(A)\}\; +\; \backslash \; log\; \{(B)\}.\; \backslash ,\}$

Подставляя в это уравнение B = A, получаем

$log\; \; (A\; -\; 1)\; =\; -\; журнал\; \; (A).\; \{\backslash \; displaystyle\; \backslash \; log\; \{(A\; ^\; \{-\; 1\})\}\; =\; -\; \backslash \; log\; \{(A)\}.\}$

Аналогично, теперь для некоммутирующих A и B

$log\; \; (A\; +\; t\; B)\; =\; журнал\; \; (A)\; +\; t\; \int \; 0\; \infty \; dz\; 1\; A\; +\; z\; IB\; 1\; A\; +\; z\; I\; +\; O\; (t\; 2).\; \{\backslash \; displaystyle\; \backslash \; log\; \{(A\; +\; tB)\}\; =\; \backslash \; log\; \{(A)\}\; +\; t\; \backslash \; int\; \_\; \{0\}\; ^\; \{\backslash \; infty\}\; \backslash !\; \backslash !\; \backslash !\; dz\; ~~\; \{\backslash \; frac\; \{1\}\; \{A\; +\; zI\}\}\; B\; \{\backslash \; frac\; \{1\}\; \{A\; +\; zI\}\}\; +\; O\; (t\; ^\; \{2\}).\}$

Поворот R ∈ SO (3) в ³ задается ортогональной матрицей 3 × 3 .

. Логарифм такой матрицы вращения R может быть легко вычислен из антисимметричной части формулы вращения Родригеса (см. также Угол оси ). Он дает логарифм минимальной нормы Фробениуса, но терпит неудачу, когда R имеет собственные значения, равные -1, где это не уникально.

Также обратите внимание, что для заданных матриц вращения A и B

$dg\; (A,\; B):\; =\; \Vert \; log\; \; (A\; \top \; B)\; \Vert \; F\; \{\backslash \; displaystyle\; d\_\; \{g\}\; (A,\; B)\; :\; =\; \backslash \; |\; \backslash \; log\; (A\; ^\; \{\backslash \; top\}\; B)\; \backslash \; |\; \_\; \{F\}\}$

- геодезическое расстояние на трехмерном многообразии матриц вращения.

Метод нахождения ln A для диагонализуемой матрицы A следующий:

Найти матрицу V из собственные векторы матрицы A (каждый столбец матрицы V является собственным вектором матрицы A).

Найдите обратный V числа V.

Пусть

$A\; \prime \; =\; V\; -\; 1\; AV.\; \{\backslash \; displaystyle\; A\; \text{'}=\; V\; ^\; \{-\; 1\}\; AV.\; \backslash ,\}$

Тогда A ′ будет диагональной матрицей, диагональные элементы которой являются собственными значениями A.

Заменить каждый диагональный элемент A ′ на его (натуральный) логарифм, чтобы получить $log\; \; A\; \prime \; \{\backslash \; displaystyle\; \backslash \; log\; A\; \text{'}\}$.

Затем

$log\; \; A\; =\; V\; (log\; \; A\; \prime )\; V\; -\; 1.\; \{\backslash \; displaystyle\; \backslash \; log\; A\; =\; V\; (\backslash \; log\; A\; \text{'})\; V\; ^\; \{-\; 1\}.\; \backslash ,\}$

То, что логарифм A может быть сложной матрицей, даже если A является вещественным, следует из того факта, что матрица с действительными и положительными элементами могут, тем не менее, иметь отрицательные или даже комплексные собственные значения (это верно, например, для матриц вращения ). Неединственность логарифма матрицы следует из неединственности логарифма комплексного числа.

Алгоритм, проиллюстрированный выше, не работает для недиагонализуемых матриц, таких как

$[1\; 1\; 0\; 1].\; \{\backslash \; displaystyle\; \{\backslash \; begin\; \{bmatrix\}\; 1\; 1\; \backslash \backslash \; 0\; 1\; \backslash \; end\; \{bmatrix\}\}.\}$

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

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

$B\; =\; (\lambda \; 1\; 0\; 0\; \cdots \; 0\; 0\; \lambda \; 1\; 0\; \cdots \; 0\; 0\; 0\; \lambda \; 1\; \cdots \; 0\; ⋮\; ⋮\; ⋮\; \ddots \; \ddots \; ⋮\; 0\; 0\; 0\; 0\; \lambda \; 1\; 0\; 0\; 0\; 0\; 0\; \lambda )\; =\; \lambda \; (1\; \lambda \; -\; 1\; 0\; 0\; \cdots \; 0\; 0\; 1\; \lambda \; -\; 1\; 0\; \cdots \; 0\; 0\; 0\; 1\; \lambda \; -\; 1\; \cdots \; 0\; ⋮\; ⋮\; ⋮\; \ddots \; \ddots \; ⋮\; 0\; 0\; 0\; 0\; 1\; \lambda \; -\; 1\; 0\; 0\; 0\; 0\; 0\; 1)\; =\; \lambda \; (I\; +\; K)\; \{\backslash \; displaystyle\; B\; =\; \{\backslash \; begin\; \{pmatrix\}\; \backslash \; lambda\; 1\; 0\; 0\; \backslash \; cdots\; 0\; \backslash \backslash \; 0\; \backslash \; lambda\; 1\; 0\; \backslash \; cdots\; 0\; \backslash \backslash \; 0\; 0\; \backslash \; lambda\; 1\; \backslash \; cdots\; 0\; \backslash \backslash \backslash \; vdots\; \backslash \; vdots\; \backslash \; vdots\; \backslash \; ddots\; \backslash \; ddots\; \backslash \; vdots\; \backslash \backslash \; 0\; 0\; 0\; 0\; \backslash \; lambda\; 1\; \backslash \backslash \; 0\; \backslash \backslash \; 0\; 0\; 0\; end\; \{\; pmatrix\}\}\; =\; \backslash \; lambda\; \{\backslash \; begin\; \{pmatrix\}\; 1\; \backslash \; lambda\; ^\; \{-\; 1\}\; 0\; 0\; \backslash \; cdots\; 0\; \backslash \backslash \; 0\; 1\; \backslash \; lambda\; ^\; \{-\; 1\}\; 0\; \backslash \; cdots\; 0\; \backslash \backslash \; 0\; 0\; 1\; \backslash \; lambda\; ^\; \{-\; 1\}\; \backslash \; cdots\; 0\; \backslash \backslash \backslash \; vdots\; \backslash \; vdots\; \backslash \; vdots\; \backslash \; ddots\; \backslash \; ddots\; \backslash \; vdots\; \backslash \backslash \; 0\; 0\; 0\; 0\; 1\; \backslash \; lambda\; ^\; \{-\; 1\}\; \backslash \backslash \; 0\; 0\; 0\; 0\; 0\; 0\; 1\; \backslash \backslash \backslash \; end\; \{pmatrix\}\}\; =\; \backslash \; lambda\; (I\; +\; K)\; \}$

где K - матрица с нулями на главной диагонали и под ней. (Число λ отлично от нуля в предположении, что матрица, логарифм которой пытаются найти, обратима.)

Тогда по ряду Меркатора

$log\; \; (1\; +\; x)\; =\; x\; -\; x\; 2\; 2\; +\; x\; 3\; 3\; -\; x\; 4\; 4\; +\; \cdots \; \{\backslash \; displaystyle\; \backslash \; log\; (1\; +\; x)\; =\; x\; -\; \{\backslash \; frac\; \{x\; ^\; \{2\}\}\; \{2\}\}\; +\; \{\backslash \; frac\; \{x\; ^\; \{3\}\; \}\; \{3\}\}\; -\; \{\backslash \; frac\; \{x\; ^\; \{4\}\}\; \{4\}\}\; +\; \backslash \; cdots\}$

получается

$log\; \; B\; =\; log\; \; (\lambda \; (I\; +\; K))\; =\; log\; \; (\; \lambda \; I)\; +\; журнал\; \; (I\; +\; K)\; знак\; равно\; (журнал\; \; \lambda )\; I\; +\; K\; -\; K\; 2\; 2\; +\; K\; 3\; 3\; -\; K\; 4\; 4\; +\; \cdots \; \{\backslash \; displaystyle\; \backslash \; log\; B\; =\; \backslash \; log\; \{\backslash \; big\; (\}\; \backslash \; lambda\; (I\; +\; K)\; \{\backslash \; big)\}\; =\; \backslash \; log\; (\backslash \; lambda\; I)\; +\; \backslash \; log\; (I\; +\; K)\; =\; (\backslash \; log\; \backslash \; lambda)\; I\; +\; K\; -\; \{\backslash \; frac\; \{K\; ^\; \{2\}\}\; \{2\}\; \}\; +\; \{\backslash \; frac\; \{K\; ^\; \{3\}\}\; \{3\}\}\; -\; \{\backslash \; frac\; \{K\; ^\; \{4\}\}\; \{4\}\}\; +\; \backslash \; cdots\}$

Эта серия имеет конечное число членов (K равно нулю, если m - размерность K), и поэтому его сумма хорошо определена.

Используя этот подход, можно найти

$log\; \; [1\; 1\; 0\; 1]\; =\; [0\; 1\; 0\; 0].\; \{\backslash \; displaystyle\; \backslash \; log\; \{\backslash \; begin\; \{bmatrix\}\; 1\; 1\; \backslash \backslash \; 0\; 1\; \backslash \; end\; \{bmatrix\}\}\; =\; \{\backslash \; begin\; \{bmatrix\}\; 0\; 1\; \backslash \backslash \; 0\; 0\; \backslash \; end\; \{bmatrix\}\}.\}$

Квадратная матрица представляет собой линейный оператор в евклидовом пространстве R, где n - размерность матрицы. Поскольку такое пространство конечномерно, этот оператор фактически ограничен.

Используя инструменты голоморфного функционального исчисления, задана голоморфная функция f (z), определенная на открытое множество в комплексной плоскости и ограниченный линейный оператор T, можно вычислить f (T), пока f (z) определена на спектре of T.

Функция f (z) = log z может быть определена на любом односвязном открытом множестве в комплексной плоскости, не содержащем начала координат, и она голоморфна на таком домен. Это означает, что можно определить ln T до тех пор, пока спектр T не содержит начало координат и существует путь, идущий от начала координат к бесконечности, не пересекающий спектр T (например, если спектр T представляет собой круг с начало внутри него, определить ln T невозможно).

Спектр линейного оператора на R - это набор собственных значений его матрицы, а значит, и конечный набор. Пока начало координат не находится в спектре (матрица обратима), условие пути из предыдущего абзаца выполняется и ln T четко определено. Неединственность логарифма матрицы следует из того факта, что можно выбрать более одной ветви логарифма, которая определена на множестве собственных значений матрицы.

В теории групп Ли существует экспоненциальное отображение из алгебры Ли g в соответствующую группу Ли G

$exp:\; g\; \to \; G.\; \{\backslash \; displaystyle\; \backslash \; exp:\; g\; \backslash \; rightarrow\; G.\}$

Для матричных групп Ли элементы g и G являются квадратными матрицами, а экспоненциальное отображение задается экспоненциальной матрицей . Обратное отображение $log\; =\; exp\; -\; 1\; \{\backslash \; displaystyle\; \backslash \; log\; =\; \backslash \; exp\; ^\; \{-\; 1\}\}$является многозначным и совпадает с обсуждаемым здесь матричным логарифмом. Логарифм отображает группу Ли G в алгебру Ли g. Обратите внимание, что экспоненциальное отображение является локальным диффеоморфизмом между окрестностью U нулевой матрицы $0\; \_\; \in \; g\; \{\backslash \; displaystyle\; \{\backslash \; underline\; \{0\}\}\; \backslash \; in\; g\}$и окрестностью V матрицы единичная матрица $1\; \_\; \in \; G\; \{\backslash \; displaystyle\; \{\backslash \; underline\; \{1\}\}\; \backslash \; in\; G\}$. Таким образом, (матричный) логарифм корректно определяется как отображение

$log:\; V\; \subset \; G\; \to \; U\; \subset \; g.\; \{\backslash \; displaystyle\; \backslash \; log:\; V\; \backslash \; subset\; G\; \backslash \; rightarrow\; U\; \backslash \; subset\; g.\; \backslash ,\}$

Важное следствие формулы Якоби, тогда

$log\; \; (det\; (A))\; =\; tr\; (журнал\; \; A).\; \{\backslash \; displaystyle\; \backslash \; log\; (\backslash \; det\; (A))\; =\; \backslash \; mathrm\; \{tr\}\; (\backslash \; log\; A)\; ~.\}$

Если вещественная матрица 2 × 2 имеет отрицательный определитель, он не имеет действительного логарифма. Прежде всего отметим, что любую вещественную матрицу 2 × 2 можно рассматривать как один из трех типов комплексного числа z = x + y ε, где ε² ∈ {−1, 0, +1}. Эта z - точка на сложной подплоскости кольца матриц.

Случай, когда определитель отрицательный, возникает только в плоскости с ε² = + 1, то есть в плоскости комплексных чисел с разбиением. Только одна четверть этой плоскости является изображением экспоненциальной карты, поэтому логарифм определяется только в этой четверти (квадранте). Остальные три квадранта являются изображениями этого квадранта под четырьмя группами Клейна , порожденными ε и −1.

Например, пусть a = log 2; тогда ch a = 5/4 и sh a = 3/4. Для матриц это означает, что

$A\; =\; exp\; \; (0\; aa\; 0)\; =\; (cosh\; \; a\; sinh\; \; a\; sinh\; \; a\; cosh\; \; a)\; =\; (1,25\; 0,75\; 0,75\; 1,25)\; \{\backslash \; displaystyle\; A\; =\; \backslash \; exp\; \{\; \backslash \; begin\; \{pmatrix\}\; 0\; a\; \backslash \backslash \; a\; 0\; \backslash \; end\; \{pmatrix\}\}\; =\; \{\backslash \; begin\; \{pmatrix\}\; \backslash \; cosh\; a\; \backslash \; sinh\; a\; \backslash \backslash \backslash \; sinh\; a\; \backslash \; cosh\; a\; \backslash \; end\; \{pmatrix\}\}\; =\; \{\backslash \; begin\; \{pmatrix\}\; 1.25.75\; \backslash \backslash .\; 75\; 1.25\; \backslash \; end\; \{pmatrix\}\}\}$.

Итак, эта последняя матрица имеет логарифм

$log\; \; A\; =\; (0\; log\; \; 2\; log\; \; 2\; 0)\; \{\backslash \; displaystyle\; \backslash \; log\; A\; =\; \{\; \backslash \; begin\; \{pmatrix\}\; 0\; \backslash \; log\; 2\; \backslash \backslash \backslash \; log\; 2\; 0\; \backslash \; end\; \{pmatrix\}\}\}$.

Эти матрицы, однако, не имеют логарифма:

$(3/4\; 5/4\; 5/4\; 3\; /\; 4),\; (-\; 3/4\; -\; 5/4\; -\; 5/4\; -\; 3/4),\; (-\; 5/4\; -\; 3/4\; -\; 3/4\; -\; 5/4)\; \{\backslash \; displaystyle\; \{\backslash \; begin\; \{pmatrix\}\; 3\; /\; 4\; и\; 5/4\; \backslash \backslash \; 5/4\; и\; 3/4\; \backslash \; end\; \{pmatrix\}\},\; \backslash \; \{\backslash \; begin\; \{pmatrix\}\; -3\; /\; 4\; -5\; /\; 4\; \backslash \backslash \; -\; 5/4\; -3\; /\; 4\; \backslash \; end\; \{pmatrix\}\},\; \backslash \; \{\backslash \; begin\; \{pmatrix\}\; -5\; /\; 4\; -3\; /\; 4\; \backslash \backslash \; -\; 3/4\; -5\; /\; 4\; \backslash \; end\; \{pmatrix\}\}\}$.

Они представляют три других сопряженных с помощью четырехгруппы матрицы выше у которого есть логарифм.

Неособая матрица 2 x 2 не обязательно имеет логарифм, но она сопряжена четырехгруппой с матрицей, которая имеет логарифм.

Отсюда также следует, что, например, квадратный корень из этой матрицы A можно получить непосредственно возведением в степень (logA) / 2,

$A\; =\; (ch\; \; ((log\; \; 2)\; /\; 2)\; sinh\; \; ((log\; \; 2)\; /\; 2)\; sinh\; \; ((log\; \; 2)\; /\; 2)\; ch\; \; ((log\; 2)\; /\; 2))\; =\; (1,06\; 0,35\; 0,35\; 1,06).\; \{\backslash \; Displaystyle\; \{\backslash \; sqrt\; \{A\}\}\; =\; \{\backslash \; begin\; \{pmatrix\}\; \backslash \; cosh\; ((\backslash \; log\; 2)\; /\; 2)\; \backslash \; sinh\; ((\backslash \; log\; 2)\; /\; 2)\; \backslash \backslash \backslash \; sinh\; ((\backslash \; log\; 2)\; /\; 2)\; \backslash \; cosh\; ((\backslash \; log\; 2)\; /\; 2)\; \backslash \; end\; \{pmatrix\}\}\; =\; \{\backslash \; begin\; \{pmatrix\}\; 1.06.35\; \backslash \backslash .\; 35\; 1.06\; \backslash \; end\; \{pmatrix\}\}\; ~.\}$

Для более богатого примера начните с тройки Пифагора (p, q, r) и пусть a = log (p + r) - log q. Тогда

$ea\; =\; p\; +\; rq\; =\; cosh\; \; a\; +\; sinh\; \; a\; \{\backslash \; displaystyle\; e\; ^\; \{a\}\; =\; \{\backslash \; frac\; \{p\; +\; r\}\; \{q\}\}\; =\; \backslash \; cosh\; a\; +\; \backslash \; sinh\; a\}$.

Теперь

$ехр\; \; (0\; аа\; 0)\; =\; (г\; /\; qp\; /\; qp\; /\; qr\; /\; q)\; \{\backslash \; displaystyle\; \backslash \; exp\; \{\backslash \; begin\; \{pmatrix\}\; 0\; a\; \backslash \backslash \; a\; 0\; \backslash \; end\; \{pmatrix\}\}\; =\; \{\backslash \; begin\; \{pmatrix\}\; r\; /\; q\; p\; /\; q\; \backslash \backslash \; p\; /\; q\; r\; /\; q\; \backslash \; end\; \{pmatrix\}\}\}$.

Таким образом,

$1\; q\; (rppr)\; \{\backslash \; displaystyle\; \{\backslash \; tfrac\; \{1\}\; \{q\}\}\; \{\backslash \; begin\; \{pmatrix\}\; r\; p\; \backslash \backslash \; p\; r\; \backslash \; end\; \{pmatrix\}\}\}$

имеет матрицу логарифма

$(0\; aa\; 0)\; \{\backslash \; displaystyle\; \{\backslash \; begin\; \{pmatrix\}\; 0\; a\; \backslash \backslash \; a\; 0\; \backslash \; end\; \{pmatrix\}\}\}$,

где а = журнал (р + г) - журнал q.

• Матричная функция
• Квадратный корень из матрицы
• Матричная экспонента
• Формула Бейкера – Кэмпбелла – Хаусдорфа
• Производная экспоненциальной карты

1. ^Холл 2015 Теорема 2.8
2. ^Хайэм (2008), Теорема 1.27
3. ^Хайэм (2008), Теорема 1.31
4. ^Калвер (1966)
5. ^Энгё (2001)
6. ^Холл 2015 Теорема 3.42

• Гантмахер, Феликс Р. (1959), Теория матриц, 1, Нью-Йорк: Челси, стр. 239–241.
• Холл, Брайан К. (2015), Группы Ли, алгебры Ли и представления - элементарное введение, Тексты для выпускников по математике, 222 (2-е изд.), Springer, ISBN 978-3319134666
• Калвер, Уолтер Дж. (1966), «О существовании и единственности действительного логарифма матрицы», Труды Американского математического общества, 17(5): 1146–1151, doi : 10.1090 / S0002-9939-1966-0202740-6, ISSN 0002-9939.
• Хайэм, Николас (2008), Функции матриц. Теория и вычисления, SIAM, ISBN 978-0-89871-646-7.
• Энгё, Кент (июнь 2001 г.), «О BCH- формула в so (3) «, BIT Numerical Mathematics, 41 (3): 629–632, doi : 10.1023 / A : 1021979515229, ISSN 0006-3835