다르부외 적분 가능한 반이산 연쇄의 완전 분류

본 논문은 반이산 연쇄 \(t_{x}(n+1)=f(t(n),t(n+1),t_{x}(n))\) 에 대한 다르부외 적분 가능성을 체계적으로 연구한다. 먼저, 다르부외 적분성을 “\(x\)-적분 \(F\)와 \(n\)-적분 \(I\)가 존재한다”는 정의로 명확히 하고, 이를 두 특성 리 대수 \(L_{n}\)와 \(L_{x}\)의 유한 차원성으로 전환한다. \(L_{n}\)는 이동 연산자 \(D\)와 편미분 연산자 \(\partial/\partial t_{k}\)를 이용해 생성된 무한 벡터장 \(\{Y_{j},X_{j}\}\) 로 구성되며, \(L_{x}\)는 전체 미분 연산자 \(K_{0}\)와 \(\partial/\partial t_{x}\) 로부터 만든다. 정리 1, 2는 각각 “\(L_{n}\)가 유한 차원이면 비자명한 \(n\)-적분이 존재한다”, “\(L_{x}\)가 유한 차원이면 비자명한 \(x\)-적분이 존재한다”는 것을 증명한다. 연구의 핵심은 \(f\)가 \(z+d(x,y)\) 형식, 즉 \(t_{x}(n+1)=t_{x}(n)+d(t(n),t(n+1))\) 인 경우에 초점을 맞춘다. 이 경우 \(L_{x}\)는 두 부분 대수 \(\widetilde X\)와 \(Y\) 의 직접합으로 분해된다. \(\widetilde X\)는 모든 시프트에 대한 합 \(\partial/\partial t_{k}\) 로 정의되고, \(Y\)는 차이식 \(d\)와 그 시프트들의 선형 결합으로 구성된다. 저자들은 \(\widetilde Y_{1}=