宇宙イモムシの大冒険

かなり久しぶりの更新です。
次のような問題を考えてみましょ。


【問題】
勇敢な宇宙イモムシが宇宙を横断しようと決意しました。
宇宙には果てがあり、直径は 465 億光年、大体 4.65*10^{26} メートルあります。
宇宙イモムシは、その端っこにいます。
また、宇宙は 137 億年ごとに、465億光年ずつ一様に膨張するものとします(137 億年経ったら、いきなり瞬時に 465 億光年膨張するという設定)。
対して、宇宙イモムシはとてもノンビリ屋さんで、137 億年ごとに 4.65 センチ、つまり 4.65*10^{-3} メートルしか進むことができません。
さあ、この宇宙イモムシは、宇宙を横断することができるのでしょうかっ!


直感的に考えると、どう考えても無理そうです。
しかし、「宇宙が一様に膨張している」というのがポイントなのです。


簡単のため、137 億年を 1 単位時間とします。
最初の 1 単位時間で宇宙イモムシは全体の \frac{1}{10^{29}} を横断したことになります。
すると、直後に宇宙は膨張するわけですが、一様に膨張するので、宇宙イモムシが横断した割合は保持されることになります。
次の 1 単位時間では、2 倍の大きさになった宇宙の中を同じ速さで移動するので、さらに全体の \frac{1}{10^{29}*2} だけ横断することになります。
まとめると、n 単位時間に宇宙イモムシが宇宙を横断する割合は
\frac{1}{10^{29}}\sum_{k=1}^n\frac{1}{k}
です。
これが 1 になったとき、宇宙イモムシは宇宙を横断し切った、ということになりますね。


ところで、\sum_{k=1}^n\frac{1}{k}n \rightarrow \infty のときに調和級数と呼ばれ、直感に反して発散することが知られています。
このことは、
\sum_{k=1}^{\infty}\frac{1}{k} = 1 + \left(\frac{1}{2} + \frac{1}{3}\right) + \left(\frac{1}{4} + \frac{1}{5} + \frac{1}{6} + \frac{1}{7}\right) + \cdots > 1 + \left(\frac{1}{4} + \frac{1}{4}\right) + \left(\frac{1}{8} + \frac{1}{8} + \frac{1}{8} + \frac{1}{8}\right) + \cdots = 1 + \frac{1}{2} + \frac{1}{2} + \cdots
であり、右辺が無限大に発散することから明らかですね。


というわけで、n 単位時間に宇宙イモムシが横断する割合
\frac{1}{10^{29}}\sum_{k=1}^n\frac{1}{k}
もまた発散し、したがっていつかは 1 を超える、つまり宇宙イモムシは宇宙を横断することができる、という結論が得られます。


めでたし、めでたし。


ちなみに、膨張が一様でなく、宇宙イモムシがいるのと反対側の端っこだけがビュイーンと伸びるのであれば、宇宙イモムシが宇宙を横断することはできません。
一様に膨張することによってそれまでに横断した割合が保持されることがキーだったわけです。


さて。
実際に、横断するのにどれだけ時間がかかるのかを考えてみましょ。


オイラーさんは次のような等式を発見してくれました。
\sum_{k=1}^n\frac{1}{k} = \log n + \gamma + \epsilon_n
ここで、\gamma は 1 より小さい正の定数で、\epsilon_nn \rightarrow \infty で 0 に収束する正の数です。
それから、\log はもちろん、自然対数です。


この等式を使うと、横断にかかる時間 n について考えたとき、
\frac{1}{10^{29}}(\log n + \gamma + \epsilon_n) = 1
より
\log n + \gamma + \epsilon_n = 10^{29}
となって、\gamma\epsilon_n10^{29} に比べると無視できるくらい小さいので無視すると
\log n = 10^{29}
\frac{\log_{10}n}{\log_{10}e} = 10^{29}
\log_{10}n = 10^{29}\log_{10}e
ここで、\frac{1}{10} < \log_{10}e < 1 なので
10^{28} < \log_{10}n < 10^{29}
よって、n は 10^{28} 桁の数(☆)です。


えー。
10^{28} というと
10000000000000000000000000000
です。
おっきーですね。
しかし!
☆は、桁数がこの数なのです。桁数が 10000000000000000000000000000。
想像を絶します。
どれくらい大きいのか、大雑把に確認してみましょう。


1秒に1万文字を印刷できるプリンターを使ったとすると、1年間に 10^4 * 60 * 60 * 24 * 365 文字を印刷できますが、
これが全体に占める割合は \frac{10^4 * 60 * 60 * 24 * 365}{10^{28}} < \frac{1}{10^{17}} です。
したがって、印刷するだけで少なくとも 10^{17} 年かかる数、です。
印刷するだけで!
そして、そのような数(☆)分だけの単位年数が、横断にかかるというわけです!!!
…自分の語彙力では、その大きさを上手く言葉にすることができません。ああ。


ちなみに、1 単位年が 137 億年なので、☆*13700000000 が、横断にかかる本当の年数です。
ただ、☆に比べると 13700000000 はあまりに小さいので、誤差の範囲と言えるかもしれません。


結論。
勇敢な宇宙イモムシは宇宙を横断することができるが、そのためには想像を絶する忍耐力が必要である。