[논문 리뷰] On the interplay among maximum principles, compact support principles and Keller-Osserman conditions on manifolds

Bruno Bianchini, Luciano Mari외 2명|arXiv (Cornell University)|2018. 01. 06.

Nonlinear Partial Differential Equations참고 문헌 16인용 수 10

한 줄 요약

이 논문은 리만다양체 위의 양성미분방정식(quasilinear PDEs)에 대해 최대원리, 컴actsupport원리, 리우빌형 정리 등을 규정하는 날카운 기하학적 임계값—곡률과 체적 성장에 기반하여 설정한다. 오모리-요우 유형 원리와 켈러-오스터만 조건을 통해 결과들을 통합하며, 이러한 정량적 성질의 타당성이 다원체 기하학과 비선형 연산자 구조 간의 상호작용에 의해 결정됨을 증명한다. 특히 평균곡률 유형 및 p-라플라스 연산자에 대해 중요한 영향을 미친다.

ABSTRACT

This paper is about the influence of Geometry on the qualitative behaviour of solutions of quasilinear PDEs on Riemannian manifolds. Motivated by examples arising, among others, from the theory of submanifolds, in particular by the study of entire graphs with prescribed mean curvature, we consider classes of coercive differential inequalities of the form $$ \mathrm{div}\left( \frac{φ(| abla u|)}{| abla u|} abla u ight) \ge b(x)f(u) l(| abla u|) \qquad ext{(respectively, $\le$ or $=$)} $$ on domains of a manifold $M$, for suitable $φ,b,f,l$, with emphasis on mean curvature type operators. We investigate the validity of strong maximum principles, compact support principles and Liouville type theorems; in particular, the goal is to identify sharp thresholds, involving curvatures or volume growth of geodesic balls in $M$, to guarantee the above properties under appropriate Keller-Osserman type conditions, and to discuss the geometric reasons behind the existence of such thresholds. The paper also aims to give a unified view of recent results in the literature. The bridge with Geometry is realized by studying the validity of weak and strong maximum principles at infinity, in the spirit of Omori-Yau's Hessian and Laplacian principles and subsequent improvements.

연구 동기 및 목표

• 리만다양체에 대한 기하학적 조건을 규명하여, 양성미분방정식에 대해 강한 최대원리, 컴actsupport원리, 리우빌형 정리의 타당성을 보장한다.
• 곡률, 체적 성장, 비선형 PDE 행동 간의 상호작용을 분석하여 최근 문헌의 결과들을 통합하고 확장한다.
• 켈러-오스터만 유형 조건을 통해 컴actsupport 해와 리우빌 성질의 발생에 대한 날카운 임계값을 설정한다.
• 무한대에서 오모리-요우 헤시안 및 라플라스 원리의 역할이 정량적 해 행동을 어떻게 결정하는지 조사한다.
• p-라플라스 및 평균곡률 유형 연산자와 같은 연산자에 대해 기하학(곡률 및 체적 성장)과 정량적 PDE 성질을 연결하는 종합적인 프레임워크를 제공한다.

제안 방법

• 무한대에서 오모리-요우 최대원리를 활용하여 양성미분부등식의 약한 및 강한 최대원리를 분석한다.
• 반경 방향화 기법과 가짜 거리 함수를 적용하여 PDE 문제를 모델 다원체 위의 반경 방향 상미분방정식에 대한 비교로 환원한다.
• 사전 추정 및 비교 정리(예: 비숍-그로모프 체적 비교)를 활용하여 곡률 경계와 해 행동 간의 관계를 규명한다.
• 켈러-오스터만 조건(KO∞)을 도입하고 분석하여 리우빌형 정리와 컴actsupport 성질에 대해 필요충분조건으로서의 역할을 규명한다.
• 특히 리만 곡률 경계를 모델링하는 상미분방정식의 해를 사용하여 체적 성장에 대한 명시적 점근적 추정을 유도한다. 특히 (m-1)κ²(1+r²)^{α/2} 곡률 하한 경계 하에서.
• 새로운 상미분방정식 보조정리를 적용하여 해의 지지집합을 특정하고, 특히 p-라플라스 연산자에 대해 자르기-지오드레스가 비어있을 경우에도 컴actsupport원리를 증명한다.

실험 결과

연구 질문

• RQ1 리만다양체에 어떤 기하학적 조건이 양성미분방정식의 해에 대해 무한대에서 강한 최대원리의 타당성을 보장하는가?
• RQ2 어떤 곡률 및 체적 성장 조건 하에서 강제성 있는 양성미분부등식의 해에 대해 컴actsupport원리가 성립하는가?
• RQ3 켈러-오스터만 유형 조건은 리우빌형 정리와 컴actsupport 해 존재성과 어떻게 관련되어 있는가?
• RQ4 어떤 방식으로 곡률 경계(예: 리만 곡률)와 체적 성장률이 비자명한 비음수 해의 존재 불가 임계값을 결정하는가?
• RQ5 가짜 거리 함수와 반경 방향화 기법을 어떻게 활용하여 전역 PDE 문제를 모델 공간에서의 상미분방정식 비교로 환원할 수 있는가?

주요 결과

• 강한 최대원리가 무한대에서 성립하는 것은 다원체가 무한대에서 약한 최대원리를 만족할 때이고, 이는 비음수 해에 대한 리우빌 성질과 동치이다.
• 컴actsupport원리는 오직 (KO₀) 조건이 만족될 때에만 성립하며, 반례를 통해 날카로움이 입증된다.
• 리만 곡률이 −(m−1)κ²(1+r²)^{α/2} 이하일 경우, α > −2 이면 lim sup_{r→∞} log vol(B_r)/r^{1+α/2} < ∞ 이고, α = −2 이면 log vol(B_r)/log r ≤ (m−1)κ̄ + 1 이며, 여기서 κ̄ = (1+√(1+4κ²))/2 이다.
• 다원체가 원점을 가지며 리만 곡률이 위의 경계를 만족할 경우, g(0)=0, g'(0)≥1 인 모델 상미분방정식 g'' − κ²(1+t²)^{α/2}g ≥ 0 의 해는 α ≥ 0 이면 g(r) ≍ exp(2κ/(2+α) r^{1+α/2}) 와 같이 행동하고, α ∈ (−2,0) 이면 g(r) ≍ r^{−α/4} exp(2κ/(2+α) r^{1+α/2}) 와 같이 행동한다.
• 리우빌 성질(SL)이 성립하는 것은 오직 (KO∞) 조건이 만족될 때에만이며, 이는 (KO∞)의 실패가 비자명한 비음수 해의 존재를 암시하므로 날카로운 조건이다.
• p-라플라스 및 평균곡률 연산자에 대해 컴actsupport 해의 존재는 동일한 (KO₀) 조건에 의해 규정되며, 자르기-지오드레스가 비어있을 경우에도 두 번째 상미분방정식 보조정리를 통해 지지집합을 특정할 수 있다.