On the series expansion of the secondary zeta function about $s=1$ and its coefficients

إليك ملخص تقني مفصل لورقة "حول التوسع المتسلسلي لدالة زيتا الثانوية حول $s = 1$ ومعاملاتها" للباحث أرتور كافاليك.

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

تُعرف دالة زيتا الثانوية، ويُرمز لها بـ $Z(s)$، بأنها متسلسلة ديريكليه معممة على الأجزاء التخيلية ($\gamma_n$) لأصفار دالة زيتا ريمان غير البديهية، بافتراض فرضية ريمان (RH). والتعريف هو:
$$Z(s) = \sum_{\gamma} \frac{1}{\gamma^s}$$
تتقارب هذه المتسلسلة مطلقاً عندما يكون $\Re(s) > 1$. تمتلك الدالة قطباً مزدوجاً عند $s=1$ وأقطاباً بسيطة عند الأعداد الفردية السالبة.

تتمثل المشكلة الجوهرية التي تتناولها هذه الورقة في تحديد المعاملات ($C_n$) لـ توسع متسلسلة لوران لـ $Z(s)$ حول القطب المزدوج عند $s=1$. يُعطى التوسع كما يلي:
$$Z(s) = \frac{1}{2\pi(s-1)^2} - \frac{\log(2\pi)}{2\pi(s-1)} + \sum_{n=0}^{\infty} \frac{C_n}{n!}(s-1)^n$$
بينما تم إثبات الجزء الرئيسي (حدود القطب) بواسطة تشاكرافارتي والتوسع بواسطة إيفيتش، إلا أنه لم يتم اشتقاق أو التحقق بدقة عالية من صيغة حدية قابلة للحساب لجميع معاملات الجزء المنتظم $C_n$ لأي $n \geq 0$ ضمن إطار عمل موحد. وقد تناولت أعمال سابقة لكل من هساني وبرينت حالات محددة (لا سيما $n=0$) بدقة محدودة.

2. المنهجية

يستخدم المؤلف مزيجاً من تقنيات نظرية الأعداد التحليلية، وتحديداً تكامل ستيلتجس، والتحليل التقاربي، والتجميع بالتجزئة، لاشتقاق صيغة حدية جديدة لـ $cd_n$.

• اشتقاق الصيغة الحدية:
  يبدأ البرهان بالتعبير عن المجاميع الجزئية لمشتقات المتسلسلة باستخدام دالة عد الأصفار $N(T)$. ومن خلال استخدام صيغة ريمان-فون ماندلتا التقاربية $N(T) = L(T) + Q(T)$ (حيث $L(T)$ هو الحد المهيمن و $Q(T)$ هو حد الخطأ الذي يتضمن جزء (argument) دالة زيتا)، يقوم المؤلف بتحويل المجموع المنفصل للأصفار إلى تكامل.
  ومن خلال التكامل بالتجزئة المتكرر والتعامل الدقيق مع الحدود الطرفية، يعزل المؤلف الأجزاء المتباعدة للمجموع. يؤدي هذا إلى اشتقاق النظرية 1، التي تعبر عن $C_n$ كصيغة حدية:
  $$C_n = \lim_{T \to \infty} (-1)^n \left( \sum_{\gamma < T} \frac{\log^n(\gamma)}{\gamma} - \frac{1}{2\pi(n+1)(n+2)} \log^{n+1}(T) \log\left( \frac{T^{n+1}}{(2\pi)^{n+2}} \right) \right)$$
  هذه الصيغة تعمم النتائج السابقة (مثل نتيجة هساني لـ $n=0$) لجميع قيم $n \geq 0$.

• تحسين التقارب (نظرية BPT):
  لمعالجة البطء في تقارب الصيغة الحدية المباشرة (حيث يكون حد الخطأ هو $O(\frac{\log^{n+1} T}{T})$)، يطبق المؤلف نظرية برينت (BPT). من خلال طرح حد الخطأ الرئيسي المستمد من الفرق بين عدد الأصفار الفعلي $N(T)$ وتقريبه التقاربي $L(T)$ بشكل صريح، يتم تحسين حد الخطأ إلى $O(\frac{\log^{n+1} T}{T^2})$. ينتج عن ذلك النظرية 2، وهي صيغة منقحة لـ $C_n$ تتضمن حداً تصحيحياً يتضمن $N(T) - L(T)$.

