- Research
- Open access
- Published:
On characterizations of Bloch spaces and Besov spaces of pluriharmonic mappings
Journal of Inequalities and Applications volume 2015, Article number: 360 (2015)
Abstract
We characterize the Bloch spaces and Besov spaces of pluriharmonic mappings on the unit ball of \({\mathbb{C}}^{n}\) by using the following quantity: \(\sup_{\rho(z,w)< r,z\neq w}\frac{(1-|z|^{2})^{\alpha}(1-|w|^{2})^{\beta}|\hat{D}^{(m)}f(z)-\hat {D}^{(m)}f(w)|}{|z-w|}\), where \(\alpha+\beta=n+1\), \(\hat{D}^{(m)}=\frac{\partial ^{m}}{\partial z^{m}}+\frac{\partial^{m}}{\partial\bar{z}^{m}}\), \(|m|=n\). This generalizes the main results of (Yoneda in Proc. Edinb. Math. Soc. 45:229-239, 2002) in the higher dimensional case.
1 Introduction
Let \({\mathbb{C}}^{n}=\{z=(z_{1},\ldots,z_{n}): z_{1},\ldots,z_{n}\in{\mathbb{C}}\}\) denote the n dimensional complex vector space. For \(a=(a_{1},\ldots,a_{n})\in{\mathbb {C}}^{n}\), we define the Euclidean inner product \(\langle\cdot,\cdot\rangle\) by
where \(\bar{a}_{k}\) (\(k\in\{1,\ldots,n\}\)) denotes the complex conjugate of \(a_{k}\). Then the Euclidean length of z is defined by
Denote a ball in \({\mathbb{C}}^{n}\) with center a and radius \(r > 0\) by
In particular, we let \(\mathbb{B}^{n}\) denote the unit ball \(\mathbb{B}^{n}(0,1)\) and let \({\mathbb{D}}\) be the unit disk in \({\mathbb{C}}\).
A complex-valued function f of \(\mathbb{B}^{n}\) into \({\mathbb{C}}\) is called pluriharmonic if there are two holomorphic functions h and g, such that \(f=h+\bar{g}\). We denote by \(\mathcal{P}(\mathbb{B}^{n})\) the class of all pluriharmonic mappings on the unit ball of \({\mathbb{C}}^{n}\).
Let \(f=h+\bar{g}\in\mathcal{P}(\mathbb{B}^{n})\). For a multi-index \(m=(m_{1},\ldots,m_{n})\), we employ the notations
where \(|m|=m_{1}+\cdots+m_{n}\). Obviously, if \(f\in\mathcal{P}(\mathbb{B}^{n})\), then so does \(\hat{D}^{(m)}f\).
Similar to the planar case, the Bloch space \(\mathcal{PB}(\mathbb{B}^{n})\) of \(\mathcal{P}(\mathbb{B}^{n})\) consists of all mappings \(f\in\mathcal{P}(\mathbb{B}^{n})\) such that
the little Bloch space \(\mathcal{PB}_{0}(\mathbb{B}^{n})\) consists of all mappings \(f\in \mathcal{PB}(\mathbb{B}^{n})\) such that
Let \(d\lambda(z)=(1-|z|^{2})^{-n-1}\, dv(z)\), where dv is the normalized Lebesgue measure of \(\mathbb{B}^{n}\). For \(1\leq p<\infty\), the Besov space \({\mathcal{B}}_{p}\) of \(\mathcal{P}(\mathbb {B}^{n})\) consists of all mappings \(f\in\mathcal{P}(\mathbb{B}^{n})\) such that \((1-|z|^{2})(|\nabla f(z)|+ |\overline{\nabla} f(z)|)\in L^{p}(\mathbb{B}^{n}, d\lambda)\), i.e.
For a planar harmonic mapping f in \({\mathbb{D}}\), Colonna [1] proved that \(f\in\mathcal{PB}(\mathbb{D})\) if and only if the Lipschitz number
Let
where \(D(z,r)\) is the Bergman disc with center \(z\in\mathbb{D}\) and radius r, \(n\geq1\) an integer and \(\alpha+\beta=n\). By means of it, Yoneda [2] characterized the spaces \(\mathcal{PB}(\mathbb{D})\) and \({\mathcal{B}}_{p}\) as follows.
Theorem A
Let \(n\geq1\) be an integer and \(f\in \mathcal{P}(\mathbb{D})\). Then \(f\in\mathcal{PB}(\mathbb{D})\) if and only if l is bounded.
Theorem B
Let \(n\geq1\) be an integer and \(f\in \mathcal{P}(\mathbb{D})\). Then \(f\in{\mathcal{B}}_{p}\) if and only if
In this article, we consider the corresponding problems in higher dimensional setting. We refer to [3–7] for the related topics for holomorphic or harmonic functions. See [8–12] for various characterizations of the Bloch, little Bloch, and Besov spaces in the unit ball of \({\mathbb{C}}^{n}\). In Section 2, we recall some basic facts for pluriharmonic mappings. Our main results are Theorems 1-4, whose proofs will be presented in Sections 3 and 4.
2 Preliminaries
Let \(\operatorname{Aut}(\mathbb{B}^{n})\) denote the group of biholomorphic mappings of \(\mathbb{B}^{n}\) onto itself. It is well known that \(\operatorname{Aut}(\mathbb{B}^{n})\) is generated by the unitary operators on \(\mathbb{B}^{n}\) and the involutions \(\phi_{a}\) of the form
where \(a,z\in\mathbb{B}^{n}\),
For \(z,w\in\mathbb{B}^{n}\), we define \(\rho(z,w)=|\phi_{z}(w)|\). It is known that ρ is a distance function on \(\mathbb{B}^{n}\), and we call it pseudo-hyperbolic metric (cf. [6, 12]). For \(r\in(0,1)\), the pseudo-hyperbolic ball with center z and radius r is given by
Clearly, \(E(z,r)=\phi_{z}({\mathbb{B}}(0,r))\).
Lemma 1
([12])
Let \(0< r<1\) and \(w\in E(z,r)\). Then
where \(|E(z,r)|\) is the normalized volume of \(E(z,r)\), \(A\asymp B\) means that there is a constant \(C>0\) such that \(B/C \leq A \leq BC\).
The following lemma is crucial [13].
Lemma 2
Suppose that \(f:\mathbb{\overline{B}}^{n}(a,r) \rightarrow{\mathbb {C}}\) is continuous and pluriharmonic in \(\mathbb{B}^{n}(a,r)\). Then there exists \(C>0\) such that
Let h be a holomorphic function in \(\mathbb{B}^{n}\). We say that \(h\in\mathcal{B}\) if
similarly, \(h\in\mathcal{B}_{0}\) if \(h\in \mathcal{B}\) and
It is obvious that a pluriharmonic mapping \(f=h+\bar{g} \in\mathcal{P}(\mathbb{B}^{n})\) (resp. \(\mathcal{PB}_{0}(\mathbb{B}^{n})\)) if and only if both \(h,g \in \mathcal{B}\) (resp. \(\mathcal{B}_{0}\)).
The following is a characterization of the space \(\mathcal{B}\) (resp. \(\mathcal{B}_{0}\)).
Lemma 3
([12])
Let h be holomorphic in \(\mathbb{B}^{n}\) and N a positive integer. Then \(h\in\mathcal{B}\) (resp. \(\mathcal{B}_{0}\)) if and only if
for all values of the multi-index m with \(|m| = N\).
Corollary 1
Let \(f=h+\bar{g}\) be a pluriharmonic mapping in \(\mathbb{B}^{n}\) and N a positive integer. Then \(f\in\mathcal{PB}(\mathbb{B}^{n})\) (resp. \(\mathcal{PB}_{0}(\mathbb{B}^{n})\)) if and only if
respectively,
for all values of the multi-index m with \(|m|=N\).
As an application of Lemma 3, we obtain the following.
Lemma 4
Let h be holomorphic in \(\mathbb{B}^{n}\). Then \(h\in\mathcal{B}\) if and only if for each \(j\in\{1,\ldots,n\}\),
Proof
Fixing a point w and letting
with \(\xi\in {\mathbb{C}}\), we have
for each \(j\in \{1,\ldots,n\}\). By Lemma 3, we see that \(h\in\mathcal{B}\).
For the converse, we assume that \(h\in\mathcal{B}\). Let \(h_{j}(z)=\frac{\partial h(z)}{\partial z_{j}}\), then for each \(j\in \{1,\ldots,n\}\),
It follows from [7] that there exists \(0< C_{1}<\infty\) such that
This implies that
So the result follows. □
3 The Bloch space for pluriharmonic mappings
In this section, we give some characterizations of the spaces \(\mathcal{PB}(\mathbb{B}^{n})\) and \(\mathcal{PB}_{0}(\mathbb{B}^{n})\) which can be viewed as the generalizations of Yoneda’s results in the higher dimensional case.
Theorem 1
Let \(f\in\mathcal{P}(\mathbb{B}^{n})\), \(N\geq0\) be an integer and \(0< r<1\). Then \(f\in\mathcal{PB}(\mathbb{B}^{n})\) if and only if
for all values of the multi-index m with \(|m|=N\), where \(\alpha +\beta=N+1\).
Proof
First we prove the sufficiency. Let \(f(z)\in \mathcal{P}(\mathbb{B}^{n})\), then for each multi-index m with \(|m|=N\), \(\hat{D}^{(m)}f(z)\) is also pluriharmonic. According to Lemma 2, for \(z\in\mathbb{B}^{n}\) and \(r\in(0,1)\),
where \(\varrho=\frac{r(1-|z|^{2})}{2}\). By a simple computation, we see that \(\mathbb{B}^{n} (z, \varrho)\subset E(z, r)\), so
Since for each \(w \in E(z, r)\), \(w\neq z \),
by Lemma 1, we can deduce that
Therefore, there exists a positive constant \(C_{2}\) such that
from which we see that \(f\in\mathcal{PB}(\mathbb{B}^{n})\).
Now we prove the necessity. Let \(w\in E(z,r)\), \(w\neq z\). Then for each multi-index m with \(|m|=N\), we have
By Lemma 1 we infer that there exists \(\iota>0\) such that \(1-|w|=\iota(1-|z|)\) and
Thus,
So the proof is complete. □
Theorem 2
Let \(f\in\mathcal{P}(\mathbb{B}^{n})\) and \(N=1,2\). Then \(f\in \mathcal{PB}(\mathbb{B}^{n})\) if and only if
for all multi-index with \(|m|=N-1\).
Proof
The sufficiency follows from Theorem 1. We only need to prove the necessity. When \(N=1\), we refer to [8, 11]. Now we prove \(N=2\). Let \(f=h+\bar{g}\). Then for each \(j\in \{1,\ldots,n\}\),
Since \(f\in\mathcal{PB}(\mathbb{B}^{n})\), \(h,g \in\mathcal{B}\), by Lemma 4,
This completes the proof. □
Theorem 3
Let \(f\in\mathcal{PB}(\mathbb{B}^{n})\), \(N\geq0\) be an integer and \(0< r<1\). Then \(f\in\mathcal{PB}_{0}(\mathbb{B}^{n})\) if and only if
for all values of the multi-index m with \(|m|=N\), where \(\alpha +\beta=N+1\).
Proof
Sufficiency. Assume that (1) holds. Then for any \(\epsilon>0\), there exists \(\delta\in(0,1)\) such that
whenever \(\delta<|z|<1\). It follows from an argument similar to the proof of Theorem 1, that we have
whenever \(\delta<|z|<1\). Hence
from which we see that \(f\in\mathcal{PB}_{0}(\mathbb{B}^{n})\).
Necessity. For \(\lambda\in(0,1)\), let \(f_{\lambda}(z)=f(\lambda z)\). By Lemma 1 and the proof of Theorem 1, we see that for each multi-index m with \(|m|=N\),
and
for all \(z,w\in\mathbb{B}^{n}\), \(\rho(z,w)< r\) and \(\xi, \eta\in E(z,r)\). So
First letting \(|z|\rightarrow1^{-}\) and then letting \(\lambda \rightarrow1^{-}\), we obtain the desired result. □
From Theorem 2 and the proof of Theorem 3, we have the following.
Corollary 2
Let \(f\in\mathcal{PB}(\mathbb{B}^{n})\) and \(N=1,2\). Then \(f\in \mathcal{PB}_{0}(\mathbb{B}^{n})\) if and only if
for all multi-index with \(|m|=N-1\).
4 The Besov space for pluriharmonic mappings
In order to state and prove our next result, we need the following lemmas.
Lemma 5
Let \(f\in\mathcal{P}(\mathbb{B}^{n})\). Then \(f\in{\mathcal{B}}_{p}\) if and only if
for all values of the multi-index m with \(|m| = N\), and \(p(N+1)\geq n\).
Proof
This follows from [12], Theorem 6.1. □
Lemma 6
Let h be holomorphic in \(\mathbb{B}^{n}\) and \(0< r<1\). Then there exist constants \(K>0\), \(r< r'<1\) such that
Proof
By the subharmonicity and Lemma 1, for each \(w\in \mathbb{B}^{n}\), we have
for some \(r'>r\). □
Theorem 4
Let \(f\in\mathcal{P}(\mathbb{B}^{n})\), \(N\geq0\) be an integer and \(0< r<1\). Then \(f\in{\mathcal{B}}_{p}\) if and only if
for all values of the multi-index m with \(|m|=N\), where \(\alpha +\beta=N+1\), and \(p(N+1)\geq n\).
Proof
Let \(f=h+\bar{g}\in\mathcal{P}(\mathbb{B}^{n})\). Suppose that
Let
It follows from the proof of Theorem 1 that we have
Since \(L_{f}(z)\leq L_{f}\), we see that
which yields \(f\in{\mathcal{B}}_{p}\).
To prove the necessity, we suppose that \(f=h+\bar{g}\in{\mathcal{B}}_{p}\). By Lemmas 1 and 6, for each multi-index m,
Since
by Hölder’s inequality and Fubini’s theorem, we can obtain
It follows from Lemma 5 that \(K_{f}\) is bounded. This completes the proof. □
References
Colonna, F: The Bloch constant of bounded harmonic mappings. Indiana Univ. Math. J. 38, 829-840 (1989)
Yoneda, R: The harmonic Bloch and Besov spaces by an oscillation. Proc. Edinb. Math. Soc. 45, 229-239 (2002)
Chen, S, Ponnusamy, S, Rasila, A: On characterizations of Bloch-type, Hardy-type and Lipschitz-type spaces. Math. Z. 279, 163-183 (2015)
Jevtić, M, Pavlović, M: On \(\mathscr{M}\)-harmonic Bloch space. Proc. Am. Math. Soc. 123, 1385-1392 (1995)
Ren, G, Kähler, U: Weighted Lipschitz continuity and harmonic Bloch and Besov spaces in the real unit ball. Proc. Edinb. Math. Soc. 48, 743-755 (2005)
Rudin, W: Function Theory in the Unit Ball of \(\mathbb{C}^{n}\). Springer, New York (1980)
Zhao, R: A characterization of Bloch-type spaces on the unit ball of \({\mathbb{C}}^{n}\). J. Math. Anal. Appl. 330, 291-297 (2007)
Chen, S, Wang, X: On harmonic Bloch spaces in the unit ball of \({\mathbb{C}}^{n}\). Bull. Aust. Math. Soc. 84, 67-78 (2011)
Li, S: Characterizations of Besov spaces in the unit ball. Bull. Korean Math. Soc. 49, 89-98 (2012)
Li, S, Wulan, H: Characterizations of α-Bloch spaces on the unit ball. J. Math. Anal. Appl. 337, 880-887 (2008)
Ren, G, Tu, C: Bloch spaces in the unit ball of \({\mathbb{C}}^{n}\). Proc. Am. Math. Soc. 133, 719-726 (2005)
Zhu, K: Spaces of Holomorphic Functions in the Unit Ball. Springer, New York (2005)
Chen, S, Rasila, A, Wang, X: Radial growth, Lipschitz and Dirichlet spaces on solutions to the non-homogenous Yukawa equation. Isr. J. Math. 204, 261-282 (2014)
Acknowledgements
The authors heartily thank the referee for a careful reading of this paper as well as for many helpful comments and suggestions. The research was partly supported by program for NSF of China (Nos. 11501374, 11501284), NSFs of Zhejiang (No. LQ14A010006) and Hunan (No. 2015JJ6095).
Author information
Authors and Affiliations
Corresponding author
Additional information
Competing interests
The authors declare that they have no competing interests.
Authors’ contributions
Both authors contributed equally to the writing of this paper. Both authors read and approved the final manuscript.
Rights and permissions
Open Access This article is distributed under the terms of the Creative Commons Attribution 4.0 International License (http://creativecommons.org/licenses/by/4.0/), which permits unrestricted use, distribution, and reproduction in any medium, provided you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license, and indicate if changes were made.
About this article
Cite this article
Fu, X., Liu, X. On characterizations of Bloch spaces and Besov spaces of pluriharmonic mappings. J Inequal Appl 2015, 360 (2015). https://doi.org/10.1186/s13660-015-0884-0
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/s13660-015-0884-0