Potential Theory of the Fractional-Logarithmic Laplacian: Global Regularity and Critical Compact Embeddings

This paper establishes a comprehensive potential-theoretic framework for the fractional-logarithmic Laplacian by deriving explicit kernel representations and sharp asymptotics, defining associated logarithmic Bessel spaces, and proving global regularity results alongside critical compact embeddings that exhibit a strict logarithmic gain.

The Gist

Imagine you are trying to understand how heat spreads through a metal plate, or how a rumor travels through a crowd. In the world of mathematics, we use tools called operators to describe these processes.

For a long time, mathematicians have used two main tools for this:

1. The Fractional Laplacian: Think of this as a "long-range" tool. It describes how a change in one spot instantly affects spots far away, but the influence fades out like a standard power law (like gravity getting weaker as you move away).
2. The Logarithmic Laplacian: This is a newer, more subtle tool. It describes a situation where the influence is even more delicate, fading out very slowly, almost like a whisper that lingers in the air longer than a shout.

This paper, written by Rui Chen, introduces a hybrid tool called the Fractional-Logarithmic Laplacian. It's like a "super-tool" that combines the long-range reach of the first tool with the subtle, lingering nature of the second.

Here is a breakdown of the paper's main discoveries using simple analogies:

1. The "Ghostly" Kernel (The Recipe for Influence)

To use these tools, mathematicians need a "kernel"—a mathematical recipe that tells them exactly how much influence one point has on another.

• The Old Recipe: The standard recipe (called the Bessel kernel) has a problem. Near the center, it gets infinitely sharp (like a needle), and at the edges, it fades away exponentially (like a light bulb turning off).
• The New Recipe: Chen derived a new recipe for this hybrid tool.
  • Near the center: Instead of being a sharp needle, the new recipe is "softened" by a logarithmic factor. Imagine a needle wrapped in soft foam. It's still sharp, but not infinitely sharp. This makes it much easier to work with mathematically.
  • Far away: Surprisingly, the way this new recipe fades out at a distance is exactly the same as the old one. It still turns off like a light bulb, regardless of the "softening" in the middle.

2. The "Bridge" Between Worlds

One of the biggest challenges in math is connecting the "homogeneous" world (where we ignore the starting point) with the "inhomogeneous" world (where we include the starting point).

• The Problem: Usually, these two worlds speak different languages.
• The Solution: Chen built a structural bridge. He proved that you can translate any problem from the complex "inhomogeneous" world into the simpler "homogeneous" world using a specific set of rules (measures).
• Why it matters: This bridge allows mathematicians to take known solutions and apply them to these new, more complex problems without having to start from scratch.

3. The "Magic" of Compactness (The Big Win)

This is the most exciting part of the paper. In the world of calculus, there is a concept called Compactness.

• The Analogy: Imagine you have a bunch of rubber bands (functions) stretched out. In classical math, if you stretch them to their absolute limit (the "critical" point), they can snap or slip away into infinity. You can't grab them and hold them still. This makes solving equations very hard because the solution might "escape."
• The Classical Failure: In standard math, at the critical limit, these rubber bands do escape. You lose control.
• The New Discovery: Because of the "soft foam" (the logarithmic factor) in the new recipe, the rubber bands don't slip away.
  • Even at the absolute limit where classical math fails, this new tool keeps the solutions compact.
  • What this means: It means that even in the most extreme, critical scenarios, the solutions stay put. They are well-behaved, predictable, and can be found using standard methods. It's like finding a way to hold a slippery fish that was previously impossible to catch.

4. Real-World Implications

Why should a non-mathematician care?

• Better Models: This tool helps model physical phenomena where interactions are long-range but have a subtle, lingering quality (like certain types of diffusion in biology or finance).
• Solving Hard Equations: Many difficult equations in physics (like those describing how materials break or how fluids flow) hit a "wall" at critical points. This paper shows that using this new tool, we can smash through that wall. The "logarithmic gain" provides just enough extra stability to prove that solutions exist and are unique.

Summary

