[论文解读] Calculus, continuity and global wave-front properties for Fourier integral operators on $\mathbf{R}^d$

Sandro Coriasco, Kristina Johansson+1 more|arXiv (Cornell University)|Jul 23, 2013

Mathematical Analysis and Transform Methods参考文献 32被引用 6

一句话总结

本文建立了在 $\mathbf{R}^d$ 上广义 $$\operatorname{SG}$$ 傅里叶积分算子（FIOs）的连续性与全局波前集映射性质，且不需相位函数满足齐次性。证明了在这些算子作用下，奇异性沿双特征线传播，并将结果应用于线性双曲柯西问题解在调制空间中的奇异性传播。

ABSTRACT

We illustrate the composition properties for an extended family of SG Fourier integral operators. We prove continuity results for operators in this class with respect to $L^2$ and weighted modulation spaces, and discuss continuity on $\mathscr{S}$, $\mathscr{S}^\prime$ and on weighted Sobolev spaces. We study mapping properties of global wave-front sets under the action of these Fourier integral operators. We extend classical results to more general situations. For example, there are no requirements of homogeneity for the phase functions. Finally, we apply our results to the study of of the propagation of singularities, in the context of modulation spaces, for the solutions to the Cauchy problems for the corresponding linear hyperbolic operators.

研究动机与目标

• 将全局波前集理论推广至 $$\operatorname{SG}$$ 类型的傅里叶积分算子，超越经典结果中对齐次相位的依赖。
• 建立这些FIOs在 $L^2$、加权调制空间、${\ mathscr{S}}$、${\ mathscr{S}}'$ 以及加权Sobolev空间上的连续性。
• 刻画线性双曲柯西问题解在调制空间型全局波前集中的奇异性传播特性。
• 提出一个基于弱 $$\operatorname{SG}$$-有序函数空间对的框架，用于研究适定性与奇异性传播。
• 将伪微分算子的映射性质推广至FIOs，尤其在非齐次相位函数与全局行为的背景下。

提出的方法

• 引入一类扩展的 $$\operatorname{SG}$$ 傅里叶积分算子族，其相位函数非齐次，符号属于 $$\operatorname{SG}^{(\omega)}$$ 类。
• 利用 $$\operatorname{SG}$$ 类型广义FIO的符号演算，分析其复合与连续性性质。
• 应用 $$\operatorname{SG}$$-有序与弱 $$\operatorname{SG}$$-有序巴拿赫/弗雷chet空间对的概念，确保在 $L^2$、调制空间与Sobolev空间上的连续性。
• 定义全局波前集 $\operatorname{WF}^m_{\mathcal{B}}(f)$，$m=1,2,3$，分别捕捉相对于巴拿赫空间 $\mathcal{B}$ 的局部、无穷远与振荡奇异性。
• 通过与相位函数 $\varphi_j(t)$ 解决eikonal方程的典范变换 $\phi_j(t)$ 分析FIO的作用。
• 将理论应用于 $$\operatorname{SG}$$-经典Levi型双曲算子，将解分解为相位与符号属于符号类的FIO。

实验结果

研究问题

• RQ1 当相位函数不需齐次时，全局波前集在傅里叶积分算子作用下如何变换？
• RQ2 $$\operatorname{SG}$$ FIOs 在 $L^2$、调制空间与加权Sobolev空间上具有何种连续性性质？
• RQ3 当以调制空间型波前集度量时，线性双曲柯西问题解中的奇异性如何传播？
• RQ4 何种条件可确保柯西问题在 $$\operatorname{SG}$$-有序函数空间对意义下的适定性？
• RQ5 奇异性传播能否几何地描述为从初始波前集出发的双特征线弧？

主要发现

• 在 $$\operatorname{SG}$$ FIO作用下，分布像的全局波前集满足 $\operatorname{WF}^m_{\mathcal{C}}(\operatorname{Op}(a)f) \subseteq \bigcup_{j=1}^\mu \phi_j(t)(\operatorname{WF}^m_{{\mathcal{B}}_k}(u_0^k))$（$m=1,2,3$），推广了伪微分算子情形。
• 对于 $$\operatorname{SG}$$-经典双曲柯西问题的解，波前集 $\operatorname{WF}^m_{\mathcal{C}}(u(t))$ 由相位函数 $\varphi_j(t)$ 生成的双特征线弧构成，且起源于初始波前集 $\operatorname{WF}^m_{{\mathcal{B}}_k}(u_0^k)$。
• 通过弱 $$\operatorname{SG}$$-有序对，建立了FIO在 $L^2$、加权调制空间、${\mathscr{S}}$、${\mathscr{S}}'$ 与加权Sobolev空间上的连续性。
• 该理论适用于非齐次相位函数，扩展了经典结果中对齐次性的要求。
• 当 $({\mathcal{B}}_k, {\mathcal{C}})$ 关于适当权函数构成弱 $$\operatorname{SG}$$-有序对时，柯西问题的适定性得以保证，确保 $u \in C(J', {\mathcal{C}})$。
• 解 $u(t)$ 可表示为I型FIO之和 $A_j(t) = \operatorname{Op}_{\varphi_j(t)}(a_j(t))$，其中每个FIO的振幅属于 $\operatorname{SG}^{l-k-1,l-k-1}_{1,1,\mathrm{cl}}$ 类。