비퇴화 이동도와 특이 퍼텐셜을 갖는 Cahn–Hilliard 방정식의 약해 해 수렴성

초록

본 논문은 비퇴화(비특이) 이동도와 로그형 특이 퍼텐셜을 갖는 Cahn–Hilliard 방정식에 대해, 전역 약해 해가 에너지 부등식을 만족한다는 최소 가정만으로도 모든 차원(특히 3차원)에서 단일 평형 상태로 수렴함을 증명한다. 또한, 동일한 방법을 이용해 비퇴화 이동도를 갖는 Cahn–Hilliard‑Navier‑Stokes(AGG) 모델에도 동일한 수렴 결과를 확장한다. 핵심은 “좋은 시간”과 “나쁜 시간”을 구분해 De Giorgi 반복과 Łojasiewicz‑Simon 부등식을 결합한 새로운 에너지‑분석 기법이다.

상세 분석

이 연구는 기존 Cahn–Hilliard 이론에서 가장 난제였던 3차원 비퇴화 이동도와 로그형 특이 퍼텐셜(Flory–Huggins) 경우의 장기 거동을 해결한다. 기존 결과는 주로 상수 이동도와 부드러운 4차 다항 퍼텐셜에 의존했으며, 특이 퍼텐셜을 다루려면 해가 일정 시간 이후에 H²(Ω)까지 정규화되고, 그에 따라 L∞‑정밀한 “엄격 분리”(strict separation) 성질을 확보해야 했다. 그러나 비퇴화 이동도에서는 이러한 정규화가 아직 증명되지 않아, 기존의 Łojasiewicz‑Simon 접근법을 직접 적용할 수 없었다.

저자들은 두 가지 최소 전제만을 사용한다: (1) 전역 약해 해의 존재와 (2) 에너지 부등식
E(ϕ(t)) + ∫ₛᵗ ∫Ω m(ϕ) |∇μ|² ≤ E(ϕ(s)).
이 부등식은 해가 에너지 감소를 보장함을 의미한다. 여기서 μ = –Δϕ + f′(ϕ)이며, m(·)는 양의 연속 함수(비퇴화)이다.

핵심 아이디어는 ω‑limit 집합을 H¹(Ω) 약해 위에서 정의하고, 에너지 부등식으로부터 ϕ(t) 가 H¹‑강하게 전이함을 보인다. 이후, ω‑limit 집합이 순수 상(±1)와 거리 δ₁만큼 떨어져 있음을 이용해, 시간에 따라 “순수 상에 가까운 영역”의 Lebesgue 측정이 0으로 수렴함을 증명한다(식 1.22). 이는 기존의 L∞‑정밀 분리 대신, 측정론적 분리를 활용한 새로운 접근이다.

다음 단계에서는 “좋은 시간 집합” A_M(T) = {t ≥ T | ‖∇μ(t)‖{L²} ≤ M}을 도입한다. 이 집합에서는 에너지 소산이 유한하게 제어되므로 De Giorgi 반복법을 적용해 실제 L∞‑엄격 분리를 얻는다. 즉, A_M(T) 내 모든 t에 대해 ‖ϕ(t)‖{L∞} ≤ 1–δ가 성립한다. 이 과정에서 특이 퍼텐셜이 실분석적(real analytic)이라는 가정이 필요 없으며, 오직 이동도가 연속이고 양의 하한을 갖는다는 조건만으로 충분하다.

그 후, Łojasiewicz‑Simon 부등식을 “좋은 시간”에만 적용하고, “나쁜 시간”의 측정적 크기가 유한함을 이용해 전체 시간 구간에 대한 ∫‖∇μ‖{L²} dt < ∞ 를 얻는다. 이는 ∂ₜϕ ∈ L¹(t₀,∞; H¹(Ω)′) 를 의미하고, 결국 ω‑limit 집합이 단일 원소 ϕ∞ 로 수축한다. 따라서 ϕ(t) → ϕ_∞ 강하게 H¹(Ω)에서 수렴한다.

AGG 모델(비퇴화 이동도와 비동일 밀도·점성의 Cahn–Hilliard‑Navier‑Stokes 시스템)에도 동일한 논리를 적용한다. 여기서는 추가적인 운동량 방정식이 존재하지만, 에너지 부등식에 속도 u의 소산 항 ‖∇u‖²가 포함되어 있어 동일한 “좋은/나쁜 시간” 분할이 가능하다. 결과적으로 (ϕ,u) 쌍도 단일 평형 (ϕ_∞,0) 로 수렴한다.

이 방법의 장점은 (i) 정규화(regularization) 결과에 의존하지 않으며, (ii) 이동도와 퍼텐셜의 구체적 형태에 크게 구애받지 않는다. 따라서 다중 성분 Cahn–Hilliard, 동적 경계조건, 표면 위 Cahn–Hilliard, Cahn–Hilliard‑Darcy 등 다양한 변형 모델에 바로 적용 가능하다. 또한, 기존 결과보다 증명 구조가 단순해져, 에너지 기반 장기 거동 분석의 새로운 표준이 될 잠재력을 가진다.