SiegelTheta[Ω,s]
シーゲル(Siegel)のシータ関数
を,リーマンモジュール行列 Ω とベクトル s とともに与える.
SiegelTheta[{ν1,ν2},Ω,s]
シーゲルのシータ関数
を指標 ν1,ν2とともに与える.
SiegelTheta
SiegelTheta[Ω,s]
シーゲル(Siegel)のシータ関数
を,リーマンモジュール行列 Ω とベクトル s とともに与える.
SiegelTheta[{ν1,ν2},Ω,s]
シーゲルのシータ関数
を指標 ν1,ν2とともに与える.
詳細
- 記号操作・数値操作の両方に適した数学関数である.
- 行列 Ω は対称で,正の有限な虚部を持たなければならない.
- Ω が p×p 行列の場合,ベクトル s と v あるいは νiは長さ p でなければならない.
,ただし n は p 次の整数格子において可能なすべてのベクトルの範囲に及ぶものとする.-
,ただし n の範囲は p 次元の整数格子上の可能なすべてのベクトルに及ぶものとする. - SiegelThetaは任意の数値精度で評価できる.
例題
すべて開く すべて閉じる例 (3)
SiegelTheta[{{I, -1 / 2}, {-1 / 2, I}}, {0.5, 0}]//ChopPlot[Re[SiegelTheta[{{I, -1 / 2}, {-1 / 2, I}}, {x, 2 x}]], {x, -1, 1}]ComplexPlot3D[SiegelTheta[{{I, -1 / 2}, {-1 / 2, I}}, {z, 2 z}], {z, -1 / 2 - I / 2, 1 / 2 + I / 2}, PlotLegends -> Automatic]スコープ (7)
数値評価 (3)
N[SiegelTheta[IdentityMatrix[2] I, {1, 2}]]N[SiegelTheta[{{2, 4}, {4, 2}}, IdentityMatrix[2] I, {1, 2}]]N[SiegelTheta[{{2, 1 / 3}, {4, 2}}IdentityMatrix[2] I, {9, 2}], 20]//ChopSiegelTheta[{{I + 1, -2}, {-2, I + 4}}, {1.2222222222222222222, I + 1}]//ChopSiegelTheta[{{I + 1, -1}, {-1, I + 4}}, {1 / 2, I + 9`100}]//TimingSiegelTheta[{{I + 1, -1}, {-1, I + 4}}, {1 / 3, I + 9`1000}];//Timing//Quiet特定の値 (2)
SiegelTheta[{{I, 0}, {0, I}}, {0, 0}]//N//ChopRe[SiegelTheta[{{I,1},{1, I}},{x,x/3}]]=1となるような x の値を求める:
xval = x /. FindRoot[Re[SiegelTheta[{{I, 1}, {1, I}}, {x, x / 3}]] == 1, {x, 0.5}]//QuietPlot[Re[SiegelTheta[{{I, 1}, {1, I}}, {x, x / 3}]], {x, -1, 2}, Epilog -> Style[Point[{xval, Re[SiegelTheta[{{I, 1}, {1, I}}, {xval, xval / 3}]]}], PointSize[Large], Red]]可視化 (2)
SiegelTheta関数をさまざまなパラメータについてプロットする:
Plot[{Re[SiegelTheta[{{I, 1}, {1, I}}, {x, x / 3}]], Re[SiegelTheta[{{I, 1}, {1, I}}, {x, x / 2}]], Re[SiegelTheta[{{I, 1}, {1, I}}, {x, 2x}]]}, {x, -2, 2}]ComplexContourPlot[Re[SiegelTheta[{{I, 1}, {1, I}}, {z, (z) / 3}]], {z, -1 - I, 1 + I}, Contours -> 20]ComplexContourPlot[Im[SiegelTheta[{{I, 1}, {1, I}}, {z, (z) / 3}]], {z, -1 - I, 1 + I}, Contours -> 20]一般化と拡張 (2)
指標
と
を持つSiegelTheta:
SiegelTheta[{{1 / 2, 0}, {0, 1 / 2}}, {{I, 0}, {0, I}}, {0.1 + I, 0}]特殊関数について記号的に簡約した指標を持つSiegelTheta:
SiegelTheta[{{0, 0}, {a, b}}, {{I, 1 / 2}, {1 / 2, I}}, {0, 0}]アプリケーション (2)
複素平面におけるSiegelThetaの絶対値をプロットする:
Plot3D[Abs[SiegelTheta[{{I, 0.5}, {0.5, I}}, {x, y}]], {x, -1, 1}, {y, -1, 1}]m = {{1 + I, -1 / 2}, {-1 / 2, 1 + I}};
a = {1 / 3, 1 / 4};
b = {1 / 5, 1 / 6};
c = {2 / 5, 1 / 12};
d = {2 / 15, 1 / 3};f[s_] := (SiegelTheta[m, s + a]SiegelTheta[m, s + b]) / (SiegelTheta[m, s + c]SiegelTheta[m, s + d])Plot[Re[f[x I]], {x, -1, 1}]特性と関係 (2)
一次元では,SiegelThetaはEllipticTheta関数と一致する:
SiegelTheta[{{0.5 + I}}, {2}]EllipticTheta[3, 2Pi, E ^ ( I * Pi * (0.5 + I))]SiegelThetaこれらの方程式を満足する:
m = {{I, 1 / 2}, {1 / 2, I}};
s = {0.5`20, 0.6`20};SiegelTheta[m, -s] == SiegelTheta[m, s]SiegelTheta[m, s + 1] == SiegelTheta[m, s]SiegelTheta[m, s + {1, 2}. m] == E ^ (Pi I(-{1, 2}.m.{1, 2} - 2{1, 2}.s))SiegelTheta[m, s]考えられる問題 (2)
SiegelThetaは対称な
行列を必要とする:
m = {{I, 1}, {0, 2I}};SiegelTheta[m, {1, 2.}]SiegelTheta[(m + m) / 2, {1, 2.}]SiegelTheta[{{10^-3 I}}, {0.5}]Block[{$MaxExtraPrecision = 500}, N[SiegelTheta[{{10^-3 I}}, {1 / 2}], 50]]N[EllipticTheta[3, π / 2, Exp[-π 10^-3]], 50]おもしろい例題 (1)
ネストしたSiegelTheta関数における正値性からの偏差を可視化する:
ContourPlot[Arg[Nest[SiegelTheta[{{I, Re[#] - Im[#]}, {Re[#] - Im[#], I}}, {Re[#], Im[#]}] &, x + y I, 5]], {x, 0, 1}, {y, 0, 1}]関連項目
関連リンク
テキスト
Wolfram Research (2007), SiegelTheta, Wolfram言語関数, https://reference.wolfram.com/language/ref/SiegelTheta.html.
CMS
Wolfram Language. 2007. "SiegelTheta." Wolfram Language & System Documentation Center. Wolfram Research. https://reference.wolfram.com/language/ref/SiegelTheta.html.
APA
Wolfram Language. (2007). SiegelTheta. Wolfram Language & System Documentation Center. Retrieved from https://reference.wolfram.com/language/ref/SiegelTheta.html
BibTeX
@misc{reference.wolfram_2026_siegeltheta, author="Wolfram Research", title="{SiegelTheta}", year="2007", howpublished="\url{https://reference.wolfram.com/language/ref/SiegelTheta.html}", note=[Accessed: 15-November-2026]}
BibLaTeX
@online{reference.wolfram_2026_siegeltheta, organization={Wolfram Research}, title={SiegelTheta}, year={2007}, url={https://reference.wolfram.com/language/ref/SiegelTheta.html}, note=[Accessed: 15-November-2026]}