Как найти квадратичную форму матрицы онлайн

1. Квадратичные формы

1. Матрица квадратичной формы

Определение.
Квадратичной формой Ĺ(х₁,х₂,…,х_п)
от n переменных называется сумма, каждый
член которой является или квадратом
одной из переменных или произведением
двух разных переменных, взятых с
некоторыми коэффициентами – действительными
числами.

Мы будем рассматривать квадратичные
формы с двумя переменными

(5.1.1)

и с
тремя переменными

(5.1.2)

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

Для (5.1.2) матрица записывается в виде:

А=

То
есть матрица квадратичной формы является
симметрической матрицей. Для переменных
вводится матрица-столбец Х и
транспонированная
–
матрица – строка. Тогда квадратичная
форма может быть записана в виде
произведения трех матриц

( 5.1.3)

Пример.
Дана квадратичная
форма

Записать ее в матричной форме.

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

А=
Матрица Х=

Таким
образом,

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

Решение.
На главной диагонали располагаем
элементы при квадратах переменных
а₁₁=3,
а₂₂=1,
а₃₃=6,
остальные элементы а₁₂=а₂₁=5/2,
а₁₃=а₃₁=-2,
а₂₃=а₃₂=0.
Следовательно,

А=.

Ранг матрицы квадратичной формы называют
рангом квадратичной формы. Если ранг
совпадает с числом переменных квадратичной
формы, то ее называют невырожденной.
Если ранг меньше, то квадратичная форма
– вырожденная.

Пример.
Является ли невырожденной квадратичная
форма L(х₁,х₂,х₃
) = х²₁+4х₁х₃?

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

1. Канонический вид квадратичной формы

В
квадратичной форме

можно выполнить линейное преобразование
переменных

невырожденная
квадратная матрица n-ого порядка. Учитывая
линейное преобразование переменных,
получим равенство:

(5.2.1)

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

( 5.2.2)

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

Пример.
Дана квадратичная форма
.
Найти эквивалентную квадратичную форму
L(y₁,y₂),
используя линейное преобразование
переменных х₁=у₁-2у₂,
х₂=у₁+у₂.

Решение.
По условию матрица данной квадратичной
формы А=
Заданное линейное преобразование в
матричной форме
.

Следовательно,
матрица С=

Теперь
по формуле (5.2.2) новая матрица получается

Ответ.
Квадратичная форма, эквивалентная
данной

Определение.
Квадратичная форма имеет канонический
вид, если все коэффициенты
,
т.е.

и ее матрица является диагональной.

В примере после линейного преобразования
квадратичная форма приняла канонический
вид.

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

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

Пример.
Привести к каноническому виду квадратичную
форму

Решение.
Выделим полный квадрат по переменной
х₁:

Введя
новые переменные у₁=х₁–получим
канонический вид

Пример.
Привести к каноническому виду
квадратичную форму

Решение.
Сначала сгруппируем все слагаемые,
содержащие х₁,
и затем дополним их до полного квадрата:

Теперь
полный квадрат по х₁
оставляем неизменным, а среди оставшихся
слагаемых объединяем все члены, содержащие
х₂,
и выделяем полный квадрат:

Обозначим
у₁=х₁+2х₂+2х₃,
у₂=х₂+х₃,
у₃=х_3,
в результате
получаем канонический вид

Второй
способ. Матрица
квадратичной формы всегда симметрическая,
поэтому она имеет действительные
собственные значения и сводится к
диагональному виду с помощью линейного
ортогонального преобразования Х=QY,
где Q
– ортогональная матрица (см. пример в
4.4.1)

Если
квадратичная форма зависит от двух
переменных L=L(x₁,x₂)
и λ₁,λ₂
собственные значения ее матрицы , то
канонический вид квадратичной формы

Если
L=L(x₁,x₂,x₃)
и ее матрица имеет собственные значения
λ₁,
λ₂,
λ₃
, то кононический вид в новых переменных

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

Пример.
Привести к каноническому виду квадратичную
форму

Решение.
Матрица данной квадратичной формы
А=.
Характеристическое уравнение

.

Собственные
значения λ₁=1,λ₂=5.
Квадратичная форма в новом базисе из
собственных векторов имеет канонический
вид

Найдем
собственные векторы. Для этого в систему
уравнений вида (4.3.2)
,
подставим собственные значения.

