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

Белорусский государственный университет

механико-математический факультет
кафедра теории функций

В.Г.Кротов

ДОПОЛНИТЕЛЬНЫЕ ГЛАВЫ
МАТЕМАТИЧЕСКОГО АНАЛИЗА
Тема «Тригонометрические ряды Фурье»

Минск 2020
1 Признак Жордана

Для дальнейшего напомним представление для частичных сумм ряда Фу-


рье.
Лемма 1. Если f ∈ R(T), то для любого фиксированного δ > 0 и любого
числа s

1   sin ny
Sn f (x) − s = f (x + y) + f (x − y) − 2s dy + εn (x), (1)
π y
0
где εn сходится к нулю равномерно на T.
Кроме того, нам понадобится следующее вспомогательное утверждение,
известное под названием «формул Бонне».
Теорема 1 (вторая теорема о среднем). Пусть функция f интегри-
руема на [a, b]. Тогда
1) если функция g неотрицательна и убывает на [a, b], то существует
такая точка ξ ∈ [a, b], что
Zb Zξ
f (x)g(x) dx = g(a) f (x) dx;
a a
2) если функция g неотрицательна и возрастает на [a, b], то существу-
ет такая точка ξ ∈ [a, b], что
Zb Zb
f (x)g(x) dx = g(b) f (x) dx;
a ξ

3) если функция g монотонна на [a, b], то существует такая точка ξ ∈


[a, b], что
Zb Zξ Zb
f (x)g(x) dx = g(a) f (x) dx + g(b) f (x) dx. (2)
a a ξ

Доказательство. 1) Для доказательства возьмем любое разбиение Π и


рассмотрим
Zb n Zxk
X
f (x)g(x) dx = f (x)g(x) dx =
a k=1 x
k−1

2
n
X Zxk n Zxk
X
= g(xk−1 ) f (x) dx + f (x) [g(x) − g(xk−1 )] dx ≡ S1 + S2 .
k=1 xk−1 k=1 x
k−1

Вторая из этих сумм S2 оценивается следующим образом:


n
X
|S2 | 6 M ωk (g) (xk − xk−1 ) → 0,
k=1

если λ(Π) → 0 (M = sup f ([a, b])). Здесь были использованы утверждение


теорема о классах интегрируемых функций и критерий интегрируемости в
терминах сумм Дарбу.
Введем обозначение
Zx
F (x) = f (t) dt
a
и преобразуем первую сумму S1 , применяя свойство аддитивности:
n
X  
S1 = g(xk−1 ) F (xk ) − F (xk−1 ) =
k=1

n
X n
X
= g(xk−1 )F (xk ) − g(xk−1 )F (xk−1 ) =
k=1 k=1
n−1
X  
= F (b)g(xn−1 ) + F (xk ) g(xk−1 ) − g(xk ) − F (a)g(a) =
k=1
n−1
X  
= F (b)g(xn−1 ) + F (xk ) g(xk−1 ) − g(xk ) .
k=1
Отсюда и из предположений о функции g вытекают неравенства

mg(a) 6 S1 6 M g(a),

где m = inf F ([a, b]); M = sup F ([a, b]). Кроме того, так как lim S2 = 0, то,
λ→0
перейдя к пределу в последнем неравенстве, получим
Zb
mg(a) 6 f (x)g(x) dx 6 M g(a).
a

3
Теперь утверждение теоремы вытекает из непрерывности F и теоремы Боль-
цано – Коши о промежуточных значениях.
2) Это утверждение доказывается точно так же, как и 1).
3) Если, например, функция g убывает, то надо применить 1) к функции
g − g(b) вместо g:
Zb Zξ
   
f (x) g(x) − g(b) dx = g(a) − g(b) f (x) dx.
a a

Отсюда с помощью свойства аддитивности интеграла выведем


Zb Zb Zξ Zξ
f (x)g(x) dx = g(b) f (x) dx + g(a) f (x) dx − g(b) f (x) dx =
a a a a

Zξ Zb
= g(a) f (x) dx + g(b) f (x) dx. 
a ξ

В следующей теореме содержатся условия для сходимости и для равно-


