[논문 리뷰] Localized $L^p$-estimates for eigenfunctions: II

Christopher D. Sogge|arXiv (Cornell University)|2016. 10. 21.

Advanced Harmonic Analysis Research참고 문헌 11인용 수 3

한 줄 요약

이 논문은 $n \geq 2$ 차원의 컴act 리만다이안 다양체 위에서 $L^2$-정규화된 고유함수에 대한 향상된 $L^p$-노름 추정치가 성립하기 위한 필요 및 충분 조건을 규명한다. 이러한 향상은 소지의 지오데식 공(반지름 $\lambda^{-1}$) 또는 지오데식선의 튜브형 이웃 영역(반지름 $\lambda^{-1/2}$)에서의 $L^p$ 또는 $L^2$-노름이 보편적 상한에 도달하지 않을 때 정확히 발생한다. 핵심 결과는 반지름 $\lambda^{-1}$의 지오데식 공 또는 반지름 $\lambda^{-1/2}$의 튜브에서 국소화된 노름이 최적화되지 않았고, $t \neq 0$일 때 반파동 연산자에 카우스틱이 존재하지 않을 경우, 향상된 $L^{p_c}$-노름 추정치가 성립한다는 것이다. 이 작업은 $p \neq p_c$에 대해 고유함수의 $L^p$-성장 구조를 완전히 규명하며, $p_c = \frac{2(n+1)}{n-1}$는 임계 지수로 간주된다.

ABSTRACT

If $(M,g)$ is a compact Riemannian manifold of dimension $n\ge 2$ we give necessary and sufficient conditions for improved $L^p(M)$-norms of eigenfunctions for all $2

연구 동기 및 목표

• 모든 $p \neq p_c$에 대해 컴act 리만다이안 다양체 위에서 고유함수에 대한 향상된 $L^p(M)$-노름 추정치가 성립하기 위한 필요 및 충분 조건을 규명하는 것. 여기서 $p_c = \frac{2(n+1)}{n-1}$는 임계 지수이다.
• 국소화된 $L^p$ 또는 $L^2$-노름을 이용해, $\|e_\lambda\|_{L^p(M)} = o(\lambda^{\mu(p)})$가 성립하는지 여부를 분석함으로써 고유함수의 $L^p$-성장 특성을 규명하는 것. 이는 $p > p_c$ 및 $2 < p < p_c$인 경우에 해당하며, 소지의 지오데식 집합에서의 국소화된 노름에 기반한다.
• 모든 $p \in (2,\infty) \setminus \{p_c\}$에 대해 국소화된 $L^p$-향상이 성립하고, 반파동 연산자 $U(t) = e^{-it\sqrt{-\Delta_g}}$가 $t \neq 0$일 때 카우스틱이 존재하지 않는 경우, 향상된 $L^{p_c}(M)$-노름 추정치가 성립함을 보여주어 충분한 기하학적 조건을 규명하는 것.
• 국소화된 노름(반지름 $\lambda^{-1}$-공 또는 반지름 $\lambda^{-1/2}$-튜브)이 포화 상태에 도달할 경우, 향상된 $L^p$-노름 추정치가 실패한다는 점을 규명함으로써 고유함수의 일반적 행동에 대한 이해 격차를 메우는 것.

제안 방법

• 소지의 지오데식 공(반지름 $\lambda^{-1}$)에서의 국소화된 $L^p$ 및 $L^2$-노름을 사용하여, 보편적 상한의 포화 여부를 분석한다. 이는 $p > p_c$에 대해 적용되며, $2 < p < p_c$에 대해서는 단위 길이의 지오데식선 주위의 $\lambda^{-1/2}$-튜브형 이웃 영역에서의 국소화된 노름을 사용한다.
• 최근의 결과 [15]에서 유도된, 소지의 공 위에서 스펙트럴 프로젝터에 대한 균일한 $L^2$-노름 추정치를 활용하며, 헬더 부등식과 식 (37)의 $L^2$-제약 추정치의 쌍대 형태를 결합한다.
• 핵심 기술 도구로는 스펙트럴 프로젝터 $\rho(T(\lambda - P))$와 그에 대응하는 커널을 사용한다. 커널 추정치 (37) 및 (40)는 컴팩트 지지 집합을 가진 푸리에 변환을 갖는 슈와르츠 함수 $|\rho|^2$의 성질로부터 유도된다.
• 레벨 집합을 작은 지름과 양의 간격을 갖는 집합 $A_j$로 분해하고, 체비셰프 부등식과 코시-슈바르츠 부등식을 적용하여, $|\rho(T_\varepsilon(\lambda - P))h(x)| > \alpha$를 만족하는 집합의 측도를 제어함으로써, 추정치 $|A| \leq \varepsilon \lambda \alpha^{-\frac{2(n+1)}{n-1}}$를 도출한다.
• 모순과 측도 이론적 추정치를 활용하여, 국소화된 노름 추정치의 실패가 전역 노름 추정치의 실패를 야기함을 보여, 전역 $L^p$-향상과 국소화된 $L^p$ 또는 $L^2$-향상 간의 동치성을 증명한다.
• 카우스틱의 역할은 반파동 연산자 $U(t)$를 통해 분석되며, $t \neq 0$일 때 카우스틱이 존재하지 않으면, 다른 모든 $p \neq p_c$에 대해 국소화된 향상이 성립할 경우, $L^{p_c}$-노름 추정치가 향상됨을 보여준다.

