arxiv: v1 [math.cv] 18 Jan 2019

Transcription

1 L L ESTIATES OF BERGAN PROJECTOR ON THE INIAL BALL JOCELYN GONESSA Abstract. We study the L L boundedness of Bergman rojector on the minimal ball. This imroves an imortant result of [5] due to G. engotti and E. H. Youssfi. arxiv: v1 [math.cv] 18 Jan Introduction G. engotti and E. H. Youssfi studied in [5] the L boundedness of Bergman rojector on the minimal ball. Here we imrove their result by giving the L L boundedness of Bergman rojector. The minimal ball B in C n is defined as follows. B = z C n : z 2 + z z < 1} where z w = n z j w j for z and w in C n. This is the unit ball of C n with resect to the norm j=1 N (z) := z 2 + z z. The norm N := N / 2 was introduced by Hahn and Pflug in [4], where it was shown to be the smallest norm in C n that extends the euclidean norm in R n. ore recisely, if N is any comlex norm in C n such that N(x) = x = n j=1 x2 j for x Rn and N(z) z for z C n, then N (z)/ 2 N(z) for z C n. oreover, this norm was shown to be of interest in the study of several roblems related to roer holomorhic maings and the Bergman kernel, see for examle [2, 3, 5, 6]. The domain B is the first bounded domain in C n which is neither Reinhardt nor homogeneous, and for which we have an exlicit formula for its Bergman kernel. The study of L L estimates of Bergman rojector on smooth homogeneous is rather well understood on the unit ball and Siegel domains, see for examle [10], [11], [7], etc. The authors of [5] develoed a method for L boundedness of Bergman rojector on the minimal ball. Their argue consists to study the boundedness on an auxiliary comlex manifold. Next, to transfer the results obtained on to B via a roer holomorhic maing. Our strategy combine the method of [5], [10] and a new ingredient. The lane of our research is the following. We first study the boundedness of certain class of integral oerators on by using the generalized Schur s test (see [10]) and the Forelli-Ruding estimates (see [5]). As conseuence we obtain the Bergman rojector estimate in. Second we translant the results obtained on to Bergman rojector on the minimal ball. 2. Preleminaries We first define the auxiliary comlex manifold. Let n 2 and consider the nonsingular cone H := z C n+1 : z z 2 n+1 = 0, z 0}. This is the orbit of the vector (1,i,0,...,0) under the SO(n + 1,C) action on C n+1. It is well-known that H can be identified with the cotangent bundle of the unit shere S n in the 2000 athematics Subject Classification. Primary 47B35, 32A36, 30H25, 30H30, 46B70, Key words and hrases. Bergman saces, Bergman rojection, kernel. Gonessa was suorted by International Centre of Theoretical Physics in Italia. 1

2 2 JOCELYN GONESSA n dimensional shere in R n+1 minus its zero section. It was roved in [8] that there is a uniue (u to a multilicative constant) SO(n + 1, C) invariant holomorhic form α on H. The restriction of this form to H (C\0}) n+1 is given by α(z) = n+1 j=1 The comlex manifold is defined by ( 1) j 1 z j dz 1 dz j dz n+1. = z H : z < 1} The orthogonal grou O(n + 1, R) acts transitively on the manifold = z C n+1 : z z = 0 and z = 1} Thus there is a uniue O(n + 1,R) invariant robability measure µ on. This measure is induced by the Haar robability measure of O(n +1,R) (see [5]). For any C function f on H we have, from [5, Lemma 2.1], that (2.1) f(z)α(z) α(z) = m n t 2n 3 f(tξ)dµ(ξ)dt H rovided that the integrals make sense. oreover m n = 2(n 1) 0 z α(z) α(z). For all 0 < < we consider Lebesgue sace L s () on the measure sace (,(1 z 2 ) s α(z) α(z)). The Bergman sace A s() is the subsace of L s() consisting of holomorhic functions. A 2 s() is the closed subsace of the Hilbert sace L 2 s(). There exists a uniue orthogonal rojection L 2 s () onto A2 s (). That is the weighted Bergman rojection. Its exlicit exression is the following. P s, f(z) = K s, (z,w)f(w)(1 w 2 ) s α(w) α(w) where the so called kernel Bergman K s, (see [5, Theorem 3.2]) is given by K s, (z,w) = C(n 1+(n+1+2s)z w) (1 z w) n+1+s. Here C is a certain constant that deends on n and s. In this aer we consider the class of oerators defined as follow. S f(z) = (1 z 2 f(w) ) b1 (1 z w) c(1 w 2 ) b2 α(w) α(w) and T f(z) = (1 z 2 ) b1 where b 1, b 2 and c are any real numbers. f(w) 1 z w c(1 w 2 ) b2 α(w) α(w) 3. Statement of the auxiliaries results The following auxiliaries results will lay a key role for roving the main result of the aer. Theorem A. Let b 1, b 2 and c be real numbers. Let 1 < <, max( 1, 1 b 1 ) < r < and 1 < s <. Then the following assertions are euivalent. (i) The oerator T is bounded from L s () to L r (). (ii) The oerator S is bounded from L s() to L r().

