Проверка трёх главных миноров разреженной матрицы

Как проверить определённость

Для симметричной матрицы условие положительной определённости равносильно положительности всех собственных значений. В малой размерности удобно дополнительно смотреть главные угловые миноры. Для несимметричной матрицы квадратичная форма зависит только от симметричной части (A+Aᵀ)/2. В проверочном примере используется запись «Δ₁=a, Δ₂=ac−b², Δ₃=ace−ad²−b²e», так что при перестановке коэффициентов смысл расчёта меняется.

Для этой модели используется запись «Δ₁=a, Δ₂=ac−b², Δ₃=ace−ad²−b²e». В третьей группе используются матрицы с заранее заданными нулями. Их разреженность снижает число коэффициентов, но связь между соседними состояниями по-прежнему меняет весь спектр. Например, на странице «Проверка трёх главных миноров разреженной матрицы» можно изменить Связь 1–2 и сравнить значение результата с исходным примером.

Что означают исходные числа

Коэффициенты задаются непосредственно: Первый диагональный элемент, Связь 1–2, Второй диагональный элемент. Дальше используются Связь 2–3, Третий диагональный элемент, Пробный вектор x, Пробный вектор y, Пробный вектор z, Допуск положительности. Каждое число входит в матрицу, её проверку, выбранный вектор либо критерий численной допустимости. Для этого оператора важно явно указать Первый диагональный элемент, Связь 1–2, Второй диагональный элемент: от этих величин зависит матрица и последующий результат.

В примере Начальные значения: Первый диагональный элемент = 4, Связь 1–2 = 0.6, Второй диагональный элемент = 3, Связь 2–3 = 0.8, Третий диагональный элемент = 2, Пробный вектор x = 1, Пробный вектор y = 1, Пробный вектор z = 1, Допуск положительности = 1e-06. Размерность матрицы задана явно — введите коэффициенты в подписанные поля и сравните не только первый результат, но и контрольные инварианты. Например, на странице «Проверка трёх главных миноров разреженной матрицы» можно изменить Второй диагональный элемент и сравнить значение результата с исходным примером.

Порядок вычисления

Сначала строится оператор по выбранной модели. Затем рассчитываются Положительно определена (1 — да), Положительно полуопределена (1 — да), Отрицательно определена (1 — да). Для симметричного оператора используется устойчивое диагонализующее преобразование; в задачах с дефектностью применяются точные алгебраические критерии. Критерии применяются именно к модели «Δ₁=a, Δ₂=ac−b², Δ₃=ace−ad²−b²e»; при переходе к другой матрице вычислительную постановку нужно проверить заново.

При численных операциях округление производится при выдаче ответа, а промежуточные вычисления идут с двойной точностью. Результат нельзя безоговорочно переносить на матрицы других размеров и с другой структурой. Например, на странице «Проверка трёх главных миноров разреженной матрицы» можно изменить Связь 2–3 и сравнить значение результата с исходным примером.

Чтение результата

Для исходного примера получено: Положительно определена (1 — да) = 1, Положительно полуопределена (1 — да) = 1, Отрицательно определена (1 — да) = 0, Минимальное собственное значение = 1.5203922. Сопоставление нескольких этих величин помогает увидеть как алгебраическое свойство оператора, так и качество вычисления. Практический контроль проводится для случая «Проверка трёх главных миноров разреженной матрицы», а не для абстрактной матрицы без заданных коэффициентов.

Строгая положительность и полуопределённость — разные свойства: нулевое собственное значение исключает строгую положительность. Порог eps позволяет решить, насколько близкий к нулю результат следует считать неопределённым численно. Например, на странице «Проверка трёх главных миноров разреженной матрицы» можно изменить Третий диагональный элемент и сравнить значение результата с исходным примером.

Особые случаи и ограничения

Проверяется строгое неравенство с заданным допуском; отрицательная определённость и полуопределённость не смешиваются. Отдельно проверяйте входы Первый диагональный элемент, Связь 1–2, Второй диагональный элемент: именно они могут приблизить оператор к предельному математическому случаю.

При близких собственных числах геометрическая кратность не определяется только числом совпавших значений. Величины, описывающие невырожденность, трактуйте с учётом установленного допуска. За пределами семейства формула не заменяет общий символический расчёт матриц. Например, на странице «Проверка трёх главных миноров разреженной матрицы» можно изменить Пробный вектор x и сравнить значение результата с исходным примером.

Для чего применять в практике

В линейных моделях спектр описывает независимые направления, определённость позволяет оценить квадратичный функционал, а число обусловленности — устойчивость расчёта. Полярное разложение разделяет вращательную и растягивающую части. Для оценки полезно отслеживать, как изменение коэффициентов отражается на инвариантах в модели «Δ₁=a, Δ₂=ac−b², Δ₃=ace−ad²−b²e».

Сравнивайте результаты при изменении значимых коэффициентов, особенно если оператор близок к особой точке: Матрица [3,1], Матрица [3,2], Матрица [3,3]. Не используйте результат в качестве доказательства вне указанных ограничений. Например, на странице «Проверка трёх главных миноров разреженной матрицы» можно изменить Пробный вектор y и сравнить значение результата с исходным примером.

Формула расчёта

Проверенные примеры

Как пользоваться онлайн-калькулятором

1. Введите Первый диагональный элемент, Связь 1–2, Второй диагональный элемент, Связь 2–3, Третий диагональный элемент, Пробный вектор x, Пробный вектор y, Пробный вектор z, Допуск положительности.
2. Расчёт основан на модели «Δ₁=a, Δ₂=ac−b², Δ₃=ace−ad²−b²e». Перед применением проверьте её симметрию, размерность и допустимость выбранных коэффициентов.
3. Сравните Положительно определена (1 — да), Положительно полуопределена (1 — да), Отрицательно определена (1 — да), Минимальное собственное значение. При проверке устойчивости отдельно используйте оценку погрешности или невязку.