Ru
Общероссийский математический портал
Параметры загрузки:
IP: 91.108.31.227
6 июня 2018 г., 19:31:31
ОГЛАВЛЕНИЕ
ПРЕДИСЛОВИЕ . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 9
Введение . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 11
1. Линейные операторы . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 11
1.1. Предварительные замечания (11). 1.2. Основная структура (12). 1.3. Специ-
альные подмножества (13). 1.4. Операторы (15). 1.5. Функционалы (17). 1.6. Спе-
циальные классы операторов (18)
2. Пространство H(V ) . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 21
2.1. Предварительные замечания (21). 2.2. Функции с интегрируемым квадра-
том (21). 2.3. Непрерывность в среднем (22)
3. Операции и операторы . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 23
3.1. Предварительные замечания (23). 3.2. Одномерный случай (24). 3.3. Макси-
мальный, минимальный и правильный операторы (28). 3.4. Типы граничных усло-
вий (32)
4. Операторы осреднения и эквивалентность расширений . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 34
4.1. Предварительные замечания (34). 4.2. Осреднения на прямой (35). 4.3. Осред-
нения в многомерной области (38). 4.4. Осреднения и дифференцирование (39).
4.5. Лемма Фридрихса (40). 4.6. Эквивалентность расширений дифференциаль-
ных операций (41). 4.7. Эквивалентность расширений как следствие однозначной
разрешимости задачи (43)
5. Классические примеры . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 44
5.1. Предварительные замечания (44). 5.2. Пространства W (45). 5.3. Уравнение
Пуассона (48). 5.4. Линеаризованные уравнения акустики (49)
Введение . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 53
1. Основные определения . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 54
1.1. Предварительные замечания (54). 1.2. Спектр (54). 1.3. Простейшие приме-
ры (55). 1.4. Функции от оператора (57). 1.5. Связь спектров данного и обратного
операторов (59)
2. Специальные классы операторов . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 59
2.1. Предварительные замечания (59). 2.2. Теория Фредгольма–Рисса (59). 2.3. Са-
мосопряженные ВН-операторы (62). 2.4. Самосопряженные, нормальные и унитар-
ные операторы (63)
3. Модельные операторы . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 64
3.1. Предварительные замечания (64). 3.2. Тензорные произведения (65). 3.3. П-опе-
раторы (66). 3.4. Специальные свойства П-операторов (70). 3.5. Классические диф-
ференциальные операции (73)
4.1. Предварительные замечания (74). 4.2. Основная теорема (74). 4.3. Доказатель-
ство основной теоремы (76). 4.4. Примеры и замечания (78)
Введение . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 81
2.1. Предварительные замечания (86). 2.2. Теория Биркгофа (86). 2.3. Спектр опе-
раторов, порождаемых D2 (88)
3. Нестандартные задачи . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 92
Введение . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 99
1. Операторные уравнения первого порядка: спектр и классификация . . . . . . . . . . . . . . . . . . . 100
1.1. Предварительные замечания (100). 1.2. Спектр (100). 1.3. Специальные гра-
ничные условия (104). 1.4. Простейшие примеры (107). 1.5. Классификация (107)
3.1. Предварительные замечания (120). 3.2. Общая схема (121). 3.3. Задача Ко-
ши (122). 3.4. Существование правильных операторов (123). 3.5. Задача Дирих-
ле (124). 3.6. Использование стандартных условий (126)
4.1. Предварительные замечания (127). 4.2. Двучленные уравнения (127). 4.3. Об-
щее операторное уравнение (129)
Глава 5. СПЕЦИАЛЬНЫЕ ЗАДАЧИ ТЕОРИИ ОПЕРАТОРОВ . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 131
Введение . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 131
1. Вырождающиеся уравнения . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 131
1.1. Предварительные замечания (131). 1.2. Пространства Wα (132). 1.3. Самосо-
пряженное уравнение (134). 1.4. Несамосопряженное уравнение первого типа (135).
1.5. Несамосопряженное уравнение второго типа (137). 1.6. Операторные уравне-
ния (140)
2. Типы иррегулярности . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 141
2.1. Предварительные замечания (141). 2.2. Типы иррегулярности (141). 2.3. Сла-
бая иррегулярность (143). 2.4. Сильная иррегулярность (145)
3. Уравнение с малым параметром . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 147
3.1. Предварительные замечания (147). 3.2. Постановка задачи (147). 3.3. Усечен-
ная система (149). 3.4. Полная система (152)
4. Задачи оптимизации . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 154
4.1. Предварительные замечания (154). 4.2. Существование и единственность оп-
тимизации (154)
Введение . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 156
1. Существование правильных операторов . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 156
1.1. Предварительные замечания (156). 1.2. Лемма о сужении области (157).
1.3. Существование правильного оператора (158). 1.4. Правильный оператор в фик-
сированном параллелепипеде (161)
2. Структура множества правильных операторов . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 165
2.1. Предварительные замечания (165). 2.2. Терминологическое резюме (165).
2.3. Квазимаксимальный и родственные операторы (166). 2.4. Специальные су-
жения (168). 2.5. Слабо родственные операторы (169). 2.6. Операция Коши–
Римана (170)
PREFACE . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 9
Introduction . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 11
1. Linear Operators . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 11
1.1. Preliminary remarks (11). 1.2. The main structure (12). 1.3. Special subsets (13).
1.4. Operators (15). 1.5. Functionals (17). 1.6. Special classes of operators (18)
2. Space H(V ) . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 21
2.1. Preliminary remarks (21). 2.2. Square integrable functions (21). 2.3. Continuity
in the mean (22)
3.1. Preliminary remarks (23). 3.2. One-dimensional case (24). 3.3. Maximal, mini-
mal, and proper operators (28). 3.4. Types of boundary conditions (32)
4.1. Preliminary remarks (34). 4.2. Averagings on a straight line (35). 4.3. Aver-
agings in a multidimensional domain (38). 4.4. Averagings and differentiation (39).
4.5. The Friedrichs lemma (40). 4.6. Equivalence of extensions of differential opera-
tions (41). 4.7. Equivalence of extensions as a consequence of the unique solvability
of a problem (43)
5. Classical Examples . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 44
5.1. Preliminary remarks (44). 5.2. Spaces W (45). 5.3. Poisson equation (48).
5.4. Linearized equations of acoustics (49)
Introduction . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 53
1. Basic Definitions . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 54
1.1. Preliminary remarks (54). 1.2. Spectrum (54). 1.3. Simple examples (55).
1.4. Functions of an operator (57). 1.5. Relation between the spectra of a given
operator and its inverse (59)
2.1. Preliminary remarks (59). 2.2. The Fredholm–Riesz theory (59). 2.3. Self-adjoint
CC-operators (62). 2.4. Self-adjoint, normal, and unitary operators (63)
3. Model Operators . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 64
3.1. Preliminary remarks (64). 3.2. Tensor products (65). 3.3. P-operators (66).
3.4. Special properties of P-operators (70). 3.5. Classical differential operations (73)
4.1. Preliminary remarks (74). 4.2. Fundamental theorem (74). 4.3. Proof of the
fundamental theorem (76). 4.4. Examples and remarks (78)
Introduction . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 81
1. Proper Operators in the One-Dimensional Case . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 81
1.1. Preliminary remarks (81). 1.2. Operators generated by the Cauchy condi-
tions (82). 1.3. Description of proper operators (84)
2.1. Preliminary remarks (86). 2.2. The Birkhoff theory (86). 2.3. Spectrum of
operators generated by D2 (88)
3. Nonstandard Problems . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 92
3.1. Preliminary remarks (92). 3.2. Restrictions and extensions (92). 3.3. Spec-
trum (95). 3.4. Special problems (97)
Introduction . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 99
1. First-Order Operator Equations: Spectrum and Classification . . . . . . . . . . . . . . . . . . . . . . . . . 100
1.1. Preliminary remarks (100). 1.2. Spectrum (100). 1.3. Special boundary condi-
tions (104). 1.4. Simple examples (107). 1.5. Classification (107)
2.1. Preliminary remarks (111). 2.2. Characteristic problems (111). 2.3. Properties of
solutions and perturbations (113). 2.4. Terminological remarks (116). 2.5. Variable
coefficients in the leading part (116). 2.6. Nonexistence of proper operators (118)
3.1. Preliminary remarks (120). 3.2. General scheme (121). 3.3. The Cauchy prob-
lem (122). 3.4. Existence of proper operators (123). 3.5. The Dirichlet problem (124).
3.6. The use of standard conditions (126)
4.1. Preliminary remarks (127). 4.2. Binomial equations (127). 4.3. General operator
equation (129)
Chapter 5. SPECIAL PROBLEMS OF THE THEORY OF OPERATORS . . . . . . . . . . . . . . . . . . . . . . . . . . 131
Introduction . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 131
1. Degenerating Equations . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 131
1.1. Preliminary remarks (131). 1.2. Spaces Wα (132). 1.3. Self-adjoint equa-
tion (134). 1.4. Non-self-adjoint equation of the first type (135). 1.5. Non-self-adjoint
equation of the second type (137). 1.6. Operator equations (140)
2. Types of Irregularities . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 141
2.1. Preliminary remarks (141). 2.2. Types of irregularities (141). 2.3. Weak irregu-
larity (143). 2.4. Strong irregularity (145)
3. Equation with a Small Parameter . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 147
3.1. Preliminary remarks (147). 3.2. Statement of the problem (147). 3.3. Truncated
system (149). 3.4. Complete system (152)
4. Optimization Problems . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 154
4.1. Preliminary remarks (154). 4.2. Existence and uniqueness of optimization (154)
Introduction . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 156
1. Existence of Proper Operators . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 156
1.1. Preliminary remarks (156). 1.2. Lemma on the restriction of a domain (157).
1.3. Existence of a proper operator (158). 1.4. Proper operator in a fixed paral-
lelepiped (161)
2. The Structure of the Set of Proper Operators . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 165
2.1. Preliminary remarks (165). 2.2. Terminological summary (165). 2.3. Quasi-
maximal and related operators (166). 2.4. Special restrictions (168). 2.5. Weakly
related operators (169). 2.6. The Cauchy–Riemann operation (170)
REFERENCES . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 173
ТРУДЫ МАТЕМАТИЧЕСКОГО ИНСТИТУТА ИМ. В.А. СТЕКЛОВА, 2000, т. 229, с. 9–10
ПРЕДИСЛОВИЕ
9
10 ПРЕДИСЛОВИЕ
Глава 1
ОПЕРАТОРЫ, ПОРОЖДАЕМЫЕ
ДИФФЕРЕНЦИРОВАНИЕМ
ВВЕДЕНИЕ
1. ЛИНЕЙНЫЕ ОПЕРАТОРЫ
11
12 Глава 1. ОПЕРАТОРЫ, ПОРОЖДАЕМЫЕ ДИФФЕРЕНЦИРОВАНИЕМ
1) a = 0 влечет a = 0;
3) a + b ≤ a + b.
Неравенства (4) служат некоторой “заменой” равенства (3), когда последнее не имеет места.
1.4. Операторы. Функцию T , определенную на некотором множестве D(T ) ⊂ B1 и сопо-
ставляющую каждому элементу x ∈ D(T ) однозначно определенный (единственный) элемент
y ∈ R(T ) ⊂ B2 , где B1 , B2 — B-пространства, принято называть оператором. Множества
D(T ), R(T ) называются соответственно областью определения и областью значений опера-
тора T .
В дальнейшем будут рассматриваться линейные операторы, т.е. операторы, удовлетворя-
ющие требованию
T (αx + βy) = αT x + βT y (5)
видим, что
T y − TN y = ϕi (T y)T y − xi ≤ ε
i
k
T ek = σki ei . (8)
i=1
T + T∗ T − T∗
T = T1 + iT2 ≡ +i , (9)
2 2i
где T1 , T2 — самосопряженные операторы.
Для полноты изложения отметим, что есть аналог и для чисел вида |z| = 1, z = eiα
(ср. п. 2.4 гл. 2). Оператор U : H −
→ H унитарен, если для любых v, w ∈ H
(v, w) = (U v, U w) (10)
2. ПРОСТРАНСТВО H(V )
Если, понимая интеграл (1) в смысле Римана, желать оставаться в рамках римановой
теории интегрирования, то следует учитывать, что не всякий элемент H(V ) представим ин-
тегрируемой функцией. Тем не менее для любого элемента u ∈ H(V ) всегда определено, напри-
мер, число limn (un , 1), которое не зависит от выбора последовательности Коши {un } ⊂ C(V ),
представляющей элемент u, и может быть символически записано в виде V u dV .
Аналогично в каждом конкретном случае приводимые ниже построения могут быть оправ-
даны и без обращения к теории Лебега за счет дополнительных предельных переходов. Но
осуществление соответствующей работы в полном объеме оказалось бы весьма неэкономным.
Для нас существенно, что H(V ) — полное гильбертово пространство, в котором линейное
многообразие C(V ) по определению плотно. При обращении к вложению C(V ) ⊂ H(V ) следует
иметь в виду следующее замечание. Утверждение “элемент u ∈ H(V ) является непрерывной
функцией” понимается в том смысле, что соответствующий класс функций содержит непре-
рывную функцию u(x), x ∈ V (как очевидно, однозначно определенную), с которой во всех
рассмотрениях можно этот класс отождествить. Аналогичные замечания справедливы и в от-
ношении вложений в H(V ) линейных многообразий C k (V ), C ∞ (V ) (k раз дифференцируемых
или бесконечно дифференцируемых функций).
Замечание 1. Читателю, возможно, полезно будет непосредственно проверить, что для
элемента u ∈ H(0, 1), представимого функцией, равной единице на (0, 1/2) и нулю на [1/2, 1),
не существует представляющей его в H непрерывной функции.
Замечание 2. Вернемся на минуту к вложению C(V ) ⊂ H(V ). Линейное многообразие
непрерывных в V̄ функций u(x) образует естественным образом B-пространство B(V ) с нор-
мой
|u, B| = max |u(x)|.
x∈V̄
При этом, если u ∈ B(V ), для нормы |u, H| (норма u в H(V )) справедлива оценка |u, H| ≤ c|u, B|
с постоянной c, не зависящей от u (зависящей от области V ). Сказанное выражают слова-
ми “пространство H(V ) непрерывно вложено в B(V )”. Подобное утверждение — простейший
(тривиальный) пример так называемой теоремы вложения (ср. п. 5.2). В общем случае не-
обходимо гарантировать единственность элемента (пространства более узкого), являющегося
прообразом данного.
Замечание 3. Если формулировка “функция u(x) непрерывна в замкнутой области V̄ ”
(или “непрерывна вплоть до границы V ”) не нуждается в комментариях, то утверждение
“функция u(x) принадлежит классу C 1 (классу C k ) в V̄ ” полезно пояснить. Предполагается
при этом, что u(x) является сужением на V̄ функции, принадлежащей C 1 (Ṽ ) (или C k (Ṽ )) в
некоторой области Ṽ ⊃ V .
Здесь
(x + h) = (x1 + h1 , . . . , xn + hn ), |h|2 = h21 + . . . + h2n .
Фиксировав ε > 0, можем выбрать номер i таким образом, что 1-е и 3-е слагаемые в правой
части не будут превосходить ε/3 каждое, а затем выбрать δ > 0 так, что
при |h| ≤ δ (за счет равномерной непрерывности в замкнутой области V̄1 функций ũj (x)). Это
влечет Bδ u < ε при указанном выборе δ.
3. ОПЕРАЦИИ И ОПЕРАТОРЫ
d
: C1 −
→ C, C1 ⊂ C ⊂ H . (1)
dx
Как уже отмечалось во введении, мы будем систематически подчеркивать разницу между
терминами “операция” и “оператор”, поскольку, вообще говоря, та или иная классическая
функциональная операция над C m (V ) может порождать континуум различных операторов.
Проиллюстрируем сказанное рядом примеров.
Линейное многообразие C 1 плотно в H(V ), и естественным представляется сопоставление
dx оператора D : H −
→ H, для которого D(D) = C 1 .
d
При использовании замыкания того или иного оператора надо, конечно, быть уверенным
в корректности соответствующей процедуры. Другими словами, надо быть уверенным, что
для данного оператора T : H − → H не могут существовать две различные последовательности
uk −
→ u, uk − → u такие, что T uk −
→ f , T uk −
→ f (сходимость в H), причем f = f .
Корректность введенного определения оператора D̃, а также аналогичных определений,
используемых в дальнейшем, может быть как проверена непосредственно, так и получена в
качестве следствия приводимых ниже результатов. Нетрудно, однако, указать и операцию, не
допускающую замыкания.
Пример. Пусть V = (0, 1), оператор T : H − → H определен так, что D(T ) = C ⊂ H, и
для любого элемента u ∈ C элемент f = T u определен равенством f (x) = const = u(1/2).
Существуют, очевидно, последовательности {uk }, {uk } непрерывных функций, сходящихся
в H, например, к функции u0 (x) ≡ 1, такие, что T uk = 0, T uk = 2 при любых k. Следовательно,
введенный оператор T не допускает замыкания.
Отметим простейшие свойства введенного оператора D̃.
Утверждение 2. Уравнение D̃u = f разрешимо при любой f ∈ H, но оператора D̃ −1
не существует. Оператор D̃ неограниченный.
Действительно, в качестве решения указанного уравнения можно взять любую из функций
вида u = 0x f (ξ)dξ + c, c = const, но, поскольку произвольный элемент v = const принадлежит
ker D̃, оператор D̃ −1 не определен.
Стандартный способ проверки второй части утверждения заключается в рассмотрении
последовательностей ϕk = xk (b = 1) или ϕk = sin kx (b = 2π). Будем иметь ϕk ≤ c
(равномерно по k) и одновременно D̃ϕk − → ∞ при k − → ∞.
Отметим, что одновременно неограниченными окажутся и все рассматриваемые ниже су-
жения оператора D̃.
Оператор D̃ — тривиальный пример так называемого максимального оператора, кото-
рый может быть сопоставлен в H(V ) произвольной линейной дифференциальной операции,
заданной над V . Область определения D(D̃) оператора D̃, являющегося расширением класси-
ческой операции (1), в определенном смысле предельно широка: элементы u ∈ D(D̃) свободны
от каких бы то ни было дополнительных условий, помимо требования применимости к ним
“обобщенной” операции (1). Но одновременно не следует забывать о весьма существенном
ограничении
D̃ : H −
→ H, т.е. D(D̃) ⊂ H, R(D̃) ⊂ H. (2)
уделять значительное внимание) той или иной непрерывной зависимости решения от “дан-
ных задачи”: правой части, коэффициентов уравнения, характеристик области и т.п. В три-
виальном случае операции (1) указанные вопросы допускают исчерпывающее изучение. На
некоторых результатах подобного типа полезно остановиться.
Вопрос: как описать все сужения Dq оператора D̃, обладающие тем свойством, что решение
уравнения
Dq u = f (5)
существует и единственно при любой f ∈ H ?
Утверждение 6. Все сужения Dq ⊂ D̃ указанного типа (вполне обратимые) опреде-
ляются формулой
x
u= Dq−1 f ≡ f (ξ) dξ + (f, q), (6)
0
L̃u = f (9)
L0 u = f, (10)
естественно ожидать, что решение его всегда единственно, но существует далеко не при всех
правых частях f ∈ H.
Действительно, как мы увидим, последнее в точности эквивалентно утверждению о раз-
решимости (9) при любой f ∈ H и о неединственности соответствующего решения.
Следуя дальше плану, реализованному в п. 3.2, заметим, что если коэффициенты aα опера-
ции L(D) принадлежат классу C m , то однозначно определена транспонированная (формально
сопряженная) операция Lt (D), связанная с L(D) соотношением (3) (см. п. 3.2):
которое должно выполняться при всех u, v ∈ C0∞ . Одновременно для операторов L̃, L0 (по-
рожденных L(D)) обычным образом (п. 1.4) могут быть определены сопряженные операто-
ры L̃∗ , L∗0 (области определения D(L̃), D(L0 ) плотны в H). Проверка (за счет использования
соответствующих аппроксимирующих последовательностей) включений
L̃ ⊂ (Lt0 )∗ , L0 ⊂ (L̃t )∗
(мы снова пользуемся тем, что для u ∈ D(D̃) значения u(0), u(b) определены), удовлетворяет
условию L0 ⊂ T , но одновременно, если |α| + |β| = 0, нет включения T ⊂ L̃. Все решения u(x)
уравнения T u = f представимы в виде
x
u= f dξ + c1 x + c2 ,
0
b
c1 (1 + βb) + c2 (α + β) = − f dξ.
0
задача Дирихле для уравнения струны в прямоугольнике при соответствующем выборе соот-
ношения сторон. Но, как известно, Адамар считал такую задачу типичным примером некор-
ректности ввиду неустойчивости для нее свойств разрешимости относительно сколь угодно
малого возмущения параметров.
Сколько-нибудь полное описание в терминах граничных условий всех правильных опе-
раторов, порождаемых данной дифференциальной операцией, удается осуществить лишь в
случае обыкновенной дифференциальной операции (см. гл. 3). Правильными являются, разу-
меется, операторы, порождаемые классическими однозначно разрешимыми граничными за-
дачами математической физики. Но для общей дифференциальной операции с постоянными
коэффициентами, рассматриваемой в конечной области, имеется лишь теорема существо-
вания порождаемых ею правильных операторов. Доказательство, которое мы воспроизведем
(с некоторыми пробелами), основывается на конструкциях, не дающих эффективного описа-
ния правильных операторов в терминах граничных условий. Другое (полное) доказательство
этой теоремы вместе с некоторой ее эффективизацией будет приведено в гл. 6.
Лемма 1. Пусть замкнутые линейные операторы T0 , T̃ : H1 − → H2 , T0 ⊂ T̃ , обладают
тем свойством, что для T0 существует ограниченный обратный оператор T0−1 : H2 − → H1 , а
область значений R(T̃ ) оператора T̃ — все пространство H2 . Тогда существует оператор
→ H2 , T0 ⊂ T ⊂ T̃ , такой, что оператор T −1 существует, ограничен и определен на
T : H1 −
всем пространстве H2 .
Доказательство. Утверждение тривиально, если R(T0 ) = H2 : достаточно положить
T = T0 . Пусть R(T0 ) — собственное подпространство H2 и D0 ⊂ H1 — максимальное ли-
нейное многообразие, отображаемое оператором T̃ на R(T0 ). Очевидно, ker T̃ ⊂ D0 и для T̃ ,
рассматриваемого на H1 \ D0 , существует обратный оператор, заданный на H2 \ R(T0 ). Тог-
да искомый оператор T можно определить, положив T = T0 на D(T0 ) и T = T̃ на H1 \ D0 .
Ограниченность T −1 следует из теоремы Банаха.
Сделаем некоторые замечания. Нас будет в дальнейшем интересовать лишь случай
H1 = H2 = H, но при записи леммы удобнее оперировать с парой пространств.
Нельзя определить T , просто выбросив ядро оператора T̃ : построенный таким образом
оператор не будет, вообще говоря, расширением для T0 .
Оператор T , обладающий требуемыми свойствами, определен, разумеется, неоднозначно.
Даже в простейших случаях, как мы видели, может существовать континуум различных опе-
раторов T .
Лемма 2. Пусть для оператора T : H1 − → H2 , обладающего плотной областью опре-
деления D(T ) ⊂ H1 , существует ограниченный обратный оператор T −1 : H2 − → H1 . Тогда
уравнение T ∗ u = f разрешимо для любого элемента f ∈ H1 .
Доказательство. Утверждение леммы означает существование для любого элемента
f ∈ H1 элемента u ∈ H2 такого, что равенство
(T v, u)2 = (v, f )1
справедливо при любом v ∈ D(T ). Вводя в рассмотрение элемент w такой, что T v = w,
v = T −1 w, можем записать цепочку равенств
(v, f )1 = (T −1 w, f )1 = (w, u)2 = (T v, u)2 .
При переходе от второго члена к третьему использован тот факт, что скалярное произведение
(T −1 w, f )1 определяет при заданном элементе f ∈ H1 ограниченный функционал над w:
|(T −1 w, f )1 | ≤ T −1 w2 f 1 ,
допускающий представление в виде скалярного произведения (w, u)2 , где u — некоторый эле-
мент H2 (лемма Рисса). Сравнение первого и последнего членов цепочки дает утверждение
леммы.
Из доказанных лемм и рассмотрений, приведенных ранее, немедленно следует
Теорема. Если операция L(D) с достаточно гладкими коэффициентами, определенная
в некоторой области V ⊂ Rn , такова, что операторы L0 , Lt0 обладают ограниченными
обратными и справедливо равенство L̃ = (Lt0 )∗ , то существует порождаемый L(D) пра-
вильный оператор L : H(V ) −
→ H(V ).
Замечание 1. Доказательство сформулированной теоремы для произвольной операции
с постоянными коэффициентами, использовавшее идеи работы [8], было получено в [58]. При
этом существование ограниченного оператора L−1
0 следовало из неравенства
L0 ⊂ LS ⊂ (Lt0 )∗ , R(LS ) = H.
Γu|S = 0, u ∈ FΓ , (Γ)
где S — граница V .
Функцию u ∈ FΓ , удовлетворяющую уравнению
L(D)u = f, (L)
(сильное решение задачи L–Γ) является лишь обобщенным, т.е. не обладает, вообще говоря,
всеми производными, входящими в операцию L(D), понимаемыми в обычном смысле (клас-
сическом), и может не удовлетворять условиям (Γ). С другой стороны, расширение (или ре-
шение) названо “сильным”, поскольку зачастую используются более “слабые” определения
расширений классической операции L(D) или решений задачи L–Г.
Такие “слабые” расширения L̃Γ ⊃ LΓ определяются чаще всего следующим образом. Пусть
tγv|S = 0 (tγ)
— некоторая система однородных граничных условий такая, что для гладких функций u, v,
подчиненных условиям (Γ), (tγ) соответственно, справедливо равенство
Пусть Lttγ : H −
→ H — оператор, порождаемый операцией Lt (D) и условиями (tγ) так же,
как оператор LΓ порождался операцией L(D) и условиями (Γ) (т.е. получаемый замыканием
операции Lt (D), определенной первоначально на линейном многообразии Ftγ гладких функ-
ций). Тогда из равенства (13) немедленно следует включение
LΓ ⊂ (Lttγ )∗ , (14)
т.е. оператор (Lttγ )∗ может быть взят в качестве оператора L̃Γ ⊃ LΓ , о котором шла речь
выше.
В большинстве наиболее интересных случаев (ср. п. 5.4) оказывается возможным указать
некоторую “минимальную” систему γ однородных граничных условий такую, что для гладкой
функции u выполнение равенства
γu|S = 0 (γ)
необходимо для справедливости (13) при любой гладкой v, удовлетворяющей условиям (tγ).
Тогда оператор (Lttγ )∗ называется слабым расширением операции L(D) при условиях (γ).
Наличие включения (14) означает, что выполнение условий (Γ) влечет выполнение усло-
вий (γ), т.е. FΓ ⊂ Fγ .
В ряде важнейших случаев удается доказать равенство
LΓ = (Lttγ )∗ (15)
(ср. п. 5.4). Естественно при этом было бы ожидать, что условия (Γ) и (γ) совпадают. Но это не
обязательно так. Условия (Γ) могут содержать “излишние” требования, которые не оказывают
реального влияния на свойства элементов из D(LΓ ) (“не удерживаются в замыкании”).
Если, например, V = (0, b), L(D) = D, многообразие FΓ1 состоит из элементов u ∈ C ∞ (V̄ ),
удовлетворяющих дополнительно условиям
U |0 = u |0 = . . . = u(k) |0 = 0, k ≥ 1,
Γ = γ, tγ = tΓ, (16)
и ωε (x, x ) = 0 при |x − x | ≥ ε.
Пусть теперь V = (0, b) — конечный интервал вещественной оси и u ∈ H ≡ H(V ). Для
любого ε > 0 определим оператор Jε : H −
→ H равенством
Jε u(x) = ωε (x, x )u(x ) dx .
V
а затем оценить разность между последним членом этой цепочки равенств и правой частью (1)
при δ −
→ 0, пользуясь гладкостью функции ω(ξ).
Вместо доказательства J-2 удобно установить несколько более общий результат.
Лемма 1. Пусть K : H −
→ H — интегральный оператор
Ku = K(x, x )u(x ) dx ,
V
Тогда K ≤ M .
Для придания точного смысла второму из интегралов внутри фигурных скобок при любом
x ∈ V следует считать u(x) ≡ 0 при x ∈/ V . Очевидно, V |ωε (x, x )|2 dx ≤ cε−1 равномерно
по x и постоянная c зависит лишь от вида ω(ξ). Если положить теперь x = x + τ , |τ | ≤ ε,
dx = dτ , будем иметь
⎛ ⎞
⎜ ⎟
I(u) ≤ cε−1 ⎝ |u(x + τ ) − u(x)|2 dτ ⎠ dx =
V |τ |≤ε
⎛ ⎞
= cε−1 ⎝ |u(x + τ ) − u(x)|2 dx⎠ dτ ≤ c Bε u,
|τ |≤ε V
где Bε u −
→ 0 при ε −
→ 0 (непрерывность в среднем, п. 2.3).
Замечание. Нетрудно убедиться, что для любого фиксированного ε > 0 оператор Jε
переводит ограниченное множество M ⊂ H в множество элементов Jε M, равномерно ограни-
ченных в норме C и равностепенно непрерывных. Отсюда следует, что множество Jε M ком-
пактно в C (теорема Арцела). Таким образом, при фиксированном ε > 0 оператор Jε : H −
→H
(как и всякий интегральный оператор с гладким ядром) вполне непрерывен.
aJε u − Jε (au) −
→0 при ε−
→ 0.
Свойства J-1, 2, 3, 4 доказываются для этих операторов так же, как и для оператора Jε .
Свойство J-5 несколько видоизменяется.
J-5a. Для любых u, v ∈ H справедливо равенство
Утверждение следует немедленно из (3): при x = 0 (или x = b) ядро оператора Jε− (Jε+ )
равно нулю тождественно при любом x ∈ V = (0, b).
Нетрудно построить оператор, обеспечивающий выполнение однородных условий на обоих
концах рассматриваемого интервала:
x − (1 − 4b−1 ε)x − 2ε
J˙ε v = ωε u(x ) dx .
ε
V
Свойство J-1 остается при этом неизмененным. При доказательстве J-2, 3 происходит переход
от якобиана, равного 1, к якобиану, равному 1 − 4b−1 ε, что ничего не меняет. В свойстве J-2
надо при этом заменить в неравенстве единицу на некоторое число Eε − → 1 при ε − → 0.
Существенны лишь видоизменения свойств J-5, 6.
где
(1 − 4b−1 ε)x − x + 2ε
J˜ε v = ωε v(x ) dx .
ε
V
x ,
где x = (x1 , . . . , xn ) и dx определены соответственно.
Формулировка свойств с J-1 по J-5 остается прежней (с заменой, естественно, Dm на част-
ную производную Dα , где α — некоторый мультииндекс; п. 3.3). Приведенные доказательства
также сохраняют силу (с очевидной заменой оценки V |ωε |2 dx ≤ cε−1 на ≤ cε−n в доказатель-
стве свойства J-3 и т.п.).
Операторы типа Jε− , Jε+ нам потребуются в п. 5.4 (при n = 2), где мы напомним их
свойства. Пока остановимся подробнее на операторах типа J˙ε , J˜ε .
Пусть область V такова, что существует семейство {ϕε (x)}, 0 ≤ ε ≤ ε0 , диффеоморфных
отображений ϕε : V − → Vε ⊂ V области V на некоторую свою подобласть, гладко зависящих
от ε и таких, что справедливы следующие свойства.
V-1. Отображение ϕ0 = 1 тождественное; якобианы j(ϕε ), j −1 (ϕε ) равномерно относи-
тельно x ∈ V стремятся к единице при ε −
→ 0.
V-2. Если x ∈ S = ∂V, то при любом x ∈ Vε для евклидова расстояния d(x, x ) выполнено
неравенство d(x, x ) ≥ kε, где k ≥ 1 — некоторое фиксированное число.
Область V , удовлетворяющую условиям V-1, V-2, будем называть нормальной.
Сделанные в начале разд. 2 предположения, относившиеся к границе V , заведомо доста-
точны для нормальности.
Замечание. Несколько менее ограничительное, чем упомянутые, предположение, обес-
печивающее нормальность, может быть сформулировано следующим образом. Область V k
звездна относительно шара Sk ⊂ V k (радиус шара положителен), если для любой точки
x ∈ ∂V k конус с основанием Sk и вершиной x лежит целиком в V̄ k . Область V , являющаяся
объединением конечного числа областей V k , каждая из которых звездна относительно неко-
торого шара Sk , нормальна.
В рассмотренном выше одномерном случае (V = (0, b)) мы использовали отображения ϕε
вида
ϕε (x) = (1 − 4b−1 ε)x + 2ε.
где ε ε
ϕ1 (x) − x1 ϕn (x) − xn
J˜ε v = ωε . . . ωε v(x ) dx .
ε ε
V
J˙ε u|∂V = 0.
ли существует элемент f ∈ H(V ) такой, что для любой “допустимой” функции ϕ(x) верно
равенство
uD α ϕ dV = (−1)|α| f ϕ dV. (5)
V V
Как это следует из определения оператора осреднения, при любом ε > 0 этот интегральный
оператор обладает сопряженным [Dα Jε ]∗ , причем
где последний член равенства получается за счет использования четности ω(ξ) и замены
D α ωε (x, x ) на (−1)|α| Dxα ωε (x, x ) (с введением, быть может, некоторого дополнительного мно-
жителя Eε − → 1 при ε − → 0, включаемого в определение Jεt , ср. п. 4.3).
Оператор Jεt также является оператором осреднения, отображающим H на некоторое ли-
нейное многообразие M ⊂ H гладких функций, удовлетворяющих, быть может, некоторым
дополнительным условиям типа граничных. Если теперь положить
εk = 2−k , k = 1, 2, . . . ; uk = Jεtk u −
→u при ε −
→ 0,
D α uk = Jε∗k f −
→f при k −
→ ∞,
α ) влечет u ∈ D(D α ) — области определения оператора D α , определяемого уже
т.е. u ∈ D(Dсл M M
как замыкание в H операции Dα , заданной первоначально на линейном многообразии M ∈ H.
Замечание 1. Cчитая гладкую функцию ϕ в (5) допустимой, если она финитна в V
(равна нулю вне некоторого компактного подмножества V ⊂ V ), придем к определению об-
общенной производной D1α1 . . . Dnαn , принятому в [53]. Предположив, что V нормальна, и взяв
в качестве Jε оператор J˙ε (п. 4.3), получим включение D(Dсл α ) ⊂ D(D̃ ), где D̃ — соответ-
α α
ствующий максимальный оператор.
Разность между последним членом цепочки (9) и первым членом правой части (10) стремится,
очевидно, к нулю (перестановочность осреднения с умножением на непрерывную функцию).
Разность остающихся членов запишем в виде
# $
D ωε (x, x )[a(x) − a(x )] u(x ) dx
V
1) Jεγ — оператор осреднения, обладающий тем свойством, что для любого ε > 0 гладкая
функция Jεγ u при любой u ∈ H(V ) удовлетворяет условиям γ;
2) для любого элемента u ∈ H норма ηε (u) −
→ 0 при ε −
→ 0,
то равенство (11) немедленно приводит к равенству
L(D)Jεγ u = Jεγ f − ηε (u),
где правая часть стремится к f при ε −
→ 0.
Определив последовательность {uk } как в п. 4.4, получим включение
D(Lсл
γ ) ⊂ D(Lγ ).
В случае общей дифференциальной операции L(D) вида (8) из разд. 3, содержащей пе-
ременные коэффициенты aα , |α| > 2, вопрос о совпадении операторов Lγ , Lсл γ становится
значительно более сложным. Основной причиной возникающих трудностей является недопу-
стимость, вообще говоря, перестановки под знаком производной порядка больше единицы опе-
раций умножения (на гладкую функцию) и осреднения, т.е. отсутствие в этом случае аналога
леммы Фридрихса.
Остановимся на характере некоторых дополнительных предположений, при которых мо-
жет быть установлен некоторый аналог леммы Фридрихса. Пусть, например, L(D) — опера-
ция порядка m и из того, что u ∈ D(Lсл
γ ), следует существование элемента f ∈ H такого, что
β
|β| = m − 1. Тогда
(−1)|α| (u, D α [aα Jεtγ v]) = (−1)|α| (u, D β [Dk (aα Jεtγ v)]) =
(14)
= −(f β , Dk [aα Jεtγ v]) = (aα Dk Jεγ f β + ηε , v) = (aα Dα Jεγ u + ηε , v),
где ηε −
→ 0 при ε −→ 0. При получении цепочки равенств (14) мы воспользовались леммой
Фридрихса и равенством Jεγ f β = Dβ Jεγ u, вытекающим из (12).
Цепочка равенств (14), играющая роль леммы Фридрихса, позволяет немедленно устано-
вить, что при сделанных предположениях слабое и сильное определения оператора Lγ : H −
→H
эквивалентны. Действительно, преобразуя все члены левой части (13) таким же образом, как
это сделано в (14), придем к равенству
Lγ u = f, f ∈ H, (15)
Lγ u = f, Lttγ v = g
как неравенства (16), (17), так и теоремы существования решений. Как следствие рассмотре-
ний предыдущего пункта получим тогда
Утверждение 2. В сделанных предположениях справедливы равенства
Lсл
γ = Lγ , Lttγсл = Lttγ . (18)
N(L̃сл ) = N(L̃) = N.
5. КЛАССИЧЕСКИЕ ПРИМЕРЫ
Выбрав слабо сходящуюся подпоследовательность {Dα ui } и подставив ее в (2), а затем пере-
ходя к пределу при i −
→ ∞, получим требуемое.
Замечание. Мы несколько вышли за рамки определений разд. 1, используя классический
результат, относящийся к слабой топологии пространства H [2, 24].
В то же время при доказательстве таких, например, фактов, как наличие младших про-
изводных при существовании старших, допустимость умножения на гладкие функции и т.п.,
“слабое” определение производной неудобно. Поэтому весьма полезно следствие рассмотрений
разд. 4.
Утверждение 2. В нормальной области V слабое и сильное определения производной
α , D̃ α ) эквивалентны.
(или операторы D̃сл
Считая по-прежнему фиксированной нормальную область V , определим на функциях
u ∈ C m скалярное произведение, полагая
⎡ ⎤
{u, v}m = ⎣ Dα uD α v̄ + uv̄ ⎦ dV. (3)
V |α|=m
Отсутствие слагаемого uv̄ в (3) привело бы нас к “полунорме”, т.е. к определению простран-
ства, в котором элементы — полиномы степени меньше m — имеют нулевую норму.
Замечание. Другим стандартным обозначением для пространств введенного типа яв-
ляется Hm . В этом случае W m (или Wpm ) резервируется для соответствующих банаховых
пространств, связанных с нормой up = V |u|p dV .
Если в качестве исходного линейного многообразия, на котором вводится произведение (3),
брать C0m — гладкие функции, обращающиеся в нуль на границе V , то слагаемое uv̄ в (3)
можно опустить. Получающееся пространство обозначается обычно Ẇ m (или W̊ m ). В ка-
честве объекта дальнейших рассмотрений выберем именно пространство Ẇ m и приведем ряд
основных фактов, к нему относящихся. Что касается доказательств, мы ограничимся простей-
шей схемой в случае m, n ≤ 2, что позволит выяснить смысл формулируемых утверждений.
Достаточно развернутое изложение соответствующих построений имеется почти во всех со-
временных курсах функционального анализа (например, в [24, 25]).
Утверждение 3. Имеет место вложение Ẇ 1 ⊂ H, и для элементов u ∈ Ẇ 1 справед-
ливо неравенство
u ≤ c|u, Ẇ 1 |, (4)
где постоянная c зависит лишь от области V . Кроме того, для любой гладкой (n − 1)-мер-
ной гиперповерхности Q ⊂ V определен интеграл Q u2 dQ, и если Q — граница V, то
2
Q u dQ = 0.
Следовательно (лемма Рисса, п. 1.5), он может быть реализован в виде скалярного произведе-
ния Lf (v) = {u, v}, что и дает равенство (7).
Использованное построение годится для произвольного n > 2 и распространяется на слу-
чай, когда в (6) вместо −∆u стоит
Lu = f.
v1 |t=b1 = v2 |t=b1 = 0
R(L) = H, R(Lt ) = H,
принадлежит D(Lt ). Это следует из свойства J-6a разд. 4 и замечания, что осреднение по x
сохраняет периодичность. Согласно определению слабого решения будем иметь
Рассмотрения для случая, когда v — слабое решение второй (сопряженной) задачи, пол-
ностью аналогичны.
Таким образом, доказана
Теорема 2. Обобщенное решение рассмотренных задач существует и единственно
при любых правых частях f, g ∈ H.
Дополним, как и в п. 5.3, рассмотренный модельный пример рядом замечаний.
Если вместо условий периодичности (12) отправляться от второй пары условий (11), то при
доказательстве аналога леммы 3 пришлось бы вместо Jε+ , Jε− использовать осреднения типа
J˙ε , J˜ε п. 4.2. Но при переходе от (16) к (17) соответствующие осреднения “перепутываются”,
что создает дополнительные трудности [15].
Аналогичным образом для (10) может быть рассмотрена задача, содержащая лишь первую
пару условий (11) (задача Коши), если область V обладает нужной геометрической конфигу-
рацией (например, если V — треугольник, ограниченный прямыми t = 0, x = t, 2 − x = t [64]).
При переходе от (10) к гиперболической системе с переменными коэффициентами и слага-
емым a(x)u возникают дополнительные затруднения двух типов: а) при доказательстве лем-
мы 1 вместо рассмотрения (Lu, u) надо использовать (Lu, e−αt u) с соответствующим подбором
α = const > 0; б) при переходе от (16) к (17) надо использовать лемму Фридрихса.
Привлекая указанный прием домножения на экспоненту для получения неравенств лем-
мы 1, нетрудно убедиться, что теорема 2 остается справедливой при замене Lu на Lu + βu,
где β — произвольный вещественный параметр.
Приведенная схема рассуждений, существенно использовавшая равенство Lt = −L для
рассматриваемой операции, допускает распространение на значительно более общий класс
так называемых симметричных положительных систем первого порядка [15, 64], для которых
Lt = −L+A и оператор A подчинен (зависящей от структуры L и выбора граничных условий)
системе дополнительных требований.
Глава 2
СПЕКТРЫ И РАЗЛОЖЕНИЯ
ВВЕДЕНИЕ
Как уже отмечалось, одной из наиболее привлекательных черт объектов, рассматриваемых
в линейном функциональном анализе, является существование для многих из них аналогов,
имеющих значительно более простую природу. Наличие подобных аналогий обогащает инту-
ицию и имеет большую эвристическую ценность. Наиболее часто обращаются к параллелиз-
му, существующему в теории конечномерных и бесконечномерных гильбертовых пространств
(здесь уместно отметить книгу [57]), т.е. к аналогии вектор — функция (т.е. точка в евклидо-
вом пространстве — точка в функциональном гильбертовом пространстве), и к параллелизму
между алгеброй комплексных чисел и алгеброй, порождаемой семейством коммутирующих
операторов над фиксированным B-пространством. Примеры обращения к первой из аналогий
приводились в замечаниях к доказательствам лемм об ортогональном разложении и об общем
виде линейного функционала (разд. 1 гл. 1).
Во многих вопросах теории операторов оказывается весьма плодотворным обращение и ко
второй из упомянутых аналогий, о которой уже шла речь в конце п. 1.6 гл. 1. Здесь на первый
план выступает сопоставление объектов: аналитическая функция — функция от оператора.
Построение аппарата, позволяющего содержательным образом использовать соответствую-
щую аналогию, является одной из основных задач спектральной теории (ср. п. 1.4).
При построении алгебры операторов, т.е. при проведении рассмотрений, в которых су-
щественную роль играет операция перемножения пары линейных операторов T1 , T2 , и тем
более — при определении функций от операторов приходится прежде всего ограничить-
ся случаем, когда операторы действуют в рамках одного фиксированного B-пространства
T1 , T2 : B → B. Иначе конструкции становятся трудно обозримыми.
Уместно сделать замечание, существенное для понимания общих установок книги. С точ-
ки зрения приложений к теории граничных задач упомянутое ограничение означает весьма
существенное сужение рассматриваемого круга вопросов. Значительная часть проблемати-
ки, связанной с рассмотрением левой части дифференциального уравнения в качестве ли-
нейного оператора L, относится, например, к вопросу об отыскании правильно подобранной
пары пространств B1 , B2 такой, что D(L) = B1 , R(L) = B2 , или к отысканию семейств про-
странств B1σ , B2σ таких, что L : B1σ → B2σ и соответствующее отображение — изоморфизм. Эта
область применения методов функционального анализа в теории граничных задач остается
по существу вне нашего поля зрения (некоторое исключение составил п. 5.3 гл. 1).
Читатель заметил, что мы вернулись к выбору B-пространства в качестве исходного. Как
и в разд. 1 гл. 1, это в первую очередь — дань традиции. Естественным местом действия
“абстрактной” спектральной теории операторов, т.е. теории, не конкретизирующей способов
задания изучаемых операторов, является комплексное банахово пространство. Снова подчер-
кивая, что основные наши рассмотрения будут связаны с конкретными функциональными
53
54 Глава 2. СПЕКТРЫ И РАЗЛОЖЕНИЯ
1. ОСНОВНЫЕ ОПРЕДЕЛЕНИЯ
Tλ = T − λ.
Очевидно, что всякий раз, когда λ не принадлежит области значений a(x), x ∈ [0, b], имеем
λ ∈ ρ(T ). Если же λ = a(x0 ), x0 ∈ [0, b], то Tλ−1 задан на множестве функций f (x), каждая из ко-
торых тождественно равна нулю в некоторой окрестности Uf (x0 ). Множество таких функций
плотно в H. Немедленно проверяется, что при этом Tλ−1 будет неограниченным. Достаточно
рассмотреть последовательность функций
1, |x − x0 | ≥ 2−k ,
fk (x) =
0, |x − x0 | < 2−k .
Il = S(z) dz, Il : B → B.
l
−1
f (ζ) = (2πi) f (z)(z − ζ)−1 dz,
γ
−1
(2πi) f (z)(z − T )−1 dz (9)
|z|≤2M
и, следовательно, µ ∈ ρ(T ).
Ясно, что в сделанных предположениях всегда 0 ∈ Cσ(T −1 ). Очевидно также, что если
µ ∈ P σ(T ), то λ ∈ P σ(T −1 ) и размерности соответствующих собственных подпространств
совпадают.
k
k−1
T ek = βki λi ui = λk ek + βki (λi − λk )ui =
1 1
k−1
= λk ek + γ i ei , |λk | ≥ ε,
1
Tλ u = f, λ = 0,
Доказательство. Обозначим правую часть (2) через ST . Поскольку, как это очевидно,
T = supx,y |(T x,y)|
x y , имеем T ≥ ST . Надо доказать обратное неравенство. Можем считать
T = 0. Пусть x = 0 — произвольный элемент H, для которого T x = 0. Пусть λ > 0 определено
равенством λ2 = T xx−1 . Пусть u = λ−1 T x. Тогда
T x2 = (T λx, u) =
1
= T [λx + u], λx + u − T [λx − u], λx − u ≤
4
1 1
≤ ST λx + u2 + λx − u2 = ST λx2 + u2 .
4 2
Но 12 (λx2 + u2 ) = xT x, т.е. T ≤ ST .
Лемма 5. Если T — самосопряженный BH-оператор, T = |λ| = 0, то одно из чи-
сел ±λ является собственным значением оператора T .
Доказательство. Пусть {xn } — последовательность, обладающая тем свойством, что
xn = 1 и (T xn , xn ) = λn → λ при n → ∞. Рассмотрим числовую последовательность
ρ2n = T xn − λxn 2 ≥ 0.
Имеем
ρ2n = (T xn , T xn ) − 2λ(T xn , xn ) + λ2 ≤ 2λ2 − 2λλn , (3)
и правая часть стремится к нулю при n → ∞, т.е. ρ2n → 0. Отсюда следует, что если
{T xn } — сходящаяся подпоследовательность, то подпоследовательность {xn } также сходя-
щаяся: xn → x, x = 1, и, переходя к пределу в (3), заключаем, что T x − λx = 0.
Теорема 4. Пусть T — самосопряженный BH-оператор, T = 0. Тогда существует
конечная или бесконечная последовательность {λn } ненулевых собственных значений опе-
ратора T, которая может быть занумерована таким образом, что |λ1 | = T , |λk | ≥ |λk+1 |.
Если при этом последовательность бесконечна, то limk |λk | = 0, и если M — замкнутая
линейная оболочка всех собственных векторов, принадлежащих {λn }, то H = M ⊕ N(T ).
N
N
f= fk ek + ρn , u= uk ek + rn .
1 1
+∞
T = λ dEλ (T ), (4)
−∞
3. МОДЕЛЬНЫЕ ОПЕРАТОРЫ
Пополнение по введенной норме множества конечных линейных комбинаций (2) дает (полное)
гильбертово пространство H = H ⊗ H — тензорное произведение исходных гильбертовых
пространств.
В соответствии с приведенной конструкцией для любой пары элементов f = fk ϕk ,
g = gk ψk определено их тензорное произведение f ⊗ g = i,k fi gk ϕi ⊗ ψk (поскольку
|f
i,k i |2 |g |2 < ∞).
k
Если теперь A : H → H — замкнутый линейный оператор с плотной областью опреде-
ления D(A ), ϕk ∈ D(A ) для любого k и оператор A : H → H обладает аналогичными
свойствами, то над плотным в H множеством элементов вида (2) (над множеством конечных
линейных комбинаций) определен оператор
A ⊗ A fik ϕi ⊗ ψk = fik A ϕi ⊗ A ψk .
A(−iD)eis·x = A(s)eis·x , s · x = s1 x1 + . . . + sn xn .
где
u(x) = us eis·x ∈ D(A) (6)
s
(предполагается, что элемент f представлен разложением вида (6)). Если же λ ∈ F(S) \ F(S),
то существует последовательность {sk } такая, что |F(sk ) − λ| = εk → 0 при k → ∞ и соответ-
ствующий оператор Fλ−1 будет неограниченным (поскольку, например, Fλ−1 eis ·x /eis ·x =
k k
= (εk )−1 ).
Таким образом, структура спектра операторов F(A) (и самих операторов A : H → H) весь-
ма прозрачна. К сожалению, для семейств операторов F(A, t), t ∈ (0, b), с которыми нам при-
дется сталкиваться при рассмотрении операторных уравнений, изучение соответствующих
вопросов оказывается более сложным.
Простота операторов A не мешает им в ряде случаев быть весьма “плохими”, т.е. иметь
пустое резольвентное множество.
Утверждение 4. При n ≤ 2 множество ρA для П-оператора A всегда непусто; при
n > 2 существуют операторы A, спектр которых заполняет всю комплексную плоскость.
Доказательство. При n = 1 утверждение тривиально; при n = 2 достаточно рассмот-
реть отображение вещественной плоскости (s1 , s2 ) на комплексную плоскость z = x + iy, за-
даваемое равенствами
x = Re A(s1 , s2 ), y = Im A(s1 , s2 ).
существует). При этом |µs | > M , что исключает полную непрерывность оператора A−1
−1
Отсюда и из теоремы аппроксимации (п. 1.6 гл. 1) следует полная непрерывность операто-
ра A−1 .
Утверждение 5 допускает, очевидно, и другую формулировку.
Утверждение 5 . Оператор A−1 : H → H, обратный для некоторого П-оператора A,
является BH-оператором тогда и только тогда, когда для любого N > 0 множество ли-
нейно независимых собственных функций оператора A, принадлежащих собственным зна-
чениям λs , удовлетворяющим условию |λs | ≤ N, конечно.
Таким образом, для рассматриваемого класса операторов A−1 лемма 1 из разд. 2 дает не-
обходимое и достаточное условие полной непрерывности. Следовательно, отсутствие для A−1
свойства полной непрерывности должно быть связано либо с наличием для A бесконечного
числа собственных значений, лежащих в конечной части плоскости, либо с бесконечномерно-
стью собственного подпространства, принадлежащего тому или иному λs . Как мы увидим в
следующем пункте, полная непрерывность A−1 теснейшим образом связана с “устойчивостью”
оператора A.
Следующее утверждение дает описание “дифференциальных свойств” элементов, являю-
щихся решениями уравнений, содержащих П-операторы.
Утверждение 6. Пусть A, B — П-операторы и существует оператор A−1 . Тогда для
того, чтобы оператор BA−1 был ограниченным оператором, допускающим расширение на
все пространство H, необходимо и достаточно выполнение условия
Необходимость условия (9) следует из того, что элементы базиса {eis·x }, s ∈ S, являют-
ся собственными функциями оператора BA−1 , а числа B(s)/A(s) — соответствующими соб-
ственными значениями. Оператор не может быть ограниченным при наличии неограниченно
возрастающей последовательности собственных значений.
Утверждение 6 может быть, очевидно, переформулировано в терминах принадлежности
решения u = A−1 f тому или иному пространству типа W (п. 5.2 гл. 1).
Уместно отметить также следующее характерное обстоятельство, связанное с рассматри-
ваемыми операторами. Хотя при B(s) = const оператор B заведомо неограниченный, оператор
BA−1 может быть ограниченным и при неограниченном операторе A−1 . Тривиальный случай:
B = A. Несколько менее тривиальный: A = A1 A2 , причем A−11 — ограниченный оператор, а
−1 −1
неограниченность A вызвана неограниченностью A2 (например, A2 (s) = s1 + αs2 , где α
иррационально). Тогда BA−1 ограничен при B = A2 .
3.4. Специальные свойства П-операторов. Продолжим рассмотрение П-операторов
и установим еще ряд их свойств, полезных для дальнейшего.
Во многих случаях удобно рассматривать A(s) как сумму
Будем говорить, что R обладает C-свойством (B-свойством), если для него выполнено со-
отношение (C) (одно из соотношений (B)).
При n = 1 каждый полином обладает C-свойством и обладает B-свойством тогда и только
тогда, когда его старший член имеет четную степень. При n ≥ 2 не всякий полином обладает
C-свойством. Специфика рассматриваемого “компактного” случая, связанная с использовани-
ем ряда Фурье (а не интеграла Фурье) и дискретностью множества S, находит свое отражение
в справедливости следующего утверждения.
Утверждение 7. При n ≥ 2 введенные свойства полиномов R(s) независимы.
Доказательство. То, что (B) не влечет, вообще говоря, (C), достаточно очевидно (на-
пример, R(s) = (s1 − s2 )2 ). Примером полинома, обладающего C-свойством и не облада-
ющего B-свойством, может служить R(s) = (s1 + 1/2)(s2 + 1/2). Он не обладает, оче-
видно, B-свойством, но, поскольку |sk + 1/2| ≥ |sk |/2 и одновременно |sk + 1/2| ≥ 1/2,
sk = 0, ±1, ±2, . . . , наличие C-свойства следует из неравенства |R(s)| ≥ |sk |/4, влекущего
неравенство |R(s)| ≥ (|s1 | + |s2 |)/8.
Замечание. Если в (C) отказаться от условия s ∈ S, допуская произвольные значения
s ∈ Rn , то (C) влечет (B) при n ≥ 2, поскольку в этом случае C-свойство эквивалентно
существованию предела lim|s|→∞ R(s) = ±∞. Это следует из того, что вещественный полином,
принимающий значения разных знаков вне некоторого шара, принимает вне этого шара и
нулевое значение, поскольку при n > 1 дополнение к шару связно.
и, во-вторых,
|z| γ
≥ .
γ− (14)
N 2
Теперь, если выполнено (13), из (12) заключаем, что
|ε| ≥ rN −1 .
Если же |A0 (s)| ≥ N и, следовательно, |s| ≥ M , то, воспользовавшись (11), (12), (14), получим
|z − A(s)| |A(s)| |z| γ
|ε| = ≥ − ≥ .
|A0 (s)| |A0 (s)| N 2
Следовaтельно, при |ε| < δ = min( Nr , γ2 ) точка z не может принадлежать P σ(A + εA0 ).
Если теперь допустить, что z ∈ Cσ(A + εA0 ), то должна существовать последовательность
{s } ⊂ S такая, что
k
Соответствующий оператор A−1 вполне непрерывен, спектр чисто точечный, достаточно “ред-
кий” и устойчивый относительно возмущений любым оператором A0 порядка ≤ 2m. С клас-
сической точки зрения мы имеем дело с подклассом эллиптических операторов. Близкими
свойствами обладают “квазиэллиптические” операторы, для которых коэффициенты соответ-
ствующих полиномов вещественны и обеспечивают выполнение неравенств
n
2mk
aα sα ≥ c sk , mk ≥ 1
|α|≤2m k=1
lim |A(s)| = ∞.
s∈Rn , |s|→∞
Lλ = L − λ и Lελ = Lλ + εQ, λ, ε ∈ C.
Нас будут интересовать свойства возмущенного оператора Lελ при условии, что выполнено
предположение
Q-1. Если λ ∈ ρL, то L−1
λ Q — ограниченный оператор, заданный на всем H.
Таким образом, возмущение является ограниченным, но, что существенно, оператор L−1
λ Q
не предполагается вполне непрерывным.
Из Q-1 немедленно получаем
Следствие (“непрерывность резольвенты”). Если λ ∈ ρL и ε достаточно мало, то
существует δ(ε) такое, что условие |µ − λ| < ε влечет µ ∈ ρLε .
Доказательство. Уравнение (Lε − µ) u = f , где f — произвольный элемент H, запишем
в виде
u = L−1
λ (µ − λ)u − εQu + f ≡ T u.
При достаточно малых ε, δ T u − T v ≤ ru − v, r < 1, и уравнение может быть решено
методом последовательных приближений. Оператор (Lε − µ)−1 будет ограниченным.
Полезно отметить, что приведенный стандартный результат относительно тривиален по
сравнению с рассматриваемым ниже вопросом о поведении резольвенты в окрестности особой
точки — точки спектра.
Уклоняясь на время в сторону, отметим, что в приложениях, относящихся к дифференци-
альным операторам, условием, обеспечивающим выполнение Q-1, является обычно наличие
для любого u ∈ D(L) оценки
Qu ≤ CLλ u, λ ∈ ρL (1)
[Q, L−1 −1 −1
λ ] ≡ QLλ − Lλ Q. (2)
µ → λ, ψ→ϕ при ε → 0.
Lεµ ψ = 0 (10)
ψ = (1 + κ)ϕ + L̂−1
λ (1 − P )[εQψ + κψ], (12)
Согласно лемме 1 при достаточно малых ε, κ норма оператора T (ε, κ) может быть сделана
сколь угодно малой. Для доказательства леммы достаточно положить
Отсюда
ψn+1 − ψn ≤ T (ε, κ)[ψn − ψn−1
] + T2 [ψn − ψn−1 ]
и последовательность ψn+1 = ψ0 +(ψ1 −ψ0 )+. . .+(ψn+1
−ψn ) может быть сделана выбором ε, κ
(замечание 1 к лемме 2) равномерно по κ сходящейся в окрестности выбранной (достаточно
близко к нулю) точки κ0 .
ψ = L̂−1
λ (1 − P )[εQψ + κψ] + αϕ ≡ T ψ + αϕ
ψ = α(1 − T )−1 ϕ,
L(kj , sj ) = λ, j = 1, 2, . . . ,
где L(k, s) — характеристический полином вида (23) для L(D). При j → ∞ либо |kj | → ∞,
либо |sj | → ∞, либо и то и другое. Пусть |kj | → ∞. Положим в (24) D = Dx . Будем иметь
µ ∈ P σLδ , если для некоторой пары (k, s) выполнено равенство L(k, s) + iδk = µ. Выберем
последовательность δj так, что
Глава 3
ОБЫКНОВЕННЫЕ ДИФФЕРЕНЦИАЛЬНЫЕ
ОПЕРАТОРЫ
ВВЕДЕНИЕ
6 81
82 Глава 3. ОБЫКНОВЕННЫЕ ДИФФЕРЕНЦИАЛЬНЫЕ ОПЕРАТОРЫ
m
L(D) ≡ ak (x)Dk . (1)
0
u|0 = u |0 = . . . = u(m−1) |0 = 0.
cJρ ≤ c2 J 2 ρ + cJσ.
ρ ≤ c2 J 2 ρ + cJσ + σ. (4)
Можем снова применить операцию cJ к неравенству (4) и снова внести результат в (2). По-
вторяя эту процедуру n раз, получим
n b
n+1 b
εn = c n+1 n+1
J ρ(t) ≤ c ρ(t) dt (7)
n!
0
стремится к нулю при n → ∞, внося (6) и (7) в (5) и переходя к пределу при n → ∞,
получаем (3).
2 x
m−1
D u(x) ≤ ecx
|f |2 dξ, (8)
0
L(D)u(x) = f (x)
и оценками
1 k 2
k
max |ak (x)| ≤ M, D uD m−1 u ≤ |D u| + |Dm−1 u|2 ,
k,x 2
1 2
f (ξ)D m−1 u ≤ |f | + |Dm−1 u|2 ,
2
а также тем, что для любого k = 0, . . . , m − 1
2
x 2 x ξ
x ξ x
k k+1 2 x2 k+1 2
D u dξ = D k+1
u dη dξ ≤ ξ D u dη dξ ≤ D u dξ,
2
0 0 0 0 0 0
получим
2 x x
m−1 m−1 2
D u(x) ≤ c D u dξ + |f |2 dξ.
0 0
LttC v = 0, ak ∈ C k , (9)
где tC — условия Коши при x = b. Все будет доказано, если мы покажем, что (9) влечет v = 0.
Сильное решение уравнения (9) заведомо тождественный нуль (в силу наличия соответству-
ющего неравенства (Φt ) для операции Lt и условий tC, что считается очевидным). Но, чтобы
утверждать совпадение слабого и сильного решений (9), мы вынуждены теперь потребовать
ak (x) ∈ C k .
Замечание. При доказательстве эквивалентности слабого и сильного определений опе-
ратора L для обыкновенной дифференциальной операции мы использовали конечномерность
подразумевая соответствующий классический результат. Но этот результат немед-
ядра L,
ленно следует из установленной выше (независимо) единственности решения задачи Коши.
Из леммы 3 и леммы о связи спектров операторов T , T −1 (п. 1.5 гл. 2) немедленно следует
вольтерровость оператора L−1
C , т.е. утверждение теоремы 1.
Замечание. Постоянная C в неравенстве (Ф), записанном для оператора LC − λ, будет,
очевидно, зависеть от λ. Вопрос о характере этой зависимости есть вопрос о поведении ре-
зольвенты оператора LC . Соответствующее изучение резольвенты, обычно также относимое
к изучению спектральных свойств оператора (понимаемых в расширенном смысле), нам в
дальнейшем понадобится.
В случае обыкновенной дифференциальной операции неравенство (8) и следующее из него
неравенство
D m−1 u ≤ Cf
m−1
D m u2 − c Dm u Dk u ≤ f Dm u .
0
то опе-
Лемма 5. Если L — вполне обратимое сужение максимального оператора L,
−1
ратор L допускает представление
m−1
L−1 f = L−1
C f + lk (f )ωk , (10)
0
где круглые скобки — скалярное произведение в H, а {qk }0m−1 — набор элементов H, опре-
деляющий вполне обратимое сужение.
Доказательство. Всякий элемент u ∈ D(L) имеет, как отмечалось, m обобщенных про-
изводных, и, следовательно, граничные значения u, а также производных, входящих в (11),
определены (ср. п. 5.2 гл. 1). Заменяя в левой части (10) L−1 f на u, реализуя функционалы
lk (f ) в виде скалярных произведений (лемма Рисса), замечая, что в нуле значения L−1 C f с
производными до порядка m − 1 равны нулю, и заменяя f на Lu, приходим к системе усло-
вий (11).
Лемма 7. Вполне обратимое сужение L ⊂ L является расширением соответствующе-
го минимального оператора L0 тогда и только тогда, когда элементы {qk } в формуле (11)
принадлежат ядру оператора L t.
m−1 b
u(j) 0 − Ljk (u)0 = 0, j = 0, 1, . . . , m − 1. (12)
0
m
L(D)u ≡ ak Dk u = f. (1)
0
(для общей операции (1) соответствующей заменой можно убрать член am−1 Dm−1 ).
Утверждение 1. При |ρ| → ∞ линейно независимые решения уравнения
D 2 u + a(x)u + ρ2 u = 0 (3)
Аналогично
Γ2 (u1,ρ ) = ρ1 {c2 + O(1/ρ1 ) + ebρ1 [b2 + O(1/ρ1 )]},
c1 d2 − c2 d1 = 0, (4)
Равенство (5) получается, очевидно, просто приравниванием нулю главной части опреде-
лителя ∆. Аккуратное доказательство наличия соответствующих нулей ∆ использует теорему
Руше [40].
Если учесть, что ρ2 = −ρ1 = ρ, то получим ρ = b−1 kπi, k = 0, ±1, . . . , т.е. множество
собственных значений при сделанных предположениях асимптотически совпадает с собствен-
ными значениями задачи
u0 = ub = 0
для простейшей операции D2 .
Условие (4) не является необходимым для возможности выделения главной части ∆. В
теории Биркгофа вводится понятие нормированных граничных условий (при c1 d2 − c2 d1 = 0
граничные условия (Г) станут нормированными после исключения в одной из строк произ-
водных u 0 , u b ) и определяется класс регулярных условий, позволяющих описать асимптоти-
ку собственных значений и собственных функций. Соответствующие построения используют
выделение доминирующей экспоненты среди набора eρωk x , k = 1, . . . , m, аппроксимирующего
фундаментальную систему решений уравнения (L(D) + ρm )u = 0 (см. замечание к утвержде-
нию 1). Регулярность условий (Г) обеспечивает полноту в H(V ) системы собственных функций
оператора LΓ (D) (см. п. 2.3).
Позднее было введено понятие сильно регулярных граничных условий, позволяющих
утверждать, что собственные функции соответствующей задачи образуют базис Рисса
в H(V ) [39].
2.3. Спектр операторов, порождаемых D2 . Приведем теперь для операции D2 спек-
тральные характеристики всех задач, определяемых граничными условиями. В приводимых
ниже построениях решающую роль играет то соображение, что результаты разд. 1 позволяют
утверждать существование лишь четырех существенных параметров (в отличие от восьми,
входящих в (Г)), варьирование которых должно давать все порождаемые D2 неэквивалентные
операторы.
В п. 2.2 была приведена запись общих однородных граничных условий, присоединяемых
обычно к D 2 на интервале (0, b). Согласно принятой нами точке зрения будем считать, что
условия (Г) определяют соответствующий оператор DΓ2 : H → H — замыкание в H опера-
ции D 2 , заданной первоначально на функциях класса C 2 , подчиненных условиям (Г). Наша
задача заключается в изучении характера разрешимости интегрируемого в квадратурах урав-
нения
Lλ (Γ)u ≡ DΓ2 − λ u = f (6)
∆(ρ, Γ) = 0 (8)
уравнения (8). Ранг матрицы левой части (8) при ρ = ρk равен нулю. Каждому собствен-
ному значению соответствует пара собственных функций, которые естественно выбрать в
виде ϕk = sin( 2kπ b x), ψk = cos( b x). Точка λ = 0 — собственное значение. Оператор L(Γ)
2kπ
граничная задача является возмущенной задачей Неймана. Это означает, что при достаточно
больших значениях |ρ| все корни (8) лежат в соответствующих окрестностях (уменьшающихся
с ростом |ρ|) корней, даваемых формулой (10). Аккуратное доказательство этого утверждения,
использующее теорему Руше, является частным случаем рассмотрений, приведенных, напри-
мер, в [40]. Как указывалось, регулярность (по Биркгофу) граничных условий гарантирует
при отсутствии кратных корней полноту системы собственных функций. При наличии крат-
ных корней полной будет система собственных и присоединенных функций [7] (число кратных
корней в данном случае обязательно конечно).
Обратимся к виду граничных условий, соответствующих данному случаю и некоторым
специальным подслучаям. Предположение B = 0 позволяет привести условия (Г) к виду
u 0 = a1 u0 + b1 ub , u b = a2 u0 + b2 ub . (11)
b1 = a2 , b2 = a1 . (12)
(D 2 − λk )u
k = uk .
Дополненная таким образом система уже будет полна (см., например, [14]).
2б. A = 0. При η = 0, ±1 соответствующий член в (13) дает возмущение, не меняющее
качественной картины. Но при наличии кратных корней даже малое возмущение снимает
“вырождение” и приводит к двойной цепочке собственных значений и собственных функций.
Обратимся к граничным условиям. Предположение B = 0 позволяет привести их к виду
a1 u0 + b1 ub = 0,
(14)
c2 u 0 + d2 u b = a2 u0 + b2 ub ,
причем E = a1 d2 + b1 c2 = 0. Предположение A = 0 означает, что в (14) можно положить
a2 = b2 = 0. Тогда наш оператор D2 можно рассматривать как произведение D2 = D1 D2 двух
операторов (вообще говоря, некоммутирующих) первого порядка, где D1 определяется первым
из условий (14), а D2 — аналогичным условием с заменой a1 на c2 и b1 на d2 . При a1 d2 −b1 c2 = 0
будем иметь квадрат соответствующего оператора. Случай A = 0 (или a22 + b22 = 0) можно
рассматривать как возмущение указанной ситуации.
3. B = E = 0, A = 0 произвольно. Случай этот (при D = 0) с точки зрения распределения
корней уравнения (8) является наиболее сложным. Уравнение (8) приводится в этом случае к
виду
D
eρb − e−ρb − 2ρ = 0. (15)
A
Общие результаты, относящиеся к распределению нулей целых функций (ср. [33]), позволяют
утверждать существование бесконечной последовательности корней уравнения (15) с един-
ственной предельной точкой на бесконечности и полноту системы собственных функций опе-
ратора L(Γ). Таким образом, регулярность по Биркгофу (включающая требование D = 0 при
B = E = 0) в рассматриваемом простом случае не является необходимой для полноты.
Соответствующие граничные условия могут быть записаны в виде двухпараметрического
семейства
u0 + βub = 0, ub + γu 0 + βγu b = 0,
где D = γ(1 − β 2 ) = 0, а в остальном выбор β, γ произволен. При β = 0, γ = −1 соответству-
ющая задача была, как указано в [14], изучена С. Гофманом. При D = 0 спектр совпадает со
спектром задачи Дирихле. Точка λ = ρ2 = 0 регулярная.
4. B = E = A = 0, D произвольно. Вопрос о корнях уравнения (8) теперь тривиален и
достаточно провести анализ соответствующих граничных задач.
Граничные условия приводятся к виду
γu0 + βub = 0, k(γu 0 − βu b ) = 0,
(16)
D = k(γ − β)(γ + β).
3. НЕСТАНДАРТНЫЕ ЗАДАЧИ
x
u= Dq−1 f ≡ f (ξ) dξ + (q, f ), (1)
0
(1 + q)u(0) − qu(b) = 0.
b
∗
l g= g dξ · ϕ(x). (2)
0
т.е. второй сомножитель в этом скалярном произведении равен нулю почти всюду. Но если
q∈/ AC, то это возможно лишь при условии
b
g dξ = 0. (4)
0
Следовательно, функция G(x) = xb g dξ = 0 почти всюду и норма g в H равна нулю, что и
доказывает первую часть утверждения.
Переходя к доказательству второй части, заметим, что, поскольку из (4), как отмечено,
немедленно следует g = 0, можем считать, что равенство (4) не выполняется. Тогда (3) влечет
q ∈ AC и выполнение почти всюду равенства q (x) = g(x)( 0b g dξ)−1 , т.е. g = αq .
Замечание. Поскольку одновременно q(0) = −1, q(b) = 0, можем непосредственной под-
становкой проверить, что всякий элемент g указанного вида удовлетворяет равенству (3) при
любом f .
b
v(x) = [g − v(0)ψ1 − v(b)ψ2 ] dξ + c, c = v(b), (6)
x
Dq u − λu = g (10)
сводя исследование спектра Dq к исследованию спектра (Dq )−1 . Характер связи соответству-
ющих спектров нам известен (п. 1.5 гл. 2)
На оператор Dq−1 естественно смотреть как на возмущение простейшего вольтеррова опе-
ратора ограниченным одномерным оператором (функционалом). При q = 0, −1 оператор Dq−1
просто вольтерров (Dq задается условиями Коши), а при q = const = 0, −1 оператор Dq−1
вполне непрерывный с чисто точечным спектром и полной системой собственных функций.
Замечание. Сказанное выше дает простейший пример неустойчивости свойства “воль-
терровости”: свойство это нарушается при возмущении одномерным оператором, сколь угодно
малым по норме (можно взять q сколь угодно малой).
Рассмотрим случай q = const. Поскольку при любом q ∈ H оператор Dq−1 вполне непре-
рывен и нуль принадлежит для него либо непрерывному, либо остаточному спектру (в зави-
симости от свойств Dq ), вопрос о спектре сводится к вопросу о собственных значениях. Если
h ∈ H — собственный элемент, то равенство h − λDq−1 h = 0 влечет h ∈ C 1 , Dh − λh = 0, т.е.
h = ceλx . Предполагая c = 0 и используя (11), получим
⎡ x ⎤
b
eλx − λ ⎣ eλξ dξ + q(ξ)eλξ dξ ⎦ = 0,
0 0
или
b
q(ξ)eλξ dξ = λ−1 .
0
где q(x) — заданная функция (принадлежащая D(D)). t v − λv = 0 влечет
Равенство D 0
x
v(x) = [v(b) − v(0)] e(x−ξ)λ q(ξ) dξ + v(0)e−λx , (12)
0
откуда
v(b)[1 − η(λ)] + v(0)[η(λ) − e−λb ] = 0, (13)
отличен от нуля при λ = 0. Одновременно нули этого определителя суть собственные значения
оператора D t . Если λ — собственное значение и v(b) = kv(0), k = 1, то (12) дает вид соот-
0
ветствующей собственной функции (определенной, естественно, с точностью до постоянного
множителя).
3.4. Специальные задачи. Укажем теперь, что развитый подход позволяет с единой
точки зрения взглянуть на некоторые “нестандартные” задачи для уравнений в частных про-
изводных, рассматривавшиеся рядом авторов. Моделями таких задач в одномерном случае
оказываются те или иные “неправильные” расширения или сужения, приводимые ниже.
А. Уравнение, содержащее построенное выше расширение минимального оператора, вида
t v ≡ −Dv
D + ψ1 (x)v(0) + ψ2 (x)v(b) = g(x)
0
(ψ1 , ψ2 заданы), решение которого дает формула (6), является прототипом так называемых
нагруженных уравнений, встречающихся в математической физике [41].
Б. Присоединим к уравнению Du = f так называемое многоточечное условие
n
µk u(hk ) = 0, h0 = 0, hn = b, hk+1 > hk . (14)
0
Выписывая решение, без труда находим, что условие (14) эквивалентно выбору в качестве q(x)
(входящей в (1)) ступенчатой функции: при x ∈ (hk−1 , hk ) должны иметь
(ср. (10) из разд. 1). Выписывая снова решение задачи, видим, что условием полной обрати-
мости является в этом случае необращение в нуль определителя
µ − 1
ε
.
ν − 1 b − δ − νb
Глава 4
ДИФФЕРЕНЦИАЛЬНО-ОПЕРАТОРНЫЕ
УРАВНЕНИЯ
ВВЕДЕНИЕ
V = Vt × Vx , H = Ht ⊗ Hx , (1)
99 7*
100 Глава 4. ДИФФЕРЕНЦИАЛЬНО-ОПЕРАТОРНЫЕ УРАВНЕНИЯ
а A : Hx → Hx — некоторый П-оператор (п. 3.3 гл. 2). При сделанных предположениях иссле-
дование определяемого задачей (L), (Г) (далее задача L–Г) оператора L и соответствующего
оператора L−1 сводится по существу к исследованию оператора, задаваемого формулой (5)
разд. 1 гл. 2, в которой числовой параметр λ заменен на оператор A. Но нужные нам утверж-
дения уже не могут быть теперь получены автоматически из рассмотрений типа приведенных
в п. 3.2 гл. 2. Хотя получаемый результат выражается утверждением о том, что свойства L
исчерпывающим образом характеризуются свойствами оператора A (или exp(bA)), соответ-
ствующее доказательство требует ряда вспомогательных построений.
В данном разделе мы займемся осуществлением этих построений, а в качестве итога приве-
дем набросок классификации возникающих ситуаций, продолжая аналогичные рассмотрения,
относившиеся к П-операторам (п. 3.4 гл. 2).
1.2. Спектр. В соответствии с определениями входящих в (L) операторов элемент u ∈ H
будем называть решением задачи L–Г, если существует последовательность гладких функций
ui (x, t), сходящаяся в H к u, такая, что ui 2π-периодичны по x, удовлетворяют условиям (Г)
по t и
L(D)ui → f (сходимость в H) при i → ∞
то для задачи L–Γ аналогичную роль играет цепочка обыкновенных дифференциальных урав-
нений
Dt us − A(s)us = fs , s∈S (1)
(мы сохраняем обозначения п. 3.3 гл. 2), где us = us (t), fs = fs (t) — зависящие от t коэффи-
циенты разложений
u= us (t)eis·x , f= fs (t)eis·x , (2)
s∈S s∈S
usk ≥ kfsk , k = 1, 2, . . . ,
то оператор L−1 существует, задан на плотном множестве (на конечных суммах вида (2)),
но является неограниченным. Чтобы убедиться в этом, достаточно рассмотреть для уравне-
ния (L) последовательность правых частей вида {fsk (t) exp(isk · x)}.
Dt − A − λ = Dt − (A + λ) (A + λ — снова оператор),
Покажем, что норма решений uk задачи L–Г при правых частях вида (5) неограниченно растет
при k → ∞.
Вид uk при правых частях (5) дается формулой
e2brk − 1
vk 2t = . (7)
2rk |Ak |2 |µ − ebAk |2
Теперь нужно заметить, что рост (при r → −∞) числителя в (8) не может быть скомпенсиро-
ван ростом знаменателя (за счет наличия слагаемого 2rk qk2 ), поскольку r, q — фиксированные
полиномы. Но тогда vk 2t → ∞ при k → ∞.
Случай µ = ∞ может быть, очевидно, рассмотрен аналогично. Если же теперь µ = 0, 1, ∞,
то для достаточно больших k
0 < η1 ≤ |Ak |2 ≤ η2 < ∞.
Тогда, отбрасывая в знаменателе (7) множитель |Ak |2 и замечая, что |rk |−1 |e2brk − 1| ≥ α > 0
(поскольку для достаточно больших значений k |e2brk − 1| ≥ δ1 > 0, |rk | < N ), видим, что
vk 2t растет вместе с |µ − ebAk |−2 .
Из доказанных лемм 1–4 немедленно следует теорема 1.
Многочисленные применения доказанной теоремы будут рассмотрены в п. 1.4, 1.5 при
изучении различных типов операторов L. Пока ограничимся некоторыми следствиями, выяс-
няющими особое положение для уравнения (L) задачи Коши. Как и выше, без оговорок будем
использовать запись µ = ∞ для обозначения условия ut=0 = 0.
Следствие 1. При µ = 0, ∞ и произвольном П-операторе A точечный спектр опера-
тора L пуст.
Утверждение следует из того, что точки 0, ∞ не могут принадлежать P σT .
Следствие 2. При µ = 0, ∞ либо все точки (конечные) плоскости C принадлежат ρL
(если 0 или ∞ принадлежат ρT ), либо все точки C принадлежат CσL (если 0 или ∞ при-
надлежат CσT ).
Утверждение следует из того, что принадлежность точки нуль (бесконечность) множеству
ρT или CσT не зависит от замены A(s) на A(s) + λ.
Очевидна связь следствия 2 с наличием для решений задачи Коши “энергетических не-
равенств”, справедливость которых не зависит от вида “младшей части” (п. 5.4 гл. 1, п 1.2
гл. 3).
В связи с замечанием, приведенным после формулировки теоремы 1, укажем что при
µ = 0, ∞ множество P σL может быть описано формулой
−A(s) + b−1 [ln |µ| + i arg µ + 2kπi], s ∈ S, k = 0, ±1, ±2, . . . (9)
Для непосредственной проверки достаточно воспользоваться записью решения уравнения
Dt v(t)−λv(t) = g при условиях (Г) с помощью разложения по соответствующей полной системе
собственных функций (формулы (6), (7) из разд. 1 гл. 2) в сочетании с разложениями (2).
1.3. Специальные граничные условия. Прежде чем использовать результаты п. 1.2
для анализа тех или иных конкретных операций с частными производными (чем мы займемся
позднее), рассмотрим некоторые вопросы общего характера.
Сохраним обозначения и предположения п. 1.2. Из основной теоремы п. 1.2 немедленно
следует, что всякий раз, когда резольвентное множество оператора T = exp(bA) (A — П-опе-
ратор, T : Hx → Hx ) непусто, существуют правильные операторы, порождаемые операцией
L(D) ≡ Dt − A(−iD) (10)
и граничными условиями по t вида
µut=0 − ut=b = 0. (11)
Но по аналогии с утверждением 4 разд. 3 гл. 2 нетрудно установить следующий факт.
Утверждение 1. При n = 1 множество ρT всегда непусто; при n > 1 существуют
операторы A такие, что σT заполняет всю комплексную плоскость C.
Доказательство. При n = 1 утверждение тривиально. Для доказательства второй части
утверждения достаточно обратиться к представлению P σL в форме (9). Если 2π
b
A(s) = s1 +
+αs2 + iβs2 (α, β иррациональные), множество значений функции
2
b
bA(s) + 2kπi = 2π A(s) + ik
2π
(значения s, k как в формуле (9)) плотно на C, как это следует из доказательства утвержде-
ния 4 разд. 3 гл. 2.
Итак, при n ≥ 2 существуют П-операторы A такие, что при любом выборе µ в услови-
ях (11) каждая точка комплексной плоскости принадлежит либо точечному, либо непрерывно-
му спектру соответствующего оператора L : H → H. Тем не менее, обращаясь к рассуждениям,
использованным в п. 3.3 гл. 1, нетрудно убедиться, что при любом П-операторе A должны
существовать такие граничные условия по t (т.е. условия на u(t, x) при t = 0, b), что опреде-
ляемый ими оператор L : H → H правильный. Приведем соответствующее рассмотрение.
Утверждение 2. При любом П-операторе A для оператора L0 : H → H, определяемого
операцией L(D) вида (10) и условиями по t
ut=0 = ut=b = 0, (12)
и аналогичную оценку можно записать исходя из второго равенства (13). Таким образом,
пользуясь первым из равенств (13) при Re As ≤ 0 и вторым при Re As > 0, немедленно убеж-
даемся в равномерном по s ∈ S выполнении неравенств (Φs ), что и влечет существование
ограниченного оператора L−1
0 .
Нетрудно теперь догадаться, что “t-минимальный” оператор L0 , определенный в утверж-
дении 2, должен играть роль минимального оператора из п. 3.3 гл. 1 (будучи “квазиминималь-
ным” в терминологии гл. 6). В качестве “t-максимального” оператора мы возьмем оператор L̃,
порождаемый операцией L(D) на функциях, свободных от каких-либо условий по t. Посколь-
ку в рассматриваемой ситуации заведомо имеет место эквивалентность слабого и сильного
определений операторов L0 , L̃, пользуясь конструкциями п. 3.3 гл. 1, немедленно получаем
Утверждение 3. Справедливо равенство R(L̃) = H.
Утверждение 4. Существует правильный оператор L такой, что L0 ⊂ L ⊂ L̃.
Теперь, однако, в отличие от общей ситуации гл. 1 мы сможем при любом П-операторе A
явно описать класс граничных условий по t, определяющих L. Прежде чем переходить к та-
кому описанию, отметим два утверждения, вытекающие из результатов разд. 1 гл. 3 и п. 1.2
настоящей главы.
Пусть Ls : Ht → Ht , t ∈ (0, b), — некоторый оператор, порождаемый обыкновенной диф-
ференциальной операцией Dt − A(s). Набор таких операторов при s ∈ S порождает, очевид-
но, оператор L : H → H (с соответствующей областью определения), если условиться, что
Lu = s∈S Ls us eis·x , где для u использовано представление (2).
Полином R(s) обладает сильным С-свойством (В-свойством), если (С) (одно из соотноше-
ний (В)) выполняется при s ∈ Rn . Приведенные определения были прокомментированы в
п. 3.4 гл. 2.
Называя уравнение (L)
Lu ≡ (Dt − A)u = f, (L)
рассматриваемое вместе с условиями (Г)
µut=0 − ut=b = 0, (Γ)
“задачей L–Г”, будем называть эту задачу правильной, если правильным является соответ-
ствующий оператор L (0 ∈ ρL или µ ∈ ρT ).
Полиномам R(s), Q(s) однозначно соответствуют некоторые самосопряженные операторы
R, Q, определяемые как соответствующие П-операторы, и можно говорить о спектрах σR, σQ
и т.п. Наличие у R(s) В-свойства обеспечивает расположение σR на луче вещественной оси
(или расположение σA в соответствующей полуплоскости) и является необходимым и доста-
точным условием правильности либо прямой, либо обратной задачи Коши для L. Отсутствие
при этом у R сильного В-свойства говорит о неправильности соответствующей задачи Коши
в некомпактном случае (т.е. при замене Tn на Rn ), соответствующем непрерывному спектру
(к примеру, полином s21 (s2 + α)2 + s1 при нецелом α обладает В-свойством, но не обладает
сильным В-свойством).
Дополнительное наличие С-свойства является необходимым условием устойчивости пра-
вильной задачи относительно возмущений оператора A. Если R обладает С-свойством, не об-
ладая В-свойством, можно всегда гарантировать наличие достаточного числа регулярных зна-
чений µ ∈ ρT , µ = 0, ∞. Отсутствие при этом сильного С-свойства говорит о специфичности
соответствующей задачи для компактного случая. Наконец, отсутствие у R обоих свойств В
и С может привести к ситуации, в которой множество ρL пусто.
Переходя к рассмотрениям, включающим кососимметричную часть Q оператора A, усло-
вимся называть правильную задачу L–Г устойчивой относительно возмущений оператором
A0 = R0 + iQ0 , если существует δ > 0 такое, что для любого оператора вида
Dt − (A + εR0 + iηQ0 )
задача L–Г остается правильной при |ε| + |η| ≤ δ (в отличие от п. 3.4 гл. 2 теперь удобнее
различать возмущения R и возмущения Q).
При выяснении влияния свойств Q на спектр T особую роль играют окружности Os :
L(D) ≡ Dt ± D12 + D2 .
L(D) ≡ Dt + Dx .
Lu ≡ A0 Dt u + A1 u = f (1)
L(D) ≡ Dx Dt .
Lλ u ≡ Dx Dt u − λu = f (2)
по t. Предполагая, что f ∈ H(V ), определим решение задачи (2), (Г) как элемент u ∈ H,
удовлетворяющий уравнению (2), в котором оператор Lλ : H → H понимается как замыкание
в H операции Lλ (D), заданной первоначально на функциях, обладающих непрерывной про-
изводной Dx Dt и удовлетворяющих указанным выше граничным условиям в классическом
смысле.
Если u(x, t) — гладкое решение задачи (2), (Г), то, используя наше стандартное представ-
ление
u= us (t)eix·s , s ∈ S,
и аналогичное представление для f (x, t), получим для us цепочку равенств
µ − exp(bλ/is) = 0 (4)
по формуле, аналогичной (5) из п. 1.3 гл. 2. Выполнение условия (4) влечет автоматически
равномерное по s ∈ S выполнение неравенств (Φs ) из разд. 1 (следствие одномерности опе-
ратора A0 ). Если же λ = 0 таково, что при некотором s ∈ S условие (4) нарушается, то
соответствующая функция exp(λt/is + isx) собственная.
При λ = 0, s = 0 значение u0 определяется равенством
но при этом u0 (t) не будет, вообще говоря, удовлетворять условиям (Г) (если не подчинить
специально этим условиям функцию f0 ).
Наконец, при λ = 0, s = 0 функция u0 (t) остается произвольной, а соответствующее урав-
нение в (3) разрешимо лишь при дополнительном условии f0 (t) = 0.
При µ = 0, λ = 0, s = 0 все уравнения (3) заведомо однозначно разрешимы, а случай λ = 0,
s = 0 снова приводит к уравнению (5).
Существенное отличие условия µ = 0 от “регулярных” условий (Г) проявляется теперь
в том, что точка λ = 0 принадлежит P σL, а соответствующее пространство собственных
функций бесконечномерно и состоит из всех функций вида u(t) (точнее, вида u(t) ⊗ 1; см.
п. 3.2 гл. 2).
Случай µ = ∞ рассматривается аналогично.
Проведенные рассмотрения позволяют дать исчерпывающее описание спектра оператора
L : H → H, порождаемого операцией L(D) и условиями (Г).
Теорема 1. При µ = 0, ∞ спектр определенного выше оператора L : H → H является
чисто точечным, а множество собственных значений описывается равенством
is
λs,k = [ln |µ| + i arg µ + 2kπi], s, k = 0, ±1, . . . (6)
b
При µ = 0, ∞ единственной точкой спектра оператора L является точка 0 ∈ P σL; со-
ответствующее пространство собственных функций состоит из всех функций вида u(t)⊗1.
Доказательство. К приведенным выше рассуждениям остается добавить, что при фик-
сированных регулярных (не принадлежащих описанному спектру) значениях λ использованное
в разд. 1 доказательство существования и единственности обобщенного решения при равно-
мерном по s ∈ S выполнении неравенств (Φs ) из разд. 1 очевидным образом применимо и в рас-
сматриваемой ситуации. Действительно, определение u0 (t) из равенства (5) при построении
гладкой аппроксимирующей последовательности функций, удовлетворяющих условиям (Г),
ничему не мешает, поскольку в аппроксимирующей (в H(V )) последовательности для правых
частей всегда можно считать функции f0,i (t) (или даже fi (t, x)) удовлетворяющими услови-
ям (Г).
Замечание. Как и в замечаниях к основной теореме разд. 1, отметим, что формула (6),
относящаяся к случаю µ = 0, ∞, является иллюстрацией классического утверждения: “спектр
произведения коммутирующих операторов есть прямое произведение их спектров”.
Сделанное замечание показывает “естественность” выбранного нами подхода (способа
определения решения уравнения (2)) с точки зрения включения задачи (2), (Г) в теорию опе-
раторов в H.
Очевидно, что и установленные свойства задачи Коши связаны со спектральными харак-
теристиками операторов Dx , Dt при соответствующих граничных условиях. Но применимой
к этому случаю абстрактной теоремы не известно.
Чтобы несколько приблизить проведенные рассмотрения к изучению общего объекта (1),
добавим в (2) “младшие члены”, т.е. рассмотрим вместо уравнения (2) уравнение
Lλ u ≡ (Dx Dt + a1 Dt + a2 Dx − λ)u = f, (7)
где a1 , a2 — некоторые постоянные. Тогда уравнения (3) заменятся уравнениями
(is + a1 )Dt us + (a2 is − λ)us = fs . (8)
К уравнениям (7), (8) можно снова применить приведенную выше схему рассуждений.
При этом бросается в глаза очень сильное влияние членов, которые мы охарактеризовали как
“младшие”, на характер разрешимости задачи (7), (Г), в частности на характер разрешимо-
сти задачи Коши, что связано с наличием теперь и при условиях Коши (в задаче (7), (Г))
точечного спектра.
Отмеченное явление сильного влияния “младшей части” хорошо известно в классической
теории так называемых характеристических задач (см. замечание в начале данного пункта).
С соответствующими усложнениями приведенная схема переносится, очевидно, и на общее
операторное уравнение (1).
2.3. Свойства решений и возмущения. Вернемся снова к рассмотрению простейшего
уравнения
Lu ≡ (Dt − A)u = f (L)
при условиях
µut=0 − ut=b = 0, (Γ)
сохраняя все предположения разд. 1, и выясним прежде всего дифференциальные свойства
решений правильных задач L–Г.
Под изучением дифференциальных свойств понимаются рассмотрения, аналогичные про-
веденным при доказательстве утверждения 6 разд. 3 гл. 2. К вопросу о дифференциальных
свойствах непосредственно примыкает вопрос о полной непрерывности оператора L−1 , а на-
личие для L−1 свойства полной непрерывности позволяет включить в рассмотрения операции
L(D) + M (D), получающиеся за cчет возмущения L(D) “младшими членами”, содержащими
зависящие от t, x коэффициенты.
Итак, пусть u(x, t) — решение правильной задачи L–Г. Тогда из оценок, использованных
при доказательстве леммы 2 разд. 1, немедленно следует, что для коэффициентов us (t) нашего
стандартного представления (2) разд. 1 функции u(x, t) справедливы неравенства
c
us t ≤ fs (t)t , s ∈ S, r(s) = 0, (9)
|r(s)|
где постоянная c уже не зависит от s. Для значений s, для которых r(s) = 0, неравенство (9)
должно быть просто заменено неравенством
lim |A(s)| = ∞.
|s|→∞
(L + M )u = f, (12)
где операторы L, M понимаются в указанном выше смысле. Полезно при этом отметить, что
в силу использованных соглашений оператор левой части (12) может быть непосредственно
определен обычным образом, т.е. как замыкание в H операции L(D)+M (D), рассматриваемой
первоначально на гладких функциях, 2π-периодических по xk и подчиненных условиям (Г)
по t.
Уравнение (12) эквивалентно в сделанных предположениях уравнению
(L + M )∗ = Lt + M t . (14)
T u = f, T : H → H, (15)
µ − exp[bA(x)] = 0 (17)
уравнение
Lu = f (18)
однозначно разрешимо при любом f ∈ H. Если же в некотором конечном числе точек
xj ∈ [0, 2π], j = 1, . . . , N, условие (17) нарушается, то нуль принадлежит CσL.
Доказательство. Первая часть утверждения следует из того, что при выполнении усло-
вия (17) решение уравнения (18) дается формулой (5) из п. 1.3 гл. 2 с заменой в ней λ на A(x).
Для доказательства второй части утверждения достаточно заметить, что та же формула
дает решение уравнения (18) и при нарушении условия (17) в точках xj , если правая часть f
подчинена дополнительно условию
L(D) ≡ Dt − ϕ(t)A,
Соответствующими решениями уравнения (18) будут, как это следует из (21), функции u(k)
вида
2
u(k) = [ek (b−t)t − 1]eikx ,
удовлетворяющие, очевидно, условиям u(k) t=0 = u(k) t=b = 0. При этом u(k) /f(k) → ∞ при
k → ∞.
Замечание. В связи с утверждением 6 уместно проиллюстрировать простейшим приме-
ром необходимость требования постоянства коэффициентов операции L(D) в общей теореме
существования правильных операторов (см. замечание 1 к теореме заключительной части
п. 3.3 гл. 1). Пусть ρ, ϕ — полярные координаты; V — круг ρ ≤ 1; a(ρ), u(ρ) — заданные
в V гладкие функции, не равные нулю тождественно, a(ρ) ≡ 0 при ρ ≤ 13 ; u(ρ) ≡ 0 при ρ = 1,
ρ ≤ 12 . Если теперь L(D) ≡ a(ρ)Dϕ , то u(ρ) ∈ D(L0 ) в V , L(D)u(ρ) = 0, т.е. оператор L−1
0 не
существует. Пример можно, разумеется, пересчитать в декартовых координатах. Он основан
на использовании “замкнутых характеристик” операции L(D), имеющихся в V .
дениях (относившихся к операции (20)) минимальный (по x) оператор D02 . Приведенное более
сильное утверждение, по-видимому, верно, но доказательство его наталкивается на трудно-
сти. Проблематику описанного типа мы сейчас и обсудим.
Вернемся к уравнению (L) п. 2.3:
и таких, что
uk /Luk → ∞, k→∞ (24)
(нормы в H). Это даст требуемый результат, поскольку условия (23) означают выбор в ка-
честве оператора, порождаемого aDx , соответствующего минимального оператора.
Рассмотрим сперва функцию
u(t, x) = (eϕ − 1)eiψ ,
где ϕ(t, x), ψ(t, x) вещественны и ϕ(t, x) удовлетворяет условиям (23). Тогда и u(t, x) будет
им удовлетворять. Имеем
Lu ≡ ϕt − aϕx + i(ψt − aψx ) eϕ+iψ − i(ψt − aψx )eiψ .
Потребовав обращения в нуль коэффициента при первой экспоненте, разделяя вещественные
и мнимые части, получим
ϕt − αϕx + βψx = 0, ψt − βϕx − αψx = 0.
Исключая ψ, получим уравнение
(α2 + β 2 )ϕxx − 2αϕxt + ϕtt = 0,
являющееся эллиптическим при β = 0. Существует, следовательно, положительное внутри
V = (0, b) × (0, 2π) решение этого уравнения, удовлетворяющее условиям вида (23) и условию
ϕ(b, x) = x(2π − x).
Взяв теперь последовательность
uk (t, x) = (ekϕ − 1)eikψ , k = 1, 2, . . . ,
убеждаемся в выполнении (24).
Но попытка применить сходный прием хотя бы к операции Lu ≡ Dt u − aDx2 u (теперь
условие правильности задачи L–C будет Re a ≥ 0) наталкивается на трудности [20].
имеет вид
t k1 (t−τ )
e − ek2 (t−τ )
u(t) = f (τ ) dτ ≡ I(t)f, (5)
k1 − k2
0
t
u(t) =
ek(t−τ ) (t − τ )f (τ ) dτ ≡ I(t)f, (5 )
0
а (6) — на (6 ):
u(t) = c1 ekt + c2 tekt + I(t)f. (6 )
Полезно заметить, что limk1 →k2 =k I(t) = I(t).
Основные рассмотрения настоящего раздела будут относиться (как и в разд. 1) к слу-
чаю, когда A, B суть П-операторы, и мы сохраним все ранее введенные обозначения. Для
изучения свойств уравнения (1) мы снова воспользуемся представлением u, f рядами вида (2)
из разд. 1 и рассмотрением получающихся цепочек обыкновенных дифференциальных уравне-
ний. Решения этих уравнений будут даваться формулами (6), (6 ) при значениях корней k1 (s),
k2 (s), зависящих от A(s), B(s), s ∈ S, т.е. от значений полиномов, порождаемых П-операто-
рами A, B.
Правильные операторы, порождаемые в сделанных предположениях операцией L(D), бу-
дут определяться теми или иными дополнительными условиями, позволяющими определить
значения постоянных c1 , c2 в формулах (6), (6 ). Наличие равномерных по s ∈ S оценок
L−1 ≤ M. (8)
(другими словами, будем рассматривать Dt2 как квадрат оператора Dt , определяемого первым
из условий (9)) и будем решать уравнение
Для доказательства леммы достаточно теперь проверить, что при некотором M0 > 0 для
любых A, B число µ в (9) может быть выбрано так, что для всех p одновременно
Но, поскольку
|z 2 + 2Bz − A| = |z − k1 | |z − k2 |,
где k1 , k2 — фиксированные комплексные числа, а все найденные нами собственные значе-
ния λp лежат на прямой Re z = b−1 ln |µ|, очевидна возможность выбора µ, обладающего тре-
буемыми свойствами (даже при произвольном наперед заданном M0 ).
Рассмотрим их отдельно.
π2
−p2 − B 2 (s) − A(s), p = ±1, ±2, . . . , s ∈ S.
b2
Дополнение C \ P σL к точечному спектру принадлежит либо целиком резольвентному
множеству ρL, либо целиком непрерывному спектру CσL оператора L.
Доказательство. Выполнение равенства
π2
λ + B 2 (s) + A(s) + p2 =0 (14)
b2
при некотором целом p = 0 (и фиксированном λ) эквивалентно выполнению при некотором
s ∈ S равенства ek1 (s)b = ek2 (s)b , где k1 , k2 вычислены согласно (3) при B = B(s), A = A(s) + λ.
Но тогда функция
ek1 t − ek2 t
us (t) = L−1
s fs ≡ I(t)fs − I(b)fs . (15)
ek1 b − ek2 b
Если |Re k1 (s)|, |Re k2 (s)| равномерно по s ∈ S ограничены или при |Re k1 (s)| → ∞,
|Re k2 (s)| → ∞ выполнено условие
L−1
λ : H → H, как нетрудно установить, вполне непрерывный и норма его определяется рас-
стоянием от λ до ближайшей точки спектра.
Для классической гиперболической операции (B = 0, A = − s2k ) условия Дирихле также
определяют правильный (в широком смысле, п. 2.4) оператор, т.е. дополнение к точечному
спектру является резольвентным множеством. Но при этом возникает типичное явление не-
устойчивости точечного спектра: при λ = 0, A = −s2 (n = 1) выполнение или невыполнение
при некоторых целых p (p = 0) равенства (14) pπ = bs зависит от соизмеримости или несоиз-
меримости b и π и нуль может быть сделан точкой спектра (или резольвентного множества) за
счет сколь угодно малого изменения параметра b (или замены A на (1 + ε)A при сколь угодно
малом ε).
Наконец, для операции
L(D) ≡ Dt2 − 2Dx2 Dt + Dx4 − Dy2 ,
рассмотренной в конце п. 3.3, дополнение к точечному спектру принадлежит непрерывному
спектру, а резольвентное множество пусто, т.е. условия (13) не определяют в этом случае
правильного оператора.
Подчеркнем, что возможность возникновения подобной ситуации (в которой дополнение
к точечному спектру, не являющемуся всюду плотным на C, принадлежит непрерывному
спектру) есть специфическая черта так называемых распадающихся условий (не содержащих
связи между значениями неизвестной функции при t = 0 и при t = b), к которым принадлежат
условия Дирихле. Для условий вида (9) при µ = 0, ∞ подобная возможность исключена.
3.6. Использование стандартных условий. Из приведенных рассмотрений следует,
что ни задача Коши, ни задача Дирихле не порождают правильных операторов (в использу-
емых предположениях) для таких, например, операций, как
Каждому комплексному числу A можем сопоставить числа m+ (A), m− (A), m0 (A) — числа
корней уравнения (2), для которых Re z > 0, Re z < 0 и Re z = 0 соответственно. При этом
возможны следующие различные случаи расположения корней уравнения (2) на комплексной
плоскости:
при m четном
при m нечетном
Говоря о присоединении условий (Γµ ), мы всегда будем подразумевать при этом, что µ = 0, ∞.
Теорема 2. Пусть оператор A нестабилен. Тогда, если
Глава 5
СПЕЦИАЛЬНЫЕ ЗАДАЧИ
ТЕОРИИ ОПЕРАТОРОВ
ВВЕДЕНИЕ
Данная глава примыкает в идейном плане к разд. 5 гл. 1, где возможности использования
элементов теории операторов при исследовании граничных задач были проиллюстрированы
путем рассмотрения уравнения Пуассона и простейшей гиперболической системы (разд. 1
данной главы непосредственно примыкает к п. 5.3 гл. 1, а разд. 3 соприкасается с объектом
п. 5.4 гл. 1).
Теперь мы собираемся применить модельные операторы и общую схему гл. 4 для исследо-
вания ряда специфических свойств задач, относящихся к случаям наличия в исходной диффе-
ренциальной операции вырождения порядка, изменения типа, зависимости от дополнительно-
го малого параметра и т.п. Упомянутые осложняющие обстоятельства подчеркнуты словами
“специальные задачи” в названии главы.
Соответствующая проблематика, ставшая за последние десятилетия весьма распростра-
ненной, изобилует большим количеством невыясненных вопросов. Наше изложение ограничи-
вается достаточно подробным разбором типичных ситуаций. Одновременно указываются ра-
боты, в которых близкие рассмотрения проведены в более сложных в техническом отношении
случаях. Работы эти вместе с тем могут служить иллюстрацией большого числа остающихся
белых пятен.
1. ВЫРОЖДАЮЩИЕСЯ УРАВНЕНИЯ
131 9*
132 Глава 5. СПЕЦИАЛЬНЫЕ ЗАДАЧИ ТЕОРИИ ОПЕРАТОРОВ
Аналогичное исследование для уравнений 4-го порядка (по t) проведено в [55]; для 3-го
порядка — в [61].
1.2. Пространства Wα . Нужные нам для исследования уравнения (1) гильбертовы про-
странства являются аналогами пространств п. 5.2 гл. 1.
При изучении одномерного варианта уравнения (1) удобно предполагать функции u(t) ве-
щественными. Определим над Ẇ 1 (0, b) (см. п. 5.2 гл. 1) новое скалярное произведение, полагая
b
{u, v}α = (t Dt u, Dt v) ≡
α
tα Dt uDt v dt, α ≥ 0. (2)
0
Ẇ 1 ⊂ Wα (3)
b
τ − 2 τ 2 Dτ u dτ.
α α
u(t) = −
t
Неравенство (4) показывает, что при α < 1 элементы Wα “удерживают” граничное зна-
чение ut=0 = 0. В то же время пример функции u = ln |ln t| показывает, что при α ≥ 1
конечность интеграла {u, u}α не обеспечивает конечности значений u(0).
Утверждение 2. При 0 ≤ α < 2 имеет место вложение Wα ⊂ Ht .
Для доказательства достаточно проинтегрировать по t неравенство (4).
− 21
Одновременно пример функции u(t) = t показывает, что при α > 2 конечность интеграла
{u, u}α не обеспечивает указанного вложения. Таким образом, желание ограничиться в (1)
случаем f ∈ Ht влечет предположение α < 2, которое мы в дальнейшем и будем предполагать
выполненным.
12
2h
−1
|ψh u − u, Wα | ≤ h tα u2 dt + |t 2 (ψh Dt u − Dt u), Ht |
α
h
⎧ 2h ⎫ 12 ⎧ 2h ⎫ 12 ⎧ 2h ⎫ 12
⎨ ⎬ ⎨ ⎬ ⎨ ⎬
|Ih | ≤ h−1 tα (Dt u)2 dt tα v 2 dt = o(1)h−1 t dt = o(1).
⎩ ⎭ ⎩ ⎭ ⎩ ⎭
h h h
b
|uh/2 − uh , Wα | = 2
tα |Dt (uh/2 − uh )|2 dt ≤
0
h 2h 2h
−2 α 2 −2 α 2
≤ 4h t u dt + h t u dt + tα (Dt u)2 η(t) dt,
h/2 h h/2
где η(t) — непрерывная ограниченная функция. Последнее слагаемое стремится к нулю уже
при α = α (если h −
→ 0), а остальные слагаемые заведомо стремятся к нулю при α > α, как
это следует из (4).
1.3. Самосопряженное уравнение. В данном пункте мы рассмотрим частный случай
одномерного уравнения (1)
t = 0. Например, функции вида t−p ϕ(t), где p < α − 1 (α > 1), а ϕ(t) — гладкая функция,
удовлетворяющая условию ϕ(b) = 0 (тогда в формуле (7) можно произвести интегрирование
по частям, что дает (Λ(t−p ϕ), v) = (f, v) при любой v ∈ Wα ).
Таким образом, с классической точки зрения при α ≥ 1 правильная постановка задачи для
уравнения (6) заключается в задании одного граничного условия при t = b. Второе условие
снимается. При α < 1 оба условия сохраняют смысл.
Отметим также, что для (6) общее решение уравнения Λu = 0 может быть записано в
явном виде через функции Бесселя. Одновременно может быть проведено вычисление соб-
ственных значений (и собственных функций), использующее условие u(b) = 0 и условие (4) на
поведение u(t) в окрестности нуля (см. [52, с. 99]; сформулированное там требование ограни-
ченности u(0) является излишне жестким).
1.4. Несамосопряженное уравнение первого типа. Рассмотрим теперь другой
частный случай уравнения (1)
b 2h b
1 1
(Dt u, uh ) = Dt u · ψh u dt = Dt u · (t − h) dt +
2
Dt u2 dt =
2h 2
0 h 2h
2h 2h 2h
u2 (t) 1 u2 (2h) 1
= (t − h) − u dt −
2
=− u2 dt ≤ 0.
2h h 2h 2 2h
h h
1 − α = β < 0, aβ −1 = −γ < 0
и заметим, что общее решение однородного уравнения (8) при t > 0 может быть записано в
виде
b
τ −α eγτ dτ + c2 ,
β
c1 (11)
t
t
β −τ β )
ũ(t) = [eγ(t − 1]f (τ ) dτ. (12)
0
lim ũ(t) = 0.
t−
→0
Доказательство. Разбив правую часть (12) на два слагаемых, заметим, что стремление
→ 0 интеграла 0t f dτ очевидно. Одновременно
к нулю при t −
2
t t
γtβ
e e−γτ β
f (τ ) dτ ≤ e2γtβ
e−2γτ dτ |f, Ht |2
β
0 0
t
−2γtβ −1
e−2γτ dτ,
β
(e )
0
t
β −τ β )
u(t) = [eγ(t − 1]f (τ ) dτ − ũ(b) при t>0 (13)
0
{u, vh }α = (−Dt tα Dt u, vh ),
Тогда по определению
L∗ v = g. (18)
Кроме того, поскольку L∗−1 = L−1∗ , полная непрерывность оператора L−1 влечет полную
непрерывность оператора L∗−1 .
Дальнейшая наша задача — исследование свойств определенного вышеуказанным обра-
зом обобщенного решения; при этом мы снова можем воспользоваться явным его представле-
нием.
Общее решение однородного уравнения (15) при t > 0 снова может быть представлено в
виде (11) с заменой γ на −γ. Одновременно частное решение уравнения (15) (в котором g
b
β −τ β )
ṽ(t) = [eγ(t − 1]g(τ ) dτ.
t
b
lim ṽ(t) = − g(τ ) dτ.
t−
→0
0
где
⎛ b ⎞−1
b
g(τ ) dτ ⎝ τ −α e−γτ dτ ⎠ ,
β
k=
0 0
и условием v(0) = 0, дает обобщенное решение уравнения (15) (с заменой g на ag). Обобщен-
ное решение является абсолютно непрерывной функцией, удовлетворяющей условиям
Действительно, как это следует из (19), функция v(t) “почти” дважды непрерывно диффе-
ренцируема и, кроме того, удовлетворяет условиям (20). Равенство (22) есть не что иное, как
равенство (17):
(Lu, v) = (f, v) = (u, g).
exp(i(x1 s1 + x2 s2 + x3 s3 ))
по t для любого k, если 0 ≤ α < 1, и для k = 1, если 1 ≤ α < 2, и при втором из условий (24),
если k = 2, существует и единственно при любой f ∈ H.
Замечание. Возможен и несколько иной подход к изучению общего обыкновенного диф-
ференциального уравнения (Tα ≡ Dt tα Dt )
b
u(t) = GA (t, τ )f (τ ) dτ, (27)
t
и пусть известно поведение функции Gz (t, τ ) на комплексной плоскости {z ∈ C}. Пусть, кроме
того, известно поведение резольвенты оператора A и оно согласовано соответствующим обра-
зом с поведением Gz . Тогда формуле (27) можно придать смысл и при замене числа A ∈ C на
оператор A.
Рассмотрения подобного типа удобнее всего проводить в рамках того или иного специ-
ального операционного исчисления (например, предложенного в гл. VIII в [19]). Оказывается
обычно возможным рассмотреть операторное уравнение (25) в более широких, чем сделанные,
предположениях. Но прозрачность соответствующих конструкций значительно меньше.
2. ТИПЫ ИРРЕГУЛЯРНОСТИ
где A1 , A2 : Hx −
→ Hx являются П-операторами, а α, β — некоторые константы. Таким обра-
зом, A(t), a(t) — ступенчатые функции, операторная и обычная соответственно. Уравнения
вида
Lu ≡ (Dt − A(t))u = f, (1)
Lu ≡ (a(t)Dt − A)u = f (2)
(во втором A : Hx −
→ Hx — снова П-оператор) с присоединенным к ним граничным условием
µut=0 − ut=b = 0 (3)
будем рассматривать как уравнения над H = Ht ⊗ Hx , считая операции левой части заданны-
ми первоначально на гладких функциях u(t, x), подчиненных условиям периодичности по x,
условиям (3) по t и требованию непрерывности при t = h. Замыкание этих операций в H
даст, как и в гл. 4, интересующие нас операторы L, L : H −
→ H. Уравнение (1) может теперь
служить примером наличия в L слабой, а уравнение (2) — сильной иррегулярности.
2.3. Слабая иррегулярность. Будем при изучении уравнений (1), (2) пользоваться
обозначениями, соглашениями и результатами п. 1.2 гл. 4. Используя для u(t, x), f (t, x) разло-
жения вида (2) указанного пункта, расщепим (1), сводя операторное уравнение к бесконечной
цепочке обыкновенных дифференциальных уравнений
и образуют в H базис, являющийся базисом Рисса тогда и только тогда, когда для всех
s ∈ S выполнено условие
|Re(αs − βs )| ≤ M < ∞ (9)
Теорема 2. Обобщенное решение уравнения (2) при условиях (3) существует и един-
ственно при любой f ∈ H тогда и только тогда, когда каждое из уравнений (11) однозначно
разрешимо при любой fs ∈ Ht и существует постоянная c, не зависящая от s, такая, что
для любого s ∈ S выполнены неравенства теоремы 1.
Доказательство снова дословно повторяет доказательство леммы 1 п. 1.2 гл. 4.
при условии (3) или (что для нас эквивалентно) соответствующего оператора Lt : Ht − → Ht .
Предположим дополнительно (см. п. 2.2), что α, β вещественны, α = 0, β = 0. Элементарные
формулы, дающие решение задачи (2), (3), позволяют немедленно получить
Утверждение 4. При выполнении условия
h b−h
γ≡ + =0
α β
либо (при µ = 1) точечный спектр оператора Lt заполняет всю комплексную плоскость C,
либо (при µ = 1) каждая точка C (конечная) принадлежит резольвентному множеству.
Утверждение 5. При условии γ = 0 точечный спектр оператора Lt дается формулой
Таким образом, вообще говоря (γ = 0), отличие от регулярного случая сводится и здесь
к замене b−1 на γ −1 . Разница снова становится существенной при переходе к изучению соб-
ственных функций.
Утверждение 6. Система собственных функций оператора Lt при γ = 0, 0 < h < b,
αβ < 0 заведомо неполна в Ht .
Доказательство. Заметим прежде всего, что система функций вида
2π
exp ik t , d > 0, k = 0, ±1, ±2, . . . , (14)
d
заведомо образует базис в каждом пространстве Ht (t0 , t0 + d1 ) (т.е. в пространстве L2 над со-
ответствующим интервалом) при условии |d1 | ≤ |d| и заведомо неполна в том же пространстве
при |d1 | > |d|, поскольку всякая функция, представленная рядом по системе (14), продолжа-
ется с интервала длины |d| по периодичности. Замечание сохраняет силу и при замене t в
формуле (14) на t + c.
Запишем теперь собственные функции нашей задачи в виде
⎧
⎪ 2kπi
⎪
⎪ 0 ≤ t ≤ h,
⎨ exp ϕ + γ t ,
uk (t) = k = 0, ±1, . . . ,
⎪
⎪ 2kπi
⎪
⎩ µ exp ϕ + (t − b) , h < t ≤ b,
γ
Возвращаясь к изучению уравнения (2) с помощью цепочки вида (11), заметим, что утверж-
дения 4–6 позволяют, основываясь на теореме 2, немедленно сформулировать соответствующее
утверждение и для оператора L : H − → H, как это было сделано в п. 2.3. Мы не станем на этом
останавливаться.
Отметим только, что формула (13) перейдет при этом в формулу λk,s = λk − A(s), s ∈ S,
а соответствующие формулы, дающие собственные функции оператора L, будут иметь вид
uk,s = uk (t)eis·x .
Отметим еще одну интересную черту, присущую случаю сильной иррегулярности. Опе-
ратор, сопряженный в смысле теории операторов с оператором Lt : Ht − → Ht , определяемым
левой частью (11), описывается с помощью так называемых трехточечных условий (ср. при-
мер Б п. 3.4 гл. 3), будучи задан на кусочно дифференцируемых функциях, претерпевающих
разрыв в точке t = h.
Заканчивая на этом рассмотрения некоторых простейших примеров иррегулярностей, от-
метим, что мы последовательно использовали точку зрения, позволяющую подчеркнуть раз-
ницу между случаями слабой и сильной иррегулярности. Нетрудно, однако, заметить, что при
несколько иной трактовке можно, например, отнести заключительный пример п. 2.3 в равной
степени и к п. 2.4 (достаточно положить A ≡ Dx2 , α = −1, β = 1 и т.д.).
Γ 0 U = ν0 (Γ0 )
(условия (Γ0 ) получаются обычно “снятием” части условий (Г), задача L0 –Γ0 ).
Основное предположение. Задачи Lε –Γ, L0 –Γ0 однозначно разрешимы при любых ν, ν0 , и
для решений справедливы неравенства
Uε − U −
→0 при ε −
→ 0.
Uε,s − Us −
→0 при ε−
→ 0. (7)
Uε − U =
2
= Uε,s ϕs − Us ϕs < δ +
(Uε,s − U )ϕ
s s
3
s s |s|≤N
и за счет выбора достаточно малого ε в силу (7) может быть получена оценка Uε − U < δ.
Необходимость для регулярного вырождения выполнения условия (7) достаточно очевид-
на.
Итак, пусть операторы M , A в (Lε ) порождаются теперь замыканием операций Dy2 , −Dy ,
рассматриваемых на гладких периодических (по y) функциях. Оператор B — умножение на
константу. Полагая Uε = (uε , vε ), присоединим к (9) граничные условия по x
uε x=0 = ν1 (y), uε x=b = ν2 (y), (Γ1 )
vε x=0
= ν3 (y), vε x=b
= ν4 (y) (Γ2 )
KU = 0. (11)
ε∆uε + Dx uε + Dy uε = 0 (12)
Dx u + Dy u = 0. (13)
и соответствующие представления для ν1 (y), ν2 (y), видим, что применение нашей обычной
схемы сводится к рассмотрению бесконечной цепочки уравнений
(D + is)us = 0, (17)
обращается в нуль и множители при νs для x ∈ [0, b], ε > 0, s ∈ S равномерно ограничены. Сле-
довательно, все уравнения (15) при выбранных граничных условиях однозначно разрешимы и
для решений справедливо неравенство uε,s ≤ c|νs | с некоторой постоянной c, не зависящей
от ε, s.
При фиксированном s и ε − → 0 поведение ξ1 , ξ2 характеризуется соотношениями
uε,s − uε −
→0 при ε −
→ 0.
(мы подставили в него значения ξ1,2 ), являющегося определителем системы уравнений, позво-
ляющей найти постоянные ck в представлении u = ck exp(ξk x) исходя из граничных условий.
Свойства этого определителя характеризуются поведением корней ξk,s , k = 1, . . . , 4, s ∈ S, и
выбором граничных условий. При использовании результатов [47] мы должны сделать оговор-
ку, что вхождение в граничные условия для uε,s (x) (индуцированные условиями (Γ2 ) для vs )
параметров ε, s, как нетрудно убедиться, не меняет изученных в [47] структурных свойств
указанного определителя. Это позволяет установить теорему.
Теорема 4. При каждом фиксированном ε задача (Γ1 ), (Γ2 ) для системы (9) постав-
лена правильно. В то же время при ε −
→ 0 не существует равномерной по ε оценки решений
системы (22), соответствующей первому из неравенств (5).
Действительно, из результатов [47] следует, что равномерная по ε, s оценка вида uε,s ≤
l
≤ c |νk,s | для решений системы (22) (т.е. для решений соответствующих уравнений 4-го
порядка) при выбранных граничных условиях (два условия при x = 0 и два условия при
x = b) имеет место тогда и только тогда, когда существуют постоянные M1 , M2 такие,
что корни характеристических уравнений при любых s ∈ S, 1 ≥ ε > 0 удовлетворяют (при
соответствующей нумерации) условиям
ξ1,s , ξ2,s ≥ −M1 , ξ3,s , ξ4,s ≤ M2 . (23)
Условия (23) выполняются, очевидно, в нашем случае для любого фиксированного ε > 0,
но в то же время при любом M1 первое из условий (23) нарушается при достаточно малых
ε > 0.
Замечание. Утверждение о правильности постановки задачи (Γ1 ), (Γ2 ) при фиксиро-
ванном ε > 0 не исключает возможной неразрешимости при некоторых ε (играющих роль
спектрального параметра) и некоторых s ∈ S граничных задач для (22) из-за обращения в
нуль основного определителя.
Теорема 4 дает интересовавший нас отрицательный результат для случая оператора K
вида (10).
3.4. Полная система. Перейдем к рассмотрению полной системы (1), (2). Рассмотрим
подробно случай оператора K вида (10). В прежних обозначениях можем записать получаю-
щуюся из (1), (2) цепочку уравнений в виде
εD 2 uε + Duε − εs2 uε + isvε + Dpε = 0,
εD 2 vε + Dvε − εs2 vε − isuε + ispε = 0, (24)
Duε + isvε = 0
(мы снова не указываем явно зависимость uε , vε , pε от s). К уравнениям (24) надо присоединить
граничные условия (Γ1 ), (Γ2 ). В целях упрощения выкладок положим
uε x=0 = 0, uε x=b = ν(y), vε x=0 = vε x=b = 0. (25)
Случай s = 0 снова требует отдельного рассмотрения, теперь несколько более вниматель-
ного. Наличие третьего из уравнений (24) порождает, как обычно, необходимость некоторых
условий согласования, которые в данном случае сводятся к требованию ν0 = 0 в разложении
ν(y) = s νs eisy . Значение p0,s = const остается произвольным. При s = 0, исключив vε , pε , по-
лучим для uε уравнение 4-го порядка. Соответствующее характеристическое уравнение имеет
вид
[ε(ξ 2 − s2 ) + ξ](ξ 2 − s2 ) = 0
и обладает корнями
1
ξ1,2 = ±s, ξ3,4 = − (1 ± 1 + 4ε2 s2 ). (26)
2ε
Покажем, что для достаточно малых ε > 0, s = 0 (что влечет |s| ≥ 1) D(s, ε) = 0, отку-
да следует однозначная разрешимость всех уравнений (24). Удобно считать b ≥ 1. Раскрыв
определитель по первой строке и заметив, что сумма отрицательных членов имеет вид (мы
считаем s ≥ 1) d1 = 2s(ξ3 − ξ4 )(1 − e−b/ε ), а среди положительных членов содержится член
вида d2 = (ξ3 + s)(ξ4 − s)e(ξ4 +s)b , получим
s
d1 + d2 > ( 1 + 4ε2 s2 − 2εs)es − 2 1 + 4ε2 s2 (1 + e−b/ε ) ,
ε
что и доказывает наше утверждение при s ≥ 1. Остается заметить, что при замене s на −s
определитель меняет знак.
Одновременно распределение знаков корней ξk (два положительных и два отрицательных
при всех s = 0, ε > 0) гарантирует согласно [47] равномерное по s, ε выполнение при услови-
ях (25) первого из неравенств (6).
Переходя к невозмущенной системе (получающейся из (24) при ε = 0) и снова исключая v, p,
присоединим к получающемуся уравнению 3-го порядка для us
условия
us 0 = 0, us b = νs , us b = 0. (29)
4. ЗАДАЧИ ОПТИМИЗАЦИИ
вместе с условием
µut=0 − ut=b = 0 (Γ)
(задача L–Г).
В другом варианте (в тех же предположениях) вместо условий (Г) используется условие
ut=0 − ut=b = µϕ(x) (Γϕ )
(задача L–Гϕ ).
Элемент f ∈ H в (L) и элемент ϕ ∈ Hx в (Γϕ ) предполагаются фиксированными. Ве-
щественный параметр µ считается “параметром управления”. Задача заключается в выясне-
нии существования и единственности значения µ∗ параметра µ, при котором “функция стои-
мости” — некоторый функционал J[uµ ], заданный на решениях приведенных задач, достигает
минимума.
4.2. Существование и единственность оптимизации. Задав некоторый элемент
z(x) ∈ Hx , определим на решениях uµ (t, x) уравнения (L) упомянутый выше функционал ра-
венством
J[uµ ] = (2π)−n uµ (b, x) − z(x), Hx (1)
(“задача с финальным наблюдением”).
Расщепляя обычным способом (разд. 1 гл. 4) уравнение (L) на бесконечную цепочку обык-
новенных дифференциальных уравнений (Ls ), как и в лемме 1 указанного раздела, можем
утверждать, что исходные задачи L–Г, L–Гϕ однозначно разрешимы при любой f ∈ H тог-
да и только тогда, когда однозначно разрешимы все уравнения соответствующих цепочек и
имеется равномерная оценка норм решений uµ,s .
Считая, что указанные условия однозначной разрешимости выполнены, и используя раз-
ложение (2) из разд. 1 гл. 4 для z(x), можем записать функционал (1) в виде
J[uµ ] = |uµ,s (b) − zs |2 . (2)
s∈S
оператора L : H −
→ H. В этом случае не все уравнения цепочки оказываются разрешимыми или
отсутствует равномерная по s ∈ S оценка норм uµ,s (t). Ввиду этого приходится дополнительно
указывать подмножество l ∈ R1 допустимых управлений µ ∈ l. Множество l зависит, как
нетрудно усмотреть, от спектральных характеристик оператора A : Hx − → Hx .
При использовании указанного ограничения доказательство существования оптимального
управления µ∗ ∈ l не вызывает существенных затруднений. Доказательство единственности
удается провести не во всех случаях (тривиальный результат: при z = 0, µ∗ = 0).
Интересно, что в некоторых примерах, даже при A = Dx2 (уравнение теплопроводности),
при соответствующем выборе z и f оптимизация достигается при µ∗ = 0, 1, ∞, т.е. при нело-
кальных условиях, отличных притом от условий периодичности. За подробностями отсылаем
читателя к упомянутой статье [54].
Глава 6
ВВЕДЕНИЕ
1.1. Предварительные замечания. В п. 1.2 устанавливается тот факт (сам по себе до-
статочно очевидный), что правильный оператор, заданный в некоторой области V ⊂ Rn (удов-
летворяющей нашим обычным требованиям), автоматически индуцирует некоторый правиль-
ный оператор в области V ⊂ V .
Воспользовавшись этим, можно установить существование правильного оператора, порож-
даемого заданной дифференциальной операцией с постоянными коэффициентами, в произволь-
ной ограниченной области V . Достаточно поместить эту область в параллелепипед больших
размеров, ограниченный плоскостями, параллельными координатным осям. В таком парал-
лелепипеде в предположении, что координатные оси не имеют характеристических направле-
ний (чего всегда можно добиться соответствующим поворотом осей), правильный оператор
описывается за счет конструкции, приведенной в п. 3.4 гл. 4. Это и дает доказательство за-
ключительной теоремы существования п. 3.3 гл. 1. Сказанное составляет содержание п. 1.3.
Последний пункт посвящен задаче описания правильного оператора, порождаемого произ-
вольной операцией с постоянными коэффициентами в фиксированном параллелепипеде, высе-
каемом плоскостями, параллельными координатным осям, без предположения о том, что оси
156
1. СУЩЕСТВОВАНИЕ ПРАВИЛЬНЫХ ОПЕРАТОРОВ 157
L(D) ≡ Dt − A, A = const,
L(D) ≡ A0 Dk + A1 Dk−1 + . . . + Ak ,
L : H(V ) −
→ H(V ), (2)
где {γkj } — ортогональная матрица. Вычисляя значение коэффициента, например, при (D1 )m
в новых переменных, будем иметь
D1α1 . . . Dnαn u = (γ11 )α1 . . . (γ1n )αn (D1 )m u + Lα,m (D )u ,
Существует, очевидно, бесконечное число способов выбора ортогональной матрицы {γkj }, при
котором |α|=m aα γ1α = 0.
Пусть теперь V — прообраз допустимой области V при отображении
ϕ: V −
→ V, (4)
ϕ∗ : H −
→ H .
считая, что u ∈ D(L) тогда и только тогда, когда ϕ∗ u ∈ D(L ). Уравнение Lu = f будет при
этом очевидным образом однозначно разрешимо для любого элемента f ∈ H.
Заметим далее, что если L0 , L̃ — минимальный и максимальный операторы, порождаемые
над H операцией L (D ), то, поскольку L(D), L (D ) связаны между собой отмеченным выше
классическим образом, а при определении L0 , L̃, L0 , L̃ использовано замыкание соответствую-
щих операций, заданных на гладких функциях, из (3), (5) немедленно следует справедливость
включений
L0 ⊂ L ⊂ L̃,
т.е. L — правильный оператор, порождаемый операцией L(D).
Сформулируем полученный результат в виде леммы.
Лемма 3. Пусть V — допустимая область, V — прообраз V при отображении (3)
и L : H −
→ H — правильный оператор, порождаемый операцией L (D ). Тогда оператор
L: H − → H, определяемый формулой (5), является правильным оператором, порождаемым
операцией L(D).
Окончательный результат рассмотрений настоящего пункта сформулируем в виде тео-
ремы.
Теорема. Если L(D) — произвольная дифференциальная операция с постоянными комп-
лексными коэффициентами и V — некоторая допустимая область в Rn , то всегда су-
ществует правильный оператор
L : H(V ) −
→ H(V ),
порождаемый операцией L(D).
Доказательство. Если операция L(D) приведенная, то нужный результат дается след-
ствием леммы 1.
Если L(D) — неприведенная дифференциальная операция, то (используя введенные ранее
обозначения и лемму 2) можем утверждать, что существует преобразование координат (3)
(поворот), сопоставляющее L(D) приведенную операцию L (D ), снова являющуюся операцией
с постоянными комплексными коэффициентами. Тогда существует оператор
L : H −
→ H ,
порождаемый операцией L (D ) над H (следствие леммы 1), являющийся правильным, и опе-
ратор
L: H −→ H,
задаваемый формулой (5), дает согласно лемме 3 правильный оператор, порождаемый опера-
цией L(D) над H(V ).
L−1
k ≤c (10)
(см. ниже леммы 6–8). Определим теперь оператор L : H(V ) −
→ H(V ), задав его на конечных
суммах вида (7), подчиненных дополнительному требованию uk ∈ D(Lk ), равенством
Lu = Lk uk ei(α1 +k)x1
|k|≤N
Отсюда следует, что гладкие финитные функции принадлежат области определения любой
степени указанного оператора D1 . Если теперь u ∈ D(L0 ), {ui } — соответствующая аппрок-
симирующая последовательность гладких функций (ui финитны, ui − → u, Lui −
→ g, сходимость
в H), то каждая из ui представима рядом вида (7), допускающим почленное дифференцирова-
ние (любого порядка) по x1 и почленное применение операторов Lk (функции uk (x2 , . . . , xn ),
будучи гладкими финитными, заведомо принадлежат D(Lk )). Следовательно, всякая функция
u ∈ D(L0 ) представима рядом (7), дающим решение (в указанном выше смысле) уравнения
Lu = f .
Заметим теперь, что описанное выше построение применимо в свою очередь к любой из
операций Lk (D). Таким образом, фиксировав вещественное число 0 ≤ α2 (k) < 1, взяв на
отрезке l2 = [0 ≤ x2 ≤ 2π] базис
На следующем шаге описанное построение может быть применено к операциям Lks (D)
и т.д.
Окончательный результат, который получается после n шагов, мы сформулируем в виде
двух лемм.
Лемма 5. Система экспонент ε(s), s ∈ S, вида
ε(s) ≡ ε(s1 , . . . , sn ) =
(11)
= exp i [α1 + s1 ]x1 + [α2 (s1 ) + s2 ]x2 + [αn (s1 , . . . , sn−1 ) + sn ]xn ,
где значения функций αk , k = 1, . . . , n, лежат в полуинтервале [0, 1), образует базис Рисса
в H(V ).
Лемма 6. Если базис (11) таков, что для заданной операции L(D) с постоянными
коэффициентами выполняется неравенство
то оператор L : H −
→ H, определяемый как замыкание в H оператора, заданного на конечных
суммах u = s us ε(s), |sk | ≤ Nk , k = 1, . . . , n, равенством
Lu = us L(D)ε(s),
s
n
|P [i(α + k)]| = |an | |[i(α + k) − ξp ]| ≥
p=1
n
≥ |an | ρ(α, F(ξp )) ≥ |an |(2n)−n .
p=1
Su = f (S)
Разбиравшиеся нами ранее примеры (п. 3.2 гл. 1, разд. 3 гл. 3) показывают, что при
конструировании порождаемых L(D) операторов S может быть реализована любая из пере-
численных выше (логически допустимых) возможностей.
Замечание. Следует дополнительно отметить, что установившейся терминологии, охва-
тывающей приведенные определения, не существует. Так, эпитет “правильный” заменяется
зачастую на “регулярный”, а “обратимый” — на “разрешимый”. Имеются и другие девиа-
ции.
Как указывалось в п. 2.4 гл. 4, при рассмотрении спектральных характеристик S удобно
иногда называть правильным в широком смысле оператором правильное сужение (расшире-
ние) S, порождаемое L(D), если резольвентное множество для него непусто.
Таким образом, в стандартном представлении (6) из разд. 3 гл. 1 надо в этом случае положить
q = b−1 x−1, т.е. построенное по такой схеме сужение оператора L̃ не описывается граничными
условиями.
В дальнейшем под K̃ всегда будем понимать квазимаксимальный оператор. Пусть S, T —
два сужения оператора K̃, удовлетворяющие приведенным выше требованиям и предположе-
нию
R(S) = R(T ) = R. (1)
(1 + Qσ K̃)vσ = w, vσ = (1 − Qσ K̃)w = w − Qσ f, Tσ vσ = Sw = f.
Q: H −
→ ker K̃, f−
→ x(q1 , f ) + (q0 , f ). (6)
при условии q1 = ξb , q0 = 0 в (6). При этом постоянная c0 в (8) та же, что в (7), т.е. соответствие
между D(S) и D(T ), даваемое (8), однозначно.
Приведенные примеры тривиальны. Единственный нетривиальный пример мы разберем
в п. 2.6. Ряд интересных содержательных конструкций, иллюстрирующих материал данного
пункта, можно найти в [37].
2.4. Специальные сужения. Чтобы ввести в рассмотрение в рамках определений п. 2.3
правильное сужение, определим связанный с K̃ квазиминимальный оператор K0 ⊂ K̃ как не-
который замкнутый оператор, для которого D(K0 ) плотно в H и существует ограниченный
обратный K0−1 . Соответственно правильным сужением оператора K̃ (правильным расшире-
нием K0 ) назовем замкнутый оператор S такой, что K0 ⊂ S ⊂ K̃.
Утверждение 5. В сделанных предположениях всегда существует естественное пра-
вильное ВО-сужение Kp ⊂ K̃ (порожденный K̃ правильный оператор).
Для доказательства достаточно положить
K0 на D(K0 ),
Kp =
K̃ на {H
ker K̃}.
x b
1
Kp−1 f = f dξ − f dξ
2
0 0
и D(Kp ) описывается граничным условием u0 + ub = 0.
Рассмотрим некоторую специализацию конструкций п. 2.3, относящуюся к правильным
сужениям. Снова предполагая на первом этапе, что правильные сужения S, T ⊂ K̃ обрати-
мы, и обращаясь к равенствам (2), видим, что требование совпадения S, T с K0 на D(K0 ),
вытекающее из правильности, влечет
Q = M π ∈ A(R), (9)
где M : R1 −
→ ker K̃, т.е. M ∈ A(R1 ). В результате получаем теорему.
Теорема 2. Пусть S — правильное сужение оператора K̃ и структура Q описыва-
ется равенством (9). Тогда Q-родственный S оператор T, определяемый равенством (5),
является правильным сужением оператора K̃.
Замечания. 1. В рамках определений п. 2.2 если K̃ = L̃, K0 = L0 , то R1 = ker L̃t и можно
соответствующим образом видоизменить описание структуры Q в (9).
2. Опять-таки в рамках определений п. 2.2 и разд. 3 гл. 1, если S — правильное сужение
оператора L̃, можно ввести следующее определение: элемент u ∈ D(L̃) удовлетворяет гранич-
ным условиям Γ(S) (в слабом смысле), если для любого элемента v ∈ D(S ∗ ) выполняется
равенство (u, S ∗ v) = (Lu, v).
2.5. Слабо родственные операторы. Способ построения оператора T , являющегося
Q-родственным для заданного S, даваемый формулой (5), позволяет строить сужения K̃, обла-
дающие некоторыми специальными свойствами, о которых речь пойдет ниже. В применении
к правильным сужениям оператора L̃, порождаемого L(D), эти свойства могут интерпрети-
роваться как специальные свойства некоторых классов граничных задач (см. п. 2.6).
Пусть E ⊂ H — некоторое линейное многообразие и S ⊂ K̃ — заданное сужение. Элемен-
ты из D(S) назовем E-гладкими, если D(S) ⊂ E. В дальнейшем, предполагая, что элементы
из D(K̃) (в отличие от элементов из D(S)) не являются E-гладкими, будем дополнительно
предполагать, что существует элемент ϕ такой, что
ϕ ∈ ker K̃, ϕ∈
/ E. (10)
и возьмем область V = (0 < t < b) × (0 < x < 2π). Минимальный оператор L0 и максималь-
ный L̃, порожденные L(D), определяются обычным образом. В качестве квазимаксимального
оператора K̃ ⊂ L̃ возьмем замыкание в H(V ) операции (13), определенной первоначально на
Q: H −
→ ker K̃.
Построим теперь “негладкий” элемент, принадлежащий ker K̃. Определим линейное мно-
гообразие W 1 ⊂ H, полагая, что u ∈ H принадлежит W 1 , если Dt u, Dx u ∈ H. Здесь Dt , Dx —
замыкания в H операций дифференцирования, определенных первоначально на гладких функ-
циях (сильные обобщенные производные; п. 5.2 гл. 1). Положив в (15)
−kb −ε
e k , k > 0, 1
c0 = 0, ck = 0<ε< ,
−ε
|k| , k < 0, 2
Q: H −
→ ker K̃, f−
→ (f, ψ)ϕ0 , (18)
где ϕ0 — определенный выше “негладкий” элемент из ker K̃. Поскольку Q аннулирует эле-
менты из R(K0 ) (разложение (17)), то можем сформулировать
Утверждение 9. Пусть T является Q-родственным для S оператором, определенным
формулой (5). Тогда
1) T является правильным сужением оператора K̃;
2) D(T ) ⊂ W 1 ;
3) оператор T не является W 1 -сильным.
Утверждения 2), 3) являются следствием результатов п. 2.5.
Рассмотрим в заключение вопрос о том, в каком смысле условия, определяющие T , могут
трактоваться как граничные.
Условия по x остаются, очевидно, периодическими. Обращаясь к формуле T v = S(1−QK̃)v,
видим, что (1 − QK̃)v ∈ D(S), т.е. должно выполняться равенство (если заменить в (18) ϕ0
на ϕ)
[v − (K̃v, ψ)ϕ]t=0 − [v − (K̃v, ψ)ϕ]t=b = 0. (19)
Если для ϕ определены граничные значения ϕt=0 , ϕt=b , то условие (19) можно понимать в
обычном смысле. Если же указанные граничные значения не определены (в частности, если
ϕ = ϕ0 ), то (19) надо понимать как соответствующее предельное соотношение (пользуясь
гладкостью элементов ker K̃ внутри V ).
СПИСОК ЛИТЕРАТУРЫ
1. Агаханов Н.Х. Свойства решений задач сопряжения для некоторых иррегулярных уравнений //
Мат. заметки. 1987. Т. 42, № 2. С. 235–243.
2. Ахиезер Н.И., Глазман И.М. Теория линейных операторов в гильбертовом пространстве. М.:
Наука, 1966.
3. Бесов О.В., Ильин В.П., Никольский С.М. Интегральные представления функций и теоремы
вложения. М.: Наука, 1975.
4. Бицадзе A.В. Уравнения смешанного типа. М.: Изд-во АН СССР, 1959.
5. Бицадзе A.В., Самарский A.А. О некоторых обобщениях линейных эллиптических краевых за-
дач // ДАН СССР. 1969. Т. 185, № 4. C. 739–740.
6. Бияров Б.Н., Кальменов Т.Ш. О нелокальной вольтерровой задаче для гиперболического уравне-
ния // Изв. АН КазССР. Сер. физ.-мат. 1989. № 1. C. 37–49.
7. Визитей В.Н., Маркус А.С. О сходимости кратных разложений по системам собственных и при-
соединенных функций операторного пучка // Мат. сб. 1965. Т. 66, № 2. C. 287–320.
8. Вишик М.И. Об общих краевых задачах для эллиптических дифференциальных уравнений // Тр.
Моск. мат. о-ва. 1952. Т. 1. С. 187–246.
9. Вишик М.И. Краевые задачи для эллиптических уравнений, вырождающихся на границе обла-
сти // Мат. сб. 1954. Т. 35, № 5. C. 513–568.
10. Вишик М.И., Люстерник Л.А. Регулярное вырождение и пограничный слой для линейных диф-
ференциальных уравнений с малым параметром // УМН. 1957. Т. 12, № 5. C. 3–122.
11. Гординг Л. Задача Коши для гиперболических уравнений. М.: Изд-во иностр. лит., 1961.
12. Гротендик А. Теория Фредгольма // Математика: Cб. пер. 1958. Т. 2, № 5. С. 51–104.
13. Данфорд H., Шварц Дж.Т. Линейные операторы. М.: Изд-во иностр. лит., 1962. Т. 1: Общая
теория.
14. Данфорд Н., Шварц Дж.Т. Линейные операторы. М.: Мир, 1966. Т. 2: Спектральная теория.
15. Дезин А.А. Граничные задачи для некоторых симметричных линейных систем первого порядка //
Мат. сб. 1959. Т. 49, № 3. С. 459–484.
16. Дезин А.А. Теоремы существования и единственности решений граничных задач для уравнений
с частными производными в функциональных пространствах // УМН. 1959. Т. 14, № 3. С. 21–73.
17. Дезин А.А. Инвариантные дифференциальные операторы и граничные задачи. М.: Изд-во АН
СССР, 1962. (Тр. МИАН; Т. 68). Англ. пер.: Dezin A.A. Invariant differential operators and boundary
problems // AMS Transl. Ser II. 1964. V. 41. P. 215–317.
173
174 СПИСОК ЛИТЕРАТУРЫ
49. Романко В.К. Смешанные краевые задачи для одной системы уравнений // ДАН СССР. 1986.
Т. 286, № 1. С. 47–50.
50. Романко В.К. О системах операторных дифференциальных уравнений // Диф. уравнения. 1987.
Т. 23, № 9. С. 1675–1685.
51. Сабзиев Э.Н. Нелокальная задача сопряжения для одного дифференциально-операторного урав-
нения // Изв. АН АзССР. Сер. физ.-тех. и мат. наук. 1986. Т. 7, № 3. С. 187–193.
52. Смирнов М.М. Вырождающиеся эллиптические и гиперболические уравнения. М.: Наука, 1966.
53. Соболев С.Л. Некоторые приложения функционального анализа в математической физике. Л.:
Изд. ЛГУ, 1950.
54. Сущ В.Н. Управление в нелокальных граничных задачах // Диф. уравнения. 1989. Т. 25, № 1.
С. 145–153.
55. Тепоян Л.П. Вырождающиеся дифференциально-операторные уравнения четвертого порядка //
Диф. уравнения. 1987. Т. 23, № 8. С. 1366–1376.
56. Трев Ф. Введение в теорию псевдодифференциальных операторов и интегральных операторов
Фурье. М.: Мир, 1984.
57. Халмош П. Конечномерные векторные пространства. М.: Физматгиз, 1963.
58. Хёрмандер Л. К теории общих дифференциальных операторов в частных производных. М.: Изд-во
иностр. лит., 1959.
59. Хёрмандер Л. Линейные дифференциальные операторы с частными производными. М.: Мир, 1965.
60. Юнусов М.Ю. Об одной нестандартной граничной задаче, содержащей малый параметр // Диф.
уравнения. 1989. Т. 25, № 6. С. 1028–1035.
61. Ятаев Н.М. О вырождающихся дифференциально-операторных уравнениях третьего порядка //
Диф. уравнения. 1988. Т. 24, № 3. С. 477–481.
62. Lorch E.R. Spectral theory. N.Y.: Oxford Univ. Press, 1962.
63. Friedrichs K. On the identity of weak and strong extensions of differential operators // Trans. Amer.
Math. Soc. 1944. V. 55, N 1. P. 132–151.
64. Friedrichs K. Symmetric positive systems // Pure and Appl. Math. 1958. V. 11, N 3. P. 333–418.