Научная статья на тему 'НЕОБХОДИМЫЕ УСЛОВИЯ ОПТИМАЛЬНОСТИ В ОДНОЙ ДИСКРЕТНОЙ ГРАНИЧНОЙ ЗАДАЧЕ УПРАВЛЕНИЯ ДИНАМИКОЙ ПОПУЛЯЦИИ'

НЕОБХОДИМЫЕ УСЛОВИЯ ОПТИМАЛЬНОСТИ В ОДНОЙ ДИСКРЕТНОЙ ГРАНИЧНОЙ ЗАДАЧЕ УПРАВЛЕНИЯ ДИНАМИКОЙ ПОПУЛЯЦИИ Текст научной статьи по специальности «Математика»

CC BY
27
9
i Надоели баннеры? Вы всегда можете отключить рекламу.
Ключевые слова
НЕОБХОДИМОЕ УСЛОВИЕ ОПТИМАЛЬНОСТИ ТИПА ДИСКРЕТНОГО ПРИНЦИПА МАКСИМУМА / АНАЛОГ ЛИНЕАРИЗОВАННОГО УСЛОВИЯ МАКСИМУМА / АНАЛОГ УРАВНЕНИЯ ЭЙЛЕРА / УРАВНЕНИЯ В ВАРИАЦИЯХ / ДИНАМИКА ПОПУЛЯЦИИ

Аннотация научной статьи по математике, автор научной работы — Агамалиева А. И.

Рассматривается одна дискретная задача оптимального управления динамикой популяции с управляемым начальным условием. Процесс описывается нелинейной системой разностных уравнений типа Фредгольма. Налагая на правую часть рассматриваемого уравнения ряд условий гладкости, доказан аналог принципа максимума Л.С. Понтрягина. В случае выпуклости и открытости области управления доказаны соответственно линеаризованный принцип максимума и аналог уравнения Эйлера, являющихся необходимыми условиями оптимальности первого порядка.

i Надоели баннеры? Вы всегда можете отключить рекламу.

Похожие темы научных работ по математике , автор научной работы — Агамалиева А. И.

iНе можете найти то, что вам нужно? Попробуйте сервис подбора литературы.
i Надоели баннеры? Вы всегда можете отключить рекламу.

NECESSARY OPTIMALITY CONDITIONS IN THE ONE DISCRETE BOUNDARY PROBLEM OF POPULATION DYNAMICS CONTROL

One discrete problem of optimal population dynamics control with a controllable initial condition is considered. The process is described by a nonlinear system of Fredholm-type difference equations. An analogue of the L.S. Pontryagin’ maximum principle is proved by imposing a series of smoothness conditions on the right side the equation. The linearized maximum principle and the analogue of the Euler equation are proved for the case of convexity and openness of the control domain, which are first-order necessary conditions for optimality.

Текст научной работы на тему «НЕОБХОДИМЫЕ УСЛОВИЯ ОПТИМАЛЬНОСТИ В ОДНОЙ ДИСКРЕТНОЙ ГРАНИЧНОЙ ЗАДАЧЕ УПРАВЛЕНИЯ ДИНАМИКОЙ ПОПУЛЯЦИИ»

2022

ВЕСТНИК ПЕРМСКОГО УНИВЕРСИТЕТА

• Математика. Механика. Информатика •

Вып. 2(57)

Математика

УДК 517.977.56

Необходимые условия оптимальности в одной дискретной граничной задаче управления динамикой популяции

А. И. Агамалиева

Бакинский государственный университет; Баку, Азербайджан e-mail: agamaliyeva88@gmail.com; ORCID: 0000-0002-1715-5813

Рассматривается одна дискретная задача оптимального управления динамикой популяции с управляемым начальным условием. Процесс описывается нелинейной системой разностных уравнений типа Фредгольма. Налагая на правую часть рассматриваемого уравнения ряд условий гладкости, доказан аналог принципа максимума Л.С. Понтрягина. В случае выпуклости и открытости области управления доказаны соответственно линеаризованный принцип максимума и аналог уравнения Эйлера, являющихся необходимыми условиями оптимальности первого порядка.

Ключевые слова: необходимое условие оптимальности типа дискретного принципа максимума; аналог линеаризованного условия максимума; аналог уравнения Эйлера; уравнения в вариациях; динамика популяции.

