УДК 517.

5
ОБ ИНВАРИАНТНОСТИ КЛАССА Nα∞
ОТНОСИТЕЛЬНО ОПЕРАТОРА ДИФФЕРЕНЦИРОВАНИЯ1

Ф.А. Шамоян, В.А. Беднаж

∞
В работе доказано, что класс Nα инвариантен относительно оператора дифференцирования при всех
α > 0.
Ключевые слова: голоморфные функции, единичный круг, мероморфные функции, характеристика
Р. Неванлинны, класс Nα∞ , оператор дифференцирования.

Пусть D = { z : z < 1} – единичный круг на комплексной плоскости, H ( D ) -

множество всех голоморфных в D функций, Μ ( D ) - множество всех мероморфных в D
функций, f ∈ Μ ( D ) . Характеристикой Р. Неванлинны функции f называется
выражение
π
T ( r, f ) =
1
2π −∫π
(
ln + f reiϕ dϕ + N ( r , f ) , )
r
n ( t , ∞ ) − n ( 0, ∞ )
где r ∈ ( 0,1) , N (r, f ) = ∫ dt - усредненная считающая функция
0
t
последовательности полюсов функции f , n ( r , ∞ ) = {card bk , bk ≤ r} , bk - полюса
функции f в D, n ( 0, ∞ ) - кратность полюса f в начале координат.
Не ограничивая общности, в дальнейшем всюду будем предполагать, что точка
z = 0 не является особой точкой функции f .
Для α > 0 определим N α∞ класс функций:
 cf 
Nα∞ =  f ∈ Μ ( D ) : T ( r , f ) ≤ ; 0 ≤ r ≤ 1 .
(1 − r )
α
 
Хорошо известно, что класс Р. Неванлинны N = N 0∞ не инвариантен относительно
оператора дифференцирования. Гипотеза об инвариантности класса Р. Неванлинны
относительно оператора дифференцирования была выдвинута Р. Неванлинной в работе
(см.[5]). В дальнейшем О. Фростман в [3] и Л. Хан в [4] установили, что существуют
функции f ∈ N такие, что f ′∉ N .
Основным результатом статьи явлеются доказательство следующего утверждения:
Теорема. Класс Nα∞ при любых α > 0 инвариантен относительно оператора
дифференцирования.
Введем определение класса О. Бесова Bαp ,q :
Пусть 0 < α < +∞ , n = [α ] , s = α − n , тогда функция
q
 π ( n) i ( x + t )
π
p
( ) ( ) ( )
p dt
ψ ∈ Bp ,q ⇔ ∫  ∫ f
α
e − 2 f ( n ) eix + f ( n) ei ( x −t )  dx sq +1 < +∞ .
−π  −π  t
________________________
1
Работа выполнена при финансовой поддержке РФФИ:№09-01-97517

PDF created with pdfFactory Pro trial version www.pdffactory.com

 Для доказательства теоремы используем параметрическое представление класса Nα∞ ,
полученное в работе [6].
Теорема А. Пусть α > 0, β > α − 1 , тогда класс Nα∞ совпадает с классом
мероморфных в D функций, допускающих представление

cλ z ⋅ Π β ( z , ak ) ⋅ exp ∫
λ
π
ψ eiθ
dθ
( )
( )
− iθ β +2
−π 1 − e z
f ( z) = , (1)
Π β ( z , bk )
где λ - неотрицательное целое число,
ψ ( eiθ ) - функция из класса О. Бесова B1,β∞−α +1 , то есть
dt  i (θ −t ) 
π π

∫ t β −α +1  −∫π
 (
f e )
i (θ + t )
( )
− 2 f e iθ
( + f e)  dx < +∞ при 0 < β − α + 1 ≤ 2 ,
−π 
 2 +1 1 π ( ) 
β
∞
 z   (β ) 1− ρ 2 ρ eiθ 
Π β ( z , ak ) = ∏ 1 −  exp − ∫ ∫ ⋅ ln 1 − ρ d ρ dθ  ,
( )
β +
k =1  ak   π 0 −π 1 − ρ e
− iθ
ak
2
ak 

{ak }1 , {bk }1 - произвольные последовательности точек из D , удовлетворяющих

∞ ∞

условиям
n ( r ) = {card ak , ak ≤ r} ≤
c1
,
(1 − r )
α +1

