數學中,模λ函數[1],又稱橢圓λ函數,是定義於上半平面H全純函數,具有高度對稱性。该函数在同餘子群Γ(2)的对H分式線性作用下不變,亦是商空间Γ(2)\H上函數域的生成元;也就是說,這個函數是模曲線X(2)的主模曲线英语Hauptmodul。特别地,该函数沿實軸平移兩個單位,函數值不改变,即[2]。在任意點上,其值可用於描述橢圓曲線对其投影線的分歧覆盖映射的四个分支點英语Branch point交比,式中[-1]为E对原点的反演变换生成的自同构群。

模λ函數的色相環複變函數圖形,其中黑色代表0、白色代表無窮、灰色代表未定義點、其餘顏色的色相代表複數輻角明亮度代表複數的模,繪製範圍在實部-3至3內、虛部-3至3內。從中可以看到模λ函數僅在複數上半平面有定義,並具備高度對稱性,並且沿著實數軸每2個單位圖樣會重複一次

模λ函數具有如下的傅立叶展开式

,其中OEISA115977

模性質

编辑

模λ函數在由下式生成模群英语Modular group的主同余子群Γ(2)的作用下保持不变:[3]:115

 

模群自身的生成元则以如下方式作用于模λ函数之上:[3]:109

 
 

與其他橢圓函數的關聯

编辑

λ函數為亞可比模量(Jacobi modulus)的平方[3]:108,即 ;亦可以戴德金η函數Θ函數表达:

 
 

其中:[3]:63

 
 
 
 

λ函數亦可以魏爾斯特拉斯橢圓函數在定义其的格子的棱边中点和面心处的函数值表达;若令 為满足 的基本週期二元組:

 

則有:[3]:108

 

魏尔斯特拉斯函数在上述三点的值各不相同,這意味著λ函數取不到值0或1。[3]:108

其與克萊因j函數英语Klein J-invariant的關係為:[3]:117[4]

 

橢圓模量

编辑
 
λ*(x)函數的色相環複變函數圖形,繪製範圍在實部-3至3內、虛部-3至3內
 
λ*(x)函數的色相環複變函數圖形,繪製範圍在實部-1至1內、虛部-1至1內

有一個與模λ函數相關的函數:λ*(x)函數,其給出了橢圓模量k的值。第一類完全橢圓積分K(k)與其互補對應的 關係如下:

 

λ*(x)函數的函數值可透過下列式子計算:

 
 
 

其中 Θ函數

此外λ函數與λ*(x)函數存在下列關聯:

 

所有的有理數r,  都可以視為橢圓積分的奇異值,可透過有限的伽馬函數表示[5]

參見

编辑

參考文獻

编辑
  1. ^ 日本数学会. 数学百科辞典. 科学出版社. 1984 [2021-07-15]. (原始内容存档于2021-10-23). 
  2. ^ Weisstein, Eric W. (编). Elliptic Lambda Function. at MathWorld--A Wolfram Web Resource. Wolfram Research, Inc. (英语). 
  3. ^ 3.0 3.1 3.2 3.3 3.4 3.5 3.6 Chandrasekharan, K., Elliptic Functions, Grundlehren der mathematischen Wissenschaften 281, Springer-Verlag: 108–121, 1985, ISBN 3-540-15295-4, Zbl 0575.33001 
  4. ^ Rankin, Robert A., Modular Forms and Functions, Cambridge University Press: 226–228, 1977, ISBN 0-521-21212-X, Zbl 0376.10020 
  5. ^ Selberg, A.; Chowla, S. "On Epstein's Zeta-Function.". J. reine angew. Math. 1967, 227: 86–110.