Mixed order conformally invariant system with exponential growth and nonlocal nonlinear terms in critical dimensions

Under extremely mild growth assumptions, this paper classifies the solutions of a mixed-order conformally invariant system in $\mathbb{R}^3$ and $\mathbb{R}^4$ featuring exponential and nonlocal nonlinearities, a system closely related to extensively studied conformally invariant equations.

The Gist

Imagine you are standing in an infinite, empty room (mathematicians call this $\mathbb{R}^n$). In this room, there are two invisible forces, let's call them Alice and Bob.

Alice and Bob are not people; they are "fields" or "patterns" that exist everywhere in the room. They are connected by a very strange, complex relationship:

1. Alice influences Bob through a "whisper" that grows exponentially (like a rumor that gets louder and louder the more people hear it).
2. Bob influences Alice through a "memory" of the past. Bob looks at Alice's shape, remembers it, and then projects that memory back onto Alice, but the memory is "smeared out" over the whole room (this is the "nonlocal" part).

The paper by Chen, Dai, and Huang asks a simple but profound question: If Alice and Bob are playing by these specific rules, what do they actually look like?

The Rules of the Game

The authors set up a specific set of rules for this game:

• The Dimension: The room is either 3-dimensional (like our world) or 4-dimensional (a bit harder to visualize, but mathematically similar).
• The "Mass" Rule: The total amount of "stuff" in the room must be finite. You can't have infinite energy or infinite mass floating around.
• The "Growth" Rule: As you walk infinitely far away from the center, Alice and Bob can't grow too crazy. They are allowed to get big, but not too big (specifically, they can't grow faster than a certain polynomial speed).

The Mystery: What Shapes Can They Take?

In the world of math, when you have equations like this, there are usually two possibilities:

1. Chaos: The solutions could be messy, irregular, and different every time you solve them.
2. Symmetry: The solutions are forced into a perfect, beautiful shape, like a sphere or a bell curve, because the rules are so strict.

The authors prove that in this specific game, Symmetry wins.

They show that no matter how you start, if Alice and Bob follow these rules, they must settle into a very specific, perfectly round shape. It's like if you dropped a drop of ink into water; eventually, it spreads out into a perfect circle. Here, the "ink" is forced into a specific mathematical formula.

The "Moving Sphere" Trick

How did they prove this? They used a technique called the "Method of Moving Spheres."

Imagine you have a giant, transparent balloon (a sphere) that you can inflate or deflate. You can also move the center of this balloon anywhere in the room.

1. The Setup: You place the balloon around a point in the room.
2. The Reflection: You look at the "reflection" of Alice and Bob inside the balloon. You compare the real Alice/Bob outside the balloon with their reflections inside.
3. The Push:
   • If the real Alice is "taller" than her reflection, you shrink the balloon.
   • If the real Alice is "shorter," you inflate the balloon.
   • You keep moving the balloon until you reach a "tipping point" where the real Alice and her reflection are exactly the same.

The authors proved that for this specific system, this "tipping point" happens everywhere. If the real Alice and her reflection are identical no matter where you put the balloon, then Alice and Bob must be perfectly symmetric spheres.

The "Double Nonlocal" Twist

What makes this paper special is that the relationship between Alice and Bob is "double nonlocal."

• Nonlocal means that what happens in New York affects what happens in London instantly, without a direct line connecting them.
• In this system, Alice affects Bob everywhere at once, and Bob affects Alice everywhere at once.

Usually, when you have two things affecting each other in such a complex, long-distance way, the math gets incredibly messy. It's like trying to predict the weather when every cloud affects every other cloud instantly. The authors managed to untangle this mess and show that, surprisingly, the system is rigid enough to force a perfect solution.

The Conclusion: The "Goldilocks" Solution

The paper concludes that there is only one family of solutions (a "Goldilocks" set of shapes) that fits the rules.

• Alice looks like a smooth, bell-shaped hill that gets lower as you go further out.
• Bob looks like a logarithmic curve (a specific type of slow growth) that fits perfectly with Alice.

The authors even wrote down the exact recipe (the formula) for these shapes. It's like finding the only two keys that fit a very complex, double-locked door.

Why Does This Matter?

You might ask, "Who cares about invisible fields in 3D or 4D rooms?"

These equations appear in:

• Physics: Modeling how stars behave, how fluids move, or how quantum particles interact.
• Geometry: Understanding the shape of the universe or how to bend space (conformal geometry).
• Finance: Modeling how prices move in complex markets.

