CC BY
52
ОБЗОРНЫЕ СТАТЬИ
УДК 517.9 DOI: 10.1152!) шшр! 10201
МАТЕМАТИЧЕСКИЕ МОДЕЛИ СОБОЛЕВСКОГО ТИПА ВЫСОКОГО ПОРЯДКА
A.A. Замышляева
Статья содержит обзор результатов автора в области математических моделей на основе уравнений соболевского типа высокого порядка. Теория построена на основе известных фактов по разрешимости начальных (начально-конечных) задач для уравнений соболевского типа первого порядка. Идея базируется на обобщении теории вырожденных (полу)групп операторов на случай уравнений соболевсого типа высокого порядка: расщеплении пространств, действий всех операторов, построении пропага-торов и фазового пространства однородного уравнения, а также множества допустимых начальных значений для неоднородного уравнения. Мы используем уже хорошо зарекомендовавший себя при решении уравнений соболевского типа метод фазового пространства, заключающийся в редукции сингулярного уравнения к регулярному, определенному на некотором подпространстве исходного пространства. В работе проводится редукция математических моделей к начальным (начально-конечным) задачам для абстрактного уравнения соболевского типа высокого порядка. Полученные результаты могут найти дальнейшее применение при исследовании задач оптимального управления, нелинейных математических моделей, а также для построения теории уравнений соболевского типа высокого порядка в квазибанаховых пространствах.
Ключевые слова: уравнения соболевского типа высокого порядка; фазовое пространство; пропагаторы; начально-конечная задача; относительный спектр.
Введение
Актуальность изучения математических моделей на основе уравнений соблевского типа высокого порядка обусловлена необходимостью исследования важных прикладных задач, в частности, в области физики атмосферы, физики плазмы, теории электрических цепей, теории ползучести металлов, динамики колебаний стратифицированной жидкости, теории фильтрации, биологии и других. Именно развитие теории уравнений соболевского типа [1] позволило поставить вопрос об аналитическом и численном исследовании как существующих задач, так и новых в рамках сложившихся направлений математического моделирования, например, в теории звуковых и молекулярных волн, гидродинамике, теории упругости и других, описываемых уравнениями высокого порядка [2-8].
Несмотря на то, что первые исследования уравнений неразрешенных относительно старшей производной по времени появились еще в работах А. Пуанкаре в 1885 году [9], а систематическое изучение начально-краевых задач для таких уравнений началось в 40-х годах прошлого столетия с работ С.Л. Соболева [10], в настоящее время теория уравнений соболевского типа активно развивается и переживает пору бурного расцвета. Сформировались научные направления, вокруг которых сложились научные школы [11-17].
Данная работа проведена в рамках направления, возглавляемого Г.А. Свиридюком, и посвящена исследованию математических моделей на основе неклассических уравнений математической физики высокого порядка. В статье описываются разработанные автором абстрактные методы [18, 20], которые применяются к исследованию следующих математических моделей:
Математическая модель Дежен линейных волн в смектиках. Уравнение линейных волн в смектиках [21], впервые полученное P.G. de Gennes, имеет вид
д2 д2
д^2 Лзu = ai д^2 A2u, ai > 0, (1)
. . a т_ _
где Лз = Д2 + , Л 2 = oXf + dx1' -Исходная модель имеет смысл в цилиндрической обла-
сти по переменным {z,xi,x2} € [a,b] х Q. В случае установившихся звуковых колебаний в смектике
u(x1, x2, z, t) = v(x1,x2, z) exp(-iwt), исходное уравнение примет вид
д2 2 i
^2V + a2v) + a2Л2V = 0, a2 = w2a-1. (2)
Дополним это уравнение начально-краевыми условиями
v(x, 0) = v0(x), vz(x, 0) = v1(x), x = (x1,x2) € Q,
v(x,z) = 0, (x,z) € dQ х R. (3)
Линеаризованная математическая, модель Benney - Luke. В цилиндре [0, l] х R рассмотрим линеаризованное уравнение Benney - Luke [22].
utt uxx + auxxxx buxxtt = °) (4)
с краевыми условиями Бенара
u(0, t) = uxx(0, t) = u(l, t) = uxx(l, t) = 0. (5)
Математическая модель (4), (5) с тем или иным начальным условием описывает двусторон-
нее распространение длинных волн на мелкой воде с учетом поверхностного натяжения.
Математическая модель колебаний в конструкции. Пусть G = G(V; E) - конечный связный ориентированный граф, где V = {Vi}m=i - множество вершин, а E = {Ej}n=i -множество дуг. Мы предполагаем, что каждая дуга имеет длину lj > 0 и толщи ну dj > 0. G
^ujtt ujxxtt = a(ujxxt ^ ujt) + e(ujxx ^ uj)) x € (0, lj)) t € R) j = 1,n. (6)
Для уравнений (6) в каждой вершине Уг, I = 1,ш зададим краевые условия
^ ^щх(0,г) - ^ dkПкх{1к,г) =0, (7)
у.Ез&Еа(У) к:Ек&Е" У)
щ(0, г) = щ (о, г) = ик (1к, г) = ит(1т, г), (8)
для всех Е3, Е3 € Еа(Уг), Ек, Ет € Еш(Уг). Здесь через Еа(ш')(Уг) обозначено множество дуг с началом (концом) в вершине Если дополнить (7), (8) начальными условиями
Uj(х, 0) = u0j(х), иц(х, 0) = u1j(х), для всех х € (0,^), ] = 1,п, (9)
то получим математическую модель, представляющую процессы колебаний в конструкции ИЗ ТОНКИХ упругих стержней. Функции Uj (х, г) определяют продольное смещение в точке х
в момент времени ¿на j-м элементе конструкции. Параметры Л, Лг, Л", аж в характеризуют материал, из которого изготовлены стержни.
Математические модели (2), (3) и (4), (5) с тем или иным начальным (начальноконечным) условием в подходящих банаховых пространствах могут быть редуцированы к соответствующим задачам для неполного уравнения соболевского типа высокого порядка
Lu(n) = Mu + f (10)
с относительно ^-ограниченным или относительно р-секторпальным оператором в правой части.
Разработанная автором теория полных уравнений соболевского типа высокого порядка
Au(n) = Bn-iu(n-1) + ... + Bou + f (11)
с относительно полиномиально ограниченным пучком операторов позволяет исследовать математическую модель (6)-(9).
Стандартной задачей для уравнений (10), (11) является задача Коши
u(m)(0)= um, m = 0,... ,n — 1. (12)
Наряду с задачей (12) для уравнений соболевского типа ставится условие Шоуолтера -Сидорова [24]
L(u(m\0) — um) = 0,m = 0,... ,n — 1. (13)
Обе задачи в зависимости от методов исследования могут пониматься в различных смыслах (классическом, обобщенном, ослабленном, сильном и т.д.), однако очевидно, что задача (13)
L
задачи совпадают, а значит, совпадают и их решения. Однако, задача Шоуолтера - Сидорова для уравнений соболевского типа более естественна, нежели задача Коши. В данной работе рассматривается задача Шоуолтера - Сидорова в более общей постановке:
P(u(m')(0) — um) = 0, m = 0,... ,n — 1, (14)
где P - спектральный проектор. При проведении вычислительных экспериментов условия Шоуолтера - Сидорова предпочтительнее, нежели условия Коши, так как не возникает необходимости проверки принадлежности начальных значений фазовому пространству уравнения.
Естественным обобщением задачи (14) является начально-конечная задача [25]
Pin(u(m')(0) — u°m) = 0, Pfin(u(m)(T) — um) = 0, m = 0,... ,n — 1. (15)
Здесь Pin и Pfin - специальным образом построенные относительно спектральные проекторы. Термин «начадьно-конечная задача> появился относительно недавно и отражает тот факт, что для уравнения (10) или (11) часть данных задается в начале временного промежутка [0,Т], а другая часть - в конце. Первоначально она называлась «задачей сопря-
жения> и рассматривалась как обобщение задачи с данными на свободной поверхности. Именно в этом контексте была построена теория таких задач для линейных уравнений соболевского типа первого порядка, и разработаны приложения этой теории.В данной работе эти идеи и методы распространены на случай уравнений соболевского типа высокого порядка. Необходимо отметить, что в настоящее время начально-конечные задачи для неклассических уравнений математической физики активно изучаются, в том числе и на множествах различной геометрической структуры [26].
Наш подход основан на концепции относительного спектра, предложенной Г.А. Сви-ридюком [1, 27], и развитой его учениками [28-30]. Кроме того, методы, предложенные Г.А. Свиридюком, легли в основу теории оптимального управления [43, 32], стали фундаментом алгоритмов численного решения уравнений леонтьевского типа (т.е. конечномерных уравнений соболевского типа) [33], которые в свою очередь сыграли важную роль в численных исследованиях экономических [34, 35] и технических моделей [36, 37].
Результаты, представленные автором, легли в основу аналитических и численных исследований полулинейных уравнений соболевского типа второго порядка [38, 44], находят свое применение при исследовании стохастических уравнений [40, 41].
Статья кроме вводной части и списка литературы содержит шесть параграфов. Первый параграф посвящен изучению абстрактной задачи Коши для уравнения соболевского типа высокого порядка с относительно р-огранпченным оператором [19]. Эти результаты применяются во втором параграфе для исследования математической модели линейных волн в смектиках [42]. В-третьем параграфе рассматривается задача Коши и начальноконечная задача для уравнения соболевского типа высокого порядка (10) в случае (L, n,p)-
M
кретным примером, приведенным в четвертом параграфе. Здесь исследуется математическая модель Бенни - Люка с начальным (начально-конечным) условием [43]. В пятом параграфе приводится разработанная автором теория относительно полиномиально ограниченных пучков операторов [29], которая используется в шестом параграфе при исследовании математической модели продольных колебаний в конструкции на основе уравнений Бусси-неска - Лява на конечном связном ориентированном графе, результаты которой опубликованы в [44].
Наконец заметим, что все рассмотрения проводятся в вещественных банаховых пространствах, однако при рассмотрении «спектрадьных вопросов> вводится их естественная комплексификация. Все контуры ориентированны движением против часовой стрелки и ограничивают области, лежащие слева при таком движении.
1. Относительно ^-ограниченные операторы
Пусть U, F ~ банаховы пространства и операторы L, M Е L(U; F) (линейны и непрерывны) .
Определение 1. Множество
pL(M) = [j Е C :(jL — M)-1 Е L(F; U)}
ML че, L-резольвентным множеством оператора M). Множесmeo C\pL(M) = aL(M) называется спектром оператора, M относительно оператора L (короче, L-спектром оператора M
LM
LM
Определение 2. Оператор-функции
(jL — M )-1, RL = (jL — M )-1L, LL = L(jL — M )-1
с областью определения pL(M) называются соответственно резольвентой, правой резольвентой, левой резольвентой оператора M относительно оператора L (короче, L-
L
Теорема 1. [1] Ь-резольвента, правая и левая Ь-резольвента оператора аналитичны в своей области определения.
Определение 3. Оператор М называется спектрально ограниченным относительно оператора Ь (короч е, (Ь, а)-ограниченным), если
За> 0 Чц Є С : (\ц\ > а) ^ (ц Є рь(М)).
Замечание 2. Пусть существует оператор Ь-1 Є £(3,и). Оператор М (Ь, а)-ограничен точно тогда, когда ограничен оператор Ь-1М ( или МЬ-1).
М (Ь, а)
1 ^ _ 1 [ тЬ<
р=Ь! =Ь! ь"(м )іА
г г
являются проекторами, причем Р : И ^ & и Q : 3" ^ 3- Здесь Г = {А Є С : \А\ = г > а}.
Положим И0 = кег Р, 30 = кег ^ И1 = іт Р, 31 = іт Обозначим через Ьк(Мк) сужение оператора Ь (М) на подпространство Ик, к = 0,1.
М (Ь, а)
(г) операторы Ьк, Мк : Ик 3к, к = 0,1;
(И) существует оператор М-1 Є £(3°, И0);
(т) существует оператор Ь-1 Є £(31,И1);
(т) оператор М1 Є £(И1, 31)-
В условиях теоремы 2 построим операторы Н = М°-1Ь° Є £(И°) и 5 = Ь-1М1 Є £(И1). Тогда
(ГО \ ГО
- ^ цкНк М0-1(1 - Q) + ^ ц-кБк-1Ь-1 Q. к=0 ) к=1
(16)
Определение 4. Бесконечно удаленная тючка, Ь-резольвенты оператора М называется (г) устранимой особой точкой, если Н = О;
(И) полюсом порядка, если Нр = О, Нр+1 = О; р € М,
(Иг) существенно особой точкой, если Нд = О € N.
Далее устранимую особую точку так же будем называть полюсом порядка нуль.
Замечание 3. В дальнейшем (Ь, а)-ограниченный оператор М, будем называть (Ь,р)-ограниченным, если точка ж является полюсом порядка р € {0} и N его Ь-резольвенты.
Определение 5. Обозначим через ф0 € кег Ь\{0} собственный вектор оператора Ь. Упорядоченное множество {ф1,ф2, • • •} С тЬ называется цепочкой М-присоединенных векторов собственного вектора ф0, если
Ьфд+1 = Мфд, д = 0,1, 2 • • •, фд € кег Ь при д = 1, 2, • • •
Говорят, что цепочка конечна, если существует такой М-присоедпненный вектор фр, что либо фр € ¿отМ, либо Мфр € 1тЬ. Мощность конечной цепочки называется ее длиной.
МЬ
МЬ
Теорема 3. [1] Пусть оператор Ь - фредгольмов (т.е. тёЬ = 0). Тогда, следующие утверждения эквивалентны
(і) оператор М (Ь,р)-ограничен;
ЬМ
высоты больше р.
Определение 6. Оператор-функцию V• Є СГО(М; £(И)) будем называть пропагатором однородного уравнения (10), если для любого V Є И вектор-функция и(і) = Vбудет решением этого уравнения.
М(Ь, а)
где контур Г = {ц Є С : \ц\ = К > а}, определяют пропагаторы уравнения (10) при всех
Р Є £(И) определен в лемме 1).
Определение 7. Подпространство V С И называется фазовым пространством однородного уравнения (10), если
(i) любое решение и = и(і) уравнения (10) лежит в V, т.е. и(і) ЄР Ші Є М.
(ii) при любых ит, т = 0, ...,п - 1 ЄР существует единственное решение задачи (10), (12).
Замечание 4. Если существует оператор Ь-1 Є £(И), то в силу непрерывности оператора МИ
Теорема 5. Пусть оператор М(Ь,р)-ог^ничен, р Є {0} и N Тогда подпространет,во И1 является фазовым пространетвом однородного уравнения (10).
Рассмотрим задачу Коши (12) для неоднородного неполного уравнения соболевского типа (10), где вектор-функцию / : (—т,т) ^ 3 определим позже.
М(Ь, р)
на две независимые задачи
(17)
г
іЄ М
Лемма 2. (г) 11^, Є С ГО(М; £(И; И1)), (-1г где т = 0,1,... ,п — 1, I = 0,1,... ,т; (И) (П.т)^ = О пРи т = I, = По = Р. (Напомним, что проектор
Рассмотрим сначала задачу (18). Пусть /° € Сп(р+1') ((-т,т); 3°), тогда простой подстановкой можно убедиться, что вектор-функция
р
и0 (і) = -£ Н*М-1(1 - Q)/^(і) (20)
(20)
*=0
является решением уравнения (18). Если вдобавок
(21)
то вектор-функция (20) служит решением задачи (18).
Перейдем к задаче (19). Пусть вектор-функция f1 € С((-т,т); З1), тогда вектор-функция
П— 1
10- ± л
и\г) = ^2 УШиШ + V— Ь-1Я! (Ф-,г Є {-т,т) (22)
ш=0 п
будет решением задачи (19).
Теорема 6. Пусть оператор М(Ь,р)-ог^ничен, р € {0} и N Пусть вектор-функция f : (-т,т) ^ З такова, что f0 € Сп(р+1\( -т,т); З0), и 1 € С((-т,т); З1)- Пусть начальные значения удовлетворяют соотношениям
(.I - и00)ит = -£ И“ М-1 f °(0). т = 0,- 1.
“=0
Тогда, существует единственное решение задачи (10), (12), которое можно представить в виде и(Ь) = и0(Ь) + и1(Ь), где и0(Ь) определено формулой (20), а и1(Ь) - формулой (22).
2. Математическая модель Дежен линейных волн в смектиках
Начально-краевую задачу для уравнения (2) можно описать в терминах задачи (12) для уравнения (10). Редуцируя математическую модель (2), (3) к задаче (10), (12), положим
й = {V € ш1+2(О) : у(х) =0,х € дО}, З = (О)
или
И = {V Є С1+2+1 (О) : у(х) = 0,х Є дО}, 3 = С1+(О),
где Ш^(О) - пространства Соболева 2 < я < ж, Є1+1 (О) - пространства Гельдера 0 < 7 <
1, І = 0,1,.... Положим для удобства а = -а2, А = А2. Операторы Ь и М зададим формулами Ь = А — а, М = а А При люб ом І Є {0} и N операто ры Ь, М Є С(И] 3)-
Обозначим через {Ак} множество собственных значений однородной задачи Дирихле в области О для оператора Лапласа А, занумерованное по невозрастанию с учетом кратности, а через {фк} _ семейство соответствующих собственных функций, ортонормированных относительно скалярного произведения < •, • > из Ь2(О).
Лемма 3. Пусть а Є Ж- Тогда опера тор М (Ь, 0)-ограничен.
Итак, в силу теоремы 6 справедлива
Теорема 7. (г) Пусть а Є & (А). Тогда при любых v0,vl Є И существует единственное решение задачи (2), (3), которое к тому же имеет, вид
V(z) = V <V0,фk > фкеЫ аАк г + У"' <V0,фk > фкС0в\ а<Хк ЧХк — а а>Хк V
+^ <„ифк >фк]іщ—аЛ]і^—аг+
а<\ь V V
а\к
----
а — Ак-і- I аАк г. (23)
(И) Пусть а € &(А). Тогда, при любых
Уо,У1 € И1 = {V € и :< V, фк >= 0, А = Ак} существует единственное решение задачи (3),(2), имеющее вид (23).
Замечание 5. Результаты этой теоремы легко транскрибируются в терминах исходного уравнения (1), если учесть связь между функциями и и V.
3. Относительно р-секториальные операторы
Основы теории относительно р-секториальных операторов были заложены Г.А. Свпрп-дюком и развиты в работах его учеников. Мы распространим эти идеи и методы на случай уравнения произвольного порядка. Пусть И и 3 _ банаховы пространства, операторы Ь € С(И; 3) М € С1(И; 3) (линеен, замкнут, плотно определен в И). Построим множества а^(М) = {/л € С : Лк € аь(М)}, р^(М) = С \ а^(М).
Определение 8. Оператор М назовем (и, р)-секторпальным относительно оператора Ь или (Ь, и, р)-секторпадьным, если существуют константы К > 0 0 € (п/2,п) такие, что множество
Зки(М) = {л € с : \ агё(ЛП)\ <0, Л = 0} С Рп(М), (24)
причем
\\Rfrn\\Ь^п,р](М)\\с(-з)) < П К ^Лк € во,п(М), к = 0,Р■ (25)
П \лпк\
к\ к=0
Лемма 4. [1] Пусть оператор М (Ь,и,р)-секториален. Тогда длины всех цепочек М-присоединенных векторов ограничены числом р.
Возьмем а € рь (М) и редуцируем однородное уравнение (10) к паре эквивалентных ему уравнений
RL(M)и(к) = (аЬ - М)-1Ми, (26)
Ььа(М)/(к) = М(аЬ - М)-1 ¡. (27)
Операторы в правых частях (26), (27) можно отождествить с непрерывными операторами, определенными на пространствах И и 3 соответственно. Поэтому уравнения (26), (27) удобно рассматривать как конкретные интерпретации уравнения
Av{к) = Бу, (28)
определенного на банаховом пространстве V, причем операторы А, Б € С(Ю). Вектор-функцию V € Ск(М+; V), удовлетворяющую уравнению (28), будем называть решением этого уравнения.
Определение 9. Оператор-функцию V* € Сте(М+; С(Ю)) будем называть пропагатором уравнения (28), если для любого V € V вектор-функция и(Ь) = Vtv будет решением этого уравнения.
М ( Ь, и, р)
Шварца,
ит = 7^1 Лк-т-1(лкЬ - М)-1 Ьв^ёл, (29)
1
Рт = П / ^П-т-1 Ь(^ПЬ - МУ1^*^ (30)
і
где і Є М+, т = 0,1,... ,п — 1, а 7 С р%(М)-контур, образованный лучами, выходящими из начала координат под углами 0 и —0, определяют пропагаторы однородного уравнения (26) и (27) соответственно.
п— 1 п—1 п— 1 п—1
Положим И0 = П кег и,' • = Р| {ф Є И : и*ф = 0 Зі Є М+}, 3° = П кег = П {ф Є
т=0 т=0 т=0 т=0
3 : Ь^ф = 0 Зі Є М}+ и через Ь0 (М0) обозначим сужение оператора Ь (М) на И0 (И0 П
ёош М).
Следствие 1. В условиях леммы 5 операторы Ь0 Є С(ИР] 30), М0 Є С ¡(И0; 3"0), причем существует оператор М—1 Є С(3°]И0).
Положим И1 = іш и0 = {и Є И : * 1іш+ и*и = и}, 31 = іш = {/ Є 3 : ¿ІІЩ+ ^о/ = /} и
через Ь1 (М^) обозначим сужение оператора Ь (М) на И1 (И1 П ёош М).
Следствие 2. В условиях леммы 5 операторы Ь1 Є С(И1; 31) М1 Є С ¡(И1; 3"1)-
И0 ® И1 С И и 30 ® 31 С 3- В дальнейшем нам потребуются две гипотезы:
И0 фИ1 = И (30 ф 31 = 3), (31)
существует оператор Ь—1 Є С(31;И1). (32)
Гипотеза (31) имеет место, например, в случае рефлексивности пространства И (3) (теорема Яги - Федорова [45]). Гипотеза (32) справедлива, если выполнено (31) и іш Ь1 = 31 (теорема
Банаха). Заметим еще, что из (31) вытекает существование проекторов Р = в — *1ігп и0 и
Q = в — *1ігп в пространствах И, 3 соответственно.
Следствие 3. Пусть оператор М (Ь,п,р)-секториален, причем выполнены (31), (32). Тогда оператор Н = М—1Ь0 Є С(И°) нильпотентен степени р.
Теперь у нас все готово для исследования однозначной разрешимости задачи Коши
Ііш и(т\і) = ит, т = 0,1,...,п — 1 (33)
*^0+
( Ь, п, р ) М
(32) редуцируется к виду
Н (и0)(п) = и0 + М—1/0, (34)
(и1)(п) = Би1 + Ь-п/1, (35)
где /0 = (I — Q)f /1 = Qf, и0 = (I — Р)и, и1 = Ри.
Пусть вектор-функция
/0 Є Сп(р+1)([0,Т]; д0), тогда существует единственное решение уравнения (34), которое к тому же имеет вид
и0
(і) = — Ё Нд М—1/ 0{пд)(і).
я=0
Отсюда непосредственно следует, что начальные значения um с необходимостью должны принадлежать множествам
p
Mkf = {и Є U : (I-P)u = -^ Hq M—lf0(nq+k)(0)}, k = 0,... ,n — 1. (36)
q=0
Перейдем к уравнению (35). Можно показать, что для любых и}т Є Ul, m = 0,...,n — 1 и f1 Є C([0, T]; Fl) существует единственное решение задачи Коши для уравнения (35), которое к тому же имеет вид
П— 1
ul(t) =Y Vivm +
m=0
Таким образом имеет место
Теорема 8. Пусть оператор M (Ь,п,р)-секториален, выполнены условия (31), (32). Тогда, для любых Uk Є Mk ,k = 0,...,n — 1 и вектор-функции f = f (t), t Є [0, T ], указанной выше, существует единственное решение задачи (34), (35), которое к тому же имеет, вид u(t) = u°(t) + и1 (t).
Перейдем к рассмотрению начально-конечной задачи для уравнения соболевского типа высокого порядка с относительно (п, р)-секториальным оператором.
Теорема 9. Пусть aL(M) = vLn(M)UaLLn(M), причем &fin(M) содержится в ограниченной области Q С С с кусочно гладкой границей дQ и dQ П aL(M) = 0. Тогда существуют проекторы Pfin Є L(U) и Qfin Є L(F) такие, что опера торы, L Є L(ker Pfin;ker Qfin) П L(imPfin; imQfin) и M Є Cl(ker Pfn; ker Qfn) П Cl(imPfn; imQfin).
Положим Pin = P — Pfin, очевидно, Pin Є L(U) - проектор. Возьмем T Є R+, um, um Є U и рассмотрим задачу
^1іп+ Pin(u(m)(t) — u0m) = 0, Pfin(u(m)(T) — uTm) = 0 m = 0,... ,n — 1 (37)
для линейного уравнения соболевского типа (10).
Теперь пусть оператор M (L, п,р)-сєкторишєи, выполнены условия (31), (32) и условия теоремы 9. Тогда Ufm = PfinUln + Pnum = Ulm(fin) + UlmF^ = QfinFL + QinFln = F1m(fin) + Fm(in) і причеm um(fin)m Fim(fin) можно представить в виде
Uf) = èi і ^—m—lRL’ (M Ffn = П l f—m—lLL2 (M)e^’d^, (38)
где контур Г = dQ.
Далее, ПОЛОЖИМ ІШ Pfin(in) Uyin(in)1 ІШ Qfin(in) F fin(in) ' ПОСТрОЄНИЮ Ufin Ф Uin
U1 и FfinФFrn = F1- Обозначим через Lfin(in) (Mfn(in)) сужение оператора L (M) на Ufin(in) (domM П Ufin(in)). Аналогично следствию 2 нетрудно показать, что операторы Lfin(in) Є
L(Ufin(in) ; Ffin(in) ^ Mfin(in) Є Cl(Ufin(in); Ffin(in))i ПрИЧЄМ существует ОП ЄраТОр L—in(in) Є
L(Ffin(in);Ufin(in)), a оператор Sin = L—^Mn Є Cl(Uin) будет n-секториальным, a оператор Sfin = L—nMfin : Ufin ^ Ufin - ограниченным.
t
f V—L—1 f 1 (s)ds.
Теперь у нас все готово для исследования однозначной разрешимости задачи (37) для уравнения (10), которое в силу (Ь, п, р)-секториальностп оператора М, условий (31), (32) и условий теоремы 9 редуцируется к виду
Н (и0)(п) = и0 + М-1/0, (39)
(иїгп)(п) = 8^гп + ь-П/Ігп, (40)
(игп)(п) = Бгпигп + Ь~п /гп, (41)
где /0 = (I - Я)/, /їгп(гп) = Я;гп(гп)/, П0 = (I - Р)щ П^^ = Р^п(ш)П.
Теорема 10. Пусть оператор М (Ь,п,р)-секториален, выполнены условия (31), (32) и условия теоремы, 9. Тогда для любых иП^П Є И и вектор-функции / = /(і), і Є [0,Т],
существует единственное решение задачи (37), (10), которое имеет, вид и(і) = и0 (і) +
и/гп(і)+ игп(і), где
u0(t) = -Zpq=0 HqM-f 0(nq)(t) - решение уравнения (39);
n— 1
jq-
/t-T vT _ i'T Vt-s T-1
m=0
ным условием uftn(m')(T) = Pfm{uTm);
ufin(t)=TJ -ft V{n-1){fin)L{f]n)f fm(s)ds - решение уравнения (40) с КОНЄЧ,-
uin(t) = Y, + /о Vitn-!1)(in)Li(^in)fin(s)ds - решение уравнения (41) с начальным
m=0
условием uin(m)(0) = Pm(u0m).
4. Линеаризованная модель Бенни - Люка
Редуцируем математическую модель (4), (5) к уравнению соболевского типа (10) второго порядка. Положим U = {v Є W22(0,l) : v(0,t) = v(l,t) = 0}, F = L2(О); операторы L и M зададим формулами:
d^ d2 d4
L =1 -bdX2, M = dX2 - adX4
соответственно, dom M = {v Є W24(0,l) : v(0,t) = vxx(0,t) = v(l,t) = vxx(l,t) = 0} Очевидно,
оператор L Є L(U; F) a оператор M Є Cl(U; F)
Лемма 6. При любых a,b Є R оператор M (L, 2, 0)-секториален, причем выполнены условия (31), (32).
Доказательство. Введем в рассмотрение собственные функции однородной задачи Дирихле для оператора Лапласа А = определенного в области О = [0,l]. Обозначим через
фи = sin собственные функции, соответствующие собствен НЫМ значениям Xf = — 2 ■
LM
aL(M) = {ßk = Aik_ g, k Є N \{l : Ai = . (42)
.
Поскольку Хк ~ —к? щук к ^ ж, то значит, во-первых, существует сектор требуемого раствора, содержащий аь(М), и следовательно, множество
) = € с : I )1 <0, Л = 0} С р%{М).
Во-вторых, при достаточных больших 1^1, лежащих вне этого множества, имеем
/Т \ \ \ II ^ ^ ^ ^ I «<1 2
max I\\В,^(m(m< const \ß[
Е Sg 2 (m)■
Следовательно, оператор M (L, 2, 0)-секториален.
Выясним, выполняются ли условия (31), (32). Поскольку пространства U и F рефлексивны, то в силу леммы 6 и теоремы Яги - Федорова [45] условия (31) выполняются, причем
(i) U0 = F0 = [01 U1 = U F1 = F, если 1 - ЬХк = 0;
(ii) U0 = F0 = ker L = span [^j}, U1 = [u Е U : (и, фj) = 0},
F1 = [f Е F : (f, Vj) = 0} = im L, если 1 - b\j = 0
Условие (32) тоже выполняется, причем оператор L-1 можно представить в виде
т-1 = \^ / (•> фк) фк 1 = ^ (1 - ЬХк) ■
Штрих у знака суммы означает отсутствие слагаемых, для которых 1 - ЬХк = 0. Таким образом, лемма доказана. □
Теорема 11. При любых а,Ь Е R T Е R+ ик Е U1, существует единственное решение задачи
и(к (0) = ик, к = 0,1
для уравнения (4) с краевыми условиями (5).
В силу дискретности L-сиектра aL(M) оператора M условия теоремы 9 тоже выполняются, причем для любого замкнутого контура y Е C, ограничивающего область, содержащую конечное множество точек из aL(M), и не пересекающегося с aL(M). Итак, все условия теоремы 10 выполнены, и поэтому справедлива
Теорема 12. При любых а,Ь Е R T Е R+ и^, и^ Е U, m = 0,1 существует единственное решение
и Е C2((0,T);U) П C1 ([0,T];U)
задачи
Ргп(и{т) (0) - и°т) = 0, РПп(и(т) (T) - ит)=0, m = 0,1 для уравнения (4) с краевыми условиями (5).
5. Относительно полиномиально ограниченные пучки операторов
Пусть U, F _ банаховы пространства, операторы А, Во, ■ ■ ■ ,Bn-1 Е L(U; F). Обозначим ——
через В пучок операторов Вп-1, ■ ■ ■ ,В0.
Определение 10. Множества
рА(——) = [Л Е C : (pnA - Лп 1Bn-1 - ■■■ - ЛВ1 - В0) 1 Е L(F;U)} и оА(В) = C \ pA(—) будем называть, соответственно, A - резольвентным множеством и —
AB
Определение 11. Оператор-функцию комплексной переменной RA(—) = (лпА -
цп-1 Вп-1 - ■■■ - ц,В 1 - В0)-1 с областью определения рА(—) будем называть А-резольвентой —
пучка В.
Лемма 7. Пусть операторы А, Вп-1,..., В0 € С(И; 30- Тогда, А-резолъвентное множество
—— А —— ——
пучка операторов В рА(В) открыт о, А-спектр пучка В всегда замкнут.
Теорема 13. ЯА(В) аналитична в своей области определения.
—
В
АА За € М+ Уц € С (\ц\ > а) ^ (ЯА(В) € С($;И)).
—
ВА
/ /яАСв)Лц ш °'к = 0 1--п - % (А)
1
где контур 7 = {ц € С : \ц\ = г > а}.
Замечание 6. Пусть существует оператор А-1 € С(д;И), тогда условие (А) выполняется.
—
Лемма 8. Пусть пучок В полиномиально А-ограничен, и выполнено условие (А). Тогда операторы
Р = 2-/ яА(В)Цп-1А(1ц, Я = 2-/ Цп-1АКА(В^ц (43)
7 7
являются проекторами в пространствах И и £ соответственно.
Положим И0 = кег Р, = кег Я, И1 = 1т Р, £1 = ™ Я- Из предыдущей леммы следует,
что и = И0 ® И1, Ъ = Ъ° ф Ъ1 • Через Ак (Вк) обозначим сужение операторе! А (В{)
на
Ик, к = 0,1; I = 0,- 1.
Теорема 14. Пусть пучок В полиномиально А-огщничен, и выполнено условие (А). Тогда действия операторов расщепляются:
(г) Ак єС(Ик; Ък), к = 0,1;
(гг) Вк єС(Ик; Ък), к = 0,1, I = 0,1,...,п - 1;
(Иг) существует оператор (А1 )_1 Є С(Ъ1; И1)-
3°)
(т) существует оператор (В°) 1 Є £(Ъ°;И0)-
Обозначим Н0 = (В0) 1 А°, Нк = (В°) 1 В°п-к, к = 1,п — 1, = (А1) 1 В1, к = 0,п — 1.
—
В А (А)
ствует константа Ь € М+ (Ь > а) Уц € С (\ц\ > Ь) ^
ОО ОО
ЯА(В) = — (цПН0 — ■■■ — цНп-1)к (В0) 1(1 —Я)+ ц ПУ2(ц 1^п-1 + ••• + ц п30)к (а1) 1 Я-
к=0 к=0
(44)
Замечание 7. При п = 1 представление (44) совпадает с разложением относительной резольвенты оператора в ряд Лорана (16).
Определение 13. Пусть кег А = {0}, вектор ф° Є кег А \ {0} будем называть собственным вектором оператора А. Упорядоченное множество векторов {ф1, ф2, ■■■} называется цепочкой В-прнсоеднненных векторов собственного вектора ф°, если
Для присоединенного вектора фд определим высоту, равной порядковому номеру вектора в цепочке. Линейную оболочку всех собственных и В-присоединенных векторов оператора А назовем его В-корневым линеалом. В- корневым пространством будем называть замкнутый В-корневой линеал оператора А.
Цепочка ВЗ-присоединенных векторов может быть бесконечной. В частности, она может быть заполнена нулями, если ф0 € кег А П кег Вп-1 П кег Вп-2 П ... П кег В1 П кег В0. Но она будет конечной в случае существования такого В-присоедпненного вектора что Вп-1фд + Вп-2фд-1+...+В0фд-п+1 € 1тА. Высоту д последнего В-присоедпненного вектора в конечной цепочке {ф1,ф2, ■ ■■,фq} будем называть длиной этой цепочки.
Теорема 15. Пусть операторы А,Вп-1, ■■■,B0 € £(И, 3) причем опера тор А фредгольмов. Тогда следующие утверждения эквивалентны.
ВА
р € {о} и N.
—
(гг) Пучок операторов В полиномиально А-огщничен, причем точка ж является по-
—
р А В
Определение 14. Определим семейство операторов {К1, К2,..., К^} следующим образом: Щ = О, в = п, К% = I
щ = Н0, к2 = —Нп-1,■■■, щ = —Нп+1-э,■■■, кп = —Н1
Определение 15. Точка ж называется
('{) устранимой особой точкой А-резольвенты пучка В, если К\ = К2 = ... = Щ = О;
—В
(II) полюсом порядка р € N А-резольвенты пучка В, если Кр = О, при некотором в, но К^+1 = О ПРИ любом в;
—п
(III) существенно особой точкой А-резольвенты пучка В, если Щ ф О при любом р € N.
—
Теорема 16. Пусть пучок В полиномиально А-ограничен, и точка ж является
—— (г) устранимой особой точкой функции Я^(В). Тогда опера тор А не имеет В-присоединенных векторов высоты д > п — 1, кег А = И0,™А = 31-
А —— ——
(И) полюсом порядка р € N функции ЯА(В). Тогда длина любой цепочки В-присоединенных векторов оператора А ограничена, числом р + п — 1 (цепочки длины р + п — 1 при
—0 В А И0
Аф° = 0;
Аф1 = Вп-1 ф°;
Аф2 = Вп—1ф1 + Вп—2 ф°;
Афп = Вп— 1 фп— 1 + Вп-2 фп—2 + ... + В1ф1 + В°ф°; Афп+д = Вп—1 фп+д—1 + Вп—2фп+д—2 + ... + В1фд+1 + В°фд;
д = 1,2.., фі Є кег А \ {0}, I = 1,2,...
(45)
(46)
Пусть пучок В полиномиально А-ограничен и выполняется (А). Фиксируем контур 7 = {^ € С : \^\ = г > а} и рассмотрим семейства операторов
V* = 2- / ЕА(В)(^п-к-1 А — 1лп-к-2Вп-1 — ■ ■■ — Вк+1 )е?гйр, к = 0,1,...,п — 1,г € М. (47)
1
Лемма 9. (г) При любом к = 0,1, ..^п — 1 оператор-функция Ук является пропагатором уравнения (11).
(И) При любом к = 0,1,... ,п — 1 оператор-функция, V^ является целой функцией.
(т)
г=0
I р’ \ / к’ при всех к = 0,1,... ,п — 1, I = 0,1, [О, I = к;
Теорема 17. Пусть пучок В полиномиально А-ограничен и выполняется (А), причем ж -полюс порядка р € {0} и N620 А-резольвенты. Тогда, фазовое пространство уравнения (11) совпадает с образом проектора Р.
Перейдем к исследованию задачи Коши (12) неоднородного уравнения (11). Вектор-функцию и € Сп((—т,т);И) назовем решением задачи (11), (12), если она удовлетворяет
—
А
(А)
задачи
Н0и(п) = Нп-1и(п-1) + Нп-2 и(п-2) + ■■■ + Ни + и + (В°)-1/0, (48)
и(0) = у°,и'(0) = V0, ■■■,u(n-1)(0) = у°-1.
ь}(гп = Бп-1'ш(п-1') + Бп-2^(п-2') + ■■■ + Б0,ш + (А1)-1/г, (49)
,ш(0) = v0|,w,(0) = VI, ■■■,w(n-1\о) = v10-1,
где операторы Н0 = (В0)-1А°, Н1 = (В{°)-1В1 ,...,Нп-1 = (ВЦ)-1 В°п-1 € С(Ы°), Б0 = (А1 )-1В^, Б1 = (А1)-1 В1, ■■■, Бп-1 = (А1 )-1 В°-1 € С(Ы1); вектор-функции и = (I — Р)v,/0 = (I — Я)/, w = Ри, /1 = ф/; векторы vk € Ик, к,1 = 0,1,... ,п — 1.
Рассмотрим сначала задачу (48). Пусть ж - полюс порядка р € {0} и N резольвенты
ЯА(В), тогда, в силу определения 15, операторы Кр+1 ф О Ув. Пусть /° € Ср+п((—т,т); 3°)-Тогда вектор-функция
и(1) = кп( В0 )-1 — ?(() (50)
q=0
является решением уравнения (48). Действительно, продифференцируем уравнение (48) (р — 1)
и(к) = Н0и(п+к) — Нп-1и((п+к-1) — ■■■ — Н1и(к+1) — (В0 )-1 йк /0(^.
Получим
р 1 f]q
и(1) = к1ир+п-° + щ и(р+п-2) + ■■■ + кпир — Ё кпВг1—/0(г). q=0
Продифференцировав последнее равенство по ¿, учитывая, что операторы Кр+1 ф О, У в, получим требуемое.
Если
-° У'' кп(я0)-1 ^+к *°
°к = ~2_^ кч (В°)
д=0
* = — Е кп (я°)-1 ^ /°(0), (51)
то вектор-функция (50) служит решением задачи (48).
Таким образом, доказана
——
Лемма 10. Пусть пучок операторов В полиномиально Л-ограничен, и выполнено условие
—
(Л), причем ж - полюс порядка р Є {0}иN Л-резольвенты пучка В■ Пусть вектор-функция /° Є Ср+п((—т,т); 3°), а начальные значения у^° Є И° удовлетворяют (51) к = 0,1, ...,п — 1. Тогда, существует решение и Є Сп((—т,т);Я°) задачи (48), которое можно представить в виде (50).
Перейдем к задаче (49). Пусть вектор-функция /1 Є С([—т,т]; 31) тогда вектор-функция
п-1 ^
™(і) = Е Уку1 + у УП-1(л1)-1/ 1 (s)ds, і Є (—т,т) (52)
к=0
будет решением задачи (49).
——
В А (А)
вектор-функция /1 € С((—т,т); 31)- Тогда существует решение задачи (49), которое можно представить в виде (52).
Рассмотрим множества
р й1+к
М) = ^ € И : (I — Р> = — £Кп(В00)-1 (I — Я)/(0)}, к = 0,1,...,п — 1.
1=0
—
В А (А)
—
чем ж - полюс порядка р € {0} и N А-резольвенты пучка В. Пусть вектор-функция
/ : (—т,т) ^ 3 такова, что /0 € Ср+п((—т,т); 30), и /1 € С((—т,т); 31 )• Тогда при любых
Vk € Мк, к = 0,1, ..^п — 1 существует единственное решение задачи (12), (11), которое можно представить в виде v(t) = и(Ь) + w(t), где и(Ь) определено формулой (50), а w(t) -формулой (52).
6. Математическая модель продольных колебаний в конструкции
Проведем редукцию задачи (7) - (9) для уравнений (6) к задаче Коши
и(0) = и0, и'(0) = и1 (53)
для линейного уравнения соболевского типа второго порядка
Аи" = В1и' + В0и. (54)
Через Ь2(С) обозначим множество
ЫС) = {д = (д1,д2,...,9з,...) : 9з € Ь2(0,1^)}.
Множество Ь2(С) является гильбертовым пространством со скалярным произведением
и
< g,h >= Е dj gj(x)hj(x)dx.
TT' /- C J
j
Ej ££ o
Через И обозначим множество И = {и = (щ,и2, ..^и,...) : и^ € Ш2°(0,1з), и выполнено
}И
IMlU = Е dj J(ujjx(x) + uj(x))dx.
Ej ££ o
В силу теорем вложения Соболева пространство W2(0,lj) состоит из абсолютно непрерывных функций, а значит, Я корректно определено, плотно и компактно вложено в Ь2(С). Отождествим L2(G) со своим сопряженным, и через F обозначим сопряженное относительно двойственности < •, • > пространств о к Я Очевидно, F _ банахово пространство, причем вложение Я в F компактно.
Формулой
h
< Du,v >= Е dj / (ujx(x)vjx(x) + auj(x)vj(x))dx,
Ej o
где a > 0,u,v € Я, зададим оператор, определенный на пространстве Я Фиксируем а, в > 0
и X, X1, X11 € Ми построим операторы
A = (X - a)I + D, B\ = a((a - X!)I + D), Bo = в ((a - X'')I + D).
Теорема 19. Операторы A,B1,B0 € L(U; F) причем ene ктр a (A) оператора A вещественен, дискретен, конечнократен и сгущается только к +ж.
Итак, редукция задачи (6) - (9) к задаче (53) - (54) закончена.
Из теоремы 19 вытекает, что оператор A - фредгольмов, причем kerA = {0}, если
0 € a(A)
Лемма 12. Пусть параметры, а, X, X', X" € М \ {0}, тогда пучок операторов t полиномиально A-огщничен, при чем ж является несущественной особой точкой A-резольвенты пучка t.
Замечание 8. Как нетрудно видеть, в случае 0 € a(A) и X = X' = X'' пучок операторов t
A
Замечание 9. В случае 0 € a(A) или (0 € a(A)) Л (X = X' = X'') имеет место выполнение условия
У (р2 A — pB1 — B0 )-1dр = 0, (A)
Y
где y = {|р| = r > a}, a - константа из определения полиномиальной A-ограниченности. Это условие является необходимым и достаточным при построении фазового пространства. В случае (0 € a(A)) Л (X = X')
У (р2 A — pB1 — B0) 1dp = 0,
Y
поэтому он исключается из дальнейших рассмотрений.
Пусть (Хк} - собственные значения оператора Р, занумерованные по неубыванию с учетом их кратности, а (фк} - соответствующие им ортонормпрованные в смысле Ь2(0) функции. Построим проекторы
0 £ а(Л);
P = ^ 1 - < •у фк > фк у 0 £ а(Л);
Afc=A—а
(I, 0£ а(Л);
Q =S I - < •уфк > Фк, 0 £ а(Л),
I Ak=Х—а
определенные на пространствах Я и F соответственно, и пропагаторы уравнения (54)
У0 = J(ц2Л - цВ1 - Во) 1(цЛ - B\)e^tdp =
Y
£'
цк(Х - (а + Хк)) + а(Х — (а + Хк)) k + (Х - (а + Хк)М - ик)
+ ßj(Х - (а + Хк)) + а(Х' - (а + Хк)) t + (Х - (а + Хк))(цк - ик)
+ 1 ( о 1 + ^^ е^к * — е^-к*
VI ^ = ъИ у А - 11В1 - В°) Ле^ ^ = ^ (р1 — р2) < •,Фк > Фк’
1
где аА(В) = {^к’2 : к € М}, а рк’2 ~ корни уравнения
(А — (а + Хк + а(Х — (а + Хк ))р + в (Х" — (а + Хк)) = 0.
Здесь штрих у знака суммы означает отсутствие слагаемых с номерами к такими, что Х = а + Хк-
Отсюда справедлива
Теорема 20. Пусть а,Х,Х',Х" € М \ (0^ (г) 0 € а(А). Тогда, фазовым пространством уравнений (54) является все пространство Я, т.е. для любых и0,и1 € Я существует единственное решение и € С2(М;Я) задачи (7) - (9) для уравнений (6), которое имеет вид и(Ь) = Уо ио + У*и1.
(п) 0 € а ( А) и Х = Х, но Х = Х". Тогда, фазовым пространством уравнений (6) является подпространство Я1 = (и € Я :< и,фк >= 0, при Хк = Х — а}, т.е. для любых и0,и1 € Я1 существует единственное решение и € С2(М;Я1) задачи ((7) - (9) для уравнений (6), которое имеет вид и(Ь) = У^ио + У-*и1.
Автор вы,ра,жмет свою искреннюю признательность профессору Г.А. Свиридюку за постановку задачи, интерес к работе и предоставленные возможности.
Литература
1. Sviridyuk, G.A. Linear Sobolev Type Equations and Degenerate Semigroups of Operators /
G.A. Sviridyuk, V.E. Fedorov. - Utrecht; Boston; Köln; Tokyo: VSP, 2003. - 179 p.
2. Cristiansen, P.L. On a Toda Lattice Model with a Transversal Degree of Freedom / P.L. Cristiansen, V. Muto, P.S. Lomdahl // Nonlinearity. - 1990. - № 4. - P. 477-501.
3. Boussinesq, J.V. Essai sur la théorie des eaux courantes. - Mém. Pésentés Divers Savants Acad. Sei. Inst. France. - 1877. - № 23. - P. 1-680.
4. Ладыженская, O.A. Математические вопросы динамики вязкой несжимаемой жидкости / O.A. Ладыженская. - М.: Физматгиз, 1961. - 204 с.
5. Темам, Р. Уравнения Навье - Стокса. Теория и численный анализ / Р. Темам. - М.: Мир, 1981. - 408 с.
6. Баренблатт, Г.И. Об основных представлениях теории фильтрации в трещиноватых средах / Г.И. Баренблатт, Ю.П. Желтов, И.Н. Кочина // Прикладная математика и механика. - 1960. - Т. 24, № 5. - С. 852-864.
7. Chen, P.J. On a Theory of Heat Conduction Involving Two Temperatures / P.J. Chen,
M.E. Gurtin // Z. Angew. Math. Phys. - 1968. - V. 19. - P. 614-627.
8. Осколков, А.П. Нелокальные проблемы для одного класса нелинейных операторных уравнений, возникающих в теории уравнений типа С.Л. Соболева / Осколков А.П. // Зап. науч. сем. ЛОМИ. - 1991. - Т. 198. - С. 31-48.
9. Poincare, H. Sur 1’equilibre d’une mass fluide animee d’un mouvement de rotation /
H. Poincare // Acta Math. - 1885. - V. 7. - P. 259-380.
10. Соболев, С.Л. Об одной новой задаче математической физики / С.Л. Соболев // Изв.
АН СССР, серия «Математика:». - 1954. - Т. 18, вып. 1. - С. 3-50.
11. Demidenko, G.V. Partial Differential Equations and Systems not Solvable with Respect to
the Highest Order Derivative / G.V. Demidenko, S.V. Uspenskii. - N.Y.; Basel; Hong Kong: Marcel Dekker, Inc., 2003. - 632 p.
12. Showalter, R.E. Hilbert Space Methods for Partial Differential Equations / R.E. Showalter.
- Pitman; London; San Francisco; Melbourne, 1977.
13. Favini A. Degenerate Differential Equations in Banach Spaces / A. Favini, A. Yagi. - N.Y.; Basel; Hong Kong: Marcel Dekker, Inc., 1999. - 336 p.
14. Lyapunov-Shmidt Methods in Nonlinear Analysis and Applications / N. Sidorov, B. Loginov, A. Sinithyn, M. Falaleev. - Dordrecht; Boston; London: Kluwer Academic Publishers, 2002.
- 548 p.
15. Al’shin, A.B. Blow-up in Nonlinear Sobolev Type Equations / A.B. Al’shin, M.O. Korpusov, A.G. Sveshnikov. - Series in nonlinear analisys and applications, 15, De Gruyter, 2011.
16. Кожанов, А.И. Краевые задачи для уравнений математической физики нечетного порядка / А.И. Кожанов. - Новосибирск: НГУ, 1990. - 130 с.
17. Pyatkov, S.G. Operator Theory. Nonclassical Problems / S.G. Pyatkov. - Utrecht; Boston; Köln; Tokyo: VSP, 2002. - 348 p.
18. Свиридюк, Г.А. Фазовые пространства одного класса линейных уравнений соболевского типа высокого порядка / Г.А. Свиридюк, A.A. Замышляева // Дифференциальные уравнения. - 2006. - Т. 42, № 2. - С. 252-260.
19. Замышляева, A.A. Фазовые пространства одного класса линейных уравнений соболевского типа второго порядка / A.A. Замышляева // Вычислительные технологии. - 2003.
- Т. 8, № 4. - С. 45-54.
20. Замышляева, A.A. Фазовое пространство уравнения соболевского типа высокого порядка / A.A. Замышляева // Известия Иркутского государственного университета. Серия: Математика. - 2011. - Т. 4, № 4. - С. 45-57.
21. Габов, С.А. Новые задачи математической теории волн / С.А. Габов. - М.: ФИЗМАТ-ЛИТ, 1998. - 448 с.
22. Benney, D.J. Interactions of Permanent Waves of Finite Amplitude / D.J. Benney, J.C. Luke // J. Math. Phys. - 1964. - № 43. - P. 309-313.
23. Ляв, А. Математическая теория упругости /А. Ляв; пер. с англ. Б.В. Булгаков, В.Я. На-танзон. - М.; Л.: ОНТИ, 1935. - 674 с.
24. Свиридюк, Г.А. Задача Шоуолтера - Сидорова как феномен уравнений соболевского типа / Г.А. Свиридюк, С.А. Загребина // Известия Иркутского государственного университета. Серия: Математика. - 2010. - Т. 3, № 1. - С. 104-125.
25. Загребина, С.А. Начально-конечная задача для уравнений соболевского типа с сильно (Ь,р)-радиальным оператором / С.А. Загребина // Математические заметки ЯГУ. -
2012. - Т. 19, № 2. - С. 39-48.
26. Свиридюк, Г.А. Уравнения Баренблатта - Желтова - Кочиной на графе / Г.А. Свиридюк, В.В. Шеметова // Вестник МаГУ. Серия: Математика. - Магнитогорск, 2003. -Вып. 4. - С. 129-139.
27. Свиридюк, Г.А. Об одной модели динамики слабосжимаемой вязкоупругой жидкости / Г.А. Свиридюк // Известия вузов. Математика. - 1994. - № 1. - С. 62-70.
28. Свиридюк, Г. А. Фазовое пространство задачи Коши - Дирихле для одного неклассического уравнения / Г.А. Свиридюк, A.B. Анкудинов // Дифференциальные уравнения.
- 2003. - Т. 39, № И. - С. 1556-1561.
29. Замышляева, A.A. Линейные уравнения соболевского типа высокого порядка: моногр. / A.A. Замышляева. - Челябинск: Изд. центр ЮУрГУ, 2012. - 107 с.
30. Сагадеева, М.А. Дихотомии решений линейных уравнений соболевского типа: моногр. / М.А. Сагадеева. - Челябинск: Изд. центр ЮУрГУ, 2012. - 107 с.
31. Замышляева, A.A. Оптимальное управление решениями задачи Шоуолтера - Сидорова
- Дирихле для уравнения Буссинеска - Лява / A.A. Замышляева, О.Н. Цыпленкова // Дифференциальные уравнения. - 2013. - Т. 49. - № 11. - С. 1390-1398.
32. Манакова, H.A. Задачи оптимального управления для уравнений соболевского типа: моногр. / H.A. Манакова. - Челябинск: Изд. центр ЮУрГУ, 2012. - 88 с.
33. Келлер, A.B. Задача оптимального измерения: численное решение, алгоритм программы / Келлер A.B., Назарова Е.И. // Известия Иркутского государственного университета. Серия: Математика. - 2011. - № 3. - С. 74-82.
34. Свиридюк, Г.А. Численное решение систем уравнений леонтьевского типа / Г.А. Свиридюк, С.В. Брычев // Известия вузов. Математика. - 2003. - № 8. - С. 46-52.
35. Свиридюк, Г.А. Алгоритм решения задачи Коши для вырожденных линейных систем обыкновенных дифференциальных уравнений с постоянными коэффициентами / Г.А. Свиридюк, И.В. Бурлачко // Журнал вычислительной математики и математической физики. - 2003. - Т. 43, № 11. - С. 1677-1683.
36. Шестаков, А.Л. Динамические измерения как задача оптимального управления // А.Л. Шестаков, Г.А. Свиридюк, Е.В. Захарова / Обозрение прикладной и промышленной математики. - 2009. - Т. 16, № 4. - С. 732.
37. Шестаков, А.Л. Численное решение задачи оптимального измерения / А.Л. Шестаков, A.B. Келлер, Е.И. Назарова // Автоматика и телемеханика. - 2012. - № 1. - С. 107-115.
38. Замышляева, A.A. О численном исследовании математической модели распространения волн на мелкой воде / A.A. Замышляева, Е.В. Бычков // Математические заметки ЯГУ.
- 2013. - Т. 20, № 1. - С. 27-34.
39. Замышляева, A.A. Об алгоритме численного моделирования волн Буссинеска - Лява / A.A. Замышляева // Вестник ЮУрГУ. Серия: Компьютерные технологии, управление, радиоэлектроника. - 2013. - Т. 13, № 4. - С. 24-29.
40. Замышляева, A.A. Аналитическое исследование математической модели Буссинеска -Лява с аддитивным белым шумом / A.A. Замышляева // Глобальный научный потенциал (Раздел математические методы и модели). - 2013. - № 7 (28). - С. 44-50.
41. Замышляева, A.A. Стохастическая математическая модель ионно-звуковых волн в плазме / A.A. Замышляева // Естественные и технические науки (Раздел математическое моделирование, численные методы и комплексы программ). - 2013. - № 4. - С. 284-292.
42. Замышляева, A.A. Уравнение de Gennes звуковых волн в смектиках / A.A. Замышляева // Обозрение прикладной и промышленной математики. - 2009. - Т. 16, вып. 4. -С. 655-656.
43. Замышляева, A.A. Об аналитическом исследовании линеаризованной математической модели Бенни - Люка / A.A. Замышляева // Математические заметки ЯГУ. - 2013. -Т. 20, № 2. - С. 57-65.
44. Замышляева, A.A. Начально-конечная задача для уравнения Буссинеска - Лява на графе / A.A. Замышляева, A.B. Юзеева // Известия Иркутского государственного университета. Серия: Математика. - 2010. - Т. 3, № 2. - С. 18-29.
45. Федоров, В.Е. О некоторых соотношениях в теории вырожденных полугрупп операторов // Вестник ЮУрГУ. Серия: Математическое моделирование и программирование. -2008. - №15 (115), вып. 1. - С. 89-99.
Алена Александровна Замышляева, кандидат физико-математических наук, доцент, кафедра «Уравнения математической физики>, Южно-Уральский государственный университет (г. Челябинск, Российская Федерация), alzama@mail.ru.
Поступила в редакцию 12 февраля 2014 г.
Bulletin of the South Ural State University. Series "Mathematical Modelling, Programming & Computer Software",
2014, vol. 7, no. 2, pp. 5-28.
MSC 35K70, 60H30 DOI: 10.14529/mmpl40201
The Higher-Order Sobolev-Type Models
A.A. Zamyshlyaeva, South Ural State University, Chelyabinsk, Russian Federation, alzama@mail.ru
This paper surveys the author’s results concerning mathematical models based on Sobolev-type equations of higher order. The theory is built using the available facts on the solvability of initial (initial-final) problems for first-order Sobolev-type equations. The main idea is a generalization of the theory of degenerate (semi)groups of operators to the case of higher-order equations: decomposition of spaces and actions of the operators, construction of propagators and the phase space for the homogeneous equation, as well as the set of valid initial values for the inhomogeneous equation. We use the phase space method, which is quite useful for solving Sobolev-type equations and consists in a reduction of a singular equation to a regular one defined on a certain subspace of the original space. We reduce mathematical models to initial (initial-final) problems for abstract Sobolev-type equations of higher order. The results may find further applications in the study of optimal control problems and nonlinear mathematical models, and to the construction of the theory of Sobolev-type equations of higher order in quasi-Banach spaces.
Keywords: Sobolev-type equations; phase space; propagators; initial-final problem; relative spectrum.
References
1. Sviridyuk G.A., Fedorov V.E. Linear Sobolev Type Equations and Degenerate Semigroups of Operators. Utrecht, Boston, Köln, Tokyo, VSP, 2003. DOI: 10.1515/9783110915501
2. Cristiansen P.L., Muto V., Lomdahl P.S. On a Toda Lattice Model with a Transversal Degree of Freedom. Nonlinearity, 1990, no. 4, pp. 477-501.
3. Boussinesq J.V. Essai sur la théorie des eaux courantes. Mém. Pésentés Divers Savants Acad. Sei. Inst. France, 1877, no. 23, pp. 1-680.
4. Ladyzhenskaya O.A. Matematicheskie voprosy dinamiki vyazkouprugoy neszhimaemoy zhidkosti [Mathematical Problems in the Dynamics of a Viscoelastic Incompressible Fluid]. Moscow, Fizmatgiz, 1961.
5. Temam R. Navier - Stokes Equations. Theory and Numerical Analysis. Amsterdam, N.-Y., Oxford, North Holland Publ. Co., 1979.
6. Barenblatt G.I., Zheltov Yu.P., Kochina I.N. Basic Concepts in the Theory of Seepage of Homogeneous Fluids in Fissurized Rocks. ,J. Applied Mathematics and Mechanics (PMM), 1960, vol. 24, no. 4, pp. 1268-1303.
7. Chen P.J., Gurtin M.E. On a Theory of Heat Conduction Involving Two Temperatures. Z. Angew. Math. Phys., 1968, vol. 19, pp. 614-627. DOI: 10.1007/BF01594969
8. Oskolkov A.P. Nonlocal Problems for One Class of Nonlinear Operator Equations that Arise in the Theory of Sobolev Type Equations. Journal of Mathematical Sciences, Nauka, St. Petersburg, 1993, vol. 64, issue 1 pp. 724-736.
9. Poincare H. Sur l’equilibre d’une mass fluide animée d’un mouvement de rotation. Acta Math., 1885, vol. 7, pp. 259-380. DOI: 10.1007/BF02402204
10. Sobolev S.L. [On a New Problem of Mathematical Physics]. Izvestiya Rossiiskoi Akademii Nauk, Seriya Matematicheskaya, 1954, vol. 18, issue 1, pp. 3-50. (in Russian)
11. Demidenko G.V., Uspenskii S.V. Partial Differential Equations and Systems not Solvable with Respect to the Highest Order Derivative. N.Y., Basel, Hong Kong, Marcel Dekker, Inc., 2003.
12. Showalter R.E. Hilbert Space Methods for Partial Differential Equations. Pitman, London, San Francisco, Melbourne, 1977.
13. Favini A., Yagi A. Degenerate Differential Equations in Banach Spaces. N.Y., Basel, Hong Kong, Marcel Dekker, Inc., 1999.
14. Sidorov N., Loginov B., Sinithyn A., Falaleev M. Lyapunov - Shmidt Methods in Nonlinear Analysis and Applications. Dordrecht, Boston, London, Kluwer Academic Publishers, 2002. DOI: 10.1007/978-94-017-2122-6
15. Al’shin A.B., Korpusov M.O., Sveshnikov A.G. Blow-up in Nonlinear Sobolev Type Equations. Series in Nonlinear Analisys and Applications, 15, De Gruyter, 2011. DOI: 10.1515/9783110255294
16. Kozanov A.I. Kraevye zadachi dlya uravneniy matematicheskoy fiziki nechetnogo poryadka [Boundary Value Problems for Equations of Mathematical Physics Odd Order]. Novosibirsk, NSU, 1990.
17. Pyatkov S.G. Operator Theory. Nonclassical Problems. Utrecht, Boston, Köln, Tokyo, VSP, 2002. DOI: 10.1515/9783110900163
18. Sviridyuk G.A., Zamyshlyaeva A.A. The Phase Spaces of a Class of Linear HigherOrder Sobolev Type Equations. Differential Equations, 2006, vol. 42, no. 2, pp. 269-278.
DOI: 10.1134/S0012266106020145
19. Zamyshlyaeva A.A. [Phase Spaces of Class Linear Equations of Second Order Sobolev Type]. Vychislitel’nye tekhnologii [Computational Technologies], 2003, vol. 8, no. 4, pp. 45-54. (in Russian)
20. Zamyshlyaeva A.A. [The Phase Space of Sobolev Type Equations of High Order]. Izvestiya Irkutskogo gosudarstvennogo universiteta. Seriya "Matematika " [The Bulletin of Irkutsk State University. Series "Mathematics"], 2011, vol. 4, no. 4, pp. 45-57. (in Russian)
21. Gabov S.A. Novye zadachi matematicheskoy teorii voln [New Problems of Mathematical Theory of Waves]. Moscow, FIZMATLIT, 1998.
22. Benney D.J., Luke J.C. Interactions of Permanent Waves of Finite Amplitude. J. Math. Phys., 1964, no. 43, pp. 309-313.
23. Love A.E.H. A Treatise on the mat Ematical Theory of Elasticity. Cambridge, at the university press, 1927.
24. Sviridyuk G.A., Zagrebina S.A. [The Showalter - Sidorov Problem as a Phenomena of the Sobolev Type Equations]. Izvestiya Irkutskogo gosudarstvennogo universiteta. Seriya "Matematika" [The Bulletin of Irkutsk State University. Series "Mathematics"], 2010, vol. 3, no. 1, pp. 104-125. (in Russian)
25. Zagrebina S.A. [Initial-Final Problems for Sobolev Type Equations with Strongly (L,p)-Radial Operator]. Mathematical Notes of YSU, 2012, vol. 19, no. 2, pp. 39-48. (in Russian)
26. Sviridyuk G.A., Shemetova V.V. [Barenblatt - Jeltov - Cochina Equations on the Graph]. Vestnik Magnitogorskogo gosudarstvennogo universiteta. Seria "Matematika”, [Bulletin of Magnitogorsk State University. Series "Mathematics"], 2003, issue 4, pp. 129-139. (in Russian)
27. Sviridyuk G.A. On a Model of the Dynamics of a Weakly Compressible Viscoelastic Fluid. Russian Mathematics (Izvestiya VUZ. Matematika), 1994, vol. 38, no. 1, pp. 59-68.
28. Sviridyuk G.A., Ankudinov A.V. The Phase Space of the Cauchy - Dirichlet Problem for a Nonclassical Equation. Differential Equations, 2003, vol. 39, no. 11, pp. 1639-1644. DOI: 10.1023/B:DIEQ.0000019357.68736.15
29. Zamyshlyaeva A.A. Linear Sobolev Type Equations of High Order. Chelyabinsk, Publ. Center of the South Ural State University, 2012. (in Russian)
30. Sagadeeva M.A. Dichotomy of Solutions of Linear Sobolev Type Equations. Chelyabinsk, Publ. Center of the South Ural State University, 2012. (in Russian)
31. Zamyshlyaeva A.A., Tsyplenkova O.N. Optimal Control of Solutions of the Showalter -Sidorov - Dirichlet Problem for the Boussinesq - Love Equation. Differential Equations,
2013, vol. 49, no. 11, pp. 1356-1365. DOI: 10.1134/S0012266113110049
32. Manakova N.A. Optimal Control Problem for the Sobolev Type Equations. Chelyabinsk, Publ. Center of the South Ural State University, 2012. (in Russian)
33. Keller A.V., Nazarova E.I. [Optimal Measurement Problem: Numerical Solution, Algorithm of the Program]. Izvestiya Irkutskogo gosudarstvennogo universiteta. Seriya "Matematika" [The Bulletin of Irkutsk State University. Series "Mathematics"], 2011, no. 3, pp. 74-82. (in Russian)
34. Sviridyuk G.A., Brychev S.V. Numerical Solution of Systems of Equations of Leontief Type. Russian Mathematics (Izvestiya VUZ. Matematika), 2003, vol. 47, no. 8, pp. 44-50.
35. Sviridyuk G.A., Burlachko I.V. An Algorithm for Solving of the Cauchy Problem for Degenerate Linear Systems of Ordinary Differential Equations. Computational Mathematics and Mathematical Physics, 2003, vol. 43, no. 11, pp. 1613-1619.
A.A. 3aMMinjiaeBa
36. Shestakov A.L., Sviridyuk G.A., Zakharova E.V. [Dynamical Measurements as an Optimal Control Problem]. Obozrenie prikladnoy i promyshlennoy matematiki, 2009, vol. 16, no. 4, pp. 732. (in Russian)
37. Shestakov A.L., Keller A.V., Nazarova E.I. Numerical Solution of the Optimal Measurement Problem. Automation and Remote Control, 2012, vol. 73, no. 1, pp. 97-104. DOI: 10.1134/S0005117912010079
38. Zamyshlyaeva A.A., Bychkov E.V. [Numerical Study of the Mathematical Model of Shallow Water Wave Propagation]. Mathematical Notes of YSU, 2013, vol. 20, no. 1, pp. 27-34. (in Russian)
39. Zamyshlyaeva A.A. [An Algorithm for the Numerical Modelling of the Boussinesq -Love Waves]. Bulletin of the South Ural State University. Series "Computer Technologies, Automatic Control, Radioelectronics", 2013, vol. 13, no. 4, pp. 24-29. (in Russian)
40. Zamyshlyaeva A.A. [Analytical Study of the Boussinesq - Love Mathematical Model with Additive WThite Noise]. Global’nyy nauchnyy potentsial (Razdel matematicheskie metody i modeli) [Global Scientific Resources (Section Mathematical Methods and Models)], 2013, no. 7 (28), pp. 44-50. (in Russian)
41. Zamyshlyaeva A.A. [Stochastic Mathematical Model of Ion-Acoustic Waves in Plasma]. Estestvennye i tekhnicheskie nauki (Razdel matematicheskoe modelirovanie, chislennye metody i kompleksy programm) [Natural and Technical Sciences (Section Mathematical Modelling, Numerical Methods and Complexes of Programs], 2013, no. 4, pp. 284-292. (in Russian)
42. Zamyshlyaeva A.A. [De Gennes Equation of Sound Waves in Smectic]. Obozrenie prikladnoy
i promyshlennoy matematiki, 2009, vol. 16, issue 4, pp. 655-656. (in Russian)
43. Zamyshlyaeva A.A. [An Analytical Study of the Linearized Benny - Luke Mathematical Model]. Mathematical Notes of YSU, 2013, vol. 20, no. 2, pp. 57-65. (in Russian)
44. Zamyshlyaeva A.A., Yuzeeva A.V. [Initial-Final Problem for the Boussinesq - Love Equation on a Graph]. Izvestiya Irkutskogo gosudarstvennogo universiteta. Seriya "Matematika" [The Bulletin of Irkutsk State University. Series "Mathematics"], 2010, vol. 3, no. 2, pp. 18-29. (in Russian)
45. Fedorov V.E [About Some Relations in the Theory of Degenerate Operator Semigroups]. Bulletin of the South Ural State University. Series "Mathematical Modelling, Programming & Computer Software", 2008, no. 15 (115), issue 7, pp. 89-99. (in Russian)
Received February 12, 2014
