[논문 리뷰] Uniqueness of viscosity solutions of a geometric fully nonlinear parabolic equation

Jingyi Chen, Chao Pang|ArXiv.org|2009. 05. 24.

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

한 줄 요약

이 논문은 바를레스-비툰-레이의 비교 원리에 기반하여 라그랑주 평균 곡률 흐름에서 유도된 기하학적 완전 비선형 포물형 방정식에 대한 점성 해의 유일성을 확립한다. 연산자 $ F(X) = \sum \arctan \lambda_j(X) $에 대해 구조적 가정 (H1)과 (H2)를 검증함으로써, 점성 하위해와 초위해가 비교 원리를 만족함을 보여, $ \mathbb{R}^n \times [0,\infty) $ 에서 연속된 초기 데이터에 대해 유일한 연속 점성 해가 존재함을 증명한다.

ABSTRACT

We observe that the comparison result of Barles-Biton-Ley for viscosity solutions of a class of nonlinear parabolic equations can be applied to a geometric fully nonlinear parabolic equation which arises from the graphic solutions for the Lagrangian mean curvature flow.

연구 동기 및 목표

• 라그랑주 평균 곡률 흐름에서 유도된 기하학적 완전 비선형 포물형 방정식에 대한 점성 해의 유일성을 확립하는 것.
• 바를레스-비툰-레이의 프레임워크에서 비교 원리에 필요한 구조적 가정 (H1)과 (H2)를 만족하는 연산자 $ F(X) = \sum \arctan \lambda_j(X) $를 검증하는 것.
• 일반 차원 $ n \geq 1 $ 에서 연속된 초기 데이터에 대해 유일성 결과를 1차원에서 일반화하는 것.
• 유계 도메인에서 영 조건을 갖는 코시-디리클레 문제에 대해 비교 원리의 타당성을 확인하는 것.

제안 방법

• 행렬 $ D^2u $ 의 대각화를 통해 $ F(X) = -\frac{i}{2} \log \frac{\det(I + iX)}{\det(I - iX)} $ 라 정의된 연산자 $ F(X) $ 를 정의하며, 이는 $ \sum \arctan \lambda_j(X) $ 와 같다.
• 행렬 순서에 대한 단조성에 기반해 (H1)을 검증한다. 즉, $ X \geq Y $ 이면 $ F(X) \geq F(Y) $ 임을 보이기 위해 $ f_{XY}(t) = F(tX + (1-t)Y) $ 가 $[0,1]$ 에서 단조 증가함을 보인다.
• 함수 $ f_{XY}(t) = -\frac{i}{2} \operatorname{tr}(\log A - \log B) $ 를 미분하여 $ f_{XY}'(t) \geq 0 $ 임을 증명함으로써, $ C^{-1} $ 가 정정규이므로 도함수가 음이 아님을 보인다.
• (H2)를 확립하기 위해 적분 표현과 고유값 비교를 사용하여 $ 0 < \alpha < 1 $ 에 대해 $ F(X) - F(Y) \leq \operatorname{tr}((X-Y)^+)^\alpha $ 를 유도한다.
• 바를레스-비툰-레이의 정리 2.1 을 적용하여 비교 원리와 $ \mathbb{R}^n \times [0,\infty) $ 에서 점성 해의 유일성을 도출한다.
• 유계 도메인으로의 결과 확장을 위해 [3]의 정리 8.2 를 활용하여 영 boundary 조건을 갖는 코시-디리클레 문제에 대해 유일성을 확인한다.

실험 결과

연구 질문

• RQ1 기하학적 완전 비선형 포물형 방정식 $ u_t = \sum \arctan \lambda_j(D^2u) $ 는 $ \mathbb{R}^n $ 에서 연속된 초기 데이터에 대해 유일한 점성 해를 갖는가?
• RQ2 바를레스-비툰-레이의 비교 원리가 (H1)과 (H2)를 만족함을 검증함으로써 이 기하학적 방정식에 적용 가능한가?
• RQ3 연산자 $ F(X) = \sum \arctan \lambda_j(X) $ 는 행렬 순서에 대해 단조인가? 즉, $ X \geq Y $ 이면 $ F(X) \geq F(Y) $ 인가?
• RQ4 유일성 결과는 영 경계 조건을 갖는 유계 도메인에서의 코시-디리클레 문제로 확장되는가?
• RQ5 차이 $ F(X) - F(Y) $ 와 $ X - Y $ 의 양의 부분 $ (X-Y)^+ $ 사이의 정량적 관계는 무엇인가?

주요 결과

• 연산자 $ F(X) = \sum \arctan \lambda_j(X) $ 는 (H1) 조건을 만족한다. $ X \geq Y $ 이면 $ F(X) \geq F(Y) $ 임을 보였으며, 이는 $ f_{XY}(t) = F(tX + (1-t)Y) $ 의 단조성에 의해 증명된다.
• (H2) 조건은 $ K_1 > 0 $, $ K_2 = n\pi $, 그리고 임의의 $ \alpha \in (0,1) $ 에 대해 성립한다. 즉, $ F(X) - F(Y) \leq n\pi \cdot \left( \operatorname{tr}((X-Y)^+) \right)^\alpha $ 이다.
• 비교 원리가 적용된다: 만약 $ u $ 가 상반연속인 점성 하위해이고 $ v $ 가 하부연속인 점성 초위해이며 $ u(\cdot,0) \leq v(\cdot,0) $ 이면, $ \mathbb{R}^n \times [0,T) $ 에서 $ u \leq v $ 이다.
• 임의의 연속된 초기 데이터 $ u_0 \in C(\mathbb{R}^n) $ 에 대해, 방정식의 유일한 연속 점성 해가 $ \mathbb{R}^n \times [0,\infty) $ 에서 존재한다.
• 유일성 결과는 $ \Omega \subset \mathbb{R}^n $ 인 유계 도메인에서의 코시-디리클레 문제로 확장되며, 여기서 해는 $ \partial\Omega \times [0,T) $ 에서 $ u = 0 $ 이고 $ u(0,\cdot) = \psi \in C(\overline{\Omega}) $ 를 만족한다.
• 증명은 $ F(X) - F(Y) \leq \operatorname{tr}((X-Y)^+) $ 라는 사실에 기반하며, $ \arctan x \in (-\pi/2, \pi/2) $ 이므로 차이는 $ n\pi $ 이하로 유계이며, 이는 (H2)에서 $ \alpha $-홀더 유형의 유계성으로 이어진다.