1. 개요[편집]
| 열역학 제2법칙 Second Law of Thermodynamics | |
|---|---|
| 클라우지우스 진술 | 다른 효과 없이 열이 저온에서 고온으로 갈 수 없다 (1850) |
| 켈빈-플랑크 진술 | 단일 열원에서 열을 받아 전부 일로 바꾸는 순환기관은 없다 (1851) |
| 카르노 정리 | 같은 두 열원 사이 모든 가역기관의 효율은 같고 최대다 (1824) |
| 클라우지우스 부등식 | $\oint \delta Q/T \le 0$ |
| 귀결 | 엔트로피의 존재 · $dS \ge \delta Q/T$ · $\eta \le 1-T_C/T_H$ |
| 통계적 지위 | 절대 금지가 아니라 압도적 확률 |
| 수치해석 대응 | 엔트로피 조건 · 클라우지우스-뒤엠 부등식 |
제1법칙은 “공짜는 없다”고 말하고, 제2법칙은 “본전도 없다”고 말한다.
열역학 제2법칙(second law of thermodynamics)은 에너지 보존만으로는 구별되지 않는 두 방향의 과정 중 어느 쪽이 실제로 일어나는지를 규정하는 법칙이다. 뜨거운 커피가 식는 것과 식은 커피가 저절로 뜨거워지는 것은 둘 다 에너지를 보존한다. 제1법칙은 둘을 구별하지 못하고, 제2법칙만이 한쪽을 금지한다.
이 문서는 법칙의 진술과 그 등가성을 다룬다. 클라우지우스 진술·켈빈-플랑크 진술·카르노 정리·클라우지우스 부등식이 서로를 어떻게 함의하며, 그 사슬의 끝에서 엔트로피라는 상태함수가 정의되는 것이 아니라 유도되는 순서를 보이는 것이 목표다. 엔트로피라는 양 자체의 여러 얼굴(볼츠만·깁스·섀넌)은 엔트로피 문서가, 역학에서 이 법칙을 이끌어 내려던 시도는 H 정리가 맡는다.
2. 두 개의 진술[편집]
19세기 중반에 사실상 동시에 두 개의 금지 명령이 제시됐다.
클라우지우스 진술 (1850) — 다른 어떤 효과도 남기지 않고 열을 저온 물체에서 고온 물체로 옮기는 순환 장치는 불가능하다.
켈빈-플랑크 진술 (1851) — 단일 온도의 열원에서 열을 받아 그것을 남김없이 일로 바꾸고 다른 변화를 남기지 않는 순환 장치는 불가능하다.
두 진술 모두 **“다른 효과 없이”**와 **“순환”**이라는 단서가 본질이다. 냉장고는 열을 저온에서 고온으로 옮기지만 대신 전기를 먹으므로 위반이 아니다. 등온 팽창하는 기체는 받은 열을 전부 일로 바꾸지만 부피가 커진 채로 끝나 순환이 아니므로 위반이 아니다. 단서를 빼고 인용하는 순간 제2법칙은 매일 위반된다.
3. 두 진술은 같은 것이다[편집]
물리학 교육에서 이 등가성 증명이 유난히 사랑받는 이유는, 두 문장이 겉보기에 아무 관계 없어 보이는데도 서로를 정확히 함의하기 때문이다. 방법은 양쪽 다 위반 장치를 하나 가정해서 다른 쪽 위반 장치를 조립하는 것이다.
켈빈-플랑크 위반 클라우지우스 위반. 고온 열원 에서 를 받아 전부 일 로 바꾸는 장치가 있다고 하자. 그 일을 그대로 냉동기에 넣어 저온 열원 에서 를 퍼 올리게 하면, 냉동기는 에 를 버린다. 두 장치를 하나로 묶어 보면 순 결과는 에서 가 빠져 로 들어간 것뿐이고 외부에 남은 일도 없다. 클라우지우스 진술 위반이다.
클라우지우스 위반 켈빈-플랑크 위반. 아무 대가 없이 에서 로 를 옮기는 장치가 있다고 하자. 여기에 정상적인 열기관을 붙여 에서 를 받고 를 내고 로 정확히 를 버리게 맞춘다. 그러면 는 받은 만큼 정확히 뺏기므로 아무 변화가 없고, 순 결과는 에서 를 받아 전부 일로 바꾼 것이다. 켈빈-플랑크 위반이다.
두 방향이 다 성립하므로 둘은 논리적으로 동치다. 여기에 카라테오도리의 공리적 진술(“임의의 평형 상태의 임의로 가까운 근방에 단열적으로 도달 불가능한 상태가 존재한다”, 1909)까지 넣으면 세 진술이 동치인 구조가 된다. 어느 것을 출발점으로 삼든 나머지가 따라온다는 뜻이고, 교과서마다 출발점이 다른 이유이기도 하다.
4. 카르노 정리 — 효율에 천장이 있다[편집]
사디 카르노는 1824년, 아직 열이 물질(칼로릭)이라고 믿던 시절에 답을 먼저 맞혔다.1 두 열원 사이에서 작동하는 순환기관에 대해:
- 어떤 비가역 기관의 효율도 같은 두 열원 사이 가역 기관의 효율을 넘을 수 없다.
- 모든 가역 기관의 효율은 작동물질과 무관하게 같다.
증명은 다시 조립 논증이다. 어떤 기관 가 가역 기관 보다 효율이 높다고 하자. 를 돌려 나온 일로 을 거꾸로(냉동기로) 돌리면, 두 장치의 조합은 에서 열을 퍼 올려 에 버리면서 외부에는 아무 것도 남기지 않는다 — 클라우지우스 위반. 따라서 이다. 둘 다 가역이면 역할을 바꿔 같은 논증을 다시 할 수 있으므로 이 된다.
이 정리의 진짜 무게는 효율이 작동물질과 무관하다는 두 번째 명제에 있다. 공기든 수증기든 이상기체든 상관없이 두 온도만으로 결정된다면, 그 비율 자체를 온도의 정의로 삼을 수 있다. 켈빈이 정확히 그렇게 했다.
즉 절대온도는 온도계의 물성이 아니라 제2법칙에서 정의된다. 수은이 얼마나 팽창하느냐와 무관한, 물질에 의존하지 않는 온도 눈금이 여기서 나온다. 열역학이 “물질의 세부를 몰라도 참인 관계”를 뽑아내는 학문이라는 성격이 이 지점에서 가장 선명하다.
숫자로 보면 이 천장은 잔인하다. , 이면 이고, 여기에 연소·마찰·유동 손실이 붙으면 실물은 그 아래에서 논다. 대형 복합화력이 60% 대 초반, 초초임계 석탄화력이 45% 대, 승용 오토 사이클 가솔린 엔진의 최고 제동열효율이 40% 안팎, 대형 저속 디젤 엔진이 50% 대라는 숫자들이 전부 이 천장 아래에 정렬한다. 엔진 개발이 결국 상한 온도를 올리는 재료 싸움이 되는 이유가 이 한 줄 공식이다.
5. 클라우지우스 부등식 — 엔트로피가 유도되는 순간[편집]
카르노 정리를 임의의 순환 과정으로 확장하면 제2법칙의 정량적 형태가 나온다. 임의의 순환을 미소한 카르노 사이클들로 잘게 쪼개고 각 조각에 를 적용해 더하면
이고, 가역 순환에서만 등호다. 여기서 엔트로피가 태어난다. 논리 순서가 중요하다.
- 가역 순환에서 이다.
- 어떤 양의 순환적분이 항상 0이면, 그 양의 적분은 경로에 무관하다.
- 따라서 두 상태 사이의 만으로 정해지는 상태함수가 존재한다. 그것을 라 부른다.
- 비가역 경로로 1에서 2로 간 뒤 가역 경로로 되돌아오는 순환에 부등식을 적용하면
엔트로피는 정의로 도입된 것이 아니라 제2법칙의 정리(theorem)로 존재가 보장된 양이다. “제2법칙은 엔트로피가 증가한다는 법칙”이라는 흔한 요약은 결론을 앞세운 것이고, 역사적·논리적 순서는 정반대다. 기관 효율에 대한 공학적 관찰 두 진술 카르노 정리 부등식 상태함수의 존재 순이다.
일반 형태로 쓰면 열린계에 대해
가 되고, 이 엔트로피 생성률 이 공학에서 실제로 계산하는 대상이다. 열전달·마찰·혼합·화학반응·교축이 각각 얼마나 생성에 기여하는지를 항별로 뽑는 것이 엔트로피 생성 최소화 설계의 출발점이다.
6. 가용에너지 — 엑서지와 잃어버린 일[편집]
제2법칙을 “무엇이 금지되는가”가 아니라 “얼마나 손해 봤는가”로 바꿔 읽으면 엑서지가 된다. 온도 , 압력 의 주위환경을 기준으로 잡을 때 정지 상태 계의 엑서지(가용에너지)는
이고, 유동에 대해서는 를 쓴다. 핵심은 마지막 항의 다. 엔트로피를 가진 에너지는 그만큼 일로 바꿀 수 없다. 그리고 비가역성이 만든 손실은 정확히 엔트로피 생성에 비례한다 — 구이-스토돌라 정리:
이 관계 덕분에 시스템 시뮬레이션에서 제2법칙이 회계 도구가 된다. 에너지 수지(제1법칙)만 보면 “열교환기에서 손실이 0”이라는 결론이 나오지만, 엑서지 수지를 보면 큰 온도차로 열을 주고받는 그 열교환기가 플랜트에서 가장 큰 손실원인 경우가 흔하다. 제1법칙은 에너지가 어디로 갔는지를 말하고, 제2법칙은 그것이 어디서 쓸모를 잃었는지를 말한다. 발전 플랜트에서 연소기 하나가 전체 엑서지 파괴의 큰 몫을 차지한다는 것이 이 분석의 고전적 결론이며, 에너지 효율만 보던 시절에는 보이지 않던 사실이다.2
7. 통계적 지위 — 법칙인가 확률인가[편집]
지금까지의 논의는 거시 열역학 안에서 완결된다. 그런데 미시 층위로 내려가면 성격이 바뀐다. 뉴턴 방정식도 슈뢰딩거 방정식도 시간 반전에 대칭인데, 그로부터 어떻게 방향을 가진 법칙이 나오는가?
답의 골격만 적으면 이렇다. 거시상태에 대응하는 위상공간 부피가 터무니없이 불균등하기 때문이다. 기체 개가 방의 절반에 몰린 상태와 고르게 퍼진 상태의 부피비는 이고, 이면 이 수는 논의할 가치가 없다. 그래서 임의의 비평형 상태는 더 큰 거시상태로 흘러갈 수밖에 없다 — 목적이 있어서가 아니라 다른 방향의 표적이 너무 작아서다.
그 결과 제2법칙의 지위는 절대 금지가 아니라 압도적 확률이 된다. 요동 정리는 이것을 등식으로 정밀화해서, 엔트로피를 만큼 감소시키는 궤적이 증가시키는 궤적보다 배 드물 뿐이라고 말한다. 인 콜로이드 입자 하나짜리 실험에서는 이 역방향 사건이 실제로 관측되고, 인 거시계에서는 그 지수가 즉시 관측 불가능으로 만든다. 우리가 제2법칙을 절대 법칙처럼 경험하는 이유는 지수함수 하나다.
여기서 자연히 따라오는 질문 — 그렇다면 역학에서 이 법칙을 유도할 수 있는가? 볼츠만이 1872년에 시도한 것이 그것이고, 그 시도와 실패의 정확한 지점, 그리고 로슈미트 역설이라는 반론까지는 H 정리 문서가 자세히 다룬다.
8. 도깨비와 지우기 — 여담이 된 반례[편집]
1867년 맥스웰이 만든 사고실험이 맥스웰의 도깨비다. 칸막이의 작은 문을 지키는 존재가 빠른 분자만 오른쪽으로, 느린 분자만 왼쪽으로 통과시키면 일 없이 온도차가 생기고, 이것으로 열기관을 돌릴 수 있다. 켈빈-플랑크 위반이다.
해소의 역사가 길다. 실라르드(1929)는 도깨비가 분자의 위치를 측정하는 순간 최소 만큼의 대가가 있어야 한다고 논증했고, 브리유앵이 측정 자체에 비용을 돌리는 노선을 이어갔다. 그런데 최종 정리는 다른 곳에서 나왔다 — 란다우어(1961)의 **란다우어 원리**다. 논리적으로 비가역인 연산, 즉 1비트를 지우는 데 최소
의 일이 필요하고 그만큼의 열이 방출된다. 베넷(1982)이 이것으로 도깨비 문제를 닫았다. 측정은 원리적으로 공짜로 할 수 있다. 공짜가 아닌 것은 기억을 비우는 일이다. 도깨비는 메모리가 유한한 이상 언젠가 기록을 지워야 하고, 그 순간 벌어들인 것을 정확히 토해낸다.
수치 시뮬레이션 하는 사람에게 이 결론이 남기는 것은 실용적인 한 줄이다. 에서 비트 하나 지우기의 이론 하한이 인데 현대 CMOS 논리 게이트 한 번의 소비는 그보다 몇 자릿수 위에 있다. 에너지 장벽은 아직 물리가 아니라 공학 쪽에 있다는 뜻이며, 동시에 언젠가는 물리 쪽 벽에 닿는다는 뜻이기도 하다.3
9. 시뮬레이션에서의 제2법칙[편집]
법칙이 코드 안에서 실제로 하는 일은 세 가지다.
- 해의 선별. 비선형 쌍곡형 보존법칙의 약해는 유일하지 않고, 그중 물리적인 것을 고르는 부등식이 엔트로피 조건이다. 이것이 없으면 충격파 코드가 팽창 충격이라는 자연에 없는 해를 태연히 뱉는다. 압축성 CFD에서 제2법칙은 철학이 아니라 로 솔버 디버깅 항목이다.
- 구성방정식의 제약. 연속체 이론에서 제2법칙의 국소 형태가 클라우지우스-뒤엠 부등식이며, 아래 문단에서 따로 본다.
- 결과 검증. 계산된 장에서 국소 엔트로피 생성률을 후처리로 뽑아 음수 영역이 있는지 보는 것은 값싸고 강력한 검증 및 확인 절차다. 음의 생성이 나오면 도식의 소산이 잘못 걸렸거나 물성 보간이 깨진 것이다. 시스템 코드 쪽에서는 같은 검사를 엑서지 수지로 한다.
클라우지우스-뒤엠 부등식은 헬름홀츠 자유에너지 밀도 , 응력 , 변형률속도 , 열유속 에 대해 다음 꼴로 쓴다.
콜먼-놀 논증은 이 부등식이 모든 가능한 과정에 대해 성립해야 한다는 요구에서 구성방정식의 형태를 강제로 좁힌다 — 열전도율이 음수일 수 없고, 점탄성 모형의 완화 스펙트럼이 아무 부호나 가질 수 없다는 결론이 여기서 나온다. 물성 모델을 새로 만들 때 제2법칙 적합성 검사는 선택이 아니다.
10. 자주 나오는 오해[편집]
- “엔트로피는 항상 증가한다.” 고립계에서만이다. 냉장고 안, 성장하는 생물, 결정화하는 액체는 전부 국소적으로 엔트로피를 낮추며 그 대가를 밖에 버린다. 계의 경계를 명시하지 않은 엔트로피 진술은 검증 불가능하다.
- “제2법칙은 생물의 진화를 부정한다.” 지구는 태양이라는 열원과 우주라는 열원 사이에 놓인 열린계다. 낮은 엔트로피의 가시광을 받아 높은 엔트로피의 적외선으로 버리며, 그 차이가 지구 위 모든 질서의 예산이다.
- “영구기관은 아직 못 만든 것뿐이다.” 제1종은 제1법칙이, 제2종(단일 열원에서 일을 뽑는 것)은 제2법칙이 금지한다. 특허청이 작동 모형 없이는 접수조차 하지 않는 몇 안 되는 주제다.
- “제2법칙은 통계적이니까 언젠가 깨진다.” 깨진다. 의 확률로. 거시계에서 그 수는 우주 나이 동안 한 번도 일어나지 않을 만큼 작고, 실무에서 “불가능”과 구별할 수단이 없다.
11. 관련 문서[편집]
- 엔트로피 · H 정리 · 로슈미트 역설 · 엔트로피 조건
- 카르노 사이클 · 엑서지 · 오토 사이클 · 디젤 엔진
- 맥스웰의 도깨비 · 란다우어 원리
- 깁스 자유에너지 · 헬름홀츠 자유에너지 · 화학평형
- 열전달 해석 · 압축성 유동 · 상전이 · 점탄성
- 정준 앙상블 · 미시정준 앙상블 · 최대 엔트로피 원리
- 검증 및 확인 · 전산유체역학
12. Footnotes[편집]
-
카르노는 열을 보존되는 유체(칼로릭)로 보고 “물레방아에서 물이 높은 곳에서 낮은 곳으로 떨어지며 일을 하듯, 열도 고온에서 저온으로 떨어지며 일을 한다”는 그림으로 논증했다. 전제가 틀렸는데 결론이 맞은 희귀한 사례이며, 그 이유는 그의 논증이 실제로는 열의 정체가 아니라 순환 논리와 불가능성 논증에 기대고 있었기 때문이다. 물리학사에서 “모형이 틀려도 대칭성 논증은 살아남는다”의 대표 사례로 인용된다. ↩
-
엑서지 분석의 결론이 종종 반직관적인 이유가 있다. 연소는 에너지를 하나도 잃지 않지만(제1법칙 기준 효율 99% 이상) 화학적으로 잘 정렬된 연료를 뜨거운 혼돈으로 바꾸므로 엑서지를 크게 파괴한다. “잘 타는 것”과 “잘 쓰는 것”이 다르다는 사실을 숫자로 처음 보여 준 것이 이 분석이고, 그래서 연료전지처럼 연소를 건너뛰는 경로가 열역학적으로 매력적인 것이다. ↩
-
이 하한이 실험으로 확인된 것은 2012년 이후다. 광집게로 붙잡은 콜로이드 입자를 이중 우물 퍼텐셜에 넣고 한쪽으로 몰아넣는(=1비트를 지우는) 과정에서 방출되는 열을 재니 를 아래로는 못 뚫었다. 즉 란다우어 하한은 사고실험이 아니라 측정된 값이다. 참고로 이 실험은 앞 절의 요동 정리 검증 실험과 장비가 사실상 같다. ↩