お茶をどこまで冷ませるか？

この記事では、次の問題およびその一般化について考えてみたいと思います．

ただし以下のように仮定します．

• 2つの容器を触れ合わせる操作とは、内容物の温度が$a,b$（$a< b$）である2つの容器に対して実数$t\in \left[0,\dfrac{b-a}{2}\right]$を選び、各容器の温度を$a+t,b-t$に変化させる操作を指す．
• 上記以外の要因で液体の温度が変化することはない（勝手に冷めたりしない）．

問題1は下記の動画で紹介されていた物理チャレンジの問題から着想を得て考えたものです．もともとの問題も面白いのでぜひ見てみてください．

動画→ 熱力学のパズル問題に挑戦【物理チャレンジ】

例

問題の答えは明らかに$K$に比例するので、以下では$K=1$とします．お茶の入った容器を$A$とし、水の入った容器を$B_1,\dots,B_n$とします．また容器$A$の内容物の温度を$x$で表し、容器$B_i$の内容物の温度を$y_i$で表します．初期状態は
$(x,y_1,\dots,y_n)=(1,0,\dots,0)$
です．
$A$と$B_1$を触れ合わせて温度を等しくすると
$$(x,y_1,\dots,y_n)=\left(\dfrac{1}{2},\dfrac{1}{2},0\dots,0\right)$$
となります．次に$A$と$B_2$を触れ合わせて温度を等しくすると
$$(x,y_1,\dots,y_n)=\left(\dfrac{1}{4},\dfrac{1}{2},\dfrac{1}{4},0\dots,0\right)$$
となります．これを繰り返すと
$$(x,y_1,\dots,y_n)=\left(\dfrac{1}{2^n},\dfrac{1}{2},\dfrac{1}{4},\dots,\dfrac{1}{2^n}\right)$$
という状態が実現されます．よってお茶の温度は$\dfrac{1}{2^n}$まで低くできることがわかりました．

解法

実は上の例で見た$\dfrac{1}{2^n}$という値がお茶の温度として実現しうる最小値になります．このことを証明しましょう．
まず関数$f(x,y_1,\dots,y_n)$を
$$y_{i_1}\leq\dots\leq y_{i_k}\leq x \leq y_{i_{k+1}}\leq \dots\leq y_{i_n}\implies f(x,y_1,\dots,y_n)=\sum_{j=1}^k\dfrac{y_{i_j}}{2^j}+\frac{x}{2^k}$$
で定めます．例えば$n=3$のとき
$$ y_2\leq y_3\leq x \leq y_1\implies f(x,y_1,y_2,y_3)=\frac{y_2}{2}+\frac{y_3}{4}+\frac{x}{4} $$
のようになります．$x,y_1,\dots,y_n$の中に等しい値がある場合、一見すると$f(x,y_1,\dots,y_n)$の定義が複数存在するように思えますが、どの定義を採用しても値が等しいことが容易に確かめられます．さらに$f$は次のような良い性質を持っています．

操作によって$x<\dfrac{1}{2^n}$という状態が実現できたと仮定して矛盾を導きましょう．必要ならば容器$B_1,\dots,B_n$を互いに触れ合わせることで、$y_1=\dots=y_n$と仮定することができます．

よって上の状況で$f$の値は
$$ f(x,y_1,\dots,y_n)=x $$
となります．一方、初期状態での$f$の値は
$$ f(1,0,\dots,0)=\frac{1}{2^n} $$
と計算できます．$x<\dfrac{1}{2^n}$なので、これは命題1に反しています．以上で、実現しうるお茶の温度の最小値は$\dfrac{1}{2^n}$であることが示されました．

一般化

問題1では全ての容器の容積が等しい場合を考えました．では容器の容積が異なる場合はどうでしょうか？

ただし以下のように仮定します．

• 2つの容器を触れ合わせる操作とは、内容物の温度が$a,b$（$a< b$）で内容物の体積が$V,W$である容器に対して実数$t\in \left[0,\dfrac{b-a}{V+W}\right]$を選び、各容器の温度を$a+Wt,b-Vt$に変化させる操作を指す．

