الأحد، 18 نوفمبر 2018

سلسلة آيزنشتاين



يتم تعريف سلسلة آيزنشتاين مع نسبة نصف الفترة تاو والمؤشر من صقبل
 G_r (تاو) = مجموع ^ _ (م = -infty) ^ inftysum ^ _ (ن = -infty) ^ infty1 / ((م + ntau) ^ ص)،
(1)
حيث مجموع مبلغ ^ ( ')يستبعد م = ن = 0، I [تاو]> 0و ص> 2عدد صحيح (أبوستول 1997، ص 12).
سلسلة آيزنشتاين ترضي الملكية الرائعة
 G_ (2R) ((atau + ب) / (ctau + د)) = (ctau + د) ^ (2R) G_ (2R) (تاو)
(2)
إذا كانت المصفوفة [أساسها.  مؤتمر نزع السلاح]موجودة في المجموعة الخطية الخاصة SL_n (Z) (Serre 1973، pp. 79 and 83). لذلك ، G_ (2R)هو شكل نموذجي للوزن 2R(Serre 1973 ، صفحة 83).
وعلاوة على ذلك، كل سلسلة آيزنشتاين هو التعبير عنه باعتباره متعدد الحدود من الثوابت بيضاوي الشكل g_2 و g_3من وظيفة weierstrass بالمجلس بيضاوي الشكل مع معاملات عقلانية إيجابية (أبوستول 1997).
سلسلة آيزنشتاين ترضي
 G_ (2K) (تاو) = 2zeta (2K) + (2 (2pii) ^ (2K)) / (ن = 1) ^ inftysigma_ (2K-1) (ن) ه ((2K-1)!) sum_ ^ (2piintau)،
(3)
حيث زيتا (ض)هي دالة زيتا و sigma_k (ن)هي وظيفة المقسوم عليه (أبوستول 1997، ص 24 و 69). كتابة الاسمية ف باسم
 س = ه ^ (pitaui) = ه ^ (- بيك ^ (ك) / K (ك))
(4)
 E_ (2K) (ف) = (G_ (2K) (تاو)) / (2zeta (2K))،
(5)
نحن لدينا
E_ (2N) (ف)=1 + C_ (2N) sum_ (ك = 1) ^ (infty) (ك ^ (2N-1) ف ^ (2K)) / (1-س ^ (2K))
(6)
=1 + C_ (2N) sum_ (ك = 1) ^ (infty) sigma_ (2N-1) (ك) س ^ (2K).
(7)
أين
C_ (2N)=((2pii) ^ (2K)) / ((2K-1)! زيتا (2K))
(8)
=(-1) ^ ك ((2pi) ^ (2K)) / (غاما (2K) زيتا (2K))
(9)
=- (4N) / (B_ (2N))،
(10)
حيث B_nهو عدد برنولي . ل ن = 1، 2 ، ... ، والقيم القليلة الأولى من C_ (2N)هي -24، 240 -504، 480 ، -264 ، 65520/691، ... (OEIS A006863 و A001067 ).
أول القيم القليلة E_ (2N) (ف)لذلك هي
E_2 (ف)=1-24sum_ (ك = 1) ^ (infty) sigma_1 (ك) س ^ (2K)
(11)
E_4 (ف)=1 + 240sum_ (ك = 1) ^ (infty) sigma_3 (ك) س ^ (2K)
(12)
E_6 (ف)=1-504sum_ (ك = 1) ^ (infty) sigma_5 (ك) س ^ (2K)
(13)
E_8 (ف)=1 + 480sum_ (ك = 1) ^ (infty) sigma_7 (ك) س ^ (2K)
(14)
E_ (10) (ف)=1-264sum_ (ك = 1) ^ (infty) sigma_9 (ك) س ^ (2K)
(15)
E_ (12) (ف)=1+ (65520) / (691) sum_ (ك = 1) ^ (infty) sigma_ (11) (ك) س ^ (2K)
(16)
E_ (14) (ف)=1-24sum_ (ك = 1) ^ (infty) sigma_ (13) (ك) س ^ (2K)،
(17)
(Apostol 1997 ، ص 139). استخدم Ramanujan هذه الرموز P (ض) = E_2 (الجذر التربيعي (ض))، Q (ض) = E_4 (الجذر التربيعي (ض))و R (ض) = E_6 (الجذر التربيعي (ض))، وهذه الوظائف تلبي نظام المعادلات التفاضلية
الصنبور=1 / (12) (P ^ 2-Q)
(18)
thetaQ=1/3 (PQ-R)
(19)
thetaR=1/2 (PR-Q ^ 2)
(20)
(نيستيرينكو 1999)، حيث ثيتا = ZD / DZهو المشغل التفاضلية .
E_ (2N) (ف)كما يمكن التعبير عنه من حيث كاملة التكاملات بيضاوي الشكل من النوع الأول K (ك) حيث
E_4 (ف)=[(2K (ك)) / بي] ^ 4 (1-ك ^ ^ 2K ( '2))
(21)
E_6 (ف)=[(2K (ك)) / بي] ^ 6 (1-2k ^ 2) (1 + 1 / 2K ^ ^ 2K ( '2))
(22)
(Ramanujan 1913-1914) ، حيث كهو معامل الاهليلجيه . تستخدم رامانوجان تدوين M (ف)و N (ف)للإشارة إلى E_4 (ف)و E_6 (ف)، على التوالي.
يتم إعطاء صيغ جميلة من قبل
E_4 (ف)=1/2 [theta_2 ^ 8 (ف) + theta_3 ^ 8 (ف) + theta_4 ^ 8 (ف)]
(23)
E_8 (ف)=1/2 [theta_2 ^ (16) (ف) + theta_3 ^ (16) (ف) + theta_4 ^ (16) (ف)]،
(24)
الجدول التالي يعطي أول سلسلة آيزنشتاين القليلة E_n (ف)حتى ن.
نسلوانبنيةE_n (ف)
2A0063521-24q ^ ^ 2-72q 4-96q ^ ^ 6-168q 8 -...
4A004009E_81 + 240q ^ 2 + 2160q ^ 4 + 6720q ^ 6 + ...
6A0139731-504q ^ ^ 2-16632q 4-122976q ^ 6 -...
8A008410E_8 المبلغ المباشر E_81 + 480q ^ 2 + 61920q ^ 4 + 1050240q ^ 6 + ...
10A0139741-264q ^ ^ 2-135432q 4-5196576q ^ 6 -...
يستخدم الترميز L (ف)أحيانًا للإشارة إلى الوظيفة ذات الصلة الوثيقة
L (ف)=1 + 24sum_ (ك = 1) ^ (infty) sigma_1 ^ ((س)) (ن) (- 1) ^ ^ ك KQ
(25)
=1-24sum_ (ك = 1) ^ (infty) ((2K-1) ف ^ (2K-1)) / (1 + س ^ (2K-1))
(26)
=theta_4 ^ 4 (ف) -theta_2 ^ 4 (ف)
(27)
=[(2K (ك)) / بي] ^ 2 (1-2k ^ 2)
(28)
=1-24q + 24q ^ 2-96q ^ 3 + ...
(29)
(OEIS A103640 ) ، حيث theta_i (ف)هي وظيفة بيضاوية جاكوبي و
 sigma_1 ^ ((o)) (n) = sum_ (d | n؛ d odd) d
(30)
هي وظيفة المقسوم الغريب (Ramanujan 2000 ، ص 32).

ليست هناك تعليقات:

إرسال تعليق