[论文解读] Semi-continuous convolutions on weakly periodic Lebesgue spaces

Joachim Toft|arXiv (Cornell University)|Feb 13, 2018

Advanced Harmonic Analysis Research参考文献 7被引用 3

一句话总结

本文建立了弱周期性勒贝格空间上半连续卷积的混合准范数估计，将经典的杨氏型不等式推广至函数在某些方向呈现周期性或回声周期性的情形。主要贡献是一个广义卷积不等式，当勒贝格指数属于 (0,1] 时仍保持有界性和连续性，从而使得在较弱可积性条件下分析具有准巴拿赫结构的调制空间成为可能。

ABSTRACT

We deduce mixed quasi-norm estimates of Lebesgue types on semi-continuous convolutions between sequences and functions which may be periodic or possess a weaker form of periodicity in certain directions. In these directions, the Lebesgue quasi-norms are applied on the period instead of the whole axes.

研究动机与目标

• 将经典的卷积不等式推广至涉及某些变量周期性或弱周期性函数的情形。
• 解决在勒贝格指数小于1的准巴拿赫空间中标准杨氏不等式与三角不等式失效的问题。
• 在弱周期性定义域上，建立半连续卷积在混合勒贝格准范数下的有界性与连续性。
• 通过提供稳健的卷积估计，支持使用非巴拿赫混合勒贝格范数的调制空间理论。

提出的方法

• 引入定义在由 $ \mathbb{R}^d $ 的有序基 $ E $ 生成的格 $ \Lambda_E $ 上的半连续卷积算子 $ a*_{[E]}f $，结合离散与连续卷积结构。
• 定义弱周期性勒贝格空间 $ L^{{\boldsymbol{p}}}_{E,(ω)}(\mathbb{R}^d) $，其中函数在某些变量上具有周期性或回声周期性，其范数在基本域而非整个空间上取值。
• 应用闵可夫斯基不等式并按变量组进行归纳，以控制混合准范数，处理 $ p_k \geq p_{0,k-1} $ 或 $ p_k \leq p_{0,k-1} $ 的情形，以及区间 $ J_k = \mathbb{R} $ 或 $ [0,1] $ 的情况。
• 使用 $ v $-适度权 $ \omega $ 的加权勒贝格范数，并证明卷积映射从 $ \ell^{\boldsymbol{r}}_{E,(v)}(\Lambda_E) \times L^{{\boldsymbol{p}}}_{E,(ω)}(\mathbb{R}^d) $ 到 $ L^{{\boldsymbol{p}}}_{E,(ω)}(\mathbb{R}^d) $ 的有界性。
• 推导广义杨氏型不等式：$ \|a*_{[E]}f\|_{L^{{\boldsymbol{p}}}_{E,(ω)}} \lesssim \|a\|_{\ell^{\boldsymbol{r}}_{E,(v)}}\|f\|_{L^{{\boldsymbol{p}}}_{E,(ω)}} $，在 $ r_k \leq \min(1, p_m) $ 条件下成立。
• 在变量块之间采用迭代估计技术，通过递归应用闵可夫斯基不等式，并在 $ \mathbb{R} $ 与 $ [0,1] $ 区间之间进行范数比较。

实验结果

研究问题

• RQ1 半连续卷积不等式能否推广至在某些变量上具有周期性或弱周期性的函数，而非完全非周期或离散的情形？
• RQ2 当勒贝格指数属于 (0,1) 时，混合准范数估计的行为如何，此时对应的准巴拿赫空间不具有局部凸性？
• RQ3 在弱周期性勒贝格空间中，何种条件能确保半连续卷积算子的有界性，涉及权 $ \omega $ 与指数向量 $ \boldsymbol{p} $ ？
• RQ4 当使用非巴拿赫混合勒贝格范数与周期性输入函数时，标准调制空间理论在多大程度上仍可保持？

主要发现

• 即使 $ \boldsymbol{p} \in (0,1]^d $，半连续卷积 $ a*_{[E]}f $ 仍唯一地扩展为从 $ \ell^{\boldsymbol{r}}_{E,(v)}(\Lambda_E) \times L^{{\boldsymbol{p}}}_{E,(ω)}(\mathbb{R}^d) $ 到 $ L^{{\boldsymbol{p}}}_{E,(ω)}(\mathbb{R}^d) $ 的有界线性算子。
• 当对所有 $ m \leq k $ 满足 $ r_k \leq \min(1, p_m) $ 时，不等式 $ \|a*_{[E]}f\|_{L^{{\boldsymbol{p}}}_{E,(ω)}} \lesssim \|a\|_{\ell^{\boldsymbol{r}}_{E,(v)}}\|f\|_{L^{{\boldsymbol{p}}}_{E,(ω)}} $ 成立，该结果推广了经典杨氏不等式。
• 该结果适用于在某些变量上具有周期性或回声周期性的函数，其范数限制在基本域 $ [0,1] $ 上，从而支持对周期信号的短时傅里叶变换的分析。
• 证明依赖于闵可夫斯基不等式的迭代应用以及对 $ \mathbb{R} $ 与 $ [0,1] $ 区间进行细致的分情况讨论，确保对变量分组中混合准范数的有效控制。
• 该框架支持调制空间在窗口函数变换下的不变性及其完备性，即使在准巴拿赫情形下也成立，当 $ \mathscr{B} $ 为混合勒贝格空间且 $ p_k < 1 $ 时亦然。
• 回声周期性在短时傅里叶变换下被保持，如恒等式 $ |(V_{\Phi}F)(x+\rho k,\xi,\eta,y)| = |(V_{\Phi}F)(x,\xi,\eta,y-2\pi k)| $ 所示，这为在分析中使用此类函数提供了依据。