мерной сходимости рядов Фурье, отличные от тех, которые использовались
в признаках Дини и Дини–Липшица.
Теорема 2 (Жордана). Если функция f ∈ R(T) монотонна на отрезке
[a, b] ⊂ T, то ряд Фурье для f сходится всюду на интервале (a, b) к f (x) в
точках непрерывности и к [f (x + 0) + f (x − 0)]/2 в точках разрыва.
Если дополнительно f ∈ C[a, b], то ее ряд Фурье сходится к f равномерно
на [a0 , b0 ], где [a0 , b0 ] ⊂ (a, b).

Доказательство. Рассмотрим случай возрастающей функции. Пусть ε >


0 и δ > 0 выбрано так, чтобы x ± δ ∈ (a, b) и |f (x + y) − f (x + 0)| < ε при
0 < y 6 δ. Положим s = [f (x + 0) + f (x − 0)]/2, тогда
   
f (x + y) + f (x − y) − 2s = f (x + y) − f (x + 0) + f (x − y) − f (x − 0) .

В соответствии с этим интеграл в (1) (с выбранным δ) распадается на два


слагаемых. Оценим первое из них:

  sin ny
f (x + y) − f (x + 0) dy.
y
0

4
Так как функция y 7→ f (x + y) − f (x + 0) возрастает, то по формулам
Бонне (теорема 1)
Zδ Zδ
  sin ny   sin ny
f (x + y) − f (x + 0) dy = f (x + δ) − f (x + 0) dy,
y y
0 ξ

где 0 < ξ < δ. Но так как




sin ny
dy 6 π

y


ξ

(это легко проверить интегрированием по частям), то


δ
Z
  sin ny
f (x + y) − f (x + 0) dy < 2πε.

y
0

Точно так же оценивается и интеграл



  sin ny
f (x − y) − f (x − 0) dy.
y
0

На основании леммы 1 ряд Фурье функции f сходится к s.


Если дополнительно f ∈ C[a, b] и [a0 , b0 ] ⊂ (a, b), то можно выбрать δ > 0
столь малым, что

|f (x + y) − f (x)| < ε, |f (x − y) − f (x)| < ε

при x ∈ [a0 , b0 ] и 0 < y 6 δ. Поэтому в предыдущих оценках интегралов x


может быть взято любым из [a0 , b0 ]. Следовательно,
δ
Z
  sin ny
f (x + y) + f (x − y) − 2s dy < 4πε

y
0

при x ∈ [a0 , b0 ]. Снова применяя лемму 1, получим нужное утверждение. 

5
2 Теоремы Джексона и Лебега

2.1 Модули непрерывности

Мы уже знакомились с понятием модуля непрерывности функции. На-


помним его определение применительно к 2π-периодическим ограниченным
функциям:
ω(t, f ) := sup{|f (x1 ) − f (x2 )| : |x1 − x2 | 6 t}, t > 0.
Пусть x1 , x2 ∈ R — любые два числа. Тогда, легко видеть, что найдется
по крайней мере одно число вида x02 = x2 + 2πk, для которого |x02 − x1 | 6
π. Это следует из того, что x1 принадлежит одному (и только одному) из
полуинтервалов [x2 + 2π(k − 1), x2 + 2πk), k ∈ Z и удален не более, чем на π
от одного из его концов.
Отсюда сразу следует, что для функции f ∈ C2π
ω(t, f ) = ω(π, f ) при всех t > π.
Важно знать поведение модуля непрерывности функции при малых t/
Смысл модуля непрерывности в том, что он позволяет наилучшим обра-
зом оценивать разность между двумя значениями функции, когда известно
расстояние между точками, в которых эти значения вычисляются:
|f (x1 ) − f (x2 )| 6 ω(t, f ), если |x1 − x2 | < t.
С другой стороны, условие
lim ω(δ, f ) = 0
δ→+0

равносильно равномерной непрерывности функции f . Поэтому скорость схо-


