Реферат: Атомические разложения функций в пространстве Харди

Если ¦Î L¹ ( -p, p ) - действительная функция , то , учитывая , что

c_-n ( f ) = , n = 0, ±1, ±2,¼, из соотношения (2) мы получим :

f_r ( x ) =

= , ( 6 )

где

F ( z ) = c₀ ( f ) + 2 ( z = re^ix ) ( 7 )

- аналитическая в единичном круге функция как сумма равномерно сходящегося по х ряда [5]. Равенство (6) показывает, что для любой действительной функции ¦Î L¹ ( -p, p ) интегралом Пуассона (3) определяется гармоническая в единичном круге функция

u ( z ) = ¦_r (e^ix ) , z = re^ix , 0 £ r <1 , x Î [ -p, p ] .

При этом гармонически сопряженная с u (z) функция v (z) c v (0) = 0 задается формулой

v (z) = Im F (z) = . ( 8 )

Утверждение1.

Пусть u (z) - гармоническая ( или аналитическая ) в круге | z | < 1+e ( e>0 ) функция и ¦ (x) = u (e^ix ) , xÎ[ -p, p ] . Тогда

u (z) = ( z = re^ix , | z | < 1 ) ( 10 )

Так как ядро Пуассона P_r (t) - действительная функция, то равенство (10) достаточно проверить в случае, когда u (z) - аналитическая функция:

=, | z | < 1+ e .

Но тогда коэффициенты Фурье функции связаны с коэффициентами Фурье функции следующим образом :

и равенство (10) сразу следует из (2) и (3).

Прежде чем перейти к изучению поведения функции ¦_r (x ) при r®1 , отметим некоторые свойства ядра Пуассона:

а) ;

б) ; (11)

в) для любого d>0

Соотношения а) и в) сразу следуют из формулы (5), а для доказательства б) достаточно положить в (2) и (3) ¦ (х) º 1.

Теорема 1.

Для произвольной (комплекснозначной) функции ( -p, p ) , 1 £ p < ¥ , имеет место равенство

;

если же ¦ (x) непрерывна на [ -p, p ] и ¦ (-p) = ¦ (p) , то

.