Файл: Иоффе, А. Д. Теория экстремальных задач [учеб. пособие].pdf

ВУЗ: Не указан

Категория: Не указан

Дисциплина: Не указана

Добавлен: 15.10.2024

Просмотров: 212

Скачиваний: 0

ВНИМАНИЕ! Если данный файл нарушает Ваши авторские права, то обязательно сообщите нам.

248 ГЛ. 5. ЛОКАЛЬНО ВЫПУКЛЫЕ ЗАДАЧИ

функции и отображения считаются непрерывно диффе­ ренцируемыми по времени.

Пусть управляемый процесс (дс*(-), «»(•)) опреде­ лен на отрезке [^о*, ^i»] и оптимален в задаче (Г ) — (5'). Введем новую независимую переменную т, меняющуюся на отрезке [0, 1], и рассмотрим такую систему уравне­ ний:

 

 

 

■ ^ - = 0 .

-ff- =

uqp

 

 

 

 

 

(11)

Если

(*(т), у {т ))— некоторое

решение

этой

системы,

соответствующее

управлению

(и(т),

w {т)),

и при

этом

о ( т ) > 0 ,

то

^(т)— строго

возрастающая

непрерывная

функция. Обратная ей функция, обозначим ее

т (t),

тоже непрерывна и возрастает.

В этом

случае x(t) =

— y ( i ( t ) ) — решение

уравнения

(2'),

соответствующее

управлению u(t) =

 

w (x(t) ) , и при этом

 

 

 

 

 

 

 

 

 

 

 

1

 

 

 

 

 

 

 

 

 

J

f ( t , x (t),

и (t)) dt =

J v (т) / (t (т),

у (т),

w (т)) dx.

(12)

t (0)

 

 

 

 

 

 

 

о

 

 

 

 

 

 

 

 

 

Так как о(т)

всюду больше нуля, эти утверждения три­

виальны.

Наоборот,

если x (t) — определенное

на отрез­

ке [г'о, ^i] решение

 

уравнения

(2'),

соответствующее

управлению u.(t),

то

(ti t0)x,

 

 

 

 

 

 

 

 

 

 

t(x) =

t0 +

 

y(x) =

x(t(x))

 

 

— решение системы

(11), соответствующее управлениям

v ( x ) = t i to,

w(x) =

u(t(x)),

и при

этом

справедливо

равенство

(12).

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Поэтому

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

t. (т) =

tQ, +

 

(ti* — to*) т,

 

г/, (т) =

(t, (г)),

 

 

Vt (х) = о, =

tu to*,

w, (т) =

ut (tt (т))

 

 

— оптимальный управляемый

процесс в задаче

 

 

 

 

 

J

1

 

 

 

 

 

 

 

 

 

 

(1")

 

 

 

 

 

vf(t,

у,

w)dx->\ni\

 

 

 

 

 

 

 

О

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

=

 

и,

 

=

шр (t, у,

w) ,

 

 

 

(2")

 

 

 

 

 

 

 

у >

0,

w e

и,

 

 

 

 

 

(3")

 

 

Ло(*(0),

 

У (0)) =

h, (t (1), у (1)) =

0,

 

(4")

 

gi(t{x), y{ т ))< 0 ,

t e [ 0 ,

1],

i = \ .........k.

(5")


§ 5.2. ЗАДАЧИ ОПТИМАЛЬНОГО УПРАВЛЕНИЯ

249

Это уже задача с закрепленным временем, и к ней при­ менима теорема 1. Обозначим через Н функцию Понтрягина в задаче (1") — (5"):

Н (/, х, и,

v, р,

q, А0) =

 

 

 

 

=

Iиф (t, х, и)) +

q v — l avf (t,

х, и) =

 

 

 

— v(H(t,

х, и,

р, А0) -|- q),

(13)

где H — функция Понтрягина в задаче (1') — (5'). Поло­

жим далее

 

 

 

 

 

А( = | т е [ 0 ,

Ш & М т),

У.(т)) =

0},

г = 1 , . . . ,

k.

Тогда, в соответствии с теоремой 1, существуют не равные одновременно нулю число А0^ 0 , векторы

/0 <= Rs°, l{ е RS|, вектор-функция р (т), функция q (т) и неотрицательные регулярные меры цг, г = 1, . . . , k, сосредоточенные на множествах Аг соответственно и такие, что

Р (т)== — h\x {t, (1), y A i ) ) h

+

 

+ Ji Н,(/,(£),

у, (|), w, (|), »„ p(l), q (|), Ao)dg —

 

 

J Six (t*

yM))dfii,

 

 

1=1 T

 

9(t) = — {h\t(K (1).

y , ( l ) ) \ h ) +

 

i

 

 

 

+ / Н/ (/. (|),

y, (|).........A0) di -

 

P(0) =

Л5, (/. (0),

У. (0)) /о,

q (0) =

(hot (t, (0), y, (0)) |/0),

H (t. ( т ) ,

y„ ( t ) , w, ( t ), v„ p ( t ) ,

q ( t ),

A3) =

 

=

шах H (tt (т), у, ( t), u, v, p{x), q (t), A0).


250

 

ГЛ. 5. ЛОКАЛЬНО ВЫПУКЛЫЕ ЗАДАЧИ

Пусть

т. (0 — функция, обратная /, (т), т.

е.

 

 

 

t - t n

 

 

 

 

\ (0

 

*0*

 

 

 

 

h* ~ Ч*

 

 

 

 

 

 

 

Тогда,

если

обозначить

 

 

 

 

 

 

p ( t ) = p (т. (t)), q(t) =

q (т. (0),

= [t е [*о*> 1и\ |Si {t, х, (/)) =

0} =

f.(A <),

i = 1, . . . , k,

и определить меры рг формулами

 

 

h*

Ф (0

1

 

V4>(•) S

С ([/0*, /и])

J

= JФ (*.(*)) 4+

+0

(р,, очевидно, сосредоточены на Т{), то с учетом (13) написанные выше соотношения преобразуются к сле­ дующему виду:

 

 

 

 

*1*

 

 

 

 

 

р (t) =

-

h\x (/,„

х, (/u)) /i+ |

Нх (1, х. (|), и. (£), р (|), ho) d l -

 

 

 

 

t

 

k

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

’ S

I

Sixit,

x,{D)d\ii',

(14)

q(t) =

(hu(h*,

x* (/i«)) 11\) +

< = i

t

 

 

 

 

ft

t

 

 

+ J

 

 

 

 

 

 

 

 

(£>■*■* (l)>

•••» h o ) d ^

 

 

J

S i / (£> x t (£)) d p i,

(1 5 )

t

 

 

p (to*) =

 

г=1 <

 

 

 

 

 

 

box (to*,

x* (+)) /о,

 

(16)

 

 

 

q (to*) =

(hot (to*,

X, (to*)) |to),

 

(17)

vt (H (t,

x, (/), u, (t), p (t),

ho) + q (0) =

 

 

 

 

=

max v (H (t,

x, (/),

u,

p (/),

hQ) + q (/)).

(18)

 

 

 

ue= С/

 

 

 

 

 

 

 

 

 

 

v > 0

 

 

 

 

 

 

 

Из (18) следует, что

 

 

 

 

 

 

 

Я (t,

х, (t), и, (t),

p (t), h0) =

max Я (/, x, (t),

u, p (t), h0),

(19)

 

 

 

 

 

net/

 

 

 

 

ипоскольку о, > 0 также следует, что

%{t, xt (t), p(t), Я0) = — q(t).



§ 5.3. ДОКАЗАТЕЛЬСТВО ПРИНЦИПА МАКСИМУМА

251

Сравнивая последнее соотношение с (15) и (17), полу­ чаем

3fg(t, x*(t), Pit),

bo) =

( h u ( t i „ x*(tu))\U)

 

 

 

 

*1*

 

 

 

 

 

 

 

 

J

H t (l,

x , ( l ) ,

U, ( l ) ,

p { D, Ka) d i +

 

 

 

t

 

 

k 9*

 

 

 

 

 

 

 

 

 

 

 

 

 

 

+ 5 ]

J

gix(l, x.itVdin;

(20)

 

 

 

 

< = i t

 

 

 

 

(to,,

x* (to*), p (to,), Ao) =

(hot (to,,

x* (to,))

|to).

(21)

Таким образом, если (x#(-),

«*(•)) — оптимальный

управляемый процесс в

задаче

(1)— (5), то

найдутся

не равные

одновременно

нулю

число

Ао ^5= 0,

векторы

Rsi, / =

1,

2, вектор-функция

р(1)

и неотрицатель­

ные регулярные меры ц,-, сосредоточенные на множе­ ствах Т{ соответственно, такие, что выполняются соот­

ношения (14), (15) и (19) — (21). При

этом гамильто­

ниан 3%>(t,x»(t),p(t), Ао) есть функция

ограниченной

вариации, непрерывная слева.

Так выглядит принцип максимума Понтрягина для задач с фазовыми ограничениями и незакрепленным временем.

§5.3. Доказательство принципа максимума для задач

сфазовыми ограничениями

Напомним,

что рассматриваетсязадача оптималь­

ного управления

 

 

 

 

3

(*( * ) » « ( • ) ) = / f(t, х,

и) dt-> inf;

(1)

 

 

 

 

*0

 

(2)

 

 

x =

q>(t, х , и),

 

 

 

 

и е= U,

 

(3)

 

 

h 0 (x(to))

=

h l ( x ( t l)) =

0,

(4)

8t (t,

х

(t)) < 0 ,

t

e= [/„, f,],

i = 1.........k,

(5)

в которой начальный и конечный моменты времени предполагаются фиксированными.