[논문 리뷰] Existence and uniqueness for anisotropic and crystalline mean curvature flows

Antonin Chambolle, Massimiliano Morini외 2명|arXiv (Cornell University)|2017. 02. 09.

Geometric Analysis and Curvature Flows참고 문헌 57인용 수 30

한 줄 요약

이 논문은 일반적인 볼록 이동도와 시간에 따라 변하는 유계 강제항을 갖는 비등방성 및 결정성 평균 곡률 흐름에 대해, 비틀림을 제외한 존재성과 유일성을 확립한다. 이는 비교 원리와 근사에 대한 안정성을 보장하는 새로운 분포 수준의 수준집합 공식화를 통해 이루어지며, 최소화 운동과 수준집합 방법을 통합하여, 결정성 경우조차도 고유한 평탄한 흐름으로 수렴하는 알그렌-테일러-왕 알고리즘의 수렴성을 입증한다.

ABSTRACT

An existence and uniqueness result, up to fattening, for crystalline mean curvature flows with forcing and arbitrary (convex) mobilities, is proven. This is achieved by introducing a new notion of solution to the corresponding level set formulation. Such a solution satisfies the comparison principle and a stability property with respect to the approximation by suitably regularized problems. The results are valid in any dimension and for arbitrary, possibly unbounded, initial closed sets. The approach accounts for the possible presence of a time-dependent bounded forcing term, with spatial Lipschitz continuity. As a by-product of the analysis, the problem of the convergence of the Almgren-Taylor-Wang minimizing movements scheme to a unique (up to fattening) "flat flow" in the case of general, possibly crystalline, anisotropies is settled.

연구 동기 및 목표

• 일반적인 볼록 이동도와 시간에 따라 변하는 강제항을 갖는 결정성 평균 곡률 흐름에 대한 존재성과 유일성 문제를 오랜 기간 동안 미해결된 문제로 해결하기 위해.
• 비교 원리와 근사에 대한 안정성을 만족하는 새로운 분포 수준집합 방정식 공식화를 도입하기 위해.
• 특이점이나 비틀림이 존재하는 경우조차도 알그렌-테일러-왕 최소화 운동 방법이 고유한 평탄한 흐름으로 수렴함을 입증하기 위해.
• 결정성 설정에서 변분(최소화 운동)과 PDE 기반(수준집합) 접근법을 통합하기 위해.
• 임의의 차원에서 유계가 아니거나 무한대일 수 있는 임의의 초기 닫힌 집합으로 이론을 확장하기 위해.

제안 방법

• 비등방성 평균 곡률 흐름의 수준집합 공식화에 대해 분포 수준의 곡률 진화 공식화를 통한 새로운 해의 개념을 도입한다.
• 제안된 분포 해에 대해 비교 원리를 증명하여, 비틀림을 제외한 유일성을 보장한다.
• 최소화 운동 방법(알그렌-테일러-왕)을 사용하여 흐름의 이산 시간 근사값을 구성한다.
• 이동도와 비등방성의 변화에 대한 ATW 방법의 안정성을 확립하며, 시간 간격이 0으로 수렴할 때 극한 흐름으로의 수렴을 보장한다.
• 비등방성이 매끄럽지 않은(결정성인) 경우조차도 ATW 방법의 국소 균일 수렴을 증명한다.
• 밀도 추정과 장벽 구성 기법을 활용하여 Wulff 형태의 진화를 제어하고 균일한 경계를 확보한다.

실험 결과

연구 질문

• RQ1 일반적인 볼록 이동도와 시간에 따라 변하는 강제항을 갖는 결정성 평균 곡률 흐름에 대해 존재성과 유일성을 확립할 수 있는가?
• RQ2 결정성 경우에서 알그렌-테일러-왕 최소화 운동 방법이 고유한 평탄한 흐름으로 수렴하는가?
• RQ3 비등방성이 비매끄러운 경우에도 비교 원리와 근사에 대한 안정성을 만족하는 수준집합 공식화를 구성할 수 있는가?
• RQ4 이동도와 비등방성이 매끄러운 것으로 근사될 때 ATW 방법의 수렴성이 유지되는가?
• RQ5 새로운 분포 수준 공식화는 결정성 경우에서 점성 해와 어떻게 관련이 있는가?

주요 결과

• 제안된 분포 수준 공식화는 비교 원리와 안정성을 보장하여, 비틀림을 제외한 수준집합 흐름의 존재성과 유일성을 보장한다.
• 알그렌-테일러-왕 최소화 운동 방법은 임의의 초기 닫힌 집합에 대해, 결정성 경우조차도 고유한 평탄한 흐름으로 수렴한다.
• ATW 방법의 수렴성은 이동도와 비등방성의 근사화에 대해 안정적이며, 비매끄러운(결정성) 함수로의 극한에서도 유지된다.
• 새로운 공식화를 통해 구성된 수준집합 해는 일정 강제항과 순수 결정성 비등방성 조건에서 지가-포자르의 점성 해와 일치한다.
• 이론은 임의의 차원과 유계가 아니거나 무한대일 수 있는 임의의 초기 닫힌 집합에 적용 가능하다.
• 이론은 비등방성 알렌-카인 방정식의 수렴성을 비매끄러운 경우로 확장하며, 해가 고유한 수준집합 흐름의 영수준집합으로 수렴함을 확인한다.