Поступила в редакцию 10.04.2022, принята к опубликованию 11.05.2022

Necessary Optimality Conditions in the One Discrete Boundary Problem of Population Dynamics Control

A. I. Agamaliyeva

Baku State University; Baku, Azerbaijan

e-mail: agamaliyeva88@gmail.com; ORCID: 0000-0002-1715-5813

One discrete problem of optimal population dynamics control with a controllable initial condition is considered. The process is described by a nonlinear system of Fredholm-type difference equations. An analogue of the L.S. Pontryagin' maximum principle is proved by imposing a series of smoothness conditions on the right side the equation. The linearized maximum principle and the analogue of the Euler equation are proved for the case of convexity and openness of the control domain, which are first-order necessary conditions for optimality.

Keywords: the necessary optimality condition of the discrete maximum principle type; an linearized maximum condition analogue; an Euler equation analogue; equation in the variations; population dynamics.

Received 10.04.2022, accepted 11.05.2022 DOI: 10.17072/1993-0550-2022-2-5-13

©

^^^ Эта работа О 2022 Агамалиева А.И. лицензируется под СС ВУ 4.0. Чтобы просмотреть копию этой лицензии, посетите http://creativecommons.org/licenses/by/4.0/

Введение

В работах [1-5] был исследован ряд задач оптимального управления динамики популяций при различных предположениях, что управляющая функция, являясь распределенной, входит в правые части уравнений. При этом различными способами получен ряд необходимых условий оптимальности первого порядка как непрерывных, а также в соответствующих дискретных задачах оптимального управления. Важным является также исследование аналогичных задач в случае сосредоточенного управления. Исходя из вышеперечисленного, в данной статье исследуется случай граничных управлений.

1. Постановка задачи

Допустим, что управляемый дискретный процесс описывается системой разностных уравнений

+ 1,х) = /(ь, х, г(Ь, х), у(р, х)), (1) t = 10,10 + 1, ...,Ь1 — 1;х = х0,х0 + + 1, ...,х1 с начальным условием

г(Ь0,х) = а(х),х = х0,х0 + 1,...,х1, (2)

где

X

у(1,х~) = ^ д(1,х,5,г(Ь,5)), (3)

3=Хо

Ь = + 1,..., ^1"; х = Х0, Х0 + 1,..., х1.

Здесь /(Ь,х,г,у), (д(Ь,х,я,г)) — заданная п-мерная вектор-функция, непрерывная по совокупности переменных вместе с частными производными по (г,у), (г): 10,Ь1,Х0,х1 — заданные числа, причем разности — £ , х1 — Х0 есть натуральные числа, а а(х) - п- мерная дискретная вектор-функция, являющаяся решением задачи (дискретный аналог задачи Коши):

а(х + 1) = р(х,а(х),и(х)) х = х0,х0 + +1, ...,х1 — 1, (4)

а(х0) = а0, (5)

где Р(х,а,и) — заданная п -мерная вектор-функция, непрерывная по совокупности переменных вместе с Ра (х, а), а,0 — заданный постоянный вектор, а и(х) - г-мерный дискретный вектор управляющих функций со значениями из заданного непустого и ограниченного множества и с Яг, т.е.

и(х) е и с Яг, х = х0,х0 + 1, ...,х1 — 1. (6)

Каждую управляющую функцию и(х) с вышеприведенными свойствами назовем допустимым управлением.

Задача заключается в минимизации функционала типа Больца:

Б(и) = ф(а(х1)) + ^ в(х,г(11,х)), (7)

определенного на решениях задачи (1)-(5), порожденных всевозможными допустимыми управлениями. Допустимое управление и(х), являющееся решением задачи о минимуме функционала (7) при ограничениях (1)-(6), как обычно, назовем оптимальным управлением, а соответствующий процесс

(и(х), а(х), г(Ь, х~), у(Ь, х)) — оптимальным процессом.

В работе [3] рассмотрено одно оптимальное управление динамикой популяции при предположении, что процесс описывается системой интегро-дифференциальных уравнений, а управляющая функция входит в правую часть уравнения. Методами оптимального управления получены необходимые условия оптимальности типа принципа максимума Л.С. Понтрягина.

