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

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

CC BY
143
12
i Надоели баннеры? Вы всегда можете отключить рекламу.
Ключевые слова
СИСТЕМА НЕЯВНЫХ ДИФФЕРЕНЦИАЛЬНЫХ УРАВНЕНИЙ / КРАЕВАЯ ЗАДАЧА / ВЕКТОРНО НАКРЫВАЮЩИЕ ОТОБРАЖЕНИЯ / МЕТРИЧЕСКИЕ ПРОСТРАНСТВА / SYSTEM OF DIFFERENTIAL EQUATIONS / BOUNDARY-VALUE PROBLEM / VECTOR COVERING MAPPINGS / METRIC SPACES

Аннотация научной статьи по математике, автор научной работы — Трещёв Валентин Сергеевич

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

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

CONTINUOUS DEPENDENCE ON PARAMETERS OF SOLUTIONS TO BOUNDARY-VALUE PROBLEMS FOR A SYSTEM OF IMPLICIT DIFFERENTIAL EQUATIONS WITH DEVIATING ARGUMENT

Conditions are offered that ensure a continuous dependence on the parameters solutions of the boundary value problem for a system of implicit differential equations with a deviating argument. The method used in this paper is based on the results on vector-covering mappings obtained by E.S. Zhukovsky.

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

УДК 517.988.5, 517.922

DOI: 10.20310/1810-0198-2017-22-3-579-584

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

© В. С. Трещёв

Тамбовский государственный университет имени Г.Р. Державина, 392000, Российская Федерация, г. Тамбов, ул. Интернациональная, 33 E-mail: treshchev.math@mail.ru

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

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

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

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

Используются следующие обозначения: 1п — п -мерный вектор, все компоненты которого равны 1, Rra — n -мерное вещественное пространство и R+ — конус векторов с неотрицательными компонентами в этом пространстве; L^([a,b], R) — банахово пространство измеримых существенно ограниченных функций x :[a,b] ^ R с нормой ||ж||ьто([а,ь],к) = vrai supie[tt>5] \x(t)\; AC^([a,b], R) — банахово пространство абсолютно непрерывных функций, имеющих почти

всюду производную x G Loo([a, Ь], R), с нормой ||ж|иСоо(МД) = РНьоо(МД) + 1^)1- _

Пусть заданы метрические пространства Xj = (Xj,px;), Yj = {Yj, pYj), i = l,n, j = l,m.

_ n _ m

Определим произведения этих пространств X=Y[Xi, Y= П Yj и зададим в них векторные

г=1 _ j=1 _

метрики, полагая для х=(х\,.. .,хп), u=(v,i,... ,ип)еХ и у=(у ь ... ,ут), ш = (ш\,... ,шт)е Y Рх(х,и) = (рхL(a?l,«l), . . ■ ,рхп(хп,ип)), ру(у,ш) = (pYl{yi,Ul), ■ ■ ■ , pYm(ym,UJm)) .

Обозначим Бх1 {щ,() = {хг € Xг: рхг{иг,хг) < } — замкнутый шар в пространстве Xг с центром в точке щ € Хг радиуса (г > 0. Аналогично, обозначим Бу:/ {ш] ,Т]) замкнутый шар в пространстве {У] ,р). Определим произведения этих шаров

т

Ву(ш, г) = Ву^щ, Гу) = {у еТ, Ру(у, из) < г}, где г = (п, ...,гт)е М^,

3 = 1

п

ВТ(и, й) = П вхЛи*> где Л = (1п) е М+.

г=1

Пусть, задано множество \¥ СУ, пх т матрица А с неотрицательными компонентами

г],

dij, i = l,п, j = l,m. По заданным и°<ЕХ, Лей™ определим множество