n% ( r ) = {card bk , bk ≤ r} ≤
c2
.
(1 − r )
α +1

Обозначим Αα∞ - пространство аналитических функций из класса Nα∞ ,

т.е. Αα∞ = Nα∞ ∩ Η ( D ) .
Тогда очевидно, чтобы доказать теорему достаточно установить инвариантность
относительно оператора дифференцирования класса Αα∞ , α > 0 .
Лемма. Пусть
 p U j (z) 
h ( z ) = (1 − U ( z ) ) ⋅ exp  ∑  , z ∈ D ,
 j =1 j 
где U ( z ) - голоморфная в D функция. Тогда справедливо равенство
 p U j (z) 
h ( z ) = −U ′ ( z ) ⋅U p ( z ) ⋅ exp  ∑  , z ∈ D .
 j =1 j 
Доказательство. Имеем
 p U j ( z) 
h′ ( z ) = −U ′ ( z ) ⋅ exp  ∑  +
 j =1 j 
 p U j ( z )  p j −1
+ (1 − U ( z ) ) ⋅ exp  ∑  ⋅ ∑ U ( z ) ⋅ U ′ ( z ) =
 j =1 j  j =1
 p U j (z)   p

= U ′ ( z ) ⋅ exp  ∑  ⋅  −1 + (1 − U ( z ) ) ∑ U ( z )  =
j −1

 j =1 j   j =1 
 p U (z)  
j p p

= U ′ ( z ) ⋅ exp  ∑  ⋅  −1 + 1 − U ( z ) + ∑ U ( z ) − ∑ U ( z )  =
j −1 j

 j =1 j   j =2 j =2 

PDF created with pdfFactory Pro trial version www.pdffactory.com

  p U j ( z) 
= U ′ ( z ) ⋅ exp  ∑  ⋅ −U ( z ) .
p
( )
 j =1 j 
Лемма доказана.
Замечание. Когда U ( z ) = z , z ∈ D , аналогичная лемма доказана в работе (см.[2]).
Пусть теперь f - произвольная функция из пространства Αα∞ , α > 0 .
Теорема Б (см.[6]). Пусть α > 0, β > α − 1 , тогда класс Αα∞ совпадает с классом
голоморфных в D функций, допускающих представление
π
f ( z ) = Π β ( z , zk ) ⋅ exp ∫
ψ eiθ
dθ , (2)
( )
( )
β +2
− iθ
−π 1 − e z
где { z k }1 - произвольная последовательность точек из D , удовлетворяющих условию
∞

c
n(r) ≤ , (3)
(1 − r )
α +1

( )
ψ eiθ - функция из класса О. Бесова B1,β∞−α +1 .
Для краткости обозначим

g (z) =
π
( )
ψ eiθ
∫ 1− e z dθ .
( ) − iθ β +2
−π

В дальнейшем, не ограничивая общности, будем предполагать, что β = p достаточно

большое натуральное число.
Доказательство теоремы. Из равенства (2) следует, что
f ′ ( z ) = Π p ( z , zk ) ⋅ exp g ( z ) ⋅ g ′ ( z ) + Π ′p ( z , z k ) ⋅ exp g ( z ) = F1 ( z ) + F2 ( z ) ,
где
F1 ( z ) = Π p ( z , zk ) ⋅ exp g ( z ) ⋅ g ′ ( z ) ,
F2 ( z ) = Π ′p ( z , z k ) ⋅ exp g ( z ) .
Π ′p ( z , z k )
Используя теорему А достаточно доказать, что функции g ′ ∈ Αα∞ и ∈ Nα∞ .
Π p ( z, zk )
Сначала докажем, что F1 ∈ Αα∞ .
Поскольку
ln + F1 ( z ) ≤ ln + f ( z ) + ln + g ′ ( z ) ,
то достаточно оценить T ( g ′, r ) . Имеем
π
T ( g ′, r ) =
1
2π ∫ ln
+
(
g ′ reiϕ dϕ . )
−π
Но очевидно, что
π
( )
ψ eiθ ⋅ e − iθ π

∫ ψ ( e ) dθ ≤ (1 − z )
c c1
g′ ( z ) ≤ c ⋅ ∫ dθ ≤ ⋅ iθ
.
(1 − e z ) (1 − z )
− iθ p +3 p +3 p +3
−π −π

