Advertisement

Journal of Nonlinear Science

, Volume 29, Issue 4, pp 1621–1657 | Cite as

Exact Solution of a Neumann Boundary Value Problem for the Stationary Axisymmetric Einstein Equations

  • Jonatan LenellsEmail author
  • Long Pei
Open Access
Article

Abstract

For a stationary and axisymmetric spacetime, the vacuum Einstein field equations reduce to a single nonlinear PDE in two dimensions called the Ernst equation. By solving this equation with a Dirichlet boundary condition imposed along the disk, Neugebauer and Meinel in the 1990s famously derived an explicit expression for the spacetime metric corresponding to the Bardeen–Wagoner uniformly rotating disk of dust. In this paper, we consider a similar boundary value problem for a rotating disk in which a Neumann boundary condition is imposed along the disk instead of a Dirichlet condition. Using the integrable structure of the Ernst equation, we are able to reduce the problem to a Riemann–Hilbert problem on a genus one Riemann surface. By solving this Riemann–Hilbert problem in terms of theta functions, we obtain an explicit expression for the Ernst potential. Finally, a Riemann surface degeneration argument leads to an expression for the associated spacetime metric.

Keywords

Ernst equation Einstein equations Boundary value problem Unified transform method Fokas method Riemann–Hilbert problem Theta function 

Mathematics Subject Classification

83C15 37K15 35Q15 35Q76 

1 Introduction

Half a century ago, Bardeen and Wagoner studied the structure and gravitational field of a uniformly rotating, infinitesimally thin disk of dust in Einstein’s theory of relativity (Bardeen and Wagoner 1969, 1971). Although their study was primarily numerical, they pointed out that there may be some hope for finding an exact expression for the solution. Remarkably, such an exact expression was derived in a series of papers by Neugebauer and Meinel in the 1990s (Neugebauer and Meinel 1993, 1994, 1995) (see also Meinel et al. 2008). Rather than analyzing the Einstein equations directly, Neugebauer and Meinel arrived at their exact solution by studying a boundary value problem (BVP) for the so-called Ernst equation.

The Ernst equation is a nonlinear integrable partial differential equation in two dimensions which was first written down by Ernst in the 1960s (Ernst 1968). Ernst made the quite extraordinary discovery that, in the presence of one space-like and one time-like Killing vector, the full system of the vacuum Einstein field equations reduces to a single equation for a complex-valued function f of two variables (Ernst 1968). This single equation, now known as the (elliptic) Ernst equation, has proved instrumental in the study and construction of stationary axisymmetric spacetimes, cf. Klein and Richter (2005).

In terms of the Ernst equation, the uniformly rotating disk problem considered by Bardeen and Wagoner can be reformulated as a BVP for the Ernst potential f in the exterior disk domain \({\mathcal {D}}\) displayed in Fig. 1. Away from the disk, the boundary conditions for this BVP are determined by the requirements that the spacetime should be asymptotically flat, equatorially symmetric and regular along the rotation axis. On the disk, the requirement that the disk should consist of a uniformly rotating collection of dust particles translates into a Dirichlet boundary condition for the Ernst potential expressed in a co-rotating frame (Meinel et al. 2008). Neugebauer and Meinel solved this BVP by implementing a series of ingenious steps based on the integrability of the Ernst equation. In the end, these steps led to explicit expressions for both the Ernst potential and the spacetime metric in terms of genus two theta functions. Their solution was “the first example of solving the boundary value problem for a rotating object in Einstein’s theory by analytic methods” (Bičák 2000).
Fig. 1

The domain \({\mathcal {D}}\) exterior to a disk of radius \(\rho _0 > 0\)

In an effort to understand the Neugebauer–Meinel solution from a more general and systematic point of view, Fokas and the first author revisited the solution of the above BVP problem in Lenells and Fokas (2011). It was shown in Lenells and Fokas (2011) that the problem actually is a special case of a so-called linearizable BVP as defined in the general approach to BVPs for integrable equations known as the unified transform or Fokas method (Fokas 1997). In this way, the Neugebauer–Meinel solution could be recovered. Later, an extension of the same approach led to the discovery of a new class of explicit solutions which combine the Kerr and Neugebauer–Meinel solutions (Lenells 2011). The solutions of Lenells (2011) involve a disk rotating uniformly around a central black hole and are given explicitly in terms of theta functions on a Riemann surface of genus four.

In addition to the BVP for the uniformly rotating dust disk, a few other BVPs were also identified as linearizable in Lenells and Fokas (2011). One of these problems has the same form as the BVP for the uniformly rotating disk except that a Neumann condition is imposed along the disk instead of a Dirichlet condition. The purpose of the present paper is to present the solution of this Neumann BVP. Our main result provides an explicit expression for the solution of this problem (both for the solution of the Ernst equation and for the associated spacetime metric) in terms of theta functions on a genus one Riemann surface. In the limit when the rotation axis is approached, the Riemann surface degenerates to a genus zero surface (the Riemann sphere), which means that we can find particularly simple formulas for the spacetime metric in this limit.

Our approach can be briefly described as follows. We first use the integrability of the Ernst equation to reduce the solution of the BVP problem to the solution of a matrix Riemann–Hilbert (RH) problem. The formulation of this RH problem involves both the Dirichlet and Neumann boundary values on the disk. By employing the fact that the boundary conditions are linearizable, we are able to eliminate the unknown Dirichlet values. This yields an effective solution of the problem in terms of the solution of a RH problem. However, as in the case of the Neugebauer–Meinel solution, it is possible to go even further and obtain an explicit solution by reducing the matrix RH problem to a scalar RH problem on a Riemann surface. By solving this scalar problem in terms of theta functions, we find exact formulas for the Ernst potential and two of the metric functions. Finally, a Riemann surface condensation argument is used to find an expression for the third and last metric function.

Although our approach follows steps which are similar to those set forth for the Dirichlet problem in Lenells and Fokas (2011) [which were in turn inspired by Neugebauer and Meinel (1993, 1994, 1995)], the Neumann problem considered here is different in a number of ways. One difference is that the underlying Riemann surface has genus one instead of genus two. This means that we are able to derive simpler formulas for the spectral functions and for the solution on the rotation axis. Another difference is that the jump of the scalar RH problem for the Neumann problem does not vanish at the endpoints of the contour. This means that a new type of condensation argument is needed to determine the last metric function. We expect this new argument to be of interest also for other BVPs and for the construction of exact solutions via solution-generating techniques.

We do not explore the possible physical relevance of the solved Neumann BVP here. Instead, our solution of this BVP is motivated by the following two reasons: (a) As already mentioned, very few BVPs for rotating objects in general relativity have been solved constructively by analytic methods. Our solution enlarges the class of constructively solvable BVPs and expands the mathematical toolbox used to solve such problems. (b) An outstanding problem in the context of rotating objects in Einstein’s theory consists of finding solutions which describe disk/black hole systems (Meinel et al. 2008; Klein and Richter 2005). The solutions derived in Lenells (2011) are of this type. However, the disks in these solutions reach all the way to the event horizon. Physically, there should be a gap between the horizon and the inner rim of the disk (so that the disk actually is a ring). Such a ring/black hole problem can be formulated as a BVP for the Ernst equation with a mixed Neumann/Dirichlet condition imposed along the gap. Thus, we expect the solution of a pure Neumann BVP (in addition to the already known solution of the analogous Dirichlet problem) to provide insight which is useful for analyzing ring/black hole BVPs.

1.1 Organization of the Paper

In Sect. 2, we introduce some notation and state the Neumann boundary value problem which is the focus of the paper. The main results are presented in Sect. 3. In Sect. 4, we illustrate our results with a numerical example. In Sect. 5, we begin the proofs by constructing an eigenfunction \(\Phi (z,k)\) of the Lax pair associated with the Ernst equation. We set up a RH problem for \(\Phi (z,k)\) with a jump matrix defined in terms of two spectral functions F(k) and G(k). Using the equatorial symmetry and the Neumann boundary condition, we formulate an auxiliary RH problem which is used to determine F(k) and G(k). This provides an effective solution of the problem in terms of the solution of a RH problem. However, as mentioned above, it is possible to obtain a more explicit solution. Thus, in Sect. 6, we combine the RH problem for \(\Phi \) and the auxiliary RH problem into a scalar RH problem, which can be solved for the Ernst potential f. In Sect. 7, we use tools from algebraic geometry to express f and two of the associated metric functions in terms of theta functions. In Sect. 8, we use a branch cut condensation argument to derive a formula for the last metric function. In Sect. 9, we study the behavior of the solution near the rotation axis and complete the proofs of the main results.

2 Preliminaries

2.1 The Ernst Equation

In canonical Weyl coordinates, the exterior gravitational field of a stationary, rotating, axisymmetric body is described by the line element (cf. Meinel et al. 2008)
$$\begin{aligned} \mathrm {d}s^{2}=e^{-2U}(e^{2\kappa }(\mathrm {d}\rho ^{2}+\mathrm {d}\zeta ^{2})+\rho ^{2}\mathrm {d}\varphi ^{2})-e^{2U}(\mathrm {d}t+a\mathrm {d}\varphi )^{2}, \end{aligned}$$
(2.1)
where \((\rho ,\zeta ,\varphi )\) can be thought of as cylindrical coordinates, t is a time variable, and the metric functions \(U, \kappa , a\) depend only on \(\rho \) and \(\zeta \). In these coordinates, the Einstein equations reduce to the system (subscripts denoting partial derivatives)
$$\begin{aligned}&U_{\rho \rho }+U_{\zeta \zeta }+\frac{1}{\rho }U_{\rho }=-\frac{e^{4U}}{2\rho ^{2}}(a_{\rho }^{2}+a_{\zeta }^{2}), \end{aligned}$$
(2.2)
$$\begin{aligned}&(\rho ^{-1}e^{4U}a_{\rho })_{\rho }+(\rho ^{-1}e^{4U}a_{\zeta })_{\zeta }=0 \end{aligned}$$
(2.3)
together with two equations for \(\kappa \). In order for metric (2.1) to be regular on the rotation axis, the metric functions a and \(\kappa \) should vanish on the rotation axis, i.e.,
$$\begin{aligned} a\rightarrow 0,\quad \kappa \rightarrow 0\quad \mathrm {as} \quad \rho \rightarrow 0. \end{aligned}$$
Assuming that line element (2.1) approaches the Minkowski metric at infinity (asymptotic flatness), we also have the conditions
$$\begin{aligned} U\rightarrow 0,\quad a\rightarrow 0,\quad \kappa \rightarrow 0 \quad \mathrm {as} \quad \rho ^{2}+\zeta ^{2}\rightarrow \infty . \end{aligned}$$
In view of (2.3), it is possible to find a function \(b(\rho ,\zeta )\) which satisfies
$$\begin{aligned} a_{\rho }=\rho e^{-4U}b_{\zeta },\quad a_{\zeta }=-\rho e^{-4U}b_{\rho }. \end{aligned}$$
(2.4)
The so-called Ernst potential \(f := e^{2U}+i b\) then satisfies the Ernst equation
$$\begin{aligned} \frac{f+{\bar{f}}}{2}\left( f_{\rho \rho }+f_{\zeta \zeta }+ \frac{1}{\rho }f_{\rho }\right) =f_{\rho }^{2}+f_{\zeta }^{2} \end{aligned}$$
(2.5)
where \({\bar{f}}\) denotes the complex conjugate of \(f \equiv f(\rho ,\zeta )\).
Besides the frame \((\rho ,\zeta , \varphi ,t)\), we will also use the co-rotating frame \((\rho ^{\prime },\zeta ^{\prime }, \varphi ^{\prime },t^{\prime })\) defined by
$$\begin{aligned} \rho ^{\prime }=\rho ,\quad \zeta ^{\prime }=\zeta ,\quad \varphi ^{\prime }=\varphi -\Omega t, \quad t^{\prime }=t, \end{aligned}$$
where \(\Omega \) denotes the constant angular velocity of the rotating body. The Ernst equation (2.5) and line element (2.1) both retain their form in the co-rotating frame. We use the subscript \(\Omega \) to denote a quantity in the co-rotating frame; in particular, we let \(f_{\Omega } = e^{2U_{\Omega }}+i b_{\Omega }\) denote the Ernst potential in co-rotating coordinates. The co-rotating metric functions \(U_{\Omega },\, a_{\Omega },\, \kappa _{\Omega }\) are related to \(U, \, a,\, \kappa \) by (see Meinel et al. 2008)
$$\begin{aligned} e^{2U_{\Omega }}= & {} e^{2U}((1+\Omega a)^{2}-\Omega ^{2}\rho ^{2}e^{-4U}), \end{aligned}$$
(2.6a)
$$\begin{aligned} (1-\Omega a_{\Omega })e^{2U_{\Omega }}= & {} (1+\Omega a)e^{2U}, \end{aligned}$$
(2.6b)
$$\begin{aligned} \kappa _{\Omega }-U_{\Omega }= & {} \kappa -U. \end{aligned}$$
(2.6c)
We will use the isomorphism \((\rho ,\zeta )\mapsto z := \rho +i \zeta \) to identify \({\mathbb {R}}^{2}\) and \(\mathbb {C}\); in particular, we will often write \(f(z) = f(\rho + i\zeta )\) instead of \(f(\rho ,\zeta )\). In terms of z, we have
$$\begin{aligned} a_{z} =i \rho e^{-4U} b_{z} \quad \text {and} \quad \kappa _{z} =\frac{1}{2}\rho e^{-4U}f_{z}{\bar{f}}_{z}. \end{aligned}$$
(2.7)

2.2 The Boundary Value Problem

