Showing 1–35 of 35 results for author: Espinar, J M

Extremal domains in $\mathbb{S}^2$: Geometric and Analytic methods

Authors: José M. Espinar, Diego A. Marín

Abstract: In this paper, we study domains $Ω\subset \mathbb{S}^2$ that support positive solutions to the overdetermined problem $ Δ{u} + f(u, |\nabla u|) = 0 $ in $Ω$, with the boundary conditions $u = 0$ on $\partial Ω$ and $|\nabla u|$ being locally constant along $\partial Ω$. We refer to such domains as $f$-extremal domains and focus on those with disconnected boundaries. In the first part, we obtain th… ▽ More In this paper, we study domains $Ω\subset \mathbb{S}^2$ that support positive solutions to the overdetermined problem $ Δ{u} + f(u, |\nabla u|) = 0 $ in $Ω$, with the boundary conditions $u = 0$ on $\partial Ω$ and $|\nabla u|$ being locally constant along $\partial Ω$. We refer to such domains as $f$-extremal domains and focus on those with disconnected boundaries. In the first part, we obtain the main results of this paper by extending the moving plane method to $\mathbb{S}^2$, proving that if $Ω$ is an $f$-extremal domain containing a simple closed curve of maximum points of $u$, then $Ω$ must be either rotationally symmetric or antipodally symmetric. A similar symmetry result is also obtained for constant mean curvature (CMC) surfaces with capillary boundaries. In the second part, we strengthen this conclusion for certain nonlinearities, including the eigenvalue problem ($f(u)=λu$), Serrin problem ($f(u)= λu + c$), harmonic domains in $\mathbb{S}^2$ ($f(u)=c$), and $f(u) = λu + u ^β$; for constants $λ\geq 2$, $c \geq 0$, and $β\in (0,1)$. We prove that the domain $Ω$ must be rotationally symmetric. We restrict our analysis to the analytic setting to streamline the exposition and emphasize the core ideas, assuming that $Ω$, $u$, and $f$ are analytic. △ Less

Submitted 17 June, 2025; v1 submitted 31 October, 2024; originally announced October 2024.

Comments: 41 pages. 9 figures. Improvements in the overall exposition and in one of the main results

MSC Class: 35N25 (Primary); 53A10 (Secondary)

An overdetermined eigenvalue problem and the Critical Catenoid conjecture

Authors: José M. Espinar, Diego A. Marín

Abstract: We consider the eigenvalue problem $Δ^{\mathbb{S}^2} ξ+ 2 ξ=0 $ in $ Ω$ and $ξ= 0 $ along $ \partial Ω$, being $Ω$ the complement of a disjoint and finite union of smooth and bounded simply connected regions in the two-sphere $\mathbb{S}^2$. Imposing that $|\nabla ξ|$ is locally constant along $\partial Ω$ and that $ξ$ has infinitely many maximum points, we are able to classify positive solutions… ▽ More We consider the eigenvalue problem $Δ^{\mathbb{S}^2} ξ+ 2 ξ=0 $ in $ Ω$ and $ξ= 0 $ along $ \partial Ω$, being $Ω$ the complement of a disjoint and finite union of smooth and bounded simply connected regions in the two-sphere $\mathbb{S}^2$. Imposing that $|\nabla ξ|$ is locally constant along $\partial Ω$ and that $ξ$ has infinitely many maximum points, we are able to classify positive solutions as the rotationally symmetric ones. As a consequence, we obtain a characterization of the critical catenoid as the only embedded free boundary minimal annulus in the unit ball whose support function has infinitely many critical points. △ Less

Submitted 10 October, 2023; originally announced October 2023.

Frankel property and Maximum Principle at Infinity for complete minimal hypersurfaces

Authors: José M. Espinar, Harold Rosenberg

Abstract: In this paper, we study complete minimal hypersurfaces in Riemannian $n-$manifolds $\mathcal{M}^n$ for dimensions $4 \leq n \leq 7$, and we obtain some results in the spirit of known work for $n=3$. Key contributions include extending the work of Anderson and Rodríguez to higher dimensions. Specifically, we show that in four-dimensional manifolds with nonnegative sectional curvature and positive… ▽ More In this paper, we study complete minimal hypersurfaces in Riemannian $n-$manifolds $\mathcal{M}^n$ for dimensions $4 \leq n \leq 7$, and we obtain some results in the spirit of known work for $n=3$. Key contributions include extending the work of Anderson and Rodríguez to higher dimensions. Specifically, we show that in four-dimensional manifolds with nonnegative sectional curvature and positive scalar curvature, two disjoint properly embedded minimal hypersurfaces bound a slab isometric to the product of one hypersurface with an interval. Our results are grounded in a maximum principle at infinity for two-sided, parabolic, properly embedded minimal hypersurfaces in complete Riemannian manifolds of bounded geometry, generalizing the work of Mazet in dimension three to higher dimensions. We also leverage the recent classification of complete two-sided stable minimal hypersurfaces by Chodosh, Li, and Stryker. △ Less

Submitted 26 June, 2024; v1 submitted 11 November, 2022; originally announced November 2022.

Comments: Major revision from the first version

On free boundary minimal hypersurfaces in the Riemannian Schwarzschild space

Authors: Ezequiel Barbosa, José Maria Espinar

Abstract: In contrast with the 3-dimensional case (cf. \cite{RaMo}), where rotationally symmetric totally geodesic free boundary minimal surfaces have Morse index one; we prove in this work that the Morse index of a free boundary rotationally symmetric totally geodesic hypersurface of the $n$-dimensional Riemannnian Schwarzschild space with respect to variations that are tangential along the horizon is zero… ▽ More In contrast with the 3-dimensional case (cf. \cite{RaMo}), where rotationally symmetric totally geodesic free boundary minimal surfaces have Morse index one; we prove in this work that the Morse index of a free boundary rotationally symmetric totally geodesic hypersurface of the $n$-dimensional Riemannnian Schwarzschild space with respect to variations that are tangential along the horizon is zero, for $n\geq4$. Moreover, we show that there exist non-compact free boundary minimal hypersurfaces which are not totally geodesic, $n\geq 8$, with Morse index equal to $0$. Also, it is shown that, for $n\geq4$, there exist infinitely many non-compact free boundary minimal hypersurfaces, which are not congruent to each other, with infinite Morse index. We also study the density at infinity of a free boundary minimal hypersurface with respect to a minimal cone constructed over a minimal hypersurface of the unit Euclidean sphere. We obtain a lower bound for the density in terms of the area of the boundary of the hypersurface and the area of the minimal hypersurface in the unit sphere. This lower bound is optimal in the sense that only minimal cones achieve it. △ Less

