Uniform decay of function norms

Basic Information

• Paper ID: 2511.19000
• Title: Uniform decay of function norms
• Authors: Zdeněk Mihula, Maximilián Pándy
• Classification: math.FA (Functional Analysis)
• Submission Date: November 24, 2025 to arXiv
• Paper Link: https://arxiv.org/abs/2511.19000

Abstract

This paper introduces and studies two new relations between function spaces on infinite measure spaces, motivated by compactness problems. The first relation characterizes the uniform decay of function (quasi-)norms "at infinity." This relation implicitly appeared in the first author's recent work on compactness of Sobolev embeddings for radially symmetric functions on $\mathbb{R}^n$. The second relation is an appropriate localization of almost-compact embeddings, which have been successfully used to study compactness of function spaces on finite measure spaces but fail in the infinite measure setting. The framework is quasi-Banach function spaces, which need not be normable or rearrangement-invariant. This level of generality motivates the introduction of extremal fundamental functions associated with (quasi-)Banach function spaces. The paper provides several concrete examples, establishes abstract compactness principles involving the new relations, and finally demonstrates potential applications to embeddings of inhomogeneous Sobolev spaces on $\mathbb{R}^n$.

Research Background and Motivation

1. Core Problem

The core problem addressed is: How to establish compactness of operators between function spaces on infinite measure spaces. This is a fundamental problem in functional analysis with important applications in partial differential equations, calculus of variations, and related fields.

2. Importance of the Problem

Compactness is one of the most important concepts in functional analysis, particularly in studying Sobolev embedding theorems:

• When the underlying space has finite measure (e.g., bounded domain $\Omega \subset \mathbb{R}^n$), Sobolev embeddings $W^{m,p}(\Omega) \hookrightarrow L^q(\Omega)$ are compact under appropriate conditions (Rellich-Kondrachov theorem)
• When the underlying space has infinite measure (e.g., $\mathbb{R}^n$), the corresponding embedding $W^{m,p}(\mathbb{R}^n) \hookrightarrow L^q(\mathbb{R}^n)$ is never compact
• However, the restricted embedding $W^{m,p}_R(\mathbb{R}^n) \hookrightarrow L^q(\mathbb{R}^n)$ for radially symmetric functions can be compact

3. Limitations of Existing Methods

The classical two-step approach to establishing compactness:

• Step 1: Prove that bounded sequences contain pointwise almost everywhere convergent subsequences
• Step 2: Prove that the operator maps bounded sets to sets with uniformly absolutely continuous norms

Step 2 typically uses the almost-compact embedding relation $X \stackrel{*}{\hookrightarrow} Y$, defined as: for any sequence of $\mu$-measurable sets $\{E_n\}$ with $\chi_{E_n} \to 0$ pointwise almost everywhere, $\lim_{n\to\infty} \sup_{\|f\|_X \leq 1} \|f\chi_{E_n}\|_Y = 0$

Key Limitation: When $\mu(R) = \infty$, there exist no Banach function spaces $X, Y$ such that $X \stackrel{*}{\hookrightarrow} Y$ holds (27, Theorem 4.5). The reason is that on infinite measure spaces, "mass can escape to infinity"—pointwise almost everywhere convergence no longer implies convergence in measure.

4. Research Motivation

The authors implicitly used two new relations in 20 when studying compactness of Sobolev embeddings for radially symmetric functions on $\mathbb{R}^n$. The goal of this paper is to conduct the first systematic study of these relations and develop a general theory.

Core Contributions

1. Introduction of two new function space relations:
   • $X \stackrel{*}{\hookrightarrow}_\infty Y$: characterizes uniform decay of function norms at infinity
   • $X \stackrel{*}{\hookrightarrow}_{loc} Y$: localization of almost-compact embeddings
2. Introduction of extremal fundamental functions: For non-rearrangement-invariant (quasi-)Banach function spaces $X$, define
   • Minimal fundamental function: $\phi^{\min}_X(t) = \inf_{\mu(E)=t} \|\chi_E\|_X$
   • Maximal fundamental function: $\phi^{\max}_X(t) = \sup_{\mu(E)=t} \|\chi_E\|_X$
