Off-Spectral Analysis of Bergman Kernels

  • Haakan HedenmalmEmail author
  • Aron Wennman
Open Access


The asymptotic analysis of Bergman kernels with respect to exponentially varying measures near emergent interfaces has attracted recent attention. Such interfaces typically occur when the associated limiting Bergman density function vanishes on a portion of the plane, the off-spectral region. This type of behavior is observed when the metric is negatively curved somewhere, or when we study partial Bergman kernels in the context of positively curved metrics. In this work, we cover these two situations in a unified way, for exponentially varying weights on the complex plane. We obtain a uniform asymptotic expansion of the coherent state of depthn rooted at an off-spectral point, which we also refer to as the root function at the point in question. The expansion is valid in the entire off-spectral component containing the root point, and protrudes into the spectrum as well. This allows us to obtain error function transition behavior of the density of states along the smooth interface. Previous work on asymptotic expansions of Bergman kernels is typically local, and valid only in the bulk region of the spectrum, which contrasts with our non-local expansions.

1 Introduction

1.1 Bergman kernels and emergent interfaces

This article is a companion to our recent work [15] on the structure of planar orthogonal polynomials. We will make frequent use of methods developed there, and recommend that the reader keep that article available for ease of reference.

The study of Bergman kernel asymptotics has by now a sizeable literature. The majority of the contributions have the flavor of local asymptotics near a given point \(w_0\), under a positive curvature condition. However, in the study of partial Bergman kernels for the subspace of all functions vanishing to a given order at the point \(w_0\), the assumption of vanishing has the effect of introducing a negative point mass for the curvature form at \(w_0\). In addition to the negative curvature which comes from considering partial Bergman kernels defined by vanishing, we allow for the direct effect of patches of negatively curved geometry. Around the set of negative curvature, a forbidden region (or off-spectral set) emerges. This forbidden region is typically larger than the set of actual negative curvature, and may consist of several connectivity components. Recently, the asymptotic behavior of Bergman kernels near the interface at the edge of the forbidden region has attracted considerable attention. In this work, we intend to investigate this in the fairly general setting of exponentially varying weights in the complex plane. The restriction of the Bergman kernel to the diagonal gives us the density of states, which drops steeply at the interface. Indeed, in the forbidden region the density of states vanishes asymptotically, with exponential decay. One of our main results is that the density of states across the interface converges to the error function in a blow-up, provided the interface is smooth.

The key to obtaining the above-mentioned result is in fact our main result. It concerns the expansion of the coherent state\(\mathrm {k}_n(z,w_0)\)of depth n rooted at a given off-spectral point\(w_0\). This is the normalized reproducing kernel function at the point \(w_0\) for the Bergman space defined by vanishing to order n at \(w_0\). When \(n=0\), the coherent state of depth 0 is just the normalized Bergman kernel \(K(w_0,w_0)^{-\frac{1}{2}}K(z,w_0)\). An important feature of the asymptotic expansion is that z and \(w_0\) are allowed to be macroscopically separated. Such truly off-diagonal expansions have, to the best of our knowledge, not appeared elsewhere. It is easy to see that the coherent state of order \(n=0,1,2,\ldots \), at \(w_0\) form an orthonormal basis for the Bergman space, which gives an expansion of the density of states, which leads to the error function asymptotics. Similarly, if we want to handle partial Bergman kernels given by vanishing to order \(n_0\) at \(w_0\), we expand in the basis given by the coherent states of depth \(n\ge n_0\).

1.2 Coherent states and elementary potential theory

We now introduce the objects of study. We let m denote a large positive real parameter and \(Q:{{\mathbb {C}}}\rightarrow {{\mathbb {R}}}\) a continuous potential, and consider the Bergman space \(A^2_{mQ}\) defined as the collection of all entire functions f in the Lebesgue Hilbert space \(L^2_{mQ}\) with finite weighted norm
$$\begin{aligned} \Vert f\Vert _{mQ}^2:=\int _{{{\mathbb {C}}}}|f(z)|^2\mathrm e^{-2mQ(z)}\mathrm {dA}(z)<+\infty , \end{aligned}$$
where \(\mathrm {dA}\) denotes the planar area element normalized so that the unit disk \({{\mathbb {D}}}\) has unit area. The associated sesquilinear form on \(L^2_{mQ}\) is denoted by \(\langle \cdot ,\cdot \rangle _{mQ}\). The Hilbert space \(A^2_{mQ}\) then automatically has continuous point evaluations \(f\mapsto f(w)\) for each fixed \(w\in {{\mathbb {C}}}\), which allows us to define the reproducing kernel \(K_m\) for the space \(A^2_{mQ}\) via the Riesz representation theorem: \(f(w)=\langle f,K_m(\cdot ,w)\rangle _{mQ}\). Note that it is possible that the space \(A^2_{mQ}\) is trivial, for instance if \(Q=0\) identically. Moreover, if the space \(A^2_{mQ}\) is trivial, the kernel \(K_m\) is trivial as well, and vice versa. Next, suppose that\(A^2_{mQ}\)is nontrivial, so that \(K_m\) is nontrivial as well. We consider a point \(w_0\in {{\mathbb {C}}}\), and note that \(K_m(w_0,w_0)\ge 0\) automatically. We claim that in fact \(K_m(w_0,w_0)>0\). Indeed, if \(K_m(w_0,w_0)=0\), we would have that \(f(w_0)=0\) for each \(f\in A^2_{mQ}\). But if \(f\ne 0\), we may factor \(f(z)=(z-w_0)^Ng(z)\), where \(N\ge 1\) and g is entire with \(g(w_0)\ne 0\). Clearly, \(g\in A^2_{mQ}\), since division by \((z-w_0)^N\) makes the function smaller outside a disk of radius 1 about \(w_0\). Finally, the fact that \(g(w_0)\ne 0\) forces \(K_m(w_0,w_0)>0\), a contradiction. For nontrivial \(A^2_m\), we consider the coherent state (normalized Bergman kernel)
$$\begin{aligned} \mathrm {k}_{m,w_0}(z):=K_{m}(w_0,w_0)^{-\frac{1}{2}} K_{m}(z,w_0), \end{aligned}$$
which has norm 1 in \(A^2_{mQ}\).
We will need these notions in the context of partial Bergman kernels as well. For a non-negative integer n and a point \(w_0\in {{\mathbb {C}}}\), we consider the subspace \(A^2_{mQ,n,w_0}\) of \(A^2_{mQ}\), consisting of those functions that vanish to order at least n at \(w_0\). It may happen for some n that this space is trivial, for instance when the potential Q has logarithmic growth only, because then the space \(A^2_{mQ}\) consists of polynomials of a bounded degree. We denote its reproducing kernel by \(K_{m,n,w_0}\), and observe that \(K_{m,0,w_0}=K_m\). We define the coherent state of depthnat\(w_0\) (or the root function of order n), denoted \(\mathrm {k}_{m,n,w_0}\), as the unique solution to the optimization problem
$$\begin{aligned} \max \big \{{\text {Re}}f^{(n)}(w_0):\,\,f\in A^2_{mQ,n,w_0},\,\,\Vert f\Vert _{mQ}\le 1\big \}, \end{aligned}$$
provided the maximum is positive, in which case the optimizer has norm \(\Vert f\Vert _{mQ}=1\). In the remaining case, the maximum equals 0, and this is because the space \(A^2_{mQ,n,w_0}\) is trivial, in which case we declare that \(\mathrm {k}_{m,n,w_0}=0\). The argument that \(A^2_{mQ,n,w_0}=\{0\}\) holds if the above maximum vanishes is analogous to the one we already gave (to the effect that if \(A^2_{mQ}\) is nontrivial, then there exists \(f\in A^2_{mQ}\) with \(f(w_0)\ne 0\)), and hence we omit the necessary details. When nontrivial, the root function (or coherent state) of order n at \(w_0\) is connected with the reproducing kernel \(K_{m,n,w_0}\):
$$\begin{aligned} \mathrm {k}_{m,n,w_0}(z)= \lim _{\zeta \rightarrow w_0}K_{m,n,w_0}(\zeta ,\zeta )^{-1/2}K_{m,n,w_0}(z,\zeta ), \end{aligned}$$
where the point \(\zeta \) should approach \(w_0\) not arbitrarily but in a fashion such that the limit exists and has positive n-th derivative at \(w_0\). The root function \(\mathrm {k}_{m,n,w_0}\) will play a key role in our analysis, similar to that of the orthogonal polynomials in the context of polynomial Bergman kernels. The root functions \(\mathrm {k}_{m,n,w_0}\) all have norm equal to 1 in \(A^2_{mQ}\), except when they are trivial and have norm 0. As a result of the relation (1.2.2), we may alternatively call the root function \(\mathrm {k}_{m,n,w_0}\) a normalized partial Bergman kernel.
We now turn to some potential theory aspects. There is a notion of the spectrum\(\mathcal {S}\), also called the spectral droplet. This is the closed set defined in terms of the following obstacle problem. Let \(\mathrm {SH}({{\mathbb {C}}})\) denote the cone of all subharmonic functions on the plane \({{\mathbb {C}}}\), and consider the function
$$\begin{aligned} {\hat{Q}}(z):=\sup \big \{q(z)\,:\,\, q\in \mathrm {SH}({{\mathbb {C}}}),\,\,\text {and}\,\,\, q\le Q \,\,\,\text {on}\,\,\,{{\mathbb {C}}}\big \}. \end{aligned}$$
If Q does not have a subharmonic minorant, then the problem degenerates: \({\hat{Q}}=-\infty \) identically. However, if Q is \(C^{1,1}\)-smooth and has some modest growth at infinity, it is known that \({\hat{Q}}\in C^{1,1}\) as well, and it is a matter of definition that \({\hat{Q}}\le Q\) pointwise (see, e.g., [12]). Here, \(C^{1,1}\) denotes the standard smoothness class of differentiable functions with Lipschitz continuous first order partial derivatives. We define the spectrum (or the spectral droplet) as the contact set
$$\begin{aligned} \mathcal {S}:=\big \{z\in {{\mathbb {C}}}\,:\,{\hat{Q}}(z)=Q(z)\big \}. \end{aligned}$$
The forbidden region is the complement \(\mathcal {S}^c={{\mathbb {C}}}{\setminus } \mathcal {S}\). The spectral droplet \(\mathcal {S}\) is associated with the Bergman kernels \(K_m\). There is also the corresponding notion of a spectral droplet associated with the partial Bergman kernels \(K_{m,n,w_0}\) as defined in Sect. 2.1 below, which we now briefly outline. For \(0\le \tau <+\infty \), let \(\mathrm {SH}_{\tau ,w_0}({{\mathbb {C}}})\) denote the convex set
$$\begin{aligned} \mathrm {SH}_{\tau ,w_0}({{\mathbb {C}}})=\big \{q\in \mathrm {SH}\,({{\mathbb {C}}})\,:\, q(z)\le \tau \log |z-w_0|+\mathrm {O}(1)\,\;\text {as }\, z\rightarrow w_0\big \}, \end{aligned}$$
so that for \(\tau =0\) we recover \(\mathrm {SH}({{\mathbb {C}}})\). We consider the corresponding obstacle problem
$$\begin{aligned} \hat{Q}_{\tau ,w_0}(z)=\sup \big \{q(z)\;:\; q\in \mathrm {SH}_{\tau ,w_0}({{\mathbb {C}}}),\, q\le Q\,\,\text {on}\,\,{{\mathbb {C}}}\big \}, \end{aligned}$$
and observe that \(\tau \mapsto \hat{Q}_{\tau ,w_0}\) is monotonically decreasing pointwise. We define a family of spectral droplets as the coincidence sets
$$\begin{aligned} \mathcal {S}_{\tau ,w_0}=\big \{z\in {{\mathbb {C}}}\,:\,Q(z)=\hat{Q}_{\tau ,w_0}(z)\big \}. \end{aligned}$$
Due to the monotonicity, the droplets \(\mathcal {S}_{\tau ,w_0}\) get smaller as \(\tau \) increases, starting from \(\mathcal {S}_{0,w_0}=\mathcal {S}\) for \(\tau =0\). We now come to the connection with partial Bergman kernels. The partial Bergman density
$$\begin{aligned} \rho _{m,n,w_0}(z):=m^{-1}K_{m,n,w_0}(z,z)\,\mathrm e^{-2mQ(z)},\qquad z\in {{\mathbb {C}}}, \end{aligned}$$
may be interpreted as the normalized local dimension of the space \(A^2_{mQ,n,w_0}({{\mathbb {C}}})\), and, in addition, it can be understood as the intensity of a corresponding (possibly infinite) Coulomb gas. In the case \(n=0\) we omit the word “partial” and speak of the Bergman density. In the limit as \(m,n\rightarrow +\infty \) with \(n=m\tau \), it is known that
$$\begin{aligned} \rho _{m,n,w_0}(z)\rightarrow 2\varDelta Q(z)\,1_{\mathcal {S}_{\tau ,w_0}}(z), \end{aligned}$$
in the sense of convergence of distributions. In particular, \(\varDelta Q\ge 0\) holds a.e. on \(\mathcal {S}\). Here, we write \(\varDelta \) for differential operator \(\partial {\bar{\partial }}\), which is one quarter of the usual Laplacian. The above convergence reinforces our understanding of the droplets \(\mathcal {S}_{\tau ,w_0}\) as spectra, in the sense that the Coulomb gas may be thought to model eigenvalues (at least in the finite-dimensional case). The bulk of the spectral droplet \(\mathcal {S}_{\tau ,w_0}\) is the set
$$\begin{aligned} \mathrm {bulk}(\mathcal {S}_{\tau ,w_0}):= \{z\in \mathrm {int}(\mathcal {S}_{\tau ,w_0}):\, \varDelta Q(z)>0\}, \end{aligned}$$
where “int” stands for the operation of taking the interior.

1.3 Further background on Bergman kernel expansions

Our motivation for the above setup originates with the theory of random matrices, specifically the random normal matrix ensembles. We should mention that an analogous situation occurs in the study of complex manifolds. The Bergman kernel then appears in the study of spaces of \(L^2\)-integrable global holomorphic sections of \(L^m\), where \(L^m\) is a high tensor power of a holomorphic line bundle L over the manifold, endowed with an hermitian fiber metric h. If \(\{U_i\}_i\) is a coordinate system on a manifold, then a holomorphic section s to a line bundle L can be written in local coordinates as \(s=s_i e_i\), where \(e_i\) are local basis elements for L and \(s_i\) are holomorphic functions. The pointwise norm of a section s of \(L^m\) may be then be written as \(|s|_{h^m}^2=|s_i|^2\mathrm e^{-m\phi _i}\) on \(U_i\), for some smooth real-valued functions \(\phi _i\). Along with a volume form on the base manifold, this defines an \(L^2\) space which shares many characteristics with the spaces considered here.

The asymptotic behavior of Bergman kernels has been the subject of intense investigation. However, the understanding has largely been limited to the analysis of the kernel inside the bulk of the spectrum, in which case the kernel enjoys a full local asymptotic expansion. The pioneering work on Bergman kernel asymptotics begins with the efforts by Hörmander [16] and Fefferman [10]. Developing further the microlocal approach of Hörmander, Boutet de Monvel and Sjöstrand [7] obtain a near-diagonal expansion of the Bergman kernel close to the boundary of the given domain. Later, in the context of Kähler geometry, the influential peak section method was introduced by Tian [22]. His results were refined further by Catlin and Zelditch [8, 23], while the connection with microlocal analysis was greatly simplified in the more recent work by Berman, Berndtsson, and Sjöstrand [6]. A key element of all these methods is that the kernel is determined by the local geometry around the given point. This feature is absent when we consider the kernel near an off-spectral point or near a boundary point of the spectral droplet.

In the recent work [15], we analyze the boundary behavior of polynomial Bergman kernels, for which the corresponding spectral droplet is compact, connected, and has a smooth Jordan curve as boundary. The analysis takes the path via a full asymptotic expansion of the orthogonal polynomials, valid off a sequence of increasing compacts which eventually fill the droplet. By expanding the polynomial kernel in the orthonormal basis provided by the orthogonal polynomials, the error function asymptotics emerges along smooth spectral boundaries. This compares with the earlier work [3], which captures the boundary effects at the level of mean field asymptotics, and builds on the methods developed in [2]. Prior to the work [15], little was known about the general behavior of planar orthogonal polynomials for exponentially varying weights. However, in specific situations, such as the two-parameter weight family considered in [5], very detailed analysis was available.

The appearance of an interface for partial Bergman kernels in higher dimensional settings and in the context of complex manifolds has been observed more than once, notably in the work by Shiffman and Zelditch [21] and by Pokorny and Singer [17]. That the error function governs the transition behavior across the interface was observed later in several contexts. For instance, in [18], Ross and Singer investigate the partial Bergman kernels associated to spaces of holomorphic sections vanishing along a divisor, and obtain error function transition behavior under the assumption that the setup is invariant under a holomorphic \(S^1\)-action. This result was later extended by Zelditch and Zhou [24], in the context of \(S^1\)-symmetry. More recently, Zelditch and Zhou [25] obtain the same transition for so-called spectral partial Bergman kernels, defined in terms of the Toeplitz quantization of a general smooth Hamiltonian.

Our methods for obtaining asymptotic expansions of coherent states centered at off-spectral points do not easily extend to the higher complex dimensional setting. It appears plausible, however, that our analysis would apply in the context of sections of positive holomorphic line bundles on compact Riemann surfaces.

1.4 Off-spectral and off-diagonal asymptotics of coherent states

The main contribution of the present work, put in the planar context, is a non-local asymptotic expansion of coherent states centered at an off-spectral point. For ease of exposition, we begin with a version that requires as few prerequisites as possible for the formulation. We denote by Q(z) an admissible potential, by which we mean the following:
  1. (i)
    \(Q:{{\mathbb {C}}}\rightarrow {{\mathbb {R}}}\) is \(C^2\)-smooth, and has sufficient growth at infinity:
    $$\begin{aligned} \tau _Q:=\liminf _{|z|\rightarrow +\infty }\frac{Q(z)}{\log |z|}>0. \end{aligned}$$
  2. (ii)

    Q is real-analytically smooth and strictly subharmonic in a neighborhood of \(\partial \mathcal {S}\), where \(\mathcal {S}\) is the contact set of (1.2.3),

  3. (iii)

    there exists a bounded component \(\Omega \) of the complement \(\mathcal {S}^c ={{\mathbb {C}}}{\setminus }\mathcal {S}\) which is simply connected, and has real-analytically smooth Jordan curve boundary.