Рассматриваемая задача является дискретным аналогом одной задачи управления динамикой популяции из [3] и исследуется впервые. При этом управляющая функция входит в начальное условие рассматриваемого разностного уравнения.

Как видно, процесс управляется посредством выбора начального сосредоточенного управления, а начальная функция определяется как решение задачи Коши для нелинейного обыкновенного разностного уравнения. Сам процесс описывается двумерным нелинейным разностным уравнением типа Фредгольма.

В рассматриваемой задаче при предположении существования оптимального управления, установлен ряд необходимых условий оптимальности первого порядка (дискретный принцип максимума, линеаризованное условия максимума, аналог уравнения Эйлера) при различных предположениях.

2. Аналог дискретного принципа максимума

Предположим, что

(и(х), а(х), г(Ь, х), у(^ х) в рассматриваемой задаче является фиксированным допустимым процессом, и при этом

множество допустимых скоростей системы уравнений (4), т.е. множество

Р(х, а(х), и) = {а:а = р(х,а(х),у(х)^,у(х) е и,х е X = х0,х0 + +1.....х1-1} (8)

выпукло при всех х.

Пусть £ е [0,1] - произвольное число, а у(х) - произвольное допустимое управление. В силу предположения о выпуклости множества (8) можно записать "возмущенную систему" в виде

а(х + 1;е) = Р(х, а(х; £), и(х; г}) = р(х, а(х), и(х)^ + £ (р(х, а(х; £), у(х)^ —

—р(х, а(х; £}, и(х))), (9)

а(х0; е) = а(х0) = а0, (10)

г(£ + 1, х; £} = f(t, х, г(Ь, х; £), у(Ь, х; £}),

(11)

г(Ь0, х; £} = а(х; £}, (12)

у(Ь, х; £} = I д (ь, х, б, (г&, з), г(Ь, б, г})) .

(13)

Б—Хо

Положим

А(Ь,х) = В(Ь,х) = С(х) =

дг(Ь, х; £)

д£

ду(Ь, х; £)

д

д а( х; )

£—0

£—0

д

(14)

—0

АЦ + 1,х) = ЗГ^ЮМЛ).А(1,х) +

С(хо) = 0.

При этом специальное приращение функционала цели имеет вид (т.е. допускает разложение):

Б(и(х; £)) — Б(и(х)) = £дф'(^(Х1))С(х1)+

Х1

дС(г (Ь1,х))

+

I

д

да

■А(Ь1,х) + о(£).

Учитывая условия гладкости, наложенные на правые части соотношений (1), (3), (4) из (9)-(13), получаем, что А(Ь, х~), В(Ь, х~), С(х), определяемые соотношениями (14), являются решениями аналогов уравнений в вариациях в виде

(15)

(16) (17)

А( 0, х) = С( х),

в(t,х}=т1Х1^x0д9(t,Х,;;zz(t,s))А(t,s}, c(х + l} = дF(x,а(;Хc),u(x))c(х} +

д а

+ [р(х, а(х), у(х)) — Р(х, а(х), и(х))], (18)

Пусть р(1,х),д(1,х),тр(х) пока неизвестные п -мерные вектор-функции.

Из соотношений (тождеств) (15), (17), (18) получаем, что

I 1р'(1,х)А(1 + 1,х) =

оХ—Хо

^—1 Хг

I I р'(Ь,х)

— о Х— Хо

дf(t, х, г(Ь, х), у(Ь, х))

д

iНе можете найти то, что вам нужно? Попробуйте сервис подбора литературы.

X

ХА(Ь, х) +

дf(t, х, г(Ь, х~), у(Ь, х))

1^—1 Хх

д у

В( , х) (20)

I I д'(Ь,х)В(Ь, х) =11 д'(^х)

X

— о Х— Хо

— о Х— Хо

I дд(1,х,5^(1,5))А^ 5)

X

— Хо

д

Х1 — 1

(21)

I тр'(х)С(х + 1,х) =

Х^—1

Х— Хо

I Ф'(х)

д Р( х, а( х), и( х))

д а

С( х) +

(19)

+тр'(х) (р(х,а(х),у(х)) —

—р(х,а(х),и(х)))] (22)

Введем обозначения вида

