[논문 리뷰] On the microscopic spacetime convexity principle for fully nonlinear parabolic equations I: Spacetime convex solutions

Chuanqiang Chen|arXiv (Cornell University)|2014. 03. 20.

Geometric Analysis and Curvature Flows참고 문헌 35인용 수 3

한 줄 요약

이 논문은 완전 비선형 포물형 편미분방정식에 대한 시공간 헤시안 행렬의 상수계수 정리에 대해 새로운 단순화된 증명을 제공함으로써, 완전 비선형 포물형 방정식에 대한 미시적 시공간 볼록성 원리(Principle)를 수립한다. 이는 Chen-Hu [11]와 Hu-Ma [18]의 이전 결과를 확장하며, 연산자 $ F $ 에 대한 구조적 볼록성 조건이 만족될 경우, 시공간 헤시안의 질량수는 시공간 전역에서 일정하게 유지되고, 그 영공간(null space)은 매끄럽게 변화함을 증명한다. 이는 완전 비선형 포물형 PDE의 해들에 대해 지속적인 볼록성 성질을 보장한다.

ABSTRACT

Spacetime convexity is a basic geometric property of the solutions of parabolic equations. In this paper, we study microscopic convexity properties of spacetime convex solutions of fully nonlinear parabolic partial differential equations and give a new simple proof of the constant rank theorem in \cite{CH13}.

연구 동기 및 목표

• 완전 비선형 포물형 PDE의 해들에 대한 미시적 시공간 볼록성 원리를 수립하기 위해.
• Chen-Hu [11]와 Hu-Ma [18]의 이전 결과를 확장하여, 해의 시공간 헤시안에 대한 상수계수 정리의 단순화된 증명을 제공하기 위해.
• 연산자 $ F $ 에 대한 구조적 조건 하에서 시공간 헤시안의 영공간의 지속성과 정칙성 분석하기 위해.
• 주어진 $ F $ 에 대한 볼록성 조건 하에서 시공간 헤시안의 질량수가 시간과 공간 전역에서 일정하게 유지됨을 보여주기 위해.

제안 방법

• 완전 비선형 포물형 방정식의 해의 시공간 헤시안을 분석하기 위해 좌표에 불변하는 접근법을 사용한다.
• 시공간 헤시안에 상수계수 정리 기법을 적용하며, 고정된 $ (p, t) $ 에 대해 $ F(A^{-1}, p, u, x, t) $ 가 $ (A, u, x) $ 에 대해 국소적으로 볼록임을 구조적 조건으로 활용한다.
• 퇴화를 다루기 위해 정규화 $ D_y^2 u + \varepsilon I $ 와 극한 논증을 사용하여 헤시안 성분에 대한 부등식을 도출한다.
• 시공간 좌표 변환과 이차 구조 집합 $ G $ 를 활용하여 관련된 헤시안 항들을 분리하고 추정한다.
• 철저히 구성된 보조 함수 $ \phi $ 에 대해 최대원리(maximum principle)를 적용하여, $ \sum F^{ij} \phi_{ij} - \phi_t \leq C(\phi + |\nabla_x \phi|) $ 를 도출한다. 이는 원하는 추정치를 보장한다.
• 연산자 $ F $ 의 타원성과 역볼록성 조건을 활용하여 곡률 항들을 통제하고, 이차형식 $ Q $ 의 음이 아닌 성질을 확립한다.

실험 결과

연구 질문

• RQ1 완전 비선형 포물형 PDE의 해에 대한 시공간 헤시안이 시간과 공간 전역에서 일정한 질량수를 유지하는 조건은 무엇인가?
• RQ2 시공간 헤시안에 대한 상수계수 정리를 단순화되고 좌표에 불변하는 방식으로 어떻게 증명할 수 있는가?
• RQ3 연산자 $ F $ 에 어떤 구조적 조건이 성립하면 해들에 대한 시공간 볼록성이 지속적으로 유지되는가?
• RQ4 주어진 가정 하에서 시공간 헤시안의 영공간은 시간과 공간 전역에서 어떻게 매끄럽게 변화하는가?
• RQ5 미시적 볼록성 원리는 열 방정식을 초월한 완전 비선형 포물형 방정식으로 확장될 수 있는가?

주요 결과

• 각 고정된 $ t $ 에 대해, 완전 비선형 포물형 방정식의 해에 대한 시공간 헤시안은 공간에서 일정한 질량수 $ l(t) $ 를 유지하며, $ s \leq t $ 에 대해 $ l(s) \leq l(t) $ 를 만족한다.
• $ t \in (0, T) $ 에 대해, $ n - l(t) $ 개의 고정된 방향이 시공간 헤시안의 영공간을 생성하는 근방이 존재한다.
• 시공간 헤시안의 영공간은 짧은 시간 간격 $ (t_0, t_0 + \delta) $ 동안 시간에 따라 매끄럽게 변화하며, $ (x,t) $ 에서 평행하게 유지된다.
• 역볼록성 조건 하에서 도출된 이차형식 $ Q $ 는 음이 아니며, 이는 최대원리 논증에 있어 필수적이다.
• 증명 과정을 통해 $ \sum F^{ij} \phi_{ij} - \phi_t \leq C(\phi + |\nabla_x \phi|) $ 를 확립함으로써, 보조 함수 $ \phi $ 에 대한 최대원리의 타당성을 확인한다.
• 이 결과는 선형 연산자, 헤시안 연산자 $ \sigma_k^{1/k} $, 그리고 이러한 연산자의 볼록이고 감소하지 않는 함수의 복합체를 포함한 광범위한 연산자 클래스에 대해 성립한다.