димости к нулю модуля непрерывности может характеризовать количествен-
но свойство равномерной непрерывности функции.
Сейчас нам нужно будет более подробно познакомиться со свойствами мо-
дулей непрерывности.
Лемма 2. Модуль непрерывности любой функции f ∈ C2π обладает сле-
дующими свойствами:
1) функция t 7→ ω(t, f ) возрастает на (0, π];
2) ω(t1 + t2 , f ) 6 ω(t1 , f ) + ω(t2 , f ) (субаддитивность), в частности,
ω(nt, f ) 6 nω(t, f ) при любом n ∈ N; (3)
ω(λt, f ) 6 (λ + 1)ω(t, f ) при любом λ > 0. (4)

6
Доказательство. Свойство 1) очевидно, так как при большем δ множе-
ство пар точек x1 и x2 , по которым берется точная верхняя грань, шире.
Для доказательства свойства 2) возьмем любые две точки x1 < x2 так,
чтобы x2 − x1 < t1 + t2 . Тогда для некоторых 0 < τ1 6 t1 и 0 < τ2 6 t2 будет
x2 − x1 = τ1 + τ2 . Обозначим x = x1 + τ1 , тогда

x2 − x = x2 − (x1 + τ1 ) = τ1 + τ2 − τ1 = τ2 6 t2 .

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

|f (x1 ) − f (x2 )| 6 |f (x1 ) − f (x)| + |f (x) − f (x2 )| 6 ω(t1 , f ) + ω(t2 , f ).

Переходя в этом неравенстве к точной верхней грани по всем x1 и x2 , получим


требуемое неравенство.
В силу свойства субаддитивности ω(2t, f ) 6 2ω(t, f )? откуда по индукции
получим (3).
Для доказательства (4) найдем n ∈ N так, чтобы n − 1 < λ 6 n. Тогда в
силу монотонности модуля непрерывности и (3)

ω(λt, f ) 6 ω(nt, f ) 6 nω(t, f ) 6 (λ + 1)ω(t, f ). 

2.2 Наилучшие тригонометрические приближения

Тригонометрическим полиномом степени n ∈ N будем называть сум-


мы вида
n
a0 X
Tn (x) = + ak cos kx + bk sin kx.
2
k=1
Для номера n ∈ N и функции f ∈ C2π и определим ее наилучшее при-
ближение тригонометрическими полиномами степени n следующим образом

En (f ) = inf kf − Tn kC , где kf − Tn kC = sup |f (x) − Tn (x)|. (5)


Tn x

Из теоремы Фейера следует, что

lim En (f ) = 0.
n→∞

Наша основная задача сейчас — выяснить, с какой скоростью наилучшие


приближения En (f ) стремятся к нулю в зависимости от поведения модуля
непрерывности функции f ∈ C2π .

7
2.3 Ядра Джексона

Для этого рассмотрим следующую конструкцию (ядра Джексона), ко-


торая напоминает нам ядра Фейера:
4
sin nx

2
Ln (x) = cn . (6)
sin x2
Здесь постоянная cn выбирается таким образом, чтобы
Z
Ln (x) dx = 1. (7)
T

Нам понадобится некоторая информация о ядрах Джексона. Прежде всего


выясним каково поведение cn при неограниченном возрастании n. Для этого
вычислим cn в явном виде.
Сначала выполним ряд тождественных преобразований
n n
2 nx 1 − cos nx 1 X xX (2k − 1)x
sin = = [cos(k − 1)x − cos kx] = sin sin .
2 2 2 2 2
k=1 k=1
(8)
Для вычисления последней суммы при k = 2, . . . , n запишем равенства
k  
(2k − 1)x x X (2i − 1)x (2i − 3)x
sin = sin + sin − sin =
2 2 i=2 2 2
k
x X x
= sin + 2 sin cos(i − 1)x
2 i=2
2
x
и сложим их, добавив к обеим частям еще sin , получая
2
n n k
X (2k − 1)x x XX x
sin = n sin + sin cos(i − 1)x =
2 2 2
k=1 k=1 i=2
n X n
! n−1
!
x X x X
= sin n+2 cos(i − 1)x = sin n+2 (n − 1) cos ix .
2 i=2
2 i=1
k=i
Подставляя полученное выражение в (8), получим
n−1
!
nx  x 2 X
sin2 = sin n+2 (n − 1) cos ix .
2 2 i=1

