다중 고유함수 곱과 다각형 길이의 기하학적 연결

초록

본 논문은 컴팩트 리만 다양체에서 라플라시안 고유함수들의 다중 곱 (\langle e_{i_1}\cdots e_{i_k},e_{i_{k+1}}\rangle) 를 연구한다. 주파수 ((\lambda_{i_1},\dots,\lambda_{i_{k+1}})) 가 평면 ((k+1))-다각형의 변 길이로 실현될 수 있는 경우와 그렇지 않은 경우를 구분하여, 전자는 다각형 구성 공간의 Leray 부피에 비례하는 주요 질량을, 후자는 급격히 감소하는 꼬리 항을 보인다. 주요 정리들은 비정상 위상법, 푸리에 적분 연산자, 그리고 스펙트럴 측정의 컨볼루션을 이용해 증명된다.

상세 분석

이 연구는 라플라시안 고유함수 ({e_j}) 의 다중 곱 (\langle e_{i_1}\cdots e_{i_k},e_{i_{k+1}}\rangle) 를 주파수 변수 (\lambda_{i_j}) 에 대해 평균화한 뒤, 그 (\ell^2)-집중이 어떤 기하학적 구조에 의해 지배되는지를 밝힌다. 핵심 개념은 (k)-good 와 (k)-bad 벡터이다. (\tau=(\tau_1,\dots,\tau_{k+1})) 가 (k)-good이면 (1) 모든 (j) 에 대해 (\tau_j<\sum_{\ell\neq j}\tau_\ell) (다각형 부등식)와 (2) 모든 부호벡터 (\varepsilon\in{\pm1}^{k+1}) 에 대해 (|\varepsilon\cdot\tau|>0) (비퇴화 조건)를 만족한다. 반대로 하나라도 위배하면 (k)-bad이다. 이 정의는 (\tau) 가 실제 평면 ((k+1))-다각형의 변 길이로 구현될 수 있는지를 판정한다.

주요 결과는 두 정리로 나뉜다. 정리 1.2는 (\lambda_{i_{k+1}}) 가 다른 (k)개의 주파수 합보다 ((1+\varepsilon)) 배 크게 초과하는 경우, 즉 ((\lambda_{i_1},\dots,\lambda_{i_{k+1}})) 가 (k)-bad 영역에 있을 때, 해당 내적의 제곱합이 ((\tau_1+\dots+\tau_k)^{-N}) 로 급격히 감소함을 보인다. 증명은 스펙트럴 투사 연산자 (\chi_\lambda) 의 비정상 위상법을 이용해, 위상 (\phi) 의 (x)-미분이 일정한 하한을 갖는다는 사실을 이용해 적분을 여러 번 부분적분함으로써 얻는다.

정리 1.3은 (k)-good 원뿔 (\Gamma) 안에서의 질량 분포를 다룬다. 여기서 정의된 합동 스펙트럴 측정 (\mu=\sum |\langle e_{i_1}\cdots e_{i_k},e_{i_{k+1}}\rangle|^2\delta(\lambda_{i_1},\dots,\lambda_{i_{k+1}})) 를 부드러운 핵 (\rho) 로 컨볼루션한 (\rho*\mu) 가 ((2\pi)^{-kn}\operatorname{vol}M;\operatorname{vol}F^{-1}(\tau)) 로 근사됨을 보인다. 여기서 (F(\xi_1,\dots,\xi_k)=(|\xi_1|,\dots,|\xi_k|,|\xi_1+\dots+\xi_k|)) 이고, (F^{-1}(\tau)) 는 주어진 변 길이 (\tau) 로 닫힌 ((k+1))-다각형을 형성하는 (\xi)-튜플들의 구성 공간이다. 이 구성 공간은 (k)-good 조건 덕분에 매끄러운 콤팩트 다양체이며, 차원은 (d=k(n-1)-1) 이다. 명제 2.1은 이 공간의 Leray 부피가 (\operatorname{vol}F^{-1}(r\tau)=r^{d}\operatorname{vol}F^{-1}(\tau)) 로 스케일링된다는 사실을 증명한다.

증명 전략은 크게 세 단계로 구성된다. (1) 스펙트럴 투사 (\chi_\lambda) 를 푸리에 적분 연산자 형태로 전개해 위상 (\psi(x,y)=d_g(x,y)) 를 도입하고, (2) 비정상 위상법을 통해 (k)-bad 영역에서의 급격한 감소를 얻으며, (3) (k)-good 영역에서는 푸리에 변환을 이용해 (\widehat{\mu}) 를 (F) 의 푸리에 변환과 연결하고, 클린 컴포지션과 반밀도 계산을 통해 주된 기여항을 Leray 부피 형태로 도출한다. 마지막으로, 평면 토러스 예시를 통해 정리 1.2의 주파수 임계값이 본질적으로 최적임을 확인한다.

이러한 결과는 기존의 삼각형( (k=2) ) 경우에 알려진 수론적/자동형 이론과 연결되는 동시에, 다각형( (k\ge3) )으로 일반화함으로써 고유함수 다중 곱의 기하학적 구조를 새롭게 조명한다. 특히, 다각형 구성 공간의 부피가 고유함수 곱의 평균적인 크기를 결정한다는 점은 스펙트럴 이론과 기하학 사이의 깊은 연관성을 보여준다.