Научная статья на тему 'О минимизирующих последовательностях некоторого класса простейшей вариационной задачи'

О минимизирующих последовательностях некоторого класса простейшей вариационной задачи Текст научной статьи по специальности «Математика»

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

Аннотация научной статьи по математике, автор научной работы — Ни Минь Кань

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

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

On minimizing sequences of a certain class of the simplest variational problem

In this work we study the simplest variational problem with a linear in control integrand which is an ill-posed Tikhonov functional minimization problem. After regularization of the functional via introduction of a weak quadratic penalty, Euler equations of the variational problem become singularly perturbed. We show that the uniform zero approximation of the boundary layer asymptotics of the extremal generates a minimizing sequence in the initial ill-posed problem.

Текст научной работы на тему «О минимизирующих последовательностях некоторого класса простейшей вариационной задачи»

О МИНИМИЗИРУЮЩИХ ПОСЛЕДОВАТЕЛЬНОСТЯХ НЕКОТОРОГО КЛАССА ПРОСТЕЙШЕЙ ВАРИАЦИОННОЙ

ЗАДАЧИ

Ни Минь Кань (ni@u-pereslavl.botik.ru)

Филиал Российского Университета Дружбы Народов

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

Пусть имеется некоторое множество D с элементами v, которые будем называть допустимыми. На множестве D задан функционал J(v). Рассмотрим задачу: требуется найти такой элемент V из D, называемый минималью или оптимальным элементом, на котором функционал J(v) достигает свой нижней грани на этом множестве D: J(V) = inf J.

Такая задача всегда имеет решение для конечного множества D, но может не иметь решения, если оно бесконечно: в этом случае искомый элемент среди допустимых может отсутствовать, т.е. задача может быть некорректно поставленной по Тихонову в смысле несуществования решения на исходном множестве. Поэтому целесообразно рассматривать более общую задачу о минимизирующих последовательностях - найти последовательность элементов из D, {vs} С D, на которой функционал J(v) стремится к своей нижней грани на D: J(vs) —> inf J (такая последовательность называется минимизирующей последовательностью) и считать, что эта последовательность является решением исходной зада-чи[1]. Но при этом возникает вопрос как ее построить. Способы построения минимизирующих последовательностей типа ломанных для ряда некорректно поставленных задач минимизации функционалов приводятся в [2].

Здесь сначала показывается, что для простейшей вариационной задачи с линейным интегрантом по уравнению, являющейся некорректно поставленной задачей минимизации функционала по Тихонову, по регуляции функционала путем введения слабого квадратичного штрафа, уравнения Эйлера вариационной задачи становится регулярно возмущенным. Затем строится равномерное нулевое приближение понгранс-лойной асимптотики экстремали и оказывается, что, несмотря на невязки

в краевых условиях, асимптотика порождает минимизирующую последовательность в исходной некорректно поставленной задаче.

Пусть множество допустимых имеет вид О = {V = (х, и)}, где х = х(Ь) - функция непрерывная и кусочно-дифференцируема, и = и(Ь) - кусочно-непрерывна Ь Е [¿0,^1]. Здесь приводится регуляризация исходных функционалов с целью обеспечения большой точности минимизирующих последовательностей. Введем расширенный функционал 1е:[2]

1е&) = .(V) + е.10^), е> 0, е < 1.

Такой функционал, содержащий малый параметр, называется возмущенным, исходный функционал .. можно трактовать как заданный функционал, е.]0 представляет собой возмущение. Можно расширить понятие минимизирующей последовательноти так: если найдется последовательность С О, на которой 1€^8) —> ш£.., то она минимизирующая.

2. Задача с фиксированными границами и интегрант линейно

зависит от управления

В работе[1] рассматривается такая задача:

¿1

.(и) = !(а(х,Ь) + Ь(х,Ь)и) йЬ —> т£,

¿0

х(ь) = и(ь), ¿о < ь < ¿1,

х(Ь0) = х°, х(Ь1) = х1,

где а(х,Ь), Ь(х,Ь) - достаточно гладкие функции.

