Geometry & Recognition

열용량이 $C_i$이고 절대온도가 $T_i$인 $N$개의 물체를 열접촉을 시키자. 물체들 사이의 열교환에 의해서 시간이 충분히 지나면 모든 물체는 같은 온도 $\bar{T}$를 가지는 평형상태에 도달한다. 이때 열역학 1법칙에 의해서 각 물체가 방출하거나 흡수한 열량의 총합은 0이 되어야 한다는 사실에서 평형상태의 온도를 알아낼 수 있다.

$$\sum C_i(T_i-\bar{T})=0\to \bar{T}=\frac{\sum C_i{T}_i}{\sum C_k}$$

열전도 과정은 비가역과정이므로 열역학 2법칙에 의해서 엔트로피가 증가해야 한다. 평형상태에 이르는 과정에서 증가한 엔트로피는 다음과 같이 계산이 된다. 

$$\begin{gathered} \mathrm{\Delta }S=\sum {\int }_{T_i}^{\bar{T}}\frac{C_{i}dT}{T}=\sum C_i\ln \frac{\bar{T}}{T_i}\ge 0 \\ \text{or}\sum C_i\ln \bar{T}\ge \sum C_i\ln T_i \end{gathered}$$

양변을 열용량의 합 $\sum C_k$로 나누면 

$$\sum p_i{T}_i\ge \prod T_i^{p_i},0\le p_i=\frac{C_i}{\sum C_k}\le 1,\sum p_i=1$$

이어서 가중치를 가지는 AM-GM inequality가 증명된다. 등호는 처음 모든 물체의 온도가 같은 경우에 성립하는데 이때는 열교환이 없으므로 엔트로피의 변화가 없기 때문이다. 이 증명은 같은 온도, 같은 압력을 가지는 서로 다른 이상기체를 섞는 과정에서 entropy 변화를 이용해서도 보일 수 있다.

Communicating vessels 시스템을 이용하면 수학적으로 매우 중요한 여러 가지 부등식을 간단히 물리법칙을 이용해서 증명할 수 있는데 여기서는 Jessen 부등식을 보이자. Jensen 부등식은 convex 함수 $F(x)$가 있을 때 주어진 값들의 convex combination에서의 함숫값은 각각의 점에서 함숫값의 convex conbination보다 클 수 없다는 것을 나타낸다.

$$F(\sum p_i{x}_i)\le \sum p_{i}F(x_i),\sum p_i=1,0\le p_i\le 1$$

물론 함수가 concave면 부등식은 반대로 적용된다. 

이를 물리법칙을 이용해서 증명하기 전에 먼저 높이에 따라 단면적이 달라지는 한 물기둥(기준 물기둥)을 고려하자. 높이 $y$일 때 물기둥에 담긴 물의 총량을 $m(y)$라고 하면 이는 높이 $y$의 증가함수이다: $dm/dy>0$. 이제 이 기준 물기둥의 단면적을 각각 $w_i$배만큼 늘려진 모양을 갖는 물기둥 $N$개를 준비한 후, 각 기둥의 맨 아래 부분이 서로 연결할 수 있게 밸브를 설치해서 그림과 같은 communicating vessels 시스템을 만든다.

밸브가 열리기 전 $i-$번째 물기둥의 높이를 $y_i$라면 담긴 물의 양은 $M_i(y_i)=w_{i}m(y_i)\equiv w_i{m}_i$가 된다. 그리고 물의 총량은 $M_{\text{tot}}=\sum M_i(y_i)=\sum w_i{m}_i$이다.

밸브를 열면 물기둥 사이의 수압의 차이에 의해서 물이 이동하게 되고 이 과정에서 에너지의 감쇄로 인해 모든 물기둥의 높이가 같아지는 평형상태에 도달한다.  물의 총량은 보존되어야 하므로 평형상태의 물기둥의 높이를 $\bar{y}$라면 

