An extension of Ramanujan-Guinand identity for the Dedekind zeta function and a new formula for $ζ_\mathbb{F}(2)$ and $ζ_\mathbb{F}(2m+1)$

ملخص تقني: امتداد لهوية رامانوجان-غويند لدالة زيتا ديدكيند

بيان المشكلة
لطالما كانت دالة زيتا لريمان $\zeta(s)$ وقيمها الخاصة محوراً مركزياً في نظرية الأعداد التحليلية. وبينما قدم أويلر تقييمات ذات صيغ مغلقة للأعداد الزوجية $\zeta(2m)$، لا توجد مثل هذه الصيغة البسيطة للأعداد الفردية $\zeta(2m+1)$. وقد اكتشف رامانوجان هوية لافتة (هوية رامانوجان-غويند) تربط بين دالة قاسم معممة ودالة بيسل المعدلة، والتي تتصل بتحويل سلاسل آيزنشتاين وتؤدي إلى صيغ لقيم زيتا الفردية.

وبينما تم توسيع نظائر هوية رامانوجان لقيم زيتا الفردية لتشمل حقول الأعداد، ظل وجود نظير شامل لهوية رامانوجان-غويند نفسها — وتحديداً لدالة زيتا ديدكيند $\zeta_F(s)$ — أمراً لم يتم إثباته. علاوة على ذلك، بينما قدم زاغير (1986) صيغة لـ $\zeta_F(2)$ تتضمن تكاملات لوغاريتمية، ظل وجود صيغة سلسلة سريعة التقارب لـ $\zeta_F(2)$ و $\zeta_F(2m+1)$ لأي حقول عددية مجالاً مفتوحاً للاستكشاف.

المنهجية
يستخدم المؤلفان، ديكشا راني بانسال وبيبيكاناندا ماجي، نظرية الأشكال التلقائية والتحليل المركب لاستخلاص نتائجهما. وتتضمن المنهجية الجوهرية ما يلي:

1. التوسع في فوريه لسلاسل آيزنشتاين: يستخدم المؤلفان التوسع في فوريه لسلسلة آيزنشتاين غير الهولومورفية $G(\tau, s)$ فوق المجموعة النمطية الكاملة، والتي تدمج بشكل طبيعي دالة القاسم ودوال بيسل المعدلة.
2. المعادلات الدالية: يستفيدان من المعادلة الدالية لدالة زيتا ديدكيند $\zeta_F(s)$ وحاصل ضرب $\zeta_F(s)\zeta_F(s+z)$.
3. دالة ستين ودوال ميجر جي (Meijer G-Functions): لتعميم دوال بيسل المعدلة التي تظهر في الهوية الكلاسيكية لتشمل حقول الأعداد التعسفية، قدم المؤلفان دالة ستين $V(x|a_1, \dots, a_n)$، المعرفة عبر تكامل مليل-برنز (Mellin-Barnes). وتعد هذه الدالة حالة خاصة من دالة ميجر جي، مما يسمح بالتعامل مع درجات التضمين المختلفة للحقول الحقيقية ($r_1$) والمركبة ($r_2$) في حقل عددي.
4. تكامل المسار (Contour Integration):I تعتمد البراهين على إزاحة المسارات في المستوى المركب وتطبيق نظرية البواقي لكوشي على حاصل ضرب عوامل غاما ودوال زيتا، مع تحليل أقطابها عند $s=0, 1, -z,$ و $1-z$.
5. تقنيات تحويل مليل (Mellin Transform): يستخدم المؤلفان تحويلات مليل لربط السلاسل التي تتضمن دالة ستين بضرب دوال زيتا، مما يؤدي إلى إثبات صيغ التحويل.

المساهمات والنتائج الرئيسية

1. المبرهنة الرئيسية (المبرهنة 2.1): تثبت الورقة نظيراً لحقل الأعداد لهوية رامانوجان-غويند. بالنسبة لحقل عددي $F$ من الدرجة $d$، يثبت المؤلفان صيغة التحويل:
   $$I_{F,z}(x) = I_{F,-z}\left(\frac{1}{x}\right)$$
   حيث تتضمن $I_{F,z}(x)$ سلسلة من دوال القاسم المعممة $\sigma_{F,-z}(n)$ الموزونة بدالة ستين $V_{F,z}$، بالإضافة إلى حد يتضمن المعامل الرئيسي لمتسلسلة لوران لدالة $\zeta_F(s)$ عند $s=0$ وعامل المعادلة الدالية $\Omega_F(z)$.

