[논문 리뷰] Global existence for a strongly coupled Cahn--Hilliard system with viscosity

Pierluigi Colli, Gianni Gilardi외 2명|arXiv (Cornell University)|2012. 01. 01.

Solidification and crystal growth phenomena참고 문헌 3인용 수 5

한 줄 요약

이 논문은 비선형이고 일정하지 않은 확산 계수(전도도)를 가지며 일반적이고 다중값일 수 있는 질서 매개변수를 위한 잠재력이 있는 강하게 결합된 점성 Cahn-Hilliard 시스템에 대한 전역 약한 해의 존재성을 확립한다. 분석은 시간 지연 정규화, 사전 추정, 콤팩트성 추론을 통해 비선형 결합과 부드럽지 않은 자유 에너지를 다루며, 균일한 포물선성과 비선형성에 대한 구조적 가정 하에 존재성을 증명한다.

ABSTRACT

An existence result is proved for a nonlinear diffusion problem of phase-field type, consisting of a parabolic system of two partial differential equations, complemented by Neumann homogeneous boundary conditions and initial conditions. This system is meant to model two-species phase segregation on an atomic lattice under the presence of diffusion. A similar system has been recently introduced and analyzed in [CGPS11]. Both systems conform to the general theory developed in [Pod06]: two parabolic PDEs, interpreted as balances of microforces and microenergy, are to be solved for the order parameter $ ho$ and the chemical potential~$\mu$. In the system studied in this note, a phase-field equation in $ ho$ fairly more general than in [CGPS11] is coupled with a highly nonlinear diffusion equation for $\mu$, in which the conductivity coefficient is allowed to depend nonlinearly on both variables.

연구 동기 및 목표

• 비선형이고 일정하지 않은 확산 계수(전도도) κ(µ, ρ)와 일반적이고 다중값일 수 있는 질서 매개변수를 위한 잠재력을 갖는 강하게 결합된 Cahn-Hilliard 시스템에 대한 전역 약한 해 존재성을 확립한다.
• 기존 모델을 일반화하여 전도도 κ(µ, ρ)가 화학적 잠재력 µ와 질서 매개변수 ρ의 양변에 대해 양수이자 유계이며 연속적이며 가능하면 비선형인 함수임을 허용함으로써 상수일 경우에 국한되지 않도록 한다.
• 자유 에너지 잠재력 f1이 일반적인 볼록성, 적절성, 하부 연속성 함수인 경우를 다루며, 이는 질서 매개변수의 방정정식에서 다중값 부분도함수 β(ρ)를 유도한다.
• 균일한 포물선성 조건(κ ≥ κ* > 0)을 가정하여, 비선형 결합에도 불구하고 시스템이 균일하게 포물선성을 유지함을 보장함으로써 존재성을 증명한다.

제안 방법

• 원래 시스템에 시간 지연 정규화를 적용하여 근사 해를 구성함으로써 방정정식을 부드럽게 하고 사전 추정을 도출할 수 있도록 한다.
• 다양한 함수 공간에서 사전 추정을 도출함: L∞(0,T;H), L2(0,T;V), L∞(0,T;W), L2(0,T;H)에서 시간 도함수 및 유량에 대한 추정.
• 콤팩트성과 단조성 기법을 사용하여 정규화된 시스템에서 극한으로의 전환을 수행함. 주요 변수들에 대해 L∞ 공간에서의 약한* 수렴과 L2 및 C0(Q)에서의 강한 수렴을 활용한다.
• ρτ의 유계성과 강한 수렴성에 기반하여 비선형 항들(g(ρτ), κ(µτ, ρτ), ∇K(µτ, ρτ))의 수렴성을 확보함으로써 약한 형식에서의 극한을 식별한다.
• 극한 시스템은 경계 조건을 포함한 원래 PDE를 약한 의미에서 만족하며, 정상 흐름의 수렴을 통해 노멀 트레이스 조건이 유지된다.
• 에너지 유사 항의 성장 제어를 위해 그론월 렘마를 활용하며, K(µ,ρ), K1(µ,ρ), K2(µ,ρ)의 키르히호프 적분의 구조를 활용하여 비선형 확산을 다룬다.

실험 결과

연구 질문

• RQ1 비선형이고 일정하지 않은 확산 계수 κ(µ,ρ)를 갖는 강하게 결합된 Cahn-Hilliard 시스템에 대해 전역 약한 해가 존재하는가?
• RQ2 자유 에너지 잠재력 f1이 일반적인 볼록성, 적절성, 하부 연속성 함수인 경우에 대해 존재 결과를 일반화할 수 있는가? 이 경우 질서 매개변수 ρ에 대해 다중값 부분도함수 β(ρ)가 유도된다.
• RQ3 비선형 전도도 κ(µ,ρ)가 존재할 때 화학적 잠재력 µ와 질서 매개변수 ρ 사이의 비선형 결합은 어떻게 다룰 수 있는가?
• RQ4 시간 정규화된 근사 시스템에서 극한으로 전환하기 위해 필요한 사전 추정과 콤팩트성 추론은 무엇인가?

주요 결과

• 모든 T>0에 대해 [0,T]×Ω에서 시스템은 전역 약한 해 (µ, ρ, ξ)를 갖는다. 여기서 µ≥0 거의 모든 곳에서 Q에서, ρ∈L∞(0,T;W), 그리고 ξ∈β(ρ) 거의 모든 곳에서 Q에서 성립한다.
• 해는 경계 조건을 트레이스의 의미에서 만족하며, Σ에서 정상 유량 κ(µ,ρ)∇µ·ν가 0이 된다.
• 시간 도함수 ∂tµ는 L2(0,T;H)에서 유계이며, 키르히호프 적분 K(µ,ρ)의 기울기는 L∞(0,T;V)에서 유계이며, 이는 ∇µ가 L∞(0,T;H)에서 유계임을 의미한다.
• 정규화된 해의 수렴은 µ에 대해 L2(0,T;H)에서 강하고 거의 모든 곳에서 Q에서, ρ에 대해 C0(Q)에서 강하게 이루어지며, 이는 극한 비선형 항의 식별을 가능하게 한다.
• 극한 해는 원래 시스템의 약한 형식을 만족하며, 비선형 전도도를 갖는 µ의 방정정식과 다중값 부분도함수를 갖는 ρ의 방정정식을 포함한다.
• 증명 과정에서 유량 항 div(κ(µτ,ρτ)∇µτ)의 극한이 L2(0,T;H)에서 div(κ(µ,ρ)∇µ)로 수렴함을 보여, 극한이 약한 의미에서 PDE를 만족함을 확인한다.