Abstract
In this paper, we will give an Enneper-type representation for spacelike and timelike minimal surfaces in the Lorentz–Minkowski space \({\mathbb {L}}^{3}\), using the complex and the paracomplex analysis (respectively). Then, we exhibit various examples of minimal surfaces in \({\mathbb {L}}^{3}\) constructed via the Enneper representation formula that it is equivalent to the Weierstrass representation obtained by Kobayashi (for spacelike immersions) and by Konderak (for the timelike ones).
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
The Weierstrass representation formula for minimal surfaces in \({\mathbb {R}}^3\) is a powerful tool to construct examples and to prove general properties of such surfaces, since it gives a parametrization of minimal surfaces by holomorphic data. In [12] the authors described a general Weierstrass representation formula for simply connected immersed minimal surfaces in an arbitrary Riemannian manifold. The partial differential equations involved are, in general, too complicated to find explicit solutions. However, for particular ambient 3-manifolds, such as the Heisenberg group, the hyperbolic space and the product of the hyperbolic plane with \({\mathbb {R}}\), the equations become simpler and the formula can be used to construct examples of conformal minimal immersions (see [7, 12]).
In [2], Andrade introduces a new method to obtain minimal surfaces in the Euclidean 3-space which is equivalent to the classical Weierstrass representation and, also, he proves that any immersed minimal surfaces in \({\mathbb {R}}^{3}\) can be obtained using it. This method has the advantage of computational simplicity, with respect to the Weierstrass representation formula, and it allows to construct a conformal minimal immersion \(\psi :\varOmega \subset {\mathbb {C}}\rightarrow {\mathbb {C}}\times {\mathbb {R}}\), from a harmonic function \(h:\varOmega \rightarrow {\mathbb {R}}\), provided that we choose holomorphic complex-valued functions L, P on the simply connected domain \(\varOmega \) such that \(L_z\,P_z=(h_z)^{2}.\) The immersion results in \(\psi (z)=(L(z)-\overline{P(z)},h(z))\), and it is called Enneper immersion associated to h. Besides, the image \(\psi (\varOmega )\) is called an Enneper graph of h.
Some extensions of the Enneper-type representation in others ambient spaces are given in [4, 13]. The aim of this paper is to discuss an Enneper-type representation for minimal surfaces in the Lorentz–Minkowski space \({\mathbb {L}}^3\), i.e. the affine three space \(\mathbb {R}^3\) endowed with the Lorentzian metric
In the space \({\mathbb {L}}^{3}\) a Weierstrass representation type theorem was proved by Kobayashi for spacelike minimal immersions (see [6]), and by Konderak for the case of timelike minimal surfaces (see [8]). The results of Konderak have been generalized by Lawn in [9]. Recently, these theorems were extended for immersed minimal surfaces in Riemannian and Lorentzian three-dimensional manifolds by Lira et al. (see [10]).
The paper is organized as follows. In Sect. 2 we recall some basics facts of Lorentzian calculus, which plays the role of complex calculus in the classical case, for timelike minimal surfaces. Section 3 is devoted to present a Weierstrass type representation for minimal surfaces in the three-dimensional Lorentz–Minkowski space. We will treat the cases of spacelike and timelike minimal surfaces (given in [6, 8], respectively) in an unified approach (see Theorem 2). In Sects. 4 and 5 we give an Enneper-type representation for spacelike and timelike minimal surfaces in \({\mathbb {L}}^3\), using the complex and the paracomplex analysis, respectively (see Theorems 3, 5). Besides, we show that any spacelike (respectively, timelike) minimal surface in \({\mathbb {L}}^3\) can be, locally, rendered as the Enneper graph of a real-valued harmonic function defined on a (para)complex domain (see Theorems 4, 6). In addition, we use these results to provide a description of the spacelike (respectively, timelike) helicoids and catenoids given in [1, 6] in terms of their (para)complex Enneper data. Finally, in Sect. 6 we use the Enneper-type representation to construct new interesting examples of minimal surfaces in \({\mathbb {L}}^3\) and, also, we explain how to produce new minimal surfaces starting from the Enneper data of known minimal surfaces.
2 The algebra \({\mathbb {L}}\) of the paracomplex numbers
In [8], the author uses paracomplex analysis to prove a Weierstrass representation formula for timelike minimal surfaces immersed in the space \({\mathbb {L}}^3\). We recall that the algebra of paracomplex (or Lorentz) numbers is the algebra
where \(\tau \) is an imaginary unit with \(\tau ^2 = 1\). The two internal operations are the obvious ones. We define the conjugation in \({\mathbb {L}}\) as \(\overline{a + \tau \, b} := a - \tau \, b\) and the \({\mathbb {L}}\)-norm of \(z = a + \tau \, b \in {\mathbb {L}}\) is defined by \(|z| = |z\,\overline{z}|^{\frac{1}{2}} = |a^2 - b^2|^{\frac{1}{2}}.\) The algebra \({\mathbb {L}}\) admits the set of zero divisors \(K = \{a\pm \tau \,a \,:\, a~\ne ~0\}\). If \(z\notin K\cup \{0\}\), then it is invertible with inverse \(\displaystyle z^{-1} = \bar{z}/(z\bar{z})\). We observe that \({\mathbb {L}}\) is isomorphic to the algebra \({\mathbb {R}}\oplus {\mathbb {R}}\) via the map \( \varPhi (a + \tau \, b) = (a + b, a - b) \) and the inverse of this isomorphism is given by \(\varPhi ^{-1}(a,b)=(1/2)\,[(a+b)+\tau (a-b)]\). Also, \({\mathbb {L}}\) can be canonically endowed with an indefinite metric by
In the following, we introduce the notion of the differentiability over Lorentz numbers and some properties (look [5] for more details).
Definition 1
Let \(\varOmega \subseteq {\mathbb {L}}\) be an open setFootnote 1 and \(z_0 \in \varOmega \). The \({\mathbb {L}}\)-derivative of a function \(f:\varOmega \rightarrow {\mathbb {L}}\) at \(z_0\) is defined by
if the limit exists. If \(f'(z_0)\) exists, we will say that f is \({\mathbb {L}}\)-differentiable at \(z_0\). When f is \({\mathbb {L}}\)-differentiable at all points of \(\varOmega \) we say that f is \({\mathbb {L}}\)-holomorphic in \(\varOmega \).
Remark 1
The condition of \({\mathbb {L}}\)-differentiability is much less restrictive that the usual complex differentiability. For example, \({\mathbb {L}}\)-differentiability at \(z_0\) does not imply continuity at \(z_0\). However, \({\mathbb {L}}\)-differentiability in an open set \(\varOmega \subset {\mathbb {L}}\) implies usual differentiability in \(\varOmega \). Also, we point out that there exist \({\mathbb {L}}\)-differentiable functions of any class of usual differentiability (see [5]).
Introducing the paracomplex operators:
where \(z = u + \tau \, v\), we can give a necessary and sufficient condition for the \({\mathbb {L}}\)-differentiability of a function f in some open set.
Theorem 1
Let \(a,b:\varOmega \rightarrow {\mathbb {L}}\) be \(C^1\) functions in an open set \(\varOmega \subset {\mathbb {L}}\). Then the function \(f(u,v) = a(u,v) +\tau \, b(u,v)\), \(u + \tau v\in \varOmega \), is \({\mathbb {L}}\)-holomorphic in \(\varOmega \) if and only if
is satisfied at all point of \(\varOmega \).
Observe that the condition (2) is equivalent to the para-Cauchy–Riemann equations
and, in this case, we have that
Remark 2
If f is a \({\mathbb {L}}\)-differentiable function, from the para-Cauchy–Riemann equations we have that
We finish this part by considering the following result which will be useful later.
Proposition 1
Let \(h:\varOmega \rightarrow {\mathbb {R}}\) be a function defined in the simply connected open set \(\varOmega \subset {\mathbb {K}}\). Then,
where the integration is performed in paths contained in \(\varOmega \) from \(z_0\) to z.
Proof
As h is a real-valued function, we have that \(\int _{z_0}^{z} h_{\bar{z}}\,\hbox {d}\bar{z}=\overline{\int _{z_0}^{z} h_z\,\hbox {d}z}.\) Therefore,
\(\square \)
2.1 Some elementary functions over the Lorentz numbers
In the following, we shall write functions of the Lorentz variable \(z=u +\tau v\) in the “sans serif style” to distinguish theme from the respective complex classical functions whose domain is contained in \({\mathbb {C}}\). In [5] the authors define the exponential function
Putting \(u=0\), we obtain
and
These expressions may be used to continue hyperbolic cosine and sine as \({\mathbb {L}}\)-holomorphic functions in the whole set \({\mathbb {L}}\) setting
for all \(z\in {\mathbb {L}}\). It is easy to check the following formulas
We observe that
and \(\mathsf {sinh}' (z)=\mathsf {cosh} (z),\) \(\mathsf {cosh}'(z)=\mathsf {sinh} (z)\), for all \(z\in {\mathbb {L}}.\) Also,
Extending (5) to circular trigonometric functions and applying the usual angle addition formulas, we define
These functions are \({\mathbb {L}}\)-differentiables in \({\mathbb {L}}\), and they satisfy the same differentiation formulas which hold for real and complex variables.
3 The Weierstrass representation formula in \({\mathbb {L}}^3\)
We will denote by \({\mathbb {K}}\) either the complex numbers \({\mathbb {C}}\) or the paracomplex numbers \({\mathbb {L}}\), and by \(\varOmega \subset {\mathbb {K}}\) an open set. Given a smooth immersion \(\psi :\varOmega \subset {\mathbb {K}}\rightarrow {\mathbb {L}}^3\), we endow \(\varOmega \) with the induced metric \(\hbox {d}s^{2}=\psi ^{*} g\), that makes \(\psi \) an isometric immersion. We will say that \(\psi \) is spacelike if \(\hbox {d}s^{2}\) is a Riemannian metric, and that \(\psi \) is timelike if the induced metric is a Lorentzian metric.
We observe that in the Lorentzian case, we can endow \(\varOmega \) with paracomplex isothermic coordinates and, as in the Riemannian case, they are locally described by paracomplex isothermic charts with conformal changes of coordinates (see [14]). Let \(z=u+i\,v\) (respectively, \(z=u+\tau \,v\)) be a complex (respectively, paracomplex) isothermal coordinate in \(\varOmega \), so that
where \(\varepsilon =1\) (respectively, \(\varepsilon =-1\)). It follows that there exists a positive function \(\lambda :\varOmega \rightarrow {\mathbb {R}}\) such that the induced metric is given by \(\hbox {d}s^{2}=\lambda \,(\hbox {d}u^{2}+\varepsilon \, \hbox {d}v^{2})\), where
Observe that the Beltrami–Laplace operator (with respect to \(\hbox {d}s^{2}\)) is given by:
Also, denoting by N the unit normal vector field along \(\psi \), which is timelike (respectively, spacelike) if \(\psi \) is a spacelike (respectively, timelike) immersion (i.e. \(g(N,N)=-\varepsilon \)), it results that \(\triangle \psi =-\varepsilon \,\overrightarrow{H},\) where \(\overrightarrow{H}=H\,N\) is the mean curvature vector of \(\psi \) (i.e. the trace of the second fundamental form with respect to the first fundamental). In particular, the immersion \(\psi \) is minimal (i.e. \(H\equiv 0\) ) if and only if the coordinate functions \(\psi _j\), \(j=1,2,3\), are harmonic functions, or equivalently \((\partial \psi _j/\partial z)\), \(j=1,2,3\), are \({\mathbb {K}}\)-differentiable.
In the following, we state the Weierstarss representation type theorem for spacelike (respectively, timelike) minimal immersions in \({\mathbb {L}}^{3}\), that was proved by Kobayashi in [6] (respectively, by Konderak in [8]), in a unified version.
Theorem 2
(Weierstrass representation) Let \(\psi :\varOmega \subset {\mathbb {K}}\rightarrow {\mathbb {L}}^3\) be a smooth conformal minimal spacelike (respectively, timelike) immersion. Then, the (para) complex tangent vector defined by
satisfies the following conditions:
-
(i)
\( \phi _1\,\overline{\phi _1} + \phi _2\,\overline{\phi _2}- \phi _3\,\overline{\phi _3} \ne 0,\)
-
(ii)
\(\phi _1^{2}+\phi _2^{2}-\phi _3^{2}= 0,\)
-
(iii)
\(\displaystyle \frac{\partial \phi _j}{\partial \bar{z}} = 0, \;\quad j=1,2,3\),
where \(\dfrac{\partial }{\partial z}\) and \( \dfrac{\partial }{\partial \bar{z}}\) are the (para)complex operators.
Conversely, if \(\varOmega \subset {\mathbb {K}}\) is a simply connected domain and \(\phi _j:\varOmega \rightarrow {\mathbb {K}}\), \(j = 1,2,3\), are (para)complex functions satisfying the conditions above, then the map
is a well-defined conformal spacelike (respectively, timelike) minimal immersion in \({\mathbb {L}}^{3}\) (here, \(z_0\) is an arbitrary fixed point of \(\varOmega \) and the integral is along any curve joining \(z_0\) to z).Footnote 2
Remark 3
The first condition of Theorem 2 ensures that \(\psi \) is an immersion (see (7)), the second one that \(\psi \) is conformal, and the third one that \(\psi \) is minimal.
4 Enneper-type spacelike minimal immersions in \({\mathbb {L}}^{3}\)
In this section and in the successive, we prove an Enneper-type representation formula for spacelike and timelike (respectively) minimal surfaces immersed in the three-dimensional Lorentz–Minkowski space. Our approach considers the complex numbers for the spacelike immersions, and the algebra of the Lorentz numbers (described in Sect. 2) for the timelike ones.
We start by considering the conformal spacelike minimal immersion given by:
where \(\varOmega =\{z\in {\mathbb {C}}\;|\; |z|\ne 1\}\), called Enneper immersion of 1st kind (see [7]). Writing
and putting
we observe that \(L,P: \varOmega \rightarrow {\mathbb {C}}\) are holomorphic functions and h is a harmonic real-valued function such that \((h_z)^{2}=L_z\,P_z\). Also, we have that \(|L_z|-|P_z|=|z|^{2}-1\ne 0\), \(z\in \varOmega \).
In this context, we prove theorem below and, also, Theorem 4.
Theorem 3
Let \(h:\varOmega \rightarrow {\mathbb {R}}\) be a harmonic function in the simply connected domain \(\varOmega \subset {\mathbb {C}}\) and \(L,P:\varOmega \rightarrow {\mathbb {C}}\) two holomorphic functions such that the following conditions are satisfied:
and
Then, the map \(\psi : \varOmega \rightarrow {\mathbb {C}}\times {\mathbb {R}}\), given by \(\psi (z)=(L(z)+\overline{P(z)},h(z))\), defines a conformal spacelike minimal immersion into \({\mathbb {L}}^{3}\).
Proof
Let us consider the three complex-valued functions on \(\varOmega \) given by:
As \(L_z=(\phi _1+i\,\phi _2)\) and \(P_z=(\phi _1-i\,\phi _2),\) from (10) it results that
Also, from (10) and (11), we obtain that
We now observe that, since h is a harmonic function (i.e. \(h_{uu}+h_{vv}=0\)), we have that \(\phi _3\) is holomorphic (see Sect. 3). Moreover, the holomorphicity of L and P implies that the real and imaginary parts of L and P are harmonic functions and we can write
Therefore, \((\phi _1)_{\overline{z}}=0=(\phi _2)_{\overline{z}}\) and, from Theorem 2, we conclude that
is a conformal spacelike minimal immersion into \({\mathbb {L}}^{3}\). \(\square \)
In analogy to the Euclidean 3-space (see [2]), we shall call the immersion \(\psi =(L+\overline{P},h)\) an Enneper spacelike immersion associated to h, its image an Enneper graph of h and \(\mathcal {D}_{\psi }^{\tiny {{\mathbb {C}}}}=(L_z,P_z,h_z)\) the Enneper complex data of \(\psi \).
We shall now illustrate Theorem 3 with some known examples of spacelike minimal immersions in \({\mathbb {L}}^{3}\). Specifically, we will consider the natural analogues (spacelike) surfaces in \({\mathbb {L}}^{3}\) to the classical catenoid and helicoid.
Example 1
(Spacelike catenoid of 1st kind) Set \(\varOmega =\{z\in {\mathbb {C}}: |z|> 1\}\). Let \(L,P:\varOmega \rightarrow {\mathbb {C}}\) be the holomorphic functions defined by
and \(h(z)={\mathcal {R}}e\,(\ln z)\), that is a harmonic function in \(\varOmega \). We observe that condition (10) is satisfied and, also,
Then, from Theorem 3, the corresponding spacelike minimal immersion is given by:
and it represents the catenoid of 1st kind (also called elliptic catenoid) described in [7]. Introducing polar coordinates \(z=r\,e^{i\,\theta }\), we can write
so \(x_1^{2}+x_2^{2}=\sinh ^{2} x_3\), with \( x_3> 0\).
Example 2
(Spacelike helicoid of 1st kind) Now, we describe the conjugate surface of the elliptic catenoid, which image in \({\mathbb {R}}^{3}\) is an open subset of the classical minimal helicoid, \(x_1\,\cos x_3+x_2\,\sin x_3=0.\) For this, we consider \(\varOmega =\{z\in {\mathbb {C}}: |z|> 1\}\), the holomorphic functions
and the harmonic function \(h(z)={\mathcal {I}}m\,( \ln z)\), defined in \(\varOmega \). As
it results that
Therefore, from Theorem 3, the corresponding spacelike minimal immersion is given by:
and it represents the helicoid of 1st kind given in [7]. Using polar coordinates \(z=r\,e^{i\,\theta }\), we get
In the next theorem, we will show that any spacelike minimal surface in the Lorentz–Minkowski 3-space can be rendered as the Enneper graph of a harmonic function.
Theorem 4
Let \(\tilde{\psi }:{\mathcal M}^2\rightarrow {\mathbb {L}}^{3}\equiv {\mathbb {C}}\times {\mathbb {R}}\) be a minimal immersion of a spacelike surface \({\mathcal M}\) in \({\mathbb {L}}^{3}\). Then, there exists a simply connected domain \(\varOmega \subset {\mathbb {C}}\) and a harmonic function \(h:\varOmega \subset {\mathbb {C}}\rightarrow {\mathbb {R}}\) such that the immersed minimal surface \(\tilde{\psi }({\mathcal M})\) is an Enneper graph of h.
Proof
Suppose that the minimal immersion is given by \(\tilde{\psi }=(\tilde{\psi }_1+i\,\tilde{\psi }_2,\tilde{\psi }_3)\). Since \({\mathcal M}\) is a spacelike minimal surface it cannot be compact (on the contrary, \(\tilde{\psi }\) would be a harmonic function on a compact Riemannian surface, hence constant) so, from the Koebe’s Uniformization theorem, it results that its covering space \(\varOmega \) is either the complex plane \({\mathbb {C}}\) or the open unit complex disc.
We denote by \(\pi : \varOmega \rightarrow {\mathcal M}\) the universal covering of \({\mathcal M}\) and by \(\psi :\varOmega \rightarrow {\mathbb {L}}^{3}\) the lift of \(\tilde{\psi }\), i.e. \(\psi =\tilde{\psi }\circ \pi \). As \(\psi \) is a conformal minimal immersion, it follows that
and, also, \((\psi _i)_z\), \(i=1,2,3\), are holomorphic. Fixed a point \(z_0\in \varOmega \), Eq. (13) suggests to define the following functions:
Since \(\varOmega \) is a simply connected domain and the integrand functions are holomorphic, the above integrals do not depend on the path from \(z_0\) to z, so L and P are well-defined holomorphic functions. We shall prove that \(\psi (z)=(L(z)+\overline{P(z)},h(z))\), where \(h(z):=\psi _3(z)\) is a harmonic function (because \((\psi _3)_{z\overline{z}}=0\)). For this, we note that
where, in the last equality, we have assumed (without loss of generality) that \(\psi (z_0)=(0,0,0)\). Besides, we observe that Eq. (13) can be written as
that is the condition (10) of Theorem 3. Finally, to prove that \(\psi \) is an Enneper immersion associated to the harmonic function h, it remains to verify Eq. (11). As
taking into account (15), we have that
because of \(\psi \) is an immersion. This completes the proof. \(\square \)
Using Theorem 4, we have determined the Enneper data of the spacelike catenoids and helicoids described in [1, 6] and we have collected them in the Tables 1 and 2, respectively. Before, we observe that in [6] the elliptic catenoid (respectively, hyperbolic catenoid, parabolic catenoid) is called catenoid of first kind (respectively, catenoid of second kind, Enneper surface of second kind).Footnote 3
In Sect. 6.2 we will use the Tables 1 and 2 to construct new interesting examples of minimal surfaces in \({\mathbb {L}}^3\).
5 Enneper-type timelike minimal immersions in \({\mathbb {L}}^{3}\)
Now let us establish the analogue result to Theorem 3 for timelike minimal immersions in \({\mathbb {L}}^3\). We start considering the Lorentzian Enneper immersion given by Konderak in [8]:
where \(\varOmega =\{z\in {\mathbb {L}}\;|\; 1+z\,\overline{z}\ne 0\}\), that can be written as
Observe that, putting
we have that \(L,P: \varOmega \rightarrow {\mathbb {L}}\) are \({\mathbb {L}}\)-differentiable and h is a harmonic real-valued function (i.e. \(h_{uu}-h_{vv}=0\)) such that \((h_z)^{2}=L_z\,P_z\). Also,
In this regard we prove the following theorem.
Theorem 5
Let \(h:\varOmega \rightarrow {\mathbb {R}}\) be a harmonic function in the simply connected domain \(\varOmega \subset {\mathbb {L}}\) and \(L,P:\varOmega \rightarrow {\mathbb {L}}\) two \({\mathbb {L}}\)-differentiable functions such that the following conditions are satisfied:
and
Then, the map \(\psi : \varOmega \rightarrow {\mathbb {R}}\times {\mathbb {L}}\), given by \(\psi (z)=(h(z),L(z)-\overline{P(z)})\), defines a conformal timelike minimal immersion into \({\mathbb {L}}^{3}\).
Remark 4
If \(h_z(z)\notin K\cup \{0\}\), for all \(z\in \varOmega \), the condition (17) is equivalent to
In fact, using (16), we can write
Proof
Let define three paracomplex valued functions on \(\varOmega \):
As \(L_z=\phi _2+\tau \,\phi _3\) and \( P_z=-\phi _2+\tau \,\phi _3\), from (16) and (17), it results that
and
We observe that, since h is a harmonic function (i.e. \(h_{uu}-h_{vv}=0\)), the function \(\phi _1\) is \({\mathbb {L}}\)-differentiable. Moreover, the \({\mathbb {L}}\)-differentiability of L and P implies that the real and imaginary parts of L and P are harmonic functions and, using (3), we can write
Consequently, \((\phi _2)_{\overline{z}}=0=(\phi _3)_{\overline{z}}\) and, from Theorem 2 and taking into account the Proposition 1, we conclude that
is a conformal timelike minimal immersion into \({\mathbb {L}}^{3}\). \(\square \)
We will call \(\psi =(h,L-\overline{P})\) an Enneper timelike immersion associated to h and \(\mathcal {D}_{\psi }^{\tiny {{\mathbb {L}}}}=(L_z,P_z,h_z)\) the Enneper paracomplex data of \(\psi \).
We are going to illustrate Theorem 5 through some known examples of timelike minimal immersions into \({\mathbb {L}}^{3}\). We will use the formulas given in Sect. 2.1 (see [5], for more details).
Example 3
(Lorentzian catenoid) Let \(L,P:{\mathbb {L}}\rightarrow {\mathbb {L}}\) be the \({\mathbb {L}}\)-differentiable functions defined by:
and \(h(z)=u\), that is a harmonic function in \({\mathbb {L}}\). It is easy to check that \(L_z\,P_z=(h_z)^{2}\) and, also,
Then, from Theorem 5, the corresponding timelike minimal immersion is given by
and it represents the Lorentzian catenoid (see [8]).
Example 4
(Lorentzian helicoid) In this example, we give the Enneper functions for the timelike helicoid described in [8]. We consider in \(\varOmega =\{z\in {\mathbb {L}}\; |\; u\ne 0\}\) the \({\mathbb {L}}\)-differentiable functions given by:
and the harmonic function \(h(z)=-v\). As \(L_z=-L\), \(P_z=P\) and \(h_z=-\tau /2\), the condition (16) is satisfied. Also,
Then, from Theorem 5, we obtain that the map
defines a conformal timelike minimal immersion (in a simply connected subset of \(\varOmega \)) and it is the parametrization of the Lorentzian helicoid given in [8].
Now, we will show that any simply connected timelike minimal surfaces in the Lorentz–Minkowski 3-space can be represented as the Enneper graph of a harmonic function. More precisely, we have the following:
Theorem 6
Let \({\mathcal M}^2\) a timelike minimal surface in \({\mathbb {L}}^{3}\), given by the immersion \(\psi :\varOmega \rightarrow {\mathbb {L}}^{3}\), where \(\varOmega \subset {\mathbb {L}}\) is a simply connected domain. Then, there exists a harmonic function \(h:\varOmega \subset {\mathbb {L}}\rightarrow {\mathbb {R}}\) such that the immersed minimal surface \({\mathcal M}\) is an Enneper graph of h.
Proof
In terms of proper null coordinates x, y on \(\varOmega \) (see [14]), \(\hbox {d}s^{2}=2F\hbox {d}x\,\hbox {d}y\), with \(F>0\), and the minimality of \(\psi \) gives \(m=g(\psi _{xy},N)=0.\) Therefore, as \(g(\psi _{xy},\psi _x)=0=g(\psi _{xy},\psi _y)\) by \(E=G=0\), it results that \(\psi _{xy}=0\). Thus, introducing in \(\varOmega \) the paracomplex isothermal coordinate \(z=u+\tau \, v\), where \(u=x+y\), \(v=x-y\), we have that \(\psi _{uu}-\psi _{vv}=0\) and, so,
The conformality of \(\psi \) implies the equation
that suggests to define the following functions:
where \(z_0\in \varOmega \) is a fixed point. Since \(\varOmega \) is a simply connected domain in \({\mathbb {L}}\), Eq. (18) ensures that the integrals in (20) do not depend on the path from \(z_0\) to z. So L and P are well-defined \({\mathbb {L}}\)-holomorphic functions. We shall prove that \(\psi (z)=(h(z),L(z)-\overline{P(z)})\), where \(h(z):=\psi _1(z)\) is a harmonic function (see (18)). For this, we have
where, in the last equality, we have assumed (without loss of generality) that \(\psi (z_0)=(0,0,0)\). Finally, we observe that (19) can be written as
that is the condition (16) of Theorem 5. Therefore, using that
we get
because of \(\psi \) is an immersion. This finishes the proof. \(\square \)
Now, we will use Theorem 6 to provide a description of the timelike catenoids and helicoids given in [3, 8] in terms of their paracomplex Enneper data (see Tables 3, 4). In the last section, we will employ these tables to determine new interesting examples of minimal surfaces in \({\mathbb {L}}^3\).
6 Construction of new minimal surfaces in \({\mathbb {L}}^{3}\)
This section is devoted to the construction of minimal immersions in \({\mathbb {L}}^3\) starting from the Enneper data and using Theorems 3 and 5. Also, we explain how to produce new examples of minimal surfaces starting from the Enneper data of others minimal surfaces in \({\mathbb {L}}^3\).
6.1 Surfaces containing the involute of a circle as a pregeodesic
First of all, we remember that a circle in \({\mathbb {L}}^3\) is the orbit of a point out of a straight line \(\ell \) under a group of rotations in \({\mathbb {L}}^3\) that leave \(\ell \) pointwise fixed (see [11]). Depending on the causal character of \(\ell \), there are (after an isometry of the ambient) three types of circles: Euclidean circles in planes parallel to the \(x_1x_2\)-plane, Euclidean hyperbolas in planes parallel to the \(x_2x_3\)-plane and Euclidean parabolas in planes parallel to the plane \(x_2=x_3\).
Example 5
Let us consider the Enneper data
defined for all \(z\in {\mathbb {C}}\), with \(u\ne 0\). Applying Theorem 3 we obtain the spacelike minimal surface given by:
We observe that this surface contains the spacelike curve
as a planar pregeodesic (see Fig. 1) and, thanks to the results proved in [1], it is the only minimal surface in \({\mathbb {L}}^3\) which has this property. Also, the u-coordinate curve is the involute of the timelike circle \(\alpha (u)=(\cosh u,0, \sinh u)\), with \(u\ne 0\).
Example 6
Choosing the paracomplex Enneper data
defined for all \(z\in {\mathbb {L}}\), with \(u\ne 0\), and using Theorem 5, we obtain the timelike minimal immersion given by:
This immersion is the only (see [3]) minimal immersion in \({\mathbb {L}}^3\) that contains the timelike curve
as a planar pregeodesic (see Fig. 1). This curve is the involute of the spacelike circle \(\alpha (u)=(\sinh u,0, \cosh u)\), with \(u\ne 0\).
Example 7
In this example, we take the Enneper data
defined for all \(z\in {\mathbb {L}}\), with \(v\ne 0\). From Theorem 5 we get the timelike minimal surface parametrized by:
Note that this surface is the (only) minimal surface in \({\mathbb {L}}^3\) that contains the spacelike curve
as a planar pregeodesic (see Fig. 1). This curve is the involute of the spacelike circle \(\alpha (v)=(\cos v,\sin v,0 ),\) with \(v\ne 0\).
6.2 Minimal surfaces in \({\mathbb {L}}^{3}\) obtained from others
We start this section observing that if \({\mathcal D}_{\psi }^{\tiny {{\mathbb {K}}}}=(L_z,P_z,h_z)\) are the Enneper data of a given spacelike (respectively, timelike) minimal immersion \(\psi \) in \({\mathbb {L}}^{3}\) (defined in the simply connected domain \(\varOmega \subset {\mathbb {K}}\)) and \(f:\varOmega \rightarrow {\mathbb {K}}\) is a \({\mathbb {K}}\)-differentiable function so that \(f(z)\overline{f(z)}\ne 0\) in \(\varOmega \), then
are Enneper data of a new spacelike (respectively, timelike) minimal surface in \({\mathbb {L}}^{3}\). We note that this surface is the Enneper graph of the harmonic function \(h_1:\varOmega \subset {\mathbb {K}}\rightarrow {\mathbb {R}}\) defined by:
Also, the Enneper minimal immersion associated to \(h_1\) is given by:
where
are well-defined \({\mathbb {K}}\)-holomorphic functions in \(\varOmega \).
In the following, we will use this observation and the Enneper data of the tables given in Sects. 4 and 5 to construct some examples of minimal surfaces in \({\mathbb {L}}^3\).
Example 8
(Timelike Catalan surface of 1st kind) We consider the Enneper data of the timelike helicoid of first kind (see Table 4) and we choose the paracomplex function \(f(z)=2\,\textsf {sin}\,z\), with (u, v) such that \(0<|\sin u|\ne |\sin v|\). Then, using (23), the timelike minimal surface obtained from the new Enneper paracomplex data:
is parametrized by:
We observe that this surface has the notable property of containing an arc of the spacelike cycloid given by \(\psi (0,v)\), \(v\ne 0\), as a planar pregeodesic (see Fig. 2). So, we call it timelike Catalan surface of the first kind and we point out that in [1] Alías et al. construct a spacelike Catalan surface via the Börling problem.
Example 9
(Timelike Catalan surface of 2nd kind) In this example, we start from the Enneper data of the timelike helicoid of third kind (see Table 4), that are defined for all \(z\in {\mathbb {L}}\), and we consider the new Enneper paracomplex data:
with \(z\in {\mathbb {L}}\) such that \(z\overline{z}\ne 0\). In this case, from (23) we obtain the timelike surface parametrized by:
that contains an arc of the timelike cycloid \(\psi (u,0)\), \(u\ne 0\), as a planar pregeodesic (see Fig. 3). We call it timelike Catalan surface of the second kind.
Example 10
Starting from the Enneper data of the spacelike hyperbolic catenoid (see the Table 1) and choosing the complex function \(f(z)=2\,\cos z\), with \(u\in (-\pi /2,\pi /2)\), we obtain the new Enneper complex data:
From (22) and (23), the associated spacelike minimal immersion is given by
with \(u\in (-\pi /2,\pi /2)\), and it intersects orthogonally the plane \(x_2=0\) along the spacelike parabola
Then, this curve is a planar pregeodesic of the surface (see Fig. 4).
6.3 A special family of minimal surfaces in \({\mathbb {L}}^3\)
Next we are going to produce a family of Lorentzian minimal surfaces in \({\mathbb {L}}^3\) whose origins are rooted in the Example 8, given in the previous section. Inspired by this example, we consider \(n\in \mathbb {Z}\), \(n>1\), and the family of paracomplex Enneper data given by:
In this case, using (22) and (23), we obtain the following family of timelike minimal surfaces
where \(u\in (-\pi /4n,\pi /4n)\) and \(v\in (\pi /4n,3\pi /4n)\). Given \(n\in \mathbb {Z}\), \(n>1\), we have that \(\psi _n(u,v)\) is the only minimal immersion into \({\mathbb {L}}^{3}\) containing the spacelike curve \(\alpha _n(v):=\psi _n(0,v)\), as a planar pregeodesic. If we consider the change of parameter \(t=(n-1)\, v\), we have that
that is an epicycloid traced by a point on a circle of radius \(r=1/(n+1)\) which rolls externally on a circle of radius \(R=2/(n^{2}-1)\). We observe that if \(n=2\), then \(R=2r\), therefore the curve \(\alpha _2\) is an arc of a nephroid. Also, if \(n=3\) we have that \(R=r\) and, then, the curve \(\alpha _3\) is an arc of a cardioid (Fig. 5).
Remark 5
We point out that the pictures of this paper are with respect to the flat Euclidean metric in \({\mathbb {R}}^3\).
Notes
The set \({\mathbb {L}}\) has a natural topology since it’s a two-dimensional real vector space.
The \({\mathbb {K}}\)-differentiability ensures that the 1-forms \(\phi _ j\, \hbox {d}z\), \(j=1,2,3\), do not have real periods in \(\varOmega \).
References
Alías, L.J., Chaves, R.M.B., Mira, P.: Björling problem for maximal surfaces in Lorentz–Minkowski space. Math. Proc. Camb. Phil. Soc. 134(2), 289–316 (2003)
Andrade, P.: Enneper immersions. J. Anal. Math. 75, 121–134 (1998)
Chaves, R.M.B., Dussan, M.P., Magid, M.: Björling problem for timelike surfaces in the Lorentz–Minkowski space. J. Math. Anal. Appl. 337, 481–494 (2011)
Daniel, B.: The Gauss map of minimal surfaces in the Heisenberg group Int. Math. Res. Not. IMRN 2011, 674–695 (2011)
Di Terlizzi, L., Konderak, J.J., Lacirasella, I.: On differentiable functions over Lorentz numbers and their geometric applications. Differ. Geom. Dyn. Syst. 16, 113–139 (2014)
Kobayashi, O.: Maximal surfaces in 3-dimensional Lorentz space \({\mathbb{L}}^3\). Tokyo J. Math. 6, 297–309 (1983)
Kokubu, M.: Weierstrass representation for minimal surfaces in hyperbolic space. Tôhoku Math. J. 49, 367–377 (1997)
Konderak, J.J.: A Weierstrass representation theorem for Lorentz surfaces. Complex Var. Theory Appl. 50(5), 319–332 (2005)
Lawn, M.A.: Immersions of Lorentzian surfaces in \( {\mathbb{R}}^{2,1}\). J. Geom. Phys. 58, 683–700 (2008)
Lira, J.H., Melo, M., Mercuri, F.: A Weierstrass representation for minimal surfaces in 3-dimensional manifolds. Results Math. 60, 311–323 (2011)
López, F.J., López, R., Souam, R.: Maximal surfaces of Riemann type in Lorentz–Minkowski space \({\mathbb{L}}^3\). Mich. Math. J. 47, 469–497 (2000)
Mercuri, F., Montaldo, S., Piu, P.: Weierstrass representation formula of minimal surfaces in \({\mathbb{H}}_3\) and \({\mathbb{H}}^2\times {\mathbb{R}}\). Acta Math. Sin. 22, 1603–1612 (2006)
Montaldo, S., Onnis, I.I.: Enneper representation and the Gauss map of minimal surfaces in the product \({\mathbb{H}}^2\times {\mathbb{R}}\). Mat. Contemp. 3, 199–213 (2007)
Weinstein, T.: An Introduction to Lorentz surfaces, De Gruyter Expositions in Math., vol. 22, Berlin (1996)
Author information
Authors and Affiliations
Corresponding author
Additional information
The second author was supported by Grant 2015/00692-5, São Paulo Research Foundation (Fapesp).
Rights and permissions
About this article
Cite this article
Cintra, A.A., Onnis, I.I. Enneper representation of minimal surfaces in the three-dimensional Lorentz–Minkowski space. Annali di Matematica 197, 21–39 (2018). https://doi.org/10.1007/s10231-017-0666-z
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s10231-017-0666-z