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

Федеральное агентство по образованию

Государственное муниципальное образовательное учреждение


высшего профессионального образования
Вятский государственный гуманитарный университет
(ВятГГУ)
Математический факультет
Кафедра математического анализа и методики преподавания математики
Выпускная квалификационная работа
Сингулярные интегралы.
Выполнила:
студентка V курса
математического факультета
Сколова Ирина Юрьевна
____________________
Научный руководитель:
старший преподаватель кафедры
математического анализа и МПМ
Гукасов Артур Константинович
____________________
Рецензент:
кандидат физико-математических
наук, доцент
Подгорная Ирина Иссаковна
____________________
Допущена к защите в ГАК
Зав. кафедрой ___________________ Крутихина М. В.
« » _______________
Декан факультета ___________________ Варанкина В. И.
« » _______________
Киров 2005
Оглавление
Введение………………………………………………………………………...с. 3
§1. Понятие сингулярного интеграла…………………………………………с. 6
§2. Представление функции сингулярным интегралом в заданной точке…с. 11
§3. Приложения в теории рядов Фурье.............................................................с. 18
§4. Сингулярный интеграл Пуассона................................................................с. 23
Литература……………………………………………………………………...с. 27

2
Введение
Цель работы – познакомиться с понятием сингулярного интеграла,
рассмотреть представление функции сингулярным интегралом в заданной точке
и приложения в теории рядов Фурье.
Основной вопрос теории сингулярных интегралов состоит в
f n (x)
установлении связи предельных значений интеграла при n → ∞ со
значением функции f (t) в точке x. Важным также является вопрос о
представлении суммируемой функции сингулярным интегралом в точках, где
эта функция служит производной своего неопределенного интеграла, или в
точках Лебега. Теория сингулярных интегралов имеет многочисленные
приложения. Например, вопрос о сходимости ряда Фурье разрешается с
помощью сингулярного интеграла.
Во всем дальнейшем интеграл будем понимать в смысле интеграла
Лебега. Напомним, что функция называется суммируемой, если существует
конечный интеграл от этой функции.
В работе нам будут необходимы следующие определения и теоремы.
x+h
1
lim ∫ f (t ) − f ( x) dt = 0
Определение. Если в точке x будет f (x) ≠ ±∞ и
h →0 h
x ,
то точка x называется точкой Лебега функции f (t).
Теорема (Н. Н. Лузин). Пусть f (x) измеримая и почти везде конечная
функция, заданная на [a, b]. Каково бы ни было δ>0, существует такая

непрерывная функция ϕ (x) , что mE ( f ≠ ϕ ) < δ .


f ( x) ≤ K ϕ ( x) ≤ K
Если, в частности, , то и .
Теорему Н. Н. Лузина можно сформулировать и так: измеримая и почти
везде конечная функция становится непрерывной, если пренебречь
множеством сколь угодно малой меры.
Определение. Пусть дано измеримое множество E. Взяв произвольную

точку x и число h>0, положим E( x0 , h)=E∙[ x0 -h, x0 +h]. Это тоже измеримое
3
множество.
mE ( x 0 , h)
Предел отношения 2h при h→0 называется плотностью

D E
множества E в точке x0 и обозначается через x0 .

Определение. Пусть функция f (x) задана на сегменте [a, b] и x 0 ∈ [a, b] .


Если существует такое измеримое множество E, лежащее на [a, b] и имеющее

точку x0 точкой плотности, что f (x) вдоль E непрерывна в точке x0 , то говорят,

что f (x) аппроксимативно непрерывна в точке x0 .


Определение. Измеримая функция f (x) называется функцией с
суммируемым квадратом, или функцией, суммируемой с квадратом, если
b

∫f ( x) dx < +∞
2

a .
Множество всех функций с суммируемым квадратом обозначается

символом L2 .
Определение. Пусть на сегменте [a, b] задана конечная функция f (x).
Если всякому ε>0 отвечает такое δ>0, что для любой конечной системы

взаимно не пересекающихся интервалов ( a1 , b1 ),..., (a n , bn ) , для которой

∑ (b k − ak ) < δ
k =1 оказывается
n

∑ { f (b k ) − f (a k )} < ε
k =1 , (3)
то говорят, что функция f (x) абсолютно непрерывна.
Не изменяя смысла определения, можно условие (3) заменить более

∑ f (bk ) − f (a k ) < ε
тяжелым условием k =1 .
Определение. Две функции f (x) и g(x), заданные на сегменте [a, b],

4
b

∫ f ( x) g ( x)dx = 0
называются взаимно ортогональными, если a .
Определение. Функция f (x), заданная на [a, b], называется нормальной,

∫f ( x)dx = 1
2

если a .
ω ( x) , …, заданных на
Определение. Система функций ω1 ( x) , ω 2 ( x) , 3
сегменте [a, b], называется ортонормальной системой, если каждая функция
системы нормирована, а любые две функции системы взаимно ортогональны.

Определение. Пусть {ω k (x)} есть ортонормальная система и f (x)

b
c k = ∫ f ( x)ω k ( x)dx
некоторая функция из L2 . Числа a называются

коэффициентами Фурье функции f (x) в системе {ω k (x)} .


∑c ω ( x)
называется рядом Фурье функции f (x) в системе {ω k (x)} .
k k
Ряд k =1

