トップQs
タイムライン
チャット
視点
テータ関数
特殊関数の一つ ウィキペディアから
Remove ads
テータ関数(テータかんすう、英: theta function)は、
で定義される関数のことである。それ以外にも、指標付きのテータ関数 、ヤコビのテータ関数、楕円テータ関数 と呼ばれる一連のテータ関数が存在する。 指標付きのテータ関数や楕円テータ関数は、その定義にいくつかの流儀があり、同じ記号を使いながら違ったものを指していることがあるので注意が必要である。 これらの関数は、z の関数と見た場合には擬二重周期を持ち楕円関数に関係し、τ の関数と見た場合はモジュラー形式に関係する。
Remove ads
テータ関数の定義
要約
視点
テータ関数は次のように定義される関数のことを指す[1]。
テータ関数を z の関数と見た場合、周期 1 の周期関数である[2]。
一般には以下の等式を満たす[2]。
Remove ads
ヤコビのテータ関数の定義
要約
視点
ヤコビのテータ関数は狭義の意味では次の関数のことを指す[3]。
ただし、 は補母数、 は 第1種完全楕円積分、 はヤコビのツェータ関数[4]
はヤコビのイプシロン関数、 は第2種完全楕円積分、 , は ヤコビの楕円関数、 は振幅関数である。
また、ヤコビのエータ関数[3]
を含めて、, , , のことをヤコビのテータ関数と呼ぶこともある[5]。ただし、 である。ヤコビのテータ関数は、後述の楕円テータ関数と以下の関係で結ばれている[5]。
ただし、 は、楕円関数の基本周期の半分で、 である(, が楕円関数の基本周期に相当する)[6]。
物理の教科書[7]では後述の をヤコビのテータ関数と呼んでいるが、やや不正確な言い方である。
Remove ads
指標付きのテータ関数の定義
以下のように定義された、添え字を 2 つ持つテータ関数のことを指標付きのテータ関数と呼ぶ[8]。
なお、指標付きのテータ関数の定義には 2 つの流儀があって統一的に用いられていないため、文献を読むときには注意しなければならない [9]。 この記事で使われているのは、Mumford 2006 で使われているのと同じ定義である[9]。
楕円テータ関数の定義
楕円テータ関数(だえんテータかんすう、英: elliptic theta function)は、以下のように定義された関数である[10]。 ただし、, である。
楕円テータ関数にも定義に 2 つの流儀があり、注意が必要である。 フルヴィッツ・クーランの「楕円関数論」の定義では添え字が 1 から 4 ではなく、 0 から 3 である[9]。 その場合は , , の定義は変わらず、 で定義される。 文脈から v あるいは τ が明らかな場合は あるいは と書き、更に と書く。Mathematica では、 のことを v と書いている。
Remove ads
擬二重周期
要約
視点
テータ関数は擬二重周期を持つ。
Remove ads
無限乗積表示と零点
要約
視点
ヤコビの三重積の公式により、
であるからの零点は
である。他の関数の零点も同様にして求められる。
Remove ads
テータ定数
要約
視点
v = 0 のときのテータ関数の値をテータ定数(英: theta constant)あるいはテータ零値(独: Thetanullwerte)という。これは定数といいながら実は τ の関数である。
であるから、代わりに導関数を用いる。
とすると
となるが、オイラーの分割恒等式により、
であるから c = 1 であり、故に である。
Remove ads
恒等式
要約
視点
テータ関数の間で次の恒等式が成立する。
擬二重周期と併せて
次の恒等式はヤコビの虚数変換式という。
他に τ を変換するものとして
これにより
Remove ads
ランデンの公式
要約
視点
次の恒等式はランデンの公式 (Landen's formula) という。
第一式の右辺を展開すれば
となるが、 が奇数の項は で打ち消し合うから
となり、左辺を得る。第二式は第一式に を代入して得られる。
Remove ads
加法定理
要約
視点
例えば
であるが、 は共に偶数か共に奇数であるから、 とすれば
となる。ここで とすれば
となり、 とすれば
となる。これらにより
が得られ、同様にして数十もの恒等式が得られる。
x = y = z とすれば
などが得られ、更に z = 0 とすれば
が得られる。
Remove ads
対数微分
要約
視点
無限乗積表示
の対数微分により
である。同様に
である。
Remove ads
出典
参考文献
関連項目
Wikiwand - on
Seamless Wikipedia browsing. On steroids.
Remove ads