[論文レビュー] A set-valued framework for birth-and-growth process

Giacomo Aletti, Enea G. Bongiorno+1 more|arXiv (Cornell University)|May 26, 2008

Point processes and geometric inequalities参考文献 28被引用数 11

ひとこと要約

本稿では、ミンコフスキー和とアウマン積分を用いて核生成と成長を一般化された集合値確率過程として定式化する、集合値枠組みを導入する。このアプローチにより境界の正則性を要件とせず、適切に定式化された問題を保証し、非局所的かつ異方的成長を可能にするとともに、過程の変化を無限小的および積分的記述で厳密に正当化する。

ABSTRACT

We propose a set-valued framework for the well-posedness of birth-and-growth process. Our birth-and-growth model is rigorously defined as a suitable combination, involving Minkowski sum and Aumann integral, of two very general set-valued processes representing nucleation and growth respectively. The simplicity of the used geometrical approach leads us to avoid problems arising by an analytical definition of the front growth such as boundary regularities. In this framework, growth is generally anisotropic and, according to a mesoscale point of view, it is not local, i.e. for a fixed time instant, growth is the same at each space point.

研究の動機と目的

• 成長界面の正則性に関する解析的仮定を回避する、核生成と成長過程の厳密な数学的枠組みの構築を目的とする。
• 幾何的操作を用いて、核生成と成長を一般化された集合値確率過程としてモデル化すること。
• 集合値近似の収束を通じて、モデルの適切な定式化（well-posedness）を確立すること。
• 離散時間近似スキームを用いて、無限小的および積分的記述の正当化を図ること。
• 外法線ベクトルや滑らかな境界を要件としない非局所的・異方的成長を可能とする。

提案手法

• 過程は、初期集合と成長過程の積分のミンコフスキー和に加え、核生成された集合の和集合として定式化される。
• 核生成は、ランダムな時刻および場所における微小な追加を表す集合値過程 $\{dB_t\}$ としてモデル化される。
• 成長はアウマン積分 $\int_{t_0}^t G_s \, ds$ で表現され、ここで $G_s$ は時刻 $s$ における成長増分を記述する集合値過程である。
• 変化は $\Theta_t = \left(\Theta_{t_0} \oplus \int_{t_0}^t G_s \, ds\right) \cup \bigcup_{s \in [t_0,t]} dB_s$ として表現され、幾何的整合性が保たれる。
• 離散時間近似スキームを用いて、無限小的記述 $\Theta_{t+dt} = (\Theta_t \oplus G_t dt) \cup dB_t$ の正当化が行われ、分割の細分化に伴う収束が確立される。
• 集合値近似が細分化に伴って一様収束することを示すことにより、適切な定式化が証明され、過程が適応的かつ可測であることが保証される。

実験結果

リサーチクエスチョン

• RQ1 成長界面の滑らかさや正則性を仮定せずに、核生成と成長過程を厳密に定式化する方法は何か？
• RQ2 解析的速度に基づくモデルに代わる、幾何的および集合論的演算は何か？
• RQ3 確率的設定下で、無限小的および積分的記述の数学的正当化はどのように行えるか？
• RQ4 集合値過程を用いて、非局所的かつ異方的成長モデルを定式化し、その適切な定式化を示せるか？
• RQ5 集合値枠組みにおいて、離散近似が連続過程に収束するための条件は何か？

主な発見

• モデルは適切に定式化されている：集合値近似は細分化に伴って一様収束し、過程 $\Theta_t$ の存在が保証される。
• 過程 $\Theta_t$ はフィルトレーション $\{\mathfrak{F}_t\}$ に適応しており、確率的整合性が保証される。
• 無限小的記述 $d\Theta_t = \oplus G_t dt \cup dB_t$ は、離散時間近似の極限として厳密に正当化される。
• 成長過程は非局所的である：$\Theta_t$ のすべての点は、同じ集合 $G_t dt$ によって成長する。
• $G_t$ が球でない場合に自然に異方的成長がモデル化され、方向性の正則性を要件としない。
• 外法線の存在や境界の正則性に関する仮定を回避することで、現実のプロセスに広く適用可能となる。