Научная статья на тему 'Функционально-дифференциальные включения с импульсными воздействиями. Часть 3'

Функционально-дифференциальные включения с импульсными воздействиями. Часть 3 Текст научной статьи по специальности «Математика»

CC BY
69
36
i Надоели баннеры? Вы всегда можете отключить рекламу.
Ключевые слова
ФУНКЦИОНАЛЬНО-ДИФФЕРЕНЦИАЛЬНОЕ ВКЛЮЧЕНИЕ / ИМПУЛЬСНЫЕ ВОЗДЕЙСТВИЯ / ВЫПУКЛОСТЬ ПО ПЕРЕКЛЮЧЕНИЮ ЗНАЧЕНИЙ (РАЗЛОЖИМОСТЬ) / FUNCTIONAL-DIFFERENTIAL INCLUSION / IMPULSES / CONVEX-VALUED WITH RESPECT TO SWITCHING

Аннотация научной статьи по математике, автор научной работы — Булгаков Александр Иванович, Корчагина Елена Валерьевна, Филиппова Ольга Викторовна

Рассмотрены вопросы априорной ограниченности решений задачи Коши для функционально-дифференциального включения с импульсными воздействиями и оценки их решений.

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

Похожие темы научных работ по математике , автор научной работы — Булгаков Александр Иванович, Корчагина Елена Валерьевна, Филиппова Ольга Викторовна

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

Functional-differential inclusions with impulses. Part 31

The questions of a-priori boundedness of solutions to the Cauchy problem for a functional-differential inclusion with impulses and estimates of solutions are under discussion.

Текст научной работы на тему «Функционально-дифференциальные включения с импульсными воздействиями. Часть 3»

УДК 517.911, 517.968

ФУНКЦИОНАЛЬНО-ДИФФЕРЕНЦИАЛЬНЫЕ ВКЛЮЧЕНИЯ С ИМПУЛЬСНЫМИ ВОЗДЕЙСТВИЯМИ. Часть 3

©А.И. Булгаков, Е.В. Корчагина, О.В. Филиппова

Ключевые слова: функционально-дифференциальное включение; импульсные воздействия; выпуклость по переключению значений (разложимость).

Рассмотрены вопросы априорной ограниченности решений задачи Коши для функционально-дифференциального включения с импульсными воздействиями и оценки их решений.

В этой части рассматривается задача Коши для функционально-дифференциального включения с импульсными воздействиями, сформулированная в части 1

х е Ф(х), (1)

Д(ж(4)) = 4(х(гк)), к = 1,...,ш, (2)

х (а) = х0, (3)

Здесь предполагается,что правая часть включения (1) является непрерывным по Хаусдорфу многозначным отображением. В этом случае доказано, что если множество всех локальных решений задачи (1)-(3) априорно ограничено, то множество решений задачи (1)-(3) почти реализует (или реализует) расстояние в пространстве суммируемых функций от любой суммируемой функции до своих значений (определение см. ниже). На основе этого утверждения получены оценки решений задачи (1)-(3), аналогичные оценкам А.Ф. Филиппова для обыкновенных дифференциальных включений.

Определение 1. Будем говорить, что множество решений задачи (1)-(3) почти реализует расстояние в пространстве суммируемых функций от любой суммируемой функции до своих значений, если для любого V е Ь”[а, Ь] и любого е > 0 существует такое решение х е С” [а, Ь] задачи (1)-(3), что для любого измеримого множества Ы С [а, Ь] выполняется неравенство

119 - v|ІLn(м) < Рики)[V, Ф(х)] + е^(Ы), (4)

где функция 9 е Ф(х) удовлетворяет равенству (4). Если неравенство (4) выполняется и при е = 0, то будем говорить, что множество решений задачи (1)-(3) реализует расстояние в пространстве суммируемых функций от любой суммируемой функции до своих значений.

