[论文解读] $L^p$-spectral multipliers for some elliptic systems

Peer Christian Kunstmann, Matthias Uhl|arXiv (Cornell University)|Sep 4, 2012

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

一句话总结

该论文在 $ℝ^3$ 中的有界 Lipschitz 域上，为三个椭圆系统——麦克斯韦、带 Hodge 边界条件的斯托克斯以及拉梅系统——建立了 $L^p$-谱乘子定理。通过利用米特拉与莫尼亚克斯的最新预解估计，证明了在乘子函数满足光滑性与衰减条件时，这些算子相关的谱乘子在 $L^p$ 上有界，且 $p$ 属于包含 2 的非平凡区间。

ABSTRACT

We show results on $L^p$-spectral multipliers for Maxwell operators with bounded measurable coefficients. We also present similar results for the Stokes operator with Hodge boundary conditions and the Lamé system. Here we rely on resolvent estimates established recently by M.\ Mitrea and S.\ Monniaux.

研究动机与目标

• 将 $L^p$-谱乘子理论扩展至数学物理中出现的系统，包括麦克斯韦、斯托克斯与拉梅算子。
• 在系数不光滑的情况下，为这些系统在 $p \neq 2$ 时建立谱乘子在 $L^p$ 空间上的有界性。
• 利用米特拉与莫尼亚克斯的最新预解估计，推导出相关半群的广义高斯估计。
• 证明在乘子函数满足正则性条件时，这些算子的函数演算可从 $L^2$ 扩展至 $L^p$ 的一个包含 2 的区间。
• 证明即使系数矩阵 $\varepsilon(\cdot)$ 仅为有界可测，而非必然光滑，结果依然成立。

提出的方法

• 依赖于 $L^2$ 中自伴算子的谱定理与解析函数演算。
• 应用椭圆系统相关半群的广义高斯估计框架。
• 使用戴维斯的扰动方法，推导出麦克斯韦算子半群的广义高斯 $(2,q)$-估计。
• 证明麦克斯韦算子 $M_2$ 通过与赫尔姆霍兹投影的交换性，继承了更大算子 $A_2$ 的谱乘子性质。
• 将米特拉与莫尼亚克斯关于斯托克斯与拉梅算子预解估计的结果适配，以推导广义高斯 $(q_0', q_0)$-估计。
• 应用一般理论中的定理 2.3，推导出在乘子函数 $F$ 满足光滑性与衰减条件时，谱乘子在 $L^p$ 上有界的结论。

实验结果

研究问题

• RQ1 能否将 $L^p$-谱乘子定理扩展至仅具有有界可测系数的麦克斯韦、斯托克斯与拉梅系统？
• RQ2 乘子函数 $F$ 需满足何种条件，才能保证 $F(A)$ 在 $p \neq 2$ 时对这些系统在 $L^p$ 上有界？
• RQ3 预解估计与广义高斯估计如何与 $L^p$ 中谱乘子有界性的关系？
• RQ4 区域 $\Omega$ 与系数矩阵 $\varepsilon(\cdot)$ 的正则性特征在多大程度上影响乘子定理成立的 $p$ 范围？
• RQ5 在对区域与系数的假设尽可能弱的条件下，能否将谱乘子结果推广至拉梅系统？

主要发现

• 对于具有有界可测、正定 $\varepsilon(\cdot)$ 的麦克斯韦算子，谱乘子 $F(L)$ 在 $L^p(\Omega,\mathbb{C}^3)$ 上有界，且 $p$ 属于包含 2 的非平凡区间。
• 有界性的关键条件是 $\sup_{n \in \mathbb{Z}} \| \omega F(2^n \cdot) \|_{C^s} < \infty$，其中 $s > 3|1/p - 1/2|$，确保了乘子的足够光滑性与衰减性。
• 算子范数的界满足 $\|F(L)\|_{L^p \to L^p} \leq C\left( \sup_n \| \omega F(2^n \cdot) \|_{C^s} + |F(0)| \right)$，其中 $C$ 与 $F$ 无关。
• 对于带狄利克雷边界条件的拉梅系统，广义高斯 $(q_0', q_0)$-估计对 $q_0 \in [6, \infty]$ 成立，具体取决于区域的正则性。
• 当 $\Omega$ 为有界 Lipschitz 域时，拉梅算子满足逐点高斯估计，从而可取 $q_0 = \infty$，因此乘子结果可推广至 $p \in (q_0', \infty)$。
• 带 Hodge 边界条件的斯托克斯算子结果作为麦克斯韦算子在 $\varepsilon = I$ 时的特例，继承了相同的 $L^p$-有界性性质。