Исследование полулинейных математических моделей соболевского типа второго порядка тема диссертации и автореферата по ВАК РФ 05.13.18, кандидат физико-математических наук Бычков, Евгений Викторович

• Бычков, Евгений Викторович
• кандидат физико-математических наук
• 2013

Оглавление диссертации кандидат физико-математических наук Бычков, Евгений Викторович

Содержание

Обозначения и соглашения

Введение

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

1.1. Элементы теории относительно р-ограниченных

операторов

1.2. Относительно полиномиально ограниченные пучки

операторов

1.3. Дифференцируемые многообразия

1.4. Монотонные операторы

1.5. Функциональные пространства. Эллиптические

операторы

Глава 2. Математические модели на основе неполных уравнений соболевского типа второго порядка

2.1. Неполное полулинейное уравнение соболевского типа второго порядка

2.2. Математическая модель колебаний в молекуле ДНК

2.3. Задача Шоуолтера-Сидорова-Дирихле для уравнения колебаний в молекуле ДНК

2.4. Математическая модель распространения волн

на мелководье

2.54. Алгоритм численного решения. Описание

программного комплекса

2.6. Вычислительный эксперимент в модели колебаний в

молекуле ДНК

Глава 3. Математические модели на основе полных

уравнений соболевского типа второго порядка

3.1. Полное полулинейное уравнение соболевского тина

второго порядка

3.2. Математическая модель Буссинеска - Лява

3.3. Задача Шоуолтера - Сидорова - Дирихле для

уравнения Буссинеска - Лява

3.4. Алгоритм численного решения. Описание

программы для ЭВМ

3.5. Вычислительный эксперимент в математической

модели Буссинеска - Лява

Заключение

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

Обозначения и соглашения

1. Множества, как правило, обозначаются заглавными буквами готического алфавита. Исключения составляют множества с уже устоявшимися названиями, например:

N - множество натуральных чисел, М - множество действительных чисел, Е+ - множество {а Є М : а > 0}, С - множество комплексных чисел,

£(Н, У) - множество линейных непрерывных операторов, действующих из пространства 11 в пространство

