Uniform decay of function norms

基本信息

• 论文ID: 2511.19000
• 标题: Uniform decay of function norms
• 作者: Zdeněk Mihula, Maximilián Pándy
• 分类: math.FA (Functional Analysis)
• 发表时间: 2025年11月24日提交至arXiv
• 论文链接: https://arxiv.org/abs/2511.19000

摘要

本文引入并研究了无限测度空间上函数空间之间的两个新关系，其动机源于建立紧性的问题。第一个关系刻画了函数（拟）范数"在无穷远处"的一致衰减性。该关系隐式地出现在第一作者最近关于$\mathbb{R}^n$上径向对称函数的Sobolev嵌入紧性的工作中。第二个关系是几乎紧嵌入关系的适当局部化版本，后者已成功用于研究有限测度空间上函数空间的紧性，但在无限测度情形下失效。研究框架是拟Banach函数空间，这些空间不必可范数化或重排不变。这种一般性水平促使作者引入与（拟）Banach函数空间相关的极值基本函数概念。文章提供了若干具体例子，建立了涉及新关系的抽象紧性原理，最后展示了该原理在$\mathbb{R}^n$上非齐次Sobolev空间嵌入中的可能应用。

研究背景与动机

1. 核心问题

本文要解决的核心问题是：如何在无限测度空间上建立函数空间之间算子的紧性。这是泛函分析中的基本问题，在偏微分方程、变分法等领域有重要应用。

2. 问题的重要性

紧性是泛函分析中最重要的概念之一，特别是在研究Sobolev嵌入定理时：

• 当底空间有有限测度时（如有界区域$\Omega \subset \mathbb{R}^n$），Sobolev嵌入$W^{m,p}(\Omega) \hookrightarrow L^q(\Omega)$在适当条件下是紧的（Rellich-Kondrachov定理）
• 当底空间有无限测度时（如$\mathbb{R}^n$），相应的嵌入$W^{m,p}(\mathbb{R}^n) \hookrightarrow L^q(\mathbb{R}^n)$永远不紧
• 但对径向对称函数的限制嵌入$W^{m,p}_R(\mathbb{R}^n) \hookrightarrow L^q(\mathbb{R}^n)$可以是紧的

3. 现有方法的局限性

建立紧性的经典两步法：

• 第一步：证明有界序列包含逐点几乎处处收敛的子序列
• 第二步：证明算子将有界集映射到具有一致绝对连续范数的集合

第二步通常使用几乎紧嵌入关系$X \stackrel{*}{\hookrightarrow} Y$，其定义为：对任意$\mu$-可测集序列$\{E_n\}$满足$\chi_{E_n} \to 0$逐点几乎处处，有 $\lim_{n\to\infty} \sup_{\|f\|_X \leq 1} \|f\chi_{E_n}\|_Y = 0$

关键局限：当$\mu(R) = \infty$时，不存在Banach函数空间$X, Y$使得$X \stackrel{*}{\hookrightarrow} Y$成立（27, Theorem 4.5）。原因是在无限测度空间上，"质量可以逃逸到无穷远"——逐点几乎处处收敛不再蕴含依测度收敛。

4. 研究动机

作者在20中研究$\mathbb{R}^n$上径向对称函数的Sobolev嵌入紧性时，隐式使用了两个新关系。本文的目标是对这些关系进行首次系统研究，并发展一般理论。

核心贡献

1. 引入两个新的函数空间关系：
   • $X \stackrel{*}{\hookrightarrow}_\infty Y$：刻画函数范数在无穷远处的一致衰减
   • $X \stackrel{*}{\hookrightarrow}_{loc} Y$：几乎紧嵌入的局部化版本
2. 提出极值基本函数概念：对非重排不变的（拟）Banach函数空间$X$，定义
   • 最小基本函数：$\phi^{\min}_X(t) = \inf_{\mu(E)=t} \|\chi_E\|_X$
   • 最大基本函数：$\phi^{\max}_X(t) = \sup_{\mu(E)=t} \|\chi_E\|_X$