Н(х,а(х),и(х),тр(х)) = тр'(х)р(х, а(х), и(х)), Ду(Х)Н(х, а^^Ю^^У) = = Н(х,а(х),у(х),тр(х)) — —Н(х, а(х), и(х), тр(х))

Учитывая введенные обозначения и тождества (20)-(22), специальное приращение функционала (7) представляем в виде

Х

АБе(и) = Б(и(х; £)) — Б(и(х)>) =

Х1

дС(г, ^,х)

дг

А(^,х) +

X—Хо

дф'(а(х1))

х1-1

да

х1-1

— )

X ^'(х)

С(х1) + £ X тр'(х)С(х + 1) г др(х,а(х),и(х))

да

'С(х)

Я—1-1

— >

—£ X Ау(х)Н(х,а(х),и(х),-ф(х)) +

1о-1 х1

+£ X X р'(Ь,х)А(Ь + 1,х) —

ох—Хо

£1-1 Х1 — + л,—V I-

оХ—Хо

х А(1, х) +р'а, Х)*Г№£>,*,*Ъ В(1) х)]

11-1 Х1

+£ X X д'(Ь,х)В(Ь,х) —

£ о Х—Хо 11-1 Х1 Х1

8 X X X4' (1,х)х

£—£о Х—Хо Х—Хо

х

+

хед{£,х,му),^))А^5) + 0(£). (23)

Нетрудно доказать, что х1-1

X—Хо

X тр'(х)С(х + 1) = тр'(х1)С(х1) +

х1-1

+ X ф'(х0 — 1)С(х), (24)

Х—Хо

£1-1 х1

ХХР' (1,Х)А(1 + 1,х) =

£ — £о Х—Хо Х1

= X Р'(*1 — 1,Х)А(Ь1Х) —

Х—-1

— X Р'(*0 — 1,х)А&0,х) +

¡1-1 х1

+ — (25)

Принимая во внимание тождества (24), (25), из специальной формулы приращения (23) получим специальное разложение функционала качества в виде

дФ'(а(Х1)) АБЕ(и) = £-^--С(х1) +

+

х1-1

X

да

дС(х,г(Ь1,х)) дг

А(^,х) +

X—Хо

+£\р'(х1 — 1)С(х^) +

х1-1

+ £ X ^'(Х — 1)С(Х) —

х1-1

£ X Ау(х)Н(х,а(х),и(х),-ф(х))

х1-1

+ £ X Р'(^ — 1,х)А(^,х) — —£ X р'(&0 — 1,х))а&0,х) +

+

-£XР

х—Хо £1-1 х1

+£ X X р'(11 — 1,х)а&,х) —

£ о Х—Хо 11-1X1-1

ZV лд[(1,х,г(1,х),у(1,х)) X р'(Ь,х)—--Г--х

£ — £о Х—Хо

д

iНе можете найти то, что вам нужно? Попробуйте сервис подбора литературы.

t1-1 Х1

х А(Ь, х)

£XXР'^t'X)дf(t,X,Z(t:X),У(t,X))X

£о Х—Хо

ду

^-1 Х1

В(Ь,х) + £X X Ч'(Ь'х)В(Ь,х) —£Х

£ — £о Х—Хо

1-1 Х1 Х1 XXX *'(1,5)-

да(ь, б, х,г(Ь, х)) х > > > ч'И.з)—^---¿-х

£о Х—Хо Х—Хо

х А(Ь,х) + о(е).

(26)

Если предполагать, что вектор-функции -ф(х),р(Ь,х), и ц(Ь,х) удовлетворяют соотношениям

др(х,а(х),и(х)) ф(х — 1)= —^ ^ ]-ф(х) +

да

+р( Ь0 — 1,х),

Их1 — 1) =

дф(а(Х1))

£—£о %—

да

(27)

(28)

ра — 1,х) = дГ'(1,х,г(1:д2х),у(1,х))х

дд'(Ь, э, х)г(Ь, х)

— Ч Н,5),

Х1

X

р(Ь,х)+ I

д

д('(ь, х, г(Ь, х), у(Ь, х)) Ч(^х)= ' ' ду ))р(1,х),

_ дс(х^(гг,х))

р( 1 — 1, х) = —

дz

(29) ),

(30)

(31)

то разложение (30) примет вид ЛБе(и) =

Х1 — 1

