[论文解读] Compactness of Embeddings

А. Г. Рамм|ArXiv.org|Nov 14, 2005

Rings, Modules, and Algebras被引用 3

一句话总结

本文改进了三个嵌套 Banach 空间之间嵌入算子紧致性的必要与充分条件，证明了 $ i:X_1 \to X_2 $ 的紧致性当且仅当嵌入 $ j:X_1 \to X_3 $ 是紧致的，且对所有 $ s \in (0,1) $，存在特定类型的插值不等式 $ \|u\|_2 \leq s\|u\|_1 + c(s)\|u\|_3 $ 成立。通过构造一个反例，推翻了文献中广泛引用的一个论断，即该不等式在 $ X_2 $ 与 $ X_3 $ 范数不兼容的假设下依然成立。

ABSTRACT

An improvement of the author's result, proved in 1961, concerning necessary and sufficient conditions for the compactness of embedding operators is given. A counterexample to a published statement concerning compactness of embedding operators is constructed.

研究动机与目标

• 通过去除 $ X_2 $ 必须为 Hilbert 空间的限制，对作者 1961 年关于紧致嵌入的结果进行改进与推广。
• 通过 $ j:X_1 \to X_3 $ 的紧致性与一个参数化范数不等式的结合，建立 $ i:X_1 \to X_2 $ 紧致性的精确判别准则。
• 证明 $ X_2 $ 与 $ X_3 $ 范数之间的兼容性对于范数不等式条件必要性的成立至关重要。
• 构造一个反例，以证伪文献中广泛引用的论断（即 Lions 引理）——该论断声称在无范数兼容性假设下，该范数不等式依然成立。

提出的方法

• 通过假设 $ j:X_1 \to X_3 $ 的紧致性与插值不等式 $ \|u\|_2 \leq s\|u\|_1 + c(s)\|u\|_3 $ 成立，证明充分性：即任意 $ X_1 $ 中的有界序列在 $ X_2 $ 中存在收敛子列。
• 通过假设 $ i:X_1 \to X_2 $ 紧致，若范数不等式不成立则导出矛盾，利用存在一个序列满足 $ \|u_n\|_2 \geq s_0 + n\|u_n\|_3 $ 的事实来证明必要性。
• 利用 $ X_2 $ 与 $ X_3 $ 范数之间的兼容性条件，确保 $ X_3 $ 中的收敛蕴含 $ X_2 $ 中的收敛，这对矛盾论证至关重要。
• 通过构造一个反例，令 $ X_1 $ 为一个一维函数空间，其函数几乎处处为零，但在某一点点态非零，且 $ X_2 $ 范数包含一个点值评估。
• 定义 $ X_3 = L^2(0,1) $，$ X_2 = L^2(0,1) + \text{点值评估} $，$ X_1 $ 为一个函数张成的空间，其 $ L^2 $-范数为零但点值非零。
• 证明所声称的不等式 $ \|u\|_2 \leq \epsilon\|u\|_1 + K(\epsilon)\|u\|_3 $ 在反例中不成立，因为 $ \|u\|_3 = 0 $ 且 $ \|u\|_2 > 0 $，导致 $ |\lambda| \leq \epsilon|\lambda| $，当 $ \epsilon < 1 $ 时该式不成立。

实验结果

研究问题

• RQ1 当 $ X_1 \subset X_2 \subset X_3 $ 为具有可比范数的嵌套 Banach 空间时，嵌入算子 $ i:X_1 \to X_2 $ 在何种条件下是紧致的？
• RQ2 范数不等式 $ \|u\|_2 \leq s\|u\|_1 + c(s)\|u\|_3 $ 是否为 $ i:X_1 \to X_2 $ 紧致性的必要条件？该不等式在 $ X_2 $ 与 $ X_3 $ 范数不兼容时是否仍成立？
• RQ3 文献 [1] 第 35 页（即 Lions 引理）中声称：对任意紧致嵌入，该不等式均成立，这一论断在无范数兼容性假设下是否有效？
• RQ4 在范数不等式条件必要性证明中，$ X_2 $ 与 $ X_3 $ 范数之间的兼容性起什么作用？
• RQ5 若范数不兼容性失效，是否意味着标准插值型不等式在紧致性判别准则中不再成立？

主要发现

• 当且仅当嵌入 $ j:X_1 \to X_3 $ 紧致，且对所有 $ s \in (0,1) $，不等式 $ \|u\|_2 \leq s\|u\|_1 + c(s)\|u\|_3 $ 成立（其中 $ c(s) > 0 $）时，嵌入 $ i:X_1 \to X_2 $ 是紧致的。
• 充分性证明不依赖于 $ X_2 $ 与 $ X_3 $ 范数之间的兼容性，但必要性证明则依赖于此。
• 构造了一个反例：$ X_1 $ 为一维空间，$ X_3 = L^2(0,1) $，$ X_2 $ 包含点值评估，且对非零 $ u \in X_1 $，有 $ \|u\|_3 = 0 $，$ \|u\|_2 = 1 $。
• 在此反例中，$ i:X_1 \to X_2 $ 是紧致的，因为 $ X_1 $ 是有限维的，满足 [1] 中所声称引理的所有假设。
• 然而，当 $ \epsilon < 1 $ 时，不等式 $ \|u\|_2 \leq \epsilon\|u\|_1 + K(\epsilon)\|u\|_3 $ 失效，因为其简化为 $ |\lambda| \leq \epsilon|\lambda| $，除非 $ \lambda = 0 $，否则不成立。
• 因此，[1] 第 35 页的论断在缺乏 $ X_2 $ 与 $ X_3 $ 范数兼容性假设时无效，且反例明确证明了这一点。