[논문 리뷰] Convex Splitting Schemes Interpreted as Fully Implicit Schemes in Disguise for Phase Field Modeling

Jinchao Xu, Yukun Li외 1명|arXiv (Cornell University)|2016. 04. 19.

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

한 줄 요약

이 논문은 단상 분할 방법(CSS)이 단상 모델에 대해 수학적으로 완전히 암묵적 방법(FIS)과 동치임을 드러낸다. 특히 알렌-초른 모델에 대한 표준 CSS는 더 작은 시간 간격을 가진 FIS와 동치이며, 카인-힐리아드 모델에 대해서는 원래 모델의 비자명한 변형에 대해 적용된 FIS와 정확히 일치한다. 저자들은 이론적 최대 원칙을 유지하고, 포isson 유사 연산자를 통한 균일한 조절을 가능하게 하는 수정된 FIS/CSS를 제안한다.

ABSTRACT

Convex splitting schemes (CSS in short) are among the most popular numerical schemes used in phase-field modeling. In this paper, we report a simple observation that some well-known CSS can be interpreted as some fully implicit schemes (FIS in short) in disguise. For the Allen-Cahn model, we prove that the standard CSS is exactly the same as the standard FIS but with a (much) smaller time step size and as a result, it would provide an approximation to the original solution of the Allen-Cahn model at a delayed time (although the magnitude of such a delay is reduced when the time step size is reduced). For the Cahn-Hilliard model, we prove that the standard CSS is exactly the same as the standard FIS for a different model that is a (nontrivial) perturbation of the original Cahn-Hilliard model. Motivated by such an equivalence between CSS and FIS, we propose a modification of a typical FIS or CSS for the Allen-Cahn so that the maximum principle will be valid on the discrete level and we further rigorously prove that, the linearization of such a modified FIS or CSS can be uniformly preconditioned by a Poisson-like operator.

연구 동기 및 목표

• 상상 모델에서 단상 분할 방법(CSS)과 완전히 암묵적 방법(FIS) 간의 수학적 관계를 명확히 하는 것.
• 알렌-초른 및 카인-힐리아드 방정식에 대해 CSS가 FIS로 간주될 수 있는 조건을 규명하는 것.
• 수치 해에서 이산 최대 원칙을 만족시키는 수정된 FIS 또는 CSS를 개발하는 것.
• 반복적 해법의 효율성을 향상시키기 위해 포isson 유사 연산자를 이용한 선형화된 시스템의 균일한 조절을 확립하는 것.

제안 방법

• 알렌-초른 모델에 대한 표준 CSS가 더 작은 시간 간격을 가진 FIS와 동치임을 증명함으로써, 지연된 시간에서의 해에 해당함을 보임.
• 카인-힐리아드 모델에 대한 표준 CSS가 원래 모델의 비자명한 변형에 대해 적용된 FIS와 정확히 일치함을 입증함.
• 이산 최대 원칙이 수치적 스킴 수준에서 만족되도록 보장하는 수정된 FIS 또는 CSS 수식을 제안함.
• 수정된 스킴의 선형화를 분석하고, 포isson 유사 연산자를 통한 균일한 조절이 가능함을 보이며, 메쉬 크기와 무관한 안정적 수렴을 보장함.
• 연속 및 이산 설정 모두에서 동치성과 안정성 성질을 확립하기 위해 분석 기법을 사용함.

실험 결과

연구 질문

• RQ1 상상 모델에서 단상 분할 방법(CSS)은 수학적으로 완전히 암묵적 방법(FIS)과 어떻게 관련되어 있는가?
• RQ2 알렌-초른 방정식에 대해 CSS의 해와 해당 FIS 사이의 정확한 시간 척도 관계는 무엇인가?
• RQ3 카인-힐리아드 CSS는 어떤 의미에서 원래 모델의 변형된 버전에 대해 FIS와 동치인가?
• RQ4 이산 최대 원칙을 유지하는 수정된 FIS 또는 CSS를 구성할 수 있는가?
• RQ5 수정된 스킴에서 유도된 선형 시스템은 포isson 유사 연산자를 통해 균일하게 조절 가능한가?

주요 결과

• 알렌-초른 모델에 대한 표준 단상 분할 방법은 더 작은 시간 간격을 가진 완전히 암묵적 방법과 수학적으로 동치이며, 이는 시간이 지연된 해에 해당한다.
• 카인-힐리아드 모델에 대해 표준 CSS는 원래 방정식의 비자명한 변형에 대해 적용된 완전히 암묵적 방법과 정확히 일치한다.
• 제안된 수정된 FIS 또는 CSS는 수치적 스킴 수준에서 이산 최대 원칙을 만족시킴을 보장한다.
• 수정된 스킴의 선형화는 포isson 유사 연산자를 통한 균일한 조절이 가능하며, 이는 메쉬 크기와 무관한 안정적 수렴을 보장한다.