= £ I ЛУ(Х)Н(х, а(х},и(х},^ф(х}) +

у(Ь,х,л) = а(х,л), (36)

у(1,х,л) = I д(ь,х,5,г(ь,5,л)') ,(37)

Б—Хо

а(х + 1,л) = р(х,а(х,л)и(х,л)) = Р(х, а(х, л), и(х) + ^[р(х) — и(х)]), а(х,л) = а0.

(38) (39)

Положим

а(Ь,х) = Р(Ь,х) =

дz(t,x,¡x}

дх ду(1,х,ц)

у(х) =

дх да(х,х)

дх

+а(£). (32)

Из разложения (32) следует

Теорема 1. Если множество (8) выпуклое, то для оптимальности допустимого управления и(х) задаче (1)-(7), необходимо, чтобы неравенство

Х1—1

I Лу(Х)Н(х, а(х), и(х), ^(х)^ < 0, (33)

Х— Хо

выполнялось для всех и(х) е и,х е X = {х: х = х0, х0 + 1,... х1 — 1}.

Таким образом, в случае граничной задачи оптимального управления, имеет место необходимое условие оптимальности (33) типа дискретного принципа максимума Л.С. Понт-рягина (см. напр., [6]).

3. Аналог линеаризованного

условия максимума

В этом пункте предполагаем, что множество и выпуклое, а вектор-функция Р(х,а,и) имеет непрерывную производную также по и.

Пусть и( х) фиксированное допустимое управление, л е [0,1] - произвольное число, а у(х) - произвольное допустимое управление.

Тогда, в силу сделанных предположений, "возмущенное" управление и(х, л) можно определить по формуле

и(х,л) = и(х) + ¡[р(х) — и(х)]. (34)

Рассмотрим "возмущенную систему уравнений":

г( £ + 1,х,л) = = f(t, х, г(Ь, х, л), у(Ь, х, л)), (35)

х—о

х—о

х—о

(40)

Принимая во внимания (40) из соотношений (35)-(39), с учетом гладкости правых частей соотношений (35), (37), (39), получаем, что а(1,х),Р(1,х) и у(х) удовлетворяют соотношениям

а(Ь + 1,х) = дf(t, х, г(Ь, х~), у(Ь, х)) дг

а( , х) +

(41)

^ ; а^, х), (42)

д

— Хо

др(х,а(х),и(х)) у(х + 1)= У \ ; у(х) +

д а

+

дф,аМ,и(х)) (р(х) — и(х)) (43)

у(х) = 0.

(44)

Далее запишем специальное приращение функционала качества (7), соответствующее допустимым управлениям и( х) и и( х, л). Имеем:

Б(и(х,л)) — 5 (и) = Лд^■(аг~~)у(хl} +

+ л

Х1

I

— Хо

дС(х,г(11,х))

д

д а

а(г1,х) + о(л), (45)

Из соотношений (42)-(44) следует, что

1—1 Х1

р'а,х)а(

— о Х— Хо

11

iНе можете найти то, что вам нужно? Попробуйте сервис подбора литературы.

I I р'(Ь,х)а(Ь + 1,х) =

1—1 Х1

I I[р'(t,х}дf(t,х,z(t:х),у(t,х))х

— о Х— Хо

д

х аа Х) р'(,х)д/(,х^(,х),у(,х)) ^ (46)

¡1-1 Х1

X X Я'(*,х)Р(*,х) =

ох>Хо

^-1 Х1 Х1

дд(1,х,я,г(1, б))

д

ох>ХоБ—Хо

х1-1

(47)

X 1р(х)у(х + 1) =

х1-1

= X *'(х)

г др(х,а(х),и(х))

да

у(х) +

х1-1

X *'(х)

г др(х,а(х),и(х))

+ > Ф'(Х)—--—-—-х

ди

х (р(х) — и(х)). (48)

Нетрудно видеть, что справедливы тож-

дества

^-1 х1

X X р'(1,х)а(1+1,х)=

£—£о Х—Хо Х1

= X р'(^—1,х)а&1,х)=

Х—Хо Х1

= — X р'(10 — 1,х) а(10,х) +

Х—Хо ¡1-1 Х1

+X X р'(1—1,%)а(1,х)=

£—£о Х—Хо Х1

