大学数学基礎解説

文献あり

針小棒大な証明

ゼータ関数,積分,極座標

137

あいさつ

んちゃ！
今回は証明の難易度に対して得られるものが余りにも少ない針小棒大な証明を紹介するのだ。

$n \in N ∖ {1}$ に対して以下の式が成り立つ。
$(\prod_{i = 1}^{n} \int_{0}^{1} d x_{i}) \frac{1}{1 - \prod_{i = 1}^{n} x_{i}} = ζ (n)$

半径

1

の

n - 1

次元球面の面積

半径 $1$ の $n - 1$ 次元球面の面積を $ω_{n}$ とすると下記の様に書ける。
$ω_{n} = \frac{2 π^{\frac{n}{2}}}{Γ (\frac{n}{2})}$

証明を見る

\begin{array}{rcl} (\int_{- \infty}^{\infty} e^{- x^{2}} d x)^{n} & = & (\prod_{i = 1}^{n} \int_{- \infty}^{\infty} d x_{i}) e^{\sum_{i = 1}^{n} x_{i}^{2}} \\ = & ω_{n} \int_{0}^{\infty} r^{n - 1} e^{- r^{2}} d r (r^{2} = s) \\ = & \frac{ω_{n}}{2} \int_{0}^{\infty} s^{\frac{n}{2} - 1} e^{- s} d s \\ = & \frac{Γ (\frac{n}{2})}{2} ω_{n} \\ = & π^{\frac{n}{2}} \end{array}

より、

ω_{n} = \frac{2 π^{\frac{n}{2}}}{Γ (\frac{n}{2})}