실험 결과

연구 질문

• RQ1 컴act 리만다이안 다양체 위에서 고유함수에 대한 향상된 $L^p(M)$-노름 추정치가 성립하기 위한 필요 및 충분 조건은 무엇인가? 이는 $p > p_c$일 때 적용된다.
• RQ2 반지름 $\lambda^{-1}$의 지오데식 공에서의 국소화된 $L^p$ 또는 $L^2$-노름은 $p > p_c$일 때 보편적 $L^p$-노름 상한의 포화 여부와 어떻게 관련이 있는가?
• RQ3 반지름 $\lambda^{-1/2}$의 지오데식선 튜브형 이웃 영역은 $2 < p < p_c$일 때 향상된 $L^p$-노름 추정치를 규명하는 데 어떤 역할을 하는가?
• RQ4 다양체의 기하학적 조건이 무엇이면 임계 $L^{p_c}$-노름 추정치가 향상되는가? 이는 다른 모든 $p \neq p_c$에 대한 향상과 관련이 있다.
• RQ5 반파동 연산자 $U(t)$가 $t \neq 0$일 때 카우스틱이 존재하지 않는 것이, 모든 $p \neq p_c$에 대해 국소화된 향상이 성립할 경우, $L^{p_c}(M)$-노름 추정치의 향상에 대해 충분한 조건인가?

주요 결과

• $p > p_c$일 때, $\|e_\lambda\|_{L^p(M)} = o(\lambda^{\mu(p)})$인 향상된 $L^p(M)$-노름 추정치가 성립하는 것은, 반지름 $\lambda^{-1}$의 지오데식 공에서의 국소화된 $L^p$-노름이 최적화되지 않았을 때, 즉 $\sup_x \|e_\lambda\|_{L^p(B_{\lambda^{-1}}(x))} = o(\lambda^{\mu(p)})$일 때 정확히 성립한다.
• $p > p_c$일 때, 향상된 $L^p$-노름 추정치가 성립하려면 반지름 $\lambda^{-1}$-공에서의 $L^2$-노름이 $\sup_x \|e_\lambda\|_{L^2(B_{\lambda^{-1}}(x))} = o(\lambda^{-1/2})$를 만족해야 하며, 이 조건은 $L^p$-향상과 동치이다.
• $2 < p < p_c$일 때, 향상된 $L^p(M)$-노름 추정치는 반지름 $\lambda^{-1/2}$의 튜브형 이웃 영역에서의 국소화된 $L^p$-노름이 최적화되지 않았을 때, 즉 $\sup_{\gamma \in \Pi} \|e_\lambda\|_{L^p(\mathcal{T}_{\lambda^{-1/2}}(\gamma))} = o(\lambda^{\mu(p)})$일 때 성립하며, 이는 $\sup_{\gamma} \|e_\lambda\|_{L^2(\mathcal{T}_{\lambda^{-1/2}}(\gamma))} = o(1)$일 때와도 동치이다.
• 모든 $p \in (2,\infty) \setminus \{p_c\}$에 대해 국소화된 $L^p$-향상이 성립하고, 반파동 연산자 $U(t)$가 $t \neq 0$일 때 카우스틱이 존재하지 않으면, $L^{p_c}(M)$-노름 추정치가 보장되며, 이는 충분한 기하학적 조건을 제공한다.
• 구형 $S^n$은 $p \geq p_c$일 때 극점 주위의 $\lambda^{-1}$-공에서, 그리고 $2 < p \leq p_c$일 때 적도 주위의 $\lambda^{-1/2}$-튜브에서 보편적 $L^p$-노름 상한을 포화시키며, 이는 국소화된 조건의 날카로움을 보여준다.
• 증명은 국소화된 $L^2$-노름(반지름 $\lambda^{-1}$-공 또는 반지름 $\lambda^{-1/2}$-튜브에서)이 보편적 상한을 포화시키지 않으면, 전역 $L^p$-노름이 향상됨을 보이며, 이는 포화가 성립할 경우 향상이 발생하지 않음을 의미하므로 날카로운 성질을 가진다.