[논문 리뷰] Well-Posedness and Equilibrium Behaviour of Overdamped Dynamic Density Functional Theory

Benjamin D. Goddard, R. D. Mills-Williams외 2명|arXiv (Cornell University)|2020. 02. 26.

Advanced Thermodynamics and Statistical Mechanics참고 문헌 62인용 수 6

한 줄 요약

이 논문은 비선형적이고 비국소적인 적분-미분방정식으로서의 과다진동(dynamic) 밀도 함수 이론(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 역학을 암묵적 기울기 흐름 형태로 재기록하는 것.
• 적절한 소볼레프 공간에서 약한 해의 존재성과 유일성을 입증하기 위해 라크스–밀그램 정리를 적용하는 것.
• 부드러운 초기 자료를 사용한 갈레르킨 유형의 근사 방법을 통해 근사 해의 수열을 구성하는 것.
• 수렴을 보장하기 위해 $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}(Ω))$에서 일관된 경계를 만족하며, 이 경계는 오직 초기 자료와 시간에만 의존한다.
• 정적 밀도는 유체역학적 상호작용 텐서에 영향을 받지 않으며, 이는 평형 상태의 구조가 이러한 비국소적 힘에 영향을 받지 않음을 의미한다.
• 밀도는 헬름홀츠 자유 에너지 기능에 대해 리아푸노프 안정적이다. 이는 궤적을 따라 에너지가 감소함을 보장한다.
• 지수적 수렴이 입증되었으며, 수렴 속도는 기본 연산자의 스펙트럼 갭에 따라 달라진다.
• 역학은 암묵적 기울기 흐름 형태로 재구성되었으며, 고전적 스몰وخ프스키 방정식을 공간적으로 비균일한 확산 및 이송 텐서를 포함하는 일반화된 형태로 확장한다.