Normalized solutions to mass supercritical Schrödinger equations with radial potentials

This paper establishes the existence of two normalized solutions with a prescribed $L^2$-norm for the stationary nonlinear Schrödinger equation with a radial potential in the mass-supercritical regime, utilizing Morse theory, spectral arguments, and radial blow-up analysis under minimal assumptions on the potential's sign, behavior at infinity, and regularity.

The Gist

Here is an explanation of the paper "Normalized solutions to mass supercritical Schrödinger equations with radial potentials," translated into simple language with creative analogies.

The Big Picture: Finding a Stable Particle

Imagine you are a physicist trying to design a specific type of particle (like an electron) that is trapped in a specific energy field. You have two main rules for this particle:

1. The Shape: It must follow a specific wave equation (the Schrödinger equation).
2. The Size (Mass): You must fix exactly how much "stuff" (mass) the particle contains. In physics, this is called the $L^2$ norm or simply the mass.

The authors of this paper are solving a puzzle: Can we find a stable shape for this particle if the "energy rules" are very tricky?

The Problem: The "Super-Critical" Trap

In the world of quantum mechanics, there are two types of energy landscapes:

• The Easy Way (Subcritical): Imagine a bowl. If you put a marble in it, it naturally rolls to the bottom. This is a stable, low-energy state. Finding the particle here is easy; you just look for the bottom of the bowl.
• The Hard Way (Supercritical): This is what the paper studies. Imagine a landscape that looks like a volcano. If you put a marble in the center, it might roll down the side and fall off the edge into infinity. The "energy" isn't bounded; it can go negative forever.

In this "volcano" scenario, simply looking for the lowest point doesn't work because there is no lowest point. The particle wants to escape. However, the authors prove that if the particle is small enough (a small mass $\mu$), it can get stuck in a "local" valley on the side of the volcano.

The Solution: Two Ways to Get Stuck

The authors prove that for a small enough mass, there are actually two different stable shapes (solutions) the particle can take:

1. The Local Minimizer (The Safe Valley): This is a shape where the particle sits comfortably in a small dip. It's stable, but it's not the absolute lowest energy possible in the universe (because the volcano keeps going down).
2. The Mountain Pass (The Saddle Point): Imagine a mountain pass between two peaks. It's a high point compared to the valley, but if you go any further in one direction, you fall down. The particle can balance here. This is a more precarious, "saddle-shaped" solution.

The paper shows that both of these exist simultaneously for small masses.

The Tools: How They Solved It

To prove this, the authors had to overcome some major mathematical hurdles. Here is how they did it, using analogies:

1. The Radial Potentials (The Onion Model)

The paper assumes the "potential" (the force field trapping the particle) is radial.

• Analogy: Imagine an onion. The force depends only on how far you are from the center (the core), not on which direction you are facing.
• Why it helps: This symmetry simplifies the math. Instead of dealing with a messy 3D cloud, they can treat it like a 1D line (a slice through the onion). This allows them to use "compactness" arguments—essentially proving that the particle can't sneak off to infinity and disappear.

2. The "Blow-Up" Analysis (The Zoom-In Camera)

This is the most technical part of the paper. They needed to prove that the particle doesn't collapse into a single, infinitely dense point (a "singularity") or fly off to infinity.

• The Analogy: Imagine you have a camera zooming in on the particle. If the particle starts to collapse, the camera zooms in closer and closer.
• The Discovery: The authors used a technique called blow-up analysis. They "zoomed in" on the particle as the math got extreme. They found that if the particle tries to collapse, it can only do so in very specific ways: either right at the center of the onion, or on a specific ring (sphere) around the center.
• The Result: They proved that for the specific conditions they set, these "collapses" are impossible. The particle must stay spread out in a stable shape.

3. The Morse Index (The Stability Score)

The authors used a concept called the Morse Index.

• Analogy: Think of a hiker on a mountain.
  • If the hiker is at the bottom of a valley, they are stable in all directions. (Morse Index = 0).
  • If the hiker is on a saddle (mountain pass), they are stable if they move left/right, but unstable if they move forward/backward. (Morse Index = 1).
• The Paper's Use: They proved that their solutions have a very low "instability score" (Morse Index $\le 2$). This low score was crucial to prove that the solutions are real and not just mathematical ghosts.