Submitted 10 March, 2021; v1 submitted 24 February, 2021; originally announced February 2021.

Comments: 16 pages

MSC Class: 53C20; 58E12

Elliptic special Weingarten surfaces of minimal type in $\mathbb{R}^3$ of finite total curvature

Authors: José M. Espinar, Héber Mesa

Abstract: We extend the theory of complete minimal surfaces in $\mathbb{R}^3$ of finite total curvature to the wider class of elliptic special Weingarten surfaces of finite total curvature; in particular, we extend the seminal works of L. Jorge and W. Meeks and R. Schoen. Specifically, we extend the Jorge-Meeks formula relating the total curvature and the topology of the surface and we use it to classify… ▽ More We extend the theory of complete minimal surfaces in $\mathbb{R}^3$ of finite total curvature to the wider class of elliptic special Weingarten surfaces of finite total curvature; in particular, we extend the seminal works of L. Jorge and W. Meeks and R. Schoen. Specifically, we extend the Jorge-Meeks formula relating the total curvature and the topology of the surface and we use it to classify planes as the only elliptic special Weingarten surfaces whose total curvature is less than $4 π$. Moreover, we show that a complete (connected), embedded outside a compact set, elliptic special Weingarten surface of minimal type in $\mathbb{R}^3$ of finite total curvature and two ends is rotationally symmetric; in particular, it must be one of the rotational special catenoids described by R. Sa Earp and E. Toubiana. This answers in the positive a question posed in 1993 by R. Sa Earp. We also prove that the special catenoids are the only connected non-flat special Weingarten surfaces whose total curvature is less than $8 π$. △ Less

Submitted 21 July, 2019; originally announced July 2019.

Comments: 41 pages, 15 figures

Min-oo conjecture for fully nonlinear conformally invariant equations

Authors: Ezequiel Barbosa, Marcos P. Cavalcante, José M. Espinar

Abstract: In this paper we show rigidity results for super-solutions to fully nonlinear elliptic conformally invariant equations on subdomains of the standard $n$-sphere $\mathbb S^n$ under suitable conditions along the boundary. We emphasize that our results do not assume concavity assumption on the fully nonlinear equations we will work with. This proves rigidity for compact connected locally conformall… ▽ More In this paper we show rigidity results for super-solutions to fully nonlinear elliptic conformally invariant equations on subdomains of the standard $n$-sphere $\mathbb S^n$ under suitable conditions along the boundary. We emphasize that our results do not assume concavity assumption on the fully nonlinear equations we will work with. This proves rigidity for compact connected locally conformally flat manifolds $(M,g)$ with boundary such that the eigenvalues of the Schouten tensor satisfy a fully nonlinear elliptic inequality and whose boundary is isometric to a geodesic sphere $\partial D(r)$, where $D(r)$ denotes a geodesic ball of radius $r\in (0,π/2]$ in $\mathbb S^n$, and totally umbilical with mean curvature bounded below by the mean curvature of this geodesic sphere. Under the above conditions, $(M,g)$ must be isometric to the closed geodesic ball $\overline{D(r)}$. As a side product, in dimension $2$ our methods provide a new proof to Toponogov's Theorem about the rigidity of compact surfaces carrying a shortest simple geodesic. Roughly speaking, Toponogov's Theorem is equivalent to a rigidity theorem for spherical caps in the Hyperbolic three-space $\mathbb H^3$. In fact, we extend it to obtain rigidity for super-solutions to certain Monge-Ampère equations. △ Less

Submitted 22 November, 2018; v1 submitted 22 February, 2017; originally announced February 2017.

Comments: Version including referee's suggestions. Paper accepted to publication in Communications on Pure and Applied Mathematics. The authors are grateful to the referee for him/her valuable comments and suggestions that have improved this article

MSC Class: 53C21; 53C24; 58J05

Characterization of $f$-extremal disks

Authors: José M. Espinar, Laurent Mazet

Abstract: We show uniqueness for overdetermined elliptic problems defined on topological disks $Ω$ with $C^2$ boundary, i.e., positive solutions $u$ to $Δu + f(u)=0$ in $Ω\subset (M^2,g)$ so that $u = 0$ and $\frac{\partial u}{\partial \vecη} = cte $ along $\partial Ω$, $\vecη$ the unit outward normal along $\partialΩ$ under the assumption of the existence of a candidate family. To do so, we adapt the Gálve… ▽ More We show uniqueness for overdetermined elliptic problems defined on topological disks $Ω$ with $C^2$ boundary, i.e., positive solutions $u$ to $Δu + f(u)=0$ in $Ω\subset (M^2,g)$ so that $u = 0$ and $\frac{\partial u}{\partial \vecη} = cte $ along $\partial Ω$, $\vecη$ the unit outward normal along $\partialΩ$ under the assumption of the existence of a candidate family. To do so, we adapt the Gálvez-Mira generalized Hopf-type Theorem to the realm of overdetermined elliptic problem. When $(M^2,g)$ is the standard sphere $\mathbb S^2$ and $f$ is a $C^1$ function so that $f(x)>0$ and $f(x)\ge x \, f'(x)$ for any $x\in\mathbb R_+^*$, we construct such candidate family considering rotationally symmetric solutions. This proves the Berestycki-Caffarelli-Nirenberg conjecture in $\mathbb S^2$ for this choice of $f$. More precisely, this shows that if $u$ is a positive solution to $Δu + f(u) = 0$ on a topological disk $Ω\subset \mathbb S^2$ with $C^2$ boundary so that $u = 0$ and $\frac{\partial u}{\partial \vecη} = cte $ along $\partial Ω$, then $Ω$ must be a geodesic disk and $u$ is rotationally symmetric. In particular, this gives a positive answer to the Schiffer conjecture D for the first Dirichlet eigenvalue and classifies simply-connected harmonic domains, also called {\it Serrin Problem}) in $\mathbb S ^2$. △ Less