Теорема 1. Пусть множество всех локальных решений задачи (1)-(3)(см. §1) априорно ограничено. И пусть отображение Ф : С”[а, Ь] ^ 5(Ь”[а, Ь]) непрерывно по Хаусдорфу. Тогда множество решений задачи (1)-(3) почти реализует расстояние в пространстве суммируемых функций от любой суммируемой функции до своих значений. Если Ф : С'п[а, Ь] ^ 0[£(Ь”[а, Ь])], то множество решений задачи (1)-(3) реализует расстояние в пространстве суммируемых функций от любой суммируемой функции до своих значений.

Определение2. Будем говорить, что импульсные воздействия 1к : К” ^ К”, к = 1, 2,..., т, обладают свойством А, если для каждого к = 1, 2,..., т найдется непрерывная

неубывающая функция С : К+ ^ К+, удовлетворяющая равенству С(0) = 0, что для любых х, у е К” выполняется оценка

14(х) - /к(у)| < 4(|х - у|). (5)

Определение 3. Будем говорить, что импульсные воздействия /к : К” ^ К”, к = 1, 2,...,т, и отображение Ф : С”[а, Ь] ^ 5 (Ь”[а, Ь]) обладают свойством (Ги,£,р,к = 1, 2,...,т), если импульсные воздействия /к : К” ^ К”, к = 1, 2, ...,т, обладают свойством А, и если найдется изотонный непрерывный вольтерров оператор Г : С + [а, Ь] ^ Ь+[а, Ь], удовлетворяющий условиям Г(0) = 0, для любых функций х,у е С”[а, Ь] и любого измеримого множества Ы С [а, Ь] выполняется неравенство

К^и)[ф(х);Ф(у)] < 11Г(2(х - уМиКи); (6)

множество всех локальных решений задачи

у = и + е + Г(у), Д(у(£к)) = Ск(у(^к)), к = 1, ...т, у(а) = р (7)

априорно ограничено. Здесь непрерывное отображение 2 : С”[а, Ь] ^ С +[а, Ь] определено равенством

(2х)С0 = |х(£)1, (8)

отображения /к : К” ^ К”, к = 1, 2,...,т, удовлетворяют неравенству (5), и е Ь+[а, Ь],

числа е,р > 0.

Пусть для функции у е С” [а, Ь] существует функция С е Ь”[а, Ь], что для любого £ е [а, Ь] имеет место представление

т

£ Х[*ьЬ]С0Д(у(£к)), (9)

к=1

где Д(у^к)), к = 1, 2,..., т, удовлетворяет равенству (2). Пусть для функции к е Ь+[а, Ь] для каждого измеримого множества Ы справедливо соотношение

Ръ^и)[С;Ф(у)] <У к^^ (10)

и

где функции С е Ь”[а, Ь] и у е С”[а, Ь] удовлетворяют равенству (9).

Теорема 2. Пусть для функции у е С”[а, Ь] имеет место представление (9), а функция к е Ь+[а, Ь] для каждого измеримого множества Ы С [а, Ь] удовлетворяет неравенству (10). Далее, пусть импульсные воздействия /к : К” ^ К”, к = 1,2,...,т,

и отображение Ф : С” [а, Ь] ^ 5 (Ь”[а, Ь]) обладают свойством (Ги,£,р,к = 1, 2,...,т), где

е > 0, р = |хо — у (а) |, хо— начальное условие задачи (1)-(3). Тогда для любого решения х е С”[а, Ь] задачи (1)-(3), удовлетворяющего для любого измеримого множества Ы С [а, Ь] неравенству (4), в котором функция 9 е Ь”[а, Ь] из представления (4), а функция V = С из соотношения (9), при любом £ е [а, Ь] имеет место оценка

I

