ВУЗ:
Составители:
Рубрика:
1.2.2. Перейдем теперь к изложению аналогичных приведенным в пункте 1.2.1
результатов в непериодическом случае.
Обозначим через C ≡ C[−1, 1]
2)
пространство всех непрерывных на [−1, 1] функ-
ций с обычной нормой
x
C
≡x
C[−1,1]
=max
−1≤t≤1
|x(t)| = x
∞
,x∈ C[−1, 1].
Пусть ρ = ρ(t) ≥ 0 – фиксированная весовая функция на отрезке [−1, 1]. Обозначим
через L
2,ρ
≡ L
2,ρ
(−1, 1) пространство функций, квадратично суммируемых по Лебегу
в промежутке (−1, 1) с весом ρ(t). Норму в этом пространстве введем следующим
образом:
x
2,ρ
≡x
L
2,ρ
(−1,1)
=
+1
−1
ρ(t)|x(t)|
2
dt
1/2
,x∈ L
2,ρ
(−1, 1).
Пусть IH
n
есть множество всех алгебраических многочленов степени не выше n,
где n+1 ∈ N,аE
n
(x)
C
и E
n
(x)
2,ρ
наилучшее равномерное приближение функции x ∈
C и соответственно наилучшее среднеквадратическое приближение функции x ∈ L
2,ρ
всевозможными алгебраическими многочленами степени не выше n. Через W
r
H
α
и
W
r
H
α
2,ρ
(r ≥ 0 – целое, 0 <α≤ 1) будем обозначать классы функций, имеющих
производные порядка r из пространства соответственно C и L
2,ρ
, удовлетворяющие
условию Гельдера с показателем α.
Введем в рассмотрение оператор S
n
, который любой функции x ∈ L
2,ρ
ставит в
соответствие (n +1)–ый отрезок ряда Фурье, построенный по системе многочленов
{ϕ
k
(t)}, ортогональных с весом ρ(t) на отрезке [−1, 1]:
S
n
(x; t)=
n
k=0
c
k
(x) ϕ
k
(t), (1.13)
где c
k
(x)=
+1
−1
ρ(t)x(t)ϕ
k
(t) dt/
+1
−1
ρ(t)ϕ
2
k
(t) dt – коэффициенты Фурье функции x ∈
L
2,ρ
по системе {ϕ
k
(t)}.
Для оператора S
n
справедливы следующие результаты (см., напр., в [34, 39, 9]).
Лемма 9. При любом натуральном n
S
2
n
= S
n
, S
n
L
2,ρ
→L
2,ρ
=1, S
n
C→L
2,ρ
=
+1
−1
ρ(t) dt .
Если x ∈ L
2,ρ
, то отрезок ряда Фурье S
n
(x; t) сходится в среднем к функции x(t) со
скоростью
x −S
n
x
L
2,ρ
= E
n
(x)
2,ρ
;
если же x ∈ C,то
x − S
n
x
L
2,ρ
≤
+1
−1
ρ(t) dt
1/2
E
n
(x)
C
.
2)
Для определенности все результаты в непериодическом случае приведены для стандартного
промежутка [−1, 1]. В связи с этим отметим, что результаты без существенных изменений остаются
в силе и для любого конечного промежутка [a, b].
11
1.2.2. Перейдем теперь к изложению аналогичных приведенным в пункте 1.2.1
результатов в непериодическом случае.
Обозначим через C ≡ C[−1, 1] 2) пространство всех непрерывных на [−1, 1] функ-
ций с обычной нормой
xC ≡ xC[−1,1] = max |x(t)| = x∞ , x ∈ C[−1, 1].
−1≤t≤1
Пусть ρ = ρ(t) ≥ 0 – фиксированная весовая функция на отрезке [−1, 1]. Обозначим
через L2,ρ ≡ L2,ρ (−1, 1) пространство функций, квадратично суммируемых по Лебегу
в промежутке (−1, 1) с весом ρ(t). Норму в этом пространстве введем следующим
образом:
+1 1/2
x2,ρ ≡ xL2,ρ (−1,1) = ρ(t)|x(t)|2 dt , x ∈ L2,ρ (−1, 1).
−1
Пусть IH n есть множество всех алгебраических многочленов степени не выше n,
где n + 1 ∈ N, а En (x)C и En (x)2,ρ наилучшее равномерное приближение функции x ∈
C и соответственно наилучшее среднеквадратическое приближение функции x ∈ L2,ρ
всевозможными алгебраическими многочленами степени не выше n. Через W r Hα и
W r H2,ρ
α
(r ≥ 0 – целое, 0 < α ≤ 1) будем обозначать классы функций, имеющих
производные порядка r из пространства соответственно C и L2,ρ , удовлетворяющие
условию Гельдера с показателем α.
Введем в рассмотрение оператор Sn , который любой функции x ∈ L2,ρ ставит в
соответствие (n + 1)–ый отрезок ряда Фурье, построенный по системе многочленов
{ϕk (t)}, ортогональных с весом ρ(t) на отрезке [−1, 1]:
n
Sn (x; t) = ck (x) ϕk (t), (1.13)
k=0
+1 +1
где ck (x) = −1 ρ(t)x(t)ϕk (t) dt/ −1 ρ(t)ϕ2k (t) dt – коэффициенты Фурье функции x ∈
L2,ρ по системе {ϕk (t)}.
Для оператора Sn справедливы следующие результаты (см., напр., в [34, 39, 9]).
Лемма 9. При любом натуральном n
+1
Sn2 = Sn , Sn L2,ρ →L2,ρ = 1, Sn C→L2,ρ = ρ(t) dt .
−1
Если x ∈ L2,ρ , то отрезок ряда Фурье Sn (x; t) сходится в среднем к функции x(t) со
скоростью
x − Sn xL2,ρ = En (x)2,ρ ;
если же x ∈ C, то
+1 1/2
x − Sn xL2,ρ ≤ ρ(t) dt En (x)C .
−1
2)
Для определенности все результаты в непериодическом случае приведены для стандартного
промежутка [−1, 1]. В связи с этим отметим, что результаты без существенных изменений остаются
в силе и для любого конечного промежутка [a, b].
11
Страницы
- « первая
- ‹ предыдущая
- …
- 9
- 10
- 11
- 12
- 13
- …
- следующая ›
- последняя »
