[论文解读] Fundamental function for Grand Lebesgue Spaces

E. Ostrovsky, L. Sirota|arXiv (Cornell University)|Sep 11, 2015

Advanced Banach Space Theory参考文献 9被引用 9

一句话总结

本文在大勒贝格空间（GLS）中建立了基本函数与生成函数之间的一一对应关系，且该关系为相互连续的。研究证明，基本函数可通过生成函数的归一化逆的反Young-Fenchel变换显式表达。关键成果是，基本函数以生成函数的对偶形式给出了闭式表达式，从而实现了直接反演，并简化了GLS与奥尔利奇空间理论中的分析。

ABSTRACT

We investigate in this short article the fundamental function for the so-called Grand Lebesgue Spaces (GLS) and show in particular a one-to-one and mutually continuous accordance between its fundamental and generating function.

研究动机与目标

• 在大勒贝格空间（GLS）中建立基本函数与生成函数之间精确、连续且可逆的关系。
• 通过Legendre变换，提供一种利用生成函数及其对偶构造性计算GLS基本函数的方法。
• 在生成函数满足自然正则性条件的前提下，通过推导基本函数的简化显式公式，扩展已知的GLS与奥尔利奇空间结果。
• 解决逆问题：在适当的凸性与单调性假设下，从给定的基本函数重构生成函数。
• 将框架推广至非概率测度与无限支撑的生成函数，特别是在指数奥尔利奇空间（EOS）的背景下。

提出的方法

• 通过范数 $ \|f\|_{G\psi} = \sup_{p \geq 1} \frac{|f|_p}{\psi(p)} $ 定义大勒贝格空间 $ G\psi $，其中 $ \psi(p) $ 为连续、严格递增且在无穷远处发散的函数。
• 引入反函数 $ \nu(p) = \left( \frac{p}{\psi(p)} \right)^{(-1)} $，假设 $ \frac{p}{\psi(p)} $ 严格递增。
• 利用 $ \nu_{\psi} $ 的Legendre-Fenchel变换，构造Young-Orlicz函数 $ N_{\psi}(u) = \exp(\nu_{\psi}^*(u)) - \exp(\nu_{\psi}^*(0)) $。
• 将基本函数定义为 $ \theta_{\psi}(\delta) = \frac{1}{N_{\psi}^{(-1)}(1/\delta)} $，并证明在所述条件下其等于GLS的基本函数 $ \phi_{G\psi}(\delta) $。
• 在已知奥尔利奇空间中基本函数结果的基础上，建立GLS与奥尔利奇空间之间的等价性。
• 将框架扩展至 $ \mu(X) = \infty $ 且 $ \psi(p) $ 定义在 $ [\alpha, \infty) $，$ \alpha \geq 1 $ 的情形，采用 $ \alpha $-修正的GLS范数，并证明范数的渐近等价性。

实验结果

研究问题

• RQ1 在大勒贝格空间中，基本函数与生成函数之间存在何种显式关系？
• RQ2 是否能通过明确定义的连续变换，从生成函数重构基本函数？
• RQ3 在何种条件下，GLS的基本函数与相关奥尔利奇空间的基本函数一致？
• RQ4 如何构造性地解决逆问题：从给定的基本函数恢复生成函数？
• RQ5 在非概率测度与无限测度、且 $ \psi(p) $ 定义在 $ [\alpha, \infty) $ 的情形下，基本函数的行为如何？

主要发现

• 在 $ \frac{p}{\psi(p)} $ 严格递增的条件下，大勒贝格空间 $ G\psi $ 的基本函数为 $ \phi_{G\psi}(\delta) = \theta_{\psi}(\delta) = \frac{1}{N_{\psi}^{(-1)}(1/\delta)} $，对所有 $ \delta > 0 $ 成立，其中 $ N_{\psi} $ 由 $ \frac{p}{\psi(p)} $ 的反函数的Legendre-Fenchel变换导出。
• 在假设测度为扩散测度且 $ \mu(X) = 1 $ 的条件下，证明了基本函数 $ \phi_{G\psi}(\delta) $ 与 $ \theta_{\psi}(\delta) $ 相等，从而提供了构造性且可逆的公式。
• 对于 $ \mu(X) = \infty $ 且 $ \psi(p) $ 定义在 $ [\alpha, \infty) $ 的情形，基本函数满足 $ \phi_{G(\psi)}(\delta) \asymp \theta_{\psi}(\delta) $，表明其渐近等价。
• 在定理A的条件下，GLS范数 $ \|f\|_{G(\alpha;\psi)} $ 与Orlicz-Luxemburg范数 $ \|f\|_{L(N^{(\alpha)}, [\psi])} $ 等价，验证了对偶框架的有效性。
• 生成函数 $ \psi(p) $ 可通过变换 $ \theta_{\psi}(\delta) $ 的逆从基本函数中恢复，从而确立了一一对应关系。
• 该框架适用于指数奥尔利奇空间（EOS），其中 $ N_{m,r}(u) $ 与 $ N_{m}^{(\alpha)}(u) $ 是EOS中的典型函数示例，此时所得的GLS范数与相应奥尔利奇范数等价。