
книги из ГПНТБ / Цирлин, А. М. Основы оптимального управления конспект лекций
.pdf40
1. |
Выбираем |
jf |
так , |
чтобы а |
окреетяоотв |
предпонагвемого |
||||||||
реивияя Jf * функцвя |
|
Лаграняа |
1$ |
|
не зависела |
os |
Х2 Сусло |
|||||||
ва в |
(5.6)). |
|
|
|
|
|
|
|
|
|
|
|
|
|
2. В этом случае |
no Xj„ как по независимой |
переменной, |
||||||||||||
она должна быть иакоамадьва |
аа ннозестве |
сравнений |
. Необ |
|||||||||||
ходимое усдовзв ыаковыума по Xj |
примет вид |
(5.7). |
|
|||||||||||
Условия максимума |
,нсполь8увщи@ |
множители |
Лагранза, ,как |
|||||||||||
в всякие необходимые условия, |
выделяю? в общей случае набор |
|||||||||||||
"претендентов" аа реиенне. |
Dps этой, как в для безусловного |
|||||||||||||
яакснмума, функции J-o |
в |
J.{ |
|
предполагаются твхт |
дяффе- |
|||||||||
рвЕцаруеиыми, |
а в аачастве |
множества |
сравнения |
L |
внбзравэ- |
|||||||||
оя точки, лежащие з |
|
<f-окреотноотв |
|
. У * |
н удовдетворяющно |
|||||||||
яквварввованвоиу уравнению |
связи (5.1а). |
|
|
|
|
|||||||||
5.3. Геометрическая |
интерпретация |
J |
- кнокигоязй |
Остановимся на гвоыегрнчвской |
ингерврвтацвв ветода иеопреде- |
|
яашшх множителей. На рисунке |
5.1 нзобрагены |
пннин уровня |
фунгциа j f 0 ( I j , Ig) и мигая, удовлетворяющая |
условию |
J((2j Xg) » 0. Покагек, что в точках А в Ъ выполнеяы урав-
ввяэя (5.6), (5.7) а (5.1). Лейотиительпо, в этих точках ли няя J = и н левая рапного уровня функция £ имеют общие ваоательные. Перепаяем уравнения (5.6) и (5.7) в виде:
w |
- J |
w - . |
инв з векторной форме о учетом приведенного выше определения градиента функция
Такии образом, необходимые условия ыакоинума при наличии связи представляют ообой условие пропорциональнойти в точ
ке X |
градиентов |
функций J-0 |
н |
. Два |
вектора |
пропорцно- |
•иальиы друг другу |
лишь в той |
исключительном |
олучае, |
когда |
они лежат на одной прямой. Иначе, очевидно, нельзя подобрать
такого |
скалярного множителя ji |
, |
который бы обеспечивая ра |
||
венство |
(5. I I ) . |
|
|
|
|
Так как градиент функций перпендикулярен касательной к |
|||||
линии уровня, |
то в точках А и Б условие |
( 5 . I I ) выполняется, |
|||
множители J , |
являющиеся коэффициентами |
пропорциональности, |
|||
понятно,будут |
в А и Б равными. |
|
|
|
|
5.4.Экономическая интерпретация |
J |
- множителей |
Ь некоторых задачах множители Лагранжа допускают и экономи
ческое толкование. Представим |
оебе, что условие |
^,(Si)-Q |
вы |
ражает собой ограничение на дефицит ресурса и что при |
(х)< t |
||
максимум целевой функции J-0 |
растет. |
|
|
Будем толковать функцию £ 0 |
как прибыль, получавмув не |
||
которым предприятием,при использовании ресурса. |
Предоставив |
решение этой задачи экономисту, не знакомому с необходимыми условиями оптимальности, не знающему геометрической интерпре
тации |
tj/l |
-множителей |
и даже |
метода Лагранка. |
|
|
||||||
Скорее |
всего |
он |
будет решать |
ее |
так: |
|
|
|
||||
I . |
Назначит |
некоторую цену |
Ц |
на единицу |
реоурса J t н |
|||||||
предложит потребителю купить его по этой цене. Последний, |
||||||||||||
максимизируя |
чистую |
прибыль |
|
|
|
|
|
|
||||
|
X |
( |
У |
) |
- |
4 |
4, |
( х |
) |
|
|
|
без всяких |
дополнительных уоловий, |
найдет |
X |
(Ц) и |
окажетt |
|||||||
сколько ресурса |
/ |
|
он хотел |
бы купить. |
Очевидно,(во |
всяком |
случае з экономике почтя всегда так бызает), |
чей больае |
( / , |
|||||||||
геи меньие |
Д |
, |
чем ниже |
У |
тем больше |
^ |
. |
|
|||
Если окажется, |
что |
^ > |
О, то |
экономист |
повысят цену, |
||||||
если |
4. |
0 9 |
понизит. Так проиоходи* |
до sex |
пор, |
пока |
при |
||||
некоторой цене |
<Ур( |
равиозеоной |
цене; |
потребителя |
выгодно |
||||||
будег, |
чтобы дефицив реоуроа |
jff |
был равен нули. |
|
|
||||||
При этом |
чистая |
прибыль накоимальиа, |
т . е . |
|
|
|
я выполнено уоловие (5 . 1) . Сравнивая (5.12) о (5.6) н (5.7),
видам, что раиоввсиая цена о точностью до ввела равна ииовиsdwo Даграижа
Такая "экономическая" процедура замечательна в одном овн®-
аеннн - экономисту зовов не цуано бмло гнать целевую функции
Он, меняя Ц |
, |
регулировал |
опрос |
на реоуро, предоставляя |
one |
||||||||
рацнв иакоаззяаацаа |
потребителю,, |
|
|
|
|
|
|||||||
5.5. |
Особые |
оду чад |
Сяедуе? оообо |
остановиться |
аа |
олучаях, |
|||||||
когда |
градиен! |
J.f |
шш градиент |
J 0 |
отрвыятоя к |
иул». |
|
||||||
Но рисунке |
5.2 |
решением |
задача условного г-акоинуиа |
могуя |
|||||||||
йтъ |
гочкя А, |
В и С. Точке |
А - |
обычная, она находится |
аа |
ано- |
|||||||
веотза Э |
(J. |
t |
(Jc |
) |
= О ) |
в |
общем положении, s ее можно найти, |
польвуяоь.ыатодои Латраэйа. Точки ив Б в С особые, для них не ообдвдазЕси условна общности положения, которое в данной случае
В?ц |
гочки находяя as уравнения |
У |
С$= 0. В ни» нужно |
|
|
с |
|
i |
просчитать аначепне функцин |
^. |
(j( ). |
Во второй случае, когда |
V ^-0= О, ремеиже |
может достигаться |
|
и «очке экстремума функции |
J.o . множитель J |
равен нулю, в га- |
|
дача сводвзоя к задача |
определения безусловного экстремума |
||
,(рно.5.3), а уравнение |
свни роли не играет. |
|
|
Чтобы уоловш макоимуиа |
была опраэедлнвы а в особых случаях, |
их часто неокольно вкдонамешшг, переписав функцию Лагранва как
Тогда можно утверждать, что для усложного макоимуиа Л LX ) 8fобходимо оудеотвованиа таких чисад <Уа ш У> „ одновременно
не равны! нудв, что в точке предполагаемого решения выполнены
ооотношенЕЯ
|
У . > |
о , |
|
|
|
|
Oe |
|
(5.12) |
Причем, очевидно, |
если <//0ф |
0, |
то его можно выбрать лй- |
|
бым положительным числом (например, |
единицей), это никак не от |
|||
разится на уравнениях |
(5.12), а значит, |
и на решении. Условия |
||
оптимальности |
в такой |
форме справедливы и для точек В а С ва |
||
рис.5.2 (.аУ0 |
= 0), и для случая, изображенного на рис. 5.8, |
|||
( i j = 0). Ниже, как |
правило, мы будем |
записывать функцию |
1 форме (5.8), оговаривая выполнение условна общности положенияt
так как для решения вадачв переход к форме (5.8^) ровным счетом ничего не даёт.
5.6. Рассмотренные выше построения справедливы и s случае нескольких условий типа (5.1)
J, « ) = °,
У X ) = 0, |
(5.13) |
я
|
|
|
х |
« |
- |
0 |
|
|
|
|
|
|
|
|
|
lips 8iou число уодомй |
|
должно |
быть мвньи равывряоотн |
||||||||||||
вектора I , чтобы множество допустимых рменвй оотавлядо сво |
|||||||||||||||
боду |
выбора, |
необходимую для макоииивации. функция |
R примах |
||||||||||||
вид |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
^ ' |
b |
|
«л, |
|
|
|
|
|
|
|
|
( 5 . И ) |
|||
~* Z diii , |
|
|
|
|
|||||||||||
* необходимые уожохия максимума в векторной форме — |
|||||||||||||||
|
|
|
|
|
|
/Г} |
|
|
|
|
|
|
|
|
|
ямш |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
* Ь |
- |
~ |
£ |
|
Ж |
7 А . |
|
|
|
(5.15) |
||
Д - ураввенив |
(5.15) |
совместно |
о |
*"П-урешениями (5Л8) |
|||||||||||
П08В0ДЯЮТ найти |
(П + гл) |
нвиэвеотяых |
-( *y\ множителей Лаг- |
||||||||||||
раваа в |
Д. ооогажяявцях вектора |
,Х ) . |
|
|
|
||||||||||
Условия (5.15) |
можно |
геометрически |
трактовать |
как уодовия |
|||||||||||
попадания |
вектора oj[s |
ГП - |
тарное |
ыногообразке, |
образованное |
||||||||||
векторами |
V ^ - . Так, пра в <=< 3, а П\ |
« 2, |
градлвга |
ив- |
|||||||||||
анг в плоскооти, натянутой на векторы |
Ч J-± |
я V J-£ |
s точке |
||||||||||||
|
а |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Ранение |
сиотвны.(5.15) |
существует, |
веля в яочка |
. X * авт- |
|||||||||||
рйца |
Л |
|
в об«даи чавяоя |
, |
|
|
|
|
|
|
|
заев? поаний ^аяг, равный УУ). Это оеначает, что один из ыино pofc матрицы, полученный вычеркиванием (Т\-П~1) столбцов, оягшчеа оч нуля £ уоловиа общности положения «X* ва JS
а ывогоиеряош случае).
5.7.Задача распределения вагруаок (проотейщвя поотавожа).
Вкачестве примера нододьамашш метода Лагранжа расомотрак одву
В9 В08М0МЫХ поотаноаок аадача раопредежеаяя |
вагруаок между па рал* |
ле льдами агрегатами. Такая задача (он, 8 I ) |
аакдвчадвсь i вы |
боре переменных - ^Si так, чтобы цадааад &гвходя |
1 |
-SRC*). |
|
Iх-! |
бнжа махошелмая прв уолоаю |
|
2L*bl ~ £ |
(5Л6) |
|
?проотвм задачу, одалаз допущения о том, что фгахцяя Р ^ ^ ж - |
|||
пумы |
в ва переменные |
^ |
so положено накаках JOHOSSH, кроне |
(5.16). |
Такуа постановку |
будем называть проохвйшев. |
Бнц?кяоо«еь делеsoS функция в аняеввооть озя&а ( т . е . выпук лость UHoaeosja Л) гарантируют вдавогэадпооть решевия.
Соотаэим функции Лаграни
Необходимые уояовяя наковкуна |
|
|
|
|
||||||
2 |
J L |
„ |
2 |
А - |
., |
j |
. о |
|
(5.18) |
|
|
|
|
|
|
|
I |
ш I , |
2, . . . Д |
|
|
Таким образом, |
мы получила |
( п+1)-мо"" урамвим® (5.18), |
||||||||
(5.16) |
для вычисления |
(ft+I)- |
og ивиаавотяой - онтвнадьвнх ва-* |
|||||||
грузок |
|
и множителя |
Награваа |
jf'. |
Уоловая [5.29 |
дока |
||||
зывают, |
что прн опгинальнов распределении |
нагрузок |
приросты |
|||||||
производительности |
при малой изменении подачи сырья |
4-i |
йдзйй- |
46
ковы для loox агрегатов. Последовательность решения |
прв графя- |
||||||||||||
адоком оаданин характеристик MOSSг быть следующей: |
|
|
|||||||||||
I» |
Строя? оо исходным хвраиврнотиканР t |
( <lt' |
) их |
производные |
|||||||||
как функции <^ |
(рко.5.4)» |
|
|
|
|
|
|
||||||
£. |
Бадаваяоь различными |
ввачеянями jft |
иаходяг уоловио |
- опга- |
|||||||||
шаЕЬныв нагруакн - б * |
(^// |
^удовлетворявшие |
(5.18). |
H«rp1scyH« |
|||||||||
вя |
5.4 |
это |
показано |
для |
двух агрегатов . |
|
|
|
|
||||
8. |
Строят аукну вагрувок как функцию |
<// |
и выбирают |
гаков |
|||||||||
ввачвнне |
d |
* |
Для которого |
эта |
сумма равна заданной. |
||||||||
|
Отметим, какие |
неприятнооти |
могли |
ба |
возникнуть, |
ае оговори |
|||||||
т |
s постановке выпуклооть характеристик и отсутотвие огранн- |
||||||||||||
чения |
на |
* \ |
. Еояв для выпуклых характеристик функции |
(их иногда называй! характеристиками относительных приростов)
моютоины, |
то |
s ^ ^ |
такж» монотонно умевьаается о рос |
|
том I / / . |
Для невыпуклнх |
характеристик атого может и не быть. |
||
В атом оду чае |
некоторым вначениям А? |
могут соответствовать |
||
неоколько |
t// |
, а значит, |
нвоколько |
экстремальных распреде- |
женяи. Наконец, при ограниченных негрузках именно предельные
их 8начення могут оказаться оптимальными.
Рис 5.1 |
Рис.5.2 |
47
, Рис. *5- 3
Рис. $/'•
4?
§6. Задача условного максимума. Теорема Куна-Таккера
6.1.Рассмотрим более общую задачу, когда наряду с условиями
имеются ограничения |
|
|
|
|
|
|
|
|
|
|
|
|
|||
|
|
(х |
) |
^ |
о |
|
|
|
|
|
|
|
|
/ |
е ^ |
X ^ ^ O j |
|
Х.*-^!, |
|
+ |
|
|
|
/ б . з / |
|||||||
Первоначально будем |
считать, |
что |
функция J 0 |
(х) |
выпукла, |
а усло |
|||||||||
вия / 6 . 1 / |
+ |
/6 . 3/ |
выделяют |
выпуклое |
множество. Последнее |
означает, |
|||||||||
что |
-линейные |
функции, |
а |
|
-выпуклые. |
|
|
|
|||||||
6.2. Теорема Куна-Таккера |
|
|
|
|
|
|
|
|
|
|
|||||
Для того, |
чтобы |
значение |
X* |
вектора |
X |
было решением |
пос |
||||||||
тавленной |
задачи, необходимо |
и достаточно |
существования |
такого |
|||||||||||
вектора jj |
с составляющими |
и |
^ |
, |
что |
функция |
Лагранжа |
||||||||
£ |
- |
/ 0 |
f |
Z |
4 |
|
4 |
* |
Z'Jj |
|
% |
|
|
/8.4/ |
|
стационарна |
по составлящим |
в е к т о р а , |
не |
ограниченным |
условия |
||||||||||
ми /6.3/ |
|
g |
|
|
|
|
|
|
|
|
|
|
|
|
|
Для ограниченных |
составляющих |
|
|
|
|
|
|
|
|
||||||
ъе/м^О |
j |
*4 |
*о. |
|
|
|
|
|
|
|
/бтВ/ |
||||
*%xk-s* |
- |
Ъ |
4 |
~ |
° |
|
|
|
|
|
|
|
|
/ 5 - 7 / |
|
функции / |
, |
_ / и |
/ / |
предполагаются |
непрерывно дифференцируемыми |
||||||||||
Не будем приводить доказательства |
этой |
теоремы, ограничившись |
|||||||||||||
лишь пояснением его узловых моментов. |
|
|
|
|
|
|
|||||||||
Пусть |
задача |
о максимуме ^ |
содержит |
лишь |
ограничения типа |
||||||||||
/6 . 2/ . Область, отвечающая этим |
ограничениям /множество |
|
Д / , |
на |
|||||||||||
рисунке 6.1 |
заштрихована. |
На том же |
рисунке |
|
|
|
|
4S
нанесены |
ливни |
равных; значений |
максимизируемой |
функции |
|
J. |
(X), |
|||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
— * |
|
|
|
|
|
|
|
|
|
||
Точка предполагаемого |
ранения |
X |
|
обладает |
тем свойством, |
|||||||||||||||||
что любое перемещение иа нее |
в |
сторону увеличения |
/ „ |
не |
ДОЛЕ |
|||||||||||||||||
НО призеоти |
в |
облаоть J3, |
иначе |
з |
t> |
нашлась |
бы точка |
с |
боль- |
|||||||||||||
юн |
значением |
J0 |
, |
которую |
и следовало |
бы |
считать |
решением. |
||||||||||||||
Будем раоснатривать |
множество |
сравнения ^элементы |
которого |
рас |
||||||||||||||||||
положены в (^-окрестности |
«У, и |
считать |
все |
функции |
дваждн |
|
||||||||||||||||
дифференцируемыми. Выделим множество |
Л |
точек, для которыхJte£", |
||||||||||||||||||||
J0 |
( X |
) |
^> J0 |
( У * ) . Это нножеотво |
лежит |
по |
одну |
сторону |
||||||||||||||
от каоательной, |
проведенное |
в |
лвнян |
разного |
уровня |
функции |
-£с |
|||||||||||||||
i точке |
X* |
|
|
. |
Точки |
множества |
Л, |
принадлежащие |
£ |
-рв- |
||||||||||||
рвстнооти |
<Х* |
, |
должны |
лежать |
на этой |
касательной |
( р н о . 6 . 1 ) |
|||||||||||||||
или по другую ее сторону |
(рис.6.2 |
) . В первом |
случае |
градиенты |
||||||||||||||||||
функций -/0 и |
F\ |
совпадают, |
так |
как |
они |
нормальны |
к |
общей . |
||||||||||||||
касательной, |
и |
v |
/ |
o |
- |
'J, |
|
vfi> |
|
|
|
|
|
|
(б'8) |
|||||||
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||
где |
j/j |
<с |
0, |
во |
втором -градиент |
функции |
Jb |
лежит |
внугрв |
|||||||||||||
угла, образованного градиентами f , |
и |
, Последнее означа-, |
||||||||||||||||||||
вт, что этот вектор может быть представлен как сумма |
|
|
|
|
||||||||||||||||||
причем |
jf, |
|
|
и |
jfa |
|
меньше |
ну ля "и ли |
|
Ч^чЬ^Р^+Лч^'0- |
||||||||||||
Условия |
(6.8), |
(6.8( а) как раз и доказывают |
необходимость |
|||||||||||||||||||
существования |
множителей |
|
|
, |
фигурирующих |
в выражении |
(6.6). |
|||||||||||||||
Совершенно |
аналогично |
доказывается |
необходимость |
существовав |
||||||||||||||||||
;Иия множителей |
у// |
|
при |
наличии |
связей |
(6 . 1) . |
|
|
|
|
|
|
||||||||||
|
Так как задача выпукла, необходимые условия оказываются |
|||||||||||||||||||||
достаточными. |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|