5
§1. Понятие сингулярного интеграла
Чтобы познакомиться с идеей, лежащей в основе понятия сингулярного
интеграла, начнем с примера.
Рассмотрим функцию
1 n
Φ n (t , x) = ⋅
π 1 + n 2 (t − x) 2 . (1)
Если n и x фиксированы, а t меняется от 0 до 1, то эта функция есть
непрерывная функция от t. Значит, для всякой суммируемой f (t) ( 0 ≤ t ≤ 1 ) можно
образовать величину
1
n f (t )dt
f n ( x) = ∫
π 0 1 + n 2 (t − x) 2
. (2)
Докажем, что во всякой точке x (0<x<1), в которой функция f(t)
непрерывна, будет
lim f n ( x) = f ( x)
n →∞ . (3)
Для этого прежде всего отметим, что при n → ∞
1 1 n (1− x ) +∞
n dt 1 dz 1 dz
∫0 Φ n (t , x)dt = π ∫0 1 + n 2 (t − x) 2 = π ∫ 1+ z 2

π ∫1+ z 2
=1
− nx −∞ . (4)
Поэтому, чтобы установить (3), достаточно показать, что при n → ∞
стремится к нулю разность
1 1
n f (t ) − f ( x)
rn = f n ( x) − f ( x) ∫ Φ n (t , x)dt = ∫ dt
π 1 + n 2
(t − x ) 2
0 0 .

Возьмем произвольное ε > 0 и найдем такое δ > 0 , что при t − x < δ будет
f (t ) − f ( x ) < ε
. Считая, что 0 < x − δ < x + δ < 1 , представим rn в форме
x −δ x+δ 1
n f (t ) − f ( x) n f (t ) − f ( x) n f (t ) − f ( x)
rn =
π ∫ 1 + n (t − x)
2 2
dt +
π ∫x −δ 1 + n 2 (t − x) 2 dt + π ∫δ 1 + n 2
(t − x) 2
dt = An + Bn + C n
0 x+ .

Интеграл Bn оценивается следующим образом:

6
n
x+δ
f (t ) − f ( x) n
x +δ
dt ε nδ
dz ε +∞
dz
Bn ≤
π ∫ 1 + n 2 (t − x ) 2
dt ≤ ε ⋅
π ∫
x − δ 1 + n (t − x )
2 2
=
π ∫
− nδ 1 + z
2
<
π ∫−∞1 + z 2 = ε
x −δ .

В интеграле An будет t − x ≥ δ , поэтому


x −δ x −δ
n n n
An ≤
π (1 + n 2 δ 2 ) ∫0
f (t ) − f ( x) dt ≤
π (1 + n 2 δ 2 ) ∫0
ε dt =
π (1 + n 2 δ 2 )
( x − δ )ε =

n 1 1 1 1 A(δ )
= ( x − δ )ε = ⋅ ⋅ ( x − δ )ε ≤ ⋅ 2 ( x − δ )ε =
π  n π n πδ n
n 2  2 + πδ 2  + πδ 2
n  n2 ,
C (δ )
Cn <
где A(δ ) не зависит от n. Аналогично n и, следовательно,

A(δ ) + C (δ )
rn < ε +
n ,
rn < 2ε
так что при достаточно больших n будет , т. е. rn стремится к 0 с
возрастанием n, что и требовалось доказать.

Соотношение (3) обеспечивают следующие свойства функции Φ n (t , x) :

при больших значениях n те значения Φ n (t , x) , которые отвечают сколько-нибудь


заметно удаленным от x значениям t, очень малы, так что величина интеграла
(2) определяется в основном значениями подынтегральной функции в
непосредственной близости точки x. Но около точки x функция f (t) почти равна
f (x) (т. к. она непрерывна при t=x). Значит, если n велико, то интеграл (2) мало
изменяется при замене f (t) на f (x), т. е. он почти равен интегралу
1
n dt
f ( x) ⋅ ∫
π 0 1 + n (t − x) 2
2

и, в силу (4), почти равен f (x).

Функция Φ n (t , x) , обладающая подобными свойствами, носит название


ядра.

Определение. Пусть функция Φ n (t , x) (n=1, 2, …), заданная в квадрате (


a ≤t ≤b, a < x < b ), суммируема по t при каждом фиксированном x. Она

7
β
lim ∫ Φ n (t , x) dt = 1
n →∞
называется ядром, если α при условии, что a ≤ α < x < β ≤ b .

b
f n ( x) = ∫ Φ n (t , x) f (t )dt
Определение. Интеграл вида a , где Φ n (t , x) есть ядро,
называется сингулярным интегралом.
В теории сингулярных интегралов очень важен вопрос установления

связи предельных значений интеграла f n (x) при n → ∞ со значением функции


f (t) в точке x. Так как изменение значения функции f (t) в одной точке никак не

отражается на величине f n (x) , то необходимо потребовать, чтобы значение f (x)


функции f (t) в точке x было как-то связано с ее значениями в близких точках.
Простейшая форма такой связи есть непрерывность функции f (t) в точке t=x.
Другими формами связи могут служить аппроксимативная непрерывность,
требование, чтобы x была точкой Лебега функции f (t), и т. п.
Теорема 1 (А. Лебег). Пусть на [a, b] задана последовательность

измеримых функций ϕ 1 (t ) , ϕ 2 (t ) , ϕ 3 (t ) , … Если существует такая постоянная


