Abstract
We obtain the strong asymptotics of polynomials \(p_n(\lambda )\), \(\lambda \in {\mathbb {C}}\), orthogonal with respect to measures in the complex plane of the form
where s is a positive integer, t is a complex parameter, and \(\hbox {d}A\) stands for the area measure in the plane. This problem has its origin in normal matrix models. We study the asymptotic behavior of \(p_n(\lambda )\) in the limit \(n,N\rightarrow \infty \) in such a way that \(n/N\rightarrow T\) constant. Such asymptotic behavior has two distinguished regimes according to the topology of the limiting support of the eigenvalues distribution of the normal matrix model. If \(0<|t|^2<T/s\), the eigenvalue distribution support is a simply connected compact set of the complex plane, while for \(|t|^2>T/s\), the eigenvalue distribution support consists of s connected components. Correspondingly, the support of the limiting zero distribution of the orthogonal polynomials consists of a closed contour contained in each connected component. Our asymptotic analysis is obtained by reducing the planar orthogonality conditions of the polynomials to equivalent contour integral orthogonality conditions. The strong asymptotics for the orthogonal polynomials is obtained from the corresponding Riemann–Hilbert problem by the Deift–Zhou nonlinear steepest descent method.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
We study the asymptotics of orthogonal polynomials with respect to a family of measures supported on the whole complex plane. To set up the notation for the general case, let \(p_n(\lambda )\) denote the monic orthogonal polynomials of degree n such that
where \(W:{\mathbb {C}}\rightarrow {\mathbb {R}}\) is called the external potential, N is a positive parameterFootnote 1, \(\hbox {d}A(\lambda )\) is the area measure in the complex plane, and \(h_{n,N}\) is the norming constant. The external potential is assumed to have sufficient growth at infinity so that the integrals in (1.1) are bounded.
Planar orthogonal polynomials satisfying (1.1) appear naturally in the context of normal matrix models [12] where one studies probability distributions of the form
where \({\mathcal {N}}_N\) is the algebraic variety of \(n\times n\) normal matrices
and dM is the volume form induced on \({\mathcal {N}}_n\) which is invariant under conjugation by unitary matrices. Since normal matrices are diagonalizable by unitary transformations, the probability density (1.2) can be reduced to the form [43]
where \(\lambda _j\) are the complex eigenvalues of the normal matrix M and the normalizing factor \(Z_{n,N}\), called the partition function, is given by
The statistical quantities related to eigenvalues can be expressed in terms of the orthogonal polynomials \(p_n(\lambda )\) defined in (1.1). In particular, the average density of eigenvalues is
The partition function \(Z_{n,N}\) can be written as a product of the normalizing constants
While the asymptotic density of eigenvalues can be studied using an approach from potential theory [49], the zero distribution of orthogonal polynomials remains an open issue for general potential weights despite general results in [51]. The density of eigenvalues \(\rho _{n,N}(\lambda )\) converges (in the sense of measures) in the limit
to the unique probability measure \(\mu ^*\) in the plane which minimizes the functional [25, 35]
The functional \(I(\mu )\) in (1.4) is the Coulomb energy functional in two dimensions, and the existence of a unique minimizer is a well-established fact under mild assumptions on the potential \(W(\lambda )\) [49]. If W is twice continuously differentiable and its Laplacian \(\Delta W\) is nonnegative, the equilibrium measure is given by
where \(\chi _{D}\) is the characteristic function of the compact support set \(D = {\text {supp}}(\mu ^{*})\). Sub-leading order corrections to the behavior of the eigenvalues distribution \( \rho _{n,N}(\lambda )\) as \(n,N\rightarrow \infty \) and fluctuations in the bulk and at the boundary of the support D have been considered in [3–5, 9, 42].
The measure \(\mu ^*\) can also be uniquely characterized by the Euler–Lagrange conditions
for all values \(\lambda \in {\mathbb {C}}\) with equality in (1.5) on the supportFootnote 2 of \(\mu ^*\). The Lagrange multiplier \(\ell _{D}\) is called the (generalized) Robin constant. It is a nontrivial problem to determine the shape of the support set D. In some cases, this problem is called Laplacian growth. When the potential \(W(\lambda )\) is real analytic, the boundary \(\partial D\) is a finite union of analytic, arcs with at most a finite number of singularities [48], see also [35].
There are only a handful of potentials \(W(\lambda )\) for which the polynomials \(p_n(\lambda )\) can be explicitly computed. The simplest example is \(W(\lambda )=|\lambda |^2\), for which the orthogonal polynomials \(p_n(\lambda )\) are monomials of degree n, and the constants \(h_{n,N}\) and the average density of eigenvalues \(\rho _{n,N}\) can be computed explicitly in terms of the Gamma function. The matrix model associated with this potential is known as the Ginibre ensemble [30, 31], and the density of eigenvalues \(\rho _{n,N}\) converges to the normalized area measure on the disk of radius \(\sqrt{T}\) centered at the origin. In general, for radially symmetric potentials \(W=W(|\lambda |)\), the orthogonal polynomials are always monomials, and in the limit (1.3), the eigenvalue distribution is supported either on a disk or an annulus by the Single-ring theorem of Feinberg and Zee [28], whose rigorous proof can be found in [32]. The correlation functions in this case have been studied in [12].
The harmonic deformation of the Gaussian case \(W(\lambda )=|\lambda |^2+(\text{ harmonic })\) has been intensively studied. In particular, the potential \(W(\lambda )= |\lambda |^2- t(\lambda ^2+\bar{\lambda ^2})\) is associated with the Hermite polynomials for \(|t| < 1/2\). In the limit (1.3), the distribution of eigenvalues is the normalized area measure on an ellipse, while the distribution of the zeros of the orthogonal polynomials is given by the (rescaled) Wigner semicircle law with support between the two foci of the ellipse [23].
The normal matrix model with a general deformation \(W(\lambda )=|\lambda |^2+{\text {Re}}(P(\lambda ))\), where \(P(\lambda )\) is a polynomial of a fixed degree, has first been considered in the seminal papers [47, 54] (see also the review article [56]), where the connection with the Hele–Shaw problem and integrable structure in conformal dynamic has been pointed out. More general potentials have been considered later in [55]. For such potentials, however, the matrix integrals have convergence issues in the complex plane, and therefore a natural cut-off has been introduced in the work of Elbau and Felder [25]. In [24], the polynomials associated with such deformed Gaussian potentials have been studied, and it was argued that the Cauchy transform of the limiting zero distribution of the orthogonal polynomials coincides with the Cauchy transform of the limiting eigenvalue distribution of the matrix model outside the support of the eigenvalues. Moreover, it was also conjectured in [24] that the zero distribution of the polynomials \(p_n(\lambda )\) is supported on tree-like segments (the mother body, see definition below) inside the compact set (the droplet) that attracts the eigenvalues of the normal matrix model.
For the external potential \(W(\lambda )=|\lambda |^2+{\text {Re}}(t\lambda ^3)\), Bleher and Kuijlaars [11] defined polynomials orthogonal with respect to a system of unbounded contours on the complex plane, without any cut-off, and which satisfy the same recurrence relation that is asymptotically valid for the orthogonal polynomials of Elbau and Felder. They then study the asymptotic distribution of the zeros of such polynomials confirming the predictions of [24]. Similar results were obtained for the more general external potential [38] \( W(\lambda )=|\lambda |^2-{\text {Re}}(t|\lambda |^k)\), \(k\ge 2\) and |t| sufficiently small so that the eigenvalue distribution of the matrix model has an analytic simply connected support. Cases in which the eigenvalue support has singularities were analyzed in [39] and [6]. In particular, in the work [6], the external potential \(W(\lambda )=|\lambda |^2-2c\log |\lambda -a|\) with c and a positive constants, has been studied, and the strong asymptotics of the corresponding orthogonal polynomials has been derived both in the case in which the support of the eigenvalues distribution is simply connected (pre-critical case) or multiply connected (post-critical case) and critical transition was observed (see also [7, 53]).
In this work, we study the strong asymptotic of the polynomials \(p_n(\lambda )\) orthogonal with respect to a density \(\hbox {e}^{-NW(\lambda )}\), where the external potential is of the form \( W(\lambda )=|\lambda |^{2s}-t\lambda ^s-\bar{t}\bar{\lambda }^{s} \), with \( \lambda \in \mathbb {C},\) s a positive integer and \( t\in {\mathbb {C}}{\setminus }\{0\}.\) By a simple rotation of the variable \(\lambda \), the analysis can be reduced to the case of real and positive t. Therefore, without loss of generality, we may and do assume that \(t \in {\mathbb {R}}_{+}\); that is,
and the associated orthogonality measure is
Note that the potential \(W(\lambda )\) has a discrete rotational \({\mathbb {Z}}_s\)-symmetry. It was observed in [8] (see also [26]) that if a potential \(W(\lambda )\) can be written in the form
the equilibrium measure for W can be obtained from the equilibrium measure of Q by an unfolding procedure. In our particular case,
corresponds to the Ginibre ensemble, so that the equilibrium measure for the potential Q is the normalized area measure of the disk
where T has been defined in (1.3). The equilibrium measure for W turns out to be equal to
where \(\chi _D\) is the characteristic function of the support set
We observe that for \(t<t_c\), the Eq. (1.9) describes a simply connected domain in the complex plane with uniformizing map from the exterior of the unit disk in the \(\xi \)-plane to the exterior of D given by
with inverse
For \(t>t_c\) the domain defined by the Eq. (1.9) consists of s connected components which have a discrete rotational symmetry. For \(s=2\), the domain D is called Cassini oval. The boundary of D, namely \(\partial D\), can be identified with the real ovals of the Riemann surface \({\mathcal{S}}\) defined by \({\mathcal{S}}:=\{(\lambda ,\eta )\in {\mathbb {C}}^2,\;\; (\lambda ^s-t)(\eta ^s-t)=t_c^2\}\), which has genus \((s-1)^2\). Such Riemann surface does not coincide with the Schottky double of D for \(s>2\).
The boundary of the domain D can also be expressed by the equation
The function \(S(\lambda )\) is analytic in a neighborhood of \(\partial D\), and it is called the Schwarz function associated with \(\partial D\) (see, e.g., [18]).
Remark 1.1
The domain D is a quadrature domain [33] with respect to the measure \(\mathrm{d}\mu ^*\). Indeed, for any function \(h(\lambda )\) analytic in a neighbourhood of D, one has, by applying Stokes’ theorem and the residue theorem,
where \(S(\lambda )\) is the Schwarz function (1.10), \(c_k=\dfrac{1}{s}\) and \(\lambda _k=t^{\frac{1}{s}}\hbox {e}^{\frac{2 \pi i k}{s}}\).
1.1 Statement of Results
The goal of this manuscript is to determine pointwise asymptotics of the polynomials \(p_n(\lambda )\) defined in (1.1) orthogonal with respect to the weight (1.7) in the two cases:
-
pre-critical: \(t<t_c\);
-
post-critical: \(t>t_c\).
The \({\mathbb {Z}}_s\)-symmetry of the orthogonality measure (1.7) is inherited by the corresponding orthogonal polynomials. Indeed, the nontrivial orthogonality relations are
where k and l are such that
i.e., the n-th monic orthogonal polynomial satisfies the relation
It follows that there exists a monic polynomial \(q^{(l)}_k\) of degree k such that
Therefore, the sequence of orthogonal polynomials \(\{p_{n}(\lambda )\}_{n=0}^{\infty }\) can be split into s subsequences labelled by the remainder \(l \equiv n\mod s\), and the asymptotics along the different subsequences can be studied via the sequences of reduced polynomials
By a simple change of coordinates, it is easy to see that the monic polynomials in the sequence \(\{q^{(l)}_k\}_{k=0}^{\infty }\) are orthogonal with respect to the measure
namely, they satisfy the orthogonality relations
As a result of this symmetry reduction, starting from the class of measures (1.7), it is sufficient to consider the orthogonal polynomials with respect to the family of measures (1.12). It is clear from the above relation that for \(l=s-1\), one has \(\gamma =0\), and the polynomials \(q_k^{(s-1)}(u)\) are monomials in the variable \((u-t)\); that is,
It follows that the monic polynomials \(p_{ks+s-1}(\lambda )\) have the form
Remark 1.2
Observe that the weight in the orthogonality relation (1.13) can be written in the form
and it is similar to the weight \(\hbox {e}^{-NW(u)}\) with \(W(u)=|u|^2-c\log |u-a|\) with \(c>0\) studied in [6]. However, in our case, it turns out that \(c=-2\gamma /N<0\), so the point interaction near \(a=0\) is repulsive and the asymptotic distribution of the zeros of the polynomials (1.13) turns out to be substantially different from the one in [6].
Define
and for \(r>0\), the function
Let us consider the level curve \(\hat{{\mathcal {C}}}_r\):
The level curves \(\hat{{\mathcal {C}}}_r\) consist of s closed contours contained in the set D, where D has been defined in (1.9). For these curves, we consider the usual counterclockwise orientation. Define the measure \(\hat{\nu }\) associated with this family of curves given by
and supported on \(\hat{{\mathcal {C}}}_r\).
Lemma 1.3
The a priori complex measure \(d\hat{\nu }\) in (1.16) is a probability measure on the contour \(\hat{{\mathcal {C}}}_r\) defined in (1.15) for \(0<r\le \frac{t}{t_c}\).
Let us denote by \(\nu (p_n)\) the zero counting measure associated with the polynomials \(p_n\), namely
where \(\delta _{\lambda } \) is point distribution with total mass one at the point \(\lambda \).
Theorem 1.4
The zeros of the polynomials \(p_n(\lambda )\) defined in (1.1) behave as follows:
-
for \(n=s k+s-1\), let \(\omega =\hbox {e}^{\frac{2\pi i}{s}}\). Then \(t^{\frac{1}{s}},\omega t^{\frac{1}{s}},\ldots ,\omega ^{k-1} t^{\frac{1}{s}}\) are zeros of the polynomials \(p_{ks+s-1}\) with multipicity k, and \(\lambda =0\) is a zero with multiplicity \(s-1\).
-
for \(n=ks+l\), \(l=0,\ldots ,s-2\), the polynomial \(p_n(\lambda )\) has a zero in \(\lambda =0\) with multiplicity l and the remaining zeros in the limit \(n,N\rightarrow \infty \) such that
$$\begin{aligned} N=\dfrac{n-l}{T} \end{aligned}$$accumulates on the level curves \(\hat{{\mathcal {C}}}_r\) as in (1.15) with \(r=1\) for \(t<t_c\) and \(r=\frac{t_c^2}{t^2}\) for \(t>t_c\). We define as \(\hat{{\mathcal {C}}}\) the curve on which the zeros accumulate that is given by
$$\begin{aligned} \hat{{\mathcal {C}}}:\quad \left| (t-\lambda ^s)\exp \left( \frac{\lambda ^st}{t_{c}^2}\right) \right| = \left\{ \begin{array}{ll} t,&{}\quad \text{ pre-critical } \text{ case } 0<t<t_{c},\\ &{}\\ \dfrac{t_{c}^2}{t}\hbox {e}^{\frac{t^2}{t_c^2}-1},&{}\quad \text{ post-critical } \text{ case } t>t_{c}, \end{array}\right. \end{aligned}$$(1.17)with \(|\lambda ^s-t|\le z_0t\). The measure \(\hat{\nu }\) in (1.16) is the weak-star limit of the normalized zero counting measure \(\nu _n\) of the polynomials \(p_n\) for \(n=sk+l\), \(l=0,\ldots , s-2\).
Remark 1.5
We observe that the curve (1.17) in the rescaled variable \(z=1-\lambda ^s/t\) takes the form
with \(z_0=\dfrac{t_c^2}{t^2}\) and \(|z|\le z_0\). The curve \({\mathcal {C}}\) is similar to the Szegő curve \(\{z\in {\mathbb {C}}\ :\ |z\hbox {e}^{1-z}|=1,\;\;|z|\le 1\}\) that was first observed in relation to the zeros of the Taylor polynomials of the exponential function [52] and coincides exactly with such curve in the critical case \(z_0=1\). The Szegö curve also appeared in the asymptotic analysis of the generalized Laguerre polynomials, see, e.g., [13, 40, 45]. The curve (1.18) is the limiting curve for the zeros of the polynomials
where \(q^{(l)}_k(u)\) have been defined in (1.11).
From Theorem 1.4 and (1.5), the following identity follows immediately.
Lemma 1.6
Given the potential \(W(\lambda )\) in (1.6), the measure \( \hat{\nu }\) in (1.16) with \(r=1\) for \(t<t_c\) and \(r=\frac{t_c^2}{t^2}\) for \(t>t_c\), and the contour \(\hat{{\mathcal {C}}}\) defined in (1.17), the equation
defines the boundary of a domain that coincides with D defined in (1.9). The measure \(\mu ^*\) in (1.8) of the eigenvalue distribution of the normal matrix model and the measure \(\hat{\nu }\) of the zero distribution of the orthogonal polynomials are related by
Remark 1.7
The identities (1.19) and (1.20) in Lemma 1.6 are expected to hold in general for a large class of normal matrix models. It has been verified for several other potentials (see, for example, [2, 6, 11, 24, 38]).
We also observe that for the orthogonal polynomials appearing in random matrices, in some cases, the asymptotic distribution of the zeros is supported on the so-called mother body or potential theoretic skeleton of the support D of the eigenvalue distribution. We recall that a measure \(\nu \) is a strong mother body for a domain D with respect to a measure \(\mu \) if [34]:
-
1)
\(\int \log |\lambda -\eta |d\mu (\eta )\le \int \log |\lambda -\eta |d\nu (\eta )\), for \(\lambda \in {\mathbb {C}}\) with equality for \(\lambda \) outside D;
-
2)
\(\nu \ge 0\) and \(\text{ supp } \nu \subset \text{ supp } \mu \);
-
3)
the support of \(\nu \) has zero area measure;
-
4)
the support of \(\nu \) does not disconnect any part of D from \(\bar{D}^c\).
If the measure \(\nu \) has only the properties 1), 2), and 3), it is called weak mother body. The problem of constructing strong mother bodies is not always solvable, and the solution is not always unique [50].
Concerning the explicit examples appearing in the random matrix literature, for the exponential weight \(W(\lambda )=|\lambda |^2+{\text {Re}}(P(\lambda ))\), where \(P(\lambda )\) is polynomial, the support of the zero distribution of the orthogonal polynomials is a strong mother body of the domain that corresponds to the eigenvalue distribution of the matrix model (see, e.g., [11, 25, 31, 38, 54]). In contrast, in the model studied in [6] and also in the present case, the support of the zero distribution of the orthogonal polynomials does not have property 4), and therefore it is a weak mother body of the set D.
The proof of Theorem 1.4 is obtained from the strong and uniform asymptotics of the polynomials \(p_n(\lambda )\) in the whole complex plane which is obtained by characterizing the orthogonal polynomials \(p_n(\lambda )\) via a Riemann–Hilbert method.
Uniform Asymptotics. In the next theorem, we describe the strong and uniform asymptotic of the polynomials \(p_n(\lambda )\) in the complex plane. We distinguish the pre-critical case \(t<t_c \) and post-critical case \(t>t_c\). We first define the function
where \(\hat{\phi }_r(\lambda )\) is given by (1.14).
Theorem 1.8
(Pre-critical case) For \(0<t<t_c \), the polynomials \(p_n(\lambda )\) with \(n=ks+l\), \(l=0,\ldots , s-2\), \(\gamma =\frac{s-l-1}{s}\in (0,1)\), have the following asymptotic behavior for when \(n,N\rightarrow \infty \) in such a way that \(NT=n-l\):
-
(1)
for \(\lambda \) in compact subsets of the exterior of \(\hat{{\mathcal {C}}}\), one has for any integer \(M\ge 2\),
$$\begin{aligned} p_n(\lambda )=\lambda ^{s-1}(\lambda ^s-t)^{k-\gamma } \left( 1+{{\mathcal {O}}}\left( \frac{1}{k^{M+\gamma }}\right) \right) ; \end{aligned}$$(1.22) -
(2)
for \(\lambda \) near \(\hat{{\mathcal {C}}}\) and away from \(\lambda =0\),
$$\begin{aligned} p_n(\lambda )=\lambda ^{s-1}(\lambda ^s-t)^{k-\gamma }\left[ 1+\dfrac{\hbox {e}^{-k\hat{\phi }(\lambda )}}{k^{1+\gamma }}\left( \dfrac{1}{\Gamma (-\gamma )}\left( 1-\frac{1}{z_0}\right) ^{-1-\gamma } \dfrac{t}{\lambda ^{s}}\left( 1-\frac{t}{\lambda ^s}\right) ^{\gamma }+{{\mathcal {O}}}\left( \frac{1}{k}\right) \right) \right] \,, \end{aligned}$$(1.23)where \(\hat{\phi }(\lambda )\) has been defined in (1.21) and \(\Gamma (z)=(z-1)!\);
-
(3)
for \(\lambda \) in compact subsets of the interior of \(\hat{{\mathcal {C}}}\) and away from \(\lambda =0\),
$$\begin{aligned} p_{n}(\lambda )=\lambda ^l\dfrac{\hbox {e}^{-\frac{k\lambda ^s}{tz_0} }}{k^{1+\gamma }}\left( \dfrac{(-t)^{k+1}}{ \Gamma (-\gamma )}\dfrac{1}{\lambda ^s}\left( 1-\frac{1}{z_0}\right) ^{-1-\gamma }+{{\mathcal {O}}}\left( \frac{1}{k}\right) \right) ; \end{aligned}$$ -
(4)
for \(\lambda \) in a neighborhood of \(\lambda =0\), we introduce the function \(\hat{w}(\lambda )=\hat{\phi }(\lambda )+2\pi i\) if \(\lambda ^s\in {\mathbb {C}}_-\) and \(\hat{w}(\lambda )=\hat{\phi }(\lambda )\) if \(\lambda ^s\in {\mathbb {C}}_+\). Then
$$\begin{aligned} p_n(\lambda )=\lambda ^{l}(\lambda ^s-t)^{k-\gamma }\left( \dfrac{\lambda ^{s}}{\hat{w}(\lambda )}\right) ^{\gamma }\left[ (\hat{w}(\lambda ))^{\gamma }-\dfrac{\hbox {e}^{-k\hat{\phi }(\lambda )}}{k^{\gamma }}\left( \tilde{\Psi }_{12}(k\hat{w}(\lambda ))+{{\mathcal {O}}}\left( \frac{1}{k}\right) \right) \right] , \end{aligned}$$(1.24)
where the (1, 2)-entry of the matrix \(\tilde{\Psi }\) is defined in (3.22).
We observe that in compact subsets of the exterior of \(\hat{{\mathcal {C}}}\) there are no zeros of the polynomials \(p_n(\lambda )\). The only possible zeros are located in \(\lambda =0\) and in the region where the second term in parentheses in the expression (1.23) is of order one. Since \({\text {Re}}\hat{\phi }(\lambda )\) is negative inside \(\hat{{\mathcal {C}}}\) and positive outside \(\hat{{\mathcal {C}}}\), it follows that the possible zeros of \(p_n(\lambda )\) lie inside \(\hat{{\mathcal {C}}}\) and are determined by the condition
The expansion (1.23) shows that the zeros of the polynomials \(p_n(\lambda )\) are within a distance \({{\mathcal {O}}}\left( 1/k^2\right) \) from the level curve (1.25). This level curve approaches \(\hat{{\mathcal {C}}}\) defined in (1.17) at a rate \({{\mathcal {O}}}\left( \log k/k\right) \) (Fig. 2).
For \(t>t_c \), the polynomials \(p_n(\lambda )\) with \(n=ks+l\), \(l=0,\ldots , s-2\), have the following asymptotic behavior.
Theorem 1.9
(Post-critical case) For \(t>t_c \), the polynomials \(p_n(\lambda )\) with \(n=ks+l\), \(l=0,\ldots , s-2\), and \(\gamma =\frac{s-l-1}{s}\in (0,1)\) have the following behavior when \(n,N\rightarrow \infty \) in such a way that \(NT=n-l\):
-
(1)
for \(\lambda \) in compact subsets of the exterior of \(\hat{{\mathcal {C}}}\), one has
$$\begin{aligned} p_n(\lambda )=\lambda ^{l}(\lambda ^s-t)^{k-\gamma }(\lambda ^s+t(z_0-1))^{\gamma }\left( 1+{{\mathcal {O}}}\left( \frac{1}{k}\right) \right) , \end{aligned}$$with \(z_0=\dfrac{t_c^2}{t^2}\);
-
(2)
for \(\lambda \) in the region near \(\hat{{\mathcal {C}}}\) and away from the points \(\lambda ^s=t(1-z_0)\), one has
$$\begin{aligned} p_n(\lambda )=\lambda ^{l}(\lambda ^s-t)^{k-\gamma }(\lambda ^s+t(z_0-1))^{\gamma }\left( 1-\dfrac{\hbox {e}^{-k\hat{\phi }(\lambda )}}{k^{\frac{1}{2}+\gamma }}\dfrac{\gamma z_0^2}{c}\dfrac{t((\lambda ^s-t)\lambda ^s)^{\gamma }}{(\lambda ^s+t(z_0-1))^{2\gamma +1}}+{{\mathcal {O}}}\left( \frac{1}{k}\right) \right) , \end{aligned}$$(1.26)with \(\hat{\phi }(\lambda )\) defined in (1.21) and the constant c defined in (4.24);
-
(3)
for \(\lambda \) in compact subsets of the interior region of \(\hat{{\mathcal {C}}}\), one has
$$\begin{aligned} p_n(\lambda )=\lambda ^l \dfrac{\hbox {e}^{k\frac{t-\lambda ^s}{tz_0}}}{k^{\frac{1}{2}+\gamma }}\dfrac{t\gamma z_0^{2}}{c}\left( \dfrac{tz_{0}}{e}\right) ^{k}\left( \dfrac{\lambda ^{s\gamma }}{(\lambda ^s+t(z_0-1))^{\gamma +1}}+{{\mathcal {O}}}\left( \frac{1}{k}\right) \right) ; \end{aligned}$$ -
(4)
in the neighborhood of each of the points that solve the equation \(\lambda ^s=t(1-z_0)\), one has
$$\begin{aligned} p_n(\lambda )=\lambda ^{l}(\lambda ^s-t)^{k-\gamma } \left( \dfrac{\lambda ^s+t(z_0-1)}{\sqrt{k}\hat{w}(\lambda )}\right) ^{\gamma }\hbox {e}^{-k\hat{\phi }(\lambda )}\left( {\mathcal{U}}(-\gamma -\frac{1}{2}; \sqrt{2k}\hat{w}(\lambda ))+{{\mathcal {O}}}\left( \frac{1}{k}\right) \right) ; \end{aligned}$$where \({\mathcal{U}}(a;\xi )\) is the parabolic cylinder function (Chap. 13, [1]) satisfying the equation \(\dfrac{d^2}{d\xi ^2}{\mathcal{U}}=\left( \frac{1}{4}\xi ^2+a\right) {\mathcal{U}}\) and \(\hat{w}^2(\lambda )=-\hat{\phi }(\lambda )-2\pi i \) for \(\lambda ^s\in {\mathbb {C}}_-\) and \(\hat{w}^2(\lambda )=-\hat{\phi }(\lambda )\) for \(\lambda ^s\in {\mathbb {C}}_+\).
We observe that in compact subsets of the exterior of \(\hat{{\mathcal {C}}}\), the polynomials \(p_n(\lambda )\) have zero at \(\lambda =0\) with multiplicity l. The other possible zeros are located in the region where the second term in parentheses in the expression (1.26) is of order one. This happens in the region where \({\text {Re}}\hat{\phi }(\lambda )<0 \) and \({\text {Re}}\hat{\phi }(\lambda )={{\mathcal {O}}}\left( \log k/k\right) \), namely in a region inside the contour \(\hat{{\mathcal {C}}}\) and defined by the equation
The expansion (1.26) shows that the zeros of the polynomials \(p_n(\lambda )\) are within a distance \({{\mathcal {O}}}\left( 1/k^2\right) \)from the level curve (1.27). This level curve approaches \(\hat{{\mathcal {C}}}\) defined in (1.17) at a rate \({{\mathcal {O}}}\left( \log k/k\right) \).
The proofs of Theorem 1.8 and Theorem 1.9 are obtained by reducing the planar orthogonality relations of the polynomials \(p_n(\lambda )\) to orthogonality relations with respect to a complex density on a contour. More precisely, the sequence of polynomials \(p_n(\lambda )\) can be reduced to s families of polynomials \(q^{(l)}_k(\lambda ^s)\), \(l=0,\ldots ,s-1\), as in (1.11) with \(n=ks+l\). The orthogonality relations of the polynomials \(q^{(l)}(u)\) are reduced to orthogonality relations on a contour. We then reformulate such orthogonality relation as a Riemann–Hilbert problem. We perform the asymptotic analysis of the polynomials \(q^{(l)}_k(\lambda )\) using the nonlinear steepest descent/stationary phase method introduced by Deift and Zhou [22] and successfully applied in Hermitian random matrices and orthogonal polynomials on the line in the seminal papers, [19, 20]. See [21] for an introduction to this method, with a special emphasis on the applications to orthogonal polynomials and random matrices. It would also be interesting to explore the asymptotic for the polynomials \(p_n(\lambda )\) using the \(\bar{\partial }\)-problem introduced in [36].
The zeros of \(p_n(\lambda )\) accumulate along a contour in the complex plane as shown in Fig. 1 or Fig. 2. The determination of this contour is a first step in the analysis. Riemann–Hilbert analysis in which a contour selection method was required also appeared in the papers [6, 40].
The Riemann–Hilbert method gives strong and uniform asymptotics of the polynomials \(p_n(\lambda )\) in the whole complex plane. The asymptotic behavior of the polynomials \(p_n(\lambda )\) in the leading and sub-leading order can be expressed in terms of elementary functions in the pre-critical case \(t<t_c\), while in the post-critical case \(t>t_c\), we have used, in some regions of the complex plane, parabolic cylinder functions as in [22, 37, 46]. The proof of Theorem 1.4 is then deduced from the strong asymptotic of the orthogonal polynomials.
The paper is organized as follows:
-
In Sect. 2, by using the symmetry properties of the external potential, we reduce the orthogonality relations of the polynomials \(p_n(\lambda )\) on a contour and recall how to formulate a Riemann–Hilbert problem for such orthogonal polynomials [27].
-
In Sect. 3, we obtain the strong and uniform asymptotics for the polynomials \(p_n(\lambda )\) in the pre-critical case \(t<t_c\).
-
In Sect. 4, we find the strong and uniform asymptotics for the polynomials \(p_n(\lambda )\) in the post-critical case \(t>t_c\), and we prove Theorem 1.4.
In the critical case \(t=t_c\), the set D in (1.9) that supports the eigenvalue distribution of the normal matrix models has a singularity in \(\lambda =0\). The corresponding asymptotics of the orthogonal polynomials seems to be described in terms of the Painlevé IV equation as in [17], and this situation is quite different from the generic singularity that has been described in terms of the Painlevé I equation [39, 41]. That problem will be investigated in a subsequent publication.
Furthermore, from the norming constants of the orthogonal polynomials, one may consider the problem of determining the asymptotic expansion of the partition function \(Z_{n,N}\) in the spirit of [16]. Also this problem will be investigated in a subsequent publication.
2 The Associated Riemann–Hilbert Problem
In this section, we set up the Riemann–Hilbert problem to study the asymptotic behavior of the orthogonal polynomials \(p_n(\lambda )\). As seen above, the analysis of \(p_n(\lambda )\) can be reduced to that of the polynomials \(q_k^{(l)}(\lambda ^d)\) introduced in (1.11). The polynomials \(q_k^{(l)}(u)\) are characterized by the symmetry-reduced orthogonality relations
2.1 Reduction to Contour Integral Orthogonality
The crucial step in the present analysis is to replace the two-dimensional integral conditions (2.1) by an equivalent set of linear constraints in terms of contour integrals. In what follows, it will be advantageous to perform the change of coordinate
and characterize \(q_k^{(l)}(u)\) in terms of the transformed polynomial
in the new variable z. The polynomial \(\pi _k(z)\) is also a monic polynomial of degree k, and it can be characterized as follows.
Theorem 2.1
The polynomial \(\pi _k(z)\) is characterized by the non-Hermitian orthogonality relations
where \(\Sigma \) is a simple positively oriented contour encircling \(z=0\) and \(z=1\) and the function \(\left( \frac{z}{z-1}\right) ^{\gamma }\) is analytic in \({\mathbb {C}}\backslash [0,1]\) and tends to one for \(|z|\rightarrow \infty \) (Fig. 3).
Proof
In order to prove the theorem, we first show that the orthogonality relation for the polynomials \(q^l_k(u)\) on the plane can be reduced to an orthogonality relation on a contour. To this end, we seek a function \(\chi _j(u,\bar{u})\) that solves the \(\bar{\partial }\)-problem
Having such a function, for any polynomial q(u), one has
where d denotes the operation of exterior differentiation. If such \(\chi _j(u,\overline{u})\) exists, one can use Stokes’ theorem and reduce the planar orthogonality relation to an orthogonality relation on a suitable contour. The Eq. (2.3) has a contour integral solution
It follows that for any polynomial q(u), the following integral identity holds:
where R and \(R_0\) are sufficiently large and \( G_j(u) = \frac{\Gamma (j-\gamma +1)}{N^{j-\gamma +1}}\left( 1-\frac{t}{u}\right) ^{\gamma }\frac{\hbox {e}^{Ntu}}{(u-t)^{j+1}}\). So it follows that for any polynomial q(u), the following identity is satisfied:
where \(\gamma \in (0,1)\), j is an arbitrary nonnegative integer and \(\tilde{\Sigma }\) is a positively oriented simple closed loop enclosing \(u=0\) and \(u=t\). Making the change of coordinate \(u=-t(z-1)\), one arrives at the statement of the theorem. \(\square \)
2.2 The Riemann–Hilbert Problem
Our aim is to study the behavior of the polynomials \(\pi _k(z)\) in the limit \(k\rightarrow \infty \) and \(N\rightarrow \infty \) in such a way that for \(n=ks+l\), one has
Let
and introduce the function
In terms of the weight function
the orthogonality relations (2.2) can be written in the form
In the limit \(k \rightarrow \infty \), we distinguish two different cases:
-
pre-critical case \(z_0 >1\), corresponding to \(0<t < t_c\) ,
-
post-critical case \(z_0<1\), corresponding to \(t_c<t\) .
Our goal now is to characterize the polynomial \(\pi _k(z)\) as a particular entry of the unique solution of a matrix-valued Riemann–Hilbert problem. Let us first define the complex moments
where, for simplicity, the dependence on k is suppressed in the notation. Introduce the auxiliary polynomial
Note that \(\Pi _{k-1}\) is not necessarily monic, and its degree may be less than \(k-1\): its existence is guaranteed just by requiring that the determinant in the denominator does not vanish.
Proposition 2.2
The determinant \(\det [\nu _{i+j}]_{0\le i,j\le k-1}\) does not vanish, and therefore \(\Pi _{k-1}(z)\) is well defined.
Proof
We have
where the last identity has been obtained by the reflection of the column index \(j\rightarrow k-1-j\). Due to Theorem 2.1, we have
and hence the second determinant is given by
Finally, the determinant on the right-hand side is strictly positive because
where the equality follows from the fact that the columns of the two matrices are related by a unimodular triangular matrix, while the inequality follows from the positivity of the measure. Finally, since \(\Gamma (z)\) has no zeros (and no poles since \(j-\gamma +1>0\)), the nonvanishing follows from (2.6). \(\square \)
Define the matrix
It is easy to verify that the matrix Y(z) is the unique solution of the following Riemann–Hilbert problem of Fokas–Its–Kitaev-type [27]:
-
1.
Piecewise analyticity:
$$\begin{aligned} Y(z) \text { is analytic in } \mathbb {C}{\setminus } \Sigma \text { and both limits } Y_{\pm }(z) \text { exist along } \Sigma , \end{aligned}$$(2.8) -
2.
Jump on \(\Sigma \):
$$\begin{aligned} Y_{+}(z) = Y_{-}(z)\begin{pmatrix}1&{} w_k(z) \\ 0 &{} 1 \end{pmatrix}\ , \quad z \in \Sigma , \end{aligned}$$(2.9) -
3.
Behaviour at \(z=\infty \):
$$\begin{aligned} Y(z) = \left( I+{{\mathcal {O}}}\left( \frac{1}{z}\right) \right) z^{k\sigma _3}\ ,\quad z \rightarrow \infty . \end{aligned}$$(2.10)
The last relation is obtained by noticing that if \(\Pi _{k-1}\) is given by (2.5), then the entry \(Y_{22}(z)\) of the matrix Y(z) in (2.7) satisfies
2.3 Initial Undressing Step
In order to simplify the subsequent analysis, we define the following modified matrix:
This matrix-valued function \(\tilde{Y}(z) \) satisfies the following Riemann–Hilbert problem:
-
1.
Piecewise analyticity:
$$\begin{aligned} \tilde{Y}(z)\text { is analytic in }\mathbb {C}{\setminus }(\Sigma \cup [0,1]). \end{aligned}$$ -
2.
Jumps on \(\Sigma \) and [0, 1]:
$$\begin{aligned} \tilde{Y}_{+}(z) = \tilde{Y}_{-}(z)\left\{ \begin{array}{cl} \displaystyle \begin{pmatrix}1&{} \hbox {e}^{-kV(z)} \\ 0 &{} 1 \end{pmatrix}, &{}\quad z \in \Sigma ,\\ &{}\\ \displaystyle \hbox {e}^{-\gamma \pi i\sigma _3}, &{} \quad z \in (0,1), \end{array}\right. \end{aligned}$$with V(z) as (2.4).
-
3.
Behavior at \(z=\infty \):
$$\begin{aligned} \tilde{Y}(z) = \left( I+{{\mathcal {O}}}\left( \frac{1}{z}\right) \right) z^{k\sigma _3}\ ,\quad z \rightarrow \infty \ . \end{aligned}$$ -
4.
Endpoint behavior at \(z=0\) and at \(z=1\):
$$\begin{aligned} \tilde{Y}(z)z^{-\frac{\gamma }{2}\sigma _3} = {{\mathcal {O}}}\left( 1\right) \quad z \rightarrow 0\ , \qquad \tilde{Y}(z)(z-1)^{\frac{\gamma }{2}\sigma _3} = {{\mathcal {O}}}\left( 1\right) \quad z \rightarrow 1\ . \end{aligned}$$
The polynomial \(\pi _k(z)\) is recovered from \(\tilde{Y}(z)\) as
3 Asymptotic Analysis in the Pre-critical Case
In order to analyze the large k behavior of \(\tilde{Y}(z)\), we use the Deift–Zhou nonlinear steepest descent method [22]. The first step to study the large k behavior of the matrix function \(\tilde{Y}(z)\) is to make a transformation \(\tilde{Y}(z)\rightarrow U(z)\) so that the Riemann–Hilbert problem for U(z) is normalized to the identity as \(|z|\rightarrow \infty \). For this purpose, we introduce a contour \({\mathcal {C}}\) homotopically equivalent to \(\Sigma \) in \(\mathbb {C}{\setminus } [0,1]\) and a function g(z) analytic off \({\mathcal {C}}\). Both the contour \({\mathcal {C}}\) and the function g(z) will be determined later. We assume that the function g(z) is of the form
where \(d\nu (s)\) is a positive measure with support on \({\mathcal {C}}\) such that
With this assumption, clearly, one has
where the logarithm is branched on the positive real axis.
3.1 First Transformation \(\tilde{Y}\rightarrow U\)
Since \({\mathcal {C}}\) is homotopically equivalent to \(\Sigma \) in \(\mathbb {C}{\setminus } [0,1]\), we can deform the contour \(\Sigma \) appearing in the Riemann–Hilbert problem for \(\tilde{Y}\) to \({\mathcal {C}}\). Define the modified matrix
where \(\ell \) is a real number, to be determined below. Then U(z) solves the following RHP problem:
-
1.
Piecewise analyticity:
$$\begin{aligned} U(z)\text { is analytic in }\mathbb {C}{\setminus }({\mathcal {C}}\cup [0,1]). \end{aligned}$$ -
2.
Jump discontinuity on \({\mathcal {C}}\):
$$\begin{aligned} U_{+}(z) = U_{-}(z)\begin{pmatrix}\hbox {e}^{-k(g_+(z)-g_-(z))}&{} \hbox {e}^{ k(g_+(z)+g_-(z)-\ell -V)}\\ 0 &{} \hbox {e}^{k(g_+(z) -g_-(z))} \end{pmatrix}. \end{aligned}$$(3.3) -
3.
Jump discontinuity on (0, 1):
$$\begin{aligned} U_{+}(z) = U_{-}(z)\hbox {e}^{-\gamma \pi i\sigma _3}. \end{aligned}$$ -
4.
Endpoint behavior at \(z=0\) and \(z=1\):
$$\begin{aligned} U(z)z^{-\frac{\gamma }{2}\sigma _3} = {{\mathcal {O}}}\left( 1\right) \quad z \rightarrow 0\ , \qquad U(z)(z-1)^{\frac{\gamma }{2}\sigma _3} = {{\mathcal {O}}}\left( 1\right) \quad z \rightarrow 1\ . \end{aligned}$$ -
5.
Large z boundary behavior:
$$\begin{aligned} U(z) = I+{{\mathcal {O}}}\left( \frac{1}{z}\right) \ ,\quad z \rightarrow \infty \ . \end{aligned}$$(3.4)
The polynomial \(\pi _k(z)\) is determined from U(z) by
3.1.1 The Choice of g-Function
In order to determine the function g and the contour \({\mathcal {C}}\), we impose that the jump matrix (3.3) becomes purely oscillatory for large k. This is accomplished if the following conditions are satisfied:
Next we show that we can find a function g and a contour \({\mathcal {C}}\) that satisfy the conditions (3.6). For this purpose, we use the following elementary result in the theory of boundary value problems.
Lemma 3.1
([29], p. 78) Let L be a simple closed contour dividing the complex plane into two regions \(D_+\) and \(D_-\), where \(D_+=\mathop {\mathrm{Int}}\limits (L)\) and \(D_-=\mathop {\mathrm{Ext}}\limits (L)\). Suppose that a function \(\psi (\zeta )\) defined on L can be represented in the form
where \(\psi _+(\zeta )\) is the boundary value of a function \(\psi _+(z)\) analytic for \(z\in D_+\) and \(\psi _-(\zeta )\) is the boundary value of a function \(\psi _-(z)\) analytic for \(z\in D_-\) and such that \(\psi _-(\infty )=0\). Then the Cauchy integral
can be represented in the form
The boundary values of the function \(\Phi \) on the two sides of the contour L then satisfy
Now we apply Lemma 3.1 to the function \(g'(z)\) that satisfies the differentiated boundary condition
The functions \(\psi _\pm (z)\) of Lemma 3.1 are \(\psi _+(z)=\dfrac{1}{z_0}\) and \(\psi _-(z)=-\dfrac{1}{z}\), and therefore the function \(g'(z)\) takes the form
so that the measure \(d\nu \) in (3.1) is given by
Integrating the relation (3.7) and using (3.2), one has
where \(\ell \) is an integration constant and \(\log z\) is analytic in \({\mathbb {C}}\backslash {\mathbb {R}}^+\). Performing the integral in (3.1) for a specific value of \(z\in {\mathcal {C}}\), say \(z = 0\), and deforming \({\mathcal {C}}\) to a circle of radius r, one can determine the value of \(\ell \):
The total integral of \(d\nu \) in (3.8) is normalized to one on any closed contour containing the point \(z=0\). However, we have to define the contour \({\mathcal {C}}\) so that \(d\nu (z)\) is a real and positive measure along \({\mathcal {C}}\). To this end, we introduce the function
Observe that \(\phi _r(z)\) is analytic across \({\mathcal {C}}\), namely \(\phi _{r+}(z)=\phi _{r-}(z)\), \(z\in {\mathcal {C}}\), and that
The next identity follows in a trivial way:
Imposing the relation (3.6) on (3.11), one has
This equation defines a family of contours that are closed for \(|z|\le r\) (easy to verify). Since the function \(-\log r+\dfrac{ r}{z_0}\) for \(r>0\) has a single minimum at \(r=z_0\) and diverges to \(+\infty \) for \(r\rightarrow 0\) and \(r\rightarrow \infty \), it is sufficient to consider only the values \(0<r\le z_0\).
We define the contour \({\mathcal {C}}_r\) associated with r as (see Fig. 4)
Since \( \partial _x{\text {Re}}\phi _r|_{y=0}=\dfrac{|x|}{x^2}-\dfrac{1}{z_0}>0\), for \(|x|<z_0\), \({\text {Re}}\phi _r(z)\) is negative inside \({\mathcal {C}}_r\). Note that the point \(z=0\) lies inside \({\mathcal {C}}_r\) since \({\text {Re}}\,\phi (z)\rightarrow -\infty \) for \(|z|\rightarrow 0\). Furthermore, \({\mathcal {C}}_r\) intersects the real line in the points \(z=r\) and \(z\in (-r,0)\). Indeed, \({\text {Re}}\,\phi (-r)>0\), which shows that the point \(z=-r\) lies outside \({\mathcal {C}}_r\).
Lemma 3.2
The a priori complex measure \(\nu \) in (3.8) is a probability measure on the contour \({\mathcal {C}}_r\) defined in (3.12) for \(0<r\le z_0\).
Proof
By the residue theorem, the measure \(d\nu \) has total mass 1 on any contour \({\mathcal {C}}_r\). Since \({\text {Re}}\phi _r=0\) on the contour \({\mathcal {C}}_r\), it follows that the measure \(d\nu =\dfrac{1}{2\pi i}d\phi _r\) is real on the contour \({\mathcal {C}}_r\). In order to show that the measure is positive on the contour \({\mathcal {C}}_r\), we introduce the variable
On the contour \({\mathcal {C}}_r\), we have that \( |\psi _r|=1\), so that in the \(\psi _r\)–plane, the contour \({\mathcal {C}}_r\) is mapped to a circle of radius one and the map \(\psi _r=\hbox {e}^{\phi _r}\) is a univalent conformal map from the interior of \({\mathcal {C}}_r\) to the interior of a circle [52]. We have
which shows that the measure \(d\nu \) in the variable \(\psi _r\) is a uniform measure on the circle, and therefore \(d\nu \) is a positive measure on each contour \({\mathcal {C}}_r\). \(\square \)
We are now ready to prove Lemma 1.3 and Lemma 1.6 given in the introduction.
Proof of Lemma 1.3
By using the residue theorem, it is straightforward to check that \(d\hat{\nu }\) is a probability measure on any contour \(\hat{{\mathcal {C}}}_r\) defined in (1.15). In the post-critical case, such curve \(\hat{{\mathcal {C}}}_r \) has s connected components \(\hat{{\mathcal {C}}}^j_r\), \(j=0,\ldots ,s-1\), each encircling exactly one root of the equation \(\lambda ^s=t\). In the pre-critical case, we denote with the same symbol \(\hat{{\mathcal {C}}}^j_r\) the connected components of \(\hat{{\mathcal {C}}}_r{\setminus }\{0\}\) together with \(\{0\}\).
With the appropriate choice of the branch of the \(s^{\text {th}}\) root, any \(\hat{{\mathcal {C}}}_{r}^{j}\) can be parametrized by the map \(\lambda (z):=(-t(z-1))^{\frac{1}{s}}\), which respects the orientations of \({\mathcal {C}}\) and \(\hat{{\mathcal {C}}}^{j}_{r}\) . Since \(\phi (z)=\hat{\phi }(\lambda (z))\), Eq. (1.16) implies
This relation, together with Lemma 3.2, where we proved that \(d\nu (z)\) is real and positive on \({\mathcal {C}}_{r}\), implies that \(d\hat{\nu }\) is also real and positive on any \(\hat{{\mathcal {C}}}^{j}_{r}\) and hence on the whole \(\hat{{\mathcal {C}}}_{r}\). \(\square \)
Proof of Lemma 1.6
By using the residue theorem, we first calculate the r.h.s. of (1.19), obtaining
Therefore (1.19) is equivalent to
which is equivalent to the equation for the boundary of D defined in (1.9). Next we show that the l.h.s. of (1.20) is equal to its r.h.s. By using Stokes’ theorem, the relation (1.10), and the residue theorem, one obtains
which coincides with (3.13). \(\square \)
3.1.2 Choice of the Contour
We now argue that the relevant contour on which the zeros of the orthogonal polynomials \(\pi _k(z)\) accumulate in the pre-critical case is given by the level \(r=1\). The family of contours \(0<r<1\) can be immediately ignored because in this case \(\Sigma \) has to be deformed to two contours \(\Sigma \simeq {\mathcal {C}}_{r<1}\cup \tilde{{\mathcal {C}}}\) as shown in Fig. 5. On the contour \(\tilde{{\mathcal {C}}}\), we have \({\text {Re}}(\phi )>0\), and it is not possible to perform any contour deformation to get exponentially small terms in the jump matrix (3.3) as \(k\rightarrow \infty \).
For \(1< r\le z_0\), the original contour \(\Sigma \) can be deformed homotopically to the contours \({\mathcal {C}}_r\). In this case, the asymptotic expansion of the matrix entry \(Y_{11}(z)=\pi _k(z)\) as \(k\rightarrow \infty \), does not give any sub-leading contribution. For this reason, we discard this case, and we omit the corresponding asymptotic analysis. The only possible case remains \(r=1\). In this case, the analysis as \(k\rightarrow \infty \) to the matrix entry \(Y_{11}(z)=\pi _k(z)\), which will be performed in Sects. 3.2 to 3.5, gives leading and be sub-leading terms. The comparison of these two terms enable us to locate the zeros of the polynomial \(\pi _k(z)\) on a contour that lies within a distance \({{\mathcal {O}}}\left( \log k/k\right) \) from the contour \({\mathcal {C}}_{r=1}\).
So for the reasons explained above, we are going to perform the asymptotic analysis of the RH problem (3.3)–(3.4) by deforming the contour \(\Sigma \) to the contour \({\mathcal {C}}_{r=1}\). For simplicity, we denote this contour by \({\mathcal {C}}\):
Also, for simplicity, the function \(\phi _{r=1}\) will be referred to as \(\phi \) below:
where \(\log z\) is analytic in \({\mathbb {C}}\backslash (-\infty ,0]\). With this choice of contour, the jump matrices of the RH problem (3.3)–(3.4) for the matrix U(z) are summarized in Fig. 6.
3.2 The Second Transformation \(U \mapsto T\)
Consider two extra loops \({\mathcal {C}}_{i}\) and \({\mathcal {C}}_{e}\) as shown in Fig. 7. These define new domains \(\Omega _{0}\), \(\Omega _{1}\), \(\Omega _{2}\), and \(\Omega _{\infty }\). Define the new matrix-valued function
Then T(z) satisfies the following Riemann–Hilbert problem:
-
1.
Piecewise analyticity:
$$\begin{aligned} T(z) \text { is analytic in }\mathbb {C}{\setminus }\left( {\mathcal {C}}_{e}\cup {\mathcal {C}} \cup {\mathcal {C}}_{i} \cup [0,1]\right) . \end{aligned}$$ -
2.
Jump discontinuities on \(\Sigma _T= {\mathcal {C}}_{e}\cup {\mathcal {C}} \cup {\mathcal {C}}_{i} \cup [0,1]\):
$$\begin{aligned} T_{+}(z)=T_{-}(z)v_{T}(z),\quad z\in \Sigma _T, \end{aligned}$$where
$$\begin{aligned} v_{T}(z)=\left\{ \begin{array}{cl} \begin{pmatrix}0&{}1\\ -1&{}0\end{pmatrix}, &{} z \in {\mathcal {C}},\\ \begin{pmatrix}1&{} 0 \\ \hbox {e}^{-k\phi (z)} &{} 1 \end{pmatrix}, &{} z \in {\mathcal {C}}_{e},\\ \begin{pmatrix}1&{} 0 \\ \hbox {e}^{k\phi (z)} &{} 1 \end{pmatrix}, &{} z \in {\mathcal {C}}_{i},\\ \hbox {e}^{-\gamma \pi i\sigma _3}, &{} z \in (0,1)\,. \end{array} \right. \end{aligned}$$ -
3.
Endpoint behavior at \(z=0\) and \(z=1\):
$$\begin{aligned} T(z)z^{-\frac{\gamma }{2}\sigma _3} = {{\mathcal {O}}}\left( 1\right) , \quad z \rightarrow 0\ , \qquad T(z)(z-1)^{\frac{\gamma }{2}\sigma _3} = {{\mathcal {O}}}\left( 1\right) , \quad z \rightarrow 1\ . \end{aligned}$$ -
4.
Large z boundary behavior:
$$\begin{aligned} T(z) = I+{{\mathcal {O}}}\left( \frac{1}{z}\right) \ ,\quad z \rightarrow \infty \ . \end{aligned}$$
Note that \(\hbox {e}^{k\phi (z)}\) is analytic in \(\mathbb {C}{\setminus } \{0\}\) . The important feature of this Riemann–Hilbert problem is that the jumps are either constant or they tend to the identity matrix as \(k \rightarrow \infty \) at an exponential rate.
Proposition 3.3
There exists a constant \(c_0>0\) so that
uniformly for \(z\in {\mathcal {C}}_e\cup {\mathcal {C}}_i\backslash {\mathcal{U}}_{1}\), where \({\mathcal{U}}_{1}\) is a small neighborhood of \(z=1\).
The proof of this proposition follows immediately from the fact that \({\text {Re}}\phi (z)<0\) for \(z\in \mathop {\mathrm{Int}}\limits ({\mathcal {C}})\backslash {\mathcal{U}}_1\) and \({\text {Re}}\phi (z)>0\) for \(z\in \mathop {\mathrm{Ext}}\limits ({\mathcal {C}})\backslash {\mathcal{U}}_1\). Here \(\mathop {\mathrm{Int}}\limits ({\mathcal {C}})\) is the interior region bounded by \({\mathcal {C}}\), and \(\mathop {\mathrm{Ext}}\limits ({\mathcal {C}})\) is the exterior region bounded by \({\mathcal {C}}\).
From the above proposition, it follows that
exponentially fast, where
3.3 The Outer Parametrix for Large z
We need to find a matrix-valued function \(P^{\infty }(z)\) analytic in \(\mathbb {C}{\setminus }({\mathcal {C}} \cup [0,1])\) such that it has jump discontinuities given by the matrix \(v^{\infty }(z)\) in (3.16); namely
with endpoint behavior
and large z boundary behaviour
Define
where
The k-independent matrix \(\tilde{P}^{\infty }(z)\) has no jump on \({\mathcal {C}}\), and it satisfies the following Riemann–Hilbert problem:
-
1.
Piecewise analyticity:
$$\begin{aligned} \tilde{P}^{\infty }\text { is holomorphic in }\mathbb {C}{\setminus } (0,1). \end{aligned}$$ -
2.
Jump discontinuity on (0, 1):
$$\begin{aligned} \tilde{P}_{+}^{\infty }(z)=\tilde{P}_{-}^{\infty }(z)\hbox {e}^{\gamma \pi i\sigma _3}. \end{aligned}$$ -
3.
Boundary behaviour at \(z=\infty \):
$$\begin{aligned} \tilde{P}^{\infty }(z) = I+{{\mathcal {O}}}\left( \frac{1}{z}\right) \ ,\quad z \rightarrow \infty \ . \end{aligned}$$
The solution to this Riemann–Hilbert problem is given by
which leads to the particular solution
3.4 The Local Parametrix at \(z=1\)
The aim of this section is to construct a local parametrix \(P^0(z)\) in a small neighborhood \({{\mathcal {U}}}_{1}\) of \(z=1\) having the same jump property as T for z near 1 and matching the outer parametric \(P^{\infty }(z)\) in the limit \(k\rightarrow \infty \) and \(z\in \partial {\mathcal{U}}_{1}\). Then the Riemann–Hilbert problem for \(P^0(z)\) is given by
and
In order to build such local parametrix near the point \(z=1\), we first construct a new matrix function B(z) from \(P^0(z)\):
where
The matrix B(z) satisfies the following jump relations in a neighborhood of 1:
Next we construct a solution to the so-called model problem, namely a Riemann–Hilbert problem that has the same jumps as B.
3.4.1 Model Problem
Consider the model problem for the \(2\times 2\) matrix function \(\Psi (\xi )\) analytic in \({\mathbb {C}}\backslash {\mathbb {R}}^{-}\) with boundary behavior
Defining
we obtain the following Riemann–Hilbert problem for \(\tilde{\Psi }(\xi )\):
where the function \(\xi ^{\gamma }\) is analytic in \({\mathbb {C}}\backslash (-\infty , 0]\) and \((\xi ^{\gamma })_{+}\) denotes the boundary from the right with respect to the contour \((-\infty ,0)\) oriented in the positive direction. This is an Abelian Riemann–Hilbert problem, and therefore easily solvable by the Sokhotski–Plemelj formula:
so that
In particular,
3.4.2 Construction of the Parametrix
We are now ready to specify the parametric \(P^0(z)\) which follows from combining (3.23) with (3.20); that is,
where \(\mathcal{Q}(z)\) and \(\chi (z)\) are defined in (3.21) and (3.17), respectively, and E(z) is an analytic matrix in a neighborhood of \({\mathcal {U}}_{1}\) and w(z) is a conformal mapping from a neighborhood of 1 to a neighborhood of 0.
The conformal map w(z) is specified by
We observe that
The matrix E(z) is obtained from condition (3.19), which, when combined with (3.24), gives
where we use the fact that \(\mathcal{Q}(z)\rightarrow I\) exponentially fast as \( k\rightarrow \infty ,\) and \(z\in \partial {\mathcal{U}}_{1}\). From the above expression, it turns out that the matrix E(z) takes the form
We observe that the function E(z) is single valued in a neighborhood of \({\mathcal{U}}_{1}\). Indeed, the jumps of \((z-1)^{\frac{\gamma }{2}\sigma _3}\) and \(w(z)^{-\frac{\gamma }{2}\sigma _3}\) cancel each other.
From the expression (3.25) and (3.26), the matching between \(P^0(z)\) and \(P^{\infty }(z)\) takes the form
for \(z\in \partial {\mathcal{U}}_{1}\), where \(\gamma \in (0,1)\).
3.4.3 Riemann–Hilbert Problem for the Error Matrix R
We now define the error matrix R in two regions of the plane, using our approximations to the matrix T. Set
The matrix R is piecewise analytic in \({\mathbb {C}}\) with a jump across the contour \({\mathcal {C}}_R={\mathcal {C}}_i\cup {\mathcal {C}}_e\cup \partial {\mathcal{U}}_1\) given in Fig. 8.
3.4.4 RH Problem for R
-
1.
R is analytic in \(\mathbb {C}{\setminus }{\mathcal {C}}_R\),
-
2.
For \(z\in {\mathcal {C}}_R\), we have
$$\begin{aligned} R_+(z)=R_-(z)v_R(z), \end{aligned}$$(3.29)with
$$\begin{aligned} v_R(z) =\left\{ \begin{array}{ll} P^{\infty }_-(z)v_T(z)\left( P_+^{\infty }(z)\right) ^{-1}, &{}\qquad z\in {\mathcal {C}}_R\backslash { \partial {\mathcal {U}}_{1}},\\ P^{\infty }(z)\left( P^{(0)}(z)\right) ^{-1}, &{}\qquad z\in \partial {\mathcal {U}}_{1}. \end{array}\right. \end{aligned}$$ -
3.
As \(z\rightarrow \infty \), we have
$$\begin{aligned} R(z)=I+{{\mathcal {O}}}\left( z^{-1}\right) . \end{aligned}$$
The jump matrices across the contour \({\mathcal {C}}_R{\setminus } \partial {\mathcal {U}}_{1}\) are all exponentially close to I for large k because \(v_{T}\) converges exponentially fast to \(v^{\infty }\) defined in (3.16) and the product \(P^{\infty }_-(z)v^{\infty }(z) \left( P_+^{\infty }(z)\right) ^{-1}=I\) with \(P^{\infty }(z)\) defined in (3.18). The only jump that is not exponentially small is the one on \(\partial {\mathcal {U}}_{1}\), since from (3.27), for any integer \(M>2\), we have
with the shift matrix \(\Lambda \) defined in (3.23). By employing the notation
we can rewrite the matrix \(v_R(z)\) in the form
where, in particular, (3.24) implies
By a standard perturbation theory argument, one has the expansion
which gives, using (3.29), (3.30), and (3.32),
Therefore,
where we observe that the function \(v_R^{(1)}(z)\) has a simple pole in \(z=1\) with expansion
By a simple residue calculation, we obtain
In general, given the structure of the jump matrix (3.30) the error matrix \(R^{(j)}(z)\) in (3.32) is of the form
namely, only the (1, 2)-entry of the matrices \( R^{(j)}(z)\) is non-zero. From (3.28) and (3.32) one has
where, in particular, the first term \(R^{(1)}(z)\) is given in (3.33).
3.5 Proof of Theorem 1.8: asymptotics for \(p_n(\lambda )\) for \(z_0 >1\)
In order to obtain the asymptotic expansion of the polynomials \(p_n(\lambda )\) for \(n\rightarrow \infty \), and \(NT=n-l\), we first derive the asymptotic expansion of the reduced polynomials \(\pi _k(z)\) for \(k\rightarrow \infty \) with \(n=sk+l\). For this purpose, we use (3.5), (3.15), (3.33), and (3.35) to obtain
From the above relation, we obtain the expansions in the following regions.
The exterior region \(\Omega _{\infty }\).
In this region, from (3.34) and (3.35), for any integer \(M\ge 2\), we have
on any compact subset of \(\Omega _{\infty }\). Therefore there are no zeros accumulating in this region.
The interior region \(\Omega _{0}{\setminus } {\mathcal {U}}_{1}\):
The leading term of the above expansion is of order \({{\mathcal {O}}}\left( k^{-1-\gamma }\right) \), so there are no zeros in this region.
The interesting region \(\Omega _{1}{\setminus } {\mathcal {U}}_{1}\),
where \(\hbox {e}^{k\phi (z)}\) is uniformly bounded on \(\Omega _1 \subset \{{\text {Re}}(\phi ) \le 0\}\).
The other interesting region \(z \in \Omega _{2}{\setminus } {\mathcal {U}}_{1}\):
where \(\hbox {e}^{-k\phi (z)}\) is uniformly bounded on \(\Omega _2 \subset \{{\text {Re}}(\phi ) \ge 0\}\).
The region \( {\mathcal {U}}_{1}\): for \(z\in {\mathcal {U}}_{1}\cap \mathop {\mathrm{Ext}}\limits ({\mathcal {C}})\),
for \(z\in {\mathcal {U}}_{1}\cap \mathop {\mathrm{Int}}\limits ({\mathcal {C}})\),
where \(\tilde{\Psi }_{12}\) is the (1, 2)-entry of the matrix \(\tilde{\Psi }\) defined in (3.22) and \(v_R^{(1)}(z)\) has been defined in (3.31). Here \(\mathop {\mathrm{Int}}\limits ({\mathcal {C}})\) and \(\mathop {\mathrm{Ext}}\limits ({\mathcal {C}})\) are the interior and exterior of \({\mathcal {C}}\), respectively.
In order to obtain the asymptotic behavior of the polynomials \(p_n(\lambda )\), we use the substitution
which gives the relations (1.22)–(1.24) in Theorem 1.8. \(\square \)
Proposition 3.4
The support of the counting measure of the zeros of the polynomials \(\pi _k(z)\) outside an arbitrary small disk \({\mathcal{U}}_1\) surrounding the point \(z=1\) tends uniformly to the curve \({\mathcal {C}}\) defined in (1.18). The zeros are within a distance o(1 / k) from the curve defined by
where the function \(\phi (z)\) has been defined in (3.14). The curves in (3.39) approach \({\mathcal {C}}\) at the rate \({{\mathcal {O}}}\left( \log k /k\right) \) and lie in \(\mathop {\mathrm{Int}}\limits ({\mathcal {C}})\). The normalized counting measure of the zeros of \(\pi _k(z)\) converges to the probability measure \(\nu \) defined in (3.8).
Proof
Observing the asymptotic expansion (3.36) of \(\pi _k(z)\) in \(\Omega _\infty {\setminus } {\mathcal{U}}_1\), it is clear that \(\pi _k(z)\) does not have any zeros in that region, since \(z=0\) and \(z=1\) do not belong to \(\Omega _\infty {\setminus } {\mathcal{U}}_1\). The same reasoning applies to the region \(\Omega _0{\setminus } {\mathcal{U}}_1\), where there are no zeros of \(\pi _k(z)\) for k sufficiently large.
From the relations (3.37) and (3.38), one has that in \(\Omega _1\cup \Omega _2\), using the explicit expression of g(z) defined in (3.9),
The zeros of \(\pi _k(z)\) may only lie asymptotically where the expression
is equal to zero. Since \(\Omega _2 \subset \{{\text {Re}}(\phi ) \ge 0\}\) and \(\Omega _1 \subset \{{\text {Re}}(\phi ) \le 0\}\), it follows that the zeros of \(\pi _k(z)\) may lie only in the region \(\Omega _1\) and such that \({\text {Re}}\phi (z)={{\mathcal {O}}}\left( \log k / k\right) \). Namely, the zeros of the polynomials \(\pi _k(z)\) lie on the curve given by (3.39) with an error of order \({{\mathcal {O}}}\left( 1/k^2\right) \). Such curves converge to the curve \({\mathcal {C}}\) defined in (1.18) at a rate \({{\mathcal {O}}}\left( \log k /k\right) \) (see Fig. 9).
We now know that the zeros of \(\pi _k(z)\) accumulate on the curve \({\mathcal {C}}\). We still need to determine the asymptotic zero distribution. Due to the strong asymptotic of \(\pi _k(z)\), we have from (3.36),
uniformly on compact subsets of the exterior of \({\mathcal {C}}\). Furthermore, \({\mathcal {C}}\) is the boundary of its polynomial convex hull. Then it follows that the measure \(d\nu \) in (3.8) is the weak-star limit of the zeros distribution of the polynomials \(\pi _k(z)\) (see [44], Theorem 2.3 and [49] Chapter 3). \(\square \)
4 Post-critical Case
In this section, we assume that
To perform the analysis similar to the pre-critical case, one has to choose the appropriate contour from the homotopy class of the contour \(\Sigma \) that encircles the branch cut [0, 1]. Since the point \(z_0\) is lying in (0, 1), the family of curves \({\mathcal {C}}_r\) , \(0<r\le z_0\), defined in (3.12) are loops encircling \(z=0\) and crossing the real line in \(z=r\). The regions where \({\text {Re}}\phi _r(z)<0\) with \(\phi _r(z)\) defined in (3.10) are depicted in Fig. 10 in red for two values of the parameter r.
In order to perform the asymptotic analysis of the Riemann–Hilbert problem (2.8), (2.9), and (2.10), we need to deform \(\Sigma \) to a homotopic contour \({\mathcal {C}}_r\cup {\mathcal {C}}_o\) in such a way that the \({\text {Re}}\phi _r(z)\) is negative on \({\mathcal {C}}_o\).
It is clear from Fig. 10 that the only possibility is to deform the contour \(\Sigma \) to the contour \({\mathcal {C}}_{z_0}\cup {\mathcal {C}}_o\) with \({\mathcal {C}}_o\) as depicted in Fig. 11. To simplify the notation, we define the following.
Definition 4.1
Let
with
and
with \(\phi _{z_0}(z)\) defined in (3.10) and \({\mathcal {C}}_{z_0}\) defined in (3.12).
According to (3.11), on the contour \({\mathcal {C}}\) we have
where
4.1 First Transformation \(\tilde{Y} \mapsto S\)
Since \({\mathcal {C}}\cup {\mathcal {C}}_{o}\) is homotopically equivalent to \(\Sigma \) in \(\mathbb {C}{\setminus } [0,1]\) when \(z_0<1\), we can deform the contour \(\Sigma \) appearing in the Riemann–Hilbert problem (2.8)–(2.10) for the matrix \(\tilde{Y}(z)\) to \({\mathcal {C}}\cup {\mathcal {C}}_{o}\). Define the modified matrix
where \(\tilde{Y}(z)\) has been defined in (2.11). Then the matrix S(z) is the unique solution of the following Riemann-Hilbert problem with standard large z behavior at \(z=\infty \):
-
1.
S(z) is analytic for \(z\in \mathbb {C}{\setminus }({\mathcal {C}}\cup {\mathcal {C}}_o\cup [0,1])\).
-
2.
Jump discontinuities (with \(\phi (z)\) as in (4.1)) (Fig. 12):
$$\begin{aligned} S_{+}(z) = S_{-}(z) \left\{ \begin{array}{cl} \hbox {e}^{k\phi (z)\sigma _3}, &{} z \in {\mathcal {C}},\\ \begin{pmatrix}1&{} \hbox {e}^{k\phi (z)} \\ 0 &{} 1 \end{pmatrix}, &{} z \in {\mathcal {C}}_{o},\\ \hbox {e}^{-\gamma \pi i\sigma _3}, &{} z\in (0,1){.} \end{array}\right. \end{aligned}$$ -
3.
Endpoint behavior at \(z=0\) and \(z=1\):
$$\begin{aligned} S(z)z^{-\frac{\gamma }{2}\sigma _3}&= {{\mathcal {O}}}\left( 1\right) , \quad z \rightarrow 0\\ S(z)(z-1)^{\frac{\gamma }{2}\sigma _3}&= {{\mathcal {O}}}\left( 1\right) , \quad z \rightarrow 1\ . \end{aligned}$$ -
4.
Large z boundary behavior:
$$\begin{aligned} S(z) = I+{{\mathcal {O}}}\left( \frac{1}{z}\right) \ ,\quad z \rightarrow \infty \ . \end{aligned}$$
The orthogonal polynomials \(\pi _k(z)\) are recovered from the matrix S(z) using the relation
4.2 The Second Transformation \(S \mapsto T\): Opening of the Lenses
Consider two extra loops \({\mathcal {C}}_{i}\) and \({\mathcal {C}}_{e}\) as shown in Fig. 13. These define new domains \(\Omega _{0}\), \(\Omega _{1}\), \(\Omega _{2}\), and \(\Omega _{\infty }\). Define
Then this matrix-valued function has the following jump discontinuities:
where \(\Sigma _T\) is contour defined in Fig. 13.
Endpoint behavior:
Large z boundary behaviour:
Proposition 4.2
There exists a constant \(c_0>0\) so that
uniformly for \(z\in {\mathcal {C}}_o\cup {\mathcal {C}}_i\cup {\mathcal {C}}_e\backslash {\mathcal{U}}_{z_0}\), where \({\mathcal{U}}_{z_0}\) is a small neighborhood of \(z_0\).
The proof of the proposition follows in a straightforward way by observing that by contruction (see Fig. 11), \({\text {Re}}\phi (z)>0\) for \(z\in {\mathcal {C}}_e\backslash {\mathcal{U}}_{z_0}\) and \({\text {Re}}\phi (z)<0\) for \(z\in {\mathcal {C}}_i\cup {\mathcal {C}}_o\backslash {\mathcal{U}}_{z_0}\). Therefore we have
exponentially fast, where
The polynomials \(\pi _{k}(z)\) can be expressed in terms of T(z) in the following way:
4.3 The Outer Parametrix for Large z
Ignoring the exponentially small jumps and a small neighborhood \({\mathcal {U}}_{z_0}\) of \(z_0\) where the uniform exponential decay does not remain valid, we are led to the following RH problem for \(P^{(\infty )}\):
-
1.
\(P^{(\infty )}\) is holomorphic in \(\mathbb {C}{\setminus } ({\mathcal {C}} \cup [0,1])\),
-
2.
\(P^{(\infty )}\) satisfies the following jump conditions on \({\mathcal {C}}\) and (0, 1):
$$\begin{aligned} P_+^{(\infty )}(z)= P_-^{(\infty )}(z) \left\{ \begin{array}{ll} \begin{pmatrix} 0&{}1\\ -1&{}0\end{pmatrix}, &{} z\in {\mathcal {C}},\\ &{}\\ \hbox {e}^{-\pi i \gamma \sigma _{3}}, &{}z\in (0,1){.} \end{array}\right. \end{aligned}$$ -
3.
\(P^{(\infty )}(z)\) has the following behavior as \(z\rightarrow \infty \):
$$\begin{aligned} P^{\infty }(z) = I+{{\mathcal {O}}}\left( \frac{1}{z}\right) \ ,\quad z \rightarrow \infty \ . \end{aligned}$$
The above Riemann-Hilbert problem can be solved explicitly in terms of the piecewise defined matrix function
Define
The matrix \(\tilde{P}^{\infty }(z)\) has no jump on \({\mathcal {C}}\), and it satisfies the following RHP:
-
1.
\(\tilde{P}^{\infty }\) is holomorphic in \(\mathbb {C}{\setminus } [0,1]\),
-
2.
Jump across (0, 1):
$$\begin{aligned} \tilde{P}_{+}^{\infty }(z)=\tilde{P}_{-}^{\infty }(z)\left\{ \begin{array}{lc} \hbox {e}^{\gamma \pi i\sigma _3}, &{} z \in (0,z_0),\\ &{}\\ \hbox {e}^{-\gamma \pi i\sigma _3}, &{} z \in (z_0,1){.} \end{array}\right. \end{aligned}$$ -
3.
Large z boundary behavior:
$$\begin{aligned} \tilde{P}^{\infty }(z) = I+{{\mathcal {O}}}\left( \frac{1}{z}\right) \ ,\quad z \rightarrow \infty \ . \end{aligned}$$
A particular solution is given by
which leads to the particular solution
4.4 The Local Parametrix at \(z=z_0\)
The aim of this section is to construct a local parametrix \(P^0(z)\) in a small neighborhood \({{\mathcal {U}}}_{z_0}\) of \(z_0\) having the same jump properties as T(z) for z near \(z_0\) and matching the outer parametric \(P^{\infty }(z)\) in the limit \(k\rightarrow \infty \) for \(z\in \partial {\mathcal{U}}_{z_0}\).
4.4.1 RH Problem for \(P^{0}(z)\)
-
1.
\(P^{0}(z)\) is analytic for \(z\in \overline{ {\mathcal{U}}}_{z_0}{\setminus } \Sigma _T\),
-
2.
\(P_+^{0}(z)=P_-^{0}(z)v_T(z)\) for \(z\in {\mathcal{U}}_{z_0}\cap \Sigma _T\),
-
3.
for \(z\in \partial {\mathcal{U}}_{z_0}\), we have
$$\begin{aligned} P^0(z)=P^{\infty }(z)(I+o(1))\qquad \text{ as } k\rightarrow \infty \text{ and } z\in \partial {{\mathcal {U}}}_{z_0}\text{. } \end{aligned}$$(4.5)
In order to build such a local parametrix near the point \(z=z_0\), we first construct a new matrix function B(z) from \(P^0(z)\). Let us first define
and the matrix \(\mathcal{Q}\) as follows:
Then the matrix B(z) is defined from \(P^0(z)\) by the relation
The matrix B(z) satisfies the jump relations specified in Fig. 14 in a neighborhood of \(z_0\). In the next section, we construct the solution of the so-called model problem, namely, a \(2\times 2\) matrix \(\Psi \) that has the same jumps as the matrix B.
4.4.2 Model Problem
Consider the model problem for the \(2\times 2\) matrix function \(\Psi (\xi )\) analytic in \({\mathbb {C}}\backslash \{{\mathbb {R}}\cup i{\mathbb {R}}\}\) with jumps and boundary behavior
with \(\Psi _1\), \(\Psi _2\), and \(\Psi _3\) constant matrices (independent of \(\xi \)) and where the matrix \(v_{\Psi }(\xi )\) is defined as
The solution of the Riemann–Hilbert problem (4.9) and (4.10) is obtained in the following way [22, 37, 46]. Recall the parabolic cylinder equation
(see, e.g., Chapter 19, [1]). This equation has a nontrivial solution \({\mathcal {U}}(a,\xi )\) associated with any \(a\in {\mathbb {C}}\) specified by the asymptotic behavior
which is an entire analytic function of \(\xi \). Three other solutions can be obtained by symmetry:
The relations among the above four solutions are
Moreover, solutions for a and \(a+1\) are connected by
By using (4.13)–(4.15), the solution of the Riemann–Hilbert problem (4.9) and (4.10) takes the form
where
Furthermore, from (4.12) one obtains the extra terms of the asymptotic expansion of \(\Psi (\xi )\) as \(\xi \rightarrow \infty \):
namely,
4.4.3 Construction of the Local Parametrix
From (4.8) and the previous section, we are now ready to specify the form of the local parametrix at \(z=z_0\), by
where E(z) is an analytic matrix in a neighborhood of \({\mathcal{U}}_{z_0}\), the matrix \(\Psi \) has been defined in (4.16), and \(\Delta (z)\) and \(\mathcal{Q}(z)\) have been defined in (4.6) and (4.7), respectively. The function w(z) is a conformal mapping from a neighborhood of \(z_0\) to a neighborhood of 0, and it is specified by
We observe that
The matrix E(z) is obtained from condition (4.5), which, when combined with (4.18), gives
where we used the fact that \(\mathcal{Q}(z)\rightarrow \chi (z)^{-1}\) exponentially fast as \( k\rightarrow \infty ,\) and \(z\in \partial {\mathcal{U}}_{z_0}\). From the above expression and (4.5), it turns out that the matrix E(z) takes the form
We observe that the function E(z) is single valued in a neighborhood of \({\mathcal{U}}_{z_0}\). Indeed, the boundary values of \((z-z_0)^{\gamma \sigma _3}\) and \(w^{-\gamma \sigma _3}\) cancel each other. The boundary value of \((z(z-1))^{\gamma }_+=(z(z-1))^{\gamma }_-\hbox {e}^{2\pi i\gamma }\), so that \(\Delta (z)(z(z-1))^{\frac{\gamma }{2}\sigma _3}\) remains single valued in a neighborhood of \(z_0\).
From the expression (4.21) and (4.22), the matching between \(P^0(z)\) and \(P^{\infty }(z)\) takes the form
where \(\gamma \in (0,1)\). It is clear from the above expression that the (2, 1)-entry of the matrix above is not small as \(k\rightarrow \infty \). For this reason, we need to introduce an improvement of the parametrix.
4.5 Improvement of the Local Parametrix
In order to have a uniformly small error for \(k\rightarrow \infty \), we have to modify the parametrices as in [10, 14, 15]:
where C is a nilpotent matrix to be determined and
where the matrix \(\Psi _1\) has been defined in (4.10) and
With those improved definitions of the parametrices, \(\hat{P}^{\infty }(z)\) and \(\hat{P}^{0}(z)\) have the same Riemann–Hilbert jump discontinuities as before but they might have poles at \(z=z_0\). Note that \(\hat{E}(z)\) also has a pole at \(z=z_0\). However, we can choose C in such a way that \(\hat{P}^{0}(z)\) is bounded in \(z_0\). This is accomplished by
where
From the above relation, the matrix C takes the form
and
The improved parametrix gives the following matching between \(\hat{P}^{\infty }(z)\) and \(\hat{P}^0(z)\) as \(k\rightarrow \infty \) and \(z_0\in \partial {\mathcal{U}}_{z_0}\) :
which shows that \(\hat{P}^{\infty }(z)(\hat{P}^{0}(z))^{-1}= I+{{\mathcal {O}}}\left( 1/k^{\alpha }\right) \), \(\alpha >0\), as \(k\rightarrow \infty \) when \(z_0\in \partial {\mathcal{U}}_{z_0}\) for \(\gamma \in [0,1)\).
4.5.1 Riemann–Hilbert Problem for the Error Matrix R
We now define the error matrix R in two regions of the plane, using our approximations to the matrix T. Set
The matrix R is piecewise analytic in \({\mathbb {C}}\) with a jump across \(\Sigma _R\) (see Fig. 15).
Riemann–Hilbert problem for R
-
1.
R is analytic in \(\mathbb {C}{\setminus } \Sigma _R\),
-
2.
For \(z\in \Sigma _R\), we have
$$\begin{aligned} R_+(z)=R_-(z)v_R(z), \end{aligned}$$(4.27)with
$$\begin{aligned} v_R(z)= \left\{ \begin{array}{ll} \hat{P}^{\infty }_-(z)v_T(z)\left( \hat{P}_+^{\infty }(z)\right) ^{-1}, &{}\quad z\in \Sigma _R\backslash \partial {\mathcal {U}}_{z_0},\\ \hat{P}^{\infty }(z)\left( \hat{P}^{(0)}(z)\right) ^{-1}, &{}\quad z\in \partial {\mathcal {U}}_{z_0}. \end{array}\right. \end{aligned}$$ -
3.
As \(z\rightarrow \infty \), we have
$$\begin{aligned} R(z)=I+{{\mathcal {O}}}\left( z^{-1}\right) . \end{aligned}$$
The jump matrices across the contour \(\Sigma _R \backslash \partial {\mathcal {U}}_{z_0}\) are all exponentially close to I for large k because \(v_{T}(z)\) converges exponentially fast to \(v^{\infty }(z)\) defined in (4.2) for \(z\in {\mathbb {C}}\backslash {\mathcal{U}}_{z_0}\) and the product
with \(P^{\infty }(z)\) defined in (4.4) and C in (4.23). The only jump that is not exponentially small is the one on \(\partial {\mathcal {U}}_{z_0}\). Indeed, one has from (4.25),
where
and we have substituted the explicit expressions of the matrix \(\Psi _1\), \(\Psi _2\) and \(\Psi _3\) as given by (4.19).
We have the following two cases depending on the value of \(\gamma \in (0,1)\):
-
(a)
\(0< \gamma < \frac{1}{2}\):
$$\begin{aligned} v_R(z)=\hat{P}^{\infty }(z)(\hat{P}^{0}(z))^{-1}=I+\dfrac{v_R^1(z)}{ k^{\frac{1}{2}+\gamma }}+{{\mathcal {O}}}\left( k^{-1}\right) , \end{aligned}$$(4.29)where
$$\begin{aligned} v_R^1(z)=-\dfrac{\gamma e(z)^2}{2w(z)\beta _{21}}\begin{pmatrix}0&{}1\\ 0&{}0\end{pmatrix}. \end{aligned}$$(4.30) -
(b)
\( \frac{1}{2}\le \gamma <1\):
$$\begin{aligned} v_R(z)=\hat{P}^{\infty }(z)(\hat{P}^{0}(z))^{-1}&=I+\dfrac{v_R^{(1)}(z)}{ k^{\frac{3}{2}-\gamma }}+\dfrac{v_R^{(2)}(z)}{ k}+\dfrac{v_R^{(3)}(z)}{ k^{\frac{1}{2}+\gamma }}+{{\mathcal {O}}}\left( k^{\gamma -\frac{5}{2}}\right) .\nonumber \\ \end{aligned}$$(4.31)where
$$\begin{aligned} v_R^{(1)}(z)&=\left( \dfrac{ c^2 }{\beta _{21}}\dfrac{w(z) e(z)^2 }{(z-z_0)^2 }+\dfrac{c(1-\gamma )}{2w(z)^2 (z-z_0)}+\dfrac{(1-\gamma )}{2\beta _{12}w(z)^3e(z)^2}\right) \begin{pmatrix}0&{}0\\ 1&{}0\end{pmatrix}\nonumber \\ v_R^{(2)}(z)&=\left( \dfrac{\gamma c}{2\beta _{21}}\dfrac{e(z)^2}{w(z)(z-z_0)}+\dfrac{\gamma (1-\gamma )}{4 w(z)^2}\right) \sigma _3\nonumber \\ v_R^{(3)}(z)&=-\dfrac{\gamma e(z)^2}{2w(z)\beta _{21}}\begin{pmatrix}0&{}1\\ 0&{}0\end{pmatrix}. \end{aligned}$$(4.32)
By the standard theory of small norm Riemann–Hilbert problems, one has a similar expansion for R(z) in the large k limit.
4.5.2 Case (a) \(0< \gamma <\frac{1}{2}\):
Compatibility of (4.27), (4.29), and (4.33) and the jump condition \(R_+=R_-\hat{v}_R\) on \(\partial {\mathcal {U}}_{z_0}\) gives the following relations:
with \(v^{(1)}_R(z)\) defined in (4.30). In addition \(R^{(1)}(z)\) is analytic in \({\mathbb {C}}\backslash \partial {\mathcal {U}}_{z_0}\) and \(R^{(1)}(\infty )=0\). The unique function that satisfies those conditions is given by
where the integral is taken along \(\partial {\mathcal{U}}_{z_0}\). Using the definition of \(\beta _{21}\) , \(w'(z)\), and e(z) given in (4.17), (4.20), and (4.28), respectively, one has
with the constant c defined in (4.24).
4.5.3 Case (b) \(\frac{1}{2}\le \gamma <1\):
Compatibility of (4.27), (4.31), and (4.34) and the jump condition \(R_+=R_-\hat{v}_R\) on \(\partial {\mathcal {U}}_{z_0}\) gives the following relations:
with \(v^{(i)}_R(z)\) defined in (4.32). In addition, \(R^{(i)}(z)\) is analytic in \({\mathbb {C}}\backslash \partial {\mathcal {U}}_{z_0}\) and \(R^{(i)}(\infty )=0\).
Since \(v^{(1)}_R(z)\) has a third order pole at \(z=z_0\), the unique function that satisfies those conditions is given by
Given the structure of the matrix \(\hat{P}^0(z)\), the matrix \(R^{(1)}(z)\) does not give any relevant contribution to the orthogonal polynomials \(\pi _k(z)\).
Regarding \(R^{(2)}(z)\), one has
so that, using (4.17), (4.20), (4.24), and (4.28), one obtains
In a similar way for \(R^{(3)}(z)\), we obtain
so that
with the constant c defined in (4.24).
4.5.4 Proof of Theorem 1.9: asymptotics for \(p_n(\lambda )\) for \(0<z_0<1\)
In order to obtain the asymptotic expansion of the polynomials \(p_n(\lambda )\) for \(n\rightarrow \infty \), \(NT=n-l\), and \(0<z_0<1\), we first derive the asymptotic expansion of the reduced polynomials \(\pi _k(z)\) as \(k\rightarrow \infty \).
Using the relation (4.3) and the relation (4.26), one obtains
4.5.5 The Region \((\Omega _{\infty }\cup \Omega _{3}){\setminus } {\mathcal {U}}_{z_0}\):
4.5.6 The Region \(\Omega _{0}{\setminus } {\mathcal {U}}_{z_0}\):
with c defined in (4.24).
4.5.7 The Region \(\Omega _{1}{\setminus } {\mathcal {U}}_{z_0}\):
with c defined in (4.24) and where we observe that \({\text {Re}}\phi (z)\le 0 \) in \(\Omega _1\). In a similar way, we can obtain the expansion in the region \(\Omega _{2}{\setminus } {\mathcal {U}}_{z_0}\).
4.5.8 The Region \(\Omega _{2}{\setminus } {\mathcal {U}}_{z_0}\):
where now we observe that \({\text {Re}}\phi (z)\ge 0\) in \(\Omega _2\).
4.5.9 The Region \( {\mathcal {U}}_{z_0}\):
Using the relations (4.35), (4.16), (4.13), and (4.14), one obtains
where \({\mathcal {U}}\) is the parabolic cylinder function that solves Eq. (4.11). For \(z\in {\mathcal {U}}_{z_0}\cap \mathop {\mathrm{Int}}\limits ({\mathcal {C}})\), we have
In order to prove Theorem 1.8, it is sufficient to use the above expansions, make the change of coordinates \(\lambda ^s=-t(z-1)\), and use for \(n=ks+l\) the relation
\(\square \)
Proposition 4.3
The support of the counting measure of the zeros of the polynomials \(\pi _k(z)\) for \(0<t<t_c\) outside an arbitrary small disk \({\mathcal{U}}_{z_0}\) surrounding the point \(z=z_0\) tends uniformly to the curve \({\mathcal {C}}\) defined in (1.18). The zeros are within a distance o(1 / k) from the curve defined by
where the function \(\phi (z)\) has been defined in (3.14). Such curves tends to \({\mathcal {C}}\) at a rate \({{\mathcal {O}}}\left( \log k /k\right) \). The normalized counting measure of the zeros of \(\pi _k(z)\) converges to the probability measure \(\nu \) defined in (3.8).
Proof
As in the proof of Proposition 3.4, it is clear from the above expansions of the polynomials \(\pi _k(z)\) that there are no zeros in the region \((\Omega _{\infty }\cup \Omega _{3}\cup \Omega _0){\setminus } {\mathcal {U}}_{z_0}\) for sufficiently large k. Then we observe that the asymptotic expansion of the polynomials \(\pi _k(z)\) in the regions \(\Omega _1\cup \Omega _{2}{\setminus } {\mathcal {U}}_{z_0}\) takes the form
so that we conclude that the zeros of \(\pi _k(z)\) occur in the region where
is equal to zero.
Since \(\Omega _2 \subset \{{\text {Re}}(\phi ) \ge 0\}\) and \(\Omega _1 \subset \{{\text {Re}}(\phi ) \le 0\}\), it follows that the zeros of \(\pi _k(z)\) may lie only in the region \(\Omega _1\) and such that \({\text {Re}}\phi (z)={{\mathcal {O}}}\left( \log k/ k\right) \). Namely, the zeros of the polynomials \(\pi _k(z)\) lie on the curve given by (4.36) with an error of order \({{\mathcal {O}}}\left( 1/k^2\right) \). Such curves converge to the curve \({\mathcal {C}}\) defined in (1.18) at a rate \({{\mathcal {O}}}\left( \log k/k\right) \) (see Fig. 16).
The proof of the remaining points of Proposition 4.3 follows the lines of the proof of Proposition 3.4. \(\square \)
5 Proof of Theorem 1.4
From the comments after the statement of Theorem 1.8 and Theorem 1.9, it is clear from (1.25) and (1.27) that the zeros of the polynomials \(p_n(\lambda )\) accumulate in the limit \(n=ks+l\rightarrow \infty \), with s and l given and \(l=0,\ldots ,s-2\), along the curve \(\hat{{\mathcal {C}}}\) defined in (1.17). In order to show that the measure \(\hat{\nu }\) is the weak-star limit of the zero density \(\nu _n\), we will show that
for \(\lambda \) in compact subsets of the exterior of \(\hat{{\mathcal {C}}}\) (namely, the unbounded component of \({\mathbb {C}}{\setminus } \hat{{\mathcal {C}}}\)). Indeed, using the relation
one has
Using Proposition 3.4 and the relation \(d\nu (z(\lambda ))=s\, d\hat{\nu }(\lambda )\), we get
where \(\hat{{\mathcal {C}}}^{j}\) (\(j=0,\ldots ,s-1\)) are the components of \(\hat{{\mathcal {C}}}\) (as defined in the proof of Lemma 1.3). Since on each \(\hat{{\mathcal {C}}}^{j}\) we have that \(d\hat{\nu }\) is normalized to \(\frac{1}{s}\), we obtain
with \(\omega =\hbox {e}^{\frac{2\pi i}{s}}\) and where in the last steps we used the symmetry of \(d\hat{\nu }\). Hence we have obtained the relation
uniformly for \(\lambda \) in compact subsets of unbounded component of \({\mathbb {C}}\backslash \hat{{\mathcal {C}}}\). Furthermore, \(\hat{{\mathcal {C}}}\) is the boundary of its polynomial convex hull. Then it follows that the measure \(\hat{\nu }\) is the weak-star limit of the zero counting measure \( \nu _n\) of the polynomials \(p_n(\lambda )\) for \(n=kd+l\), \(l=0,\ldots ,s-2\) (see [44] and [49] Chapter 3). The proof of Theorem 1.4 is then completed.
Notes
For simplicity, we use the simpler notation \(p_n(\lambda )\) instead of \(p_{n,N}(\lambda )\), even though the orthogonal polynomials depend on the value of the scaling parameter N.
To be precise, the equality on the support is valid only up to a set of capacity zero [49].
References
Abramowitz, M., Stegun, I.: Handbook of Mathematical Functions. Dover, New York (1965)
Akemann, G.: Microscopic universality of complex matrix model correlation functions at weak non-Hermiticity. Phys. Lett. B 547, 100–108 (2002)
Ameur, Y., Hedenmalm, H., Makarov, N.: Fluctuations of eigenvalues of random normal matrices. Duke Math. J. 159, 31–81 (2011)
Ameur, Y., Hedenmalm, H., Makarov, N.: Random normal matrices and ward identities. Ann. Probab. 43(3), 1157–1201 (2015)
Ameur, Y., Kang, N.-G., Makarov, N.: Rescaling Ward identities in the random normal matrix model. Preprint arXiv:1410.4132
Balogh, F., Bertola, M., Lee, S.-Y., McLaughlin, K.D.T.-R.: Strong asymptotics of the orthogonal polynomial with respect to a measure supported on the plane. Commun. Pure Appl. Math. 68, 112–172 (2015)
Balogh, F., Harnad, J.: Superharmonic perturbations of a gaussian measure, equilibrium measures and orthogonal polynomials. Complex Anal. Oper. Theory 3(2), 333–360 (2009)
Balogh, F., Merzi, D.: Equilibrium measures for a class of potentials with discrete rotational symmetries. Constr. Approx. 42(3), 399–424 (2015)
Berman, R.J.: Bergman kernels for weighted polynomials and weighted equilibrium measures of \({\mathbb{C}}^n\). Indiana Univ. Math. J. 58(4), 1921–1946 (2009)
Bertola, M., Lee, S.-Y.: First colonization of a hard-edge in random matrix theory. Constr. Approx. 31(2), 231–257 (2010)
Bleher, P.M., Kuijlaars, A.B.J.: Orthogonal polynomials in the normal matrix model with a cubic potential. Adv. Math. 230, 1272–1321 (2012)
Chau, L.-L., Zaboronsky, O.: On the structure of correlation functions in the normal matrix model. Commun. Math. Phys. 196, 203–247 (1998)
Chen, Y., Lawrence, N.: Density of zeros and some orthogonal polynomials. Methods Appl. Anal. 5, 367–386 (1998)
Claeys, T., Grava, T.: Solitonic asymptotics for the Korteweg–de Vries equation in the small dispersion limit. SIAM J. Math. Anal. 42(5), 2132–2154 (2010)
Claeys, T.: Birth of a cut in unitary random matrix ensembles. Int. Math. Res. Not. IMRN 2008(6), Art. ID rnm166
Claeys, T., Grava, T., McLaughlin, K.D.T.-R.: Asymptotics for the partition function in two-cut random matrix models. Commun. Math. Phys. 339(2), 513–587 (2015)
Dai, D., Kuijlaars, A.B.: Painlevé IV asymptotics for orthogonal polynomials with respect to a modified Laguerre weight. Stud. Appl. Math. 122, 29–83 (2009)
Davis, P.J.: The Schwarz function and its applications. In: The Carus Mathematical Monographs, No. 17. The Mathematical Association of America, Buffalo (1974)
Deift, P., Kriecherbauer, T., McLaughlin, K.T.-R., Venakides, S., Zhou, X.: Strong asymptotics of orthogonal polynomials with respect to exponential weights. Commun. Pure Appl. Math. 52(12), 1491–1552 (1999)
Deift, P., Kriecherbauer, T., McLaughlin, K.T.-R., Venakides, S., Zhou, X.: Uniform asymptotics for polynomials orthogonal with respect to varying exponential weights and applications to universality questions in random matrix theory. Commun. Pure Appl. Math. 52(11), 1335–1425 (1999)
Deift, P.: Orthogonal Polynomials and Random Matrices: a Riemann–Hilbert Approach, Courant Lecture Notes in Mathematics, Vol. 3. American Mathematical Society, Providence, RI (1999)
Deift, P., Zhou, X., Steepest, A.: Descent method for oscillatory Riemann–Hilbert problems. Asymptotics for the MKdV equation. Ann. Math. 137, 295–368 (1993)
Di Francesco, P., Gaudin, M., Itzykson, C., Lesage, F.: Laughlin’s wave functions, Coulomb gases and expansions of the discriminant. Int. J. Mod. Phys. A9, 4257–4352 (1994)
Elbau, P.: Random Normal Matrices and Polynomial Curves. Ph.D. Thesis, ETH Zürich, arXiv:0707.0425
Elbau, P., Felder, G.: Density of eigenvalues of random normal matrices. Commun. Math. Phys. 259, 433–450 (2005)
Etingof, P., Ma, X.: Density of eigenvalues of random normal matrices with an arbitrary potential, and of generalized normal matrices. SIGMA Symmetry Integrability Geom. Methods Appl. 3, (2007) Paper 048
Fokas, A.S., Its, A.R., Kitaev, A.V.: The isomonodromy approach to matrix models in 2D quantum gravity. Commun. Math. Phys. 147, 395–430 (1992)
Feinberg, J., Zee, A.: Non-Gaussian non-Hermitian random matrix theory: phase transition and addition formalism. Nucl. Phys. B 501, 643–669 (1997)
Gakhov, F.D.: Boundary Value Problems. Dover, New York (1966)
Girko, V.L.: Spectral Theory of Random Matrices (in Russian). Nauka, Moscow (1988). 376 pp. ISBN:5-02-013749-9
Ginibre, J.: Statistical ensembles of complex, quaternion, and real matrices. J. Math. Phys. 6, 440–449 (1965)
Guionnet, A., Krishnapur, M., Zeitouni, O.: The single ring theorem. Ann. Math. 174, 1189–1217 (2011)
Gustafsson, B.: Quadrature identities and the Schottky double. Acta Appl. Math. 1, 209–240 (1980)
Gustafsson, B., Vasil’ev, A.: Conformal and potential analysis in Hele-Shaw cells. In: Advances in Mathematical Fluid Mechanics. Birkhäuser Verlag, Basel (2006)
Hedenmalm, H., Makarov, N.: Coulomb gas ensembles and Laplacian growth. Proc. Lond. Math. Soc. 106, 859–907 (2013)
Its, A.R., Takhtajan, L.A.: Normal matrix models, dbar-problem, and orthogonal polynomials on the complex plane. arXiv:0708.3867
Jenkins, R., McLaughlin, K.: The semiclassical limit of focusing NLS for a family of non-analytic initial data. Commun. Pure Appl. Math. 41, 246–320 (2014)
Kuijlaars, A.B.J., López-García, A.: The normal matrix model with a monomial potential, a vector equilibrium problem, and multiple orthogonal polynomials on a star. Nonlinearity 28, 347–406 (2015)
Kuijlaars, A.B.J., Tovbis, A.: The supercritical regime in the normal matrix model with cubic potential. Adv. Math. 283, 530–587 (2015)
Kuijlaars, A.B.J., McLaughlin, K.T.-R.: Asymptotic zero behavior of Laguerre polynomials with negative parameter. Constr. Approx. 20, 497–523 (2004)
Lee, S.-Y., Teodorescu, R., Wiegmann, P.: Viscous shocks in Hele-Shaw flow and Stokes phenomena of the Painlevé I transcendent. Phys. D 240, 1080–1091 (2011)
Lee, S.-Y., Riser, R.: Fine asymptotic behavior for eigenvalues of random normal matrices: ellipse case. J. Math. Phys. 57(2), 023302 (2016). 29 pp
Mehta, M.L.: Random Matrices, 3rd edn. Pure and Applied Mathematics (Amsterdam) 142. Elsevier/Academic Press, Amsterdam (2004). xviii+688 pp. ISBN: 0-12-088409-7
Mhaskar, H.N., Saff, E.B.: The distribution of zeros of asymptotically extremal polynomials. J. Approx. Theory 65, 279–300 (1991)
Martínez-Finkelshtein, A., Martínez-Gonzáles, P., Orive, R.: On asymptotic zero distribution of Laguerre and generalized Bessel polynomials with varying parameters. J. Comput. Appl. Math. 133(1–2), 477–487 (2001)
Miller, P.D.: Applied asymptotic analysis. In: Graduate Studies in Mathematics, 75. American Mathematical Society, Providence, RI (2006). xvi+467 pp. ISBN: 0-8218-4078-9
Mineev-Weinstein, M., Wiegmann, P.B., Zabrodin, A.: Integrable structure of interface dynamics. Phys. Rev. Lett. 84, 5106–5109 (2000)
Sakai, M.: Regularity of a boundary having a Schwarz function. Acta Math. 166, 263–297 (1991)
Saff, E.B., Totik, V.: Logarithmic Potentials with External Fields. Springer, Berlin (1997)
Savina, T.V., Sternin, B.Y., Shatalov, V.E.: On a minimal element for a family of bodies producing the same external gravitational field. Appl. Anal. 84, 649–668 (2005)
Stahl, H.,Totik, V.: General orthogonal polynomials. In: Encyclopedia of Mathematics and its Applications, 43. Cambridge University Press, Cambridge (1992). xii+250 pp. ISBN: 0-521-41534-9
Szegő, G.: Orthogonal Polynomials, 3rd edn. American Mathematical Society Colloquium Publications, Vol. 23. American Mathematical Society, Providence, RI (1967)
Teodorescu, R., Bettelheim, E., Agam, O., Zabrodin, A., Wiegmann, P.: Normal random matrix ensemble as a growth problem. Nucl. Phys. B 704(3), 407–444 (2005)
Wiegmann, P., Zabrodin, A.: Conformal maps and integrable hierarchies. Commun. Math. Phys. 213, 523–538 (2000)
Zabrodin, A.: Symmetric solutions of the dispersionless Toda hierarchy and associated conformal dynamics. AIP Conf. Proc. 1562, 203 (2013)
Zabrodin, A.: Random matrices and Laplacian growth, chapter 39. In: Akemann, G., Baik, J., Di Francesco, P. (eds.) The Oxford Handbook of Random Matrix Theory. Oxford University Press, Oxford (2011)
Acknowledgments
The authors thank M. Bertola, G. Silva, and A. Tovbis for useful discussions and K. McLaughin for suggesting the problem. The first part of this work was carried out while F.B. was a postdoctoral fellow at SISSA; later he was supported in part by the Fonds de recherche du Québec - Nature et technologies (FRQNT) via the research grant Matrices Aléatoires, Processus Stochastiques et Systèmes Intégrables. F.B. acknowledges the excellent working conditions at Concordia University and at the Centre des Recherches Mathématiques (CRM). T.G. acknowledges the support by the Leverhulme Trust Research Fellowship RF-2015-442 and the Miur Research project Geometric and analytic theory of Hamiltonian systems in finite and infinite dimensions of Italian Ministry of Universities and Research.
Author information
Authors and Affiliations
Corresponding author
Additional information
Communicated by Arno Kuijlaars.
Rights and permissions
Open Access This article is distributed under the terms of the Creative Commons Attribution 4.0 International License (http://creativecommons.org/licenses/by/4.0/), which permits unrestricted use, distribution, and reproduction in any medium, provided you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license, and indicate if changes were made.
About this article
Cite this article
Balogh, F., Grava, T. & Merzi, D. Orthogonal Polynomials for a Class of Measures with Discrete Rotational Symmetries in the Complex Plane. Constr Approx 46, 109–169 (2017). https://doi.org/10.1007/s00365-016-9356-0
Received:
Revised:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s00365-016-9356-0
Keywords
- Orthogonal polynomials on the plane
- Normal matrix model
- Riemann–Hilbert problem
- Logarithmic potential theory