![](/user_photo/2706_HbeT2.jpg)
FunkAn (2)
.pdfТеорема 6.1 (Ф. Рисс) Пусть 1 ≤ p < ∞ . Тогда (Lp)′ = Lq , ãäå 1/p + 1/q = 1 ( q = ∞ ïðè p = 1 ).
Точнее:
1) для любого f Lq(Ω) существует F (Lp(Ω))′ , т.е. такой линейный непрерывный функционал
F íà Lp(Ω) , ÷òî |
∫Ω f(x)φ(x)dx φ Lp(Ω); |
|
F, φ = |
(6.2) |
2) для любого F (Lp(Ω))′ существует единственный элемент (функция) f Lq(Ω) , такой, что
справедливо (6.2); |
|
F |
f |
|
Lq является изометрическим изоморфизмом банаховых |
3) соответствие I : (Lp)′ |
|
|
|||
|
|
7→ |
|
||
пространств, т.е. отображение |
I линейно, биективно и IF q = F p′ . |
||||
Утверждение 1), также как и оценка |
F p′ ≤ f q , очевидны при p = 1 . Ïðè p > 1 нужно исполь- |
зовать неравенство Г¼льдера. Утверждение 2), а также оценка F ′p ≥ f q доказываются несколько сложнее.
Вот весьма важная теорема о последовательности элементов сопряженного пространства.
Теорема 6.2 (Теорема Банаха Штейнгауза, 1927г.) Пусть X банахово пространство, а {φj}
семейство линейных непрерывных функционалов на X . Если для любого x X существует такое Cx < ∞ , ÷òî |φj, x| ≤ Cj j , то существует константа C < ∞ , такая, что |φj, x| ≤ C ïðè
x ≤ 1 äëÿ j .
Предположим противное и заметим, что если последовательность функционалов φj не ограниче- íà ïðè x ≤ 1 , то она не ограничена и в шаре Br(a) = {x X | x−a ≤ r} . Возьмем точку x1 B1(0) , функционал φk1 и такое число r1 < 1 , ÷òî |φk1 , x| > 1 äëÿ x Br1 (x1) B1(0) . Затем возьмем точку x2 Br1 (x1) , функционал φk2 и число r2 < r1 , такие, что |φk2 , x| > 2 äëÿ x Br2 (x) Br1 (x1) . Продолжив это построение, получим последовательность замкнутых шаров Brk (xk) , вложенных в друг
друга, радиусы которых стремятся к нулю. При этом, |φkj , x0| > j äëÿ x0 ∩Brk (пересечение ∩Brk непусто в силу полноты X ).
Приведем применение этой теоремы , связанное с топологией в пространстве D S. Пространство D ввел в 40-х годах 20-го века Лоран Шварц, как пространство C0∞(Ω), в котором определена сходимость последовательности функций, а именно, φj(x) → 0 ïðè j → ∞ , åñëè
а) существует компакт K Ω , ÷òî suppφj K j ; b) max x Ω|∂αφj(x)| → 0 ïðè j → ∞ α .
Сопряженным к D является пространство обобщенных функций D′ S′, также введенное Л.Шварцем. Дадим предварительно два определения.
Определение 6.3 Пространством производных по Соболеву назовем пространство функционалов ви- |
||||||||||||||||||||||||
äà ∑|α|<∞ ∂αuα , ãäå α мультииндекс, а |
|
u Lloc1 (Ω) , снабженное операцией умножения по формуле |
||||||||||||||||||||||
|
|
|
|
|
|
|
a∂αu : C0∞(Ω) φ 7→(−1)|α| ∫Ω u(x)∂α(a(x)φ(x))dx C . |
(6.3) |
||||||||||||||||
Это пространство будем обозначать через |
D (Ω) . |
|
|
|
|
|
||||||||||||||||||
16.1. Теорема. Пусть {φj} последовательность функций |
φj C0∞(Ω) . Тогда эквивалентны следу- |
|||||||||||||||||||||||
ющие два условия: |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||
1◦ . f, φj → 0 ïðè j → ∞ f D ; |
|
|
|
|
K |
|
j ; |
|
||||||||||||||||
2◦ . а) существует компакт |
K |
|
Ω , ÷òî suppφj |
|
|
|
||||||||||||||||||
b) max |
x Ω |
| |
∂αφ (x) |
| → |
0 ïðè |
j |
→ ∞ |
α . |
|
|
|
|
|
|
||||||||||
|
|
j |
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||
|
|
|
|
→ 1◦ |
очевидна. Обратное утверждение вытекает из лемм 6.1 6.4. |
|
||||||||||||||||||
Импликация 2◦ |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||
Лемма 6.1 |
α |
Cα |
, такое, что |
|
max |
φ(α)(x) |
| ≤ Cα |
|
j . |
|
|
|
||||||||||||
|
|
|
|
|
|
|
|
x |
|
Ω | |
j |
|
|
|
|
|
||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
21
Рассмотрим для каждого α последовательность функционалов
φj(α) : L1(Ω) |
|
f 7→ |
f(x)∂αφj(x)dx, |
j |
≥ |
1, |
||
|
∫Ω |
|
|
|
|
|
||
определенных на пространстве L1(Ω) . Функционалы |
φj(α) |
очевидно линейны и непрерывны, т.е. (по |
||||||
теореме Ф.Рисса) φj(α) L∞ . Согласно условию |
1◦ , |
φj(α), f → 0 |
ïðè j → ∞ f L1 . Поэтому, в |
силу теоремы Банаха Штейнгауза существует такая константа Cα , ÷òî φ(jα) ∞ ≤ Cα j .
Лемма 6.2 α x0 Ω ∂αφj(x0) → 0 ïðè j → ∞ .
Задача 6.5 Докажите лемму 6.3 (что совсем просто) и попробуйте доказать (хотя бы в одномерном случае), что справедлива
Лемма 6.3 |
Существует такой компакт K Ω , ÷òî suppφj K j . |
||
Лемма 6.4 |
α ε > 0 x0 Ω λ |
ν ≥ 1 , такие, что |φj(α)(x)| < ε ïðè |x − x0| < λ è j ≥ ν . |
|
Предположим противное. Тогда |
α ε0 > 0 |
x0 Ω , такие,что для любого j xj {x Ω | |
|
|x − x0| < 1/j} , такое, что выполнено неравенство |
|φj(α)(xj)| ≥ ε0 . Но с другой стороны, |
|φ(jα)(xj)| ≤ |φ(jα)(xj) − ϕ(jα)(x0)| + |φ(jα)(x0)| → 0,
ò.ê.
|φ(jα)(xj) − φj(α)(x0)| ≤ C|xj − x0| → 0, à ∂αφj(x0) → 0,
согласно леммам 6.1 и 6.2.
Замечание 6.3 С помощью теоремы Банаха Штейнгауза можно доказать, что существует непрерывная периодическая функция, ряд Фурье которой расходится по крайней мере в одной точке. Аналогичный результат с помощью теоремы Банаха Штейнгауза доказывается для преобразования Фурье.
Пусть X è Y банаховы пространства, A L(X, Y ) . Åñëè KerA = 0 , òî A−1 : ImA → X . |
||||||||||||||
Задача 6.6 Привести пример, когда оператор |
A−1 |
не является непрерывным. |
|
|||||||||||
Теорема Банаха об обратном операторе утверждает, что A−1 будет непрерывным, если |
||||||||||||||
ImA = Y (см., например, учебник [КФ] Колмогорова и Фомина). |
|
|
||||||||||||
Вот полезное следствие этой теоремы Банаха. |
|
|
|
|
|
|
||||||||
Теорема 6.3 Пусть A L(X, Y ) и пусть27 dim(Y/KerA) < ∞ . Тогда ImA замкнут в Y . |
||||||||||||||
|
По условию |
dim Y/ImA < ∞ |
. Поэтому |
|
˙ |
|
(пpямая сумма линейных пространств), |
|||||||
|
|
|
|
|
Y = ImA+L |
|
|
|
|
|||||
ãäå dim L < ∞, и потому |
L , снабженное нормой |
· L |
есть банахово пространство. Рассмотрим |
|||||||||||
оператор |
A1 |
, действующий из банахова28 |
X1 |
= X/KerA × L |
в банахово |
˙ |
по формуле: |
|||||||
|
|
|
|
|
|
|
Y = ImA+L |
|
||||||
A1({x}, l) = Ax + l . Обратный к A1 существует, ибо |
A1 имеет нулевое ядро. Нетрудно проверить, что |
|||||||||||||
оператор A1 |
непрерывен. Он действует на . По теореме Банаха об обратном операторе, оператор A1−1 |
непрерывен. Остается заметить, что |
ImA есть прообраз замкнутого множества |
X/KerA × {0} X1 |
|||||||||||||||||||||||||||||||||||||||||||||||||||||
при непрерывном отображении A−1 |
: Y = ImA+˙ L |
→ |
X/KerA |
× |
L. |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
1 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||||||||||||||||||||||||||||
27Фактор-пространство |
X/X0 |
линейного пространства |
X по линейному подпространству X |
0 |
|
X это есть линейное |
|||||||||||||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
x, |
в котором нулевым элементом |
|
|
|
|
|
|
|
|
|
|
|
X0, |
|
à |
||||||||||||||||||||||||
пространство так называемых классов смежности |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
0 считается пространство |
|
||||||||||||||||||||||||||||||||
любой другой элемент |
|
x X/X0 |
есть сдвиг |
|
0 = X0 |
на некоторое |
x X |
или любое другое |
|
′ |
|
X, |
но только такое, |
||||||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
x |
|
|
|
|
|
|
|
3 |
|||||||||||||||
для которого x′ |
|
x |
|
X0. Так например, два вектора (x1, x2 |
, x3) |
|
è x′ |
, x′ |
, x′ |
) |
èç |
координатного пространства |
X = |
|
|
|
|||||||||||||||||||||||||||||||||||||||
|
|
|
|
e |
|
|
|
|
|
|
|
|
|
|
R |
|
|||||||||||||||||||||||||||||||||||||||
|
|
− |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
e |
|
|
|
|
|
|
|
|
1 |
|
2 |
|
|
3 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||
представляют один и тот же элемент в X/X0, |
|
ãäå |
X0 |
= |
|
(0, 0, a) |
|
a |
|
|
, |
тогда и только тогда, когда |
(x′ |
, x′ ) = (x1, x2). |
|||||||||||||||||||||||||||||||||||||||||
|
e |
{ |
| |
R |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
e |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
} |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
1 |
2 |
|
|
|
|
|
||||
Иными словами, |
|
|
′ |
|
′ |
′ |
|
|
|
|
|
|
Вот другой пример: |
|
|
|
|
|
1 |
|
|
|
|
|
это линейное пространство классов |
||||||||||||||||||||||||||||||
|
|
(x1 |
, x2 |
, x3) − (x1, x2, x3) X0. |
|
|
|
|
|
|
|
ãäå |
φ |
|
|
|
C[0, 1]/C |
|
|
[0, 1] |
|
|
C |
1 |
[0, 1]. Åñëè |
0 < a < b < 1, |
à |
||||||||||||||||||||||||||||
непрерывных функций |
|
x, |
|
представимых в виде x + φ, |
любая функция из |
|
|||||||||||||||||||||||||||||||||||||||||||||||||
xa(t) = |t−a|, xb(t) = |t−b|, то предположив, что линейная комбинация элементов |
|
|
|
è xb равна нулю в |
|
|
|
1 |
|
|
|
||||||||||||||||||||||||||||||||||||||||||||
|
|
xa |
C[0, 1]/C |
1[0, 1] , |
|||||||||||||||||||||||||||||||||||||||||||||||||||
иначе говоря, |
λaxa |
+ λ x |
|
= 0 , получим: λ |
|
= λ |
b |
= 0, |
т.е. элементы |
x |
a |
è |
|
|
|
x |
b |
линейно независимы в |
C[0, 1]/C [0, 1] . |
||||||||||||||||||||||||||||||||||||
|
|
|
|
beb |
|
|
|
a |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
e |
|
e |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||
Отсюда следует, что |
dim C[0, 1]/C1[0, 1] = |
∞ |
. |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||
28Норма в прямом произведении |
|
|
|
задается формулой: |
|
( x , l) X1 |
= |
|
x |
|
X=KerA + l L |
, ãäå |
x X=KerA = |
||||||||||||||||||||||||||||||||||||||||||
|
|
e |
|
|
|
|
e |
|
e |
|
X/KerA L |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||||||||
|
|
|
|
|
|
|
( |
|
|
|
) |
× |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
{ } |
|
|
|
|
|
{ } |
|
|
|
|
|
|
|
|
|
{ } |
|
|
|
|
|
|||||||
infa KerA x + a X |
есть норма, вводимая в фактор-пространство |
X/KerA классов смежности {x} = x + {0} линейного |
пространства X ïî {0} = KerA . Относительно этой нормы фактор-пространство является полным (см., например, [КФ]).
22
![](/html/2706/30/html_frWLnGprp6.0eND/htmlconvd-vRgbrt23x1.jpg)
Определение 6.4 Говорят, что множества A è B отделимы в нормированном пространстве |
X , |
||||||||||||
если существует ненулевой функционал x′ X′ = L(X, R), для которого |
|
|
|
||||||||||
α |
≤ |
β , |
ãäå |
α = sup |
|
x′, a |
|
, |
β = inf |
x′, b |
|
. |
(6.4) |
|
|
|
a A |
|
|
b B |
|
|
|
||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Åñëè α < β, то говорят, что множества |
A è B строго отделимы. |
|
|
|
|
В дальнейшем нам будет полезна (доказанная, например, в [КФ])
Теорема 6.4 (теорема об отделимости) В нормированном пространстве X два непустые непересекающиеся выпуклые замкнутые множества A è B строго отделимы, если хотя бы одно из этих множеств компакт.
Следствие 6.1 Любая точка в нормированном пространстве X , не принадлежащая выпуклому замкнутому множеству A X, строго отделима от A.
Еще одним следствием теоремы 6.4 является |
|
Теорема 6.5 (Хана Банаха) 29 Пусть X нормированное пространство, а X0 |
X åãî çà- |
мкнутое подпространство. Тогда существует не равный нулю функционал Λ L(X, R), такой, что
X0 = KerΛ.
Комментарий. Может показаться, что теорема Хана Банаха вполне очевидна и связана лишь с требованием замкнутости подпространства X0 , èáî åñëè X0 X плотно в X , то любой функционал, равный нулю на X0 , будет равным нулю на всем X. Однако, суть теоремы существенно более глубокая. Она заключается в том, что утверждение теоремы может оказаться неверным для тех линейных топологических пространствах, в том числе метрических, в которых (в отличие, скажем, от нормированных пространств или так называемых основных пространств D, S в теории обобщенных функций)
топологию нельзя задать с помощью выпуклых окрестностей. Показателен в этом отношении пример метрического пространства X = Lp(0, 1), ãäå 0 < p < 1 , для которого сопряженное пространство X′
состоит лишь из одного элемента, т.е. единственным линейным непрерывным функционалом над таким X является нулевой функционал30.
Докажем этот факт от противного. Пусть для X = Lp(0, 1), ãäå 0 < p < 1 , существует ненулевой
функционал f |
|
X′. Тогда найдется функция x |
|
Lp(0, 1), |
для которой ϱ(x, 0) = 1 è |
|
f, x = a > 0. |
|||||||
|
s |
|x(t)|p dt . Возьмем разбиение |
|
|
|
|
|
|
|
|
||||
Пусть φ(s) = |
0 |
|
0 < s1 < |
. . . < sn < 1 отрезка [0, 1] так, чтобы |
||||||||||
φ(s |
= 1/n . Заметим, что |
x = y1 + . . . + yn, |
ãäå |
yk |
(t) = x(t) |
ïðè |
t [sk−1, sk] |
è |
yk(t) = 0 |
âíå |
||||
r) −φ(sr−1) |
∫ |
|
|
|
|
|
|
отрезка [sk−1, sk] . Имеем: f, x = f, x1 + . . . + f, xn . Поэтому |f, ym| ≥ a/n для некоторого m .
Зафиксируем это m и возьмем последовательность функций xn , такую, что xn(t) = nym(t). Имеем: |f, xn| ≥ a > 0 , íî ϱ(xn, 0) → 0, что противоречит непрерывности f.
Ÿ7 Основные понятия спектральной теории
Ÿ8 Экстремальные задачи для выпуклых полунепрерывных снизу функционалов.
Функционал F : Z → R называется выпуклым, если
( |
) |
σ [0, 1] è z1, z2 Z . |
|
F σz1 + (1 − σ)z2 ≤ σF (z1) + (1 − σ)F (z2) |
(8.1) |
||
Очевидно выпуклость F |
равносильна выпуклости надграфика F, которым является множество |
|
|
|
def |
|
|
|
epi (F ) = {(x, a) X × R | F (x) ≤ a }. |
(8.2) |
29Эта теорема является следствием несколько более общих теорем (см., например, [КФ]), одна из которых впервые
доказана в 1927г. австрийским математиком Хансом Ханом (1879 1934), а другая С. Банахом в 1929г.
30Отметим, впрочем, что для метрического пространства lp дискретного аналога пространства Lp , сопряженным к
lp , ãäå |
|
, является нормированное пространство последовательностей (x |
|
, . . . , x |
|
, . . .) с нормой |
x |
|
= sup |
k | |
x |
k| |
. |
|||
|
0 < p < 1 |
|
p и сопряженным к |
l |
p ïðè |
1 |
|
n |
|
|
|
|
|
|||
Такое разительное отличие между сопряженным к L |
|
|
0 < p < 1 связано с тем, что выпуклая |
|||||||||||||
оболочка единичного шара lp есть единичный шар в |
l1 , а выпуклая оболочка единичного шара в Lp всего лишь плотна |
|||||||||||||||
в единичном шаре пространства L1 . |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
23
![](/html/2706/30/html_frWLnGprp6.0eND/htmlconvd-vRgbrt24x1.jpg)
Åñëè |
|
|
|
|
|
|
|
|
|
|
F ( |
z |
|
+ z |
|
) < |
F (z |
) + F (z |
) |
|
|
|
|
|
|
|
|
|
|
|
||||
|
|
|
|
|
|
|
|
|
|
|
1 |
2 |
|
|
|
|
|
|
|
|
|
|
|
|||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
1 |
|
|
2 |
|
z1, z2 |
Z , |
|
|
|
|
|
|
|
(8.3) |
||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
2 |
|
|
|
|
2 |
|
|
|
|
|
|
|
|
|
|||||||
то функционал F называется строго выпуклым. |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||
Предложение 8.1 Пусть |
Z нормированное пространство, |
l : Z z 7→l(z) линейная форма. |
||||||||||||||||||||||||||||||||
Åñëè a : Z × Z (z1, z2) 7→a(z1, z2) |
симметричная неотрицательна (т.е. a(z, z) ≥ 0 ) билинейная |
|||||||||||||||||||||||||||||||||
форма, то |
F : z 7→F (z) = a(z, z) + l(z) выпуклый. Если сверх того, форма |
a(z, z) положительно |
||||||||||||||||||||||||||||||||
определенная (т.е. a(z, z) ≥ C z 2, |
C > 0 ), òî |
|
F |
строго выпуклый функционал. |
|
|
|
|
|
|||||||||||||||||||||||||
Имеем |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||
F (σz1 + (1 − σ)z2)= [σ2a(z1 , z1) + 2σ(1 − σ)a(z1 , z2) + (1 − σ)2a(z2 , z2)]+[σl(z1) + (1 − σ)l(z2)] , |
||||||||||||||||||||||||||||||||||
Поэтому |
[σF (z1) + (1 − σ)F (z2)]= [σa(z1 , z1) + (1 − σ)a(z2 , z2)]+[σl(z1) + (1 − σ)l(z2)] . |
|
|
|
|
|||||||||||||||||||||||||||||
|
|
|
F (σz1 + (1 − σ)z2)−[σF (z1) + (1 − σ)F (z2)]= σ(1 − σ)B(z1 , z2) , |
|
|
|
|
|
||||||||||||||||||||||||||
ãäå |
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||||||
B(z1 , z2) = 2a(z1 , z2) |
− |
a(z1 , z1) + a(z2 , z2) |
≥ 0 , |
åñëè |
a(z, z) ≥ 0 , |
|
|
|
|
|
|
|
|
|||||||||||||||||||||
|
|
|
|
|
|
|
[ |
|
|
|
|
|
|
|
|
] |
{ > 0 , |
åñëè |
a(z1 − z2, z1 − z2) ≥ C z1 − z2 2 > 0 . |
|||||||||||||||
Пример 8.1 |
|
|
def |
1 |
2 |
(t) dt. |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||
F (u) = |
0 |
u |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||
|
|
|
|
|
|
def |
∫1 |
u2(t) dt → inf, ãäå |
z = (x, u) K Z, à |
Z = H 2(0, 1) × H(0, 1), |
|
|
|
|||||||||||||||||||||
Задача 8.1 |
F (z) |
= |
|
0 |
причем |
|||||||||||||||||||||||||||||
K = |
{ |
(x, u) |
|
Z |
| |
Φ(x,∫u) |
def |
|
A(x) |
− |
u = 0, A(x) |
def |
x¨ + 2x˙ + x , |
x(0) = x(1) = 0, x˙ (0) |
− |
1 = 0 |
} |
. Ïðè |
||||||||||||||||
= |
|
= |
||||||||||||||||||||||||||||||||
|
|
|
K |
|
∫ |
1 |
[( |
|
|
|
|
|
) |
|
] |
|
|
|
Z |
|
C |
|
|
|
|
|
||||||||
Заметим, что |
|
|
|
|
|
|
|
|
|
|
|
|
[0, 1] × C[0, 1], |
|
|
|
||||||||||||||||||
|
|
|
|
|
|
|
|
def |
|
xφ¨ − |
2xφ˙ + xφ −uφ |
dt = 0 для любой φ C0∞(0, 1). |
|
|
|
|
|
|||||||||||||||||
ýòîì, x¨ + 2x˙ + x = u |
|
|
0 |
|
|
|
|
|
|
|||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
замкнутое выпуклое подмножество в |
|
(êàê â |
|
2 |
|
|
|
òàê è â |
H 2(0, 1) × H0(0, 1) ), а функционал F : Z → R является выпуклым.
Если форма a : z 7→a(z, z) положительно определена, то a(z, z) + l(z) → +∞ ïðè z → ∞. Поэтому в этом случае функционал F : z 7→F (z) = a(z, z) + l(z) коэрцитивен в смысле следующего определения.
Определение 8.1 Функционал F : z 7→F (z) R называется коэрцитивным, если так называемое |
|||
множество Лебега |
|
def |
|
|
Lα(F ) |
|
|
|
= {z Z | F (z) ≤ α } |
(8.4) |
|
ограничено (и не пусто) для некоторого α |
R. |
|
Термин коэрцитивность [лат. coercito¨ ], как и слова корсар [ит. corsaro] (т.е. пират), корсет [фр. corset ],
означает удержание , захват , охват интересующего объекта. В нашем случае коэрцитивность свидетельствует о том, что решение задачи F (z) → inf заведомо заключено в некотором шаре31. Действи-
тельно, условие коэрцитивности влечет такую импликацию:
если последовательность |
{zk}k N |
такова, что lim F |
inf F (z) , òî |
|
z |
k ≤ |
const |
|
k . (8.5) |
|||
|
k |
→∞ |
(zk) = z |
|
K |
|
|
|
||||
|
|
|
|
|
|
|
|
|
|
|
Последовательность, фигурирующая в (8.5), называется минимизирующей.
Определение 8.2 Говорят, что функционал F : X → R полунепрерывен снизу относительно сильной или, соответственно, относительно слабой сходимости, если
для любой последовательности |
|
def |
lim |
inf |
|
X |
(8.6) |
|||
|
xnb , которая сходится к |
x |
|
сильно, иначе говоря, по норме |
||||||
|
F (x) ≤ limF (xn) = |
n |
→∞ |
k |
≥ |
n F (xk) , |
|
|||
|
|
|
|
|
b |
|
|
|
||
|
{ |
} |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||
(ò.å. xn − x → 0) или, соответственно, слабо (т.е. f(xn) → f(x) f X ). |
||||||||||
b |
|
|
|
|
|
|
|
|
b |
|
31Установление подобной априорной информации или, как говорят, априорной оценки, нацеленной (исключая конеч- номерные задачи и теории типа Лере Шаудера) на использование компактности в более слабой топологии, зачастую составляет основную трудность в доказательствах теорем существования.
24
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
1 |
|
|
|
|
|
Отметим еще, что (очевидно) непрерывный на L2(0, 1) |
функционал F : u 7→ u2 dt не является непре- |
|||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
0 |
|
|
2 |
|
|
|
|
|
|
|
|
|
|
0 |
|
|
|
|
|
рывным относительно слабой сходимости в |
|
|
|
|
|
Действительно, легко видеть, что после- |
||||||||||||||||||||||||||
H (0, 1) = L (0, 1). |
||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
1 |
|
∫ |
|
|
|
|
|
∫ |
|
|
|
|
|||||||||
довательность {sin nt}n N слабо сходится к нулю в |
L2(0, 1), |
|
|
1 |
sin2 nt dt → 1/2. Однако (как вскоре |
|||||||||||||||||||||||||||
íî |
0 |
|
||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||
будет показано) функционал |
u 7→ u2 dt |
|
полунепрерывен снизу |
относительно слабой сходимости в |
||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
0 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
L2(0, 1). |
|
|
|
|
|
|
|
|
|
∫ |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||
Предложение 8.2 Эквивалентны следующие три условия: |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||
1) функционал |
F : X → R полунепрерывен снизу; |
def |
{x |
X | F (x) ≤ α } замкнуто относительно |
||||||||||||||||||||||||||||
2) для любого |
α R лебегово множество |
|
Lα(F ) |
= |
||||||||||||||||||||||||||||
соответствующей сходимости; |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||
3) относительно соответствующей сходимости замкнут надграфик |
F. |
|
|
|
|
|
|
|||||||||||||||||||||||||
1) 2). Пусть xn Lα(F ) |
è xn |
сходится к x (относительно соответствующей сходимости). Тогда |
||||||||||||||||||||||||||||||
|
|
|
|
(8.6) |
|
|
|
|
|
|
|
|
сходится к |
x (относительно соответствующей сходи- |
||||||||||||||||||
b2) 3). Пусть |
(xn, an) epi F ,bпричем xn |
|||||||||||||||||||||||||||||||
F (x) ≤ limF (xn) ≤ |
|
α. Тем самым, |
x Lα(F ). |
b |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||
относительно |
|
b |
|
|
|
|
|
|
b |
|
|
|
x La+ε(F ), |
|
|
|
F (x) ≤ a + ε, |
b |
|
|||||||||||||
мости) и |
an |
→ a. Если предположить, что условие 3) не выполнено, то найдется такое ε > 0, ÷òî |
||||||||||||||||||||||||||||||
F (x) > a + ε ≥ an ≥ F (xn). |
Имеем: |
xn La+ε(F ), а согласно |
условию 2), множество |
La+ε(F ) |
замкнуто |
|||||||||||||||||||||||||||
|
|
b |
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||
|
|
|
соответствующей сходимости. Значит, |
b |
|
b |
|
|
|
|
ò.å. |
|
|
b |
b |
|
|
что противоречит |
||||||||||||||
установленному выше неравенству |
a + ε < F (x). |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||
b b |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||
замкнуто, согласно 3), то |
F (x) ≤ b =blimF (xn) = limF (xn). |
|
|
, F (x )) |
|
epi F , а множество epi F |
||||||||||||||||||||||||||
3) |
|
1). Пусть |
|
(xn, F (xn)) → (bx, b) |
epi F . Поскольку (x |
n |
|
|||||||||||||||||||||||||
|
|
|
|
|
|
b |
|
|
|
|
|
|
|
|
|
n |
|
|
|
|
|
|
||||||||||
Пространства C |
k |
(Ω) â |
|
b |
|
|
|
|
|
|
|
|
|
Wp(Ω), |
|
|
1 < p < |
|
|
|
|
|||||||||||
|
|
|
|
|
|
|
|
отличие от пространств Соболева |
|
|
|
|
|
ãäå |
|
|
|
∞ |
, не рефлексивны32, |
|||||||||||||
но именно для рефлексивного пространства |
X справедлива |
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Теорема 8.1 Пусть X рефлексивное банахово пространство, K замкнутое выпуклое (непустое) подмножество в X , а функционал F : X → R является выпуклым, коэрцитивным и непрерывным (или даже всего лишь полунепрерывным снизу). Тогда задача
F (x) → inf, x K |
(8.7) |
имеет решение, причем единственное, если функционал F строго выпуклый.
Приведенное чуть ниже доказательство теоремы 8.1 опирается на следующую теорему Мазура.
Теорема 8.2 Пусть X рефлексивное банахово пространство, а последовательность |
{xn} åãî ýëå- |
|||||||||||||||||||||||||||||
ментов слабо сходится к |
xb |
X. |
Тогда существует такая последовательность элементов |
|
|
|
||||||||||||||||||||||||
|
|
|
|
|
|
|
n |
|
|
|
|
|
|
|
n |
|
|
|
|
|
|
|
|
|
|
|
|
|||
|
|
|
|
|
|
|
|
|
|
∑ |
αj,n ≥ 0 , |
∑j |
αj,n = 1 |
|
|
|
|
|
|
|
|
|
||||||||
|
|
|
|
|
|
|
|
yn = |
αj,nxj, |
|
|
|
|
|
|
|
|
|
|
|
||||||||||
|
|
|
|
|
|
|
|
|
|
j=1 |
|
|
|
|
|
=1 |
|
|
|
|
|
|
|
|
|
|
|
|
||
в виде выпуклых комбинаций исходной последовательности |
{xn} , ÷òî yn − x → 0. |
|
|
|
|
|||||||||||||||||||||||||
|
|
Если предположить, что теорема не верна, то тогда |
b |
|
|
|
|
|
||||||||||||||||||||||
|
|
не принадлежит |
|
x |
т.е. замыканию вы- |
|||||||||||||||||||||||||
|
32 |
|
|
|
|
|
{xn}. |
|
|
|
|
|
|
|
|
|
|
|
|
co{bn}, |
|
|
|
|
x |
|||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
x |
|
|
|
|
|
|
|
|
|
|
|
|
||||
пуклых оболочек множества |
|
|
|
В этом случае, согласно следствию 6.1 (теоремы об отделимости), |
b |
|||||||||||||||||||||||||
|
|
Функциональный анализ) банахово |
|
|
||||||||||||||||||||||||||
X. Согласно теореме Эберлейна Шмульяна (см., например, К. Иосида |
|
|
||||||||||||||||||||||||||||
|
|
Говорят, что банахово пространство |
|
X рефлексивно, åñëè |
(X′)′ = X, т.е. сопряженное к X′ |
= L(X, R) совпадает с |
||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
пространство |
||
X рефлексивно тогда и только тогда, когда из всякой его ограниченной последовательности |
{xn} ( xn ≤ const ) можно |
|||||||||||||||||||||||||||||
выбрать слабо сходящуюся подпоследовательность {xnk } , т.е. существует такой элемент |
x X, ÷òî |
f(xnk ) → f(x) |
||||||||||||||||||||||||||||
|
x + y |
(1 |
|
δ) для любых x, y |
|
B1, |
|
|
B1 = {x ≤ 1} |
|
x |
y |
|
ε), |
|
X |
|
|
|
b |
|
|
|
|
b |
|||||
для любого |
f |
X′. Если единичный шар |
â |
X |
равномерно выпуклый (т.е. ε > 0 δ(ε) > 0, |
÷òî |
||||||||||||||||||||||||
|
|
|
≤ |
− |
|
|
|
|
подчиненных условию |
|
− |
≥ |
|
òî |
|
|
рефлексивно (теорема Мильмана). |
|||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
25
![](/html/2706/30/html_frWLnGprp6.0eND/htmlconvd-vRgbrt26x1.jpg)
строго отделено от замкнутого выпуклого множества co{xn}. Иными словами, существует функционал x′ X′, для которого
|
|
|
|
|
|
sup |
x′, x |
|
< |
|
x′, x |
ε |
yn co{xn} |
|
lim |
x′, y |
|
x′, x . |
|||||
|
|
|
|
|
x |
|
|
|
|
|
|
b − |
|
|
|
n→∞ |
|
|
n ̸→ |
b |
|||
|
|
|
|
|
co{xn} |
|
|
|
|
|
|
||||||||||||
Но это противоречит условию теоремы, согласно которому |
|
x′, xj |
|
|
x′, x , |
что влечет |
|||||||||||||||||
|
|
|
|
|
|
|
|
|
|
n |
|
|
|
n |
|
|
|
→ |
|
b |
b |
|
|
|
|
|
|
|
|
|
|
|
∑ |
|
|
∑ |
|
|
|
|
|
|
|
|
|||
|
|
|
|
x′, yn = x′, j=1 αj,nxj = (j=1 |
αj,n) x′, xj = x′, xj → x′, x . |
|
|||||||||||||||||
Следствие 8.1 Åñëè K выпукло и замкнуто в X, òî K замкнуто относительно слабой сходимости |
|||||||||||||||||||||||
(говорят, секвинциально слабо замкнуто). |
|
|
|
|
|
|
|
|
|
|
|||||||||||||
yn |
= j=1 |
αj,nxj |
элементовbxj K, таких, что yn − x → 0. Имеем: yn K (в силу выпуклости K), à |
||||||||||||||||||||
|
Пусть |
xn X, xn → x. |
По теореме Мазура, существует последовательность выпуклых комбинаций |
||||||||||||||||||||
n |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||
ввиду∑ |
|
|
|
|
|
è òîãî, ÷òî |
|
b |
|
получаем: |
|
|
|
|
|
|
|
|
|||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
b |
|
|
|
|
|
|
|
|
|
|
замкнутости |
K |
|
|
|
|
|
yn − x → 0, |
yn K. |
|
|
|
|
||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Следствие 8.2 Пусть F : X → R выпуклый полунепрерывный снизу (в частности, непрерывный) функционал на рефлексивном банаховом пространстве. Тогда F полунепрерывный снизу относительно слабой сходимости в X.
Согласно предложению 8.2, |
epi F замкнут в X (ибо функционал |
F : X → R полунепрерывен |
|||||||||||||||||||||||
снизу). Выпуклость F |
влечет выпуклость |
epi F . Поэтому (в силу следствия 8.1) epi F замкнут |
|||||||||||||||||||||||
относительно слабой сходимости. Отсюда, согласно предложению 8.2, |
F |
полунепрерывный снизу |
|||||||||||||||||||||||
относительно слабой сходимости в X. |
|
|
|
X рефлексивно, |
|
b |
|
{xn} |
|
||||||||||||||||
вательность |
{xn} ограничена. А поскольку |
|
|
|
|
||||||||||||||||||||
Доказательство теоремы 8.1 Пусть |
|
|
|
inf |
|
|
|
В силу коэрцитивности, последо- |
|||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
F (xn) → x K F (x) = F . |
|
|
|
|
||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
òî èç |
|
|
можно выбрать подпосле- |
||
довательность {xnk }, |
слабо сходящуюся к некоторому элементу |
x K. Воспользовавшись тем, что |
|||||||||||||||||||||||
÷àåì F (x) |
limF (xnk ). В итоге имеем: |
|
|
|
|
|
|
|
b |
|
|
|
|
||||||||||||
(согласно следствию 8.2) функционал |
|
F полунепрерывен снизу относительно слабой сходимости, полу- |
|||||||||||||||||||||||
Èòàê, |
b ≤ |
|
F = inf F (x) |
|
|
F (x) |
|
limF (xnk ) |
lim |
|
F (xnk ) = F . |
||||||||||||||
|
|
|
т.е. слабый |
|
|
≤ |
b |
≤ |
последовательности |
|
|
b |
|||||||||||||
|
|
|
|
b |
|
x K |
|
|
|
|
|
|
|
≤ xnk →x |
|
|
|
||||||||
äâóõ |
|
b |
|
|
x1 |
|
|
x2, |
|
|
предел |
b |
|
|
|
b |
|
xnk |
есть решением поставленной |
||||||
|
|
F (x) = inf F (x), |
|
|
|
|
|
|
|
|
|
|
|
x |
|
|
|
|
|
||||||
|
|
|
x K |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
F строго выпуклый, т.к. предположив наличие |
|||||||
задачи. Это решение единственно, если функционал |
|||||||||||||||||||||||||
|
различных решений |
|
|
è |
|
получим требуемое противоречие |
|
|
|
|
|||||||||||||||
|
|
|
|
|
|
(b |
2 b |
) |
|
|
b |
2 |
b = x K |
|
|
|
|
|
|
||||||
|
|
|
|
|
Fb |
|
|
x1b+ x2 |
|
|
(8.3) |
F (x1) + F (x2) |
|
|
|
|
|
|
|
||||||
|
|
|
|
|
|
|
|
|
|
< |
inf F (x) . |
|
|
|
|||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Теорема 8.1 дает достаточное условие существования решения задачи (8.7), т.е. задачи F (x) → inf, x K. А следующая теорема выявляет неравенство, которому удовлетворяет решение этой задачи.
Теорема 8.3 Пусть x решение задачи (8.7), |
K выпуклое множество банахова пространства |
||||||||||||||||||||||||
решением задачи (8.7)bв том и только в том случае, если |
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||
X, à F : X |
→ R выпуклый функционал, дифференцируемый по Гато 33. Тогда x K является |
||||||||||||||||||||||||
|
|
|
|
|
|
|
|
b |
|
|
0 |
|
|
|
|
|
|
|
|
|
|
|
b |
|
|
ãäå A = FG′ (x) L(X, R) |
|
производная по |
|
|
|
|
|
x функционала |
F. |
|
|
|
|||||||||||||
|
|
|
|
|
|
A, x |
− x ≥ |
x K , |
|
|
|
|
|
|
|
|
(8.8) |
||||||||
|
|
|
b |
|
|
|
|
Гато в точке |
|
b |
|
|
|
|
|
|
|
|
|
|
|||||
рывный |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||
33 |
|
|
|
|
называется дифференцируемым по Гато в точке |
b |
, если существует такой линейный непре- |
||||||||||||||||||
Этот оператор |
|
|
|||||||||||||||||||||||
A называется производной по Гато и обозначается обычно |
|
|
FG′ (x) |
|
|
|
|
|
F ′(x), |
||||||||||||||||
|
Функционал F : X → R |
|
, что для любого |
h X |
|
|
|
|
|
|
|
|
x |
F (x + th) − F (x) − tAh = o(t) |
|
t → 0. |
|||||||||
|
|
оператор |
A : X → X′ |
|
справедливо равенство: |
ïðè |
|||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||
зарезервированого для производной по Фреше: F (x + h) |
|
|
|
|
′ |
|
через |
|
ïðè |
в отличие от обозначения |
|
||||||||||||||
|
b |
|
|
b |
|
|
|
|
|
|
0. |
|
|
||||||||||||
|
|
|
|
|
|
|
b |
|
|
|
|
|
|
|
|
|
|
h |
|
b |
|
|
|||
|
|
|
|
|
|
|
|
|
|
− |
F (x) |
− |
F (x)h = o( h ) b |
|
→ |
|
b |
||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
b |
|
|
|
26
![](/html/2706/30/html_frWLnGprp6.0eND/htmlconvd-vRgbrt27x1.jpg)
Пусть |
x решение задачи, а |
x K . Òàê êàê K выпуклое множество, то |
x + t(x − x) K äëÿ |
||||||||||||||||||||||||
|
|
b |
|
x |
|
b |
|
b |
b |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
F, |
|
b |
b |
любого |
t |
(0, 1). |
Поэтому |
F (x+t(x−x))−F (x) |
≥ |
0 |
. Переходя к пределу при |
t |
→ 0, |
получаем (8.8). |
|||||||||||||||||
|
|
|
|
|
|
t |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||
Обратно, пусть для |
b |
выполнено неравенство (8.8). В силу выпуклости |
|
имеем |
|||||||||||||||||||||||
|
|
|
|
|
|
|
b |
|
|
t b |
|
|
b |
≤ |
|
|
− |
|
|
|
|
|
|
|
|
||
|
|
|
|
|
|
F (x + t(x |
− x)) − F (x) |
|
|
F (x) |
|
F (x) . |
|
|
|
|
|
|
|||||||||
Ïðè t |
|
0 левая часть этого неравенства стремится к |
|
A, x |
|
x , |
b |
A = F ′ (x). |
|
||||||||||||||||||
→ |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
− |
|
|
ãäå |
|
|
G |
|
b |
Поэтому, учитывая |
|
|
|
|
|
|
|
|
|
|
b |
|
|
|
|
|
|
|
|
|
|
|
|||||||
неравенство (8.8), получаем, что |
F (x) − F (x) |
≥ 0 |
для любого x |
|
K. |
|
|
|
|
||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
b |
|
|
|
|
|
Определение 8.3 Неравенство (8.8) называется вариационным неравенством (на множестве K ) для оператора A L(X, R) , причем и в том случае, когда этот оператор не имеет прямого отношения к какой-либо задаче на экстремум (ассоциируемой с вариационными методами).
Упражнение 8.1 Пусть даны замкнутое выпуклое множество K X = Rn и выпуклый функцио-
íàë F : K |
→ R |
, производная по Гато которого A = F ′ |
: K |
→ |
X′ = |
R |
n, подчинена условию |
|
|||||
|
|
|
G |
|
|
|
|
|
|
|
|||
|
|
A(x) − A(x0) , x − x0 |
→ ∞ |
ïðè |
|
x |
|
|
, x |
|
K |
(8.9) |
|
|
|
x − x0 |
|
|
→ ∞ |
|
|
|
|||||
для некоторого x0 K. Тогда вариационное неравенство (8.8) имеет решение, т.е. существует |
x |
||||||||||||
K , удовлетворяющее (8.8). |
|
|
|
|
|
|
|
|
|
|
b |
||
Указание. Условие (8.9) влечет (8.4). Это важно. В самом деле, если |
|
X = K = R, à A(x) = ex, òî |
|||||||||||
вариационное неравенство ex(y − x) ≥ 0 |
y K не имеет решения. |
|
|
|
|
|
Ÿ 9 Теорема Лере-Шаудера и ее применение к нелинейным функциональным уравнениям
27