[论文解读] Equivalence between weak and $\mathcal{D}$-solutions for linear symmetric hyperbolic first order PDE systems

Nikos Katzourakis|arXiv (Cornell University)|Jul 10, 2015

Mathematical and Theoretical Analysis参考文献 14被引用 10

一句话总结

本文建立了常系数线性对称双曲型一阶PDE系统中弱解与$π$-解（记为$π$-解）之间的等价性。它证明了新提出的$π$-解框架——基于Young测度和差商的概率表示——在此设定下与经典的弱解概念一致，从而在一类基本的系统中验证了新理论的有效性。

ABSTRACT

In a recent paper (arXiv:1501.06164) the author introduced a new theory of generalised solutions for fully nonlinear PDE systems which allows for merely measurable solutions to systems of any order and with perhaps discontinuous coefficients. This approach is a duality-free alternative to distributions and is based on the probabilistic representation of limits of difference quotients via Young measures over compactifications of the state space. Herein we show that for symmetric hyperbolic systems with constant coefficients whereat both weak solutions as well as $\mathcal{D}$-solutions apply, the notions actually coincide.

研究动机与目标

• 在一类线性对称双曲型系统中，验证新提出的$π$-解理论在完全非线性PDE系统中的适用性。
• 研究$π$-解概念（允许可测解且避免对偶性）是否与经典的弱解框架一致。
• 建立新广义解方法与对称双曲型系统中既有的分布解理论之间的一致性。
• 证明在对称性与常系数假设下，通过Young测度对差商进行概率表示，可得到与弱形式等价的解。

提出的方法

• 采用arXiv:1501.06164中引入的$π$-解框架，该框架用差商极限的概率表示替代了对偶性。
• 在状态空间的紧化上使用Young测度，以在缺乏光滑性时对差商的弱*极限进行建模。
• 应用常系数对称双曲型系统理论，比较$π$-解与弱解的表述形式。
• 通过分析系统的结构以及在对称性和常系数条件下的Young测度表示性质，建立等价性。
• 依赖于对称双曲型系统具有能量估计的事实，这些估计用于控制$π$-解框架中逼近序列的收敛性。

实验结果

研究问题

• RQ1 对于常系数线性对称双曲型一阶PDE系统，$π$-解与弱解是否一致？
• RQ2 基于Young测度和概率表示的$π$-解框架，能否在对称双曲型系统中重现经典弱解？
• RQ3 对称双曲型系统在常系数条件下的何种结构性质可确保$π$-解与弱解的等价性？
• RQ4 由于$π$-解方法中缺乏对偶性，是否会影响其在该类系统中与既有的弱解理论的一致性？

主要发现

• 对于常系数线性对称双曲型一阶PDE系统，$π$-解与弱解概念是等价的。
• 在此背景下，通过Young测度对差商进行概率表示，可得到与经典弱形式相同的解类。
• 系统的对称性与常系数结构确保了$π$-解框架所生成的解与弱解的能量估计一致。
• 在对称双曲型系统中，$π$-解理论中缺乏对偶性并不会导致不一致性，因为解集是相同的。
• 该结果为$π$-解框架作为分布理论在具有不连续或可测系数系统中的可行替代方案，提供了强有力的理论支持。