а)
При λ=λ₁=1
получим

Пусть
х₂=1
и х₁=1.
Тогда е₁=(1,1).

б)
При λ=λ₂=5
система имеет вид

Таким
образом, х₁=-х₂
и за второй собственный вектор можно
взять е₂=(-1,1).
Очевидно, что е₁е₂=0
– векторы ортогональны. Нормируя е₁,
е₂,
запишем ортонормированный базис:

е₁=(

Матрица
Следовательно,
преобразование координат получено.

Заметим,
что в случае ортогональных преобразований
легко получить обратное преобразование
переменных, воспользовавшись свойством
Обратная
матрица равна

Поэтому выполняются соотношения

Ответ.
Канонический
вид

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

Решение.
Матрица квадратичной формы А=
Характеристическое уравнение

корни
которого λ₁=5,
λ₂=-4
, λ₃=4
Тогда канонический вид квадратичной
формы

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

то
канонический вид будет

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

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

вкоторую
последовательно подставим собственные
значения.

а)
При λ=5 система
примет вид

Выпишем
матрицу системы и подвергнем ее
элементарным преобразованиям:

Получим систему эквивалентную исходной:

Если
х₃=k
– любое число, не равное нулю, то множество
собственных векторов (k,k,k).
Пусть k=1,
тогда е₁=(1,1,1).

б)
При λ=-4 имеем систему

Преобразуем
матрицу системы

По
последней матрице запишем систему
уравнений

При х₃=k,
где k≠0,
множество собственных векторов (k,
-2k,
k).
Возьмем k=1,
тогда е₂=(1,
-2, 1).

в)
При λ=4
получим систему уравнений
.
Здесь первое и третье уравнения
одинаковые, поэтому запишем матрицу
системы в виде:

Откуда следует, что
Если х₃=k,
где k≠0,
то множество собственных векторов (-k,
0, k).
Пусть k=1,
тогда е₃=(-1,0,1).
Получили собственные векторы е₁=(1,1,1),
е₂=(1,-2,1),
е₃=(-1,
0, 1). Легко увидеть, что они попарно
ортогональны. Запишем ортонормированный
базис:

Ортогональная
матрица Q=

Транспонируя
матрицу Q, получим матрицу:

=

И
так как

записываем ортогональное преобразование
переменных

(*)

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

в базисе из собственных векторов и может
быть получена с помощью преобразования
координат в виде (*).

Отметим
некоторые свойства квадратичных форм:

1. Канонический
   вид квадратичной формы не определяется
   однозначно, так как зависит от выбора
   системы координат (базисных векторов).

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

3. Ранг матрицы квадратичной формы не
   меняется при линейных преобразованиях
   переменных. Ранг всегда равен количеству
   ненулевых коэффициентов в канонической
   форме.

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

>0,

<0.

Например,положительно
определенная форма, а

отрицательно определенная.

5. Если все
собственные значения матрицы квадратичной
формы положительны, то
>0
положительно определена. Если все
собственные значения отрицательны, то
<
0- отрицательно определенная форма.

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

Продемонстрируем
на примере перечисленные свойства.

Пример.
Дана квадратичная форма

Ее канонический вид

получен с помощью собственных значений
λ₁=1 ,λ₂=5. Приведем теперь
эту форму к каноническому виду по первому
способу с помощью выделения полных
квадратов.

Таким образом

Канонический вид квадратичной формы
зависит от выбора линейного преобразования
переменных, то есть от выбора системы
координат. Если, например, взять L=1, то
уравнения

являются уравнениями одного и того же
эллипса в разных системах координат.

Пример.
В предыдущем примере мы обратили внимание
на то, что канонический вид квадратичной
формы можно записать разными способами:

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

Пример. Исследовать на знакоопределенность
квадратичную форму

Решение. Составим матрицу данной
квадратичной формы А=
и вычислим главные угловые миноры

М₁=3>0,
М₂=>0,
М₃=>0.

Следовательно,
по критерию Сильвестра квадратичная
форма положительно определенная.

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

Это равенство означает, что не заменяется
новое оборудование прошлого года,
заменяется 20 % оборудования, проработавшего
два года к началу предыдущего года и
все оборудование, проработавшее три
года к началу предыдущего года.

Это равенство означает, что два года
проработает то оборудование, которое
к началу предыдущего года эксплуатировалось
один год.

