비콤팩트 공간에서의 엔트로피와 변분 원리

초록

본 논문은 비콤팩트 거리공간에 대해 AKM‑형 위상 엔트로피를 자연스럽게 확장하고, 이 확장된 엔트로피와 측도론적 엔트로피, 그리고 거리‑엔트로피 사이에 변분 원리를 증명한다. 또한, 단순 연결된 닐포텐트 리군의 자동사상에 대해 위상 엔트로피가 항상 0임을 보여, 기존의 d‑엔트로피 공식이 단지 상한에 불과함을 확인한다.

상세 분석

논문은 먼저 “proper map”(즉, 컴팩트 집합의 원상이 다시 컴팩트가 되는 연속 사상) 위에 정의된 위상 엔트로피를 일반화한다. 이를 위해 ‘admissible covering’이라는 개념을 도입하는데, 이는 각 원소의 폐쇄 혹은 여집합이 컴팩트인 열린 유한 커버를 의미한다. 이러한 커버들의 반복 전상(αₙ)을 이용해 N(αₙ)이라는 최소 부분 커버 수를 정의하고, log N(αₙ)/n의 극한을 h(T,α)라 두며, 전체 admissible covering에 대해 supremum을 취해 h(T)를 얻는다. 이 정의는 기존 AKM‑엔트로피와 일치함을 확인한다.

다음으로 거리‑엔트로피(h_d)와의 관계를 조사한다. 기존 Bowen식은 컴팩트 경우에만 위상 엔트로피와 동등했지만, 비콤팩트 경우에는 metric이 ‘admissible’해야 한다. admissible metric은 (1) 일정 범위의 반경 δ에 대해 커버가 admissible covering이 되는 δ′를 찾을 수 있고, (2) 모든 admissible covering이 Lebesgue 수를 갖는 특성을 가진다. 이러한 조건 하에서 Proposition 2.2는 h(T)=h_d(T)임을 증명한다.

또한, X가 locally compact이고 separable일 때, 일점 컴팩티피케이션 eX를 고려한다. eX에 임의의 metric e_d를 잡고 그 제한을 d로 두면, d는 자동으로 admissible metric이 되며, h_d(T)=h_{e_d}(eT)임을 보인다(Prop 2.3). 따라서 위상 엔트로피는 컴팩트화된 공간에서의 전통적 엔트로피와 동일하게 계산될 수 있다.

핵심 변분 원리는 Section 3에서 전개된다. T‑invariant probability measures μ에 대해 측도론적 엔트로피 h_μ(T)를 정의하고, 모든 μ에 대한 supremum과 모든 admissible metric d에 대한 infimum을 취한다. 저자는 이 두 값이 위에서 정의한 위상 엔트로피와 정확히 일치함을 보인다. 증명은 먼저 semi‑conjugacy에 대한 부등식(Prop 2.1)을 이용해 h(T)≤inf_d h_d(T)≤sup_μ h_μ(T)임을 얻고, admissible metric의 존재와 Proposition 2.2, 2.3을 통해 역방향 부등식을 구성한다. 결과적으로
 h(T)=sup_{μ∈P_T(X)} h_μ(T)=inf_{d admissible} h_d(T)
가 성립한다.

마지막으로 이 변분 원리를 Lie 군 자동사상에 적용한다. 먼저 유한 차원 실벡터공간 V의 선형 동형 T에 대해 Jordan 분해를 이용해 재귀 집합을 분석하고, 모든 재귀 점이 단위 원소(모듈러 1) 고유값에 해당함을 보인다. 따라서 T의 d‑엔트로피는 0이며, 변분 원리에 의해 위상 엔트로피도 0임을 얻는다. 이어서 단순 연결된 닐포텐트 Lie 군 G에 대해, 지수 사상 exp:𝔤→G가 전역적인 diffeomorphism임을 이용해 자동사상 φ를 미분하면 선형 동형 dφ_e가 위와 동일한 성질을 갖는다. 따라서 φ의 위상 엔트로피도 0이며, 전통적인 “log |λ| (|λ|>1)” 형태의 d‑엔트로피는 단지 상한일 뿐 실제 위상 엔트로피는 사라진다.

이 논문은 비콤팩트 공간에서 엔트로피 이론을 체계화하고, 변분 원리를 통해 측도론적·거리론적 관점을 통합함으로써 동역학적 복잡성의 새로운 평가 기준을 제공한다. 특히 닐포텐트 Lie 군과 같은 비컴팩트 구조에 대한 구체적 결과는 기존 연구와 차별화된 중요한 기여라 할 수 있다.