좌표 자유 방식으로 구성된 적분가능 수리학 시스템

본 논문은 Nijenhuis 텐서 토션이 0이고, 고유값이 서로 다며 독립적인 n개의 실함수 λ₁,…,λₙ을 갖는 (1,1)-텐서 L을 출발점으로 삼는다. 이러한 L은 L‑텐서 혹은 특수한 등각 킬링 텐서와 동등한 구조를 가지며, 그 고유값을 Riemann 불변량으로 사용할 수 있다. L의 특성다항식 계수 ρₖ를 이용해 K₁=I, Kᵣ=∑_{k=0}^{r‑1}ρₖ L^{r‑1‑k} (r=2,…,n) 로 정의된 일련의 (1,1)-텐서 Kᵣ를 만든다. Kᵣ는 서로 교환가능하고 역 Kᵣ⁻¹가 존재한다. 이를 이용해 K₁⁻¹ u_{t₁}=K₂⁻¹ u_{t₂}=⋯=Kₙ⁻¹ u_{tₙ} 이라는 시스템을 정의한다. 여기서 u=(u¹,…,uⁿ)ᵀ는 종속 변수, tᵢ는 독립 변수이며, 이 식은 좌표 변환에 대해 공변성을 유지한다. L의 고유값을 좌표로 삼으면 Kᵣ는 대각화되어 Riemann 불변량 형태가 되며, 시스템은 약선형(∂vᵢ/∂λᵢ=0)·반해밀토니안(∂_j(∂vᵢ/∂λ_k)/(v_k‑v_i)=∂_k(∂vᵢ/∂λ_j)/(v_j‑v_i)) 조건을 만족한다는 것이 기존 연구와 일치한다. 이러한 시스템을 “시드 시스템”이라 부른다. 시드 시스템은 무한히 많은 보존법칙을 갖는다. 이를 위해 V^{(k)}_r 라는 기본 가분 가능 포텐셜을 재귀식 V^{(k)}_r=V^{(k‑1)}_{r+1}−ρ_r V^{(k‑1)}_1 (k∈ℤ) 로 정의하고, 초기조건 V^{(0)}_r=−δ_{nr}을 둔다. 이 포텐셜은 k가 양수이면 V^{(k)}_r=ρ_r, k가 음수이면 V^{(k)}_r=ρ_{r‑1}/ρ_n 등으로 전개된다. 보존법칙은 D_{t_i}(V^{(k)}_j)=D_{t_j}(V^{(k)}_i) (i≠j, k∈ℤ) 의 형태로 주어지며, D_{t_i}는 (4)식에 의해 정의된 전미분 연산자이다. 이러한 보존법칙은 좌표 자유적으로 표현될 수 있기 때문에, 이를 기반으로 상호변환을 구성한다. 상호변환은 다음과 같이 정의된다. d \tilde t_s = -∑_{j=1}^n V^{(γ_s)}_j dt_j (s=1,…,k), \tilde t_m = t_m (m≠s) 여기서 γ₁>γ₂>⋯>γ_k>n‑1인 정수 γ_s를 선택한다. 변환의 역은 유사한 형태로 \tilde V^{(·)}를 사용해 표현된다. \tilde V^{(m)}_j는 행렬식 비율을 통해 명시적으로 계산되며, 이는 (13)–(18)식에 제시된 대로 행렬 W와 그 변형을 이용한다. 이 변환을 시드 시스템에 적용하면 새로운 (1,1)-텐서 \tilde K_i 가 생성된다. 구체적으로는 \tilde K_{s_i}= -∑_{j=1}^k \tilde V^{(n‑s_j)}_{s_i} K_{s_j} M^{-1}, (i=1,…,k) \tilde K_m = K_m M^{-1} - ∑_{l=1}^k \tilde V^{(n‑s_l)}_m K_{s_l} M^{-1} (m≠s_i) 와 같은 식으로 정의된다. 여기서 M = -det W_{s₁}/det W이며, W는 V^{(γ)}_s₁,…,V^{(γ)}_s_k 로 구성된 k×k 행렬이다. 반대로 K_i는 \tilde K_i 와 \tilde V^{(·)} 를 이용해 역변환될 수 있다. 새로운 시스템은 \tilde K₁⁻¹ u_{\tilde t₁}=⋯=\tilde Kₙ⁻¹ u_{\tilde tₙ} 의 형태를 가지며, 이는 다시 약선형·반해밀토니안이다. 이는 두 가지 관점에서 확인된다. 첫째, 상호변환이 약선형성을 보존한다는 일반적인 정리(Ferapontov, Prop. 3.2)와 일치한다. 둘째, 변환 후 시스템을 λ_i 고유값 좌표계에 놓으면 \tilde K_i 가 킬링 텐서임을 확인할 수 있다. 따라서 변환 전후 모두 킬링 텐서와 L‑텐서에 의해 정의된 기하학적 구조를 공유한다. 마지막으로, 변환된 시스템을 Riemann 불변량 λ_i 로 표현하면 λ_i \tilde t_r = v_i^{(r)} λ_i \tilde t_s (i=1,…,n) 와 같은 형태가 된다. 여기서 v_i^{(r)}는 Stäckel 행렬 Φ의 행·열 소거식(det Φ_{ir}/det Φ_{i1})에 의해 주어지며, Φ_{ij}(λ_i)는 임의의 함수이다. 일반 해는 Tsarev의 일반화된 호도그래프 방법을 이용해 ∑_{j=1}^n ∫^{λ_j} Φ_{n‑r}^{j}(ξ) φ_j(ξ) dξ = t_r (r=1,…,n) 와 같이 적분 형태로 얻어진다. φ_j는 자유 함수이며, 이 식은 초기값 문제를 완전히 해결한다. 전체적으로 논문은 (1,1)-텐서 L을 중심으로 좌표 자유적인 시드 시스템을 구축하고, 무한 보존법칙을 이용해 새로운 시스템을 생성하는 상호변환 체계를 제시한다. 변환 전후 모두 약선형·반해밀토니안 특성을 유지하며, 일반 해는 Tsarev 방법을 통해 명시적으로 구할 수 있다. 이는 기존에 좌표 의존적으로만 다루어지던 약선형·반해밀토니안 수리학 시스템을 보다 일반적인 기하학적 틀 안에서 이해하고 확장할 수 있는 강력한 도구를 제공한다.