8
Таким образом, мы приходим к следующему выражению для ядер Джек-
сона (6):
n−1
!2
X
Ln (x) = cn n + 2 (n − i) cos ix . (9)
i=1
Отсюда мы сразу можем найти постоянную cn , так как
n−1
!2
Z  nx 4
sin 2
Z X
dx = n+2 (n − i) cos ix dx =
sin x2 i=1
T T
" n−1
#
2
X
2 2πn(2n2 + 1)
= π 2n + 4 (n − i) = .
i=1
3
Здесь для вычисления второго интеграла необходимо было возвести в квад-
рат под знаком интеграла и использовать свойство ортогональности триго-
нометрической системы.
Следовательно,
3
cn = . (10)
2πn(2n2 + 1)
Другое полезное свойство ядер Джексона, вытекающее из (9), состоит в
том, что Ln является тригонометрическим полиномом порядка 2n − 2.

2.4 Приближение функций полиномами Джексона

С помощью ядер Джексона (6) определим полиномы Джексона


Z
Jn f (x) = f (x − y)Ln (y) dy. (11)
T
Теорема 3. Для любой функции f ∈ C2π и любого n ∈ N справедливо
неравенство π 
kf − Jn f kC 6 5ω ,f .
n
Доказательство. Для краткости введем обозначение
∆(x) := |f (x) − Jn f (x)|
и воспользуемся свойством (7):
π
Z

∆(x) = [f (x − y) − f (x)]Ln (y) dy 6

−π

9
Zπ Zπ
6 ω(|y|, f )Ln (y) dy = 2 ω(y, f )Ln (y) dy
−π 0
(последнее равенство следует из четности подынтегральной функции).
Для оценки последнего интеграла воспользуемся неравенством (4), про-
должая оценку сверху для ∆(x):
π  Zπ  ny 
∆(x) 6 2ω ,f + 1 Ln (y) dy 6
n π
0
 
π/n
Z Zπ
π  n
6 4ω , f  Ln (y) dy + yLn (y) dy  .
 
n π
0 π/n

Первый из интегралов в квадратных скобках не превосходит 1/2 (см. (7)),


а для оценки второго применим неравенства | sin nx| 6 1 (оно верно для всех
x) и sin x > 2x/π, 0 < x < π/2:
Zπ Zπ 4
sin ny

n 3 2
yLn (y) dy = 2 2 y y dy 6
π 2π (n + 1) sin 2
π/n π/n

Z∞  −4 Z∞
3 2 y 3π 2 dy 3
6 2 2 y · dy = 2 = .
2π n π 2 2n y3 4
π/n π/n

Таким образом, ∆(x) 6 4(1/2 + 3/4)ω(π/n, f ) = 5ω(π/n, f ). 


Теорема 4 (Джексона). Для любой функции f ∈ C2π и любого n ∈ N
справедливо неравенство
π 
En (f ) 6 10ω ,f .
n
Доказательство. Прежде всего отметим, что линейная замена перемен-
ной в определении (11) полиномов Джексона дает следующее представление
для них Z
Jn f (x) = f (y)Ln (x − y) dy.
T
Отсюда, а также из (9), вытекает, что полином Джексона является тригоно-
метрическим полиномом порядка 2n − 2 (проверьте это самостоятельно — мы

10
уже делали подобное при доказательстве теоремы Вейерштрасса о приближе-
нии алгебраическими полиномами). Следовательно, из неравенства теоремы
3 следует, что для любой функции f ∈ C2π и m ∈ N
π 
E2m−2 (f ) 6 5ω ,f . (12)
m
Для доказательства теоремы возьмем n ∈ N и далее рассмотрим отдельно
случай четного и нечетного n.
Если n = 2m — четное, то рассуждаем так:
π 
En (f ) = E2m (f ) 6 E2m−2 (f ) 6 5ω ,f =
m
 
2π  π  π 
= 5ω , f 6 10ω , f = 10ω ,f .
2m 2m n
В случае нечетного n = 2m − 1 рассуждения немного изменятся:
π 
En (f ) = E2m−1 (f ) 6 E2m−2 (f ) 6 5ω ,f =
m
 