Введем функцию Кротова[1]: р(х,Ь) = / Ь(х,Ь) йх. Теперь можно переписать функционал в следующем виде:

¿1

.(и) = р(х\г1) - ^(х0,^) - I Р(х, Ь) йЬ —► т£,

¿0

или

¿1

. (и) = -I Р(х,Ь) йЬ —► т£, (1)

¿0

х(Ь) = и(Ь), (2)

x(t0) = x°, x(t1) = x1, (3)

где P(x, t) = -a(x, t) + pt(x, t).

Предположим, что выполнено следующее условие: Условие 1. Пусть существует хотя бы одна непрерывная функция x(t) такая, что

P (x(t),t) = sup P (x,t).

x

Очевидно, что функция x(t) не всегда удовлетворяет краевым условиям, то есть

x(t0) = x°, x(t1) = xl,

поэтому задача (1)-(3) не всегда имеет минимали, но существует последовательность пар {(xs(t) ,us(t) = xs(t))} непрерывных кусочно - дифференциальных функций из класса D такая, что

xs(t) -> x(t), x Е (t0,t1), xs(t0) = x°, xs(t1) = x1,

она является решением задачи.

Введя расширенный функционал Ie, рассмотрим задачу с возмущением:

ti 2

Iе(u) = f (-P(x, t) + —u2) dt —► inf, (4)

J 2 u

to

x(t) = u(t), (5)

x(t0) = x°, x(t1) = xl. (6)

Если мы сделаем замену tu = v, то дифференциальная связь имеет такой вид:

ex = v.

Наличие малого параметра при старших производных приводит к появлению зон быстрого изменения решения - зон пограничного слоя, подобные рассуждения рассматривались в литературе [3].

Поэтому задача (4)-(6), с одной стороны, имеет типичные черты для теории вариационного исчесления, а с другой, через необходимые условия оптимальности приводит нас к специальному классу сингулярно возмущенных задач.

Будем искать асимптотическое разложение (асимптотику) (пока формально) в виде [4]:

v(t, t) = v(t, t) + Lv(r0, е) + Rv(t1 ,е), (7)

где у(1, е) - регулярный ряд:

е) = ь0(г) + ех- (¿) + ••• ек щ (¿) + •••;

Ьу(г0, е)(то =--) - погранслойный ряд в окрестности г = ¿0:

е

Ьх(т-, е) = Ь-х(т-) + еЬгх(т-) +-----+ екЬкх(т-) +----,

Яу(т\,е)(т1 =--) - погранслойный ряд в окрестности г = ¿1:

е

Ях(т1, е) = Е0х(т1) + еЕ1х(т\) + • • • + екЕкх(т1) + • • • ,

Для определения коэффициентов всех выписанных рядов надо (7) подставить в (1) и минимизировать коэффициенты после разложения функционала по степеням е

Ы 3{V) = т£ 3{V-) + V ег т£ Зг(уг) + 0(еп+1),

V ' * V:

где

vo ' VI

г=1

3г^г) = 3г^г^г-1, • • • ^о), Vk = а^т£ 3к(V),к = 0,1 — 1,

и подставить (7) в (2), (3) и приравнять слева и справа члены одинакового порядка по е, причем в отдельности зависящие от ¿, от т0 и т1. Это и даст вариационные задачи для определения каждого члена асимптотики

(7).

Выпишем вариационную задачу для определения v0(t)

н

30(и) = — Р(х0,Ь) М —> щ£,

] хо

Х0 = щ.

В качестве решения возьмем введенное ранее из условия 1

х0(1) = х(£), и0^) = х0^).

Для определения Ь^ вариационная задача принимает вид:

+^

Ь03 = ( (Р(х0(Ь),Ь) — Р(х0^0) + Ь0х,¿0) + -(Ь0и)2) 3т0 —> Ш

.] 2 ^оп

LoX(TO) = LOU(TO), Lox(0) = xo — x(t0), Lo x(+ro) = 0. Для определения Rov вариационная задача принимает вид:

0 1 RoJ = (P(xo(h),t1) — P(xo(h) + Rox,t1) + ~(Rou)2) dT1 inf, (8)