Поэтому,
c1
T ( g ′, r ) ≤ c% ln , r ∈ ( 0,1) .
(1 − r )
Следовательно,

PDF created with pdfFactory Pro trial version www.pdffactory.com

 c%1
T ( g ′, r ) ≤ , r ∈ ( 0,1) .
(1 − r )
α

Поэтому
π π
1
∫ ln
+
(
F1 re iϕ
) dϕ ≤
1
∫ ln
+
( )
f reiϕ dϕ +
c%1
≤
c2
. (4)
(1 − r ) (1 − r )
α α
2π −π
2π −π

Π ′p ( z , zk )
Теперь докажем принадлежность классу Nα∞ функции G ( z ) = , и тем
Π p ( z , zk )
самым докажем, что F2 ( z ) ∈ Αα∞ , поскольку F2 ( z ) = G ( z ) ⋅ Π p ( z , z k ) ⋅ exp g ( z ) .
Вспомним теперь, что при β = p произведение Π p имеет вид
 p j

 1  1 − zk  
2
 zk − z 
∞
Π p ( z , zk ) = ∏ z k   exp ∑ ⋅   =
k =1  1 − zk ⋅ z   j =1 j  1 − zk ⋅ z  

∞   p j

1 − zk   1  1 − zk  
2 2

= ∏ 1 −  exp ∑ ⋅    , z ∈D. (5)

k =1 
 1 − zk ⋅ z   j =1 j  1 − zk ⋅ z  

Обозначим
 1 − zk 2   p j

 1  1 − zk  
2

Ap ( z , zk ) =  1 −  exp ∑ ⋅   , (6)
 1 − zk ⋅ z 
   j =1 j  1 − z k ⋅ z  
тогда
∞
Π p ( z , z k ) = ∏ Ap ( z , zk ) .
k =1
Очевидно, что
∞
Π ′p ( z , z k ) = ∑ Π p , k ( z ) ⋅ A′p ( z , z k ) ,
k =1
где
∞
Π p , k ( z ) = ∏ Ap ( z , z j ) .
j =1
j≠k

Используя лемму, получим

 1 − z k 2 ′  1 − zk 2   p 
p j
 1  1 − zk  
2

A′p ( z , zk ) = −   ⋅  ⋅ exp ∑ ⋅   =
 1 − zk ⋅ z   1 − zk ⋅ z   j  1 − z ⋅ z  
    j =1
 k  

=−
(
zk 1 − zk
2
) ⋅  1 − z k

p2  p
 1  1 − zk  
 ⋅ exp ∑ ⋅ 
2 j

 .


(1 − zk ⋅ z )
2
 1 − zk ⋅ z  j  1 − zk ⋅ z  
  

j =1
  
Поэтому,
∞
Π ′p ( z , zk ) = −∑ Π p ,k ( z ) ⋅
(
zk 1 − zk
2
) ⋅  1 − z 
p
2  p
 1  1 − zk  
 ⋅ exp ∑ ⋅ 
k
2
j

 


(1 − zk ⋅ z )
2
 1 − zk ⋅ z   j =1 j  1 − z k ⋅ z  
k =1
 
или, используя представление (6),

PDF created with pdfFactory Pro trial version www.pdffactory.com

 (1− z )
p +1
2
∞
 1 − zk ⋅ z 
Π ′p ( z , zk ) = − ∑ Π p , k ( ) ( )
k
z ⋅ A z , z ⋅ ⋅ .
(1 − zk ⋅ z )
p+2
 zk − z 
p k
k =1

Далее, учитывая формулу (5), получим

( )
p +1
1 − zk
2
∞
 1 
Π ′p ( z , z k ) = −Π p ( z , z k ) ⋅ ∑ ⋅  , z∈D.
(1 − zk ⋅ z )
p +1
k =1  zk − z 
Следовательно, имеем

(1 − z )
p +1
Π ′p ( z , zk )
2
∞
 1 
= −∑
k
⋅  , z ∈ D, z ≠ zk , k = 1, 2, K
Π p ( z , zk ) k =1 (1 − z k ⋅ z )  zk − z 
p +1

Пусть 0 < δ ≤ 1 , а p - такое натуральное число, что

( p + 1) δ > α − 1 ,
Тогда как установлено в работе ( см. [1])
∞
( p +1)δ
∑ (1 − z )
k =1
k < +∞ .

