[論文レビュー] Upscaling of the dynamics of dislocation walls

Pjp Patrick van Meurs, Adrian Muntean|arXiv (Cornell University)|Nov 4, 2014

Advanced Mathematical Modeling in Engineering参考文献 21被引用数 14

ひとこと要約

本稿は、勾配流構造と離散的エネルギーの$γ$-収束を活用することで、1次元の不純度壁ダイナミクスの連続極限を厳密に導出する。微視的不純度相互作用のマクロスケールへのアップスケーリングを確立し、既存のモデルを回復・分類するとともに、境界における不純度の積み上げを許容する。これはGeersら（2013）が提起した未解決問題を解決する。

ABSTRACT

We perform the discrete-to-continuum limit passage for a microscopic model describing the time evolution of dislocations in a one dimensional setting. This answers the related open question raised by Geers et al. in [GPPS13]. The proof of the upscaling procedure (i.e. the discrete-to-continuum passage) relies on the gradient flow structure of both the discrete and continuous energies of dislocations set in a suitable evolutionary variational inequality framework. Moreover, the convexity and $Γ$-convergence of the respective energies are properties of paramount importance for our arguments.

研究の動機と目的

• Geersら（2013）が提起した、1次元における不純度壁ダイナミクスの離散的から連続的へのアップスケーリングの未解決問題を解消すること。
• 従来のモデルが最小間隔を固定していたのに対し、境界における不純度の積み上げを許容することで、既存のアップスケーリング結果を拡張すること。
• 勾配流構造とエネルギーの$γ$-収束を用いて、連続極限の厳密な数学的枠組みを確立すること。
• 不純度密度の時間発展に関する既知のマクロスケールモデルを、離散系の極限ケースとして分類・回復すること。
• 離散的および連続的設定の両方に対して、変分不等式に基づく統一的な変分的枠組みを提供すること。

提案手法

• 時間発展が$\frac{d}{dt}x^n = -n\nabla E_n(x^n)$に従う離散エネルギー$E_n$上の勾配流として、微視的不純度ダイナミクスを定式化する。
• 凸性を用いて勾配流を変分不等式に変換し、任意の$y \in \mathbb{R}^n$に対して不等式$\frac{1}{2}\frac{d}{dt}\|x^n - y\|^2 \leq n(E_n(y) - E_n(x^n))$が得られる。
• 経験的測度$\mu_n = \frac{1}{n}\sum_{i=1}^n \delta_{x_i^n}$を用いて、離散粒子配置を$\mathcal{P}_2(\mathbb{R})$上の確率測度$\mu_n$に写像する。
• 離散エネルギー$E_n$の$\gamma$-収束を、$\mathcal{P}_2(\mathbb{R})$上に定義された連続エネルギー$E$に適用し、最小化子の収束を保証する。
• 2次モーメントの一様可積分性とWasserstein-2距離を用いて、$W_2$位相における測度の収束を保証する。
• 対角線的議論を用いてlimsup不等式を確立し、密度の区分的定数近似を用いて回復列を構成する。

実験結果

リサーチクエスチョン

• RQ1 境界における不純度の積み上げを許容する不純度壁ダイナミクスの離散的から連続的への極限が、厳密に確立可能か？
• RQ2 相互作用パラメータ$\alpha_n$の異なるスケーリング則が、極限マクロスケールPDEにどのように影響を与えるか？
• RQ3 離散系の勾配流構造が、連続極限でも保存されるか？
• RQ4 既知の不純度密度発展のマクロスケールモデルのうち、どれが離散系の極限ケースとして現れるか？
• RQ5 エネルギーの$\gamma$-収束が、ダイナミクスの収束を保証するために果たす役割は何か？

主な発見

• 離散的から連続的への極限が、$\alpha_n$の5つの異なるスケーリング則に対して厳密に確立され、既存のマクロスケールモデルが回復・分類された。
• 極限ダイナミクスは、連続エネルギー汎関数から導かれる非局所的ポテンシャル$\phi(\rho)$を有するPDE $\partial_t \rho = \partial_x (\rho \partial_x \phi(\rho))$に従う。
• 密度$\rho_t(x)$が有界で、無限遠点で消失するため、原点における不純度の積み上げがモデルで許容されており、物理的期待と整合的である。
• 凸性と2次モーメントの一様可積分性に依拠して、離散エネルギー$E_n$の連続エネルギー$E$への$\gamma$-収束が証明された。
• 狭義収束と一様可積分性の相互作用を用いて、経験的測度$\mu_n$の$W_2$収束が、$\rho_t$に確立された。
• ゼロフラックス境界条件を伴う有限領域に対しても、主定理で考察された半直線設定を超えて、フレームワークが一般化可能である。