実はこれも同様の方法で解くことができます．以下では再び$K=1$とします．問題1と同様に考えるとお茶の温度は$\displaystyle\prod_{i=1}^n\dfrac{1}{1+V_i}$まで下げられることが分かります．これが最小値であることを示しましょう．
容器$A$の内容物の温度を$x$で表し、容器$B_i$の内容物の温度を$y_i$で表します．関数$f(x,y_1,\dots,y_n)$を
$$y_{i_1}\leq\dots\leq y_{i_k}\leq x \leq y_{i_{k+1}}\leq \dots\leq y_{i_n}\implies f(x,y_1,\dots,y_n)=\sum_{j=1}^k\dfrac{V_{i_j}y_{i_j}}{\prod_{m=1}^j{(1+V_{i_m})}}+\frac{x}{\prod_{m=1}^k(1+V_{i_m})}$$
で定めます．すると問題1と同様に、$x,y_1\dots,y_n$の中に等しい値がある場合も$f$の値は一つに定まり、また操作によって$f$の値は減少しないことが分かります．
操作によって$x<\displaystyle\prod_{i=1}^n\dfrac{1}{1+V_i}$という状態が実現できたと仮定して矛盾を導きましょう．必要ならば容器$B_1,\dots,B_n$を互いに触れ合わせることで、$y_1=\dots=y_n$と仮定することができます．

よって上の状況で$f$の値は
$$ f(x,y_1,\dots,y_n)=x $$
となります．一方、初期状態での$f$の値は
$$ f(1,0,\dots,0)=\prod_{i=1}^n\frac{1}{1+V_i} $$
と計算できます．$x<\displaystyle\prod_{i=1}^n\dfrac{1}{1+V_i}$なので、これは$f$の値が減少しないことに矛盾しています．以上で、実現しうるお茶の温度の最小値は$\displaystyle\prod_{i=1}^n\dfrac{1}{1+V_i}$であることが示されました．

水を分配する場合

こんな問題も考えてみましょう．

操作(2)は

• 容器$B_i$に入っている水の一部を空の容器$B_k$に移す操作
• 容器$B_j$と$B_k$を触れ合わせて温度を等しくする操作
• 容器$B_k$に入っている水を全て容器$B_j$に移す操作

に分解することができます．よって問題3は以下の問題と等価です．

以下ではこの問題4を考えていきます．再び$K=1$と仮定します．問題4の操作(1)〜(3)について、次のように操作の順序を入れ替えられることが観察できます．

• (1)の後に(2)を行う操作は、(2)の後に(1)を（複数回）行う操作で代用できる．
• (3)の後に(1)を行う操作は、(1)を（複数回）行った後に(3)を行う操作で代用できる．
• (3)の後に(2)を行う操作は、(2)の後に(2)または(3)を行う操作で代用できる．

これらを繰り返すことで、一連の操作は「(2)を繰り返す→(1)を繰り返す→(3)を繰り返す」という形であると仮定することができます．最後の(3)を繰り返す部分はお茶の温度を変えないので、結局「$B_1$に入っていた水を$B_1,B_2,\dots$に分配した後に(1)を繰り返すことでお茶の温度をどこまで低くできるか」を考えればよいことになります．

そこで容器の容積を$1$とし、$B_1,B_2,\dots$に分配された水の体積を$V_1,V_2,\dots$とします．$V_{n+1}$以降が全て0である場合、問題2の解答よりお茶の温度の最小値は$\displaystyle \prod_{i=1}^n \dfrac{1}{1+V_i}$となります．相加相乗平均の不等式より
$$ \prod_{i=1}^n \dfrac{1}{1+V_i}\geq\left(\frac{n}{\sum_{i=1}^n(1+V_i)}\right)^n=\left(\frac{n}{n+1}\right)^n $$
であり、$V_1=\dots=V_n$の場合に等号が成立します．よって$V_{n+1}$以降が0という条件のもとで$V_1,\dots,V_n$を動かしたときのお茶の温度の最小値は$\left(\dfrac{n}{n+1}\right)^n$であることが分かりました．さらに$n$を動かすと
$$ \lim_{n\to \infty}\left(\frac{n}{n+1}\right)^n=\frac{1}{e} $$
なので、結局お茶の温度は$1/e$以下にはならないが、$1/e$にいくらでも近い温度が実現できることが示されました．

予想

問題4でお茶の方も移し替えを許した場合については、まだ私はわかっていません．おそらく問題4と同じ結果になる（お茶は移し替えない方が温度を下げられる）と予想しています．