Научная статья на тему 'Интегро-дифференциальные уравнения с вырождением в банаховых пространствах и их приложения в математической теории упругости'

Интегро-дифференциальные уравнения с вырождением в банаховых пространствах и их приложения в математической теории упругости Текст научной статьи по специальности «Математика»

CC BY
138
35
i Надоели баннеры? Вы всегда можете отключить рекламу.
Ключевые слова
БАНАХОВО ПРОСТРАНСТВО / ФРЕДГОЛЬМОВ ОПЕРАТОР / ЖОРДАНОВ НАБОР / РАСПРЕДЕЛЕНИЕ / ФУНДАМЕНТАЛЬНАЯ ОПЕРАТОР-ФУНКЦИЯ / BANACH SPACE / FREDHOLM OPERATOR / JORDAN SET / DISTRIBUTION / FUNDAMENTAL OPERATOR-FUNCTION

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

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

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

Integro-differential equations with degeneration in Banach spaces and it"s applications in mathematical theory of elasticity

Cauchy problem for linear integro-differential operator equation with degenerated differential part of high order and convolutional type Volterra integral term is considered in article. Fundamental operator-function of integro-differential operator, appropriated of examining equation, is constructed, Cauchy problem generalized (in class of distributios with left-bounded support) and classical (N times strongly continuously differentiable) solutions existence and uniqueness theorems are proved. Obtaining results are applied to the investigation of initial boundary value problems, arised in mathematical theory of elasticity.

Текст научной работы на тему «Интегро-дифференциальные уравнения с вырождением в банаховых пространствах и их приложения в математической теории упругости»

Серия «Математика»

2011. Т. 4, № 1. С. 118-134

Онлайн-доступ к журналу: http://isu.ru/izvestia

УДК 517.983.5

Интегро-дифференциальные уравнения с вырождением в банаховых пространствах и их приложения в математической теории упругости *

М. В. Фалалеев

Иркутский государственный университет

С. С. Орлов

Иркутский государственный университет

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

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

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

* Работа выполнена при финансовой поддержке Федеральной целевой программы «Научные и научно-педагогические кадры инновационной Росии» на 2009-2013 годы, госконтракт № П696, и гранта для поддержки НИР аспирантов и молодых сотрудников ИГУ, тема № 091-08-104 (приказ № 370 от 24.12.2010).

Введение

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

1. Обобщенные жордановы наборы фредгольмовых

операторов

Пусть E1, E2 — вещественные банаховы пространства, B — замкнутый линейный оператор, действующий из E1 в E2, причем D(B) = E1. Кроме того, R(B) = R(B) и dim N(B) = dim N(B*) = n, т. е. оператор B фредгольмов. Обозначим {^і}П=1 и {^і}П=1 — базисы в N(B) и N(B*) соответственно, {Yi}n=1 С E^ и {zi}n=1 С E2 — биортогональные им системы элементов, т. е. (<£i, Yj) = (Zi, ^j) = 5ij, i, j = 1,..., n. Введем в рассмотрение проекторы P : E1 ^ N(B), Q : E2 ^ span {zi}n=1, действия которых задаются формулами

n n n n

p = Еpi = Е (■, Yi) ^ Q = ЕQi = Е ь ^i) zi, i=1 i=1 i=1 i=1

и ограниченный оператор Г : E2 ^ D(B),

1

г = B-1 =

(В + І <•> 7і>

' і=і '

называемый оператором Треногина — Шмидта [1]. Справедливы равенства Г^г = Г*7г = ^г, ГВ = 11 — Р, ВГ = ї2 — ф. Здесь и далее в

работе її, І2 — тождественные операторы в пространствах Еі и Е2.

Пусть ^(Ь) — сильно непрерывное достаточно гладкое однопараметрическое семейство замкнутых линейных операторов из Еі в Е2. Обобщенной ^(Ь)-жордановой цепочкой длины рг є N элемента Є N (В) называется конечный набор элементов |^(1), ^>(2),..., С Е1, удо-

влетворяющих уравнениям

В^і1) = 0, В^ік+1) = ^(<£*), к = 1, . . . ,Рг — 1,

