УДК 517.538 Вестник СПбГУ. Математика. Механика. Астрономия. 2024. Т. 11 (69). Вып. 1 МБС 41А20
Плотность наипростейших дробей с полюсами на окружности
в весовых пространствах для круга и отрезка
М. А. Комаров
Владимирский государственный университет, Российская Федерация, 600000, Владимир, ул. Горького, 87
Для цитирования: Комаров М. А. Плотность наипростейших дробей с полюсами на окружности в весовых пространствах для круга и отрезка // Вестник Санкт-Петербургского университета. Математика. Механика. Астрономия. 2024. Т. 11 (69). Вып. 1. С. 96-107. https://doi.org/10.21638/spbu01.2024.105
Исследуются аппроксимационные свойства наипростейших дробей (логарифмических производных алгебраических полиномов), все полюсы которых лежат на единичной окружности. Получены критерии плотности таких дробей в классических интегральных пространствах — в пространствах функций, суммируемых со степенью р на единичном отрезке с ультрасферическим весом, и (весовых) пространствах Бергмана, аналитических в единичном круге и суммируемых со степенью р по площади круга функций. Полученные результаты обобщают на случай произвольного показателя р > 0 известные критерии Чуи и Ньюмана и Абакумова, Боричева и Федоровского для пространств Бергмана с р =1 и р = 2 соответственно. Ключевые слова: наипростейшая дробь, пространство Бергмана, задача Чуи.
1. Введение: задача Чуи. В работе исследуются аппроксимационные свойства наипростейших рациональных дробей вида
(логарифмических производных полиномов с корнями на единичной окружности), в классических интегральных пространствах в единичном круге и на отрезке.
Впервые эта задача возникла в 1971 г., когда Ч. К. Чуи [1] высказал предположение о том, что в круге средняя напряженность гравитационного (или электростатического) поля, порождаемого п единичными массами (положительными зарядами), помещенными в точках г\,...,гп на границе круга, не может быть сколь угодно мала; иными словами, существует абсолютная константа с > 0 такая, что
// \9и(г)\¿хё,у > с (г = х + гу) 3 -)\х\<\
для любой дроби дп вида (1). Вскоре Д. Ньюман [2] нашел положительное решение вопроса Чуи, доказав, что
(1)
© Санкт-Петербургский государственный университет, 2024
В то же время Чуи [3] для ограниченных односвязных областей Б комплексной плоскости со спрямляемой границей дБ установил плотность множества наипростейших дробей с полюсами € дБ в пространствах Берса Лд(Б), 2 < д < ж.
В случае, когда область Б есть единичный круг {г : \г\ < 1}, пространство Лд (Б), д := 2 + а > 1, совпадает с классическим пространством Бергмана:
АО,, а> -1
(напомним, что пространство Бергмана Аа, 0 < р < ж, —1 < а < ж, состоит из аналитических в единичном круге функций ], для которых интеграл
ff \f (z)|p(1 -|z|2r dxdy
J J\z\< 1
конечен). Тем самым, ввиду результатов [2] и [3], справедливо следующее.
Критерий Чуи — НьюмлнА. Наипростейшие дроби (1) плотны в пространстве А^, если и только если а > 0.
Отметим, что вопрос о точном значении минимума интеграла в (2) остается открытым. Лишь недавно Е.В.Абакумов, А. А. Боричев и К. Ю. Федоровский [4] доказали, что аналогичный минимум в пространствах
А2а, 0 < а < 1
2) а/ч
(где ограничение а > 0 нужно для принадлежности дробей (1) пространству A; при каждом n достигается на дроби
fizn~ ^
gn(z) = Ф„(» := —-- ({z 1,..., znj = { VI})
zn — l
и имеет асимптотику
H^nllA, ~ n Г(а + 1) С(а + l) п1-а, n ^ж
(Г — гамма-функция Эйлера; Z — дзета-функция Римана). Также в [4] полностью исследован и вопрос о плотности дробей (1) в пространствах Бергмана A^
Критерий Абакумова — Боричева — Федоровского. Наипростейшие дроби (1) плотны в пространстве А2а, если и только если а > 1.
Более того [4], при любом 0 < а < 1 замыкание в А2а множества дробей (1) совпадает с самим этим множеством, поскольку для каждой функции f G Аа
3/2
liminf (inf ||/ - gn\\A2 ) > lim ||ФП||А? = 0 < а < 1. (3)
п^ж \ gn а / п^ж 1 л/6
2. Задача Насырова и связанные с ней вопросы. Приближения наипростейшими дробями (1) рассматриваются и в других пространствах. Так, для всякого компакта K С {z : \z\ < 1} со связным дополнением они плотны в пространстве AC(K) функций, непрерывных на K и аналитических во внутренних точках K [5].
p
Ap
Впервые на приближения дробями (1) в интегральных пространствах на единичном отрезке обратил внимание С. Р. Насыров, сформулировавший в 2014 г. следующий вопрос (см [5, §4]): плотны ли дроби (1) в комплексном пространстве Ь2[-1,1]?
В работе [6] для произвольной дроби дп вида (1) автором была получена оценка, из которой тотчас следует отрицательный ответ в задаче Насырова:
Г1 1
\\9п\\Ь= ¡_Ых)\2д,х>-, (4)
и высказано предположение о том, что на самом деле верно неравенство
\\9п\\ь* > Су/п (5)
с некоторой абсолютной постоянной С > 0. Кроме того, в связи с оценкой (4) и цитированным выше критерием [4] плотности дробей (1) в пространствах Бергмана Л2а ряд вопросов был сформулирован в 2021 г. П. А. Бородиным:
• отделены ли от нуля расстояния
М \\/ — дп\\ь2 (/ ф 0)
Зп
от произвольной фиксированной функции / € ¿2 [—1, 1] до множества дробей (1) порядка п, п ^ж?
• что можно сказать о плотности наипростейших дробей (1) в весовых пространствах Ъ2а[—1,1] с нормой
1/2
\ьг =
(/ \/(х)\2 (1 — х2 )а вх)
при а > 0 (в случае а > 1 плотность доказана в 2022 г. учеником П. А. Бородина Александром Ершовым)?
При этом очевидно, что оценкой (5) автоматически решается и первый из вопросов Бородина: указанные расстояния оказываются неограниченно возрастающими вместе с п ввиду ||/ - дп\\Ь2 > Сфг- ||/||Ь2.
Справедливость гипотезы (5) недавно обоснована автором [7]. Доказательство использует решение вспомогательной задачи, представляющей и самостоятельный интерес: насколько малой для дробей вида (1) может быть мера ц(Е) множества
Е = Е3(дп) := {х € [—1,1] : |Бе(хдп(х))| > 6п}, 6> 0?
Оказывается, что при 6 > 1/2 множество Е может иметь нулевую меру, а при каждом 0 < 6 < 1/2 его мера ^(Е) положительна и допускает следующую точную относительно порядка п дроби дп оценку [7, теорема 2 и замечание 3].
Теорема А. Если 0 < 6 < 1/2, то для любой дроби дп вида (1) имеем ц{Е)=ц{Е6{дп))>КгГ\ К = К(6):=8 1 ~23
9 (3 + 46)(1 + 26)'
причем множество Е содержит интервал (а, Ь) такой, что
Ъ-а>\кп-1 и (а, Ъ) С /п д := 1х € [—1,1] : |ж| > 1 - /
2 I (1 + 2о)п)
98 Вестник СПбГУ. Математика. Механика. Астрономия. 2024■ Т. 11(69). Вып. 1
Интеграл по всему отрезку [—1,1] оценивается снизу интегралом по множеству Е (например, с 5 := 1/6), откуда, используя неравенство ц>(Е) > Ки-1 из теоремы А, легко получаем искомую оценку (5) и ее ¿^-обобщение.
Следствие [7]. Для любой дроби дп вида (1) и любого р > 0 имеем IIР = I \п.. (тМр Лт ^ [ Ят --- ПР-1
\\дп\\РЬр =1 \дп(х)\р ¿х > J \хдп(х)\р ¿х >
1-1 33 • 6Р
поэтому дроби (1) не плотны ни в одном из пространств Ьр[— 1,1], р > 1.
3. Основной результат о весовых приближениях на отрезке. В настоящей работе мы продолжаем исследования, начатые в [1-4, 6, 7]. В качестве первого основного результата мы строим критерий плотности наипростейших дробей (1) в весовых пространствах ЬРа[—1,1], 1 < р < ж, —1 < а < ж, с нормой
^ \1/р
х а '
(У \1 (х)\р(1 — х2)а ¿х)
при р = 2 критерий дает полное решение второго вопроса П. А. Бородина (см. раздел 2).
Теорема 1. Пусть 1 < р < ж, —1 < а < ж. Множество наипростейших дробей (1) плотно в пространстве Ьр[—1,1], если и только если
а > р — 1. (6)
Необходимость условия (6) тотчас вытекает из следующей леммы.
Лемма 1. Для любой дроби дп вида (1) и любого 0 < р < ж имеем
\\gnEp >1 \хдп(х)\р (1 — х2)а ¿х>Сра и-(а-р+1), —1 <а< ж, (7)
где Сра > 0 — константа, зависящая лишь от р и а.
Ввиду неравенства Минковского, достаточность условия (6) вытекает из плотности алгебраических полиномов в ЬР,[— 1,1], р > 1 (см. [8, §1.5, теорема 1.5.2]), и следующей леммы 2, где символом \\ • \\е обозначена равномерная норма в единичном круге: \\f\\е = вир^^ Ц(г)\.
Лемма 2. Если Р — полином степени к > 0 с комплексными коэффициентами и в := 1 + \\РНе1, то при каждом натуральном
и > е4я(1 + к)
существует дробь д2п+1 вида (1) порядка 2и + 1, интерполирующая полином Р по и-кратному узлу г0 = 0 с остатком
и\г\п
А(г) := |Р(г) - д2п+1(г) \ < 19е3* N < 1-
При этом, вдоль любого радиального отрезка г = теи, 0 < г < 1, имеем
I Ар(теи )(1 — т2 )а ¿т < 19ре3ря Ср, а и-(а-р+1), —1 <р — 1 <а< ж, 3 о
где Ср а > 0 — константа, зависящая лишь от р и а.
Ясно, что \\Р - 92п+1\\РЬРа = /01(Ар(ге®0) + Ар(теы))(1 - г2)а ¿т. Таким образом, при условии (6) любой полином приближается в Ьр [-1,1] наипростейшими дробями вида (1) порядка < N со скоростью
0(Ж-(а-р+1)/р), N ^ж (а - р +1 > 0).
Лемма 1 показывает, что найденный порядок нельзя улучшить.
Замечание 1. В пространствах Ьра[- 1,1], р > 1, при а < р - 1 замыкание множества наипростейших дробей (1) совпадает с самим этим множеством. В самом деле, можно показать, что для любой функции ] из Ьр [-1,1] с указанными р, а
1
Иш1М (М \\/- дп\\ьЛ > (99р1/р)-1 > 0 (8)
(ср. оценку (3) Е. В. Абакумова, А. А. Боричева и К. Ю. Федоровского и вытекающий из нее результат о замыкании дробей (1) в пространствах Бергмана А?а, 0 < а < 1).
4. Весовые приближения в круге. Второй основной результат работы — теорема 2, доставляющая аналог теоремы 1 для пространств Бергмана Лр, 0 < р < ж, и обобщающая известные критерии для случаев р =1 и р = 2 (см. раздел 1).
Теорема 2. Пусть 0 < р < ж, -1 < а < ж. Множество наипростейших дробей (1) содержится в пространстве Бергмана Лр, если и только если
а > р - 2, (9)
и плотно в этом пространстве, если и только если
а > р - 1.
Критерий (9) справедлив, ибо он верен в случае п =1.
Лемма 3. Пусть 0 < р < ж, -1 < а < ж. Дробь 1/(г - 1) принадлежит пространству Лр в том и только том случае, когда а > р - 2.
Далее, необходимость условия а > р - 1 для плотности наипростейших дробей (1) в Лра следует из леммы 1. В самом деле, для любой дроби дп вида (1) имеем
Г- 2п Г- 1
\дп(г)\р (1 -И2)а ¿хау = ¿Ь \дп(тви)|р (1 - т2)атдт =
г<1 30 J0
рп р1 рп р
= ¿Ь \дп(тви)\р (1 - т2)а \т\¿т > ¿Ь \дп(тви)\р (1 - т2)а \т\ ¿т >
Л J-l J о ,/1-^-<м<1
> шт{1;4р-1}- / ¿Ь ( \тдп(тви )\р (1 - т2 )а ¿т
¿о
(для т из области интегрирования при р > 1 и, соответственно, 0 < р < 1 легко проверяются соотношения \т\ > \т\р и \т\ > 4р 1 \т\р), поэтому в силу (7) верна оценка
> \кСРгап-(-а-р+1\ —1<а< оо, 0 < р < оо, (10)
правая часть которой при а < р — 1 отделена от нуля константой, не зависящей от п.
Наконец, плотность дробей (1) в случае а > р — 1 вытекает из леммы 2. Выбирая для произвольного полинома Р интерполирующую наипростейшую дробь д2п+1 так, как указано в лемме, для остатка интерполяции в круге получим оценку
С2п С1 9П19Рр3Рэ С ¿\р{г){1-\г\2)а (1хАу = / <И Ар(геи)(1-г2)а г(1г <-_ (И)
z|<1 и0 п°'
Тем самым доказано, что и в пространствах Ар, —1 < р — 1 < а < ж, любой полином приближается дробями вида (1) порядка < N со скоростью
_(а_р+1)/р), N ^ж
(оценка неулучшаема ввиду (10)). Остается заметить, что алгебраические полиномы плотны в Ара (см. [9, §1.1, предложение 1.3]).
Замечание 2. Схема доказательства позволяет устанавливать ту же скорость аппроксимации, О^_(а_р+1)/р), для более широких, чем полиномы, классов функций. Рассмотрим, например, класс В аналитических в круге \г\ < 1 функций /(г) = а0 + а1г + ..., для которых сходится ряд
М = М(/) := |ао| + |а1| + ....
С одной стороны, всякая такая функция приближается в Ар частными суммами Рк(г) = а0 + а1г + • •• + ак_1гк_1, к > 1, со скоростью о(к_(1+а)/р) (к ^ ж), ибо
\\акгк + < 2п(|ak| + ... )р [' ткр+1 (1 — г2 )а ¿т = о(1)к_(1+а)
а Jо
(см. (15)). С другой стороны, при каждом к норма \\Рк\\с < |ао| + ••• + |ак_11 < М,
а потому полином Рк со скоростью О^_(а_р+1)/р) приближается дробью вида (1), порядок N которой связан со степенью к — 1 полинома линейным соотношением N > 2е4+4Мк +1 (см. лемму 2). Выбирая N х к, получим, что в условиях теоремы 2,
^\\/ — дп\А = О(М_(а_р+1)/р), / еВ.
дп,п<Ы
Можно ставить вопрос о дальнейшем расширении подходящего класса функций.
5. Доказательство леммы 1 и оценки (8). Применим теорему А к произвольной дроби дп вида (1), полагая для определенности 5 = 1/6 и обозначая
Е* = {х € [-1, 1] : \хдп(х)\ > I* = {х € [-1,1] : |х| > 1 -
По теореме А, существует интервал (а, Ь) (будем считать 0 < а < Ь) такой, что
2
{а,Ь)сЕ*П1*, Ъ-а>—. Возьмем произвольное 0 < р < ж. Покажем, что при любых —1 < а < ж |хдп(х)|р(1 — х2)а ¿х > Ср,а п_(а_р+1), Сра > 0,
где значения Ср,а можно определить равенствами
2«+1 3а2
Сг,а:=—----— (0 < а < оо), Сюа\=- (-1 < а < 0).
бР(а + 1)33а+1 ^ ~ 6Р2°33 ^ у
В самом деле, учитывая, что \хдп(х)\ > п/6 на (а, Ь), в случае 0 < а < ж имеем
г - ''Ъ пр ,, пр [Ъ-а , пр (Ь - а)а+1
\хдп(х)\р(1 - хТ dx> — (1 -x)adx>- yady = —
а
6Р Vi " " 6Р Jn У Ыу ~ 6Р а + 1 '
/о
тогда как в случае —1 < а < 0 ввиду a > 1 — 3/(4n) имеем
(1 — ж2)а > (1 — a2)a > 3a/(2n)a (a<x< b),
г гb np np за
/ \xgn(x)\p(I — x )a dx > / —(1 -x2)adx>--(b — a).
JIt ' K K ' J a & 6 P 2аПа K '
Остается вспомнить, что b—a > 2/(33n). Лемма доказана. Отметим, что при а = p—1 \xgn(x)|p(1 — x2)p—1 dx > Cp,p—i = { (4(pP-9pP9)9-)-\ (12)
Теперь докажем оценку (8).
Если а < p—1, то У • \\La > У • \\lp 1 и Lp [—1,1] С Lpp—1[—1,1], поэтому достаточно проверить, что при 1 < p < ж для любой функции f G Lp— i [— 1, 1]
liminf (inf \\f — gn\\LP J > cp := (99p1/p) —1,
где инфимум в скобках берется по всем дробям gn порядка n вида (1).
Допустим обратное. Предположим, что существуют сколь угодно малое е > 0, функция f G Lpp—1[—1,1] и последовательность дробей gni, gU2, ..., gUk, ... вида (1) порядков ni < П2 < • •• < nk < ... (nk — ж) такие, что
\\f — guk WlP-1 < cp — 2е, к > ко. (13)
Сохраняя введенное выше обозначение множеств I* (n =1, 2,...), при каждом к = 1 , 2,... положим
0, x G [—1, 1] \ U, 0, x G [—1, 1] \ U,
Fk(x) i f (x), x g IUk', U' Gk(x) \ guk(x), x G U.
Функции Fp(x)(1 — x2 )p—1, k = 1, 2,..., на отрезке [—1,1] суммируемы и мажорируются суммируемой функцией \f(x)\p(1 — x2)p— 1, причем для всех —1 < x < 1 имеем
Fk(x) — 0 при к —у ж
(по определению, множества IU при n — ж стягиваются к двум точкам ±1). Следовательно, по теореме Лебега об ограниченной сходимости
J \Fk(x)\p (1 — x2)p—1 dx — 0 при к — ж,
и найдется натуральное число к1 > ко такое, что
№\\ь_ < £, к > к1. (14)
Применяя (13), (14) и неравенство Минковского, при к > к1 получаем
\\Ок\\Ь— < Шьи + \\Ок — Рк\\ьр_1 < \\Рк\\ь— + \\дпк — /\\ь— < Ср — £. Противоречие с тем, что
\\Gk\fLP =j \gnk (x)\p (1 - x2)p-1 dx > cpp
согласно (12). Неравенство (8) доказано. □
Замечание 3. Приведенный вывод неравенства (8) близок к данному в работе [4] доказательству оценки (3) (из которой, в частности, следует совпадение множества дробей (1) с его замыканием в A?a при 0 < а < 1).
Аналогичное рассуждение, основанное на вытекающей из (12) оценке
11 \gn(z)\p(1 - \z\2)p-1 dxdy > C(p) > 0
JJl-^L<\z\<l
для дробей (1) (ср. вывод (10)), приводит к неравенству
liminffinf \\f - gn\\AP ,) > C(p)1/p > 0, f e AP-1: 0 <p< ж.
п^ж \ gn P-1 / 1
Следовательно, теорема 2 дополняется замечанием: в пространствах Apa, p - 2 <а < p - 1 (0 <p< ж, -1 < а < ж),
множество дробей (1) совпадает со своим замыканием.
6. Доказательство леммы 2. Производная P' всякого комплексного полинома P, будучи ограниченной при \z\ < 1, принадлежит и H1 — пространству Харди аналитических в круге \z\ < 1 функций f с конечной величиной
1 Г 2ж
||/||Я1 := sup — / |/(reJi)| dt.
0<r<1 2п J0
Следовательно, к полиному P применима теорема 3 работы [10], согласно которой при каждом натуральном
n > max{ 1; h}, h := (\\P\\2C + \\P'\\Hi),
существует дробь g2n+1 порядка 2n +1 вида (1), интерполирующая полином P по узлу zo = 0 с кратностью n, причем выполняется поточечная оценка
zn
\P(z)-g2n+1(z)\<AT^TI, \z\ < 1,
где
Л = (2n + 1 + \\Р\\с)(е^ + 7ге21И1° ||Р||С) + nh {1_h/n>Q) 1 - h/n
В силу неравенства Бернштейна имеем \\Р'\\Н1 < \\Р'\с < к\\Р\\с,
Н < шах{ 1; Н} < е2в(в2 + кв) < е2яв2(1 + к) < е4я(1 + к)/2,
где к = degР, в = 1 + \\Р\\с > 1. Следовательно, выбирая
п > е4я(1 + к) > е4,
будем иметь Н < п/2, 2п + 1 + в < 2п + п/е4 + п/4 < 2.27 п,
. (2п + 1 + в)(е8 + пе2*в) + пп/2 3 з8
А < --------— < 4.54 п(1 + 7г)е + яп < 19еЛ8п,
1 - 1/2
что доказывает первую часть леммы.
С учетом полученной поточечной оценки остатка интерполяции остается проверить существование оценки вида
в1 пРтпР
-(1 - т)а ¿т < Сп-(а-р+1), -1 <р - 1 < а < ж,
J0 (1 - тп+1 )р
где С > 0 — константа, зависящая лишь от р и а. Положим
£ = 1п(2)/п (1 - £ > 0)
и рассмотрим интегралы
г1—е пРхпР Г1 прхпР
/1 = У0 -х)а ^ /2 = Л_£ а-х^1-3^*"-
При х € (0,1 - £) имеем
1 - хп+1 > 1 - (1 - £)п = 1 - еп 1п(1-е) > 1 - в-пе = 1/2, следовательно,
^^ ^ Г(пр + 1)Г(а + 1)
Г (пр + а + 2)
/! < [ 2рпрхпр(1 - х)а ах < 2рпр [ хпр(1 - х)а ах = 2рпр
00
Для частного гамма-функций при любых фиксированных а, Ь имеет место асимптотическое равенство [11, с. 62, § 1.18, формула (4)]:
Г(Ь + а)/Г(Ь + Ь)= Ьа-Ъ(1 + 0(Ь-1)), Ь > 0. (15)
Применяя эту формулу при Ь = пр, а = 1, Ь = а + 2, получим оценку
11 < С1 п-(а-р+1)(1 + 0(п-1)), С1 = 2рр-а-1Г(а + 1).
Если, напротив, 1 - £ < х < 1, то с учетом 1 - (1 - £)п+1 > 1/2 имеем
п ж
3=0 3=0
Пухпу{ 1 _ хГ пу{ 1_хГ = пР(1_хГ-Р _
(1 (1-ж"+1)Р (1+Х-1-----1 ' 1 '
Таким образом,
]1_е а — р +1 а — р +1
(а > р — 1). Соединяя оценки 11 и 12, приходим к искомому результату. 7. Доказательство леммы 3. При —1 < а < ж, 0 < р < ж положим
I :=
1 р с 1 с2п
г- 1
I г{1-г2)ад,г I ---—.
О V Уо (1+Г2-2гсовг)р/2
Выразив внутренний интеграл через значения гипергеометрической функции Гаусса 2¥1 по формуле [11, с. 92, §2.4, формула (10)], получим
I = 2тг [\(1 -г2)а 2^1(§,§;1;г2)йг = 7г /'(1 - х)а , §; 1; х) сЬ.
Jо Jо
Далее, при у, Ие Ке в > 0 и | arg(1 + шу)| < п имеет место формула [12, с. 265, §2.21.1, формула 4]
Г у
/ х~'_\у — х)в_1 2№1(а, Ь; с; — шх) ¿х = Б(7, в)у1+в_1 а, Ь, 7; с,7 + в; —шу). ■)о
Здесь — обобщенная гипергеометрическая функция; Б — бета-функция. Положим у = 1= 7 = с, в =1 + а (а > —1), а = Ь = р/2, ш = —1. Тогда
I (1-х)« 2Р1{%^-1-х)д,х = Щ1,1 + а) 3^2(§,§, 1;1,2 + а;1), Jо
Т = 7гВИ 1 I 1 * у (§)*(§)*!
где ( • )к — символ Похгаммера:
(ж)0 = 1, (х)к = х(х + 1)... (ж + к - 1) = , к = 1,2,----
Г(х)
Преобразовывая общий член ряда и применяя соотношение (15) с £ = к, получаем (§Ы|П 1 _ Г(§ + £)Г(| + к)Т{2 + а) 1 _
(2 + а)кк\ Г(|)Г(|)Г(2 + а + к) к\
Т = са,РкР-3-а(1 + 0(к-1))
(Г(к + §)\2 Г (к) 1 Са'Ч Г(Л) ) Г(к + 2 + а)к
(са,р = Г(2 + а)/(Г(|))2 > 0). Таким образом, для сходимости ряда необходимо и достаточно, чтобы р — 3 — а < —1, что равносильно а > р — 2. □
Подчеркнем, что в случае а < р — 2 ни одна из дробей вида (1) (не только однополюсные) не принадлежит Ар.
АР
Аа
Литература
1. Chui C.K. A lower bound of fields due to unit point masses. Amer. Math. Monthly 78 (7), 779-780 (1971). https://doi.org/10.1080/00029890.1971.11992851
2. Newman D.J. A lower bound for an area integral. Amer. Math. Monthly 79 (9), 1015-1016 (1972). https://doi.org/10.1080/00029890.1972.11993174
3. Chui C. K. On approximation in the Bers spaces. Proc. Amer. Math. Soc. 40 (2), 438-442 (1973). https://doi.org/10.1090/S0002-9939-1973-0340608-9
4. Abakumov E., Borichev A., Fedorovskiy K. Chui's conjecture in Bergman spaces. Math. Ann. 379 (3-4), 1507-1532 (2021). https://doi.org/10.1007/s00208-020-02114-1
5. Бородин П. А. Приближение наипростейшими дробями с ограничением на полюсы. II. Ма-тем. сборник 207, вып. 3, 19-30 (2016). https://doi.org/10.4213/sm8500
6. Komarov M.A. A lower bound for the L2 — 1,1]-norm of the logarithmic derivative of polynomials with zeros on the unit circle. Пробл. анал. Issues Anal. 8 (2), 67-72 (2019). https://doi.org/10.15393/j3.art.2019.6030
7. Komarov M.A. A Newman type bound for Lp[—1,1]-means of the logarithmic derivative of polynomials having all zeros on the unit circle. Constr. Approx. 58 (3), 551-563 (2023). https://doi.org/10.1007/s00365-023-09622-8
8. Сегё Г. Ортогональные многочлены,, пер. с англ. Москва, Физматгиз (1962).
9. Hedenmalm H., Korenblum B., Zhu K. Theory of Bergman Spaces. New York, Springer (2000). https://doi.org/10.1007/978-1-4612-0497-8
10. Комаров М. А. О скорости аппроксимации в единичном круге функций класса H1 логарифмическими производными полиномов с корнями на границе круга. Изв. РАН. Сер. матем. 84, вып. 3, 3-14 (2020). https://doi.org/10.4213/im8901
11. Бейтмен Г., Эрдейи А. Высшие трансцендентные функции. Гипергеометрическая функция. Функции Лежандра, пер. с англ. Москва, Наука (1965).
12. Прудников А. П., Брычков Ю.А., Маричев О. И. Интегралы и ряды.. Т. 3. Специальные функции. Дополнительные главы.. Москва, Физматлит (2003).
Статья поступила в редакцию 12 марта 2023 г.;
доработана 3 июля 2023 г.; рекомендована к печати 31 августа 2023 г.
Контактная информация:
Комаров Михаил Анатольевич — канд. физ.-мат. наук, доц.; kami9@yandex.ru
Density of simple partial fractions with poles on the circle in weighted spaces for the disk and the interval
M. A. Komarov
Vladimir State University, 87, ul. Gor'kogo, Vladimir, 600000, Russian Federation
For citation: Komarov M. A. Density of simple partial fractions with poles on the circle in weighted spaces for the disk and the interval. Vestnik of Saint Petersburg University. Mathematics. Mechanics. Astronomy, 2024, vol. 11 (69), issue 1, pp. 96-107. https://doi.org/10.21638/spbu01.2024.105 (In Russian)
Approximation properties of simple partial fractions (the logarithmic derivatives of algebraic polynomials) having all poles on the unit circle are investigated. We obtain criteria for the density of such fractions is some classical integral spaces: in the spaces of functions summable with degree p in the unit interval with the ultraspheric weight and in the (weighted) Bergman spaces of functions analytic in the unit disk and summable with degree p over the area of the disk. Our results generalize to the case of an arbitrary exponent p > 0 the known criteria by Chui and Newman and by Abakumov, Borichev and Fedorovskiy for the Bergman spaces with p =1 and p = 2, correspondingly. Keywords: simple partial fraction, Bergman space, Chui's problem.
References
1. Chui C.K. A lower bound of fields due to unit point masses. Amer. Math. Monthly 78 (7), 779-780 (1971). https://doi.org/10.1080/00029890.1971.11992851
2. Newman D.J. A lower bound for an area integral. Amer. Math. Monthly 79 (9), 1015-1016 (1972). https://doi.org/10.1080/00029890.1972.11993174
3. Chui C. K. On approximation in the Bers spaces. Proc. Amer. Math. Soc. 40 (2), 438-442 (1973). https://doi.org/10.1090/S0002-9939-1973-0340608-9
4. Abakumov E., Borichev A., Fedorovskiy K. Chui's conjecture in Bergman spaces. Math. Ann. 379 (3-4), 1507-1532 (2021). https://doi.org/10.1007/s00208-020-02114-1
5. Borodin P. A., Approximation by simple partial fractions with constraints on the poles. II. Matem. Sbornik 207, iss.3, 19-30 (2016). https://doi.org/10.4213/sm8500 (In Russian) [Eng. transl.: Sbornik: Mathematics 207, iss.3, 331-341 (2016). https://doi.org/10.1070/SM8500].
6. Komarov M.A. A lower bound for the L2 [— 1,1]-norm of the logarithmic derivative of polynomials with zeros on the unit circle. Probl. Anal. Issues Anal. 8 (2), 67-72 (2019). https://doi.org/10.15393/j3.art.2019.6030
7. Komarov M.A. A Newman type bound for Lp[—1,1]-means of the logarithmic derivative of polynomials having all zeros on the unit circle. Constr. Approx. 58 (3), 551-563 (2023). https://doi.org/10.1007/s00365-023-09622-8
8. Szego G. Orthogonal Polynomials. Providence R. I., American Mathematical Society (1959). [Rus. ed.: Szego G. Ortogonal'nye mnogochleny Moscow, Fizmatlit Publ. (1962)].
9. Hedenmalm H., Korenblum B., Zhu K. Theory of Bergman Spaces. New York, Springer (2000). https://doi.org/10.1007/978-1-4612-0497-8
10. Komarov M.A. On the rate of approximation in the unit disc of H1-functions by logarithmic derivatives of polynomials with zeros on the boundary. Izv. RAN. Ser. Mat. 84, iss.3, 3-14 (2020). https://doi.org/10.4213/im8901 (In Russian) [Eng. transl.: Izvestiya: Mathematics 84, iss.3, 437-448 (2020). https://doi.org/10.1070/IM8901].
11. Bateman H., Erdelyi A. Higher transcendental functions. Vol. 1: Hypergeometric function. Leg-endre functions. McGraw-Hill (1953) [Rus. ed.: Bateman H., Erdelyi A. Vysshie transtsendentnye funk-tsii. Gipergeometricheskaia funktsiia. Funktsii Lezhandra, Moscow, Nauka Publ. (1965)].
12. Prudnikov A. P., Brychkov Yu. A., Marichev O.I. Integrals and series. Vol.3. Complementary chapters. Moscow, Fizmatlit Publ. (2003). (In Russian)
Received: March 12, 2023 Revised: July 3, 2023 Accepted: August 31, 2023
Author's information:
Mikhail A. Komarov — kami9@yandex.ru