[论文解读] Mild solutions are weak solutions in a class of (non)linear measure-valued evolution equations on a bounded domain

Joep H. M. Evers|arXiv (Cornell University)|Jun 4, 2016

Advanced Mathematical Modeling in Engineering参考文献 21被引用 4

一句话总结

本文证明了在有界区域 [0,1] 上，由依赖于解本身或仅依赖于空间的速变场驱动的一类非线性测度值演化方程的温和解，在适当定义的弱形式下，与弱解等价。关键贡献在于证明了通过时间离散化欧拉逼近构造的温和解收敛于弱解，从而在具有通量边界条件的有界区域内验证了其物理与数学的一致性。

ABSTRACT

We study the connection between mild and weak solutions for a class of measure-valued evolution equations on the bounded domain $[0,1]$. Mass moves, driven by a velocity field that is either a function of the spatial variable only, $v=v(x)$, or depends on the solution $μ$ itself: $v=v[μ](x)$. The flow is stopped at the boundaries of $[0,1]$, while mass is gated away by a certain right-hand side. In previous works [J. Differential Equations, 259 (2015), pp. 1068-1097] and [SIAM J. Math. Anal., 48 (2016), pp. 1929-1953], we showed the existence and uniqueness of appropriately defined mild solutions for $v=v(x)$ and $v=v[μ](x)$, respectively. In the current paper we define weak solutions (by specifying the weak formulation and the space of test functions). The main result is that the aforementioned mild solutions are weak solutions, both when $v=v(x)$ and when $v=v[μ](x)$.

研究动机与目标

• 建立有界区域 [0,1] 上测度值演化方程的温和解与弱解之间的等价性。
• 为具有边界通量条件和解相关速度场的方程定义一个物理一致的弱形式。
• 将此前通过欧拉逼近构造的温和解的有效性扩展到弱解框架，确保其数学与物理的一致性。
• 解决在有界区域上定义弱解时遇到的挑战，即质量流在边界处停止，且速度场不一定指向内侧。

提出的方法

• 通过涉及 $C^1_b([0,1])$ 中测试函数及针对有界区域定制的特定测试函数空间，定义弱解。
• 使用时间离散化欧拉逼近构造温和解，其中每个子区间使用从前一时刻解导出的固定速度场。
• 利用一致有界性和测度的 Portmanteau 定理，证明欧拉逼近序列收敛于温和解。
• 通过 Gronwall 不等式和 $\|\cdot\|_{\mathrm{BL}}^*$-范数，建立解序列的统一总 variation 有界性。
• 即使右侧 $f$ 是分段有界利普希茨函数，也应用控制收敛定理在弱形式中取极限。
• 利用文献 [16] 和 [18] 中关于温和解存在性与稳定性的结果，将等价性扩展至非线性、解相关的速度场 $v = v[\mu]$ 的情形。

实验结果

研究问题

• RQ1 在具有通量边界条件的有界区域 [0,1] 上，测度值输运方程的温和解是否在适当弱形式下与弱解等价？
• RQ2 当质量流在边界处停止且速度场不一定是内向时，如何为测度值方程定义一致的弱形式？
• RQ3 用于构造温和解的欧拉逼近格式在时间网格尺寸趋于零时是否收敛于弱解？
• RQ4 温和解与弱解之间的等价性是否可扩展至速度场 $v = v[\mu]$ 依赖于解的方程？
• RQ5 在弱形式中处理不连续右侧函数 $f$ 时，需要哪些技术工具以保持收敛性？

主要发现

• 对于速度场 $v = v(x)$ 的测度值方程 $\partial_t \mu_t + \partial_x(v\mu_t) = F_f(\mu_t)$，温和解是弱解，如定理 3.5 所示。
• 对于非线性情形 $\partial_t \mu_t + \partial_x(v[\mu_t]\mu_t) = F_f(\mu_t)$ 且 $v = v[\mu]$，等价性同样成立，如定理 4.8 所示。
• 欧拉逼近序列收敛于温和解，意味着其在弱形式中也收敛，即使 $f$ 是分段有界利普希茨函数，该结论通过控制收敛定理得以证明。
• 通过 Gronwall 不等式建立了解序列总 variation 的统一有界性，确保稳定性并支持收敛性。
• 弱形式对 $C^1_b([0,1])$ 中的测试函数有效，且对 $\mathrm{BL}([0,1])$ 函数的收敛性足以在弱形式中取极限。
• 证明依赖于 Portmanteau 定理和 $\|\cdot\|_{\mathrm{BL}}^*$-范数收敛，确保极限满足弱形式。