CC BY
8
УДК 517.55
On Traces in Hardy Type Analytic Spaces in Bounded Strictly Pseudoconvex Domains and in Tubular Domains over Symmetric Cones
Romi F. Shamoyan* Sergey M. Kurilenko^
Natural Sciences Institute Brjansk State University Bejickaya, 14, Brjansk, 241036
Russia
Received 30.01.2016, received in revised form 03.06.2016, accepted 15.08.2016 We provide some new estimates on Traces in new mixed norm Hardy type spaces and related new results on Bergman type intergal operators in Hardy type spaces in tubular domains over symmetric cones and bounded striclty pseudoconvex domains with smooth boundary. We generalize a well-known one dimensional result concerning Traces of Hardy spaces obtained previously in the unit disk by various authors.
Keywords: bounded strongly pseudoconvex domain, tubular domains over symmetric cones, Hardy-type spaces.
DOI: 10.17516/1997-1397-2016-9-4-510-517.
In this note we give new estimates for traces of new mixed norm Hardy type spaces in tubular domains over symmetric cones and in bounded strictly pseudoconvex domains. We generalize a well-known one dimensional result concerning traces of Hardy spaces obtained previously in the unit disk by various authors. This trace problem in Hardy spaces(diagonal map problem) in the unit disk and in the unit polydisk was considered by many authors during last several decades. In polydisk some estimates related with this problem can be seen, for example, in [1,2]. In polydisk, but in particular values of parameters in [3] and in some papers from list of references of [1,2]. A rather long history related with these type estimates of traces of Hardy spaces can be read in [4] and in [2] also. In this paper we extend a known crucial estimate related with this problem to more general and complicated cases of tubular domains over symmetric cones and pseudoconvex domains with smooth boundary putting a natural condition on Bergman kernel of these domains. This paper can be considered also as continuation of a long series of papers of first author on traces of function spaces (see, for example, [5-8] and various references there).
In recent decades many papers appeared where various Hardy and other analytic spaces were studied from various points of views in higher dimension in various domains in Cn. We refer for example to a series of papers of Krantz and coauthors (see [9-11] in particular) and also [12-15] in this direction. For some new interesting results on analytic spaces in tubular domains over symmetric cones we refer the reader to [16-19] and various references there also. We will heavily use nice techniques which was developed in these papers related with so-called lattices.
We start hoverer with a result in the unit ball. Then we define new mixed norm Hardy type classes in tubular domains and pseudoconvex domains (see [1,2] for much simpler case of the unit polydisk). Then we provide a complete proof of our assertion in polyball and then provide assertions in bounded pseudoconvex domains with smooth boundary and in tubular domains over symmetric cones. In all cases proofs actually are the same.
* rsham@mail.ru
1 SergKurilenko@gmail.com © Siberian Federal University. All rights reserved
Note that first such type sharp trace results in more complicated bounded pseudoconvex domains were provided recently in [5,6,20] and in unbounded tubular domains over symmetric cones in [8]. Hoverer these papers recently covered only various analytic Bergman type and Herz type spaces cases.
The situation with Hardy spaces is more complicated even in simplest case of product domains that is the case of the unit polydisk (see [1,2] and references there). We note trace results have many applications (see [20] for example). Note in more general than unit disk and unit polydisk case the case of polyball such type results were proved earlier in [5-7] in BMOA type and other analytic function spaces.
To provide our assertion we will need some basic notations and lemmas in the case of the unit ball and the unit polyball, in tubular domains over symmetric cones and in bounded strongly pseudoconvex domains with smooth boundary (see, for example, [5-7] and references there).
Let B be the unit ball in Cn, let H(B) be the space of all analytic functions in B. Moreover, let dv denote the Lebesgue measure on B, normalizes such that v(B) = 1, and, for any a e R, let dva(z) = ca (l — \z\2') dv(z) for z e Bn. Here, if a ^ —1, ca = 1 and if a > -1, ca = r(n + a + 1)
r(n + 1)r(a + 1)
is the normalizing constant so that va has unit total mass. The Bergman
metric on B is 3(z,w) = - log1-\—(—tt , where pz is the Mobius transformation of B that
2 1 — \Pz (—)\
interchanges 0 and z. Let D(a, r) = {z e B : 3(z, a) < r} denote the Bergman metric ball centered at a e B with radius r > 0.
The proofs of the following properties of the Bergman balls can be found in [21] (see Lemmas 1.24, 2.20, 2.24 and 2.27 in [21]).
Lemma A.
a) There exists a positive number N ^ 1 such that, for any 0 < r ^ 1, we can find a sequence
CO
{vk}C=1 in B to be r-lattice in the Bergman metric of B. This means that B = |J D(vk,r),
k=i
D(vl,r/4) fl D(vk,r/4) =0 if k = l and each z e B belongs to at most N of the sets D(vk, 2r).
b) For any r > 0; there is a constant C > 0 so that — ^
C
1 — {z, w)
1 — {z,v)
^ C for all z £ B and
all w, v with ¡3(w, v) < r.
c) For any a > —1 and r > 0, / (1 — \w\2)adv(w) is comparable with (1 — \z\2)n+1+a for
J D(z,r)
all z £ B.
d) Suppose r > 0, p > 0 and a > —1. Then there is a constant C > 0 such that
\f(z)\P ^ (1 — \z\2)n+1+a jDM \f(z)\PdVa(w),
for all f £ H(B) and all z £ B. Let
(Taf )(zi, . . . , zm) = Ca
f (w)(1 — \ w \ 2)adv(w)
n (1 — {zj,w)) -j=1
r(m + a + 1) r(a + 1)n!
(Tf )(z) = f (z), z e B, a > —1. The question is to study the action of this operator in Hardy,
zj £ B, j = 1,...,m, a > —1, zj £ B, j = 1,...,m, ca = ————. For m = 1
Bergman spaces. For m = 1, (Tf)(z) = f (z) there is nothing to show, because of Bergman representation formula. For general case this operator or it is analogues were used before by author in various estimates related with trace problem in Hardy, Bergman and BMOA classes in tubular and pseudoconevx domains (see [5-8,22]).
Let Bm = B x • • • x B, m > 1. Let H(Bm) be the space of all analytic functions in Bm.
Let
Hpi'-'pm(Bm) = { g € H(Bm): sup
r1,...,rm<UJS \ JS \JS
Pm
x da(^) ...) pm-1 da(Cm) < TO J ,
\g(r1Ci,...,rmCm)\P1 da(Zi) x
\ —
\ pi
0 < pi < to, i = 1,... ,m, where a is a Lebegues measure on S = {z : \z\ = 1}, S = dB. This is a new mixed norm analytic Hardy class on products of unit balls (polyball).
Similarly based on definition of one domain case we can define mixed norm Hardy classes on products of tubular and bounded strongly pseudoconvex domains as subspaces of H(Qm) and H(TQ), m € N of spaces of all analytic functions on product domains Qm = Q x ••• x Q or TQ = Tq x • • • x Tq. The well-known definitions of classical Hardy spaces on tubular and pseudoconevx domains can be seen in [15,16,18,23,24]. We denote them by HP1'-"'Pm(Qm) and HPl'■■■'Pm(TQ), for all positive values of parameters. In case of bounded stongly pseudocnvex domains with smooth boundary the sphere S in our defintion must be simply replaced by special dQ£ domains closely related with so-called defining r function of pseudoconvex D or Q domains to be more precise it is a set of those points of domain for which our defining function r is constant (see for standard analytic Hardy classes in bounded pseudoconvex domains with smooth boundary, for example, [9-11,15]).
We provide first a full and rather short proof of our main result in polyball case based on Lemmas we just formulated. Then we add some vital comments concerning this proof and formulate complete analogues of this result in tubular and pseudoconvex domains under an additional natural condition on Bergman kernel of these domains.
Theorem 1. Let f € H (B); 0 < pj < 1; pj > pj+i, j = 1,...,m. If
f \f (z)\pm (1 - \z\)nPm (E m-1 -1)-1dv(z) < TO
Jb
2n
and a >--n - 1 then we have Taf € HPl'---,Pm(BQ).
pm
This result is well-known when n = 1, pi = p, i = 1,... ,m. (see [1, 2,4] for example and references there for these values of parameters in the case of unit polydisk). For these values of parameters it provides a sharp embedding for traces of classical HP Hardy spaces in the unit polydisk, (see [1,2,4]).
Proof of Theorem 1. The proof of Theorem 1 is fully based on properties of r-lattices of the
f nP2 i
unit ball (see Lemma A). We consider the case m = 2, i.e. if / \f (w)\P2(1 — \z\) pi dv(z) <to,
Jb
p2,p1 < 1 we prove that
P2
sup f ( f \Taf (zi,z2)\Plda(Ci)) P1 da(Z2) < to; j = rj j; j = 1, 2.
ri,r2<1J S \Js J
The general case is the same. We use properties of r-lattices listed above (see Lemma A).
We have the following estimates y
^ _ n + 1 + a^j :
P2 P1
J _ J (J ITaf (Z1'Z2) IP1 ^(Ci)) ~ da((2) < II \V1
< c^ sup I f (z) IP2
k = 1 zeD(ak,r) JS
\
f (1 - | wI)adv(w)
I n
'D(ak -r) n (I1 -z №) j=i
P2 \ P1
da(Ci)
da((2) _
_ (FkGk); Fk _ sup If (z
k=i
zeD(ak,r)
S
Note
P2
Gk < (1 - IakI)P2(n+i+a) (sup i P1 (sup [ /da(Zi) u ) .
^ \r2<Js I1 -(riCi,ak )IP1 Y) \r2<Js I1 -(r2C2,a,k )IP2Y J
Hence we have that the following chain of estimates is valid based on Lemma A
to
—---1 nP2
J < sup If (z)IP2 (1 -IakI)n+^r <
k=i zeD(ak ,r)
< cJ2 If (z)IP2 (1 - IzI)n P1 ^ dv(z) < cJ If (z)IP2 (1 - IzI)n ^-idv(z) <
k = ^ D(ak ,2r) JB
Note this chain of estimates is valid also in tubular and pseudoconevx domains based on properties of r-lattices of these domains, we refer to [25] and [26] for this.
This completes the proof of theorem in case of the unit ball. □
We provide some discussion on this proof. A carefull analysis of this proof shows similar results should be valid also in other domains. Indeed our arguments are valid, for example, in tubular domains and strongly pseudoconvex domains based on r-lattices of those domains (see [16,26]). First for the proof in tubular, pseudoconvex domains we need a version of Lemma A in these domains. Complete analogues of first, third and forth assertions of Lemma A in tubular domains and pseudoconvex domains can be seen in pseudoconvex domains in [24,25], in tubular domains in [16-18,23]. The second assertion of Lemma A is also valid in these domains, but only in milder form [25,26]. This hoverer, is vital for our proof and will stand in our formulations below as an additional condition on Bergman kernel both in tube and pseudoconvex domains.
Note further the last chain of estimates in our proof is valid also in polydisk, bounded symmetric domains, in tubular domains over symmetric cones and in bounded pseudoconvex domains with smooth boundary based on same properties of r-lattices of these domains (we refer to [25] and [26] for these standard arguments in tubular domains and pseudoconvex domains, to [4] for polydisk case).
To repeat estimates of Gk (see again our proof in the ball) in context of tube and pseudoconevx domains we refer to theorem 2 of [27] for pseudoconvex domains and to basic properties of r defining function of the pseudoconvex domain (see [27]) and for tubular domains to a Lemma from [17], and [19] concerning integrability of A function. To be more precise, for example, in tubular domains over symmetric cones it is the following well-known basic integrability properity for the determinant A function(see for this assertion [16] or [18]). It is complete analogues in pseudoconvex domains can be seen in [27]
Lemma B. The integral
' A-afx + :i>y"
a (y) = I\A-a{
dx
n
converges if and only if a > 2--1. In that case
r
Ja(y) = CaA-a+n/r (y),
a e R,y e Q.
In addition we must use the fact that A function is "monotone" on Q cone (see [16] or [18] for these basic properties). We omit easy details.
We denote by dv and dV as usual Lebegues measures on tube Tq and pseudoconvex Q domains.
The Bergman kernels in tubular domains and pseudoconvex domains will be denoted as usual by Kt(z,w) and Bv(z,w) (see, for example, [16,18,24,25]). The Bergman Bv kernel for tubular domains can be written via so-called A function in the following manner
Bv(z, w) = CvA-(v+ n^((z - w)/i),
z e Tq, w e Tq (see [16,28] for more details).
We formulate analogues of our first theorem in tubular domains over symmetric cones and in bounded strictly pseudoconvex domains with smooth boundary. We will omit calculations leaving them to interested readers.
We first define the complete analogue of Bergman type Ta integral operator in pseudoconvex and tubular domains using Bergman kernels in the following way. In the tubular domain over symmetric cones we define them as the following Bergman-type integral operators.
Ta(f)z= i f(Z)A"^ w)dvH; f e l1(tq),
JTn HA^ () j=1
a > -1, zj e Tq , j = 1,... ,m.
In bounded pseudoconvex domains with smooth boundary Q we define them as
a + n +1
(w)..............
Taf (z)= i f H^ Kt(zj, w)Sa(w)dv(w); t = j cl ■_1
'q j=1
f e LX(Q), a > -1, zj e Q, j = 1,..., m. Such type operators were studied before in [5-7] in our papers. They play a crucial role in various Trace theorems related with Herz and Bergman spaces in such type domains (see [5-7],and also in [8]) . We define new mixed norm analytic Hardy spaces in products of tubular domains over symmetric cones as follows. Let further for all positive values of parameters
'(Tm)= {f e H (Tm ):sup
yj en
11(1 \f (X + iy)P dxi)
■J Rn J Rn \ J Rn J
i
Pm
< oo
0 < pi < œ, i = l,...,m. We assume that for Bt(z,w) function (the Bergman kernel of Tn domain) the following condition is valid. \Bt(z,w)\ x \Bt(z,wk)\, w e BTn (wk,R); z e Tn, where t is positive and BTn (w,R) is a Bergman ball in tubular domain (see, for example, [16,18,23] for definitions of these objects and more discussions). We refer to [26] for milder version of this condition on Bergman kernel.
. . . dxm
We assume that for the Bergman Kt kernel of 0 bounded pseudoconvex domains with smooth boundary the following assertion is valid. \Kt(z,w)\ x \Kt(z,wk)|, w G BQ(wk,R), z G 0,where BQ(w, R) is a Kobayashi ball (we refer for more details on these objects, for example, to [24,25]). We note in these papers the same condition on Bergman kernel, but in a bit milder form can be also found.
Theorem 3. Let f G H (0), 0 <pi < 1, p^ > pi+i, i = 1,... ,m if
and if a > a0 for large enough a0 then Taf G HP1'-"'Pm (Qm).
Finnaly we remark some analogues of these assertions with similar proofs may be true in some other types of complicated domains, for example, in minimal homogenious domains, in bounded symmetric domains, but again our proof may work under some natural additional condition on Bergman kernel which in some cases probably may be removed. We note for these domains we also have similar properties of r-lattices and the complete analogue of Lemma A (see, for example [29,30] and various references there).
References
[1] J.Shapiro, Mackey topologies, reproducing kernels, and diagonal maps on the Hardy and Bergman spaces, Duke Math. J., 43(1976), no. 1, 187-202.
[2] S.Shvedenko, Hardy classes and related spaces of analytik functions in the init disk, polydisc and unit ball, Itogi Nauki i Tekhn. Ser. Mat. Anal, 23(1985), 3-124 (in Russian).
[3] P.L.Duren, A.L.Shields, Restriction of Hp functions on the diagonal of the polydisk, Duke Math. J., 42(1975), 751-753.
[4] A.E.Djrbashian, F.A.Shamoian, Topics in theory of Apa classes, Teubner Texte zur. Mathematik, 105(1988).
[5] R.Shamoyan, S.Kurilenko, On traces in analytic function spaces in polyballs, Palestine Journal of Mathematics, 4(2)(2015), 291-293.
[6] R.Shamoyan, S.Kurilenko, On traces of analytic Herz and Bloch type spaces in bounded strictly pseudoconvex domains in Cn, Issues Anal., 4(22)(2015), no. 1, 73-94.
[7] R.Shamoyan, O.Mihic, On traces of holomorphic functions on the unit polyball, Appl. Anal. Discrete Math, 3(2009), 198-211.
Theorem 2. Let f G H(Tq) and let 0 < pi < 1, pi > pi+i, i = 1,... ,m, if
/ n v-^m — 1 1 -i ~
If (z)Ipm A(Imz) rP^i—1 Pi- d,V(z) < TO
JTn
and if a > a0 for large enough a0, then Taf G HP1'-"'Pm (Tq). Let further,
[8] R.Shamoyan, E.Povprits, Sharp trace theorems in Bergman type spaces in tubular domains over symmetric cones, J. Sib. Fed. Univ. Math. Phys., 6(2013), no. 4, 527-538.
[9] S.Krantz, S-Y.Li, A Note on Hardy spaces and functions of bounded mean oscillation on domains in Cn, Michigan Math. J., 41(1994), 51-71.
10] S.Krantz, S-Y.Li, Bloch functions on strongly pseudoconvex domains, Indiana Math. Univ. J., 37(1988), no. 1, 145-163.
11] S.Krantz, S-Y.Li, On Decomposition Theorems for Hardy Spaces on Domains in Cn and Applications, Journal of Fourier analysis and applications, 2(1995), no. 1, 65-108.
12] J. Ortega, J. Fabrega: Hardy's inequality and embeddings in holomorphic Triebel-Lizorkin spaces, Illinois J. Math., 43(1999), 733-751.
13] J.Ortega, J.Fabrega, Pointwise multipliers and corona type decomposition in BMOA, Ann. Inst. Fourier, 46(1996), no. 1, 111-137.
14] M.Andersson, H.Carlsson, Qp spaces in strictly pseudoconvex domains , Journal D"analyse Mathematique, 84(2001), 335-359
15] J.Ortega, J.Fabrega, Mixed norm spaces and interpolation, Studia Math., 109(1994), 233254.
16] D.Bekolle, A.Bonami, G.Garrigos, C.Nana, M.Peloso, F.Ricci, Lecture notes on Bergman projectors in tube domain over cones, an analytic and geometric viewpoint, Proceeding of the International Workshop on Classical Analysis, Yaounde, 2001.
17] B.F.Sehba, Bergman type operators in tube domains over symmetric cones, Proc. Edinburg. Math. Society, 52(2009), no. 2, 529-544.
18] D.Bekolle, A.Bonami, G.Garrigos, F.Ricci, Littlewood-Paley decomposition and Besov spaces related to symmetric cones and Bergman Projections in Tube Domains, Proc. London Math. Soc., 89(2004), no. 2, 317-360.
19] B.F.Sehba, Hankel operators on Bergman Spaces of Tube domains over symmetric cones, Integr. Equ. Oper. Theory, (2008), 233-245.
20] E.Amar, C.Menini, A counterexample to the corona theorem for operator H2(Dn), Pacific Journal of Mathematics, 206(2002), no. 2, 21-29.
21] K.Zhu, Spaces of Holomorphic Functions in the Unit Ball, Springer Verlag, New York, 2005.
22] R.Shamoyan, O.Mihic, In search of traces of some holomorphic function spaces in polyballs, Revista Notas de Matematicas, 1(2008), no. 4, 1-23.
23] D.Bekolle, A.Bonami, G.Garrigos, F.Ricci, B.Sehba, Analytic Besov spaces and Hardy type inequalities in tube domains over symmetric cones, J. fur Reine und Ang., 647(2010), 25-56.
24] M.Abate, A.Saracco, Carleson measures and uniformly discrete sequences in strongly pseudoconvex domains, J. London Math. Soc., 83(2011), 587-605.
25] M.Abate, J.Raissy, A.Saracco, Toeplitz operators and Carleson measures in strongly pseudoconvex domains, J. of Functional Analysis, 263(2012), no. 1, 3449-3491.
26] B.F.Sehba, C.Nana, Carleson Embeddings and Two Operators on Bergman Spaces of Tube Domains over Symmetric Cones, Integral Equations and Operator theory, 83(2015), no. 2, 151-178.
[27] M.Englis, T.Hannimen, T.Taskinen, Minimal Ltype on strictly pseudoconvex domains on which Bergman projection continious, Houston J. Math., 32(2006), 253-275.
[28] J.Faraut, A.Koranyi, Analysis on symmetric cones, Oxford Mathematical Monographs, Oxford Science Publications, The Clarendon Press, Oxford University Press, New York, 1994.
[29] S.Yamaji, On positive Toeplitz operators on the Bergman spaces in minimal bounded homogeneous domians, Journal of the Mathematical Society of Japan, 65(2013), no. 4, 1337-1372.
[30] D.Bekolle, A.Kagou, Molecular decomposition and interpolation, Integral equations and operator theory, 31(1998), no, 2, 150-177.
О следах в аналитических пространствах типа Харди в ограниченных строго псевдовыпуклых областях и в трубчатых областях над симметрическими конусами
Роми Ф. Шамоян Сергей М. Куриленко
Естественно-научный институт Брянский государственный университет Бежицкая, 14, Брянск, 241036 Россия
В работе представлены некоторые новые оценки для следов в новых пространствах типа Харди со смешанной нормой и связанные с ними результаты, касающиеся итегральных операторов типа Бергмана в пространствах типа Харди в трубчатых областях над симметрическими конусами и ограниченных строго псевдовыпуклых областях с гладкой границей. Мы 'расширяем хорошо известный одномерный результат, полученный ранее для случая следов в пространствах Харди в единичном круге различными авторами.
Ключевые слова: ограниченные строго псевдовпуклые области, трубчатые области над симметрическими конусами, пространства типа Харди.
