-
Rigidity results for the capillary overdetermined problem
Authors:
Yuanyuan Lian,
Pieralberto Sicbaldi
Abstract:
In this paper we obtain rigidity results for bounded positive solutions of the general capillary overdetermined problem \begin{equation}
\left\{ \begin{array} {ll} \mathrm{div} \left(\frac{\nabla u}{\sqrt{1+|\nabla u|^2}}\right) + f(u) = 0 & \mbox{in }\; Ω,\\[1mm]
u= 0 & \mbox{on }\; \partial Ω,\\[1mm] \partial_ν u=κ&\mbox{on }\; \partial Ω, \end{array}\right. \end{equation} where $f$ is a giv…
▽ More
In this paper we obtain rigidity results for bounded positive solutions of the general capillary overdetermined problem \begin{equation}
\left\{ \begin{array} {ll} \mathrm{div} \left(\frac{\nabla u}{\sqrt{1+|\nabla u|^2}}\right) + f(u) = 0 & \mbox{in }\; Ω,\\[1mm]
u= 0 & \mbox{on }\; \partial Ω,\\[1mm] \partial_ν u=κ&\mbox{on }\; \partial Ω, \end{array}\right. \end{equation} where $f$ is a given $C^1$ function in $\mathbb{R}$, $ν$ is the exterior unit normal, $κ$ is a constant and $Ω\subset \mathbb{R}^n$ is a $C^1$ domain. Our main theorem states that if $n=2, κ\neq 0$, $\partial Ω$ is unbounded and connected, $|\nabla u|$ is bounded and there exists a nonpositive primitive $F$ of $f$ such that $F(0)\geq \left(1+κ^2\right)^{-\frac12} -1$, then $Ω$ must be a half-plane and $u$ is a parallel solution. In other words, under our assumptions, if a capillary graph has the property that its mean curvature depends only on the height, then it is the graph of a one dimensional function. We also prove the boundedness of the gradient of solutions of the above problem when $f'(u) <0$. Moreover we study a Modica type estimate for the above overdetermined problem that allows us to prove that, unless $Ω$ is a half-space, the mean curvature of $\partial Ω$ is strictly negative under the assumption that $κ\neq 0$ and there exists a nonpositive primitive $F$ of $f$ such that $F(0)\geq \left(1+κ^2\right)^{-\frac12} -1$. Our results have an interesting physical application to the classical capillary overdetermined problem, i.e., the case where $f$ is linear.
△ Less
Submitted 18 March, 2025;
originally announced March 2025.
-
Overdetermined elliptic problems in nontrivial exterior domains of the hyperbolic space
Authors:
Guowei Dai,
Pieralberto Sicbaldi,
Yong Zhang
Abstract:
We construct nontrivial unbounded domains $Ω$ in the hyperbolic space $\mathbb{H}^N$, $N \in \{2,3,4\}$, bifurcating from the complement of a ball, such that the overdetermined elliptic problem \begin{equation} -Δ_{\mathbb{H}^N} u+u-u^p=0\,\, \text{in}\,\,Ω, \,\, u=0,\,\,\partial_νu=\text{const}\,\,\text{on}\,\,\partialΩ\nonumber \end{equation} has a positive bounded solution in…
▽ More
We construct nontrivial unbounded domains $Ω$ in the hyperbolic space $\mathbb{H}^N$, $N \in \{2,3,4\}$, bifurcating from the complement of a ball, such that the overdetermined elliptic problem \begin{equation} -Δ_{\mathbb{H}^N} u+u-u^p=0\,\, \text{in}\,\,Ω, \,\, u=0,\,\,\partial_νu=\text{const}\,\,\text{on}\,\,\partialΩ\nonumber \end{equation} has a positive bounded solution in $C^{2,α}\left(Ω\right) \cap H^1\left(Ω\right)$. We also give a condition under which this construction holds for larger dimensions $N$. This is linked to the Berestycki-Caffarelli-Nirenberg conjecture on overdetermined elliptic problems, and, as far as we know, is the first nontrivial example of solution to an overdetermined elliptic problem in the hyperbolic space.
△ Less
Submitted 7 May, 2024;
originally announced May 2024.
-
Nontrivial solutions to the relative overdetermined torsion problem in a cylinder
Authors:
Filomena Pacella,
David Ruiz,
Pieralberto Sicbaldi
Abstract:
Given a bounded regular domain $ω\subset \mathbb{R}^{N-1}$ and the half-cylinder $Σ= ω\times (0,+\infty)$, we consider the relative overdetermined torsion problem in $Σ$, i.e.
\[\left\{
\begin{array}{ll}
Δ{u}+1=0 &\mbox{in $Ω$},\newline
\partial_ηu = 0 &\mbox{on $\widetilde Γ_Ω$},\newline
u=0 &\mbox{on $Γ_Ω$},\newline
\partial_νu =c &\mbox{on $Γ_Ω$}.
\end{array} \right.
\] where $Ω\subset Σ$,…
▽ More
Given a bounded regular domain $ω\subset \mathbb{R}^{N-1}$ and the half-cylinder $Σ= ω\times (0,+\infty)$, we consider the relative overdetermined torsion problem in $Σ$, i.e.
\[\left\{
\begin{array}{ll}
Δ{u}+1=0 &\mbox{in $Ω$},\newline
\partial_ηu = 0 &\mbox{on $\widetilde Γ_Ω$},\newline
u=0 &\mbox{on $Γ_Ω$},\newline
\partial_νu =c &\mbox{on $Γ_Ω$}.
\end{array} \right.
\] where $Ω\subset Σ$, $Γ_Ω= \partial Ω\cap Σ$, $\widetilde Γ_Ω= \partial Ω\setminus Γ_Ω$, $ν$ is the outer unit normal vector on $Γ_Ω$ and $η$ is the outer unit normal vector on $\widetilde Γ_Ω$. We build nontrivial solutions to this problem in domains $Ω$ that are the hypograph of certain nonconstant functions $v : \overlineω \to (0, + \infty)$. Such solutions can be reflected with respect to $ω$, giving nontrivial solutions to the relative overdetermined torsion problem in a cylinder. The proof uses a local bifurcation argument which, quite remarkably, works for any generic base $ω$.
△ Less
Submitted 14 April, 2024;
originally announced April 2024.
-
A Schiffer-type problem for annuli with applications to stationary planar Euler flows
Authors:
Alberto Enciso,
Antonio J. Fernández,
David Ruiz,
Pieralberto Sicbaldi
Abstract:
If on a smooth bounded domain $Ω\subset\mathbb{R}^2$ there is a nonconstant Neumann eigenfunction $u$ that is locally constant on the boundary, must $Ω$ be a disk or an annulus? This question can be understood as a weaker analog of the well known Schiffer conjecture, in that the function $u$ is allowed to take a different constant value on each connected component of $\partial Ω$ yet many of the k…
▽ More
If on a smooth bounded domain $Ω\subset\mathbb{R}^2$ there is a nonconstant Neumann eigenfunction $u$ that is locally constant on the boundary, must $Ω$ be a disk or an annulus? This question can be understood as a weaker analog of the well known Schiffer conjecture, in that the function $u$ is allowed to take a different constant value on each connected component of $\partial Ω$ yet many of the known rigidity properties of the original problem are essentially preserved. Our main result provides a negative answer by constructing a family of nontrivial doubly connected domains $Ω$ with the above property. As a consequence, a certain linear combination of the indicator functions of the domains $Ω$ and of the bounded component of the complement $\mathbb{R}^2\backslash\overlineΩ$ fails to have the Pompeiu property. Furthermore, our construction implies the existence of continuous, compactly supported stationary weak solutions to the 2D incompressible Euler equations which are not locally radial.
△ Less
Submitted 12 August, 2024; v1 submitted 14 September, 2023;
originally announced September 2023.
-
Modica type estimates and curvature results for overdetermined elliptic problems
Authors:
David Ruiz,
Pieralberto Sicbaldi,
Jing Wu
Abstract:
In this paper, we establish a Modica type estimate on bounded solutions to the overdetermined elliptic problem \begin{equation*}
\begin{cases}
Δu+f(u) =0& \mbox{in $Ω$, }\\ u>0 &\mbox{in $Ω$, }
u=0 &\mbox{on $\partialΩ$, }
\partial_ν u=-κ&\mbox{on $\partialΩ$, }
\end{cases} \end{equation*} where $Ω\subset\mathbb{R}^{n},n\geq 2$. As we will see, the presence of the boundary changes the us…
▽ More
In this paper, we establish a Modica type estimate on bounded solutions to the overdetermined elliptic problem \begin{equation*}
\begin{cases}
Δu+f(u) =0& \mbox{in $Ω$, }\\ u>0 &\mbox{in $Ω$, }
u=0 &\mbox{on $\partialΩ$, }
\partial_ν u=-κ&\mbox{on $\partialΩ$, }
\end{cases} \end{equation*} where $Ω\subset\mathbb{R}^{n},n\geq 2$. As we will see, the presence of the boundary changes the usual form of the Modica estimate for entire solutions. We will also discuss the equality case. From such estimates we will deduce information about the curvature of $\partial Ω$ under a certain condition on $κ$ and $f$. The proof uses the maximum principle together with scaling arguments and a careful passage to the limit in the arguments by contradiction.
△ Less
Submitted 13 September, 2024; v1 submitted 6 June, 2023;
originally announced June 2023.
-
Overdetermined elliptic problems in nontrivial contractible domains of the sphere
Authors:
David Ruiz,
Pieralberto Sicbaldi,
Jing Wu
Abstract:
In this paper, we prove the existence of nontrivial contractible domains $Ω\subset\mathbb{S}^{d}$, $d\geq2$, such that the overdetermined elliptic problem \begin{equation*}
\begin{cases}
-\varepsilonΔ_{g} u +u-u^{p}=0 &\mbox{in $Ω$, }
u>0 &\mbox{in $Ω$, }
u=0 &\mbox{on $\partialΩ$, }
\partial_ν u=\mbox{constant} &\mbox{on $\partialΩ$, }
\end{cases} \end{equation*} admits a positive sol…
▽ More
In this paper, we prove the existence of nontrivial contractible domains $Ω\subset\mathbb{S}^{d}$, $d\geq2$, such that the overdetermined elliptic problem \begin{equation*}
\begin{cases}
-\varepsilonΔ_{g} u +u-u^{p}=0 &\mbox{in $Ω$, }
u>0 &\mbox{in $Ω$, }
u=0 &\mbox{on $\partialΩ$, }
\partial_ν u=\mbox{constant} &\mbox{on $\partialΩ$, }
\end{cases} \end{equation*} admits a positive solution. Here $Δ_{g}$ is the Laplace-Beltrami operator in the unit sphere $\mathbb{S}^{d}$ with respect to the canonical round metric $g$, $\varepsilon>0$ is a small real parameter and $1<p<\frac{d+2}{d-2}$ ($p>1$ if $d=2$). These domains are perturbations of $\mathbb{S}^{d}\setminus D,$ where $D$ is a small geodesic ball. This shows in particular that Serrin's theorem for overdetermined problems in the Euclidean space cannot be generalized to the sphere even for contractible domains.
△ Less
Submitted 7 June, 2023; v1 submitted 19 October, 2022;
originally announced October 2022.
-
Overdetermined elliptic problems in onduloid-type domains with general nonlinearities
Authors:
D. Ruiz,
P. Sicbaldi,
J. Wu
Abstract:
In this paper, we prove the existence of nontrivial unbounded domains $Ω\subset\mathbb{R}^{n+1},n\geq1$, bifurcating from the straight cylinder $B\times\mathbb{R}$ (where $B$ is the unit ball of $\mathbb{R}^n$), such that the overdetermined elliptic problem \begin{equation*}
\begin{cases}
Δu +f(u)=0 &\mbox{in $Ω$, }
u=0 &\mbox{on $\partialΩ$, }
\partial_ν u=\mbox{constant} &\mbox{on…
▽ More
In this paper, we prove the existence of nontrivial unbounded domains $Ω\subset\mathbb{R}^{n+1},n\geq1$, bifurcating from the straight cylinder $B\times\mathbb{R}$ (where $B$ is the unit ball of $\mathbb{R}^n$), such that the overdetermined elliptic problem \begin{equation*}
\begin{cases}
Δu +f(u)=0 &\mbox{in $Ω$, }
u=0 &\mbox{on $\partialΩ$, }
\partial_ν u=\mbox{constant} &\mbox{on $\partialΩ$, }
\end{cases} \end{equation*} has a positive bounded solution. We will prove such result for a very general class of functions $f: [0, +\infty) \to \mathbb{R}$. Roughly speaking, we only ask that the Dirichlet problem in $B$ admits a nondegenerate solution. The proof uses a local bifurcation argument.
△ Less
Submitted 23 July, 2021;
originally announced July 2021.
-
Existence and regularity of Faber Krahn minimizers in a Riemannian manifold
Authors:
Jimmy Lamboley,
Pieralberto Sicbaldi
Abstract:
In this paper, we study the minimization of $λ_{1}(Ω)$, the first Dirichlet eigenvalue of the Laplace-Beltrami operator, within the class of open sets $Ω$ of fixed volume in a Riemmanian manifold $(M,g)$. In the Euclidian setting (when $(M,g)=(\mathbb{R}^n,e)$), the well-known Faber-Krahn inequality asserts that the solution of such problem is any ball of suitable volume. Even if similar results a…
▽ More
In this paper, we study the minimization of $λ_{1}(Ω)$, the first Dirichlet eigenvalue of the Laplace-Beltrami operator, within the class of open sets $Ω$ of fixed volume in a Riemmanian manifold $(M,g)$. In the Euclidian setting (when $(M,g)=(\mathbb{R}^n,e)$), the well-known Faber-Krahn inequality asserts that the solution of such problem is any ball of suitable volume. Even if similar results are known or may be expected for Riemannian manifolds with symmetries, we cannot expect to find explicit solutions for general manifolds $(M,g)$. In this paper we study existence and regularity properties for this spectral shape optimization problem in a Riemannian setting, in a similar fashion as for the isoperimetric problem. We first give an existence result in the context of compact Riemannian manifolds, and we discuss the case of non-compact manifolds by giving a counter-example to existence. We then focus on the regularity theory for this problem, and using the tools coming from the theory of free boundary problems, we show that solutions are smooth up to a possible residual set of co-dimension 5 or higher.
△ Less
Submitted 18 July, 2019;
originally announced July 2019.
-
Half space theorem for the Allen-Cahn equation and related problems
Authors:
Francois Hamel,
Yong Liu,
Pieralberto Sicbaldi,
Kelei Wang,
Juncheng Wei
Abstract:
In this paper we obtain rigidity results for a bounded non-constant entire solution $u$ of the Allen-Cahn equation in $\mathbb{R}^n$, whose level set $\{u=0\}$ is contained in a half-space. If $n\leq 3$ we prove that the solution must be one-dimensional. In dimension $n\geq 4$, we prove that either the solution is one-dimensional or stays below a one-dimensional solution and converges to it after…
▽ More
In this paper we obtain rigidity results for a bounded non-constant entire solution $u$ of the Allen-Cahn equation in $\mathbb{R}^n$, whose level set $\{u=0\}$ is contained in a half-space. If $n\leq 3$ we prove that the solution must be one-dimensional. In dimension $n\geq 4$, we prove that either the solution is one-dimensional or stays below a one-dimensional solution and converges to it after suitable translations. Some generalizations to one phase free boundary problems are also obtained.
△ Less
Submitted 27 July, 2019; v1 submitted 22 January, 2019;
originally announced January 2019.
-
Solutions to overdetermined elliptic problems in nontrivial exterior domains
Authors:
Antonio Ros,
David Ruiz,
Pieralberto Sicbaldi
Abstract:
In this paper we construct nontrivial exterior domains $Ω\subset \mathbb{R}^N$, for all $N\geq 2$, such that the problem $$\left\{ {ll} -Δu +u -u^p=0,\ u >0 & \mbox{in }\; Ω, {1mm]
\ u= 0 & \mbox{on }\; \partial Ω, [1mm]
\ \frac{\partial u}{\partial ν} = \mbox{cte} & \mbox{on }\; \partial Ω, \right.$$ admits a positive bounded solution. This result gives a negative answer to the Berestycki-Caf…
▽ More
In this paper we construct nontrivial exterior domains $Ω\subset \mathbb{R}^N$, for all $N\geq 2$, such that the problem $$\left\{ {ll} -Δu +u -u^p=0,\ u >0 & \mbox{in }\; Ω, {1mm]
\ u= 0 & \mbox{on }\; \partial Ω, [1mm]
\ \frac{\partial u}{\partial ν} = \mbox{cte} & \mbox{on }\; \partial Ω, \right.$$ admits a positive bounded solution. This result gives a negative answer to the Berestycki-Caffarelli-Nirenberg conjecture on overdetermined elliptic problems in dimension 2, the only dimension in which the conjecture was still open. For higher dimensions, different counterexamples have been found in the literature; however, our example is the first one in the form of an exterior domain.
△ Less
Submitted 13 September, 2016;
originally announced September 2016.
-
A rigidity result for overdetermined elliptic problems in the plane
Authors:
Antonio Ros,
David Ruiz,
Pieralberto Sicbaldi
Abstract:
Let $f:[0,+\infty) \to \mathbb{R}$ be a (locally) Lipschitz function and $Ω\subset \mathbb{R}^2$ a $C^{1,α}$ domain whose boundary is unbounded and connected. If there exists a positive bounded solution to the overdetermined elliptic problem…
▽ More
Let $f:[0,+\infty) \to \mathbb{R}$ be a (locally) Lipschitz function and $Ω\subset \mathbb{R}^2$ a $C^{1,α}$ domain whose boundary is unbounded and connected. If there exists a positive bounded solution to the overdetermined elliptic problem $$ \left\{\begin{array} {ll} Δu + f(u) = 0 & \mbox{in }\; Ω
\\ u= 0\, \, \, , \, \, \, \frac{\partial u}{\partial \vecν}=1 &\mbox{on }\; \partial Ω\end{array}\right. $$ we prove that $Ω$ is a half-plane. In particular, we obtain a partial answer to a question raised by H. Berestycki, L. Caffarelli and L. Nirenberg in 1997.
△ Less
Submitted 21 May, 2015;
originally announced May 2015.
-
New examples of extremal domains for the first eigenvalue of the Laplace-Beltrami operator in a Riemannian manifold with boundary
Authors:
Jimmy Lamboley,
Pieralberto Sicbaldi
Abstract:
We build new examples of extremal domains with small prescribed volume for the first eigenvalue of the Laplace-Beltrami operator in some Riemannian manifold with boundary. These domains are close to half balls of small radius centered at a nondegenerate critical point of the mean curvature function of the boundary of the manifold, and their boundary intersects the boundary of the manifold orthogon…
▽ More
We build new examples of extremal domains with small prescribed volume for the first eigenvalue of the Laplace-Beltrami operator in some Riemannian manifold with boundary. These domains are close to half balls of small radius centered at a nondegenerate critical point of the mean curvature function of the boundary of the manifold, and their boundary intersects the boundary of the manifold orthogonally.
△ Less
Submitted 20 June, 2014; v1 submitted 19 June, 2014;
originally announced June 2014.
-
Delaunay type domains for an overdetermined elliptic problem in S^n x R and H^n x R
Authors:
Filippo Morabito,
Pieralberto Sicbaldi
Abstract:
We prove the existence of a countable family of Delaunay type domains Ω_j in M^n x R, where M^n is the Riemannian manifold S^n or H^n and n is at least 2, bifurcating from the cylinder B^n x R (where B^n is a geodesic ball of radius 1 in M^n) for which the first eigenfunction of the Laplace-Beltrami operator with zero Dirichlet boundary condition also has constant Neumann data at the boundary. The…
▽ More
We prove the existence of a countable family of Delaunay type domains Ω_j in M^n x R, where M^n is the Riemannian manifold S^n or H^n and n is at least 2, bifurcating from the cylinder B^n x R (where B^n is a geodesic ball of radius 1 in M^n) for which the first eigenfunction of the Laplace-Beltrami operator with zero Dirichlet boundary condition also has constant Neumann data at the boundary. The domains Ω_j are rotationally symmetric and periodic with respect to the R-axis of the cylinder and as j converges to 0 the domain Ω_j converges to the cylinder B^n x R.
△ Less
Submitted 28 May, 2013;
originally announced May 2013.
-
Extremal domains for the first eigenvalue in a general Riemannian manifold
Authors:
Erwann Delay,
Pieralberto Sicbaldi
Abstract:
We prove the existence of extremal domains with small prescribed volume for the first eigenvalue of the Laplace-Beltrami operator in any compact Riemannian manifold. This result generalizes a results of F. Pacard and the second author where the existence of a nondegenerate critical point of the scalar curvature of the Riemannian manifold was required.
We prove the existence of extremal domains with small prescribed volume for the first eigenvalue of the Laplace-Beltrami operator in any compact Riemannian manifold. This result generalizes a results of F. Pacard and the second author where the existence of a nondegenerate critical point of the scalar curvature of the Riemannian manifold was required.
△ Less
Submitted 18 February, 2013;
originally announced February 2013.
-
Geometry and Topology of some overdetermined elliptic problems
Authors:
Antonio Ros,
Pieralberto Sicbaldi
Abstract:
We study necessary conditions on the geometry and the topology of domains in $\mathbb{R}^2$ that support a positive solution to a classical overdetermined elliptic problem. The ideas and tools we use come from constant mean curvature surface theory. In particular, we obtain a partial answer to a question posed by H. Berestycki, L. Caffarelli and L. Nirenberg in 1997. We investigate also some bound…
▽ More
We study necessary conditions on the geometry and the topology of domains in $\mathbb{R}^2$ that support a positive solution to a classical overdetermined elliptic problem. The ideas and tools we use come from constant mean curvature surface theory. In particular, we obtain a partial answer to a question posed by H. Berestycki, L. Caffarelli and L. Nirenberg in 1997. We investigate also some boundedness properties of the solution $u$. Some of our results generalize to higher dimensions.
△ Less
Submitted 14 October, 2013; v1 submitted 23 February, 2012;
originally announced February 2012.
-
Bifurcating extremal domains for the first eigenvalue of the Laplacian
Authors:
Felix Schlenk,
Pieralberto Sicbaldi
Abstract:
We prove the existence of a smooth family of non-compact domains $Omega_s \subset R^{n+1}$ bifurcating from the straight cylinder $B^n \times R$ for which the first eigenfunction of the Laplacian with 0 Dirichlet boundary condition also has constant Neumann data at the boundary. The domains $Omega_s$ are rotationally symmetric and periodic with respect to the R-axis of the cylinder; they are of th…
▽ More
We prove the existence of a smooth family of non-compact domains $Omega_s \subset R^{n+1}$ bifurcating from the straight cylinder $B^n \times R$ for which the first eigenfunction of the Laplacian with 0 Dirichlet boundary condition also has constant Neumann data at the boundary. The domains $Omega_s$ are rotationally symmetric and periodic with respect to the R-axis of the cylinder; they are of the form $Omega_s = {(x,t) \in R^n \times R \mid |x| < 1+s \cos((2π)/T_s t) + O(s^2)}$ where $T_s = T_0 + O(s)$ and T_0 is a positive real number depending on n. For $n \ge 2$ these domains provide a smooth family of counter-examples to a conjecture of Berestycki, Caffarelli and Nirenberg. We also give rather precise upper and lower bounds for the bifurcation period T_0. This work improves a recent result of the second author.
△ Less
Submitted 20 January, 2011;
originally announced January 2011.
-
Extremal Domains of Big Volume for the First Eigenvalue of the Laplace-Beltrami Operator in a Compact Manifold
Authors:
Pieralberto Sicbaldi
Abstract:
We prove the existence of extremal domains for the first eigenvalue of the Laplace-Beltrami operator in some compact Riemannian manifolds of dimension $n \geq 2$, with volume close to the volume of the manifold. If the first (positive) eigenfunction $φ_0$ of the Laplace-Beltrami operator over the manifold is a nonconstant function, these domains are close to the complement of geodesic balls of s…
▽ More
We prove the existence of extremal domains for the first eigenvalue of the Laplace-Beltrami operator in some compact Riemannian manifolds of dimension $n \geq 2$, with volume close to the volume of the manifold. If the first (positive) eigenfunction $φ_0$ of the Laplace-Beltrami operator over the manifold is a nonconstant function, these domains are close to the complement of geodesic balls of small radius whose center is close to the point where $φ_0$ attains its maximum. If $φ_0$ is a constant function and $n \geq 4$, these domains are close to the complement of geodesic balls of small radius whose center is close to a nondegenerate critical point of the scalar curvature function.
△ Less
Submitted 17 December, 2009;
originally announced December 2009.
