- •2. Задача безусловной оптимизации
- •2.1. Постановка и схема решения задачи
- •2.2. Необходимые и достаточные условия наличия локального экстремума Теорема 1 Необходимое условие наличия локального экстремума
- •Знакоопределенность матрицы. Критерий Сильвестра
- •3. Скорость сходимости алгоритма
- •2.3. Общие сведения о численных методах оптимизации
- •Замечание 1. Множество х называется замкнутым, если оно содержит все свои внутренние и граничные. Замечание 2. Множество х называется ограниченным, если
- •Замечание 3. Ограниченное замкнутое множество х называется компактным (компактом).
- •1. Выбор направление поиска
- •2. Правило выбора параметра
- •4. Правилами останова алгоритма
- •2.4. Численные методы одномерной минимизации
- •2.5. Численные методы многомерной оптимизации
Знакоопределенность матрицы. Критерий Сильвестра
Определение 1
Пусть
,
квадратная симметрическая матрица
размером
.
Квадратичной
формой относительно матрицы
называется функция вида
.
Определение 2
Квадратная матрица
положительна (отрицательна) определена,
если
Определение 3
Квадратная матрица
неотрицательна (неположительна)
определена, если
Определение 4
Квадратная матрица
знакопеременна, если квадратичная форма
принимает на
как положительные, так и отрицательные
значения.
Критерий Сильвестра
Замечание 1
Будем обозначать
через
угловой минор
порядка k матрицы А,
т.е. определитель, составленный из
элементов матрицы А,
расположенных на пересечении k первых
строк и k первых столбцов матрицы А.
Замечание 2
Будем обозначать
через
главный минор
порядка k матрицы А,
т.е. минор, расположенный на пересечении
k строк и столбцов матрицы А
с номерами
.
Для установления знакоопределенности квадратной матрицы предлагается следующая схема:
Если знаки всех угловых миноров матрицы положительны, то она является положительно определенной
;
если некоторые из знаков заменяются нулями – нужно исследовать все главные миноры; если все они неотрицательны, то матрица неотрицательно определена
;
Если знаки угловых миноров чередуются, начиная с минуса, то матрица отрицательно определена
;
если некоторые из знаков заменяются нулями – нужно исследовать все главные миноры; если все они имеют чередующиеся знаки, то матрица является неположительно определенной
;
Если ни первое, ни второе правила знаков не соблюдаются, то квадратичная форма знакопеременна.
Пример
Исследовать на экстремум функцию
.
Решение:
1.
2.
3.
4.
x |
y |
z |
|
|
|
экстремум |
f |
0 |
1 |
0 |
- |
- |
- |
- |
|
0 |
1 |
-2 |
- |
- |
+ |
- |
|
0 |
-1 |
0 |
- |
+ |
+ |
- |
|
0 |
-1 |
-2 |
- |
+ |
- |
max |
8 |
2 |
1 |
0 |
+ |
+ |
+ |
min |
-4 |
2 |
1 |
-2 |
+ |
+ |
- |
- |
|
2 |
-1 |
0 |
+ |
- |
- |
- |
|
2 |
-1 |
-2 |
+ |
- |
+ |
- |
|
Ответ:
- точка максимума, fmax=
8;
- точка минимума,
fmin=
-4.
