【３】カタラン数の漸近挙動

　　Ｃn＝2nＣn／（ｎ＋１）＝（２ｎ）！／ｎ！（ｎ＋１）！

という数列と２^nという数列の増加の仕方を比較してみるために，比

　　Ｃn／２^n

をとると，ｎ→∞のときＣn／２^n→∞となってしまうことがわかります．

　そこで，いささか天下り的ではありますが，比

　　Ｃn／４^nｎ^(-3/2)

をとると，スターリングの漸近公式

　　ｋ！＝√２π・ｋ^(k+1/2)・exp（−ｋ）＝√（２πｋ）・（ｋ／ｅ）^k

から

　　Ｃn／４^nｎ^(-3/2)→√π＝１．７７・・・

に収束することがわかります．

今回のコラムでは極限値√ｅ＝１．６４８７・・・に収束する問題を紹介します．

＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝

　単位超球の中心を通る超平面による断面積を

　　Ａn＝Ｖn-1・Ｖn^(1/n-1)

とおくと，

　　Ａn/Ａn-2＝Ｖn-1・Ｖn^(1/n-1)/Ｖn-3・Ｖn-2^(1/(n-2)-1)

ですから，ｎ→∞のとき，

　　Ａn/Ａn-2→(Ｖn/Ｖn-2)^(1/n)=(2π/n)^(1/n)→１

これより，次元を高くすれば断面積はある極限値に収束しそうです．ｎ→∞のとき，Ｖn-1→０，Ｖn→０ですが，Ａn＝Ｖn-1・Ｖn^(1/n-1)の極限値を求めてみることにしましょう．

　Ｖn=π^(n/2)/(n/2)!より，

　　Ａn＝{(n/2)!}^(1-1/n)/{(n-1)/2}!

これを有名なスターリングの近似公式

　　ｋ！＝√２π・ｋ^(k+1/2)・exp（−ｋ）

を使って書き直してみましょう．簡約化すると

　　Ａn→(n/2)^(n/2)/{(n-1)/2}^(n/2)

　　　　＝{n/(n-1)}^(n/2)

　　　　＝{(1+1/(n-1))^(n-1)}^(1/2)*{n/(n-1)}^(1/2)

　　　　→e^(1/2)

したがって，極限値√ｅ＝１．６４８７・・・に収束することがわかります．

＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