[論文レビュー] Well-Posedness and Equilibrium Behaviour of Overdamped Dynamic Density Functional Theory

Benjamin D. Goddard, R. D. Mills-Williams+2 more|arXiv (Cornell University)|Feb 26, 2020

Advanced Thermodynamics and Statistical Mechanics参考文献 62被引用数 6

ひとこと要約

本稿は、非線形で非局所的な積分微分方程式としての過減衰ダイナミクス密度汎関数理論（DDFT）のグローバルな適切性を確立し、非線形のフラックスなし境界条件を満たす弱解の存在、一意性、およびリャプノフ安定性を証明する。静止密度が流体力学的相互作用に依存しないこと、およびエネルギー関数に沿った指数的収束が、空間的に不均一な拡散および対流テンソルを有するスモラッチョフスキー方程式に類似した暗黙的勾配流構造によって実現されることを示す。

ABSTRACT

We establish the global well-posedness of overdamped dynamic density functional theory (DDFT): a nonlinear, nonlocal integro-partial differential equation used in statistical mechanical models of colloidal fluids, and other applications including nonlinear reaction-diffusion systems and opinion dynamics. With nonlinear no-flux boundary conditions, we determine the existence and uniqueness of the weak density and flux, subject to two-body hydrodynamic interactions (HI). We also show that the density is Lyapunov stable with respect to the usual (Helmholtz) free energy functional. Principally, this is done by rewriting the dynamics for the density in an implicit gradient flow form, resembling the classical Smoluchowski equation but with spatially inhomogeneous diffusion and advection tensors. We also rigorously show that the stationary density is independent of the HI tensors, and prove exponentially fast convergence to equilibrium.

研究の動機と目的

• 非線形フラックスなし境界条件の下で、過減衰ダイナミクス密度汎関数理論（DDFT）の厳密なグローバルな適切性を確立すること。
• 特に、静止密度が流体力学的相互作用テンソルに依存しないことの解析。
• ヘルムホルツ自由エネルギー汎関数に関して密度のリャプノフ安定性の証明。
• DDFT方程式の解が平衡へ指数的に収束することの証明。
• 解の構造が空間的に不均一な拡散および対流テンソルを有する勾配流に類似していることの示唆。

提案手法

• 変分構造とエネルギー散逸を活用するため、DDFTのダイナミクスを暗黙的勾配流形式に再定式化する。
• 適切なソボレフ空間における弱解の存在および一意性を保証するため、Lax–Milgram定理を適用する。
• 滑らかな初期データを用いたガラーキン型近似スキームを用いて、近似解の列を構築する。
• 収束を保証するため、$L^∞([0,T];L^2(Ω))$、$L^2([0,T];H^1(Ω))$、および$L^2([0,T];H^{-1}(Ω))$ノルムにおける一様なバインディングを確立する。
• 近似列の強収束を$L^1([0,T];L^1(Ω))$で、弱収束を$L^2([0,T];H^1(Ω))$および$L^2([0,T];H^{-1}(Ω))$で証明する。
• フラックスなし境界条件の下で部分積分を用いて、弱形式および時間微分の恒等式を正当化する。

実験結果

リサーチクエスチョン

• RQ1 過減衰DDFT方程式は、非線形フラックスなし境界条件のもとで、一意的なグローバル弱解をもつか？
• RQ2 DDFTの静止解は流体力学的相互作用テンソルに依存しないか？
• RQ3 ヘルムホルツ自由エネルギー汎関数に関して、密度はリャプノフ安定的に進化するか？
• RQ4 DDFTダイナミクスに対して、平衡への指数的収束を厳密に証明できるか？
• RQ5 DDFTダイナミクスは、空間的に不均一な拡散および対流テンソルを有する勾配流に再定式化可能か？

主な発見

• DDFT方程式はグローバルに適切である：初期データが$L^2(Ω)$に属する限り、任意の時間$T > 0$に対して一意な弱解が存在する。
• 解は、初期データと時間にのみ依存する$ L^∞([0,T];L^2(Ω)) $、$ L^2([0,T];H^1(Ω)) $、および$ L^2([0,T];H^{-1}(Ω)) $における一様バインディングを満たす。
• 静止密度は流体力学的相互作用テンソルに依存せず、平衡構造がこれらの非局所的力に影響されないことを示唆する。
• ヘルムホルツ自由エネルギー汎関数に関して密度はリャプノフ安定であり、軌道に沿ってエネルギーが減少することを保証する。
• 指数的収束が証明され、収束速度は基礎となる作用素のスペクトルギャップに依存する。
• ダイナミクスは暗黙的勾配流に再定式化され、古典的スモラッチョフスキー方程式を空間的に不均一な拡散および対流テンソルを含む一般化に拡張する。