[논문 리뷰] An Extension of Barta's Theorem and Geometric Applications

G. Pacelli Bessa, J. Fábio Montenegro|ArXiv.org|2003. 08. 11.

Geometric Analysis and Curvature Flows참고 문헌 13인용 수 4

한 줄 요약

이 논문은 Barta의 정리를 약간의 미분 가능성이 있는 벡터장이 있는 리만 다양체로 확장하여, $\mathcal{W}^{1,1}$ 벡터장 위에서 $\text{Div}\,X - |X|^2$의 하한을 이용해 기본 주파수 $\lambda^*(M)$에 대한 새로운 하한을 확립한다. 주요 기여는 자르지 않은 단위 구의 측도가 0인 경우에 대해 Cheng의 고유값 비교 정리와 Cheng-Li-Yau의 결과를 일반화한 일반화된 고유값 비교 원리이며, 유클리드 공간 내의 최소 초곡면에 대한 역안정성 정리도 제시한다.

ABSTRACT

We prove an extension of a theorem of Barta then we make few geometric applications. We extend Cheng's lower eigenvalue estimates of normal geodesic balls. We generalize Cheng-Li-Yau eigenvalue estimates of minimal submanifolds of the space forms. We prove an stability theorem for minimal hypersurfaces of the Euclidean space, giving a converse statement of a result of Schoen. Finally we prove a generalization of a result of Kazdan-Kramer about existence of solutions of certain quasi-linear elliptic equations.

연구 동기 및 목표

• 리만 다양체에서 $C^1$를 초월하여 $\mathcal{W}^{1,1}(M)$ 내의 약간의 미분 가능성이 있는 벡터장으로 Barta의 정리를 일반화하여 더 넓은 기하학적 응용을 가능하게 한다.
• 자르지 않은 단위 구의 $(n-1)$-하우스도르프 측도가 0인 경우에 리만 다양체 내의 지오데식 공에 대해 Cheng의 고유값 비교 정리를 확장한다.
• 유클리드 공간 내 최소 초곡면에 대해 Schoen의 정리의 역을 제공하는 안정성 결과를 확립한다.
• 변환을 통해 $\triangle u - |\text{grad}\,u|^2 = F$ 형태로 변환함으로써, Kazdan-Kramer의 준선형 타원형 편미분방정식에 대한 존재 결과를 일반화한다.
• 리만 기하학에서 약한 발산과 소볼레프 공간 기법을 사용하여 스펙트럼 비교 정리를 통합하고 강화한다.

제안 방법

• 테스트 함수로 $C^\infty_0(M)$를 사용하여 국소 $L^1$ 벡터장 $X$에 대해 약한 발산 $\text{Div}\,X$를 부분적 적분을 통해 정의한다.
• $\mathcal{W}^{1,1}(M)$ 공간을 도입하고, $f \in C^1(M)$에 대해 $\text{Div}(fX) = \langle \text{grad}\,f, X \rangle + f\,\text{Div}\,X$라는 항등식을 유도한다.
• 변분 원리와 시험 함수를 사용하여 주요 부등식 $\lambda^*(M) \geq \sup_{\mathcal{W}^{1,1}} \left\{ \inf_M (\text{Div}\,X - |X|^2) \right\}$을 유도한다.
• 지오데식 공에 대해 확장된 Barta 유형 부등식을 적용하기 위해, 반경 벡터장과 자르지의 측도 조건과 관련된 적절한 벡터장을 구성한다.
• 고유값 문제 $\triangle f + Ff = 0$를 $u = -\log f$를 통해 $\triangle u - |\text{grad}\,u|^2 = F$ 형태로 변환함으로써 준선형 편미분방정식에의 적용을 가능하게 한다.
• 스펙트럼 이론과 그린 항등식을 사용하여 무한한 경계 조건을 가진 $\triangle u - |\text{grad}\,u|^2 = F$의 해의 존재성과 비존재성을 분석한다.

실험 결과

연구 질문

• RQ1 Barta의 정리는 $C^1$를 초월하여 약간의 미분 가능성이 있는 벡터장으로까지 확장될 수 있는가?
• RQ2 자르지의 측도가 양수일 경우에 지오데식 공에 대해 Cheng의 고유값 비교 정리가 어떤 기하학적 조건에서 성립하는가?
• RQ3 유클리드 공간 내 최소 초곡면에 대해 Schoen의 안정성 결과의 역이 존재하는가?
• RQ4 무한한 경계 조건을 가진 준선형 편미분방정식 $\triangle u - |\text{grad}\,u|^2 = F$의 해가 존재하기 위한 조건은 무엇인가?
• RQ5 일반화된 Barta 부등식은 공간 형의 최소 부분다양체에서 고유값 추정을 어떻게 개선하는가?

주요 결과

• 기본 주파수 $\lambda^*(M)$는 $\lambda^*(M) \geq \sup_{\mathcal{W}^{1,1}} \left\{ \inf_M (\text{Div}\,X - |X|^2) \right\}$를 만족하며, 이는 Barta의 정리를 약간의 미분 가능성이 있는 벡터장으로 확장한다.
• 자르지의 $(n-1)$-하우스도르프 측도가 0인 지오데식 공 $B_N(p,r)$에 대해 $\lambda^*(B_N(p,r)) \geq \lambda_1(B_{\mathbb{N}^n(c)}(r))$가 성립하며, 이는 Cheng의 결과를 일반화한다.
• 고유값 비교에서 등호가 성립하는 것은 $B_N(p,r)$와 $B_{\mathbb{N}^n(c)}(r)$가 등장하는 것과 동치이다.
• 유클리드 공간 내 최소 초곡면에 대해 안정성 정리가 증명된다: 안정성 연산자의 첫 번째 고유값이 양수이면, 초곡면는 안정하다. 이는 Schoen의 결과의 역을 제공한다.
• 경계에서 $u = +\infty$인 준선형 편미분방정식 $\triangle u - |\text{grad}\,u|^2 = F$의 해는 $\inf_M F \leq \lambda_1(M) \leq \sup_M F$일 때만 존재하며, 등호는 $F$가 상수이면서 $\lambda_1(M)$과 일치할 때에만 성립한다.
• 경계에서 $u = \psi$인 $\triangle u - |\text{grad}\,u|^2 = F$의 해는 $\sup_M F < \lambda_1(M)$일 때 존재하며, 해가 존재하면 $\inf_M F < \lambda_1(M)$이 성립한다.