которые, в соответствии с альтернативой Фредгольма [1], разрешимы, если (Ік(<^г), ^> = 0, і = 1,...,п, к = 1,... ,рг — 1. Здесь введено обозна-к

чение Ік(<^г) = ^ $(к-9)(0)^>(9). Вектор ^(к+1), к = 1,... ,рг — 1, принято 9=1

называть $(Ь)-присоединенным элементом к-го порядка к элементу ^г, причем справедлива формула ^>(к+1) = ГІк(<£г). Условие обрыва цепочки присоединенных элементов на р-м шаге состоит в том, что не все числа (ІРі (^г), > равны нулю. Построив по описанному правилу для каждого

Є N (В) свою $(Ь)-жорданову цепочку, получим систему элементов

{<£(к), і = 1,... ,п, к = 1,.. . ,Рг} С Еі,

называемую обобщенным $(Ь) -жордановым набором фредгольмова оператора В и являющуюся полной, если det ||(ІРі(^>г), ^>|| = 0. Базис в N (В*) можно выбрать таким, что условие полноты $(Ь)-жорданова набора эквивалентно соотношению (Ірі(^>г), ^^, і,і = 1,...,п, в этом случае гг = Ірі (^>г).

В цикле работ Б. В. Логинова (см., например, статью [3] и библиографию к ней) показано, что, если оператор В имеет полный обобщенный $(Ь)-жорданов набор, то существует полный обобщенный $*(Ь) -жорданов набор оператора В*, который строится по тем же правилам, причем базисы в N (В) и N (В*) можно выбрать так, что элементы ^ и •0г с одинаковыми номерами имеют обобщенные жордановы цепочки одинаковой длины. В дальнейшем без ограничения общности будем предполагать, что все указанные перестройки базисов уже выполнены.

Полным $*(Ь)-жордановым набором оператора В * называется систе-(к)

ма элементов є Е2, і = 1,...,п, к = 1,... ,рг, которые удовлетво-

ряют уравнениям

В *^((1) =0, В*#+1) = І*(^г), і = 1,...,П, к = 1, . . . , Рг — 1, условиям разрешимости

(^ 1*(^і)> =0, і,і ^...^ к = 1,...,рі — 1,

и полноты

^ (^і ^ ^, і,і = ^...^

ненных элементов справедливы формулы

^(к+1) = Г*Ік(0г), і = 1, . . . ,П, к = 1, . . . ,Рг — 1,

а из последнего соотношения следует, что 7г = І* (0г), і = 1,..., п.

Следует отметить, что условия разрешимости уравнений для определения ?”(£)- и У*(£)-присоединенных элементов могут быть записаны в следующем эквивалентном виде:

(^+1\ 1з) = (%', ^(к+1)) = 0, ^ = ^...^ к = 1,...,р* - 1.

2. Обобщенные функции в банаховых пространствах

Пусть E —вещественное банахово пространство, E* — сопряженное к нему банахово пространство. Отнесем к множеству K(E*) основных функций все финитные бесконечно дифференцируемые функции s(t) со значениями в E*. Носителем supp s(t) основной функции s(t) называется замыкание в R множества значений t, при которых s(t) = 0. Сходимость в K(E*), которая вводится следующим образом: говорят, что последовательность функций {sn(t)} сходится к s(t) в K(E*), если

а) 3 R > 0 такое, что V n е N supp sn(t) С [—R, R];

б) V а е N выполняется sup s^ — s(a) (t)

te[-R, R]

e*

наделяет векторное пространство К(Е*) топологической структурой. Обобщенной функцией (распределением) f (£) со значениями в банаховом пространстве Е называется всякий линейный непрерывный функционал (^ $(£)), заданный на К(Е*). Обозначим К'(Е) множество всех обобщенных функций со значениями в Е, которое относительно введенной в нем слабой сходимости: {/„} С К'(Е) сходится к f £ К'(Е), если (/«,«(£)) —-+°°> (^ з(£)), V з(£) е К(Е*); является полным векторным пространством и называется пространством обобщенных функций. Понятия нулевого множества и носителя распределения, равенства двух обобщенных функций, операции сложения, умножения на бесконечно дифференцируемую числовую функцию, дифференцирования (последние две непрерывны из К'(Е) в К'(Е)) определяются так же, как и для классических обобщенных функций Соболева — Шварца, множество которых, следуя монографии В. С. Владимирова [2], будем обозначать Ъ'. Всякая локально интегрируемая по Бохнеру функция f (£) со значениями в Е порождает распределение

^(^),«(^))= I ^^ е К(Е*).

— °

Все обобщенные функции, которые можно задать по приведенному правилу, принято называть регулярными, остальные — сингулярными. Примеры регулярной и сингулярной обобщенных функций из К'(Е) достав-

ляют аналоги функции Хевисайда и дельта-функции Дирака

+ °

(а0(£ — *о), «(*))= У (а, «(£)) ^, (а£(£ — £0),$(£)) = (а, з(£0)),

£о

соответственно, где а е Е, £0 е М, з(£) е К(Е*). При этом легко показать, что (а0(£ — £0))' = а£(£ — £0). Через К+ (Е), К+ (Е) С К'(Е), будем обозначать пространство распределений с ограниченным слева носителем.

Пусть К(£) — сильно непрерывная оператор-функция со значениями в £(Е1,Е2), Л,(£) е Ъ', тогда произведение Х(£)Л,(£) (формальное выражение) назовем обобщенной оператор-функцией. Далее интегро-дифференциальному оператору вида

(«(£)) = Ви(м)(£) — -1и(м-1)(£) — ... —

£

— А^и'^) — А0«(£) — ^ к(£ — 5)«(«)^5

о

поставим в соответствие следующую обобщенную оператор-функцию:

(5(*)) = ££(м)№ — Ам-1^(м-1)(£) — ... — А1У (*) — 4^*) — к(*)0(*).

Условия на операторные коэффициенты и ядро будут приведены ниже.

Пусть f (£) е К+ (Е1), Л,(£) е Ъ+, тогда сверткой обобщенной оператор-функции Х(£)Л,(£) и обобщенной функции f (£) называется распределение Х(£)Л,(£) * f (£) е К+ (Е2) определяемое равенством

(К(*)Ь(£) * f(£), в(*)) = (Ь(г), (f(т), Х*(ф(£ + т))), V в(£) е К(Е*).

Корректность этого определения гарантируется ограниченностью слева носителей функций Л,(£) е и f (£) е К+ (Е1) и доказывается по схеме, аналогичной применяемой в [2] при доказательстве существования свертки в алгебре Ъ+. Отметим, что в классах распределений с ограниченным слева носителем операция свертки ассоциативна.

Далее введем ключевое понятие. Фундаментальной оператор-функцией интегро-дифференциального оператора (^(£)) назовем обобщен-

ную оператор-функцию Е (£), удовлетворяющую равенствам

Е(£) * (£(£)) * ^(£) = -и(£), V -и(£) е К+ (Е1),

(£(£)) * Е(£) * эд(£) = -ш(£), V -ш(£) е К+ (Е2).

Смысл этой конструкции состоит в следующем: если известна фундаментальная оператор-функция Е (£) интегро-дифференциального оператора (£(£)), то, в силу второго равенства, сверточное уравнение

вида (£(£)) * и(і) = /(і), где /(і) Є К+ (Е2), имеет своим решением обобщенную функцию и(і) = Е(і) * /(і) Є К+ (Е1), причем это решение единственно. Действительно, если существует -и(і) Є К+ (Еі) такая, что -и(і) = и(і) и (£(£)) * ^(і) = /(і), то, с учетом первого равенства из определения фундаментальной оператор-функции и свойства ассоциативности свертки, получим

■и(і) = (Е(і) *(6(і))) *^(і) = Е(і) * (&м(5(і)) * -и(і)) = Е(і) * /(і) = и(і),

противоречие, доказывающее единственность решения и(і) = Е(і) * /(і) исходного сверточного уравнения в классе К+ (Еі).

3. Фундаментальная оператор-функция вырожденного интегро-дифференциального оператора

Теорема 1. Пусть В, -1,..., А1, А0 — замкнутые линейные

операторы из Е1 в Е2, й(і) — однопараметрическое семейство класса Сте(і > 0) операторов с аналогичными свойствами и областью определения Б(й), не зависящей от і, причем

~М N

ЩВ) = П ^(Ак-і) П Б(й) = Еі, Б(В) С р Д(Ак-1) П Б(й), к=1 к=1

й(і) сильно непрерывна на Б(й), а оператор В фредгольмов и имеет полный обобщенный жорданов набор относительно оператор-функции

1(і) = AN-1 + AN-2і +... + А0 (N-1)! + / (*(-у--1)! й(«)^5, тогда интегро-

дифференциальный оператор LN(^(і)) имеет на классе К+ (Е2) фундаментальную оператор-функцию вида

іN-1

Е(і) = Г^ЖЗІ)!0(і) * ОИі) + ВД*(і)) * (І2^(і) + N(і)0(і)) * ОД,

здесь Г — оператор Треногина — Шмидта, Л(і) и N (і) — резольвенты

ядер 1(і)Г и (- £ ^Й(рі)(і)) соответственно, функция С(і) задается

І=1

следующим образом: С(і) = ((І2 — ^)^(і) — £ 1] (•, 2і£(рі+1-^')(і));

і=1 і=і х '

і^^, і = 1,...,п, j = 1,... ,Рі| — полный обобщенный 1*(і)-жорданов набор оператора В* (см. п. 1).

Доказательству теоремы 1 предпошлем вспомогательную лемму.

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

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

1". &я“-‘>(0) = К ■ #'+1,Ь’ к = -11

^ к — рг;

2". (12 - $Ж*) * (12£(*) + N(*Ж*)) * ОД — (12 - ЗЖ*); з0. (^я^ж*) + ед*)) * (ы(*) + N(*ж*)) — ед*),-

40. фД(*Ж*) * (12<*(*) + N(*Ж*)) * ОД — -дг(*);

5". ОД * ОД) —

— (Ь^) + Е фя^Ж*)) * (П2<*(*) - ОДЩ*)) * в^,(*).

г=1

Доказательство. Последовательно докажем пять этих равенств. Исходя из соотношения Я(*) — ^(*)Г + /" ^(* — з)ГЯ(з)^5 для резольвенты Л(*) и формулы ?**(*)-присоединенных элементов, индукцией по к можно доказать, что ЗгЛ(к-1)(0) — (-, Г*/£(0*)) £г, откуда и следует требуемое равенство 10.

Так как (12 — ф)^ — 0, г — 1,..., п, то имеют место соотношения

га р

(12 - $Ж*) * N(*)0(*) — (12 - £Ж*) * ЕЕ(-, #) *^+1—%) — 02,

г=1.7=1

где О2 — нулевой оператор в пространстве Е2, которые в совокупности со свойством идемпотентности проектора 12 - ф, доказывают 20.

Используя фгО; — ^фг, равенство 30 можно установить, с учетом

N(*ж*) — - Е ^Я(р*Ч*Ж*) * (Ы(*) +N(*)0(*)), следующим образом: к=1

(фЯ^Ж*) + £Ж*)) * (ОД) + N(*)0(*)) —

