[논문 리뷰] Monotonicity of the first eigenvalue of the Laplace and the p-Laplace operators under a forced mean curvature flow

Jing Mao|arXiv (Cornell University)|2013. 10. 21.

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

한 줄 요약

이 논문은 유클리드 공간 내의 컴 pact하고 엄밀히 볼록한 초곡면에서 강제 평균 곡률 흐름 하에서 라플라스 및 p-라플라스 연산자의 첫 번째 고유값의 단조성을 확립한다. 곡률 및 강제 항 제약 조건을 도입함으로써, 강제 계수 $\rho^2 \leq n\kappa(t)$ 를 만족할 경우 첫 번째 고유값이 비증가임을 증명하고, $\sigma^2 \geq n\kappa(t)$ 일 경우 비감소임을 보이며, 리치 흐름을 넘어서는 기하학적 흐름으로 페렐만 유형의 단조성 결과를 확장한다.

ABSTRACT

In this paper, we would like to give an answer to extbf{Problem 1} below issued firstly in [J. Mao, Eigenvalue estimation and some results on finite topological type, Ph.D. thesis, IST-UTL, 2013]. In fact, by imposing some conditions on the mean curvature of the initial hypersurface and the coefficient function of the forcing term of a forced mean curvature flow considered here, we can obtain that the first eigenvalues of the Laplace and the $p$-Laplace operators are monotonic under this flow. Surprisingly, during this process, we get an interesting byproduct, that is, without any complicated constraint, we can give lower bounds for the first nonzero closed eigenvalue of the Laplacian provided additionally the second fundamental form of the initial hypersurface satisfies a pinching condition.

연구 동기 및 목표

• 모우(2013)의 문제 1에서 제기한 기하학적 흐름 하에서 고유값 단조성 문제를 다루기 위해.
• 리치 흐름에 대한 페렐만의 단조성 결과를 강제 항이 있는 평균 곡률 흐름으로 확장하기 위해.
• 라플라스 및 p-라플라스 연산자의 첫 번째 고유값이 흐름 동안 단조성을 유지할 수 있는 조건을 유도하기 위해.
• 두 번째 기본 형식에 대한 피니칭 조건을 도입하여 라플라시안의 첫 번째 비영인 닫힌 고유값에 하한을 설정하기 위해.
• $p=2$가 $p$-라플라시안의 특수 케이스임에도 불구하고, 흐름 매개변수에 따라 $\lambda_1(t)$ 및 $\lambda_{1,p}(t)$ 의 단조성 행동이 다를 수 있음을 보여주기 위해.

제안 방법

• 시간에 따라 변하는 강제 항 $\kappa(t)$ 를 갖는 강제 평균 곡률 흐름 하에서 라플라시안의 첫 번째 고유값 $\lambda_1(t)$ 의 진화를 분석한다.
• 최대 원리와 곡률 추정을 적용하여, 첫 번째 고유함수 $u$ 와 그 기울기 $\nabla u$ 를 사용한 $\lambda_1(t)$ 에 대한 미분 부등식을 유도한다.
• 핵심 진화 부등식을 도출한다: $\frac{d}{dt}\lambda_1(t) \leq 2\lambda_1\left[-\kappa(t) + \left(\frac{1}{n} + \frac{5}{2}\epsilon\right)\rho^2\right]$, 이는 단조성을 결정한다.
• p-라플라시안의 경우, p-에너지 함수 및 p-라플라시안 고유값 $\lambda_{1,p}(t)$ 를 사용한 유사한 접근을 통해 $\frac{d}{dt}\lambda_{1,p}(t) \geq p\lambda_{1,p}\left[-\kappa(t) + \left(\frac{1}{n} - \frac{p+3}{p}\epsilon\right)\sigma^2\right]$ 를 도출한다.
• 두 번째 기본 형식에 대한 피니칭 조건을 도입하여, 추가 곡률 제약 조건 없이도 라플라시안의 첫 번째 비영인 고유값에 하한을 설정한다.
• 리만 적분 가능성을 보장하기 위해 르베그 미분 정리를 사용하여 $\lambda_1(t)$ 와 $\lambda_{1,p}(t)$ 가 거의 모든 곳에서 미분 가능함을 증명하고, 이를 통한 적분 기반 단조성 증명을 가능하게 한다.

실험 결과

연구 질문

• RQ1 강제 평균 곡률 흐름 하에서 라플라시안의 첫 번째 고유값이 어떤 조건에서 단조성을 가지는가?
• RQ2 동일한 흐름 하에서 p-라플라시안의 첫 번째 고유값 단조성은 어떻게 확립할 수 있으며, 라플라시안의 경우와 비교해보면 어떠한가?
• RQ3 강제 항 $\kappa(t)$ 는 고유값의 단조성 방향을 결정하는 데 어떤 역할을 하는가?
• RQ4 두 번째 기본 형식에 대한 피니칭 조건이 주어졌을 때, 추가 곡률 가정 없이도 라플라시안의 첫 번째 비영인 고유값에 하한을 유도할 수 있는가?
• RQ5 고유값 $\lambda_1(t)$ 와 $\lambda_{1,p}(t)$ 의 진화 방정식은 어떻게 다를 수 있으며, 왜 라플라시안 증명이 직접 p-라플라시안 케이스에 적용될 수 없는가?

주요 결과

• 라플라시안의 첫 번째 고유값 $\lambda_1(t)$ 는 $\rho^2 \leq n\kappa(t)$ 를 만족할 경우 강제 평균 곡률 흐름 하에서 비증가이다. 여기서 $\rho^2$ 는 두 번째 기본 형식과 관련된 기하학적 양이다.
• 동일한 흐름 하에서 p-라플라시안의 첫 번째 고유값 $\lambda_{1,p}(t)$ 는 $\sigma^2 \geq n\kappa(t)$ 를 만족할 경우 비감소이다. 여기서 $\sigma^2$ 는 관련된 기하학적 상수이다.
• $\lambda_1(t)$ 가 $p=2$ 에서 $\lambda_{1,p}(t)$ 의 특수 케이스임에도 불구하고, 동일한 가정 하에서 $\lambda_1(t)$ 와 $\lambda_{1,p}(t)$ 의 단조성 행동은 다를 수 있으며, 이는 서로 다른 진화 방정식에 기인한다.
• 두 번째 기본 형식에 대한 피니칭 조건이 만족될 경우, 추가 곡률 제약 조건 없이도 라플라시안의 첫 번째 비영인 닫힌 고유값에 양의 하한이 존재함을 보였다.
• $\lambda_1(t)$ 와 $\lambda_{1,p}(t)$ 는 $[0, T_{\text{m}})$ 의 거의 모든 곳에서 미분 가능하여, 적분 기반 단조성 증명이 가능하다.
• 흐름의 최대 존재 시간 $T_{\text{m}}$ 은 $\Xi = \infty$ 이면 유한하고, $0 < \Xi < \infty$ 또는 $\Xi = 0$ 이면 무한하다. 이는 시간 적분 $\widetilde{T}_{\text{m}} = \int_0^{T_{\text{m}}} \phi^2(s)ds$ 에 영향을 미친다.