Rui Chen has invented a new mathematical lens.

• Old Lens: Good for long-range effects, but gets too sharp and slippery at the edges.
• New Lens: Softens the sharp edges just enough to stop the solutions from slipping away, while keeping the long-range vision.
• Result: We can now solve difficult problems at the very edge of what was previously thought possible, with the confidence that the answers are stable and real.

It's a bit like discovering that if you add a tiny bit of "logarithmic friction" to a sliding block, it stops sliding off the table entirely, even when the table is tilted to the maximum angle.

Technical Summary

Here is a detailed technical summary of the paper "Potential Theory of the Fractional-Logarithmic Laplacian: Global Regularity and Critical Compact Embeddings" by Rui Chen.

1. Problem Statement and Motivation

The paper addresses the mathematical analysis of two deeply interconnected nonlocal operators:

1. The Fractional-Logarithmic Laplacian: $(−\Delta)^{s+\ln}$, a homogeneous operator with Fourier symbol $(4\pi^2|\xi|^2)^s \ln(4\pi^2|\xi|^2)$.
2. The Logarithmic Bessel Potential Operator: $(\lambda I - \Delta)^{s+\ln}$, an inhomogeneous operator with Fourier symbol $(\lambda + 4\pi^2|\xi|^2)^s \ln(\lambda + 4\pi^2|\xi|^2)$ for $\lambda > 1$.

Context: While the fractional Laplacian $(−\Delta)^s$ and the logarithmic Laplacian (the limit as $s \to 0$) are well-studied, the "interpolating" operator $(−\Delta)^{s+\ln}$ represents a new class of nonlocal operators. The primary challenge lies in the critical regime of Sobolev embeddings. In classical theory, at the critical exponent $p^* = \frac{np}{n-2sp}$ (where $2sp = n$), the embedding of Bessel potential spaces into$L^\infty$ or Hölder spaces fails, and compactness is lost due to scaling invariance and mass concentration. The paper seeks to determine if the additional logarithmic factor in the symbol provides enough "regularity gain" to restore continuity and compactness at these critical thresholds.

2. Methodology

The author employs a rigorous pseudo-differential and potential-theoretic framework combining several advanced techniques:

• Kernel Representation via Gamma Mixtures: The logarithmic Bessel kernel $K^{\lambda}_{s+\ln}$ is derived as an integral of shifted Bessel kernels $G^\lambda_\alpha$ over the parameter $\alpha$. This utilizes the probabilistic interpretation of the Gamma distribution to establish asymptotic behaviors.
• Complex Analysis and Contour Deformation: To determine the far-field asymptotics ($|x| \to \infty$), the author uses Fourier-Bessel (Hankel) representations and deforms integration contours into the complex plane. This isolates the dominant singularity (a simple pole) and handles branch cuts introduced by the logarithmic term.
• Littlewood-Paley Decomposition: A dyadic decomposition is used to construct $L^1$ convolution kernels for transition multipliers between homogeneous and inhomogeneous symbols. This bridges the gap between the Riesz and Bessel potentials in the logarithmic setting.
• Measure-Theoretic Bridges: The paper establishes a structural link between the homogeneous symbol $(4\pi^2|\xi|^2)^s \ln(\dots)$ and the inhomogeneous symbol via finite Borel measures, allowing the transfer of regularity estimates.
• Functional Analysis on Homogeneous Spaces: To handle the singularity at $\xi=0$ for the homogeneous operator, the analysis is conducted on the quotient spaces $S'_\infty(\mathbb{R}^n)$ (distributions modulo polynomials) and $S'_0(\mathbb{R}^n)$.

3. Key Contributions and Results

A. Sharp Asymptotics of the Logarithmic Bessel Kernel

The paper derives precise pointwise asymptotics for the kernel $K^{\lambda}_{s+\ln}(x)$:

