Дифференциально-разностные уравнения второго порядка с опережением в весовых пространствах Соболева

УДК 517.972

А. Акбари Фаллахи

Российский университет дружбы народов

Дифференциально-разностные уравнения второго порядка с опережением в весовых пространствах

Соболева

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

Ключевые слова: дифференциально-разностные уравнения, задача с начальными условиями, пространства Соболева.

A. Akbari Fallahi

Peoples' Friendship University of Russia

Differential difference second order equations with advancing in the weighted Sobolev space

In the paper, the correct solvability of the problem with initial conditions for the differential difference second order equations with advancing in the weighted Sobolev space in the absence of restrictions on the smallness of the coefficients of terms with argument deviations is studied. It is proved that for an arbitraryly large value of the coefficient with advancing term there are sufficiently small values of the shift of argument and the values of the indicator in the Sobolev space such that the considered problem is well-posed in the correcponding Sobolev space. We study the new statement of the problem with initial conditions for the equation with an advancing such that the values of m of the first derivatives of unknown function for some natural m is given at the initial time. It is shown that for sufficiently large values of the indicator in the Sobolev space this problem has at least one solution.

Key words: Differential difference equations with initial value problem, Sobolev spaces.

1. Введение

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

£«

где С - разностный оператор, сопоставляющий функции и : Я+ = [0, ^ С функцию Си : Я+ ^ С, определяемую равенством

Си

Здесь коэффициенты а,Ь € Я - вещественные числа, к > 0, / - заданная числовая функция на области (0, +го), а и - неизвестная числовая функция, областью определения которой является полуось (0, +го).

Областью определения оператора С, действующего в гильбертовом пространстве ¿2,7(0, +гс>), является гильбертово пространство

Б(С) = ^ (0,

( [2], [3] и ниже), на котором оператор С определен согласно формуле (2). Ставится задача определить функцию и : (0, ^ Я, которая в области (0, удовлетворяет уравнению (1) , а при £ ^ +0 удовлетворяет начальному условию следующего вида:

и

где (<р, ф) € Я2 - начальное значение функции и ее первой производной.

Для каждого числа 7 > 0 через Я2а(Я+) обозначим пространство классов эквивалентности измеримых отображений и : Я+ ^ С, для которых выполняется условие е-7*и € Ь2(Я+), наделенное нормой

1Мк2,7 (я+) = \\е--11и\\Ь2{щ.

Через ^"2,7(а, Ь) при каждом I € N обозначим пространство числовых функций на интервале (а, Ь) со значениями в комплексной плоскости С таких, что

V?1 (¿) € Ьъ,7(а, Ь), 2 =0,1, I = 1,2,...,

с нормой

\\ « («Л = (\ и(1) \\!*„(а,*) +(» и \\!*„(«,Ь))1/2,^ > 0.

Определение. Функцию и € ^2,7(0, +гс>) назовем решением задачи (1), (2), (3) в весовом пространстве Соболева, если она удовлетворяет дифференциальному уравнению (1) в пространстве Ь2,7(0, +го) и начальному условию (3).

В статье будет исследован вопрос о корректности задач (1), (2), (3) в весовых пространствах Соболева из шкалы ^2,7), 7 € Я. То есть решается следующий вопрос -при заданных коэффициентах а, Ь, к существуют ли такие значения параметра 7 € Я, что при любых начальных данных (3) и при любых / € Ь2,7(0, +го) задача (1), (2), (3) имеет единственное решение из пространства ^2,7(0, +гс>), и при этом ^2,7-норма решения допускает оценку через / € -норму функции / и норму начальных данных в евклидовом пространстве Я2:

\M\wf < с[\\/\\^7 + М + М].

В работах [8], [7] было установлено, что при достаточно малых коэффициентах при слагаемом с отклонениями аргумента существует такой интервал (а,0) € (0, +го), что для любого 7 € (а,Р) и любого f € Ь2,1 (Я+) существует единственное решение задачи (1) - (3) из пространства ^2,7(^+). В тех же работах установлено, что если коэффициенты при слагаемом с отклонениями аргумента малы в определенном смысле (см. [8] или теорему 1 ниже), то при достаточно больших 7 > @ задача (1) - (3) имеет в пространстве ^2,7(^+) более одного решения, а при достаточно малых 7 < а существуют такие начальные данные задачи (1) - (3), при которых она не имеет решения.

Остается неисследованным вопрос о корректной разрешимости задачи (1) - (3) при нарушении условия малости коэффициентов при слагаемом с опережением. В настоящей работе установлено, что если Ь > а, то при достаточно малых значениях к > 0 задача (1) - (3) имеет единственное решение. При этом условия теоремы 1 являются нарушенными. Таким образом, в работе найдена новая область в пространстве Я3 коэффициентов (а, Ь, к), в которой имеет место корректность задачи (1) - (3).

Будет установлено, что в зависимости от коэффициентов уравнения, точнее, в зависимости от расположения корней характеристического квазимногочлена дифференциально-разностного оператора (2), реализуются различные возможности корректной постановки задачи (1), (2), (3), а также возможность однозначной разрешимости задачи с одним начальным условием (13) для однородного уравнения (1) (см. Следствие 3 ниже).

Ключевую роль в выборе корректной постановки задачи для дифференциально-разностного уравнения (1), (2) играет множество корней характеристического квазимногочлена оператора (2):

Л2 = -а2 + Ьехн.

Множество 2 комплексных корней уравнения (4) является счетным множеством в комплексной плоскости С (см. [1], [10]), которое симметрично относительно вещественной оси при условии а,Ъ,Н е К. Спецификой опережающего типа дифференциально-разностного оператора (2) является то, что в любой полуплоскости И,е(А) < 7 плоскости С находится не более чем конечное множество точек 2. Поэтому существует конечное подмножество точек множества 2, на которых достигается величина 7* = т1(Ке2).

Свойства множества характеристического квазимногочлена

Характеристическое уравнение (4) эквивалентно следующей системе из двух уравнений для пары вещественных переменных (х,у) е К2:

2ху = ЬехН вт

ж2 - у2 = -а2 + Ъех1г еоё

Значит, из системы (5) - (6) (из уравнения (4)) следует, что

кроме того, для всех корней уравнения (4) с ненулевой мнимой частью выполняется равенство

2*ХЦ-2 = Ъ%

х2 + а2 - у2

Из уравнения (7) выходит, что

а2 + ж2 + у2 = л/4а2у2 + Ь2е2кх,

из которого следует, что при достаточно больших значениях переменной |y| (при у2 > |6| + а2) вещественные части комплексных корней уравнения (4) положительны.

Лемма 1. Если у2 > 2|а||у| + |6| (то есть |y| > |а| + л/16| + а2), то множество точек, удовлетворяющих уравнению (9), лежит в полуплоскости х > 0. Действительно, если у2 > 2|а|^ + |6|, то

а2 + ж2 + у2 > а2 + Щ + 2|а||у| > л/4а2у2 + Ь2,

поэтому уравнение (9) не может быть выполненно при х < 0.

Из леммы 1 следует, что для заданной неявно уравнением (9) функции х(у), у е О(ж), выполняется асимптотическое равенство

^¿К

при ^ ^ +ГО.

Множеством вещественных корней уравнения (4) является совокупность корней уравнения

ж2 + а2 = ЪехН.

Уравнение (10) не имеет вещественных корней при условии Ь < 0; в этом случае минимум действительной части множества 2 достигается на конечном множестве комлексно-сопряженных корней, в случае общего положения - на двух комплексно-сопряженных корнях.

Если же Ь > 0, то:

1) при условии 0 < Ь < а2 уравнение (10) может иметь от одного до трех вещественных корней, каждый из которых положителен;

2) при условии а2 < Ь уравнение (10) имеет один отрицительный корень х1 и от нуля до двух положительных корней. Исследуем асимптотическое поведение корней уравнения (10) при условиях Ь > а2 и к ^ +0.

Лемма 2. Если Ъ > а2, то существует такое к0 > 0, что при всех к € (0, ко) уравнение (4) имеет три вещественных корня х1,х2,х3, для которых справедливы неравенства х1 < 0 < х2 < х3, причем х1 = — \/Ь — а2 + о(1) при к ^ 0, х2 = VЬ — а2 + о(1) при к ^ 0, и х3 ^ при к ^ +0.

Первая часть утверждения леммы 2 следует из того, что вершина параболы и = х2 + а2 лежит ниже графика экспоненты и = ЬеЦх, а при достаточно малых к > 0 парабола дважды пересекает график экспоненты в полуплоскости х > 0. Асимптотическое поведение при к ^ +0 точек пересечения графиков параболы и экспоненты следует из свойств элементарных функций.

Лемма 3. Если Ъ > 2 а2, то существует такое к0 > 0, что при всех к € (0,к0) все комплексные корни характеристического многочлена (4) имеют вещественную часть, большую, чем максимальный вещественный корень х3 уравнения (4).

Все корни уравнения (4) лежат на кривой Г = {х = х(у2), у € Щ, заданной неявно уравнением (9), которая состоит из двух связных компонент:

Г1 = {(х, у) € К2 : у2 = а2 — х2 ± \/Ь2е2Нх — 4х2а2, х € [хьх2]|

и _

Г2 = {(х, у) € В? : у2 = а2 — х2 ± л/Ь2е2Нх — 4х2а2, х > х3}.

Все вещественные корни лежат на пересечении кривой Г с вещественной осью: х1,х2 € Г1, х3 € Г2.

Кроме того, все корни уравнения (4) с ненулевой вещественной частью лежат на кривой 7, задаваемой уравнением (8) и состоящей из счетного множества связных компонент, задаваемых уравнениями:

/ V2 Г -тт 1

х = усЧ(ку) — а2, У€А{€ Ъ) .

Через ^о обозначим множество точек плоскости, определяемое уравнениями

"2 — ^ *

а через 7т, т € N - кривые, определяемые уравнениями

х=^) ± - ,»€

у2 „ / -(т + 1) -т\ | | {-т -(т +

— а2,у€'——,— -т)и{-}т,—

Все точки пересечения кривой 7 с кривой Г2 лежат, как и сама кривая Г2, в полуплоскости х > х3.

Лемма 3 будет доказана, если показать, что кривая 7 не имеет пересечения с кривой Г1. Заметим, что при достаточно малых значениях к > 0 кривая Г1 лежит в полосе |у| < 2Ц, и, следовательно, все кривые 7т, т € N не пересекаются с кривой Г1.

Покажем, что точки пересечения кривой ^о с кривой Г1 не являются решениями системы уравнений (5), (6).

Ветви 7+0 кривой 70, определяемые уравнением

2 эт [Пу) ( к \ | | / к \

,,у £ (_ ^ о)и(о

-

втфу)1 к у У2 V 2Н' /^Ч '2Н/'

^ 21,2

лежат в полуплоскости у > Ц—, которая при достаточно малых Н> 0 не пересекается с кривой Г1 (лежит правее кривой Г1).

Ветви 7-о кривой 70, определяемые уравнением

* = -1,»£ (-о)и(о,^),

Заметим, что в силу уравнения (6) для любых у £ (—2Ц, 0) и(0, 2ц) выполняется равен-

п г. Ът ът(Ъу) - г. „ у,

ство 2ж = ое —^^ > 0, поэтому точки пересечения кривой с кривой 11, лежащие в полуплоскости х < 0, не могут быть решениями системы (5), (6).

А для точек прямоугольника {(х,у) : 0 < х < а2Н, |y| < |а|} из условия Ь > а2 следует, что при достаточно малых значениях Н > 0 выполняется неравенство а2 + х2 + у2 < л/4а2у2 + Ь2е2Ъх, то есть не выполнено равенство (9). Поэтому точки пересечения кривой 7-о с кривой Г1, лежащие в полуплоскости х > 0, не могут быть решениями системы (5), (6).

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

Корни характеристического многочлена и разрешимость в пространстве Соболева с экспоненциальным весом

Заметим, что если при некотором 7 £ К множество {£ £ 2 : £ < 7} = {£—1,...,£т} состоит из т

л =

Сп е

^=1

Замечание. Матрица Вронского системы функций £ 0, т — 1, невырождена,

поскольку все числа ^, ] £ 0,т — 1, различны.

Следствие 1. Пусть при некотором 7 £ К выполняется условие т(^) £ N. Тогда для любого набора чисел (и,0,и,1, ...,и,т(1)-1) £ Ст(т) дифференциально-разностное уравнение (1) имеет хотя бы одно решение и £ (^+), удовлетворяющее начальному условию

,

и

Таким образом, следствие 1 устанавливает достаточные условия существования в пространстве 7(Я+) решения задачи с начальными условиями (1), (2), (11). Единственность решения задачи с начальными условиями (1), (2), (11) требует дополнительного исследования. Планируется применить для этой цели принцип сжимающих отображений. Следствие 1 показывает, как размерность пространства начальных данных задачи с начальными условиями для дифференциально-разностного уравнения (1) - (2) зависит от весового параметра 7 пространства Соболева и от расположения корней характеристического многочлена.

Условия корректной разрешимости задачи (1), (2), (3), основанные на малости коэффициентов

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

Положим

= , jeR.

7V а2 + j2

В работах [8] было установлено следующее утверждение.

Теорема 1. Пусть w(j) < 1 на некотором промежутке (а, 0) С R и пусть f e L2fi0(0, +œ>) при некоторых j0 e (а,0). Тогда при любом j e [jo,0) задача Коши (1), (2), (3) имеет единственное решение и в пространстве W2^(0, +œ>), причем справедлива оценка

1|и|| wf,7 (0,+ж) < С M + \ф\ + ||/yL2i7 (0,+те)1

с константой, не зависящей от <p,^,f.

Характеристическое уравнение (4) имеет счетное множество S комплексных корней S = (Afc, k e N}, причем при каждом k e N функция exp(Afci), t > 0, является решением уравнения (1).

Если Afc = Xk + iyk и j e R, то включение exp(A^i) e (0, +œ>) выполняется тогда и только тогда, когда Xk < j. Основываясь на этом факте, мы исследуем взаимное расположение множества S и промежутка (а,0) корректности задачи (1), (2) в шкале весовых показателей - такого промежутка (а,0), что Vj e (а,0) ш(-у) < 1. Определим числа

а = sup{ReA : A e S, ReA < а},

b = inf{ReA : A e S, ReA > 0}.

Как установлено в работе [8], справедливо следующее утверждение.

Теорема 2. Пусть w(j) < 1 на интервале (а, 0) С R. Тогда в полосе комплексной плоскости а < ReA < 0 нет точек множества S.

При этом если j > b, то однородная задача (1) - (3) имеет нетривиальное решение и e W^(h, +œ). Если j < а, то не при всех начальных данных ((р,ф) e R2 однородное уравнение щ = Mu(t),t > 0, имеет решение из пространства W2,1 (h, +œ).

Следствие 2. Если выполняется условие 0 < —Ь < а2 и условие 3 j > 0 : w(j) < 1, то величина j* = inf ReS достигается на некоторой паре комплексно-сопряженных корней A±i = X\ ± iy\, где X\ = j* и y1 > 0. Если при этом j* = inf Re{ : £ e S, £ > j*, то (а,0) С (j*, j*). Тогда если j e (а,0), то для любых (^р,ф) e R2 задача (1), (2), (3) с однородным уравнением (1) имеет единственное решение

u(t) = [A cos(уit) + В sin(yii)jeXlt, t > 0, где A = y и В = ^ (ф — xi<p).

Условия корректной разрешимости задачи (1), (2), (3) с большими коэффициентами при слагаемых с отклонением аргумента

Исследуем корректность задачи (1), (2), (3) при нарушении условия (12) на коэффициенты уравнения. Предположим, что выполняется условие

> а2 > 0,

и при этом величина h > 0 мала настолько

его вещественная часть Ке(А^) является бесконечно большой величиной при Н ^ 0 (см.

лемму 3).

Лемма 4. Если х £ Я и 7 > х, то для любой функции г £ Ь2г1 (Я+) функция

0

принадлежит пространству (&+), причем линейный оператор

А : Ь2.

а (&+) ^ (R+), действующий по правилу А = w, ограничен и выполнены неравенства

1 7

1Ик7(К+) < ^^\\А\Ь2Л(в+); 1ИЦ7(Я+) < ^^\Ик7 (К+).

Доказательство леммы 4 можно найти в работе [7].

Для каждого г £ Я2а(Я+) и с\,с2 £ С определим функцию

и

У Х\ — Х2

0

То есть и(£) = и\(¿) + и2(£), £ > 0, где

ь

щ

У Ж1 — Ж2

0

и2&) = С2 еЖ2* — [-1-еЖ2(4-) хШд

У Ж1 — Ж2

0

Лемма 5. Если х\,х2 £ К, Х\ < х2 и 7 > ж2, то для любой функции г £ Я2а(Я+) функция

г

ф) =-1- /( еХ2(1-з) — е*1 (г-3)г(в£ > 0,

Ж2 — хг У 0

принадлежит пространству ^2,-у (&+), причем линейный оператор Л : Ь2. ,1( ^ (-^+), действующий по правилу Л = v, ограничен и выполнены неравенства

^ < (7 — Ж1)(7 — ^) М\1*л (П+);

Ыш2^(к+) < СЬ,Х1,х2)\\г\\ь2п(Я+).

Заметим, что

1

\Мк2,7 0+) = \\ е-^\и2 (в+) = \\ —- (е(х2 — е^-^4-')*^^

Х2 X1 J 0

Определим функцию д(Ъ) = е(х2— е(х1-1), I > 0. Продолжим функции х, V и д нулем на отрицательную полуось до функций 2, V и С соответственно и применим к продолженным функциям преобразование Фурье. Поскольку Х1 — 7 < 0 и х2 — 7 < 0, то функция V7 (*) = е-^^(*), 4 £ Д, т.е.

V1 (*) =-1- [(е(Ж2-7)(4-) — е^1-7^-),^)^, г > 0; ^(*) = 0, 4 < 0,

0

и

I

представляет собой свертку функции Z € Ь2(Я) с функцией С € Ь2(Я), определяемой равенством С{Ъ) = е(х2 — е(х1-у), £ > 0; С(Ь) = 0, t < 0. Поэтому для преобразования Фурье функции У- € Ь2(Я) получим

г( Уу)(0 = —1— (-1—Г7--1—¿(0 =

1 х2 —х1\ч — х2 + г( 7 — х1 + г(;

= ^-^-т7(0, £€К

Следовательно,

11

цеп

Аналогично можно показать, что

< ^—х+7)№—х+7) - = (7—«,>(7—Ын-

(2 р2 в -2Уу (Я) < м*. |ир|м~1^1 <

< (7 — хОЬ — ^ |М1»"

Поскольку г>(0) = 0 и г>'(0) = 0, то

( 2 ( 2 (

II -2 V ||ь2 л (Я+) < \\-^ уу ||ь2(Я) + 27II \\ь2(Я) +72||у7\\ь2,7 (Я) и существует С > 0 такое, что

(2 С

||Ж2"-(Я+) < (7 — х1)(7 — х2) Ыь*«(Я+).

Из этих оценок следуют утверждения леммы.

Следствие 3. При произвольном г € Я2у1 и С1, С2 € С функция (13) принадлежит пространству Ш2у, причем существует такая константа С > 0, что

Тогда для произвольной функции и € (Я+), представленной в виде (13), имеют место равенства

и1 = х1с1 еХ1* + х2с2еХ21 + -1-

1 1 2 2 х1 — х 1 2

о

у" = х21и1

г+ц

и

х1 — х2

г

Лемма 6. Пусть х1,х2 € Я, х1 < х2. Тогда существует такое 7 > 0 и такое С > 0, что для любого 7 >7 и любого д € Ь2,у(Я+) уравнение

ъ ъ

х\ [ —еХ1(ь-з)г(д)с(д + х22 ! 1_ ех2(ь-з)г(д)с(д + г(1) = д($, г > 0, (18) х1 — х2 х1 — х2

о

о

относительно неизвестной функции г имеет единственное 'решение х € Ь2,1(В+), причем

I I *I I ь2п(я+) < С\\д 1к2,7(я+)-

Действительно, уравнение (18) представляет собой операторное уравнение

(I + А\ + А2)г = д, где в силу леммы 4 операторы А1, А2 € В(Ь2,1 (В+)) допускают оценку

X2

I I АI I В(Ь2„(я+)) < 3 = 1, 2.

I Хз

Тогда утверждение леммы 6 справедливо, если

2x1 2x2

1 + -—— < 1.

7 - XI 7 - Х2 Из леммы 6 и равества (16) вытекает

Следствие 4. Пусть Ь > а2 и пусть Х1,Х2 € В, Х1 < Х2 - два наименьших корня уравнения (10). Тогда существует такое 7 > 0 и такое С > 0, что для любого 7 >7 и любого и € (В+) существуют единственные функция г € Ь2а(В+) и константы С1, С2 € С такие, что функция и представима в виде (13), причем

Действительно, если и € (В+), то положим д = и", тогда д € Ь2а(В+) и

| | 9| | ш2Г)(я+) < 11 и11 ш2п(к+).

Тогда, применяя к функции лемму 6, получаем утверждение следствия 4.

Поскольку Х1,Х2 - корни уравнения (4), то с учетом равенств (15) - (17) и следствия 4 уравнение (1) эквивалентно уравнению

г+ь

= Ь-1- [

Х1 - Х2 У

а начальные условия (4) - системе уравнений

= С1 + С2, ф = Х1С1 +Х2С2,

которая имеет единственное решение. Поэтому задача (1), (2), (3) эквивалентна операторному уравнению

2 - Вг = /,

где

г+ь

1

: (е-

х1 - Х2

В г (* ) = Ь-1- [ (еХ1(1+ь-) - ех2(*+ь-д)) г(д)(1д, г > 0.

Х1 -Х2 у

Следовательно,

Вг(*) = Ь-1- [(ех1(ь-д) - ех2(ь-д))г(д + г)йд, г > 0.

Х1 Х2 У 0

ь

1

При этом, как и в доказательстве леммы 5,

7

Тл / р ^h р хф

VI с- , . — гу-г, \А С\ U ч С-

р хф \

Х2-Х1\ 1-Х2 + 1-Х1 + гС )

Заметим, что в выражении (21) от параметра 7 зависят только величины Х1,Х2- Поскольку (см. лемму 2) при К ^ 0 величины Х1,Х2 имеют конечные пределы — л/Ь — а2, VЬ — а2, то при фиксированном 7 > \/Ь — а2 справедлива оценка

eX2h

sup |----

при h ^ 0. Аналогично,

gXih

sup 11—xi+i

при h ^ 0.

Тогда при фиксированном 1 > Vb — а2 имеет место асимптотика при h ^ 0 нормы оператора ||В||Б(Ь2л(R+,, = O(h) при h ^ 0.

Следовательно, для каждого 1 > \/Ь — а2 существует такое h0 > 0, что при всех h £ (0,h0) выполняется условие УВУд^ (R+,, < 1.

Лемма 7. Для каждого 1 > Vb — а2 существует такое h0 > 0, что если h £ (0,h0), то при всех f £ L%1(R+) уравнение (20) имеет единственное решение z £ L2il(R+), причем справедлива оценка

INU2,7( R+, <С(I,h)||/||L2л(R+,

с константой С(i,h), не зависящей от выбора f £ L2i(R+).

Из лемм 5-7 следует

Теорема 3. Пусть b > а2. Тогда для каждого 1 > Vb — а2 существует такое h0 > 0, что если h £ (0,h0), то при всех f £ L2ii(R+), £ C задача (1), (2), (4) имеет единственное решение и £ W2i(R+), причем справедлива оценка

Mwli

с константой С(1 ,h), не зависящей от выбора f £ L2i(R+).

Действительно, в силу леммы 2 существует такое h\ > 0, что при любом h £

решением задачи (1) - (3) и справедлива оценка (22).

Замечание. Если b > а2 и 1 > Vb — а2, то при всех достаточно малых h > 0 выполняются неравенства х1 < 0 < х2 < 1 < х3, поскольку х2 ^ yjb — а2 и х3 ^ < при h ^ 0. Кроме того, согласно лемме 3, для всех невещественных корней Xj, j £ N, уравнения (4) выполняется условие Re( Xj) > 1, т.к. Re(Xj) ^ +< при h ^ 0.

Замечание. Если > а2, то существуют такие 1 > — а2, что

е ihb b

lim (ш(1)) = lim — = — > 1.

h^+o h^+01^ü2 +12 1\/а2 +12

Следовательно, теорема 3 определяет такие области изменения переменных (а, b, h, 1) £ R4, при которых задача (1) - (3) корректно разрешима и которые не удовлетворяют условию ш(1) < 1 теоремы 1.

Следствие 5. Пусть выполнено неравенство Ь > а2 и величина Н > 0 мала настолько, что величина 7* = т£(Ке2) достигается в единственной точке Х1 = Х1 € В множества 2. Тогда если выполнены условия 0 < 7' < л/Ь - а2, то существует такое Н1 > 0, что при всех Н € (0, Н{) и при любом начальном условии

и

однородное уравнение (1) имеет в пространстве W22,1, (В+) единственное решение

и

Пусть 7 < л/Ъ - а2. Выберем некоторое 7 > - а . Тогда в силу теоремы 3 существует такое Н0 > 0, что при всех Н € (0, Н0) однородное уравнение (1) имеет единственное решение, удовлетворяющее начальному условию (3), причем решение это имеет вид и(£) = с1 еХ1* + С2ех2. Поскольку х2(Н) ^ \/Ь - а2 при Н ^ +0, то существует такое Н1 € (0, Н0), что X > 7', и поэтому ех21 € W2y (В+). Следовательно, при Н € (0, Н1) однородное уравнение (1) с начальным условием (23) имеет решение (24) из пространства W221, (В+). Если предположить, что в пространстве W221, (В+) найдется другое решение однородного уравнения (1) с начальным условием (23), то тогда в пространстве W27(В+) однородное уравнение (1) с начальным условием (3) будет иметь более одного решения, что невозможно в силу теоремы 3.

Литература

1. Власов В.В., Медведев Д.А. Функционально-дифференциальные уравнения и связанные с ними вопросы спектральной теории // Современная математика. Фундаментальные направления. 2008. Т. 30. С. 3-173.

2. Власов В.В., Сакбаев В.Ж. О корректной разрешимости некоторых дифференциально-разностных уравнений в пространствах Соболева // Математические заметки. 2000. Т. 68, № 6. С. 939-942.

3. Власов В.В., Шматов К.И. Корректная разрешимость уравнений гиперболического типа с последействием в гильбертовом пространстве // Труды МИАН. 2003. Т. 243. 127-137.

4. Йаакбариех А., Сакбаев В.Ж. Представление формулами Фейнмана полугрупп, порожденных параболическими дифференциально-разностными операторами // ТРУДЫ МФТИ. 2012. Т. 4, № 4. С. 113-119.

5. Лионс Ж.Л., Мадженес Э. Неоднородные граничные задачи и их приложения. М.: Мир, 1971.

6. Му'равник А.Б. О задаче Коши для некоторых неоднородных дифференциально-разностных параболических уравнений // Математические заметки. Т. 74, № 4. С. 538-548.

7. Йаакбариех А., Сакбаев В.Ж. Корректность задачи с начальными условиями для параболических дифференциально-разностных уравнений со сдвигами временного аргумента // Известия вузов. Математика. 2015. № 4. С. 17-25.

8. Акбари Фаллахи А., Йаакбариех А., Сакбаев В.Ж. Корректность задачи с начальными условиями для гиперболических дифференциально-разностных уравнений со сдвигами временного аргумента // Дифференциальные уравнения. 2016. Т. 52, № 3. С. 352-365.

9. Власов В.В., Сакбаев В.Ж. О корректной разрешимости в шкале пространств Соболева некоторых дифференциально-разностных уравнений // Дифференциальные уравнения. 2001. Т. 37, № 9. С. 1194-1202.

10. Зверкин А.М., Каменский Г.А., Норкин С.Б., Эльсгольц Л.Э. Дифференциальные уравнения с отклоняющимся аргументом // УМН. 1962. Т. 17, № 2. С. 77-164.

11. Каменский Г.А., Субачевский А.Л. Линейные краевые задачи для дифференциально-разностных уравнений. М.: МАИ, 1992.

12. Мышкис А.Д. Смешанные функционально-дифференциальные уравнения // Современная математика. Фундаментальные направления. 2003. Т. 4. С. 5-120.

References

1. Vlasov V.V. Medvedev D.A. Functional-Differential Equations in Sobolev Spaces and Related Problems in Spectral Theory. Sovr. Math. Fund. Naprav. 2008. V. 30. P. 3-173. (in Russian).

2. Vlasov V.V. Sakbaev V.Zh. Well-Defined Solvability of Some Differential-Difference Equations in Sobolev Spaces. Math. Notes. 2000. V. 68, N 6. P. 939-942. (in Russian).

3. Vlasov V.V., Shmatov K.I. Correct Solvability of Hyperbolic-Type Equations with Delay in a Hilbert Space. Proc. Steklov Inst. Math. 2003. V. 243. P. 127-137. (in Russian).

4. Yaakbarieh A, Sakbaev V.Zh. On the presentation of semigroups generated by parabolic difference-differential equations by Feynman formulas. Proceedings of MIPT. 2012. V. 4, N 4. P. 113-119. (in Russian).

5. Lions J.L., Magenes E. Nonhomogeneous Boundary Value Problems and Applications. M.: Mir, 1971.

6. Muravnik A.B. On the Cauchy problem for parabolic equations with nonlocal high-order terms. Math. Notes. V. 74, N 4. P. 538-548.

7. Yaakbarieh A., Sakbaev V.Zh. Correctness of a problem with initial conditions for parabolic differential-difference equations with shifts of time argument. Izvestiya VUZ. Matematika. 2015. N 4. P. 17-25. (in Russian).

8. Akbari Fallahi A., Yaakbarieh A, Sakbaev V.Zh. Well-posedness of a problem with initial conditions for hyperbolic differential-difference equations with shifts in the time argument. Differential Equations. 2016. V. 52, N 3. P. 352-365. (in Russian).

9. Vlasov V.V., Sakbaev V.Zh. On the Well-Posed Solvability in the Scale of Sobolev Spaces of Some Differential-Difference Equations. Differential Equations. 2001. V. 37, N 9. P. 1194-1202. (in Russian).

10. Zverkin A.M., Kamenskii G.A., Norkin S.B., Elsgolts L.E. Differential equations with deviating argument. UMN. 1962. V. 17, N 2. P. 77-164. (in Russian).

11. Kamensky G.A, Skubachevskii A.L Linear boundary value problems for differential-difference equations. M.: MAI. 1992. (in Russian).

12. Myshkis A.D. Mixed Functional-Differential Equations. Sovr. Math. Fund. Naprav. 2003. V. 4. P. 5-120. (in Russian).

Поступила в редакцию 03.09.2016