K, что при всех n и t будет
ϕ n (t ) < K
, (5)
и если при всяком c ( a ≤ c ≤ b ) будет
c
lim ∫ ϕ n (t )dt = 0
n →∞
a , (6)
то, какова бы ни была суммируемая на [a, b] функция f (t), справедливо
равенство
b
lim ∫ f (t )ϕ n (t )dt = 0
n →∞
a . (7)

Доказательство. Если [α , β ] есть сегмент, содержащийся в [a, b], то из (6)


следует, что

8
β
lim ∫ ϕ n (t )dt = 0
n →∞
α . (8)
Рассмотрим непрерывную функцию f (t), и для наперед заданного ε > 0

разложим [a, b] точками x 0 = a < x1 < ... < x m = b на столь малые части, чтобы в
каждой из них колебание f (t) было меньше, чем ε.
b m −1 xk +1 m −1 x k +1

∫ f (t )ϕ n (t )dt = ∑
k = 0 xk
∫ [ f (t ) − f ( x )]ϕk n (t )dt + ∑ f ( x k ) ∫ ϕ n (t ) dt
k =0
Тогда a xk
. (9)
x k +1

∫ [ f (t ) − f ( x )]ϕ k n (t )dt ≤ Kε ( x k +1 − x k )
Но xk
, так что первая сумма из (9) не больше,
чем Kε(b-a). Вторая же сумма (9), в силу (8), стремится к нулю с возрастанием

n и для n > n0 окажется меньшей, чем ε. Для этих n будет


b

∫ f (t )ϕ n (t )dt < ε [ K (b − a ) + 1]
a
,
так что (7) доказано для непрерывной функции f(t).

Пусть f (t) измеримая ограниченная функция f (t ) ≤ M .


Возьмем ε>0 и, пользуясь теоремой Н. Н. Лузина, найдем такую

непрерывную функцию g(t), что mE ( f ≠ g ) < ε , g (t ) ≤ M .


b b b

∫ f (t )ϕ n (t )dt = ∫ [ f (t ) − g (t )]ϕ n (t )dt + ∫ g (t )ϕ n (t )dt


Тогда a a a .
b

∫ [ f (t ) − g (t )]ϕ
a
n (t )dt = ∫ [ f (t ) − g (t )]ϕ
E( f ≠ g)
n (t )dt < 2 KMε
Но .
b

∫ gϕ dt n
Интеграл a по уже доказанному стремится к нулю и для достаточно
больших n становится меньше ε. Значит, для этих n будет
b

∫ f (t )ϕ n (t ) dt < ( 2 KM + 1)ε
a
,

9
что доказывает (7) для случая ограниченной измеримой функции.
Пусть f (t) произвольная суммируемая функция.
Возьмем ε>0 и, пользуясь абсолютной непрерывностью интеграла,

найдем такое δ>0, чтобы для любого измеримого множества e ⊂ [ a, b] с мерой

∫ f (t ) dt < ε
me<δ было e .
Сделав это, найдем такую измеримую ограниченную функцию g(t), чтобы

было mE ( f ≠ g ) < δ . Это возможно по


Теореме. Пусть на множестве Е задана измеримая, почти везде
конечная функция f (x). Каково бы ни было ε>0, существует измеримая

ограниченная функция g(x) такая, что mE ( f ≠ g ) < ε .


Можно считать, что на множестве E ( f ≠ g ) функция g(t) равна нулю.
b b b

∫ f (t )ϕ n (t )dt = ∫ [ f (t ) − g (t )]ϕ n (t )dt + ∫ g (t )ϕ n (t )dt


Тогда a a a .
b

∫ [ f (t ) − g (t )]ϕ n (t )dt = ∫ f (t )ϕ
E( f ≠ g)
n (t )dt ≤ Kε
Но a
.
b

∫ gϕ dt n
Интеграл же a при достаточно больших n будет меньше ε, и при этих n

∫ f (t )ϕ n (t )dt < ( K + 1)ε


окажется a
, что и доказывает теорему.
c
sin nc − sin na
ϕ n (t ) = cos nt . ϕ n (t ) ≤ 1 ∫ϕ n (t )dt =
n
→0
Пример. Пусть Тогда и a .
Следовательно выполнены оба условия теоремы Лебега. Аналогично

рассматривается случай ϕ n (t ) = sin nt . Таким образом доказана


Теорема 2 (Риман-Лебег). Для любой суммируемой на [a, b] функции
b b
lim ∫ f (t ) cos ntdt = lim ∫ f (t ) sin ntdt = 0
n →∞ n →∞
f (t) будет a a .
10
π π
1 1
an =
π ∫ f (t ) cos ntdt bn =
π ∫ f (t ) sin ntdt
В частности, коэффициенты Фурье −π , −π

произвольной суммируемой функции стремятся к нулю при n → ∞ .


Если соотношение (7) имеет место для всякой суммируемой на [a, b]

функции f (t), то мы будем говорить, что последовательность {ϕ n (t )} слабо


сходится к нулю.

11
§2. Представление функции сингулярным интегралом в заданной
точке
Во всем дальнейшем будем считать, что ядро Φ n (t , x) при фиксированных

b
f n ( x) = ∫ Φ n (t , x) f (t )dt
n и x ограничено. Тогда сингулярный интеграл a имеет
смысл при любой суммируемой функции f (t).
Теорема 1 (А. Лебег). Если при фиксированном x(a<x<b) и любом δ>0

ядро Φ n (t , x) слабо сходится к нулю в каждом из промежутков [a, x-δ],


