バーンズのG関数

数学において、バーンズの -関数（バーンズのGかんすう、） は、スーパー階乗を複素数にまで拡張した特殊関数 である。これはガンマ関数、K関数、グレイシャーの定数に関連するものであり、数学者であるにちなみ名付けられた。 これは（初等函数を掛ける違いを除いて）二重ガンマ関数の特殊な場合である。
正式には、バーンズの -関数は以下のワイエルシュトラスの乗積表示
の形で定義される。ここで はオイラーの定数であり、 は指数関数である。また、 は総乗の Π-記法である。
函数等式および整数引数に対する挙動.
バーンズの -関数は、正規化条件 のもと以下の函数等式
を満たす。このバーンズ函数の満たす函数等式とガンマ函数の満たす函数等式
との類似性に注目せよ。この函数等式を用いることにより、バーンズ が整数引数に対して以下の通り
を値とすることが導かれる（特に、 が従う。またこれにより、
がわかる。ただし はガンマ関数を、 はK関数を表す。上記の函数等式は、凸条件 を追加すれば、一意にバーンズ -函数を定義する。
反射公式.
バーンズの -関数に対する差分方程式は、ガンマ関数の函数等式と合わせて、バーンズの -関数の（相反公式）
を得るのに用いることができる（もともとはによって証明された）。右辺に現れる対数正接積分は（二次の）を用いると、
と評価することができる。この結果の証明は、対数余接積分 の以下のような評価と なる事実によるものである。部分積分により
から、積分変数の置換 formula_8 により
を得る。二次のクラウセン関数は積分表示
を持つが、 なる区間では（積分内の「半正弦函数」の値域は真に正値であるから）被積分函数の絶対値は取り除けて、しかも真に非零である。この定義と、上記の対数正接積分に関する結果とを比較すれば、明らかに
なる関係式が成り立つ。最後に項を並べ替えて、
とすれば証明は完了する。□
formula_13 なる関係を使い、反射公式をformula_14で割れば、
もわかる。
反射式 と同等の式に、ベルヌーイ多項式を用いた式
がある。'を'に置き換えるとこの式は上に等しい。
テイラー展開.
テイラーの定理とバーンズのG関数の対数微分により以下の級数展開が分かる。
これは formula_17において有効であり、ここでformula_18はリーマンゼータ関数
である。級数の両辺を指数関数に代入すると、
となる。ここからワイエルシュトラスの乗積表示の形との比較に関し以下が得られる。
倍元公式.
ガンマ関数と同様にバーンズのG関数は引数の整数倍に関して以下の公式を有する。
ここでformula_23は以下で与えられる。
ここでformula_25はリーマンゼータ関数の導関数、formula_26はグレイシャーの定数である。
漸近展開.
バーンズの示した通り、"G"("z" + 1)の対数は
と漸近展開される。
ここでformula_28はベルヌーイ数であり、formula_26はグレイシャーの定数である。（バーンズの時代には少し紛らわしいことにベルヌイ数 formula_30 が formula_31 と書かれることもあったが、現在ではそのような規約は用いられないことに注意）。この漸近展開は が大きいとき、負の実軸を含まない任意の扇形に属する に対して成り立つ。
対数ガンマ積分との関係.
対数ガンマの媒介変数表示はバーンズ -函数を用いて
と評価することができる。
その証明は少々間接的である。まずはガンマ函数と -函数との対数差分
を調べる。ここで、
であり、 はオイラーの定数である。
バーンズ函数とガンマ函数に関してヴァイヤストラスの乗積形の対数をとることで
となり、少し整理して項を並べ替えれば級数展開
を得る。最後に、対数ガンマ函数のヴァイヤストラス乗積形をとって区間 上積分すれば
となる。二つの評価を等しいと置いて
の証明は完成する。□