Compact Sobolev embeddings of radially symmetric functions

This paper establishes a complete characterization of the compactness of Sobolev embeddings for radially symmetric functions on $\mathbb{R}^n$ and weighted balls within the general framework of rearrangement-invariant function spaces by developing novel techniques that overcome the limitations of previous methods restricted to domains of finite measure.

The Gist

Imagine you are a city planner trying to organize a massive, infinite city called $\mathbb{R}^n$ (which represents our entire universe in $n$ dimensions). You have a special rule for your citizens: they must be radially symmetric. This means every citizen's "profile" looks the same no matter which direction you look from the center of the city. If you walk 10 miles north, south, east, or west, the "vibe" of the city at that distance is identical.

The paper by Zdeněk Mihula is essentially a master blueprint for understanding how these symmetric citizens can move between different "neighborhoods" (mathematical spaces) without causing chaos.

Here is the breakdown of the problem and the solution, using simple analogies:

1. The Problem: The "Runaway Mass"

In the world of mathematics, there are "Sobolev spaces." Think of these as neighborhoods where people have a certain amount of smoothness (they don't jump around wildly) and energy.

Usually, if you try to move people from a "Smooth Neighborhood" to a "Larger Neighborhood" (like a Lebesgue space), things go wrong in an infinite city.

• The Issue: Because the city is infinite, a group of people can just pack up and run off to infinity. In math terms, the "mass" escapes. Even if you have a huge crowd, they can spread out so thinly over the infinite city that they disappear from your view. This makes it impossible to guarantee that a sequence of people will settle down into a stable group. This is called non-compactness.

2. The Magic Trick: Radial Symmetry

The paper focuses on a special group: people who are radially symmetric.

• The Analogy: Imagine a ripple in a pond. The water moves up and down in perfect circles. If you know the height of the water at 1 mile from the center, you know the height at every point 1 mile away.
• The Result: Because these "ripples" are tied to the center, they can't just run off to infinity without changing their shape. The symmetry forces them to stay somewhat "tethered." This allows mathematicians to prove that, under the right conditions, these groups do settle down (they are compact).

3. The New Map: Rearrangement-Invariant Spaces

The author doesn't just look at standard neighborhoods (like $L^p$ spaces); he looks at a whole universe of neighborhoods called "Rearrangement-Invariant (r.i.) spaces."

• The Metaphor: Imagine you have a bag of marbles. In a standard neighborhood, you care about the exact location of every marble. In an r.i. neighborhood, you only care about the shape of the pile. If you shuffle the marbles around but keep the pile's shape the same, the "value" of the neighborhood doesn't change.
• The Goal: Mihula wants to know: When can we move a crowd from one shape-based neighborhood to another, ensuring they don't scatter into the void?

4. The Solution: The "Two-Part Lock"

The paper provides a complete "Yes/No" checklist (Theorem 1.1) to determine if the move is safe. It requires two locks to be unlocked simultaneously:

Lock A: The "Global" Check (Condition 1.8)

• The Metaphor: Imagine the destination neighborhood is a giant net. The source neighborhood is a dense crowd.
• The Rule: The net must be "looser" than the crowd, but not too loose. Specifically, if you look at the "tail" of the crowd (the people far out in the distance), the destination net must be able to catch them easily. If the destination is too "tight" for the distant parts of the crowd, the mass escapes.
• Simple English: The destination space must be "weaker" (more forgiving) than the source space when looking at the far reaches of the infinite city.

Lock B: The "Local" Check (Conditions 1.9–1.13)

• The Metaphor: This is about the "center" of the city (near the origin).
• The Rule: Depending on how "smooth" the people are (the order of derivatives, $m$) and the dimension of the city ($n$), the destination must handle the "clumping" near the center correctly.
  • If the people are very smooth ($m$ is high), they can handle being packed tightly.
  • If they are less smooth, the destination must be very flexible.
• Simple English: The destination must be the right "size" to hold the crowd near the center without crushing them or letting them slip through.

5. The Weighted Ball: A Special Case

The paper also looks at a specific scenario: a weighted ball (a finite sphere where the "weight" of the ground changes as you get closer to the center).

• The Analogy: Imagine a ball where the ground is sticky near the center and slippery near the edge.
• The Discovery: If the citizens are radially symmetric, they can handle much "stickier" weights than usual. This allows them to move into "tighter" neighborhoods than non-symmetric citizens could. This is crucial for solving real-world physics problems (like the Hénon equation in astronomy) where things are concentrated near a center.

6. Why This Matters

Before this paper, mathematicians had to check these conditions one by one for specific types of neighborhoods (like $L^p$ spaces). It was like having a different map for every single street.

Mihula's paper provides one master map that works for any shape-based neighborhood.

• The Impact: It tells us exactly when we can guarantee stability in infinite systems. This is vital for solving equations that describe waves, particles, and fluids in physics. If the math says "Compactness holds," we know the system will behave predictably. If not, the system might blow up or vanish.

Summary

Think of this paper as the ultimate safety inspector for moving crowds in an infinite city.

1. The Crowd: Radially symmetric functions (ripples).
2. The City: Infinite space.
3. The Danger: The crowd running off to infinity.
4. The Solution: A precise set of rules (Theorems) that tell you exactly how "loose" your destination net needs to be to catch the crowd, ensuring they stay put and behave nicely.

It's a "complete picture" because it covers every possible type of neighborhood and every level of smoothness, finally solving a puzzle that has been tricky for decades.

Technical Summary

Here is a detailed technical summary of the paper "Compact Sobolev embeddings of radially symmetric functions" by Zdeněk Mihula.

1. Problem Statement

The paper addresses the fundamental problem of characterizing the compactness of Sobolev embeddings for radially symmetric functions on the entire Euclidean space $\mathbb{R}^n$ ($n \geq 2$).

• Context: Standard Sobolev embeddings $W^{m,p}(\mathbb{R}^n) \hookrightarrow L^q(\mathbb{R}^n)$ are generally non-compact on unbounded domains due to two phenomena:
  1. Translation invariance: Mass can "escape to infinity" (concentration at infinity).
  2. Vanishing: Mass can spread out and vanish locally.
• The Radial Symmetry Advantage: It is a classical result (Strauss, 1977) that restricting the domain to radially symmetric functions ($W^{m,p}_R(\mathbb{R}^n)$) restores compactness for certain ranges of $p$ and $q$. This is because radial symmetry prevents mass from escaping to infinity in the same way (functions must decay at a specific rate).
• The Gap: Previous characterizations of this compactness were largely limited to:
  • Classical Lebesgue spaces ($L^p$).
  • Domains of finite measure (where "escaping to infinity" is not an issue, only local concentration matters).
  • Pointwise estimates (Radial Lemmas) which are difficult to generalize to abstract function spaces.
• Goal: The author aims to provide a complete characterization of compactness for the embedding:
  $$W^m_R X(\mathbb{R}^n) \hookrightarrow Y(\mathbb{R}^n)$$
  where $X$ and $Y$ are arbitrary rearrangement-invariant (r.i.) function spaces (e.g., Lorentz, Orlicz, Lorentz-Zygmund spaces) on the entire space $\mathbb{R}^n$.

2. Methodology

The author develops a novel framework that avoids reliance on pointwise radial lemmas, which are insufficient for general r.i. spaces.

• Avoiding Pointwise Estimates: Instead of using the classical pointwise estimate $|u(x)| \leq C |x|^{-(n-1)/p} \|u\|$, which relies on specific exponents, the author works directly with norm inequalities and the structure of r.i. spaces.
• Decomposition of Compactness: The proof strategy separates the compactness condition into two distinct geometric phenomena:
  1. Global Decay (Escape to Infinity): Characterized by the behavior of the norms at infinity.
  2. Local Behavior (Concentration/Vanishing): Characterized by the behavior of the norms near the origin (or on bounded domains).
• Key Technical Tool (Proposition 1.2): The author proves a crucial inequality relating the norm of a radial function outside a ball $B_R$ to a specific operator acting on the rearrangement of the function. This establishes that for radial functions, the "mass at infinity" in the target space $Y$ is controlled by the decay of the rearrangement of the source function $X$.
• Reduction to 1D Problems: By exploiting radial symmetry, the $n$-dimensional problem is reduced to a one-dimensional weighted problem on $(0, \infty)$ or $(0, 1)$. This allows the use of known results regarding almost compact embeddings (denoted $\stackrel{*}{\hookrightarrow}$) on finite measure spaces.
• Weighted Embeddings on Balls: The paper also investigates weighted embeddings $W^m_R X(B_R) \hookrightarrow Y(B_R, \mu_\alpha)$ where $d\mu_\alpha = |x|^\alpha dx$. This serves as a stepping stone to understanding the local behavior required for the full space result.

3. Key Contributions and Results

A. Main Theorem (Theorem 1.1)

The paper provides a necessary and sufficient condition for the compactness of $W^m_R X(\mathbb{R}^n) \hookrightarrow Y(\mathbb{R}^n)$. The embedding is compact if and only if:

1. Global Condition (Condition 1.8):
   $$\lim_{a \to \infty} \sup_{\|f\|_{X(0,\infty)} \leq 1} \|f^* \chi_{(a, \infty)}\|_{Y(0,\infty)} = 0$$

   • Interpretation: This ensures that the target space $Y$ is "globally weaker" than $X$. It prevents mass from escaping to infinity. This is the new, critical condition for unbounded domains that was previously missing in general frameworks.

2. Local Condition (Conditions 1.9–1.13):
   Depending on whether $Y$ is locally $L^\infty$ (i.e., $\lim_{t \to 0} \phi_Y(t) = 0$ or not) and the order of derivatives $m$ relative to dimension $n$, specific conditions must be met. These conditions are equivalent to the almost compact embedding of the optimal target space into $Y$ on a bounded domain.

   • If $Y$ is not locally $L^\infty$, the condition involves the decay of an integral operator near zero (Condition 1.10).
   • If $Y$ is locally $L^\infty$, the condition involves the fundamental functions $\phi_X$ and $\phi_Y$ (Conditions 1.11–1.13).

B. Optimal Target Spaces

The author characterizes the optimal rearrangement-invariant target space for weighted Sobolev embeddings on balls (Corollary 4.2). This involves identifying the smallest space $Y_X$ such that the embedding holds, described via a dual norm involving a Hardy-type operator.

C. Concrete Characterizations (Section 6)

The abstract conditions are applied to Lorentz-Zygmund spaces ($L_{p,q,(\alpha_0, \alpha_\infty)}$) and Orlicz spaces (specifically logarithmic and exponential types).

• Theorem 6.1: Provides a complete list of nine conditions (C1–C9) on the parameters $p, q, r, s, \alpha, \beta$ that determine compactness for $W^m_R L_{p,q,A} \hookrightarrow L_{r,s,B}$.
• Theorem 6.6: Extends these results to Orlicz spaces with different behaviors near 0 and $\infty$.
• Theorem 6.8: Characterizes compactness for weighted embeddings on balls with power weights.

4. Significance and Impact

• Completeness: This is the first work to provide a complete characterization of compactness for Sobolev embeddings of radial functions in the general framework of rearrangement-invariant spaces on unbounded domains. Previous works were restricted to finite measure domains or specific $L^p$ spaces.
• New Techniques: The paper moves away from pointwise radial lemmas (which fail for general norms) to a norm-based approach using rearrangement theory and almost compact embeddings. This opens the door for analyzing compactness in limiting situations (e.g., critical exponents, logarithmic corrections) where pointwise estimates are too coarse.
• Unified Framework: The results unify and extend classical results (Strauss, Lions) and recent developments in optimal Sobolev spaces. It clarifies the distinct roles of "escaping to infinity" (global condition) and "concentration" (local condition).
• Applications: The results are directly applicable to the analysis of nonlinear partial differential equations (PDEs) and variational problems on $\mathbb{R}^n$ involving radial symmetry, such as the existence of solitary waves in the Klein-Gordon equation or the Hénon equation. The ability to handle "limiting" spaces (like Lorentz-Zygmund spaces) allows for sharper existence results in critical cases.

Summary of the "New" Condition

The most significant theoretical contribution is the identification of Condition (1.8). In the context of unbounded domains, compactness requires not just that the embedding is valid locally (which is handled by almost compact embeddings on finite domains), but also that the norm of the target space decays sufficiently fast at infinity relative to the source space. The paper proves that for radial functions, this global decay is the only additional requirement needed beyond the local almost-compactness.