The "Secret Sauce": Why This Paper is Special

Previous attempts to solve this problem relied on a tool called the Pohozaev Identity.

• The Old Way: Think of the Pohozaev Identity as a strict rulebook that says, "If the particle is here, the force field must look like this." This rulebook required the force field to be very smooth and to decay to zero at infinity.
• The New Way: The authors realized they didn't need the strict rulebook. Instead, they used spectral arguments (looking at the "notes" the system can sing) and the radial symmetry to prove the particle stays put.
• The Benefit: Their method works even if the force field is messy, doesn't decay to zero, or changes signs (switches between pushing and pulling). It's a much more flexible and robust tool.

Summary

In simple terms, this paper is about proving that even in a chaotic, unstable energy environment (the supercritical regime), you can still find two distinct, stable shapes for a quantum particle, provided the particle isn't too heavy.

They achieved this by:

1. Using the symmetry of the problem (the onion shape) to simplify the math.
2. Using a "zoom-in" technique to prove the particle won't collapse.
3. Avoiding old, restrictive rules to handle messy, real-world force fields.

It's a significant step forward in understanding how particles behave when the rules of energy get very complicated.

Technical Summary

Here is a detailed technical summary of the paper "Normalized solutions to mass supercritical Schrödinger equations with radial potentials" by Pablo Carrillo and Louis Jeanjean.

1. Problem Statement

The paper investigates the existence of normalized solutions (solutions with a prescribed $L^2$ norm) to the stationary nonlinear Schrödinger equation with a potential $V(x)$ in the whole space $\mathbb{R}^N$ ($N \ge 2$):

$$-\Delta u + V(x)u + \lambda u = |u|^{q-2}u, \quad u \in H^1(\mathbb{R}^N)$$

Key Constraints and Regime:

• Mass Constraint: The solution must satisfy $\|u\|_{L^2(\mathbb{R}^N)} = \mu$ for a fixed $\mu > 0$. Physically, this represents a fixed particle mass.
• Mass Supercritical Regime: The exponent $q$ satisfies $2 + \frac{4}{N} < q < 2^$, where$2^ = \frac{2N}{N-2}$(or$+\infty$if$N=2$). In this regime, the associated energy functional is unbounded from below, making standard minimization techniques inapplicable.
• Potential $V$: The potential is assumed to be radial ($V(x) = V(|x|)$) and bounded ($V \in L^\infty(\mathbb{R}^N)$). Crucially, the authors do not assume:
  • A specific sign for $V$ (it can change signs).
  • A limit at infinity (i.e., $\lim_{|x|\to\infty} V(x)$ need not exist).
  • High regularity or specific decay rates (e.g., no requirement on $|x|V(x)$).
  • The parameter $\lambda$ is an unknown Lagrange multiplier arising from the mass constraint.

2. Methodology

The authors develop a novel approach that avoids the reliance on global Pohozaev identities, which are typically difficult to use in non-autonomous settings with general potentials. The methodology consists of three main pillars:

A. Monotonicity Trick and Morse Index Information

