[论文解读] Nikol'skii-type inequalities for rearrangement invariant spaces

E. Ostrovsky, L. Sirota|ArXiv.org|Apr 15, 2008

Advanced Harmonic Analysis Research参考文献 19被引用 18

一句话总结

本文建立了重排不变（r.i.）空间的精确 Nikol'skii 型不等式，特别关注矩重排不变（m.r.i.）空间和 Lorentz 型空间。引入了 Nikol'skii 泛函 $ W_n(X,Y,K_1,K_2) $ 以刻画强与弱 Nikol'skii 对，证明了包括 Orlicz、Lorentz 和 Marcinkiewicz 空间在内的许多经典 r.i. 空间在精确条件下为强或弱 Nikol'skii 对，通过分布函数估计与基本函数分析推导出精确界。

ABSTRACT

In this paper we generalize the classical Nikol'skii inequality on the many popular classes pairs of rearrangement invariant (r.i.) spaces and construct some examples in order to show the exactness of our estimations.

研究动机与目标

• 刻画重排不变（r.i.）空间中的强与弱 Nikol'skii 对。
• 将经典的 Nikol'skii 不等式从 $ L^p $ 空间推广至更广泛的 r.i. 类别，如 Orlicz、Lorentz 和 Marcinkiewicz 空间。
• 为 Nikol'skii 泛函 $ W_n(X,Y,K_1,K_2) $ 建立精确估计，尤其基于基本函数与慢变函数。
• 通过显式反例与下界构造，证明这些估计的精确性。

提出的方法

• 将 Nikol'skii 泛函 $ W_n(X,Y,K_1,K_2) $ 定义为非零多项式 $ t_n \in A(n) $ 上比值 $ \frac{\|t_n\|_X / \phi(X,K_1/\sigma)}{\|t_n\|_Y / \phi(Y,K_2/\sigma)} $ 的上确界，其中 $ \phi $ 为 r.i. 空间的基函数。
• 通过函数在 $ p \in (a,b) $ 上的 $ L^p $-范数定义矩重排不变（m.r.i.）空间，以分析插值与嵌入性质。
• 利用 Fejér 核 $ D_n(x) $ 的分布函数估计，表明 $ m\{x: D_n(x) > \lambda\} \asymp n^{-1} G(\lambda) $，其中当 $ \lambda $ 较小时 $ G(\lambda) \asymp \delta^{-1/2} $。
• 应用条件 $ \phi \in Q $，定义为 $ \int_0^{1/4} \phi(\epsilon G(\lambda)) \, d\lambda \leq \phi(C\epsilon) $，以刻画 Lorentz 空间不等式中的精确性。
• 利用 $ \phi \in Q $ 下 $ \|D_n\|_{\Lambda(\phi)} \asymp \phi(C/n) $ 的行为，证明 $ \underline{\lim}_{n\to\infty} W_n(X,Y,K_1,K_2) > 0 $ 的精确下界。
• 建立正则 r.i. 空间（如 $ G(\psi) $、Zygmund 和 Lorentz 空间）满足 $ \|D_n\|_X \asymp \phi(X,C/n) $，从而实现精确渐近分析。

实验结果

研究问题

• RQ1 在何种 r.i. 空间 $ X $ 与 $ Y $ 条件下，Nikol'skii 泛函 $ W_n(X,Y,K_1,K_2) $ 关于 $ n $ 一致有界？
• RQ2 r.i. 空间对在何种条件下构成强或弱 Nikol'skii 对，且由此产生的不等式精确性由何特征刻画？
• RQ3 基本函数 $ \phi(X,\delta) $ 与 Fejér 核 $ D_n(x) $ 的分布行为如何决定 Lorentz 与 m.r.i. 空间中 Nikol'skii 型不等式的精确性？
• RQ4 条件 $ \phi \in Q $ 在确保 $ W_n $ 的下极限为正方面起何作用，其与精确性有何关联？
• RQ5 Lorentz 空间中逆 Nikol'skii 不等式能否被精确刻画，这对 r.i. 空间的正则性意味着什么？

主要发现

• 当且仅当 $ \sup_n W_n(X,Y) < \infty $ 时，对 $ (X,Y) $ 为强 Nikol'skii 对，且该条件对包括 Orlicz、Lorentz 和 Marcinkiewicz 空间在内的许多经典 r.i. 空间成立。
• 当 $ \phi \in Q $ 时，有 $ \underline{\lim}_{n\to\infty} W_n(\Lambda(\phi_1), \Lambda(\phi_2), K_1, K_2) = K_3 > 0 $，证明了 Lorentz 空间中估计的精确性。
• 在 $ \phi \in Q $ 条件下，有估计 $ \|D_n\|_{\Lambda(\phi)} \asymp \phi(C/n) $，并用于推导 Nikol'skii 泛函的精确下界。
• 当 $ X $ 为正则 r.i. 空间时，条件 $ \phi \in Q $ 是 $ \underline{\lim}_{n\to\infty} W_n(\Lambda(\phi), X, K_1, K_2) > 0 $ 的必要且充分条件。
• 对正则 r.i. 空间（如 $ G(\psi) $、Zygmund、Lorentz 空间），有 $ \|D_n\|_X \asymp \phi(X,C/n) $，确保 Nikol'skii 泛函的渐近不消失。
• 本文通过在 $ s, r $ 上最小化表达式 $ Z = \sigma^{1/s - 1/r} \left[ \frac{r}{r - q} \right]^{\gamma/r} \left[ \frac{s}{p - s} \right]^{-\beta/s} $，证明了定理 4 中估计的精确性，展示了所推导界的最佳性。