By proving that these complex systems must have a specific, clean shape, the authors give scientists and engineers a reliable tool. Instead of worrying about messy, unpredictable chaos, they know that under these specific conditions, nature will always choose this beautiful, symmetric solution.

In short: The paper takes a very complicated, messy math problem involving two interacting forces and proves that, despite the complexity, the universe forces them into a single, perfect, symmetrical dance.

Technical Summary

Here is a detailed technical summary of the paper "Mixed Order Conformally Invariant System with Exponential Growth and Nonlocal Nonlinear Terms in Critical Dimensions" by Yiwu Chen, Wei Dai, and Bin Huang.

1. Problem Statement

The paper investigates the classification of classical solutions for a specific mixed-order conformally invariant system in $\mathbb{R}^n$ where $n=3$ or $n=4$. The system couples a fractional Laplacian equation with a higher-order conformally invariant equation involving nonlocal nonlinearities.

The system is defined as:
$$\begin{cases} (-\Delta)^{\frac{1}{2}} u = e^{pv} \\ (-\Delta)^{\frac{n}{2}} v = \left( \frac{1}{|x|^2} * u^2 \right) u^2 \end{cases} \quad \text{in } \mathbb{R}^n$$
Key Constraints and Assumptions:

• Parameters: $n \in \{3, 4\}$, $p > 0$.
• Regularity: $u \ge 0$, $u \in C^{1,\epsilon}_{loc} \cap L^1$, and $v$ satisfies specific smoothness conditions ($C^4$ for $n=4$, $C^{3,\epsilon}_{loc}$ for $n=3$).
• Growth Conditions:
  • $v(x) = o(|x|^2)$ as $|x| \to \infty$.
  • $u(x) = O(|x|^K)$ as $|x| \to \infty$ for some arbitrarily large $K \gg 1$. This is noted as an extremely mild condition, essentially implying $u$ grows slower than linear in an integral sense.
• Finite Total Mass: The solution must satisfy the finite mass condition:
  $$\int_{\mathbb{R}^n} \left( \frac{1}{|x|^2} * u^2 \right)(y) u^2(y) \, dy < +\infty$$
  This condition is crucial for the existence of integral representations and is linked to $u \in L^{\frac{2n}{n-1}}$ or $u \in \dot{H}^{\frac{1}{2}}$.

Context:
The system generalizes two well-studied single equations:

1. The Hartree equation: $(-\Delta)^{\frac{1}{2}} u = (\frac{1}{|x|^2} * u^2)u$.
2. The critical order Liouville-type equation: $(-\Delta)^{\frac{n}{2}} u = (n-1)! e^{nu}$.
   The coupling introduces significant complexity due to the double nonlocality (fractional Laplacian and convolution term) and the mixed orders ($\frac{1}{2}$ vs $\frac{n}{2}$).

2. Methodology

The authors employ a combination of integral representation techniques and the method of moving spheres (a variant of the method of moving planes adapted for conformally invariant problems).

A. Integral Representation and Asymptotic Analysis

1. Derivation of Integral Forms:
   • Using the finite mass condition and the Maximum Principle for fractional Laplacians, the authors derive integral representations for $u$ and $\Delta v$.
   • For $u$: $u(x) = C_n \int_{\mathbb{R}^n} \frac{e^{pv(y)}}{|x-y|^{n-1}} dy$.
   • For $v$: By analyzing $\Delta v$ and utilizing the condition $v(x) = o(|x|^2)$, they derive a representation involving a logarithmic kernel:
     $$v(x) = C_n \int_{\mathbb{R}^n} P_n(y) \ln\left(\frac{|y|}{|x-y|}\right) dy + \gamma$$
     where $P_n(y) = (\frac{1}{|x|^2} * u^2)(y) u^2(y)$.