®(и0,Д) = {(и, г) е В^{у°,В) х М™ : Аг+ рТ(и,и°) < Щ. (1)

Определение 1 [6], [7]. Отображение Ф : X —> У называем векторно условно А -накрывающим множество Ш на совокупности В {и0 , Я) если

УиеВТ(и°,Я) Ууе\¥ ПФ(Х) Ару(у, Ф(и)) + < Я =>

ЗжеХ Ф(х) = у, ~Рх(х, и) < А~ру(у, Ф(и)).

Будем рассматривать пространства Мп, Ь^{[а,Ь], Мп), АС^{[а,Ь], Мп) как произведения соответствующих метрических пространств, т. е. определим в этих пространствах векторные метрики равенствами

{(,1 ) = (( - ъ\,---, \йп - 1п\) Уй, 7 € Мп, РЬооСМ,»»)^.^)^ (\\У1 - ™1\\ьх({аДД), ■ ■ ■ ,\\Уп - Ып^^^адд-)) V у, V) € Ь^Ца, 6],Мга), Рж700([а>ь]>к»)(ж, у)=(\\xi- У1\\АСоо{[аМЛ),..., \\хп - уп\\АСоо{[аМЛ)) V X, V е АС«, ([а, Ь], Мга).

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

Пусть при любом натуральном I заданы: вектор а1 е , непрерывная функция д1 : Мп х Мп — измеримая функция Н : [а, Ь] — Мп, измеримая существенно ограниченная функция у1: [а, Ь] — Мт, измеримая по Борелю ограниченная функция р1: {-ж, а){]{Ь, ж) —

— Мп, и определена удовлетворяющая условиям Каратеодори функция f1: [а, Ь] х Мп х Мп —

— Мт. Относительно функции f1 предполагаем, что для любого т € Мт существует такое г]1г > 0, что при почти всех £ е [а, Ь] и любых х, из € г) выполнено неравенство \! 1{г,х,ш)\<г!1г.

Рассмотрим при Ь € [а,Ь], I = 1, 2,... последовательность систем

ь]\°) — f j с краевыми условиями J

fi (t, Х\ (h[(t)) ,...,хп (hln(t)) ,xi(t),..., xn(t)^j = y\{t), i = l,m, Xj(s) = (p\(s), если s [a, b], j = 1, n,

(2)

д^х\(а),..., хп(а), х\(Ь),... ,хп(Ъ)) = А^, I = 1,2,..., г = 1, к. (3)

Для любого ] = 1 ,п, при всех ¿ = 1,2,... зададим (очевидно, измеримые) множества

Б] = {Н13 )-1 [а, Ь] = {Ь € [а, Ь] : Н13 (Ь) € [а,Ь]},

и числа Hj = vraisup(ftj(t) — a). Полагаем Hj = 0, если Ej = 0. Положим Hj = sup Hj .

teEj i=i,2,...

Определим оператор

Shi : AC ([a,b], Rn) — Lx([a,b], Rn), Shi x = (Shi xi,...,Shi xn),

(4 ,r)(t) - I ^ЧКЧЬ n-TH

{bhjx3){t) - I , h если t j = i,n.

Xj(hj(t)), если t / Ej, j (j (t)), если t/Ej,

Пусть заданы функция x0 /AC^([a,b], Rn) и n x m матрица A1 с неотрицательными компонентами. Пусть е1 >0, е2 > 0, R1 = еЧп, R2 = е2Тп G R™, d1 = еЧт G R™. Определим u0 — xP / LXl([a,b}, Rn ), y0 — x0(a) / Rn. Зададим при каждом t/ [a,b] совокупность B(u0(t),R1) С Rn x Ж^ равенством (1), где A — Ai, т.е.

«(^(i),^1) = {(u,r) G Rra x R™ : Air + pRn(u,u°(i)) < R1}.

Обозначим через Xj, j = l,n, компоненты функции x° G ACoo( [a, 6], Rra). Положим

5 (t) — П D (t:>, где D (t) — {+Ri(t-t*1"" t/Ej '

Определим при п. в. t G [a, b] и любом x<ED(t) множество Wl(t, x) = Bgm (/(t, x, u°(t)), d1) =

m _

= П Wl(t,x), Mt,x,u°(t)) + dl], 1 = 1,m.

i=1

Пусть определены матрица A2 с неотрицательными компонентами размерности n x k и вектор d2 /R+. Зададим совокупность 70 , R2) С Rn x R+ равенством

<В(70,Д2) = {(7> г) еГх^: A2r + pRn(7,7°) < Я2}-При любом x G ВRn (ж°(6), R2 + Rl(b — a)) определим множество W2(x) = ВЖк (д(70, x),d2) = = П W2(x) = Ы 7°, 9г( 7°, x)+d%\, i=TJ.

г=1 _

Положим при любом j = 1, п, при всех ¿ = 1,2,...,

&(t) — J! D (t) где D (t) — { , R + Rl(t ~ a)P, если t/Ej,

V (t) — j=j Dj(t) где Dj(t) —j ^hj(t))}j еслIj t/Ej.

Определим при п. в. t G [a, b] и любом x<EDl(t) множество Wll(t, x) = Bgm (fl(t, x, u°(t)), d1). Вычислим

