[논문 리뷰] Limit transition between hypergeometric functions of type BC and type A

Margit Rösler, Tom H. Koornwinder외 1명|arXiv (Cornell University)|2012. 07. 02.

Advanced Algebra and Geometry참고 문헌 16인용 수 9

한 줄 요약

이 논문은 승수 $k_1 + k_2 \to \infty$ 이면서 $k_1/k_2 \to \infty$일 때, 유형 BC의 헤크만-오픈담 하이퍼지오메트릭 함수에서 유형 A의 함수로의 극한 전이를 확립하며, 이는 무한차원 그라스만 다양체의 원형 함수로 수렴함을 보여준다. 결과는 잭 다항식 전개와 프라그멘-린델뢰프 원리에 기반하여 도출되며, 올샤누스키 원형 쌍과 $\mathbb{R}, \mathbb{C}, \mathbb{H}$ 위의 대칭 공간에 응용된다.

ABSTRACT

Let $F_{BC}(λ,k;t)$ be the Heckman-Opdam hypergeometric function of type BC with multiplicities $k=(k_1,k_2,k_3)$ and weighted half sum $ρ(k)$ of positive roots. We prove that $F_{BC}(λ+ρ(k),k;t)$ converges for $k_1+k_2 o\infty$ and $k_1/k_2 o \infty$ to a function of type A for $t\in\b R^n$ and $λ\in\b C^n$. This limit is obtained from a corresponding result for Jacobi polynomials of type BC, which is proven for a slightly more general limit behavior of the multiplicities, using an explicit representation of Jacobi polynomials in terms of Jack polynomials. Our limits include limit transitions for the spherical functions of non-compact Grassmann manifolds over one of the fields $\mathbb F= \mathbb R, \mathbb C, \mathbb H$ when the rank is fixed and the dimension tends to infinity. The limit functions turn out to be exactly the spherical functions of the corresponding infinite dimensional Grassmann manifold in the sense of Olshanski.

연구 동기 및 목표

• 승수의 특정 점근적 행동 조건 하에서, 헤크만-오픈담 하이퍼지오메트릭 함수의 유형 BC에서 유형 A로의 엄밀한 극한 전이를 확립하기.
• 이 극한을 스펙트럴 매개변수 $\lambda$로 확장하고, 전체 하이퍼지오메트릭 함수 $F_{BC}(\lambda + \rho(k), k; t)$에 대한 수렴 결과를 도출하기.
• 극한 함수가 올샤누스키의 관점에서 무한차원 그라스만 다양체의 원형 함수와 어떻게 연결되는지 밝히기.
• 일반적인 자비에 다항식 결과를 확장하여 명시적 다항식 표현을 사용해 하이퍼지오메트릭 함수 수준까지 확장하기.
• 특히 차원이 증가하고 랭크가 고정된 대칭 공간에 대해, 루트 시스템 하이퍼지오메트릭 이론에서의 극한 전이를 위한 통합된 프레임워크 제공하기.

제안 방법

• 스키와 하이데의 아이디어를 기반으로, 유형 BC의 자비에 다항식을 잭 다항식의 형태로 명시적으로 표현하는 것.
• 프라그멘-린델뢰프 원리를 적용하여 $\lambda$에서의 점별 수렴을 $\mathbb{C}^n$에서의 국소 균일 수렴으로 확장하기.
• 하이퍼지오메트릭 함수에 대한 정밀한 점근 추정치를 활용하여, 옵담과 샤파이라의 이전 추정치를 향상시키기.
• 이 극한을 단위 구 $B_q$ 상의 확률 측도의 약한 수렴으로 환원하며, $n \to \infty$일 때 0에 대한 딜라르 측도로 수렴함을 보이기.
• 대칭 공간의 원형 함수에 대한 곱 공식을 활용하고, 대각 행렬에 제한함으로써 올샤누스키 원형 함수를 식별하기.
• [R]의 보조정리 2.2를 적용하여 행렬 적분을 재작성하고, 원형 함수에 대한 극한 곱 공식 유도하기.

실험 결과

연구 질문

• RQ1 승수 $k_1 + k_2 \to \infty$ 이면서 $k_1/k_2 \to \infty$일 때, 헤크만-오픈담 하이퍼지오메트릭 함수의 유형 BC가 유형 A로 어떻게 수렴하는가?
• RQ2 이 극한 조건 하에서 스펙트럴 매개변수 $\lambda$에 대한 $F_{BC}(\lambda + \rho(k), k; t)$의 정밀한 극한 형태는 무엇인가?
• RQ3 극한 함수는 무한차원 그라스만 다양체의 원형 함수와 어떻게 관련되어 있는가?
• RQ4 자비에 다항식에 대한 극한 전이가 해석적 계속성과 함수 추정치를 통해 전체 하이퍼지오메트릭 함수로 확장될 수 있는가?
• RQ5 잭 다항식 전개가 유형 BC 하이퍼지오메트릭 함수의 점근 분석을 가능하게 하는 역할은 무엇인가?

주요 결과

• 국소 균일 수렴성에 대해 $\lambda \in \mathbb{C}^n$ 에서 다음 극한 전이가 성립한다: $\lim_{k_1 + k_2 \to \infty,\, k_1/k_2 \to \infty} F_{BC}(\lambda + \rho(k), k; t) = \prod_{i=1}^n \left(\cosh^2 \frac{t_i}{2}\right)^{\sum_{i=1}^n \lambda_i / n} \cdot F_A\left(\pi(\lambda) + \rho_A(k_3), k_3; \pi(\log \cosh^2 \frac{t}{2})\right)$.
• 극한 함수는 $\mathbb{F} = \mathbb{R}, \mathbb{C}, \mathbb{H}$ 에 대해 무한차원 그라스만 다양체 $GL(n,\mathbb{F})/U(n,\mathbb{F})$의 원형 함수로 식별되며, 올샤누스키의 프레임워크와 일관된다.
• 승수 $k_1 + k_2 \to \infty$, $k_1/k_2 \to a \in [0, \infty]$ 일 때, 자비에 다항식 $P_\lambda^{BC}(k; t)$의 극한은 $4^{| one|} \cdot j_\lambda^{k_3}(x(t))$로 수렴하며, 여기서 $x_i(t) = \gamma_a + \sinh^2(t_i/2)$ 이고 $\gamma_a = (a+1)/(a+2)$ 이다.
• 유한 랭크 그라스만 다양체 $G_n/K_n$ 상의 원형 함수가 $G_\infty/K_\infty$로 수렴함을 증명하며, 모든 올샤누스키 원형 함수가 이러한 극한으로서 나타남을 보였다.
• 극한 행동이 $n \to \infty$일 때 단위 구 $B_q$ 상에서 측도 $c_n^{-1} \Delta(I - w^*w)^{(n+q)d/2 - \gamma} dw$ 가 $\delta_0$로의 약한 수렴과 동치임을 보였다.
• GL(n,\mathbb{F})/U(n,\mathbb{F})의 원형 함수가 무한차원 극한 공간의 올샤누스키 원형 함수와 이항 대응 관계에 있음을 보였다.