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

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

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

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

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

В теории чисел и кристаллографии рассматриваются квадратичные формы в предположении, что переменные принимают только целочисленные значения. В аналитической геометрии квадратичная форма входит в состав уравнения кривой (или поверхности) порядка. В механике и физике квадратичная форма появляется для выражения кинетической энергии системы через компоненты обобщенных скоростей и т. д. Но, кроме того, изучение квадратичных форм необходимо и в анализе при изучении функций от многих переменных, в вопросах, для решения которых важно выяснить, как данная функция в окрестности данной точки отклоняется от приближающей ее линейной функции. Примером задачи этого типа является исследование функции на максимум и минимум.

Рассмотрим, например, задачу об исследовании на максимум и минимум для функции от двух переменных имеющей непрерывные частные производные до порядка. Необходимым условием для того, чтобы точка давала максимум или минимум функции является равенство нулю частных производных порядка в точке Допустим, что это условие выполнено. Придадим переменным х и у малые приращения и к и рассмотрим соответствующее приращение функции Согласно формуле Тейлора это приращение с точностью до малых высших порядков равно квадратичной форме где - значения вторых производных вычисленные в точке Если эта квадратичная форма положительна при всех значениях и к (кроме ), то функция имеет минимум в точке если отрицательна, то - максимум. Наконец, если форма принимает и положительные и отрицательные значения, то не будет ни максимума, ни минимума. Аналогичным образом исследуются и функции от большего числа переменных.

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

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

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

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

Пусть , где А - симметричная матрица из коэффициентов формы, X - столбец из переменных.

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

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

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

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

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

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

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

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

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

.

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

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

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

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

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

.

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

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



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

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

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

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

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

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

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

.

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

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

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

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

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

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

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

.

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

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

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

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

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

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

7.5. Задания для самостоятельной работы по главе 7

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

7.2. Найти нормальный вид в области вещественных чисел

7.3. Найти нормальный вид в области вещественных чисел

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

Пусть задана квадратичная форма , – соответствующая ей симметричная билинейная форма. Тогда

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

Рассмотрим n -мерное линейное пространство . Матрицей квадратичной формы в заданном базисе линейного пространства называется матрица соответствующей ей симметричной билинейной формы в том же базисе. Матрица квадратичной формы всегда симметрична.

Обозначим матрицу квадратичной формы в некотором базисе пространства . Если, как обычно, обозначить Х координатный столбец вектора в том же базисе, то из равенства 5.5 получаем матричную форма записи квадратичной формы:

.

Теорема 5.4. Пусть в линейном пространстве заданы два базиса

(5.10)

, (5.11)

и пусть и – матрицы квадратичной формы в базисах (5.10) и (5.11) соответственно. Тогда , где Т – матрица перехода от (5.10) к (5.11).

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

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

Определение . Рангом квадратичной формы, заданной на линейном пространстве , называется ранг ее матрицы в некотором, а значит, и в любом базисе пространства (обозначается ).

Теперь запишем квадратичную форму в координатном виде. Для этого вектор разложим по базису (5.10): . Если – матрица квадратичной формы в том же базисе, то в соответствии с равенством (5.4)имеем

– (5.12)

координатная форма записи квадратичной формы. Распишем (5.12) подробно при n = 3, учитывая, что

Итак, если в задан базис, то квадратичная форма в координатной записи выглядит как однородный многочлен второй степени от n переменных – координат вектора в данном базисе. Этот многочлен называется видом квадратичной формы в заданном базисе. Но в приложениях часто такие многочлены возникают самостоятельно, без видимой связи с линейными пространствами (например, вторые дифференциалы функций), поэтому мы сформулируем еще одно определение квадратичной формы.

Определение . Квадратичной формой от n переменных называется однородный многочлен второй степени от этих переменных, т. е. функция вида (5.12). Матрицей квадратичной формы (5.12) называется симметричная матрица .



Пример составления матрицы квадратичной формы. Пусть

Из (5.12) и (5.13) видно, что коэффициент при совпадает с , т.е. диагональные элементы матрицы квадратичной формы – это коэффициенты при квадратах. Точно так же видим, что – половина коэффициента при произведении . Таким образом, матрица квадратичной формы (5.14) выглядит так:

.

Выберем теперь в пространстве опять два базиса (5.10) и (5.11) и обозначим, как обычно, – координатные столбцы вектора в базисах (5.10) и (5.11) соответственно. При переходе от базиса (5.10) к базису (5.11) координаты вектора меняются по закону:

где - матрица перехода от (5.10) к (5.11). Заметим, что матрица – невырожденная. Запишем равенство (5.15) в координатной форме:

или подробно:

(5.17)

С помощью равенства (5.17) (или (5.16), что одно и то же) от переменных переходим к переменным .

Определение . Линейным невырожденным преобразованием переменных называется преобразование переменных, заданное системой равенств (5.16) или (5.17), или одним матричным равенством (5.15), при условии, что – невырожденная матрица. Матрица Т называется матрицей этого преобразования переменных.

Если в (5.12) вместо переменных подставить их выражения через переменные по формулам (5.17), раскрыть скобки и привести подобные, то получим другой однородный многочлен второй степени:

.

В этом случае говорят, что линейное невырожденное преобразование переменных (5.17) переводит квадратичную форму в квадратичную форму . Значения переменных и , связанные соотношением (5.15) (или соотношениями (5.16) либо (5.17)), будем называть соответствующими при заданном линейном невырожденном преобразовании переменных.



Определение. Набор переменных называется нетривиальным , если в нем значение хотя бы одной из переменных отлично от нуля. В противном случае набор переменных называется тривиальным .

Лемма 5.2. При линейном невырожденном преобразовании переменных тривиальному набору переменных соответствует тривиальный набор.

Из равенства (5.15), очевидно, вытекает: если , то и . С другой стороны, используя невырожденность матрицы Т , опять же из (5.15) получаем , откуда видно, что при , также и .◄

Следствие. При линейном невырожденном преобразовании переменных нетривиальному набору переменных соответствует нетривиальный набор.

Теорема 5.5. Если линейное невырожденное преобразование (5.15) переводит квадратичную форму с матрицей А в квадратичную форму с матрицей А" , то (другая формулировка теоремы 5.4).

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

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

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

Применим их последовательно:

Композицией линейных невырожденных преобразований переменных (5.18) и (5.19) называется их последовательное применение, т. е. преобразование переменных Из (5.20) видно, что композиция двух линейных невырожденных преобразований переменных также является линейным невырожденным преобразованием переменных.

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