[論文レビュー] On stiff problems via Dirichlet forms

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

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

ひとこと要約

本稿は、1次元熱伝導における剛性問題に対して、ディリクレ型形式を用いて厳密な確率的および解析的枠組みを確立し、単一の障壁の全熱抵抗に基づいて、透過不能、半透過、透過の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.

研究の動機と目的

• 体積がゼロである特異的熱障壁に起因する剛性問題における相転移を厳密に特徴づけること。
• 半透過的熱伝導の確率的双対物としてのスナッピングアウト・マコフ過程を、ディリクレ型形式理論を用いて確立すること。
• 全熱抵抗に基づいて、障壁点における明示的なフラックス境界条件を導出すること。
• 収縮する障壁を伴う熱方程式の極限的挙動を、ディリクレ型形式のモスコ収束を用いて統一すること。
• レジャのリゾルベントに基づくアプローチを、対称的マコフ的ディリクレ型形式を用いたより体系的かつ一般化可能な枠組みに一般化すること。

提案手法

• $L^2(\bbR, m)$ 上の対称的マコフ的ディリクレ型形式を用いて、拡散過程およびその生成作用素を表現する。
• 収縮する低導電率障壁に関連するディリクレ型形式の極限を分析するために、モスコ収束を適用する。
• 収縮する障壁を持つ拡散過程の確率的極限としてのスナッピングアウト・ブラウン運動（SNOB）を導入する。
• 極限過程の生成作用素およびリゾルベントを分析することで、障壁におけるフラックスの境界条件を導出する。
• 殺し、時間変換、ダーニング、ピースアウト変換を用いて、極限マコフ過程の構築および分析を行う。
• ヒレ＝ヨシダの定理および準正規ディリクレ型形式の性質を用いて、解の存在性および正則性を保証する。

実験結果

リサーチクエスチョン

• RQ1 特異的障壁における全熱抵抗の異なる水準が、剛性問題における異なる相転移をどのように引き起こすか。
• RQ2 消える導電率を伴う収縮する障壁を持つ拡散過程の確率的極限は何か。
• RQ3 スナッピングアウト・マコフ過程は、ディリクレ型形式理論を用いてどのように厳密に構成できるか。
• RQ4 各相における障壁点における正確なフラックス境界条件は何か。また、それらは全抵抗にどのように依存するか。
• RQ5 ディリクレ型形式のモスコ収束が、特異的障壁を伴う熱方程式の解の収束をどのように保証するか。

主な発見

• 全熱抵抗 $\bar{\gamma}$ に応じて3つの明確な相が生じる：$\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$ の極限において透過不能の場合に還元され、各相間の整合性が確認される。