y0l(t) — fl [t, (Sh{ x0)(t),..., (Shn x0n)(t),u0 (t),...,u0n(t)), A01 —g01 (70,...,7П ,y0 + } u1(s)ds,...,Y0n + } u0n(s)ds).

a a

Пусть при l ^ ж имеют место сходимости

vrai sup \y°l - yl \a01 - al | ^ 0, (4)

te[a,b]

Теорема 1. Пусть при каждом натуральном l — 1,2,... выполнены следующие условия:

• при почти всех t/ [a,b] и любом x/Dl(t) отображение fl (t,x, ) : Rn ^ Rm является векторно условно A1 -накрывающим мсожество W 1l(t,x) на совокупности B(u0(t),R1) ; при любом x G -Br™ (ж0(b), R2 + Rl(b — a)) отображение gl(-, x) : Rra —> Rfc является векторно

условно А2 -накрывающим множество Ш21{х) на совокупности ;

• для любых 1 = 1, т, з = 1,п существует такое /3^>0, что при почти всех всех

из € В^п (-и0(£), Я1) и любых ХрЕ 01р({),р = 1,п и рф], отображение

/■(Ь,х1,...,хз-1, ■,хз+1,. ..,Хп^) : Г] {Ь) — М

является (3^ -липшицевым; для любых 1 = 1, к, ] = 1 ,п существует такое (3^>0, что при всех 7€?8(7°,Я2) и любых хр € В^(хр(Ь), К2 + Кр(Ъ — а)), р=1,п и рф], отображение

д\{7,х1,.. .,х]-1, ■,х]+1, ...,х,п) : Бм (х°{Ь),Е2 + Щ{Ь - а)) — М является в2] -липшицевым;

• для любых г = 1,т, ] = 1 ,п, при почти всех ^ е [а, 6] и любых х^^Б1^) имеет место включение

у\(t) е fl (t, X!,..., , BRn (и0 (t), RL))

для любых i = l,k, j = l,n, любых Xj + Щ(Ь —aj) имеет место включение

спектральный радиус g произведения BA матриц

а=(А А)■ б=(Б11 Б12

V 0 А2) \Б21 Б22

где Б11 = {Н]в1 )тхп, б 12 = {в}3)тхп, Б21 = ({Ь - а)в23)кхп, Б22 = {в%)кхп, удовлетворяет неравенству д{БА) < 1;

Тогда, если имеют место соотношения (4), то при каждом I, начиная с некоторого номера, существует определенное на [а,Ь] решение £1 € АС^{[а,Ь], Мп) краевой задачи (2), (3) такое, 'что имеет место сходимость — х0.

СПИСОК ЛИТЕРАТУРЫ

1. Арутюнов А.В., Аваков Е.Р., Жуковский Е.С. Накрывающие отображения и их приложения к дифференциальным уравнениям, не разрешенным относительно производной // Дифференциальные уравнения. 2009. Т. 45. № 5. С. 613-634.

2. Арутюнов А.В., Жуковский Е.С., Жуковский С.Е. О корректности дифференциальных уравнений, не разрешенных относительно производной // Дифференциальные уравнения. 2011. Т. 47. № 11. С. 1523-1537.

3. Жуковский Е.С., Плужникова Е.А. Накрывающие отображения в произведении метрических пространств и краевые задачи для дифференциальных уравнений, не разрешенных относительно производной // Дифференциальные уравнения. 2013. Т. 49. № 4. С. 439-456.

4. Жуковский Е.С., Плужникова Е.А. Об управлении объектами, движение которых описывается неявными нелинейными дифференциальными уравнениями // Автоматика и телемеханика. 2015. № 1. С. 31-56.

5. Жуковский Е.С., Плужникова Е.А. О периодической краевой задаче для дифференциального уравнения, не разрешенного относительно производной // Известия ИМИ УдГУ. 2012. № 1(39). С. 52-53.

6. Жуковский Е.С. О возмущениях накрывающих отображений в пространствах с векторнозначной метрикой // Вестник Тамбовского университета. Серия Естественные и технические науки. Тамбов, 2016. Т. 21. Вып. 2. С. 373-377.

7. Жуковский Е.С. О возмущениях векторно накрывающих отображений и системах уравнений в метрических пространствах // Сибирский математический журнал. 2016. Т. 57. № 2 (236). С. 297-311.

