A new expansion of the Riemann zeta function

إليك ملخص تقني مفصل لورقة البحث بعنوان "توسع جديد لدالة زيتا لريمان" للباحث ب. كانديلبيرغر (B. Candelpergher).

1. بيان المشكلة

تتناول الورقة تمثيل دالة زيتا لريمان، $\zeta(s)$، ضمن الشريط الحرج ($0 < \Re(s) < 1$). وعلى الرغم من أن $\zeta(s)$ مفهومة جيداً عبر متسلسلة ديريكليه (المتقاربة لـ $\Re(s) > 1$) ومعادلتها الدالية، إلا أن إيجاد توسعات متسلسلة متقاربة في الشريط الحرج تستخدم كثيرات الحدود المتعامدة وترتبط صراحة بالثوابت الأساسية (مثل ثابت أويلر-ماسكيروني $\gamma$ وقيم $\zeta(k)$) يمثل تحدياً كبيراً.

تعتمد التوسعات متعددة الحدود الموجودة غالباً على استكمال نيوتن أو ثوابت ستيلتجز. تهدف هذه الورقة إلى تقديم عائلة جديدة من كثيرات الحدود المتعامدة $P_m(s)$ تقع جذورها تماماً على الخط الحرج $\Re(s) = 1/2$، والتعبير عن $\zeta(s)$ كمتسلسلة متقاربة من هذه كثيرات الحدود بمعاملات مشتقة من تركيبات نسبية لـ $\gamma$ و $\zeta(k)$.

2. المنهجية

يستخدم المؤلف توليفة من عدة أدوات رياضية متقدمة:

