[논문 리뷰] The Second Boundary Value Problem for a Discrete Monge-Ampere Equation

Gerard Awanou|arXiv (Cornell University)|2019. 10. 31.

Geometry and complex manifolds인용 수 1

한 줄 요약

이 논문은 에피그래프의 渐近 원뿔을 기반으로 한 이산 하위미분과 볼록 확장을 사용하여 몽헤-아플랑르 방정식의 제2경계값 문제에 대한 새로운 유한차분 이산화를 제안한다. 이 방법은 해의 존재성, 유일성, 안정성을 보장하며, 적절한 조건 하에서 연속 해로의 수렴이 증명된다.

ABSTRACT

In this work we propose a discretization of the second boundary condition for the Monge-Ampere equation arising in geometric optics and optimal transport. The discretization we propose is the natural generalization of the popular Oliker-Prussner method proposed in 1988. For the discretization of the differential operator, we use a discrete analogue of the subdifferential. Existence, unicity and stability of the solutions to the discrete problem are established. Convergence results to the continuous problem are given.

연구 동기 및 목표

• 최적 운반과 기하광학에서 나타나는 몽헤-아플랑르 방정식의 제2경계값 문제에 대해 일致하고 안정적인 유한차분 이산화를 개발하는 것.
• 오일러커-프루스너 방법을 일반화하기 위해 이산 하위미분의 이산적 대체물과 渐近 원뿔을 통한 볼록 확장을 통합하는 것.
• 대상 도메인의 다각형 근사와 에피그래프의 渐近 원뿔이 일치하도록 조건을 부여하여 이산 해가 제2경계조건을 만족하도록 하는 것.
• 이산 해의 존재성, 유일성, 안정성을 확립하고, 연속 알렉산드로프 해로의 수렴을 증명하는 것.

제안 방법

• 직각좌표 격자와 Ωh 상의 메쉬 함수 uh를 정의하며, Ω∗의 다각형 근사 Y의 쌍대 정점들을 포함하는 공식을 통해 값의 확장을 정의한다.
• 스티encil V(x) ⊂ Zd \ {0}을 통해 정의된 이산 하위미분 ∂V uh(x)를 사용하며, 이산 몽헤-아플랑르 연산자를 ωV(R, uh, x) = ∫∂V uh(x) R(p) dp 로 정의한다.
• v∞와 kΩ∗의 이중 최소합성(convolution)을 통해 uh를 Rd로 볼록 확장하며, 이로써 에피그래프의 渐近 원뿔이 KΩ∗와 일치하도록 보장한다.
• x ∈ Ωh 에서 ωV(R, uh, x) = h d f(x) 를 풀어 이산 해를 구성하며, 경계값은 uh(x) = min_{y∈∂Ωh} max_{1≤j≤N} (x−y)·a∗j + uh(y) 로 주어진다.
• 에피그래프와 회귀 원뿔 이론을 활용하여 확장된 함수의 渐近 원뿔이 KΩ∗ 와 일치함을 보이며, 이는 대상 도메인 Ω∗ 와 대응한다.
• 이중 최소합성과 적절한 볼록 함수의 성질과 같은 분석 도구를 적용하여 이산 해가 적절하게 확장되고 제2경계조건을 만족함을 증명한다.

실험 결과

연구 질문

• RQ1 제2경계값 문제에 대해 기하적 구조를 유지하는 일치하는 유한차분 스킴을 구성할 수 있는가?
• RQ2 기존에 구현이 어려웠던 제2경계조건을 볼록 해석학과 渐近 원뿔을 통해 이산 스킴에 자연스럽게 통합할 수 있는가?
• RQ3 몽헤-아플랑르 방정식의 제2경계조건 하에서 이산 해의 존재성, 유일성, 안정성을 보장하기 위한 조건은 무엇인가?
• RQ4 메쉬 크기 h → 0 일 때, 제안된 스킴이 연속 알렉산드로프 해로 수렴하는가?

주요 결과

• 이산 몽헤-아플랑르 연산자는 이산 하위미분 위에서의 적분을 통해 정의되어 연속 측도 밀도와 일致함을 보장한다.
• 이산 해는 에피그래프의 渐近 원뿔이 Ω∗ 의 다각형 근사 Y 와 일치하도록 보장하는 볼록 확장 공식을 통해 구성되며, 이로써 제2경계조건이 만족된다.
• f > 0 이고 f ∈ C(Ω) 라는 가정 하에 존재성, 유일성, 안정성이 엄밀히 확립된다.
• 적절한 정규성 및 호환 조건 하에서 메쉬 크기 h → 0 일 때 이산 해가 연속 알렉산드로프 해로 수렴함을 증명하였다.
• 오일러커-프루스너 스킴을 이산 기하적 일致성 있는 경계 처리를 위한 渐近 원뿔과 이중 최소합성을 통합함으로써 일반화하였다.
• 확장의 정확성에 대한 분석적 증명은 이중 최소합성과 하위미분의 국소성에 기반하며, ∂v((eS)◦) ⊂ Ω∗ 가 확장이 eS 에서 v 와 일치하기 위해 필수적이고 충분한 조건임을 보여준다.