Что делает этот калькулятор
Этот инструмент вычисляет собственные значения любой матрицы 2×2 вида [[a, b], [c, d]]. Собственные значения показывают, как линейное преобразование растягивает, сжимает или поворачивает пространство вдоль своих характеристических направлений. Они встречаются повсюду — в линейной алгебре, физике, дифференциальных уравнениях, теории динамических систем и машинном обучении (например, в методе главных компонент, PCA).
Как пользоваться
Введите четыре элемента матрицы: a и b — для первой строки, c и d — для второй. Калькулятор вернёт оба собственных значения. Если дискриминант отрицательный, собственные значения образуют комплексно-сопряжённую пару и выводятся в виде \(x \pm yi\).
Разбор формулы
Для матрицы [[a, b], [c, d]] собственные значения — это корни характеристического многочлена \(\lambda^2 - (\text{tr})\lambda + \det = 0\), где след \(\text{tr} = a + d\), а определитель \(\det = ad - bc\). Решая через формулу корней квадратного уравнения, получаем:
$$\lambda = \frac{\text{tr} \pm \sqrt{\text{tr}^2 - 4\cdot\det}}{2}$$Выражение под корнем, \(\Delta = \text{tr}^2 - 4\cdot\det\), называется дискриминантом. Если \(\Delta \geq 0\), собственные значения действительные; если \(\Delta < 0\) — это комплексно-сопряжённые числа с действительной частью \(\text{tr}/2\) и мнимой частью \(\pm\sqrt{-\Delta}/2\).
Разбор на примере
Возьмём матрицу [[2, 1], [1, 2]]. Здесь \(\text{tr} = 2 + 2 = 4\), а \(\det = (2)(2) - (1)(1) = 3\). Дискриминант равен $$4^2 - 4\cdot 3 = 16 - 12 = 4,$$ значит \(\sqrt{4} = 2\). Собственные значения: \((4 + 2)/2 = 3\) и \((4 - 2)/2 = 1\).
Частые вопросы
Что делать, если собственные значения комплексные? Матрица поворота, например [[0, −1], [1, 0]], имеет след 0 и определитель 1, откуда \(\Delta = -4\). Её собственные значения равны \(\pm i\) и отображаются как \(0 + 1i\) и \(0 - 1i\).
Могут ли собственные значения совпадать? Да. Когда дискриминант равен ровно нулю, у матрицы есть кратное (вырожденное) собственное значение \(\lambda = \text{tr}/2\).
Что говорит определитель? Произведение собственных значений равно определителю, а их сумма — следу матрицы. Это удобный способ проверить полученный ответ.
Интерпретация ваших собственных значений
Каждое собственное значение описывает, как линейное отображение \(A\) действует в направлении соответствующего собственного вектора. Знак и тип собственных значений говорят вам о растяжении, ориентации и — когда \(A\) является матрицей линейной динамической системы \(\dot{\mathbf{x}}=A\mathbf{x}\) — о долгосрочной устойчивости.
Вещественные собственные значения
- Положительные (\(\lambda>0\)): отображение растягивает (расширяет) векторы вдоль этого собственного вектора; в динамической системе компонента растёт со временем.
- Отрицательные (\(\lambda<0\)): отображение отражает и/или сжимает в этом направлении; в динамической системе компонента затухает к началу координат.
- \(|\lambda|>1\) или \(|\lambda|<1\): для повторяющихся итерированных отображений (\(\mathbf{x}_{n+1}=A\mathbf{x}_n\)), величина больше 1 означает расширение, а меньше 1 — сжатие вдоль этой оси.
- \(\lambda=0\): матрица вырождена (\(\Delta=0\)); она сжимает это направление в точку, и \(A^{-1}\) не существует.
Комплексно сопряжённая пара
Когда \(D<0\) собственные значения равны \(\lambda=\alpha\pm\beta i\). Мнимая часть \(\beta\) вводит вращение: траектории спиралят или циркулируют вместо того, чтобы двигаться прямо внутрь или наружу. Вещественная часть \(\alpha=\tfrac{\tau}{2}\) определяет, растёт ли спираль (\(\alpha>0\)), затухает (\(\alpha<0\)) или формирует замкнутые орбиты (\(\alpha=0\)).
Повторяющееся собственное значение (вырождение)
Когда \(D=0\) существует единственное собственное значение \(\lambda=\tfrac{\tau}{2}\). Если оно всё ещё имеет два независимых собственных вектора, матрица является чистым масштабированием; если оно имеет только один, матрица дефектна и динамика включает сдвиг (неправильный или вырожденный узел).
Классификация устойчивости (трасса–определитель)
Для системы \(\dot{\mathbf{x}}=A\mathbf{x}\) равновесие в начале координат классифицируется по \(\tau\), \(\Delta\) и \(D=\tau^2-4\Delta\):
| Условия | Тип собственного значения | Классификация |
|---|---|---|
| \(\Delta<0\) | Вещественные, противоположных знаков | Седло (неустойчиво) |
| \(\Delta>0,\ \tau<0,\ D\ge 0\) | Вещественные, обе отрицательные | Устойчивый узел |
| \(\Delta>0,\ \tau>0,\ D\ge 0\) | Вещественные, обе положительные | Неустойчивый узел |
| \(\Delta>0,\ \tau<0,\ D<0\) | Комплексные, отрицательная вещественная часть | Устойчивая спираль |
| \(\Delta>0,\ \tau>0,\ D<0\) | Комплексные, положительная вещественная часть | Неустойчивая спираль |
| \(\Delta>0,\ \tau=0\) | Чисто мнимые \(\pm\beta i\) | Центр (нейтрально устойчиво) |
Коротко: определитель должен быть положительным для узла или спирали, знак трассы определяет устойчивость (отрицательный = устойчиво, положительный = неустойчиво), а дискриминант определяет узел (\(D\ge0\)) или спираль (\(D<0\)). Отрицательный определитель всегда даёт седло независимо от трассы.
Это общая математическая информация в образовательных целях, а не профессиональный инженерный или финансовый совет; проверьте результаты по вашей конкретной модели перед использованием.
