[논문 리뷰] The rational Heun operator and Wilson biorthogonal functions

Satoshi Tsujimoto, Luc Vinet외 1명|arXiv (Cornell University)|2019. 12. 25.

Mathematical functions and polynomials참고 문헌 19인용 수 5

한 줄 요약

이 논문은 아스키-윌슨 격자 위에서 유리 함수의 유형을 $[(n-1)/n]$에서 $[n/(n+1)]$로 높이는 가장 일반적인 두 번째 차수 $q$-차분 연산자인 유리 헤운 연산자를 도입한다. 이 연산자와 열성 루이젠-반 디제인 해밀토니안 $A^{(1)}$ 사이의 직접적인 연결을 수립하고, 클래식한 유리 헤운 연산자를 포함한 일반화된 고유값 문제의 해로 윌슨 비직교 유리 함수 ${}_{10}\text{H}_9$ 가 해결됨을 보여준다.

ABSTRACT

We consider the rational Heun operator defined as the most general second-order $q$-difference operator which sends any rational function of type $[(n-1)/n]$ to a rational function of type $[n/(n+1)]$. We shall take the poles to be located on the Askey-Wilson grid. It is shown that this operator is related to the one-dimensional degeneration of the Ruijsenaars-van Diejen Hamiltonians. The Wilson biorthogonal functions of type ${_{10}}Φ_9$ are found to be solutions of a generalized eigenvalue problem involving rational Heun operators of the special "classical" kind.

연구 동기 및 목표

• 극점이 아스키-윌슨 격자 위에 있는 유리 함수의 차수 상승 성질을 통해 유리 헤운 연산자를 정의하고 특성화하기.
• 유리 헤운 연산자와 루이젠-반 디제인 해밀토니안의 일차원 비퇴화형 $A^{(1)}$ 사이의 연결 고리를 수립하기.
• 클래식한 유리 헤운 연산자를 포함한 일반화된 고유값 문제에 대해 윌슨 비직교 유리 함수 ${}_{10}\text{H}_9$ 가 해임을 식별하기.
• 정규 수학적 다항식을 초월하여 이산 헤운 이론의 범위를 확장하기 위해 $q$-헤운 연산자의 프레임워크를 유리 함수로 확장하기.

제안 방법

• 극점이 아스키-윌슨 격자 위에 있는 유형 $[(n-1)/n]$의 유리 함수에 작용하는 두 번째 차수 $q$-차분 연산자로 유리 헤운 연산자 $W$ 를 정의하기.
• 8개의 매개변수를 사용하여 연산자를 명시적으로 구성하고, 이가 유리 기저 위에서 삼중대각선 작용을 함을 보여주기.
• 연산자 $W$ 가 타케무라의 $A^{(1)}$ 해밀토니안과 단일 $[0/1]$ 유리 함수의 차이를 보이며, 이는 $\tilde{x}_0$ 에서 정해진 극점을 가진다. 이를 통해 $A^{(1)}$ 이 유리 함수 위에서 차수 상승 작용을 하는 것으로 완전히 특성화된다.
• 유리 함수 유형 $[n/n]$ 을 유지하면서 극점 $x_1,\dots,x_n$ 을 $x_2,\dots,x_{n+1}$ 로 이동시키는 '클래식한' 유리 헤운 연산자의 개념을 도입하기.
• 클래식한 헤운 연산자 쌍 $\hat{\mathcal{W}}$ 와 $\hat{\mathcal{Y}}$ 를 포함한 일반화된 고유값 문제(GEVP)를 설정하고, 유리 기저 $\omega_n(x)$ 가 $\hat{\mathcal{W}}$ 에 대해 이중대각선 기저를 이룬다는 것을 보여주기.
• 이중대각선 구조를 활용하여 일반화된 고유값 문제의 명시적 유리 해를 구성하고, 윌슨 비직교 유리 함수 ${}_{10}\Phi_9$ 가 해임을 증명하기.

실험 결과

연구 질문

• RQ1 아스키-윌슨 격자 위에서 유형 $[(n-1)/n]$ 의 유리 함수를 유형 $[n/(n+1)]$ 으로 높이는 가장 일반적인 두 번째 차수 $q$-차분 연산자는 어떻게 정의될 수 있는가?
• RQ2 이 유리 헤운 연산자와 열성 루이젠-반 디제인 해밀토니안 $A^{(1)}$ 사이의 정확한 관계는 무엇인가?
• RQ3 유형 ${}_{10}\Phi_9$ 의 윌슨 비직교 유리 함수가 클래식한 유리 헤운 연산자를 포함한 일반화된 고유값 문제를 해결하는 것으로 보일 수 있는가?
• RQ4 클래식한 유리 헤운 연산자는 유형 $[n/n]$ 을 유지하면서 극점을 어떻게 이동시키며, 이러한 작용을 뒷받침하는 대수적 구조는 무엇인가?
• RQ5 이러한 맥락에서 일반화된 고유값 문제의 명시적 해를 구성하는 데 이중대각선 기저가 수행하는 역할은 무엇인가?

주요 결과

• 유리 헤운 연산자는 아스키-윌슨 격자 위의 극점이 있는 유리 함수에 작용하는 두 번째 차수 $q$-차분 연산자로서 8개의 매개변수를 가지며, 삼중대각선 작용을 한다는 점에서 완전히 특성화된다.
• 연산자 $W$ 가 타케무라의 $A^{(1)}$ 해밀토니안과 단일 $[0/1]$ 유리 함수의 차이를 보이며, 이는 특정한 $\tilde{x}_0$ 에서 극점을 가지므로, $A^{(1)}$ 이 유리 함수 위에서 차수 상승 작용을 하는 것으로 완전히 특성화됨을 보여준다.
• 클래식한 유리 헤운 연산자는 유형 $[n/n]$ 을 유지하면서 극점 $x_1,\dots,x_n$ 을 $x_2,\dots,x_{n+1}$ 로 이동시키며, 이는 유리 기저 $\omega_n(x)$ 에 대해 삼중대각선 작용을 한다.
• 일반화된 고유값 문제 $\hat{\mathcal{W}}R_n(x) = \lambda_n \hat{\mathcal{Y}}R_n(x)$ 는 명시적으로 해결되었으며, $R_n(x)$ 는 윌슨 비직교 유리 함수 ${}_{10}\Phi_9$ 이고, $\hat{\mathcal{W}}$ 의 이중대각선 구조가 유도되었다.
• 클래식한 헤운 연산자 $\hat{\mathcal{W}}$ 의 고유값 $\mu_n$ 과 $\nu_n$ 은 매개변수 $\varepsilon_j$ 로 명시적으로 계산되었으며, 이는 기저 $\omega_n(x)$ 에 대한 이중대각선 작용을 확인한다.
• 일반화된 고유값 문제에서 $\hat{\mathcal{Y}}$ 가 $\hat{\mathcal{W}}$ 에서 매개변수를 $\varepsilon_j \to \delta_j$ 로 대체한 경우에 대해, $\varepsilon_1 = \delta_1$, $\varepsilon_{23456} = \delta_{23456}$ 를 만족할 때, 명시적인 유리 해가 존재하며, 이는 기저 $\omega_n(x)$ 가 $\hat{\mathcal{W}}$ 와 $\hat{\mathcal{Y}}$ 둘 다 공유됨을 보여준다.