$$\sum M_i(y_i)=\sum M_i(\bar{y})\to m(\bar{y})=\frac{\sum w_i{m}_i}{\sum w_k}$$

밸브를 열기 전 물기둥 속 물의 총 중력위치에너지는 

$$P{E}_{\text{initial}}=\sum w_{i}g{\int }_0^{y_i}ydm=\sum w_{i}U(y_i)$$

여기서 높이 $y$일 때 기준 물기둥의 단면적를 $A(y)$라면 기준 물기둥 속 물의 위치에너지와 물의 질량은 각각

$$\begin{gathered} U(y)\equiv g{\int }_0^y{y}^{\prime }d{m}^{\prime }=g{\int }_0^y\rho y^{\prime }A(y^{\prime })d{y}^{\prime } \\ m(y)={\int }_0^y\rho A(y^{\prime })d{y}^{\prime } \end{gathered}$$

밸브를 열어 평형상태에 도달한 이후 물의 총 중력위치에너지는

$$P{E}_{\text{final}}=\sum w_{i}U(\bar{y})$$

평형상태에 이르는 과정에서의 에너지 손실을 고려하면 $P{E}_{\text{final}}\le P{E}_{\text{initial}}$이므로

$$U(\bar{y})\le \frac{\sum w_{i}U(y_i)}{\sum w_k}$$

임을 알 수 있다.

물기둥에 담긴 물의 양이 높이의 증가함수이므로 $U$는 물의 양 $m$의 함수로 생각할 수 있다. 또한 단면적을 선택할 수 있는 자유도가 있으므로 $U$에 대해서 사전에 특별한 제약조건이 주어지지는 않았다. 그렇지만

$$\begin{gathered} \frac{dU}{dm}=\frac{dU/dy}{dm/dy}=gy \\ \frac{d^{2}U}{d{m}^2}=\frac{g}{dm/dy}>0 \end{gathered}$$

이어서 $U$가 $m$에 대해서 convex 함수임을 볼 수 있다. 이제 높이 대신 $m$으로 표현하면

$$U(\bar{m})\le \sum p_{i}U(m_i),0\le p_i=\frac{w_i}{\sum w_k}\le 1$$

또는

$$U(\sum p_i{m}_i)\le \sum p_{i}U(m_i),(\sum p_i=1,0\le p_i\le 1)$$

을 얻는다. 등호는 모든 물기둥의 처음 높이가 같아서 처음부터 평형상태에 있는 경우에 해당한다. 다시 언급하지만 수학적인 방법을 동원하지 않고, 질량 보존법칙과 물리계가 평형상태에 이루는 과정에서 에너지적으로 가장 낮은 상태로 향한다는 자명한 물리법칙을 이용해서 증명하였다.

Convex 함수로 $U(x)=-\log (x)$를 선택하면(note: $d^{2}U/d{x}^2=1/x^2>0$) Jensen의 부등식에서 아래처럼 산술평균-기하평균에 관한 부등식을 얻을 수 있다.

$$-\log (\sum p_i{m}_i)\le -\sum p_i\log (m_i)$$

$$\to \sum p_i{m}_i\ge \prod m_i^{p_i}:\text{AM-GM Inequality}$$

질량 $M_{\ast }$이고, 반지름이 $R_{\ast }$인 행성의 표면에 그림과 같이 밑변이 서로 연결된 $N$개의 물기둥(communicating vessels)을 고려하자. 각 물기둥의 단면적은 $A_i$이고, 처음 물기둥의 (별의 중심에서 잰) 높이는 $R_i\ge R_{\ast }$로 되어 있다. 이웃하는 물기둥을 연결하는 밸브를 열기 전 물기둥에 담긴 물의 중력위치에너지는 (물의 밀도 $\rho$)

$$U_{\text{initial}}=-\sum {\int }_{R_{\ast }}^{R_i}\frac{G{M}_{\ast }\rho A_{i}dr}{r}=-G{M}_{\ast }\rho \sum A_i\ln \left(\frac{R_i}{R_{\ast }}\right)$$

이제 관을 연결하는 밸브를 모두 열면 수압의 차이에 의해서 각 물기둥 사이에 물의 교환이 생기게 되고, 결국에는 모든 물기둥의 높이는 공통의 값 $R_i\to \bar{R}$을 가지게 되어 더 이상 물의 교환이 생기지 않는 평형상태에 도달한다. 이 과정에서 물의 총량(총 부피)은 보존이 되므로 

$$\sum A_i(R_i-R_{\ast })=\sum A_i(\bar{R}-R_{\ast })$$

를 만족하므로 평형상태에서 물기둥의 높이는
$$\bar{R}=\frac{\sum A_i{R}_i}{\sum A_i}=\sum p_i{R}_i,p_i\equiv \frac{A_i}{\sum A_k}$$

물기둥이 평형에 이르기 위해서는 일부 에너지를 마찰등에 의해서 일어버리는 과정이 있어야 한다. 그렇지 않으면 각각의 물기둥은 영원히 출렁거리게 된다. 평형이 이르는 물리적인 프로세스가 다음의 부등식이 항상 성립함을 보증함을 알 수 있다.

$$\begin{gathered} U_{\text{initial}}\ge U_{\text{final}} \\ -G{M}_{\ast }\rho \sum A_i\ln \left(\frac{R_i}{R_{\ast }}\right)\ge -G{M}_{\ast }\rho \sum A_i\ln \left(\frac{\overline{R}}{R_{\ast }}\right) \end{gathered}$$

등호는 처음 물기둥의 높이가 모두 같은 경우에 성립한다.  이 식을 다시 정리하면 각각의 물기둥의 단면적으로 가중치를 준 물기둥 높이의 산술평균(arithmatic mean)은 기하평균(geometric mean)보다도 크거나 같다는 것을 보여준다.

$$\bar{R}\ge \prod R_i^{p_i}$$

$R_i$가 일반적인 양의 실수이므로 위 부등식은 일반적인 양의 실수 사이의 가중치 산술평균과 기하평균 사이에 다음의 부등식이 성립함을 의미한다.

$$\sum p_i{R}_i\ge \prod R_i^{p_i},(\sum p_i=1,p_i\ge 0)$$

이 부등식은 수학적인 증명 대신 물리계인 communicating vessels 시스템이 평형상태에 도달하는 과정에서 물의 양은 보존되지만, 평형상태에 이르는 과정에서 계가 항상 더 낮은 에너지 상태로 옳겨간다는 사실만을 이용하여 보였다.

이제 물기둥 시스템의 크기가 행성의 크기보다 매우 작을 때를 고려하자. 즉, 행성 표면에서 잰 물기둥의 높이가 $h_i=R_i-R_{\ast }\ll R_{\ast }$인 경우 앞의 결과를 $h_i^2$의 order까지 전개하면 다음과 같은 식을 얻을 수 있다.

$$-\frac{G{M}_{\ast }\rho }{R_{\ast }^2}\sum A_i(R_{\ast }\overline{h}-\frac{1}{2}{\overline{h}}^2)\ge -\frac{G{M}_{\ast }\rho }{R_{\ast }^2}\sum A_i(R_{\ast }{h}_i-\frac{1}{2}{h}_i^2)$$

$\sum A_i\bar{h}=\sum A_i{h}_i$이므로 

$$\frac{\sum A_i{h}_i^2}{\sum A_j}\ge {\overline{h}}^2$$

따라서, $x_i^2=A_i{h}_i^2$, $y_i^2=A_i$로 놓으면, ${\overline{h}}^2=(\sum A_i{h}_i{)}^2/(\sum A_k{)}^2=(\sum x_i{y}_i{)}^2/(\sum y_i^2{)}^2$이므로 위의 결과에서 Cauchy-Schwartz 부등식을 얻을 수 있음을 알려준다. $$(\sum x_i^2)(\sum y_i^2)\ge {(\sum x_i{y}_i)}^2$$