Квадратичная форма - Матричный формализм в теории систем

Квадратичной формой называется выражение:

Этой квадратичной форме соответствует матрица

Сделаем следующее преобразование с каждым членом квадратичной формы:

A12x1x2+a21x2x1=x1x2(a12+a21)=0.5(a12+a11)x1x2+0.5(a12+a11)x1x2

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

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

Ей соответствует диагональная матрица A=diag(I). Следовательно, чтобы привести квадратичную форму к каноническому виду, нужно выполнить над ней такое преобразование, которое приведет матрицу, соответствующую ей, к каноническому виду, например, диагонализацию матрицы.

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

Пусть над квадратичной формой сделано преобразование вида:

Или короче Y=BX, где B=[bij]. Тогда квадратичная форма после преобразования принимает вид

F(Y)=YTAY

F(X)=(BX)TABX=XTBTABX=XTCX, где C=BTAB.

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

Квадратичная форма называется положительно определенной, если для любого xR

F(X, X)>0

И отрицательно определенной, если для любого xR

F(X, X)<0.

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

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

Похожие статьи




Квадратичная форма - Матричный формализм в теории систем

Предыдущая | Следующая