3. Establishment of abstract compactness principle (Theorem 4.7): combining the two new relations provides sufficient conditions for compactness
4. Complete characterization of concrete spaces:
   • Lebesgue and Lorentz spaces: $L^{p_1,q_1} \stackrel{*}{\hookrightarrow}_\infty L^{p_2,q_2}$ if and only if $p_1 < p_2$
   • Orlicz spaces: $L^B \stackrel{*}{\hookrightarrow}_\infty L^A$ if and only if $A \ll_0 B$ ($B$ essentially dominates $A$ near zero)
5. Application to Sobolev spaces: provides sufficient conditions for sequences of inhomogeneous Sobolev spaces on $\mathbb{R}^n$ to converge to zero

Methodology Details

Problem Setup

Study two new relations between quasi-Banach function spaces $X, Y$ on infinite measure spaces $(R, \mu)$ (with $\mu(R) = \infty$), and establish their connection to compactness.

Core Definitions

Definition 1: Uniform decay at infinity ($\stackrel{*}{\hookrightarrow}_\infty$)

$X \stackrel{*}{\hookrightarrow}_\infty Y \iff \lim_{a\to\infty} \sup_{\|f\|_X \leq 1} \inf_{\mu(E) \leq a} \|f\chi_{R\setminus E}\|_Y = 0$

Intuitive meaning: For the unit ball in $X$, when allowed to "remove" sets of measure $\leq a$, the remainder uniformly tends to zero in $Y$ norm as $a\to\infty$.

Important examples:

• $L^p(R,\mu) \stackrel{*}{\hookrightarrow}_\infty L^q(R,\mu)$ if and only if $p < q$
• There never exists $X \stackrel{*}{\hookrightarrow}_\infty X$ (if $X$ is admissible)

Definition 2: Local uniform decay ($\stackrel{*}{\hookrightarrow}_{loc}$)

$X \stackrel{*}{\hookrightarrow}_{loc} Y \iff \lim_{a\to 0^+} \sup_{\|f\|_X \leq 1} \sup_{\mu(E) \leq a} \|f\chi_E\|_Y = 0$

Intuitive meaning: For the unit ball in $X$, restrictions to small measure sets uniformly tend to zero in $Y$ norm.

Key distinction:

• When $\mu(R) < \infty$, $X \stackrel{*}{\hookrightarrow}_{loc} Y$ is equivalent to $X \stackrel{*}{\hookrightarrow} Y$
• When $\mu(R) = \infty$, $L^p \stackrel{*}{\hookrightarrow}_{loc} L^q$ if and only if $p > q$, but $L^p \stackrel{*}{\hookrightarrow} L^q$ never holds

Function Convergence Characterizations

Theorem 4.3 (Characterization of $\stackrel{*}{\hookrightarrow}_\infty$): Let $X, Y$ be quasi-Banach function spaces with $X$ admissible. Then the following are equivalent:

1. $X \stackrel{*}{\hookrightarrow}_\infty Y$
2. $\lim_{t\to\infty} \phi^{\min}_X(t) = \infty$ and for any bounded sequence $\{f_n\}$ in $X$ with $\lim_{n\to\infty} \|f_n\|_{L^\infty} = 0$, we have $\lim_{n\to\infty} \|f_n\|_Y = 0$

Theorem 4.6 (Characterization of $\stackrel{*}{\hookrightarrow}_{loc}$): $X \stackrel{*}{\hookrightarrow}_{loc} Y$ if and only if for any bounded sequence $\{f_n\}$ in $X$ with $\lim_{n\to\infty} \mu(\text{supp}\, f_n) = 0$, we have $\lim_{n\to\infty} \|f_n\|_Y = 0$

Technical Innovations

1. Extremal Fundamental Functions

For non-rearrangement-invariant spaces, the norm of characteristic functions $\chi_E$ depends on the geometric shape of $E$, not just $\mu(E)$. Extremal fundamental functions capture this variation through supremum and infimum: $\phi^{\min}_X(t) = \inf_{\mu(E)=t} \|\chi_E\|_X, \quad \phi^{\max}_X(t) = \sup_{\mu(E)=t} \|\chi_E\|_X$

