시간 의존 특이 라그랑지 시스템의 정규화

본 논문은 특이 라그랑지 시스템, 특히 시간에 명시적으로 의존하는 비자율 시스템을 정규화하는 새로운 기하학적 방법을 제시한다. 서론에서는 라그랑지와 해밀토니언 역학을 연결하는 전통적인 기하학적 구조를 소개하고, 특이 라그랑지 시스템에서 발생하는 제약 알고리즘(Dirac‑Bergmann)과 pre‑symplectic, pre‑cosymplectic 구조의 중요성을 강조한다. 기존 연구인 Ibort‑Marín‑Solano가 Gotay의 코이소코시컬 임베딩 정리를 이용해 자율 특이 라그랑지를 정규화한 방법을 재검토하면서, 그 한계(주로 지역적 구성, 선택 의존성)와 개선 필요성을 제시한다. 2장에서는 논문의 기술적 토대를 마련한다. 2.1절에서는 분포와 foliation의 기본 정의, Frobenius 정리, 그리고 분포와 foliation 사이의 일대일 대응을 정리한다. 2.2절에서는 튤치예프 동형 δ를 foliation에 맞게 일반화한다. 여기서 핵심은 double vector bundle 구조 TT*Q와 T* TQ 사이의 동형을 foliation‑adapted 형태로 정의함으로써, D‑수직 성분과 D‑수평 성분을 교환하는 새로운 동형 δ_F를 구축하는 것이다. 2.3절에서는 거의곱 구조(P)를 도입해 tangent bundle을 D⊕H 로 분해하고, 이를 통해 보조 연결 ∇를 정의한다. 2.4절에서는 jet 번들 J¹π와 그 구조를 소개하며, 비자율 라그랑지 시스템을 다루기 위한 기초를 제공한다. 3장에서는 자율(시간 독립) 특이 라그랑지 시스템의 정규화를 다룬다. 3.1절에서는 전통적인 symplectic 해밀토니언 시스템을 복습하고, Hamiltonian 벡터장 X_H가 ω_Q에 의해 정의되는 방식을 설명한다. 3.2절에서는 pre‑symplectic 해밀토니언 시스템 (M, ω, H) 에 대해 코이소코시컬 정규화를 수행한다. Gotay의 정리를 이용해 (M, ω) 를 symplectic 다양체 (M̃, Ω) 에 코이소코시컬하게 삽입하고, 새로운 해밀토니언 H̃를 정의한다. 3.3절에서는 이 정규화를 라그랑지 측면으로 옮긴다. 원래의 특이 라그랑지 L가 정의된 TQ 위의 분포 D와 거의곱 구조 P, 연결 ∇를 사용해 전역 2‑형식 Ω와 라그랑지 L̃를 구성한다. 여기서 핵심은 Theorem 3.23에서 제시된 전역 라그랑지 정규화 공식이며, 이는 기존의 지역적 결과를 일반화한다. 3.4절에서는 정규화의 존재와 일차 근사까지의 유일성을 증명한다. Theorem 3.27은 선택된 보조 구조(연결, 거의곱 구조)에 관계없이 L̃와 그 변분 원리의 1차 항이 동일함을 보이며, 이는 정규화가 물리적으로 의미 있는 고유성을 가진다는 중요한 결론을 제공한다. 4장에서는 비자율(시간 의존) 특이 라그랑지 시스템을 다룬다. 4.1절에서는 cosymplectic 구조 (ω, η) 와 Reeb 벡터 𝑅 를 소개하고, 시간 의존 해밀토니언 시스템 (M×ℝ, ω, η, H) 의 기하학을 정리한다. 4.2절에서는 pre‑cosymplectic 해밀토니언 시스템에 대한 코이소코시컬 정규화를 수행한다. 여기서는 Gotay‑type 정리를 cosymplectic 상황에 맞게 확장하고, 삽입된 다양체가 코이소코시컬 서브매니폴드가 되도록 보장한다. 4.3절에서는 라그랑지 측면으로 전이한다. 시간 의존 라그랑지 L: J¹π → ℝ 에 대해, foliation‑adapted 튤치예프 동형과 거의곱 구조를 이용해 전역 라그랑지 L̃를 정의하고, 그에 대응하는 Euler‑Lagrange 방정식이 원래 시스템의 제약 하위다양체 위에서 동등함을 증명한다. 4.4절에서는 정규화의 존재와 일차 유일성을 다시 한 번 확인한다. Theorem 4.20과 4.21은 자율 경우와 구조적으로 동일하지만, Reeb 벡터와 시간 1‑형식 η가 추가적인 조건을 제공한다는 점을 강조한다. 4.5절에서는 두 가지 구체적인 예시를 제시한다. 첫 번째는 trivialized 번들 Q×ℝ → ℝ 에서의 라그랑지 시스템으로, 거의곱 구조가 자연스럽게 선택될 수 있음을 보여준다. 두 번째는 퇴화된 계량 g가 존재하는 경우로, 라그랑지 L = ½ g(v,v) 와 같이 정의된 시스템을 정규화함으로써 기존의 메트릭 기반 정규화와 비교한다. 5장 결론에서는 제시된 정규화 프레임워크가 자율 및 비자율 특이 라그랑지 시스템 모두에 적용 가능함을 요약하고, 향후 장 이론(예: 전자기장, 중력장)의 정규화에 대한 전망을 제시한다. 또한, 거의곱 구조와 튤치예프 삼중대의 일반화가 다른 제약 시스템(예: 비선형 제약, 고차 라그랑지)에도 확장될 가능성을 논의한다. 전반적으로 이 논문은 (1) 코이소코시컬 임베딩 정리를 전역적으로 활용, (2) 거의곱 구조와 보조 연결을 도입해 라그랑지 정규화를 명시적으로 구성, (3) 튤치예프 동형을 foliation에 맞게 일반화해 자율·비자율 경우를 통합, (4) 정규화의 존재와 일차 근사까지의 선택 독립성을 엄밀히 증명함으로써, 기존 문헌의 한계를 극복하고 특이 라그랑지 시스템의 정규화 이론에 중요한 진전을 제공한다.