УДК 517.988.6, 517.922
DOI: 10.20310/1810-0198-2017-22-3-523-532
О РАЗРЕШИМОСТИ ЗАДАЧИ КОШИ ДЛЯ НЕЛИНЕЙНОГО ФУНКЦИОНАЛЬНО-ДИФФЕРЕНЦИАЛЬНОГО УРАВНЕНИЯ
© Т. В. Жуковская1) , Е. С. Жуковский2)3) , Х. М. Т. Тахир2)
Тамбовский государственный технический университет 392000, Российская Федерация, г. Тамбов, ул. Советская, 106 E-mail: t_zhukovskaia@mail.ru 2) Тамбовский государственный университет имени Г.Р. Державина, 392000, Российская Федерация, г. Тамбов, ул. Интернациональная, 33 E-mail: zukovskys@mail.ru, khalidtahir89@yahoo.com 3) Российский университет дружбы народов, 117198, Российская Федерация, г. Москва, ул. Миклухо-Маклая, 6 E-mail: zukovskys@mail.ru
Рассматривается задача Коши для нелинейного функционально-дифференциального уравнения общего вида с вольтерровыми отображениями. Получены условия существования единственного глобального решения, условия существования единственного предельно продолженного решения. Используются редукция к операторному уравнению с вольтерровым оператором в пространстве непрерывных функций.
Ключевые слова: вольтерров оператор; нелинейное функционально-дифференциальное уравнение; задача Коши; существование решения
Теория линейных функционально-дифференциальных уравнений и ряд фундаментальных результатов о нелинейных функционально-дифференциальных уравнениях получены научным коллективом Н.В. Азбелева (см. монографии [1], [2] и содержащиеся в них библиографические списки). Наиболее востребованными и содержательными являются результаты о функционально-дифференциальных уравнениях с вольтерровыми отображениями. Такими уравнениями описывается динамика различных процессов, и именно такие уравнения наследуют многие свойства обыкновенных дифференциальных уравнений. В статье исследуются вопросы разрешимости задачи Коши нелинейного функционально-дифференциального уравнения с вольтерровыми отображениями.
1. Определение решения уравнения с вольтерровым оператором
Пусть заданы банаховы пространства Ei = E^[0,T], Rra), i = 1, 2, функций, определенных на [0, T] и имеющих значения в Мга. Оператор F : Ei — E2 называют вольтерровым (по А.Н. Тихонову), если для любого т £ (0,T] и любых x,u £ E1 из равенства x(t)=u(t) на [0,т] следует, что (Fx)(t) = (Fu)(t) на [0,т].
Пусть задана функция y £ E2. Рассмотрим уравнение
(Fx)(t)= y(t), t £ [0,T]. (1)
Вольтерровость оператора F : Ei —у E2 позволяет определить решение этого уравнения не только на всем [0,T], но и на отрезке [0,т], т £ (0,T]. Приведем соответствующие определения из [3], [4].
Определим пространства Ег([0,т], М), г = 1, 2, функций хт :[0,т] — М, являющихся сужениями на [0,т] функций из Ег ([0,Т], М). Положим
\\хт \\е;([0,т]Д) = 1п!{ \\х\\е([0,Т]Д) : х(Ь) = хт t е [0,т]} .
С такой нормой пространство Ег([0,т],М) становится банаховым (см. [5; с. 129]). Определим оператор Р^. сужения функций из Ег ([0,Т], М) не отрезок [0,т], т.е.
: Ег([0, Т], М) — Ег([0,т], М), (Р£х)(Ь) = х(Ь) Ш е [0,т].
Далее определим оператор ПЕ : Ег([0,т], М) — Ег([0,Т], М), продолжающий произвольно функцию хт е Ег([0,т], М) до определенной из всем [0,Т] функции х е Ег([0,Т], М).
Функцию хт е Е1([0,т], М) называют определенным на [0,т] решением уравнения (1), если ее продолжение х е Е1([0,Т], М) удовлетворяет этому уравнению при Ь е [0,т], или, другими словами, если выполнено
Р12 ¥ ПтЕ1 Хт = РЬ2 у.
Определенное на [0,т] решение при т <Т называют локальным; определенное на всем [0,Т] решение — глобальным. Ели для функции хп : [0, п) — М, п е (0,Т], ее сужение хт на [0,т] при любом т е (0,п) является локальным решением уравнения (1) и \\хт\\Е1([о,т],М) ^^ при т — п — 0, то хп называют предельно продолженным решением уравнения (1). Локальное решение хт называют частью локального, глобального или предельно продолженного решения хя, а решение хя — продолжением решения хт, если $>т и хт (Ь) = хя (Ь) при Ь е [0,т].
2. Существование и оценки решений задачи Коши для нелинейного функционально-дифференциального уравнения общего вида
Будем обозначать: Ь = Ь([0,Т], Мга) — банахово пространство суммируемых функций г
у : [0,Т] — Мга, \\у\\ь = / \у(Ь)\(Ь; АС = АС([0,Т],Мга) — банахово пространство абсолютно
0
непрерывных функций х :[0,Т] — Мга, производная которых X е Ь, с нормой \\х\Цс = \х(0)\ + + \\ХС = С([0,Т], Мга) — банахово пространство непрерывных функций х :[0,Т] — Мга, \\х\\с = тах4€[0)Т] \х(Ь)\.
Пусть заданы: линейный вольтерров оператор С: АС([0,Т], М) — Ь([0,Т], М), произвольный (вообще говоря, нелинейный) вольтерров оператор ¥: АС([0,Т], М) — Ь([0,Т], М) и а еМ. Для функционально-дифференциального уравнения
Сх = ¥х (2)
рассмотрим задачу Коши с начальным условием
х(0) = а. (3)
Для редукции этой задачи к операторному уравнению выберем произвольную функцию / е Ь([0,Т], М) и введем задачу Коши для соответствующего линейного уравнения
Сх = /, х(0) = а. (4)
При естественных предположениях (а именно, в случае вольтерровой обратимости главной части оператора С, подробнее см. [1; с. 35]) задача (4) имеет единственное решение, и это решение представимо в виде
г
х(Ь) = аХ(Ь) + у С(Ь, в) /(в) (в, (5)
0
где X(•) е АС([0,Т], М) — фундаментальное решение однородного уравнения Их = 0, С(Ь,в)
г
— функция Коши, а выражение [ C(Ь,в) /(в) йв называют оператором Коши. Такая запись
о
(•)
линейного ограниченного оператора Коши / е Ь([0,Т], М) С(^,в) /(в) йв е АС([0,Т], М) яв-
о
ляется следствием интегрального представления любого линейного ограниченного оператора Ь([0,Т], М) ^ АС([0,Т], М) (см. [6; с. 302-305]). Согласно этому представлению функция Коши С(Ь, в) измерима (по плоской мере) и существенно ограничена. Вследствие вольтерровости интегрального оператора Коши выполнено С(Ь,в) = 0 при в>Ь (см., например, [7; теорема 3]), что позволяет этот оператор записывать как интеграл на множестве [0,Ь], а не на всем отрезке [0, Т]. Свойства функции Коши конкретных линейных функционально-дифференциальных уравнений изучены в [8].
Используя соотношение (5), перепишем задачу (2), (3) в виде эквивалентного уравнения
t
x(t) = аХ w + / C (t-s)(Fx)(s) ^ (6)
Для исследования уравнения (6) мы воспользуемся предложенными в [3], [4], [9], [10] подходами и полученными в этих работах результатами об операторных уравнениях Вольтерры.
Определение 1. Пусть q > 0. Вольтерров оператор F: C ([0,T], R) — L([0,T], R) назовем вольтеррово q -липшицевым, если для любых $ £ [0,T), x0 £ C ([0,$], R) и r>0 существует такое т = т($, x0,r) £ (0, T — $], что для произвольных u,U £ C([0,T], R), удовлетворяющих соотношениям
u(t) = u(t) = x0(t) yt £ [0,$], max |u(t) — u($)|< r, max |u(t) — u(q)\< r,
te[?,?+r ] te[?,?+r ]
выполнено неравенство
?+r
/ |(Fu)(t) — (Fu)(t)\dt < q max |u(t) — u(t)|. (7)
J te[?,?+r ]
?
Если F удовлетворяет определению 1, то при любом положительном f <т($,xя,r), для произвольных u,u £ C([0,T], R) из соотношений
u(t) = u(t) = x0(t) yt £ [0,$], max |u(t) — u($)|< r, max |u(t) — u($)|< r
te[?,?+f] te[?,?+f]
следует неравенство
?+r
/ |(Fu)(t) — (FFu)(t) | dt < q max |u(t) — u(t)|.
J te[?,?+f] ?
Действительно, функции u, f £ C([0,T], R),
(t) f u(t), при t £ [0,f], f(t) f u(t), при t £ [0,f],
u(t) \ u(f), при t £ (т, T]; f(t) \ u(f), при t £ (f,T], удовлетворяют оценкам max |u(t) — u($) | < r, max |f(t) — f($) | < r, что позволяет восполь-
te[?,?+r ] te[?,?+r ]
зоваться неравенством (7) и получить требуемое неравенство.
Заметим, что при q = 0 для вольтеррово q -липшицева оператора имеет место соотношение
Vxo е R Vr> 0 Зт = т(0, xo, r) Vu,u е C([0,Т], R)
u(0) = u(0) = х0, max \u(t) — x0\<r, max \u(t) — x0\<r ^ ie[o,r ] te[o,r ]
T
/ \(Fu)(t) — (Fu)(t)\ dt < q max \u(t) — U(t)\. J te[o,T ]
о
Определение 2. Оператор F: C ([0, T], R) — ¿([0, T], R) назовем 'равномерно вольтеррово q -липшицевым, если этот оператор вольтеррово q -липшицев и константа т не зависит от значений R, r, q.
Важно, что даже равномерно вольтеррово q -липшицев оператор F не обязательно является ограниченным и непрерывным. Приведем соответствующий
Пример 1. Пусть ф : C([0,1], R) — R — линейный неограниченный функционал, PC : C([0, 3], R) — C([0,1], R) — оператор сужения функций из C([0, 3], R) не отрезок [0,1]. Определим линейный оператор F : C([0, 3], R) — ¿([0, 3], R) соотношением
(Fx)(t) = ^ ,
0, при t е [0, 2), ^Plx, при t е [2, 3],
Этот оператор, очевидно, не является ограниченным и, соответственно, непрерывным. В то же время Р равномерно вольтеррово д -липшицев с константой д = 0. Действительно, при т = 1 для любых х,и Е С([0, 3], М) выполнено^(^х)(£) =(Fu)(í) =0, £ € [0, 2], и для произвольного ? € [0,2), если x(í)=u(í) на [0,?], то (Рх)(г) = (Ри)(г), í € [0,? + 1].
Теорема 1. Пусть для некоторого с0 > 0 выполнено \С (¿,в)\<с0, £ € [0,Т], в Е [0,£]; а вольтерров оператор Р: АС([0,Т], М) — Ь([0,Т], М) допускает продолжение до вольтеррова ограниченного оператора Р : С([0,Т], М) — Р([0,Т], М). Тогда, если оператор Р вольтеррово д -липшицев и д<1/с0, то задача Коши (2), (3) разрешима, имеет единственное глобальное или предельно продолженное решение, а всякое локальное решение является его частью.
Доказательство. Рассмотрим эквивалентное задаче (2), (3) уравнение (6), которое в свою очередь, равносильно уравнению
г
х«= аХ М + / С (М)( Л (8)
0
в пространстве С([0,Т],М). Уравнение (8) — это уравнение вида х = Фх, в котором оператор
г
Ф: С([0,Т], М) — С([0,Т], М), (Фx)(í) = аХ(Ь) ^ C(í,в)(Fx)(в) йв
0
вольтерров. Покажем, что уравнение (8) имеет локальное решение. Для произвольного т Е (0, Т) определим отображения:
П
= ПС([о,т]Д) : C([0,т],R) - C([0,T],
(Птxt)(t) = xT(t)' если tе (0,т1; VxT е C([0,т], R); v Tyw 1 xT(т), если t е (т, T], T u J' n
PT = PT
С([o,T],R) : C([0,T],R) - C([0,т],R), (PTx)(t) = x(t), t е [0,т], x е C([0,T],
Определим постоянную функцию а(£) = а, £ € [0,Т]. Если а — Фа = 0, то уравнение (8) разрешимо, функция а — его глобальное решение. Пусть а — Фа = 0, вычислим
\\а — фа||с ([о;Т]д)
Го = -
1 - Coq
и найдем значение т = т(0,a,r0), удовлетворяющее определению 1.
Действующий в пространстве C([0,т], R) оператор Фт = PтФПТ отображает в себя шар B0 = BC([0;Т]д)(РТa, r0) С C([0,т], R) с центром в РтФа и радиуса r0. Действительно, для любого хт G B0 выполнены неравенства
||фТХт - ртаУС([о,т],R) < 11фтХт - ртфа\\сао,т]д) + \\ртфа - рта\\сао,т]д) = t t
= max У C(t,s)(F;n'rхт)(s) ds - J C(t,s)(Fa)(s)ds + \\PтФа - Рта\\с([МД) <
00 т
< пж J\C(t, s)I | Хт)(8) - (Ёа)(8) | ds + \\а - фа\\с([0,т]д) < 0
< т\\хт - рта\\с([0,т],R) + \\а - Фа\\с([о,т],R) < Coqro + (1 - c0q)ro = r0.
Кроме того, на шаре B0 оператор Фт является сжимающим с коэффициентом Coq < 1. Согласно теореме Банаха в шаре B0 существует единственный элемент хт, удовлетворяющий уравнению хт = Фтхт, и таким образом, уравнение (8) локально разрешимо.
Покажем, что уравнение (8) не может иметь два различных решения, определенных на одном и том же отрезке. Предположим противное, пусть такими решениями являются uz,щ G G C([0,C], R). Положим
a = inf{t G [0, ç] : uc(t) = Uc(t)}
',u ] ). определим функцию x0
x°a(t) = uz(t) Vt G [0, a] и положим
(следовательно, uz(t)=Uz(t) на [0,a] ). Определим функцию xa G C([0,a], R) соотношением
■Si
\n<7x° - фпСТх° ||c(r0)T],R) . . , о \
—^ + 1, t = т(а,х„,га).
и 1
1 - coq
Вследствие непрерывности функций uzможем так определить f Е (0,т], f < ( — а, чтобы
выполнялись неравенства max \uz(t) — uz(а)\<т-, max \Uz(t) — Uz(a)\<r-. Положим
te[a,a+f\ te[a,a+f\
S = а + f и определим множество
Б- = {х? е C([0,s], R) : х?(t)= х- (t) Vt Е [0,а], ||х? — Р?П-х- ||С(№) < r—}.
Заметим, что сужения на [0,s] решений uz,Uz являются элементами множества Б-.
Оператор Ф? = Р"ФП? отображает в себя замкнутое множество Б- С C([0,s], R). Действительно, при любом хя Е Б-, во-первых, выполнено (ФП?х?)(^=х-(t) на [0,а]; и во-вторых, справедливы неравенства
|фх? — Р"П-х°|С([о>?],r) < |Фх? — Р"ФП-х- ||с([о;?]Д) + IP"ФП-х- — Р"П-х-||C([o>?]>R) =
max
te[a,ç ]
C(M)(FnçXÇ)(s) ds - C(t,s)(Fnx"a)(s)ds + \\PÇФПx^ - PçПx^\\c([o>ç],r) <
t
t
?
< ^та^^У \С (М)\\(№? )(в) - (Ш°х0а + ||ФПа - П<Х Нсао/вд <
а
< воЯЦх, - РЯ Па Х°а 1с ([0>С],М) + ||ФПа Х°а - Па Х°а Цс ([0,Т],М) < С0ЦГа + (1 - Сод)(Га - 1) < Га.
Таким образом, согласно теореме Банаха во множестве Ва существует единственное определенное на [0,^] решение хя, уравнения (8). Это противоречит существованию в Ва двух различных локальных решений — сужений на [0,^] решений и£.
Покажем, что любое локальное решение продолжаемо до глобального или предельно продолженного решения. Локальному решению х£, так как оно единственное на [0,£], взаимно однозначно соответствует его область определения и, соответственно, число £. Для множества 2 таких чисел найдем точную верхнюю границу ц = 8ир5 и определим на [0,ц) функцию хц, хц(£)=Х£(£), где значение £ — любое, удовлетворяющее неравенству £>£ (это определение корректно в силу единственности на каждом отрезке локального решения). При увеличении £ значение ||х£11с([о£]М) не убывает. Положим Я = Нш^п_0 ||х£11с([о£]М). Если Я = +сю, то функция хп, £ € [0,ц), является предельно продолженным решением.
Пусть Я<+ж. Сначала покажем, что в этом случае функцию хц, £ € [0,ц) можно доопределить в точке ц до непрерывной на отрезке [0,ц] функции (т. е. существует Ншг^ц хц(£)), которую мы будем обозначать Хц .
Для любого £€2 продолжение П£ х^€С ([0,Т], М) на [0,Т] функции Х£€С([0,£],М) удовлетворяет оценке ||П£Х£||с([0,т],м)<Я. Вследствие ограниченности отображения Ё: С([0,Т], М)^ ^ Ь([0,Т], М) существует такое Я', что ||-РП£х£||ь([0,т],м)<Я'. Определим некоторую последовательность {£»}, сходящуюся к ц. Вследствие вольтерровости отображения Ё при п. в.
£ € [0,ц] последовательность {(Рцх^)(£)} сходится к измеримой функции /ц, равной
~ ц ~
/п(£) = (ЁП£х^)(£), где £ >£ может быть выбрано любым. Так как /\(_РП£гх^)(£)\dt < Я', то
" о "
ц
в силу теоремы Фату (см. [11; с. 133]) имеем /\/ц(£)| dt < Я', таким образом, /ц € Ь([0,ц], М).
о
г
Функция £€[0, ц]^аХ(£)+/С(£, s)fц(s)ds непрерывна на отрезке [0, ц], а на полуинтервале [0, ц)
о
г г
выполнено равенство хц(£) = аХ(£) + /С(£, s)fц(s) ds. Итак, хц(£) = аХ(£) + /С(£, s)fц(s) ds,
оо
£ € [0, ц].
Теперь покажем, что найденное локальное решение хц может быть продолжено, и тогда будет получено противоречие с найденной выше верхней гранью ц областей существования всех локальных решений.
Если Пцхц - ФПцХц = 0, то ПцХц является глобальным решением, продолжающим локальное решение хц. Пусть ПцХц - ФПцХц = 0. Положим
. ||пцхц - фпцхц^с([0,Т],М) . / ~ ч Гц =---—-, Т = т{т],Хц,Гц).
1 - сод
Положим £ = ц + т и определим множество
Вц = {х?~ € С([0,|], М) : Х£г(£) = Хц(£) У£ € [0,ц], ||х?~ - Р£ПцХц||с([о,£]д) < Гц}.
Оператор Ф£ = Р£ФП£ отображает в себя замкнутое множество Вц С С ([0,£], М). Действительно, при любом х£- € Вц выполнено
(ФПХ)(£)= Хц(£) У£ € [0, ц];
||фЦ - Хп||с([0;-]д) < ||фЦ - Хп||с([0;-]д) + \\Р*фП- У^д
: тах геШ
С(Ь,в)(^П^Х^)(в) Св - С(Ь,в)(^ППХп)(в)Св + ||Р?~ФППХп - Р^ППХп||с([0>?-]
<
г
< тах I \С(£, в)| к^ПжЖв) - (^П%)(в)| сСв + ||ФП% -П%||С([0Т]М) < п
\х
< С0дЦ- - Р?пХп^([0>^]>К) + ||фППХп - пХпУ^т],«) < С0Г + (1 - с0Фп = гп■
Согласно теореме Банаха во множестве Вп существует единственное определенное на [0,Х решение уравнения (8).
Таким образом, в ситуации Я < получено противоречие. □
В теореме 1 свойство ограниченности оператора Р используется для доказательства продолжаемости локальных решений, позволяя установить, что если определенная на полуинтервале [0, п) функция Хп ограничена и ее сужение на любой отрезок является локальным решением, то ее можно доопределить в точке п до непрерывной на отрезке [0, п] функции. Это утверждение не потребуется, если предположить, что оператор Р равномерно вольтер-рово д -липшицев.
Теорема 2. Пусть для некоторого с0 > 0 выполнено \С (£,в)\<с0, £ € [0,Т], в € [0,£]; а вольтерров оператор Р : АС([0,Т], М) ^ Ь([0,Т], М) допускает продолжение до вольтерро-ва оператора Р : С([0,Т], М) ^ Ь([0,Т], М). Тогда, если оператор Р равномерно вольтеррово д -липшицев и д< 1/с0, то задача Коши (2), (3) имеет единственное глобальное решение, а всякое локальное решение является его частью.
Доказательство. Используя приведенные в доказательстве теоремы 1 рассуждения и построения, можно показать, что уравнение (8) имеет определенное на [0, г] решение. Далее, аналогично определяется продолжение локального решения. Так как теперь оператор Р равномерно вольтеррово д -липшицев, то продолжение решения будет определено на [0, 2г]■ Полученное решение можно снова продолжить, причем, в силу равномерной вольтр-ровой липшицевости на [0, 3г]■ Продолжая аналогичные построения за конечное число шагов будет получено единственное глобальное решение уравнения (8).
Для применения теорем 1,2 к конкретным уравнениям необходимы оценки функции Коши (т. е. требуется знать значение С0) соответствующих линейных уравнений. С этой целью могут быть использованы, например, результаты работ [12], [13].
СПИСОК ЛИТЕРАТУРЫ
1. Азбелев Н.В., Максимов В.П., Рахматуллина Л.Ф. Введение в теорию функционально-дифференциальных уравнений. М.: Наука, 1991. 280 с.
2. Азбелев Н.В., Максимов В.П., Рахматуллина Л.Ф. Элементы современной теории функционально-дифференциальных уравнений. Методы и приложения. М.: Институт компьютерных исследований, 2002. 384 с.
3. Жуковский Е.С. Непрерывная зависимость от параметров решений уравнений Вольтерра // Математический сборник. 2006. Т. 197. № 10. С. 33-56.
4. Бурлаков Е. О., Жуковский Е. С. Непрерывная зависимость от параметров решений уравнений Вольтерра с локально сжимающими операторами // Известия вузов. Математика. 2010. № 8. С. 16-29.
5. Канторович Л.В., Акилов Г.П. Функциональный анализ. М.: Наука, 1984. 752 с.
6. Канторович Л.В., Вулих Б.З., Пинскер А.Г. Функциональный анализ в полуупорядоченных пространствах. М.-Л.: Гос. изд-во техн.-теор. литературы, 1950. 548 с.
7. Жуковский Е.С. К теории уравнений Вольтерра // Дифференциальные уравнения. 1989. Т. 25. № 9. С. 1599-1605.
г
г
8. Максимов В.П. О формуле Коши для функционально-дифференциального уравнения // Дифференциальные уравнения. 1977. Т. 13. № 4. С. 601-606.
9. Жуковский Е.С. Вольтерровость и спектральные свойства оператора внутренней суперпозиции // Дифференциальные уравнения. 1994. Т. 30. № 2. С. 250-255.
10. Жуковский Е.С. Нелинейное уравнение Вольтерра в банаховом функциональном пространстве // Известия вузов. Математика. 2005. № 10. С. 17-28.
11. Натансон И.П. Теория функций вещественной переменной. М.: Наука, 1974. 480 с.
12. Тахир Х.М.Т. О решении линейных функционально-дифференциальных уравнений // Вестник Тамбовского университета. Серия Естественные и технические науки. Тамбов, 2016. Т. 21. Вып. 2. С. 417-431.
13. Жуковский Е.С., Тахир Х.М.Т. О неотрицательности функции Коши дифференциального уравнения с постоянным запаздыванием // Современные методы прикладной математики, теории управления и компьютерных технологий (ПМТУКТ-2016): сб. тр. 9 Междунар. конф. 2016. С. 154-158.
БЛАГОДАРНОСТИ: Работа выполнена при финансовой поддержке Российского фонда фундаментальных исследований (проекты № 17-01-00553, № 17-41-680975), Минобрнауки России (Соглашение № 02.a03.21.0008) и гранта Президента Российской Федерации для государственной поддержки ведущих научных школ, № НШ-8215.2016.1.
Поступила в редакцию 17 апреля 2017 г
Жуковская Татьяна Владимировна, Тамбовский государственный технический университет, г. Тамбов, Российская Федерация, кандидат физико-математических наук, доцент кафедры высшей математики, e-mail: t_zhukovskaia@mail.ru
Жуковский Евгений Семенович, Тамбовский государственный университет им. Г.Р. Державина, г. Тамбов, Российская Федерация, доктор физико-математических наук, профессор, директор научно-исследовательского института математики, физики и информатики; Российский университет дружбы народов, г. Москва, Российская Федерация, доктор физико-математических наук, профессор, профессор кафедры нелинейного анализа и оптимизации, е-mail: zukovskys@mail.ru
Тахир Халид Мизхир Тахир, Тамбовский государственный университет имени Г.Р. Державина, г. Тамбов, Российская Федерация, аспирант, кафедра функционального анализа, e-mail: khalidtahir89@yahoo.com
UDC 517.988.6, 517.922
DOI: 10.20310/1810-0198-2017-22-3-523-532
ABOUT THE SOLVABILITY OF THE CAUCHY PROBLEM FOR NONLINEAR FUNCTIONAL DIFFERENTIAL EQUATIONS
© T. V. Zhukovskaya1) , E. S. Zhukovskiy 2)3) , Kh. M. T. Tahir2)
Tambov State Technical University 106 Sovetskaya St, Tambov, Russian Federation, 392000
E-mail: t_ zhukovskaia@mail.ru 2) Tambov State University named after G.R. Derzhavin, 33 Internatsionalnaya st., Tambov, Russian Federation, 392000 E-mail: zukovskys@mail.ru, khalidtahir89@yahoo.com 3) RUDN University 6 Miklukho-Maklay St., Moscow, Russian Federation, 117198 E-mail: zukovskys@mail.ru
The Cauchy problem for a nonlinear functional-differential equation of general type with Volterra mappings is considered. Conditions of existence of a unique global solution and conditions of existence of a unique limitary prolonged solution are derived. The reduction to an operator equation with the Volterra operator in the space of continuous functions is used.
Key words: the Volterra operator; nonlinear functional-differential equation; the Cauchy problem; existence of solution
REFERENCES
1. Azbelev N. V., Maksimov V.P., Rahmatullina L.F. Vvedenie v teoriyu funktsional'no-differentsial'nyh uravnenij. M.: Nauka, 1991. 280 s.
2. Azbelev N. V., Maksimov V.P., Rahmatullina L.F. Elementy sovremennoj teorii funktsional'no-differentsial'nyh uravnenij. Metody i prilozheniya. M.: Institut komp'yuternyh issledovanij, 2002. 384 s.
3. Zhukovskiy E.S. Nepreryvnaya zavisimost' ot parametrov reshenij uravnenij Vol'terra // Matematicheskij sbornik. 2006. T. 197. № 10. S. 33-56.
4. Burlakov E.O., Zhukovskiy E.S. Nepreryvnaya zavisimost' ot parametrov reshenij uravnenij Vol'terra s lokal'no szhimayushchimi operatorami // Izvestiya vuzov. Matematika. 2010. № 8. S. 16-29.
5. Kantorovich L.V., Akilov G.P. Funktsional'nyj analiz. M.: Nauka, 1984. 752 s.
6. Kantorovich L.V., Vulih B.Z., Pinsker A.G. Funktsional'nyj analiz v poluuporyadochennyh prostranstvah. M.-L.: Gos. izd-vo tekhn.-teor. literatury, 1950. 548 s.
7. Zhukovskiy E.S. K teorii uravnenij Vol'terra // Differentsial'nye uravneniya. 1989. T. 25. № 9. S. 1599-1605.
8. Maksimov V.P. O formule Koshi dlya funktsional'no-differentsial'nogo uravneniya // Differentsial'nye uravneniya. 1977. T. 13. № 4. S. 601-606.
9. Zhukovskiy E.S. Vol'terrovost' i spektral'nye svojstva operatora vnutrennej superpozitsii // Differentsial'nye uravneniya. 1994. T. 30. № 2. S. 250-255.
10. Zhukovskiy E.S. Nelinejnoe uravnenie Vol'terra v banahovom funktsional'nom prostranstve // Izvestiya vuzov. Matematika. 2005. № 10. S. 17-28.
11. Natanson I.P. Teoriya funktsij veshchestvennoj peremennoj. M.: Nauka, 1974. 480 s.
12. Tahir H.M.T. O reshenii linejnyh funktsional'no-differentsial'nyh uravnenij // Vestnik Tambovskogo universiteta. Seriya Estestvennye i tekhnicheskie nauki - Tambov University Reports. Series: Natural and Technical Sciences, 2016. V. 21. Iss. 2. P. 417-431.
13. Zhukovskiy E.S., Tahir H.M.T. O neotritsatel'nosti funktsii Koshi differentsial'nogo uravneniya s postoyannym zapazdyvaniem // Sovremennye metody prikladnoj matematiki, teorii upravleniya i komp'yuternyh tekhnologij (PMTUKT-2016): sb. tr. 9 Mezhdunar. konf. 2016. S. 154-158.
ACKNOWLEDGEMENTS: The present research is supported by the Russian Fund for Basic Research (projects № 17-01-00553, № 17-41-680975), by the Ministry of Education and Science of the Russian Federation (the Agreement number 02.a03.21.0008) and by the grant of the Russian Federation President for the state support of leading scientific schools, No. NSh-8215.2016.1.
Received 17 April 2017
Zhukovskaya Tatyana Vladimirovna, Tambov State Technical University, Tambov, the Russian Federation, Candidate of Physics and Mathematics, Associated Professor of High Mathematics Department, e-mail: t_zhukovskaia@mail.ru
Zhukovskiy Evgeny Semenovich, Tambov State University named after G.R. Derzhavin, Tambov, the Russian Federation, Doctor of Physics and Mathematics, Professor, Director of the Research Institute of Mathematics, Physics and Informatics; RUDN University, Moscow, the Russian Federation, Doctor of Physics and Mathematics, Professor of the Department of Nonlinear Analysis and Optimization, е-mail: zukovskys@ mail.ru
Tahir Khalid Mizhir Tahir, Tambov State University named after G.R. Derzhavin, Tambov, the Russian Federation, Post-graduate student, Functional Analysis Department, e-mail: khalidtahir89@yahoo.com
Информация для цитирования:
Жуковская Т.В., Жуковский Е.С., Тахир Х.М.Т. О разрешимости задачи Коши для нелинейного функционально-дифференциального уравнения // Вестник Тамбовского университета. Серия Естественные и технические науки. Тамбов, 2017. Т. 22. Вып. 3. С. 523-532. DOI: 10.20310/1810-0198-2017-22-3-523-532
Zhukovskaya T.V., Zhukovskiy E.S., Tahir Kh.M.T. O razreshimosti zadachi Koshi dlya nelinejnogo funktsional'no-differentsial'nogo uravneniya [About the solvability of the Cauchy problem for nonlinear functional differential equations]. Vestnik Tambovskogo universiteta. Seriya Estestvennye i tekhnicheskie nauki - Tambov University Reports. Series: Natural and Technical Sciences, 2017, vol. 22, no. 3, pp. 523-532. DOI: 10.20310/1810-0198-2017-22-3-523-532 (In Russian)