3. 建立抽象紧性原理（Theorem 4.7）：结合两个新关系给出紧性的充分条件
4. 完全刻画具体空间的关系：
   • Lebesgue空间和Lorentz空间：$L^{p_1,q_1} \stackrel{*}{\hookrightarrow}_\infty L^{p_2,q_2}$ 当且仅当 $p_1 < p_2$
   • Orlicz空间：$L^B \stackrel{*}{\hookrightarrow}_\infty L^A$ 当且仅当 $A \ll_0 B$（$B$在零点附近本质支配$A$）
5. 应用于Sobolev空间：给出$\mathbb{R}^n$上非齐次Sobolev空间序列收敛到零的充分条件

方法详解

任务定义

研究无限测度空间$(R, \mu)$（$\mu(R) = \infty$）上拟Banach函数空间$X, Y$之间的两个新关系，并建立它们与紧性的联系。

核心定义

定义1：无穷远处的一致衰减 ($\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$

直观含义：对$X$中的单位球，当允许"切除"测度$\leq a$的集合后，剩余部分在$Y$中的范数随$a\to\infty$一致趋于零。

重要例子：

• $L^p(R,\mu) \stackrel{*}{\hookrightarrow}_\infty L^q(R,\mu)$ 当且仅当 $p < q$
• 永远不存在$X \stackrel{*}{\hookrightarrow}_\infty X$（若$X$可容许）

定义2：局部一致衰减 ($\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$

直观含义：对$X$中的单位球，在小测度集上的限制在$Y$中的范数一致趋于零。

关键区别：

• 当$\mu(R) < \infty$时，$X \stackrel{*}{\hookrightarrow}_{loc} Y$ 等价于 $X \stackrel{*}{\hookrightarrow} Y$
• 当$\mu(R) = \infty$时，$L^p \stackrel{*}{\hookrightarrow}_{loc} L^q$ 当且仅当 $p > q$，但$L^p \stackrel{*}{\hookrightarrow} L^q$永不成立

函数收敛刻画

定理4.3（$\stackrel{*}{\hookrightarrow}_\infty$的刻画）：设$X, Y$是拟Banach函数空间，$X$可容许。则以下等价：

1. $X \stackrel{*}{\hookrightarrow}_\infty Y$
2. $\lim_{t\to\infty} \phi^{\min}_X(t) = \infty$ 且对$X$中任意有界序列$\{f_n\}$满足$\lim_{n\to\infty} \|f_n\|_{L^\infty} = 0$，有$\lim_{n\to\infty} \|f_n\|_Y = 0$

定理4.6（$\stackrel{*}{\hookrightarrow}_{loc}$的刻画）：$X \stackrel{*}{\hookrightarrow}_{loc} Y$ 当且仅当对$X$中任意有界序列$\{f_n\}$满足$\lim_{n\to\infty} \mu(\text{supp}\, f_n) = 0$，有$\lim_{n\to\infty} \|f_n\|_Y = 0$

技术创新点

1. 极值基本函数

对非重排不变空间，特征函数$\chi_E$的范数依赖于集合$E$的几何形状，而非仅依赖于$\mu(E)$。极值基本函数通过取上下确界捕捉这种变化： $\phi^{\min}_X(t) = \inf_{\mu(E)=t} \|\chi_E\|_X, \quad \phi^{\max}_X(t) = \sup_{\mu(E)=t} \|\chi_E\|_X$

关键性质（Proposition 3.4）：若简单平均算子族$\{A_E\}$在$X$上一致有界，则 $t \leq \min\{\phi^{\min}_X(t)\phi^{\max}_{X'}(t), \phi^{\max}_X(t)\phi^{\min}_{X'}(t)\} \leq Ct$

这推广了重排不变空间的经典恒等式$\phi_X(t)\phi_{X'}(t) = t$。

2. 必要条件

命题4.1：若$X$可容许且$X \stackrel{*}{\hookrightarrow}_\infty Y$，则 $\lim_{a\to\infty} \frac{\phi^{\min}_Y(a)}{\phi^{\min}_X(2a)} = 0$

这给出了关系成立的基本函数层面的障碍。

3. 对偶性

命题4.10：若$X, Y$满足性质(P5)且$\lim_{a\to\infty} \phi^{\min}_{Y'}(a) = \infty$，则 $X \stackrel{*}{\hookrightarrow}_\infty Y \implies Y' \stackrel{*}{\hookrightarrow}_\infty X'$

对重排不变Banach函数空间，这是"当且仅当"关系（Remark 4.12）。

实验设置

具体空间的刻画

本文主要是理论工作，"实验"部分体现为对具体函数空间的完全刻画。

1. Lorentz空间（Section 6.1）

命题6.1：设$p_1, p_2, q_1, q_2 \in (0,\infty]$适当。则 $L^{p_1,q_1} \stackrel{*}{\hookrightarrow}_\infty L^{p_2,q_2} \iff p_1 < p_2$

证明思路：

• 必要性由命题4.1和基本函数$\phi_{L^{p,q}}(t) = c_{p,q}t^{1/p}$直接得出
• 充分性：设$p_1 < p_2 < \infty$，$r = \min\{q_2, 1\}$，证明$L^{p_1,\infty} \stackrel{*}{\hookrightarrow}_\infty L^{p_2,r}$。关键估计： $\|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$ 两项分别趋于零（当$a\to\infty$）

2. Orlicz空间（Section 6.2）

定义：Young函数$A$本质支配$B$在零点附近（记为$A \ll_0 B$）如果$B(t) > 0$对所有$t > 0$，且 $\lim_{t\to 0^+} \frac{A(\lambda t)}{B(t)} = 0, \quad \forall \lambda > 0$

命题6.5： $L^B \stackrel{*}{\hookrightarrow}_\infty L^A \iff A \ll_0 B$

证明要点：

• 充分性：给定$\varepsilon > 0$，由$A \ll_0 B$存在$\delta > 0$使得$A(t/\varepsilon) \leq B(t)$对$t \in [0,\delta)$。利用$f^*(t) < \delta$对$t \geq a$（$a$充分大），得到 $\int_a^\infty A\left(\frac{f^*(t)}{\varepsilon}\right) dt \leq \int_a^\infty B(f^*(t)) dt \leq 1$
• 必要性：反证法，若存在$\lambda > 0$使得$\limsup_{t\to 0^+} A(\lambda t)/B(t) > 1$，构造序列$f_n = t_n\chi_{E_n}$（其中$\mu(E_n) = 1/B(t_n)$），满足$\|f_n\|_{L^B} \leq 1$，$\|f_n\|_{L^\infty} \to 0$，但$\|f_n\|_{L^A} > 1/\lambda$，矛盾于定理4.3

3. 端点空间（Section 5）

对重排不变Banach函数空间，存在最小和最大的具有给定基本函数$\phi$的空间：

• Marcinkiewicz空间：$M_\phi$，范数$\|f\|_{M_\phi} = \sup_{t>0} f^{**}(t)\phi(t)$
• Lorentz端点空间：$\Lambda_\phi$（$\phi$凹），范数$\|f\|_{\Lambda_\phi} = \int_0^\infty f^*(t) d\phi(t)$

定理5.3：设$\phi, \psi$是凹函数。则 $\Lambda_\phi \stackrel{*}{\hookrightarrow}_\infty \Lambda_\psi \iff \lim_{t\to\infty} \frac{\psi(t)}{\phi(t)} = 0$

定理5.4： $M_\phi \stackrel{*}{\hookrightarrow}_\infty \Lambda_\psi \iff M_\phi \hookrightarrow_\infty \Lambda_\psi \text{ 且 } \lim_{t\to\infty} \frac{\psi(t)}{\phi(t)} = 0$

其中$X \hookrightarrow_\infty Y$表示存在$a_0$使得$\sup_{\|f\|_X \leq 1} \inf_{\mu(E) \leq a_0} \|f\chi_{R\setminus E}\|_Y < \infty$

实验结果

主要结果：抽象紧性原理

定理4.7（核心应用定理）：设$X, Y, Z$是拟Banach函数空间，$X$可容许，且

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

若$\{u_n\} \subset M(R,\mu)$在$X$和$Y$中都有界，且满足 $\lim_{n\to\infty} \mu(\{x : |u_n(x)| > \varepsilon\}) = 0, \quad \forall \varepsilon > 0$ 则$\lim_{n\to\infty} \|u_n\|_Z = 0$。

证明思路（精妙的三层截断）： 给定$\varepsilon > 0$，

1. 由$X \stackrel{*}{\hookrightarrow}_\infty Z$，存在$a > 0$和集合$E_n$（$\mu(E_n) \leq a$）使得$\|u_n\chi_{R\setminus E_n}\|_Z \leq \varepsilon$
2. 选择$\kappa > 0$使得$\kappa\phi^{\max}_Z(a) \leq \varepsilon$，定义$F_n = \{x \in E_n : |u_n(x)| > \kappa\}$
3. 由$Y \stackrel{*}{\hookrightarrow}_{loc} Z$，存在$\delta > 0$使得$\sup_{\mu(F) \leq \delta} \|u_n\chi_F\|_Z \leq \varepsilon$
4. 利用假设条件和$X$的可容许性，选择$\lambda$充分大使得$G_n = \{x \in F_n : |u_n(x)| > \lambda\}$满足$\mu(G_n) \leq \delta$
5. 分解：$u_n = u_n\chi_{R\setminus F_n} + u_n\chi_{F_n\setminus G_n} + u_n\chi_{G_n}$，前两项被$\varepsilon$控制，第三项由条件趋于零

应用：Sobolev空间

定理6.7：设$A$是Young函数，$p \in (1,n)$，$q \in [1,\infty]$或$p=q=1$。设$\{u_n\} \subset W^1(L^A, L^{p,q})(\mathbb{R}^n)$有界且满足 $\lim_{n\to\infty} |\{x \in \mathbb{R}^n : |u_n(x)| > \varepsilon\}| = 0, \quad \forall \varepsilon > 0$

若$B$是Young函数满足$B \ll_0 A$且

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

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

证明：应用定理4.7，其中

• $X = L^A(\mathbb{R}^n)$
• $Y = L^{np/(n-p),q}_{loc}(\mathbb{R}^n)$（局部Lorentz空间）
• $Z = L^B(\mathbb{R}^n)$

利用：

• Sobolev嵌入：$W^1(L^A, L^{p,q}) \hookrightarrow (L^A \cap L^{np/(n-p),q}_{loc})$（来自1）
• $L^A \stackrel{*}{\hookrightarrow}_\infty L^B$（由命题6.5）
• $L^{np/(n-p),q}_{loc} \stackrel{*}{\hookrightarrow}_{loc} L^B$（由21）

关键发现

1. 关系的互补性：$\stackrel{*}{\hookrightarrow}_\infty$和$\stackrel{*}{\hookrightarrow}_{loc}$从"无穷远"和"局部"两个方向控制函数，共同确保紧性
2. 指标条件的精确性：对Lorentz空间，$L^{p_1,q_1} \stackrel{*}{\hookrightarrow}_\infty L^{p_2,q_2}$仅依赖于$p_1 < p_2$，与$q_1, q_2$无关
3. Orlicz空间的本质条件：$A \ll_0 B$精确刻画了Young函数在零点附近的相对增长，这是Orlicz空间关系的完全刻画
4. 对偶性的微妙性：对一般拟Banach函数空间，$X \stackrel{*}{\hookrightarrow}_\infty Y \implies Y' \stackrel{*}{\hookrightarrow}_\infty X'$需要额外假设$\lim_{a\to\infty} \phi^{\min}_{Y'}(a) = \infty$，但对重排不变Banach函数空间这是等价关系

相关工作

1. 几乎紧嵌入

• Luxemburg-Zaanen 19：最早系统研究$X \stackrel{*}{\hookrightarrow} Y$关系
• Slavíková 27：给出一般理论，证明当$\mu(R) = \infty$时$X \stackrel{*}{\hookrightarrow} Y$永不成立（Theorem 4.5）
• 本文贡献：提出$\stackrel{*}{\hookrightarrow}_{loc}$作为局部化版本，在无限测度情形下仍有用

2. Sobolev嵌入紧性

• Lions 14-17：浓度紧性原理，研究$\mathbb{R}^n$上的紧性问题
• Kerman-Pick 11, Pustylnik 25, Edmunds等6：使用$\stackrel{*}{\hookrightarrow}$研究各种Sobolev嵌入
• Mihula 20：径向对称函数的Sobolev嵌入，隐式使用本文的两个关系
• 本文贡献：显式提出并系统研究$\stackrel{*}{\hookrightarrow}_\infty$和$\stackrel{*}{\hookrightarrow}_{loc}$，建立一般理论

3. 拟Banach函数空间

• Bennett-Sharpley 2：经典教材，重排不变Banach函数空间理论
• Musilová等22, Nekvinda-Peša 23：近期将理论扩展到拟Banach情形
• 本文贡献：在拟Banach框架下研究新关系，引入极值基本函数概念

4. 基本函数

• 经典理论：重排不变空间的基本函数$\phi_X(t) = \|\chi_E\|_X$（$\mu(E)=t$）广泛使用
• 本文贡献：对非重排不变空间引入$\phi^{\min}_X$和$\phi^{\max}_X$，推广经典概念

结论与讨论

主要结论

1. 理论贡献：
   • 引入并完整刻画了两个新的函数空间关系$\stackrel{*}{\hookrightarrow}_\infty$和$\stackrel{*}{\hookrightarrow}_{loc}$
   • 提出极值基本函数概念，为非重排不变空间提供分析工具
   • 建立抽象紧性原理，统一处理无限测度空间上的紧性问题
2. 具体结果：
   • 完全刻画Lebesgue、Lorentz、Orlicz空间之间关系的充要条件
   • 给出端点空间（Marcinkiewicz和Lorentz端点空间）的刻画
   • 应用于$\mathbb{R}^n$上Sobolev空间的收敛性
3. 方法论：
   • 将有限测度情形的工具（几乎紧嵌入）适当修改后推广到无限测度
   • 通过"无穷远"和"局部"的双重控制实现紧性

局限性

1. 适用范围：
   • 定理4.7要求序列满足测度收敛条件$\lim_{n\to\infty} \mu(\{|u_n| > \varepsilon\}) = 0$，这在应用中需要单独验证
   • 对非重排不变空间，极值基本函数的计算可能困难
2. 技术假设：
   • 许多结果要求$X$可容许（$\phi^{\min}_X(t) > 0$对$t > 0$），排除了某些病态空间
   • 命题4.10的对偶性需要额外假设$\lim_{a\to\infty} \phi^{\min}_{Y'}(a) = \infty$
3. 完整性：
   • Section 6.3的Sobolev空间应用是示例性的，未给出最一般结果
   • 对某些具体空间（如变指标Lebesgue空间$L^{p(\cdot)}$）的刻画未涉及
4. 计算复杂性：
   • 验证$X \stackrel{*}{\hookrightarrow}_\infty Y$涉及双重极限（$\sup$和$\inf$），实际计算可能复杂
   • 对一般Young函数，验证$A \ll_0 B$需要分析函数在零点附近的精细行为

未来方向

1. 推广到其他空间：
   • 变指标空间$L^{p(\cdot)}$、加权空间等非重排不变空间
   • Besov空间、Triebel-Lizorkin空间等更一般的函数空间
2. 应用拓展：
   • 齐次Sobolev空间$\dot{W}^{m,p}$的完整刻画
   • 迹算子、积分算子的紧性
   • 非线性算子的紧性
3. 理论深化：
   • 极值基本函数的更深入性质（如凹化、对偶关系）
   • 简单平均算子族一致有界性的充要条件
   • $X \hookrightarrow_\infty Y$关系的完整理论
4. 计算方法：
   • 发展有效算法验证具体空间之间的关系
   • 数值方法估计极值基本函数

深度评价

优点

1. 理论创新性：
   • 原创性强：$\stackrel{*}{\hookrightarrow}_\infty$关系是全新的，填补了无限测度空间紧性理论的空白
   • 概念自然：极值基本函数自然推广了重排不变空间的经典基本函数
   • 框架统一：在拟Banach函数空间的一般框架下工作，涵盖非范数化、非重排不变情形
2. 数学深度：
   • 刻画完整：定理4.3和4.6用函数收敛刻画关系，揭示本质
   • 对偶理论：命题4.10和推论4.11探讨对偶性，虽有技术假设但深刻
   • 具体计算：Section 6完全刻画Lorentz和Orlicz空间，计算详尽
3. 应用价值：
   • 紧性原理：定理4.7提供实用工具，可推广Lions引理
   • Sobolev空间：定理6.7给出具体应用，展示理论威力
   • 可操作性：推论4.9给出简单充分条件，便于验证
4. 写作质量：
   • 结构清晰：从动机→定义→性质→例子→应用，逻辑严密
   • 证明详细：关键定理（如4.3, 4.7, 6.5）证明完整，技巧精妙
   • 例子丰富：Remark 3.3, 4.2等提供反例和边界情形

不足

1. 技术复杂性：
   • 定理4.7的证明涉及三层截断（$E_n, F_n, G_n$），虽巧妙但较复杂
   • 极值基本函数的引入增加了理论负担，对初学者不友好
2. 假设限制：
   • 可容许性假设在某些结果中本质（如定理4.3），但排除了一些空间（见Remark 3.3）
   • 命题4.10的额外假设$\lim_{a\to\infty} \phi^{\min}_{Y'}(a) = \infty$削弱了对偶性的普遍性
3. 应用深度：
   • Section 6.3的Sobolev空间应用相对简单，未充分展示理论潜力
   • 与20中径向对称函数结果的联系未明确阐述
4. 完整性：
   • 某些自然问题未解决：
     • $X \hookrightarrow_\infty Y$关系的完整刻画（仅对端点空间部分解决）
     • 非重排不变空间的系统例子（仅Remark 3.3的加权空间）
   • $\stackrel{*}{\hookrightarrow}_{loc}$关系的研究相对较少，主要依赖27的结果
5. 可读性：
   • 对非专家，拟Banach函数空间的一般理论（性质P1-P6）可能陌生
   • 某些记号（如$\stackrel{*}{\hookrightarrow}_\infty$）虽精确但视觉上复杂

影响力

1. 理论影响：
   • 开创新方向：首次系统研究$\stackrel{*}{\hookrightarrow}_\infty$，预期引发后续工作
   • 工具价值：极值基本函数和紧性原理将成为研究无限测度空间的标准工具
   • 统一框架：为无限测度情形提供类似有限测度的系统理论
2. 应用前景：
   • 偏微分方程：浓度紧性、变分法中的紧性论证
   • 调和分析：算子紧性、插值理论
   • 函数空间理论：嵌入定理、迹定理的精细刻画
3. 可复现性：
   • 理论工作：所有证明完整，可验证
   • 具体例子：Lorentz、Orlicz空间的刻画可直接应用
   • 开放问题：Section 5的端点空间理论和Section 6.3的Sobolev应用为后续研究提供方向
4. 局限性：
   • 高度技术性限制了受众范围
   • 需要深厚的泛函分析背景才能充分理解和应用

适用场景

1. 直接应用：
   • 研究$\mathbb{R}^n$或非紧流形上的Sobolev嵌入紧性
   • 分析积分算子（如Hardy算子、Riemann-Liouville算子）的紧性
   • 变分问题中的Palais-Smale条件验证
2. 理论研究：
   • 发展新的函数空间（如Musielak-Orlicz空间、模空间）的嵌入理论
   • 研究非线性算子在函数空间之间的紧性
   • 推广到量子空间、度量测度空间等更抽象设置
3. 具体问题：
   • 判断给定函数空间对$(X, Y)$是否满足$X \stackrel{*}{\hookrightarrow}_\infty Y$
   • 利用定理4.7建立特定序列的收敛性
   • 计算或估计极值基本函数
4. 不适用情形：
   • 有限测度空间（经典理论已充分）
   • 离散空间或原子测度（理论假设非原子测度）
   • 需要显式速率估计的场合（定理给出极限行为，非量化估计）

参考文献（关键引用）

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.

总结：这是一篇高质量的泛函分析理论论文，通过引入两个新的函数空间关系和极值基本函数概念，系统解决了无限测度空间上紧性建立的困难。理论深刻、计算详尽、应用明确，预期对函数空间理论和偏微分方程产生重要影响。主要局限在于技术复杂性和应用深度，但瑕不掩瑜，是该领域的重要进展。