Abstract
We develop a method for evaluating asymptotics of certain contour integrals that appear in conformal field theory under the name of Dotsenko–Fateev integrals and that are natural generalizations of the classical hypergeometric functions.We illustrate the method by establishing a number of estimates that are useful in the context of martingale observables for multiple Schramm–Loewner evolution processes.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
In this paper, we will be interested in integrals of the form
where \(N \geqslant 2\) is an integer, \(\{a_j\}_{j=1}^N \subset {\mathbb {R}}\) is a set of exponents, \(\{z_j\}_{j=1}^N \subset {\mathbb {C}}\) is a finite collection of points, and the Pochhammer integration contour encloses two of these points, say \(z_1\) and \(z_2\). More precisely, the Pochhammer contour in (1.1) begins at the base point \(A \in {\mathbb {C}}\), encircles \(z_1\) once in the positive (counterclockwise) direction, returns to A, encircles \(z_2\) once in the positive direction, returns to A, encircles \(z_1\) once in the negative direction, returns to A, and finally encircles \(z_2\) once in the negative direction before returning to A, see Fig. 1. The remaining points \(\{z_j\}_{j=3}^N\) are assumed to lie exterior to the contour, and the powers in the integrand are assumed to take their principal values at the starting point and are then analytically continued along the contour.
By employing what is sometimes called the screening method, Dotsenko and Fateev obtained representations of correlation functions in conformal field theory (CFT) in terms of such integrals [3, 4] (see also [2]). Integrals of the form (1.1) are therefore often referred to as Dotsenko–Fateev integrals. Various aspects of such integrals and related special functions have been studied in a number of places, e.g., [7, 8]. For \(N =2\) and \(N = 3\), the integral (1.1) can be expressed in terms of gamma functions and the classical hypergeometric function \({}_2F_1\), respectively. In the case of \(N = 4\), a comparison with the representation of Appell’s \(F_{1}\) function as an Euler integral (cf. [7]) shows that (1.1) can be viewed as an analytic continuation of Appell’s function. We also mention [5, 9, 10] which discuss related questions in the context of the Schramm–Loewner evolution (SLE).
The basic problem we are interested in here is how to compute the asymptotics of integral (1.1) as one (or several) of the points \(z_k\), \(k = 3, \ldots , N\), approaches \(z_1\) or \(z_2\). The computation of such asymptotics presents difficulties, because if the point \(z_k\), \(k = 3, \ldots , N\), approaches \(z_1\), say, then the contour gets squeezed between \(z_k\) and \(z_1\) which, in general, gives rise to a singular behavior. For \(N =3\), the relevant asymptotics can be obtained from well-known identities and expansions of hypergeometric functions. However, for \(N \geqslant 4\), the analysis is more intricate.
In this paper, we propose a method which makes it possible to compute the asymptotics of (1.1) to all orders for any \(N \geqslant 3\) as one (or many) of the points \(z_k\), \(k \geqslant 3\), approaches \(z_1\) or \(z_2\). The obtained expansions are power series in the relevant small quantities with coefficients explicitly given in terms of gamma functions and integrals of the form (1.1) of a lower order \(\leqslant N-1\). In the case of \(N = 4\), it is conceivable that the asymptotic formulas we derive can be obtained also from known properties of Appell’s function. However, as far as we are aware, formulas of this type have not appeared in the literature even in this simplest case.
By applying a linear fractional transformation, we may assume that \(z_1 = 0\) and \(z_2 = 1\) in (1.1); this yields an expression of the form
For simplicity, we will present the results in this paper for the class of integrals corresponding to \(N = 4\). Although the proposed method works for arbitrary values of N and an arbitrary number \(M \leqslant N\) of merging points, its application involves a large number of steps when M is large (the number of steps typically grows like M, because, roughly speaking, each time two points merge one of the series contributing to the asymptotics splits into two).
1.1 Brief Description of Method
Let \(F(w_1, w_2) \equiv F(a,b,c,d; w_1, w_2)\) denote the integral in (1.2) for \(N = 4\), that is, \(F(w_1, w_2)\) is defined for \(w_1,w_2 \in {\mathbb {C}}{\setminus } [0, \infty )\) by
where \(A \in (0,1)\) is a base point, \(a,b,c,d\in {\mathbb {R}}\) are real exponents, and \(w_1, w_2\) are assumed to lie outside the contour. In order to make F single-valued, we have restricted the domain of definition in (1.3) to \(w_1,w_2 \in {\mathbb {C}}{\setminus } [0, \infty )\). We will assume that \(a,d\in {\mathbb {R}}{\setminus } {\mathbb Z}\) are not integers, because otherwise the integral in (1.3) vanishes identically or can be computed by a residue calculation. Note that F can be analytically continued to a multiple-valued analytic function of \(w_1,w_2 \in {\mathbb {C}}{\setminus } \{0, 1\}\). Our goal is to compute the asymptotic behavior of F to all orders as one or both of the points \(w_1\) and \(w_2\) approach 0 or 1.
The basic idea is the following: If we want to consider the limit \(w_1 \rightarrow 0\) say, then we rewrite F as a sum of two terms (see Eq. (4.13)). One term which is defined by the same integral as F except that \(w_1\) is now assumed to lie inside the contour in the same component as 0 (see Eq. (4.11)), and a second term which is defined by a similar expression but with the Pochhammer contour enclosing \(\{0, w_1\}\) instead of \(\{0, 1\}\) (see (4.12) and (4.15)). The asymptotics of both of these terms can easily be computed to all orders by simply replacing the factors in the integrands by their asymptotic expansions as \(w_1 \rightarrow 0\) such as
We emphasize that it is, in general, not possible to compute the asymptotics of F as \(w_1 \rightarrow 0\) by substituting expansion (1.4) directly into (1.3). Indeed, such a procedure gives the correct contribution from the first term, but completely ignores the contribution from the second term.
1.2 Two Examples
Our initial motivation for studying asymptotics of integrals of the form (1.1) was that they appear naturally when constructing observables for multiple SLE curves via the screening method within CFT. Thus, in the second part of the paper, in order to illustrate our method, we consider two concrete examples of such observables where integrals of the form (1.1) are important. By applying the techniques developed in the first part of the paper, we are able to derive asymptotic estimates for the integrals in these examples. The estimates we establish are used in the derivation of the Green’s function and Schramm’s formula for multiple SLE presented in [11]. We expect similar asymptotic estimates to be needed also in the context of other SLE observables derived via the screening method.
1.3 Organization of the Paper
In Sect. 2, we present four different examples of asymptotic expansions to all orders which can be derived by our method. Before turning to the full description of the method and the proofs of the above expansions in Sect. 4, we consider the hypergeometric case of \(N = 3\) in Sect. 3 as motivation. The two examples from SLE theory are introduced in Sect. 5. In Sect. 6, we derive the estimates relevant for the first example corresponding to the Green’s function. In Sect. 7, we derive the estimates relevant for the second example corresponding to Schramm’s formula.
2 Four Asymptotic Theorems
The purpose of this paper is to propose a method which makes it possible to compute the asymptotics of (1.2) as one (or several) of the points \(w_k\), \(k = 3, \ldots , N\), approaches 0 or 1. There are clearly many different cases to consider depending on the value of N, on the number of points \(w_k\) involved in the limiting process, and on whether each \(w_k\) approaches 0 or 1. For the sake of presentation, we have chosen to discuss four cases in detail. The presented cases all have \(N = 4\) and correspond to the following limits: (a) \(w_2 \rightarrow 1\), (b) \(w_1 \rightarrow 0\), (c) \(w_1 \rightarrow 0\) and \(w_2 \rightarrow 0\), and (d) \(w_1 \rightarrow 0\) and \(w_2 \rightarrow 1\). These four cases, which are treated one by one in Theorems 2.1–2.4, illustrate the different situations that may arise, and it will be clear from the analysis of these cases how to apply the method also in other cases.
2.1 Notation
We let \(F(w_1, w_2) \equiv F(a,b,c,d; w_1, w_2)\), G(a, c, d; w), and H(a, d) denote the integral given in (1.2) for \(N = 4\), \(N = 3\), and \(N =2\), respectively. That is, \(F(w_1, w_2)\) is defined by (1.3), G(a, c, d; w) is defined by
where w is assumed to lie outside the contour, and H(a, d) is defined by
The Pochhammer integration contour in (2.1) begins at the base point \(A \in (0,1)\), encircles the point 0 once in the positive (counterclockwise) direction, returns to A, encircles 1 once in the positive direction, returns to A, and so on. The point w lies exterior to all loops; the factors in the integrand take their principal values at the starting point and are then analytically continued along the contour. A similar interpretation of Pochhammer contours applies to definition (1.3) of \(F(w_1,w_2)\) and elsewhere. Throughout the paper we adopt the convention that unless stated otherwise, the principal branch is used for all complex powers and logarithms, i.e., \(\ln w = \ln |w| + i \arg w\) with \(\arg w \in (-\pi , \pi ]\). For \(c \in {\mathbb {C}}\), we define \(\rho _c(w)\) by
2.2 Asymptotic Theorems
We can now state the asymptotic results. The proofs are given in Sect. 4.
Theorem 2.1
(Asymptotics as \(w_2 \rightarrow 1\)). Let \(a,b,c,d \in {\mathbb {R}}{\setminus } {\mathbb Z}\) be such that \(c+d \notin {\mathbb Z}\). Then, F satisfies the following asymptotic expansion to all orders as \(w_2 \rightarrow 1\) with \(w_1,w_2 \in {\mathbb {C}}{\setminus } [0, \infty )\):
where the coefficients \(A_k^{(j)}(w_1) \equiv A_k^{(j)}(a,b,c,d;w_1)\), \(j = 1,2\), are given by
Theorem 2.2
(Asymptotics as \(w_1 \rightarrow 0\)). Let \(a,b,c,d \in {\mathbb {R}}{\setminus } {\mathbb Z}\) be such that \(a+b \notin {\mathbb Z}\). Then, F satisfies the following asymptotic expansion to all orders as \(w_1 \rightarrow 0\) with \(w_1,w_2 \in {\mathbb {C}}{\setminus } [0, \infty )\):
where the coefficients \(B_k^{(j)}(w_2) \equiv B_k^{(j)}(a,b,c,d;w_2)\), \(j = 1,2\), are given by
Theorem 2.3
(Asymptotics as \(w_1 \rightarrow 0\) and \(w_2 \rightarrow 0\) with \(|w_1/w_2| < 1 - \delta \)). Let \(a,b,c,d \in {\mathbb {R}}{\setminus } {\mathbb Z}\) be such that \(a+b, a+b+c \notin {\mathbb Z}\). Then, F satisfies the following asymptotic expansion to all orders as \(w_1 \rightarrow 0\) and \(w_2 \rightarrow 0\) with \(w_1,w_2 \in {\mathbb {C}}{\setminus } [0, \infty )\) such that \(|w_1/w_2| < 1 - \delta \) for some \(\delta > 0\):
where the coefficients \(C_{kl}^{(j)} \equiv C_{kl}^{(j)}(a,b,c,d)\), \(j = 1,2,3\), are given by
Theorem 2.4
(Asymptotics as \(w_1 \rightarrow 0\) and \(w_2 \rightarrow 1\)). Let \(a,b,c,d \in {\mathbb {R}}{\setminus } {\mathbb Z}\) be such that \(a+b,c+d \notin {\mathbb Z}\). Then, F satisfies the following asymptotic expansion to all orders as \(w_1 \rightarrow 0\) and \(w_2 \rightarrow 1\) with \(w_1,w_2 \in {\mathbb {C}}{\setminus } [0, \infty )\):
where the coefficients \(D_{kl}^{(j)} \equiv D_{kl}^{(j)}(a,b,c,d)\), \(j = 1,2,3\), are given by
Remark 2.5
For definiteness, we have stated Theorem 2.3 under the assumption that \(|w_1/w_2| < 1 - \delta \). It will be clear from the full description of the method in Sect. 4 that the case \(|w_2/w_1| < 1 - \delta \) can be treated similarly. The case \(|w_1| \asymp |w_2|\) can also be handled by similar steps, but in this case the coefficients depend on the quotient \(\alpha := w_2/w_1\). In fact, a slight modification of the proof of Theorem 2.3 yields the following result (see Remark 4.4): If \(a,b,c,d \in {\mathbb {R}}{\setminus } {\mathbb Z}\) satisfy \(a+b, a+b+c \notin {\mathbb Z}\) and \(w_2 = \alpha w_1\), then F satisfies the following asymptotic expansion to all orders as \(w_1 \rightarrow 0\) and \(w_2 \rightarrow 0\) with \(w_1,w_2 \in {\mathbb {C}}{\setminus } [0, \infty )\) such that \(\alpha \in {\mathbb {C}}{\setminus } [0, \infty )\) and \(\delta< |\alpha | < \delta ^{-1}\) for some \(\delta > 0\):
where \(E_{kl}^{(1)} = C_{kl}^{(1)}\) and the coefficients \(E_{kl}^{(j)}(\alpha ) \equiv E_{kl}^{(j)}(a,b,c,d; \alpha )\), \(j = 2,3\), are given by
Here \(G_{\text {inside}}(a,b,c;w)\) is defined by the same formula (2.1) as G(a, b, c; w) except that w is assumed to lie inside the contour in the same component as 0.
Remark 2.6
The function H(a, d) defined in (2.2) can be expressed in terms of Gamma functions as follows:
This formula is easily derived by collapsing the Pochhammer contour onto the interval [0, 1] and comparing the resulting expression with the definition of the Euler beta function.
Remark 2.7
The function G(a, d) defined in (2.1) can be expressed in terms of the hypergeometric function \({}_2F_1\) as follows:
Indeed, if \({\tilde{G}}\) denotes the function
where w lies exterior to the contour, then G and \({\tilde{G}}\) are related by
Expression (2.5) follows because the Pochhammer integral expression for the hypergeometric function \({}_2F_1\) (see, e.g., [12, Eq. (15.6.5)]) implies that
3 The Hypergeometric Case of \(N =3\)
Before turning to the full description of the method and the proofs of Theorems 2.1–2.4, it is helpful to consider, as motivation, the case \(N = 3\) in which the integral in (1.2) reduces to a hypergeometric function.
Let G(a, c, d; w) be the function defined in (2.1) and corresponding to (1.2) with \(N = 3\). Equation (2.5) expresses G(a, c, d; w) in terms of the hypergeometric function \({}_2F_1\), and we can use known properties of this function to derive the asymptotics of G as \(w \rightarrow 0\) or \(w \rightarrow 1\). For definiteness, we consider the limit \(w \rightarrow 1\). We will show the following analog of Theorem 2.1.
Proposition 3.1
(Asymptotics of G as \(w \rightarrow 1\)). Let \(a,c,d \in {\mathbb {R}}{\setminus } {\mathbb Z}\) be such that \(c+d \notin {\mathbb Z}\). Then, G satisfies the following asymptotic expansion to all orders as \(w \rightarrow 1\) with \(w \in {\mathbb {C}}{\setminus } [0, \infty )\):
where the coefficients \({\hat{A}}_k^{(j)} \equiv {\hat{A}}_k^{(j)}(a,c,d)\), \(j = 1,2\), are given by
Proof
The function \({}_2F_1(a,c,d; z)\) is an analytic function of z with a branch cut along \([1, \infty )\); in particular, it is not analytic at \(z = 1\). In order to find the asymptotics of G as \(w \rightarrow 1\), we therefore first use the hypergeometric identity (see [13, Eq. (10.12)])
to rewrite Eq. (2.7) as
The hypergeometric functions in (3.4) are analytic at \(w = 1\). Hence, we can write (3.4) as
where \({\hat{P}}_j(w) \equiv {\hat{P}}_j(a,c,d; w)\), \(j = 1,2\), are analytic at \(w = 1\). Recalling (2.6), it follows that G admits an expansion of the form (3.1) for some complex coefficients \({\hat{A}}_k^{(j)}\). It is possible to derive expressions (3.1) for these coefficients from (3.4) by employing the expansions
which are valid as \(w \rightarrow 1\), together with the identity
where the Pochhammer symbol \((a)_k\) is defined by
However, in order to arrive at the simple expressions in (3.1), this approach requires a somewhat elaborate resummation of the coefficients and it is actually more convenient to derive (3.1) by proceeding as in the proof of Theorem 2.1.
\(\square \)
4 Description of Method
In this section, we describe our method by considering, in turn, the following four asymptotic sectors for the function \(F(w_1, w_2)\) defined in (1.3): (a) \(w_2\) near 1, (b) \(w_1\) near 0, (c) \(w_1\) and \(w_2\) both near 0, and (d) \(w_1\) near 0 and \(w_2\) near 1. The limits considered in Theorems 2.1–2.4 belong to these four sectors, respectively, and the proofs of these theorems will also be given.
The basic idea of our method is to show that it is possible, for each asymptotic sector under consideration, to derive a generalization of the hypergeometric identity (3.5) from which asymptotics to arbitrary order can be obtained by simply replacing the factors in the integrand with their asymptotic expansions. Actually, we will see in Sect. 6 that it is often convenient in applications to work with the generalizations of the hypergeometric identity (3.5) themselves. These generalizations are presented in Propositions 4.1–4.5, respectively. Throughout the discussion, \(b,c \in {\mathbb {R}}\) and \(a,d \in {\mathbb {R}}{\setminus } {\mathbb Z}\) denote some given parameters and we write \(F(w_1, w_2)\) for \(F(a,b,c,d; w_1,w_2)\). Furthermore, we let \({\mathcal {D}}_0 \subset {\mathbb {C}}^2\) and \({\mathcal {D}}_1 \subset {\mathbb {C}}^2\) denote the domains
and
where \(\gamma _{(w_j,\infty )} \subset {\mathbb {C}}\) denotes a branch cut from \(w_j\) to \(\infty \). These branch cuts will be needed to make certain functions below single-valued; to be specific, we henceforth choose \(\gamma _{(w_j,\infty )} = \{rw_j \, | \, r \geqslant 1\}\).
4.1 The Sector \(w_2 \rightarrow 1\)
We will determine the behavior of \(F(w_1, w_2)\) for \(w_2\) close to 1 by deriving a generalization of (3.5).
Define \({\tilde{F}}(w_1, w_2) \equiv {\tilde{F}}(a,b,c,d; w_1, w_2)\) by
where \(w_1\) and \(w_2\) lie exterior to the contour. Then,
where \(\rho _c\) is the function in (2.3).
Assuming that \(c+d \notin {\mathbb Z}\), we define two functions \(P_j:{\mathcal {D}}_1 \rightarrow {\mathbb {C}}\), \(j = 1,2\), as follows. The function \(P_1\) is defined (up to a constant) by the same formula as \({\tilde{F}}\) except that the point \(w_2\) is assumed to lie inside the contour in the same component as 1; more precisely, for \((w_1,w_2) \in {\mathcal {D}}_1\),
where \(w_1\) lies outside the contour and \(w_2\) lies inside the contour in the same component as 1, see Fig. 2.
The function \(P_2:{\mathcal {D}}_1 \rightarrow {\mathbb {C}}\) is defined as follows. First, given \(w_1 \in {\mathbb {C}}{\setminus } [0, \infty )\), we define \(P_2(w_1, w_2)\) for \(\text {Re}\,w_2 \in (0,1)\) with \(\text {Im}\,w_2 > 0\) sufficiently small by
where \(A \in (0,1)\) and the points \(\frac{w_2}{w_2-1}\) and \(\frac{w_1 - w_2}{1 - w_2}\) are assumed to lie exterior to the contour. Then, for each \(w_1 \in {\mathbb {C}}{\setminus } [0, \infty )\), we use analytic continuation to extend \(P_2\) to a (single-valued) analytic function of \(w_2 \in {\mathbb {C}}{\setminus } ((-\infty ,1] \cup \gamma _{(w_1,\infty )})\). The latter step is permissible because the function \(P_2\) can be analytically continued as long as the points \(\frac{w_2}{w_2-1}\) and \(\frac{w_1 - w_2}{1 - w_2}\) stay away from the set \(\{0,1, \infty \}\), i.e., as long as \(w_2 \notin \{0,1,w_1, \infty \}\).
Let \(f(w_1, w_2\pm i0)\) denote the boundary values of a function \(f(w_1, w_2)\) as \(w_2\) approaches the real axis from above and below, respectively. The following lemma provides the desired generalization of the hypergeometric identity (3.5).
Proposition 4.1
Suppose \(a,b,c,d \in {\mathbb {R}}\) and \(a,d, c+d \notin {\mathbb Z}\). Then, the function F obeys the identity
Proof
By (4.3), it is enough to show that
It is actually enough to show that
Indeed, for each \(w_1 \in {\mathbb {C}}{\setminus } [0, \infty )\), both sides of Eq. (4.7) are analytic functions of \(w_2 \in {\mathbb {C}}{\setminus } ((-\infty ,1] \cup \gamma _{(w_1,\infty )})\}\) which can be extended to multiple-valued analytic functions of \(w_2 \in {\mathbb {C}}{\setminus } \{0,1,w_1\}\). Hence, (4.7) follows from (4.8) by analytic continuation.
Let us prove (4.8). Let \(\epsilon > 0\) be small. Let \(w_1 \in {\mathbb {C}}{\setminus } [0, \infty )\) and \(w_2 \in (0,1)\). Given \(w \in {\mathbb {C}}\), let
denote counterclockwise semicircles of radius \(\epsilon \) centered at w, see Fig. 3. Furthermore, for \(A \in (0,1)\), let \(L_A^j\), \(j = 1, \ldots , 4\), denote the contours
oriented so that \(\sum _1^4 L_A^j\) is a counterclockwise contour enclosing 0 and 1, see Fig. 4.
Then, we can write
and
Simplification gives
and
Hence,
Using the identity
we can write this as
Factoring out \(\frac{1}{e^{2\pi i c} - 1}\), we obtain
That is,
Performing the change of variables \(s = \frac{v-w_2}{1-w_2}\), which maps the interval \((w_2,1)\) to the interval (0, 1), this yields
Comparing this expression with definition (4.5) of \(P_2\), Eq. (4.8) follows.\(\square \)
Since both terms on the right-hand side of identity (4.6) are well-behaved for \(w_2\) close to 1, the behavior of F as \(w_2 \rightarrow 1\) can easily be extracted from this identity.
Proof of Theorem 2.1
Suppose \(a,b,c,d \in {\mathbb {R}}{\setminus } {\mathbb Z}\) and \(c+d \notin {\mathbb Z}\). Using identity (4.6), we can easily prove Theorem 2.1. Indeed, the functions \(P_1\) and \(P_2\) in (4.6) admit asymptotic expansions to all orders as follows. Substituting the expansion
into the definition of \(P_1(w_1, w_2)\) and recalling that \(w_2\) and 1 lie in the same component inside the contour, we find
where the integral on the right-hand side is exactly \(G(a,b,c+d-k; w_1)\). Similarly, substituting the expansions
and
into definition (4.5) of \(P_2(w_1, w_2)\), we find, as \(w_2 \rightarrow 1\),
Substituting (4.9) and (4.10) (with the summation variable m replaced by \(k = m+l\)) into (4.6), we arrive at the expansion given in Theorem 2.1. \(\square \)
4.2 The Sector \(w_1 \rightarrow 0\)
In order to determine the behavior of \(F(w_1,w_2)\) as \(w_1 \rightarrow 0\), we define two functions \(Q_j:{\mathcal {D}}_0 \rightarrow {\mathbb {C}}\), \(j = 1,2\), as follows. The function \(Q_1(w_1, w_2)\) is defined for \((w_1, w_2) \in {\mathcal {D}}_0\) by
where \(A \in (0,1)\), \(w_1\) lies inside the contour in the same component as 0, and \(w_2\) lies outside the contour. Given \(w_2 \in {\mathbb {C}}{\setminus } [0, \infty )\), we define \(Q_2(w_1, w_2)\) for \(\text {Re}\,w_1 \in (0,1)\) with \(\text {Im}\,w_1 < 0\) sufficiently small by
where \(A \in (0,1)\) and the points \(\frac{w_2}{w_1}\) and \(\frac{1}{w_1}\) lie exterior to the contour. For each \(w_2 \in {\mathbb {C}}{\setminus } [0, \infty )\), we then use analytic continuation to extend \(Q_2\) to a function of \(w_1 \in {\mathbb {C}}{\setminus } ([0,\infty ) \cup \gamma _{(w_2,\infty )})\). We have the following analog of Proposition 4.1.
Proposition 4.2
Suppose \(a,b,c,d \in {\mathbb {R}}\) and \(a,d,a+b \notin {\mathbb Z}\). Then, the function F obeys the identity
Proof
By analyticity, it is enough to show that
for \(w_1 \in (0,1)\) and \(w_2 \in {\mathbb {C}}{\setminus } [0, \infty )\).
Let \(\epsilon > 0\) be small. Let \(w_1 \in (0,1)\) and \(w_2 \in {\mathbb {C}}{\setminus } [0, \infty )\). Then,
where \(w_2\) lies exterior to the contours. Moreover,
Simplification gives
and
Hence,
Using the identity
we can write this as
That is,
Performing the change of variables \(s = \frac{v}{w_1}\), which maps the interval \((0,w_1)\) to the interval (0, 1), we obtain
The lemma follows.\(\square \)
Proof of Theorem 2.2
Suppose \(a,b,c,d \in {\mathbb {R}}{\setminus } {\mathbb Z}\) and \(a+b \notin {\mathbb Z}\). In the same way that (4.6) can be used to determine the asymptotics of F as \(w_2 \rightarrow 1\), identity (4.13) can be used to determine the asymptotics of \(F(w_1, w_2)\) as \(w_1 \rightarrow 0\). Indeed, the expansion given in Theorem 2.2 follows from (4.13) after substituting the following asymptotic expansions as \(w_1 \rightarrow 0\) into the definitions of \(Q_1\) and \(Q_2\):
\(\square \)
4.3 The Sector \(w_1 \rightarrow 0\) and \(w_2 \rightarrow 0\)
We next determine the asymptotics of \(F(w_1,w_2)\) in the regime where both \(w_1\) and \(w_2\) approach zero. Assuming \(a+b, a+b+c \notin {\mathbb Z}\), we define two functions \(R_j:{\mathcal {D}}_0 \rightarrow {\mathbb {C}}\), \(j = 1,2\), as follows. The function \(R_1(w_1, w_2)\) is defined for \((w_1, w_2) \in {\mathcal {D}}_0\) by
where \(A \in (0,1)\) and both points \(w_1\) and \(w_2\) are assumed to lie inside the contour in the same component as 0. For \(0< \text {Re}\,w_1< \text {Re}\,w_2 < 1\) with \(\text {Im}\,w_1 < 0\) and \(\text {Im}\,w_2 < 0\), we define \(R_2(w_1, w_2)\) by
where we assume \(A \in (0,1)\) is so large that \(\text {Re}\,(Aw_2-w_1) > 0\), that the point \(\frac{w_1}{w_2}\) lies inside the contour in the same component as 0, and that \(\frac{1}{w_2}\) lies outside the contour. We then use analytic continuation to extend \(R_2\) to all of \({\mathcal {D}}_0\). We have the following analog of Proposition 4.1.
Proposition 4.3
Suppose \(a,b,c,d \in {\mathbb {R}}\) and \(a,d,a+b,a+b+c \notin {\mathbb Z}\). Then, the function F obeys the following identity for \((w_1, w_2) \in {\mathcal {D}}_0\):
Proof
Both sides of (4.18) are analytic functions of \((w_1, w_2) \in {\mathcal {D}}_0\) which extend to multiple-valued analytic functions of
Hence, by Proposition 4.2, it is enough to show that
where, for a function f, we use the short-hand notation \(f_-(w_1, w_2) := f(w_1-i0, w_2-i0)\).
Let \(0< w_1< w_2 < 1\) and suppose \(0< \epsilon < \frac{1}{2}\min \{w_1, w_2-w_1, 1-w_2\}\). Then,
and
where the principal branch is used for all powers. A computation gives
Using the identity
we can write this as
That is,
where \(w_1\) lies inside the contour in the same component as 0. Applying the change of variables \(s = \frac{v}{w_2}\), which maps the interval \((0,w_2)\) to the interval (0, 1), we obtain
where \(A \in (0,1)\) is so large that \(Aw_2-w_1 > 0\). Equation (4.19) follows. \(\square \)
Proof of Theorem 2.3
Suppose \(a,b,c,d \in {\mathbb {R}}{\setminus } {\mathbb Z}\) and \(a+b, a+b+c \notin {\mathbb Z}\). Theorem 2.3 follows by expanding the integrands in the definitions of \(R_1\), \(R_2\), \(Q_2\) as \(w_1 \rightarrow 0\) and \(w_2 \rightarrow 0\) and substituting the resulting expressions into (4.18). We have stated Theorem 2.3 under the assumption that \(|w_1/w_2| < 1 - \delta \); hence, we use expansion (4.16b) of \((sw_1-w_2)^c\) and the expansion
of the factor \((sw_2 - w_1)^b\). \(\square \)
Remark 4.4
To derive expansion (2.4) of F as \(w_1, w_2 \rightarrow 0\) with \(|w_1| \asymp |w_2|\), we proceed in the same way as the proof of Theorem 2.3, i.e., we expand \(R_1\), \(R_2\), \(Q_2\) as \(w_1,w_2 \rightarrow 0\) and substitute the resulting expressions into (4.18). However, in this case, since \(|w_1/w_2|\) is not necessarily smaller than 1, we do not use expansions (4.16b) and (4.20) of \((sw_1-w_2)^c\) and \((sw_2 - w_1)^b\); instead, we simplify the expressions for \(Q_2\) and \(R_2\) using the identities \(sw_1-w_2 = w_1(s - \alpha )\) and \(sw_2 - w_1 = w_2(s - \alpha ^{-1})\) where \(\alpha = w_2/w_1\); then, the remaining factors are expanded as in the proof of Theorem 2.3.
4.4 The Sector \(w_1 \rightarrow 0\) and \(w_2 \rightarrow 1\)
We finally consider the behavior of \(F(w_1,w_2)\) when \(w_1\) is near 0 and \(w_2\) is near 1. Assuming that \(a+b, c+d \notin {\mathbb Z}\), we define two functions \({\tilde{Q}}_1:{\mathcal {D}}_1 \rightarrow {\mathbb {C}}\) and \(T_1:{\mathcal {D}}_0 \rightarrow {\mathbb {C}}\) as follows. We define \({\tilde{Q}}_1\) for \((w_1,w_2) \in {\mathcal {D}}_1\) by
where \(A\in (0,1)\), \(w_1\) lies inside the contour in the same component as 0, and \(w_2\) lies outside the contour. Then,
where \(\rho _c\) is given by (2.3). For \(0< \text {Re}\,w_1< \text {Re}\,w_2 < 1\) with \(\text {Im}\,w_1 <0\) and \(\text {Im}\,w_2 > 0\), we define \(T_1(w_1,w_2)\) by
where \(w_1\) lies inside the contour in the same component as 0, \(w_2\) lies inside the contour in the same component as 1, and we assume that \(\text {Re}\,w_1< A < \text {Re}\,w_2\). We then use analytic continuation to extend \(T_1\) to all of \({\mathcal {D}}_1\).
Proposition 4.5
Suppose \(a,b,c,d \in {\mathbb {R}}\) and \(a,d,a+b, c+d \notin {\mathbb Z}\). Then, the function F obeys the identity
Proof
In view of (4.13), it is enough to show that
If \(f(w_1, w_2)\) is a function of \(w_1\) and \(w_2\), we use the notation \(f_*(w_1, w_2) := f(w_1-i0, w_2+i0)\). By analyticity, Eq. (4.22) will follow if we can show that the following identity holds for \(0< w_1< w_2 < 1\):
Let \(0< w_1< w_2 < 1\) and let \(0< \epsilon < \frac{1}{2}\min \{w_1, w_2-w_1, 1-w_2\}\). Then,
and
It follows that
Using the identity
we can write this as
where \(0< w_1< w_2 < 1\) and \(w_1\) lies exterior to the Pochhammer contour. Performing the change of variables \(s = \frac{v-w_2}{1-w_2}\), which maps the interval \((w_2,1)\) to the interval (0, 1), we obtain, for \(0< w_1< w_2 < 1\) and \(A \in (0,1)\),
Equation (4.23) now follows from definition (4.5) of \(P_2\). \(\square \)
Proof of Theorem 2.4
By expanding the integrands in the definitions of \(T_1\), \(P_2\), \(Q_2\) as \(w_1 \rightarrow 0\) and \(w_2 \rightarrow 1\), and substituting the resulting expressions into (4.21), Theorem 2.4 is obtained after a lengthy computation. \(\square \)
5 Two Examples from SLE Theory
In this section, in an effort to illustrate the method described above, we present two examples from SLE theory which involve Dotsenko–Fateev integrals of the form (1.1). The first example is related to the Green’s function observable for two commuting SLE curves and involves an integral of the form (1.1) with \(N = 4\) and (see (5.2))
where \(\alpha > 1\) is a parameter. The second example is related to Schramm’s formula for the same SLE system and involves an integral of the form (1.1) with \(N = 4\) and (see (5.12))
For each example, we derive the asymptotic estimates which are needed in order to establish that the relevant integral describes the given observable.
5.1 Multiple SLE and Dotsenko–Fateev Integrals
Let us briefly recall the definition of multiple SLE systems and describe how Dotsenko–Fateev integrals arise when constructing observables for such systems via the screening method, see [11] for a more complete discussion. \(\hbox {SLE}_\kappa \) curves are constructed by solving Loewner’s differential equation
where the driving term \(\xi ^1_t\) is standard Brownian motion. The curve itself is defined by \(\lim _{y \rightarrow 0+} g_t^{-1}(\xi ^1_t + iy)\); this is a random continuous curve growing from 0 to \(\infty \) in the upper half-plane \({\mathbb {H}} = \{\text {Im}\,z > 0\}\). If \(\kappa \leqslant 4\), the curve is simple and stays in \({\mathbb {H}}\) for \(t > 0\). SLE curves appear as scaling limits of interfaces in various critical lattice models. It is natural to consider scaling limits of multiple interfaces simultaneously, and this leads to multiple SLE. We are interested in multiple SLE with two curves started from \(\xi ^1,\xi ^2 \in {\mathbb {R}}\), respectively, and growing toward \(\infty \) in \({\mathbb {H}}\), see [6]. The marginal law of the SLE started from \(\xi ^1\) is that of a variant of SLE with an additional marked boundary point at \(\xi ^2\). For this variant, which is called \(\hbox {SLE}_\kappa (2)\), the dynamics of the driving term is given by the system \(\mathrm{d}\xi ^1_t = \mathrm{d}B_t + (2/\kappa )/(\xi ^1_t - \xi ^2_t)\), where \(B_t\) is standard Brownian motion, \(\xi ^2_t := g_t(\xi ^2)\), and \(g_t\) solves (5.1) with \(\xi ^1_t\) as driving term. An important feature is that the system can be grown in a commutative way [6]. The extra drift term entails serious difficulties when constructing observables for such SLE systems.
In [11], the screening method is used to derive explicit formulas for two of the most natural SLE observables: the renormalized probability that the system passes infinitesimally near a given point in \({\mathbb {H}}\) (the Green’s function) and the probability that the system passes to the right of a given point in \({\mathbb {H}}\) (Schramm’s formula). The derivation in [11] proceeds as follows: First, using a CFT description of the multiple SLE system, the screening method is employed to generate explicit “guesses” for the given observables in terms of Dotsenko–Fateev integrals. The “guesses” are then shown to indeed describe the desired probabilities via a sequence of probabilistic arguments. The latter arguments rely heavily on appropriate asymptotic estimates for the relevant Dotsenko–Fateev integrals. In the remainder of this paper, we derive the estimates needed in [11].
5.2 Example 1: Green’s Function
Set \(\alpha = 8/\kappa \) and define the function \(I(z,\xi ^1, \xi ^2)\) for \(z \in {\mathbb {H}}\) and \(-\infty< \xi ^1< \xi ^2 < \infty \) by
where \(A = (z + \xi ^2)/2\) is a base point and the Pochhammer integration contour is displayed in Fig. 5. Moreover, define the function \({\mathcal G}(z, \xi ^1, \xi ^2)\) for \(\alpha \in (1, \infty ) {\setminus } {\mathbb Z}\), \(z = x + iy\in {\mathbb {H}}\), and \(\xi ^1 < \xi ^2\) by
where the constant \({\hat{c}} \equiv {\hat{c}}(\kappa )\) is given by
This definition of \({\mathcal G}(z,\xi ^1,\xi ^2)\) can be extended to all \(\alpha > 1\) by continuity, see [11]. It follows from (5.2) and (5.3) that the product \(y^{1-\frac{1}{\alpha }} {\mathcal G}(z,\xi ^1, \xi ^2)\) only depends on the two angles \(\theta ^1\) and \(\theta ^2\) defined by \(\theta ^j := \arg (z - \xi ^j)\), \(j = 1,2\), see [11, Section 6.2.1]. Hence, we may define the function h by
Let \(\Delta \subset {\mathbb {R}}^2\) denote the triangular domain
By applying the method of Sects. 2–4, we can prove the following proposition which is used in [11] to derive a formula for the Green’s function.
Proposition 5.1
(Estimates for Green’s function). Let \(\alpha \geqslant 2\). Then, the function \(h(\theta ^1, \theta ^2)\) defined in (5.5) is a smooth function of \((\theta ^1, \theta ^2) \in \Delta \) and has a continuous extension to the closure \({\bar{\Delta }}\) of \(\Delta \). This extension satisfies
where \(h_f(\theta )\) is defined by
Moreover, there exists a constant \(C > 0\) such that
and
Proof
See Sect. 6. \(\square \)
5.3 Example 2: Schramm’s Formula
Let \(\alpha > 1\) and define the function \({\mathcal {M}}(z, \xi )\) by
where \(J(z, \xi )\) is the integral defined by
with the integration contour from \({\bar{z}}\) to z passing to the right of \(\xi \), see Fig. 6. Moreover, define the function \(P(z, \xi )\) by
where the normalization constant \(c_\alpha \in {\mathbb {R}}\) is given by
We will prove the following proposition which establishes the properties of P needed for the proofs in [11].
Proposition 5.2
(Estimates for Schramm’s formula). For each \(\alpha > 1\), the function \(P(z, \xi )\) defined in (5.13) is a well-defined smooth function of \((z, \xi ) \in {\mathbb {H}} \times (0, \infty )\) which satisfies
Proof
See Sect. 7. \(\square \)
6 Proof of Proposition 5.1
By applying the method developed in Sects. 2–4, we can determine the behavior of the Dotsenko–Fateev integral in (5.2). This will lead to asymptotic formulas for the behavior of \(h(\theta ^1, \theta ^2)\) near the boundary of \(\Delta \) from which Proposition 5.1 will follow.
Let \(F(w_1, w_2) \equiv F(a,b,c,d; w_1, w_2)\) be the function defined in (1.3) with a, b, c, d given by
i.e., for \(w_1, w_2 \in {\mathcal {D}}_0\),
where \(A \in (0,1)\) is a base point and \(w_1, w_2\) are assumed to lie outside the contour. The Pochhammer contour in (5.2) encloses the variable points z and \(\xi ^2\). In order to easily apply the results from Sects. 2–4, we first need to express h in terms of the integral F whose contour encloses the fixed points 0 and 1. This can be achieved by applying a linear fractional transformation which maps z and \(\xi ^2\) to 0 and 1, respectively.
Lemma 6.1
(Representation for h). For each non-integer \(\alpha > 1\), the function h defined in (5.5) admits the representation
where \(w_1 \equiv w_1(\theta ^1, \theta ^2)\) and \(w_2\equiv w_2(\theta ^1, \theta ^2)\) are given by
the constant \({\hat{c}}\) is defined in (5.4), and
Proof
Introducing the new variable \(v = \frac{u-z}{\xi ^2 - z}\) in (5.2), we find
where \(\frac{\xi + z}{z-\xi }\) and \(\frac{z-{\bar{z}}}{z-\xi }\) are not enclosed by the contour, and the variables
can be expressed as in (6.4). The extra factor of \(e^{2i\pi (\alpha -1)}\) in (6.6) which is present for \(x > \xi ^2\) arises from the factor \((z-{\bar{z}} + v(\xi ^2 -z))^{\alpha -1}\) as follows. Let v belong to the contour in (6.6). Then, the complex number \(z-{\bar{z}} + v(\xi ^2 -z)\) lies in the upper half-plane. If \(\frac{\pi }{2} \leqslant \theta ^2 < \pi \) (i.e., if \(x \leqslant \xi ^2\)), then \(v - w_1\) also lies in the upper half-plane, but if \(0< \theta ^2 < \pi /2\) (i.e., if \(x > \xi ^2\)), then \(v - w_1\) has crossed the negative real axis into the lower half-plane. The factor \(e^{2\pi i(\alpha -1)}\) is inserted to compensate for this crossing of the branch cut. Equations (5.3), (5.5), and (6.6) give
where \(\sigma \) is given by (6.5). The representation (6.3) follows. \(\square \)
Remark 6.2
For \((\theta ^1, \theta ^2) \in \Delta \), \(w_1\) and \(w_1/w_2\) lie on the circle of radius one centered at 1 (see Fig. 7), while \(w_2\) lies in the open lower half-plane, i.e., \(\text {Im}\,w_2 < 0\).
Remark 6.3
The value of \(F(w_1, w_2)\) in (6.3) is, strictly speaking, not well defined by (6.2) for \(\theta ^2 = \pi /2\), because in this case \(w_1 = 2 \notin {\mathcal {D}}_0\). However, by analytic continuation, the function F in (6.3) extends to a multiple-valued function of \(w_1, w_2 \in {\mathbb {C}}{\setminus } \{0,1\}\). Equation (6.3) then extends continuously across the line \(\theta ^2 = \pi /2\).
Given \(\delta > 0\) and \(c > 0\), we define the open subsets \(S_j\), \(j = 1, \ldots , 5\), of \(\Delta \) by (see Figs. 8, 9, 10)
The asymptotics of \(h(\theta ^1, \theta ^2)\) as \((\theta ^1, \theta ^2)\) approaches the boundary of the triangle \(\Delta \), can be described in terms of the five asymptotic sectors \(\{S_j\}_1^5\). Indeed, as the next lemma shows, the first four sectors \(S_j\), \(j=1,\ldots , 4\), correspond to the asymptotic regions treated in Propositions 4.1–4.5, respectively, while the sector \(S_5\) corresponds to the region where \(w_2 \rightarrow \infty \).
If \(w \in {\mathbb {C}}\) and A is a subset of \({\mathbb {C}}\), we write \({\text {dist}}(w, A)\) for the Euclidean distance from w to A; we write \({\text {dist}}(w, A \cup \{\infty \}) > \epsilon \) to indicate that \({\text {dist}}(w,A) > \epsilon \) and \(|w| < 1/\epsilon \).
Lemma 6.4
Let \(\delta > 0\) and let \(w_1, w_2\) be given by (6.4). Then, there exist constants \(c > 0\) and \(\epsilon > 0\) such that the following estimates hold:
- (1):
-
\({\text {dist}}(w_1, \{0, 1, \infty \}) > \epsilon \) and \(|w_2 - 1| < 1-\epsilon \) for all \((\theta ^1, \theta ^2) \in S_1\),
- (2):
-
\(|w_1| < 1-\epsilon \) and \(|w_2| > 1+\epsilon \) for all \((\theta ^1, \theta ^2) \in S_2\),
- (3):
-
\(|w_1| < 1-\epsilon \) and \(|w_2| < 1-\epsilon \) for all \((\theta ^1, \theta ^2) \in S_3\),
- (4):
-
\(|w_1| < 1-\epsilon \) and \({\text {dist}}(w_2, \{0, \infty \})> \epsilon \) for all \((\theta ^1, \theta ^2) \in S_4\),
- (5):
-
\({\text {dist}}(w_1, \{0,1, \infty \}) > \epsilon \) and \(|w_2| > 1+ \epsilon \) for all \((\theta ^1, \theta ^2) \in S_5\).
Proof
The proof follows easily from definition (6.4) of \(w_1\) and \(w_2\). \(\square \)
Assume that \(\alpha \geqslant 2\) is such that \(\frac{3\alpha }{2}, 2\alpha \notin {\mathbb Z}\); the cases when \(\frac{3\alpha }{2}\) and/or \(2\alpha \) is an integer will be considered separately. Then, \(a,b,c,d \in {\mathbb {R}}{\setminus } {\mathbb Z}\) and \(a+b,c+d,a+b+c \notin {\mathbb Z}\). In fact, since \(a+b = 2\alpha - 2 \geqslant 0\), it can be seen from Lemma 6.4 and Theorem 2.2 that the function \(F(w_1, w_2)\) in (6.3) is bounded in the sector \(S_2\). On the other hand, since \(c+d+1 = 1-\alpha < -1\), the sum in Theorem 2.1 which involves the coefficients \(A_k^{(2)}\) is, in general, singular as \(w_2 \rightarrow 1\). However, it turns out that the contribution from this sum to h vanishes identically because of the taking of the imaginary part in (6.3). In order to see this, we need to consider the function \(P_2\) of Proposition 4.1 from which the coefficients \(A_k^{(2)}\) originated in more detail.
Lemma 6.5
Let \(P_2(w_1, w_2)\) denote the function defined in (4.5) with a, b, c, d given by (6.1) and define \(X: \Delta \rightarrow {\mathbb {C}}\) by
where the variables \(w_1\) and \(w_2\) are given by (6.4). Then,
Proof
From definition (4.5) of \(P_2\), we see that for \(w_1 \in {\mathbb {C}}{\setminus } [0, \infty )\) and \(w_2 \in (0,1)\) we have
By definition, the value of \(P_2(w_1,w_2)\) at a general point \((w_1, w_2) \in {\mathcal {D}}_1\) is determined by analytic continuation of (6.10) within the connected set \({\mathcal {D}}_1 \subset {\mathbb {C}}^2\). The branches of the complex powers in (6.10) are fixed by requiring that the principal branch is used initially at the base point \(s = A \in (0,1)\); for definiteness, let us choose \(A = 1/2\). This means that whenever the points
cross the negative real axis during the analytic continuation, extra factors of \(e^{\pm 2\pi i a}\) and \(e^{\pm 2\pi i b}\), respectively, have to be inserted in (6.10).
In order to evaluate the function X in (6.8), we need the value of \(P_2\) at points \((w_1, w_2) \in {\mathcal {E}}\), where \({\mathcal {E}}\) denotes the subset of \({\mathbb {C}}^2\) characterized by (6.4), i.e.,
If \(w_1\) and \(w_2\) are given by (6.4), then
Hence, we have, for all \((w_1, w_2) \in {\mathcal {E}}\),
This shows that neither of the points in (6.11) crosses the negative real axis as long as \((w_1,w_2)\) remains within \({\mathcal {E}}\). We can therefore find a formula for \(P_2\) valid in \({\mathcal {E}}\) as follows.
Let \((w_1, w_2)\) be a point in \({\mathcal {E}}\) corresponding to \((\theta ^1, \theta ^2)\) via (6.4). Then,
Let \(0< \epsilon < |w_1-1|\) be small and let \(({\tilde{w}}_1(t), {\tilde{w}}_2(t))\), \(t \in [0,1]\), be the path in \({\mathcal {D}}_1\) defined by \({\tilde{w}}_1(t) = w_1\) for all t, while the path \({\tilde{w}}_2(t)\) starts at \(1-\epsilon + i0\), proceeds clockwise around the small circle of radius \(\epsilon \) centered at 1 until it reaches the point \(1 + \epsilon e^{-i\theta ^2}\), and then proceeds along the straight line segment \([1+\epsilon e^{-i\theta ^2},w_2]\) until it reaches \(w_2\).
As \({\tilde{w}}_2\) moves along the arc from \(1-\epsilon + i0\) to \(1 + \epsilon e^{-i\theta ^2}\), the point \(A - 1 - \frac{1}{{\tilde{w}}_2(t) -1}\) crosses the negative real axis from the upper into the lower half-plane once (this adds a factor of \(e^{2\pi i a}\) to (6.10)), and, provided that \(\text {Im}\,w_1 \leqslant 0\) (i.e., \(\theta ^2 \geqslant \pi /2\)), \(A - 1 + \frac{{\tilde{w}}_1(t) -1}{{\tilde{w}}_2(t)-1}\) also crosses the negative real axis from the upper into the lower half-plane once (this adds a factor of \(e^{2\pi i b}\) to (6.10)). If \(\text {Im}\,w_1 > 0\), then \(A - 1 + \frac{{\tilde{w}}_1(t) -1}{{\tilde{w}}_2(t)-1}\) does not cross the negative real axis. By varying \(\theta ^1\) in (6.13), we see that the part of the path for which \({\tilde{w}}_2\) belongs to the segment \([1+\epsilon e^{-i\theta ^2},w_2]\) lies in \({\mathcal {E}}\); hence, the analytic continuation along this part adds no more factors to (6.10). We end up with the following formula for \(P_2\) on \({\mathcal {E}}\):
where \(1 + \frac{1}{w_2 -1}\) and \(1 - \frac{w_1 -1}{w_2 -1}\) lie exterior to the contour. Substituting this formula into (6.8) and simplifying, we find
where \(w_1, w_2\) are given by (6.4). But
and, by (6.12),
Hence,
If g(s) is an analytic function, then the general identity \(\overline{\int _\gamma g(w) dw} = \int _{{\bar{\gamma }}} \overline{g({\bar{v}})} \mathrm{d}v\) implies
Using this identity to compute the imaginary part of (6.14), we arrive at
This completes the proof of the lemma. \(\square \)
Using the identities of Propositions 4.1–4.5 to replace F in the expression (6.3) for h, and using that the contribution from \(P_2\) vanishes due to Lemma 6.5, we arrive at the next lemma, which provides four representations for h which are suitable for determining the behavior of h for \((\theta ^1, \theta ^2) \in S_j\), \(j = 1, \ldots , 4\), respectively. For \((\theta ^1, \theta ^2) \in S_5\), we will use the original representation (6.3).
Lemma 6.6
Suppose \(\alpha \geqslant 2\) satisfies \(\frac{3\alpha }{2}, 2\alpha \notin {\mathbb Z}\). Then, for all \((\theta ^1, \theta ^2) \in \Delta \),
where \(w_1, w_2\) are given by (6.4).
In order to prove Proposition 5.1, we only need leading and subleading estimates on F, so we shall be content with this level of precision. The required bounds on the functions \(P_1, Q_j, R_j, T_1, F\) are then collected in the next lemma.
Lemma 6.7
Suppose \(a,b \geqslant 0\) and \(c,d \leqslant 0\) satisfy \(a,d,a+b, c+d,a+b+c \notin {\mathbb Z}\). Let \(\epsilon > 0\). Then, the following estimates hold:
- (a):
-
\(|P_1(w_1, w_2)| \leqslant C\) and \(|P_1(w_1, w_2) - P_1(w_1, 1)| \leqslant C|w_2 - 1|\) uniformly for all \((w_1, w_2) \in {\mathbb {C}}^2\) such that \({\text {dist}}(w_1, \{0, 1, \infty \}) > \epsilon \) and \(|w_2 - 1|< 1-\epsilon \).
- (b):
-
\(|Q_1(w_1, w_2)| \leqslant C|w_2|^c\) uniformly for all \((w_1, w_2) \in {\mathbb {C}}^2\) such that \(|w_1| < 1-\epsilon \) and \({\text {dist}}(w_2, \{0, 1\}) > \epsilon \).
- (c):
-
\(|Q_2(w_1, w_2)| \leqslant C|w_1|^c\) uniformly for all \((w_1, w_2) \in {\mathbb {C}}^2 {\setminus } \{(0,0)\}\) such that \(|w_1|<1-\epsilon \) and \({\text {dist}}(\frac{w_2}{w_1}, \{0,1\}) > \epsilon \).
- (d):
-
\(|R_1(w_1, w_2)| \leqslant C\) and \(|R_1(w_1, w_2) - R_1(0, 0)| \leqslant C(|w_1| + |w_2|)\) uniformly for all \((w_1, w_2) \in {\mathbb {C}}^2\) such that \(|w_1| < 1-\epsilon \) and \(|w_2| < 1-\epsilon \).
- (e):
-
\(|R_2(w_1, w_2)| \leqslant C|w_2|^b\) uniformly for all \((w_1, w_2) \in {\mathbb {C}}^2 {\setminus } \{(0,0)\}\) such that \({\text {dist}}(\frac{w_2}{w_1}, \{0,1\}) > \epsilon \) and \(|w_2| < 1-\epsilon \).
- (f):
-
\(|T_1(w_1, w_2)| \leqslant C\) uniformly for all \((w_1, w_2) \in {\mathbb {C}}^2\) such that \(|w_1|<1-\epsilon \) and \({\text {dist}}(w_2, \{0,\infty \}) > \epsilon \).
- (g):
-
\(|F(w_1, w_2)| \leqslant C|w_2|^c\) uniformly for all \((w_1, w_2) \in {\mathbb {C}}^2\) such that \({\text {dist}}(w_1, \{0,1, \infty \}) > \epsilon \) and \(|w_2| > 1+ \epsilon \).
Proof
The estimates follow directly from the definitions of the functions \(P_1, Q_j, R_j, T_1\), and F. \(\square \)
Remark 6.8
If \((w_1,w_2)\) lies on a branch cut, the bounds in Lemma 6.7 should be interpreted as saying that both the left and right boundary values obey the bounds.
We are now in a position to prove Proposition 5.1. Indeed, since h clearly is smooth in the interior of \(\Delta \) and the parameter \(\delta > 0\) which defines the sectors \(S_j\) is arbitrary, Proposition 5.1 follows from the following result.
Lemma 6.9
Let \(\alpha \geqslant 2\). Then, the function \(h(\theta ^1, \theta ^2)\) defined in (5.5) satisfies the following estimates:
where \(h_f(\theta )\) is defined in (5.8).
Proof
Let us first assume that \(\alpha \geqslant 2\) satisfies \(\frac{3\alpha }{2}, 2\alpha \notin {\mathbb Z}\). Equation (6.15), Lemma 6.4 (1), and Lemma 6.7(a) show that (6.19) holds in \(S_1\). Also, by Lemma 6.7(a), the following estimate is valid in \(S_1\):
where
For a, b, c, d given by (6.1), we have (cf. (2.7))
It follows that \(h(\theta ^1, \theta ^1) = h_f(\theta ^1)\) where \(h_f\) is given by (5.8). Equation (6.20) then follows from (6.22).
Using the fact that \({\text {dist}}(\frac{w_2}{w_1}, \{0,1\}) > \epsilon \) for all \((\theta ^1, \theta ^2) \in \Delta \), Lemmas 6.4(2) and 6.7(b) and (c) imply
Hence, Eq. (6.16) shows that (6.19) holds in \(S_2\).
Similarly, Lemma 6.4 (3) and Lemma 6.7 (c), (d), and (e) show that
Hence, Eq. (6.17) implies that (6.19) holds in \(S_3\). Also, by Lemma 6.7 (d), since \(\alpha \geqslant 2\), the following estimate is valid in \(S_3\):
where
For a, b, c, d given by (6.1), we have
Taking definition (5.4) of \({\hat{c}}\) into account, it follows that \(h(\theta ^1, \pi )= \sin ^{\alpha -1}\theta ^1\). This proves (6.21).
Lemma 6.4 (4) and Lemma 6.7(c) and (f) show that
Hence, Eq. (6.18) implies that (6.19) holds in \(S_4\).
Lemma 6.4 (5) and Lemma 6.7(g) show that
Hence, Eq. (6.3) shows that (6.19) holds in \(S_5\). This completes the proof of the lemma in the case when \(\frac{3\alpha }{2}\) and \(2\alpha \) are not integers.
Assume now that \(\frac{3\alpha }{2}\) and/or \(2\alpha \) is an integer. Then, some of the functions in Lemma 6.7 degenerate, so a slightly different argument is required. We do not give complete details, but outline the relevant steps.
Suppose first that \(\alpha \notin {\mathbb Z}\) but \(\frac{3\alpha }{2}\) or \(2\alpha \) is an integer. Then, the limit \(w_2 \rightarrow 1\) can still be treated as before, because \(c+d = -\alpha \) is not an integer. However, the limits involving \(w_1 \rightarrow 0\) or \(w_2 \rightarrow 0\) cannot be treated in the same way in general, because \(a+b = 2\alpha - 2\) and/or \(a+b+c = \frac{3\alpha }{2} - 2\) is an integer. However, since \(\alpha \geqslant 2\), we have \(a+b>0\) and \(a+b+c >0\). Hence, the integral (6.2) defining F is nonsingular at \(v = 0\) (also in the limit as \(w_1\) and \(w_2\) approach zero). Hence, we can derive the leading behavior of F in these regimes using the following alternative approach: First, we collapse the two loops of the Pochhammer contour enclosing the origin down to the interval [0, A]. Then, we find the leading-order asymptotics by Taylor expanding the integrand as \(w_1\) and/or \(w_2\) approaches zero.
Assume finally that \(\alpha = n \geqslant 2\) is an integer. This case is considered in [11], where an expression for \(h(\theta ^1, \theta ^2; n)\) is derived by taking the limit of the defining Eq. (6.2) for F as \(\alpha \rightarrow n\). In order to prove (6.19)–(6.21) in this case, we compute the limits as \(\alpha \rightarrow n\) of each of the four equations in Lemma 6.6. This gives four analogous equations valid for \(\alpha = n\). As above, it follows from these equations that h satisfies (6.19)–(6.21). The crucial point is that the singular contribution from \(P_2\) vanishes as a consequence of (6.9).\(\square \)
7 Proof of Proposition 5.2
Lemma 7.1
The function \(J(z, \xi )\) defined in (5.12) is a well-defined smooth function of \((z, \xi ) \in {\mathbb {H}} \times (0, \infty )\).
Proof
Since \(\alpha > 1\), the integral defining \(J(z, \xi )\) is convergent for each \(z \in {\mathbb {H}}\) and each \(\xi > 0\). To prove the smoothness of J, we first assume that \(\alpha > 1\) is an integer. In this case, the integral in (5.12) can be computed explicitly in terms of logarithms and powers of z, \({\bar{z}}\), \(z - \xi \), and \({\bar{z}} - \xi \) (see [11] for the case \(\alpha = 2\)). Hence, \(J(z, \xi )\) is smooth for \((z, \xi ) \in {\mathbb {H}} \times (0, \infty )\).
Assume \(\alpha > 1\) is not an integer. Then, fixing a base point \(A > \xi \), we can rewrite expression (5.12) for \(J(z, \xi )\) as
where the integration contour is the composition of four loops \(\{l_j\}_1^4\) based at A (see Fig. 11) and the integrand is evaluated using analytic continuation along the contour. More precisely, the loop \(l_1\) encircles z once in the counterclockwise direction, \(l_2\) encircles \({\bar{z}}\) once in the counterclockwise direction, \(l_3\) encircles z once in the clockwise direction, and \(l_4\) encircles \({\bar{z}}\) once in the clockwise direction. On the first half of \(l_1\), the principal branch is used, but as the contour \(l_1\) encircles z in the counterclockwise direction, the power \((u-z)^{\alpha }\) in the integrand picks up an additional factor of \(e^{2i\pi \alpha }\) with respect to the principal branch; then, as \(l_2\) encircles \({\bar{z}}\) in the counterclockwise direction, the power \((u-{\bar{z}})^{\alpha - 2}\) in the integrand picks up the factor \(e^{2i\pi (\alpha -2)}\) and so on. Collapsing the contour onto a single path from \({\bar{z}}\) to z and collecting the exponential factors, we see that (7.1) reduces to (5.12). Since the contour in (7.1) avoids the branch points, the integral in (7.1) can be differentiated an unlimited number of times with respect to \(z, {\bar{z}}\), and \(\xi \). This completes the proof of the lemma.\(\square \)
Remark 7.2
(A main difference between the two examples).The integrals relevant for Example 2 have better convergence properties than those of Example 1. Indeed, the Pochhammer integral expression (7.1) for the function \(J(z,\xi )\) relevant for Example 2 is well defined for any \(\alpha \in {\mathbb {R}}{\setminus } {\mathbb Z}\). If \(\alpha > 1\) is not an integer, expression (5.12) for J can be recovered from (7.1) by collapsing the contour down to a simple path from \({\bar{z}}\) to z. The integral in (5.12) converges because the exponents of the factors \((u-z)^\alpha \) and \((u-{\bar{z}})^{\alpha -2}\) are both \(> -1\) when \(\alpha > 1\).
On the other hand, the Pochhammer contour appearing in definition (5.2) of the function \(I(z,\xi ^1, \xi ^2)\) relevant for Example 1 encircles the points z and \(\xi ^2\) and the corresponding integrand involves the factors \((u-z)^{\alpha -1}\) and \((\xi ^2 - u)^{-\alpha /2}\). Thus, this contour can only be collapsed down to simple path from z to \(\xi ^2\) if \(0< \alpha < 2\). Since Proposition 5.1 is stated under the assumption that \(\alpha \geqslant 2\), this means that the analysis of Example 1 requires the use of a Pochhammer contour (in fact, the contour can be collapsed at z, but not at \(\xi ^2\)).
Remark 7.2 suggests that it should be easier to prove Proposition 5.2 than Proposition 5.1. This is indeed the case. It is of course still possible to proceed as in Example 1 and use the full machinery of Sects. 2–4 to prove Proposition 5.2. However, in order to complement the discussion of Example 1, we will in what follows present a more elementary proof of Proposition 5.2 which relies on direct estimates. The takeaway is that in some simpler cases one has the choice of either using the machinery of Sects. 2–4 or a more naive approach based on direct estimates.
Lemma 7.3
The function \(J(z, \xi )\) defined in (5.12) satisfies the following estimates:
where \(z = x + iy\).
Proof
To prove (7.2a), we let \(z = \xi + re^{i\theta }\) and choose the following parametrization of the integration contour in (5.12) (see Fig. 12):
This yields after simplification
It follows that
Since
for all \(r > 0\), \(\varphi \in (-\pi , \pi )\), and \(\xi > 0\), we obtain the estimate
The integral remains bounded as \(\theta \uparrow \pi \), because \(\frac{3\alpha }{2} - 2 > -1\). Thus, we arrive at
which is (7.2a).
To prove (7.2b), we let \(z = x + iy\) in (5.12) and use the parametrization \(u = x + is\), \(-y \leqslant s \leqslant y\), of the contour from \({\bar{z}}\) to z. Assuming that \(x > \xi \), this yields
It follows that
This proves (7.2b).
To prove (7.2c), we note that if f(u) is an analytic function, then
Hence,
Since
this can be written as
Assuming that \(z = re^{i\theta }\) satisfies \(|z| > \xi \) and adopting the parametrization
of the integration contour from \({\bar{z}}\) to z, we arrive at
In view of the estimate
valid for all \(r \geqslant 2\xi \), \(\varphi \in (0, \pi )\), and \(\xi > 0\), this implies
Since \(2 \alpha -3 > -1\), the integral remains bounded as \(\theta \uparrow \pi \). This proves (7.2c). \(\square \)
We next extend the function \(J(z, \xi )\) continuously to all of \(\bar{{\mathbb {H}}} \times (0, \infty )\). As suggested by (5.12), we define \(J(x, \xi )\) for \(x \in {\mathbb {R}}\) by
where the integration contour \(L_x\) is a loop starting and ending at x which avoids the branch cut along \((-\infty , \xi )\) and which encloses \(\xi \) in the counterclockwise direction, see Fig. 13.
Lemma 7.4
For each \(\xi > 0\), the function \(J(z, \xi )\) defined by (5.12) and (7.8) is a continuous function of \(z \in \bar{{\mathbb {H}}}\).
Proof
Fix \(\xi > 0\). Since \(\alpha > 1\), the integral in (7.8) converges for every \(x < \xi \) (including \(x = 0\)). Equation (7.2b) implies that \(z \mapsto J(z, \xi )\) is continuous at each point in \((\xi , \infty )\). Moreover, Eq. (7.2a) implies that J is continuous at \(z = \xi \).
We next show that J is continuous at each point in \((-\infty , 0) \cup (0, \xi )\). Letting \(s = \frac{\pi }{\theta }\varphi \) and simplifying, we can write (7.4) as
where
Let \(\epsilon > 0\). Then,
for all \(r \in (\epsilon , \epsilon ^{-1})\) with \(|r - \xi | > \epsilon \) and all \(\theta \in [\frac{\pi }{2}, \pi ]\). Since \(|\pi \pm s|^{\alpha -2} \in L^1([-\pi , \pi ])\), this shows that there exists a function G(s) in \(L^1([-\pi , \pi ])\) such that
for all \(r \in (\epsilon , \epsilon ^{-1})\) with \(|r - \xi | > \epsilon \) and all \(\theta \in [\frac{\pi }{2}, \pi ]\). Since \(\epsilon > 0\) was arbitrary, if the point \(x_0 = \xi + r_0 e^{i\pi }\) belongs to \((-\infty , 0) \cup (0, \xi )\), dominated convergence gives
This shows that \(J(\cdot , \xi )\) is continuous at each point in \((-\infty , 0) \cup (0, \xi )\).
It only remains to show that \(J(\cdot , \xi ):\bar{{\mathbb {H}}} \rightarrow {\mathbb {C}}\) is continuous at \(z = 0\). To prove this, let \(c = \frac{\xi }{2}\) and let \(z = re^{i\theta }\) with \(\theta \in [0, \pi ]\) and \(r \in (0, c)\). Let \(\gamma \) denote the contour from \({\bar{z}}\) to z used in definition (5.12) of \(J(z, \xi )\). We write \(\gamma \) as the union of five subcontours as follows (see Fig. 14):
where
Then,
where
We claim that
Indeed, let us consider the case of \(J_1(z)\). Since \(|u - \xi | \geqslant c\) for \(u \in \gamma _1\), we have
Moreover, the inequalities
are valid for \(u \in \gamma _1\). Hence, if \(\alpha \geqslant 2\), then
On the other hand, if \(1< \alpha < 2\), then
This proves (7.11) for \(J_1(z)\); the proof for \(J_5(z)\) is similar.
We next show that
To establish (7.12), we let \(u = r + s\) and write
where
and \(\chi _{[0,c-r]}\) denotes the characteristic function of the interval \([0,c-r]\). We will show that there exists a function F(s) in \(L^1((0,c))\) such that
for all \(r\in (0, c)\) and all \(\theta \in [0, \pi ]\). Dominated convergence then gives
showing that \(J_2(z)\) satisfies (7.12).
In order to prove (7.13), we note that
for \(s \in (0, c-r)\). This gives
Using the inequalities
we find
Since
we deduce that (7.13) holds with
This proves (7.12) for \(j = 2\); the proof when \(j = 4\) is similar.
Finally, since the integration contour is independent of z, it is easy to see that
Since \(J(z, \xi ) = \sum _{j=1}^5 J_j(z)\), the continuity of \(J(z, \xi )\) at \(z = 0\) follows from Eqs. (7.11), (7.12), and (7.14). This completes the proof of the lemma. \(\square \)
Lemma 7.5
For each \(\xi > 0\), the partial derivatives \(\partial _xJ(z, \xi )\) and \(\partial _yJ(z, \xi )\) have continuous extensions to \(\bar{{\mathbb {H}}} {\setminus } \{0, \xi \}\).
Proof
Fix \(\xi > 0\). Defining W(u) by
we can write
An integration by parts gives
Differentiating with respect to z and \({\bar{z}}\), we find
and
Since \(\alpha > 1\), these expressions for \(J_z\) and \(J_{{\bar{z}}}\) are well defined for each \(z \in {\mathbb {R}}{\setminus } \{0, \xi \}\). Repeating the above arguments that led to the continuity of \(J(z, \xi )\) at each point \(z \in {\mathbb {R}}{\setminus } \{0, \xi \}\), we infer that this provides continuous extensions of \(J_z\) and \(J_{{\bar{z}}}\) to \(\bar{{\mathbb {H}}} {\setminus } \{0, \xi \}\). \(\square \)
Lemma 7.6
For each fixed \(\xi > 0\), the function \(J(z, \xi )\) satisfies
Moreover,
and
where the error terms are uniform with respect to x in compact subsets of \({\mathbb {R}}{\setminus } \{0, \xi \}\).
Proof
Equation (7.17) follows by letting \(y \rightarrow 0\) in (7.7). The asymptotic formulas (7.18a) are then a direct consequence of Lemma 7.4 and Lemma 7.5. Equation (7.18b) follows from (7.2b). \(\square \)
In the above lemmas, we have established several properties of the function J. We next turn to the analysis of the functions \({\mathcal {M}}\) and P defined in (5.11) and (5.13), respectively.
Lemma 7.7
The function \({\mathcal {M}}(z, \xi )\) defined in (5.11) satisfies the following estimates:
where \(z = x + iy\). In particular, for each fixed \(\xi > 0\),
where the error terms are uniform with respect to y in compact subsets of \((0, \infty )\).
Proof
The estimates (7.19a) and (7.19b) follow immediately from the definition of \({\mathcal {M}}\) together with the estimates (7.2a) and (7.2b) of Lemma 7.3. The estimate (7.19c) follows by applying (7.2a) and (7.2c) to the identity
Finally, the asymptotic equations in (7.7) are an immediate consequence of (7.19a) and (7.19c). \(\square \)
Lemma 7.8
The function \({\mathcal {M}} = {\mathcal {M}}_1 + i {\mathcal {M}}_2\) satisfies
Proof
Since the statement only involves derivatives with respect to x and y, we can assume that \(\xi > 0\) is fixed. We need to prove that \(\text {Im}\,{\bar{\partial }} {\mathcal {M}} = 0\). In terms of the function W(u) defined in (7.15), we can write
An integration by parts gives
Differentiating with respect to \({\bar{z}}\), we find
The integrals in (7.23) are convergent at the endpoints z and \({\bar{z}}\) because \(\alpha > 1\). Substituting expression (7.22) for \({\mathcal {M}}\) into (7.23) and simplifying, we obtain
where the real-valued function \(R(z, \xi )\) is given by
To establish the identity \(\text {Im}\,{\bar{\partial }} {\mathcal {M}} = 0\), it is enough to show that
Using (7.6) and (7.24), we can write the left-hand side of (7.25) as
The right-hand side of (7.26) involves eight integrals. Integrating by parts in the third, fourth, and eighth of these integrals and using that the first and fifth integrals cancel, we see that the expression in (7.26) can be written as
A long but straightforward computation shows that the expression in (7.27) equals
Since \(\alpha > 1\), the fundamental theorem of calculus implies that the integral vanishes. This proves (7.25) and completes the proof of the lemma. \(\square \)
Lemma 7.9
The function \(P(z, \xi )\) defined in (5.13) is a well-defined smooth function of \((z, \xi ) \in {\mathbb {H}} \times (0, \infty )\).
Proof
By Lemma 7.1, \({\mathcal {M}} = {\mathcal {M}}_1 + i{\mathcal {M}}_2\) is a smooth function of \((z, \xi ) \in {\mathbb {H}} \times (0, \infty )\). Moreover, by Eq. (7.7), there exists an \(\epsilon > 0\) such that \({\mathcal {M}}_1(x + iy) = O(|x|^{-1-\epsilon })\) and \({\mathcal {M}}_2(x + iy) = O(|x|^{-\epsilon })\) as \(|x| \rightarrow \infty \) uniformly with respect to y in compact subsets of \((0, \infty )\). It follows that the integral in definition (5.13) of P converges. Furthermore, Lemma 7.8 shows that the integral \(\int ({\mathcal {M}}_1 \mathrm{d}x - {\mathcal {M}}_2 \mathrm{d}y)\) is independent of the path. We infer that \(P(z, \xi )\) can be written as
where \(z' = x' + iy'\) and the contour of integration runs from \(\infty + ic\), \(c > 0\), to z. Since \({\mathcal {M}}(z, \xi )\) is a smooth function of \((z, \xi ) \in {\mathbb {H}} \times (0, \infty )\), so is \(P(z, \xi )\). \(\square \)
Lemma 7.10
For each \(\xi > 0\), the function \({\mathcal {M}}(z, \xi )\) satisfies
and
where the error terms are uniform with respect to x in compact subsets of \({\mathbb {R}}{\setminus } \{0, \xi \}\).
Proof
This follows from Lemma 7.6 and definition (5.11) of \({\mathcal {M}}\). \(\square \)
Lemma 7.11
For each \(\xi > 0\), the function \(z \mapsto P(z, \xi )\) defined in (5.13) has a continuous extension to \(\bar{{\mathbb {H}}} {\setminus } \{0\}\) which satisfies
Proof
Fix \(\xi > 0\). Expression (7.28) for P together with Lemma 7.10 implies that there exist real constants \(\{P_j\}_1^3\) such that the function
is continuous \(\bar{{\mathbb {H}}} {\setminus } \{0, \xi \} \rightarrow {\mathbb {R}}\). Letting z approach \(\infty + i0\) in (7.28), we deduce that \(P_3 = 0\). It follows that
for \(r > 0\) and \(\theta \in (0, \pi )\). In view of estimate (7.19a), this yields
Letting \(r \downarrow 0\), we infer that if we set \(P(\xi , \xi ) = 0\), then \(P(z, \xi )\) is continuous at \(z = \xi \). Moreover, taking the limit \(r \downarrow 0\) in (7.31) with \(\theta = \pi \), it follows that \(P_2 = 0\).
It only remains to prove that \(P_3 = 1\). This will follow if we can show that the normalization constant \(c_\alpha \) defined in (5.14) satisfies
where \(S_r\) is a counterclockwise semicircle of radius r centered at 0:
Lemmas 7.8 and 7.10 show that the right-hand side of (7.32) is independent of \(r > 0\). We can therefore evaluate it in the limit as \(r \downarrow 0\). Recalling the definition of \({\mathcal {M}}\), we write
where
The function J is bounded on each compact subset of \(\bar{{\mathbb {H}}}\) by Lemma 7.4. Hence, \(f_r(\varphi )\) obeys the estimate
Since the function \(\sin ^{\alpha -2}\varphi \) belongs to \(L^1((0, \pi ))\), dominated convergence yields
But setting \(r = \xi \) and \(\theta = \pi \) in (7.4), we find that the value of \(J(z,\xi )\) at \(z = 0\) is given by
It follows that
Since
Equation (7.32) follows. \(\square \)
Remark 7.12
The proof of Lemma 7.11 shows that the constant \(c_\alpha \) can be alternatively expressed as
where the right-hand side is independent of the choice of \(y > 0\) and \(\xi > 0\).
In view of Lemma 7.9, the next result completes the proof of Proposition 5.2.
Lemma 7.13
We have
Proof
Using that \(P(x, \xi ) = 0\) for \(x > 0\), we can write
Estimate (7.19a) now yields
which is (7.33a). Similarly, since \(P(x, \xi ) = 1\) for \(x < 0\), we can write
Estimate (7.19a) now yields
which is (7.33b). \(\square \)
References
Alberts, T., Kang, N.-G., Makarov, N.: Conformal field theory for multiple SLEs. (In preparation)
Di Francesco, P., Mathieu, P., Sénéchal, D.: Conformal Field Theory, Graduate Texts in Contemporary Physics. Springer, New York (1997)
Dotsenko, V.S., Fateev, V.A.: Conformal algebra and multipoint correlation functions in 2D statistical models. Nucl. Phys. B 240, 312–348 (1984)
Dotsenko, V.S., Fateev, V.A.: Four-point correlation functions and the operator algebra in 2D conformal invariant theories with central charge \(c \le 1\). Nucl. Phys. B 251, 691–734 (1985)
Dubédat, J.: Euler integrals for commuting SLEs. J. Stat. Phys 123, 1183–1218 (2006)
Dubédat, J.: Commutation relations for Schramm–Loewner evolutions. Commun. Pure Appl. Math. 60, 1792–1847 (2007)
Ferreira, C., López, J.L.: Asymptotic expansions of the Appell’s function \(F_{1}\). Q. Appl. Math. 62, 235–257 (2004)
Golubeva, V.A., Ivanov, A.N.: Fuchsian systems for Dotsenko–Fateev multipoint correlation functions and similar inegrals of hypergeometric type. Preprint arXiv:1611.07758
Kang, N.-G., Makarov, N.G.: Gaussian free field and conformal field theory. Astérisque 353, viii+136 (2013)
Kytölä, K., Peltola, E.: Conformally covariant boundary correlation functions with a quantum group. Preprint arXiv:1408.1384
Lenells, J., Viklund, F.: Schramm’s formula and the Green’s function for multiple SLE. J. Stat. Phys. 176, 873–931 (2019)
NIST Digital Library of Mathematical Functions, http://dlmf.nist.gov/, Release 1.0.20 of 2018-09-15. F. W. J. Olver, A. B. Olde Daalhuis, D. W. Lozier, B. I. Schneider, R. F. Boisvert, C. W. Clark, B. R. Miller, and B. V. Saunders, eds
Olver, F.W.J.: Asymptotics and Special Functions. Academic Press, New York (1974)
Acknowledgements
Open access funding provided by KTH Royal Institute of Technology. Lenells acknowledges support from the European Research Council, Grant Agreement No. 682537, the Swedish Research Council, Grant No. 2015-05430, and the Gustafsson Foundation, Sweden. Viklund acknowledges support from the Knut and Alice Wallenberg Foundation, the Swedish Research Council, the National Science Foundation, and the Gustafsson Foundation, Sweden.
Author information
Authors and Affiliations
Corresponding author
Additional information
Communicated by Nikolai Kitanine.
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Rights and permissions
Open Access This article is distributed under the terms of the Creative Commons Attribution 4.0 International License (http://creativecommons.org/licenses/by/4.0/), which permits unrestricted use, distribution, and reproduction in any medium, provided you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license, and indicate if changes were made.
About this article
Cite this article
Lenells, J., Viklund, F. Asymptotic Analysis of Dotsenko–Fateev Integrals. Ann. Henri Poincaré 20, 3799–3848 (2019). https://doi.org/10.1007/s00023-019-00849-5
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s00023-019-00849-5