[논문 리뷰] Existence of weak solutions to a cross-diffusion Cahn-Hilliard type system

Virginie Ehrlacher, Greta Marino외 1명|arXiv (Cornell University)|2020. 07. 02.

Solidification and crystal growth phenomena참고 문헌 36인용 수 9

한 줄 요약

이 논문은 비가역성의 이동도와 단일 상분리 성분을 갖는 교차확산 Cahn-Hilliard 시스템에 대한 약한 해의 전역 존재성을 확립한다. 시스템의 형식적 경량 흐름 구조를 활용하고 보조 변분 문제를 통한 유계성-엔트로피 방법의 확장으로, 사전 추정이 부족한 문제를 극복하여 시간 이산화된 근사화 방법에서의 극한을 엄밀히 취한다.

ABSTRACT

The aim of this article is to study a Cahn-Hilliard model for a multicomponent mixture with cross-diffusion effects, degenerate mobility and where only one of the species does separate from the others. We define a notion of weak solution adapted to possible degeneracies and our main result is (global in time) existence. In order to overcome the lack of a-priori estimates, our proof uses the formal gradient flow structure of the system and an extension of the boundedness by entropy method which involves a careful analysis of an auxiliary variational problem. This allows to obtain solutions to an approximate, time-discrete system. Letting the time step size go to zero, we recover the desired weak solution where, due to their low regularity, the Cahn-Hilliard terms require a special treatment.

연구 동기 및 목표

• 교차확산과 비가역성 이동도를 갖는 다성분 Cahn-Hilliard 시스템에 대한 전역 약한 해 존재성을 확립하는 것.
• 비가역성과 Cahn-Hilliard 항의 낮은 정규성으로 인해 사전 추정이 부족한 문제에 대처하는 것.
• 비가역성과 유일한 상분리 성분(u₀)에 의한 제약 조건과 호환되는 약한 해 프레임워크를 개발하는 것.
• 유계성-엔트로피 방법을 비표준 구조를 갖는 시스템, 특히 u₀에만 작용하는 비가역성 Ginzburg-Landau 에너지에 대응하도록 확장하는 것.
• 시간 이산화된, 반명시적 근사화 방법에서 극한을 엄밀히 취하여 연속 시간 설정에서 약한 해를 회복하는 것.

제안 방법

• 근사 해의 구성에 도움을 주기 위해 시스템의 형식적 경량 흐름 구조가 활용된다.
• 비가역성 및 교차확산 설정에서의 유계성-엔트로피 방법을 확장하기 위해 보조 변분 문제가 도입된다.
• 시간 이산화된 반명시적 방법이 설정되며, 이 경우 화학적 포텐셜 μ는 에너지 E(𝐮)의 함수적 도함수를 통해 정의된다.
• 특성 함수 χ_{M^ε,c(t)}와 절단 기법을 분석하여 농도와 비가역성을 고려하여, u₀uᵢ∇w₀와 같은 핵심 항의 약한 수렴이 확립된다.
• 극한 과정 τ→0⁺는 Lebesgue 지배 수렴 정리에 기반한 L^p 공간에서의 강한 수렴과 약한 컴actness를 이용하여 수행된다.
• 최종 약한 형식은 L²((0,T);H¹(Ω))에 속하는 함수로 테스트하여 유도되며, 초기 조건은 조밀성 원리에 의해 복원된다.

실험 결과

연구 질문

• RQ1 비가역성 이동도와 교차확산을 갖는 다성분 Cahn-Hilliard 시스템에서 유일한 상분리 성분(u₀)이 존재할 경우 약한 해가 존재할 수 있는가?
• RQ2 유계성-엔트로피 방법은 비가역성 이동도와 비대칭 교차확산 항을 갖는 시스템을 다룰 수 있도록 어떻게 확장될 수 있는가?
• RQ3 기본 H²-정규성이 기대되지 않을 경우, 이러한 시스템에 적합한 약한 해의 정의는 무엇인가?
• RQ4 비가역성으로 인해 사전 추정이 불가능한 상황에서 시간 이산화 근사화 방법에서 극한을 어떻게 취할 수 있는가?
• RQ5 보조 변분 문제가 비가역성과 상 경계 근처에서 해의 행동을 제어하는 데 어떤 역할을 하는가?

주요 결과

• 저자들은 비가역성 이동도와 단일 상분리 성분(u₀)을 갖는 교차확산 Cahn-Hilliard 시스템에 대한 전역 약한 해 존재성을 증명한다.
• 해는 (0,T)×Ω에서 거의 모든 곳에서 0 ≤ uᵢ ≤ 1 및 ∑uᵢ = 1을 만족한다.
• 화학적 포텐셜 μ는 에너지 E(𝐮)의 기능적 도함수로 정의되며, 이 에너지에는 u₀에만 작용하는 비가역성 Ginzburg-Landau 항이 포함되어 있다.
• 시간 이산화 방법의 극한은 시간 도함수 ∂ₜuᵢ가 L²((0,T);(H¹(Ω))′)에 속하는 약한 형식을 유도한다.
• 교차확산 항 u₀uᵢ∇w₀의 수렴은 κᵢJ로 식별되며, 여기서 κᵢ = uᵢ/(1−u₀) 및 J = (1−u₀)u₀∇w₀이다.
• 초기 조건 uᵢ(0,⋅) = uᵢ⁰는 조밀성과 약한 컴actness 원리에 의해 복원된다.