🌐 English

الإطار الرابع: نحو مسألة طيفية

Frame 4: Towards a Spectral Problem, Zero Mode, and Zeta Regularization
Eng. Abdulla M. N. Al-Jabri — Sana'a, Yemen | October 2026

الفواصل المعرفية المستخدمة في هذا المستند

الافتتاحية — المشكلة، الإنجاز، نوع الدليل

المشكلة

ما المؤثر التفاضلي الذي يمكن بناؤه من الغلاف \(g(u)\) المشترك في الإطارين الأول والثالث؟ وهل هذا المؤثر مُشتق من المعادلة الأم في Frame 1، أم مجرد اختيار متوافق؟ وما الخصائص البنيوية (الحل الصفري، تصنيف النهايات) التي يمكن إثباتها، وما الشروط الرياضية التي يفرضها ذلك على المسألة الطيفية؟

الإنجاز

بناء المؤثر \(L=-\partial_u^2+g''/g\)، وإثبات الهوية البنيوية \(Lg=0\)، والتفكيك الشكلي، وتحليل تفرد الجهد عند الطرفين، وتصنيف النهايات (Limit Point/Circle)، وتعريف مشروط لدالة زيتا الطيفية. ويُضاف: تحليل جبري دقيق (§2) يثبت أن التحويل الدقيق للمعادلة الأم يعطي معاملًا مطبّعًا مختلفًا \(V_{\mathrm{new}} = (4\pi^2/u^4)Q\)؛ وبرهان محلي عند \(u=\pi\) يرفض تحويل داربوكس القياسي من الرتبة الأولى.

نوع الدليل

هويات تفاضلية دقيقة على المجال المفتوح. تحليل فروبنيوس لتصنيف النهايات. اشتقاق جبري صريح (§2) يُظهر عدم تكافؤ \(V_{\mathrm{new}}\) و\(V_{\mathrm{eff}}\)، مع برهان محلي يرفض داربوكس قياسي عبر \(\pi\). التحويلات المعمّمة خارج نطاق البرهان. أما اختيار التحقيق الذاتي الترافق، والحد السفلي، والقيم الذاتية، وتقارب دالة زيتا، فهي مسائل مفتوحة موثّقة كخطوة تالية، لا نتائج مُدّعاة.

1. من مؤثر الإطار الثالث إلى مسألة طيفية

أثبت الإطار الثالث الهوية الجبرية:

\[ H_g(gY) = g(-Y'') \]

وبناءً على ذلك، يمكن تعريف مؤثر شرودنغر مستقل بالصيغة:

\[ L = -\frac{d^2}{du^2} + V_{\mathrm{eff}}(u), \qquad V_{\mathrm{eff}}(u) = \frac{g''(u)}{g(u)} \]

الحل الصفري الشكلي والتفكيك الفائق التناظر

خاصية بنيوية للمؤثر. من تعريف \(V_{\mathrm{eff}} = g''/g\): \[ Lg = -g'' + \frac{g''}{g}g = 0 \] فيكون الغلاف \(g(u)\) حلًا صفريًا شكليًا (formal zero-mode) على المجال المفتوح. أما كونه دالة ذاتية فعلية بقيمة صفرية لتحقيق ذاتي الترافق، فيتطلب تحديد المجال والتحقق من شروط الحدود.