J 2 Rou

R®x(T1) = Rou(n), (9)

Rox(0)= x1 — x(t1), Rox(—^) = 0. (10)

Сделаем замену dT0 = —— и перепишем функционал в другом виде:

Lou

LoJ = i (P(x(to),to) — P(x(to) + Lox,to) + \(Lou)2)dLx inf .

J 2 L0u Lou

xo-X(to)

Из необходимого условия оптимальности находим

L0u = V2(P (x(to),to) — P (x(to) + Lox,to))1

и оптимальная траектория L0x определяется из следующей задачи Ко-ши:

Lo x(To) = V2(P (x(to),to) — P (x(to) + Lox,to))1 = G(Lox), (11)

Lo x(0) = xo — x(to). (12)

Введем еще одно условие:

Условие 2. Пусть решение Lox(to) задачи Коши (11), (12) существует и единственно.

Точка покоя Lox = 0 уравнения (11) является асимптотически устойчивой при to ^ Действительно,

G'(Lox) = —Px(x(to) + Lox, to)/G(Lox),

и

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

G'(0) = (—Px2(x(to),to))2 < 0

в силу условия 1. Откуда для Ь00х(т0) следует обычная для погранслой-ных функций оценка

\Ь1х(т0)\ < сехр(—кт0), т0 > 0

(с и к - некоторые положительные числа). Очевидно для Ь$и(т0) справедлива оценка

\Ь*0и(т0)\ < сехр(—кт0), т0 > 0.

Итак в точке Ь0и функционал Ь03 достигает минимума

0

Ь03 =^2 ! (Р (х(¿0),^) — Р (х(^)+ х,¿0))1 йх.

хо-х(Ьо)

Аналогичные рассуждения для задачи (8)-(10) имеют место. Таким образом, построены члены асимптотики нулевого порядка V0(t), Ь^(т0), Е^(т\). В самом деле, на практике нулевое приближение асимптотики уже явлается хорошим приближением решения исходной задачи при достаточного малого параметра е.

Обозначим через х0(¿, е), е) частичную сумму ряда (7), содержащую члены нулевого порядка:

х0^,е) = х0(¿) + Ь0х(т0) + ^х^-),

щ(¿, е) = е-1(Ь0и(т) + Qоu(т)) + щ(¿), при этом имеет место [4]

\ Ш 3 — 3(й))\ = 0(е2).

Нужно отметить, что (х0,и0) не является допустимой парой, так как краевые условия (3) не выполнены, т.е.

х0(Ь, е) — х° = р0(е) = 0, х^]^^,) — х1 = р1(е) = 0,

где рг(е) = 0(е-(*1-*о)/е)({ = 0,1).

Можно прибавить функцию в0^,е) к х0^,е), чтобы новая функция Х0^,е) = х0^,е) + в0^,е) удовлетворяла краевым условиям (3), здесь

00^, е) = Ле-(г-'о)/е + Бе-(г-г1)/е,

А = (-ро(е) + е-'1/^р1(е))/(1 - в-2^), В = (-рг(е) + е-1 /еро(е))/(1 - в-2^), во(и ,е) = -ро(е), во(Ь,е) = -рг(е), 9о(1,е) = О(е). И сохраняется оценка

| Ы I - I(ио)\ = О(е2).

Итак, справедлива

Теорема. При выполнении условий 1-2 для достаточно малых е, Тогда пара (Х0(г,е),и0(г,е)) будет являться допустимой и является минимизирующей последовательностью.

3. Пример

Рассмотрим следующий пример:

2

I(и) = ¡(х - 1)2 СИ —► ^, (13)

0

х(г) = и(г), о < г < 2, (14)

х(0) = х(2) = 0. (15)

Очевидно, что т£ I = 0 при X = 1. Посколько постоянное число х(г) = 1 не удовлетворяет краевым условиям, поэтому задача (13)-(15) не имеет минимали из множества О. Минимизирующая последовательность {(х8(г),и8(г))} так построена:

вг, о < г< 1, ' — 8 '

х8(г) = 1, 1 < г< 2 - 1, ^ в(2 - г), 2 - 1 < г < 2.

так как

I(и8) = 1'(х8 - 1)2 сг + I (х8 - 1)2 сг + I (х8 - 1)2 сг 0 1 2-1

3 3

2-1

в

2

г 2

= 2 ^ — 1)2 М =--> 0 при ^ ^ то.

] 3в

