🔢 mathematics

Sharp trace inequalities for conformally invariant fractional powers of the sublaplacian on the Heisenberg group and the CR sphere

This paper establishes sharp Sobolev trace inequalities for conformally invariant fractional powers of the sublaplacian on the Heisenberg group and the CR sphere, along with limiting trace Beckner-Onofri inequalities, by extending Euclidean results through a duality argument and sharp Hardy-Littlewood-Sobolev inequalities.

Original authors: Qiaohua Yang, Leyuan Yu

Published 2026-04-21

📖 7 min read🧠 Deep dive

CC BY 4.0

Original authors: Qiaohua Yang, Leyuan Yu

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

The Big Picture: Measuring the "Ripples" of a Wave

Imagine you are standing by a calm pond. If you drop a stone, ripples spread out across the water. In mathematics, we often want to measure how much energy is in those ripples.

Usually, we measure the energy of the entire pond (the whole 3D space). But sometimes, we only care about the edge of the pond, or a specific line drawn on the surface. The big question this paper answers is: If I know how much energy is in the ripples on the edge (the "trace"), can I predict how much total energy is in the whole pond? And what is the absolute best, most precise way to do this calculation?

The authors, Qiaohua Yang and Leyuan Yu, have found the "Gold Standard" formulas for this calculation in two very strange, non-flat worlds: the Heisenberg Group and the CR Sphere.

1. The Setting: Flat vs. Curved Worlds

To understand their achievement, we first need to understand the "terrain" they are working on.

The Old Way (Euclidean Space): Imagine a flat, infinite sheet of paper. This is the standard world of high school geometry. Mathematicians have known for a long time how to measure the relationship between the edge of a shape and the whole shape on this flat paper.
The New Worlds (Heisenberg Group & CR Sphere): The authors are working in "curved" or "twisted" spaces.
- The Heisenberg Group: Imagine a world where you can move forward, backward, left, and right, but if you try to move "up," you actually drift sideways. It's like driving a car where turning the steering wheel also moves you forward. It's a space with its own unique rules of distance and movement.
- The CR Sphere: Imagine the surface of a ball, but the rules of geometry on the surface are different from a normal ball. It's a "complex" sphere where directions are intertwined in a special way.

The Analogy: Think of the flat paper as a calm lake. The Heisenberg group is like a lake with a strong, swirling current that twists your path. The CR sphere is like a lake that is actually the surface of a giant, spinning balloon. The math gets much harder because the "straight lines" aren't straight anymore.

2. The Problem: The "Shadow" and the "Object"

In this paper, the authors are dealing with Fractional Powers of the Sublaplacian. That sounds scary, but let's break it down:

The Sublaplacian: This is a machine that measures how "wiggly" or "rough" a function (a wave) is.
Fractional Powers: Instead of just measuring the wiggle once, they measure it "halfway" or "three-quarters" of the way. It's like measuring the "potential" of a wave before it fully forms.
The Trace: This is the "shadow" the wave casts on a lower-dimensional boundary. If the wave exists in 3D, the trace is what it looks like on a 2D wall.

The Challenge:
Imagine you have a complex 3D sculpture (the wave in the Heisenberg group). You are only allowed to look at its shadow on a 2D wall (the trace). The authors wanted to find the perfect formula that tells you: "Based on the size and shape of this shadow, what is the minimum amount of energy the 3D sculpture must have?"

They didn't just want any formula; they wanted the Sharp formula. "Sharp" means it's the tightest possible bound. You can't make the formula any smaller without it becoming false. It's the mathematical equivalent of finding the exact size of a box needed to fit a specific object with zero wasted space.

3. The Method: The "Mirror Trick" (Duality)

How did they solve this? They used a clever trick called Duality, which is like looking at a problem in a mirror.

The Original Problem: "How much energy is in the whole space based on the edge?"
The Mirror Problem: "How much energy is in the edge based on the whole space?"

The authors realized that if you solve the mirror problem perfectly, the original problem solves itself. They used a technique developed by other mathematicians (Bez, Machihara, Sugimoto) which involves flipping the equation inside out.

They also leaned on a "Heavy Hitter" result by Frank and Lieb, which gave them the perfect "ruler" to measure the energy in these twisted spaces. By combining the Mirror Trick with this Perfect Ruler, they were able to derive the exact formulas.

