🔢 mathematics

Analytical continuation of Euler prime product for $\Re(s)>\tfrac{1}{2}$ assuming (RH)

بافتراض فرضية ريمان، تقدم هذه الورقة عاملاً جديداً للمد التحليلي لمنتج أويلر الأولي إلى المنطقة $\Re(s) > \tfrac{1}{2}$ (باستثناء القطب عند $s=1$ )، وتناقش استعادة مبرهنة ميرتنز الثالثة، وتوفر نصاً برمجياً بلغة Pari/GP للتحقق العددي.

المؤلفون الأصليون: Artur Kawalec

نُشر 2026-04-01

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

CC BY 4.0

المؤلفون الأصليون: Artur Kawalec

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

الصورة الكبيرة: إصلاح جسر مكسور

تخيل دالة زيتا لريمان ( $\zeta(s)$ ) كجسر سحري ضخم يربط عالم الأعداد البسيطة بعالم الأعداد الأولية الغامض (2، 3، 5، 7...).

لفترة طويلة، عرف الرياضيون كيفية عبور هذا الجسر، ولكن من جانب واحد فقط. وتحديداً، كان بإمكانهم السير عبره بأمان فقط إذا بقوا في "المنطقة الآمنة" حيث يكون الجزء الحقيقي للعدد $s$ أكبر من 1.

بُني هذا الجسر باستخدام جداء أويلر (Euler Product). فكر في هذا الجداء كأنه سلسلة مكونة من حلقات، حيث كل حلقة هي عدد أولي.

السلسلة: $\prod (1 - 1/p^s)^{-1}$
المشكلة: إذا حاولت المشي إلى "منطقة الخطر" (حيث الجزء الحقيقي لـ $s$ يتراوح بين 0.5 و1)، تبدأ السلسلة في التفكك. تصبح الحلقات ثقيلة جداً، وتنهار الرياضيات. ينهار الجسر.

هدف هذه الورقة البحثية:
يريد المؤلف، أرتور كافاليك (Artur Kawalec)، تمديد هذا الجسر بحيث يمكننا السير وصولاً إلى "الخط الحرج" (حيث الجزء الحقيقي هو 0.5)، بافتراض أن فرضية ريمان (RH) الشهيرة صحيحة. إنه يريد إصلاح الجسر حتى لا ينهار في منطقة الخطر.

الحل: إضافة "مثبت"

كيف يصلح هذا الجسر؟ لقد أدرك أن سلسلة الأعداد الأولية (جداء أويلر) تفتقد إلى قطعة دعم حاسمة عندما نقترب من الحافة.

التشبيه: البرج المائل
تخيل أن جداء أويلر هو برج من الكتل.

في الجانب الآمن ( $s > 1$ )، يقف البرج مستقيماً تماماً.
مع اقترابك من الحافة ( $0.5 < s < 1$ )، يبدأ البرج في الميل بشكل خطير. إنه على وشك السقوط.

يقول كافاليك: "نحن لا نحتاج إلى إعادة بناء البرج؛ نحن فقط بحاجة إلى إضافة ثقل موازن".

لقد قدم عاملاً رياضياً جديداً: $e^{E_1[(s-1)\log x]}$ .

ما هذا؟ إنه "عامل تصحيح" خاص (نوع من التكامل الأسي).
ماذا يفعل؟ يعمل مثل مرساة ثقيلة أو ثقل موازن. عندما تربط هذه المرساة بالبرج المائل (الجداء الجزئي للأعداد الأولية)، فإنها تسحب البرج ليعود إلى حالة التوازن.

النتيجة:
مع ربط هذه المرساة الجديدة، يصبح الجسر مستقراً. يمكنك الآن السير من المنطقة الآمنة وصولاً إلى الخط الحرج ( $s = 0.5$ )، بشرط أن تكون فرضية ريمان صحيحة.

"الخدعة السحرية" عند الحافة (s = 1)

