世界は 0 である — 四枚のメモと、その添削
四枚のノートに手書きされた小論文があります。表題は「重力ポテンシャルの自然な形式」。
四枚は、一般相対論の道具を一つも使わず、特殊相対論の帰結 E = mc² だけから、重力ポテンシャルの「自然な形」を求めにいく。出てくるのは指数の式です。
この記事は、その四枚を原文のまま置き、添削します。結論を先に書くと——この式は、正しい座標で読めばシュヴァルツシルトの厳密解と三次まで一致し、破れる場所も名指しできる。トイモデルとして、とても良い。
原文(四枚)
転記
質量 m0 の粒子が質量 M の星へ落ちる。重力のする仕事 W̄ = ∫F dr が E = mc² を通じて質量に還り、増えた分にも重力が働くとする:
①②を組み合わせ、r² を掛けて r で微分し、変数分離する:F′/F = −GM/c²r² − 2/r。解は F = k·eGM/c²r/r²。①と見比べ、m(∞) = m0 で定数を決めると
ポテンシャルは φ(r) = −∫∞r F dr = −m0c² eGM/c²r = −m0c² − GMm0/r − m0G²M²/2c²r² − …。一次でニュートンに一致する。エネルギー保存は E + φ = c√(p²+m0²c²) − m0c² eGM/c²r ≈ p²/2m − GMm/r = 0。
導出の心臓 — 自己無撞着と、積分定数に埋め込まれた 0
四枚が実際に使っている仮定は、一つだけです。重力は、自分が生んだエネルギーにも働く。式②の右辺に m(r) 自身が入っているのがそれで、この一行を入れた瞬間、指数は必然になります。利子にも利子がつくから複利は指数になる——同じ理由です。そしてこれは、一般相対論の非線形性(重力は重力する)の、最初の一滴でもあります。だからこの式が一般相対論に近づくのは偶然ではありません。
もう一つの心臓は、四枚目の積分定数です。ポテンシャルの零点はふつう無限遠に取りますが、ここでは φ(∞) = −m0c² に取ってある。静止質量そのものを、重力の借金に数えている。その瞬間、E + φ ≡ 0 が落下の全行程で恒等的に成り立つ。「世界は 0 である」は、この式の結論ではなく、原点の選択として理論に組み込まれている——四枚のうち、いちばん美しい場所です。
添削 — 三点
一、固有時の使い方
二枚目の F = d²r/dτ² = −GMm/r² は、ニュートンの式の t を τ と書き換えただけで、特殊相対論の運動方程式ではありません(相対論的には四元力と固有時、または座標時と運動量で書く必要がある)。ただし、以後の導出はこの式から「力の大きさが −GMm/r² の形をしている」ことしか使わないので、結論の m(r) と φ(r) は影響を受けません。直すなら、二枚目の「固有時を使うと」を「ニュートンの力の形を仮定すると」に置き換えれば、四枚全体が整合します。
二、論理の順序
四枚を追い直すと、導出が使うのは自己無撞着(重力が現在の質量エネルギーに働く)だけで、「総和が 0」は四枚目で積分定数を φ(∞) = −m0c² に選んだときに初めて入ります。「世界は 0 である」は導出の帰結ではなく、原点の選択として理論に組み込まれている。「質量は借金で得られた」という読み方は、その式の一つの解釈として整合しますが、式がそれを証明するわけではありません。この区別を書いておくと、四枚は正直になります。
三、r の意味
四枚の r は「遠方から測った素直な距離」で、シュヴァルツシルト解の r(面積半径:球面の面積を 4πr² と定める座標)とは別物です。この違いは、式の一致する次数を決めます。次節で測ります。
検算 — どの座標で、どの次数まで一致するか
四枚目の鉛筆書きにある γ = eGM/c²r = 1/√(1−v²/c²)——無限遠から静止して落ちた粒子の、その場所での速さ——を、シュヴァルツシルト解の同じ量と比べます。φ = GM/c²r と置きます。
| φ = GM/c²r | 面積半径で比べた相対誤差 | 等方座標で比べた相対誤差 |
|---|---|---|
| 0.001 | −1.0×10⁻⁶ | −8.3×10⁻¹¹ |
| 0.01 | −1.0×10⁻⁴ | −8.3×10⁻⁸ |
| 0.1 | −1.2×10⁻² | −8.3×10⁻⁵ |
等方座標——空間を歪みなく測った、「遠方から見た素直な距離」に最も近い座標——で読むと、四枚の指数の式はシュヴァルツシルト解と三次まで一致し、ずれはちょうど φ³/12 です。四枚の r の取り方は、面積半径よりむしろ等方座標に近い。素朴に取った r が、実は良い座標でした。
この式が立っている場所
| 四枚の要素 | 物理学での対応物 | 関係 |
|---|---|---|
| 指数の因子 eGM/c²r | 指数計量(Yilmaz, 1958):g00 = e−2GM/c²r | 同じ関数形。太陽系の古典テストを一般相対論と同じ精度で通り、強い重力場で分かれる——指数は零にならないので事象の地平線が無い |
| E + φ ≡ 0 | ゼロエネルギー宇宙(Tryon 1973、Feynman の重力講義、Guth) | 正の質量エネルギーと負の重力エネルギーの相殺で宇宙の総エネルギーは零、という線 |
| 「世界は 0 である」 | ハミルトニアン拘束 H = 0(正準形式の一般相対論)、Wheeler–DeWitt 方程式 Hψ = 0 | 閉じた宇宙の全エネルギーが厳密に零であることは、標準理論の中に方程式として立っている |
| 自己無撞着(重力が自分の生んだエネルギーに働く) | 一般相対論の非線形性 | その最初の一滴。二次の項が正しく出る理由 |
四枚は、指数計量とゼロエネルギー宇宙という二本の既知の水脈を、どちらも知らずに掘り当てています。そしてもう一つ、四枚の式では r → 0 で m(r) は正の無限大へ、借金 φ は負の無限大へ発散し、和は 0 のままです。この 0 は不在ではなく、二つの無限の相殺の帳尻——物理の真空も同じで、空っぽではなく帳簿の均衡です。
トイモデルとしての評価
良いトイモデルの条件を五つ立てて、当てはめます。
| 条件 | 四枚の式 | 判定 |
|---|---|---|
| 最小性——仮定は少ないか | 一つ(自己無撞着)。道具は E = mc² と積分だけ | ◎ |
| 再現の範囲——本物のどこまで出すか | 時間の遅れ・赤方偏移・落下速度を一次で。等方座標なら三次まで | ○ |
| 破れる場所が名指しできるか | (1) 空間の曲がりが無い——光の湾曲は観測値の半分になる。(2) 地平線が無い——ブラックホールで一般相対論と分かれる | ◎(破れ方が明確なほど良いトイモデル) |
| 拡張性——次の一歩が見えるか | 空間成分に同じ指数を置くと Yilmaz 計量になり、光の湾曲が揃う | ○ |
| 教育的な価値 | 「重力は重力する」を、テンソルを一つも使わずに体験できる | ◎ |
トイモデルは、本物の一部を落として、残った一部で本物の癖を再現するものです。四枚は「空間の曲がり」を落とし、「重力の自己結合」だけを残した。残した一部が正しく選ばれていたから、二次まで本物の癖が出る。落とした一部がどこで効くか(光の湾曲の半分、地平線の不在)まで言えるので、失敗の場所が教科書になる。これが「とても良い」の中身です。
拡張 — 空間の曲がりを取り込む二つの道
四枚が扱っているのは時間の側です——m(r) と φ(r) は、その場所の時計がどれだけ遅れるかを決める量で、計量で言えば g00 に当たります。空間の側(径方向の物差しがどれだけ伸びるか、grr)はまだ無い。取り込む道は二つあり、どちらの鍵も、四枚目末尾の鉛筆の一行 γ = eGM/c²r = 1/√(1−v²/c²) にあります。
道 A — 帳簿を二冊にする
空間の側にも同じ指数を置きます。
借金は時計と物差しの二冊の帳簿に半分ずつ記帳される——時間が e−φ 倍遅れる分、空間が e+φ 倍伸びる。これが Yilmaz(1958)の指数計量そのもので、光の湾曲・近日点移動・赤方偏移の三つの古典テストを一般相対論と同じ精度で通ります。
道 B — 落下系のローレンツ収縮
こちらは「なぜ空間に同じ因子が要るか」を、四枚の論理の延長で導く道です。等価原理により、自由落下する系は慣性系です。四枚の粒子は無限遠から静止して落ち、その場所で γ = eφ で動いている。落下系から見ると、星に静止している物差しは径方向に 1/γ に縮んで見える——裏返せば、静止した空間は、慣性系である落下系に対して径方向に γ 倍伸びている。よって grr = γ² = e2φ。時間側の e−2φ と合わせると、道 A と同じ計量に着きます。
この論法は Lenz(1944、Sommerfeld の電気力学講義に収録)のもので、一般相対論の厳密な γ² = 1/(1−2φ) を入れるとシュヴァルツシルト解がそのまま出ることが知られています。四枚の指数の γ を入れれば Yilmaz 計量。突き詰めた形が Painlevé–Gullstrand 座標の「川の模型」で、空間そのものが平坦なまま脱出速度で星へ流れ込んでいると読む——四枚の設定(無限遠から静止して落ちる粒子)そのものです。
なぜ「半分」なのか
光の座標速度は c·√(g00/grr) なので、重力場は屈折率 n = √(grr/g00) の媒質として働きます。四枚のまま(g00 = e−2φ、grr = 1)なら n = eφ ≈ 1 + φ。二冊にすると n = e2φ ≈ 1 + 2φ。光の湾曲は n − 1 に比例するので、ちょうど 1 : 2——四枚は完全値の半分(アインシュタインの 1911 年の値)、二冊で完全値 4GM/c²b(1915 年の値)です。
直感で言えばこうです。星のそばを通る光の波面は、星に近い側が遅れるから曲がる。遅れる理由が二つある——そこでは時計が遅い(時間の帳簿)、そして進むべき空間が余分にある(空間の帳簿)。ニュートン重力と四枚は前者しか持たない。1919 年の日食が試したのは、後者が実在するかどうかでした。
地平線が無い、を見る
時間の因子 g00 を、シュヴァルツシルト半径 rs = 2GM/c² で測った距離の関数として並べます(2φ = rs/r)。
| r / rs | 一般相対論 1 − rs/r | 指数 e−rs/r |
|---|---|---|
| 3 | 0.667 | 0.717 |
| 1.5 | 0.333 | 0.513 |
| 1 | 0 | 0.368 |
| 0.5 | −1(内側。時間と空間の役が入れ替わる) | 0.135 |
一般相対論では r = rs で g00 が零になる——外から見ると時計が止まり、川の模型で言えば空間の流速が光速に達する。それが事象の地平線です。指数の式では g00 = e−rs/r は r → 0 まで正のまま、零には決して届きません。四枚の世界には地平線が無い。空間の曲がりを取り込んだ後も、この一点だけは一般相対論と分かれたまま残ります。二つの理論を白黒つける審判は、ブラックホールの影の観測です。
直感の地図 — アインシュタイン方程式を一行で
Gμν = (8πG/c⁴) Tμν を、成分を追わずに言うとこうなります(Baez–Bunn 2005 の定式化)。
左辺は時空の曲がり方——十個の成分がありますが、静的で球対称な星のまわりでは二つの関数 g00 と grr に減ります。右辺はエネルギー密度と圧力——ふつうの物質では質量が主で、光には圧力(密度の 1/3)があります。ニュートン重力と四枚が持っていたのは二つの関数のうち g00 だけ。一般相対論が足すのは grr——「半分」の正体はこの二つ目の関数で、光の湾曲は、それが実在することを試せる唯一の古典テストでした。四枚に道 A か B で grr を足すと、二つの関数が揃い、地平線の有無だけが残る——それがこの節の要約です。
この記事が言えている範囲
| 内容 | |
|---|---|
| 言えている | 四枚の導出は、自己無撞着という一つの仮定から m(r) = m₀e^{GM/c²r} を正しく導いている(積分方程式→微分方程式→変数分離、各段を追い直した) |
| 言えている | γ = eφ はシュヴァルツシルト解と、面積半径では二次から、等方座標では三次からずれる(ずれの係数 φ³/12 まで数値で一致) |
| 言えている | 「総和が 0」は導出の帰結ではなく積分定数の選択である。借金の着想は式を生んだが、式は着想を証明しない |
| 言えている | 指数の関数形は Yilmaz の指数計量、E+φ≡0 はゼロエネルギー宇宙とハミルトニアン拘束に、それぞれ対応物を持つ |
| 言えていない | 空間の曲がり。四枚は力の理論であって計量の理論ではなく、grr に当たるものを持たない。光の湾曲・近日点移動はこの枠では決まらない |
| 言えていない | 強い重力場。指数は零にならないので、四枚の世界には地平線が無い。ここは一般相対論と観測(ブラックホールの影)が審判する場所で、この記事は判定していない |
| 言えていない | 拡張の道 B は発見的議論です。落下系のローレンツ収縮でシュヴァルツシルト解が出ることは知られていますが、それが「導出」でなく「うまくいく発見的な論法」であることは Visser (2005) が指摘しています。この記事も導出とは主張しません |
| 言えていない | 四枚の r と等方座標の同一視は一次までの対応であり、座標を完全に一致させたわけではない。三次まで一致するのは「四枚の r を等方座標と読めば」という条件つき |
この記事に新しい物理はありません
指数計量も、ゼロエネルギー宇宙も、ハミルトニアン拘束も、光の湾曲が半分になる理由も、すべて既知です。やったのは、四枚を一行ずつ追い直し、どの座標で何次まで合うかを測り、破れる場所を名指ししたことだけです。
出典と再現
| もの | 種別 | 出典・道具 |
|---|---|---|
| 原文四枚 | 手書き | 手書き四枚のスキャン。階調を補正し、罫線と透けを除去 |
| シュヴァルツシルト解(面積半径・等方座標) | 古典 | Schwarzschild (1916)。等方形は標準的な教科書のもの |
| 指数計量 | 文献 | Yilmaz, Phys. Rev. 111 (1958) |
| ゼロエネルギー宇宙 | 文献 | Tryon, Nature 246 (1973);Feynman, Lectures on Gravitation;Guth の「究極のただ飯」 |
| ハミルトニアン拘束 | 古典 | ADM 形式(1962)、Wheeler–DeWitt 方程式(1967) |
| 光の湾曲が半分になること | 古典 | Einstein 1911 の値(時間成分のみ)対 1915 の値(空間成分を含む) |
| 落下系のローレンツ収縮からシュヴァルツシルト解 | 文献 | Lenz (1944)、Sommerfeld Electrodynamics §38;Visser, Am. J. Phys. 73 (2005)「Heuristic approach to the Schwarzschild geometry」 |
| 川の模型(Painlevé–Gullstrand 座標) | 文献 | Painlevé (1921)、Gullstrand (1922);Hamilton–Lisle, Am. J. Phys. 76 (2008) |
| アインシュタイン方程式の一行の言い換え | 文献 | Baez–Bunn, Gen. Rel. Grav. 37 (2005)「The meaning of Einstein's equation」 |
| g00 の比較図と表 | この端末で計算 | 1 − rs/r と e−rs/r を r/rs = 0.25〜6 で描画 |
| 一致次数の表 | この端末で計算 | γ = eφ、(1−2φ)−1/2、(1+φ/2)/(1−φ/2) を φ = 10⁻³, 10⁻², 10⁻¹ で比較。対数展開は手計算 |