-
Extremising eigenvalues of the GJMS operators in a fixed conformal class
Authors:
Emmanuel Humbert,
Romain Petrides,
Bruno Premoselli
Abstract:
Let $(M,g)$ be a closed Riemannian manifold of dimension $n\geq 3$. If $s$ is a positive integer satisfying $2s<n$, we let $P_g^s$ be the GJMS operator of order $2s$ in $M$. We investigate in this paper the extremal values taken by fixed eigenvalues of $P_h^s$ as $h$ runs through the whole conformal class $[g]$. These extremal values -- that we call throughout the paper \emph{conformal eigenvalues…
▽ More
Let $(M,g)$ be a closed Riemannian manifold of dimension $n\geq 3$. If $s$ is a positive integer satisfying $2s<n$, we let $P_g^s$ be the GJMS operator of order $2s$ in $M$. We investigate in this paper the extremal values taken by fixed eigenvalues of $P_h^s$ as $h$ runs through the whole conformal class $[g]$. These extremal values -- that we call throughout the paper \emph{conformal eigenvalues} -- are conformal invariants of $(M,g)$ and optimisers for these problems, when they exist, are known to not be smooth metrics in general. In this paper we develop a general framework that allows us to address the the existence theory for extremals of conformal eigenvalues. We define and investigate eigenvalues for singular conformal metrics, that we call \emph{generalised eigenvalues}. We develop a new variational framework for renormalised eigenvalues of any index over the set of admissible (singular) conformal factors: we obtain semi-continuity results and Euler-Lagrange equations for local extremals. Using this framework we prove, under mild assumptions on $(M,g)$ and $s$, several new (non)-existence results for extremals of renormalised eigenvalues over $[g]$. These include, among other results, a maximisation result for negative eigenvalues, the minimisation of the principal eigenvalue of $P_g^s$ and the analysis of the conformal eigenvalues of the round sphere $(\mathbb{S}^n, g_0)$. We also establish a strong connection between the existence of optimisers and (nodal) solutions of prescribed $Q$-curvature equations. Our analysis allows any order $s \ge 1$ and allows $P_g^s$ to have kernel. Previous results only covered the cases $s=1,2$ and $k=1,2$. Our work strongly generalises these results to any $s \ge 1$ and to eigenvalues of any order.
△ Less
Submitted 3 June, 2025; v1 submitted 13 May, 2025;
originally announced May 2025.
-
Compactness results for Sign-Changing Solutions of critical nonlinear elliptic equations of low energy
Authors:
Hussein Cheikh-Ali,
Bruno Premoselli
Abstract:
Let $Ω$ be a bounded, smooth connected open domain in $\mathbb{R}^n$ with $n\geq 3$. We investigate in this paper compactness properties for the set of sign-changing solutions $v \in H^1_0(Ω)$ of
\begin{equation} \tag{*} -Δv+h v =\left|v\right|^{2^*-2}v \hbox{ in } Ω, \quad v = 0 \hbox{ on } \partial Ω
\end{equation}
where $h\in C^1(\overlineΩ)$ and $2^*:=2n/(n-2)$. Our main result establish…
▽ More
Let $Ω$ be a bounded, smooth connected open domain in $\mathbb{R}^n$ with $n\geq 3$. We investigate in this paper compactness properties for the set of sign-changing solutions $v \in H^1_0(Ω)$ of
\begin{equation} \tag{*} -Δv+h v =\left|v\right|^{2^*-2}v \hbox{ in } Ω, \quad v = 0 \hbox{ on } \partial Ω
\end{equation}
where $h\in C^1(\overlineΩ)$ and $2^*:=2n/(n-2)$. Our main result establishes that the set of sign-changing solutions of $(*)$ at the lowest sign-changing energy level is unconditionally compact in $C^2(\overlineΩ)$ when $3 \le n \le 5$, and is compact in $C^2(\overlineΩ)$ when $n \ge 7$ provided $h$ never vanishes in $\overlineΩ$. In dimensions $n \ge 7$ our results apply when $h >0$ in $\overlineΩ$ and thus complement the compactness result of Devillanova-Solimini, Adv. Diff. Eqs. 7 (2002). Our proof is based on a new, global pointwise description of blowing-up sequences of solutions of $(*)$ that holds up to the boundary. We also prove more general compactness results under perturbations of $h$.
△ Less
Submitted 1 December, 2024;
originally announced December 2024.
-
Nonexistence of minimizers for the second conformal eigenvalue near the round sphere in low dimensions
Authors:
Bruno Premoselli,
Jérôme Vétois
Abstract:
We consider the problem of minimizing the second conformal eigenvalue of the conformal Laplacian in a conformal class of metrics with renormalized volume. We prove, in dimensions $n\in\left\{3,\dotsc,10\right\}$, that a minimizer for this problem does not exist for metrics sufficiently close to the round metric on the sphere. This is in striking contrast with the situation in dimensions…
▽ More
We consider the problem of minimizing the second conformal eigenvalue of the conformal Laplacian in a conformal class of metrics with renormalized volume. We prove, in dimensions $n\in\left\{3,\dotsc,10\right\}$, that a minimizer for this problem does not exist for metrics sufficiently close to the round metric on the sphere. This is in striking contrast with the situation in dimensions $n \ge 11$, where Ammann and Humbert obtained the existence of minimizers for the second conformal eigenvalue on any smooth closed non-locally conformally flat manifold. As a byproduct of our techniques, we also obtain a lower bound on the energy of sign-changing solutions of the \nobreak Yamabe equation in dimensions 3, 4 and 5, which extends a result obtained by Weth in the case of the round sphere.
△ Less
Submitted 14 August, 2024;
originally announced August 2024.
-
One-bubble nodal blow-up for asymptotically critical stationary Schrödinger-type equations
Authors:
Bruno Premoselli,
Frédéric Robert
Abstract:
We investigate in this work families $(u_ε)_{ε>0}$ of sign-changing blowing-up solutions of asymptotically critical stationary nonlinear Schrödinger equations of the following type: $$Δ_g u_ε+ h_εu_ε= |u_ε|^{p_ε-2} u_ε$$ in a closed manifold $(M,g)$, where $h_ε$ converges to $h$ in $C^1(M)$. Assuming that $(u_ε)_{ε>0}$ blows-up as \emph{a single sign-changing bubble}, we obtain necessary condition…
▽ More
We investigate in this work families $(u_ε)_{ε>0}$ of sign-changing blowing-up solutions of asymptotically critical stationary nonlinear Schrödinger equations of the following type: $$Δ_g u_ε+ h_εu_ε= |u_ε|^{p_ε-2} u_ε$$ in a closed manifold $(M,g)$, where $h_ε$ converges to $h$ in $C^1(M)$. Assuming that $(u_ε)_{ε>0}$ blows-up as \emph{a single sign-changing bubble}, we obtain necessary conditions for blow-up that constrain the localisation of blow-up points and exhibit a strong interaction between $h$, the geometry of $(M,g)$ and the bubble itself. These conditions are new and are a consequence of the sign-changing nature of $u_ε$.
△ Less
Submitted 25 April, 2024;
originally announced April 2024.
-
Classification of radial blow-up at the first critical exponent for the Lin-Ni-Takagi problem in the ball
Authors:
Denis Bonheure,
Jean-Baptiste Casteras,
Bruno Premoselli
Abstract:
We investigate the behaviour of radial solutions to the Lin-Ni-Takagi problem in the ball $B_R \subset \mathbb{R}^N$ for $N \ge 3$: \begin{equation*} \left \{ \begin{aligned} - \triangle u_p + u_p & = |u_p|^{p-2}u_p & \textrm{ in } B_R, \\ \partial_νu_p & = 0 & \textrm{ on } \partial B_R, \end{aligned} \right. \end{equation*} when $p $ is close to the first critical Sobolev exponent…
▽ More
We investigate the behaviour of radial solutions to the Lin-Ni-Takagi problem in the ball $B_R \subset \mathbb{R}^N$ for $N \ge 3$: \begin{equation*} \left \{ \begin{aligned} - \triangle u_p + u_p & = |u_p|^{p-2}u_p & \textrm{ in } B_R, \\ \partial_νu_p & = 0 & \textrm{ on } \partial B_R, \end{aligned} \right. \end{equation*} when $p $ is close to the first critical Sobolev exponent $2^* = \frac{2N}{N-2}$. We obtain a complete classification of finite energy radial smooth blowing up solutions to this problem. We describe the conditions preventing blow-up as $p \to 2^*$, we give the necessary conditions in order for blow-up to occur and we establish their sharpness by constructing examples of blowing up sequences. Our approach allows for asymptotically supercritical values of $p$. We show in particular that, if $p \geq 2^\ast$, finite-energy radial solutions are precompact in $C^2(\bar{B_R})$ provided that $N\geq 7$. Sufficient conditions are also given in smaller dimensions if $p=2^\ast$. Finally we compare and interpret our results to the bifurcation analysis of Bonheure, Grumiau and Troestler in Nonlinear Anal. 147 (2016).
△ Less
Submitted 16 November, 2022;
originally announced November 2022.
-
Sign-changing blow-up for the Yamabe equation at the lowest energy level
Authors:
Bruno Premoselli,
Jérôme Vétois
Abstract:
We investigate the blow-up behavior of sequences of sign-changing solutions for the Yamabe equation on a Riemannian manifold $(M,g)$ of positive Yamabe type. For each dimension $n\ge11$, we describe the value of the minimal energy threshold at which blow-up occurs. In dimensions $11 \le n \le 24$, where the set of positive solutions is known to be compact, we show that the set of sign-changing sol…
▽ More
We investigate the blow-up behavior of sequences of sign-changing solutions for the Yamabe equation on a Riemannian manifold $(M,g)$ of positive Yamabe type. For each dimension $n\ge11$, we describe the value of the minimal energy threshold at which blow-up occurs. In dimensions $11 \le n \le 24$, where the set of positive solutions is known to be compact, we show that the set of sign-changing solutions is not compact and that blow-up already occurs at the lowest possible energy level. We prove this result by constructing a smooth, non-locally conformally flat metric on space forms $\mathbb{S}^n/Γ$, $Γ\neq \{1\}$, whose Yamabe equation admits a family of sign-changing blowing-up solutions. As a counterpart of this result, we also prove a sharp compactness result for sign-changing solutions at the lowest energy level, in small dimensions or under strong geometric assumptions.
△ Less
Submitted 17 June, 2022;
originally announced June 2022.
-
Stability and instability results for sign-changing solutions to second-order critical elliptic equations
Authors:
Bruno Premoselli,
Jérôme Vétois
Abstract:
On a smooth, closed Riemannian manifold $\left(M,g\right)$ of dimension $n\ge3$, we consider the stationary Schrödinger equation $Δ_gu+h_0u=\left|u\right|^{2^*-2}u$, where $Δ_g:=-\text{div}_g\nabla$, $h_0\in C^1\left(M\right)$ and $2^* :=\frac{2n}{n-2}$. We prove that, up to perturbations of the potential function $h_0$ in $C^1\left(M\right)$, the sets of sign-changing solutions that are bounded i…
▽ More
On a smooth, closed Riemannian manifold $\left(M,g\right)$ of dimension $n\ge3$, we consider the stationary Schrödinger equation $Δ_gu+h_0u=\left|u\right|^{2^*-2}u$, where $Δ_g:=-\text{div}_g\nabla$, $h_0\in C^1\left(M\right)$ and $2^* :=\frac{2n}{n-2}$. We prove that, up to perturbations of the potential function $h_0$ in $C^1\left(M\right)$, the sets of sign-changing solutions that are bounded in $H^1\left(M\right)$ are precompact in the $C^2$ topology. We obtain this result under the assumptions that $\left(M,g\right)$ is locally conformally flat, $n\ge7$ and $h_0\ne\frac{n-2}{4\left(n-1\right)}\text{Scal}_g$ at all points in $M$, where $\text{Scal}_g$ is the scalar curvature of the manifold. We then provide counterexamples in every dimension $n\ge3$ showing the optimality of these assumptions.
△ Less
Submitted 18 October, 2022; v1 submitted 14 January, 2022;
originally announced January 2022.
-
A priori estimates for finite-energy sign-changing blowing-up solutions of critical elliptic equations
Authors:
Bruno Premoselli
Abstract:
We prove sharp pointwise blow-up estimates for finite-energy sign-changing solutions of critical equations of Schrödinger-Yamabe type on a closed Riemannian manifold $(M,g)$ of dimension $n \ge 3$. This is a generalisation of the so-called $C^0$-theory for positive solutions of Schrödinger-Yamabe type equations. To deal with the sign-changing case we develop a method of proof that combines an \emp…
▽ More
We prove sharp pointwise blow-up estimates for finite-energy sign-changing solutions of critical equations of Schrödinger-Yamabe type on a closed Riemannian manifold $(M,g)$ of dimension $n \ge 3$. This is a generalisation of the so-called $C^0$-theory for positive solutions of Schrödinger-Yamabe type equations. To deal with the sign-changing case we develop a method of proof that combines an \emph{a priori} bubble-tree analysis with a finite-dimensional reduction, and reduces the proof to obtaining sharp \emph{a priori} blow-up estimates for a linear problem.
△ Less
Submitted 14 December, 2021; v1 submitted 3 November, 2021;
originally announced November 2021.
-
Towers of bubbles for Yamabe-type equations and for the Brézis-Nirenberg problem in dimensions $n \ge 7$
Authors:
Bruno Premoselli
Abstract:
Let $(M,g)$ be a closed locally conformally flat Riemannian manifold of dimension $n \ge 7$ and of positive Yamabe type. If $ξ_0$ denotes a non-degenerate critical point of the mass function we prove the existence, for any $ k \ge 1$ and $\varepsilon >0$, of a positive blowing-up solution $u_{\varepsilon}$ of…
▽ More
Let $(M,g)$ be a closed locally conformally flat Riemannian manifold of dimension $n \ge 7$ and of positive Yamabe type. If $ξ_0$ denotes a non-degenerate critical point of the mass function we prove the existence, for any $ k \ge 1$ and $\varepsilon >0$, of a positive blowing-up solution $u_{\varepsilon}$ of $$\triangle_g u_{\varepsilon} +\big( c_n S_g +\varepsilon h\big) u_{\varepsilon} = u_{\varepsilon}^{2^*-1},$$ that blows up like the superposition of $k$ positive bubbles concentrating at different speeds at $ξ_0$. The method of proof combines a finite-dimensional reduction with the sharp pointwise analysis of solutions of a linear problem. As another application of this method of proof we construct sign-changing blowing-up solutions $u_{\varepsilon}$ for the Brézis-Nirenberg problem $$ \triangle_ξ u_{\varepsilon} - \varepsilon u_{\varepsilon} = |u_{\varepsilon}|^{\frac{4}{n-2}} u_{\varepsilon} \textrm{ in } Ω, \quad u_{\varepsilon} = 0 \textrm{ on } \partial Ω$$ on a smooth bounded open set $Ω\subset \mathbb{R}^n$, $n \ge 7$, that look like the superposition of $k$ positive bubbles of alternating sign.
△ Less
Submitted 3 September, 2020;
originally announced September 2020.
-
Examples of compact Einstein four-manifolds with negative curvature
Authors:
Joel Fine,
Bruno Premoselli
Abstract:
We give new examples of compact, negatively curved Einstein manifolds of dimension $4$. These are seemingly the first such examples which are not locally homogeneous. Our metrics are carried by a sequence of 4-manifolds $(X_k)$ previously considered by Gromov and Thurston. The construction begins with a certain sequence $(M_k)$ of hyperbolic 4-manifolds, each containing a totally geodesic surface…
▽ More
We give new examples of compact, negatively curved Einstein manifolds of dimension $4$. These are seemingly the first such examples which are not locally homogeneous. Our metrics are carried by a sequence of 4-manifolds $(X_k)$ previously considered by Gromov and Thurston. The construction begins with a certain sequence $(M_k)$ of hyperbolic 4-manifolds, each containing a totally geodesic surface $Σ_k$ which is nullhomologous and whose normal injectivity radius tends to infinity with $k$. For a fixed choice of natural number $l$, we consider the $l$-fold cover $X_k \to M_k$ branched along $Σ_k$. We prove that for any choice of $l$ and all large enough $k$ (depending on $l$), $X_k$ carries an Einstein metric of negative sectional curvature. The first step in the proof is to find an approximate Einstein metric on $X_k$, which is done by interpolating between a model Einstein metric near the branch locus and the pull-back of the hyperbolic metric from $M_k$. The second step in the proof is to perturb this to a genuine solution to Einstein's equations, by a parameter dependent version of the inverse function theorem. The analysis relies on a delicate bootstrap procedure based on $L^2$ coercivity estimates.
△ Less
Submitted 10 March, 2020; v1 submitted 2 February, 2018;
originally announced February 2018.
-
A pointwise finite-dimensional reduction method for a fully coupled system of Einstein-Lichnerowicz type
Authors:
Bruno Premoselli
Abstract:
We construct non-compactness examples for the fully coupled Einstein-Lichnerowicz constraint system in the focusing case. The construction is obtained by combining pointwise a priori asymptotic analysis techniques, finite-dimensional reductions and a fixed-point argument.
More precisely, we perform a fixed-point procedure on the remainders of the expected blow-up decomposition. The argument cons…
▽ More
We construct non-compactness examples for the fully coupled Einstein-Lichnerowicz constraint system in the focusing case. The construction is obtained by combining pointwise a priori asymptotic analysis techniques, finite-dimensional reductions and a fixed-point argument.
More precisely, we perform a fixed-point procedure on the remainders of the expected blow-up decomposition. The argument consists of an involved finite-dimensional reduction coupled with a ping-pong method. To overcome the non-variational structure of the system, we work with remainders which belong to strong function spaces and not merely to energy spaces. Performing both the ping-pong argument and the finite-dimensional reduction therefore heavily relies on a priori pointwise asymptotic techniques.
△ Less
Submitted 18 May, 2016;
originally announced May 2016.
-
Non-compactness and infinite number of conformal initial data sets in high dimensions
Authors:
Bruno Premoselli,
Juncheng Wei
Abstract:
On any closed Riemannian manifold of dimension greater than $7$, we construct examples of background physical coefficients for which the Einstein-Lichnerowicz equation possesses a non-compact set of positive solutions. This yields in particular the existence of an infinite number of positive solutions in such cases.
On any closed Riemannian manifold of dimension greater than $7$, we construct examples of background physical coefficients for which the Einstein-Lichnerowicz equation possesses a non-compact set of positive solutions. This yields in particular the existence of an infinite number of positive solutions in such cases.
△ Less
Submitted 11 May, 2015;
originally announced May 2015.
-
Stability and instability of the Einstein-Lichnerowicz constraint system
Authors:
Bruno Premoselli
Abstract:
We investigate the relevance of the conformal method by investigating stability issues for the Einstein-Lichnerowicz conformal constraint system in a nonlinear scalar-field setting. We prove the stability of the system with respect to arbitrary perturbations of generic focusing physics data on closed locally conformally flat manifolds, in any dimension. We also show that our stability result is sh…
▽ More
We investigate the relevance of the conformal method by investigating stability issues for the Einstein-Lichnerowicz conformal constraint system in a nonlinear scalar-field setting. We prove the stability of the system with respect to arbitrary perturbations of generic focusing physics data on closed locally conformally flat manifolds, in any dimension. We also show that our stability result is sharp by constructing explicit instability examples when its assumptions are not satisfied. Our results apply to a more general class of constraint-like systems.
△ Less
Submitted 14 February, 2015;
originally announced February 2015.
-
Stability of the Einstein-Lichnerowicz constraints system
Authors:
Olivier Druet,
Bruno Premoselli
Abstract:
We study the Einstein-Lichnerowicz constraints system, obtained through the conformal method when addressing the initial data problem for the Einstein equations in a scalar field theory. We prove that this system is stable with respect to the physics data when posed on the standard $3$-sphere.
We study the Einstein-Lichnerowicz constraints system, obtained through the conformal method when addressing the initial data problem for the Einstein equations in a scalar field theory. We prove that this system is stable with respect to the physics data when posed on the standard $3$-sphere.
△ Less
Submitted 23 May, 2014; v1 submitted 23 December, 2013;
originally announced December 2013.
-
Effective multiplicity for the Einstein-scalar field Lichnerowicz equation
Authors:
Bruno Premoselli
Abstract:
We prove the stability of the Einstein-scalar field Lichnerowicz equation under subcritical perturbations of the critical nonlinearity in dimensions 3, 4 and 5. As a consequence, we obtain the existence of a second solution to the equation in several cases. In particular, in the positive case, including the CMC positive cosmological constant case, we show that each time a solution exists, the equa…
▽ More
We prove the stability of the Einstein-scalar field Lichnerowicz equation under subcritical perturbations of the critical nonlinearity in dimensions 3, 4 and 5. As a consequence, we obtain the existence of a second solution to the equation in several cases. In particular, in the positive case, including the CMC positive cosmological constant case, we show that each time a solution exists, the equation produces a second solution with the exception of one critical value for which the solution is unique.
△ Less
Submitted 9 July, 2013;
originally announced July 2013.
-
The Einstein-scalar field constraint system in the positive case
Authors:
Bruno Premoselli
Abstract:
We prove the existence of solutions to the conformal Einstein-scalar constraint system of equations for closed compact Riemannian manifolds in the positive case. Our results apply to the vacuum case with positive cosmological constant and to the massive Klein-Gordon setting.
We prove the existence of solutions to the conformal Einstein-scalar constraint system of equations for closed compact Riemannian manifolds in the positive case. Our results apply to the vacuum case with positive cosmological constant and to the massive Klein-Gordon setting.
△ Less
Submitted 24 January, 2013;
originally announced January 2013.
