[논문 리뷰] Convergent approximation of non-continuous surfaces of prescribed Gaussian curvature

Brittany D. Froese|arXiv (Cornell University)|2016. 01. 23.

Nonlinear Partial Differential Equations참고 문헌 28인용 수 4

한 줄 요약

이 논문은 비연속 표면의 주어진 가우스 곡률을 근사하기 위한 수렴하는 유한차분 스킴을 제시한다. 이는 약한 딜리클레 경계 조건으로 인해 표준 비교 원리가 붕괴되는 문제를 다루며, 점도 해법의 기하학적 해석을 도입하고 이완된 내부 비교 원리를 증명함으로써 바르레-수가니디의 프레임워크를 수정하여 도메인 내부에서의 수렴을 확립한다. 수치 예제를 통해 비연속성, 무한 기울기, 비고전적 경계 해를 가진 경우를 검증하였다.

ABSTRACT

We consider the numerical approximation of surfaces of prescribed Gaussian curvature via the solution of a fully nonlinear partial differential equation of Monge-Ampère type. These surfaces need not be continuous up to the boundary of the domain and the Dirichlet boundary condition must be interpreted in a weak sense. As a consequence, sub-solutions do not always lie below super-solutions, standard comparison principles fail, and existing convergence theorems break down. By relying on a geometric interpretation of weak solutions, we prove a relaxed comparison principle that applies only in the interior of the domain. We provide a general framework for proving existence and stability results for consistent, monotone finite difference approximations and modify the Barles-Souganidis convergence framework to show convergence in the interior of the domain. We describe a convergent scheme for the prescribed Gaussian curvature equation and present several challenging examples to validate these results.

연구 동기 및 목표

• 고전적 해와 경계 조건이 존재하지 않을 경우 주어진 가우스 곡률을 갖는 표면을 근사하기 위한 강력한 수치적 프레임워크를 개발하는 것.
• 몽주-암페르 방정식의 약한 딜리클레 문제에서 표준 비교 원리의 실패를 다루는 것.
• 볼록 해법의 기하학적 해석을 통해 점도 해법의 존재성과 유일성을 증명하는 것.
• 비고전적 경계 거동에도 불구하고 도메인 내부에서 단조 유한차분 스킴의 수렴성을 확립하는 것.
• 비연속성, 무한 기울기, 경계에 도달하지 못한 데이터를 포함한 어려운 예제들에 대해 스킴을 검증하는 것.

제안 방법

• 약한 딜리클레 조건을 갖는 완전 비선형 몽주-암페르 PDE로 주어진 가우스 곡률 문제를 설정한다.
• 볼록 해법이 등가의 비제약 PDE의 점도 해법과 대응함을 증명함으로써 수치적 처리가 가능하게 한다.
• 하위기울기 순서를 활용하여 도메인 내부에서만 성립하는 이완된 비교 원리를 수립한다.
• 바르레-수가니디 수렴 프레임워크를 약화된 비교 원리에 맞게 수정하고, 0 < p < ∞ 에서 L^p 수렴을 증명한다.
• 볼록성을 유지하고 비고전적 경계 데이터를 처리할 수 있는 일致성 있고 단조적인 유한차분 스킴을 설계한다.
• 비연속성, 특이성, 경계에 도달하지 못한 해를 포함한 벤치마크 예제들에 대해 스킴을 구현하고 테스트한다.

실험 결과

연구 질문

• RQ1 해가 경계에서 비연속이고 딜리클레 조건이 약하게 적용될 경우, 주어진 가우스 곡률 방정식에 대해 수렴하는 유한차분 스킴을 구성할 수 있는가?
• RQ2 고전적 비교 원리가 실패하더라도 도메인 내부에서 몽주-암페르 방정식의 점도 해법에 대해 비교 원리가 성립하는가?
• RQ3 바르레-수가니디 수렴 프레임워크는 어떻게 약한 경계 조건과 비고전적 해를 다룰 수 있도록 수정할 수 있는가?
• RQ4 정확한 해가 고전적 정규성이나 경계 도달성을 갖지 못할 경우, 단조 스킴이 올바른 약한 해로 수렴하는 정도는 어느 정도인가?
• RQ5 이 프레임워크는 비고전적 경계 조건을 갖는 다른 완전 비선형 타원형 방정식으로 일반화될 수 있는가?

주요 결과

• 고전적 비교 원리의 실패에도 불구하고 도메인 내부에서 이완된 비교 원리가 성립하여 수렴 증명이 가능하다.
• 단조 유한차분 스킴은 해가 비연속이거나 기울기가 무한대일 경우에도 L^p (0 < p < ∞) 수렴을 보인다.
• 리프시츠 연속 해의 경우, 격자 해상도를 h=2⁻³ 에서 h=2⁻⁷ 로 개선함에 따라 L^∞ 오차는 9.45×10⁻² 에서 3.18×10⁻² 으로 감소하였다.
• 기울기가 무한대인 해의 경우, 동일한 격자 개선 과정에서 L^∞ 오차는 1.94×10⁻¹ 에서 8.80×10⁻² 으로 감소하였으며, 이는 수렴을 확인하는 데 기여하였다.
• 경계에 도달하지 못한 경계 데이터의 경우, 경계층으로 인해 L^∞ 수렴은 실패하지만, L¹ 수렴이 관측되었으며 오차는 2.12×10⁻¹ 에서 9.53×10⁻² 으로 감소하였다.
• 이 프레임워크는 고전적 의미에서 딜리클레 데이터를 만족하지 못하는 해에 대해서도 수렴을 가능하게 하여, 매우 비정상적인 경우에 대한 접근의 타당성을 검증하였다.