2π π 
= 5ω , f 6 10ω ,f .
n+1 n
В обоих случаях были ипользованы неравенство (12) и неравенство (3) из
леммы 2. 

2.5 Признак Лебега

В качестве применения теоремы 4 докажем признак Лебега для равномер-


ной сходимости рядов Фурье, который является усилением признака Дини–
Липшица. Напомним его формулировку: если несобственный интеграл

ω(t, f )
dt (13)
t
0

сходится, то ряд Фурье функции f ∈ C2π сходится равномерно.


Для этого нам понадобится оценка для интеграла от модуля ядра Дирихле
sin n+1
2 x
Dn (x) = .
2 sin x2

11
Лемма 3. Существует такая постоянная c > 0, что для всех n ∈ N
справедливо неравенство
Z
|Dn (x)| dx 6 c ln(n + 1).
T

Доказательство. Разобьем интеграл, который нужно оценить на два


Z π/(2n+1)
Z Zπ
|Dn (x)| dx = 2 |Dn (x)| dx + 2 |Dn (x)| dx.
T 0 π/(2n+1)

Для оценки первого из этих интегралов будут использованы неравенства


2x/π 6 sin x 6 x, 0 < x < π/2:
π/(2n+1) π/(2n+1)
2n+1
2 x π2
Z Z
1
|Dn (x)| dx 6 2 x dx = ,
π · 2
2 4
0 0

а для второго — неравенства | sin x| 6 1 и 2x/π 6 sin x:


Zπ Zπ Zπ
1 dx π dx π
|Dn (x)| dx 6 2 x = = ln(2n + 1). 
π · 2
2 2 x 2
π/(2n+1) π/(2n+1) π/(2n+1)

Теорема 5 (Лебега). Если выполнено условие


 −1 !
1
ω(t, f ) = o ln при t → +0, (14)
t

то ряд Фурье функции f сходится равномерно.

Доказательство. В силу определение (5) наилучших приближений три-


гонометрическими полиномами для каждого n ∈ N найдется такой полином
Tn порядка n, что kf − Tn kC 6 2En (f ). Используя этот полином, запишем
тождество
f − Sn f = f − Tn + Tn − Sn f = f − Tn + Sn [Tn − f ]
(Sn f — обычное обозначение для частной суммы порядка n ряда Фурье функ-
ции f ). Поэтому
|f (x) − Sn f (x)| 6 |f (x) − Tn (x)| + |Sn [f − Tn ](x)| 6

12
Z
1
6 2En (f ) + |f (y) − Tn (y)||Dn (x − y)| dy 6
π
T
 
Z
1 π 
6 2En (f ) 1 + |Dn (y)| dy  6 cω ln(n + 1) → 0 при n → ∞.
π n
T
Здесь последовательно использовались выбор полинома Tn , теорема 4, лемма
3 и основное условие (14). 
Сравнение условий признаков Дини–Липшица и Лебега будет в пользу по-
следнего. Это видно, например, из того, что в логарифмической шкале моду-
лей непрерывности условие Дини–Липшица требует скорости (ln 1/1)−1−a
при некотором a > 0, а в признаке Лебега дополнительную положительную
степень логарифма можно заменить оа o(1).

13
Предметный указатель

метод средних арифметических, 6


наилучшее приближение, 8
полином
тригонометрический, 8
полиномы Джексона, 10
средние Фейера, 5
теорема
Фейера, 5
вторая теорема о среднем, 2
признак Жордана, 4
формула
Бонне, 2
ядра Джексона, 9
ядро
Фейера, 5

14
Именной указатель

Бонне П., 2
Жордан К., 4
Фейер Л., 5

15
Содержание

1 Признак Жордана 2

2 Теоремы Джексона и Лебега 6


2.1 Модули непрерывности . . . . . . . . . . . . . . . . . . . . . . . 6
2.2 Наилучшие тригонометрические приближения . . . . . . . . . . 7
2.3 Ядра Джексона . . . . . . . . . . . . . . . . . . . . . . . . . . . . 8
2.4 Приближение функций полиномами Джексона . . . . . . . . . . 9
2.5 Признак Лебега . . . . . . . . . . . . . . . . . . . . . . . . . . . . 11

16