Знакоопределенные и знакопеременные квадратичные формы

Квадратичные формы подразделяют на типы в зависимости от множества принимаемых ими значений.

Определение 8.Квадратичная форма называется:

положительно определенной, если для всякого ненулевого вектора : ;

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

неположительно определенной (отрицательно полуопределенной), если для всякого ненулевого вектора : ;

неотрицательно определенной (положительно полуопределенной), если для всякого ненулевого вектора : ;

знакопеременной, если существуют ненулевые векторы , : .

Определение 9. Положительно (отрицательно) определенные квадратичные формы называются знакоопределенными. Неположительно (неотрицательно) определенные квадратичные формы называются знакопостоянными.

Тип квадратичной формы можно легко определить, приведя ее к каноническому виду. Справедливы следующие две теоремы.

Теорема 4. Пусть квадратичная форма приведена к каноническому виду и имеет сигнатуру ( , ). Тогда:

является положительно определенной ;

является отрицательно определенной ;

является неположительно определенной ;

является неотрицательно определенной ;

является знакопеременной .

Ниже в таблице указаны примеры квадратичных форм ( ), записанных в каноническом виде, их тип и сигнатуры.

 

Квадратичная форма Сигнатура Тип формы
Положительно определенная
Отрицательно определенная
Неположительно определенная
Неотрицательно определенная
Знакопеременная, невырожденная
Знакопеременная, вырожденная

 

Теорема 5. Пусть квадратичная форма приведена к каноническому виду

методом ортогональных преобразований ( собственные значения матрицы формы ). Тогда:

является положительно определенной при всех ;

является отрицательно определенной при всех ;

является неположительно определенной при всех ;

является неотрицательно определенной при всех ;

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

 

Критерий Сильвестра

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

Рассмотрим угловые миноры ( ), являющиеся определителями подматриц матрицы квадратичной формы:

Теорема 6(критерий Сильвестра знакоопределенности квадратичной формы).Квадратичная форма является:

1) положительно определенной тогда и только тогда, когда все угловые миноры матрицы положительны:

( )

2) отрицательно определенной тогда и только тогда, когда все угловые миноры матрицы отличны от нуля и их знаки чередуются, начиная со знака минус:

В заключение приведем таблицу оценки знакоопределенности квадратичных форм по двум основным критериям.

 

Квадратичная форма Обозна- чение Оценка знакоопределенности формы
по главным минорам матрицы квадратичной формы по собственным значениям матрицы квадратичной формы
положительно определенная если все угловые миноры матрицы положительны: ( ) если все собственные значения положительны
отрицательно определенная если все угловые миноры матрицы отличны от нуля и их знаки чередуются, начиная со знака минус: если все собственные значения отрицательны
неотрицательно определенная если все угловые миноры матрицы неотрицательны: ( ) если все собственные значения неотрицательны
неположительно определенная если в угловых минорах матрицы чередуются знаки, причем: если все собственные значения неположительны
знакопеременная     среди собственных значений имеются как положительные, так и отрицательные

 


Пример 6.Исследовать на знакоопределенность следующие квадратичные формыот двух переменных

, ,

, .

Решение.

1) Матрица формы имеет вид

.

Ее угловые миноры равны

, .

Согласно критерию Сильвестра, так как все угловые миноры положительны, квадратичная форма является положительно определенной.

2) Матрица формы имеет вид

.

Ее угловые миноры равны

, .

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

3) Матрица формы имеет вид

.

Ее угловые миноры равны

, .

Так как в этом случае второй угловой минор отрицателен, то согласно таблице квадратичная форма является знакопеременной.

4) Матрица формы имеет вид

.

Ее угловые миноры равны

, .

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

Заметим, что в данном случае

.

Пример 7.Исследовать на знакоопределенность квадратичную формуот трех переменных

.

Решение.Матрица формы имеет вид

.

Ее угловые миноры положительны:

, , .

Согласно критерию Сильвестра, так как все угловые миноры положительны, то квадратичная форма является положительно определенной.