b

∫Φ n (t , x) dt < H ( x)
[x+δ, b] и a , где H(x) не зависит от n, то, какова бы ни была
суммируемая функция f (t), непрерывная в точке x, справедливо равенство
lim f n ( x) = f ( x)
n→∞ .
b
lim ∫ Φ n (t , x )dt = 1
Доказательство. Так как Φ n (t , x) есть ядро, то
n →∞
a ,
и достаточно обнаружить, что
b
lim ∫ [ f (t ) − f ( x )]Φ n (t , x)dt = 0
n →∞
a .

С этой целью, взяв ε>0, найдем такое δ>0, что при t − x < δ будет
ε
f (t ) − f ( x ) <
3H ( x ) .

Это возможно в силу непрерывности функции f в точке x.


x +δ
ε
∫ [ f (t ) − f ( x)] Φ n (t , x)dt <
3
Тогда при любом n x −δ
.
x −δ b

∫ [ f (t ) − f ( x)] Φ n (t , x)dt ∫δ[ f (t ) − f ( x)]Φ n (t , x)dt


Но каждый из интегралов a , x+ при n → ∞

стремится к нулю, т. к. Φ n (t , x) слабо сходится к нулю в каждом из промежутков

12
[a, x-δ], [x+δ, b]. Поэтому для n > n0 каждый из них будет по абсолютной
величине меньше ε/3.
b

∫ [ f (t ) − f ( x)]Φ n (t , x)dt < ε


И для этих n окажется a
, что и требовалось
доказать.
Эта теорема относится к представлению суммируемой функции в точках
непрерывности, но суммируемая функция, вообще говоря, не имеет ни одной
точки непрерывности, что понижает интерес этой теоремы.
Больший интерес представляет вопрос о представлении суммируемой
функции в тех точках, где эта функция служит производной своего
неопределенного интеграла, или в точках Лебега, так как и те и другие точки
заполняют почти весь сегмент задания функции. Перейдем к рассмотрению
этого вопроса.
Лемма (И. П. Натансон). Пусть на сегменте [a, b] дана суммируемая
функция f (t), обладающая тем свойством, что

1
a +h


M = sup 
0 < h ≤b − a  h
∫ f (t )dt  < +∞

 a  . (1)
Какова бы ни была неотрицательная убывающая функция g(t), заданная
и суммируемая на [a, b], интеграл
b

∫ f (t ) g (t )dt
a (2)
существует (может быть как несобственный при t=a) и справедливо
неравенство
b b

∫ f (t ) g (t )dt ≤ M ∫ g (t )dt
a a
. (3)
В пояснение условий леммы заметим, что не исключается случай, когда
g (a ) = +∞ . Если же g (a ) < +∞ , то функция g(t) ограничена, и интеграл (2)

существует как обычный интеграл Лебега.

13
Переходя к доказательству леммы, заметим, что не ограничивая
общности, можно принять, что g(b)=0. Действительно, если бы это не было так,
то можно было ввести вместо g(t) функцию g*(t), определив ее равенствами
g(t), если a ≤ t < b ,
g*(t)=
0, если t=b.
Доказав теорему для g*(t), мы затем смогли бы всюду заменить g*(t) на
g(t), т. к. такая замена не отражается на величине интересующих нас
интегралов. Итак, считаем, что g(b)=0.
Пусть a<α<b. На сегменте [α, b] функция g(t) ограничена, и интеграл
n

∫α f (t ) g (t )dt
(4)
t
F (t ) = ∫ f (u )du
заведомо существует. Если положить a , то интеграл (4) можно
записать в форме интеграла Стилтьеса
b b

∫ f (t ) g (t )dt = α∫ g (t )dF (t )
α ,
откуда, после интегрирования по частям, находим
b b

∫ f (t ) g (t )dt = − F (α ) g (α ) + ∫ F (t )d [− g (t )]
α α .
Но, в силу (1), мы имеем, что для любого h из интервала [0, t-a]

a+h
1
h ∫ f (u )du ≤ M
выполняется неравенство a
и следовательно
F (t ) ≤ M (t − a )
, (5)
а так как g(t) убывает, то
α
g (α )(α − a) ≤ ∫ g (t )dt
a . (6)

14
α
F (α ) g (α ) ≤ M ∫ g (t )dt
Значит a . С другой стороны, функция –g(t)
возрастает. Отсюда и из (5) следует, что
b b

∫ F (t )d[− g (t )] ≤ M α∫ (t − a)d[− g (t )]
α
.
Преобразуем стоящий справа интеграл по формуле интегрирования по
частям:
b b

∫ (t − a)d [− g (t )] = g (α )(α − a) + α∫ g (t )dt


α .
Отсюда, учитывая (6), следует, что
b b

∫ (t − a)d [− g (t )] ≤ ∫ g (t )dt
α a
.
Сопоставляя все сказанное, получаем:
b
α b


α
f (t ) g (t )dt ≤ M ∫ g (t )dt + ∫ g (t )dt 
a .
a
(7)
Хотя это неравенство установлено при предположении, что g(b)=0, но оно
останется верным и без этого предположения. Значит, можно заменить здесь
предел b на β, где α<β<b. Но тогда, устремляя α и β к a, получим

β
lim ∫ f (t ) g (t )dt = 0
α ,
чем доказывается существование интеграла (2). Если в (7) перейти к пределу
при α → a , то получим (3). Лемма доказана. (В оценке (3) множителя M
уменьшить нельзя, так как при f (t)=1 в (3) достигается равенство.)