Submitted 26 September, 2017; v1 submitted 31 October, 2016; originally announced October 2016.

Comments: The main modification is on page 17 (Corollary 4.5 and the paragraph before) where we explain that our result applies to the Allen-Cahn non linearity

Characterization of embedded free boundary surfaces in the ball

Authors: José M. Espinar, Harold Rosenberg

Abstract: We prove that the only embedded free boundary minimal surface $Σ$ in $\mathbb{B}^3$ with index $4$ is the critical catenoid. This extends fundamental work of A. Fraser and R. Schoen, as well as the work of H. Tran. We prove that the only embedded free boundary minimal surface $Σ$ in $\mathbb{B}^3$ with index $4$ is the critical catenoid. This extends fundamental work of A. Fraser and R. Schoen, as well as the work of H. Tran. △ Less

Submitted 3 October, 2016; v1 submitted 25 September, 2016; originally announced September 2016.

Comments: We made a mistake in formula (3.1), we thanks PR. Graham Smith (UFRJ) for pointed us out this

Escobar's Type Theorems for elliptic fully nonlinear degenerate equations

Authors: D. P. Abanto, J. M. Espinar

Abstract: In this paper we prove non-existence and classification results for elliptic fully nonlinear elliptic degenerate conformal equations on certain subdomains of the sphere with prescribed constant mean curvature along its boundary. We also consider non-degenerate equations. Such subdomains are the hemisphere (or a geodesic ball in $\mathbb{S}^m$), punctured balls and annular domains. Our results ex… ▽ More In this paper we prove non-existence and classification results for elliptic fully nonlinear elliptic degenerate conformal equations on certain subdomains of the sphere with prescribed constant mean curvature along its boundary. We also consider non-degenerate equations. Such subdomains are the hemisphere (or a geodesic ball in $\mathbb{S}^m$), punctured balls and annular domains. Our results extend those of Escobar in when $m\geq 3$, and Hang-Wang and Jimenez in when $m=2$. △ Less

Submitted 23 June, 2016; originally announced June 2016.

The Abresch-Rosenberg Shape Operator and applications

Authors: José M. Espinar, Haimer A. Trejos

Abstract: There exists a holomorphic quadratic differential defined on any $H-$ surface immersed in the homogeneous space $\mathbb{E}(κ,τ)$ given by U. Abresch and H. Rosenberg, called the Abresch-Rosenberg differential. However, there were no Codazzi pair on such $H-$surface associated to the Abresch-Rosenberg differential when $τ\neq 0$. The goal of this paper is to find a geometric Codazzi pair defined o… ▽ More There exists a holomorphic quadratic differential defined on any $H-$ surface immersed in the homogeneous space $\mathbb{E}(κ,τ)$ given by U. Abresch and H. Rosenberg, called the Abresch-Rosenberg differential. However, there were no Codazzi pair on such $H-$surface associated to the Abresch-Rosenberg differential when $τ\neq 0$. The goal of this paper is to find a geometric Codazzi pair defined on any $H-$surface in $\mathbb{E}(κ,τ)$, when $τ\neq 0$, whose $(2,0)-$part is the Abresch-Rosenberg differential. In particular, this allows us to compute a Simons' type formula for $H-$surfaces in $\mathbb{E}(κ,τ)$. We apply such Simons' type formula, first, to study the behavior of complete $H-$surfaces $Σ$ of finite Abresch-Rosenberg total curvature immersed in $\mathbb{E}(κ,τ)$. Second, we estimate the first eigenvalue of any Schrödinger operator $L= Δ+ V$, $V$ continuous, defined on such surfaces. Finally, together with the Omori-Yau's Maximum Principle, we classify complete $H-$surfaces in $\mathbb{E}(κ,τ)$, $τ\neq 0$, satisfying a lower bound on $H$ depending on $κ$ and $τ$. △ Less

Submitted 21 June, 2016; v1 submitted 7 December, 2015; originally announced December 2015.

Comments: Major changes in the presentation. Corrected Theorem 2 and improvements on its consequences

Area estimates and rigidity of capillary $H-$surfaces in three-manifolds with boundary

Authors: José M. Espinar, Harold Rosenberg

Abstract: We obtain a bound for the area of a capillary $H-$surface in a three-manifold with umbilic boundary and controlled sectional curvature. We then analyze the geometry when this area bound is realized, and obtain rigidity theorems. As a side product, we obtain existence of totally geodesic embedded surfaces in hyperbolic three-manifolds under the assumption of the existence of a $H-$surface realizing… ▽ More We obtain a bound for the area of a capillary $H-$surface in a three-manifold with umbilic boundary and controlled sectional curvature. We then analyze the geometry when this area bound is realized, and obtain rigidity theorems. As a side product, we obtain existence of totally geodesic embedded surfaces in hyperbolic three-manifolds under the assumption of the existence of a $H-$surface realizing the area bound, in particular, under the existence of a totally umbilic $H-$surface. △ Less

Submitted 18 April, 2016; v1 submitted 10 November, 2015; originally announced November 2015.

Comments: We discovered we needed to add a hypothesis in Theorem 5.1 {that Sigma separates M) and thus the theorem and its proof has been changed

$f$-extremal domains in hyperbolic space

Authors: José M. Espinar, Alberto Farina, Laurent Mazet

Abstract: In this paper we study the geometry and the topology of unbounded domains in the Hyperbolic Space $\mathbb{H} ^n$ supporting a bounded positive solution to an overdetermined elliptic problem. Under suitable conditions on the elliptic problem and the behaviour of the bounded solution at infinity, we are able to show that symmetries of the boundary at infinity imply symmetries on the domain itself… ▽ More In this paper we study the geometry and the topology of unbounded domains in the Hyperbolic Space $\mathbb{H} ^n$ supporting a bounded positive solution to an overdetermined elliptic problem. Under suitable conditions on the elliptic problem and the behaviour of the bounded solution at infinity, we are able to show that symmetries of the boundary at infinity imply symmetries on the domain itself. In dimension two, we can strengthen our results proving that a connected domain $Ω\subset \mathbb{H} ^2$ with $C^2$ boundary whose complement is connected and supports a bounded positive solution $u$ to an overdetermined problem, assuming natural conditions on the equation and the behaviour at infinity of the solution, must be either a geodesic ball or, a horodisk or, a half-space determined by a complete equidistant curve or, the complement of any of the above example. Moreover, in each case, the solution $u$ is invariant by the isometries fixing $Ω$. △ Less