• Near the Origin ($|x| \to 0$):
  • Singular Regime ($n > 2s$): The singularity is a logarithmically moderated Riesz type: $K \sim |x|^{2s-n} / \ln(1/|x|)$. This is strictly weaker than the classical Riesz kernel $|x|^{2s-n}$.
  • Critical Regime ($n = 2s$): The kernel exhibits a double-logarithmic blow-up: $K \sim 1 / \ln(\ln(1/|x|))$.
  • Continuous Regime ($n < 2s$): The kernel is bounded and continuous at the origin.
• At Infinity ($|x| \to \infty$): The kernel decays exponentially as $e^{-\sqrt{\lambda-1}|x|}$. Crucially, the decay rate and prefactor are independent of $s$, a striking feature distinguishing it from classical Bessel kernels where the decay depends on the order.

B. Critical Integrability and Regularity

• Restoration of Strong Integrability: Due to the logarithmic denominator in the singularity, the kernel $K^{\lambda}_{s+\ln}$ belongs to the strong Lebesgue space $L^r(\mathbb{R}^n)$ at the critical exponent $r = \frac{n}{n-2s}$, whereas the classical Riesz kernel only belongs to the weak space $L^{r,\infty}$.
• Consequence: This allows the use of elementary Young's convolution inequality for critical estimates, bypassing the need for the deep Hardy-Littlewood-Sobolev (HLS) machinery in the critical case.
• $L^p$ Regularity: The paper proves that $(\lambda I - \Delta)^{s+\ln}$ is an isometric isomorphism from $L^p_{s+\ln, \lambda}$ to $L^p$. Furthermore, solutions to the homogeneous equation $(−\Delta)^{s+\ln}u = f$ are shown to belong to the same logarithmic Bessel scale with quantitative bounds.

C. Embedding and Compactness Theory

The most significant contribution is the recovery of compactness at critical thresholds, which is absent in classical theory:

• Critical Continuous Embeddings: At the critical line $2s = n/p$, the space$L^p_{s+\ln, \lambda}$embeds continuously into$C^m_0(\mathbb{R}^n)$ (Hölder-type spaces) with an explicit logarithmic modulus of continuity:
  $$\|\partial^\gamma u(\cdot+h) - \partial^\gamma u(\cdot)\|_{L^\infty} \leq C |h| \cdot |\ln |h||^{-1/p}$$
  This confirms that the logarithmic correction pushes the critical case beyond the $L^\infty$ threshold.
• Local Compactness: On bounded domains $\Omega$, the embedding $L^p_{s+\ln, \lambda} \hookrightarrow L^q(\Omega)$ is compact for all $1 \leq q \leq p^$, including the critical exponent$q=p^$.
• Global Radial Compactness: Under radial symmetry, the embedding $L^p_{s+\ln, \lambda, \text{rad}} \hookrightarrow L^q(\mathbb{R}^n)$ is compact for all $p < q \leq p^*$.
• Mechanism: The compactness is restored because the logarithmic weakening of the kernel singularity prevents the "concentration of mass" that typically destroys compactness in the classical subcritical/critical transition.

4. Significance and Impact

• Theoretical Advancement: The paper establishes a unified functional framework for fractional-logarithmic operators, linking them to classical Bessel and Riesz potentials while highlighting their unique "logarithmic gain."
• Resolution of Critical Phenomena: It demonstrates that logarithmic modifications can fundamentally alter the topology of function spaces, restoring compactness at critical Sobolev exponents where classical theory fails. This is a rare phenomenon in nonlocal operator theory.
• Applications: The results provide a robust foundation for studying nonlinear PDEs involving the fractional-logarithmic Laplacian, particularly those with critical growth (e.g., critical nonlinear Schrödinger equations or conformal geometry problems), where variational methods rely heavily on compact embeddings.
• Methodological Innovation: The use of complex contour deformation to extract exact asymptotic constants and the construction of measure-level bridges between homogeneous and inhomogeneous symbols offer new tools for analyzing operators with slowly varying multipliers.

In summary, Rui Chen's work proves that the fractional-logarithmic Laplacian is not merely a perturbation of the fractional Laplacian but possesses distinct analytical properties that resolve long-standing issues regarding critical embeddings and compactness in nonlocal analysis.