Abstract
We study the connection between the weighted Bergman kernel and the Green’s function on a domain \(W\subset \mathbb {C}\) for which the Green’s function exists.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
The Bergman kernel (see for instance [1, 7,8,9, 14, 18]) has become a very important tool in geometric function theory, both in one and several complex variables. It turns out that not only the classical Bergman kernel, but also the weighted one can be useful (see [4, 5, 11] for applications in quantum field theory). Let \(W\subset \mathbb {C}\) be a domain (i.e., a connected, open set) such that the Bergman space \(L^2_H(W)\) is a non-zero space and \(G_W\) the classical Green’s function of W (let us recall that \(G_W\) exists if \(\mathbb {C}{\setminus } W\) is not polar, and this is only if \(L^2_H(W)\ne 0\)—see [3, 10]).
It is known, in the classical case, that
(see [19]) for \(z, w\in W,\,z\ne w\) (it was originally proved in [2] with additional assumptions on \(\partial W\)). On the other hand, if \(\partial W\) consists of a finite number of Jordan curves, \(\rho (z)\) is a positive continuously differentiable function of x and y on a neighborhood of \(\overline{W}\), \(K_{W,\,\rho }(z,w)\) a weighted Bergman kernel of the space \(L^2_H(W,\,\rho )\) and \(G_{W,\,\rho }\) the Green’s function for an operator \(\displaystyle P_{\rho }=\frac{\partial }{\partial \overline{z}}\frac{1}{\rho (z)}\frac{\partial }{\partial z}\), then
(see [6]). A very natural question is: “can we relax the regularity of \(\partial W?\)”. In this paper we prove that the connection above holds for any domain \(W\subset \mathbb {C}\), for which \(L^2_H(W)\ne 0\) (any bounded domain share this property) and for weights \(\rho \) such that \(\log \rho \) is harmonic. The generalization is not straightforward, since we need to find the connection between a classical Green function and \(G_{W,\,\rho }\). We shall begin with the definitions and basic facts used in this paper. Additionally, because we are dealing with the weighted Bergman kernels, we will recall for which weights in general the weighted Bergman kernel exists (although we are working here with differentiable weights only).
2 Definitions and Notation
Let \(W\subset \mathbb {C}\) be a domain, and let \(\mathcal{W}(W)\) be the set of weights on W, i.e., \(\mathcal{W}(W)\) is the set of all Lebesque measurable, real-valued, positive functions \(\mu \) on W (we consider two weights as equivalent if they are equal almost everywhere with respect to the Lebesque measure on W). For \(\mu \in \mathcal{W}(W)\) we denote by \(L^2(W,\mu )\) the space of all Lebesque measurable, complex-valued, \(\mu \)-square integrable functions on W, equipped with the norm \(||\cdot ||_{W, \mu }:=||\cdot ||_{\mu }\) and given by the scalar product
The space \(L^2_H(W,\mu )=\mathcal {O}(W)\cap L^2(W,\mu )\) is called the weighted Bergman space, where \(\mathcal {O}(W)\) denotes the space of all holomorphic functions on the domain W. For any \(z\in W\) we define the evaluation functional \(E_z\) on \(L^2_H(W,\mu )\) by the formula
Let us recall the definition (Definition 2.1) of admissible weight given in [13].
Definition 2.1
(Admissible weight) A weight \(\mu \in \mathcal{W}(W)\) is called an admissible weight, an a-weight for short, if \(L^2_H(W,\mu )\) is a closed subspace of \(L^2(W,\mu )\) and for any \(z\in W\), the evaluation functional \(E_z\) is continuous on \(L^2_H(W,\mu )\). The set of all a-weights on W will be denoted by \(\mathcal{AW}(W)\).
The definition of admissible weight provides us with existence and uniqueness of the related Bergman kernel and completeness of the space \(L^2_H(W,\mu )\). The concept of a-weight was introduced in [12], and in [13] several theorems concerning admissible weights are proved. An illustrative result is:
Theorem 2.2
[13, Corollary 3.1] Let \(\mu \in \mathcal{W}(W)\). If the function \(\mu ^{-a}\) is locally integrable on W for some \(a>0\) then \(\mu \in \mathcal{AW}(W)\).
Now, let us fix a point \(t\in W\) and minimize the norm \(||f||_{\mu }\) in the class \(E_t=\{f\in L^2_H(W,\mu ); f(t)=1\}\). It can be proved, in a fashion similar to the classical case, that if \(\mu \) is an admissible weight then there exists exactly one function minimizing the norm. Let us denote it by \(\phi _{\mu }(z,t)\). The weighted Bergman kernel function \(K_{W,\,\mu }\) is defined as follows:
3 From the Unweighted to the Weighted Case
Let us recall that we are working with a domain \(W\subset \mathbb {C}\), for which \(L^2_H(W)\ne 0\) (any bounded domain has this property). We define the Green’s function \(G_{W,\,\rho }\) as the limit in \(C^2(W)\) of the sequence \(\{G_{W_j,\,\rho _j}\}_{j=0}^{\infty }\), for an arbitrary exhaustion \(\{W_j\}\) of W by domains with the boundary consisting of a finite number of smooth Jordan curves, and for \(\rho _j=\rho _{|W_j}\). We are assuming here that the limit exists and is independent of the exhaustion. Now we will use the result from [19] to prove the following
Theorem 3.1
If \(\rho (z)=|\mu (z)|^2\), where \(\mu \in \mathcal {O}(\overline{W})\), and has no zeros on \(\overline{W}\), then
Proof
It is well known that any domain \(W\subset \mathbb {C}\) may be written as
where \(\partial W_j\) consists of a finite number of smooth Jordan curves (we do not assume any regularity of \(\partial W\)), for any \(j\in \mathbb {N}\). Let \(\rho _j(z)=|\mu _j(z)|^2\) where \(\mu _j=\mu _{|W_j}\). One can find in ([6], p. 494) that
which in the limit \(j\rightarrow \infty \) yields
(it is a standard fact that \(G_{W_j}\) converges in \(C^2(W)\) to \(G_{W}\)). Moreover (by a standard calculation)
Let us note that \(L^2_H(W,\,|\mu |^2)=L^2_H(W)\ne 0\). Multiplication by \(\mu \) is a unitary map from the \(L^2_H(W,\,|\mu |^2)\) onto \(L^2_H(W)\), so
because the image of a reproducing kernel by a unitary map is the corresponding reproducing kernel in the target space (this may be also seen by using the complete orthonormal system \(\{\varphi _k(\cdot )\}\) in \(L^2_H(W)\) to express \(K_W\) and \(\{\varphi _k(\cdot )/\mu (\cdot )\}\) in \(L^2_H(W,\,|\mu |^2)\) to express \(K_{W,\,\rho }(z,w)\)). Now Theorem 3.1 follows from the result in [19]. \(\square \)
3.1 Non-Holomorphic Weights
On closer scrutiny, the crucial thing in the proof of Theorem 3.1 was to relate the weighted Green’s function to the unweighted one. However, that was possible since holomorphicity of \(\mu \) allowed us to find a “bridge” between Green’s functions. This relationship turns out to be preserved even if we relax the assumption about holomorphicity of the weight. We will do some reduction which transforms the problem to solving some PDE. It turns out to be possible if only \(\log \rho \) is harmonic, as the following reveals.
Theorem 3.2
If \(\rho (z)=|\mu (z)|^2\), where \(\log \rho \) is harmonic on a neighborhood of \(\overline{W}\) (and \(\mu \) has no zeros on \(\overline{W}\)) then
Proof
Let \(\{W_j\}_{j=1}^{\infty }\) be an exhaustion of W and \(\rho _j=|\mu _j|^2\) where \(\mu _j = \mu _{|W_j}\). The crucial thing is to find \(g_j(z)\) such that \(u_j(w)=g_j(w)U_j(w)\) is a general solution of the equation
and \(U_j(w)\) is (an arbitrary) complex and harmonic function on \(W_j\) (we define g on the same way by means of \(P_{\rho }\)). Thus
Thus
\(\square \)
Remark 3.3
By the equation above, \(g_j\) is an antiholomorphic function.
Examining the system above, we see that the first equation is a consequence of the second one. Let us focus on the third one:
It may be written in the form
Thus, for a given \(\mu _j\), there is a function \(g_j\) which must satisfy:
Notice that, if \(\mu _j\) is holomorphic and \(g_j=\overline{\mu _j}\), then the system above is satisfied (in this case we get the result of [6]). We may proceed to get the exact form of \(g_j(z)\), namely:
where \(h_j\in \mathcal {O}(\overline{W_j})\). Since the \(g_j\) need to be antiholomorphic, \(h_j\) is not an arbitrary holomorphic function. Let us proceed to get the exact form of \(h_j\).
So
where \(l_j\) is antiholomorphic. Taking \(\displaystyle \frac{\partial ^2}{\partial w\partial {\overline{w}}}\) we see that \(\log |\mu _j|\) must be harmonic. Take \(l_j(w)=\overline{h_j(w)}+\log |\mu _j|^2+2i \mathrm{Im \,} h_j(w)\). So
By \(\displaystyle \frac{\partial }{\partial w}=\frac{1}{2}\left( \frac{\partial }{\partial x}-i\frac{\partial }{\partial y}\right) \) we see that
Write \(\int \log |\mu _j(w)|dy=F_j(x,y)+c(x)\), where \(w=x+iy\) and \(\frac{\partial }{\partial y}F_j(x,y)=\log |\mu _j(w)|^2\). Since \(\log |\mu _j|^2\) is harmonic, we have
or just \(\triangle F_j = d_j(x)\), where \(d_j\) is some differentiable function of x only. Thus
where \(\int d_j(x)dx = e_j(x)+ c(y)\). We may easily check that \( \mathrm{Im \,} h_j(w)\) is harmonic. To this end,
where \(\frac{\partial }{\partial y}F_j(x,y)=\log |\mu _j(w)|^2\), and \(e_j^{\prime }(x)=d_j(x)\).
Thus
where \(h_j\) is given above. Now, by the definition of \(\mu _j\) we have that \(g_j\rightarrow g=|\mu (z)|^2e^{h(z)}\), where
and by Harnack’s theorem \(\log |\mu |\) is harmonic.
Again (as in [6])
so
By the regularity of any \(\partial W_j\) we have
which in the limit as \(j\rightarrow \infty \) yields
(we made use of the result in [20] for the LHS of the above).
4 Remarks and Some Applications
One could try the “reduction” used in the proof above to find a connection between the classical Green’s function and the Green’s function of some other differential operator of elliptic type.
It is well established that weighted Bergman spaces are both intrinsically interesting and a powerful analytic tool. Our purpose in this paper has been to develop this set of ideas, and particularly the connection between the Bergman kernel and the Green’s function in the weighted context. Some of the applications might be:
-
(a)
With the established connection between weighted Bergman kernel and Green’s function in hand, we can reformulate the weighted version of the so called “small conjecture” (Is the so called Skwarczyński distance equivalent to the Bergman distance?—see [16, 17]) as:
Remark 4.1
Assume \(W\Subset \mathbb {C}\), and \(\mu \) is a continuously differentiable function of x and y on a neighborhood of \(\overline{W}\). Then \(t_n\rightarrow t\in \partial W\) represents defective evaluation (see [17]) iff
weakly in \(L^2_H(W,\mu )\) and
where \(||\gamma ||\ne \kappa \). This is important, since the involved so-called Skwarczyński distance is biholomorphically invariant, and given more explicitly than the Bergman distance.
-
(b)
Using the method of alternating projections (see [15]), we can recover (having some Dirichlet and Neuman boundary conditions on \(G_W\)) \(G_{W,\mu }\) for an arbitrary domain W lying in \(\mathbb {C}\).
References
Bergman, S.: The kernel function and conformal mappings, 2nd edn. American Mathematical Society, Providence, RI (1970)
Bergman, S., Schiffer, M.: Kernel functions and conformal mapping. Compos. Math. 8, 205–249 (1951)
Carleson, L.: Selected problems on exceptional sets. Van Nostrand, Princeton (1967)
Engliš, M.: Toeplitz operators and weighted Bergman kernels. J. Funct. Anal. 255(6), 1419–1457 (2008)
Engliš, M.: Weighted Bergman kernels and quantization. Comm. Math. Phys. 227(2), 211–241 (2002)
Garabedian, P.R.: A partial differential equation arising in conformal mapping. Pacific J. Math. 1, 485–524 (1951)
Jarnicki, M., Pflug, P.: Invariant distances and metrics in complex analysis, 2nd edn. de Gruyter Expositions, Berlin (2013)
Krantz, S.G.: Function theory of several complex variables. AMS Chelsea Publishing, Providence, RI (2001)
Krantz, S.G.: Geometric analysis of the Bergman Kernel and Metric. Springer, New York (2013)
Myrberg, P.: Über die existenz der Greenschen Funktionen auf einer gegeben Riemannschen Fläche. Acta Math. 61, 39–79 (1933)
Odzijewicz, A.: On reproducing kernels and quantization of states. Commun. Math. Phys. 114, 577–597 (1988)
Pasternak-Winiarski, Z.: On the dependence of the reproducing kernel on the weight of integration. J. Funct. Anal. 94(1), 110–134 (1990)
Pasternak-Winiarski, Z.: On weights which admit the reproducing kernel of Bergman type. Int. J. Math. Math. Sci. 15(1), 1–14 (1992)
Shabat, B.: Introduction to complex analysis, Part II: functions of several variables, 2nd edn. American Mathematical Society, Providence, RI (1992)
Skwarczynski, M.: Alternating projections in complex analysis. In: Complex analysis and applications (Varna, 1983), pp. 192–199. Publishing House of the Bulgarian Academy of Sciences, Sofia (1985)
Skwarczyński, M.: Biholomorphic invariants related to the Bergman function. Warsaw, Polish Scientific Publishing Company: Dissertationes Mathematicae (Rozprawy Matematyczne), vol. 173 (1980)
Skwarczyński, M.: Metric completeness in holomorphic geometry. Bull. Soc. Sci. Lett. Łódź Sér. Rech. Déform 51, 11–22 (2006)
Skwarczyński, M., Mazur, T.: Wstepne twierdzenia teorii funkcji wielu zmiennych zespolonych (Polish). Krzysztof Biesaga, Warszawa (2001)
Suszczyński, A.: O pewnej tożsamości dla funckji Greena i Bergmana (Polish). Zeszyty Naukowe Filii Uniwersytetu Warszawskiego w Bialymstoku. 39, 113–118 (1984)
Wójcicki, P.M.: Weighted Bergman kernel function, admissible weights and the Ramadanov theorem. Matematychni Studii. 42(2), 160–164 (2014)
Acknowledgements
We would like to thank the Referee for very valuable comments and suggestions regarding this paper, especially the proof of Theorem 3.1.
Author information
Authors and Affiliations
Corresponding author
Additional information
Communicated by Scott McCullough.
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
Krantz, S., Wójcicki, P.M. The Weighted Bergman Kernel and the Green’s Function. Complex Anal. Oper. Theory 11, 217–225 (2017). https://doi.org/10.1007/s11785-016-0593-9
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s11785-016-0593-9