Учитывая это и используя то, что при 0 < δ < 1

δ
 ∞  ∞

 ∑ k  ∑ c k , ck ≥ 0 , k = 1, 2,K ,
δ
c ≤
 k =1  k =1
получаем

( )
2 δ ( p 1)
+
δ
Π ′p ( z , zk ) ∞ 1 − zk
≤∑
1
⋅ .
Π p ( z , zk ) k =1 1 − zk ⋅ z
δ ( p +1)
zk − z
δ

Поэтому,
π
(
Π ′p reiϕ , z k )
δ

dϕ ≤ ∑
∞ (1 − zk )
2 δ ( p +1)
π
dϕ
∫ ( re ) δ ( p +1)
⋅∫ . (7)
(1 − zk z )
iϕ δ
−π Πp , zk k =1 −π z k − reiϕ
Докажем, что последний интеграл ограничен. Имеем
π π
dϕ dϕ
∫−π r eiϕk − reiϕ δ −∫π
= δ
=
 2  ϕ − ϕk 
 ( r − rk ) + 4rrk sin  2
k 2 2

  
π π
dϕ dt
= ∫ δ
≤ c∫
t 2δ
≤ c1 ,
−π  2  t 
0
 ( r − rk ) + 4rrk sin  2  
2 2

  
при условии rk > r0 > 0 .
Следовательно, из (7) получаем
π
(
Π ′p reiϕ , z k )
δ

dϕ ≤ c2 ⋅ ∑
∞ (
1 − zk )
2 δ ( p +1)

∫
−π Πp ( re iϕ
, zk ) k =1 (1 − r )
δ ( p +1)
=

( )
2 δ ( p +1)
∞
c2 c3
δ ( p +1) ∑
≤ ⋅ 1 − zk ≤ .
(1 − r ) (
δ p +1)
(1 − r ) k =1

Далее, учитывая полученные оценки, имеем

PDF created with pdfFactory Pro trial version www.pdffactory.com

 ( ) dϕ ≤ 1 1 ( )
δ
1
π
Π′p reiϕ , zk π
Π ′p reiϕ , zk
∫ ln δ 2π ∫
+
dϕ ≤
2π −π Πp ( re iϕ
, zk ) −π Πp ( re iϕ
, zk )
1 c% ( p )
≤ c ( p + 1) ⋅ ln ≤ ,
(1 − r ) (1 − r )α
Следовательно, функция
Π ′p ( z , z k )
G(z) = ∈ Nα∞ ,
Π p ( z, zk )
а функция
F2 ( z ) = G ( z ) ⋅ Π p ( z , z k ) ⋅ exp g ( z ) ∈ Aα∞ .
Теорема доказана.

In the paper proof that the class Nα∞ invariance with operator of differentiation for all α > 0 .
The key words: holomorphic of function, individual disk, meromorphic of function, class Nα∞ , characteristic of
Nevanlinna , operator of differentiation.

Список литературы
1. Шамоян Ф.А. О нулях аналитических в круге функций, растущих вблизи его границы//
Изв. АН Арм.ССР. Серия Математика. 1983. Т.18. № 1.
2. Branges L. Hilbert spaces of entire functions. – Prentice – Hall, Inc., Englewood Cliffs, N.J.,
1968. P.326.
3. Frostman O. On analytic functions with bounded characteristic // Bull. Amer. Math. Soc. –
1946 V. 52. № 8. P. 694-699.
4. Hahn L. On the Bloch – Nevanlinna problem // Proc. Amer. Math. Soc. 1972.V. 32. № 1. P.
221-224.
5. Nevanlinna R. Le thoreme de Picard – Borel et la functions meromorphes. – Paris: Gauthier
– Villars, 1929 vii – P. 1799.
6. Shamoyan F.A., Shubabko E.N. Parametrical Representations of Some Classes of
Holomorphic Function in the Disk // Operator Theory: Advances and Applications. 2000. V.
113. P. 331-338.

Об авторах
Ф. А. Шамоян - док. проф. Брянского государственного университета им.
академика И.Г. Петровского, shamoyanfa@yandex.ru.
В. А. Беднаж - канд. доц. Брянского государственного университета им. академика И.Г.
Петровского, e-mail: verabednazh@rambler.ru.

PDF created with pdfFactory Pro trial version www.pdffactory.com