ВУЗ:
Составители:
Рубрика:
§25.4. Ортогональные системы и ряды Фурье по ним 163
Следствие 1.
kx − S
n
(x)k 6 kx − S
m
(x)k при n > m.
Теорема 3 (неравенство Бесселя). Пусть x ∈ R, α
k
—
его коэффициенты Фурье по ортогональной системе {e
k
}
∞
k=1
.
Тогда справедливо неравенство Бесселя:
∞
X
k=1
α
2
k
ke
k
k
2
6 kxk
2
. (7)
Д о к а з а т е л ь с т в о. Из (6) имеем
n
X
k=1
α
2
k
ke
k
k
2
=
n
X
k=1
α
k
e
k
2
= kS
n
k
2
6 kxk
2
.
Отсюда следует (7).
Следствие 2. Коэффициенты Фурье обладают свойством
α
k
ke
k
k → 0 (k → ∞),
а если система {e
k
}
∞
k=1
— ортонормированная, то
∞
X
k=1
α
2
k
< ∞, α
k
→ 0 (k → ∞).
Упражнение 1. В условиях теоремы 4 (см. ниже) дока-
зать, что 2
◦
⇒ 3
◦
с помощью почленного скалярного умноже-
ния ряда из 2
◦
на x.
Теорема 4. Пусть {e
k
}
∞
k=1
— ортогональная последова-
тельность в R. Тогда для каждого элемента x ∈ R следу-
ющие утверждения эквивалентны (α
k
— коэффициент Фурье
элемента x):
1.
◦
для ∀ε > 0 существует полином
n
P
k=1
c
k
e
k
по системе
{e
k
}
∞
k=1
, для которого
x −
n
X
k=1
c
k
e
k
< ε,
§ 25.4. Ортогональные системы и ряды Фурье по ним 163 Следствие 1. kx − Sn (x)k 6 kx − Sm (x)k при n > m. Теорема 3 (неравенство Бесселя). Пусть x ∈ R, αk — его коэффициенты Фурье по ортогональной системе {ek }∞ k=1 . Тогда справедливо неравенство Бесселя: ∞ X αk2 kek k2 6 kxk2 . (7) k=1 Д о к а з а т е л ь с т в о. Из (6) имеем n n 2 X X αk2 kek k2 = αk ek = kSn k2 6 kxk2 . k=1 k=1 Отсюда следует (7). Следствие 2. Коэффициенты Фурье обладают свойством αk kek k → 0 (k → ∞), а если система {ek }∞ k=1 — ортонормированная, то X∞ αk2 < ∞, αk → 0 (k → ∞). k=1 Упражнение 1. В условиях теоремы 4 (см. ниже) дока- зать, что 2◦ ⇒ 3◦ с помощью почленного скалярного умноже- ния ряда из 2◦ на x. Теорема 4. Пусть {ek }∞k=1 — ортогональная последова- тельность в R. Тогда для каждого элемента x ∈ R следу- ющие утверждения эквивалентны (αk — коэффициент Фурье элемента x): n 1.◦ для ∀ ε > 0 существует полином P ck ek по системе k=1 {ek }∞ k=1 , для которого n X x− ck ek < ε, k=1
Страницы
- « первая
- ‹ предыдущая
- …
- 161
- 162
- 163
- 164
- 165
- …
- следующая ›
- последняя »