0

Введя расширенный функционал /е, рассмотрим задачу с возмущением:

2 2 1е(и) = ¡((х — 1)2 + и2) ^ —► Ы, 0

х(Ь) = и(Ь), х(0) = х(2) = 0. Будем строить нулевое приближение асимптотики в виде:

V(t,е) = Vо(t,е) + Ьоv(то,е) + ^(п,е), Из следующих задач определяются Хо^,е), Ь^(т0,е) и К^^, е):

30(и) = (х — 1)2 М —> щ£,

3 хо

хо = ио,

Согласно условию 1 имеем

х0= 1, и0(ь) = 0.

Для нулевого приближения погранслойного ряда Ьо3 вариационная задача принимает вид:

+те 1

Ьо3 = I ((Ьох)2 + -(Ьои)2) йто т£,

.] 2 Ьоп

0

Ьох(то) = Ьои(то),

Ьох(0) = —1, Ьох(+то) = 0.

Для нулевого приближения погранслойного ряда К03 вариационная задача принимает вид:

0 1

Ко3 = ((К0х)2 + -(К0и)2) йт1 —► Ы, (16)

.] 2 Доп

Rox(n) = rou(tX), (17)

Rox(0) = —1, Rox(—^) = 0. (18)

В функционале Lo J сделать замену dTo = —— и переписать его в другом

Lou

виде:

LoJ = /((Lox)2 + \(Lou)2)Lu — Па.

Из необходимого условия оптимальности находим

Lou = —\[2L*ox.

и оптимальная траектория L*ox определяется из следующей задачи Ко-ши:

Llxc(To) = —V2L*ox, (19)

Lox(0) = —1. (20)

Задача (19), (20) имеет единственное решение Lox(to) = —e-y/2To. Аналогично задачиа (16)-(18) имеет единственное решение Rox(t1) = —e^2ri. Итак нулевое приближение асимптотики построено:

xo(t, е) = xo(t) + Lox(To) + Rox(n) = 1 — e-V2ro — e^1 = = 1 — e-V2t/e — eV2(t-2)/,_

Можно прибавить функцию 0o(t,e) к xo(t,e), чтобы новая функция Xo(t,e) = xo(t,e) + 0o(t, е) удовлетворяла краевым условиям (15), здесь

e-V2(t+2)/e + eV2(t-4)/e

9o(t,e) = -1 + e-2V~2/t-•

Итак

Xo(t, е) = 1 — e-^2t/e — e-^2(t-2)/e + - + e

1

1 + e-2V2/e

e-V2t/€ + eV2(t-2)/e

1 + e-2^2/e .

Она допустимая, потому что

Хо(0, е) = 1 — 1 = 0, Хо(2,е) = 1 — 1 = 0.

Оптимальное значение функционала:

)2 М

л/2е

(1 — е-Ал/2/е) + 4е-2Г2/" —► Ы 3 = 0 при е ^ 0.

2

Минимизирующей последовательностью является {(Хо(^ е), и0е))}.

1. Кротов В.Ф., Гурман В.И. Методы и задачи оптимального управления. -М.: Наука, 1973.

2. Тихонов А.Н. О некорректных задачах оптимального управления и устойчивых методах их решения// ДАН СССР,1965, 164, №3.

3. Васильева А.Б., Бутузов В.Ф. Асимптотические методы в теории сингулярных возмущений.-М.: Высшая школа, 1990.

4. Ни Минь Кань, Дмитриев М.Г. Контрастные структуры в простейшей векторной вариционной задаче и их асимптотика// Автоматика и телемеханика. 1998, №5, С.41-52.

ЛИТЕРАТУРА

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