Теорема 1. Квадратична форма додатньо визначена тоді і тільки тоді, коли всі власні числа її матриці позитивні.

Date: 2015-10-07; view: 2016.

Квадратична форма невід'ємно визначена тоді і тільки тоді, коли всі власні числа її матриці не невід'ємні. Так наприклад, квадратична форма додатньо визначена, так як власні числа її матриці позитивні (див приклад 2, §2, гл. 1).

Інший спосіб визначення "знака" квадратичної форми не потребує обчислення коренів характеристичного многочлена. Дана матриця

.

Розглянемо n її мінорів

,

,

,…,

.

Мінори будемо називати кутовими мінорами матриці А.

Теорема 2. (Критерій Сильвестра). Квадратична форма додатньо визначена тоді і тільки тоді, коли всі кутові мінори матриці А позитивні.

Приклад 1. .

.

Кутові мінори: , , , отже по критерію Сильвестра форма додатньо визначена.

Приклад 2. .

.

Кутові мінори: , , .

Форма додатньо визначена.

Критерій Сильвестра не працює для з'ясування невід'ємної визначеності квадратичної форми.

Введемо допоміжні поняття. Визначимо головний мінор порядку k матриці А з допомогою наступної процедури:

- вибираємо довільні k елементів на головній діагоналі;

- беремо строки и стовпці, які містять ці елементи;

- виписуємо матрицю k-го порядку, елементи якої розташовані на перетині виділених строк и стовпців. Визначником цієї матриці є головний мінор k-го порядку матриці А, який визначається вибраним набором діагональних елементів

Наприклад, матриця 3-го порядку має

1) три головних мінору 1-го порядку (діагональні елементи);

2) три головних мінору 2-го порядку ;

3) один головний мінор 3-го порядку — визначник матриці .

Теорема 3. Квадратична форма невід'ємно визначена тоді, коли всі головні мінори матриці А невід'ємні.

Приклад 3. .

.

Кутові мінори: , , .

По теоремі 2 форма не являється додатньо визначеною. Перевіремо знаки головних мінорів матриці А.

Головні мінори:

1) першого порядку : 1>0, 2>0, 2>0;

2) другого порядку: , ,

3) мінор третього порядку: , отже, квадратична форма невід'ємно визначена.

У висновку покажемо, як із критерію Сильвестра можна отримати умову від'ємної визначеності квадратичної форми. Нехай форма — від'ємно визначена, тоді форма додатньо визначена, і кутові мінори матриці –А позитивні. Випишемо їх для матриці

, тоді .

Випишемо кутові мінори матриці А

;

;

.

Отже, квадратична форма від'ємно визначена, якщо знаки її кутових мінорів чергуються, причому перший з них ; ; ; и т.д.

Приклад 4. .

;

кутові мінори: ; ; .

Отже форма — від'ємно визначена.