🔢 mathematics

Existence, non-degeneracy and local uniqueness of multi-peak solutions to the fractional Schrödinger equation with nearly critical exponent in $\mathbb{R}^N$

This paper establishes the existence, non-degeneracy, and local uniqueness of multi-peak solutions for a fractional Schrödinger equation with a nearly critical exponent in $\mathbb{R}^N$ by employing the Lyapunov-Schmidt reduction method and a blow-up argument based on refined local Pohozaev identities applied to the harmonic extension.

Original authors: Yanyan Guo, Ying Li, Zhongyuan Liu, Pingping Yang

Published 2026-03-23

📖 5 min read🧠 Deep dive

CC0 1.0

Original authors: Yanyan Guo, Ying Li, Zhongyuan Liu, Pingping Yang

Original paper dedicated to the public domain under CC0 1.0 (http://creativecommons.org/publicdomain/zero/1.0/). ✨ This is an AI-generated explanation of the paper below. It is not written or endorsed by the authors. For technical accuracy, refer to the original paper. Read full disclaimer

Imagine you are a landscape architect trying to design a garden in a vast, infinite field. Your goal is to plant k specific flowers (let's call them "peaks") that will grow tall and vibrant, while the rest of the garden remains flat and quiet.

This paper is about solving a very difficult mathematical puzzle: How do we prove that we can plant exactly these specific flowers, that they will grow exactly where we want them, and that there is only one way to arrange them?

Here is the breakdown of the story using simple analogies:

1. The Setting: The Fractional Garden

In normal physics, things usually interact with their immediate neighbors (like a ripple in a pond touching the water right next to it). This is like a local rule.

However, this paper deals with a Fractional Schrödinger Equation. Think of this as a "ghostly" garden where a flower planted in one spot can instantly feel the wind from a flower on the other side of the world. This is called non-locality. It makes the math much trickier because you can't just look at the immediate neighborhood; you have to account for the entire universe.

The equation also has a "nearly critical exponent." Imagine trying to balance a tower of blocks. If the tower is too tall, it collapses. If it's too short, it's boring. This equation is right on the edge of collapsing, making it extremely sensitive to tiny changes.

2. The Goal: Multi-Peak Solutions

The authors want to find solutions where the "energy" of the system concentrates into k distinct peaks (like k tall mountains in a flat plain).

The Challenge: The terrain of the garden is defined by a function $V(x)$ . Imagine $V(x)$ is the soil quality. Some spots have rich soil, some have poor soil.
The Strategy: The authors use a technique called Lyapunov-Schmidt reduction.
- Analogy: Imagine you have a rough sketch of where the mountains should be. Instead of trying to sculpt the entire mountain range perfectly at once, you first build a "scaffold" (an approximate solution) based on the soil quality. Then, you make tiny, precise adjustments (the "error term") to turn that scaffold into a perfect mountain.

3. The Main Results: What They Proved

A. Existence (The "Can We Build It?" Proof)

Theorem 1.1: The authors proved that if you have k spots in the garden where the soil is "stable" (mathematically, stable critical points), you can definitely grow k distinct peaks there.

The Catch: In previous studies, the soil had to be perfect (smooth and predictable). This paper says, "No, the soil just needs to be locally stable." Even if the ground is a bit rough elsewhere, as long as the specific spots where you want the flowers are stable, the flowers will grow.

B. Non-Degeneracy (The "Uniqueness of Shape" Proof)

Theorem 1.2: They proved that once these peaks are grown, they are rigid.

Analogy: Imagine you have a sculpture of a mountain. If you push it slightly, it doesn't wobble or change shape into a different mountain; it just stays exactly as it is. This means the solution is "non-degenerate." There are no weird, wobbly alternatives hiding nearby.

C. Local Uniqueness (The "Only One Way" Proof)

Theorem 1.3: They proved that if two people try to build these k peaks in the same spots, they will end up with the exact same garden.

Analogy: If you and I both try to plant 3 roses in the same 3 spots, we won't end up with two different arrangements. The math forces us to build the exact same thing. There is only one correct answer.

4. The Secret Weapon: Pohozaev Identities

How did they prove all this? They used a powerful tool called Pohozaev identities.

Analogy: Imagine you are trying to find a hidden treasure in a room, but you can't see the floor. You have a special "balance scale" (the Pohozaev identity). You put the weight of the "left side" of the room on one side and the "right side" on the other.
Because the equation is so sensitive (nearly critical), the scale is incredibly precise. If the treasure (the solution) isn't exactly where it should be, the scale tips. By using this balance, the authors could prove that the peaks must be in specific locations and must have specific shapes.

5. The "Ghostly" Twist

Because the garden is "non-local" (the ghostly wind), they couldn't use standard tools. They had to use a trick called the Caffarelli-Silvestre extension.

Analogy: Imagine the garden is a 2D map on the ground. To understand the "ghostly" wind, they lifted the map into a 3D room (a half-space). In this 3D room, the ghostly wind behaves like normal wind. They solved the problem in the 3D room and then projected the answer back down to the 2D garden. This allowed them to use standard "local" tools to solve a "non-local" problem.

Summary

In plain English:
This paper solves a complex puzzle about how energy concentrates in a strange, "ghostly" universe. The authors showed that:

You can create multiple distinct "mountains" of energy if the environment is right.
These mountains are stable and don't wobble.
There is only one unique way to build them.

They did this by building a rough model, refining it with tiny adjustments, and using a special "balance scale" (Pohozaev identities) in a 3D extension of the problem to prove that their solution is the only possible one.

1. Problem Statement

The paper investigates the fractional Schrödinger equation with a nearly critical exponent:
$\begin{cases} (-\Delta)^s u + V(x)u = u^{p_s - \epsilon} & \text{in } \mathbb{R}^N, \\ u > 0 & \text{in } \mathbb{R}^N, \end{cases}$
where:

$0 < s < 1$ is the fractional order.
$(-\Delta)^s$ is the fractional Laplacian, a non-local operator.
$p_s = \frac{N+2s}{N-2s}$ is the critical Sobolev exponent, and $\epsilon > 0$ is a small perturbation parameter ( $\epsilon \to 0$ ).
$V(x) \in C^1(\mathbb{R}^N) \cap L^\infty(\mathbb{R}^N)$ is a non-negative potential.
The dimension satisfies $N > 4s$ .

The primary objective is to construct multi-peak solutions (solutions concentrating at $k$ distinct points) as $\epsilon \to 0$ , and to establish their non-degeneracy and local uniqueness.

2. Methodology

The authors employ a combination of advanced analytical techniques tailored to handle the non-local nature of the fractional Laplacian and the critical growth of the nonlinearity.

A. Lyapunov-Schmidt Reduction

Approximate Solution Construction: The solution is constructed as a perturbation of a sum of "bubbles" (standard solutions to the limiting equation $(-\Delta)^s u = u^{p_s}$ ).
$u_\epsilon \approx \sum_{i=1}^k W_{\lambda_i, \xi_i} + \phi_\epsilon$
where $W_{\lambda_i, \xi_i}$ are truncated bubbles centered at $\xi_i$ with scale $\lambda_i$ .
Truncation: Due to the slow decay of the fractional bubbles in lower dimensions ( $N \le 6s$ ), the authors introduce smooth cut-off functions $\eta_i$ to truncate the bubbles near the concentration points. This is crucial for obtaining accurate error estimates.
Finite-Dimensional Reduction: The infinite-dimensional problem is reduced to a finite-dimensional variational problem involving the parameters $\lambda = (\lambda_1, \dots, \lambda_k)$ and $\xi = (\xi_1, \dots, \xi_k)$ .
Weighted Norms: To handle the lack of variational structure (since $V(x)$ is merely non-negative) and the non-locality, the analysis is conducted in specific weighted $L^\infty$ spaces ( $C^*$ and $C^{**}$ ).

B. Caffarelli-Silvestre Extension

To overcome the difficulties posed by the non-local operator $(-\Delta)^s$ , the authors lift the problem to the upper half-space $\mathbb{R}^{N+1}_+$ using the Caffarelli-Silvestre extension.

The problem is transformed into a local degenerate elliptic equation with a Neumann boundary condition involving the fractional Laplacian.
This allows the use of standard local PDE techniques (integration by parts, Green's identities) on the extended domain.

C. Local Pohozaev Identities and Blow-up Analysis

Non-degeneracy and Uniqueness: Standard blow-up analysis is insufficient due to the non-locality. The authors derive local Pohozaev identities for the extended problem.
These identities relate the behavior of the solution near the concentration points to the potential $V(x)$ and its derivatives.
By analyzing these identities via a blow-up argument, the authors derive refined estimates for the concentration parameters ( $\lambda_i, \xi_i$ ) and the error term $\phi_\epsilon$ .

3. Key Contributions and Results

A. Existence of Multi-Peak Solutions (Theorem 1.1)

Assumption: $V(x)$ has $k$ distinct stable critical points $\xi^*_i$ with $V(\xi^*_i) > 0$ . The regularity requirement is $C^1$ (weaker than the $C^2$ or coercive conditions often found in literature).
Result: For sufficiently small $\epsilon$ , there exists a $k$ -peak solution $u_\epsilon$ concentrating at points $\xi_i \to \xi^*_i$ .
Scaling: The concentration scales behave as $\lambda_i \approx \epsilon^{-1/2s}$ .
Novelty: The result holds for $N > 4s$ and requires weaker conditions on $V(x)$ compared to previous works (e.g., Cassani and Wang).

B. Non-Degeneracy (Theorem 1.2)

Assumption: $N \ge 6s$ , $1/2 < s < 1$ , and $V(x) \in C^2$ near the critical points (which are non-degenerate).
Result: The constructed multi-peak solutions are non-degenerate. This means the linearized operator around the solution has a trivial kernel (only the zero solution exists for the linearized equation).
Significance: Non-degeneracy is a prerequisite for proving local uniqueness and is essential for stability analysis.

C. Local Uniqueness (Theorem 1.3)

Result: Under the same conditions as Theorem 1.2, the multi-peak solution with a specific form (concentrating at the same points with the same scaling) is locally unique.
Method: The proof involves assuming two distinct solutions exist, defining their difference, and using the refined estimates derived from Pohozaev identities to show the difference must be zero.

4. Technical Challenges and Innovations

Non-locality vs. Localization: The fractional Laplacian lacks the localization property of the classical Laplacian. The authors developed delicate estimates for the interaction between the cut-off functions and the non-local operator, specifically analyzing the error terms $J_i(x)$ arising from the truncation.
Low Dimensions ( $N \le 6s$ ): In lower dimensions, the standard bubbles decay slowly, making error estimates difficult. The authors introduced specific truncation strategies and refined integral estimates to handle this regime.
Pohozaev Identities for Extensions: Instead of applying Pohozaev identities directly to the non-local equation, the authors applied them to the harmonic extension in $\mathbb{R}^{N+1}_+$ . This required establishing new local identities and estimating boundary integrals on the extended domain carefully.
Different Effects of Parameters: The paper demonstrates that translation parameters ( $\xi_i$ ) and dilation parameters ( $\lambda_i$ ) affect the construction of concentrating solutions differently, requiring distinct analytical approaches for their estimation.

5. Significance

Theoretical Advancement: This work extends the theory of concentrating solutions from local elliptic equations to non-local fractional equations with nearly critical exponents.
Relaxed Conditions: By requiring only $C^1$ regularity and stable critical points for existence (and $C^2$ for uniqueness), the results apply to a broader class of potentials than previous studies.
Methodological Framework: The combination of Lyapunov-Schmidt reduction with local Pohozaev identities on the Caffarelli-Silvestre extension provides a robust framework that can be adapted to other non-local and higher-order elliptic problems with critical nonlinearities.
Foundation for Stability: The non-degeneracy result is a critical step for future studies on the stability and dynamics of these solutions.

In summary, the paper successfully constructs multi-peak solutions for a challenging non-local problem, overcoming the difficulties of the fractional operator and critical growth through a sophisticated blend of extension methods, weighted norms, and local Pohozaev identities.