2. Asymptotic Behavior:
   • Using the expL + L ln L inequality (a limiting form of Young's inequality), the authors estimate integrals with logarithmic singularities.
   • They establish the precise asymptotic behavior at infinity:
     $$\lim_{|x| \to \infty} \frac{v(x)}{\ln |x|} = -\alpha$$
     where $\alpha = C_n \int_{\mathbb{R}^n} P_n(y) dy$.
   • They prove that $\alpha \ge \frac{1}{p}$ and derive the decay rate of $u$ based on $\alpha$.

B. The Method of Moving Spheres

Once the integral system is established, the authors apply the method of moving spheres to classify the solutions.

1. Kelvin Transform: They define the Kelvin transforms $u_{x,\lambda}$ and $v_{x,\lambda}$ with respect to a center $x$ and radius $\lambda$.
2. Comparison Principles:
   • They analyze the difference $u - u_{x,\lambda}$ and $v - v_{x,\lambda}$ using the positivity of the kernels in the integral equations.
   • They consider two cases based on the value of the parameter $\alpha$:
     • Case 1: $1 \le \alpha < n+1$. They show that for small$\lambda$, the inequality$u \le u_{x,\lambda}$and$v \le v_{x,\lambda}$holds. By moving the sphere outward, they derive a contradiction unless the sphere can be moved to infinity, which implies triviality ($u \equiv 0$), contradicting the equation.
     • Case 2: $\alpha > n+1$. They show that for large $\lambda$, the reverse inequality holds. Moving the sphere inward leads to a similar contradiction.
3. Critical Case: The only non-trivial possibility is the critical case $\alpha = n+1$.
   • In this case, the moving sphere method implies that the solution is invariant under the Kelvin transform for some radius $\lambda(x)$.
   • This invariance forces the solution to take a specific explicit form (a "bubble" or standard solution).

3. Key Contributions

1. Classification of Mixed-Order Systems: This is the first classification result for a system coupling a half-Laplacian ($(-\Delta)^{1/2}$) with a critical order operator ($(-\Delta)^{n/2}$) involving exponential growth and Hartree-type nonlocal terms in dimensions 3 and 4.
2. Relaxed Growth Conditions: The authors significantly weaken the growth assumptions on $u$. Previous works often required $u$ to be bounded or have specific polynomial decay. Here, they only require $u(x) = O(|x|^K)$ for arbitrarily large $K$, which is a very mild condition derived naturally from the integrability requirements of the fractional Laplacian.
3. Handling Double Nonlocality: The paper successfully navigates the technical difficulties arising from the interaction between the fractional Laplacian and the convolution nonlinearity, specifically deriving the integral representation for $v$ despite the lack of a direct Green's function for the coupled system.
4. Sharp Asymptotic Estimates: The derivation of the precise logarithmic asymptotic behavior of $v$ and the power-law decay of $u$ is a critical step that enables the application of the moving sphere method.

4. Main Results (Theorem 1.1)

Under the stated assumptions, the only classical solutions $(u, v)$ are of the following explicit forms, parameterized by $\mu > 0$ and a center $x_0 \in \mathbb{R}^n$:

For $n=3$:
$$u(x) = \frac{2 \cdot 2^{1/4} \mu}{\sqrt{\pi} (1 + \mu^2 |x-x_0|^2)}$$
$$v(x) = \frac{2}{p} \ln \left( \frac{2 \cdot 4^{-1/4} \cdot 2^{1/8} \mu}{\sqrt{\pi} (1 + \mu^2 |x-x_0|^2)} \right)$$
(Note: The paper presents the constants in a specific algebraic form; the structure is a standard bubble scaled by $p$.)

For $n=4$:
$$u(x) = \frac{2 \cdot 30^{1/4} \sqrt{\pi}}{\left( \frac{\mu}{1 + \mu^2 |x-x_0|^2} \right)^{3/2}} \quad \text{(Correction: The form is } u(x) = C \left(\frac{\mu}{1+\mu^2|x-x_0|^2}\right)^{\frac{n-1}{2}} \text{)}$$
$$v(x) = \frac{5}{2p} \ln \left( \frac{\sqrt{6} \cdot 5^{-1/10} \mu}{\sqrt{\pi} (1 + \mu^2 |x-x_0|^2)} \right)$$

Essentially, $u$ takes the form of a standard conformal bubble $u(x) \sim (1+|x|^2)^{-\frac{n-1}{2}}$, and $v$ is a logarithmic transformation of a similar bubble.

5. Significance

• Geometric Analysis: The system is related to prescribing $Q$-curvature problems and conformal geometry on spheres. The classification of solutions on $\mathbb{R}^n$ via stereographic projection corresponds to classifying metrics with constant curvature on the sphere $S^n$.
• Physical Applications: The Hartree-type nonlinearity models interactions in quantum mechanics (e.g., bosonic atoms), while the exponential growth relates to Liouville-type equations in combustion theory and statistical mechanics.
• Methodological Advancement: The paper demonstrates how to extend the method of moving spheres to systems with mixed fractional orders and nonlocal nonlinearities, providing a blueprint for future studies on similar coupled systems in critical dimensions.
• Rigorous Foundation: By establishing the integral representations under such mild growth conditions, the paper solidifies the theoretical framework for analyzing critical-order nonlocal PDEs.