CC BY
10Probl. Anal. Issues Anal. Vol. 4(22), No. 1, 2015, pp. 73-94 73
DOI: 10.15393/j3.art.2015.2669
UDC 517.44, 517.55
R. F. Shamoyan, S. M. Kurilenko
ON TRACES OF ANALYTIC HERZ AND BLOCH TYPE SPACES IN BOUNDED STRONGLY PSEUDOCONVEX
DOMAINS IN Cn
Abstract. In our paper we provide some direct extentions of our recent sharp results on traces in the analytic function spaces, which we proved earlier in case of the unit ball in Cn, to the case of the bounded strongly pseudoconvex domains with a smooth boundary. To be more precise we consider the analytic Bloch space in the strongly pseudoconvex domains with a smooth boundary, mixed norm spaces and so-called the new Herz type spaces of analytic functions in the domains of the same type. The Bloch spaces, for various complicated domains, were studied by many authors, but the various Herz type spaces are introduced in this paper, as far as we know, for the first time. The role of so-called r-lattices and their new properties are essential for our proofs. These techniques based on the lattices in the strongly pseudoconvex domains were invented and heavily used in the recent papers of Abate and coauthors. The arguments in the proofs in the case of the unit ball and the strongly pseudoconvex domains have some similarity.
Key words: pseudoconvex domains, analytic functions, mixed-norm spaces, Herz-type spaces, Bloch spaces
2010 Mathematical Subject Classification: 42B15, 42B30
Introduction. Let D = {z : p(z) < 0} be a bounded strongly pseudoconvex domain of Cn with C^ boundary. We assume that the strongly plurisubharmonic function p is of class C^ in a neighborhood of D, that, -1 < p(z) < 0, z E D and |dp| > co > 0 for |p| < ro.
©Petrozavodsk State University, 2015
[MglHl
Denote by O(D) or (H(D)) the space of all analytic functions on D. Denote (see [1]) A™(D) = {f e H(D) : ||f\\PtqAk < rc}, where
p,q,S,k
( rro /p \ q/p x /q
J2 / |Da f lp daJ r5 P-1dr
\ja|<k 0 ^JdDr '
here Dr = {z e Cn : p(z) < (—r)}, dDr is a boundary, dar is a normalized surface measure on dDr and by dr we denote a normalized volume element on (0, r), 0 < p < rc, 0 < q < rc, 5 > 0, k = 0,1, 2... and
/ \ i/P
p,<x>,&,k = sup
^ (r5) ! |Daf |pdar I : 0 < r < ro
a;|<k | JdDr )
\|a|<k|
(for p, q < 1 it is quazinorm) (see [1]), where Da is a derivative of f (see [1]). It can be easily shown these spaces are the Banach spaces for min(p, q) > 1. Further, for p = q we have
/ \ i/P
p,5,k
\|a|<^D
£ I IDaf (Z)|p(-p(0)5-1dv(0 I ; 5 > 0, k > 0,
where dv(Z) (or sometimes dV(Z)) is a normalized Lebegues measure on D (for k = 0 we will use another, more convenient, notation for Aa spaces). Some interesting properties of these classes can be seen in lemmas presented below.
As we see for p = q; k = 0, we get the usual Bergman spaces Ap(D). One of the goals of this paper is to consider a new trace map in the trace problem for the case of the bounded strongly pseudoconvex domains with a smooth boundary; it is a map TRf (z) = f (z, ...,z), z e D for f e X C O(Dm) for a certain quazinormed analytic space X on Dm.
These type of maps (diagonal map) were previously considered by various authors in particular cases when fi = D (unit disk), or when fi = = B (unit ball), (see for example [2], [3], [4] and various references there). Applications of this map to various problems in the complex function theory are also known (see, for example [2], [3], [5] and references there). Our paper contains various remarks. We alert the reader that some points related to a calculation of indexes are missed since they are similar to the unit ball case.
The structure of this paper is the following. The first section contains some assertions and preliminaries useful in the following. We collect the new sharp assertions on a Trace type operator in section 2. We actively use some machinery which was recently found and developed in [1], [6],
[7].
Some assertions of this paper were taken from our previous papers
[8], [4], [2], [9], where some results were proved in a less general situation namely in a case of the unit ball in Cn (the most simple model of domain D is considered in this paper).
One of the goals of this paper is to generalize them to the arbitrary bounded pseudoconvex domains with a smooth boundary. We mention separately [10], [11] where complete descriptions of traces of the other Bergman type spaces in bounded pseudoconvex domains with a smooth boundary were also obtained.
This paper, in particular, is devoted to the problem of description of traces of the so-called Herz-type spaces. Finally, we denote various positive constants in this paper by C or by C with the lower indexes. It worth to note that the analytic function spaces in bounded strongly pseudoconvex domains were intensively studied in recent decades (see for example [1] and [6, 7] and references there). Finally, we mention a big series of papers of the first author on traces of the analytic functions in the unit ball (see [2, 4, 9, 10, 11, 8]. New trace theorems and related estimates on the tubular domains over symmetric cones are presented in [12, 13, 14].
1. Preliminary lemmas. In this section we collect some known lemmas and theorems on pseudoconvex domains, some of them we will need later. Since the estimates and assertions were previously known, the appropriate citation will be also found below. Let fi be a bounded domain in Cn. Let N be a real vector field in a neighborhood of dfi which agrees with the outward unit normal vector field on dfi. It is known that for z E дfi and t > 0 sufficiently small, say 0 < t < So, the integral curve of N through z has a unique intersection point with the hypersurface
{S = t}.
For f E O(fi), denote
(Daf )(z) =
д H f
dz^1... dzan
(z).
Let N be the complex normal vector field of type (0,1) defined by
N = £ Irdr (see [1]). ^ dZj
j=i
Below we use the notation A < B for the two expressions A and B which means that there is a constant C, independent of the quantities under consideration, such that A < C ■ B. When A < B and B < A, we use the notation A ~ B.
We provide basic facts on the Henkin-Ramirez function $ based on [15], then we will use it to define the Bergman kernel.
Let fi be a C^-bounded strongly pseudoconvex domain with a function p defined on it. We need some well known defintions and results for our proofs (see [15] and [16] and references there for more details). Let g(z, Z) be the associated Levi polynomial
n n
g(z,Z) = 2 £ (Z)(Zj - zj) - £ —(Z)(Zj - zj)(Zk - zk). j=1 j,k=1dZk
It follows from Taylor's formula and the strict plurisubharmonicity of p that there are positive constants C1 and r and a neighborhood fi' of fi such that
Reg(z,Z) > p(Z) - p(z) + C1|z - Z|2 for z, Z e fi' and |z - Z| < r. Setting g(z, Z) = g(z, Z) - 2p(Z), we obtain
Re g(z, Z) = Re g(z, Z) - 2p(Z) > -p(Z) - p(z) + C1 |z - Z|2 (1)
for z, Z e fi' and |z - Z| < r and g(z,Z) = g(z,Z) for Z e dfi. Also we have
Ng(z,Z ) = O(|z - Z I2).
Lemma 1. [15, 22] Let g, fi', r and C1 be as above. There is a neighborhood fi of fi with fi D fi', a Cfunction $ on fi x fi, and a positive constant C2 such that
(i) for any Z e fi the function $(■, Z) is holomorphic on fi;
(ii) $(Z,Z) = -2p(Z) for Z e fi, and |$(z,ZI > C2 for z, Z e fi with
|z - ZI> 2;
(iii) there is a non-vanishing C^ function Q(z, Z) on
A 2 = {(z,Z) e ft x ft: |z - Z |< 2 }
such that <§(z,Z) = g(z,Z)Q(z, Z) on Ar.
Lemma 2. [15] For each s > — 1, there is a smooth form ns e C^(ft x ft) such that
(i) ns(z, Z) is holomorphic in z on ft for any fixed Z e ft, and
(ii) for f e A1 (ft) and z e ft we have
f (z) = / f (Z)fr^ (-P(Z))sdV(Z) Jo $(z,Z)
We mention a more general version of this lemma as well.
Lemma 3. Suppose s > —1 and let m be a non-negative integer. Then, for f e A1 we have the representation
f(z) = £ / f(Zun^t+SL (—P(Z))s+mdV(Z).
j=0
$(z,Z )n+s+1
Now, we define the Bergman type kernels now via the Henkin-Ramirez function.
Definition 1. [15] We say that K is a Bergman kernel of type t, t > 0, and we will write Kt, if |K(z, Z)| < c|$(z,Z)|-t where $ is a special function (the Henkin-Ramirez function). So if K is a kernel of type t, then Ks is a kernel of type st, and we denote it by Kt, where t > 0.
The reproducing kernel for the weighted Bergman space is Kn+t+i(z,w), and for the unweighted Bergman space A2 is Kn+1.
Throughout this section and the next, D will denote a bounded strongly pseudoconvex domain in Cn with a smooth boundary. We fix the plurisub-harmonic characterizing function p for D, and let g(z, Z) be the associated Levi polynomial (see [6], [7]). We shall use, in particular, the following notations in pseudoconvex domains:
• 5: D ^ R+ will denote the Euclidean distance from the boundary, that is 5(z) = d(z,dD);
given 0 < p < +to, the Bergman space Ap(D) is the Banach space Lp(D) fl O(D), endowed with the Lp-norm;
more generally, given ^ G R, we introduce the weighted Bergman space
Ap(D,£) = Lpv) fO(D) endowed with the quazinorm
p,P
i/p
|/ (Z)|p5(Zdv(Z)
'D
if 0 < p < to, and with the norm
II/IU,* = 11/5* IU
if p = to;
• Vt(Z)= 5*(Z)dv(Z), t> -1;
• for each zo G D we shall denote by kZo: D ^ C the normalized Bergman kernel defined by
K (z,zo) K (z,zo)
kzo (z) =
VK (zo,zo) 11K (■, Zo ) 112
• given r G (0,1) and zo G D, we shall denote by BD(zo,r) the Kobayashi ball of center zo and radius 1 log 1+ •
Let us now recall a number of vital results proved in D. The first two give vital information about the shape of Kobayashi balls:
Lemma 4. (see [6], Lemma 2.1) Let D CC Cn be a bounded strongly pseudoconvex domain, and r G (0,1). Then
v(bd(-,r)) « 5n+1 ,
where the constant depends on r.
Lemma 5. (see [6], Lemma 2.2) Let D CC Cn be a bounded strongly pseudoconvex domain. Then there is C > 0 such that
C 1 — r
C 5(zo) > 5(z) > 5(zo)
1 - r o C
for all r G (0,1), zo G D and z G BD(zo, r).
We shall also need the existence of suitable coverings by Kobayashi balls:
Definition 2. Let D C Cn be a bounded domain, and r > 0. An r-lat-tice in D is a sequence {ak} C D such that D = (Jk BD (ak, r) and there exists m > 0 such that any point in D belongs to at most m balls of the form BD(ak, R), where R = 1 (1 + r).
The existence of r-lattices in bounded strongly pseudoconvex domains is ensured by the following
Lemma 6. (see [6], Lemma 2.5) Let D C Cn be a bounded strongly pseudoconvex domain. Then for every r G (0,1) there exists an r-lattice in D, i.e. there exist m G N and a sequence {ak} C D of points such that D = (JBD (ak, r) and no point of D belongs to more than m of the balls BD(ak, R), where R = 1 (1 + r).
We shall use a vital submean estimate for the non-negative plurisub-harmonic functions on the Kobayashi balls:
Lemma 7. (see [6], Corollary 2.8) Let D CC Cn be a bounded strongly pseudoconvex domain. Given r G (0,1), set R = 1 (1 + r) G (0,1). Then there exists Cr > 0 depending on r such that
C ('
Vzo G D Vz G Bd(zo, r) x(z) < J-^ xdv
v (BD(z0,r)) JBd(zo,R)
for every non-negative plurisubharmonic function x: D ^ R+.
A version of lemma 3 is valid also for Da derivatives. These type of assertions play an important role in various theorems in complex function theory (see [1], for example). We formulate such version below.
Lemma 8. [1] Let s be a nonnegative integer. There exist kernels K1 (Z, z), |a| < k, each holomorphic with respect to z such that
f(z) = £ / f(Z)K1 (Z,z)(p(Z)s+kdv(Z)
\a\<k
for every function f of A1,k class and K1 (Z, z)| < c^ |a(Z, z)|-(n+1+s+[^l) for each multi-index fl, z G D and for some special function a.
Lemma 9. [1] For s > — 1, and t G R
( 1 if n + 1 + s + t > 0; / (-P(Z))s|a(C,z)|*dv(C) = { lg |p(z)| if n +1 + s + t = 0; Jd I |p(z) l^+i+^+i if n + 1 + s + t < 0.
The same estimate is valid if we replace |a|* function by Kt Bergman type kernel, t > 0 (see, for example, [17] and [6], [18]).
Lemma 10. [18] For $ G H(D), p < 1, p > -1, a G N, m G N. Then
|$(z)|TT|Ka (z,zk (z)dv(z^ <
'D k=i
< c\ |$(z^¿(zfP+P^+V^+V T\ |Ka(z,Zk)|pdv(z) JD k=1 zk G D, k = 1,..., m.
This lemma is well known in the unit disk and in the unit ball (see, for example, [3], [4]). This lemma is also known for m=1 (see [11] in case of general bounded pseudoconvex domains with a smooth boundary).
If ak G D then |Kt(ak,w)| x |Kt(ak,ak)|, w G Bd(ak,r), t = s(n + 1), s G N (see [19]). In this paper we assume for all t > 0
|Kt(z,w)| x |Kt(z,ak )|, w G bd (ak ,r), z G D.
This is valid in the unit ball (see [4], [8]). In [10], [11] this condition is not needed.
2. On traces in analytic spaces in bounded strongly pseudo-convex domains and some related estimates for the Bergmantype projections in Cn. The main section of the article is devoted to formulations and proofs of all main results of this paper related to sharp trace theorems in the new analytic Herz type spaces and Bloch type spaces in bounded strongly pseudoconvex domains with a smooth boundary in Cn. Trace theorems have many applications in various problems in complex function theory (see, for example [3], [5] and various references there).
Let H(Dm) be the space of all analytic functions in Dm, m G N. We say Trace X = Y, if X is a quazinormed subspace of H(Dm) and Y is a certain fixed quazinormed subspace of H(D), if for each F, F G X,
F(z,..., z) = f (z), f G Y and the reverse is also true: for each g, g G Y, there is a function F, F G X, such that F(z,..., z) = g(z), for all z G D.
Lemmas from previous section allow to prove several new sharp assertions on traces (we use, in particular, the machinery taken from recent papers [6], [7], [17] related with r-lattices and repeat arguments we provided earlier in the unit ball case (see [2], [10], [11, 9, 8]).
Let dv(z1,..., zm) = nm=1 dv(zj) = dv(z), zj G D, j = 1,..., m be the normalized Lebeques measure on a product domain. We denote, as usual, by = 5Y(z)dv(z) the weighted Lebegues measure on D and similarly on products of such domains using products of 5 functions in a standard way. We define new analytic Herz-type spaces on products of pseudoconvex domains with a smooth boundary in Cn via Kobayashi balls as follows (using a standard sign of a vector on lower indexes below, we get a little bit more general versions of these spaces, and this is a standard extension in literature).
Let it further be
KP5 (Dm) = {f G H(Dm) :
|f (z1,... ,zm)|pX
)
m
x5a(z1)... 5a(zm) Xdv(z1,..., zm))q/p JJ 5^(zk)dv(z1,..., zm) < ro,
k=1
p, q G (0, ro), a > -1, fl > -1}.
In less general cases of the unit disk, polydisk, the unit ball the spaces of such type were studied in [8], [9], [10], [11]. These are the Banach spaces for min(p, q) > 1 and complete metric spaces for the other values of p and q. The natural question is, can each f G Aa(D) be extended to an analytic F function, so that F(z,..., z) = f (z), z G D and F G Kf^ (Dm) with some restrictions on parameters involved. We fix r-lattice {ak} G D. For the same values of parameters, we define another analytic Herz type space in pseudoconvex domains with a smooth boundary as follows:
(Dm) = {f G H(Dm) : ... [ |f (z1 ,...zm)|P (5( z1 f ...
B(afel ,r) -'B(afem ,r)
m
'D Jd \ Jbd (5i ,R) (5m,R)
... (5(zm))'dv(zi,..., zm))q/p < to,
0 < p,q < TO,ft > -1}.
If p = q, we get the classic Bergman spaces on the products of the pseudoconvex domains with a smooth boundary. This simple fact is based on the properties of r-lattices. These new classes of analytic functions are the Banach spaces for all values of p, q so that min(p, q) > 1 and complete metric spaces for other values of parameters. It is naturally to calculate traces of these spaces. Looking at quazinorms above, we can replace the outer product integration or product sum by one integral or one sum defining similar spaces with the following quazinorms:
£ (/ ... f If (zi, ...zm)|p(<5( zif ... (5(zm))* X
k yJB(ak ,r) JB(ak ,r)
xdv(z1,..., zm))q/p < TO, 0 < p,q < to, ft > -1,
... f If (zi,...,zm)|p5a (zi) (zm)x
>D \JBD (z,r) Jbd (z,r)
xdv(zi,... , zm))q/p (z)dv(z) < TO, p, q e (0, to),« > -1,ft > -1.
Traces of these new analytic spaces can be also calculated similarly using modifications of methods applied in this paper.
The following theorem is one of the main results of this paper.
Theorem 1. Let 0 < p < to, tj > -1, ftj > -1, j = 1,... ,m, a > -1,
m
«2 = +2(n + 1)+ tj) - (n + 1).
Then, if f e KtpJP(Dm), then f (z,..., z) e A^ (D) and J If (z,...,z)|p (z)dv(z) < to;
D
and the reverse assertion is also true. So TraceKf'g (Dm) = Aa2. For the same values of parameters we have,
TraceK',p(Dm) = A^,
where
m
«3 = (£&) + (n + 1)(m - 1). 1
Moreover, we have the following inclusions.
and
where
TraceKjp(Dm) C A^ (D) TraceK^f(Dm) C (D), ai = + (n + 1))p/q - n - 1,
a = p/q(£(& + n + 1)) + + n + 1) - (n +1)
for all positive values of p and q.
Remark 1. For m =1 some of these assertions are obvious. For the unit ball case in Cn, these assertions were proved in [2], [4], [11, 9, 8]. The complete analogues of some of these assertions are also valid for the tubular domains over symmetric cones (see [12], [13]).
The proof of the Theorem 1 will be given in full below. It is parallel to the unit ball case. For the proof of the Theorem 2, we refer to [2] and, as we just mentioned, approaches we use are rather similar to the unit ball case.
Remark 2. In our previous notes [10] and [11], we evaluated traces of Aa (D x ■ ■ ■ x D) and also studied various properties of the expanded Bergman projection using from the recent papers of Abate and co-authors [6, 7] and the properties of new r-lattices they have invented recently.
Remark 3. As corollaries of our theorems using various embeddings relating Apk spaces with each other for various indexes some not sharp trace results can be also provided (see [1], [15] for such type embeddings). To calculate completely traces of more general mixed norm Ap'| spaces is a separate and rather interesting problem. This problem probably can be solved by modification of approaches we invented in this paper.
The proof of the Theorem 1. Let us fix a concrete r-lattice for D. Using properties of r-lattice, mentioned in the first section, we have (by lemmas 4-7 and definition 2)
/|f(z,...,z)|p5a(z)dv(z) < c^ max |f(z,...,z)|px
D k>0 z^BD (afe,r)
Let
Then we have
x / 5a(w)dv(w).
^bd (afe ,r)
Ck,a = / 5(w)adv(w).
•'bd (afe,r)
£ max |f (z,...,z)|PCk,a < £ max |f (zi, . . . , zm) |P x
zGbd (at ,r) Zj Gbd (at.r)
fc>0 ^ ^ klii0 j ^ DV K' 7
x(cki ,a) m.....(Ckm,a) m . (A)
Let us assume that
mm
a = p(£ ftj) + £ tj - p(n + 1), tj > -1, j = 1,..., m, q j=i j=i q
ftj = ftj + 2(n + 1), j = 1,... ,m.
We have followed closely the unit ball proof and used the properties of the Kobayashi balls. In more details, using (A) in the last estimate and m-times lemma 7, we have
J x/ |f (w,...,w)|p(5(w))(m-i)(n+i)+j sj dv(w) < (2)
D
< ci £ [ |f (w,...,w)|P)(5(w))(m-i)(n+i)+Em=i sj dv(w) <
k> 0 BD (ak ,r)
< ( sup |f(w,...,w)|p)x
k>0 wGbd (afe,r)
x / (¿(w))(m-i)(n+i)+Em=isjdv(w) =
•'bd (afe ,r)
C3 £( sup |f (w,...,w)|p)5(ak )t5(ak )n+i C (r) <
k>o wGbd (ak ,r)
< C4||/yAp (Dm)
where t = (m — 1)(n+1)^^™=i sj, sj > —1 and C(r) is constant (depends on r). This gives us a proof of the inclusion TraceAp(Dm) C Ap(D) for some parameters s = (s1, ...sm) and v, where v depends on s1, ...sm, m, n. All we need is to modify this proof for our cases. From (2), after some small modifications, we obtain using lemmas 5-8
p
1 < CiU
k1 >0 km >0
E
/
v
X7 q
sup |/(wi ,...wm)|q
w1 6BD (afe1 ,r) wm 6BD (afe™
x
y
x(5(ak1 ))T1/m ... №k„))
Tm/m
for some t1 ,..., tm.
Hence, using lemma 6 and lemma 7 for each variable, we have
Aai
< c
p
k .
We have from (2) and from
p
%k)p(n+1)+(n+1) sup |/(z)|p < / |/(w)|pdv(w)5(ak)(n+1)p <
zeB(afe ,r) ./B(afe,r)
</ / |/(t)|qdv(T) dv(w), ak G D, k = 1, 2,
JB(ak ,r) y</B(w,r) y
what we need. Indeed,
A. < / ... i (^ (Z1) ...¿tm (¿m))x
a JD JD
x ( / . .. / |/(w1,...,wm )|q x
'Bd (z1,r) jBd (^m,r)
\ p/q
x^1 (w1)... (wm)dv(w1) . ..dv(wm) I dv(z1) ...dv(zm) for all 0 < p, q < to and all > —1 and all tj > —1, j = 1, ...,m.
We used above the fact that (see [1]) ^(z) x 5t(ak), t e R, z e e BD (ak, r) and again the properties of r-lattice (see lemmas 5-8). Let us now show the reverse estimate using lemmas obtained above. We again follow the arguments of the unit ball case. We concentrate only on K*'P spaces, the case of K''p spaces is similar. If f e Aa, 0 <p < to, a> -1, then f e a1 (D) for large enough t and, hence, we have
f(z)= / f(Z)Kt+n+i(z,C)5(z)*dv(Z),
D
for all z e D, where t is a large enough positive number (see [15]). Then, let
F (zi,...,zm)= / f (Z)
D
m
n Kt+n+1 (zj,z) I 5(Z)*dv(Z), \j=i m
zj e D, j = 1, . . . , m. Then, using a remark above for a large enough t
F(z,..., z) = £ f (Z) (K+nii (z, Z))m 5(Z)*dv(Z) =
= J f (Z) (Kt+n+i(z,Z)) 5(Z)*dv(Z) = f (z),
m e N, f e Aa, 0 <p < to, a> -1. This fact is a vital ingredient in our proof.
We have now from lemma 10 for q = p <= 1
m
F(zi,..., zm)= c f (w)5s(w) JJ^ K_l (w,zj)dv(w); t = s +1 + n;
D j=i m
zj e D; j = 1..., m. F(z,...,z)= f (z); z e D,
and s is large enough, and
i ... i IT ^ (zk ) / ... [ |F (zi ,...,zm )|P x
./D JD JBd (Zi,r) JBd(5m,r)
x n ^ (zk)dv(z)dv(Z)
<
k=1
c
D
'DJBd (z1,r) J Bd (¡!m,r)
|/(w)|5(w)p(
n+1+s)-(n+1)
X
X
H (w,Zj )|p n ^(Zk) n ^ (zk )dv(z)dv(w).
j=1
k=1
k=1
From here using Fubbini's theorem, we use the Forrely-Rudin type estimate (see a remark after the lemma 9) ||F||Kp,p < c||/||Ap .
Using lemmas 4, 5 and condition on a kernel, we have
( f. f. m
ID J D
... II k m (w,
yJBD (^1,r) >/Bd (2m ,r) j = 1
t (w,z7- )r x
m J
x JJ 5(zk)^fedv(z1)... dv(zm ) ) x
k=1
x H ^(Zi)tj dv(Z1)... dv(Zm) < c5(w)v, w G D, j=1
v = «2 + (n +1) — p(n + 1 + s), «2 = Em=1(^j + tj) + (n + 1)(2m — 1), t = s + n + 1, s > s0, s0 is a large enough.
For p > 1 case, we refer to the unit ball case in our previous work mentioned above. The proof follows from the similar arguments, the Holder's inequality applied twice, lemmas 4-9, the estimates of the Bergman kernel of Forelly-Rudin type. We have
(
|F(Z1 ,...,Zm)|p < C
'D
|/(w)|p H (Wj,Zj)|Y1p5(w)sdv(w) I x
j=1
X
I «(W)^ |K£ (Wj ,Zj)|Y2qdv(w) I = G1G2 ,
j=1
p + 1 = 1, Y1 + Y2 = 1.
t
k
Then, G2 < cnr=1 ^(zj)m -PY1, Zj G D for some ti, where s is large enough.
The theorem has been proved.
Below, we provide another new sharp trace theorem for the Bloch-type analytic function spaces in the pseudoconvex domains with a smooth boundary in Cn.
Let us assume that
(ri,...,rm) = {f G H(Dm):
m
C 1
sup |f (zi ,...,Zm )|TT (lo^^r^ )- j 5(Zj )1/rj < TO},
zj ED d(zj)
1 J = 1 ~(Z7)
V^m 1 — i ^
¿j = 1 = 1
j = 1,..., m, rj > 0, c = diam(D),
Aoo (Dm ) = {f G H (Dm): sup |f (zi ,...,Zm )| H )j < to},
z1ED j=i
n J
Ar°°(D) = {f G H(D) : sup |f(z)|5(z)r < to},
zeD
r > 0, rj > 0, j = 1,..., m.
It can be shown that the spaces introduce above are the Banach spaces in D and in Dm; it can also be shown that these classes contain a large enough t and rj the classical weighted Bergman spaces Aa for some a and for each p > 1 in D and in Dm. In addition, such type spaces were studied by many authors during the last several decades in the domains of various type in one and higher dimension (see, for example [1, 2, 15, 6, 7, 3] and various references also there).
Theorem 2.
1) Suppose rj > 0, j = 1,..., m, rj = r. Then,
Trace (Ar°)(Dm) = A^(D).
2) Suppose rj > 0^m=i rj = 1, j = 1,..., m. Then,
Trace A;os (ri,... , rm) — Aiog (1)
where
c
Aog(1) = {f G H(D) : sup |f (z)|5(z)(lo£—)-i < to}.
zeD ^(z)
Remark 4. The theorem 2 is obvious for m = 1 case. For the unit ball, it can be seen in [2], [4]. Arguments we use here are rather similar to the unit ball proof.
The proof of the Theorem 2. Let us prove the first case now.
We have F(z,..., z) = f (z), z G D, where f G r. (hence,
f G for a large t) and
>fc=i' j
F(zi,...,zm) = Ca / f(w)(5(w))
D ...............
( m
n Km (w, zj) | dv(w) (3) V=i
for a large enough / and s = /3 + n +1, zj G D, j = 1,..., m, where Cg is the Bergman representation constant. This follows directly from the definition 1 and lemma 2.
Then it is obvious that Trace (A?°) C A£°(D). Since, we have
sup |f (z,...,z)|(^(z)) jl rj < sup |f(zi,...,zm)in № ,
zeD zi.ec
rj > 0, j = 1,..., m.
We also have ([17], [6], [7])
/ |Kn+t (z,Z)|^(z)s-idv(z) < Ca>t5(C)s-t, Z G D, (4)
D
/ |Kn+t(z,ZMZ)s-idv(Z) < Cs^(z)s-i, z G D (5)
D
where K is a kernel of n + t type, s > 0, s — t < 0, t > 0.
To prove the reverse assertion, we use the Holder's inequality for m functions from (3), the Forelly-Rudin type estimates (4), (5) and the statement that the product of m kernels of t type is a mt type kernel.
|F (zi ,...,zm )|< Ci ||f |U~ / (5(w))^r=irj X
J D
x
n
K
/8+n-
-1 (w,zj)
dv(w) <
j=i
< C2||f yA^n (^(w))-rjm+/j|Kg+n+i )|mdv(w)
' D m
<
C3
< 777—7;-777—7;—; rj > 0, Zj G D, j = 1,...,m
for a large enough / and the first part of our theorem has now been proved.
The proof of the second case repeats the proof of the theorem on traces of A(r1,..., rm) spaces and the only new ingredient is the following vital assertion in D which can be found, for example, in [18].
Let K be a kernel of type n+1+t and let —1 < s < t. Set D0 = = diam(D). Then, for every k G N we have the following estimate
/d |k(z,r)|i(r)s(log* i^M < V $, z G D
for some constant c, c > 0.
The theorem 2 has been proved.
Remark 5. For D = B (unit ball) the theorem 2 is known (see [2]).
Note that the traces of the mixed norm Bergman spaces on Dm analogues of the Bergman type classes in the polyball, that are the analytic spaces with the mixed norms ||f ||a?
4(Dm) = { f G H (Dm), ||f |A = (jD...(jD If (wi, ... , wm)|p1 X
x5(wi)aidv(wi))p2/p1... ) ^ < rcj ,
for pi+1 > pj, pj > 1, aj > —1, i = 1,..., m, can be also calculated with the help of the approaches, developed in this paper, namely the following result is valid.
Theorem 3. Let pi+1 > pj, pj > 1, i = 1,..., m. Let
m — 1
Y = am + y^ (n +1 + a,) —,
a > -1, j = 1,... ,m. If f e (Dm) then
i |f(z,...,z)|Pmdv7(z) < c||f. JD a
Moreover Trace A|(Dm) = (D), 1 < < to, j = 1,..., m.
Remark 6. The case of the unit ball was considered in [4], this theorem for this case was presented there.
We finally define the Besov type analytic function spaces on Dm C Cn as follows
(Dm) = {f e H(Dm) :
/ E ■■■ E / .../ iDaifipx
\jai |<ki |a„|<k„ D D
vm
X(-Pl)5-1 . . . (-pm)5-1dv(Cl, . . . , Cm))1/P < TO,
Pj(z) = p(zj), j = 1,..., m, 0 < p < to, 5 > 0.
Based on the lemma 8 and following the proof of the Theorem 1, we can show the following assertion repeating arguments of proof we provided earlier for the unit ball:
Theorem 4. Ap m (D) C (Trace)(Ap _); for p < 1,
mt+m(n+1)-(n+1)- J2 kj t+1,k
j=l
t > to where t0 is large enough.
Using lemma 3, some not sharp assertions of this type can also be proved.
We finally add an interesting comment. It will be interesting to study and then to calculate the Bergman integral operators, traces of the Bergmantype spaces of the analytic functions f (z1,..., zs) of mixed type with finite quazinorms
is s \
H if (Z1 ,...,Zm, Zm+1, . . .,Zm+ki,...,Zs)|P II ^k (Zfc)
U=rXk ' v ^ ' k=1
\ m ki J
0 < p < to, where X, i = 1,..., r is a general Siegel domain of second type (either pseudoconvex or tubular domains), we assume that
X1 = ... Xm = Xm+1 = ... Xm+k1 = X2, ... Xs-kr = . . . Xs = Xr,
Xi = X2 = ■ ■ ■ = Xr,
r G N, r > 1.
Previously only a very special case was considered when Xi = ... Xr = = X, 1 < p < to where X is a tubular domain over symmetric cone, or bounded strongly pseudoconvex domain with a smooth boundary.
Complete solutions for this and even distance type problems (see [20], [14]) even in this general case may be also obtained by similar techniques, which we used above, based on r-lattices. The arguments may be similar. The key for the solution is the Whitney type decomposition of each {Xj} space and properties of the analytic functions on them and Forelly-Rudin-type estimates we used above for each {Xj} type space and the analytic function f (..., zj,...) on {Xj}, in each variable separately. We leave this procedure for the interested readers. The results of this paper partially may be extended to bounded minimal homogeneous domains based on recent subtle results of Yamaji (see for example [21] and references there) related to estimates of the Bergman kernel and properties of r-lattices on these domains. In these papers, complete analogues of some of our lemmas 2-8 can be seen. These domains are rather general, in particular they serve as direct extentions of so-called well studied bounded symmetric domains in higher dimension.
Acknowledgment. This work was supported by the Russian Foundation for Basic Research (grant 13-353 01-97508) and by the Ministry of Education and Science of the Russian Federation (grant 1.1704.2014K).
References
[1] Ortega J., Fabrega J. Mixed-norm spaces and interpolation. Studia Math., 1994, vol. 109, no. 3, pp. 234-254.
[2] Shamoyan R., Mihic O. On traces of holomorphic functions on the unit polyball. Appl. Anal. Discrete Math., 2009, no. 3, pp. 198-211. DOI: 10.2298/AADM0902198S.
[3] Shamoyan F., Djrbashian A. Topics in the theory of Aa spaces. Teubner Texte. Leipzig, 1988.
[4] Shamoyan R., Mihic O. On traces of Qp type spaces and mixed norm analytic function spaces on polyballs. Siauliau. Math. Seminar, 2010, vol. 5, Issue 13, pp. 101-121. DOI: 10.2298/FIL1101001S.
[5] Amar E., Menini C. A counterexample to the corona, theorem for the operators in H2 in polydisk. Pacif. Jour. of Math., 2002, vol. 206, pp. 257-268.
[6] Abate M., Saracco A. Carleson measures and uniformly discrete sequences in strongly pseudoconvex domains. J. London Math. Soc., 2011, vol. 83, pp. 587-605. DOI:10.1112/jlms/jdq092.
[7] Abate M., Raissy J., Saracco A. Toeplitz operators and Carleson measures in strongly pseudoconvex domains. Journal of Functional Analysis, 2012, vol. 263, is. 11, pp. 3449-3491. DOI:10.1016/j.jfa.2012.08.027.
[8] Shamoyan R., Mihic O. In search of traces of some holomorphic functions in polyballs. Revista Notas de Matem., 2008, vol. 4, pp. 1-23.
[9] Shamoyan R., Mihic O. A note on traces of some holomorphic function spaces in the polyballs. Journal of Function Spaces and applications, 2010, vol. 8, no. 3, pp. 271-285. DOI: 10.1155/2010/784896.
[10] Mihic O., Shamoyan R. Sharp trace theorems in pseudoconvex domains. Doklady NAN Armenii, 2014, vol. 114, no. 2, pp. 91-96.
[11] Shamoyan R., Mihic O. On traces of Bergman-type spaces in bounded strongly pseudoconvex domains with smooth boundary. Journal of Function spaces, 2015, in print.
[12] Shamoyan R., Povpritz E. Trace theorems in unbounded Siegel domains. Uzbek Math. Journal, 2015, vol. 1, pp. 149-158.
[13] Shamoyan R., Povpritz E. On traces of Bergman type spaces in tubular domains over symmetric cones. Journal of Siberian Federal University, 2013, vol. 4, pp. 527-538.
[14] Shamoyan R., Kurilenko S. On extremal problems in tubular domains over symmetric cones. Probl. Anal. Issues Anal., 2014, vol. 3 (21), no. 1, pp. 4465. DOI: 10.15393/j3.art.2014.2261.
[15] Beatrous F. Lp estimates for extensions of analytic functions. Michigan Math Journal, 1985, vol. 32, pp. 134-161.
[16] Range R. Holomorphic functions and integral representations in several complex variables. Springer-Verlag. Berlin, 1986.
[17] Englis M., Hanninen T., Taskinen T. Minimal Lx type on strictly pseudo-convex domains on which Bergman 'projection continious. Houston Math. Journal, 2006, vol. 32, pp. 253-275.
[18] Shamoyan R., Arsenovic M. On distance estimates and atomic decompositions in spaces of analytic functions on strictly pseudoconvex domains. Bulletin of the Korean Mathematical Society, 2015, vol. 52, no. 1, pp. 85103. DOI: 10.4134/BKMS.2015.52.1.085.
[19] Shamoyan R., Kurilenko S. On a new embedding theorem in analytic Bergman type spaces in bounded strictly pseudoconvex domains of n-dimensional Complex spaces. Journal of Siberian Federal University. Mathematics and Physics. V. 7. No. 3. 2014. P. 383-388.
[20] Shamoyan R., Kurilenko S. On a sharp estimate for a distance function in Bergman type analytic spaces in Siegel domains of second type. Mathema-tica Montisnigri, 2014, vol. XXX, pp. 5-16.
[21] Yamaji S. On positive Toeplitz operators on the Bergman spaces in minimal bounded homogeneous domians. Hokkaido Math. J., 2012, vol. 41, no. 2., pp. 257-274.
[22] Henkin G. M. Integral representations of functions holomorphic in strictly pseudoconvex domains and some applications. Math. USSR Sb., 1969, vol. 7, pp. 597-616.
Received November 30, 2014-In revised form, June 26, 2015.
Bryansk State University
14 Bezhitskaya st., Bryansk 241036, Russia
E-mail: [email protected], [email protected]