Key property (Proposition 3.4): If the family of averaging operators $\{A_E\}$ is uniformly bounded on $X$, then $t \leq \min\{\phi^{\min}_X(t)\phi^{\max}_{X'}(t), \phi^{\max}_X(t)\phi^{\min}_{X'}(t)\} \leq Ct$

This generalizes the classical identity $\phi_X(t)\phi_{X'}(t) = t$ for rearrangement-invariant spaces.

2. Necessary Conditions

Proposition 4.1: If $X$ is admissible and $X \stackrel{*}{\hookrightarrow}_\infty Y$, then $\lim_{a\to\infty} \frac{\phi^{\min}_Y(a)}{\phi^{\min}_X(2a)} = 0$

This provides a fundamental function level obstruction for the relation to hold.

3. Duality

Proposition 4.10: If $X, Y$ satisfy property (P5) and $\lim_{a\to\infty} \phi^{\min}_{Y'}(a) = \infty$, then $X \stackrel{*}{\hookrightarrow}_\infty Y \implies Y' \stackrel{*}{\hookrightarrow}_\infty X'$

For rearrangement-invariant Banach function spaces, this is an "if and only if" relation (Remark 4.12).

Experimental Setup

Characterizations of Concrete Spaces

This is primarily theoretical work; the "experimental" component manifests as complete characterizations of concrete function spaces.

1. Lorentz Spaces (Section 6.1)

Proposition 6.1: Let $p_1, p_2, q_1, q_2 \in (0,\infty]$ be appropriate. Then $L^{p_1,q_1} \stackrel{*}{\hookrightarrow}_\infty L^{p_2,q_2} \iff p_1 < p_2$

Proof strategy:

• Necessity follows directly from Proposition 4.1 and the fundamental function $\phi_{L^{p,q}}(t) = c_{p,q}t^{1/p}$
• Sufficiency: For $p_1 < p_2 < \infty$, $r = \min\{q_2, 1\}$, prove $L^{p_1,\infty} \stackrel{*}{\hookrightarrow}_\infty L^{p_2,r}$. Key estimate: $\|f^*\chi_{(a,\infty)}\|_{L^{p_2,r}}^r \leq \int_0^a t^{r/p_2-1}f^*(a)^r dt + \int_a^\infty t^{r/p_2-1}f^*(t)^r dt$ Both terms tend to zero as $a\to\infty$

2. Orlicz Spaces (Section 6.2)

Definition: Young function $A$ essentially dominates $B$ near zero (denoted $A \ll_0 B$) if $B(t) > 0$ for all $t > 0$ and $\lim_{t\to 0^+} \frac{A(\lambda t)}{B(t)} = 0, \quad \forall \lambda > 0$

Proposition 6.5: $L^B \stackrel{*}{\hookrightarrow}_\infty L^A \iff A \ll_0 B$

Proof outline:

• Sufficiency: Given $\varepsilon > 0$, by $A \ll_0 B$ there exists $\delta > 0$ such that $A(t/\varepsilon) \leq B(t)$ for $t \in [0,\delta)$. Using $f^*(t) < \delta$ for $t \geq a$ (sufficiently large), $\int_a^\infty A\left(\frac{f^*(t)}{\varepsilon}\right) dt \leq \int_a^\infty B(f^*(t)) dt \leq 1$
• Necessity: By contradiction, if $\limsup_{t\to 0^+} A(\lambda t)/B(t) > 1$ for some $\lambda > 0$, construct sequence $f_n = t_n\chi_{E_n}$ (where $\mu(E_n) = 1/B(t_n)$) with $\|f_n\|_{L^B} \leq 1$, $\|f_n\|_{L^\infty} \to 0$, but $\|f_n\|_{L^A} > 1/\lambda$, contradicting Theorem 4.3

3. Endpoint Spaces (Section 5)

For rearrangement-invariant Banach function spaces, there exist minimal and maximal spaces with given fundamental function $\phi$:

• Marcinkiewicz space: $M_\phi$, norm $\|f\|_{M_\phi} = \sup_{t>0} f^{**}(t)\phi(t)$
• Lorentz endpoint space: $\Lambda_\phi$ ($\phi$ concave), norm $\|f\|_{\Lambda_\phi} = \int_0^\infty f^*(t) d\phi(t)$

Theorem 5.3: Let $\phi, \psi$ be concave functions. Then $\Lambda_\phi \stackrel{*}{\hookrightarrow}_\infty \Lambda_\psi \iff \lim_{t\to\infty} \frac{\psi(t)}{\phi(t)} = 0$

Theorem 5.4: $M_\phi \stackrel{*}{\hookrightarrow}_\infty \Lambda_\psi \iff M_\phi \hookrightarrow_\infty \Lambda_\psi \text{ and } \lim_{t\to\infty} \frac{\psi(t)}{\phi(t)} = 0$

where $X \hookrightarrow_\infty Y$ means there exists $a_0$ such that $\sup_{\|f\|_X \leq 1} \inf_{\mu(E) \leq a_0} \|f\chi_{R\setminus E}\|_Y < \infty$

Experimental Results

Main Result: Abstract Compactness Principle

Theorem 4.7 (Core Application Theorem): Let $X, Y, Z$ be quasi-Banach function spaces with $X$ admissible, and suppose

• $X \stackrel{*}{\hookrightarrow}_\infty Z$
• $Y \stackrel{*}{\hookrightarrow}_{loc} Z$

If $\{u_n\} \subset M(R,\mu)$ is bounded in both $X$ and $Y$, and satisfies $\lim_{n\to\infty} \mu(\{x : |u_n(x)| > \varepsilon\}) = 0, \quad \forall \varepsilon > 0$ then $\lim_{n\to\infty} \|u_n\|_Z = 0$.

Proof strategy (elegant three-layer truncation): Given $\varepsilon > 0$,

1. By $X \stackrel{*}{\hookrightarrow}_\infty Z$, there exist $a > 0$ and sets $E_n$ ($\mu(E_n) \leq a$) such that $\|u_n\chi_{R\setminus E_n}\|_Z \leq \varepsilon$
2. Choose $\kappa > 0$ such that $\kappa\phi^{\max}_Z(a) \leq \varepsilon$, define $F_n = \{x \in E_n : |u_n(x)| > \kappa\}$
3. By $Y \stackrel{*}{\hookrightarrow}_{loc} Z$, there exists $\delta > 0$ such that $\sup_{\mu(F) \leq \delta} \|u_n\chi_F\|_Z \leq \varepsilon$
4. Using the hypothesis and admissibility of $X$, choose $\lambda$ large enough so that $G_n = \{x \in F_n : |u_n(x)| > \lambda\}$ satisfies $\mu(G_n) \leq \delta$
5. Decompose: $u_n = u_n\chi_{R\setminus F_n} + u_n\chi_{F_n\setminus G_n} + u_n\chi_{G_n}$, with the first two terms controlled by $\varepsilon$ and the third tending to zero by hypothesis

Application: Sobolev Spaces

Theorem 6.7: Let $A$ be a Young function, $p \in (1,n)$, $q \in [1,\infty]$ or $p=q=1$. Let $\{u_n\} \subset W^1(L^A, L^{p,q})(\mathbb{R}^n)$ be bounded and satisfy $\lim_{n\to\infty} |\{x \in \mathbb{R}^n : |u_n(x)| > \varepsilon\}| = 0, \quad \forall \varepsilon > 0$

If $B$ is a Young function with $B \ll_0 A$ and

• When $q \in [1, np/(n-p)]$: $\lim_{t\to\infty} t^{np/(n-p)}/B(t) = \infty$
• When $q \in (np/(n-p), \infty]$: $\int_1^\infty (B(t)/t^{np/(n-p)})^{q/(q-np/(n-p))} \frac{dt}{t} < \infty$

then $\lim_{n\to\infty} \|u_n\|_{L^B(\mathbb{R}^n)} = 0$.

Proof: Apply Theorem 4.7 with

• $X = L^A(\mathbb{R}^n)$
• $Y = L^{np/(n-p),q}_{loc}(\mathbb{R}^n)$ (local Lorentz space)
• $Z = L^B(\mathbb{R}^n)$

Using:

• Sobolev embedding: $W^1(L^A, L^{p,q}) \hookrightarrow (L^A \cap L^{np/(n-p),q}_{loc})$ (from 1)
• $L^A \stackrel{*}{\hookrightarrow}_\infty L^B$ (by Proposition 6.5)
• $L^{np/(n-p),q}_{loc} \stackrel{*}{\hookrightarrow}_{loc} L^B$ (from 21)

Key Findings

1. Complementarity of relations: $\stackrel{*}{\hookrightarrow}_\infty$ and $\stackrel{*}{\hookrightarrow}_{loc}$ control functions from "infinity" and "locally," jointly ensuring compactness
2. Precision of index conditions: For Lorentz spaces, $L^{p_1,q_1} \stackrel{*}{\hookrightarrow}_\infty L^{p_2,q_2}$ depends only on $p_1 < p_2$, independent of $q_1, q_2$
3. Essential condition for Orlicz spaces: $A \ll_0 B$ precisely characterizes the relative growth of Young functions near zero, providing complete characterization of Orlicz space relations
4. Subtlety of duality: For general quasi-Banach function spaces, $X \stackrel{*}{\hookrightarrow}_\infty Y \implies Y' \stackrel{*}{\hookrightarrow}_\infty X'$ requires additional assumption $\lim_{a\to\infty} \phi^{\min}_{Y'}(a) = \infty$, but for rearrangement-invariant Banach function spaces this is an equivalence

Related Work

1. Almost-Compact Embeddings

• Luxemburg-Zaanen 19: First systematic study of $X \stackrel{*}{\hookrightarrow} Y$ relation
• Slavíková 27: General theory showing $X \stackrel{*}{\hookrightarrow} Y$ never holds when $\mu(R) = \infty$ (Theorem 4.5)
• This paper's contribution: Proposes $\stackrel{*}{\hookrightarrow}_{loc}$ as localization, still useful in infinite measure setting

2. Sobolev Embedding Compactness

• Lions 14-17: Concentration compactness principle, studying compactness on $\mathbb{R}^n$
• Kerman-Pick 11, Pustylnik 25, Edmunds et al. 6: Using $\stackrel{*}{\hookrightarrow}$ for various Sobolev embeddings
• Mihula 20: Sobolev embeddings for radially symmetric functions, implicitly using the two relations in this paper
• This paper's contribution: Explicitly proposes and systematically studies $\stackrel{*}{\hookrightarrow}_\infty$ and $\stackrel{*}{\hookrightarrow}_{loc}$, establishing general theory

3. Quasi-Banach Function Spaces

• Bennett-Sharpley 2: Classical text on rearrangement-invariant Banach function spaces
• Musilová et al. 22, Nekvinda-Peša 23: Recent extensions to quasi-Banach setting
• This paper's contribution: Studies new relations in quasi-Banach framework, introduces extremal fundamental functions

4. Fundamental Functions

• Classical theory: Fundamental function $\phi_X(t) = \|\chi_E\|_X$ ($\mu(E)=t$) widely used for rearrangement-invariant spaces
• This paper's contribution: Introduces $\phi^{\min}_X$ and $\phi^{\max}_X$ for non-rearrangement-invariant spaces, generalizing classical concept

Conclusions and Discussion

Main Conclusions

1. Theoretical contributions:
   • Introduces and completely characterizes two new function space relations $\stackrel{*}{\hookrightarrow}_\infty$ and $\stackrel{*}{\hookrightarrow}_{loc}$
   • Proposes extremal fundamental functions concept, providing analytical tools for non-rearrangement-invariant spaces
   • Establishes abstract compactness principle, unifying treatment of compactness on infinite measure spaces
2. Concrete results:
   • Complete characterization of necessary and sufficient conditions for relations between Lebesgue, Lorentz, and Orlicz spaces
   • Characterization of endpoint spaces (Marcinkiewicz and Lorentz endpoint spaces)
   • Application to convergence of Sobolev spaces on $\mathbb{R}^n$
3. Methodological:
   • Appropriately modifies tools from finite measure setting (almost-compact embeddings) for extension to infinite measure
   • Achieves compactness through dual control from "infinity" and "locally"

Limitations

1. Scope of applicability:
   • Theorem 4.7 requires sequences satisfy measure convergence condition $\lim_{n\to\infty} \mu(\{|u_n| > \varepsilon\}) = 0$, requiring separate verification in applications
   • For non-rearrangement-invariant spaces, computing extremal fundamental functions may be difficult
2. Technical assumptions:
   • Many results require $X$ admissible ($\phi^{\min}_X(t) > 0$ for $t > 0$), excluding certain pathological spaces
   • Proposition 4.10's duality requires additional assumption $\lim_{a\to\infty} \phi^{\min}_{Y'}(a) = \infty$
3. Completeness:
   • Section 6.3's Sobolev space application is illustrative, not providing most general results
   • Characterization of certain concrete spaces (e.g., variable exponent Lebesgue spaces $L^{p(\cdot)}$) not addressed
4. Computational complexity:
   • Verifying $X \stackrel{*}{\hookrightarrow}_\infty Y$ involves double limits ($\sup$ and $\inf$), potentially complex in practice
   • For general Young functions, verifying $A \ll_0 B$ requires analyzing fine behavior near zero

Future Directions

1. Extensions to other spaces:
   • Variable exponent spaces $L^{p(\cdot)}$, weighted spaces, and other non-rearrangement-invariant spaces
   • Besov spaces, Triebel-Lizorkin spaces, and more general function spaces
2. Application extensions:
   • Complete characterization of homogeneous Sobolev spaces $\dot{W}^{m,p}$
   • Trace operators, integral operators' compactness
   • Nonlinear operators' compactness
3. Theoretical deepening:
   • Deeper properties of extremal fundamental functions (concavification, duality relations)
   • Necessary and sufficient conditions for uniform boundedness of averaging operator families $\{A_E\}$
   • Complete theory of $X \hookrightarrow_\infty Y$ relation
4. Computational methods:
   • Develop effective algorithms for verifying relations between concrete spaces
   • Numerical methods for estimating extremal fundamental functions

In-Depth Evaluation

Strengths

1. Theoretical innovation:
   • High originality: The $\stackrel{*}{\hookrightarrow}_\infty$ relation is entirely new, filling a gap in compactness theory for infinite measure spaces
   • Natural concepts: Extremal fundamental functions naturally generalize classical fundamental functions for rearrangement-invariant spaces
   • Unified framework: Works in general quasi-Banach function space setting, covering non-normable and non-rearrangement-invariant cases
2. Mathematical depth:
   • Complete characterizations: Theorems 4.3 and 4.6 characterize relations via function convergence, revealing essence
   • Duality theory: Propositions 4.10 and 4.11 explore duality, though with technical assumptions, providing deep insights
   • Detailed computations: Section 6 completely characterizes Lorentz and Orlicz spaces with thorough calculations
3. Application value:
   • Compactness principle: Theorem 4.7 provides practical tool, potentially generalizing Lions' lemma
   • Sobolev spaces: Theorem 6.7 gives concrete application, demonstrating theoretical power
   • Operability: Corollary 4.9 provides simple sufficient conditions, facilitating verification
4. Writing quality:
   • Clear structure: Progresses from motivation → definitions → properties → examples → applications with logical rigor
   • Detailed proofs: Key theorems (4.3, 4.7, 6.5) have complete proofs with elegant techniques
   • Rich examples: Remarks 3.3, 4.2 provide counterexamples and boundary cases

Weaknesses

1. Technical complexity:
   • Theorem 4.7's proof involves three-layer truncation ($E_n, F_n, G_n$), though elegant, relatively complex
   • Extremal fundamental functions introduce theoretical overhead, less accessible to beginners
2. Restrictive assumptions:
   • Admissibility assumption essential in some results (e.g., Theorem 4.3), excluding certain spaces (see Remark 3.3)
   • Proposition 4.10's additional assumption $\lim_{a\to\infty} \phi^{\min}_{Y'}(a) = \infty$ weakens universality of duality
3. Application depth:
   • Section 6.3's Sobolev space application relatively simple, not fully demonstrating theoretical potential
   • Connection to 20's radially symmetric function results not explicitly clarified
4. Completeness:
   • Some natural questions unresolved:
     • Complete characterization of $X \hookrightarrow_\infty Y$ relation (only partially solved for endpoint spaces)
     • Systematic examples of non-rearrangement-invariant spaces (only weighted spaces in Remark 3.3)
   • $\stackrel{*}{\hookrightarrow}_{loc}$ relation studied relatively less, primarily relying on 27's results
5. Readability:
   • For non-specialists, general quasi-Banach function space theory (properties P1-P6) may be unfamiliar
   • Notation like $\stackrel{*}{\hookrightarrow}_\infty$, though precise, visually complex

Impact

1. Theoretical impact:
   • Opens new direction: First systematic study of $\stackrel{*}{\hookrightarrow}_\infty$, expected to inspire follow-up work
   • Tool value: Extremal fundamental functions and compactness principle will become standard tools for infinite measure space research
   • Unified framework: Provides systematic theory for infinite measure case analogous to finite measure theory
2. Application prospects:
   • Partial differential equations: Concentration compactness, variational methods' compactness arguments
   • Harmonic analysis: Operator compactness, interpolation theory
   • Function space theory: Fine characterization of embedding theorems, trace theorems
3. Reproducibility:
   • Theoretical work: All proofs complete and verifiable
   • Concrete examples: Lorentz and Orlicz space characterizations directly applicable
   • Open problems: Section 5's endpoint space theory and Section 6.3's Sobolev applications provide directions for future research
4. Limitations:
   • High technical level limits audience scope
   • Requires deep functional analysis background for full understanding and application

Applicable Scenarios

1. Direct applications:
   • Studying Sobolev embedding compactness on $\mathbb{R}^n$ or non-compact manifolds
   • Analyzing compactness of integral operators (Hardy operators, Riemann-Liouville operators)
   • Verifying Palais-Smale conditions in variational problems
2. Theoretical research:
   • Developing embedding theory for new function spaces (Musielak-Orlicz spaces, modular spaces)
   • Studying compactness of nonlinear operators between function spaces
   • Generalizing to quantum spaces, metric measure spaces, and more abstract settings
3. Concrete problems:
   • Determining whether given function space pair $(X, Y)$ satisfies $X \stackrel{*}{\hookrightarrow}_\infty Y$
   • Using Theorem 4.7 to establish convergence of specific sequences
   • Computing or estimating extremal fundamental functions
4. Inapplicable scenarios:
   • Finite measure spaces (classical theory suffices)
   • Discrete spaces or atomic measures (theory assumes non-atomic measures)
   • Situations requiring explicit rate estimates (theorems give limiting behavior, not quantitative bounds)

Key References

2 C. Bennett and R. Sharpley. Interpolation of operators. Academic Press, 1988.
14 P.-L. Lions. Symétrie et compacité dans les espaces de Sobolev. J. Funct. Anal., 49(3):315–334, 1982.
19 W. A. J. Luxemburg and A. C. Zaanen. Compactness of integral operators in Banach function spaces. Math. Ann., 149:150–180, 1963.
20 Z. Mihula. Compact Sobolev embeddings of radially symmetric functions. Preprint arXiv:2503.05922, 2025.
22 A. Musilová et al. On the properties of rearrangement-invariant quasi-Banach function spaces. Nonlinear Anal., 260:Paper No. 113854, 2025.
27 L. Slavíková. Almost-compact embeddings. Math. Nachr., 285(11-12):1500–1516, 2012.

Summary: This is a high-quality theoretical functional analysis paper that systematically addresses the difficulty of establishing compactness on infinite measure spaces by introducing two new function space relations and the extremal fundamental functions concept. The theory is profound, computations thorough, and applications clear, with expected significant impact on function space theory and partial differential equations. Main limitations lie in technical complexity and application depth, but these do not diminish its importance as a significant advance in the field.