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

Рассмотрим функцию специального вида. Квадратичная форма:

Функция Ф(t1,t2,…,tk)= E(i=1,k)E(k=1,n)aiktitk называется квадратичной формой, где Аik коэффициенты квадратичной формы, t1,t2,…,tn- переменные квадратичные формы, d''^²u квадратичная форма относительно d''x1, ….,d''xn c коэффициентом Aik=.d''^2/ud''xid''xk Если Aik=Aki, то квадратичная форма называется симметричной. Данной квадратичной форме ставится в соответствие матрица коэффициентов квадратичной формы.

Матрицей А размера mXn называется прямоугольная таблица чисел содержащая m строк и n столбцов.

Матрица называется квадратной, если число строк равно числу столбцов.

Симметричной: Aik=Aki

Определителем матрицы называется число характеризующее матрицу d'etA

Существуют способы вычисления d'et:

Минор- некоторый фрагмент матрицы.

Главными минормаи матрицы А называются следующие определители:

А1=А1.1

А2=а1.1*А2.2-А2.1*А1.2

А3=А1.1*А2.2*А3.3+А2.1*А2.2*А1.3+А3.1.*А2.2*А1.3-А3.2.А2.3А1.1-А2.1А12А33

Аm=d'etA

Квадратичная форма называется положительно определенной, если для любых значений t1,t2,…,tn одновременно не равных 0 она принимает строго положительные значения.

Квадратичная форма называется отрицательно определенной если для любых значений неравенств t1,t2,…tn она принимает строго отрицательные значения.

Квадратичная форма называется знакопеременной если она принимает как строго положительные, так и строго отрицательные значения при разлиынх наборах t1,t2,…tn

Критерий Сильвестра знакопеременной квадратичной формы:

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

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

Замечание: если хоть одно из условий не выполняется, то форма знакопеременная