Вы находитесь на странице: 1из 8

ДОКЛАДЫ АКАДЕМИИ НАУК РЕСПУБЛИКИ ТАДЖИКИСТАН

2018, том 61, №4

МАТЕМАТИКА
УДК 517.5
М.С.Саидусайнов
СРЕДНЕКВАДРАТИЧЕСКОЕ ПРИБЛИЖЕНИЕ ФУНКЦИЙ В ВЕСОВОМ
ПРОСТРАНСТВЕ БЕРГМАНА И ЗНАЧЕНИЕ n -ПОПЕРЕЧНИКОВ
ФУНКЦИОНАЛЬНЫХ КЛАССОВ
Таджикский национальный университет
(Представлено академиком АН Республики Таджикистан М.Ш.Шабозовым 08.01.2018 г.)

В статье вычислены значения n -поперечников для классов функций, у которых производные


m -го порядка аналитические в круге функций, принадлежат весовому пространству Бергмана и
норма не превосходит единицу.

Ключевые слова: пространство Бергмана, весовая функция, наилучшее приближения, n-поперечник.

1. Пусть U := {z  :| z |< 1} – единичный круг в комплексной плоскости , а (U ) –


множество аналитических в круге U функций. Для произвольной функции f  (U ) при любом
  (0,1) положим

 1 2 
1/ q

  | f (  e ) | dt  ,если 1  q < ,
it q

M q ( f ,  ) :=  2 0

max | f (  e ) |: t  [0, 2 ) ,еслиq = ,
it

где интеграл понимается в смысле Лебега.


Пусть  :=  (| z |) – неотрицательная измеримая неэквивалентная нулю функция,
суммируемая в круге U . Под весовым пространством Бергмана Bq , := Bq (U ,  ),1  q <  будем

понимать пространство функций f  (U ) , для которых интеграл

1/ q
1 
f q , := f B =   (  ) M qq ( f ,  )d   < . (1)
q ,
0 

В частном случае, когда  (  )  1 , пространство Bq := Bq ,1 является обычным пространством

Бергмана [1]. Отметим, что пространство Bq , ранее рассматривалось в [2], а вопросы нахождения

наилучших линейных методов для классов функций, задаваемых модулями гладкости, и вычисление
точных значений n -поперечников указанных классов функций изучались в [3,4]. Всюду далее будем
рассматривать случай q = 2 , когда B2, является гильбертовым пространством.

Адрес для корреспонденции: Саидусайнов Муким Саидусайнович. 734025, Республика Таджикистан,


г.Душанбе, пр.Рудаки, 17. Таджикский национальный университет. E-mail: smuqim@gmail.com

317
Доклады Академии наук Республики Таджикистан 2018, том 61, №4

Множество функций f  (U ) , у которых производные m -го порядка f ( m) , m по

комплексной переменной z принадлежат весовому пространству B2, , обозначим символом B2,( m ) .

Далее полагаем

 k ,m := k (k  1)L (k  m  1), k , m  , k  m.

Используя разложение f  (U ) в ряд Тейлора


f ( z ) = ck ( f ) z k , (2)
k =0

где ck ( f ) – коэффициенты Тейлора функции f , для производной m -го порядка f ( m ) запишем


f ( m ) ( z ) =  k ,m ck ( f ) z k  m . (3)
k =m

В силу формулы (1) и равенства Парсеваля из (2) и (3) имеем

 1
f 2
2, =  | ck ( f ) | 2

2 k 1
 (  )d  ,
k =0 0

 1
f (m) 2
2, =  2
k ,m | ck ( f ) | 2

2( k  m ) 1
 (  )d  .
k =m 0

:= { pn ( z) : pn ( z) = k =0ak z k , ak  } – множество комплексных алгебраических


n
2. Пусть n

полиномов степени не более n, n  . Для произвольной функции f  B2, равенством

En 1 ( f ) 2, := inf  f  pn 1 2, : pn 1  n 1  (4)

