[论文解读] Global and local regularity of Fourier integral operators on weighted and unweighted spaces

David Dos Santos Ferreira, Wolfgang Staubach|HAL (Le Centre pour la Communication Scientifique Directe)|Apr 1, 2011

Advanced Harmonic Analysis Research参考文献 37被引用 38

一句话总结

本文在非退化条件下，建立了具有光滑和粗糙振幅及相位函数的傅里叶积分算子在加权 $L^p$ 空间上的全局与局部有界性，通过 Muckenhoupt $A_p$ 权将经典 $L^p$ 结果推广至加权空间。关键贡献是一条精确的加权 $L^p$ 有界性定理，使得能够获得与 BMO 函数的交换子的新估计，以及双曲 PDE 解的新结果。

ABSTRACT

We investigate the global continuity on $L^p$ spaces with $p\in [1,\infty]$ of Fourier integral operators with smooth and rough amplitudes and/or phase functions subject to certain non-degeneracy conditions. We initiate the investigation of the continuity of smooth and rough Fourier integral operators on weighted $L^{p}$ spaces, $L_{w}^p$ with $1< p < \infty$ and $w\in A_{p},$ (i.e. the Muckenhoput weights), and establish weighted norm inequalities for operators with rough and smooth amplitudes and phase functions satisfying a suitable rank condition. These results are then applied to prove weighted and unweighted estimates for the commutators of Fourier integral operators with functions of bounded mean oscillation BMO, then to some estimates on weighted Triebel-Lizorkin spaces, and finally to global unweighted and local weighted estimates for the solutions of the Cauchy problem for $m$-th and second order hyperbolic partial differential equations on $\mathbf{R}^n .$

研究动机与目标

• 建立具有光滑与粗糙振幅及相位函数的傅里叶积分算子在具有 Muckenhoupt $A_p$ 权的加权 $L^p$ 空间上的全局与局部 $L^p$ 有界性。
• 将经典的无权 $L^p$ 有界性结果推广至加权情形，特别针对振幅属于 $S^m_{\rho,\rho}$ 且相位函数满足非退化条件的算子。
• 基于加权 $L^p$ 有界性结果，推导傅里叶积分算子与 BMO 函数交换子的加权范数不等式。
• 将加权有界性理论应用于 $m$ 阶与二阶双曲柯西问题在 $\mathbb{R}^n$ 上的解，获得全局无权与局部加权估计。

提出的方法

• 使用 Hörmander 型符号类 $S^m_{\rho,\rho}$ 表征振幅与相位函数，并满足非退化条件，包括混合 Hessian 的秩条件与非零行列式。
• 通过 Muckenhoupt $A_p$ 权应用加权范数不等式，特别是利用外推法与加权乘子定理。
• 运用 Triebel-Lizorkin 空间与 BMO 空间的理论，推导向量值不等式与交换子估计。
• 利用双曲柯西问题解的傅里叶积分算子表示形式，其中相位属于 $\Phi^2$，振幅属于 $S^{-j}_{1,0}$，推导加权与无权估计。
• 借助定理 3.4.4 与加权 $L^p$ 有界性结果，证明 $H^s_w$ 空间中解的局部加权估计。
• 通过空间局部化与秩条件 $\mathrm{rank}\,\partial^2_{\xi\xi}\varphi = n-1$，控制双曲问题中 $t \neq 0$ 附近算子的行为。

实验结果

研究问题

• RQ1 在何种条件下，具有粗糙或光滑振幅及非退化相位的傅里叶积分算子在具有 $w \in A_p$ 的加权 $L^p$ 空间上有界？
• RQ2 如何利用傅里叶积分算子的加权 $L^p$ 有界性来建立其与 BMO 函数交换子的有界性？
• RQ3 如何利用相关傅里叶积分算子的全局与局部有界性，推导 $m$ 阶与二阶双曲 PDE 解的加权与无权估计？
• RQ4 为确保双曲柯西问题解的全局或局部加权 $L^p$ 估计，初始数据所需的最优正则性阶数是多少？
• RQ5 相位函数的非退化条件（如 $\det \partial^2_{x\xi}\varphi \neq 0$ 或 $|\det_{n-1} \partial^2_{\xi\xi}\varphi| \geq c > 0$）如何影响傅里叶积分算子在加权与无权 $L^p$ 空间中的有界性？

主要发现

• 本文建立了具有 $S^m_{\rho,\rho}$ 振幅与满足非退化条件的相位函数的傅里叶积分算子的精确加权 $L^p$ 有界性定理，对所有 $p \in (1,\infty)$ 与 $w \in A_p$ 成立。
• 对于振幅属于 $L^∞u S^{-\frac{n+1}{2}\rho + n(\rho - 1)}_{\rho}$ 且 $\rho \in [0,1]$ 的情形，其与 BMO 函数的 $k$ 阶交换子在 $L^p_w$ 上有界，对所有 $p \in (1,\infty)$ 与 $w \in A_p$ 成立，如定理 4.2.5 所示。
• 通过解的傅里叶积分算子表示形式，获得了 $m$ 阶双曲柯西问题解的全局无权 $L^p$ 估计，估计式为 $\|u(\cdot,t)\|_{H^{s-\varepsilon,p}} \leq C_T \sum_{j=0}^{m-1} \|f_j\|_{H^{s+m_p-j,p}}$，其中 $t \in [-T,T]$。
• 对于二阶双曲方程，导出了局部加权估计：$\|\chi u(\cdot,t)\|_{H^{s,p}_w} \leq C_T \sum_{j=0}^{1} \|f_j\|_{H^{s+\frac{n+1}{2}-j,p}_w}$，其中 $t \in [-T,T]\setminus\{0\}$ 且 $w \in A_p$，在条件 $\mathrm{rank}\,\partial^2_{\xi\xi}\varphi = n-1$ 下成立。
• 结果对光滑与粗糙振幅及相位函数均成立，后者需满足粗糙非退化条件，扩展了以往 $L^p$ 有界性结果的适用范围。
• 该理论将全局无权 $L^p$ 有界性与加权 $L^p$ 结果相联系，通过外推法与加权乘子定理，实现了向量值不等式与交换子估计的推导。