[论文解读] On regularization of Mellin PDO's with slowly oscillating symbols of limited smoothness

Alexei Yu. Karlovich, Yuri I. Karlovich+1 more|arXiv (Cornell University)|Jul 12, 2014

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

一句话总结

本文为符号属于代数 $\widetilde{\mathcal{E}}(\mathbb{R}_{+},V(\mathbb{R}))$ 的梅林伪微分算子（Mellin PDOs）建立了弗雷德霍姆准则，该代数包含光滑性受限的缓慢振荡函数。证明了此类算子在 $L^p(\mathbb{R}_+, dt/t)$ 上（$p \in (1,\infty)$）当且仅当其符号在无穷远处或在极大理想空间边界上不为零时为弗雷德霍姆算子，并给出了显式正则化子形式 $\mathrm{Op}(\mathfrak{b}) + K$，其中 $\mathfrak{b}$ 是符号在边界上的逐点逆，$K$ 为紧算子。

ABSTRACT

We study Mellin pseudodifferential operators (shortly, Mellin PDO's) with symbols in the algebra $\widetilde{\mathcal{E}}(\mathbb{R}_+,V(\mathbb{R}))$ of slowly oscillating functions of limited smoothness introduced in \cite{K09}. We show that if $\mathfrak{a}\in\widetilde{\mathcal{E}}(\mathbb{R}_+,V(\mathbb{R}))$ does not degenerate on the "boundary" of $\mathbb{R}_+ imes\mathbb{R}$ in a certain sense, then the Mellin PDO ${ m Op}(\mathfrak{a})$ is Fredholm on the space $L^p$ for $p\in(1,\infty)$ and each its regularizer is of the form ${ m Op}(\mathfrak{b})+K$ where $K$ is a compact operator on $L^p$ and $\mathfrak{b}$ is a certain explicitly constructed function in the same algebra $\widetilde{\mathcal{E}}(\mathbb{R}_+,V(\mathbb{R}))$ such that $\mathfrak{b}=1/\mathfrak{a}$ on the "boundary" of $\mathbb{R}_+ imes\mathbb{R}$. This result complements a known Fredholm criterion from \cite{K09} for Mellin PDO's with symbols in the closure of $\widetilde{\mathcal{E}}(\mathbb{R}_+,V(\mathbb{R}))$.

研究动机与目标

• 将梅林 PDO 的弗雷德霍姆理论扩展至光滑性受限的符号，特别是代数 $\widetilde{\mathcal{E}}(\mathbb{R}_{+},V(\mathbb{R}))$ 中的符号。
• 为 $L^p(\mathbb{R}_+)$ 空间中此类符号的梅林 PDO 的弗雷德霍姆性建立必要且充分条件。
• 在 $\mathbb{R}_+ \times \mathbb{R}$ 边界上符号的逆的基础上，显式构造弗雷德霍姆梅林 PDO 的正则化子。
• 通过放宽光滑性假设同时保持弗雷德霍姆结构，补充此前要求符号为 $C^\infty$ 的结果。

提出的方法

• 作者在代数 $\widetilde{\mathcal{E}}(\mathbb{R}_{+},V(\mathbb{R}))$ 内工作，该代数包含频率变量有有界变差的缓慢振荡函数，允许有限光滑性。
• 通过梅林变换及其逆定义梅林 PDO $\mathrm{Op}(\mathfrak{a})$，利用符号 $\mathfrak{a}(t,x)$ 调制谱参数。
• 关键技术工具是识别 $\mathbb{R}_+$ 的极大理想空间 $\Delta$，从而定义 $t \to 0$ 或 $t \to \infty$ 时对应的边界值 $\mathfrak{a}(\xi,x)$（$\xi \in \Delta$）。
• 他们构造了一个符号 $\mathfrak{b} \in \widetilde{\mathcal{E}}(\mathbb{R}_{+},V(\mathbb{R}))$，使得 $\mathfrak{b}(t,\pm\infty) = 1/\mathfrak{a}(t,\pm\infty)$ 且 $\mathfrak{b}(\xi,x) = 1/\mathfrak{a}(\xi,x)$ 在边界 $\Delta \times \overline{\mathbb{R}}$ 上成立，利用一致收敛性和有界变差性质。
• 他们证明了差值 $\mathrm{Op}(\mathfrak{a}\mathfrak{b}) - I$ 在 $L^p$ 上是紧算子，通过证明符号 $\mathfrak{c} = \mathfrak{a}\mathfrak{b} - 1$ 在无穷远处和极大理想空间上趋于零，引用先前工作的紧性准则。
• 该证明依赖于 $\partial_x \mathfrak{b}(t,x)$ 在大区间外具有一致小的 $L^1(\mathbb{R})$-范数，从而确保 $\mathfrak{b} \in \widetilde{\mathcal{E}}(\mathbb{R}_{+},V(\mathbb{R}))$。

实验结果

研究问题

• RQ1 在什么条件下，具有有限光滑性缓慢振荡符号的梅林 PDO 在 $L^p(\mathbb{R}_+)$ 上（$p \in (1,\infty)$）为弗雷德霍姆算子？
• RQ2 能否在相同符号代数内显式构造此类弗雷德霍姆算子的正则化子？
• RQ3 符号在 $t \to 0$、$t \to \infty$ 以及极大理想空间 $\Delta$ 上的行为起何精确作用？
• RQ4 弗雷德霍姆性质如何依赖于 $\mathbb{R}_+ \times \mathbb{R}$ 边界上符号的逐点可逆性？
• RQ5 在保持弗雷德霍姆结构的前提下，符号的光滑性要求能在多大程度上放宽？

主要发现

• 符号 $\mathfrak{a} \in \widetilde{\mathcal{E}}(\mathbb{R}_{+},V(\mathbb{R}))$ 的梅林 PDO $\mathrm{Op}(\mathfrak{a})$ 在 $L^p(\mathbb{R}_+)$ 上为弗雷德霍姆算子，当且仅当对所有 $t \in \mathbb{R}_+$ 有 $\mathfrak{a}(t,\pm\infty) \neq 0$，且对所有 $\xi \in \Delta$ 和 $x \in \overline{\mathbb{R}}$ 有 $\mathfrak{a}(\xi,x) \neq 0$。
• 此类弗雷德霍姆算子的每个正则化子均为形式 $\mathrm{Op}(\mathfrak{b}) + K$，其中 $K$ 为紧算子，且 $\mathfrak{b} \in \widetilde{\mathcal{E}}(\mathbb{R}_{+},V(\mathbb{R}))$ 满足 $\mathfrak{b}(t,\pm\infty) = 1/\mathfrak{a}(t,\pm\infty)$ 且在边界上 $\mathfrak{b}(\xi,x) = 1/\mathfrak{a}(\xi,x)$。
• 所构造的符号 $\mathfrak{b}$ 通过在边界上对 $\mathfrak{a}$ 进行逐点求逆显式定义，其属于 $\widetilde{\mathcal{E}}(\mathbb{R}_{+},V(\mathbb{R}))$ 的性质通过 $\partial_x \mathfrak{b}$ 的一致收敛性和有界变差性得到验证。
• $\mathrm{Op}(\mathfrak{a}\mathfrak{b} - 1)$ 的紧性源于 $\mathfrak{a}\mathfrak{b} - 1$ 在无穷远处和 $\Delta$ 上趋于零，这意味着 $\mathrm{Op}(\mathfrak{a}\mathfrak{b}) \simeq I$。
• 该结果将拉宾诺维奇的 $C^\infty$-光滑性准则推广至更广的符号类，同时保持正则化子的结构。
• 该证明依赖于事实：$\sup_{t \in \mathbb{R}_+} \int_{\mathbb{R} \setminus [-m,m]} |\partial_x \mathfrak{b}(t,x)| \, dx \to 0$ 当 $m \to \infty$ 时成立，从而确保 $\mathfrak{b}$ 在 $x$ 上关于 $t$ 一致有有界变差。