🔢 mathematics

Simple and accurate approximations to the Riemann zeta function

تقدم هذه الورقة تقريبات بسيطة ودقيقة لدالة زيتا لريمان ومشتقتها داخل الشريط الحرج، وذلك عبر الجمع بين المجموع الرئيسي لصيغة ريمان-سيجل وحدّ متبقٍ قائم على دالة أولية مستمد من تكامل غاوس التربيعي، مدعوماً بأدلة عددية واسعة النطاق على دقتها العالية.

المؤلفون الأصليون: Alexey Kuznetsov

نُشر 2026-05-22

📖 4 دقيقة قراءة🧠 قراءة متعمّقة

CC BY 4.0

المؤلفون الأصليون: Alexey Kuznetsov

البحث الأصلي مرخَّص بموجب CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/). ✨ هذا شرح مولَّده بالذكاء الاصطناعي للبحث أدناه. لم يكتبه المؤلفون ولم يصادقوا عليه. وللتحقق من الدقة التقنية، يرجى الرجوع إلى البحث الأصلي. اقرأ إخلاء المسؤولية الكامل

تخيل دالة زيتا لريمان كأنها آلة ضخمة ومعقدة للغاية، يحاول علماء الرياضيات فهمها منذ قرون. إنها تشبه محركاً عملاقاً غير مرئي يدفع بعضاً من أعمق أسرار نظرية الأعداد. ولتشغيل هذه الآلة والحصول على رقم محدد منها (قيمة لـ $\zeta(s)$ )، يتعين عليك عادةً تزويدها بالكثير من البيانات.

لفترة طويلة، كانت أفضل طريقة للقيام بذلك تشبه محاولة عد كل حبة رمل على الشاطئ لتقدير الحجم الإجمالي. إذا كان الشاطئ صغيراً، فالأمر سهل. ولكن إذا كان الشاطئ شاسعاً (وهذا يحدث عندما تصبح الأرقام كبيرة جداً)، فإن عد كل حبة رمل سيستغرق وقتاً طويلاً جداً. هذه هي مشكلة الطرق القديمة: فهي تتطلب جمع ملايين الحدود للحصول على إجابة واحدة، مما يجعلها بطيئة وغير عملية للأرقام الكبيرة.

المحرك الجديد "الاختصار الذكي"

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

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

طريقة كوزنيتسوف الجديدة تشبه امتلاك كوب قياس سحري. لقد أدرك أن جزء "الباقي الفوضوي" من الكعكة يتبع نمطاً محدداً للغاية وقابلاً للتنبؤ به. وبدلاً من خبز الكعكة بأكملها، قام بحساب مجموعة من 21 رقماً خاصاً (لنسخة محددة من الأداة) تعمل كشفرة سرية. هذه الأرقام تشبه مجموعة من الأوزان الموزونة مسبقاً على ميزان.

كيف يعمل السحر

الأوزان المحسوبة مسبقاً: قبل أن تبدأ حتى، قام المؤلف بحساب قائمة من الأرقام المركبة الخاصة (فكر فيها كـ "معاملات سحرية"). وقد فعل ذلك لمستويات مختلفة من الدقة (مثل امتلاك نسخة "صغيرة"، و"متوسطة"، و"كبيرة" من الأداة). يمكنك تحميل هذه الأرقام؛ لست مضطراً لحسابها بنفسك في كل مرة.
الوصفة البسيطة: للحصول على الإجابة، تأخذ الجزء الرئيسي من الحساب (وهو سهل) وتضيف إليه حداً تصحيحياً. هذا الحد التصحيحي لا يتطلب جمع ملايين العناصر، بل يستخدم فقط تلك "الأوزان السحرية" المحسوبة مسبقاً مع دوال رياضية بسيطة (مثل الدوال الأسية واللوغاريتمية).
النتيجة: الأمر يشبه استبدال وظيفة عمل يدوي تستغرق 10 ساعات بضغطة زر تستغرق 5 ثوانٍ. تُظهر الورقة أنه بالنسبة للأرقام الكبيرة جداً، فإن هذه الطريقة الجديدة دقيقة للغاية — وغالباً ما تصل دقتها إلى 100 أو حتى 300 خانة عشرية — دون الحاجة إلى الجهد الشاق الذي تتطلبه الطرق القديمة.

