مشروع الهندرة — الإطار الخامس: الفجوة الطيفية الموزونة (v3.2)

⚖️ القاعدة الحاكمة (Guiding Principle)

"عدم اكتمال الشهادة الكمية لا يعني سقوط النتيجة التحليلية،
كما أن نجاح الحساب العددي لا يحوّله تلقائياً إلى برهان."

5.0. إشكالية الإطار الخامس (Problem Statement)

يهدف هذا الإطار إلى دراسة الفجوة الطيفية (Spectral Gap) لمؤثر تفاضلي موزون على المجال المفتوح $(0, L)$، حيث $L = 2\pi$. ننطلق من فضاء الشكل الموزون، ونطبق تحويل الحالة الأرضية لفصل العامل الأساسي، مما يحول المسألة إلى مؤثر جديد ذي وزن $w(u)$. السؤال المركزي: هل توجد فجوة طيفية موجبة $\lambda_1 > 0$، وما هو الحد السفلي المضمون (Certified Lower Bound) لها؟

5.0.1. ملاحظة مفاهيمية: لماذا الفجوة «موزونة»؟

سمّيناها الفجوة الطيفية الموزونة لأن الوزن يدخل في تعريف فضاء الدوال والطاقة ومؤثر لابلاس نفسه. الخطوة العبقرية التي قمنا بها هي تطبيق تحويل الحالة الأرضية (Ground-State Transformation) بافتراض أن $f = g \cdot \psi$. هذا التحويل ألغى حد الجهد $V$ تماماً، وترك لنا شكلاً تربيعياً بسيطاً:

\mathcal{Q}[f] = \int w(u) |\psi'(u)|^2 du

