구면 위 콜모고로프 시스템의 다르부 첫 적분과 완전 적분성 연구

초록

본 논문은 표준 n-구면을 불변면으로 갖는 다항 콜모고로프 벡터장들을 전면적으로 규명하고, 특히 차수 m≥3인 경우의 완전 적분 가능성을 보이며, 차수 3인 경우에는 해밀토니안 구조가 존재하지 않음을 증명한다. 또한, 다르부 이론을 이용해 3차 콜모고로프 벡터장의 첫 적분 존재 조건을 제시하고, 그 충분·필요조건을 다수 경우에 대해 완전하게 파악한다.

상세 분석

논문은 먼저 R^{n+1}에서 정의된 다항 콜모고로프 시스템 d x_i/dt = x_i Q_i(x) (i=1,…,n+1) 에 대해, 구면 S^n={∑{k=1}^{n+1}x_k^2=1}이 불변집합이 되기 위한 필요충분조건을 정리한다. 이를 위해 벡터장 χ=(P_1,…,P{n+1})의 각 성분을 P_i = x_i\bigl( f_i +\sum_{j=1}^{n+1}A_{ij}x_j^2\bigr) 형태로 표현하고, 여기서 f_i와 A_{ij}는 차수가 ≤m−3인 다항식이며 A는 반대칭 행렬임을 보인다(정리 1.1). 이 구조는 구면 위에서의 Kolmogorov 벡터장이 반드시 x_i를 인수로 갖는다는 사실과, 전체 코팩터가 −2∑_{i}f_i x_i^2 로 표현될 수 있음을 의미한다.

다음으로 차수가 3인(즉, cubic) 경우를 집중적으로 분석한다. 정리 1.2는 차수가 3인 Kolmogorov 벡터장이 짝수 차원의 구면 S^{2n-1}에서는 해밀토니안 형태를 가질 수 없음을 증명한다. 이는 해밀토니안 조건 ∂P_{2i-1}/∂x_{2i-1}+∂P_{2i}/∂x_{2i}=0을 적용했을 때, α_{2i-1}+α_{2i}=0, A_{2i-1,2i}=2α_{2i-1} 등 일련의 대수적 제약이 발생하지만, 반대칭 행렬 A의 구조와 모순을 이루어 해가 존재하지 않음을 보여준다.

다르부 이론을 활용한 첫 적분의 존재조건도 상세히 제시한다. 정리 3.2에 따르면, f_i가 상수(또는 차수 ≤0)이고, 반대칭 행렬 \tilde A가 상수일 때, \tilde A y =0을 만족하는 비영 영벡터 y와 \tilde f_i와의 선형 결합이 0이 되는 경우 H=∑_{i=1}^{n+1} y_i x_i 가 첫 적분이 된다. 이는 다항 Kolmogorov 벡터장이 갖는 불변 초평면 x_i=0의 코팩터와 \tilde A의 반대칭성 사이의 내적이 소거되는 구조적 특성을 이용한다.

정리 3.4는 임의의 차수 m≥3에 대해 완전 적분 가능한 Kolmogorov 벡터장을 명시적으로 구성한다. 구체적으로 \tilde A를 차수 m−3인 다항식으로 잡고, P_1= \tilde A x_1 x_2^2, P_2= -\tilde A x_2 x_1^2, 나머지는 0으로 두면, f_1=∑ x_i^2−1 과 x_j (j≥3) 가 서로 독립적인 첫 적분이 되어 (n−1)개의 독립 적분을 제공, 따라서 완전 적분성을 만족한다.

마지막으로, 다중 불변 구면이 존재할 경우 벡터장이 동차이며, 구면을 정의하는 다항식 자체가 첫 적분이 됨을 정리 4.3에서 증명한다. 정리 1.4는 보다 일반적인 3차 Kolmogorov 벡터장이 추가적인 불변 초곡면 g_{n+2}=0을 가질 때, 특정 비선형 조건(rank(B)≤2) 하에 n개의 독립 적분 H_i를 구성할 수 있음을 제시한다. 전체적으로 논문은 다항 Kolmogorov 시스템의 기하학적 구조와 다르부 적분 이론을 결합해, 구면 위에서의 완전 적분성 및 첫 적분 존재조건을 체계적으로 규명한다.