Вы находитесь на странице: 1из 31

98 Ульянов А. П.

Конспект лекций по анализу

Глава 7. ФУНКЦИОНАЛЬНЫЕ
ПОСЛЕДОВАТЕЛЬНОСТИ И РЯДЫ

7.1. Равномерная сходимость последовательности


лекция 20
21 апреля Пример. Возьмём последовательность функций fn (x) = xn на отрезке
[0, 1]. Для каждого значения x получаем сходящуюся числовую после-
рисунок довательность. Их пределы составляют предельную функцию:
0 при x < 1,

fn (x) → f (x) =
1 при x = 1.
Предельная функция разрывна, хотя все fn (x) непрерывны.

рисунок Пример. Аналогично поведение последовательности


fn (x) = arctg nx → f (x) = sgn x.
В этих примерах рассматриваются поточечные пределы. Согласно
базовому определению предела последовательности, поточечная схо-
димость fn (x) → f (x) на множестве X означает, что
∀x ∈ X ∀ε > 0 ∃N = N (x, ε) (n > N ⇒ |fn (x) − f (x)| < ε).
Зависимость N от ε характеризует скорость сходимости; при поточеч-
ной сходимости эта скорость может существенно зависеть и от точки x.
Равномерная сходимость. Отличие равномерной сходимости от по-
точечной в том, что скорость сходимости не зависит от точки.
Определение. Последовательность функций fn : X → R равномерно схо-
дится на X к функции f , если
∀ε > 0 ∃N = N (ε) ∀x ∈ X (n > N ⇒ |fn (x) − f (x)| < ε).
Равномерная сходимость обозначается через fn (x) ⇒ f (x).
Природа множества X здесь никакой роли не играет. Можно счи-
тать, что X ⊂ Rk . Дальше потребуется, чтобы X было компактно и
измеримо (по Жордану). При необходимости уменьшить затрудняю-
щий продвижение дискомфорт, первоначально полезно думать, что X
является просто отрезком числовой оси.
Определение. Равномерной нормой числовой функции ϕ на множестве X
называют
kϕkX = sup |ϕ(x)|.
x∈X
Когда X ясно из контекста, в обозначении о нём можно умолчать.
Глава 7. Функциональные последовательности и ряды версия от 26 мая 2011 г. 99

Упражнение. Проверьте неравенство треугольника


kf − hkX 6 kf − gkX + kg − hkX .
Равномерная сходимость сводится к обычной сходимости
∀ε > 0 ∃N = N (ε) (n > N ⇒ kfn − f kX < ε)
числовой последовательности равномерных норм разностей, или пре-
дельно кратко:
fn ⇒ f на X ⇐⇒ kfn − f kX → 0.
Пример (Движущийся горб). Две похожих последовательности
x nx
fn (x) = , gn (x) = ,
1 + n2 x2 1 + n2 x2
поточечно сходятся к нулю на всей оси. При этом kfn k = 1/2n → 0 и рисунок
kgn k = 1/2. Поэтому fn ⇒ 0, но gn → 0 неравномерно.
Теорема (Критерий Коши). Равносильны следующие условия на по-
следовательность функций fn :
(1) fn ⇒ f на X;
(2) ∀ε > 0 ∃N = N (ε) (m, n > N ⇒ kfn − fm kX < ε).
Доказательство. (1 ⇒ 2) По неравенству треугольника
kfn − fm k 6 kfn − f k + kfm − f k,
и оба слагаемых правой части стремятся к нулю при m, n > N → ∞.
(2 ⇒ 1) Для каждого x ∈ X последовательность {fn (x)} фундамен-
тальна, и по обычному критерию Коши для числовых последователь-
ностей она имеет поточечный предел f (x). Остаётся убедиться, что
сходимость fn → f на самом деле равномерная. Действительно, при
m → ∞ и фиксированном n получаем |fn (x) − fm (x)| → |fn (x) − f (x)|
для всех x ∈ X, а тогда kfn − fm k → kfn − f k. Когда первая норма
меньше ε, вторая тоже (может быть и равна, но это не проблема). 
Перестановка пределов. Нередко равномерная сходимость пред-
стаёт в ином облике: вместо дискретного (натурального) параметра
n → ∞ имеется непрерывный (вещественный) параметр y → b. В та-
ком случае речь идёт о стремлении f (x, y) ⇒ f (x, b), то есть
∀ε > 0 ∃δ(ε) ∀x ∈ X (|y − b| < δ ⇒ |f (x, y) − f (x, b)| < ε).
Это условие всегда выполнено для непрерывных функций f двух пе-
ременных, так что примеры легко найти. Наоборот, бывает, что вместо
100 Ульянов А. П. Конспект лекций по анализу

предельного перехода при y → b выбирают последовательность значе-


ний yn → b и рассматривают последовательность fn (x) = f (x, yn ).
Теорема. Если последовательность непрерывных функций fn схо-
дится равномерно, то предельная функция f непрерывна.
Доказательство. Приведём стандартное доказательство для функций
на компакте X, часто просто отрезке.
Возьмём любое ε > 0. Поскольку fn − f ⇒ 0 на X, найдём такое n,
что kfn − f kX < ε/3. Поскольку fn непрерывна, найдём такое δ, что
kx − yk < δ ⇒ |fn (x) − fn (y)| < ε/3.
По неравенству треугольника, оценим требуемую разность через три,
уже оценённые третями:
|f (x) − f (y)| 6 |fn (x) − fn (y)| + |fn (x) − f (x)| + |fn (y) − f (y)| < ε.
Итак, по произвольному ε > 0 мы нашли такое δ = δ(ε) > 0, что
kx − yk < δ ⇒ |f (x) − f (y)| < ε.
Отметим, что δ не зависит от x. Здесь и нужна компактность X:
тогда ввиду теоремы Кантора функции fn равномерно непрерывны, и
рассуждение даёт равномерную же непрерывность предельной функ-
ции f . Однако, предположение компактности легко отбросить, чуть
изменив доказательство: тогда x ∈ X изначально фиксируется, а δ
зависит от x. 
Получается, что равномерная сходимость делает возможной пере-
становку пределов:
lim lim fn (x) = lim lim fn (x).
x→a n→∞ n→∞ x→a
В случае непрерывного параметра y аналогично указывается доста-
точное условие для перестановки предельных переходов при x → a и
y → b: это равномерное стремление f (x, y) на некоторой окрестности
предельной точки (a, b) хотя бы по одной из букв:
f (x, y) ⇒ f (x, b) либо f (x, y) ⇒ f (a, y).
Интегрирование и дифференцирование. Эти операции анализа
основаны на предельных переходах. Поэтому равномерная сходимость
функциональной последовательности существенна для интегрирова-
ссылка ния и дифференцирования предельной функции. Ранее в разделе об
интегралах, зависящих от параметра, понятие равномерной сходимо-
сти было намеренно утаено, хотя оно там естественно.
Глава 7. Функциональные последовательности и ряды версия от 26 мая 2011 г. 101

Теорема. Если последовательность интегрируемых функций fn на


измеримом компакте X сходится равномерно, то предельная функ-
ция f интегрируема и
Z Z
f = lim fn .
X n→∞ X

Доказательство. Для начала, вспомним понятие колебания функции ссылка


на множестве. Приём оценки искомого колебания схож с использован-
ным в предыдущем доказательстве: разделяя разность на три слагае-
мых, перейдём к точным верхним граням и получим
ωA (f ) 6 ωA (fn ) + 2kfn − f kA
на любом A ⊆ X. Для расхождения между суммами Дарбу мелкого
разбиения множества X это даёт

