数学中,模λ函数[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.