[논문 리뷰] Eigenvalue estimates for a class of elliptic differential operators in divergence form

José N. V. Gomes, Juliana F. R. Miranda|arXiv (Cornell University)|2016. 06. 30.

Advanced Mathematical Modeling in Engineering참고 문헌 22인용 수 14

한 줄 요약

이 논문은 완전한 리만다이프만다이프만에서 유계 도메인 위의 2차 미분형 타입의 타원형 미분 연산자에 대한 새로운 고유값 추정을 수립한다. 특히 드리프팅 라플라시안에 초점을 맞추고 있으며, 와일의 점점 가까운 공식과 체잉-양의 기법을 확장하여 첫 $k$개 고유값의 평균에 대한 하한을 도출하고, 제2의 양 유형 부등식을 증명함으로써 이전의 구면 및 복소 프로젝티브 공간 결과를 일반화한다.

ABSTRACT

We compute estimates for eigenvalues of a class of linear second-order elliptic differential operators in divergence form (with Dirichlet boundary condition) on a bounded domain in a complete Riemannian manifold. Our estimates are based upon the Weyl's asymptotic formula. As an application, we find a lower bound for the mean of the first k eigenvalues of the drifting Laplacian. In particular, we have extended for this operator a partial solution given by Cheng and Yang for the generalized conjecture of P\'olya. We also derive a second-Yang type inequality due to Chen and Cheng, and other two inequalities which generalize results by Cheng and Yang obtained for a domain in the unit sphere and for a domain in the projective space.

연구 동기 및 목표

• 유계 도메인에서 리만다이프만에서의 드리프팅 라플라시안에 대한 고유값 추정을 이전의 공식인 구면 및 복소 프로젝티브 공간을 넘어서 확장한다.
• 폴리아의 일반화된 추측에 대한 부분적 해결을 일반화하여 드리프팅 라플라시안의 첫 $k$개 고유값의 평균에 대한 하한을 수립한다.
• 체잉과 양의 결과를 일반화하는 제2의 양 유형 부등식과 두 개의 새로운 고유값 부등식을 도출한다.
• 와일의 점점 가까운 공식과 임베딩 다발에서의 기하학적 분석 기법을 사용하여 기존의 고유값 추정을 통합하고 확장한다.
• 수정된 고유값 기능을 통해 곡률, 평균 곡률 및 가중치 기울기 항을 포함하는 날카운 수량적 추정을 제공한다.

제안 방법

• 유계 도메인 $\Omega \subset M$ 위에서 타원형 연산자 $L = \text{div}(T(\nabla u)) - \langle \nabla \eta, T(\nabla u) \rangle$ 의 고유값 추정을 유도한다.
• 와일의 점점 가까운 공식을 적용하여 $k$-번째 고유값을 체적 및 차원과 같은 기하학적 불변량과 연결한다.
• 곡률 및 포텐셜 항을 흠모하기 위해 수정된 고유값 $\upsilon_i = \lambda_i + \frac{n^2 H_0^2 + \eta_0^2 + 2\bar{\eta}_0}{4}$ 를 도입한다.
• 측도 $dm = e^{-\eta} dM$ 를 가진 가중치 다발의 발산 정리를 사용하여 $\eta$-발산 구조를 다룬다.
• 힐버트-슈미트 노름과 트레이스 부등식을 사용하여 연산자의 내재 기하학을 통해 고유값 간격을 제한한다.
• 고유값 $\upsilon_{k+1}$ 에 대한 이차 다항식 부등식을 적용하여 첫 $k$개 고유값에 대한 $(k+1)$-번째 고유값의 추정을 유도한다.

실험 결과

연구 질문

• RQ1 드리프팅 라플라시안에 대한 고유값 추정은 단위 구면과 복소 프로젝티브 공간을 초월하여 확장될 수 있는가?
• RQ2 리만다이프만에서 유계 도메인 위의 드리프팅 라플라시안에 대한 첫 $k$개 고유값의 평균에 대한 날카운 하한은 무엇인가?
• RQ3 와일의 점점 가까운 공식을 사용하여 제2의 양 유형 부등식을 드리프팅 라플라시안에 대해 일반화할 수 있는가?
• RQ4 평균 곡률 $H_0$ 과 가중치 기울기 $\eta_0$ 는 임베딩 다발의 고유값 추정에서 어떤 역할을 하는가?
• RQ5 고유값 간격 $\upsilon_{k+1} - \upsilon_k$ 는 첫 $k$개 고유값의 분산과 평균에 대해 제한될 수 있는가?

주요 결과

• 논문은 첫 $k$개 고유값의 평균에 대한 하한을 증명한다: $\frac{1}{k} \sum_{i=1}^k \upsilon_i \geq \frac{n}{\sqrt{(n+2)(n+4)}} \cdot \frac{4\pi^2}{(\omega_n \text{vol} \, \Omega)^{2/n}}$.
• 제2의 양 유형 부등식이 수립된다: $\upsilon_{k+1} \leq \frac{1}{k} \left(1 + \frac{4}{n}\right) \sum_{i=1}^k \upsilon_i$.
• 두 개의 새로운 부등식은 체잉과 양의 결과를 일반화한다: $\upsilon_{k+1} \leq \frac{1}{k} \left(1 + \frac{2}{n}\right) \sum_{i=1}^k \upsilon_i + \sqrt{ \left( \frac{2}{kn} \sum_{i=1}^k \upsilon_i \right)^2 - \frac{1}{k} \left(1 + \frac{4}{n}\right) \sum_{j=1}^k \left( \upsigma_j - \frac{1}{k} \sum_{i=1}^k \upsilon_i \right)^2 }$.
• 고유값 간격은 다음을 만족한다: $\upsilon_{k+1} - \upsilon_k \leq 2 \sqrt{ \left( \frac{2}{kn} \sum_{i=1}^k \upsilon_i \right)^2 - \frac{1}{k} \left(1 + \frac{4}{n}\right) \sum_{j=1}^k \left( \upsilon_j - \frac{1}{k} \sum_{i=1}^k \upsilon_i \right)^2 }$.
• 와일의 공식을 통한 고유값의 점점 가까운 행동이 확인되며, $\lim_{k \to \infty} \frac{1}{k} \sum_{i=1}^k \upsilon_i / k^{2/n} = \frac{n}{(n+2)} \cdot \frac{4\pi^2}{(\omega_n \text{vol} \, \Omega)^{2/n}}$ 를 보여준다.
• 결과는 날카로운 것으로, 공간 형상에서의 극한에서 등호가 성립하며, $S^n$ 과 $\mathbb{C}P^n$ 에서의 알려진 경우와 일관된다.