에르고딕성

위키백과, 우리 모두의 백과사전.
(에르고딕 이론에서 넘어옴)
이동: 둘러보기, 검색

동역학계 이론에서, 에르고딕성(ergodic性, 영어: ergodicity)은 어떤 동역학계의 궤적이 거의 항상 공간 전체를 밀집하게 채우는 성질을 뜻한다. 에르고딕성을 보이는 동역학계를 연구하는 수학 분야를 에르고딕 이론(ergodic理論, 영어: ergodic theory)이라고 한다.

정의[편집]

확률 공간 (X,\Sigma,\mu) 위의 측도 보존 변환(測度保存變換, 영어: measure-preserving transformation) T\colon X\to X은 다음 조건을 만족시키는 가측 함수이다.

\mu \circ T^{-1}=\mu\colon\Sigma\to[0,1]

여기서 T^{-1}\colon\Sigma\to\Sigma가측 집합원상 함수이다.

확률 공간 (X,\Sigma,\mu) 위에 측도 보존 변환 T\colon X\to X가 주어졌다고 하자. 다음 네 조건은 서로 동치이며, 만약 이 조건이 성립한다면 T\mu에 대한 에르고딕 변환(영어: ergodic transformation)이라고 한다.

  • 모든 가측 집합 E\in\Sigma에 대하여, T^{-1}(E)=E라면 \mu(E)\in\{0,1\}이다.
  • 모든 가측 집합 E\in\Sigma에 대하여, \mu(T^{-1}(E)\setminus E\cup E\setminus T^{-1}(E))=0이라면 \mu(E)\in\{0,1\}이다.
  • 모든 가측 집합 E\in\Sigma에 대하여, \mu(E)>0이라면 다음이 성립한다.
    \mu\left(\bigcup_{n=1}^\infty T^{-n}(E)\right)=1
  • 모든 가측 집합 E,F\in\Sigma에 대하여, \mu(E),\mu(F)>0이라면 다음 부등식을 만족시키는 양의 정수 n\in\mathbb Z^+이 존재한다.
    \mu\left(T^{-n}(E)\cap F\right)>0

성질[편집]

확률 공간 (X,\Sigma,\mu) 위의 측도 보존 변환 T\colon X\to X이 주어졌다고 하자. 그렇다면, T에 대하여 불변인 \Sigma-가측 집합들의 시그마 대수

\mathcal C=\{S\in\Sigma\colon T^{-1}(S)=S\}

를 정의하자.

확률 공간 (X,\Sigma,\mu) 위의 실수값의 확률 변수 f\colon X\to\mathbb R절댓값기댓값을 갖는다고 하자.

\operatorname E(|f|)=\int_X|f|<\infty

이 경우, fn 단위만큼 시간 변환을 가한 시간 평균(영어: time average)

\frac1n \sum_{k=0}^{n-1} f(T^kx)

공간 평균(영어: space average)

\operatorname E(f)=\int_Xf\,d\mu

을 생각할 수 있다. 이 둘은 일반적으로 다르지만, 버코프 에르고딕 정리(영어: Birkhoff’s ergodic theorem)에 따르면 만약 T가 에르고딕 변환이라면, 공간 평균은 무한한 시간 평균의 극한과 일치한다.

구체적으로, T가 에르고딕 변환이라고 가정하지 않았을 때, 임의의 x\in X에 대하여 거의 확실하게 다음이 성립한다.

\lim_{n\rightarrow\infty}\; \frac1n \sum_{k=0}^{n-1} f(T^kx)=\operatorname E(f|\mathcal C)(x)

여기서 \operatorname E(f|\mathcal C)\colon X\to\mathbb R\mathcal C에 대한 f조건부 기댓값이다.

만약 T가 에르고딕 변환이라고 추가로 가정하면, \mathcal C는 측도 0 또는 1의 집합으로만 구성된다.

\mathcal C\subseteq\left\{S\in\Sigma\colon\mu(S)\in\{0,1\}\right\}

따라서, 임의의 x\in X에 대하여 거의 확실하게 \operatorname E(f|\mathcal C)(x)=\operatorname E(f)이며, 임의의 x\in X에 대하여 거의 확실하게 다음이 성립한다.

\lim_{n\to\infty}\frac1n \sum_{k=0}^{n-1} f(T^kx)=\operatorname E(f)

폰 노이만 에르고딕 정리[편집]

확률 공간 (X,\Sigma,\mu) 위의 확률 보존 변환 T\colon X\to X은 그 L2 공간 위에 유니터리 작용소

U\colon L^2(X;\mathbb R)\to L^2(X;\mathbb R)
U\colon f\mapsto f\circ T

를 정의한다. 이를 사용하여, 에르고딕 정리를 일반적인 힐베르트 공간 위의 유니터리 작용소에 대한 정리로 일반화할 수 있으며, 이를 폰 노이만 에르고딕 정리(영어: von Neumann ergodic theorem)라고 한다.

구체적으로, 힐베르트 공간 \mathcal H 위에 유니터리 작용소 U\colon\mathcal H\to\mathcal H가 주어졌다고 하고, \operatorname{Proj}_{\ker(1-U)}\ker(1-U)로의 사영 작용소라고 하자. 그렇다면, n^{-1}(1+U+\cdots+U^{n-1})강한 작용소 위상에 대하여 다음과 같이 수렴한다.

\lim_{n\to\infty}n^{-1}\sum_{k=0}^{n-1}U^k=\operatorname{Proj}_{\ker(1-U)}

즉, 모든 |f\rangle\in\mathcal H에 대하여, 다음이 성립한다.

\lim_{n\to\infty}\left\|n^{-1}\sum_{k=0}^{n-1}U^k|f\rangle-\operatorname{Proj}_{\ker(1-U)}|f\rangle\right\|=0

역사[편집]

1885년에 루트비히 볼츠만통계역학에서 독일어: Ergode 에르고데[*]라는 단어를 최초로 사용하였다.[1] 이 단어는 고대 그리스어: ἔργον 에르곤[*](일) + 고대 그리스어: ὁδός 호도스[*] (경로)에서 유래하는데, 이는 볼츠만이 원래 "에르고데"를 하나의 운동 상수(즉, 에너지)만을 갖는 정적 통계역학적 계로 정의하였기 때문이다. 이후 앙리 푸앵카레삼체 문제를 연구하기 위하여 1890년에 푸앵카레 재귀정리를 발표하였다.[2]

에렌페스트 부부(파울 에렌페스트, 타티아나 에렌페스트(독일어: Tatiana Ehrenfest)는 1912년에 "에르고딕 가설"(독일어: Ergodenhypothese 에르고덴휘포테제[*])이라는 용어를 현대적인 의미로 최초로 사용하였다.[3]

버코프 에르고딕 정리와 폰 노이만 에르고딕 정리는 1930년대 초에 증명되었다. 존 폰 노이만은 자신의 에르고딕 정리를 증명한 뒤 이를 1931년 10월 조지 데이비드 버코프에게 거론하였고, 버코프는 곧 버코프 에르고딕 정리를 증명하였다.[4] 버코프는 자신의 에르고딕 정리를 1931년 12월에 먼저 출판하였고,[5] 이후 폰 노이만은 자신의 에르고딕 정리를 이듬해 1932년에 출판하였다.[6][7]

응용[편집]

통계역학은 매우 큰 의 성질의 시간에 대한 통계를 연구한다. 매우 큰 계의 미시적 동역학은 매우 복잡하며 연구하기 힘들다. 그러나 만약 계의 동역학이 에르고딕 변환이라고 가정한다면, 즉 임의의 상태 영역에 가능한 미시상태에 대해 같은 확률로 도달 가능하다고 가정한다면, 버코프 에르고딕 정리에 따라서 계의 성질들의 시간 평균은 공간 평균과 같다. 따라서, 에르고딕성을 가정한다면 계의 모든 가능한 상태들에 대한 (공간) 평균을 계산하여, 계의 시간 통계를 유추할 수 있다. 이를 통계역학의 에르고딕 가설(영어: ergodic hypothesis)이라고 한다.

참고 문헌[편집]

  1. Boltzmann, Ludwig (1885). “Ueber die Eigenschaften Monocyklischer und andere damit verwandter Systeme”. 《Journal für die reine und angewandte Mathematik》 (독일어) 1885 (98): 68–94. doi:10.1515/crll.1885.98.68. ISSN 0075-4102. 
  2. Poincaré, H.J. (1890). “Sur le problème des trois corps et les équations de la dynamique” (PDF). 《Acta Mathematica》 (프랑스어) 13: 1–270. 
  3. Ehrenfest, P.; Ehrenfest, T. (1912). 《Begriffliche Grundlagen der statistischen Auffassung in der Mechanik》. Encyklopädie der mathematischen Wissenschaften mit Einschluß ihrer Anwendungen, Band IV-2-II, Heft 6 (독일어). Leipzig: Druck und Verlag von B. G. Teubner. OCLC 8874694. 
  4. Halmos, Paul R. “Von Neumann on measure and ergodic theory”. 《Bulletin of the American Mathematical Society》 (영어) 64: 86–94. doi:10.1090/S0002-9904-1958-10203-7. MR 0097294. 
  5. Birkhoff, George David (1931). “Proof of the ergodic theorem”. 《Proceedings of the National Academy of Sciences of the United States of America》 (영어) 17 (12): 656–660. Bibcode:1931PNAS...17..656B. doi:10.1073/pnas.17.2.656. PMC 1076138. PMID 16577406. 
  6. von Neumann, John (1932). “Proof of the Quasi-ergodic Hypothesis”. 《Proceedings of the National Academy of Sciences of the United States of America》 (영어) 18 (1): 70–82. Bibcode:1932PNAS...18...70N. doi:10.1073/pnas.18.1.70. PMC 1076162. PMID 16577432. 
  7. von Neumann, John (1932). “Physical Applications of the Ergodic Hypothesis”. 《Proceedings of the National Academy of Sciences of the United States of America》 (영어) 18 (3): 263–266. Bibcode:1932PNAS...18..263N. doi:10.1073/pnas.18.3.263. JSTOR 86260. PMC 1076204. PMID 16587674. 
  • Birkhoff, George David (1942). “What is the ergodic theorem?”. 《American Mathematical Monthly》 (영어) 49 (4): 222–226. doi:10.2307/2303229. JSTOR 2303229. 
  • Walters, Peter (1982). 《An introduction to ergodic theory》. Graduate Texts in Mathematics (영어) 79. Springer. ISBN 0-387-95152-0. Zbl 0475.28009. 
  • Arnol'd, Vladimir Igorevich; Avez, André (1968). 《Ergodic Problems of Classical Mechanics》 (영어). W.A. Benjamin. 
  • Petersen, Karl (1990). 《Ergodic Theory》. Cambridge Studies in Advanced Mathematics (영어). Cambridge University Press. 

같이 보기[편집]

바깥 고리[편집]