Открыть Электронные книги
Категории
Открыть Аудиокниги
Категории
Открыть Журналы
Категории
Открыть Документы
Категории
Босс
ПЕкqии по
МАТЕМАТИКЕ
ОпmuмuзаЦUII
MOC~
- - URSS I~I
ББК 22.18я73
Босс В.
Отпечатано а 000 оЛЕНАНД•. 117312. г. Москаа. пр-т 6О-лет". Октября. д. (IA. стр. 11.
НАУЧНАЯ И УЧЕБНАЯЛИТЕРАТУРА
~
E~: URSSO\JRSS.ru 435107 ID 41731
j~l~Ш~ l~I~~l~J
кsтвnor И3Д8НИЙ 8 Иtm!pИlml:
http://URSS.ru
Тen.Jфaкc: 7 (495) 135-42-16
URSS ТenJфакс: 7 (495) 135-42-46
Оглавление
Предисловие к .Лекциям. . . . . . . . . . . . . . . . . . . . . . . . . .. 7
Предисловие к седьмому тОму. . . . . . . . . . . . . . . . . . . . . . .. 9
Глава 1. КрИ11lческие точки и rpадиентиые поля. . . . . . . . . .. 10
1.1. Безусловный экстремум 10
1.2. Достаточные условия . . . . . . . . . . . . . . . . . . . . .. 13
1.3. Градиентные поля . . . . . . . . . . . . . . . . . . . . . . .. 15
1.4. Минуя бифуркации. . . . . . . . . . . . . . . . . . . . . .. 18
1.5. Глобальный оптимум . . . . . . . . . . . . . . . . . . . . .. 19
1.6. Деформации градиентных систем 22
1.7. Топология градиентного поля . . . . . . . . . . . . . . .. 25
1.8. Комментарии и дополнения . . . . . . . . . . . . . . . .. 29
lЛава 2. Условная минимизация . . . . . . . . . . . . . . . . . . . . .. 30
2.1. Условный экстремум . . . . . . . . . . . . . . . . . .
30 . . ..
2.2. Общий случай. . . . . . . . . . . . . . . . . . . . . . .
34 . . ..
2.3. Нелинейное программирование . . . . . . . . . . .
36 . . ..
2.4. Вопросы существования. . . . . . . . . . . . . . . .
38 . . ..
2.5. Достаточные условия . . . . . . . . . . . . . . . . . .
39 . . ..
2.6. Интерпретация множителей Лагранжа 41
2.7.•ДвоЙственные.задачи 43
2.8. Принцип Ле Шателье-Самуэльсона . . . . . . . . . .. 44
2.9. Штрафные функции . . . . . . . . . . . . . . . . . . . . .. 45
2.10. Механика и обобщенные координаты 47
•
2.11. Примеры . . . . . . . . . . . . . . . . . . . . . . . . . . . . .. 49
lЛава 3. Выпуклый анализ . . . . . . . . . . . . . . . . . . . . . . . . . 52
3.1. Векторы и матрицы . . . . . .. . .. . . . . . . . . . . . .. 52
3.2. Выпуклые множества и конусы . . . . . . . . . . . . . .. 53
3.3. Выпуклые функции. . . . . . . . . . . . . . . . . . . . . .. 58
3.4. Субградиент и субдифференциал . . . . . . . . . . . . .. 61
4 Оглавление
НилЬе Бор
ВеК1Ор
= { дж'
д", д"'}
grad '" ду
д", д",
-(ж - ЖО) + -(7/-7/0) = О.
дж д7/
u = ",(ж, 7/),
10 это сводится К предыдущему
lJV' lJV'
u- uo = дж (ж - жо) + IJY (у - 110)·
VV'(Ж) • (ж - жо) = о, I
где VV' = {::. ..... :~}.
Уравнение касательной в к n + ' к поверхности графика u = V'(Ж) в точке
{uo, жо}, uo = СР(Жо):
I u - uo = VV'(Ж) . (ж - жо)· I
Теорема о Cpe.IUIeМ. Применяя теорему Лагранжа к функuии скалярного apryмeHТ8
, ~ IJV'(z)
~(I) - ~(O) = ~ (8) = LJ ~(Yi - жi) = VV'(z)' (у- Ж),
i Ж.
)1 О локмьном максимуме u = Ip(ж) а точке ж· roворят, Korдa Ip(ж) < Ip(ж·) дЛЯ
ж 1= ж· и3 некотороА окрестности точки ж· . При замене неравенства на Ip(ж) ~ Ip(ж·)
roворят о несmfJOlON или нeu:ЮЛU{JOгОНIЮN максимуме.
1.2. Достаточные условия 13
2
"'"
L- д D.дrp . t1Жit1Жj >О при t1ж::/= о,
.. ж, ж,
','
то в критической точке ж* - минимум S), ибо в малой окрестности
ж* будет rp(ж* + t1ж) > rp(ж*), потому что Vrp(ж*) = О.
2
D rp ] вырождена, ситуация принци-
Если матрица Гессе 6) [ дж;дЖj
б)
Рис. 1.4
:i = f(ж) ( 1.5)
называетСIl устойчивым по ЛllnУНову, если по любой его окрестности V можно
указать такую окрестность W, что любое движение, начинающееСIlВ W, не выходит
за пределы v.
1.3.2. ПоложениераВН08есиll ж' системы (1.5) называетСIl асимnтотически устой
чивым, если оно устойчиво по ЛllnУН08У и любое решение ж(t), начинающееСIl в до
статочно МШloU окрестности ж', стремитСIl к ж' при t --+ 00. При зтом множество
точек ж(О), из которых траектории ж(t) aoдllmcll к ж', на:JbIваетСIl областью
nритllжениll ж' .
Изучение
(1.5) наряду с (1.4) представляет интерес в том случае,
когда оба движения происходят под острым углом друг к другу 10),
В результате чего оба - асимптотически устойчивы или неустойчи
вы одновременно.
B. R = {ж : r ~ Ilжll ~ R}
в ClWlJlpIIOM случае, если некоторая функция Ip(ж) имеет в ж' локальный ми
нимум 16) И не имеет других критических точек, то минимум в ж' является
глобальным. Еше точнее: чтобы локальный минимум не был глобальным - дол
жен быть еше локальный максимум.
с D
о
~
А В
о
Рис. 1.5
'е'
z
1 3
= (зж - 2ж )е r +. jr I +t 2 dt.
1.5. Глобальный оптимум 21
LR = {ж : .,,(ж) ~ R}
является компактом, в силу (1.6). Функция .,,(ж) обязана достигать минимального
значения на L R в некотороА критическоА точке, т. е. в ж· . ~
компактность множества
L R = {х : Ip(X) ~ R},
на котором непрерывный функционал обязан иметь минимум
по классической теореме Вейерштрасса.
... Множество Л тех,л Е [О, 1), при которых нуль является точкой минимума
!р(ж, ,Л), открыто в [0,1) (теорема 1.4.1). Поэтому, если установить замкнутость
Л, - это повлечет за собой Л = [О, 1).
Пусть !р(ж, "о) имеет в нуле минимум и ПО обозначает область притяжения
нуля при движении :i: = -V!р(ж, "о), а В• - открытый шар10) максимального
радиуса, который содержится в ПО.
Мы покажем, что r допускает оценку снизу, r ~ f > О, не зависяwую от "о.
Тем самым теорема будет доказана, ПОСКOJ1ьку на шаре В. любой локальный ми
нимум будет глобальным, и тогда из 'лt -+ 'л. (все 'лt Е Л) будет следовать 'л. Е Л.
П0J10ЖИМ
1"~2~1
Рассмотрим теперь функцию lJ(t) = !р[жо(t), "о), которая в силу (1.7) убывает
со скоростью
Поэтому
не зависяшая от Ао.
Остается пояснить, откуда берется неравенство СР(Жо, Ао) ~ тр. Пусть ж6
обозначает rpаничную точку шара В., которая не ПрИНaдllежит ПО. Траектория
(1.7), начинаюшаяся в этой точке. вынуждена уйти из единичного шара B1
(см. доказательство теоремы 1.3.5). Но тогда. в силу непрерывной зависимости
решения от начального положения, найдутся сколь утодно близкие к ж 6 точки ж6
В ПО, исходя из которых траектории (1.7) сначала попадают на rpаниuу B 1 • а потом
уже сходятся к нулю.
al + ... +аа
-=-----=
n
~ V'al'" а n
перепишем его в виде
на неотрицательномортанте R~-I.
Легко проверить, что система уравнений
1: к а
-+ к n
•
а f(П) - образ границы при непрерывном отображении I(ж). Поле f(ж) пред
полагается невыpoжi)eннЫAI на П, т. е. I(ж) 1= о при ж Е П.
26 Глава 1. Критические точки и градиентные поля
(1.8)
(VIp(x), х) >О
при любом х, лежащем на граниuе некоторого шара BR. Тогда
векторы VIp(x) и х не MOryr быть противоположно направлены.
• Пусть
IIVср(ж) - жll < IIVср(ж)11 + Ilжll·
Тогда ср(ж) в {} имеет критическую точку.
z = rp(ж, у) = (у - ж 2 )(у - 2ж 2 ).
На любой прямой у = аж (а::/; О) функция
ф(ж) = rp(ж, аж) = а 2 ж 2 - Заж) + 2ж 4
(мя у = /3ж 2
, 1 < /3 < 2).
• Склон rp(ж) выше CD на рис. 1.5 можно не опускать ниже уровня rp(ж"), -
и тогда автономная система
ж = -Vrp(ж)
будет иметь положительно определенную функцию Ляпунова rp(ж) - rp(ж"), веЗде
(кроме ж ::/; ж") строго убывающую, но траектории ж(t), начинающиеся выше CD,
будут уходить в минус бесконечность.
Условная минимиэация
(2.1)
Рис. 2.1
2.1. Условный экстремум 31
"римepw
L(ж, ~) = t
;=1
rj.fXi - ~ (Ё Жj - х) ,
;=1
n
OL rj
-=---~=O Еж; = Х, i = 1, ... ,п.
дж; 2-1Ж; , i=1
• rl
Ж; =X~ 2'
L..J rj
j
Л' ~ ~~ " r,
2 'L..JX'
j
gl(X) =о и g2(X) = О.
Как уже отмечалось в начале раздела, чтобы оставаться на поверх
ности g(x) = О, можно двигаться только перпендикулярно градиен
ту Vg(x). в данном случае надо оставаться на обеих поверхностях
одновременно, чего можно достичь, смещаясь перпендикулярно
m
L(x, ~) = I(x) - L ~j9j(X) (2.6)
j=1
m
Lo(x,~) = ~oJ(x) - L ~jgj(X)
j=1
'" r
Lо(ж. Л, р) = .\о/(ж) + L Лj9j(Ж) + L Рjhj(Ж).
j=1 j=1
L(x,.\) = О.
Идея заключается в рассмотрении топологических свойств поля
VL(x,.\) при различных значениях .\. Если, например, вращения
векторныхполей 16, т. 1] VL(x, .\1) и VL(x, .\2) на граниuе некоторой
областиn не совпадают, то на любой параметрической кривой .\(t) ,
соединяющей точки .\1 и '\2, существует решение V L[ х·, .\(t·)] = о
на П.
Аналогично
Складывая теперь (2.12) и (2.13) и учитывая, что ж', л' - критическая точка
лагранжиана, получаем (v 2 L(ж', Л')ж'(о). ж'(о» ~ О. •
(2.14)
что после деления на IIzt - z'I1 2 И перехода к пределу (k ..... 00) приводит
к неравенству
(V;L(z', ).')у, у) ~ О,
противоречашему (2.14). ~
где
df =Е д! dж;.
~ ; дж; db
df
db
= Л'(Ь) . (2.17)
12) Как ни странно звучит, по1]le6итель обычно не знает, чего хочет. Точно так же,
любая задача - лишь ступеиь к пониманию того, какую задачу на самом деле надо
решать.
2.7. .ДвоЙственные» задачи 43
).'=- ,~2
Е..1.
2 . Х
J
r;../Ж; - ).'Ж;
каждого элемента достигает максимума при тех значениях ресурса ж;, которые
оптимальны по суммарному критерию, т. е. дЛя всего .коллектива •.
(2.18)
2,7, .двойственные-задачи
----------
:::,::.--
,,,.... " ...... ...-:.::~ ...................... ,
коллинеарны, решение зада
'р(Х" .\1) ::;; 'Р(Х2, '\,), 'Р(Х2, .\2) ::;; rp(XI • .\2).
откуда
(2.20)
(2.23)
I + р2 Е g](zl')'
j
~V '(ж') + Е ~jVgj(X') = О,
j
На условную минимизацию,
полезные интерпретации.
где W v =r
v обозначает ускорение. При этом естественно говорить
о движении изображающей точки в пространстве 3N n изме =
рений.
Выстраивая все переменные в один ряд Х = {Х 1, ••• , Х n } ,
можно говорить о движении тjЖj = Fj или более общем
mjXj + fJjXj = Fj(x),
д/(х)
где Fj(x) = -д--'
Xj
а fJj - коэффициенты трения.
д/
Fj=-д.
Xj
R= L ).jV 9j(X),
j
(2.26)
n дх.
.
6х·I = ""_'6q·
L- д.
J' ..• -- I , ... , n .
j=1 qJ
где
BXj
J 7
Q. = " " F i -
Bqj
2.11. Примеры
~
~
из памяти многое, что остается за бортом.
~
Рис. 2.3
Это известная задача Герона, сохраняющая
свежесть несмотря на возраст (порядка 2000 лет).
Решение в рамках лагранжевой методики, конечно, не может кон
курировать с изящным геометрическим трюком.
Рис. 2.4
2.11. Прнмеры 51
ронах исходного.
А "----"'---------"
С
и = I(DE + EG + GD). (2.27)
Рис. 2.5
Модель, предоставленная сама себе, решает
задачу автоматически. В равновесии достигается
минимум (2.27), т. е. минимум пери метра ADEG, а из условий равновесия
очевидно, что равнодействующаясил растяжения в каждой точке D, Е, G должна
быть ортогональна соответствующей стороне ААВС. это уже другая задача, и ее
решение известно: такой треугольник ADEG получается соединениемоснований
высот ААВС.
01' •••
А= .
[
оп, .
• Череэ /1;: обоэначается i-я строка матриuы А, череэ o:j - j-й етолбеu, т. е .
N
Линейную комбинацию L >';С; точек {fl , ... , fN}, при условии
;=1
N
>.; ~ о, L >.; = 1,
;=1
называют выпуклой.
ж Е К, ж # о :::} -ж ft К,
называют острым, или заостренным.
К'={х:х=уА, у>О}.
уА = -и > О, У '" О. •
K~ = {ж : ж ~ О},
<Pj(X) =L ajkXk + bj
k
Iжl < 1,
~(ж) {;'ОО' ::
= Iжl = 1,
00, ДJ1Я Iжl> 1.
детали и yroчнения имеются в [201.
Правая nРОU380дная
выпукла на [О, 11, откуда ('( 1) - ('(О) ~ О, что и есть (3.2), поскольку
('(t) = -(V~[ж - t(ж -у)l, ж -у).
Е
Пусть теперь О <Е ~ р. Для Ilжll ~ -r имеем, в силу выпуклости !р,
р
1
0= !р(0) =!р [ --ж + -Е/р- ( --ж
р )] ~ --!р(ж)
1 Е/Р (Р)
+ --!р --ж ,
I+E/p I+Е/р Е I+E/p I+Е/р Е
поскольку - ~ж
1"
Е С•. Orcюда !р(ж) ~ -Е.
3.4. Субградиент и субдифференциал 61
€
Таким образом, lер(ж) - ep(O)1 ~ €, если Ilжll ~ -r, что и доказывает непре
IJ
рывность ер(ж). ~
~ mах[ер(ж + а) - ер(ж»). ~
11.11=1
для любого h.
Множество субградиентов <р в х называется суб-
{- {о = (v, z - жо),
дV'(жо}
д
s
= zEO\O(xo)
mах (z, а).
{
О, z Е П;
х(щ=
00, z ~ П
Последнее равносильно
точечного описания.
'Р'(У) = mаХ{(Ж,II)
z
- 'Р(ж)}. (3.9)
откуда
т. е. (i) ::} (iii). эта же цепочка легко проходится в обратном направлении, что
в итоге обеспечивает эквивалентность (i) и (iii).
Аналогичное рассуждение, начатое с ж Е д",'(у), приводит к равенству
- кубическая,
и наоборот 15) •
nS=0, но lI'=n{S\S}!0.
в этом случае сушествует такаА ра:шеЛАюwаА гиперплоскоеть Н, что 11' лежит
в одном ИЗ orкрытых полупространств.
Выпуклое nрограммирование
Нелинейная задача
f(x) -+ min,
hj(x)~O, j=I, ... ,r, (4.1)
xEQ
с выпуклыми функциями f(x), hj(x) и некоторой выпуклой обла
стью 1) Q - называется задачей выпуклого nрограммирования. В (4.1)
предполагается выполненным на Q условие Слейтера: существует
такое х, что
Последнее равенство гарантирует (теорема 3.4.1), что в точке {ж', у'} дости
гается глобальный минимум лагранжиана L(ж, у') по ж, что и дает необходи
мое (4.2). ~
•
дf(ж') = Е у;дhj(ж·).
j=1
4.2. Двойственность
Введем функционал
в результате
min mах ,,(ж, у) :S:; f/J(ж·, у.) :S:; mах min f/J(ж, у),
z • • z
mах f/J(ж·,
•
11) = min
z
mах f/J(ж, 11),
•
убеждаемся, В силу (4.8) и определения 4.1.2, что (ж·, 11·) - седnовая точка. Это
доказывает необходuмосmь. ~
означает
откуда ф(х, у.) ~ ф(х·, у.) ~ Ф(х·, у), т. е. (х·, у.) - седловая точка,
и по теореме 4.3.1 справедливо (4.8).
Таким образом, проблема сводится к сушествованию непо
движной точки у многозначного отображения Т =U х V.
ж' Е Т(ж').
Геометрически ясно, что подходяший элемент ж сушествует, если все векторы 0i:
расположены строго по одну сторону некоторой (п - I)-мерной плоскости.
Для этого, в свою очередь, требуется, чтобы множество К(А) векторов
и u= -tl, то
u + tI = L(Yj + Zj)Oj: = О,
j
Bz >О с матрицей
В-- [А]
1 .
a ll .•. al n
а21 .•• а2п -bl]
-Ь2
'" . ... ·х > О.
[ aml •.. а тп -Ь т
О •• , О 1
... Если последнее неравенство имеет решение {жl •...• Жn+I}. то решением
ЯВ1lяется и
• Система неравенств
Аж < О, ж ~ О, уА ~ О, У ~О
L aijXj ~ bj.
j
(с, z) -+ тах, Az ~ Ь.
Каноническая модификация
L aijXj + Zi = bi·
j
Впеременных
и= [:]
исходная задача (4.9) принимает вид (4.10).
(с, Х) - Хn+1 = О.
Аналогично нелинейная минимаксная задача
L..J с; J-ж··
"'" -+ min ' (4.12)
"
;J
где С;; - стоимость пере возки единицы товара из i-ro узла - в j-Й.
Минимизация (4.12) при ограничениях (4.11) - задача линейноro про
rpаммирования, но только в нестандартной записи с помоwью двухиндексной
нумерации переменных.
Каждое из ограничений
L aijXj :::;; Ь;
j
(с, х) ~ mах, Ах ~ Ь, х ~ О.
(Ь, у) ~ min, А Т у ~ с, у ~ О,
где А Т обозначает транспонированную матрицу. Вместо А Т у ~ С
часто пишут уА ~ с.
Напомним, что двойственная к двойственной - снова исходная
зanача. Двойственные задачи тесно связаны между собой, и эта связь
плодотворна.
YOpaJUIeНIUI
(с, ж) -+ тах, Аж = Ь, ж ~O
ЯВl1яется задача
ЕОijЖj:::; bi • i = I •...• k.
j
ЕОijЖj = bi • i = k+ 1•... • т.
j
У; ~ О. i = 1•...• k.
~c(Ь) = (Ь + ~Ь, у' + ~y) - (Ь, у') = (~Ь, у') + (Ь, ~y) + (~Ь, ~y),
где у' + ~y обозначает решение ДВОЙl:Гвенной задачи с новой uелевой функцией
(Ь + ~Ь,Y) при I:I'aPblX ограничениях АТу ~ с.
Как уже отмечалось, при малых изменениях вектора Ь решение ДВОЙl:Гвенной
задачи не меняется (теорема 4.6.1), Т.е. ~y=O, что влечет за собой ~c(Ь)=(~Ь,y').
В чаl:l'ИОМ cnучае ~Ь =
{О, ... ,~bi, О, ... ,О} имеем ~c(Ь) =
у; ~bi, т. е.
• ~c(Ь)
У; = ~Ь; . (4.13)
64 Глава 4. Выпуклое программирование
Еа;jЖ; ~ Ь;
j
не активно, т. е.
ЕаjjЖ; < b j,
j
I
j
Y ~ ('""
I L...i а· ·X~ - Ь') - О
IJ J I - ,
j
Х; ( ~ aijY; - Cj) = О.
I
4.8. Экономическаяинтерпретация
убыточные производства,
16) Если ресурс в И1бытке (воздух или вода в некоторык регионак), его целесооб
разная цена нулевая. Положительная цена лишь путает карты.
4.9. Транспортная задача 87
(4.18)
ajbj
Xjj = --,
n
котоРОе, как легко проверяется, удовлетворяет ограничениям (4.17)
при условии (4.18).
Задача
(а, и) + (Ь, 11) -+ тах, и; + lIj ~ C;j
LXpj,
j
входящим в С.
LXpj -+ mах,
j
18) Ребро (i, j) неНQСЫщенно. если Жij < (Щ. ПростоА рецепт целенаправленного
поиска пyrи ИJ ненасышенных ребер проше переоткрыть самостоятельно, нежели
раJбираться в его описании. При иноА roчке Jрения можно обратиться К любому
учебнику.
19) Труднореwаемые J8д8чи и вooбwе дискретные J8д8чи ОПТИМИJaЦИИ планируется
рассмотреть в отдельиом томе.
90 Глава 4. Выпуклое проrpаммирование
Аж ~ Ь, ж >0,
где А матрица m х n, - имеется m +n скалярных ограничениА. Вершина
определяется пересечением n гиперnлоскостеА, т. е. из m +n уравнений надо
выбрать n линеАно неэависимых. Поэтому
СП _ (т+n)!
т+n - т!n!
Теория игр
uенз
И причина заключается в неосвоенно
сти самой идеи оптимизации, а не ка
Рис. 5.1
ких-то теорем.
с коллективными.
[8-4] .
2 14
Покупатель выбирает столбеu, т. е. какие акuии покупать; строка
определяется неизвестными заранее обстоятельствами.
Покупать акuии 82 рискованно (могут оказаться убыточными),
а гарантированная прибыльность 81 - всего 2 %. Тем не менее,
из ситуаuии легко .выжимается. 5 % прибыли. (!) Действительно,
если акuии 81, 82 купить В количестве х. , Х2 штук, то прибыль будет
1 I
либо d, = --(8х) - 4Х1) %, либо d1 = --(2х) + 14Х1) %.
XI + Х1 Х, + Х2
8 о]. 10-2.
[ 2 12
W(p, q) = L aijPiqj,
i,j
mах min
" q
L.. aijPiqj = miпq mах
"
L.. aijPiQj. (5.1)
',] I,J
BDi(X·)
д
Xi
= О, i = 1' ... ' N. (5.2)
(1;1) (9;0)]
[ (О; 9) (8; 8) .
Вернемся к задаче
n
~ rj.;:i; -+ mах, (5.3)
j=1
Dj = !pj(Xj) - '\Xj,
где ,\ - цена ресурса. Во-вторых, производственные функции
управляющему органу (УО) , как правило, не известны или из
вестны весьма приблизительно. В ситуации !pj(Xj) = rj.;:i; можно
98 Глава 5. Теория игр
ТОГО уровни. Но это не всегда дает эффект, порождаи второй круг неприитностей
и инициируя сознательное скрытие резеРВОВ производства.
емы.х альтернатuв.
Говорят, как назовешь, так и поедешь. Теория катастроф - лишнее ТОМУ подтвер
ждение. Сначала имя вознесло, потом сбросило. Ажиотаж сменился разочаровани
ем. Баланс до сих пор не найден. Однако не дожидаясь, пока -все уляжется_, здесь
стоит обратить внимание на ряд аспектов. В первую очередь заслуживает упоми
нания классификация критических точек, особенно для семейств функuионалов,
а Т3lОКе понятие грубости, которое для параметрических семейств неожиданно
становится нетривиальным.
6.1. Скачкообразныеизменения
ниями уравнения
V/р(ж, Е) = О, (6.2)
при изменении параметра Е.
102 Глава 6. Бифуркации и катастрофы
х = f(X,E)
при изменении параметра называют бифуркацией, а соответству
ющее критическое значение Е - бифуркационны.м. Это не совсем
согласуется с исходным смыслом слова бифуркация 1), посколь
ку изменения могуг определяться не только ветвлением решений
уравнения f(x, Е) = О, но и чисто динамическими перестройками
фазового портрета без появления новых положений равновесия.
Например, в бифуркации АндРОНО8а-Хоnфа [6, т.21 фокус теряет
устойчивость, и при этом рождается асимптотически устойчивый
цикл. Тем не менее, в градиентных системах (6.1) бифуркации
в основном определяются критическими точками потенциала и их
в случае
I 4
Ip(ж) = -ж
4
f 2
добавкой -2Ж' Исходный нулевой минимум Ip(ж) при f >О превраwaется
1 4 1 2
!Рл(Х) = 4 х + 2 А 2 х + A1x (6.3)
определяется условием
d!рл 3
dx = х + А 2 х + А( = о.
Эrо уравнение так называемой ката
строфы сборки. При различных пара метрах
А •• А2 кубическое уравнение будет иметь
или один действительный корень, или
три. Получается поверхность, изображен
ная на рис. 6.1. Можно ли эту поверхность
считать графиком некоторой многознач
ной функции x(A 1, А2)? Вообще говоря,
можно, но на самом деле здесь подразу
Рис.6.1. Катастрофа
. d!рл(Х)
x=-~~"':'" сборки
dx
В этом случае заштрихованная часть поверхности отвечает неустой
чивым положениям равновесия x(A 1, А2), остальные х(А., А2) -
устойчивы 3).
Если при этом система в начальный момент находится в точ
ке А и параметр А2 плавно увеличивается. то состояние системы
меняется вдоль АСВ - в точке С происходит скачок. При возвра
щении А2 в исходное положение состояние системы будет меняться
по другому пyrи - ВЕР (нечто вроде петли гистерезиса). В то же
время при специальной регулировке параметров A1, А2 возможен
плавный переход из А в В вдоль ADB. Наконец, заштрихованная
часть поверхности, соответствует нереализуемым (неустойчивым,
метастабильным)состояниям системы.
Кубическое уравнение задает канонический вид катастрофы
сборки, имеющей в точке S характерную особенность. К такому
О дОl+... +О'j(ж)
D j(ж) = д Ж°1 ... д ж.О. '
1
." ()
3lpZ
~ D°Ip(O)
=L- ,Z,
а
0= О
а.
Ip ()
ж =~
LJ
D°lp(O)
---ж
о
0=0 о!
о(ж) = О + О . ж + О . ж 2 + ...
4) Обычно "-струя определяется бескоординатно, что выглядит нначе.
6.3. Лемма Морса 105
6.3.1. Лемма. Для любой гладкой функции f : IRn --+ IR, при условии
/(0) = О, - всегда можно указать такие 9i : IRn --+ IR, что
х , 9.·(0) = aafx(O•. ).
f (х ) = Xt91 (Х ) + ... + Х п 9п ()
... Результат устанавливается в одну строчку:
! I:(tж) = ! Е д~~~) жj
I I
f(x) = dt dt. ~
о о I
6.3.2. Лемма Морса. Пусть гладкая функция 1{) : IRn --+ IR имеет
в нуле невырожденную критическую точку и I{)(O) = О. Тогда в до
статочно малой окрестности нуля существует локальная система
д
коор инат ZI, ••• , Zn, в которои
M~
• По лемме 6.3.1
'Р(Ж) = L Zi'JIi(Z),
причем все
"'i(O) = 8'1'(0) = О,
дж;
'Р(Ж) =L ZiZjl";j(Z).
i.i
Без ограничения оБШНОСТИ можно считать 1) lAJij = IAJji, причем матрица IAJjj(O)
HeBыpoJКдeHHa, поскольку HeBыpoJКдeHHa нулевая критическая точка и
1 81'1'(0)
lAJ;j(O) = -2 - 8
8Zj .
Ж;
получается
10) О неэквивалеитности внешне похоJlCИХ функций ;r} и ;rS МОJICИо судить на осно
ве ТОГО, что нх мвлые возмушения приводят к появлению разиого чнсла новых
rдe ра:JJIожение в ряд Тэйлора g(x" Ж2) начинается с членов порядка не менее 12-го,
оказывается II-оnределенной, и поэтому эквивалентна вблизи нуля многочлену
X,X~ + X: I. О неэквивалентности XIX~ и XIX~ + ж:' можно судить по ра:JJIИЧНЮ их
графиков в части пересечения нулевого уровня: X,X~ = О удовлетворяют обе оси
координат, а X,X~ + х: = О - только Ж, = О.
1
Функuии
'(Х, у) = зх
2
+ 2ж J
- 6ху 2,
g(x, у) = зх + 2х
2 )
- 6жу 2 + h(x, у),
где ра:JJIожение h(x, у) начинается с членов порядка не менее четвертого, в обшем
случае MOryт быть не эквивалентны. Однако если ра:JJIожение h(x, у) начинается
лишь с членов пятого порядка, то 1и9 - эквивалентны. (!)
Оба многочлена
,,(х, у) =ж 2
-2ху + у2,
/2(х, у) = х 1
_ у1
членов третьего порядка и выше. Ничего подобного нельзя сказать о первом мно
гочлене /1' Прибавление к нему членов более высокого порядка может менять
характер критической точки, так или иначе.
Z = Х + у, Х Е Х, У Е У.
12) Прямая и плоскость ]R2 mроНСlfе/КаАЬНЫ в ]R3. если прямая не лежит в плоскости.
Но в а4 они уже не трансверсальны.
13) Разбросанные по литературе определения трансверсальности имеют опреде
ленный люфт. которы!! обычно используется ДЛЯ извлечения тех или иных удобств.
6.6. Структурно устойчивые семейства 111
структурно устойчиво?
Потому что критическая точка ж4 расщепляется под воздействием сколь угод
но малого возмущения ~ж2. Что касается fjJА(Ж), то :шесь квадратичные и линейные
члены ..пегалиэованы", а от кубических можно и:Jбaвиться заменой переменных.
Поэтому возмущения степени ~ 4 меняют лишь параметры функционала. Нако
нец, возмущения степени >4 не играют роли, потому что имеет место аналог
4-0nределенностu d4R семейства, но это и СОСТ8В11яет основную трудность при
строгом доказательстве, хотя может быть 0с0знано с помощью визуальных уси
лий - на базе предстаВ1lений о трансверсальных пересечениях.
х
3
+ -Л2Х + -Л 1 = О
легко анализируется элементарными методами, и было изучено
змолго до появления теории катастроф. Тем не менее, дух теории
катастроф витает нм уравнением
х 3 + -Л2Х + -Л 1 = О,
и было бы полезно разобраться, есть ли от этого какой-то эффект
для термодинамики.
161 ХороwиА при мер, кстати, Korдa сомнительные предположения ведут к пра
виnьным выводам.
114 Глава 6. Бифуркации и катастрофы
число их типов.
6.8. Дополнение
L f(y)
Рис. 6.3
тем центр тяжести теории лежит, безусловно, в ди-
намической области.
Статического ракурса иногда не хватает даже
в тех :J8Д8чах, где изначальнонет никакой динамики.
Рассмотрим для примера блок-схему, изображенную
на рис. 6.3. В цепи обратной связи :шесь использован функциональный преобра
зователь f(y) =.;у при у> о и /(у) = -Н при у < О.
у
Результируюшая связь между входом z и
выходом у системы определяется равенством
х+/(у) =у,
на выходе сигнал y(k) - y(k - 1) при входном сигнале y[k). Тогда из балансового
соотношения
Вариационное исчисление
7.1. Кnассическиезадачи
ДифференuиалдЛины дуги
dl = J1 + [у'(ж))2 dz.
в итоге dt = dl/v, и минимиэаuия времени движения (с точностьюдо константы
1/.;2g) сводится к эадаче:
JI + [у'(ж))2 d ---' .
0
r.:т::\ z -. mщ; у(О) = О, у(о) = р.
/ уу(ж)
о
~ ~
т т
О
T. .e.uJI ннn.. Форма тяжелой нити дЛины 1, эв
крепленной в точках (О, у(О)} , (а,1/(а)} (рис. 7.1)
Рис. 7.1
2) Между прочим, это хороши!! при мер TOro, ЧТО 38дача может быть решена
38дОЛГО ДО появления ueKMTHoro инструмента.да и не подозревали древние, что их
способы рассуждения будут К8:saться иестрогими через пару тысяч лет.
120 Глава 7. Вариационное исчисление
• •
и -JуJ I + (r/(Z))2 dz -+ min,
о
JJ +
о
1 (r/(Z))2 dz = 1.
! р(Х(,
т
!
w = " L(q,q,t)dt (7.2)
'о
на множестве глааких функuий
q(t), принимающих на KOHuax
заданного промежутка времени 3) [t o, t,] фиксированные значения
q(to) и q(t,).
Зааача (7.2) идеологически почти не отличается от конечномер
ного аналога, но технические подробности ее сильно преображают.
В первую очередь наао договориться, о каком функциональном
DL 1"
= -.6q
Dq 'о
+ f" L. (DL
----о
d DL) 6qi dt =
Dqi dt Dqi
to I
tl
=
f L (-
to I
.
DL
Dqi
- -dtd -.
DL)
Dqi
6qi dt = о,
DL DL
-Dqj - -dtd -Dqj = о, i = 1, ... , n, (7.4)
DL d DL
----=0 (7.5)
Dq dt Dq ,
где подразумевается
7.2. Уравнение Эйлера 123
... действительно,
в силу (7.5). •
Пpимepw
• в задаче о брахuсmохроне
0 Jt +r.:т=\
[1I(z)P .1_
...... -+ mщ
•
,,(0) = О, "(0) = /З,
/ v,,(z)
о
f 1/(ж)V 1 + 11I(ж)J2
%2
S = 211' dz.
%1
1/ =с
JI + (11)2 '
ж-С,
1/=Cch-- '
C
Соответствуюшиеповерхности называют котенouдами - такую форму принимаст
мыльная пленка, соединяюшая две окружности 61 , как показано на рис. 7.2. По
скольку энергия поверхностного натяжения пропорциональна плошади, форма
мыльной пленки может подсказывать решение и в более сложных случаях, когда
задача .трудно пробиваема. аналитически .
• Варьирование Функuионала
61 Решен ие задач и не впол не оче ВИJ1ИО дlUКe качС(;твеи но (а0 ynом И иаи и я MЫJI ьноА
пленки). Интуитивно кажется, что минимум пет враwение 01РСЗка прямоА.
7.2. Уравнение Эйлера 125
• в задаче
a2L
aq2 >О
дает возможность разрешить уравнение Эйлера относительно вто
рой производной:
q = F(q, q, t).
Это свидетельствует о совпадении экстремалей с решениями инте
грального уравнения
t.
q(t) = J
to
G(t, s)F(q, q, В) ds,
!
/,
W = L(q. 4, q. t) dt.
/.
BL d BL ,р BL
Bq - dt д, + dt2 Bq = о. (1)
BL d BL
Bq - dt Bq = О,
пока для проетоты n = 1, опирается на очевидный факт: .. Если
!" a(t)6q(t) dt =О
'о
для любой гладкой функции 6q(t) с закреnленны.ми в нуле концами, то
a(t) == О.,
- торжественно называемый основной леммой вариацион-
ного исчисления 9) .
!
tl
[a(t)s(t) + b(t)s(t)] dt = О
'о
8) Где 6q ПРОИЗ8ОЛьиая, но .каждый раз- фиксироваиная функция времени
с закременными в нуле конuами. Если бы речь wnа о производной по направлению.
а не о вариаuии, то надо было бы говорить о npatlocmopйНHeii производной ('(О).
9) В .Лекциях- мы стараемся говорить .очевидно-, когда нечто действительно
просто, н пояснения только засорили бы пейзаж. В даииом случае доказательство
могло бы сводиться к замечанию: если о(Т) :F О, то выбор фуикции 6q(t). отличной
от иуля ЛИШЬ в малой окрестности r. -
приводил бы к противоречию. Поиятно. что
любое короткое замечание можно растянуть иа пару страииu.
7.3. Преимущества наивной теории 127
критической точки ж· Е Е, то
(7.7)
- достаточное.
в раЗделе 1.8 было уже проверено, что в любом вертикальном сечении Функция
= !р(тж, Т1I)
((Т)
D2L
Dii ~ О,
условие Вейерштрасса
E(q, q, р, t) ~ О, (7.8)
где
.
E(q, q, р, t) = L (q, 'q, t) - L(q, р, t) -
DL(q, q, t) .
Dq (q - р),
DL DL
Dq и L - Dq q
в точках излома экстремалей.
" 2
2 2 2
62 W(q) = j{DDqL.
2 Х (t) + [DDqL2 - dt D L] Х 2(t) } dt,
d DqDq (7.9)
'о
где
2
6 W(q) = ("(0), (Т) = W(q + ТХ), Х = 6q.
7.5. Достаточные условия 131
J
11
(2) Что обычно называют меmодом геодеЗU'lеекuх nOKpblmuu. Экстре мал и ОТОЖдеств
ЛЯЮТСЯ С решениями уравнений Эйлера.
132 Глава 7. Вариационное исчисление
t.
W(q·) = !
to
L(q·, q., t) dt = !
С
P(q, t) dt + Q(q, t) dq
f
с
P(q, t)dt + Q(q, t) dq =
rде p(q, t) обозначает геодези.,ескиЙ HalCllOH - производную той экстремали q' (t)
в точке t, которая проходит через точку (q, t).
д [ дL] д дL
дq L(q, р, t) - Р др = дt др' (7.11 )
OL д OLI
Oq - Ot др q=qЩ = О,
вытекающего из уравнения Эllлера, если через любую точку (q, t) проходит
единственная экстремanь.
q- p(q, t) == О,
откуда ясно, что (7.10) совпадает с W(q·). Это позволяет оценить
разность W(q) - W(q·) как интеграл
!{ . L(q, q, t) - L(q, р, t) -
aL(q,
aq
q, t).
(q - р)
}
dt, (7.12)
с
(!) Из разложения
. OL(q,p,t) . 1 0 2L(q,ii,t). 2
L(q, q, t) = L(q, р, t) + Oq (q - р) + 2! O2
q
(q - р) ,
0 2L
Oq2 ~ О
(7.13)
Пусть, например, свободен один конец (t., q.), q. = q(t,). При перемешении
!1>аничной точки из (t" q.) в положение (t l + 6t., q. + 6q.) прирашение функци
онала (7.14) на эксmремйJIRX оказывается равным
1,+11. 1.
6W J L(q + 6q, 4 + 64,
= t) dt - J L(q, 4, t) dt.
~ ~
6W=(L-4:~)1
q 1=1,
6t'+:~1
q 1=1,
6ql+o(6t,)+o(6q.). (7.15)
(L_/L)I
дfj 1=/1
=0. -дLI
дfj 1=/1
=0
•
то
(L+(i-q)a~)1
aq 1=1,
=0.
7.7. Изопериметрическиезадачи
1,
! !
1.
+.\{ I
1. 1.
L(q,.\) = !
~
S(q, q, t) dt
~
P(q, q, t) dt -I}
Пример..
Минимизаuия лаграНJкиана
(у + Л) _ С
V1 + (у')2 - ,
что в итоге порождает семейство кривых
ж-с.
у+л = с ch -с-'
Пара метры определяются ограничениями.
Интересно, что ТRJКелая нить принимает форму кривой, дающей при враще-
у
• Рассмотрим задачу об отыскании кри
вой у(ж) заданной ДЛИНЫ, площадь ПОД которой ...
...
(рис. 7.3) минимальна или максимальна, Т.е. ...
...
...
о
... ...
... ,
/ у(ж) dж -+ mах (miп), ' .
о
--------
о О а х
при той или иной фиксаuии краевых условий, {О, у(О)} , {а, у(о)}.
Минимизаuия лаграНJКиана
/ (у + лJI + (у'(ж)Р) dж
о
(ж - C I )2 + (у _ с2 )2 = л 2
•
f Р(х, и,
т
при любом управлении u(t) имеет единственное решение ж(t) = cp(u(t», - все
сводится к минимизации функционала
f
о
F(cp(u). и. ') tlt.
Но это лишь .. абстрактно говоря-, потому чro дЛя подстановкн надо "имет~
ж(t) = cp(u(t»). факта сушествоваНИА недостаroчно.
aF д/
ди +.л ди = О,
которые необходимо решать совместно с ограничениями
Задача оптимальногоуправления20)
!
1,
!
I1
откуда
I~ = О, У -~·I =
дН дН
Ж= -,
ду
у = --,
дх
(7.21 )
I I
и условие дН/ди = О оптимума гамильтониана по управлению,
что служит прообразом nрuнцunа .максиму.ма (глава 8).
Если к уравнениям Эйлера добавить условие Вейерштрасса,
то соответствующим эквивалентом можно считать гамильтоновы
. aF j n a/
Yi - - LYj-
= -aXi . aXi
}=I
х = - Лх, и, t).
Обратим внимание,
dH ОН ОН ОН ОН ОН (ОН) ОН
di = Ои u + Ож t + 01/ ri + m = Ои u + Ож + ri I(ж, и, t) + m'
что впечет за собой на экстремали:
Лх, и, t) = и,
Т.е.
х = и,
переходит в обычную задачу
t.
J = J
to
F(x, х, t) dt + G [to, t" x(to), x(t,)] --t min, (7.24)
х n +l = О,
после чего все сводится к минимизации интегрального функцио
нала
t,
J
10
[F(x, х, t) + хn +l] dt.
в отличие от lR
R
, где экстремальные задачи обладают той или
иной степенью наглядности, бесконечномерным задачам присуща
некоторая -загадочность •. Решения нет, почему - не ясно.
I (И )2I
I
I
I
2
t Ii(t) -+ min, 2:(0) = О, 2:(1) = 1,
о
уравнение Эйлера
ж = Аж+Вu,
где ж характеризует состояние, и - управление, А и В - матрицы,
размера, соответственно, n х n и n х т.
rankU = n,
Пример
Пусть
и = [~ ~]
невы РОЖдена.
Глава 8
J
т
F(x, и, t) dt ~ mах,
о
Хп+1 ~ тах.
t,
L(z, и, у, Z) = ! {F(z, и, t) + y(t)[J(z, и, t) - х] + z(t)h(U)} dt,
to
где z(t) = {zl(t), ... ,zr(t)} - множители Лагранжа.
к виду
! {Н(ж, и,
11
'1
. дН
У=-дж'
дН ah
ди + z(t) ди = О. h(u) = О.
. дН
Х=--, Н(х, и, у, t) = тах Н(х, v, у, t), (8.2)
ду t7
. ~ 8fj(Ж, и, t)
Yi =- LJ У)
. 1
8 '
жi
J=
n n
LУjfj(Ж, и, t) = тах LУjfj(Ж, V, t)
. IIEU .
J=I J=I
(,/ • АоЖ )
О
+ Е (,,t. ") -+ min.
k=1
,/ = ? yk = уН I A k + ck• Ic =1 т _ 1.
"kDk =,/Bk+bk• v k ~O Ic= I T.
которые В совокупности с
о
ж = о,
Вводя лагранжиан
BL BL
дж =0, ду = о, (8.6)
д/ '
Yk -_ yk+ I дж k ~ Т Т+ I = {о ,... "О I} .
k ~,y
8.5. Динамическое программирование 153
8.5. Динамическоепрограммирование
8.6. Многошаговыепроцессы
Gk(X k) = ut,o.o,u.
mах G(х П
+ 1 ), k = О, ... ,n.
(8.7)
необходимо помнить.
Далее определяется оптимальное значение и~-I , максимизиру
ющее
Рис. 8.2
8) Ориентированные графы.
9) Если бы граф содержал uикл, операuии uикла составnили бы парочиый круг -
и никогда ие могли бы начаться.
8.7. Критические пути и сетевые графики 157
возможность.
по критерию
р(ж) ~ min, ж Е Х,
9.1. Гуманитарные аспекты 159
9.2. СубдифференциаnКларка
,( ) '
'Р s х = 11т sup 'P(z + 88)8 - 'P(z)
. (9.1 )
Z-4Ж. e~o
На визуальном уровне
(9.2) означает, что д<р(Х) представляет
собой выпуклую оболочку всех точек вида lim V<p(x k ), где после
k-+oo
k
довательность {х } «избегает .. точек недиФФеренuируемости <р(х)
и точек произвольного, но заранее фиксированного множества ме
ры нуль.
дТ дТ
L i
-д :i:i;;;: -1,
Жi
Т.е. L i
~/i(ж,1J);;;: -1,
Ж.
тах{-
оЕи
дТ Ji(ж.1J)} = 1
Li дж, (9.5)
дТ
8(ж, и) =L -д./;(ж, и)
i 2:.
равны нулю, т. е.
д8 = L ~ /;(ж. и) + L дТ д/;(ж, и) = О,
дЖt . дж;дЖt . дж; дЖt
I I
поскольку
d (дТ) nZT
dt дЖt = L дж;дЖt /;(ж, и).
I
легко видеть, учитывая (9.6), что дЛя оптимального управnения обязаны выпол
няться обычные условия (8.2) принuипа максимума.
Численные методы
(10.1 )
которую при нято назы вать меmодом тяжелого шарика [181.
( 10.3)
(10.4)
10.2. Себестоимостькомфорта
00
"
которые в естественных предположениях обеспечивают сходимость
и позволяют частично .расслабиться •.
Требование
N
(ЖN+I - ж')2 ~ (жо - ж·)2 +м 2
Е 1;,
t=o
откуда, в силу
0< r ~ IIЖtl1 ~ R,
- что в итоre при водит к жt ~ ж' .
2) Расходимость ряда
Решение (10.8),
(10.9)
1
rp(x) = 2"(Qx, х) - (с, х), (10.10)
hk
/ё = (h k • hk)I/l'
На п-м шаге проuесс заканчивается.
(10.11)
можно взять
(ж, у) =L i
q;jж 1l.
;.}
(Qx, х) = L lIifi.
170 Глава 10. Численные методы
:1:= EOi/i
в (Q:I:,:I:), имеем
и,,···, /n}
можно отправляться от любой системы линейно независимых век
торов {el, ... , е n }. Поскольку .ортогоналuзaцuя .. Грома-Шмидта
не требует наличия сразу всех ej, - в качестве ej берут последо
вательно градиенты "i7!p(Xj) в точках Xj, получаемых на j-M шаге
в результате минимизации
о задачах оптимизации большой размерности речь шла в [6, т.41. где упор
делался на вероятностном срезе проблематики. В данной главе соответствуюшие
результаты излагаются с несколько иной расстановкой акцентов.
при больших n.
Соответствуюшая идеология описана в [6, т.4], но там она
завуалирована 1) вероятностной трактовкой. Остановимся на неко
торых упрошенных результатах, освобожденных от вероятностной
специфики.
!
С"
[V /n(ж))2 dж( .. , dж n ~ 1n
(11.1)
_
1" (ж )-tp
(аIЖ~ + ... +а"ж~)
n
Здесь IIV 1,,(ж)11 = 1 почти везде, но (11.1) гарантирует (после аккуратных вычис
лений)
1
17{/,,}"'" .;по
I
Х= - LЖk.
n
k
hn(ж. У) = L ЖtУt.
t
причем известны только агрегаты
Х =L Жt и у = LYt.
t t
"
с той или иной интерпретацией. Ресурсы MOryr перераспределяться
без потребления, как объемы в термодинамике. В другом варианте
потребление ресурсов может компенсироватьсяцентрализованным
воспроизводством, как в экономике (бюджет, внешние закупки,
регулярная добыча).
Наконец, каждая ячейка характеризуетсяфункцией полезности,
или эффектом обладания
дв" дв"
- - -+
дx~I
00 при Хё"-+ О, --+0
дx~I
при
"-+
Хё 00,
• 4)
максимален, т. е. Х определяется решением задачи
"
Понятно, что с формальной точки зрения речь идет об оп
тимальном распределении многомерного ресурса, не более того.
дв"
дx " = '\j,
( 11.3)
j
LX" =х.
"
Величину
( 11.5)
178 Глава 11. Задачи большой размерности
Пример
1
8 (ж') = r.bl, 1
i(ж ) = r2 .fЖ2. Суммарный эффект при оптимальном
распределении
оказывается равным:
где Х + У = Z. Тогда
mаХ{LI 8 It (ж t ) + 82t (yt»): L ж t = Х, Lyt = У} = тах {SI(X) + S2(y)}.
t t t X+Y=Z
dx = {dXI,"" dx n },
причем dXj > О, если система «получает», И dXi < О, если «отда
ет». Естественно, что любая система, наделенная хотя бы малой
толикой активности или пассивной целесообразности, допуска
ет лишь выгодные для себя обмены. Результирующую выгодность
можно определять по-разному. Правдоподобным выглядит следую
щий способ. Каждый i-й ресурс имеет свой коэффициент ,лj > О
выгодности, и обмен считается допустимым, если
( 11.6)
(11.7)
11.3. Термодинамическиепотенциалы
Поэтому
дП (дS ) дХ;
дА; = L дХ; - А; дА; - Х;(А),
I
и в силу (11.5)
дП
дА; = -Х;. dП = - L X;dA;. ( 11.9)
дП.
дА; = -Xi , i = 1•... • r;
дП.
дх.=Аj • ;=r+I ..... n.
J
~i дS / дS
Pi = ~ = дХi дХ '
1 i = 2, ... ,n.
При этом вместо ~1 удобно использовать величину
которая в термодинамикесоответствуеттемпературе.
дП r дП r
-=8'
дт '
дpi =-X j , i = 2, ... , r;
дПr
дХ. = Pj. j = r + 1, ... , n.
J
8S
--
8xj
= ~j,
10) АнanогичиыА коммеитариА можио llать к анanитическоА механике и вариаuи
ониому исчислению. Гllе похожее жонглирование составляет Яllро llИСUИПЛИНЫ.
из которых следует
dS
2
=L d;\i dЖi < О. (11.11)
(11.12)
12) Из (11.11) следует, что система .значимlXТИ - минус pecypcы~ ИВJlЯСТСИ P-I:U-
сmемой [6, т.31.
11.5. ОnтнмнзаЦНR инеопределенность 185
откуда ясно, что все Жjj представимы в виде произведения Ж;; = U;IJ;. Подстановка
в ограничения дает систему уравнений
Е UjlJj = L i , Е U;IJ; = W j ,
;
решая которую, окончательно имеем
186 Глава 11. Задачи большой размерности
~
../N и
~
../N' Прои:Jведение
как наличие у реГИОНОВ «потенuиалов
Вот как это работает. НаАдем плотность распределения р(ж) вектора ж Е R" ,
если помимо естественного условия нормировки
f р(ж)dж =
R"
1
Максими:JИРУЯ ЭНТРОПИЮ
L(р(ж), >., р) = -
R"
f [р(ж) In р(ж) + >.р(ж) + рж 2 р(ж)] dж
f
R"
[In р(ж) + I + >. + рz2]6р(ж) dж = О.
In р(ж) + 1 + >. + рж = О,
2
откуда
,( Теорема 1.... 1. Если lJIадкая ФУНКЦUJI 'Р(Х,'\) UNeem при .\о изолированныu
"'UHUNy'" по Z в mO'lKe х'(.\о), то при достаmочно ..,ШlОМ во:wущении ~,\ "'UHUNy'"
сохроннетсн, смещаясь в близлежащую точку х'(.\о + ~'\).
,( Теорема 1.5.1. Пусть х' - единственная критическая mO'lKa функции 'р(Х) ,
удовлетворllющеu условию неогрониченнOlO роста
'"
L(ж. Л) = f(ж) - Е Лj 9j(Ж)
j=1
I(ж) -+ min.
9;(Ж) = О. i = 1.... • т. (12.2)
hj(ж) ~ О. j = 1•.•• • r.
отличается от предыдушей наличием ДОПQJIНИтельных ограничений в виде нера
венств. Ограничения записываются TalOКe в векторном виде: 9(Ж) = О. h(ж) < О.
Элементы ж. удовлетворяющие ограничениям задачи. называются дonycтUМЫNи
решениRAlи.
'" r
Л~VI(ж·) +L Л;V9;(Ж·) + Е рjVhj(ж·) = О.
;=1 j=1
12.2. Условная минимизация 189
причем ло ~ О, все р] ~ О и
~ = )"(Ь).
Таким образом. ),'(Ь) показывает скорость роста оптимального значения
целевой функции j по пара метру Ь. Иными словами. представляет собой цену
ограничениR .
./ Переход от задачи
N
Е.лj=I,
j=1
называют выnу""ой.
Объединение всех выпуклых комбинацийконечных наборов точек из Х с К"
называется выnу""ой оболочкой множества Х и обозначается со Х.
ж Е Х :} аж ~ Р, ж Е У :} аж ~ р.
,f Теорема 3.2.3. Пусть ~., •.. '~П - ВЫnУlCAые функции на ВЫnУlCAом мно
жестве Х. Во3JIIOJlCна одна и только одна из двух альтернатив:
(i) существует такой вектор ж е х, "то
epl(:l:O) = ep2(:l:0),
то
д"'(:I:) = А Т дер(Аж).
Под дер(А:I:) здесь nодразумеваетСR субдифференциал ер ПО omношению к аргументу
в mO'lKe Аж.
равиосильно
'Р(Ж) = тах{
, 'P(Z) + ('P'(Z). ж - Z)}.
f(ж) -+ min,
hj(Ж)~О. j=I ....• r,
жЕQ,
./ Пара (ж', 1/') е К- )( К ' называется седлoвoil mOlfKoй функиии ,,(ж, 1/),
если
при любых допустимых ж, у. Другими словами, ж' - точка минимума ,,(ж, у')
ПО ж, а у' - точка максимума ,,(ж', у) ПО 1/.
S(ж) -+ min, ж е Q,
а функционап R(y) iпf{L(ж,у) : ж е Q} позволяет записать двойственную
задачу:
R(y) -+ тах, у ~о .
./ Теорема 4.2.1. Для любых дonycтимыx значений ж и у справедливо нера
венство
f(ж) ~ R(y),
nереходящее в равенство I(ж') =
R(y') в mOJNllf случае, когда (ж',у') - седловая
mOlfKa лагранжиана, а значит, ж' - решение nрямой задачи, у' - двОЙственноЙ .
(с. ж) - жn+1 = о .
./ Каждое из ограничений
LВ;jЖj ~ 6;
j
./ Теорема 4.6.1. Пусть решение зодо.,и (12.6) единственно. Тогдо при доста
mO'lHO малых U3JlfeHeHURX вектоfЮ с оптUAlальное решение не меняется (достигается
в той же самой вершине) .
(с, ж) ~ (6, у) .
Dж' +с +А Т
1/' = О, (Аж' - Ь.1/') = О.
W(p, q) = Е BijPiqj,
;.)
обеспечиваюшие равенство
Dj(ЖI' ... , Жi_I, ж:, zi+I, ... ,ж,,) = mах Di(ж), i = 1' ... ' N,
%iEXi
.t ( ) ~ D"1p(0) •
1 11' ж = L., --,-ж ,
0=0 а.
называется k-cmpyeu функции 11' в нуле. Разность Ip(ж) - jtlp(Ж) называют хвостом.
Функция 11' : JR -+ IR имеет в нуле nорядок k, если первой ненулевой
производной является Dtlp(O) .
./ Лемма Морса. Пусть гладкая функция 11' : К" -+ IR имеет в нуле Не8ЫРОЖ
денную критическую MOlfKY и 11'(0) = О. Тогда в дocmaMOlfHO малой окрестности НУ/IR
существует локальная система координат Z., ... , Z", в кomоро"
n
./ Определение6.3.3. Гладкие функции 'Р, Ф : R -+ R локально эквuвалентны
в нуле, если существует такой локальный дuффеоморфизм Z(Ж), что
I{J(Ж) = ф[Z(Ж» +(
в некomоpoii окрестности нуля при nодходящей константе (.
n
Теорема 6.4.1. Если функция I{J : R -+ R яtlllJlется k-оnределенной, то любой
однородный .многочлен степени k +I npeдcтaвU.м в виде
z = Ж + 11, Ж Е.х, 11 Е У.
n
Гиперплоскости (сдвинутые подпространства) L, М С R трансверсальны,
n
если их сумма ПОРОJКд8ет R •
ер, Ф :к n
)( К" -+ К,
!
1,
W = L(q, q, t) dt (12.7)
10
называют вариацией .
i = 1•.•• ,n.
./ Если система автономна, L не зависит от t. - уравнение Эйлера имеет
первый интеграл
д1 L
дq 1 ~ О.
условие Вейерштрасса,
E(q. q. р. t) ~ О.
где
( .
Eq.q.p,t ( ' ) -Lq,p.t
) =Lq,q,t ( ) - дL(q.
дq
q. t) (q-p,
. )
дL дL
и L- -q'
дq дq
( L_qдL)1
дq '=',
=0. дLI
дq 1=1,
=0.
12.7. Вариационное исчисление 201
(L+(j-q):~)1
q '=/,
=0.
I I
1,
"
S(q. q. ') dt -+ mах, P(q, q, ') dt = 1.
In In
Цq,.л) = I"
In
"
S(q, q. ') dt + .л{1 P(q. q. ') dt -I}
In
I F(ж, и,
т
I {F(ж, и,
т
дР +.л д/ = О,
ди ди
. дН . дН дН
Ж=-,
ду У =- дж' ди =0.
f F(ж, и, е)
т
dt -+ тах,
о
дН
ж= Н(ж, и,у, е) = тах Н(ж, ",у, е),
ду' v
Т.е.
OS' +Н (OS')
7it ж, {ii,t =0.
Функция
, ()
",. ж =
('
1т sup
",(z + 8в)
8
- ",(z)
.
:-+ж,8!0
дер
Qj=--.
дж;
z= -Vер(ж) - Рж,
ж'+1 = ж, - 7, Vrp(ж,).
QD
Е"У'
, = 00,
которые в естественных предположениях обеспечивают сходимость.
Метод Ньютона-Канторови ..а приводит к итераuионной процедуре
1
ер(ж) = 2(Qж, ж) - (с, ж). (12.11)
12.11. Задачи 6ольшой размерности 205
дела. Возникает парадокс: чем больше учтено факторов, тем хуже становится мо
дель. Большое число переменных свидетельствуето том, что в задаче не поймано
и не вьшелено главное.
~ и ~
- начало и KOHeu рассуждения, темы, доказательства
А ~ в - из А следует В
ж Е Х - ж приналлежит Х
х - замыкание Х
.k - граниuа Х
ж". ж·"
р(А) - спектральный радиус оператора А
R~ - неотриuательный ортант
v /(ж) = д/
дж = {д/ д/}
дж'.··· 'дж
n - rpanиент функции /(ж)
д1f [ дl~ ]
джду - матриua Гессе дж;д"i функции f(Ж,,,)
деформаuия 22
дилемма заключенного 96 Лагранжиан 32. 138
динамическое программирование лемма Дюбуа-Реймона 126
153 - Минковского-Фаркаша 77
диффеоморфизм 105 - Морса 105
допустимое решение 36 линейная гомотопия 26
допустимый многогранник 80 - модель производства 78
212 Предметный указатель