Добавил:
Upload Опубликованный материал нарушает ваши авторские права? Сообщите нам.
Вуз: Предмет: Файл:
lineynaya.docx
Скачиваний:
25
Добавлен:
17.04.2019
Размер:
338.75 Кб
Скачать

53)Квадратичные формы. Критерий Силвестра.

Критерий Сильвестра определяет, является ли симметричная квадратная матрица положительно определённой.

Пусть квадратичная форма имеет в каком-то базисе матрицу:

a11 a12 …. A1n

A= a21 a22 …. A2n

………………….

An1 an2 …. ann

Тогда эта форма положительно определена, если и только если все её главные миноры Δi положительны. Форма отрицательно определена, если и только если знаки Δi чередуются, причём Δ1 < 0. Здесь главными минорами матрицы A называются определители вида:

∆1=|а11| ∆2=a11 a12

a21 a22

a11 a12 …. a1i

∆i=a21 a22 …. a2i

………………….

Ai1 ai2 …. aii

a11 a12 ….. a1n

∆n= a21 a22 ….. a2n

…………………..

an1 an2 …. ann

Для неотрицательно определённых матриц критерий действует только в одну сторону: если форма неотрицательно определена, то главные миноры неотрицательны. Обратное неверно.

Доказательство.

Критерий положительной определённости квадратичной формы.

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

1. «Необходимо.» Имеется положительно определённая квадратичная форма. j-ый диагональный элемент положителен, так как k>0 в том числе и для вектора со всеми нулевыми координатами, кроме j-ой. При приведении матрицы к каноническому виду не будет нужно переставлять строки, и знаки главных миноров матрицы не изменятся. А в каноническом виде диагональные элементы положительны, и миноры положительны; следовательно,, у положительно определённой квадратичной формы в любом базисе главные миноры матрицы положительны.

2. «Достаточно.» Имеется положительность миноров. Первый минор определяет знак первого диагонального элемента в каноническом виде. Знак отношения Mi+1/Mi определяет знак i+1-ого элемента в диагональном виде. Так получим, что в каноническом виде все элементы на диагонали положительные, то есть квадратичная форма определена положительно.

Критерий отрицательной определённости квадратичной формы.

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

Доказательство сводится к предыдущему случаю, так как матрица A является отрицательно определённой тогда и только тогда, когда матрица − A является положительно определённой. При замене матрицы A на противоположную главные миноры нечётного порядка меняют знак, а главные миноры чётного порядка остаются такими же.

Соседние файлы в предмете [НЕСОРТИРОВАННОЕ]