[论文解读] Module of continuity for the functions belonging to the Sobolev-Grand Lebesgue Spaces

E. Ostrovsky, L. Sirota|arXiv (Cornell University)|Jun 21, 2010

Advanced Harmonic Analysis Research参考文献 22被引用 8

一句话总结

本文将经典的Sobolev连续性不等式推广至Sobolev-Grand Lebesgue空间 $W^{1}G(\psi)$，建立了梯度的 $G(\psi)$-范数表示的连续模 $\omega(f,\delta)$ 的新界。关键结果为不等式 $\omega(f,\delta) \leq \lambda^{\psi}(\delta) \cdot \|\nabla f\|_{G\psi}$，其中 $\lambda^{\psi}(\delta)$ 涉及 $p$-连通性与权函数 $\psi$，并通过构造的反例证明了其精确性。

ABSTRACT

In this short article we generalize the Sobolev's inequalities for the module of continuity for the functions belonging to the classical Lebesgue space on the (Bilateral) Grand Lebesgue spaces. We construct also some examples in order to show the exactness of obtained results.

研究动机与目标

• 将经典的Sobolev连续性不等式推广至更广泛的Sobolev-Grand Lebesgue空间 $W^{1}G(\psi)$ 框架。
• 建立梯度的 $G(\psi)$-范数表示的连续模 $\omega(f,\delta)$ 的精确、最优界。
• 通过函数空间设定下的显式反例，证明所导不等式的精确性。
• 研究这些广义函数空间中嵌入算子的非紧性，特别是临界参数区域的情形。

提出的方法

• 通过范数 $\|f\|_{G(\psi)} = \sup_{p \in (A,B)} |f|_p / \psi(p)$ 定义Grand Lebesgue空间 $G(\psi)$，其中 $\psi$ 是 $(A,B)$ 上的正连续函数。
• 将Sobolev-Grand Lebesgue空间 $W^{1}G(\psi)$ 定义为梯度属于 $G(\psi)$ 的函数空间。
• 利用紧集 $K \subset D$ 的 $p$-连通性 $c_p(K)$ 定义函数 $\gamma_p(x,y) = c_p[(D\setminus x)\setminus y]^{-1/p}$，其控制函数的振荡。
• 定义 $\Lambda_p(\delta) = \sup_{|x-y| \leq \delta} \gamma_p(x,y)$ 与 $\lambda^{(\psi)}(\delta) = \inf_{p \in \text{supp}(\psi)} \left[ \Lambda_p(\delta) \cdot \psi(p) \right]$，构成关键的模界。
• 利用已知的 $L_p$-界 $\omega(f,\delta) \leq \Lambda_p(\delta) \cdot |\nabla f|_p$ 与 $G(\psi)$-范数的定义，证明主不等式 $\omega(f,\delta) \leq \lambda^{(\psi)}(\delta) \cdot \|\nabla f\|_{G\psi}$。
• 通过构造如 $f(x) = |x| |\log|x||^\beta L(1 + |\log|x||)$（当 $|x| \leq 1$ 时）的特定函数，验证界的最佳性及嵌入的非紧性。

实验结果

研究问题

• RQ1 经典的Sobolev连续性不等式能否推广至Grand Lebesgue空间 $G(\psi)$ 中的函数？
• RQ2 当梯度属于 $G(\psi)$ 而非 $L_p$ 时，连续模界的最佳形式是什么？
• RQ3 如何结合 $p$-连通性与权函数 $\psi$ 以获得精确的模估计？
• RQ4 在何种条件下，从 $W^{1}G(\psi)$ 到模空间 $H(\eta)$ 的嵌入算子是非紧的？
• RQ5 所导出的界 $\omega(f,\delta) \leq \lambda^{(\psi)}(\delta) \cdot \|\nabla f\|_{G\psi}$ 是否精确，能否通过反例证明？

主要发现

• 主要结果为不等式 $\omega(f,\delta) \leq \lambda^{(\psi)}(\delta) \cdot \|\nabla f\|_{G\psi}$，其中 $\lambda^{(\psi)}(\delta) = \inf_{p \in \text{supp}(\psi)} \left[ \Lambda_p(\delta) \cdot \psi(p) \right]$，推广了经典Sobolev不等式。
• 当 $\psi(p) = p^{-\beta}$ 时，该不等式退化为经典Morrey型界 $\omega(f,\delta) \leq C \cdot \delta^{1-d/p} \cdot |\nabla f|_p$，恢复了 $L_p$ 空间中的已知结果。
• 对于临界情形 $\psi(p) = (b-p)^{-\beta - 1/b}$（$b > d$），证明了从 $W^{1}G(\psi)$ 到空间 $H(\eta_{b,\beta})$（其范数为 $\|u\|_{H(\eta)} = \sup_{\delta \in (0,1/e)} \omega(u,\delta)/\eta_{b,\beta}(\delta)$）的嵌入算子是非紧的。
• 通过构造一个函数列 $\{g_h\}$，其 $W^{1}G(\psi)$-范数有界但 $\|g_{h(1)} - g_{h(2)}\|_{H(\eta)} \not\to 0$（当 $|h(1) - h(2)| \to 0$ 时），其中 $\zeta(h) \geq 2 - 2^{1-1/b} > 0$，证明了非紧性。
• 函数 $f(x) = |x| |\log|x||^\beta L(1 + |\log|x||)$（当 $|x| \leq 1$ 时）属于 $G(\psi)$，其中 $\psi(p) = (b-p)^{-\beta - 1/b}$，证明了嵌入的精确性。
• 结果确认，界 $\omega(f,\delta) \leq \lambda^{(\psi)}(\delta) \cdot \|\nabla f\|_{G\psi}$ 在常数无法改进的意义上是最优的。