Abstract
We classify all rotational symmetric solutions of the singular minimal surface equation in both cases \(\alpha <0\) and \(\alpha >0\). In addition, we discuss further geometric and analytic properties of the solutions, in particular stability, minimizing properties and Bernstein-type results.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
The singular (or symmetric) minimal surface equation (in short: s.m.s.e.) is the equation
where \(u:\varOmega \rightarrow {\mathbb {R}}\), \(\varOmega \subset {\mathbb {R}}^n\) open, denotes some function and \(\alpha \in {\mathbb {R}}\) stands for some real number. Observe that for any \(\alpha \in {\mathbb {R}}\) equation (1) is the Euler equation of the variational integral
which is the nonparametric counterpart of the energy functional
where \(M\subset {\mathbb {R}}^n\times {\mathbb {R}}^+\) denotes some \(C^2\)-hypersurface and \({\mathcal {H}}_n\) stands for the n-dimensional Hausdorff measure. M is stationary for the energy (3), i.e., the first variation \(\delta {\mathcal{E} }_\alpha (M,\xi )=0\) for all vector fields \(\xi \) with compact support, if the mean curvature H(x) of M at \(x= (x_{1}...x_{n+1})\) satisfies
where \(\nu =(\nu _{1},...,\nu _{n+1})\) denotes the unit normal of M at x.
There are several key motivations to considering equation (1) and the associated variational integral (2) in both cases \(\alpha > 0\) and \(\alpha < 0\), respectively. On the one hand, the variational problem connected to the integral (2) is a singular problem which admits in general only \(\frac{1}{2}\)-Hölder continuous solutions, cp. Bemelmans, Dierkes [1], Dierkes [3], Tennstädt [13], and on the other hand (1) with \(\alpha =1\) appears as a model problem for the multi-dimensional analogue of the catenary, while, for \(\alpha = m \in {\mathbb {N}}\), equation (1) describes symmetric minimal hypersurfaces in \({\mathbb {R}}^n \times {\mathbb {R}}^m \times {\mathbb {R}}\). Finally, for \(\alpha = -n\) equation (1) is the minimal surface equation in the hyperbolic space \({\mathbb {R}}^n \times {\mathbb {R}}^+\) of curvature \(K= -1\). A further application in architecture lends special interest to the problem. We refer the reader to Dierkes [7, 8] for more detailed information and further references to the literature.
Clearly, the case \(\alpha =0\) corresponds to classical minimal surfaces and will not be considered here.
In this paper we are mainly interested in the study of “rotational symmetric solutions of the s.m.s.e.” (1), that is in solutions \( u=u(r)\), \( r:=\vert x\vert \) of the equation
which can be transformed into
together with the initial condition \(u\left( 0\right) =z_0>0\) and \(u'\left( 0\right) =0 \). Additionally we are also interested in parametric rotational symmetric solutions of equation (4). Let \(\gamma (s)=\left( x\left( s\right) ,y\left( s\right) \right) \), \(s \in I \subset {\mathbb {R}}\), be a \( C^2\) -parametrization by arc length of a curve \(\gamma \), which upon rotation about the \( y=x_{n+1}\) - axis defines a \( C^2\) surface \(M \subset {\mathbb {R}}^{n+1}\). Then M is a solution of (4) if \(\gamma \) satisfies
Introducing the tangent angle \(\psi \in C^1\left( I\right) \) by
equation (7) can be transformed into the system
Further insights are obtained if we also consider the stationarity condition in the "phase space" \((\psi , \theta )\) , where \(\theta \in C^1\left( I\right) \) stands for the polar angle
Then we have
which in turn leads to the planar ordinary system
Symmetric solutions of (1) and (4) resp., i.e., solutions of (6), (7), (9), (11) and (12), respectively, have been considered in the papers by Keiper [10] (preprint), Lopez [11] and Dierkes [3, 4, 7]. The reason why we start a new discussion is twofold: Firstly, we add some new solutions to (6) or (9) by carefully analyzing system (12) in the phase space (cp. Theorem 1, (iii) and Theorem 7). Secondly, we accomplish Keiper’s [10] paper by thoroughly examining, extending and proving his assertions and indications of proofs (cp. Theorem 14). In addition to that we completely classify the stability and (non-) minimizing properties of the solutions (cp. Theorems 17 and 20 ) and prove a Bernstein-type result (cp. Theorem 19) (Fig. 1). Finally, we think that our arguments are slightly cleaner than the original proofs in [10] and [11].
2 Solutions for \(\alpha <0\)
For negative \(\alpha \), symmetric solutions of the s.m.s.e (1) are classified as follows, cp. also Lopez [11].
Theorem 1
Let \(\gamma =\left( x\left( s\right) ,y\left( s\right) \right) \subset {\mathbb {R}}\times {\mathbb {R}}^+, {s\in I}\), denote a maximal solution of (7), \(\alpha <0\), then \(\gamma \) can be described by one of the following three cases where (iii) only occurs if \(-1<\alpha <0\):
-
(i)
\(\gamma \) is the graph of a strictly concave symmetric function on a bounded interval of the x-axis which attains its maximum at \(x=0\) and intersects the x-axis orthogonally.
-
(ii)
\(\gamma \) stays on one side of the y-axis (on \(x>0\), say) and intersects the x-axis orthogonally in both end points. \(x=x(s)\) attains exactly one interior minimum in the interval I and no maximum. \(\gamma \) has a horizontal tangent at the unique maximum of \(y=y(s)\). Furthermore, \(\gamma \) has no self-intersections.
-
(iii)
\(\gamma \) stays on one side of the y-axis (on \(x>0\), say) and is the graph of a strictly concave function, which is defined over some compact interval of the x-axis. At both end points \(\gamma \) intersects the x-axis orthogonally.
All three possible types of solutions for \(\alpha <0\) as described in Theorem 1, from left to right
We split the proof of Theorem 1 in five Lemmata and start with some simple properties of solutions of system (9):
Lemma 2
If \(\gamma =\left( x,y\right) \) is a maximal solution that intersects the y-axis, then \(\gamma \) can be written as the graph of a strictly concave function on a bounded interval of the x-axis that is symmetric about the y-axis. The function has a unique maximum at \(x=0\). At the boundary points a, b of I, \(\gamma \) intersects the x-axis.
Proof
Without loss of generality, let \(x\left( 0\right) =0\), \(x'\left( 0\right) =1\), and \(\psi \left( 0\right) =0\). \((x,y,\psi )\) solves the following initial value problem on \(I=\left( a,b\right) \):
The mirror image \(\left( {\widetilde{x}},{\widetilde{y}},{\widetilde{\psi }}\right) :=\left( -x\left( -s\right) ,y\left( -s\right) ,-\psi \left( -s\right) \right) \) yields another solution to (13) and, by uniqueness, \(\gamma \) must be symmetric about the y-axis. From now on, we only have to discuss \(\gamma \left( s\right) \) for \(s\ge 0\).
De L’Hôpital’s rule yields \(\lim \limits _{s\rightarrow 0}\frac{\sin \psi \left( s\right) }{x\left( s\right) }=\lim \limits _{s\rightarrow 0}\frac{\cos \psi \left( s\right) \psi '\left( s\right) }{\cos \psi \left( s\right) }=\psi '\left( 0\right) \) and therefore \(\psi '\left( 0\right) =\frac{\alpha }{ny_0}<0\), after taking the limit in (13). \(y'\left( 0\right) =0\) and \(y''\left( 0\right) =\psi '\left( 0\right) <0\) further imply that y attains a local maximum at \(s=0\).
Assume there exists a smallest \(s_1\in \left( 0,b\right) \) with \(\psi '\left( s_1\right) =0\). Then \(\psi ''\left( s_1\right) \ge 0\) and, by taking the derivative in (13),
Plugging in \(s_1\), we obtain \(0\le \psi ''\left( s_1\right) =\sin \psi \left( s_1\right) \cos \psi \left( s_1\right) \left( \tfrac{n-1}{x\left( s_1\right) ^2}-\tfrac{\alpha }{y\left( s_1\right) ^2}\right) \), and it follows that \(\psi \left( s_1\right) \in \left[ 0,\frac{\pi }{2}\right] +\pi {\mathbb {Z}}\).
Independently of the existence of \(s_1\), now assume there is a smallest \(s_2\in \left( 0,b\right) \) with \(\psi \left( s_2\right) =-\frac{\pi }{2}\). Then (13) implies \(\psi '\left( s_2\right) =\frac{n-1}{x\left( s_2\right) }>0\).
The existence of either \(s_i\) implies the existence of the other \(s_j\) in \(\left( 0,s_i\right) \), leading to a contradiction. Hence, we must have \(\psi '\left( s\right) <0\) and \(\psi \left( s\right) \in \left( -\frac{\pi }{2},0\right) \) for all \(s\in \left( 0,b\right) \) and \(\gamma \) is the graph of a strictly concave function. It remains to determine the behavior of \(\gamma \left( s\right) \) near \(s=b\).
Since x and y are monotone and bounded and s is the arc length, it follows that \(b<\infty \). Because b is maximal, \(\left( x,y,\psi \right) \) has to leave every compact subset of \({\mathbb {R}}^+\times {\mathbb {R}}^+\times {\mathbb {R}}\) near b. The only way this is possible is that \(y\left( b\right) :=\lim \limits _{s\rightarrow b}y\left( s\right) =0\). Furthermore, the limits \(x\left( b\right) :=\lim \limits _{s\rightarrow b}x\left( s\right) >0\) and \(\psi \left( b\right) :=\lim \limits _{s\rightarrow b}\psi \left( s\right) \in \left[ -\frac{\pi }{2},0\right) \) exist, concluding the proof. \(\square \)
Before proving \(\psi \left( b\right) =-\frac{\pi }{2}\), we discuss different types of solutions.
Lemma 3
If a maximal solution \(\gamma \) has a horizontal tangent at a point \(\left( x_0,y_0\right) \in {\mathbb {R}}^+\times {\mathbb {R}}^+\) (w. l. o. g. at \(s=0\) and \(\psi \left( 0\right) =0\)), then y attains a global maximum there and the right branch of \(\gamma \) (\(s>0\)) can be written as the graph of a strictly concave function on a bounded interval of the x-axis that intersects the x-axis at \(s=b\). For the left branch (\(s<0\)), there are two possibilities:
-
(a)
There is a point \(s=s_2<0\) where x takes on a global minimum. For \(s_2<s<0\), \(\gamma \) is the graph of a strictly concave function on an interval of the x-axis. For \(a<s<s_2\), with decreasing s, \(\gamma \) runs through an inflection point (maximum of \(\psi \)) and then toward the x-axis.
-
(b)
Also the left branch of \(\gamma \) is the graph of a strictly concave function on a bounded interval of the x-axis.
Proof
From (9), we get \(\psi '\left( 0\right) =\frac{\alpha }{y_0}<0\). Because of \(y'\left( 0\right) =\sin \psi \left( 0\right) =0\) and \(y''\left( 0\right) =\cos \psi \left( 0\right) \psi '\left( 0\right) <0\), y attains a local maximum at 0. Hence, the behavior of the right branch of \(\gamma \) can be discussed as in Lemma 2.
For negative s close to zero, we have \(\psi \) strictly decreasing, \(\psi \left( s\right) \in \left( 0,\frac{\pi }{2}\right) \) and \(x\left( s\right) >0\).
Assume the existence of a maximal \(s_1\in \left( a,0\right) \) with \(\psi \left( s_1\right) \in \left( 0,\frac{\pi }{2}\right) \) and \(\psi '\left( s_1\right) =0\). Then \(\psi ''\left( s_1\right) \le 0\), but also
\(\psi ''\left( s_1\right) =\sin \psi \left( s_1\right) \cos \psi \left( s_1\right) \left( \frac{n-1}{x\left( s_1\right) ^2}-\frac{\alpha }{y\left( s_1\right) ^2}\right) \,>0,\) which is a contradiction.
If \(\psi \left( s\right) <\frac{\pi }{2}\) for all \(s\in \left( a,0\right) \), the behavior of \(\gamma \) is described by case (b).
Otherwise, there must exist a maximal \(s_2\in \left( a,0\right) \) with \(\psi \left( s_2\right) =\frac{\pi }{2}\). There we have \(\psi '\left( s_2\right) =\frac{1-n}{x\left( s_2\right) }<0\), so \(\psi \) is still decreasing. Because of \(x'\left( s_2\right) =0\) and \(x''\left( s_2\right) =-\psi '\left( s_2\right) >0\), x has a local minimum at \(s_2\).
Assume there is a maximal \(s_3\in \left( a,s_2\right) \) such that \(\psi \left( s_3\right) =\pi \). Then \(\psi '\left( s_3\right) \le 0\), but by (9) also \(\psi '\left( s_3\right) =\frac{-\alpha }{y\left( s_3\right) }>0\), leading to a contradiction.
Assume now that there is a maximal \(s_4\in \left( a,s_2\right) \) with \(\psi \left( s_4\right) =\frac{\pi }{2}\). Then \(\psi '\left( s_4\right) \ge 0\), but on the other hand \(\psi '\left( s_4\right) =\frac{1-n}{x\left( s_4\right) }<0\), another contradiction.
Therefore \(\psi \left( s\right) \in \left( \frac{\pi }{2},\pi \right) \) for all \(s\in \left( a,s_2\right) \). Next, we will show that \(\psi '\) does not stay negative on all of I. Assuming otherwise that \(\psi '\left( s\right) <0\) for all \(s\in \left( a,s_2\right) \), consider the following cases:
\(\underline{\hbox {Case}\, a>-\infty :}\) Because \(I=\left( a,b\right) \) is maximal, we can deduce just like in Lemma 2 that the limits \(y\left( a\right) :=\lim \limits _{s\rightarrow a}y\left( s\right) =0\), \(x\left( a\right) >0\) and \(\psi \left( a\right) \in \left( \frac{\pi }{2},\pi \right] \) exist. However, \(\lim \limits _{s\rightarrow a}\psi '\left( s\right) =\lim \limits _{s\rightarrow a}\alpha \frac{\cos \psi \left( s\right) }{y\left( s\right) }-\lim \limits _{s\rightarrow a}\left( n-1\right) \frac{\sin \psi \left( s\right) }{x\left( s\right) }=\infty \), contradicting \(\psi '\left( s\right) <0\) for all \(s\in \left( a,s_2\right) \).
\(\underline{\hbox {Case}\, a=-\infty :}\) The limits \(y\left( a\right) \ge 0\) and \(\psi \left( a\right) \in \left( \frac{\pi }{2},\pi \right] \) exist by monotonicity and boundedness. Because \(\gamma \) is parametrized by arc length, we must also have \(\psi \left( a\right) =\pi \) and \(\lim \limits _{s\rightarrow a}x\left( s\right) =\infty \). Using (9), we obtain \(\lim \limits _{s\rightarrow a}\psi '\left( s\right) =\lim \limits _{s\rightarrow a}\alpha \frac{\cos \psi \left( s\right) }{y\left( s\right) }\in \left( 0,\infty \right] \) which is again a contradiction to \(\psi '\left( s\right) <0\) for all \(s\in \left( a,s_2\right) \).
This yields the existence of a point \(s_5\in \left( a,s_2\right) \) with \(\psi '\left( s_5\right) =0\). Since the second derivative \(\psi ''\left( s_5\right) =\sin \psi \left( s_5\right) \cos \psi \left( s_5\right) \left( \frac{n-1}{x\left( s_5\right) ^2}-\frac{\alpha }{y\left( s_5\right) ^2}\right) <0\), we also know that \(\psi '\left( s\right) >0\) for all \(s\in \left( a,s_5\right) \).
As in Lemma 2, it follows that \(a>-\infty \), \(y\left( a\right) :=\lim \limits _{s\rightarrow a}y\left( s\right) =0\), \(x\left( a\right) >0\) and \(\psi \left( s\right) \in \left[ \frac{\pi }{2},\pi \right) \). This finishes the discussion of case (a).
\(\square \)
From now on, we will focus on the trajectories of the system
and the singular points \(\left( \psi ,\theta \right) =\left( 0,\frac{\pi }{2}\right) \) and \(\left( -\frac{\pi }{2},0\right) \). All other singular points can be obtained through translations by multiples of \(\pi \). By the Hartman–Grobman theorem (see, e.g., Perko [12, Section 2.8]), it is sufficient to analyze the linearized system in order to understand the qualitative behavior of trajectories near the equilibrium points. At the point \((\psi , \theta )=\left( 0,\frac{\pi }{2}\right) \), we find
as the matrix of the linearized system. The eigenvalue \(1-n<0\) has eigenvector \(\left( 1,0\right) \) while the value 1 corresponds to the eigenvector \(\left( 1,-\frac{n}{\alpha }\right) \), whence the point \(\left( 0,\frac{\pi }{2}\right) \) is a saddle point of (12) with stable manifold in \(\left( 1,0\right) \)-direction and unstable manifold in \(\left( 1,-\frac{n}{\alpha }\right) \)-direction.
For \(\left( \psi ,\theta \right) =\left( -\frac{\pi }{2},0\right) \), we have the linearized system with matrix
Hence, \((-\frac{\pi }{2},0)\) is a stable node. The eigenvectors corresponding to \(-1\) and \(\alpha \) are \(\left( 1,0\right) \) and \(\left( 1,-\frac{\alpha +1}{n-1}\right) \), respectively. Therefore, the behavior depends on the size of \(\alpha \):
\(\underline{\alpha <-1:}\) All trajectories with \(\theta \ne 0\) have direction \(\left( 1,-\frac{\alpha +1}{n-1}\right) \).
\(\underline{-1<\alpha <0:}\) All trajectories have direction \(\left( 1,0\right) \), except for a single one with direction \(\left( -1,\frac{\alpha +1}{n-1}\right) \).
\(\underline{\alpha =-1:}\) The eigenspace is one-dimensional. The trajectories spiral toward the \(\psi \)-axis in negative direction.
By symmetry, \(\left( \psi ,\theta \right) =\left( \frac{\pi }{2},0\right) \) is an unstable node.
Lemma 4
Every maximal solution of (9) in the quadrant \(\theta \in \left( 0,\frac{\pi }{2}\right) \) intersects either the x- and y-axis or the x-axis in the respective endpoints at a right angle. In particular this also holds in case (b) of Lemma 3.
Proof
We look at the region \(\left( \psi ,\theta \right) \in {\mathbb {R}}\times \left( 0,\frac{\pi }{2}\right) \) in the phase plane of system 12 and show that all trajectories start and end in a singular (or equilibrium) point. Clearly, it suffices to consider the asymptotic behavior as \(t\rightarrow \infty \).
Assume on the contrary, there is a trajectory not approaching a singular point as \(t\rightarrow \infty \). Then, by the Poincaré–Bendixson theorem (see Hartman [9, Section VII.4]) it must approach a periodic orbit or is periodic itself. This orbit must contain a critical point on the inside (see Corollary 2 in Perko [12, Section 3.12]). However, there is no critical point in \(\left( \psi ,\theta \right) \in {\mathbb {R}}\times \left( 0,\frac{\pi }{2}\right) \); hence, we obtain a contradiction.
In the particular case of the left branch of a solution of type (b) in Lemma 3, the only possible end point is of type \(\left( \psi ,\theta \right) =\left( \frac{\pi }{2},0\right) \) because of the monotonicity of \(\psi \). Also x cannot converge to zero as \(y\rightarrow 0\), since for small \(s\rightarrow -\infty \) the trajectory has small values of \(\theta >0\) and \(\psi \) is close to \(\frac{\pi }{2}\).
Finally, every trajectory that is not of type as in Lemma 2 starts in an unstable and ends in a stable node (Fig. 2), so there always exists a (finite) point with \(\psi \in \pi {\mathbb {Z}}\). \(\square \)
\(\psi \)-\(\theta \)-phase plane of (12) for \(-1<\alpha <0\). Solutions of types (i)–(iii) are depicted by the solid, dashed and dotted curves, respectively. The dashed-dotted line indicates which slope coming out of \(\left( \psi ,\theta \right) =\left( \frac{\pi }{2},0\right) \) dictates whether the solution is of type (ii) or (iii)
It still remains to show that both cases in Lemma 3 are possible:
Lemma 5
There exists a value \(\theta _0=\theta _0\left( n,\alpha \right) \in \left[ 0,\frac{\pi }{2}\right) \) such that for every maximal solution \(\left( x,y,\psi \right) \) of (9) in the region \(\theta \in \left( 0,\frac{\pi }{2}\right) \) with \(\psi \left( 0\right) =0\), we have:
If \(\theta \left( 0\right) >\theta _0\), then \(\gamma =\left( x,y\right) \) is of type (a) in Lemma 3.
If \(\theta \left( 0\right) \le \theta _0\), then \(\gamma =\left( x,y\right) \) is of type (b) in Lemma 3.
Furthermore, \(\theta _0=0\) if and only if \(\alpha \le -1\).
Proof
A trajectory \(\left( x,y,\psi \right) \) is of type (a) if and only if there is a \(s_2\in \left( a,0\right) \) with \(\psi \left( s_2\right) =\frac{\pi }{2}\). Recall the behavior near \(\left( \psi ,\theta \right) =\left( \frac{\pi }{2},0\right) \) in the following cases:
\(\underline{\hbox {Case}\,\alpha <-1:}\)
The trajectory \(\left( \psi \left( t\right) ,\theta \left( t\right) \right) \) of \(\gamma \) leaves \(\left( \frac{\pi }{2},0\right) \) in the direction \(\left( 1,-\frac{\alpha +1}{n-1}\right) \). Therefore, we have \(\psi \left( t\right) >\frac{\pi }{2}\) for small \(t>-\infty \) and \(\gamma \) is described by (a). Whence we have \(\theta _0=0\).
\(\underline{\hbox {Case}\, \alpha =-1:}\)
Same conclusion as in the previous case, this time with direction \(\left( 1,0\right) \). Again \(\gamma \) is of type (a) and \(\theta _0=0\).
\(\underline{\hbox {Case} -1<\alpha <0:}\)
There is exactly one trajectory \(\phi \) that leaves \(\left( \frac{\pi }{2},0\right) \) in direction \(\left( -1,\frac{\alpha +1}{n-1}\right) \). Since we then have \(\psi \left( t\right) <\frac{\pi }{2}\) for small \(t>-\infty \) and the value \(\psi =\frac{\pi }{2}\) cannot be assumed later, the solutions belonging to \(\phi \) must be of type (b). Furthermore, the value \(\theta _0\in \left( 0,\frac{\pi }{2}\right) \) is uniquely determined by the requirement that \(\phi \) passes through the point \(\left( \psi ,\theta \right) =\left( 0,\theta _0\right) \). Every trajectory with \(\theta \left( t\right) <\theta _0\) at the point t where \(\psi =0\) has to leave \(\left( \frac{\pi }{2},0\right) \) in direction \(\left( -1,0\right) \) and therefore corresponds to (b). Otherwise, if \(\theta >\theta _0\) at \(\psi =0\), it leaves the starting point with direction \(\left( 1,0\right) \), and the solutions belong to case (a). \(\square \)
Finally, also solutions of type (a) have no self-intersections.
Lemma 6
For every solution \(\gamma =\left( x,y\right) \), we have \(\gamma \left( s_1\right) \ne \gamma \left( s_2\right) \) for all \(a\le s_1<s_2\le b\), where we have set \(\gamma \left( a\right) :=\lim \limits _{s\rightarrow a}\gamma \left( s\right) \) and \(\gamma \left( b\right) :=\lim \limits _{s\rightarrow b}\gamma \left( s\right) \).
Proof
Assume this is not the case and choose a minimal \(s_2\) such that there is a (maximal) \(s_1<s_2\) with \(a\le s_1<s_2\le b\) and \(\gamma \left( s_1\right) =\gamma \left( s_2\right) \). Then \(\theta \left( s_1\right) =\theta \left( s_2\right) \) and \(\left| \psi \left( s_1\right) -\psi \left( s_2\right) \right| \ge \pi \).
Recall that the trajectories of solutions that touch the y-axis divide the phase plane in regions of \(\psi \)-width equal to \(\pi \), and these trajectories meet every value of \(\theta \in \left( 0,\frac{\pi }{2}\right) \) exactly once. In other words, the existence of a solution \(\gamma \) and points \(s_1,s_2\in I=\left( a,b\right) \) as above is impossible.
We still have to consider the case \(s_1=a\) and \(s_2=b\). Since \(\gamma \) orthogonally meets the x-axis at both points, we must have \(\left| \psi \left( {\widetilde{s}}_1\right) -\psi \left( {\widetilde{s}}_2\right) \right| >\pi \) for \({\widetilde{s}}_i\) sufficiently close to \(s_i\), and we can pick the \({\widetilde{s}}_i\) such that \(\theta \left( {\widetilde{s}}_1\right) =\theta \left( {\widetilde{s}}_2\right) \). Again, this leads to a contradiction. \(\square \)
The proof of Theorem 1 now easily follows from Lemma 2–6.
The solutions of type (i) can be used in conjunction with a maximum principle to show that (1) has no solutions defined on all of \({\mathbb {R}}^n\) for \(\alpha <0\). Also type (i) solutions minimize locally the energy \(E_\alpha (\cdot )\) in suitable classes of BV-functions (see Dierkes [7]).
3 Solutions for \(\alpha >0\)
The first part of this section is based on the unpublished work by Keiper [10] who investigated the case \(\alpha =1\). In addition to carefully scrutinizing his results, we give more detailed arguments for the proofs and generalize to arbitrary \(\alpha >0\). Also we adopt Keiper’s notation to denote smooth entire solutions of the system (15) as the n-\(\alpha \)-tectum (the Latin word for “roof”).
3.1 Classification and geometry
As before, we consider the system
as well as system (12). In analogy to Keiper, we refer to any solution which intersects the y-axis orthogonally as the n-\(\alpha \)-tectum (which is unique up to homotheties) (Fig. 3, left).
All solutions of (15) are classified in the following Theorem (Figs. 3, 4):
Theorem 7
Let \(\alpha > 0\), then every maximal solution \(\gamma = \gamma (s)\) of (15) is of one of the following types:
-
(i)
n-\(\alpha \)-tectum: \(\gamma \) is the graph of a symmetric function on the x-axis that assumes a global minimum at \(x=0\) and is strictly increasing for \(x>0\). As \(x\rightarrow \infty \), the function is asymptotic to the straight line \(\sqrt{\frac{\alpha }{n-1}}x\).
-
(ii)
n-\(\alpha \)-cone: \(\gamma \) lies on one side of the y-axis (say, \(x>0\)) and is the ray through the origin with gradient \(\sqrt{\frac{\alpha }{n-1}}\).
-
(iii)
\(\gamma \) lies on one side of the y-axis (say, \(x>0\)) and is the graph of a strictly increasing function on an interval \(\left( x_0,\infty \right) \) of the x-axis with \(x_0>0\). At the point \(\left( x_0,0\right) \), \(\gamma \) orthogonally meets the x-axis. As \(x\rightarrow \infty \), the function is asymptotic to the straight line \(\sqrt{\frac{\alpha }{n-1}}x\).
-
(iv)
\(\gamma \) lies on one side of the y-axis (say, \(x>0\)) and both ends are asymptotic to the line \(\sqrt{\frac{\alpha }{n-1}x}\). Furthermore, we have \(\left| \lim \limits _{s\rightarrow \infty }\psi \left( s\right) -\lim \limits _{s\rightarrow -\infty }\psi \left( s\right) \right| =\pi \).
We start our analysis with the n-\(\alpha \)-tectum.
Lemma 8
The n-\(\alpha \)-tectum is the graph of a symmetric function on some interval of the x-axis which assumes a global minimum at \(x=0\) and is strictly increasing for \(x>0\). \(\gamma \left( s\right) \) is defined for every \(s\in {\mathbb {R}}\) and is unbounded.
Proof
Without loss of generality, let \(x\left( 0\right) =0\) and \(\psi \left( 0\right) =0\). By symmetry, we only have to consider \(s\ge 0\).
At \(s=0\), we get \(\frac{\mathop {}\!{\mathrm {d}}\psi }{\mathop {}\!{\mathrm {d}}s}=\frac{\alpha }{ny}>0\) from (15) and therefore y has a local minimum there and \(\psi \in \left( 0,\frac{\pi }{2}\right) \) for small \(s>0\).
With the same line of arguments as in the previous section, it is easy to see that \(\psi \) stays in the interval \(\left( 0,\frac{\pi }{2}\right) \) for all \(s>0\). In particular, \(\frac{\mathop {}\!{\mathrm {d}}x}{\mathop {}\!{\mathrm {d}}s}>0\) and \(\frac{\mathop {}\!{\mathrm {d}}y}{\mathop {}\!{\mathrm {d}}s}>0\) for all \(s>0\).
Since \(\left( x,y,\psi \right) \) is a maximal solution to (15) and \(\gamma \) is parametrized by arc length, \(\gamma \) must be defined for all \(s\in {\mathbb {R}}\) and \(\gamma \) is unbounded. \(\square \)
For \(\alpha >0\), the system
has the following four types of singular points,
where \(k_1,k_2\in {\mathbb {Z}}\), and \(\beta ^\alpha _n:=\,\arctan \left( {\sqrt{\frac{\alpha }{n-1}}}\right) \).
Lemma 9
The system (12) has no nontrivial periodic solutions. Every trajectory in the \(\psi \)-\(\theta \)-plane is bounded.
Proof
It is sufficient to consider \(\theta \in \left( 0,\frac{\pi }{2}\right) \). For every point in \(\left( \psi ,\theta \right) \in \left[ \frac{\pi }{2},\pi \right) \times \left( 0,\frac{\pi }{2}\right) \), we have
which means that the trajectories in this rectangle cannot be periodic and have to leave it at \(\psi =\frac{\pi }{2}\). Once a trajectory is in \(\left( \psi ,\theta \right) \in \left( 0,\frac{\pi }{2}\right) \times \left( 0,\frac{\pi }{2}\right) \), it cannot leave this rectangle (Fig. 5). It remains to show that no periodic solutions are contained in this interval. Defining a function \(B\left( \psi ,\theta \right) :=\sin ^{\alpha -1}\theta ,\) we calculate
Using the Bendixson–Dulac theorem (see Perko [12, Section 3.9]) concludes the proof. \(\square \)
\(\psi \)-\(\theta \)-phase plane of (12) for \(\alpha >0\). Solutions of types (i), (iii) and (iv) are depicted by the solid, dotted and dashed curves, respectively. The n-\(\alpha \)-cone (ii) is represented by the singular point \(\left( \psi ,\theta \right) =\left( \beta ^\alpha _n,\beta ^\alpha _n\right) \)
Lemma 10
Every trajectory of (12) within \(\theta \in \left( 0,\frac{\pi }{2}\right) \) approaches singular points as \(t\rightarrow \infty \) and \(t\rightarrow -\infty \) and - for each trajectory - at least one end point is of the form \(\left( \beta ^\alpha _n+k\pi , \beta \alpha _n\right) \) for some \(k\in {\mathbb {Z}}\). In particular, every solution is of one of the four types (i)–(iv) in Theorem 7, and every case occurs.
Proof
By the Poincaré–Bendixson theorem (see Hartman [9, Section VII.4]) and Lemma 9, every trajectory approaches singular points at both end points. By virtue of the anti-periodicity of (12), it is sufficient to analyze the points \(\left( \beta ^\alpha _n,\beta ^\alpha _n\right) \), \(\left( 0,\frac{\pi }{2}\right) \) and \(\left( \frac{\pi }{2},0\right) \):
\(\underline{\left( 0,\frac{\pi }{2}\right) :}\) The matrix of the linearized system is
The point is a saddle point, as in the case for \(\alpha <0\). The only trajectory in \(\theta \in \left( 0,\frac{\pi }{2}\right) \) starting at this point corresponds to the n-\(\alpha \)-tectum (type (i)). It leaves the point with direction \(\left( \alpha ,-n\right) \), entering \(\left( \psi ,\theta \right) \in \left( 0,\frac{\pi }{2}\right) \times \left( 0,\frac{\pi }{2}\right) \) which was already shown in Lemma 8. It is impossible to leave this rectangle and as \(t\rightarrow \infty \), the trajectory of the n-\(\alpha \)-tectum must approach \(\left( \beta ^\alpha _n,\beta ^\alpha _n\right) \).
\(\underline{\left( \frac{\pi }{2},0\right) :}\) Here we have the linearized system given by the matrix
and hence another saddle point. The only trajectory starting here leaves in the direction \(\left( 1-n,\alpha +1\right) \). Arguing as before we find that the trajectory has to approach the singular point \(\left( \beta ^\alpha _n,\beta ^\alpha _n\right) \) and the solution curve is described by (iii).
\(\underline{\left( \beta ^\alpha _n,\beta ^\alpha _n\right) :}\) The equilibrium solution corresponds to the n-\(\alpha \)-cone, cp. case (ii).
The matrix of the linearized system is
with characteristic polynomial
The (complex) roots of \(\chi _A\) are given by
The roots are real if and only if \(n+\alpha \ge 4+\sqrt{8}\). In any case both real parts are negative and we therefore have a stable node, if \(n+\alpha \ge 4 + \sqrt{8}\), or a stable focus, if \(n+\alpha <4+\sqrt{8}\).
All other trajectories in the phase space have to connect singular points of types \(\left( \beta ^\alpha _n+\left( 2l-1\right) \pi ,\beta ^\alpha _n\right) \) and \(\left( \beta ^\alpha _n+2k\pi ,\beta ^\alpha _n\right) \) for some \(l,k\in {\mathbb {Z}}\). Additionally, since the phase plane is divided into regions of \(\psi \)-width \(\pi \) by the three other types of trajectories (i), (ii) and (iii), we must have \(l\in \left\{ k,k+1\right\} \). Hence, these trajectories correspond to solutions of system (9) which are described in case (iv) of Theorem 7. \(\square \)
To conclude the proof of Theorem 7, it remains to analyze the asymptotic behavior of solutions.
Lemma 11
Let \(\left( x\left( s\right) ,y\left( s\right) ,\psi \left( s\right) \right) \) be a maximal solution of (15) with \(\lim \limits _{s\rightarrow \infty }x\left( s\right) =\lim \limits _{s\rightarrow \infty }y\left( s\right) =\infty \). Then \(\gamma =\left( x,y\right) \) is asymptotic to the n-\(\alpha \)-cone as \(s\rightarrow \infty \). In other words, \(\lim \limits _{s\rightarrow \infty }\left( y\left( s\right) -\sqrt{\frac{\alpha }{n-1}}x\left( s\right) \right) =0\).
Proof
Consider the following transformation of variables:
By virtue of Lemma 10, we infer \(\lim \limits _{s\rightarrow \infty }\phi =0\) and, with de L’Hôpital’s rule, also \(\lim \limits _{s\rightarrow \infty }u=1\) and \(\lim \limits _{s\rightarrow \infty }v=0\).
In these coordinates, \(\left( u\left( t\right) ,v\left( t\right) ,\phi \left( t\right) \right) \) solves the system:
The linearized form of (16) near \(\left( u,v,\phi \right) =\left( 1,0,0\right) \) is
and the characteristic polynomial \(\chi \left( \lambda \right) :=\left( \lambda +1\right) \left( \lambda ^2+\left( n+\alpha \right) \lambda +2\left( n+\alpha \right) -2\right) \) has the roots
where \(\lambda _2\) and \(\lambda _3\) are real if and only if \(n+\alpha \ge 4+\sqrt{8}\). We always have \({\text {Re}} ({\lambda _2})<-1\) and \({\text {Re}} ({\lambda _3})<-1\).
Since \(\lambda _1\) belongs to the eigenvector \(e_1=\left( 1,0,0\right) \), we can estimate
with suitable constants \({\widetilde{c}}_2, {\widetilde{c}}_3 \in {\mathbb {R}}\) and as \(s, t \rightarrow \infty \). This yields
again as \(s,t\rightarrow \infty \). In other words, the n-\(\alpha \)-cone is indeed an asymptotic line. \(\square \)
Theorem 7 follows from Lemmata 8–11.
3.2 Intersections of the n-\({\alpha }\)-tectum and the n-\({\alpha }\)-cone
We show here that there are no points of intersection of the tectum and the cone, if for example \((n+\alpha )>4+\sqrt{8}\) and \(n \ge 6\), cp. Theorem 14 and, for a more general result, see Theorem 15. In these cases the n-\(\alpha \)-tectum turns out to be stable for symmetric perturbation, see Theorem 20. Recall that a point of intersection is characterized by the condition \(\tan \theta = \sqrt{\frac{\alpha }{n-1}}\) and that the unstable manifold starting at the saddle point \((\psi , \theta ) = (0, \frac{\pi }{2})\) has direction \((1, -\frac{n}{\alpha })\). Our aim is to construct a region \(R \subset (0, \frac{\pi }{2}) \times (0, \frac{\pi }{2})\) in the \(\psi \)-\(\theta \)-plane such that \(R \subset {\{\theta > {\beta ^ \alpha _ n} \}}\) and the vector field (12) points inward R whence solution trajectories of (12) remain trapped inside R and converge to the equilibrium \(({\beta ^\alpha _n}, {\beta ^\alpha _n})\). To this end we let R denote the region enclosed by the three curves
where \(a\le 0\) \((so \, R \subset \{\theta > {\beta ^\alpha _n}\})\) and \(b := (1-a) \sqrt{\frac{\alpha }{n-1}}\), such that (C3) and (C2) intersect at \((\psi , \theta ) = (\beta ^\alpha _n, \beta ^\alpha _n)\) (Fig. 6). Clearly, the vector field (12), when restricted to the curve (C1), points into R.
(C2) considered as the graph \(\theta = g(\psi ) = \arctan (\frac{\alpha }{(n-1)\tan \psi })\) has derivative \(g'(\psi ) = -{\frac{\alpha }{n-1} {\frac{\cos ^2 \theta }{\sin ^2 \psi }}} < 0\) and since - by equation (11) - every trajectory of (12) must have \(\frac{d\psi }{d\theta }=0\) along (C2), it cannot leave R by intersecting (C2). Also note that \(\underset{\psi \rightarrow 0}{\lim }~ g'(\psi ) = \frac{1-n}{\alpha } > -\frac{n}{\alpha }\), whence the instable manifold (n-\(\alpha \)-tectum) starting at \((0, \frac{\pi }{2})\) enters the region R.
Finally, we write (C3) as a graph \(\theta = h (\psi ) : = \arctan (a \tan \psi + b)\) and find \(h' (\psi ) = a \frac{\cos ^ 2 \theta }{\cos ^ 2 \psi }\) and the condition \(h (\psi ) \le g (\psi )\) requires that \(a = h' (\beta ^ \alpha _ n) \ge g' (\beta ^ \alpha _ n) = - 1\). By virtue of (11) any trajectory in R cannot leave R across curve (C3), if we can find some \(a \in [-1, 0]\), such that for all \(\psi , \theta \) along (C3) we have
In other words, defining the polynomial
we have the following sufficient condition:
Lemma 12
Suppose there exists an \(a\in \left[ -1,0\right] \) such that
Then the trajectory of the n-\(\alpha \)-tectum stays inside the region R. In particular, it does neither intersect nor touch the n-\(\alpha \)-cone.
Remark
For \(a<0\), \(p^\alpha _{n}\left( a,z\right) \) is a polynomial of degree four in z. Using
\(p^\alpha _{n}\left( a,\sqrt{\frac{\alpha }{n-1}}\right) =0\), it can be reduced to a polynomial of degree three.
Theorem 13
Let \(n\ge 6\) and \(\alpha >0\) with \(n+\alpha \ge 7\). Then the n-\(\alpha \)-tectum does not intersect the n-\(\alpha \)-cone.
Proof
Step 1: The choice of a.
We have to fulfill condition (18) of Lemma 12.
Setting \(a:=-\frac{1}{2}\) and transforming \(p^\alpha _n\) for the sake of notational convenience we obtain
Now we have to show \(q^\alpha _n\left( z\right) >0\) on \(\left( 0,1\right) \). Since \({q^\alpha _n}'\left( 1\right) =7-\left( n+\alpha \right) \le 0\), this is obviously fulfilled near the boundary points.
Step 2: Proof by monotonicity for small \(\alpha \).
\({q^\alpha _n}''\) has the roots \(z=\frac{3}{4}\pm \sqrt{\frac{11}{48}+\frac{2}{3\alpha }-\frac{n}{6\alpha }}\) which are real if and only if
For \(\alpha \le \frac{8}{11}n-\frac{32}{11}\), \({q^\alpha _n}'\) is therefore increasing. Together with \({q^\alpha _n}'\left( 1\right) \le 0\), \(q^\alpha _n\) must be decreasing on \(\left( 0,1\right) \). This proves \(q^\alpha _n\left( z\right) >0\) for \(\alpha \le \frac{8}{11}n-\frac{32}{11}\).
Step 3: Proof by direct estimates for large \(\alpha \).
Now assume \(\alpha >\frac{8}{11}n-\frac{32}{11}\). \({q^\alpha _n}'\) takes on a local maximum at \(z_1:=\frac{3}{4}-\sqrt{\frac{11}{48}+\frac{2}{3\alpha }-\frac{n}{6\alpha }}\in \left( 0,\frac{3}{4}\right) \). If \({q^\alpha _n}'\left( z_1\right) \le 0\), we can again argue with monotonicity of \(q^\alpha _n\). Otherwise assume that \({q^\alpha _n}'\left( z_1\right) >0\). Then \({q^\alpha _n}'\) has two roots in \(\left( 0,1\right) \), of which we denote the first one by \(z_2\in \left( 0,z_1\right) \). At this point, \(q^\alpha _n\) attains its only local minimum and so we only have to show \(q^\alpha _n\left( z_2\right) >0\). Upon using \({q^\alpha _n}'\left( z_2\right) =0\) and \(z_2<\frac{3}{4}\), we can estimate as follows:
We conclude that (18) is satisfied and by Lemma 12 also Theorem 13 follows. \(\square \)
Remark
Theorem 13 is optimal for \(n\ge 7\) and nearly optimal for \(n=6\). There is no result for \(n\le 5\), and we can in fact see that Lemma 12 requires \(n\ge 6\) as follows by looking at \(p^\alpha _n\left( 0\right) \):
This polynomial has roots \(-\frac{n-3}{2}\pm \frac{\sqrt{\left( n-1\right) \left( n-5\right) }}{2}\), which implies that \(n\ge 5\). Also, plugging in \(n=5\) and \(a:=-\frac{n-3}{2}=-1\) results in \({p^\alpha _n}'\left( 0\right) =\left( \left( n-3\right) a+1\right) b=-\sqrt{\alpha }<0\).
So the only way of improving Theorem 13 with the same region R is by weakening the requirement \(n+\alpha \ge 7\). Recall that, this was needed for \({p^\alpha _n}'\left( \sqrt{\frac{\alpha }{n-1}}\right) \le 0\). Let us now study this inequality for different values of \(a\in \left[ -1,0\right] \). Writing \({p^\alpha _n}'\left( a,z\right) \) as
and plugging in the boundary point yields
Viewing this as a polynomial in a, the roots depend only on the sum of n and \(\alpha \) and are real if and only if
a value which looks familiar from the proofs of Theorems 7 and Lemma 11.
Using this observation, we will now improve Theorem 13.
Theorem 14
Let \(n\ge 6\) and \(\alpha >0\) with \(n+\alpha >4+\sqrt{8}\). Then the n-\(\alpha \)-tectum does not intersect the n-\(\alpha \)-cone.
Proof
In order to minimize \({p^\alpha _n}'\left( \sqrt{\frac{\alpha }{n-1}}\right) \), we put \(a:=-\frac{1}{2}\cdot \frac{n+\alpha -2}{n+\alpha -1}\). Then set
We have to show that \(r^\alpha _n\left( z\right) <0\) for all \(z\in \left( 0,1\right) \) in order to be able to apply Lemma 12. From our choice of a and \(n+\alpha >4+\sqrt{8}\), we already know this is fulfilled near the boundary.
Without loss of generality, let us assume \(n=6\). Then \(r^\alpha _6\left( z\right) \) becomes
We observe \(r^\alpha _6\left( 0\right)<-1<0\), and the roots of the derivative of r
are \(\frac{2}{3}\cdot \frac{\alpha +5}{\alpha +4}\pm \sqrt{\left( \frac{2}{3}\cdot \frac{\alpha +5}{\alpha +4}\right) ^2-\frac{2}{3}\cdot \frac{\alpha +3}{\left( \alpha +4\right) \alpha }}\). Since \(\alpha \ge \sqrt{8}-2\), these are real and distinct. Hence, \(r^\alpha _6\) attains a local maximum at
and it remains to be shown that \(r^\alpha _6\left( z_1\left( \alpha \right) \right) <0\). For this, consider
where \(q_z\left( \alpha \right) \) is defined as the following function in \(\alpha \):
We have \(q_z''\left( \alpha \right) <0\), so
In the same way, it follows that
which means that \(q_z\left( \alpha \right) <0\) if \(z\in \left( 0,\frac{1}{\sqrt{2}}\right) \). By (19), all we have to show is \(z_1\left( \alpha \right) <\frac{1}{\sqrt{2}}\). This follows from \(z_1\left( \sqrt{8}-2\right) =\frac{1}{\sqrt{2}}\) and \(z_1'\left( \alpha \right) <0\) for all \(\alpha \ge \sqrt{8}-2\). \(\square \)
Remark
The planar system (12) is—modulo obvious transformations—equivalent to the ordinary differential system (1) or (13) in [4] (see also [3]), which has been thoroughly investigated. According to Lemma 1 in [4] there exist trajectories \(\gamma _1\) starting at the singular point \((2\pi , 0)\) and ending at \((\pi , 0)\) provided one of the following conditions holds:
-
(i)
\(\alpha \ge 3\), \(p:= (n-1) \ge 3\)
-
(ii)
\(p \ge 2\) , \(\alpha \ge 4\), or
-
(iii)
\(p \ge 1\), \(\alpha \ge 6\)
which complement the sufficient conditions
-
(ii′)
\(\alpha \ge 2\), \(p \ge 4\) or
-
(iii′)
\(\alpha \ge 1\), \(p \ge 6\)
of Lemma 2 in [4].
Using Lemmata 1 & 2 in [4] we obtain the following result, which is supplementary to Theorem 14:
Theorem 15
Suppose that one of the conditions (i), (ii), \((ii')\) or (iii) holds. Then the n-\(\alpha \)-tectum does not intersect the n-\(\alpha \)-cone.
Note that there is still room for improving these conditions, similarly as in Theorem 14. The following symmetry property of system (12)—which can easily be verified—might be useful in this respect: Suppose the trajectory \((\psi _1(t), \theta _1(t))\), \(t \in {\mathbb {R}}\), of system (12) starts at \((0, \frac{\pi }{2})\) and ends at \((\beta _{n}^\alpha , \beta _{n}^\alpha ), \text {where} \, \beta _{n}^\alpha := \arctan \sqrt{\frac{\alpha }{p}},~ p=(n-1)\), then the curve \((\psi _0 (t), \theta _0 (t)) := (\frac{\pi }{2} - \psi _1 (t), \frac{\pi }{2} - \theta _1 (t))\) solves again system (12) with \(\alpha \) replaced by p and p replaced by \(\alpha \), starts at \((\frac{\pi }{2}, 0)\) and ends at the equilibrium point \(({\overline{\beta }}_n^{\, \alpha }, {\overline{\beta }}_n^{\, \alpha })\) where \({\overline{\beta }}_n^{\, \alpha }:= \arctan \sqrt{\frac{p}{\alpha }},~p=n-1\).
3.3 Stability and minimizing properties of the n-\({\alpha }\)-tectum
The energy integral
for rotational symmetric surfaces \(M= graph(u)\) generated by curves \(u=y(r), r=|x|\), is proportional to the variational integral
whose Euler equation is given in (5). We say that the n-\(\alpha \)-tectum \(y(\cdot )\) is symmetrically stable, if the second variation \(\delta ^2 I (y, \phi ) > 0\) for all \(\phi \in C^1_c(a,b)\). Also recall that for the general one-dimensional variational integral \(\int _{a}^{b} f(x, y, y')\mathop {}\!{\mathrm {d}}x\) we have Jacobi’s equation
where \(P:=f_{zz} (\cdot , y, y'), Q:=f_{zp}(\cdot ,y,y')\) and \(R:= f_{pp} (\cdot , y,y')\) see, e.g., Bolza [2, chap.2,§9-§12].
Here we obtain Jacobi’s equation simply as follows
We have the following
Proposition 16
Let \(y=y(x)\) stand for the n-\(\alpha \)-tectum. Then the function \(h(x):=y(x)-xy'(x)\) solves Jacobi’s equation (21) on all of \({\mathbb {R}}\). Furthermore, h is unique up to constant multiples.
Proof
h is symmetric, since y is symmetric and from (15) we infer
whence (21) follows by direct computations. Uniqueness is a consequence of the requirement \(h'(0)=0\). \(\square \)
Theorem 17
Suppose that \(\theta > \psi \) on some interval \([0, x_1]\) of the n-\(\alpha \)-tectum y. Then y is symmetrically stable on \([-x_1, x_1]\). On the other hand, if at some point in the interval \([0, x_1]\) we have \(\theta = \psi \), then there is some nontrivial variation \(\phi \) such that \(\delta ^2 I (y, \phi )=0\).
Proof
If \(\theta > \phi \) on \([0, x_1]\) the function \(h= y -xy{'}\) has no zeros on \([0, x_1]\) or \([-x_1, x_1]\) and hence there are no conjugate points on \([0, x_1]\) by Proposition 16. Otherwise, \([-x_1, x_1]\) contains a pair of conjugate points and by Jacobi’s theory (see, e.g., Bolza [2, §10, 12]) there is a nontrivial function h such that \(\delta ^2 I (y, h)=0\). \(\square \)
Corollary 18
Let \(\alpha >0\) and \(n+\alpha < 4 + \sqrt{8}\), then every n-\(\alpha \)-tectum is not (globally) stable.
Proof
The singular points \((\beta ^\alpha _n, \beta ^\alpha _n)\) are stable foci provided \(n+\alpha < 4+\sqrt{8}\), see the discussion in the proof of Lemma 10, whence the Corollary follows from Theorem 17. \(\square \)
In particular we have the following Bernstein-type result for solutions of the s.m.s.e. (1) if \(\alpha >0\).
Theorem 19
Let \(\alpha >0\) and \(n+\alpha < 4+ \sqrt{8}\). Then there is no stable, entire rotationally symmetric solution \(u \in C^2 ({\mathbb {R}}^n)\) of the s.m.s.e.(1).
The analogue result for not necessarily symmetric, stable entire \(C^2\)-solutions of equation (1) was shown to hold under the stronger condition \((n+\alpha ) < 4 + \sqrt{\frac{2}{n+\alpha }}\), i.e., \((n+\alpha ) < 5.23 ...\), cp. Dierkes [6]. We conjecture that Theorem 19 holds for all stable, entire solutions of equation (1). The assertion of Theorem 19 also holds for Lipschitz regular cones with vertex at the origin, see the paper [5].
We conclude with the following result on stability and minimizing properties of the n-\(\alpha \)-tecti, if \(n+\alpha> 4+\sqrt{8}~and~\alpha > 0\).
Theorem 20
-
(A)
Let \(n \ge 6\) and \(n + \alpha > 4+\sqrt{8}\) , then we have
-
(i)
The n-\(\alpha \)-tectum is (symmetrically) stable.
-
(ii)
The n-\(\alpha \)-tectum locally minimizes the energy \(E_\alpha \) with respect to variations in the set \(A:= \{x \in {\mathbb {R}}^n \times {\mathbb {R}}^+; x_{n+1} >\sqrt{\frac{\alpha }{n-1}} (x^1_2 + ... + x^2_n)^\frac{1}{2}\}\).
-
(iii)
The 6-1-tectum, although stable and locally minimizing, does not minimize the energy \(E_1 (\cdot )\) with respect to variations in the upper half space \({\mathbb {R}}^6 \times {\mathbb {R}}^+\).
-
(i)
-
(B)
Suppose that one of the following conditions holds:
-
(i)
\(\alpha , ~p \ge 3\), where \(p := (n-1)\),
-
(ii)
\(p \ge 2,~ \alpha \ge 4 ~ \textit{or}~ \alpha \ge 2, p\ge 4\)
-
(iii)
\(p \ge 1,~ \alpha \ge 6 ~ \textit{or} ~ \alpha \ge 1,~ p \ge 6\).
-
(i)
In all these cases the n-\(\alpha \)-tectum minimizes the energy \(E_\alpha \) in suitable classes of nonnegative functions with bounded variation.
Proof
ad A): By Theorem 14 we have \(\tan \theta> \sqrt{\frac{\alpha }{n-1}} > \tan \psi \), so Theorem 17 implies stability of the n-\(\alpha \)-tectum; hence, (i) follows. Furthermore, from Lemma 12 and Theorem 14 we obtain the existence of a field (or "calibration") of n-\(\alpha \)-tecti lying completely above the n-\(\alpha \)-cone. This in turn leads to a function of least \(\alpha \)-gradient which is defined in the open set \(A:= \{x \in {\mathbb {R}}^n \times {\mathbb {R}}^+; x_{n+1} > \sqrt{\frac{\alpha }{n-1}} (x_1^2 + ... + x_n^2)^\frac{1}{2}\}\); since the procedure is analogue to the construction device in [4] and [3] we skip over the details, referring to the papers [3, 4]. It follows that every n-\(\alpha \)-tectum minimizes (in a very general sense) the energy \(E_\alpha \) with respect to variations inside the set A. For a more detailed discussion we refer to the papers [3, 4]
ad (iii): If the 6-1-tectum were minimizing, another minimizing solution v could be constructed which were not of class \(C^1\) in the set \(\{x \in {\mathbb {R}}^n; v(x) >0\}\), which, however, contradicted known regularity results proved in [1]. Since the argument is similar to the proof of Theorem 2 in [4], we omit the details and refer the reader to [4].
ad B): Under the conditions (i),(ii) or (iii) the minimizing property of the n-\(\alpha \)-tecti was implicitly established in the proof of Theorem 1 of [4], c.p. also [3].
The proof follows from the construction of the function f with least \(\alpha \)-gradient in the upper half space \({\mathbb {R}}^n \times {\mathbb {R}}^+\) which has the n-\(\alpha \)-cones and the n-\(\alpha \)-tecti as level surfaces. Lemmata 1 & 2 of [4] guarantee the existence of the field (or "calibration") which leads to the function f, while in [3] the minimizing properties of the corresponding level sets are proved. Since the n-\(\alpha \)-tecti appear as level surfaces of the function f in the respective cases, they are minimizers of the energy integral \(E_\alpha (\cdot )\). \(\square \)
Availability of Data
All data generated or analyzed during this study are included in this published article [and its supplementary information files].
References
Bemelmans, J., Dierkes, U.: On a singular variational integral with linear growth, I: Existence and regularity of minimizers. Arch. Ration. Mech. Anal. 100(1), 83–103 (1987). https://doi.org/10.1007/BF00281248
Bolza, O.: Vorlesungen über Variationsrechnung. Koehler & Amelang, Leipzig (1949)
Dierkes, U.: Minimal Hypercones and \(C^{0,\frac{1}{2}}\) Minimizers for a Singular Variational Problem. Indiana Univ. Math. J. 37(4), 841–863 (1988)
Dierkes, U.: A classification of minimal cones in \({R }^n\)\(\times \)\(R ^+ \) and a counterexample to interior regularity of energy minimizing functions. Manuscr. Math. 63(2), 173–192 (1989). https://doi.org/10.1007/BF01168870
Dierkes, U.: On the non-existence of energy stable minimal cones, Annales de l’Institut Henri Poincaré. Anal. Non linéaire 7(6), 589–601 (1990). https://doi.org/10.1016/S0294-1449(16)30282-7
Dierkes, U.: Curvature estimates for minimal hypersurfaces in singular spaces. Invent. Math. 122(3), 453–473 (1995). https://doi.org/10.1007/BF01231452
Dierkes, U.: On solutions of the singular minimal surface equation. Annali di Matematica 198(2), 505–516 (2019). https://doi.org/10.1007/s10231-018-0779-z
Dierkes, U.: Removable singularities of solutions of the symmetric minimal surface equation. Vietnam J. Math. (2020). https://doi.org/10.1007/s10013-020-00455-7
Hartman, P.: Ordinary Differential Equations. Birkhaeuser, Boston (1982)
Keiper, J.B.: The Axially Symmetric n-Tectum, (1980, preprint)
López, R.: Invariant singular minimal surfaces. Ann. Global Anal. Geom. 53(4), 521–541 (2018)
Perko, L.: Differential Equations and Dynamical Systems. Springer, New York (2001)
Tennstädt, T.: Hölder continuity for continuous solutions of the singular minimal surface equation with arbitrary zero set. Calc. Var. Partial. Differ. Equ. 56(1), 1–9 (2017)
Funding
Open Access funding enabled and organized by Projekt DEAL. The authors did not receive support from any organization for the submitted work.
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
Dierkes, U., Groh, N. Symmetric solutions of the singular minimal surface equation. Ann Glob Anal Geom 60, 431–453 (2021). https://doi.org/10.1007/s10455-021-09785-2
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s10455-021-09785-2