U (f ) − L(f ) 6 U (fn )) − L(fn ) + 2µ(X) · kfn − f k.
При измельчении разбиения скобка справа стремится к нулю, ибо fn
интегрируема. Мера X конечна, поэтому последнее слагаемое стремит-
ся к нулю ввиду равномерной сходимости. Поэтому U (f ) − L(f ) → 0,
так что предельная функция f интегрируема. Далее,
Z Z

(fn − f ) 6 |fn − f | 6 µ(X) · kfn − f k → 0,

X X
и последовательность интегралов от fn сходится к интегралу от f . 
Пример. Последовательность функций fn равномерно сходится к ну- рисунок
лю, но их интегралы равны 1. Здесь X = R и µ(X) = ∞.
Теорема. Если на промежутке ∆ функции fn гладкие, fn → f и
fn0 ⇒ g, то f гладкая и f 0 = g.
Доказательство. Возьмём a ∈ ∆. По формуле Ньютона — Лейбница,
Z x
fn (x) = fn (a) + fn0 (t) dt
a
для всех x ∈ ∆. По предыдущей теореме, в пределе при n → ∞
Z x
f (x) = f (a) + g(t) dt,
a
причём g непрерывна на ∆ как равномерный предел непрерывных
функций. Значит, f гладкая. Дифференцируя правую часть, получим
f 0 = g. 
102 Ульянов А. П. Конспект лекций по анализу

7.2. Равномерная сходимость ряда


подраздел
Говорить о ряде или о последовательности — вопрос удобства, ибо
эти понятия равносильны по существу; от ряда переходят к после-
довательности его частичных сумм и, наоборот, элементы последова-
тельности
P {an } представляют как частичные суммы ряда разностей
(ak − ak−1 ). Эта же схема спокойно применяется к функциональным
последовательностям и рядам.
P
Определение. Функциональный ряд ϕn равномерно сходится на мно-
жестве X, если там равномерно сходится последовательность его ча-
стичных сумм. При этом предельная функция называется суммой ряда.
Упражнение.
P Данное определение равносильно условию, что хвост
k>n ϕk этого ряда равномерно сходится к нулю на X.
Следствие. Если на множестве X функции ϕn непрерывны и ряд
P
ϕn сходится равномерно, то его сумма непрерывна.
Доказательство. Ввиду непрерывности равномерного предела после-
довательности непрерывных частичных сумм ряда. 
Теорема Дини?
Ещё два следствия касаются почленного интегрирования и диффе-
ренцирования функциональных рядов.
Следствие.
P Если на измеримом компакте X функции ϕn интегри-
руемы и ϕn ⇒ f , то
Z XZ
f= ϕn .
X X
Доказательство. Близость частичных сумм проинтегрированного ря-
да к интегралу от его суммы оценивается как
Z Z Z X Z
XZ X
f− ϕk
= f − ϕ k
6
f − ϕk ,

X k6n X X X k6n X k6n
то есть интегралом от хвоста ряда, который не превосходит произведе-
ния µ(X) < ∞ и стремящейся к нулю равномерной нормы хвоста. 
P
Следствие.
P 0 Если на промежутке ∆ функции ϕn гладкие, ϕn ⇒ f
и ϕn ⇒ g, то f гладкая и f 0 = g.
Доказательство. Иначе противоречие с предыдущим следствием. 
Теорема (Мажорантный признак Вейерштрасса). Если для функцийP
kϕn kX 6 γn и числовой ряд
ϕn найдутся такие числа γn , что P γn
сходится, то функциональный ряд ϕn сходится равномерно на X.
Глава 7. Функциональные последовательности и ряды версия от 26 мая 2011 г. 103

Доказательство. Для каждого x ∈ X все конечные суммы


X X
|ϕk (x)| 6 γk
k6n k6n
P P
ограничены сверху суммой ряда γn , поэтому P ряд ϕn (x) абсолютно
сходится. Обозначим его частичные суммы k6n ϕk (x) через fn (x) и
его сумму через f (x). Тогда его хвост оценивается как
X X X
|f (x) − fn (x)| = ϕk (x) 6 |ϕk (x)| 6 γk .

k>n k>n k>n

P это верно для всех x ∈ X, заключаем, что kf − fn k → 0, а


Поскольку
значит, ϕn ⇒ f . 

7.3. Круг сходимости степенного ряда


лекция 21
Первый важный тип функционального ряда — это степенной ряд 25 апреля
X
an (x − x0 )n
n>0

с постоянными числовыми коэффициентами an . Обычно удобно пе-


рейти к новой переменной, избавляясь от x0 . Ряды Тейлора являются
примерами степенных рядов.
Комплексные ряды и первая теорема Абеля. Вещественные сте-
пенные ряды имеют различные области сходимости.
P n
Пример. Ряд x /n! сходится на всей оси к ex .
P n
Пример. Ряд x сходится только при |x| < 1.
n!xn сходится лишь в одной точке x = 0.
P
Пример. Ряд
Оказывается естественным рассматривать степенные ряды не с ве-
щественной переменной, а с комплексной. Они играют ключевую роль
вPкомплексном анализе. Поэтому в дальнейшем будем изучать ряды
an z n , позволяя также комплексные коэффициенты an . ссылка?
an z n сходится при z = z∗ 6= 0, то
P
Теорема. Если степенной ряд рисунок
он абсолютно сходится в круге |z| < |z∗ |.
Доказательство. Слагаемые сходящегося ряда ограничены: существу-
ет такое c > 0, что |an z∗n | < c для всех n. Для любого значения z в
указанном круге имеем
|an z n | = |an z∗n (z/z∗ )n | < cq n , где q = |(z/z∗ )n | < 1.
104 Ульянов А. П. Конспект лекций по анализу

P n
Тогда геометрическая прогрессия cq сходится, и по признаку срав-
n
P
нения ряд an z абсолютно сходится. 

Определение. Радиусом сходимости степенного ряда an z n называется


P

