この記事では、次の問題およびその一般化について考えてみたいと思います.
容積の等しい個の容器があり、そのうち個には温度のお茶が、残りの個には温度の水が満杯に入っている.2つの容器を選んで触れ合わせる操作を繰り返すことで、お茶の温度はどこまで低くできるだろうか?
ただし以下のように仮定します.
- 2つの容器を触れ合わせる操作とは、内容物の温度が()である2つの容器に対して実数を選び、各容器の温度をに変化させる操作を指す.
- 上記以外の要因で液体の温度が変化することはない(勝手に冷めたりしない).
問題1は下記の動画で紹介されていた物理チャレンジの問題から着想を得て考えたものです.もともとの問題も面白いのでぜひ見てみてください.
動画→
熱力学のパズル問題に挑戦【物理チャレンジ】
例
問題の答えは明らかにに比例するので、以下ではとします.お茶の入った容器をとし、水の入った容器をとします.また容器の内容物の温度をで表し、容器の内容物の温度をで表します.初期状態は
です.
とを触れ合わせて温度を等しくすると
となります.次にとを触れ合わせて温度を等しくすると
となります.これを繰り返すと
という状態が実現されます.よってお茶の温度はまで低くできることがわかりました.
解法
実は上の例で見たという値がお茶の温度として実現しうる最小値になります.このことを証明しましょう.
まず関数を
で定めます.例えばのとき
のようになります.の中に等しい値がある場合、一見するとの定義が複数存在するように思えますが、どの定義を採用しても値が等しいことが容易に確かめられます.さらには次のような良い性質を持っています.
2つの容器を触れ合わせる操作によっての値が減少することはない.
操作は温度の高低を逆転させないので、操作前後の温度はいずれも
をみたすとしてよい.このとき操作前後のの値はいずれも
で与えられる.容器と()に操作をすると、はに、はに変化するが、この操作での値が減少しないことは上の式から容易にわかる.容器とに操作をする場合も同様である.
操作によってという状態が実現できたと仮定して矛盾を導きましょう.必要ならば容器を互いに触れ合わせることで、と仮定することができます.
よって上の状況での値は
となります.一方、初期状態でのの値は
と計算できます.なので、これは命題1に反しています.以上で、実現しうるお茶の温度の最小値はであることが示されました.
一般化
問題1では全ての容器の容積が等しい場合を考えました.では容器の容積が異なる場合はどうでしょうか?
容積の容器と容積の容器()があり、には温度のお茶が、容器()には温度の水が満杯に入っている.2つの容器を選んで触れ合わせる操作を繰り返すことで、お茶の温度はどこまで低くできるだろうか?
ただし以下のように仮定します.
- 2つの容器を触れ合わせる操作とは、内容物の温度が()で内容物の体積がである容器に対して実数を選び、各容器の温度をに変化させる操作を指す.
実はこれも同様の方法で解くことができます.以下では再びとします.問題1と同様に考えるとお茶の温度はまで下げられることが分かります.これが最小値であることを示しましょう.
容器の内容物の温度をで表し、容器の内容物の温度をで表します.関数を
で定めます.すると問題1と同様に、の中に等しい値がある場合もの値は一つに定まり、また操作によっての値は減少しないことが分かります.
操作によってという状態が実現できたと仮定して矛盾を導きましょう.必要ならば容器を互いに触れ合わせることで、と仮定することができます.
よって上の状況での値は
となります.一方、初期状態でのの値は
と計算できます.なので、これはの値が減少しないことに矛盾しています.以上で、実現しうるお茶の温度の最小値はであることが示されました.
水を分配する場合
こんな問題も考えてみましょう.
容積の等しい容器があり、には温度のお茶が、容器には温度の水が満杯に入っている.
(1) 2つ容器を触れ合わせる操作
(2) 容器に入っている水の一部を容器に移す操作
を組み合わせることで、お茶の温度はどこまで低くできるだろうか?
操作(2)は
- 容器に入っている水の一部を空の容器に移す操作
- 容器とを触れ合わせて温度を等しくする操作
- 容器に入っている水を全て容器に移す操作
に分解することができます.よって問題3は以下の問題と等価です.
容積の等しい容器があり、には温度のお茶が、容器には温度の水が満杯に入っている.
(1) 2つ容器を触れ合わせる操作
(2) 容器に入っている水の一部を空の容器に移す操作
(3) 温度の等しい容器に対し、に入っている水を全てに移す操作
を組み合わせることで、お茶の温度はどこまで低くできるだろうか?
以下ではこの問題4を考えていきます.再びと仮定します.問題4の操作(1)〜(3)について、次のように操作の順序を入れ替えられることが観察できます.
- (1)の後に(2)を行う操作は、(2)の後に(1)を(複数回)行う操作で代用できる.
- (3)の後に(1)を行う操作は、(1)を(複数回)行った後に(3)を行う操作で代用できる.
- (3)の後に(2)を行う操作は、(2)の後に(2)または(3)を行う操作で代用できる.
これらを繰り返すことで、一連の操作は「(2)を繰り返す→(1)を繰り返す→(3)を繰り返す」という形であると仮定することができます.最後の(3)を繰り返す部分はお茶の温度を変えないので、結局「に入っていた水をに分配した後に(1)を繰り返すことでお茶の温度をどこまで低くできるか」を考えればよいことになります.
そこで容器の容積をとし、に分配された水の体積をとします.以降が全て0である場合、問題2の解答よりお茶の温度の最小値はとなります.相加相乗平均の不等式より
であり、の場合に等号が成立します.よって以降が0という条件のもとでを動かしたときのお茶の温度の最小値はであることが分かりました.さらにを動かすと
なので、結局お茶の温度は以下にはならないが、にいくらでも近い温度が実現できることが示されました.
予想
問題4でお茶の方も移し替えを許した場合については、まだ私はわかっていません.おそらく問題4と同じ結果になる(お茶は移し替えない方が温度を下げられる)と予想しています.