We consider the case when there exists a non-trivial off-spectral component \(\Omega \) which is bounded and simply connected, with real-analytic boundary, and pick a “root point” \(w_0\in \Omega \). To be precise, by an off-spectral component we mean a connectivity component of the complement \(\mathcal {S}^c\). This situation occurs, e.g., if the potential is strictly superharmonic in a portion of the plane, as is illustrated in Fig. 1. In terms of the metric, this means that there is a region where the curvature is negative.
Fig. 1

Illustration of the spectral droplet corresponding to the potential \(Q(z)=|z|^2-\log (a+|z|^2)\), with \(a=0.04\). The spectrum is illustrated with a thick line, and appears as the contact set between Q (solid) and the solution \(\hat{Q}\) to the obstacle function (dashed)

A word on notation. To formulate our first main result, we need the function \({{\mathcal {Q}}}_{w_0}\), which is bounded and holomorphic in the off-spectral component \(\Omega \) and whose real part equals Q along the boundary \(\partial \Omega \). To fix the imaginary part, we require that \({{\mathcal {Q}}}_{w_0}(w_0)\in {{\mathbb {R}}}\). In addition, we need the conformal mapping \(\varphi _{w_0}\) which takes \(\Omega \) onto the unit disk \({{\mathbb {D}}}\) with \(\varphi _{w_0}(w_0)=0\) and \(\varphi _{w_0}'(w_0)>0\). Since the boundary \(\partial \Omega \) is assumed to be a real-analytically smooth Jordan curve, both the function \({{\mathcal {Q}}}_{w_0}\) and the conformal mapping \(\varphi _{w_0}\) extend analytically across \(\partial \Omega \) to a fixed larger domain. By possibly considering a smaller fixed larger domain, we may assume that the extended function \(\varphi _{w_0}\) is conformal on the larger region. These observations are essential for our first main result, since we want the asymptotics to hold across the interface \(\partial \Omega \).

Theorem 1.4.1

Assuming that Q is an admissible potential, we have the following. Given a positive integer \(\kappa \) and a positive real A, there exist a neighborhood \(\Omega ^{\circledast }\) of the closure of \(\Omega \) and bounded holomorphic functions \({{\mathcal {B}}}_{j,w_0}\) on \(\Omega ^{\circledast }\) for \(j=0,\ldots ,\kappa \), as well as domains \(\Omega _{m}=\Omega _{m,A}\) with \(\Omega \subset \Omega _{m}\subset \Omega ^{\circledast }\) which meet
$$\begin{aligned} \mathrm {dist}_{{{\mathbb {C}}}}(\partial \Omega _m,\partial \Omega )\ge A\,m^{-\frac{1}{2}}(\log m)^{\frac{1}{2}}, \end{aligned}$$
such that the normalized Bergman kernel at the point \(w_0\) enjoys the asymptotic expansion
$$\begin{aligned} \mathrm {k}_m(z,w_0)= & {} \frac{K_m(z,w_0)}{K_m(w_0,w_0)^{1/2}}\\= & {} m^{\frac{1}{4}}(\varphi _{w_0}'(z))^\frac{1}{2}\mathrm e^{m{{\mathcal {Q}}}_{w_0}(z)} \bigg \{\sum _{j=0}^{\kappa }m^{-j}{{\mathcal {B}}}_{j,w_0}(z)+\mathrm {O}\big (m^{-\kappa -1}\big )\bigg \}, \end{aligned}$$
as \(m\rightarrow +\infty \), where the error term is uniform on \(\Omega _m\). Here, the main term \({{\mathcal {B}}}_{0,w_0}\) is obtained as the unique zero-free holomorphic function on \(\Omega \) which is smooth up to the boundary with \({{\mathcal {B}}}_{0,w_0}(w_0)>0\), and with prescribed boundary modulus
$$\begin{aligned} |{{\mathcal {B}}}_{0,w_0}(z)|=\pi ^{-\frac{1}{4}} [\varDelta Q(z)]^{\frac{1}{4}},\qquad z\in \partial \Omega . \end{aligned}$$
Moreover, if A is big enough, then
$$\begin{aligned} \int _{\Omega _m}|\mathrm {k}_{m,w_0}(z)|^2\mathrm e^{-2mQ(z)}\mathrm {dA}(z)=1+\mathrm {O}(m^{-\kappa }). \end{aligned}$$
As an illustration of this result, we show the Gaussian wave character of the Berezin density \(\mathrm {k}_m(w_0,w_0)^{-1}|\mathrm {k}_m(z,w_0)|^2\mathrm e^{-2mQ(z)}\) in Fig. 2.
Fig. 2

Illustration of the the Gaussian wave asymptotics of the probability density associated to the coherent state \(\mathrm {k}_{m,0,0}(z)\), where \(Q(z)=\frac{1}{2}|z|^{-2}-\frac{1}{8}{\text {Re}}(z^{-2})+\log |z|\). The root point is at the origin, and the asymptotics of Theorem 1.4.1 are valid in the domain \(\Omega \) (inside the ridge) including a neighborhood of the boundary \(\partial \Omega \) of width proportional to \((m^{-1}\log m)^{\frac{1}{2}}\)

Remark 1.4.2

Using an approach based on Laplace’s method, the functions \({{\mathcal {B}}}_{j,w_0}\) may be obtained algorithmically, for \(j=1,2,3,\ldots \), see Theorem 3.2.2 below. The details of the algorithm are analogous with the case of the orthogonal polynomials presented in [15].

Commentary to the theorem. The point \(w_0\) may be chosen as any fixed point in \(\Omega \), while the point z is allowed to vary anywhere inside the set \(\Omega _m\), which contains the entire off-spectral component \(\Omega \) as well as a shrinking neighborhood of the boundary \(\partial \Omega \). Hence, we obtain macroscopically off-diagonal asymptotics, where the points z and \(w_0\) are either both off-spectral, or where z is spectral near-boundary and \(w_0\) off-spectral, respectively. To our knowledge, this is the first instance of such asymptotics. Indeed, earlier work covers either diagonal or near-diagonal asymptotics inside the bulk of the spectrum (and to some extent near the spectral boundary). The analysis of Bergman kernel asymptotics for two macroscopically separated points in \(\mathrm {bulk}(\mathcal {S}):=\{z\in \mathrm {int}\,\mathcal {S}:\varDelta Q(z)>0\}\) appears difficult if we ask for high precision, and the same can be said for the case when \(w_0\in \Omega \) is off-spectral and \(z\in \mathrm {int}\,\mathcal {S}\) is a bulk point. To address the latter issue, we may ask what happens in Theorem 1.4.1 if z is not in the set \(\Omega _m\). Since \(\Omega _m\) captures most of the \(L^2\)-mass of the root function in view of Theorem 1.4.1, we see that the coherent state is minuscule outside \(\Omega _m\) in the \(L^2\)-sense. If we want corresponding pointwise control, we may appeal to e.g. the subharmonicity estimate of Lemma  3.2 of [1].

1.5 Expansion of partial Bergman kernels in terms of root functions

Here we make minimal assumptions on the potential \(Q:{{\mathbb {C}}}\rightarrow {{\mathbb {R}}}\): it should be continuous. As mentioned earlier, we let the root function \(\mathrm {k}_{m,n,w_0}\) be as in (1.2.2) whenever the associated optimization problem has a positive maximum, while otherwise \(\mathrm {k}_{m,n,w_0}=0\).

Theorem 1.5.1

Under the above assumptions on the potential Q, we have that
$$\begin{aligned} K_{m,n,w_0}(z,w)=\sum _{n'=n}^{+\infty }\mathrm {k}_{m,n',w_0}(z) \overline{\mathrm {k}_{m,n',w_0}(w)},\qquad (z,w)\in {{\mathbb {C}}}\times {{\mathbb {C}}}. \end{aligned}$$


For \(n',n''\ge n\) with \(n''<n'\), the functions \(\mathrm {k}_{m,n',w_0}\) and \(\mathrm {k}_{m,n'',w_0}\) are orthogonal in \(A^2_{mQ}\). If one of them is trivial, orthogonality is immediate, while if both are nontrivial, we argue as follows. Let \(\zeta ',\zeta ''\in {{\mathbb {C}}}\) be close to \(w_0\), and calculate that
$$\begin{aligned}&K_{m,n',w_0}(\zeta ',\zeta ')^{-\frac{1}{2}}K_{m,n'',w_0}(\zeta '',\zeta '')^{-\frac{1}{2}} \big \langle K_{m,n',w_0}(\cdot ,\zeta '),K_{m,n'',w_0}(\cdot ,\zeta '') \big \rangle _{mQ} \\&\quad =K_{m,n',w_0}(\zeta ',\zeta ')^{-\frac{1}{2}}K_{m,n'',w_0}(\zeta '',\zeta '')^{-\frac{1}{2}} K_{m,n',w_0}(\zeta '',\zeta ')=\mathrm {O}(|\zeta ''-w_0|^{n'-n''}), \end{aligned}$$
which tends to 0 as \(\zeta ''\rightarrow w_0\). The claimed orthogonality follows. Moreover, since the root functions \(\mathrm {k}_{m,n',w_0}\) have unit norm when nontrivial, the expression
$$\begin{aligned} \sum _{n'=n}^{+\infty }\mathrm {k}_{m,n',w_0}(z) \overline{\mathrm {k}_{m,n',w_0}(w)} \end{aligned}$$
equals the reproducing kernel function for the Hilbert space with the norm of \(A^2_{mQ}\) spanned by the vectors \(\mathrm {k}_{m,n',w_0}\) with \(n'\ge n\). It remains to check that this is the whole partial Bergman space \(A^2_{mQ,n,w_0}\). To this end, let \(f\in A^2_{mQ,n,w_0}\) be orthogonal to all the the vectors \(\mathrm {k}_{m,n',w_0}\) with \(n'\ge n\). By the definition of the space \(A^2_{mQ,n,w_0}\), this means that \(f(z)=\mathrm {O}(|z-w_0|^n)\) near \(w_0\). If f is nontrivial, there exists an integer \(N\ge n\) such that \(f(z)=c\,(z-w_0)^N +\mathrm {O}(|z-w_0|^{N+1})\) near \(w_0\), where \(c\ne 0\) is complex. At the same time, the existence of such nontrivial f entails that the corresponding root functions \(\mathrm {k}_{m,N,w_0}\) is nontrivial as well, and that \(K_{m,N,w_0}(\zeta ,\zeta )\asymp |\zeta -w_0|^{2N}\) for \(\zeta \) near \(w_0\). On the other hand, the orthogonality between f and \(\mathrm {k}_{m,N,w_0}\) gives us that
$$\begin{aligned} 0= & {} \langle f,\mathrm {k}_{m,N,w_0}\rangle _{mQ}= \lim _{\zeta \rightarrow w_0}K_{m,N,w_0}(\zeta ,\zeta )^{-\frac{1}{2}}\big \langle f, K_{m,N,w_0}(\cdot ,\zeta )\big \rangle _{mQ}\\= & {} \lim _{\zeta \rightarrow w_0}K_{m,N,w_0}(\zeta ,\zeta )^{-\frac{1}{2}} f(\zeta ) \end{aligned}$$
where we approach \(w_0\) only in an appropriate direction so that the limit exists. But this contradicts the given asymptotic behavior of \(f(\zeta )\) near \(w_0\), since \(c\ne 0\) tells us that any limit of the right-hand side would be nonzero. \(\quad \square \)

1.6 Off-spectral asymptotics of partial Bergman kernels

Given a point \(w_0\in {{\mathbb {C}}}\) we recall the partial Bergman spaces \(A^2_{mQ,n,w_0}\), and the associated spectral droplets \(\mathcal {S}_{\tau ,w_0}\) (see (1.2.5)), where we keep \(n=\tau m\). Before we proceed with the formulation of the second result, let us fix some terminology.

Definition 1.6.1

A real-valued potential Q is said to be \((\tau ,w_0)\)-admissible if the following conditions hold:
  1. (i)
    \(Q:{{\mathbb {C}}}\rightarrow {{\mathbb {R}}}\) is \(C^2\)-smooth and has sufficient growth at infinity:
    $$\begin{aligned} \tau _Q:=\liminf _{|z|\rightarrow +\infty }\frac{Q(z)}{\log |z|}>0. \end{aligned}$$
  2. (ii)

    Q is real-analytically smooth and strictly subharmonic in a neighborhood of \(\partial \mathcal {S}_{\tau ,w_0}\).

  3. (iii)

    The point \(w_0\) is an off-spectral point, i.e., \(w_0\notin \mathcal {S}_{\tau ,w_0}\), and the component \(\Omega _{\tau ,w_0}\) of the complement \(\mathcal {S}_{\tau ,w_0}^c\) containing the point \(w_0\) is bounded and simply connected, with real-analytically smooth Jordan curve boundary.

If for an interval \(I\subset [0,+\infty [\), the potential Q is \((\tau ,w_0)\)-admissible for each \(\tau \in I\) and \(\{\Omega _{\tau ,w_0}\}_{\tau \in I}\) is a smooth flow of domains, then Q is said to be \((I,w_0)\)-admissible.

Generally speaking, off-spectral components may be unbounded. It is for reasons of simplicity that we focus on bounded off-spectral components in the above definition.

A word on notation. We will assume in the sequel that Q is \((I,w_0)\)-admissible for some non-trivial compact interval \(I=I_{0}\). For an illustration of the situation, see Fig. 3.
Fig. 3

Illustration of a spectral droplet (shaded) in the Riemann sphere with two off-spectral components of the complement. The point \(w_0\) is indicated by the dot near the north pole, and the connectivity component of the off-spectral set containing \(w_0\) is denoted by \(\Omega _{w_0}\)

We let \(\varphi _{\tau ,w_0}\) denote the surjective Riemann mapping
$$\begin{aligned} \varphi _{\tau ,w_0}:\Omega _{\tau ,w_0}\rightarrow {{\mathbb {D}}},\quad \varphi _{\tau ,w_0}(0)=0,\quad \varphi _{\tau ,w_0}'(0)>0, \end{aligned}$$
which by our smoothness assumption on the boundary \(\partial \Omega _{\tau ,w_0}\) extends conformally across \(\partial \Omega _{\tau ,w_0}\). We denote by \({\mathcal {Q}}_{\tau ,w_0}\) the bounded holomorphic function in \(\Omega _{\tau ,w_0}\) whose real part equals Q on \(\partial \Omega _{\tau ,w_0}\) and is real-valued at \(w_0\). It is tacitly assumed to extend holomorphically across the boundary \(\partial \Omega _{\tau ,w_0}\). We now turn to our second main result.

Theorem 1.6.2

Assume that the potential Q is \((I_0,w_0)\)-admissible, where the interval \(I_0\) is compact. Given a positive integer \(\kappa \) and a positive real A, there exists a neighborhood \(\Omega ^{\circledast }_{\tau ,w_0}\) of the closure of \(\Omega _{\tau ,w_0}\) and bounded holomorphic functions \({{\mathcal {B}}}_{j,\tau ,w_0}\) on \(\Omega ^{\circledast }_{\tau ,w_0}\), as well as domains \(\Omega _{\tau ,w_0,m}=\Omega _{\tau ,w_0,m,A}\) with \(\Omega _{\tau ,w_0}\subset \Omega _{\tau ,w_0,m}\subset \Omega ^{\circledast }_{\tau ,w_0}\) which meet
$$\begin{aligned} \mathrm {dist}_{{{\mathbb {C}}}}(\Omega _{\tau ,w_0,m}^c, \Omega _{\tau ,w_0})\ge Am^{-\frac{1}{2}}(\log m)^{\frac{1}{2}}, \end{aligned}$$
such that the root function of order n at \(w_0\) enjoys the expansion
$$\begin{aligned} \mathrm {k}_{m,n,w_0}(z)= m^{\frac{1}{4}}(\varphi _{\tau ,w_0}'(z))^{\frac{1}{2}} (\varphi _{\tau ,w_0}(z))^n \mathrm e^{m{{\mathcal {Q}}}_{\tau ,w_0}(z)}\bigg \{\sum _{j=0}^{\kappa }m^{-j} {{\mathcal {B}}}_{j,\tau ,w_0}(z)+\mathrm {O}(m^{-\kappa -1})\bigg \} \end{aligned}$$
on \(\Omega _{\tau ,w_0,m}\) as \(n=\tau m\rightarrow +\infty \) while \(\tau \in I_0\), where the error term is uniform. Here, the main term \({{\mathcal {B}}}_{0,\tau ,w_0}\) is zero-free and smooth up to the boundary on \(\Omega _{\tau ,w_0}\) with \({{\mathcal {B}}}_{0,\tau ,w_0}(w_0)>0\), and with prescribed boundary modulus
$$\begin{aligned} |{{\mathcal {B}}}_{0,\tau ,w_0}(\zeta )|=\pi ^{-\frac{1}{4}}[\varDelta Q(\zeta )]^{\frac{1}{4}}, \qquad \zeta \in \partial \Omega _{\tau ,w_0}. \end{aligned}$$
Moreover, for A big enough, we have
$$\begin{aligned} \int _{\Omega _{\tau ,w_0,m}}|\mathrm {k}_{m,n,w_0}(z)|^2\mathrm e^{-2mQ(z)}\mathrm {dA}(z)= 1+\mathrm {O}(m^{-\kappa }) \end{aligned}$$
as \(n=\tau m\rightarrow +\infty \).

Remark 1.6.3

As in the case of the normalized Bergman kernels, the expressions \({{\mathcal {B}}}_{j,\tau , w_0}\) may be obtained algorithmically, for \(j=1,2,3,\ldots \) (see Theorem 3.2.2 below).

Commentary to the theorem.(a) As in Theorem 1.4.1, the point \(w_0\) may be chosen as any fixed point in \(\Omega \), while the point z is allowed to vary anywhere inside the set \(\Omega _{\tau ,w_0,m}\). Arguing in a fashion analogous to what we did in the commentary following Theorem 1.4.1, we may conclude that \(\mathrm {k}_{m,n,w_0}\) is small, both pointwise and in the \(L^2\)-sense, away from the set \(\Omega _{\tau ,w_0,m}\).

(b) Theorems 1.4.1 and 1.6.2 seemingly cover different instances of the root function asymptotics. In fact, in a certain sense, they are equivalent. Indeed, modulo the necessary technicalities we may obtain Theorem 1.6.2 from Theorem 1.4.1 by replacing the potential Q(z) with the singular potential \({\tilde{Q}}_{\tau ,w_0}(z)=Q(z)-\tau \log |z-w_0|\). On the other hand, the former theorem is the limit case \(\tau \rightarrow 0\) of the latter.

(c) Theorem 1.6.2 should be compared with Theorem 4.1 in the work of Shiffman and Zelditch [21]. There, an asymptotic expansion of the diagonal restriction \(K_{NP}(z,z)\) of the Bergman kernel associated to a family of scaled Newton polytopes NP is obtained, as \(N\rightarrow +\infty \). This expansion is valid deep inside the corresponding forbidden region. In one complex dimension, this is equivalent to studying a certain weighted partial Bergman density for a polynomial Bergman space. Hence there is some overlap with the present work as well as with [15]. The genuinely off-diagonal and off-spectral asymptotic expansion of the coherent states obtained here seem not to have any analogue elsewhere.

1.7 Interface transition of the density of states

As a consequence of Theorem 1.6.2, we obtain the transition behavior of the (partial) Bergman densities at emergent interfaces. We fix a bounded simply connected off-spectral component \(\Omega \) with real-analytic Jordan curve boundary and a point \(w_0\in \Omega \). Here, we want to cover both of the previously covered instances of components of \({{\mathbb {C}}}{\setminus }\mathcal {S}\) and \({{\mathbb {C}}}{\setminus }\mathcal {S}_{\tau ,w_0}\). In the second instance \(w_0\) is already given and automatically in \({{\mathbb {C}}}{\setminus }\mathcal {S}_{\tau ,w_0}\), provided that \(\tau >0\), while the first instance may be thought of as the limit case \(\tau \rightarrow 0\). We recall the partial Bergman kernel \(K_{m,n,w_0}\) of the space \(A^2_{mQ,n,w_0}\) with the ratio \(\tau =\frac{n}{m}\) fixed. The Bergman kernel \(K_m\) is as mentioned before \(K_{m,n,w_0}\) with \(n=0\). We assume that the potential Q is \((I,w_0)\)-admissible for some (short) open interval containing the point \(\tau \) if \(\tau >0\), while if \(\tau =0\), Q is admissible. Fix a point \(z_0\in \partial \Omega \), and denote by \(\nu \in {{\mathbb {T}}}\) the inward unit normal to \(\partial \Omega \) at \(z_0\). We define the rescaled density \(\varrho _m=\varrho _{m,\tau ,w_0,z_0}\) by
$$\begin{aligned} \varrho _m(\xi )=\frac{1}{2m\varDelta Q(z_0)} K_{m,\tau m,w_0}\big (z_m(\xi ), z_m(\xi )\big )\mathrm e^{-2mQ(z_m(\xi ))}, \end{aligned}$$
where the rescaled variable is given by
$$\begin{aligned} z_m(\xi )=z_0+\nu \frac{\xi }{\sqrt{2m\varDelta Q(z_0)}}. \end{aligned}$$

Corollary 1.7.1

The rescaled density \(\varrho _m\) in (1.7.1) has the limit
$$\begin{aligned} \lim _{m\rightarrow +\infty }\varrho _m(\xi )=\mathrm {erf}\,(2{\text {Re}}\xi ) =\frac{1}{\sqrt{2\pi }}\int _{2{\text {Re}}\xi }^{\infty }\mathrm e^{-t^2/2}{\mathrm d}t, \end{aligned}$$
where the convergence is uniform on compact subsets.

Remark 1.7.2

As in [15], we can use the normal families argument of [4] to obtain the convergence of the rescaled correlation kernel (modulo cocycles) at the boundary point \(z_0\) to the Fadeeva plasma kernel function.

1.8 Comments on the exposition and a guide to the proofs

In Sect. 2, we explain the proofs of the main results, which are Theorems 1.4.1 and 1.6.2 together with Corollary 1.7.1. Our approach is analogous to that of [15], and we make an effort to explain exactly what needs to be modified for the techniques to apply in the present context. As in [15], the proofs involve the construction of a flow of loops near the spectral boundary, called the orthogonal foliation flow. The flow is constructed in an iterative procedure, which produces both the terms in the asymptotic expansion of the coherent state as well as the successive terms in the expansion of the flow. The flow \(\{\gamma _t\}_t\) is constructed to have the following property. If the normal velocity is denoted by \(\upsilon _{\mathrm {n}}\), we want the Szegő kernel for the point \(w_0\) with respect to the interior of the curve \(\gamma _t\) and the induced weighted arc-length measure \(\mathrm e^{-2mQ}\upsilon _{\mathrm {n}}{\mathrm d}\sigma \) on \(\gamma _t\) to be stationary in t. In turn, this allows us to glue together the Szegő kernels to form the Bergman kernel. In order to obtain the coefficient functions of the expansions in a more straightforward fashion, we apply the method developed in [15] which is based on Laplace’s method. Another important ingredient, which allows localization to a neighborhood of each off-spectral component, is Hörmander’s \({\bar{\partial }}\)-estimate, suitably modified to the given needs. Since this is the method which allows us to change the geometry drastically, we sometimes refer to it as \({\bar{\partial }}\)-surgery.

In Sect. 3, we develop a more general version of the foliation flow lemma, which allows us to introduce a conformal factor in the area form. To avoid unnecessary repetition, both the orthogonal foliation flow and the algorithm for computing the coefficient functions in the asymptotic expansions are explained only in this more general setting. We supply a couple of applications of this extension, including a stability result for the root functions and the orthogonal polynomials under a \(\frac{1}{m}\)-perturbation of the potential Q (Theorems 3.2.1 and 3.4.2).

2 Off-Spectral Expansions of Normalized Kernels

2.1 A family of obstacle problems and evolution of the spectrum

The spectral droplets (1.2.3) and the partial analogues (1.2.5) were defined earlier. From that point of view, the spectral droplet \(\mathcal {S}\) is the instance \(\tau =0\) of the partial spectral droplets \(\mathcal {S}_{\tau ,w_0}\). We should like to point out here that the partial spectral droplet \(\mathcal {S}_{\tau ,w_0}\) emerges as the full spectrum under a perturbation of the potential Q. To see this, we consider the perturbed potential
$$\begin{aligned} {{\tilde{Q}}}(z)={{\tilde{Q}}}_{\tau ,w_0}(z):=Q(z)-\tau \log |z-w_0|, \end{aligned}$$
and observe that the coincidence set \({\tilde{\mathcal {S}}}\) for \({{\tilde{Q}}}\) equals the partial spectral droplet \(\mathcal {S}_{\tau ,w_0}\).

The following proposition summarizes some basic properties of the function \(\hat{Q}_{\tau ,w_0}\) given by (1.2.4). We refer to [12] for the necessary details.

Proposition 2.1.1

Assume that \(Q\in C^2({{\mathbb {C}}})\) is real-valued with the logarithmic growth of condition (i) of Definition 1.6.1. Then for each \(\tau \) with \(0\le \tau <\tau _Q\) and for each point \(w_0\in {{\mathbb {C}}}\), the function \(\hat{Q}_{\tau ,w_0}\) is a subharmonic function in the plane \({{\mathbb {C}}}\) which is \(C^{1,1}\)-smooth off \(w_0\), and harmonic on \({{\mathbb {C}}}{\setminus }(\mathcal {S}_{\tau ,w_0}\cup \{w_0\})\). Near the point \(w_0\) we have
$$\begin{aligned} \hat{Q}_{\tau ,w_0}(z)=\tau \log |z-w_0|+\mathrm {O}(1). \end{aligned}$$

The evolution of the free boundaries \(\partial \mathcal {S}_{\tau ,w_0}\), which is of fundamental importance for our understanding of the properties of the normalized reproducing kernels, is summarized in the following.

Proposition 2.1.2

The continuous chain of off-spectral components \(\Omega _{\tau ,w_0}\) for \(\tau \in I_0\) deform according to weighted Laplacian growth with weight \(2\varDelta Q\), that is, for \(\tau ,\tau '\in I_0\) with \(\tau '<\tau \), and for any bounded harmonic function h on \(\Omega _{\tau ,w_0}\), we have that
$$\begin{aligned} \int _{\Omega _{\tau ,w_0}{\setminus }\Omega _{\tau ',w_0}}h\,2\varDelta Q\mathrm {dA}=(\tau -\tau ')h(w_0). \end{aligned}$$
Fix a point \(\zeta \in \partial \Omega _{\tau ,w_0}\), and denote for real \(\varepsilon \) by \(\zeta _{\varepsilon ,w_0}\) the point closest to \(\zeta \) in the intersection
$$\begin{aligned} (\zeta +\nu _\tau (\zeta ){{\mathbb {R}}}_+)\cap \partial \Omega _{\tau -\varepsilon ,w_0}, \end{aligned}$$
where \(\nu _\tau (\zeta )\in {{\mathbb {T}}}\) points in the inward normal direction at \(\zeta \) with respect to \(\Omega _{\tau ,w_0}\). Then we have that
$$\begin{aligned} \zeta _{\varepsilon }=\zeta +\varepsilon \, \nu _\tau (\zeta ) \frac{|\varphi '_{\tau ,w_0}(\zeta )|}{4\varDelta Q(\zeta )} +\mathrm {O}(\varepsilon ^2),\quad \varepsilon \rightarrow 0, \end{aligned}$$
and the outer normal \(\mathrm{n}_{\tau -\varepsilon ,w_0}(\zeta _\varepsilon )\) satisfies
$$\begin{aligned} \mathrm{n}_{\tau -\varepsilon ,w_0}(\zeta _\varepsilon )=\mathrm{n}_{\tau ,w_0}(\zeta ) +\mathrm {O}(\varepsilon ). \end{aligned}$$


That the domains deform according to Hele–Shaw flow is a direct consequence of the relation of \(\Omega _{\tau ,w_0}\) to the obstacle problem. To see how it follows, assume that h is harmonic on \(\Omega _{\tau ,w_0}\) and \(C^2\)-smooth up to the boundary, and apply Green’s formula to obtain
$$\begin{aligned} \int _{\Omega _{\tau ,w_0}}h(z)\varDelta Q(z)\mathrm {dA}(z)= & {} \frac{1}{4\pi }\int _{\partial \Omega _{\tau ,w_0}} \Big (h(z)\partial _{\mathrm{n}}Q(z)-Q(z)\partial _{\mathrm{n}}h(z)\Big )|{\mathrm d}z|\\= & {} \frac{1}{4\pi }\int _{\partial \Omega _{\tau ,w_0}} \Big (h(z)\partial _{\mathrm{n}}\hat{Q}_{\tau ,w_0}(z)-\hat{Q}_{\tau ,w_0}(z) \partial _{\mathrm{n}}h(z)\Big ) |{\mathrm d}z|\\= & {} \int _{\Omega _{\tau ,w_0}}h(z) \varDelta \hat{Q}_{\tau ,w_0}\mathrm {dA}(z), \end{aligned}$$
where the latter integral is understood in the sense of distribution theory. As \(\hat{Q}_{\tau ,w_0}\) is a harmonic perturbation of \(\tau \) times the Green function for \(\Omega _{\tau ,w_0}\), the result follows by writing \(\int _{\Omega _{\tau ,w_0}{\setminus }\Omega _{\tau ',w_0}}h\varDelta Q\mathrm {dA}\) as the difference of two integrals of the above form, and by approximation of bounded harmonic functions by harmonic functions \(C^2\)-smooth up to the boundary.

The second part follows along the lines of [15, Lemma 2.3.1]. \(\quad \square \)

The study of Laplacian growth (also called Hele-Shaw flow) has a long history, see e.g. [11]. In the context of curved surfaces, it was considered by Hedenmalm and Shimorin [14], and further developed in [13] and [19]. Next, we turn to an off-spectral growth bound for weighted holomorphic functions.

Proposition 2.1.3

Assume that Q is admissible and denote by \({{\mathcal {K}}}_{\tau ,w_0}\) a closed subset of the interior of \(\mathcal {S}_{\tau ,w_0}\). Then there exist constants \(c_0\) and \(C_0\) such that for any \(f\in A^2_{mQ,n,w_0}({{\mathbb {C}}})\) it holds that
$$\begin{aligned} |f(z)|\le C_0\,m^{\frac{1}{2}}\mathrm e^{m\hat{Q}_{\tau ,w_0}} \big \Vert 1_{{{\mathcal {K}}}_{\tau ,w_0}^{\mathrm {c}}}\,f\big \Vert _{mQ},\qquad \mathrm {dist}(z,{{\mathcal {K}}}_{\tau ,w_0})\ge c_0m^{-\frac{1}{2}}. \end{aligned}$$
In case \({{\mathcal {K}}}_{\tau ,w_0}=\emptyset \), the estimate holds globally.


This follows immediately by an application of the maximum principle, together with the result of Lemma 2.2.1 in [15], originating from [1]. \(\quad \square \)

2.2 Some auxilliary functions

There are a number of functions related to the potential Q that will be useful in the sequel. We denote by \({{\mathcal {Q}}}_{\tau ,w_0}\) the bounded holomorphic function on \(\Omega _{\tau ,w_0}\) whose real part on the boundary curve \(\partial \Omega _{\tau ,w_0}\) equals Q, uniquely determined by the requirement that \({\text {Im}}{{\mathcal {Q}}}_{\tau ,w_0}(w_0)=0\). We also need the function \(\breve{Q}_{\tau ,w_0}\), which denotes the harmonic extension of \(\hat{Q}_{\tau ,w_0}\) across the boundary of the off-spectral component \(\Omega _{\tau ,w_0}\). These two functions are connected via
$$\begin{aligned} \breve{Q}_{\tau ,w_0}(z)=\tau \log |\varphi _{\tau ,w_0}(z)|+{\text {Re}}{{\mathcal {Q}}}_{\tau ,w_0}(z). \end{aligned}$$
Since we work with \((\tau ,w_0)\)-admissible potentials Q, the off-spectral component \(\Omega _{\tau ,w_0}\) is a bounded simply connected domain with real-analytically smooth Jordan curve boundary. Without loss of generality, we may hence assume that \({{\mathcal {Q}}}_{\tau ,w_0}\), \(\breve{Q}_{\tau ,w_0}\) as well as the conformal mapping \(\varphi _{\tau ,w_0}\) extend to a common domain \(\Omega _0\), containing the closure \(\bar{\Omega }_{\tau ,w_0}\). By possibly shrinking the interval \(I_0\), we may moreover choose the set \(\Omega _0\) to be independent of the parameter \(\tau \in I_0\).

2.3 Canonical positioning

An elementary but important observation for the main result of [15] is that we may ignore a compact subset of the interior of the compact spectral droplet \(\mathcal {S}_\tau \) associated to polynomial Bergman kernels when we study the asymptotic expansions of the orthogonal polynomials \(P_{m,n}\) (with \(\tau =\frac{n}{m}\)). Indeed, only the behavior in a small neighborhood of the complement \(\mathcal {S}_\tau ^{\mathrm {c}}\) is of interest, and the \({\bar{\partial }}\)-surgery method allow us to disregard the rest. The physical intuition behind this is the interpretation of the probability density \(|P_{m,n}|^2\mathrm e^{-2mQ}\) as the net effect of adding one more particle to the system, and since the positions in the interior of the droplet are already occupied we would expect the net effect to occur near the boundary. The fact that we may restrict our attention to a simply connected proper subset of the Riemann sphere \({\hat{{{\mathbb {C}}}}}\) breaks up the rigidity and allows us to apply a conformal mapping to place ourselves in an appropriate model situation.

In the present context, we consider the Riemann mapping \(\varphi _{\tau ,w_0}\) which maps the off-spectral region \(\Omega _{\tau ,w_0}\) onto the unit disk \({{\mathbb {D}}}\), and has a conformal extension to a neighborhood of \(\overline{\Omega }_{\tau ,w_0}\). We let the canonical positioning operator for the point \(w_0\) with respect to the off-spectral component \(\Omega _{\tau ,w_0}\) be given by
$$\begin{aligned} \mathbf {\Lambda }_{m,n,w_0}[v]=\varphi _{\tau ,w_0}'(z)(\varphi _{\tau ,w_0})^n \mathrm e^{m{{\mathcal {Q}}}_{\tau ,w_0}}v\circ \varphi _{\tau ,w_0}, \end{aligned}$$
and put
$$\begin{aligned} R_{\tau ,w_0}:=(Q-\breve{Q}_{\tau })\circ \varphi _{\tau ,w_0}^{-1}. \end{aligned}$$
An essential property of this operator is that \(\mathbf {\Lambda }_{m,n,w_0}\) acts isometrically from the space \(L^2(\mathrm e^{-2mR_{\tau ,w_0}})\) to \(L^2(\mathrm e^{-2mQ})\), wherever it is well-defined.

As for the coherent states, we will analyze them in terms of the canonical positioning operator \(\mathbf {\Lambda }_{m,n,w_0}\). This simplifies the geometry of \(\Omega _{\tau ,w_0}\) by mapping it to the unit disk \({{\mathbb {D}}}\), and simplifies the weight. Indeed, the function \(R_{\tau ,w_0}\) is flat to order 2 at the unit circle, and consequently the weight \(\mathrm e^{-2mR_{\tau ,w_0}}\) behaves like a Gaussian ridge.

We summarize the properties of the operator \(\mathbf {\Lambda }_{m,n,w_0}\) in the following proposition. For a potential V and a domain \(\Omega \) with \(w_0\in \Omega \), we denote by \(A^2_{mV,n,w_0}(\Omega )\) the space of holomorphic functions on \(\Omega \) which vanish to order n at \(w_0\in \Omega \), endowed with the topology of \(L^2(\mathrm {e}^{-2mV},\Omega )\). In case \(n=0\) we simply denote the space by \(A^2_{mV}(\Omega )\).

Proposition 2.3.1

Let Q be a \((\tau ,w_0)\)-admissible potential, and let \(\Omega _{\tau ,w_0}\) denote the corresponding off-spectral component. Moreover, let \(R_{\tau , w_0}\) be given by (2.3.2). Then, for \(\eta >1\) sufficiently close to 1, the operator \(\mathbf {\Lambda }_{m,n,w_0}\) defines an invertible isometry
$$\begin{aligned} \mathbf {\Lambda }_{m,n,w_0}:A^2_{mR_{\tau ,w_0}}\big ({{\mathbb {D}}}(0,\eta )\big )\rightarrow A^2_{mQ,n,w_0}(\Omega _{0}), \end{aligned}$$
if \(\Omega _0=\varphi _{\tau ,w_0}^{-1}({{\mathbb {D}}}(0,\eta ))\). The isometry property remains valid in the context of weighted \(L^2\)-spaces as well.


The conclusion is immediate by the defining normalizations of the conformal mapping \(\varphi _{\tau ,w_0}\). \(\quad \square \)

The following definition is an analogue of Definition 3.1.2 in [15]. We denote by \(\Omega _1\) a domain containing the closure of the off-spectral component \(\Omega _{\tau ,w_0}\), and let \(\chi _{0,\tau }\) denote a \(C^\infty \)-smooth cut-off function which vanishes off \(\Omega _1\), and equals 1 in a neighborhood of the closure of \(\Omega _{\tau ,w_0}\).

Definition 2.3.2

Let \(\kappa \) be a positive integer. A sequence \(\{F_{m,n,w_0}\}_{m,n}\) of holomorphic functions on \(\Omega _0\) is called a sequence of approximate root functions of ordernat\(w_0\)of accuracy\(\kappa \) for the space \(A^2_{mQ,n,w_0}\) if the following conditions are met as \(m\rightarrow +\infty \) while \(\tau =\frac{n}{m}\in {I}_{w_0}\):

(i) For all \(f\in A^2_{mQ,n+1,w_0}\), we have the approximate orthogonality
$$\begin{aligned} \int _{{{\mathbb {C}}}}\chi _{0,\tau }F_{m,n,w_0}{\bar{f}}\,\mathrm e^{-2mQ}\mathrm {dA}= \mathrm {O}(m^{-\kappa -\frac{1}{3}}\Vert p\Vert _{mQ}). \end{aligned}$$
(ii) The approximate root functions have norm approximately equal to 1,
$$\begin{aligned} \int _{{{\mathbb {C}}}}\chi _{0,\tau }^2|F_{m,n,w_0}(z)|^2\mathrm e^{-2mQ}(z)\mathrm {dA}(z)= 1+\mathrm {O}(m^{-\kappa -\frac{1}{3}}). \end{aligned}$$
(iii) The functions \(F_{m,n,w_0}\) are approximately real and positive at \(w_0\), in the sense that the leading coefficient \(a_{m,n,w_0}=\lim _{z\rightarrow w_0} (z-w_0)^{-n}F_{m,n,w_0}(z)\) satisfies \({\text {Re}}a_{m,n,w_0}>0\) and
$$\begin{aligned} \frac{{\text {Im}}a_{m,n,w_0}}{{\text {Re}}a_{m,n,w_0}}=\mathrm {O}(m^{-\kappa -\frac{1}{12}}). \end{aligned}$$

We remark that the exponents in the above error terms are chosen for reasons of convenience, related to the correction scheme of Sect. 2.5.

2.4 The orthogonal foliation flow

The (approximate) orthogonal foliation flow \(\{\gamma _{m,n,t}\}_t\) is a smooth flow of closed curves near the unit circle \({{\mathbb {T}}}\), originally formulated in [15] in the context of orthogonal polynomials. The defining property in that context is that the orthogonal polynomials \(P_{m,n}\) should be (approximately) orthogonal to the lower degree polynomials along the curves \(\Gamma _{m,n,t}=\phi _\tau ^{-1}(\gamma _{m,n,t})\) with respect to the induced measure \(\mathrm e^{-2mQ}\upsilon _{\mathrm {n}}\mathrm {ds}\), where \(\upsilon _{\mathrm {n}}\) denotes the normal velocity of the flow \(\{\Gamma _{m,n,t}\}_t\) and \(\mathrm {ds}\) denotes normalized arc length measure.

Smoothness classes and polarization of smooth functions. We fix the smoothness class of the weights under consideration, and adapt Definition 4.2.1 in [15] to the the present setting. First, we need the notion of polarization, which applies to real-analytically smooth functions. If R(z) is real-analytic, there exists a function of two complex variables, denoted by R(zw), which is holomorphic in \((z,{{\bar{w}}})\) in a neighborhood of the diagonal, with diagonal restriction \(R(z,z)=R(z)\). The function R(zw) is referred to as the polarization of R(z), and it is uniquely determined by its diagonal restriction R(z). If R(zw) is such a polarization of a function R(z) which is real-analytically smooth near the circle \({{\mathbb {T}}}\) and quadratically flat there, then \(R(z)=(1-|z|^2)^2R_0(z)\) and in polarized form \(R(z,w)=(1-z{{\bar{w}}})^2R_0(z,w)\), where \(R_0(z,w)\) is holomorphic in \((z,{{\bar{w}}})\) in a neighborhood of the diagonal where both variables are near \({{\mathbb {T}}}\). The function \(R_0(z,w)\) is then the polarization of \(R_0(z)\).

Definition 2.4.1

For real numbers \(\eta ,\sigma \) with \(\eta >1\) and \(\sigma >0\), we denote by \({\mathfrak {W}}(\eta ,\sigma )\) the class of non-negative \(C^2\)-smooth functions R on \({{\mathbb {D}}}(0,\eta )\) such that R is quadratically flat on \({{\mathbb {T}}}\) with \(\varDelta R|_{{\mathbb {T}}}>0\) and satisfies
$$\begin{aligned} \inf _{z\in {{\mathbb {D}}}(0,\eta )} R_0(z)=\frac{R(z)}{(1-|z|^2)^2}=\alpha (R)>0, \end{aligned}$$
while on the annulus
$$\begin{aligned} {\mathbb {A}}(\eta ^{-1},\eta ):=\{z\in {{\mathbb {C}}}:\,\eta ^{-1}<|z|<\eta \} \end{aligned}$$
R is real-analytically smooth and has a polarization R(zw) which is holomorphic in \((z,{{\bar{w}}})\) on the \(2\sigma \)-fattened diagonal annulus
$$\begin{aligned} \hat{{\mathbb {A}}}(\eta ,\sigma ) =\big \{(z,w)\in {\mathbb {A}}(\eta ^{-1},\eta )\times {\mathbb {A}}(\eta ^{-1},\eta )\;:\;|z-w|\le 2\sigma \big \}, \end{aligned}$$
and factors as \(R(z,w)=(1-z{{\bar{w}}})^2R_0(z,w)\), where \(R_0(z,w)\) is holomorphic \((z,{{\bar{w}}})\) on the set \(\hat{{\mathbb {A}}}(\eta ,\sigma )\), and bounded and bounded away from zero there. We say that a subset \(S\subset {\mathfrak {W}}(\eta ,\sigma )\) is a uniform family, provided that for each \(R\in S\), the corresponding \(R_0(z,w)\) is uniformly bounded and bounded away from 0 on \(\hat{{\mathbb {A}}}(\eta ,\sigma )\) while the constant \(\alpha (R)\) is uniformly bounded away from 0.

The point with above definition is that it lets us encode uniformity properties of the potentials \(R_{\tau ,w_0}\) with respect to the parameter \(\tau \) and the point \(w_0\).

For a polarized function f(zw), we let \(f_{{\mathbb {T}}}(z)\) denote the restriction of f(zz) for \(z\in {{\mathbb {T}}}\), wherever it is well-defined. We recall from Proposition 4.2.2 of [15] that if f(zw) is holomorphic in \((z,{{\bar{w}}})\) on the \(2\sigma \)-fattened diagonal annulus \(\hat{{\mathbb {A}}}(\eta ,\sigma )\) and if the parameters meet \(1<\eta \le \sqrt{1+\sigma ^2}+\sigma \), then it follows that the function \(f_{{{\mathbb {T}}}}\) extends holomorphically to the annulus \({\mathbb {A}}(\eta ^{-1},\eta )\). We may need to restrict the numbers \(\eta ,\sigma \) further. Indeed, it turns out that we need that the functions \(\log \varDelta R\), \(\hat{R}=\sqrt{R}\) (chosen to be positive inside the unit circle and negative outside) as well as \(\log (-z\partial _z\hat{R})\) have polarizations which are holomorphic in \((z,{\bar{w}})\) for \((z,w)\in \hat{{\mathbb {A}}}(\eta ,\sigma )\) and uniformly bounded there as well. If R belongs to a uniform family of \({\mathfrak {W}}(\eta _0,\sigma _0)\), then there exist \((\eta _1,\sigma _1)\) such that these properties hold for the polarizations with \(\eta =\eta _1\) and \(\sigma =\sigma _1\) (See Proposition 4.2.3 of [15]), where we moreover require that \(1<\eta _1\le \sqrt{1+\sigma _1^2}+\sigma _1\).

Lemma 2.4.2

Let \({{\mathcal {K}}}\) be a compact subset of each of the domains \(\Omega _{\tau ,w_0}\), where \(\tau \in I_0\). Then there exist constants \(\eta ,\sigma \) with \(\eta >1\) and \(\sigma >0\), such that the collection of weights \(R_{\tau ,w_0}\) with \(w_0\subset {{\mathcal {K}}}\) and \(\tau \in I_0\) is a uniform family in \({\mathfrak {W}}(\eta ,\sigma )\).

This is completely analogous to the corresponding claim in of [15], which was expressed in the context of an exterior conformal mapping.

The orthogonal foliation flow near the unit circle. The existence of the orthogonal foliation flow around the circle \({{\mathbb {T}}}\) and the asymptotic expansion of the root functions after canonical positioning are stated in the following lemma (compare with Lemma 4.1.2 in [15]). For the proof, we refer to the sketched proof of Lemma 3.3.2 below, as well as the complete proof of Lemma 4.1.2 in [15], for the case of orthogonal polynomials.

Lemma 2.4.3

Fix an accuracy parameter \(\kappa \) and let \(R\in {\mathfrak {W}}(\eta _0,\sigma _0)\). Then, if \(\eta _1\) is as above, there exist a radius \(\eta _2\) with \(1<\eta _2<\eta _1\), bounded holomorphic functions \(f_s\) on \({{\mathbb {D}}}(0,\eta _1)\) such that
$$\begin{aligned} f_{s}(z)=\sum _{0\le j\le \kappa }s^{j} B_{j}(z),\qquad z\in {{\mathbb {D}}}(0,\eta _1), \end{aligned}$$
and conformal mappings \(\psi _{s,t}\) from \({{\mathbb {D}}}(0,\rho _2)\) into the plane given bysuch that for st both close to 0, the domains \(\psi _{s,t}\big ({{\mathbb {D}}}\big )\) grow with t, while they remain contained in \({{\mathbb {D}}}(0,\eta _1)\). Moreover, for \(\zeta \in {{\mathbb {T}}}\) we have that
$$\begin{aligned}&|f_{s}\circ \psi _{s,t}(\zeta )|^2\,\mathrm e^{-2s^{-1}R\circ \psi _{s,t}} {\text {Re}}\big (\bar{\zeta }\partial _t\psi _{s,t}(\zeta )\overline{\psi _{s,t}'(\zeta )}\big )\nonumber \\&\quad =\mathrm e^{-s^{-1}t^2}\Big \{(4\pi )^{-\frac{1}{2}}+\mathrm {O}\big (|s|^{\kappa +\frac{1}{2}} +|t|^{2\kappa +1}\big )\Big \}. \end{aligned}$$
For small positive s, when t varies in the interval \([-\beta _s,\beta _s]\) with \(\beta _s:=s^{1/2}\log \frac{1}{s}\), the flow of loops \(\{\psi _{s,t}({{\mathbb {T}}})\}_t\) cover a neighborhood of the circle \({{\mathbb {T}}}\) of width proportional to \(\beta _s\) smoothly. In addition, the first term \(B_0\) is zero-free, positive at the origin, and has modulus \(|B_0|=\pi ^{-\frac{1}{4}}(\varDelta R)^{\frac{1}{4}}\) on \({{\mathbb {T}}}\). The other terms \(B_j\) are all real-valued at the origin. The implied constant in (2.4.1) is uniformly bounded, provided that R is confined to a uniform family of \({\mathfrak {W}}(\eta _0,\sigma _0)\).

2.5 \({\bar{\partial }}\)-corrections and asymptotic expansions of root functions

In this section, we supply a proof of the main result, Theorem 1.6.2. The proof consists of two parts. First, we construct a family of approximate root function of a given order and accuracy, after which we apply Hörmander-type \({\bar{\partial }}\)-estimates to correct these approximate kernels to entire functions. The precise result needed for the correction scheme runs as follows.

Proposition 2.5.1

Let \(f\in L^\infty (\mathcal {S}_{\tau ,w_0})\), where \(\tau =\frac{n}{m}\), and denote by \(u=u_{m,n,w_0}\) the norm-minimal solution in \(L^2_{m\hat{Q}_{\tau ,w_0}}\) to the problem
$$\begin{aligned} {\bar{\partial }} u=f, \end{aligned}$$
among the functions which vanish at \(w_0\) to order n: \(|u(z)|=\mathrm {O}(|z-w_0|^n)\) around \(w_0\). Then u meets the bound
$$\begin{aligned} \int _{{{\mathbb {C}}}}|u|^2\mathrm e^{-2m\hat{Q}_{\tau ,w_0}}\mathrm {dA}\le \frac{1}{2m}\int _{\mathcal {S}_{\tau ,w_0}}|f|^2 \frac{\mathrm e^{-2mQ}}{\varDelta Q}\mathrm {dA}. \end{aligned}$$

This is an immediate consequence of Corollary 2.4.2 in [15], and essentially amounts to Hörmander’s classical bound for the \({\bar{\partial }}\)-equation in the given setting.

We turn to the proof of Theorem 1.6.2.

Sketch of proof of Theorem 1.6.2

As the proof is analogous to that of Theorems 1.3.3 and 1.3.4 in [15], we supply only an outline of the proof.

The construction of approximate root functions. We apply Lemma 2.4.3 with \(s=m^{-1}\) and \(R=R_{\tau ,w_0}\) to obtain a smooth flow \(\gamma _{s,t}=\gamma _{m,n,t,w_0}\) of curves, as well as bounded holomorphic functions \(f_{s}=f_{m,n,w_0}^{\langle \kappa \rangle }\) such that the flow Eq. (2.4.1) is met. The sequence \(\{B_j\}_j\) of bounded holomorphic functions produced by the lemma actually depend (smoothly) on the parameter \(\tau \) and the root point \(w_0\), so we put \(B_j=B_{j,\tau ,w_0}\) and define
$$\begin{aligned} f_{m,n,w_0}^{\langle \kappa \rangle }=\sum _{j=0}^{\kappa }m^{-j}B_{j,\tau ,w_0}. \end{aligned}$$
If we write
$$\begin{aligned} {{\mathcal {B}}}_{j,\tau ,w_0}:=(\varphi _{\tau ,w_0}')^{\frac{1}{2}} B_{j,\tau ,w_0}\circ \varphi _{\tau ,w_0}, \end{aligned}$$
it follows that
$$\begin{aligned} \mathrm {k}_{m,n,w_0}^{\langle \kappa \rangle }:=m^{\frac{1}{4}}\mathbf {\Lambda }_{m,n,w_0} [f_{m,n,w_0}^{\langle \kappa \rangle }] \end{aligned}$$
has the claimed form. It remains to show that \(\mathrm {k}_{m,n,w_0}^{\langle \kappa \rangle }\) is an approximate root function of order n at \(w_0\) with the stated uniform error bound, and finally to show that it is close to the true normalized reproducing kernel.
We denote by \({{\mathcal {D}}}_{m,n,w_0}\) the domain covered by the foliation flow, over the parameter range \(-\delta _m\le t\le \delta _m\), where \(\delta _m:=m^{-\frac{1}{2}}\log m\). Moreover, we define the domain \({{\mathcal {E}}}_{\tau ,w_0}\) as the image of \({{\mathbb {D}}}(0,\eta _1)\) under \(\varphi _{\tau ,w_0}^{-1}\), and let \(\chi _{0}=\chi _{0,\tau ,w_0}\) denote an an appropriately chosen smooth cut-off function, which takes the value 1 on a neighborhood of \({\bar{\Omega }}_{\tau ,w_0}\) and vanishes off \({{\mathcal {E}}}_{\tau ,w_0}\). If we let \(\chi _{1}:=\chi _{0}\circ \varphi _{\tau ,w_0}^{-1}\) denote the corresponding cut-off extended to vanish off \({{\mathbb {D}}}(0,\eta _1)\), we may show that
$$\begin{aligned} \int _{{{\mathcal {D}}}_{m,n,w_0}} |f_{m,n,w_0}^{\langle \kappa \rangle }|^2\mathrm e^{-2mR_{\tau ,w_0}} \mathrm {dA}(z)=m^{-\frac{1}{2}}+\mathrm {O}(m^{-\kappa -\frac{5}{6}}), \end{aligned}$$
as follows immediately from integration of the flow equation of Lemma 2.4.3, as well as the estimate
$$\begin{aligned} \int _{{{\mathbb {C}}}{\setminus }{{\mathcal {D}}}_{m,n,w_0}}\chi _{1}^2 |f_{m,n,w_0}^{\langle \kappa \rangle }|^2\mathrm e^{-2mR_{\tau ,w_0}} \mathrm {dA}(z)=\mathrm {O}(m^{-\alpha _0\log m}), \end{aligned}$$
which holds for some \(\alpha _0>0\) as a consequence of the Gaussian ridge behavior of the function \(\mathrm e^{-2mR_{\tau ,w_0}}\) around the unit circle. We now observe that in view of (2.5.2) and (2.5.3), the isometric property of \(\mathbf {\Lambda }_{m,n,w_0}\) implies that \(\chi _0\mathrm {k}_{m,n,w_0}^{\langle \kappa \rangle }\) has norm \(1+\mathrm {O}(m^{-\kappa -\frac{1}{3}})\) in \(L^2_{mQ}\).
Let \(g\in A^2_{mQ,n,w_0}\) be given, and put \(q=m^{-\frac{1}{4}}\mathbf {\Lambda }_{m,n,w_0}^{-1}[g]\). Then, by the isometric property of \(\mathbf {\Lambda }_{m,n,w_0}\) and the estimate (2.5.3), it follows that
$$\begin{aligned}&\int _{{{\mathbb {C}}}}\chi _{0}\,\mathrm {k}_{m,n,w_0}^{\langle \kappa \rangle }(z) {\bar{g}}(z)\,\mathrm e^{-2mQ} \mathrm {dA}(z) =m^{\frac{1}{2}}\int _{{{\mathbb {C}}}}\chi _{1} f_{m,n,w_0}^{\langle \kappa \rangle }(z){\bar{q}}(z)\, \mathrm e^{-2mR_{\tau ,w_0}}\mathrm {dA}(z)\\&\quad =m^{\frac{1}{2}}\int _{{{\mathcal {D}}}_{m,n,w_0}}\chi _{1} f_{m,n,w_0}^{\langle \kappa \rangle }(z) {\bar{q}}(z)\,\mathrm e^{-2mR_{\tau ,w_0}}\mathrm {dA}(z) +\mathrm {O}\big (m^{-\frac{\alpha _0}{2}\log m+\frac{1}{4}}\Vert g\Vert _{mQ}\big ), \end{aligned}$$
where we have applied the Cauchy-Schwarz inequality together with the estimate (2.5.3) to obtain the error term.
The function \(f_{m,n,w_0}^{\langle \kappa \rangle }\) is zero-free up to the boundary in \({{\mathcal {D}}}_{m,n,w_0}\) provided that m is large enough, as the main term is bounded away from 0 in modulus, and consecutive terms are much smaller. Also, for large enough m, it holds that \(\chi _1=1\) on \({{\mathcal {D}}}_{m,n,w_0}\). We now introduce the function
$$\begin{aligned} q_{m,n}:=\frac{q}{f_{m,n}^{\langle \kappa \rangle }} \end{aligned}$$
and integrate along the flow:
$$\begin{aligned}&m^{\frac{1}{2}}\int _{{{\mathcal {D}}}_{m,n,w_0}}\chi _{1} f_{m,n,w_0}^{\langle \kappa \rangle }(z) {\bar{q}}(z)\,\mathrm e^{-2mR_{\tau ,w_0}}\mathrm {dA}(z)\nonumber \\&\quad =m^{\frac{1}{2}}\int _{{{\mathcal {D}}}_{m,n,w_0}}q_{m,n}(z)|f_{m,n,w_0}^{\langle \kappa \rangle }(z)|^2 \mathrm e^{-2mR_{\tau ,w_0}(z)}\mathrm {dA}(z)\nonumber \\&\quad =2m^{\frac{1}{2}}\int _{-\delta _m}^{\delta _m}\int _{{{\mathbb {T}}}} q_{m,n}\circ \psi _{m,n,t} (\zeta )\big |f_{m,n,w_0}^{\langle \kappa \rangle }\circ \psi _{m,n,t} (\zeta ) \big |^2\mathrm e^{-2m\,R_{\tau ,w_0}\circ \psi _{m,n,t}(\zeta )}\nonumber \\&\qquad \times {\text {Re}}\big \{\bar{\zeta }\partial _t\psi _{m,n,t}(\zeta ) \overline{\psi _{m,n,t}'(\zeta )}\big \}\mathrm {ds}(\zeta ){\mathrm d}t \nonumber \\&\quad =2m^{\frac{1}{2}}\int _{-\delta _m}^{\delta _m} \int _{{{\mathbb {T}}}}q_{m,n}\circ \psi _{m,n,t}(\zeta )\Big \{(4\pi )^{-\frac{1}{2}}\mathrm e^{-mt^2} +\mathrm {O}\big (m^{-\kappa -\frac{1}{3}}\mathrm e^{-mt^2}\big )\Big \}\mathrm {ds}(\zeta ){\mathrm d}t,\nonumber \\ \end{aligned}$$
where the last step uses the flow equation of Lemma 2.4.3. We now make the crucial observation is that for fixed t, the composition \(q_{m,n}\circ \psi _{m,n,t}\) is holomorphic, so that we may apply the mean value property:
$$\begin{aligned} \int _{{{\mathbb {T}}}}q_{m,n}\circ \psi _{m,n,t}\mathrm {ds}=q_{m,n}\circ \psi _{m,n,t}(0)=q_{m,n}(0) =\frac{q(0)}{m^{\frac{1}{4}}f_{m,n}^{\langle \kappa \rangle }(0)}. \end{aligned}$$
Consequently, it follows that
$$\begin{aligned}&2m^{\frac{1}{2}}\int _{-\delta _m}^{\delta _m} \int _{{{\mathbb {T}}}}q_{m,n}\circ \psi _{m,n,t}(\zeta )\Big \{(4\pi )^{-\frac{1}{2}}\mathrm e^{-mt^2} +\mathrm {O}\big (m^{-\kappa -\frac{1}{3}}\mathrm e^{-mt^2}\big )\Big \}\mathrm {ds}(\zeta ){\mathrm d}t \nonumber \\&\qquad =q_{m,n}(0) \big (1+\mathrm {O}(m^{-\log m})\big ) \nonumber \\&\qquad \quad +\,\mathrm {O}\bigg ( m^{-\kappa +\frac{1}{6}}\int _{-\delta _m}^{\delta _m}\int _{{{\mathbb {T}}}}|q_{m,n} \circ \psi _{m,n,t}(\zeta )|\mathrm {ds}(\zeta )\,\mathrm e^{-mt^2}{\mathrm d}t\bigg )\nonumber \\&\qquad =q_{m,n}(0) +\mathrm {O}\big (m^{-\kappa -\frac{1}{3}}\Vert g\Vert _{mQ}\big ) =\frac{q(0)}{f_{m,n}^{\langle \kappa \rangle }(0)} +\mathrm {O}\big (m^{-\kappa -\frac{1}{3}}\Vert g\Vert _{mQ}\big ). \end{aligned}$$
Here, in order to obtain the last estimate, we have used (2.5.4) backwards with \(q_{m,n}\) replaced by \(|q_{m,n}|\), and the estimate (2.5.2) to obtain
$$\begin{aligned}&\pi ^{-\frac{1}{2}}\int _{-\delta _m}^{\delta _m}\int _{{{\mathbb {T}}}}|q_{m,n} \circ \psi _{m,n,t}(\zeta )|\mathrm {ds}(\zeta )\,\mathrm e^{-mt^2}{\mathrm d}t \\&\quad =\big (1+\mathrm {O}(m^{-\kappa -\frac{1}{3}})\big )\int _{{{\mathcal {D}}}_{m,n,w_0}} \chi _{1} |f_{m,n,w_0}^{\langle \kappa \rangle }(z) q(z)|\,\mathrm e^{-2mR_{\tau ,w_0}}\mathrm {dA}(z) \le 2m^{-\frac{1}{2}}\Vert g\Vert _{mQ}. \end{aligned}$$
Now if \(q(0)=0\), that is, if g vanishes to order \(n+1\) or higher at \(w_0\), then \(\chi _0\mathrm {k}_{m,n,w_0}^{\langle \kappa \rangle }\) and g are approximately orthogonal in \(L^2_{mQ}\).

For further details regarding the above computations, we refer to Subsection 4.8 of [15].

The\({\bar{\partial }}\)-correction scheme. The approximate normalized reproducing kernels are not globally defined, and are consequently not elements of our Bergman spaces of entire functions. However, by applying the Hörmander-type \({\bar{\partial }}\)-estimate of Proposition 2.5.1, we obtain a solution \(u=u_{m,n,w_0}\) to the equation
$$\begin{aligned} {\bar{\partial }} u=\mathrm {k}_{m,n,q_0}^{\langle \kappa \rangle }{\bar{\partial }}\chi _{0} \end{aligned}$$
with exponential decay of the norm of \(u_{m,n,w_0}\) in \(L^2_{mQ}\) (for the details, see, e.g. [1, 6]). Morever, the solution u vanishes to order n at the root point \(w_0\). As a consequence, the function
$$\begin{aligned} \mathrm {k}^\star _{m,n,w_0}:=\chi _{0}\mathrm {k}_{m,n,w_0} ^{\langle \kappa \rangle }-u_{m,n,w_0} \end{aligned}$$
is also an approximate normalized partial Bergman kernel of the correct accuracy, but this time it at least is an element of the right space,
$$\begin{aligned} \mathrm {k}^\star _{m,n,w_0}\in A^2_{mQ,n,w_0}. \end{aligned}$$
We denote by \({{\mathbf {P}}}_{m,n+1,w_0}\) the orthogonal projection onto the subspace \(A^2_{mQ,n+1,w_0}\) of functions vanishing to order at least \(n+1\), and put
$$\begin{aligned} \tilde{\mathrm {k}}_{m,n,w_0}=\mathrm {k}^\star _{m,n,w_0} -{{\mathbf {P}}}_{m,n+1,w_0}\mathrm {k}^\star _{m,n,w_0}. \end{aligned}$$
Here, we have the norm estimate
$$\begin{aligned} \Vert {{\mathbf {P}}}_{m,n+1,w_0}\mathrm {k}^\star _{m,n,w_0}\Vert _{mQ} =\sup _{g\in A^2_{mQ,n+1,w_0}} \frac{|\langle g,\mathrm {k}^\star _{m,n,w_0}\rangle _{mQ}|}{\Vert g\Vert _{mQ}} =\mathrm {O}(m^{-\kappa -\frac{1}{3}}) \end{aligned}$$
which shows that the correction is very small. By construction, \(\mathrm {k}_{m,n,w_0}^{\langle \kappa \rangle }\) vanishes precisely to the order n at the root point \(w_0\). Moreover, the small perturbations \(u_{m,n,w_0}\) and \({{\mathbf {P}}}_{m,n+1,w_0}\mathrm {k}^\star _{m,n,w_0}\) vanish at least to order n at \(w_0\). It follows that \(\tilde{\mathrm {k}}_{m,n,w_0}\) vanishes precisely to the correct order, that is to say,
$$\begin{aligned} \tilde{\mathrm {k}}_{m,n,w_0}(z)=C(z-w_0)^n+\mathrm {O}(|z-w_0|^{n+1}), \end{aligned}$$
holds near \(w_0\) for some complex constant \(C\ne 0\). The constant C is close to being positive real, since the \({\bar{\partial }}\)-correction \(u_{m,n,w_0}\) is small. Indeed, we have \(C=(1+\mathrm {O}(\mathrm e^{-\alpha _1m}))\,C_1\) where the constant \(C_1>0\) may depend on all the parameters but the parameter \(\alpha _1>0\) is a uniform constant. Since the function \(\tilde{\mathrm {k}}_{m,n,w_0}\) is automatically orthogonal to \(A^2_{mQ,n+1,w_0}\), it follows that \(\tilde{\mathrm {k}}_{m,n,w_0}\) equals a scalar multiple of the true root function \(\mathrm {k}_{m,n,w_0}\):
$$\begin{aligned} \tilde{\mathrm {k}}_{m,n,w_0}=c\,\mathrm {k}_{m,n,w_0}, \end{aligned}$$
for some complex constant \(c\ne 0\). In view of the above, we conclude that \(c=(1+\mathrm {O}(\mathrm e^{-\alpha _1m}))\,c_1\), where \(c_1>0\) may depend on all the parameters. As \(\tilde{\mathrm {k}}_{m,n,w_0}(w_0)\) is approximately real, it follows that \(c=c'\gamma \), where \(c'\) is real and positive, while \(\gamma =1+\mathrm {O}(m^{-\kappa -\frac{1}{2}})\). It follows from (2.5.6) that we have the estimate
$$\begin{aligned} \big \Vert \tilde{\mathrm {k}}_{m,n,w_0}-\chi _{0}\mathrm {k}_{m,n,w_0}^{\langle \kappa \rangle } \big \Vert _{mQ}= \mathrm {O}(m^{-\kappa -\frac{1}{3}}) \end{aligned}$$
and since
$$\begin{aligned} \Vert \chi _0\mathrm {k}_{m,n,w_0}^{\langle \kappa \rangle }\Vert _{mQ}=1+\mathrm {O}(m^{-\kappa -\frac{1}{3}}) \end{aligned}$$
we obtain that positive constant \(c_1\) has the asymptotics \(c_1=1+\mathrm {O}(m^{-\kappa -\frac{1}{3}})\), which allows to say that \(\tilde{\mathrm {k}}_{m,n,w_0}\) and the true root function \(\mathrm {k}_{m,n,w_0}\), which differ by a multiplicative constant, are very close. It now follows that
$$\begin{aligned} \big \Vert \mathrm {k}_{m,n,w_0}- \chi _{0}\mathrm {k}_{m,n,w_0}^{\langle \kappa \rangle }\big \Vert _{mQ}= \mathrm {O}(m^{-\kappa -\frac{1}{3}}), \end{aligned}$$
so that \(\mathrm {k}_{m,n,w_0}\) has the desired asymptotic expansion in norm. In view of Proposition 2.1.3, the pointwise expansion is essentially immediate from the \(L^2\)-estimate, at least in the region \(\Omega _{\tau ,w_0,m}\) where
$$\begin{aligned} \mathrm {dist}_{{{\mathbb {C}}}}(z,\Omega _{\tau ,w_0})\le A\,m^{-\frac{1}{2}}(\log m)^{\frac{1}{2}}, \end{aligned}$$
which is where the functions \(\breve{Q}_{\tau ,w_0}\) and \(\hat{Q}_{\tau ,w_0}\) are comparable in the sense that
$$\begin{aligned} 0\le m(\hat{Q}_{\tau ,w_0}-\breve{Q}_{\tau ,w_0})\le A^2D\log m \end{aligned}$$
for some fixed positive constant D depending only on Q. The only remaining issue is that the error terms are slightly worse than claimed. However, by replacing \(\kappa \) with an integer larger than \(\kappa +2+A^2D\) and by deriving the expansion with the indicated higher accuracy, we conclude that the desired error terms may be obtained as well.
Turning to the norm control on the set \(\Omega _{\tau ,w_0,m}\), we note that by elementary Hilbert space methods, we have that
$$\begin{aligned} \int _{\Omega _{\tau ,w_0,m}}|\mathrm {k}_{m,n,w_0}|^2\mathrm e^{-2mQ}\mathrm {dA}= & {} \int _{\Omega _{\tau ,w_0,m}}|\mathrm {k}_{m,n,w_0}^{\langle \kappa \rangle }|^2\mathrm e^{-2mQ}\mathrm {dA}\\&+\,\mathrm {O}\Big (\Vert \mathrm {k}_{m,n,w_0}- \chi _0\mathrm {k}_{m,n,w_0}^{\langle \kappa \rangle } \Vert _{2mQ}\Big ). \end{aligned}$$
We need to calculate the integral on the right-hand side:
$$\begin{aligned}&\int _{\Omega _{\tau ,w_0,m}}|\mathrm {k}_{m,n,w_0}^{\langle \kappa \rangle }|^2\mathrm e^{-2mQ}\mathrm {dA}\\&\qquad =\int _{{{\mathbb {C}}}}|\chi _0\,\mathrm {k}_{m,n,w_0}^{\langle \kappa \rangle }|^2\mathrm e^{-2mQ}\mathrm {dA}- \int _{\mathrm {supp}(\chi _0){\setminus }\Omega _{\tau ,m,w_0}} |\chi _0\mathrm {k}_{m,n,w_0}^{\langle \kappa \rangle }|^2\mathrm e^{-2mQ}\mathrm {dA}, \end{aligned}$$
where we use that \(\chi _0=1\) on \(\Omega _{m,\tau ,w_0}\) provided that m is big enough. In view of (2.5.7) the first integral on the right-hand side equals \(1+\mathrm {O}(m^{-\kappa -\frac{1}{3}})\). For any \(z\in \mathrm {supp}(\chi _0){\setminus }\Omega _{\tau ,w_0,m}\) we have the bound \(2m(Q-\breve{Q}_{\tau ,w_0})(z)\ge A^2D\log m\) where D is the positive constant encountered previously. Consequently, we have the estimate
$$\begin{aligned}&\int _{\mathrm {supp}(\chi _0){\setminus }\Omega _m} |\chi _0\mathrm {k}_{m,n,w_0}^{\langle \kappa \rangle }|^2\mathrm e^{-2mQ}\mathrm {dA}\nonumber \\&\qquad \le C_0m^{\frac{1}{2}}|\mathrm {supp}(\chi _0){\setminus }\Omega _m|_{\mathrm {A}}\mathrm e^{-A^2D\log m} =\mathrm {O}(m^{-A^2D+\frac{1}{2}}). \end{aligned}$$
If A is chosen large enough, it follows that
$$\begin{aligned} \int _{\Omega _{\tau ,w_0,m}}|\mathrm {k}_{m,n,w_0}|^2\mathrm e^{-2mQ}\mathrm {dA}=1+\mathrm {O}(m^{-\kappa -\frac{1}{3}}). \end{aligned}$$
This completes the outline of the proof. \(\quad \square \)

Proof sketch of Theorem 1.4.1

The proof of Theorem 1.4.1 is entirely analogous to the above proof of Theorem 1.6.2, essentially amounting to putting \(\tau =0\) in the latter context. In the setting of Theorem 1.4.1, there exists already a forbidden region around the point \(w_0\), and hence permits us to consider \(\tau =0\). Indeed, the reason why we required that \(\tau >0\) in the context of Theorem 1.6.2 was to allow for the instance when the off-spectral component \(\Omega _{\tau ,w_0}\) shrinks down to the point \(\{w_0\}\) as \(\tau \rightarrow 0\). \(\quad \square \)

2.6 Interface asymptotics of the Bergman density

In this section we show how to obtain the error function transition behavior of Bergman densities at interfaces, where the interface may occurs as a result of a region of negative curvature (understood as where \(\varDelta Q<0\) holds in terms of the potential Q) or as a consequence of dealing with partial Bergman kernels. Here, we focus on the the partial Bergman kernel analysis. In fact, we may think of the first instance of the full Bergman kernel as a special case and maintain that it is covered by the presented material.

The following Corollary of the main theorem summarizes the asymptotics of normalized off-spectral partial Bergman kernels in a suitable form. The domains \(\Omega _{\tau ,w_0,m}\) are as in Theorem 1.6.2, for a given positive parameter A chosen suitably large.

Corollary 2.6.1

Under the assumptions of Theorem 1.6.2, we have the asymptotics
$$\begin{aligned}&|\mathrm {k}_{m,n,w_0}(z)|^2\mathrm e^{-2mQ(z)}\\&\quad =\pi ^{-\frac{1}{2}}m^{\frac{1}{2}} |\varphi '_{\tau ,w_0}(z)|\, \mathrm e^{-2m(Q-\breve{Q}_{\tau ,w_0})(z)}\left\{ \mathrm e^{2\mathrm {Re}\,{{\mathcal {H}}}_{Q,\tau ,w_0}(z)} +\mathrm {O}(m^{-1})\right\} , \end{aligned}$$
on the domain \(\Omega _{\tau ,w_0,m}\), as \(n=\tau m\rightarrow +\infty \) while \(\tau \in I_0\), where \({\mathcal {H}}_{Q,\tau ,w_0}\) is the bounded holomorphic function on \(\Omega _{\tau ,w_0}\) whose real part equals \(\frac{1}{4}\log (2\varDelta Q)\) on the boundary, and is real-valued at the root point \(w_0\).


In view of the decomposition (2.2.1), this is just the assertion of Theorem 1.6.2 with accuracy \(\kappa =1\). \(\quad \square \)

We proceed with a sketch of the error function asymptotics at interfaces, in particular we point out why we may carry on exactly as in the proof of Theorem 1.4.1 of [15].

Proof sketch of Corollary 1.7.1

We expand the partial Bergman kernel \(K_{m,n,w_0}\) along the diagonal in terms of the root functions \(\mathrm {k}_{m,n',w_0}\), for \(n'\ge n\). We keep \(\tau =\frac{n}{m}\) throughout. In view of Theorem 1.5.1, we have
$$\begin{aligned} K_{m,n,w_0}(z_m(\xi ),z_m(\xi ))\,\mathrm e^{-2mQ(z_m(\xi ))}=\sum _{n'=n}^{+\infty } |\mathrm {k}_{m,n',w_0}(z_m(\xi ))|^2\mathrm e^{-2mQ(z_m(\xi ))}, \end{aligned}$$
where \(z_0\in \partial \Omega _{\tau ,w_0}\) and where \(z_m(\xi )\) gives the rescaled coordinate implicitly by
$$\begin{aligned} z_m(\xi )=z_0+\nu \frac{\xi }{\sqrt{2m\varDelta Q(z_0)}}. \end{aligned}$$
The rescaled Bergman density is then obtained by
$$\begin{aligned} \varrho _m(\xi )=\frac{1}{2m\varDelta Q(z_0)} \sum _{n\ge \epsilon m}|\mathrm {k}_{m,n,w_0}(z_m(\xi ))|^2\mathrm e^{-2mQ(z_m(\xi ))}. \end{aligned}$$
In view of the assumed \((I_0,w_0)\)-admissibility, we may apply the asymptotic expansion in the main result, specifically in the form of Corollary 2.6.1. Since Proposition 2.1.2 tells us how the smooth Jordan curves \(\partial \Omega _{\tau ,w_0}\) propagate, a Taylor series expansion of the function \(Q-\breve{Q}_{\tau ,w_0}\) allows us to write the partial Bergman density approximately as a sum of translated Gaussians
$$\begin{aligned} \varrho _m(\xi )=\frac{1}{\sqrt{2\pi }} \sum _{j\ge 0}\frac{\gamma _0}{\sqrt{m}} \mathrm e^{-\frac{1}{2}(2{\text {Re}}\xi + j\frac{\gamma _0}{\sqrt{m}})^2} +\mathrm {O}\big (m^{-\frac{1}{2}}(\log m)^3\big ), \end{aligned}$$
where \(\gamma _0=\gamma _{z_0,w_0,Q}\) is a positive constant. As in the proof of Theorem 1.4.1 of [15], we proceed to interpret the above sum (2.6.2) as a Riemann sum for the integral formula for the error function:
$$\begin{aligned} \mathrm {erf}(2\mathrm {Re}\, \xi )=\frac{1}{\sqrt{2\pi }}\int _{0}^{\infty } \mathrm e^{-\frac{1}{2}(2\mathrm {Re}\,(\xi )+t)^2}{\mathrm d}t. \end{aligned}$$
This proof is complete. \(\quad \square \)

3 The Foliation Flow for More General Area Forms

3.1 More general area forms

It will be desirable to obtain some flexibility on the part of the weight \(\mathrm e^{-2mQ}\) in the expansion of Theorem 1.6.2. In particular, in the following subsections we will discuss various situations in which one needs asymptotics for root functions and orthogonal polynomials with respect to measures
$$\begin{aligned} \mathrm e^{-2mQ}V\,\mathrm {dA}, \end{aligned}$$
where V is a positive \(C^2\)-smooth function which is real-analytic in a neighborhood of the fixed smooth spectral interface of interest, which meet the polynomial growth bound
$$\begin{aligned} C_1(1+|z|^2)^{-N} \le V(z)\le C_2(1+|z|^2)^{N}, \end{aligned}$$
for some positive constants \(C_1\) and \(C_2\) and some fixed integer \(N<+\infty \). We also require that for some positive constant \(C_3\), it holds that
$$\begin{aligned} \varDelta \log V(z)\le C_3\varDelta Q(z),\qquad z\in {{\mathbb {C}}}. \end{aligned}$$
In particular, this covers working with the spherical area measure
$$\begin{aligned} \mathrm {dA}_{{\mathbb {S}}}(z):=(1+|z|^2)^{-2}\mathrm {dA}(z) \end{aligned}$$
in place of planar area measure simply by considering \(V(z)=(1+|z|^2)^{-2}\). Working with the spherical area measure has the advantage of invariance with respect to rotations and inversion. For a more general conformal factor V, we factor \(V\mathrm {dA}=V_{{\mathbb {S}}}\mathrm {dA}_{{\mathbb {S}}}\), where \(V_{{\mathbb {S}}}(z)=(1+|z|^2)^2V(z)\), and see that our weighted measure is
$$\begin{aligned} \mathrm e^{-2mQ}V_{{\mathbb {S}}}\,\mathrm {dA}_{{\mathbb {S}}}, \end{aligned}$$
which has a more invariant appearance. If we write \(\lambda (z)=z^{-1}\), the spaces of polynomials of degree at most n with respect to the \(L^2\)-space with measure \(\mathrm e^{-2mQ}V_{{\mathbb {S}}}\,\mathrm {dA}_{{\mathbb {S}}}\) becomes isometrically isomorphic to the \(L^2\)-space of rational functions on the sphere \({\mathbb {S}}\) with a pole of order at most n at the origin, with respect to the \(L^2\)-space with measure \(\mathrm e^{-2mQ\circ \lambda }V_{{\mathbb {S}}}\circ \lambda \, \mathrm {dA}_{{\mathbb {S}}}\). This provides an extension of the scale of root functions to zeros of negative order (i.e. poles), and the apparent similarities between orthogonal polynomials and root functions may be viewed in this light. This analogy goes even deeper than that. Assuming that 0 is an off-spectral point for the weighted \(L^2\)-space with measure \(\mathrm e^{-2mQ\circ \lambda }V_{{\mathbb {S}}}\circ \lambda \,\mathrm {dA}_{{\mathbb {S}}}\), we may multiply by a suitable power of the conformal mapping from the off-spectral region to the unit disk \({{\mathbb {D}}}\), which preserves the origin, to obtain a space of functions holomorphic in a neighborhood of the off-spectral region. Hörmander-type estimates for the \({\bar{\partial }}\)-equation then permit us to correct the functions so that they are entire, with small cost in norm.
We note that more general area forms appear naturally from working with perturbations of the potential Q. Indeed, if we consider \({{\tilde{Q}}}=Q-m^{-1}h\) for some smooth function h of modest growth, we have that
$$\begin{aligned} \mathrm e^{-2m{{\tilde{Q}}}}\mathrm {dA}=\mathrm e^{-2m Q}\mathrm e^{2h}\mathrm {dA}, \end{aligned}$$
which corresponds precisely to the conformal factor \(V=\mathrm e^{2h}\).

3.2 The asymptotics of root functions and orthogonal polynomials for more general area forms

Our analysis will show that the root function asymptotics of Theorem 1.6.2 holds also in the context of a general area form, with only a slight change in the structure of the coefficients \({{\mathcal {B}}}_{j,\tau ,w_0}\). Let \(A^2_{mQ,V}\) denote the weighted Bergman space of entire functions with respect to the Hilbert space norm
$$\begin{aligned} \Vert f\Vert _{mQ,V}^2:=\int _{{\mathbb {C}}}|f|^2\mathrm e^{-2mQ}V\mathrm {dA}<+\infty . \end{aligned}$$
The corresponding Bergman kernel is denoted by \(K_{m,V}\). We also need the partial Bergman spaces \(A^2_{mQ,V,n,w_0}\), consisting of the functions in \(A^2_{mQ,V}\) that vanish at \(w_0\) to order n or higher. These are closed subspaces of \(A^2_{mQ,V}\) which get smaller as n increases: \(A^2_{mQ,V,n+1,w_0}\subset A^2_{mQ,V,n,w_0}\). The successive difference spaces \(A^2_{mQ,V,n,w_0}\ominus A^2_{mQ,V,n+1,w_0}\) have dimension at most 1. If the dimension equals 1, we single out an element \(\mathrm {k}_{m,n,w_0,V}\in A^2_{mQ,V,n,w_0}\ominus A^2_{mQ,V,n+1,w_0}\) of norm 1, which has positive derivative of order n at \(w_0\). In the remaining case when the dimension equals 0 we put \(\mathrm {k}_{m,n,w_0,V}=0\). As before, we call \(\mathrm {k}_{m,n,w_0,V}\)root functions, and observe that these are the same objects we defined earlier for \(V=1\) in terms of an extremal problem.

Theorem 3.2.1

Under the assumptions of Theorem 1.6.2 and the above-mentioned assumptions on V, with respect to the interface \(\partial \Omega _{\tau ,w_0}\), we have, using the notation of the same theorem, for fixed accuracy and a given positive real A, the asymptotic expansion of the root function
$$\begin{aligned}&\mathrm {k}_{m,n,w_0,V}(z)\\&\quad =m^{\frac{1}{4}}(\varphi _{\tau ,w_0}'(z))^{\frac{1}{2}}(\varphi _{\tau ,w_0}(z))^n \mathrm e^{m{{\mathcal {Q}}}_{\tau ,w_0}} \left\{ \sum _{j=0}^{\kappa }m^{-j}{{\mathcal {B}}}_{j,\tau ,w_0,V}(z) +\mathrm {O}\big (m^{-\kappa -1}\big )\right\} , \end{aligned}$$
on the domain \(\Omega _{\tau ,w_0,m}\) which depends on A, where \(\tau =\frac{n}{m}\), and the implied constant is uniform. Here, the main term \({{\mathcal {B}}}_{0,\tau ,w_0}\) is zero-free and smooth up to the boundary on \(\Omega _{\tau ,w_0}\), positive at \(w_0\), with prescribed modulus
$$\begin{aligned}{}[{{\mathcal {B}}}_{0,\tau ,w_0,V}(z)|=\pi ^{-\frac{1}{4}}(\varDelta Q(z))^{\frac{1}{4}} V(z)^{-\frac{1}{2}},\qquad z\in \partial \Omega _{\tau ,w_0}. \end{aligned}$$

The proof of this theorem is analogous to that of Theorem 1.6.2, given that we have explained how to modify the orthogonal foliation flow with respect to the general area form in Lemma 3.3.2. The lemma is applied with \(s=m^{-1}\). We omit the necessary details.

We turn next to the computation of the coefficients \({{\mathcal {B}}}_{j,\tau ,w_0,W}\) in the above expansion. We recall that \(R_{\tau ,w_0}\) is the potential induced by Q in the canonical positioning procedure, and we put analogously
$$\begin{aligned} W_{\tau ,w_0}(z)=V\circ \varphi _{\tau ,w_0}^{-1}(z),\qquad z\in {{\mathbb {D}}}(0,\eta ). \end{aligned}$$
For the formulation, we need the orthogonal projection \({{\mathbf {P}}}_{H^2_{0}}\) of \(L^2({{\mathbb {T}}})\) onto the Hardy space \(H^2_0\) of functions f in the Hardy space \(H^2\) that vanish at the origin.

Theorem 3.2.2

In the asymptotic expansion of root functions in Theorem 3.2.1, the coefficient functions \({{\mathcal {B}}}_{j,\tau ,w_0,V}\) are obtained by
$$\begin{aligned} {{\mathcal {B}}}_{j,\tau ,w_0,V}=(\varphi _{\tau ,w_0}')^{\frac{1}{2}}B_{j,\tau ,w_0,V}\circ \varphi _{\tau ,w_0},\qquad j=1,2,3,\ldots . \end{aligned}$$
If \(H_{\tau ,w_0,V}\) denotes the unique bounded holomorphic function on \({{\mathbb {D}}}\), whose real part meets
$$\begin{aligned} {\text {Re}}H_{\tau ,w_0,V}=\frac{1}{4}\log (4\varDelta R_{\tau ,w_0}) + \frac{1}{2}\log (W_{\tau ,w_0}), \qquad \text {on } {{\mathbb {T}}}, \end{aligned}$$
with \({\text {Im}}H_{\tau ,w_0,V}(0)=0\), the functions \(B_{j,\tau ,w_0,V}\) may be obtained algorithmically as
$$\begin{aligned} B_{j,\tau ,w_0,V}=c_{j} \mathrm e^{H_{\tau ,w_0,V}} - \mathrm e^{H_{\tau ,w_0,V}} {{\mathbf {P}}}_{H^2_{0}}\big [\mathrm e^{{\bar{H}}_{\tau ,w_0,V}}F_{j}\big ] \end{aligned}$$
for some real constants \(c_{j}=c_{j,\tau ,w_0,V}\) and real-analytically smooth functions \(F_j=F_{j,\tau ,w_0,V}\) on the unit circle \({{\mathbb {T}}}\). Here, both the constants \(c_j\) and the functions \(F_j\) may be computed iteratively in terms of \(B_{0,\tau ,w_0,V},\ldots B_{j-1,\tau ,w_0,V}\).
One may further derive concrete expressions for the constants \(c_j\) and the real-analytic functions \(F_j\) in the above result, in terms of the rather complicated explicit differential operators \({{\mathbf {L}}}_k\) and \(\mathbf {M}_k\) as defined in equation (1.3.4) and Lemma 3.2.1 in [15]. We should mention that the definition of the operator \(\mathbf {M}_k\) contains a parameter l, which is allowed to assume only non-negative values. However, the same definition works also for \(l< 0\), which is necessary for the present application. In terms of the operators \(\mathbf {M}_k\) and \({{\mathbf {L}}}_k\), we have
$$\begin{aligned} F_j(\theta )=\sum _{k=1}^{j}\mathbf {M}_{k}[B_{j-k,\tau ,w_0,V} W_{\tau ,w_0}] \end{aligned}$$
andHere, the index set Open image in new window is defined aswhere we use the notation \({\mathbb {Z}}_{+,0}:=\{0,1,2,\ldots \}\). This theorem is obtained in the same fashion as Theorem 1.3.7 in [15] in the context of orthogonal polynomials, and we do not write down a proof here.

3.3 The flow modified by a conformal factor

We proceed first to modify the book-keeping slightly by formulating an analogue of Definition 2.4.1, which applies to weights after canonical positioning.

Definition 3.3.1

Let \(\eta \) and \(\sigma \) be given positive numbers, with \(\eta >1\). A pair (RW) of non-negative \(C^2\)-smooth weights defined on \({{\mathbb {D}}}(0,\eta )\) is said to belong to the class \({\mathfrak {W}}_\circledast (\eta ,\sigma )\) if \(R\in {\mathfrak {W}}(\eta ,\sigma )\) and if the weight W meets the following conditions:
  1. (i)

    W is real-analytic and zero-free in the neighborhood \({\mathbb {A}}(\eta ^{-1},\eta )\) of the unit circle \({{\mathbb {T}}}\),

  2. (ii)

    The polarization W(zw) of W extends to a bounded holomorphic function of \((z,{{\bar{w}}})\) on the \(2\sigma \)-fattened diagonal annulus \(\hat{{\mathbb {A}}}(\sigma , \eta )\), which is also bounded away from 0.

A collection S of pairs (RW) is said to be a uniform family in \({\mathfrak {W}}_\circledast (\eta ,\sigma )\) if the weights R with \((R,W)\in S\) are confined to a uniform family in \({\mathfrak {W}}(\eta ,\sigma )\), while W(zw) is uniformly bounded and bounded away from 0 in \(\hat{{\mathbb {A}}}(\eta ,\sigma )\).
Fix a pair \((\eta _0,\sigma _0)\). Just as before, we let \((\eta _1,\sigma _1)\) denote a possibly more restrictive pair of positive reals with \(\eta _1>1\) such that the relevant polarizations are hermitian-holomorphic and uniformly bounded on \(\hat{{\mathbb {A}}}(\eta _1,\sigma _1)\). In connection with this definition, we recall the bound
$$\begin{aligned} \eta _1\le \sqrt{1+\sigma _1^2}+\sigma _1, \end{aligned}$$
which guarantees that that if f(zw) is holomorphic in \((z,{{\bar{w}}})\) on the set \(\hat{{\mathbb {A}}}(\sigma _1, \eta _1)\), then the function \(f_{{{\mathbb {T}}}}(z)=f(z,{\bar{z}}^{-1})\) may be continued holomorphically to the annulus \({\mathbb {A}}(\eta _1^{-1},\eta _1)\).

We proceed with the main result of this section.

Lemma 3.3.2

Fix an accuracy parameter \(\kappa \) and let \((R,W)\in {\mathfrak {W}}_\circledast (\eta _0,\sigma _0)\). Then there exist a radius \(\eta _2\) with \(1<\eta _2<\eta _1\), bounded holomorphic functions \(f_{s}\) on \({{\mathbb {D}}}(0,\eta _1)\) of the form
$$\begin{aligned} f_{s}=\sum _{j=0}^{\kappa }s^{j} B_{j}+\mathrm {O}(s^{\kappa +1}),\qquad z\in {{\mathbb {D}}}(0,\eta _1), \end{aligned}$$
and normalized conformal mappings \(\psi _{s,t}\) on \({{\mathbb {D}}}(0,\eta _2)\) given bysuch that for st small enough it holds that the domains \(\psi _{s,t}\big ({{\mathbb {D}}}\big )\) increase with t, while they remain contained in \({{\mathbb {D}}}(0,\eta _1)\). Moreover, for \(\zeta \in {{\mathbb {T}}}\), we have
$$\begin{aligned}&|f_{s}\circ \psi _{s,t}(\zeta )|^2\,\mathrm e^{-2s^{-1}R\circ \psi _{s,t}} {\text {Re}}\big (\bar{\zeta }\partial _t\psi _{s,t}(\zeta ) \overline{\psi _{s,t}'(\zeta )}\big ) W\circ \psi _{s,t}(\zeta ) \nonumber \\&\quad =\mathrm e^{-s^{-1}t^2}\Big \{(4\pi )^{-\frac{1}{2}} +\mathrm {O}\big (|s|^{\kappa +\frac{1}{2}} +|t|^{2\kappa +1}\big )\Big \}. \end{aligned}$$
For small positive s, when t varies in the interval \([-\beta _s,\beta _s]\) with \(\beta _s:=s^{1/2}\log \frac{1}{s}\), the flow of loops \(\{\psi _{s,t}({{\mathbb {T}}})\}_t\) cover a neighborhood of the circle \({{\mathbb {T}}}\) of width proportional to \(\beta _s\) smoothly. In addition, the main term \(B_{0}\) is zero-free, positive at the origin, and has modulus \(|B_0|=\pi ^{-\frac{1}{4}}(\varDelta R)^{\frac{1}{4}}W^{-\frac{1}{2}}\) on \({{\mathbb {T}}}\), and the other terms \(B_{j}\) are all real-valued at the origin. The implied constant in (3.3.1) is uniformly bounded, provided that (RW) is confined to a uniform family of \({\mathfrak {W}}_\circledast (\eta _0,\sigma _0)\).

In order to obtain this lemma, we need to modify the algorithm which gives the original result. We proceed to sketch an outline of this modification. The omitted details are available in [15], and we try to guide the reader for easy reading.

We recall the following index sets from [15]. For an integer n, we introduceWe observe that if Open image in new window, then \(2j\le n\), and that we have the equivalenceWe endow the set Open image in new window with the ordering \(\prec _{\mathrm {L}}\) induced by the lexicographic ordering, so we agree that \((j,l)\prec _{\mathrm {L}}(a,b)\) if \(j<a\) or if \(j=a\) and \(l<b\).

Proof of Lemma 3.3.2

The conformal mappings \(\psi _{s,t}\) are assumed to have the formfor some bounded holomorphic coefficients \(\hat{\psi }_{j,l}\) and a conformal mapping
$$\begin{aligned} \psi _{0,t}=\sum _{l=0}^{+\infty }t^l \hat{\psi }_{0,l}. \end{aligned}$$
We make the following initial observation. In the limit case \(s=0\), the flow Eq. (3.3.1) of the lemma forces \(\psi _{0,t}\) to be a mapping from \({{\mathbb {D}}}\) onto the interior of suitably chosen level curves of R, and from this we may obtain the coefficients \(\hat{\psi }_{0,l}\). Indeed, if we take logarithms of both sides of the equation and multiply by s we obtain
$$\begin{aligned} s\log |f_s\circ \psi _{s,t}|^2 -2R\circ \psi _{s,t} + s\log (1-t)\log J_\Psi + s\log W\circ \psi _{s,t}=-t^2+\mathrm {O}(s),\nonumber \\ \end{aligned}$$
where the \(J_\Psi \) denotes the associated Jacobian
$$\begin{aligned} J_{\Psi _s}((1+t)\zeta ):={\text {Re}}\big (\bar{\zeta }\partial _t\psi _{s,t} \overline{\psi _{s,t}'(\zeta )}\big ),\qquad \zeta \in {{\mathbb {T}}}, \end{aligned}$$
for t in the interval \([-\beta _s,\beta _s]\), so that \(J_{\Psi _s}\) gets defined on the annulus \({\mathbb {A}}(1-\beta _s,1+\beta _s)\), provided that the coefficient functions which define \(\psi _{s,t}\) can be found. Assuming some reasonable stability with respect to the variable s as \(s\rightarrow 0^+\) in (3.3.4), we obtain in the limit that
$$\begin{aligned} 2R\circ \psi _{0,t}(\zeta )=t^2,\qquad \zeta \in {{\mathbb {T}}}. \end{aligned}$$
In particular, the loop \(\psi _{0,t}({{\mathbb {T}}})\) is a part of the level set where \(R=\frac{1}{2}t^2\). This level set consists of two disjoint simple closed curves, one on either side of \({{\mathbb {T}}}\), at least for small enough t and locally near \({{\mathbb {T}}}\). For \(t>0\), we choose the curve outside the unit circle, while for \(t<0\) we choose the other one. We normalize the mapping \(\psi _{0,t}\) so that it preserves the origin and has positive derivative there. In this fashion, the coefficients \(\hat{\psi }_{0,l}\) get determined uniquely by the level set condition. We note that the smoothness of the level curves was worked out in some detail in Proposition 4.2.5 in [15]. Moreover, the coefficient functions \(\hat{\psi }_{0,l}\) are given in terms of Herglotz integrals as in Proposition 4.6.1 of [15], with the obvious modifications.
Our next task is to obtain iteratively the coefficients \(B_{j}\) for \(j=0,1,2,\ldots \) and the higher order corrections to the conformal mapping, given in terms of the coefficients \(\hat{\psi }_{j,l}\) for \(j=1,\ldots ,\kappa \). It turns out to be advantegeous to work instead with \(h_s=\log f_s\) as the basic object of study, and make the ansatz
$$\begin{aligned} h_s(z)=\sum _{j=0}^{\kappa } s^j b_j(z),\qquad z\in {{\mathbb {D}}}(0,\eta _1), \end{aligned}$$
where \(b_j\) are bounded holomorphic functions on \({{\mathbb {D}}}(0,\eta _1)\) with \({\text {Im}}b_j(0)=0\). It follows that the coefficient function \(B_j\) may be expressed as a multivariate polynomial in the coefficients \(b_0,\ldots ,b_j\), for each \(j=0,\ldots ,\kappa \). The coefficient functions \(b_j\) are obtained by differentiating the logarithm of the flow Eq. (3.3.1). To set things up correctly, we write
$$\begin{aligned} \omega _{s,t}(\zeta ):=|f_s\circ \psi _{s,t}|^2 \mathrm e^{-2s^{-1}(R\circ \psi _{s,t}-\frac{1}{2}t^2)} (W\circ \psi _{s,t}){\text {Re}}\big (\bar{\zeta }\partial _t\psi _{s,t} \overline{\psi _{s,t}'} \big ) \end{aligned}$$
for \(\zeta \in {{\mathbb {T}}}\), where we recall that \(R\circ \psi _{0,t}=\frac{1}{2}t^2\), and put
$$\begin{aligned} \varpi _{s,t}:= & {} \log \omega _{s,t} =2{\text {Re}}h_s\circ \psi _{s,t}- \frac{2}{s}\big (R\circ \psi _{s,t}-\tfrac{1}{2} t^2\big )\nonumber \\&+\,\log {\text {Re}}({\bar{\zeta }}\partial _t\psi _{s,t}\overline{\psi _{s,t}'})+ \log W\circ \psi _{s,t}. \end{aligned}$$
We need to show that
$$\begin{aligned} \varpi _{s,t}(\zeta )= -\frac{1}{2}\log (4\pi )+\mathrm {O}(|s|^{\kappa +\frac{1}{2}} +|t|^{2\kappa +1}), \qquad \zeta \in {{\mathbb {T}}}\end{aligned}$$
when \(s\rightarrow 0\) while \(|t|\le s^{\frac{1}{2}}\log \frac{1}{s}\). Since \(\varpi _{s,t}\) should be smooth in the parameters s and t, by the multivariate Taylor formula, this is equivalent to having the system of equationsfulfilled. If, in addition, we can show that the functions \(b_j\) and \(\hat{\psi }_{j,l}\) remain holomorphic and uniformly bounded in the appropriate domains provided that (RW) remains confined to a uniform family of \({\mathfrak {W}}_\circledast (\eta _0,\sigma _0)\), the result follows.
How to solve for the unknown coefficient functions. We proceed to solve the system (3.3.9). The approach is to first express the Taylor coefficients \(\hat{\varpi }_{j,l}\) in terms of our unknown coefficient functions \(b_0,\ldots ,b_\kappa \) and \(\hat{\psi }_{j,l}\) for Open image in new window, and then, as a second step, to insert the system of Eq. (3.3.9). We determine the unknowns by an iterative procedure. At a given step in the iteration, some of the coefficient functions will be already found. We split the Eq. (3.3.9) into a term containing precicely one unknown coefficient function and a second term which contains only already determined coefficient functions. Here, we refrain from giving a complete account, which is available in [15] modulo minor modifications to fit the present setup. The higher order Taylor coefficients of the function \(\varpi _{s,t}\) with respect of s and t are given as follows. When \(j\ge 0\) and \(l\ge 1\), we have
$$\begin{aligned} 0=\hat{\varpi }_{j,l}(\zeta ) =-2(4\varDelta R(\zeta ))^{\frac{1}{2}}\,{\text {Re}}({\bar{\zeta }}\hat{\psi }_{j+1,l-1}(\zeta )) +\mathfrak {T}_{j,l,W}(\zeta ), \qquad \zeta \in {{\mathbb {T}}},\nonumber \\ \end{aligned}$$
while for \(j\ge 1\) and \(l=0\), we have
$$\begin{aligned} 0=\hat{\varpi }_{j,0}(\zeta ) =2{\text {Re}}b_j(\zeta ) +\mathfrak {T}_{j,0,W}(\zeta ),\qquad \zeta \in {{\mathbb {T}}}. \end{aligned}$$
Here, we inserted the Eq. (3.3.9) for added convenience. The expressions \(\mathfrak {T}_{j,l,W}\) are real-valued real-analytic functions which are uniformly bounded while (RW) remains in a uniform family in \({\mathfrak {W}}_\circledast (\eta _0,\sigma _0)\), and may be explicitly written down using the multivariate Faà di Bruno’s formula. The crucial point for us is the dependence structure of the functions \(\mathfrak {T}_{j,l,W}\), which remains the same as in the algorithm for the orthogonal polynomials:
(\(\mathfrak {T}\)-i)

For\(l\ge 1\), the function\(\mathfrak {T}_{j,l,W}\)is an expression in terms of the functions\(b_0,\ldots ,b_j\)as well\(\hat{\psi }_{p,q}\)for indicesOpen image in new windowwith\((p,q)\prec _{\mathrm {L}}(j+1,l-1)\), and also involvesRandW, whereas

(\(\mathfrak {T}\)-ii)

For\(l=0\), the function\(\mathfrak {T}_{j,0,W}\)is an expression in terms of\(b_0,\ldots ,b_{j-1}\)and\(\hat{\psi }_{p,q}\)for indicesOpen image in new windowwith\((p,q)\prec _{\mathrm {L}}(j+1,0)\), and also involvesRandW.

The dependence is basically multivariate polynomial dependence, with the need to allow also for partial derivatives of some of the given expressions. This aspect is described in great detail in terms of the polynomial complexity classes introduced in Section 4.8 of [15]. That (\(\mathfrak {T}\)-i)-(\(\mathfrak {T}\)-ii) hold follows by noticing that Propositions 4.2.5, 4.4.1 and 4.6.1 in [15] remain basically unchanged, while Propositions 4.7.1, 4.9.1, 4.10.1 and 4.12.1 in [15] require the obvious modifications related to our replacing the weight \(\mathrm e^{-2mR}\) on the exterior disk \({{\mathbb {D}}}_{\mathrm e}(0,\rho )\) by a weight \(\mathrm e^{-2mR} W\) on the disk \({{\mathbb {D}}}(0,\eta )\). In particular, it is important that the real-analytic function W is strictly positive in a fixed neighborhood of the unit circle \({{\mathbb {T}}}\), so that \(\log W\) is a real-analytic function in the same region. A natural approach to the computations is to write
$$\begin{aligned} \varpi ^{\mathrm {I}}_{s,t}=2{\text {Re}}h_s\circ \psi _{s,t} -\frac{2}{s}\big (R\circ \psi _{s,t}-\tfrac{1}{2} t^2\big ) +\log \big ({\bar{\zeta }}\partial _t\psi _{s,t}\overline{\psi _{s,t}'(\zeta )}\big ) \end{aligned}$$
which is essentially the expression which gets expanded in [15], and introduce the modification \(\varpi _{s,t}^{\mathrm {II}}=\log W\circ \psi _{s,t}\), since then \(\varpi _{s,t}=\varpi _{s,t}^{\mathrm {I}}+\varpi _{s,t}^{\mathrm {II}}\). If we introduce the notation
$$\begin{aligned} \hat{\varpi }_{j,l}^{\mathrm {I}}= \frac{\partial _{s}^j\partial _t^l\hat{\varpi }_{j,l}^{\mathrm {I}}}{j!l!} \Big \vert _{s=t=0}, \qquad \hat{\varpi }_{j,l}^{\mathrm {II}} =\frac{\partial _{s}^j\partial _t^l\hat{\varpi }_{j,l}^{\mathrm {II}}}{j!l!} \Big \vert _{s=t=0}, \end{aligned}$$
it follows immediately that \(\hat{\varpi }_{j,l}^{\mathrm {I}}\) are as in Proposition 4.12.1 of [15], while the latter may be computed explicitly using the multivariate Faà di Bruno formula [9]. The leading behavior of \(\hat{\varpi }_{j,l}\) comes from the contribution of \(\hat{\varpi }_{j,l}^{\mathrm {I}}\), which is as in [15], while it is easily verified that \(\hat{\varpi }_{j,l}^{\mathrm {II}}\) for Open image in new window is an expression in terms of the coefficient functions \(\hat{\psi }_{p,q}\) with \(p\le j\) and \(q\le l\) and of some partial derivatives of \(\log W\). But then in particular Open image in new window with \((p,q)\prec _{\mathrm {L}}(j,l+1)\). It is now immediate that the remainders \(\mathfrak {T}_{j,l,W}\) have the indicated properties.
Sketch of the algorithm. We sketch the solution algorithm below, and indicate where the necessary modifications to the corresponding steps in [15] are required. We need the notation \(\Gamma _t\) for the loop with
$$\begin{aligned} R(z)=\tfrac{1}{2}t^2,\qquad z\in \Gamma _t. \end{aligned}$$
The loop is a perturbation of the unit circle \({{\mathbb {T}}}\) for t close to 0. However, for \(t\ne 0\) there are two such loops, one which is inside the circle \({{\mathbb {T}}}\), and one which is outside. For \(t>0\) we choose the outside loop, whereas for \(t<0\) we instead choose the inside loop. This way, the domain enclosed by \(\Gamma _t\) grows with t.
Step 1. Take as above \(\psi _{0,t}\) to be the conformal mapping \(\psi _{0,t}:{{\mathbb {D}}}\rightarrow D_{t}\), where \(\psi _{0,t}(0)=0\) and \(\psi _{0,t}'(0)>0\), and \(D_{t}\) denotes the bounded domain enclosed by the curve \(\Gamma _t\). It follows from the smoothness of the flow of the level curves \(\Gamma _t\) (for details see Proposition 4.2.5 in [15]) that we have an expansion
$$\begin{aligned} \psi _{0,t}=\sum _{l=0}^{+\infty }t^l\hat{\psi }_{0,l}, \end{aligned}$$
which determines the coefficient functions \(\hat{\psi }_{0,l}\) for all \(l=0,1,2,\ldots \) (see Proposition 4.6.1 [15]). In particular, we have
$$\begin{aligned} {\text {Re}}({\bar{\zeta }} \hat{\psi }_{0,1}(\zeta ))=(4\varDelta R(\zeta ))^{-\frac{1}{2}},\qquad \zeta \in {{\mathbb {T}}}. \end{aligned}$$
Step 2. The Eq. (3.3.9) for \((j,l)=(0,0)\) together with (3.3.12) gives that
$$\begin{aligned} 2{\text {Re}}b_0(\zeta )-\frac{1}{2}\log (4\varDelta R(\zeta ))\, +\log W(\zeta )=-\frac{1}{2}\log (4\pi ),\qquad \zeta \in {{\mathbb {T}}}, \end{aligned}$$
which in its turn determines \(b_{0}\). Indeed, the only holomorphic function which is real-valued at the origin and meets this equation is
$$\begin{aligned} b_{0}= -\frac{1}{4}\log (4\pi )+\frac{1}{4}{{\mathbf {H}}}_{{{\mathbb {D}}}}\big [\log (4\varDelta R)-2\log W\big ] \quad \text {on }\,\,{{\mathbb {T}}}, \end{aligned}$$
where the Herglotz operator \({{\mathbf {H}}}_{{{\mathbb {D}}}}\) is given by
$$\begin{aligned} {{\mathbf {H}}}_{{\mathbb {D}}}[f](z):=\int _{{\mathbb {T}}}\frac{1+{{\bar{w}}} z}{1-{{\bar{w}}} z}\,f(w)\,\mathrm {ds}(w),\qquad z\in {{\mathbb {D}}}. \end{aligned}$$
The definition of the Herglotz operator is extended to the boundary \({{\mathbb {T}}}\) via nontangential boundary values, and, whenever possible, across the circle \({{\mathbb {T}}}\) by analytic continuation. As a consequence of the assumptions on the potential Q and the conformal factor V as well as the regularity of the conformal mapping \(\varphi _{\tau ,w_0}\), the function W is real-analytic and positive in a neighborhood of \({{\mathbb {T}}}\), and moreover the pair (RW) meets the regularity requirements of Definition 3.3.1. This means that essentially we are in the same setting as explained in [15]. For instance, we may conclude that the function \(b_{0}\) given by (3.3.13) extends as a bounded holomorphic function on a disk \({{\mathbb {D}}}(0,\eta _1)\) with radius \(\eta _1>1\).

We proceed to Step 3 with \(j_0=1\). We note that Open image in new window entails that \(0\le j\le \kappa \).

Step 3. To begin with, we have an integer \(1\le j_0\le \kappa \) for which we have already successfully determined the coefficient functions \(b_j\) for \(0\le j\le j_0-1\) as well as \(\hat{\psi }_{j,l}\) for all Open image in new window with \((j,l)\prec _{\mathrm {L}}(j_0,0)\). Note that is known to be so for \(j_0=1\), by Steps 1 and 2. In this step, we intend to determine all the coefficient functions \(\hat{\psi }_{j,l}\) with Open image in new window and \((j,l)\prec _{\mathrm {L}}(j_0+1,0)\), and keep track of the Eq. (3.3.9) with Open image in new window that get solved along the way. The induction hypothesis includes the assumption that the system of Eq. (3.3.9) holds for all Open image in new window with \(l\ge 1\) and \((j,l)\prec _{\mathrm {L}}(j_0-1,1)\) (this is vacuous for \(j_0=1\)), as well as for (jl) with \(0<j<j_0\) and \(l=0\).

We need only find \(\hat{\psi }_{j,l}\) for Open image in new window with \(j=j_0\). We do this by induction in the parameter l, starting with \(l=0\). Assume for the moment that it has been carried out for all \(l=0,\ldots ,l_0-1\). The coefficient \(\hat{\psi }_{j_0,l_0}\) which we are looking for appears as the leading term in the Eq. (3.3.10) corresponding to \((j,l)=(j_0-1,l_0+1)\), which reads
$$\begin{aligned} -2(4\varDelta R)^{\frac{1}{2}}{\text {Re}}(\bar{\zeta }\hat{\psi }_{j_0,l_0})+\mathfrak {T}_{j_0-1,l_0+1}=0 \quad \text {on }\,{{\mathbb {T}}}, \end{aligned}$$
where \(\mathfrak {T}_{j_0-1,l_0+1}\) is an expression in the already determined coefficient functions, by property (\(\mathfrak {T}\)-i). We solve for the coefficient function \(\hat{\psi }_{j_0,l_0}\) in terms of the Herglotz operator:
$$\begin{aligned} \hat{\psi }_{j_0,l_0}=\tfrac{1}{2}\zeta {{\mathbf {H}}}_{{{\mathbb {D}}}} \bigg [\frac{\mathfrak {T}_{j_0-1,l_0+1,W}}{(4\varDelta R)^{\frac{1}{2}}}\bigg ]. \end{aligned}$$
As for the first step \(l_0=0\), the above formula applies in that case as well. What is important is that then, the function \(\mathfrak {T}_{j_0-1,1,W}\) only depends data known at the beginning of Step 3, in view of (\(\mathfrak {T}\)-i). By the correspondence (3.3.3) and the induction hypothesis, we have made sure that the system of Eq. (3.3.9) holds for all pairs Open image in new window with \(l\ge 1\) and \((j,l)\prec _{\mathrm {L}}(j_0,1)\) as well as for (jl) with \(0<j<j_0\) and \(l=0\). This completes Step 3.
Step 4. After having completed Step 3, we find ourselves in the following situation: the coefficient functions \(b_j\) are known for \(j< j_0\), while \(\hat{\psi }_{j,l}\) are all known for Open image in new window with \((j,l)\prec _{\mathrm {L}}(j_0+1,0)\). We proceed to determine \(b_{j_0}\) using the Eq. (3.3.11) with index \((j,l)=(j_0,0)\). That equation asserts that
$$\begin{aligned} 2{\text {Re}}b_{j_0}+\mathfrak {T}_{j_0,0,W}=0\quad \text {on }\,\,\,{{\mathbb {T}}}, \end{aligned}$$
where \(\mathfrak {T}_{j_0,0,W}\) depends on the known data, by property (\(\mathfrak {T}\)-ii). We solve for \(b_{j_0}\) using the formula
$$\begin{aligned} b_{j_0}=-\tfrac{1}{2}{{\mathbf {H}}}_{{{\mathbb {D}}}_\mathrm e}[\mathfrak {T}_{j_0,0}], \end{aligned}$$
and we get a function \(b_{j_0}\) with \(b_{j_0}(0)\in {{\mathbb {R}}}\). In view of Step 3, this choice makes sure that (3.3.9) holds for all pairs (jl) with \(l=0\) and \(0<j\le j_0\), as well as for all Open image in new window with \(l\ge 1\) and \((j,l)\prec _{\mathrm {L}}(j_0,1)\). This completes Step 4, and we have extended the set of known data so that we may proceed to Step 3 with \(j_0\) replaced with \(j_0+1\). Here, we should insert a word on smoothness. If f is real-analytically smooth along \({{\mathbb {T}}}\), then \({{\mathbf {H}}}_{{\mathbb {D}}}[f]\) gets to be holomorphic in a larger disk \({{\mathbb {D}}}(0,\eta )\) for some \(\eta >1\). Hence real-analytic smoothness carries over to the next step in the iterative procedure.

The above algorithm continues until all the unknowns have been determined, up to the point where the whole index set Open image in new window has been exhausted. In the process, we have in fact solved the system of Eq. (3.3.9) for all indices Open image in new window. This means that if we form \(h_s\) and \(\psi _{s,t}\) in terms of the functions \(b_j\) and \(\hat{\psi }_{j,l}\) obtained with the above algorithm, and put \(f_s=\exp (h_s)\), we find by exponentiating the Taylor series expansion of \(\varpi _{s,t}\) in the parameters s and t that the flow Eq. (3.3.1) holds. This completes the sketch of the proof of the lemma. \(\quad \square \)

3.4 Orthogonal polynomial asymptotics for a general area form

The results concerning root functions for more general area forms apply also to the setting of orthogonal polynomials. Although many things are pretty much the same, we make an effort to explain what the precise result is in this context.

We need an appropriate notion of admissibility of the potential Q which applies to the setting of orthogonal polynomials. We recall that the spectral droplet \(\mathcal {S}_\tau \) is the contact set
$$\begin{aligned} \mathcal {S}_\tau =\{z\in {{\mathbb {C}}}:\,{\hat{Q}}_\tau (z)=Q(z)\}, \end{aligned}$$
which is typically compact, where \({\hat{Q}}_\tau \) is the function
$$\begin{aligned} {\hat{Q}}_\tau (z):=\sup \big \{q(z):\,q\in \mathrm {SH}({{\mathbb {C}}}), \,\,q\le Q\,\,\,\text {on} \,\,\,{{\mathbb {C}}},\,\,\,q(z)\le \tau \log (|z|+1)+\mathrm {O}(1)\big \}. \end{aligned}$$

Definition 3.4.1

We say that the potential Q is \(\tau \)-admissible if the following conditions are met:
  1. (i)

    \(Q:{{\mathbb {C}}}\rightarrow {{\mathbb {R}}}\) is \(C^2\)-smooth,

  2. (ii)
    Q meets the growth bound
    $$\begin{aligned} \tau _Q:=\liminf _{|z|\rightarrow +\infty }\frac{Q(z)}{\log |z|}>\tau >0, \end{aligned}$$
  3. (iii)

    The unbounded component \(\Omega _\tau \) of the complement of the spectral droplet \(\mathcal {S}_\tau \) is simply connected on the Riemann sphere \(\hat{{{\mathbb {C}}}}\), with real-analytic Jordan curve boundary,

  4. (iv)

    Q is strictly subharmonic and real-analytically smooth in a neighborhood of the boundary \(\partial \Omega _\tau \).

As before, we consider measures \(\mathrm e^{-2mQ}V\mathrm {dA}\), where the conformal factor V is assumed to be nonnegative, positive near the curve \(\partial \Omega _\tau \), and real-analytically smooth in a neighborhood of \(\partial \Omega _\tau \) with at most polynomial growth or decay at infinity (3.1.1). We denote by \(\phi _\tau \) the surjective conformal mapping
$$\begin{aligned} \phi _\tau :\Omega _\tau \rightarrow {{\mathbb {D}}}_\mathrm e, \end{aligned}$$
which preserves the point at infinity and has \(\phi _\tau '(\infty )>0\). The function \({{\mathcal {Q}}}_\tau \) is defined as the bounded holomorphic function on \(\Omega _\tau \) whose real part equals Q on the boundary \(\partial \Omega _\tau \), and whose imaginary part vanishes at infinity.
The orthogonal polynomials \(P_{m,n,V}\) have degree n, positive leading coefficient, and unit norm in \(A^2_{mQ,V}\). They have the additional property that
$$\begin{aligned} \langle P_{m,n,V},P_{m,n',V}\rangle _{mQ,V}=0,\qquad n\ne n'. \end{aligned}$$
We will work with \(\tau =\frac{n}{m}\).

Theorem 3.4.2

Suppose Q is \(\tau \)-admissible for \(\tau \in I_0\), where \(I_0\) is a compact interval of the positive half-axis. Suppose in addition that V meets the above regularity requirements. Given a positive integer \(\kappa \) and a positive real A, there exists a neighborhood \(\Omega ^{\circledast }_{\tau }\) of the closure of \(\Omega _{\tau }\) and bounded holomorphic functions \({{\mathcal {B}}}_{j,\tau ,V}\) on \(\Omega ^{\circledast }_{\tau }\), as well as domains \(\Omega _{\tau ,m}=\Omega _{\tau ,m,\kappa ,A}\) with \(\Omega _{\tau }\subset \Omega _{\tau ,m}\subset \Omega ^{\circledast }_{\tau }\) which meet
$$\begin{aligned} \mathrm {dist}_{{{\mathbb {C}}}}(\Omega _{\tau ,m}^c, \Omega _{\tau })\ge Am^{-\frac{1}{2}}(\log m)^{\frac{1}{2}}, \end{aligned}$$
such that the orthogonal polynomials enjoy the expansion
$$\begin{aligned} P_{m,n,V}(z) =m^{\frac{1}{4}}(\phi _{\tau }'(z))^{\frac{1}{2}}(\phi _{\tau }(z))^n \mathrm e^{m{{\mathcal {Q}}}_{\tau }} \left\{ \sum _{j=0}^{\kappa }m^{-j}{{\mathcal {B}}}_{j,\tau ,V}(z)+ \mathrm {O}\big (m^{-\kappa -1}\big )\right\} , \end{aligned}$$
on \(\Omega _{\tau ,m}\) as \(n=\tau m\rightarrow +\infty \) while \(\tau \in I_0\), where the error term is uniform. Here, the main term \({{\mathcal {B}}}_{0,\tau ,V}\) is zero-free and smooth up to the boundary on \(\Omega _{\tau }\), positive at infinity, with prescribed modulus
$$\begin{aligned} |{{\mathcal {B}}}_{0,\tau ,V}(\zeta )|=\pi ^{-\frac{1}{4}}[\varDelta Q(\zeta )]^{\frac{1}{4}} V(\zeta )^{-\frac{1}{2}},\qquad \zeta \in \partial \Omega _\tau . \end{aligned}$$

In view of Lemma 3.3.2, the construction of approximately orthogonal quasi-polynomials may be carried out in the same way as in the case when \(V=1\).

3.5 \({\bar{\partial }}\)-surgery in the context of more general area forms

As for the \({\bar{\partial }}\)-surgery technique in the presence of a conformal factor V, we need to mention some modifications that are required. We recall that V meets the conditions (3.1.1) and (3.1.2) and put
$$\begin{aligned} Q_m=Q-\frac{1}{2m}\log V. \end{aligned}$$
We note that by (3.1.2), the modified potential \(Q_m\) is subharmonic and that \(Q_m\) is strictly subharmonic uniformly in a neighborhood of \(\partial \Omega _\tau \), provided that m is large enough. Here, \(\Omega _\tau \) is the unbounded component of the off-spectral set \(\mathcal {S}_\tau ^c\). Moreover, it follows from the growth and decay bounds (3.1.1) that \(Q_m\) meets the required growth bound for large enough m. We consider the solution \(\hat{Q}_{\tau ,m}\) to the obstacle problem
$$\begin{aligned} \hat{Q}_{\tau ,m}(z)=\sup \big \{u(z):u\in \mathrm {SH}_\tau ({{\mathbb {C}}}),\, u(z)\le Q_m(z)\text { on }{{\mathbb {C}}}\big \}. \end{aligned}$$
The standard regularity theory applies, and implies that \(\hat{Q}_{\tau ,m}\) is \(C^{1,1}\)-smooth. By our smoothness assumptions on \(\mathcal {S}_\tau \), as well as the assumed regularity of the potential Q and the conformal factor V, the coincidence set
$$\begin{aligned} \mathcal {S}_{\tau ,m}:=\big \{z\in {{\mathbb {C}}}: \hat{Q}_{\tau ,m}(z)=Q(z)\big \} \end{aligned}$$
moves only very little away from \(\mathcal {S}_\tau \) for large m. Indeed, by the main theorem of [20], the free boundary moves with a smooth normal velocity under a smooth perturbation, and it follows that \(\partial \mathcal {S}_{\tau ,m}\) is contained in a \(\mathrm {O}(m^{-1})\)-neighborhood of \(\partial \mathcal {S}_\tau \). We note that \(\hat{Q}_{\tau ,m}\) is automatically harmonic off \(\mathcal {S}_{\tau ,m}\) and that \(\varDelta \hat{Q}_{\tau ,m}\ge 0\) holds generally.
We now apply Hörmander’s classical \({\bar{\partial }}\)-estimate with the obstacle solution \(\hat{Q}_{\tau ,m}\) as potential. Let \(f\in L^\infty (\mathcal {S}_{\tau ,m})\), which vanishes whenever \(\varDelta \hat{Q}_{\tau ,m}=\varDelta Q_m=0\) on \(\mathcal {S}_{\tau ,m}\). Then there exists a solution u to the problem
$$\begin{aligned} {\bar{\partial }} u=f \end{aligned}$$
which meets the \(L^2\)-bound
$$\begin{aligned} \int _{{\mathbb {C}}}|u|^2\mathrm e^{-2m\hat{Q}_{\tau ,m}}\mathrm {dA}\le \frac{1}{2m}\int _{\mathcal {S}_{\tau ,m}}|f|^2 \frac{\mathrm e^{-2m Q}V}{\varDelta Q-\frac{1}{2m}\varDelta \log V}\mathrm {dA}, \end{aligned}$$
provided that the right-hand side is finite. Moreover, since u is holomorphic off the compact set \(\mathcal {S}_{\tau ,m}\), this estimate implies a polynomial growth bound \(u(z)=\mathrm {O}(|z|^{n-1})\) as \(|z|\rightarrow +\infty \).

After these modifications, the \({\bar{\partial }}\)-surgery may be performed as in the earlier context of the planar area measure \(\mathrm {dA}\). For the details, we refer to Section 4.9 in [15] and the comments in Sect. 2.5 above.



Open access funding provided by Royal Institute of Technology. We wish to thank Steve Zelditch, Bo Berndtsson, and Robert Berman for their interest in this work. In addition we should thank the anonymous referee for his or her helpful efforts. Funding was provided by Vetenskapsrådet (Grant No. 2016-04912).


  1. 1.
    Ameur, Y., Hedenmalm, H., Makarov, N.: Berezin transform in polynomial Bergman spaces. Commun. Pure Appl. Math. 63(12), 1533–1584 (2010)MathSciNetCrossRefGoogle Scholar
  2. 2.
    Ameur, Y., Hedenmalm, H., Makarov, N.: Fluctuations of random normal matrices. Duke Math. J. 159, 31–81 (2011) MathSciNetCrossRefGoogle Scholar
  3. 3.
    Ameur, Y., Hedenmalm, H., Makarov, N.: Random normal matrices and Ward identities. Ann. Probab. 43(3), 1157–1201 (2015)MathSciNetCrossRefGoogle Scholar
  4. 4.
    Ameur, Y., Kang, N.-G., Makarov, N.: Rescaling Ward identities in the random normal matrix model. Constr. Approx. 50, 63–127 (2019)MathSciNetCrossRefGoogle Scholar
  5. 5.
    Balogh, F., Bertola, M., Lee, S.-Y., McLaughlin, K.D.: Strong asymptotics of orthogonal polynomials with respect to a measure supported on the plane. Commun. Pure Appl. Math. 68(1), 112–172 (2015)MathSciNetCrossRefGoogle Scholar
  6. 6.
    Berman, R., Berndtsson, B., Sjöstrand, J.: A direct approach to Bergman kernel asymptotics for positive line bundles. Ark. Mat. 46, 197–217 (2008)MathSciNetCrossRefGoogle Scholar
  7. 7.
    Boutet de Monvel, L., Sjöstrand, J.: Sur la singularité des noyaux de Bergman et de Szegő. Journées: Équations aux Dérivées Partielles de Rennes (1975), pp. 123–164. Astérisque, No. 3435. Soc. Math. France, Paris (1976)Google Scholar
  8. 8.
    Catlin, D.: The Bergman kernel and a theorem of Tian. In: Komatsu, G., Kuranishi, M. (eds.) Analysis and Geometry in Several Complex Variables. Katata, Trends in Mathematics, pp. 1–23. Birkhäuser, Boston (1997) Google Scholar
  9. 9.
    Constantine, G.M., Savits, T.H.: A multivariate Faà di Bruno formula with applications. Trans. Am. Math. Soc. 348(2), 503–520 (1996)CrossRefGoogle Scholar
  10. 10.
    Fefferman, C.: The Bergman kernel and biholomorphic mappings of pseudoconvex domains. Invent. Math. 26, 1–65 (1974)ADSMathSciNetCrossRefGoogle Scholar
  11. 11.
    Gustafsson, B., Vasil’ev, A., Teodorescu, R.: Classical and Stochastic Laplacian Growth. Advances in Mathematical Fluid Mechanics. Birkhäuser, Basel (2014)zbMATHGoogle Scholar
  12. 12.
    Hedenmalm, H., Makarov, N.: Coulomb gas ensembles and Laplacian growth. Proc. Lond. Math. Soc. (3) 106, 859–907 (2013)MathSciNetCrossRefGoogle Scholar
  13. 13.
    Hedenmalm, H., Olofsson, A.: Hele–Shaw flow on weakly hyperbolic surfaces. Indiana Univ. Math. J. 54(4), 1161–1180 (2005)MathSciNetCrossRefGoogle Scholar
  14. 14.
    Hedenmalm, H., Shimorin, S.: Hele–Shaw flow on hyperbolic surfaces. J. Math. Pures Appl. 81, 187–222 (2002)MathSciNetCrossRefGoogle Scholar
  15. 15.
    Hedenmalm, H., Wennman, A.: Planar orthogonal polynomials and boundary universality in the random normal matrix model. arXiv:1710.06493 (2017)
  16. 16.
    Hörmander, L.: \(L^2\)-estimates and existence theorems for the \({\bar{\partial }}\)-operator. Acta Math. 113, 89–152 (1965)MathSciNetCrossRefGoogle Scholar
  17. 17.
    Pokorny, F., Singer, M.: Toric partial density functions and stability of toric varieties. Math. Ann. 358(3-4), 879–923 (2014)MathSciNetCrossRefGoogle Scholar
  18. 18.
    Ross, J., Singer, M.: Asymptotics of partial density functions for divisors. J. Geom. Anal. 27, 1803–1854 (2017)MathSciNetCrossRefGoogle Scholar
  19. 19.
    Ross, J., Witt Nyström, D.: The Hele–Shaw flow and moduli of holomorphic discs. Compos. Math. 151, 2301–2328 (2015)MathSciNetCrossRefGoogle Scholar
  20. 20.
    Serfaty, S., Serra, J.: Quantitative stability of the free boundary in the obstacle problem. Anal. PDE 11(7), 1803–1839 (2018)MathSciNetCrossRefGoogle Scholar
  21. 21.
    Shiffman, B., Zelditch, S.: Random polynomials with prescribed Newton polytope. J. Am. Math. Soc. 17, 49–108 (2004)MathSciNetCrossRefGoogle Scholar
  22. 22.
    Tian, G.: On a set of polarized Kähler metrics on algebraic manifolds. J. Differ. Geom. 32, 99–130 (1990) CrossRefGoogle Scholar
  23. 23.
    Zelditch, S.: Szegő kernels and a theorem of Tian. Int. Math. Res. Not. 1998, 317–331 (1998)CrossRefGoogle Scholar
  24. 24.
    Zelditch, S., Zhou, P.: Interface asymptotics of Partial Bergman kernels on \(\text{S}^{1}\)-symmetric Kähler manifolds. J. Symplectic Geom. 17, 793–856 (2019)Google Scholar
  25. 25.
    Zelditch, S., Zhou, P.: Central limit theorem for spectral partial Bergman kernels. Geom. Topol. 23, 1961–2004 (2019)MathSciNetCrossRefGoogle Scholar

Copyright information

© The Author(s) 2020

Open AccessThis article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article’s Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article’s Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit

Authors and Affiliations

  1. 1.Department of MathematicsThe Royal Institute of TechnologyStockholmSweden
  2. 2.School of Mathematical SciencesTel Aviv UniversityTel AvivIsrael

Personalised recommendations