JGeek Log

About HOME Codes/ Posts
Amazon.co.jp
Mostly in Japanese
Filter English/Japanese
コメントいっこいれる
Archives
過去ログ
ディアスポラ数理研 副日記: . 研究mixi 読み中
Previously on JGeek Log: 40+ M Tokyo Geek of [SciFi+Science+Game] who had got a [degree+wife+job] keeps geeky blogging. This year he's crazy about insects.
 | 

2011-07-28

[][][] 直交宇宙

The Clockwork Rocket (Orthogonal)

The Clockwork Rocket (Orthogonal)

「もしも時空の構造がR^4だったら?」という世界のお話。時間直交、のほうがいいかな?いろいろとエキセントリックな現象が起こる世界で、エキセントリックな生態の知的生物が危機に立ち向かう三部作の第一部です。時間が絡む話だから、タイムパラドクスとか自由意志の問題とか、SF的大ネタが炸裂しまくりそうな予感。なにしろタイムトラベルも物理法則で許可される世界だから。

作中で自由粒子の相対論的速度領域での統計力学が議論されてて、これがエキセントリックだったので自分で計算して検証しました。以下自分でやりたい人やネタバレ嫌な人はスキップ

運動量

R^4中の世界線の向きをどう表現するか。線に沿って動いていると常に線の長さに比例した主観時間が経過するので、単位時間に動く長さのベクトルにするのが自然。これに静止質量をかければ運動量になりそう。静止質量が座標系によらなければこれは単純に幾何学的定義なので座標系によらないベクトルとなる。速度Vで動く物体は単位時間に空間をV移動し、時間方向に定数C動くとすると接線ベクトルは

¥Large (V_x, V_y, V_z, C)/¥sqrt{V^2+C^2}

主観時間で測って単位時間にC動くんでこれにCかけると

¥Large (V_x, V_y, V_z, C)/¥sqrt{1+(V/C)^2}

となる。これに静止質量をかけたものを運動量にしてみる。複数の粒子の運動量の合計が、ある座標系で見て、ある物理過程の前と後で同じだとする。ある2つのベクトルが等しい、というのは座標系によらない話なのでこの運動量を使えば保存則は座標に依存しない。てことでこれが正解っぽい。

ところでこのベクトルの時間成分に-CをかけたものはVが小さいとき

¥Large -m_0 C^2/¥sqrt{1+(V/C)^2}¥sim m_0(V^2/2 - C^2)

となり運動エネルギー+定数になる。これをエネルギーにすれば、あら便利、エネルギー保存も自明に。というわけで

¥Large E= -m_0 C^2/¥sqrt{1+(V/C)^2}

ちなみにうちらの世界では

¥Large E= m_0 C^2/¥sqrt{1-(V/C)^2}

熱力学

エネルギーE〜E+dEの範囲にある、速度の位相空間の体積を求める。接線ベクトルは四次元空間の単位球の表面にあるので、E~E+dEの範囲にある球面の面積が位相空間の体積だとするのが自然。面倒なんでm_0=C=1にして計算するとその面積は

¥Large dE ¥pi ¥sqrt{1-E^2}

この対数を取ってEで微分したものの逆数が温度。

¥Large T= ¥frac{1-E^2}{E}

普通に単調な関数です。グラフはこちら

しかしイーガンの計算ではこれが途中で無限に飛んでから符号が変わるとなっていて、それが世界設定にも深くかかわっている。

http://gregegan.customer.netspace.net.au/ORTHOGONAL/05/Thermodynamics.html

どうなんだろう。位相空間の体積の定義で自分の計算と違ってきている。識者の意見を待ちます。

たざきたざき 2011/07/29 13:57 ううむ。もう出ていたのか。

Incandescence の素晴らしらにイーガンファンになりかかった私ではあるが、このあいだの Sendagaya かなんかいうのが、まったく××××だったので、こっちに手を出すかどうか悩むのお。いよいよ年をとって体力が落ちて本を読む時間がなくなってきたし。
密かに板倉さんの反応をモニタして意思決定しよう。

itaita 2011/07/29 19:16 今、半分ほどまで読みましたが、物理屋さんだったらファインマンの教科書を読む感じでサクサクいけると思います。図がたくさんあっていいです。Incandescenceよりいい出来です。

スパム対策のためのダミーです。もし見えても何も入力しないでください
ゲスト


画像認証

トラックバック - http://d.hatena.ne.jp/ita/20110728/p1
 | 
Contact: Mitsuhiro Itakura/板倉充洋
ita.mitsu spam @ gmail, sausage, spam, egg, and com
最近のコメント

#. DATE NAME

1. 12/29 takara
2. 08/21 ita
3. 08/21 肉
4. 07/28 ita
5. 07/28 たざき
6. 11/10 ita
7. 03/23 ita
8. 03/23 hal_tasaki
9. 03/23 hal_tasaki
最近のTB

#. DATE  NAME

CALENDAR
<< 2011/07 >>
1 2
3 4 5 6 7 8 9
10 11 12 13 14 15 16
17 18 19 20 21 22 23
24 25 26 27 28 29 30
31
THIS BLOG CONTAINS UNFOOLPROOFED ENTRIES AND DUE TO ITS CONTENT SHOULD NOT BE VIEWED BY ANYONE■