= X р'(^—1,х)а(^1,х)—

X р'(10 — 1,Х)У(Х) +

>С—Хо ■1 Х1

+ XX Р'(1 — 1,Х)а(1,Х), (49)

£ — £о Х—Хо

X Ф'(х)Г(х + 1) = Ф'(Х1 — 1)Г(Х1) + 1-1

X Ф'(х — 1)у(х). (50)

х1-1

X—Хо ¡1-1 Х1

Учитывая тождества (46)-(50), а также предполагая, что р(Ь, х), ц(Ь, х), ф(х) является решением сопряженной системы (27)-(31) с

рассуждениями, аналогичными рассуждениям, используемым при доказательстве разложения (45), доказывается, что разложение (46) может быть представлено в виде

= XX X 4 ^

х

Б(и(х,/)>) — Б(и) =

х1-1

= —/ X Н^(х,а(х),и(х),тр(х))

х (у—х) — и(х)) + о(/). (51)

Из разложения (51) следует, что если и(х) оптимальное управление, то

х

X Н^(х,а(х),и(х),-ф(х))

Х—Хо

х (у(х) — и(х)) + о(/) > 0.

Из последнего неравенства, в силу произвольности / е [0,1], следует

Теорема 2. Если в задаче (1)-(7) множество и выпукло, то для оптимальности допустимого управления и(х) необходимо, чтобы неравенство х1-1

X Н^(х,а(х),и(х),ф(х)>) х

Х—Хо

х (у(х) — и(х)) < 0

выполнялось для всех допустимых управлений р(х).

Таким образом, в рассматриваемой задаче доказан аналог линеаризованного условия максимума.

4. Аналог уравнения Эйлера

Предположим, что в задаче (1)-(7) множества и открытое, а Р(х,а,и) имеет также непрерывное частное производное по и.

Пусть (и(х),г(Ь,х),а(х)) фиксированный, а (й(х) = и(х) + +Аи(х),х(Ь,х) = г(Ь, х) + Аг(Ь, х), а(х) = а(х) + Аа(х)) - произвольный -допустимые процессы.

Допустим, что достаточно малое по абсолютной величине число, а 8и(х) е Яг,х = Х0,Х0 + 1,... ,х1 — 1 - произвольная г-мерная дискретная и ограниченная вектор-функция (допустимая вариация управления).

В силу открытости области управления и специальное приращение допустимого управления можно определить по формуле

Аи(х;г) = е5и(х). (52)

Из введенных обозначений ясно, что (Лг(t,х},Лt(t,х},Ла(х}) является решением задачи

Лг( £ + 1,х) = ¡(ь,х,2(ь,х),у(ь,х)) — —f(t,х,z(t,х},у(t,х}), (53)

Л ( 0, х) = Л а( х), (54)

Х1

Лу(Ь,х) = I [д(ь, х, б, г(Ь, б))

— Хо

— д(ь,х,5,г(ь,5))], (55) Ла(х + 1) = р(х,а(х),й(х)) —

—р(х, а(х),и(х)), (56)

Ла(х0) = 0. (57)

Из соотношений (53)-(57), с помощью формулы Тейлора, получаем, что Л ( , х), Л у( , х), Л а( х) являются решениями линеаризованных задач

Лг(Ь + 1,х) =

= ^(ь, х,г(х),у(Ь, х))Лг(Ь, х) + х, г(Ь, х), у(Ь, х)Лу(Ь, х)) + +01(\\Лг(1,х)\\ + \\Лу(1,х)\\), (58)

Лг(Ь,х) = Ла(х), (59)

Х1

Лу(Ь,х) = I дz(t,х,s,z(t,s})Az(t,s} +

— Хо

