初等幾何学における球体は決められた点から決められた距離以内にある点の全体が空間において占める領域であった。同様のことを n-次元ユークリッド空間で行って n-次元超球体が定義される。
本項ではn-次元超球体の体積、および超球体の表面に相当する超球面の面積について述べる。
超球体の体積
ここで
はオイラーのガンマ函数Γ(x)(階乗函数の非整数引数への一般化)により定義される
![{\displaystyle \left({\tfrac {n}{2}}\right)!}](https://wikimedia.org/api/rest_v1/media/math/render/svg/a0eda88d06608fc67673f993eee37dc99ffd3263)
![{\displaystyle =\Gamma ({\tfrac {n}{2}}+1)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/b02e376b02efc7a4f65ef2eaad5371a65577aded)
![{\displaystyle ={\begin{cases}(k+{\tfrac {1}{2}})((k-1)+{\tfrac {1}{2}})\cdots (1+{\tfrac {1}{2}}){\sqrt {\pi }}&{\text{if }}n=2k+1\\k(k-1)\cdots 2\cdot 1&{\text{if }}n=2k\end{cases}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/714361abbc85af7dfa530c08646006311813f2a1)
であり、「!!」は二重階乗
![{\displaystyle n!!={\begin{cases}n(n-2)(n-4)\cdots 3\cdot 1&{\text{if }}n{\text{ is odd}}\\n(n-2)(n-4)\cdots 4\cdot 2&{\text{if }}n{\text{ is even}}\end{cases}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/063a25ec0e7656b334e653961be33102d78ff5ab)
である。
具体的な値はnの偶奇によって異なる。
最初のいくつかの次元
次元 |
半径 R の球の体積 |
体積 V の球の半径
|
0
|
|
全ての球の体積は1
|
1
|
|
|
2
|
|
|
3
|
|
|
4
|
|
|
5
|
|
|
6
|
|
|
7
|
|
|
8
|
|
|
9
|
|
|
10
|
|
|
n |
Vn(R) |
Rn(V)
|
奇数の場合
n=2k+1の場合は、
![{\displaystyle V_{2k+1}(R)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/529d729f140b481742400f26d637173262aecd16)
![{\displaystyle ={\pi ^{k}{\sqrt {\pi }} \over \left(k+{\tfrac {1}{2}}\right)!}R^{2k+1}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/0889476c136413d6a9de7cc7237b266adbc589f2)
![{\displaystyle ={\frac {2(2\pi )^{k}}{(2k+1)!!}}R^{2k+1}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/7303c9af48ab568f6bde107e8829b2c454d96d71)
![{\displaystyle ={2(2\pi )^{k} \over 1\cdot 3\cdot \cdots \cdot (2k+1)}R^{2k+1}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/979bf5bc540c1358cd7dc49e79cbc902bdcde8a2)
2kk!=2・4・…・2kである事を用いると、
![{\displaystyle V_{2k+1}(R)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/529d729f140b481742400f26d637173262aecd16)
![{\displaystyle ={\frac {2(k!)(4\pi )^{k}}{(2k+1)!}}R^{2k+1}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/5e52caa99545d8b74ab6f8dfeb26bc53aaab9ffe)
とも表記できる。
偶数の場合
n=2kの場合、
![{\displaystyle V_{2k}(R)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/dc88278ea270eae8a625cc4cc98b78a740fd3f56)
![{\displaystyle ={\frac {\pi ^{k}}{k!}}R^{2k}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/7fae6c729bfd9c546644394c413ccbb1def2d46e)
![{\displaystyle ={\frac {(2\pi )^{k}}{(2k)!!}}R^{2k}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/a5a88281e5045862474dd080384c5da6ca4d5256)
![{\displaystyle ={\pi ^{k} \over 1\cdot 2\cdot \cdots (k-1)\cdot k}R^{2k}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/672413cb8c329ca435cd601fb6bd5dbf004560c1)
漸近評価
前述のVn(R)の具体的な記述にスターリングの公式
とゴーチの不等式(英語版)
を適用することで、以下が成立する事がわかる:
定理 ―
R を固定してn→∞とするとき、
![{\displaystyle V_{n}(R)\sim {\frac {1}{\sqrt {n\pi }}}\left({\frac {2\pi e}{n}}\right)^{n/2}R^{n}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/73616836b49a19c190a033ae54ab614c2fca0e3c)
これは一辺の長さがRの超立方体の体積Rn対する超球体Vn(R)がn→∞のとき指数関数的に小さくなる事を意味する。
漸化式
超球体の体積を漸化式で表すと、下記のとおりである:
![{\displaystyle V_{n}(R)={\begin{cases}1&{\text{if }}n=0,\\[0.5ex]2R&{\text{if }}n=1,\\[0.5ex]{\dfrac {2\pi }{n}}R^{2}\times V_{n-2}(R)&{\text{otherwise}}.\end{cases}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/731cb55dca78fe8cf739d058efd6d893872ecd6e)
上述の漸化式はVn(R)をVn-2(R)と関係づけるが、Vn(R)をVn-1(R)を関係づけると下記のようになる:
![{\displaystyle V_{n}(R)=R{\sqrt {\pi }}{\frac {({\frac {n-1}{2}})!}{({\tfrac {n}{2}})!}}V_{n-1}(R)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/3995974c4b19381d616d98e2307a36a598d652f6)
![{\displaystyle =a_{n}R{(n-1)!! \over n!!}V_{n-1}(R)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/55399fa4dd6a947fad8a0a40645b0a248525d6a9)
ここで、
![{\displaystyle a_{n}={\begin{cases}2&{\text{if }}n=2k+1\\\pi &{\text{if }}n=2k\end{cases}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/eee4c5c18717625d3747b99d7f7811c1f83ea409)
具体的に書けば、
![{\displaystyle V_{n}(R)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/167e62b1c919564d65352b027e92d61610566764)
![{\displaystyle ={\begin{cases}2R{\frac {(2k)(2k-2)\cdots 6\cdot 4\cdot 2}{(2k+1)(2k-1)\cdots 5\cdot 3\cdot 1}}V_{2k}(R)&{\text{if }}n=2k+1\\\pi R{\frac {(2k-1)(2k-3)\cdots 5\cdot 3\cdot 1}{(2k)(2k-2)\cdots 6\cdot 4\cdot 2}}V_{2k-1}(R)&{\text{if }}n=2k\end{cases}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/e2f8372caa72513030e77f22642e332d4e0e4558)
体積から半径を求める公式
n-次元球体の体積 V をその半径 R で表す代わりに、上記の公式を逆に解いて半径 R を体積 V の函数として表すこともできる:
![{\displaystyle R_{n}(V)={\sqrt[{n}]{{\tfrac {\left({\tfrac {n}{2}}\right)!}{\pi ^{n/2}}}V}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/dba954ae45959f1887b220ded28a07df5de6b31c)
![{\displaystyle ={\sqrt[{n}]{n!! \over 2^{\lceil n/2\rceil }\pi ^{\lfloor n/2\rfloor }V}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/a713dcd157af5fae434d92970a1ac4a97ef358f8)
![{\displaystyle ={\begin{cases}{\sqrt[{2k+1}]{{\frac {(2k+1)!!}{2(2\pi )^{k}}}V}}&{\text{if }}n=2k+1\\{\sqrt[{2k+1}]{{\frac {k!}{\pi ^{k}}}V}}&{\text{if }}n=2k\end{cases}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/656a31442e878476ca418b02a98fa22ea037998c)
超球面の面積
ユークリッド空間
における半径 R の n-次元超球面
![{\displaystyle S^{n}(R)=\{(x_{1},\ldots ,x_{n})\in \mathbb {R} ^{n+1}|x_{1}{}^{2}+\cdots +x_{n+1}{}^{2}=R\}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/1c36797d16cf95b5a0fe4b3ee757cd100ed91f84)
の面積An(R)と
における半径 R の n-次元超球体
![{\displaystyle B^{n+1}(R)=\{(x_{1},\ldots ,x_{n})\in \mathbb {R} ^{n}|x_{1}{}^{2}+\cdots +x_{n+1}{}^{2}\leq R\}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/07fbb2f4e1a6f32e5678242f11e9421ed1c6ccd5)
の体積Vn+1(R)には
![{\displaystyle A_{n}(R)={\frac {d}{dR}}V_{n+1}(R)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/7a0cbd14ca077881b89c637af96dbf754334b201)
![{\displaystyle =(n+1)V_{n+1}(1)R^{n}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/ad9333f880d3fb37141f19cd18961131da59ac72)
という関係がある。これはBn+1(R)がR' ≦ Rに対するSn(R')の和集合である事から従う。Vn+1(R)の具体的表記から、以下が従う:
よってn=2k+1の場合は、
![{\displaystyle A_{2k+1}(R)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/9f4a4350117ef5b54ffb443403d206189622378a)
![{\displaystyle ={2\pi ^{k} \over 1\cdot 2\cdot \cdots (k-1)\cdot k}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/70772a64ae062134f680bd4b96cc4981acc91d0b)
![{\displaystyle ={\frac {2\pi ^{k}}{k!}}R^{2k+1}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/f9ea4357fd71a7a8b725f21fdd80f1237b75cb94)
n=2kの場合は、
![{\displaystyle A_{2k}(R)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/cb1b2ce8dcd6a680b173287a04c5fd72aa32d242)
![{\displaystyle ={2(2\pi )^{k} \over 1\cdot 3\cdot \cdots \cdot (2k-1)}R^{2k}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/b3b57e8cd6ee0b4c605458ddad9c140d2a596a92)
![{\displaystyle ={\frac {2(2\pi )^{k}}{(2k-1)!!}}R^{2k}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/41a922624eb7f74fe553f43b5b0314a7bfc27e38)
![{\displaystyle ={\frac {2(k!)(4\pi )^{k}}{(2k-1)!}}R^{2k}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/a5da0d69074126b0c62b85b91316aadc45f43026)
とも表記できる。
証明
上記の公式に関して多くの証明が存在する。
体積は半径の n 乗に比例する
n-次元球の体積についてのいくつかの証明においての重要なステップであり、それ以外にも有用性のある一般的な事実は、半径 R の n-次元球の体積は Rn に比例すること、つまり
である。このときの比例定数は単位球の体積に等しい。
上記の関係は帰納法による簡単な証明がある。基底段階は n = 0 であり、比例することは自明である。帰納段階は、次元 n − 1 で比例することが真であると仮定する。n-次元球体と一つの超平面との交わりは (n − 1)-次元球体であることに注意する。n-次元球体の体積を (n − 1)-次元球体の体積の積分
として書く時、帰納法の仮定により n − 1-次元球体の半径から R-倍の因子を括りだして
と書くことができる。変数変換 t = x/R を施して導かれる
は次元 n における比例関係を示すものになっている。帰納法によって、全ての次元で比例関係は真である。
2次元漸化式
n-次元球体と (n − 2)-次元球体の間の体積の漸化式の証明は、上記の比例式と円筒座標系における積分を用いて与えられる。球の中心を通る平面を固定する。r を球面の中心と平面上の点との距離とし、θ を方位角とする。n-次元球体と、半径と方位角を固定して定まる (n − 2)-次元平面とを交わらせれば、半径 √R2 − r2 の (n − 2)-次元球体が与えられる。球の体積は、従って (n − 2)-次元球体の体積の、取りうる半径および方位角に亘る逐次積分
として書くことができ、この方位角座標に関する積分は直ちに計算できる。比例関係を適用することで、この体積が
に等しいことが示される。u = 1 − (r/R)2 と置換することによって積分を評価することができ、
を得る。これが2次元漸化式である。
体積公式の帰納法による証明に同じ手法を用いることができる。帰納法の基底段階は 0-次元球体と 1-次元球体であり、ここで Γ(1) = 1 と Γ(3/2) = (1/2)Γ(1/2) = √π/2 という事実を用いて簡単に直接確認できる。再帰段階は上記と同様であるが、(n − 2)-次元球体の体積に比例関係を適用する代わりに、帰納法の仮定が適用される。
1次元漸化式
比例関係は n-次元球体と (n − 1)-次元球体の体積の関係に関する漸化式の証明にも使われる。比例式の証明の際に見たように、n-次元球の体積は (n − 1)-次元球体の体積の積分として書くことができる。置換の代わりに、比例関係を被積分関数に現れる (n − 1)-次元球体の体積に適用し、
を得る。被積分関数は偶関数であるため、対称性によって積分区間を [0, R] に制限することができる。区間 [0, R] 上で u = (x/R)2 なる置換を適用することができるから、式は
と書き換えられる。この積分はベータ関数 Β(x) と呼ばれるよく知られた特殊関数のある値に等しく、求める体積はベータ関数を用いて
となる。階乗と二項係数との関係とほぼ同じ意味で、ベータ関数はガンマ関数を用いて表されるから、その関係式を適用して
が得られる。値 Γ(1/2) = √π を用いて1次元漸化式
が得られる。
2次元漸化式と同様に、体積公式の帰納法による証明を得るために同じ手法を使用することができる。
球座標における直接積分
体積を球座標における体積要素の積分によって計算することができる。球面座標系は動径座標 r と偏角座標 φ1, …, φn−1 を持つ。ここで φn−1 を除く各 φi の変域は [0, π) であり、φn−1 の変域は [0, 2π) である。球体積要素は
で与えられる。そして求める体積は、r は 0 から R までと、角は取りうるすべての値に亘って取った積分
に等しい。被積分関数の各因子は一変数のみに依存するため、従ってこの逐次積分は積分の積
として書くことができる。動径成分の積分は Rn/n に等しく、また偏角成分の積分区間を対称性により [0, π/2] と書き換えれば
を得る。残った各々の積分はいまやベータ関数の特定の値で、
となる。ベータ関数はガンマ関数に書き換えることができ、
を得るが、この積は連鎖的に約分して畳み込める。値 Γ(1/2) = √π, Γ(1) = 1 関数等式 zΓ(z) = Γ(z + 1) を組み合わせて
が導かれる。
ガウス積分
体積公式はガウス積分を用いることにより直接証明することができる。関数
を考えると、この関数は回転不変かつ各々一変数の函数の積になっている。これが積に書けるという事実とガウス積分の公式を適用して
が得られる。ここで dV は n-次元体積要素である。回転不変性を用いれば、同じ積分を球座標に関して
と計算できる。ここで Sn−1(r) は半径 r の (n − 1)-次元球面であり、dA は表面積要素(すなわち (n − 1)-次元体積要素)である。球面の表面積は、球体の体積に関するのと同様の比例関係を満足する。すなわち An−1(r) を半径 r の(n − 1)-次元球面の表面積とすれば
が成り立つ。上記の積分にこれを適用すると
なる式を得る。置換 t = r2/2 を適用すれば、この式は
と変形でき、これはガンマ関数の n/2 における値である。
二つの積分を併せれば
が示される。この式から半径 R の n-次元球体の体積を導出するには、半径 r (0 ≤ r ≤ R) の球面の表面積を積分し、関数等式 zΓ(z) = Γ(z + 1) を適用すればよい。そうして
が得られる。
ℓp-ノルムに関する球体
次が知られていることがディリクレの時代から知られている[3]:164–168[4]:390–395:
定理 ―
正の実数 p1, …, pn, R に対し、
の体積(通常のℓ2-ノルムにより定義される体積要素
により定まる体積)
は以下のように書ける:
![{\displaystyle V_{p_{1},\ldots ,p_{n}}(R)={\frac {2^{n}\left({\tfrac {1}{p_{1}}}\right)!\cdots \left({\tfrac {1}{p_{n}}}\right)!}{\left({\tfrac {1}{p_{1}}}+\cdots +{\tfrac {1}{p_{n}}}\right)!}}R^{{\tfrac {1}{p_{1}}}+\cdots +{\tfrac {1}{p_{n}}}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/1a01226f44e5b0b981b70659dd602145459c6a9f)
よって特に次が成立する:
p = 2 の場合は通常のユークリッドノルムであり、それ以外の p は情報理論、符号理論、次元正則化(英語版)などの様々な文脈において現れる。
特に p = 1 および p = ∞ の場合の体積はそれぞれ
![{\displaystyle V_{1}^{n}(R)={\frac {2^{n}}{n!}}R^{n},}](https://wikimedia.org/api/rest_v1/media/math/render/svg/91baffce1d6ad1bd13433b6d691ee56bc9c89e79)
![{\displaystyle V_{\infty }^{n}(R)=(2R)^{n}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/ba447096758b3f1c9f928e7070d8f73ab4bacb96)
で与えられる。これらは正軸体および超立方体の体積に一致する。
は以下の漸化式 を満たす:
![{\displaystyle V_{p}^{n}(R)={\frac {2\left({\tfrac {1}{p}}\right)!R\left({\frac {n-1}{p}}\right)!}{\left({\frac {n}{p}}\right)!}}V_{p}^{n-1}(R)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/34043e9563ff88f826b449a533f5567e32cb7046)
一部の例外的なpを除き、ℓp-球面(ℓp-球体の境界)の表面積は、ℓp-球体の半径に関する微分として計算することはできないが、余面積公式(英語版)を用いて、体積を表面積上の積分として表すことができる。
余面積公式には、点から点へ p-ノルムがどのくらい変化するかを考慮した相関係数が含まれる。p = 2 および p = ∞ に対してこの因子は 1 だが、p = 1 ならば相関因子は √n である(半径 R の (n − 1)-次元 L1-球面の表面積は √n 掛ける ℓ1-球体の体積の R における微分係数)。ほとんどの p の値に対してこの定数は複雑な積分になる。
注釈
参考文献
- ^ Equation 5.19.4, NIST Digital Library of Mathematical Functions. http://dlmf.nist.gov/, Release 1.0.6 of 2013-05-06.
- ^ “Volume of a Hypersphere⎯C.E. Mungan, Spring 2010”. United States Naval Academy. p. 2. 2023年4月21日閲覧。
- ^ Dirichlet, P. G. Lejeune (1839). “Sur une nouvelle méthode pour la détermination des intégrales multiples”. Journal de Mathématiques Pures et Appliquées 4.
- ^ Wang, Xianfu (Dec 2005). “Volumes of Generalized Unit Balls”. Mathematics Magazine 78 (5).
関連項目
外部リンク