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

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

CC BY
120
26
Читать
i Надоели баннеры? Вы всегда можете отключить рекламу.
Ключевые слова
ЭВОЛЮЦИОННОЕ УРАВНЕНИЕ / ИНТЕГРО-ДИФФЕРЕНЦИАЛЪНОЕ УРАВНЕНИЕ / УРАВНЕНИЕ С ПАМЯТЬЮ / СЕКТОРИАЛЪНЫЙ ОПЕРАТОР / АНАЛИТИЧЕСКАЯ ПОЛУГРУППА ОПЕРАТОРОВ / EVOLUTIONARY EQUATION / INTEGRO-DIFFERENTIAL EQUATION / EQUATION WITH MEMORY / SECTORIAL OPERATOR / ANALYTIC SEMIGROUP OF OPERATORS

Аннотация научной статьи по математике, автор научной работы — Федоров В. Е., Стахеева О. А.

Доказана локальная однозначная разрешимость задачи Коши для линейного эволюционного уравнения с векториальным оператором и с интегральным оператором памяти в банаховом пространстве. Результат работы проиллюстрирован на примере начально-краевой задачи для интегро-дифференциального уравнения с частными производными. Работа проводилась при финансовой поддержке РФФИ, грант № 07-01-96030-р_урал_а.

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

On Local Solvability of Linear Evolutionary Equations with Memory

The authors prove the local unique solvability of the Cauchy problem for linear evolutionary equation with sectorial operator and with integral memory operator in the Banach space. The result is illustrated on the example of the initial boundary value problem for integro-differential equation with partial derivatives.

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

УДК 517.9

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

В.Е. Федоров, О.А. Стахеева

ON LOCAL SOLVABILITY OF LINEAR EVOLUTIONARY EQUATIONS WITH MEMORY

V.E. Fedorov, O.A.Stakheeva

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

Ключевые слова: эволюционное уравнение, интегро-

дифференциалъное уравнение, уравнение с памятью, секториалъный оператор, аналитическая полугруппа операторов

The authors prove the local unique solvability of the Cauchy problem for linear evolutionary equation with sectorial operator and with integral memory operator in the Banach space. The result is illustrated on the example of the initial boundary value problem for integro-differential equation with partial derivatives.

Keywords: evolutionary equation, integro-differential equation, equation with memory, sectorial operator, analytic semigroup of operators

Введение

Задача Коши для эволюционных уравнений является абстрактной формой начальнокраевых задач для уравнений в частных производных, в естественных и технических науках часто описывающих различные процессы [1-3]. При этом часто встречаются системы с памятью, поведение которых не определяется целиком состоянием в настоящий момент, а зависит от всей «истории» системы (см. по этому поводу [4]).

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

В перспективе результаты работы позволят с одной стороны перейти к рассмотрению полулинейных эволюционных уравнений с памятью, а с другой стороны - исследовать уравнения соболевского типа с памятью.

1. Предварительные сведения

В этом параграфе изложены используемые при получении основного результаты факты из классической теории полугрупп операторов (см. [1]).

Обозначим через р(А) резольвентное множество оператора А, а через а(А) - его спектр.

Определение 1. Будем называть линейный замкнутый плотно определенный оператор А в банаховом пространстве X векториальным, если существуют константы а € К, К € К+ и © £ (§)7г) такие, что сектор

За,е(А) = (М е С : - °)1 < ©> А* Ф «} С р(А),

причем

II(А* ” А) 1||£(Л’) < | _ | V// € 5а,©(Л).

Замечание 1. В монографии [1] оператор А называется секториальным, если условиям определения 1 удовлетворяет оператор —А. Авторы данной работы будут придерживаться более удобных для них формулировок.