8. Трещёв В. С. Разрешимость краевых задач для дифференциальных уравнений с отклоняющимся аргументом // Вестник Тамбовского университета. Серия Естественные и технические науки. Тамбов, 2014. Т. 19. Вып. 2. С. 440-443.

9. Трещёв В.С. Непрерывная зависимость от параметров решений краевых задач дифференциальных уравнений с отклоняющимся аргументом // Вестник Тамбовского университета. Серия Естественные и технические науки. Тамбов, 2015. Т. 20. Вып. 1. С. 62-66.

10. Алвеш М.Ж., Плужникова Е.А., Трещёв В.С. Условия накрывания оператора Немыцкого а пространстве существенно ограниченных функций // Вестник Тамбовского университета. Серия Естественные и технические науки. Тамбов, 2015. Т. 20. Вып. 5. С. 992-995.

11. Трещёв В.С. О задаче Коши для систем неявных дифференциальных уравнений // Вестник Тамбовского университета. Серия Естественные и технические науки. Тамбов, 2016. Т. 21. Вып. 2. С. 430-434.

12. Трещёв В.С. Об условиях накрывания оператора Немыцкого в пространстве измеримых существенно ограниченных функций // Математическое и компьютерное моделирование, информационные технологии управления: сб. тр. Школы для студентов, аспирантов и молодых ученых «МКМИТУ-2016». Воронеж: Изд-во «Научная книга», 2016. С. 229-232.

13. Трещёв В.С. О нелинейной краевой задаче для систем неявных дифференциальных урвнений с отклоняющимся аргументом // Современные методы прикладной математики, теории управления и компьютерных технологий: сб. тр. 9 Междунар. конф. «ПМТУКТ-2016». Воронеж: Изд-во «Нучная книга», 2016. С. 356-360.

БЛАГОДАРНОСТИ: Работа выполнена при финансовой поддержке Российского фонда фундаментальных исследований (проект № 17-01-00553).

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

Поступила в редакцию 17 апреля 2017 г

Трещёв Валентин Сергеевич, Тамбовский государственный университет им. Г.Р. Державина, г. Тамбов, Российская Федерация, аспирант, кафедра функционального анализа, e-mail: treshchev.math@mail.ru

UDC 517.988.5, 517.922

DOI: 10.20310/1810-0198-2017-22-3-579-584

CONTINUOUS DEPENDENCE ON PARAMETERS OF SOLUTIONS TO BOUNDARY-VALUE PROBLEMS FOR A SYSTEM OF IMPLICIT DIFFERENTIAL EQUATIONS WITH DEVIATING ARGUMENT

© V. S. Treshchev

Tambov State University named after G.R. Derzhavin, 33 Internatsionalnaya st., Tambov, Russian Federation, 392000 E-mail: treshchev.math@mail.ru

Conditions are offered that ensure a continuous dependence on the parameters solutions of the boundary value problem for a system of implicit differential equations with a deviating argument. The method used in this paper is based on the results on vector-covering mappings obtained by E.S. Zhukovsky.

Key words: a system of differential equations; a boundary-value problem; vector covering mappings; metric spaces

REFERENCES

1. Arutyunov A.V., Avakov E.R., Zhukovskiy E.S. Nakryvayushchie otobrazheniya i ih prilozheniya k differentsial'nym uravneniyam, ne razreshennym otnositel'no proizvodnoj // Differentsial'nye uravneniya. 2009. T. 45. № 5. S. 613-634.

2. Arutyunov A.V., Zhukovskiy E.S., Zhukovskiy S.E. O korrektnosti differentsial'nyh uravnenij, ne razreshennyh otnositel'no proizvodnoj // Differentsial'nye uravneniya. 2011. T. 47. № 11. S. 1523-1537.

3. Zhukovskiy E.S., Pluzhnikova E.A. Nakryvayushchie otobrazheniya v proizvedenii metricheskih prostranstv i kraevye zadachi dlya differentsial'nyh uravnenij, ne razreshennyh otnositel'no proizvodnoj // Differentsial'nye uravneniya. 2013. T. 49. № 4. S. 439-456.

4. Zhukovskiy E.S., Pluzhnikova E.A. Ob upravlenii ob"ektami, dvizhenie kotoryh opisyvaetsya neyavnymi nelinejnymi differentsial'nymi uravneniyami // Avtomatika i telemekhanika. 2015. № 1. S. 31-56.

