Rellich-Kondrachov type theorems on the half-space with general singular weights

This paper establishes necessary and sufficient conditions for the compactness of the embedding $H_{\mu_w}^1(\mathbb{H}^{N+1}) \hookrightarrow L_{\mu_w}^2(\mathbb{H}^{N+1})$ on the half-space with general singular weights, proving that compactness holds if and only if the measure has finite mass and satisfies a global tightness condition characterized by coercive tail inequalities and, in singular cases, weighted Hardy inequalities.

The Gist

Imagine you are trying to organize a massive, chaotic crowd of people (mathematical functions) in a giant, infinite room. Your goal is to prove that if you have a group of people who are all behaving "well" (they aren't too wild or energetic), you can always find a smaller subgroup that settles down into a calm, predictable pattern.

In the world of advanced math, this is called a Rellich-Kondrachov Theorem. It's a rule that tells us when we can turn a "messy" infinite list of things into a neat, converging sequence.

This paper by Zhao and Chen is about proving this rule works in a very specific, tricky room: the Half-Space.

The Setting: A Room with a Sticky Floor and an Infinite Ceiling

Imagine the room is the upper half of a giant 3D space (where $y > 0$).

• The Floor ($y=0$): This is a "singular" boundary. Depending on the rules of the room, the floor might be sticky, slippery, or even have a hole in it. If the weight parameter $c$ is very negative ($c \le -1$), the floor is like a black hole that tries to suck everything in.
• The Walls: The room goes on forever in all directions.
• The Crowd: The people are functions. Their "energy" is measured by how much they wiggle (gradients) and how big they are.

The authors are asking: "Under what conditions can we guarantee that a group of well-behaved people will eventually settle down?"

The Two Big Problems: Escaping and Squeezing

In an infinite room, a crowd of people can fail to settle down in two specific ways. The paper identifies these as the two enemies of order:

1. The "Runaway" Problem (Tail Tightness):
   Imagine a group of people who keep running further and further away toward the horizon. Even if they are all behaving well locally, if they keep spreading out to infinity, they never gather into a single, tight group.

   • The Fix: The room needs a "Lyapunov Condition." Think of this as a magnetic field or a gravity well that gets stronger the further you go. If the "weight" of the room increases fast enough as you move away from the center, it becomes too "heavy" for the people to run away. They are forced to stay close to home. This ensures Tail Tightness.

2. The "Squeeze" Problem (Boundary Tightness):
   Imagine the people are trying to hide near the sticky floor ($y=0$). If the floor is "singular" (like a black hole), people might try to pile up infinitely close to it to gain energy without moving. If they do this, they never settle into a smooth pattern; they just get crushed into a singularity.

   • The Fix: This is where the Hardy Inequality comes in. Think of this as a safety net. It says, "If you try to get too close to the dangerous floor, you must pay a huge energy penalty." This forces the people to stay a safe distance away from the floor, preventing them from crushing into a singularity. This ensures Boundary Tightness.

The Main Discovery: The "Goldilocks" Rules

The authors prove that for the crowd to settle down (for the math to work), two things must happen simultaneously:

1. Finite Mass: The total "volume" of the room (weighted by how heavy the floor and walls are) must be finite. If the room is infinitely heavy or infinite in size without a pull, people can just drift apart forever.
2. Global Tightness: The crowd must not escape to the horizon (solved by the magnetic field) AND must not crush against the floor (solved by the safety net).

Why This Matters (The "So What?")

Previously, mathematicians only knew this worked for a very specific type of room: the Gaussian Room (where the weight is a bell curve, like a normal distribution). In that room, the "magnetic field" is naturally exponential (it gets heavy very fast).

This paper is a breakthrough because it says:
"You don't need a perfect bell curve! You can have any shape of weight, as long as it has a 'Lyapunov potential' (a force that pulls things back) and a 'Hardy property' (a safety net near the floor)."

The Analogy of the "Abstract Framework"

Think of the previous work (Gaussian weights) as learning to drive a specific car (a Tesla) on a specific track. You know exactly how the brakes and accelerator work.

Zhao and Chen have built a universal driving simulator. They figured out the principles of driving (friction, gravity, momentum) that apply to any car on any track.

• Instead of calculating the exact speed of a Tesla, they say: "As long as the car has brakes that work (Tail Coercivity) and a seatbelt that holds (Hardy Inequality), you can drive safely."

Summary in Plain English

This paper solves a puzzle about organizing infinite crowds in a half-infinite room with a tricky floor.

• The Problem: How do we know a group of functions will settle down?
• The Solution: They must not run away to infinity (they need a "magnetic pull" to stop them) and they must not crush against the floor (they need a "safety net" to keep them away).
• The Result: The authors proved that if these two conditions are met, the math works perfectly, no matter how weird the shape of the room's weight is. This opens the door to solving many new types of physics and engineering problems that were previously too messy to handle.

Technical Summary

Here is a detailed technical summary of the paper "Rellich-Kondrachov Type Theorems on the Half-Space with General Singular Weights" by Yunfan Zhao and Xiaojing Chen.

1. Problem Statement

The paper addresses the compactness of the embedding of weighted Sobolev spaces into weighted Lebesgue spaces on the half-space $H^{N+1} = \{(y, x) \in \mathbb{R} \times \mathbb{R}^N : y > 0\}$. Specifically, the authors investigate the embedding:
$$H^1_{\mu_w}(H^{N+1}) \hookrightarrow L^2_{\mu_w}(H^{N+1})$$
where the measure is defined as $d\mu_w = y^c \phi(|z|) dz$, with $z=(y,x)$, $c \in \mathbb{R}$, and $\phi$ being a Borel measurable radial function.

The core challenge is to establish necessary and sufficient conditions for this embedding to be compact when the weight $w(z)$ exhibits:

1. Singularities/Degegeneracy: At the boundary $y=0$ (depending on the parameter $c$).
2. General Radial Behavior: At infinity (governed by $\phi(|z|)$), moving beyond the specific Gaussian case ($\phi(r) = e^{-ar^2}$) studied in previous literature.

2. Methodology

The authors employ a functional analytic framework based on the Fréchet-Kolmogorov Compactness Criterion, adapted for weighted spaces. Their strategy involves decomposing the problem into local and global components:

• Local Compactness: They prove that on any bounded domain strictly separated from the singular boundary $y=0$, the weighted space is topologically isomorphic to the standard Sobolev space $H^1$. Thus, classical Rellich-Kondrachov compactness holds locally.
• Global Tightness: To ensure global compactness, they must prevent mass from "escaping" to infinity or "concentrating" at the singularity. They define two specific conditions:
  1. Tail Tightness: Uniform decay of mass at infinity.
  2. Boundary Tightness: Uniform decay of mass near the singular boundary $y=0$.
• Functional Inequalities:
  • Weighted Hardy Inequality: Used to control behavior near $y=0$ when $c \leq -1$.
  • Annular Poincaré Inequality: A scaling-invariant inequality used to handle gradient terms on annuli, independent of the specific weight form.
  • Lyapunov (Tail Coercivity) Condition: An abstract condition involving a potential function $\Psi(|z|)$ that grows at infinity, ensuring uniform decay of mass in the tails.

3. Key Contributions and Definitions

A. The Weight Class

The paper generalizes previous work (specifically [16] on Gaussian weights) by considering weights of the form $w(z) = y^c \phi(|z|)$ where $\phi$ is locally bounded away from zero and infinity. This allows for a vast class of radial potentials, not just exponential decay.

B. The "Global Tightness" Condition (Definition 2.6)

The authors formalize the requirement for compactness as the Global Tightness of the unit ball in $H^1_{\mu_w}$. This requires:

1. Tail Tightness: $\lim_{R \to \infty} \sup_{u \in B} \|u\|_{L^2(\{|z|>R\})} = 0$.
2. Boundary Tightness: $\lim_{\delta \to 0} \sup_{u \in B} \|u\|_{L^2(\{0<y<\delta\})} = 0$.

C. The "Hardy Property" (HP)

For the singular case ($c \leq -1$), the authors introduce the Hardy Property, requiring the existence of a constant $C_H$ such that:
$$\int_{H^{N+1}} \frac{|u|^2}{y^2} d\mu_w \leq C_H \|\nabla u\|^2_{L^2_{\mu_w}}$$
This ensures functions vanish sufficiently fast at the boundary to counteract the singularity of the weight.

D. The "Tail Coercivity" (TC) / Lyapunov Condition

Instead of relying on explicit Gaussian decay, the paper posits the existence of a Lyapunov function $\Psi(|z|)$ (where $\Psi \to \infty$ as $|z| \to \infty$) such that:
$$\int \Psi(|z|) u^2 d\mu_w \leq C \int (|\nabla u|^2 + u^2) d\mu_w$$
This abstract condition guarantees that the mass of functions with bounded energy cannot escape to infinity.

4. Main Results

Theorem 7.1: Characterization of Compactness

The embedding $H^1_{\mu_w} \hookrightarrow L^2_{\mu_w}$ is compact if and only if:

1. Finite Mass: The total measure is finite ($\mu_w(H^{N+1}) < \infty$).
2. Global Tightness: The unit ball satisfies the tightness conditions defined above.

Specific Implications:

• For $c > -1$ (Degenerate case): Compactness holds iff the measure has finite mass and the Tail Coercivity (TC) condition is met. Boundary tightness is automatic due to local integrability.
• For $c \leq -1$ (Singular case): Compactness holds iff the measure has finite mass, the Tail Coercivity (TC) condition is met, and the Weighted Hardy Inequality (HP) holds. The Hardy inequality is shown to be structurally equivalent to preventing mass concentration at the singularity.

Theorem 7.2: Abstract Characterization

The paper provides a purely abstract characterization: Compactness is equivalent to the Condition of Tightness (uniform mass vanishing at infinity and the boundary) combined with local compactness. This decouples the specific geometry of the weight from the compactness mechanism.

5. Significance and Impact

1. Generalization of Gaussian Results: The work significantly extends the results of [16] (which were specific to Gaussian weights $\phi(r) = e^{-ar^2}$) to a broad class of radial potentials. It demonstrates that the specific exponential decay is not necessary; rather, the existence of a coercive Lyapunov potential is the driving factor.
2. Unified Framework: By separating the problem into "Local Compactness" and "Global Tightness," the authors provide a unified functional analytic tool applicable to both degenerate ($c > -1$) and singular ($c \leq -1$) weights.
3. Necessity of Hardy Inequality: The paper establishes that for singular weights, the validity of the weighted Hardy inequality is not just a tool for estimates but a necessary condition for the compactness of the embedding.
4. Applications: These results are foundational for:
   • Proving existence and regularity of solutions to degenerate/singular PDEs (e.g., $L = \text{div}(w\nabla u)$).
   • Deriving Harnack inequalities and heat kernel estimates.
   • Analyzing non-local operators and fractional Laplacians via the Caffarelli-Silvestre extension procedure.

In summary, Zhao and Chen provide a rigorous, necessary, and sufficient characterization of Rellich-Kondrachov type theorems in weighted half-spaces, replacing specific decay assumptions with abstract coercivity and tightness conditions that apply to a much wider range of singular and degenerate problems.