1
Положительно и отрицательно определенные квадратичные формы
Определение 1. Квадратичная форма |
f (x1,..., xn ) называется положительно |
|||||
определенной, если для любой совокупности значений пере- |
||||||
менных |
x1 ,..., xn |
значение |
самой |
формы |
на |
них |
f (x1,..., xn ) 0 |
|
|
|
|
|
|
Определение 2. Квадратичная форма |
f (x1,..., xn ) называется отрицательно |
|||||
определенной, если для любой совокупности значений пере- |
||||||
менных |
x1 ,..., xn |
значение |
самой |
формы |
на |
них |
f (x1,..., xn ) 0
Положительно и отрицательно определенные формы называются знакоопреде-
ленными.
|
|
Пример 1. Квадратичная форма |
f (x , x , x ) 2x2 |
4x2 |
5x2 |
- положитель- |
|||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
1 |
|
1 |
2 |
3 |
|
|
|
1 |
2 |
3 |
|
||
но определенная для любых наборов переменных (x1 , x2 , x3 ) |
|
|
|
||||||||||||||||||||||
|
|
Пример 2. Квадратичная форма |
f |
2 |
(x , x , x ) x2 |
x2 3x2 |
- отрицательно |
||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
1 |
2 |
3 |
|
|
|
1 |
2 |
3 |
|
||
определенная для любых наборов переменных (x1 , x2 , x3 ) |
|
|
|
|
|
||||||||||||||||||||
|
|
Пример |
|
|
|
|
3. |
|
|
|
|
|
|
Квадратичная |
|
форма |
|||||||||
f |
2 |
(x , x , x ) x2 |
x2 |
x2 2x x 2x x |
|
2x x |
не |
является |
знакоопределенной, |
||||||||||||||||
|
1 |
2 |
|
3 |
1 |
2 |
|
3 |
1 |
2 |
1 |
3 |
|
2 |
3 |
|
|
|
|
|
|
|
|
||
так как |
f |
|
(x , x , x ) (x |
x |
x )2 и на наборе (1, |
1 |
, |
1 |
) |
она принимает значение 0. |
|||||||||||||||
2 |
|
|
|||||||||||||||||||||||
|
|
|
|
1 |
2 |
3 |
1 |
2 |
|
3 |
|
|
|
|
|
|
2 |
|
2 |
|
|
|
|
||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||
Исследование квадратичной формы на знакоопределенность Теорема 1. Для того чтобы квадратичная форма была положительно (отри-
цательно) определенной, необходимо и достаточно, чтобы все ха-
рактеристические числа ее матрицы били положительны (отри-
цательны).
Теорема 2. Критерий знакоопределенности
2
Для того чтобы квадратичная форма была положительно опреде-
ленной необходимо и достаточно чтобы все коэффициенты в кано-
ническом виде этой формы были положительны.
Для того чтобы квадратичная форма была отрицательно определен-
ной необходимо и достаточно чтобы все ее коэффициенты в кано-
ническом виде этой формы были отрицательны.
Пример 4. Исследовать квадратичную форму на знакоопределенность двумя способами: приведя ее к каноническому виду и найдя собственные числа.
f 3x12 4x22 5x32 4x1x2 4x2 x3
Решение.
I способ. Приведем квадратичную форму к каноническому виду методом Ла-
гранжа. Здесь удобно начать собирать слагаемые с x2 :
f 3x12 4x22 5x32 4x1x2 4x2 x3
(4x22 4x1x2 4x2 x3 x12 x32 2x1x3 ) x12 x32 2x1x3 3x12 5x32
(x1 2x2 x3 )2 2x12 2x1x3 4x32
(x1 2x2 x3 )2 2(x12 x1x3 14 x32 ) 12 x32 4x32
(x1 2x2 x3 )2 2(x1 12 x3 )2 72 x32
Перейдем от неизвестных x1 , x2 , x3 к неизвестным y1 , y2 , y3 по формулам: |
|||||||
y |
|
x |
2x |
|
x |
|
|
1 |
1 |
|
2 |
|
3 |
|
|
|
|
x1 |
|
|
|
1 |
|
y2 |
|
|
x3 |
||||
|
2 |
||||||
|
|
|
|
|
|
|
|
y |
3 |
|
|
x |
|
|
|
|
|
|
|
3 |
|
|
|
|
|
Получим |
канонический вид |
|
квадратичной формы: |
Q y2 |
2 y2 |
3,5y2 . |
|||
|
|
|
|
|
|
|
|
|
1 |
2 |
3 |
r ( f ) 3 Квадратичная форма является положительно определенной по теореме 2. |
|||||||||||
|
|
II способ. Найдем все характеристические числа матрицы квадратичной формы. |
|||||||||
Матрица квадратичной формы имеет вид: |
|
|
|
||||||||
3 |
2 |
0 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
A |
2 |
4 |
2 |
|
|
|
|
|
|
|
|
|
0 |
2 |
5 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||
Решим характеристическое уравнение: |
|
A E |
|
0 |
|
|
|
||||
|
|
|
|
|
|||||||
|
|
|
|
|
|
|
|
|
|
|
|
3
|
|
|
3 |
2 |
0 |
|
|
|
|
|
|||
A E |
|
|
2 |
4 |
2 |
(3 )(4 )(5 ) 4(3 ) 4(5 ) |
|
||||||
|
0 |
2 |
5 |
|
||
|
|
|
|
|
|
|
(3 )(4 )(5 ) 4((3 ) (5 )) (3 )(4 )(5 ) 4(8 2 ) (3 )(4 )(5 ) 8(4 ) (4 )((3 )(5 ) 8)
(4 )( 7)( 1)
1 |
4 |
|
|
|
|
- характеристические числа матрицы квадратичной формы. Все i |
|
7 7 |
0 . |
||
|
1 |
|
|
1 |
|
|
|
Квадратичная форма является положительно определенной по теореме 1.
Чтобы установить, является ли квадратичная форма положительно (отрицатель-
но) определенной, не обязательно приводить ее к каноническому виду или разыскивать характеристические числа ее матрицы.
Теорема 3. Критерий Сильвестра
Для того чтобы квадратичная форма была положительно опреде-
ленной необходимо и достаточно чтобы все главные миноры мат-
рицы этой формы были положительны.
Для того чтобы квадратичная форма была отрицательно опреде-
ленной необходимо и достаточно чтобы все главные миноры мат-
рицы четного порядка были положительны, а нечетного – отри-
цательны.
Критерий Сильвестра для трехмерного пространства схематично можно
представить следующим образом:
1) |
квадратичная форма положительно определена; |
2) |
квадратичная форма отрицательно определена; |
Вырожденные квадратичные формы, нормальный вид которых состоит из квад-
ратов одного знака, называются иногда полуопределенными. Квадратичные формы,
нормальный вид которых содержит как положительные, так и отрицательные квадраты неизвестных, называются неопределенными или формами общего вида.
4
III способ для матрицы из примера 4. |
|
|
|
|||||||
|
|
|
3 |
2 |
|
|
2 |
0 |
|
|
|
M 2 |
|
|
8 0 , M3 |
3 |
|
||||
|
|
|
||||||||
M1 3 0 , |
|
|
2 4 |
2 |
28 0 |
|||||
|
|
|
2 |
4 |
|
|
0 |
2 |
5 |
|
|
|
|
|
|
|
|
|
|||
|
|
|
|
|
|
|
|
|
|
|
По критерию Сильвестра (теорема 3) квадратичная форма положительно определенная
Пример 5. Исследовать квадратичные формы на знакоопределенность с помо-
щью критерия Сильвестра
5.1. f1(x1, x2 ) 2x12 x22 6x1x2
2 |
3 |
M |
|
2 0 |
|
M |
|
|
|
3 |
|
7 |
0 - не является знакоопределенной. |
||
|
|
|
2 |
|
|||||||||||
A |
|
|
|
1 |
, |
2 |
|
|
|
||||||
|
3 |
1 |
|
|
|
|
|
|
3 |
1 |
|
|
|
||
|
|
|
|
|
|
|
|
|
|
|
|
||||
Форма общего вида. |
|
|
|
|
|
|
|
|
|
||||||
|
5.2. |
f |
2 |
(x , x , x ) x2 |
|
4x2 x2 |
4x x |
3x x |
4x x |
||||||||||||
|
|
|
|
1 |
2 |
|
3 |
1 |
|
|
2 |
3 |
1 |
2 |
1 |
3 |
2 |
3 |
|||
|
1 |
2 |
|
|
3 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
2 |
|
|
|
|
|
|
|
|
1 |
2 |
|
|
|
|
|
|
A 2 |
4 |
|
|
2 |
M |
1 |
1 0 |
, |
M |
2 |
|
0 - не является знакоопределенной. Форма |
|||||||||
|
|
|
|
|
|
|
|
|
|
|
|
2 |
4 |
|
|
|
|
|
|
||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||
|
3 |
2 |
|
|
1 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
2 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
общего вида.
|
5.3. |
f |
3 |
(x , x , x ) 3x2 |
4x2 |
x2 |
6x x |
2x x |
2x x |
|
|
|
|||||||||
|
|
|
1 |
2 |
3 |
1 |
2 |
|
3 |
|
1 |
2 |
1 |
3 |
2 |
3 |
|
|
|
||
|
3 |
3 |
1 |
|
|
|
|
|
3 |
|
|
|
|
|
|
3 |
1 |
|
|||
|
|
|
|
|
|
|
|
|
|
3 |
|
|
|||||||||
|
|
|
|
|
|
|
|
, M 2 |
3 |
21 0 , |
|
|
|
|
|
|
|
||||
A |
3 |
4 |
|
1 |
M1 |
3 0 |
3 |
4 |
M3 |
3 |
4 |
1 |
2 0 - явля- |
||||||||
|
1 |
1 |
1 |
|
|
|
|
|
|
|
|
|
|
1 |
|
1 |
1 |
|
|||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||
ется положительно определенной по критерию Сильвестра.
5.4. f4 (x1, x2 , x3 ) 3x12 2x22 4x32 4x1x2 4x1x3 4x2 x3
3 |
2 |
2 |
|
|
|
3 |
2 |
|
|
|
3 |
2 |
2 |
|
|
||
|
|
|
|
|
|
|
|||||||||||
|
|
|
|
|
|
|
|
2 |
0 , |
|
|
|
|
|
|
||
A |
2 |
2 |
2 |
|
M1 3 0 , |
M 2 |
2 |
2 |
M3 |
2 |
2 |
2 |
|
4 0 - |
|||
|
2 |
2 |
4 |
|
|
|
|
|
|
|
2 |
2 |
4 |
|
|
||
|
|
|
|
|
|
|
|
|
|
|
|
||||||
является отрицательно определенной по критерию Сильвестра.
Пример 6. Найти все значения параметра , при котором положительно определены следующие квадратичные формы.
5
6.1.Q 2x12 x22 x32 2x1x2 2x1x3 2x2 x3
6.2.Q 2x12 x22 2x32 2x1x2 6x1x3 4x2 x3
Решение 6.1. Составим матрицу квадратичной формы.
2 |
1 |
1 |
|
|
|
|
|
|
|
|
|
||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
A |
1 |
1 |
1 |
|
|
|
|
|
|
|
|
|
|
|
1 |
1 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||
Рассмотрим миноры I, II и III-го порядков матрицы A. |
|||||||||||||
|
|
|
|
|
2 1 |
|
|
1 |
1 |
|
|
||
M1 2 0 , M 2 |
|
|
1 0 , M3 |
2 |
|
||||||||
|
|
||||||||||||
|
|
1 |
1 1 |
|
1 |
||||||||
|
|
|
|
|
1 |
1 |
|
|
1 |
1 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Чтобы форма была положительно определенной, по критерию Сильвестра необходимо чтобы все главные миноры были положительными. Для первых двух это усло-
вие выполняется. Минор M3 0 при
Итак, форма является положительно определенной при значениях параметра
1.
Решение 6.2. Составим матрицу квадратичной формы.
2 |
1 |
3 |
||
|
|
|
|
|
A |
1 |
|
2 |
|
|
3 |
2 |
2 |
|
|
|
|||
Рассмотрим миноры I, II и III-го порядков матрицы A.
|
|
|
|
|
2 |
|
1 |
|
2 1 , M3 |
2 |
1 |
3 |
|
|
|
|
|
|
|
|
|||||||||
M1 2 0 , |
M 2 |
|
|
|
1 |
|
2 |
5 2 |
||||||
|
|
|
|
|
1 |
|
|
|
|
3 |
2 |
2 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||
Чтобы форма была положительно определенной, по критерию Сильвестра необ- |
||||||||||||||
ходимо чтобы все главные миноры были положительными. Минор M1 0 . Рассмотрим, |
||||||||||||||
при каких будут положительными миноры M 2 |
и M3 : |
|||||||||||||
|
|
|
|
1 |
|
|
|
|
|
|
|
|||
2 1 0 |
|
|
|
|
|
|
|
|
|
|
|
|||
|
|
|
|
|
|
|
|
|
|
|||||
|
|
|
2 |
|
|
|
|
|
|
|
||||
|
|
|
|
|
|
|
|
|
|
|
||||
5 2 |
0 |
|
|
|
2 |
|
|
|
|
|
|
|
||
|
|
|
|
|
|
|
|
|
|
|
|
|
||
|
|
|
|
5 |
|
|
|
|
|
|
|
|||
|
|
|
|
|
|
|
|
|
|
|
||||
Очевидно, что система не имеет решения. Не существует значений параметра , при которых форма является положительно определенной.
Пример 7. Найти все значения параметра , при котором отрицательно определены следующие квадратичные формы.
7.1.Q x12 x22 3x32 4x1x2 2x1x3 2x2 x3
7.2.Q x12 2x22 2 x32 2x1x2 2x1x3 6x2x3
Решение 7.1. Составим матрицу квадратичной формы.