Калькулятор Матричной Экспоненты

Калькулятор матричной экспоненты вычисляет \(e^{At}\), матрицу перехода состояний для однородной линейной системы \(x'(t)=Ax(t)\). Он предназначен для использования в линейной алгебре, теории управления, дифференциальных уравнениях, генераторах цепей Маркова и любых моделях, где константная матрица управляет эволюцией в непрерывном времени.

Что означает матричная экспонента

Для скалярного числа \(a\) экспонента \(e^{at}\) решает уравнение \(x'=ax\). Для квадратной матрицы \(A\) та же идея работает после замены степеней числа на степени матрицы:

Результат не получается путем возведения в экспоненту каждого элемента \(A\). Матричное умножение в степенях \(A^2,A^3,\ldots\) фиксирует взаимосвязь между переменными, что как раз и необходимо для системы линейных ОДУ.

Решение систем линейных ОДУ

Если \(A\) постоянна и задано \(x(0)=x_0\), решение задачи Коши (начальной задачи) имеет вид:

Вот почему \(e^{At}\) часто называют матрицей перехода состояний или фундаментальной матрицей решений. Каждый столбец показывает, куда переходит стандартное базисное состояние через время \(t\).

Как пользоваться калькулятором матричной экспоненты

1. Введите матрицу A. Пишите по одной строке на линию, используя пробелы или запятые между элементами.
2. Выберите время t. Используйте положительное значение для движения вперед во времени или отрицательное — для движения назад.
3. Добавьте x(0) при решении ОДУ. Вектор должен иметь то же количество элементов, что и размерность матрицы.
4. Вычислите и изучите. Прочитайте \(e^{At}\), необязательный \(x(t)\), тождество следа и посмотрите 2D-анимацию, если A имеет размер 2×2.

Численный метод

Калькулятор использует метод масштабирования и возведения в квадрат с 13-м порядком аппроксимации Паде. На практике он сначала масштабирует \(At\) до меньшей матрицы, вычисляет рациональное приближение и многократно возводит результат в квадрат, чтобы вернуться к исходному масштабу времени. Это более стабильно, чем простое усечение ряда Тейлора.

Важное тождество: масштабирование объема

Определитель матричной экспоненты имеет компактную формулу через след:

Для 2D-системы это описывает изменение площади под воздействием потока; для 3D-системы — изменение объема. Отрицательный след стремится сжимать объемы, а положительный — расширять их.

Когда использовать этот инструмент

FAQ

Может ли калькулятор обрабатывать недиагонализируемые матрицы?

Да. Метод Паде вычисляет \(e^{At}\) напрямую, поэтому диагонализация не требуется. Жордановы клетки и кратные собственные значения являются допустимыми входными данными, пока числа остаются в пределах стабильности.

Почему существует ограничение на ||At||?

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

Выдает ли этот инструмент символьные формулы?

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