【1】赤道周りへの測度集中
Sn-1球面の赤道の周りに幅2ωの帯を設けて,ここに測度の80%が含まれるようなωを求めてみることにします.すなわち
P{x<Sn-1:−ω≦xn≦ω}
=P{x<Sn-1:xn^2≦ω^2}=0.8
具体的にいうとS0={±1},S1は2π(円周)ですから,
ω=sin(0.8/4・2π)=0.951056
n=3の場合,S2は4π(表面積)ですが,y=f(x)>0のグラフをx軸を中心に回転させてできる曲面の面積は
S[y]=2π∫y(1+(y')^2)^1/2dx
で与えられますから,y=(1-x^2)^(1/2)とおくと
S[y]=2π∫(0,x)dx=2πx=0.8/2・4π
よりω=0.8と求められます.
n>3は簡単には求められませんが,(その2)で述べたことにより,x=(x1,x2,・・・,xn)を単位球面Sn-1上で一様分布する点とすると,xn^2の分布はベータ分布Beta(1/2,(n-1)/2)となることがわかります.
ベータ分布は不完全ベータ関数と密接に関係していて,その分布関数はガウスの超幾何関数2F1を使って以下のように表現されます.
F(x)=1/px^p2F1(p,1-q,p+1,x)/Β(p,q)
=1/px^p(1−x)^q2F1(p+q,1,p+1,x)/Β(p,q)
この式からわかるようにベータ分布は区間(0,1)で定義された分布で,(0,1)に制限されているため,ニュートン法などの反復解法を用いてパーセント点を求めるには不向きです.そこで,区間(0,∞)で定義されたF分布の上側確率との間には
Q(df1,df2,F)=Ix(df2/2,df1/2,x),x=df2/(df2+df1*F)
Ix(p,q)=∫(0,x)t^(p-1)(1-t)^(1-q)dt/B(p,q)
の関係のあることを使って,F分布に関する計算をしてからベータ分布関数に変換する方法でベータ分布のパーセント点を求めることにします.また,その方が初期値を求めるうえでもを便利です.
n ω
2 .951057
3 .8
4 .687049
5 .6084
6 .550863
7 .506727
8 .471589
9 .442796
10 .418662
20 .291384
30 .236612
40 .204344
50 .182466
60 .166381
70 .153916
80 .143889
90 .135596
100 .12859
この計算が示していることは,(直観に反して)大きいnに対してはSn-1のほとんどが赤道のかなり近くに位置しているというものです.後述するように,nが大きいときωのオーダーはn^(-1/2)になります.
===================================
【2】境界付近への測度集中
n次元単位超球の境界付近に幅δの球殻を設けて,ここに測度の80%が含まれるようなδを求めてみることにします.すなわち
P{x<Vn:1−δ≦r≦δ}=0.8
半径1と1−δの間の薄皮部分の体積は
vn(1-(1-δ)^n)
ですから,δは
vn(1-(1-δ)^n)=0.8vn
と解くと簡単に求めることができて
δ=1-0.2^(1/n)
n δ
2 .552786
3 .415196
4 .33126
5 .27522
6 .235275
7 .205403
8 .182235
9 .163749
10 .14866
20 .0773191
30 .0522342
40 .0394372
50 .0316762
60 .0264674
70 .0227296
80 .019917
90 .0177237
100 .0159655
この計算が示していることは,(直観に反して)nが大きいとき超球の体積Vnの大部分はその境界付近に集中するというものです.いわゆる薄皮まんじゅう状態なのですが,n=2,3などの場合から類推すると非常に奇妙に感じられます.
===================================