[論文レビュー] 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

ひとこと要約

本稿は、$N \geq 2$ における $\mathbb{R}^N$ 上の線形熱方程式の解における時刻に依存する特異点の除去可能性に関する条件を確立する。解が $N \geq 3$ の場合に $|x - \xi(t)|^{2-N}$ よりも遅く成長するか、$N = 2$ の場合に $\log(1/|x - \xi(t)|)$ よりも遅く成長するならば、$x = \xi(t)$ における移動する点特異点は除去可能である。ただし、$\xi(t)$ は指数 $1/2$ のホルダー連続性を満たすものとする。結果は、最良の減衰条件を伴う高次元特異集合へと拡張可能である。

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$ の問題を、$\xi$ が指数 $1/2$ のホルダー連続性を満たす曲線 $\Gamma = \{(x,t) : x = \xi(t), t \in (0,T)\}$ 沿いの移動特異点を伴って定式化する。
• 熱方程式の基本解を用い、空間時間にわたる積分によるバリア関数の構成により、特異点近傍における $u$ の挙動を分析する。
• ホルダー連続性と熱核の漸近的評価を用いて、解の点ごとの上界および下界を、移動特異点からの距離の関数として確立する。
• 解が次を満たす場合に、解が除去可能であることを証明する：$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)|)$ であり、コンパクト部分区間上で一様に成り立つ。
• 特異点集合 $\Xi(t)$ が次元 $m$ を持つ高次元特異集合に対しても同様の分析を拡張し、$N \geq m+3$ の場合に $|u(x,t)| \leq \varepsilon / d(x, \Xi(t))^{N-m-2}$、$N = m+2$ の場合に $|u(x,t)| \leq \varepsilon \log(1/d(x, \Xi(t)))$ となる減衰条件が、パrametrization の正則性仮定の下で除去可能性を特徴付ける。
• 熱核とホルダー連続性を用いた積分推定により、特異点近傍における解の漸近的挙動を導出し、$|z| \to 0$ のとき $F(x,t)/\log(1/|z|)$ の極限が $1/(2\pi)$ に収束することを証明する。これにより、$N=2$ の場合における対数的減衰の最適性が確認される。

実験結果

リサーチクエスチョン

• RQ1 $N \geq 3$ の場合に、$\mathbb{R}^N$ 上の熱方程式の解において、$x = \xi(t)$ における時刻に依存する点特異点が除去可能となる条件は何か？
• RQ2 移動する点特異点に近接する解の最適減衰率は何か？また、その減衰率は空間次元にどのように依存するか？
• RQ3 特異点の余次元が $\geq 2$ の高次元特異集合へと除去条件を拡張可能か？その場合の対応する減衰条件は何か？
• RQ4 導出された減衰条件は最適であり、その最適性を確認する非除去可能な例を構成可能か？
• RQ5 $\xi(t)$ のホルダー連続性は特異点の除去可能性にどのように影響するか？

主な発見

• $N \geq 3$ の場合、$x = \xi(t)$ における移動点特異点は、$\xi$ が指数 $1/2$ のホルダー連続性を満たす限り、$|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))$ に対して成り立つ場合に限り、除去可能である。このときも、$\xi(t)$ の正則性仮定は同一である。
• 本稿では、導出された減衰条件が最適であり、それを弱めることが不可能であることを確認する非除去可能な特異点の例を構成している。
• 熱核の積分の漸近的解析により、$\lim_{|z| \to 0} F(x,t)/\log(1/|z|) = 1/(2\pi)$ が成り立つことが示され、$N=2$ の場合における対数的減衰条件の最適性が裏付けられている。