[논문 리뷰] The AE Theorem and addition theorems for quasi-convex functions

F. Reese Harvey, H. Blaine Lawson|arXiv (Cornell University)|2013. 09. 06.

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

한 줄 요약

이 논문은 AE 정리(Almost Everywhere Theorem)를 수립하여, 국소적으로 준볼록인 함수의 거의 everywhere에서의 2차 미분형식이 비정칙 타원형 제약조건 $F$를 만족하면 그 함수는 복소해석적 $F$-하위해석(subsolution)임을 증명한다. 이 결과는 준볼록 함수의 하모닉성 분석을 단순화하고 통합하며, 비정칙 타원형 PDE 이론에서 새로운 덧셈 정리와 비교 원리의 가능성을 열어준다.

ABSTRACT

The main point of this paper is to prove the following useful result: If the almost everywhere 2-jet of a locally quasi-convex function u satisfies a degenerate elliptic constraint F, then u is F-subharmonic, i.e., u is a viscosity F-subsolution. This AE Theorem makes otherwise difficult results transparent. Some instances of this are presented, including two versions of addition, and a comparison theorem.

연구 동기 및 목표

• 국소적으로 준볼록인 함수가 거의 everywhere에서 2차 미분형식을 갖는 비정칙 타원형 제약조건 $F$를 만족할 때, 그 함수가 복소해석적 $F$-하위해석이 되기 위한 필요충분조건을 수립하는 것.
• 이전의 상수 계수 케이스에서의 $F$-하모닉성 결과를 비정칙 타원형 하위방정식의 전체 클래스로 일반화하는 것.
• 복소해석적 함수의 개념을 영감으로 삼은 잠재이론적 접근을 통해 하모닉성 분석을 위한 통합된 프레임워크를 제공하는 것.
• 준볼록성 조건 하에서 $F$-하모닉 함수에 대한 새로운 덧셈 정리를 증명하는 것.
• 하위방정식 포함 조건 $G \subset \mathrm{Int}(F)$ 하에서 준볼록 함수에 대한 엄격한 비교 원리를 수립하는 것.

제안 방법

• 상위 접촉 미분형식을 통한 $F$-하모닉성 정의: 상측연속(USC) 함수 $u$가 모든 점에서의 상위 접촉 미분형식이 $F_x$에 속하면 $F$-하모닉이다.
• $F$에 대해 두 가지 최소 조건을 도입: (P) 비정칙 타원성(비음성 정칙 행렬을 더해도 닫혀 있음), (C) 닫힘성(극한에 대해 안정성 확보).
• 준볼록 함수가 거의 everywhere에서 두 번 미분 가능하다는 사실을 이용해 이러한 함수의 2차 미분형식을 분석하고, 하위방정식 $F$와의 관계를 규명한다.
• AE 정리 증명: 국소적으로 준볼록인 함수 $u$에 대해 $J^2_x u \in F$가 거의 everywhere에서 성립하면, $u \in F(X)$, 즉 $u$는 복소해석적 $F$-하위해석이다.
• AE 정리를 적용해 기본 덧셈 정리 유도: $u \in F(X)$, $v \in G(X)$ 이면 $u+v \in \overline{F+G}(X)$, 여기서 $F,G$는 (P)와 (C) 조건을 만족한다.
• compactness 추론과 준볼록성 조건을 활용해 덧셈 정리 및 비교 원리 증명 과정에서 2차 미분계수의 수렴하는 수열을 추출한다.

실험 결과

연구 질문

• RQ1 국소적으로 준볼록인 함수가 비정칙 타원형 PDE의 복소해석적 하위해석이 되기 위한 조건은 무엇인가?
• RQ2 두 $F$- 및 $G$-하모닉 함수의 합은 $F+G$의 섬세한 닫힘성에 의해 특성화될 수 있는가?
• RQ3 하나의 함수가 다른 함수의 하위방정식의 내부에 있을 때, 준볼록 함수에 대해 엄격한 비교 원리가 성립하는가?
• RQ4 완전한 $C^2$ 정규성 조건이 없을 경우, AE 정리는 복소해석적 하위해석 분석을 어떻게 단순화하는가?
• RQ5 준볼록성은 덧셈 정리 증명 과정에서 2차 미분계수의 수렴성에 어떤 역할을 하는가?

주요 결과

• AE 정리는 국소적으로 준볼록인 함수의 2차 미분형식이 거의 everywhere에서 닫혀 있고 비정칙 타원형 하위방정식 $F$에 속하면, 그 함수는 복소해석적 $F$-하위해석임을 보장한다.
• 기본 덧셈 정리 성립: $u$와 $v$가 국소적으로 준볼록이고 $u \in F(X)$, $v \in G(X)$ 이면 $u+v \in \overline{F+G}(X)$이며, 상수 계수 케이스에선 등호가 성립한다.
• 상수 계수 케이스에서는 준볼록성 조건을 생략할 수 있으며, 이 경우 모든 상측연속 함수에 대해 덧셈 정리가 성립한다.
• 엄격한 비교 원리 증명: $G \subset \mathrm{Int}(F)$ 이고 $u \in G(\Omega)$, $v \in \widetilde{F}(\Omega)$ 이면 $u+v \leq 0$ on $\partial\Omega$ 이면 $u+v \leq 0$ on $\Omega$ 이다.
• 증명은 최대점에서의 상위 접촉 미분형식 존재성과 준볼록성에 의한 2차 미분계수의 컴팩턴스에 기반한다.
• 이 결과는 기존의 비교 결과를 일반화하며, 비정칙 타원형 PDE에서 복소해석적 해의 이론적 프레임워크를 강력하게 제공한다.