Билинейные и квадратичные формы. Приведение квадратичной формы к каноническому виду. Метод Лагранжа, страница 6

Примеры. Квадратичная форма - положительно определенная,  - отрицательно определенная,  - неопределенная,  - положительно полуопределенные формы от трех переменных.

Теорема 1. Квадратичная форма f(x1, x2,…, xn) положительно определена тогда и только тогда, когда после приведения ее к каноническому виду все ее коэффициенты при квадратах переменных положительны, т.е. положительный индекс инерции квадратичной формы равен n.

Доказательство.  Необходимость. Приведем квадратичную форму f(x1, x2,…, xn) к каноническому виду

f(x1, x2,…, xn) = ,                                                                          (1)

где

,                                             (2)

невырожденное преобразование переменных. Покажем, что все коэффициенты в форме канонического вида положительны. Если бы какое-нибудь   cj £ 0, полагая yj =-1, а все остальные значения неизвестных yi =0. По значениям неизвестных y1,…, yn получим значение неизвестных x1,…, xn , при которых квадратичная форма принимает значение £ 0. Получаем противоречие с определение положительно определенной формы.

Достаточность. Обратно, если все диагональные коэффициенты в (1) больше нуля, то при любом наборе значений переменных форма принимает неотрицательное значение. Далее значение формы (1) равно нулю, тогда и только тогда, когда y1 = y2 =…= yn = 0. Так как преобразование переменных (2) невырожденное, то последнее равносильно условию x1 = x2 =…= xn = 0. 

Опр. 5. Определители

называются главными или угловыми минорами квадратичной формы .

Теорема 2. Квадратичная форма f(x1, x2,…, xn) положительно определена тогда и только тогда, когда все угловые миноры квадратичной формы положительны.

Доказательство. Необходимость. Пусть квадратичную форму f(x1, x2,…, xn) положительно определена. Существует невырожденное преобразование переменных X = TY, которое переводит форму f  к каноническому виду (1). По теореме 1, все коэффициенты ci > 0. Тогда det (TtAT) = c1 c2 cn > 0. Так как det(TtAT) = det Tt det A det T = det A (det T)2,  dn = det A  > 0.

Рассмотрим часть формы f(x1, x2,…, xn): fk (x1, x2,…, xk) = f(x1, x2,…, xk, 0,…, 0). Так как любое значение квадратичной формы  fk (x1, x2,…, xk) совпадает с соответствующим значением формы        f(x1, x2,…, xk, xk-1 ,…, xn), то форма         fk (x1, x2,…, xk) при неравных одновременно нулю значениях переменных x1, x2,…, xk  принимает положительные значения. По первой части доказательств тогда определитель формы   fk (x1, x2,…, xk) больше нуля. Определитель формы   fk (x1, x2,…, xk) равен dk. Тогда dk >0.

Достаточность. Доказываем методом математической индукции по числу n переменных в форме f(x1, x2,…, xn). Если n =1, то квадратичная форма имеет вид a11x12 , где . Поэтому эта форма положительно определенная. Предположим, что утверждение теоремы имеет место для форм от n -1 переменной и докажем его для формы f(x1, x2,…, xn) от n переменных. Представим ее в виде

,                                           (3)

где fn-1 (x1, x2,…, x n-1) - квадратичная форма от n -1 переменной. Так как все главные миноры формы f(x1, x2,…, xn) положительны, то и все главные миноры формы fn-1 (x1, x2,…, x n-1) положительны.. Поэтому существует такое невырожденное преобразование переменных, которое приводит форму fn-1 (x1, x2,…, x n-1) к сумме квадратов новых переменных y1, y2,…, y n-1. Если положить  x n = yn, то дополним это преобразование до невырожденного преобразования формы f(x1, x2,…, xn). Тогда в силу формулы (3) форма f(x1, x2,…, xn) преобразуется к виду

.                                                         (4)

Так как

, то невырожденное линейное преобразование

приводит форму к виду

.                                                                      (5)

По свойствам определителя преобразованной квадратичной формы, стоящей в правой части (5) должен быть положительным, а он равен с. Следовательно, по теореме 1 квадратичная форма f положительна. 

Пример 1. Квадратичная форма не является положительно определенной, так как d1 = a11=0.

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

, положительны.