[논문 리뷰] Construction of eigenfunctions for the elliptic Ruijsenaars difference operators

Edwin Langmann, Masatoshi Noumi외 1명|arXiv (Cornell University)|2020. 12. 10.

Nonlinear Waves and Solitons참고 문헌 24인용 수 5

한 줄 요약

이 논문은 타원 매개수 $p$ 에 대한 섭동 급수 전개를 통해 타원 Ruijsenaars 차분 연산자의 고유함수를 구성하며, 적절한 도메인에서 절대 수렴을 증명한다. 두 가지 유형의 고유함수를 도입한다: 맥도널드 다항식의 타원적 변형과 점점 자유로운 고유함수로, 후자는 물리적 도메인 $|x_i|=1$, $0<q,t<1$, $p\geq0$ 에서 정규직교 기저를 이룬다. 결과적으로 삼각함수적 맥도널드 이론을 엄밀한 수렴성과 직교성 보장 하에 타원적 경우로 확장한다.

ABSTRACT

We present a perturbative construction of two kinds of eigenfunctions of the commuting family of difference operators defining the elliptic Ruijsenaars system. The first kind corresponds to elliptic deformations of the Macdonald polynomials, and the second kind generalizes asymptotically free eigenfunctions previously constructed in the trigonometric case. We obtain these eigenfunctions as infinite series which, as we show, converge in suitable domains of the variables and parameters. Our results imply that, for the domain where the elliptic Ruijsenaars operators define a relativistic quantum mechanical system, the elliptic deformations of the Macdonald polynomials provide a family of orthogonal functions with respect to the pertinent scalar product.

연구 동기 및 목표

• 삼각함수적 맥도널드 다항식과 점점 자유로운 고유함수를 타원 Ruijsenaars 시스템으로 일반화하기.
• 타원 매개수 $p$ 에 대한 절대 수렴 급수로서 고유함수의 존재를 확립하기.
• 타원적 맥도널드 다항식의 변형이 물리적 스칼라 tích에 대해 직교 체계를 이룬다는 것을 증명하기.
• 타원 Calogero-Moser-Sutherland 시스템에서의 커널 함수 기반 섭동 방법을 Ruijsenaars 경우로 일반화하기.
• 고유함수의 대칭성, 특히 물리적 및 대수적 이중성에 기반한 $p \leftrightarrow q$ 교환 대칭성 탐구하기.

제안 방법

• Ruijsenaars 연산자의 섭동 전개를 사용하여 $p$ 에 대한 형식적 급수로 고유함수를 구성한다.
• 적분 변환을 적용하여 점점 자유로운 도메인 $|x_1| \gg \cdots \gg |x_n| \gg |p x_1|$ 에서 물리적 도메인으로 고유함수를 매핑한다.
• 커널 함수와 적분 변환을 사용하여 서로 다른 도메인의 고유함수를 연결하며, 타원 Calogero-Moser 시스템의 방법을 일반화한다.
• 주어진 도메인에서 고유함수 급수의 절대 수렴성을, 주도 급수 추정을 통해 증명한다. 이 도메인은 물리적 도메인 $|x_i|=1$, $0<q,t<1$, $p\geq0$ 를 포함한다.
• 타원 맥도널드 다항식 $\mathcal{P}_\lambda(x;p|q,t)$ 가 $p \leftrightarrow q$ 에 대해 불변인 가중함수에 의해 정의된 스칼라 tích에 대해 직교한다는 것을 보여준다.
• Ruijsenaars 함수의 대칭성을 분석하여, 기본 상태에서는 $p \leftrightarrow q$ 에 대해 불변임을 보이고, 일반 $\lambda$ 에 대해서는 이를 추측한다.

실험 결과

연구 질문

• RQ1 맥도널드 다항식은 물리적 도메인에서 절대 수렴하는 고유함수로서 타원적 경우로 변형될 수 있는가?
• RQ2 삼각함수적 Ruijsenaars 시스템의 점점 자유로운 고유함수는 섭동 급수를 통해 타원적 설정으로 확장될 수 있는가?
• RQ3 타원적 변형 맥도널드 다항식 $\mathcal{P}_\lambda(x;p|q,t)$ 는 물리적 스칼라 적에 대해 직교하는가?
• RQ4 타원 Ruijsenaars 시스템에서 섭동 고유함수의 절대 수렴 도메인은 무엇인가?
• RQ5 고유함수에 대해 $p \leftrightarrow q$ 대칭성이 존재하는가, 특히 일반적인 $\mathcal{P}_\lambda(x;p|q,t)$ 에서는 어떻게 되는가?

주요 결과

• 타원적 맥도널드 다항식 $\mathcal{P}_\lambda(x;p|q,t)$ 는 $p$ 에 대한 절대 수렴 급수로서 구성되며, $\mathcal{P}_\lambda(x;0|q,t) = P_\lambda(x|q,t)$ 를 만족한다.
• 급수 $\mathcal{P}_\lambda(x;p|q,t)$ 는 물리적 도메인 $|x_i|=1$, $0<q,t<1$, $p\geq0$ 를 포함하는 도메인에서 절대 수렴하며, 이는 잘 정의됨을 보장한다.
• 물리적 도메인에서 $\mathcal{P}_\lambda(x;p|q,t)$ 는 $p \leftrightarrow q$ 에 대해 불변인 가중함수에 의해 정의된 스칼라 적에 대해 정규직교 함수의 집합을 이룬다.
• 점점 자유로운 고유함수는 도메인 $|x_1| \gg \cdots \gg |x_n| \gg |p x_1|$ 에서 수렴하는 급수로서 타원적 경우로 일반화된다.
• 기본 상태 고유함수는 $\mathcal{P}_0(x;p|q,t) = \mathcal{P}_0(x;q|p,t)$ 를 만족하며, 전체 가중치에 대해 $p \leftrightarrow q$ 대칭성의 가능성을 시사한다.
• 저자들은 전체 가중치 $\mathcal{P}_\lambda(x;p|q,t)$ 가 $p \leftrightarrow q$ 에 대해 불변임을 추측하며, 매개수 $\kappa$ 를 가진 관련 함수 $f_{n,\infty}$ 에 대한 추측에 기반한다.