3 L L ESTIATES 3 (iii) The arameters satisfy s+1 < (b2 +1) c b 1 +b 2 s+ n+1+r Theorem B. Let b 1, b 2 and c be real numbers. Let 1 = <, max( 1, 1 b 1 ) < r < and 1 < s <. Then the following assertions are euivalent. (i) The oerator T is bounded from L 1 s () to L r (). (ii) The oerator S is bounded from L 1 s() to L r(). (iii) The arameters satisfy s < b2 c = b 1 +b 2 s+ n+1+r or s b2 c < b 1 +b 2 s+ n+1+r 4. Statement of the main result To state the main result we need the following definitions. For any s > 1 we define the weighted measure v s on B by dv s (z) = (1 N (z)) 2 s dv(z) where v is the normalized Lebesgue measure on B. For all 0 < < we consider Lebesgue sace L s(b ) on the measure sace (B, z z 2 2 dv s ). The Bergman sace A s (B ) is the subsace of L s (B ) consisting of holomorhic functions. It is well-known for = 2 there exists a uniue orthogonal rojection from L 2 s(b ) onto A 2 s(b ). That is so called weighted Bergman rojection and denoted P s,b. Also, it is well-known that P s,b is an integral oerator on L 2 s (B ). ore recisely P s,b f(z) = K s,b (z,w)f(w)dv s (w) B and the so called Bergman kernel K s,b is exlicitly given in [5, Theorem A] by where with 1 A(1 z w,z zw w) K s,b (z,w) = (n 2 +n s)v s (B )((1 z w) 2 z zw w) n+1+s A(X,Y) = ( n+s+1 2k +1 k=0 [ ( n+s+1 2k +1 ) X n+s 2k 1 Y k 2(n+s) (n+1+2s)(n+s 2k) (X 2 Y) (n+s+1) ) = The main result of the aer is the following. Theorem C. Let 1 <, 1 < λ, λ <. (n+s+1)(n+s) (n+s 2k +1) (2k +1)! (i) For 1 < < the Bergman rojector P s,b is bounded from L λ (B ) into A λ(b ) if λ+1 < (s+1) and only if s n+1+λ n+1+ λ (ii) For 1 = < the Bergman rojector P s,b is bounded from L 1 λ (B ) into A λ(b ) if and only if λ < s n+1+ λ n+1+λ or λ s n+1+ λ > n+1+λ ]

4 4 JOCELYN GONESSA To rove our results we need the following results. Lemma 4.1. [5, Lemma 5.1] Let d N. For z, c R, s > 1, define z ξ 2d I c (z) = 1 z ξ n+cdµ(ξ) and J c,s (z) = z w 2d 1 z w n+c+s+1(1 w 2 ) s α(w) α(w) When c < 0, then I c and J c,s are bounded in. When c > 0 then I c (z) (1 z 2 ) c J c,s (z). Finally, I 0 (z) log 1 1 z 2 J 0,s (z) Remark 4.2. The symbol u(z) v(z) means that u(z)/v(z) has finite limit as z tends to 1. The following results are the boundedness criterions for integral oerators from L into L called generalize Schur s test. Theorem 4.3. [10, Theorem 1] Let ν 1 and ν 2 be ostive measures on the sace Ω and let K(z,w) be a non-negative measurable function on Ω Ω. Let T be the integral oerator with kernel K, defined as follows. Tf(z) = f(w)k(z,w)dν 1 (w) Ω Suose 1 < <, = 1 and suose there exist γ and δ such that γ+δ = 1. If there exist ositive functions h 1 and h 2 with ositive constants C 1 and C 2 h 1 (w) K(z,w) γ dν 1 (w) C 1 h 2 (z) for almost all z Ω, and Ω Ω h 2 (z) K(z,w) δ dν 2 (z) C 1 h 1 (w) for almost all w Ω, then T is bounded from L (Ω,ν 1 ) into L (Ω,ν 2 ) and the norm of the oerator does not exceed C 1/ 1 C 1/ 2. Theorem 4.4. [10, Theorem 2] Let ν 1 and ν 2 be ostive measures on the sace Ω and let K(z,w) be a non-negative measurable function on Ω Ω. Let T be the integral oerator with kernel K, defined as follows. Tf(z) = f(w)k(z,w)dν 1 (w) Ω Suose 1 = < and suose there exist γ and δ such that γ + δ = 1. If there exist ositive functions h 1 and h 2 with ositive constants C 1 and C 2 such that for almost all z Ω, and ess su h 1 (w)k(z,w) γ dν 1 (w) C 1 h 2 (z) w Ω Ω h 2 (z) K(z,w) δ dν 2 (z) C 1 h 1 (w) for almost all w Ω, then T is bounded from L 1 (Ω,ν 1 ) into L (Ω,ν 2 ) and the norm of the oerator does not exceed C 1 C 1/ 2.

