Реферат: Атомические разложения функций в пространстве Харди
(26)
При этом , если
. Тогда средние Фейера
функции h(t) имеют вид
и при достаточно большом N
(27)
Положим
,
(28)
Так как h(t) - действительная функция, то , n=0,±1,±2,¼. Поэтому
и
. (29)
Определим искомую функцию g(t) :
Ясно, что , а из (24) и (28) следует, что
при n<0, т.е.
(30)
В силу соотношений (25), (27) и (29) для
,
а для
.
Наконец, для любого
.
Таким образом, функция g(t) обладает всеми нужными свойствами (22). Лемма1 , а вместе с ней и теорема 3 доказаны.
Теорема 4.
Пусть функция . Тогда для п.в.
существует предел
(31)
При этом
1) ,
,
;
2)
;
3)
.
Доказательство:
Нам достаточно доказать, что для каждой функции найдется функция
такая, что имеет место 1). Действительно, если
, то тем более
и из 1) и теоремы 2 вытекает справедливость равенства (31) для п.в.
. При этом
и по теореме 1