[논문 리뷰] A Remark on the Omori-Yau Maximum Principle

Albert Borbély|arXiv (Cornell University)|2012. 03. 01.

Geometric Analysis and Curvature Flows참고 문헌 2인용 수 12

한 줄 요약

이 논문은 오모리-야우 최대원리의 조건을 개선하여, 완비 리만다이만만이 반경 라플라스 연산자가 함수 $ G(r) $ 에 의해 위에서 유계이면서 $ G \geq 1 $, $ G' \geq 0 $, 그리고 $ \int_0^\infty dt/G(t) = \infty $ 를 만족할 경우 원리가 성립함을 보여준다. 이 조건은 최적임이 입증되었으며, 적분이 수렴하는 경우 반례를 구성함으로써 이를 확인하였다.

ABSTRACT

A Riemannian manifold $M$ is said to satisfy the Omori-Yau maximum principle if for any $C^2$ bounded function $g:M o \Bbb R$ there is a sequence $x_n\in M$, such that $\lim_{n o \infty}g(x_n)=\sup_M g$, $ \lim_{n o \infty}| abla g(x_n)|=0$ and $\limsup_{n o \infty}Δg(x_n)\leq 0$. It is shown that if the Ricci curvature does not approach $-\infty $ too fast the manifold satisfies the Omori-Yau maximum principle. This improves earlier necessary conditions. The given condition is quite optimal.

연구 동기 및 목표

• 완비 리만다이만만이 오모리-야우 최대원리를 만족하기 위한 필요 조건을 개선하는 것.
• 이전의 Ratto-Rigoli-Setti 결과에서 나타난 불필요한 기술적 가정(예: 홀수차수 도함수의 0값 및 limsup 조건)을 제거하는 것.
• 적분 $ \int_0^\infty dt/G(t) = \infty $ 가 최적이 됨을 반례를 구성하여 보여주는 것.
• 라플라스 연산자의 성장률을 제어하는 함수 $ G(t) $ 의 성장률에만 기반한 간결하고 최적의 기준을 제공하는 것.

제안 방법

• 함수 $ F(t) = \exp\left(\int_0^t \frac{1}{G(s)}\,ds\right) $ 를 정의하여, 이는 엄밀히 증가하고 $ t \to \infty $ 일 때 무한으로 발산함을 보장한다.
• 하나의 비교 함수 $ h_\lambda(x) = \lambda F(r(x)) + L - \epsilon $ 를 구성하며, 여기서 $ L = \sup_M g $ 이다. 이는 하위레벨 집합을 통한 최대원리 검증을 위해 사용된다.
• 모든 곳에서 $ h_\lambda > g $ 를 만족하는 파rameter $ \lambda $ 의 하한 $ \lambda_0 $ 를 정의하여, 접촉점 $ x_\epsilon $ 에서 $ h_{\lambda_0}(x_\epsilon) = g(x_\epsilon) $ 가 성립함을 확인한다.
• 이전 연구에서 사용된 표준적 방법을 통해 접촉점 $ x_\epsilon $ 에서 $ h_{\lambda_0} $ 의 미분가능성을 확보한다.
• 함수 $ F' = F/G $, $ F'' \leq F/G^2 $, 그리고 조건 $ \Delta r \leq G(r) $ 를 이용하여 $ \Delta h_{\lambda_0} $ 의 추정치를 유도한다.
• 적분 $ \int_0^\infty dt/G(t) < \infty $ 일 경우, $ H \geq 1/2 $, $ H' \leq H^2 $, 그리고 $ \int dt/H(t) < \infty $ 를 만족하는 함수 $ H $ 를 정의함으로써 반례를 구성한다. 이 경우 $ \Delta h > 1 $ 이 되어 원리가 위반됨을 보인다.

실험 결과

연구 질문

• RQ1 Ratto-Rigoli-Setti 정리에서 나타난 $ G(t) $ 에 대한 기술적 가정을 제거함으로써 오모리-야우 최대원리에 대한 필요 조건를 약화시킬 수 있는가?
• RQ2 오모리-야우 최대원리가 성립하기 위해 조건 $ \int_0^\infty dt/G(t) = \infty $ 가 최적이 되는가?
• RQ3 적분 $ \int_0^\infty dt/G(t) < \infty $ 이지만 $ \Delta r \leq G(r) $ 를 만족하는 경우 오모리-야우 최대원리는 어떻게 되는가?
• RQ4 주어진 $ G \geq 1 $, $ G' \geq 0 $, $ \int dt/G(t) < \infty $ 조건 하에, $ H \geq 1/2 $, $ H' \leq H^2 $, $ 2H \leq G $, 그리고 $ \int dt/H(t) < \infty $ 를 만족하는 함수 $ H $ 를 구성할 수 있는가?
• RQ5 새로운 기준에서 홀수차 도함수 및 limsup 조건이 제거되었을 때, 최대원리의 타당성에 영향을 주는가?

주요 결과

• 완비 리만다이만만에서 $ \Delta r(x) \leq G(r(x)) $ 가 $ r(x) > 1 $ 에서 성립할 경우, $ G \geq 1 $, $ G' \geq 0 $, 그리고 $ \int_0^\infty dt/G(t) = \infty $ 를 만족하면 오모리-야우 최대원리가 성립한다.
• 조건 $ \int_0^\infty dt/G(t) = \infty $ 는 최적이며, 이 적분이 유한할 경우 $ \Delta r \leq G(r) $ 를 만족하는 반례가 존재하여 원리가 실패함을 보였다.
• 반례 구성은 $ H \geq 1/2 $, $ H' \leq H^2 $, $ 2H \leq G $, 그리고 $ \int dt/H(t) < \infty $ 를 만족하는 함수 $ H $ 를 정의함에 기반한다. 이는 정확히 $ \int dt/G(t) < \infty $ 일 때만 가능하다.
• 보조정리의 증명에서 $ H $ 는 $ G/2 $ 를 $ G $ 가 너무 빠르게 증가하는 간격에서 수정하여, $ H' = H^2 $ 를 만족하는 함수 $ 1/(a_n - t) $ 로 대체함으로써 구성된다.
• $ \sum_n (a_n - t_n)^2 - (a_n - v_n)^2 $ 의 합은 $ (2/G(t_1))^2 $ 로 유계이므로, $ \int_B dt/H(t) < \infty $ 가 성립함을 보장하며, 이는 $ 1/H $ 의 적분 가능성 확인에 기여한다.
• Ratto-Rigoli-Setti 정리에 비해 $ d^{2k+1}/dt^{2k+1} \sqrt{G}(0) = 0 $ 과 $ \limsup_{t\to\infty} t\sqrt{G(\sqrt{t})}/\sqrt{G(t)} < \infty $ 등의 조건을 제거함으로써 성능을 향상시켰으며, 이는 불필요한 것으로 밝혀졌다.