Добавил:
СПбГУТ * ИКСС * Программная инженерия Опубликованный материал нарушает ваши авторские права? Сообщите нам.
Вуз: Предмет: Файл:
Учебные пособия / ММвСС (2018) v3.pdf
Скачиваний:
169
Добавлен:
15.01.2020
Размер:
3.99 Mб
Скачать

Безусловная оптимизация

Пусть задана функция нескольких

x* переменных

n

1. Необходимые условия существование локального экстремума (НУ)

В точке

f(x)

 

=

f(x)

x*= =

f(x)

 

=0

x1

x*

x1

xn

x*

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

d 2 f (x) = ∑∑

2

f (x)

 

 

*xixk = ∑∑aik xixk

n n

 

 

 

 

n

 

 

 

 

n

 

 

 

 

 

 

 

 

 

 

i=1 k=1

xixk

 

x

 

i=1 k=1

 

 

 

 

 

 

 

f(x)

 

x*=

f(x)

 

f(x)

 

x*=0 называется стационарной точкой.

 

 

 

 

 

 

 

 

 

 

Если эти условия выполняются, то точка

x1

 

x1

 

x*= =xn

 

2. Достаточные условия существования локального экстремума (ДУ)

Пусть для функции f(x) в точке x* выполняются ДУ и она имеет вторые смешанные производные в этой точке.

Когда второй дифференциал f(x)

 

 

2 f ( x)

2 f ( x)

 

 

x12

x1x2

ai k =

 

2 f ( x)

2 f ( x)

 

x2 x1

x22

 

 

 

 

 

 

2 f ( x)

2 f ( x)

 

 

xn x1

xn x2

2 f ( x)

x1xn

2 f ( x)

x2 xn

2 f ( x)

xn2

-есть отрицательно определенная квадратичная форма, то в точке x* имеет место максимум, -есть положительно определенная квадратичная форма, то в точке x* имеет место минимум

177

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

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

Если собственные значения отрицательны матрицы aik имеют разные знаки то экстремума в данной точке нет.

2fx1(2x) λ

2 f (x)

x2x1

2 f (x)

xnx1

2 f (x)

x1x2 2fx(2x) λ

2

2 f (x)

xnx2

 

 

2

f (x)

 

 

 

 

 

 

 

x x

n

 

 

 

 

 

 

 

 

 

2

1

 

 

 

 

 

f (x)

 

= 0 Гессиан f(x)

 

x2xn

 

 

 

 

 

2

f

 

 

 

 

 

 

(x)

 

λ

 

 

 

xn2

 

 

 

 

 

 

 

 

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

Φ(x,ψ) = f (x)+m ψiϕi (x)

i=1

178

Условная оптимизация

Математическое программирование - это область математики, разрабатывающая теорию, численные методы

решения многомерных задач с ограничениями. В отличие от классической математики, математическое

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

1 Метод множителей Лагранжа

Пусть задана функция нескольких

x* переменных

n

требуется найти экстремумы f(x) при заданных ограничениях:

ψi

1. Необходимые условия существование локального экстремума (НУ)

Функция Лагранжа

 

)=0;

i=

1 m

 

 

 

ϕ

(x)

 

 

=ϕ

(x,x

2

, x

n

ψ*=(ψ1*,ψ2*, ,ψn*) множители Лагранжа

i

 

 

 

 

 

 

 

 

 

i

1

 

 

 

 

 

 

 

Если f(x)

 

=

f(x)

 

x

*= =f(x)

 

x

*=0

является локальным экстремумом, то существует вектор

Φ'

(x* ,ψ * ) = 0

*

 

 

 

x1

x

 

x1

 

xn

 

 

 

 

 

 

 

 

 

 

x

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

m

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

такой, что

Φ'x (x,ψ ) = f ' (x) +ψiϕ' (x)

 

 

i=1

где f ( x)

179

1. Достаточные условия существование локального экстремума (ДУ)

Если ϕi (x) и (Φ'xx' (x*,ψ*)h,h)>0

дважды дифференцируемы в точке x*

 

и в этой точке выполняются ДУ и условия

 

 

(Φ'xx' (x* ,ψ * )h, h)< 0 или

(ϕi' (x*)h, h)=0

i =1 m

При всех ненулевых h, удовлетворяющих условиям

 

 

 

m

 

 

Φ'xx'

( x* ,ψ * ) = f '' ( x) + ψ iϕi'' ( x)

 

i =1

То x* строгий локальный минимум (максимум) f(x) при заданных ограничениях.

f (t x +(1t) y) t f (x) +(1t) f (y)

Где

t 0 1 x y

 

180