у(£) = у(а) + [

|х(£) - у(£)| < С(к,е,р)(£) (11)

и при почти всех £ е [а, Ь] справедливо соотношение

|9(£) - С(£)| < к(£) + е + (12)

где £(х, в, р) — верхнее решение задачи (7) при и = к и р = |хо — у (а) | .

Доказательство. Пусть в > 0 и пусть х € С”[а, Ь]— решение задачи (1)-

(3), удовлетворяющее для любого измеримого множества и неравенству (4), в котором функция д € Ь”[а, Ь] из представления (4), а функция V = С из соотношения (9). Поэтому из равенств (4) и (9) для любого Ь € [а, Ь] получаем оценку

|х(Ь) — у(Ь)| < |хо — у(а)| +

* т (13)

+119(«) — + Е Х(*к,ь](Ь)|Л(х(^) — у(4))|.

а к=1

Так как импульсные воздействия /д : М” ^ М”, к = 1, 2,..., т, обладают свойством А, то из оценок (5) и (13) следует соотношение

|х(Ь) — у(Ь)| < |хо — у(а)| +

* т ~ (14)

+ / |9(«) — + Е Х(*к,б](Ь)С(|х(ЬД) — у(^)|)

а к=1

Далее, так как х € С”[а, Ь] удовлетворяет оценке (4), в которой д € Ф(х) из представления

(4), а функция V = С из соотношения (9), то из оценок (4), (10) для любого измеримого множества и имеют место соотношения

1к — С11 ьу(м) < Рь?(м)[С;ф(х)] + вМи) < Рьп(м)[С;ф(у)] + Рьп(м}[ф(у);ф(х)]+

+в^(и) </(к(«) + в)^5 + J Г(2"(х — у))(«)^5. и и

Таким образом из предыдущих оценок вытекает, что при почти всех Ь € [а, Ь] выполняется неравенство

|д(Ь) — С(Ь)| < к(Ь) + в + Г(£(х — у))(Ь). (15)

Поэтому из оценок (15) и (14) для любого Ь € [а, Ь] вытекает соотношение

t

|x(t) - y(t)| < |xo - y(a)| + /(k(s) + e)ds+

t

m

(16)

+ /r(Z(x - y))(s)ds + E X(tfc,b](t)4(|x(tfc) - y(tfc)|).

tk ,

k=1

Определим отображение 0 : С + [a, b] ^ С + [a, b] равенством

(0x)(t) = sup x(s). (17)

sG[a,t]

Очевидно, что для любого t G [a, b] справедлива оценка

|x(t) - y(t)| < (0Z(x - y))(t). (18)

Из (18), (16) и изотонности отображений Г : С + [a,b] ^ L+[a, b], С : R+ ^ R+, k =

1, 2,...,m, для любого t G [a,b] следует соотношение

t

|x(t) - y(t)| < |xo - y(a)| + /(k(s) + e)ds+

fc=i

t m (19)

+ /r(0Z(x -y))(s)ds + E X(tfc,b](t)4((0Z(x - y))(tfc)).

Так как правая часть оценки (19) не убывает по Ь € [а, Ь], то из определения функции 0 : С + [а, Ь] ^ С+ [а, Ь] (см.(17)) для любого Ь € [а, Ь] получаем оценку

(0^ (х — у))(Ь) < |хо — у (а) | + / (к(з) + в + Г(0^ (х — у))(з))^+

т (20)

+ Е Х(*к,ь](Ь)С((0^(х — У))(^)). Д=1

Поэтому согласно §2 для любого Ь € [а, Ь] справедливо соотношение

(0^(х — у))(Ь) < ^^рХ^ (21)

где £(к, в,р) — верхнее решение задачи (7). Из оценок (21), (20), (18) получаем оценку (11). Из неравенства (15) и соотношения (21) следует неравенство (12). Теорема доказана.

Из теорем 1, 2 вытекает

Теорема 3. Пусть для функции у € С” [а, Ь] имеет место представление (9)

и функция к € Ь+[а, Ь] для каждого измеримого множества и С [а, Ь] удовлетворяет

неравенству (10). Далее, пусть импульсные воздействия /д : М” ^ М”, к = 1,2,...,т, и отображение Ф : С”[а, Ь] ^ 5(Ь”[а, Ь]) обладают свойством (Ги,£,р,к = 1, 2, ...,т), где в > 0, р = |хо — у (а) |, хо— начальное условие задачи (1)-(3), и множество всех локальных решений задачи (1)-(3) априорно ограниченно. Тогда при в > 0 существует решение х € С”[а, Ь] задачи (1)-(3), для которого при всех Ь € [а, Ь] справедлива оценка (11), и при почти всех Ь € [а, Ь] выполняется соотношение (12).

Если Ф : С”[а, Ь] ^ 0[£(Ь”[а, Ь])], то утверждение справедливо и при в = 0.

Далее рассмотрим задачи, для которых можно получить из теоремы 3 конкретные оценки решений.

Пример 1. Рассмотрим задачу Коши для обыкновенного дифференциального включения

с импульсными воздействиями

x(t) G F(t,x(t)) при почти всех t G [a, b], (22)

A(x(tfc)) = ffc(x(tfc)), k = 1,2,..., m, (23)

x(a) = x0, (24)

где для любого k = 1, 2,..., m отображение 4 : Rn ^ Rn определено равенством

ffc x = Afc x + gfc,

здесь Afc G Mnxra(Rra), gfc G Rn; отображение F : [a, b] x Rn ^ comp[Rn] удовлетворяет условиям:

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

1) при всех x G Rn отображение F(-,x) измеримо;

