■最大値・最小値・平均値(その3)

【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などの場合から類推すると非常に奇妙に感じられます.

===================================