Положительно определенные квадратичные формы. Определение. Квадратичная форма называется положительно определенной, если все ее значения при вещественных значениях переменных

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

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

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

Квадратичные формы, принимающие как положительные, так и отрицательные значения, называются неопределенными.

При n =1 квадратичная форма либо положительно определена (при a ₁₁>0), либо отрицательно определена (при a ₁₁<0). Неопределенные формы появляются при n ≥2.

Теорема (критерий Сильвестра положительной определенности квадратичной формы). Для того чтобы квадратичная форма

была положительно определена, необходимо и достаточно выполнение условий:

.

Доказательство. Используем индукцию по числу переменных, входящих в . Для квадратичной формы, зависящей от одной переменной , и утверждение теоремы очевидно. Положим, что утверждение теоремы справедливо для квадратичной формы , зависящей от n -1 переменных .

1. Доказательство необходимости. Пусть

положительно определена. Тогда квадратичная форма

будет положительно определенной, так как если , то при .

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

.

Остается доказать, что .

Положительно определенная квадратичная форма невырожденным линейным преобразованием Х=ВY приводится к каноническому виду

.

Квадратичной форме соответствует диагональная матрица

с определителем .

Линейное преобразование, заданное невырожденной матрицей В, преобразует матрицу С квадратичной формы в матрицу . Но так как то .

2. Доказательство достаточности. Предположим, что все главные миноры квадратичной формы положительны: .

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

,

где – какие-то новые коэффициенты.

Осуществляя замену переменных , получим

.

Определитель матрицы этой квадратичной формы равен , а так как знак его совпадает со знаком , то , и, значит, квадратичная форма – положительно определена. Теорема доказана.

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

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

были положительны. Но это означает, что

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

Пример. Вычислить, является ли квадратичная форма положительно (отрицательно) определенной или неопределенной.

а) .

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

.

Вычислим главные миноры матрицы С:

Квадратичная форма положительно определена.

б) .

Решение. Вычислим главные миноры матрицы

Квадратичная форма является неопределенной.

В заключение сформулируем следующую теорему.

Теорема (закон инерции квадратичных форм). Число положительных и число отрицательных квадратов в нормальном виде, к которому приводится квадратичная форма невырожденными линейными преобразованиями, не зависит от выбора этих преобразований.

Поиск по сайту: