[논문 리뷰] The Mathematical Structure of the Second Law of Thermodynamics

Elliott H. Lieb, Jakob Yngvason|ArXiv.org|2002. 04. 03.

Advanced Thermodynamics and Statistical Mechanics인용 수 9

한 줄 요약

이 논문은 열역학 제2법칙에 대한 엄밀한 공리적 기반을 제공하며, 열역학적 개념인 열이나 온도, 통계역학과는 무관하게 평형 상태 간의 단열 접근 가능성 관계로부터 덧셈성이고 광범위한 엔트로피 함수 $S$의 존재성과 유일성을 도출한다. 핵심 기여는 제2법칙이 단열 전이의 순서 이론적 성질의 결과임을 수학적으로 증명함으로써, 엔트로피가 미시적 모델이나 통계적 집합에 의존하지 않는 기본적인 거시적 불변량임을 확립하는 것이다.

ABSTRACT

The essence of the second law of classical thermodynamics is the `entropy principle' which asserts the existence of an additive and extensive entropy function, S, that is defined for all equilibrium states of thermodynamic systems and whose increase characterizes the possible state changes under adiabatic conditions. It is one of the few really fundamental physical laws (in the sense that no deviation, however tiny, is permitted) and its consequences are far reaching. This principle is independent of models, statistical mechanical or otherwise, and can be understood without recourse to Carnot cycles, ideal gases and other assumptions about such things as `heat', `temperature', `reversible processes', etc., as is usually done. Also the well known formula of statistical mechanics, S = -\sum p log p, is not needed for the derivation of the entropy principle. This contribution is partly a summary of our joint work (Physics Reports, Vol. 310, 1--96 (1999)) where the existence and uniqueness of S is proved to be a consequence of certain basic properties of the relation of adiabatic accessibility among equilibrium states. We also present some open problems and suggest directions for further study.

연구 동기 및 목표

• 평형 상태 간의 단열 접근 가능성 관계에 기반하여 제2법칙을 수학적 정리로 정립하는 것.
• 통계역학, 열, 온도, 또는 가역 과정을 언급하지 않고도 덧셈성이고 광범위한 엔트로피 함수 $S$의 존재성과 유일성을 증명하는 것.
• 제2법칙이 아이디얼 기체나 통계적 집합과 같은 모델에 의존하지 않는 천연 법칙임을 명확히 하는 것.
• 통계역학보다 논리적으로 우선하는 제2법칙의 기초를 제공하여, 후자의 엔트로피 개념이 전자의 기초를 설명할 수 있도록 하는 것.

제안 방법

• 평형 상태에 대해 전순서 관계 $\prec$ 를 정의하며, $X \prec Y$ 는 $X$ 가 $Y$ 에서 단열 과정을 통해 도달할 수 있음을 의미한다.
• 전이의 추이성, 반사성, 그리고 단열 전이의 존재성에 기반하여 상태 공간의 구조를 도출한다.
• 모든 $X \prec Y$ 에 대해 $S(X) \leq S(Y)$ 를 만족하는 실수값 함수 $S$ 가 존재하는 것과 엔트로피 원리가 동치임을 증명한다.
• 단순 시스템과 단열 과정의 성질을 이용하여, 복합 시스템에서의 합성에 대해 $S$ 가 덧셈성과 광범위성을 가져야 함을 확립한다.
• 순서 집합의 수학적 구조와 유계 집합에서 최대 원소의 존재성을 이용하여 $S$ 의 유일성을 도출한다.
• 엔트로피 함수가 통계역학이나 양자역학과 같은 어떤 미시적 이론에도 의존하지 않음을 보여준다.

실험 결과

연구 질문

• RQ1 열역학적 개념인 온도, 열, 또는 가역성 없이도 평형 상태 간의 단열 전이에 관한 최소한의 공리 집합에서 제2법칙을 도출할 수 있는가?
• RQ2 엔트로피 함수 $S$ 의 존재성과 유일성은 통계역학 모델이나 볼츠만 공식 $S = -\sum p_i \ln p_i$ 와 논리적으로 독립적인가?
• RQ3 제2법칙을 뒷받침하는 수학적 구조는 무엇이며, 엔트로피 증가가 모든 가능한 단열 과정을 특징짓는가?
• RQ4 시스템의 크기에 관계없이, 미세계나 원자적 영역까지 적용 가능한 방식으로 제2법칙을 어떻게 공식화할 수 있는가?
• RQ5 제2법칙은 원자 존재성이나 동역학에 대해 무엇인가를 암시하는가, 아니면 근본적으로 거시적 법칙인가?

주요 결과

• 엔트로피 함수 $S$ 는 단열 접근 가능성, 추이성, 평형 상태의 구조에 기반한 공리들로부터 존재하고 유일하다.
• 엔트로피 함수 $S$ 는 덧셈성과 광범위성을 가지며, 단열 고립 조건 하에서 복합 시스템에 대해 $S(X \cup Y) = S(X) + S(Y)$ 를 만족한다.
• 제2법칙은 엔트로피 원리의 형태로, 카르노 사이클, 아이디얼 기체, 또는 열의 개념을 언급하지 않고도 도출 가능하다.
• 상태의 미분 가능성이나 $\mathbb{R}^n$ 으로의 매개변수화가 필요 없기에 이는 이산적이거나 미세한 상태 공간에도 적용 가능하다.
• $S$ 의 존재는 통계역학에 의존하지 않으며, 거시적 수준에서 제2법칙을 확립하기 위해 어떤 미시적 모델도 필요로 하지 않는다.
• 제2법칙은 원자 운동이나 통계적 집합의 결과가 아니며, 양자 척도에서도 그 위반이 관측된 바가 없다.