[논문 리뷰] Whittaker functions on orthogonal groups of odd degree

Taku Ishii|arXiv (Cornell University)|2011. 02. 11.

Advanced Algebra and Geometry참고 문헌 12인용 수 4

한 줄 요약

이 논문은 $SO_{2n+1}(\bbR)$ 위에서의 계수 1 월리커 함수에 대해 명시적인 재귀 공식을 제공하며, $SL_n(\bbR)$에 대한 스테이드의 작업을 일반화한다. 멜린-바네스 적분 표현과 기본 월리커 함수를 통한 재귀 분해를 이용하여, $SO_{2n+1}(\bbR)$ 위의 월리커 함수의 멜린 변환과 $SO_{2n-1}(\bbR)$ 위의 월리커 함수의 멜린 변환을 연결하는 다중 적분 변환 공식을 유도한다. 이는 자명한 $L$-인자 계산에 강력한 도구를 제공한다.

ABSTRACT

We give explicit formulas for Whittaker functions for the class one principal series representations of the orthogonal groups $ SO_{2n+1}(\R) $ of odd degree. Our formulas are similar to the recursive formulas for Whittaker functions on $SL_n(\R)$ given by Stade and the author \cite{ISt}. Some parts of our results are announced in \cite{I3}.

연구 동기 및 목표

• SL_n(\bbR)에 대한 알려진 결과를 확장하여, $SO_{2n+1}(\bbR)$ 위의 계수 1 월리커 함수에 대한 명시적 공식을 도출하는 것.
• Stade의 $SL_n(\bbR)$에 대한 재귀 공식과 유사하게, $SO_{2n+1}(\bbR)$와 $SO_{2n-1}(\bbR)$ 위의 월리커 함수를 연결하는 재귀적 구조를 제공하는 것.
• 다중 멜린 변환에 대한 멜린-바네스 유형의 적분 표현을 확립하여, 해석적 수론 응용을 촉진하는 것.
• 자코프의 적분 표현의 한계를 극복하기 위해 이를 더 계산에 적합한 재귀 형태로 변환하는 것.

제안 방법

• n에 대한 귀납법을 사용하여, $SO_{2n+1}(\bbR)$ 위의 월리커 함수의 멜린-바네스 변환 $T_\nu^n(s)$에 대한 재귀 공식을 유도한다.
• 멜린 역변환 공식과 수정 베타 함수 $K_{2\nu_n}(z)$의 알려진 적분 표현을 활용하여 월리커 함수를 낮은 랭크 성분으로 분해한다.
• u_i-매개변수를 포함한 변수 변경을 도입하여 n차원 적분을 u_i와 y_i에 대한 중첩된 적분으로 분리한다.
• 항등식 $\int_0^\infty (1+u)^{-(x+y)} u^y \frac{du}{u} = \frac{\Gamma(x)\Gamma(y)}{\Gamma(x+y)}$ 를 사용하여 u_i-적분을 평가하고 감마 함수 비율을 도출한다.
• 계수 1 월리커 함수의 하시즈메 전개 공식과 기본 월리커 함수의 재귀적 구조에 기반하여 $T_\nu^n(s)$ 를 $T_{\tilde{\nu}}^{n-1}(-t_1,\dots,-t_{n-1})$ 와 연결한다.
• 복소 매개변수 $s_j$와 $t_j$의 수렴 조건을 실수 부분 $\tau_j$를 통해 설정하여 다중 윤곽 적분의 해석적 성질을 보장한다.

실험 결과

연구 질문

• RQ1 SL_n(\bbR)에 대한 스테이드의 재귀적 구조를 모방하는 $SO_{2n+1}(\bbR)$ 위의 월리커 함수에 대한 재귀 공식을 구성할 수 있는가?
• RQ2 월리커 함수의 자코프 적분 표현을 더 나은 해석적 제어를 가능하게 하는 멜린-바네스 유형의 적분으로 변환할 수 있는가?
• RQ3 SO_{2n+1}(\bbR) 위의 계수 1 월리커 함수의 다중 멜린 변환 $T_\nu^n(s)$ 의 정확한 형태는 무엇이며, 낮은 랭크 변환과 어떻게 관련되는가?
• RQ4 재귀 적분 공식의 타당성을 보장하기 위한 복소 매개변수 $s_j$와 $t_j$의 수렴 조건은 무엇인가?

주요 결과

• 논문은 $n \geq 2$ 인 경우에 대해 $SO_{2n+1}(\bbR)$ 위의 계수 1 월리커 함수의 다중 멜린 변환 $T_\nu^n(s)$ 에 대한 재귀 멜린-바네스 적분 공식을 확립한다.
• 재귀 공식은 $T_\nu^n(s)$ 를 $n-1$ 개의 복소 변수 $t_i$ 에 대한 다중 윤곽 적분으로 표현하며, 감마 함수의 곱과 낮은 랭크 변환 $T_{\tilde{\nu}}^{n-1}(-t_1,\dots,-t_{n-1})$ 를 포함한다.
• 수렴 영역 $\Omega$ 는 $\tau_j$와 $\eta_j$ 에 대한 조건으로 정의되며, $s_j$ 의 실수 부분이 $\nu_n$ 과 $\tau_{j-1}$ 에 의해 유도된 특정 경계를 초과하도록 보장한다.
• n=1 인 경우 공식은 $T_\nu^1(s) = 2^{-1}\Gamma(s_1 + \nu_1)\Gamma(s_1 - \nu_1)$ 로 간소화되며, 이는 알려진 $K$-베셀 함수의 멜린 변환과 일致한다.
• 유도 과정은 월리커 함수의 멜린 역변환과 $K_{2\nu_n}(z)$ 의 적분 표현에 기반하며, 이는 $u_i$-적분을 통한 재귀적 분해를 가능하게 한다.
• 직접 자코프 적분을 평가하는 대신 멜린-바네스 형태와의 히우리스틱 유사성에 기반하여, 더 깔끔한 재귀적 구조를 도출한다.