[论文解读] Modeling of a heat equation with a Dirac density

Scott W. Hansen, José de Jesús Martínez|arXiv (Cornell University)|Jun 26, 2015

Stability and Controllability of Differential Equations参考文献 10被引用 4

一句话总结

该论文针对由高密度薄壁连接的两根杆建模热方程，表明当壁厚 $\epsilon \to 0$ 时，系统弱收敛于一个混合系统，其中界面表现为具有自身温度动力学的点质量，其动力学由净热通量控制。关键结果是：$\epsilon$-依赖问题的解严格收敛于具有界面处狄拉克函数型质量的极限系统。

ABSTRACT

We consider a linear hybrid system composed by two rods connected by a thin wall of length 2ε and density 1/2ε. By passing to a limit, we obtain a system describing heat flow of two rods connected by a singular point whose dynamics are governed by a partial differential equation. We prove that solutions of the approximate system converge weakly to solutions of the limiting system.

研究动机与目标

• 为宽度为 $2\epsilon$、密度为 $1/2\epsilon$ 的薄而高密度壁连接的两根杆建模热传导。
• 分析 $\epsilon \to 0$ 时的极限，推导出界面表现为具有自身温度动力学的点质量的混合系统。
• 严格建立 $\epsilon$-问题的解弱收敛于极限系统的解。
• 为热传导中具有点质量的混合系统提供数学基础，相关于可控制性与镇定理论。

提出的方法

• 在三个区域上建立热方程：两根杆 ($\omega_{\epsilon,1}, \omega_{\epsilon,2}$) 和薄壁 ($\omega_{\epsilon}$)，并施加狄利克雷边界条件。
• 通过在 $x = \pm \epsilon$ 处温度与热通量的连续性，将三个区域耦合。
• 通过在适当的函数空间中分析弱收敛性，利用能量估计与紧致性论证，取 $\epsilon \to 0$ 的极限。
• 定义极限系统，其中壁退化为一个点质量，其温度 $z(t)$ 满足一个微分方程，由来自两根杆的净热通量驱动。
• 在带加权范数的希尔伯特空间 $\mathcal{H} = L^2(\omega_1) \times L^2(\omega_2) \times \mathbb{R}$ 中证明极限系统的适定性。
• 使用测试函数与弱公式，证明 $\epsilon$-问题的解弱*收敛于极限系统的解，收敛性通过一致有界性与等连续性建立。

实验结果

研究问题

• RQ1 当壁宽 $\epsilon$ 趋近于零时，具有薄而高密度壁的热方程解如何收敛？
• RQ2 当壁坍缩为具有有限质量和比热的点质量时，极限系统的结构是什么？
• RQ3 能否通过弱收敛与能量估计，从 $\epsilon$-依赖问题严格推导出极限系统？
• RQ4 在点质量的温度动力学由净热通量控制的混合系统中，确保其适定性的条件是什么？
• RQ5 在极限下，界面处温度与热通量的连续性如何变化？

主要发现

• 当 $\epsilon \to 0$ 时，$\epsilon$-依赖热方程系统的解弱*收敛于极限混合系统的解。
• 极限系统在界面处包含一个点质量，其温度满足微分方程 $c\dot{z} = k_2 v'(t,0) - k_1 u'(t,0)$，表示其温度变化率由净热通量决定。
• 收敛性在基于 $L^2$ 的函数空间的弱*拓扑中建立，且 $u_\epsilon$、$v_\epsilon$ 与 $z_\epsilon$ 的 $L^2$-范数具有一致有界性。
• 极限系统保持了界面处温度与热通量的连续性，现表示为 $u(t,0) = v(t,0) = z(t)$。
• 证明依赖于能量估计，以及在 $C^1$-光滑且紧支集的函数空间中使用测试函数以实现极限的传递。
• 由于极限系统弱解的唯一性，收敛性对整个序列 $\{y_\epsilon\}_{\epsilon > 0}$ 成立，而不仅限于子序列。