5. Zhukovskiy E.S., Pluzhnikova E.A. O periodicheskoj kraevoj zadache dlya differentsial'nogo uravneniya, ne razreshennogo otnositel'no proizvodnoj// Izvestiya IMI UdGU. 2012. № 1(39). S. 52-53.

6. Zhukovskiy E.S. O vozmushcheniyah nakryvayushchih otobrazhenij v prostranstvah s vektornoznachnoj metrikoj // Vestnik Tambovskogo universiteta. Seriya Estestvennye i tekhnicheskie nauki. Tambov, 2016. T. 21. Vyp. 2. S. 373-377.

7. Zhukovskiy E.S. O vozmushcheniyah vektorno nakryvayushchih otobrazhenij i sistemah uravnenij v metricheskih prostranstvah // Sibirskij matematicheskij zhurnal. 2016. T. 57. № 2 (236). S. 297-311.

8. Treshchyov V.S. Razreshimost' kraevyh zadach dlya differentsial'nyh uravnenij s otklonyayushchimsya argumentom // Vestnik Tambovskogo universiteta. Seriya Estestvennye i tekhnicheskie nauki. Tambov, 2014. T. 19. Vyp. 2. S. 440-443.

9. Treshchyov V.S. Nepreryvnaya zavisimost' ot parametrov reshenij kraevyh zadach differentsial'nyh uravnenij s otklonyayushchimsya argumentom // Vestnik Tambovskogo universiteta. Seriya Estestvennye i tekhnicheskie nauki. Tambov, 2015. T. 20. Vyp. 1. S. 62-66.

10. Alvesh M.ZH., Pluzhnikova E.A., Treshchyov V.S. Usloviya nakryvaniya operatora Nemytskogo a prostranstve sushchestvenno ogranichennyh funktsij // Vestnik Tambovskogo universiteta. Seriya Estestvennye i tekhnicheskie nauki. Tambov, 2015. T. 20. Vyp. 5. S. 992-995.

11. Treshchyov V.S. O zadache Koshi dlya sistem neyavnyh differentsial'nyh uravnenij // Vestnik Tambovskogo universiteta. Seriya Estestvennye i tekhnicheskie nauki. Tambov, 2016. T. 21. Vyp. 2. S. 430-434.

12. Treshchyov V.S. Ob usloviyah nakryvaniya operatora Nemytskogo v prostranstve izmerimyh sushchestvenno ogranichennyh funktsij // Matematicheskoe i komp'yuternoe modelirovanie, informatsionnye tekhnologii upravleniya: sb.tr. SHkoly dlya studentov, aspirantov i molodyh uchenyh «MKMITU-2016». Voronezh: Izd-vo «Nauchnaya kniga», 2016. S. 229-232.

13. Treshchyov V.S. O nelinejnoj kraevoj zadache dlya sistem neyavnyh differentsial'nyh urvnenij s otklonyayushchimsya argumentom // Sovremennye metody prikladnoj matematiki, teorii upravleniya i komp'yuternyh tekhnologij: sb. tr. IX mezhdunar. konf. «PMTUKT-2016». Voronezh: Izd-vo «Nuchnaya kniga», 2016. S. 356-360.

ACKNOWLEDGEMENTS: The present research is supported by the Russian Fund for Basic Research (project № 17-01-00553).

Received 17 April 2017

Treshchev Valentin Sergeyevich, Tambov State University named after G.R. Derzhavin, Tambov, the Russian Federation, Post-graduate Student, Functional Analysis Department, e-mail: treshchev.math@ mail.ru

Информация для цитирования:

Трещёв В. С. Непрерывная зависимость от параметров решения краевой задачи для системы неявных дифференциальных уравнений с отклоняющимся аргументом // Вестник Тамбовского университета. Серия Естественные и технические науки. Тамбов, 2017. Т. 22. Вып. 3. С. 579-584. DOI: 10.20310/1810-0198-2017-22-3-579-584

Treshchev V.S. Nepreryvnaya zavisimost' ot parametrov resheniya kraevoj zadachi dlya sistemy neyavnyh differentsial'nyh uravnenij s otklonyayushchimsya argumentom [Continuous dependence on parameters of solutions to boundary-value problems for a system of implicit differential equations with deviating argument]. Vestnik Tambovskogo universiteta,. Seriya Estestvennye i tekhnicheskie nauki - Tambov University Reports. Series: Natural and Technical Sciences, 2017, vol. 22, no. 3, pp. 579-584. DOI: 10.20310/1810-0198-2017-22-3-579-584 (In Russian)

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