т.е. три года эксплуатируют то оборудование,
которое к началу года проработало два
сезона и не было заменено. Введем матрицы

тогда все
предыдущие рассуждения описываются
уравнением

Если нас интересует устойчивое
распределение, то

и приходится решать уравнение

Если справедливо предположение о том,
что оборудование заменяется пропорционально
количеству единиц техники, находящейся
на предприятии, то приходится искать
распределение, которое является решением
уравнения

Задача отыскания таких λ , при которых
существует ненулевое решение уравнения

и приводит к понятию собственного
вектора и собственного значения
оператора.

Упражнения для
самостоятельного решения

1. Привести
   к каноническому виду квадратичную
   форму L=х²–у²-4ху
   путем выделения полного квадрата. Какую
   кривую определяет уравнение L(x,y)=1?

2. Привести
   к каноническому виду квадратичную
   форму, выделяя полные квадраты, L=

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

Ответы: 1.

2.

3.

Соседние файлы в предмете [НЕСОРТИРОВАННОЕ]

• #
• #
• #
• #
• #
• #
• #
• #
• #
• #
• #

Содержание:

1. Квадратичные формы и их определение
2. Квадратичные формы

Квадратичные формы и их определение

Определение. Квадратичной формой L (x₁, x₂, …, x_n)  от n переменных называется сумма, каждый член которой является или квадратом одной из переменных, или произведением двух различных переменных, взятых с некоторым коэффициентом, то есть
                                                     (2.44)

Допускаем, что в квадратичной форме (2.44) a_ij — действительные числа. Распишем квадратичную форму (2.44), разбив слагаемые, содержащие произведения переменных, на две равные части:

Матрица
                                                              (2.45)

или   A = {a_ij}  (i, j = 1, 2, …, n) является симметричной, так как  a_ij = a_ji, называется матрицей квадратичной формы (2.44).

Рангом квадратичной формы называется ранг ее матрицы. Квадратичная форма называется невырожденной, если ее матрица невырожденная.
Если  то квадратичную форму можно переписать в матричном виде L (x₁, x₂, …, x_n) = X^T AX.

Выражение X^T AX представляет собой квадратичную форму в матричном виде.

Пример 1. Записать в матричном виде квадратичную форму

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

А = 

Значит, 

Квадратичная форма называется канонической (или другими словами, имеет канонический вид), если все a_ij = 0, когда i ≠ j. Тогда квадратичная форма будет иметь вид

Рассмотрим следующую теорему.

ТЕОРЕМА 1. Произвольная квадратичная форма приводится к каноническому виду.

Доказательство. Пусть задана квадратичная форма (2.44) с матрицей (2.45) в базисе . Так как A — симметричная матрица, то существует ортогональная матрица B такая, что.

Матрица B является матрицей перехода от базиса
                                                                                       (2.46)
к некоторому базису
.                                                                                 (2.47)

Примечание. Действительная квадратная матрица называется ортогональной, если сумма квадратов элементов каждого столбца равна единице и сумма произведений соответствующих элементов из двух разных столбцов равна нулю. Необходимое и достаточное условие ортогональности матрицы В является условие В^T ⋅ B = Е.

Пусть X и Y являются векторами-столбцами из координат вектора  соответственно в базисах (2.46) и (2.47). Тогда X = BY и

или
                                          (2.48)

Примечание. При доказательстве данной теоремы использовали транспонирование произведения матриц по формуле (СY)^T = Y^T ⋅ C^T.

Заметим, что в канонической форме (2.48)  λ₁, λ₂, …, λ_n являются собственными числами матрицы A.

Пример 2. Привести квадратичную форму   к  каноническому виду с помощью ортогональной матрицы и найти ее.

Решение. Матрица данной квадратичной формы имеет вид .  Запишем систему типа (2.39) для нахождения собственных чисел и собственных векторов
                                                                            (2.49)
Характеристическое уравнение данной системы имеет вид
            или       (2 – λ) (5 – λ) – 4 = 0.
Решив данное уравнение, находим λ₁ = 6, λ₂ = 1.  Значит канонический вид данной квадратичной формы является .
Найдем ортогональную матрицу.

Столбцами ортогональной матрицы, которая приводит квадратичную форму к каноническому виду, является ортонормированный собственные вектор-столбец матрицы A.