4. The Results: The "Golden Formulas"

The paper presents three main types of "Golden Formulas" (Theorems 1.3, 1.4, and 1.5):

Heisenberg Group to Heisenberg Subgroup: How the energy of a wave in the twisted 3D world relates to its shadow on a twisted 2D slice.
CR Sphere to CR Sub-sphere: How the energy on the complex ball relates to its shadow on a smaller complex circle.
Heisenberg to CR Sphere: A bridge connecting the twisted world to the complex ball world.

Why "Sharp" Matters:
In engineering or physics, if your formula is "loose" (not sharp), you might overestimate the energy needed, leading to inefficient designs. If it's "sharp," you know the exact limit. These formulas tell us the absolute best possible relationship between a shape and its shadow in these weird geometries.

5. The "Edge Case": The Limiting Case (Beckner-Onofri)

The paper also looks at a special "limiting case" (Theorems 1.6, 1.7, 1.9).

Imagine you keep stretching a rubber band. Eventually, it reaches a point where it's about to snap. In math, this is the "limit."

The authors found that when the "wiggle" measurement reaches a specific critical point, the inequality changes form.
Instead of comparing energy to size, it starts comparing energy to the logarithm of the average value.
This is called the Beckner-Onofri inequality. It's like a rule that says, "If the wave gets too wild at the limit, the energy required to hold it together explodes in a very specific, predictable way."

They proved this holds true not just for the twisted Heisenberg world, but also for the standard sphere (the normal ball), which is a new discovery for that specific setting.

Summary: What Did They Actually Do?

Think of the mathematical world as a library of rules for different universes.

Before this paper: We had the rulebook for the "Flat Universe" (Euclidean space). We knew exactly how to measure shadows and ripples there.
This paper: The authors wrote the rulebook for the "Twisted Universe" (Heisenberg) and the "Complex Sphere Universe" (CR Sphere).
The Breakthrough: They didn't just guess the rules; they proved that their rules are the best possible (sharp). They showed that if you try to make the rule any stricter, it breaks.

In a Nutshell:
They took a difficult problem about measuring waves in twisted, non-flat spaces, used a clever mirror trick to flip the problem around, and found the exact, unbreakable formulas that link the "whole" to its "shadow." This helps mathematicians and physicists understand the fundamental limits of energy and shape in complex geometries.

1. Problem Statement

The paper addresses the problem of establishing sharp Sobolev trace inequalities and trace Beckner-Onofri inequalities in non-Euclidean geometric settings, specifically:

The Heisenberg group ( $H_n$ ).
The CR sphere ( $S^{2n+1}$ ).
The standard Euclidean sphere ( $S^n$ ).

While sharp trace inequalities for fractional Sobolev spaces were previously established in Euclidean space ( $\mathbb{R}^n$ ) by Einav, Loss, Beckner, and Bez-Machihara-Sugimoto, this work extends these results to settings involving the sublaplacian (a degenerate elliptic operator) and its conformally invariant fractional powers. The goal is to determine the optimal constants and the specific functions (extremizers) for which equality holds in these inequalities.

2. Methodology

The authors employ a sophisticated combination of harmonic analysis, spectral theory, and geometric transformations. The core methodology includes:

Duality Argument: The primary proof technique follows the approach of Bez-Machihara-Sugimoto. Instead of working directly with the trace inequality, they construct a linear operator $S_m$ (and its adjoint $S_m^*$ ) that maps functions from the full space to a lower-dimensional subspace (the trace). By analyzing the composition $S_m S_m^*$ , they derive an identity that decomposes the energy norm into a trace term and a remainder term.
Sharp Hardy-Littlewood-Sobolev (HLS) Inequalities: The proofs rely heavily on the sharp form of the HLS inequalities on the Heisenberg group and the CR sphere, established by Frank and Lieb. These inequalities provide the necessary bounds for the integral kernels involved in the trace operators.
Cayley Transform: To transfer results between the Heisenberg group and the CR sphere, the authors utilize the Cayley transform ( $C_n$ ), which is a conformal map between $H_n$ and $S^{2n+1}$ . This allows them to leverage the known sharp Sobolev inequalities on the sphere to prove results on the group, and vice versa.
Spectral Decomposition: On the CR sphere, the operators are analyzed using the decomposition of $L^2(S^{2n+1})$ into irreducible representations of $U(n+1)$ (spherical harmonics $H_{j,k}$ ). This spectral approach is crucial for defining the conformally invariant fractional powers of the sublaplacian ( $L_{s, H_n}$ and $A_{s, S^{2n+1}}$ ).
Limiting Cases: For the critical exponent $s = Q_n$ (the homogeneous dimension), the authors analyze the limit of the fractional operators to derive trace versions of the Beckner-Onofri inequalities, which involve logarithmic terms.

