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

본 논문은 비콤팩트 거리공간에 대한 위상 엔트로피 이론을 확장하고, 그와 측도론적 엔트로피 및 거리‑엔트로피 사이에 변분 원리를 확립한다. 논문은 크게 네 부분으로 구성된다. 첫 번째 부분에서는 기존의 AKM‑형 위상 엔트로피를 비콤팩트 공간에 맞게 일반화한다. 여기서 핵심은 ‘admissible covering’이라는 개념이다. 이는 각 원소 A가 열려 있고, A의 폐쇄 혹은 여집합이 컴팩트인 유한 커버를 의미한다. proper map T:X→X(즉, 컴팩트 집합의 원상이 다시 컴팩트가 되는 연속 사상) 위에서, αₙ={A₀∩T^{-1}(A₁)∩…∩T^{-n}(A_n) | A_i∈α}를 정의하고, N(αₙ)이라는 최소 부분 커버 수를 구한다. log N(αₙ)/n의 극한이 존재함을 보이고, 이를 h(T,α)라 두며, 모든 admissible covering α에 대해 supremum을 취해 h(T)를 정의한다. X가 이미 컴팩트이면 이 정의는 기존 AKM‑엔트로피와 일치한다. 두 번째 부분에서는 거리‑엔트로피(h_d)를 재정의한다. Bowen이 제시한 d‑엔트로피는 컴팩트 경우에만 위상 엔트로피와 일치한다. 비컴팩트 상황에서는 metric d가 ‘admissible’이어야 한다. admissible metric의 정의는 두 조건을 만족한다. (1) 일정 구간 (a,b) 안의 반경 δ에 대해, 그 반경으로 만든 열린 볼들의 커버가 admissible covering이 되도록 하는 δ′가 존재한다. (2) 모든 admissible covering이 Lebesgue 수(즉, 일정 반경의 볼들로 완전히 덮일 수 있는 최소 반경)를 갖는다. 이러한 조건 하에서 Proposition 2.2는 h(T)=h_d(T)임을 증명한다. 세 번째 부분에서는 locally compact, separable 공간 X에 대해 일점 컴팩티피케이션 eX를 도입한다. eX는 X에 무한대 점 ∞을 추가한 컴팩트화된 공간이며, T의 연장 eT:eX→eX는 여전히 proper map이다. eX에 임의의 metric e_d를 잡고 그 제한을 d로 두면, d는 자동으로 admissible metric이 된다(Prop 2.3). 또한 h_d(T)=h_{e_d}(eT)이며, 따라서 위상 엔트로피는 컴팩트화된 공간에서의 전통적 엔트로피와 동일하게 계산될 수 있다. 네 번째 부분에서는 변분 원리를 제시한다. T‑invariant probability measure μ에 대해 측도론적 엔트로피 h_μ(T) 를 정의하고, 모든 μ에 대한 supremum을 sup_μ h_μ(T)라 둔다. 동시에 모든 admissible metric d에 대해 infimum을 inf_d h_d(T)라 둔다. Proposition 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) 가 성립한다. 이는 비콤팩트 공간에서도 위상, 측도론적, 거리론적 엔트로피가 완전히 일치한다는 강력한 결과이다. 마지막으로 이 변분 원리를 구체적인 동역학 시스템에 적용한다. 먼저 유한 차원 실벡터공간 V의 선형 동형 T에 대해 Jordan 분해를 이용해 재귀 집합을 분석한다. 재귀 점은 고유값 λ의 절대값이 1인 경우에만 존재함을 보이며, 따라서 모든 λ에 대해 |λ|>1인 경우는 재귀 집합에 기여하지 않는다. 결과적으로 h_d(T)=0이며, 변분 원리에 의해 h(T)=0이다. 그 다음, 단순 연결된 닐포텐트 Lie 군 G에 대해 자동사상 φ:G→G를 고려한다. G는 지수 사상 exp:𝔤→G가 전역적인 diffeomorphism인 특성을 갖는다. φ의 미분 dφ_e는 𝔤에서의 선형 동형이며, 앞서 다룬 V의 경우와 동일하게 위상 엔트로피가 0임을 알 수 있다. 따라서 φ의 위상 엔트로피도 0이며, 전통적인 d‑엔트로피 공식 h_d(φ)=∑_{|λ|>1}log|λ|는 실제 위상 엔트로피에 대한 상한일 뿐이라는 결론에 도달한다. 전체적으로 본 논문은 비콤팩트 동역학 시스템에 대한 엔트로피 이론을 체계화하고, 변분 원리를 통해 측도론적·거리론적 관점을 통합함으로써 동역학적 복잡성의 새로운 평가 기준을 제공한다. 특히 닐포텐트 Lie 군과 같은 비컴팩트 구조에 대한 구체적 결과는 기존 연구와 차별화된 중요한 기여라 할 수 있다.