Submitted 9 November, 2015; originally announced November 2015.

Comments: Any comment is welcome!

Uniqueness Theorems for fully nonlinear conformal equations on subdomains of the sphere

Authors: Marcos P. Cavalcante, José M. Espinar

Abstract: In this paper we prove classification results to elliptic fully nonlinear conformal equations on certain subdomains of the sphere with prescribed constant mean curvature on its boundary. Such subdomains are the hemisphere (or a geodesic ball on $\mathbb{S}^n$) of dimension $n\geq 2$ with prescribed constant mean curvature on its boundary, and annular domains with minimal boundary. Our results exte… ▽ More In this paper we prove classification results to elliptic fully nonlinear conformal equations on certain subdomains of the sphere with prescribed constant mean curvature on its boundary. Such subdomains are the hemisphere (or a geodesic ball on $\mathbb{S}^n$) of dimension $n\geq 2$ with prescribed constant mean curvature on its boundary, and annular domains with minimal boundary. Our results extend the classifications of Escobar in \cite{E0} when $n\geq 3$, and Hang-Wang in \cite{HaWa} and Jimenez in \cite{J} when $n=2$. △ Less

Submitted 4 May, 2015; originally announced May 2015.

MSC Class: Primary 53Cxx; 58Jxx; Secondary 35Pxx

Extremal Domains on Hadamard manifolds

Authors: José M. Espinar, Jing Mao

Abstract: We investigate the geometry and topology of extremal domains in a manifold with negative sectional curvature. An extremal domain is a domain that supports a positive solution to an overdetermined elliptic problem (OEP for short). We consider two types of OEPs. First, we study narrow properties of such domains in a Hadamard manifold and characterize the boundary at infinity. We give an upper boun… ▽ More We investigate the geometry and topology of extremal domains in a manifold with negative sectional curvature. An extremal domain is a domain that supports a positive solution to an overdetermined elliptic problem (OEP for short). We consider two types of OEPs. First, we study narrow properties of such domains in a Hadamard manifold and characterize the boundary at infinity. We give an upper bound for the Hausdorff dimension of its boundary at infinity and how the domain behaves at infinity. This shows interesting relations with the Singular Yamabe Problem. Later, we focus on extremal domains in the Hyperbolic Space $\mathbb H ^n$. Symmetry and boundedness properties will be shown. In certain sense, we extend Levitt-Rosenberg's Theorem \cite{LR} to OEPs, which suggests a strong relation with constant mean curvature hypersurfaces in $\mathbb H ^n$. In particular, we are able to prove the Berestycki-Caffarelli-Nirenberg Conjecture under certain assumptions either on the boundary at infinity of the extremal domain or on the OEP itself. Also a height estimate for solutions on extremal domains in a Hyperbolic Space will be given. △ Less

Submitted 28 April, 2015; originally announced April 2015.

Comments: Any comment is welcome. arXiv admin note: text overlap with arXiv:1202.5167 by other authors

MSC Class: 35Nxx; 35Nxx; 53Cxx

Halfspace type Theorems for Self-Shrinkers

Authors: Marcos P. Cavalcante, Jose M. Espinar

Abstract: In this short paper we extend the classical Hoffman-Meeks Halfspace Theorem to self-shrinkers, that is: "Let $P $ be a hyperplane passing through the origin. The only properly immersed self-shrinker $Σ$ contained in one of the closed half-space determined by $P$ is $Σ= P$." Our proof is geometric and uses a catenoid type hypersurface discovered by Kleene-Moller. Also, using a similar geometric i… ▽ More In this short paper we extend the classical Hoffman-Meeks Halfspace Theorem to self-shrinkers, that is: "Let $P $ be a hyperplane passing through the origin. The only properly immersed self-shrinker $Σ$ contained in one of the closed half-space determined by $P$ is $Σ= P$." Our proof is geometric and uses a catenoid type hypersurface discovered by Kleene-Moller. Also, using a similar geometric idea, we obtain that the only complete self-shrinker properly immersed in an closed cylinder $ \overline{B ^{k+1} (R)} \times \mathbb{R}^{n-k}\subset \mathbb R^{n+1}$, for some $k\in \{1, \ldots ,n\}$ and radius $R$, $R \leq \sqrt{2k}$, is the cylinder $\mathbb S ^k (\sqrt{2k}) \times \mathbb{R}^{n-k}$. We also extend the above results for $λ-$hypersurfaces. △ Less

Submitted 11 December, 2014; originally announced December 2014.

Journal ref: Bull. London Math. Soc. (2016) 48 (2): 242-250

Gradient Schrödinger Operators, Manifolds with Density and applications

Authors: Jose M. Espinar

Abstract: The aim of this paper is twofold. On the one hand, the study of gradient Schrödinger operators on manifolds with density $φ$. We classify the space of solutions when the underlying manifold is $φ-$parabolic. As an application, we extend the Naber-Yau Liouville Theorem, and we will prove that a complete manifold with density is $φ-$parabolic if, and only if, it has finite $φ-$capacity. Moreover, we… ▽ More The aim of this paper is twofold. On the one hand, the study of gradient Schrödinger operators on manifolds with density $φ$. We classify the space of solutions when the underlying manifold is $φ-$parabolic. As an application, we extend the Naber-Yau Liouville Theorem, and we will prove that a complete manifold with density is $φ-$parabolic if, and only if, it has finite $φ-$capacity. Moreover, we show that the linear space given by the kernel of a nonnegative gradient Schrödinger operators is one dimensional provided there exists a bounded function on it and the underlying manifold is $φ-$parabolic. On the other hand, the topological and geometric classification of complete weighted $H_φ-$stable hypersurfaces immersed in a manifold with density $(\amb , g, φ)$ satisfying a lower bound on its Bakry-Émery-Ricci tensor. Also, we classify weighted stable surfaces in a three-manifold with density whose Perelman scalar curvature, in short, P-scalar curvature, satisfies $\scad + \frac{\abs{\nabla φ}^2 }{4} \geq 0$. Here, the P-scalar curvature is defined as $\scad = R - 2 Δ_g φ- \abs{\nabla _g φ}^2$, being $R$ the scalar curvature of $(\amb ,g)$. Finally, we discuss the relationship of manifolds with density, Mean Curvature Flow (MCF), Ricci Flow and Optimal Transportation Theory. In particular, we obtain classification results for stable self-similiar solutions to the MCF, and also for stable translating solitons to the MCF, as far as we know, this is the first classification result on stable translating solitons. △ Less