П

— &<*(*) * (Е Зк^^Ж*) + * (Ы(*) + N(*)0(*)) —

к=1

— фг^(*) * (Я2^(*) + N(*)0(*) - N(*)0(*)) — фг^(*).

Применяя 10, 30, а затем — 0, 3 — 1,... ,р -1, из пункта

1 и легко проверяемые соотношения фг(12 - ф) — 02, ^£г,

покажем равенство 40 тождественными преобразованиями, а именно

дд(*Ж*) * (12<н*) + N (*ж*)) * од —

П +Рг — 1

— Е &Я(*Ж*) * £Ы(*) * (12£(*) + N(*)0(*)) * ------------— 0(*) * ОД —

г=1 (Р - 1)!

ИНТЕГРО-ДИФФЕРЕНЦИАЛЬНЫЕ УРАВНЕНИЯ С ВЫРОЖДЕНИЕМ 125 п , Рі \

Е ^яы(;ж;) + ад;) + Е (•> #)^(Рі+1-л(;)*

г=Л '=2 У

+Рі —1

* (І2^(і) + N(;Ж;)) * (р^ _ 1)! #(;) * ОД =

п ^ Рі \

= Е(^(*) + Е(•> #)^(Рі+1-л(;))* і=1 '=2 '

/ +Рі — 1 п pfe . . \

* (<*2 _ щад _ ЕЕ (■ ^“}Р'+1-Я(;)) =

п / Рі ;'—1

= Е(Е (’’ ^ (; _1)! ^(;) _(’’ *^(;)_

Рі ---------------- 1 \

_ Е (•> ^0)) ^(Т_ї)!0(;)) = _^(;)>

'=2

Справедлива цепочка равенств

с(;) * Ж;)) = с(;) * (Ш(;) _ У(;ж;)) * £(м)(;) =

п Р і . .

в^(;) _ (*2 _ £Ж;Ж;) _ЕЕ<•> в*#) 2^(Рі-1-Л(; ) +

і=1'=1

п Р і

+ ЕЕ<•> #) гі^(Рі-1-і)(;) * ^(;)0(;п * £(м)(; ),

і=1'=1

в последнее из которых подставим выражение

£(к-1-Л (; ) * у(;Ж;) = ^(Рі+1-')(; Ж;) + у(Рі-')(0Ж;)+ + ^(Рі-і-1)(0)5/(;) +... + у/(0)£(Рі--1)(;) + ^(0)5(Рі-і)(;),

а затем приведем подобные слагаемые относительно производных 5(;). В результате этих преобразований, в силу уравнений для определения ?**(;)-присоединенных векторов, получим

од * Ж;)) =

п Рі

В£(; )_(*2_д)^(;)0(;)+ЕЕ (•, #)■ггУ'(Рі+1-')(; ж;))*5(*)(; )

і=1'=1 '

= ^2Й(;) _ ?(;)Щ;) + д:т(;)Г0(; )+

п Рі . . \

+ ЕЕ (•,#) ^і^(Рі+1-')(;)г0(;П * В^(м)(;).

/

І=1'=1

126 М. В. ФАЛАЛЕЕВ, С. С. ОРЛОВ

Далее, с учетом 10 и Я(*) — ^(*)Г + /0* Я(* - 5)?"(5)Г^5, находим

П Рг

ЕЕ(-, #) ^г^(рг+1—'?,(*)Г^(*) —

г=1.7=1

П /

— Е ^ ( ^(рг,(*)Г + Я(0)У(рг—1,(*)Г + Я'(0)?(рг—2,(*)Г + ... +

г=1 '

+Я(рг—2,(0)У'(;£)Г + Я(рг—1,(0)2'(*)Г^ 0(*) —

— Е ф/Я(рг) (*) - / ЯЫ (* - в№)Г^ 0(*) —

г=1 0

п

— Е фгЯЫ(*Ж*) * (12<*(*) - Я*)Щ*)), г=1

что и завершает доказательство равенства 50 и всей леммы. □

Доказательство теоремы 1. Согласно определению фундаментальной оператор-функции (см. п. 2), требуется установить равенства

Ьм(£(*)) * Е(*) — 12 £(*), Е(*) * Ьм(£(*)) — 11 £(*).

Раскрывая первую свертку, получим Ьм(£(*)) * Е(*) —

— ((12 - $ж*) - ?(*)Щ*)) * (!25(*) + Я(*Ж*)) * (Ы(*) + N (*Ж*)) * ОД —

— ( Я2^(*> - да) * (И2<*(*) + Я(*Ж*)) ^ * (Ы(*) + N(*)0(*)) * ОД —

— Г(12 - £Ж*) - фЯ^Ж*))) * (12^(*) + N(*Ж*)) * ОД.

Отсюда, в силу 20 и 40, Ьм(£(*)) * Е(*) — (12 - фЖ*) + ф£(£) — !2£(£).

Для доказательства второго равенства воспользуемся соотношением 50 из леммы.

Е(*) * Ьм(£(*)) — *м — 1

= Г - 0(*) * (!25(*) + Я(*Ж*)) * (ЗД) + N(*)0(*)) *ОД *ЬмЖ*)) —

