[论文解读] On stiff problems via Dirichlet forms

Liping Li, Wenjie Sun|ArXiv.org|Apr 8, 2018

Stochastic processes and statistical mechanics参考文献 19被引用 3

一句话总结

本文通过狄利克雷型式，为一维热传导中的刚性问题建立了严格的概率与分析框架，基于单一障碍物的总热阻，识别出三种不同的相变——不渗透、半渗透和渗透。引入了‘弹出’马尔可夫过程作为趋于零厚度障碍物的扩散过程的概率极限，并通过狄利克雷型式的莫斯科收敛推导出相应的通量边界条件。

ABSTRACT

The stiff problem is concerned with a thermal conduction model with a singular barrier of zero volume. In this paper, we shall build the phase transitions for the stiff problems in one-dimensional space. It turns out that every phase transition definitely depends on the total thermal resistance of the barrier, and the three phases correspond to the so-called impermeable pattern, semi-permeable pattern and permeable pattern of thermal conduction respectively. For each pattern, the related boundary condition of the flux at the barrier is also derived. Mathematically, we shall introduce and explore the so-called snapping out Markov process, which is the probabilistic counterpart of semi-permeable pattern in the stiff problem.

研究动机与目标

• 严格刻画由零体积奇异热屏障引起的刚性问题中的相变。
• 通过狄利克雷型式理论，为半渗透热传导建立一个概率对应物——‘弹出’马尔可夫过程。
• 基于总热阻，推导出障碍物点处的显式通量边界条件。
• 利用狄利克雷型式莫斯科收敛，统一描述具有收缩障碍物的热方程的极限行为。
• 将Lejay基于预解算子的方法推广为更系统化、更具普适性的对称马尔可夫狄利克雷型式框架。

提出的方法

• 在 $L^2(\bbR, m)$ 上使用对称马尔可夫狄利克雷型式来表示扩散过程及其生成元。
• 应用莫斯科收敛分析小导热率收缩障碍物相关狄利克雷型式的极限。
• 将‘弹出’布朗运动（SNOB）引入为具有收缩障碍物的扩散过程的概率极限。
• 通过分析极限过程的生成元与预解算子，推导出障碍物处的通量边界条件。
• 使用吸收、时间变换、补丁法与拼接变换来构造并分析极限马尔可夫过程。
• 应用希尔勒-约西达定理及拟正则狄利克雷型式性质，确保解的存在性与正则性。

实验结果

研究问题

• RQ1 奇异障碍物中不同总热阻水平如何导致刚性问题中不同的相变？
• RQ2 具有趋于零导热率的收缩障碍物的扩散过程的极限概率是什么？
• RQ3 如何通过狄利克雷型式理论严格构造‘弹出’马尔可夫过程？
• RQ4 在每一相中，障碍物点处的精确通量边界条件是什么？它们如何依赖于总热阻？
• RQ5 狄利克雷型式莫斯科收敛如何保证具有奇异障碍物的热方程解的收敛性？

主要发现

• 基于总热阻 $\bar{\gamma}$，出现三种不同相态：$\bar{\gamma} = \infty$（不渗透），$0 < \bar{\gamma} < \infty$（半渗透），$\bar{\gamma} = 0$（渗透）。
• 当 $\bar{\gamma} = \infty$ 时，通量满足 $u'(0+) = u'(0-) = 0$，对应于反射（不渗透）边界条件。
• 当 $0 < \bar{\gamma} < \infty$ 时，通量满足 $a(0+)u'(0+) = a(0-)u'(0-) = \frac{\kappa}{2}(u(0+) - u(0-))$，其中 $\kappa = 2/\bar{\gamma}$，表示半渗透界面。
• 当 $\bar{\gamma} = 0$ 时，解 $u_t$ 在 $0$ 处连续，且弱解在 $\mathscr{H}(\bbR)$ 中唯一，表明完全渗透。
• ‘弹出’马尔可夫过程作为具有收缩障碍物的扩散过程的弱极限出现，对应于半渗透相。
• 在半渗透情况下，边界条件在 $\bar{\gamma} \to \infty$ 极限下退化为不渗透情况，确认了各相之间的一致性。