[论文解读] Solving large classes of nonlinear systems of PDEs

Roumen Anguelov, Elemér E Rosinger|ArXiv.org|May 31, 2005

Mathematical and Theoretical Analysis参考文献 16被引用 4

一句话总结

本文提出了一种基于序完成的新型方法，用于求解大类非线性偏微分方程组（PDEs），包括纳维-斯托克斯方程和连续介质力学中的本构关系，且不依赖于泛函分析或广义函数空间。所得到的解被证明是Hausdorff连续函数，确保在任意定义域和非线性项下具有普遍正则性与存在性，且对系数的连续性假设要求极低。

ABSTRACT

It is shown that large classes of nonlinear systems of PDEs, with possibly associated initial and/or boundary value problems, can be solved by the method of order completion. The solutions obtained can be assimilated with Hausdorff continuous functions. The usual Navier-Stokes equations, as well as their various modifications aiming at a realistic modelling are included as particular cases. The same holds for the critically important constitutive relations in various branches of Continuum Mechanics. The solution method does not involve functional analysis, nor various Sobolev or other spaces of distributions or generalized functions. The general and type independent existence and regularity results regarding solutions presented here are a first in the literature.

研究动机与目标

• 建立非线性PDE系统的一般存在性与正则性理论，且不依赖于Sobolev空间或分布理论框架。
• 将解的概念从经典解推广至Hausdorff连续函数空间中的广义解。
• 证明该方法可普遍适用于纳维-斯托克斯方程及连续介质力学中的本构关系等系统。
• 提供一种基于函数空间序完成（特别是C^m(Ω)和C^0(Ω)）的构造性PDE求解框架。
• 阐明通过Hausdorff连续函数表征连续函数空间的Dedekind序完成结构。

提出的方法

• 该方法采用Oberguggenberger与Rosinger最初提出的序完成技术，将经典PDE算子扩展至广义解空间。
• 构造交换图，将经典PDE算子T(x,D): C^m(Ω) → C^0(Ω) 嵌入至扩展算子T: M^m_T(Ω) → M^0(Ω)，确保满射性。
• 解空间M^m_T(Ω)被定义为C^m_{nd}(Ω)（具有闭的、无处稠密间断集的分段C^m函数空间）的Dedekind序完成。
• 解以H(Ω)空间中区间值函数的形式表示，H(Ω)为Hausdorff连续函数空间，该空间具有序完备性，且是连续函数的自然推广。
• 该方法避免使用Sobolev空间、分布或超函数等泛函分析工具，转而依赖序理论构造与区间值表示。
• 该方法利用Hausdorff连续函数由其在稠密子集上的取值唯一确定的性质，确保解的唯一性与稳定性。

实验结果

研究问题

• RQ1 能否在不使用Sobolev或分布理论框架的前提下，求解包含不连续系数的大类非线性PDE？
• RQ2 通过序完成获得的广义解的本质是什么？它们与经典解有何关系？
• RQ3 能否通过Hausdorff连续函数有效表征C^m(Ω)的Dedekind序完成？
• RQ4 通过该方法获得的解是否具有与PDE类型无关的普遍正则性？
• RQ5 序完成方法如何确保在经典算子非满射的非线性PDE中解的存在性与满射性？

主要发现

• 该方法保证了所有形如F(x, U, D^pU) = f(x)的非线性PDE的解的存在性，其中F与f联合连续，即使经典解不存在亦成立。
• 解被证明为Hausdorff连续函数，此类函数是连续函数的自然推广，具有普遍正则性性质。
• Hausdorff连续函数空间H(Ω)是Dedekind序完备且序完备的，使得可通过序理论完成构造解。
• 对每个ε > 0，Hausdorff连续函数的间断集为闭且无处稠密，确保解即使存在可能的间断性也保持良好行为。
• 该方法避免使用Sobolev空间、分布或超函数等泛函分析工具，提供纯粹基于序理论的解框架。
• 该方法可普遍适用于包括纳维-斯托克斯方程和连续介质力学中本构关系在内的各类系统，无论非线性强弱或系数是否连续。