ИНТЕГРО-ДИФФЕРЕНЦИАЛЬНЫЕ УРАВНЕНИЯ С ВЫРОЖДЕНИЕМ 127 *М—1

— г^з^^*) * (^<*(*) + я(*ж*)) * (да)+N(*ж*))*

п

* (я25(*) + Е фгй(рг,(да)) * (да) - уедда)) * в^(м,(*) —

г=1

*М — 1

— г^з!)^) * в£(м,(*) —11 <*(*).

Таким образом, теорема 1 доказана. □

Пусть и(*), /(*) — функции неотрицательного вещественного аргумента * со значениями в Е и Е2 соответственно. Рассмотрим задачу Коши вида

Ьм(и(*)) — /(*), и(0) — и0, м;(0) — и1,..., и(м —1,(0) — им—1, (1)

где В, Ам —1,..., А1, А0, к(*) из теоремы 1. В обобщенных функциях

эта задача принимает вид сверточного уравнения

ЬмЖ*)) * и(*) — <?(*),

единственным решением которого в классе К+ (Е1) (обобщенным решением задачи Коши (1)), как показано в пункте 2, является

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

й(*) — Е(*) * <?(*). (2)

Здесь $(*) е К+ (Е2) задается формулой

#(*) — /(*Ж*) + (Вим—1 - Ам —1 им—2 - ... - А1«0Ж*)+