Теорема 2 (П. И. Романовский). Пусть ядро Φ n (t , x) положительно и

обладает следующим свойством: при фиксированных n и x ядро Φ n (t , x) , как


функция одного лишь t, возрастает в сегменте [a, x] и убывает в сегменте
[x, b].

15
Тогда для любой суммируемой функции f (t), которая в точке x является
производной своего неопределенного интеграла, будет

b
lim ∫ f (t )Φ n (t , x)dt = f ( x)
n →∞
a .
b
f ( x) = lim ∫ f ( x)Φ n (t , x)dt
Φ (t , x) есть ядро, то
Доказательство. Так как n
n →∞
a

b
lim ∫ [ f (t ) − f ( x)]Φ n (t , x)dt = 0
n →∞
и достаточно проверить, что a .
Разбивая последний интеграл на два, распространенные на сегменте
[a, x] и [x, b], рассмотрим второй из них, так как первый изучается аналогично.
Возьмем ε>0 и найдем такое δ>0, что при 0 < h ≤ δ будет
x +h
1
h ∫ [ f (t ) − f ( x)] dt < ε
x
,
что возможно, так как f (t) в точке t=x есть производная своего неопределенного

x
F ( x) = ∫ f (t )dt F ( x + h) − F ( x )
→ f ( x)
h→0
интеграла. То есть a и h .
Тогда по предыдущей лемме
x +δ x +δ b

∫ [ f (t ) − f ( x)]Φ n (t , x) dt ≤ ε ∫Φ n (t , x)dt ≤ ε ∫ Φ n (t , x)dt


x x a
.
b
lim ∫ Φ n (t , x)dt = 1
Так как Φ n (t , x) есть ядро, то
n →∞
a .
Величина, имеющая конечный предел, ограничена. Значит, существует

b
lim ∫ Φ n (t , x)dt < K ( x)
n →∞
постоянная K(x) такая, что a .
Таким образом,

16
x +δ

∫ [ f (t ) − f ( x)]Φ n (t , x) dt < εK ( x)
x
.
С другой стороны, если x + δ ≤ t ≤ b , то
x +δ
1 K ( x)
Φ n (t , x) ≤ Φ n ( x + δ , x) ≤
δ ∫Φ n (t , x)dt <
δ
x .

Значит функции
ϕ n (t ) = Φ n (t , x) на сегменте [x+δ, b] равномерно

ограничены и выполнено условие (5) теоремы Лебега из §1. Но второе ее

условие, т. е. условие (6), также выполнено для этих функций, т. к. Φ n (t , x)

является ядром. Следовательно Φ n (t , x) на сегменте [x+δ, b] слабо сходится к

∫ [ f (t ) − f ( x)]Φ n (t , x)dt < ε


нулю, и для достаточно больших n будет x +δ
.
При этих n окажется
b

∫ [ f (t ) − f ( x ) ] Φ n (t , x)dt < ε [ K ( x) + 1]
x
,
так что
b
lim ∫ [ f (t ) − f ( x)]Φ n (t , x)dt = 0
n →∞
x .
Теорема доказана.
В качестве примера ее приложения рассмотрим интеграл Вейерштрасса

b
n
∫e
2
−n (t − x ) 2
Wn ( x) = f (t ) dt
π a .
n 2
(t −x )2
Wn (t , x) = e −n
Функция π есть ядро, т. к. при α<x<β
β n( β − x ) +∞
1 1
∫ Wn (t , x)dt = ∫e ∫ e dz = 1
−z2 −z 2
dz →
α π n (α − x ) π −∞
.
Эта функция положительна, и она возрастает при a ≤ t ≤ x и убывает при

17
lim W ( x) = f ( x)
x ≤ t ≤ b . Значит, для всякой f (t ) ∈ L будет n →∞ n в каждой точке x, где f
(t) есть производная своего неопределенного интеграла.
Определение. Функция Ψ(t, x) называется горбатой мажорантой

функции Φ (t , x) , если Φ(t , x) ≤ ψ (t , x) и если Ψ(t, x) при фиксированном x


возрастает на сегменте [a, x] и убывает на сегменте [x, b].

Теорема 3 (Д. К. Фаддеев). Если ядро Φ n (t , x) при каждом n имеет такую

горбатую мажоранту Ψn (t , x) , что


b

∫Ψ n (t , x)dt < K ( x) < +∞


a ,
где K(x) зависит лишь от x, то для любой f (t ) ∈ L , имеющей точку t=x точкой
Лебега, будет справедливо равенство
b
lim ∫ f (t )Φ n (t , x)dt = f ( x)
n →∞
a .
Доказательство. Достаточно доказать, что
b
lim ∫ [ f (t ) − f ( x)] Φ n (t , x) dt = 0
n →∞
x .
Возьмем ε>0 и найдем такое δ>0, что при 0 < h ≤ δ будет
x +h
1
h ∫ f (t ) − f ( x) dt < ε
x .
По лемме имеем
x +δ x +δ x +δ

∫ { f (t ) − f ( x)} Φ n (t , x)dt ≤ ∫ f (t ) − f ( x ) ⋅ Ψn (t , x )dt ≤ ε ∫Ψ n (t , x)dt < εK ( x)


x x x
.

С другой стороны, в сегменте [x+δ, b] последовательность ϕ n (t ) = Φ n (t , x)

