[论文解读] $L^2$ well posed Cauchy Problems and Symmetrizability of First Order Systems

Guy Métivier|arXiv (Cornell University)|Oct 3, 2013

Advanced Mathematical Physics Problems参考文献 17被引用 3

一句话总结

本文证明了微局部对称化算子在 $(t,x,\tau)$ 上的利普希茨连续性足以保证一阶系统的 $L^2$ 适定性，并证明了给定光滑性下对称化算子的存在性与全对称化算子存在性的等价性。该等价性使得对称化算子存在性在时间反演下保持不变，从而确保了局部唯一性与有限传播速度。

ABSTRACT

The Cauchy problem for first order system $L(t, x, \\D_t, \\D_x)$ is known to be well posed in $L^2$ when a it admits a microlocal symmetrizer $S(t,x, \\xi)$ which is smooth in $\\xi$ and Lipschitz continuous in $(t, x)$. This paper contains three main results. First we show that a Lipsshitz smoothness globally in $(t,x, \\xi)$ is sufficient. Second, we show that the existence of symmetrizers with a given smoothness is equivalent to the existence of \\emph{full symmetrizers} having the same smoothness. This notion was first introduced in \\cite{FriLa1}. This is the key point to prove the third result that the existence of microlocal symmetrizer is preserved if one changes the direction of time, implying local uniqueness and finite speed of propagation.

研究动机与目标

• 建立微局部对称化算子在 $(t,x,\tau)$ 上的利普希茨连续性足以保证一阶系统 $L^2$ 适定性的结论。
• 证明给定光滑性下对称化算子的存在性与相同光滑性下全对称化算子存在性之间的等价性。
• 表明微局部对称化算子的存在性在时间反演下保持不变，从而推导出局部唯一性与奇点有限传播速度的结论。
• 阐明强双曲性与对称化算子光滑性在对称情形之外的双曲系统适定性中的作用。

提出的方法

• 利用波包局部化与微局部分析，通过涉及对称化算子 $S(t,x,\tau)$ 的主估计推导能量估计。
• 应用拟微分演算与函数演算，处理系数正则性有限的系统。
• 通过分析谱投影算子与特征值连续性，建立微局部对称化算子与全对称化算子之间的等价性。
• 在 $t \in [0,1]$ 上使用同伦论证，以保持矩阵族 $J_t$ 沿路径的对称化算子正定性。
• 依赖于 $\mathbf{S}(\tau,a)$ 的有界性与对称性，以及 $\mathrm{Re}(\mathbf{S}J u,u)$ 在 $L(\tau,a)$ 的核上的统一正定性。
• 通过谱分解构造全局对称化算子 $S(a)$：$S(a) = \sum_{\tau \in \Sigma(a)} \Pi(\tau,a)^* \mathbf{S}(\tau,a) \Pi(\tau,a)$，确保其对称性与正定性。

实验结果

研究问题

• RQ1 微局部对称化算子 $S(t,x,\tau)$ 在 $(t,x,\tau)$ 上的利普希茨连续性是否足以保证一阶系统 $L^2$ 适定性？
• RQ2 给定光滑性下对称化算子的存在性是否蕴含相同光滑性下全对称化算子的存在性？
• RQ3 微局部对称化算子的存在性在时间反演下是否保持不变？其对局部唯一性与奇点有限传播速度有何影响？
• RQ4 对称化算子构造能否推广至具有非恒定重数或一般二重特征值的系统？
• RQ5 符号的强双曲性与具有有限正则性的对称化算子存在性之间的确切关系为何？

主要发现

• 微局部对称化算子 $S(t,x,\tau)$ 在 $(t,x,\tau)$ 上的利普希茨连续性足以保证柯西问题的 $L^2$ 适定性。
• 给定光滑性（如连续、利普希茨、$C^\infty$）下对称化算子的存在性，与相同光滑性下全对称化算子的存在性等价。
• 微局部对称化算子的存在性在时间反演下保持不变，从而意味着奇点的局部唯一性与有限传播速度。
• 对于具有一般二重特征值的系统，在强双曲性条件下，光滑对称化算子存在，且利普希茨条件是紧的——非利普希茨对称化算子存在反例。
• 若 $\mathbf{S}(\tau,a)$ 与谱投影算子关于 $a$ 连续（相应地利普希茨、$C^\infty$），则通过谱分解构造的对称化算子 $S(a)$ 也关于 $a$ 连续（相应地利普希茨、$C^\infty$）。
• 在 $\ker L(\tau,a)$ 上满足 $\mathrm{Re}(\mathbf{S}J u,u) \geq c|u|^2$ 的正定性条件，可确保构造的对称化算子 $S(a)$ 的一致有界性与一致正定性。