Instead of working directly with the original functional, the authors introduce a family of functionals $E_\rho$ parameterized by $\rho \in [1/2, 1]$:
$$E_\rho(u) = \frac{1}{2}\int |\nabla u|^2 + \frac{1}{2}\int V(x)u^2 - \frac{\rho}{q}\int |u|^q$$
They apply a monotonicity trick (based on Struwe's variational principle and refined in [13]) to generate bounded Palais-Smale (PS) sequences for almost every $\rho$. A critical innovation is the use of Morse index information. The constructed PS sequences are shown to have a Morse index $m(u) \le 2$ (specifically, the constrained Morse index is $\le 1$). This spectral information is vital for the subsequent blow-up analysis.

B. Spectral Arguments for Strong Convergence

To ensure the weak limit of the PS sequence satisfies the mass constraint (strong convergence), the authors must prove that the associated Lagrange multiplier $\lambda$ satisfies a strict inequality: $\lambda > -\lambda_1(V)$, where $\lambda_1(V)$ is the bottom of the spectrum of $-\Delta + V$.

• They utilize the radial symmetry to work in the subspace $H^1_{rad}(\mathbb{R}^N)$, which offers compact embeddings for $L^s$ spaces ($2 < s < 2^*$).
• By combining the Morse index bound with spectral properties of the operator, they establish the necessary strict inequality, thereby recovering strong convergence and obtaining a solution for the perturbed problem (1.5).

C. Blow-up Analysis in a Radial Setting

The core difficulty lies in passing to the limit as $\rho \to 1$ to recover a solution to the original equation. This requires proving that the sequence of Lagrange multipliers $\{\lambda_n\}$ remains bounded.

• Contradiction Strategy: Assume $\lambda_n \to +\infty$.
• Radial Concentration: Using the bounded Morse index, they perform a detailed blow-up analysis. They show that if $\lambda_n \to \infty$, the solutions must concentrate at a finite number of points (or spheres in the radial context).
• Classification of Blow-up: They distinguish between two scenarios:
  1. Concentration at the origin ($a_n \to 0$).
  2. Concentration at a sequence of radii $a_n$ such that $a_n \sqrt{\lambda_n} \to \infty$ (concentration on spheres moving to infinity).
• One-Dimensional Pohozaev Identity: By exploiting the radial symmetry, they reduce the problem to a 1D ODE on the radial variable. They derive a 1D Pohozaev-type identity and use it to show that the energy constraints and the specific structure of the limit profiles (solutions to $-\phi'' + \phi = \phi^{q-1}$) lead to a contradiction if blow-up occurs. This proves that $\{\lambda_n\}$ must be bounded.

3. Key Contributions

1. Relaxed Assumptions on Potential: Unlike previous works that required $V$ to have a sign, a limit at infinity, or specific decay conditions on $|x|V(x)$, this paper only requires $V$ to be radial and bounded ($L^\infty$). The potential can oscillate and lack a limit at infinity.
2. Avoidance of Global Pohozaev Identity: The authors bypass the need for the global Pohozaev identity (which usually requires bounds on $|x|V(x)$ and derivatives of $V$) by using a combination of Morse index constraints and a localized 1D blow-up analysis.
3. Multiplicity of Solutions: The paper establishes the existence of two distinct solutions for small masses $\mu$:
   • One solution is a local minimizer of the energy functional restricted to the mass constraint.
   • The second solution is a mountain pass type critical point.
4. Explicit Mass Threshold: The existence of solutions is guaranteed for any mass $\mu$ below an explicit threshold $\mu_0$, which depends on $N, q$, and the spectral gap $V - \lambda_{ess}(V)$.

4. Main Results

• Theorem 1.1: Under assumptions (V0)-(V2) (Radial, $L^\infty$, infimum of spectrum is an eigenvalue), there exists an explicit $\mu_0 > 0$ such that for all $\mu \in (0, \mu_0)$, Equation (1.1) admits a positive radial solution at a mountain pass level with $\lambda > -\lambda_1(V)$.
• Theorem 1.2: Under the same assumptions, there exists a second positive radial solution which is a local minimizer of the energy, with an energy level strictly lower than the mountain pass solution.
• Theorem 1.10 (Technical Core): A general result stating that for sequences of solutions with uniformly bounded Morse index and bounded energy, the associated Lagrange multipliers must remain bounded, provided the potential is radial and bounded.

5. Significance

This work represents a significant advancement in the theory of normalized solutions for mass supercritical Schrödinger equations.

• Generality: It removes the restrictive "sign" and "decay" conditions on the potential that have limited previous results, allowing for a much broader class of physical potentials.
• Methodological Innovation: The successful application of Morse index constraints combined with a radial blow-up analysis provides a robust template for handling non-autonomous problems where standard Pohozaev identities fail.
• Physical Relevance: By not requiring the potential to vanish or converge at infinity, the results are applicable to more complex physical scenarios, such as those involving periodic or oscillatory potentials, while still guaranteeing the existence of stable (local minimizer) and unstable (mountain pass) states with fixed mass.

In summary, Carrillo and Jeanjean provide a rigorous existence theory for normalized solutions in the supercritical regime with minimal assumptions on the potential, relying on a sophisticated interplay between spectral theory, variational methods, and blow-up analysis tailored to radial symmetry.