[论文解读] Solving pseudo-differential equations

Nicolás Lerner|ArXiv.org|Apr 22, 2003

Algebraic and Geometric Analysis参考文献 14被引用 4

一句话总结

本文研究了在Nirenberg-Treves条件(ψ)下一阶拟微分方程的可解性，表明尽管条件(ψ)并不保证损失一阶导数的可解性——与早期假设相反——但它确实确保了损失两阶导数的可解性。该工作解决了长期存在的一个猜想，证明了一阶导数损失的反例在 $ H^{-1}_{\text{loc}} $ 中仍可解，并证实条件(ψ)意味着损失两阶导数的可解性，尽管完整证明仍在审查之中。

ABSTRACT

In 1957, Hans Lewy constructed a counterexample showing that very simple and natural differential equations can fail to have local solutions. A geometric interpretation and a generalization of this counterexample were given in 1960 by L.Hörmander. In the early seventies, L.Nirenberg and F.Treves proposed a geometric condition on the principal symbol, the so-called condition $(ψ)$, and provided strong arguments suggesting that it should be equivalent to local solvability. The necessity of condition $(ψ)$ for solvability of pseudo-differential equations was proved by L.Hörmander in 1981. In 1994, it was proved by N.L. that condition $(ψ)$ does not imply solvability with loss of one derivative for pseudo-differential equations, contradicting repeated claims by several authors. However in 1996, N.Dencker proved that these counterexamples were indeed solvable, but with a loss of two derivatives. We shall explore the structure of this phenomenon from both sides: on the one hand, there are first-order pseudo-differential equations satisfying condition $(ψ)$ such that no $L^2_{ ext{loc}}$ solution can be found with some source in $L^2_{ ext{loc}}$. On the other hand, we shall see that, for these examples, there exists a solution in the Sobolev space $H^{-1}_{ ext{loc}}$.

研究动机与目标

• 澄清条件(ψ)在一类一阶拟微分算子局部可解性中的作用。
• 解决早期关于一阶导数损失的断言与反例中此类估计实际失效之间的矛盾。
• 确立条件(ψ)意味着损失两阶导数的可解性，尽管早期存在关于一阶导数损失的错误断言。
• 分析一阶导数可解性反例的结构，并验证其在较弱的Sobolev空间中的可解性。
• 评估Dencker于2001年宣布的关于Nirenberg-Treves猜想完整证明的有效性。

提出的方法

• 通过实部与虚部主符号的泊松括号分析几何条件(ψ)。
• 使用能量法推导涉及算子伴随 $ L^* $ 和乘子 $ b(t,x,D_x) $ 的先验估计。
• 构造一阶导数可解性的显式反例，表明对某些 $ f \in L^2_{\text{loc}} $，在 $ L^2_{\text{loc}} $ 中不存在解 $ u $。
• 证明这些反例在 $ H^{-1}_{\text{loc}} $ 中仍可解，表明损失两阶导数是最优的。
• 应用阶数为0和1的拟微分算子理论，假设 $ \partial_t b \geq 0 $。
• 依赖于形如 $ L = D_t + i a(t,x,D_x) b(t,x,D_x) + r(t,x,D_x) $ 的算子结构，其中 $ a \leq 0 $，$ b $ 为实值，$ r $ 为复值。

实验结果

研究问题

• RQ1 条件(ψ)是否意味着一阶拟微分算子的局部可解性损失一阶导数？
• RQ2 是否存在满足条件(ψ)但不在 $ L^2_{\text{loc}} $ 中可解的一阶拟微分算子？
• RQ3 此类不可解算子是否仍可在较弱的Sobolev空间（如 $ H^{-1}_{\text{loc}} $）中可解？
• RQ4 在条件(ψ)下，可解性的最优导数损失是多少？是否为两阶而非一阶？
• RQ5 条件(ψ)是否对三维或更高维的所有拟微分算子均意味着损失两阶导数的可解性？

主要发现

• 条件(ψ)并不意味着一阶拟微分方程损失一阶导数的可解性，与早期断言相反。
• 存在反例，其中 $ f \in L^2_{\text{loc}} $，但不存在 $ u \in L^2_{\text{loc}} $ 满足 $ Lu = f $，即使在局部范围内亦然。
• 尽管如此，所有此类反例在 $ H^{-1}_{\text{loc}} $ 中均可解，表明损失两阶导数已足够。
• 定理2.2证明，形如 $ L = D_t + i a b + r $ 且满足 $ a \leq 0 $，$ b $ 为实值，$ \partial_t b \geq 0 $ 的算子，具有损失两阶导数的局部可解性。
• 先验估计 $ \|L^*u\|_{H^0} \gtrsim \|u\|_{H^{-1}} $ 成立，证实了两阶导数损失。
• Dencker于1996年的结果确认，这些反例确实具有两阶导数损失的可解性，解决了早期的矛盾。