• التحقق العددي:
  يستخدم المؤلف قاعدة بيانات تضم مليوني صفر غير بديهي ($T \approx 1.13 \times 10^6$) لحساب المجاميع مباشرة. وتتم مقارنة النتائج مع قيم مرجعية عالية الدقة (تصل إلى 50 رقماً عشرياً) تم حسابها مسبقاً باستخدام خوارزمية آرياس دي رينا (ADR).

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

1. الصيغة الحدية العامة (النظرية 1): تشتق الورقة تعبيراً حدياً مغلقاً لمعاملات لوران $C_n$ لجميع قيم $n \geq 0$. وهذا يربط المعاملات مباشرة بتوزيع الأجزاء التخيلية للأصفار، على غرار كيفية ارتباط ثوابت ستيلتجس بدالة زيتا ريمان نفسها.
2. تسريع التقارب (النظرية 2): يوفر تطبيق تصحيح برينت (BPT) في سياق دالة زيتا الثانوية صيغة أسرع بكثير في التقارب. هذا يقلل من التكلفة الحسابية المطلوبة لتحقيق دقة عالية من خلال إزالة حد الخطأ $O(1/T)$ بفعالية.
3. البيانات العددية المرجعية: تقدم الورقة جدولاً مرجعياً للمعاملات $C_n$ لـ $0 \leq n \leq 50$ محسوبة بدقة 50 رقماً عشرياً. كما تعرض تحققاً عددياً مباشراً للصيغ المشتقة، مما يثبت دقتها.

4. النتائج

• التحقق من $n=0$: باستخدام الصيغة الحدية المباشرة مع مليوني صفر، حسب المؤلف $C_0 \approx 0.251637...$، وهو ما يطابق القيمة المرجعية حتى 5 أرقام عشرية.
• التحقق من $n=1, 2$: طابقت الحسابات المباشرة المماثلة لـ $C_1$ و $C_2$ القيم المرجعية حتى 4 و 3 أرقام عشرية على التوالي، مما يؤكد صحة الصيغة العامة.
• تأثير تصحيح BPT: عند تطبيق حد تصحيح برينت:
  • تحسنت دقة $C_0$ من 5 إلى 12 رقماً عشرياً.
  • تحسنت دقة $C_1$ و $C_2$ لتصل إلى 10 أرقام عشرية.
  • انخفضت حدود الخطأ المقدرة من $O(10^{-5})$ إلى $O(10^{-10})$ أو أفضل، مما يثبت فعالية الصيغة المحسنة.
• الجدول المرجعي: تم توفير جدول شامل لمعاملات $C_n$ (حتى $n=50$) يظهر النمو السريع في المقدار للقيم الأعلى (على سبيل المثال، $C_{50} \approx -8.9 \times 10^{46}$).

5. الأهمية

يسد هذا العمل فجوة في النظرية التحليلية لدالة زيتا الثانوية من خلال توفير طريقة موحدة لحساب معاملات توسعها.

• الأهمية النظرية: يضع رابطاً صارماً بين التوزيع التقاربي لأصفار ريمان والبنية التحليلية لـ $Z(s)$ بالقرب من قطبها، مما يعمم النتائج المعروفة لدالة زيتا ريمان نفسها.
• الفائدة الحسابية: يعد اشتقاق الصيغة المحسنة للخطأ (النظرية 2) أمراً بالغ الأهمية للتحليل العددي عالي الدقة. فهو يسمح للباحثين بحساب هذه الثوابت باستخدام عدد أقل بكثير من الأصفار مما كان مطلوباً سابقاً، مما يجعل الدراسات عالية الدقة لدالة زيتا الثانوية أكثر جدوى.
• تأسيس للأبحاث المستقبلية: يعمل الجدول المرجحي المقدم والخوارزميات المتحقق منها كمعيار للتحقيقات المستقبلية في خصائص $Z(s)$، وعلاقتها بـ L-functions الأخرى، والتطبيقات المحتملة في نظرية المصفوفات العشوائية أو الهندسة الطيفية.