변형 루이잔스 모델의 소스 항등식과 커널 함수

초록

본 논문은 루이잔스가 제시한 Aₙ₋₁ 양자 Calogero‑Sutherland 모델의 상대론적 일반화(유리·삼각·쌍곡·타원형)에서, 일반화된 차분 연산자들의 공통 고유함수를 정확히 구하고 이를 이용해 다양한 커널 함수와 그 변형을 도출한다. 특히, Chalykh‑Feigin‑Veselov‑Sergeev형 변형에 대한 새로운 커널 함수를 제시하고, 타원형 경우에는 균형 조건을 필요로 함을 밝힌다.

상세 분석

논문은 먼저 Ruijsenaars가 정의한 분석적 차분 연산자 S⁺ₙ, S⁻ₙ을 일반화하여 매개변수 mₖ∈Λ={m₀,−m₀,−1/g·m₀,1/g·m₀}를 도입한다. 이때 s(x) 함수는 네 가지 경우(유리, 삼각, 쌍곡, 타원)마다 서로 다른 형태를 갖으며, 타원형에서는 Weierstrass σ함수와 연관된다. 핵심은 공통 고유함수 Φ(X;m)=∏_{j<k}φ(X_j−X_k;m_j,m_k) 를 구성하는데, φ는 G함수와 s함수의 조합으로 정의된다. G(x;α)는 (10)식 G(x+iα/2)G(x−iα/2)=c·s(x) 를 만족하는 함수이며, 예를 들어 유리형에서는 Γ(½+x/iα) 로 표현된다. 중요한 정리 1.1은 S⁺ₙ(X;m)−s(i g β∑m_j)i g β s′(0) 가 Φ에 작용하면 0이 된다는 것을 증명한다. 여기서 타원형은 ∑m_j=0이라는 균형 조건이 필요하고, 이는 Lemma 2.1의 결과와 직접 연결된다. 논문은 Lemma 2.2를 통해 두 개의 차분 방정식 (18)을 동시에 만족하는 해를 G함수의 곱 형태로 구성함을 보이며, 이를 이용해 φ의 구체적 형태(9)를 도출한다. 각 경우(m,m′)=(m,m), (m,−m), (m,1/g·m), (m,−1/g·m)마다 ξ±(m) 를 적절히 선택해 조건을 만족시키고, 결국 모든 경우에 대해 동일한 구조의 φ가 존재함을 확인한다. 이후 Corollary 3.1‑3.7에서는 위의 Φ를 이용해 다양한 커널 함수 식을 제시하고, 특히 Chalykh‑Feigin‑Veselov‑Sergeev형 변형 연산자에 대한 새로운 커널 함수를 얻는다. 마지막으로 비상대론적 한계(g→0, β→0)와 기존 문헌(특히