[论文解读] An Ill Posed Cauchy Problem for a Hyperbolic System in Two Space Dimensions

Alberto Bressan|ArXiv.org|Feb 19, 2003

Advanced Mathematical Physics Problems参考文献 5被引用 67

一句话总结

本文构建了一个反例，表明在二维空间中，即使在保证一维情形下适定性的标准假设（Lipschitz连续通量和有界、远离零的初始数据）下，双曲型方程组的柯西问题仍可能是不适定的。不适定性源于标量守恒律解中振荡引起的常微分方程轨迹对初始数据的不连续依赖性，从而破坏了解重构所需的逆映射。

ABSTRACT

The theory of weak solutions for nonlinear conservation laws is now well developed in the case of scalar equations [3] and for one-dimensional hyperbolic systems [1, 2]. For systems in several space dimensions, however, even the global existence of solutions to the Cauchy problem remains a challenging open question. In this note we construct a conterexample showing that, even for a simple class of hyperbolic systems, in two space dimensions the Cauchy problem can be ill posed.

研究动机与目标

• 研究在标准假设下，一维空间中双曲型方程组的适定性是否可推广至二维空间。
• 识别此类系统在高维情形下柯西问题可能不适定的条件。
• 证明即使在Lipschitz通量和有界、严格正的初始数据条件下，解的唯一性与连续依赖性在二维空间中仍可能失效。

提出的方法

• 构造一个在二维空间中分段仿射、Lipschitz连续的通量函数 F(ρ)，其在 ρ = 1, 2, 3 处表现出非光滑行为。
• 将系统定义为 u_t + ∑_α ∂/∂x_α (f(|u|) u_α) = 0，其中 f(ρ) 由 F(ρ) = f(ρ)ρ 推导得出。
• 求解标量守恒律 ρ_t + ∇·F(ρ) = 0，得到三种不同的熵弱解：ρ^♮ ≡ 3，ρ^♯ = 4 在一个移动矩形 Q 上，ρ^♭ = 2 在另一个移动矩形上。
• 对每个解 ρ，分析常微分方程组 ẋ = f(ρ(t,x))，以追踪粒子轨迹，并评估逆映射 Φ^{-t} 的存在性与正则性。
• 证明对于 ρ^♯ 和 ρ^♭，由于非零 ρ 的移动矩形，通量 f(ρ(t,x)) 出现不连续，导致流映射产生振荡。
• 证明由于这些振荡，逆映射 Φ^{-t} 几乎对所有 x 都无法定义，从而破坏了解重构过程。

实验结果

研究问题

• RQ1 在保证一维情形下适定性的相同假设下，二维空间中双曲型方程组的柯西问题是否仍可能适定？
• RQ2 ODE 流映射的正则性在该类系统弱解的存在性与唯一性中起何种作用？
• RQ3 为何尽管在一维中有效，标准的通过求解标量守恒律并利用常微分方程演化角向分量来重构解的方法在二维中会失效？
• RQ4 标量解 ρ(t,x) 中的振荡如何影响特征映射 Φ^{-t} 的可逆性？
• RQ5 在初始数据正则性高于 L^∞（如有界 variation）的更强条件下，二维空间中的适定性是否可能实现？

主要发现

• 在假设 (A1) 和 (A2) 下，双曲型方程组的柯西问题在二维空间中是不适定的，而这些假设可保证一维情形下的适定性。
• 即使通量为Lipschitz连续且初始数据有界、严格为正，解映射仍因轨迹对初始条件的不连续依赖性而失效。
• 由于标量解中非零 ρ 的移动矩形引起 ODE 向量场 f(ρ(t,x)) 的振荡，逆映射 Φ^{-t} 几乎对所有 x 都不存在。
• 该反例表明，标准解重构方法——先求解标量守恒律，再通过常微分方程演化角向分量——在二维中会失效。
• 不适定性并非源于通量中的奇点，而是源于标量解中不连续通量引起的 ODE 流映射缺乏正则性。
• 结果表明，L^∞ 初始数据不足以保证二维空间中的适定性，而有界变差（BV）正则性可能是弱解存在的必要条件。