определим величину наилучшего приближения функции f  B2, элементами множества n1 в

метрике пространства B2, . Имеет место следующая

Лемма 1. Среди произвольных полиномов pn 1  n 1 наименьшее значение величине (4)


n 1
доставляет частная сумма ( n  1) -го порядка ряда Тейлора Tn1 ( f , z) = c ( f ) z k разложения
k =0 k

f в круге U . При этом справедливо равенство

1/2
 1

En1 ( f )2, = f  Tn1 ( f ) 2, =  | ck ( f ) |  2 k 1 (  )d   .
2
(5)
k =n 0 

В частности, для f  B2 из (5) следует равенство

318
Математика М.С.Саидусайнов

1/2
  | c ( f ) |2 
En 1 ( f ) 2 = f  Tn 1 ( f ) 2 =  k  .
 k = n 2(k  1) 

Лемма 1 доказана в работе [5]. Положим



rn 1 ( f , z ) := f ( z )  Tn 1 ( f , z ) = ck ( f ) z k .
k =n

Ясно, что если f  B2, , то и rn 1 ( f )  B2, , причем

 1
rn 1 ( f ) 2
2, =  | ck ( f ) | 2
  (  )d  = En21 ( f ) 2, ,
2 k 1

k =n 0

и так как при любом n > m


 n 1
rn(m1) ( f , z ) = f ( m ) ( z )  Tn(m1) ( f , z ) =  k ,m ck ( f ) z k  m   k ,m ck ( f ) z k m =
k =m k =m


=  k ,m ck ( f ) z k  m = f ( m ) ( z )  Tn m 1 ( f ( m ) , z ),
k =n

то мы имеем

rn(m1) ( f , z) 2
2, = f ( m)  Tnm1 ( f ( m) ) 2
2, =

 1
=  k2,m | ck ( f ) |2  2( k m ) 1 (  )d  = En2 m1 ( f ( m ) ) 2, . (6)
k =n 0

Легко проверить, что для всех k , n, m 

1 1

  (  )d    (  )d 
2 k 1 2 n 1

1 1
max 1 0
= 1 0
. (7)
k nm  k2,m  n2,m
  (  )d    (  )d 
2( k  m ) 1 2( n  m ) 1

0 0

Учитывая равенство (7) из соотношения (6) в силу (5), получаем

 1
En21  f 2, =  | ck ( f ) |2  2 k 1 (  )d  =
k =n 0

 1

 1 
 1
  2 k 1 (  )d  

=  k2,m | ck ( f ) |2  2( k m ) 1 (  )d    2  1 0 
 
k =n 0 k , m
0 
2( k  m ) 1
 (  )d  
 

319
Доклады Академии наук Республики Таджикистан 2018, том 61, №4

  (  )d 
2 n 1

1
 1 0
 En2 m1 ( f ( m ) ) 2, . (8)
 n2,m
  (  )d 
2( n  m ) 1

Для функции f0 ( z) = z n  B2, , для которой, как следует из равенств (5) и (6),

1
En21 ( f 0 ) 2, = z n 2, =   (  )d  ,
2 n 1

1
En2 m 1  f 0( m )  =  n2,m z n  m 2, =  n , m 
2 2( n  m ) 1
 (  )d  ,
2,
0

неравенство (8) обращается в равенство


1

  (  )d 
2 n 1
1
1
E ( f 0 )2, = 
2
n 1
2 n 1
 (  )d  = 1 0
 En2m1 ( f 0( m ) ) 2, .
 2

  (  )d 
0 n,m 2( n  m ) 1

Через W2,( m ) обозначим класс функций f  B2,( m ) , для которых

1 2 1/2
 1 
   (  ) | f (  e ) | d  dt 
( m) ( m) 2
2, =   1.
it
f
 2 0 0 

Наилучшее приближение класса W2,( m ) подпространством n1 в метрике B2, обозначим