+о2(\\Аг(1,зЖ (60)

Ла(х + 1) = ра(х, а(х),и(х)Ла ( х)) + +ри(х, а(х),и(х)Ли(х)) + +03(\\иЛа(х)\\ + \\Ли(х)\\), (61) Ла(х0) = 0. (62)

Через Лг(Ь, х, е), Лу(Ь, х, е), Ла(х, е) обозначим специальное приращение состояния г(t,х},у(t,х},а(х} , отвечающее специальному приращению (52) управления и( х).

Используя линеаризованные системы (58)-(62) докажем, что имеют место разложения:

Лг(Ь, х, е) = £8г(Ь, х) + 01(£; Ь, х), Лу(Ь, х, е) = £8у(Ь, х) + о2(Ь, х; £),

Ла(х) = а8а(х) + о3(£), (63)

где 8z(t,х},8у(t,х},8а(х} (вариация состояния ( , х), у( , х), а( х) ) является решением уравнения в вариациях

8г(Ь + 1,х) = ^(ь, х, г(Ь, х), у(Ь, х))8г(Ь, х) + ¡у(ь, х, г(Ь, х), у(Ь, х))8у(Ь, х), (64)

8г(Ь0,х) = 8а(х), (65)

8у^, х) = £Х—х0 дz(t, х, з, г(Ь, з))8г (Ь, б), (66)

8а(х + 1) = ра(х, а(х},и(х}8а(х}} + +Рu(х,а(х},и(х}8и(х}}, (67)

iНе можете найти то, что вам нужно? Попробуйте сервис подбора литературы.

8а(х) = 0 . (68)

Запишем приращение функционала качества, используя формулу Тейлора:

дф'(а(х1)) Б (и + Ли) — Б (и) = Ла(х1) +

Х1

д а

+01(\\Ла(х1)\\) + дС(х,г(11,х))

-4 а_ 1 ' Лг(Ь1,х) +

д

Х— Хо

I 02(\\Л2(11,х)\\).

Х1

+ / 02(

Отсюда, учитывая формулы (63), получаем справедливость разложения

дф'(а(х1)) Б(и + £8и) — Б(и) = £-^--8а(х1) +

Х1

д а

+£ I -4 „ } 8г(Ь,х) + 0(£).(69)

I

Х— Хо

д

Пусть р(1,х),ч(1,х),тр(х) являются решением сопряженной системы (27)-(31).

Учитывая (64)-(69), легко доказать, что

Х1

I р'(^ — 1,х)8г(11,х) —

Х— Хо Х1

— I р'(^0 — 1,х)8а(х1) +

II — 1 Х1

+ I I р'(1 — 1,х)8г(£, х) =

— о Х— Хо 1—1 Х1

= IIр(t,х)[-Тг-

X

£—Со х^Хо X 8г(Ь,х) +

д/(1,Х^(1,Х),у(1,Х)

ду

8^,х)], (70)

1—1 Х1

I I ч'(1,х)8у(1,х) =

— о Х— Хо Х1

С—Ьо Х—Хо 5—х0

1—1 Х1 Х1

IIч(t,s)-дг-

1—1 Х1 Х1

д у( , х, , ( , )) Ч'(*>*) —-^——8г(Ь,з)

С—^о Х—Хо 5—Хо

8 ( , х),

(71)

хг-1

X Ц>'(х — 1)Sa(x) + Tp'(x1 — 1)Sa(x1) =

хг-1

= X Ф'(х)

dF(x,a(x),u(x))

+

dF(x,a(x),u(x))

ди

Su

da

(x)].

Sa(x) +

(72)

Принимая во внимание тождества (70)-72), а также то, что р(Ь,х),ц(Ь,х),-ф(х) являются решением сопряженной системы (27)-(31), специальная формула приращения (70) функционала качества представляется в виде

Б(и + е8и) — Б(и) = —ех

х1-1

х X Н'(х,а(х),и(х),1р(х)>)8и(х) + о(е).

Х>Хо

Из этого разложения следует, что первая вариация (в классическом смысле) критерия качества имеет вид

хг-1

S1S(u; Su) =

— X H^(x,a(x),u(x),Tp(x)^)Su(x).

X—Xq

Поэтому на основе основного результата вариационного исчисления следует, что вдоль оптимального управления и(х) х1-1

X Н'и(х, а(х),и(х),ф(х)>)8и(х) = 0

Х—Хо

для всех 8и(х) е Яг,х = х0,х + 1,х1 — 1.

Используя произвольность допустимой вариации 8и(х) из последнего соотношения, получаем справедливость следующего утверждения.

Теорема 3. Если множество и открытое, то для оптимальности допустимого управления и(х) в задаче (1)-(7) необходимо, чтобы соотношение