слабо сходится к нулю, т. к. при t ∈ [ x + δ , b] будет


x +δ
1 K ( x)
Φ n (t , x) ≤ Ψn (t , x) ≤ Ψn ( x + δ , x) ≤
δ ∫Ψ n (t , x)dt <
δ
x .
Следовательно для достаточно больших n будет
18
b

∫ [ f (t ) − f ( x)]Φ n (t , x)dt < ε


x +δ
.
b

∫ [ f (t ) − f ( x)]Φ n (t , x)dt < ε [ K ( x) + 1]


При этих n окажется x
,
b
lim ∫ [ f (t ) − f ( x)]Φ n (t , x) dt = 0
n →∞
так что x . Теорема доказана.

19
§3. Приложения в теории рядов Фурье
Во введении мы уже определили понятие ряда Фурье функции f (x) по

любой ортонормальной системе


{ω k (x)} . В частности, если речь идет о
тригонометрической системе
1 cos x sin x cos 2 x sin 2 x
, , , , ,...
2π π π π π , (1)
то рядом Фурье функции f (x) служит ряд

a0
+ ∑ ( a k cos kx + bk sin kx )
2 k =1 , (2)
где
π π
1 1
ak =
π ∫π f ( x) cos kxdx bk =
π ∫π f ( x) sin kxdx
− , − . (3)

Во введении предполагали, что f ( x) ∈ L2 . Это предположение обеспечило

b
c k = ∫ f ( x)ω k ( x)dx
существование коэффициентов Фурье a функции f (x) в любой
ортонормальной системе. Но функции системы (1) ограничены. Поэтому
коэффициенты (3), а с ними и ряд (2), можно образовать для любой
суммируемой функции.
Вопрос о сходимости ряда (2) приводится к исследованию некоторого

a0 n
S n ( x) = + ∑ ( a k cos kx + bk sin kx )
сингулярного интеграла. Если 2 k =1 , то, в силу

π
1 1 n

S n ( x) =
π
+ ∑
∫  2 k =1 cos k ( t − x )  f (t ) dt
(3), −π   .
Выведем формулу для упрощения выражения в скобках. Для этого
сложим равенства
 1  1 α
sin  k + α − sin  k − α = 2 sin cos kα
 2  2 2 (k=0, 1, …, n-1),

20
α α
sin = sin
2 2.

 1 α 1 n 
sin  n + α = 2 sin  + ∑ cos kα 
Это дает  2 2  2 k =1  , откуда следует равенство

2n + 1
n sin α
1 2
+ ∑ cos ka =
2 k =1 α
2 sin
2 , (4)

Пользуясь этой формулой, придадим сумме S n (x) вид


2n + 1
π sin (t − x)
1 2
S n ( x) =
2π ∫ t−x
f (t )dt
−π sin
2 . (5)
Этот интеграл есть сингулярный интеграл Дирихле.
Рассмотрим вопрос о суммировании ряда (2) по способу Чезаро. Этот
способ состоит в отыскании предела среднего арифметического первых n сумм
S k (x) :

S 0 ( x) + S1 ( x) + ... + S n −1 ( x)
σ n ( x) =
n . (6)

В случае сходимости ряда (2) в точке x последовательность σ n (x)


сходится к сумме ряда, но эта последовательность может сходиться и тогда,
когда ряд (2) расходится.

Для исследования σ n (x) преобразуем ее с помощью формулы (5)


π
1  n −1 2k + 1  f (t )
σ n ( x) =
2nπ ∫−π ∑k =0
sin
2
(t − x)
 sin t − x
dt

2 .
n −1
sin 2 nα
∑ sin(2k + 1)α = sin α
Но k = 0 . (7)
Действительно, складывая равенства
cos 2kα − cos 2(k + 1)α = 2 sin α sin(2k + 1)α (k=0, 1, …, n-1),

21
n −1
2 sin α ∑ sin( 2k + 1)α = 1 − cos 2nα = 2 sin 2 nα
находим k =0 , откуда и следует (7).
2
 t − x
π sin n
1  2  f (t )dt
2πn −∫π 
σ n ( x) =  
t−x 
sin
С помощью (7) получаем  2  . (8)
Интеграл (8) есть сингулярный интеграл Фейера. Покажем, что для него
выполнены условия теоремы Фаддеева.
Для этого рассмотрим функцию f (t)=1. Вычисляя ее коэффициенты

Фурье по формулам (3), получим a 0 = 2, a k = bk = 0 (k=1, 2, …).

Значит, для этой функции S n ( x) = 1 (n=0, 1, 2, …), а следовательно и


σ n ( x) = 1 .

Но выражая σ n (x) интегралом Фейера, получим, что


2
 t − x
π sin n
1  2  dt = 1
∫ 
2nπ −π  t−x 

sin
 2  . (9)
Заметив это, рассмотрим точку x ∈ (−π , π ) . Пусть − π ≤ α < x < β ≤ π . Если

 
1 
 1 1 
≤ max  ,  = A( x, α )
2 t − x  sin 2 α − x 2 − π − x 
sin sin
t ∈ [−π , α ] , то 2  2 2  , и, следовательно,

2
 t − x
α sin n
1  2  dt < A( x, α )
∫ 
2nπ −π  t−x 

n
sin
 2   , где A(x, α) не зависит от n.
2
 t −x
α sin n
1  2  dt = 0
n → ∞ 2 nπ ∫
lim  
−π  sin
t−x 
Отсюда следует, что  2  .

