[论文解读] Removability of time-dependent singularities in the heat equation

Jin Takahashi, Eiji Yanagida|arXiv (Cornell University)|Apr 18, 2013

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

一句话总结

本文建立了在 $\mathbb{R}^N$（$N \geq 2$）中线性热方程解的时间依赖奇点可去性的条件。证明了当 $\xi(t)$ 满足指数为 $1/2$ 的霍尔德连续性时，若解在 $x = \xi(t)$ 处的奇点移动速度满足：当 $N \geq 3$ 时，解的增长速度慢于 $|x - \xi(t)|^{2-N}$；当 $N = 2$ 时，增长速度慢于 $\log(1/|x - \xi(t)|)$，则该移动点奇点是可去的。结果进一步推广至高余维奇点集，并给出了最优衰减条件。

ABSTRACT

We consider solutions of the linear heat equation with time-dependent singularities. It is shown that if a singularity is weaker than the order of the fundamental solution of the Laplace equation, then it is removable. We also consider the removability of higher dimensional singular sets. An example of a non-removable singularity is given, which implies the optimality of the condition for removability.

研究动机与目标

• 研究线性热方程解中沿时空路径移动的时变奇点的可去性。
• 将椭圆方程中经典的可去性结果推广至具有移动奇点的抛物型情形。
• 确定解在移动奇点附近满足的精确衰减条件，以保证其可去性。
• 将可去性条件推广至余维 $\geq 2$ 的高维奇点集。
• 构造一个不可去奇点的例子，以验证所推导衰减条件的最优性。

提出的方法

• 将问题表述为在区域 $D \subset \mathbb{R}^{N+1}$ 中的热方程 $u_t = \Delta u$，其中奇点沿曲线 $\Gamma = \{(x,t) : x = \xi(t), t \in (0,T)\}$ 移动，且 $\xi$ 满足指数为 $1/2$ 的霍尔德连续性。
• 利用热方程的基本解，并通过在时空上积分构造障碍函数，分析 $u$ 在奇点附近的性质。
• 利用 $\xi(t)$ 的霍尔德连续性及热核的渐近估计，建立解在移动奇点距离上的逐点上界与下界。
• 证明若解满足衰减条件：当 $N \geq 3$ 时，$|u(x,t)| \leq \varepsilon / |x - \xi(t)|^{N-2}$；当 $N = 2$ 时，$|u(x,t)| \leq \varepsilon \log(1/|x - \xi(t)|)$，且在紧致子区间上关于时间一致成立，则解是可去的。
• 将分析扩展至维度为 $m$ 的高维奇点集 $\Xi(t)$，在参数化满足正则性假设下，可去性由衰减条件 $|u(x,t)| \leq \varepsilon / d(x, \Xi(t))^{N-m-2}$（当 $N \geq m+3$ 时）或 $|u(x,t)| \leq \varepsilon \log(1/d(x, \Xi(t)))$（当 $N = m+2$ 时）刻画。
• 通过涉及热核与霍尔德连续性的积分估计，推导解在奇点附近的精确渐近行为，证明当 $|z| \to 0$ 时，$F(x,t)/\log(1/|z|)$ 的极限为 $1/(2\pi)$，从而确认在 $N=2$ 情形下对数衰减条件的最优性。

实验结果

研究问题

• RQ1 在 $\mathbb{R}^N$（$N \geq 3$）中，对于热方程的解，时间依赖点奇点 $x = \xi(t)$ 在何种条件下是可去的？
• RQ2 解在移动点奇点附近的最优衰减速率是什么？该衰减速率如何依赖于空间维数？
• RQ3 可去性条件能否推广至余维 $\geq 2$ 的高维奇点集？相应的衰减条件是什么？
• RQ4 所推导的衰减条件是否为最优？能否构造一个不可去奇点的例子以验证其最优性？
• RQ5 路径 $\xi(t)$ 的霍尔德连续性如何影响奇点的可去性？

主要发现

• 当 $N \geq 3$ 时，若 $\xi$ 满足指数为 $1/2$ 的霍尔德连续性，则移动点奇点 $x = \xi(t)$ 可去当且仅当 $|u(x,t)| = o(|x - \xi(t)|^{2-N})$ 成立，且当 $x \to \xi(t)$ 时，该关系在 $(0,T)$ 的紧致子区间上关于时间一致成立。
• 当 $N = 2$ 时，若 $\xi$ 满足指数为 $1/2$ 的霍尔德连续性，则奇点可去当且仅当 $|u(x,t)| = o(\log(1/|x - \xi(t)|))$ 成立，且当 $x \to \xi(t)$ 时，该关系在 $(0,T)$ 的紧致子区间上关于时间一致成立。
• 对于维度为 $m$ 的高维奇点集 $\Xi(t)$，当 $N \geq m+3$ 时，可去性成立当且仅当 $|u(x,t)| \leq \varepsilon / d(x, \Xi(t))^{N-m-2}$ 对于小的 $d(x, \Xi(t))$ 成立，且在时间上一致。
• 当 $N = m+2$ 时，可去性成立当且仅当 $|u(x,t)| \leq \varepsilon \log(1/d(x, \Xi(t)))$ 对于小的 $d(x, \Xi(t))$ 成立，且在时间上一致，前提为相同的正则性假设。
• 本文构造了一个不可去奇点的例子，验证了所推导的衰减条件是最优的，无法进一步减弱。
• 热核积分的渐近分析表明，$\lim_{|z| \to 0} F(x,t)/\log(1/|z|) = 1/(2\pi)$，从而确认了在 $N=2$ 情形下对数衰减条件的最优性。