Showing 1–12 of 12 results for author: Grosjean, J

Reilly inequality for Varifolds

Authors: Jean-François Grosjean, Antoine Lemenant, Rémy Mougenot

Abstract: The famous Reilly inequality gives an upper bound for the first eigenvalue of the Laplacian defined on compact submanifolds of the Euclidean space in terms of the $L^2$-norm of the mean curvature vector. In this paper, we generalize this inequality in a Varifold context. In particular we generalize it for the class of $H(2)$ varifolds and for polygons and we analyse the equality case. The famous Reilly inequality gives an upper bound for the first eigenvalue of the Laplacian defined on compact submanifolds of the Euclidean space in terms of the $L^2$-norm of the mean curvature vector. In this paper, we generalize this inequality in a Varifold context. In particular we generalize it for the class of $H(2)$ varifolds and for polygons and we analyse the equality case. △ Less

Submitted 11 July, 2025; originally announced July 2025.

Stable domains for higher order elliptic operators

Authors: Jean-François Grosjean, Antoine Lemenant, Rémy Mougenot

Abstract: This paper is devoted to prove that any domain satisfying a $(δ_0,r_0)-$capacity condition of first order is automatically $(m,p)-$stable for all $m\geqslant 1$ and $p\geqslant 1$, and for any dimension $N\geqslant 1$. In particular, this includes regular enough domains such as $\mathscr{C}^1-$domains, Lipchitz domains, Reifenberg flat domains, but is weak enough to also includes cusp points. Our… ▽ More This paper is devoted to prove that any domain satisfying a $(δ_0,r_0)-$capacity condition of first order is automatically $(m,p)-$stable for all $m\geqslant 1$ and $p\geqslant 1$, and for any dimension $N\geqslant 1$. In particular, this includes regular enough domains such as $\mathscr{C}^1-$domains, Lipchitz domains, Reifenberg flat domains, but is weak enough to also includes cusp points. Our result extends some of the results of Hayouni and Pierre valid only for $N=2,3$, and extends also the results of Bucur and Zolesio for higher order operators, with a different and simpler proof. △ Less

Submitted 14 July, 2023; originally announced July 2023.

On the boundary of almost isoperimetric domains

Authors: Erwann Aubry, Jean-François Grosjean

Abstract: We prove that finite perimeter subsets of $\mathbb{R}^{n+1}$ with small isoperimetric deficit have boundary Hausdorff-close to a sphere up to a subset of small measure. We also refine this closeness under some additional a priori integral curvature bounds. As an application, we answer a question raised by B. Colbois concerning the almost extremal hypersurfaces for Chavel's inequality. We prove that finite perimeter subsets of $\mathbb{R}^{n+1}$ with small isoperimetric deficit have boundary Hausdorff-close to a sphere up to a subset of small measure. We also refine this closeness under some additional a priori integral curvature bounds. As an application, we answer a question raised by B. Colbois concerning the almost extremal hypersurfaces for Chavel's inequality. △ Less

Submitted 7 March, 2017; originally announced March 2017.

Spectrum of hypersurfaces with small extrinsic radius or large $λ_1$ in euclidean spaces

Authors: Erwann Aubry, Jean-Francois Grosjean

Abstract: In this paper, we prove that Euclidean hypersurfaces with almost extremal extrinsic radius or $λ_1$ have a spectrum that asymptotically contains the spectrum of the extremal sphere in the Reilly or Hasanis-Koutroufiotis Inequalities. We also consider almost extremal hypersurfaces which satisfy a supplementary bound on $v_M\|\B\|_α^n$ and show that their spectral and topological properties depends… ▽ More In this paper, we prove that Euclidean hypersurfaces with almost extremal extrinsic radius or $λ_1$ have a spectrum that asymptotically contains the spectrum of the extremal sphere in the Reilly or Hasanis-Koutroufiotis Inequalities. We also consider almost extremal hypersurfaces which satisfy a supplementary bound on $v_M\|\B\|_α^n$ and show that their spectral and topological properties depends on the position of $α$ with respect to the critical value $\dim M$. The study of the metric shape of these extremal hypersurfaces will be done in \cite{AG1}, using estimates of the present paper. △ Less

Submitted 21 October, 2012; originally announced October 2012.

Metric shape of hypersurfaces with small extrinsic radius or large $ λ_1$

Authors: Erwann Aubry, Jean-Francois Grosjean

Abstract: We determine the Hausdorff limit-set of the Euclidean hypersurfaces with large $λ_1$ or small extrinsic radius. The result depends on the $L^p$ norm of the curvature that is assumed to be bounded a priori, with a critical behaviour for $p$ equal to the dimension minus 1. We determine the Hausdorff limit-set of the Euclidean hypersurfaces with large $λ_1$ or small extrinsic radius. The result depends on the $L^p$ norm of the curvature that is assumed to be bounded a priori, with a critical behaviour for $p$ equal to the dimension minus 1. △ Less

Submitted 21 October, 2012; originally announced October 2012.

Almost harmonic spinors

