CC BY
36
ДОКЛАДЫ АКАДЕМИИ НАУК РЕСПУБЛИКИ ТАДЖИКИСТАН ___________________________________2012, том 55, №4______________________________
МАТЕМАТИКА
УДК 517.5
Дж.Дж.З аргаров
ТОЧНЫЕ ЗНАЧЕНИЯ и-ПОПЕРЕЧНИКОВ НЕКОТОРЫХ КЛАССОВ АНАЛИТИЧЕСКИХ В ЕДИНИЧНОМ КРУГЕ ФУНКЦИЙ В ПРОСТРАНСТВЕ ХАРДИ
Хорогский государственный университет им. М.Назаршоева
(Представлено академиком АН Республики Таджикистан М.Ш.Шабозовым 16.02.2011 г.)
В пространстве Харди для классов аналитических функций, задаваемых модулями непрерывности т -го порядка (От (/;т) и удовлетворяющих условию
Wr = •! f (z) є H2) : J (t -т)< (f <r > ,т)!т і 1 j
где т е М, г е Ъ+, 0 < г < t, t > 0, вычислены точные значения различных п -поперечников.
Ключевые слова: пространство Харди - модуль непрерывности т -го порядка - комплексный алгебраический полином - наилучшее приближение - п -поперечники.
Вопросам получения точных неравенств типа Джексона для действительных измеримых 2ж -периодических функций /(х) в пространстве £2[0,2ж] посвящен ряд работ (см. напр. [1-4] и литературу, приведенную в них).
В данной работе доказано точное неравенство типа Джексона для аналитических в единичном круге функций в пространстве Харди.
Говорят, что аналитическая в круге | 2 |< 1 функция
ад
/(2) = 2 ск*к, 2 = ре, 0 <Р< 1, 0 < t < 2ж
к=0
принадлежит пространству Харди Н , 1 < р < ад, если
p- 1к ин = Xvm{Mp (f,P) :p^1-0} <ад
где
17 1 2^ Л17 P
Mp (f;p) :=«{ — \lf{pett )Ipdt ,
12n 0 J
1 і p <ад; max | f (pelt) |, p = адк
0<t<2^
Адрес для корреспонденции: Заргаров Джамшед Джангиевич. 736000, Республика Таджикистан, г.Хорог, ул.Ленина, 28, Хорогский государственный университет. E-mail: jamshed-80@mail.ru
Всюду далее интегралы понимаются в смысле Лебега и, как известно [5], норма реализуется на угловых граничных значениях функции / е Н , 1 < р < ад, то есть
Ilf I=■
ґ ^ 2л
V 2л О
\17p
1 2 л \
— fI f (ё) Ip dt , 1 і p <ад; essup(If(elt) ^: p = ад
0^ і2л
Далее, ради удобства, положим
f (t) := f (elt) = lim{f (pelt) :p^ 1}.
Через f(r)(t) обозначим граничные значения производной r -го порядка f(r)(z) = drf 7 dz
(r)Ґ„\ _ Hr
< ад}.
Всюду в дальнейшем для г е N, 1 < p < ад полагаем
и<; > ={f (г) е нг :|| f"
Если f (z) е Hp, 1 < p < ад имеет граничные значения f (t), то их гладкость характеризу-
ется модулем непрерывности m -го порядка
С/;t)Hp = sup{||Дm(fh)||p :| h I < /},
где
-m г- Г m Л
Am (f u, h) = £ (-1)k , f(u + kh)
k=0 V k J
разность m -го порядка функции f (u) по аргументу u с шагом h . Положим
akr= k(k-1)...(k - r+1), k > r, k, r є N.
Пусть
n-1
Pn-1 = pn-1(z) : pn-1(z) = S akzk, ak є С .
k=0
Величину
En ( f )p := ^/, Я-0p = inf {||f - pn-JH : pn-1(z) є ^
назовём наилучшим приближением функции /(2) є Нр, 1 < р < ад подпространством ^_1 степени < п -1 в пространстве Харди Н , 1 < р < ад .
В данной работе мы вводим в рассмотрение следующую экстремальную аппроксимационную характеристику
r
Хт,п,г,р,я (І) = ^ '
{ (І -ТЖ (/(Г) ,т)2 Ж
\1/«
: / є нрг)
где т, п, г е М, 1 < р, я < 2.
Теорема 1. Для любых т, п, г е М, 1 < q < 2, 0<4 <ж / (п — г) имеет место соотношение
Хп
/ \тд 1/9
,(і) < 2-т||(і — г)І біпп—Г-ті ёг
(1)
В случае р = 2 в (1) имеет место знак равенства.
Пусть М - выпуклое центрально-симметричное подмножество из Н2; 5 - единичный шар в Н2; Лп с Н2 - п -мерное подпространство; Лп с Н2 - подпространство коразмерности п;
С : Н2 ^ Л - непрерывный линейный оператор; С1 : Н2 ^ Ли - непрерывный оператор линейного
проектирования.
Величины
Ъп (М,Н2 ) = 8ир{8ир{£ > 0 : ^ ПЛп+1 С М} : Лп+1 С Н2},
ёп (ОТ, Н) = іпД8ир{|/||: / є ОТ о Лп}: Лп с Н2}, ёп№Н2) = и2ир{тД|/-2: д є Лп}: / є Я2}: Лп є н2},
8п(ШГ,Н2) = тДтД8ир{|У-С/||: У є ШГ}: СН2 С Лп}: Лп С н2},
Пп(М, Н2) = шЦшфирЦ/ - С1 /||: / є М}: С1 Н2 с Лп}: Лп є Н2}
называют соответственно бернштейновским, гельфандовским, колмогоровским, линейным и проекционными п -поперечниками.
Для любых целых положительных т, п, г г < п и 0 < і <ж/ (п - г) через W Г обозначим
класс функций из Н
( г )
) = ■ /(2) є Н<г): | (і - т)а1 (/<г), г)г Л < 1 [.
Сформулируем основной результат работы.
Теорема 2. Пусть т, п, г е М, г<п и 0<4 <ж/ (п — г). Тогда имеет место равенство
\-1/q
(2)
где уп (•) - любой из вышеперечисленных n -поперечников.
В частности, при t =------из (2) имеем
n - r
ч-i/q
Поступило 20.02.2012 г.
ЛИТЕРАТУРА
1. Вакарчук С.Б. - Мат. заметки, 2005, т.78, №5, с.792-796.
2. Вакарчук С.Б. - Мат. заметки, 2006, т.80, №1, с.11-19.
3. Шабозов М.Ш. - Мат. заметки, 2010, т.87, №4, с.616-623.
4. Шабозов М.Ш., Юсупов Г.А. - Мат. заметки, 2011, т.90, №5, с.764-775.
5. Кусис П. - Теория пространств Hp. - М.:Мир, 1984, 256 с.
6. Hardy G.G., Littlewood J.E., Polya G. - Inequality. - Cambridge University Press. 2nd ed. 1952, 346 p.
7. Тихомиров В.М. - Некоторые вопросы теории приближений. - М.: МГУ, 1976, 324 с.
ЦИММАТИ АНИЦИ n -ЦУТР^ОИ СИНФИ ФУНКСИЯ^ОИ ДАР ДОИРАИ
Донишго^и давлатии Хоруг ба номи М.Назаршоев
Дар фазой Хардй барои синфи функсиях,ои аналитикие, ки ба воситаи модули бефосила-гии тартиби m -уми сот (f; г) муайян карда шуда, шарти
- ро каноат мекунанд, ки дар ин чо m е N, r е Z+, 0 < г < t, t > 0 аст, кимати аники n -кутрх,ои гуногун х,исоб карда шудааст.
Ч,.Ч,.Заргаров
ВОИДИ АНАЛИТИКИ ДАР ФАЗОИ ХАРДИ
Калима^ои калиди: фазой Харди - модули бефосилагии тартиби m -ум - бисёраъзогии алгебравии комплексы - наздиккунии беутарин - n -цутр^о.
J.J.Zargarov
THE EXACT VALUES OF N-WIDTHS OF CLASSES OF ANALYTIC IN THE UNIT DISK FUNCTIONS IN THE HARDY SPACE
M.Nazarshoev Khorog State University In the Hardy space for the class of analytic function given by modulus of continuity of m -th order com (f ,z) and satisfy the conditions
-z)< (f (r) ,r)dr< lj
where m e N, r e Z+, 0 < z < t, t > 0, the exact values of the various of n -widths are calculated.
Key words: Hardy’s space - module of continuity of m-th order - the complexity of algebraic polynomial -best approximation - n-widths.
w,: )=! f (z) є h;: ):} (t
