[논문 리뷰] Comparison principles by monotonicity and duality for constant coefficient nonlinear potential theory and PDEs

Marco Cirant, F. Reese Harvey외 2명|arXiv (Cornell University)|2020. 09. 03.

Geometric Analysis and Curvature Flows참고 문헌 40인용 수 4

한 줄 요약

이 논문은 이중성과 단조성에 기반하여 상수 계수 비선형 포텐셜 이론과 완전 비선형 PDE에 대한 비교 원칙을 수립하고, 약속된 원칙을 통해 포텐셜 이론과 연산자 이론을 통합한다. 주요 기여는 각 제약 집합 $ \mathcal{F} $에 대응하는 정규 연산자 $ F $를 도입하는 것으로, 이는 $ \mathcal{M} $이 $ \mathcal{F} $에 대한 단조성 하위방정식일 때 $ C^2 $로 엄격하게 $ \mathcal{M} $-하모닉 함수를 갖는 도메인에서 비교 원칙이 성립함을 보여준다. 이 틀은 열화된 타원형 미분방정식과 볼루션 해의 분석을 단순화하고 강화한다.

ABSTRACT

We prove comparison principles for nonlinear potential theories in euclidian spaces in a very straightforward manner from duality and monotonicity. We shall also show how to deduce comparison principles for nonlinear differential operators, a program seemingly different from the first. However, we shall marry these two points of view, for a wide variety of equations, under something called the correspondence principle. In potential theory one is given a constraint set F on the 2-jets of a function, and the boundary of F gives a differential equation. There are many differential operators, suitably organized around F, which give the same equation. So potential theory gives a great strengthening and simplification to the operator theory. Conversely, the set of operators associated to F can have much to say about the potential theory. An object of central interest here is that of monotonicity, which explains and unifies much of the theory. We shall always assume that the maximal monotonicity cone for a potential theory has interior. This is automatic for gradient-free equations where monotonicity is simply the standard degenerate ellipticity and properness assumptions. We show that for each such potential theory F there is an associated canonical operator, defined on the entire 2-jet space and having all the desired properties. Furthermore, comparison holds for this operator on any domain which admits a regular strictly M-subharmonic function, where M is a monotonicity subequation for F. On the operator side there is an important dichotomy into the unconstrained cases and constrained cases, where the operator must be restricted to a proper subset of 2-jet space. These two cases are best illustrated by the canonical operators and Dirichlet-Garding operators, respectively. The article gives many, many examples from pure and applied mathematics, and also from theoretical physics.

연구 동기 및 목표

• 상수 계수 비선형 포텐셜 이론에 대한 비교 원칙을 이중성과 단조성에 기반하여 수립하기 위해.
• 제약 집합 $ \mathcal{F} $와 미분 연산자 간의 연결을 보여주는 대응 원칙을 통해 포텐셜 이론과 연산자 이론을 통합하기 위해.
• 각 제약 집합 $ \mathcal{F} $에 대해 전체 2차 미분계수 공간에 정의된 정규 연산자 $ F $를 정의하여 모든 바람직한 성질를 만족시키기 위해.
• 정규 연산자 $ F $가 $ \Omega \subset \subset \mathbb{R}^n $ 도메인에서 $ C^2 $로 엄격하게 $ \mathcal{M} $-하모닉 함수를 갖는 경우 비교 원칙이 성립함을 보여주기 위해.
• 단조성과 이중성이 열화된 타원형 미분방정식과 볼루션 해의 분석을 통합하고 단순화하는 프레임워크를 제공함을 보여주기 위해.

제안 방법

• 논문은 하위방정식에 대한 이중성 이론을 사용하여 2차 미분계수 위의 제약 집합을 통해 $ \mathcal{F} $-하모닉 함수를 정의한다.
• 단조성 원뿔 $ \mathcal{M} $의 개념을 도입하며, 최대 단조성 원뿔은 내부를 갖는 것으로 가정하여 구조적 안정성을 확보한다.
• 제약 집합 $ \mathcal{F} $에서 유도된 전체 2차 미분계수 공간 $ \mathbb{R} \times \mathbb{R}^n \times \mathcal{S}(n) $ 위에 정규 연산자 $ F $를 구성한다. 이는 본질적인 비선형 PDE의 구조를 포괄한다.
• 비교 원칙은 이중 단조성 원뿔에 대한 0 최대 원칙과 볼루션 이론에서의 상한 테스트 미분계수의 활용을 통해 증명된다.
• 증명은 제약 집합 $ \mathcal{F} $에 속하는 임의의 수열 $ J_k \in \mathcal{F} $가 극한 $ J \notin \mathcal{F} $로 수렴하는 반박 논증에 기반하며, $ \mathcal{F} $의 닫힘 성질을 이용한다.
• 대응 원칙은 하나의 $ \mathcal{F} $에 대해 여러 개의 연산자를 연결하며, 포텐셜 이론이 연산자 이론적 분석을 단순화하고 강화함을 보여준다.

실험 결과

연구 질문

• RQ1 비선형 포텐셜 이론의 비교 원칙은 어떻게 직접적으로 이중성과 단조성에서 유도될 수 있는가?
• RQ2 정규 연산자 $ F $는 상수 계수 방정식에서 포텐셜 이론과 연산자 이론을 통합하는 데 어떤 역할을 하는가?
• RQ3 정규 연산자 $ F $에 대해 비교 원칙이 성립하는 도메인 $ \Omega \subset \subset \mathbb{R}^n $의 기하적 조건은 무엇인가?
• RQ4 대응 원칙은 어떤 방식으로 제약 집합 $ \mathcal{F} $와 동일한 PDE를 유도하는 미분 연산자 집합 간의 격차를 메우는가?
• RQ5 최대 단조성 원뿔이 내부를 갖는 것이 비교 원칙의 타당성을 보장하는 데 어떤 의미를 갖는가?

주요 결과

• 정규 연산자 $ F $는 $ \mathcal{M} $이 $ \mathcal{F} $에 대한 단조성 하위방정식일 때, $ C^2 $로 엄격하게 $ \mathcal{M} $-하모닉 함수를 갖는 임의의 도메인 $ \Omega \subset \subset \mathbb{R}^n $ 에서 비교 원칙이 성립한다.
• 볼록 함수의 포텐셜 이론에 대해 정규 연산자 $ F $는 $ C^2 $-경우 헤시안 $ D^2u $의 최소 고유값이다.
• 상수 계수의 경우 $ C^2 $-연속적인 도메인에서 경계의 엄격한 볼록성이 보장되면 딜리클레 문제의 해가 존재하며, 유일성은 비교 원칙과 동치이다.
• 정규 연산자 $ F $는 전체 2차 미분계수 공간에 잘 정의되어 있으며, $ \mathcal{F} $로부터 유래된 모든 바람직한 성질을 물려받아 일관성과 강건성을 확보한다.
• 비교 원칙의 증명은 제약 집합 $ \mathcal{F} $에 속하는 수열 $ J_k \in \mathcal{F} $가 $ J \notin \mathcal{F} $로 수렴하는 반박 논증에 기반하며, 이는 $ \mathcal{F} $의 닫힘 성질에 위배된다.
• 이 틀은 제약이 없는 경우와 제약이 있는 경우를 통합한다: 정규 연산자는 제약이 없는 경우를 나타내며, 딜리클레-가르딩 연산자는 제약이 있는 경우를 나타낸다.