Ни(^,а(0,и(0,Ф(0) = 0

выполнялось для всех

% = х0,х0 + 1,...,х1 — 1.

Последнее соотношение является аналогом уравнения Эйлера [6] для рассматриваемой задачи.

Заключение

В рассматриваемой задаче оптимального управления доказан дискретный аналог принципа максимума Л.С. Понтрягина. В случае выпуклости области управления установлено линеаризованное необходимое условие оптимальности без предположения выпуклости множества допустимых скоростей рассматриваемого уравнения.

При предположении открытости области управления доказан аналог уравнения Эйлера.

Автор благодарит рецензента за полезные замечания.

Список литературы

1. Агамалыева А.И., Мансимов К.Б. Необходимое условие оптимальности в одной дискретной задаче оптимального управления // Вестник Бакинского университета Сер. физ.-мат. наук. 2018. № 3. С. 20-28.

2. Агамалыева А.И., Мансимов К.Б. Об одной задаче управления, описываемой системой интегро-дифференциальных уравнений // Вестник ТГУ. Сер. управ. выч. техники и информатика. 2017. № 39. С. 4-10.

3. Агамалыева А.И. Необходимые условия оптимальности первого и второго порядков в одной задаче оптимального управления динамикой популяции // Журнал Бакинского инженерного университета. Сер. матем. и комп. науки. 2020. Т. 4, № 1. С. 40-48.

4. Букина А.В., Букин С.С. Исследование модели динамики популяций методами теории оптимального управления // Известия Иркутского университета. Сер. Математика. 2010. № 3. С. 59-66.

5. Букина А.В. Численное решение задачи оптимального управления динамикой популяции на основе вариационного принципа максимума // Известия Иркутского университета. Сер. Математика. 2009. № 1. С. 304-307.

6. Габасов Р., Кириллова Ф.М. и др. Методы оптимизации. Минск: Изд-во "Четыре четверти", 2011. 472 с.

References

1. Agamalyeva A.I., Mansimov K.B. Neobhodimoe uslovie optimal'nosti v odnoj diskretnoj zadache optimal'nogo upravleniya. // Vestnik Bak. Univ. Ser. fiz.-mat. Nauk. 2018. № 3. S. 20-28.

2. Agamalyeva A.I., Mansimov K.B. Ob odnoj zadache upravleniya, opisyvaemoj sistemoj integro-differencial'nyh uravnenij // Vestnik TGU. Ser. uprav. vych. tekhniki i informatika. 2017. № 39. S. 4-10.

3. Agamalyeva A.I. Neobhodimye usloviya opti-mal'nosti pervogo i vtorogo poryadkov v odnoj zadache optimal'nogo upravleniya dinamikoj populyacii // ZHurnal Bakinskogo inzhener-nogo universiteta. Ser. matem. i komp. nauki. 2020. T. 4, № 1. S. 40-48.

4. Bukina A.V., Bukin S.S. Issledovanie modeli dinamiki populyacij metodami teorii opti-mal'nogo upravleniya // Izv. Irkutskogo un-ta. Ser. Matematika. 2010. № 3. S. 59-66.

5. BukinaA.V. Chislennoe reshenie zadachi opti-mal'nogo upravleniya dinamikoj populyacii na osnove variacionnogo principa maksimuma // Izv. Irkutskogo universiteta. Ser. Matematika. 2009. № 1. S. 304-307.

6. Gabasov R., Kirillova F.M. i dr. Metody opti-mizacii / R. Gabasov. Minsk: Izd-vo "CHetyre chetverti". 2011. 472 s.

Просьба ссылаться на эту статью:

Агамалиева А.И. Необходимые условия оптимальности в одной дискретной граничной задаче управления динамикой популяции // Вестник Пермского университета. Математика. Механика. Информатика. 2022. Вып. 2(57). С. 5-13. DOI: 10.17072/1993-0550-2022-2-5-13.

Please cite this article as:

iНе можете найти то, что вам нужно? Попробуйте сервис подбора литературы.

Agamaliyeva A.I. Necessary Optimality Conditions in the One Discrete Boundary Problem of Population Dynamics Control // Bulletin of Perm University. Mathematics. Mechanics. Computer Science. 2022. Issue 2(57). P. 5-13. DOI: 10.17072/1993-0550-2022-2-5-13.

i Надоели баннеры? Вы всегда можете отключить рекламу.