ФЕДЕРАЛЬНОЕ ГОСУДАРСТВЕННОЕ АВТОНОМНОЕ ОБРАЗОВАТЕЛЬНОЕ УЧРЕЖДЕНИЕ ВЫСШЕГО ОБРАЗОВАНИЯ
«БЕЛГОРОДСКИЙ ГОСУДАРСТВЕННЫЙ НАЦИОНАЛЬНЫЙ
ИССЛЕДОВАТЕЛЬСКИЙ УНИВЕРСИТЕТ»
( Н И У
« Б е л Г У » )
ИНСТИТУТ ИНЖЕНЕРНЫХ ТЕХНОЛОГИЙ И ЕСТЕСТВЕННЫХ НАУК
КАФЕДРА ОБЩЕЙ МАТЕМАТИКИ
КРАЕВЫЕ ЗАДАЧИ ДЛЯ НАГРУЖЕННЫХ
ДИФФЕРЕНЦИАЛЬНЫХ УРАВНЕНИЙ
Магистерская диссертация
обучающегося по направлению подготовки 01.04.01 Математика
очной формы обучения, группы 07001534
Удовиченко Михаила Валерьевича
Научный руководитель
Д.ф.-м.н., профессор Глушак А.В.
Рецензент
Ст. преп. Чернова О.В.
БЕЛГОРОД 2017
ОГЛАВЛЕНИЕ
ВВЕДЕНИЕ . ............................................................................................................ 4
0.1 Современное состояние темы и актуальность . .......................................... 4
0.2 Цель и научная новизна . ................................................................................7
1. СПЕКТРАЛЬНО-НАГРУЖЕННЫЕ ПАРАБОЛИЧЕСКИЕ УРАВНЕНИЯ
В ОГРАНИЧЕННОЙ ОБЛАСТИ . ....................................................................... 10
1.1 Полупериодическая граничная задача . ..................................................... 11
1.1.1 Постановки граничных задач . ............................................................. 11
1.1.2 Теоремы единственности и существования сильного решения . .... 13
1.1.3 Сопряженная задача . ........................................................................... 20
1.2 Одномерное обобщение граничной задачи 2. . ........................................ 23
1.3 Многомерное обобщение граничной задачи 2.. . ..................................... 24
1.3.1 Постановка задачи . .............................................................................. 24
1.3.2 Представление и априорная оценка классического решения . ....... 24
1.3.3 Ω − единичный круг. . ........................................................................... 29
1.3.4 Ω − единичный шар. . ............................................................................ 30
1.4 О точечном спектре.. . ................................................................................. 36
1.4.1 Обобщенная спектральная задача 1 . .................................................. 37
1.4.2 Обобщенная спектральная задача 2 . ................................................... 42
1.5 О нагруженных дифференциально-операторных уравнениях первого
порядка . .............................................................................................................. 44
О спектре нагруженного дифференциального оператора первого порядка
.......................................................................................................................... 45
1.5.2 О нагруженных уравнениях с периодическими граничными
условиями . ..................................................................................................... 54
2. ЗАДАЧА КО
. ..................................... 61
2.1.2 О размерности ядра оператора,
2.1.3
2.2
.... 62
. ................... 66
-
2.2.1 Постановка зада
........................................ 67
. .............................................................................. 68
2.2.2 О размерности ядра оператора . ........................................................... 68
2.2.3 Класс икритерий однозначнойсильной разрешимости ................... 72
2.3 Задача Коши-
. ..................................................... 74
2.3.1 Постановка задачи . .............................................................................. 74
2.3.2 О размерности ядра . .......................................................................... 75
2.3.3 Класс икритерий однозначнойсильной разрешимости. .................... 79
. ................................................................................................. 82
................................................. 84
..................................................................................................... 87
0.1
Современное состояние темы и актуальность.
Неуклонно растущий интерес к изучению нагруженных
дифференциальных уравнений объясняется, во-первых, расширяющимся
объёмом их приложений и тем фактом, что нагруженные уравнения
составляют особый класс уравнений со своими специфическими задачами.
Изучаются однородные и неоднородные краевые задачи для
нагруженных дифференциальных уравнений математической физики.
Заданное в n—мерной области Ω евклидова пространства точек x =
(x1 , x2 , . . . , xn ) уравнение
Au(x) = f (x)
(0.1.1)
называется нагруженным, если оно содержит след некоторых операций
от искомого решения u(x) на принадлежащих замыканию Ω̄
многообразиях размерности < n.
Нагруженное уравнение (0.1.1) называется нагруженным
дифференциальным уравнением в области Ω ∈ Rn, если его можно
представить в виде
(0.1.2)
Au ≡ Lu(x) + Mu(x) = f (x),
где L – дифференциальный оператор, а M – дифференциальный или интегродифференциальный оператор, включающий операцию взятия следа
от искомого решения u(x) на принадлежащих Ω многообразиях ненулевой меры строго меньше n.
Например, к простейшему уравнению вида (0.1.2) приводит задача о
колебаниях струны, нагруженной сосредоточенными массами, которая
находит широкое применение в физике и технике. Ещё Пуассон решал
задачу о продольном движении груза, подвешенного к упругой нити.
А.Н. Крылов показал, что к этой задаче сводится теория индикатора
паровой машины, крутильных колебаний вала с маховиком на конце,
разного рода дрожащих клапанов. Для теории многих измерительных
приборов важно изучение крутильных колебаний нити, к концу которой
подвешена масса, например, зеркальце.
Подобного типа задачи приобрели особую актуальность в связи с изучением устойчивости вибраций крыльев самолёта, так как для решения
этой задачи необходимо вычисление собственных частот крыла (балки
4
переменного сечения), нагруженного массами (моторами). Помимо этого, такие задачи встречаются при расчёте собственных колебаний антенн,
нагруженных сосредоточенными ёмкостями и самоиндукциями.
Также необходимо отметить, что решение многих задач по
оптимальному управлению агроэкосистемой, например, задач
долгосрочного прогнозирования и регулирования уровня грунтовых
вод и почвенной влаги, сводятся к изучению уравнений вида (0.1.2).
Такого рода уравнения, естественным образом, возникают при
исследовании нелинейных уравнений, уравнений переноса частиц, задач
оптимального управления, обратных задач, при численном решении
интегродифференциальных уравнений, при эквивалентном преобразовании
нелокальных краевых задач и т.д.
Основные вопросы, возникающие в теории граничных задач для уравнений в частных производных, остаются таковыми же и для краевых
задач для нагруженных уравнений вида (0.1.2). Однако, наличие нагруженного оператора M не всегда позволяет без изменений применять известную теорию краевых задач для уравнений вида
Lu(x) = f (x), x ∈ Ω.
(0.1.3)
Например, один из центральных вопросов – вопрос о корректном выборе
функциональных пространств решения задач (0.1.3), когда L – является
оператором гиперболического, параболического, эллиптического или
смешанного типа, достаточно подробно исследован в работах многих
математиков. Так как уравнения с частными производными образуют
сегодня огромную и необозримую область математики и математической
физики, использующую методы всей остальной математики, то мы
естественно сможем указать лишь небольшую часть этих работ: С.Л.
Соболева, С.М. Никольского, М.И. Вишика, В.С. Владимирова, О.А.
Ладыженской, Ж.-Л. Лионса, П Гривара, В.А. Солонникова, и многих
других математиков. Однако, как отмечено выше, эти результаты не
всегда применимы к нагруженным уравнениям вида (0.1.2).
По всей видимости, первые исследования по нагруженным уравнениям
были проведены для нагруженных интегральных уравнений, то есть для
уравнений вида (0.1.2), где L – интегральный оператор, оператор
M также интегральный, но взятый по многообразиям размерности строго
меньше n. Здесь уместно отметить работы A. Knezer, L. Lichtenstein, Н.М.,
А.Н.Крылова и более поздние, А.Ш. Габиб-заде, Н.Н. Назарова, C.W.
Bitzer, М.Г. Крейн, W. Gibson, J. Groh, C.S. Hönig, А.С. Калитвина .
5
Одними из первых, кто применял в своих работах нагруженные
дифференциальные и интегродифференциальные уравнения были С.М.
Тарг, Н.Н. Кочина и др.
Наиболее общее определение нагруженного уравнения впервые было
дано А.М. Нахушевым. В монографии им даются понятия и подробная
классификация различных нагруженных уравнений: нагруженных
дифференциальных, нагруженных интегральных, нагруженных
интегродифференциальных, нагруженных функциональных уравнений,
и их многочисленные приложения и к задачам биологии. Необходимо
отметить, что работы А.М.Нахушева и его учеников способствовали
интенсивному и систематическому изучению краевых задач для
нагруженных уравнений вида (0.1.2).
Достаточно широкий круг вопросов: исследование обобщенной
разрешимости неоднородных краевых задач для нагруженных
дифференциальных уравнений в соболевских пространствах; описание
пространств решений и функций, задающих правые части и граничные
условия; доказательство априорных оценок, которые обеспечивают
корректность краевых задач и точность выбранных пространств исследован
в работах М.Т. Дженалиева. Помимо этого, в его работах приводится
обзор по нагруженным уравнениям.
Отметим, что некоторыми авторами, исследованы нагруженные
дифференциальные уравнения, которые содержат дробные производные
от следов искомой функции по временной переменной, но порядок
производной в нагруженном слагаемом строго меньше соответствующего
порядка дифференциальной части уравнения и точка нагрузки
фиксирована, то есть, неподвижна.
В рассматриваемой работе, впервые исследуются граничные задачи
для нагруженного оператора теплопроводности в ограниченной и
неограниченной областях, когда порядок производной в нагруженном
слагаемом равен или выше порядка дифференциальной части уравнения,
причём, что оказалось существенным, точка нагрузки движется с
постоянной или переменной скоростью.
На практике такого рода задачи возникают, например, при
необходимости движущейся точки наблюдения, когда требуется вести
наблюдение, делать всевозможные измерения и передавать информацию,
с помощью устройства обратной связи управляющему устройству о
протекающем процессе, в каждой точке некоторого непрерывного
множества.
6
Особенностью рассматриваемых задач является то, что, во-первых,
спектральный параметр служит коэффициентом при нагруженном
слагаемом, во-вторых, порядок производной в нагруженном слагаемом
равен или выше порядка дифференциальной части уравнения ( такие
уравнения названы "существенно" нагруженными) и, в третьих,
точка нагрузки движется (с постоянной и переменной скоростями). В
этом случае, в отличии от ранее изученных нагруженных
дифференциальных уравнений, нагруженное слагаемое в уравнении не
является слабым возмущением его дифференциальной части. Здесь
проявляются новые свойства нагруженного дифференциального
оператора, не присущие операторам со слабым возмущением. Например,
граничная задача с движущейся точкой нагрузки по пространственной
переменной является нётеровой, и для некоторых, строго описываемых
в комплексной плоскости, значений спектрального параметра она имеет
конечный положительный индекс, поэтому эти задачи также можно
назвать спектрально–нагруженными.
Всё это подчёркивает как теоретическую, так и практическую
актуальность постановки и изучения краевых задач для спектрально –
нагруженных дифференциальных уравнений, на предмет выяснения
вопросов спектра этих задач, установления критериев дающих полное
описание (в терминах данных задачи) классов корректных граничных
задач.
0.2
Цель и научная новизна
Цель – это постановка однородных и неоднородных краевых задач
для: "существенно" нагруженных (спектрально-нагруженных) уравнений
параболического типа в ограниченной и неограниченной областях,
нагруженных уравнений смешанного (эллиптико-гиперболического) типа
и исследование их обобщённой разрешимости в различных классах
функций. Описание пространств решений, свободных членов и граничных
условий. Получение априорных оценок, которые бы обеспечивали
корректность исследуемых задач и правильность выбора пространств
функций. Исследование спектральных вопросов соответствующих
однородных задач.
Применяется метод априорных оценок исследования краевых задач,
метод интегральных преобразований, используются методы общей теории
дифференциальных уравнений с частными производными,функци7
онального анализа, теории функций комплексного переменного, в
частности теории краевых задач функций комплексного переменного.
Отметим, что одновременно с исходными краевыми задачами исследуются
соответствующие им сопряжённые краевые задачи.
Научная новизна. Предлагаются постановки новых краевых задач
для спектрально-нагруженных параболических уравнений и нагруженных
уравнений смешанного (эллиптико – гиперболического) типа. Основные
результаты:
0
1 Для спектрально-нагруженных по пространственной переменной
параболических уравнений, когда порядок производной в нагруженном
слагаемом равен и выше порядка дифференциальной части уравнения,
сформулированы полупериодические (периодические по временной
переменной) задачи в ограниченной области. Доказаны теоремы об их
однозначной разрешимости при выполнении соответствующих условий.
0
2 Указаны функциональные пространства и получен критерий
однозначной сильной разрешимости для многомерного обобщения задачи.
0
3
Показано, что спектральная задача для "существенно"
нагруженного по пространственной переменной параболического уравнения
в ограниченной области имеет счетный спектр, расположенный на
строго описываемой кривой комплексной плоскости значений спектрального
параметра.
0
4 Для нагруженного линейного дифференциально-операторного
уравнения первого порядка показано, что спектральный параметр λ
принадлежит одному из следующих множеств: резольвентному
множеству, точечному спектру или непрерывному спектру.
0
5 Для нагруженного линейного дифференциально-операторного
уравнения высокого порядка с периодическими граничными условиями
найден критерий однозначной сильной разрешимости.
0
6 Для спектрально-нагруженного параболического оператора
исследованы взаимно-сопряженные граничные задачи в четверти
плоскости, когда нагрузка задаётся по пространственной переменной
и, при этом, точка нагрузки движется с постоянной и с переменной
скоростями. Особенностью рассматриваемых задач, является то, что,
во-первых, спектральный параметр служит коэффициентом при
нагруженном слагаемом, во-вторых, порядок производной в нагруженном
слагаемом равен порядку дифференциальной части уравнения и, в
третьих, точка нагрузки движется (с постоянной и переменной
скоростями). Выявлены новые свойства нагруженного дифференциального
8
оператора, не присущие операторам со слабым возмущением. Показано,
что рассматриваемые задачи являются нетеровыми, и для некоторых,
строго описанных в комплексной плоскости, значений спектрального
параметра они имеют ненулевой индекс, который определяется
непосредственно значением модуля этого спектрального параметра.
Сформулированы теоремы о разрешимости этих задач в естественным
образом введенных функциональных классах.
7 0 Изучены граничные задачи (задача Коши, задача Коши –
Дирихле,
задача
Дирихле)
для
спектрально-нагруженного
параболического уравнения с нагрузкой при фиксированной временной
переменной. Особенностью рассматриваемых задач является наличие
нагруженного слагаемого с производной любого целого порядка от искомого
решения. Для каждой из этих задач решены по две проблемы: первая
– это установлены размерности ядра оператора соответствующей задачи
(результаты представлены в виде таблиц); вторая — найдены критерии
и определены классы сильной однозначной разрешимости соответствующих
неоднородных задач.
8 0 Изучается граничная задача для нагруженного уравнения
Лаврентьева – Бицадзе в прямоугольной области, которая отличается от
изученных ранее тем, что, во-первых, область в гиперболической части
является не характеристической, во-вторых, в уравнении имеются
нагруженные слагаемые. Доказана теорема и некоторые следствия из
неё , которые в терминах данных, дают полное описание корректных
граничных задач рассматриваемого вида.
9 0 Исследуются граничные задачи для нагруженных уравнений
смешанного эллиптико–гиперболического типа в прямоугольной
области, являющиеся моделью замкнутых управляемых систем, когда
управляющее устройство формирует воздействия на объект управления,
в фиксированные моменты времени, пропорционально следу
функциисостояния. Особенностью подобных задач является то ,что
здесь не удается непосредственно
обратить
оператор
гиперболической и эллиптической частей и свести исходную
задачу к исследованию разрешимости сингулярных интегральных
уравнений. Найдены условия существования единственного L2 –сильного
решения, удовлетворяющего на линии изменения типа уравнения, условиям
непрерывности решения и непрерывности его производной по времени с
логарифмическим весом.
9
1.
-
В данном разделе исследуются вопросы сильной разрешимости для
некоторых спектрально-нагруженных ("существенно" нагруженных)
дифференциальных уравнений параболического типа в ограниченной области. Особенность рассматриваемых задач заключается в том что, например в пространстве L2 (Q) соответствующие дифференциальные операторы не являются замыкаемыми, так как, во-первых, нагрузка не подчинена соответствующей дифференциальной части рассматриваемого
оператора, т.е. не является слабым возмущением для его дифференциальной части. Во-вторых, как известно, сами операторы нагрузок в пространствах L2 (0, 1) и L2 (Q) не являются замыкаемыми операторами.
Всё это не позволяет непосредственно исследовать вопросы сильной
разрешимости граничных задач для незамыкаемых нагруженных дифференциальных уравнений. Однако исследование таких уравнений представляет не только чисто теоретический , но и определенный прикладной
интерес.
В подразделах 1.1 и 1.2 предлагается один из подходов исследования вопросов сильной разрешимости сопряжённых граничных задач для
спектрально – нагруженных дифференциальных уравнений параболического типа в ограниченной области.
Для многомерного обобщения этих задач, также с помощью введения
вспомогательной нелокальной задачи в подразделе 1.3 получены представление и априорные оценки классического решения.
Для полноты исследования рассматриваемых граничных задач для
"существенно" нагруженных дифференциальных уравнений в ограниченной области, в подразделе 1.4 изучаются соответствующие спектральные задачи.
Предметом исследования подраздела 1.5.1 является изучение спектральных свойств нагруженного дифференциального оператора L, определяемого граничной задачей
[D − A + N ]u(t) = f (t),
t
t ∈ (0, b),
µu(0) − u(b) = 0,
где
m
X
∂
D = , N [u(t)] =
αk u(tk ), µ, α ∈ C, k = 1, . . . , m, f ∈ H,
t
k
∂t
k=1
10
В подразделе 1.5.2 исследуются вопросы корректной постановки
граничных задач для одного класса нагруженных линейных
дифференциально-операторных уравнений высокого порядка с
периодическими граничными условиями. Показано, что, во-первых,
условия корректности этих задач не зависят от точек нагружения,
во-вторых, корректность рассматриваемых задач не зависит также от
коэффициентов при нагруженных слагаемых.
1.1
Полупериодическая граничная задача
Дадим постановки двух граничных задач для спектрально-нагруженных
дифференциальных уравнений параболического типа в ограниченной
области.
1.1.1
Постановки граничных задач
Постановка граничной задачи 1.
Рассмотрим в области Q = {x, t| 0 < x < 1, 0 < t < 2π} следующую
граничную задачу:
¯
2
2
L1 u ≡ ∂u − ∂ u + α · x · ∂ u(x, t) ¯
= f (x, t), {x, t} ∈ Q;(1.1.1)
x=x̄
∂t ∂x2
∂x2
u(0, t) = u(1, t) = 0, u(x, 0) = u(x, 2π);
(1.1.2)
где x ∈ (0, 1) − фиксированная точка, α ∈ C − заданное число,
◦
f ∈ L2 (0, 2π; W22 (0, 1) ∩ W 12 (0, 1)) − заданная функция.
(1.1.3)
Постановка граничной задачи 2.
В области Q = {x, t|0 < x < 1, 0 < t < 2π} изучаются вопросы
разрешимости следующей граничной задачи:
∂u ∂ 2 u
∂ k u(x, t) ¯
L3 u ≡
+ α(x)
= f (x, t), {x, t} ∈ Q; (1.1.4)
−
¯
x=x̄
∂t ∂x2
∂xk
u(0, t) = u(1, t) = 0, u(x, 0) = u(x, 2π);
где
x ∈ (0, 1) − фиксированная точка, α ∈ W22m (0, 1),
◦
,
−
f ∈ L (0, 2π; W 2m (0, 1) ∩ W
m
(0
1))
заданные функции,
2
2
2
½
k/2,
если k − четное число,
k > 2, m = (k − 1)/2, если k − нечетное число.
11
(1.1.5)
(1.1.6)
Замечание 1.1. Нагруженный дифференциальный оператор L1 , определяемый соотношениями (1.1.1)—(1.1.2), в пространстве L2 (Q) не
замыкаем, поэтому для изучения задачи (1.1.1)—(1.1.2) введем в рассмотрение следующую вспомогательную нелокальную задачу:
µ
¶
∂ 2 ∂u ∂ 2 u
∂ 2f
L2 u ≡
=
, {x, t} ∈ Q;
(1.1.7)
−
∂x2 ∂t ∂x2
∂x2
u(0, t) = u(1, t) = 0, u(x, 0) = u(x, 2π);
(1.1.8)
∂ 2 u(0, t)
∂ 2 u(1, t)
∂ 2 u(x, t)
=
0,
−
α
= 0.
(1.1.9)
∂x2
∂x2
∂x2
Отметим, что (в отличие от оператора L1 ) оператор L гранич2
ной задачи (1.1.7)—(1.1.9) является замыкаемым оператором в L2 (Q).
Кроме того, очевидно, что граничные задачи (1.1.1)—(1.1.2) и (1.1.7)—
(1.1.9) взаимосвязаны. Действительно, регулярное решение задачи
(1.1.7)—(1.1.9) будет таковым и для задачи (1.1.1)—(1.1.2). Обратно,
если регулярное решение задачи (1.1.1)—(1.1.2) обладает производными требуемого порядка, то оно будет регулярным решением и задачи
(1.1.7)—(1.1.9).
Уравнения (1.1.1), (1.1.4) являются нагруженными [87]. Особенность
данных уравнений заключается в том, что нагруженное слагаемое здесь
входит в главную часть оператора, определяемого левой частью данного
уравнения. В ранее проведенных исследованиях [7, 70, 1, 71], в основном, рассматривались уравнения с такими нагруженными операторами,
в которых нагруженные слагаемые играли роль слабого возмущения для
их дифференциальной части. Для уравнений (1.1.1), (1.1.4) последнее не
выполняется, поэтому дифференциальные уравнения (1.1.1), (1.1.4) являются спектрально или "существенно" нагруженными.
Замечание 1.2. Для изучения задачи (1.1.4)—(1.1.5) введем в рассмотрение в области Q следующую вспомогательную нелокальную задачу:
µ
¶
∂ 2m ∂u ∂ 2 u
∂ k u(x, t) ∂ 2m f
(2m)
L4 u ≡ 2m
+α
(x)
=
;
(1.1.10)
−
∂x
∂t ∂x2
∂xk
∂x2m
u(0, t) = u(1, t) = 0, u(x, 0) = u(x, 2π);
∂ k u(x, t)
∂ 2 u(0, t)
− α(0)
= 0,
∂x2
∂xk
∂ 2 u(1, t)
∂ k u(x, t)
− α(1)
= 0;
∂x2
∂xk
12
(1.1.11)
(1.1.12)
∂ j+1 u(0, t)
∂ j+2 u(0, t)
∂ k u(x, t)
(j)
−
+ α (0)
= 0;
∂xj ∂t
∂xj+2
∂xk
(1.1.13)
∂ j+1 u(1, t)
∂ j+2 u(1, t)
∂ k u(x, t)
(j)
−
+ α (1)
= 0;
∂xj ∂t
∂xj+2
∂xk
j = 1, ..., m − 1.
(1.1.14)
Заметим, что граничные задачи (1.1.4)—(1.1.5) и (1.1.10)—(1.1.14)
взаимосвязаны. Действительно, регулярное решение задачи (1.1.10)—
(1.1.14) будет таковым и для задачи (1.1.4)—(1.1.5). Обратно, если регулярное решение задачи (1.1.4)—(1.1.5) обладает производными требуемого порядка, то оно будет регулярным решением и задачи (1.1.10)—
(1.1.14).
Приведём некоторые,
необходимые в дальнейшем определения.
n
2, 1
2, 0
Положим: C̃ = u| u ∈ Cx,
t (Q), ut , uxx ∈ Cx, t (Q), и пусть выполнены условия (1.1.8) − (1.1.9)} .
Определение 1.1. Функцию u(x, t) будем называть сильным решением граничной задачи (1.1.7)—(1.1.9), если существует последовательность функций {un (x, t)}∞
n=1 ⊂ C̃, таких, что выполнены следующие
условия:
∂ 2f
0
0
1 . lim un (x, t) = u(x, t) в L2 (Q); 2 . lim L2 un (x, t) =
в L2 (Q).
n→∞
n→∞
∂x2
Определение 1.2. Сильное решение граничной задачи (1.1.7)—(1.1.9)
будем называть сильным решением граничной задачи (1.1.1)—(1.1.2).
1.1.2
Теоремы единственности и существования сильного
решения
Вначале рассмотрим граничную задачу 1, и покажем, что для неё
имеет место следующее утверждение.
L2 (0, 2π; W22 (0, 1)
◦
Теорема 1.1.1. Для любой функции f ∈
∩ W 12 (0, 1))
граничная задача (1.1.1)—(1.1.2) имеет единственное сильное решение
u(x, t), тогда и только тогда, когда выполнены следующие условия
α · sh{λx}
6= 0, ∀s ∈ S ,
s
sh{λ}
√
2
где S = {s|s = 0; ±1; ±2; ...}, λ = is, i = −1.
δ ≡1−
13
(1.1.15)
Следствие 1.1. Пусть α ∈ R1 . В этом случае для справедливости
утверждения теоремы 1.1.1, необходимо и достаточно, выполнение
условия
1 − αx 6= 0.
(1.1.16)
Утверждение следствия 1.1 является простым следствием того факта,
sh{λx}
что мнимая часть выражения
для любого s ∈ S \ {0} не может
sh{λ}
быть равной нулю, так как знаменатель этого выражения есть число, у
которого и действительная и мнимая части всегда отличны от нуля.
Следствие 1.2. Пусть 1 − αx = 0. Тогда оператор граничной задачи
(1.1.1)—(1.1.2) имеет нулевое собственное значение, и соответствующая ему собственная функция равна:
w0 (x) = x(1 − x2 ).
(1.1.17)
Доказательство теоремы 1.1.1. В доказательстве этой и ряда
последующих теорем мы основываемся на результатах Дезина А.А. [124],
по развитию метода разделения переменных для исследования сильной
разрешимости линейных граничных задач.
Будем искать решение задачи (1.1.7)—(1.1.9) на основе следующих
разложений:
X
X
us (x)eis·t , f (x, t) =
fs (x)eis·t .
(1.1.18)
u(x, t) =
s∈S
s∈S
Для Фурье-коэффициентов граничной задачи (1.1.1)—(1.1.2) получим
следующую краевую задачу для нагруженного, обыкновенного дифференциального уравнения второго порядка:
(
isus (x) − u00s (x) + αxu00s (x) = fs (x), x ∈ (0, 1),
∀s ∈ S . (1.1.19)
us (0) = us (1) = 0,
Единственное решение задачи (1.1.19) представимо в виде:
·1
¸
R
1
u (x) = αδs−1
Gs (x, ξ)fs (ξ)dξ − 2 fs (x) ·
s
λ
0−
·
¸
R1
sh(λx)
·
x + Gs (x, ξ)fs (ξ)dξ, ∀s ∈ S \ {0},
sh(λ)
0
2−
R1
−1 −1
1)f
(x)
αx(x
u
(x)
=
6
δ
+
G0 (x, ξ)f0 (ξ)dξ,
0
0
0
0
14
(1.1.20)
где
sh{λξ} sh{λ(1 − x)}
, 0 6 ξ 6 x 6 1,
λ sh(λ)
Gs (x, ξ) =
sh{λx} sh{λ(1 − ξ)}
, 0 6 x 6 ξ 6 1,
λ sh(λ)
∀s ∈ S , (1.1.21)
в том и только в том случае, когда
δ = 1 − α · sh(λx) 6= 0, ∀s ∈ S .
s
sh(λ)
(1.1.22)
Справедливость соотношений (1.1.20) и (1.1.21) показывается в
Приложении А.
Выражения для G0 (x, ξ) и δ можно получить непосредственно, при
0
s = 0, или же из формул (1.1.21) и (1.1.22) путем предельного перехода
при λ → 0 (s → 0),
ξ(1 − x), 0 6 ξ 6 x 6 1,
G0 (x, ξ) =
x(1 − ξ), 0 6 x 6 ξ 6 1,
δ = 1 − αx̄.
0
Можно показать, что при достаточной гладкости функций fs (x) фор
мулы (1.1.20) будут определять регулярные решения граничных задач,
поставленных для Фурье-коэффициентов задачи (1.1.7)—(1.1.9). Таким
образом, любые конечные суммы вида
s=N
uN (x, t) = X u (x)eis·t ,
s
s=−N
где функции us (x) найдены согласно формулы (1.1.20) для соответствующей гладкости функций fs (x), будут определять регулярные решения
граничной задачи (1.1.7)—(1.1.9).
Далее, на основе формул (1.1.20) мы получаем априорные оценки
kus (x)kL2 (0,1) 6 K · kfs00 (x)kL2 (0,1) , s ∈ S ,
(1.1.23)
где постоянная K не зависит от s, т.е. оценки (1.1.23) являются равномерными по s.
15
В дальнейшем, при доказательстве оценок (1.1.23) будет использовано
то, что для функции Грина G(x, ξ) справедлива оценка
Z1 Z1
2
|Gs (x, ξ)| dxdξ 6
0
0
2
C
6
K
=
const,
∀s
∈
S
\
{0}
,
(λ
= is).
|λ|3
Действительно
Z1
0
2
1
| sh λ(1 − x)|2
|Gs (x, ξ)| dξ 6 2
2
|λ| | sh λ|
Zx
| sh λξ|2 dξ+
0
Z1
| sh λ(1 − ξ)|2 dξ =
+| sh λx|2
x
= kλ = λ1 + iλ1 k =
Zx
1
| sh λ(1 − x)|2 (ch 2λ1 ξ−
=
2
2
2|λ| | sh λ|
0
Z1
(ch 2λ1 (1 − ξ) − cos 2λ1 (1 − ξ)) dξ =
− cos 2λ1 ξ) dξ + | sh λx|2
x
=
1
· {[ch 2λ1 (1 − x) − cos 2λ1 (1 − x)] (sh 2λ1 x − sin 2λ1 x) +
8λ1 |λ|2 | sh λ|2
+ (ch 2λ1 x − cos 2λ1 x) [sh 2λ1 (1 − x) − sin 2λ1 (1 − x)]} =
=
1
8λ1
|λ|2 | sh λ|2
[sh 2λ1 x + sin 2λ1 x − ch 2λ1 (1 − x) sin 2λ1 x−
sh 2λ1 x cos 2λ1 (1 − x) − ch 2λ1 x sin 2λ1 (1 − x) − − sh 2λ1 (1 − x) cos 2λ1 x] .
Далее, окончательно имеем
Z1 Z1
0
0
µ
1
ch 2λ1
|Gs (x, ξ)| dxdξ =
sh
2λ
x
+
sin
2λ
x
−
+
1
1
8λ1 |λ|2 | sh λ|2
λ1
¶
2
2
cos 2λ1
C
,
здесь
λ
=
Reλ
=
Imλ
,
и
2|λ
|
=
|λ|
.
6 3
+
1
1
λ1
|λ|
2
16
Для получения оценок (1.1.23) из представления (1.1.20) для s 6= 0 будем
иметь:
Z1
2 d2 us
2
4
−1 4 sh λx
λ ·
=
−λ
f
(x)
+
λ
G
(x,
ξ)f
(ξ)dξ
+
α
·
δ
λ
·
s
s
s
s
dx2
sh λ
0
1
Z
fs (x̄)
· Gs (x̄, ξ)fs (ξ)dξ − 2 ;
(1.1.24)
λ
0
Z1
d4 us (x)
d2 fs (x)
= −
+ λ4 Gs (x, ξ)fs (ξ)dξ − λ2 fs (x) +
4
2
dx
dx
0
1
Z
4 sh λx
fs (x̄)
+ αδs−1 Gs (x̄, ξ)fs (ξ)dξ − 2 · λ ·
;(1.1.25)
λ
sh λ
0
Для отдельных слагаемых представления решения (1.1.20) и их производных (1.1.24)—(1.1.25) получаем:
°
°2
° 2
°2
° 2
°2
5/2
λ fs (x) L2 (0,1) = |λ| fs (x) L2 (0,1) 6 °|λ| fs (x)°
,
L2 (0,1)
2
(при этом учитывается то, что λ = is , s = ±1, ±2, . . .)
¯
¯2
Z1
Z1
¯ 4
¯
λ
G
(x,
ξ)f
(ξ)dξ
s
s
¯
¯ dx 6
0
0
°
°2
5/2
6 °|λ| fs °
L2 (0,1)
°
°2
5/2
6 °|λ| fs °
Z1 °
°2
3/2
· °|λ| Gs °
L2 (0,1)
0
dx 6
°
°2
C2
2
5/2
· |λ| · 3 = C °|λ| fs °
,
L2 (0,1)
L2 (0,1)
|λ|
¯
¯2
Z1
Z1
¯ 4 sh λx
¯
λ
·
G
(x̄,
ξ)f
(ξ)dξ
s
s
¯
¯ dx =
sh λ
0
|λ|8
=
| sh λ|2
3
0
Z1
Z1
| sh λx|2 dx
0
2
|Gs (x̄, ξ)fs (ξ)| dξ 6
0
17
°
°2
4
6 K1 |λ| kfs (x)k2L2 (0,1) = K1 |λ|2 fs (x) L2 (0,1) .
Здесь воспользовались тем, что
Z1
0
1
| sh λx|2 dx =
2| sh λ|2
Z1
(ch 2λ1 x − cos 2λ1 x) dx =
0
= sh 2λ1 − sin 2λ1 6 C .
4λ1 | sh λ|2
|λ|
Получим оценку последнего слагаемого
x̄
1
°
°2
Z
Z
|λ|4
°λ4 sh λx · fs (x̄) °
=
| sh λx|2 dx · |fs0 (ξ)| dξ 6 C
2
2
sh λ
λ
| sh λ|
L2 (0,1)
0
0
°
°2
°
°2
6
3/2 0
3/2
C °|λ| fs (x)° 2
6 °|λ| fs (x)°
.
W2 (0,1)
L2 (0,1)
Таким образом, имеем
°
°2
·°
¸
°2
°
°2
2
d
u
s°
°|λ|2 ·
6 K1 °|λ|5/2 fs (x)°
+ °|λ|3/2 fs (x)° 2
.
2
L2 (0,1)
W2 (0,1)
dx L2 (0,1)
Учитывая, что слагаемые правой части равенства (1.1.24) содержатся и в
правой части равенства (1.1.25), нетрудно получить следующую оценку
° 4
°2
·°
°2
d
u
(x)
s
5/2
°
°
6 K2 °|λ| fs (x)°
+
L2 (0,1)
dx4
L2 (0,1)
°
°2
3/2
+ °|λ| fs (x)°
W22 (0,1)
¸
+
kfs (x)k2W22 (0,1)
.
Теперь легко можно установить справедливость оценок (1.1.23). Действительно имеем
"°
#
°2
°
°2
°
°2
fs (x) °
fs (x)
fs (x) °
kus (x)k2L2 (0,1) 6 K °
+ ° 3/2 °
+°
6
2
|λ| L2 (0,1)
|λ|
|λ|
L2 (0,1)
L2 (0,1)
°
°2
2
fs (x) °
6 K2 kfs (x)k2L2 (0,1) 6 K3 kfs00 (x)kL2 (0,1) .
6 K1 °
|λ| L2 (0,1)
Для s = 0 подобные выкладки (на основе формулы (1.1.20) получаются
достаточно просто.
18
Учитывая оценки (1.1.23), на основе результатов, доказываем
однозначную сильную разрешимость граничной задачи (1.1.7)— (1.1.9).
Отсюда следует утверждение доказываемой нами теоремы.
Кроме этого, из наших рассмотрений следуют оценки вида:
kλ2
·°
°2
d2 us (x) 2
d4 us (x) 2
5/2
fs (x)°
+
2 kL2 (0,1) + k
4 kL2 (0,1) 6 K °|λ|
L2 (0,1)
dx
dx
¸
°
°2
2
3/2
+ °|λ| fs (x)° 2
+ kfs (x)kW22 (0,1) , (1.1.26)
W2 (0,1)
равномерные по s ∈ S , также справедливы следующие оценки для производных
° 3 °
h
° ∂ u °
6 K kf (x, t)kW 5/4 (0,2π;L2 (0,1)) +
2
∂x2 ∂t L2 (Q)
¸
◦
+ kfx (x, t)kW 3/4 (0,2π;L2 (0,1)) + kf (x, t)k
.
2
1
L2 (0,2π
2
W
(0,1)∩W2 (0,1))
2
Оценки (1.1.26) вместе с (1.1.23) указывают на наличие ;дифференциальных свойств сильного решения исходной граничной задачи.
В завершение, заметим, что в условии (1.1.3) требование на функцию
f (x, t) можно заменить на следующее , – f ∈ L2 (0, 2π; W22 (0, 1)). В этом
случае, оценки (1.1.23) принимают вид:
kus (x)kL2 (0,1) 6 K · kfs (x)kW22 (0,1) , s ∈ S .
Приступим к рассмотрению граничной задачи 2.
Определение 1.3. Функцию u(x, t) будем называть сильным решением граничной задачи (1.1.10)—(1.1.14), если существует последовательность функций {un (x, t)}∞
n=1 ⊂ C̃, таких, что выполнены следу0
ющие условия: 1 . lim un (x, t) = u(x, t) в L2 (Q); 20 . lim L4 un (x, t) =
∂ 2m f
в L2 (Q).
∂x2m
n→∞
n→∞
Здесь мы считаем, что u ∈ C̃, если u ∈ C(Q), u ∈ C(0, 2π; C 2m+2 (0, 1) ∩
∂u(x, t)
C m+1 [0, 1]),
∈ C(0, 2π; C 2m (0, 1) ∩ C m [0, 1]) и выполнены условия
∂t
(1.1.11)—(1.1.14).
19
Определение 1.4. Сильное решение граничной задачи (1.1.10)—(1.1.14)
будем называть сильным решением граничной задачи (1.1.4)—(1.1.5).
Из этих определений следует, что области определения замкнутых
операторов L3 и L4 совпадают. Будем иметь:
u|u ∈ L2 (0, 2π; W22m+2 (0, 1)),
¾
½
, ; W 2m , ,
−
∂u ∈
L2 (0 2π 2 (0 1)) граничные условия (1.1.11) (1.1.14) .
∂t
(1.1.27)
Для граничной задачи 2 справедливо следующее утверждение.
D(L3 ) ≡ D(L4 ) ≡
◦
,
α ∈
Теорема 1.1.2. Для любых f ∈ L2 (0, 2π; W22m (0, 1) ∩ W m
2 (0 1))
,
W22m (0 1) граничная задача (1.1.4)—(1.1.5) имеет единственное
сильное решение u(x, t), тогда и только тогда, когда выполнены
следующие
условия
Z1
∂k
(1.1.28)
δs ≡ 1 + k Gs (x, ξ)α(ξ)dξ 6= 0, ∀s ∈ S ,
∂x
0
2
где S = {s|s = 0; ±1; ±2; ...}, λ = is, i =
определена формулой (1.1.21).
√
−1, функция Gs (x, ξ)
Доказательство теоремы 1.1.2 мы опускаем, так как оно проводится
аналогично доказательству теоремы 1.1.1.
1.1.3
Сопряженная задача
Рассмотрим сопряженную к (1.1.1)—(1.1.2) задачу:
00
L∗1 ψ ≡ − ∂ψ ∂ 2 ψ
− 2 + δ (x − x̄) ⊗
∂t
∂x
Z1
ᾱ · ξ · ψ(ξ, t)dξ = g(x, t), {x, t} ∈ Q,
0
ψ(0, t) = ψ(1, t) = 0; ψ(x, 0) = ψ(x, 2π), x̄ ∈ (0, 1).
(1.1.29)
(1.1.30)
Здесь учтен тот факт, что supp{ψ(x, t)} ⊆ Q. Слабое решение ψ ∈ L2 (Q)
этой задачи определим интегральным тождеством:
(w, L∗1 ψ) = (L1 w, ψ) = (w, g) для любых w ∈ C̃ из определения 1.1.
20
Вначале покажем, что оператор L∗ действительно является сопряжён1
ным оператору L1 . Для этого достаточно
убедиться в справедливости
следующего соотношения
1
Z2πZ1 2
Z2πZ1
Z
∂ u(x̄, t)
x
ψ(x, t)dxdt =
δ 00 (x − x̄) ξψ(ξ, t)dξ u(x, t)dxdt.
2
∂x
0 0
0 0
0
Действительно
Z2πZ1
0 0
∂ 2 u(x̄, t)
x
ψ(x, t)dxdt =
∂x2
1
Z
2
∂ u(ξ, t)
xψ(x, t) δ(ξ − x̄)
dξ dxdt =
∂ξ 2
Z2πZ1
=
0 0
0
Z2πZ1
Z1
∂ 2 u(x, t)
ξψ(ξ, t)dξ
dxdt =
∂x2
δ(x − x̄)
=
0 0
0
Z2π
¯1
∂u(x, t) ¯
ξψ(ξ, t)dξ
dt−
∂x ¯0
Z1
δ(x − x̄)
=
0
Z2πZ1
0
δ 0 (x − x̄)
−
0 0
Z1
ξψ(ξ, t)dξ
0
Z2π
Z1
δ(x − x̄)
=−
0
Z2πZ1
0 0
Z2πZ1
0 0
¯1
ξψ(ξ, t)dξ u(x, t)¯ dt+
0
Z1
ξψ(ξ, t)dξ u(x, t)dxdt =
0
Z1
δ 00 (x − x̄)
=
0
δ 00 (x − x̄)
+
∂u(x, t)
dxdt =
∂x
ξψ(ξ, t)dξ u(x, t)dxdt.
0
Как и ранее, применяя метод разделения переменных к задаче
(1.1.29)—(1.1.30), получим систему соответствующих задач для коэффи21
циентов Фурье ψs (x), s ∈ S \ {0}
Z1
00
−isψs (x) − ψs00 (x) + δ (x − x̄) ᾱ · ξ · ψs (ξ)dξ = gs (x), x ∈ (0, 1),
0
ψs (0) = ψs (1) = 0, ∀s ∈ S \ {0}.
Решения этих задач имеют следующее представление {gs (x) –
соответственно коэффициенты Фурье функции g(x, t)}:
ψs (x) =
Z1
Z1
G̃s (x, ξ)gs (ξ)dξ +
0
h
i
2
ξψs (ξ)dξ · λ · G̃s (x, x̄) ;
0
где
sin{λξ} sin{λ(1 − x)}
, 0 6 ξ 6 x 6 1,
λ sin(λ)
G̃s (x, ξ) =
sin{λx} sin{λ(1 − ξ)}
, 0 6 x 6 ξ 6 1,
λ sin(λ)
∀s ∈ S , (1.1.31)
в том и только в том случае, когда
δ̃
ᾱx − ᾱ
2
sin(λx)
6= 0, ∀s ∈ S (λ = is).
sin λ
(1.1.32)
=1+
s
Выражения для G̃0 (x, ξ) и δ̃ также можно получить
0
непосредственно, или же получить из формул (1.1.31) и (1.1.32) путем
предельного перехода при s → 0 (λ → 0),
ξ(1 − x), 0 6 ξ 6 x 6 1,
G
˜ 0 (x, ξ) =
x(1 − ξ), 0 6 x 6 ξ 6 1,
δ̃
1.
=
Замечание 1.3. Если α ∈ R1 , то0сопряженная задача (1.1.29)—(1.1.30)
однозначно слабо разрешима для всех функций g(x, t), ортогональных
собственной функции w0 (x) (1.1.17) исходной граничной задачи (1.1.1)
— (1.1.2) (согласно следствия 1.2). В этом случае, условие (1.1.32) выполняется для всех s ∈ S .
Замечание 1.4. При g(x, t) ≡ 0 граничная задача (1.1.29)—(1.1.30) в
классе L2 (0, 2π; D0 (0, 1)) имеет единственное решение ψ(x, t) = δ(x−x).
22
1.2
Одномерное обобщение граничной задачи 2.
В области Q = {x, t|0 < x < 1, 0 < t < 2π} изучаются вопросы
разрешимости граничной задачи
∂u ∂ 2 u
∂ k u(x, t)
L3 u ≡
+ α(x)
= f (x, t), {x, t} ∈ Q;
−
∂t ∂x2
∂xk
(1.2.1)
u(0, t) = u(1, t) = 0, u(x, 0) = u(x, 2π);
(1.2.2)
при условиях
x ∈ (0, 1) − фиксированная точка, α ∈ W22m (0, 1),
f ∈ L2 (0,½2π; W22m (0, 1)) − заданные функции, k ≥ 2,
k/2,
если k − четное число,
m=
(k − 1)/2, если k − нечетное число.
(1.2.3)
В этом случае граничная задача (1.2.1)—(1.2.2) сводится к изучению следующей нелокальной задачи:
L4 u ≡ (−1)
m∂
2m
v(x, t)
= F (x, t), {x, t} ∈ Q,
∂x2m
(1.2.4)
∂ j v(x, t)
= Gj (x, t), {x, t} ∈ Σ, j = 0, m − 1, (1.2.5)
u(x, t) = 0,
∂xj
u(x, 0) = u(x, 2π), x ∈ (0, 1),
(1.2.6)
где Σ = {0 ∪ 1} × (0, 2π),
m∂
F (x, t) ≡ (−1)
2m
f (x, t)
∂ j f (x, t)
, Gj (x, t) ≡
, j = 0, m − 1,
∂x2m
∂xj
∂u(x, t) ∂ 2 u(x, t)
∂ k u(x, t)
−
+
α(x)
, {x, t} ∈ Q.
∂t
∂x2
∂xk
Очевидно, что уравнения (1.1.10) и (1.2.4) совпадают. Однако граничные условия (1.1.12)—(1.1.14) отличаются от условий (1.2.5)—(1.2.6).
Утверждение теоремы 1.1.2, очевидно, остается справедливым и в этом
случае.
v(x, t) ≡
Теорема 1.2.1. Для любых f ∈ L2 (0, 2π; W22m (0, 1)), α ∈ W22m (0, 1)
граничная задача (1.2.4)—(1.2.6) имеет единственное сильное решение
u(x, t), тогда и только тогда, когда выполнены следующие условия
∂k
δ ≡1+ k
s
∂x
Z1
Gs (x, ξ)α(ξ)dξ 6= 0, ∀s ∈ S ,
0
23
2
где S = {s|s = 0; ±1; ±2; ...}, λ = is, i =
определена формулой (1.1.21).
1.3
√
−1, функция Gs (x, ξ)
Многомерное обобщение граничной задачи 2.
1.3.1
Постановка задачи
Пусть Ω ⊂ Rn − ограниченная область. В области Q = {x, t| x ∈
Ω, 0 < t < 2π} изучаются вопросы разрешимости следующей граничной
задачи
Z
k
0
0
)
∂u −
0 ∂ u(x1 , ξ , t)
L5 u ≡
dξ
= f, в Q; (1.3.1)
∆u(x, t + α(x, ξ )
∂t
∂xk1
Γ1
u(x, t) = 0, в Σ = {x, t|x ∈ ∂Ω, t ∈ (0, 2π)},
u(x, 0) = u(x, 2π), x ∈ Ω;
0
(1.3.2)
(1.3.3)
0
где ∂Ω− граница области Ω, x = {x2 , ..., xn }, ξ = {ξ2 , ..., ξn },
Γ1 − сечение области Ω при фиксированном x1 = x1 ,
α ∈ L2 (Γ1 ; W 2m (Ω)), f ∈ L2 (0, 2π; W 2m (Ω)) − заданные функции,
2
2
½
k/2,
если k − четное число,
k > 2, m =
(k − 1)/2, если k − нечетное число.
(1.3.4)
1.3.2
Представление и априорная оценка классического решения
Для изучения задачи (1.3.1)—(1.3.3) рассмотрим в области Q следующую вспомогательную нелокальную задачу:
L6 u ≡ (−1)m ∆m v(x, t) = F (x, t), {x, t} ∈ Q,
(1.3.5)
∂ j v(x, t)
u(x, t) = 0,
= Gj (x, t), {x, t} ∈ Σ, j = 0, m − 1, (1.3.6)
∂~nj
u(x, 0) = u(x, 2π), x ∈ (0, 1),
(1.3.7)
где ~n − внешняя нормаль к ∂Ω,
F (x, t) ≡ (−1)m ∆m f (x, t), Gj (x, t) ≡
24
∂ j f (x, t)
, j = 0, m − 1,
∂~nj
−
∂u
v(x, t) ≡
∂t
)
Z
α(x, ξ 0 )
∆u(x, t +
Γ1
∂ k u(x1 , ξ 0 , t) 0
dξ , {x, t} ∈ Q.
∂xk1
Заметим, что граничные задачи (1.3.1)—(1.3.3) и (1.3.5)—(1.3.7) взаимосвязаны. Действительно, регулярное решение задачи (1.3.5)—(1.3.7)
будет таковым и для задачи (1.3.1)—(1.3.3). Обратно, если регулярное
решение задачи (1.3.1)—(1.3.3) обладает производными требуемого порядка, то оно будет регулярным решением и задачи (1.3.5)—(1.3.7).
Задачу (1.3.5)—(1.3.7) будем рассматривать как следующие две подзадачи относительно неизвестных функций u(x, t) и v(x, t):
L5 u = v, {x, t} ∈ Q; u(x, t) = 0, {x, t} ∈ Σ; u(x, 0) = u(x, 2π), x ∈ Ω;
(1.3.8)
j
∂ v(x, t)
(−1)∆m v = F, {x, t} ∈ Q;
= G {x, t} ∈ Σ, j ∈ 1, m − 1.
∂~nj
(1.3.9)
Сначала решается задача Дирихле (1.3.9) для эллиптического уравнения, затем — граничная задача (1.3.8) и находится функция u(x, t), которая, очевидно, и будет решением задачи (1.3.5)—(1.3.7).
Задача Дирихле (1.3.9), как известно имеет единственное обобщенное
решение v(x, t) ∈ L2 (0, 2π; W22m (Ω)), удовлетворяющее оценке:
"
#
m−1
6
X
kvkL2 (0,2π;W22m (Ω)) K1 k |L2 (Q +
kGj kL2 (0,2π;W 2m−j−1/2 (∂Ω)) ,
F
j=0
2
)
или то же самое в терминах функции f (x, t) :
"
#
m−1
6
X ° ∂j f °
kvkL2 (0,2π;W22m (Ω)) K1 k∆m f kL2 (Q +
.
° j°
2m−j−1/2
(∂Ω))
L2 (0,2π;W2
∂~
n
j=0
(1.3.10)
Таким образом, нам остается только рассмотреть вопросы разрешимости граничной задачи (1.3.8). Методом разделения переменных в задаче
(1.3.8) (аналогично как в п.1) для коэффициентов Фурье us (x) будем
иметь:
0
Z k
0
∂
u
(x
,
ξ
)
s 1
is · us (x) − ∆us (x) + α
dξ = fs (x), x ∈ Ω,
∂xk1
(1.3.11)
Γ1
us (x) = 0, x ∈ ∂Ω, s ∈ S .
)
25
Если (∀s ∈ S ) задача (1.3.11) имеет решение, тогда используя
соответствующую функцию Грина G(x, ξ), запишем следующее
представление решения
Z Z
k
0
us (x) = G (x, ξ)f (ξ)dξ − G (x, η)α(η, ξ 0 )dη ∂ us (x1 , ξ ) dξ 0 .
s
s
s
∂xk1
Z
Ω
Γ1
Ω
(1.3.12)
Продифференцируем обе части этого равенства k раз по x и положим
1
x = x̄1 , тогда будем иметь
1
Z
¯
∂ k us (x1 , x0 ) ∂ k
Gs (x, ξ)fs (ξ)dξ ¯
=
−
x1 =x̄1
∂xk1
∂xk1
Ω
0
Z
Z
¯
k
k
0
∂
∂
u
(x
,
ξ
)
s 1
− k Gs (x, η)α(η, ξ 0 )dη ¯
dξ (1.3.13)
x1 =x̄1
∂x1
∂xk1
Γ1
Ω
Введём следующие обозначения:
Fs (x0 ) =
k
∂
∂xk1
Z
¯
Gs (x, ξ)fs (ξ)dξ ¯
x1 =x̄1
,
Ω
¯
k Z
∂
0 0
0
g(ξ , x ) =
Gs (x, η)α(η, ξ )dη ¯
,
x1 =x̄1
∂xk1
Ω
тогда равенство (1.3.13) запишется в виде
Z
k
0
∂ k us (x1 , x0 )
0
0 0 ∂ us (x1 , ξ )
= F (x ) − gs (ξ , x )
dξ 0 .
k
k
∂x1
∂x1
(1.3.14)
Γ1
0
Умножив
обе части этого соотношения на g(ξ 0 , x0 ) и проинтегрировав по
ξ в области Γ1 , получим следующее интегральное уравнение относительно неизвестной функции hs (x0 )
0
Z
Z
hs (x0 ) + gs (ξ 0 , x0 )hs (ξ 0 )dξ = gs (ξ 0 , x0 )fs (ξ 0 )dξ 0 ,
(1.3.15)
Γ1
Γ1
где
Z
hs (x0 ) =
gs (ξ 0 , x0 )
Γ1
26
∂ k us (x̄1 , ξ 0 ) 0
dξ .
∂ x̄k1
Решив интегральное уравнение (1.3.15), и подставив найденное значение
функции hs (x0 ) в равенство (1.3.14) найдём значение выражения
∂ k us (x1 , ξ 0 )
,
∂xk1
и подставляя его в представление (1.3.12) получим искомое решение задачи (1.3.11).
Замечание 1.5. Если задачу (1.3.1)—(1.3.3) видоизменить следующим
образом:
В области Q = {x, t| x ∈ Ω, 0 < t < 2π} исследовать вопросы разрешимости граничной
задачи
0
−
)
Z
∂u
= f, в Q;
L∆ u ≡
(1.3.16)
∆u(x, t + α(x, ξ 0 )∆m
ξ u(ξ, t)|ξ1 =x̄1 dξ
∂t
Γ1
u(x, t) = 0, в Σ = {x, t|x ∈ ∂Ω, t ∈ (0, 2π)},
u(x, 0) = u(x, 2π), x ∈ Ω;
0
0
(1.3.17)
(1.3.18)
где ∂Ω− граница области Ω, x = {x2 , ..., xn }, ξ = {ξ2 , ..., ξn },
Γ1 − сечение области Ω при фиксированном x1 = x1 ,
(1.3.19)
α ∈ L2 (Γ1 ; W22m (Ω)), f ∈ L2 (0, 2π; W22m (Ω))−
- заданные функции,
то соответствующие выражения для gs (x0 , ξ 0 ), Fs (x0 ) примут более
явный вид.
Действительно, в этом случае (1.3.11), будет соответствовать следующее семейство задач:
0
Z k
0
is · us (x) − ∆us (x) + α ∂ us (x1 , ξ ) dξ = fs (x), x ∈ Ω,
∂xk1
(1.3.20)
Γ1
us (x) = 0, x ∈ ∂Ω, s ∈ S .
Теперь, используя следующие соотношения справедливые для функции
Грина:
∆x Gs (x, ξ) , is · Gs (x, ξ) − δ(x − ξ),
m
m·
X
),
m
(is) Gs (x, ξ ) −
∆x Gs (x, ξ
(is)m−k ∆k−1
x δ(x − ξ),
k=1
27
будем иметь
gs (x0 , ξ 0 ) = (is)m
Z
¯
Gs (x, η)α(η, ξ )dη ¯
0
x1 =x̄1
Ω
Ã
−
−
!
m
¯
X
m−k k−1
0
(is)
∆x α(x, ξ ) ¯
k=1
Z
m
0
Fs (x ) = (is)
x1 =x̄1
,
¯
Gs (x, η)fs (η)dη ¯
x1 =x̄1
Ω
Ã
−
−
!
m
¯
X
m−k k−1
(is)
∆x fs (x) ¯
k=1
x1 =x̄1
.
Как известно, для произвольной области Ω решение семейства задач
(1.3.11) достаточно не просто, например, даже для такой простой области
как круг.
Поэтому при дальнейшем изучении граничной задачи (1.3.1)—(1.3.3) ,
ради простоты, будем предполагать, что α = const ∈ C и что Ω
представляет собой либо единичный круг (для n = 2), либо единичный
шар (для n > 3) с центром в начале координат. Ниже рассмотрены
эти случаи по-отдельности.
1.3.3
Ω − единичный круг.
Учитывая круговую симметрию, для s = 0 в задаче (1.3.11) имеем:
u0 (r) =
Z1
Z
G0 (r, ρ)f0 (ρ)dρ − α
0
Γ1
∂ k u0 (x1 , ξ2 )
1 − r2
dξ2 ·
,
4
∂xk1
(1.3.21)
где G0 (r, ρ)− функция Грина эллиптической части оператора задачи
(1.3.11),
−ρ · ln r, 0 6 ρ 6 r,
G0 (r, ρ) =
−ρ · ln ρ, r 6 ρ 6 1,
Действительно, в этом случае задача (1.3.11) примет вид
0
1
0
∆u = (ru (r)) = f0 (r), u(1) = 0,
r
28
и {1, ln r}—фундаментальная система решений соответствующего однородного уравнения.
Тогда, представление (1.3.21) очевидным образом следует из
Z1
Zr
G0 (r, ρ)dρ = − ln r
0
Z1
ρdρ −
r
0
1 − r2
ρ ln ρdρ =
.
4
Далее из (1.3.21) получаем, что решение задачи имеет вид
u0 (r) =
Z1
G0 (r, ρ)f0 (ρ)dρ−
0
Z
−αδ0−1
Γ1
k
∂
∂xk1
Z1
0
1 − r2
G0 (r, ρ)f0 (ρ)dρ
dx ·
,
2
4
(1.3.22)
|x1 =x1
тогда и только тогда, когда
½
α · meas{Γ1 } 6= 2, если k = 2,
,
для ½
любых α,
если k > 3;
1 − α · meas{Γ1 }/2, если k = 2,
так как δ =
0
1,
если k > 3.
(1.3.23)
Здесь meas{Γ1 }− длина соответствующей хорды.
Далее, для s 6= 0 имеем:
us (r) =
Z1
Z
Gs (r, ρ)fs (ρ)dρ − α
0
Γ1
∂ k us (x1 , ξ2 )
dξ ·
2
∂xk1
Z1
Gs (r, ρ)dρ, (1.3.24)
0
где λ 2 = is, Gs (r, ρ) – функция Грина эллиптической части
оператора задачи (1.3.11):
[I0 (λ)K0 (λr) − I0 (λr)K0 (λ)] · I0 (λρ)
, 0 6 ρ 6 r,
−ρ ·
I
(λ)
0
Gs (r, ρ) =
[I0 (λ)K0 (λρ) − I0 (λρ)K0 (λ)] · I0 (λr)
, r 6 ρ 6 1,
−ρ ·
I0 (λ)
(1.3.25)
здесь I0 (z), K0 (z)− модифицированные функции Бесселя.
Доказательство формулы (1.3.25) приведено ниже для любого n > 2.
29
Из (1.3.7)—(1.3.9) получаем искомое представление решения
граничной задачи Дирихле (1.3.3):
1
Z1
Z
Z
us (r) =
∂k
Gs (r, ρ)fs (ρ)dρ − αδs−1
Gs (r, ρ)fs (ρ)dρ dx ·
2
∂xk1
0
0
Γ1
|x1 =x1
Z1
·
Gs (r, ρ)dρ,
(1.3.26)
0
тогда и только тогда, когда выполнены следующие условия:
Z1
k
δ =1+α· ∂
s
Gs (r, ρ)dρ dx 6= 0, ∀s ∈ S \ {0},
k
Z
2
∂x1
Γ1
0
(1.3.27)
|x1 =x1
Теперь нам нужно показать, что для решений (1.3.22) и (1.3.26)
справедливы L2 -оценки. Для первого слагаемого в решении (1.3.22) это
следует из Предложения 1.2. Для второго слагаемого из (1.3.22), получение
требуемой оценки не вызывает затруднений. Анализ соотношений (1.3.25) —
(1.3.27) также позволяет получить требуемые оценки, равномерные
по s ∈ S \ {0}.
Таким образом, для решений, представленных формулами (1.3.22) и
(1.3.26), с учетом оценок (1.3.10) справедливы оценки:
kus kL2 (Ω) 6 Ckfs k, ∀s ∈ S .
Далее, остается только применить лемму 1 из [124], с.118. Итак,
доказана
Теорема 1.3.1. Пусть n = 2, Ω− единичный круг с центром в
начале координат. В этом случае для любых f ∈ L2 (0, 2π; W22m(0,
1)),
∈ αC граничная задача (1.3.1)—(1.3.3) имеет единственное сильное
решение u(x, t), тогда и только тогда, когда выполнены условия (1.3.23)
и (1.3.27).
1.3.4
Ω − единичный шар.
Пусть теперь Ω − единичный шар с центром в начале координат,
тогда учитывая сферическую симметрию, для s = 0 в задаче (1.3.11)
име30
ем:
Z1
u0 (r) =
Z
G0 (r, ρ)f0 (ρ)dρ − α
0
Γ1
∂ k u0 (x1 , ξ 0 ) 0 1 − r2
dξ ·
,
2n
∂xk1
(1.3.28)
где G0 (r, ρ)− функция Грина эллиптической части оператора задачи
(1.3.11),
2−n n−1
(1 − r )ρ , 0 6 ρ 6 r,
2−n
G0 (r, ρ) =
(1 − ρ2−n )ρn−1
, r 6 ρ 6 1.
2−n
Действительно, в этом случае задача (1.3.11) запишется так
¢0
1 ¡
∆u = n−1 rn−1 u0 (r) = f0 (r), u(1) = 0,
r
и фундаментальная система решений соответствующего однородного
уравнения имеет вид
½
¾
r2−n
1,
.
2−n
Тогда, представление (1.3.28) очевидным образом следует из легко проверяемого равенства
Z1
1 − r2
G0 (r, ρ)dρ =
,
2n
0
0
2
x2n ,
2
r 2 = x + ... +
ρ 2 = ξ 1 + ... +
1
ξn }. Далее из (1.3.4) получаем
u0 (r) =
0
x = {x2 , ..., xn }, ξ = {ξ2 , ...,
Z1
G0 (r, ρ)f0 (ρ)dρ −
0
Z
−
ξn2 ,
αδ0−1
Γ1
k
∂
∂xk1
Z1
0
1 − r2
G0 (r, ρ)f0 (ρ)dρ
dx ·
, (1.3.29)
2
2n
|x1 =x1
тогда и только тогда, когда
½
α · meas{Γ1 } 6= n, если k = 2,
,
для ½
любых α,
если k > 3;
1 − α · meas{Γ1 }/n, если k = 2,
так как δ =
0
1,
если k > 3.
31
(1.3.30)
Здесь meas{Γ1 } − (n − 1)-мерная мера множества Γ1 .
2
Далее, для s 6= 0, (λ = is) имеем:
us (r) =
Z1
Gs (r, ρ)fs (ρ)dρ −
0
− αδs−1
k
∂
∂xk1
Z
Γ
1
Z1
Gs (r, ρ)fs (ρ)dρ dx2 · β(r), (1.3.31)
0
|x1 =x1
где используются обозначения:
Z k
∂ βs (x1 , x0 ) 0
δs = 1 + α ·
dx 6= 0, ∀s ∈ S \ {0},
∂xk1
(1.3.32)
Γ1
Z1
βs (r) =
Gs (r, ρ)dρ, ∀s ∈ S \ {0}.
0
Отметим, что в случае n = 3 , выражение для βs (r) имеет простой вид
µ
¶
1
sh λr
βs (r) = 2 1 −
, ∀s ∈ S \ {0}.
λ
sh λ
В соотношении (1.3.31), Gs (r, ρ) – функция Грина эллиптической
части оператора задачи (1.3.11)
ρν+1 [Iν (λ)Kν (λr) − Iν (λr)Kν (λ)] · Iν (λρ)
, 0 6 ρ 6 r,
rν ·
Iν (λ)
Gs (r, ρ) =
ρν+1 [Iν (λ)Kν (λρ) − Iν (λρ)Kν (λ)] · Iν (λr)
, r 6 ρ 6 1,
ν ·
r
Iν (λ)
(1.3.33)
здесь Iν (z), Kν (z)− модифицированные функции Бесселя, ν = n/2 − 1.
Замечание 1.6. Во первых, из формулы (1.3.33) при n = 2 следует
формула (1.3.25), во вторых при n = 3 можно получить более простое
представление функции Грина через элементарные функции
ρ · sh λ(1 − r) · sh λρ , 0 6 ρ 6 r,
r
λ sh λ
(1.3.34)
Gs (r, ρ) = ρ sh λ(1 − ρ) · sh λr
·
, r 6 ρ 6 1.
r
λ sh λ
32
Вначале покажем справедливость формулы (1.3.34), используя равенства:
r
r
2
π
I1/2 (z) =
sh z, K1/2 (z) =
ch z.
πz
2z
Пусть для определённости 0 6 ρ 6 r, тогда
£
¤
)−
3/2
I
· I1/2 (λρ)
(λ)K
(λr
I
(λr)K
(λ)
ρ 2
1/2
1/2
1/2
1/2
Gs (z, ρ) =
=
·
I1/2 (λ)
r1/
·
¸
ρ sh λρ
1 −λr
1 −λ
√ e sh λ − √ e sh λr =
= ·
r sh λ
λr
λr
·
¸
ρ sh λρ 1 λ(1−r) 1 λ(1+r) 1 −λ(1−r) 1 λ(1+r)
= ·
e
− e
− e
+ e
=
r sh λ 2
2
2
2
=
ρ sh λ(1 − r) · sh λρ
.
·
r
λ sh λ
Аналогично получается выражение для Gs (r, ρ) из (1.3.34) при r 6 ρ 6 1.
Кстати, здесь хотелось бы отметить, что формула Грина (1.3.34) может быть построена и следующим, более простым способом. Действительно, задача (1.3.11) при n = 3, в случае отсутствия нагрузки имеет
2
вид (λ = is)
0
1 2 0
(r u (r)) + λ2 u(r) = fs (r) , u(1) = 0.
2
r
Воспользовавшись равенством
−
0
(1.3.35)
0
1 2 0
1
1
2 00
(r
u
)
=
(2ru
+
r
u
)
=
(ru)00 ,
2
2
r
r
r
перепишем задачу (1.3.35)
−(ru)00 + λ2 u = −rfs (r) , u(1) = 0,
которая после замены v(r) = ru(r) , сведётся к следующей простейшей
задаче
−v 00 + λ2 v = −rfs (r) , v(0) = v(1) = 0.
Решение этой задачи хорошо известно
v(r) =
Z1
G̃s (r, ρ)fs (ρ)dρ,
0
33
где
ρ · sh λ(1 − r) · sh λρ , 0 6 ρ 6 r,
λ sh λ
G̃s (r, ρ) =
ρ · sh λ(1 − ρ) · sh λr , r 6 ρ 6 1,
λ sh λ
или возвращаясь к прежней переменной имеем
u(r) =
Z1
Gs (r, ρ)fs (ρ)dρ,
0
здесь
ρ · sh λ(1 − r) · sh λρ , 0 6 ρ 6 r,
1
r
λ sh λ
Gs (r, ρ) = · G̃s (r, ρ) =
ρ sh λ(1 − ρ) · sh λr
r
·
, r 6 ρ 6 1.
r
λ sh λ
Теперь докажем справедливость формулы (1.3.33). Задача (1.3.11) в
случае сферической симметрии, при n > 3, s 6= 0 имеет вид (λ 2 =
0
is)
1
(rn−1 u0 ) + λ2 u = fs (r) , u(1) = 0,
n−1
−r
или после простейших преобразований она сведётся к следующей задаче
для модифицированного дифференциального уравнения Бесселя
r2 u00 (r) + (n − 1)ru0 (r) − λ2 r2 u(r) = −fs (r) , u(1) = 0.
(1.3.36)
Будем строить функцию Грина этой задачи используя метод Коши.
Нормальная фундаментальная система решений рассматриваемого
ν
ν
уравнения — {r − · Iν (λr) ; r − · Kν (λr)} . Частное решение
уравнения (1.3.36) ищем в виде
Zr
η(r, ρ)fs (ρ)dρ,
u1s (r) = −
0
где функция η(r, ρ) удовлетворяет условиям: η(ρ, ρ) = 0, ηr0 (ρ, ρ) = 1
и ищется в виде:
η(r, ρ) = ϕ1 (ρ) · r−ν Iν (λr) + ϕ2 (ρ) · r−ν Kν (λr).
34
Для определения функций ϕ1 (ρ) и ϕ2 (ρ) получаем систему уравнений
η(ρ, ρ) = ϕ1 (ρ) · ρ−ν Iν (λρ) + ϕ2 (ρ) · ρ−ν Kν (λρ) = 0,
£
) + ρ−ν λI 0 (λρ)¤ +
0
−ν−1
−νρ
I
(λρ
η
(ρ,
ρ)
=
ϕ
(ρ)
ν
1
ν
r
£
¤
+ϕ (ρ) −νρ−ν−1 K (λρ) + ρ−ν λK 0 (λρ) = 1.
ν
2
ν
Используя, то что функции Iν (z) и Kν (z) являются линейно
независимыми, а их вронскиан W [Iν (z), Kν (z)] = −z −1, решаем эту
систему и находим
ϕ1 (ρ) = ρν+1 · Kν (λρ) , ϕ2 (ρ) = −ρν+1 · Iν (λρ).
Таким образом получили
ρν+1
η(r, ρ) = ν [Kν (λρ) · Iν (λr) − Kν (λr) · Iν (λρ)] .
r
Теперь ищем общее решение неоднородной задачи (1.3.36) в следующем
виде
Zr ν+1
ρ
us (r) = Cr−ν Iν (λr) −
[Kν (λρ)Iν (λr) − Kν (λr)Iν (λρ)] fs (ρ)dρ,
rν
0
(1.3.37)
где C = const определяется из условия u(1) = 0, т.е.
Z1
C = ρν+1 Kν (λρ) · Iν (λr) − Kν (λr) · Iν (λρ) fs (ρ)dρ.
Iν (λ)
0
Подставляя найденное значение C в равенство (1.3.37) получим
решение задачи (1.3.36)
us (r) =
Z1
0
ρν+1 Iν (λr)
[Kν (λρ) · Iν (λr) − Kν (λr) · Iν (λρ)] fs (ρ)dρ−
rν Iν (λ)
Zr
−
0
ρν+1
[Kν (λρ) · Iν (λr) − Kν (λr) · Iν (λρ)] fs (ρ)dρ. (1.3.38)
rν
Разбивая первый интеграл в формуле (1.3.38) на два интеграла, первый от 0 до r , второй от r до 1 , после упрощений окончательно получим
us (r) =
Z1
Gs (r, ρ)fs (ρ)dρ,
0
35
где функция Gs (r, ρ)- функция Грина и имеет вид (ν = n/2 − 1)
ρν+1
rν
ρν+1
Gs (r, ρ) = rν
·
[Iν (λ)Kν (λr) − Iν (λr)Kν (λ)] · Iν (λρ)
, 0 6 ρ 6 r,
Iν (λ)
·
[Iν (λ)Kν (λρ) − Iν (λρ)Kν (λ)] · Iν (λr)
, r 6 ρ 6 1,
Iν (λ)
т.е. равенство (1.3.33), а вместе с ним (1.3.25) доказаны.
В завершение покажем, что для решений (1.3.29) и (1.3.31)
справедливы L2 -оценки. Для первого слагаемого в решении (1.3.29) это,
как и в доказательстве теоремы 1.3.1. Для второго слагаемого из (1.3.29)
это является очевидным. Анализ соотношений (1.3.31)— (1.3.32) также
позволяет получить требуемые оценки, равномерные по s ∈ S .
Таким образом, для решений, представленных формулами (1.3.29) и
(1.3.31), с учетом соотношений (1.3.10), справедливы оценки:
kus kL2 (Ω) 6 Ckfs k ∀s ∈ S .
Далее, остается только применить лемму 1 из [124] (с.118). Итак,
доказана
Теорема 1.3.2. Пусть n > 3, Ω− единичный шар с центром в
начале
,
, координат. В этом случае для любых f ∈ L2 (0, 2π; W 2m 2
(0 ∈1))
α
C граничная
задача (1.3.1)— (1.3.3) имеет единственное сильное
решение u(x, t), тогда и только тогда, когда выполнены условия (1.3.30)
и (1.3.32).
1.4
О точечном спектре
Естественно, представляют интерес спектральные задачи,
соответствующие изученным полупериодическим граничным задачам, для
"существенно" нагруженных параболических уравнений в ограниченной
области.
36
1.4.1
Обобщенная спектральная задача 1
Рассматривается следующая обобщенная спектральная задача:
∂ 2 u(x, t) ¯
ut − uxx = −α ∂x2 ¯x=x̄ , {x, t} ∈ Q;
u(0, t) = u(1, t) = 0,
u(x, 0) = u(x, 2π),
(1.4.1)
где α — спектральный параметр, a = 1 − 2x, x ∈ (0, 1) — задано.
Предварительно покажем, что изучение этой задачи сводится к исследованию разрешимости уравнения:
ch z = α ch az,
(1.4.2)
2
z ∈ Z = {z|z ∈ C, z = x(1 ± i), x = (|s|/8)1/ , s ∈ S }, α ∈ C.
0
Действительно, будем искать ненулевые решения задачи (1.4.1) в виде
X
u(x, t) =
us (x)eist , где s ∈ S ,
s∈S
тогда для искомых Фурье-коэффициентов us (x) получим следующую
краевую задачу для нагруженного обыкновенного дифференциального
уравнения второго порядка:
(
isus (x) − u00s (x) = −αu00s (x̄), x ∈ (0, 1),
∀s ∈ S .
(1.4.3)
2
us (0) = us (1) = 0, is = λ ,
Используя функцию Грина (см. Приложение Б) и, считая временно
известной правую часть уравнения (1.4.3) запишем представление решения
этой задачи
us (x) = −αu00s (x̄)
Z1
Gs (x, ξ)dξ, ∀s ∈ S \{0},
0
где
sh λξ sh λ(1 − x) , 0 6 ξ 6 x 6 1,
λ sh λ
G(x, ξ) =
sh λx sh λ(1 − ξ)
, 0 6 x 6 ξ 6 1.
λ sh λ
37
(1.4.4)
Правую часть равенства (1.4.4) представим в явном виде, используя соотношение
Z1
Zx
Z1
sh λξ sh λ(1 − x)
sh λx sh λ(1 − ξ)
G(x, ξ)dξ =
dξ +
dξ =
λ sh λ
λ sh λ
x
0
0
¯
x
sh λ(1 − x) ch λξ
sh λx ch λ(1 − ξ) ¯1
=
·
·
¯ −
¯ =
x
λ sh λ
λ 0 λ sh λ
λ
1
= 2
[sh λ(1 − x) (ch λx − 1) − sh x (1 − ch λ(1 − x))] =
λ ·sh λ
¸
· λ
1
λ λ
1
1
= 2
sh λ − 2 sh ch (1 − 2x) = 2 − 2
ch (1 − 2x).
λ sh λ
2
2
λ
λ ch λ/2
2
Таким образом, равенство (1.4.4) примет вид
·
¸
· λ
1
1
00
us (x) = −αus (x̄) 2 − 2
ch (1 − 2x) , ∀s ∈ S \{0}, (1.4.5)
λ
λ ch λ/2
2
Для определения неизвестной величины u00s (x̄) продифференцируем равенство (1.4.5) по переменной x дважды и, полагая, x = x̄, получим
·
¸
ch
λ/2(1
−
2x̄)
u00s (x̄) · 1 − α
= 0.
(1.4.6)
ch λ/2
Таким образом, действительно, отыскание нетривиальных решений задачи (1.4.1) свелось к исследованию разрешимости уравнения (1.4.2), т.к.
по условию u00s (x̄) 6= 0.
Прежде всего, покажем, что для любых α ∈ C, a ∈ (−1, 1) уравнение
ch z = α ch az на множестве Z0 имеет не более одного решения.
I. Пусть a = 0. Тогда исследуемое уравнение принимает вид:
ch z = α.
(1.4.7)
Введем следующее представление числа α :
α = ch b, b = b1 ± ib2 , bj ∈ R1 , j = 1, 2.
(1.4.8)
Заметим, во-первых, что числа b определяются неоднозначно, с
точностью до чисто мнимого слагаемого i2πk, k = 0, 1, 2..., во-вторых,
в формуле (1.4.8) имеет место либо случай знака "+ либо — "−". Таким
образом, из (1.4.7) и (1.4.8) мы получаем уравнение:
ch z = ch b,
38
(1.4.9)
= +
+
, l=
0, ±1,
решениями которого являются корни: zl± b1 i(±b2 2πl)
±2, ... Только в четырех случаях среди этих корней найдутся числа из
множества Z : 1). b = b2 , значит l = 0; 2). b = −b2 , значит l = 0;
0
1
1
3). b 6= b2 , но существует число l : b = b + 2πl+ ; 4). b 6= −b2 , но
1
+
1
2
1
±
существует число
l : b = −b + 2πl− . Во всех случаях искомые корни
−
1
2
имеют вид: z = b1 (1 ± i) ∈ Z0 , а соответствующие этим корням числа
b имеют представления b = b1 (1 ± i). В противном случае, уравнение
(1.4.9) на множестве Z не имеет корней!
0
Итак, доказано следующее
±
Утверждение
1.4.1. Уравнение (1.4.7) имеет единственное решение
z = b1 (1 ± i) ∈ Z (либо со знаком плюс, либо со знаком минус), тогда
0
и только тогда, когда число b имеет представление b = b1 (1 ± i). В
противном случае, уравнение (1.4.7) не имеет решения на множестве
Z0 .
II. Пусть a 6= 0. Тогда исследуемое уравнение имеет вид:
ch = α ch az.
(1.4.10)
Введем комплексное число c, такое, что
ch z = α ch az = ch c, где c = c + ic2 , либо c = c − ic2 ,
1
1
(1.4.11)
т.е. из (1.4.11) получаем систему, состоящую из двух следующих уравнений:
ch c
ch z = ch c, ch az = ch d ≡
, где d = d + id2 , либо d = d − id2 .
1
1
α
(1.4.12)
Очевидно, что здесь числа c, d задаются с точностью до чисто мнимого
слагаемого i2πk, k = 0, 1, 2... Кроме того отметим, что для каждого
корня уравнения (1.4.12) соответствует свое число c (и подходящее для
этого c число d).
Аналогично тому как п.I, решая каждое из уравнений (1.4.12) =
находим
соответствующие единственные решения из множества Z : z1± c1 (1 ±
0
d1
±
i), z2 = (1 ± i). Эти корни могут совпадать только при выполнении
a
условия:
d1
c = ,
(1.4.13)
1
a
т.е. только при выполнении условия (1.4.13) уравнение (1.4.10) на
множестве Z имеет единственное решение, в противном случае
0
уравнение (1.4.10) на множестве Z не имеет решения!
0
39
С другой стороны, из соотношений (1.4.12) получаем, что параметр α
может принимать только следующие значения:
α=
ch c1 (1 + i)
ch c1 (1 − i)
, либо α =
.
ch ac1 (1 + i)
ch ac1 (1 − i)
Наконец, учитывая дискретность в определении множества Z0 , окончательно получаем
Утверждение 1.4.2. Уравнение (1.4.10) имеет единственное решение
±
z = c1 (1 ± i) (либо со знаком плюс, либо со знаком минус), тогда и
только тогда, когда
ch c1 (1 ± i)
α=
,
(1.4.14)
ch ac1 (1 ± i)
n
o
2
1/
где c1 ∈ G = c|c = (|s|/8) , s = 0; ±1; ±2; ... .
Рисунок 1.1 – Кривые, на которых расположены точки спектра
Графики кривых в комплексной плоскости (для двух значений
параметра a, а именно, для a = 0, a = 4/5), на которых расположены
точки, координаты которых определяются комплексным числом α,
приведены на следующем рисунке. Отметим, что на этом рисунке
приведены графики только для неотрицательных s. Для отрицательных
значений s данные графики дополнятся своими зеркальными
отображениями относительно вещественной оси. Далее, если точка,
соответствующая числу
α лежит вне кривой для a = 4/5, то уравнение (1.4.10) при a = 4/5 не
40
имеет решения на множестве Z0 . Это означает, что ядро нагруженного
оператора нульмерно. Если же точка комплексной плоскости α лежит на
кривой для a = 4/5 и ее координаты определяются согласно формулы
(1.4.14) где c ∈ G, то уравнение (1.4.10) при a = 4/5 имеет единственное
+
1
решение на множестве Z0 , определяемое как z = c1 (1 + i) (для положительных s), т.е. в этом случае ядро нагруженного оператора одномерно!
Это же остается справедливым и для отрицательных s.
Определяя множество Q = {x, t|0 < x < 1, 0 < t < 2π}, мы получаем
следующее
Утверждение 1.4.3. Обобщенная спектральная задача:
∂ 2 u(x, t)
ut − uxx = −α ∂x2 , {x, t} ∈ Q;
u(0, t) = u(1, t) = 0,
u(x, 0) = u(x, 2π);
имеет счетный точечный спектр, расположенный на кривой комплексной плоскости (см.рис. 1.2),
α{s≥0 =
}
ch c1 (1 + i)
, s = 0, 1, 2, ...;
ch ac1 (1 + i)
Рисунок 1.2 – Кривые, на которых расположены точки спектра (увеличенный масштаб)
41
ch c1 (1 − i)
, s = −1, −2, ...;
(∗∗)
ch ac1 (1 − i)
n
o
2
1/
где c1 ∈ G = c| c = (|s|/8) , s = 0; ±1; ±2; ... , соответствующей
заданному значению параметра a = 1 − 2x. Собственные функции имеют вид:
√
(1 − 2x) is
ch
ist
1
√2
us (x, t) = 1 −
e , s ∈ S,
is
is
ch
2
α{s<0} =
u0 (x, t) = x(1 − x).
1.4.2
Обобщенная спектральная задача 2
Рассматривается следующая обобщенная спектральная задача :
m
P
∂ 2 u(xj
, t)
ut − uxx = −
αj
, {x, t} ∈ Q;
∂x2
j=1
(1.4.15)
u(0, t) = u(1, t) = 0,
u(x, 0) = u(x, 2π),
где α = {α1 , ..., αm } — векторный спектральный параметр, числа aj =
1
− 2xj , xj ∈ (0, 1), j = 1, ..., m, — заданы.
Изучение этой задачи, совершенно аналогично как и в случае одной
точки "нагружения сводится к исследованию разрешимости уравнения:
ch z =
m
X
αj ch aj z,
(1.4.16)
j=1
2
z ∈ Z0 = {z|z ∈ C, z = x(1 ± i), x = (|s|/8)1/ , s ∈ S }, αj ∈ C,
где j = 1, ..., m, S = {s| s = 0; ±1; ±2; ...}.
Прежде всего, требуется показать, что для любых αj ∈ C, aj ∈ (−1, 1)
m
P
уравнение ch z =
αj ch aj z (1.4.16) на множестве Z0 имеет не более
j=1
одного решения.
Пусть zk является некоторым корнем уравнения (1.4.16). Тогда суk
ществуют числа c = ck1 + ick2 , ckj = ckj1 + ickj2 , j = 1, ..., m, такие, что
42
справедливы следующие равенства:
m
m
ch z = ch c k = X α ch ck = X α ch a z .
k
j k
j
j=1
j
j=1
j
(1.4.17)
+ , а
из
Из первого равенства в (1.4.17) получаем, что z = ck1 (1 i)
k k
cj1
третьего равенства в (1.4.17) — соответственно z =
(1 + i). Отсюда
k
aj
ckj1
k
имеем, что должны иметь равенства: c1 =
, j = 1, ..., m. Среднее
aj
m
+ ) P
+ .
равенства в (1.4.17) дает равенство: ch ck1 (1 i =
α ch aj ck1 (1 i) Из
j=1
j
последнего равенства
+ коэффициенты αj , j = 1, ..., m, определяются в
k
ch c1 (1 i)
+ . Таким образом, мы свели задачу определения
виде α = γj
j
ch aj ck1 (1 i)
коэффициентов αj , j = 1, ..., m, к нахождению чисел γj , j = 1, ..., m,
k
P
удовлетворяющих условиям:
γ = 1, γ 6= 0 хотя бы для одного j ∈
j=1 j
j
{1, ..., m} (так как нулевой вектор {αj }m
j=1 = 0 не является собственным
значением в рассматриваемой спектральной задаче).
Итак, решение поставленной выше обобщенной спектральной задачи
имеет вид:
Рисунок 1.3 – Кривые, на которых расположены точки спектра (уменьшенный масштаб)
43
√
(1 − 2x) is
ch
ist
1
√2
us (x, t) = 1 −
e , s ∈ S \ {0}, u0 (x, t) = x(1 − x),
is
is
ch
2
½
¾m
p
ch
c
(1
+
i)
1
m
{αj (s)}j=1 = γj
, c = |s|/8, s ∈ S ,
ch aj c1 (1 + i) j=1 1
где γj , j = 1, ..., m, удовлетворяют условиям:
бы для одного j ∈ {1, ..., m}. Очевидно, что
m
P
j=1
1.5
k
P
γ = 1, γ 6= 0, хотя
j=1 j
αj (0) =
j
m
P
γ = 1.
j=1 j
О нагруженных дифференциально-операторных уравнениях первого порядка
Различные задачи для нагруженных дифференциально - операторных
уравнений первого порядка возникают и находят широкое применение во
многих приложениях . Известно, что нагрузка уравнения существенно
влияет на корректность задачи и, вследствие этого, они не всегда
оказываются поставленными корректно.
В данном разделе рассматриваются спектральные вопросы для
нагруженного дифференциального оператора L, определяемого граничной
задачей
[D − A + N ]u(t) = f (t),
t
t ∈ (0, b),
µu(0) − u(b) = 0,
m
X
∂
где D = , N [u(t)] =
αk u(tk ), µ, α ∈ C, k = 1, . . . , m, f ∈ H.
t
k
∂t
k=1
Также исследуются вопросы корректной постановки граничных задач
для нагруженных линейных дифференциально-операторных уравнений
высокого порядка с периодическими граничными условиями
N
Lu ≡ (D + A)u(t) +
t
j
Dt u(0)
=
m X
N
X
αjk DtN −j u(tk ) = f (t) на (0, 2π),
k=1 j=1
j
Dt u(2π), j =
0, 1, . . . , N − 1,
где D = ∂/∂t, αjk , ∈ C, k = 1, m, — (комплексные) постоянные,
t
0 < t < · · · < t < 2π.
1
m
44
1.5.1
О спектре нагруженного дифференциального оператора первого порядка
Предметом исследования данного раздела будут спектральные вопросы для нагруженного дифференциального оператора L, определяемого
граничной задачей
[D − A + N ]u(t) = f (t),
t ∈ (0, b),
t
µu(0) − u(b) = 0,
m
X
∂
где D = , N [u(t)] =
αk u(tk ), µ, α ∈ C, k = 1, . . . , m, f ∈ H, и
t
k
∂t
k=1
будет показано, что произвольное комплексное число λ принадлежит
одному из следующих множеств: резольвентному множеству, точечному
спектру или непрерывному спектру.
Постановка задачи и определения. Пусть Ω ⊂ R n — n-мерный
∞
куб с ребрами длины 2π. Пусть P
— линейное многообразие гладких,
периодических по всем переменным комплексных функций, а H —
x
гильбертово пространство суммируемых в квадрате на Ω функций, в
∞
котором множество P
плотно. Полиному A(s) с постоянными
комплексными коэффициентами
A(s) =
X
β
β
aβ s , s =
sβ1 1
...
sβnn ,
|
|β =
n
X
βj ,
j=1
|β|6β
β — заданное целое число, сопоставим дифференциальную операцию
A(−iD) таким образом, что
n
X
A(−iD)eis· x = A(s)eis·x , s · x = s x .
j j
j=1
Соответствующий оператор A : H → H определим как замыкание в
x
x
H операции A(−iD), определенной первоначально на функциях,
x
принадлежащих P ∞ . Такие операторы A называют Π-операторами.
Пусть S = {s = (s1 , . . . , sn )|s = 0; ±1, ±2, . . . , j = 1, . . . , n}. Тогда
j
совокупность экспонент {eis·x }, s ∈ S образует ортогональный базис в
H и является одновременно набором собственных элементов для каждого
x
из операторов A. А соответствующий набор чисел {A(s)}, s ∈ S
— собственными значениями оператора A. Пусть H ≡ L2 (0, b; Hx ).
45
Рассматриваются спектральные вопросы для нагруженного дифференциального оператора L, определяемого граничной задачей
[Dt − A + N ]u(t) = f (t),
t ∈ (0, b),
µu(0) − u(b) = 0,
(1.5.1)
m
X
∂
где Dt = , N [u(t)] =
αk u(tk ), µ, αk ∈ C, k = 1, . . . , m, f ∈ H.
∂t
k=1
Дадим необходимые в дальнейшем определения.
Определение 1.5. Элемент u ∈ H будем называть решением задачи
(1.5.1), если существует последовательность гладких функций ul (x, t),
сходящаяся в H к u, такая, что ul 2π-периодичны по переменным xj ,
удовлетворяют условиям из (1.5.1) по t и L(D)ul = fl → f при l →
→ ∞ в H.
Пусть T : H → H — некоторый фиксированный замкнутый оператор
(вообще говоря, неограниченный) с областью определения D(T ), плотной
в H, E− тождественный оператор.
Определение 1.6. Открытое множество ρT ⊂ C называется
резольвентным множеством оператора T, если для любого λ ∈ ρT
1
оператор
− λE)−(T существует, ограничен и определен на всем пространстве
H.
Определение 1.7. Замкнутое множество σT = C \ ρT называется
спектром оператора T.
Определение 1.8. Точка λ ∈ σT принадлежит точечному спектру
1
PσT оператора T, если оператор (T − λE)− не существует.
Определение 1.9. Точка λ ∈ σT принадлежит непрерывному спектру
1
CσT оператора T, если оператор (T − λE)− существует, множество
1
D((T − λE)−1 ) плотно в H, но оператор (T − λE)− неограничен.
Определение 1.10. Точка λ ∈ σT принадлежит остаточному
1
спектру RσT оператора T, если оператор (T − λE)− существует, но
множество D((T − λE)−1 ) не плотно в H.
Основные результаты. Прежде всего заметим, что поскольку Dt −
A − λ + N = Dt − (A + λ) + N, где A + λ− снова Π-оператор, достаточно
изучить случай λ = 0.
46
Введем обозначения: α =
m
P
αk , ,
s ∈ S,
k=1
[µ − exp{b · A(s)}] · [A(s) − α] + [µ − 1]
m
P
α exp{tk A(s)}
k=1
D(s) ≡
k
.
A(s)
(1.5.2)
Замечание 1.7. Если s такое, что A(s) = 0, то в (1.5.2) D(s)
определяется следующим предельным соотношением:
D(s) = bα + (µ − 1)[1 +
m
X
αk tk ] =
k=1
[µ − exp{b · A(s)}] · [A(s) − α] + [µ − 1]
=
m
P
k=1
lim
α exp{tk A(s)}
k
A(s)
A(s)→0
.
Справедливы следующие леммы.
Лемма 1.5.1. 0 ∈ ρL тогда и только тогда, когда выполнены условия
D(s) 6= 0 ∀s ∈ S .
Замечание 1.8. Если нагрузка в (1.5.1) отсутствует, то есть α =
k
0, k = 1, . . . , m, то условие леммы совпадает с условиями µ − exp{b ·
A(s)} 6= 0 ∀s ∈ S ,
Лемма 1.5.2. 0 ∈ PσL тогда и только тогда, когда для какого-либо
s ∈ S выполняется условие D(s0 ) = 0, где D(s) определено в (1.5.2).
0
Лемма 1.5.3. 0 ∈ CσL тогда и только тогда, когда существует
последовательность
l
{sl }∞
l=1 ⊂ S такая, что |D(s )| → 0 при l → ∞.
Из вышеуказанных лемм следует справедливость основного результата.
Теорема 1.5.1. Точка λ ∈ C принадлежит одному из множеств ρL,
PσL, CσL.
Доказательство леммы 1.5.1. Доказательство леммы основано на
изучении соответствующей (1.5.1) цепочки задач:
[D − A(s) + N ]us (t) = fs ,
t
µus (0) − us (b) = 0,
47
s ∈ S,
(1.5.3)
где us (t), fs (t) — зависящие от t коэффициенты разложений
X
X
is·x
u=
us (t)e , f =
fs (t)eis·x .
s∈S
(1.5.4)
s∈S
Используется аналог леммы из [124], c.118:
Лемма 1.5.4. Задача (1.5.1) однозначно разрешима при любом элементе
f ∈ H тогда и только тогда, когда все задачи цепочки (1.5.3) однозначно
разрешимы и существует не зависящая от s постоянная C > 0 такая,
что
kus kL2 (0,b) 6 Ckfs kL2 (0,b) при любом s ∈ S .
Найдем представление решений задач (1.5.3). Интегрируя эти задачи,
имеем:
us (t) = us (0)e
t
A(s)
A(s)t
+ N [us (t)] · 1 − e
+
A(s)
Zt
eA(s)(t−τ ) fs (τ )dτ,
0
если A(s) 6= 0, (1.5.5)
Zt
us (t) = us (0) − t · N [us (t)] +
fs (τ )dτ, если A(s) = 0,
(1.5.6)
0
где
m
X
N [us (t)] =
αk us (tk ).
k=1
Отсюда при t = b получаем:
[µ − e
A(s)b
A(s)t
]us (0) + 1 − e
· N [us (t)] =
A(s)
Zb
eA(s)(b−τ ) fs (τ )dτ,
0
если A(s) 6= 0, (1.5.7)
Zb
[µ − 1]us (0) + b · N [us (t)] =
fs (τ )dτ, если A(s) = 0.
(1.5.8)
0
Далее, приравнивая t и tk в (1.5.5)—(1.5.6), умножая результат соответственно на αk и суммируя полученные соотношения по k от 1 до m,
48
будем иметь:
при A(s) 6= 0
−
m
X
A(s) − α +
k
m
X
αk eA(s)tk
k=1
αk eA(s)t · us (0) +
· N [us (t)] =
A(s)
k=1
=
m
X
Ztk
eA(s)(tk −τ ) fs (τ )dτ, (1.5.9)
αk
k=1
0
при A(s)=0
−α · us (0) + [1 +
m
X
αk tk ] · N [us (t)] =
k=1
m
X
k=1
Ztk
αk
fs (τ )dτ.
(1.5.10)
0
Из систем уравнений (1.5.7), (1.5.9) и (1.5.8), (1.5.10) соответственно
определяем, неизвестные величины us (0) и N [us (t)], и получаем, что
решения задач цепочки (1.5.3) имеют следующее представление:
h
i
)
us (t) = [D(s)]−1 ∆us (0) etA(s + ∆Ns [A(s)]−1 (1 − etA(s) +
Zt
e(t−τ )A(s) fs (τ )dτ, если A(s) 6= 0, (1.5.11)
+
0
где
∆us (0)
°
Zb
°
e(b−τ )A(s) fs (τ )dτ
°
0
=°
tk
m
° X Z (t −τ )A(s)
αk e k
fs (τ )dτ
°
k=1
∆N
s
°
°
)
[A(s)]−1 [ebA(s − 1]
°
"
# °,
m
X
°
[A(s)]−1 A(s) − α +
αk etk A(s) °
k=1
0
°
°
bA(s)
° µ−e
=°
m
° X
αk etk A(s)
°−
k=1
°
°
e(b−τ )A(s) fs (τ )dτ
°
0
°,
tk
Z
m
X
°
(tk −τ )A(s)
αk e
fs (τ )dτ °
Zb
k=1
49
0
и D(s) определено согласно (1.5.2);
£
¤
us (t) = [D(s)]−1 ∆us (0) − ∆N · t +
s
где
∆us (0)
Zt
fs (τ )dτ, если A(s) = 0, (1.5.12)
0
°
Zb
°
fs (τ )dτ
b
°
0
=°
tk
m
m
°X Z
P
αk fs (τ )dτ 1 +
αk tk
°
k=1
∆N
s
k=1
0
°
Zb
°
fs (τ )dτ
° µ−1
0
=°
Ztk
m
X
°
αk fs (τ )dτ
° −α
k=1
°
°
°
°,
°
°
°
°
°
°,
°
°
0
и D(s) определено в замечании (1.7).
Из (1.5.11) и (1.5.12) непосредственно следует однозначная разрешимость каждой задачи цепочки (1.5.3).
Осталось установить априорные оценки, равномерные относительно
индекса s.
Пусть A(s) = 0. С учетом представления решения (1.5.12) непосредственно устанавливаем требуемые оценки. Пусть теперь A(s) 6= 0. В этом
случае, в силу условия леммы (1.5.1) и условия A(s) 6= 0 получаем, что
существуют постоянные δ1 , δ такие, что |D(s)| > δ > 0, |A(s)| > δ >
2
1
2
0 ∀s ∈ {S|A(s) 6= 0}. Дальнейшее доказательство леммы 1.5.1
проводится аналогично тому, как это сделано в для доказательства
теоремы об однозначной сильной разрешимости граничной задачи
(1.5.1). Лемма 1.5.1 полностью доказана.
Доказательство леммы 1.5.2. Дополнительно к условию леммы
0
1.5.2 положим, что A(s0 ) 6= 0. Тогда, если при каком-то s ∈ S : D(s0 ) =
0, то функция
#
"
tA(s0 )
)
1
−
e
0
0
etA(s +
eis ·x
0
A(s )
50
дает нетривиальное решение однородной задачи, соответствующей
(1.5.1), так как
0
)
1 − ebA(s )
bA(s0
µ=e
+
A(s0 )
в силу граничного условия из (1.5.1). Пусть теперь A(s0 ) = 0. Тогда
нетривиальным решением однородной задачи, соответствующей (1.5.1),
0
будет функция (1 − t)eis ·x . В этом случае из граничного условия (1.5.1)
будем иметь µ = 1 − b.
Обратно, при существовании нетривиального решения однородной задачи, соответствующей (1.5.1), нарушение условия леммы 1.5.2 невозможно. Это противоречит утверждению леммы 1.5.1.
Доказательство леммы 1.5.3. Так как 0 ∈
/ PσL, то заключаем,
1
что оператор L− существует и область D(L−1 ) плотна в H (содержит
заведомо все конечные суммы вида (1.5.4)). Докажем неограниченность
оператора L−1 . Согласно предположению леммы 1.5.3 существует последовательность {sl }∞
l=1 ⊂ S такая, что
ε = |D(sl )| → 0 при l → ∞.
(1.5.13)
l
Обозначим: A = A(sl ). В качестве правых частей в уравнении (1.5.1)
l
возьмем последовательность функций
l
f = exp (is · x),
l
kfl k2H = (2π)n b.
(1.5.14)
Покажем, что норма решений u задачи (1.5.1) при правых частях вида
l
(1.5.14) неограниченно растет при l → ∞. Вид u в этом случае дается
l
формулой
l
u = ul (t) exp (is · x),
l
kul k2H = (2π)n kul (t)k2H 1 (0,b) ,
где ul (t) имеет следующее представление (в уравнениях (1.5.3) fsl (t) ≡ 1)
½
¾ Zt
l
tAl
1
−
e
ul (t) = [D(sl )]−1 ∆ul (0) etA + ∆Nl
+ e(t−τ )Al dτ,
Al
(1.5.15)
0
где
µ
A −α+
l
∆ul (0) =
m
P
k=1
¶ Zb
¡
l
e(b−τ )Al dτ − ebA
αk etk Al
m
¢X
−1
αk
k=1
0
Al
51
Ztk
e(tk −τ )Al dτ
0
,
bAl
∆N = (µ − e
l
)
m
X
k=1
Ztk
αk
Zb
e
(tk −τ )Al
dτ +
0
e
(b−τ )Al
dτ
m
X
αk etk Al .
k=1
0
Производя интегрирование и исключая из рассмотрения случай Al = 0
(что возможно за счет перехода, если необходимо, к соответствующей
подпоследовательности), получим
µ
¶
1 µ − 1 tAl µ − ebAl
ul (t) =
e −
.
(1.5.16)
Al D(sl )
D(sl )
Если µ = 1, то ul (t) не зависит от t и условие леммы равносильно
соотношению |Al − α| → 0 при l → ∞ (в частности, при α = 0 имеем
|Al | → 0 при l → ∞), так как при µ = 1
1
ul (t) = −
.
Al − α
Таким образом, в этом случае мы имеем неограниченность оператора
L−1 .
Если µ 6= 1, то в формуле (1.5.16) второе слагаемое
−(µ − ebAl )[Al D(sl )]−1
ограничено, так как для достаточно больших l имеем |Al −α| ≥ η > 0, и
при |Al | → ∞ стремится к нулю. Поэтому, в (1.5.16) достаточно показать,
что неограниченно растут нормы функций
vl = etAl [D(sl )]−1 A−1
l .
Положим Al = rl + iql , где rl , ql вещественны. Имеем:
e2br − 1
l
kvl k2H(0,b
)
=
¯
¯2 .
m
P
2rl ¯(µ − ebAl )(Al − α) + (µ − 1)
αk etk Al ¯
(1.5.17)
k=1
Если µ = 0, то правая часть (1.5.17) стремится к величине e
−2tk rl
,
которая в свою очередь стремится к +∞ при rl → −∞. Последнее
соответствует условию леммы D(sl ) → 0.
Если µ = ∞, то из условия леммы следует, что rl → +∞. Отсюда
получаем неограниченность правой части (1.5.17).
Если µ 6= 0, 1, ∞, то для достаточно больших l имеем 0 < η1 6
l
|Al − α| 6 η2 < ∞. Поскольку |rl |−1 |e2br − 1| > β > 0 (для достаточно
l
больших l |e2br − 1| > δ1 > 0, rl > +N ), видим, что kvl k2H(0,b растет
)
вместе с |D(sl )|−2 . Это завершает доказательство леммы 1.5.3.
52
Замечание 1.9. При µ = 0, ∞ и произвольном операторе A
точечный спектр оператора L не всегда пуст (в отличие от случая,
когда отсутствует нагрузка.
Замечание 1.10. Остаточный спектр оператора L пуст, как и у
оператора A, то есть σL = PσL, CσL = σL \ PσL. Оказалось, что
это свойство оператора L не зависит от наличия нагрузки.
Множество PσL описывается корнями λ уравнения
nh
i
£
i arg µ+2πli
b[A(s)+λ]
|µ|e
e
[A(s
α + |µ|ei arg µ+2πli −
−
0 s] ∈ S
= 0 , ±1 , ±2
− ) · [A(s · + λ] 1 =
λ−
m
X
..
−1]
αk etk [A(s)+λ]
)+
k=1
)
,
, l
,.
Примеры. Рассмотрим два примера на применение полученных
результатов.
10 . Пусть A(s) = s2 , µ = 1, α = 0. Тогда условие (1.5.2) принимает
вид D(s) = 1−exp bs2 , если s 6= 0; в частности, D(0) = 0. Итак, имеем
Утверждение 1.5.1. Пусть A(s) = s2 , µ = 1, α = 0. Тогда 0 ∈ PσL.
Точечный спектр PσL оператора L описывается множеством: λ =
−s 2 + i2π(b)−1 l, l = 0, ±1, ±2, . . .
20 . Пусть A(s) = s2 , µ = 0, α = 0. Тогда условие (1.5.2) принимает
m
P
вид D(s) = − exp (bs2 ) −s−2
α exp (s2 tk ), если s 6= 0; в частности,
−D(0) = 1 +
m
P
k=1
k
αk tk .
k=1
Таким образом, получаем
Утверждение 1.5.2. Пусть A(s) = s2 , µ = 0, α = 0,
B = B(s, αk , tk ) ≡
s
m
X
2
αk s− · exp (−s2 (b − tk )).
k=1
Тогда 0 ∈ ρL, если B 6= −1 ∀s ∈ S; 0 ∈ PσL, если B = −1 хотя бы
s
s
для одного s ∈ S. В этом случае точечный спектр PσL описывается
корнями уравнения:
m
X
k=1
2
exp [−(b −
2 tk )(s + λ)]
αk
= −1, s ∈ S.
s +λ
53
Отметим, что в работе рассматривались спектральные вопросы для
нагруженных обыкновенных дифференциальных операторов второго
порядка на ограниченном интервале.
1.5.2
О нагруженных уравнениях с периодическими
граничными условиями
В данном разделе рассматриваются вопросы корректной постановки
граничных задач для нагруженных линейных дифференциально –
операторных уравнений высокого порядка с периодическими граничными
условиями.
Пусть Ω — n-мерный куб с ребрами длины 2π; P ∞ линейное
—
многообразие гладких периодических по всем переменным
комплекснозначных функций, H ≡ H(Ω) — гильбертово пространство
интегрируемых в квадрате на Ω функций, в котором множество P ∞
плотно. Полиному
..
X
α
. αn
α
α
A(s) =
sn , |α| = α + · · · + αn ,
aα s , s = s 1 1
|α|6l
1
с постоянными комплексными коэффициентами поставим в соответствие
α
дифференциальную
операцию
A(−iD),
где
D
= Dα1 . . . Dnαn , D ≡
√
1
j ·
∂/∂xj , i = −1, таким образом, что A(−iD) exp{is · x} = A(s) exp{is
x}, s · x = s1 x + · · · + sn xn .
1 : H → H зададим как замыкание в H операции A(−iD),
Оператор A
определенной первоначально на функциях из P ∞ .Оператор A назовем
Π-оператором.
Обозначим через S множество n-мерных целочисленных векторов
{s1 , . . . , sn }, где s = 0, ±1, ±2, . . . . Очевидно, что совокупность экс
k · x}, s ∈ S } образует ортогональный базис в H
понент вида {exp{is
и является одновременно набором собственных элементов для оператора
A, а каждое из чисел A(s), s ∈ S , — соответствующим собственным
значением.
Задача 1. Исследовать вопросы разрешимости краевой задачи:
Lu ≡ (DN
t
Dtj u(0)
m X
N
X
+ A)u(t) +
αjk DtN −j u(tk ) = f (t) на (0, 2π),
=
k=1 j=1
j
Dt u(2π), j =
0, 1, . . . , N − 1,
54
(1.5.18)
где D = ∂/∂t, αjk , ∈ C, k = 1, m, — (комплексные) постоянные, 0 < t <
t
1
· · · < t < 2π.
m
Определение 1.11. Для задачи (1.5.18) функцию u(t) ∈ L2 (0, 2π; H)
назовем сильным решением, если существует последовательность
{un (t)} ⊂ {C N ((0, 2π); P ∞ ) ∩ C N −1 ([0, 2π]; P ∞ ), Dtj u(0) = Dtj u(2π), j =
0, 1, . . . , N −1}, для которой имеют место соотношения: Lun (t) → f (t),
un (t) → u(t) в L2 (0, 2π; H).
Основные результаты по задаче 1 формулируются в виде следующих
утверждений.
Теорема 1.5.2. Задача (1.5.18) при любом f ∈ L2 (0, 2π; H) однозначно
сильно разрешима в пространстве L2 (0, 2π; H) тогда и только тогда,
когда
m
X
αN + A(s) 6= 0 ∀s ∈ S , −A(s) 6= (iq)N ∀s ∈ S \ S 0 , (1.5.19)
k
k=1
0
где q = ±1, ±2, . . . , S = {s|s ∈ S , A(s) = 0}.
Теорема 1.5.3. При N = 3 задача (1.5.18) для любого f ∈ L2 (0, 2π; H)
однозначно сильно разрешима в пространстве L2 (0, 2π; H), тогда и
только тогда, когда выполнены условия
m
X
α3 + A(s) 6= 0 ∀s ∈ S , A(s) 6= iq 3 ∀s ∈ S \ S 0 , q = 1, 2, . . .
k=1
k
(1.5.20)
Замечание 1.11. Утверждения теорем 1.5.2 и 1.5.3 показывают,
что, во-первых, условия корректности задачи (1.5.18) не зависят от
точек нагружения {tk }m
k=1 , во-вторых, корректность задачи (1.5.18)
не зависит также от коэффициентов αjk , j = 1, N − 1, k = 1, m.
Доказательство теоремы 1.5.2. Используем метод Фурье, т. е. решение и правую часть уравнения (1.5.18) представим в виде
X
X
u=
us (t) exp{is · x}, f =
fs (t) exp{is · x}.
(1.5.21)
s∈S
s∈S
В задаче (1.5.18) для коэффициентов разложений (1.5.21) будем иметь
) X
m X
N
DtN us (t +
αjk us (tk ) = fs (t) на (0, 2π),
k=1 j=1
us (0) = us (2π),
55
если s ∈ S 0 ; (1.5.22)
DtN us (t)
+ A(s)us (t) +
m X
N
X
αjk us (tk ) = fs (t) на (0, 2π),
k=1 j=1
если s ∈ S \ S 0 . (1.5.23)
us (0) = us (2π),
Определение 1.12. Будем говорить, что задачи (1.5.22), (1.5.23) регулярно разрешимы, если для fs ∈ C((0, 2π)) эти задачи разрешимы в
классе C N ((0, 2π)) ∩ C N −1 ([0, 2π]).
Сформулируем аналог леммы из [124] (c. 118).
Лемма 1.5.5. Утверждение теоремы 1.5.2 будет иметь место тогда
и только тогда, когда каждая из задач (1.5.22), (1.5.23) однозначно
регулярно разрешима и выполнены оценки
kus (t)kL2 (0,2π) 6 Ckfs (t)kL2 (0,2π)
для ∀s ∈ S ,
(1.5.24)
где постоянная C не зависит от s.
Для задач (1.5.22), (1.5.23) справедливы следующие леммы.
Лемма 1.5.6. Задачи (1.5.22) при любом fs ∈ C((0, 2π)) однозначно
регулярно разрешимы и верны оценки (1.5.24) тогда и только тогда,
m
P
когда
αN k 6= 0.
k=1
Лемма 1.5.7. Задачи (1.5.23) при любом fs ∈ C((0, 2π)) однозначно
регулярно разрешимы и справедливы оценки (1.5.24) тогда и только
тогда, когда
m
X
−A(s) 6= (iq)N
αN k + A(s) 6= 0,
∀s ∈ S \ S 0 ,
k=1
q = ±1, ±2, . . .
(1.5.25)
0
Для случая s ∈ S из (1.5.22) мы получаем
DtN −p us (t) =
N
−1
X
j=N −p
tj−N +p
Dtj us (0) +
(j − N + p)!
Zt
0
(t − τ )p−1
fs (τ )dτ −
(p − 1)!
tp
− Ms , p = 1, . . . , N ; (1.5.26)
p!
где
Ms =
m X
N
X
αjk DtN −j us (tk ).
k=1 j=1
56
Из соотношения (1.5.26) для p = 1, t = 2π будем иметь:
M = 1
s
2π
Z2π
fs (t)dt.
(1.5.27)
0
Используя равенство (1.5.27), из соотношения (1.5.26) для p = 2, t = 2π
мы находим DtN −1 us (0) и т.д. В (1.5.26) для p = N мы должны найти
только us (0). Для этого, сначала фиксируя t = tk , k = 1, . . . , m, в
(1.5.26) для всех p = 1, . . . , N, и далее умножая полученные формулы
соответственно на αpk , мы просуммируем их по k от 1 до m. Таким
образом, отсюда мы находим искомое значение us (0), тогда и только
тогда, когда выполнено условие
m
X
αN 6= 0.
(1.5.28)
k
k=1
0
Таким образом, для всех s ∈ S граничная задача (1.5.22) имеет единственное решение us (t), тогда и только тогда, когда выполнено условие
(1.5.28).
Рассмотрим случай s ∈ S \ S 0 . Из равенства (1.5.23) мы получаем
N
Y
(Dt1 − λjs )us (t) = fs (t) − Ms , t ∈ (0, 2π),
j=1
=
Dtj us (0)
где λj
s
, j = , ,...,N −
Dtj us (2π)
0 1
1; (1.5.29)
являются корнями характеристического уравнения
N
λ + A(s) = 0.
Из (1.5.29) мы имеем
Dj us (t) = Dtj F0s (t), j = 1, . . . , N − 1;
t
(1.5.30)
us (t) = F0s (t) − Ms [A(s)]−1 ;
где (мы принимаем tN +1 = t):
F0s (tj+1 ) =
Z2π
Z2π
···
0
fs (t1 )
N
Y
j=1
0
| {z }
N
57
Gjs (tj+1 , tj )dt ;
j
m X
N
X
M =
s
αjk DtN −j us (tk ) ;
k=1 j=1
Z2π
1
[A(s)]− =
···
Z2π Y
N
|0 {z 0 }
Gjs (tj+1 , tj )dt ;
j
j=1
N
Gjs (t, τ ) =
exp{λjs (t − τ )} ,
1 − exp{λj · 2π}
0 6 τ 6 t;
s
exp{λjs (2π + t − τ )}
, t 6 τ 6 2π.
1 − exp{λjs · 2π}
Заметим, что равенства (1.5.30) справедливы тогда и только тогда, когда
выполнены условия:
√
−A(s) 6= (iq)N , ∀q = ±1, ±2, . . . , i = −1.
(1.5.31)
Далее, фиксируя t = t в (1.5.30),затем умножая соответствующие
k
формулы на αN −j,k и суммируя их по k от 1 до m и по j от 0 до
N − 1, мы получаем
−
∆s Ms [A(s)]
1
=
m N
−1
X
X
αN −j,k Dtj F0s (tk ),
k=1 j=0
m
P
где ∆ ≡ A(s) +
αN k . Следовательно, мы определим однозначно Ms ,
s
k=1
если и только если выполнено условие
∆ 6= 0 ∀s ∈ S \ S 0 .
s
(1.5.32)
Таким образом, используя (1.5.30), мы получим решения (1.5.29)
−1
us (t) = F0s (t) − [∆s ]
m X
N
X
αjk DtN −j F0s (tk ).
(1.5.33)
k=1 j=1
Заметим, что условия (1.5.28), (1.5.31) и (1.5.32) совпадают с условиями (1.5.19) теоремы 1.5.2.
Согласно выше установленных результатов для решений граничных
задач (1.5.22)–(1.5.23) оценки (1.5.24) имеют место.
Для завершения доказательства теоремы 1.5.2 необходимо показать
замыкаемость оператора граничной задачи (1.5.18) в пространстве
L2 (0, 2π; H).
58
Утверждение 1.5.3. Оператор T + E замкнут, если T замкнут и E
ограничен в D(E), D(T ) ⊂ D(E). Здесь D(X) — область определения
оператора X.
Примеры
Пусть Q = {x, t| 0 < x, t < 2π.
10 . Для граничной задачи:
(Dt3 − Dx2 )u + M1 u = f на Q;
(
Dxj u(0, t) = Dxj u(2π, t), j = 0, 1;
)j= , ,
0 1 2;
Dtj u(x, o) = Dtj u(x, 2π
где
M1 u ≡
m X
3
X
(1.5.34)
(1.5.35)
αjk DtN −j u(x, tk ),
k=1 j=1
(в силу −s 2 6= iq 3 ∀s, q = ±1, ±2, . . . ) имеет место следующее
утверждение:
Следствие 1.3. Задача (1.5.34)–(1.5.35) для ∀f ∈ L2 (Q) допускает
единственное сильное решение u ∈ L2 (Q), если и только если
" m
#1/2
X
sh
6= 0.
α3k
(1.5.36)
k=1
π
20 . Для граничной задачи:
u
+
u+
u=f
Dx2
M1
на Q;
Dt3
(1.5.37)
2
3
(1.5.35) следующее утверждение имеет место (в силу s 6= iq ∀s, q =
±1, ±2, . . . ):
Следствие 1.4. Задача (1.5.37), (1.5.35) для ∀f ∈ L2 (Q) допускает
единственное сильное решение u ∈ L2 (Q), если и только если выполнено
условие
"
#1/2
m
X
6= 0.
sin π
α3k
k=1
30 . Для граничной задачи:
Dt4 u
−
Dx2
u+
u=f
на Q;
(
Dxj u(0, t) = Dxj u(2π, t), j = 0, 1;
)= j
, j= , , ,
Dt u(x, 2π)
0 1 2 3;
Dtj u(x, o
59
M2
(1.5.38)
(1.5.39)
где
M2 u ≡
m X
4
X
αjk DtN −j u(x, tk ),
k=1 j=1
2
4
(в силу s + q 6= 0 ∀s, q = ±1, ±2, . . . ) следующее утверждение имеет
место:
Следствие 1.5. Задача (1.5.38)–(1.5.39) для ∀f ∈ L2 (Q) имеет единственное сильное решение u ∈ L2 (Q), если и только если выполнено
условие (1.5.36).
60
2.
На практике, достаточно часто возникают нагруженные уравнения,
где присутствуют следы искомой функции, получающиеся при
фиксированной "временной" переменной. К такого рода уравнениям
приводят, например: задачи импульсного управления, задачи механики
вязкоупругости с "памятью", проблемы, появляющиеся при
эквивалентном преобразовании нелокальных задач к локальным и др.
Сюда, также могут быть отнесены нагруженные обыкновенные
дифференциальные уравнения. В данном разделе изучаются две
задачи: первая — это установление размерности ядра оператора задачи
Коши для одномерного по пространственной переменной уравнения
теплопроводности с нагрузкой при фиксированной временной
переменной; вторая — это вопросы сильной однозначной разрешимости
задачи Коши для вышеназванного уравнения. Особенностью
рассматриваемых здесь задач является наличие нагруженного
слагаемого с производной от искомого решения более высокого порядка,
чем в главной дифференциальной части уравнения. Такие нагрузки
названы "существенными".
2.1.1
Постановка задачи
Задача 1. Рассматривается следующая однородная задача Коши:
Lu = 0 ⇔
ut (x, t) − uxx (x, t) + α
u(x, 0) = 0,
61
∂ k u(x, t)
= 0, x ∈ R, t > 0,
∂tk
x ∈ R,
(2.1.1)
где α ∈ R , t ∈ R = (0, +∞) — заданные величины, k = 0, 1, 2, ...
+
Задача 2. Рассматривается следующая неоднородная задача Коши:
Lu = {f, φ} ⇔
⇔
ut (x, t) − uxx (x, t) + α
u(x, 0) = φ(x),
∂ k u(x, t)
= f (x, t), x ∈ R, t > 0,
∂tk
x ∈ R,
(2.1.2)
где α ∈ R, t ∈ R — заданные величины, k = 0, 1, 2, ...,
+
f ∈ W2k 0 (R+ ; L2 (R)), φ ∈ L2 (R).
(2.1.3)
,
∂ m f (x, 0)
Здесь 0 в обозначении пространства означает, что
= 0, m =
∂tm
0, 1, ..., k − 1.
2.1.2
О размерности ядра оператора, соответствующего
задаче Коши
Применяя преобразование Фурье по переменной x, из (2.1.1) для
Фурье-образа U (s, t) получаем:
U 0 (s, t) + s2 U (s, t) + αU (k) (s, t) = 0, U (s, 0) = 0,
(2.1.4)
где s ∈ R (вещественная) переменная преобразования Фурье. Из
(2.714) непосредственно следует справедливость утверждения
Предложение 2.1.1. Для того чтобы задача Коши (2.1.1) имела только
тривиальное решение, необходимо и достаточно, чтобы для ∀s ∈ R
были выполнены условия:
−s2 t
1
−
e
1+α
0
,
если k = 0,
s2
(2.1.5)
6= ∆k (s) =
2
1 + (−1)k+1 αs2(k−1) e−s t , если k = 1, 2, 3, ...
Обсудим условия (2.7.5).
1. Пусть k = 0. В этом случае условие (2.1.5) может быть записано в
следующем виде:
2
1 − e−s t
1
ϕ0 (s) ≡
6= − .
(2.1.6)
2
s
α
62
Максимальное и минимальное значения функции ϕ0 (s), s ∈ R, соответственно равны: ϕ0 max = t, ϕ0 inf = 0, т.е. имеем, что ∀s ∈ R, 0 < ϕ0 (s) 6
t = lim ϕ0 (s).
s→0
Последние неравенства позволяют получить утверждения, которые
представлены в таблице.
Таблица 2.1 – Размерность ядра
1. Im α 6= 0
2. Im α = 0
−1
a). α > −t
−1
b). α = −t
−1
c). α < −t
dim{Ker L} условие (2.1.6)
0
не нарушается
0
1
не нарушается
нарушается в единственной
точке s = 0
нарушается в 2-х точках ±s1
2
Из Таблицы 2.1 следует, что если α ∈ C, такое, что {Im α 6= 0} ∪
−1
{Im α = 0, α > −t }, то задача (2.7.1) не имеет нетривиального ре−1
шения. Если {Im α = 0, α = −t }, то задача (2.1.1) имеет ровно одно
−1
нетривиальное решение; если же {Im α = 0, α < −t }, то задача (2.1.1)
имеет два нетривиальных линейно независимых решения.
2. Пусть k = 1. В этом случае условие (2.1.5) записывается в виде:
1
2
ϕ1 (s) ≡ e−s t =
6 − .
α
(2.1.7)
Максимальное и минимальное значения функции ϕ1 (s), s ∈ R, соответственно равны: ϕ1 max = ϕ1 (0) = 1, ϕ1 inf = 0, т.е. имеем, что ∀s ∈ R,
lim ϕ1 (s) = 0 < ϕ1 (s) 6 1.
s→∞
Полученное сведем в таблицу.
Таблица 2.2 – Размерность ядра
1. Im α 6= 0
2. Im α = 0
a). α > −1
b). α = −1
c). α < −1
dim{Ker L} условие (2.1.7)
0
не нарушается
0
1
2
не нарушается
нарушается в единственной
точке s = 0
нарушается в 2-х точках ±s1
63
Результаты Таблицы 2.2 означают, что если α ∈ C, такое, что {Im α 6=
0} ∪ {Im α = 0, α > −1}, то задача (2.1.1) не имеет нетривиального
решения. Если {Im α = 0, α = −1}, то задача (2.1.1) имеет ровно одно
нетривиальное решение; если же {Im α = 0, α < −1}, то задача (2.1.1)
имеет два нетривиальных линейно независимых решения.
3. Пусть k = 2m, m = 1, 2, ... В этом случае условие (2.1.5) принимает
вид:
1
2
ϕ2m (s) ≡ s2(2m−1) e−s t 6= .
(2.1.8)
α
Максимальное и минимальное значения функции ϕ2m (s), s ∈ R, соот£
¤2m−1
ветственно равны: ϕ2m max = (2m − 1)/(te)
, ϕ2m inf = 0, т.е. имеем,
£
¤2m−1
что ∀s ∈ R, lim ϕ2m (s) = 0 < ϕ2m (s) 6 (2m − 1)/(te)
.
s→∞
Отсюда непосредственно следует:
Таблица 2.3 – Размерность ядра
1. Im α 6= 0
2. Im α = 0
£
¤2m−1
a). α < (2m − 1)/(te)
£
¤2m−1
b). α = (2m − 1)/(te)
£
¤2m−1
c). α > (2m − 1)/(te)
dim{Ker L} условие (2.1.8)
0
не нарушается
0
2
4
не нарушается
наруш. в 2-х точ. ±s0
нар. в 4-х точ.
±s1 , ±s2
Итак, данные Таблицы 2.3 £показывают, что
если α ∈ C, такое, что
¤2m−1
}, то задача (2.1.1) не
{Im α 6= 0} ∪ {Im α = 0, α < (2m − 1)/(te)
имеет нетривиального решения. Если
£
¤2m−1
},
{Im α = 0, α = (2m − 1)/(te)
то задача (2.1.1) имеет два нетривиальных линейно независимых
£
¤2m−1
}, то задача (2.1.1)
решения; если же {Im α = 0, α (2m
> − 1)/(te)
имеет четыре нетривиальных линейно независимых решения.
4. Пусть k = 2m + 1, m = 1, 2, ... В этом случае условие (2.1.5) может
быть записано в виде:
1
2
ϕ2m+1 (s) ≡ s4m e−s t =
6 − .
α
64
(2.1.9)
Максимальное и минимальное значения функции ϕ2m+1 (s), s ∈ R, со£
¤2m
ответственно равны: ϕ2m+1 max = 2m/(te)
, ϕ2m+1 inf = 0, т.е. имеем,
£
¤2m
что ∀s ∈ R, lim ϕ2m+1 (s) = 0 < ϕ2m+1 (s) 6 2m/(te)
.
s→∞
Отсюда непосредственно следует:
Таблица 2.4 – Размерность ядра
dim{Ker L} условие (2.1.9)
0
не нарушается
1. Im α 6= 0
2. Im α = 0
£
¤2m
a). α > − 2m/(te)
£
¤2m
b). α = − 2m/(te)
0
2
£
¤2m
c). α < − 2m/(te)
4
не нарушается
нарушается в 2-х точках
±s0
наруш. в 4-х точках
±s1 , ±s2
Таким образом, результаты Таблицы 2.4
£ означают,
¤2m что если α ∈ C,
такое, что {Im α 6= 0} ∪ {Im α = 0, α > − 2m/(te) }, то задача (2.1.1)
£
¤2m
не имеет нетривиального решения. Если {Im α = 0, α = − 2m/(te) },
то задача (2.1.1) имеет два нетривиальных линейно независимых
£
¤2m
}, то задача (2.1.1) имеет
решения; если же {Im α = 0, α <2m/(te)
−
четыре нетривиальных линейно независимых решения.
5. О нетривиальных решениях задачи (2.1.1). Если {α, t} заданы согласно таблиц 2.1 — 2.4, то им соответствующие нетривиальные решения
задачи (2.1.1) определяются по следующим формулам:
u(s=0) (x, t) = −α · t,
´
α³
2
−s
t
u(s=±sj ) (x, t) = − 2 1 − e j e±isj x , j = 0, 1, 2,
sj
∂ k u(x, t)
= eisx ,
k
∂t
где вещественные числа s = {0, ±s0 , ±s1 , ±s2 } являются
соответствующими корнями уравнений
2
−s t
1 + α1 − e
= 0,
s2
2
1 + (−1)k+1 αs2(k−1) e−s t = 0,
65
если k = 0,
если k = 1, 2, 3, ...
(2.1.10)
Заметим, что ни одна из функций (2.1.10) не принадлежит
пространству L2 (R × R+ ). Это означает, что в пространстве L2 (R ×
R+ ) ядро оператора L задачи (2.1.1) нульмерно. Однако, каждая
из функций
(8) принадлежит пространству с весом:
(2.1.11)
−εt
L2, e−εt ≡ {v| v(x, t) · e ∈ L2 (R × R+ ) для ∀ ε > 0},
а это означает, что ядро оператора L задачи (2.1.1) в пространстве
L2, e−εt не всегда пусто и имеет соответствующую размерность согласно
данным вышеуказанных таблиц 2.1 — 2.4.
2.1.3
Класс и критерий однозначной сильной разрешимости
Дадим следующее
Определение 2.1. Функцию u(x, t) ∈ L2, e−εt будем называть сильным
решением неоднородной задачи Коши (2.1.2), если существует
последовательность
{un (x, t), n = 1, 2, ...} ⊂ {v| v ∈ L2, e−εt , v(x, 0) = φ(x)},
такая, что
lim
n→∞
и
un (x, t) → u(x, t) в пространстве L2, e−εt ,
∂ k [Lun ](x, t)
∂ k f (x, t)
→
в пространстве L2 (R × R+ ).
n→∞
∂tk
∂tk
lim
Применяя преобразование Фурье по переменной x, из (2.1.2) будем
иметь:
( 0
U (s, t) + s2 U (s, t) + αU (k) (s, t) = F (s, t),
(2.1.12)
U (s, 0) = Φ(s),
где F (s, t), Φ(s) — образы Фурье для функций f (x, t), φ(x)
соответственно. При выполнении условий (2.1.5) предложения 2.1.1,
интегрируя уравнение (2.1.12), получим следующее представления
единственного решения задачи Коши (2.1.12):
66
U (s, t) =
1
−∆−1
α
k
2
− e−s t h
k 2k
−s2 t
(−1)
s
Φ(s)e
+
s2
Zt
k 2k
+ (−1) s
F (s, τ )e
−s2 (t−τ )
+
dτ
+
0
k−1
X
(−1)m−1 s2(m−1) F (m−1) (s, t) +
m=1
2t
Zt
F (s, τ )e−s
+ Φ(s)e−s +
2
(t−τ )
dτ, (2.1.13)
0
где ∆k (s) определено в (2.1.5). Из (2.7.5) видим, что U (t, s) удовлетворяет
следующей, равномерной по s, априорной оценке:
"
|+
#
k
X
−εt
kU (s, t)e kL2 (R+ 6 C |Φ(s)
kF (m) (s, t)kL (R ) ,
(2.1.14)
2
+
m=0
)
где постоянная C не зависит от s, и ε > 0. Из оценки (2.1.14),
используя равенство Парсеваля, получим
i
h
(k)
−εt
kf (x, t)kL2 (R+
kf (x, t)kL2 (R+ ) ,
ku(x, t)e kL2 (R+ 6 C kφ(x)kL2 (R
+
+
)
(2.1.15)
На основе оценки (2.1.15) устанавливаем справедливость следующего
утверждения.
)
)
Предложение 2.1.2. Задача Коши (2.1.2) при любых {f, φ},
удовлетворяющих условиям (2.1.2), однозначно сильно разрешима в
пространстве L2, e−εt (2.1.11), тогда и только тогда, когда выполнены
условия (2.1.5).
Замечание. Таким образом, классом сильных решений задачи Коши
(2.1.2) является пространство с весом L2, e−εt , которое определяется
условием (2.1.11).
2.3 Задача Коши-Дирихле на четверти плоскости
В этом разделе рассматривается первая гранично-начальная задача в
полуограниченной области для одномерного уравнения теплопроводности
с "существенной" нагрузкой при фиксированной временной переменной.
Устанавливается размерность ядра соответствующего оператора в
67
зависимости от точки "нагружения коэффициента и порядка нагруженного
слагаемого. Получены необходимые и достаточные условия сильной
однозначной разрешимости рассматриваемой задачи.
2.2.1
Постановка задачи
Задача 1. Однородная задача Коши-Дирихле:
k
Lu = 0 ⇔ u (x, t) − u (x, t) + α ∂ u(x, t) = 0, x ∈ R , t > 0,
t
xx
+
∂tk
u(0, t) = 0, u(x, 0) = 0,
x ∈ R+ ,
(2.2.1)
где α ∈ R, t ∈ R = (0, +∞) — заданные величины, k = 0, 1, 2, ...
+
Задача 2. Неоднородная задача Коши-Дирихле:
Lu = {f, φ} ⇔
∂ k u(x, t)
ut (x, t) − uxx (x, t) + α
= f (x, t), x ∈ R+ , t > 0,
⇔
∂tk
u(0, t) = ψ(t), u(x, 0) = φ(x),
x ∈ R+ ,
(2.2.2)
где α ∈ R, t ∈ R — заданные величины, k = 0, 1, 2, ...,
+
f ∈ W2k 0 (R+ ; L2 (R+ )), φ ∈ L2 (R+ ), ψ(t) ∈ L2 (R+ ).
,
Здесь 0 в обозначении пространства означает, что
0, 1, ..., k − 1.
2.2.2
(2.2.3)
∂ m f (x, 0)
= 0, m =
∂tm
О размерности ядра оператора
Применяя синус-преобразование Фурье по переменной x, из (2.2.1)
для Фурье-образа U (s, t) получаем:
U 0 (s, t) + s2 U (s, t) + αU (k) (s, t) = 0, U (s, 0) = 0,
где
(2.2.4)
r Z∞
2
U (s, t) =
u(x, t) sin sx dx,
π
0
s ∈ R (вещественная) переменная преобразования Фурье. Из (2.2.4)
+
непосредственно следует справедливость утверждения
68
Предложение 2.2.1. Для того чтобы задача (2.2.1) имела только
тривиальное решение, необходимо и достаточно, чтобы для ∀s ∈ R+
были выполнены условия)
2
1 − e−s t
0
1+α
,
если k = 0,
s2
(2.2.5)
6= ∆k (s) =
2
1 + (−1)k+1 αs2(k−1) e−s t , если k = 1, 2, 3, ...
Обсудим условия (2.2.5).
1. Пусть k = 0. В этом случае условие (2.2.5) может быть записано в
следующем виде:
2
1 − e−s t
1
ϕ0 (s) ≡
6= − .
(2.2.6)
2
s
α
Максимальное и минимальное значения функции ϕ0 (s), s ∈ R+ , соответственно равны: ϕ0 max = t, ϕ0 inf = 0, т.е. имеем, что ∀s ∈ R+ , 0 <
ϕ0 (s) 6 t = lim ϕ0 (s).
s→0
Последние неравенства позволяют получить утверждения, которые
представлены в таблице.
Таблица 2.5 – Размерность ядра
1. Im α 6= 0
2. Im α = 0
−1
a). α > −t
−1
b). α = −t
−1
c). α < −t
dim{Ker L} условие (2.2.6)
0
не нарушается
0
1
1
не нарушается
нарушается в единственной точке
s=0
нарушается также в одной точке
s1
Из Таблицы 2.5 следует, что если α ∈ C, такое, что {Im α 6= 0} ∪
−1
{Im α = 0, α > −t }, то задача (2..1) не имеет нетривиального
−1
решения. Если {Im α = 0, α 6 t− }, то задача (2.2.1) имеет ровно одно
нетривиальное решение.
2. Пусть k = 1. В этом случае условие (2.2.5) записывается в виде:
2
1
ϕ1 (s) ≡ e−s t =
6 − .
α
69
(2.2.7)
Максимальное и минимальное значения функции ϕ1 (s), s ∈ R, соответственно равны: ϕ1 max = ϕ1 (0) = 1, ϕ1 inf = 0, т.е. имеем, что ∀s ∈ R,
lim ϕ1 (s) = 0 < ϕ1 (s) 6 1.
s→∞
Полученное сведём в таблицу.
Таблица 2.6 – Размерность ядра
1. Im α 6= 0
2. Im α = 0
a). α > −1
b). α = −1
c). α < −1
dim{Ker L} условие (2.2.7)
0
не нарушается
0
1
1
не нарушается
нарушается в единственной точке s = 0
нарушается в одной точке s1
Результаты Таблицы 2.6 означают, что если α ∈ C, такое, что {Im α 6=
0} ∪ {Im α = 0, α > −1}, то задача (2.2.1) не имеет нетривиального
решения. Если {Im α = 0, α 6 −1}, то задача (2.2.1) имеет ровно одно
нетривиальное решение.
3. Пусть k = 2m, m = 1, 2, ... В этом случае условие (2.2.5) принимает
вид:
1
2
ϕ2m (s) ≡ s2(2m−1) e−s t 6= .
(2.2.8)
α
Максимальное и минимальное значения функции ϕ2m (s), s ∈ R, соот£
¤2m−1
ветственно равны: ϕ2m max = (2m − 1)/(te)
, ϕ2m inf = 0, т.е. имеем,
£
¤2m−1
что ∀s ∈ R, lim ϕ2m (s) = 0 < ϕ2m (s) 6 (2m − 1)/(te)
.
s→∞
Отсюда непосредственно следует:
Таблица 2.7 – Размерность ядра
1. Im α 6= 0
2. Im α = 0
£
¤2m−1
a). α < (2m − 1)/(te)
£
¤2m−1
b). α = (2m − 1)/(te)
dim{Ker L} условие (2.2.8)
0
не нарушается
0
1
£
¤2m−1
c). α > (2m − 1)/(te)
2
70
не нарушается
наруш. в одной точке
s0
нар. в 2-х точках
s1 , s 2
Итак, данные Таблицы 2.7 £показывают, что
если α ∈ C, такое, что
¤2m−1
{Im α 6= 0} ∪ {Im α = 0, α < (2m − 1)/(te)
}, то задача (2.2.1) не
имеет нетривиального решения. Если
£
¤2m−1
},
{Im α = 0, α = (2m − 1)/(te)
то задача (2.2.1) имеет одно нетривиальное решение; если же {Im α =
£
¤2m−1
}, то задача (2.2.1) имеет два нетривиальных
0, α > (2m − 1)/(te)
линейно независимых решения.
4. Пусть k = 2m + 1, m = 1, 2, ... В этом случае условие (2.2.5) может
быть записано в виде:
1
2
ϕ2m+1 (s) ≡ s4m e−s t =
6 − .
α
(2.2.9)
Максимальное и минимальное значения функции ϕ2m+1 (s), s ∈ R, со£
¤2m
ответственно равны: ϕ2m+1 max = 2m/(te)
, ϕ2m+1 inf = 0, т.е. имеем,
£
¤2m
что ∀s ∈ R, lim ϕ2m+1 (s) = 0 < ϕ2m+1 (s) 6 2m/(te)
.
s→∞
Отсюда непосредственно следует:
Таблица 2.8 – Размерность ядра
1. Im α 6= 0
2. Im α = 0
£
¤2m
a). α > − 2m/(te)
£
¤2m
b). α = − 2m/(te)
£
¤2m
c). α < − 2m/(te)
dim{Ker L} условие (2.2.9)
0
не нарушается
0
1
2
не нарушается
нарушается в одной точке
s0
нарушается в 2-х точках
, s s2
1
Таким образом, результаты Таблицы 2.8
£ означают,
¤2m что если α ∈ C,
такое, что {Im α 6= 0} ∪ {Im α = 0, α > − 2m/(te) }, то задача (2.2.1)
£
¤2m
не имеет нетривиального решения. Если {Im α = 0, α = − 2m/(te) },
то задача (2.2.1) имеет одно нетривиальное решение; если же {Im α =
£
¤2m
0, α < − 2m/(te) }, то задача (2.2.1) имеет два нетривиальных
линейно независимых решения.
5. О нетривиальных решениях задачи (2.2.1). Если {α, t} заданы согласно таблиц 2.5 — 2.8, то им соответствующие нетривиальные решения
71
задачи (2.2.1) определяются по следующим формулам:
u(s=0) (x, t) = −α · t,
´
α³
2
−s
t
u(s=sj ) (x, t) = − 2 1 − e j eisj x , j = 0, 1, 2,
sj
(2.2.10)
∂ k u(x, t)
= eisx ,
k
∂t
где вещественные числа s = {0, s0 , s1 , s2 } являются соответствующими
корнями уравнений
2
1 − e−s t
1+α
= 0,
s2
если k = 0,
2
1 + (−1)k+1 αs2(k−1) e−s t = 0,
если k = 1, 2, 3, ...
Заметим, что ни одна из функций (2.2.10), не принадлежит
пространству L2(R × R+). Это означает, что в пространстве L2(R+
× R+ ) ядро оператора L задачи (2.2.1) нульмерно. Однако, каждая
из функций (2.2.10) принадлежит пространству с весом:
L2, e−εt ≡ {v| v(x, t) · e−εt ∈ L2 (R × R+ ) для ∀ ε > 0},
+
(2.2.11)
т.е. ядро оператора L задачи (2.2.1) в пространстве L2, e−εt не всегда пусто
и имеет соответствующую размерность согласно данным таблиц 2.5 —
2.8.
2.2.3
Класс и критерий однозначной сильной разрешимости
Определение 2.2. Функцию u(x, t) ∈ L2, e−εt будем называть сильным
решением задачи (2.2.2), если существует последовательность
{un (x, t), n = 1, 2, ...} ⊂ {v| v ∈ L2, e−εt , v(x, 0) = φ(x)}, такая,
что
lim
n→∞
и
un (x, t) → u(x, t) в пространстве L2, e−εt ,
∂ k [Lun ](x, t)
∂ k f (x, t)
→
в пространстве L2 (R × R+ ).
n→∞
∂tk
∂tk
lim
72
Применяя синус-преобразование Фурье по переменной x, из (2.2.2)
будем иметь:
·
r
2
0
U (s, t) + s2 U (s, t) + αU (k) (s, t) =
sψ(t),
(2.2.12)
π
U (s, 0) = Φ(s),
где F (s, t), Φ(s) —синус-образы Фурье для функций f (x, t), φ(x)
соответственно. При выполнении условий (2.2.5) Предложения (2.2.1),
интегрируя уравнение (2.2.12), получим следующее представления
единственного решения задачи Коши—Дирихле (2.2.2):
2
1 − e−s t h
k 2k
−s2 t
U (s, t) =
(−1)
s
Φ(s)e
+
2
−1
s
−∆k α
Zt
k−1
X
2
+ (−1)k s2k F (s, τ )e−s (t−τ ) dτ +
(−1)m−1 s2(m−1) F (m−1) (s, t) +
0
m=1
2t
Zt
+ Φ(s)e−s +
F (s, τ )e−s
2
(t−τ )
dτ, (2.8.13)
0
где ∆k (s) определено в (2.2.5). Из (2.2.13) видим, что U (t, s)
удовлетворяет следующей, равномерной по s, априорной оценке:
"
|+
#
k
X
kU (s, t)e−εt kL2 (R+ 6 C |Φ(s)
kF (m) (s, t)kL2 (R+ ) ,
(2.2.14)
)
m=0
где постоянная C не зависит от s, ε > 0. Из оценки (2.2.14), используя
равенство Парсеваля, получим
£
+
ku(x, t)e−εt kL2 (R+ 6 C kφ(x)kL2 (R+ ) kf (x, t)kL2 (R+ ) +
)
i
(k)
+kf (x, t)kL2 (R+ ) ,
(2.2.15)
На основе оценки (2.2.15) устанавливаем справедливость следующего
утверждения.
Предложение 2.2.2. Задача Коши—Дирихле (2.2.2) при любых {f, φ},
удовлетворяющих условиям (2.2.3), однозначно сильно разрешима в
пространстве L2, e−εt (2.2.11), тогда и только тогда, когда выполнены
условия (2.2.2).
73
Замечание. Таким образом, классом сильных решений задачи Коши
—Дирихле (2.2.2) является пространство с весом L2, e−εt , опре
деляемое условием (2.2.11).
2.3
Задача Коши-Дирихле на полуполосе
В данном разделе также исследуются две задачи: первая — это
определение размерности ядра оператора задачи Коши-Дирихле для
одномерного уравнения теплопроводности с "существенной" нагрузкой
при фиксированной временной переменной в ограниченной области;
вторая
— это вопросы сильной однозначной разрешимости задачи Коши для
вышеназванного уравнения. Показано, что размерность ядра зависит от
коэффициента нагрузки, дифференциального порядка нагруженного
слагаемого, и места расположения точки нагрузки.
2.3.1
Постановка задачи
Задача 1. Рассматривается следующая однородная задача:
Lu = 0 ⇔
∂ k u(x, t)
ut (x, t) − uxx (x, t) + α
= 0, x ∈ (0, 1), t > 0,
∂tk
u(x, 0) = 0, u(0, t) = u(1, t) = 0,
x ∈ (0, 1),
(2.3.1)
где α ∈ C, t ∈ R = (0, +∞) — заданные величины, k = 0, 1, 2, ...
+
Задача 2. Рассматривается следующая неоднородная задача:
k
Lu = {f, φ} ⇔ ut (x, t) − uxx (x, t) + α ∂ u(x, t) = f (x, t),
∂tk
u(x, 0) = φ(x), u(0, t) = u(1, t) = 0, x ∈ (0, 1),
(2.3.2)
где α ∈ C, t ∈ R — заданные величины, k = 0, 1, 2, ...,
+
f ∈ W2k 0 (R+ ; L2 (0, 1)), φ ∈ L2 (0, 1).
(2.3.3)
,
∂ m f (x, 0)
Здесь 0 в обозначении пространства означает, что
= 0, m =
∂tm
0, 1, ..., k − 1.
74
2.3.2
О размерности ядра
Применяя синус-преобразование Фурье с конечными пределами по
переменной x, к задаче (2.3.1)
U (n, t) =
Z1
u(x, t) sin nπxdx, n ∈ N, N = 1, 2, 3, . . .
0
для Фурье-образа U (n, t) получаем следующую задачу Коши для обыкновенного дифференциального уравнения:
U 0 (n, t) + (nπ)2 U (s, t) + αU (k) (n, t) = 0, U (n, 0) = 0,
(2.3.4)
где n = 1, 2, 3, . . . . Из (2.3.4) непосредственно следует справедливость
утверждения
Предложение 2.3.1. Для того чтобы задача Коши-Дирихле (2.3.1)
имела только тривиальное решение, необходимо и достаточно, чтобы
для ∀n ∈ N были выполнены условия
−(nπ)2 t
1 + αe
0
,
если k = 0,
2
(nπ)
.
6= ∆k (n) =
2
1 + (−1)k+1 α(nπ)2(k−1) e−(nπ) t , если k = 1, 2, 3, ...
(2.3.5)
Исследуем подробно условия (2.3.5) при различных значениях k.
1. Пусть k = 0. В этом случае условие (2.3.5) может быть записано в
следующем виде:
2
1 − e−(nπ) t
1
ϕ0 (n) ≡
=
6
−
.
(2.3.6)
(nπ)2
α
Максимальное и минимальное значения функции ϕ0 (n), n ∈ N, соот2
1 − e−π t̄
ветственно равны: ϕ0 max =
, ϕ0 inf = 0, то есть имеем, что
(π)2
2
1 − e−π t̄
∀n ∈ N, 0 < ϕ0 (n) 6
= M0 .
π2
Последние неравенства позволяют получить утверждения, которые
представлены в таблице.
75
Таблица 2.9 – Размерность ядра
1. Im α 6= 0
2. Im α = 0
a). α > −M0
b). α = −M0
c). α < −M0
dim{Ker L} условие (2.3.6)
0
не нарушается
0
1
1
не нарушается
нарушается в одной точке при n = 1
нарушается при n = n1 ,
(πn1t)2
если α = −(πn )2 ¯
1
e
−1
Из Таблицы 2.9 следует, что если α ∈ C, такое, что {Im α 6= 0} ∪
−1
{Im α = 0, α > −t }, то задача (2.3.1) не имеет нетривиального
решения. Если же {Im α = 0, α 6 −M0 }, то задача (2.3.1) имеет ровно
(πn1t).2
одно нетривиальное решение; если α =
e−(πn1 )2 ¯ − 1
2. Пусть k = 1. В этом случае условие (2.9.5) записывается в виде:
1
2
ϕ1 (n) ≡ e−(πn) t =
6 − .
α
(2.3.7)
t функции ϕ (n), n ∈ N, соответМаксимальное и минимальное значения
1
2¯
−π
t
ственно равны: ϕ1 max = ϕ1 (1) = e
= M1 , ϕ1 inf = 0, т.е. имеем, что
−π 2 ¯
∀s ∈ R, 0 < ϕ1 (n) 6 e
= M1 .
Полученное сведем в таблицу.
Таблица 2.10 – Размерность ядра
1. Im α 6= 0
2. Im α = 0
a). α > −M1
b). α = −M1
c). α < −M1
dim{Ker L} условие (2.3.7)
0
не нарушается
0
1
1
не нарушается
наруш. в единственной точке при
n=1
2
наруш. приn = n1 , если α = −e(πn1 ) t̄
Результаты Таблицы 2.10 означают, что если α ∈ C, такое, что
{Im α 6= 0} ∪ {Im α = 0, α > −M1 },
76
то задача (2.3.1) не имеет нетривиального решения. Если {Im α = 0, α 6
−M1 }, то задача (2.3.1) имеет ровно одно нетривиальное решение, если
2
α = −e(πn1 ) t̄ .
3. Пусть k = 2m, m = 1, 2, ... В этом случае условие (2.3.5) принимает
вид:
1
2
ϕ2m (n) ≡ (πn)2(2m−1) e−(πn) t 6= .
(2.3.8)
α
Максимальное и минимальное значения функции ϕ2m (s), s ∈ R, со£
¤2m−1
ответственно равны: ϕ2m max = (2m − 1)/(te)
= M2m , ϕ2m inf = 0,
т.е. имеем, что ∀n ∈ N,
µ
¶2m−1
2m − 1
0 < ϕ2m (n) 6
= M2m .
te
Отсюда непосредственно следует:
Таблица 2.11 – Размерность ядра
1.
2.
dim{Ker L}
0
Im α 6= 0
Im α = 0
−1
a). α < M2m
−1
b). α = M2m
0
1
£
¤2m−1
c). α > (2m − 1)/(te)
4
условие (2.3.8)
не нарушается
не нарушается
наруш., если
p t̄ таково, что
−1
n =π
(t̄e)−1 (2m − 1) ∈ N
1
нарушается в 4-х точках
±s1 , ±s2
Таким образом, из данных Таблицы 2.11 следует, что если α ∈ C,
такое, что {Im α 6= 0} ∪ {Im α = 0, α 6= ϕ−1
2m (n), ∀n ∈ N}, то
задача (2.3.1) не имеет нетривиального решения. Задача (2.3.1) может
иметь одно нетривиальное решение, если t̄ таково, что существует
−1
единственное значение n ∈ N, для которого {Im α = 0, α = ϕ2m
(n)}.
π
2 t̄ }, то задача (2.3.1) имеет два
Если {Im α = 0, M2−1 < α 6 π −2(2m−1)e
m
нетривиальных линейно
независимых решения если t̄ таково, что
существуют два значения n1 , n ∈ N, для которых ϕ−1
= ϕ−1
2
2m
2
m
= α. Покажем, что такой вариант возможен. Действительно,
пусть
·
,
например
2
два нетривиальных решения задачи при
t̄ = π 2 ln 2 тогда существуют
p
p
n = (2m − 1)/3, n = 2 (2m − 1)/3, где, например, m = 2, 14, 38,
1
2
77
иÃ
др. Непосредственной
подстановкой можно убедиться, что при α =
!
√
3
3 4
π
выполняется равенство ϕ2m (n1 ) = ϕ2m (n2 ).
2m − 1
4. Пусть k = 2m + 1, m = 1, 2, ... В этом случае условие (2.9.5) может
быть записано в виде:
1
ϕ2m+1 (n) ≡ (πn)4m e−(πn) t =
6 − .
α
2
(2.3.9)
Тогда для/, ∀n ∈ N будет справедливо соотношение:
µ
0 < ϕ2m+1 (n) 6
2m
te
¶2m
= M2m+1 .
Отсюда непосредственно следует:
Таблица 2.12 – Размерность ядра
1. Im α 6= 0
2. Im α = 0
£
¤2m
a). α > − 2m/(te)
£
¤2m
b). α = − 2m/(te)
£
¤2m
c). α < − 2m/(te)
dim{Ker L} условие (2.3.9)
0
не нарушается
0
2
4
не нарушается
нарушается в 2-х точках
±s0
наруш. в 4-х точках
±s1 , ±s2
Таким образом, результаты Таблицы 2.12 означают, что если α ∈ C,
такое, что {Im α 6= 0} ∪ {Im α = 0, α 6= −ϕ−1
2m+1 , ∀n ∈ N}, то
задача (2.3.1) имеет только тривиальное решение. Задача (2.3.1) имеет
одно тривиальное решение, если t̄ таково, что существует только
единственное значение n ∈ N, для которого {Im α = 0, α = ϕ
−1
.
2m+1 (n)} При
2 t̄
−1
{Im α = 0, −π −4m eπ 6 α < −M2m+1
}, задача (2.3.1) имеет два
нетривиальных линейно независимых решения если, t̄ таково, что
существует два значения n1 , n ∈ N, для которых ϕ−1
2m+1 (n1 ) = ϕ
2
−1
)=α.
2m+1 (n2
78
5. О нетривиальных решениях задачи (2.3.1). Если {α, t} заданы согласно таблиц 1 — 4, то соответствующие им нетривиальные решения
задачи (2.3.1)( определяются по следующим формулам:
´
α ³
−π 2 t
u(n=1) (x, t) = − 2 1 − e
sin πx,
π
´
(2.3.10)
α ³
−(πnj )2 t
u(n=nj ) (x, t) = − 2 1 − e
sin πnj x, j = 1, 2,
πnj
где вещественные числа n являются соответствующими корнями уравj
нений
2
1 − e−(πn) t
1+α
= 0,
(πn)2
если k = 0,
2
1 + (−1)k+1 α(πn)2(k−1) e−(πn) t = 0,
если k = 1, 2, 3, ...
Заметим, что ни одна из функций (2.3.10) не принадлежит
пространству L2 ((0, 1) × R+ ). Это означает, что в пространстве L2 ((0,
1) × R+ ) ядро оператора L задачи (2.3.1) нульмерно. Однако, каждая
из функций (2.3.10) принадлежит пространству с весом:
L2, e−εt ≡ {v| v(x, t) · e−εt ∈ L2 ((0, 1) × R+ ) для ∀ ε > 0},
(2.3.11)
т.е. ядро оператора L задачи (2.3.1) в пространстве L2, e−εt не всегда
пусто и имеет соответствующую размерность согласно данным таблиц
2.9 — 2.12.
2.3.3
Класс и критерий однозначной сильной разрешимости
Дадим следующее
Определение 2.3. Функцию u(x, t) ∈ L2, e−εt будем называть сильным
решением задачи (2.3.2), если существует последовательность
{un (x, t), n = 1, 2, ...} ⊂ {v| v ∈ L2, e−εt , v(x, 0) = φ(x)}, такая,
что
lim un (x, t) → u(x, t) в пространстве L2, e−εt ,
n→∞
и
∂ k [Lun ](x, t)
∂ k f (x, t)
→
в пространстве L2 (R × R+ ).
n→∞
∂tk
∂tk
lim
79
Применяя синус-преобразование Фурье по переменной x, из (2.3.2)
будем иметь:
dk U (n, t)
dU (n, t)
2
+ (nπ) U (n, t) + α
= F (n, t),
(2.3.12)
dt
dtk
U (n, 0) = Φ(n),
где F (n, t), Φ(n) — образы Фурье для функций f (x, t), φ(x)
соответственно. При выполнении условий (2.3.5) Предложения (2.3.1),
интегрируя уравнение (2.3.12), получим следующее представления
единственного решения задачи (2.3.12):
2
1 − e−(nπ) t h
2
U (n, t) =
(−1)k (nπ)2k Φ(n)e−(nπ) t +
2
−∆−1 α (nπ)
k
Zt
+ (−1)k (nπ)2k
F (n, τ )e−(nπ)
2
(t−τ )
dτ +
0
+
k−1
X
2
(−1)m−1 (nπ)2(m−1) F (m−1) (n, t) + Φ(n)e−(nπ) t +
m=1
Zt
F (n, τ )e−(nπ)
+
2
(t−τ )
dτ, (2.3.13)
0
где ∆k (n) определено в (2.3.5). Из (2.3.13) видим, что U (n, t)
удовлетворяет следующей, равномерной по n, априорной оценке:
"
|+
#
k
X
−εt
kU (n, t)e kL2 (R+ 6 C |Φ(n)
kF (m) (n, t)kL (R ) ,
(2.3.14)
)
2
+
m=0
где постоянная C не зависит от n, где ε > 0. Из оценки (2.3.14), используя
равенство Парсеваля, получим
£
+
ku(x, t)e−εt kL2 ((0,1),R+ 6 C kφ(x)kL2 (0,1) kf (x, t)kL2 ((0,1),R+ ) +
i
)
(k)
+ kf (x, t)kL2 ((0,1),R+ ) . (2.3.15)
На основе оценки (2.3.15) устанавливаем справедливость следующего
утверждения.
80
Предложение 2.3.2. Задача Коши-Дирихле (2.3.2) при любых {f, φ},
удовлетворяющих условиям (2.3.3), однозначно сильно разрешима в
пространстве L2, e−εt , определяемом условием (2.3.11), тогда и только
тогда, когда выполнены условия (2.3.5).
Замечание. Классом сильных решений задачи (2.3.2) является
пространство с весом L2, e−εt , которое определено условием (2.3.11).
81
Заключение
Получены и обоснованы следующие результаты:
1. Доказаны теоремы об однозначной разрешимости полупериодических (периодических по временной переменной) задач в ограниченной
области для спектрально-нагруженных по пространственной переменной
параболических уравнений, когда порядок производной в нагруженном
слагаемом равен и выше порядка дифференциальной части уравнения.
2. Получен критерий однозначной сильной разрешимости для многомерного обобщения полупериодической граничной задачи (область –
n− мерный шар) для спектрально-нагруженного по пространственной
переменной параболического уравнения, когда порядок производной в
нагруженном слагаемом выше порядка дифференциальной части уравнения.
3. Найден счетный точечный спектр полупериодической граничной
задачи для спектрально-нагруженного по пространственной переменной
параболического уравнения в ограниченной области. Показано, что
спектр расположен на строго описываемой кривой комплексной плоскости значений спектрального параметра.
4. Показано, что для нагруженного дифференциально – операторного уравнения первого порядка спектральный параметр λ принадлежит
одному из следующих множеств: резольвентному множеству, точечному
спектру или непрерывному спектру.
5. Доказана теорема об однозначной сильной разрешимости граничной задачи для нагруженного линейного дифференциально – операторного уравнения высокого порядка с периодическими граничными условиями.
6. Показано, что первая краевая задача для спектрально-нагруженного параболического уравнения в четверти плоскости, когда нагрузка
задаётся по пространственной переменной и, при этом, точка нагрузки
движется с постоянной или с переменной скоростью является нетеровой.
Доказано, что индекс задачи определяется непосредственно значением
модуля спектрального параметра, то есть коэффициента при нагруженном слагаемом. Доказаны теоремы о разрешимости этой и сопряженной
к ней задачи, в естественным образом введенных, функциональных классах.
7. Найдены критерии и определены классы сильной однозначной разрешимости граничных задач (Коши, Коши – Дирихле, Дирихле) для
82
спектрально-нагруженного параболического уравнения с фиксированной
нагрузкой по временной переменной. Установлены размерности ядра оператора соответствующих задач.
8. Доказана теорема и некоторые следствия из неё , которые в терминах данных, дают полное описание корректных граничных задач для
нагруженного уравнения Лаврентьева – Бицадзе в прямоугольной области.
9. Найдены условия существования единственного L2 –сильного решения, удовлетворяющего на линии изменения типа уравнения, условиям
непрерывности решения и непрерывности его производной по времени с
логарифмическим весом, нелокальной граничной задачи для нагруженного уравнения смешанного эллиптико–гиперболического типа в прямоугольной области.
83
СПИСОК ИСПОЛЬЗОВАННЫХ ИСТОЧНИКОВ
1 Нахушев А.М. Уравнения математической биологии. - М.: Высшая
школа, 1995, 205 с.
2 Крылов А.Н. О некоторых дифференциальных уравнениях математической физики, М.: Наука, 1950, 470 с.
3 Кожанов А.И. Об одном нелинейном нагруженном параболическом
уравнении и о связанной с ним обратной задаче // Математические
заметки, 2004, Т. 76, вып. 6, С. 840–853.
4 Кожанов А.И. Нелинейные нагруженные уравнения и обратные задачи //ЖВМ и МФ., 2004, Т. 44, № 4, С. 694–716.
5 Кожанов А.И. Об одной нелокальной краевой задаче с переменными
коэффициентами для уравнения теплопроводности и Аллера //Дифференц. уравнения, 2004, Т. 40, № 6, С. 763–774.
6 Кожанов А.И. Нелокальные по времени краевые задачи для линейных параболических уравнений // Сиб. журн. индустр. мат., 2004,
7, № 1, С. 51–60.
7 Нахушев А.М. Нагруженные уравнения и их приложения // Дифференц. уравнения, 1983, Т. 19, № 1, С. 86–94.
8 Соболев С.Л. Уравнения математической физики, М.: Наука, 1966,
443 с.
9 Соболев С.Л. Некоторые применения функционального анализа в
математической физике, М.: Наука, 1988, 333 с.
10 Соболев С.Л. Некоторые вопросы теории функциональных пространств и обобщённых функций, М.: Наука, 1989, 254 с.
11 Никольский С.М. Приближение функций многих переменных и теоремы вложения, М.: Наука, 1977, 456 с.
12 Вишик М.И., Соболев С.Л. Общая постановка некоторых краевых
задач для эллиптических дифференциальных уравнений в частных
производных // Докл. АН СССР., 1956, Т. III, № 3, С. 521-523.
84
13 Вишик М.И. О сильно эллиптических системах дифференциальных
уравнений // Матем. сб., 1951, Т. 29(71), № 3, С. 615-676.
14 Вишик М.И. Задача Коши для уравнений с операторными коэффициентами и смешанные краевые задачи для систем дифференциальных уравнений // Матем. сб., 1956, Т. 39(81), № 3, С. 50-148.
15 Вишик М.И., Фурсиков А.В. Математические задачи статистической
гидродинамики, М.: Наука, 1980, 440 с.
16 Вишик М.И., Шилов Г.Е. Общая теория уравнений с частными производными и некоторые проблемы теории краевых задач // Труды
IV Всесоюзн. матем. съезда, Ленинград, 1961, Ленинград: Наука,
1963, С. 55-85.
17 Владимиров В.С. Уравнения математической физики, М.: Наука,
1981, 512 с.
18 Владимиров В.С. Обобщенные функции в математической физике,
М.: Наука, 1979, 320 с.
19 Владимиров В.С. Математические задачи односкоростной теории переноса частиц // Труды МИ АН СССР, М., 1961, С. 1-158.
20 Ладыженская О.А. Математические вопросы
несжимаемой жидкости, М.: Наука, 1970, 288 с.
динамики вязкой
21 Ладыженская О.А. Краевые задачи математической физики, М.: Наука, 1973, 407 с.
22 Ладыженская О.А. О нестационарных операторных уравнениях и
их приложениях к линейным задачам математической физики //
Матем. сб., 1958, Т.45(87), № 2, С. 123–158.
23 Ладыженская О.А. О решении нестационарных операторных уравнений // Матем. сб., 1956, Т.39(81), № 4, С. 491–524.
24 Ладыженская О.А., Солонников В.А., Уральцева Н.Н. Линейные и
квазилинейные уравнения параболического типа, М.: Наука, 1967,
736 с.
85
25 Лионс Ж.-Л., Мадженес Э. Неоднородные граничные задачи и их
приложения, М.: Мир, 1971, 371 с.
26 Lions J.-L. Equations differentielles operationnelles et problemes aux
limites, Berlin: Springer –Verlag, 1961, 371 p.
27 Grisvard P. Equations operationnelles abstraites dans les espaces de
Banach et problemes aux limites dans des ouverts cylindriques // Annali
Sc.Norm.Sup.Pisa., 1967, V.XXI, № 3, P. 307–347.
28 Солонников В.А. О краевых задачах для линейных параболических
систем дифференциальных уравнений общего вида // Тр. МИ АН
СССР., Т.83, М., 1965, 163 с.
29 Knezer A. // Rendiconti del Circolo Matematico di Palermo, 1914, V.37,
P. 169–197.
30 Lichtenstein L. // Studia Math., 1931, V .IV, P. 61–77.
31 Lichtenstein L. Vorlesunger übereinige Klassen nichtlinearer Integralgleichungen und Integraldifferentialgleichungen nebst Anwendungen,
Berlin: Springer, 1931, 224 p.
32 Гюнтер Н.М. // Studia Math., 1932, T.III, P. 109–117.
33 Гюнтер Н.М. К теории интегралов Стилтьеса-Радона и
интегральных уравнений // Докл. АН СССР., 1938, Т. 21, С. 219–223.
34 Гюнтер Н.М. К общей теории интегральных уравнений // Докл. АН
СССР., 1939, Т. 22, С. 215–219.
35 Габиб-заде А.Ш. Исследование решения одного класса линейных
нагруженных интегральных уравнений // Тр. ин-та физ. и матем.
АН АзССР, Сер. матем, Баку, 1959, Т. 8, С. 177-182.
36 Назаров Н.Н. Об одном новом классе линейных интегральных
уравнений // Тр. ин-та матем. и мех. АН УзССР, Ташкент, 1948,
Вып. 4,
С. 77-106.
86
Приложение А
К подразделу 1.1.2
2
Если ввести обозначение λ = is, то задача (1.1.19) запишется в виде
( 00
us (x) − λ2 us (x) = αxu00s (x) − fs (x), x ∈ (0, 1),
∀s ∈ S .
(1)
us (0) = us (1) = 0,
Фундаментальная система решений соответствующего однородного
уравнения имеет вид:
{ch λx , sh λx}
Будем искать частное решение неоднородного уравнения методом Коши
[126], в виде:
η(t, τ ) = ϕ1 (τ ) · ch λt + ϕ2 (τ ) · sh λt,
где неизвестные пока функции ϕ1 (τ ), ϕ2 (τ ) находятся из условий:
(
η(τ, τ ) = ϕ1 (τ ) · ch λτ + ϕ2 (τ ) · sh λτ = 0,
ηt0 (t, τ )|t=τ
= ϕ1 (τ ) · sh λτ + ϕ2 (τ ) · ch λτ = 1.
(2)
Отсюда имеем
sh λτ
ch λτ
, ϕ2 (τ ) =
.
λ
λ
Таким образом, частное решение неоднородного уравнения из (1.1.19)
имеет вид
ϕ1 (τ ) = −
X(x) =
Zx
=
0
Zx µ
0
¶
sh λξ · ch λx ch λξ · sh λx
−
+
[α · ξu00s (x̄) − fs (ξ)] dξ =
λ
λ
sh λ(x − ξ)
[α · ξu00 (x̄) − fs (ξ)] dξ =
λ
Zx
−
0
Zx
0
1
α · ξu00s (x̄) sh λ(x − ξ)dξ−
λ
·
1
α 00
ch λ(
ξ) ¯x
sh λ(x − ξ)fs (ξ)dξ = us (x̄) −ξ
x− ¯ +
0
λ
λ
λ
Zx
Zx
ch λ(x − ξ)
1
+
dξ −
sh λ(x − ξ)fs (ξ)dξ =
λ
λ
0
0
87
αu00s (x̄)
αu00s (x̄)
=−
·x+
· sh λx −
λ2
λ3
Zx
0
1
sh λ(x −
λ
ξ)fs (ξ)dξ.
Отсюда получим общее решение уравнения из (1)
µ
¶ Zx
αu00s (x̄)
sh λx
sh λ(x − ξ)
x
−
+ fs (ξ)dξ + .
−
us (x) = − λ2
λ
λ
0
+C1 ch λx + C2 sh λx.
(3)
Произвольные постоянные C1 , C2 определим из граничных условий (1):
C1 = 0 , C2 = α(λ − sh λ) · u00 (x̄) +
3
s
λ sh λ
Z1
0
sh λ(1 − ξ)
fs (ξ)dξ.
λ sh λ
(4)
Или, с учётом (4) из равенства (3) будем иметь
¾
α(λ − sh λ)
α(λx − sh λx)
us (x) =
· sh λx −
u00s (x̄ −
3
3
λ
½ λ sh λ
·
)
Zx
Z1
sh λ(x − ξ)
sh λ(x − ξ) sh λx
−
fs (ξ)dξ +
fs (ξ)dξ.
λ
λ sh λ
0
0
После упрощения этого выражения получим окончательное
представление решения задачи (1)
us (x) = α (sh λx − x sh λ) · u00 (x̄) +
2
s
λ sh λ
Z1
Gs (x, ξ)fs (ξ)dξ,
(5)
0
где
sh λξ sh λ(1 − x) , 0 6 ξ 6 x 6 1,
λ sh λ
Gs (x, ξ) =
sh λx sh λ(1 − ξ)
, 0 6 x 6 ξ 6 1.
λ sh λ
Действительно
Is (x) = −
Zx
0
sh λ(x − ξ)
fs (ξ)dξ +
λ
88
Zx
0
∀s ∈ S
sh λ(1 − ξ) sh λx
fs (ξ)dξ+
λ sh λ
(6)
Z1
+
x
sh λ(1 − ξ) sh λx
fs (ξ)dξ =
λ sh λ
Zx
+
0
Z1
x
sh λ(1 − ξ) sh λx
fs (ξ)dξ+
λ sh λ
sh λ(1 − ξ) sh λx − sh λ sh λ(x − ξ)
fs (ξ)dξ.
λ sh λ
После несложных преобразований будем иметь
Z1
Is (x) =
x
sh λ(1 − ξ) sh λx
fs (ξ)dξ +
λ sh λ
Zx
0
sh λξ sh λ(1 − x)
fs (ξ)dξ =
λ sh λ
Z1
=
Gs (x, ξ)fs (ξ)dξ.
0
Из соотношения (5) найдём значение us00 (x̄), для этого
продифференцируем (5) дважды по переменной x и положим x = x̄.
Используя равенство
1
Z1
Z
Gs (x, ξ)fs (ξ)dξ = λ∂22 ∂xG2 s (x, ξ)fs (ξ)dξ − fs (x),
0
0
(которое непосредственно следует из соотношения (6)) получим
u00s (x̄) = δs−1
·
Z1
λ2
Gs (x, ξ)fs (ξ)dξ+
0
¸
¾
sh λx̄ sh λ(1 − x̄) sh λx̄ sh λ(1 − x̄)
+
−
fs (x̄) − fs (x̄) =
λ sh λ
λ sh λ
1
Z
−1
2
= δs
λ
Gs (x, ξ)fs (ξ)dξ − fs (x̄) , (7)
0
где
α sh λx̄
.
(8)
sh λ
Подставляя полученное выражение u00s (x̄), (7) в соотношение (5) окончаδs = 1 −
89
тельно получим
·1
¸
R
1
−1
Gs (x, ξ)fs (ξ)dξ − 2 fs (x) ·
us (x) = αδs
λ
0
·
¸ 1
R
sh(λx) −
·
x + Gs (x, ξ)fs (ξ)dξ, ∀s ∈ S \ {0}.
sh(λ)
0
(9)
В случае s = 0 выражения для G0 (x, ξ) и δ0 можно получить
непосредственно из (1), или же путём предельного перехода при λ →
0 из (6) и (8),
ξ(1 − x), 0 6 ξ 6 x 6 1,
G0 (x, ξ) =
x(1 − ξ), 0 6 x 6 ξ 6 1,
δ0 = 1 − αx̄,
Z1
2
u0 (x) = 6−1 δ0−1 αx(x − 1)f0 (x) +
G0 (x, ξ)f0 (ξ)dξ.
0
Приложение Б
К подразделу 1.4.1. Построение функции Грина.
Рассмотрим ещё один способ построения функции Грина для следующей граничной задачи
−u00 (x) + λ2 u(x) = f (x) , u(0) = u(1) = 0.
(10)
Умножим обе части уравнения на функцию sh λ(x − ξ) и проинтегрируем по переменной ξ в пределах от 0 до x
Zx
Zx
[−u00 (ξ) sh λ(x − ξ)] dξ + λ2
0
Zx
u(ξ) sh λ(x − ξ)dξ =
0
f (ξ) sh λ(x − ξ)dξ.
0
(11)
Проинтегрируем первое слагаемое равенства (11) дважды по частям,
тогда
Zx
Zx
− u00 (ξ) sh λ(x − ξ)dξ = −u0 (ξ) sh λ(x − ξ)|x − λ u0 (ξ) ch λ(x − ξ)dξ =
0
0
0
90
Zx
= u0 (0) sh λx − λu(ξ) ch λ(x − ξ)|x0 − λ2
u(ξ) sh λ(x − ξ)dξ =
0
Zx
= u0 (0) sh λx − λu(x) − λ2
u(ξ) sh λ(x − ξ)dξ.
0
Подставляя полученное выражение в равенство (11) получим
Zx
0
u (0) sh λx
− λu(x) =
f (ξ) sh λ(x − ξ)dξ.
(12)
0
Положим в этом равенстве x = 1 и найдём
0
u (0) =
Z1
0
sh λ(1 − ξ)
f (ξ)dξ.
sh λ
Подставляя найденное значение u0 (0) в (12) найдём
u(x) =
Z1
0
sh λ(1 − ξ) sh λx
f (ξ)dξ −
λ sh λ
Zx ·
=
0
Zx
0
sh λ(1 − ξ)
f (ξ)dξ =
λ
¸
sh λ(1 − ξ) sh λx sh λ(x − ξ) sh λ
−
f (ξ)dξ+
λ sh λ
λ sh λ
Z1
+
x
sh λ(1 − ξ) sh λx
f (ξ)dξ.
λ sh λ
После упрощения подинтегрального выражения будем иметь
u(x) =
Zx
0
sh λ(1 − x) sh λξ
f (ξ)dξ +
λ sh λ
Z1
x
sh λ(1 − ξ) sh λx
f (ξ)dξ.
λ sh λ
Отсюда непосредственно заключаем, что искомая функция Грина имеет
вид
sh λξ sh λ(1 − x)
, 0 6 ξ 6 x 6 1,
λ
sh
λ
G(x, ξ) =
sh λx sh λ(1 − ξ)
, 0 6 x 6 ξ 6 1.
λ sh λ
91
Решение задачи (10) тогда запишется в виде
u(x) =
Z1
G(x.ξ)f (ξ)dξ.
0
92
Отзывы:
Авторизуйтесь, чтобы оставить отзыв