Abstract
In this paper, we consider semilinear elliptic problems in a bounded domain \(\Omega \) contained in a given unbounded Lipschitz domain \({\mathcal {C}} \subset {\mathbb {R}}^N\). Our aim is to study how the energy of a solution behaves with respect to volume-preserving variations of the domain \(\Omega \) inside \({\mathcal {C}}\). Once a rigorous variational approach to this question is set, we focus on the cases when \({\mathcal {C}}\) is a cone or a cylinder and we consider spherical sectors and radial solutions or bounded cylinders and special one-dimensional solutions, respectively. In these cases, we show both stability and instability results, which have connections with related overdetermined problems.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
Let \({\mathcal {C}} \subset {\mathbb {R}}^N\), \(N \ge 2\), be an unbounded uniformly Lipschitz domain and let \(\Omega \subset {\mathcal {C}}\) be a bounded Lipschitz domain with smooth relative boundary \(\Gamma _\Omega \, {:}{=}\, \partial \Omega \cap {\mathcal {C}}\). More precisely, we assume that \(\Gamma _\Omega \) is a smooth manifold of dimension \(N-1\) with smooth boundary \(\partial \Gamma _\Omega \). We set \(\Gamma _{1, \Omega } \, {:}{=}\, \partial \Omega \setminus \overline{\Gamma }_\Omega \) and assume that \({\mathcal {H}}^{N - 1}(\Gamma _{1, \Omega }) > 0\), where \({\mathcal {H}}^{N - 1}\) denotes the \((N - 1)\)-dimensional Hausdorff measure. Hence \(\partial \Omega = \Gamma _\Omega \cup \Gamma _{1, \Omega } \cup \partial \Gamma _\Omega \).
We consider the following semilinear elliptic problem:
where \(f: {\mathbb {R}} \rightarrow {\mathbb {R}}\) is a locally \(C^{1,\alpha }\) nonlinearity and \(\nu \) denotes the exterior unit normal vector to \(\partial \Omega \).
Let \(u_\Omega \) be a positive weak solution of (1.1) in the Sobolev space \(H_0^1(\Omega \cup \Gamma _{1, \Omega })\), which is the space of functions in \(H^1(\Omega )\) whose trace vanishes on \(\Gamma _\Omega \). By standard variational methods we have that under suitable hypotheses on f such a solution exists and is a critical point of the energy functional
where \(F(s) = \int _0^s f(\tau ) \ d\tau \).
A classical example of a nonlinearity for which a positive solution exists for any domain \(\Omega \) in \({\mathcal {C}}\) is the Lane-Emden nonlinearity, namely
In this case, \(u_\Omega \) can be obtained, for instance, by minimizing the functional J on the Nehari manifold
Given the unbounded region \({\mathcal {C}}\), an interesting question is to understand how the energy \(J(u_\Omega )\) behaves with respect to variations of a domain \(\Omega \) inside \({\mathcal {C}}\). In particular, one could ask whether the energy \(J(u_\Omega )\) increases or decreases by deforming \(\Omega \) into a domain \({{\widetilde{\Omega }}}\) sufficiently close to \(\Omega \) and with the same measure.
Loosely speaking, one could consider the function \(\Omega \mapsto T(\Omega ) = J(u_\Omega )\) and study it in a suitable “neighborhood” of \(\Omega \). Under this aspect, domains \(\Omega \) which are local minima of T could be particularly interesting. This question could be attacked by differentiating \(T(\Omega )\) with respect to variations of \(\Omega \) which leave the volume invariant and studying the stability or instability of its critical points. However, since (1.1) is a nonlinear problem and solutions of (1.1) are not unique in general, it is not clear a priori how to well define the functional \(T(\Omega )\).
We will show in Sect. 2 that for nondegenerate solutions \(u_\Omega \) of (1.1) the energy functional \(T(\Omega )\) is well defined for domains obtained by small deformations of \(\Omega \) induced by vector fields which leave \({\mathcal {C}}\) invariant.
We remark that the study of the stationary domains of the energy functional \(T(\Omega )\) with a volume constraint is strictly related to the overdetermined problem obtained from (1.1) by adding the condition that the normal derivative \(\frac{\partial u}{\partial \nu }\) is constant on \(\Gamma _\Omega \), see Proposition 2.6. This is well-known for a Dirichlet problem in \({\mathbb {R}}^N\) and when \(T(\Omega )\) is globally defined for all domains \(\Omega \subset {\mathbb {R}}^N\) (as in the case of the torsion problem, i.e. \(f \equiv 1\)). It has been observed in [21] and [17] in the relative setting of the cone.
The existence or not of domains that are local minimizers of the energy and their shapes obviously depend on the unbounded region \({\mathcal {C}}\) where the domains \(\Omega \) are contained. In this paper, we consider unbounded cones and cylinders, in which there are some particular domains that, for symmetry or other geometric reasons, could be natural candidates for being local minimizers of the energy.
Let us first describe the case when \({\mathcal {C}}\) is a cone \(\Sigma _D\) defined as
where D is a smooth domain on the unit sphere \({\mathbb {S}^{N - 1}}\).
In \(\Sigma _D\) we consider the spherical sector \(\Omega _D\) obtained by intersecting the cone with the unit ball centered at the origin, i.e. \(\Omega _D=\Sigma _D\cap B_1\). In \(\Omega _D\) we can consider a radially symmetric solution \(u_D\) of problem (1.1), for the nonlinearities f for which they exist. Obviously, \(u_D\) is a radial solution of the analogous Dirichlet problem in the unit ball \(B_1\).
In Sect. 3 we show that, whenever \(u_D\) is a nondegenerate solution of (1.1), then the pair \((\Omega _D, u_D)\) is energy-stationary in the sense of Definition 2.4 and investigate its “stability” as a critical point of the energy functional T, which is well defined for small perturbations of \(\Omega _D\). This means to investigate the sign of the quadratic form corresponding to the second domain derivative of T (see Sects. 2 and 3).
The main result we get is that the stability of \((\Omega _D, u_D)\) depends on the first nontrivial Neumann eigenvalue \(\lambda _1(D)\) of the Laplace-Beltrami operator \(- \Delta _{\mathbb {S}^{N - 1}}\) on the domain \(D \subset \mathbb {S}^{N - 1}\) which spans the cone. In particular, we obtain a precise threshold for stability/instability which is independent of the nonlinearity, and on the radial positive solution considered, whenever multiple radial positive solutions exist. Let us remark that for several nonlinearities the radial positive solution is unique (see [19]). For example, this is the case if \(f(u) = u^p\), \(p > 1\).
To state precisely our result we need to introduce the first eigenvalue \({\widehat{\nu }}_1\) of the following singular eigenvalue problem:
This problem arises naturally when studying the spectrum of the linearized operator \(- \Delta - f'(u_D)\). We refer to Sect. 3 for more details.
Theorem 1.1
Let \(\Sigma _D\) be the cone spanned by the smooth domain \(D \subset \mathbb {S}^{N - 1}\), \(N \ge 3\), and let \(\lambda _1(D)\) be the first nonzero Neumann eigenvalue of the Laplace-Beltrami operator \(- \Delta _{\mathbb {S}^{N - 1}}\) on D. Let \(u_D\) be a radial positive solution of (1.1) in the spherical sector \(\Omega _D\). We have:
-
(i)
if \(- {\widehat{\nu }}_1< \lambda _1(D) < N - 1\), then the pair \((\Omega _D, u_D)\) is an unstable energy-stationary pair;
-
(ii)
if \(\lambda _1(D) > N - 1\), then \((\Omega _D, u_D)\) is a stable energy-stationary pair.
Remark 1.2
The case \(N = 2\) is special and in this case, the overdetermined torsion problem has been completely solved in [20] using that the boundary of any cone in dimension 2 is flat. In the nonlinear case, the condition \(N \ge 3\) arises from the study of an auxiliary singular problem (see Proposition 3.12). It is important to observe that the singular eigenvalue \({\widehat{\nu }}_1\) which appears in (i) is larger than \(-(N - 1)\) for all autonomous nonlinearities f(u) (see [7, Proposition 3.4]). Thus the condition \(\lambda _1(D) \in (- {\widehat{\nu }}_1, N - 1)\) is consistent.
Remark 1.3
It is known that if D is a convex domain in \({\mathbb {S}}^{N - 1}\), then \(\lambda _1(D) > N - 1\) (see [12, Theorem 4.3] or [2, Theorem 4.1]) and the same holds if D is almost convex ( [5]). On the other side, examples of domains D in the sphere for which (i) holds are provided in [17], Appendix A.
Let us comment on the meaning of Theorem 1.1. The statement (ii) will be proved by showing that the quadratic form corresponding to the second derivative of the energy functional, with a fixed volume constraint, is positive definite in all directions. This means that the spherical sector locally minimizes the energy among small volume preserving perturbations of \(\Omega _D\) and of the corresponding radial solution \(u_D\).
On the contrary, when \(- {\widehat{\nu }}_1< \lambda _1(D) < N - 1\), by (i) we have that the pair \((\Omega _D, u_D)\) is unstable and therefore \(\Omega _D\) is not a local minimizer of the energy. This means that there exist small volume preserving deformations of the spherical sector \(\Omega _D\) which produce domains \(\Omega _t\) and solutions \(u_t\) of (1.1) in \(\Omega _t\) whose energy \(J(u_t)\) is smaller than the energy \(J(u_D)\) of the positive radial solution \(u_D\) in the spherical sector \(\Omega _D\).
Moreover, observe that the function \(f = f(s)\) could satisfy suitable hypotheses such that problem (1.1) has a unique positive solution \(u_\Omega \) in any domain \(\Omega \subset \Sigma _D\) (or more generally in \(\Omega \subset {\mathcal {C}}\)). This is the case, for example, when \(f \equiv 1\), i.e., (1.1) is a “relative” torsion problem. Then the energy functional \(T(\Omega ) = J(u_\Omega )\) is well defined for any domain \(\Omega \subset \Sigma _D\). Hence we may ask whether a global minimum for T exists, once the volume of \(\Omega \) is fixed, and is given by the spherical sector \(\Omega _D\). This question has been addressed in [20, 21] and [17] when \(f \equiv 1\), showing that \(\Omega _D\) is a global minimizer if \(\Sigma _D\) is a convex cone ( [21]), as a consequence of an isoperimetric inequality introduced in [18], see also [6, 14, 22]. Instead, in [17] it is proved that \(\Omega _D\) is not a local minimizer whenever \(\lambda _1(D) < N - 1\), which is the same threshold we get in Theorem 1.1 for general nonlinearities. It would be very interesting to find a domain \(\Omega \) in \(\Sigma _D\) which is a local minimizer for T, but not a global minimizer, at least for some nonlinearity for which T is globally defined. This seems to be a challenging question.
The other example of an unbounded domain we consider in the present paper is a half-cylinder, defined as
where \(\omega \subset {\mathbb {R}}^{N - 1}\) is a smooth bounded domain. We denote the points in \(\Sigma _\omega \) by \(x = (x', x_N)\), \(x' \in \omega \). In this case, a geometrically simple domain we consider is the bounded cylinder
In \(\Omega _\omega \) we consider a positive solution
which is obtained by trivially extending to \(\Omega _\omega \) a positive one-dimensional solution of the problem
for a nonlinearity f for which such a solution exists.
Before stating the results concerning the stability of the pair \((\Omega _\omega , u_\omega )\) we again consider an auxiliary eigenvalue problem (but not singular):
The problem (1.10) is considered in Sect. 4 to study the spectrum of the linearized operator \(- \Delta - f'(u_\omega )\). We denote by \(\alpha _1\) the first eigenvalue of (1.10).
We start by stating a sharp stability/instability result for the torsion problem, i.e., taking \(f \equiv 1\) in (1.1).
Theorem 1.4
Let \(\Sigma _\omega \subset {\mathbb {R}}^N\), \(N \ge 2\), and \(\Omega _\omega \) be respectively, as in (1.6) and (1.7), and let \(u_\omega \) be the one-dimensional positive solution of (1.1) in \(\Omega _\omega \) obtained by (1.9) for \(f \equiv 1\). Let \(\lambda _1(\omega )\) be the first nontrivial Neumann eigenvalue of the Laplace operator \(- \Delta _{{\mathbb {R}}^{N - 1}}\) in the domain \(\omega \subset {\mathbb {R}}^{N - 1}\). Then there exists a number \(\beta \approx 1,439\) such that
-
(i)
if \(\lambda _1(\omega ) < \beta \), then the pair \((\Omega _\omega , u_\omega )\) is an unstable energy-stationary pair;
-
(ii)
if \(\lambda _1(\omega ) > \beta \), then the pair \((\Omega _\omega , u_\omega )\) is a stable energy-stationary pair.
Note that the number \(\beta \) that gives the threshold for the stability is independent of the dimension N. Its value is obtained by solving numerically the equation \(\sqrt{\lambda _1} \tanh (\sqrt{\lambda _1}) - 1 = 0\) (see (4.44) in the proof of Theorem 1.4).
It is interesting to observe that the instability result of Theorem 1.4 is related to a bifurcation theorem obtained in [13]. Indeed, if we consider the cylinder \(\Sigma _\omega \) in \({\mathbb {R}}^2\), in which case \(\omega \) is simply an interval in \({\mathbb {R}}\) and \(\Omega _\omega \) is a rectangle, a byproduct of Theorem 1.1 of [13] is the existence of a domain \(\widetilde{\Omega }_\omega \) in \(\Sigma _\omega \) that is a small deformation of the rectangle \(\Omega _\omega \) and in which the overdetermined problem
has a solution.
By looking at the proof of [13] and relating it to our instability result it is clear that the bifurcation should occur when the eigenvalue \(\lambda _1(\omega )\) crosses the value \(\beta \) provided by Theorem 1.4.
The proof of Theorem 1.4 can be derived from a general condition for the stability of the pair \((\Omega _\omega , u_\omega )\) in the nonlinear case, which is obtained in Theorem 4.11. The proof of Theorem 4.11 involves auxiliary functions that appear naturally in the study of derivatives of the energy functional T, see Sect. 4.
Let us remark that in the case when \(f \equiv 1\) we succeed in obtaining the sharp bound of Theorem 1.4 because the solution given by (1.8) and (1.9) is explicit:
and so are the auxiliary functions which are solutions of simple linear ODEs. This allows us to use the condition of Theorem 4.11 to obtain Theorem 1.4.
The result of Theorem 1.4 gives a striking difference between the torsional energy problem and the isoperimetric problem in cylinders. Indeed, Proposition 2.1 of [1] shows that the only stationary cartesian graphs for the perimeter functional are the flat ones. Instead, Theorem 1.4 (as well as the result of [13]) indicate that there are domains for which the overdetermined problem relative to (1.1), with \(f \equiv 1\), has a solution and whose relative boundary is a non-flat cartesian graph.
For the semilinear problem, we obtain a stability result for a large class of nonlinearities as soon as the eigenvalue \(\lambda _1(\omega )\) is sufficiently large. Indeed, we have
Theorem 1.5
Let \(\Sigma _\omega \) and \(\Omega _\omega \) be as in (1.6) and (1.7), and let \(u_\omega \) be a positive one-dimensional solution of (1.1) in \(\Omega _\omega \). Let \(\alpha _1\) be the first eigenvalue of (1.10) and let \(\lambda _1(\omega )\) be as in Theorem 1.4. If the nonlinearity f satisfies \(f(0) = 0\) and
then the pair \((\Omega _\omega , u_\omega )\) is a stable energy-stationary pair.
The condition (1.11) shows that the stability depends on an interplay between the geometry of the cylinder \(\Sigma _\omega \) (through the eigenvalue \(\lambda _1(\omega )\)) and the nonlinearity f. On the contrary, numerical evidence shows, for the Lane-Emden nonlinearity (1.3), that, if \(\lambda _1\) is sufficiently close to \(-\alpha _1\), instability occurs, see Remark 4.13.
Concerning the eigenvalue \(\alpha _1\) in the bound (1.11), as well as the analogous one, \(\lambda _1(D) > - {\widehat{\nu }}_1\), of Theorem 1.1, we point out that they are used in the proofs of both theorems to deduce the positivity of some auxiliary functions. It is an open problem to understand if they really play a role in the stability/instability result.
We delay further comments on the results and their proofs to the respective sections.
The paper is organized as follows. In Sect. 2 we study problem (1.1) in domains \(\Omega \) contained in a general unbounded set \(\mathcal C\). We define the energy functional and its derivative with respect to variations of \(\Omega \) which leave \({\mathcal {C}}\) invariant and preserve the measure of \(\Omega \). This is done by considering nondegenerate solutions of (1.1) in \(\Omega \).
In Sect. 3 we consider the case when \({\mathcal {C}}\) is a cone \(\Sigma _D\). In this setting we take domains which are defined by smooth radial graphs over D, in particular we consider the spherical sector \(\Omega _D\) and a corresponding radial solution \(u_D\) for which we prove the stability/instability result.
Finally in Sect. 4 we study the case of the cylinder \(\Sigma _\omega \) and prove the corresponding stability/instability result for the pair \((\Omega _\omega , u_\omega )\) when \(\Omega _\omega \) is a bounded cylinder and \(u_\omega \) is as in (1.8) and (1.9).
2 Semilinear Elliptic Problems in Unbounded Sets
In this section we consider problem (1.1) in a bounded Lipschitz domain \(\Omega \) contained in an unbounded open set \({\mathcal {C}}\) which we assume to be (uniformly) Lipschitz regular.
Starting from a positive nondegenerate solution of (1.1) in \(\Omega \) we show how to define an energy functional for small variations of \(\Omega \) which preserve the volume.
2.1 Nondegenerate Solutions
Let \(\Omega \subset {\mathcal {C}}\) be a bounded domain whose relative boundary \(\Gamma _\Omega = \partial \Omega \cap {\mathcal {C}}\) is a smooth manifold (with boundary). As in Sect. 1 we set \(\Gamma _{1, \Omega } = \partial \Omega \setminus {\overline{\Gamma }_\Omega }\).
We consider a positive weak solution \(u_\Omega \) of (1.1) in the Sobolev space \(H_0^1(\Omega \cup \Gamma _{1, \Omega })\), which is the subspace of \(H^1(\Omega )\) of functions whose trace vanishes on \(\Gamma _\Omega \). By standard variational methods, such as constrained minimization, Mountain-Pass Theorem etc, it is easy to exhibit many nonlinearities \(f = f(s)\) for which such a solution exists. Moreover, with suitable assumptions on the growth of f we also have, by regularity results, that \(u_\Omega \) is a classical solution of (1.1) inside \(\Omega \) and at any regular point of \(\partial \Omega \), and that \(u_\Omega \) is bounded (see also [7, Proposition 3.1]).
We assume that \(u_\Omega \) is nondegenerate, i.e., the linearized operator
does not have zero as an eigenvalue in \(H_0^1(\Omega \cup \Gamma _{1, \Omega })\) or, in other words, \(L_{u_\Omega }\) defines an isomorphism between \(H_0^1(\Omega \cup \Gamma _{1, \Omega })\) and its dual space. We consider small deformations of \(\Omega \) which leave \({\mathcal {C}}\) invariant and would like to show that the nondegeneracy of \(u_\Omega \) induces a local uniqueness result for solutions of (1.1) in the deformed domains. Thus we take a one-parameter family of diffeomorphisms \(\xi _t\), for \(t \in (- \eta , \eta )\), \(\eta > 0\), associated to a smooth vector field V such that \(V(x) \in T_x\partial {\mathcal {C}}\) for every \(x \in \partial \mathcal C^{\textrm{reg}}\), \(V(x)=0\) for \(x\in \partial \mathcal C\setminus \partial {\mathcal {C}}^{\textrm{reg}}\), and set \(\Omega _t:= \xi _t(\Omega )\), where \(T_x\partial {\mathcal {C}}\) denotes the tangent space to \(\partial {\mathcal {C}}\) at the point x, and \(\partial {\mathcal {C}}^{\textrm{reg}}\) denotes the regular part of \(\partial {\mathcal {C}}\). In particular \(\Omega _0=\Omega \) and in order to simplify the notations we set
Proposition 2.1
Let \(u_\Omega \) be a positive nondegenerate solution of (1.1) which belongs to \(W^{1, \infty }(\Omega ) \cap W^{2, 2}(\Omega )\). Let V be a smooth vector field and let \(\xi _t\) be the associated family of diffeomorphisms. Then there exists \(\delta > 0\) such that for any \(t \in (- \delta , \delta )\) there is a unique solution \(u_t\) of the problem
in a neighborhood of the function \(u_\Omega \circ \xi _t^{-1}\) in the space \(H_0^1(\Omega _t \cup \Gamma _{1, t})\). Moreover, the map \(t \mapsto u_t\) is differentiable.
Proof
By using the diffeomorphism \(\xi _t\) we can pass from the space \(H_0^1(\Omega \cup \Gamma _{1, \Omega })\) to the space \(H_0^1(\Omega _t \cup \Gamma _{1, t})\). Indeed,
Moreover, \(u_t\) is a weak solution of (2.3), i.e.,
if and only if the function \({\widehat{u}}_t = u_t \circ \xi _t \in H_0^1(\Omega \cup \Gamma _{1, \Omega })\) satisfies
where
and
In other words, setting \({\widehat{M}}_t:=M_t J_t\), we have that \({\widehat{u}}_t\) is a solution of
in the space \(H_0^1(\Omega \cup \Gamma _{1, \Omega })\). Now we consider the map
defined as
Since \(u_\Omega \) is a solution in \(\Omega \) and \(\xi _0\) is the identity map we have
Notice that \({\mathcal {F}}\) is differentiable with respect to to v, and
Indeed, for any \(h \in H_0^1(\Omega \cup \Gamma _{1, \Omega })\) we have
as \(\varepsilon \rightarrow 0\). Hence \({\mathcal {F}}\) is differentiable and evaluating \(\partial _v {\mathcal {F}}\) at \((0, u_\Omega )\) we obtain (2.8).
By the nondegeneracy assumption on the solution \(u_\Omega \), we infer that (2.8) gives an isomorphism between \(H_0^1(\Omega \cup \Gamma _{1, \Omega })\) and \(H_0^1(\Omega \cup \Gamma _{1, \Omega })^*\). Then, by the Implicit Function Theorem, there exists an interval \((- \delta , \delta )\) and a neighborhood \({\mathcal {B}}\) of \(u_\Omega \) in \(H_0^1(\Omega \cup \Gamma _{1, \Omega })\) such that for every \(t \in (- \delta , \delta )\) there exists a unique function \({\widehat{u}}_t \in H_0^1(\Omega \cup \Gamma _{1, \Omega })\) in \({\mathcal {B}}\) such that \({\mathcal {F}}(t, {\widehat{u}}_t) = 0\), that is, \({\widehat{u}}_t\) is the unique solution (in \({\mathcal {B}}\)) of (2.5). It follows that \(u_t = {\widehat{u}}_t \circ \xi _t^{-1}\) is the unique solution of (2.3) in a neighborhood of \(u_\Omega \circ \xi _t^{-1}\) in \(H_0^1(\Omega _t \cup \Gamma _{1, t})\).
Finally, since the map \(t \mapsto {\widehat{u}}_t\) is smooth, so is the map \(t \mapsto u_t\). In addition
The proof is complete. \(\square \)
Note that, as for \(u_\Omega \), \(u_t\) is a classical solution of (2.3) in \(\Omega _t\) and on the regular part of \(\partial \Omega _t\). By Proposition 2.1 we have that the energy functional
where \(F(s) = \int _0^s f(\tau ) \ d\tau \), is well defined for all sufficiently small t. Observe that, since \(u_t\) is a solution to (2.3), we have
so we can also write
In the next result we show that T is differentiable with respect to t and compute its derivative at \(t = 0\), that is, at the initial domain \(\Omega \).
Proposition 2.2
Assume that \(u_\Omega \) is a positive nondegenerate solution of (1.1) which belongs to \(W^{1, \infty }(\Omega ) \cap W^{2, 2}(\Omega )\). Then
Proof
Recall from Proposition 2.1 that \(t \mapsto u_t\) is smooth and (2.9) holds. Differentiating the equation \(- \Delta u_t = f(u_t)\) with respect to t we obtain
Now observe that by the hypotheses on \(u_\Omega \) we have that
thus
Finally, since \(\xi _t\) maps \(\partial {\mathcal {C}}\) into itself we have that, for all small t and \(x \in (\partial \mathcal C\cap \partial \Omega )^{\textrm{reg}}\)
Differentiating this relation with respect to t and evaluating at \(t=0\) we obtain
where \(d_x(\langle \nabla u_\Omega , \nu \rangle )[V(x) ]\) is the differential of the function \(\langle \nabla u_\Omega , \nu \rangle \big |_{(\partial \mathcal C\cap \partial \Omega )^{\textrm{reg}}}\) computed at x, along V(x). Then, since \(\langle \nabla u_\Omega , \nu \rangle =0\) on \((\partial {\mathcal {C}}\cap \partial \Omega )^{\textrm{reg}}\), and in view of (2.13), (2.15), we infer that \({\widetilde{u}}\) satisfies
in the classical sense in the interior of \(\Omega \) and on the regular part of \(\partial \Omega \).
Recalling (2.11) we can write
Since \(t\mapsto f(u_t)u_t - F(u_t)\) is differentiable at \(t=0\), \(\partial \Omega \) is Lipschitz and taking into account that \(u_\Omega \in W^{1, \infty }(\Omega ) \cap W^{2, 2}(\Omega )\), then, applying [16, Theorem 5.2.2], we can compute the derivative with respect to t of the functional T obtaining that
The previous applications of the Divergence Theorem are justified by arguing as in [20, Lemma 2.1], where the regularity hypothesis on \(u_\Omega \) comes into play. \(\square \)
Remark 2.3
It is not difficult to see that \({\widetilde{u}}\) is also a weak solution of (2.16). Indeed, let \(\varphi \in C_c^\infty (\Omega \cup \Gamma _{1,\Omega })\). Then, for all sufficiently small t, we also have \(\varphi \in C_c^\infty (\Omega _t \cup \Gamma _{1, t})\). Hence, since \(u_t\) is a weak solution to (2.3), we have
Now, as proved in [17, Claim (3.17)], it holds that
Then, taking the derivative with respect to t in (2.18), evaluating at \(t=0\), and since \(\varphi \) is arbitrary, we easily conclude.
Let us now consider domains \(\Omega \subset {\mathcal {C}}\) of fixed measure \(c>0\) and define
where admissible means that \(\Omega \subset {\mathcal {C}}\) is a bounded domain with smooth relative boundary \(\Gamma _\Omega \, {:}{=}\, \partial \Omega \cap {\mathcal {C}}\), \(\partial \Gamma _\Omega \) is a smooth \((N-2)\)-dimensional manifold and \(\Gamma _{1, \Omega } \, {:}{=}\, \partial \Omega \setminus {\overline{\Gamma }}_\Omega \) is such that \({\mathcal {H}}^{N - 1}(\Gamma _{1, \Omega }) > 0\). We consider vector fields that induce deformations that preserve the volume. More precisely we take a one-parameter family of diffeomorphisms \(\xi _t\), \(t\in (-\eta ,\eta )\), associated to a smooth vector field V such that \(V(x) \in T_x\partial {\mathcal {C}}^\textrm{reg}\) for all \(x \in \partial {\mathcal {C}}^\textrm{reg}\), and satisfying the condition \(|\Omega _t| = |\Omega |\), for all \(t\in (-\eta ,\eta )\), where \(\Omega _t = \xi _t(\Omega )\).
Definition 2.4
We say that the pair \((\Omega , u_\Omega )\) is energy-stationary under a volume constraint if
for any vector field tangent to \(\partial {\mathcal {C}}\) such that the associated one-parameter family of diffeomorphisms preserves the volume.
Definition 2.5
Let \((\Omega , u_\Omega )\) be an energy-stationary pair under a volume constraint. We say that it is stable if, for any volume-preserving vector field V, the second derivative
is positive.
Since the computation of second domain derivatives is quite involved, we do not present a general formula. Explicit expressions are given in Sects. 3 and 4, in the special cases of cones and cylinders.
A characterization of energy-stationary pairs in \({\mathcal {C}}\) is the following:
Proposition 2.6
Let \(\Omega \in {\mathcal {A}}\) and assume that \(u_\Omega \in W^{1, \infty }(\Omega ) \cap W^{2, 2}(\Omega )\) is a nondegenerate positive solution of (1.1). Then \((\Omega , u_\Omega )\) is energy-stationary under a volume constraint if and only if \(u_\Omega \) satisfies the overdetermined condition \(|\nabla u_\Omega | = \text {constant}\) on \(\Gamma _\Omega \).
Proof
Let \(\xi _t\) be an arbitrary admissible one-parameter family of diffeomorphisms and let V be the associated vector field. Since the volume is preserved and \(V(x) \in T_x\partial {\mathcal {C}}\) on \(\partial {\mathcal {C}}\),
If \(|\nabla u_\Omega |\) is constant on \(\Gamma _{\Omega }\), then \((\Omega , u_\Omega )\) is energy-stationary, in view of (2.12) and (2.21). On the other hand, if \((\Omega , u_\Omega )\) is energy stationary, then
for every constant a and every admissible vector field V. Assume by contradiction that \(|\nabla u_\Omega |\) is not constant on \(\Gamma _{\Omega }\). Then there exists a compact set \(K \subset \Gamma _{\Omega }\), with nonempty interior part, such that \(|\nabla u_\Omega |\) is not constant on K. Take a nonnegative cutoff function \(\Theta \) such that \(\Theta \equiv 1\) in K, and choose
Then we can build a deformation from the vector field \(V = (|\nabla u_\Omega |^2 - a) \Theta \nu \), and in this case, since \((\Omega , u_\Omega )\) is energy stationary, we would have
which contradicts the fact that \(|\nabla u_\Omega |\) is not constant on K. The proof is complete. \(\square \)
Remark 2.7
It is relevant to observe that all concepts introduced in this section apply to the case when \(\Gamma _{1, \Omega }\) is empty, or, equivalently, when \({\mathcal {C}} = {\mathbb {R}}^N\). Thus all the above results hold for Dirichlet problems in domains in the whole space. In this case it is known, by Serrin’s Theorem (see [23]) that if a positive solution for the overdetermined problem
exists, then \(\Omega \) is a ball. Therefore, in view of Proposition 2.6, it follows that the only energy-stationary pairs in \({\mathbb {R}}^N\) are \((B, u_B)\), where B is a ball and \(u_B\) is a nondegenerate positive solution.
Remark 2.8
We observe that all the results in this section hold true also for non-degenerate sign-changing solutions \(u_\Omega \) to (1.1). However, since in the sequel we study the stability in the case of positive solutions, we have considered only this case
3 The Case of the Cone
Let \(D \subset \mathbb {S}^{N - 1}\) be a smooth domain on the unit sphere and let \(\Sigma _D\) be the cone spanned by D, which is defined as
In \(\Sigma _D\) we consider admissible domains \(\Omega \), in the sense of (2.19), that are strictly star-shaped with respect to the vertex of the cone, which we choose to be the origin 0 in \({\mathbb {R}}^N\). In other words, we consider domains whose relative boundary is the radial graph in \(\Sigma _D\) of a function in \(C^2({\overline{D}}, {\mathbb {R}})\). Hence for \(\varphi \in C^2({\overline{D}}, {\mathbb {R}})\) we set
and consider the strictly star-shaped domain \(\Omega _\varphi \) defined as
To simplify the notation we set
3.1 Energy Functional for Star-Shaped Domains
In \(\Omega _\varphi \) we consider the semilinear elliptic problem
and assume throughout this section that a bounded positive nondegenerate solution \(u_{\Omega _\varphi }\) exists and belongs to \(W^{1, \infty }(\Omega _\varphi ) \cap W^{2, 2}(\Omega _\varphi )\). Then we can apply the results of Sect. 2 and define the energy functional T as in (2.10) for small variations of \(\Omega _\varphi \). Since \(\Omega _\varphi \) is strictly star-shaped, this property also holds for the domains obtained by small regular deformations. Thus it is convenient to parametrize the domains and their variations by \(C^2\) functions defined on \({\overline{D}}\). Hence, for \(v \in C^2({\overline{D}}, {\mathbb {R}})\) and \(t \in (- \eta , \eta )\), where \(\eta > 0\) is a fixed number sufficiently small, we consider the domain variations \(\Omega _{\varphi + tv} \subset \Sigma _D\).
Let \(\xi :(- \eta , \eta ) \times \overline{\Sigma }_D\setminus \{0\} \rightarrow \overline{\Sigma }_D\setminus \{0\}\) be the map defined by
Then \(\xi |_{\Omega _\varphi }(t, \cdot ) : \Omega _\varphi \rightarrow \Omega _{\varphi + tv}\) is a diffeomorphism, whose inverse is
By definition, \(\xi (t, x) \in \partial \Sigma _D \setminus \{0\}\) for all \((t, x) \in (- \eta , \eta ) \times (\partial \Sigma _D \setminus \{0\})\) and \(\xi \) is the flow associated to the vector field
since \(\xi (0, x) = x\) and
The energy functional T in (2.10) becomes a functional defined on functions in \(C^2({\overline{D}}, {\mathbb {R}})\). More precisely, we define, for every \(v \in C^2({\overline{D}}, {\mathbb {R}})\),
for \(t \in (- \delta , \delta )\) with \(\delta > 0\) small, where
is the unique positive solution of (3.4) in the domain \(\Omega _{\varphi + tv}\), in a neighborhood of \(u_\varphi \circ \xi (t, \cdot )^{-1}\).
We now compute the first derivative of the functional T at \(\varphi \) along a direction \(v \in C^2({\overline{D}}, {\mathbb {R}})\), i.e. the derivative with respect to t of (3.8) computed at \(t=0\).
Lemma 3.1
Let \(\varphi \in C^2({\overline{D}}, {\mathbb {R}})\) and assume that \(u_\varphi \) is a bounded positive nondegenerate solution to (3.4) and that \(u_\varphi \) belongs to \(W^{1, \infty }(\Omega _\varphi ) \cap W^{2, 2}(\Omega _\varphi )\). Then for any \(v \in C^2({\overline{D}}, \mathbb R)\) it holds that
Proof
The result follows from Proposition 2.2. Indeed, since the exterior unit normal to \(\Gamma _\varphi \) is given by
where \(\nabla _{\mathbb {S}^{N - 1}}\) is the gradient in \({\mathbb {S}}^{N - 1}\) (see [17, Sect. 2]), then, from (3.7), it follows that
Hence, using the parametrization \(x = e^{\varphi (q)} q\), for \(q \in D\), taking into account that the induced \((N-1)\)-dimensional area element on \(\Gamma _\varphi \) is given by
and since \(u_\varphi =0\) on \(\Gamma _\varphi \), then, from (2.12), we readily obtain (3.9). \(\square \)
The next step is to compute the second derivative of T at \(\Omega _\varphi \) with respect to directions \(v, w \in C^2(\overline{D}, {\mathbb {R}})\)
Lemma 3.2
Let \(\varphi \) and \(u_\varphi \) be as in Lemma 3.1. Then for any \(v, w \in C^2({\overline{D}}, {\mathbb {R}})\) it holds
where \({\widetilde{u}}_w = \left. \frac{d}{ds}\right| _{s = 0} u_{\varphi + sw}\) satisfies (2.16) with \(V(x) = w\left( \frac{x}{|x|}\right) x\).
Proof
The proof is the same as that of [17, Lemma 3.2] and therefore we omit it. \(\square \)
In view of Definition 2.4, we are interested in studying pairs \((\Omega _\varphi , u_\varphi )\) which are energy-stationary under a volume constraint. Thus we need to consider domains \(\Omega _\varphi \) with a fixed volume. We recall that the volume of the domain defined by the radial graph of a function \(\varphi \in C^2({\overline{D}}, {\mathbb {R}})\) is given by
Simple computations yield, for \(v, w \in C^2({\overline{D}}, \mathbb R)\):
Then, for \(c > 0\) we define the manifold
whose tangent space at any point \(\varphi \in M\) is given by
We restrict the energy functional to the manifold M and denote it by
Clearly, if the pair \((\Omega _\varphi , u_\varphi )\) is energy-stationary under a volume constraint, in the sense of Definition 2.4, then \(\varphi \in M\) is a critical point of I. Hence, by the Theorem of Lagrange multipliers, there exists \(\mu \in {\mathbb {R}}\) such that
Moreover, the following result holds true:
Proposition 3.3
Let \(\varphi \in M\) such that \((\Omega _\varphi , u_\varphi )\) is energy-stationary under the volume constraint. Then the Lagrange multiplier \(\mu \) is negative and
Proof
The proof is the same as in [17, Lemma 4.1] \(\square \)
For the second derivative of I we have
Lemma 3.4
Let \(\varphi \in M\) and let \(v, w \in T_\varphi M\). If \((\Omega _\varphi , u_\varphi )\) is energy-stationary under the volume constraint, then
Proof
The proof is the same as in [17, Lemma 4.3]. \(\square \)
3.2 Spherical Sectors and Radial Solutions
Given a cone \(\Sigma _D\) we consider the spherical sector \(\Omega _D\) obtained by intersecting \(\Sigma _D\) with the unit ball \(B_1\). Obviously its relative boundary \(\Gamma _{\Omega _D}\) is the radial graph obtained by taking \(\varphi \equiv 0\) in (3.2), which is in fact the domain D which spans the cone, that is \(\Gamma _{\Omega _D} = D\).
In the spherical sector \(\Omega _D\) we would like to consider a nondegenerate positive radial solution \(u_D \, {:}{=}\, u_{\Omega _D}\) of (3.4), hence we first recall conditions on the nonlinearity f which ensure that a positive radial solution of (3.4) in \(\Omega _D\) exists. Observe that such \(u_D\) is just the restriction to \(\Omega _D\) of a positive radial solution of the Dirichlet problem
Proposition 3.5
Let \(f : {\mathbb {R}} \rightarrow \mathbb R\) be a locally Lipschitz continuous function. Assume that f satisfies one of the following:
-
(i)
\(|f(s)| \le a|s| + b\) for all \(s > 0\), where \(b > 0\) and \(a \in (0, \mu _1(B_1))\), where \(\mu _1(B_1)\) is the first eigenvalue of the operator \(- \Delta \) in \(H_0^1(B_1)\).
-
(ii)
\(f:[0, + \infty ) \rightarrow [0, + \infty )\) is non-increasing.
-
(iii)
-
\(|f(s)| < c|s|^p + d\), where \(c, d > 0\) and \(p \in \left( 1, \frac{N + 2}{N - 2} \right) \) if \(N \ge 3\), \(p > 1\) if \(N = 2\);
-
\(f(s) = o(s)\) as \(s \rightarrow 0\);
-
There exist \(\gamma > 2\), \(\kappa > 0\) such that for \(|s| > \kappa \) it holds
$$\begin{aligned} 0< \gamma F(s) < s f(s); \end{aligned}$$ -
\(\displaystyle f'(s) > \frac{f(s)}{s}\) for all \(s > 0\).
-
Then a radial positive solution of (3.16) in \(B_1\), and hence of (3.4) in \(\Omega _D\), exists.
Proof
In cases (i) and (ii), the corresponding functional
is coercive and weakly lower semicontinuous in the space \(H^1_{0, rad}(B_1)\), which is the subspace of \(H_0^1(B_1)\) of radial functions, and so it has a minimum which is a solution of (3.16). In the case (iii) standard variational methods, such as minimization on the Nehari manifold or Mountain Pass type theorems give a positive solution of (3.16), which is then radial by the Gidas-Ni-Nirenberg Theorem (see [15]). We refer to [4] and [9] for the details. \(\square \)
We point out that a radial solution \(u_D\) is always a classical solution of (3.16) in \(B_1\), and hence in \(\Omega _D\). In particular, \(u_D\) is bounded and \(u_D \in C^2({\overline{B}}_1)\)
Now we would like to study the nondegeneracy of a radial solution \(u_D\) of (3.4) in \(\Omega _D\).
As recalled in Sect. 2.1, we need conditions that ensure that zero is not an eigenvalue of the linearized operator
in the space \(H_0^1(\Omega _D \cup \Gamma _{1, 0})\), where \(\Gamma _{1, 0} = \partial \Omega _D\setminus \overline{\Gamma }_{\Omega _D}\). Obviously, if the linearized operator \(L_{u_D}\) admits only positive eigenvalues, then \(u_D\) is nondegenerate. This is the case of stable solutions of (3.4), which occur when f satisfies conditions (i) or (ii) in Proposition 3.5, in particular, if f is a constant.
In general, \(L_{u_D}\) could have negative eigenvalues, so to detect the nondegeneracy of \(u_D\) we have to analyze the spectrum of the linear operator (3.17) in \(H_0^1(\Omega _D \cup \Gamma _{1, 0})\). As we will see, the fact that \(\Omega _D\) is a spherical sector in the cone \(\Sigma _D\) (and not the ball \(B_1\)) plays a role.
The first remark is that zero is an eigenvalue for \(L_{u_D}\) if and only if it is an eigenvalue for the following singular problem:
Indeed, since \(N \ge 3\), problem (3.18) is well-defined in the space \(H_0^1(\Omega _D \cup \Gamma _{1, 0})\) due to Hardy’s inequality (see [7, Proposition 2.1], for (3.18), and also [3] for the analogous Dirichlet problem).
Therefore we investigate the eigenvalues of (3.18). The advantage of considering this singular eigenvalue problem is that, since \(u_D\) is radial, its eigenfunctions can be obtained by separation of variables, using polar coordinates in \({\mathbb {R}}^N\). To this aim we denote by \(\{\lambda _j(D)\}_{j \in {\mathbb {N}}}\), the eigenvalues of the Laplace-Beltrami operator \(- \Delta _{\mathbb {S}^{N - 1}}\) on the domain D with Neumann boundary conditions. It is well-known that
and the only accumulation point is \(+ \infty \). Then we consider the following singular eigenvalue problem in the interval (0, 1):
It is shown in [3] (see also [7]) that nonpositive eigenvalues for (3.20) can be defined. They are a finite number and we denote them by \({\widehat{\nu }}_i\), \(i = 1, \ldots , k\). It is immediate to check that the eigenvalues \({\widehat{\nu }}_i\) are the eigenvalues of (3.18) which correspond to radial eigenfunctions. In particular, we consider the first eigenvalue \({\widehat{\nu }}_1\) of (3.20), referring to [3] for a variational definition and a study of its main properties.
By using (3.18)-(3.20) we obtain the following result:
Proposition 3.6
The problem (3.18) admits zero as an eigenvalue if and only if there exist \(i\in \mathbb {N}^+\) and \(j\in {\mathbb {N}}\) such that
Proof
The proof follows by [7, Proposition 2.6], where it is proved that the nonpositive eigenvalues of (3.18) are obtained by summing the eigenvalues of the one-dimensional problem (3.20) and the Neumann eigenvalues of \(- \Delta _{\mathbb {S}^{N - 1}}\) on D. We refer also to [11] for another approach, which consists in approximating the ball by annuli in order to avoid the singularity at 0. \(\square \)
From Proposition 3.6 we get the following sufficient condition for a radial solution \(u_D\) to be nondegenerate.
Corollary 3.7
A radial solution \(u_D\) of (3.4) in \(\Omega _D\) (i.e. for \(\varphi =0\)) is nondegenerate if both the following conditions are satisfied:
-
(I)
the eigenvalue problem (3.20) does not admit zero as an eigenvalue;
-
(II)
\(\lambda _1(D) > - {\widehat{\nu }}_1\).
Proof
From Condition (I) we have
which means that zero is not an eigenvalue of (3.18) with a corresponding radial eigenfunction. This, in turn, is equivalent to saying that zero is not a “radial” eigenvalue of the linearized operator (3.17), i.e., \(u_D\) is a radial solution of (3.4) in \(\Omega _D\) (or of (3.16) in \(B_1\)) which is nondegenerate in the subspace \(H_{0, rad}^1(\Omega _D \cup \Gamma _{1, 0})\), which is the subspace of \(H_{0}^1(\Omega _D \cup \Gamma _{1, 0})\) given by radial functions.
Now, since \(\lambda _0(D) = 0\), \(\lambda _1(D) > 0\) and since \({\widehat{\nu }}_1\) is the smallest eigenvalue of (3.20), then, from Condition (II) and (3.22) we infer that the sum (3.21) can never be zero. Hence, thanks to Proposition 3.6, we have that zero is not an eigenvalue of (3.18) and so cannot be an eigenvalue for the linearized operator (3.17) in the whole \(H_{0}^1(\Omega _D \cup \Gamma _{1, 0})\), i.e. \(u_D\) is a non-degenerate solution to (3.4) in \(\Omega _D\). \(\square \)
Remark 3.8
Condition (I) in Corollary 3.7, i.e., the nondegeneracy of \(u_D\) in the space \(H^1_{0, rad}(\Omega _D \cup \Gamma _{1, 0})\), is satisfied by positive radial solutions of (3.4) corresponding to many kinds of nonlinearities.
It holds if f satisfies conditions (i) or (ii) of Proposition 3.5, because in this case all the eigenvalues of (3.17) and of (3.18) are positive. It then follows that (II) holds as well. More precisely, in the case (i), since \(0<a < \mu _1(B_1)\), the first eigenvalue of \(L_{u_D}\) is positive, so
In the case (ii), since \(f'(u_D) \le 0\), it follows that \({\widehat{\nu }}_1 > 0\).
Among the nonlinearities satisfying condition (iii) of Proposition 3.5 we could consider \(f(u) = u^p\), \(1< p < \frac{N + 2}{N - 2}\), \(N \ge 3\). Then it is known that the positive radial solution of (3.16) is unique and nondegenerate (see [8, 15]), so (I) holds. It is also well-known that for this nonlinearity it holds \({\widehat{\nu }}_1 < 0\) and \({\widehat{\nu }}_1\) is the only negative eigenvalue of (3.20), because \(u_D\) can be obtained by the Mountain Pass Theorem or by minimization on the Nehari manifold and thus it has Morse index one. Then the validity of (II) depends on the cone, since it depends on \(\lambda _1(D)\). However, once p is fixed, since \({\widehat{\nu }}_1\) does not depend on the cone, it is obvious that, by varying D, there are many cones for which (II) holds. Moreover, it has been proved in [7] that \({\widehat{\nu }}_1 > - (N - 1)\) for every autonomous nonlinearity, so that whenever \(\lambda _1(D) > N - 1\) all radial solutions of (3.4) are nondegenerate.
3.3 Stability of \(\mathbf {(\Omega _{\textit{D}}, \textit{u}_{\textit{D}})}\)
Let us first observe that if \(u_D\) is a positive nondegenerate radial solution of (3.4) for \(\varphi = 0\), belonging to \(W^{1, \infty }(\Omega _D) \cap W^{2, 2}(\Omega _D)\), then \((\Omega _D, u_D)\) is energy-stationary in the sense of Definition 2.4. Indeed, since \(u_D\) is radial, we have that \(\frac{\partial u_D}{\partial \nu } = \text {constant}\) on \(\Gamma _0 = D\) and thanks to Proposition 2.6 we easily conclude.
To investigate the stability of \((\Omega _D, u_D)\) we analyze the quadratic form corresponding to the second derivative \(I''(\varphi )\) at \(\varphi = 0\). Fixing the constant c in the definition of M (see (3.12)) as \(c = |\Omega _D|\), we have that the tangent space to M at \(\varphi = 0\) is given by
Writing \(u_D(r) = u_D(|x|)\), we denote by \(u_D'\) and \(u_D''\) the derivatives of \(u_D\) with respect to r, so that
By Hopf’s Lemma we know that \(u_D'(1) < 0\) and actually
where \(\mu _D\) denotes the Lagrange multiplier in the case \(\varphi = 0\), see (3.13).
For \(v \in T_0 M\), we will denote by \({\widetilde{u}}_v\) the solution of
Let us remark that for every \(q \in D\) the outer unit normal vector \(\nu (q)\) is precisely q, hence (3.27) corresponds to (2.16) in \(\Omega _D\).
Note that, since \(u_D\) is a nondegenerate radial solution, then the weak solution \({\widetilde{u}}_v\) of (3.27) is unique for every v.
Our next result shows that the quadratic form corresponding to the second derivative of I at \(\varphi = 0\) has a simple expression.
Lemma 3.9
For any \(v \in T_0M\) it holds
where \({\widetilde{u}}_v\) is the solution of (3.27).
Proof
From Lemma 3.2, (3.11) and Lemma 3.4, with \(w = v\), by simple substitutions and elementary computations we obtain:
Since \({\widetilde{u}}_v = -u_D'(1) v\) on D, by (3.25) and (3.26), we deduce that
Then (3.28) follows by substituting (3.30)-(3.31) into (3.29). \(\square \)
To investigate the stability of \((\Omega _D, u_D)\) as an energy stationary pair for I we need to study the solution \(\widetilde{u}_v\) of (3.27), for any \(v \in T_0M\) (that is, for functions with mean value zero on D). As we will see, it will be enough to consider only functions v which are eigenfunctions of the Laplace-Beltrami operator \(- \Delta _{\mathbb {S}^{N - 1}}\) with Neumann boundary conditions on D. Hence we consider the eigenvalue problem
and denote its eigenvalues as in (3.19), counted with multiplicity: \(0 = \lambda _0(D) < \lambda _1(D)\le \lambda _2(D) \le \ldots \). The corresponding \(L^2\)-normalized eigenfunctions are denoted by \(\{\psi _j\}_{j \in {\mathbb {N}}}\), with \(\int _D \psi _j^2 \ d \sigma = 1\), \(\psi _0 = \text {constant}\) and \(\int _D \psi _j \ d\sigma = 0\) for \(j \ge 1\).
Theorem 3.10
Let \(j \ge 1\) and \({\widetilde{u}}_j\) be the unique solution of (3.27) for \(v = \psi _j\). Then, writing \({\widetilde{u}}_j={\widetilde{u}}_j(r,q)\), the function
satisfies
Proof
Since the proof is the same for all j, we drop the index and the dependence on D and write simply h, \(\psi \) and \(\lambda \).
It is immediate to check that \(h(1) = - u_D'(1)\). Moreover, since we can bring the radial derivative inside the integral on D, for every \(r \in (0, 1]\) we have:
Now, on the one hand,
On the other hand, applying Green’s formula, taking into account the Neumann conditions on \(\psi \) and \({\widetilde{u}}\), we infer that
Substituting (3.36) and (3.37) into (3.35) we conclude the proof. \(\square \)
Remark 3.11
Note that with \({\widetilde{u}}_j\) and \(h_j\) as in Theorem 3.10 we have that
Indeed, the boundary conditions are clearly satisfied by this function, and it holds
Proposition 3.12
Let \(N \ge 3\). For any \(j \ge 1\) we have
and
Moreover, \(h_j \in L^\infty (0, \infty )\) and \(h_j(0) = 0\).
Proof
Again, for simplicity, we drop the index j. Since \({\widetilde{u}} \in H^1(\Omega _D)\) (see Sect. 2), writing \({\widetilde{u}}={\widetilde{u}}(r,q)\) and recalling that \(\psi \) is a \(L^2(D)\)-normalized solution to (3.32), we get that
which proves (3.38) and (3.39). Once we have these estimates, we can proceed as in [10, Lemma A.9] to get the boundness of h and \(h(0) = 0\). \(\square \)
Proposition 3.13
Let \(\lambda _j(D)\), \(j \ge 1\) be a nontrivial Neumann eigenvalue of \(- \Delta _{\mathbb {S}^{N - 1}}\) on D. Assume that
where \({\widehat{\nu }}_1\) is the smallest eigenvalue of (3.20). Then for the solution \(h_j\) of (3.34) it holds that
Proof
Let \(z_1\) be an \(L^2\)-normalized first eigenfunction of (3.20). From [3, Sect. 3.1] we know that \(z_1\) does not change sign.
Writing the equations satisfied by \(h_j\) and \(z_1\) in Sturm-Liouville form we have:
By Proposition 3.12 we know that \(h_j(0) = 0\) and \(h_j(1) = -u_D'(1)>0\).
Now, assume by contradiction that \(h_j\) changes sign in (0, 1). Then there would exist \(r_0 \in (0, 1)\) such that \(h_j(0) = 0\). Since \(- {\widehat{\nu }}_1 < \lambda _j(D)\), then, by the Sturm-Picone Comparison Theorem it would follow that \(z_1\) has a zero in \((0, r_0)\). This is a contradiction, because \(z_1\) does not change sign. Hence the only possibility is that \(h_j\) is strictly positive in (0, 1). \(\square \)
We are ready to prove our main result for problem (1.1) in the case of the cone, i.e., Theorem 1.1, which is a sharp instability/stability result for the pair \((\Omega _D, u_D)\).
3.4 Proof of Theorem 1.1
Let us fix the domain D which spans the cone, so that we denote \(\lambda _1(D)\) simply by \(\lambda _1\).
For (i), let \({\widetilde{u}}_1 = h_1 \psi _1\) be the solution of (3.27) with \(v = \psi _1\). Then
Putting (3.34) in Sturm-Liouville form we get
On the other hand, writing \(- \Delta u_D = f(u_D)\) in polar coordinates and differentiating with respect to \(r = |x|\) we get
which in Sturm-Liouville form is
Multiplying (3.41) by \(u_D'\) and integrating by parts in \(({\bar{r}}, 1)\) we get that
Similarly, multiplying (3.42) by \(h_1\) and integrating by parts we deduce that
Notice that, in view of Proposition 3.12, the right-hand sides of (3.43), (3.44) remain finite when taking the limit as \({\bar{r}}\rightarrow 0^+\). In addition, we claim that
Indeed, integrating (3.41) and taking the absolute value we obtain
for some \(C_1 > 0\). Hence
for some \(C_2>0\), and thus, since \(\lim _{{\bar{r}} \rightarrow 0^+} u_D'(\bar{r}) = 0\), (3.45) follows.
Now, subtracting (3.44) from (3.43) and taking the limit as \({\bar{r}} \rightarrow 0^+\), then, thanks to (3.45) and since \(h_1(0)=0\), \(h_1(1) = - u_D'(1)\), we obtain
Since \(\lambda _1 > -{\widehat{\nu }}_1\), then, by Proposition 3.13, we have that \(h_1 > 0\) in (0, 1). On the other hand \(u_D' < 0\) in (0, 1) and \(\lambda _1 < N - 1\) by assumption. Hence by (3.40) and (3.47) we obtain
which proves (i).
For (ii), we choose an orthonormal basis \((\psi _j)_j\) of \(L^2(D)\) made of normalized eigenfunctions of (3.32). Then any \(v \in T_0M\) can be written as
where \((\cdot , \cdot )\) denotes the inner product in \(L^2(D)\). We assume without loss of generality that \(\int _D v^2 \ d\sigma = 1\). Let \({\widetilde{u}}_j\) be the solution of (3.27) with \(v = \psi _j\), then we can check that
is the solution of (3.27). As observed in Remark 3.11, \({\widetilde{u}}_j(r,q) = h_j(r) \psi _j(q)\) for every \(j \in {\mathbb {N}}\), so
By an argument analogous to the one presented in the proof of (i), we have that if \(k > j\), then \(h_k'(1) {\ge } h_j'(1)\) and in fact \(h_k'(1) > h_j'(1)\) if \(k>j\) are such that \(\lambda _k > \lambda _j\).
Indeed, writing the equations for \(h_j, h_k\), multiplying the first one by \(h_k\) and the second one by \(h_j\), integrating by parts and subtracting we get
Exploiting the orthogonality of the basis \((\psi _j)_j\) and exploiting (3.47) we obtain
because \(h_1>0\) in (0, 1), \(u^\prime _D<0\) in (0, 1) and \(\lambda _1>N-1\) by assumption. The proof is complete. \(\square \)
Remark 3.14
As already pointed out in Remark 2.7, in the case when \({\mathcal {C}} = {\mathbb {R}}^N\), the couples \((B, u_B)\), where B is a ball and \(u_B\) is a positive nondegenerate radial solution, are the only energy-stationary pairs. Thus it remains to study the stability of \((B, u_B)\) as critical point of the energy functional T. This can be done by looking at the problem as the case of a cone spanned by the domain \(D = \mathbb {S}^{N - 1}\).
As observed in Remark 1.2, the first eigenvalue \({\widehat{\nu }}_1\) of the singular eigenvalue problem (3.20) is always larger than \(-(N - 1)\). On the other hand, it is known that the first nontrivial eigenvalue of the Laplace-Beltrami operator on the whole \(\mathbb {S}^{N - 1}\) is precisely \(N - 1\). Then any radial solution \(u_B\) is nondegenerate and we obtain that the pair \((B, u_B)\) is a semistable stationary-point.
4 The Case of the Cylinder
Let \(\omega \subset {\mathbb {R}}^{N - 1}\) be a smooth bounded domain and let \(\Sigma _\omega \) be the half-cylinder spanned by \(\omega \), namely
We denote by \(x = (x', x_N)\) the points in \(\overline{\Sigma }_\omega \), where \(x'=(x_1,\ldots ,x_{N-1}) \in {\overline{\omega }}\) and \(x_N \ge 0\).
In analogy with the case of the cone, we consider domains whose relative boundaries are the cartesian graphs of functions in \(C^2({\overline{\omega }})\). More precisely, for \(\varphi \in C^2({\overline{\omega }})\) we set
and consider domains of the type
Finally, let
Observe that the outer unit normal vector on \(\Gamma _\varphi \) at a point \((x', e^{\varphi (x')})\) is given by
where \(\nabla _{\mathbb {R}^{N-1}}\) denotes the gradient with respect to the variables \(x_1,\ldots ,x_{N-1}\).
4.1 Energy Functional in Cylindrical Domains
We study the semilinear elliptic problem
and consider bounded positive weak solutions of (4.2) in the Sobolev space \(H_0^1(\Omega _\varphi \cup \Gamma _{1,\varphi })\), which is the space of functions in \(H^1(\Omega _\varphi )\) whose trace vanishes on \(\Gamma _\varphi \).
As before, we assume that a bounded nondegenerate positive solution \(u_\varphi \) of (4.2) exists and belongs to \(W^{1, \infty }(\Omega _\varphi ) \cap W^{2, 2}(\Omega _\varphi )\), so that we can apply the results of Sect. 2.
We consider variations of the domain \(\Omega _\varphi \) in the class of cartesian graphs of the type \(\Omega _{\varphi + tv}\), for \(v \in C^2({\overline{\omega }})\), which amounts to consider a one-parameter family of diffeomorphisms \(\xi :(-\eta ,\eta )\times {\overline{\Sigma }}_\omega \rightarrow {\overline{\Sigma }}_\omega \) of the type
whose inverse, for any fixed \(t\in (-\eta , \eta )\), is given by
This one-parameter family of diffeomorphisms is generated by the vector field
where \(0^\prime :=(0, \ldots , 0)\in \mathbb {R}^{N-1}\). Indeed, \(\xi (0, x) = x\) for every \(x \in {\overline{\Sigma }}_\omega \),
and \(\xi (t, x)\in \partial \Sigma _\omega \), for all \((t,x)\in (-\eta ,\eta )\times \partial \Sigma _\omega \). We also observe that, in view of (4.1), it holds
The energy functional T defined in (2.10) becomes a functional depending only on functions in \(C^2({\overline{\omega }})\). More precisely, for every \(v \in C^2({\overline{\omega }})\), in view of Proposition 2.1, there exists \(\delta > 0\) sufficiently small such that for all \(t \in (- \delta , \delta )\)
is well defined, where \(u_{\varphi + tv} \, {:}{=}\, u_{\Omega _{\varphi + tv}}\) is the unique positive solution of (4.2) in the domain \(\Omega _{\varphi + tv}\), in a neighborhood of \(u_\varphi \circ \xi _t^{-1}\).
By the results of Sect. 2 we know that the map \(t \mapsto u_{\varphi + tv}\) is differentiable at \(t = 0\), and the derivative \({\widetilde{u}}\) is a weak solution of
We now compute the first derivative of T at \(\Omega _\varphi \), i.e., for \(t = 0\), with respect to variations \(v \in C^2(\overline{\omega })\).
Lemma 4.1
Let \(\varphi \in C^2({\overline{\omega }})\) and assume that \(u_\varphi \) is a positive nondegenerate solution of (4.2) which belongs to \(W^{1, \infty }(\Omega ) \cap W^{2, 2}(\Omega )\). Then, for any \(v \in C^2({\overline{\omega }})\) we have
Proof
The proof is similar to that of Lemma 3.1. It suffices to observe that for the parametrization of \(\Gamma _\varphi \) given by \(x=(x^\prime ,e^{\varphi (x^\prime )})\), for \(x^\prime \in \omega \), the induced \((N-1)\)-dimensional area element on \(\Gamma _\varphi \) is expressed by
Then the result follows immediately from Proposition 2.2, taking into account (4.4). \(\square \)
Lemma 4.2
Let \(\varphi \) and \(u_\varphi \) be as in Lemma 4.1. Then for any \(v, w \in C^2(\overline{\omega })\) it holds
where \({\widetilde{u}}_w\) is the solution of (4.5), with w in the place of v.
Proof
Let \(v, w \in C^2({\overline{\omega }})\). By definition, Lemma 4.1 and using the Leibniz rule, we have:
To conclude it suffices to compute the derivative in the first integral of the right-hand side of (4.8). To this end we observe that
where \(\nu _\varphi \) is given by (4.1) and
Now, for the first term in the right-hand side of (4.9), thanks to the argument presented in [17, Lemma 3.2], we have
and thus we obtain
On the other hand, for the last term in (4.9), we check that
Finally, substituting (4.9)–(4.11) into (4.8) we obtain (4.7). \(\square \)
As in Sect. 3, in view of Definition 2.4, we consider a volume constraint. In the case of cartesian graphs, the volume of the domain \(\Omega _\varphi \) associated to \(\varphi \in C^2({\overline{\omega }})\) is expressed by
The functional \({\mathcal {V}}\) is of class \(C^2\) and for every \(v, w \in C^2({\overline{\omega }})\) it holds
For \(c > 0\) we define the manifold
whose tangent space at any point \(\varphi \in M\) is given by
We consider the restricted functional
As before, if \(\varphi \in M\) is a critical point for I, then there exists a Lagrange multiplier \(\mu \in {\mathbb {R}}\) such that
Results analogous to Proposition 3.3 and Lemma 3.4 hold with the same proofs. In particular, we point out that for an energy stationary pair \((\Omega _\varphi , u_\varphi )\) under a volume constraint the function \(u_\varphi \) has constant normal derivative on \(\Gamma _\varphi \). For the reader’s convenience, we restate here these results.
Proposition 4.3
Let \(\varphi \in M\) and let \((\Omega _\varphi , u_\varphi )\) be energy-stationary under a volume constraint. Then the Lagrange multiplier \(\mu \) is negative and
Proof
The same as in [17, Lemma 4.1] \(\square \)
For the second derivative of I we have
Lemma 4.4
Let \(\varphi \in M\) and let \(v, w \in T_\varphi M\). If \((\Omega _\varphi , u_\varphi )\) is energy-stationary under a volume constraint, then
Proof
The same as in [17, Lemma 4.3] \(\square \)
4.2 The Case \(\mathbf {\varphi \equiv 0}\) and One-Dimensional Solutions
When \(\varphi \equiv 0\) (that is, \(\Gamma _\varphi = \Gamma _0\) is the intersection of the cylinder with the plane \(x_N = 1\)), the domain \(\Omega _0\) is just the finite cylinder
Then, if f is a locally Lipschitz continuous function, any weak solution of (4.2) is also a classical solution up to the boundary, i.e., it belongs to \(C^2({\overline{\Omega }}_\omega )\). This follows by standard regularity theory by considering the boundary conditions and that \(\partial \Omega _\omega \) is made by the union of three \((N - 1)\)-dimensional manifolds (with boundary) intersecting orthogonally (see also [20, Proposition 6.1]).
In \(\Omega _\omega \), for suitable nonlinearities, we can find a solution of (4.2) in \(\Omega _\omega \) which depends only on \(x_N\) in the following way: first, we can apply some variational method to find a solution u of the ordinary differential equation
and then set
Recall that, in one dimension, there is no critical Sobolev exponent for the embedding into \(L^p\). So one example of a suitable nonlinearity is \(f(u) = u^p\) with \(1< p < \infty \), or those of Proposition 3.5 with the only caution that in (iii), for \(N\ge 2\) we can take \(1< p < \infty \).
For our purposes we need to consider one-dimensional solutions \(u_\omega \) of (4.2) in \(\Omega _\omega \) that are nondegenerate, which means that the linearized operator
does not admit zero as an eigenvalue. In other words, \(u_\omega \) is nondegenerate if there are no nontrivial weak solutions \(\phi \in H_0^1(\Omega _\omega \cup \Gamma _{1, 0})\) of the problem
To analyze the spectrum of \(L_{u_\omega }\) it is convenient to consider the following auxiliary one-dimensional eigenvalue problem:
We denote the eigenvalues of (4.18) by \(\alpha _i\), for \(i\in \mathbb {N}\). Clearly, they correspond to the eigenvalues of the linear operator
with the boundary conditions of (4.18).
We also consider the following Neumann eigenvalue problem in the domain \(\omega \subset {\mathbb {R}}^{N - 1}\):
where \(- \Delta _{\mathbb {R}^{N-1}} = - \sum _{i = 1}^{N - 1} \frac{\partial ^2}{\partial x_i^2}\) is the Laplacian in \({\mathbb {R}}^{N - 1}\), i.e. with respect to the variables \(x_1,\ldots ,x_{N-1}\). We denote its eigenvalues by
It is well-known that \(\lambda _j(\omega ) \nearrow + \infty \) as \(j \rightarrow \infty \) and that the normalized eigenfunctions form a basis \((\psi _j)_j\) of the tangent space \(T_0M\) defined in (4.14) when \(\varphi \equiv 0\).
Lemma 4.5
The spectra of \(L_{u_\omega }\), \({\widehat{L}}_{u_\omega }\) and \(- \Delta _{\mathbb {R}^{N-1}}\) with respect to the above boundary conditions are related by
Proof
We begin by showing that \(\sigma (L_{u_\omega }) \subset \sigma ({\widehat{L}}_{u_\omega }) + \sigma (- \Delta _{\mathbb {R}^{N-1}})\). Let \(\tau \in \sigma (L_{u_\omega })\) and let \(\phi \in H_0^1(\Omega _\omega \cup \Gamma _{1,0})\) be an associated eigenfunction, that is, \(\phi \) is a weak solution of
As observed at the beginning of this subsection for the the nonlinear problem (4.2), by the shape of \(\Omega _\omega \) and the boundary conditions, since \(f \in C^{1, \alpha }({\mathbb {R}})\), by standard elliptic regularity, we have that \(\phi \) is a classical solution of (4.23) in \(\overline{\Omega }_\omega \).
Let \(\lambda \) be an eigenvalue of \(- \Delta _{\mathbb {R}^{N-1}}\) with homogeneous Neumann boundary condition on \(\omega \) and let \(\psi \) be an associated eigenfunction. Define
Then, differentiating with respect to \(x_N\), using Green’s formulas and the boundary conditions we have
Thus \((\tau - \lambda ) \in \sigma ({\widehat{L}}_{u_\omega })\) and hence \(\tau = (\tau - \lambda ) + \lambda \in \sigma ({\widehat{L}}_{u_\omega }) + \sigma (- \Delta _{\mathbb {R}^{N-1}})\).
To show the reverse inclusion, let \(\alpha \in \sigma (\widehat{L}_{u_\omega })\), \(\lambda \in \sigma ( - \Delta _{\mathbb {R}^{N-1}})\) and let \(z, \psi \) be, respectively, the associated eigenfunctions. Setting for \(x = (x', x_N)\in \Omega _\omega \)
we note that
Finally, by construction, we easily check that \(\phi \) satisfies the boundary conditions of (4.23). As a consequence, we deduce that
and this concludes the proof. \(\square \)
Corollary 4.6
The problem (4.17) admits zero as an eigenvalue if and only if there exist \(i \in {\mathbb {N}}^+\) and \(j \in {\mathbb {N}}\) such that
holds.
Proof
It follows immediately from Lemma 4.5. \(\square \)
Corollary 4.7
A one-dimensional solution of (4.2) is nondegenerate if both the following conditions are satisfied:
-
(i)
the eigenvalue problem (4.18) in (0, 1) does not admit zero as an eigenvalue;
-
(ii)
\(\lambda _1(\omega ) > - \alpha _1\).
Proof
Analogous to the proof of Corollary 3.7. \(\square \)
4.3 Stability/Instability of the Pair \(\mathbf {(\Omega _\omega , \textit{u}_\omega )}\)
In this subsection, we prove a general stability/instability theorem for the pair \((\Omega _\omega , u_\omega )\). We begin with some preliminary results.
Firstly, we recall that when \(\varphi \equiv 0\) the tangent space \(T_0M\) is given by
Since \(u_\omega \) depends on \(x_N\) only, in order to simplify the notations, we denote with a prime the derivative with respect to \(x_N\), and thus we write
Then, for \(v \in T_0 M\), we have that the function \({\widetilde{u}}\) (see (4.5)), which belongs to \(H^1(\Omega _\omega )\), is a weak solution of
As before, by elliptic regularity we know that \({\widetilde{u}}\) is regular in \({\overline{\Omega }}_\omega \), and thus it is a classical solution. We also note that, by the nondegeneracy of \(u_\omega \), there exists a unique solution of (4.27).
Lemma 4.8
Let \(\lambda _j > 0\) be any positive eigenvalue for the Neumann problem (4.20) and let \(\psi _j\) be any normalized eigenfunction associated to \(\lambda _j\). Let \({\widetilde{u}}_j \in H^1(\Omega _\omega )\) be the solution of (4.27) with \(v = \psi _j\). Then the function
satisfies
Proof
For simplicity of notation we drop the index j and simply write \({\tilde{u}}\), h, \(\psi \) and \(\lambda \) instead of \({\tilde{u}}_j\), \(h_j, \psi _j\) and \(\lambda _j\).
First observe that, as \({\tilde{u}}=- u_\omega '(1)\psi \) on \(\Gamma _0\), we have
Now, differentiating with respect to \(x_N\) under the integral sign and using Green’s formula, taking into account the boundary conditions, we have
Finally, exploiting the Neumann condition for \({\widetilde{u}}\) on \(\Gamma _{1, 0}\), we check that \(h'(0) = 0\). \(\square \)
Remark 4.9
Note that for \({\widetilde{u}}_j\), \(h_j\) as in Lemma 4.8 we have that
Indeed:
Moreover, by (4.29) and (4.20), the function \(h_j \psi _j\) satisfies the boundary conditions in (4.27), so that \(h_j \psi _j\) is the unique solution of (4.27) and thus coincides with \({\widetilde{u}}_j\).
Proposition 4.10
Let \(j \ge 1\), \(\lambda _j\) be a positive Neumann eigenvalue of \(- \Delta _{\mathbb {R}^{N-1}}\) in \(\omega \), and let \(h_j\) be the solution of (4.29). Assume that \(-\alpha _1 < \lambda _j\), where \(\alpha _1\) is the smallest eigenvalue of (4.18). Then it holds that
Proof
We can reflect \(h_j\) by parity with respect to 0 to have a solution of the linear problem
By reflection and (4.18), the first eigenvalue of the linear operator
with the boundary condition \(z(-1) = z(1) = 0\) is exactly \(\alpha _1\). Therefore the first eigenvalue of the linear operator
with zero boundary condition in \((-1, 1)\) is \(\beta _1 = \alpha _1 + \lambda _j\).
It is well-known that \({\widetilde{L}}_{u_\omega }\) satisfies the maximum principle whenever \(\beta _1 > 0\), i.e., when \(\lambda _j > - \alpha _1\). Therefore, by (4.30), the function \(h_j\) satisfies \(h_j \ge 0\) in \((-1,1)\), and by the strong maximum principle we conclude that \(h_j > 0\) in \((-1, 1)\). \(\square \)
We can now state and prove the main result of this section.
Theorem 4.11
Let \(\omega \subset {\mathbb {R}}^{N - 1}\) be a smooth bounded domain. Let \(f\in C^{1, \alpha }_{loc}(\mathbb {R})\) such that there exists a positive one-dimensional non-degenerate solution \(u_\omega \) of (1.1) in \(\Omega _\omega \), and let \(h_1\) be the solution to (4.29) with \(j=1\). Let \(\lambda _1=\lambda _1(\omega )\) be the first non-trivial eigenvalue of \(-\Delta _{\mathbb {R}^{N-1}}\) with homogeneous Neumann conditions, let \(\alpha _1\) be the first-eigenvalue of (1.10) and let \(\rho \) be the number defined by
Assume that \(\lambda _1 > - \alpha _1\). Then
-
(i)
if \(\rho <0\), then \((\Omega _\omega , u_\omega )\) is an unstable energy-stationary pair;
-
(ii)
if \(\rho >0\), then \((\Omega _\omega , u_\omega )\) is a stable energy stationary pair.
Proof
We first observe that since \(\frac{\partial u_\omega }{\partial \nu }\) is constant on \(\Gamma _0\) then, by the analogous of Proposition 3.3 for cylinders, we infer that the pair \((\Omega _\omega , u_\omega )\) is an energy-stationary pair.
Let \(w \in T_0M\) and assume without loss of generality that \(\int _\omega w^2 \ dx' = 1\). In order to prove (i)-(ii) we first determine a suitable expression for \(I''(0)[w, w]\). To this end, for each \(j \in {\mathbb {N}}^+\), let \({\widetilde{u}}_j\) be the solution of (4.27) with \(v = \psi _j\) and let \(h_j\) be the solution of (4.29). Then we can write
where \((\cdot , \cdot )\) is the inner product in \(L^2(\omega )\). Moreover, we can check that
is the solution of (4.27) corresponding to w. Then, taking \(\varphi =0\) in Lemma 4.2, exploiting Lemma 4.4, taking into account that by Proposition 4.3 the Lagrange multiplier \(\mu \) is given by
by Remark 4.9 and observing that \(\nabla u_\omega \perp (\nabla _{{\mathbb {R}}^{N - 1}} w, 0)\), we infer that
Finally, since \(u_\omega \) is a solution to (4.16) we deduce that
In particular, choosing \(w=\psi _1\) and plugging it into (4.32) we infer that
Multiplying the equation in (4.29) (with \(j=1\)) by \(u^\prime _\omega \) and integrating by parts we get
Exploiting (4.16), integrating by parts and taking into account that \(h_1(1)=-u_\omega ^\prime (1)\) we obtain
Hence, we deduce that
In the end, from (4.33), (4.35) and recalling (4.31), we obtain
Therefore, if \(\rho <0\) then \(I''(0)[\psi _1, \psi _1]<0\), i.e., \((\Omega _\omega , u_\omega )\) is an unstable energy-stationary pair, and this proves (i).
Let us prove (ii). Let \(w \in T_0M\) such that \(\int _\omega w^2 \ dx' = 1\). From (4.32) we know that \(I''(0)[w, w]=- u_\omega '(1) \int _\omega \left( \sum _{j = 1}^\infty (w, \psi _j)^2 h_j'(1) \psi _j^2 \ \right) dx' + u_\omega '(1) f(0)\). Thanks to the assumption \(\lambda _1>-\alpha _1\) the following holds true.
Claim: if \(k > j\), then
and actually \(h_k'(1) > h_j'(1)\) if \(\lambda _k > \lambda _j\).
Indeed, by definition \(h_k\), \(h_j\) satisfy, respectively, the following:
Multiplying (4.37) by \(h_j\) and integrating on (0, 1) we obtain
Similarly, multiplying (4.38) by \(h_k\), integrating on (0, 1) and then subtracting the result from (4.39), we obtain
because \(h_j > 0\) and \(h_k > 0\) (see Proposition 4.10, which holds true for any \(j\in \mathbb {N}^+\) because \(\lambda _1>-\alpha _1\)). Now, since \(h_j(1)=h_k(1)=-u_\omega (1)\), then by (4.40) we deduce that
Hence, as \(u_\omega '(1)<0\), Claim (4.36) easily follows.
Now, thanks to (4.32) and Claim (4.36), recalling again that \(u'_\omega (1) < 0\) and exploiting (4.35) it follows that
Hence, if \(\rho >0\) we have that \( I''(0)[w, w]>0\) for all \(w \in T_0M\), i.e., \((\Omega _\omega , u_\omega )\) is a stable energy-stationary pair, and this proves (ii). The proof is complete. \(\square \)
As a simple corollary of Theorem 4.11 we can now prove the stability/instability result of Theorem 1.4, which concerns the case of the torsional energy, i.e. when \(f \equiv 1\).
4.4 Proof of Theorem 1.4
When \(f\equiv 1\) the eigenvalue problem (4.18) has only positive eigenvalues and therefore the condition \(\lambda _1 > - \alpha _1\) is automatically satisfied. The only solution of
is the one-dimensional positive function given by
Clearly, as \(u_\omega '(1)=-1\) and \(f\equiv 1\), then for any \(j\in \mathbb {N}^+\) (4.29) reduces to
whose unique solution is given by
In particular, taking \(j=1\) and exploiting (4.43) we can compute explicitly the number \(\rho \) in (4.31), namely
Integrating by parts we readily check that
and thus we obtain
Let us consider the function \(g:[0,+\infty [ \rightarrow \mathbb {R}\), defined by \(g(t)= \sqrt{t} \tanh (\sqrt{t})-1\). Clearly \(g(0)=-1\) and \(g(t)\rightarrow +\infty \) as \(t\rightarrow +\infty \) and by monotonicity we infer that g has a unique zero in \(]0,+\infty [\). We denote it by \(\beta \) and from the previous argument and (4.44) we infer that \(\rho <0\) if and only if \(\lambda _1<\beta \). Then, by Theorem 4.11-(i) we get that \((\Omega _\omega , u_\omega )\) is an unstable energy-stationary pair, and this proves (i).
Analogously, as \(\rho >0\) if and only if \(\lambda _1>\beta \), from Theorem 4.11-(ii) we obtain that \((\Omega _\omega , u_\omega )\) is a stable energy-stationary pair. The proof is complete. \(\square \)
We conclude this section with the proof of Theorem 1.5.
4.5 Proof of Theorem 1.5
Let \(w \in T_0M\) such that \(\int _\omega w^2 \ dx' = 1\). Since \(\lambda _1>-\alpha _1\), we can argue as in the proof of Theorem 4.11-(ii), in particular, from the first two lines of (4.41), taking into account that, by assumption, \(f(0)=0\), we have
Now, since \(h_1'' = (\lambda _1- f'(u_\omega )) h_1\) in (0, 1) and \(h_1>0\) in [0, 1] by Proposition 4.10, then, thanks to the assumption \(\lambda _1>\sup _{x_N\in (0,1)}|f^\prime (u_\omega (x_N))|\) we infer that \(h_1''>0\) in [0, 1]. In particular, as \(h_1^\prime (0)=0\) we deduce that
Finally, combining (4.45) and (4.46) we obtain that \(I''(0)[w, w]>0\) for all \(w \in T_0M\), which means that \((\Omega _\omega , u_\omega )\) is a stable energy-stationary pair. \(\square \)
Remark 4.12
We notice that, if f is a non-negative monotone increasing function, as in the case of the Lane-Emden nonlinearity (1.3), then by the Gidas-Ni-Nirenberg theorem ( [15]) and by the monotonicity of f we infer that \(\sup _{x_N\in (0,1)}|f^\prime (u_\omega (x_N))|=f^\prime (u_\omega (0))\). Thus the stability condition of Theorem 1.5 reduces to
Remark 4.13
In the case of the Lane-Emden nonlinearity \(f(u) = u^p\), at least for some integer values of p, it is possible to compute the solution \(u_\omega \) numerically, as well as the eigenvalue \(\alpha _1\) and the function \(h_1\) for different values of \(\lambda _1(\omega )\). This allows to compute \(\rho \) numerically, so that, plotting the result for \(\rho \) as a function of \(\lambda _1(\omega )\), we obtain a region of instability for \(\lambda _1(\omega )\) close to \(- \alpha _1\).
References
Afonso, D.G., Iacopetti, A., Pacella, F.: Overdetermined problems and relative Cheeger sets in unbounded domains. Atti Accad. Naz. Lincei Rend. Lincei Mat. Appl. 34(2), 531–546 (2023)
Alkhutov, Y., Maz’ya, V.G.: \({L}^{1, p}\)-coercivity and estimates of the Green function of the Neumann problem in a convex domain. J. Math. Sci. 196 (2014)
Amadori, A.L., Gladiali, F.: On a singular eigenvalue problem and its applications in computing the Morse index of solutions to semilinear PDEs. Nonlinear Anal.: Real World Appl. 55, 103–133 (2020)
Ambrosetti, A., Malchiodi, A.: Nonlinear Analysis and Semilinear Elliptic Problems. Cambridge University Press, Cambridge (2007)
Baer, E., Figalli, A.: Characterization of isoperimetric sets inside almost-convex cones. Discrete Contin. Dyn. Syst.—A 37 (2017)
Cabré, X., Ros-Oton, X., Serra, J.: Sharp isoperimetric inequalities via the ABP method. J. Eur. Math. Soc. 18(12), 2971–2998 (2016)
Ciraolo, G., Pacella, F., Polvara, C.: Symmetry breaking and instability for semilinear elliptic equations in spherical sectors and cones. arXiv:2305.10176v1 (2023)
Damascelli, L., Grossi, M., Pacella, F.: Qualitative properties of positive solutions of semilinear elliptic equations in symmetric domains via the maximum principle. Ann. Inst. Henri Poincarè, Anal. Non Linéaire 16, 631–652 (1999)
Damascelli, L., Pacella, F.: Morse Index of Solutions of Nonlinear Elliptic Equations. De Gruyter (2019)
Dancer, E.N., Gladiali, F., Grossi, M.: On the Hardy-Sobolev equation. In: Proceedings of the Royal Society of Edinburgh (2017)
De Marchis, F., Ianni, I., Pacella, F.: A morse index formula for radial solutions of Lane-Emden problems. Adv. Math. 322, 682–737 (2017)
Escobar, J.F.: Uniqueness theorems on conformal deformation of metrics, Sobolev inequalities, and an eigenvalue estimate. Commun. Pure Appl. Math. 43 (1990)
Fall, M.M., Minlend, I.A., Weth, T.: Unbounded periodic solutions to Serrin’s overdetermined boundary value problem. Arch. Ration. Mech. Anal. 223(2), 737–759 (2017)
Figalli, A., Indrei, E.: A sharp stability result for the relative isoperimetric inequality inside convex cones. J. Geom. Anal. 23(2), 938–969 (2013)
Gidas, B., Ni, W.-M., Nirenberg, L.: Symmetry and related properties via the maximum principle. Commun. Math. Phys. 68, 209–243 (1979)
Henrot, A., Pierre, M.: Shape Variation and Optimization. European Mathematical Society (2018)
Iacopetti, A., Pacella, F., Weth, T.: Existence of nonradial domains for overdetermined and isoperimetric problems in nonconvex cones. Arch. Ration. Mech. Anal. 245(2), 1005–1058 (2022)
Lions, P.-L., Pacella, F.: Isoperimetric inequalities for convex cones. Proc. Am. Math. Soc. 109(2), 477–477 (1990)
Ni, W.-M., Nussbaum, R.D.: Uniqueness and nonuniqueness for positive radial solutions of \({\Delta u} + f(u, r) = 0\). Commun. Pure Appl. Math. XXXVII I, 67–108 (1985)
Pacella, F., Tralli, G.: Overdetermined problems and constant mean curvature surfaces in cones. Rev. Mat. Iberoam. 36, 841–867 (2020)
Pacella, F., Tralli, G.: Isoperimetric cones and minimal solutions of partial overdetermined problems. Publ. Mat. 65, 61–81 (2021)
Ritoré, M., Rosales, C.: Existence and characterization of regions minimizing perimeter under a volume constraint inside Euclidean cones. Trans. Am. Math. Soc. 356(11), 4601–4622 (2004)
Serrin, J.: A symmetry problem in potential theory. Arch. Ration. Mech. Anal. 43(4), 304–318 (1971)
Acknowledgements
We would like to thank David Ruiz for several useful discussions and Tobias Weth for pointing out a flaw in an early draft of the paper. Research partially supported by GNAMPA (INdAM).
Funding
Open access funding provided by Università degli Studi di Roma La Sapienza within the CRUI-CARE Agreement.
Author information
Authors and Affiliations
Corresponding author
Additional information
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Research partially supported by Gruppo Nazionale per l’Analisi Matematica, la Probabilità e le loro Applicazioni (GNAMPA) of the Istituto Nazionale di Alta Matematica (INdAM).
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
Afonso, D.G., Iacopetti, A. & Pacella, F. Energy Stability for a Class of Semilinear Elliptic Problems. J Geom Anal 34, 75 (2024). https://doi.org/10.1007/s12220-023-01525-1
Received:
Accepted:
Published:
DOI: https://doi.org/10.1007/s12220-023-01525-1