[논문 리뷰] Cahn-Hilliard equation with dynamic boundary conditions and mass constraint on the boundary

Pierluigi Colli, T. Fukao|arXiv (Cornell University)|2014. 12. 05.

Solidification and crystal growth phenomena참고 문헌 17인용 수 4

한 줄 요약

이 논문은 Cahn–Hilliard 방정식에 동적 경계 조건과 경계 상의 질량 제약 조건을 도입함으로써, 부피와 경계에 각각의 라그랑주 승수를 도입하여 잘 정의됨을 증명한다. 하위미분 이론과 변분부등식 이론을 활용하여, 제약 조건 하에서 해의 존재성, 유일성 및 연속적 의존성과 함께, 라그랑주 승수를 통한 완전한 특성화와 근사 및 극한 과정에서의 균일한 사전 추정치를 확보한다.

ABSTRACT

The well-known Cahn-Hilliard equation entails mass conservation if a suitable boundary condition is prescribed. In the case when the equation is also coupled with a dynamic boundary condition, including the Laplace-Beltrami operator on the boundary, the total mass on the inside of the domain and its trace on the boundary should be conserved. The new issue of this paper is the setting of a mass constraint on the boundary. The effect of this additional constraint is the appearance of a Lagrange multiplier; in fact, two Lagrange multipliers arise, one for the bulk, the other for the boundary. The well-posedness of the resulting Cahn-Hilliard system with dynamic boundary condition and mass constraint on the boundary is obtained. The theory of evolution equations governed by subdifferentials is exploited and a complete characterization of the solution is given.

연구 동기 및 목표

• 동적 경계 조건을 갖는 Cahn–Hilliard 체계에 경계 상의 질량 제약 조건을 통합하는 수학적 과제를 다루는 것.
• 표준 동적 경계 조건 하에서는 자동으로 보장되지 않는 부피 및 경계 상의 질량 보존을 확보하는 것.
• 추가 제약 조건으로 인해, 부피와 경계에 각각의 라그랑주 승수를 사용하여 해를 특성화하는 것.
• 변분 및 진화 방정식 기법을 통해 해의 존재성, 유일성 및 연속적 의존성을 확립하는 것.
• 추상적 진화 포함 및 정규화 방법을 활용하여, 비표준 경계 질량 제약 조건을 포함한 Cahn–Hilliard 체계 이론을 확장하는 것.

제안 방법

• Cahn–Hilliard 방정식에 동적 경계 조건을 포함한 체계를 하위미분에 의해 지배되는 추상적 진화 포함으로 공식화한다.
• 경계 질량 제약 조건을 강제하기 위해 라그랑주 승수를 도입하며, 이로 인해 부피와 경계에 각각의 승수가 도입된다.
• 최대 단조 그래프의 Moreau–Yosida 정규화를 통해 근사 문제의 해를 구성함으로써, 근사 문제의 가역성을 보장한다.
• 에너지 방법과 함수해석학적 도구를 활용하여, 정규화된 문제에 대해 균일한 사전 추정치를 유도한다.
• 정규화 파arameter ε → 0 및 점성 파arameter τ → 0일 때의 극한을 취하며, 소볼레프 공간과 르베그 공간에서의 약한 및 강한 수렴 논증에 의존한다.
• 정규화된 체계에서 극한을 취함으로써 해의 존재성을 증명하며, 모든 해 성분과 승수의 수렴성을 확보한다.

실험 결과

연구 질문

• RQ1 동적 경계 조건을 갖는 Cahn–Hilliard 방정식에서 경계 상의 질량 제약 조건을 어떻게 수학적으로 강제할 수 있는가?
• RQ2 부피와 경계 상의 질량 보존이 모두 요구될 경우, 라그랑주 승수의 역할은 무엇인가?
• RQ3 변분 및 하위미분 방법을 통해 이러한 경계 질량 제약 조건 하에서 체계의 잘 정의됨을 확립할 수 있는가?
• RQ4 해의 정규성 및 수렴 성질은 점성 파arameter τ와 정규화 파arameter ε에 어떻게 의존하는가?
• RQ5 경계 질량 제약 조건은 해의 장기적 행동과 안정성에 어떤 영향을 미치는가?

주요 결과

• 해는 추상적 진화 포함의 관점에서 유일하게 존재하며, 해와 그 성분들이 두 개의 라그랑주 승수를 통해 특성화된다.
• 해는 v ∈ C([0,T]; V₀) 및 vΓ ∈ C([0,T]; VΓ)를 만족하여, 상태 변수의 시간에 대한 강한 연속성을 나타낸다.
• 정규화된 문제에 대해 균일한 사전 추정치가 확립되어, ε → 0 및 τ → 0일 때의 수렴을 가능하게 한다.
• 극한 해는 라그랑주 승수 λ를 통해 질량 제약 조건이 강제된 원래 체계를 만족한다.
• 순수한 Cahn–Hilliard 케이스(τ = 0)의 해는 점성 문제의 극한으로서 얻어지며, 이는 해당 케이스에서도 잘 정의됨을 확인한다.
• 보조 양 v*와 λ는 일반적으로 유일하지 않지만, 해 v는 여전히 유일하게 결정된다.