[논문 리뷰] Convergent approximation of surfaces of prescribed Gaussian curvature with weak Dirichlet conditions

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

Geometric Analysis and Curvature Flows참고 문헌 21인용 수 3

한 줄 요약

이 논문은 완전 비선형 면적-암페르 방정식을 푸름으로써 주어진 가우스 곡률을 가진 표면을 근사하기 위한 단조 수치적 방법을 개발한다. 표면의 내부에서 점근적 해에 수렴함을 입증하였으며, 표준 비교 원리가 작동하지 않는 약한 딜리클레 조건에도 불구하고, 이는 이완된 내부 비교 원리와 수정된 바르레-수가니디 프레임워크를 사용하여 달성된다.

ABSTRACT

We consider the construction of surfaces of prescribed Gaussian curvature via the numerical solution of a fully nonlinear partial differential equation of Monge-Amp\`ere type. In this setting, solutions may not be able to satisfy even a simple Dirichlet boundary condition, and the resulting weak solutions need not be continuous up to the boundary. As a consequence, sub-solutions do not always lie below super-solutions, and existing convergence proofs do not apply. 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 then modify the Barles-Souganidis convergence framework to show that monotone approximations converge to the viscosity solution in the interior of the domain. We describe a monotone approximation of the equation and present several challenging computational examples to validate these theoretical results.

연구 동기 및 목표

• 표준 딜리클레 경계 조건이 실패할 경우 주어진 가우스 곡률을 가진 표면을 구성하는 데 도전하는 것.
• 경계에서 불연속적인 약한 해로 인해 고전적 비교 원리가 붕괴되는 문제를 극복하는 것.
• 경계 정규성의 부족에도 불구하고 도메인 내부에서 단조 수치 근사의 수렴 프레임워크를 개발하는 것.
• 복잡한 곡률 행동을 보이는 사례를 통해 이론적 프레임워크를 검증하는 것.

제안 방법

• 비표준 비교 원리를 도메인 내부로 제한함으로써 약한 딜리클레 조건을 다룰 수 있도록 바르레-수가니디 수렴 프레임워크를 적응시킨다.
• 약한 해의 기하학적 해석을 도입하여 도메인 내부에서만 유효한 이완된 비교 원리를 정의한다.
• 주어진 가우스 곡률을 위한 완전 비선형 면적-암페르 방정식에 대한 단조 유한차분 근사를 구성한다.
• 점성 해 이론을 사용하여 도메인 내부에서 단조적 방법이 유일한 점성 해로 수렴함을 정당화한다.
• 복잡한 곡률 분포와 경계 행동을 보이는 표면에서 시험하기 위해 계산 실험을 구현한다.

실험 결과

연구 질문

• RQ1 약한 경계 조건으로 인해 표준 비교 원리가 실패할 경우, 면적-암페르 방정식의 수치 근사에서 수렴성을 어떻게 확립할 수 있는가?
• RQ2 약한 해의 어떤 기하학적 성질이 도메인 내부에 국한된 이완된 비교 원리를 가능하게 하는가?
• RQ3 약한 딜리클레 조건 하에서 단조 유한차분 방법이 점성 해로 수렴할 수 있으며, 이를 어떻게 증명할 수 있는가?
• RQ4 어떤 계산적 증거가 이론적 수렴성과 비정규적 설정에서의 방법의 강건성을 뒷받침하는가?

주요 결과

• 내부에서만 유효한 이완된 비교 원리가 확립되어 경계 불연속성에도 불구하고 수렴 분석이 가능해졌다.
• 수정된 바르레-수가니디 프레임워크는 도메인 내부에서 단조 수치 근사가 점성 해로 수렴함을 보장한다.
• 제안된 단조적 방법은 경계 데이터가 약하거나 불연속일 경우에도 주어진 가우스 곡률을 가진 표면의 해를 성공적으로 계산한다.
• 계산 실험을 통해 복잡한 곡률 구성에서 방법의 강건성이 입증되었으며, 이는 이론적 수렴 결과를 검증한다.