Определение 2. Аналитическая полугруппа в банаховом пространстве X — это семейство непрерывных линейных операторов {Т(Щ^о в X, удовлетворяющее условиям:

1. Т(0) = I, Т(£)Т(в) = Т(Ь + з) для t ^ 0, з ^ 0.

2. Т(Ь)х —> х при t 0+ для Уж € X.

3. Отображение £ ь-»- Т(^)ж аналитически продолжимо в некоторую область, содержащую множество {£ € М : £ > 0} для всех х € X.

Инфинитпезималъный генератор Ь этой полугруппы определяется следующим образом:

Ьх = Пт ~(ТН)х — х). г->о+ <

Его область определения £>(£) состоит из всех х 6 X, для которых этот предел в X существует. Будет использоваться обозначение Т(£) = еы.

Теорема 1. Если А — сектпориалъный оператор, то А — инфинитезималъпый генератор аналитической полугруппы {ем}^о, где

еЛ‘ = ^/(л-л)_1Лл' г

Г — контур в р(А), такой что аг§ А —> ±0 при |А| —>■ оо. При этом ем можно аналитически продолжить в сектор {£ € С : \агд £| < е}, содержащий положительную вещественную полуось, и

ЗС > 0 V* > 0 ||ел*|| ^ Се0*, \\Аем\\ < уеа*.

Наконец,

^-ем = Аем Ш > 0. т

Определение 3. Пусть — А — секториальный оператор, Ке/л > 0 при всех ц, € ст(Л). Положим для любого а > 0

ОО

А~а = J ^е^сИ, П(Аа) = Я(А~а), Аа = (4“а)-1, о

А0 - тождественный оператор в X.

Теорема 2. Если —А — секториалъный оператор в X, Яе/и > 0 при всех ц Є о {А), то для любого а > 0 оператор А~~а есть ограниченный линейный оператор в X, инъективный и удовлетворяющий соотношениям А~аА~Р = А~(а+^ при а > 0, /3 > 0.

Теорема 3. Пусть —А — секториалъный оператор, іп^Ие/і : /і Є сг(А)} > 6 > 0. Тогда Уа ^ 0 ЗСа > 0 V* > 0 |Иае~Л*|| < СаГае~5г.

Если при этом 0 < а ^ 1, х Є В(Аа), то

Ш>0 \\(е~м - 1)х || ^ Аах\\.

а

Определение 4. Пусть А — секториальный оператор в банаховом пространстве X, А\ =

а1 — А, где а > 8ир{Ие/і : ц Є а (А)}. Для каждого а ^ 0 положим Xа = В{А^) и наделим

пространство Xа нормой графика ||ж||а = ||А“ж||, х Є Xа.

Теорема 4. Если А — секториальный оператор в банаховом пространстве X, то Xа — банахово постранство с нормой || ■ ||а для а ^ 0, причем Х° = X. Для а ^ /3 ^ 0 пространство Xа есть плотное подпространство в Х@, причем,

соответствующее вложение непрерывно. Если А имеет компактную резольвенту, то вложение Xа С Х@ компактно при а > /3 ^ 0.

Пусть X — банахово пространство, Х{Т) = (7([0,Т];Х), ||«||д>(т) = тах ||і4(і)||х-

4^[05Т1]

2. Эволюционное уравнение с памятью

Пусть X — банахово ]

Оператор (7и)(4) имеет вид

оо * оо

(«7и)(4) = J к(з)и^ — з)с1з = J к(з)и{1 — s)ds + £ к(1 + s)u-(—s)ds, ООО

где - заданная на М_ функция, описывающая «историю» системы. Рассмотрим задачу Коши

«(0) = щ Е X (1)

для эволюционного уравнения с памятью

й(£) = Аи(Ь) + («7г{)(£). (2)

Ее решением на отрезке [0,Т] называется функция и € С71((0, Г];X) П С([0,Т]; X), удовлетворяющая условию (1) и уравнению (2).

Основным результатом данной работы является доказательство однозначной локальной разрешимости этой задачи.

Теорема 5. Пусть А — секториальный оператор, 11е/л < 0 для всех ц € о (А), «_ 6 Ь1(М_;Х), к £ 1а(М_|_). Если

ЗЛГ > 0 \/£, в>0 |&(<) — к(з)\ ^ ,ЛГ|< — в|,

то при некотором Т > 0 существует единственное решение задачи (1), (2) на отрезке [0 ,Т].

Доказательство. Рассмотрим вспомогательное уравнение

йЦ) = Аи(г) +д{г). (3)

Положим

ОО

до = Jк(з)и-(—8)(18 € X, 0 < 5 < 1, о

В(Т) = {д£ Х(Т) : д(0) = д0, \\д\\х{т) < |Ы|х +1, \№-д(а)\\х < тЦ-з\6 е [О,Т]}.

При д € В(Т) решение задачи Коши (1) для уравнения (3) имеет вид

г

и(г) = емщ + J еА^~^д(з)дз, (4)

о

поэтому в силу теоремы 1

||и(*)|| < (7||ио||х + СК\\д\\х(т) + 1) = Кх + К2г Ше[0,т]. (5)

Далее, при 4 > 5 > 0, применяя теорему 3, получим

\\uit) - «(в)||л- < \\(еА^ - 1)еА°ио||х+

+ / \\(еА^-1)еА^д(т)\\хс1г + I \\еА^д(т)\\х(1т<

О я

$

С6С1-бз-6(г-8)6\\щ\\х + С6С1^-з)6\\9\\х{т) I -^у +

о

+С(* - в)||<7||лг(30 ^ КЖ ~ я)*в_*> (6)

К3 = С5Сг-6\Ы\х + + с) (||зо||х + 1)Т.

Определим на В(Т) оператор

ОО

[ФдЩ = ! &(в)и(г - з)йз, о

где функция и определяется функцией д из задачи (1), (3) по формуле (4). Имеем очевидное равенство [Фд](0) = до- Далее, используя неравенство (5), получим

t ОО

Н[фз](*)11х < J 1М3)1 ■ ||«(*-«)|и^ + J |Аг(< + в) -к(з)\ ■ ||«_(-в)\\xds + Изо||х ^ о о