Submitted 25 March, 2015; v1 submitted 27 September, 2012; originally announced September 2012.

Comments: Major changes with respect to previous version "Manifolds with Density, applications and Gradient Schrödinger Operators". We have improve the presentation and some of the results of the previous version. Any comment is welcome!

On the structure of complete 3-manifolds with nonnegative scalar curvature

Authors: Jose M. Espinar

Abstract: In this paper we will show the following result: Let $\mathcal{N} $ be a complete (noncompact) connected orientable Riemannian three-manifold with nonnegative scalar curvature $S \geq 0$ and bounded sectional curvature $ K_{s} \leq K $. Suposse that $Σ\subset \mathcal{N} $ is a complete orientable connected area-minimizing cylinder so that $π_1 (Σ) \in π_1 (\mathcal{N})$. Then $\mathcal{N}$ is loc… ▽ More In this paper we will show the following result: Let $\mathcal{N} $ be a complete (noncompact) connected orientable Riemannian three-manifold with nonnegative scalar curvature $S \geq 0$ and bounded sectional curvature $ K_{s} \leq K $. Suposse that $Σ\subset \mathcal{N} $ is a complete orientable connected area-minimizing cylinder so that $π_1 (Σ) \in π_1 (\mathcal{N})$. Then $\mathcal{N}$ is locally isometric either to $\mathbb{S} ^1 \times \mathbb{R} ^2 $ or $\mathbb{S}^1 \times \mathbb{S}^1 \times \mathbb{R}$ (with the standard product metric). As a corollary, we will obtain: Let $\mathcal{N} $ be a complete (noncompact) connected orientable Riemannian three-manifold with nonnegative scalar curvature $S \geq 0$ and bounded sectional curvature $ K_{s} \leq K $. Assume that $π_1 (\mathcal{N})$ contains a subgroup which is isomorphic to the fundamental group of a compact surface of positive genus. Then, $\mathcal{N}$ is locally isometric to $\mathbb{S}^1 \times \mathbb{S}^1 \times \mathbb{R}$ (with the standard product metric). △ Less

Submitted 26 March, 2017; v1 submitted 5 December, 2011; originally announced December 2011.

Comments: We found a gap in the main Theorem we can not solve

Compactness Theorems and Degree Theory for MOTS

Authors: José M. Espinar

Abstract: We prove in this paper that, under suitable coinditions on an initial data set, we can obtain Area and Curvature Estimates for simple marginally outer trapped surfaces (or MOTS). Using this estimates, we derive a Compactness Theorem for MOTS. Moreover, the Compactness Theorem will allow us to adapt the recent Degree Theory of H. Rosenberg and G. Smith for proving existence results for embedded MOT… ▽ More We prove in this paper that, under suitable coinditions on an initial data set, we can obtain Area and Curvature Estimates for simple marginally outer trapped surfaces (or MOTS). Using this estimates, we derive a Compactness Theorem for MOTS. Moreover, the Compactness Theorem will allow us to adapt the recent Degree Theory of H. Rosenberg and G. Smith for proving existence results for embedded MOTS in suitable compact initial data sets △ Less

Submitted 29 August, 2011; v1 submitted 29 May, 2011; originally announced May 2011.

Comments: The paper have been withdrawn since the cornerstone area estimate (Theorem 2.1 Ho, Pak Tung, "A first eigenvalue estimate for embedded hypersurfaces". Differential Geom. Appl. 26 (2008), no. 3, 273-276.) does not look right. Therefore, the author has decided to withdraw the paper

The space of Constant Mean Curvature surfaces in compact Riemannian Manifolds

Authors: Jose M. Espinar

Abstract: The main point of this paper is that, under suitable conditions on the mean curvature and the Ricci curvature of the ambient space, we can extend Choi-Schoen's Compactness Theorem to compact embedded minimal surfaces to simple immersed compact H-surfaces in a Riemannian manifold with positive Ricci curvature (the mean curvature small depending on the Ricci curvature). Also, we prove that the space… ▽ More The main point of this paper is that, under suitable conditions on the mean curvature and the Ricci curvature of the ambient space, we can extend Choi-Schoen's Compactness Theorem to compact embedded minimal surfaces to simple immersed compact H-surfaces in a Riemannian manifold with positive Ricci curvature (the mean curvature small depending on the Ricci curvature). Also, we prove that the space of convex embedded (fixed) constant mean curvature hypersurfaces in a simply connected 1/4-pinched manifold is compact. △ Less

Submitted 29 August, 2011; v1 submitted 16 May, 2011; originally announced May 2011.

Comments: The paper have been withdrawn since the cornerstone area estimate (Theorem 2.1 Ho, Pak Tung, "A first eigenvalue estimate for embedded hypersurfaces". Differential Geom. Appl. 26 (2008), no. 3, 273-276.) does not look right. Therefore, the author has decided to withdraw the paper

MSC Class: 53A10; 53C21; 47H11

Rigidity of stable cylinders in three-manifolds

Authors: Jose M. Espinar

Abstract: In this paper we show how the existence of a certain stable cylinder determines (locally) the ambient manifold where it is immersed. This cylinder has to verify a {\it bifurcation phenomena}, we make this explicit in the introduction. In particular, the existence of such a stable cylinder implies that the ambient manifold has infinite volume. In this paper we show how the existence of a certain stable cylinder determines (locally) the ambient manifold where it is immersed. This cylinder has to verify a {\it bifurcation phenomena}, we make this explicit in the introduction. In particular, the existence of such a stable cylinder implies that the ambient manifold has infinite volume. △ Less

Submitted 16 April, 2011; originally announced April 2011.

