関数の性質で今回使うものを極力省略することなく証明していきたいと思います。
まずは関数の定義を確認しましょう。
では色々証明していきたいと思います。
この意味で関数は階乗の定義域を複素数の範囲まで拡張したものとなっている(元々関数は階乗の一般化として導入されたものである)。
他にもこのような関数が存在するのではないかという疑問が生じるが、Bohr-Mollerupの定理から
- 対数凸
-
の全てを満たす複素関数は関数のみに限られることが分かる。
今回の目的
とを用いると
\
以下帰納的にが得られる
ここでを用いると
(証明終)