[论文解读] $L^p$-$L^q$ boundedness of pseudo-differential operators on smooth manifolds and its applications to nonlinear equations

Duván Cardona, Vishvesh Kumar+2 more|arXiv (Cornell University)|May 11, 2020

Advanced Harmonic Analysis Research参考文献 20被引用 6

一句话总结

本文通过全局符号微分法建立光滑流形上全局伪微分算子的 $L^p$-$L^q$ 有界性准则，并将经典的 Hörmander-Mihlin 和 Paley 型条件推广至非欧几里得设置。证明了流形上的 Hausdorff-Young-Paley 不等式与 Paley 不等式，并将其应用于在小初值条件下证明非线性偏微分方程（如非线性波动方程、热方程和定常方程）的局部适定性。

ABSTRACT

In this paper we study the boundedness of global pseudo-differential operators on smooth manifolds. By using the notion of global symbol we extend a classical condition of Hörmander type to guarantee the $L^p$-$L^q$-boundedness of global operators. First we investigate $L^p$-boundedness of pseudo-differential operators in view of the Hörmander-Mihlin condition. We also prove $L^\infty$-$BMO$ estimates for pseudo-differential operators. Later, we concentrate our investigation to settle $L^p$-$L^q$ boundedness of the Fourier multipliers and pseudo-differential operators for the range $1

研究动机与目标

• 通过全局傅里叶分析，将经典的 $L^p$-有界性条件（如 Hörmander-Mihlin 条件和 Paley 型条件）扩展至光滑流形设置。
• 为具有离散谱的流形上的伪微分算子发展全局符号微分法，实现超越欧几里得设置的有界性结果。
• 在流形上证明新的不等式——Hausdorff-Young-Paley 不等式与 Paley 不等式，以连接乘子和算子的 $L^p$ 与 $L^q$ 估计。
• 将有界性定理应用于证明非线性偏微分方程（包括非线性波动方程、热方程和定常方程）在小初值条件下的局部适定性。

提出的方法

• 在具有离散谱且特征函数构成 $L^2(\overline{M})$ 中 Riesz 基的光滑流形 $\overline{M}$ 上使用一个模型算子 $L$，以定义全局傅里叶分析。
• 引入一个推广经典 Hörmander-Mihlin 条件的全局符号条件，确保伪微分算子的 $L^p$-有界性。
• 证明流形上的 Hausdorff-Young-Paley 不等式版本：$\left(\int |\mathscr{F}f(\xi)\phi(\xi)^{1/r - 1/p'}|^{r} d\xi\right)^{1/r} \leq \|f\|_{L^p}$，其中 $1<p\leq r\leq p'\leq\infty$。
• 推导出一种 Paley 型不等式：$M_\phi = \sup_{t>0} t \cdot |\{\xi: \phi(\xi) \geq t\}| < \infty$，用于控制流形上傅里叶变换的分布函数。
• 通过插值与对偶性推导出 $L^p$-$L^q$ 有界性，条件为 $\sup_{t>0} t^b \cdot |\{\xi: m(\xi)\geq t\}| < \infty$，其中 $\frac{1}{p}-\frac{1}{q} = \frac{1}{b}$，适用于 $1<p\leq 2\leq q<\infty$。
• 在 $L^\infty(0,T;L^2(\overline{M}))$ 中使用不动点方法，证明在小初值条件下非线性偏微分方程的局部适定性。

实验结果

研究问题

• RQ1 经典的 Hörmander-Mihlin 条件（用于傅里叶乘子的 $L^p$-有界性）能否推广至光滑流形上的伪微分算子？
• RQ2 在具有谱分解的非欧几里得流形背景下，Paley 不等式与 Hausdorff-Young-Paley 不等式的适当类比是什么？
• RQ3 如何在流形上建立 $1<p\leq 2\leq q<\infty$ 条件下伪微分算子的 $L^p$-$L^q$ 有界性？
• RQ4 符号与数据需满足何种条件，才能保证波动方程、热方程和定常方程等非线性偏微分方程在流形上的局部适定性？
• RQ5 能否利用有界性定理在 $L^\infty(0,T;L^2(\overline{M}))$ 中推导出非线性演化方程解的存在性与唯一性？

主要发现

• 本文在符号满足全局 Hörmander-Mihlin 条件下，建立了流形上伪微分算子的 $L^p$-有界性，将经典结果推广至非紧致与非欧几里得设置。
• 证明了流形上的 Hausdorff-Young-Paley 不等式版本，该不等式可支持插值，从而获得 $1<p\leq 2\leq q<\infty$ 条件下的 $L^p$-$L^q$ 有界性。
• 将 Paley 型不等式推广至流形，提供了对傅里叶变换分布函数的谱控制。
• 对于非线性波动方程，证明了在足够小的初值 $u_0, u_1$ 条件下，解在 $L^\infty(0,T^*;L^2(\overline{M}))$ 中的局部适定性，其中 $T^*$ 依赖于 $\|u_0\|_{L^2}$ 与 $\|u_1\|_{L^2}$。
• 对于非线性热方程，本文证明了在小初值条件下，存在唯一解属于 $L^\infty(0,T;L^2(\overline{M}))$，其中 $T$ 依赖于 $u_0$ 的 $L^2$-范数与 $b$ 的 $L^2$-范数。
• 在小数据假设下，该方法通过在合适函数球中使用不动点论证，为非线性定常方程在 $L^\infty(0,T;L^2(\overline{M}))$ 中构造了解。