Академический Документы
Профессиональный Документы
Культура Документы
Босс
ПЕкqии по
МАТЕМАТИКЕ
TIM
IgикцuоиаПЬИЬli
5 аиапuз
моекм
- - I~I
URSS
ББК 22.162я73
Босс В.
Лекции по матема11lке. Т. 5: Функцион ......... й анализ. - М.: КомКнига, 2005.
216 с.
ISBN 5-484-00190-0
Охват материала соответствует курсам функционального анализа, изу
чаемым в университетах. Помимо функциональных пространств и линейных
отображений рассматриваются также: теория меры, интеграл Лебега, элементы
нелинейного анализа. положительныеоператоры.
И3JIожение отличается краткостью и прозрачностью. Объяснения даются
.. человеческим языком •. Значительное внимание уделяется мотивации результа
тов, взаимосвязям, обшей картине.
Для студентов, преподавателей, инженеров и научных работников.
I,IE_~_~
КSnInOr ~iI 8 ИНТ8PНllТ1l:
345310 30041
j~llШIO [~IIJIШ
http://URSS.ru
ТвnJ~:7(095)1З5-42-18
URSS ТвnJф8IIc: 7 (095) 135-42-48 >
Оглавление
Предисловие к .лекциям- . . . . . . . . . . . . . . . . . . . . . . . . .. 7
Предисловие к тОму . . . . . . . . . . . . . . . . . . . . . . . . . . . . .. 9
lЛава 1. Миожества, пространства, отображении 1О
1.1. Операции и соответствия 10
1.2. Аксиома выбора . . . . . . . . . . . . . . . . . . . . . . . . .. 12
1.3. Неравенства. . . . . . . . . . . . . . . . . . . . . . . . . . . .. 13
1.4. Метрические пространства. . . . . . . . . . . . . . . . . .. 14
1.5. Линейные пространства 15
1.6. Непрерывные пре06разования 19
1.7. Выпуклость . . . . . . . . . . . . . . . . . . . . . . . . . . . .. 22
1.8. Предварительные .неприятности- . . . . . . . . . . . . .. 23
1. 1. Операции и соответствия
жеств.
(о, Ь) с IR,
называют борелевс/(UJIIU JIIножествOJllU, илu В -JIIножествOJllU.
фактор-множеством.
I:X-+Y.
1.3. Неравенства
Неравенсmво Коши-Шварца:
инеравенство МиН"08с"ого:
! Iж(t)I'11I(t)1 ~ (! Iж(t)l"
ппп
dt dt)"" (! 11I(t)l' dt)"', (1.1)
где
1 1
р, q ~ 1, -+-=1
Р q
(это так называемые сопряженные р и q). При р = q = 2 неравенство
ГёлЬдера переходит в интегрШlьное неравенство Коши-Шварца.
Из (1.1) вытекает интегРШlьное неравенство Минковского 7):
( f
()
Iz(t) + ]I(t)I' dt )
1/,
~
(
f
n
Iz(t)I' dt
) 1/,
+
(
f
()
1]I(t)I' dt
) 1/,
.
n-I
n
ЕВlUПlдО.... М Пpoc11J8НС111ОМ R называется множество веКТОроВ
Ж={ZI,''''Ж n }
с метрикой
n ] 1/2
р(ж, У) = [
~(жl _ у,)2
00
Ж, у Е Х ~ аж + ру Е Х,
а сами операции удовлетворяют следующим аксиомам:
1) ж + У = У + ж (коммутативность сложениR),
2) (ж + у) + z = ж + (у + z) (ассоциативность сложениR),
3) сушествует нулевой элемент О е х такой, что ж + О = ж,
4) сушествует обратный элемент -ж такой, что ж + (-ж) = О.
(1.2)
Заметим, что (Аж, у) = А(ж, у), но I (ж, Ау) = А' (ж, у) 1, поскольку
(ж, Ау) = (Ау, ж)' = А'(у, ж)' = А'(ж, у).
и в итоге - метрику:
р(х, У) = (Х - У, Х _ y)I/2,
(Х, У) =L XjYj,
j
f tp(t)ф(t)
1
(tp, ф) = dt.
о
Ilu + 1111 = sup lu(ж) + lI(ж)1 ~ sup lu(ж)1 + sup 11I(ж)1 = Ilull + 111111,
~efi ~efi ~efi
• Другими словами, f(ж) непрерывна в точке 'Хо, если ЛЖ) ~ I(zo) при
условии z ~ 'Хо.
11) Либо полным прообразам, оставляя за термином .пpoo(iразо любоА элемент ж, перехо
дящиА в 11.
18' Возможность взаимно однозначного соотвеТСТВНЯ, непрерывного ТOIIько в одну сторо
ну - кажется сомннтельноА, но в этом мнре случается все, что не запрещено - см. (5).
1.6. Непрерывные прео6разоваНИR 21
идентичными.
и однороден:
A(~x) = ~Ax.
родность.
19) Резиновое КОЛЬЦО (тор) разрезаем (по меридиану), один конец перекручиваем на один
оборот н склеиваем (как БЬUJО). Операция соответствует непрерывному отображению F тора
на себя, которое. очевидно, ЯВllяется локальным гомеомОРФизмом, но его нельзя расширить
до гомеоморфизма аЗ на аЗ. (?)
22 Глава 1. Множества, пространства, отображения
Х = {XI, ... , х п }
удобны стенографические трюки:
(о) _ д"1+"'+О"/(ж)
/ (ж) - дж~I ... дж~" '
00 /О(ж)ж.
f(ж+z)=Е~, 101 = 01 + ... + оп·
101=0
1.7. Выпуклость
00
1 2 4
3 + 9 + 27 + ... = 1,
т. е. евся дЛина-
[0,1) выбрасывается. Однако оставшееся етошее- множество С
оказывается ровномощно континууму 20), что И представляет главный сюрприз.
20) МНОЖСС11l8 роtlнQAlощны' если между их элемеН11IМИ MOJКНO уствновитъ взаимно одно
]начное СООПle1'Cтвие. Континуумом ПрИНJП'O считать отре30К [0,1).
24 Глава 1. Множества, пространства, отображения
'(Са ) = fI (1 - ~ )
j а]
f I'(ж) dж f f(ж) dж =
I I
= О, но не 1(1) -/(0) = 1.
о о
Щ Здесь об этом говорится бегло в расчете на читателя, прошедшего огонь, воду и медные
трубы. Особенно, воду.
00 00
где G(t, а) называют функцией Грина 2 ). О G(t, а) еше говорят как о Rдре инте
грального оператора.
Если в исходной задаче y(t) = z(t) либо y(t) = J(t, z(t)J. возникают инте
гральные уравнения
z(t) = I
()
G(t, а)ж(а) ds либо ж(t) = I
()
G(t. а)Ла, ж(s)J ds.
!
I
J(ж) =L Сt~t(Ж).
t=o
По аналогии с конечномерным случаем, ж = ж.е. + о + жпе п ,
•• величины Ct
считаются координатами,а функции ~t(ж) - базисными векторами бесконечно
мерного пространства.
предельные точки.
Примеры
2.3. СХОДИМОСТЬ
lim р(х, Х п )
n~oo
= О.
J~~ р(ж n • Жm ) = О.
т .... оо
p(:I:. у) =[ f
О
I
[:I:(t) - y(t)l2 dt
] 1/2
неполно. (?)
{хнn} (n = 1,2•... ),
сходящаяся к тому же пределу х', лежит в замкнутом щаре B(rt. Xt). Поэтому
Х· Е B(rt. Xt) при любом k. Тот факт, что в пересечении всех B(rt. Xt) нет друтих
точек, кроме Х· • - вытекает из r n -+ О. ~
2.4. Пополнение
На примере
(-00, (0) удобно рассмотреть идею в целом. Су
ществуют ли иррациональные числа? Не существуют 11). Можно ли
обойтись без них? Можно 12).
Категорные идеи возникли при выяснении того, насколько плох может быть
предел непрерывных функций. Поточечный предел на [0,1) всюду сходRщеЙСR
nоследовательности непрерывных функций RвЛRетСR функцией неnfJf!рывной всюду,
за иСlUlючение,М ,Множества точек первой категории 14) (Бэр). Огсюда следует (?),
что проиэводная дифференцируемой функции не может быть всюду разрывной.
Множество ее точек разрыва - множество точек первой категории.
и нормой Ilxll =
1=1
( t
последовательностей,
xf) 1/2, -
суммируемых
Ilxll = тах
I
Ix(t)l.
которая в С определяет равномерную сходимость, почему. собственно. С является
полным пространством. При норме
1 1/,
Ilxll = (! Ix(t)I' dt) . p~ 1. (2.5)
о
• Пространство ct
непрерывно дифференцируемых (до k-гo порядка вклю
чительно) Функций ж(t) с нормой 16)
Ilжll = rnaх
j(t
тах IжUl(t)l.
,
Ilull = { Ilu(ж)I' dж +
i'i
L 1lu(O)l' dж
.(101(' i'i
}
I/'
и {з, что
Ilxlll ~ allxl12, IIxl12 ~ f3llxlll'
П
В R все нормы эквивалентны. (!).... Функция It'(x) = IIxlll на
компакте IIxl12 = 1 достигает своего минимального (, > О) и мак
симального (6 > О) значения. Поэтому
(и, v) = !
n
u(x)v(x) dx.
2.7. Фактор-пространство
ХоСХ
Iж-уl
р(ж, у) = 1 + Iж _ уl (2.7)
... Первые две аксиомы метрики для (2.7) очевидны. Третья - устанами
t
вается достаточно просто. Функция - - (t ~ О) монотонно возрастает, поэтому
l+t
10 + bl ~ 101 Ibl 101 Ibl
1 + 10 + bl . . , I + \01 + Ibl + 1 + 101 + Ibl ~ 1 + 101 + 1 + Ibl'
Подстановка о = ж - у, ь = у - z дает неравенство треугольника. ~
Другой при мер: множества K n Е С[О, 1), состоящие из функций z(t) таких,
что Iz(t)1 ~ 2, ж(О)= О и z(t) = 1 при '/n < t < 1. Множества K n теперь еще
и выпуклы, но пересечение опять пусто .
ТеОРИR меры
p'(A~A.) < ~.
Меру Лебега р(А) измеримого множества А полагают равной Э) р'(А).
8 плоском случае.
7) Т. е. I'(П) '"
=L I'(П n ). если множества П N попарио не пересекаются и П = UПN .
n n
46 Глава З. Теория меры
JI(A) =L Рn
CII n ЕА
получается и-аддитивной.
но liт р(п n )
....00
= 00 .
3.2. О подоплеке
меримых множеств».
11) ОписаНИА компьютерных программ сеRчас ник1О не читает (иначе вреМА уходит
а песок). а сами программы делаЮТСА так, чтобы легко было ДOraд8TЬCA. Похоже, этот
рецет будет находнть все большее применение во всех сферах JКИзни, в 10М числе -
в математических текстах.
... Паложнм
Х: = u{ж Ifj(Ж)
1="
: - f(ж)1 ~ ~} .
Очевидно, р ( n
n=1
Х:) -+ о при n -+ 00 и любом фиксированном k. Поэтому
по любым Е >О И k можно указать такое n(k). что р(Х:(,,)) < Е/2". Требованиям
теоремы удовлетворяет множество
CIO
Х, = U Х:щ. ~
,,=1
f
А
f(x) dl'(x) = LYnl'(An),
n
(З.4)
Затем функцию
f(x) определяют как интегрируемуюпо Лебегу
на Х, если существует сходящаяся почти всюду 15) к f(x) после
довательностьсуммируемых на Х простых функций fn(x). Предел
f
х
f(x) dl' числовой последовательности f
х
fn(x) dl' в этом случае
оБЪЯШ1яется интегралом Лебега. Используется таюке обычное обо-
I/n(ж) - 9n(ж)1 -+ О
1/n(ж)
х
dlJ,
т. е. интеграла Лебега.
определим
!
А
dp = р(А); !Iа/(ж) + рg(ж)) dp = а ! f(ж) dp + Р ! g(ж) dp;
А А А
!/(ж) dp и !1/(ж)1 dp
А А
ао
/
СOSЖ
--dж
ж
I
сушеству~, 8 Лебеra - нет.
З.5. Пространства L, н L oo 55
3.5. Пространства L) и L oo
в разделе 3.4 при .пополнении.. множества простых функций
по метрике (3.5) было построено, по существу, пространство
L1
функций, интегрируемых по Лебеry. Затем было установлено сов
пацение L 1 с множеством всех, измеримых на Х, функций.
Поскольку .пополнение .. осуществлялось нестандартно 19), об
L 1 имеет смысл сказать еще раз. L 1 - оонахово пространство
измерuмых на Х функций 20) с нормой
и метрикой
poo(f,g) = ess sup I/(x) - g(x)l·
в случае ",(Х) < 00, очевидно, L oo С L 1•
3.6. Ассортиментсходимостей
V
n.ак
Jn --t
n.В. /
, так и
Jn L
~
1 /
, - влекут за
~~ ~ сходu.мocть
CvvOU
ПО 'мере.
00
8j = U и•• ,
t=j
p(8 j ) < E6 t•
t=j
имеет предел, откуда следует '" ~ '. Эro впечет за собой (3.8) - но пока
не гарантируется, что f - поточечный предел fn. Однако по теореме 3.6.1
из fn(ж) можно извnечь подnоследовательность fn~ !!:!+ '. ПРИСОllOкynление
монотонности в итоге дает In --+ f .
П.В.
~
! /п(х)
х
dp(z) < 'У и /п ~ /. Тогда
/ с L1 и ! /(х)
х
dp(z) < 'У.
Тогда ряд
00
f
х
I/n(z) - /(z)1 d~(z) -+ О ~
Представление меры
~(A) = d~ f
А
II(A) f
= /(х) d~(z)
А
(3.9)
! /'(ж)
а
dx = ЛЬ) - /(а), (3.10)
I /'(х)
I
dx = О,
о
! IIЖ(8), и(8))
I
ж(t) = ж(О) + d8
О
! Х(8)
I
ж(t) - ж(О) = ds
О
I
а
f(s) ds
Если сумма
n
2: J(~j)[Ф(tj) - ф(tj-J)I, а = t o < t. < ... < t n = Ь,
j=1
! /(э) dФ(s).
а
(3.11 )
Интеграл Лебега-Стилтьеса
f лэ) dФ(s)
а
Ь Ь
fа
I(s) dф(s) = ЛЭ) dlJф·f
а
А х В, А С Х, В с У, (3.12)
nроизведение мер определяется как
! ! IJ(Ож)
то
! f(ж) dж ~ /(Ь)
ь
- /(а).
ь ь
z - у, если {ж - у} рационально,
Компактность
I
жdж
J = f
о
1+ (у'р'
у(О) = О, y(l) = I
При чтении литературы надо иметь ввиду, что данной области со
путствует определенная термиНОЛOiическаR неразбершш. Компактность
М С Х иHOiдa называют компактностью в себе, а предкомпактность -
компактностью в Х, или просто компактностью, окончательно смешивая
карты. Не lO80pR о том, что компактность в данном выше определении
называют также 6икомnактностью.
В Ш/ьтернативной терминологии есть своя логика. Определение nред
комnактного множества на самом деле nодразумевает, что 06ЪeJtC11ющее
пространство оговорено. В nративном случае возникает неоднозначность.
Множество рационШ/ьных точек из (О, 1) предкомпактно в К, но не nред
компактно в пространстве рационШ/ьных чисел. Конечно, можно требо
вать полноту Х, но mOAl возникает свой диапазон ВО]AfОЖНЫХ оговорак.
УпражненИJl 51
3) ДЛЯ построения {Жn} достаточно брать на п-м шаге любую точку ЖN. отстояшую
от всех предыдущих {ZI, ... , Zn-I} более чем иа о.
4) В силу оп -+ О.
5) Напомним, что в .лекциях- упражнения вбольшеll степени являются списком опорных
точек.
если МСПGо.
о
M;2 CM;I'
также не имеющее конечного покрытия из {G o }.
Индуктивное продолжение npouecca дает последовательность вложенных
компактов, диаметры которых стремятся к нулю, и потому имеющих в пересе
Примepw
компактно 8) •
Для построения t:-сети целое n выбирается из условия 1/2 п -
2
• < t:,
И каждая последовательность х = {xl •...• х п •••• } заменяется точкой
е; = {О ..... 0.1.0....} Е ii
расположены друг от друга на расстоянии .J2. что исключает возможность по
строения t:-сети при достаточно малом t:. •
Ix(t() - x(t2)1 ~ Е
fI
/(х) = !
о
2
x (t) dt
... ,
очевидно, являются шарами в L N тех же радиусов, Е и 1, причем Б.' ... , Бп
покрывают Б, и поэтому их объем в сумме больше объема Б, что означает
ru;N ~ 1, а это невозможно при больших N. •
Топологический ракурс
5.1. Топологическиепространства
=>
• Пересечение любого множества топологий - есть топология. (?)
Примepw
_ ~ 2- k Pk(X - у)
р (Х, у ) - LJ ()'
k=1 l+PkX-у
"рнмеры
Экзотическиепримерытопологийтипа пространстваслиnшихсято
чек либо связного двоеточия рассматриваются, как правило, чтобы
понять, какого рода «опасности,.сопутствуютобщим рассуждениям.
Наиболее массовыми и мотивированными примерами служат мет
рические пространства. Но здесь топология дает лишь новый язык.
V с П(L + 2- k V),
k=1
I~) Под суммой множеств подразумевается множество сумм пар элементов. Молчалнво
I
нспользуется Т8JOКe "2 L = L.
16) По Бохнеру.
86 Глава 5. Топологический ракурс
Линейные операторы
в нормированных проетранетвах
В обычной ситуации
m
Yi =L aijXj (i = 1' ... ,n),
j=1
Тривиальный факт:
• Линейный оператор, непрерывный в какой-либо тОlfке, непрерывен - в любой
другой, т. е. на всем пространстве. (1)
Норма оператора Gж = !
n
G(t, s)ж(s) ds в с(п) определяется равенством
IIGII = т~x
'ЕП
!
n
IG(t, s)1 ds. (1)
IIАжllЕ, ~ 71IжIIЕ.,
Ли) 1= /(v).
(Е·)· = Е··,
как ПРОС'J1)анство линейных функционалов на Е· , разумеется, так
же банахово. Любой вектор х Е Е можно рассма'J1)ивать как эле
мент из Е··, если в /(х) = и, х} Функционал / Е в· считать
переменным, а х - фиксированным. Тогда и, х} определяет не
который функционал, определенный на В·. Но отсюда не следует,
что Е·· тождественно Е, поскольку могут существовать функци
оналы I{J : Е· ~ IR, не представимые в виде (/, х). Если таких
функционаловнет, ПРОС'J1)анствоЕ называетсярефлексивным, и его
можно отождествитьс В··. В общем случае Е С Е·· (с точностью
до изоморфизма).
1
I(ж) = ! ж(t)у(t)
О
dt, y(t) Е L,[O, 11, -+- = 1.
Р q
1 1
! ж(t)
1
Норма функционала оказывается равна вариаuии Функции у, 11111 = VOI (у). Таким
образом. сопряженным С оказывается пространство функций с О'1>8ниченной
вариацией 10).
"
Ilжll = тах Iж;1 I
11111 = Е 1/;1.
;=1
11) См.: Босс В. Лекции по мап:матике: Линейная апreбра. Т. 3. М.: УРСС, 2005 -
о двойственных нормах.
6.4. Слабая СХОДИМОСТЬ 95
УпрaжнeнJUI
1)) Множсство n слабо 3QМICHyтO, сели слабый предел каждой слабо сходящейся последо
вательности ЭJ\смснтов из n принaдnсжит П.
6.5. Слабая компактность 97
ж
""
= ~(ж,е")е,,,
,,=0
откуда ясно, что коэффициенты Фуры (ж, е,,) образуют квадратично суммируемую
последовательность, что влечет за собой (ж, е,,) -+ О при любом ж Е Н, т. е.
е" ~o. ~
ID ID
ХN ---+ х, уn ---+ у,
взаимоотношения с реальностью.
В· = {/ Е Е· : 1/(x)1 ~ 1, х Е В} (6.6)
слабо компактен.
в (6.6) шар В можно заменить любой окрестностью нуля П. Torдa П' будет
полярой П.
Ynражиени8
ЖI
что % = "2 + %1· Повторяя аналогичный шаг дЛЯ %1 Е B(t/4, О) и так далее,
Uп{(Х-ж)п(-х+ж)}=Е,
n=1
(,\ Е Л)
стью В(е, О) (лемма 6.6.1). Шар В(е, О) С Х" при любом ~ Е Л, откуда IIАлl1 ~ е- '
у всех операторов А". •
Пример
Интегральное nреооразованиеfuлЬ6ерmа
" ж(s)
Gж=
1 --ds,
t-s
где интеграл понимается в смысле главного значения, несмотря на синryлярную
жп Е ОА , ЖП ---? Ж, Аж п ---? У ~ Аж = у.
Для этого необходимо и достаточно, чтобы 24)
Ж П ---? О, Аж п ---? У ~ У = О.
Решения уравнения Аж = у называют обобщенны.ми решениями
уравнения Аж = у. Замыкание оператора дифференцирования в L 2
называют оператором обобщенного дифференцирования.
(1 - А)-' =L Аn ,
n=О
• Оператор
Gж = !
n
G(t, s)ж(s) ds (6.10)
!!
I I
вполне непрерывен как оператор из L" в L" (I/p + I/q = 1). (?)
00
УпpaJUIeНIUI
! ж(t)
I
J(ж) = dt
о
исключением.
IXI
КА = UAB n ,
n=1
Xk = (1 - А)Жk + AXk -+ У + z,
что под действием оператора А переходит в АЖk -+ А(у + z), влекушее за собой
z = Ау + Az, откуда
у = (I - А)(у + z) Е Rtl-A•.
6.12. Проекторы 109
6.12. Проекторы
Щ Результат сохраняет силу В обшей ситуации вполне непрерывного оператора А :EI -+ Е2.
ЗЗ) Вектор Ж называется nрое"цuеli вектора z на Х параллельно У, если z =
ж + 1/. Гдс
жЕХ,1/ЕУ.
110 Глава 6. Линейные операторы
6.13. Дополнение
(6.12)
; - 1
l:1 j = [ Т' 2n
i] ,
!
ь
и со скалярным произведением
7.1. Преамбу.nа
УпражненИJI
7.2. Ортонормированныйбазис
-
орmогональныu всем {fl •...• /.-I}. после чего HopMupyemCR. /. = (h••~h.) 1{2 . И так
далее. ~
Числа
n
откуда ~:)x, ej)2 ~ Ilx11 2 , что при n -+ 00 переходит в неравенство
j=1
Бесселя
00
00
n
В случае полной системы частичные суммы X~ = L(X, ej)ej
j=1
Сходятся к Х Е Н (по норме), что приводит к разложению любого
116 Глава 7. Операторы в гильбертовых пространетвах
Ж = I:(ж, ej}ej.
j=1
7.3. ОртогональныерАДЫ
!
ь
Ь
II<Pnll = (<Рп, <рп}'/2 = (
!
а
<p;(t) dt
) 1/2
= 1. (7.3)
I
ь
Для законности этоro трюка необходима сходимость ряда (7.4) к /(t), для
чеro требуется полнота системы {rpn} (см. далее).
ь n 2
n
L CkQk(X)
k=O
2М L z ср(lc) = 2МР {I Х 1
+ .~. + ХN - tl > 6}.
м
Закон больших чисел для этой величины дает оценку сверху6) --2. В результате
2n6
If(t) - Bn(t)1 -+ О при n -+ 00 равномерно по t. ~
(А + В)" = А' + В", (АВ)" = В" А', (Н)" = ХА', IIA"II = IIAII.
Самосопряженный (или эр.мuтов) оператор А определяется ра
венством IА· = А 1·
5) Здесь Х; = I с веРОЯТНОСТЬЮ t и Х; = о с веРОЯТНОСТЬЮ 1- '.
6) См.: Босс В. Лекции по маn:матике: Вероятность, информация, статистика. Т.4. М.:
УРСС,2ОО5.
1) До тех пор, пока речь не заходит о преобразовании переменных - см. (3, т.31.
120 Глава 7. Операторы в гильбертовых пространствах
... Очевидно,
... Пусть
'Рn(х) = (ж, Ах n )
Ri = kerA',
А2 = '21(А- А).
,
ао sin kж
• Ряд Е --k- сходится при любомдействительномж к некоторойфункции
1=2 In
f(ж), не интегрируемой по Лебегу. (?)
Обобщенные функции
f
00
2) В жизии иикогда ие удается решить что-нибудь раз и навсегда. Все время требуется
Пlбкость. Вариант выбора D не является единственным. Для ДРУПlХ целей больше подходят
другие способы задания []I. В частности, - при изучении преобразования Фурье обобшенных
Функций [6\.
]) Измеримая функuия 'i'(ж) финитна, если имеет ограничеиный носитель - наименьшее
замкнутое множество supp 'р. вне которого 'i'(Ж) = О почти всюду.
4) Например. при определении дифференцирования. И не только.
8.1. Основные понятия 125
00
n = Usupp I{)n,
n=1
ющий в 11)) по правилу I (о, rp) = rp(O) 1. в рамки (8.1) это не укла
дывается, но для достижения единообразия чисто условно пишут
J
00
.......
-('() -CI:I
Isiпnж
/n(ж) = ---о
11' Ж
в частности,
8.2. Дифференцирование
f f f(х)'Р'(Х)
00 00
а поскольку
/(x)'P(x)l~oo = о
в силу финитности 11', возникает простое правило переброски произ
водной 11)
(8.6)
О
dx = <р(О) = (6, <р),
откуда 8' = 6.
Дифференцируемость без всяких ограничений - одно из глав
ных достижений теории обобщенных функций, почему, собственно,
последняя широко применяется в дифференциальных уравнениях.
Важно и другое. В определенном смысле на обобщенные функ
ции можно смотреть как на обобщенные производные непрерыв
ных функций. Дельта-функция, например, есть вторая производная
1
f(x) = '2lxl. За деталями точных формулировок можно обратиться
к[6,17].
1
00
f 6(х f
00 00
d d6 d/
-(6*/)=-*/=6*-,
dx dx dx
что является частным случаем общего правила дифференцирования
8.4. ДифференциаЛIIНII.еуравнения
Lx(t) = 6(t).
Если x(t) фундаментальное решение, то решение (8.8) получается
сверткой x(t) с правой частью /(t), поскольку
(8.10)
00 1 00
00
«р(ж) dж
Вот другой пример:
!
-00
--ж-' Выход из положения возможен, если тому
!00
«р(ж~ dж = !00
«p~0) dж,
-m -~ -~
f '(Х)'Р(Х)
00
14) Эro хороший при мер на тему необходимости понимаНИII обсТОIIТельств :sa кадром.
Глава 9
Уравнения
Ах=у
1) доказательства. в краАнем случае. можно наАти в 1141. См. тalOКe следующиА ра:шел,
где можно почерпнуть некоторые схемы рассуждеииА.
134 Глава 9. Уравнения
I
1
с ядром
8el/l2-1
если
G(t, 8) = ' 1/1_12
{ t, если te ,.:; 8 ,.:; 1,
Интегральное уравнение
!
ь
J
ь
4) ТО _ сопряженный оператор.
'1 Число которых совпадает. (!)
9.3. "ФреДГОЛЬМОВЫ» уравнения 137
N, = ker (1 - Т) i= {О}.
N, С N2 С ... N t С ... ,
где N t обозначает нуль-пространство оператора (1 - T)t . действительно. для лю
бого ненулевого х, Е N, уравнение (1 - Т)х = х, имеет решение Х2 rt N 1• причем
•
(1 - S)ж = (1 - Т)ж + ~)Жj, Ж)/j, (9.1)
j=1
Поскольку ядро ker(I - Т') и образ R/- T OPTOrOH8JlbHbl 8), то все fj в (9.1)
перпендикулярны любому вектору (1 - Т)ж. Поэтому (1 - S)z = о имеет только
ТРИВИ8JIЬНое решение. Но тогда (1 - S)z = fn+I, т. е.
n
(1 - Т)ж + E(Zj, z)fj = fn+1 (напомним, n < т) (9.2)
j=1
имеет ненулевое решение, что невозможно. После умножения (9.2) СК8JlЯРНО
на fn+1 - справа получается единица, слева - нуль, потому что ядро ker (1 - Т')
и образ R/- T • как уже отмеЧ8JIОСЬ, OPTOrOH8JlbHbl друг другу.
Ситуация n >т при водится к противоречию аН8JlОГИЧНО. ~
9.4. Последовательныеитерации
(9.3)
Zl = Аж о +у,
Ж2 = А Ж 0 + Ау + у,
2
........ ,
Zk = Akz o + Ak-1y + ... + Ау + у.
2 k 2 1
11/ + А + А + ... + А + .. ·11 ~ 1+ IIAII + IIAII + ... = 1_ IIAII'
что влечет за собой сходимость хА; к решению уравнения
х = Ах+у,
соответственно,
Ах =у и (А + дА)(х + дх) = у,
то аналогично предыдущему:
О'(А) = IIAII'IIA-111,
называемая число,М обусловленности оператора А.
Ах=у
n
ХП = LCjej
j=1
9.6. Регуляриэация
!
I I I
Gx =
о
G(s, t)x(s) ds = y(t), !!
о о
2
G (s, t) ds dt < 00.
142 Глава 9. Уравнения
1> О,
(9.5)
9.7. Дополнение
ж(t) -1
00
о
k(t - ,)ж(,) d, == II(С),
Спектральная теория
10.1. Ориентировка
(10.1 )
Ах = ~x.
Собственные значения ~j попадут на диагональ 1), а собственные векторы бу
дут вектор-столбцами матрицы Т. После этого любую задачу, где фигурирует
'i/ = т- 1
АТу, у(О) = т-1жо.
Если имеет место (10.1), то это -развязывает .. исходную динамическую систе
му. В новых координатах система 'i/ = т- 1 АТу распадается на независимые друг
от друга скалярные уравнения 'i/t = 'лtУt , интегрирование которых по отдельности
дает
т. е. в векторном виде
[
ел ,
' ...
ж(t) =Т ~
k1Г
иk(Ж) = sin -Ь-ж.
-а
k=I.2•.... (10.3)
u(х) = -\! а
G(x, у)u(у) dy.
Gu = !
а
G(x, у)u(у) dy
00
и(х) = L {kUk(X),
k=l
Операторы А : Е' ,
~ Е продолжаются на Е по правилу
Ах= ~x
Аж(t) = tж(t),
действующего в С[О, 1). Очевидно,
(А - .лI)ж(t) = (t - -Л)ж(t) =О
]) Не взаимно однозначен.
4) Не налАется отображением .на •.
~) Подпространство L называется Иllвариантным, если из ж Е L следует Аж Е L.
148 Глава 10. Спектральная теория
(А - Лl(lж(t) = tж~t~,
при А Е [О, 1) не ограничен'). Выводы сохраняются при замене С[О, 1) на L 2 [0, 1) .
( 10.4)
где все 7; ненулеВblе, иначе k не было бы минимально. В силу Аж; = >.;ж;,
А) -1 Аn
R('\) = (А - '\1)-1 = --,\1 ( 1 - -
,\
= --,\1 ""
00
-
~ ,\n .
(10.6)
10.2.2. Теорема. При условии 1,\1 > IIAII ряд Неймана в (10.6) схо
дится (см. раздел
9.4.) и ,\ - регулярно.
р(А) ~ IIAII.
р(А) = k-+oo
liт \!IIAkll.
... С одной стороны,
мечет за собой
р(А) ~ VIIAtll.
С другой - спектральный радиус матрицы 1 = [р(А) + ЕГ 1
А при Е >О строго
меньше 1. Поэтому II1t ll -+ о при k -+ 00, откуда
!
I
откуда 9)
Т.е.
К"
IIАnЖоlI ..;;; - , IIЖоlI,
п.
х = Ах либо х = Ах + у,
с компактными операторами А, спектральные свойства которых,
по этой причине, представляют особый интерес.
Подытожим сказанное.
10.5. Самосопряженныеоператоры
(10.7)
х = Lxnh n,
n
z = LZnhn+v,
n
ос
OD
то оnераторныuряд
00
L"Yk Ak
k=O
,
Линейная часть приращения Fzh называется дифференциалом
Фреше. Опуская имя Фреше, пользуются таюке эквивалентными
названиями: СШlьная nроuзводная и СШlЬНЫЙ дифференциал.
При дифференцируемости F в каждой точке Z С n и непре
рывности F; как оператора из nв &(E 1, Е2), оператор F называ
ется непрерывно дифференцируемым по Фреше на П. о равномерной
IIII(Z, h)11
дифференцируемости на n говорят в случае, когда Ilhll -+ о
равномерно по Z Е П.
I
I
!
I
каквС,такивL,.
6F(x, h) = F~h,
оператор F~ называют производной Гато (слабой производной) в
точке х.
~ F(I:)(O) 1:
F(ж) = L- k' Х.
1:=0 •
160 Глава 11. Элементы нелинейного анализа
J
I
d ,
dTF[y + Т(Ж - у)] =F [у + Т(Ж - У)](Ж - у).
... Из
Ip(ж) = Ip(Жо) + (V'Ip(ж), ж - жо) + о(llж - ЖоlI)
Од'Ятся к
• о
сх хнезависимо от х .
... Покажем, что любая последовательность ж t , определяемая итерациями
ж Н1
= F(жt ), ЯВllяется последовательностью Коши. Очевидно,
Т.е.
р{ж·(u),ж·(w)} ~ (l-л)-lр{F(ж·(u),u),F(ж·(u),w)}. •
Ф(х, у) =о (11.5)
назовем ЛОКШlЬНО разрешuмым в точке (хо, уо), если Ф(хо, уо) = о
и в некоторой окрестности этой точки уравнение Ф(х, у) = о
однозначно определяет неявную функцию х(у), ТОЖдественно удо
метворяющую соотношению Ф(х(у), у) == о.
Действительно, производная
Э) См. таюке (3, т. 1], глава .. Топологи" И неподвижные ТОЧКИ., где проблемаТ1fка И3JIожена
на качественном уровне.
()
Р.(Ж)Z. + о о' + Р.(Ж)Z. ж е В,
Р.ж= () ,
РI(Ж)+"'+Р. ж
где ZI,' о., Z. - конечная t-ceтb компакта Т(В), а
Т(ж) = Аж/IIАжll
в случае Ilжll = ~ IЖil отображает в себя выпуклый симплекс ~Жj = 1, все
j j
ж j ~ О. и по теореме 11.7.1 имеет неподвиJКНУЮ точку,
Аж·/IIАж·11 = Ж·,
т. е. ж· - собственный вектор матрицы А, отвечающий собственному значению
Л = IIАж·ll.
в случае друтой нормы в себя отобража.лось бы не обязательно выпуклое
множество. но roмеоморфное тому же симплексу.
6) Не обязательно телесному.
Глава 12
Положительные оператор"
через х.
n
Примеры конусов: неоmрицаmельныйорmанm R.~ в R. ; конусы
неоmрицаmельных функций К+ в С И Lp ; конус выпуклых на [О, 1]
функuий С «нулевыми конuами., х(О) = х(l) = О. НеОfl>аничен
ное число примеров дает следующий метод построения конусов.
n
Пусть n с R. - замкнутое выпуклое Оfl>аниченное множество,
n
не содержащее нуля. Тогда совокупность К(n) элементов х Е R. ,
допускающих представление
x=az, а ~ О, z Е N,
является конусом. (?) Метод представляется достаточно общим, но,
как будет видно из дальнейшего, в бесконечномерных простран
ствах чаще всего не работает.
ж ~ У, У ~ z ~ ж ~ z; ж ~ У, у ~ ж ~ ж = у.
Этим, пожалуй, обшность исчерпывается. Набор свойств знака ~ суще
ственно боraче. Например, ограниченная монотонная (Жt+l ~ Жt) числовая по
следовательность {Жt} обязательно сходится. Но последовательность, монотонная
в смысле Жt+l > Жt, будь она ограниченной хоть по норме, хоть по конусу (все
Жt -< z), - в обшем случае не обязана сходиться.
Подобных примеров существует MHOro. В то же время ясно, ЧТО в каждом
конкретном случае специфика используемоro конуса может обеспечивать наличие
дополнительных полезных свойств у отношения -<. Это соображение служит
источником интереса к изучению разновидностей конусов 2).
[и, v) = {ж Е Е: u ~ ж ~ v}
называют KOHyCHЬl.М отрезком.
о последовательности {х n } С Е,
Хl ~ Х2 ~ ••• ~ х n ~ ... ,
говорят как о возрастающей (или неубывающеЙ). Неубывающие
и не возрастающие последовательности характеризуются как моно
тонные.
12.2. Положительныеоператоры
аи <:; Z <:; {3
при некоторых а, {3 > О.
Если конус К телесен и и внутренний элемент К, то и-положи
тельный оператор называют сильно положительным.
Итерационный процесс
хо <::; ••• <::; х" <:; ••• (хо ~ ... ~ х" ~ ...),
что сразу вытекает из применения к неравенству х" ~ z"_1 опера
тора F, в результате чего х,,+ I ~ Х" И т. д.
имеем
OD
Ж = Е л- n
- I Any. (12.2)
"=О
Можно утверждать также обратное: если ряд Неймана сходится при любых У Е Е
и Iлl > а, то р(А) ~ а.
n= 1.2•...•
Если уравнение
Ах =.лх
G:I:(t) = f
П
G(t, 8):1:(8) d8. (12.5)
:l:o(t) = f
П
G(t, 8) d8.
вания в конусе (см. теорему 12.4.5) дрyrих собственных векторов, кроме хо,
Ахо = р(А)хо.
Но Torдa оператор ЛА при любом Л < р(А) cтporo отображает в себя конусны!!
отрезок. откуда следует сходнмость к нулю итераций ХНI ЛАх.t из любоro =
начальноro положения, что и означает отсутствие на окружиости радиуса р(А)
дрyrих собственных значени!!. ~
... Заметим, что элемент хо, очевидно, ПрИНaдJJежит К(и). поэтому опера
тор А также Xo-ПQllожителен.
Возьмем ПРОИЗВOllьную ненулевую точку х ~ О и обозначим через ао и {Зо.
соответственно, наи60llьшее и наименьшее из чисел а и {З, при которых
где k выбрано из условия A.t x Е к(хо). Допустим. A.t x i= vXo. Torдa элементы
A.t x - аохо и {Зохо - A.t x отличны от нуля и ПQllОЖИтельны, И поэтому найдутся
такие натуральные р и q и ПQllожительные al и а2, что
(12.6)
178 Глава 12. Положительные операторы
Если ж~Аж, то Аtж ~ А'Н ж и в сипу первого неравенства (12.6) А"ж ~ (оо+о.)Zo.
что противоречит максимальности 00. В случае ж :::; Аж аналогичным образом
получается противоречие - при помощи второго неравенства (12.6) - с опреде
лением Ро.
Теперь остается возможность Аtж = IIЖо. Если ж ~ Аж, то Аtж ~ ж, т. е.
IIЖо-Ж ~ О. Если бы элемент IIЖо-Ж был отличен от нуля, то элементы Аn(IIЖо-Ж)
TalOКe были бы отличны от нуля при достаточно больших п, но этого не может
быть, поскольку Аt(IIЖо - ж) = О. Следовательно, Аж ~ ж возможно лишь при
ж = IIЖо. Случай Аж :::; ж рассматривается аналогично. ~
12.5. Неподвижныеточки
• Действительно,
Аналогично,
откуда
Т(х) "i> х.
Тогда оператор Т имеет на К неnодвижную точку. А если дополни
тельно Т(х) 4- х при достаточно малых по норме х Е К, то Т на К
имеет ненулевую неnодвижную точку.
06 условиях
Т(х) "i> х, Т(х) 4- х
IIF(x) - F~xll
1im sup = О.
R--+oo Ilжll~R Ilxll
Оператор F:Ю называют асимптотической nРОUЗ80дной по конусу.
(12.8)
где все х n Е М.
и неровенству треугольника
предельные точки.
Сходимостъ
lim
n"oo
р(ж. ж n ) = О.
./ Последовательность {ж n } называется фундаментальнОЙ. или nоследова
тельностью Коши, если по любому Е: >О можно указать такое Н, что
т(5) = Е т(Pn ),
n
p·(A~A.) < (.
Меру Лебега р(А) измеримого множества А полагают равной р·(А).
186 Глава 13. Сводка определений и результатов
Измеримые функции
Иtrref1Iал Лeбera
где А" = {ж : f(ж) = I/n}. причем множества А" измеримы в силу измеримости
f(ж) (как прообразы точек), а ряд справа предполагается абсолютно сходящuмся.
Затем функцию f(ж) определяют как интегрируемую по Лебегу на Х, ес
ли сушествует СХОдЯщаяся почти всюду к /(ж) последовательность суммируемых
! /n(ж)
х
не оговорено противное .
ТополоrическиА ракурс
I
11/11 = inf Ilж - Жоll
%ЕЕо
(Л Е Л)
Н =LФLJ.,
./ Числа (j =
(ж, Cj) называют координатами ж Е Н относительно орто
нормированной системы {Сп},
./ Неравенство Бесселя:
ао
,f
рывен и ж n
..
Лемма
-+
7.4.1.
ж, то
Если линейный самосопряженный оператор А вполне неnре
! /(ж)~(ж) dж,
ао
(f,~) =
-ао
! 6(ж)~(ж) dж.
ао
(6,~) =
-ао
./ Некоторые формулы:
(r,~) = -(/,~'),
ж - Тж = у. / - Т' / =9
либо оба разрешимы при любых nравых частях, что соответствует исключительно
нулевой разрешимости однородных уравнений ж - Тж =О и / - т' / = О. либо одно
родные уравненUJI имеют конечное совпадающее число линейно независимых решений
n n
Ж = жо + L Jt.;ж;. / = /0 + ЕР;/;.
;=1 ;=1
где жо и /0 - какие-либо частные решенUJI исходных уравнений.
13,7, Спектральныесвойства
I ( А)-I I ао An
RЩ=(А-м)-I=-- 1-- =--~-
~ ~ ~ L..J ~n'
n=O
,f Теорема 10.2.2. При условии I~I > IIAII рRд Неймана CXoдumCR и ~ -
регулярно.
Аж = Е Jlnжnh n ,
n
т-+О Т
F(ж)
.
13.9. Положительныеоператоры
Тогда р(А) ~ 7.
Тогда р(А) ~ 7.
сх>
Ilz/l = тах
j(,t
тах IzUlЩI.
/
! lu(z)I' dz + Е ! lu(OII' dz }
I~
Ilull = {
i'i 1(,lol('/i'i
Пространство с (О,
ОО
• 1) бесконечно дифференцируемых на [О, 1) функций.
Определяющая система полунорм:
п. в. - почти всюду
Zn ~ Z - Zn слабо СХОдИтся к Z
интеfl'3Лом,чаше всего: /
-00
А => в - из А следует В
Z Е Х - Z принадлежит Х
х - замыкание Х
ess sup I(ж) (ess inf I(ж)) - сушественная верхняя (нижняя) грань I(ж)
z = ж iy + - +
комплексное число, z = r(cos VJ i sin VJ) - ero триroнометрическая
запись, ж = Re z - действительная часть, 11 =
1т z - мнимая; z= =z· ж - i1l -
комплексно сопряженное число.
R~ - неотрицательный ортант
df(t) ,
dt = I (t) - производная I(t)
ди
дж - частная производная функции u по переменной ж. Эквивалентное обозна-
чение и~