トップ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

出典

参考文献

関連項目

Loading related searches...

Wikiwand - on

Seamless Wikipedia browsing. On steroids.

Remove ads