テータ関数

テータ関数（テータかんすう、）は、
で定義される関数のことである。それ以外にも、指標付きのテータ関数 formula_2、ヤコビのテータ関数、楕円テータ関数 formula_3 と呼ばれる一連のテータ関数が存在する。
指標付きのテータ関数や楕円テータ関数は、その定義にいくつかの流儀があり、同じ記号を使いながら違ったものを指していることがあるので注意が必要である。
これらの関数は、 の関数と見た場合には擬二重周期を持ち楕円関数に関係し、 の関数と見た場合はモジュラー形式に関係する。
テータ関数の定義.
テータ関数は次のように定義される関数のことを指す。
テータ関数を の関数と見た場合、周期 の周期関数である。
一般には以下の等式を満たす。
ヤコビのテータ関数の定義.
ヤコビのテータ関数は狭義の意味では次の関数のことを指す。
ただし、formula_8 は補母数、formula_9 は
第1種完全楕円積分、formula_10 はヤコビのツェータ関数
formula_12 はヤコビのイプシロン関数、
formula_13 は第2種完全楕円積分、
formula_14, formula_15 は
ヤコビの楕円関数、formula_16 は振幅関数である。
また、ヤコビのエータ関数
を含めて、formula_18, formula_19, formula_20, formula_21 のことをヤコビのテータ関数と呼ぶこともある。ただし、formula_22 である。ヤコビのテータ関数は、後述の楕円テータ関数と以下の関係で結ばれている。
ただし、formula_24 は、楕円関数の基本周期の半分で、formula_25 である（formula_26, formula_27 が楕円関数の基本周期に相当する）。
物理の教科書では後述の formula_3 をヤコビのテータ関数と呼んでいるが、やや不正確な言い方である。
指標付きのテータ関数の定義.
以下のように定義された、添え字を 2 つ持つテータ関数のことを指標付きのテータ関数と呼ぶ。
なお、指標付きのテータ関数の定義には 2 つの流儀があって統一的に用いられていないため、文献を読むときには注意しなければならない
この記事で使われているのは、 で使われているのと同じ定義である。
楕円テータ関数の定義.
楕円テータ関数（だえんテータかんすう、）は、以下のように定義された関数である。
ただし、formula_30, formula_31 である。
楕円テータ関数にも定義に 2 つの流儀があり、注意が必要である。
フルヴィッツ・クーランの「楕円関数論」の定義では添え字が から ではなく、
 から である。
その場合は formula_33, formula_34, formula_35 の定義は変わらず、
formula_36 で定義される。
文脈から あるいは が明らかな場合は formula_37 あるいは formula_38 と書き、更にformula_39 と書く。Mathematica では、formula_40 のことを と書いている。
擬二重周期.
テータ関数は擬二重周期を持つ。
無限乗積表示と零点.
ヤコビの三重積の公式により、
formula_53であるからformula_54の零点は
である。他の関数の零点も同様にして求められる。
テータ定数.
 のときのテータ関数の値をテータ定数（）あるいはテータ零値（）という。これは定数といいながら実は の関数である。
formula_60であるから、代わりに導関数を用いる。
formula_62とすると
となるが、オイラーの分割恒等式により、
であるから であり、故に formula_65 である。
恒等式.
テータ関数の間で次の恒等式が成立する。
擬二重周期と併せて
次の恒等式はヤコビの虚数変換式という。
他に を変換するものとして
これにより
ランデンの公式.
次の恒等式はランデンの公式 という。
第一式の右辺を展開すれば
となるが、formula_88 が奇数の項は formula_89 で打ち消し合うから
となり、左辺を得る。第二式は第一式に formula_91 を代入して得られる。
加法定理.
例えば
となる。これらにより
が得られ、同様にして数十もの恒等式が得られる。
 とすれば
などが得られ、更に とすれば
が得られる。
対数微分.
無限乗積表示
の対数微分により
である。同様に
である。