هناك نقطة محددة على الجسر، عند $s=1$ تماماً، حيث يُفترض أن يوجد ثقب ضخم (قطب أو "pole"). هذا هو المكان الذي تعيش فيه مبرهنة ميرتنز (Mertens' Theorem) الشهيرة.

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

يظهر كافاليك أن صيغة "المرساة" الجديدة الخاصة به ذكية جداً لدرجة أنها تعرف كيف تتصرف بدقة عند هذا الثقب.

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

هل يعمل هذا مع جسور أخرى؟

نعم! يوضح المؤلف أن تقنية "المرساة" هذه ليست مقتصرة فقط على جسر "زيتا" الرئيسي.

طبقها على مقلوب زيتا (Reciprocal Zeta) (جسر يذهب في الاتجاه المعاكس).
طبقها على تركيبات معقدة أخرى من جداءات الأعداد الأولية.

في كل حالة، تسمح إضافة عامل التصحيح "الأسي المتكامل" هذا للرياضيات بأن تعمل في منطقة الخطر حيث كانت تفشل سابقاً.

الإثبات: المحاكاة الحاسوبية

الرياضيات رائعة، ولكن عليك إثبات أنها تعمل في العالم الحقيقي. كتب كافاليك نصاً برمجياً (باستخدام برنامج يسمى Pari/GP) لاختبار نظريته.

التجربة:

قام ببناء "جسر جزئي" باستخدام أول 1,000 و 10,000 و 100,000 عدد أولي.
أضاف "المرساة" الخاصة به إلى هذه الجسور الجزئية.
قارن النتيجة بدالة زيتا لريمان الفعلية والمعروفة.

النتائج:

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

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

الملخص في جملة واحدة

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

إليك ملخص تقني مفصل لورقة البحث بعنوان "الامتداد التحليلي لضرب أويلر الأولي لـ $\Re(s) > 1/2$ بافتراض (RH)" للباحث أرتور كافاليك.

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

تُعرف دالة زيتا لريمان، $\zeta(s)$ ، كلاسيكيًا بواسطة ضرب أويلر فوق الأعداد الأولية:
$\zeta(s) = \prod_{p} \left(1 - \frac{1}{p^s}\right)^{-1}$
هذا الضرب متقارب مطلقًا فقط عندما يكون $\Re(s) > 1$ . أما في الشريط الحرج $1/2 < \Re(s) \leq 1$ ، فإن ضرب أويلر يتباعد، مما يمنع الاستخدام المباشر لصيغة الضرب لتحليل دالة زيتا في هذه المنطقة.

تتناول الورقة تحدي الامتداد التحليلي لضرب أويلر الأولي من النطاق $\Re(s) > 1$ نزولاً إلى النطاق $\Re(s) > 1/2$ (باستثناء القطب عند $s=1$ )، بافتراض صحة فرضية ريمان (RH).

2. المنهجية

يعتمد نهج المؤلف على تحليل التوسع اللوغاريتمي لضرب أويلر وعزل المكون المسؤول عن حد التقارب.

التفكيك اللوغاريتمي:
بأخذ اللوغاريتم لضرب أويلر، يقوم المؤلف بتوسيع هذا الضرب إلى متسلسلة تتضمن دالة زيتا الأولية، $P(s) = \sum_p p^{-s}$ :
$\log \zeta(s) = \sum_{n=1}^{\infty} \frac{P(ns)}{n} = P(s) + \sum_{n=2}^{\infty} \frac{P(ns)}{n}$
الحد الثاني ( $\sum_{n=2}^{\infty}$ ) يتقارب لـ $\Re(s) > 1/2$ .
الحد الأول، $P(s)$ ، هو العائق؛ فهو يتقارب فقط لـ $\Re(s) > 1$ .
التصحيح التقاربي:
تستخدم الورقة توسعًا تقاربيًا تم إثباته سابقًا للمجموع الجزئي لدالة زيتا الأولية. عندما تؤول $x \to \infty$ :
$\sum_{p \leq x} \frac{1}{p^s} = P(s) - E_1[(s-1)\log x] + O\left(x^{1/2-s} \log x\right)$
هنا، $E_1(z)$ هي دالة التكامل الأسي المعرفة بـ $\int_z^\infty \frac{e^{-t}}{t} dt$ . وتحت افتراض فرضية ريمان (RH)، يظل هذا التوسع صحيحًا لـ $\Re(s) > 1/2$ .
عامل التصحيح:
لاستعادة حد $P(s)$ الكامل من المجموع الجزئي (وهو ما يحسبه ضرب أويلر المحدود)، يقدم المؤلف عامل تعويض. ومن خلال إعادة ترتيب الصيغة التقاربية، يتم استعادة مكون $P(s)$ المفقود بإضافة الحد $E_1[(s-1)\log x]$ .

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

تقدم الورقة صيغة مبتكرة تمد نطاق صلاحية تمثيل ضرب أويلر لدالة $\zeta(s)$ .

النظرية 1 (النتيجة الرئيسية):
بافتراض فرضية ريمان (RH)، يمكن التعبير عن دالة زيتا لريمان لـ $\Re(s) > 1/2$ (حيث $s \neq 1$ ) كالتالي:
$\zeta(s) = \lim_{x \to \infty} e^{E_1[(s-1)\log x]} \prod_{p \leq x} \left(1 - \frac{1}{p^s}\right)^{-1}$
تعمل هذه الصيغة فعليًا على "ترقيع" تباعد ضرب أويلر القياسي في الشريط الحرج عن طريق ضرب الضرب الجزئي في حد التكامل الأسي الذي يعوض ذيل مجموع الأعداد الأولية.
التعميم على منتجات أخرى:
يظهر أن التقنية قابلة للتطبيق على منتجات أويلر أخرى، وتحديدًا:
1. مقلوب دالة زيتا: $\frac{1}{\zeta(s)} = \lim_{x \to \infty} e^{-E_1[(s-1)\log x]} \prod_{p \leq x} (1 - p^{-s})$ .
2. النسبة $\frac{\zeta(2s)}{\zeta(s)}$ : $\frac{\zeta(2s)}{\zeta(s)} = \lim_{x \to \infty} e^{-E_1[(s-1)\log x]} \prod_{p \leq x} (1 + p^{-s})^{-1}$ .
  في كلتا الحالتين، يسمح عامل التصحيح بالتقارب حتى $\Re(s) > 1/2$ .
استعادة مبرهنة ميرتنز:
توضح الورقة أن أخذ النهاية $s \to 1$ في الصيغة الجديدة يستعيد مبرهنة ميرتنز الثالثة بشكل طبيعي:
$\prod_{p \leq x} \left(1 - \frac{1}{p}\right)^{-1} \sim e^\gamma \log x$
ويتحقق ذلك باستخدام توسيع متسلسلة $E_1(z)$ بالقرب من الصفر، مما يُدخل ثابت أويلر-ماسكيروني $\gamma$ والتباعد اللوغاريتمي المطلوب لمطابقة قطب $\zeta(s)$ عند $s=1$ .

4. النتائج والتحقق العددي

يقدم المؤلف أدلة عددية باستخدام Pari/GP للتحقق من النتائج النظرية.

المقارنة البصرية:
- الشكل 1: يرسم $\zeta(s)$ مقابل ضرب أويلر الممتد تحليليًا لـ $x=10^6$ في النطاق $0.5 < \Re(s) < 2$ . تُظهر المنحنيات "تطابقًا تامًا"، مع ظهور انحرافات طفيفة فقط بالقرب من الخط الحرج $\Re(s) = 0.5$ .
- الشكلان 2 و3: يرسمان معيار الدالة على طول خطوط رأسية ( $\sigma = 0.8$ $σ = 0.8$ و $\sigma = 0.55$ $σ = 0.55$ ) لـ $t \in [0, 50]$ $t \in [0, 50]$ .
  - عند $\sigma = 0.8$ ، يكون التطابق شبه تام.
  - عند $\sigma = 0.55$ (الأقرب إلى الخط الحرج)، تظهر تذبذبات في تقريب الضرب المحدود.
- الشكل 4: زيادة الحد $x$ من $10^3$ إلى $10^5$ عند $\sigma = 0.55$ يؤدي إلى تنعيم هذه التذبذبات، مما يؤكد أن حد الخطأ $O(x^{1/2-s} \log x)$ يتلاشى مع $x \to \infty$ .

5. الأهمية

الرؤية النظرية: توفر الورقة آلية ملموسة لفهم لماذا يفشل ضرب أويلر لـ $\Re(s) \leq 1$ وتقدم حد تصحيح دقيق مشتق من السلوك التقاربي لدالة زيتا الأولية.
الصلاحية المشروطة: النتائج مرهونة بـ فرضية ريمان (RH). فإذا كانت فرضية ريمان صحيحة، فإن لدالة زيتا الأولية بنية تحليلية محددة تسمح بهذا الامتداد؛ وإذا كانت خاطئة، فإن حدود الخطأ ستتصرف بشكل مختلف، وقد لا يظل هذا الامتداد المحدد صحيحًا.
الفائدة الحسابية: تقدم الصيغة المستمدة طريقة محتملة لحساب قيم $\zeta(s)$ في الشريط الحرج باستخدام الضربات الأولية، بشرط تطبيق تصحيح التكامل الأسي. وهذا يسد الفجوة بين البنية الضربية للأعداد الأولية والخصائص التحليلية لدالة زيتا في الشريط الحرج.
التوحيد: توحد الورقة سلوك دالة زيتا عند القطب ( $s=1$ ) مع سلوكها في الشريط الحرج، حيث تُظهر أن التباعد عند $s=1$ (مبرهنة ميرتنز) ومشكلات التقارب في الشريط محكومان بنفس حد التكامل الأسي.