• كثيرات حدود لاغير وتحويلات ميل (Mellin Transforms): جوهر الطريقة يتضمن متتالية كثيرات حدود لاغير $L_m(x)$. يعرّف المؤلف متتالية جديدة من كثيرات الحدود $P_m(s)$ عبر تحويل ميل للدالة $x \mapsto e^{-x}L_m(2x)$.
• دوال التوليد (Generating Functions): يتم إنشاء علاقة دالة توليد تربط $z^{-s}$ بمتسلسلة تتضمن $P_m(s)$ ونواة محددة $\psi_m(z) = \frac{1}{1+z}(\frac{z-1}{z+1})^m$.
• جمع رامانوجان (Ramanujan's Summation): بما أن الجمع المباشر للمتسلسلة المستمدة من دالة التوليد يؤدي إلى متسلسلات متباعدة في الشريط الحرج، يستخدم المؤلف جمع رامانوجان ($\mathcal{R}\sum$). هذه التقنية تعطي قيماً محددة للمتسلسلات المتباعدة باستخدام الامتداد التحليلي وصيغة بلانا للجمع (Plana summation formula).
• الأنظمة المتعامدة: تستخدم الورقة صيغة ميل-بارسيفال (Mellin-Parseval formula) لإثبات أن كثيرات الحدود $Q_m(t) = \frac{1}{2}P_m(\frac{1}{2} + it)$ تشكل نظاماً متعامداً كاملاً في الفضاء الموزون $L^2$ المسمى $L^2(\mathbb{R}, \frac{dt}{\cosh(\pi t)})$.

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

أ. تعريف وخصائص $P_m(s)$

تُعرّف كثيرات الحدود $P_m(s)$ بالتكامل:
$$\Gamma(s)P_m(s) = 2 \int_0^{+\infty} e^{-x}L_m(2x)x^{s-1} dx$$
ويمكن التعبير عنها صراحة كالتالي:
$$P_m(s) = \sum_{k=0}^m \binom{m}{k} (-1)^k 2^{k+1} \frac{(s)_k}{k!}$$
حيث $(s)_k$ هو رمز بوشامر (Pochhammer symbol).

• الجذور: نتيجة رئيسية هي إثبات أن جميع جذور $P_m(s)$ تقع على الخط الحرج $\Re(s) = 1/2$. وهذا نتيجة لحقيقة أن كثيرات الحدود المحولة $Q_m(t)$ متعامدة بالنسبة للوزن $1/\cosh(\pi t)$.

ب. توسيع $\zeta(s)$

تستنتج الورقة التوسع المتقارب التالي لـ $0 < \Re(s) < 1$:
$$\zeta(s) = \sum_{m=0}^{\infty} x_m P_m(s)$$
يتم حساب المعاملات $x_m$ صراحة كتركيبات خطية لثابت أويلر $\gamma$ والقيم $\zeta(2), \zeta(3), \dots, \zeta(m+1)$.
صيغة $x_m$ هي:
$$x_m = \gamma + \sum_{k=1}^m \binom{m}{k} (-2)^k \zeta(k+1) + r_m$$
حيث $r_m$ هو عدد نسبي معطى بـ:
$$r_m = (-1)^{m+1} + \sum_{k=1}^m \frac{1 + (-1)^{k-1}}{k}$$
تشمل الأمثلة المحددة المقدمة ما يلي:

• $x_1 = \gamma - 2\zeta(2) + 3$
• $x_2 = \gamma - 4\zeta(2) + 4\zeta(3) + 1$

ج. جمع رامانوجان للمتسلسلات المتباعدة

يعتمد الاشتقاق بشكل كبير على تقييم جمع رامانوجان للمتسلسلة:
$$z_m = \mathcal{R}\sum_{n \ge 1} \frac{1}{n+1} \left(\frac{n-1}{n+1}\right)^m$$
يثبت المؤلف أنه لـ $s \neq 1$، فإن $\mathcal{R}\sum_{n \ge 1} n^{-s} = \zeta(s) - \frac{1}{s-1}$، مما يسمح بالانتقال من المتسلسلة المتباعدة إلى الدالة التحليلية $\zeta(s)$.

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

يُظهر أن التوسع هو توسع متعامد في الفضاء $L^2(\mathbb{R}, \frac{dt}{\cosh(\pi t)})$. وتحديداً:
$$\zeta\left(\frac{1}{2} + it\right) = 2 \sum_{m=0}^{\infty} x_m Q_m(t)$$
يؤدي هذا إلى هوية من نوع بارسيفال للمعيار المربع لدالة زيتا على الخط الحرج:
$$\frac{1}{2} \int_{-\infty}^{+\infty} \left| \zeta\left(\frac{1}{2} + it\right) \right|^2 \frac{dt}{\cosh(\pi t)} = \log(2\pi) - \gamma - \frac{1}{2}$$
هذه الهوية التكاملية مشتقة صورياً باستخدام تحويل لابلاس للتوسع وتقنيات جمع رامانوجان.

4. الأهمية

• الرؤية الهندسية: يوفر بناء كثيرات الحدود $P_m(s)$ ذات الجذور الواقعة تماماً على الخط الحرج بنية جبرية جديدة مرتبطة بدالة زيتا، مما قد يقدم منظورات جديدة حول توزيع أصفار زيتا.
• الفائدة الحسابية: يعبر التوسع عن $\zeta(s)$ في الشريط الحرج باستخدام متسلسلة متقاربة بسرعة من كثيرات الحدود بمعاملات تتضمن ثوابت قياسية ($\gamma, \zeta(k)$). يمكن أن يكون هذا مفيداً للحسابات العددية عالية الدقة لـ $\zeta(s)$ في الشريط الحرج.
• توحيد المفاهيم: تربط الورقة ببراعة بين كثيرات حدود لاغير، وتحويلات ميل، وجمع رامانوجان للمتسلسلات المتباعدة، ونظرية كثيرات الحدود المتعامدة على الخط الحرج.
• صيغ تكاملية جديدة: توفر الهوية التكاملية المستمدة لـ $\int |\zeta(1/2+it)|^2 \frac{dt}{\cosh(\pi t)}$ قيداً عالمياً جديداً على سلوك دالة زيتا على الخط الحرج، مما يربطها مباشرة بـ $\log(2\pi)$ و $\gamma$.

باختصار، يقدم كانديلبيرغر توسيعاً متعدد الحدود جديداً، دقيقاً، ومتقارباً لدالة زيتا لريمان في الشريط الحرج، مرتكزاً على نظرية كثيرات الحدود المتعامدة وجمع رامانوجان، مما ينتج عنه صيغ صريحة للمعاملات وهويات تكاملية جديدة.