🔢 mathematics

On the existence results for $m$ -Harmonic equation with critical Choquard Nonlinearity

This paper establishes the existence of nontrivial solutions for the $m$ -harmonic equation with critical Choquard nonlinearity and subcritical perturbations by deriving delicate energy estimates to recover compactness, representing the first such results for polyharmonic equations with this type of nonlinearity.

Original authors: Abhishek, Sarika Goyal

Published 2026-07-08

📖 5 min read🧠 Deep dive

CC BY 4.0

Original authors: Abhishek, Sarika Goyal

Original paper licensed under CC BY 4.0 (http://creativecommons.org/licenses/by/4.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 trying to find the perfect shape for a soap bubble, but this isn't just any bubble. It's a bubble made of a very strange, stretchy material that reacts not just to its own surface tension, but also to the "ghosts" of its own shape floating around it. This is the kind of mathematical puzzle Abhishek and Sarika Goyal are solving in their paper.

Here is a simple breakdown of what they did, using everyday analogies.

The Big Picture: The "Perfect Shape" Hunt

The authors are studying a specific type of equation called the m-harmonic equation.

The Analogy: Think of a drum skin. If you hit it once, it vibrates (that's a standard equation). If you hit it, then hit the vibration again, and again, $m$ times, you get an "m-harmonic" equation. It describes very complex, multi-layered vibrations or deformations in materials (like thin films or elastic beams).
The Goal: They want to prove that a "non-trivial solution" exists. In plain English, they want to prove that there is a real, non-zero shape (a real vibration) that the system can settle into, rather than just staying flat and doing nothing.

The Two Big Obstacles

To find this shape, they had to overcome two massive hurdles, which they describe as "Critical Choquard Nonlinearity" and "Subcritical Perturbation."

1. The "Long-Range Echo" (Critical Choquard Nonlinearity)

The Problem: Usually, a point on a drum skin only cares about its immediate neighbors. But in this equation, every point on the skin feels a "whisper" from every other point on the skin. It's like if you tapped one spot on a trampoline, and the whole trampoline instantly knew about it, no matter how far away.
The "Critical" Part: This whisper is so strong (mathematically "critical") that it threatens to break the math. It's like trying to balance a pencil on its tip; the slightest nudge (a tiny error in calculation) makes the whole thing collapse. This makes it very hard to prove a stable shape exists.

2. The "Nudge" (Subcritical Perturbation)

The Problem: To help the system find a stable shape, the authors add a small "nudge" or extra force (the perturbation).
The Challenge: They had to figure out exactly how big this nudge needs to be. If it's too weak, the system stays flat. If it's too weird, the math breaks. They tested different types of nudges:
- Local Nudge: A force that only pushes on a specific spot (like poking the drum with a finger).
- Non-local Nudge: A force that is also a "whisper" from everywhere, but weaker than the main echo.

How They Solved It: The "Energy Mountain"

The authors used a method called Variational Calculus.

The Metaphor: Imagine the possible shapes of the drum skin as a landscape. Some shapes are deep valleys (low energy, stable), and some are high peaks (high energy, unstable). The "perfect shape" they are looking for is a specific saddle point on a mountain pass.
The Strategy:
1. Find the Minimizer: First, they found the "best possible shape" for a simplified version of the problem (the minimizer). Think of this as finding the lowest point in a specific valley.
2. The Energy Threshold: They calculated a specific "energy limit" (a ceiling). If they could show that the energy of their solution stays below this ceiling, the math would hold together.
3. The Escape: If the energy gets too high (hits the ceiling), the "compactness" is lost, and the solution disappears (the bubble pops). They proved that by carefully choosing their "nudge" (the parameter $\lambda$ ) and the size of the domain (the room the drum is in), they could keep the energy low enough to stay safe.

The Results: When Does the Solution Exist?

The paper doesn't just say "it works." It gives specific rules for when the solution exists, depending on the dimension (how many directions the space has) and the strength of the nudge.

Rule 1 (The Big Room): If the space is large enough (high dimension $N$ ) and the nudge is positive, a solution exists.
Rule 2 (The Small Room): If the space is smaller, the nudge needs to be very strong (a large $\lambda$ ) to force a solution to appear.
Rule 3 (The Eigenvalue Trap): They also found that if the nudge matches a specific "natural frequency" of the system (an eigenvalue), the solution might vanish. They had to avoid these specific frequencies.

Why Is This Important?

The authors claim this is the first time anyone has solved this specific puzzle for the polyharmonic operator (the complex, multi-layered drum) with this specific "long-range echo" nonlinearity.

Previous Work: Others had solved this for simple drums (Laplacian) or for double-layered drums (Biharmonic).
New Discovery: They extended the math to handle $m$ layers (where $m$ can be 3, 4, 5, etc.). They proved that even with these complex layers and the tricky "whispering" nonlinearity, a stable, non-zero shape can still exist under the right conditions.

Summary

In short, Abhishek and Sarika Goyal proved that even in a complex, multi-layered system where every part talks to every other part across the entire space, you can still find a stable, non-zero shape. They did this by carefully balancing the "energy" of the system so it doesn't collapse, using a mix of deep mathematical tools and precise estimates. They showed exactly how big the space needs to be and how strong the external push needs to be to make this happen.

Technical Summary: Existence Results for the m-Harmonic Equation with Critical Choquard Nonlinearity

Problem Statement
This article investigates the existence of nontrivial weak solutions for the $m$ -harmonic (polyharmonic) equation involving critical Choquard nonlinearity and subcritical perturbations on a bounded domain $\Omega \subset \mathbb{R}^N$ ( $N \ge 2m+1$ ). The primary equation under consideration is:
$\begin{cases} (-\Delta)^m u = \left( \int_{\Omega} \frac{|u(y)|^{2^*_{\alpha,m}}}{|x-y|^\alpha} dy \right) |u(x)|^{2^*_{\alpha,m}-2}u(x) + \lambda f(u) & \text{in } \Omega, \\ \nabla^k u = 0 \quad \forall |k| \le m-1 & \text{on } \partial\Omega, \end{cases}$
where $2^*_{\alpha,m} = \frac{2N-\alpha}{N-2m}$ is the critical exponent associated with the Hardy–Littlewood–Sobolev (HLS) inequality. The study addresses three specific types of subcritical perturbations $f(u)$ :

Local subcritical term: $f(u) = |u|^{q-2}u$ with $1 \le q < 2^*_m - 1$ .
Nonlocal subcritical term: $f(u) = \left( \int_{\Omega} \frac{|u|^q}{|x-y|^\alpha} dy \right) |u|^{q-2}u$ with $1 < q < 2^*_{\alpha,m}$ .
Mixed case: A combination where the critical term is nonlocal and the perturbation is a local critical Sobolev term, or vice versa.

Methodology
The authors employ variational methods, specifically the Mountain Pass Theorem and Linking Theorem, within the Hilbert space $H^m_0(\Omega)$ . The core challenges addressed are the lack of compactness due to the critical exponent and the presence of nonlocal terms.

Minimizers and Extremal Functions: The authors first establish the existence of minimizers for the $m$ -harmonic operator coupled with the critical Choquard term. They define the best constant $S_{H,L}$ and utilize the explicit form of extremal functions (bubble functions) $U_\varepsilon(x)$ , which are cut-off versions of the global minimizers on $\mathbb{R}^N$ .
Delicate Energy Estimates: A significant portion of the methodology involves deriving precise asymptotic estimates for the energy functional $I_\lambda$ evaluated on the test functions $u_\varepsilon = \phi U_\varepsilon$ . These estimates are crucial to show that the minimax energy level (Mountain Pass level) lies strictly below a specific critical threshold:
$c < \frac{N+2m-\alpha}{4N-2\alpha} S_{H,L}^{\frac{2N-\alpha}{N+2m-\alpha}}.$
This threshold is necessary to recover the compactness of the Palais-Smale (PS) sequences.
Compactness Recovery: Using the Brezis–Lieb type lemma adapted for nonlocal terms and the derived energy estimates, the authors prove that any PS sequence at a level below the critical threshold possesses a strongly convergent subsequence.
Spectral Analysis: For cases where the parameter $\lambda$ is large or lies within specific spectral intervals (eigenvalues of $(-\Delta)^m$ ), the authors utilize spectral decomposition of the space $H^m_0(\Omega)$ and Linking arguments to handle the indefinite nature of the functional.

Key Contributions and Results
The paper provides existence results for nontrivial solutions under various conditions on the dimension $N$ , the parameter $\lambda$ , and the exponent $q$ :

Theorem 1.1 (Local Perturbation): For $1 < q < 2^*_m - 1$ $1 < q < 2_{m}^{*} - 1$ , a nontrivial solution exists if:
- $N > \max\left\{ \min\left\{ \frac{2m(q+3)}{q+1}, 2m + \frac{\alpha}{q+1} \right\}, \frac{2m(q+1)}{q} \right\}$ and $\lambda > 0$ ; OR
- $N \le \max\left\{ \dots \right\}$ and $\lambda$ is sufficiently large.
Theorem 1.2 (Linear Perturbation, $q=1$ ):
- If $N \ge 4m$ , a solution exists for $\lambda > 0$ (provided $\lambda$ is not an eigenvalue).
- If $2m+1 \le N \le 4m-1$ , a solution exists for $\lambda > \lambda^*$ (where $\lambda^*$ is a specific threshold), provided $\lambda$ is not an eigenvalue.
- The proof distinguishes between the cases $\lambda < \lambda^m_1$ (Mountain Pass geometry) and $\lambda > \lambda^m_1$ (Linking geometry).
Theorem 1.3 (Nonlocal Perturbation): For the equation with a subcritical nonlocal term ( $1 < q < 2^*_{\alpha,m}$ $1 < q < 2_{α, m}^{*}$ ), a solution exists if:
- $N > \frac{2m(q+1)-\alpha}{q-1}$ and $\lambda > 0$ ; OR
- $N \le \frac{2m(q+1)-\alpha}{q-1}$ and $\lambda$ is sufficiently large.
- The authors note that the double nonlocal structure (critical Choquard + subcritical Choquard) complicates the estimation of the minimax energy, requiring specific handling of the convolution terms.
Theorem 1.4 (Sobolev Critical with Nonlocal Perturbation): Similar existence results are established for the problem involving the Sobolev critical exponent and a subcritical nonlocal perturbation.

Significance and Claims
The authors state that to the best of their knowledge, this is the first article dealing with the polyharmonic operator ( $m \ge 2$ ) coupled with a critical Choquard type nonlinearity. While previous literature has extensively covered biharmonic equations ( $m=2$ ) and polyharmonic equations with local critical nonlinearities (e.g., Pucci and Serrin, Gazzola), the extension to the critical Choquard setting for general $m$ is novel.

The results are claimed to be new even for $m \ge 2$ . The paper successfully extends the classical Brezis-Nirenberg type problems to a nonlocal setting involving the Hardy-Littlewood-Sobolev convolution term, overcoming the specific difficulties arising from the "double nonlocal" structure in the case of nonlocal perturbations. The work establishes the existence of minimizers for the associated operator and provides the necessary delicate estimates to ensure the energy levels remain below the critical threshold required for compactness.