When strictly locally convex hypersurfaces are embedded

Authors: Jose M. Espinar, Harold Rosenberg

Abstract: In this paper we will prove Hadamard-Stoker type theorems in the following ambient spaces: $\man ^n \times \r$, where $\man ^n $ is a $1/4-$pinched manifold, and certain Killing submersions, e.g., Berger spheres and Heisenberg spaces. That is, under the condition that the principal curvatures of an immersed hypersurfaces are greater than some non-negative constant (depending on the ambient space… ▽ More In this paper we will prove Hadamard-Stoker type theorems in the following ambient spaces: $\man ^n \times \r$, where $\man ^n $ is a $1/4-$pinched manifold, and certain Killing submersions, e.g., Berger spheres and Heisenberg spaces. That is, under the condition that the principal curvatures of an immersed hypersurfaces are greater than some non-negative constant (depending on the ambient space), we prove that such a hypersurface is embedded and we also study its topology. △ Less

Submitted 27 February, 2010; originally announced March 2010.

Locally convex surfaces immersed in a Killing submersion

Authors: Jose M. Espinar, Ines S. de Oliveira

Abstract: We generalize Hadamard-Stoker-Currier Theorems for surfaces immersed in a Killing submersion over a strictly Hadamard surface whose fibers are the trajectories of a unit Killing field. We prove that every complete surface whose principal curvatures are greater than a certain function (depending on the ambient manifold) at each point, must be properly embedded, homeomorphic to the sphere or to th… ▽ More We generalize Hadamard-Stoker-Currier Theorems for surfaces immersed in a Killing submersion over a strictly Hadamard surface whose fibers are the trajectories of a unit Killing field. We prove that every complete surface whose principal curvatures are greater than a certain function (depending on the ambient manifold) at each point, must be properly embedded, homeomorphic to the sphere or to the plane and, in the latter case, we study the behavior of the end. △ Less

Submitted 5 February, 2010; originally announced February 2010.

Finite index operators on surfaces

Authors: Jose M. Espinar

Abstract: We consider differential operators $L$ acting on functions on a Riemannian surface, $Σ$, of the form $$L = Δ+ V -a K ,$$where $Δ$ is the Laplacian of $Σ$, $K$ is the Gaussian curvature, $a$ is a positive constant and $V \in C^{\infty}(Σ)$. Such operators $L$ arise as the stability operator of $Σ$ immersed in a Riemannian three-manifold with constant mean curvature (for particular choices of $V$ an… ▽ More We consider differential operators $L$ acting on functions on a Riemannian surface, $Σ$, of the form $$L = Δ+ V -a K ,$$where $Δ$ is the Laplacian of $Σ$, $K$ is the Gaussian curvature, $a$ is a positive constant and $V \in C^{\infty}(Σ)$. Such operators $L$ arise as the stability operator of $Σ$ immersed in a Riemannian three-manifold with constant mean curvature (for particular choices of $V$ and $a$). We assume $L$ is nonpositive acting on functions compactly supported on $Σ$. If the potential, $V:= c + P $ with $c$ a nonnegative constant, verifies either an integrability condition, i.e. $P \in L^1(Σ)$ and $P$ is non positive, or a decay condition with respect to a point $p_0 \in Σ$, i.e. $|P(q)|\leq M/d(p_0,q)$ (where $d$ is the distance function in $Σ$), we control the topology and conformal type of $Σ$. Moreover, we establish a {\it Distance Lemma}. We apply such results to complete oriented stable $H-$surfaces immersed in a Killing submersion. △ Less

Submitted 16 May, 2011; v1 submitted 19 November, 2009; originally announced November 2009.

Comments: Section 4 has changed completely

Hypersurfaces in Hyperbolic Poincaré Manifolds and Conformally Invariant PDEs

Authors: Vincent Bonini, José M. Espinar, Jie Qing

Abstract: We derive a relationship between the eigenvalues of the Weyl-Schouten tensor of a conformal representative of the conformal infinity of a hyperbolic Poincaré manifold and the principal curvatures on the level sets of its uniquely associated defining function with calculations based on [9] [10]. This relationship generalizes the result for hypersurfaces in ${\H}^{n+1}$ and their connection to the… ▽ More We derive a relationship between the eigenvalues of the Weyl-Schouten tensor of a conformal representative of the conformal infinity of a hyperbolic Poincaré manifold and the principal curvatures on the level sets of its uniquely associated defining function with calculations based on [9] [10]. This relationship generalizes the result for hypersurfaces in ${\H}^{n+1}$ and their connection to the conformal geometry of ${\SS}^n$ as exhibited in [7] and gives a correspondence between Weingarten hypersurfaces in hyperbolic Poincaré manifolds and conformally invariant equations on the conformal infinity. In particular, we generalize an equivalence exhibited in [7] between Christoffel-type problems for hypersurfaces in ${\H}^{n+1}$ and scalar curvature problems on the conformal infinity ${\SS}^n$ to hyperbolic Poincaré manifolds. △ Less

Submitted 16 October, 2009; v1 submitted 14 October, 2009; originally announced October 2009.

Comments: 16 pages

MSC Class: 53C30; 53C40; 58J05

Totally umbilical disks and applications to surfaces in three-dimensional homogeneous spaces

Authors: Jose M. Espinar, Isabel Fernandez

Abstract: Following ideas of Choe and Fernandez-do Carmo, we give sufficient conditions for a disk type surface, with piecewise smooth boundary, to be totally umbilical for a given Coddazi pair. As a consequence, we obtain rigidity results for surfaces in space forms and in homogeneous product spaces that generalizes some known results. Following ideas of Choe and Fernandez-do Carmo, we give sufficient conditions for a disk type surface, with piecewise smooth boundary, to be totally umbilical for a given Coddazi pair. As a consequence, we obtain rigidity results for surfaces in space forms and in homogeneous product spaces that generalizes some known results. △ Less

Submitted 23 September, 2009; v1 submitted 31 July, 2009; originally announced July 2009.

MSC Class: 53C42; 53C40

Fatou's Theorem and minimal graphs

Authors: Jose M. Espinar, Harold Rosenberg

Abstract: In this paper we extend a recent result of Collin-Rosenberg ({\it a solution to the minimal surface equation in the Euclidean disc has radial limits almost everywhere}) to a large class of differential operators in Divergence form. Moreover, we construct an example (in the spirit of \cite{CR2}) of a minimal graph in $\mr$, where $\m$ is a Hadamard surface, over a geodesic disc which has finite r… ▽ More In this paper we extend a recent result of Collin-Rosenberg ({\it a solution to the minimal surface equation in the Euclidean disc has radial limits almost everywhere}) to a large class of differential operators in Divergence form. Moreover, we construct an example (in the spirit of \cite{CR2}) of a minimal graph in $\mr$, where $\m$ is a Hadamard surface, over a geodesic disc which has finite radial limits in a mesure zero set. △ Less

Submitted 19 April, 2009; v1 submitted 15 March, 2009; originally announced March 2009.

Comments: 13 figures

Complete Constant Mean Curvature surfaces in homogeneous spaces

Authors: Jose M. Espinar, Harold Rosenberg

Abstract: In this paper we classify complete surfaces of constant mean curvature whose Gaussian curvature does not change sign in a simply connected homogeneous manifold with a 4-dimensional isometry group. In this paper we classify complete surfaces of constant mean curvature whose Gaussian curvature does not change sign in a simply connected homogeneous manifold with a 4-dimensional isometry group. △ Less

Submitted 16 May, 2011; v1 submitted 13 March, 2009; originally announced March 2009.

Comments: We have corrected a mistake in Theorem 2.2

The extrinsic curvature of entire minimal graphs in $\H^2\times\R$

Authors: J. M. Espinar, M. Magdalena Rodríguez, H. Rosenberg

Abstract: We obtain an optimal estimate for the extrinsic curvature of an entire minimal graph in $\H^2\times\R$, $\H^2$ the hyperbolic plane. We obtain an optimal estimate for the extrinsic curvature of an entire minimal graph in $\H^2\times\R$, $\H^2$ the hyperbolic plane. △ Less

Submitted 30 June, 2011; v1 submitted 7 March, 2009; originally announced March 2009.

Comments: 5 figures

The Codazzi Equation for Surfaces

Authors: Juan A. Aledo, José M. Espinar, José A. Gálvez

Abstract: In this paper we develop an abstract theory for the Codazzi equation on surfaces, and use it as an analytic tool to derive new global results for surfaces in the space forms ${\bb R}^3$, ${\bb S}^3$ and ${\bb H}^3$. We give essentially sharp generalizations of some classical theorems of surface theory that mainly depend on the Codazzi equation, and we apply them to the study of Weingarten surfac… ▽ More In this paper we develop an abstract theory for the Codazzi equation on surfaces, and use it as an analytic tool to derive new global results for surfaces in the space forms ${\bb R}^3$, ${\bb S}^3$ and ${\bb H}^3$. We give essentially sharp generalizations of some classical theorems of surface theory that mainly depend on the Codazzi equation, and we apply them to the study of Weingarten surfaces in space forms. In particular, we study existence of holomorphic quadratic differentials, uniqueness of immersed spheres in geometric problems, height estimates, and the geometry and uniqueness of complete or properly embedded Weingarten surfaces. △ Less

Submitted 13 February, 2009; originally announced February 2009.

MSC Class: 53C45

Complete Constant Mean Curvature surfaces and Bernstein type Theorems in $\mathbb{M}^2\times \mathbb{R}$

Authors: Jose M. Espinar, Harold Rosenberg

Abstract: In this paper we study constant mean curvature surfaces $Σ$ in a product space, $\mathbb{M}^2\times \mathbb{R}$, where $\mathbb{M}^2$ is a complete Riemannian manifold. We assume the angle function $ν= \meta{N}{\partial_t}$ does not change sign on $Σ$. We classify these surfaces according to the infimum $c(Σ)$ of the Gaussian curvature of the projection of $Σ$. When $H \neq 0$ and… ▽ More In this paper we study constant mean curvature surfaces $Σ$ in a product space, $\mathbb{M}^2\times \mathbb{R}$, where $\mathbb{M}^2$ is a complete Riemannian manifold. We assume the angle function $ν= \meta{N}{\partial_t}$ does not change sign on $Σ$. We classify these surfaces according to the infimum $c(Σ)$ of the Gaussian curvature of the projection of $Σ$. When $H \neq 0$ and $c(Σ)\geq 0$, then $Σ$ is a cylinder over a complete curve with curvature 2H. If H=0 and $c(Σ) \geq 0$, then $Σ$ must be a vertical plane or $Σ$ is a slice $\mathbb{M}^2 \times {t}$, or $\mathbb{M}^2 \equiv \mathbb{R}^2$ with the flat metric and $Σ$ is a tilted plane (after possibly passing to a covering space). When $c(Σ)<0$ and $H>\sqrt{-c(Σ)} /2$, then $Σ$ is a vertical cylinder over a complete curve of $\mathbb{M}^2$ of constant geodesic curvature $2H$. This result is optimal. We also prove a non-existence result concerning complete multi-graphs in $\mathbb{M}^2\times \mathbb{R}$, when $c(\mathbb{M}^2)<0$. △ Less

Submitted 25 August, 2008; originally announced August 2008.

A Colding-Minicozzi Stability inequality and its applications

Authors: Jose M. Espinar, Harold Rosenberg

Abstract: We consider operators $L$ acting on functions on a Riemannian surface, $Σ$, of the form $L = Δ+ V +a K.$ Here $Δ$ is the Laplacian of $Σ$, $V$ a non-negative potential on $Σ$, K the Gaussian curvature and $a$ is a non-negative constant. Such operators $L$ arise as the stability operator of $Σ$ immersed in a Riemannian 3-manifold with constant mean curvature (for particular choices of $V$ and… ▽ More We consider operators $L$ acting on functions on a Riemannian surface, $Σ$, of the form $L = Δ+ V +a K.$ Here $Δ$ is the Laplacian of $Σ$, $V$ a non-negative potential on $Σ$, K the Gaussian curvature and $a$ is a non-negative constant. Such operators $L$ arise as the stability operator of $Σ$ immersed in a Riemannian 3-manifold with constant mean curvature (for particular choices of $V$ and $a$). We assume L is nonpositive acting on functions compactly supported on $Σ$ and we obtain results in the spirit of some theorems of Ficher-Colbrie-Schoen, Colding-Minicozzi, and Castillon. We extend these theorems to $a \leq 1/4$. We obtain results on the conformal type of $Σ$ and a distance (to the boundary) lemma. △ Less

Submitted 13 November, 2009; v1 submitted 21 August, 2008; originally announced August 2008.

Invariant conformal metrics on S^n

Authors: Jose M. Espinar

Abstract: In this paper we use the relationship between conformal metrics on the sphere and horospherically convex hypersurfaces in the hyperbolic space for giving sufficient conditions on a conformal metric to be radial under some constrain on the eigenvalues of its Schouten tensor. Also, we study conformal metrics on the sphere which are invariant by a $k-$parameter subgroup of conformal diffeomorphisms… ▽ More In this paper we use the relationship between conformal metrics on the sphere and horospherically convex hypersurfaces in the hyperbolic space for giving sufficient conditions on a conformal metric to be radial under some constrain on the eigenvalues of its Schouten tensor. Also, we study conformal metrics on the sphere which are invariant by a $k-$parameter subgroup of conformal diffeomorphisms of the sphere, giving a bound on its maximum dimension. Moreover, we classify conformal metrics on the sphere whose eigenvalues of the Shouten tensor are all constant (we call them \emph{isoparametric conformal metrics}), and we use a classification result for radial conformal metrics which are solution of some $σ_k -$Yamabe type problem for obtaining existence of rotational spheres and Delaunay-type hypersurfaces for some classes of Weingarten hypersurfaces in $\h ^{n+1}$. △ Less

Submitted 17 November, 2008; v1 submitted 19 August, 2008; originally announced August 2008.

Comments: We have included the classification of conformal metrics on the sphere whose eigenvalues of the Shouten tensor are all constant (we call them \emph{isoparametric conformal metrics})

Hypersurfaces in H^{n+1} and conformally invariant equations: the generalized Christoffel and Nirenberg problems

Authors: J. M. Espinar, J. A. Galvez, P. Mira

Abstract: Our first objective in this paper is to give a natural formulation of the Christoffel problem for hypersurfaces in $H^{n+1}$, by means of the hyperbolic Gauss map and the notion of hyperbolic curvature radii for hypersurfaces. Our second objective is to provide an explicit equivalence of this Christoffel problem with the famous problem of prescribing scalar curvature on $§^n$ for conformal metri… ▽ More Our first objective in this paper is to give a natural formulation of the Christoffel problem for hypersurfaces in $H^{n+1}$, by means of the hyperbolic Gauss map and the notion of hyperbolic curvature radii for hypersurfaces. Our second objective is to provide an explicit equivalence of this Christoffel problem with the famous problem of prescribing scalar curvature on $§^n$ for conformal metrics, posed by Nirenberg and Kazdan-Warner. This construction lets us translate into the hyperbolic setting the known results for the scalar curvature problem, and also provides a hypersurface theory interpretation of such an intrinsic problem from conformal geometry. Our third objective is to place the above result into a more general framework. Specifically, we will show how the problem of prescribing the hyperbolic Gauss map and a given function of the hyperbolic curvature radii in $H^{n+1}$ is strongly related to some important problems on conformally invariant PDEs in terms of the Schouten tensor. This provides a bridge between the theory of conformal metrics on $§^n$ and the theory of hypersurfaces with prescribed hyperbolic Gauss map in $\H^{n+1}$. The fourth objective is to use the above correspondence to prove that for a wide family of Weingarten functionals $W(\k_1,..., \k_n)$, the only compact immersed hypersurfaces in $H^{n+1}$ on which $W$ is constant are round spheres. △ Less

Submitted 15 June, 2007; originally announced June 2007.

Comments: 37 pages

Complete surfaces with positive extrinsic curvature in product spaces

Authors: Jose M. Espinar, Jose A. Galvez, Harold Rosenberg

Abstract: We prove that every complete connected immersed surface with positive extrinsic curvature $K$ in $H^2\times R$ must be properly embedded, homeomorphic to a sphere or a plane and, in the latter case, study the behavior of the end. Then, we focus our attention on surfaces with positive constant extrinsic curvature ($K-$surfaces). We establish that the only complete $K-$surfaces in $S^2\times R$ an… ▽ More We prove that every complete connected immersed surface with positive extrinsic curvature $K$ in $H^2\times R$ must be properly embedded, homeomorphic to a sphere or a plane and, in the latter case, study the behavior of the end. Then, we focus our attention on surfaces with positive constant extrinsic curvature ($K-$surfaces). We establish that the only complete $K-$surfaces in $S^2\times R$ and $H^2\times R$ are rotational spheres. Here are the key steps to achieve this. First height estimates for compact $K-$surfaces in a general ambient space $M^2\times R$ with boundary in a slice are obtained. Then distance estimates for compact $K-$surfaces (and H-$surfaces) in $H^2\times R$ with boundary on a vertical plane are obtained. Finally we construct a quadratic form with isolated zeroes of negative index. △ Less

Submitted 9 May, 2007; v1 submitted 4 May, 2007; originally announced May 2007.

Comments: 28 pages

Complete surfaces of constant curvature in H2xR and S2xR

Authors: Juan A. Aledo, Jose M. Espinar, Jose A. Galvez

Abstract: We study isometric immersions of surfaces of constant curvature into the homogeneous spaces H2xR and S2xR. In particular, we prove that there exists a unique isometric immersion from the standard 2-sphere of constant curvature c>0 into H2xR and a unique one into S2xR when c>1, up to isometries of the ambient space. Moreover, we show that the hyperbolic plane of constant curvature c<-1 cannot be… ▽ More We study isometric immersions of surfaces of constant curvature into the homogeneous spaces H2xR and S2xR. In particular, we prove that there exists a unique isometric immersion from the standard 2-sphere of constant curvature c>0 into H2xR and a unique one into S2xR when c>1, up to isometries of the ambient space. Moreover, we show that the hyperbolic plane of constant curvature c<-1 cannot be isometrically immersed into H2xR or S2xR. △ Less

Submitted 15 October, 2005; originally announced October 2005.

Comments: 17 pages

MSC Class: 53C42; 53C40