[논문 리뷰] Isoperimetric Bounds for Eigenvalues of the Wentzell-Laplace, the Laplacian and a biharmonic Steklov Problem

Feng Du, Jing Mao외 2명|arXiv (Cornell University)|2018. 08. 31.

Advanced Mathematical Modeling in Engineering참고 문헌 20인용 수 3

한 줄 요약

이 논문은 유클리드 공간 또는 하다르드 다양체에서 유계 도메인 위의 웬첼-라플라스 연산자, 닫힌 초표면 위의 라플라스 연산자, 그리고 비조화 스테클로프 문제에 대해 하향 차수 고유값에 대한 등주 부등식을 수립한다. 변분 방법과 미분기하학을 활용하여 부피, 표면적, 평균 곡률을 포함하는 날카운 부등식을 증명하며, 등호가 성립하는 경우는 둥근 구일 때뿐임을 보여주며, 기하적 제약 조건 하에서 고유값 최적화의 강한 정칙성(rigidity)을 드러낸다.

ABSTRACT

In this paper, we prove some isoperimetric bounds for lower order eigenvalues of the Wentzell-Laplace operator on bounded domains of a Euclidean space or a Hadamard manifold, of the Laplacian on closed hypersurfaces of a Euclidean space or a Hadamard manifold, and of a biharmonic Steklov problem on bounded domains of a Euclidean space. Especially, interesting rigidity results can be obtained if sharp bounds were achieved.

연구 동기 및 목표

• 유클리드 공간 또는 하다르드 다양체에서 유계 도메인 위의 웬첼-라플라스 연산자의 첫 번째 양의 고유값에 대한 등주 부등식을 유도하는 것.
• 유클리드 공간 또는 하다르드 다양체에서 닫힌 초표면 위의 라플라스 연산자의 첫 $ n $개의 양의 고유값에 대한 날카운 등주 경계를 설정하는 것.
• 유클리드 공간에서 유계 도메인 위의 비조화 스테클로프 문제의 첫 $ n-1 $개의 양의 고유값에 대한 등주 추정을 구하는 것.
• 이 부등식들에서 등호가 성립하는 경우를 특성화하여, 도메인 또는 초표면이 각각 둥근 공 또는 구일 때에만 등호가 성립함을 증명하는 것.

제안 방법

• 웨틀렐 문제의 고유값을 레일라이히 비율을 통한 변분 특성화를 활용하여 이중형식 $ A_{\beta}(u,u) $ 및 $ B(u,u) $를 포함한다.
• 좌표 함수 $ x_i $를 $ \mathbb{R}^n $ 상에서 시험 함수로 사용하여 고유값을 부피 및 표면적과 같은 기하적 양과 연결한다.
• 초표면에서 $ \sum_{i=1}^n |\nabla x_i|^2 = n $ 및 $ \sum_{i=1}^n (\Delta x_i)^2 = (n-1)^2 |\mathbf{H}|^2 $의 항등식을 활용하여 고유값을 평균 곡률과 연결한다.
• 매개수 $ \delta $를 가진 코시-슈바르츠 부등식과 얀의 부등식을 사용하여 고유값 합과 그 역수의 추정을 한다.
• 고유값과 좌표 함수의 $ L^2 $-노름을 연결하기 위해 $ \lambda_i \int_M x_i^2 \leq \int_M |\nabla x_i|^2 $ 형태의 푸앵카레 유형 부등식을 적용한다.
• 등호가 성립하는 경우에 기하적 제약 조건을 유도하여, 리만 기하학의 정칙성 정리에 의해 등호가 성립하는 경우는 둥근 구 또는 공일 때뿐임을 결론짓는다.

실험 결과

연구 질문

• RQ1 유계 도메인 $ \Omega \subset \mathbb{R}^n $ 에서의 첫 $ n $개의 양의 스테클로프 고유값의 역수 합에 대한 날카운 등주 하한은 무엇인가?
• RQ2 웨틀렐-라플라스 연산자에 대한 등주 고유값 부등식에서 등호가 성립하는 기하적 조건은 무엇인가?
• RQ3 비조화 스테클로프 문제의 첫 $ n-1 $개의 양의 고유값은 경계의 평균 곡률과 기하 측도와 어떻게 관련이 있는가?
• RQ4 닫힌 초표면 위의 라플라스 연산자에 대한 고유값 부등식은 부피와 표면적을 통해 표현될 수 있으며, 언제 날카로운가?
• RQ5 웨틀렐 경계 조건에서 매개수 $ \beta $ 는 등주 고유값 추정의 날카로움을 결정하는 데 어떤 역할을 하는가?

주요 결과

• 유계 도메인 $ \Omega \subset \mathbb{R}^n $ 에서의 스테클로프 문제에 대해, 첫 $ n $개의 양의 고유값의 역수 합은 $ \sum_{i=1}^n \frac{1}{p_i} \geq n \left( \frac{|\Omega|}{\omega_n} \right)^{1/n} $ 를 만족하며, 등호는 $ \Omega $ 가 공일 때에만 성립한다.
• $ \beta \geq 0 $ 인 웬첼-라플라스 고유값 문제에 대해, 첫 $ n $개의 양의 고유값은 $ \sum_{i=1}^n \frac{1}{\lambda_{i,\beta}} \geq \frac{n^2 |\Omega|^2}{|M|^2} $ 를 만족하며, 등호는 $ \Omega $ 가 공일 때에만 성립한다.
• 유계 도메인 $ \Omega \subset \mathbb{R}^n $ 에서의 비조화 스테클로프 문제에 대해, $ \frac{1}{n-1} \sum_{j=1}^{n-1} \lambda_{j,\tau}^{1/2} \leq \frac{ \left( n\tau|\Omega| \int_{\partial\Omega} |\mathbf{H}|^2 \right)^{1/2} }{ |\partial\Omega| } $ 이 성립하며, 등호는 $ \partial\Omega $ 가 둥근 구일 때에만 성립한다.
• 비조화 스테클로프 문제의 등호 경우는 첫 $ n-1 $개의 고유값이 모두 같고, 고유함수들이 $ \Delta x_i = -\delta \sqrt{\lambda_{n,\tau}} x_i $ 를 $ \partial\Omega $ 에서 만족함을 의미하며, 이는 $ \partial\Omega $ 가 구임을 강제한다.
• 고유값 부등식은 날카롭고, 등호는 둥근 공 또는 구일 때에만 성립하며, 스펙트럴 기하학에서 강한 정칙 현상을 보여준다.
• 결과는 하다르드 다양체로 확장되며, 음의 곡률 조건 하에서도 등주 고유값 부등식이 성립함을 보이며, 등호는 이러한 공간에서 지오데식 공일 때에만 성립한다.