logo

ガウスの平均値定理の証明 📂複素解析

ガウスの平均値定理の証明

定理

関数 ff が閉じた zz0r| z - z_{0} | \le r 内で解析的だとしよう。そうすると、 f(z0)=12π02πf(z0+reiθ)dθ f(z_{0}) = {{1} \over {2 \pi}} \int_{0}^{2 \pi} f(z_{0} + r e ^{i \theta } ) d \theta

説明

微分の平均値の定理が一般化を経ていくつもの数学者の名前がついた定理を生み出したように、積分の平均値の定理にもガウスの名前がついたバージョンが存在する。それは積分の平均値の定理の形をしているが、その概念をよく考えてみると、そう簡単には納得がいかない定理だ。

証明

コーシーの積分公式: f(z0)=12πiCf(z)(zz0)dzf (z_{0}) = {{1} \over {2 \pi i }} \int_{\mathscr{C}} {{f(z)} \over { (z - z_{0}) }} dz

コーシーの積分公式により、 f(z0)=12πizz0=rf(z)(zz0)dz f(z_{0}) = {{1} \over {2 \pi i }} \int_{ |z-z_{0} |= r } {{f(z)} \over { (z - z_{0}) }} dz z(θ)=reiθ+z0,0θ2πz(\theta) = r e ^{ i \theta } + z_{0} , 0 \le \theta \le 2 \pi に置き換えると、 f(z0)=12πi02πf(z0+reiθ)reiθireiθdθ=12π02πf(z0+reiθ)dθ \begin{align*} f(z_{0}) =& {{1} \over {2 \pi i }} \int_{0}^{2 \pi} {{f( z_{0} + r e^{i \theta} )} \over { r e ^{ i \theta} }} i r e^{i \theta } d \theta \\ =& {{1} \over {2 \pi }} \int_{0}^{2 \pi} f( z_{0} + r e^{i \theta} ) d \theta \end{align*}

参照