다중 직교 다항식과 2D 토다 계층의 가우스‑보렐 분해

1. 서론에서는 다중 직교 다항식(MOP)의 역사적 배경과 혼합형(Mixed‑type) 정의를 소개한다. 특히, 두 개의 가중치 집합 w¹=(w₁,…,w_{p₁})와 w²=(w̃₁,…,w̃_{p₂})를 이용해 |ν¹|=|ν²|+1인 다중 지수쌍에 대해 선형 시스템을 구성하고, 이 시스템의 해가 항상 존재함을 보인다. 그러나 해의 차원이 1보다 클 경우(비정규 경우) 완전성을 확보하기 위해 추가적인 조건이 필요함을 지적한다. 2. 모멘트 행렬 G는 G_{i,j}=∫ x^{i+j} w¹_a(x) w²_b(x) dμ(x) 형태로 정의되며, 무한 차원의 그램 행렬이다. G에 대한 가우스‑보렐 분해 G=S⁻¹ Ŝ를 수행하면, 하삼각 행렬 S와 상삼각 행렬 Ŝ가 각각 다항식 스트링 P=Sχ와 그 이중 스트링 \(\bar P\)=Ŝ⁻¹χ를 생성한다. 이때 χ=(1,x,x²,…)ᵗ이며, P와 \(\bar P\)는 μ에 대해 상호 직교성을 만족한다: ∫ P_n(x)\(\bar P_m(x)\)dμ=δ_{n,m}. 3. 완전 조합(perfect combinations)의 존재는 M‑Nikishin 시스템을 통해 보장한다. Nikishin 시스템은 연속적인 Cauchy 변환을 이용해 가중치들을 계층적으로 구성하고, 이때 얻어지는 측도들의 지원이 서로 겹치지 않으며, 각 단계에서 정규성(normality)이 유지된다. 이러한 구조는 G가 일반화된 Hankel 대칭성을 갖게 하여, S와 Ŝ가 서로 전치 관계를 갖는 형태를 만든다. 4. 역문제(inverse problem)에서는 주어진 완전 조합으로부터 모멘트 행렬을 재구성하고, 그 행렬이 가우스‑보렐 분해 가능함을 증명한다. 이는 다중 직교 다항식의 존재와 유일성을 보장한다. 5. 가우스‑보렐 분해를 이용해 얻은 P와 \(\bar P\)를 이용해 선형 형태 L_n(x)=∑_{a=1}^{p₁}A_a(x)w¹_a(x)와 그 이중 형태 \(\bar L_n(x)=∑_{b=1}^{p₂}\bar A_b(x)w̃_b(x)\)를 정의한다. 이들 선형 형태는 서로 bi‑orthogonal이며, ∫ L_n(x)\(\bar L_m(x)\)dμ=δ_{n,m}을 만족한다. 6. 두 번째 종류 함수(second‑kind functions) F_n(z)=∫ L_n(x)/(z−x)dμ와 \(\bar F_n(z)=∫ \bar L_n(x)/(z−x)dμ\)를 도입하고, 이들 역시 행렬식 형태로 표현된다. 7. 재귀 관계는 G의 “뱀(snake) 형태” Jacobi 행렬 J=ŜΛŜ⁻¹에서 직접 도출된다. 구체적으로, J는 (p₁+p₂)대각선까지 비대각 원소를 갖는 다중 대각선 행렬이며, P_{n+1}=xP_n−∑_{k=0}^{r-1}a_{n,k}P_{n−k} (r=p₁+p₂) 형태의 재귀식을 제공한다. 이 재귀식은 전통적인 3‑대각 Jacobi 행렬을 일반화한 것이다. 8. ABC 정리는 두 종류의 선형 형태와 그 이중 형태 사이의 관계를 행렬식으로 정리한다. 특히, 부분 모멘트 행렬 G^{