С°°(И, - множество операторов, имеющих непрерывные производные Фреше любого порядка, определенных в пространстве Н и действующих в пространство

- пространство Соболева, Ьр(0,) - пространство Лебега,

8рап{</?1, </?2, • • •, Ц>к} ~ линейная оболочка собственных векторов.

2. Элементы множеств и индексы обозначаются строчными буквами латинского или греческого алфавитов, кроме отображений множеств, называемых операторами и обозначаемых заглавными буквами латинского алфавита, например:

Ь : И —^-оператор, действующий из пространства И в пространство

Ь Є £(11,- обозначает, что Ь является линейным ограниченным оператором.

3. Символами I и О обозначаются, соответственно, тождественный и "нулевой"операторы, области определения которых ясны из контекста.

4. Символ о лежит в конце доказательства.

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

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

Введение

Актуальность исследования

Возрастающий интерес к уравнениям соболевского типа обусловлен тем, что математические модели многих физических процессов и явлений таких, как фильтрация вязкоупругой жидкости [2], выпучивание двутавровых балок [86], колебания в молекулах ДНК [89] - [92], [97], распространение волн на мелкой воде [1], [71], [98], [31], ионно-звуковых волн в плазме [26], фазовые переходы в рамках мезоскопи-ческой теории [54] и др., строятся на основе таких уравнений, чаще всего нелинейных [35], [37], [50], [51], [71], [68] и др. Начально-краевые задачи для нелинейных уравнений в большинстве случаев не удается решить аналитически, что актуализирует разработку алгоритмов численного решения физических и технических задач [52]. Так как задача Коши для уравнений соболевского типа является принципиально неразрешимой при произвольных начальных значениях, то при исследовании начально-краевых задач, соответствующих изучаемым моделям, необходимо, прежде всего, установить условия их однозначной разрешимости. Одним из подходов к решению проблемы является метод фазового пространства, разработанный Г.А. Сви-ридюком и Т.Г. Сукачевой. Под фазовым пространством понимается множество допустимых начальных значений, при которых задача Коши для уравнения соболевского типа будет однозначно разрешима, которое содержит все решения уравнения потраекторно. Изучение фазовых пространств полулинейных уравнений соболевского типа первого порядка начато в работе Г.А. Свиридюка для обобщенного фильтрационного уравнения Буссинеска [61] и продолжено в работах его учеников H.A. Манаковой [44], А.Ф. Гильмутдиновой [14],

В.О. Казака [30], A.A. Баязитовой [3] и др. при изучении различных полулинейных уравнений соболевского типа первого порядка.

Г.А. Свиридюком и М.М. Якуповым [75] было изучено фазовое пространство уравнения Осколкова

п доказано, что фазовое пространство является простым банаховым С'1-многообразием. В диссертации М.М. Якугюва [75] была установлена простота фазового пространства задачи Коши - Бенара для гибрида уравнения Осколкова и уравнения теплопроводности в приближении Обербека - Буссинеска, моделирующего плоскопараллельную термоконвекцию вязкоупругой несжимаемой жидкости.

Выявлению достаточных условий существования простых фазовых пространств полулинейных уравнений соболевского типа посвящена диссертация В.О. Казака [30]. В.О. Казак в своей диссертации получил условия, при которых фазовое пространство полулинейного уравнения соболевского типа первого порядка является простым банаховым многообразием.

В диссертации A.A. Баязитовой [3] метод фазового пространства был успешно применен для исследования прямых и обратных задач в моделях Хоффа. В работе получены теоремы существования и единственности решения прямых и обратных задач. Полученные результаты содержат исчерпывающую информацию о поставленных обратных задачах, носящих прикладной характер.

В диссертации П.О. Пивоваровой [53], посредством метода фазового пространства и второго метода Ляпунова проведено качественное исследование устойчивости и асимптотической устойчивости нулевых решений Хоффа, заданных как на конечном связном ориен-

тированном графе так и в ограниченной области.

Представляемая диссертационная работа содержит результаты исследования полулинейных математических моделей соболевского типа второго порядка и является развитием работ А.А. Замышляевой, посвященных линейным уравнениям соболевского типа высокого порядка. В диссертации А. А. Замышляевой [21] изучено фазовое пространство уравнения соболевского типа высокого порядка, которое является обобщением уравнений Россби длинных волн, Буссинеска -Лява, Дежен звуковых волн в смектиках и многих других. Построено семейство вырожденных аналитических М, А^-функций.

Уравнения соболевского типа и их приложения изучаются как в России, например, А.И. Кожановым [33], Г.В. Демиденко [16], И.В. Мельниковой [88], А.Г. Свешниковым [55], М.О. Корпусовым [35] и др., так и за рубежом А. Гаупп [84], А. Yagi [83] и др. Особенностью данной работы является исследование математических моделей как задач Коши для полулинейных уравнений соболевского типа второго порядка. Представим математические модели, исследуемые в работе.

Пусть О, ограниченная область из Еп, п Е N с границей дО, класса С°°. В цилиндре П х М рассмотрим математическую модель распространения волн на мелкой воде, при условии потенциальности движения и сохранения массы в слое:

(Л - Д)й = а2Ди + Д/(и), (0.0.1)

и(х,0) = щ(х), й(х, 0) = щ(х), х £ П, (0.0.2)

и(х, £) = 0, (х, £) € дП х М. (0.0.3)

Функция и(х^) определяет высоту волны в момент времени £ в точке х. Коэффициенты Х,а связывают глубину, гравитационную постоянную и число Бонда. Уравнение (0.0.1) впервые получено

(0.0.6)

J.V. Boussinesque. Математическая модель (0.0.1) - (0.0.2) рассматривалась в невырожденном случае Д.Г. Архиповым [1], G. Chen [78], [79], [98], Sh. Wang [99] и др. Впервые уравнение (0.0.1) в невырожденном случае рассматривалось в [77].

В работе исследуется математическая модель колебаний в молекуле ДНК:

и(х,0) =щ{х), й(ж,0) = щ(х),

х € U, (0.0.4)

г;(ж,0) = vq(x), v(x, 0) = vi(x), и{х, t) = v{x, t) = 0, (x, t) G dû x R, (0.0.5)

' (b + A)ü = aAu - Af(u, v),

<

(b + A)v = dAv - Ag(u,v). Система уравнений Буесинеска (0.0.6) при п = 1 моделирует распространение волн в молекуле ДНК. Коэффициенты a, b, d G R связывают размеры молекулы, линейную плотность и силу межмолекулярного взаимодействия, функции и m v определяют продольную и поперечную деформации. Система уравнений (0.0.6) при п = 1 моделирует колебания в крупных молекулах, в том числе в молекулах ДНК. При п = 1 данная математическая модель наиболее близка к модели, предложенной P.L. Christiansen, в которой учитывается, кроме всего прочего, эффект спирали. В модели [91] цепочки нук-леотидов предполагаются параллельными. Начально-краевые задачи для невырожденной системы уравнений Буссинеска рассматривались, например, в [81].

Математические модели (0.0.1) - (0.0.3), (0.0.4) - (0.0.6) роднит тот факт, что они в подходящим образом выбранных банаховых пространствах сводятся к задаче Коши

м(0) = щ, ù(0) = U\ (0.0.7)

для неполного полулинейного уравнения соболевского типа второго порядка

где Ь,М е N € С00^;^), Н, # - банаховы пространства.

На основе результатов о разрешимости задачи (0.0.7), (0.0.8), полученных в диссертации, исследованы математические модели распространения волн на мелкой воде и колебаний в молекуле ДНК.

В работе также рассматривается математическая модель Бусси-неска - Лява продольных колебаний упругого стержня с учетом инерции:

Функция и(х, t) характеризует продольное смещение, параметры а, ß, А, Л', Л" - свойства материала, из которого изготовлен стержень, и связывают между собой плотность, модуль Юнга, коэффициент Пуассона и коэффициент упругости. Необходимо отметить, что это неединственная интерпретация задачи (0.0.9) - (0.0.11). Если f(u) = и3, то уравнение (0.0.9) называется damped IMBq equation, оно описывает распространение затухающих волн на мелководье, причем а -коэффициент гидродинамического сопротивления среды. В работах A.A. Замышляевой уравнение (0.0.9) рассматривалось в линейном случае, а в работах G. Chen - только в невырожденном [80]. В работе А.П. Солдатова [67] отмечено, что задача (0.0.9) - (0.0.11) неразрешима при произвольных значениях Л и щ(х), щ(х). В диссертационном исследовании получены достаточные условия однозначной раз-

Lü = Ми + N{u)

(0.0.8)

(Л - А)й = а(А - Х')й + ß(A - Л")и + Af(u) u{0,t) = u(l,t) = 0, и(х, 0) = Uq(x), й(х, 0) = Ui(x).

(0.0.9) (0.0.10) (0.0.11)

решимости данной задачи. Математическая теория упругости наиболее полно впервые была отображена в монографии [43].

Математическая модель (0.0.9) - (0.0.11) исследуется с помощью редукции к задаче Коши

и(0) = щ, й(0) = щ (0.0.12)

для полного полулинейного уравнения соболевского типа второго порядка

Аи = Вхй + Вой + ЛГ(м), (0.0.13)

где операторы А, Ви В0 е N е С°°(и;3).

В работе указанные математические модели рассмотрены не только с условиями Коши, но и с условиями Шоуолтера - Сидорова

Р(и(0) - щ) = 0, Р(й(0) - щ) = 0, (0.0.14)

где Р - некоторый спектральный проектор. Условия (0.0.14) задают проекции решений в начальный момент времени. Условия Шоуолтера - Сидорова при проведении вычислительного эксперимента предпочтительнее, нежели условия Коши, так как не возникает необходимости проверки принадлежности начальных значений фазовому пространству уравнения. Более того условия Шоуолтера - Сидорова обобщают условия Коши и являются более естественными для уравнений соболевского типа. Они были введены независимо друг от друга Р1.Е. ЭЬошакег и Н.А. Сидоровым. Задача Шоуолтера - Сидорова для линейных уравнений соболевского типа исследовалась, например, в [20].

Целью работы является исследование математических моделей распространения волн на мелкой воде, колебаний в молекуле ДНК

и продольных колебаний в упругом стержне на основе уравнений соболевского типа с последующей разработкой алгоритмов методов численного решения и программ. Для достижения поставленной цели необходимо решить следующие задачи:

1. Разработать метод исследования математических моделей, основанных на полулинейных уравнениях соболевского типа второго порядка;

2. Исследовать математическую модель распространения волн на мелкой воде как задачу Коши для неполного полулинейного уравнения соболевского типа второго порядка;

3. Исследовать математическую модель колебаний в молекуле ДНК как задачу Коши и задачу Шоуолтера - Сидорова для неполного полулинейного уравнения соболевского типа второго порядка;

4. Исследовать математическую модель Буссинеска - Лява как задачу Коши и задачу Шоуолтера - Сидорова для полного полулинейного уравнения соболевского типа второго порядка;

5. Разработать и реализовать в виде программ для ЭВМ алгоритмы методов численного решения задачи Шоуолтера - Сидорова -Дирихле для системы уравнений Буссинеска и полулинейного уравнения Буссинеска - Лява.

Научная новизна

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

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

Историография вопроса

Бурное развитие гидродинамики и механики послужило толчком к появлению множества математических моделей, описываемых системами и уравнениями в частных производных, не разрешенных относительно старшей производной по времени. Впервые уравнения или системы уравнений в частных производных, не разрешенные относительно старшей производной по времени, встречаются в работах А. Пуанкаре [93]. Систематическое изучение таких задач начато в классической работе С.Л. Соболева [65]. Позже появились аналогичные модели в других областях естествознания и экономики. Следуя II. Е. Sllowalter, как и абстрактные операторно-дифференциальные уравнения вида с необратимым оператором при старшей производной по времени, так и их конкретные интерпретации в виде уравнений или систем уравнений в частных производных будем называть уравнениями соболевского типа. В дальнейшем всюду мы считаем этот термин синонимом терминов "псевдопараболические уравнения" [33], [34], "уравнения типа Соболева" [57], [61], [62], "уравнения типа Соболева - Гальперна" [36] и "уравнения не типа Коши - Ковалевской". И.Г. Петровский и Ж.Л. Лионе указывали на необходимость создания общей теории уравнений соболевского типа. В настоящее время уравнения соболевского типа являются самостоятельной частью неклассических уравнений математической физики [10].

Значительный интерес к уравнениям соболевского типа возник, с одной стороны, после результатов, полученных J. Leray и J. Schauder, Е. Hopf по системе Навье-Стокса

Vt — vAv + Vp = О, div v = О,

с другой стороны, после серии работ C.JI. Соболева по динамике гра-витирующей жидкости, одна из которых [65] посвящена изучению динамики волчка, наполненного жидкостью. Данная работа легла в основу нового поколения, которое вначале развивали ученики С.Л. Соболева P.A. Александрян, С.А. Гальперн, Т.И. Зеленяк [4]. Их исследования охватили линейные уравнения вида

Ьй = Ми, (0.0.15)

где L, М G £(11, дифференциальные операторы по пространственным переменным.

Задачу Коши для абстрактного дифференциально-операторного уравнения впервые начал изучать М.И. Вишик [11] и независимо от него С.Г. Крейн [39] и И.Ц. Гохберг [15] вместе с учениками [8]. Ими был детально изучен случай (L, ^-ограниченности оператора М (в нашей терминологии) при условии фредгольмовости оператора L (т.е. indL = 0). Было показано, что фазовым пространством уравнения (0.0.15) служит некоторое подпространство в 11 коразмерности равной размерности М-корневого пространства оператора L. Упомянутые работы носят чисто теоретических характер и не имеют приложений.

В работе [5] теория степени нелинейных собственных фредголь-мовых отображений и ее модификации были применены Ю.Г. Бо-

рисовичем, В.Г. Звягиным, Ю.И. Сапроновым к операторным уравнениям и приведены некоторые приложения. Эта теория является обобщением и расширением теории Лере - Шаудера. Многие ее факты связаны с топологией бесконечномерных многообразий и отображений.

В монографии X. Гаевского, К. Грегера, К. Захариаса [12] теория монотонных операторов применяется для исследования и приближенного решения краевых задач для нелинейных дифференциальных уравнений с частными производными, которые трактуются как операторные уравнения или операторно-дифференциальные уравнения в рефлексивных банаховых пространствах.

Об интересе к данным уравнениям свидетельствует большое число вышедших за последнее время монографий, целиком или частично посвященных этим уравнениям. Так монография В.Н. Врагова [10] посвящена исследованию разрешимости начально-краевых задач для неклассических уравнений в частных производных, в том числе и для линейных уравнений соболевского типа, которые были выделены в отдельный класс.

В совместной монографии [84] А. Гауш и А. Yagi уравнения соболевского типа редуцируются к дифференциальному включению.

хг е А(х)

с линейным многозначным оператором. К такому включению сводится линейное уравнение соболевского типа вида (0.0.15) при этом операторы Ь, М : И —»■ Н замкнутые и линейные, причем М (Ь, а)-ограничен и бесконечность является устранимой особой точкой относительной резольвенты. Теория проиллюстрирована различными примерами и приложениями к дифференциальным уравнениям с

частными производными.

Линейные абстрактные уравнения (0.0.15) в их связи с уравнениями в частных производных впервые начал изучать R.E. Showalter [76], [95]. Он рассмотрел случай, когда оператор L эллиптический, самосопряженный и вырождается на некотором множестве ненулевой меры. Независимо от R.E. Showalter H.A. Сидоров вместе со своими учениками так же начал изучать линейные уравнений вида (0.0.15) с различными вырождениями оператора при производной. В работах [64], [94] получены не только абстрактные результаты, но и изучены конкретные начально-краевые задачи для уравнений в частных производных.

В теории уравнений соболевского типа можно выделить два основных направления исследований.

Первое направление содержит результаты относящиеся к конкретным задачам или математическим моделям естествознания. К нему стоит относить работы, в которых результат о разрешимости начально-краевых задач для уравнений и систем уравнений в частных производных получен посредством коэрцитивных оценок как следствие из какой-либо фундаментальной топологической теоремы типа теоремы о неподвижной точке. К этому разделу можно отнести работы С.А. Габова и А.Г. Свешникова [13], А.Г. Костюченко и Г.И. Эскина [36], В.Н. Врагова [10], А.И. Кожанова [33], [34], Т. Капо [87], G. Chen [79], [98], [81].

А.И. Кожанов [33], [34], распространяя теорию уравнений математической физики составного типа на уравнения нечетного порядка в многомерных пространствах, рассматривает уравнения вида

AD*n+lu + Bu = f(x,t), 16

где А и В эллиптико-параболические операторы. Для линейных уравнений решается вопрос о выделении таких классов уравнений, для которых возможна постановка корректной краевой задачи в терминах коэффициентов при частных производных в операторах А и В.

В монографии Г.В. Демиденко, С.В. Успенского [16] рассматриваются линейные дифференциальные уравнения, не разрешенные относительно старшей производной, а также их системы, которые в операторной форме могут быть записаны следующим образом:

1-1

А;—О

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

В монографии И.Е. Егорова, С.Г. Пяткова, С.В. Попова [17] описан математический аппарат, который может быть использован при постановке и исследовании краевых задач, а также приведен ряд результатов о разрешимости краевых задач для операторно-дифференциальных уравнений вида

Вщ + Ьи = /(и),

где Ь, В - самосопряженные (или диссипативные) операторы в заданном гильбертовом пространстве Н. В общем случае не предполагается обратимость оператора В, в частности, он может иметь нетривиальное ядро. Для уравнений соболевского типа рассматривается

вопрос о корректности задачи Коши. В данной работе показано, что если оператор В не является знакоопределенным, то задача Коши может быть некорректной. Здесь также исследуется спектральная задача вида Lu = ХВи. Рассматриваются вопросы базисности собственных и присоединенных векторов указанной задачи.

Второе направление содержит исследования абстрактных уравнений соболевского типа, т.е. те работы в которых объектом исследования выступают операторные уравнения. Конкретные начально-краевые задачи для уравнений и систем дифференциальных уравнений в рамках этого направления являются лишь иллюстративными примерами и служат приложениями абстрактных результатов. Но это положение ничуть ни умаляет их важности. В настоящее время в данном направлении плодотворно и активно работают И.В. Мельникова и ее ученики [46], [47], [48], [88], H.A. Сидоров и его ученики [64], [94], R.E. Showalter [95], А. Favini и А. Yagi [83], [84], [85]. К этой же группе следует отнести работы Г.А. Свиридюка и его учеников [56], [57], [58], [59], [18]-[25], [30], [44], [69], [75] и др.

А.П. Власенко и J1.A. Руткас [9] исследовали задачу Коши

и( 0) = u0,ut(0) = иьг4п_1) = ищ

для уравнения высокого порядка

Аи[п) = Bn^ut~l) + • • • + В0и + /,

причем операторы А, Вп-\,.. .,Bq - линейные и замкнутые операторы, действующие из банахова пространства И в банахово пространство В работе использованы экспоненциальные оценки резольвент, методы классического и локального преобразования Лапласа и принцип Фрагмена - Лиделефа. Результаты применяются к смешанной

задаче не типа Коши - Ковалевской.

В монографии Ю.Е. Бояринцева и В.Ф. Чистякова [6] рассматриваются алгебро-дифферениальные системы вида

шж=в(1Ш+т

где A(t), B(t) прямоугольные матрицы зависящие от t € [О, Т], причем матрица A(t) является вырожденной при всех t из данного отрезка. Авторы проводят классификацию таких систем, определяют вид решения и исследуют локальные свойства для некоторых случаев с конечномерным пространством решений, а также приводятся условия бесконечномерности пространства решений.

В монографии И.В. Мельниковой и А.И. Филинкова [88] получены необходимые и достаточные условия равномерной корректности линейной задачи в терминах условий типа Хилле - Иосиды и расщепления пространств в прямые суммы. Следует отметить, что семейство М, АГ-функций, рассмотренное И.В. Мельниковой, является обобщением понятия семейства косинус и синус функций на случай полного уравнения второго порядка.

В монографии H.A. Сидорова, В.И. Логинова, A.A. Синицына, М.В. Фалалеева [94] и работе М.В Фалалеева [72] изучены полулинейные уравнения и их обобщения. Разработаны приложения метода Ляпунова - Шмидта, а также доказано существование и единственность решения в классе непрерывных функций задачи Коши для неоднородного уравнения соболевского типа с сильно измеримой и интегрируемой по Бохнеру неоднородностью и дополнительными условиями на оператор N (типа ограничений). Показано существование иьпериодического решения задачи Коши для неоднородного уравнения с замкнутыми плотно определенными операторами и w-

периодической неоднородность.

В монографии А.Г. Свешникова, А.Б. Альшина, М.О. Корпусова, Ю.Д. Плетнера [55] рассматриваются проблемы глобальной и локальной разрешимости, как в классическом, так и в сильном и слабом обобщенном смыслах, широких классов задач Коши и начально-краевых задач для линейных и нелинейных уравнений в частных производных высоких порядков, включая уравнения соболевского типа и псевдопараболические уравнения. В случае локальной разрешимости для ряда классов задач получены двусторонние оценки времени разрушения решений. Помимо аналитических методов предложены и реализованы численные методы решений конкретных задач.

Теоретическая и практическая значимость

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

женерии и биологии, математической модели Буссинеска - Лява - в теории упругости, гидродинамике и электродинамике.

Методы исследования

Основным методом исследования работы является метод фазового пространства. Он применяется для исследования уравнений соболевского типа второго порядка в абстрактном случае. К конкретным прикладным математическим моделям применяется стандартный метод редукции к абстрактному уравнению соболевского типа. При редукции существенную роль играет выбор функциональных пространств, в которых решается задача. Важность этого факта отмечали O.A. Ладыженская [41] и Ж.-Л. Лионе. Эта трудность связана с вопросом о гладкости: если удается доказать, что рассматриваемая нелинейная задача является корректной в некотором функциональном классе, то, как правило, неверно, что решение будет очень гладким, коль скоро этим свойством обладают данные задачи.

Кроме метода фазового пространства мы широко используем, во-первых, теорию относительно ограниченных операторов, разработанную Г.А. Свиридюком [61] и развитую в работах его учеников [20], [32], [44]; во-вторых, такие мощные средства нелинейного функционального анализа, как теорему о неявной функции [49], [38], и линейного функционального анализа [29]: теоремы вложения Соболева и Ре л лиха - Кондрашова, теорему о регулярном отображении [45]; в-третьих, теорему Коши для невырожденного дифференциального уравнения второго порядка, заданного на банаховом многообразии [42].

Поскольку диссертация кроме аналитических исследований содержит еще и алгоритмы численных методов решения, иллюстри-

рующих полученные результаты в аналитических изысканиях, здесь необходимо также упомянуть метод Галеркина [7] и метод Рунге -Кутта, лежащий в основе этих алгоритмов.

Краткое содержание диссертации

Диссертационная работа помимо введения, заключения, приложений и списка литературы содержит три главы. Список литературы включает 112 наименований.

Первая глава состоит из пяти параграфов. Они содержат определения, теоремы и вспомогательные утверждения, опираясь, на которые получены основные результаты исследования. Результаты, полученные другими авторами, приводятся без доказательства. В первом параграфе приводятся некоторые определения, теоремы и леммы теории относительно ограниченных операторов взятые из [96]. Во втором параграфе приведены некоторые результаты теории относительно полиномиально ограниченных пучков операторов, которые опубликованы в [21], [23], [59]. Третий параграф посвящен дифференцируемым банаховым многообразиям [42]. В нем рассмотрены такие понятия как карта, атлас, банахово С^-многообразие, касательное расслоение С^-многообразия, векторное поле и теорема Коши для линейного невырожденного дифференциальное уравнения второго порядка, заданного на гладком банаховом многообразии. В четвертом параграфе приводится теорема Вишика - Минти - Браудера и теорема о неявной функции. И наконец, в пятом параграфе определяются пространства Соболева [66], приводятся теоремы вложения Соболева и Реллиха - Кондрашова [70], [73], теорема о регулярности [74] и следствие из нее. Кроме того, основные результаты по теории дифференциальных операторов в банаховых пространствах. Основ-

мое внимание здесь уделяется формализации понятия «дифференциальный оператор» в областях с границей класса С°°. В основном все результаты, касающиеся дифференциальных операторов, взяты из богатой содержанием справочной монографии X. Трибеля [70].

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

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

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

Апробация

Результаты работы апробированы на различных конференциях: Всероссийской конференции "Дифференциальные уравнения и их

приложения" (г. Самара, 2011), Международной конференции "Алгоритмический анализ неустойчивых задач" (г. Екатеринбург, 2011), Зимней воронежской математической школе (г. Воронеж, 2012), Четвертой конференции аспирантов и докторантов ЮУрГУ (г. Челябинск, 2012), Международной конференции, посвященной 80-летию со дня рождения академика М.М. Лаврентьева "Обратные и некорректные задачи математической физики" (г. Новосибирск, 2012), Международной научно-практической конференции "Измерения: состояние, перспективы, развитие"(г. Челябинск, 2012). Результаты неоднократно докладывались на областном семинаре, посвященном уравнениям соболевского типа профессора Г. А. Свиридюка, на семинарах кафедр прикладной математики и вычислительной техники МаГУ профессора С.И. Кадченко и математического моделирования Стер-литамакского филиала БашГУ профессора С.А. Мустафиной.

Благодарности

Считаю своим приятным долгом выразить благодарность научному руководителю, Алене Алексадровне Замышляевой, за интересную постановку задачи и неоценимую помощь в подготовке работы; Георгию Анатольевичу Свиридюку и Валерию Зиновьевичу Фураеву за стимулирующие беседы и предоставленные возможности; коллективам кафедр уравнений математической физики и математического моделирования за конструктивную критику и ценные советы; свой семье за веру и поддержку.

Заключение диссертации по теме «Математическое моделирование, численные методы и комплексы программ», Бычков, Евгений Викторович

Заключение

В работе исследованы следующие математические модели: колебаний в молекуле ДНК, распространения волн на мелководье, Бус-синеска - Лява.

По результатам исследования описаны фазовые пространства уравнений на основе которых строятся перечисленные математические модели. Разработаны и реализованы алгоритмы методов численного решения задачи Шоуолтера - Сидорова - Дирихле для системы уравнений Буссинеска и уравнения Буссинеска - Лява, с помощью которых проведены вычислительные эксперименты в математических моделях колебаний в молекуле ДНК и Буссинеска - Лява. Исследование существования решения данных математических моделей было проведено с помощью редукции к задаче Коши или задаче Шоуолтера - Сидорова для полулинейного уравнения соболевского типа второго порядка.

В диссертации доказаны: теорема о локальной разрешимости задачи Коши для неполного уравнения соболевского типа второго порядка при условии (Ь, 0)-ограниченности оператора М; теорема о разрешимости задачи Коши для полного в случае (Л, 0)-ограниченности пучка операторов В; теорема о существовании единственного локального решения задачи Шоуолтера - Сидорова для полулинейного уравнения соболевского типа второго порядка.

Результаты выносимые на защиту

1. Разработан новый метод исследования математических моделей, основанных на полулинейных уравнениях соболевского типа второго порядка.

2. Исследована математическая модель распространения волн на мелкой воде и описано фазовое пространство уравнения Бусси-неска.

3. Исследована математическая модель колебаний в молекуле ДНК и описано фазовое пространство системы уравнений Буссинеска.

4. Исследована математическая модель Буссинеска - Лява и описано фазовое пространство полулинейного уравнения Буссинеска

- Лява.

5. Разработаны и реализованы в виде программ для ЭВМ алгоритмы методов численного решения задачи Шоуолтера - Сидорова

- Дирихле для системы уравнений Буссинеска и полулинейного уравнения Буссинеска - Лява.

Таким образом, в работе решены все поставленные выше задачи и достигнута цель исследования, что позволяет говорить о соответствии диссертационной работы следующим областям исследования паспорта специальности 05.13.18 «Математическое моделирование, численные методы и комплексы программ»:

2. Развитие качественных и приближенных аналитических методов исследования математических моделей.

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

5. Комплексные исследования научных и технических проблем с применением современной технологии математического моделирования и вычислительного эксперимента.

Список литературы диссертационного исследования кандидат физико-математических наук Бычков, Евгений Викторович, 2013 год

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

[1] Архипов, Д.Г. Новое уравнение для описания неупругого взаимодействия нелинейных локализованых волн в диспергирующих средах / Д.Г. Архипов, Г.А. Хабахпашев // Письма в ЖЭТФ. - 2011. - Т. 93, № 8. - С. 469-472.

[2] Баренблатт, Г.И. Об основных представлениях теории фильтрации в трещинноватых средах /Г.И. Баренблатт, Ю.П. Жел-тов, И.Н. Кочина // Прикл. мат. и механ. - 1960. - Т.24, № 5.

- С. 58-73.

[3] Баязитова, A.A. Исследование прямых и обратных задач в моделях Хоффа: дисс. ... канд. фи.-мат. наук / A.A. Баязитова.

- Челябинск, 2011.

[4] Белоносов, B.C. Качественные свойства одной математической модели вращающейся жидкости / B.C. Белоносов, Т.И. Зеленяк // Сиб. журн. индустр. мат. - 2002. - Т.5, № 4. - С. 3-13.

[5] Борисович, Ю.Г. Нелинейные фредгольмовы отображения и теория Лере-Шаудера / Ю.Г. Борисович, В.Г. Звягин, Ю.И. Сапронов // Успехи мат. наук. - 1977. - Т.32, № 4. - С. 3-54.

[6] Бояриицев, Ю.Е. Алгебро-дифференциальные системы: методы решения и исследования / Ю.Е. Бояринцев, В.Ф. Чистяков. - Новосибирск: Наука, 1998. 224 с.

[7] Вайнберг, М.М. Вариационный метод и метод монотонных операторов в теории нелинейных уравнений / М.М. Вайнберг. -М.: Наука, 1972.

[8] Васильев, В.В. Полугруппы операторов, косинус оператор-функции и линейные дифференциальные уравнения /В. В. Васильев, С. Г. Крейн, С. И. Пискарев // Итоги науки и техн. Сер. Мат. анал., ВИНИТИ. - 1990. - Вып. 28. - С. 87-202.

[9] Власенко, Л.А. Теоремы единственности и аппроксимации для одного вырожденного операторно-дифференциального уравнения / Л.А. Власенко, А.Г. Руткас // Матем. заметки. - 1996. -Т. 60, № 4. - С. 597-601.

[10] Врагов, В.Н. Краевые задачи для неклассических уравнения математической физики. Новосибирск: НГУ, 1983.

[11] Вишик, М. И. Задача Коши для уравнений с операторными коэффициентами, смешанная краевая задача для систем дифференциальных уравнений и приближенный метод их решения / М.И. Вишик // Матем. сб. - 1956. - Т. 39(81) № 1. - С. 51-148.

[12] Гаевский, X. Нелинейные операторные уравнения и операторные дифференциальные уравнения / X. Гаевский, К. Грегер, К. Захарис. - М.: Мир, 1978.

[13] Габов, С.А. Задачи динамики стратифицированных жидкостей / С.А. Габов, А.Г. Свешников. М.: Наука, 1986.

[14] Гильмутдинова, А.Ф. Исследование математических моделей с феноменом неединственности: дис. ... канд. физ.-мат. наук / А.Ф. Гильмутдинова. - Челябинск, 2009. - 123 с.

[15] Гохберг, И.Ц. Введение в теорию линейных несамосопряженных операторов / И.Ц. Гохберг, М.Г. Крейн. М.: Наука, 1965.

[16] Демиденко, Г.В. Уравнения и системы, не разрешенные относительно старшей производной / Г.В. Демиденко, C.B. Успенский. -Новосибирск: Науч. кн., 1998.

[17] Егоров, И.Е. Неклассические дифференциально-операторные уравнения / И.Е. Егоров, С.Г. Пятков, C.B. Попов. - Новосибирск: Наука, 2000.

[18] Загребина, С.А. Исследование математических моделей фильтрации жидкости: дис.... канд. физ.-мат. наук / С.А. Загребина. - Челябинск, 2002.

[19] Загребина, С.А. Начально-конечная задача для линейной системы уравнений Навье - Стокса / С.А. Загребина // Вестник ЮУрГУ. Серия "Математическое моделирование и программирование". - 2011. - № 4 (221), вып. 7. - С. 35-39.

[20] Загребина, С.А. О задаче Шоуолтера- Сидорова / С.А. Загребина // Изв. вузов. Математика. - 2007,- № 3. - С. 22-28.

[21] Замышляева, A.A. Исследование одного класса линейных уравнений соболевского типа высого порядка: дне.... канд. физ.-мат. наук / A.A. Замышляева; ЧелГУ. - Челябинск, 2003.

[22] Замышляева, A.A. Начально-конечная задача для неоднородного уравнения Буссинеска-Лява / A.A. Замышляева // Вестник ЮУрГУ. Серия "Математическое моделирование и программирование". - 2011. - № 37 (254), вып. 10. - С. 22-29.

[23] Замышляева, A.A. Фазовые пространства одного класса линейных уравнений соболевского типа второго порядка /A.A. Замышляева // Вычислительные технологии. - 2003. - Т.8, № 4. - С. 45-54.

[24] Замышляева, A.A. Фазовое пространство уравнения соболевского типа высокого порядка / A.A. Замышляева // Известия Иркутского гос. ун-та. Сер. "Математика". - 2011. - Т.4, №4. -С. 45-57.

[25] Замышляева, A.A. Линейные уравнения соболевского типа высокого порядка / A.A. Замышляева. - Челябинск: Изд. Центр ЮУрГУ, 2012.

[26] Инези, И. Экспрементальное исследование солитонов в плазме // Солитоны в действии. - М.: Мир, 1981. - С. 161-184.

[27] Искандеров, Б.А. Смешанная задача для внутренних гравитационных волн в неограниченной цилиндрической области / Б.А. Искандеров, А.И. Мамедова // Ж. вычисл. матем. и ма-тем. физ. - 2006. - Т. 46, №8. - С. 1475-1493.

[28] Искандеров, Б.А. Смешанная задача уравнения гравитационно-гироскопических волн в приближении Бус-синеска в неограниченной цилиндрической области / Б.А. Искандеров, Д.Ю. Мамедов, С.Э. Сулейманов // Ж. вычисл. матем. и матем. физ. - 2009. - Т. 49, № 9. - С. 1659-1675.

[29] Иосида, К. Функциональный анализ / К. Иосида. - М.: Мир, 1967.

[30] Казак, В.О. Исследование фазовых пространств одного класса полулинейных уравнений соболевского типа: дис. ... канд. физ.-мат. наук / В.О. Казак; ЧелГУ. - Челябинск, 2005. - 99 с.

[31] Карпман, В.И. Нелинейные волны в диспергирующих средах / В.И. Карпман. - М.: Наука, 1973.

[32] Келлер, A.B. Об алгоритме решения задач оптимального и жесткого управления /A.B. Келлер // Программные продукты и системы. - 2011. - № 3. - С. 170-174.

[33] Кожанов, А.И. Существование "почти регулярных" решений граничной задачи для одного класса линейных соболевских уравнений нечетного порядка / А.И. Кожанов // Матем. заметки Якут. гос. ун-та. - 1997. - Т. 4, № 1. - С. 29-37.

[34] Кожанов, А.И. О свойствах решений для одного класса псевдопараболических уравнений / А.И. Кожанов // ДАН. - 1992. Т.326, № 5. - С. 781-786.

[35] Корпусов, М.О. Разрушение в неклассических волновых уравнениях / М.О. Корпусов. - М.: Книжный дом «ЛИБРОКОМ», 2010.

[36] Костюченко, А.Г. Задача Коши для уравнений типа Соболева-Гальперина / А.Г. Костюченко, Г.И. Эскин // Тр. ММО. - 1961. - Т. 10. - С. 273-285.

[37] Кравцов, А.Л. Образование и взаимодействие уединеных волн, движущихся в одном направлении в узком кольцевом канале / А.Л. Кравцов, В.В. Кравцов // Ж. вычисл. матем. и матем. физ. - 2004. - Т. 44, № 8. - С. 1490-1494.

[38] Красносельский, М.А. Геометрические методы нелинейного анализа / М.А. Красносельский, П.П. Забрейко. - М.: Наука, 1975.

[39] Крейн, С.Г. Линейные уравнения в банаховом пространстве / С.Г. Крейн. — М.: Наука, 1971. - 275 с.

[40] Кузнецов, Г.А. Исследование относительно спектральных свойств линейных операторов: дис. ... канд. физ.-мат. наук / Г.А. Кузнецов. - Челябинск, 1999.

[41] Ладыженская, O.A. Математические вопросы динамики вязкой несжимаемой жидкости / Ладыженская O.A. - М.: Наука, 1970.

[42] Ленг, С. Введение в теорию дифференцируемых многообразий / С. Ленг; пер. с англ. И.М. Дектярев. - Волгоград: Платон, 1996.

[43] Ляв, А. Математическая теория упругости /А. Ляв; пер. с англ. Б.В. Булгаков, В.Я. Натанзон. - Москва; Ленинград: ОНТИ, 1935.

[44] Манакова, H.A. Задача оптимального управления для уравнения Осколкова нелинейной фильтрации / H.A. Манакова // Дифференц. уравн. - 2007. - Т. 43, № 9. - С. 1185-1192.

[45] Марсден, Дж. Бифуркация рождения цикла и ее приложения /Дж. Марсден, М. Мак-Кракен. - М.: Мир, 1980.

[46] Мельникова, И.В. Интегрированные полугруппы и С-полугруипы. Корректность и регуляризация дифференциально-операторных задач / И.В. Мельникова,

А.И. Филинков // Успехи матем. наук. - 1994. - Т.49, К5 6. -С. 111-150.

[47] Мельникова, И.В. Корректность вырожденной задачи Коши в банаховом пространстве / И.В. Мельникова, М.А. Алыпан-ский // ДАН. - 1994. - Т.36, № 1. - С. 17-20.

[48] Мельникова, И.В. Обобщенная корректность задачи Коши и интегрированные полугруппы / И.В. Мельникова, М.А. Аль-шанский // ДАН. - 1995. - Т.343, № 4. - С. 448-451.

[49] Ниренберг, J1. Лекции по нелинейному функциональному анализу / Л. Ниренберг; пер. с англ. Н.Д. Веденской. - М.: Мир, 1977.

[50] Осколков, А.П. К теории жидкостей Фойгта / А.П. Осколков // Зап. науч. семинаров ЛОМИ. - 1980. - Т. 96. - С. 233-236.

[51] Осколков, А.П. Нелокальные задачи для одного класса нелинейных диссипативных уравнений типа С.Л. Соболева / А.П. Осколков, A.A. Котсиолис, Р.Д. Щадиев // Зап. науч. семинаров ЛОМИ. - 1992. - Т. 199. - С. 91-113.

[52] Оптимальные технологические решения для каталитических процессов и реакторов / С.А. Мустафина, Ю.А. Валиева, P.C. Давлетшин, A.B. Балаев, С.И. Спивак // Кинетика и Катализ. - 2005. - Т. 40, №5.- С. 749-756.

[53] Пивоварова, П.О. Исследование устойчивости в морделях Хоффа: дис. ... канд. физ.-мат. наук / П.О. Пивоварова. - Челябинск, 2011.

[54] Плотников, П.И. Уравнение фазового поля и градиентные потоки маргинальных функций / П.И. Плотников, A.B. Клепаче-ва // Сиб. мат. журн. - 2001. - Т. 42, №3. - С. 651-669.

[55] Свешников, А.Г. Линейные и нелинейные уравнения соболевского типа / А.Г. Свешников, A.B. Альшин, М.О. Корпусов, Ю.Д. Плетнер. - М.: Физматлит, 2004.

[56] Свиридюк, Г.А. Разрешимость задачи термоконвекции вязко-упругой несжимаемой жидкости / Г.А. Свиридюк // Изв. вузов. Математика. - 1990. - № 12. - С. 65-70.

[57] Свиридюк, Г.А. Полулинейные уравнения типа Соболева с относительно ограниченным оператором / Г.А. Свиридюк // ДАН. - 1991. - Т. 38, № 4. С. 828-831.

[58] Свиридюк, Г. А. Одна задача для обобщенного фильтрационного уравнения Буссинеска / Г. А. Свиридюк // Изв. вузов. Математика. - 1990. - № 2. - С. 55-61.

[59] Свиридюк, Г.А. Фазовые пространства одного класса линейных уравнений соболевского типа высокого порядка / Г.А. Свиридюк, A.A. Замышляева // Дифференц. уравн. - 2006. - Т. 42, № 2. - С. 252-260.

[60] Свиридюк, Г.А. Фазовое пространство одной обобщенной модели Осколкова / Г.А. Свиридюк, В.О. Казак // Сиб. матем. журн. - 2003. - Т. 44, № 5. - С. 1124-1131.

[61] Свиридюк, Г.А. Фазовые пространства одного класса операторных полулинейных уравнений типа Соболева / Г.А. Свиридюк,

Т.Г. Сукачева // Дифференц. уравн. - 1990. - Т. 26, № 2. -С. 250-258.

[62] Свиридюк, Г.А. Задача Коши для одного класса полулинейных уравнений типа Соболева / Г.А. Свиридюк, Т.Г. Сукачева // Сиб. матем. журн. - 1990. Т. 31, №5. - С. 109-119.

[63] Свиридюк, Г.А. Линейные уравнения соболевского типа / Г.А. Свиридюк, В.Е. Федоров. - Челябинск: Изд-во ЧелГУ, 2003.

[64] Сидоров, H.A. Об одном классе вырожденных дифференциальных уравнений с конвергенцией / H.A. Сидоров // Мат. заметки. - 1984. - Т.25, №4. - С. 569-578.

[65] Соболев, СЛ. Об одной новой задаче математической физики / СЛ. Соболев // Изв. АН СССР, сер. матем. - 1954. - Т. 18. -С. 3-50.

[66] Соболев, СЛ. Применение функционального анализа к математической физики / СЛ. Соболев. - Л.: Наука, 1961.

[67] Солдатов, А.П. Краевые задачи с нелокальными условиями A.A. Самарского для псевдопараболического уравнения высокого порядка / А.П. Солдатов, М.Х. Шхануков // ДАН. -1987. - Т. 297. № 3. - С. 547-552.

[68] Солитоны. М.:Мир. 1983.

[69] Сукачева, Т.Г. Исследование фазовых пространств полулинейных сингулярных уравнений динамического типа: дис.... канд.

физ.-мат. наук / Т.Г. Сукачева; НГПИ. - Новгород, 1990. -112 с.

[70] Трибель, J1. Теория интерполяции. Функциональные пространства. Дифференциальные операторы / J1. Трибель. - М.: Мир, 1980.

[71] Уизем, Дж. Линейные и нелинейные волны / Дж. Уизем; пер с англ. В.В. Жаринов. - М.: Мир, 1977.

[72] Фалалеев, М.В. Фундаментальные оператор-функции дифференциальных уравнений в банаховых пространствах / М.В. Фалалеев // Сиб. мат. жур. - 2000. - Т. 41, № 5. - С. 1167-1182.

[73] Хатсон, В. Приложения функционального анализа и теории операторов / В. Хатсон, Дж. Пим. - М.: Мир, 1983.

[74] Хэссард, Б. Теория и приложения бифуркации рождения цикла / Б. Хэссард; пер. с англ. Н. Казаринов, И. Вэн. - М.: Мир, 1985.

[75] Якупов, М.М. Фазовые пространства некоторых задач гидродинамики: дис. .. .канд. физ.-мат. наук М.М. Якупов; ЧелГУ. - Челябинск, 1999.

[76] Böhm, M. Diffusion in fissured media / M. Böhm, R.E. Showalter // SIAM J. Math. Anal. 1985. - V.16, № 3. - P. 500-519.

[77] 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.

[78] Chen, G. Existence and nonexistence of global solutions for the generalized IMBq equation / G. Chen, Sh. Wang // Nonlinear Analysis TMA. - 1999. - № 36. - P. 961-980.

[79] Chen, G. Cauchy problem for generalized IMBq equation with several variables / G. Chen, J. Xing, Z. Yang // Nonlinear Analysis TMA. - 1996. - № 26. - P. 1225-1270.

[80] Chen, G. Cauchy problem for a damped generalized IMBq equation / G. Chen, W. Rui, X. Chen // Journal of mathematical physics. -2011. - №.52. P. 1-19.

[81] Chen, G. Initial boundary value problem for a system of generalized IMBq equations / G. Chen, H. Zhang // Mathematical methods in the applied sciences. - 2004. - Vol. 27, № 5. - P. 497-518.

[82] 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.

[83] Favini, A. Abstract second order differentional equations with applications / A. Favini, A. Yagi // Funkc. Ekvac - 1995. - V. 38, № 1. - P. 81-99.

[84] Favini, A. Degenerate differential equations in Banach spase / A.Favini, A.Yagi. - N.Y., Hong Kong: Marcel Dekker Inc., 1999.

[85] Favini, A. Multivalued linear operators and degenerate evolution equations / A. Favini, A. Yagi // Ann. Mat. pur. ed. appl. - 1993. -V. CLXIIIL. - P. 353-384.

[86] Hoff, N.J. Creep buckling / N. J. Hoff // Aeron. - 1956. - V. 7, № 1. - P. 1-20.

[87] Kano, T. A mathematical justification for Korteweg-de Vries equation and Boussinesq equation of water surface waves / T. Kano, T. Nishida // Osaka J. Math. - 1986. - № 23. - P. 389413.

[88] Melnikova, I.V. Abstract Cauchy problems: three approaches / I.V. Melnikova, A. Filinkov. - Chapman and Hall/CRC: Boca Raton, 2001.

[89] Muto, V. A Toda lattice model for DNA: thermally genereted solitons / V. Muto, Ac. Scott, PI. Cristiansen // Physica D . -1990. - № 44. - P. 75-91.

[90] Muto, V. Nonlinear models for DNA dynamics: Ph.D. Thesis, Laboraty of applied mathematical phsysics, The Technical of Denmark, DCAMM, Report № S47, 1988.

[91] Muto, V. Thermally genereted solitons in a Toda lattice model of DNA / V. Muto, Ac. Scott, PI. Cristiansen // Physics letter. -1989. - № 163A. - P. 33-36.

[92] Peyrard, M. Statistical mechanics of a nonlinear model for DNA denaturation / M. Peyrard, Ar. Bishop // Physics review letter. -1989. - № 62. - P. 2755-2758.

[93] Poincare, H. Sur l'equilibre d'une masse fluide animee d'un mouvement de rotation // H. Poincare / Acta Math. - 1885. -V. 7. - P. 259-380.

[94] Sidorov, N. Lyapunov - Shmidt Methods in Nonlinear Analysis and Applications / N. Sidorov, B. Loginov, A. Sinithyn and M. Falaleev. - Dordrecht; Boston; London: Kluwer Academic Publishers, 2002.

[95] Showalter, R.E. Monotone operators in Banach space and nonlinear partial differential equations / R.E. Showalter. - Providence: AMS, 1997. - XIII, 278 p.

[96] 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.

[97] Techera, M. Nonlinear model of the DNA molecule / M. Techera, LI. Daemen, Ew. Prohofsky // Physics review A. - 1989. - №40. -P. 6636-6642.

[98] Wang, Sh. Small amplitude solutions of the generalized IMBq equation / Sh. Wang, G. Chen // Math. Meth. Appl. Sei. - 2002. -V. 274. - P. 497-518.

[99] Wang, Sh. The Cauchy problem for the generalized IMBq equation in W*{Rn) / Sh. Wang, G. Chen // J. Math. Anal. Appl. - 2002. -№ 266. - P. 38-54.

[100] Бычков, E.B. Численное моделирование продольных колебаний в диспергирующих средах / Е.В. Бычков // Ученые записки Петрозаводского государственного университета. Серия «Естественные и технические науки». - 2012. - Т. 1, №8 (129). С. 116118.

[101] Бычков, Е.В. Задача Шоуолтера - Сидорова - Дирихле для системы уравнений Буссинеска /Е.В. Бычков // Вестник Маг-

нитогорского государственного университета. Серия «Математика». - 2012. - Вып. 14. С. 23-31.

[102] Бычков, Е.В. Численное решение задачи Шоуолтера - Сидорова - Дирихле для уравнения Буссинеска - Лява / Е.В. Бычков // Измерения: состояние, перспективы развития: тез.докл. междунар. науч.-практ. конф., г. Челябинск, 25-27 сент. 2012 г. В 2 т. - Челябинск, 2012. - Т. 1. - С. 60-62.

[103] Замышляева, A.A. Исследование модели продольных колебаний в молекуле ДНК / A.A. Замышляева, Е.В. Бычков // Обратные и некорректные задачи: тез. докл. конф., по-свящ. 80-летию со дня рождения академика М.М. Лаврентьева, г.Новосибирск, 5-12 авг. 2012. - Новосибирск, 2012. - С. 369.

[104] Замышляева, A.A. Об одном классе полулинейных уравнений соболевского типа / A.A. Замышляева, Е.В. Бычков // СамДиф-2011: конф. «Дифференциальные уравнения и их приложения», Самара, 26-30 июня 2011 г.:тез.докл. - Самара, 2011. - С. 45.

[105] Замышляева, A.A. Об одном полулинейном уравнении соболевского типа второго порядка / A.A. Замышляева, Е.В. Бычков // Алгоритмический анализ неустойчивых задач междунар. конф., посвящ. памяти В.К. Иванова, г.Екатеринбург, 31 окт. - 5 нояб. 2011 г.: тез. докл. - Екатеренбург, 2011. - С. 238239.

[106] Замышляева, A.A. Фазовое пространство полулинейного уравнения соболевского типа второго порядка /A.A. Замышляева, Е.В. Бычков // Воронежская зимняя математическая школа

С.Г. Крейна, г.Воронеж, Материалы междунар. конф. - Воронеж, 2012. - С. 69-71.

[107] Замышляева, A.A. Фазовое пространство полулинейного уравнения Буссинеска /A.A. Замышляева, Е.В. Бычков // Вестник ЮУрГУ. Серия: Математическое моделирование и программирование. - 2012. - № 18 (277), вып. 12. - С. 13-19.

[108] Замышляева, A.A. Фазовое пространство полулинейного уравнения Буссинеска - Лява / A.A. Замышляева, Е.В. Бычков // Обозрение прикладной и промышленной математики. - 2012. -Т. 19., вып. 2. - С. 256-257.

[109] Замышляева, A.A. О численном исследовании математической модели распространения волн на мелкой воде / A.A. Замышляева, Е.В. Бычков // Математические заметки ЯГУ. - 2013. -Т. 20, №1. - С. 27-34.

[110] Zamyshlyaeva, A. The Cauchy Problem for the Second Order Semilinear Sobolev Type Equation / A. Zamyshlyaeva, E. Bychkov // Global and Stochastic Analysis. - 2012. - Vol. 2, no. 1. - P. 159166.

[111] Программа численного решения задачи Шоуолтера - Сидорова для уравнения Буссинеска - Лява: свидетельство №2012618477 / Бычков E.B. (RU); правообладатель ФГБОУ ВПО «ЮжноУральский государственный университет (НИУ)». - 201261592; заявл. 2.08.2012; зарегистр. 19.09.2012, реестр программ для ЭВМ.

[112] Моделирование колебаний в молекуле ДНК: свидетельство №2013611741 / Замышляева A.A., Бычков E.B. (RU); правообладатель ФГБОУ ВПО «Южно-Уральский государственный университет (НИУ)>. - 2012661363; заявл. 19.12.2012; заре-гистр. 04.02.2013, реестр программ для ЭВМ.