22
Аналогично убедимся, что интеграл стремится к нулю по промежутку
[β, π]. Сопоставляя это с (9), находим, что
2
 t −x
β sin n
1  2  dt = 1
lim
n → ∞ 2 nπ ∫ 
α  sin
t−x 

 2  ,
2
 t − x
sin n
1  2 
 
2nπ  t−x 
sin
так что функция  2  есть ядро.

Для этого ядра можно построить горбатую мажоранту. Заметим, что

1 1 1
≥ 2 ≥1
sin z ≤ z 2 2
. Отсюда sin z z . Но sin z .
1 1 1  z2 +1
2
≥  1 + 2
=
Следовательно sin z 2  z  2z 2 и

n (t − x ) 2n 2 (t − x) 2
sin2
≤ 2
2 n (t − x) 2 + 4 . (10)
π 2
z≤ sin z ≥ z
С другой стороны, когда 2 , то π , так что

t−x 1
sin 2 ≥ 2 (t − x) 2
2 π . (11)
t−x π
Так как − π < x < π , − π ≤ t ≤ π , то 2 может оказаться и больше, чем 2 .

Но это несущественно. Если положим a = max{ − π , x − π } , b = min{π , x + π } , то


разность между интегралом Фейера (8) и интегралом
2
 t − x
b sin n
1  2  f (t )dt
2πn ∫a 
σ n* =  
t−x 
sin
 2 
при возрастании n стремится к нулю (т. к., например, при − π ≤ t ≤ a будет

t−x −π − x
sin ≥ sin
), поэтому все рассуждения можно вести для интеграла σ n .
*
2 2

23
Из (10) и (11) следует, что
2
 t − x
sin n
1  2  ≤ 1 2n (t − x) ⋅ π
2 2 2

  = 2
2 nπ  t−x  2nπ n (t − x) + 4 (t − x)
2 2 2
n (t − x) 2 + 4
sin
 2  .

Функция n (t − x) + 4 есть горбатая мажоранта ядра Фейера.
2 2

π +∞
nπdt πdz π2
∫ 2
−π n (t − x ) + 4
2
< ∫ 2
−∞ z + 4
=
2
Но , т. е. интегралы от мажоранты
ограничены числом, не зависящим от n.
Итак, интеграл Фейера удовлетворяет условиям теоремы
Д. К. Фаддеева. Отсюда следует
Теорема 1 (Л. Фейер – А. Лебег). Почти везде на [-π, +π] будет
lim σ n ( x) = f ( x)
n →∞ . (12)
Это соотношение выполняется во всех точках Лебега и тем более во
всех точках непрерывности функции f (t), лежащих внутри [-π, +π].
Тригонометрическая система полна. Это означает, что всякая функция
f ( x) ∈ L2 , у которой все коэффициенты Фурье (3) равны нулю, эквивалентна

нулю. Избавимся от ограничения, что f (x) суммируема с квадратом.


Справедлива следующая
Теорема 2. Если все коэффициенты Фурье (3) суммируемой функции
f (x) равны нулю, то f (x) эквивалентна нулю.

В самом деле, в этом случае σ n ( x) = 0 и, следовательно, f (x)=0 во всех


точках, где имеет место (12), т. е. почти везде.
Теорема 1 позволяет делать некоторые высказывания и о поведении сумм
S n (x) . Для этого заметим, что

a 0 n −1 n − k
σ n ( x) = +∑ (a k cos kx + bk sin kx)
2 k =1 n ,

24
n
k
S n ( x ) − σ n ( x) = ∑ (a k cos kx + bk sin kx)
так что k =1 n .
π
1 n
k3 2
∫−π [ S n ( x) − σ n ( x)] dx = ∑
2
(a k + bk2 )
π k =1 n
2
Отсюда .

25
§4. Сингулярный интеграл Пуассона
Пусть точка x есть точка d суммируемой функции f (t), если в этой точке
производная неопределенного интеграла функции f (t) равна f (x) (причем
f (x) ≠ ±∞ ).
π
1 1− r2
Pr ( x) =
2π ∫−π 1 − 2r cos(t − x) + r 2 f (t )dt
Интеграл (0<r<1) есть сингулярный
интеграл Пуассона. Если x (-π<x<π) есть точка d суммируемой функции f (t), то

lim Pr ( x) = f ( x)
r →1− 0 (П. Фату).
1 1− r2
Φ r (t , x) = ⋅
1) Докажем, что 2π 1 − 2r cos(t − x) + r 2 - ядро. Т. к. ядро
является 2π-периодической функцией, то интеграл от этой функции,

∫π Φ r (t , x)dt
рассматриваемый на периоде, не зависит от x. Рассмотрим − при x=0.
π π
1 1− r2 1− r2 dt
2π ∫−π r 2 + 1 − 2r cos t dt = 2π ∫π r 2
+ 1 − 2r cos t
− .
Для вычисления интеграла используем универсальную тригонометрическую
подстановку и получим
π
1− r2 dt
2π ∫π  t 
 1 − tg
2


r 2 + 1 − 2r  2
 1 + tg 2 t 
 
 2. (1)
t 1+ z2 2dz
tg =z dz = dt dt =
Обозначим 2 , тогда 2 ,а 1+ z2 .

Выражение (1) будет равно

