형식 대칭을 통한 차분 방정식 차수 감소와 반동축소 인자분해

본 논문은 차분 방정식 \(x_{n+1}=f_{n}(x_{n},x_{n-1},\dots ,x_{n-k})\) 에서 나타나는 형식 대칭(form symmetry)을 일반적인 군 구조 위의 반동축소(semiconjugate) 관계로 정의하고, 이를 이용해 차수 \(k+1\) 의 방정식을 차수가 낮은 두 방정식으로 분해하는 체계적인 방법을 제시한다. 서론에서는 차수 감소가 가능한 간단한 예시로 \(x_{n+1}=x_{n}+g_{n}(x_{n}-x_{n-1})\) 와 비동차 선형 방정식 \(x_{n+1}+p x_{n}+q x_{n-1}=\alpha_{n}\) 를 제시하며, 각각 \(t_{n}=x_{n}-x_{n-1}\) 와 \(t_{n}=x_{n}-q x_{n-1}\) 라는 형식 대칭을 통해 일차 방정식으로 변환되는 과정을 설명한다. 이러한 변환은 원래 방정식과 새로운 방정식 사이에 일대일 대응을 제공한다는 점에서 핵심적인 의미를 가진다. 2절에서는 반동축소의 일반 정의를 제시한다. 군 \(G\) 위의 자기지도 \(F_{n}:G^{k+1}\to G^{k+1}\) 와 낮은 차원의 지도 \(\Phi_{n}:G^{m}\to G^{m}\) 사이에 함수 \(H:G^{k+1}\to G^{m}\) 가 존재하여 \(H\circ F_{n}= \Phi_{n}\circ H\) 를 만족하면 \(F_{n}\) 가 \(\Phi_{n}\) 에 반동축소된다고 한다. 여기서 \(H\) 의 성분 함수 \(h_{j}\) 와 \(\Phi_{n}\) 의 성분 \(\phi_{j,n}\) 를 구체적인 함수 방정식 (11) 형태로 전개한다. 이때 \(H\) 가 차원을 감소시키는 형태가 되도록 제약을 두어 \(h_{1}(u_{0},\dots ,u_{k})=u_{0}\ast h(u_{1},\dots ,u_{k})\) 로 정의하고, 나머지 \(h_{j}\) 들은 (19)식에 따라 재귀적으로 구성한다. 이러한 구조는 원래 방정식의 전개식 \(F_{n}\) 와 새로운 낮은 차원의 전개식 \(\Phi_{n}\) 가 모두 스칼라 형태가 되도록 보장한다. 3절에서는 핵심 정리인 정리 1을 제시한다. \(k\ge1\), \(1\le m\le k\) 일 때, 적절한 함수 \(h\) 와 \(g_{n}\) 가 (15)와 (19)를 만족하면 원래 방정식 (8)은 차수 \(m\) 의 인자 방정식 (20a)와 차수 \(k+1-m\) 의 공동인자 방정식 (20b) 로 동등하게 분해된다. 이때 두 방정식의 차수가 합쳐 원래 차수를 복원한다는 점에서 “type-(m, k+1-m) reduction” 이라고 부른다. 특히 차수 1 인자 방정식이 존재하면 고차 방정식의 전체 동역학을 일차 방정식의 궤적으로 완전히 파악할 수 있다. 또한, 같은 고차 방정식이라도 여러 개의 서로 다른 반동축소가 존재할 수 있어 다양한 형태의 분해가 가능함을 논한다. 4절에서는 두 가지 특수 형태, 즉 \((k,1)\) 와 \((1,k)\) 형태의 차수 감소를 집중적으로 다룬다. \((k,1)\) 형태는 역원 기반의 형식 대칭 \(H(u_{0},\dots ,u_{k})=