2차원 의사리만다니안 계량의 정규형과 2차 적분

본 연구는 2차원 의사리만다니안 계량 \(g\) (서명 (+ , − ))에 대해, 그 측지 흐름이 운동량에 대해 2차인 비자명한 적분을 갖는 경우를 체계적으로 분류하고 정규형을 제시한다. **1. 배경 및 정의** 측지 흐름의 해밀토니안은 \(H=\frac12 g^{ij}p_i p_j\)이며, 2차 적분은 \(F=a(x,y)p_x^2+b(x,y)p_xp_y+c(x,y)p_y^2\) 형태로 정의된다. 비자명성은 \(F\)가 단순히 상수배된 \(H\)가 아님을 의미한다. **2. 고유값 분류와 정리 1** 텐서 \(G^i{}_j=g^{i\alpha}F_{\alpha j}\)의 고유값 구조에 따라 세 가지 경우로 나눈다. - **리우빌 경우**: 두 실고유값이 서로 다름. 좌표 변환을 통해 \(g=(X(x)-Y(y))(dx^2-dy^2)\), \(F=X(x)p_y^2-Y(y)p_x^2\) 로 쓸 수 있다. - **복소리우빌 경우**: 복소수 쌍 고유값. 복소함수 \(h(z)=\Re h+i\Im h\)를 도입해 \(g=\Im(h)\,dx\,dy\), \(F=\Re(h)p_xp_y+\frac12\Im(h)(p_x^2-p_y^2)\) 로 표현한다. - **요르단‑블록 경우**: 중복 고유값(조던 블록). 정규형은 \(g=(1+xY'(y))dx\,dy\), \(F=p_xp_y-\frac{2Y(y)}{1+xY'(y)}p_x^2\) 로 나타난다. 각 경우에 대해 좌표와 함수 \(X,Y,\) 혹은 복소함수 \(h\)는 지역적으로 자유롭게 선택 가능하며, 이는 기존 리우빌(양의 정의) 결과를 복소화하거나 비정형 구조를 포함하도록 확장한다는 의미다. **3. 등가계량(정리 2, 3, 4)** 두 계량 \(g\)와 \(\bar g\)가 측지 등가임을 보이기 위해, \(\bar g\)를 \(g\)와 동일한 고유값 구조를 갖는 텐서 \(h\)를 이용해 \(\bar g=\frac{\det g}{\det h}\,2h\) 로 정의한다. 이때 \(h\)가 \(g\)의 2차 적분에 해당하면 \(\bar g\)와 \(g\)는 등가가 된다. 정리 2에서는 위에서 도출된 세 정규형에 대해 구체적인 \(\bar g\) 식을 제시한다. **4. 자연 시스템과 적분(정리 4, 5)** 자연 해밀토니안 \(H=H_g+U\)와 2차 적분 \(F=F_g+V\)가 존재할 때, 두 식은 \(\{H_g,F_g\}=0\)와 \(2\,dU\circ G=dV\)라는 연립 방정식을 만족한다. 각 정규형에 대해 이 PDE를 풀면 다음과 같은 명시적 해를 얻는다. - **리우빌**: \(U=\frac12\frac{\hat X(x)-\hat Y(y)}{X(x)-Y(y)}\), \(V=\frac{X\hat Y-Y\hat X}{X-Y}\). - **복소리우빌**: \(U=\Im(h_1)\Im(h)\), \(V=\Re(h)\Im(h_1)-\Re(h_1)\) where \(h_1\)는 또 다른 복소함수이며, 이는 Cauchy‑Riemann 방정식으로부터 도출된다. - **요르단‑블록**: \(U=\frac{xY'_1(y)+Y_2(y)}{1+xY'(y)}\), \(V=-Y\,U+Y_1(y)\) 등으로 표현된다. 정리 5는 이러한 구조가 양자역학적 설정에서도 유지될 수 있음을 언급한다(양자 적분 연산자와 교환 관계). **5. 사분법적 적분** 리우빌 경우, 적분 상수 \(H_0,F_0\)와 부호 \(\varepsilon_i\)를 이용해 \(p_x^2\)와 \(p_y^2\)를 명시적으로 구하고, 이를 통해 \(\dot x,\dot y\)를 단일 변수 함수의 제곱근 형태로 만든다. 결과적으로 시스템은 두 개의 1차원 적분 \(\int \frac{dx}{\sqrt{2H_0X(x)+F_0-\hat X(x)}}\)와 \(\int \frac{dy}{\sqrt{2H_0Y(y)+F_0-\hat Y(y)}}\) 로 환원된다. 복소리우빌과 요르단‑블록 경우에도 유사한 절차가 적용되며, 복소함수의 실·허수 부분을 적절히 분리하면 동일한 사분법 적분이 가능함을 보인다. **6. 결론 및 의의** 논문은 고전적인 리우빌 이론을 복소와 조던 구조까지 포괄하는 일반화된 프레임워크로 확장하였다. 이를 통해 (1) 등가계량의 명시적 구분, (2) 자연 시스템에서의 2차 적분 존재 조건, (3) 양자화 가능성, (4) 사분법적 적분 가능성을 모두 한 번에 확인할 수 있다. 특히 비정형(요르단‑블록) 경우가 새롭게 제시된 점은 의사리만다니안 기하학과 물리학에서 새로운 모델을 구축하는 데 중요한 도구가 될 것이다.