2) существует суммируемая функция l : [a, b] ^ [0, то) такая, что для любых x, y G Rn и при почти всех t G [a, b] выполняется неравенство

h[F(t, x); F(t, y)] < l(t)|x - y|; (25)

3) функция ||F(t, 0)|| : [a, b] ^ [0, то), определенная равенством

||F(t, 0)| = sup |y|,

(t,0)

суммируемая.

Под решением задачи (22)-(24) понимается функция х € С”[а, Ь] , для которой существует такая суммируемая д : [а, Ь] ^ М” , что при почти всех Ь € [а, Ь] справедливо включение д(Ь) € ^(Ь,х(Ь)) и при всех Ь € [а, Ь] имеет место равенство

т

х(Ь) = (Лд)(Ь) + ^ А(х(4)), (26)

д=1

где А(х(Ьд)), к = 1,2, ...,т удовлетворяют равенству (23), а оператор Л : Ь”[а, Ь] ^ С”[а, Ь] определен равенством (7).

Отображение ^ : [а, Ь] х М” ^ еошр[Мга] порождает оператор Немыцкого N : С”[а, Ь] ^ 5(Ь”[а, Ь]), определенный равенством

Nx = € Ь”[а, Ь] : ^(Ь) € ^(Ь, х(Ь)) при почти всех Ь € [а, Ь]}. (27)

С помощью оператора Немыцкого включение (22) можно записать в следующем эквива-

лентном функциональном виде

х € ^, (28)

где х — «производная решения» х : [а, Ь] ^ М” задачи (1)-(3) (функция д € Ь”[а, Ь] удо-

влетворяет равенству (26)).

Так как для любого к = 1, 2, ... , т, выполняется неравенство

|4х — 4у| < ||А|||х — у|, то отображение С : М+ ^ М+, к = 1, 2,..., т, удовлетворяющее оценке (5), имеет вид

4 х = ||А ||х. (29)

Импульсные воздействия / : М” ^ М”, к = 1, 2,...,т, и отображение N : С”[а, Ь] ^

5(Ь”[а, Ь]) обладают свойством (Ги,е,р,4 ,к = 1, 2,...,т) при Г : С+[а, Ь] ^ Ь+[а, Ь], заданном равенством

(Гх)(Ь) = 1(Ь)х(Ь). (30)

При этом Г : С+[а, Ь] ^ Ь+ [а, Ь] удовлетворяет условиям: Г(0) = 0, для любых функций х, у € С”[а, Ь] и любого измеримого множества и С [а, Ь] выполняется неравенство

^(и)№ NУ] < ИГ(^(х — у))|ь!(и),

здесь непрерывное отображение Z : С”[а, Ь] ^ С +[а, Ь] определено равенством (8). Рассмотрим решение задачи

у = и + в + Г(у), Ау(^)= 4(у(^)), к = 1,2, ...т, у(а) = р, (31)

где числа в,р > 0, функция и € Ь+[а, Ь] , отображение Г : С+[а, Ь] ^ Ь+[а, Ь] определено

равенством (30). Решение задачи (31) на промежутке [а, ^] имеет вид

* Ь Ь

Г / 1(т )^Т / 1(з)^£

{(и, в,р)(Ь) = / (и^) + в)в8 ^ + р ва