an z n сходится}.
P
R = sup{|z| : ряд
При этом 0 6 R 6 +∞.
Следствие.
(1) при |z| < R ряд абсолютно сходится;
(2) при |z| = R требуется дополнительное исследование;
(3) при |z| > R ряд расходится.
Доказательство. (1) Найдётся такое z∗ , что |z| < |z∗ | < R.
(3) Сходимость при таком z противоречит определению точной верх-
ней грани. 

Пример. Без выхода в комплексную область загадочно выглядит уже


знакомый ряд для арктангенса:
X
arctg x = (−1)n x2n+1 /(2n + 1),
сходящийся только при −1 6 x 6 1, хотя у функции arctg x точки
x = ±1 ничем не примечательны.
Проблемные точки в действительности находятся в z = ±i, откуда
R = 1. Разложение в степенной ряд функции
Z x
dt
arctg x =
0 1 + t2
эвристически получено интегрированием разложения рациональной
функции, знаменатель которой имеет корни ±i. Почленное интегриро-
вание ряда и сохранение круга сходимости при нём обоснованы ниже.
Для определения комплексной функции arctg z годится тот же инте-
грал, становящийся криволинейным, но при обходе особых точек ±i
возникает неоднозначность.
Теорема. Для каждого r < R степенной ряд сходится равномерно
на круге |z| 6 r.
Доказательство. В точке z∗ = r ряд сходится абсолютно, а при |z| 6 r
имеем |an z n | 6 |an |rn . Сходящийся ряд |an |rn является мажорантой,
P
так что утверждение о равномерной сходимости следует из признака
Вейерштрасса. 
Глава 7. Функциональные последовательности и ряды версия от 26 мая 2011 г. 105

Говорят также, что степенной ряд сходится равномерно на любом


компакте внутри своего (открытого) круга сходимости.
Следствие. В круге |z| 6 r < R сумма степенного ряда непрерывна.
Формулы Даламбера и Коши — Адамара. Радиус сходимости
степенного ряда можно вычислить по двум формулам, основанным на
простейших признаках сходимости числовых рядов.
Теорема. Если an 6= 0 и существует
L = lim |an+1 /an |,
n→∞
an z n равен 1/L.
P
то радиус сходимости ряда
Доказательство. Находим
lim |an+1 z n+1 /an z n | = L|z|.
n→∞
По признаку Даламбера сходимости числовых рядов, при |z| < 1/L
получаем сходимость, а при |z| > 1/L — расходимость. 
Формула Даламбера наиболее проста, поэтому к конкретному ряду
следует сперва пытаться применить её. Формула Коши — Адамара
универсальна.
an z n равен 1/L, где
P
Теорема. Радиус сходимости степенного ряда
p
L = lim sup n |an |.
Теоретическое преимущество верхнего предела над обычным в том,
что верхним пределом обладает всякая последовательность. осень

Доказательство. Находим
p
n
lim sup |an z n | = L|z|.
Далее применяем признак Коши, и опять сходимость определяется
видом знака неравенства в |z| < 1/L.
Отметим, что при L = ∞ нет точек z 6= 0, для которых можно
установить сходимость, а при L = 0 нет точек, для которых можно
установить расходимость. 
Пример. Возьмём ряд Тейлора для sin x:
X
(−1)n x2n+1 /(2n + 1)!.
Верхний предел√в формуле Коши — Адамара равен пределу последо-
вательности 1/ m m! → 0. Значит, R = ∞. рисунок
106 Ульянов А. П. Конспект лекций по анализу

Придти к этому выводу «в духе» формулы Даламбера тоже можно,


но приходится схитрить, чтобы обойти предположение об отсутствии
нулевых коэффициентов: a2n+1 /a2n−1 = 1/2n(2n + 1) → 0, либо ис-
пользовать комплексную экспоненту.
Интегрирование и дифференцирование ряда. Теперь можно
обосновать некоторые операции с рядами, ввиду важности их прило-
жений использованные с вещественной переменной ещё в самом начале
курса.
Лемма. Радиус сходимости степенного ряда сохраняется при следу-
ющих преобразованиях ряда:
(1) умножении либо делении на z;
(2) умножении либо делении всех коэффициентов an на n.
Доказательство. Хотя тут в обоих случаях следует оговорить, что
деление не затрагивает слагаемые с n = 0, одно слагаемое не влияет
на сходимость ряда. P
an z∗n и z∗ an z∗n либо оба сходятся, либо оба
P
(1) Числовые ряды
расходятся. Затем применяем первую теорему Абеля.
nan z n :
P
(2) Найдём радиус сходимости ряда
p
1/R = lim sup n |nan |.
Можно перейти от верхнего предела произведения к произведению
√ p
(lim n n)(lim sup n |an |),
ибо первый предел равен 1. 
an z n
P
Теорема. Если функция f (z) представима степенным рядом
в круге |z| < R, то она там имеет первообразную
X an
F (z) = F (0) + z n+1
n+1
n>0

с произвольной константой F (0).


Доказательство. Ряд для F (z), не считая постоянного слагаемого, по-
лучается из ряда для f (z) двумя преобразованиями из леммы: умно-
жением на z и делением на значение (нового, сдвинутого) индекса.
Значит, эти ряды имеют одинаковые круги сходимости, на замкнутых
кругах внутри которых они сходятся равномерно.
По теореме о дифференцировании равномерно сходящихся рядов
F 0 (z) = f (z) на исходном открытом круге. 
Глава 7. Функциональные последовательности и ряды версия от 26 мая 2011 г. 107

an z n
P
Теорема. Если функция f (z) представима степенным рядом
в круге |z| < R, то она там имеет непрерывную производную
X
f 0 (z) = nan z n−1 .
n>1

Это чудесная теорема. Функции, представимые степенными рядами


(аналитические) оказываются бесконечно гладкими!
Доказательство. Предлагаемый ряд получается из ряда для f (z) дву-
мя преобразованиями из леммы: умножением на значение индекса и
делением на z. Значит, на любом замкнутом круге внутри круга сходи-
мости исходного ряда преобразованный ряд абсолютно и равномерно
сходится и его суммаPнепрерывна; обозначим её через g(z). Отметим в
частности, что ряд n|an |rn−1 сходится при r < R.
Зафиксируем точку z в круге сходимости. Для δ немного меньшего,
чем R − |z| > 0, кружок радиуса δ с центром в точке z лежит внутри рисунок
круга сходимости:
|∆z| < δ ⇒ |z + ∆z| 6 r < R.
Рассмотрим на этом кружке функцию
∆f X
S(∆z) = (z) − g(z) = an sn (∆z)
∆z
как сумму функционального ряда с
(z + ∆z)n − z n
sn (∆z) = − nz n−1
(z + ∆z) − z
= (z + ∆z)n−1 + z(z + ∆z)n−2 + · · · + z n−1 − nz n−1 .
Дробь развернулась по формуле
an − bn
= an−1 + an−2 b + · · · + bn−1 ,
a−b
где справа n слагаемых, каждое из которых в данном случае не пре-
восходит rn−1 по абсолютной величине. Поэтому
|sn (∆z)| 6 2nrn−1 .
Двойка появляется из-за наличия n вычитаемых
P слагаемых z n−1 .
n−1
Благодаря отмеченной сходимости
P ряда n|an |r , по признаку
Вейерштрасса ряд S(∆z) = an sn (∆z) равномерно сходится на круж-
ке |∆z| < δ, а потому функция S(∆z) на нём непрерывна. Поскольку
S(0) = 0, в итоге получаем ∆f
∆z (z) → g(z) при ∆z → 0. Это и означает,
что f 0 (z) = g(z). 
108 Ульянов А. П. Конспект лекций по анализу

an (z − z0 )n в круге сходи-
P
Следствие (ряд Тейлора). Если f (z) =
мости положительного радиуса с центром z0 , то an = f (n) (z0 )/n!.
Доказательство. Продифференцируем исходный ряд n раз и затем
подставим z = z0 . 

7.4. Суммирование по частям


лекция 22
28 апреля Преобразование Абеля. Возьмём два конечных списка {A0 , . . . , An }
и {B0 , . . . , Bn } чисел или функций. Положим ak = ∆Ak = Ak − Ak−1 .
Следовательно,
Ak − A0 = a1 + a2 + · · · + ak .
Так же поступим со вторым списком. Очевидно,
A1 B1 − A0 B0 = A1 (B1 − B0 ) + (A1 − A0 )B0

рисунок и аналогично с любым разумным сдвигом индексов. Тогда


X X
An B n − A0 B 0 = Ak · ∆Bk + ∆Ak · Bk−1 .
16k6n 16k6n

Эту формулу можно назвать суммированием по частям, ибо она


является дискретным аналогом формулы интегрирования по частям
x=xn Z v(xn ) Z u(xn )
(uv) = u dv + du v.

x=x0 v(x0 ) u(x0 )

Интегрирование по частям позволяет перейти от одного из интегралов


к другому. Суммирование по частям применяется для перехода
A1 b1 + · · · + An bn = (An Bn − A0 B0 ) − (a1 B0 + · · · + an Bn−1 ),
нередко в замаскированном виде, и называется также преобразованием
Абеля. В частности, с его помощью устанавливается серия признаков
сходимости знакопеременных рядов и несобственных интегралов.

Вторая теорема Абеля. Первая теорема Абеля не утверждает ни-


чего о поведении суммы степенного ряда при приближении к границе
круга сходимости. Именно этот вопрос освещает его вторая теорема.
an z n сходится при z = z∗ 6= 0, то
P
Теорема. Если ряд f (z) =
функция ψ(t) = f (z∗ t) непрерывна на отрезке [0, 1].
Доказательство. Новизна здесь лишь в случае точки z∗ , лежащей на
границе круга сходимости, и поведение при t → 1− .
Глава 7. Функциональные последовательности и ряды версия от 26 мая 2011 г. 109

По критерию Коши для числовых рядов, для любого ε > 0 суще-


ствует такое N = N (ε), что
X
Sm,n (1) = ak z∗k < ε при m, n > N .

m6k6n

Когда нам удастся показать для t ∈ [0, 1], что


X
Sm,n (t) = ak z∗k tk < ε при m, n > N ,

m6k6n

an z∗n tn
P
равномерный критерий Коши позволит заключить, что ряд
сходится равномерно по t к функции ψ(t). Поскольку его частичные
суммы непрерывны, ψ(t) также непрерывна при t → 1− .
Остаётся вывести второе неравенство из первого. Наивная оценка
сверху левой части второго левой частью первого ошибочна, хотя и
верна для положительных вещественных ak и z∗ . Искомая оценка
Sm,n (t) 6 tm Sm,n (1) < tm ε 6 ε
следует из леммы Абеля. 

Лемма. Даны два конечных набора чисел: a1 , . . . , an ∈ R с условием


a1 > a2 > . . . > an > 0 и b1 , . . . , bn ∈ C. Положим
M = max |Bk |, где Bk = b1 + b2 + · · · + bk .
16k6n

Тогда |a1 b1 + · · · + an bn | 6 a1 M .

Доказательство. Удобно ввести ещё an+1 = 0 и B0 = 0.


Преобразуем искомую сумму по Абелю:
S = a1 b1 + · · · + an bn
= a1 (B1 − B0 ) + a2 (B2 − B1 ) + · · · + an (Bn − Bn−1 )
= (a1 − a2 )B1 + · · · + (an−1 − an )Bn−1 + (an − an+1 )Bn .
Значит,
X X X
|S| = (ak − ak+1 )Bk 6 |ak − ak+1 | · |Bk | 6 M |ak − ak+1 |.

16k6n 16k6n 16k6n

Поскольку ak > ak+1 , все знаки модуля можно снять, что превратит
сумму в a1 . 
110 Ульянов А. П. Конспект лекций по анализу

Признаки сходимости Дирихле и Абеля. Если в лемме Абеля


вместо конечных наборов взять бесконечные последовательности,
P то
получается признак сходимости для числовых рядов вида ak bk .
Теорема (признак Дирихле). Если последовательности {ak } и {bk }
удовлетворяют условиям
(1) {ak } монотонно не возрастает и стремитсяP
к нулю,
(2) последовательность частичных сумм Bn = k6n bk ограни-
чена,
P
то ряд ak bk сходится.
Доказательство. К любым конечным отрезкам таких последователь-
ностей применима лемма Абеля. Если M = sup|Bn |, то
|Bn+s − Bn | 6 |Bn+s | + |Bn | 6 2M,
и по лемме
X
an+k bn+k 6 an+1 |Bn+s − Bn | 6 2M an+1 ,


16k6s
P
что стремится к нулю при n → ∞. Поэтому ряд ak bk сходится по
критерию Коши. 
В другом похожем признаке сходимости ослаблено предположение
о первой последовательности и усилено предположение о второй.
Теорема (признак Абеля). Если последовательности {ak } и {bk } удо-
влетворяют условиям
(1) {ak }Pмонотонна и ограничена,
(2) ряд bk сходится,
P
то ряд ak bk сходится.
Доказательство. По теореме Вейерштрасса {ak } имеет предел. Вы-
читая его, сведём утверждение к признаку Дирихле. Тогда
X X X
ak bk = (ak − a)bk + a bk .
k6n k6n k6n

Справа вторая сумма сходится по предположению, а первая по при-


знаку Дирихле (в случае ak < a нужно вынести минус из суммы). 
Если {ak } монотонно не возраста-
Следствие (признак Лейбница). P
ет и стремится к нулю, то ряд (−1)k ak сходится.
Доказательство. Для bk = (−1)k в признаке Дирихле |Bn | 6 1. 
Глава 7. Функциональные последовательности и ряды версия от 26 мая 2011 г. 111

Несложная адаптация проведённых рассуждений даёт аналогич-


ныеPпризнаки равномерной сходимости функциональных рядов ви-
да ak (x)bk (x). Для этого в обоих признаках предполагаемая сходи-
мость также должна быть P равномерной: последовательности {ak (x)}
в признаке Дирихле; ряда bk (x) в признаке Абеля.
Другим развитием этих идей являются аналогичные признаки схо-
димости несобственных интегралов. (По ходу меняются роли букв.)
Теорема. Если непрерывные функции f , g : [a, b) → R удовлетворяют
условиям
(1) f (x) → 0 монотонно
Rx при x → 0,
(2) первообразная a g(t) dt ограничена на [a, b),
Rb
то несобственный интеграл a f (t)g(t) dt сходится.
Теорема. Если непрерывные функции f , g : [a, b) → R удовлетворяют
условиям
(1) f (x) монотонна и ограничена,
Rb
(2) несобственный интеграл a g(t) dt сходится,
Rb
то несобственный интеграл a f (t)g(t) dt сходится.

7.5. Ортогональные ряды


В этом разделе мы очень бегло обозреем начальные идеи огром-
ной самостоятельной области анализа. Ею занята значительная часть
курса «Основы функционального анализа». ??
Для пары «хороших» функций f , g на отрезке ∆ положим
Z
(f, g) = f (x)g(x) dx.

Ввиду линейности и монотонности интеграла, эта операция облада-


ет всеми свойствами скалярного произведения на линейном простран-
стве хороших функций (например, непрерывных), вследствие чего там
появляется
p геометрия. Скалярному произведению подчинена норма
kf k = (f, f ). Можно говорить об ортогональных системах функций,
обычно последовательностях: система функций {ϕk } ортогональна, ко-
гда (ϕm , ϕn ) = 0 при m 6= n.
Пример. Тригонометрическая система функций {1, cos nx, sin nx} с це-
лыми n > 1 ортогональна на отрезке [−π, π].
112 Ульянов А. П. Конспект лекций по анализу

Пример. На отрезке [−1, 1] возьмём систему степенных функций {xn }


с целыми n > 1. Они не ортогональны. Применяя метод ортогонализа-
ции Грама — Шмидта (сохраняя при том порядок функций), получим
важную систему полиномов Лежандра.
Пространства функций обычно бесконечномерны, так что нельзя
представить любую функцию конечной линейной комбинацией зара-
нее выбранного конечного набора функций. Однако можно надеяться
представить широкий класс функций суммами функциональных ря-
дов с простыми слагаемыми. Наиболее плодотворно эта идея работает
для разложений по ортогональной системе.
Предположим, что на некотором отрезке ∆ имеется ортонормиро- P
ванная система функций {ϕk } и нужно разложение f (x) = ck ϕk (x).
Чтобы найти константы ck , умножим это равенство скалярно на ϕn :
X
(f, ϕn ) = ck (ϕk , ϕn ) = cn (ϕn , ϕn ) = cn .
k
Ввиду ортогональности системы остаётся лишь одно слагаемое, так
Парсеваль?
что константа определяется.
Пример. Нужно решить уравнение колебаний ÿ + y = f (t), причём вы-
нуждающая функция f (t) имеет период 2π, но не входит в тот очень
короткий список функций, для которых можно написать решение яв-
но (тригонометрические полиномы). Разложение f (t) по тригономет-
рической системе называется её рядом Фурье. Оно позволяет решить
уравнение отдельно для каждой вынуждающей гармоники и таким
образом получить ряд Фурье для решения исходного уравнения.
Указанный подход широко применяется и для более сложных урав-
нений. Многие из них возникают при решении классических урав-
нений математической физики с оператором Лапласа. Для наиболее
распространённых типов симметрии возникают различные уравнения;
их простейшие решения образуют важнейшие ортогональные системы,
по которым раскладывают решения исходного уравнения. Например,
свойства этих систем ответственны за структуру электронных оболо-
чек в атомах. Различные аспекты этих вопросов подробно освещены
в нескольких курсах: основах функционального анализа, квантовой
механике, математических методах физики.

7.6. Мера Лебега


лекция 23
5 мая Элементарные и измеримые множества. Построим меру Лебе-
вводные? га на подмножествах пространства Rd . Параллелепипедом называем
Глава 7. Функциональные последовательности и ряды версия от 26 мая 2011 г. 113

декартово произведение P = I1 × · · · × Id , где каждый множитель


Ii = [ai , bi ] является отрезком или (редко) одной точкой. Мерой этого
параллелепипеда, естественно, считаем произведение длин
Y
µ(P ) = (bi − ai ).
16i6d

Определение. Множество M ⊂ Rd элементарно по Лебегу, если оно E вместо M


покрывается некоторой последовательностью параллелепипедов:
[
M= Pk .
Едва ли следует считать этот термин удачным, но он общепринят.
В отличие от меры Жордана, при построении которой берутся ко-
нечные наборы параллелепипедов, здесь разрешены бесконечные по-
следовательности.
Для сокращения последующих оговорок удобно считать, что парал-
лелепипеды покрытия имеют попарно не пересекающиеся внутренно-
сти: Pk◦ ∩ Pl◦ = ∅ при k 6= l. Иными словами, каждая точка является
внутренней для не более чем одного параллелепипеда.
F Введём специ-
альный значок для таких покрытий: M = Pk .
Упражнение. Если покрытие не обладает этим свойством, всегда
можно разбить его параллелепипеды на части, составленное из ко-
торых покрытие им обладает.
Лемма. Если множество F покрыто F последовательностью параллеле-
0
пипедов двумя способами, P k = P k , то суммы неотрицательных
µ(Pk0 ) равны.
P P
рядов µ(Pk ) и
F
Эта леммаP позволяет назвать мерой элементарного множества Pk
сумму ряда µ(Pk ), как конечную, так и бесконечную (когда ряды
расходятся). Обращение с множествами бесконечной меры часто тре-
бует дополнительных замечаний, поэтому впредь для простоты счита-
ем, что все рассматриваемые множества лежат в фиксированном кубе.
К общему случаю обычно переходят, замощая пространство единич-
ными кубами.
Определение. Для произвольного множества A ⊂ Rd назовём
µ∗ (A) = inf{µ(M ) | M ⊇ A и M элементарно}
его внешней мерой.
Что значит: два множества отличаются «мало»? То, что «мала» их
симметрическая разность. Это приводит к следующему определению.
114 Ульянов А. П. Конспект лекций по анализу

Определение. Последовательность множеств {An } сходится в смысле


Лебега к множеству A, если
∀ε > 0 ∃N = N (ε) ∀n > N µ∗ (A M An ) < ε.
Определение. Предел всякой сходящейся последовательности элемен-
тарных множеств называют измеримым множеством (по Лебегу).
Из этого определения практически невозможно понять, как могут
выглядеть типичные измеримые множества. Их устройство проясня-
ется несколько ниже.
Лемма. Если две последовательности {Mn } и {Mn0 } элементарных
множеств сходятся к одному множеству, то
lim µ(Mn ) = lim µ(Mn0 ).
n→∞ n→∞

Эта лемма позволяет назвать мерой µ(A) измеримого множества A


предел мер сходящихся к нему элементарных.
Упражнение. Если A ⊂ Rd измеримо, то µ(A) = µ∗ (A).
Пример. Множество A точек квадрата C = [0, 1] × [0, 1] с рациональ-
ными координатами не измеримо по Жордану, поскольку его граница
∂A = Ā\A◦ имеет положительную меру: замыкание Ā равно C, а внут-
ренность A◦ пуста, ибо любая окрестность любой точки A включает
иррациональные точки, лежащие вне A. Однако A, поскольку состоит
оно из счётного количества точек, элементарно по Лебегу и µ(A) = 0.
Некоторые свойства меры Лебега. Начнём с простейших свойств,
которыми также обладает мера Жордана.
Упражнение. Если A и B измеримы, то A \ B измеримо. Следова-
тельно, A ∪ B и A ∩ B тоже измеримы.
Упражнение. Если A ⊆ Rm и B ⊆ Rn измеримы, то A × B ⊆ Rm+n
измеримо.
Гораздо более интересны новые свойства меры Лебега. Она оказа-
лась удачно настроена, чтобы справляться со счётными бесконечными
процессами.
Теорема. Для всякой последовательности
S {An } Tизмеримых мно-
жеств измеримы объединение An и пересечение An .
Глава 7. Функциональные последовательности и ряды версия от 26 мая 2011 г. 115

Теорема (счётная аддитивность). Для всякой последовательности


{An } попарно не пересекающихся измеримых множеств,
G  X
µ An = µ(An ).

Теорема (полнота). Если множества A0 и A1 измеримы, причём


µ(A1 \ A0 ) = 0, то каждое множество A с условием A0 ⊆ A ⊆ A1
измеримо и µ(A) = µ(A0 ) = µ(A1 ).
непрерывность?
Упражнение. Каждое открытое множество элементарно. подвинуть?
Итак, все открытые и замкнутые множества измеримы. На деле,
измеримы все множества, задаваемые явной конструкцией без опоры
на аксиому выбора в любой форме. Такова сила меры Лебега. Чтобы
найти пример неизмеримого множества, аксиома выбора необходима,
но здесь мы не будем увлекаться этим предметом, изобилующим за-
нятными парадоксами.
Далее каждое упомянутое множество считаем измеримым.
Пренебрежимые множества. Особо выделяется класс множеств,
присутствие или влияние которых обычно можно не замечать, что
весьма существенно для дальнейшего углубления анализа.
Определение. Измеримое множество A называют пренебрежимым, если
µ(A) = 0. Иными словами, пренебрежимое множество является под-
множеством сколь угодно малого элементарного.
Упражнение. Каждое подмножество пренебрежимого множества
пренебрежимо.
Упражнение. Объединение последовательности пренебрежимых
множеств пренебрежимо.
Определение. Говорят, что высказывание P (x) верно почти для всех
x ∈ A, или почти всюду на A, если существует такое пренебрежимое
A0 ⊂ A, что P (x) верно для всех x ∈ A \ A0 .
Пример. Множество рациональных чисел пренебрежимо. Его харак-
теристическая функция — функция Дирихле
1 при x ∈ Q,

χQ (x) =
0 при x ∈ R \ Q
почти всюду равна нулю.
Теорема. Равносильны следующие условия на множество A ⊂ Rd :
116 Ульянов А. П. Конспект лекций по анализу

(1) A измеримо по Лебегу;


(2) существует последовательность замкнутых множеств {Fn }
и пренебрежимое множество A0 такие, что
[ 
A= Fn ∪ A0 ;
(3) существует последовательность открытых множеств {Gn }
и пренебрежимое множество A00 такие, что
\ 
A= Gn \ A00 .

7.7. Интеграл Лебега


Измеримые функции. В качестве подготовительного шага к по-
строению интеграла Лебега вводится новый класс функций на изме-
римом множестве.
Определение. Функция f : A → R называется измеримой на A, если
измеримы её лебеговские множества {x ∈ A | f (x) < c} для всех c ∈ R,
сокращённо обозначаемые через {f < c}.
Упражнение. Замена типа неравенства на {f 6 c}, {f > c}, или
{f > c} даёт равносильное определение.
{a 6 f < b}?
Теорема. Для любой последовательности {fn } измеримых функций:
(1) функции f∗ (x) = inf fn (x) и f ∗ (x) = sup fn (x) измеримы;
(2) если fn (x) → f (x) почти всюду, то f (x) измерима.
доказать?
Почти всюду сходимость функциональной последовательности ав-
вставка томатически оказывается «почти равномерной».
с лекции 24
Теорема (Егоров). Если последовательность измеримых функций fn
сходится к функции f почти всюду на A, то для каждого ε > 0 суще-
ствует такое подмножество Aε ⊂ A, что µ(Aε ) < ε и fn сходится
убрал док-во
к f равномерно на A \ Aε .
Наконец, всякая измеримая функция «почти непрерывна».
Теорема (Лузин). Функция f на A измерима ⇐⇒ для любого ε > 0
существует такая непрерывная функция fε , что
µ({x ∈ A | f (x) 6= fε (x)}) < ε.
Упражнение. Множество A измеримо ⇐⇒ для любого ε > 0 суще-
ствуют такие замкнутое множество F и открытое множество G,
что G ⊆ A ⊆ F и µ(F \ G) < ε.
конец вставки
Глава 7. Функциональные последовательности и ряды версия от 26 мая 2011 г. 117

Построение интеграла Лебега. Главным в интеграле Лебега явля-


ется отказ от составления интегральной суммы из вкладов «близких»
точек, на котором основан интеграл Римана. Вместо того, точки объ-
единяются по принципу близости значений функции в них.
Будем допускать к рассмотрению функции, принимающие беско-
нечные значения.
Определение. Измеримая функция f : A → R̄ = [−∞, ∞] называется
ступенчатой, если множество её значений конечно. рисунок
F
По ступенчатой функции f определим разбиение A = Ak на из-
меримые множества, на каждом из которых f постоянна: f (Ak ) = ck .
Затем определим
Z XZ X
f= f= ck µ(Ak ).
A k Ak k

Необходимо принять соглашение, что 0 · ∞ = 0, где возможны два


варианта: ck = 0 либо µ(Ak ) = 0. Логика тут в том, что площадь
бесконечной прямой линии равна нулю.
Лемма. Если функция f на A измерима и неотрицательна, то
(1) существует монотонно неубывающая последовательность
{fn } ступенчатых неотрицательных функций, сходящаяся
к f почти всюду на A; R
(2) для всех таких последовательностей значение limn→∞ A fn
зависит только от A и f .
Неотрицательность нужна для наличия именно неубывающей R по- рисунок
следовательности {fn }; тогда последовательность интегралов A fn мо-
нотонна и обязательно имеет предел, пусть даже бесконечный.
R
Эта лемма позволяет определить интеграл Лебега A f как упомя-
нутый предел. В некоторых учебниках на этом шаге опираются на
равномерную сходимость, но (в силу теоремы Егорова) тут два подхо-
да ведут к одной цели, лишь скакая по разным ступенькам.
Распространить интеграл на знакопеременные измеримые функции
несложно: нужно представить такую функцию как f = f + − f − , где
функции
|f | ± f
f ± (x) = max{±f (x), 0} =
2
неотрицательны. Этот приём применялся в разделе о несобственных
кратных интегралах. ссылка
118 Ульянов А. П. Конспект лекций по анализу

Упражнение. Функция f измерима на A ⇐⇒ функции f ± изме-


римы на A.
Определение. Интегралом Лебега называют разность
Z Z Z
f= +
f − f −,
A A A
когда хотя бы один из интегралов справа конечен; иначе не получается
вычитать.
Лемма. Всякая измеримая функция удовлетворяет
Z
|f | 6 µ(A) · sup |f (x)|.
A x∈A
Эта грубая оценка значения интеграла часто используется ниже,
как и неравенство
Z Z
f 6 |f |.

A A
Интегрируемые функции. Измеримую функцию f называют инте-
грируемой по Лебегу или суммируемой на A, если её интеграл Лебега
на A конечен.
Упражнение. Измеримая f интегрируема ⇐⇒ интегрируема |f |.
Ввиду грубой оценки, чтобы найти пример измеримой, но не инте-
грируемой функции, придётся брать или неограниченное множество A,
или «существенно» неограниченную функцию f .
Пример. На промежутке [0, ∞) функция f (x) = sinx x интегрируема по
Риману (в несобственном смысле), но не по Лебегу, поскольку интеграл
от |f | бесконечен. Лишь при таком колебательном поведении функция,
интегрируемая по Риману, может быть не интегрируемой по Лебегу.
Теорема. Если интегралы от f на A по Риману и по Лебегу суще-
идея док-ва?
ствуют, то они равны.
Пример. Характеристическая функция множества рациональных чи-
сел разрывна в каждой точке. Она интегрируема по Лебегу (интеграл
по R равен равен мере Q, то есть нулю), но не по Риману.
Пример. Функция Римана, схожая с функцией Дирихле из предыду-
щего примера, разрывна в рациональных точках и непрерывна в ир-
рациональных. Она интегрируема и по Риману, и по Лебегу.
Теорема. Ограниченная функция интегрируема по Риману ⇐⇒
множество её точек разрыва пренебрежимо.
Глава 7. Функциональные последовательности и ряды версия от 26 мая 2011 г. 119

Счётная аддитивность интеграла Лебега. Понятие интеграла мо- лекция 24


тивировано физически естественными свойствами, которыми должна 12 мая
обладать искомая математическая конструкция: линейность, монотон-
ность, аддитивность.
Линейность интеграла Лебега,
Z Z Z
(αf + βg) = α f +β g,
A A A
где функции f и g интегрируемы, а α и β константы, устанавливается
очень легко для ступенчатых функций и потом предельным переходом
распространяется на интегрируемые.
Монотонность интеграла Лебега
Z
f > 0 =⇒ f >0
A
имеется по построению. Она допускает очень важное усиление для
случая |f | 6 g, отложенное до раздела о предельных переходах.
Аддитивность интеграла Лебега
Z Z Z
f= f+ f,
AtB A B
где все множества и функция измеримы, тоже устанавливается легко
тем же путём, что линейность. Правда, она считается тривиальной на
фоне свойства счётной аддитивности.
R
Теорема. Если интеграл I(f ) = A f существует, F а A покрыто по-
следовательностью измеримых подмножеств, A = An , то
R
(1) все интегралы In (f ) = An f существуют;
P
(2) ряд IP
n (f ) абсолютно сходится;
(3) I(f ) = In (f ).
Доказательство. Для ступенчатой функции g со множеством значе-
ний g(A) = {y1 , . . . , ym } положим Bn,k = {x ∈ An | g(x) = yk }. Тогда
!
XX XX X
I(g) = yk µ(Bn,k ) = yk µ(Bn,k ) = In (g).
k n n k n

Перестановка конечной суммы по k и бесконечной (ряда) по n допусти-


ма, поскольку
P все ряды абсолютно сходятся ввиду ограниченности g и
условия µ(An ) = µ(A) < ∞.
Для измеримой функции f воспользуемся равномерным вариантом
построения интеграла. Для любого ε > 0 существует такая ступенча-
тая функция g, что kf − gkA < ε. Значит, интегралы In существуют
120 Ульянов А. П. Конспект лекций по анализу

и ряд абсолютно сходится, ибо эти же утверждения уже установлены


переделать?
для g. Вводя h = f − g, получим
X X X
I(f ) − In (f ) = I(h) − In (h) 6 I(h) + In (h) .

n n n

Каждое из двух слагаемых справа, по грубой оценке


Z Z
h 6 |h| 6 εµ(B)

B B

для B = A и B = PAn , не превосходит εµ(A), что и доказывает искомое


равенство I(f ) = In (f ). 
P
Теорема. Обратно, если все In существуют и ряд In абсолютно
сходится, то I существует и равен сумме этого ряда.

7.8. Абсолютная непрерывность


Канторово множество. В качестве небольшого отступления опи-
шем один из простейших и важнейших примеров фрактала.
Процесс начинается с отрезка C(0) = I = [0, 1]. Поделим его на три
равные части и выбросим среднюю. Осталось замкнутое множество
C(1) = I0 ∪ I1 = [0, 31 ] ∪ [ 23 , 1]. На втором шаге поступим таким же
образом с отрезками I0 и I1 : поделим каждый на три равные части и
выбросим среднюю. Осталось C(2) = I00 ∪ I01 ∪ I10 ∪ I11 . После третьего
рисунок шага остаётся объединение 23 отрезков длины 1/33 . Продолжая до бес-
конечности, получим последовательность уменьшающихся замкнутых
множеств {C(n) }.
Пересечение всех их и есть стандартное канторово множество C.
Оно замкнуто, будучи пересечением замкнутых. Оно не включает ни
одного отрезка, поскольку каждый отрезок на каком-то шаге будет
либо выброшен полностью, либо разделён. Оно пренебрежимо, ибо
µ(I(n) ) = (2/3)n → 0.
Наконец, оно несчётно (точки не могут быть перенумерованы): по по-
строению оно находится во взаимно однозначном соответствии со мно-
жеством бесконечных двоичных дробей. Вернее, если вместо цифры 1
в дроби всегда писать 2 и считать дроби троичными, то каждой точ-
ке соответствует именно то вещественное число в троичной записи,
которое задаёт её положение на исходном отрезке числовой прямой.
Глава 7. Функциональные последовательности и ряды версия от 26 мая 2011 г. 121

Канторова лестница. С канторовым множеством связана интерес-


ная, шокирующая интуицию функция. Её построение на отрезке [0, 1]
проводится похожим образом. Процесс начинается с тождественной
функции f0 (x) = x. На первом шаге строится непрерывная кусочно-
линейная функция со значениями
f1 (0) = 0, f1 (1/3) = f1 (2/3) = 1/2, f1 (1) = 1.
Затем f2 определяется заменой обоих участков, где f1 не постоянна, рисунок
на зигзаги — уменьшенные копии построенного на первом шаге. Про-
должая до бесконечности, получим равномерно сходящуюся последо-
вательность непрерывных (кусочно-линейных) функций {fn }.
Предельную функцию и называют канторовой лестницей. Она
непрерывна. Она постоянна на каждом интервале, не содержащем то-
чек канторова множества; поэтому она почти всюду дифференцируема
и имеет нулевую производную. Налицо нарушение формулы Ньюто-
на — Лейбница: Z
f (1) − f (0) 6= f 0.
[0,1]

Абсолютная непрерывность интеграла Лебега. В связи с диф-


ференцированием полезно усиление понятия непрерывности. Также
затронутые здесь мотивы тесно связаны с теорией вероятностей, пол-
ностью опирающейся на интегрирование по Лебегу. Вероятность есть
мера на пространстве событий, но расстояния там нет, а без него нель-
зя интегрировать по Риману.
Определение. Функцию f : [a, b] → R называют абсолютно непрерывной,
если для любого ε > 0 существует такое δ > 0, что для всякого конеч-
ного набора попарно не пересекающихся интервалов (ak , bk ) ⊂ (a, b)
X X
|ak − bk | < δ ⇒ |f (ak ) − f (bk )| < ε.
k k
Позволяя лишь один интервал вместо конечного их набора, полу-
чаем равномерную непрерывность.
Упражнение. Канторова лестница не является абсолютно непре-
рывной. (Это самый популярный пример такого поведения функций,
называемых сингулярными.)
R
Теорема. Если A f существует, то для любого ε > 0 существует
такое δ > 0, что для любого измеримого B ⊆ A
Z
µ(B) < δ ⇒ f < ε.

B
122 Ульянов А. П. Конспект лекций по анализу

Доказательство. Утверждение очевидно для ограниченных функций:


если |f | < M , то годится δ = ε/M в силу грубой оценки.
Когда f не ограничена, разобьём A на измеримые подмножества,
полагая
Z
An = {x ∈ A : n 6 |f (x)| < n + 1}, In = f.
An
F
Тогда A = An и по счётной аддитивности интеграла Лебега
Z X X X
f= In = In + In .
A n n<N n>N
P
Пользуясь сходимостью ряда In , по произвольному ε > 0 выбе-
рем N = N (ε) так, чтобы вторая суммa (хвост) была меньше ε/2.
Для любого B ⊆ A с условием µ(B) < δ = ε/2N интеграл по его
части B 0 = B ∩ (A0 ∪ · · · ∪ AN −1 ) удовлетворяет грубой оценке
Z
f < N µ(B 0 ) 6 N µ(B) < N δ = ε/2,


B0

рисунок?
что вместе с модулем интеграла по остальной части B меньше ε. 
Теорема. Всякая абсолютно непрерывная функция f на отрезке [a, b]
почти всюду дифференцируема и
Z x
f (x) − f (a) = f 0 (t) dt.
a

Следствие. Если функция ϕ интегрируема на отрезке [a, b], то её


неопределённый интеграл почти всюду дифференцируем и
Z x
d
ϕ(x) = ϕ(t) dt.
dx a

7.9. Предельные переходы в интеграле Лебега


лекция 25
19 мая Теоремы Лебега о сходимости. Эти две теоремы дают достаточ-
ные условия для равенства
Z Z
(∗) lim fn = lim fn .
A n→∞ n→∞ A
Основополагающей здесь является теорема о монотонной сходимости.
Её содержание напоминает само определение интеграла Лебега, но от-
личие в том, что последовательность берётся не ступенчатых функций,
а измеримых.
Глава 7. Функциональные последовательности и ряды версия от 26 мая 2011 г. 123

Теорема (о монотонной сходимости). Равенство (∗) выполнено для


всякой монотонно неубывающей последовательности {fn } неотри-
цательных измеримых функций.
Определение. Функция g > 0 называется мажорантой для функции f ,
если |f (x)| 6 g(x) для всех x ∈ A.
Нас будут интересовать лишь интегрируемые мажоранты, поэтому
определение логично ослабить, требуя выполнения неравенства лишь
для почти всех x ∈ A.
Лемма. Всякая измеримая функция, имеющая интегрируемую ма-
жоранту на A, сама интегрируема на A.
Теорема (о мажорированной сходимости). Равенство (∗) выполнено
для всякой сходящейся почти всюду на A последовательности {fn }
измеримых функций с общей интегрируемой мажорантой.
Доказательство. Прежде всего, наличие интегрируемой мажоранты g
обеспечивает интегрируемость fn и предельной функции f , обладаю-
щей той же мажорантой.
Организуем из fn → f две монотонные последовательности, чтобы
применить к ним предыдущую теорему. Положим рисунок?
fn↑ (x) = inf fk (x), fn↓ (x) = sup fk (x).
k>n k>n

Тогда fn↑
% f и fn↓
& f , где наклонные стрелки обозначают моно- значки
тонное стремление, соответственно не убывая и не возрастая. Новые
функции измеримы и обладают той же мажорантой g:
−g 6 fn↑ 6 f(n) 6 fn↓ 6 g,
поэтому
0 6 g + fn↑ % g + f, 0 6 g − fn↓ % g − f.
По теореме Лебега о монотонной сходимости
R интегралы от g + fn↑ стре-

R
R ↓ к Rинтегралу от g + f , а значит, A fn → A f , и аналогично
мятся
f → A f.
A n
Наконец, утверждение теоремы следует из зажатости fn↑ 6 fn 6 fn↓
и монотонности интеграла. 
Зависимость интеграла от параметра. Вместо последовательно-
сти функций с натуральным параметром рассмотрим непрерывный
параметр t ∈ T ⊂ Rm , а значит, функцию f (t, x) от (t, x) ∈ T × A.
В целом теоремы здесь похожи на установленные при первом зна- ссылка
124 Ульянов А. П. Конспект лекций по анализу

комстве с проблемой зависимости интеграла от параметра. Введём


Z
I(t) = f (t, x).
A

Теорема. Предположим, что для всех t ∈ T функции f (t, x) имеют


на A общую интегрируемую мажоранту.
(1) Интеграл Лебега I(t) существует для всех t ∈ T .
(2) Если f (t, x) → f0 (x) при t → t0 , то f0 интегрируема на A и
Z
lim I(t) = f0 (x).
t→t0 A

(3) Если f (t, x) непрерывна по t для каждого фиксированного x,


то I(t) непрерывна по t.
Доказательство. (1) Непосредственно по лемме.
(2) Возьмём произвольную последовательность tn → t0 и положим
fn (x) = Rf (tn , x). По теореме Лебега о мажорированной сходимости
I(tn ) →R A f0 при n → ∞. Тогда по определению предела по Гейне
I(t) → A f0 при t → t0 .
(3) По уже доказанному I(t) → I(t0 ) при t → t0 . 

Перестановка местами операций интегрирования по x и дифферен-


цирования по t требует дополнительного условия.
Теорема. В предположениях предыдущей теоремы, если частные
∂f
производные ∂t i
(τ, x) существуют для всех τ ∈ T и имеют общую
интегрируемую мажоранту, то существует
Z
∂I ∂f
(t) = (t, x).
∂ti A ∂ti

Доказательство. Для простоты записи разберём случай одномерного


параметра t. Функция
f (t, x) − f (t0 , x)
F (t, x) =
t − t0
интегрируема по x и
I(t, x) − I(t0 , x)
Z
F (t, x) = .
A t − t0
По теореме Лагранжа, F (t, x) = ∂f
∂t (θ(x), x), где θ(x) не покидает от-
резка с концами t0 и t. Значит, F (t, x) имеет ту же интегрируемую
Глава 7. Функциональные последовательности и ряды версия от 26 мая 2011 г. 125

мажоранту, что и ∂f
∂t (t, x). Применяя предельный переход из предыду-
щей теоремы, получаем, что функция

F0 (x) = lim F (t, x) = f (t0 , x)
t→t0 ∂t
R R
интегрируема и A
F → A
F0 при t → t0 . 

Теорема. Если f (t, x) интегрируема на T × A, то I(t) интегрируема


на T .

Эта теорема является частным случаем сильной общей теоремы, в


формулировке которой мы изменим обозначение для области опреде-
ления, чтобы вобрать туда также и «параметры».

Теорема (Фубини — Тонелли). Если неотрицательная измеримая


функция f интегрируема на A, то все повторные интегралы от f
на A существуют, равны и совпадают с интегралом по A.

7.10. Функциональные пространства Лебега


Конечномерные пространства. Вспомним основные нормы на Rd :

kxk1 = |x1 | + · · · + |xd |;


1/2
kxk2 = x21 + · · · + x2d ;
kxk∞ = max{|x1 |, . . . , |xd |}.

Вместо двойки годится любое вещественное число p > 1. При p → ∞


шар нормы становится похож на куб с округлёнными вершинами.

Теорема. В конечномерном пространстве все нормы эквивалентны.

Утверждение означает, что шар одной нормы всегда лежит в шаре


другой, раздутом до достаточного размера. Благодаря этой эквива-
лентности, в различных вопросах анализа, сводящихся к сходимости
последовательностей в Rd , выбор нормы не принципиален и делается,
исходя из удобства.
С другой стороны, эвклидова норма
p соответствует (стандартному)
скалярному произведению, kxk2 = (x, x), благодаря чему она лиди-
рует по применениям в геометрии.
126 Ульянов А. П. Конспект лекций по анализу

Функциональные пространства. Развитие анализа и появление


большого разнообразия свойств изучаемых функций и методов при-
вело к необходимости выделить наиболее важные классы функций.
Самые распространённые свойства, определяющие принадлежность
функции к некоторому классу, переносятся на линейные комбинации,
поэтому определяемые ими классы являются (обычно бесконечномер-
ными) линейными пространствами. Изучение таких функциональных
пространств и составляет основную задачу функционального анализа.
Самый знакомый пример: пространство C(X) непрерывных функ-
ций на множестве X ⊂ Rd . На нём определена равномерная норма
kf k = supx∈X |f (x)|, позволяющая оценивать близость функций и го-
ворить о сходимости, в данном случае равномерной.
Теория Лебега привнесла в анализ целое семейство новых удобных
пространств. Например, L1 (X) почти означает пространство интегри-
руемых по Лебегу функций на X, хотя тут R есть одна тонкость. Нормой
функции в этом пространстве служит A |f |, но когда две функции
отличаются лишь на пренебрежимом множестве, норма их разности
равна нулю. По смыслу это расстояние между двумя функциями как
точками функционального пространства; поэтому такие функции объ-
являются эквивалентными друг другу, так что по-настоящему L1 (X)
состоит не из самих функций, а из классов эквивалентности функций.
Все p-нормы обобщаются до норм различных пространств Лебега —
почти пространств функций, интегрируемых в некоторой степени p:
Z
Lp (X) = {f : X → R, |f |p < ∞}.
X

Суть математического достижения теории Лебега заключается именно


в обеспечении существования пределов последовательностей, фунда-
ментальных «в среднем», то есть относительно интегральной нормы.
Этот шаг от C(X) к Lp (X) сродни переходу от рациональных чисел к
вещественным и называется пополнением. Каждой p-норме подчинено
своё понятие сходимости последовательностей функций, так что ана-
лиз усложняется и разветвляется.

Гильбертовы пространства. Среди пространств Лебега выделяет-


ся по широте своих приложений гильбертово пространство L2 (X), нор-
ма в котором,
Z 1/2
kf kL2 = f2 ,
X
Глава 7. Функциональные последовательности и ряды версия от 26 мая 2011 г. 127

связана со скалярным произведением


Z
(f, g) = f g.
X
Бесконечномерная геометрия происходит в гильбертовых простран-
ствах, что служит причиной их незаменимости во многих направле-
ниях прикладной математики. Относительно физики достаточно ска-
зать, что вскоре после появления квантовой механики была замечена
адекватность гильбертовых пространств для её изложения и развития.
Пространства L2 заполнили большую брешь в логическом обосно-
вании гармонического анализа (анализа Фурье), расцветшего гораздо
раньше под стимулом многочисленных приложений в физике и техни-
ке. Его простейшие идеи намечены в разделе об ортогональных рядах. ссылка
В последние десятилетия методы гармонического анализа важны и в
информационных технологиях.
128 Ульянов А. П. Конспект лекций по анализу

Содержание

Глава 7. Функциональные последовательности и ряды


7.1. Равномерная сходимость последовательности 98
7.2. Равномерная сходимость ряда 102
7.3. Круг сходимости степенного ряда 103
7.4. Суммирование по частям 108
7.5. Ортогональные ряды 111
7.6. Мера Лебега 112
7.7. Интеграл Лебега 116
7.8. Абсолютная непрерывность 120
7.9. Предельные переходы в интеграле Лебега 122
7.10. Функциональные пространства Лебега 125