5 L L ESTIATES 5 5. Sufficient conditions for L L estimates of S In this section the main ingredient is the generalize Schur s test. We are begining by the following lemma. Lemma 5.1. Let b 1, b 2, and c be real numbers. Let 1 < <, max( 1, 1 b 1 ) < r < and 1 < s <. If s+1 < (b2 +1) (5.1) c b 1 +b 2 s+ n+1+r then S is bounded from L s() to L r(). Proof. To use generalize Schur s test we first consider the following tools. and h 1 (z) = (1 z 2 ) u, h 2 (w) = (1 w 2 ) v, dν 1 (z) = (1 z 2 ) s α(z) α(z), dν 2 (w) = (1 w 2 ) r α(w) α(w) Second, observe that if c b 1 +b 2 + n+1+r K(z,w) = (1 z 2 ) b1 (1 w 2 ) b2 s 1 z w b1+b2+n+1+r n+1+s then S f(z) T f(z) 2 b1+b2+n+1+r n+1+s Thus the boundedness of S arises from T where Tf(z) = f(w)k(z,w)dν 1 (w) To do this we adot the following notations. (5.2) c = b 1 +b 2 s (5.3) τ = n+1+s Let us choose n+1+s + n+1+r +v u (5.4) t = τ where u and v will be determined. It is easy to see that (5.5) 1 t = (5.6) n+1+r +u v τ n+1+s Tf(z). + n+1+r h 1 (w) K(z,w) t dν 1 (w) = (1 z 2 ) b1t J c1,s 1 (z) where c 1 = c t+ u (b 2 s)t n s 1 and s 1 = c t+ u (b 2 s)t n s 1, (5.7) h 2 (z) K(z,w) (1 t) dν 2 (z) = (1 w 2 ) (b2 s)(1 t) J c2,s 2 (w) where c 2 = c(1 t)+v b 1 (1 t) n r 1 and s 2 = c(1 t)+v b 1 (1 t) n r 1. It is clear that from (5.2) and (5.3) we get (5.8) c b 1 b 2 +s = τ..

6 6 JOCELYN GONESSA So, from (5.8) and (5.3) we obtain that (5.9) b 1 t c 1 = v and (5.10) (b 2 s)(1 t) c 2 = u Otherwise we claim that there exist two reals numbers u and v such that (5.11) s 1 > 1, s 2 > 0, c 1 > 0, c 2 > 0. So, from Lemma 4.1 combined with (5.6) and (5.7) we obtain that. (5.12) h 1(w) K(z,w) t dν 1 (w) C 1 (1 z 2 ) v h 2(z) K(z,w) (1 t) dν 2 (z) C 2 (1 w 2 ) u We acheive the lemma s roof by invoking Theorem 4.3. Now we are going to rove (5.11). First, it is easy to see that (5.1) yields the following. (b 2 s)(n+1+r) < (1+s)τ + (b2 s)(n+1+s) (5.13) (5.14) b1(n+1+s) Second, we choose u and v such that (b 2 s)(n+1+r) b1(n+1+s) < b1(n+1+r) + τ(1+r) < τu+(b 2 s)(u v) < (1+s)τ < τv +b 1 (v u) < b1(n+1+r) + τ(1+r) + (b2 s)(n+1+s) Finally, by combining (5.2), (5.3), (5.4), (5.5) and (5.14) we rove easly (5.11). Lemma 5.2. Let b 1, b 2, and c be real numbers. Let 1 = <, max( 1, 1 b 1 ) < r < and 1 < s <. If s+1 < (b2 +1) (5.15) c b 1 +b 2 s+ n+1+r then S is bounded from L 1 s() to L r(). Proof. As in roof of the Lemma5.1 we have that. τ = n+1+r, t = v u τ, u < (b 2 s)t and tb 1 < v. From easy calculus we have. This yields the following. max( 1 z 2 2, 1 w 2 ) 1 z w 2 su h 1 (w)k(z,w) t 2 tb1+t(b2 s)+v u (1 z 2 ) v su 1 z w tb1+t(b2 s)+v u tc w w 4 tb1+t(b2 s)+v u tc/2 (1 z 2 ) v Otherwise, using the same method in Lemma5.1 it is obvious to rove that. h 2 (z) K(z,w) (1 t) dν 2 (z) C 2 h 1 (w) Finally, the lemma arises from Theorem 4.4.

