[논문 리뷰] Localized $L^p$-estimates of eigenfunctions: A note on an article of Hezari and Rivière

Christopher D. Sogge|arXiv (Cornell University)|2015. 03. 25.

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

한 줄 요약

이 논문은 이전 연구에서 얻은 스펙트럼 프로젝터의 $L^p$ 유계성 결과를 유일하게 사용하여, 컴acts Riemannian 다양체 위의 고유함수에 대한 국소화된 $L^p$-추정치의 간소화되고 비-반고전적인 증명을 제시한다. 핵심 결과는 임계 $L^p$-노름($p = 2(n+1)/(n-1)$)이 작은 지오데식 구의 국소 $L^2$-노름에 의해 제어됨을 보여주며, 이는 지오데식 흐름이 에르고딕일 경우 고유값의 밀도 1인 부분수열에 대해 향상된 $L^p$-유계성을 이끌어낸다.

ABSTRACT

We use a straightforward variation on a recent argument of Hezari and Rivière~\cite{HR} to obtain localized $L^p$-estimates for all exponents larger than or equal to the critical exponent $p_c= frac{2(n+1)}{n-1}$. We are able to this directly by just using the $L^{p}$-bounds for spectral projection operators from our much earlier work \cite{Seig}. The localized bounds we obtain here imply, for instance, that, for a density one sequence of eigenvalues on a manifold whose geodesic flow is ergodic, all of the $L^p$, $2

연구 동기 및 목표

• 컴 pact Riemannian 다양체 위의 고유함수에 대한 국소화된 $L^p$-추정치의 직접적이고 비-반고전적인 증명을 제공하는 것.
• 임계 $L^p$-노름($p = 2(n+1)/(n-1)$)이 반경 $r$인 작은 지오데식 구 위의 국소 $L^2$-노름에 의해 제어됨을 보이는 것.
• 지오데식 흐름이 에르고딕할 경우 고유값의 밀도 1인 부분수열에 대해 향상된 $L^p$-유계성을 확립하는 것. 이는 이전의 양자 에르고딕성 결과를 확장하는 것이다.
• 구형 및 음의 곡률을 가진 다양체와 같은 모델 사례에서 이러한 추정치의 날카로움을 분석하고, 기존의 $O(r^{1/2})$ $L^2$-노름 유계성의 개선 조건을 규명하는 것.

제안 방법

• Sogge [12]에서 얻은 스펙트럼 프로젝터 연산자의 $L^p$-유계성 결과를 기본 입력으로 사용하는 것.
• Holder의 부등식을 적용하여 임계 지수 $p_c = 2(n+1)/(n-1)$에서 국소 $L^2$-노름을 지오데식 구 위에서 전역 $L^p$-노름과 연결하는 것.
• 주요 추정치 (1.2) 유도: $\|e_\lambda\|_{L^{p_c}(M)} \leq C \lambda^{(n-1)/(2(n+1))} \left( r^{-(n+1)/4} \sup_x \|e_\lambda\|_{L^2(B_r(x))} \right)^{2/(n+1)}$ for $\lambda^{-1} \leq r \leq \text{Inj }M$.
• 양자 에르고딕성 정리들을 활용하여, 국소 $L^2$-노름이 기존의 $r^{1/2}$ 유계성보다 더 빠르게 감소하는 밀도 1인 고유값 부분수열을 선택하는 것.
• 모델 사례 분석: 구 위의 원추형 및 최고 무게의 구면 조화다항식, 그리고 구와 음의 곡률을 가진 다양체 위의 가우시안 빔.
• 비양의 곡률을 가진 다양체에서 Bérard의 국소 Weyl 법칙 오차 추정치를 사용하여, 척도 $r = \lambda^{-1}$에서 향상된 $L^2$-노름 유계성을 도출하는 것.

실험 결과

연구 질문

• RQ1 임계 지수 $p_c = 2(n+1)/(n-1)$에서 고유함수에 대한 국소화된 $L^p$-추정치를 반고전적 방법 없이 유도할 수 있는가?
• RQ2 다양체와 고유함수에 어떤 조건이 성립할 경우, $\|e_\lambda\|_{L^2(B_r(x))}$의 기존 $O(r^{1/2})$ 유계성이 향상될 수 있는가?
• RQ3 에르고딕 지오데식 흐름을 가진 다양체에서 향상된 국소 $L^2$-유계성이 얼마나 전역 $L^p$-유계성으로 이어지는가?
• RQ4 부정적 곡률을 가진 다양체에서 관측된 $\log\lambda$-향상된 $L^2$-국소화를 활용하여 $L^p$-노름에서 $\lambda^{-\kappa}$ 수준의 향상이 달성될 수 있는가?
• RQ5 $\kappa > 0$ 인 $r(\lambda) = \lambda^{-\kappa}$를 얻을 수 있으며, 이때 $\sup_x \|e_\lambda\|_{L^2(B_{r(\lambda)}(x))} \lesssim r(\lambda)^{n/2}$가 성립하여 향상된 $L^p$-추정치를 이끌 수 있는가?

주요 결과

• 주요 추정치 (1.2)는 반경 $r \in [\lambda^{-1}, \text{Inj }M]$인 지오데식 구 위의 국소 $L^2$-노름에 의해 임계 $L^p$-노름($p = 2(n+1)/(n-1)$)을 날카롭게 제어함을 보여준다.
• 에르고딕 지오데식 흐름을 가진 다양체에서 밀도 1인 고유값 부분수열에 대해, $2 < p \leq \infty$인 $L^p$-노름은 $\|e_{\lambda_{j_k}}\|_{L^p(M)} = o(\lambda_{j_k}^{\sigma(p)})$를 만족하며, 이는 [12]의 일반적 유계성보다 향상된 결과이다.
• 구 위에서는 원추형 및 최고 무게의 구면 조화다항식이 추정치를 달성하여 유 bounds 의 날카로움을 확인한다.
• 음의 곡률을 가진 다양체에서는 Bérard의 향상된 국소 Weyl 법칙이 $r = \lambda^{-1}$에서 $\|e_\lambda\|_{L^2(B_r(x))} \lesssim r^{1/2}/(\log\lambda)^{1/2}$를 유도하며, 이는 $p < \infty$인 경우 $L^p$-추정치에서 $\log\lambda$-향상으로 이어진다.
• 결과적으로 $\|e_\lambda\|_{L^{p_c}(M)} \lesssim (r\lambda)^{(n-1)/(2(n+1))}$임을 의미하며, 국소 $L^2$-유계성을 $r^{n/2}$ 수준으로 향상시킬 경우 $r(\lambda) = \lambda^{-\kappa}$에 대해 $\lambda^{-\kappa(n-1)/(2(n+1))}$의 향상이 가능하다.
• 논문은 $r(\lambda) = \lambda^{-\kappa}$ ($\kappa > 0$)를 달성할 경우 표준 $L^p$-유계성보다 $\lambda^{-\kappa(n-1)/(2(n+1))}$의 향상이 가능함을 보여주며, 이는 아직 열려 있는 문제이다.