模λ函數

在數學中，模λ函數 λ ( τ ) {\displaystyle \lambda (\tau )} ，又稱橢圓λ函數，是定義於複上半平面H的全純函數，具有高度對稱性。该函数在同餘子群Γ(2)的对H的分式線性作用下不變，亦是商空间Γ(2)\H上函數域的生成元；也就是說，這個函數是模曲線X(2)的主模曲线（英语：Hauptmodul）。特别地，该函数沿實軸平移兩個單位，函數值不改变，即 λ ( τ + 2 ) = λ ( τ ) {\displaystyle \lambda (\tau +2)=\lambda (\tau )} 。在任意點 τ {\displaystyle \tau } 上，其值可用於描述橢圓曲線 E = C / ⟨ 1 , τ ⟩ {\displaystyle E=\mathbb {C} /\langle 1,\tau \rangle } 对其投影線 E / [ − 1 ] {\displaystyle E/[-1]} 的分歧覆盖映射的四个分支點（英语：Branch point）之交比，式中[-1]为E对原点的反演变换生成的自同构群。 模λ函數具有如下的傅立叶展开式： λ ( τ ) = 16 q − 128 q 2 + 704 q 3 − 3072 q 4 + 11488 q 5 − 38400 q 6 + … {\displaystyle \lambda \left(\tau \right)=16q-128q^{2}+704q^{3}-3072q^{4}+11488q^{5}-38400q^{6}+\dots } ，其中 q = e π i τ {\displaystyle q=e^{\pi i\tau }} 。 A115977 模λ函數在由下式生成的模群（英语：Modular group）的主同余子群Γ(2)的作用下保持不变： τ ↦ τ + 2   ;   τ ↦ τ 1 − 2 τ   . {\displaystyle \tau \mapsto \tau +2\ ;\ \tau \mapsto {\frac {\tau }{1-2\tau }}\ .} 模群自身的生成元则以如下方式作用于模λ函数之上： τ ↦ τ + 1   :   λ ↦ λ λ − 1 ; {\displaystyle \tau \mapsto \tau +1\ :\ \lambda \mapsto {\frac {\lambda }{\lambda -1}}\,;} τ ↦ − 1 τ   :   λ ↦ 1 − λ   . {\displaystyle \tau \mapsto -{\frac {1}{\tau }}\ :\ \lambda \mapsto 1-\lambda \ .} λ函數為亞可比模量（Jacobi modulus）的平方，即 λ ( τ ) = k 2 ( τ ) {\displaystyle \lambda (\tau )=k^{2}(\tau )} ；亦可以戴德金η函數與Θ函數表达： λ ( τ ) = ( 2 η ( τ 2 ) η 2 ( 2 τ ) η 3 ( τ ) ) 8 = 16 ( η ( τ / 2 ) η ( 2 τ ) ) 8 + 16 = θ 2 4 ( 0 , τ ) θ 3 4 ( 0 , τ ) {\displaystyle \lambda (\tau )={\Bigg (}{\frac {{\sqrt {2}}\,\eta ({\tfrac {\tau }{2}})\eta ^{2}(2\tau )}{\eta ^{3}(\tau )}}{\Bigg )}^{8}={\frac {16}{\left({\frac {\eta (\tau /2)}{\eta (2\tau )}}\right)^{8}+16}}={\frac {\theta _{2}^{4}(0,\tau )}{\theta _{3}^{4}(0,\tau )}}} 1 ( λ ( τ ) ) 1 / 4 − ( λ ( τ ) ) 1 / 4 = 1 2 ( η ( τ 4 ) η ( τ ) ) 4 = 2 θ 4 2 ( 0 , τ 2 ) θ 2 2 ( 0 , τ 2 ) {\displaystyle {\frac {1}{{\big (}\lambda (\tau ){\big )}^{1/4}}}-{\big (}\lambda (\tau ){\big )}^{1/4}={\frac {1}{2}}\left({\frac {\eta ({\tfrac {\tau }{4}})}{\eta (\tau )}}\right)^{4}=2\,{\frac {\theta _{4}^{2}(0,{\tfrac {\tau }{2}})}{\theta _{2}^{2}(0,{\tfrac {\tau }{2}})}}} 其中： θ 2 ( 0 , τ ) = ∑ n = − ∞ ∞ q ( n + 1 2 ) 2 {\displaystyle \theta _{2}(0,\tau )=\sum _{n=-\infty }^{\infty }q^{\left({n+{\frac {1}{2}}}\right)^{2}}} θ 3 ( 0 , τ ) = ∑ n = − ∞ ∞ q n 2 {\displaystyle \theta _{3}(0,\tau )=\sum _{n=-\infty }^{\infty }q^{n^{2}}} θ 4 ( 0 , τ ) = ∑ n = − ∞ ∞ ( − 1 ) n q n 2 {\displaystyle \theta _{4}(0,\tau )=\sum _{n=-\infty }^{\infty }(-1)^{n}q^{n^{2}}} q = e π i τ {\displaystyle q=e^{\pi i\tau }} λ函數亦可以魏爾斯特拉斯橢圓函數在定义其的格子的棱边中点和面心处的函数值表达；若令 [ ω 1 , ω 2 ] {\displaystyle [\omega _{1},\omega _{2}]} 為满足 τ = ω 2 ω 1 {\displaystyle \tau ={\frac {\omega _{2}}{\omega _{1}}}} 的基本週期二元組： e 1 = ℘ ( ω 1 2 ) , e 2 = ℘ ( ω 2 2 ) , e 3 = ℘ ( ω 1 + ω 2 2 ) {\displaystyle e_{1}=\wp \left({\frac {\omega _{1}}{2}}\right),e_{2}=\wp \left({\frac {\omega _{2}}{2}}\right),e_{3}=\wp \left({\frac {\omega _{1}+\omega _{2}}{2}}\right)} 則有： λ = e 3 − e 2 e 1 − e 2 . {\displaystyle \lambda ={\frac {e_{3}-e_{2}}{e_{1}-e_{2}}}\,.} 魏尔斯特拉斯函数在上述三点的值各不相同，這意味著λ函數取不到值0或1。 其與克萊因j函數（英语：Klein J-invariant）的關係為： j ( τ ) = 256 ( 1 − λ ( 1 − λ ) ) 3 ( λ ( 1 − λ ) ) 2 = 256 ( 1 − λ + λ 2 ) 3 λ 2 ( 1 − λ ) 2   . {\displaystyle j(\tau )={\frac {256(1-\lambda (1-\lambda ))^{3}}{(\lambda (1-\lambda ))^{2}}}={\frac {256(1-\lambda +\lambda ^{2})^{3}}{\lambda ^{2}(1-\lambda )^{2}}}\ .} 有一個與模λ函數相關的函數：λ*(x)函數，其給出了橢圓模量k的值。第一類完全橢圓積分K(k)與其互補對應的 K ( 1 − k 2 ) {\displaystyle K\left({\sqrt {1-k^{2}}}\right)} 關係如下： K [ 1 − λ ∗ ( x ) 2 ] K [ λ ∗ ( x ) ] = x {\displaystyle {\frac {K\left[{\sqrt {1-\lambda ^{*}(x)^{2}}}\right]}{K[\lambda ^{*}(x)]}}={\sqrt {x}}} λ*(x)函數的函數值可透過下列式子計算： λ ∗ ( x ) = ϑ 2 2 [ 0 ; exp ⁡ ( − π x ) ] ϑ 3 2 [ 0 ; exp ⁡ ( − π x ) ] {\displaystyle \lambda ^{*}(x)={\frac {\vartheta _{2}^{2}[0;\exp(-\pi {\sqrt {x}})]}{\vartheta _{3}^{2}[0;\exp(-\pi {\sqrt {x}})]}}} λ ∗ ( x ) = [ ∑ a = − ∞ ∞ exp ⁡ [ − ( a + 1 / 2 ) 2 π x ] ] 2 [ ∑ a = − ∞ ∞ exp ⁡ ( − a 2 π x ) ] − 2 {\displaystyle \lambda ^{*}(x)=\left[\sum _{a=-\infty }^{\infty }\exp[-(a+1/2)^{2}\pi {\sqrt {x}}]\right]^{2}\left[\sum _{a=-\infty }^{\infty }\exp(-a^{2}\pi {\sqrt {x}})\right]^{-2}} λ ∗ ( x ) = [ ∑ a = − ∞ ∞ sech ⁡ [ ( a + 1 / 2 ) π x ] ] [ ∑ a = − ∞ ∞ sech ⁡ ( a π x ) ] − 1 {\displaystyle \lambda ^{*}(x)=\left[\sum _{a=-\infty }^{\infty }\operatorname {sech} [(a+1/2)\pi {\sqrt {x}}]\right]\left[\sum _{a=-\infty }^{\infty }\operatorname {sech} (a\pi {\sqrt {x}})\right]^{-1}} 其中 ϑ {\displaystyle \vartheta } 為Θ函數。 此外λ函數與λ*(x)函數存在下列關聯： λ ∗ ( x ) = λ ( i x ) {\displaystyle \lambda ^{*}(x)={\sqrt {\lambda (i{\sqrt {x}})}}} 所有的有理數r， K ( λ ∗ ( r ) ) {\displaystyle K\left(\lambda ^{*}(r)\right)} 與 E ( λ ∗ ( r ) ) {\displaystyle E\left(\lambda ^{*}(r)\right)} 都可以視為橢圓積分的奇異值，可透過有限的伽馬函數表示。 模形式 日本数学会. 数学百科辞典. 科学出版社. 1984 [2021-07-15]. （原始内容存档于2021-10-23）.  Weisstein, Eric W. (编). Elliptic Lambda Function. at MathWorld--A Wolfram Web Resource. Wolfram Research, Inc. （英语）.  Chandrasekharan, K., Elliptic Functions, Grundlehren der mathematischen Wissenschaften 281, Springer-Verlag: 108–121, 1985, ISBN 3-540-15295-4, Zbl 0575.33001  Rankin, Robert A., Modular Forms and Functions, Cambridge University Press: 226–228, 1977, ISBN 0-521-21212-X, Zbl 0376.10020  Selberg, A.; Chowla, S. "On Epstein's Zeta-Function.". J. reine angew. Math. 1967, 227: 86–110.