En1 W2,( m)  := sup En1 ( f )2, : f W2,( m) .


2,

Из приведенного выше соотношения (8) сразу следует, что поскольку неравенство

En2m1  f ( m)   f ( m) 1
2, 2,

выполняется для произвольной функции f W2,( m) , то из того же неравенства (8) также вытекает

неравенство
1

  (  )d 
2 n 1

1
2
E
n 1 W  (m)
2, 2,

 n2,m
1 0
. (9)
  (  )d 
2( n  m ) 1

320
Математика М.С.Саидусайнов

3. В этом пункте мы вычислим точные значения ряда n -поперечников класса W2,( m ) в

пространстве B2, . Приводим необходимые определения и обозначения, которыми будем


пользоваться далее.
Пусть S – единичный шар в пространстве B2, ;  n  B2, – n -мерное подпространство;

n  B2, – подпространство коразмерности n ; L : B2,   n – линейный непрерывный оператор;

L  : B2,  n – непрерывный оператор линейного проектирования; M – выпуклое центрально-


симметричное подмножество из B2, . Величины

bn (M, B2, ) = sup sup  > 0;  S   n 1  M :  n 1  B2,  ,


dn (M, B2, ) = inf sup inf  f  g 2 : g   n  : f  M :  n  B2, , 

 n (M, B2, ) = inf inf sup  f  L  f 2 : f  M : L B2,   n  :  n  B2, , 

d n (M, B2, ) = inf sup  f 2, : f  M   n  :  n  B2, , 
 
n (M, B2, ) = inf inf sup  f  L  f 2 
: f  M : L  B2,  n : n  B2, 
называют соответственно бернштейновским, колмогоровским, линейным, гельфандовским,
проекционным n -поперечниками подмножества M в пространстве B2, . Перечисленные выше

n -поперечники монотонны по n и между ними в гильбертовом пространстве B2, выполняются


соотношения (см., например, [6,7]):

bn (M, B2, )  d n (M, B2, )  dn (M, B2, ) =  n (M, B2, ) = n (M, B2, ). (10)

Для произвольного подмножества M  B2, положим

En1 (M) B := sup En1 ( f )2 : f  M.


2,

Теорема. Для любых n  , m   , n > m справедливы равенства

1/2
 1 2 n 1 
   (  ) d  
1  0 
n W2,( m ) , B2,  = En 1 W2,( m ) 2, =  1  , (11)
 n ,m  2( n  m )1
 (  )d  
 0



где n () – любой из n -попречников bn (), d n (), d n (),  n (),  n () .

321
Доклады Академии наук Республики Таджикистан 2018, том 61, №4

Доказательство. Оценку сверху всех перечисленных n -поперечников с учетом соотношения


(10) получаем из равенства (9), в силу которого запишем
1/2
 1 2 n 1 
   (  ) d  
1  0 
n W2,( m ) , B2,   En 1 W2,( m ) 2,   1  . (12)
 n ,m  2( n  m )1
 (  )d  
 0



Для получения оценки снизу вышеперечисленных n -поперечников, равных правой части


неравенства (12), в (n  1) -мерном подпространстве комплексных алгебраических полиномов
степени  n

 n

n :=  pn ( z ) : pn ( z ) = ak z k , ak  
 k =0 

введем в рассмотрение шар

  1 2 n 1 
1/2

    (  )d   
 1  0  
Sn1 :=  pn ( z )  n : pn 2,   ,
  n,m  1 2( n m )1  
    (  )d  

 0  

n > m,n  ,m   и покажем, что шар Sn1  W2,( m) . В самом деле, для произвольного полинома

pn  Sn1 в силу определения класса W2,( m ) имеем:

n 1
pn( m ) 2
2, =  k2,m | ck ( f ) |2  2( k  m ) 1 (  )d  =
k =m 0

 1

n 1 

  2( k m )1 (  )d  

=  | ak ( f ) |2  2 k 1 (  )d    k2,m  0 1 