Authors: Nicolas Ginoux, Jean-François Grosjean

Abstract: We show that any closed spin manifold not diffeomorphic to the two-sphere admits a sequence of volume-one-Riemannian metrics for which the smallest non-zero Dirac eigenvalue tends to zero. As an application, we compare the Dirac spectrum with the conformal volume. We show that any closed spin manifold not diffeomorphic to the two-sphere admits a sequence of volume-one-Riemannian metrics for which the smallest non-zero Dirac eigenvalue tends to zero. As an application, we compare the Dirac spectrum with the conformal volume. △ Less

Submitted 3 November, 2010; originally announced November 2010.

Comments: minor modifications of the published version

Journal ref: C. R. Math. Acad. Sci. Paris 348 (2010), no. 13-14, 811-814

Hypersurfaces with small extrinsic radius or large $λ_1$ in Euclidean spaces

Authors: Erwann Aubry, Jean-Francois Grosjean, Julien Roth

Abstract: We prove that hypersurfaces of $\R^{n+1}$ which are almost extremal for the Reilly inequality on $λ_1$ and have $L^p$-bounded mean curvature ($p>n$) are Hausdorff close to a sphere, have almost constant mean curvature and have a spectrum which asymptotically contains the spectrum of the sphere. We prove the same result for the Hasanis-Koutroufiotis inequality on extrinsic radius. We also prove tha… ▽ More We prove that hypersurfaces of $\R^{n+1}$ which are almost extremal for the Reilly inequality on $λ_1$ and have $L^p$-bounded mean curvature ($p>n$) are Hausdorff close to a sphere, have almost constant mean curvature and have a spectrum which asymptotically contains the spectrum of the sphere. We prove the same result for the Hasanis-Koutroufiotis inequality on extrinsic radius. We also prove that when a supplementary $L^q$ bound on the second fundamental is assumed, the almost extremal manifolds are Lipschitz close to a sphere when $q>n$, but not necessarily diffeomorphic to a sphere when $q\leqslant n$. △ Less

Submitted 25 November, 2010; v1 submitted 10 September, 2010; originally announced September 2010.

Comments: 24 pages

Report number: Pr\'epublication IECN 2010/23

Eigenvalue pinching and application to the stability and the almost umbilicity of hypersurfaces

Authors: Jean-Francois Grosjean, Julien Roth

Abstract: In this paper we give pinching theorems for the first nonzero eigenvalue of the Laplacian on the compact hypersurfaces of ambient spaces with bounded sectional curvature. As application we deduce rigidity results for stable constant mean curvature hypersurfaces $M$ of these spaces $N$. Indeed, we prove that if $M$ is included in a ball of radius small enough then the Hausdorff-distance between… ▽ More In this paper we give pinching theorems for the first nonzero eigenvalue of the Laplacian on the compact hypersurfaces of ambient spaces with bounded sectional curvature. As application we deduce rigidity results for stable constant mean curvature hypersurfaces $M$ of these spaces $N$. Indeed, we prove that if $M$ is included in a ball of radius small enough then the Hausdorff-distance between $M$ and a geodesic sphere $S$ of $N$ is small. Moreover $M$ is diffeomorphic and quasi-isometric to $S$. As other application, we give rigidity results for almost umbilic hypersurfaces. △ Less

Submitted 14 February, 2011; v1 submitted 6 September, 2007; originally announced September 2007.

Journal ref: Mathematische Zeitschrift, Vol 271 no 1, pp 469-488 (2012)

A pinching theorem for the first eigenvalue of the laplacian on hypersurface of the euclidean space

Authors: Bruno Colbois, Jean-Francois Grosjean

Abstract: In this paper, we give pinching Theorems for the first nonzero eigenvalue $λ$ of the Laplacian on the compact hypersurfaces of the Euclidean space. Indeed, we prove that if the volume of $M$ is 1 then, for any $ε>0$, there exists a constant $C\_ε$ depending on the dimension $n$ of $M$ and the $L\_{\infty}$-norm of the mean curvature $H$, so that if the $L\_{2p}$-norm $\|H\|\_{2p}$ ($p\geq 2$) of… ▽ More In this paper, we give pinching Theorems for the first nonzero eigenvalue $λ$ of the Laplacian on the compact hypersurfaces of the Euclidean space. Indeed, we prove that if the volume of $M$ is 1 then, for any $ε>0$, there exists a constant $C\_ε$ depending on the dimension $n$ of $M$ and the $L\_{\infty}$-norm of the mean curvature $H$, so that if the $L\_{2p}$-norm $\|H\|\_{2p}$ ($p\geq 2$) of $H$ satisfies $n\|H\|\_{2p}-C\_ε<λ$, then the Hausdorff-distance between $M$ and a round sphere of radius $(n/λ)^{1/2}$ is smaller than $ε$. Furthermore, we prove that if $C$ is a small enough constant depending on $n$ and the $L\_{\infty}$-norm of the second fundamental form, then the pinching condition $n\|H\|\_{2p}-C<\la$ implies that $M$ is diffeomorphic to an $n$-dimensional sphere. △ Less