لماذا هي أفضل من الطريقة القديمة؟

تقارن الورقة هذه الطالة الجديدة بـ "المعيار الذهبي" (صيغة ريمان-سيجل).

الطريقة القديمة: للحصول على دقة عالية، تحتاج إلى حساب العديد من الحدود التصحيحية المعقدة. هذه الحدود تشبه محاولة حل لغز قطعُه على شكل صخور مسننة؛ فهي صعبة التركيب، وصيغها فوضوية وعرضة للأخطاء.
الطريقة الجديدة: تحتاج فقط إلى قائمة ثابتة وصغيرة من الأرقام المحسوبة مسبقاً (حوالي 15 إلى 30 رقماً اعتماداً على مدى الدقة التي تريدها). الرياضيات المتضمنة سلسة وبسيطة، مثل تركيب كرات رخامية ناعمة ومستديرة.

نمط "النقطة المثالية"

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

ماذا يعني هذا للرياضيات؟

لا تدعي الورقة أن هذا سيشفي الأمراض أو يتنبأ بالطقس. بدلاً من ذلك، هي تحل مشكلة محددة ومستعصية في الرياضيات البحتة: كيفية حساب هذه الدالة المحددة بسرعة ودقة.

السرعة: تتيح للكمبيوتر حساب هذه القيم أسرع بمئات أو آلاف المرات من الأدوات المدمجة في برامج مثل MATLAB.
الدقة: تتيح لعلماء الرياضيات رؤية الدالة بوضوح فائق (مئات الخانات العشرية)، وهو أمر بالغ الأهمية لاختبار النظريات العميقة حول الأعداد الأولية.
البساة: تستبدل عملية معقدة متعددة الخطوات بصيغة بسيطة تعتمد على "ورقة غش" جاهزة من الأرقام.

باختصار، قام كوزنيتسوف ببناء آلة حاسبة عالية الدقة وسهلة الاستخدام لدالة كانت في السابق صعبة وبطيئة الحساب، وذلك باستخدام خدعة ذكية تتمثل في "أرقام سحرية" محسوبة مسبقاً لتجاوز العمل الشاق.

ملخص تقني: تقريبات بسيطة ودقيقة لدالة زيتا ريمان

بيان المشكلة

تمثل عملية حساب دالة زيتا ريمان، $\zeta(s)$ ، لقيم كبيرة من الجزء التخيلي $t = \text{Im}(s)$ ، تحديات جسيمة. وبينما توفر طريقة جمع أويلر-ماكلورين حدود خطأ صارمة، فإن تعقيدها الحسابي يتناسب طردياً مع $|s|$ ، مما يجعلها غير عملية للقيم الكبيرة لـ $t$ . النهج القياسي للقيم الكبيرة لـ $t$ هو صيغة ريمان-سيجل، التي تقلل التعقيد إلى $O(t^{1/2})$ عبر استخدام حد رئيسي وتوسع تقاربي لحد الخطأ. ومع ذلك، فإن التصحيحات من الرتب العليا في صيغة ريمان-سيجل تتضمن مشتقات معقدة لدوال خاصة (تحديداً الدالة $F(z)$ )، والتي يصعب تقييمها عددياً بسبب النقاط المفردة والصيغ المعقدة. علاوة على ذلك، فإن الخوارزميات عالية الدقة الموجودة، مثل خوارزميات غالواي، غالباً ما تتطلب ضبط معاملات متعددة لتحقيق الدقة المثلى.

يعالج هذا البحث الحاجة إلى تقريبات تكون فعالة حسابياً (تتطلب عدداً قليلاً من الحدود) وعالية الدقة عبر جميع الشرائط الرأسية، بما في ذلك الشريط الحرج، دون الصعوبات التنفيذية المرتبطة بتصحيحات ريمان-سيجل من الرتب العليا.

المنهجية

يطور المؤلف عائلة من التقريبات، يُرمز لها بـ $\zeta_p(s)$ ، تجمع بين الحد الرئيسي لصيغة ريمان-سيجل وتقريب مبتكر لحد الباقي. تعتمد المنهجية الجوهرية على الخطوات التالية:

التمثيل التكاملي: يتم التعبير عن حد الباقي لصيغة ريمان-سيجل الدقيقة كـتكامل $I_M(s)$ يتضمن مقياساً ذا قيمة مركبة $\eta(dx) = \frac{e^{-\pi x^2}}{\cosh(\pi \theta x)} dx$ ، حيث $\theta = e^{-i\pi/4}$ .
التكامل التربيعي لـ غاوس (Gaussian Quadrature): بدلاً من استخدام سلاسل التوسع التقاربي، يقرب المؤلف هذا التكامل باستخدام قاعدة تكامل تربيعي لـ غاوس. الهدف هو إيجاد مجموعة من العقد $\{x_{p,j}\}$ والأوزان $\{\omega_{p,j}\}$ بحيث يكون التكامل التربيعي دقيقاً لمجموعة محددة من $4p+2$ من الدوال الاختبارية.
اشتقاق المعاملات: يتم اشتقاق المعاملات $\{\omega_{p,j}\}$ ${ω_{p, j}}$ و $\{\lambda_{p,j}\}$ ${λ_{p, j}}$ (حيث $\lambda_{p,j} = \theta x_{p,j}$ $λ_{p, j} = θ x_{p, j}$ ) عن طريق حل نظام من المعادلات الخطية. يتم بناء هذا النظام عبر اشتراط أن يكون التكامل التربيعي دقيقاً للدوال من الشكل $f_k(x) = e^{-\pi x^2 + 2\pi \theta y_{p,k} x}$ $f_{k} (x) = e^{- π x^{2} + 2 π θ y_{p, k} x}$ ، حيث $y_{p,k}$ $y_{p, k}$ هي نقاط متباعدة بالتساوي في الفترة $[-1, 1]$ $[- 1, 1]$ .
- تم تحويل المشكلة إلى إيجاد العقد والأوزان لتكامل تربيعي لـ غاوس لدالة خطية $L$ معرفة بواسطة عزوم تكامل مورد (Mordell integral) $H(y)$ .
- يتم حساب هذه العقد والأوزان باستخدام كثيرات حدود متعامدة يتم توليدها عبر علاقة تكرار ثلاثية الحدود.
صيغة التقريب: تُعرف الصيغة النهائية لـ $\zeta_p(s)$ كالتالي:
$\zeta_p(s) = \sum_{n=1}^{N_t} n^{-s} + \chi(s) \sum_{n=1}^{N_t} n^{s-1} - \frac{(-1)^{N_t}}{2} \left[ I_{N_t+1/2, p}(s) + \chi(s) I_{N_t+1/2, p}(1-s) \right]$
حيث $I_{M,p}(s)$ هو تقريب التكامل التربيعي للحد التكامل، والذي يتضمن فقط دوال أولية (الأسس، واللوغاريتمات) ومعاملات مركبة مسبقة الحساب.

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

تبسيط التنفيذ: تعتمد التقريبات المقترحة على معامل صحيح واحد $p$ ومجموعة من المعاملات مسبقة الحساب $\{\omega_{p,j}\}$ و $\{\lambda_{p,j}\}$ . وعلى عكس صيغة ريمان-سيجل، التي تتطلب تقييم مشتقات معقدة لدوال خاصة للحصول على حدود الرتب العليا، فإن $\zeta_p(s)$ تتطلب فقط الدوال الأولية ودالة غاما.
المعاملات مسبقة الحساب: يوفر المؤلف معاملات مسبقة الحساب لـ $1 \le p \le 30$ وقيم مختارة حتى $p=150$ . وقد أظهرت هذه المعاملات أنها ذات حجم معتدل وتظهر اضمحلالاً سريعاً، مما يسهل التقييم العددي المستقر.
تقريب المشتق: يوسع البحث المنهجية لتقريب المشتق $\zeta'(s)$ عبر اشتقاق صيغة التقريب بالنسبة لـ $s$ (عند تقييمه عند $N_t$ ثابتة)، مما يتجنب الانقطاعات المرتبطة باشتقاق دالة الأرض (floor function) في $N_t$ .
الخوارزمية الهجينة: تم اقتراح استراتيجية لحساب $\zeta(s)$ عبر المستوي المركب بأكمله عبر التبديل بين الجمع المباشر، وجمع أويلر-ماكلورين، وتقريب $\zeta_p(s)$ بناءً على منطقة $s$ .

