Abstract
We consider the limiting process that arises at the hard edge of Muttalib–Borodin ensembles. This point process depends on \(\theta > 0\) and has a kernel built out of Wright’s generalized Bessel functions. In a recent paper, Claeys, Girotti and Stivigny have established first and second order asymptotics for large gap probabilities in these ensembles. These asymptotics take the form
where the constants \(\rho \), a, and b have been derived explicitly via a differential identity in s and the analysis of a Riemann–Hilbert problem. Their method can be used to evaluate c (with more efforts), but does not allow for the evaluation of C. In this work, we obtain expressions for the constants c and C by employing a differential identity in \(\theta \). When \(\theta \) is rational, we find that C can be expressed in terms of Barnes’ G-function. We also show that the asymptotic formula can be extended to all orders in s.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction and Main Results
The Muttalib–Borodin ensembles are joint probability density functions of the form
where the n points \(x_{1},\ldots ,x_{n}\) belong to the interval \([0,+\infty )\), \(\theta > 0\) is a parameter of the model, and \(Z_{n}\) is a normalization constant. The positive weight function w is defined on \([0,+\infty )\) and is assumed to have enough decay at \(\infty \) to make (1.1) a well-defined density function.
The probability density function (1.1) exhibits so-called two-body interactions—in addition to the repulsion between the points \(x_{1},\ldots ,x_{n}\), there is also repulsion between the points \(x_{1}^{\theta },\ldots ,x_{n}^{\theta }\). The models defined by (1.1) were introduced by Muttalib in 1995 in the study of disordered conductors in the metallic regime [26]. They have attracted a lot of attention recently in the random matrix community, partly due to the work of Cheliotis [10] who showed that the squared singular values of certain lower triangular random matrices have the same joint density as (1.1) in the case of the Laguerre weight \(w(x) = x^{\alpha }e^{-x}\), \(\alpha > -1\). Other matrix ensembles whose eigenvalues are distributed according to (1.1) for the Laguerre or Jacobi weight were obtained in [18].
As \(n \rightarrow + \infty \) the macroscopic behavior of the points \(x_{1},\ldots ,x_{n}\) is well described by an equilibrium measure \(\mu \) which depends on the weight w. Such measures have been studied in detail in [11] for general values of \(\theta \). In particular, the authors of [11] found sufficient conditions on w for \(\mu \) to be supported on a single cut. If there is a hard edge (that is, if part of the points accumulate near the origin as \(n \rightarrow +\infty \)), the density of \(\mu \) behaves as a constant times \(x^{-\frac{1}{1+\theta }}\) as \(x \rightarrow 0^{+}\). On the other hand, near a soft edge, this density vanishes to the order 1/2 for any value of \(\theta \); this is the usual square root behavior that is often encountered in random matrix theory. We also refer to [5, 8, 23] for related results on the equilibrium measure.
The Muttalib–Borodin point process is determinantal for any \(\theta >0\). This means that the density (1.1), as well as all the associated correlation functions, can be expressed as determinants involving a function \({\mathbb {K}}_{n}\) (general definitions and properties of point processes can be found in [7, 21, 28]). This function \({\mathbb {K}}_{n}\) is called the kernel and encodes all the probabilistic information about the point process. In the simplest case \(\theta = 1\), the point process is a polynomial ensemble. This means that all the correlation functions can be expressed in terms of orthogonal polynomials (associated to w), and that there exists a Christoffel–Darboux formula which can be utilized to derive asymptotic formulas as \(n \rightarrow + \infty \). For \(\theta \ne 1\), the point process is still determinantal; however the aforementioned properties become more complicated for rational values of \(\theta \), and are lost if \(\theta \) is irrational. In fact, for \(\theta \ne 1\), the kernel is instead expressed in terms of biorthogonal polynomials [6], for which there is no simple analog of the Christoffel–Darboux formula (when \(\theta \) is an integer, the Christoffel–Darboux formula contains \(\theta \) terms, see [20]).
As \(n \rightarrow + \infty \), the local repulsion of the points leads to microscopic limit laws that depend on the location. The term microscopic refers to the fact that the correlation is measured in the unit of the mean level spacing. For \(\theta = 1\), three different canonical limiting kernels arise: the sine kernel arises in the bulk, the Airy kernel near soft edges, and the Bessel kernel near (typical) hard edges. The three limiting kernels are independent of the fine details of the weight; this phenomenon is called universality in random matrix theory [22]. Also, the kernels are all integrable (of size 2) in the sense of Its–Izergin–Korepin–Slavnov [19], and there are \(2 \times 2\) matrix Riemann–Hilbert (RH) problems available for the asymptotics analysis. Much less is known for \(\theta \ne 1\). In the case of the Laguerre weight \(w(x) = x^{\alpha }e^{-x}\), \(\alpha > -1\), Borodin proved in his pioneering work [6] that
for any \(\alpha > -1\) and \(\theta > 0\), where the limiting kernel \({\mathbb {K}}(x,y)\) depends on \(\alpha \) and \(\theta \) and can be expressed in terms of Wright’s generalized Bessel functions (see also (1.3) below). If \(\theta = p/q\) with p, q relatively prime integers, then the kernel \({\mathbb {K}}\) is integrable, but of size \(p+q\) [31], which means that the associated RH problems involve matrices of size \((p+q)\times (p+q)\). In the Jacobi case (i.e., the weight is supported on [0, 1] and given by \(w(x) = x^{\alpha }\), \(\alpha > -1\)), Borodin proved that the same limiting kernel \({\mathbb {K}}\) appears at the hard edge if a slightly different scaling limit is considered (the terms \(n^{\frac{1}{\theta }}\) in (1.2) need to be replaced by \(n^{1+\frac{1}{\theta }}\)). It seems reasonable to expect some universality of this kernel, in the sense that \({\mathbb {K}}\) should appear in the hard edge scaling limit for a large class of weights of the form \(w(x) = x^{\alpha }e^{-V(x)}\) for a smooth potential V. Moreover, from the behavior of \(\mu \) described above, one expects the sine kernel in the bulk and the Airy kernel at the soft edge for a large class of weights. This has been proved in the special case \(\theta = \frac{1}{2}\) only recently by Kuijlaars and Molag in [24] using a non-standard analysis of a \(3 \times 3\) matrix RH problem. The case of general \(\theta \) is still open. We also mention that, in case \(\theta \) or \(1/\theta \) is an integer, the kernel \({\mathbb {K}}\) can be expressed in terms of a Meijer function and coincides with the limiting kernel at the hard edge of certain product random matrices [25, Theorem 5.1].
There are several expressions available in the literature for the kernel \({\mathbb {K}}(x,y)\) in (1.2); in [6] it is written as a series, and also in terms of Wright’s generalized Bessel functions. For us, the following double contour integral expression (from [12]) will be important:
where the function F is given by
with \(\Gamma \) denoting the Gamma function (see [27, Chapter 5]). The contours \(\gamma \) and \({\tilde{\gamma }}\) are both oriented upward and do not intersect each other; the contour \(\gamma \) intersects \({\mathbb {R}}\) to the right of the poles of F and \({\tilde{\gamma }}\) intersects \({\mathbb {R}}\) to the left of the zeros of F, see Fig. 1. The contour \(\gamma \) tends to infinity in sectors lying strictly in the left half-plane, and \({\tilde{\gamma }}\) tends to infinity in sectors lying strictly in the right half-plane. If \(\theta = 1\), the kernel \({\mathbb {K}}\) reduces to
where \({\mathbb {K}}_{\mathrm {Be}}\) is the well-known Bessel kernel [29] given by
with \(J_\alpha \) the Bessel function of the first kind of order \(\alpha \).
By [12, equation (1.18)], the finite n probability to observe a gap on \([0, n^{-\frac{1}{\theta }}s]\) converges as \(n \rightarrow + \infty \) to the probability to observe a gap on [0, s] in the limiting process with kernel \({\mathbb {K}}\). This is a slightly stronger result than the convergence of the kernel (1.2). Let \(x^{\star } := \min \{x_{1},\ldots ,x_{n}\}\) denote the smallest point. Then the limiting distribution of \(x^{\star }\) is given by
where the right-hand side is the Fredholm determinant associated to \({\mathbb {K}}\) on the interval [0, s]. For \(\theta = 1\), Tracy and Widom have shown in [29] that the log s-derivative of this Fredholm determinant solves a Painlevé V equation. In the case of \(\theta \) rational, a more involved system of differential equations has been derived recently in [31].
In the case \(\theta = 1\), the large gap asymptotics (i.e., the asymptotics of (1.6) as \(s \rightarrow + \infty \)) are known from Deift, Krasovsky and Vasilevska [15, Theorem 4] where it was shown thatFootnote 1
where G is Barnes’ G-function (see [27, Chapter 5]). The study of the general case \(\theta > 0\) has been initiated by Claeys, Girotti and Stivigny in the recent paper [12]. They obtained the asymptotic formula
where the real constants \(\rho \), a, and b are explicitly given by
It is quite remarkable that, even though the kernel \({\mathbb {K}}\) is known to be integrable only for rational \(\theta \), they managed to obtain an asymptotic formula valid for any fixed \(\theta > 0\) (we comment on their method below).
1.1 Main results
The constants c and C in the large gap probability (1.8) are multiplicative constants. Therefore, there is no accurate description of the large gap probability without their explicit expressions. Obtaining such expressions is precisely the purpose of this paper. Our main result is the following.
Theorem 1.1
(Explicit expressions for c and C). For any fixed \(\theta > 0\) and \(\alpha > -1\), the constants c and C that appear in the asymptotic formula (1.8) are given by
where G is the Barnes G-function and the real quantity \(d(\theta ,\alpha )\) is defined by the limit
Remark 1.2
(The case \(\theta = 1\)). For \(\theta = 1\), the expressions for the coefficients \(\rho , a,b,c\), and C given in (1.9)–(1.11) reduce to
so we recover (1.7) as a special case of (1.8).
Remark 1.3
(The constant d). The constant \(d =d(\theta , \alpha )\) (constant in the sense that it is independent of s) is defined by the limit in (1.12) in a similar way as the Euler gamma constant \(\gamma _{\mathrm {E}}\), which appears in the definition of G, is defined by (see [27, Eq. 5.2.3])
The definition of d can also be compared with the following expression for the derivative of the Riemann \(\zeta \)-function evaluated at \(-1\) (see [27, Eq. 5.17.7]):
In fact, comparing the above expression with the definition (1.12) of d, we see thatFootnote 2
More generally, for \(\theta = 1\) but any value of \(\alpha > -1\), we can use the functional equation for the Barnes G-function to write
Using the expansion (see [27, Eq. 5.17.5])
we conclude from (1.12) that
for \(\alpha > -1\). In other words, for \(\theta = 1\), \(d(\theta ,\alpha )\) is expressed in terms of already known special functions evaluated at certain points. The next proposition shows that this is still the case if \(\theta \) is a rational number, but then the expression becomes more complicated.
Proposition 1.4
(Expression for \(d(\theta , \alpha )\) when \(\theta = p/q\) is rational). Let \(\alpha > -1\) and \(\theta = p/q\) where \(p,q \in {\mathbb {N}}{{\setminus }} \{0\}\). Then \(d(\theta ,\alpha )\) admits the following expression:
Proof
See “Appendix A”. \(\quad \square \)
Quantities such as \(\zeta '(-1)\) or \(G(1+\alpha )\) appear in several asymptotic formulas in random matrix theory. For example, \(\zeta '(-1)\) appears in the large gap asymptotics of the Airy point process [13] and in the asymptotics of the partition function for a large class of random matrix ensembles [9, equations (1.38)–(1.40)], while the Barnes G-function appears in the large gap asymptotics of the Bessel point process (see 1.7) and in the asymptotics of large Toeplitz and Hankel determinants with Fisher-Hartwig singularities [9, 14]. However, despite its relatively simple definition, we have not been able to express d in terms of known special functions for irrational values of \(\theta \).
Remark 1.5
(The symmetry \(\theta \mapsto \frac{1}{\theta }\)). By [6, page 4], the determinant on the left-hand side of (1.8) is invariant under the following changes of the parameters:
It follows that the coefficients \(\rho \), a, b, c, and C must obey the following symmetry relations for any \(\theta > 0\) and \(\alpha > -1\):
where we have indicated the dependence of the coefficients on \(\theta \) and \(\alpha \) explicitly. The first four of these relations are easily verified directly from the definitions (1.9)–(1.10) by simple computations. The relation \(C(\theta ,\alpha ) = C(\tfrac{1}{\theta },\alpha ^{\star })\) can also be verified directly from the definition (1.11) of C, but the computations are more involved. In fact, a long but straightforward computation which uses (1.16) and the functional relation \(G(z+1) = \Gamma (z)G(z)\) implies that the relation \(C(\theta ,\alpha ) = C(\tfrac{1}{\theta },\alpha ^{\star })\) is equivalent to the symmetry relation for d given in the following proposition.
Proposition 1.6
(Symmetry relation for d). The constant \(d = d(\theta , \alpha )\) defined in (1.12) satisfies
for \(\theta > 0\) and \(\alpha > -1\).
Proof
See “Appendix B”. \(\quad \square \)
Our second main result shows that the expansion (1.8) of the Fredholm determinant of \({\mathbb {K}}\) on [0, s] can be extended to all orders in powers of \(s^{-\rho }\) as \(s \rightarrow + \infty \). More precisely, we have the following.
Theorem 1.7
(Asymptotics to all orders). Let \(N \ge 1\) be an integer and fix \(\theta > 0\) and \(\alpha > -1\). As \(s \rightarrow + \infty \), there exist constants \(C_1,\ldots ,C_N \in {\mathbb {R}}\) such that
where \({\mathbb {K}}\) is the kernel defined in (1.3) and \(\rho , a,b,c,C\) are given by (1.9)–(1.11).
1.2 Outline of proofs
Our proof of Theorem 1.1 is based on some preliminary results from [12]. An important and remarkable ingredient of that paper (inspired by [4]) is the identity
where the integrable kernel \({\mathbb {M}}_{s}\) of size \(2 \times 2\) is given for any \(\theta > 0\) by
with \(\chi _{\gamma }\) and \(\chi _{{\tilde{\gamma }}}\) denoting the indicator functions of \(\gamma \) and \({\tilde{\gamma }}\), respectively. Using some results from [3, 4] and following the procedure developed by Its–Izergin–Korepin–Slavnov (IIKS) [19], the authors of [12] obtained a differential identity for
in terms of the solution Y of a \(2 \times 2\) matrix RH problem. Moreover, by performing a (non-standard) Deift/Zhou [17] steepest descent analysis of this RH problem, they computed the large s asymptotics of the expression in (1.24). The asymptotic formula (1.8) and the expressions (1.9) for the coefficients a and b were then obtained from the relation
where M is a sufficiently large but fixed constant.
In principle, the method of [12] can be employed to obtain any number of terms in the large s expansion of (1.24) (even though the computations become technically more involved as higher order terms are included). In particular, it is possible to compute the constant c by extending the expansion of (1.24) to the next order and then substituting the resulting asymptotics into the integrand of (1.25). However, the fact that the quantity
is an unknown constant (independent of s) is an essential obstacle to the computation of C, see also [12, Remark 1.3]. Therefore, in the present work we adopt a different approach which takes advantage of the known result for \(\theta = 1\) given in (1.7).
Whereas the approach of [12] is based on a differential identity in s, our approach relies on a differential identity in \(\theta \). More precisely, using (1.22)–(1.23) and results from [3, Section 5.1], we apply the IIKS procedure [19] to obtain a differential identity for
in terms of the solution Y of the RH problem of [12] mentioned above (henceforth referred to as the RH problem for Y). By recycling the steepest descent analysis of [12], we obtain asymptotics of Y as \(s \rightarrow + \infty \). The steepest descent analysis in [12] was performed for \(\theta \) fixed, but we can easily show that the resulting asymptotic formulas are in fact valid uniformly for \(\theta \) in any compact subset of \((0,+\infty )\). An integration of (1.26) from \(\theta = 1\) to an arbitrary (but fixed) \(\theta > 0\) then gives
The main advantage of this approach is that the large s asymptotics of
are known (including the constant term), see (1.7). Therefore, if we compute the asymptotics of (1.26) to sufficiently high order and substitute the resulting expansion into (1.27) (using the uniformity of this expansion with respect to \(\theta \)), we can obtain C by performing the integral with respect to \(\theta '\).
1.2.1 The two cases \(\theta \le 1\) and \(\theta \ge 1\)
The proof of Theorem 1.1 naturally splits into the two cases \(\theta \in (0,1]\) and \(\theta \in [1, \infty )\). Similar techniques can be used to handle both of these cases, but since they are associated with different branch cut structures, slightly different arguments are required. To avoid having to deal with two different cases, we will therefore, for simplicity, give the derivation of Theorem 1.1 only in the case \(\theta \in (0,1]\) and then appeal to the symmetry (1.18) to extend the result to \(\theta \in [1, \infty )\). The extension to \(\theta \in [1, \infty )\) can be carried out as follows: Assuming that Theorem 1.1 holds for \(\theta \in (0,1]\), the invariance of the determinant in (1.8) under the symmetry (1.18) implies that, for any \(\theta \in [1, \infty )\),
Using the symmetries in (1.19), which we recall can be verified directly from the explicit expressions for \(\rho \), a, b, c, C in (1.9)–(1.11) (see Remark 1.5), the statement of Theorem 1.1 follows also for \(\theta \in [1, \infty )\). A similar argument applies to Theorem 1.7. The upshot is that it is enough to prove Theorem 1.1 and Theorem 1.7 for \(\theta \in (0,1]\).
1.2.2 Comparison with the approach of [12]
Even though our approach has the major advantage of opening up a path to the evaluation of the constant C, there are several disadvantages of integrating with respect to \(\theta \) instead of with respect to s. First, in [12] the authors were able to obtain expressions for the constants a and b at the hard edge not only for Muttalib–Borodin ensembles, but also for certain other limiting point processes arising from products of random matrices. This was feasible because s is a common parameter in all of these models and the associated differential identities could be analyzed in a similar way in all cases. Since the parameter \(\theta \) is not present in the other models, our method of deforming with respect to \(\theta \) can only be applied in the case of the Muttalib–Borodin ensembles. Second, integration with respect to \(\theta \) requires significantly more computational effort than integration with respect to s. This can be seen by taking the logarithm of the asymptotic formula (1.8) and differentiating the resulting equation with respect to s and \(\theta \) respectively:Footnote 3
as \(s \rightarrow + \infty \). Note that the differentiation with respect to \(\theta \) generates additional terms proportional to \(\ln s\). Moreover, the expansion in (1.30) involves the rather complicated first-order derivatives of a, b, c, and C with respect to \(\theta \). Third, it turns out that the differential identity with respect to \(\theta \) is more intricate to analyze: While (1.24) is expressed in terms of the first subleading term in the expansion of Y(z) as \(z \rightarrow + \infty \) (see (2.35)), the analogous representation for (1.26) involves an integral whose integrand also contains the digamma function \(\psi \) (see (6.1)). The infinitely many poles of the digamma function \(\psi \) (which we recall is defined as the log-derivative of \(\Gamma \), see e.g. [27, Eq. 5.2.2]) complicate the analysis considerably.
For all the above reasons, we will in Sect. 5 provide an independent derivation of the expression (1.10) for c by employing the differential identity in s. This derivation is significantly shorter than the derivation based on the differential identity in \(\theta \) and it can also be generalized to other point processes. In particular, from the formulas we obtain we can straightforwardly determine the constants \(c^{(1)}\) and \(c^{(2)}\) of [12, formula 1.20] associated with point processes at the hard edge of certain product random matrices, see Remark 5.2. Furthermore, several important aspects of this alternative derivation of (1.10) will be useful in the proofs of Theorem 1.7 and the expression (1.11) for C.
Finally, we note that the fact that the approach based on the differential identity in \(\theta \) yields the same expressions (1.9) and (1.10) for the coefficients a, b, c as the approach based on the differential identity in s provides a nontrivial consistency check of our results.
1.3 Organization of the paper
In Sect. 2, we introduce some notation and recall some results from [12] that are needed for our analysis. In Sects. 3 and 4 , we establish the existence of large s asymptotics to all orders of three functions which play a pivotal role in the RH formulation. In Sect. 5, we use these expansions to prove Theorem 1.7 and to provide a first proof of the expression (1.10) for c.
In Sect. 6, we derive a differential identity with respect to the parameter \(\theta \). This identity expresses the \(\theta \)-derivative of \(\ln \det ( \left. 1-{\mathbb {K}} \right| _{[0,s]})\) as the sum of four integrals which we denote by \(I_1\), \(I_2\), \(I_{3,K}\), and \(I_{4,K}\). The arguments required to obtain the large s asymptotics of these integrals are rather long and are presented in Sects. 7–9.
We complete the proof of Theorem 1.1 in Sect. 10 by substituting the above asymptotics into the differential identity in \(\theta \) and integrating the resulting equation with respect to \(\theta \). In addition to yielding the expression (1.11) for C, this also provides independent derivations of the expressions (1.9) and (1.10) for the coefficients a, b, and c.
The proofs of Propositions 1.4 and 1.6 as well as the proofs of two lemmas (Lemma 7.2 and Lemma 8.4) are presented in the four appendices.
2 Preliminary Results from [12]
All the results presented in this section are taken from [12]. We use the same notation as in [12] except that we use G to denote Barnes’ G-function and \({\mathcal {G}}\) to denote the function which is denoted by G in [12]. We start by recalling the RH problem for Y, which is central for this paper.
2.1 RH problem for Y
-
(a)
\(Y : {\mathbb {C}}{{\setminus }} (\gamma \cup {\tilde{\gamma }}) \rightarrow {\mathbb {C}}^{2 \times 2}\) is analytic, where \(\gamma \) and \({\tilde{\gamma }}\) are the oriented contours shown in Fig. 1.
-
(b)
The limits of Y(z) as z approaches \(\gamma \cup {\tilde{\gamma }}\) from the left (+) and from the right (–) exist, are continuous on \(\gamma \cup {\tilde{\gamma }}\), and are denoted by \(Y_+\) and \(Y_-\), respectively. Furthermore, they are related by
$$\begin{aligned}&Y_{+}(z) = Y_{-}(z) \begin{pmatrix} 1 &{} -s^{-z}F(z) \\ 0 &{} 1 \end{pmatrix},&z \in \gamma , \\&Y_{+}(z) = Y_{-}(z) \begin{pmatrix} 1 &{} 0 \\ s^{z}F(z)^{-1} &{} 1 \end{pmatrix},&z \in {\tilde{\gamma }}, \end{aligned}$$where F is given by (1.4).
-
(c)
As \(z \rightarrow \infty \), Y admits the expansion
$$\begin{aligned} Y(z) = I + \frac{Y_{1}}{z} + {{{\mathcal {O}}}}(z^{-2}), \end{aligned}$$where the \(2 \times 2\) matrix \(Y_{1}\) depends on s, \(\alpha \), and \(\theta \) but not on z.
The solution of the RH problem for Y exists and is unique for any choice of the parameters \(s > 0\), \(\theta > 0\), and \(\alpha > -1\), see [12, below (1.21)].
We choose the branch for \(\ln F\) such that
where \(z \mapsto \ln \Gamma (z)\) is the log-gamma function, which has a branch cut along \((-\infty ,0]\). Therefore, \(z \mapsto \ln F(z)\) has a branch cut along \((-\infty ,-\frac{\alpha }{2}]\cup [1+\frac{\alpha }{2},+\infty )\). Following [12], we introduce a new complex variable \(\zeta \) by
As \(s^{\rho } \zeta \rightarrow \infty \), we have the asymptotics
where the logarithms on the right-hand side are defined using the principal branch. The real constants \(c_{1},\ldots ,c_{8}\) are computed in [12, equation (3.12)] and are given byFootnote 4
We also define \({\mathcal {G}}(\zeta )\) by
where
The function \({\mathcal {G}}\) above is denoted by G in [12, equation (3.13)], while in this paper G denotes Barnes’ G-function. Note that \({\mathcal {G}}\) also depends on s, \(\theta \) and \(\alpha \), but we omit this dependence in the notation. Following [12, Section 3.3], we define \(b_{1},b_{2} \in {\mathbb {C}}\) by
with
Thus \(\phi \ge 0\) for \(0 < \theta \le 1\) while \(\phi \le 0\) for \(\theta \ge 1\). As explained in Sect. 1.2.1, it is enough to prove Theorems 1.1 and 1.7 for \(\theta \in (0,1]\) thanks to the symmetry (1.18). Therefore we will henceforth restrict ourselves to the case \(0 < \theta \le 1\), for which we have \(\phi \in [0, \pi /2)\).
In the steepest descent analysis of the RH problem for Y, the so-called g-function plays an important role. Using this function, certain jumps of the RH problem can be made exponentially small as \(s \rightarrow +\infty \). The g-function has a jump along the contour \(\Sigma _{5}\), which consists of the two line segments \([b_{1},0]\cup [0,b_{2}]\) oriented to the right, see Fig. 2, and is defined as follows. Define the function \(r(\zeta )\) by
where the branch is such that r is analytic in \({\mathbb {C}}{\setminus } \Sigma _{5}\) and \(r(\zeta ) \sim \zeta \) as \(\zeta \rightarrow \infty \). The second derivative of the g-function is given by
Hence
and, as \(\zeta \rightarrow \infty \),
The g-function is then obtained by
where the integration paths lie in the complement of \(\Sigma _{5}\). The g-function is analytic on \({\mathbb {C}} {\setminus } \Sigma _{5}\) and has the following jump across \(\Sigma _5\):
where \(\ell = ih(b_{1}) - 2 \int _{\infty }^{b_{1}}g'(\xi )d\xi \).
2.2 Steepest descent analysis
Let \(\sigma _{1}\) and \(\sigma _{3}\) denote the first and third Pauli matrices given by
The steepest descent analysis of the RH problem for Y involves a sequence of transformations \(Y \mapsto U \mapsto T \mapsto S \mapsto R\). The first transformation \(Y \mapsto U\) is defined by
The \(2\times 2\) matrix-valued function U is analytic on \({\mathbb {C}}{\setminus } (\gamma _{U} \cup {\tilde{\gamma }}_{U})\), where
see also [12, Figure 2]. Let \(\{\Sigma _i\}_1^4\) denote the contours defined by
with \(0< \epsilon < \pi /10\) and oriented from left to right, see Fig. 3. Recall that \(\Sigma _{5} = [b_{1},0]\cup [0,b_{2}]\).
The second transformation \(U \mapsto T\) consists of deforming the contour of the RH problem by considering an analytic continuation of U such that T is analytic in \({\mathbb {C}}{\setminus } \cup _{i=1}^{5} \Sigma _{i}\); we refer to [12, Section 3.2] for details.
The third transformation \(T \mapsto S\) uses the g-function and is defined by
The remainder of the steepest descent analysis of [12] consists of finding good approximations of S in different regions of the complex plane. Define the function \(\gamma (\zeta )\) by
where the branch is such that \(\gamma (\zeta )\) is an analytic function of \(\zeta \in {\mathbb {C}} {\setminus } \Sigma _{5}\) and \(\gamma (\zeta ) \sim 1\) as \(\zeta \rightarrow \infty \). Define also the function \(p:{\mathbb {C}}{\setminus } \Sigma _{5} \rightarrow {\mathbb {C}}\) by
where the branch for \(\ln {\mathcal {G}}\) is such that
with \(\ln F\) defined as in (2.1). Outside small neighborhoods of \(b_{1}\) and \(b_{2}\), S is well approximated by the global parametrix \(P^{\infty }\) defined by
The function p satisfies \(p(\zeta ) = \overline{p(-{\bar{\zeta }})}\) and
where the constants \(p_{0} \in {\mathbb {R}}\) and \(p_{1} \in i{\mathbb {R}}\) are given by
2.2.1 The local parametrix P
Near the points \(b_{1}\) and \(b_{2}\), S is no longer well approximated by \(P^{\infty }\), and we need to construct local approximations to S (also called local parametrices and denoted by P). Following [12], these local parametrices are built out of Airy functions and are defined in small open disks \({\mathbb {D}}_{\delta }(b_1)\) and \({\mathbb {D}}_{\delta }(b_2)\) centered at \(b_{1}\) and \(b_{2}\), respectively:
for some sufficiently small radius \(\delta > 0\) which is independent of s. Furthermore, P satisfies the following matching condition with \(P^{\infty }\) on the boundary \(\partial {\mathbb {D}}_{\delta }(b_{1}) \cup \partial {\mathbb {D}}_{\delta }(b_{2})\):
uniformly for \(\zeta \in \partial {\mathbb {D}}_{\delta }(b_{1}) \cup \partial {\mathbb {D}}_{\delta }(b_{2})\). The local parametrix P obeys the symmetry
and therefore we can restrict attention to the construction of P in \({\mathbb {D}}_{\delta }(b_{1})\). There are a few minor typos in [12]: the factors \(\sqrt{2\pi }\) in [12, equations (3.57)–(3.59)] should be \(2 \sqrt{\pi }\) and the signs of the exponential factors in [12, equations (3.63), (3.65), (3.67)] should be modified. These typos have no repercussion on the results of [12], but will play a role for us. In what follows, we therefore give the definition of P in detail. First, define the complex-valued functions \(\{y_{j}(\zeta )\}_1^3\) by
and let the \(2\times 2\)-matrix valued functions \(\{A_j(\zeta )\}_1^3\) be given by
These functions satisfy
Moreover,
as \(\zeta \rightarrow \infty \) in the sector \(S_{k}\) for \(k = 1,2,3\), with
and the branches of the complex powers in (2.25) are such that \(\zeta ^u = e^{u\ln |\zeta | + iu \arg \zeta }\) where \(\arg \zeta \) belongs to \((-\pi /3,\pi )\), \((\pi /3,5\pi /3)\), and \((\pi ,7\pi /3)\) for \(\zeta \) in \(S_1, S_2, S_3\), respectively. The local parametrix P is defined for \(\zeta \in {\mathbb {D}}_{\delta }(b_{1}) {\setminus } \cup _{i=1}^{5} \Sigma _{i}\) by
where [k], \(k = 1,2,3\), denote the three components of \({\mathbb {D}}_{\delta }(b_{1}) {\setminus } \cup _{i=1}^{5} \Sigma _{i}\) as shown in [12, Figure 4], q is the analytic function on \({\mathbb {D}}_\delta (b_{1}){\setminus } \Sigma _{5}\) given by
the function f is defined by
and E denotes the \(2 \times 2\)-matrix valued function analytic on \({\mathbb {D}}_\delta (b_{1})\) defined by
It is shown in [12, equation (3.71)] that, as \(\zeta \rightarrow b_1\),
where the branch cut for \((\zeta -b_1)^{\frac{3}{2}}\) runs along \(\Sigma _5\) and \((\zeta -b_1)^{\frac{3}{2}} > 0\) for \(\zeta -b_1 > 0\). Hence f is a conformal map from \({\mathbb {D}}_\delta (b_{1})\) to a neighborhood of 0 such that \(\arg f'(b_1) = 2\phi /3 \in [0, \pi /3)\).
2.2.2 The solution R
In view of (2.3) and (2.17), the function \({\mathcal {G}}(\zeta )\) is not bounded as \(s^{\rho }\zeta \rightarrow \infty \). Therefore, in the definition of the last transformation \(S \mapsto R\), we need to multiply by a conjugation matrix \(e^{p_{0}\sigma _{3}}\) in order for R to be uniformly bounded on \({\mathbb {C}}\).Footnote 5 More precisely, we define R by
Then \(R(\zeta )\) is analytic for \(\zeta \in {\mathbb {C}}{\setminus } \Gamma _{R}\) where \(\Gamma _R\) consists of the parts of \(\cup _{i=1}^5 \Sigma _i\) lying outside the disks \({\mathbb {D}}_\delta (b_j)\), \(j = 1,2\), as well as the two clockwise circles \(\partial {\mathbb {D}}_\delta (b_j)\), \(j = 1,2\), see Fig. 4. We will show in Sect. 4 that R satisfies a small norm RH problem and that
where the matrix \(R_{1}\) possesses the asymptotics
for a certain matrix \(R_{1}^{(1)}\) independent of s and \(\zeta \).
2.3 Differential identity in s
It was proved in [12] that, for all \(s > 0\),
Furthermore, it was shown in [12, Section 4.3] that
where \({\mathcal {K}}\) is defined via the expansion (see [12, Eq. (4.15)])
Integration of (2.36) yields the expressions in (1.9) for the first two coefficients a and b. Moreover, comparing (2.36) with (1.29) , we infer that the coefficient c can be expressed as
Thus, to compute c it is enough to compute \({\mathcal {K}}\) and the (2, 2) entry of \(R_{1}^{(1)}\).
3 Asymptotics of \({\mathcal {G}} (\zeta )\) and \(p(\zeta )\)
In this section, we establish asymptotic formulas for the functions \({\mathcal {G}} (\zeta )\) and \(p(\zeta )\) defined in (2.5) and (2.16) as \(s \rightarrow + \infty \) with \(\zeta \) such that \(s^{\rho }\zeta \rightarrow \infty \). More precisely, we will prove that \(\ln {\mathcal {G}} (\zeta )\) and \(p(\zeta )\) admit expansions to all orders in inverse powers of \(s^{\rho }\zeta \) and we will compute the coefficients of the expansion for \(p(\zeta )\) explicitly up to and including the term of order \(s^{-\rho }\zeta ^{-1}\) (this term plays a role in the derivation of the expressions for both c and C). The results are summarized in the followings two propositions whose proofs are presented in Sects. 3.1 and 3.2 , respectively. We let \(\{c_j = c_j(\theta , \alpha )\}_1^8\) and \(\{b_j = b_j(\theta , \alpha )\}_1^2\) be the constants defined in (2.4) and (2.7), respectively.
Proposition 3.1
(Asymptotics of \(\ln {\mathcal {G}} (\zeta )\)). Let \(N\ge 1\) be an integer. Let \(\alpha > -1\) and \(\theta \in (0, 1]\). There exist coefficients \(\{{\mathcal {G}}_n = {\mathcal {G}}_n(\theta , \alpha )\}_1^N \subset {\mathbb {C}}\) such that the function \({\mathcal {G}}\) defined in (2.5) satisfies the asymptotic expansion
as \(s^\rho \zeta \rightarrow \infty \) uniformly for \(\theta \) in compact subsets of (0, 1] and \(\zeta \in {\mathbb {C}}\) such that \(|\arg (\zeta ) - \tfrac{\pi }{2}| > \epsilon \) and \(|\arg (\zeta ) + \tfrac{\pi }{2}| > \epsilon \) for any fixed \(\epsilon > 0\). The first coefficient is given by \({\mathcal {G}}_1= -ic_8\).
Proposition 3.2
(Asymptotics of \(p(\zeta )\)). Let \(N\ge 1\) be an integer. Let \(\alpha > -1\) and \(\theta \in (0, 1]\). There exist holomorphic functions \({\mathcal {A}}_n:{\mathbb {C}}{\setminus } \Sigma _5 \rightarrow {\mathbb {C}}\), \(n=1,\ldots N\), with \({\mathcal {A}}_n(\zeta ) = {{{\mathcal {O}}}}(\zeta ^n)\) as \(\zeta \rightarrow \infty \), such that
uniformly with respect to \(\zeta \in {\mathbb {C}}{\setminus } \Sigma _5\) such that \(s^{\rho }\zeta \rightarrow \infty \) and \(\theta \) in compact subsets of (0, 1], where the functions \({\mathcal {R}}(\zeta )\) and \({\mathcal {A}}_1(\zeta )\) are given by
and
Remark 3.3
The expansion in (3.2) is well-defined also for \(\zeta \in i{\mathbb {R}}{\setminus } \{ 0 \}\) even though several of the coefficients have jumps across the imaginary axis. Indeed, it can be seen from (3.3) (and more easily from the integral representation (3.38) of \({\mathcal {R}}\)) that \({\mathcal {R}}\) has the following jump across the imaginary axis:
where \((i\infty , 0)\) and \((-i\infty , 0)\) are oriented towards the origin. It follows that the function
has no jump across the imaginary axis and hence extends to an analytic function on \({\mathbb {C}}{\setminus } \Sigma _5\).
Remark 3.4
The expansion of \(\ln {\mathcal {G}}(\zeta )\) as \(s^{\rho } \zeta \rightarrow \infty \) up to and including the term of order \(s^{-\rho }\zeta ^{-1}\) is easily obtained from (2.3) and (2.17), see [12, Eq. (3.15)]. The extension of this expansion to all orders is not straightforward and is the content of Proposition 3.1.
Remark 3.5
The assumption that \(0 < \theta \le 1\) implies that \(\phi = \arg b_{2}\) satisfies \(0\le \phi <\frac{\pi }{2}\), see Fig. 2.
3.1 Proof of Proposition 3.1
We will employ the following exact representation for \(\ln \Gamma (z)\) (see [30, Eq. (6.34) with \(r=N\) and Eq. (6.38)]):
which is valid for \(|\arg z|<\pi \), with N an arbitrary (but fixed) positive integer and where \(\{ t \}\) denotes the fractional part of t, i.e., \(\{t\} = t - \lfloor t \rfloor \) where \(\lfloor t \rfloor \) is the largest integer smaller than or equal to t. Here \(B_{n}\) is the nth Bernoulli number and \(B_{N}(x)\) the Nth Bernoulli polynomial given by (see e.g. [1, p. 804])
The first terms on the right-hand side of (3.5) are the same as in Stirling’s approximation formula; however (3.5) is an exact identity which is valid for all \(z \in {\mathbb {C}}\) such that \(|\arg z| < \pi \). It is straightforward to verify that (see [30, last equation on page 78] for details)
for any fixed \(\epsilon > 0\). Using the short-hand notation
we have
Therefore, for all
we can use (3.5) together with (2.1) to write
Hence, by (2.17) and (2.6) we have, for any fixed \(N\ge 1\),
where the functions \({\hat{f}}(\xi )\) and \({\tilde{f}}(\xi )\) are defined by
with the real constants \(a_1, a_2, {\tilde{a}}_1, {\tilde{a}}_2\) defined by
The functions \({\hat{f}}(\xi )\), \({\mathcal {D}}_N(x(\xi ))\) and \({\tilde{f}}(\xi )\), \({\mathcal {D}}_N(y(\xi ))\) are analytic for
respectively. The asymptotics of \({\hat{f}}\) and \({\tilde{f}}\) as \(s^{\rho }\xi \rightarrow \infty \) are easily obtained from (3.12):
as \(s^\rho \xi \rightarrow \infty \) uniformly for \(\theta \) in compact subsets of (0, 1], where the constants \(\{a_j, {\tilde{a}}_j\}_3^4 \subset {\mathbb {R}}\) and \({\hat{f}}_1, {\tilde{f}}_1 \in i{\mathbb {R}}\) are defined by
and \(\{{\hat{f}}_n,{\tilde{f}}_n\}_{n=2}^N \subset {\mathbb {C}}\) are constants whose exact expressions are unimportant for us. However, we note that \({\hat{f}}_n(\theta ,\alpha )\) and \({\tilde{f}}_n(\theta ,\alpha )\) are continuous functions of \(\alpha \) and \(\theta \). From (3.7) and (3.8), we infer that
for any \(\epsilon > 0\) uniformly for \(\theta \) in compact subsets of (0, 1]. Substituting (3.14)–(3.18) into (3.11), we obtain (3.1) where the coefficients \({\mathcal {G}}_{n}\) are given by \({\mathcal {G}}_n ={\hat{f}}_n+{\tilde{f}}_n\); in particular, \({\mathcal {G}}_1= -ic_8\). This completes the proof of Proposition 3.1.
3.2 Proof of Proposition 3.2
Recall that \(p(\zeta )\) is defined by
Since \(\Sigma _{5}\) passes through the origin, the large s asymptotics for p cannot be straightforwardly obtained from the asymptotics (3.1) of \(\ln {\mathcal {G}}(\zeta )\). We instead use formula (3.11) to be able to deform the contour \(\Sigma _5\). Substituting (3.11) into the definition (3.19) of \(p(\zeta )\) yields
The remainder of the proof is divided into three lemmas. The first lemma shows that the two integrals in (3.20) involving \({\mathcal {D}}_N\) are small whenever \(s^\rho \) and \(s^{\rho }\zeta \) are large.
Lemma 3.6
For any integer \(N\ge 1\), it holds that
uniformly for \(\zeta \in {\mathbb {C}}{\setminus } \Sigma _5\) such that \(s^{\rho }\zeta \rightarrow \infty \) and \(\theta \) in compact subsets of (0, 1].
Proof
Given \(\zeta \in {\mathbb {C}}{\setminus } \Sigma _5\), the integrand in (3.21a) is an analytic function of
see (3.13). Using that \(r_{+}(\xi ) + r_{-}(\xi ) = 0\) for \(\xi \in \Sigma _{5}\), we can deform the contour \(\Sigma _{5}\) into another contour \({\hat{\sigma }}\) which crosses the imaginary axis below the origin such that
and such that \({{\,\mathrm{dist}\,}}(\zeta , {\hat{\sigma }}) \ge \delta /2\). If \(\zeta \notin {\mathbb {D}}_{\delta /2}(b_1)\cup {\mathbb {D}}_{\delta /2}(b_2)\), a representative choice of \({\hat{\sigma }}\) is shown in Fig. 5, and we obtain
where, for a simple closed curve \(\gamma \subset {\mathbb {C}}\), we write \(\text{ int }(\gamma )\) and \(\text{ ext }(\gamma )\) for the open subsets of \({\mathbb {C}}\) interior and exterior to \(\gamma \), respectively. If \(\zeta \in {\mathbb {D}}_{\delta /2}(b_1)\cup {\mathbb {D}}_{\delta /2}(b_2)\), then we use the jump relation of \(r(\zeta )\) to open up the parts of \({\hat{\sigma }}\) close to the points \(b_1\) and \(b_2\) to two circles in such a way that \(\partial {\mathbb {D}}_{\delta }(b_1)\cup \partial {\mathbb {D}}_{\delta }(b_2) \subset {\hat{\sigma }}\), see Fig. 6, and instead of (3.23) we obtain
where \(\partial {\mathbb {D}}_{\delta }:=\partial {\mathbb {D}}_{\delta }(b_1)\cup \partial {\mathbb {D}}_{\delta }(b_2)\). The cases \(\zeta \notin {\mathbb {D}}_{\delta /2}(b_1)\cup {\mathbb {D}}_{\delta /2}(b_2)\) and \(\zeta \in {\mathbb {D}}_{\delta /2}(b_1)\cup {\mathbb {D}}_{\delta /2}(b_2)\) can be treated similarly. Since (3.22) holds, we can apply (3.17), which implies the estimate \({\mathcal {D}}_N(x(\xi )) = {{{\mathcal {O}}}}(s^{-\rho (2N+1)})\) as \(s \rightarrow +\infty \) uniformly for \(\xi \in {\hat{\sigma }}\). Since \(r(\zeta ) \sim \zeta \) as \(\zeta \rightarrow \infty \) and \(\text {dist}(\zeta ,{\hat{\sigma }}) \ge \delta /2\), we find
as \(s\rightarrow +\infty \) uniformly for \(\zeta \in {\mathbb {C}}{\setminus } \Sigma _{5}\) and \(\theta \) in compact subsets of (0, 1]. The term \({\mathcal {D}}_N(x(\zeta ))\) is present in the case \(\zeta \in {\mathbb {D}}_{\delta /2}(b_1)\cup {\mathbb {D}}_{\delta /2}(b_2)\), and also in (3.23) if \(\zeta \in \text{ int }({\hat{\sigma }} \cup \Sigma _{5})\). Since \(|\arg (\zeta )- \tfrac{\pi }{2}|>\epsilon \) for a certain \(\epsilon > 0\), and since \(s^{\rho }\zeta \rightarrow \infty \) by assumption, we can apply (3.17) to obtain
This proves (3.21a). A similar argument based on deforming \(\Sigma _{5}\) into a contour \({\tilde{\sigma }}\) which crosses the imaginary axis above the origin (see Fig. 5 in the case when \(\zeta \notin {\mathbb {D}}_{\delta /2}(b_1)\cup {\mathbb {D}}_{\delta /2}(b_2)\)) yields (3.21b). \(\quad \square \)
It remains to compute the asymptotics of the two integrals in (3.20) involving \({\hat{f}}\) and \({\tilde{f}}\). Since \(\Sigma _{5}\) passes through the origin, we cannot immediately use the asymptotic formulas (3.14) for \({\hat{f}}\) and \({\tilde{f}}\). However, since \({\hat{f}}\) and \({\tilde{f}}\) are analytic in the regions (3.13), we can deform the contours in the same way as in the proof of Lemma 3.6 and then use (3.14).
Definition 3.7
Let \(\epsilon > 0\) be sufficiently small but fixed. We define contours \({\widehat{\Sigma }}_{5,\pm } = {\widehat{\Sigma }}_{5,\pm }(\epsilon )\) as follows:
with an orientation chosen from \(b_{1}\) to \(b_{2}\). Thus \({\widehat{\Sigma }}_{5,\pm }\) coincide with \(\Sigma _{5}\) outside the disks \(\{|\xi | \le \epsilon \}\), and inside this disk, they differ from \(\Sigma _{5}\) and instead coincide with the part of the circle \(\{|\xi | = \epsilon \}\) lying above (resp. below) \(\Sigma _{5}\).
Lemma 3.8
For each integer \(N\ge 1\), it holds that
uniformly for \(\zeta \in {\mathbb {C}}{\setminus } \Sigma _5\) such that \(s^{\rho }\zeta \rightarrow \infty \) and \(\theta \) in compact subsets of (0, 1], and where the contours \(\Sigma _{5,\pm }\) depend on \(\epsilon \) and \(\zeta \) and are given by
with \({\widehat{\Sigma }}_{5,\pm }(\min \{\epsilon , \frac{\zeta }{2}\})\) as in Definition 3.7.
Proof
Let us assume that \(\zeta \notin {\mathbb {D}}_{\delta /2}(b_1)\cup {\mathbb {D}}_{\delta /2}(b_2)\). For the integral involving \({\hat{f}}\) (resp. \({\tilde{f}}\)), we deform \(\Sigma _{5}\) into \({\hat{\sigma }}\) (resp. \({\tilde{\sigma }}\)), and we pick up a residue if \(\zeta \in \text{ int }( {\hat{\sigma }} \cup \Sigma _{5})\) (resp. if \(\zeta \in \text{ int }( {\tilde{\sigma }} \cup \Sigma _{5})\)). This gives
Since \(|\xi | > \epsilon \) for \(\xi \in {\hat{\sigma }} \cup {\tilde{\sigma }}\), the expansions (3.14) imply that the integrals on the right-hand side of (3.25) satisfy
as \(s \rightarrow + \infty \) uniformly for \(\zeta \in {\mathbb {C}}{\setminus } \Sigma _5\) and \(\theta \) in compact subsets of (0, 1]. Substituting (3.25) into (3.20) and utilizing (3.26) and Lemma 3.6 in the resulting expression for \(p(\zeta )\), we conclude that
where the functions \(\{{\mathfrak {p}}_j(\zeta )\}_1^3\) are given by
Now, we deform the contours \({\hat{\sigma }}\) and \({\tilde{\sigma }}\) appearing in (3.28)–(3.29) back to \(\Sigma _{5}\). The integrands in the right-hand side of (3.30) have a non-integrable singularity at 0, and therefore for these integrals we instead deform \({\hat{\sigma }}\) into \(\Sigma _{5,-}\) and \({\tilde{\sigma }}\) into \(\Sigma _{5,+}\), and we find that
Substituting (3.31) into (3.20), the terms proportional to \(\chi _{\text{ int }({\hat{\sigma }} \cup \Sigma _5)}\) and \(\chi _{\text{ int }({\tilde{\sigma }} \cup \Sigma _5)}\) in the resulting expression for \(p(\zeta )\) are given by
and
respectively. Recalling (3.14), we see that the expressions in (3.32) are \({{{\mathcal {O}}}}\big ((s^{\rho } \zeta )^{-N-1}\big )\) as \(s \rightarrow +\infty \) uniformly for \(\zeta \in {\mathbb {C}}{\setminus } \Sigma _5\) such that \(s^{\rho }\zeta \rightarrow \infty \) and \(\theta \) in compact subsets of (0, 1]. The expansion (3.24) then follows from (3.27).
The case \(\zeta \in {\mathbb {D}}_{\delta /2}(b_1)\cup {\mathbb {D}}_{\delta /2}(b_2)\) only requires minor adaptations of the above arguments, which are similar to those done in the proof of Lemma 3.6, and we omit them here. \(\quad \square \)
It remains to compute the coefficients in the expansion (3.24) of Lemma 3.8 more explicitly.
Lemma 3.9
Let \({\mathcal {R}}\) be defined by (3.3) and let \({\mathcal {G}}_n\) be the nth coefficient in the expansion of \({\mathcal {G}}\) given in Proposition 3.1. Then the following identities hold:
where the functions \({\mathcal {A}}_n(\zeta )\) are defined by
In particular, \({\mathcal {A}}_1(\zeta )\) is given explicitly by (3.4), the functions \({\mathcal {A}}_n(\zeta )\) are holomorphic on \({\mathbb {C}}{\setminus } \Sigma _5\), satisfy \({\mathcal {A}}_n = {{{\mathcal {O}}}}(\zeta ^n)\) as \(\zeta \rightarrow \infty \) uniformly for \(\theta \) in compact subsets of (0, 1], and depend continuously on \(\alpha \) and \(\theta \).
Proof
Using that \(r_{+}(\zeta ) + r_{-}(\zeta ) = 0\) for \(\zeta \in \Sigma _{5}\), we obtain
where \({\mathcal {L}}\) is a clockwise loop which encircles \(\Sigma _5\) but which does not encircle \(\zeta \). Deforming \({\mathcal {L}}\) to infinity, picking up a residue at \(\xi = \zeta \), and using that \(\frac{1}{r(\xi )(\xi -\zeta )} = {{{\mathcal {O}}}}(\xi ^{-2})\) as \(\xi \rightarrow \infty \), we get
which proves (3.33).
In order to prove (3.34), we first establish the identities
The function \(\ln (i\xi )\) is not analytic on \((0,i\infty )\). Therefore, to prove (3.37a), we first open up the contour \(\Sigma _5\) and deform it into a loop \({\mathcal {L}}_1\) which encircles \(\zeta \) but which avoids the positive imaginary axis as shown in Fig. 7. This gives
Deforming the circular part of \({\mathcal {L}}_1\) to infinity and using that \(\ln (i\xi )\) jumps by \(2\pi i\) across the positive imaginary axis, the identity (3.37a) follows. The identity (3.37b) follows in a similar way by deforming the contour to a loop which encircles \(\zeta \) but which does not encircle the negative imaginary axis.
Using that
and \(r_+(0)=i|b_2|=-r_-(0)\), we can write
which shows that
The identity (3.34) follows from (3.37) and (3.38).
To prove (3.35), we write \(\Sigma _{5,-}=(\Sigma _{5,-} \cup -\Sigma _{5,+}) \cup \Sigma _{5,+}\) and deform \(\Sigma _{5,-} \cup -\Sigma _{5,+}\) into a clockwise loop \({\mathcal {L}}\) which encircles \(\Sigma _5\) but which does not encircle \(\zeta \). Taking into account the fact that \({\mathcal {L}}\) and \(\Sigma _{5,-} \cup -\Sigma _{5,+}\) have opposite orientations, this shows that the left-hand side of (3.35) equals
Deforming \({\mathcal {L}}\) to infinity (picking up a residue contribution from \(\zeta \) but no contribution from infinity), we can write the first term in (3.39) as
On the other hand, using the jump relation of r on \(\Sigma _5\) to open up the contour \(\Sigma _{5,+}\) and picking up a residue contribution from \(\xi = 0\), we can write the second term in (3.39) as
Deforming \({\mathcal {L}}\) to infinity (picking up a residue contribution from \(\zeta \) but no contribution from infinity), the first term on the right-hand side of (3.41) can be written as
Substituting (3.40)–(3.42) into (3.39) and recalling that \({\mathcal {G}}_n ={\hat{f}}_n+{\tilde{f}}_n\), it follows that the left-hand side of (3.35) equals
which proves (3.35). Recalling that \({\mathcal {G}}_1= -ic_8\), \({\hat{f}}_1=-i\frac{3\alpha ^2-1}{24}\), and \(\tilde{f_1}=-ic_8-{\hat{f}}_1\) and using that \(r_-(0)=-i|b_2|\), we find the explicit expression (3.4) for the coefficient \({\mathcal {A}}_1(\zeta )\). Since \(r(\zeta ) \sim \zeta \) as \(\zeta \rightarrow \infty \), we see from (3.36) that \({\mathcal {A}}_n(\zeta )\) is analytic for \(\zeta \in {\mathbb {C}}{\setminus } \Sigma _5\) and of order \({{{\mathcal {O}}}}(\zeta ^n)\) as \(\zeta \rightarrow \infty \). Furthermore, since \({\hat{f}}_n\) and \({\mathcal {G}}_n\) depend continuously on \(\alpha \) and \(\theta \), so does \({\mathcal {A}}_n(\zeta )\). \(\quad \square \)
The asymptotic formula (3.2) for \(p(\zeta )\) follows by substituting the identities of Lemma 3.9 into the expansion (3.24) of Lemma 3.8. This completes the proof of Proposition 3.2.
4 Asymptotics of \(R(\zeta )\)
In this section, we establish the existence of an expansion to all orders of \(R(\zeta )\) as \(s \rightarrow +\infty \) and derive an explicit expression for the first coefficient \(R^{(1)}(\zeta )\) of this expansion. By expanding \(R^{(1)}(\zeta )\) as \(\zeta \rightarrow \infty \), we can compute the matrix \(R_1^{(1)}\) defined by (2.34). Even though only the (2, 2) entry of \(R_1^{(1)}\) is needed to compute c, we compute the full matrix \(R^{(1)}(\zeta )\), because it will be needed later for the evaluation of C. The results are summarized in the following proposition.
Proposition 4.1
(Asymptotics of R). Let \(N \ge 1\) be an integer. Suppose \(\alpha > -1\) and \(0 < \theta \le 1\). Let \(\{c_j\}_1^8\) and \(b_1, b_2\) be the complex constants expressed in terms of the parameters \(\alpha \) and \(\theta \) by (2.4) and (2.7), respectively.
There exist holomorphic functions \(R^{(n)}:{\mathbb {C}}{\setminus } (\partial {\mathbb {D}}_\delta (b_1)\cup \partial {\mathbb {D}}_\delta (b_2)) \rightarrow {\mathbb {C}}\), \(n=1,\ldots N\), such that the matrix valued function \(R(\zeta )\) defined in (2.32) admits the expansion
uniformly for \(\zeta \in {\mathbb {C}}{\setminus } \Gamma _R\) and \(\theta \) in compact subsets of (0, 1]. As \(\zeta \rightarrow \infty \), \(R^{(n)}(\zeta ) = O(\zeta ^{-1})\) for each \(n = 1, \dots , N\). The expansion (4.1) can be differentiated with respect to \(\zeta \) in the sense that
uniformly for \(\zeta \in {\mathbb {C}}{\setminus } \Gamma _R\) and \(\theta \) in compact subsets of (0, 1]. For any \(N \ge 1\),
uniformly for \(\zeta \in \cup _{i=1}^4 \Sigma _i {\setminus } ({\mathbb {D}}_\delta (b_1)\cup {\mathbb {D}}_\delta (b_2))\) and \(\theta \) in compact subsets of (0, 1]. Moreover, the first coefficient \(R^{(1)}(\zeta )\) is given explicitly by
where the constant matrices A and B are defined by
with
In particular, the matrix \(R_1^{(1)}\) in (2.34) is given by \(R_1^{(1)} = A-{\bar{A}}\) and has (2, 2) element
The remainder of this section is devoted to the proof of Proposition 4.1. We start by obtaining an asymptotic expansion of the jump matrix \(J_R\) for the RH problem satisfied by R.
4.1 Asymptotics of \(J_R\)
We recall from (2.32) that R is given by
where S, P, and \(P^{\infty }\) have been defined in Sect. 2. For \(\zeta \in \Gamma _R\), R satisfies the jump condition \(R_+ = R_- J_R\) where
and \(J_S\) denotes the jump matrix for S (see [12, Eq. (3.21)]):
The symmetries
together with the fact that \(p_0, \ell \in {\mathbb {R}}\) imply that the jump matrix \(J_R\) obeys the symmetry
From (4.9) and the symmetry of the behavior of R near the points of self-intersection of \(\Gamma _{R}\) and infinity, as well as the uniqueness of the solution of the RH problem for R, we conclude that R obeys the symmetry
Note that \(|b_2| = (1+\theta )\theta ^{\frac{1-\theta }{1+\theta }}\) by (2.7) and (2.8), so that \(b_1\) and \(b_2\) approach the origin only as \(\theta \downarrow 0\).
The next lemma establishes the existence of an asymptotic expansion to all orders of the jump matrix \(J_R(\zeta )\) as \(s \rightarrow + \infty \).
Lemma 4.2
(Asymptotics of \(J_R\)). Let \(N\ge 1\) be an integer and let \(\alpha > -1\). There exists an asymptotic expansion
where the error term is uniform for \(\zeta \in \partial {\mathbb {D}}_\delta (b_1)\cup \partial {\mathbb {D}}_\delta (b_2)\) and for \(\theta \) in compact subsets of (0, 1], and
are holomorphic functions which satisfy the symmetry
For \(\zeta \in {\overline{{\mathbb {D}}_\delta (b_1)}}\), \(J_{R}^{(1)}(\zeta )\) is explicitly given by
i.e.,
Proof
Substituting the expressions (2.18), (2.27) and (2.30) for \(P^\infty \), P, and E into the expression (4.7) for \(J_{R}\) on \(\partial {\mathbb {D}}_\delta (b_1)\), we find
We can extend the asymptotic formula (2.25) for \(A_{k}(\zeta )\) to all orders as follows. The Airy function admits the following well-known uniform asymptotic expansions to all orders (see [27, Eqs. 9.7.5 and 9.7.6]):
as \(\zeta \rightarrow \infty \), \(|\arg \zeta |<\pi - \delta '\) for any \(\delta ' >0\), where the coefficients \(\{u_l, v_l\}_{l=0}^{\infty }\) are given by
and \(u_{0} = v_{0} = 1\). Substituting the asymptotic expansions (4.15) into (2.22)–(2.24), it follows that, for \(k = 1,2,3\),
uniformly in the sector \(S_k\) defined in (2.26), where the branches of complex powers are as in (2.25).
Next note that by combining the expansions (3.1) and (3.2), we find
as \(s \rightarrow +\infty \) uniformly for \(\theta \) in compact subsets of (0, 1] and uniformly for \(\zeta \in {\mathbb {C}}{\setminus } \Sigma _{5}\) such that \(s^{\rho }\zeta \rightarrow \infty \), \(|\arg (\zeta ) - \tfrac{\pi }{2}| > \epsilon \) and \(|\arg (\zeta ) + \tfrac{\pi }{2}| > \epsilon \) for any fixed \(\epsilon > 0\), where \({\mathcal {R}}(\zeta )\) is defined by (3.3) and \(\tilde{{\mathcal {A}}}_n(\zeta )\) are holomorphic functions of \(\zeta \in {\mathbb {C}}{\setminus } \Sigma _{5}\) defined by
Utilizing the large s expansions (4.16) and (4.17) in the expression (4.14) for \(J_R(\zeta )\), we obtain
as \(s \rightarrow +\infty \) uniformly for \(\zeta \in \partial {\mathbb {D}}_\delta (b_1)\) and \(\theta \) in compact subsets of (0, 1]. The error term \({{{\mathcal {O}}}}((s^\rho q(\zeta ))^{-(N+1)})\) can be replaced by \({{{\mathcal {O}}}}(s^{-(N+1)\rho })\), because \(|q(\zeta )|\) is uniformly bounded away from zero on \(\partial {\mathbb {D}}_\delta (b_1)\) by (2.31). It follows that \(J_R\) admits an expansion of the form (4.10) with coefficients \(J_R^{(n)}(\zeta )\), \(n = 1, \dots , N\), which can be computed explicitly from (4.18) by straightforward algebra. In particular, this gives the explicit expression (4.12) for the first coefficient \(J_{R}^{(1)}(\zeta )\); using the definition (2.18) of \(Q^\infty (\zeta )\) and the fact that \(r(\zeta ) = (\zeta -b_2)\gamma (\zeta )^2\), the relations in (4.13) follow.
We finally show that \(J_R^{(n)}(\zeta )\), \(n = 1, \dots , N\), are analytic functions of \(\zeta \in {\overline{{\mathbb {D}}_\delta (b_1)}} {\setminus } \{b_1\}\). This will complete the proof of the lemma because the expansion (4.10) for \(\zeta \in \partial {\mathbb {D}}_\delta (b_2)\) and the symmetry (4.11) then follow from (4.9). Clearly, the coefficients \(J_R^{(n)}\) are analytic on \({\overline{{\mathbb {D}}_\delta (b_1)}} {\setminus } \Sigma _{5}\). In fact, it follows from (4.18) that they have no jump across \(\Sigma _{5}\), because for \(\zeta \in \Sigma _{5}\) we have
This shows that the coefficients \(J_R^{(n)}(\zeta )\) are analytic on \({\overline{{\mathbb {D}}_\delta (b_1)}} {\setminus } \{b_1\}\) (note however that the \(J_R^{(n)}(\zeta )\) may have poles at \(b_1\) because \(q(\zeta )\rightarrow 0\) as \(\zeta \rightarrow b_1\)). \(\quad \square \)
4.2 Existence of an expansion to all orders
In the following lemma, we show that the \(L^{p}\) norm of \(w_R := J_R-I\) on \(\Gamma _{R}\) is small for any \(1 \le p \le \infty \) uniformly for \(\theta \) in compact subsets of (0, 1], whenever s is large enough.
Lemma 4.3
(Estimates of \(w_R\)). Let \(N \ge 1\) be an integer and let K be a compact subset of (0, 1]. For each \(1 \le p \le \infty \) and each \(M \ge 0\), there exist positive constants \(C'\) and \(c'\) such that the following estimates hold:
Proof
In this proof, \(c'\) and \(C'\) denote generic positive constant which may change within a computation. Since \(\partial {\mathbb {D}}_\delta (b_1)\cup \partial {\mathbb {D}}_\delta (b_2)\) is compact, the estimate (4.19a) follows from Lemma 4.2.
Assume \(\zeta \in (\Sigma _1 \cup \Sigma _2){\setminus } ({\mathbb {D}}_\delta (b_1)\cup {\mathbb {D}}_\delta (b_2))\). By (2.18), (4.7), and (4.8), we have
We see from the expression (3.3) for \({\mathcal {R}}(\zeta )\) that \(|\mathrm{Re}\,{{\mathcal {R}}(\zeta )}| = {{{\mathcal {O}}}}(\ln |\zeta |)\) as \(\zeta \rightarrow \infty \) and hence
uniformly for \(\zeta \in \Sigma _1\cup \Sigma _2\) and \(\theta \in K\). It then follows from Propositions 3.1 and 3.2 (see (4.17)) that
uniformly for \(\zeta \in \Sigma _1\cup \Sigma _2\), \(\theta \in K\), and \(s \ge 1\). Furthermore, a minor modification of the proof of [12, Lemma 3.1]Footnote 6 together with the fact that \(h(\zeta ) = {{{\mathcal {O}}}}(\zeta \ln \zeta )\) as \(\zeta \rightarrow \infty \) yields
for some \(c' >0\) for all \(\theta \in K\). Equations (4.20), (4.21), and (4.22) imply that, for any \(M \ge 0\),
and a similar argument shows that
Let now \(\zeta \in \Sigma _5 {\setminus } ({\mathbb {D}}_\delta (b_1)\cup {\mathbb {D}}_\delta (b_2))\). Then, from (4.7) and (4.8), we obtain
Using the jump relation of \(P^\infty \), given in [12, Eq. (3.47)], and (2.18) this becomes
Note that \(Q^{\infty }_{-}(\zeta )\) and \(Q^{\infty }_{-}(\zeta )^{-1}\) are independent of s and bounded from above and from below for \(\zeta \in \Sigma _{5}{\setminus } ({\mathbb {D}}_\delta (b_1)\cup {\mathbb {D}}_\delta (b_2))\). Combining Proposition 3.2 with [12, Lemma 3.1], we have
for a certain large constant M, uniformly for \(\theta \in K\). For \(\zeta \in \Sigma _{5}\) such that \(s^{\rho }\zeta \le M\), the same estimate still holds; this follows from [12, Lemma 3.1] together with the fact that
Therefore, we have
which together with (4.23) and (4.24) finishes the proof of (4.19b).
The estimates (4.23) and (4.24) can clearly be extended to narrow open sectors containing the rays \(\cup _{i=1}^4 \Sigma _i {\setminus } ( {\mathbb {D}}_\delta (b_1)\cup {\mathbb {D}}_\delta (b_2))\). The estimate (4.19c) then follows from the analyticity of the jump matrix \(J_R\) and Cauchy’s estimate. \(\quad \square \)
For the reader’s convenience, we recall some well-known facts from the theory of singular integral operators. For a function \(u \in L^2(\Gamma _R)\) we define the Cauchy integral \({\mathcal {C}}u\) by
and we denote the non-tangential limits of \({\mathcal {C}}u\) from the left- and right-hand side of \(\Gamma _R\) by \({\mathcal {C}}_{+} u\) and \({\mathcal {C}}_{-}u\), respectively. The Cauchy operator \({\mathcal {C}}_{w_R}:L^2(\Gamma _R) \rightarrow L^2(\Gamma _R)\) is defined by
This operator is bounded and linear and, assuming that \(I-{\mathcal {C}}_{w_R}:L^2(\Gamma _R) \rightarrow L^2(\Gamma _R)\) is invertible, the solution of the RH problem for R is given by (see e.g. [16, Section 7])
where
In particular, if \({\mathcal {C}}_{w_R}\) has sufficiently small \(L^2\)-operator norm, \(I-{\mathcal {C}}_{w_R}\) can be inverted in terms of a Neumann series, that is,
Hence it follows from Lemma 4.3 and the estimate
that \(I-{\mathcal {C}}_{w_R}\) is invertible for all sufficiently large s. Here \(\Vert \cdot \Vert _{L^2(\Gamma _R)\rightarrow L^2(\Gamma _R)}\) denotes the operator norm of bounded linear operators \(L^2(\Gamma _R)\rightarrow L^2(\Gamma _R)\).
The standard theory for asymptotics of small norm RH problems (see e.g. [16]) together with Lemma 4.3 implies that R satisfies (4.1) and that this expansion can be differentiated with respect to \(\zeta \). The basic idea here is to combine (4.27)–(4.29) and the expansion (4.10) of the jump matrix. This immediately gives (4.1) uniformly for \(\zeta \) bounded away from the contour \(\Gamma _R\). For \(\zeta \) close to \(\Gamma _R\), one uses analyticity of the jump matrix in a neighborhood of \(\Gamma _R\) to deform the contour in such a way that \(\zeta \) is bounded away from the deformed contour.
Using the jump relation \(R_+ = R_- J_R\), the left-hand side of (4.3) can be written for \(\zeta \in \cup _{i=1}^4 \Sigma _i {\setminus } ({\mathbb {D}}_\delta (b_1)\cup {\mathbb {D}}_\delta (b_2))\) as
The estimate (4.3) is then a consequence of the estimates (4.19b) and (4.19c) of \(J_R(\zeta )\) and \(J_R'(\zeta )\), as well as the expansions (4.1) and (4.2) of \(R(\zeta )\) and \(R'(\zeta )\).
4.3 Explicit expression for \(R^{(1)}(\zeta )\)
We next derive the explicit expression (4.4) for the coefficient \(R^{(1)}(\zeta )\). We have \(R=I+{\mathcal {C}}(\mu _R w_R)\) and, by Lemma 4.3 and (4.28),
as \(s\rightarrow +\infty \), where the error terms are uniform with respect to \(\zeta \in \Gamma _R\) and \(\theta \) in compact subsets of (0, 1]. This implies
where \(\partial {\mathbb {D}}_\delta (b_1)\) and \(\partial {\mathbb {D}}_\delta (b_2)\) are oriented clockwise. From Lemma 4.2 and (2.31), \(J_R^{(1)}\) is analytic on \(({\overline{{\mathbb {D}}_\delta (b_1)}} \cup {\overline{{\mathbb {D}}_\delta (b_2)}}){\setminus } \{ b_1,b_2 \}\) with a double pole at each of the points \(b_1\) and \(b_2\). Furthermore, by (4.11) we have \(J_R^{(1)}(\zeta ) = \overline{J_R^{(1)}(-{{\bar{\zeta }}})}\) and hence
By Cauchy’s formula, if \(\zeta \notin {\overline{{\mathbb {D}}_\delta (b_1)}}\), we have
where the matrices A and B are defined by
so that
It follows from equations (4.31)–(4.33) that \(R^{(1)}(\zeta )\) satisfies (4.4) with A and B given by (4.34).
We next show that the matrices A and B can be written as in (4.5). Expanding (2.10) in powers of \(\sqrt{\zeta -b_1}\) and recalling the definition (2.28) of q, we obtain
Expansion of (3.3) gives
Substituting (4.35) and (4.36) into (4.12) a straightforward calculation shows that A and B can be written as in (4.5).
Finally, it follows from (4.27) and Lemma 4.3 that the order in which the expansions in s and \(\zeta \) are computed is irrelevant for the evaluation of the coefficient \(R_1^{(1)}\) defined in (2.34). Thus, from (4.1) and (4.4), we have \(R_1^{(1)} = A-{\bar{A}}\) and a straightforward computation then gives the expression (4.6) for \((R_1^{(1)})_{2,2}\). This completes the proof of Proposition 4.1.
5 Proof of Theorem 1.7 and of the Expression (1.10) for c
In this section, we use the expansions of p and R derived in Sects. 3 and 4 to prove Theorem 1.7 and to provide a first proof of the expression (1.10) for the constant c.
5.1 Proof of Theorem 1.7
Propositions 3.2 and 4.1 yield expansions for \(p_{1}(s)\) and \(R_1(s)\) in negative powers of \(s^\rho \) to all orders uniformly for \(\theta \) in compact subsets of (0, 1]. Indeed, since p is analytic at \(\zeta = \infty \), (2.20) implies
where r is any fixed large radius; substituting in (3.2), this gives the following extension of (2.37) to all orders as \(s \rightarrow + \infty \):
Similarly, by the definition (2.33) of \(R_1(s)\) and the expansion (4.1) of \(R(\zeta )\),
where the function \({\mathfrak {g}}\) obeys the bound \(|{\mathfrak {g}}(\zeta , s)| \le C' s^{-(N+1)\rho }(1+ |\zeta |)^{-1}\). The coefficients \(R^{(n)}(\zeta )\) are analytic at \(\zeta = \infty \) by Proposition 4.1. Hence
where \(R_1^{(n)}\) denotes the coefficient of \(\zeta ^{-1}\) in the large \(\zeta \) expansion of \(R^{(n)}(\zeta )\), and we have used that
Since (2.35) expresses \(\partial _{s} \ln \det \big ( 1- {\mathbb {K}}\big |_{[0,s]}\big )\) identically in terms of \(p_{1}(s)\) and \((R_1(s))_{2,2}\), we deduce the existence of an asymptotic expansion to all orders of \(\det (1- \left. {\mathbb {K}}\right| _{[0,s]})\) as \(s \rightarrow +\infty \) for each \(\theta \in (0,1]\). This proves Theorem 1.7.
5.2 Proof of the expression (1.10) for c
Comparing (2.37) and (5.1), we see that
where \(r > 0\) is any large radius, i.e., \({\mathcal {K}}\) is the term of order 1 in the large \(\zeta \) expansion of the function \({\mathcal {A}}_{1}(\zeta )\) defined in (3.4). A direct computation shows that
and therefore
Substituting the expressions (4.6) and (5.2) for \((R_1^{(1)})_{2,2}\) and \({\mathcal {K}}\) into (2.38) and recalling the definition (2.4) of the constants \(\{c_j\}_1^8\), we obtain the expression (1.10) for c.
Remark 5.1
The above evaluation of the constant c is based on the differential identity (2.35) in s. In Sect. 10, we will obtain an independent second proof of (1.10) by using a differential identity in \(\theta \).
Remark 5.2
(The constant c for two other models). Our approach to obtain the constant c presented in Sects. 3 and 4 is based on the differential identity in s derived in [12]. Hence, it also applies to two other random matrix models studied in [12]. The first model consists of random matrices of the form
where \({}^*\) denotes the complex conjugate transpose operator, and each \(G_j\) is an independent \((n+\nu _j)\times (n+\nu _{j-1})\) complex Ginibre matrix, with integers \(r\ge 1\), \(\nu _0=0\), and \(\nu _j\ge 0\), \(j=1,\ldots ,r\). The second model consists of products of the form
where each \(T_{j}\) is an \((n+\nu _j)\times (n+\nu _{j-1})\) upper left truncation of an \(\ell _j \times \ell _j\) Haar distributed unitary matrix \(U_j\). Here \(U_1,\ldots ,U_r\) are assumed to be independent and \(\nu _0=0\), \(r\ge 1\), and \(\nu _j\ge 0\), \(j=1,\ldots ,r\), are integers. Furthermore, it is assumed that \(\ell _j \ge n+\nu _j+1\) and \(\sum _{j=1}^{r}(\ell _j-n-\nu _j)\ge n\). In the second model, a subset \(J\subset \{2,\ldots ,r\}\) of cardinality \(q<r\) is fixed such that \(\mu _j:=\ell _{k_j}-n>\nu _j\) for \(k_j \in J\) and \(\ell _k -n \rightarrow +\infty \) for \(k\in \{ 1,\ldots r \} {\setminus } J\) as n and \(\ell _1,\ldots ,\ell _r\) go to infinity. In [12], it is shown that these two models admit large gap asymptotics for the eigenvalues of the form
where the first and second model corresponds to \(j=1\) and \(j=2\), respectively. Moreover, explicit expressions are derived for the constants \(\rho ^{(j)}\), \(a^{(j)}\), and \(b^{(j)}\).
A straightforward modification of our approach yields the existence of constants \(C_1^{(j)},\ldots ,C_N^{(j)} \in {\mathbb {R}}\) such that
as \(s\rightarrow +\infty \) for \(j=1,2\), and shows that the constants \(c^{(1)}\) and \(c^{(2)}\) are given explicitly by
Let \({\mathbb {K}}^{(1)}\) be the hard edge limiting kernel for the eigenvalues associated to the first model presented above (this is the same notation as in [12]). For certain particular choices of the parameters \(\nu _{1}, \ldots ,\nu _{r}\) and \(\theta \), the kernel \({\mathbb {K}}^{(1)}\) defines the same point process (up to rescaling) as the one associated to \({\mathbb {K}}\)Footnote 7–this is a result of Kuijlaars and Stivigny, see [25, Theorem 5.1]. More precisely, if \(r \ge 1\) is an integer, \(\alpha > -1\) and
then the kernels \({\mathbb {K}}^{(3)}\) and \({\mathbb {K}}\) are related by
Therefore, if the parameters satisfy (5.5), we obtain the following relations:Footnote 8
The three relations in (5.6) can be verified from [12], and the relation \(c^{(1)} = c\) can be verified directly from (1.10) and (5.4). This provides a non-trivial consistency check of the results from [12] and of our result for c and \(c^{(1)}\).
6 Differential Identity in \(\theta \)
In this section, we derive an identity for the derivative of \(\ln \det (1-{\mathbb {K}}|_{[0,s]})\) with respect to \(\theta \). As explained in Sect. 1.2, this differential identity is needed for the derivation of the expression (1.11) for C. Our proof of Lemma 6.1 below is inspired by the derivation of the differential identity (2.35) given in [12].
Lemma 6.1
(Differential identity in \(\theta \), 1st version). For every \(\alpha > -1\), \(\theta > 0\) and \(s>0\), the following identity holds:
where \(\psi = (\ln \Gamma )^{\prime }\) is the di-gamma function.
Proof
From [4, Theorem 2.1] and [12, Eq. (2.21)], letting \(\theta \) play the role of the deformation parameter, we deduce that
where \(J(z) := Y_{-}^{-1}(z)Y_{+}(z)\), i.e.,
A computation gives
from which it follows that
Since J is triangular and \(J-I\) is off-diagonal we infer that
using also the jump relations for Y, from which we obtain
A similar computation yields
By substituting (6.5) in (6.4), we obtain
Using (6.5) and (6.6), we arrive at
Substitution of the above identity into (6.3) finishes the proof. \(\quad \square \)
In the following lemma, we rewrite the differential identity (6.1) in a form which is more convenient for the asymptotic analysis. Let us define the sequence \(\{\zeta _j\}_0^\infty \subset i{\mathbb {R}}\) by
and the meromorphic function \(H(\zeta )\) by
Note that H has a simple pole at each of the points \(\zeta _j\), \(j = 1,2, \dots \), and no other poles in \({\mathbb {C}}\); the point \(\zeta _0\) is a simple pole of \(\psi (\frac{\frac{1+\alpha }{2}-is^{\rho }\zeta }{\theta })\) but not of H.
Given \(K > |b_1|\), we let \(\sigma _K\) denote the closed s-dependent counterclockwise contour displayed in Fig. 8. The contour \(\sigma _{K}\) surrounds \(\Sigma _{5}\) once in the positive direction, but does not surround any of the poles \(\zeta _{j}\) of H. The circular part of \(\sigma _{K}\) has radius K and its horizontal part has a length of order \({{{\mathcal {O}}}}(1)\) as \(s \rightarrow +\infty \) and crosses the imaginary axis at the point \(\zeta _0/2\). If \(K = 2|b_1|\), we write \(\sigma \) for \(\sigma _K\), i.e., \(\sigma = \sigma _{2|b_1|}\). We also define the contour \({\widetilde{\Sigma }}_{K}\) as the union of the parts exterior to \(\sigma _K\) of the rays \(\{\Sigma _{i}\}_1^4\) defined in (2.14), i.e.,
Lemma 6.2
(Differential identity in \(\theta \), 2nd version). Let K be such that \(K > 2|b_{1}|\). Then
where
Proof
Using the change of variable \(z = is^{\rho } \zeta + \frac{1}{2}\) in (6.1), we obtain an integral over \(\gamma _{U}\cup {\tilde{\gamma }}_{U}\) whose integrand is expressed in terms of U via (2.13). By deforming the contour of this integral using the analytic continuations of \(U_{+}\) and \(U_{-}\) (i.e., using T), we arrive at
Another contour deformation gives
where we have used that \(\zeta \mapsto H(\zeta ) {{\,\mathrm{Tr}\,}}[T^{-1}(\zeta )T^{\prime }(\zeta )\sigma _{3}]\) is analytic for all \(\zeta \) in the interior region of \(\sigma _{K}\) such that \(\zeta \notin \cup _{i=1}^{5}\Sigma _{i}\).
For \(\zeta \in \sigma _{K}\), we have \(\zeta \notin {\mathbb {D}}_\delta (b_1)\cup {\mathbb {D}}_\delta (b_2)\). Therefore, inverting the transformations \(T \mapsto S \mapsto R\) for \(\zeta \in \sigma _{K}\), we find
The first two terms on the right-hand side of (6.15) are analytic in the region between \(\sigma \) and \(\sigma _{K}\). Therefore, substituting (6.15) into the first term on the right-hand side of (6.14) and deforming the contour from \(\sigma _K\) to \(\sigma \) in the integrals involving the first two terms on the right-hand side of (6.15), we find that this term equals \(I_{1} + I_{2} + I_{3,K}\).
Similarly, by inverting the transformations \(T \mapsto S \mapsto R\) for \(\zeta \in {\widetilde{\Sigma }}_{K}\), we find that the second term on the right-hand side of (6.14) equals \(I_{4,K}\). \(\quad \square \)
Remark 6.3
In the application of the differential identity (6.9) to the proof of Theorem 1.1, we will choose \(K = s^\rho \); that is, the radius K will be s-dependent and growing to infinity as \(s \rightarrow +\infty \).
The remainder of the paper is devoted to the proof of Theorem 1.1. The proof is divided into two steps. The first step consists of obtaining large s asymptotics of the differential identity (6.9) uniformly for \(\theta \) in compact subsets of (0, 1]. This is achieved by computing the large s asymptotics of each of the four terms \(I_1\), \(I_2\), \(I_{3,K}\), and \(I_{4,K}\) on the right-hand side of (6.9). These computations are presented in Sects. 7–9. The second step is presented in Sect. 10 and consists of integrating the resulting asymptotic expansion from \(\theta = 1\) to an arbitrary \(\theta \in (0,1]\).
7 Asymptotics of \(I_{1}\)
In this section, we prove the following proposition which establishes the large s asymptotics of \(I_{1}\).
Proposition 7.1
(Large s asymptotics of \(I_{1}\)). Let \(\alpha > -1\). As \(s \rightarrow +\infty \), the function \(I_1\) defined in (6.10) satisfies
uniformly for \(\theta \) in compact subsets of (0, 1], where the coefficients \({\mathcal {I}}_{1}^{(1)}\), \(I_{1}^{(1)}\), \({\mathcal {I}}_{1}^{(2)}\), \(I_{1}^{(2)}\), \({\mathcal {I}}_{1}^{(3)}\), \(I_{1}^{(3)}\) are given by
Proof
Recall from (6.7) that \(\zeta _0 = -i\frac{1 +\alpha }{2}s^{-\rho }\). Define \(\Psi (\zeta ) = \Psi (\zeta , s, \theta , \alpha )\) by
where \(\zeta _{\star } \in {\mathbb {C}}{\setminus } (-i\infty , \zeta _0]\) is some point at which \(\Psi \) is normalized to vanish; we will choose this normalization point below. Then \(\Psi \) is analytic in \({\mathbb {C}}{\setminus } (-i\infty , \zeta _0]\). In particular, \(\Psi \) is analytic on \(\sigma \). Using the explicit expression (2.10) for \(g''\), an integration by parts therefore gives
We assume that \(\sigma \) is big enough to enclose the straight line segment \([b_1, b_2]\) and move the branch cut for \(r(\zeta )\) upwards from \(\Sigma _5\) to the horizontal line segment \([b_1, b_2]\); this does not change the value of the integral. We let \({\tilde{r}}\) denote the analytic continuation of r defined by
where the branch is such that \({\tilde{r}}\) is analytic in \({\mathbb {C}}{\setminus } [b_{1},b_{2}]\) and \({\tilde{r}}(\zeta ) \sim \zeta \) as \(\zeta \rightarrow \infty \). Then \({\tilde{r}}(\zeta )\) is equal to \(r(\zeta )\) except for \(\zeta \) in the region enclosed by \(\Sigma _5 \cup [b_{1},b_{2}]\) where we instead have \({\tilde{r}}(\zeta ) = -r(\zeta )\). Deforming \(\sigma \) upwards through the origin, a residue contribution is generated by the simple pole of \(i \mathrm{Im}\,{b_1}/(\zeta {\tilde{r}}(\zeta ))\) at \(\zeta = 0\). We find
where \([b_1, b_2]\) is oriented from \(b_1\) to \(b_2\) with \(+\) and − sides to the left and right as usual, and \({\tilde{r}}(0) = r_-(0) = -i|b_2|\). Thus,
where \(\gamma _{b_2b_1}\) denotes the part of the circle of radius \(|b_2|\) centered at the origin going from \(b_2\) to \(b_1\) and oriented counterclockwise.
Let us choose \(\zeta _{\star } = 0\); then \(\Psi (0) = 0\), so the first term on the right-hand side of (7.5) vanishes. The choice \(\zeta _{\star } = 0\) implies that the term \(\frac{\frac{1+\alpha }{2}-is^{\rho }\xi }{ \theta }\) is not uniformly large for \(\xi \in [0,\zeta ]\) with \(\zeta \in \gamma _{b_{1}b_{2}}\) as \(s \rightarrow + \infty \), so the large s behavior of \(\Psi (\zeta )\) does not follow immediately from (6.8) and (7.3); however, we can determine the large s asymptotics of \(\Psi (\zeta )\) as follows. Using the change of variables
we can write
where
Integrating by parts, we get
Using the well-known identity (see e.g. [27, Eq. 5.17.4])
in (7.7), we obtain
The above expression is convenient since the large z asymptotics of \(\Gamma (z)\) and G(z) are known (see e.g. [27, Eqs. 5.11.1 and 5.17.5]):
as \(z \rightarrow \infty \) with \(|\arg z|< \pi \), where \(\zeta \) is Riemann’s zeta function.Footnote 9 Expanding (7.9) as \(s^{\rho }\zeta \rightarrow \infty \), we get
Substituting (7.12) into (7.5), we find that \(I_1\) satisfies (7.1) as \(s \rightarrow +\infty \) with coefficients given by
It only remains to show that the coefficients in (7.13) can be expressed as in (7.2). This requires the evaluation of several integrals; we have collected the necessary results in the next lemma.
Lemma 7.2
Let \(\alpha > -1\) and \(\theta \in (0,1]\). Let \(r(\zeta )\) denote the square root defined in (2.9). Then the following identities hold:
Proof
See “Appendix C”. \(\quad \square \)
Since \(\theta \in (0,1]\), we have \(\arg b_{2} = \pi - \arg b_{1} \in [0, \pi /2)\), and hence
Substituting the expressions of Lemma 7.2 into (7.13) and using (1.9), (2.4), (2.8), and (7.15) to simplify, we arrive at the expressions (7.2) for the coefficients \({\mathcal {I}}_{1}^{(1)}\), \(I_{1}^{(1)}\), \({\mathcal {I}}_{1}^{(2)}\), \(I_{1}^{(2)}\), \({\mathcal {I}}_{1}^{(3)}\), \(I_{1}^{(3)}\). This completes the proof of Proposition 7.1. \(\quad \square \)
8 Asymptotics of \(I_{2}\)
The large s asymptotics of \(I_{2}\) is a consequence of the following three propositions whose proofs are given in Sects. 8.1, 8.2, and 8.3 , respectively.
Proposition 8.1
(Splitting of \(I_2\)). The function \(I_{2}\) defined in (6.11) can be written as
where X and Z are defined by
Proposition 8.2
(Large s asymptotics of X). Let \(\alpha > -1\). The quantity X defined in (8.1) admits the following asymptotic expansion as \(s \rightarrow +\infty \):
uniformly for \(\theta \) in compact subsets of (0, 1], where the coefficients are given by
and
Proposition 8.3
(Large s asymptotics of Z). Let \(\alpha > -1\). The quantity Z defined in (8.1) admits the following asymptotic expansion as \(s \rightarrow +\infty \):
uniformly for \(\theta \) in compact subsets of (0, 1], where the coefficients \({\mathscr {Z}}^{(2)}\), \({\mathcal {Z}}^{(2)}\), \(Z^{(2)}\), \({\mathcal {Z}}^{(3)}\), \(Z^{(3)}\) are given by
and
8.1 Proof of Proposition 8.1
Recall that the integral \(I_{2}\) is given by
where H is given by (6.8) and \(\sigma \) is a closed curve surrounding \(\Sigma _{5}\) once in the positive direction which does not surround any of the poles \(\zeta _{j}\) of H. A straightforward computation gives
where we have used that
has trace zero in the last step. Hence
The function \(p(\zeta )\) is analytic for \(\zeta \in {\mathbb {C}}{\setminus } \Sigma _5\) and satisfies the following jump condition across \(\Sigma _5\):
Integrating by parts, deforming the contour, and using the jump condition for p, we find
which completes the proof.
8.2 Proof of Proposition 8.2
An integration by parts gives
From the expression (2.17) for \(\ln {\mathcal {G}}\), we have
where \(c_{1}\), \(c_{2}\), and \(c_{3}\) are given by (2.4). Thus,
where we have changed variables to \(w = is^\rho \zeta \) in the second step. The function \(\psi (\frac{\frac{1+\alpha }{2} - w}{\theta })\) has poles at the points \(w = \frac{1+\alpha }{2} + j\theta \in (0,\infty )\), \(j = 0,1,2, \dots \), and the function \(\psi (\frac{1+\alpha }{2} + w)\) has poles at the points \(w = -\frac{1+\alpha }{2} - j \in (-\infty ,0)\), \(j = 0,1,2, \dots \). Thus the term which will cause the most difficulties in the analysis is the one involving the product \(\psi (\frac{\frac{1+\alpha }{2} - w}{\theta })\psi (\frac{1+\alpha }{2} + w)\) (for the other terms we can deform the contour into the left half-plane and use the large z asymptotics of \(\psi (z)\)).
Let \(m = \frac{1+\alpha }{2}\); the exact value of m is not essential as long as \(m > 0\). We split X as follows:
where
and the function \({\hat{g}}(w)\) is defined by
Note that all the s-dependence of \(X_{2}\) and \(X_{3}\) is in the contour. The term \({\hat{g}}(w)\) has been added and subtracted so that the integrand in the definition of \(X_2\) is \({{{\mathcal {O}}}}(w^{-2} \ln w)\) as \(w \rightarrow \infty \). This can be verified by using the asymptotic expansion (see [27, Eq. 5.11.2])
where \(B_{2k}\) is the 2kth Bernoulli number, which implies that
as \(w \rightarrow \infty \) away from the negative real axis, as well as the expansion
The integrals defining \(X_2\) and \(X_3\) converge because the function \({\hat{g}}(w)\) is analytic except for a double pole at \(w = m > 0\).
We will show that \(X_1, X_2, X_3\) satisfy the large s asymptotics
uniformly for \(\theta \) in compact subsets of (0, 1], where the coefficients of the three expansions are given by (8.3), (8.4), and (8.5), respectively. This will complete the proof of Proposition 8.2.
8.2.1 Asymptotics of \(X_{1}\)
For \(\zeta \in {\mathbb {C}}\) bounded away from \(i {\mathbb {R}}\), we have the expansions (see (3.1), (6.8), and (8.12))
and
where the constants \(c_j\) are given by (2.4). Substituting these expansions into the definition (8.8) of \(X_1\), we find (8.15).
8.2.2 Asymptotics of \(X_{2}\)
Since the integrand in the definition of \(X_2\) is \({{{\mathcal {O}}}}(w^{-2} \ln w)\) as \(w \rightarrow \infty \), we see that \(X_2\) satisfies (8.16) with
where the contour crosses the real line at 0 and \({\hat{g}}(w)\) is given by (8.11). It remains to show that \(X_{2}^{(3)}\) can be written as in (8.4).
Since \(\psi (z) = \frac{-1}{z+k} + {{{\mathcal {O}}}}\big ( (z+k)^{-2} \big )\) as \(z \rightarrow -k\) for each \(k = 0,1,2, \dots \), it follows that
has a simple pole with residue \(\theta \) at each of the points \(\frac{1+\alpha }{2}+ k \theta \), \(k = 0,1,2, \dots \). For \(k \ge 1\), the associated residue gives a contribution to \(X_{2}^{(3)}\) equal to (taking into account that after the deformation, the loop is going in the clockwise orientation around \(\frac{1+\alpha }{2}+ k \theta \))
On the other hand, the residue at \(m = \frac{1+\alpha }{2}\) is given by
where \(\gamma _{\mathrm {E}}\) is Euler’s gamma constant. By (8.13) and (8.14), we have
as \(w \rightarrow \infty \) away from the negative real axis. Moreover, by (8.12),
as \(w \rightarrow \infty \) away from the positive real axis; in fact, combining (8.12) with the reflection formula \(\psi (1-z) = \psi (z) + \pi \cot (\pi z)\), we see that (8.20) holds also as \(w \rightarrow \infty \) in a sector containing the positive real axis as long as w stays away from the poles \(\{\frac{1+\alpha }{2} + j\theta \}_{j=0}^\infty \). Thus, deforming the contour in (8.19) to infinity in the right half-plane along curves which stay away from the set \(\{\frac{1+\alpha }{2} + j\theta \}_{j=0}^\infty \), the contribution from infinity vanishes and we find
where the series is convergent because it originates from a convergent integral. Using the series representation for the Euler gamma constant (see [27, Eq. 5.2.3])
together with the fact that
we conclude that \(X_{2}^{(3)}\) can be written as in (8.4). This proves (8.16).
8.2.3 Asymptotics of \(X_{3}\)
Deforming the contour \(is^{\rho }\Sigma _{5}\) in the definition (8.10) of \(X_3\) in the left half-plane to the contour \(is^{\rho }\gamma _{b_{2}b_{1}}\), we get
The above representation is convenient for the asymptotic analysis of \(X_3\), because the argument \((\frac{1+\alpha }{2}- w)/\theta \) of \(\psi \) is large as \(s \rightarrow + \infty \) uniformly for \(w \in i s^\rho \gamma _{b_2b_1}\). As \(w \rightarrow \infty \) away from the positive real axis, we have
Substitution of the expansions (8.22) and (8.14) into (8.21) yields
Letting \(w = i s^\rho \zeta \), we obtain
uniformly for \(\theta \) in compact subsets of (0, 1], where the coefficients are given by
Using that
we see that the coefficients \({\mathcal {X}}_{3}^{(2)}, X_{3}^{(2)}, {\mathcal {X}}_{3}^{(3)}, X_{3}^{(3)}\) can be written as in (8.5). This proves (8.17) and thus completes the proof of Proposition 8.2.
8.3 Proof of Proposition 8.3
We have
uniformly for \(\zeta \in \gamma _{b_2b_1}\). Moreover, by Proposition 3.2,
uniformly for \(\zeta \in \gamma _{b_2b_1}\), where the coefficients \({\mathcal {B}}(\zeta )\) and \({\mathcal {A}}(\zeta )\) are defined by
with \({\mathcal {A}}_1\) and \({\mathcal {R}}\) given by (3.4) and (3.3). Substitution into the definition (8.1) of Z shows that Z admits an expansion of the form (8.6) as \(s \rightarrow + \infty \), uniformly for \(\theta \) in compact subsets of (0, 1], with coefficients given by
It only remains to show that the coefficients in (8.26) can be expressed as in the statement of Proposition 8.3. Inspection of (8.26) shows that there are five different integrals that need to evaluated:
These integrals are evaluated in the following lemma.
Lemma 8.4
For \(\alpha > -1\) and \(\theta \in (0,1]\), it holds that
Proof
See “Appendix D”. \(\quad \square \)
Substituting the results of Lemma 8.4 into (8.26), we obtain after simplification the expressions for the coefficients \({\mathscr {Z}}^{(2)}\), \({\mathcal {Z}}^{(2)}\), \(Z^{(2)}\), \({\mathcal {Z}}^{(3)}\), and \(Z^{(3)}\) given in the statement of Proposition 8.3. This completes the proof of Proposition 8.3.
9 Asymptotics of \(I_{3,K}\) and \(I_{4,K}\)
In this section, we prove two propositions (Proposition 9.1 and Proposition 9.2) which establish the large s asymptotics of \(I_{3,K}\) and \(I_{4,K}\), respectively, where we henceforth choose \(K = s^\rho \).
Proposition 9.1
(Large s asymptotics of \(I_{3,K}\)). Let \(\alpha > -1\) and let \(K = s^\rho \). As \(s \rightarrow +\infty \), the function \(I_{3,K}\) defined in (6.12) satisfies
uniformly for \(\theta \) in compact subsets of (0, 1], where the coefficients \({\mathcal {I}}_{3}^{(3)}\) and \(I_{3}^{(3)}\) are given by
Proof
By the cyclicity of the trace, we can write the definition (6.12) of \(I_{3,K}\) as
where \(K = s^\rho \), and \(\sigma _{K}\) and H are defined in Lemma 6.2. All the s-dependence of the trace lies in the factor \(R^{-1}(\zeta )R'(\zeta )\), since by (2.18), the quantity
is independent of s. As \(s \rightarrow + \infty \), we have by Proposition 4.1 that
uniformly for \(\zeta \in {\mathbb {C}}{\setminus } \Gamma _{R}\) and that this expansion can be differentiated with respect to \(\zeta \). The asymptotics in (9.4) as well as all other asymptotic expansions in the rest of this section are uniform with respect to \(\theta \) in compact subsets of (0, 1].
From the explicit expression (4.4) for \(R^{(1)}\), we see that \(R^{(1)}(\zeta )\) and \(R^{(1)\prime }(\zeta )\) are \({{{\mathcal {O}}}}((1 +|\zeta |)^{-1})\) and \({{{\mathcal {O}}}}((1 +|\zeta |)^{-2})\), respectively, uniformly for \(\zeta \in \sigma _K\) as \(s \rightarrow +\infty \). Therefore,
uniformly for \(\zeta \in \sigma _{K}\), where
uniformly for \(\zeta \in \sigma _{K}\). Hence, for large s and \(\zeta \in \sigma _{K}\), we have
where the function \(W(\zeta )\) is defined by
Substituting (9.5) into (9.2), we see that
where \(I_{3}\) and \({\widetilde{I}}_{3,K}\) are defined by
We first estimate \({\widetilde{I}}_{3,K}\). Since
we have (see also Fig. 8)
where \(c',C'>0\) are two sufficiently large constants.
We next consider \(I_{3}\). Substituting (4.4) and (9.3) into (9.6), it follows that
Replacing r by \({\tilde{r}}\) in W does not change the value of \(I_{3}\). Deforming \(\sigma \) (which surrounds 0) into another contour \({\tilde{\sigma }}\) which surrounds the cut \([b_{1},b_{2}]\) of \({\tilde{r}}\) once in the positive direction but which does not surround 0, it transpires that
where \({\widetilde{W}}\) is defined by the expression obtained by replacing r by \({\tilde{r}}\) in the right-hand side of (9.10). Assuming that \({\tilde{\sigma }}\) is bounded away from 0, we can replace \(H(\zeta )\) by its large s asymptotics (8.18); this gives
We split the leading term as follows:
where \(I_{3,1}\) and \(I_{3,2}\) are given by
From (9.10), we have the expansion
By deforming the contour \({\tilde{\sigma }}\) to infinity, we get
while
We have
and the integral \(\int _{-R}^0 \frac{i \zeta }{\theta ^2} W(\zeta ) d\zeta \) can be computed explicitly using (9.10). After simplification this gives
Substituting this expression for \(I_{3,2}\) into (9.11) and recalling (9.7), (9.9), and (9.12), equation (9.1) follows. \(\quad \square \)
Proposition 9.2
(Large s asymptotics of \(I_{4,K}\)). Let \(\alpha > -1\) and let \(K = s^\rho \). As \(s \rightarrow +\infty \), the function \(I_{4,K}\) defined in (6.13) satisfies, for any \(N \ge 1\),
uniformly for \(\theta \) in compact subsets of (0, 1].
Proof
In view of (9.3), we can write
where \(Q^{\infty }(\zeta ) \sigma _{3} Q^{\infty }(\zeta )^{-1}\) is independent of s and \({{{\mathcal {O}}}}(1)\) as \(\zeta \rightarrow \infty \). Using (4.3) and (9.8), we conclude that, for any N large enough,
uniformly for \(\theta \) in compact subsets of (0, 1]. This proves (9.13). \(\quad \square \)
10 Proof of Theorem 1.1
Substituting the large s asymptotics of the integrals \(I_{1}\), \(I_{2}\), \(I_{3,K}\), and \(I_{4,K}\) established in Sects. 7–9 (see Propositions 7.1, 8.1, 8.2, 8.3, 9.1, and 9.2 ) into the differential identity (6.9), we obtain
as \(s \rightarrow + \infty \) uniformly for \(\theta \) in compact subsets of (0, 1].
10.1 Integration of the differential identity
Since the asymptotic formula (10.1) is valid uniformly for \(\theta \) in compact subsets of (0, 1], we can integrate (10.1) with respect to \(\theta \) from \(\theta = 1\) to an arbitrary \(\theta \in (0,1]\). Using the known result (1.7) valid for \(\theta =1\), this yields the following lemma.
Lemma 10.1
Let \(\alpha > -1\). The following expansion is valid uniformly for \(\theta \) in compact subsets of (0, 1] as \(s \rightarrow + \infty \):
where the coefficients a, b, c are given by (1.9) and (1.10), \(X_{2}^{(3)} = X_{2}^{(3)}(\theta , \alpha )\) is given in (8.4), and \(W(\theta , \alpha )\) is defined by
Proof
The proof involves long computations which use the definitions (2.4) and (2.7) of the constants \(\{c_j\}_1^8\), \(b_1\), and \(b_2\), as well as the relations (7.15) satisfied by \(\ln {b_1}\) and \(\ln {b_2}\). Explicit expressions for the coefficients in (10.1) are given in Propositions 7.1, 8.1, 8.2, 8.3, 9.1, 9.2. After rather lengthy calculations, we find that the first six coefficients on the right-hand side of (10.1) can be expressed as
where a, b, and c are given by (1.9) and (1.10). Integrating (10.1) from 1 to \(\theta \) and using (1.7) to compute the boundary term at 1, this yields
as \(s \rightarrow +\infty \) uniformly for \(\theta \) in compact subsets of (0, 1]. The lemma will follow if we can show that
This identity is a consequence of another long computation which also employs the identities
which are a consequence of (2.7) and (2.8). \(\quad \square \)
Remark 10.2
Lemma 10.1 provides an alternative proof of the expressions (1.9) and (1.10) for a, b, and c based on the differential identity in \(\theta \). Note that this method yields an error term in (10.2) of order \({{{\mathcal {O}}}}\big (s^{-\rho } \ln (s^{\rho })\big )\) for \(\theta \le 1\) (and for \(\theta \ge 1\) we would get \({{{\mathcal {O}}}}(s^{-\frac{1}{2}}\ln s)\)), which is slightly worse than the optimal bound \({{{\mathcal {O}}}}(s^{-\rho })\) (which was proved via the differential identity in s in [12]).
To complete the proof of Theorem 1.1 it only remains to verify that the sum of the terms of order 1 on the right-hand side of (10.2) equals \(\ln C\), where C is given by (1.11). In order to verify this we need to compute the three integrals on the right-hand side of (10.2). These integrals are computed in the following three lemmas.
Lemma 10.3
For \(\alpha > -1\) and \(\theta \in (0,1]\), it holds that
Proof
A simple integration by parts shows that
Using the identities (see [27, Eq. 5.17.4] for the first identity)
we obtain
Substituting (10.5) into (10.4) and simplifying, we find (10.3). \(\quad \square \)
Lemma 10.4
For \(\alpha > -1\) and \(\theta \in (0,1]\), it holds that
Proof
This follows from a long but straightforward computation. \(\quad \square \)
Lemma 10.5
For \(\alpha > -1\) and \(\theta \in (0,1]\), it holds that
Proof
Integrating the definition (8.4) of \(X_{2}^{(3)}\) from 1 to \(\theta \) and appealing to Fubini’s theorem to interchange the order of integration and summation, we obtain
To simplify the sum in (10.7), we first consider the sum of \(\ln \Gamma (1+\alpha + k)\). Using the reproducing formula for Barnes’ G-function (see [27, Eq. 5.17.1]),
we can write
The asymptotics (7.10) of \(\ln G\) then leads to the large N asymptotics
To simplify the terms in (10.7) involving \(\ln (\frac{1+\alpha }{2} + k \theta )\), we utilize the Hurwitz zeta function \(\zeta (u,z)\) which is defined for \(\mathrm{Re}\,u > 1\) and \(z \ne 0, -1, -2, \dots \) by
We recall that this function, which generalizes Riemann’s zeta function \(\zeta (u)\) in the sense that \(\zeta (u,1) = \zeta (u)\), is defined for all \(u \in {\mathbb {C}}{\setminus } \{1\}\) by analytic continuation. A simple shift of the summation index shows that
whenever \(\mathrm{Re}\,u > 1\). By analyticity, (10.9) is in fact valid for all \(u \in {\mathbb {C}}{\setminus } \{1\}\) and \(z \in {\mathbb {C}}{\setminus } \{0,-1, \dots \}\). Differentiating (10.9) with respect to u and evaluating the resulting equation at \(u=-1\), we obtain
where \(\zeta '(-1,z) := \left. \partial _{u} \zeta (u,z) \right| _{u=-1}\). It is a simple calculation to deduce from (10.10) that
Using the asymptotic formula [27, Eq. 25.11.44]
which is valid in the sector \(|\arg z| < \frac{\pi }{2} - \delta \) for any fixed \(\delta > 0\), we obtain, for any \(\theta \in (0,1]\),
as \(N \rightarrow + \infty \).
The asymptotics of the terms in (10.7) involving \(\ln (\frac{1+\alpha }{2} + k)\) can be obtained by setting \(\theta = 1\) in (10.11). Moreover, it is easy to check that
and
Substituting (10.8), (10.11), (10.12), and (10.13) into (10.7) and using that \(\ln (N+1)\) can be replaced by \(\ln N\) because \(\ln (N+1) - \ln {N} \rightarrow 0\) as \(N \rightarrow +\infty \), we obtain
which, recalling the definition (1.12) of the quantity \(d(\theta ,\alpha )\), can be rewritten as
Using the following identity which relates the Barnes G-function to \(\zeta '(-1,z)\) (see [2, Eq. (18)]):
we can rewrite (10.14) as (10.6). \(\quad \square \)
Remark 10.6
Note that the reasoning leading to (10.8) cannot be applied to the sum
for general values of \(\theta \). In fact, this is the only finite N sum in (10.7) which we are not able to evaluate in terms of known special functions.
Replacing the three integrals on the right-hand side of (10.2) with the expressions derived in Lemmas 10.3–10.5, we obtain the following expression for the term of order 1 in the large s asymptotics of \(\ln \det ( \left. 1-{\mathbb {K}} \right| _{[0,s]} )\):
which is precisely \(\ln C\), where C is defined by (1.11). This finishes the proof in the case when \(\theta \in (0,1]\); as explained in Sect. 1.2.1 the result for \(\theta \in [1, \infty )\) then follows by symmetry. The proof of Theorem 1.1 is therefore complete.
Notes
Note that \(d(\theta ,\alpha )\) is well-defined for \(\alpha = -1\) even though the point process is defined only for \(\theta > 0\) and \(\alpha > -1\).
From the analysis of [12], we can show that the error term in (1.8) is indeed differentiable and satisfies \(\partial _{s} {{{\mathcal {O}}}}(s^{-\rho }) = {{{\mathcal {O}}}}(s^{-\rho -1})\) and \(\partial _{\theta } {{{\mathcal {O}}}}(s^{-\rho }) = {{{\mathcal {O}}}}(s^{-\rho } \ln s)\) as \(s \rightarrow + \infty \).
Note that the conjugation by \(e^{p_{0}\sigma _{3}}\) only affects the off-diagonal elements of R. Thus, even though this conjugation was not present in [12], this does not affect the results of that paper as they only depend on the (2, 2) element of R.
Note that there is a typo in the lemma: it should be \(2g(\zeta ) - i h(\zeta ) + \ell \) instead of \(2g(\zeta ) - i h(\zeta ) - \ell \). Existence of a constant \(c'\) is clear from the proof of the lemma.
\({\mathbb {K}}\) in the present paper is denoted by \({\mathbb {K}}^{(3)}\) in [12].
The quantities \(\rho \), a, b, c and C in the present paper are denoted by \(\rho ^{(3)}\), \(a^{(3)}\), \(b^{(3)}\), \(c^{(3)}\) and \(C^{(3)}\) in [12].
The Riemann zeta function \(\zeta (\cdot )\) should not be confused with the complex variable \(\zeta \) introduced in (2.2).
References
Abramowitz, M., Stegun, I.A.: Handbook of Mathematical Functions with Formulas, Graphs, and Mathematical Tables. Applied Mathematics Series. 55 (Ninth reprint with additional corrections of tenth original printing with corrections (December 1972); first ed.). Washington D.C.; New York: United States Department of Commerce, National Bureau of Standards; Dover Publications. (1983)
Adamchik, V.S.: Polygamma functions of negative order. J. Comput. Appl. Math. 100, 191–199 (1998)
Bertola, M.: The dependence on the monodromy data of the isomonodromic tau function. Commun. Math. Phys. 294, 539–579 (2010)
Bertola, M., Cafasso, M.: The transition between the gap probabilities from the Pearcey to the airy process-a Riemann-Hilbert approach. Int. Math. Res. Not. 2012, 1519–1568 (2012)
Bloom, T., Levenberg, N., Totik, V., Wielonsky, F.: Modified logarithmic potential theory and applications. Int. Math. Res. Not. IMRN 2017, 1116–1154 (2017)
Borodin, A.: Biorthogonal ensembles. Nuclear Phys. B 536, 704–732 (1999)
Borodin, A.: Determinantal point processes, The Oxford handbook of random matrix theory. Oxford University Press, pp. 231–249 (2011)
Butez, R.: Large deviations for biorthogonal ensembles and variational formulation for the Dykema-Haagerup distribution. Electron. Commun. Probab. 22 (2017)
Charlier, C., Gharakhloo, R.: Asymptotics of Hankel determinants with a Laguerre-type or Jacobi-type potential and Fisher-Hartwig singularities, arXiv:1902.08162
Cheliotis, D.: Triangular random matrices and biorthogonal ensembles. Stat. Probab. Lett. 134, 36–44 (2018)
Claeys, T., Romano, S.: Biorthogonal ensembles with two-particle interactions. Nonlinearity 27, 2419–2444 (2014)
Claeys, T., Girotti, M., Stivigny, D.: Large gap asymptotics at the hard edge for product random matrices and Muttalib-Borodin ensembles. Int. Math. Res. Not. (2017). https://doi.org/10.1093/imrn/rnx202
Deift, P., Its, A., Krasovsky, I.: Asymptotics for the Airy-kernel determinant. Commun. Math. Phys. 278, 643–678 (2008)
Deift, P., Its, A., Krasovky, I.: Asymptotics of Toeplitz, Hankel, and Toeplitz+Hankel determinants with Fisher-Hartwig singularities. Ann. Math. 174, 1243–1299 (2011)
Deift, P., Krasovsky, I., Vasilevska, J.: Asymptotics for a determinant with a confluent hypergeometric kernel. Int. Math. Res. Not. 9, 2117–2160 (2011)
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, 1491–1552 (1999)
Deift, P., Zhou, X.: A steepest descent method for oscillatory Riemann-Hilbert problems. Asymptotics for the MKdV equation. Ann. Math. 137, 295–368 (1993)
Forrester, P.J., Wang, D.: Muttalib–Borodin ensembles in random matrix theory–realisations and correlation functions. Electron. J. Probab. 22 (2017)
Its, A., Izergin, A.G., Korepin, V.E., Slavnov, N.A.: Differential equations for quantum correlation functions. In Proceedings of the Conference on Yang-Baxter Equations, Conformal Invariance and Integrability in Statistical Mechanics and Field Theory, vol 4, pp. 1003–1037 (1990)
Il’yasov, M.N.: An analog of the Christoffel–Darboux formula for biorthogonal polynomials, zvestiya Akademii Nauk Kazakhskoi SSR, Seriya Fiziko-Matematicheskaya (1983), no. 5, pp. 61–64. (Russian)
Johansson, K.: Random matrices and determinantal processes. Math. Stat. Phys. pp. 1–55 (2006)
Kuijlaars, A.B.J.: Universality, The Oxford handbook of random matrix theory. Oxford University Press, pp. 103–134 (2011)
Kuijlaars, A.B.J.: A vector equilibrium problem for Muttalib–Borodin biorthogonal ensembles. SIGMA Symmetry Integrability Geom. Methods Appl. 12 (2016)
Kuijlaars, A.B.J., Molag, L.D.: The local universality of Muttalib–Borodin biorthogonal ensembles with parameter \(\theta = \frac{1}{2}\), preprint arXiv:1810.00741
Kuijlaars, A.B.J., Stivigny, D.: Singular values of products of random matrices and polynomial ensembles. Random Matrices Theory Appl. 3 (2014)
Muttalib, K.A.: Random matrix models with additional interactions. J. Phys. A 28, L159–L164 (1995)
Olver, F.W.J., Lozier, D.W., Boisvert, R.F., Clark, C.W.: NIST Handbook of Mathematical Functions. Cambridge University Press (2010)
Soshnikov, A.: Determinantal random point fields. Russian Math. Surv. 55(5), 923–975 (2000)
Tracy, C.A., Widom, H.: Level spacing distributions and the Bessel kernel. Commun. Math. Phys. 161(2), 289–309 (1994)
Viola, C.: An Introduction to Special Functions. Springer (2016)
Zhang, L.: On Wright’s generalized Bessel kernel. Phys. D 340, 27–39 (2017)
Acknowledgements
Support is acknowledged from the European Research Council, Grant Agreement No. 682537, the Swedish Research Council, Grant No. 2015-05430, the Göran Gustafsson Foundation, and the Ruth and Nils-Erik Stenbäck Foundation.
Funding
Open access funding provided by Royal Institute of Technology.
Author information
Authors and Affiliations
Corresponding author
Additional information
Communicated by H. Yau
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Appendices
Proof of Proposition 1.4
In this “Appendix”, we establish the formula (1.17) for \(d(\theta , \alpha )\) for rational values of \(\theta \) stated in Proposition 1.4.
Let \(\theta = p/q\) where \(p,q \ge 1\) are two (not necessarily relatively prime) integers. Let \(N = mq\) where \(m \ge 1\) is an integer (later we will take \(m \rightarrow + \infty \)). We have
We recall that \(\Gamma (z)\) satisfies the duplication formula (see [27, Eq. 5.5.6])
Evaluating (A.2) at \(z = \frac{1+\alpha }{p}+j + \frac{k}{q}\), we find
Substituting (A.3) into (A.1), we obtain
The last product can be expressed in terms of Barnes’ G-function:
On the other hand, we have
Therefore, taking the logarithm, we can write equation (A.4) as
As \(m \rightarrow + \infty \), by definition of d, the term of order 1 in the above expression is given by
where we have used that the term of order 1 in the large m expansion of \(\ln G \left( \frac{1+\alpha }{p} + m + \frac{k}{q} + \frac{\ell }{p} \right) \) is given by
Simplifying the double sum, we arrive at the following expression for d:
After some simple cancellations and a simple change of indices, we obtain (1.17).
Proof of Proposition 1.6
In this “Appendix”, we prove the symmetry relation (1.20) for d given in Proposition 1.6. We first use (1.17) to prove the relation for rational values of \(\theta \). We then use continuity to extend it to all \(\theta > 0\).
Let \(\theta = p/q\) for some \(p,q \in {\mathbb {N}}{\setminus } \{ 0 \}\). From (1.17), we have
where the function \(D(p,q, \alpha )\) is defined by
Simplification gives
Using the identity \(G(z+1)=\Gamma (z)G(z)\) and the duplication formula for \(\Gamma \) (see (A.2)), we obtain
Substituting this expression for D into (B.1), we arrive at
which proves (1.20) for rational values of \(\theta \).
The definition (1.12) of \(d(\theta , \alpha )\) can be written as
where the functions \(d_N\) are defined by
The proof of Proposition 1.6 will be complete if we can show that the convergence in (B.2) is uniform for \((\theta ,\alpha )\) in compact subsets of \({\mathcal {U}}\), where
Indeed, if this is the case, then since each function \(d_N\) is holomorphic \({\mathcal {U}} \rightarrow {\mathbb {C}}\), so is d; thus (1.20) must hold also for irrational values of \(\theta > 0\) by continuity.
Let \(K \subset {\mathcal {U}}\) be compact. By (3.5), we have
where \({\mathcal {D}}_1\) is the remainder defined in (3.6). Using the relation (10.9), we obtain
All the special functions on the right-hand side of (B.3) have uniform expansions for large N whenever the argument of
is bounded away from \(\pm \pi \); in particular, this is the case for \((\theta ,\alpha )\in K\). Furthermore, by (3.7), there are constants \(C',C''>0\) (that only depend on K) such that
and thus the series \(\sum _{k=1}^{\infty } {\mathcal {D}}_1(1+\alpha +k\theta )\) converges uniformly for \((\theta ,\alpha )\in K\). We conclude that the sequence of functions \(d_N\) converges to d uniformly for \((\theta ,\alpha )\) in compact subsets of \({\mathcal {U}}\) and thus the proof of Proposition 1.6 is complete.
Proof of Lemma 7.2
Assume \(\alpha > -1\) and \(\theta \in (0,1]\), so that \(b_1\) and \(b_2\) lie in the second and first quadrants, respectively. For any integer j, a contour deformation shows that
where \(\sigma \) is a closed loop surrounding once \(\Sigma _{5}\) in the positive direction but not surrounding 0, and where we recall that the square roots r and \({\tilde{r}}\) defined in (2.9) and (7.4) have branch cuts along \(\Sigma _{5}\) and \([b_{1},b_{2}]\), respectively. If \(j \ge 0\), then \(\frac{\zeta ^j}{{\tilde{r}}(\zeta )}\) is analytic in \({\mathbb {C}}{\setminus } [b_{1},b_{2}]\), and then deforming the contour \(\sigma \) to infinity, we see that the right-hand side of (C.1) equals the coefficient of \(\zeta ^{-1}\) in the large \(\zeta \) expansion of \(\frac{\zeta ^j}{r(\zeta )}\). Since
this proves the first three identities (7.14a)–(7.14c) of the lemma.
On the other hand, if \(j \le -1\) in (C.1), then \(\frac{\zeta ^{j}}{{\tilde{r}}(\zeta )}\) has no residue at \(\infty \) but has a pole of order |j| at 0. By deforming the contour \(\sigma \) through \(\infty \), we obtain
where \(C_{\epsilon }\) denotes a small circle of radius \(\epsilon \) centered at 0 oriented positively. Therefore the right-hand side of (C.1) is equal to the coefficient of \(\zeta ^{-1}\) in the expansion of \(\frac{\zeta ^{j}}{{\tilde{r}}(\zeta )}\) as \(\zeta \rightarrow 0\). Since
this proves (7.14d).
To prove the remaining four identities, we note that the same kind of argument that gave (C.1), shows that, for any \(j \in {\mathbb {Z}}\),
If \(j \ge 0\), then by deforming \(\sigma \) to \(C_{R} \cup \big ((-R,0) + i 0^{+}\big ) \cup \big ((0,-R) - i 0^{+}\big )\) where \(R > 0\) is any large radius, and noting that \(r = {\tilde{r}}\) over the range of integration, we get
Since the left-hand side is independent of R, by taking the limit \(R \rightarrow + \infty \), we obtain
Taking \(j = 0\) in (C.3), we find
Using that
we can compute the large R asymptotics of the integral from \(-R\) to 0:
This yields (7.14e).
Taking \(j = 1\) in (C.3), we find
Using that
we obtain the following large R asymptotics:
where we have fixed the branch of \(\sqrt{(R+b_1)(R+b_2)}\) so that \(\sqrt{(R+b_1)(R+b_2)} \sim R\) as \(R \rightarrow +\infty \). Since
this proves (7.14f).
Taking \(j = 2\) in (C.3) and utilizing the fact that
we find
With the help of the identity
we infer the following large R asymptotics:
Substituting the above expansion into (C.4), we obtain (7.14g).
If \(j \le -1\) in (C.2), we have
as \(R \rightarrow + \infty \) and \(\epsilon \rightarrow 0^{+}\). Taking the limit \(R \rightarrow + \infty \), and then the limit \(\epsilon \rightarrow 0^{+}\) gives
Suppose now that \(j = -1\). Using that
we find that
as \(\epsilon \rightarrow 0^{+}\). Also, by a straightforward computation,
as \(\epsilon \rightarrow 0^{+}\). Hence
which proves the eighth and last identity (7.14h). The proof of Lemma 7.2 is complete.
Proof of Lemma 8.4
Suppose \(\alpha > -1\) and \(\theta \in (0,1]\). Defining \(f_+(\zeta )\) and \(f_-(\zeta )\) by
the definition (8.25) of \({\mathcal {B}}(\zeta )\) can be written as
Thus,
Integrating by parts and using that
we find
Substituting these expressions into (D.2) and using (7.14a) and (7.14b), the first assertion (8.27a) of the lemma follows after simplification.
To prove (8.27b), we use (D.1) to write
Employing (D.3) and the fact that
partial integration gives
that is,
An easy computation shows that
and explicit expressions for the other integrals on the right-hand side of (D.5) have already been obtained in (7.14f), (7.14b), (7.14e), and (7.14a). Substituting these expressions into (D.5), a long but straightforward simplification gives (8.27b).
We next prove (8.27c). According to the definition (8.24) of \({\mathcal {A}}\), we have
Clearly,
so it only remains to compute \( \int _{\gamma _{b_2b_1}} \frac{r(\zeta )}{\zeta }d\zeta \). Let \({\tilde{r}}(\zeta )\) denote the analytic continuation of \(r(\zeta )\) defined in (7.4). For \(r > 0\), let \(C_r\) denote the positively oriented circle of radius r centered at the origin. A contour deformation shows that
where \(R>|b_{1}|\) and \(0< \epsilon < \mathrm{Im}\,b_2\). Using the expansions
and letting \(R \rightarrow + \infty \) and \(\epsilon \rightarrow 0^{+}\) in (D.8), we infer that
Substituting (D.7) and (D.9) into (D.6) and simplifying, we find (8.27c).
To prove (8.27d), we use the definition (8.24) of \({\mathcal {A}}\) to write
The first integral on the right-hand side is easily computed:
To compute the second integral, we use a contour deformation to obtain
where R and \(\epsilon \) are as in (D.8). Since
we have
Substituting this into (D.12) and letting \(R \rightarrow + \infty \) and \(\epsilon \rightarrow 0^{+}\) in the resulting equation, we find
Substituting of (D.11) and (D.13) into (D.10), we obtain (8.27d).
We finally prove (8.27e). By (D.1), we have
Integration by parts using (D.3) gives
i.e.,
The four integrals on the right-hand side of (D.15) have been computed in (D.11), (7.14e), (7.14h), and (D.7), respectively. Substituting the expressions from these equations into (D.15) and simplifying, (8.27e) follows. This completes the proof of Lemma 8.4.
Rights and permissions
Open Access This 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 http://creativecommons.org/licenses/by/4.0/.
About this article
Cite this article
Charlier, C., Lenells, J. & Mauersberger, J. Higher Order Large Gap Asymptotics at the Hard Edge for Muttalib–Borodin Ensembles. Commun. Math. Phys. 384, 829–907 (2021). https://doi.org/10.1007/s00220-021-04059-1
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s00220-021-04059-1