# On Distance Function in Some New Analytic Bergman Type Spaces inℂ

Authors: Romi F. Shamoyan; Olivera R. Mihić
Journal: Journal of Function Spaces
 (2014)

---

## Abstract

We extend our previous sharp results on distances obtained for analytic Bergman type spaces in unit disk to some new analytic Bergman type spaces in higher dimensions inℂ
n. Also, we study the same problem in anisotropic mixed norm h
(
p
,
q
,
s
) spaces consisting of n-harmonic functions on the unit polydisc of ℂ
n.


---

## Body

## 1. Introduction and Preliminaries

The goal of this paper is to add several new results for distances in analytic Bergman type and Bergman typen-harmonic function spaces of functions of several variables.It turns out that some of our distance theorem, which we proved before for the case of unit disk, are valid under certain natural conditions in various domains and various Bergman type analytic spaces. Namely, we look at analytic Bergman spaces in minimal ball and so-called analyticK-Bergman spaces and in analytic Bergman-Orlicz spaces. These analytic spaces act as direct extensions of well-known analytic Bergman spaces in the unit disk. These analytic spaces are relatively new and we will include some basic facts on them in our paper; they will also be needed for proofs of our assertions partially. We will turn also to polydisk and n-harmonic function spaces on them providing also a sharp result there. Note in less general case, namely, in analytic Bergman type spaces in polydisk, this result is already known (see [1, 2]).Our intention in this paper is the same as our previous papers on this topic; namely, we collect some facts from earlier investigation concerning Bergman projection and Bergman kernel and use them for our purposes in estimates ofdist
⁡
Y
(
f
,
𝒳
) function (distance function).Following our previous paper [1, 2], we easily see that, to obtain a sharp result for distance function, we only need several tools and the scheme here is as follows. First we need an embedding of our quazinormed analytic space (in any domain) into another one (X
⊂
Y), this immediately poses a problem of dist
⁡
Y
(
f
,
X
)
=
inf
⁡
g
∈
X
⁡
∥
f
-
g
∥
Y for all f
∈
Y
∖
X, and then we need the Bergman reproducing formula for all f functions from Y space. Then, finally we use the boundedness of Bergman type projections, with |
K
(
z
,
w
)
| positive kernel acting from X to X, together with Forelli-Rudin type sharp estimates of Bergman kernel. These three tools were used in general Siegel domain of second type, polydisk, and unit ball in [1–4] (see also various references there). We continue to use these tools providing new sharp (and not sharp) results in various spaces of analytic functions in this paper.First we provide a known result in the unit disk with complete proof taken from our previous paper ([1, 2]). In the unit disk case all arguments here are short and transparent and are based on several tools like Forelli-Rudin type estimate and estimates for Bergman type projections with positive Bergman kernel, and then we will see arguing similarly as in unit disk; we will complete the proof of more complicated cases easily. The complete formulation of our theorems will be given, but only sketches of proofs will be added and details of proofs of higher dimensional cases will be left to readers.Note that it is easy to see that our assertions may have various applications in approximation theory, for example.We will need various definitions for formulations of main results. All facts about polydisk are taken from [5].Letn
∈
ℕ and ℂ
n
=
{
z
=
(
z
1
,
…
,
z
n
)
:
z
k
∈
ℂ, 1
≤
k
≤
n
} be the n-dimensional space of complex coordinates. We denote the unit polydisk by
(1)
U
n
=
{
z
∈
ℂ
n
:
|
z
k
|
<
1,1
≤
k
≤
n
}
and the distinguished boundary of U
n by
(2)
T
n
=
{
z
∈
ℂ
n
:
|
z
k
|
=
1
,
1
≤
k
≤
n
}
.Bym
2
n we denote the volume measure on U
n and by m
n we denote the normalized Lebesgue measure on T
n. Let H
(
U
n
) be the space of all holomorphic functions on U
n.Throughout the paper, we writeC (sometimes with indexes) to denote a positive constant which might be different at each occurrence (even in a chain of inequalities) but is independent of the functions or variables being discussed.The notationA
≍
B means that there is a positive constant C, such that B
/
C
≤
A
≤
C
B. We will write for two expressions A
≲
B if there is a positive constant C such that A
<
C
B.We denote the interval(
0,1
) by I, accordingly (
0,1
)
n by I
n.The Hardy spaces, denoted byH
p
(
U
n
)
(
0
<
p
≤
∞
), are defined by H
p
(
U
n
)
=
{
f
∈
H
(
U
n
)
:
sup
⁡
0
≤
r
<
1
M
p
(
f
,
r
)
<
∞
}, where
(3)
M
p
p
(
f
,
r
)
=
∫
T
n
‍
|
f
(
r
ξ
)
|
p
d
m
n
(
ξ
)
,
l
l
l
l
l
l
l
l
l
M
∞
(
f
,
r
)
=
max
⁡
ξ
∈
T
n
|
f
(
r
ξ
)
|
,
l
l
l
l
l
l
l
l
l
l
l
l
l
l
l
l
l
r
∈
I
,
f
∈
H
(
U
n
)
.
As usual, we denote by α
→ the vector (
α
1
,
…
,
α
n
).Forα
j
>
-
1, j
=
1
,
…
,
n
,
0
<
p
<
∞, recall that the weighted Bergman space A
α
→
p
(
U
n
) consists of all holomorphic functions on the polydisk such that
(4)
∥
f
∥
A
α
→
p
p
=
∫
U
n
‍
|
f
(
z
)
|
p
∏
i
=
1
n
‍
(
1
-
|
z
i
|
2
)
α
i
d
m
2
n
(
z
)
<
∞
.Whenα
1
=
⋯
=
α
n
=
α, then we use notation A
α
p
(
U
n
).Ifu is n-harmonic (harmonic by each variable), then as usual
(5)
u
(
r
1
e
i
φ
1
,
…
,
r
n
e
i
φ
n
)
=
∑
k
1
,
…
,
k
n
=
-
∞
∞
‍
C
k
1
,
…
,
k
n
∏
j
=
1
n
‍
r
j
|
k
j
|
e
i
k
j
φ
j
.
Let further
(6)
h
p
(
α
→
)
=
{
∏
k
=
1
n
‍
u
is
n
-harmonic:
∫
U
n
‍
∏
k
=
1
n
‍
(
1
-
|
z
k
|
)
α
k
|
u
(
z
1
,
…
,
z
n
)
|
p
d
m
2
n
(
z
)
<
∞
,
0
<
p
<
∞
,
α
k
>
-
1
,
k
=
1
,
…
,
n
∏
k
=
1
n
‍
}
.Also, we denote byB
n the unit ball in ℂ
n
,
B
n
=
{
w
∈
ℂ
n
:
|
w
|
<
1
}. For 1
≤
p
<
+
∞ and α
>
-
1, denote by H
α
p
(
B
n
) (or A
α
p
(
B
n
)) the space of all functions f holomorphic in Bn, satisfying the condition
(7)
∫
B
n
‍
|
f
(
w
)
|
p
(
1
-
|
w
|
2
)
α
d
ν
(
w
)
<
+
∞
,
where d
ν is the Lebesgue measure in ℂ
n
≡
ℝ
2
n (see [6]).Further, for a complex numberβ with Re
β
>
-
1, put
(8)
c
n
(
β
)
=
Γ
(
n
+
1
+
β
)
π
n
·
Γ
(
1
+
β
)
.LetA
α
∞
(
B
n
)
=
{
f
∈
H
(
B
n
)
:
sup
⁡
z
∈
B
n
|
f
(
z
)
|
(
1
-
|
z
|
)
α
<
∞
}
,
α
>
0.Remark 1.
AnalyticA
α
∞ spaces are well known in literature as so-called growth spaces (see, e.g., [5]). It can be shown easily that these spaces are Banach spaces. These spaces are playing a vital role in this paper and are embedded in Bergman spaces A
β
p, for large enough β. Hence the representation (10) with β large enough index depending on α for all functions from such classes is valid. The mentioned embedding is well known and almost obvious and we leave the proof of it to interested readers. This fact nevertheless is crucial for the proof of Theorems 18 and 20 below and actually serves as base of both proofs, along with well-known Forelli-Rudin estimates for unit ball (see [5]).We have the following theorem.TheoremA (see [6]).
Assume that1
≤
p
<
+
∞
,
α
>
-
1 and that the complex number β satisfies the condition
(9)
Re
β
≥
α
,
p
=
1
,
Re
β
>
α
+
1
p
-
1
,
1
<
p
<
∞
.
Then each function f
∈
A
α
p
(
B
n
) admits the following integral representations:
(10)
f
(
z
)
=
c
n
(
β
)
·
∫
B
n
‍
f
(
w
)
(
1
-
|
w
|
2
)
β
(
1
-
〈
z
,
w
〉
)
n
+
1
+
β
d
ν
(
w
)
,
z
∈
B
n
,
(11)
f
(
0
)
¯
=
c
n
(
β
)
·
∫
B
n
‍
f
(
w
)
¯
(
1
-
|
w
|
2
)
β
(
1
-
〈
z
,
w
〉
)
n
+
1
+
β
d
ν
(
w
)
,
z
∈
B
n
,
where 〈
·
,
·
〉 is the Hermitian inner product in ℂ
n.Forn
>
1, the theorem was proved in [7] (when α
=
0) and in [8, 9] (when α
>
-
1).In monographs [5] one can find numerous applications of the formulas (10) and (11) in the complex analysis. In [6] the author generalized Theorem A to the space with anisotropic weight function such as assuming that 1
≤
p
<
+
∞
,
α
=
(
α
1
,
…
,
α
n
)
∈
ℝ
n satisfies the conditions
(12)
α
n
>
-
1
,
α
n
+
α
n
-
1
>
-
2
,
α
n
+
α
n
-
1
+
α
n
-
2
>
-
3
,
⋮
α
n
+
α
n
-
1
+
α
n
-
2
+
⋯
+
α
2
>
-
(
n
-
1
)
,
α
n
+
α
n
-
1
+
α
n
-
2
+
⋯
+
α
2
+
α
1
>
-
n
,
and then introduced the spaces A
α
p
(
B
n
) of functions f holomorphic in B
n satisfying the condition
(13)
∫
B
n
‍
|
f
(
w
)
|
p
∏
i
=
1
n
‍
(
1
-
|
w
1
|
2
-
|
w
2
|
2
-
⋯
-
|
w
i
|
2
)
α
i
d
ν
(
w
)
<
+
∞
.For these anisotropic spaces, similarities of the integral representations (10) and (11) are obtained, but in the mentioned generalization special kernels S
β
1
β
2
⋯
β
n
(
z
,
w
)
≡
S
β
(
z
,
w
) (where β
i
,
1
≤
i
≤
n, are associated with α
i
,
1
≤
i
≤
n, and p in a special way) appear instead of c
n
(
β
)
·
(
1
-
〈
z
,
w
〉
)
-
(
n
+
1
+
β
) (see [6], Theorem 4.7).Suppose now thatα
=
(
α
1
,
α
2
,
…
,
α
n
)
∈
ℝ
n. We put
(14)
m
α
=
∑
α
i
<
0
‍
-
α
i
,
l
α
=
∑
α
i
<
0
‍
α
i
.
We will write α
≺
(
*
) only if the following conditions are satisfied:
(15)
α
n
+
α
n
-
1
+
⋯
+
α
i
>
-
(
n
+
1
-
i
)
(
1
≤
i
≤
n
)
.
Similarly, if β
=
(
β
1
,
β
2
,
…
,
β
n
)
∈
ℂ
n, then we will write β
≺
(
*
) if only Re
β
≡
(
Re
β
1
,
Re
β
2
,
…
,
Re
β
n
)
≺
(
*
).We have the following lemmas.Lemma 2 (see [6]).
Ifα
≺
(
*
), then
(16)
∫
B
n
‍
∏
i
=
1
n
‍
(
1
-
|
w
1
|
2
-
|
w
2
|
2
-
⋯
-
|
w
i
|
2
)
α
i
d
ν
(
w
)
=
π
n
∏
i
=
1
n
‍
(
α
n
+
α
n
-
1
+
⋯
+
α
i
+
n
+
1
-
i
)
<
+
∞
.We need also heavily the well-known Forelli-Rudin type estimates for unit ball (see [5]).Proposition 3.
Supposec
>
0 is real and t
>
-
1. Then the integral
(17)
J
c
,
t
(
z
)
=
∫
B
n
‍
(
1
-
|
w
|
2
)
t
d
ν
(
w
)
|
1
-
〈
z
,
w
〉
|
n
+
1
+
t
+
c
,
z
∈
B
n
,
has the following asymptotic property:
(18)
J
c
,
t
~
(
1
-
|
z
|
2
)
-
c
as
|
z
|
⟶
1
-
.Definition 4.
Assume that0
<
p
<
+
∞, α
=
(
α
1
,
…
,
α
n
)
≺
(
*
). Denote by L
α
p
(
B
n
) the space of all complex-valued functions f in B
n with
(19)
M
~
α
p
(
f
)
≡
∫
B
n
‍
|
f
(
w
)
|
p
×
∏
i
=
1
n
‍
(
1
-
|
w
1
|
2
-
|
w
2
|
2
-
⋯
-
|
w
i
|
2
)
α
i
d
ν
(
w
)
<
∞
.
We obviously have
(20)
M
~
α
p
(
f
+
g
)
≤
2
p
(
M
~
α
p
(
f
)
+
M
~
α
p
(
g
)
)
,
M
~
α
p
(
c
f
)
=
c
p
M
~
α
p
(
f
)
.Lemma 5 (see [6]).
Assume that0
<
p
<
+
∞, α
≺
(
*
), and f
∈
H
(
B
n
). Then
(21)
|
f
(
z
)
|
p
≤
2
2
n
+
l
α
c
n
·
(
1
-
|
z
|
)
2
n
+
l
α
·
M
~
α
p
(
f
)
∀
z
∈
B
n
,
where c
n
=
ν
(
B
n
) is the volume of the unit ball of ℂ
n.Note that this lemma leads to an embedding theorem immediately which allows us to pose a distance problem as unit disk case.Corollary 6 (see [6]).
H
α
p
(
B
n
) is a closed subspace in L
α
p
(
B
n
).We will need some facts from theory of Bergman-Orlicz spaces (see [10, 11]).Let nowΨ
:
[
0
,
∞
)
→
[
0
,
∞
) be a continuous nondecreasing function which vanishes and is continuous at 0. Given a probabilistic space (
Ω
,
ℙ
), we define the Orlicz class L
Ω
(
Ω
,
ℙ
) as the set of all (equivalence classes of) measurable functions f on Ω such that ∫
Ω
‍
Ψ
(
|
f
|
/
C
)
d
ℙ
<
∞ for some 0
<
C
<
∞. We used to define the Morse-Transue space M
Ψ
(
Ω
,
ℙ
) by
(22)
M
Ψ
(
Ω
,
ℙ
)
=
{
∫
Ω
‍
Ψ
(
|
f
|
C
)
f
:
Ω
⟶
ℂ
measurable
,
∫
Ω
‍
Ψ
(
|
f
|
C
)
d
ℙ
<
∞
for
any
C
>
0
}
,
and we also introduce the following set:
(23)
ℒ
Ψ
(
Ω
,
ℙ
)
=
{
f
:
Ω
⟶
ℂ
measurable
,
∫
Ω
‍
Ψ
(
|
f
|
)
d
ℙ
<
∞
}
.These three sets are not vector spaces and do not coincide, but we have(24)
M
Ψ
(
Ω
,
ℙ
)
⊂
ℒ
Ψ
(
Ω
,
ℙ
)
⊂
L
Ψ
(
Ω
,
ℙ
)
.We also define the Luxembourg gauge onL
Ψ
(
Ω
,
ℙ
) by
(25)
∥
f
∥
Ψ
=
inf
⁡
(
λ
>
0
,
∫
Ω
‍
Ψ
(
|
f
|
λ
)
d
ℙ
≤
1
)
.This functional is homogeneous and is0 if and only if f
=
0 but it is not subadditive.We say that the two functionsΨ
1 and Ψ
2 as above are equivalent if there exists some constant C such that
(26)
C
Ψ
1
(
c
x
)
≤
Ψ
2
(
x
)
≤
C
-
1
Ψ
1
(
C
-
1
x
)
,for anyx large enough. Two equivalent functions define the same Orlicz class with equivalent Luxembourg functionals.In order to define a good topology onL
Ψ
(
Ω
,
ℙ
) and to get properties convenient for our purpose, we will assume that Ψ satisfies the following definition.Definition 7.
Let0
<
p
≤
1. One says that Ψ
:
[
0
,
∞
)
→
[
0
,
∞
) is a growth function of order p if it satisfies the two following conditions. (1)
Ψ is of lower type p, that is, Ψ
(
y
x
)
≤
y
p
Ψ
(
x
) for any 0
<
y
≤
1 and at least for x large enough.
(2)
x
↦
Ψ
(
x
)
/
x is nonincreasing, at least for every x large enough.We will say that Ψ is a growth function if it is a growth function of order p for some 0
<
p
≤
1.Sometimes we will use lowerp index for our growth function below.In particular, a growth functionΨ is equivalent to the function x
↦
∫
0
x
‍
(
Ψ
(
s
)
/
s
)
d
s which is concave (see [12]). Now, for such a concave growth function of order p,
(27)
L
1
(
Ω
,
ℙ
)
⊂
M
Ψ
(
Ω
,
ℙ
)
=
ℒ
Ψ
(
Ω
,
ℙ
)
=
L
Ψ
⊂
L
p
(
Ω
,
ℙ
)
,
∥
f
∥
Ψ
≲
min
⁡
{
∫
Ω
‍
Ψ
(
|
f
|
)
d
ℙ
,
(
∫
Ω
‍
Ψ
(
|
f
|
)
d
ℙ
)
p
}
,
while
(28)
∥
f
∥
Ψ
:
=
∫
Ω
‍
Ψ
(
|
f
|
)
d
ℙ
≲
max
⁡
{
∥
f
∥
Ψ
,
∥
f
∥
Ψ
p
}
.Moreover, if we defined
Ψ
(
f
,
g
)
=
∥
f
-
g
∥
Ψ (d
Ψ
(
f
,
g
)
=
∥
f
-
g
∥
Ψ), then d
Ψ and d
Ψ (that we simply denote by ∥
·
∥
Ψ and ∥
·
∥
Ψ) are two equivalent metrics on L
Ψ
(
Ω
,
ℙ
) for which it is complete. Without loss of generality, we then assume that every growth function that we consider further is concave and diffeomorphic.When we deal with spaces of holomorphic functions, it is very natural to require subharmonicity. Then we will assume thatΨ is such that Ψ
(
|
f
|
) is subharmonic when f is holomorphic. We will refer to such a function as a subharmonic-preserving function.Here are some examples of (concave) growth function that we may consider further.ForΨ a subharmonic-preserving growth function and α
>
-
1, the weighted Bergman-Orlicz space A
α
Ψ of the ball consists of those holomorphic functions on B
n which belongs to the Orlicz space L
Ψ
(
B
n
,
ν
α
), where, as usual, for any real number α
,
d
ν
α
(
z
)
=
c
α
(
1
-
|
z
|
2
)
α
d
ν
(
z
) for |
z
|
<
1. Here, if α
≤
-
1, c
α
=
1 and if α
>
-
1, c
α
=
Γ
(
n
+
1
+
α
)
/
Γ
(
n
+
1
)
Γ
(
α
+
1
) is the normalizing constant so that ν
α has unit total mass.Further, we will denote by∥
·
∥
α
,
Ψ the corresponding Luxembourg (quasi)norm and by ∥
·
∥
α
Ψ the quantity ∫
B
n
‍
Ψ
(
|
f
|
)
d
ν
α
.
A
α
Ψ is metric space for the distance d
α
,
Ψ or d
α
Ψ defined by, respectively, d
α
,
Ψ
(
f
,
g
)
=
∥
f
-
g
∥
α
,
Ψ and d
α
Ψ
(
f
,
g
)
=
∥
f
-
g
∥
α
Ψ. If Ψ
(
t
)
=
t
p, then we recover the usual weighted Bergman space A
α
p. We have the following inclusions:
(29)
A
α
1
⊂
A
α
Ψ
⊂
A
α
p
,
whenever Ψ is a growth function of order p.Note that the second inclusion which we see before leads to another inclusion, namely,A
α
Ψ, is embedded in A
(
α
+
n
+
1
)
/
p
∞. This last inclusion will lead us to distance theorem. We showed a complete analogue of a theorem in the unit disk below.It is important to mention that a linear operatorT from A
α
Ψ
1 to X with X
=
L
Ψ
2
(
B
n
,
ν
α
) or X
=
A
α
Ψ
2, where Ψ
1 and Ψ
2 are two growth functions, is continuous if and only if it maps a bounded set into a bounded set, or equivalently if and only if there exists a constant C
>
0 such that
(30)
max
⁡
(
∥
T
(
f
)
∥
α
,
Ψ
2
,
∥
T
(
f
)
∥
α
Ψ
2
)
≤
C
,
for any f
∈
A
α
Ψ
1 such that min
⁡
(
∥
f
∥
α
,
Ψ
1
,
∥
f
∥
α
Ψ
1
)
≤
1. If X
=
ℂ, then T is bounded if and only if |
T
(
f
)
|
≤
C for f as previously.The next proposition says that the point evaluation functionals are continuous onA
α
Ψ.Proposition 8 (see [11]).
Letα
>
-
1 and let Ψ be a subharmonic-preserving growth function. For any α
∈
B
n and any f
∈
A
α
Ψ, one has
(31)
|
f
(
a
)
|
≤
Ψ
-
1
(
(
2
1
-
|
a
|
)
(
n
+
α
+
1
)
)
∥
f
∥
α
,
Ψ
.The proof is the same as that of [10, Proposition 1.9] and so is omitted (still use the hypothesis that Ψ
(
|
f
|
) is subharmonic). We easily deduce from this and the completeness of L
Ψ the following result.Corollary 9 (see [11]).
A
α
Ψ, endowed with d
α
,
Ψ or d
α
Ψ, is a complete metric space.Some facts from theory ofn-harmonic function spaces will be needed by us. We will use the same notation for M
p
(
f
,
r
) for harmonic and analytic functions.Definition 10.
The quasinormed spaceL
(
p
,
q
,
α
) (0
<
p
,
q
≤
∞,α
=
(
α
1
,
…
,
α
n
), α
j
>
-
1, j
=
1
,
…
,
n is the set of those functions f
(
z
) measurable in the polydisc U
n, for which the quasinorm
(32)
∥
f
∥
p
,
q
,
α
=
{
(
∫
I
n
‍
∏
j
=
1
n
‍
(
1
-
r
j
)
α
j
q
-
1
M
p
q
(
f
,
r
)
∏
j
=
1
n
‍
d
r
j
)
1
/
q
,
0
<
q
<
∞
,
ess
sup
⁡
r
∈
I
n

∏
j
=
1
n
‍
(
1
-
r
j
)
α
j
M
p
(
f
,
r
)
,
q
=
∞
,
is finite. For the subspace of L
(
p
,
q
,
α
) consisting of n-harmonic functions let h
(
p
,
q
,
α
)
=
h
(
U
n
)
∩
L
(
p
,
q
,
α
) (see [13]).Forp
=
q
<
∞ the spaces h
(
p
,
q
,
α
) coincide with the well-known weighted Bergman spaces, while for q
=
∞ they are known as growth spaces.Let now1
≤
p
,
q
≤
∞,α
j
>
0. The following inclusion will be used by us (see [13]):
(33)
h
(
p
,
q
,
α
)
⊂
h
(
∞
,
∞
,
α
)
.This inclusion as in unit disk case (see [2]) allows us to pose a distance problem in spaces of n-harmonic functions we consider in this paper (we also did the same in spaces of analytic functions in the unit polydisk (see [1])).Now we define Poisson kernelP
α in the unit disk
(34)
P
α
(
z
)
=
Γ
(
α
+
1
)
[
Re
2
(
1
-
z
)
α
+
1
-
1
]
,
z
∈
U
,
α
≥
0
.
Let P
α
(
z
,
ξ
)
=
P
α
(
z
ξ
). For polydisk we have
(35)
P
α
(
z
,
ξ
)
=
∏
j
=
1
n
‍
P
α
j
(
z
j
,
ξ
j
)
,
where α
=
(
α
1
,
…
,
α
n
)
,
α
j
≥
0
,
ξ
∈
U
n
,
z
∈
U
n. P
α is n-harmonic by both variables z and ξ and obviously holds P
α
(
z
,
ξ
)
=
P
α
(
ξ
,
z
)
=
P
α
(
z
¯
,
ξ
¯
) (see [13]).Reproducing integral formula Poisson-Bergman type will be presented in the following theorem.Theorem B (see [13]).
Letα
j
>
0, u
∈
h
(
p
,
q
,
α
). If 0
<
p, q
≤
∞, β
j
>
max
⁡
{
α
j
+
1
/
p
-
1
,
α
j
}, or 1
≤
p
≤
∞, 0
<
q
≤
1, β
j
≥
α
j
(
1
≤
j
≤
n
)
(36)
u
(
z
)
=
1
∏
j
=
1
n
‍
Γ
(
β
j
)
×
∫
U
n
‍
∏
j
=
1
n
‍
(
1
-
|
ζ
|
2
)
β
j
-
1
P
β
(
z
,
ζ
)
u
(
ζ
)
d
m
2
n
(
ζ
)
,
∫
U
n
‍
∏
j
=
1
n
‍
(
1
-
|
ζ
|
2
)
β
j
-
1
P
β
(
z
,
ζ
)
u
(
ζ
)
d
z
∈
U
n
.LetS
β
,
λ be a linear operator Bergman type
(37)
S
β
,
λ
(
f
)
(
z
)
=
(
1
-
|
z
|
2
)
λ
Γ
(
β
+
λ
)
×
∫
U
n
‍
(
1
-
|
ξ
|
2
)
β
-
1
|
P
β
+
λ
(
z
,
ξ
)
|
f
(
ξ
)
d
m
2
n
(
ξ
)
.Theorem C (see [13]).
Let1
≤
p
,
q
≤
∞
,
α
j
,
β
j
,
λ
j
∈
ℝ
,
β
j
>
α
j
>
-
λ
j
,
1
≤
j
≤
n. Then the operator S
β
,
λ continuously maps the space L
(
p
,
q
,
α
) into itself. Moreover, then operator S
β
,
λ is bounded in L
(
p
,
q
,
α
) if and only if β
j
>
α
j
>
-
λ
j
,
1
≤
j
≤
n.We will also need basic facts from theory of Bergman spaces in minimal ball (see [14, 15]). For the convenience of readers we will give some details about them.We consider the domain𝔹
* in ℂ
n
,
n
≥
2, defined by
(38)
𝔹
*
=
{
z
∈
ℂ
n
:
|
z
|
2
+
|
z
•
z
|
<
1
}
,
where
(39)
z
•
w
=
∑
j
=
1
n
‍
z
j
w
j
,
for z and w in ℂ
n. This is the unit ball of ℂ
n with respect to the norm
(40)
N
*
(
z
)
:
=
|
z
|
2
+
|
z
•
z
|
,
z
∈
ℂ
n
.
The norm N
:
=
N
*
/
2 was introduced by Hahn and Pflug in [16], where it was shown to be the smallest norm in ℂ
n that extends the Euclidean norm in ℝ
n under certain restrictions.The domain𝔹
* has since been studied by Hahn and Pflug [16], Mengotti and Youssfi [15], and Oeljeklaus and Youssfi [17]. In particular, it is well known that the automorphism group of 𝔹
* is compact and its identity component is
(41)
Aut
𝒪
0
(
𝔹
*
)
=
S
1
·
S
O
(
n
,
ℝ
)
,
where the S
1-action is diagonal and the S
O
(
n
,
ℝ
)-action is by matrix multiplication (see [17], e.g.). It is also well known that 𝔹
* is a nonhomogeneous domain. Its singular boundary consists of all points z with z
•
z
=
0, and the regular part of the boundary of 𝔹
* consists of strictly pseudoconvex points.For eachs
>
-
1 we let v
s denote the measure on 𝔹
*, defined by
(42)
d
v
s
(
z
)
:
=
(
1
-
N
*
2
(
z
)
)
s
d
v
(
z
)
,
where v denotes the normalized Lebesgue measure on 𝔹
*. For all 0
<
p
<
∞ we define
(43)
𝒜
s
p
(
𝔹
*
)
:
=
ℋ
(
𝔹
*
)
∩
L
p
(
𝔹
*
,
|
z
•
z
|
(
p
-
2
)
/
2
d
v
s
)
,
where ℋ
(
𝔹
*
) is the space of all holomorphic functions on 𝔹
*. Naturally, the spaces 𝒜
s
p
(
𝔹
*
) are called weighted Bergman spaces of 𝔹
*.Whenp
=
2, there exists an orthogonal projection from L
2
(
𝔹
*
,
d
v
s
) onto 𝒜
s
2
(
𝔹
*
). This will be called the weighted Bergman projection and is denoted by P
s
,
𝔹
*.It is well known thatP
s
,
𝔹
* is an integral operator on L
2
(
𝔹
*
,
d
v
s
), namely,
(44)
P
s
,
𝔹
*
f
(
z
)
=
∫
𝔹
*
‍
K
s
,
𝔹
*
(
z
,
w
)
f
(
w
)
d
v
s
(
w
)
,
where
(45)
K
s
,
𝔹
*
(
z
,
w
)
=
A
(
X
,
Y
)
(
n
2
+
n
-
s
)
v
s
(
𝔹
*
)
(
X
2
-
Y
)
n
+
1
+
s
is the weighted Bergman kernel. Here
(46)
X
=
1
-
z
•
w
¯
,
Y
=
(
z
•
z
)
w
•
w
¯
,
and A
(
X
,
Y
) is the sum
(47)
∑
j
=
0
∞
‍
c
n
,
s
,
j
X
n
+
s
-
1
-
2
j
Y
j
×
[
2
(
n
+
s
)
X
-
(
n
-
2
j
+
s
)
(
n
+
1
+
2
s
)
n
+
s
+
1
(
X
2
-
Y
)
]
.
As usual,
(48)
c
n
,
s
,
j
=
(
n
+
s
+
1
2
j
+
1
)
=
(
n
+
s
+
1
)
(
n
+
s
)
⋯
(
n
+
s
-
2
j
+
1
)
(
2
j
+
1
)
!
is the binomial coefficient and v
s
(
𝔹
*
) is the weighted Lebesgue volume of 𝔹
*. See [15, 17] for these formulas and more information about the weighted Bergman kernels.Because of the infinite sumA
(
X
,
Y
) the formula for K
s
,
𝔹
* is not really a closed form. As such, it is inconvenient for us to do estimates for P
s
,
𝔹
* directly. Thus we employ a technique that was used in [15]. More specifically, we relate the domain 𝔹
* to the hypersurface 𝕄 of the Euclidean unit ball in ℂ
n
+
1 defined by
(49)
𝕄
=
{
z
∈
ℂ
n
+
1
∖
{
0
}
:
z
•
z
=
0
,
|
z
|
<
1
}
.
If Pr
:
ℂ
n
+
1
→
ℂ
n is defined by
(50)
Pr
(
z
1
,
…
,
z
n
,
z
n
+
1
)
=
(
z
1
,
…
,
z
n
)
,
and F
=
P
r
∣
𝕄, then F
:
𝕄
→
𝔹
*
-
{
0
}. Let
(51)
ℍ
=
{
z
∈
ℂ
n
+
1
∖
{
0
}
:
z
•
z
=
0
}
.
It was proved in [17] that there is an S
O
(
n
+
1
,
ℂ
)-invariant holomorphic form α on ℍ. Moreover, this form is unique up to a multiplicative constant. In fact, after appropriate normalization, the restriction to ℍ
∩
(
ℂ
∖
{
0
}
)
n
+
1 of this form is given by
(52)
α
(
z
)
=
∑
j
=
1
n
+
1
‍
(
-
1
)
j
-
1
z
j
d
z
1
∧
⋯
∧
d
z
j
^
∧
⋯
∧
d
z
n
+
1
.Our norm estimates for the weighted Bergman projectionP
s
,
𝔹
* on L
p spaces will be based on the corresponding estimates on 𝕄. Therefore, we will consider the spaces L
s
p
(
𝕄
) consisting of measurable complex-valued functions f on 𝕄 such that
(53)
∥
f
∥
L
s
p
(
𝕄
)
p
=
∫
𝕄
‍
|
f
(
z
)
|
p
(
1
-
|
z
|
2
)
s
α
(
z
)
∧
α
¯
(
z
)
C
¯
<
∞
,
where
(54)
C
¯
:
=
(
-
1
)
n
(
n
+
1
)
/
2
(
2
i
)
n
.
We use A
s
p
(
𝕄
) to denote the subspace of all holomorphic functions in L
s
p
(
𝕄
). The weighted Bergman projection P
s
,
𝕄 is then the orthogonal projection from L
s
2
(
𝕄
) onto A
s
2
(
𝕄
). Again, it is well known that P
s
,
𝕄 is an integral operator on L
s
2
(
𝕄
) given by the formula
(55)
P
s
,
𝕄
f
(
z
)
=
∫
𝕄
‍
K
s
,
𝕄
(
z
,
w
)
f
(
w
)
(
1
-
|
w
|
2
)
s
α
(
z
)
∧
α
¯
(
z
)
C
¯
,
where K
s
,
𝕄 is the corresponding Bergman kernel.The starting point for our analysis is the following closed form ofK
s
,
𝕄, which was obtained as Theorem 3.2 in [15].Lemma 11 (see [14]).
The weighted Bergman kernelK
s
,
𝕄 of A
s
2
(
𝕄
) is given by
(56)
K
s
,
𝕄
(
z
,
w
)
=
C
(
n
-
1
+
(
n
+
1
+
2
s
)
z
•
w
¯
)
(
1
-
z
•
w
¯
)
n
+
s
+
1
,
where C is a certain constant that depends on n and s.Letf
:
𝔹
*
→
ℂ be a measurable function. We define a function T
f on 𝕄 by
(57)
(
T
f
)
(
z
)
:
=
z
n
+
1
(
2
(
n
+
1
)
2
)
1
/
p
(
f
∘
F
)
(
z
)
=
z
n
+
1
f
(
z
1
,
…
,
z
n
)
(
2
(
n
+
1
)
2
)
1
/
p
.
The operator T will also play a key role in our analysis. In particular, we need the following result which was obtained as Lemma 4.1 in [10].Lemma 12 (see [14]).
For eachp
⩾
1 and s
>
-
1 the linear operator T is an isometry from L
p
(
𝔹
*
,
|
z
•
z
|
(
p
-
2
)
/
2
d
v
s
) to L
s
p
(
𝕄
). Moreover, we have P
s
,
𝕄
T
=
T
P
s
,
𝔹
* on L
p
(
𝔹
*
,
|
z
•
z
|
(
p
-
2
)
/
2
d
v
s
).TheoremB of [15] states that the operator with positive kernel P
s
,
𝔹
* maps L
p
(
𝔹
*
,
|
z
•
z
|
(
p
-
2
)
/
2
d
v
s
) boundedly onto 𝒜
s
p
(
𝔹
*
) for all p
>
1. We need to derive an improved version of the classical Forelli-Rudin integral estimates in the case of the minimal ball.Lemma 13 (see [14]).
SupposeT
>
0, A
>
-
1, and d is a nonnegative integer. Then there exists a constant C
>
0 (depending on d, T, and A, but not on t and s) such that
(58)
∫
𝕄
‍
|
z
•
w
¯
|
2
d
|
1
-
z
•
w
¯
|
n
+
t
+
s
+
1
(
1
-
|
w
|
2
)
s
α
(
w
)
∧
α
¯
(
w
)
⩽
C
Γ
(
s
+
1
)
Γ
(
t
)
(
1
-
|
z
|
2
)
t
,
for all -
1
<
s
<
A
,
0
<
t
<
T, and z
∈
𝕄.For anys
>
-
1 we consider the measure
(59)
d
λ
s
(
z
)
=
Γ
(
n
+
s
)
2
ω
(
∂
𝕄
)
Γ
(
n
-
1
)
Γ
(
s
+
1
)
(
1
-
|
z
|
2
)
s
α
(
z
)
∧
α
¯
(
z
)
,
on 𝕄, where w
,
ω is the (
2
n
-
1
)-form on ∂
𝕄 defined by
(60)
ω
(
z
)
(
V
1
,
…
,
V
2
n
-
1
)
=
α
(
z
)
∧
α
¯
(
z
)
(
z
,
V
1
,
…
,
V
2
n
-
1
)
.Proposition 14 (see [14]).
Suppose1
≤
p
<
∞ and -
1
<
s
<
∞. Then
(61)
|
g
(
z
)
|
p
≤
1
(
1
-
|
z
|
2
)
n
+
1
+
s
∫
𝕄
‍
|
g
(
w
)
|
p
d
λ
s
(
w
)
for all g
∈
𝒜
s
p
(
𝕄
) and z
∈
𝕄.This proposition leads directly to embeddings between𝒜
s
∞ and 𝒜
s
1
p for some s and s
1 as we had above for unit disk case (see [2]) and we showed that this repeating arguments of unit disk case leads to new theorem we formulate below, in next section, for Bergman spaces in minimal ball.


## 2. On Distances inK-Bergman Spaces, Large Bergman-Orlicz Spaces in ℂ
n, and Bergman Spaces in Minimal Ball

Based fully on preliminaries of previous section, the plan of this section is the following: first we formulate a result in the unit disk and then repeat arguments we provided in proof of that theorem in various situations in higher dimensions. Since all proofs are short, the repetitions of arguments which are needed in higher dimension will be omitted; only sketches will be given.It is well known thatA
-
s
q
-
1
q
(
U
)
⊂
A
-
t
∞
(
U
)
,
t
=
s
-
1
/
q
,
t
<
0
,
s
<
0 (see [18]).It is easy to note, based on previous section results, that the complete analogues of the embedding we just provided are valid also in Bergman spaces in minimal ball forn-harmonic function spaces in polydisk and in K-Bergman spaces, and this is based completely on preliminaries we have in previous section. We leave this easy task to readers. This allows us to pose a distance problem in each space we consider in this paper.In the following theorem (see [1]) we calculate distances from a weighted Bloch class to Bergman spaces for q
≤
1. It is easy to note that each argument below is also valid not only in unit disk but based on preliminaries in the previous section in Bergman spaces in minimal ball and polydisk and K-Bergman spaces and Bergman-Orlicz spaces. So this theorem is very typical for us though it is known.Theorem 15.
Let0
<
q
≤
1, s
<
0, t
≤
s
-
1
/
q
,
β
>
(
1
-
s
q
)
/
q
-
2, and β
>
-
1
-
t. Let f
∈
A
-
t
∞. Then the following are equivalent: (a)
l
1
=
dist
⁡
A
-
t
∞
(
f
,
A
-
s
q
-
1
q
),
(b)
l
2
=
inf
⁡
{
ɛ
>
0
:
∫
U
‍
(
∫
Ω
ɛ
,
-
t
(
f
)
‍
(
(
1
-
|
w
|
)
β
+
t
/
|
1
-
〈
z
¯
,
w
〉
|
2
+
β
)
d
m
2
(
w
)
)
q
(
1
-
|
z
|
)
-
s
q
-
1
d
m
2
(
z
)
<
∞
}.Proof.
First we show thatl
1
≤
C
l
2. For β
>
-
1
-
t, we have
(62)
f
(
z
)
=
C
(
β
)
(
∫
U
∖
Ω
ɛ
,
-
t
‍
f
(
w
)
(
1
-
|
w
|
)
β
(
1
-
〈
w
¯
,
z
〉
)
β
+
2
d
m
2
(
w
)
+
∫
Ω
ɛ
,
-
t
‍
f
(
w
)
(
1
-
|
w
|
)
β
(
1
-
〈
w
¯
,
z
〉
)
β
+
2
d
m
2
(
w
)
)
=
f
1
(
z
)
+
f
2
(
z
)
,
where C
(
β
) is a well-known Bergman representation constant (see [5, 18]).
Fort
<
0,
(63)
|
f
1
(
z
)
|
≤
C
∫
U
∖
Ω
ɛ
,
-
t
‍
|
f
(
w
)
|
(
1
-
|
w
|
)
β
|
1
-
〈
w
¯
,
z
〉
|
β
+
2
d
m
2
(
w
)
≤
C
ɛ
∫
U
‍
(
1
-
|
w
|
)
β
+
t
|
1
-
〈
w
¯
,
z
〉
|
β
+
2
d
m
2
(
w
)
≤
C
ɛ
1
(
1
-
|
z
|
)
-
t
.
So sup
⁡
z
∈
U
|
f
1
(
z
)
|
(
1
-
|
z
|
)
-
t
<
C
ɛ.
Fors
<
0
,
t
<
0, we have
(64)
∫
U
‍
|
f
2
(
z
)
|
q
(
1
-
|
z
|
)
-
s
q
-
1
d
m
2
(
z
)
≤
C
∫
U
‍
(
∫
Ω
ɛ
,
-
t
‍
(
1
-
|
w
|
)
β
+
t
|
1
-
〈
w
¯
,
z
〉
|
β
+
2
d
m
2
(
w
)
)
q
×
(
1
-
|
z
|
)
-
s
q
-
1
d
m
2
(
z
)
≤
C
.
So we finally have
(65)
dist
⁡
A
-
t
∞
(
f
,
A
-
s
q
-
1
q
)
≤
C
∥
f
-
f
2
∥
A
-
t
∞
=
C
∥
f
1
∥
A
-
t
∞
≤
C
ɛ
.
It remains to prove thatl
2
≤
l
1. Let us assume that l
1
<
l
2. Then we can find two numbers ɛ
,
ε
1 such that ɛ
>
ε
1
>
0, and a function f
ε
1
∈
A
-
s
q
-
1
q, ∥
f
-
f
ε
1
∥
A
-
t
∞
≤
ε
1, and ∫
U
‍
(
∫
Ω
ɛ
,
-
t
‍
(
(
1
-
|
w
|
)
β
+
t
/
|
1
-
〈
z
¯
,
w
〉
|
β
+
2
)
d
m
2
(
w
)
)
q
(
1
-
|
z
|
)
-
s
q
-
1
d
m
2
(
z
)
=
∞. Hence as above we easily get from ∥
f
-
f
ε
1
∥
A
-
t
∞
≤
ε
1 that (
ɛ
-
ε
1
)
χ
Ω
ɛ
,
-
t
(
f
)
(
z
)
(
1
-
|
z
|
)
t
≤
C
|
f
ε
1
(
z
)
|, and hence
(66)
M
=
∫
U
‍
(
∫
U
‍
χ
Ω
ɛ
,
-
t
(
f
)
(
z
)
(
1
-
|
w
|
)
β
+
t
|
1
-
〈
w
¯
,
z
〉
|
β
+
2
d
m
2
(
w
)
)
q
×
(
1
-
|
z
|
)
-
s
q
-
1
d
m
2
(
z
)
≤
C
∫
U
‍
(
∫
U
‍
|
f
ε
1
(
w
)
|
(
1
-
|
w
|
)
β
|
1
-
〈
w
¯
,
z
〉
|
β
+
2
d
m
2
(
w
)
)
q
×
(
1
-
|
z
|
)
-
s
q
-
1
d
m
2
(
z
)
.
Since for q
≤
1 (see [5, 18])
(67)
(
∫
U
‍
|
f
ε
1
(
z
)
|
(
1
-
|
z
|
)
α
d
m
2
(
z
)
|
1
-
〈
w
,
z
〉
|
t
)
q
≤
C
∫
U
‍
|
f
ε
1
(
z
)
|
q
(
1
-
|
z
|
)
α
q
+
q
-
2
d
m
2
(
z
)
|
1
-
〈
w
,
z
〉
|
t
q
,
where α
>
(
1
-
q
)
/
q, t
>
0, f
ε
1
∈
H
(
U
), w
∈
U
, and
(68)
∫
U
‍
(
1
-
|
z
|
)
-
s
q
-
1
|
1
-
〈
w
¯
,
z
〉
|
q
(
β
+
2
)
d
m
2
(
z
)
≤
C
(
1
-
|
w
|
)
q
(
β
+
2
)
+
s
q
-
1
,
where s
<
0, β
>
(
(
1
-
s
q
)
/
q
)
-
2, and w
∈
U. We get
(69)
M
≤
C
∫
U
‍
|
f
ε
1
(
z
)
|
q
(
1
-
|
z
|
)
-
s
q
-
1
d
m
2
(
z
)
.
So, we arrive at a contradiction. The theorem is proved.The following theorem is a version of Theorem15 for the case q
>
1.Theorem 16.
Letq
>
1, s
<
0
,
t
≤
s
-
1
/
q, β
>
(
-
1
-
s
q
)
/
q, and β
>
-
1
-
t. Let f
∈
A
-
t
∞. Then the following are equivalent: (a)
l
1
=
dist
⁡
A
-
t
∞
(
f
,
A
-
s
q
-
1
q
),
(b)
l
^
2
=
inf
⁡
{
ɛ
>
0
:
∫
U
‍
(
∫
Ω
ɛ
,
-
t
(
f
)
(
(
1
-
|
w
|
)
β
+
t
/
|
1
-
z
¯
w
|
2
+
β
)
‍
d
m
2
(
w
)
)
q
(
1
-
|
z
|
)
-
s
q
-
1
d
m
2
(
z
)
<
∞
}.The proof of Theorem16 is the same actually as the proof of Theorem 15. The only difference is the boundedness of Bergman type projection operator but with positive Bergman kernel. This fact will be used by us below heavily.Indeed the close inspection of the proof of Theorem15 shows that the proof of Theorem 16 is the same as the proof of Theorem 15. but here we will use (70) (see below) instead of (67). For ɛ
>
0
,
q
>
1
,
β
>
0
,
α
>
-
1
/
q (see [18])
(70)
(
∫
U
‍
|
f
(
z
)
|
(
1
-
|
z
|
)
α
|
1
-
w
¯
z
|
β
+
2
d
m
2
(
z
)
)
q
≤
C
∫
U
‍
|
f
(
z
)
|
q
(
1
-
|
z
|
)
α
q
|
1
-
w
¯
z
|
β
q
-
ɛ
q
+
2
d
m
2
(
z
)
(
1
-
|
w
|
)
-
ɛ
q
,
w
∈
U
,
which follows immediately from Hölder's inequality and (68) (see [18]).We formulate one more theorem in this direction.Theorem 17.
Letβ
j
>
β
0, j
=
1
,
…
,
n, for large enough β
0, p
>
1, and α
j
>
0, j
=
1
,
…
,
n. Then for f
∈
h
(
∞
,
∞
,
α
→
) we have
(71)
dist
⁡
h
(
∞
,
∞
,
α
→
)
(
f
,
h
(
p
,
p
,
α
→
)
)
≍
inf
⁡
{
∏
k
=
1
n
‍
ɛ
>
0
:
∫
U
n
‍
(
∫
Ω
ɛ
,
α
→
0
‍
∏
j
=
1
n
‍
|
P
β
j
(
z
j
,
w
j
)
|
|
f
(
w
)
|
×
∏
j
=
1
n
‍
(
1
-
|
w
j
|
)
β
j
+
α
j
d
m
2
n
(
w
)
)
p
×
∏
k
=
1
n
‍
(
1
-
|
z
k
|
)
α
k
d
m
2
n
(
z
)
<
∞
}
,
where
(72)
Ω
ɛ
,
t
~
0
=
{
z
∈
U
n
:
|
f
(
z
)
|
∏
k
=
1
n
‍
(
1
-
|
z
k
|
)
t
~
≥
ɛ
}
,
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
t
~
≥
0
,
ɛ
>
0
.Note also that now even a more general theorem for all mixed norm spaces is valid, namely, forh
(
p
,
q
,
α
) spaces based on facts we provided already above concerning projection theorems. We leave this to interested readers.The scheme of proofs of all high dimensional theorems of this section is the same. The main tools are (see [1, 2]) the Bergman representation formula for larger space (for each f function from Y
,
f
∈
Y
,
X
⊂
Y). Then we use the fact that ∥
|
P
|
f
∥
X
≤
C
∥
f
∥
X
,
f
∈
X, where |
P
| is a Bergman projection with positive Bergman kernel. Then we use Forelli-Rudin type estimate. As example we provide a complete proof of Theorem 17. For a parallel proof of other assertions we refer the reader to facts we provided above taken from mentioned papers and leave this procedure to readers.Now we return to the proof of Theorem17. We follow arguments of unit disk case.Proof of Theorem17.
Letsup
⁡
r
∈
I
n
(
∏
j
=
1
n
‍
(
1
-
r
j
)
α
j
)
M
∞
(
f
,
r
)
<
∞.
Then∫
U
n
‍
|
f
(
z
)
|
p
(
∏
j
=
1
n
‍
(
1
-
|
z
j
|
)
β
j
)
d
m
2
n
(
z
)
<
∞ for all β
j
>
β
0
,
j
=
1
,
…
,
n, where β
0 is large enough. This means that based on lemmas on n-harmonic functions from the previous section that for large enough β
~
j
,
β
~
j
>
β
~
0
,
j
=
1
,
…
,
n,
(73)
f
(
z
)
=
1
∏
j
=
1
n
‍
Γ
(
β
~
j
)
×
∫
U
n
‍
(
∏
j
=
1
n
‍
(
1
-
|
ξ
j
|
)
β
~
j
-
1
)
×
P
β
~
→
(
z
,
ξ
)
f
(
ξ
)
d
m
2
n
(
ξ
)
,
z
∈
U
n
,
|
P
α
→
(
z
,
ξ
)
|
≤
C
(
α
,
n
)
∏
j
=
1
n
‍
1
|
1
-
ξ
j
¯
z
j
|
α
j
+
1
,
z
,
ξ
∈
U
n
,
α
j
≥
0
.
Then we have β
~
j
>
β
~
0
,
j
=
1
,
…
,
n: f
=
f
1
+
f
2 as in unit disk case,
(74)
|
f
1
(
z
)
|
≤
C
1
ɛ
1
∏
j
=
1
n
‍
(
1
-
|
z
j
|
)
α
,
|
f
2
(
z
)
|
≤
C
2
∥
f
∥
h
(
∞
,
∞
,
α
)
.
So finally we havedist
⁡
h
(
∞
,
∞
,
α
)
(
f
2
,
h
(
p
,
α
)
)
≤
C
∥
f
-
f
2
∥
h
(
∞
,
∞
,
α
)
=
C
∥
f
1
∥
h
(
∞
,
∞
,
α
).
To get the reverse we again repeat and follow arguments of unit disk case and use the fact from the previous section(75)
S
β
~
0
f
(
z
)
=
C
(
β
~
0
)
∫
U
n
‍
∏
j
=
1
n
‍
(
1
-
|
ξ
j
|
2
)
β
~
0
-
1
|
P
β
~
0
(
z
,
ξ
)
|
f
(
ξ
)
d
m
2
n
(
ξ
)
maps for large enough β
~
0 and for all α
j
>
0
,
1
≤
p
,
q
≤
∞
,
j
=
1
,
…
,
n
,
L
(
p
,
q
,
α
) into L
(
p
,
q
,
α
).The following theorem is based heavily on Remark1, which we provided above, and Forelli-Rudin type estimates for unit ball (see [5] and Proposition 3) and some elementary arguments we see in proof of unit disk case.We formulate complete analogue of Theorem15 in K-Bergman spaces.Theorem 18.
Letβ
>
β
0 for large enough β
0
,
α
→
≺
(
*
)
,
0
<
p
<
∞
,
l
α
=
∑
i
>
0
‍
α
i. Let g
∈
H
(
B
n
). If ∥
|
P
β
|
g
∥
A
α
→
p
≤
C
∥
g
∥
A
α
→
p
⇔
(76)
∫
B
n
‍
(
∫
B
n
‍
|
g
(
w
)
|
(
1
-
|
w
|
)
β
|
1
-
〈
z
,
w
〉
|
n
+
1
+
β
d
ν
(
w
)
)
p
·
∏
i
=
1
n
‍
(
1
-
∑
j
=
1
i
‍
|
z
j
|
2
)
α
i
d
ν
(
z
)
≤
C
∫
B
n
‍
|
g
(
w
)
|
p
·
∏
i
=
1
n
‍
(
1
-
∑
j
=
1
i
‍
|
w
j
|
2
)
α
i
d
ν
(
w
)
,
then for f
∈
A
(
2
n
+
l
α
)
/
p
∞
(
B
n
) we have
(77)
d
i
s
t

A
(
2
n
+
l
α
)
/
p
∞
(
B
n
)
(
f
,
H
α
1
,
…
,
α
n
p
(
B
n
)
)
≍

inf
⁡

{
(
1
-
∑
j
=
1
i
‍
|
w
j
|
2
)
α
i
ɛ
>
0
:
∫
B
n
‍
(
∫
Ω
ɛ
,
t
1
(
f
)
‍
(
1
-
|
w
|
)
β
+
t
d
ν
(
w
)
|
1
-
〈
z
,
w
〉
|
n
+
1
+
β
)
p
·
∏
i
=
1
n
‍
(
1
-
∑
j
=
1
i
‍
|
w
j
|
2
)
α
i
d
ν
(
z
)
<
∞
}
,
where
(78)
Ω
ɛ
,
t
~
1
(
f
)
=
{
z
∈
B
n
:
|
f
(
z
)
|
(
1
-
|
z
|
)
t
~
>
ɛ
}
,
ɛ
>
0
,
t
~
>
0
,
t
~
=
2
n
+
l
α
p
.Remark 19.
Note that the condition in Theorem18 is true when α
j
=
0
,
α
n
≠
0 or α
j
=
0
,
j
=
1
,
…
,
n. This is a classical fact of theory of Bergman spaces in the unit ball (see [5]).The following theorem is based heavily on Remark1, which we provided above, and Forelli-Rudin type estimates for unit ball (see [5] and Proposition 3) and some elementary arguments we see in proof of unit disk case.We formulate complete analogue of Theorem15 in Bergman-Orlicz spaces.Theorem 20.
Letα
>
-
1
,
0
<
p
<
∞. Then for f
∈
A
(
n
+
1
+
α
)
/
p
∞
(
B
n
) we have
(79)
dist
A
(
n
+
1
+
α
)
/
p
∞
(
B
n
)
(
f
,
A
α
Ψ
p
(
B
n
)
)
≍
{
ɛ
>
0
:
∫
B
n
‍
Ψ
p
(
∫
Ω
ɛ
,
(
n
+
1
+
α
)
/
p
2
‍
(
1
-
|
w
|
)
β
-
(
n
+
1
+
α
)
/
p
d
ν
(
w
)
|
1
-
〈
z
,
w
〉
|
n
+
1
+
β
)
d
ν
α
<
∞
(
1
-
|
w
|
)
β
-
(
n
+
1
+
α
)
/
p
d
ν
(
w
)
|
1
-
〈
z
,
w
〉
|
n
+
1
+
β
}
,
where
(80)
Ω
ɛ
,
t
~
2
=
{
z
∈
B
n
:
|
f
(
z
)
|
(
1
-
|
z
|
)
t
~
>
ɛ
}
,
ɛ
>
0
,
t
~
>
0
,
if ∥
|
P
β
|
g
∥
L
α
~
Ψ
p
≤
C
∥
g
∥
L
α
~
Ψ
p for g
∈
A
α
~
Ψ
p
(
B
n
)
)
,
α
~
>
-
1
,
β
>
β
0, for large enough β
0, where P
β is a weighted Bergman projection in Bergman-Orlicz spaces.We formulate complete analogue of Theorem15 in minimal ball.Theorem 21.
Letβ
>
β
0 for large enough β
0
,
1
<
p
<
∞
,
-
1
<
s
<
∞. Then for any f
∈
A
(
n
+
1
+
s
)
/
p
∞
(
M
) for which Bergman representation (55) is valid
(81)
d
i
s
t
A
(
n
+
1
+
s
)
/
p
∞
(
M
)
(
f
,
A
s
p
(
M
)
)
≍

inf
⁡
{
ɛ
>
0
:
∫
M
‍
(
∫
Ω
ɛ
,
(
n
+
1
+
s
)
/
p
3
‍
|
K
β
,
M
(
z
,
w
)
|
f
(
w
)

×
(
1
-
|
w
|
)
β
+
t
d
λ
(
w
)
∫
M
‍
(
∫
Ω
ɛ
,
(
n
+
1
+
s
)
/
p
3
‍
|
K
β
,
M
(
z
,
w
)
|
f
(
w
)
)
p
d
λ
s
(
w
)
<
∞
}
,
where t
=
-
(
n
+
1
+
s
)
/
p and
(82)
Ω
ɛ
,
t
~
3
=
{
z
∈
M
:
|
f
(
z
)
|
(
1
-
|
z
|
)
t
~
≥
ɛ
}
,
t
~
>
0
,
ɛ
>
0
.



---

*Source: 275416-2014-05-06.xml*