< 1*(«)1 (Х1* + ^21г) +^11и-11ь1(к-^) + Ых <

11^11с(Е+)С'(11ио|и^1 + (НзоПх + 1)Т ) + -Л7'Т||м_||^1(К_;х) + ||зо Их < Изо Их + 1, Серия «Математическое моделирование и программирование», вып. 2 107

при значении Т, меньшем каждой из констант (ЗС||«о||л:||^||с(к+)) 1> (ЗС(||до||х +

1)Р11с(К+))-2> (ЗЛГ||гх_||х,1(]к_ •х)) 1. Здесь использован также тот факт, что гельдерова функция непрерывна, а непрерывная вплоть до нуля функция класса ^х(М+) является ограниченной.

Кроме того, в силу неравенства (6) при > £

1Рз](<) - [Ф^КОНя- < J 1Мя)|||и(*,-в)|и<*я + J |Л(я)|||и(*'-я)-и(*-а)||лч*я+

оо

+ J!*(*' +») -*(» + «)ІІІ“-(-»)іи<*» < -11*110(11+) [кі{і -») + Щ-і? -*їг)

і

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

-Мс(ш+)т' - ґ)бК г_'6 о + Щі> - <)||«-||іі(к_;х) ^ К4(і' - і)6.

Таким образом, имеем действие оператора Ф : В(Т) —>• В(Т) при выбранном Т. Для произвольных функций <7і,<72 Є В{Т) выполняется

Ь і—в

І|[ФЗі](і) - [Ф«2](0іи < J *(«)<*» J \\еА{і~8~т)\ді{т) - 92{т)]\\х<1т ^

Г Т2

< С\\91 -92\\х(т) / (* - я)*(я)с*я ^ С?||Аг||с(к+)||^1 - 02 Над-у ■■

о

Поэтому, если помимо вышеупомянутых ограничений на Т будет выполняться неравенство

метрикой, порожденной вир-нормой, Ф — сжимающий оператор. Следовательно, по теореме о сжимающем отображении найдется единственный элемент д\ € В(Т), такой что д\ = Фд\. В этом случае функция

и{{) = емщ + /е*->*М* о

является одновременно решением задач (1), (2) и (1), (3), так как д\(£) = (,/«)(£).

С другой стороны, если V — решение задачи (1), (2), то нетрудно показать, что д(£) = (./«)(£) - неподвижная точка оператора Ф, лежащая в шаре В(Т). Отсюда следует единственность решения задачи (1), (2). □

то на соответствующем полном метрическом пространстве В(Т) с

Замечание 2. Все ограничения на Т определялись только оператором А, значением щ и функциями кии-.

Замечание 3. Если требовать непрерывности изменения процесса, описываемого задачей (1), (2), то необходимо в условия теоремы добавить требования и- & X) П С(М_; X),

«_(0) = щ, где Е_ = М_ и {0}.

3. Пример

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

и(ж,0) = щ(х), ж G (7)

u(x,t) = 0, (ж,*) € дО, х [0,Т], (8)

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

ОО

щ{х,£) = Au(x,t) + J k(s)u(x,t — s)ds, (x,t) € x [0,T], (9)

о

в цилиндре ft x [0,T], где ограниченная область fi С f имеет гладкую границу. В

пространстве X = оператор Аи = Аи с областью определения

D(A) = {и Е Я2(О) : и(ж) = 0, ж е ЯП},

как известно [1], является секториальным, причем Re/i < 0 при всех ц € о {А). Поэтому, задав гельдерову на К+ функцию к € Li(K+) и такую функцию u-(x,t), что и- € Iix(K_;i2(^)), получим существование единственного решения и G CI((0,Т]; ^2(^)) П С([0, Т]; Хг(^)) задачи (7) - (9) при достаточно малом Т > 0.

Работа проводилась при финансовой поддержке РФФИ, грант №07-01-96030-р_урал_а

Литература

1. Хенри, Д. Геометрическая теория полулинейных параболических уравнений / Д. Хенри. - М.: Мир, 1985.

2. Favini, A. Degenerate differential equations in Banach spaces / A. Favini, A. Yagi. - New York; Basel; Hong Kong: Marcel Dekker Inc., 1999.

3. Sviridyuk, G.A. Linear Sobolev Type Equations and Degenerate Semigroups of Operators / G.A. Sviridyuk, V.E. Fedorov. - Utrecht; Boston: VSP, 2003.

4. Grasselli, M. Uniform attractors of nonautonomous dynamical systems with memory / M. Grasselli, V. Pata. - In the book: Progress in nonlinear differential equations and their applications. Basel: Birkhauser Verlag, 2002. - Vol. 50. - P. 155 - 178.

Кафедра математического анализа,

Челябинский государственный университет kax@csu.ru

Поступила в редакцию 18 сентября 2008 г.

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