[论文解读] Fourier tranform in exponential rearrangement invariant spaces

Eugeny Ostrovsky, L. Sirota|ArXiv.org|Jun 20, 2004

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

一句话总结

本文研究了在指数重排不变（r.i.）空间中，特别是具有指数N函数的Orlicz空间中的傅里叶级数与变换的有界性与收敛性。文章建立了关于基本函数和范数等价性的精确条件，证明了部分傅里叶和的$L(N)$-范数收敛性蕴含其属于闭包$L^0(N)$，并利用广义Hausdorff-Young与Hardy-Littlewood方法推导出矩不等式及小波/Haar级数估计。

ABSTRACT

In this article we investigate the Fourier series and transforms for the functions defined on the $ [0, 2 π]^ d $ or $ R^d $ and belonging to the exponential Orlicz and some other rearrangement invariant (r.i.) spaces.

研究动机与目标

• 分析指数Orlicz与重排不变（r.i.）空间中傅里叶级数与变换的收敛性与有界性。
• 刻画部分傅里叶和在$L(N)$-范数下收敛的条件，尤其与闭包$L^0(N)$的关系。
• 利用基本函数$\theta(p)$与广义Orlicz范数，推导出精确的矩不等式与范数等价性。
• 将经典不等式（Hausdorff-Young、Hardy-Littlewood）推广至具有$N \in EOF$的指数Orlicz空间，并应用于小波与Haar级数。

提出的方法

• 作者通过$N(u) = \exp(W(\log|u|))$（当$|u| \geq e^2$时）定义指数Orlicz空间$EOS(W)$，其中$W$为凸且递增函数。
• 利用Luxemburg范数公式$\|f\|_{L(N)} = \inf_{v>0} \left\{ v^{-1} \left(1 + \int_X N(v|f(x)|) \, \mu(dx) \right) \right\}$定义$L(N)$中的范数。
• 文章应用广义Hausdorff-Young与Hardy-Littlewood不等式，将$f$与傅里叶变换$F[f]$的$L^p$-范数关联，其中涉及$|x|^{p-2}$权重。
• 引入空间$G(a,b,\alpha,\beta)$以建模衰减与可积性，并利用范数$\|f\|_{G}$通过$(q-1)^{-\alpha}$（$q \in (1,2]$）控制$L^p$-范数。
• 分析包括小波与Haar级数的矩估计，表明$\|P_M[f] - f\|_{L(N)} \leq (K_6 + 1) \|f\|_{L(N)}$，其中Haar级数的$K_6 = 13$，小波级数的$K_6 = 1$。
• 关键技术在于将基本函数$\psi(p) = \exp(W^*(p)/p)$的增长性与$L(N)$中的收敛性关联，结合对偶性与渐近分析。

实验结果

研究问题

• RQ1 当$f \in L(N)$时，部分傅里叶和$s_M[f]$在$L(N)$-范数下收敛的条件是什么？
• RQ2 傅里叶级数在$L(N)$-范数下的收敛性与成员属于闭包$L^0(N)$之间有何关系？
• RQ3 广义Hausdorff-Young与Hardy-Littlewood不等式如何推广至具有$N \in EOF$的指数Orlicz空间？
• RQ4 在$L(N)$中，小波与Haar级数可推导出哪些矩估计？其依赖于基本函数$\psi(p)$的机制如何？
• RQ5 当条件$\lim_{p \to \infty} \theta(p)/\psi(p) = 0$成立时，是否意味着傅里叶级数在$L(N)$-范数下收敛？

主要发现

• 部分傅里叶和$s_M[f]$在$L(N)$-范数下收敛，当且仅当$f \in L^0(N)$，其中$L^0(N)$为有界函数且具有有界支集的闭包。
• 若$f \in L(N)$且$\|f\|_{L(N)} < \infty$，则$\|s_M[f] - f\|_{L(N)} \to 0$当$M \to \infty$仅当$f \in L^0(N)$时成立，否则范数收敛性不成立。
• 对于$f \in G(1,b,\alpha,0)$，傅里叶变换满足$\|F[f]\|_p \leq (2\pi)^{1/2} p^\alpha$（$p \geq 2$），意味着$F[f] \in L(N_{1/\alpha})$。
• 小波部分和算子满足$\|P_M[f] - f\|_{L(N)} \leq (K_6 + 1) \|f\|_{L(N)}$，其中Haar级数的$K_6 = 13$，小波级数的$K_6 = 1$，定义域为$[0,1]$或$\mathbb{R}$。
• 若$\lim_{p \to \infty} \theta(p)/\psi(p) > 0$，则与傅里叶级数在$L(\Phi)$-范数下的收敛性矛盾，因此若收敛成立，则必有$\psi(p)/\theta(p) \to 0$。
• 对于$f \in L(N)$，$f$的$L^p$-范数满足$|f|_p \leq C \cdot p \cdot \psi(p)$，其中$\psi(p) = \exp(W^*(p)/p)$，且$f \in L(N_1[\psi])$，表明$\psi(p)$的增长性与Orlicz空间成员资格相关。