7 L L ESTIATES 7 Lemma 5.3. Let b 1, b 2, and c be real numbers. Let 1 = <, max( 1, 1 b 1 ) < r < and 1 < s <. If s = b2 (5.16) c b 1 + n+1+r then S is bounded from L 1 s () to L r (). Proof. Here, we consider h 1 (z) = 1, h 2 (z) = (1 z 2 ) v, K(z,w) = (1 z 2 ) b 1 1 z w c where c > 0 and 1+r +b 1 (1 t) < v < c b 1. Then su h 1 (w)k(z,w) t (1 z 2 ) tb1 = su w w 1 z w v+tb1 2 ct (1 z 2 ) v Otherwise, from Lemma4.1 we get that. h 2 (z) K(z,w) (1 t) dν 2 (z) = J c3,s 3 (w) C 2 and t = v c b 1 where c 3 = (1 t)c b 1 (1 t) +v n r 1 < 0 and s 3 = (1 t)b 1 v +r > Necessary conditions for L L estimates of T Lemma 6.1. Let b 1, b 2, and c be real numbers. Let 1 <, max( 1, 1 b 1 ) < r < and 1 < s <. If T is bounded from L s () to L r () then s+1 (b2 +1) (6.1) c b 1 +b 2 s+ n+1+r and the strict ineuality holds for 1 < <. Proof. Suose 1 < <. Then the dual sace L r() of L r() can be indentified with L r () under the integral aring < f,g > r = f(z)g(z)dν 2 (z), f L r (), g L r () oreover, by easy comutation we have T g(z) = (1 z 2 ) b2 s Let be N a real number such that (1 w 2 ) b1 (1 z w) cg(w)dν 2(w) (6.2) N > max( 1+r, 1 r b 1 ). Then from (2.1) we have (6.3) f N (z) dν 2 (z) = ω( )Γ(r+ N +1)Γ(n 1) 2Γ(r+ N +n) (6.4) T f N(z) = C N (1 z 2 ) b2 s = C N f b2 s(z) where f N (z) = (1 z 2 ) N

8 8 JOCELYN GONESSA and C N = (n 1)!ω( )Γ(b 1 +r+n +1) (n 1)(n 2)!2Γ(c) k=0 Γ(k +c)γ(n 1+k/2) Γ(b 1 +r +N +n+k/2) Because T f N belongs to L s () then from (6.4) and (6.2) we have s+ (b 2 s) > 1. This leads to s+1 < (b 2 +1). Now, if we suose 1 = < < then T f N belongs to L s (). This gives b 2 s 0. Thus s + 1 1(b 2 + 1). The case 1 = = is easy to rove. This comletes the roof of the lemma. Lemma 6.2. Let b 1, b 2, and c be real numbers. Let 1 <, max( 1, 1 b 1 ) < r < and 1 < s <. Suose T bounded from L s () to L r (). Consider the following tree cases. (i) 1 < < and s+1 < (b 2 +1); (ii) 1 = < and s < b 2 ; (iii) 1 = < and s = b 2. If (i) and (ii) hold then (6.5) c b 1 +b 2 s+ n+1+r if (iii) hold then (6.6) c < b 1 +b 2 s+ n+1+r Proof. For any ξ we denote ;. f ξ (z) = (1 ξ 2 ) n+1+b2 [n 1+(n+1+2b 2 )z ξ] n+1+b2 (1 z ξ) Then (i) leads to (6.7) f ξ (z) dν 1 (z) 2(n+1+b 2 )(1 ξ 2 ) (n+1+b2) n 1 s J (n+1+b2) n 1 s,s(ξ) Otherwise, because g(ξ) = 1 (1 ξ z) c belongs to A 2 s() we have that T (f ξ )(z) = (1 z 2 ) b1 (1 ξ 2 ) n+1+b2 (n+1+s)/ P (g)(ξ) From the boundedness of T we have that = (1 z 2 ) b1 (1 ξ 2 ) n+1+b2 (n+1+s)/ (1 z ξ) c (6.8) (1 ξ 2 ) (n+1+b2) (n+1+s)/ J c4,s 4 (ξ) C where C > 0, c 4 = c b 1 n 1 r (n+1+b 2 )+(n+1+s)/ and s 4 = b 1 +r. So, from Lemma 5.12 we have c 4 0. This gives (6.5). By the same way the case (ii) leads to (6.5). The case (iii) leads to (n+1+s)/ (n+1+b 2 ) = s b 2 = 0. So, from (6.8) combined with Lemma 5.12 we abtain easly (6.6). 7. Proof of the Theorem A Proof. The assertion (i) imlies (iii) follows from Lemma 6.1. It is obvious that (ii) imlies (i). The assertion (iii) imlies (ii) follows from Lemma 5.1. This comletes the roof of the theorem.