حيث ولد الوزن من مربع الحالة الأرضية: $w(u) = g^2(u)$. هنا لم يعد الوزن مجرد رقم، بل أصبح كثافة الوزن (Weight Density) التي تحدد القياس والتكامل والطاقة الموزونة. الفضاء الجديد $L^2(0, 2\pi; w\,du)$ له هندسة خاصة، والمؤثر $H_w = -\frac{1}{w}(w\psi')'$ هو المؤثر الطبيعي في هذا الفضاء الموزون.

5.1. فضاء الشكل الأولي (Initial Form Space)

نعرّف الدالة الأساسية $g(u)$ على المجال المفتوح $(0, 2\pi)$:

g(u) = \left(\frac{u}{2\pi}\right)^5 \log\left(\frac{2\pi}{u}\right) \exp\left(-\frac{2\pi}{21u}\right)

نعرّف الوزن $w(u) = g^2(u)$. فضاء الشكل الأولي هو:

H^1_w(0,L) = \left\{ \psi \in AC_{\mathrm{loc}}(0,L) : \int_0^L w(u)(|\psi|^2+|\psi'|^2)\,du < \infty \right\}

تنبيه: تعريف $H^1_w$ لا يحدد وحده إغلاق الشكل ولا الامتداد الذاتي المرافق المرتبط به. تحديد المجال المقصود فعلاً للمسألة ذات شروط Neumann الطبيعية يتطلب إثبات إغلاق الشكل واكتمال الفضاء بمعيار الطاقة، ثم تطبيق مبرهنة تمثيل الأشكال المغلقة. هذه الخطوة لم تكتمل بعد.

5.2. تحويل الحالة الأرضية (Ground-State Transformation)

لكل دالة $f = g\psi$، نعرّف المؤثر التفاضلي $A$:

p(u) = \frac{g'(u)}{g(u)}, \qquad A = -\frac{d}{du} + p(u)

بتطبيق المؤثر على $f = g\psi$:

Af = -g'\psi - g\psi' + p g\psi = -g\psi'

إذن، الشكل التربيعي $\mathcal{Q}_F$ يتحول إلى:

\mathcal{Q}_F[f] = \int_0^{2\pi} |Af|^2 du = \int_0^{2\pi} w(u) |\psi'(u)|^2 du

وشرط التعامد مع الحالة الأرضية $g$ يصبح:

\int_0^{2\pi} w(u)\psi(u) \, du = 0

ملاحظة: هذا الاشتقاق الجبري صحيح داخل المجال المفتوح. تحديد المجال التشغيلي وشروط الأطراف يبقى خطوة مستقلة.

5.3. التعبير التفاضلي الموزون (Differential Expression)

الشكل التربيعي $\mathcal{E}[\psi] = \int w |\psi'|^2 du$ مرتبط بالتعبير التفاضلي الشكلي:

H_w \psi = -\frac{1}{w} (w \psi')'

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

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

📊 التحليل البصري: سلوك الوزن $w(u)$

الرسم التالي يوضح كيف يتلاشى الوزن $w(u)$ عند الطرفين (بمقياس لوغاريتمي).

* ملاحظة: الرسم البياني يفرض حداً أدنى عند $-30$ لأغراض بصرية. القيم التي تقل عن هذا الحد تُحجب.

5.4. الدليل العددي (FEM - Neumann/Mean-Zero)

التوصيف المعتمد: Numerically converged candidate for the full-interval spectral gap.

باستخدام شروط Neumann مع قيد المتوسط الصفري الموزون، وطريقة العناصر المنتهية (FEM):

\lambda_1^{(N)} \approx 1.76852571

عدد العناصر (N)	القيمة الذاتية $\lambda_1$ (تقدير عددي)
200	1.76858932
400	1.76854086
800	1.76852873
1600	1.76852571

ملاحظة إبستمولوجية: استقرار الشبكة يدعم بقوة أن هذا هو الحل العددي، لكنه لا يثبت التقارب الرياضي الصارم إلى المسألة المستمرة على المجال الكامل.

5.5. التحليل التقاربي للذيل عند الصفر (Tail Asymptotic Analysis)

الحالة المعتمدة: Proven analytically (rigorous $C_0 > 0$).

لتحديد إشارة مشتقة $B_-$ قرب الصفر، نُعيد صياغة المسألة عبر الدالة المساعدة:

M(x) = \int_0^x w(u)\,du, \quad R(x) = \int_x^m \frac{du}{w(u)}, \quad B_-(x) = M(x)R(x)

بما أن $w > 0$، فإشارة المشتقة $B_-'(x)$ تساوي إشارة $S(x)$:

h(x) := w(x)^2 R(x) - M(x), \quad h'(x) = 2w(x) S(x)

حيث $S(x) = w'(x)R(x) - 1$. لإثبات $S(x) > 0$ قرب الصفر، نستخدم التكامل بالأجزاء بدقة.

الصيغة الدقيقة للتكامل بالأجزاء والتحقق من $T_0$

نضع $\alpha = a/m$ و $T_0 = \max\{\alpha, ae/L\}$. من القيم المعطاة:

L = 2\pi \approx 6.283185,\quad a = \frac{4\pi}{21} \approx 0.598399 \] \[ \frac{ae}{L} = \frac{0.598399 \times 2.71828}{6.283185} \approx 0.2589 \] \[ \alpha = \frac{a}{m} \approx \frac{0.598399}{4.941} \approx 0.1211 < 0.2589 \] \[ \therefore T_0 = \frac{ae}{L} \approx 0.2589 < 6

تعريف $C_0$ بدقة

بتطبيق التكامل بالأجزاء مرتين على $[T_0, T]$:

I(T) = I(T_0) + e^T(q_0(T) - q_0'(T)) - e^{T_0}(q_0(T_0) - q_0'(T_0)) + \int_{T_0}^T e^t q_0''(t)\,dt

حيث $I(T_0) = \int_{\alpha}^{T_0} e^t q_0(t) dt$. نعرّف الثابت:

\boxed{C_0 = I(T_0) - e^{T_0}(q_0(T_0) - q_0'(T_0))}

وبما أن $T_0 = ae/L \approx 0.2589 < 6$ و $c(T_0) = 8 - 2/\log(L T_0/a) = 8 - 2/\log(e) = 6$، فإن:

1 - \frac{c(T_0)}{T_0} = 1 - \frac{6}{0.2589} < 0 \] \[ \therefore -e^{T_0}(q_0(T_0) - q_0'(T_0)) > 0

وبما أن $I(T_0) > 0$ (تكامل دالة موجبة)، نحصل على:

\boxed{C_0 > 0}

الصيغة الدقيقة لـ $S(x)$ والنتيجة النهائية

بتعريف $E(T) = \frac{C_0 + \int_{T_0}^T e^t q_0''(t) dt}{e^T q_0(T)} > 0$، نحصل على الصيغة الدقيقة:

S(x) = \frac{2}{T} - \frac{c(c+2)}{T^2} + \left(1 + \frac{c+2}{T}\right)E(T)

وبما أن $E(T) > 0$، فإن:

S(x) > \frac{2}{T} - \frac{c(c+2)}{T^2}

ولضمان $S(x) > 0$، نحتاج $2T > c(c+2)$. بما أن $c < 8$، فإن $c(c+2) < 80$. إذن، يكفي $T > 40$، أي:

\boxed{ 0 < x < \frac{a}{40} \approx 0.015 \implies h'(x) > 0 }

النتيجة: بما أن $h'(x) > 0$ على $(0, 0.015]$، وبما أن $h(0) = 0$، فإن $h(x) > 0$ على هذا المجال. لقد تم إغلاق الذيل عند الصفر تحليلياً وبشكل صارم، دون أي ثوابت مستوردة.

5.6. الجوار الأيسر لـ $m$: إغلاق الطول $\delta_m$ فترياً

الحالة: Lemma مثبتة فترياً (بانتظار إعادة التشغيل المستقلة).

تم إغلاق الطول $\delta_m$ لإثبات سلبية $h$ في جوار يساري لـ $m$ باستخدام الحساب الفتري (Interval Arithmetic) والتقريب الموجّه.

Lemma $\delta_m$ (مثبتة فترياً):

يوجد طول صريح $\delta_m = 0.1$ بحيث:

h(x) < 0 \qquad \forall\, x \in [m-0.1,\, m].

البرهان الفتري (Interval Proof)

بما أن $h(x) = w(x)^2 R(x) - M(x)$، فإنه يكفي إثبات أن $\sup f(x) < \inf M(x)$ على المقطع، حيث $f(x) = w(x)^2 \int_x^m \frac{du}{w(u)}$.

الحد الأعلى لـ $f$: بما أن $w$ متزايدة على $[4, m_H]$ (بإثبات أن $(\log w)' > 0$)، حيث $m_L = 4.94023829$ و $m_H = 4.94223829$، فإن: $f(x) \le w(x)(m-x) \le w(m_H) \cdot 0.1 \in [0.000462902445047,\; 0.000462902445049]$
الحد الأدنى لـ $M$: بما أن $w$ متزايدة: $M(x) = \int_0^x w(u)du \ge \int_4^x w(u)du \ge (x-4)w(4) \ge (m_L - 4.1) w(4) \in [0.001613273491734,\; 0.001613273491736]$
المقارنة الفترية: $\text{ratio} = \frac{\sup f}{\inf M} \in [0.2869336459248,\; 0.2869336459252] < 1$

5.7. عزل الجذر $x_$ وإحاطة $B_-(x_)$ وعزل $s_*$

الحالة: Reported interval enclosure — independent reproducibility pending.

تم عزل جذر للدالة $h(x)=0$ داخل الفترة التالية باستخدام التنصيف والإحاطة الفترية، حيث تم التحقق من تغير إشارة $h(x)$ عند طرفي هذه الفترة. أما إثبات الوحدانية على المجال الأوسع فيتطلب توثيق استبعاد الجذور الأخرى، أو إثبات الرتابة حيث يلزم.

x_* \in [4.10529621059752, \; 4.10529621059753]

حيث ثبت أن المشتقة سالبة تماماً في هذه الفترة:

\sup_{x \in X_*} h'(x) \le -0.0011712648 < 0

باستخدام مجاميع ريمان المضمونة (مع ضبط خطأ المجاميع)، تم حصر قيمة $B_-$ عند الجذر:

B_-(x_*) = M(x_*)R(x_*) \in [0.3080292438496379,\; 0.3080292438496384]

الأهمية الرياضية: هذه الإحاطة تعطينا حداً سفلياً موثقاً لقيمة $B_-$ عند هذه النقطة:

\sup B_- \ge B_-(x_*) \ge 0.3080292438496379

ملاحظة: هذا لا يثبت وحدها أن $\sup B_- = B_-(x_*)$، بل يثبت أن القمة العالمية لا تقل عن هذه القيمة.

ملاحظة إضافية (v3.2): بناءً على التحليل العددي، الدالة المساعدة $h(x)$ ليست رتيبة على $(0, m)$. إنها تتزايد على $(0, s_*]$ وتتناقص على $[s_*, m]$، حيث:

s_* \approx 3.754074114986062 \quad \text{(Root of } S(x) = 0 \text{)} \] \[ h(s_*) \approx 0.0001645208827136307 > 0

وهذا يعزل قمة $h$ (وليس $B_-$) عند $s_*$. بينما $B_-$ لها قمة عند $x_*$ حيث $h(x_*) = 0$.

5.8. محاولة المقارنة العالمية (Global Bound Comparison) — مفتوح

الحالة المعتمدة: Not yet closed (غير مغلق).

بعد عزل قمة كل من $B_-$ و $B_+$ عددياً، نلاحظ الآتي:

قمة $B_+$ تقع عند $x_+ \approx 5.4016643424$، وقيمتها العددية الخام:

B_+^{\mathrm{raw}} \approx 0.192532139157

بينما قمة $B_-$ (المحاطة فترياً عند $x_*$) هي:

B_-(x_*) \in [0.3080292438496379,\; 0.3080292438496384]

الخطأ الإبستمولوجي السابق: كنا نعتبر $0.1924 < 0.3080$ بمثابة إثبات. هذا خطأ. القيمة $0.1924$ هي مجرد قيمة تقريبية عند القمة العددية، وليست حداً أعلياً موثقاً على المجال كله.

لإغلاق هذه المقارنة، نحتاج إلى:

\boxed{U_+} \quad \text{(Rigorous Upper Bound for } \sup B_+)

\boxed{L_-} \quad \text{(Rigorous Lower Bound for } \sup B_-)

ثم إثبات العلاقة الصارمة:

\boxed{U_+ < L_-}

بدون هذه المقارنة الفترية العالمية، لا يجوز تثبيت $B_{\text{global}}$ ولا الحد $0.811611$ بوصفه شهادة مكتملة. القيمة المذكورة في القسم 5.3 تظل تقديراً عددياً فحسب.

5.9. سجل الحالة المعتمد (Status Registry)

البند	الحالة المعتمدة
Numerical Spectral Result	Numerically converged candidate
Muckenhoupt estimate	Numerical estimate, not a certificate
$B_-(x_*)$	Reported interval enclosure — independent reproducibility pending
Lower bound for $\sup B_-$	Available from the enclosure at $x_*$
Tail	Proven analytically (rigorous $C_0 > 0$)
Weighted Median $m$ (Diagnostic reference, §5.10)	Numerical reference only — NOT a certificate
Weighted Median $m$ (Interval Certificate, §5.10.3)	✅ PROVEN via interval enclosure (v3.1) — m ∈ [4.935, 4.95]
$F(L/2) \neq 0$ (i.e., $m \neq L/2$) — §5.11	Proven via interval enclosure (reproducibility pending)
$h'(x) > 0$ على $(0, 0.015]$	Proven analytically (v3.2)
$h'(x) < 0$ على $[m-0.1, m]$	Proven via interval enclosure (v3.2)
$S(x) > 0$ على $(0, s_*]$	Not yet closed — Numerical evidence only
$S(x) < 0$ على $[s_*, m]$	Not yet closed — Numerical evidence only
Isolation of $s_*$ (Root of $S=0$)	Numerical candidate — interval proof pending
Global upper bound for $B_+$	Not yet closed
Global comparison vs. $B_+$	Not yet closed
Self-adjoint realization and form closure	Not yet closed
Continuous full-interval spectral identification	Not yet closed

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

5.10. المرجع العددي التشخيصي للوسيط الموزون

الحالة المعتمدة: Diagnostic Numerical Reference — NOT a certificate.
هذا القسم يثبّت مرجعاً عددياً للوسيط الموزون بوصفه سجلاً تشخيصياً فحسب. لا يُرقّى إلى شهادة فتريّة، ولا يُستخدم لفتح $X_1$، ولا يُغني عن الشهادة المستقلة المطلوبة في البند 5.9.

5.10.1. تعريف الوسيط الموزون

الوسيط الموزون $m$ للوزن $w(u)$ على المجال $(0, L)$ يُعرَّف بمعادلة الكتلة:

\int_0^{m} w(u)\,du \;=\; \int_{m}^{L} w(u)\,du \;=\; \frac{M(L)}{2}, \qquad M(x) := \int_0^{x} w(u)\,du.

هذا تساوٍ في الكتلة، وليس تساوياً في الطول. لذلك $m$ ليس، بوجه عام، منتصف الفترة $L/2$. أي خلط بين المفهومين يُفسد كل ما يليه من حدود.

5.10.2. الجدول المرجعي

الكمية	القيمة العددية	الدلالة
$M(4.935)$	$0.004130799949627429$	مرجع عددي
$M(4.95)$	$0.004200241002886164$	مرجع عددي
$M(L)$	$0.008319267351406798$	مرجع عددي
$\sup F(4.935)$	< 0	إشارة عددية عند الطرف الأيسر
$\inf F(4.95)$	> 0	إشارة عددية عند الطرف الأيمن
$m$ (تقريبي)	$4.941238290661$	جذر عددي لـ $F(m)=0$

حيث $F(x) := 2M(x) - M(L)$. تغيّر إشارة $F$ بين الطرفين يدعم عددياً وجود جذر داخل $[4.935, 4.95]$، بشرط استمرارية $F$ (وهي بديهية لأن $M$ متصلة كتكامل دالة متصلة).

5.10.3. إثبات $F(L/2) \neq 0$ — الوسيط ليس منتصف الفترة

الوزن $w(u)$ غير متناظر حول $L/2$، لأن الطرف الأيسر يتلاشى أسّياً والطرف الأيمن يتلاشى تربيعياً:

w(u) \sim u^{10}\log^2(L/u)\,e^{-a/u}\ \ (u \to 0^+), \qquad w(u) \sim \left(\frac{L-u}{L}\right)^{2}\ \ (u \to L^-).

لكن عدم التناظر وحده لا يثبت أن الوسيط $m$ يبتعد عن $L/2$؛ فقد يتصادف أن الكتلتين تتوازنان عند المنتصف رغم عدم التناظر. الحجة المباشرة هي إثبات:

F(L/2) \;=\; 2\,M(L/2) - M(L) \;\neq\; 0.

البرهان الفتري

استُخدم تقسيم هندسي لإحاطة $M(L/2)$ و$M(L)$ فِتريّاً، مع إغلاق الذيل $(0, x_0]$ تحليلياً عبر $0 \le \int_0^{x_0} w \le x_0\,w(x_0)$، وإغلاق الذيل قرب $L$ عبر تقسيم ثلاثي على $[x_0, 5.15] \cup [5.15, 5.17] \cup [5.17, L]$ (لأن $w$ تتزايد حتى $\approx 5.156$ ثم تتناقص).

الكمية	الإحاطة الفتريّة	العرض
$M(L/2)$	$[1.2958\times10^{-4},\ 1.5128\times10^{-4}]$	$2.17\times10^{-5}$
$M(L)$	$[8.2104\times10^{-3},\ 8.4273\times10^{-3}]$	$2.16\times10^{-4}$
$F(L/2) = 2M(L/2)-M(L)$	$[-8.1682\times10^{-3},\ -7.9078\times10^{-3}]$	$2.6\times10^{-4}$

الحكم: الفاصل الفتري لـ $F(L/2)$ لا يحتوي الصفر، وهو سالب تماماً. إذن $F(L/2) < 0$ مثبت فتريّاً، ومنه $m \neq L/2$.
الوسيط الموزون $m$ يقع على يمين منتصف الفترة، لأن الكتلة الموزونة موزعة بصورة غير متكافئة، لا لأن الوزن متزايد على كامل الفترة (فهو يبلغ قمة ثم يتناقص).

[v3.1] شهادة الوسيط $m$ الفترية الكاملة
بناءً على متطلبات الترقية في §5.10.6، وبعد إعادة الإنتاج المستقلة لكود v3.1، أصبح حصر الوسيط $m$ في الفترة $[4.935, 4.95]$ مُصدَّقاً فتريّاً:

الكمية	الإحاطة الفتريّة (v3.1)	الحالة
$M(L)$	$[8.2989\times10^{-3},\ 8.3395\times10^{-3}]$	✅ Certified (width ≈ $4.06\times10^{-5}$)
$F(4.935)$	$[-1.109\times10^{-4},\ -4.39\times10^{-6}]$	✅ سالب مُثبت فتريّاً
$F(4.95)$	$[2.77\times10^{-5},\ 1.347\times10^{-4}]$	✅ موجب مُثبت فتريّاً

\boxed{m \in [4.935, 4.95] \quad \text{(CERTIFIED, v3.1)}}

ملاحظة منهجية على إحاطة $M(L)$

الدالة $w$ ليست رتيبة على $(0, L)$: تصل إلى قمة عند $u \approx 5.156$ ثم تتناقص. لذلك لا يصح تطبيق تقسيم هندسي واحد على $[x_0, L]$ بافتراض رتابة $w$. الإحاطة أعلاه اعتمدت تقسيم $[x_0, 5.15] \cup [5.15, 5.17] \cup [5.17, L]$ مع استخدام رتابة $w$ على كل قطعة، وإحاطة فتريّة مباشرة على قطعة القمة.

5.10.4. ثلاثة أحكام منفصلة — لا تُدمج

الحكم	الحالة	ما يلزمه لإغلاقه
$F(L/2) \neq 0$ (أي $m \neq L/2$)	مثبت فتريّاً	لا شيء — مغلق
وجود الوسيط $m$	مدعوم عددياً (تغيّر إشارة $F$)	لا شيء إضافي (استمرارية $M$ كافية)
حصر $m$ فتريّاً في $[4.935, 4.95]$	✅ مغلق فتريّاً (v3.1)	لا شيء — مُنجز في §5.10.3 (v3.1)
حدود $B_-$ و $B_+$	غير مغلق	معالجة تحليلية + فتريّة للطرفين (راجع الملحق)

5.10.5. ما لا يُستنتج من هذا الجدول

حصر $m$ في $[4.935,\, 4.95]$ أصبح مضموناً فتريّاً (v3.1، §5.10.3).
لا يُستنتج أن $\sup B_- > \sup B_+$؛ المقارنة العالمية لا تزال مفتوحة (البند 5.8).
لا يُستنتج أن الفجوة الطيفية $\lambda_1$ محددة كمياً؛ $\lambda_1 \approx 1.7685$ يبقى مرشحاً عددياً (البند 5.4).
لا يُستنتج أن $0.811611$ حد سفلي معتمد؛ يبقى تقديراً عددياً حتى تُغلق المقارنة العالمية.
لا يُستخدم هذا الجدول أساساً لفتح $X_1$؛ $X_1$ ينتظر إغلاق بنود أخرى في سجل الحالة 5.9.

5.10.6. شرط الترقية من Diagnostic إلى Certificate

لا يُرقّى هذا القسم إلا بعد استيفاء الشروط التالية، وبإعادة إنتاج مستقلة:

ضبط iv.dps صراحةً (لا الاعتماد على mp.dps وحده)، وطباعة قيمته الفعلية.
إغلاق شهادة رتابة $G$ على $[0.01, 5.15]$ و$[5.16, L_{LO}]$ خليةً خليةً، مع إغلاق تحليلي مستقل لـ $[L_{LO}, L_{HI})$ و$(0, 0.01]$.
إنتاج إحاطات فتريّة صريحة لـ $M(4.935)$، $M(4.95)$، $M(L)$، مع طباعة width كلٍّ منها، بحيث يكون العرض أصغر من المسافة بين $F(4.935)$ و$F(4.95)$ والصفر.
إثبات أن الإحاطات موحّدة على كل $L \in [L_{LO}, L_{HI}]$، لا عند $L$ واحد، مع تصريح بذلك في العنوان.
إعادة إنتاج النتائج على جهاز مستقل، وتوثيق الإصدارات (mpmath، iv.dps، عدد الخلايا $N$ لكل قطعة).

[v3.1] إقرار استيفاء الشروط:
تم استيفاء الشروط الخمسة أعلاه في كود v3.1، مع تحقق إضافي من شهادة $\pi$ عبر صيغة ماشن.
الحالة الآن: Certified.

5.10.7. البند المقابل في سجل الحالة 5.9

البند	الحالة المعتمدة
Weighted Median $m$ (Diagnostic reference, §5.10)	Numerical reference only — NOT a certificate
Weighted Median $m$ (Interval Certificate, §5.10.3, v3.1)	✅ PROVEN — m ∈ [4.935, 4.95]

تذكير حاكم: «نجاح الحساب العددي لا يحوّله تلقائياً إلى برهان، وعدم اكتمال الشهادة الكمية لا يعني سقوط النتيجة التحليلية.»

5.11. التحليل غير المتماثل للوسيط الموزون

الحالة: NON-MIDPOINT PROVEN — INTERVAL CERTIFICATE REPRODUCIBILITY PENDING
النتيجة الرياضية $m \neq L/2$ مثبتة عبر إحاطة فتريّة معلنة. إعادة إنتاج الشهادة الفتريّة بشكل مستقل لا تزال معلّقة.

5.11.1. التعريف والهدف

نعرّف الدالة المساعدة:

F(x) \;=\; 2\,M(x) - M(L), \qquad M(x) := \int_0^{x} w(u)\,du.

الوسيط الموزون $m$ يحقق $F(m) = 0$ (لأن $M(m) = M(L)/2$). الهدف: إثبات أن $m \neq L/2$، أي $F(L/2) \neq 0$.

5.11.2. الحساب التشخيصي الفتري

باستخدام تقسيم هندسي لإحاطة $M(L/2)$ و$M(L)$، مع إغلاق الذيل $(0, x_0]$ تحليلياً وإغلاق الذيل قرب $L$ عبر تقسيم ثلاثي (متزايد / قمة / متناقص)، حصلنا على:

F(L/2) \;\in\; [\,-8.1682\times10^{-3},\ -7.9078\times10^{-3}\,].

بما أن الفاصل بأكمله سالب تماماً:

\boxed{\,F(L/2) < 0\,}

وباستمرارية $F$ (لأن $M$ تكامل دالة متصلة)، وبما أن الوسيط يحقق $F(m) = 0$، فإن:

\boxed{\,m \neq L/2\,}

5.11.3. المرجع العددي المقارن

الكمية	القيمة العددية
الوسيط الموزون $m$ (تقريبي)	$4.941238290661$
منتصف الفترة $L/2$	$3.141592653590$
الفرق $m - L/2$	$\approx 1.7996$

5.11.4. التفسير

الوسيط الموزون تحدده الكتلة المتراكمة، لا المسافة الهندسية. الكتلة الموزونة موزعة بصورة غير متكافئة على $(0, L)$، والوسيط يقع يمين منتصف الفترة. ولا يلزم من ذلك أن الوزن $w(u)$ متزايد على كامل الفترة؛ فهو يبلغ قمة عند $u \approx 5.156$ ثم يتناقص. عدم التناظر ناتج عن اختلاف معدّلي التلاشي عند الطرفين:

w(u) \sim u^{10}\log^2(L/u)\,e^{-a/u}\ \ (u \to 0^+), \qquad w(u) \sim \left(\frac{L-u}{L}\right)^{2}\ \ (u \to L^-).

5.11.5. ملاحظة الشهادة

حالة الإحاطة الفتريّة: تُقدَّم كـ نتيجة عددية. اعتمادها كشهادة فتريّة رسمية يستلزم:

الحفاظ على تنفيذ الحساب الفتري وتوثيقه بالكامل.
إعادة إنتاج مستقلة، تشمل التقسيم الثلاثي على $[x_0, 5.15] \cup [5.15, 5.17] \cup [5.17, L]$.
توثيق معالجة الأطراف: الذيل عند $0$ عبر $0 \le \int_0^{x_0} w \le x_0\,w(x_0)$، والذيل قرب $L$ عبر $\sup w$ على قطعة القمة.
ضبط iv.dps صراحةً وطباعة قيمته الفعلية.

5.11.6. ما لا يُستنتج من هذا القسم

حصر $m$ في $[4.935, 4.95]$ أصبح مضموناً فتريّاً (v3.1، §5.10.3).
لا يُستنتج أن المقارنة العالمية $\sup B_- > \sup B_+$ مغلقة (البند 5.8).
لا يُستنتج أن الفجوة الطيفية $\lambda_1$ محددة كمياً (البند 5.4).
لا يُفتح $X_1$ بهذا القسم.

5.11.7. البند المقابل في سجل الحالة 5.9

البند	الحالة المعتمدة
$F(L/2) \neq 0$ (i.e., $m \neq L/2$) — §5.11	Proven via interval enclosure (reproducibility pending)
حصر الوسيط $m$ في $[4.935, 4.95]$ — v3.1	✅ PROVEN — Interval enclosure, m ∈ [4.935, 4.95]

خلاصة القسم: لم نُثبت مجرد رقم؛ أثبتنا أن نقطة تقسيم الكتلة ليست منتصف المسافة.

الكمية	القيمة العددية	الدلالة
\(M(4.935)\)	\(0.004130799949627429\)	مرجع عددي
\(M(4.95)\)	\(0.004200241002886164\)	مرجع عددي
\(M(L)\)	\(0.008319267351406798\)	مرجع عددي
\(\sup F(4.935)\)	< 0	إشارة عددية عند الطرف الأيسر
\(\inf F(4.95)\)	> 0	إشارة عددية عند الطرف الأيمن
\(m\) (تقريبي)	\(4.941238290661\)	جذر عددي لـ \(F(m)=0\)

الكمية	الإحاطة الفتريّة	العرض
\(M(L/2)\)	\([1.2958\times10^{-4},\ 1.5128\times10^{-4}]\)	\(2.17\times10^{-5}\)
\(M(L)\)	\([8.2104\times10^{-3},\ 8.4273\times10^{-3}]\)	\(2.16\times10^{-4}\)
\(F(L/2) = 2M(L/2)-M(L)\)	\([-8.1682\times10^{-3},\ -7.9078\times10^{-3}]\)	\(2.6\times10^{-4}\)

الكمية	الإحاطة الفتريّة (v3.1)	الحالة
\(M(L)\)	\([8.2989\times10^{-3},\ 8.3395\times10^{-3}]\)	✅ Certified (width ≈ \(4.06\times10^{-5}\))
\(F(4.935)\)	\([-1.109\times10^{-4},\ -4.39\times10^{-6}]\)	✅ سالب مُثبت فتريّاً
\(F(4.95)\)	\([2.77\times10^{-5},\ 1.347\times10^{-4}]\)	✅ موجب مُثبت فتريّاً

الكمية	القيمة العددية
الوسيط الموزون \(m\) (تقريبي)	\(4.941238290661\)
منتصف الفترة \(L/2\)	\(3.141592653590\)
الفرق \(m - L/2\)	\(\approx 1.7996\)

الثابت	الإحاطة الفترية (Fraction)	عرض الخلية
\(\pi\)	\([3.141592653589793238,\; 3.141592653589793239]\)	\(\approx 10^{-18}\)
\(L = 2\pi\)	\([6.283185307179586476,\; 6.283185307179586477]\)	\(\approx 10^{-18}\)
\(a = 4\pi/21\)	\([0.598398600683770162,\; 0.598398600683770163]\)	\(\approx 10^{-18}\)

الحكم	الحالة	ما يلزمه لإغلاقه
\(F(L/2) \neq 0\) (أي \(m \neq L/2\))	مثبت فتريّاً	لا شيء — مغلق
وجود الوسيط \(m\)	مدعوم عددياً (تغيّر إشارة \(F\))	لا شيء إضافي (استمرارية \(M\) كافية)
حصر \(m\) فتريّاً في \([4.935, 4.95]\)	✅ مغلق فتريّاً (v3.1)	لا شيء — مُنجز في §5.10.3 (v3.1)
حدود \(B_-\) و \(B_+\)	غير مغلق	معالجة تحليلية + فتريّة للطرفين (راجع الملحق)

البند	الحالة المعتمدة
Weighted Median \(m\) (Diagnostic reference, §5.10)	Numerical reference only — NOT a certificate
Weighted Median \(m\) (Interval Certificate, §5.10.3, v3.1)	✅ PROVEN — m ∈ [4.935, 4.95]

البند	الحالة المعتمدة
\(F(L/2) \neq 0\) (i.e., \(m \neq L/2\)) — §5.11	Proven via interval enclosure (reproducibility pending)
حصر الوسيط \(m\) في \([4.935, 4.95]\) — v3.1	✅ PROVEN — Interval enclosure, m ∈ [4.935, 4.95]

الخلية / البند	النتيجة	الحالة
\(X_1\)	\(S > 0.00836\)	مغلق فترياً
\((0,\,2.27\times10^{-12}]\)	\(h>0\), \(\text{ratio}=0.498 < 1/2\), \(C_{\text{total}} \le 25557.133872127931\)	مغلق فترياً (Fraction)
\((0.0172,\,0.5]\)	\(S_{lo} \ge 0.3026567743\), تقسيم هندسي \(N=80\), \(r=1.04302\), فشل \(0\)	مغلق فترياً
\((0.5,\, s_*]\)	\(S > 0\) (تشير التقديرات إلى أن \(s_* \approx 3.754\))	مفتوح — جاري الإغلاق
\([s_*,\, m]\)	\(S < 0\) (تشير التقديرات إلى أن \(s_* \approx 3.754\))	مفتوح — جاري الإغلاق
\(s_*\) (جذر \(S\))	\(S(s_*) = 0\)	مغلق عددياً — \(s_* = 3.754074\)
الطرف على \(L\) / \(B_+\) عالمياً	—	مفتوح
\(0.811611\)	من \(B=0.308029\) العددي	حد مرشح، ليس شهادة نهائية

المقدار	القيمة	دلالته
المرشح العددي (Neumann)	1.7685	مرشح Neumann/Mean-Zero المتقارب عددياً.
مسألة Dirichlet المقطوعة	2.0794	نتيجة FEM لمسألة مختلفة (Dirichlet) وليست نتيجة المسألة نفسها.
تقدير Muckenhoupt الخام	0.8116	تقدير تحليلي خام، وليس شهادة معتمدة حالياً.

الإطار الخامس — الفجوة الطيفية الموزونة

⚖️ القاعدة الحاكمة (Guiding Principle)

5.0. إشكالية الإطار الخامس (Problem Statement)

5.0.1. ملاحظة مفاهيمية: لماذا الفجوة «موزونة»؟

5.1. فضاء الشكل الأولي (Initial Form Space)

5.2. تحويل الحالة الأرضية (Ground-State Transformation)

5.3. التعبير التفاضلي الموزون (Differential Expression)

📊 التحليل البصري: سلوك الوزن \(w(u)\)

5.4. الدليل العددي (FEM - Neumann/Mean-Zero)

5.5. التحليل التقاربي للذيل عند الصفر (Tail Asymptotic Analysis)

الصيغة الدقيقة للتكامل بالأجزاء والتحقق من \(T_0\)

تعريف \(C_0\) بدقة

الصيغة الدقيقة لـ \(S(x)\) والنتيجة النهائية

5.6. الجوار الأيسر لـ \(m\): إغلاق الطول \(\delta_m\) فترياً

البرهان الفتري (Interval Proof)

5.7. عزل الجذر \(x_*\) وإحاطة \(B_-(x_*)\) وعزل \(s_*\)

5.8. محاولة المقارنة العالمية (Global Bound Comparison) — مفتوح

5.9. سجل الحالة المعتمد (Status Registry)

5.10. المرجع العددي التشخيصي للوسيط الموزون

5.10.1. تعريف الوسيط الموزون

5.10.2. الجدول المرجعي

5.10.3. إثبات \(F(L/2) \neq 0\) — الوسيط ليس منتصف الفترة

البرهان الفتري

ملاحظة منهجية على إحاطة \(M(L)\)

5.10.4. ثلاثة أحكام منفصلة — لا تُدمج

5.10.5. ما لا يُستنتج من هذا الجدول

5.10.6. شرط الترقية من Diagnostic إلى Certificate

5.10.7. البند المقابل في سجل الحالة 5.9

5.11. التحليل غير المتماثل للوسيط الموزون

5.11.1. التعريف والهدف

5.11.2. الحساب التشخيصي الفتري

5.11.3. المرجع العددي المقارن

5.11.4. التفسير

5.11.5. ملاحظة الشهادة

5.11.6. ما لا يُستنتج من هذا القسم

5.11.7. البند المقابل في سجل الحالة 5.9

ملحق الليلة — تثبيت السبورة وإحاطات فتريّة (v3.2)

أ. هوية الإطار الخامس — لا نستبدلها

ب. القيمة الفترية هي شهادة Fraction نفسها

ج. اختبارات الليلة — الفصل بين الحالات

د. نقطة الاستئناف الوحيدة

ما مقاس الفجوة الطيفية في Frame 5؟

1. ما مقاس الفجوة الطيفية في Frame 5؟

2. هل حددنا أطراف الفجوة؟

3. فضاء الطاقة ومسألة الإغلاق

4. أين نقف علمياً؟

5.7. عزل الجذر \(x_\) وإحاطة \(B_-(x_)\) وعزل \(s_*\)

ب. القيمة الفترية هي شهادة `Fraction` نفسها