[논문 리뷰] Global Calder\'on-Zygmund inequalities on complete Riemannian manifolds

Stefano Pigola|arXiv (Cornell University)|2020. 11. 06.

Geometric Analysis and Curvature Flows참고 문헌 70인용 수 8

한 줄 요약

이 논문은 완전한 리만다이니안 다양체에서 포아송 방정식 $\Delta u = f$ 의 해에 대한 전역 $L^p$-헤시안 추정치를 수립하며, 하향 리치 곡률 하한과 체적 성장 통제와 같은 기하 조건 하에서 $\|\operatorname{Hess}(u)\|_{L^p} \leq C_1\|u\|_{L^p} + C_2\|f\|_{L^p}$ 가 성립함을 증명한다. 이는 심지어 하향 섹션 곡률 하한이 존재하더라도 일반적으로 이러한 추정치가 성립하지 않음을 보여주는 반례를 통해 입증된다. 이 반례는 리만다이니안 다양체의 극한 공간을 통해 유도된다.

ABSTRACT

This paper is a survey of some recent results on the validity and the failure of global $W^{2,p}$ regularity properties of smooth solutions of the Poisson equation $\\Delta u = f$ on a complete Riemannian manifold $(M,g)$. We review different methods developed to obtain a-priori $L^p$-Hessian estimates of the form $\\| \\Hess(u) \\|_{L^p} \\leq C_1 \\| u \\|_{L^p} + C_2 \\| f \\|_{L^p}$ under various geometric conditions on $M$ both in the case of real valued functions and for manifold valued maps. We also present explicit and somewhat implicit counterexamples showing that, in general, this integral inequality may fail to hold even in the presence of a lower sectional curvature bound. The r\\^ole of a gradient estimate of the form $\\| \ abla u \\|_{L^{p}} \\leq C_1 \\| u \\|_{L^p} + C_2 \\| f \\|_{L^p}$, and its connections with the $L^{p}$-Hessian estimate, are also discussed.

연구 동기 및 목표

• 완전한 리만다이니안 다양체에서 포아송 방정식 $\Delta u = f$ 의 해에 대한 전역 $W^{2,p}$ 정규성의 타당성을 조사하는 것.
• 전역적으로 형태 $\|\operatorname{Hess}(u)\|_{L^p} \leq C_1\|u\|_{L^p} + C_2\|f\|_{L^p}$ 의 $L^p$-헤시안 추정치가 성립하는 기하 조건을 규명하는 것.
• 특히 곡률 하한 조건 하에서 이러한 추정치의 장애 요소를 특정하기 위해 명시적인 반례를 구성하는 것.
• $L^p$-기울기 추정치의 역할과 전역 설정에서 헤시안 추정치와의 상호작용을 명확히 하는 것.
• 유럽 공간에서의 고전적 캘러존-지그문트 이론을 일반 리만다이니안 다양체로 확장하고, 局소 추정치에서 전역 추정치로의 전환을 분석하는 것.

제안 방법

• 국소에서 전역으로의 접근을 통해, 정규 좌표를 통한 유클리드 부등식의 이식을 통해 작은 지오데식 볼에서 $L^p$-헤시안 추정치를 유도한다.
• 두 번째 차수의 컷오프 함수와 슈바르츠 공간의 밀도 추론을 활용하여 $C_c^\infty$ 함수에서 $L^p$ 함수로의 전환을 수행한다.
• 함수 해석 기법을 통해 $1 < p \leq 2$ 에서 다각도의 리에즈 변환을 응용하여 $L^p$-헤시안 추정치를 확립한다.
• 제어된 곡률과 체적을 갖는 컴act 리만다이니안 다양체 $M_k$ 의 수열을 구성하고, 극한 공간 기법을 사용하여 극한 공간 $X$ 상에서 비상수 해 $u_\infty$ 를 도출한다.
• 일관된 $L^\infty$-유계성과 리프시츠 함수 $g_k$ 의 점근적 균일 연속성을 이용하여 $g_k$ 가 $g_\infty$ 로 강한 $L^p$ 수렴함을 보장한다.
• 소볼레프 공간에서의 전 compactness 결과와 $L^p$-기울기 추정치를 적용하여 $u_k$ 가 $W^{1,p}(M_k)$ 에서 유계임을 보이고, 이는 전역 헤시안 추정치가 성립한다면 모순이 된다는 것을 유도한다.

실험 결과

연구 질문

• RQ1 완전한 리만다이니안 다양체에서 어떤 기하 조건 하에 포아송 방정식 $\Delta u = f$ 의 해에 대해 전역 $L^p$-헤시안 추정치 $\|\operatorname{Hess}(u)\|_{L^p} \leq C_1\|u\|_{L^p} + C_2\|f\|_{L^p}$ 가 성립하는가?
• RQ2 다양체가 하향 섹션 곡률 하한을 갖는다 해도 전역 캘러존-지그문트 부등식이 실패할 수 있는가?
• RQ3 $L^p$-기울기 추정치는 $L^p$-헤시안 추정치의 타당성에서 어떤 역할을 하는가? 전역 설정에서 이들 사이의 관계는 어떠한가?
• RQ4 고전적 유클리드 공간에서의 캘러존-지그문트 이론은 일반 리만다이니안 다양체로 얼마나 넓게 확장될 수 있는가?
• RQ5 $L^p$-헤시안 추정치를 방해하는 내재된 기하적 장애 요소—곡률 하한을 초월하여—가 존재하는가?

주요 결과

• 포아송 방정식 $\Delta u = f$ 에 대한 전역 $L^p$-헤시안 추정치는 심지어 하향 섹션 곡률 하한이 존재하더라도 일반적으로 성립하지 않는다.
• 균일하게 유계된 곡률과 체적을 갖는 컴팩트 다양체 $M_k$ 의 수열을 사용하여 반례를 구성하였으며, 이 수열은 극한 공간 $X$ 로 수렴한다. 이 경우 $\Delta u_k = g_k$ 의 해 $u_k$ 는 $W^{1,p}$ 에서 유계이지만, $\|\operatorname{Hess}(u_k)\|_{L^p}$ 는 $\|u_k\|_{L^p} + \|f_k\|_{L^p}$ 로 제어될 수 없다.
• 극한 공간 $X$ 상의 극한 함수 $u_\infty$ 는 비상수이며, $\Delta u_\infty = g_\infty$ 를 만족하며, $g_\infty$ 도 비상수이다. 이는 $L^p$-헤시안 노름이 $u_\infty$ 와 $f_\infty$ 의 $L^p$-노름으로 제어될 수 없다는 것을 보여준다.
• 이 구성은 일관된 $L^\infty$-유계성과 $g_k$ 가 $g_\infty$ 로 강한 $L^p$ 수렴함을 보장하는 데 의존하며, $g_k$ 는 일관된 리프시츠 성질과 영균을 갖는다.
• 곡률과 지름 제어 덕분에 $L^p$-기울기 추정치는 일관되게 유계이며, 이는 $\|\nabla u_k\|_{L^p} \leq C_1$ 과 $\|u_k\|_{L^p} \leq C_2$ 를 의미한다. 그러나 헤시안 노름은 여전히 무한히 커질 수 있다.
• 전역 캘러존-지그문트 부등식의 실패는 모순을 통해 입증된다: 만약 추정치가 성립한다면 극한 함수 $u_\infty$ 는 상수여야 하며, 이는 $g_\infty$ 가 비상수라는 사실과 모순된다.