WikiDer > Матричная функция

Matrix function

В математика, а матричная функция это функция который отображает матрица в другую матрицу.

Расширение скалярной функции до матричных функций

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

Силовая серия

Если реальная функция ж имеет Расширение Тейлора

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

Диагонализируемые матрицы

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

куда обозначим диагональные элементы D.

Например, предположим, что кто-то ищет за

Надо

за

Тогда применение формулы просто дает

Так же,

Разложение Жордана

Все сложные матрицы, независимо от того, диагонализируемы они или нет, имеют Нормальная форма Джордана , где матрица J состоит из Иорданские блоки.Рассмотрите эти блоки отдельно и примените степенной ряд к блоку Джордана:

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

Связанное с этим понятие - Разложение Жордана – Шевалле который выражает матрицу как сумму диагонализуемой и нильпотентной частей.

Эрмитовы матрицы

А Эрмитова матрица имеет все действительные собственные значения и всегда может быть диагонализована унитарная матрица P, согласно спектральная теоремаВ этом случае определение Жордана естественно. Более того, это определение позволяет расширить стандартные неравенства для вещественных функций:

Если для всех собственных значений , тогда . (Как правило, это положительно-полуопределенная матрица.) Доказательство следует непосредственно из определения.

Интеграл Коши

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

куда C замкнутая простая кривая внутри области D вмещающий Икс.

Теперь замените Икс матрицей А и рассмотрите путь C внутри D что включает в себя все собственные значения из А. Одна из возможностей добиться этого - позволить C быть кругом вокруг источник с радиус больше, чем ‖А‖ Для произвольного матричная норма ‖ • ‖. Потом, ж(А) определяется

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

Эта идея применима к ограниченные линейные операторы на Банахово пространство, которые можно рассматривать как бесконечные матрицы, приводит к голоморфное функциональное исчисление.

Матричные возмущения

Приведенный выше степенной ряд Тейлора допускает скалярную заменить на матрицу. В целом это неверно при расширении с точки зрения о пока не . Контрпример , имеющий ряд Тейлора конечной длины. Мы вычисляем это двумя способами:

  • Распределительное право:
  • Используя скалярное разложение Тейлора для и в конце заменив скаляры матрицами:

Скалярное выражение предполагает коммутативность, в то время как матричное выражение - нет, и поэтому они не могут быть приравнены напрямую, если . Для некоторых ж(Икс) с этим можно справиться, используя тот же метод, что и для скалярных рядов Тейлора. Например, . Если существует тогда . Затем разложение первого члена следует за степенным рядом, приведенным выше:

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

Произвольная функция матрицы 2 × 2

Произвольная функция f (А) матрицы A 2 × 2 имеет Формула Сильвестра упростить до

куда являются собственными значениями его характеристического уравнения, | A-λI | = 0, и имеют вид

Примеры

Классы матричных функций

Используя полуопределенный порядок ( является положительно-полуопределенный и является положительно определенный) некоторые классы скалярных функций могут быть расширены до матричных функций Эрмитовы матрицы.[1]

Оператор монотонный

Функция называется операторно-монотонным тогда и только тогда, когдадля всех самосопряженных матриц со спектрами в области f. Это аналогично монотонная функция в скалярном случае.

Оператор вогнутый / выпуклый

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

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

Примеры

Журнал матрицы является как операторно-монотонным, так и операторно-вогнутым. Матричный квадрат операторно выпуклый. Матричная экспонента не является ни одним из них. Теорема Лёвнера утверждает, что функция на открыто Интервал операторно монотонен тогда и только тогда, когда он имеет аналитическое расширение на верхнюю и нижнюю комплексные полуплоскости, так что верхняя полуплоскость отображается сама на себя.[1]

Смотрите также

Примечания

  1. ^ а б Бхатия, Р. (1997). Матричный анализ. Тексты для выпускников по математике. 169. Springer.

Рекомендации

  • Хайэм, Николас Дж. (2008). Функции теории и вычисления матриц. Филадельфия: Общество промышленной и прикладной математики. ISBN 9780898717778.