0   (  )d  
k =m 0 2 k 1


  (  )d 
2( n  m ) 1
n 1
 2
n,m  0
1
  | ak ( f ) |2  2 k 1 (  )d  =

k =0
2 n 1
 (  )d  0

2
= pn 2,  1,

откуда и следует включение Sn1  W2,( m) . Но тогда, согласно определению бернштейновского n -

поперечника и неравенства (10), между всеми n -поперечниками запишем оценку снизу

322
Математика М.С.Саидусайнов

n W2,( m ) , B2,   bn W2,( m ) , B2,   bn  Sn 1 , B2,  

1/2
 1 2 n 1 
   (  ) d  
1  0 
  1  . (13)
 n ,m  2( n  m ) 1
 (  )d  
 0



Сопоставляя оценку сверху (12) и оценку снизу (13), получаем требуемое равенство (11), чем и
завершаем доказательство теоремы. Из доказанной теоремы вытекает следующее
Следствие. В условиях теоремы, в случае  (  )  1 имеет место равенство

1 n  m 1
n W2,( m) , B2,  =  .
 n,m n 1

Поступило 12.01.2018 г.

Л И Т Е РАТ У РА
1. Вакарчук С.Б., Шабозов М.Ш. О поперечниках классов функций, аналитических в круге. –
Матем.сб, 2010, т.201, в.8, с.3-22.
2. Шабозов М.Ш., Шабозов О.Ш. О наилучшем приближении некоторых классов аналитических
функций в весовых пространствах Бергмана. – ДАН России, 2007, т.412, №4, с.466-469.
3. Shabozov M.Sh., Langarshoev M.R. The best linear methods and values of widths for some classes of
analytic functions in the Bergman weight space. – Dokl. Mathematics, 2013, v.87, №3, pp.338-341.
4. Шабозов М.Ш., Саидусайнов М.С. Значения n-поперечников и наилучшие линейный методы
приближения некоторых классов аналитических функций в весовом пространстве Бергмана. –
Известия ТулГУ. Естественные науки, 2014, №3, с.40-57.
5. Шабозов М.Ш., Саидусайнов М.С. Верхние грани приближения некоторых классов функций
комплексной переменной рядами Фурье в пространстве L2 и значения n -поперечников. –
Матем.заметки, 2018, т.103, 4, с.617-631.
6. Pinkus A. n-Widths in Approximation Theory. Berlin: Springer-Verlag. Heidelberg. New York. Tokyo,
1985.
7. Тихомиров В.М. Некоторые вопросы теории приближений. М.: МГУ, 1976.

323
Доклады Академии наук Республики Таджикистан 2018, том 61, №4

М.С.Саидусайнов
НАЗДИККУНИИ МИЁНАКВАДРАТИИ ФУНКСИЯЊО
ДАР ФАЗОИ ВАЗНДОРИ БЕРГМАН ВА ЌИМАТИ n -ЌУТРЊО
БАРОИ СИНФЊОИ ФУНКСИОНАЛЇ
Донишгоњи миллии Тољикистон
Дар маќола, ќимати n -ќутрњо барои синфи функсияњои аналитикї дар давраи воњидї,
ки нормаи њосила тартиби m -уми онњо ба фазои Бергман тааллуќ дорад, њисоб карда шудааст.
Калимањои калидї: фазои Бергман, функсияи вазнї, наздиккунии бењтарин, n -ќутрњо.

M.S.Saidusaynov
MEANSQUARED APPROXIMATION OF FUNCTIONS IN THE WEIGHTED
BERGMAN SPACE AND THE VALUES OF n-WIDTHS
FOR FUNCTIONAL CLASSES
Tajik National University
In the paper the values of n-widths for the classes of functions, where the derivatives of mth order of
analytic functions in a disk belong to the weighted Bergman space and whose norm are less than one were
calculated.
Key words: Bergman space, weighted function, the best approximation, n-width.

324

Вам также может понравиться