Abstract
We study harmonic maps from a subset of the complex plane to a subset of the hyperbolic plane. In Fotiadis and Daskaloyannis (Nonlinear Anal 214, 112546, 2022), harmonic maps are related to the sinh-Gordon equation and a Bäcklund transformation is introduced, which connects solutions of the sinh-Gordon and sine-Gordon equation. We develop this machinery in order to construct new harmonic maps to the hyperbolic plane.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction and statement of the results
This article has been motivated by the following open problem: how can we construct a harmonic map explicitly?
The construction of harmonic maps from a Riemann surface to the hyperbolic plane is a classical problem. Many beautiful results have been achieved in this direction, for example, Wolf’s parametrization of Teichmüller space via harmonic maps [33], the study of Au-Tam-Wan [3] and others of harmonic maps to ideal polygons with polynomial Hopf differential, the construction of a harmonic diffeomorphism from the complex plane which solved a conjecture of Schoen [8], and so on.
In this paper, our aim is to construct harmonic maps between Riemann surfaces when the curvature in the target is a negative constant, say \(-1\). We should emphasize that our construction is local, thus we consider an open simply connected set that contains the origin and we consider the target to be a subset of the hyperbolic plane \({\mathbb {H}}^2\). For that, we develop some of the machinery introduced in [11], which connects the harmonic map problem with elliptic versions of the sinh-Gordon and sine-Gordon equation.
Let \(w=w(x,y)\) be a solution of the sinh-Gordon equation
where \(\Delta =\partial _{xx}^2+\partial _{yy}^2\) is the Laplacian with the flat metric and let \(u=u(z, {\bar{z}})\) be a solution of the Beltrami equation
and \(z=x+iy\) lie in an open simply connected subset \(\Omega \) of \({\mathbb {C}}\) where the map u is a well defined \(C^{2}\) map. Without loss of generality we assume that \(\Omega \) contains the origin. Then, u is a harmonic map, if the curvature of the target is \(-1\) [11, Theorem 1, Corollary 2].
Definition 1
For w and u as above, we say that u is the harmonic map that corresponds to the solution w of the sinh-Gordon (1).
From now on, consider the target surface fixed and realized as the hyperbolic half plane \({\mathbb {H}}^2\). Using a specific coordinate system on the domain (see Sect. 2 for more details), the harmonic map equation under study becomes
This is possible because the Hopf differential is assumed to be non vanishing.
In [11], it is proved that the system
is a Bäcklund transformation that connects a solution \(w=w(x,y)\) of the sinh-Gordon equation (1) and a solution \(\theta =\theta (x,y)\) of the sine-Gordon equation
This motivates us to define the following class of functions.
Definition 2
We say that the pair of functions \((w,\theta )\) is in the class (BT), if the functions w and \(\theta \) satisfy (4)–(5). Consequently, w is a solution of the sinh-Gordon equation (1) and \(\theta \) is a solution of the sine-Gordon equation (6).
From now on we assume that \((w,\theta )\in (BT)\). Set
We first prove the following result.
Proposition 3
Define the function S by
and the function R by
Then,
is the harmonic map that corresponds to w. The domain of R and S is the largest possible open simply connected subset of \({\mathbb {C}}\) containing the origin so that the above expressions make sense.
Remark
Observe that the function S, by its definition preserves the sign of the initial data S(0, 0). Also, the image of u is a subset of \({\mathbb {H}}^2\). However, these maps are not necessarily injective on their domain, as can be easily seen by Example 11.
Therefore, given a pair of functions \((w,\theta )\) that satisfies the Bäcklund transformation, there is an implicit formula for a harmonic map to the hyperbolic plane that involves the integrals \(I_1, I_2, I_3, I_4\). We provide an example of a harmonic map, first studied in [11, Section 7], that we recover by the algorithm of Proposition 3.
We next characterize the solutions w of the sinh-Gordon equation that are of the form
for some non-constant functions F and G. These functions, in general, turn out to be elliptic (only in certain cases they reduce to elementary functions). We also prove that the initial value problem \(\Delta w=2\sinh (2w)\), \(\partial _{y}w(x,0)=0\), admits a solution of the form (7), see Proposition 13 for a class of such solutions. In this case, we determine \(\theta \) by considering a subclass of (BT).
Definition 4
We say that the pair of functions \((w,\theta )\) is in the class \((BT_0)\), when the pair is in (BT) and \(\partial _{y}w(x,0)=0\), \(\theta (0,0)=\frac{\pi }{2}\).
For this selection of \((w, \theta )\), and w a solution of the form (7), we apply Proposition 3 in order to prove our first main result, which provides an explicit formula for a harmonic map that corresponds to w. This is a special case of the more general problem of finding all solutions of the sinh-Gordon equation, and the corresponding harmonic maps. Thus, it is a step (although small) towards the solution of the harmonic map problem.
Next, we state our first main result.
Theorem 5
Assume that \(w(x,y)=2{{\,\textrm{arctanh}\,}}({F(x)}{G(y)})\), \(b(x)=\frac{F^{\prime }(x)}{2F(x)}\) and \((w,\theta )\in (BT_0)\). Define the functions S and R on the largest possible open simply connected subset of \({\mathbb {C}}\) containing the origin so that
and
make sense, where \(X=X(x)=\int _0^x \cosh w(t,0)dt\). Then \(u(x,y)=R(x,y)+iS(x,y)\) is the harmonic map that corresponds to w.
Using the machinery of Theorem 5, we construct an entirely new harmonic map to the hyperbolic plane. At this point, it is worth mentioning that the initial condition \(\theta (0,0)=\frac{\pi }{2}\) was chosen just to facilitate computations; any other initial condition for \(\theta \) at the origin would provide a corresponding harmonic map.
In [11], the approach pursued by the authors on the construction of harmonic maps, is to first consider a one-soliton (i.e., \(w=w(x)\)) solution of the sinh-Gordon equation and then solve the Beltrami equation (2) to find a harmonic map that corresponds to w. However, if \(w(x,y)=2{{\,\textrm{arctanh}\,}}({F(x)}{G(y)})\), and both F, G are elliptic functions, then this Beltrami equation turns out to be equivalent to a Riccati equation. Therefore, explicit construction of harmonic maps by this approach is rather implausible. Instead, in place of the Beltrami equation, we use the Bäcklund transformation combined with Theorem 5, to provide an explicit formula for a harmonic map in terms of the functions w and \(\theta \).
Next, instead of considering solutions to the sinh-Gordon equation first, we investigate the case of solutions to the sine-Gordon equation as a starting point. In particular, we prove that if \(\theta =\theta (x)\) is a solution to the sine-Gordon equation (6), then the function w determined by the Bäcklund transformation is of the form (7). We then provide an explicit formula for the corresponding harmonic map.
Our second main result is the following.
Theorem 6
Let \(\theta =\theta (x)\) be a solution to the sine-Gordon equation and let w be the associated solution to the Bäcklund transformation. Set \(a = 2\cos \theta (0) + \theta '(0)\), \(b = 2\cos \theta (0) - \theta '(0)\), and \(k\in {\mathbb {C}}\) such that \(\tanh \frac{w(0,0)}{2}=- {\sqrt{\frac{a}{b}}\tan (k)}\). Then, the harmonic map \(u=R+iS\) that corresponds to w is given by
where
The domain of R and S is the largest possible open simply connected subset of \({\mathbb {C}}\) containing the origin so that the above expressions make sense.
As an application of Theorem 6, we construct an entirely new example of a harmonic map from an open simply connected set to a subset of the hyperbolic plane, when the Hopf differential is non vanishing.
Apart from the constructions [3, 8, 33] already mentioned, there are many examples of harmonic diffeomorphisms, see for example [7, 21, 30, 33, 34, 36]. For instance, a minimal surface in \({\mathbb {H}}^2\times {\mathbb {R}}\) projects to a harmonic map to \({\mathbb {H}}^2\). The study of harmonic diffeomorphisms between Riemannian surfaces is central to the theory of harmonic maps (see for example [16, 29] and observe that a twisted harmonic map, is a harmonic map in a local sense and that each harmonic map induces a solution of Hitchin self-duality equations). The most interesting case is when the surfaces are of constant curvature (see for example [2, 18, 21, 23, 26, 28, 30, 33,34,35] and the references therein). In [14, 26, 33,34,35], the geometry of harmonic maps between hyperbolic surfaces is studied, while in [24] the author proves a conjecture of R. Schoen on harmonic diffeomorphisms between hyperbolic spaces. For further results about the harmonic map equations see also [14, 15, 26, 29, 33,34,35]. There is a similar analysis of the Wang equation, which is applied in the study of affine spheres in [9, 22, 27] and [20] explains the relation between the harmonic map and Wang equations with CMC surfaces and hyperbolic affine spheres in \({\mathbb {R}}^3\), while for connections with the anti-de Sitter geometry, see for instance [31] and [5].
Harmonic maps to surfaces of constant curvature are closely related to the elliptic sinh-Gordon equation. The sinh-Gordon and sine-Gordon equations have many applications and they have both been the subject of extensive study, [10, 17]. Furthermore, the sinh-Gordon equation was crucial to the breakthrough work [32] on the Wente torus. There is a close relation to the theory of constant mean curvature surfaces as well, [12, 19]. For some striking relations of the sinh-Gordon equation with the CMC surfaces in Minkowski geometry we refer the reader to the papers [4, 6].
The outline of this paper is as follows. In Sect. 2 we recall some basic notations and review certain known results. In Sect. 3 we prove Proposition 3 and in Sect. 4 we construct new solutions of the sinh-Gordon equation that are of the form \(w(x,y)=2{{\,\textrm{arctanh}\,}}({F(x)}{G(y)})\). In Sect. 5, for this class of w, we find the explicit formula of a harmonic map that corresponds to \((w,\theta )\in (BT_0)\). Finally, in Sect. 6, we discuss one-soliton solutions of the sine-Gordon equation and the construction of the corresponding harmonic map.
2 Preliminaries
In this section we discuss some necessary preliminaries.
Let \(u: M \rightarrow N\) be a map between Riemann surfaces (M, g), (N, h). The map u is locally represented by \(u = u(z, {\bar{z}}) = R + iS\), where \(z=x+iy\). From now on, we use the standard notation:
Recall that isothermal coordinates on a Riemannian manifold are local coordinates where the metric is conformal to the Euclidean metric. The existence of isothermal coordinates on an arbitrary surface with a real analytic metric is a well-known fact, first proved by Gauss (see for instance [13, Section 8, p.396]). Consider an isothermal coordinate system (x, y) on M such that
where \(z = x + iy\), and an isothermal coordinate system (R, S) on N such that
where \(u = R + iS\). The Gauss curvature on the target is given by the formula
In isothermal coordinates, a map between two surfaces is harmonic if and only if it satisfies
see [13, Section 8, p.397]. Note that this equation only depends on the conformal structure of N.
The Hopf differential of u is given by
It is well-known that if u is holomoprhic or antiholomorphic then the zeros of \(\partial _z u\) and \(\partial _{{\bar{z}}} u\) are isolated of finite order, [29, Proposition 2.1]. Due to the local nature of our study, we may assume from now on that \(\Lambda \) does not vanish locally.
We will make use of the following proposition.
Proposition 7
A necessary and sufficient condition for a \(C^2\) map u with non vanishing Hopf differential, and an almost everywhere non vanishing Jacobian, to be a harmonic map, is that
where \(\mu (z)\) is a holomorphic function.
Proof
We sketch the proof for the reader’s convenience. Assume first that u is a harmonic map. Then the harmonic map equation (8) is equivalent to
Then, the claim follows under the assumption that u has non vanishing Hopf differential.
For the converse direction, let \(e^{-\mu (z)}\) be holomorphic. Then, observe that
Thus, differentiating these equations in terms of \({\bar{z}},z\) respectively, we find
and
Taking into account that the Jacobian
is non vanishing almost everywhere, we deduce that the harmonic map equation holds true almost everywhere. Then, under the \(C^2\) assumption on u we deduce that u is harmonic everywhere. \(\square \)
A fundamental result in the theory of harmonic maps, which connects the harmonic map problem with the sinh-Gordon equation, is the following.
Proposition 8
([26, 33]) Let \(u:M\rightarrow N\) be a harmonic map. Then, it satisfies the Beltrami equation
and \(\phi \) is a harmonic function, i.e. \(\partial ^2_{z{\bar{z}}}\phi =0\). Furthermore, if \(\psi \) is the conjugate harmonic function to \(\phi \), then
where \(K_N\) is the curvature of the target manifold N.
On the domain, we can choose a specific coordinate system in order to considerably facilitate the calculations. This specific system is defined by the conformal transformation
This transformation is well defined since we work on a simply connected subset and we can assume that the Hopf differential is not vanishing since its zeroes are isolated. In this specific system the above equations simplify by considering \(\mu (z)=0\). In other words, under the assumption that the Hopf differential does not vanish, we may assume that \(\mu =0\). In particular, the harmonic map condition (9) becomes
It follows from Proposition 8 that the harmonic map u determined by (10) satisfies the Beltrami equation (2), where in turn the function \( w(z, {\bar{z}})\) occurring in the Beltrami coefficient satisfies the sinh-Gordon equation (1). Conversely, as we have already mentioned, if w is a solution of the sinh-Gordon equation (1) and u is a solution of the Beltrami equation (2), then, u is a harmonic map, [11]. As a result, there is a classification of harmonic diffeomorphisms via the classification of the solutions of the sinh-Gordon equation. For further details about the association of the harmonic map problem to the sinh-Gordon equation, we refer to [11, Section 3]. From now on, we use the aforementioned specific coordinate system.
We assume that the target is the upper half hyperbolic plane
equipped with the hyperbolic metric
of curvature \(-1\). As mentioned earlier, in the specific coordinate system, the map \(u=R+iS\) is harmonic if (3) holds true, or equivalently if the following system is satisfied:
Finally, as we have described, our approach has as its starting point the Bäcklund transformation (4)–(5). For computational reasons, let us point out that it is more convenient to verify that a pair \((w, \theta )\) is a solution if the following system holds:
where \(W=\tanh \frac{w}{2}\) and \(\Theta =\tan \frac{\theta }{2}\).
3 Proof of Proposition 3
In this section we consider \((w,\theta )\in (BT)\). In other words, w and \(\theta \) are related by the Bäcklund transformation. Our aim is to construct a harmonic map that corresponds to w. As usual, the target is assumed to be the upper half-plane equipped with the hyperbolic metric. We first observe that the following result holds true.
Lemma 9
Assume that \((w,\theta )\in (BT)\). Then, there exist functions R and S such that
Proof
The existence of the functions R and S is ensured by the Bäcklund transformation of w and \(\theta \). Indeed, the compatibility conditions
follow by the Bäcklund transformation equations (4)–(5). \(\square \)
Remark
The Jacobian of the map u is \(J(u)=2S^2 \sinh {2w}\).
Our next goal is to prove the following result, which plays a key role for the proof of Proposition 3.
Lemma 10
Assume that \((w,\theta )\in (BT)\) and let (R, S) satisfy the system of Eqs. (13)–(16). Then,
is the harmonic map to the hyperbolic plane that corresponds to w.
Proof
Consider
and observe that
Similarly, we compute
By (17) and (18), it follows that
Furthermore, by (10), the conformal factor in the target metric is equal to
Thus, u is a harmonic map to the hyperbolic upper half hyperbolic plane that corresponds to w. \(\square \)
Given now w and \(\theta \), we find the associated harmonic map \(u=R+iS\). More precisely, we provide the implicit formulas for R and S that involve the integrals \(I_1, I_2, I_3, I_4\).
End of the proof of Proposition 3
Our task is now to solve the system (13)–(16). We begin with (13) for \(y=0\), which yields
Integrating, we obtain
So, (14) implies that
Thus
In order now to compute R(x, y), we consider (15) for \(y=0\), which yields
So, (16) implies that
thus
\(\square \)
We now provide a concrete example of a harmonic map to show how the algorithm in Proposition 3 can be implemented. In particular, we recover the harmonic map obtained in [11, Section 7].
Example 11
Suppose that \(\tanh {\frac{w(x,y)}{2}}=\frac{2y}{\cosh {2x}}\) and consider the case \(R(0,0)=0\), \(S(0,0)=-\frac{1}{4}\) as in [11, p.22]. Using the Bäcklund transformation we find that
Then, a lengthy calculation yields
and therefore,
One can verify by (11)–(12) that \(u=R+iS\) is a harmonic map to the hyperbolic plane that corresponds to w.
The domain of definition of u is the set
where the map is a well defined \(C^{2}\) map whose Jacobian is almost everywhere non vanishing.
4 The sinh-Gordon equation
In this section we provide a new family of solutions of the sinh-Gordon equation.
The motivation for obtaining solutions of the sinh-Gordon equation is their correspondence to harmonic maps between surfaces, as described in Sect. 2. In addition, it is exactly the form of the special solutions to the sinh-Gordon equation considered in this section, that will allow explicit expressions of harmonic maps to hyperbolic plane. We therefore postpone our main goal, the construction of harmonic maps, to the next section.
In [11, Section 5], the authors construct harmonic maps when w is a one-soliton solution to (1). In some sense, they obtain solutions to this sinh-Gordon equation that are of the form
In what follows, we focus on solutions to the sinh-Gordon equation (1) that are of the form (7), i.e. \(w(x,y)=2{{\,\textrm{arctanh}\,}}({F(x)}{G(y)})\). Without loss of generality, we assume that F and G are non-constant functions.
Notice that condition (7) is equivalent to \(b=\frac{\partial _{x}w(x,y)}{2\sinh {w(x,y)}}=b(x),\) where \(b(x)=\frac{F'(x)}{2F(x)}\). One can prove that (7) is also equivalent to the differential equation
Indeed, for the one direction, starting from \(\tanh \frac{w}{2}=FG\) we get \(\partial _x w=\frac{F'}{F}\sinh w\) and \(\partial _y w=\frac{G'}{G}\sinh w\). Thus, differentiating \(w_x\) in y and using \(w_y\), we get (19). Conversely, integrating \(\frac{\partial ^2_{xy}w}{\partial _x w}=\partial _y w \coth w\) in y yields \(\frac{\partial _x w}{\sinh w}=b(x)\). Integrating in x, we get for some c(y) that \(\log \left| \tanh \frac{w}{2} \right| =\int b(x)dx+c(y)\), whence the claim follows. In [1], the authors were lead to this equation for geometric reasons related to CMC surfaces. It is an open problem to relate this equation with the geometry of harmonic maps.
The basic idea is that under condition (7), we can solve this sinh-Gordon equation by a separation of variables argument. Then, the problem is reduced to solving certain non-linear ODEs, which in turn can be solved by the use of elliptic functions.
We now prove the following result.
Proposition 12
If w is a solution of the sinh-Gordon equation (1) of the form
then the functions F, G satisfy the differential equations
where A, B, C are arbitrary constants.
Proof
Set \(G(y)=\frac{1}{H(y)}\). Writing \(w=2{{\,\textrm{arctanh}\,}}\frac{F(x)}{H(y)}\), we find from (1) that
Differentiating with respect to x and y, we obtain
or
Therefore,
Integrating twice and taking into account (22), we obtain
and
Finally, we find
\(\square \)
An argument similar to the one used in [19], reveals that the following result, which is a special case of Proposition 12, holds true.
Proposition 13
Let \(w_0>0\), and \(\alpha ,\beta >0\), such that
Consider f(x), g(y) such that
with \(f(0)=0\), \(f'(0)=-4\alpha \), \(g(0)=0\), \(g'(0)=-4 \beta \). Then the function w(x, y) given by
is such that \(\Delta w=2\sinh (2w)\) and \(w(0,0)=w_0\).
Finally, note that in general, F and G in Proposition 12, and f and g in Proposition 13 respectively, are given in terms of elliptic functions, but reduce to elementary functions for certain choices of the coefficients of the ODEs. In particular, we observe that the only case where one of the functions f, g is elementary is when \(|\alpha -\beta |=1\). In this case actually both functions f, g end up to be elementary.
5 A new family of harmonic maps
In this section we assume that \((w,\theta )\in (BT_0)\) and w is of the form (7). In other words, the functions \(w=2{{\,\textrm{arctanh}\,}}(F(x)G(y))\) and \(\theta \) are related by the Bäcklund transformation and \(\partial _{y}w(x,0)=0\), \(\theta (0,0)=\frac{\pi }{2}\). We start with a given solution w of the sinh-Gordon equation and we find a formula for \(\theta \) using the Bäcklund transformation. We finally find a formula for the harmonic map u that corresponds to w.
5.1 Bäcklund transformation
Our first task is to solve the system (4)–(5). Suppose that w is a solution of the sinh-Gordon equation, of the form
Define
The new variable Y appears in the following lemma, which serves as an intermediate step for the formula of the harmonic map in Theorem 5, where the other variable X appears. We claim that we can find explicit expressions of X and Y in terms of x and y. Assuming for the moment that this claim is true, we complete the construction of \(\theta \) as follows, in the special case when \(\partial _{y}w(x,0)=0,\) \(\theta (0,0)=\frac{\pi }{2}\).
Lemma 14
If \( w(x,y)=2{{\,\textrm{arctanh}\,}}({F(x)}{G(y)})\), \(b(x)=\frac{F^{\prime }(x)}{2F(x)}\) and \((w,\theta )\in (BT_0)\), then
where
and
Proof
By assumption, we have
Taking (5) for \(y=0\) and applying (26), gives
Given the initial condition \(\theta (0,0)=\frac{\pi }{2}\), we can take
Next, observe that since \(w(x,y)=2{{\,\textrm{arctanh}\,}}({F(x)}{G(y)})\), we have
hence (4) implies
An integration yields
where
and
\(\square \)
Note that the only, but crucial use of the condition (23) is that \(\frac{\partial _{x}w(x,y)}{2\sinh {w(x,y)}}=\frac{F'(x)}{2F(x)}=b(x)\) is a function of x, which facilitates the integration in (27).
It remains to find explicit formulas of X and Y in terms of x and y. Recall that by (24) and (25), these expressions are given by
and
where F and G are determined by (20) and (21), respectively. Therefore, F and G are elliptic functions in general, making the integrals in the computation of X and Y nontrivial. In order to compute these integrals, we make use of (20) and (21) respectively.
Write
Hence,
This integral can be computed explicitly and it involves first and third kind elliptic functions.
Similarly, we write
Hence,
This integral can be computed explicitly and it is an elementary function of \(G^2(y)\).
5.2 The corresponding harmonic maps.
Given Lemma 14 we now complete the proof of our main result.
End of the proof of Theorem 5
Note that from Lemma 14 we know the formula of \(\theta \). Thus, it is left to express the harmonic map in terms of \(\theta \) and \(b=\frac{\partial _{x}w(x,y)}{2\sinh {w(x,y)}}=b(x)\). The proof relies on the formulas given by Proposition 3. The trick of the proof is to use (27) in order to substitute
in the integrals \(I_2\) and \(I_4\). For \(I_1\) and \(I_3\), we use the initial condition \(\theta (x,0)=\frac{\pi }{2}\). A direct calculation now yields
Then the result follows by Prosopition 3 and a straightforward computation of R and S.
We elaborate on this result by an example motivated by Proposition 13. We consider the case \(\alpha =1, \beta =2\), \(\tanh {\frac{w(0,0)}{2}=\frac{\sqrt{2}}{2}}\) in Proposition 13, which implies that both f, g are elementary functions. Next, using Theorem 5 we provide an entirely new harmonic map to the hyperbolic plane.
Example 15
Consider \(S(0,0)=1\), \(R(0,0)=0\) and \(\tanh {\frac{w(x,y)}{2}}=\frac{\sqrt{2}}{2}\frac{\cosh {(2\sqrt{2}y)}}{\cos {(2x)}}\). We find
and
After a lengthy computation we obtain
and
Therefore, \(u=R+iS\) is the harmonic map that corresponds to w.
The domain of definition of u is the set
where the map is a well defined \(C^{2}\) map whose Jacobian is almost everywhere non vanishing.
6 One-soliton solutions of the Sine-Gordon equation
In the previous section, we started with a special solution w to the sinh-Gordon equation and then determined \(\theta \) by the Bäcklund transformation, in order to construct harmonic maps by the algorithm proposed in Proposition 3. We now follow the reverse direction, and start with a special solution \(\theta \) to the sine-Gordon equation.
More precisely, we are motivated by an example in [11, p.18], where a special solution \(\theta =\theta (x)=\arcsin \tanh (2x)\) of the sine-Gordon equation is considered. Notice that in the aforementioned example, \(\theta (x)\) is an elementary function. However, we prove in this section that in general \(\theta (x)\) is an elliptic function. In addition, we prove that if \(\theta =\theta (x)\) is a solution to the sine-Gordon equation (6), then the function w determined by the Bäcklund transformation is in the family of solutions that we have studied in Sect. 4, i.e. \(w={{\,\textrm{arctanh}\,}}(F(x)G(y))\). Next, we provide an explicit formula for the corresponding harmonic map.
For clarity reasons, we first present the definitions and properties of the elliptic Jacobi functions. The formulation used in this paper is taken from [25].
The elliptic integral of the first kind \(F(\phi \vert n)\) and the Jacobi elliptic function \(\textrm{sn}(v\vert n)\) are defined by the formula
where
Define
We first prove the following result, which provides the characterization for w.
Proposition 16
If \(\theta = \theta (x)\) is a solution of the sine-Gordon equation
then the associated solution w of the sinh-Gordon equation is
where \(a = 2\cos \theta (0) + \theta '(0)\), \(b = 2\cos \theta (0) - \theta '(0)\), and \(k\in {\mathbb {C}}\) is such that \(\tanh \frac{w(0,0)}{2}=- {\sqrt{\frac{a}{b}}\tan (k)}\).
Remark
The above formula holds true also for the case \(a b <0.\)
Proof
Our first task is to determine the function \(\theta \). Consider \(\theta = \theta (x)\) to be a solution of the sine-Gordon equation
Then,
and therefore
where \(c^2 = \theta '(0)^{2} + 4\sin ^2\theta (0)\). A simple calculation reveals that
which implies
Moreover, we have
from which we derive the following differential equation
Note that this implies
We next prove that the function w is of the form \(w=2{{\,\textrm{arctanh}\,}}(F(x)G(y))\). For that, we turn to the Bäcklund transformation, which rewrites as
Integrating (31), we get
It follows that
where \(I(x) = \int _{0}^{x}\sin \theta (s)ds\).
We now apply Theorem 12 to find an explicit formula for G(y). Set
By Theorem 12, the function F satisfies
for some constants A, B, C. We next determine these constants.
Observe first that I(x) can be computed explicitly:
This implies that
Differentiating \(F(x)=e^{-2I(x)}\) and using (28), we obtain \(F'(x)/F(x)=-2\textrm{sn}(cs+c_1|\frac{4}{c^2})\). Plugging this quotient into the left hand side of (33) and using the elliptic expressions (35) and (36) for the right hand side, we obtain \(A = - \frac{a^{2}}{4}\), \(B = \frac{c^{2} + 4}{2}=\frac{8-ab}{2}\) and \(C = - \frac{b^{2}}{4}\).
Finally, by Theorem 12, the function G(y) satisfies the equation
Choose
where \(\tanh \frac{w(0,0)}{2}=- {\sqrt{\frac{a}{b}}\tan (k)}\). Then, one can verify that w(x, y) satisfies the second equation (32) of the Bäcklund transformation, so we have found the associated w(x, y) to \(\theta (x)\). \(\square \)
Having calculated \(\theta (x)\) and w(x, y), we are now ready to compute the corresponding harmonic map by calculating the integrals \(I_{1}\), \(I_{2}\), \(I_{3}\) and \(I_{4}\) in Proposition 3.
Proof of Theorem 6
First, observe that (29) with (35) and (36) imply that
Let us start from \(I_1\). Since \(I'(x)=\left( \int _{0}^{x}\sin \theta (s)ds \right) '=\sin \theta (x)\) and \(\tanh \frac{w(x,y)}{2}=e^{-2I(x)}G(y)\), applying an elementary trigonometric equality we obtain
or
Using (40), (39) and (38), we conclude
Next, we compute \(I_2\). Once again, using that \(\tanh \frac{w(x,y)}{2}=F(x)G(y)\) as well as an elementary trigonometric equality, we obtain
An application of (37) and a change of variables, yield
where in the last step we used (39), (30) and the fact that \(ab=4-c^2\). A manipulation similar to the one used to derive (42) therefore gives
Then, by Proposition 3, we have
We proceed to \(I_3\). Due to (34), it can be written as
On the one hand, since \(F(x) = e^{-2I(x)}\) satisfies (33) with \(A = - \frac{a^{2}}{4}\), \(B = \frac{8-ab}{2}\) and \(C = - \frac{b^{2}}{4}\), we get
therefore
On the other hand, replacing \(e^{2I_1(x)}\) by (41), we can write
where we used the change of variables \(u=e^{2I(x)}=1/F(x)\) and (40). Thus, taking into account (38), we find
where \(J(t)=\int _{1}^{t} \frac{u^{2} + G^{2}(0)}{u^{2}} \frac{bu^{2} + a}{\sqrt{2(8-ab)u^{2} - a^{2} - b^{2}u^{4}}} du.\) Note that J can be computed by the use of elliptic integrals.
Finally, for the last integral \(I_4\) we have
where in the last step we used (42) and (43). The calculation of \(R(x,y) = R(0,0) + 2\,S(0,0)(I_{3}(x) - I_{4}(x,y))\) is now complete.
Next, using Theorem 6, we provide an entirely new harmonic map to the hyperbolic plane.
Example 17
Consider the case when \(\theta (0) = 0\), \(\theta '(0) = 1\), \(G(0) = 0=\tanh \frac{w(0,0)}{2}\), \(S(0,0) = 1\) and \(R(0,0) = 0\). Then, we compute
and
Therefore,
Then, the corresponding harmonic map then is \(u(x,y) = R(x,y) + iS(x,y)\), where
and
where \(J(t)=\int _{1}^{t} \frac{u^{2} + G^{2}(0)}{u^{2}} \frac{bu^{2} + a}{\sqrt{2(8-ab)u^{2} - a^{2} - b^{2}u^{4}}} du.\)
The domain of definition of u is the set of
where the map is a well defined \(C^{2}\) map whose Jacobian is almost everywhere non vanishing.
References
Abresch, U.: Constant mean curvature tori in terms of elliptic functions. J. Reine Angew. Math. 374, 169–192 (1987)
Antonio, A., Rabah, S.: Harmonic diffeomorphisms between domains in the Euclidean 2-sphere. Comment. Math. Helv. 89(1), 255–271 (2014)
Au, T.K.K., Tam, L.-F., Wan, T.Y.H.: Hopf differentials and the images of harmonic maps. Commun. Anal. Geom. 10(3), 515–573 (2002)
Bonsante, F., Seppi, A., Smillie, P.: Entire surfaces of constant curvature in Minkowski 3-space. Math. Ann. 374, 1261–1309 (2019)
Bonsante, F., Schlenker, J.-M.: Maximal surfaces and the universal Teichmüller space. Invent. Math. 182, 279–333 (2010)
Bonsante, F., Seppi, A., Smillie, P.: Complete CMC hypersurfaces in Minkowski \((n+1)\)-space. Preprint (2019). To appear in Commun. Anal. Geom. arXiv:1912.05477
Choi, H.-I., Treibergs, A.: New examples of harmonic diffeomorphisms of the hyperbolic plane onto itself. Manuscripta Math. 62(2), 249–256 (1988)
Collin, P., Rosenberg, H.: Construction of harmonic diffeomorphisms and minimal graphs. Ann. Math. 342(1), 325–342 (1994)
Dumas, D., Wolf, M.: Polynomial cubic and differentials and convex polygons in the projective plane. Geom. Funct. Anal. 25(6), 1734–1798 (2015)
Fokas, A.S., Pelloni, B.: The Dirichlet-to-Neumann map for the elliptic sine-Gordon equation. Nonlinearity 25(4), 1011–1031 (2012)
Fotiadis, A., Daskaloyannis, C.: Beltrami equation for the harmonic diffeomorphisms between surfaces. Nonlinear Anal. 214, 112546 (2022)
Joaquìn, P.: Sinh-Gordon Type Equations for CMC Surfaces, pp. 145–156. University of Granada, Granada (2011)
Jost, J.: Riemannian Geometry and Geometric Analysis, 3rd edn. Springer (2002)
Han, Z.-C.: Remarks on the geometric behavior of harmonic maps between surfaces. In: Elliptic and Parabolic Methods in Geometry, pp. 57–66. A K Peters, Wellesley (1996)
Han, Z.-C., Tam, L.-F., Treibergs, A., Wan, T.: Harmonic maps from the complex plane into surfaces with nonpositive curvature. Commun. Anal. Geom. 3(1–2), 85–114 (1995)
Hitchin, N.J.: The self-duality equations on a Riemann surface. Proc. Lond. Math. Soc. (3) 55(1), 59–126 (1987)
Hwang, G.: The elliptic sinh-Gordon equation in the half plane. J. Nonlinear Sci. Appl. 8(2), 163–173 (2015)
Kalaj, D.: Radó–Kneser–Choquet theorem for harmonic mappings between surfaces. Calc. Var. Partial Differ. Equ. 56, 1–12 (2017)
Kenmotsu, K.: Surfaces with Constant Mean Curvature. Translations of Mathematical Monographs, vol. 221. American Mathematical Society (2003)
Li, Q.: On the uniqueness of vortex equations and its geometric applications. J. Geom. Anal. 29(1), 105–120 (2019)
Li, P., Tam, L.-F.: Uniqueness and regularity of proper harmonic maps. Ann. Math. (2) 137, 167–201 (1993)
Loftin, J.C.: Affine spheres and convex \(\mathbb{R}\mathbb{P} ^n\)-manifolds. Am. J. Math. 123(2), 255–274 (2001)
Markovic, V.: Harmonic diffeomorphisms and conformal distortion of Riemann surfaces. Commun. Anal. Geom. 10(4), 847–876 (2002)
Markovic, V.: Harmonic maps and the Schoen conjecture. J. Am. Math. Soc. 30(3), 799–817 (2017)
Milne-Thomson, L.M.: Jacobian elliptic and theta functions chapter 16 and elliptic integrals chapter 17 in handbook of mathematical functions. In: Abramowitz, M., Stegun, I. (eds.) Applied Mathematics Series, 10th edn, vol. 55. National Bureau Standards (1964)
Minsky, Y.N.: Harmonic maps, length and energy in Teichmüller space. J. Differ. Geom. 35(1), 151–217 (1992)
Ouyang, C., Tamburelli, A.: Limits of Blaschke metrics. Duke Math. J. 170(8), 1683–1722 (2021)
Pascal, C., Harold, R.: Construction of harmonic diffeomorphisms and minimal graphs. Ann. Math. (2) 172(3), 1879–1906 (2010)
Schoen, R., Yau, S.-T.: On univalent harmonic maps between surfaces. Invent. Math. 44(3), 265–278 (1978)
Shi, Y., Tam, L.-F., Wan, T.Y.H.: Harmonic maps on hyperbolic spaces with singular boundary value. J. Differ. Geom. 51(3), 551–600 (1999)
Tamburelli, A.: Polynomial quadratic differentials on the complex plane and light-like polygons in the Einstein universe. Adv. Math. 352, 483–515 (2019)
Wente, H.C.: Counterexample to a conjecture of H. Hopf Pac. J. Math. 121(1), 193–243 (1986)
Wolf, M.: The Teichmüller theory of harmonic maps. J. Differ. Geom. 29(2), 449–479 (1989)
Wolf, M.: Infinite energy harmonic maps and degeneration of hyperbolic surfaces in moduli space. J. Differ. Geom. 33(2), 487–539 (1991)
Wolf, M.: High energy degeneration of harmonic maps and rays in Teichmüller space. Topology 30(4), 517–540 (1991)
Xingdi, C., Ainong, F.: A note on harmonic quasiconformal mappings. J. Math. Anal. Appl. 348(2), 607–613 (2008)
Acknowledgements
The authors would like to sincerely thank the referees for their valuable comments, which helped improve the initial manuscript.
Funding
Open Access funding enabled and organized by Projekt DEAL. E. Papageorgiou is supported by the Hellenic Foundation for Research and Innovation, Project HFRI-FM17-1733.
Author information
Authors and Affiliations
Corresponding author
Ethics declarations
Conflict of interest
The authors declare that they have no conflict of interest.
Additional information
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Rights and permissions
Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article’s Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article’s Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.
About this article
Cite this article
Polychrou, G., Papageorgiou, E., Fotiadis, A. et al. New examples of harmonic maps to the hyperbolic plane via Bäcklund transformation. Rev Mat Complut (2023). https://doi.org/10.1007/s13163-023-00476-z
Received:
Accepted:
Published:
DOI: https://doi.org/10.1007/s13163-023-00476-z
Keywords
- Harmonic maps
- Beltrami equations
- Sinh-Gordon equation
- Sine-Gordon equation
- Hyperbolic plane
- Bäcklund transformation