Рассмотрим продолжение решения задачи (31) на промежуток (^,£2] . Из условия задачи получаем

£(и,в,р)(*1 + 0) = {(и,в,р)(Ь1) + ||А1|{(и,в,р)(Ь1).

Поэтому решение задачи (31) на отрезке [а, Ь2] записывается в виде

Г /1(т )^т J

{(и,в,р)(Ь) = J (и(в) + в)е8 + (у(Ьх) + ||А1|у(Ь1))е‘1

или

*1

* / 1(т )^Г / 1(з)^£

{(и, в,р)(Ь) = /(и(в) + в)е8 + р в“ +

а

Ь1 Ь

/ 1(«)Й«Ч I 1(«)^«

реа ^еЬ1 Х(*1,ь](Ь).

Так как

{(и,в,р)(Ь2 + 0) = {(и,в,р)(Ь2) + ||А2|{(и,в,р)(Ь2),

то продолжение решения задачи (31) на полуинтервал (Ь2, Ьз] имеет вид

* / 1(т )йт / 1(«)й«

{(и, в,р)(Ь)=/(и(в) + в)е8 + ре» +

а

Ь1 Ь1 Ь

*1 / 1(т )^т / 1(з)^£\ / 1(^)^^

/1(т )^т + в)е8 аз +

+

Ь2

/ 1(т )^т

*1

г J ^(^)а^\ л

+ реа ^еЬ1 Х(*1,6](Ь) +

Ь2 Ь

/ 1(«)^«\ I 1(«)^« ав + ре» ^е‘2 Х(*2,6](ь) +

Ь1 Ь1 Ь

J 1(т )^т J 1(з)^£ N / 1(^)^^

+ реа ^еЬ1 Х(*2,Ь](Ь).

На полуинтервал (Ьз,^]

* / 1(т )^т / 1(з)^£

{(и, в,р)(Ь)=/(и^) + в)е8 + ре» +

*1

11(т )Йт

*2

+

+

*3

Ь2

I 1(т )Л

Ь3

I 1(т )Л

Ь1 Ь

+ реа ^еЬ1 Х(*1,6](Ь) +

Ь2 Ь

/ г(в)^8ч ЛМ^ ав + реа ]еЬ2 Х(*2,ь](ь) +

Ь3 Ь

/1(«)^«\ 11(«!№

+ реа ]еЬ3 Х(*3,Ь](Ь) +

*1

+

11(т)Йт

11(т )Йт

Ь2

11(т )Йт

Ь1

/ 1(«)^« \ 11(«)^« ав + реа ^еЬ1 Х(*2,6](ь) +

Ь1 Ь

Л(5)^ ч ЛМ^5

аз + ре» ^еЬ1 Х(*3,ь](ь) +

Ь2 Ь

Л(«)^ч ЛМ^ аз + ре» ^еЬ2 Х(*3,ь](ь) +

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

/ 1(т )^т

J 1(т)Й.т / 1(з)^£\ «/* 1(й)^й

8 + ре» ^еЬ1 Х(*3 ,ь](ь).

*

в

в

Окончательно получаем формулу

ь ь

^ / 1(т )dт / l(з)dз

{(и, £,р)(Ь) = /(и(в) + е)еа Йв + р е" +

а

. Г 1(тЫт Г 1(зЫз \ / 1(зМз

+ Е 11АУ |/(и(в) + Фа + реа | е‘к Х(4к,ь](Ь)+

т—1 I tl Г 1(т)dт Г 1(зЫз \ / Кз)<Зз

+ I— 11А1 ШИь+Л! |/(и(«) + Фа ав + р е“ ) еЬ1 Х(4к+1,Ь](Ь)+

к=1 \а I

^«2 42 \ 4

^2 Г 1(т)^т Г 1(зЫз \ / 1(зМз

/(и(в) + ф = ^ + р еа I е‘2 Х(4к+1,Ь](Ь)+

а

, ‘г»-1 V г(т)^т V г(з^з\ / '(з^з

+ ||Ат — 1||Ат||| / (и(в)+е)е а + ре а )е‘т-1 Х(4т,Ь](Ь) +

41

^1

(32)

т — 2 / ^ 1 Г 1(т)dт Г 1(зЫз \ / 1(зМз

+ 5— IIА11111^21111^+211 М(и(«) + Фа + ре“ ) е41 Х(*к+2,Ь](Ь) +

к=1 \а /

(«2 «2 \ 4

^2 Г 1(т )dт Г 1(зЫз \ / 1(зМз

/(и(в) + ф = + ре“ I е‘2 Х(*к+3,Ь](Ь) +

а

-2 V г(т)dт ‘V «(з^з\ I Кз^з

+ |Ат—2||||Ат— 1||||Ат||| / (и(в) + ф * ре " )еьт-2 Х(^,ь](Ф

41 41 \ 4

Г 1(т)dт Г 1(з)dз \ / 1(зМз

+ 11А1||||А2|| ... ||Ат У 1/(и(«) + Ф* + р е“ | е41 Х(4т,Ь](Ь).

Пусть для функции у € С”[а, Ь] существует такая функция С € Ь”[а, Ь] , что при любом Ь € [а, Ь] имеет место представление

у(Ь) = у(а) + С(в)ав + ^ Х(*к,ь](Ь)А(у(Ьк)), (33)

к=1

где А(у(Ьд)) , к = 1,2,...,т удовлетворяют равенству (23). Далее, пусть функция к € Ь+[а, Ь] удовлетворяет при почти всех Ь € [а, Ь] оценке

р[С(Ь)ф(Ь,у(Ь))] < к(Ь). (34)

Тогда из теоремы 3 и из приведенных выше рассуждений вытекает, что для любой функции у € С”[а, Ь] , удовлетворяющей представлению (33) и оценке (34), и любого в < 0 существует такое решение х задачи (22)-(24), что для любого Ь € [а, Ь] выполняется неравенство

|х(Ь) — у(Ь)| < {(к,в,р)(Ь) (35)

и при почти всех Ь € [а, Ь] справедливо соотношение

|д(Ь) — С(Ь)| < к(Ь) + в + 1(Ь){(к,в,р)(Ь), (36)

где функция к € Ь+[а, Ь] удовлетворяет оценке (34), функция I € Ь+[а, Ь] из неравенства Липшица (25) для отображения ^ : [а, Ь] х Мга ^ еошр[Мга], {(к, в,р) € С +[а,Ь] определена

г

равенством (32) при и = к и р = |хо — у (а) | . Отметим, что если импульсные воздействия отсутствуют, то приведенные оценки (35), (36) совпадают с оценками А.Ф. Филиппова не только для обыкновенных дифференциальных включений, но и для других типов включений, например, для дифференциальных включений с запаздыванием.

П р и м е р 2. Рассмотрим задачу Коши для дифференциального включения с запаздыванием

х(Ь) € Р(Ь,х[^(Ь)]), при почти всех Ь € [а, Ь], (37)

х({) = р({), если { < а ()

где измеримая по Лебегу функция v : [а, Ь] ^ М при всех Ь € [а, Ь] удовлетворяет неравенству ^(Ь) ^ Ь ; ограниченная функция р : (—то, а) ^ М” измерима по Борелю; отображение Р : [а, Ь] х Мп ^ сошр[Мп] и импульсные воздействия : Мп ^ Мп, к = 1, 2,..., т, удо-

влетворяют условиям, описанным в примере 1.

Определим оператор Р : О [а, Ь] ^ Ь^[а, Ь] равенством

(Рх)(о=(х[;,(/>!'если € М; (38)

\ р^(Ь)], если v(^) < а.

Под решением задачи (37), (23), (24) понимается функция х € С”[а, Ь] , для которой существует такая суммируемая д : [а, Ь] ^ М”, что при почти всех Ь € [а, Ь] справедливо включение д(Ь) € N(Рх)(Ь) и при всех Ь € [а, Ь] выполняется равенство (26), где N : Ъ^[а, Ь] ^ £(Ьга[а,Ь]) - оператор Немыцкого, порожденный отображением Р : [а, Ь] х М” ^ сошр[Мп] (см. (27)).

Определим отображение С : С+[а, Ь] ^ Ь+[а, Ь] равенством

(Сх)(Ь) = 1(Ь)(0х)(Ь), (39)

где функция I € Ь+[а, Ь] удовлетворяет условию Липшица (25) для отображения Р : [а, Ь] х М” ^ сошр[М”] , отображение 0 : С+[а, Ь] ^ С +[а, Ь] задано равенством (17).

Далее, зададим отображение Р : С +[а, Ь] ^ [а, Ь] формулой

(Рх)(г) = { хМ‘)]- € [“’Ь]; (40)

\ 0, если v(^) < а,

где измеримая по Лебегу функция v : [а, Ь] ^ М описана выше.

Из условия Липшица отображения Р : [а, Ь] х М” ^ сошр[М”]

и определений отображений Р : С [а, Ь] ^ Ь^[а, Ь] (см. (38)),

Р : С +[а, Ь] ^ Ь^[а, Ь] (см. (40)), Г : С+[а, Ь] ^ Ь+[а, Ь] (см. (30)), С : С+[а, Ь] ^ Ь+[а, Ь]

(см. (39)), 0 : С+[а, Ь] ^ С+[а, Ь] (см. (17)) для любых х,у € С”[а, Ь] и любого измеримого и С [а, Ь] вытекают соотношения

^(М)^Рх; ^у] < ||ГР^(х — у))||Ь1(М) < |№(х — у))||Ь1(М), (41)

здесь непрерывное отображение Z : С [а, Ь] ^ С +[а, Ь] определено равенством (8).

Пусть функция у € С”[а, Ь] , определенная при любом Ь € [а, Ь] представлением (33), при почти всех Ь € [а, Ь] удовлетворяет неравенству

Р[С(Ь) Р(^, (Ру)(Ь))] < к1(Ь) (42)

где отображение Р : С [а, Ь] ^ Ь^[а, Ь] задано равенством (38), функция С € Ь”[а, Ь] из соотношения (33), к1 € Ь+[а, Ь] .

Для задачи (37), (23), (24), в силу неравенств (41), можно рассматривать два типа мажорантных оценок.

Рассмотрим первую задачу

у = к1 + е + Г(Р(у)) Ду(4 ) = 4 (у(4)), (43)

к = 1, 2,..., т, у(а) = р,

где функция к1 € Ь+[а, Ь] удовлетворяет оценке (42), отображение Р : С +[а, Ь] ^ Ь^0[а, Ь]

задано равенством (40), импульсные воздействия 4 : М+ ^ М+, к = 1,2,...,т, имеют

вид (29), числа е,р ^ 0, отображение Г : С +[а, Ь] ^ Ь+[а, Ь] определено равенством (39). Найти решение задачи (43) невозможно, поскольку отклонение аргумента (функция v : [а, Ь] ^ М) конкретно не задано. Однако для задачи (43) можно найти оценку, используя метод интегральных неравенств, описанный в §3. Найдем эту оценку.

Рассмотрим задачу

у(Ь) = к1(Ь) + е + ^Х^Х^ Ду(^) = 4 (у(4Ж (44)

к = 1,2,..., т, у(а) = р,

где отображение 0 : С +[а, Ь] ^ С +[а, Ь] задано формулой (17), а импульсные воздействия

4 : М+ ^ М+, к = 1, 2,..., т, имеют вид (29), функция к1 € Ь+[а, Ь] удовлетворяет оценке

(42).

Решение задачи (44) при любом Ь € [а, Ь] определяется формулой

* * т

у(Ь) = р + у(к1(«) + е)^ + У ^Х^Х^ + ^ Д(у(Ьк))Х[*к ,Ь) (Ь). (45)

а а к=1

Так как при любом к = 1, 2,...,т имеет место неравенство Д(у(4)) ^ Д((0у)(4)) , а правая часть равенства (45) не убывает, то из определения отображения 0 : С +[а, Ь] ^ С +[а, Ь] (см. (17)) при любом Ь € [а,Ь] вытекает оценка

* * т

(0у)(Ь) < р + у(к1(«) + е)^ + У ^Х^Х^ + ^ Д((0у)(Ьк))Х[*к ,Ь)(Ь). (46)

а а к=1

Из оценки (46) и теоремы 2 следует, что значение (0у)(Ь) при любом Ь € [а, Ь] не превосходит решения задачи

у = к1 + е + 1у, Д(у(Ьк)) = 4(у(4)), к = 1,2,..., т, у(а) = р. (47)

Решение задачи (47) найдено в примере 1, является функцией £(к1,е,р)(') и определено равенством (32).

Таким образом, из теоремы 3 и приведенных примере 2 рассуждений вытекает, что для любой функции у € С [а, Ь], удовлетворяющей представлению (33) и оценке (42), для любого Ь € [а, Ь] выполняется неравенство

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

|х(Ь) — у(Ь)| < С(к1,е,р)(Ь) (48)

и при почти всех Ь € [а, Ь] справедливо соотношение

|д(Ь) — С(Ь)| < к1(Ь) + е + 1(Ь)^(к1,е,р)(Ь), (49)

где функция Ki G L+[a, b] удовлетворяет оценке (42), функция l G L+[a, b] из неравенства Липшица (25) отображения F : [a, b] х Rn ^ comp[Rn], £(х, £,p) G С + [a, b] определена равенством (32) при и = к и p = |xo — y(a)| . Отметим также, что если v(t) = t, то приведенные оценки (48), (49) совпадают с оценками, приведенными в примере 1 и в регулярном случае (без импульсных воздействий), с точностью до произвольного £ > 0, совпадают с оценками А.Ф. Филиппова.

ЛИТЕРАТУРА

1.Булгаков А.И., Беляева О.П., Мачина А.Н. Функционально-дифференциальные включения с многозначным отображением, не обладающим свойством выпуклости по переключению значений // Вестн. Удм. ун-та. Матем., механика. 2005. № 1. С. 3-20.

2. Булгаков А. И. Непрерывные ветви многозначных отображений и интегральные включения с невыпуклыми образами и их приложения // Дифференц. уравнения. 1992. Т. 28. № 3. С. 371-379.

3. Тихонов А. Н. Функциональные уравнения типа Вольтерра и их приложения к некоторым вопросам математической физики // Бюл. Моск. ун-та. Секц. А. 1938. Т. 68. № 4. С. 1-25.

4.Bressan A, Colombo G. Extensions and selections of maps with decomposable values // Studia. math. 1988. V. 90. № 1. P. 69-86.

5.Канторович Л.В., Акилов Г.П. Функциональный анализ. М.: Наука, 1977.

6. Азбелев Н.В., Максимов В. П., Рахматуллина Л.Ф. Элементы теории функциональнодифференциальных уравнений. М.: Высшая школа, 1987.

7. Завалищин C. Т., Сесекин А.Н. Импульсные процессы. Модели и приложения. М.: Наука, 1991.

8. Самойленко А. М., Перестюк Н. А. Дифференциальные уравнения с импульсными воздействиями. К.: Вища шк., 1987.

9. Kamenskii M., Obukhovskii V., Zecca P. Condensing multivalued maps and semilinear differential inclusions in Banach spaces, Walter de Gruyter. Berlin; New-York, 2001.

БЛАГОДАРНОСТИ: Работа выполнена при финансовой поддержке Российского Фонда Фундаментальных Исследований (гранты № 07-01-00305, № 09-01-97503), Министерства образования и науки РФ (программа Развитие научного потенциала высшей школы, проект № 2.1.1/1131), Норвежской Национальной Программы Научных Исследований FUGE (грант PRO 06/02) при Совете научных исследований Норвегии и Норвежского Комитета по развитию университетской науки и образования(NUFU).

Поступила в редакцию 10 апреля 2009 г.

Bulgakov A.I, Korchagina E.V., Filippova O.V. Functional-differential inclusions with impulses. Part 3. The questions of a-priori boundedness of solutions to the Cauchy problem for a functional-differential inclusion with impulses and estimates of solutions are under discussion.

Key words: functional-differential inclusion, impulses, convex-valued with respect to switching.

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