النتائج

يقدم البحث أدلة عددية واسعة النطاق حول دقة $\zeta_p(s)$ :

الدقة في الشريط الحرج: تُظهر التجارب العددية في الشريط الحرج ( $0 \le \sigma \le 1$ $0 \leq σ \leq 1$ ) أن الخطأ $|\zeta_p(s) - \zeta(s)|$ $∣ ζ_{p} (s) - ζ (s) ∣$ يتناقص بشكل ملحوظ مع زيادة $p$ $p$ .
- عندما يكون $p=10$ ، تكون الأخطاء $< 10^{-15}$ لـ $t > 250$ .
- عندما يكون $p=50$ ، تكون الأخطاء $< 10^{-100}$ لـ $t > 4000$ .
- عندما يكون $p=150$ ، تكون الأخطاء $< 10^{-300}$ لـ $t > 6900$ .
أنماط الخطأ: يظهر الخطأ نمطاً مميزاً حيث يتلاشى عند نهايات الفترات $[t_n, t_{n+1}]$ (حيث $t_n = 2\pi n^2$ ) وعند $4p$ من النقاط المتباعدة بالتساوي داخل هذه الفترات. هذا السلوك مفسر تحليلياً بحقيقة أن حد الخطأ المهيمن يتناسب مع $H_p(B(t)) - H(B(t))$ ، وهو صفر عند عقد التكامل التربيعي.
المقارنة مع ريمان-سيجل: بالنسبة لقيم $t$ متوسطة (مثلاً $10^2 \le t \le 10^4$ )، أظهرت النتائج أن التقريب $\zeta_7(s)$ أكثر دقة من تقريب ريمان-سيجل مع $K=5$ (أي $\zeta^{RS}_5$ ). وبينما تمتلك $\zeta^{RS}_5$ معدل اضمحلال تقاربي أسرع ( $O(t^{-13/4})$ ) مقارنة بـ $\zeta_7$ ( $O(t^{-1/4})$ )، إلا أن $\zeta_7$ تتطلب عدداً أقل بكثير من المعاملات مسبقة الحساب (15 مقابل حوالي 100–170 للدقة العالية) وهي أسهل في التنفيذ.
حدود الدقة: في تطبيقات الدقة المزدوجة (double-precision)، تهيمن أخطاء التقريب على الخطأ الناتج عن التقريب لـ $t > 200$ . ومع ذلك، في تطبيقات الدقة الرباعية (quadruple precision)، تحافظ التقريبات على دقة عالية حتى قيم $t$ أكبر بكثير (مثلاً $t > 10^4$ مع أخطاء $< 10^{-29}$ ).
الأداء: يُذكر أن تنفيذ MATLAB للخوارزمية الهجينة أسرع بمئات أو آلاف المرات من دالة zeta المدمجة في MATLAB.

الأهمية والادعاءات

يدعي البحث أن هذه التقريبات تمكن من الحساب عالي الدقة لـ $\zeta(s)$ و $\zeta'(s)$ في الشريط الحرج وفي شرائط رأسية أخرى لقيم $t$ الكبيرة. تكمن الأهمية في المقايضة بين تعقيد التنفيذ والدقة: تقدم الطريقة بديلاً "بسيطاً" لصيغة ريمان-سيجل يتجنب العبء الحسابي لدرجات التصحيح العليا مع الحفاظ على دقة تنافسية أو متفوقة لمجموعة واسعة من قيم $t$ .

يشير المؤلف إلى أنه على الرغم من عدم تقديم حدود خطأ صارمة لـ $\zeta_p(s)$ في هذا العمل، إلا أن الأدلة العددية واسعة النطاق. تُقدم الطريقة كأداة عملية للحسابات عالية الدقة، والتي تعد ضرورية للاكتشافات الرياضية مثل دحض حدسية ميرتنز. ويختتم البحث بتوفير تنفيذات مفتوحة المصدر بلغات MATLAB وPython وFortran، لتسهيل الاستخدام الفوري من قبل المجتمع البحثي.