$n (\geq 2)$ 次元空間の極形式は以下の様に与えられる。
$\begin{array}{r} {\begin{cases} x_{1} = r \cos θ_{1} \\ x_{2} = r \sin θ_{1} \cos θ_{2} \\ ⋮ \\ x_{i} = r \sin θ_{1} \dots \sin θ_{i - 1} \cos θ_{i} \\ ⋮ \\ x_{n - 1} = r \sin θ_{1} \dots \sin θ_{n - 2} \cos θ_{n - 1} \\ x_{n} = r \sin θ_{1} \dots \sin θ_{n - 2} \sin θ_{n - 1} \end{cases} \end{array}$
ただし、 $0 \leq θ_{i} \leq π (1 \leq i \leq n - 2), 0 \leq θ_{n - 1} < 2 π$

証明を見る

これは帰納法によって証明できる。
[1]

n = 2, 3

の場合は明らか
[2]

1, 2, . . ., n

まで成立すると仮定する。
[3]そこで

n + 1

次元の場合を考える。まず

x_{1}

軸と

x

のなす角を

θ_{1}

とおくと、

x

の

x_{1}

方向の成分は

r \cos θ_{1}

。
また、\vb*{x}から

x_{1}

軸に平行な成分を取り除いた

x^{^{'}} = x - r \cos θ_{1} e_{1}

は

e_{2}, . . ., e_{n + 1}

によって張られる座標

x_{2} \dots x_{n + 1}

で表せる。帰納法の仮定より、

| x^{^{'}} | = r \sin θ_{1}

を用いると

\begin{array}{r} {\begin{cases} x_{2} = r \sin θ_{1} \cos θ_{2} \\ ⋮ \\ x_{i} = r \sin θ_{1} \dots \sin θ_{i - 1} \cos θ_{i} \\ ⋮ \\ x_{n} = r \sin θ_{1} \dots \sin θ_{n - 1} \cos θ_{n} \\ x_{n + 1} = r \sin θ_{1} \dots \sin θ_{n - 1} \sin θ_{n} \end{cases} \end{array}

が得られるので、すべての

n \in N ∖ {1}

で所要の極形式が成り立つ事が示された。

極形式のJacobian

$J_{n} = | \begin{matrix} \frac{\partial x_{1}}{\partial r} & \frac{\partial x_{1}}{\partial θ_{1}} & \dots & \frac{\partial x_{1}}{\partial θ_{n - 1}} \\ \frac{\partial x_{2}}{\partial r} & \frac{\partial x_{2}}{\partial θ_{1}} & \dots & \frac{\partial x_{2}}{\partial θ_{n - 1}} \\ \dots & \dots & \dots & \dots \\ \frac{\partial x_{n}}{\partial r} & \frac{\partial x_{n}}{\partial θ_{1}} & \dots & \frac{\partial x_{n}}{\partial θ_{n - 1}} \end{matrix} |$
とおくと、以下の漸化式が成り立つ。
$J_{n} = r \sin θ_{1} \sin θ_{2} \dots \sin θ_{n - 2} J_{n - 1}$

証明を見る

第

n

列に対して余因子行列展開を行う。
すると下記の式を得る。

J_{n} = - \frac{\partial x_{n - 1}}{\partial θ_{n - 1}} | \begin{matrix} \frac{\partial x_{1}}{\partial r} & \frac{\partial x_{1}}{\partial θ_{1}} & \dots & \frac{\partial x_{1}}{\partial θ_{n - 2}} \\ \frac{\partial x_{2}}{\partial r} & \frac{\partial x_{2}}{\partial θ_{1}} & \dots & \frac{\partial x_{2}}{\partial θ_{n - 2}} \\ \dots & \dots & \dots & \dots \\ \frac{\partial x_{n - 2}}{\partial r} & \frac{\partial x_{n - 2}}{\partial θ_{1}} & \dots & \frac{\partial x_{n - 2}}{\partial θ_{n - 2}} \\ \frac{\partial x_{n}}{\partial r} & \frac{\partial x_{n}}{\partial θ_{1}} & \dots & \frac{\partial x_{n}}{\partial θ_{n - 2}} \end{matrix} | + \frac{\partial x_{n}}{\partial θ_{n - 1}} | \begin{matrix} \frac{\partial x_{1}}{\partial r} & \frac{\partial x_{1}}{\partial θ_{1}} & \dots & \frac{\partial x_{1}}{\partial θ_{n - 1}} \\ \frac{\partial x_{2}}{\partial r} & \frac{\partial x_{2}}{\partial θ_{1}} & \dots & \frac{\partial x_{2}}{\partial θ_{n - 1}} \\ \dots & \dots & \dots & \dots \\ \frac{\partial x_{n - 1}}{\partial r} & \frac{\partial x_{n - 1}}{\partial θ_{1}} & \dots & \frac{\partial x_{n - 1}}{\partial θ_{n - 2}} \end{matrix} |

また

\begin{array}{r} {\begin{cases} \frac{\partial x_{n}}{\partial r} = \sin θ_{1} \dots \sin θ_{n - 1} \\ \frac{\partial x_{n - 1}}{\partial r} = \sin θ_{1} \dots \cos θ_{n - 1} \\ \frac{\partial x_{n}}{\partial θ_{i}} = r \sin θ_{1} \dots \sin θ_{i - 1} \cos θ_{i} \sin θ_{i + 1} \dots \sin θ_{n - 1} \\ \frac{\partial x_{n - 1}}{\partial θ_{i}} = r \sin θ_{1} \dots \sin θ_{i - 1} \cos θ_{i} \sin θ_{i + 1} \dots \cos θ_{n - 1} \end{cases} \end{array}

より

\begin{array}{r} {\begin{cases} \frac{\partial x_{n}}{\partial r} = \frac{\sin θ_{n - 1}}{\cos θ_{n - 1}} \frac{\partial x_{n - 1}}{\partial r} \\ \frac{\partial x_{n}}{\partial θ_{i}} = \frac{\sin θ_{n - 1}}{\cos θ_{n - 1}} \frac{\partial x_{n - 1}}{\partial θ_{i}} \end{cases} \end{array}

ゆえに、

\begin{array}{rcl} J_{n} & = & (- \frac{\partial x_{n - 1}}{\partial θ_{n - 1}} \frac{\sin θ_{n - 1}}{\cos θ_{n - 1}} + \frac{\partial x_{n}}{\partial θ_{n - 1}}) | \begin{array}{c} \frac{\partial x_{1}}{\partial r} & \frac{\partial x_{1}}{\partial θ_{1}} & \dots & \frac{\partial x_{1}}{\partial θ_{n - 2}} \\ \frac{\partial x_{2}}{\partial r} & \frac{\partial x_{2}}{\partial θ_{1}} & \dots & \frac{\partial x_{2}}{\partial θ_{n - 2}} \\ \dots & \dots & \dots & \dots \\ \frac{\partial x_{n - 1}}{\partial r} & \frac{\partial x_{n - 1}}{\partial θ_{1}} & \dots & \frac{\partial x_{n - 1}}{\partial θ_{n - 2}} \end{array} | \\ = & (- \frac{\partial x_{n - 1}}{\partial θ_{n - 1}} \sin θ_{n - 1} + \frac{\partial x_{n}}{\partial θ_{n - 1}} \cos θ_{n - 1}) | \begin{array}{c} \frac{\partial x_{1}}{\partial r} & \frac{\partial x_{1}}{\partial θ_{1}} & \dots & \frac{\partial x_{1}}{\partial θ_{n - 2}} \\ \frac{\partial x_{2}}{\partial r} & \frac{\partial x_{2}}{\partial θ_{1}} & \dots & \frac{\partial x_{2}}{\partial θ_{n - 2}} \\ \dots & \dots & \dots & \dots \\ \frac{1}{\cos θ_{n - 1}} \frac{\partial x_{n - 1}}{\partial r} & \frac{1}{\cos θ_{1}} \frac{\partial x_{n - 1}}{\partial θ_{1}} & \dots & \frac{1}{\cos θ_{n - 1}} \frac{\partial x_{n - 1}}{θ_{n - 2}} \end{array} | \\ = & r \sin θ_{1} \sin θ_{2} \dots \sin θ_{n - 2} J_{n - 1} \end{array}

Jacobian

$\begin{array}{r} {\begin{cases} J_{2} = r \\ J_{n} = r^{n - 1} \sin^{n - 2} θ_{1} \sin^{n - 3} θ_{2} \dots \sin θ_{n - 2} \end{cases} \end{array}$

Beta関数

$B (x, y) = 2 \int_{0}^{\frac{π}{2}} \sin^{2 x - 1} θ \cos^{2 y - 1} θ d θ$

$\begin{array}{rcl} B (x, y) & = & \int_{0}^{1} t^{x - 1} (1 - x)^{t - 1} d x (x = \sin^{2} θ) \\ = & 2 \int_{0}^{\frac{π}{2}} \sin^{2 x - 1} θ \cos^{2 y - 1} θ d θ \end{array}$