Академический Документы
Профессиональный Документы
Культура Документы
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 и число 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) dx < +∞
2
a .
Множество всех функций с суммируемым квадратом обозначается
символом L2 .
Определение. Пусть на сегменте [a, b] задана конечная функция f (x).
Если всякому ε>0 отвечает такое δ>0, что для любой конечной системы
∑ (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], называется ортонормальной системой, если каждая функция
системы нормирована, а любые две функции системы взаимно ортогональны.
b
c k = ∫ f ( x)ω k ( x)dx
некоторая функция из L2 . Числа a называются
∑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+ .
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 −δ .
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, что и требовалось доказать.
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) есть ядро,
называется сингулярным интегралом.
В теории сингулярных интегралов очень важен вопрос установления
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), стремится к нулю с возрастанием
∫ f (t )ϕ n (t )dt < ε [ K (b − a ) + 1]
a
,
так что (7) доказано для непрерывной функции f(t).
∫ [ 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 и, пользуясь абсолютной непрерывностью интеграла,
∫ f (t ) dt < ε
me<δ было e .
Сделав это, найдем такую измеримую ограниченную функцию g(t), чтобы
∫ [ f (t ) − g (t )]ϕ n (t )dt = ∫ f (t )ϕ
E( f ≠ g)
n (t )dt ≤ Kε
Но a
.
b
∫ gϕ dt n
Интеграл же a при достаточно больших n будет меньше ε, и при этих n
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) 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 ) .
12
[a, x-δ], [x+δ, b]. Поэтому для n > n0 каждый из них будет по абсолютной
величине меньше ε/3.
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 (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) достигается равенство.)
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
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] равномерно
∫ [ 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) называется горбатой мажорантой
19
§3. Приложения в теории рядов Фурье
Во введении мы уже определили понятие ряда Фурье функции f (x) по
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 0 ( x) + S1 ( x) + ... + S n −1 ( x)
σ n ( x) =
n . (6)
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. Вычисляя ее коэффициенты
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 .
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
nπ
= 2
2 nπ t−x 2nπ n (t − x) + 4 (t − x)
2 2 2
n (t − x) 2 + 4
sin
2 .
nπ
Функция 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) равны нулю, эквивалентна
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 .
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) =
2π
⋅
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
проверить, что − .
27
/
1 2r sin(t − x)
= −
1 − 2r cos(t − x) + r (1 − 2r cos(t − x) + r 2 ) 2
2
.
x +h
1
h ∫ [ f (t ) − f ( x)] dt < ε
x
, что возможно, так как x есть точка d, т.е. f (t) в точке
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 + δ ) .
Следовательно
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
Литература
30