26
π
tg
+∞
1− r 2 2
2dz 1− r2 dz
2π ∫π
− 2  2 1− z2 
=
π ∫ 2
− ∞ ( r + 1)( z + 1) − 2r (1 − z )
2 2
=
tg (1 + z ) r + 1 − 2r 
2
 1 + z 2 
+∞ +∞
1− r2 dz 1− r2 dz
=
π ∫ z ( r + 1)
−∞
2 2
+ ( r − 1)
2
=
π ( r + 1) ∫
2
−∞  r −1
2
=
z 2
+ 
 r + 1

+∞

1− r2 r +1 z
= ⋅ ⋅ arctg =
π ( r + 1) 2 r −1 r −1
r +1 −∞

1− r 2 r +1   r +1   r + 1  1  π  π  
= ⋅ ⋅  lim arctg  b  − lim
 r − 1  c →−∞ arctg  c  = ⋅  −  −   = 1
π ( r + 1) r − 1 b→+∞  r − 1  π  2  2  
2
 
при 0<r<1.

1 1− r2
∫ Φ r (t , x) = 1 Φ r (t , x) =


1 − 2r cos(t − x) + r 2 - ядро.
Получили, что −π и
lim Pr ( x) = f ( x)
2) Докажем, что r →1− 0 .
π π
Pr ( x) = ∫π Φ r (t , x) f (t )dt f ( x) = ∫ Φ r (t , x) f ( x)dt
− , −π .
π
Pr ( x ) − f ( x) = ∫ Φ r (t , x)[ f (t ) − f ( x)]dt
Тогда −π . Следовательно достаточно

π
lim
r →1− 0 ∫π Φ r (t , x )[ f (t ) − f ( x)]dt = 0
проверить, что − .

Найдем δ 1 такое, что на интервале [x- δ 1 , x] ядро Φ r (t , x) возрастает, а на

[x, x+ δ 1 ] убывает. Это возможно, т. к. производная функции Φ r (t , x) меняет


знак с плюса на минус при переходе через точку x:

27
/
 1  2r sin(t − x)
  = −
 1 − 2r cos(t − x) + r (1 − 2r cos(t − x) + r 2 ) 2
2
 .

Возьмем ε>0 и найдем такое δ (0<δ< δ 1 ), что при 0 < h ≤ δ будет

x +h
1
h ∫ [ f (t ) − f ( x)] dt < ε
x
, что возможно, так как x есть точка d, т.е. f (t) в точке
t=x есть производная своего неопределенного интеграла.

Тогда по лемме И. П. Натансона


x +δ x +δ π

∫ [ f (t ) − f ( x)]Φ r (t , x )dt ≤ ε ∫Φ r (t , x)dt ≤ ε ∫ Φ r (t , x )dt ≤ ε


x x −π
, т. к. Φ r (t , x) есть

∫π Φ r (t , x)dt = 1
ядро, и − .
Таким образом, на интервале [x, x+δ] справедливо неравенство

x +δ

∫ [ f (t ) − f ( x ) ] Φ r (t , x) dt < ε
x
. На [x-δ, x] интеграл рассматривается аналогично в
силу симметричности ядра на интервале [x-δ, x+δ] относительно точки x.
π

∫π Φ r (t , x)[ f (t ) − f ( x)]dt
Рассмотрим − за пределами [x-δ, x+δ], т.е. на
[-π, x-δ,] и на [x+δ, π].
В этих случаях выполняются неравенства
cos(t − x ) ≤ cos( x − δ ) , cos(t − x) ≤ cos( x + δ ) .

Тогда 1 + r 2 − 2r cos(t − x) ≥ 1 + r 2 − 2r cos( x − δ ) и

1 + r 2 − 2r cos(t − x ) ≥ 1 + r 2 − 2r cos( x + δ ) .

Следовательно

28
1− r2 1− r2 1− r2
≤   → → 0
1 + r 2 − 2r cos(t − x) 1 + r 2 − 2r cos( x − δ ) r →1−0 2(1 − cos( x − δ )) r →1−0 , т. к.
cos( x − δ ) < 1 , и знаменатель дроби не равен нулю.

1− r2 1− r2
≤ r→ 0
→1− 0
Аналогично 1 + r 2
− 2 r cos(t − x ) 1 + r 2
− 2 r cos( x + δ ) .
Φ r (t , x) → 0
То есть r →1− 0 на интервалах [-π, x-δ,] и [x+δ, π].
При r, достаточно близких к 1, получим
x −δ π


∫π [ f (t ) − f ( x)]Φ r (t , x)dt < ε ∫δ[ f (t ) − f ( x)]Φ
x+
r (t , x)dt < ε
и .
π
Pr ( x) − f ( x) =

∫π [ f (t ) − f ( x)]Φ r (t , x)dt < 4ε
При этих r окажется ,
lim ( Pr ( x) − f ( x) ) = 0 lim Pr ( x) = f ( x)
так что r →1− 0 и r →1− 0 .
π
1 1− r2
Pr ( x) =
2π ∫
−π 1 − 2r cos(t − x ) + r
2
f (t )dt
Таким образом, доказано, что
(0<r<1) есть сингулярный интеграл.

29
Литература

1. Натансон И. П. Теория функций вещественной переменной. – М.:


Наука, 1974.
2. Кашин Б. С., Саакян А. А. Ортогональные ряды. –
3. Колмогоров А. Н., Фомин С. В. Элементы теории функций и
функционального анализа. – М.: Наука, 1968.

30