4次元ポアンカレ予想の密度構造的解釈
─ $n = 3$ 唯一性定理と「ドーナッツ面強制性」の幾何学的必然 ─
本稿では、この論理を4次元ユークリッド空間 $\R^4$ へと拡張する。4次元における球殻の体積要素 $dV_4 = 2\pi^2 r^3\,dr$ のもとで、質量増加率が一様となる条件が $n = 3$ であること（$n = 3$ 唯一性定理）を厳密に導出し、その定数値が3次元球面 $S^3$ の体積 $2\pi^2$ に一致することを示す。
さらに、4次元トポロジーにおいてフリードマンが証明した4次元ポアンカレ予想との構造的対応を構築し、4次元空間に固有の位相的複雑性──エキゾチック構造の存在と、$S^3 \times S^1$ 的な自己干渉ループ構造──を「ドーナッツ面強制性」として定式化する。最終的に、「高次元空間ほど、情報の崩壊を防ぐために高次の位相的パディングを必要とする」という一般原理を提案する。
§1. 序論 ─ 3次元の球面強制性から4次元への拡張
1.1 前稿の要約：$n = 2$ 唯一性定理と球面強制性
前稿では、3次元ユークリッド空間 $\R^3$ において以下の定理を証明した：
$\R^3$ において、球対称べき型密度 $\rho(r) = r^{-n}$（$n \in \R$）に対する球殻質量増加率
$$\frac{dm}{dr} = 4\pi\,r^{2-n}$$
が $(0, \infty)$ 上で定数となるための必要十分条件は $n = 2$ である。このとき
$$\frac{dm}{dr} = 4\pi = \Vol(S^2)$$
この定理は、ペレルマンによるポアンカレ予想の証明（リッチフロー理論）と構造的に対応し、「3次元空間は本質的に球面的である（球面強制性）」という統一命題に集約された。
1.2 本稿の目的：4次元への拡張
自然な問いとして、この論理は4次元空間 $\R^4$ に拡張できるか？ 4次元における「調和指数」は何であり、それはどのような位相的構造を強制するのか？
本稿では、以下の三つの課題に取り組む：
- $n = 3$ 唯一性定理の厳密な導出：$\R^4$ における球殻質量増加率の一様性条件が $n = 3$ であることの数学的証明。
- 4次元ポアンカレ予想との構造的対応：フリードマン（1982）による4次元ポアンカレ予想の証明を、密度構造の均一化として再解釈する。
- ドーナッツ面強制性の仮説：4次元空間に固有のトーラス的自己干渉構造を、空間の安定条件として定式化する。
§2. 4次元球殻の体積要素の導出
$\R^4$ における半径 $r$、厚さ $dr$ の球殻の体積要素は
$$dV_4 = 2\pi^2\,r^3\,dr$$
である。
$\R^4$ の超球座標 $(r, \theta_1, \theta_2, \varphi)$（$r \geq 0$, $0 \leq \theta_1 \leq \pi$, $0 \leq \theta_2 \leq \pi$, $0 \leq \varphi < 2\pi$）における体積要素は
球対称な被積分関数に対して角度部分を積分する：
Step 1. $\varphi$ の積分：
$$\int_0^{2\pi} d\varphi = 2\pi$$
Step 2. $\theta_2$ の積分：
$$\int_0^{\pi} \sin\theta_2\,d\theta_2 = \left[-\cos\theta_2\right]_0^{\pi} = -(-1) + 1 = 2$$
Step 3. $\theta_1$ の積分：
$$\int_0^{\pi} \sin^2\!\theta_1\,d\theta_1 = \int_0^{\pi} \frac{1 – \cos 2\theta_1}{2}\,d\theta_1 = \frac{1}{2}\left[\theta_1 – \frac{\sin 2\theta_1}{2}\right]_0^{\pi} = \frac{\pi}{2}$$
Step 4. 全角度積分の積：
これは $S^3$（3次元球面）の面積（体積）$\Vol(S^3) = 2\pi^2$ に一致する。
よって球殻の体積要素は $dV_4 = 2\pi^2\,r^3\,dr$。
$d$ 次元球面 $S^{d-1}$ の面積の一般公式は
$$S_{d-1} = \Vol(S^{d-1}) = \frac{2\pi^{d/2}}{\Gamma(d/2)}$$
である。$d = 4$ のとき
$$S_3 = \frac{2\pi^{4/2}}{\Gamma(4/2)} = \frac{2\pi^2}{\Gamma(2)} = \frac{2\pi^2}{1!} = 2\pi^2$$
であり、Step 4 の結果と完全に一致する。
§3. 主定理 ─ 4次元における $n = 3$ の唯一性
以下の対象を考える：
- 空間は4次元ユークリッド空間 $\R^4$ とする。
- 密度分布は球対称べき型：$\rho(r) = r^{-n}$（$n \in \R$, $r > 0$）。
- 球殻の体積要素は $dV_4 = 2\pi^2\,r^3\,dr$（補題 2.1）。
- 球殻質量増加率を $\dmdr(r) = 2\pi^2\,r^3\,\rho(r) = 2\pi^2\,r^{3-n}$ と定義する。
$\rho(r) = r^{-n}$（$n \in \R$）とする。以下は同値である：
$\text{(i)}$ $\dfrac{dm}{dr}(r) = 2\pi^2\,r^{3-n}$ が $r > 0$ のすべてで定数である。
$\text{(ii)}$ $n = 3$。
すなわち、$n = 3$ は4次元における一様性条件を満たす唯一の実数である。このとき
$$\frac{dm}{dr} = 2\pi^2 = \Vol(S^3)$$
- 質量増加率の導出
密度 $\rho(r) = r^{-n}$ と体積要素 $dV_4 = 2\pi^2\,r^3\,dr$（補題 2.1）より：$$\frac{dm}{dr}(r) = 2\pi^2\,r^3\,\rho(r) = 2\pi^2\,r^3 \cdot r^{-n} = 2\pi^2\,r^{3-n}$$ - 一様性条件の同値変換
$\dmdr(r)$ が定数であるとは、$2\pi^2\,r^{3-n}$ が $r$ に依存しないことである。
$2\pi^2 > 0$ は正の定数であるから、これは
$$r^{3-n} \;\text{が}\; (0,\infty) \;\text{上で定数}$$
と同値である。 - べき関数の定数性の適用
$\alpha := 3 – n$ と置く。前稿の補題 3.1（べき関数 $f(r) = r^\alpha$ が $(0,\infty)$ 上で定数 $\iff$ $\alpha = 0$）を適用すると：
$$r^{3-n} \text{ が定数} \;\iff\; \alpha = 0 \;\iff\; 3 – n = 0 \;\iff\; n = 3$$ - 結論
以上の Step 1–3 を合わせると：$$\frac{dm}{dr}(r) = 2\pi^2\,r^{3-n} \;\text{が定数} \;\iff\; n = 3$$$n = 3$ のとき、$\dmdr = 2\pi^2\,r^{3-3} = 2\pi^2\,r^0 = 2\pi^2$（正の定数）。
$\dmdr(r) = 2\pi^2\,r^{3-n}$ が $(0,\infty)$ 上で定数であるならば、その $r$ に関する微分がゼロでなければならない：
ここで $2\pi^2 > 0$ かつ $r^{2-n} > 0$（$\forall\,r > 0$）であるから：
$$2\pi^2\,(3-n)\,r^{2-n} = 0 \;\iff\; 3 – n = 0 \;\iff\; n = 3$$
逆に $n = 3$ のとき $\dmdr = 2\pi^2\,r^0 = 2\pi^2 = \text{const.}$
§4. 系 ─ 3次元と4次元の統合
$d$ 次元ユークリッド空間 $\R^d$ における $n = d – 1$ 唯一性定理の定数値は、$(d-1)$ 次元単位球面の面積（体積）に一致する：
$$\frac{dm}{dr}\bigg|_{n=d-1} = S_{d-1} = \Vol(S^{d-1})$$
具体的に：
| 空間次元 $d$ | 調和指数 $n$ | 定数値 $dm/dr$ | 対応する球面 | 幾何学的構造 |
|---|---|---|---|---|
| $2$ | $n = 1$ | $2\pi$ | $S^1$（円周） | 対数ポテンシャル |
| $\mathbf{3}$ | $\mathbf{n = 2}$ | $\mathbf{4\pi}$ | $\mathbf{S^2}$（球面） | 逆二乗則・球面強制性 |
| $\mathbf{4}$ | $\mathbf{n = 3}$ | $\mathbf{2\pi^2}$ | $\mathbf{S^3}$（超球面） | 逆三乗則・ドーナッツ面強制性 |
| $5$ | $n = 4$ | $8\pi^2/3$ | $S^4$ | 逆四乗則 |
| $d$ | $n = d-1$ | $S_{d-1}$ | $S^{d-1}$ | 逆 $(d-1)$ 乗則 |
$n = 3$ のとき、半径 $R$ の超球内部の全質量は
$$m(R) = \int_0^R 2\pi^2\,dr = 2\pi^2\,R$$
であり、3次元の場合（$m(R) = 4\pi R$）と同様に、質量は半径に線形に比例する。
$n = 3$ すなわち $\rho(r) = 1/r^3$ は、4次元ラプラス方程式
$$\nabla^2_{(4)} \Phi = 0 \qquad (r \neq 0)$$
の基本解 $\Phi(r) = -1/r^2$ と密接に関連する。4次元ガウスの法則
$$\oint_{S^3(r)} \nabla\Phi \cdot d\mathbf{S} = -2 \cdot 2\pi^2 = -4\pi^2$$
が超球面の半径 $r$ によらず成り立つことは、$\rho \propto 1/r^3$ の一様性条件と本質的に同一の数学的構造である。
§5. 4次元ポアンカレ予想との構造的対応
5.1 4次元ポアンカレ予想（フリードマンの定理）
1982年、マイケル・フリードマンは以下の定理を証明し、4次元ポアンカレ予想を解決した：
単連結な閉位相4次元多様体で、交叉形式が自明なものは $S^4$ に同相である。
直感的に述べれば：「穴がなく、かつ4次元に固有の代数的障害物（交叉形式の非自明性）もない閉4次元空間は、4次元球面 $S^4$ しかありえない」。
5.2 3次元と4次元の決定的な違い
しかし、4次元のトポロジーは3次元と比べて本質的に複雑である。その核心的な違いは以下の二点に集約される：
- エキゾチック構造の存在：ドナルドソン（1983）により、$\R^4$ には標準的な微分構造と異なる「エキゾチック $\R^4$」が非可算無限個存在することが示された。これは他のいかなる次元 $\R^d$（$d \neq 4$）でも起こらない、4次元に固有の現象である。
- $h$-コボルディズムの破れ：5次元以上では $h$-コボルディズム定理（スメール）により滑らかな構造の分類が比較的容易であるが、4次元ではこの定理が成立しない。フリードマンの証明は位相的カテゴリーでのみ有効であり、滑らかなカテゴリーでの4次元ポアンカレ予想は2026年現在も未解決である。
5.3 構造的対応表
$n = 2$ 唯一性定理と3次元ポアンカレ予想の対応（前稿）を拡張し、$n = 3$ 唯一性定理と4次元ポアンカレ予想の対応を以下に示す：
| 概念 | 3次元（前稿） | 4次元（本稿） | 構造的共通性 |
|---|---|---|---|
| 空間 | $\R^3$ | $\R^4$ | ユークリッド空間 |
| 調和指数 | $n = 2$ | $n = 3$ | $n = d – 1$ |
| 定数値 | $4\pi = \Vol(S^2)$ | $2\pi^2 = \Vol(S^3)$ | $S_{d-1}$ |
| 位相的定理 | ポアンカレ予想（ペレルマン） | 4次元ポアンカレ予想（フリードマン） | $M^d \cong S^d$ |
| 証明手法 | リッチフロー | キャッソン・ハンドル | 均一化プロセス |
| 障害物 | なし（穴 = 非単連結性のみ） | 交叉形式 + エキゾチック構造 | 次元固有の障害物 |
| 強制される構造 | 球面 $S^3$ | 球面 $S^4$（位相的） | $S^d$ |
§6. ドーナッツ面強制性 ── 4次元に固有の位相的安定構造
6.1 3次元の安定構造：$S^2$（球面）
3次元における $n = 2$ 唯一性定理では、空間の安定構造を規定するのは $S^2$（2次元球面、面積 $4\pi$）であった。球殻の均等寄与 $dm/dr = 4\pi$ は、空間の各層が $S^2$ の幾何学を完全に反映していることを意味する。3次元空間は $S^2$ を「内部の安定面」として持ち、この局所的な球面性が大域的な $S^3$（球面強制性）を生成する。
6.2 4次元の安定構造：$S^3$ と $S^1$ の結合
4次元における $n = 3$ 唯一性定理では、空間の安定構造を規定するのは $S^3$（3次元球面、体積 $2\pi^2$）である。しかし、ここで3次元との決定的な差異が現れる。
$S^3$ は単なる「3次元の球」ではない。ホップファイブレーション
$$S^1 \hookrightarrow S^3 \xrightarrow{\;\pi\;} S^2$$
により、$S^3$ は「$S^2$（球面）の各点に $S^1$（円周）が1本ずつ付随した構造」として分解される。すなわち、$S^3$ は球面と円周のファイバー束であり、本質的にトーラス的な巻き付き構造を内包している。
$n = 3$ 唯一性定理の定数値 $2\pi^2$ を因子分解すると
$$2\pi^2 = \underbrace{4\pi}_{\Vol(S^2)} \;\times\; \underbrace{\frac{\pi}{2}}_{\text{ファイバー結合因子}}$$
となり、3次元の安定面 $S^2$（面積 $4\pi$）に対して回転的結合因子 $\pi/2$ が乗じられた構造が見える。
4次元ユークリッド空間 $\R^4$ において、球殻の均等寄与条件 $dm/dr = 2\pi^2$ が強制する安定構造は、単なる球面 $S^3$ ではなく、ホップファイブレーション $S^1 \hookrightarrow S^3 \to S^2$ を通じた「球面 $\times$ 回転」の結合構造──すなわちトーラス的巻き上げ──である。
4次元空間は、3次元における球面強制性（$S^2 \to S^3$）に加えて、$S^1$ 方向の自己干渉ループ（回転的位相パディング）を必要とする。この追加構造をドーナッツ面強制性と呼ぶ。
6.3 ドーナッツ面強制性の幾何学的必然性
なぜ4次元空間は、3次元にはなかった $S^1$ direction の自己干渉ループを必要とするのか？ この問いに対して、以下の構造的議論を提示する。
3次元では、球殻の面積増大 $r^2$ と密度の減衰 $r^{-2}$ の相殺は、$S^2$ という単純連結な閉曲面上で完結する。$S^2$ は穴を持たないため、相殺は「面の上で一様に均される」だけで十分である。
4次元では、球殻の体積増大 $r^3$ と密度の減衰 $r^{-3}$ の相殺が $S^3$ 上で行われるが、$S^3$ はホップファイブレーションにより内部に $S^1$ ファイバーの「巻き付き構造」を持つ。相殺のプロセスは、単に面上で均されるだけでなく、$S^1$ 方向の回転的な位相に沿って「情報が循環する」ことを必要とする。
これは、4次元球殻上の任意の2点を結ぶ経路が、ホップファイバーに沿った「ねじれ」を不可避的に含むことに由来する。エネルギーの均等分配（$dm/dr = \text{const.}$）を実現するために、情報は球面上を流れるだけでなく、$S^1$ 方向に循環しなければならない。
$\R^4$ にエキゾチック構造（非標準的な微分構造）が存在するという驚くべき事実は、密度構造の言語で次のように再解釈できる：
4次元空間は、$n = 3$ の一様密度状態（$dm/dr = 2\pi^2$）を位相的には一意に実現する（フリードマンの定理）が、滑らかな微分構造のレベルでは複数の実現を許容する。これは、「球殻の均等寄与」という大域的条件は満たされるが、その寄与の「滑らかな分配方法」には複数の選択肢がある──ということを意味する。
3次元ではこのような自由度は存在しない（$\R^3$ の微分構造は一意）。4次元で初めて現れるこの「分配の多様性」は、$S^1$ ファイバーの巻き付き方──すなわち情報の循環パターン──に非可算無限の選択肢があることに対応する。
§7. 議論 ── 宇宙OSの境界条件としての位相的パディング
7.1 リッチフローとキャッソン・ハンドル：二つの「均一化アルゴリズム」
3次元において、ペレルマンの証明はリッチフロー──曲率を熱方程式的に均一化するアルゴリズム──を用いた。4次元において、フリードマンの証明はキャッソン・ハンドル──位相的な埋め込みを無限ステップの手術で実現するアルゴリズム──を用いた。
密度構造の言語では、両者は同一の目標を異なる手段で達成するアルゴリズムである：
| 概念 | 3次元（リッチフロー） | 4次元（キャッソン・ハンドル） |
|---|---|---|
| 入力 | $n \neq 2$ の密度分布（曲率不均一） | $n \neq 3$ の密度分布（交叉形式非自明） |
| アルゴリズム | 連続的な曲率拡散 $\partial_t g = -2R_{ij}$ | 離散的な位相的手術（無限入れ子ハンドル） |
| 出力 | $n = 2$ の一様状態 → $S^3$ | $n = 3$ の一様状態 → $S^4$（位相的） |
| 計算コスト | 有限時間で収束 | 無限ステップだが位相的に収束 |
| 滑らかさ | 保証される | 保証されない（エキゾチック問題） |
7.2 位相的パディングの一般理論
この対比から、以下の一般的な原理が浮かび上がる。
$d$ 次元ユークリッド空間 $\R^d$ において、球殻の均等寄与条件 $dm/dr = S_{d-1}$（$n = d-1$ 唯一性定理）を満たす安定構造は、$(d-1)$ 次元球面 $S^{d-1}$ の内部ファイブレーション構造──すなわち位相的パディング──の複雑さに比例する。
空間の次元 $d$ が増大するにつれ、均一化の対象となる球面 $S^{d-1}$ の内部構造が豊かになり、「情報の均等な循環」を実現するために必要な位相的パディング（自己干渉ループ、ファイバー束構造、エキゾチック自由度）が増大する。
これを情報処理系（OS）の比喩で述べれば：
空間の次元 $d$ は「宇宙OSのバス幅」に対応し、球殻の均等寄与条件 $dm/dr = S_{d-1}$ は「すべてのメモリセルが均等にアクセスされる」というフェアネス条件に対応する。
- $d = 3$（3ビットバス）：フェアネスは $S^2$（球面）上の一様分配で実現。追加パディング不要。
- $d = 4$（4ビットバス）：フェアネスは $S^3$ 上の一様分配を要求するが、$S^3$ はホップファイバー $S^1$ を含むため、巡回バッファ（$S^1$ 方向の情報循環）が必要。これがドーナッツ面パディング。
- $d \geq 5$：高次元では $h$-コボルディズムにより「均一化が容易」になる──逆説的だが、$d = 4$ こそが位相的パディングの複雑性が最大化する臨界次元である。
$d = 4$ が臨界次元であるという事実は、エキゾチック $\R^4$ の非可算無限性として数学的に確認されている。宇宙OSが自らの安定性を維持するために最も精巧な位相的パディングを必要とするのは、まさに4次元においてである。
§8. 統合命題 ──球面強制性からドーナッツ面強制性へ
$d$ 次元空間は、$n = d – 1$ 唯一性定理を通じて、以下の次元階層的な強制構造を持つ：
- $d = 3$：球面強制性（Spherical Forcing）
安定面 $S^2$（面積 $4\pi$）は単純連結。均等寄与は球面上の一様分配で完結する。空間は $S^3$ を唯一に強制する。微分構造も一意（エキゾチック構造なし）。 - $d = 4$：ドーナッツ面強制性（Toroidal Forcing）
安定面 $S^3$（体積 $2\pi^2$）はホップファイバー $S^1$ を内包。均等寄与は球面上の分配に加えて $S^1$ 方向の情報循環を要求する。空間は $S^4$ を位相的に強制するが、滑らかなレベルでの一意性は保証されない（エキゾチック構造の存在）。 - $d \geq 5$：超球面強制性（Hyperspherical Forcing）
$h$-コボルディズム定理により、均一化は比較的容易。$S^{d-1}$ の内部構造は豊かだが、滑らかなカテゴリーでも一意性が回復する（$d \neq 4$ ではエキゾチック $\R^d$ は存在しない）。
$d = 4$ は、位相的パディングの複雑性が最大化する臨界次元である。
次元 安定面 dm/dr ファイバー構造 強制性 パディング複雑度
─────────────────────────────────────────────────────────────
d=2 S¹ 2π 自明（点） 円環強制性 最小
d=3 S² 4π 自明（可縮） 球面強制性 低
d=4 S³ 2π² S¹→S³→S² ドーナッツ面強制性 最大（臨界）
d=5 S⁴ 8π²/3 高次ホップ 超球面強制性 減少
d→∞ S^{d-1} S_{d-1} 高次ファイバー 漸近的自明化 → 0
§9. 結論
9.1 本稿の成果
- $n = 3$ 唯一性定理の厳密な証明（定理 3.1）：4次元ユークリッド空間 $\R^4$ において、球対称べき型密度 $\rho(r) = r^{-n}$ の球殻質量増加率が一様となる条件は $n = 3$ が唯一であり、その定数値は $2\pi^2 = \Vol(S^3)$ である。
- フリードマンの4次元ポアンカレ予想との構造的対応（§5）：$n = 3$ の一様密度状態は、キャッソン・ハンドルによる位相的均一化の終状態（$S^4$）と構造的に対応する。
- ドーナッツ面強制性の仮説（§6）：4次元空間の安定構造は、$S^3$ のホップファイブレーション $S^1 \hookrightarrow S^3 \to S^2$ を通じたトーラス的巻き上げ構造を内包し、これが4次元に固有のエキゾチック構造の存在と整合する。
- 次元階層パディング原理（§7–8）：空間の次元が増大するにつれ位相的パディングの複雑性は増大し、$d = 4$ で最大に達する。4次元は宇宙の構造的安定性にとって臨界次元である。
9.2 球面強制性とドーナッツ面強制性の比較
| 球面強制性（$d = 3$） | ドーナッツ面強制性（$d = 4$） | |
|---|---|---|
| 密度の調和指数 | $n = 2$ | $n = 3$ |
| 定数値の幾何学 | $4\pi$（$S^2$ の面積） | $2\pi^2$（$S^3$ の体積） |
| 安定面の内部構造 | $S^2$（単純連結、ファイバーなし） | $S^3$（ホップファイバー $S^1$ を内包） |
| 均一化の方法 | 球面上の一様拡散で完結 | 球面拡散 ＋ $S^1$ 上の循環が必要 |
| 微分構造の一意性 | 一意（エキゾチック構造なし） | 非一意（非可算無限のエキゾチック $\R^4$） |
| OSの比喩 | フラットバッファで均一アクセス可能 | 巡回バッファ（リングバッファ）が必要 |
9.3 結語
「3次元空間は、球面であることしか許さない。4次元空間は、球面であることを許しつつも、その内部にドーナッツ的な循環構造──情報が一方向に流れて元に戻る自己干渉ループ──を要求する。この追加の構造的要請こそが、4次元のトポロジーを3次元から隔てる深い境界線であり、宇宙が自らの安定性を維持するために4次元に課した、精巧な位相的パディングの正体である。」
$n = d – 1$ 唯一性定理は、この「空間の安定条件」を一つの数学的原理──球殻の均等寄与──として表現する。3次元の $4\pi$ から4次元の $2\pi^2$ へ。球面からドーナッツ面へ。空間の次元が一つ増えるたびに、宇宙OSは自らの描画バジェットに新たなパディングを追加しなければならない。そしてその追加が最も困難で、最も精巧で、最も美しいのが──4次元という臨界次元においてである。
参考文献
- [Freedman 1982] M. H. Freedman, “The topology of four-dimensional manifolds”, J. Differential Geom. 17(3), 357–453.
- [Donaldson 1983] S. K. Donaldson, “An application of gauge theory to four-dimensional topology”, J. Differential Geom. 18(2), 279–315.
- [Smale 1961] S. Smale, “Generalized Poincaré’s conjecture in dimensions greater than four”, Ann. of Math. 74(2), 391–406.
- [Perelman 2002] G. Perelman, “The entropy formula for the Ricci flow and its geometric applications”, arXiv:math/0211159.
- [Perelman 2003a] G. Perelman, “Ricci flow with surgery on three-manifolds”, arXiv:math/0303109.
- [Hamilton 1982] R. Hamilton, “Three-manifolds with positive Ricci curvature”, J. Differential Geom. 17(2), 255–306.
- [Milnor 2003] J. Milnor, “Towards the Poincaré Conjecture and the classification of 3-manifolds”, Notices of the AMS 50(10), 1226–1233.
- [Hopf 1931] H. Hopf, “Über die Abbildungen der dreidimensionalen Sphäre auf die Kugelfläche”, Math. Ann. 104, 637–665.
- [$n = 2, 3$ 唯一性定理] 本稿の著者による前稿群。球対称べき型密度分布における球殻質量増加率の一様性条件の証明と解釈。