2. استعادة الهويات الكلاسيكية:

   • النتيجة 2.3: عندما يكون $F = \mathbb{Q}$، تختزل المبرهنة الرئيسية تماماً إلى هوية رامانوجان-غويند الكلاسيكية.
   • النتيجة 2.5: ضبط $z=0$ و $F=\mathbb{Q}$ يستعيد هوية رامانوجان-كوشلياكوف.
   • النتيجة 2.7: ضبط $z=1$ و $F=\mathbb{Q}$ يعطي هوية معروفة لرامانوجان مكافئة لصيغة التحويل للوغاريتم دالة إيتا ديدكيند.

3. صيغ جديدة للقيم الخاصة:

   • $\zeta_F(2)$ (المبرهنة 2.8): كتطبيق مباشر لحالة $z=1$، يستنتج المؤلفان صيغة جديدة لـ $\zeta_F(2)$ لأي حقل عددي $F$ تعسفي. وخلافاً لصيغة زاغير، التي تعبر عن $\zeta_F(2)$ عبر تكامل لوغاريتمي، تقدم هذه الصيغة الجديدة $\zeta_F(2)$ كسلسلة سريعة التقارب تتضمن دالة ستين. يقدم المؤلفان تقييمات عددية للحقول التربيعية (مثل $\mathbb{Q}(\sqrt{2}), \mathbb{Q}(\sqrt{5})$) لإظهار فائدة الصيغة.
   • $\zeta_F(2m+1)$ (المبرهنة 2.9): يستنتج المؤلفان هوية أنيقة لـ $\zeta_F(2m+1)$ لأي عدد صحيح موجب $m$. تعبر هذه الصيغة عن قيم زيتا الفردية من خلال سلاسل سريعة التقارب تتضمن دالة ستين و $\zeta_F(2m+2)$. وتوضح الملحوظة 4 أنه باختيار $x$ كجذر أولي للوحدة، يمكن عزل $\zeta_F(2m+1)$ بشكل صريح.

4. المعادلة الدالية للمنتجات: توضح المبرهنة 2.2 أن صيغة التحويل (2.1) تستلزم المعادلة الدالية لحاصل ضرب $\zeta_F(s)\zeta_F(s+z)$، مما يعزز الارتباط العميق بين صيغ التحويل والمعادلات الدالية.

الأهمية والادعاءات
تدعي الورقة أنها تقدم "نظيراً لحقل الأعداد" لهوية رامانوجان-غويند، مما يوحد دراسة القيم الخاصة لدوال زيتا عبر مختلف الحقول. ويؤكد المؤلفان أن عملهما يوضح الفلسفة القائلة بأن صيغ التحويل للأشكال التلقائية تشفر القيم الخاصة لدوال زيتا ودوال L.

وتتجلى الأهمية تحديداً في:

• التعميم: توسيع هوية كلاسيكية من $\mathbb{Q}$ إلى حقول عددية تعسفية $F$.
• الجدة في التقييم: تقديم صيغة سلسلة جديدة سريعة التقارب لـ $\zeta_F(2)$ تكمل تقييم زاغير القائم على التكامل.
• التوحيد: إظهار أن هوية رامانوجان-كوشلياف-إيتا وتحويل دالة إيتا هما حالتان خاصتان من هوية أوسع لحقول الأعداد.
• الصيغ الصريحة: تقديم هويات قابلة للحساب الصريح لـ $\zeta_F(2m+1)$، وهي فئة من القيم التي لا تُعرف لها صيغ بسيطة مغلقة عادةً.

ويخلص المؤلفان إلى أن نتائجهم تقدم نموذجاً آخر للتفاعل بين صيغ التحويل النمطية والتقييم الصريح للقيم الخاصة، مما يوفر أدوات لمزيد من الاستقصاء في حساب الحقول العددية.