[논문 리뷰] The planar Least Gradient problem in convex domains

Piotr Rybka, Ahmad Sabra|arXiv (Cornell University)|2017. 12. 19.

Numerical methods in inverse problems참고 문헌 11인용 수 5

한 줄 요약

이 논문은 $BV$ 경계 데이터를 가진 볼록이고 엄밀히 볼록이 아닌 영역에서 평면 최소 경로 문제의 해가 존재하고 유일함을 증명한다. 평면 경계 부분에서의 단조성과 기하학적 일致성과 같은 적합성 조건을 경계 데이터에 도입함으로써, 엄밀히 볼록인 영역으로의 근사와 BV 컴actness를 이용한 극한 취득을 통해 존재성을 증명하며, 이는 이전 결과를 엄밀히 볼록이 아닌 설정으로 확장한다.

ABSTRACT

We study the two dimensional least gradient problem in a convex, but not necessary strictly convex region. We look for solutions in the space of $BV$ functions satisfying the boundary data $f$ in trace sense. We assume that $f$ is in $BV$ too. We state admissibility conditions on the trace and on the domain that are sufficient for existence of solutions.

연구 동기 및 목표

• 볼록하고 엄밀히 볼록이 아닌 평면 영역에서 최소 경로 문제에 대한 존재 결과가 부족한 문제를 다루기 위해.
• 경계 데이터 $f \in BV(\partial\Omega)$에 대해 $\min \int_\Omega |Du|$ 이며 추적 조건 $Tu = f$ 를 만족하는 해의 존재성을 위한 충분조건을 규명하기 위해.
• 연속 데이터와 엄밀히 볼록 영역에서의 알려진 존재 결과를 연속적이지 않은 $BV$ 데이터를 가진 볼록 영역으로 확장하기 위해.
• 단일 집적점이 있는 조건 하에 경계에 무한한 평면 부분이 존재하는 경우를 다룰 수 있는 프레임워크를 개발하기 위해.
• 비엄밀히 볼록 설정에서 최소 경로 함수의 적합한 추적의 공간을 특성화하기 위해.

제안 방법

• Hausdorff 거리 수렴으로 수렴하는 엄밀히 볼록 영역의 수열 $\Omega_n$ 으로 볼록하고 엄밀히 볼록이 아닌 영역 $\Omega$ 를 근사하기 위해.
• 원래의 $f$ 를 $\partial\Omega$ 에서 유지하면서 적합성을 유지하는 $\partial\Omega_n$ 에서의 근사 연속 경계 데이터 $f_n$ 을 구성하기 위해.
• Sternberg-Williams-Ziemer (2010)의 고전적 존재 및 유일성 결과를 활용하여 $\Omega_n$ 에서 최소 경로 문제의 연속 해 수열 $v_n$ 을 확보하기 위해.
• $v_n$ 의 모듈러스 연속성에 대한 균일한 유계성 조건을 확립하여 $L^1$ 에서의 전결집성과 추적 수렴을 보장하기 위해.
• [9]의 추적 확장 정리를 적용하여 극한에 도달하고 $Tu = f$ 를 만족하는 $u \in BV(\Omega)$ 인 해를 얻기 위해.
• 불연속적인 $f$ 에 대해, $C(\partial\Omega)$ 내의 단조 수열 $h_n$, $g_n$ 으로 위아래에서 근사하고, 해 $u_n$, $v_n$ 을 구성한 후 비교 원리를 이용하여 극한으로 넘어가기 위해.

실험 결과

연구 질문

• RQ1 경계 데이터 $f \in BV(\partial\Omega)$ 가 어떤 조건을 만족할 경우, 볼록하고 엄밀히 볼록이 아닌 평면 영역에서 최소 경로 문제의 해가 존재하는가?
• RQ2 영역이 엄밀히 볼록이 아닐 경우, 평면 경계 부분에서의 적합성 조건을 어떻게 수식화할 수 있는가?
• RQ3 단일 집적점이 있는 조건 하에 무한한 수의 평면 경계 부분을 가진 영역으로 존재 결과를 확장할 수 있는가?
• RQ4 적합성 조건이 위반될 경우 해는 어떻게 되며, 이는 수준 집합의 기하학적 모순을 통해 특성화될 수 있는가?
• RQ5 비엄밀히 볼록 영역에서 최소 경로 함수의 추적 구조는 전체 $L^1(\partial\Omega)$ 공간과 어떻게 다를까?

주요 결과

• 논문은 경계 데이터 $f \in C(\partial\Omega)$ 가 평면 부분에서 단조성과 기하학적 일치성 등의 적합성 조건을 만족할 경우, 볼록 영역에서 최소 경로 문제의 해가 존재하고 유일함을 증명한다.
• 경계 데이터 $f \in BV(\partial\Omega)$ 에 대해서는 동일한 적합성 조건 하에 연속 데이터로의 근사와 해의 단조 수렴을 통해 존재성을 증명한다.
• 적합성 조건들이 필수적임이 입증되었으며, 위반될 경우 최소 표면 성질을 이용한 모순을 통해 해가 존재하지 않음을 보였다.
• 무한한 수의 평면 경계 부분이 존재하는 경우, 그들이 단일 점으로 집적하고 적합성 조건을 만족할 경우 존재성이 유지됨을 보였다.
• 연속적이지만 적합성 조건을 위반하는 $f$ 에 대해 반례를 구성하였으며, 수준 집합 형성에서 기하학적 불일치로 인해 해가 존재하지 않음을 증명하였다.
• 비엄밀히 볼록 영역에서 불연속적인 $BV$ 데이터를 다룰 수 있는 구축 가능한 프레임워크를 제공하였으며, 기존 존재 결과의 적용 범위를 확장하였다.