これらの関数は、z の関数と見た場合には擬二重周期を持ち楕円関数に関係し、τ の関数と見た場合はモジュラー形式に関係する。

テータ関数(テータかんすう、英: theta function)は、


で定義される関数のことである。それ以外にも、指標付きのテータ関数 、ヤコビのテータ関数、楕円テータ関数 と呼ばれる一連のテータ関数が存在する。 指標付きのテータ関数や楕円テータ関数は、その定義にいくつかの流儀があり、同じ記号を使いながら違ったものを指していることがあるので注意が必要である。 これらの関数は、z の関数と見た場合には擬二重周期を持ち楕円関数に関係し、τの関数と見た場合はモジュラー形式に関係する。

テータ関数は次のように定義される関数のことを指す[1]。


テータ関数を z の関数と見た場合、周期 1 の周期関数である[2]。


一般には以下の等式を満たす[2]。

メインメニューを開く

検索
編集
このページをウォッチする
別の言語で閲覧
テータ関数
 
テータ関数(テータかんすう、英: theta function)は、


で定義される関数のことである。それ以外にも、指標付きのテータ関数 、ヤコビのテータ関数、楕円テータ関数 と呼ばれる一連のテータ関数が存在する。 指標付きのテータ関数や楕円テータ関数は、その定義にいくつかの流儀があり、同じ記号を使いながら違ったものを指していることがあるので注意が必要である。 これらの関数は、z の関数と見た場合には擬二重周期を持ち楕円関数に関係し、τの関数と見た場合はモジュラー形式に関係する。
 
テータ関数の定義編集
テータ関数は次のように定義される関数のことを指す[1]。


テータ関数を z の関数と見た場合、周期 1 の周期関数である[2]。


一般には以下の等式を満たす[2]。


 
ヤコビのテータ関数の定義編集
ヤコビのテータ関数は狭義の意味では次の関数のことを指す[3]。


ただし、 は補母数、 は 第1種完全楕円積分、 はヤコビのツェータ関数[4]


はヤコビのイプシロン関数、 は第2種完全楕円積分、 , は ヤコビの楕円関数、 は振幅関数である。

また、ヤコビのエータ関数[3]


を含めて、 , , , のことをヤコビのテータ関数と呼ぶこともある[5]。ただし、 である。ヤコビのテータ関数は、後述の楕円テータ関数と以下の関係で結ばれている[5]。


ただし、 は、楕円関数の基本周期の半分で、 である( , が楕円関数の基本周期に相当する)[6]。

物理の教科書[7]では後述の をヤコビのテータ関数と呼んでいるが、やや不正確な言い方である。

以下のように定義された、添え字を 2 つ持つテータ関数のことを指標付きのテータ関数と呼ぶ[8]。


なお、指標付きのテータ関数の定義には 2 つの流儀があって統一的に用いられていないため、文献を読むときには注意しなければならない[9]。 この記事で使われているのは、Mumford 2006 で使われているのと同じ定義である[9]。