Преобразование Березина и радиальные операторы на весовых пространствах Бергмана на единичном диске
Автор: Kaрапетянц Aлексей Николаевич, Голиков Александр Владимирович
Журнал: Владикавказский математический журнал @vmj-ru
Статья в выпуске: 2 т.7, 2005 года.
Бесплатный доступ
Изучается связь между компактностью радиального оператора на весовом пространстве Бергмана на единичном диске комплексной плоскости и убыванием преобразования Березина этого оператора на границе единичного диска. Приводятся достаточные условия при которых убывание преобразования Березина влечет компактность соответствующего оператора. Особое внимание уделяется операторам Теплица с радиальными символами.
Короткий адрес: https://sciup.org/14318146
IDR: 14318146
Текст научной статьи Преобразование Березина и радиальные операторы на весовых пространствах Бергмана на единичном диске
Пусть Ад() обозначает весовое пространство Бергмана на единичном диске = {z Е C : |z| < 1} в C, состоящее из аналитических на функций, принадлежащих весовому пространству L^(), А > —1. Здесь L^() обозначает пространство измеримых на функций f , для которых конечна норма kf kL=o = (/if И^ми)1/2, где d^x(z) = (А + 1)(1 — |z|2)A — dxdy, А > —1.
Пространство А Д () является замкнутым подпространством L ^ (). Следующее неравен-
|f(z)| 6 c^kfНа> |z| © 2005 Карапетянц A. Н., Голиков А. В. при этом функция K^ (w) имеет вид (см. ниже) K^(w) = (1-zW)2+a , а скалярное произведение в AX() определяется следующим образом: hf, giX = yf(z)g(z)dцx(z), f,geAX(). Обозначим через BX (весовой) проектор Бергмана, проектирующий L^() на Ад(): BX f (z) = M (w)K X(z,w)d^x(w) = /f J J (1 - zw) dpx(w) где функция Kx(z,w) = Kx(w), z,w e, называется (весовым) ядром Бергмана или порождающим ядром в AX(). Для измеримой на функции a(z) оператор Теплица с символом a(z) не обязательно ограниченный, но определенный на плотном в AX() множестве, имеет вид: TXf (z) = (BXaf )(z)= /d^x(w). (1 - zw)+ Для линейного оператора A на AX(), не обязательно ограниченного, но определенного на плотном в AX() множестве, преобразование Березина (или символ Березина оператора A) определяется следующим образом: A(z) = 'к.к , z e, где функция kX(w) = Kx(w)/||Kx(9||a2q, z,w e, называется когерентным состоянием. В случае теплицева оператора Т^ функцию АА также называют преобразованием Березина символа a(z) и обозначают A(z) = a(z). Преобразование Березина является одним из наиболее распространенных методов в теории операторов и пространств аналитических функций. В частности, имеется ряд работ посвященных исследованию связи между убыванием преобразования Березина оператора Теплица на границе единичного диска (а также конечных сумм произведений теплицевых операторов) и компактностью оператора. В этой связи упомянем работы [2–7] (см. также монографии [8, 9] и имеющиеся там ссылки). Оператор Теплица А на AX() является локально компактным оператором по крайней мере в случае символа a(z) непрерывного на . Поэтому, компактность такого оператора эквивалентна равенству символа нулю на границе диска. С другой стороны, для таких операторов имеет место соотношение (см. [8]) a(z) = A(z), z e д (более того, для гармонических символов a(z) справедливо a(z) = T^^z), z e). Таким образом, связь между компактностью оператора и убыванием преобразования Березина при приближении к границе диска становится очевидной для хороших символов. В общем случае (необязательно теплицевых операторов) имеет место следующий факт. Если оператор A компактен, то функция A(z) очевидно ограничена и, кроме того, A(z) ^ 0 при z ^ д в силу слабой сходимости А к нулю при z ^ д. С другой стороны, существуют примеры некомпактных операторов, преобразование Березина которых стремится к нулю на границе (см. [2]). Относительно теплицевых операторов, для определенных классов символов доказано, что оператор компактен тогда и только тогда, когда преобразование Березина стремится к нулю на границе. Так, например, для положительных символов это установлено в [5, 10], для ограниченных символов в [2], а для символов из класса BMO1() — в [7]. Отметим, что в этих работах, за исключением работы [5], рассматривается безвесовое пространство Бергмана A2() = A0(). В общем случае произвольных, вообще говоря, неограниченных символов доказать аналогичное утверждение или показать, что оно не имеет места не представляется возможным. В первую очередь это связано с тем, что техника, применяемая в упомянутых работах, по-существу использует характерные свойства символов из рассматриваемого класса. Например, даже в случае радиальных неограниченных символов этот вопрос остается открытым. В этой связи интересным является подход, предложенный в работе [6]. Именно, пусть ^ обозначает класс ограниченных операторов на A2(), для которых стремление к нулю преобразования Березина A(z) при |z| ^ 1 влечет компактность оператора. Как было отмечено выше, компактность оператора влечет стремление преобразования Березина к нулю на границе, т. е. класс ϑ состоит из тех операторов, для которых оба утверждения эквивалентны. Главным результатом упомянутой работы является описание семейства так называемых радиальных операторов, принадлежащих классу ϑ (в безвесовом случае). Это не обязательно теплицевы операторы, и для теплицевых операторов радиальность означает, что символ такого оператора радиален. Заметим в этой связи, что при этом не требуется ограниченности символа. В настоящей работе мы исследуем аналогичную задачу для операторов на весовом пространстве Бергмана. Приводятся достаточные условия принадлежности оператора классу ^д. Здесь ^a обозначает класс ограниченных операторов A на AA(), для которых стремление к нулю преобразования Березина A(z) при |z| ^ 1 влечет компактность оператора. Особое внимание уделяется теплицевым операторам с радиальными символами и с символами, постоянными на окружностях Бергмана (окружностях в гиперболической метрике Бергмана). Эти окружности можно рассматривать как образы обычных евклидовых окружностей при преобразовании Мёбиуса диска в себя, переводящем z = 0 в точку ZQ. dλn p (A + 1)B (n + 1, A + 1) I Г(п + A + 2) У r(A + 2)n! n = 0,1, 2,..., можно получить явное выражение для ядра Бергмана: KA(z,w) = (у—zW_)2+A. Используя порождающее свойство ядра Бергмана в Ад(), легко вычислить его норму: |Ka(z, *)Ha^() = (1—|z|2)A/2+1, z E . Таким образом, когерентное состояние kA(w) имеет вид kA(w) = KA(z, w) лк A(z,ОЦ (Л = (1 - Iz|2)1+A/2XX еП(=)еП("). ' ' n=0 и для z E, f E AA() справедливо соотношение hA = , 1 hf(^),KA(z, -»A = (1 -|z|2)1+A/2f(z). kKA(z, J|Ia2 Следовательно, преобразование Березина оператора A может быть представлено в виде ∞∞ A(z) = hAk^ k^ = /A (i - |z|2)i+A/2 ^2en(z)en(w) ,(1-|z|2)1+A/212ek(z)en(w) / n=0 k=0 λ ∞ = (1 -|z|2)2+A £ dndAhAeA, eAiAznzk. n,k=0 Следуя [6], обозначим rad(f)(z) = / f(eit^dt. 2п 0o Функция rad(f) называется радиализацией функции f. Будем говорить, что функция f радиальная, если она совпадает со своей радиализацией. Обобщая эту идею, в работе [6] для оператора A определяется оператор Rad(A) : 1 f^ Rad(A) = — U^AUtdt, 2n 0o где Ut унитарный оператор (Utf )(z) = f (e itz), f G Ад(). Другими словами, записанное выше равенство означает, что для всех f, g G AA() выполняется: hRad(a)f,gi 2π Гп [ hU AUtf, gidt. Если A = Rad(A), то оператор A называется радиальным. Рассмотрим преобразование Rad(A)~ Березина оператора Rad(A). Доказательства сформулированных ниже утверждений аналогичны приведенным в [6] и мы их опускаем. Утверждение 2.1. Rad(A)~(z) = Rad(A)(z) для всех z G, и оператор A радиальный тогда и только тогда, когда его преобразование Березина является радиальной функцией. Для f G LA() положим f(z) = [ (w)|kA(w)|2d^A(w). f Функцию f назовем преобразованием Березина функции f. Утверждение 2.2. Функция f является радиальной тогда и только тогда, когда функция f радиальна, другими словами rad(f)~ = rad(f). Утверждение 2.3. Пусть A ограниченный радиальный оператор в AA()- Тогда A диагональный оператор относительно стандартного базиса {eA} в Aa()- Всюду ниже мы будем обозначать YA(n) hAen,eniA- Мы также будем использовать отображение М¨ебиуса αz0единичного диска в себя, переводящее точку z = 0 в точку z = zg: z0 - z аго (z) = ---—, z G . 0 1 - zoz Легко видеть, что: (i) a.? = az0; (ii) вещественный Якобиан отображения Мебиуса az0 имеет вил А-^2)2- 1 - Ы|2 - (1-Ы2К1-М2) имеет вид |i-zoz|4 ; (iii)1 |az0 (Z)|= |1-zoz|2 . Нам также понадобится следующая лемма. Лемма 2.4 [11]. Пусть для фиксированного А > 0 последовательность {an} такова, что: ∞ lim (1 — t)x X antn = 0, t ■. n=0 и существует C > 0 такое, что an > —C(n + 1)x-1. Тогда P^n lim a n^+^ (n + 1)x = 0. 3. Достаточные условия принадлежности классу ϑλ Здесь приводятся достаточные условия принадлежности оператора классу ϑλ . Так как мы используем технику преобразования Березина и операторы, рассматриваемые здесь, являются диагональными относительно ортонормированного базиса {eλn}, то в первую очередь заметим, что для таких операторов преобразование Березина имеет вид ∞ A(z) = (1 — |z|2)2+A£ |en(z)|2(Aen,en)A. n=0 Теорема 3.1. Пусть A — линейный оператор в A^(), диагональный относительно стандартного базиса {еП} в пространстве Ax() и пусть {Yx(n)} — его диагональ, т. е. Yx(n) = (Aen enix. Если существует C > 0 такое, что (dn)2Yx(n) — (dn-i)2Yx(n — 1) > -C(n + 1)x, n > 1, то стремление к нулю преобразования Березина A(z) при |z| ^ 1- влечет компактность оператора A. Другими словами, если для оператора A выполняются условия теоремы, то A ∈ ϑλ. <1 Заметим, что оператор A компактен если и только если последовательность {Yx(n)} сходится к нулю при n → ∞. Рассмотрим преобразование Березина оператора A. Заменяя t = |z|2, получаем ∞∞ A(z) = (1 — t)x+2X(dx)2Yx(n)tn = (1 — t)x+1X(dn)2Yx(n)(tn — tn+1) n=0 n=0 = (1 —t)x+1 ((dx)2Yx(0) — (dx)2Yx(0)t + (dx)2Yx(1)t — (dx)2Yx(1)t2 +• • • + (dx)2Yx(n)tn — (dn)2Yx(n)tn+1 + . . . ^ = (1 — t)x+1((dx)2Yx(0) + ((dx)2Yx(1) — (dO)2Yx(0))t +-----+ ((dxn)2Yx(n) — (dn-1)2Yx(n — 1))tn + • • • ^ = (1 — t)x+1 ( (d0x)2Yx(0) + XX ((dxn)2Yx(n) — (dn-1 )2Yx(n — 1)) tn ) . n=1 Обозначим bo = (dg)2YA(0), bn = (dn)2YA(n) -(d^-^YACn —1), n = 1, 2,... Таким образом ∞ A(z) = (1 —t)A+1 Vb - , t = |z|. n=0 Из условий теоремы следует limt-1— (1 — t)A+1 РП=о bntn = 0. Кроме того, в силу определения последовательности {bn} имеем: bn > —C(n + 1)A, n > 1. Так как выполнены условия леммы 2.4, то n bk lim т—. ,0а м n-» (n + 1)A+1 = 0. Поскольку P»=obk = (dA)2YA(n), будем иметь limn-» (n+dnA+TYA(n) = 0. Окончательно по формуле Стирлинга получаем lirn d' = lirn Г("+ A + 2) = 1 —» (n + 1)A+1 n-» Г(А + 2)n!(n +1)AA1 Г(А + 2) ■ Следовательно, limn-» Yx(n) = 0, и оператор A компактен. B Следствие 3.2. Пусть A — линейный ограниченный оператор в пространстве Бергмана AA(), диагональный относительно стандартного базиса {e^} и пусть {та(п)} — его диагональ. Если последовательность п(та(п) — Yx(n — 1)) ограничена, то A Е ^а- <1 Справедливо соотношение (dn)2YA(n) — (dn-1)2YA(n —1)= __________1__________ (n + 1)A B(n, A + 1)(n + 1)A x (ya(n) — Ya(n — 1)) + .(A +1) A Ya(n). B (n,A + 1)(n + 1)A Очевидно, первое слагаемое эквивалентно Г(a+1)n(YA(n) — Ya(n - 1)) и, следовательно, ограничено. Из ограниченности оператора A следует ограниченность последовательности {Ya(n)}. Второе слагаемое эквивалентно rp+i) Ya(n) и также ограничено. Таким образом, существует C > 0 такое, что (dn)2Ya(n) — (dn-1)2YA(n —1) (n + 1)A Следовательно, (dn)2YA(n) — (dn-1 )2Ya(n —1) (n + 1)A >—c (n = 1, 2,...) или (dn)2Ya(n) — (dn-1)2YA(n — 1) > —C(n + 1)A (n = 1, 2,...). Так как выполняются условия теоремы 3.1, то A Е ^a. B Рассмотрим теперь теплицевы операторы с радиальными символами a(z) = a(|z|). Имеем (см. [12, 13]): тх(n) = hTaen, eni a = (a+ 1)(dn)2у z|2na(z)d^ a (z) = 2(A + 1)(d n)2 1 a(r)r2n+1(1 — r2)Adr = 1 Г1 B(n + 1,A + 1) Уо 1 - r)Adr Теорема 3.3. Пусть a(z) — радиальная функция, a(Vr)(1 — r)AG L1[0,1), TA ограниченный оператор на AA(). Положим b(r) = a(л/r) - (1 — r)A+1 j a(Vs)(1 —s) λds, B(0)(r) = b(r), Bj (r) = /1 r B^ 1) (s)ds (j = 1, 2,...). Если существует номер j G N такой, что Bj)(r) = O((1 — r)j) при r ^ 1, то T^ G ^д. C Рассмотрим — n(YA(n) — YA(n — 1)) = n B(n,A + 1) ^ a(Vr)(1 — r) A+1r"-1dr— уТ^+уу / a(Vr)(1 — r)Ar"dr. B (n, A+ 1) Jo Второе слагаемое ограничено в силу ограниченности оператора T λ. Рассмотрим первое слагаемое, которое запишем в виде B(n,A + 1) 1" a^1- r) n д+1r"-1dr = n----- B(n, A + 1) X j0 (a(Vr) —(1 — r)A+1 ^ a(Vs)(1 —s/ds)) (1 — r)A+1Tn 1dr + B(n,A + 1) / rn^dr n j a(Vs)(1 — s) ^ds. Имеет место соотношение: n B(п, A + 1) Уо b(r)(1 — r)A+1rn-1dr ~ (A + 1)YA+1(n — 1), n ^ to. Используя результаты из [12], замечаем, что последовательность YA+‘(n) ограничена. Далее, интегрируя по частям, будем иметь n B(n,A + 1) '"-‘dr j a(Vs)(1 — s)Ads = B(n, A + 1) j0 “(V7)(1 — r)Vdr = YA(n — ■ Последовательность YA(n — 1) также ограничена. Остается применить следствие 3.2. B Рассмотрим оператор теплица ТА с символом a(z) постоянным на окружностях в метрике Бергмана e(zi,Z2) = | ln |i-Z1Z2|+|Z1-Z2| с центром в точке z = zo G . Ясно, что тогда az0(z) = a(az0(z)) является радиальной функцией. Как следствие, из теоремы 3.3 получаем следующий результат. Теорема 3.4. Пусть a(z) функция, постоянная на окружностях в метрике Бергмана с центром в точке z = zo, a(az0(Vr))(1 — r)A G L1 ([0,1)), TA — ограниченный оператор на Ад (). Положим 1 /"1 b(r) = a(azo(Vr)) -(1 - r)A+1 J a(azo(Vs))(1 - s)dss, Bb"(r) = b(r), Bj(r) = / Bbj-1)(s)ds (j = 1, 2,...). r Если существует номер j E N такой, что B(j)(r) = O((1 - r)j) при r ^ 1, то TA E ^A-C Введем на A^() унитарный оператор U^ следующим образом: 2^ 2 + 1 (UAf)(z) = CzA0(z)f(azo(z)), CA(z) = ((1 Jz^A+2 . Непосредственные вычисления дают: (Uzo T^a- (w)Uzo f)(z) = Czo(z)[ (azo (wW (azo(w))CAo (w)KA (azo (z),w)d^A (w) a = (X + 1)Czo(z)j (azo(w))f (azo (w^^Czo (w)KA(azo (z),w)(1- |w|2)Ad^(w). Производя замену переменной w = azo (С) и используя свойства преобразования Мебиуса, получаем (Uzoта^0о(w)Uzo f )(z) = (A + 1)Czo(z) [(C)f (OCzo (azo(C))K(azo(z),azo(C)) a X (^ - z"12')2 (1 - |azo(C)|2)Ad^(C). |1 - Z"C|4 Далее, имеем KА (aZ0 (z),aZ0 (С)) = (1 - Z"Z)A+2(1 - zoC)A+2 (1 -|zo|2)A+2 KA(z,n Czo (azo (C)) = (Czo (C))-1- Таким образом, (UZo Т^ (w)UA f )(z) = (X + 1) [ (CW)KA(z,C)(1 - ICI2)AdO a = [ (C)f (C )K A(z,№a(£) = ^f )(z). a Так как оператор Uzλ0унитарный, то для компактности оператора Taλнеобходимо и достаточно, чтобы оператор T^a(w) с радиальным символом a(azo(w)) был компактен. B
Список литературы Преобразование Березина и радиальные операторы на весовых пространствах Бергмана на единичном диске
- Коробейник Ю. Ф. Абсолютно представляющие системы экспонент с мнимыми показателями в пространствах бесконечно дифференцируемых функций и продолжимость по Борелю -Уитни//В сб.: Актуальные проблемы математического анализа.-Ростов-на-Дону: Изд-во ГинГо.-2000.-С. 8-22.
- Axler S., Zheng D. Compact operators via the Beresin transform//Indiana Univ. Math. J.-1998.-V. 47, № 2.-P. 387-400.
- Axler S., Zheng D. The Beresin transform on the Toeplitz algebra//Studia Math.-1998.-V. 127, № 2.-P. 113-136.
- Stroethoff K., Zheng D. Toeplitz and Hankel operators on Bergman spaces//Trans. Amer. Math. Soc.-1992.-V. 329, № 2.-P. 773-794.
- Zhu K. Positive Toeplitz operators on weighted Bergman spaces of bounded symmetric domains//J. Operator Theory.-1988.-V. 20, № 2.-P. 329-357.
- Zorboska N. The Beresin transform and radial operators//Proc. Amer. Math. Soc.-2003.-V. 131, № 3.-P. 793-800.
- Zorboska N. Toeplitz operators with BMO symbols and the Beresin transform//IJMMS.-2003.-V. 46.-P. 2929-2945.
- Zhu K. Operator theory in function spaces. Monographs and textbooks in pure and applied mathematics.-New York: Marcel Dekker, 1990.-254 p.
- Hedenmalm H., Korenblum B., Zhu K. Theory of Bergman spaces.-New York: Springer-Verlag, 2000.-286 p.
- Lueking D. H. Trace ideal criteria for Toeplitz operators//J. Funct. Anal.-1987.-V. 73, № 2.-P. 773-794.
- Постников А. Г. Тауберова теория и ее приложения//Тр. МИАН.-1979.-Т. 144.-С. 325-346.
- Grudsky S., Karapetyants A., Vasilevski N. Dynamics of properties of toeplitz operators with radial symbols//Reporte Interno CINVESTAV del I.P.N.-2002.-V. 317.-P. 1-37.
- Grudsky S., Karapetyants A., Vasilevski N. Toeplitz operators on the unit ball in C^n with radial symbols//J. Operator Theory.-2003.-V. 49.-P. 325-346.