시간 의존형 대칭을 이용한 차분 방정식 분해와 비자율 선형 방정식 적용

본 논문은 차분 방정식의 고차식을 두 개의 저차식으로 분해하는 반동축(SC) 팩터화 기법을 시간 의존형 형태 대칭을 도입함으로써 일반화한다. 1. **배경 및 문제 제기** 차분 방정식 \(x_{n+1}=f_n(x_n,\dots ,x_{n-k})\) 은 군 \(G\) 위에서 정의되며, 기존 연구에서는 형태 대칭 \(H\) 가 시간에 무관하게 고정된 경우에만 반동축 관계 \(H\circ F_n=\Phi_n\circ H\) 를 이용해 차원을 감소시켰다. 그러나 이 가정은 가변 계수를 갖는 비자율 방정식, 특히 가변 계수 선형 방정식에 적용되지 못한다. 2. **시간 의존형 형태 대칭 정의** 저자는 \(H_n:G^{k+1}\to G^{m}\) ( \(1\le m\le k\) ) 를 시간에 따라 달라지는 일련의 전사 사상으로 정의하고, 식 (6) \(H_{n+1}\circ F_n=\Phi_n\circ H_n\) 를 만족하도록 구성한다. 이때 \(H_n\) 가 시간에 독립적이면 기존 정의와 일치한다. 3. **주요 정리와 보조 정리** - *Lemma 2* 는 특정 형태의 \(H_n\) (식 (8)) 가 전사임을 보이고, 이를 이용해 원 방정식이 두 개의 방정식 (9)·(10) 으로 정확히 동등함을 증명한다. 여기서 (9) 은 “팩터 방정식”, (10) 은 “코팩터 방정식”이다. - *Theorem 2* 는 위 두 방정식이 삼각 시스템을 이루며, 팩터 방정식은 독립적으로 풀 수 있고 그 해를 이용해 코팩터 방정식의 해를 재구성할 수 있음을 제시한다. 4. **가역 지도 기준** 시간 의존형 가역 지도 \(h_n:G\to G\) 가 존재할 경우, *Theorem 4* (시간 의존형 가역 지도 기준) 를 통해 형태 대칭 존재 여부를 판단할 수 있다. 핵심은 식 (19)‑(20) 에서 보이는 조합이 초기값 \(u_0\) 에 독립적인지 여부이다. 이 조건이 만족되면 \(\phi_n\) 가 명시적으로 정의되고, 반동축 팩터화가 성립한다. 5. **선형 형태 대칭과 고유수열** 선형 경우 \(h_n(u)=-\alpha_n^{-1}u\) 로 두어 형태 대칭을 정의한다. 여기서 \(\{\alpha_n\}\subset F\setminus\{0\}\) 는 “고유수열”이라 불리며, *Corollary 6* 은 \(\alpha_n\) 가 존재하려면 식 (25) 가 모든 \(u_0\) 에 대해 독립적이어야 함을 보여준다. 이 조건은 실제로 가변 계수를 갖는 비자율 선형 차분 방정식이 저차 Riccati 방정식(고유수열을 만족하는) 으로 환원될 수 있음을 의미한다. 6. **예시** 논문은 비선형 3차 방정식 (26) 에서도 선형 형태 대칭이 존재함을 시연한다. 이를 통해 비자율 비선형 방정식에서도 동일한 팩터화 절차가 적용될 수 있음을 확인한다. 7. **의의와 전망** 시간 의존형 형태 대칭을 도입함으로써 기존에 다루기 어려웠던 비자율, 비동질 차분 방정식들을 포함한 넓은 클래스에 대해 차원 감소와 구조적 해석이 가능해졌다. 특히 가변 계수 선형 방정식이 고유수열을 통해 Riccati 방정식과 연결되는 점은 해의 존재와 안정성 분석에 새로운 도구를 제공한다. 향후 연구에서는 다중 차원 군, 비선형 대칭, 그리고 수치적 구현을 통한 실제 모델링 적용이 기대된다.