Добавил:
Upload Опубликованный материал нарушает ваши авторские права? Сообщите нам.
Вуз: Предмет: Файл:

FunkAn (2)

.pdf
Скачиваний:
11
Добавлен:
03.06.2015
Размер:
417.2 Кб
Скачать

Теорема 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 является пространство обобщенных функций DS, также введенное Л.Шварцем. Дадим предварительно два определения.

Определение 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 , òî A1 : ImA → X .

Задача 6.6 Привести пример, когда оператор

A1

не является непрерывным.

 

Теорема Банаха об обратном операторе утверждает, что A1 будет непрерывным, если

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

непрерывен. Он действует на . По теореме Банаха об обратном операторе, оператор A11

непрерывен. Остается заметить, что

ImA есть прообраз замкнутого множества

X/KerA × {0} X1

при непрерывном отображении A1

: 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

Определение 6.4 Говорят, что множества A è B отделимы в нормированном пространстве

X ,

если существует ненулевой функционал xX= 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

Åñëè

 

 

 

 

 

 

 

 

 

 

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

 

¨

2˙ + 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

строго отделено от замкнутого выпуклого множества co{xn}. Иными словами, существует функционал xX, для которого

 

 

 

 

 

 

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

Пусть

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

Соседние файлы в предмете [НЕСОРТИРОВАННОЕ]