Submitted 18 September, 2006; originally announced September 2006.

MSC Class: 53A07; 53C21

The first eigenvalue of Dirac and Laplace operators on surfaces

Authors: Jean-Francois Grosjean, Emmanuel Humbert

Abstract: Let $(M,g,σ)$ be a compact Riemmannian surface equipped with a spin structure $σ$. For any metric $\tilde{g}$ on $M$, we denote by $μ\_1(\tilde{g})$ (resp. $λ\_1(\tilde{g})$) the first positive eigenvalue of the Laplacian (resp. the Dirac operator) with respect to the metric $\tilde{g}$. In this paper, we show that $$\inf \frac{λ\_1(\tilde{g})^2}{μ\_1(\tilde{g})} \leqslant {1/2}.$$ where the inf… ▽ More Let $(M,g,σ)$ be a compact Riemmannian surface equipped with a spin structure $σ$. For any metric $\tilde{g}$ on $M$, we denote by $μ\_1(\tilde{g})$ (resp. $λ\_1(\tilde{g})$) the first positive eigenvalue of the Laplacian (resp. the Dirac operator) with respect to the metric $\tilde{g}$. In this paper, we show that $$\inf \frac{λ\_1(\tilde{g})^2}{μ\_1(\tilde{g})} \leqslant {1/2}.$$ where the infimum is taken over the metrics $\tilde{g}$ conformal to $g$. This answer a question asked by Agricola, Ammann and Friedrich △ Less

Submitted 18 September, 2006; originally announced September 2006.

MSC Class: 34L15 53C27 58J05

On the cohomology algebra of some classes of geometrically formal manifolds

Authors: Jean-Francois Grosjean, Paul-Andi Nagy

Abstract: We investigate harmonic forms of geometrically formal metrics, which are defined as those having the exterior product of any two harmonic forms still harmonic. We prove that a formal Sasakian metric can exist only on a real cohomology sphere and that holomorphic forms of a formal Kähler metric are parallel w.r.t. the Levi-Civita connection. In the general Riemannian case a formal metric with max… ▽ More We investigate harmonic forms of geometrically formal metrics, which are defined as those having the exterior product of any two harmonic forms still harmonic. We prove that a formal Sasakian metric can exist only on a real cohomology sphere and that holomorphic forms of a formal Kähler metric are parallel w.r.t. the Levi-Civita connection. In the general Riemannian case a formal metric with maximal second Betti number is shown to be flat. Finally we prove that a six-dimensional manifold with $b_1 \neq 1, b_2 \geqslant 2$ and not having the cohomology algebra of $\mathbb{T}^3 \times S^3$ carries a symplectic structure as soon as it admits a formal metric. △ Less

Submitted 9 October, 2008; v1 submitted 4 June, 2006; originally announced June 2006.

Comments: Final version. Accepted in Proc.London Math.Soc

MSC Class: 53C12; 53C24; 53C55

Journal ref: Proc. Lond. Math. Soc. (3) 98 (2009), no. 3, 607--630

A spinorial analogue of Aubin's inequality

Authors: Bernd Ammann, Jean-Francois Grosjean, Emmanuel Humbert, Bertrand Morel

Abstract: Let $(M,g,\si)$ be a compact Riemannian spin manifold of dimension $\geq 2$. For any metric $\tilde g$ conformal to $g$, we denote by $\tildeλ$ the first positive eigenvalue of the Dirac operator on $(M,\tilde g,\si)$. We show that $$\inf_{\tilde{g} \in [g]} \tildeλ\Vol(M,\tilde g)^{1/n} \leq (n/2) \Vol(S^n)^{1/n}.$$ This inequality is a spinorial analogue of Aubin's inequality, an important ine… ▽ More Let $(M,g,\si)$ be a compact Riemannian spin manifold of dimension $\geq 2$. For any metric $\tilde g$ conformal to $g$, we denote by $\tildeλ$ the first positive eigenvalue of the Dirac operator on $(M,\tilde g,\si)$. We show that $$\inf_{\tilde{g} \in [g]} \tildeλ\Vol(M,\tilde g)^{1/n} \leq (n/2) \Vol(S^n)^{1/n}.$$ This inequality is a spinorial analogue of Aubin's inequality, an important inequality in the solution of the Yamabe problem. The inequality is already known in the case $n \geq 3$ and in the case $n = 2$, $\ker D=\{0\}$. Our proof also works in the remaining case $n=2$, $\ker D\neq \{0\}$. With the same method we also prove that any conformal class on a Riemann surface contains a metric with $2\tildeλ^2\leq \tildeμ$, where $\tildeμ$ denotes the first positive eigenvalue of the Laplace operator. △ Less

Submitted 26 June, 2007; v1 submitted 11 August, 2003; originally announced August 2003.

Comments: Title changed, introduction modified, main result has changed, applications added

MSC Class: 53 A 30; 53C27 (Primary) 58 J 50; 58C40 (Secondary)