+ (Вим—2 - Ам — 1^м—3 - ... - А2и0)^;(*) + ... +

+ (В«1 - Ам—1^0)5(м—2)(*) + Ви0^(м—1,(*).

Теорема 2. Пусть выполнены условия теоремы 1, тогда задача Коши (1) имеет единственное обобщенное решение вида (2).

Замечание 1. Применяя методику работы [4], можно установить, что решение (2) имеет следующую структуру:

п Рг — мрг—м+1— Ь

и(*) — Е (*) * ^ — и(*)0(*) + ЕЕ Е сг [к+Ь+м—1]РЬ,Я(ь—1

г=1 Ь=1 к=1

где и(*) в случае /(*), е СРг—Ь+1(М+), г — 1,..., п, 3 — 1,... ,рг,

принадлежит классу (Е1) — С(* > 0; Е1) П См(* > 0; Е1), удовлетворяет интегро-дифференциальному уравнению (1) и следующим начальным условиям:

п рг—м+к

и(к—1,(0) — ик—1 + Е Е сг Ь+м—fc]^(j,, к — 1,...,N.

г=1 Ь=1

Коэффициенты сг [ь] е М, г — 1,..., п, 3 — 1,... , рг, определяются единственным образом по формулам

рг—Ь+1

С [Ь] — - Е (^(рг—Ь —к+1}(0), , г — 1,...,п, 3 — 1,...,Рг,

к=1

— 1

здесь Л,(*) — /(*) - Ьм(р(*)), р(*) — и0 + и1* + ... + им —1 (Н—1)1. Если положить сг [ь] — 0, г — 1,..., п, 3 — 1,... ,рг, то решение (2) представляет собой регулярную обобщенную функцию вида и(*) — и(*)0(*), где и(*) е С+м (Е1) обращает в тождество рассматриваемое уравнение и удовлетворяет исходным начальным условиям, т. е. является классическим решением задачи Коши (1). Таким образом, справедлива

Теорема 3. Пусть выполнены условия теоремы 1 и

(/(*), #) е Срг—Ь+1(М+), г — 1,... ,п, 3 — 1,... ,рг,

тогда, если рг—Ь+1

Е ^(рг—Ь—к+1)(0), 0г(к^ — 0, г — 1,..., п, 3 — 1,... ,рг, к=1

то задача Коши (1) имеет единственное классическое решение.

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

4. Приложения

Пусть О — ограниченная область пространства Мт с границей дО класса Сте, переменная * принимает неотрицательные действительные значения, т. е. * е {0} и М+. В цилиндре М+ х О — {(*,х) : * е М+, х е О}

рассмотрим интегро-дифференциальные уравнения

£

(V - А)и* - Аи - J#(* - «)Аи(«, х)^ — /(*, х), (3)

0

*

(а - А)и** - вАи* - Аи + J#(* - з)Аи(5,х)^5 — /(*,х), (4)

0

(А - А2)иш - кА(А - А^и** - 7А2и* + кА3и — /(*, х), (5)

т(А - Аз)и**** + (А - Л2)и*** - А((т7 + к)А - кА^и**-

- 7А2и* + кА3и — /(*,х), (6)

где V, а, в, 7, А1, А2, Аз, к, т — отличные от нуля вещественные постоянные, причем А2 — А1 в уравнении (5), т > 0 и А3 — А2 в уравнении (6), ядро д(*) : М+ ^ М в (3) и (4) является аналитической функцией.

Перечисленные уравнения представляют интерес с точки зрения приложений. Например, уравнение (3) возникает при решении задач нелинейной динамики наследственно упругих тел [7]. В случае т — 3 и /(*, х1,х2,х3) = 0 уравнение (4) моделирует вязкоупруго-динамическое состояние среды [7], при этом и — и(*,х1,х2,х3) определяет смещение, числа а и в представляют собой нелинейные соотношения между постоянными характеристиками среды, а функция д — д(*) отражает ее реологические свойства (ползучесть). При т — 2 и /(*, х1, х2) = 0 уравнение (5) описывает колебания термоупругой пластины [9], а уравнение (6) — этот же процесс в нестационарном тепловом поле, распространяющемся согласно закону Каттанео — Вернотте [10], причем функция и — и(£,хьх2) определяет прогиб пластины, коэффициенты А2 и А3 обратно пропорциональны квадрату ее толщины, вещественный параметр т > 0 задает время релаксации теплового потока, остальные постоянные отражают механические и тепловые характеристики, которые в рамках моделируемых процессов предполагаются неизменными.

Для каждого из уравнений (3), (4), (5) и (6) зададим начальные

дк—1 _

и(*,х) — иЙ—1(х), к — 1,...,Ж, х е О, (7)

*=0

при N — 1, 2, 3 и 4 соответственно, и однородное граничное

и(^ х) 1хеда — 0, & х) е М+ х (8)

условия, т. е. поставим задачи Коши — Дирихле. Здесь функции и&_ 1(х), к — 1,..., N, для уравнений (3) и (4) имеют на множестве О по совокупности переменных порядок гладкости I + 2, а для (5) и (6) — I + 6, где I е {0} и М, причем ик—1(х)|хеап — 0, к — 1,..., N.

Начально-краевые задачи (3), (7), (8) и (4), (7), (8) допускают редукцию к задаче Коши (1) при N — 1 и N — 2, если положить

Е1 — Д(О) = {и(х) е £2(О) : и(х)|й€дп — °} , е2 — ^2(О)

а операторы В — V - А, А0 — А и В — а - А, А1 — вА, А0 — А, ядра интегральных частей к(*) — д(*)А и к(*) — -д(*)А заданными в

Н1+2(О) = |^(х) е ^2+2(О) : и(х)|Х€дП — 0|. Здесь и далее через ^2(О) и ^2(О) = Нг(О) обозначены пространства Лебега и Соболева.

О

Выбирая Е1 — Н1+6(О), Е2 — Я1 (О) и полагая области определения операторов В — А - А2, А2 — кА(А - А1), А1 — 7А2, А0 — -кА3, к(£) = О и В — т(А - А3), А3 — -(А - А2), А2 — А((т7 + к)А - кА1), А1 — 7А2, А0 — -кА3, к(£) = О, совпадающими с Е1, сведем задачи Коши — Дирихле (5), (7), (8) и (6)-(8) к начальной задаче (1) с порядками N — 3 и N — 4 дифференциальных частей интегро-дифференциального уравнения. Здесь О е £(Еь Е2) — нуль-оператор.

Будем предполагать V, а, А2, А3 е 0"(А), где а(А) — спектр однородной задачи Дирихле Аф(х) — ^ф(х), ф(х)|хе— 0, что, с учетом выбора Е1 и Е(В), соответствует случаям самосопряженных, а, значит, фредгольмовых операторов В — V - А, В — а - А, В — А - А2 и В — т(А - А3), размерности ядер которых совпадают с конечными кратностями собственных чисел V, а, А2 и А3 соответственно.

Обозначим а(А) — {^г}+°^, где собственные числа ^ занумерованы в порядке убывания с учетом кратности, {фг}+°1 — система собственных функций, ортонормированная в смысле скалярного произведения пространства £2(О). Пусть фг(х), ^ — V отвечают V е 0"(А), т. е. являются базисными элементами ядра оператора В — а - А. В качестве базиса в N (В*) выберем функции 0г(х) — 1 фг(х), — V. Тогда имеет место

соотношение (11(^г), 0) — /Афг(х)0^(х)^х — , которое означает

п

отсутствие присоединенных элементов у образующих полный жорданов набор элементов фг(х), ^ — V, т. е. все р — 1 (см. п. 1). В аналогичных обозначениях то же самое можно показать для операторов В — а - А, В — А - А2 и В — т(А - А3) из уравнений (4), (5) и (6), выбирая базисные элементы в N (В*) следующим образом:

0г(х) — ав Фг(х), № — а, 0г(х) — к^^ - ^) Фг(х), — А2, А2 — А1,

0г(х) = ~ \ фі(ж), ^ = Л3, А3 = Л2.

Л3 — Л2

Далее как следствия теорем 2 и 3 сформулируем утверждения об однозначной разрешимости рассматриваемых начально-краевых задач.

Теорема 4. Пусть V е а(А) и/ /(£,х)фг(х)^х е С 1(М+), — V, тогда

п

задача Коши —Дирихле (3), (7), (8) имеет единственное обобщенное

й(і,ж) = и(і, ж)0(і) =

ио(ж) + Е ^ У (х + / Рі(т)^аМі(«)^<Ф(ж) -

І

— “ Е (аМ(І) + Р(І — в)аМі(5)^Ифг(ж)

причем функция и = и(£, ж) € С+ (£2(0)) является классическим решением этой задачи, если выполнены соотношения

! /(0,ж) + ^ио(ж)^ фг(ж)^ж = 0, = V.

Здесь р(і) — резольвента ядра ^;— (1 + /д(з)^з), р(і) — резольвента

о

ядра — д(і), функция аМі (і) задается следующим образом:

і

аМі(£) = ^ /(£,ж)+ ^1 + /д(«)^Лио(Ж)

фг(ж)^ж.

Теорема 5. Пусть а € а(Д) и / /(£,ж)фг(ж)^ж € С1(М+), = а,

п

тогда задача Коши —Дирихле (4), (7), (8) имеет единственное обобщенное решение, определяемое формулой

й(і,ж) = и(і, ж)0(і) =

и0(ж) + іиі(ж)+

+ Е ~—/ / (і + (^ — « — т)^(тЛ ^(«)йт^фг(ж) —

Мі=а а 0 0

— ав Е /(1 + / 9(т)й^6мі

причем функция и = и(£, ж) € С+ (£2(0)) является классическим решением этой задачи, если выполнены соотношения

! /(0,ж) + а^и1(ж) + аи0(ж)^фг(ж)^ж = 0, = а.

Ъ

Здесь 5г(£), д(£) — резольвенты ядер (в + £ — /(£ — з)д(з)^5) и

а Мг о

ъ

— в + в / д(5)^ соответственно, функция Ь^(£) имеет вид

Ьмг(£) = У /(£,ж) + ^в + £ — ^(£ — «)д(«)й^и1(ж)+

по

Ъ

+ ^ 1 — ^ д(з)^ио(ж)

о

Теорема 6. Пусть Л2 € а(Д), Л2 = А1 и (/(£, ж), фг(ж))я1(П) € С 1(

^ = Л2, тогда задача Коши — Дирихле (5), (7), (8) имеет единственное обобщенное решение, определяемое формулой

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

фг(ж)^ж.

и(£,ж) = и(£, ж)0(£) =

4 4—в

£2

ио(ж) + £и1(ж) + — и2(ж) +

+ Е —"л/ / ((£ — 8 — т) + “—^2 Т) Гг(т0Смг^)Йг^фг(ж) —

кЛ2(Л2 — Л1)

Мг=А2 о 0

причем функция и = и(£, ж) € С+ (Н1+6(0)) является классическим решением этой задачи, если выполнены соотношения

/(0, ж) + кЛ2(Л2 — Л1)и2(ж) + 7Л2и1(ж) — кЛ2ио(ж), фг(ж)^н = 0,

№ = Л2.

Здесь Гг(£) и г(£) — резольвенты ядер ^ ^к(^г — Л1) + 7^г£ —

и (—& + Л2£) соответственно, функция сМг(£) имеет вид

(£) = ^/(£,ж) + ^к(^ — Л1) + 7^ — к^г2^и2(ж) +

+ ^1(7 — Л^г£)и1(ж) — к^3ио(ж), фг(жм .

' Яг(П)

Теорема 7. Пусть Л3 € а(Д), Л3 = Л2 и (/(£, ж), фг(ж))яг(П) € С 1(

= Л3, тогда задача Коши — Дирихле (6)-(8) имеет единственное

Ъ

1

ИНТЕГРО-ДИФФЕРЕНЦИАЛЬНЫЕ УРАВНЕНИЯ С ВЫРОЖДЕНИЕМ 133 обобщенное решение, определяемое формулой

і2 із

«(і, ж) = «(і, ж)0(і) =

г і—5 2 3

+ 5 ТИ //(«)«Ф<(ж)+

Ио(ж) + і«і(ж) + — «2 (ж) + — Мз(ж) +

2 о

м = . Т(^ - Аз) .1.1 V 2 6

Мі=дз 0 0

і і—5 „

1 V- Г — Л. , ^ , (і - £ - п)2

+ ^ - А 5 // ((і - £ - П) + (І £2 П) ^ (£)^Шж)

№=дз о 0

причем функция и = и(£, ж) € С+ (Нг+6(0)) является классическим решением этой задачи, если выполнены соотношения

/(0, ж) + (А2 - Аз)«з(ж) + ^«2(ж) + 7А2«1 (ж) -кА^о(ж), фі(ж) ^н;(п) =0, = Аз, ^ = ^г((т7 + к)^г - кАі).

Здесь «і (і) — резольвента ядра т(М.—д3) ^А2 - ^ + ^МІі + 7^2у - ^^з,

«(і) — резольвента ядра д3—д2 ((^МІ + 7Азі - кАз у), функция ^МІ (і) задается следующим образом:

/ ^ і2 із)

^М; (і) = (/(і,ж) + ( А2 - ^ ^і + 7^2 “2 - ^) «з(ж) +

+ ґШмі + 7^гі-к^гзі7>)«2(ж)+ ^2(7-к^іі)иі(ж)-к^з«о(ж), фі(ж)\ .

Список литературы

1. Вайнберг М. М. Теория ветвления решений нелинейных уравнений / М. М. Вайнберг, В. А. Треногин. - М. : Наука, 1969. - 528 с.

2. Владимиров В. С. Обобщенные функции в математической физике / В. С. Владимиров. - М. : Наука, 1979. - 320 с.

3. Логинов Б. В. Обобщенная жорданова структура в теории ветвления / Б. В. Логинов, Ю. Б. Русак // Прямые и обратные задачи для дифференциальных уравнений в частных производных и их приложения. - Ташкент : ФАН, 1978. - С. 133-148.

4. Сидоров Н. А. Обобщенные решения дифференциальных уравнений с фред-гольмовым оператором при производной / Н. А. Сидоров, М. В. Фалалеев // Дифференц. уравнения. - 1987. - Т. 23, № 4. - С. 726-728.

5. Фалалеев М. В. О приложениях теории фундаментальных оператор-функций вырожденных интегро-дифференциальных операторов в банаховых пространствах / М. В. Фалалеев // Неклассические уравнения математической физики. - Новосибирск : Изд-во ИМ им. С. Л. Соболева СО РАН. - С. 283-297.

6. Фалалеев М. В. Начально-краевые задачи для интегро-дифференциальных уравнений вязкоупругости / М. В. Фалалеев, С. С. Орлов // Обозрение прикладной и промышленной математики. - 2010. - Т. 17, вып. 4. - С. 597-600.

7. Existence and Uniform Decay for a Non-Linear Viscoelastic Equation with Strong Damping / M. M. Cavalcanti, V. N. Domingos Cavalcanti, J. Ferreira // Math. Meth. Appl. Sci. - 2001. - Vol. 24. - P. 1043-1053.

8. Lyapunov - Schmidt Methods in Nonlinear Analysis and Applications / N. Sidorov, B. Loginov, A. Sinitsyn and M. Falaleev. - Dordrecht : Kluwer Acad. Publ., 2002. - 548 p.

9. Munoz Rivera J. E. Regularizing Properties and Propagations of Singularities for Thermoelastic Plates / J. E. Munoz Rivera, L. H. Fatori // Math. Meth. Appl. Sci. - 1998. - Vol. 21. - P. 797-821.

10. Racke R. Asymptotic Behavior of Solutions in Linear 2- or 3-d Thermoelasticity with Second Sound / R. Racke // Quart Appl. Math. - 2003. - Vol. 61. - P. 409441.

M. V. Falaleev, S. S. Orlov

Integro-differential equations with degeneration in Banach spaces and it’s applications in mathematical theory of elasticity

Abstract. Cauchy problem for linear integro-differential operator equation with degenerated differential part of high order and convolutional type Volterra integral term is considered in article. Fundamental operator-function of integro-differential operator, appropriated of examining equation, is constructed, Cauchy problem generalized (in class of distributios with left-bounded support) and classical (N times strongly continuously differentiable) solutions existence and uniqueness theorems are proved. Obtaining results are applied to the investigation of initial boundary value problems, arised in mathematical theory of elasticity.

Keywords: Banach space, Fredholm operator, Jordan set, distribution, fundamental operator-function

Фалалеев Михаил Валентинович, доктор физико-математических наук, профессор, Институт математики, экономики и информатики, Иркутский государственный университет, 664000, Иркутск, ул. К. Маркса,

1 тел.: (3952)242210 ([email protected])

Орлов Сергей Сергеевич, аспирант, Институт математики,экономики и информатики, Иркутский государственный университет, 664000, Иркутск, ул. К. Маркса, 1 тел.: (3952)242210 ([email protected])

Falaleev Mihail, Irkutsk State University, 1, K. Marks St., Irkutsk, 664003 professor, Phone: (3952)242210 ([email protected])

Orlov Sergey, Irkutsk State University, 1, K. Marks St., Irkutsk, 664003 post-graduate student, Phone: (3952)242210 ([email protected])

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