3. Key Contributions and Results

A. Sharp Sobolev Trace Inequalities

The paper establishes three main types of sharp trace inequalities:

Heisenberg Group to Subgroup ( $H_n \to H_{n-m}$ ):
- Theorem 1.3: Proves that for $f \in W^{s,2}(H_n)$ , the energy $\int_{H_n} |L_{s, H_n}^{1/2} f|^2$ is bounded below by a constant times the $L^p$ norm of the trace on the subgroup $H_{n-m}$ .
- Extremizers: Equality holds if and only if $f$ is a specific multiple of a kernel involving the distance to the subgroup and a dilation parameter.
CR Sphere to Lower-Dimensional Sphere ( $S^{2n+1} \to S^{2(n-m)+1}$ ):
- Theorem 1.4: Establishes the analogous inequality for the CR sphere using the operator $A_{s, S^{2n+1}}$ .
- Extremizers: The equality cases are characterized by functions involving the distance to the lower-dimensional sphere and a conformal factor.
Heisenberg Group to CR Sphere ( $H_n \to S^{2(n-m)+1}$ ):
- Theorem 1.5: Provides a mixed trace inequality where the domain is the Heisenberg group, but the trace is taken on a CR sphere embedded within it (via the Cayley transform logic).

B. Trace Beckner-Onofri Inequalities

In the limiting case where the fractional power $s$ equals the homogeneous dimension $Q_n$ (or $n$ for the sphere), the Sobolev inequalities transition into logarithmic (Beckner-Onofri) inequalities.

Theorem 1.7 (CR Sphere): Establishes a trace Beckner-Onofri inequality on the CR sphere involving the operator $A'_{Q_n, S^{2n+1}}$ (defined on CR-pluriharmonic functions). The inequality relates the energy of the function to the logarithm of the integral of its exponential trace.
Theorem 1.9 (Standard Sphere): The authors extend their method to the standard Euclidean sphere $S^n$ , deriving a trace Beckner-Onofri inequality for the restriction to a lower-dimensional sphere $S^{n-m}$ . This is noted as a novel result not previously covered in the literature.

C. Explicit Constants and Extremizers

A significant contribution is the explicit calculation of the best constants (involving Gamma functions and powers of $\pi$ ) and the precise characterization of the extremal functions (functions that achieve equality). These extremizers are generally of the form:
$f(u) \propto |z''|^{s-2m} \int \frac{1}{|u^{-1}v|^{\dots}} \dots dv$
or similar conformal kernels, depending on the specific geometry.

4. Significance

Extension of Euclidean Theory: The paper successfully generalizes deep results from Euclidean harmonic analysis (Einav-Loss, Beckner, Bez-Machihara-Sugimoto) to the non-commutative, sub-Riemannian geometry of the Heisenberg group and CR manifolds.
Optimality: By identifying the sharp constants and extremizers, the paper provides the definitive bounds for these trace problems, which are essential for understanding the compactness and existence of solutions to related nonlinear PDEs (e.g., fractional Yamabe problems).
Unified Approach: The use of the duality argument combined with the Cayley transform demonstrates a powerful, unified framework for handling trace inequalities across different conformally invariant geometries (Euclidean, Heisenberg, and CR).
New Results on Standard Sphere: The derivation of trace Beckner-Onofri inequalities on the standard sphere fills a gap in the existing literature, offering new tools for geometric analysis on $S^n$ .

In summary, this paper provides a rigorous and complete solution to the problem of sharp trace inequalities for conformally invariant fractional sublaplacians in CR geometry, utilizing advanced spectral and duality techniques to establish optimal constants and characterize extremal functions.