9 L L ESTIATES 9 8. Proof of the Theorem B Proof. The assertion (i) imlies (iii) follows from (ii) of Lemma 6.1 and (iii) of Lemma 6.2. It is obvious that (ii) imlies (i). The assertion (iii) imlies (ii) follows from Lemma 5.1 and Lemma 5.3. This achieves the roof of the theorem. Before roving Theorem C we recall the key tool which will be use. Let f : B C be a measurable function. We define a function I f on by (I f)(z) = z n+1f F(z) (2(n+1)) = z n+1f(z 1,,z n ) 1/ (2(n+1)) 1/ Lemma 8.1. [5, Lemma 4.1] For each 1 and λ > 1 the linear oerator I is an isometry from L λ (B ) into L λ (). oreover, we have P λ,i = I P λ,b on L λ s(b ). Proosition 8.2. Let 1 <, 1 < λ, λ <. (i) For 1 < < the Bergman rojector P s, is bounded from L λ () onto A λ() if λ+1 < (s+1) and only if s n+1+λ n+1+ λ (ii) For 1 = < the Bergman rojector P s, is bounded from L 1 λ () onto A λ() if and only if λ < s n+1+ λ n+1+λ or λ s n+1+ λ > n+1+λ Proof. Let us choose in Theorem A and B c = n λ, b 2 = s and b 1 = 0. Then it follows from Theorem A that P s, is bounded from L λ () onto A λ() iff (iii) of Theorem A holds. Otherwise, from Theorem B it follows that P λ, is bounded from L 1 λ () onto A λ() iff (iii) of Theorem B holds. This achieves the roof of the roosition. Remark 8.3. The assertion (i) of Proosition 8.2 imroves Theorem 5.2 of [5]. Indeed, it suffices to take λ = λ and = Proof of the Theorem C Proof. The euivalence of (i) and (iii) of Theorem A follows from Lemma 8.1. Also, the euivalence of (ii) and (iii) of Theorem B follows from Lemma 8.1. This comletes the roof of the theorem. Remark 9.1. The assertion (i) of Theorem C imroves an imortant result due to G. engotti and E. H. Youssfi [5]. Indeed, for λ = λ and = 1 we obtain the Theorem B of [5]. References [1] R. Coifman and R. Rochberg, Reresentation theorems for holomorhic and harmonic functions in L, Asterisue. 77 (1980), [2] J. Gonessa, Duality of Fock saces with resect to the minimal norm, Archiv der athematik. 100 (2013), [3] J. Gonessa and E. H. Youssfi, The Bergman rojection in saces of entire functions, Ann. Polon. ath. 104 (2012), [4] K. T. Hahn and P. Pflug, On a minimal comlex norm that extends the real Euclidean norm, onatsh. ath. 108 (1998), [5] G. engotti and E. H. Youssfi, The weighted Bergman rojection and related theory on the minimal ball and alications, Bull. sci. ath. 123 (1999),

10 10 JOCELYN GONESSA [6] G. engotti, Duality theorems for certain analytic saces on the minimal ball, Arch. ath. (Bassel) 75 (2000), [7] C. Nana and B. Sehba, Off-diagonal estimates of some Bergman-tye oerators of tube domains over symmetric cones, Positivity 17 (2017), [8] K. Oeljeklaus, P. Pflug and E. H. Youssfi, roer holomorhic maings and related automorhism grous, J. geom. Anal. 7(4) (1997), [9] P. Pflug and E. H. Youssfi, The Bergman kernel of the minimal ball and alications, Ann. Inst Fourier (Grenoble) 47 (1997), [10] R. Zhao, Generalization of Schur s test and its alication to a class of integral oerators on the unit ball of C n, Integr. Eu. Oer. Theory 82 (2015), [11] K. Zhu, Saces of Holomorhic Functions in the Unit Ball, Sringer, New York, Current address: Université de Bangui, Déartement de mathématiues et Informatiue, BP.908 Bangui-Réubliue Centrafricaine address: gonessa.jocelyn@gmail.com address: jocelyn@aims.ac.za