Let \({\mathcal {D}}\) denote the domain exterior to a finite disk of radius \(\rho _0 > 0\), that is (see Fig. 1),
$$\begin{aligned} {\mathcal {D}}:=\{(\rho ,\zeta )\in {\mathbb {R}}^{2}\,|\, \rho >0\}{\setminus } \{(\rho ,0)\in {\mathbb {R}}^{2}\,|\, 0<\rho \le \rho _{0}\}. \end{aligned}$$
In this paper, we consider the following Neumann BVP:
$$\begin{aligned} {\left\{ \begin{array}{ll} f(\rho , \zeta ) \text { satisfies the Ernst equation}~(2.5) \text { in } {\mathcal {D}}, \\ f(\rho ,\zeta )=\overline{f(\rho ,-\zeta )} \text { for } (\rho , \zeta ) \in {\mathcal {D}} \text { (equatorial symmetry),} \\ f(\rho ,\zeta )\rightarrow 1 \hbox { as }\rho ^2 + \zeta ^2 \rightarrow \infty \text { (asymptotic flatness),} \\ \frac{\partial f}{\partial \rho }(0, \zeta )=0 \hbox { for } \zeta \ne 0 \text { (regularity on the rotation axis),} \\ \frac{\partial f_{\Omega }}{\partial \zeta }(\rho ,\pm 0)=0 \text { for } 0<\rho <\rho _{0} \text { (Neumann boundary condition on the disk),} \end{array}\right. } \end{aligned}$$
(2.8)
where \(\rho _0 > 0\) and \(\Omega > 0\) are two parameters such that \(2\Omega \rho _0 < 1\).

2.3 The Riemann Surface \(\Sigma _z\)

We will present the solution of the BVP (2.8) in terms of theta functions associated with a family of Riemann surfaces \(\Sigma _z\) parameterized by \(z = \rho + i\zeta \in {\mathcal {D}}\). Before stating the main results, we need to define this family of Riemann surfaces. In view of the equatorial symmetry, it suffices to determine the solution f(z) of (2.8) for \(z=\rho +i \zeta \) with \(\zeta >0\). We therefore assume that \(\zeta > 0\) in the following.

Suppose \(\rho _0 > 0\) and \(\Omega > 0\) satisfy \(2\Omega \rho _0 < 1\). Set \(w(k) := -2ik\Omega \), and let
$$\begin{aligned} k_1=-\frac{i}{2\Omega }, \qquad {\bar{k}}_1=\frac{i}{2\Omega } \end{aligned}$$
denote the two zeros of \(w^2-1=0\). For each \(z\in \mathbb {C}\), we define \(\Sigma _{z}\) as the Riemann surface which consists of all points \((k,y)\in \mathbb {C}^{2}\) such that
$$\begin{aligned} y^{2} = (k-k_{1})(k-{\bar{k}}_1)(k+i z)(k-i{\bar{z}}) \end{aligned}$$
(2.9)
together with two points at infinity which make the surface compact. We view \(\Sigma _{z}\) as a two-sheeted cover of the complex k-plane by introducing two branch cuts. The first branch cut runs from \(k_1\) to \({\bar{k}}_1\), and we choose this to be the path \(C_{k_1}\) defined by
$$\begin{aligned} C_{k_{1}} = [k_1, k_1-1, {\bar{k}}_1-1,{\bar{k}}_1] \end{aligned}$$
(2.10)
where \([k_1, k_1-1, {\bar{k}}_1-1,{\bar{k}}_1]\) denotes the contour which consists of the straight-line segment from \(k_1\) to \(k_1-1\) followed by the straight-line segment from \(k_1-1\) to \({\bar{k}}_1-1\) and so on. The second branch cut runs from \(-i z\) to \(i{\bar{z}}\), and we choose this to be the vertical segment \([-i z, i{\bar{z}}]\). Definition (2.10) of \(C_{k_1}\) is chosen so that \(C_{k_1}\) passes to the left of the vertical contour \(\Gamma \subset \mathbb {C}\) defined by
$$\begin{aligned} \Gamma = [-i \rho _0, i \rho _0]. \end{aligned}$$
Fig. 2

The contour \(\Gamma \) and the branch cuts \(C_{k_1}\) and \([-i z,i{\bar{z}}]\) in the complex k-plane

The cut \(C_{k_{1}}\) does not intersect \(\Gamma \) at the endpoints, because the assumption \(2\Omega \rho _0 < 1\) implies that \(\rho _0 < |k_1|\). Thus, for each \(z \in {\mathcal {D}}\), the branch cuts and the contour \(\Gamma \) are organized as in Fig. 2 with \(C_{k_{1}}\) and \([-i z, i{\bar{z}}]\) to the left and right of \(\Gamma \), respectively.

We denote by \(\Sigma _z^+\) and \(\Sigma _z^-\) the upper and lower sheets of \(\Sigma _z\), respectively, where the upper (lower) sheet is characterized by \(y \sim k^2\) (\(y \sim -k^2\)) as \(k \rightarrow \infty \). Let \({\hat{\mathbb {C}}} = \mathbb {C}\cup \infty \) denote the Riemann sphere. For \(k\in {\hat{\mathbb {C}}} {\setminus } (C_{k_1} \cup [-i z, i{\bar{z}}])\), we write \(k^{+}\) and \(k^{-}\) for the points in \(\Sigma _{z}^{+}\) and \(\Sigma _{z}^{-}\), respectively, which project onto \(k\in \mathbb {C}\). More generally, we let \(A^{+}\) and \(A^{-}\) denote the lifts of a subset \(A \subset {\hat{\mathbb {C}}} {\setminus } (C_{k_1} \cup [-i z, i{\bar{z}}])\) to \(\Sigma _{z}^+\) and \(\Sigma _{z}^-\), respectively.

We let \(\{a,b\}\) denote the basis for the first homology group \(H_{1}(\Sigma _{z},{\mathbb {Z}})\) of \(\Sigma _{z}\) shown in Fig. 3, so that a surrounds the cut \(C_{k_1}\) while b enters the upper sheet on the right side of the cut \([-i z,i {\bar{z}} ]\) and exits again on the right side of \(C_{k_1}\). It is convenient to fix the curves a and b within their respective homology class so that they are invariant under the involution \(k^\pm \rightarrow k^\mp \). Thus, we let \(b = [i{\bar{z}}, k]^+ \cup [k, i{\bar{z}}]^-\) and let a be the path in the homology class specified by Fig. 3 which as a point set consists of the points of \(\Sigma _z\) which project onto \(C_{k_1}\). Unless stated otherwise, all contours of integrals on \(\Sigma _z\) for which only the endpoints are specified will be supposed to lie within the fundamental polygon obtained by cutting the surface along the curves \(\{a,b\}\).
Fig. 3

Two illustrations of the homology basis \(\{a,b\}\) on the genus one Riemann surface \(\Sigma _z\)

We let \(\omega \) denote the unique holomorphic one-form on \(\Sigma _{z}\) such that \(\int _{a}\omega =1\). Then the period \(B := \int _{b}\omega \in \mathbb {C}\) has strictly positive imaginary part and we may define the Riemann–Siegel theta function \(\Theta (v) \equiv \Theta (v|B)\) by
$$\begin{aligned} \Theta (v|B)=\sum _{N\in {\mathbb {Z}}}\exp \left[ 2\pi i\left( \frac{1}{2}N^2B+Nv\right) \right] , \quad v\in \mathbb {C}. \end{aligned}$$
(2.11)
Note that
$$\begin{aligned} \omega =A\frac{\mathrm {d}k}{y} \quad \text {and} \quad B=AZ, \end{aligned}$$
(2.12)
where \(A,Z\in \mathbb {C}\) are given by
$$\begin{aligned} A^{-1}=\int _{a}\frac{\mathrm {d}k}{y},\quad Z=\int _{b} \frac{\mathrm {d}k}{y}. \end{aligned}$$
(2.13)
We let \(\omega _{PQ}\) denote the abelian differential of the third kind on \(\Sigma _{z}\), which has simple poles at the two points \(P, Q \in \Sigma _z\) with residues \(+1\) and \(-1\), respectively, and whose a-period vanishes. For \(k \in \Sigma _z\), we have
$$\begin{aligned}&\omega _{\zeta ^{+}\zeta ^{-}}(k)=\frac{y(\zeta ^{+}) \mathrm{d}k}{(k-\zeta )y(k)}-\left( \int _{a}\frac{y(\zeta ^{+})\mathrm{d}k^\prime }{(k^\prime -\zeta )y(k^\prime )}\right) \omega , \nonumber \\&\omega _{\infty ^{+}\infty ^{-}}(k)=-\frac{k \mathrm{d}k}{y(k)}+\left( \int _{a}\frac{k^\prime \mathrm{d}k^\prime }{y(k^\prime )}\right) \omega . \end{aligned}$$
(2.14)

2.4 The Riemann Surface \(\Sigma '\)

As z approaches the rotation axis, \(\Sigma _z\) degenerates to the z-independent Riemann surface \(\Sigma ^{\prime }\) of genus zero defined by the equation
$$\begin{aligned} \mu = \sqrt{(k-k_1)(k- {\bar{k}}_1)}. \end{aligned}$$
(2.15)
We use the branch cut \(C_{k_1}\) in (2.10) to view \(\Sigma ^{\prime }\) as a two-sheeted cover of the complex k-plane. We denote the upper and lower sheets of \(\Sigma ^\prime \) by \(\Sigma ^{\prime +}\) and \(\Sigma ^{\prime -}\), respectively, characterized by \(y \sim k\) and \(y \sim -k\) as \(k \rightarrow \infty \). Letting \(\omega ^{\prime }_{PQ}\) denote the abelian differential of the third kind on \(\Sigma ^\prime \) with simple poles at P and Q, we have the following analog of (2.14):
$$\begin{aligned} \omega ^{\prime }_{\zeta ^{+}\zeta ^{-}}=\frac{\mu (\zeta ^{+}) \mathrm{d}k}{(k-\zeta )\mu (k)}, \quad \omega ^{\prime }_{\infty ^{+}\infty ^{-}}=-\frac{\mathrm{d}k}{\mu (k)}. \end{aligned}$$
(2.16)

3 Main Results

Define the function h(k) by
$$\begin{aligned} h(k) = -\frac{\text {arcsin}(2 i \Omega k)}{\pi }, \end{aligned}$$
(3.1)
and note that h(k) is smooth and real-valued for \(k \in \Gamma \). We also define \(u \equiv u(z) \in \mathbb {C}\) and \( I \equiv I(z) \in {\mathbb {R}}\) by
$$\begin{aligned} u=\int _{\Gamma ^+}h\omega , \quad I=\int _{\Gamma ^+}h\omega _{\infty ^{+}\infty ^{-}}, \end{aligned}$$
(3.2)
where \(\omega \) and \(\omega _{\infty ^+\infty ^-}\) are the differentials on \(\Sigma _z\) defined in Sect. 2, and we view h as a function on \(\Gamma ^+\) in the natural way, i.e., by composing it with the projection \(\Sigma _z \rightarrow \mathbb {C}\).

The next theorem, which is our main result, gives an explicit expression for the solution of the boundary value problem (2.8) and the associated metric functions in terms of the theta function \(\Theta \) associated with the Riemann surface \(\Sigma _z\).

Theorem 3.1

(Solution of the Neumann BVP) Suppose \(\Omega >0\) and \(\rho _0>0\) are such that \(2\Omega \rho _0 < 1\). Let \(z = \rho + i\zeta \) with \(\zeta >0\). Then the solution \(f(z) \equiv f(\rho , \zeta )\) of the BVP (2.8) is given by
$$\begin{aligned} f(z)=\frac{\Theta (u-\int _{-i z}^{\infty ^{-}}\omega |B)}{\Theta (u+\int _{-i z}^{\infty ^{-}}\omega |B)}e^{I}, \end{aligned}$$
(3.3)
where u and I are defined in (3.2). Moreover, the associated metric functions \(e^{2U}\) and a are given by
$$\begin{aligned} e^{2U(z)}=\frac{Q(0)}{Q(u)}e^{I},\quad a(z)=a_{0}-\frac{\rho }{Q(0)}\left( \frac{\Theta \left( u+\int _{-i z}^{\infty ^{-}}\omega +\int _{i{\bar{z}}}^{\infty ^{-}}\omega | B\right) }{Q(0)\Theta \left( u+\int _{-i z}^{i{\bar{z}}}\omega | B\right) }-Q(u)\right) e^{-I},\nonumber \\ \end{aligned}$$
(3.4)
where \(a_0= -\frac{1}{2\Omega }\) and Q(v) is defined by
$$\begin{aligned} Q(v) = \frac{\Theta \left( v+\int ^{\infty ^{-}}_{-i z}\omega |B\right) \Theta \left( v+\int ^{\infty ^{-}}_{i {\bar{z}}}\omega |B\right) }{\Theta \left( v|B\right) \Theta \left( v+\int _{-i z}^{i{\bar{z}}}\omega |B\right) }, \quad v\in \mathbb {C}. \end{aligned}$$
(3.5)
Finally, the metric function \(e^{2\kappa }\) is given by
$$\begin{aligned} e^{2\kappa (z)}=K_0\frac{\Theta \left( u|B\right) \Theta \left( u+\int ^{i {\bar{z}}}_{-i z}\omega |B\right) }{\Theta \left( 0|B\right) \Theta \left( \int ^{i {\bar{z}}}_{-i z}\omega |B\right) }e^{L^{\mathrm{reg}}}, \end{aligned}$$
(3.6)
where \(K_0\) and \(L^\mathrm{reg}\) are given by
$$\begin{aligned} K_0= & {} \; \exp \left( -\frac{1}{2}\int _{\Gamma } \mathrm {d}\kappa _1 h(\kappa _1)\int _{\Gamma }'h(\kappa _2)\left( \frac{\partial \omega ^{ \prime }_{\kappa ^{+}_{1}\kappa ^{-}_{1}}}{\partial \kappa _1}( \kappa _2^{+})-\frac{\mathrm {d}\kappa _2}{(\kappa _2-\kappa _1)^2} \right) \right) , \end{aligned}$$
(3.7)
$$\begin{aligned} L^\mathrm{reg}= & {} \; \frac{1}{2} \bigg \{\int _{\Gamma } \mathrm{d}\kappa _1 h(\kappa _1) \int _{\Gamma }' h(\kappa _2) \bigg (\frac{\frac{\mathrm {d}y}{\mathrm {d}k}(\kappa _1^+)(\kappa _2-\kappa _1) + y(\kappa _1^+)-y(\kappa _2^+)}{(\kappa _2-\kappa _1)^2y(\kappa _2^+)} \bigg )\mathrm{d}\kappa _2 \nonumber \\&- \bigg (\int _{\Gamma }^{\prime } \mathrm{d}\kappa _1 h(\kappa _1) \int _{a} \frac{\frac{\mathrm {d}y}{\mathrm {d}k}(\kappa _1^+)(\kappa -\kappa _1) + y(\kappa _1^+)}{(\kappa -\kappa _1)^2 y(\kappa )}\mathrm{d}\kappa \bigg ) \bigg (\int _{\Gamma } h(\kappa _2) \omega (\kappa _2^+)\bigg ) \bigg \},\nonumber \\ \end{aligned}$$
(3.8)
and a prime on an integral along \(\Gamma \) means that the integration contour should be slightly deformed before evaluation so that the singularity at \(\kappa _1=\kappa _2\) is avoided.1

Remark 3.2

(Solution for \(\zeta \le 0\)) Theorem 3.1 provides expressions for the Ernst potential and the metric functions for \(\zeta > 0\). If \(\rho > \rho _0\), these expressions extend continuously to \(\zeta = 0\). For negative \(\zeta \), analogous expressions follow immediately from the equatorial symmetry. In this way, the solution of BVP (2.8) is obtained in all of the exterior disk domain \({\mathcal {D}}\).

Remark 3.3

(The assumption \(2\Omega \rho _0 < 1\)) We have stated Theorem 3.1 under the assumption that \(2\Omega \rho _0 < 1\). If the rotation speed \(\Omega \) and/or the radius \(\rho _0\) are so large that \(2\Omega \rho _0 \ge 1\), then the branch points \(k_1\) and \({\bar{k}}_1\) lie on \(\Gamma \). Nevertheless, the formulas of Theorem 3.1 can easily be adjusted to include these (possibly singular) solutions.

Remark 3.4

(Solution in terms of elliptic theta functions) The Ernst potential f(z) given in (3.3) can be alternatively expressed in terms of the elliptic theta function \(\theta _3\) by
$$\begin{aligned} f(z)=\frac{\theta _{3}\big (\frac{\pi (-\int _{-i z}^{\infty ^{-}}\omega +u)}{B};e^{- \frac{\pi i}{B}}\big )}{\theta _{3}\big (\frac{\pi (\int _{-i z}^{\infty ^{-}}\omega +u)}{B};e^{- \frac{\pi i}{B}}\big )}\exp \bigg ( I+\frac{4\pi i \int _{-i z}^{\infty ^{-}}\omega }{B}\bigg ). \end{aligned}$$
(3.9)
The metric functions \(e^{2U}\), a and \(\kappa \) can also be expressed in terms of elliptic theta functions in a similar way.

Remark 3.5

(Behavior at the rim of the disk) The Ernst potential f and the metric functions \(e^{2U}\), a and \(e^{2\kappa }\) given in Theorem 3.1 are smooth functions of \((\rho , \zeta )\) in the open domain \({\mathcal {D}}\). They are bounded on \({\mathcal {D}}\) and extend smoothly to the interior \(\{(\rho , 0) \, | \, 0< \rho < \rho _0\}\) of the disk from both above and below. Moreover, they extend continuously to the rim of the disk (i.e., to the point \((\rho , \zeta ) = (\rho _0, 0)\)), but they do not, in general, have \(C^1\) extensions to this point (cf. Figs. 4, 5, 6). In fact, an analysis shows that the boundary values of \(e^{2U}\) and of its partial derivatives \(\partial _\rho e^{2U}\) and \(\partial _\zeta e^{2U}\) on the upper or lower sides of the disk extend continuously to the rim of the disk. However, if \(\zeta =0\) and \(\rho \downarrow \rho _0\), then we only have
$$\begin{aligned} \frac{\partial e^{2U}}{\partial \rho }(\rho , 0) = O\bigg (\frac{1}{\sqrt{\rho -\rho _0}}\bigg ),\qquad \frac{\partial e^{2U}}{\partial \zeta }(\rho , 0) = O\bigg (\frac{1}{\sqrt{\rho -\rho _0}}\bigg ). \end{aligned}$$
Similarly, it can be shown that a(z) and \(e^{2\kappa }\) are continuous but not \(C^1\) at \((\rho _0, 0)\), and that the partial derivatives \(\partial _\rho a(z)\), \(\partial _\zeta a(z)\), \(\partial _\rho e^{2\kappa }(z)\) and \(\partial _\zeta e^{2\kappa }(z)\) are \(O(|z-\rho _0|^{-1/2})\) as \(z\rightarrow \rho _0\).

3.1 Solution Near the Rotation Axis

As z approaches the rotation axis (i.e., as \(\rho \rightarrow 0\)), the Riemann surface \(\Sigma _z\) degenerates to the genus zero surface \(\Sigma '\). We define the quantities \(J^{\prime } \equiv J'(\zeta ) \in {\mathbb {R}}\) and \(d \equiv d(\zeta ) \in i{\mathbb {R}}_-\) for \(\zeta > 0\) by
$$\begin{aligned} J' = \mu (\zeta ^+) \int _{\Gamma } \frac{h(k)}{\mu (k^+)} \frac{\mathrm{d}k}{k - \zeta }, \quad d = 2i \Omega (\zeta - \mu (\zeta ^+)). \end{aligned}$$
(3.10)
where, by (2.15),
$$\begin{aligned} \mu (\zeta ^+) = \sqrt{\zeta ^2 + \frac{1}{4\Omega ^2}}> 0, \quad \zeta > 0, \end{aligned}$$
and
$$\begin{aligned} \mu (k^+) = \sqrt{-|k|^2 + \frac{1}{4\Omega ^2}} > 0, \quad k \in \Gamma . \end{aligned}$$
The following result gives the asymptotic behavior of f and the metric functions near the rotation axis.

Theorem 3.6

(Solution near the rotation axis) Let \(\zeta > 0\). Under the assumptions of Theorem 3.1, the following asymptotic formulas hold as \(\rho \downarrow 0\):
  • The Ernst potential f(z) satisfies
    $$\begin{aligned} f(\rho +i\zeta )=f(i \zeta )+O(\rho ^{2}), \end{aligned}$$
    (3.11)
    where
    $$\begin{aligned} f(i \zeta )=\frac{1 + e^{J^{\prime }}d}{e^{J^{\prime }} + d}. \end{aligned}$$
    (3.12)
  • The metric functions \(e^{2U}\), a and \(e^{2\kappa }\) satisfy
    $$\begin{aligned} e^{2U(\rho +i \zeta )}=e^{2U(i \zeta )}+O(\rho ^{2}),\quad a(\rho +i \zeta )=O(\rho ^{2}),\quad e^{2\kappa (\rho +i \zeta )}=1+O(\rho ^{2}),\nonumber \\ \end{aligned}$$
    (3.13)
    where
    $$\begin{aligned} e^{2U(i \zeta )}=\frac{(1-d^2)e^{J'}}{e^{2J^{\prime }} - d^2}. \end{aligned}$$
    (3.14)

Remark 3.7

(Neumann condition at \(\rho =0\)) Using the results of Theorem 3.6, we can easily verify explicitly that the Ernst potential of Theorem 3.1 satisfies \(\mathrm {Re\,}\partial _\zeta f_\Omega (+i0) = 0\), that is, that the real part of the Neumann boundary condition in (2.8) holds at the center of the disk. Indeed, by (3.12), we have
$$\begin{aligned} \frac{\partial }{\partial \zeta }\bigg |_{\zeta = 0^+} f(i\zeta ) = \frac{\partial }{\partial \zeta }\bigg |_{\zeta = 0^+}\frac{1 + e^{J^{\prime }}d}{e^{J^{\prime }} + d}. \end{aligned}$$
(3.15)
Furthermore, it follows from (3.10) that
$$\begin{aligned} \lim _{\zeta \downarrow 0} d = -i, \quad \lim _{\zeta \downarrow 0} \partial _\zeta d = 2i\Omega , \end{aligned}$$
(3.16)
and
$$\begin{aligned} \frac{\partial J'}{\partial \zeta }\bigg |_{\zeta = 0^+}&= \lim _{\zeta \downarrow 0} \int _\Gamma \frac{h(k)}{\mu (k^+)} \frac{\partial }{\partial \zeta } \frac{\sqrt{\zeta ^2 + \frac{1}{4\Omega ^2}}}{k-\zeta } \mathrm{d}k = \lim _{\zeta \downarrow 0} \int _\Gamma \frac{h(k)}{\mu (k^+)}\frac{(1 + 4k \zeta \Omega ^2)\mathrm{d}k}{4\Omega ^2 (k-\zeta )^2 \sqrt{\zeta ^2 + \frac{1}{4\Omega ^2}}}. \end{aligned}$$
The Sokhotski–Plemelj formula giveswhere the contribution from the principal value integral vanishes because the function h(k) is odd. Using (3.16) and (3.17) to compute the right-hand side of (3.15), we find
$$\begin{aligned} \partial _\zeta f(+i0) = 2i\Omega . \end{aligned}$$
(3.18)
On the other hand, by (2.6a) and (3.13), we have \(\mathrm {Re\,}f_\Omega (i\zeta ) = \mathrm {Re\,}f(i\zeta )\) for \(\zeta > 0\). Hence, \(\mathrm {Re\,}\partial _\zeta f_\Omega (+i0) = \mathrm {Re\,}\partial _\zeta f(+i0) = \mathrm {Re\,}(2i\Omega ) = 0\), which shows that the Neumann boundary condition indeed holds for the real part of \(f_\Omega \) at \(\rho =0\).
Fig. 4

The real and the imaginary parts of the Ernst potential f

4 Numerical Example

The formulas of Theorem 3.1 are convenient for numerical computation. Consider for example the following particular choice of the parameters \(\rho _0\) and \(\Omega \):
$$\begin{aligned} \rho _0=1, \qquad \Omega =\frac{3}{10}. \end{aligned}$$
Then \(k_{1}= -5i/3\) and the graphs of the Ernst potential and the metric functions given in Theorem 3.1 are displayed in Figures 4, 5 and 6. It can be numerically verified to high accuracy that \(f_{\Omega }\) satisfies the Neumann condition along the disk, that f satisfies the Ernst equation (2.5), and that the defining relations (2.7) between the metric functions \(a, \kappa \), and the Ernst potential f are valid. Similar graphs and numerical results are obtained also for other choices of the parameters \(\rho _0\) and \(\Omega \) with \(2\Omega \rho _0 < 1\).
Fig. 5

The real and imaginary parts of the Ernst potential \(f(\rho + i0)\) on the equatorial plane \(\zeta = +0\)

Fig. 6

The metric functions \(ae^{2U}\) and \(e^{2\kappa }\)

5 Lax Pair and Spectral Theory

5.1 Lax Pair

The stationary Ernst equation (2.5) admits the Lax pair
$$\begin{aligned} \begin{aligned} \Phi _{z}(z,k)&=U(z,k)\Phi (z,k),\\ \Phi _{{\bar{z}}}(z,k)&=V(z,k)\Phi (z,k), \end{aligned} \end{aligned}$$
(5.1)
where \(z=\rho +i \zeta \), \(\Phi (z,k)\) denotes the \(2\times 2\) matrix-valued eigenfunction, and U, V are defined by
$$\begin{aligned} U = \frac{1}{f+{\bar{f}}}\begin{pmatrix} {\bar{f}}_{z} &{}\quad \lambda {\bar{f}}_{z} \\ \lambda f_{z} &{}\quad f_{z} \\ \end{pmatrix}, \quad \quad V = \frac{1}{f+{\bar{f}}}\begin{pmatrix} {\bar{f}}_{{\bar{z}}}&{}\quad \frac{1}{\lambda }{\bar{f}}_{{\bar{z}}} \\ \frac{1}{\lambda }f_{{\bar{z}}}&{}\quad f_{{\bar{z}}} \\ \end{pmatrix}, \end{aligned}$$
(5.2)
with
$$\begin{aligned} \lambda = \sqrt{\frac{k-i {\bar{z}}}{k+i z}}. \end{aligned}$$
(5.3)
For each z, \(\Phi (z,\cdot )\) defines a map from \({\mathscr {S}}_{z}\) to the space of \(2\times 2\) matrices, where \({\mathscr {S}}_{z}\) denotes the genus zero Riemann surface defined by (5.3). We view \({\mathscr {S}}_{z}\) as a two-sheeted covering of the complex k-plane by introducing the branch cut \([-i z, i {\bar{z}}]\) from \(-i z\) to \(i {\bar{z}}\). The upper (lower) sheet of \({\mathscr {S}}_{z}\) is characterized by \(\lambda \rightarrow 1\) (\(\lambda \rightarrow -1\)) as \(k\rightarrow \infty \). As in the case of \(\Sigma _z\) and \(\Sigma '\), we write \(k^+\) and \(k^-\) for the points in \({\mathscr {S}}_{z}\) which project onto \(k\in {\hat{\mathbb {C}}} {\setminus } [-i z, i {\bar{z}}]\) and which lie on the upper and lower sheets of \({\mathscr {S}}_{z}\), respectively. We let \(\Gamma ^+\) and \(\Gamma ^-\) denote the coverings of \(\Gamma \) on the upper and lower sheets of \({\mathscr {S}}_{z}\), respectively. For a \(2\times 2\)-matrix M, we denote the first and second columns of M by \([M]_{1}\) and \([M]_{2}\), respectively.
Equation (5.1) can be rewritten in differential form as
$$\begin{aligned} \mathrm {d}\Phi =W\Phi , \end{aligned}$$
(5.4)
where the one-form W is defined by
$$\begin{aligned} \begin{aligned} W&=\frac{1}{f+{\bar{f}}}\begin{pmatrix} {\bar{f}}_{\rho } &{} \frac{1}{2}\left[ \left( \frac{1}{\lambda }+\lambda \right) {\bar{f}}_{\rho }+i\left( \frac{1}{\lambda }-\lambda \right) {\bar{f}}_{\zeta }\right] \\ \frac{1}{2}\left[ \left( \frac{1}{\lambda }+\lambda \right) f_{\rho }+i\left( \frac{1}{\lambda }-\lambda \right) f_{\zeta }\right] &{} f_{\rho } \\ \end{pmatrix}\mathrm {d}\rho \\&\quad +\frac{1}{f+{\bar{f}}}\begin{pmatrix} {\bar{f}}_{\zeta } &{} \frac{1}{2}\left[ \left( \frac{1}{\lambda }+\lambda \right) {\bar{f}}_{\zeta }-i\left( \frac{1}{\lambda }-\lambda \right) {\bar{f}}_{\rho }\right] \\ \frac{1}{2}\left[ \left( \frac{1}{\lambda }+\lambda \right) f_{\zeta }-i\left( \frac{1}{\lambda }-\lambda \right) f_{\rho }\right] &{} f_{\zeta } \\ \end{pmatrix}\mathrm {d}\zeta \\&=:W_1 \mathrm {d}\rho + W_2\mathrm {d}\zeta . \end{aligned}\nonumber \\ \end{aligned}$$
(5.5)
We normalize the eigenfunction \(\Phi \) by imposing the conditions
$$\begin{aligned} \lim _{z\rightarrow i \infty }\left[ \Phi (z,k^{-})\right] _{1}= \begin{pmatrix} 1 \\ 1 \end{pmatrix},\quad \lim _{z\rightarrow i \infty }\left[ \Phi (z,k^{+})\right] _{2} = \begin{pmatrix} 1 \\ -1 \end{pmatrix} \end{aligned}$$
(5.6)
for all \(k\in {\hat{\mathbb {C}}}\). As a consequence, \(\Phi (z,k)\) admits the symmetries
$$\begin{aligned} \Phi (z,k^{+})=\sigma _{3}\Phi (z,k^{-})\sigma _{1},\quad \Phi (z,k^{+})=\sigma _{1}\overline{\Phi (z,{\overline{k}}^{+})}\sigma _{3}, \end{aligned}$$
(5.7)
where \(\{\sigma _j\}_1^3\) are the standard Pauli matrices.
We henceforth suppose that f(z) is a solution of BVP (2.8). Physically, the possibly empty set of points where \(\mathrm {Re\,}f = 0\) constitutes the ergospheres of the spacetime. The matrices U and V in the Lax pair (5.1) are, in general, singular at these points, and this may give rise to singularities of \(\Phi \). On the other hand, points where \(\det \Phi = 0\) are related to the presence of solitons (cf. Neugebauer 1996). It is natural to expect the solution of boundary value problem (2.8) to be free of ergospheres and solitons (at least for small values of \(\Omega \)). We will therefore henceforth make the assumption that
$$\begin{aligned} \mathrm {Re\,}f > 0 \quad \text {and} \quad \det \Phi \ne 0 \end{aligned}$$
(5.8)
throughout the spacetime. The consistency of this assumption can be ascertained once the final solution has been constructed. By integrating both sides of (5.4) from \(i \infty \) to z and using (5.8), it can be confirmed that \(\Phi (z,k)\) is a well-defined analytic function of \(k\in {\mathscr {S}}_{z} {\setminus } (\Gamma ^+\cup \Gamma ^-)\) for any fixed z, see Lenells and Fokas (2011).
Let \(\Phi _{\Omega }\) denote the co-rotating counterpart of \(\Phi \). The Lax pair equations (5.1) and conditions (5.6) retain their form in the co-rotating frame with f and \(\Phi \) replaced by \(f_{\Omega }\) and \(\Phi _{\Omega }\). It is proved in Meinel et al. (2008) that \(\Phi _{\Omega }\) is related to \(\Phi \) by
$$\begin{aligned} \Phi _{\Omega }(z,k)=\Lambda (z,k) \Phi (z,k), \end{aligned}$$
where
$$\begin{aligned} \Lambda (z,k)=(1+\Omega a){\mathbb {I}}-\Omega \rho e^{-2U}\sigma _3+i (k+i z)\Omega e^{-2U}(-\sigma _3 +\lambda (z,k)\sigma _1\sigma _3),\quad k\in {\mathscr {S}}_{z}, \end{aligned}$$
and \({\mathbb {I}}\) denotes the \(2\times 2\) identity matrix.

5.2 The Main RH Problem

The following lemma can be found in Lenells and Fokas (2011).

Lemma 5.1

For \(k\in \mathbb {C}\), \(\Phi (i\zeta ,k)\) can be expressed in terms of \(f(i\zeta )\) and the spectral functions F(k) and G(k) as follows:
$$\begin{aligned} \Phi (i\zeta ,k^+)&=\begin{pmatrix} \overline{f(i\zeta )} &{}\quad 1 \\ f(i\zeta ) &{}\quad -1 \\ \end{pmatrix}{\mathcal {A}}(k),\quad \zeta>0, \\ \Phi (i\zeta ,k^-)&=\begin{pmatrix} 1 &{}\quad \overline{f(i\zeta )} \\ 1&{}\quad -f(i\zeta ) \\ \end{pmatrix}\sigma _1 {\mathcal {A}}(k)\sigma _1,\quad \zeta >0, \\ \Phi (i\zeta ,k^+)&=\begin{pmatrix} \overline{f(i\zeta )} &{}\quad 1 \\ f(i\zeta ) &{}\quad -1 \\ \end{pmatrix}\sigma _1 {\mathcal {A}}(k)\sigma _1,\quad \zeta<0, \\ \Phi (i\zeta ,k^-)&=\begin{pmatrix} 1 &{}\quad \overline{f(i\zeta )} \\ 1&{}\quad -f(i\zeta ) \\ \end{pmatrix}{\mathcal {A}}(k),\quad \zeta <0, \end{aligned}$$
where \({\mathcal {A}}(k)\) is defined by
$$\begin{aligned} {\mathcal {A}}(k) = \begin{pmatrix} F(k) &{}\quad 0 \\ G(k) &{}\quad 1 \\ \end{pmatrix} \end{aligned}$$
(5.9)
and the spectral functions F(k) and G(k) have the following properties:
  • F(k) and G(k) descend to functions on \({\hat{\mathbb {C}}}\); namely, when viewed as functions on \({\mathscr {S}}_{z}\), they satisfy
    $$\begin{aligned} F(k^+)=F(k^-),\quad G(k^+)=G(k^-), \quad k\in {\hat{\mathbb {C}}}. \end{aligned}$$
    (5.10)
  • F(k) and G(k) are analytic for \(k \in \hat{\mathbb {C}} \setminus \Gamma \).

  • \(F(k)=\overline{F(\overline{k})}\) and \(G(k)=-\overline{G(\overline{k})}\) for \(k\in \mathbb {C}\backslash \Gamma \).

  • As \(k\rightarrow \infty \),
    $$\begin{aligned} F(k)=1+O(k^{-1}),\quad G(k)=O(k^{-1}). \end{aligned}$$
    (5.11)
The jumps of the function \(\Phi (z,k)\) across \(\Gamma ^+\) and \(\Gamma ^-\) can be expressed in terms of F(k) and G(k). In fact, let \(g_+(k)\) and \(g_-(k)\) denote the boundary values of a function g(k) on the right and left sides of \(\Gamma \), respectively. Then \(\Phi (z,k)\) satisfies (see Lenells and Fokas 2011; Meinel et al. 2008)
$$\begin{aligned} {\left\{ \begin{array}{ll} \Phi _-(z,k)=\Phi _+(z,k)D(k), &{} k\in \Gamma ^{+}, \\ \Phi _-(z,k)=\Phi _+(z,k)\sigma _1 D(k)\sigma _1,&{} k\in \Gamma ^{-}, \end{array}\right. } \end{aligned}$$
(5.12)
where D is defined by
$$\begin{aligned} D(k) = \begin{pmatrix} F_+(k) &{}\quad 0 \\ G_+(k) &{}\quad 1 \\ \end{pmatrix}^{-1} \begin{pmatrix} F_-(k) &{}\quad 0 \\ G_-(k) &{}\quad 1 \\ \end{pmatrix}. \end{aligned}$$
(5.13)

5.3 The Global Relation

Since f is equatorially symmetric, the values of F(k) and G(k) on the left and right sides of \(\Gamma \) satisfy an important relation called the global relation.

Lemma 5.2

(Global relation) The spectral functions F(k) and G(k) satisfy
$$\begin{aligned} \overline{{\mathcal {A}}_{+}(k)}\sigma _1\overline{{\mathcal {A}}^{-1}_{+}(k)}\sigma _1=\sigma _1 {\mathcal {A}}_{-}(k)\sigma _1 {\mathcal {A}}_{-}^{-1}(k), \qquad k \in \Gamma , \end{aligned}$$
(5.14)
where \({\mathcal {A}}_{+}(k)\) and \({\mathcal {A}}_{-}(k)\) denote the values of \({\mathcal {A}}(k)\) on the right and left sides of \(\Gamma \), respectively.

Proof

See Lenells and Fokas (2011, Proposition 4.3). \(\square \)

5.4 An Additional Relation

The fact that \(f_\Omega \) obeys a Neumann condition along the disk implies that F(k) and G(k) satisfy an additional relation beyond the global relation.

We use the superscripts L and R on a function of k to indicate that this function should be evaluated with k lying on the left or right side of the branch cut \([-i z,i{\bar{z}}]\), respectively. If one of the superscripts L or R is present, we always assume that the evaluation point k lies to the right of \(\Gamma \). The latter specification is needed when \(z=\rho +i 0\) so that the branch cut \([-i z,i {\bar{z}}]\) runs infinitesimally close to \(\Gamma \).

Lemma 5.3

(An additional relation) The function \({\mathcal {A}}(k)\sigma _1 {\mathcal {A}}^{-1}(k)\) satisfies
$$\begin{aligned} \begin{aligned}&\big [{\mathcal {B}}^{-1}\Lambda ^{-1} (+i 0, k^{+})\sigma _1 \overline{\Lambda (+i 0, k^{+})}\overline{{\mathcal {B}}}\sigma _1\big ]\big [\sigma _1 \overline{{\mathcal {A}}_{+}(k)}\sigma _1\overline{{\mathcal {A}}^{-1}_{+}(k)}\sigma _1\big ] \\&\quad =-\big [{\mathcal {A}}_{+}(k)\sigma _1 {\mathcal {A}}_{+}^{-1}(k)\big ]\big [{\mathcal {B}}^{-1}\Lambda ^{-1}(+i 0, k^{+})\sigma _1 \overline{\Lambda (+i 0, k^{+})}\overline{{\mathcal {B}}}\sigma _1\big ],\quad k\in \Gamma ,\qquad \quad \end{aligned} \end{aligned}$$
(5.15)
where the matrix \({\mathcal {B}}\) is defined by
$$\begin{aligned} {\mathcal {B}} = \begin{pmatrix} \overline{f(+i 0)} &{}\quad 1 \\ f(+i 0) &{}\quad -1 \end{pmatrix}. \end{aligned}$$

Proof

We let \(W_{\Omega }=W_{1\Omega }\mathrm {d}\rho +W_{2\Omega }\mathrm {d}\zeta \) denote the co-rotating analog of the one-form W defined in (5.5). The restriction of \(W_{\Omega }\) to the upper side of the disk is given by \(W_{1\Omega }(\rho + i0, k)\mathrm {d}\rho \). Evaluating the identity
$$\begin{aligned} \lambda (z,k^{+})=\frac{1}{\lambda (z,(-k+2\zeta )^{+})} \end{aligned}$$
at \(z=\rho +i 0\), we find
$$\begin{aligned} \lambda ^{R}(\rho +i 0,k^{+})=\frac{1}{\lambda ^{L}(\rho +i 0,{\bar{k}}^{+})}, \qquad k \in \Gamma . \end{aligned}$$
(5.16)
Inserting the Neumann condition for \(f_\Omega \) into expression (5.5) for \(W_{1\Omega }\) and using (5.16) as well as the symmetry \(\lambda (z,k^\pm ) = 1/\overline{\lambda (z,{\bar{k}}^\pm )}\), we deduce that
$$\begin{aligned} W_{1\Omega }^R(\rho + i0, k^+) = \sigma _1 \overline{W_{1\Omega }^L(\rho + i0, k^+)} \sigma _1, \qquad \rho \in (0, \rho _0), \ k \in \Gamma . \end{aligned}$$
Thus, by (5.4), there exists a \(2\times 2\) matrix-valued, \(\rho \)-independent function \({\mathcal {K}}(k)\) such that
$$\begin{aligned} \overline{\Phi _{\Omega }^{L}(\rho +i 0, k^{+})}=\sigma _1\Phi _{\Omega }^{R}(\rho +i 0, k^{+}){\mathcal {K}}(k),\qquad k\in \Gamma . \end{aligned}$$
(5.17)
It follows from the first symmetry in (5.7) that \(\sigma _1 {\mathcal {K}} =-{\mathcal {K}}\sigma _1\) on \(\Gamma \) [cf. Lenells and Fokas (2011, Proposition 5.2)]. The lemma then follows by evaluating (5.17) at \(\rho =0\) and using Lemma 5.1. \(\square \)

5.5 The Auxiliary RH Problem

By combining global relation (5.14) with the relation of Lemma 5.3, we can formulate a RH problem for the \(2\times 2\) matrix-valued function \({\mathcal {M}}(k)\) by
$$\begin{aligned} {\mathcal {M}}(k) = {\mathcal {A}}(k)\sigma _1 {\mathcal {A}}^{-1}(k)=\begin{pmatrix} -G(k)&{}\quad F(k) \\ \frac{1-G^{2}(k)}{F(k)} &{}\quad G(k) \\ \end{pmatrix}. \end{aligned}$$
(5.18)

Lemma 5.4

Suppose f is a solution of BVP (2.8). Then the spectral functions F(k) and G(k) are given by
$$\begin{aligned} F(k)={\mathcal {M}}_{12}(k), \quad G(k)={\mathcal {M}}_{22}(k),\quad k\in \mathbb {C}, \end{aligned}$$
(5.19)
where \({\mathcal {M}}\) is the unique solution of the following RH problem:
  • \({\mathcal {M}}(k)\) is analytic for \(k \in \hat{\mathbb {C}} \setminus \Gamma \).

  • Across \(\Gamma \), \({\mathcal {M}}(k)\) satisfies the jump condition
    $$\begin{aligned} {\mathcal {S}}(k){\mathcal {M}}_-(k)=-{\mathcal {M}}_+(k){\mathcal {S}}(k), \quad k\in \Gamma , \end{aligned}$$
    (5.20)
    where \({\mathcal {S}}(k)\) is defined by
    $$\begin{aligned} {\mathcal {S}}(k) =\begin{pmatrix} 0&{}\quad 1 \\ -1 &{}\quad 4i k\Omega \\ \end{pmatrix}, \quad k\in \mathbb {C}. \end{aligned}$$
    (5.21)
  • \({\mathcal {M}}(k)\) has at most logarithmic singularities at the endpoints of \(\Gamma \).

  • \({\mathcal {M}}(k)\) has the asymptotic behavior
    $$\begin{aligned} {\mathcal {M}}(k)=\sigma _1+O(k^{-1}), \quad k\rightarrow \infty . \end{aligned}$$
    (5.22)
Moreover,
$$\begin{aligned} \mathrm {tr}\,{\mathcal {(MS)}=0},\quad k\in {\hat{\mathbb {C}}}. \end{aligned}$$
(5.23)

Proof

Since \(\det \Phi (z,k) = -2e^{2U(z)}F(k)\), see Meinel et al. (2008, Eq. 2.65), assumptions (5.8) imply that F(k) never vanishes. The analyticity of \({\mathcal {M}}(k)\) for \(k\in {\hat{\mathbb {C}}}\backslash \Gamma \) then follows from the analyticity of F(k) and G(k) (see Lemma 5.1). Combining the global relation (5.14) with relation (5.15), we find the jump relation (5.20) with \({\mathcal {S}}(k)\) given by
$$\begin{aligned} {\mathcal {S}}(k)={\mathcal {B}}^{-1}\Lambda ^{-1}(+i 0,k^+)\sigma _1\overline{\Lambda (+i 0,k^+)}\overline{{\mathcal {B}}}\sigma _1, \quad k\in \Gamma . \end{aligned}$$
(5.24)
By inserting the definitions of \({\mathcal {B}}\) and \(\Lambda \), we see that this expression simplifies to (5.21) when \(k\in \Gamma \). The asymptotic behavior of \({\mathcal {M}}\) in (5.22) is a consequence of the asymptotics of F and G in (5.11). Define \({\mathcal {R}}(\rho , k)\) by
$$\begin{aligned} {\mathcal {R}} = \Phi ^{-1}_{\Omega }(\rho +i 0, k^{+})\sigma _1 \Phi _{\Omega }(\rho -i 0, k^{+}). \end{aligned}$$
(5.25)
As in the proof of the existence of the matrix \({\mathcal {K}}(k)\) in (5.17), we deduce that \({\mathcal {R}} \) is independent of \(\rho \). Then (5.23) follows by evaluating \({\mathcal {R}}\) at \(\rho =\rho _{0}\) and \(\rho =0\). \(\square \)

5.6 Solution of the Auxiliary RH Problem

By solving the RH problem of Lemma 5.4, we can obtain explicit expressions for F(k) and G(k).

Let \(d_1(k)\) denote the unique meromorphic function on \(\Sigma '\) which is analytic except for a simple pole at \(\infty ^-\) with residue \(4\Omega i\) and a simple zero at \(\infty ^+\), i.e.,
$$\begin{aligned} d_1(k) = 2\Omega i(k - \mu (k)) \end{aligned}$$
where \(\mu (k) = \sqrt{k^2 + 1/(4\Omega ^2)}\) is the square root defined in (2.15). Define the scalar-valued function E(k) on \(\Sigma '\) by
$$\begin{aligned} E(k) = e^{\mu (k) \int _{\Gamma } \frac{h(s) }{\mu (s^+)} \frac{\mathrm{d}s}{s - k}}. \end{aligned}$$
(5.26)
Then E(k) is an analytic function of \(k \in \Sigma ' {\setminus } (\Gamma ^+ \cup \Gamma ^-)\) such that (i) \(d_1 E_- + d_1^{-1} E_+ = 0\) for \(k \in \Gamma ^+ \cup \Gamma ^-\), (ii) E(k) has logarithmic singularities at the endpoints of \(\Gamma ^+\) and \(\Gamma ^-\), (iii) \(E(k^{+}) = \overline{E({\bar{k}}^{+})}\), (iv) \(E(k^{+}) = E(k^-)^{-1}\), and (v) \(E(k^{+}) = 1 + O(k^{-1})\) as \(k \rightarrow \infty \), where we have used the symmetry \(h(k) = -h(-k)\) to see that \(E(\infty ^+) = 1\).

Lemma 5.5

The spectral functions F(k) and G(k) are given by
$$\begin{aligned} {\left\{ \begin{array}{ll} F(k) = \frac{i}{4\Omega \mu (k^+)}\Big (\frac{d_1(k^+)}{E(k^+)} - \frac{E(k^+)}{d_1(k^+)}\Big ),\\ G(k)= \frac{i}{4\Omega \mu (k^+)}\Big ( \frac{1}{E(k^+)}- E(k^+)\Big ), \end{array}\right. } \quad k \in \mathbb {C}{\setminus } \Gamma . \end{aligned}$$
(5.27)

Proof

The matrix \({\mathcal {S}}\) in (5.20) can be diagonalized as \({\mathcal {S}}(k) = T(k) {\mathcal {D}}(k) T(k)^{-1}\), where
$$\begin{aligned}&{\mathcal {D}}(k) = \begin{pmatrix} d_1(k) &{}\quad 0 \\ 0 &{}\quad d_2(k) \end{pmatrix}, \qquad T(k) = \begin{pmatrix} d_2(k) &{}\quad d_1(k) \\ 1 &{}\quad 1 \end{pmatrix}, \end{aligned}$$
and \(d_2(k) := d_1(k)^{-1} = 2\Omega i(k + \mu (k))\). We view \({\mathcal {D}}(k)\) and \({\mathcal {T}}(k)\) as functions on the Riemann surface \(\Sigma ^\prime \) and note that \(|d_1| = 1\) on \(\Gamma ^\pm \). The inverse
$$\begin{aligned} T(k)^{-1} = \frac{1}{4\Omega i \mu (k)}\begin{pmatrix} 1 &{}\quad -d_1(k) \\ -1 &{}\quad d_2(k)\end{pmatrix} \end{aligned}$$
is analytic on \(\Sigma '\) except for simple poles at \(k_1, {\bar{k}}_1\). It follows from Lemma 5.4 that the \(2\times 2\) matrix-valued function \({\mathcal {N}}(k)\) defined by
$$\begin{aligned} {\mathcal {N}}(k) = T(k)^{-1} {\mathcal {M}}(k) T(k) \end{aligned}$$
(5.28)
is an analytic \(2\times 2\) matrix-valued function of \(k \in \Sigma ' {\setminus } (\Gamma ^+ \cup \Gamma ^- \cup k_1 \cup {\bar{k}}_1 \cup \infty ^+ \cup \infty ^-)\) such that (i) \({\mathcal {N}}(k)\) satisfies the jump condition \({\mathcal {D}}{\mathcal {N}}_- + {\mathcal {N}}_+ {\mathcal {D}} = 0\) for \(k \in \Gamma ^+ \cup \Gamma ^-\), (ii) \({\mathcal {N}}(k)\) has at most simple poles at \(k_1\) and \({\bar{k}}_1\), (iii) \(\mathrm {tr}\,{\mathcal {N}}(k) = 0\) and \(\det {\mathcal {N}}(k) = -1\), and (iv) \({\mathcal {N}}(k^+) = \sigma _1 {\mathcal {N}}(k^-) \sigma _1\), In terms of \({\mathcal {N}}\), the identity \(\mathrm {tr}\,({\mathcal {S}}{\mathcal {M}}) = 0\) in (5.23) becomes
$$\begin{aligned} 0 = \mathrm {tr}\,({\mathcal {S}}{\mathcal {M}}) = \mathrm {tr}\,({\mathcal {D}}{\mathcal {N}}) = (d_1(k) - d_2(k)){\mathcal {N}}_{11}(k), \end{aligned}$$
showing that the (11) entry \({\mathcal {N}}_{11}(k)\) of \({\mathcal {N}}(k)\) vanishes identically. Since \(\mathrm {tr}\,{\mathcal {N}}(k) = 0\) and \(\det {\mathcal {N}} = -1\), it follows that \({\mathcal {N}}_{22}(k) = 0\) and \({\mathcal {N}}_{12}{\mathcal {N}}_{21} = 1\). The (12) entry \({\mathcal {N}}_{12}\) obeys the jump condition
$$\begin{aligned} d_1 {\mathcal {N}}_{12-} + d_2 {\mathcal {N}}_{12+} = 0, \qquad k \in \Gamma ^+ \cup \Gamma ^-, \end{aligned}$$
the symmetry \({\mathcal {N}}_{12}(k^+) = {\mathcal {N}}_{12}(k^-)^{-1}\), and the asymptotics \({\mathcal {N}}_{12}(k^-) = 4\Omega i k + O(1)\) as \(k \rightarrow \infty \). It follows that the function n(k) defined on \(\Sigma '\) by \(n(k) = {\mathcal {N}}_{12}(k)E(k)^{-1}\) has no jump across \(\Gamma ^+ \cup \Gamma ^-\). Moreover, since
$$\begin{aligned} {\mathcal {M}}_{22} = \frac{{\mathcal {N}}_{12} + {\mathcal {N}}_{12}^{-1}}{2} + \frac{k}{2\mu (k)}({\mathcal {N}}_{12} - {\mathcal {N}}_{12}^{-1}) \end{aligned}$$
(5.29)
is analytic at \(k_1\) and \({\bar{k}}_1\), we deduce that \({\mathcal {N}}_{12}\) (and hence also n(k)) actually is analytic at \(k_1\) and \({\bar{k}}_1\). At the endpoints \((\pm \, i\rho _0)^+\) and \((\pm \, i\rho _0)^-\) of \(\Gamma ^\pm \), n(k) has isolated singularities which are at most logarithmic; hence, n(k) is analytic also at these points. Consequently, n(k) is the unique meromorphic function on \(\Sigma '\) with a simple pole with residue \(4\Omega i\) at \(\infty ^-\) and a simple zero at \(\infty ^+\), that is, \(n(k) = d_1(k)\). We conclude that
$$\begin{aligned} {\mathcal {N}}(k) = \begin{pmatrix} 0 &{}\quad d_1(k) E(k) \\ d_1(k)^{-1}E(k)^{-1} &{}\quad 0 \end{pmatrix}. \end{aligned}$$
Expressions (5.27) follow from (5.19) and (5.28) by straightforward algebra. \(\square \)

5.7 The Ernst Potential on the Rotation Axis

Recalling that (see Meinel et al. 2008, p. 46)
$$\begin{aligned}&F(\zeta ) = \frac{1}{\mathrm {Re\,}f(i\zeta )}, \qquad G(\zeta ) = \frac{i\mathrm {Im\,}f(i\zeta )}{\mathrm {Re\,}f(i\zeta )}, \qquad \zeta > 0, \\&F(\zeta ) = \frac{|f(i\zeta )|^2}{\mathrm {Re\,}f(i\zeta )}, \qquad G(\zeta ) = \frac{-i\mathrm {Im\,}f(i\zeta )}{\mathrm {Re\,}f(i\zeta )}, \qquad \zeta < 0, \end{aligned}$$
we find the following expression for the value of the Ernst potential on the rotation axis:
$$\begin{aligned} f(i\zeta ) = {\left\{ \begin{array}{ll} \frac{1 + G(\zeta )}{F(\zeta )} = \frac{1 + d_1(\zeta ^+) E(\zeta ^+)}{d_1(\zeta ^+) + E(\zeta ^+)}, \qquad \zeta > 0, \\ \frac{F(\zeta )}{1 + G(\zeta )} = \frac{d_1(\zeta ^+) + E(\zeta ^+)}{1 + d_1(\zeta ^+) E(\zeta ^+)}, \qquad \zeta < 0. \end{array}\right. } \end{aligned}$$
Using that \(E(\zeta ^+) = e^{J'(\zeta )}\) and \(d(\zeta ) = d_1(\zeta ^+)\) for \(\zeta > 0\), where \(J'\) and d are the functions defined in (3.10), we arrive at expression (3.12) for \(f(i \zeta )\). Since \(J'(\zeta ) \in {\mathbb {R}}\) and \(d_1(\zeta ) \in i{\mathbb {R}}_-\) for \(\zeta > 0\), expression (3.14) for \(e^{2U(i \zeta )}\) follows by taking the real part of (3.12).

6 The Scalar RH Problem

Substitution of the expressions for F(k) and G(k) obtained in Lemma 5.5 into (5.13) gives an explicit expression for the jump matrix D(k). Thus, we have an effective solution of BVP (2.8) in terms of the solution of the matrix RH problem (5.12). In what follows, we instead employ the main and auxiliary RH problems to formulate a scalar RH problem on the Riemann surface \(\Sigma _z\). The solution of this scalar RH problem leads to the exact formulas of Theorem 3.1.

6.1 The Functions \({\mathcal {L}}(z,k)\) and \({\mathcal {Q}}(z,k)\)

Define w(k) by
$$\begin{aligned} w(k) = -\frac{1}{2}\mathrm {tr}\,({\mathcal {S}}(k)) = -2ik\Omega ,\quad k\in \mathbb {C}. \end{aligned}$$
Introduce the \(2\times 2\) matrix-valued functions \({\mathcal {L}}\) and \({\mathcal {Q}}\) by
$$\begin{aligned} {\mathcal {L}}(z,k)= & {} \Phi (z,k)\sigma _1\Phi ^{-1}(z,k), \quad k\in {\mathscr {S}}_{z}, \end{aligned}$$
(6.1)
$$\begin{aligned} {\mathcal {Q}}(z,k)= & {} -\Phi (z,k){\mathcal {A}}^{-1}(k){\mathcal {S}}(k) {\mathcal {A}}(k)\Phi ^{-1}(z,k)-w(k){\mathbb {I}}, \quad k\in {\mathscr {S}}_{z}. \end{aligned}$$
(6.2)

Lemma 6.1

The functions \({\mathcal {L}}\) and \({\mathcal {Q}}\) have the following properties:
  • \({\mathcal {L}}\) and \({\mathcal {Q}}\) satisfy the trace and determinant relations
    $$\begin{aligned} \mathrm {tr}\,{\mathcal {Q}} =0, \quad \mathrm {tr}\,{\mathcal {L}}=0, \quad \det {\mathcal {L}} =-1,\quad \det {\mathcal {Q}}=1-w^{2}, \end{aligned}$$
    (6.3)
    and the symmetries
    $$\begin{aligned} {\mathcal {Q}}(z,k^-)=-\sigma _3{\mathcal {Q}}(z,k^+)\sigma _3,\quad {\mathcal {L}}(z,k^-)=\sigma _3{\mathcal {L}}(z,k^+)\sigma _3. \end{aligned}$$
    (6.4)
  • \({\mathcal {Q}}\) can be rewritten as
    $$\begin{aligned} {\mathcal {Q}}(z,k)=\Phi (z,k)\sigma _1 {\mathcal {A}}^{-1}(k){\mathcal {S}}(k) {\mathcal {A}}(k)\sigma _1\Phi ^{-1}(z,k)+w(k){\mathbb {I}}. \end{aligned}$$
    (6.5)
  • \({\mathcal {Q}}\) has no jump across \(\Gamma ^+ \cup \Gamma ^-\), whereas \({\mathcal {L}}\) satisfies the jump conditions
    $$\begin{aligned} {\left\{ \begin{array}{ll} ({\mathcal {Q}}+w{\mathbb {I}}){\mathcal {L}}_{-} =-{\mathcal {L}}_{+}({\mathcal {Q}}+w{\mathbb {I}}), &{} k\in \Gamma ^+, \\ ({\mathcal {Q}}-w{\mathbb {I}}){\mathcal {L}}_{-} =-{\mathcal {L}}_{+}({\mathcal {Q}} -w{\mathbb {I}}), &{} k\in \Gamma ^-. \end{array}\right. } \end{aligned}$$
    (6.6)
  • \({\mathcal {L}}\) and \({\mathcal {Q}}\) anticommute, i.e., \({\mathcal {Q}}{\mathcal {L}}=-{\mathcal {L}}{\mathcal {Q}}\).

  • The function \(\hat{{\mathcal {L}}}\) defined by
    $$\begin{aligned} \hat{{\mathcal {L}}} ={\mathcal {L}}\begin{pmatrix} 1 &{}\quad {\mathcal {Q}}_{11} \\ 0 &{}\quad {\mathcal {Q}}_{21} \\ \end{pmatrix}, \end{aligned}$$
    satisfies
    $$\begin{aligned} \hat{{\mathcal {L}}}_{22}^{2}-{\mathcal {L}}_{21}^{2}(w^{2}-1)={\mathcal {Q}}^{2}_{21}. \end{aligned}$$
    (6.7)
  • For each z, there exists a point \(m_{1} \equiv m_{1}(z) \in \mathbb {C}\) such that
    $$\begin{aligned} {\mathcal {Q}}_{21}(z,k)=\frac{4i \Omega f}{f+{\bar{f}}}(k-m_{1}). \end{aligned}$$
    (6.8)

Proof

The properties in (6.3) follow from the definitions of \({\mathcal {L}}\) and \({\mathcal {Q}}\) and the fact that \(\det ({\mathcal {S}} + w{\mathbb {I}}) = 1 - w^2\). The symmetries in (6.4) are a consequence of (5.7) and (5.23). The alternative expression (6.5) for \({\mathcal {Q}}\) follows from (5.23). Equations (5.12) and (5.13) imply that \(\Phi {\mathcal {A}}^{-1}\) and \(\Phi \sigma _1 {\mathcal {A}}^{-1}\) do not jump across \(\Gamma ^{+}\) and \(\Gamma ^{-}\), respectively. Thus, by (6.2) and (6.5), \({\mathcal {Q}}\) does not jump across \(\Gamma ^+\) or \(\Gamma ^-\). Since, for \(k \in \Gamma ^+\),
$$\begin{aligned} ({\mathcal {Q}}_{-}+w{\mathbb {I}}){\mathcal {L}}_{-}&=-\Phi _{-}{\mathcal {A}}^{-1}_{-}{\mathcal {S}}{\mathcal {A}}_- \sigma _1\Phi _{-}^{-1}=-\Phi _{-}{\mathcal {A}}^{-1}_{-}{\mathcal {S}}{\mathcal {M}}_{-} {\mathcal {A}}_{-}\Phi ^{-1}_{-}, \end{aligned}$$
(6.9)
$$\begin{aligned} -{\mathcal {L}}_{+}({\mathcal {Q}}_{+}+w{\mathbb {I}})&=\Phi _{+}\sigma _1 {\mathcal {A}}^{-1}_{+}{\mathcal {S}}{\mathcal {A}}_{+}\Phi _{+}^{-1}=\Phi _{+} {\mathcal {A}}^{-1}_{+}{\mathcal {M}}_{+}{\mathcal {S}}{\mathcal {A}}_{+}\Phi _{+}^{-1}, \end{aligned}$$
(6.10)
the jump of \({\mathcal {L}}\) across \(\Gamma ^{+}\) is a consequence of (5.12) and (5.20). The jump of \({\mathcal {L}}\) across \(\Gamma ^{-}\) then follows from (6.4). Using (6.5), it follows from (5.23) that \({\mathcal {L}}{\mathcal {Q}}=-{\mathcal {Q}}{\mathcal {L}}\) and then (6.7) follows by direct computation. Since \({\mathcal {Q}}_{21}\) is an entire function of \(k\in \mathbb {C}\), the expression for \({\mathcal {Q}}_{21}\) in (6.8) follows from the asymptotic formulas
$$\begin{aligned} \Phi (z, k^+) = \begin{pmatrix} \overline{f(z)} &{} 1 \\ f(z) &{} -1 \end{pmatrix} + O(k^{-1}),\quad {\mathcal {A}}(k) = {\mathbb {I}} + O(k^{-1}), \quad k \rightarrow \infty , \end{aligned}$$
(6.11)
and Liouville’s theorem. \(\square \)

6.2 The Riemann Surface \(\hat{{\mathscr {S}}}_z\) and the Function H(zk)

Let \(\hat{{\mathscr {S}}}_z\) denote the double covering of \({\mathscr {S}}_z\) obtained by adding the cut \(C_{k_1}\) from \(k_{1}\) to \({\overline{k}}_1\) on both the upper and lower sheets of \({\mathscr {S}}_z\). Thus, a point \((k,\pm \lambda ,\pm \mu )\) on \(\hat{{\mathscr {S}}}_z\) is specified by \(k\in {\hat{\mathbb {C}}}\) together with a choice of signs of \(\lambda \) and \(\mu \) defined in (2.15). We specify the sheets of \(\hat{{\mathscr {S}}}_z\) by requiring that \(\lambda \rightarrow 1 \)\((\lambda \rightarrow -1)\) as \(k\rightarrow \infty \) on sheets 1 and 2 (sheets 3 and 4), and by requiring that \(\mu \sim k\) (\(\mu \sim -k\)) as \(k\rightarrow \infty \) on sheets 1 and 3 (sheets 2 and 4). As k crosses \([-i z,i {\bar{z}}]\), \(\lambda \) changes sign but \(\mu \) does not. As k crosses \([k_{1},{\overline{k}}_1]\), \(\mu \) changes sign but \(\lambda \) does not. We define the function H(zk) by
$$\begin{aligned} H(z,k) =\frac{\hat{{\mathcal {L}}}_{22}-{\mathcal {L}}_{21}\sqrt{w^{2}-1}}{\hat{{\mathcal {L}}}_{22}+{\mathcal {L}}_{21}\sqrt{w^{2}-1}},\quad k\in \hat{{\mathscr {S}}}_z, \end{aligned}$$
(6.12)
where the branch of \(\sqrt{w^{2}-1}\) is fixed by the requirement that \(\sqrt{w^{2}-1}=2i \Omega k+O(1)\) as \(k\rightarrow \infty \) on sheets 1 and 3 of \(\hat{{\mathscr {S}}}_z\). In view of symmetries (6.4) of \({\mathcal {L}}\) and \({\mathcal {Q}}\), we have
$$\begin{aligned} \hat{{\mathcal {L}}}_{22}(k,\lambda ,\mu )=\hat{{\mathcal {L}}}_{22}(k,-\lambda ,\mu ), \quad {\mathcal {L}}_{21}(k,-\lambda ,\mu )=-{\mathcal {L}}_{21}(k,\lambda ,\mu ), \end{aligned}$$
(6.13)
and therefore
$$\begin{aligned} H(k,\lambda ,\mu )=\frac{1}{H(k,-\lambda ,\mu )}=\frac{1}{H(k,\lambda ,-\mu )}. \end{aligned}$$
(6.14)
It follows that H(zk) can be viewed as a single-valued function on \(\Sigma _{z}\). On the upper sheet \(\Sigma _{z}^+\), H(zk) is given by the values of \(H(k,\lambda ,\mu )\) on sheet 1 or sheet 4, while on the lower sheet \(\Sigma _{z}^-\), H(zk) is given by the inverse of those values.
For simplicity, we assume in what follows that z is such that \(m_1(z)\) does not lie on \(\Gamma \) or on one of the branch cuts. (This is the generic case; in the end, the solution can be extended to these values of z by continuity.) It then follows from (6.8) and (6.12) that the zeros and poles of H(zk) on \(\Sigma _z\) belong to the set \(\{m_1^+, m_1^-\} \subset \Sigma _z\), and that either: (i) \(m_1^+\) is a double zero and \(m_1^-\) is a double pole of H, or (ii) \(m_1^+\) is a double pole and \(m_1^-\) is a double zero of H. Indeed, the only other possibility is that the numerator and the denominator in (6.12) both have simple zeros at \(m_1^+\), but then \({\mathcal {L}}_{21} = 0\) at \(m_1^+\) and since \({\mathcal {Q}}_{21}\) also vanishes at \(m_1\), the condition \({\mathcal {Q}}{\mathcal {L}} + {\mathcal {L}}{\mathcal {Q}} = 0\) implies that \({\mathcal {L}}_{11} {\mathcal {Q}}_{11} = 0\) at \(m_1^+\), which contradicts the fact that \(\det {\mathcal {Q}}\) and \(\det {\mathcal {L}}\) are nonzero at \(m_1^+\). For definiteness, we will henceforth assume that case (i) applies; the arguments are very similar and the final answer is the same when (ii) applies.
Fig. 7

The oriented cut \([m_1,k_1]^- \cup [k_1,m_1]^+\) from the double pole \(m_1^-\) on the lower sheet to the double zero \(m_1^+\) on the upper sheet of \(\Sigma _z\)

6.3 The Scalar RH Problem

Define the scalar-valued function \(\psi (z,k)\) by
$$\begin{aligned} \psi (z,k) = \frac{\log H(z,k)}{y}, \quad k\in \Sigma _{z}, \end{aligned}$$
(6.15)
where y is defined in (2.9). We view \(\log H\) as a single-valued function on \(\Sigma _z\) by introducing a cut \([m_1,k_1]^- \cup [k_1,m_1]^+\) from the double pole \(m_1^-\) to the double zero \(m_1^+\) (see Fig. 7). Letting \((\log H)_{+}\) and \((\log H)_{-}\) denote the boundary values of \(\log H\) on the right and left sides of \([m_1,k_1]^- \cup [k_1,m_1]^+\), we have (see Fig. 7)
$$\begin{aligned} (\log H)_{-}(k)=(\log H)_{+}(k)+4\pi i, \quad k\in [m_1,k_1]^- \cup [k_1,m_1]^+. \end{aligned}$$
(6.16)
Long computations using (6.11) show that
$$\begin{aligned} H(z,k^+) = f^{2}(z)+O(k^{-1}), \quad k\rightarrow \infty . \end{aligned}$$
(6.17)
Hence, we may fix the overall branch of \(\log H\) by requiring that
$$\begin{aligned} \log H(z,k^+) = 2\log f(z) + O(k^{-1}) \quad \mathrm {as}\quad k\rightarrow \infty , \end{aligned}$$
(6.18)
where the branch of \(\log f\) is fixed so that \(\log f(z) \rightarrow 0\) as \(z \rightarrow \infty \). Then
$$\begin{aligned} \begin{aligned} \log H(z,k^{+})&=-\log H(z,k^{-}),\quad y(z,k^{+})=-y(z,k^{-}), \end{aligned} \end{aligned}$$
(6.19)
which shows that \(\psi (z,k^+) = \psi (z,k^-)\). Thus, \(\psi \) descends to a function of \(k \in \mathbb {C}\) and we can formulate a scalar RH problem for \(\psi (z,k)\) as follows.

Proposition 6.2

The complex-valued function \(\psi (z,\cdot )\) has the following properties:
  • \(\psi (z,k)\) is analytic for \(k\in {\hat{\mathbb {C}}}\backslash (\Gamma \cup [k_{1},m_{1}])\).

  • Across \(\Gamma \), \(\psi (z,k)\) satisfies the jump relation
    $$\begin{aligned} \psi _{-}(z,k)=\psi _{+}(z,k)+\frac{2}{y(z,k^+)}\log \left( \frac{\sqrt{w^{2}-1}-w}{\sqrt{w^{2}-1}+w}(k^+)\right) , \quad k\in \Gamma . \end{aligned}$$
    (6.20)
  • Across the oriented straight-line segment \([k_{1},m_{1}]\), \(\psi (z,k)\) satisfies the jump relation
    $$\begin{aligned} \psi _{-}(z,k)=\psi _{+}(z,k)+\frac{4\pi i}{y(z,k^+)}, \quad k\in [k_{1},m_{1}], \end{aligned}$$
    (6.21)
    where \(k^+\) is the point in the upper sheet of \(\Sigma _z\) which projects onto k, and \(\psi _{-}(z,k)\) and \(\psi _{+}(z,k)\) denote the values of \(\psi \) on the left and right sides of \([k_{1},m_{1}]\).
  • As \(k\rightarrow m_{1}\),
    $$\begin{aligned} \psi (z,k)\rightarrow \frac{2}{y(z,k^+)}\log (k-m_{1}). \end{aligned}$$
    (6.22)
  • As \(k\rightarrow \infty \),
    $$\begin{aligned} \psi (z,k) = \frac{2\log f}{k^{2}}+O(k^{-3}). \end{aligned}$$
    (6.23)
  • As \(k\rightarrow k_{1}\),
    $$\begin{aligned} \psi (z,k) \rightarrow \frac{2\pi i}{y}, \end{aligned}$$
    (6.24)
    where \(y=y(z,k^+)\) for \(k^+\) just to the left of the cut \([k_1,m_1^{+}]\) on \(\Sigma _z^{+}\), and is analytically continued around the endpoint \(k_1\) so that it equals \(y(z,k^-)\) when \(k^-\) lies just to the left of the cut \([m_1^{-},k_1]\) on \(\Sigma _z^{-}\).

Proof

The analyticity of \(\psi \) for \(k\in {\hat{\mathbb {C}}}\backslash (\Gamma \cup [k_{1},m_{1}])\) follows from the definitions of y(zk) and H(zk). It follows from (6.3), (6.6), the fact that \(\mathrm {tr}\,({\mathcal {Q}}{\mathcal {L}}) = 0\), and tedious calculations that
$$\begin{aligned} {\mathcal {L}}_{21+}=(1-2w^{2}){\mathcal {L}}_{21-}+2w\hat{{\mathcal {L}}}_{22-},\quad \hat{{\mathcal {L}}}_{22+}=2w(w^{2}-1){\mathcal {L}}_{21-}+(1-2w^{2})\hat{{\mathcal {L}}}_{22-}, \end{aligned}$$
for \(k\in \Gamma ^{+}\). Hence, the jump of H(zk) across \(\Gamma ^+\) is given by
$$\begin{aligned} H_{-}(z,k)=H_{+}(z,k)\left( \frac{\sqrt{w^{2}-1}-w}{\sqrt{w^{2}-1}+w}\right) ^2, \quad k\in \Gamma ^+, \end{aligned}$$
(6.25)
which gives (6.20). Jump (6.21) follows from (6.16). The asymptotic behavior (6.22) is a consequence of the fact H(zk) has a double zero at \(k=m_{1}^{+}\). Equation (6.23) follows from (6.18) and the fact that \(y(z,k^+) = k^2 +O(k)\) as \(k\rightarrow \infty \). The behavior of \(\psi \) as \(k\rightarrow k_1\) follows from (6.14) and (6.16). \(\square \)

6.4 Solution of the Scalar RH Problem

Using the Sokhotski–Plemelj formula, we find that the solution of the scalar RH problem presented in Proposition 6.2 is given by
$$\begin{aligned} \psi (z,k)=&\; \frac{1}{\pi i}\int _{\Gamma }\frac{\mathrm {d}k^{\prime }}{y(z,k^{+\prime })(k^{\prime }-k)}\log \left( \frac{\sqrt{w^{2}-1}-w}{\sqrt{w^{2}-1}+w}(k^{+\prime })\right) \nonumber \\&+2\int _{[k_{1},m_{1}]}\frac{\mathrm {d}k^{\prime }}{y(z,k^{\prime +})(k^{\prime }-k)}. \end{aligned}$$
(6.26)
This can be rewritten in terms of contour integrals on \(\Sigma _{z}\) as
$$\begin{aligned} \psi (z,k)&= 2\int _{\Gamma ^{+}}\frac{h(k^\prime ) \mathrm {d}k^{\prime }}{y(z,k^{\prime })(k^{\prime }-k)} -2\int _{k_{1}}^{' m^{-}_{1}}\frac{\mathrm {d}k^{\prime }}{y(z,k^{\prime })(k^{\prime }-k)}, \end{aligned}$$
(6.27)
where h(k) is given by
$$\begin{aligned} h(k) = \frac{1}{2\pi i}\log \left( \frac{\sqrt{w^{2}(k)-1}-w(k)}{\sqrt{w^{2}(k)-1}+w(k)}\right) , \qquad k \in \Gamma ^+, \end{aligned}$$
and the prime on the integral from \(k_1\) to \(m_1^-\) indicates that the path of integration does not necessarily lie in the complement of the cut basis \(\{a, b\}\). Since \(w(k) = -2ik\Omega \), h(k) can be written as in (3.1). Letting \(k\rightarrow \infty \) in (6.27) and recalling (6.23), we obtain
$$\begin{aligned} \log f&=\int _{k_1}^{'m^{-}_{1}}\frac{k\mathrm {d}k}{y}-\int _{\Gamma ^{+}}h(k)\frac{k\mathrm {d}k}{y}, \end{aligned}$$
(6.28a)
$$\begin{aligned} \int _{k_1}^{'m^{-}_{1}}\frac{\mathrm {d}k}{y}&=\int _{\Gamma ^{+}}h(k)\frac{\mathrm {d}k}{y}. \end{aligned}$$
(6.28b)

7 Theta Functions

In this section, we derive the expressions for f, \(e^{2U}\) and a given in (3.3) and (3.4).

We define the map \(\phi :\Sigma _{z}\rightarrow \mathbb {C}\) by
$$\begin{aligned} \phi (k) \equiv \phi (z,k) = \int _{-i z}^{k}\omega , \quad k\in \Sigma _{z}, \end{aligned}$$
where it is assumed that the integration contour lies within the fundamental polygon determined by \(\{a,b\}\). The Jacobian variety \(\text {Jac}(\Sigma _{z})\) of \(\Sigma _z\) is defined by \(\text {Jac}(\Sigma _{z}) = \mathbb {C}/{\mathbb {L}}\), where \({\mathbb {L}}\) denotes the discrete lattice generated by 1 and B. The composition of \(\phi \) with the projection \(\mathbb {C}\rightarrow \text {Jac}(\Sigma _{z})\) is the Abel map with base point \(-i z\), and \(\phi (k_1)\in \mathbb {C}\) projects to the vector of Riemann constants in \(\text {Jac}(\Sigma _{z})\), see Farkas and Kra (1992, Chap. VII).

7.1 Proof of Expression (3.3) for f

We first suppose that the contour from \(k_1\) to \(m_1^-\) in (6.28) lies in the fundamental polygon determined by \(\{a, b\}\). Utilizing (3.2), (2.12) and (2.14) in (6.28), we deduce that
$$\begin{aligned} u=\int _{k_1}^{m_1^-} \omega ,\quad f=e^{-\int _{k_1}^{m_1^-} \omega _{\infty ^{+}\infty ^{-}}+I}. \end{aligned}$$
(7.1)
In view of the properties of zero divisors of theta functions [see Farkas and Kra (1992, Thm. VI.3.1)] and the following symmetry properties for abelian differentials [see Farkas and Kra (1992, Chap. III)]
$$\begin{aligned} \int _{b}\omega _{PQ}=2\pi i \int _{Q}^{P}\omega ,\quad \int ^{P}_{Q}\omega _{\infty ^{+}\infty ^{-}}=\int ^{\infty ^{+}}_{\infty ^{-}}\omega _{PQ} , \quad P,Q\in \Sigma _{z}, \end{aligned}$$
(7.2)
we obtain
$$\begin{aligned} e^{- \int _{k_1}^{m_1^-} \omega _{\infty ^{+}\infty ^{-}}}=\frac{\Theta \left( \phi (\infty ^{+})\right) \Theta \left( \phi (\infty ^{-})-u\right) }{\Theta \left( \phi (\infty ^{+})-u\right) \Theta \left( \phi (\infty ^{-})\right) }. \end{aligned}$$
(7.3)
Since \(\phi (\infty ^{+})=-\phi (\infty ^{-})\) and the theta function \(\Theta \) is even, we can rewrite (7.3) as
$$\begin{aligned} e^{- \int _{k_1}^{m_1^-}\omega _{\infty ^{+}\infty ^{-}}}=\frac{\Theta \left( u-\phi (\infty ^{-})\right) }{\Theta \left( u+\phi (\infty ^{-})\right) }, \end{aligned}$$
which together with (7.1) leads to (3.3). It is easy to see that the answer remains if the invariant of the contour from \(k_1\) to \(m_1^-\) is replaced by a contour which does not lie in the fundamental polygon determined by \(\{a, b\}\), cf. Lenells (2011).

7.2 Proof of Expressions (3.4) for \(e^{2U}\) and a

Since \(u\in i {\mathbb {R}}\) and \(I\in {\mathbb {R}}\), the expression for \(e^{2U}\) in (3.4) can be derived as in Lenells (2011). With the expression for \(e^{2U}\) at hand, the expression for a in (3.4) can be obtained by following the argument in Klein and Richter (1998, Sect. V).

8 The Metric Function \(e^{2\kappa }\)

One useful tool in the study of the Ernst equation (2.5) is the use of branch point condensation arguments (Korotkin and Matveev 2000). In this section, we apply such arguments to derive expression (3.6) for \(e^{2\kappa }\). An analogous derivation was considered in Lenells (2011). However, in contrast to the situation in Lenells (2011), our function h(k) which determines the jump of the scalar RH problem for \(\psi (z,k)\) does not vanish at the endpoints of \(\Gamma \). This means that the condensation argument has to be modified.

8.1 Proof of Expression (3.6) for \(e^{2\kappa }\)

Given an integer \(g\ge 2\) and \(g-1\) branch cuts \(\{[E_{j},F_{j}]\}_{j=2}^{g}\), let \({\hat{\Sigma }}_{z}\) be the Riemann surface of genus g defined by the equation
$$\begin{aligned} {\hat{y}}^2 = (k-\xi )(k-{\bar{\xi }})(k-k_1)(k - {\bar{k}}_1)\prod _{j=2}^{g}(k-E_j)(k-F_j), \end{aligned}$$
where \(\xi := -i z\). We define a cut basis \(\{{\hat{a}}_j,{\hat{b}}_j\}_{j=1}^{g}\) on \({\hat{\Sigma }}_{z}\) as follows: \({\hat{a}}_1\) surrounds the cut \(C_{k_1}\) and, for \(j = 2, \dots , g\), \({\hat{a}}_j\) surrounds the cut \([E_{j}, F_{j}]\) in the counterclockwise direction; \({\hat{b}}_j\) enters the upper sheet on the right side of \([-i z,i {\bar{z}}]\) and exits again on the right side \(C_{k_1}\) for \(j = 1\) and on the right side of \([E_{j},F_{j}]\) for \(j = 2, \dots , g\). Then \(\{{\hat{a}}_j,{\hat{b}}_j\}_{j=1}^{g}\) is a natural generalization of the basis \(\{a,b\}\) on \(\Sigma _z\). Let \({\hat{\omega }}=\{{\hat{\omega }}_1, ..., {\hat{\omega }}_g\}^{T}\) denote the canonical dual basis, and let \({\hat{\Theta }}({\hat{\omega }}) \equiv \Theta ({\hat{\omega }}|{\hat{B}})\) be the associated theta function. Let \(p,q\in \mathbb {C}^{q}\) be z-independent vectors which satisfy \({\hat{B}} p+q\in {\mathbb {R}}^{g}\). The theta function with characteristics \(p,q\in {\mathbb {R}}^{g}\) is defined for \({\hat{v}} \in \mathbb {C}^g\) by
$$\begin{aligned} {\hat{\Theta }}\begin{bmatrix} p\\q \end{bmatrix}({\hat{v}}) = {\hat{\Theta }}({\hat{v}}+{\hat{B}}p+q)\exp \left( 2\pi i \left( \frac{1}{2}p^{T}{\hat{B}}p+p^{T}({\hat{v}}+q)\right) \right) . \end{aligned}$$
Then the function \({\hat{f}}(z)\) defined by
$$\begin{aligned} {\hat{f}}(z) =\frac{{\hat{\Theta }}\begin{bmatrix} p\\q \end{bmatrix}\left( \int _{\xi }^{\infty ^{+}}{\hat{\omega }}\right) }{{\hat{\Theta }}\begin{bmatrix} p\\q \end{bmatrix}\left( \int _{\xi }^{\infty ^{-}}{\hat{\omega }}\right) } \end{aligned}$$
(8.1)
satisfies the Ernst equation (2.5) and the corresponding metric function \(e^{2\kappa }\) is given by
$$\begin{aligned} e^{2{\hat{\kappa }}}={\hat{K}}_0\frac{{\hat{\Theta }}\begin{bmatrix} p\\q \end{bmatrix}(0){\hat{\Theta }}\begin{bmatrix} p\\q \end{bmatrix}\left( \int _{\xi }^{{\bar{\xi }}}{\hat{\omega }}\right) }{{\hat{\Theta }}(0){\hat{\Theta }}\left( \int _{\xi }^{{\bar{\xi }}}{\hat{\omega }}\right) }, \end{aligned}$$
(8.2)
where \({\hat{K}}_0\) is a constant determined by the requirement that \(e^{2{\hat{\kappa }}}=1\) on the rotation axis (Korotkin and Matveev 2000). Our goal is to recover the Ernst potential (3.3) by letting the branch points \(E_j, F_j\) in (8.1) condense along the contour \(\Gamma \) for an appropriate choice of the characteristics pq. Then, by applying the same condensation to (8.2), we will obtain expression (3.6) for \(e^{2\kappa }\).
In order to handle the fact that h(k) does not vanish at the endpoints of \(\Gamma \), we define, for each integer \(n \ge 1\), an extension \(\Gamma _n\) of \(\Gamma \) by \(\Gamma _n = [-i \rho _0-\frac{i}{n}, i \rho _0 + \frac{i}{n}]\). We first let each branch cut \([E_{j},F_{j}]\) shrink to a point \(\kappa _j\in \Gamma _n\). In this limit, we have
$$\begin{aligned} \left( {\hat{\omega }}_{1}, \dots ,{\hat{\omega }}_{g}\right)&\rightarrow \big (\omega , \frac{1}{2\pi i}\omega _{\kappa _2^{+}\kappa _2^{-}},...,\frac{1}{2\pi i}\omega _{\kappa _{g}^{+}\kappa _{g}^{-}}\big ); \end{aligned}$$
(8.3a)
$$\begin{aligned} {\hat{B}}_{11}&\rightarrow B; \quad {\hat{B}}_{1j}\rightarrow \int _{\kappa _{j}^{-}}^{\kappa _{j}^{+}}\omega , \quad j=2,..., g; \end{aligned}$$
(8.3b)
$$\begin{aligned} {\hat{B}}_{ij}&\rightarrow \frac{1}{2\pi i}\int _{\kappa _{j}^{-}}^{\kappa _{j}^{+}}\omega _{\kappa _{i}^{+}\kappa _{i}^{-}}, \quad i\ne j, \quad i, j=2,..., g; \end{aligned}$$
(8.3c)
$$\begin{aligned} {\hat{B}}_{jj}&= \frac{1}{\pi i}\log |E_j-F_j|+O(1), \quad j=2,..., g. \end{aligned}$$
(8.3d)
We then let the \(\kappa _{j}\) condense along \(\Gamma _n\) with the density determined by the measure
$$\begin{aligned} \mathrm {d}m_n(\kappa )=-\frac{1}{2}\frac{\mathrm {d}h_n}{\mathrm {d}\kappa }(\kappa )\mathrm {d}\kappa ,\quad \kappa \in \Gamma _n, \end{aligned}$$
(8.4)
where \(h_n:\Gamma _n\rightarrow \mathbb {C}\) is a sequence of smooth functions which vanish identically near the endpoints of \(\Gamma _n\) and which converge pointwise to h(k) on \(\Gamma \) as \(n \rightarrow \infty \). Choosing
$$\begin{aligned} p=(p_1,p_2,..., p_{g})=:(p_1,{\tilde{p}})\in \mathbb {C}\times {\mathbb {R}}^{g-1},\quad q= (0,...,0) \in {\mathbb {R}}^{g}, \end{aligned}$$
where the vector \({\tilde{p}}\in {\mathbb {R}}^{g-1}\) is such that \({\tilde{p}}_{j}\in (0,\frac{1}{2})\), \(j=2,..., g\), we find from (8.3) that, as the branch points condense along \(\Gamma _n\),
$$\begin{aligned}&{\hat{\Theta }}\! \begin{bmatrix} p\\ 0 \end{bmatrix}\! \! \left( \int ^{Q}_{P}{\hat{\omega }}\right) \rightarrow \Theta \! \begin{bmatrix} p_1 \\ 0 \end{bmatrix} \!\! \left( \int _{\Gamma _n}\mathrm {d}m_n(\kappa )\int _{\kappa ^{-}}^{\kappa ^{+}}\omega + \int ^{Q}_{P}\omega \right) e^{\frac{L_n}{2}+\int _{\Gamma _n}\mathrm {d}m_n(\kappa )\int _{P}^{Q}\omega _{\kappa ^{+}\kappa ^{-}}}, \end{aligned}$$
(8.5)
where
$$\begin{aligned} L_n&= \int _{\Gamma _n}\mathrm {d}m_n(\kappa _1)\int _{\Gamma _n}^{\prime } \mathrm {d}m_n(\kappa _2)\int ^{\kappa _2^{+}}_{\kappa _2^{-}}\omega _{\kappa _1^{+}\kappa _1^{-}}(\kappa ) \nonumber \\&=\frac{1}{2}\int _{\Gamma _n} \mathrm {d}\kappa _1 h_n(\kappa _1)\int _{\Gamma _n}^{\prime } h_{n}(\kappa _2)\frac{\partial \omega _{\kappa ^{+}_{1}\kappa ^{-}_{1}}}{\partial \kappa _1}(\kappa _2^{+}), \end{aligned}$$
(8.6)
and the prime on the integral indicates that the contour \(\Gamma _n\) should be deformed slightly so that the pole at \(\kappa _1=\kappa _2\) is avoided. Integrating by parts and using (7.2), we obtain
$$\begin{aligned} \int _{\Gamma _n}\mathrm{d}m_n(\kappa )\int _{\kappa ^{-}}^{\kappa ^{+}}\omega= & {} \int _{\Gamma _n^+}h_n(\kappa )\omega (\kappa )=:u_n, \end{aligned}$$
(8.7)
$$\begin{aligned} \int _{\Gamma _n}\mathrm {d}m_n(\kappa )\int ^{\infty ^+}_{\infty ^-}\omega _{\kappa ^{+}\kappa ^{-}}= & {} \int _{\Gamma _n^{+}}h_n(\kappa )\omega _{\infty ^{+}\infty ^{-}}(\kappa )=:I_n. \end{aligned}$$
(8.8)
Using (8.5)-(8.8) in (8.1), we conclude that the right-hand side of (8.1) converges to the following Ernst potential in the limit as the branch points condense along \(\Gamma _n\):
$$\begin{aligned} f_n=\frac{\Theta \begin{bmatrix} p_1 \\ 0 \end{bmatrix} \left( u_n+\int ^{\infty ^+}_{\xi }\omega \right) }{\Theta \begin{bmatrix} p_1 \\ 0 \end{bmatrix} \left( u_n+\int ^{\infty ^-}_{\xi }\omega \right) }e^{I_n}. \end{aligned}$$
(8.9)
Letting \(p_1 =0\) and taking \(n \rightarrow \infty \) in (8.9), we recover the Ernst potential (3.3). We would like to take the same limit in the expression for the metric function \(e^{2\kappa _n}\) associated with \(f_n\). However, we first need to regularize the expression for \(L_n\). We find from (2.14) that
$$\begin{aligned} \frac{\partial \omega _{\kappa _1^+ \kappa _1^-}}{\partial \kappa _1} (\kappa _2^+)&= \frac{y'(\kappa _1^+)(\kappa _2-\kappa _1) + y(\kappa _1^+)}{(\kappa _2-\kappa _1)^2y(\kappa _2^+)} \mathrm{d}\kappa _2 \\&\quad -\, \bigg (\int _a \frac{y'(\kappa _1^+)(\kappa -\kappa _1) + y(\kappa _1^+)}{(\kappa -\kappa _1)^2 y(\kappa )}\mathrm{d}\kappa \bigg ) \omega (\kappa _2^+). \end{aligned}$$
Hence, we can rewrite (8.6) as
$$\begin{aligned} L_n = L_n^\mathrm{reg}+L_n^{\mathrm{rem}}, \end{aligned}$$
(8.10)
where the regularized term \(L_n^\mathrm{reg}\) is defined by
$$\begin{aligned} L_n^\mathrm{reg} =&\; \frac{1}{2}\int _{\Gamma _n} \mathrm {d}\kappa _1 h_n(\kappa _1)\int _{\Gamma _n}^{\prime } h_{n}(\kappa _2) \bigg ( \frac{\partial \omega _{\kappa ^{+}_{1}\kappa ^{-}_{1}}}{\partial \kappa _1}(\kappa _2^{+}) - \frac{\mathrm {d}\kappa _2}{(\kappa _2-\kappa _1)^2}\bigg ) \\ =&\; \frac{1}{2} \bigg \{\int _{\Gamma _n} \mathrm{d}\kappa _1 h_n(\kappa _1) \int _{\Gamma _n}' h_n(\kappa _2) \bigg (\frac{y'(\kappa _1^+)(\kappa _2-\kappa _1) + y(\kappa _1^+)-y(\kappa _2^+)}{(\kappa _2-\kappa _1)^2y(\kappa _2^+)} \bigg )\mathrm{d}\kappa _2 \\&- \bigg (\int _{\Gamma _n} \mathrm{d}\kappa _1 h_n(\kappa _1) \int _{a} \frac{y'(\kappa _1^+)(\kappa -\kappa _1) + y(\kappa _1^+)}{(\kappa -\kappa _1)^2 y(\kappa )}\mathrm{d}\kappa \bigg ) \bigg (\int _{\Gamma _n} h_n(\kappa _2) \omega (\kappa _2^+)\bigg ) \bigg \} \end{aligned}$$
and the remainder \(L_n^\mathrm{rem}\) is given by
$$\begin{aligned} L_n^\mathrm{rem} = \frac{1}{2} \int _{\Gamma _n} \mathrm{d}\kappa _1 h_n(\kappa _1) \int _{\Gamma _n}' h_n(\kappa _2) \frac{\mathrm{d}\kappa _2}{(\kappa _2-\kappa _1)^2} . \end{aligned}$$
We have arranged the definition of \(L_n^\mathrm{reg}\) so that the integrand only has a simple pole at \(\kappa _2 = \kappa _1\). It follows that \(L_n^\mathrm{reg}\) has the well-defined limit \(L^\mathrm{reg}\) defined in (3.8) as \(n \rightarrow \infty \). The key point is that the first double integral in (3.8) converges at the endpoints of \(\Gamma \) despite the fact that h is nonzero at these endpoints. The term \(L_n^\mathrm{rem}\), on the other hand, diverges as \(n \rightarrow \infty \) due to ever-growing contributions from the endpoints of \(\Gamma \). However, since \(L_n^\mathrm{rem}\) is independent of z, it can be absorbed into the coefficient \({\hat{K}}_0\).
Furthermore, there exists a constant C such that
$$\begin{aligned} e^{-\int ^{P}_{P_0}\omega _{\xi {\bar{\xi }}}}=C \sqrt{\frac{P-{\bar{\xi }}}{P-\xi }}, \quad P\in \Sigma _{z}, \end{aligned}$$
(8.11)
because both sides have a simple pole at \(\xi \) and a simple zero at \({\bar{\xi }}\) and are analytic elsewhere on \(\Sigma _{z}\). Hence,
$$\begin{aligned} \int _{\xi }^{{\bar{\xi }}}\omega _{\kappa ^{+}\kappa ^{-}}=-\int _{\kappa ^{-}}^{\kappa ^{+}}\omega _{\xi {\bar{\xi }}}=\left[ \log \sqrt{\frac{P-{\bar{\xi }}}{P-\xi }}\right] _{\kappa ^{-}}^{\kappa ^{+}} \in \pi i+2\pi i {\mathbb {Z}}. \end{aligned}$$
(8.12)
Consequently, the second term in the exponent in (8.5) is independent of z and can also be absorbed into the coefficient \({\hat{K}}_0\).
The above absorptions can be carried out by defining a new constant \(K_{0n}\) by
$$\begin{aligned} K_{0n}={\hat{K}}_0 e^{L_{n}^\mathrm{rem}+\int _{\Gamma _n}\mathrm {d}m_n(\kappa )\int _{\xi }^{{\bar{\xi }}}\omega _{\kappa ^{+}\kappa ^{-}}}. \end{aligned}$$
(8.13)
As the branch points condense, we have \({\hat{\Theta }}(v) \rightarrow \Theta (v_1)\) for each \(v \in \mathbb {C}^g\), where \(v_1\) denotes the first component of the vector \(v \in \mathbb {C}^g\). Using this fact together with (8.5), (8.10) and (8.13) to compute the limit of (8.2) as the branch points condense along \(\Gamma _n\), we see that the metric function \(e^{2\kappa _n}\) corresponding to the Ernst potential \(f_n\) can be expressed by
$$\begin{aligned} e^{2\kappa _n}=K_{0n}\frac{\Theta \!\begin{bmatrix} p_1 \\ 0 \end{bmatrix}\!\!\left( u_n\right) \!\Theta \!\begin{bmatrix} p_1 \\ 0 \end{bmatrix}\!\!\left( u_n+ \int _{\xi }^{{\bar{\xi }}}\omega \right) }{\Theta (0)\Theta \left( \int _{\xi }^{{\bar{\xi }}}\omega \right) }e^{ L_n^\mathrm{reg}}. \end{aligned}$$
(8.14)
We can now let \(p_1=0\) and take the limit \(n\rightarrow \infty \) in (8.9) and (8.14). Then \(f_n\) converges to solution (3.3) of BVP (2.8), and \(e^{2\kappa _n}\) converges to the associated metric function \(e^{2\kappa }\) given by
$$\begin{aligned} e^{2\kappa }=K_{0}\frac{\Theta \left( u\right) \!\Theta \left( u+ \int _{\xi }^{{\bar{\xi }}}\omega \right) }{\Theta (0)\Theta \left( \int _{\xi }^{{\bar{\xi }}}\omega \right) }e^{ L^\mathrm{reg}}, \end{aligned}$$
(8.15)
where \(K_0\) is a z-independent constant. This completes the proof of expression (3.6) for \(e^{2\kappa }\); the explicit expression (3.7) for the constant \(K_0\) will be derived in Sect. 9.
Fig. 8

The axis-adapted basis \(\{{\tilde{a}}, {\tilde{b}}\}\) on \(\Sigma _z\)

9 Solution Near the Rotation Axis

In this section, we first complete the proof Theorem 3.6 by studying the asymptotic behavior of the Ernst potential and the metric functions near the rotation axis \(\rho = 0\). We then use these results to establish expressions for \(a_0\) and \(K_0\), thus completing also the proof of Theorem 3.1.

As \(\rho \rightarrow 0\), the branch cut \([-i z, i {\bar{z}}]\) shrinks to a point and \(\Sigma _{z}\) degenerates to the genus zero Riemann surface \(\Sigma ^{\prime }\) defined by (2.15). In order to study this degeneration, we introduce the axis-adapted cut basis \(\{{\tilde{a}},{\tilde{b}}\}\) on \(\Sigma _{z}\) by (see Fig. 8)
$$\begin{aligned} \begin{pmatrix} {\tilde{a}} \\ {\tilde{b}} \end{pmatrix} = \begin{pmatrix} -1 &{}\quad 0 \\ 0 &{}\quad -1 \end{pmatrix} \begin{pmatrix} a \\ b \end{pmatrix}. \end{aligned}$$
(9.1)
It then follows from the transformation formula for theta functions (Fay 2006, Eq. 12) that there exists a constant \(c_{0}\) such that
$$\begin{aligned} \Theta (\tilde{{v}}|{\tilde{B}})=c_0 \Theta (v|B), \end{aligned}$$
(9.2)
where \({\tilde{v}}= -v\) and \({\tilde{B}}\) denotes the period matrix associated with \(\{{\tilde{a}},{\tilde{b}}\}\). Let \({\tilde{\omega }}\) and \({\tilde{u}}\) denote the analogs of \(\omega \) and u in the axis-adapted basis \(\{{\tilde{a}},{\tilde{b}}\}\) on \(\Sigma _{z}\). Then
$$\begin{aligned} {\tilde{\omega }}=-\omega ,\quad {\tilde{u}}=\int _{\Gamma ^{+}}h{\tilde{\omega }}=-u. \end{aligned}$$
(9.3)
It can also be verified by a residue computation that
$$\begin{aligned} \omega _{\infty ^{+}\infty ^{-}}={\tilde{\omega }}_{\infty ^{+}\infty ^{-}}-2\pi i {\tilde{\omega }} \end{aligned}$$
and consequently
$$\begin{aligned} I={\tilde{I}}-2\pi i {\tilde{u}} \quad \text {where} \quad {\tilde{I}} = \int _{\Gamma ^+}h {\tilde{\omega }}_{\infty ^{+}\infty ^{-}}. \end{aligned}$$
(9.4)
Using the notation \({\tilde{\Theta }}(v) \equiv \Theta (v|{\tilde{B}})\), we can rewrite expression (3.3) for the Ernst potential as
$$\begin{aligned} f(z)=\frac{{\tilde{\Theta }}({\tilde{u}}-\int _{-i z}^{\infty ^{-}}{\tilde{\omega }})}{{\tilde{\Theta }}({\tilde{u}}+\int _{-i z}^{\infty ^{-}}{\tilde{\omega }})}e^{{\tilde{I}}-2\pi i {\tilde{u}}}. \end{aligned}$$
(9.5)
Define \(c \equiv c(z) \in \mathbb {C}\), \(J' \equiv J'(\zeta ) \in {\mathbb {R}}\), and \(K' \equiv K'(\zeta ) \in \mathbb {C}\) by
$$\begin{aligned} c=\int ^{\infty ^{-}}_{k_{1}}{\tilde{\omega }}, \quad J^{\prime } = \int _{\Gamma ^{+}}h\omega ^{\prime }_{\zeta ^{+}\zeta ^{-}}, \quad K^{\prime } = \int _{k_1}^{\infty ^{-}}\omega ^{\prime }_{\zeta ^{+}\zeta ^{-}}, \end{aligned}$$
where \(\omega ^{\prime }_{PQ}\) denotes the abelian differential of the third kind on \(\Sigma ^{\prime }\). Recalling expression (2.16) for \(\omega ^{\prime }_{\zeta ^{+}\zeta ^{-}}\), we see that \(J'\) can be written as in (3.10).

Lemma 9.1

We have \(-e^{-K'} = d\), where \(d(\zeta )\) is the function in (3.10).

Proof

A direct computation shows that
$$\begin{aligned}\frac{d}{\mathrm{d}k}\log \bigg (\frac{\mu (k^+) \mu (\zeta ^+) -\zeta k+k_1^2}{k-\zeta }\bigg ) = \frac{\mu (\zeta ^+)}{(k-\zeta )\mu (k^+)}.\end{aligned}$$
Hence, using expression (2.16) for \(\omega ^{\prime }_{\zeta ^{+}\zeta ^{-}}\),
$$\begin{aligned} K'&= -\mu (\zeta ^+) \int _{k_1}^{\infty } \frac{\mathrm{d}k}{(k - \zeta ) \mu (k^+)} = -\log \bigg (\frac{\mu (k^+) \mu (\zeta ^+) - \zeta k+k_1^2}{k-\zeta }\bigg )\bigg |_{k=k_1}^{\infty } \\&= -\log (\mu (\zeta ^+) - \zeta ) + \log \bigg (\frac{- \zeta k_1+k_1^2}{k_1-\zeta }\bigg ) = -\log \bigg (\frac{\mu (\zeta ^+) - \zeta }{k_1}\bigg ), \end{aligned}$$
which implies \(e^{-K'} = (\mu (\zeta ^+) - \zeta )/k_1 = -d(\zeta )\). \(\square \)

The following lemma gives the behavior of several quantities near the rotation axis.

Lemma 9.2

Let \(\zeta > 0\). As \(\rho \rightarrow 0\), it holds that
$$\begin{aligned}&{\tilde{u}} =\frac{J^{\prime }}{2\pi i}+O(\rho ^{2}),\quad {\tilde{\Theta }}\bigg ({\tilde{u}} -\int _{-i z}^{\infty ^{-}}{\tilde{\omega }}\bigg ) =1-e^{J^{\prime }-K^{\prime }}+O(\rho ^{2}), \nonumber \\&c=\frac{K^{\prime }}{2\pi i}+O(\rho ^{2}),\quad {\tilde{\Theta }}\bigg ({\tilde{u}} +\int _{-i z}^{\infty ^{-}}{\tilde{\omega }}\bigg )=1-e^{-J^{\prime }-K^{\prime }}+O(\rho ^{2}), \nonumber \\&{\tilde{\Theta }}\bigg ({\tilde{u}} +\int _{-i z}^{i{\bar{z}}}{\tilde{\omega }}\bigg )=1+\beta \rho +O(\rho ^{2}),\quad {\tilde{\Theta }}\bigg ({\tilde{u}} +\int _{i {\bar{z}}}^{\infty ^{-}}{\tilde{\omega }}\bigg ) =1+e^{-J^{\prime }-K^{\prime }}+O(\rho ^{2}), \nonumber \\&{\tilde{\Theta }}({\tilde{u}}) =1-\beta \rho +O(\rho ^{2}), \quad {\tilde{\Theta }}\bigg ({\tilde{u}} +\int _{-i z}^{\infty ^{-}}{\tilde{\omega }}+\int _{i {\bar{z}}}^{\infty ^{-}}{\tilde{\omega }}\bigg )=-\frac{e^{-J^{\prime }-2K^{\prime }-M^{\prime }}}{\rho } +O(1), \end{aligned}$$
(9.6)
and
$$\begin{aligned} Q(u) =1-e^{-2J^{\prime }-2K^{\prime }}+O(\rho ^{2}), \quad {\tilde{I}} = O(\rho ^2), \end{aligned}$$
(9.7)
where \(\beta \in \mathbb {C}\) is a constant and \(M^{\prime }\) is defined by
$$\begin{aligned} M^{\prime }=\frac{1}{2}\lim _{\epsilon \rightarrow 0}\left( \int ^{(\zeta -\epsilon )^{+}}_{(\zeta -\epsilon )^{-}}\omega ^{\prime }_{\zeta ^{+}\zeta ^{-}}-2\log \epsilon -2\log 2 -\pi i\right) . \end{aligned}$$
The expansions in (9.6) and (9.7) remain valid if \({\tilde{u}}\) and \(J'\) are replaced by 0 in all places.

Proof

According to Fay (2006, Chap. III) , \({\tilde{\omega }}\) and \({\tilde{B}}\) admit the following expansions as \(\rho \rightarrow 0\):
$$\begin{aligned} {\tilde{\omega }} = \frac{1}{2\pi i }\omega ^{\prime }_{\zeta ^{+}\zeta ^{-}}+O(\rho ^{2}),\quad {\tilde{B}}=\frac{1}{\pi i} \log \rho +\frac{M^{\prime }}{\pi i} + O(\rho ^{2}). \end{aligned}$$
(9.8)
The expansions of \({\tilde{u}}\) and c follow directly from (9.8) and the definitions. Moreover, note that
$$\begin{aligned} \int ^{\infty ^{-}}_{-i z}{\tilde{\omega }}=c+\frac{{\tilde{B}}}{2}-\frac{1}{2}, \quad \int _{i{\bar{z}}}^{\infty ^-}{\tilde{\omega }}=c+\frac{{\tilde{B}}}{2}. \end{aligned}$$
(9.9)
By using (9.8), (9.9), and the expansions of \({\tilde{u}}\) and c, we get
$$\begin{aligned} {\tilde{\Theta }}\bigg ({\tilde{u}} -\int _{-i z}^{\infty ^{-}}{\tilde{\omega }}\bigg )= & {} \sum _{N\in \{0,1\}} e^{2\pi i (\frac{1}{2}{\tilde{B}}N(N-1)+N({\tilde{u}}-c+\frac{1}{2}))} \\&+\, O(\rho ^2) =1-e^{J^{\prime }-K^{\prime }} +O(\rho ^2). \end{aligned}$$
This establishes the expansion of \({\tilde{\Theta }}({\tilde{u}} -\int _{-i z}^{\infty ^{-}}{\tilde{\omega }})\); the other expansions in (9.6) are proved in a similar way. Note that (9.2) implies that Q(u) is invariant under the change of basis \(\{a,b\}\rightarrow \{{\tilde{a}},{\tilde{b}}\}\). The asymptotic behavior of Q(u) then follows by substituting the expansions in (9.6) into (3.5). Finally, we have \({\tilde{I}} = I' + O(\rho ^2)\) where \(I^{\prime }=\int _{\Gamma ^{+}}h\omega ^{\prime }_{\infty ^{+}\infty ^{-}}\). But \(I' = 0\) because h(k) is an odd function of k. This proves (9.7). \(\square \)

Proof of Theorem 3.6

In view of Lemma 9.2, behavior (3.11) of f near the rotation axis follows from (9.4) and (9.5). Asymptotics (3.13) of \(e^{2U}\) follows from Lemma 9.2 and the identity \(e^{2U(z)}=Q(0)e^{I}/Q(u)\). These computations lead to the expressions
$$\begin{aligned} f(i \zeta )=\frac{1-e^{J^{\prime }-K^{\prime }}}{1-e^{-J^{\prime }-K^{\prime }}}e^{-J^{\prime }}, \quad e^{2U(i \zeta )}=\frac{1-e^{-2K^{\prime }}}{1-e^{-2J^{\prime }-2K^{\prime }}}e^{-J^{\prime }}, \end{aligned}$$
(9.10)
for \(f(i \zeta )\) and \(e^{2U(i \zeta )}\). Using Lemma 9.1, we see that the expressions in (9.10) are consistent with expressions (3.12) and (3.14) obtained in Sect. 5.

The fact that \(a = O(\rho ^2)\) as \(\rho \rightarrow 0\) is a consequence of (2.4), (3.4) and Lemma 9.2. Similarly, in view of (2.7) and (3.6), it is clear that \(e^{2\kappa }-1 = O(\rho ^2)\). This completes the proof of Theorem 3.6. \(\square \)

Proof

(Proof of the expressions for \(a_0\) and \(K_{0}\)) Expressing (3.4) in the axis-adapted basis \(\{{\tilde{a}},{\tilde{b}}\}\) and letting \(\rho \rightarrow 0\) in the resulting equation, we find
$$\begin{aligned} a_0=\lim _{\rho \rightarrow 0}\frac{\rho }{Q(0)^2}\frac{{\tilde{\Theta }}({\tilde{u}} +\int _{-i z}^{\infty ^{-}}{\tilde{\omega }}+\int _{i {\bar{z}}}^{\infty ^{-}}{\tilde{\omega }})}{{\tilde{\Theta }}({\tilde{u}}+ \int _{-i z}^{i{\bar{z}}}{\tilde{\omega }})}e^{2\pi i {\tilde{u}}-{\tilde{I}}}. \end{aligned}$$
Using Lemma 9.2 we conclude that
$$\begin{aligned} a_0 = -\frac{e^{-2K' - M'}}{(1 - e^{-2K'})^2}. \end{aligned}$$
Letting \(\zeta \rightarrow \infty \) and using that \(\lim _{\zeta \rightarrow \infty } e^{-2K'} = 0\) and
$$\begin{aligned} \lim _{\zeta \rightarrow \infty }(M^{\prime }+2K^{\prime })=\frac{1}{2}\lim _{R\rightarrow \infty }\left( -\int ^{R^{+}}_{R^{-}}\omega ^{\prime }_{\infty ^{+}\infty ^{-}}-2\log R-2\log 2-\pi i\right) , \end{aligned}$$
we infer that
$$\begin{aligned} a_{0}=-2\mathrm {i} \lim _{R\rightarrow \infty }R \exp \left( \int _{k_{1}}^{R^{+}}\omega ^{\prime }_{\infty ^{+}\infty ^{-}}\right) = -2i\lim _{R \rightarrow \infty } \hbox {Re}^{-\int _{k_1}^{R} \frac{\mathrm{d}k}{\mu (k^+)}}. \end{aligned}$$
Since
$$\begin{aligned} \frac{d}{\mathrm{d}k} \log \big (k + \mu (k^+)\big ) = \frac{1}{\mu (k^+)}, \end{aligned}$$
we obtain the sought-after expression for \(a_0\):
$$\begin{aligned} a_0&= -2i\lim _{R \rightarrow \infty }\hbox {Re}^{-\log (k + \mu (k^+))\big |_{k_1}^{R}} = -2i\lim _{R \rightarrow \infty } \hbox {Re}^{-\log (R + \sqrt{R^2 + \frac{1}{4\Omega ^2}}) + \log k_1} = -\frac{1}{2\Omega }. \end{aligned}$$
Writing expression (3.6) for \(e^{2\kappa }\) in terms of the axis-adapted basis \(\{{\tilde{a}},{\tilde{b}}\}\), we get
$$\begin{aligned} e^{2\kappa }= K_0\frac{{\tilde{\Theta }}\left( {\tilde{u}}\right) {\tilde{\Theta }}\left( {\tilde{u}}+\int ^{i {\bar{z}}}_{-i z}{\tilde{\omega }}\right) }{{\tilde{\Theta }}\left( 0\right) {\tilde{\Theta }}\left( \int ^{i {\bar{z}}}_{-i z}{\tilde{\omega }}\right) } e^{\frac{1}{2}\int _{\Gamma }^{\prime }\mathrm {d}\kappa _1 h(\kappa _1)\int _{\Gamma }h(\kappa _2) \big (\frac{\partial {\tilde{\omega }}_{\kappa ^{+}_{1}\kappa ^{-}_{1}}}{\partial \kappa _1}(\kappa _2^{+})-\frac{\mathrm {d}\kappa _2}{(\kappa _2-\kappa _1)^2} \big )}. \end{aligned}$$
Expression (3.7) for \(K_0\) follows by letting \(\rho \rightarrow 0\) and using that \(e^{2\kappa }=1\) on the rotation axis. This completes the proof of the formulas for \(a_0\) and \(K_0\) and thus also of Theorem 3.1. \(\square \)

Footnotes

  1. 1.

    The result is independent of whether \(\Gamma \) is deformed to the left or right of the singularity.

Notes

Acknowledgements

Pei would like to thank Mats Ehrnström and Yuexun Wang for their hospitality at NTNU where part of the research presented in this paper was conducted. The support from the European Research Council, Grant Agreement No. 682537, the Swedish Research Council, Grant No. 2015-05430, and the Göran Gustafsson Foundation is acknowledged.

References

  1. Bardeen, M., Wagoner, R.V.: Uniformly rotating disks in general relativity. Astrophys. J. 158, L65–L69 (1969)CrossRefGoogle Scholar
  2. Bardeen, M., Wagoner, R.V.: Relativistic disks. I. Uniform rotation. Astrophys. J 167, 359–423 (1971)MathSciNetCrossRefGoogle Scholar
  3. Bičák, J.R.: Selected solutions of Einstein’s field equations: their role in general relativity and astrophysics. In: Einstein’s Field Equations and Their Physical Implications. Lecture Notes in Physics, vol. 540, pp. 1–126. Springer, Berlin (2000)Google Scholar
  4. Ernst, F.J.: New formulation of the axially symmetric gravitational field problem. Phys. Rev. 167, 1175–1178 (1968)CrossRefGoogle Scholar
  5. Farkas, H.M., Kra, I.: Riemann Surfaces. Springer, New York (1992)CrossRefzbMATHGoogle Scholar
  6. Fay, J.D.: Theta Functions on Riemann Surfaces, vol. 352. Springer, New York (2006)zbMATHGoogle Scholar
  7. Fokas, A.S.: A unified transform method for solving linear and certain nonlinear PDEs. Proc. R. Soc. Lond. A 453, 1411–1443 (1997)MathSciNetCrossRefzbMATHGoogle Scholar
  8. Klein, C., Richter, O.: Physically realistic solutions to the Ernst equation on hyperelliptic Riemann surfaces. Phys. Rev. D 58, 124018 (1998)MathSciNetCrossRefGoogle Scholar
  9. Klein, C., Richter, O.: Ernst Equation and Riemann Surfaces: Analytical and Numerical Methods, vol. 685. Springer, New York (2005)zbMATHGoogle Scholar
  10. Korotkin, D.A., Matveev, V.B.: Theta function solutions of the Schlesinger system and the Ernst equation. Funct. Anal. Appl. 34, 252–264 (2000)MathSciNetCrossRefzbMATHGoogle Scholar
  11. Lenells, J.: Boundary value problems for the stationary axisymmetric Einstein equations: a disk rotating around a black hole. Commun. Math. Phys. 304, 585–635 (2011)MathSciNetCrossRefzbMATHGoogle Scholar
  12. Lenells, J., Fokas, A.S.: Boundary-value problems for the stationary axisymmetric Einstein equations: a rotating disc. Nonlinearity 24, 177–206 (2011)MathSciNetCrossRefzbMATHGoogle Scholar
  13. Meinel, R., Ansorg, M., Kleinwächter, A., Neugebauer, G., Petroff, D.: Relativistic Figures of Equilibrium. Cambridge University Press, Cambridge (2008)CrossRefzbMATHGoogle Scholar
  14. Neugebauer, G.: Gravitostatics and rotating bodies. In: General Relativity (Aberdeen, 1995), pp. 61–81. Scott. Univ. Summer School Phys., Edinburgh (1996)Google Scholar
  15. Neugebauer, G., Meinel, R.: The Einsteinian gravitational field of the rigidly rotating disk of dust. Astrophys. J. 414, L97–L99 (1993)CrossRefGoogle Scholar
  16. Neugebauer, G., Meinel, R.: General relativistic gravitational field of a rigidly rotating disk of dust: axis potential, disk metric, and surface mass density. Phys. Rev. Lett. 73, 2166 (1994)CrossRefGoogle Scholar
  17. Neugebauer, G., Meinel, R.: General relativistic gravitational field of a rigidly rotating disk of dust: solution in terms of ultraelliptic functions. Phys. Rev. Lett. 75, 3046 (1995)MathSciNetCrossRefzbMATHGoogle Scholar

Copyright information

© The Author(s) 2019

Open AccessThis 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.

Authors and Affiliations

  1. 1.Department of MathematicsKTH Royal Institute of TechnologyStockholmSweden

Personalised recommendations