볼츠만 평형은 언제 존재하는가

본 논문은 볼츠만 통계역학(BSM)에서 평형 개념을 재정의하고, 평형이 언제 존재하는지를 체계적으로 규명한다. 전통적으로는 고립계가 시간이 흐르면 열역학적 평형에 도달한다는 직관이 널리 받아들여졌지만, 실제로는 “평형이 존재한다”는 전제가 언제 성립하는지에 대한 명확한 기준이 부족했다. 저자들은 최근 두 편의 논문(Werndl & Frigg 2015a, 2015b)에서 제시한 “장기시간 비율(long‑run fraction of time)” 정의를 바탕으로, 평형을 “대부분의 초기 조건이 대부분의 시간을 머무는 거시상태”로 정의한다. 1. **볼츠만 평형의 정의** - 미시역학적 시스템을 (X, Σ_X, μ_X, T_t)라 하고, 실제 거시상태는 매크로변수 {v₁,…,v_k}에 의해 정의된다. 매크로변수는 측정가능 함수 v_i: X→V_i이며, 특정 값 집합 {V₁,…,V_k}가 매크로상태 M을 만든다. - 매크로‑region Z_M은 효과적 상태공간 Z⊂X(보통 에너지 보존면 등) 위에 정의된다. Z는 동역학에 의해 불변이며, μ_Z는 정규화된 불변 측도이다. - 장기시간 비율 LF_A(x)=lim_{t→∞}(1/t)∫_0^t 1_A(T_τ(x))dτ 로 정의하고, ergodic 경우 LF_A(x)=μ_Z(A)임을 상기한다. 2. **α‑ε 및 γ‑ε 평형** - **α‑ε 평형**: α∈(0.5,1], ε≥0. 작은 ε는 “대부분”을 의미한다. 존재한다면, μ_Z(Y)≥1−ε인 초기조건 집합 Y에서 모든 x∈Y가 LF_{Z_{M_eq}}(x)≥α 를 만족한다. - **γ‑ε 평형**: γ∈(0,1], ε≥0. Y⊂Z에서 모든 x∈Y에 대해 LF_{Z_{M_eq}}(x)≥LF_{Z_M}(x)+γ (∀M≠M_eq) 이다. 이는 평형이 다른 모든 매크로상태보다 최소 γ 만큼 더 오래 머문다는 의미다. 3. **두 정리** - **Dominance Theorem**: α‑ε 평형이면 μ_Z(Z_{M_eq})≥β, 여기서 β=α(1−ε). 즉, 평형 매크로‑region은 측도적으로 최소 β 만큼 차지한다. - **Prevalence Theorem**: γ‑ε 평형이면 μ_Z(Z_{M_eq})≥μ_Z(Z_M)+δ, δ=γ−ε. 따라서 평형 매크로‑region은 모든 다른 매크로‑region보다 최소 δ 만큼 크게 측정된다. - 두 정리는 동역학적 가정(ergodicity 등)을 전혀 요구하지 않으며, 따라서 강하게 상호작용하는 시스템에도 적용 가능하다. 4. **홀리스트 트리니티** 평형 존재는 세 요소가 협력해야 함을 강조한다. - **거시변수 선택**: 같은 시스템이라도 어떤 매크로변수를 선택하느냐에 따라 평형 존재 여부가 달라진다. 예를 들어, 두 구슬이 박스 안에 있을 때 에너지와 입자수를 매크로변수로 잡으면 평형이 존재하지만, 위치만 잡으면 평형이 없을 수 있다. - **동역학**: 시스템의 동역학이 “협력”하지 않으면, 큰 매크로‑region이 있더라도 그 영역에 진입하거나 탈출할 메커니즘이 없으므로 평형이 성립하지 않는다. 정체 함수(identity)나, 큰 영역에 머무르는 고정 궤적이 존재하는 경우가 대표적이다. - **효과적 상태공간 Z**: Z는 전체 미시공간 X에서 실제 접근 가능한 부분을 의미한다. Z가 너무 작으면 대부분 초기조건이 Z 밖에 있어 평형 정의가 무의미하고, Z가 너무 크면 비접근 영역이 포함돼 평형 조건을 만족시키지 못한다. 에너지 보존면, 입자 수 보존 등 제약조건이 Z를 결정한다. 5. **예시: 이상 진자** - 진자는 에너지에 따라 회전(전역)과 진동(국소) 두 거시상태로 나뉜다. Z를 에너지 보존면으로 정의하고, 매크로변수로 에너지와 위상을 선택하면 α‑ε 평형이 존재한다. - 반대로 Z를 전체 위상공간으로 잡고 에너지만 매크로변수로 두면, 회전 궤적이 영원히 회전 상태에 머무르므로 평형이 사라진다. 이는 거시변수와 Z 선택이 평형 존재에 미치는 영향을 명확히 보여준다. 6. **가스 모델 적용** - **이상기체 & 희박기체**: 입자 수 N, 전체 에너지 E 등 보존량을 기반으로 Z를 정의하면, 매크로‑region(특히 에너지 분포가 균등한 영역)이 전체 Z의 대부분을 차지해 α‑ε 평형이 존재한다. - **Kac 기체**: 입자 간 충돌을 이산적으로 모델링하지만, 평균 에너지 분포가 안정적이며, 매크로변수(속도 분포)와 Z(에너지 보존면) 선택이 적절하면 평형이 존재한다. - **스태디움 기체**: 입자들이 스태디움 형태의 경계에서 반사되며, 동역학이 강하게 혼합적이다. 매크로변수로 위치·속도 분포를 잡고 Z를 에너지 보존면으로 정의하면, 큰 매크로‑region이 형성돼 평형이 존재한다. - **버섯 기체 & 다중버섯 기체**: 비정상적인 경계(버섯 모양) 때문에 일부 궤적이 제한된 영역에 갇히는 현상이 있다. Z를 각 버섯 구역별 에너지면으로 세분화하고, 매크로변수를 구역별 입자 밀도와 평균 속도로 정의하면 평형이 존재한다. 반대로 Z를 전체 X로 잡으면 비접근 영역이 포함돼 평형이 사라진다. 7. **Ergodic Programme에 대한 비판** 기존의 ergodic 프로그램은 “시스템이 ergodic이면 평형이 존재한다”는 일방적 주장에 의존한다. 그러나 정리와 예시들은 ergodicity만으로는 충분하지 않으며, 거시변수와 Z의 적절한 선택이 동반돼야 함을 보여준다. 실제 물리계는 제한된 보존량, 경계조건, 외부 구속 등에 의해 Z가 자연스럽게 제한되며, 이는 평형 존재에 핵심적인 역할을 한다. 8. **결론 및 향후 과제** - 평형 존재는 “홀리스트 트리니티”의 협력적 조건에 의해 결정된다. - 존재정리는 충분조건·필요조건을 제공하지만, 실제 시스템에 적용하기 위해서는 Z와 매크로변수를 물리적으로 타당하게 선택해야 한다. - 향후 연구는 (i) 보다 일반적인 동역학(비보존계, 외부 구동)에서의 평형 존재 조건, (ii) 양자계에 대한 확장, (iii) 실험적 검증을 위한 구체적 모델링 등을 제시한다.