[논문 리뷰] Concerning the $L^4$ norms of typical eigenfunctions on compact surfaces

Christopher D. Sogge, Steven Zelditch|arXiv (Cornell University)|2010. 10. 31.

Spectral Theory in Mathematical Physics참고 문헌 17인용 수 17

한 줄 요약

이 논문은 컴act 표면에서 고유함수의 $L^4$ 노름을 조사하며, 개별 고유함수는 $\|e_\lambda\|_{L^4} \lesssim \lambda^{1/8}$에 도달할 수 있지만, 정규직교 기저에서의 평균 $L^4$ 노름은 구면 조화다항식 $S^2$에서 $(\log k)^{1/4}$로 로그적으로만 증가함을 보여준다. 일반적인 조건인 주기적 지측선이 측도 0을 가진다고 가정할 경우, 논문은 고유값의 밀도 1인 부분수열에 대해 $\|e_\lambda\|_{L^4} = o(\lambda^{1/8})$임을 증명하며, 날카운 균일 bound보다 향상된 결과를 도출한다.

ABSTRACT

Let $(M,g)$ be a two-dimensional compact boundaryless Riemannian manifold with Laplacian, $Δ_g$. If $e_λ$ are the associated eigenfunctions of $\sqrt{-Δ_g}$ so that $-Δ_g e_λ= λ^2 e_λ$, then it has been known for some time \cite{soggeest} that $\|e_λ\|_{L^4(M)}\lesssim λ^{1/8}$, assuming that $e_λ$ is normalized to have $L^2$-norm one. This result is sharp in the sense that it cannot be improved on the standard sphere because of highest weight spherical harmonics of degree $k$. On the other hand, we shall show that the average $L^4$ norm of the standard basis for the space ${\mathcal H}_k$ of spherical harmonics of degree $k$ on $S^2$ merely grows like $(\log k)^{1/4}$. We also sketch a proof that the average of $\sum_{j = 1}^{2k + 1} \|e_λ\|_{L^4}^4$ for a random orthonormal basis of ${\mathcal H}_k$ is O(1). We are not able to determine the maximum of this quantity over all orthonormal bases of ${\mathcal H}_k$ or for orthonormal bases of eigenfunctions on other Riemannian manifolds. However, under the assumption that the periodic geodesics in $(M,g)$ are of measure zero, we are able to show that for {\it any} orthonormal basis of eigenfunctions we have that $\|e_{λ_{j_k}}\|_{L^4(M)}=o(λ_{j_k}^{1/8})$ for a density one subsequence of eigenvalues $λ_{j_k}$. This assumption is generic and it is the one in the Duistermaat-Gullemin theorem \cite{dg} which gave related improvements for the error term in the sharp Weyl theorem. The proof of our result uses a recent estimate of the first author \cite{Sokakeya} that gives a necessary and sufficient condition that $\|e_λ\|_{L^4(M)}=o(λ^{1/8})$.

연구 동기 및 목표

• 컴 pact 리만 다성분에서 고유함수의 $L^4$ 노름의 渐近적 행동을 이해하고, 특히 날카운 균일 bound인 \\lambda^{1/8}$과의 비교를 목적으로 한다.
• 정규직교 기저의 고유함수에서 $L^4$ 노름이 최악의 개별 고유함수 노름보다 평균적으로 크게 작을 수 있는지 조사한다.
• 일반적인 기하 조건 하에서 고유값의 밀도 1인 부분수열에 대해 고유함수의 $L^4$ 노름이 $o(\lambda^{1/8})$로 향상될 수 있는지 판단한다.
• 특히 $p=4$에 대해 $L^p$ 추정치를 포화시키는 농도 현상에서 주기적 지측선의 역할을 탐색한다.

제안 방법

