[論文レビュー] Boundary value for a nonlinear transport equation emerging from a stochastic coagulation-fragmentation type model

Julien Deschamps, Erwan Hingant+1 more|arXiv (Cornell University)|Dec 16, 2014

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

ひとこと要約

本稿は、確率的 Becker-Döringモデルから決定的 Lifshitz-Slyozov 方程式へのきめ細かなスケーリング極限を確立し、流入する特徴線に対する x=0 における新しい境界条件を導出する。境界を含む弱い位相を用いることで、著者たちは経験的測度の収束を証明し、$ \lim_{x\to 0}(a(x)u(t)-b(x))f(t,x) = \alpha u(t)^2$ の形の境界条件を同定する。ここで $ \alpha$ は微視的核化ダイナミクスから生じる。これは、相転移モデリング分野における長年の未解決問題を解消する。

ABSTRACT

We investigate the connection between two classical models of phase transition phenomena, the (discrete size) stochastic Becker-Döring, a continous time Markov chain model, and the (continuous size) deterministic Lifshitz-Slyozov model, a nonlinear transport partial differential equation. For general coefficients and initial data, we introduce a scaling parameter and prove that the empirical measure associated to the stochastic Becker-Döring system converges in law to the weak solution of the Lifshitz-Slyozov equation when the parameter goes to 0. Contrary to previous studies, we use a weak topology that includes the boundary of the state space (\ie\ the size $x=0$) allowing us to rigorously derive a boundary value for the Lifshitz-Slyozov model in the case of incoming characteristics. The condition reads $\lim_{x o 0} (a(x)u(t)-b(x))f(t,x) = αu(t)^2$ where $f$ is the volume distribution function, solution of the Lifshitz-Slyozov equation, $a$ and $b$ the aggregation and fragmentation rates, $u$ the concentration of free particles and $α$ a nucleation constant emerging from the microscopic model. It is the main novelty of this work and it answers to a question that has been conjectured or suggested by both mathematicians and physicists. We emphasize that this boundary value depends on a particular scaling (as opposed to a modeling choice) and is the result of a separation of time scale and an averaging of fast (fluctuating) variables.

研究の動機と目的

• 確率的 Becker-Döring モデルを水力学的極限において決定的 Lifshitz-Slyozov 方程式に厳密に結びつけること。
• 特徴線が流入する場合（$x=0$ で $a(0)u(t) - b(0) < 0$）の Lifshitz-Slyozov 方程式に対して、数学的に整合性のある境界条件を導出すること。
• 境界条件が微視的モデルにおける時間スケールの分離と速い揺らぎ変数の平均化から生じることを示すこと。
• 数学的物理における長年の予想である LS モデルにおける境界条件の形を解消すること。
• 特定のスケーリング下で、確率的 Becker-Döring プロセスの経験的測度の弱収束を確立すること。

提案手法

• スケーリングパラメータ $\varepsilon$ を導入し、確率的 Becker-Döring システムを再スケーリングすることで、水力学的極限を可能にする。
• 境界点 $x=0$ を含む測度の空間における弱い位相を用い、境界条件を厳密に取り扱えるようにする。
• 測度値過程の極限定理を適用し、経験的測度が LS 方程式の弱解に確率的収束することを証明する。
• 微視的ダイナミクスにおける時間スケールの分離と速い変数の平均化を通じて境界条件を同定する。
• 定常測度を特徴づけ、フラックスバランス条件を導出するために、コンパクト台付き $C^1$ 関数からなるテスト関数空間 $\overline{\mathcal{G}}$ を用いる。
• Fréchet微分の議論とサポート同定補題を用い、定常測度がすべてのフラックスが消える状態にのみ支持を持つことを示す。

実験結果

リサーチクエスチョン

• RQ1 特徴線が流入する場合（すなわち $a(0)u(t) - b(0) < 0$）の Lifshitz-Slyozov 方程式に対して、正しい境界条件は何か？
• RQ2 Lifshitz-Slyozov 方程式は、確率的 Becker-Döring モデルの水力学的極限として厳密に導出可能か？
• RQ3 境界条件は微視的確率的ダイナミクスからどのように生じるのか？また、モデル依存かスケーリング依存か？
• RQ4 核化定数 $\alpha$ は境界条件においてどのような役割を果たし、微視的レートからどのように導出されるか？
• RQ5 境界 $x=0$ を含む弱い位相において、Becker-Döring プロセスの経験的測度が LS 解に弱収束することが示せるか？

主な発見

• 境界条件 $\lim_{x\to 0}(a(x)u(t) - b(x))f(t,x) = \alpha u(t)^2$ は、確率的 Becker-Döring モデルのスケーリング極限として厳密に導出された。
• 境界条件はモデル仮定ではなく、微視的系における時間スケールの分離と速い変数の平均化から生じる。
• 核化定数 $\alpha$ は微視的分裂および凝集レートと明示的に関連し、確率的モデルから自然に生じる。
• 境界 $x=0$ を含む弱い位相において、Becker-Döring プロセスの経験的測度が LS 方程式の弱解に確率的収束することが証明された。
• この結果は、数学的物理における長年の未解決問題を解消し、数学者および物理学者の両方が示唆していた予想を裏付けた。
• 解析により、マクロな系の定常測度が、すべてのフラックスが消える状態にのみ支持を持つことが示された。これは境界条件と整合的である。