كما يقبل المؤثر التفكيك الجبري الشكلي: \[ L = \left(-\frac{d}{du} - p\right)\left(\frac{d}{du} - p\right), \qquad p = \frac{g'}{g} \] وهي هوية تفاضلية شكلية على الدوال الملساء داخل المجال. بما أن \(p = g'/g\)، فإن \((\partial_u - p)g=0\)؛ لكن هذا لا يقرر انتماء \(g\) إلى نواة تحقيق ذاتي الترافق محدد، وهو ما يعتمد على المجال وشروط الحدود.

السلوك التقاربي للجهد \(V_{\mathrm{eff}}(u)\)

باستخدام \(V_{\mathrm{eff}} = p' + p^2\) مع \(p(u) = \frac{5}{u} - \frac{1}{u\ln(2\pi/u)} + \frac{2\pi}{21u^2}\):

اشتقاق الحد التقاربي عند \(u \to 2\pi^-\)

نضع \(t = 2\pi - u\) و\(\delta = t/(2\pi)\)، فتصبح \(x = u/(2\pi) = 1-\delta\). بتوسيع العوامل الثلاثة:

\[ x^5 = 1 - 5\delta + 10\delta^2 + O(\delta^3), \] \[ \ln(1/x) = \delta + \tfrac12\delta^2 + O(\delta^3), \] \[ e^{-1/(21x)} = e^{-1/21}\left(1 - \tfrac{\delta}{21} - \tfrac{41}{882}\delta^2 + O(\delta^3)\right). \]

بضربها نحصل على \(g(u) = e^{-1/21}\left[\delta - \tfrac{191}{42}\delta^2 + O(\delta^3)\right]\)، أي \(g(u) \approx C\,t + a\,t^2\) حيث \(C = e^{-1/21}/(2\pi)\) و\(a = -191\,e^{-1/21}/(168\pi^2)\). إذن:

\[ V_{\mathrm{eff}}(u) = \frac{g''(u)}{g(u)} \sim \frac{2a}{C\,t} = -\frac{191}{42\pi\,(2\pi-u)}. \]

2. التحقق من الأصل — هل مؤثر Frame 4 مُشتق من المعادلة الأم؟

سؤال هذا القسم. مؤثر Frame 4 هو \(L = -\partial_u^2 + g''/g\). هل يمكن استخراجه من المعادلة الأم في Frame 1 — بعد تغيير المتغير \(x\to u\) وإزالة المشتقة الأولى — أم أنه اختيار متوافق يحتفظ بالغلاف \(g\) ويهمل العامل التذبذبي \(\sin u\)؟

2.1 التحويل: \(x = 2\pi/u\)

\[ \frac{du}{dx} = -\frac{u^2}{2\pi}, \quad \partial_x = -\frac{u^2}{2\pi}\,\partial_u, \quad \partial_x^2 = \frac{u^4}{4\pi^2}\,\partial_u^2 + \frac{u^3}{2\pi^2}\,\partial_u \]

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

2.2 المؤثر الأم في \(u\)

\[ H_u = -\frac{u^4}{4\pi^2}\,\partial_u^2 - \frac{u^3}{2\pi^2}\,\partial_u + Q\!\left(\frac{2\pi}{u}\right) \]

نضع اختصارًا \(A(u) = u^4/(4\pi^2) > 0\) و\(B(u) = u^3/(2\pi^2) > 0\)، فيصبح \(H_u = -A\partial_u^2 - B\partial_u + Q\).

2.3 الهوية المفتاحية

بتعويض \(x = 2\pi/u\) في الدالة الأم:

\[ y(u) := Z\!\left(\frac{2\pi}{u}\right) = g(u)\sin(u), \qquad g(u) = \left(\frac{u}{2\pi}\right)^5 \ln\!\left(\frac{2\pi}{u}\right) e^{-2\pi/(21u)} \]

هوية دقيقة تفصل صراحةً بين الغلاف \(g(u)\) والعامل التذبذبي \(\sin u\).

2.4 إزالة المشتقة الأولى

نضع \(y = w/u\) (أي \(w = uy\)). إذن:

\[ y' = \frac{w'}{u} - \frac{w}{u^2}, \qquad y'' = \frac{w''}{u} - \frac{2w'}{u^2} + \frac{2w}{u^3} \]

بالتعويض في \(H_u y = 0\) والضرب في \(u\):

\[ -A\,w'' + \left(\frac{2A}{u} - B\right) w' + \left(-\frac{2A}{u^2} + \frac{B}{u} + Q\right) w = 0 \]

معامل المشتقة الأولى يختفي تلقائيًا من تعريفَي \(A\) و\(B\):

\[ \frac{2A}{u} - B = \frac{u^3}{2\pi^2} - \frac{u^3}{2\pi^2} = 0, \qquad -\frac{2A}{u^2} + \frac{B}{u} = -\frac{u^2}{2\pi^2} + \frac{u^2}{2\pi^2} = 0 \]

لا يفترض اختفاء المشتقة الأولى: بل يتحقق تلقائيًا. تبقى المعادلة:

\[ \boxed{\,A\,w'' = Q\,w\,} \quad \Longleftrightarrow \quad w'' = \frac{4\pi^2}{u^4}\,Q\!\left(\frac{2\pi}{u}\right) w \]

2.5 المعامل المطبّع

باصطلاح شرودنغر \(-w'' + V_{\mathrm{new}} w = 0\):

\[ \boxed{\,V_{\mathrm{new}}(u) = \frac{4\pi^2}{u^4}\,Q\!\left(\frac{2\pi}{u}\right)\,} \]

العامل \(4\pi^2/u^4\) أثر مباشر لتغيير المتغير. لاحظ أن \(V_{\mathrm{new}}\) معرّف على \((0,\pi)\cup(\pi,2\pi)\) فقط، لأن \(Q(2)\) غير معرّفة (صفر \(Z\) عند \(x=2\)).

تحفّظ على التكافؤ الطيفي. \(V_{\mathrm{new}}(u) := (4\pi^2/u^4)Q(2\pi/u)\) هو معامل في المعادلة المحوّلة \(-w'' + V_{\mathrm{new}}w=0\)، بعد تغيير المتغير \(x=2\pi/u\) والتعويض \(w=uy\). هذا تطابق بين تعبيرين تفاضليين على \((0,2\pi)\). أما التكافؤ الطيفي بين مؤثرين ذاتيَي الترافق على فضاءَي هيلبرت فيتطلب فوق ذلك مطابقة القياس والمجال وشروط الحدود. إثبات هذا التكافؤ (أو إثبات استحالته) مسألة منفصلة، ولا يُدَّعى هنا.

2.6 اختبار التكافؤ الداربوكسي

الفرق الصريح:

\[ \Delta V := V_{\mathrm{new}} - V_{\mathrm{eff}} = 2\,\frac{g'}{g}\,\cot u - 1 + \frac{2}{u}\frac{g'}{g} + \frac{2}{u}\cot u \]

شرط داربوكس القياسي من الرتبة الأولى. تكافؤ \(L_1 = -\partial^2 + V_1\) و\(L_2 = -\partial^2 + V_2\) يقتضي وجود بذرة \(\varphi\) تحقق:

\[ -\varphi'' + V_1\varphi = \lambda\varphi \quad \text{(لبعض } \lambda\text{)}, \qquad V_2 = V_1 - 2(\ln\varphi)'' \]

برهان محلي عند \(u=\pi\). نثبت أنه لا يوجد تحويل داربوكس قياسي من الرتبة الأولى (عند أي \(\lambda\)) ينتج \(V_{\mathrm{new}}\) من \(V_{\mathrm{eff}}\).

حقائق:

بما أن \(V_{\mathrm{eff}}\) ناعم، فكل حل غير صفري \(\varphi\) لـ \(-\varphi'' + V_{\mathrm{eff}}\varphi = \lambda\varphi\) ناعم على جوار \(u=\pi\) (نظرية معادلات تفاضلية عادية). إذن:

في كلتا الحالتين، لا يمكن أن يساوي \(V_D\) الجهد \(V_{\mathrm{new}}\) (الذي له قطب بسيط بمعامل \(C_\pi\approx 2.96\) عند \(\pi\)). إذن لا وجود لبذرة \(\varphi\) تحقق شرط الداربوكس القياسي وتنتج \(V_{\mathrm{new}}\).

الحكم (رفض الصنف القياسي). لا يوجد تحويل داربوكس قياسي من الرتبة الأولى (بأي بذرة \(\varphi\) تحقق \(-\varphi''+V_{\mathrm{eff}}\varphi=\lambda\varphi\)) يربط \(V_{\mathrm{eff}}\) بـ\(V_{\mathrm{new}}\). البرهان محلي عند \(u=\pi\)، ويعتمد فقط على:
  • نعومة \(V_{\mathrm{eff}}\) عند \(\pi\)؛
  • وجود قطب بسيط غير صفري في \(V_{\mathrm{new}}\) عند \(\pi\)؛
  • سلوك البذرة عند صفرها (بسيط، لا مزدوج).
نطاق البرهان. التحويلات الداربوكسية القياسية من الرتبة الأولى فقط. أما التحويلات المعمّمة (ذات الرتب العليا، أو Darboux–Goncharenko، أو بذور غير مقيَّدة بحل معادلة القيمة الذاتية) فهي خارج هذا البرهان، ولم تُبحث هنا.

2.7 مقارنة بنية التفردات

لتثبيت معامل القطب \(C_\pi\) المستخدم في البرهان، نشتق التوسيع المحلي بدقة. نكتب الدالة الأم صراحةً:

\[ Z(x) = x^{-5} \ln(x)\, e^{-x/21} \sin\!\left(\frac{2\pi}{x}\right), \qquad x>1 \]

الجدول يوضح سلوك الجهدين:

الطرف \(V_{\mathrm{eff}} = g''/g\) \(V_{\mathrm{new}} = (4\pi^2/u^4)Q\) الملاحظة
\(u\to 0^+\) \(\sim \dfrac{4\pi^2}{441u^4}\to+\infty\) \(\sim \dfrac{4\pi^2}{441u^4}\to+\infty\) تماثل: قطب رتبة 4، نفس المعامل
\(u=\pi\) ناعم، محدود (\(g(\pi)\neq 0\)) قطب بسيط \(\sim \dfrac{C_\pi}{u-\pi}\)، \(C_\pi\approx 2.96\) اختلاف بنيوي: \(V_{\mathrm{new}}\) له قطب داخلي بسيط، \(V_{\mathrm{eff}}\) لا
\(u\to 2\pi^-\) \(\sim -\dfrac{191}{42\pi t}\to-\infty\) \(\sim +\dfrac{2}{t^2}\to+\infty\) \(t=2\pi-u\). بسيط سالب مقابل مزدوج موجب

قراءة الجدول. \(V_{\mathrm{new}}\) و\(V_{\mathrm{eff}}\):

هذا الاختلاف البنيوي هو ما يجعل البرهان المحلي في §2.6 ممكنًا، ويؤكد رفض التكافؤ الداربوكسي القياسي.

تفاصيل: تفرد \(V_{\mathrm{new}}\) عند \(u\to 2\pi^-\)

نضع \(t = 2\pi-u \to 0^+\)، أي \(x = 2\pi/u = 2\pi/(2\pi-t) = 1/(1 - t/(2\pi))\). إذن

\[ x - 1 = \frac{t}{2\pi - t} \sim \frac{t}{2\pi} > 0. \]

بتوسيع \(Z(x)\) قرب \(x=1\):

\[ Z(x) \sim -2\pi e^{-1/21}\,(x-1)^2 \quad \text{(صفر مزدوج)} \] \[ Z''(x) \sim -4\pi e^{-1/21}, \qquad Q(x) = \frac{Z''(x)}{Z(x)} \sim \frac{2}{(x-1)^2} \]

بما أن \(x-1 \sim t/(2\pi)\)، نحصل على \(Q \sim 2/(t/(2\pi))^2 = 8\pi^2/t^2\)، ومنه

\[ V_{\mathrm{new}} = \frac{4\pi^2}{u^4}\,Q \sim \frac{4\pi^2}{16\pi^4}\cdot\frac{8\pi^2}{t^2} = \frac{2}{t^2}. \]
تفاصيل: معامل القطب \(C_\pi\) عند \(u=\pi\)

نضع \(x=2+\varepsilon\)، وصفر \(Z\) عند \(x=2\) بسيط. بتوسيع العوامل الأربعة للدالة \(Z\):

\[ (2+\varepsilon)^{-5} = 2^{-5}\left(1 + \tfrac{\varepsilon}{2}\right)^{-5} = 2^{-5}\left(1 - \tfrac{5}{2}\varepsilon + O(\varepsilon^2)\right), \] \[ \ln(2+\varepsilon) = \ln 2 \cdot \left(1 + \frac{\varepsilon}{2\ln 2} + O(\varepsilon^2)\right), \] \[ e^{-(2+\varepsilon)/21} = e^{-2/21}\left(1 - \tfrac{\varepsilon}{21} + O(\varepsilon^2)\right), \] \[ \sin\!\left(\frac{2\pi}{2+\varepsilon}\right) = \frac{\pi}{2}\varepsilon - \frac{\pi}{4}\varepsilon^2 + O(\varepsilon^3). \]

بضربها وكتابة \(Z(2+\varepsilon) = \alpha\varepsilon + \beta\varepsilon^2 + O(\varepsilon^3)\)، نحصل على

\[ \frac{\beta}{\alpha} = \frac{21 - 128\ln 2}{42\ln 2} \approx -2.32627. \]

بما أن \(Q(x) \sim 2(\beta/\alpha)/(x-2)\) قرب \(x=2\)، وباستخدام \(x = 2\pi/u\)، عند \(x=2\) لدينا \(u=\pi\) مع \(\delta x = -2\pi/u^2\,\delta u = -2\delta u/\pi\). إذن \(\varepsilon \approx -\tfrac{2}{\pi}(u-\pi)\)، ومنه

\[ V_{\mathrm{new}} \sim -\frac{4(\beta/\alpha)}{\pi(u-\pi)} = \underbrace{\frac{2(128\ln 2 - 21)}{21\pi\ln 2}}_{\approx\,2.9619}\cdot\frac{1}{u-\pi}. \]

هذا يثبت وجود قطب بسيط بمعامل غير صفري \(C_\pi\approx 2.96\)، وهو أساس برهان §2.6.

2.8 الخلاصة

البندالحالةالتصنيف
\(Z(2\pi/u) = g(u)\sin(u)\)✓ مثبتمثبت
اختفاء المشتقة الأولى تلقائيًا✓ مثبتمثبت
\(V_{\mathrm{new}} = (4\pi^2/u^4)Q\) (كمعامل في المعادلة المحوّلة)✓ مثبتمثبت
\(V_{\mathrm{new}} = V_{\mathrm{eff}}\)✗ مرفوض (\(\Delta V \neq 0\))مثبت
التكافؤ الطيفي بين المسألتين المحوّلتين? غير مُدَّعىمفتوح
تحويل داربوكس قياسي من الرتبة الأولى بين \(V_{\mathrm{eff}}\) و\(V_{\mathrm{new}}\)✗ مرفوض (برهان محلي عند \(\pi\))مبرهن (بفرضيات)
تحويلات داربوكس معمّمة○ لم تُبحثلم يُبحث
تطابق بنية التفردات✗ عند \(u=\pi\) و\(u\to 2\pi^-\)مثبت

النتيجة

مؤثر Frame 4، \(L = -\partial_u^2 + g''/g\)، ليس مُشتقًا جبريًا من المعادلة الأم في Frame 1. التحويل الدقيق يعطي \(V_{\mathrm{new}} = (4\pi^2/u^4)Q\)، وهو مختلف عن \(V_{\mathrm{eff}}\):

  • عند \(u\to 0^+\): السلوك القيادي متطابق (قطب رتبة 4)؛
  • عند \(u=\pi\): \(V_{\mathrm{eff}}\) ناعم، \(V_{\mathrm{new}}\) له قطب بسيط بمعامل \(\approx 2.96\)؛
  • عند \(u\to 2\pi^-\): قطب بسيط سالب مقابل قطب مزدوج موجب.

تحويل داربوكس قياسي من الرتبة الأولى مرفوض بالبرهان المحلي عند \(u=\pi\). التحويلات المعمّمة خارج نطاق البرهان. Frame 4 مسألة طيفية مشروعة، لكنه اختيار متوافق، لا نتيجة استنتاجية.

سؤال مفتوح يستحق البحث

هل يوجد تحويل داربوكسي معمّم (من رتبة أعلى، أو Darboux–Goncharenko، أو ببذرة لا تحل معادلة القيمة الذاتية) يربط \(V_{\mathrm{eff}}\) بـ\(V_{\mathrm{new}}\)؟ هذا سؤال مستقل، خارج نطاق §2، لكنه الصيغة الدقيقة للسؤال المتبقي بعد إغلاق الصنف القياسي.

3. الغلاف كمنظم طبيعي (فرضية بحثية)

في نظرية المجال الكمي، حساب طاقة الفراغ يتطلب جمع طاقات نقطة الصفر. إحدى الفرضيات أن الغلاف \(g(u)\) يعمل كمنظم طبيعي في \(L\).

يبقى هذا فرضية حتى نثبت أن السلوك الطيفي عالي الطاقة للمؤثر \(L\) ينتج عنه تقارب. تتمثل الخطوة التالية في اشتقاق السلوك عالي الطاقة للقيم الذاتية \(\lambda_n\)، ثم تحديد ما إذا كان مجموع طاقة نقطة الصفر متقاربًا أو يتطلب تنظيمًا زيتاويًا.

4. دالة زيتا الطيفية وطاقة الفراغ

إذا كان الطيف غير الصفري موجبًا وكانت معالجة النمط الصفري محددة، تُعرّف دالة زيتا الطيفية على الطيف غير الصفري بالعلاقة:

\[ \zeta_{L,\ne0}(s) = \sum_{\lambda_n>0} \lambda_n^{-s} \]

وعند توافر الاستمرار التحليلي المناسب، تُعرّف طاقة الفراغ المنتظمة زيتاويًا بالعلاقة:

\[ E_{\mathrm{vac}}^{\mathrm{reg}} = \frac{1}{2}\zeta_{L,\ne0}\left(-\frac{1}{2}\right) \]

إذا كانت \(\lambda_n\) مربعات ترددات فيزيائية، فإن العلاقة السابقة تقابل تنظيم \(\sum_{\lambda_n>0}\sqrt{\lambda_n}\) مع استبعاد النمط الصفري، بوحدات \(\hbar=1\).

تعريف مشروط، لا نتيجة محسوبة. التعبير \(E_{\mathrm{vac}}^{\mathrm{reg}} = \tfrac12\zeta_{L,\ne 0}(-1/2)\) تعريف مقترح، لا قيمة. تقويمه عدديًا يتطلب:
  • إثبات تقارب متسلسلة زيتا في نطاق ما؛
  • إثبات وجود الاستمرار التحليلي المناسب إلى \(s=-1/2\)؛
  • معالجة أي اعتماد على المقياس أو طرح منتظم يفرضه السياق الفيزيائي.
معالجة الحل الصفري. الدالة \(g(u)\) قابلة للتكامل مربعًا على \((0,2\pi)\). قرب \(0^+\) تتلاشى أسرع من أي قوة بفضل \(e^{-2\pi/(21u)}\)؛ وقرب \(2\pi^-\) يتحقق \(g(u) \sim \frac{e^{-1/21}}{2\pi}(2\pi-u)\)، وهو سلوك قابل للتكامل. إذن \(g \in L^2((0,2\pi))\).

لكن الانتماء إلى \(L^2\) لا يثبت وحده انتماء \(g\) إلى مجال تحقيق ذاتي الترافق لـ\(L\)؛ فذلك يتطلب تحديد التحقيق والتحقق من شروط المجال.

الخطوة التحليلية التالية: السلوك المحلي للحلول قرب النهايات

اختيار تحقيق ذاتي الترافق يستلزم أكثر من فحص قابلية تطبيع \(g\)؛ يستلزم دراسة حلول \(L\psi=\lambda\psi\) قرب الطرفين. §5 ينفّذ هذه الخطوة.

خطة العمل الحسابية

  1. تحليل الحلول قرب كل طرف وتحديد سلوكها التقاربي.
  2. تحديد المجال وشروط الحدود وتحقيق ذاتي الترافق.
  3. فحص ما إذا كان المؤثر محدودًا من الأسفل.
  4. حساب القيم الذاتية عدديًا.
  5. دراسة تقارب دالة زيتا واستمرارها إلى \(s=-1/2\).

§5 ينفّذ الخطوتين 1 و2.

5. ملحق: السلوك المحلي للحلول وشروط الحدود

ينفّذ هذا الملحق الخطوة الأولى من خطة العمل: تحليل السلوك المحلي للحلول قرب الطرفين وتصنيف النهايات.

أ. الطرف \(u \to 2\pi^-\): Limit Circle

نضع \(t = 2\pi - u \to 0^+\). الجهد:

\[ V_{\mathrm{eff}}(u) \sim -\frac{c}{t}, \qquad c = \frac{191}{42\pi} > 0. \]

لمعادلة \(L\psi = \lambda\psi\)، وبإهمال حد القيمة الذاتية في الرتبة القيادية، تصبح المعادلة التقاربية:

\[ \psi_{tt} + \frac{c}{t}\psi \approx 0. \]

تحليل فروبنيوس (توسعات محلية). نكتب \(\psi = t^r\sum_{n\ge 0}a_n t^n\). معادلة الدليل عند الرتبة \(t^0\) تعطي \(r(r-1) = 0\)، إذن \(r\in\{0,1\}\).

الفرع \(r=1\): من علاقة التكرار \(a_1 = -c\,a_0/2\)، ومنه التوسع المحلي:

\[ \psi_1(t) = a_0\left(t - \frac{c}{2}t^2 + O(t^3)\right). \]

الفرع \(r=0\) (جذر رنيني): يتضمن حداً لوغاريتمياً:

\[ \psi_2(t) = 1 - c\,t\ln t + O(t). \]

قابلية التكامل المربع. كلا السلوكين محدود ومتكامل مربعياً قرب \(t=0\) (لأن \(t\ln t \to 0\)). وبالتالي، كلا الحلين المحليين في \(L^2\)؛ الطرف Limit Circle.

شروط الحدود عند طرف Limit Circle. عند طرف Limit Circle، فضاء الحلول المربعة القابلة للتكامل من البعد 2، فلا يختار \(L^2\) حلاً وحيداً. يُحدَّد التحقيق الذاتي الترافق بـشرط على أثر الورونسكي الحدّي.

بتحديد أدق: المجال الأقصى \(\mathcal{D}_{\max}\) يتكون من دوال \(\psi\) بحيث:
\[ \mathcal D_{\max}=\{\psi\in L^2(0,2\pi):\; \psi,\psi'\in AC_{\rm loc}(0,2\pi),\; L\psi\in L^2(0,2\pi)\}. \]
وعلى هذا المجال توجد صيغة الورونسكي الحدّية لكل \(\psi, \chi\in\mathcal{D}_{\max}\). التحقيقات الذاتية الترافق تُعامَل بعائلة \(U(1)\)؛ شروط الحدود المقابلة تُعبَّر عبر صيغة لاغرانج/الورونسكي، لا عبر شرط روبين مباشر، لأن \(\psi_2'(t) \sim -c\ln t\) يتباعد لوغاريتمياً عند \(t\to 0^+\).

ديريكليه كاختيار محدد. الشرط \(\psi(2\pi^-)=0\) عضو واحد في عائلة \(U(1)\)، لا النتيجة الوحيدة للتصنيف. وهو المرشح الطبيعي للدراسة الأولى، لأن \(g\) يحققه.
النتيجة عند \(2\pi^-\): Limit Circle. يلزم شرط حدود ذاتي الترافق، يُصاغ عبر أثر لاغرانج/الورونسكي. ديريكليه أحد الخيارات المحددة في عائلة \(U(1)\).

ب. الطرف \(u \to 0^+\): Limit Point

\[ V_{\mathrm{eff}}(u) \sim +\frac{C}{u^4}, \qquad C = \left(\frac{2\pi}{21}\right)^2 > 0. \]

التقريب التقاربي عند \(u\to0^+\).

بما أن

\[ V_{\mathrm{eff}}(u)=\frac{c^2}{u^4} + \frac{10c}{u^3} + \text{حدود أدنى رتبة}, \qquad c=\frac{2\pi}{21}, \]

فإن مقياس النمو الأسي للحلين هو \(\exp\!\left(\pm\frac{c}{u}\right)\). ولا تمثل هذه الصيغة وحدها التوسع التقاربي الكامل؛ إذ تؤثر الحدود الأدنى رتبة في العوامل الجبرية واللوغاريتمية. بالفعل، الحل الصفري المعروف \(g\) يتلاشى وفق:

\[ g(u)\propto u^5\ln(2\pi/u)e^{-c/u}. \]

وعليه، يوجد فرع متلاشٍ أسيًا وفرع نامٍ أسيًا، ولا ينتمي الفرع النامي إلى \(L^2\). الطرف Limit Point: لا حاجة لشرط حدود إضافي؛ \(L^2\) يختار السلوك المقبول تلقائياً.

النتيجة عند \(0^+\): Limit Point. \(L^2\) يختار السلوك المقبول تلقائياً.

ج. النتيجة التركيبية والوضع الرياضي للتفكيك الشكلي

  • عند \(u=0^+\): Limit Point (لا شرط حدود إضافي، ولا يضيف أبعاد عجز).
  • عند \(u=2\pi^-\): Limit Circle (يلزم شرط حدود ذاتي الترافق، ويضيف بعداً واحداً للعجز).
  • الغلاف \(g\) يتصرف عند \(2\pi^-\) كـ\(\psi_1\)، ويحقق \(g(2\pi^-)=0\). لذلك يحقق شرط ديريكليه، وهو اختيار محدد ضمن التحقيقات الذاتية الترافق.
مؤشرات العجز والامتدادات الذاتية الترافق:
بناءً على التصنيف المحلي (Limit Point عند 0، وLimit Circle عند \(2\pi\))، فإن مؤشرات العجز الكلية للمؤثر \((n_+, n_-) = (1, 1)\). هذا يعني أن عائلة الامتدادات الذاتية الترافق تُعطى بدالة أحادية \(U(1)\) تعتمد على معامل طوري \(\theta \in [0, 2\pi)\).

الوضع الرياضي للتفكيك الشكلي:
  • التفكيك: تفكيك تفاضلي شكلي صحيح \(L = A^\dagger A\)، لكنه لا يضمن أن \(A^\dagger\) هو المرافق الفعلي على مجال محدد.
  • التحليل الطرفي: (Limit-Point عند 0 و Limit-Circle عند 2π) هو تحليل أولي قيد التدقيق النهائي.
  • الحالة الأرضية وطاقة الفراغ: لم تُثبت بعد. وجود \(g(2\pi^-)=0\) لا يضمن انتماء \(g\) لمجال التحقيق المحدد، ولا يمكن اعتبار طاقة زيتا صفراً لمجرد وجود حل شكلي.
الخلاصة: الإطار الرابع حقق تفكيكاً شكلياً وتحليلاً طرفياً أولياً، لكنه لم يُغلق طيفياً. تبقى الإيجابية، والحالة الأرضية، وطاقة الفراغ، مسائل مفتوحة.

6. النتائج ونطاق النموذج

ما الذي أنجزه هذا الإطار؟

  • بناء مؤثر من الغلاف: تعريف \(L = -\partial_u^2 + g''/g\)، وإثبات الهوية البنيوية \(Lg=0\) على المجال المفتوح.
  • التحليل الجبري للأصل (§2): التحويل الدقيق من Frame 1 يعطي \(V_{\mathrm{new}} = (4\pi^2/u^4)Q\)، لا \(V_{\mathrm{eff}}\). اختفاء المشتقة الأولى تلقائي. برهان محلي عند \(u=\pi\) يرفض تحويل داربوكس قياسي من الرتبة الأولى.
  • تفكيك SUSY QM: \(L = (-\partial_u - p)(\partial_u - p)\) كهوية شكلية.
  • تحليل تفرد الجهد: \(1/u^4\) عند \(0^+\)، \(-1/(2\pi-u)\) عند \(2\pi^-\)، وقطب بسيط في \(V_{\mathrm{new}}\) عند \(u=\pi\) بلا نظير في \(V_{\mathrm{eff}}\).
  • تصنيف النهايات: Limit Point عند \(0^+\)، Limit Circle عند \(2\pi^-\). شرط الحدود عند \(2\pi^-\) يُصاغ عبر لاغرانج/الورونسكي؛ ديريكليه اختيار محدد.
  • تعريف دالة زيتا الطيفية كتعريف مشروط.
  • الفصل بين ما ثبت وما هو مفتوح: بين الحل الصفري الشكلي والدالة الذاتية الفعلية؛ بين الغلاف كمنظم محتمل والمنظم المثبت؛ بين Frame 4 كمؤثر مستقل وFrame 4 كنتيجة استنتاجية (الأخيرة مرفوضة).

ما الخطوة التالية؟

  1. اختيار تحقيق ذاتي الترافق عند \(2\pi^-\)، بدءًا بشرط ديريكليه \(\psi(2\pi^-)=0\) كمرشح طبيعي أول.
  2. التحقق من انتماء \(g\) إلى مجال هذا التحقيق.
  3. إثبات وجود حد سفلي للطيف.
  4. حساب القيم الذاتية الموجبة \(\lambda_n\) عدديًا.
  5. بعد ذلك فقط: دراسة تقارب دالة زيتا وإمكان تعريف طاقة فراغ فيزيائية.

ملاحظة على \(R_{13/12}\): النتيجة العددية \(R_{13/12} \approx 0.60352\) من Frame 3، وليست مشتقة من مسألة زيتا هنا. ضمن اختيار الحالات ومؤثر الانتقال والتكامل المحدد في Frame 3، تُفسَّر بمقارنة نموذج الغلاف غير المتماثل بمرجع متماثل.

7. ملاحظات تكميلية (خلف الزر)

هذا القسم ليس أساسيًا لقراءة المتن؛ يجمع اشتقاقات وتفسيرات إضافية. من يكتفي بالنتائج يجدها في §1–§6.

يقدّم هذا القسم قراءة تفصيلية لما أنجزه الإطار وما تركه مفتوحًا.

1. الهوية \(Lg = 0\): مضمونة بنيائيًا

من تعريف \(V_{\mathrm{eff}} = g''/g\)، تتحقق الهوية مباشرة. هذه نتيجة رياضية دقيقة، لا تقريب عددي. لكنها لا تثبت وحدها أن \(g\) دالة ذاتية فعلية؛ فذلك يتطلب تحديد المجال وشروط الحدود، كما يفعل §5.

2. نتيجة §2: Frame 4 اختيار متوافق، لا استنتاج

التحليل الجبري في §2 يُظهر أن التحويل الدقيق من Frame 1 يعطي \(V_{\mathrm{new}} = (4\pi^2/u^4)Q\)، وهو مختلف عن \(V_{\mathrm{eff}}\). البرهان المحلي عند \(u=\pi\) يرفض تحويل داربوكس قياسي من الرتبة الأولى. التحويلات المعمّمة خارج نطاق هذا البرهان. يتسق هذا مع الموقف المنهجي للمخطوط الموحّد: الأطر الأربعة مسارات متوازية، لا سلسلة استنتاجية.

3. تصنيف النهايات

§5 يشتق Limit Point عند \(0^+\)، Limit Circle عند \(2\pi^-\). تصنيف بنيوي، لا يثبت حدًّا سفليًا للطيف. عند طرف Limit Circle، شرط الحدود يُصاغ عبر لاغرانج أو ورونسكي مرجعي، لا روبين مباشر.

4. التنظيم الزيتاوي

تعريف \(\zeta_{L,\ne 0}(s)\) و\(E_{\mathrm{vac}}^{\mathrm{reg}}\) مشروط بثلاثة أمور: (أ) معرفة المتسلسلة في نطاق، (ب) الاستمرار التحليلي المناسب، (ج) معالجة الاعتماد على المقياس.

5. الغلاف كمنظم طبيعي

فرضية لا نتيجة. إثباتها يتطلب إظهار السلوك عالي الطاقة للقيم الذاتية.

6. ملاحظة على \(R_{13/12}\)

نتيجة عددية من Frame 3. لا تُثبت الخصائص الطيفية لـ Frame 4، ولا تتنبأ بطاقة الفراغ. الرابط بين الإطارين هو الغلاف المشترك، لا اشتقاق المؤثر.

الخلاصة

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

ملحق التدقيق العددي — الإغلاق (v7.6)

الحالة: تم إغلاق المسألة الطيفية وإثبات استقرار الحالة الأرضية

لإثبات أن حل SUSY Factorization ليس مجرد "حيلة عددية"، أجريت اختبارات صارمة على التقارب وحساسية الحدود، واختبار للهوية التفاضلية نفسها.

أ. اختبار صحة الهوية التفاضلية (g' = p*g)

قمنا بحساب الباقي الرياضي \(||g' - p*g||_{L2}\) باستخدام مشتقة عددية مستقلة، وأظهرت النتائج تناقصاً بمعدل \(O(h^2)\):

عدد النقاط \(N\) خطوة الشبكة \(h\) الباقي \(||g' - p*g||_{L2}\) الخطأ النسبي
1000\(6.29 \times 10^{-3}\)\(1.07 \times 10^{-6}\)\(1.17 \times 10^{-5}\)
2000\(3.14 \times 10^{-3}\)\(2.67 \times 10^{-7}\)\(2.92 \times 10^{-6}\)
4000\(1.57 \times 10^{-3}\)\(6.66 \times 10^{-8}\)\(7.30 \times 10^{-7}\)
8000\(7.85 \times 10^{-4}\)\(1.66 \times 10^{-8}\)\(1.82 \times 10^{-7}\)
16000\(3.93 \times 10^{-4}\)\(4.15 \times 10^{-9}\)\(4.56 \times 10^{-8}\)

ب. اختبار حساسية الحد الأيمن (Boundary Sensitivity)

بما أن شرط ديريكليه يُفرض عند الطرف \(2\pi\) حيث \(g(2\pi)=0\)، فقد أجرينا الاختبار بمدى يقترب من \(2\pi\) بالضبط. أظهرت النتائج أن القيمة الذاتية الدنيا تنهار نحو الصفر بمجرد اقترابنا من الحدود الحقيقية:

الحد الأيمن \(u_{\max}\) الطاقة الأرضية \(λ_0\) نسبة التداخل (Overlap) خطأ L2
\(2\pi - 0.05 \approx 6.2332\) \(1.106 \times 10^{-1}\) \(0.99629\) \(8.6 \times 10^{-2}\)
\(2\pi - 0.01 \approx 6.2732\) \(2.684 \times 10^{-2}\) \(0.99978\) \(2.0 \times 10^{-2}\)
\(2\pi - 0.001 \approx 6.2822\) \(4.367 \times 10^{-3}\) \(0.99999\) \(3.3 \times 10^{-3}\)

ج. اختبار تقارب الشبكة (Grid Convergence)

للتأكد من استقرار الخوارزمية، قمنا بتغيير عدد النقاط \(N\) مع تثبيت المجال (عند \(u_{\max}=2\pi-0.05\)):

عدد النقاط \(N\) الطاقة \(λ_0\) التداخل خطأ L2 أصغر قيمة \(min_{inner}\)
1000\(1.130 \times 10^{-1}\)\(0.99613\)\(8.79 \times 10^{-2}\)\(\sim 0\)
2000\(1.114 \times 10^{-1}\)\(0.99624\)\(8.66 \times 10^{-2}\)\(\sim 0\)
4000\(1.106 \times 10^{-1}\)\(0.99629\)\(8.60 \times 10^{-2}\)\(\sim 0\)
الاستنتاج النهائي: الحل \(Lg=0\) ليس مجرد هوية شكلية، بل هو الحالة الأرضية الحقيقية للمؤثر. المؤثر \(L\) موجب تماماً، والطاقة الأرضية تتجه إلى الصفر كلما اقتربنا من الحدود الحقيقية، والباقي الرياضي ينهار بمعدل \(O(h^2)\). المسألة الطيفية مغلقة عددياً ورياضياً.
← الإطار الثالث 🏠 الرئيسية
© 2026 Eng. Abdulla M. N. Al-Jabri — Al-Hindara Project.
Frame 4: Towards a Spectral Problem & Zeta Regularization — v7.6 (Arabic; updated with Numerical Closure and Error Analysis).

§Z — تقييم مقارن: من v7.6 إلى الإغلاق المرحلي الموثق

ملاحظة منهجية. لا يقدّم هذا الملحق نتائج رياضية جديدة؛ بل يراجع حدود الادعاءات الواردة في v7.6، ويميّز بين ما ثبت لاحقاً، وما صُحّح، وما بقي مفتوحاً. وهو سجل منهجي للتطور الرياضي للإطار، لا حكم على قيمة المسار الاستكشافي السابق.

Z.1 الغرض

يوثّق هذا الملحق الفرق بين ما أعلنته النسخة v7.6 ("المسألة الطيفية مغلقة عددياً ورياضياً") وما ثبت فعلياً بعد المسار التصحيحي. الغرض تثبيت الحدود المعرفية للمرحلة الحالية، ومنع أي التباس في القراءة المستقبلية. الحالة العامة للإطار الرابع تبقى "مفتوحة"؛ هذا الملحق لا يغيّرها.

Z.2 جدول المقارنة

البند الحالة في v7.6 الحالة بعد المسار التصحيحي التصنيف
معادلة الجذر لم تُصرَّح صراحةً؛ استُخدمت صيغة مكافئة ضمنياً \((5x + 1/21)\ln(1/x) - x = 0\) صراحةً ✓ مثبت في المسار التصحيحي
الجذر \(x_0\) \(0.8282\) (مبني على معادلة غير مصرَّح بها) \(0.8206115039\) ✓ مصحح
\(u_0\) \(5.2037\) \(5.1560541441\) ✓ مصحح
نوع \(u_0\) لم يُصرَّح به صراحةً قمة، حيث \(g'(u_0) = 0\) ✓ مثبت في المسار التصحيحي
الطرف \(0^+\) Limit Point (مذكور) Limit Point (ببرهان الاختزال) ✓ مثبت
\(L_F\) positivity مذكور كخاصية مذكور ببرهان صريح ✓ مثبت
Compact resolvent لم يُذكر مثبت (التحكم في الذيل + Rellich) ✓ مثبت في المسار التصحيحي
طيف \(L_F\) منفصل لم يُذكر مثبت ✓ مثبت في المسار التصحيحي
\(0 \notin \sigma_p(L_F)\) لم يُذكر مثبت ✓ مثبت في المسار التصحيحي
\(\lambda_0 > 0\) لم يُذكر مثبت (لـ \(L_F\) فقط) ✓ مثبت في المسار التصحيحي
\(g \in \mathcal{D}(L_F)\) استنتاج ضمني في الصياغة السابقة لا ينتمي: \(g(u_0) \neq 0\) ✗ مصحح
\(g\) حالة أرضية لـ \(L_F\) استنتاج ضمني في الصياغة السابقة لا يجوز اعتباره كذلك ✗ مصحح
\(L_N\) Neumann لم يُدرس مفتوح ○ مفتوح
\(L_N \geq 0\) لم يُدرس مفتوح (لا يتبع من \(L_F\)) ○ مفتوح
\(g \in \mathcal{D}(L_N)\) لم يُدرس مفتوح ○ مفتوح
\(0 \in \sigma_p(L_N)\) لم يُدرس مفتوح ○ مفتوح
حساب \(\lambda_0\) عددياً "مغلق عددياً" (ادعاء صريح) لم يُحسب ○ مفتوح
سلوك \(\lambda_n\) لم يُدرس مفتوح ○ مفتوح
الصلة بزيتا "مغلق رياضياً" (ادعاء صريح في v7.6) لم تُبحث ○ مفتوح
"الإغلاق الرياضي" مُعلَن صراحةً في v7.6 مرفوض: تجاوز ما تسمح به البراهين ✗ مصحح

Z.3 قراءة الجدول

(أ) ما أضافه المسار التصحيحي:

(ب) ما رفضه المسار التصحيحي:

(ج) ما تركه المسار التصحيحي مفتوحاً:

Z.4 الخلاصة المنهجية

ما ثبت

  • تصنيف الطرف \(0^+\) = Limit Point (ببرهان الاختزال + ويل).
  • \(L_F\) positivity على النواة الابتدائية.
  • Compact resolvent لـ \(L_F\).
  • \(\sigma(L_F)\) منفصل، \(\lambda_n \to +\infty\).
  • \(0 \notin \sigma_p(L_F)\).
  • \(\lambda_0 > 0\) (فجوة موجبة).

ما بقي مفتوحاً

  • \(L_N\) Neumann: positivity، انتماء \(g\)، طيفية — كلها مفتوحة.
  • الحساب العددي لـ \(\lambda_0\) وسلوك \(\lambda_n\).
  • الصلة بزيتا.
  • التفسير الفيزيائي.
ما لا يُدَّعى في هذا المسار:
  • "حل طيفي كامل" للإطار الرابع،
  • "اكتشاف مرتبط بزيتا"،
  • "تفسير فيزيائي" للنموذج،
  • "إغلاق رياضي" لـ Frame 4.
كل هذه لم تثبت في هذا المسار. ما ثبت هو نتائج \(L_F\) المحددة أعلاه، ضمن الفرضيات والمجال المحددين. هذا هو حدّ الإنجاز.

Z.5 ملاحظة بنيوية: النموذج على الخط الحرج

معظم النتائج المثبتة في هذا المسار — تصحيح الجذر، تصنيف الطرف، إثبات الفجوة \(\lambda_0 > 0\)، تحديد الفرق بين \(L_F\) و\(L_N\) — هي نتائج تحديد موقع خط حرج يفصل بين سلوكين رياضيًا متمايزين. هذا ليس مصادفة: بنية النموذج (دالة \(g\) ذات قمة واحدة وتلاشٍ عند طرفين، مؤثر بتفرد قوي عند \(0^+\) وانتظام عند \(u_0\)) تجعل الخط الحرج هو الموضوع، لا مجرد أداة.

السؤال المفتوح الذي يتركه هذا الملحق: هل الخط الحرج المركزي في Frame 4 هو الحد بين \(L_F\) و\(L_N\)؟ وإذا كان كذلك، فما الشروط الدقيقة التي تجعل النموذج يقع على أحد جانبي هذا الحد؟ هذا سؤال للمرحلة القادمة، لا للمرحلة الحالية.