• 정규직교 기저에서의 평균 $L^4$ 노름을 연구하기 위해 Weyl 합 $\frac{1}{N(\lambda)}\sum_{\lambda_j \leq \lambda} \|e_{\lambda_j}\|_{L^4}^4$을 사용한다.
• 최근의 필요충분조건 [20]을 적용하여 $\|e_\lambda\|_{L^4} = o(\lambda^{1/8})$이 성립함을 보여주는 조건을 도출한다: $\sup_{\gamma \in \Pi} \int_{\text{dist}(\gamma,y) \leq \lambda^{-1/2}} |e_\lambda(y)|^2 dV \to 0$.
• 구면 조화다항식 $\mathcal{H}_k$의 무작위 정규직교 기저에서의 $L^4$ 노름을 분석하기 위해 $U(2k+1)$ 위의 Haar 측도를 사용하고, 기대값 $\mathbf{E}_k \Lambda_k^4(U)$를 계산한다.
• Weingarten의 공식을 사용하여 $U(2k+1)$ 위의 적분을 계산하고, $L^4$ 기능의 渐近 기대값을 도출하며, 대각선 및 쌍화된 색인 항목에서 주요 기여를 식별한다.
• $\sqrt{2k+1} U_{ij}$가 渐近적으로 i.i.d. 복소 가우시안 분포를 따른다는 사실을 이용하여 $L^4$ 합의 渐近 행동을 유도한다.
• 적절히 분離된 닫힌 지측선 근처에 집중된 가우스 빔을 사용하여 후보 정규직교 기저를 구성하고, 이러한 기저가 표준 기저보다 $L^4$ 노름이 더 클 수 있는지 분석한다.

실험 결과

연구 질문

• RQ1 정규직교 기저의 고유함수에서 $L^4$ 노름이 최악의 경우인 $\lambda^{1/8}$ bound보다 유의미하게 작을 수 있는가?
• RQ2 무작위 정규직교 기저의 고유함수 $\mathcal{H}_k$에서 평균 $L^4$ 노름의 渐近적 증가율은 무엇인가?
• RQ3 일반적인 기하 조건 하에서 고유값의 밀도 1인 부분수열에 대해 고유함수의 $L^4$ 노름이 $\|e_\lambda\|_{L^4} = o(\lambda^{1/8})$를 만족하는가?
• RQ4 여러 개의 닫힌 지측선 근처에 가우스 빔을 사용해 구성한 정규직교 기저가 표준 구면 조화다항식 기저보다 더 높은 $L^4$ 노름을 달성할 수 있는가?

주요 결과

• 무작위 정규직교 기저 $\mathcal{H}_k$에서의 평균 $L^4$ 노름은 $O(1)$이며, 이는 $k$에 대해 네 번째 모멘트 합이 일관되게 유계임을 의미한다.
• 구면 조화다항식 $S^2$의 표준 정규직교 기저에서 $L^4$ 노름은 $(\log k)^{1/4}$로 증가하며, 이는 $\lambda^{1/8}$ bound보다 훨씬 느리게 증가한다.
• 주기적 지측선이 측도 0을 가진다고 가정할 경우, 고유값의 밀도 1인 부분수열에 대해 $\|e_\lambda\|_{L^4} = o(\lambda^{1/8})$가 성립한다.
• 무작위 정규직교 기저에서의 기대 $L^4$ 노름은 渐近적으로 2이며, $k \to \infty$일 때 $\mathbf{E}_k \Lambda_k^4(U) \to 2$임을 의미한다.
• 기대 $L^4$ 노름의 주요 기여는 대각선 항목 ($|Y^k_m|^4$)과 쌍화된 비대각선 항목 ($|Y^k_{m_1}|^2 |Y^k_{m_2}|^2$)에서 비롯되며, 이중 대칭성으로 인해 쌍화된 항목은 두 가지 방식으로 기여한다.
• 여러 개의 닫힌 지측선 근처에 가우스 빔을 사용해 정규직교 기저를 구성하는 것은 더 높은 $L^4$ 노름을 낳을 수 있지만, 지측선들이 충분히 분리되어 있지 않다면 그람-슈미트 과정에 의해 노름이 감소할 수 있다.