Сначала найдем нормированный собственный вектор-столбец матрицы A с собственным значением λ₁ = 6. Для этого из системы (2.49) имеем систему для нахождения координат вектора:

Из данной системы находим  x₂ = 2x₁ или  u₂ = 2u₁. Значит, при произвольном u₁, отличном от нуля, столбец  является собственным вектором-столбиком матрицы A, а столбец  является нормированным собственным вектором-столбиком матрицы A. Здесь использовано, что .
Аналогично находим вектор-столбец матрицы A с собственным значением λ₂ = 1, а именно из системы:

Находим  x₁ = –2x₂ или при произвольном s,  отличном от нуля, столбец  является собственным вектором матрицы A. Столбец  является нормированным собственным вектором матрицы A. Значит, искомая матрица имеет вид:

Замечание. Легко проверить, что для данного примера 2.
Рассмотрим на примере еще один метод приведения квадратичной формы к каноническому виду.

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

Пример 3. Привести к каноническому виду квадратичную форму  методом Лагранжа. Сначала выделим полный квадрат при переменной x₁, коэффициент при которой отличен от нуля.

 

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

приводит данную квадратичную форму к каноническому виду

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

Сформулируем одно из этих свойств, которое выражает закон инерции квадратичных форм, и заключается в следующем: все канонические формы, к которым приводится данная квадратичная форма, имеют:
1) одно и то же число нулевых коэффициентов;
2) одно и то же число положительных коэффициентов;
3) одно и то же число отрицательных коэффициентов.

Определение 1. Квадратичная форма L (x₁, x₂, …, x_n) называется положительно определенной, если для всех действительных значений x₁, x₂, …, x_n используется неравенство L (x₁, x₂, …, x_n) > 0.

Определение 2. Если L (x₁, x₂, …, x_n) является положительно определенной формой, то квадратичная формаL (x₁, x₂, …, x_n) < 0 называется отрицательно определенной.

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

ТЕОРЕМА 2. Для того чтобы квадратичная форма L = X^T AX была положительно (отрицательно) определенной, необходимо и достаточно, чтобы все собственные значения λ_i (i = 1, 2, …, n) матрицы A были положительными (отрицательными).

Данную теорему приводим без доказательства.

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

ТЕОРЕМА 3. Для того чтобы квадратичная форма была положительно определенной, необходимо и достаточно, чтобы все главные миноры матрицы этой формы были положительными, то есть
  где    
Следует заметить, что для отрицательно определенных квадратичных форм знаки главных миноров чередуются, начиная со знака “минус” для минора первого порядка.

Например, квадратичная форма L в примере 2 является положительно определенной на основании теоремы 2, так как корни характеристического уравнения λ₁ = 6 и λ₂ = 1 являются положительными.
Второй способ. Так как главные миноры матрицы A
   являются положительными, то по критерию Сильвестра данная квадратичная форма является положительно определенной.

Квадратичные формы

Однородный многочлен второй степени относительно переменных 

называется квадратичной формой от этих переменных. Если взять  то квадратическую форму (1.26) можно записать в виде: 

или 

где 

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

Выполняя замену базиса, квадратичную форму (1.26) можно привести к виду: 

где  – новые переменные, что линейно выражаются через  (1.28),  – собственные значения матрицы 

Выражение (1.29) называется каноническим видом квадратичной формы (1.26).

Рассмотрим квадратичную форму  где  – матрица коэффициентов 

Тогда квадратичную форму можно записать так: 

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

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

Решение примеров:

Пример 1.99  

Квадратичная форма 

положительно определенной.

Квадратичная форма 

отрицательно определенная.

Квадратичная форма 

неопределенной.

Квадратичная форма 

является отрицательно определенной. 

Пример 1.100 

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

Решение. Уравнение линии запишем в виде  в котором 

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

  или 

Корни уравнения  являются  собственными значениями. Следует, уравнение линии преобразуется в вид   или  Полученная линия – гипербола. 

Свойства квадратичной формы (1.30) связаны с собственными числами матрицы 

Пример 1.101 

Привести к каноническому виду уравнения линии  

Решение. Группа старших членов этого уравнения квадратическую форму  Ее матрица 

Собственными значениями будут числа  Следует квадратичная форма  преобразуется к виду  а данное уравнение – к виду  или  Это эллипс.