كيف تتفاعل البنية التذبذبية مع عامل التخميد في دالة تجمع اللوغاريتم والجيب والأسّ، وما السلوك التراكمي الذي ينتج عن هذا التفاعل؟
تعريف \(Z(x;21)=x^{-5}\ln x\sin(2\pi/x)e^{-x/21}\)، وتحليل إشارتها وجذورها (\(x=1\)، \(x=2\))، ودراسة تكاملها التراكمي \(A(x)\) (الذي يبلغ حده الأدنى عند \(x=2\)). اشتقاق الغلاف التقاربي للدالة الحقيقية \(Z(x) \sim \frac{2\pi\ln x}{x^6}e^{-x/21}\).
برهان تحليلي لإشارة \(Z\) وجذورها، وبرهان تحليلي لـ\(A_\infty<0\)، مع تحقق عددي منفصل (الملحق D) لفحص تنفيذ الصيغ والاتساق العددي.
استخدم شريط التمرير أدناه لتغيير قيمة القطع \(x_p\). تم توسيع نطاق الرسم البياني إلى \(x=50\).
من أجل \(x_p>0\)، تحقق الدالة الحقيقية الشروط التالية:
من أجل \(x>1\)، تكون العوامل \(x^{-5}\) و\(\ln(x)\) و\(e^{-x/x_p}\) موجبة تماماً. لذا تتحدد الإشارة بواسطة \(\sin(2\pi/x)\). إذا كان \(1 < x < 2\)، فإن \(\pi < 2\pi/x < 2\pi\)، وبالتالي تكون دالة الجيب سالبة تماماً. وإذا كان \(x > 2\)، فإن \(0 < 2\pi/x < \pi\)، وبالتالي تكون دالة الجيب موجبة. عند \(x=1\) ينعدم \(\ln x\)، وعند \(x=2\) ينعدم \(\sin(2\pi/x)\)، فهما الجذران الوحيدان في \([1,\infty)\).
نعرّف دالة التجميع: \(A(x) := \int_1^x Z(t;21)\,dt\).
بما أن \(Z(x)\) سالبة على \((1, 2)\) وموجبة على \((2, \infty)\)، فإن \(A(x)\) تتناقص، وتصل إلى قيمة صغرى مطلقة عند \(x=2\)، ثم تتزايد.
نضع \(\varphi(u) := \log W(\pi+u) - \log W(\pi-u)\). بعد الاشتقاق واستخدام \(B = A/(A-1)\)، نصل إلى:
باستخدام متباينة \(\ln A \ge \frac{2(A-1)}{A+1}\) ومتباينة \(\ln B > \ln 2\) على \((1,2)\)، نثبت أن:
بما أن \(E(A)>0\)، فإن \(\varphi'(u)>0\). مع \(\varphi(0)=0\)، نحصل على \(W(2\pi-t) > W(t)\)، وبالتالي \(A_\infty < 0\).
للامتداد المركب على الخط الحرج \(s=1/2+it\)، الغلاف التقاربي هو:
لكل \(t \ge 2\)، المتباينة \(|\sin(2\pi/t)| \le 2\pi/t\) صحيحة. بما أن \(\ln t > 0\)، فإن:
وبالتالي، لكل \(X \ge 2\):
عند \(X=100\)، هذا الحد التحليلي الصارم أقل من \(5.2 \times 10^{-12}\). بينما القيمة العددية \(A(100) \approx -0.0246463895708\).
البرهان التحليلي في §3 هو الأساس، بينما التحقق العددي يؤكد الاتساق.
الكون لا يعرف ما هو "المتر" أو "الكيلوجرام". لكي نربط الرياضيات بالفيزياء، نستخدم عوامل قياس (Scaling Factors) مشتقة من ثوابت أساسية، مثل طول بلانك \(\ell_P = \sqrt{\hbar G / c^3}\). هذا الجسر هو عملية تحويل أبعاد (dimensional scaling)، وليس اشتقاقًا لنموذج فيزيائي جديد.
| الرمز | ما هو؟ | أبعاده |
|---|---|---|
| \(x\) | متغير مستقل في \(Z(x)\)، \(x \ge 1\) (إحداثي) | بلا أبعاد |
| \(Z(x)\) | قيمة الدالة عند \(x\); قابلة للإشارة | بلا أبعاد |
| \(\Lambda_{\text{scale}}\) | عامل تحويل وحدات (طول بلانك أو ما يعادله) | وحدة فيزيائية |
نثبت الهوية الهندسية الدقيقة للزاوية \(22.5^\circ\) باستخدام صيغة نصف الزاوية:
هذه الهوية صحيحة رياضياً بغض النظر عن أي تطبيق فيزيائي.
في محاولة لربط الهوية الهندسية بالواقع، تم قياس 5 أشجار مانجو. تُعرَّف \(H\) بأنها ارتفاع الشجرة، و\(h\) بأنه ارتفاع بداية التاج عن مستوى القياس، و\(C=H-h\) بأنه الارتفاع الرأسي للتاج. ومن ثم \(R=C/H\). لا تمثل \(C\) طول الظل، ولا تُفسَّر النسبة بوصفها علاقة بالظل.
| الشجرة | \(H\) (م) | \(h\) (م) | \(C=H-h\) (م) | \(R=C/H\) | الفرق عن \(\sqrt{2}-1\) |
|---|---|---|---|---|---|
| 1 | 7.80 | 4.50 | 3.30 | 0.42308 | +0.00887 |
| 2 | 8.50 | 5.00 | 3.50 | 0.41176 | -0.00245 |
| 3 | 7.20 | 4.20 | 3.00 | 0.41667 | +0.00245 |
| 4 | 9.00 | 5.40 | 3.60 | 0.40000 | -0.01421 |
| 5 | 7.50 | 4.40 | 3.10 | 0.41333 | -0.00088 |
| المتوسط \(R\): | 0.41297 | ||||
نعرّف الغلاف \(g(u) = (u/2\pi)^5 \ln(2\pi/u) e^{-2\pi/(21u)}\)، والمؤثر \(\mathcal{H}_g\).
نعرّف عناصر المصفوفة \(\mathcal{A}_{mn} = \int \Psi_m D \Psi_n \, du\)، حيث \(\Psi_n\) هي الحالات المطبعة، و \(D(u) = \cos(u/2)\) هو مؤثر الانتقال.
الهوية التحليلية: أثبتنا أن \(\mathcal{A}_{12} = \frac{1}{2}\sqrt{N_2/N_1}\). هذه الهوية تربط \(\mathcal{A}_{12}\) مباشرة بالتطبيع، وتُظهر أنه ليس رقماً مستقلاً.
بسبب غياب التماثل في الغلاف \(g\)، لا ينعدم \(\mathcal{A}_{13}\) كما كان متوقعاً في الحالة المتماثلة. الحساب العددي يعطي:
يثبت الجدول التالي حساسية النسبة \(R_{13/12}\) لتغير الأس \(a\) مع تثبيت \(x_p=21\)، ومؤثر الانتقال \(D(u)=\cos(u/2)\)، وشروط التطبيع.
| \(a\) | \(R_{13/12}\) | التغير عن المرجع |
|---|---|---|
| 4.5 | 0.5268896810 | −12.69% |
| 4.9 | 0.5890815847 | −2.39% |
| 5.0 | 0.6035155248 | المرجع |
| 5.1 | 0.6174956097 | +2.32% |
| 5.5 | 0.6689137286 | +10.82% |
نعرّف مؤثر شرودنغر \(L = -\partial_u^2 + V_{\text{eff}}(u)\)، حيث \(V_{\text{eff}}(u) = g''(u)/g(u)\).
لفحص المجال، ندرس سلوك الجهد \(V_{\text{eff}}\) عند الأطراف.
| البند | 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^+\) | LP (مذكور) | LP (ببرهان الاختزال) | ✓ مثبت |
| \(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_N\) Neumann | لم يُدرس | مفتوح | ○ مفتوح |
| \(L_N \geq 0\) | لم يُدرس | مفتوح | ○ مفتوح |
| \(g \in \mathcal{D}(L_N)\) | لم يُدرس | مفتوح | ○ مفتوح |
| \(0 \in \sigma_p(L_N)\) | لم يُدرس | مفتوح | ○ مفتوح |
| حساب \(\lambda_0\) عددياً | "مغلق عددياً" | لم يُحسب | ○ مفتوح |
| سلوك \(\lambda_n\) | لم يُدرس | مفتوح | ○ مفتوح |
| الصلة بزيتا | "مغلق رياضياً" | لم تُبحث | ○ مفتوح |
| "الإغلاق الرياضي" | مُعلَن صراحةً | مرفوض | ✗ مصحح |
معظم النتائج المثبتة في هذا المسار — تصحيح الجذر، تصنيف الطرف، إثبات الفجوة \(\lambda_0 > 0\)، تحديد الفرق بين \(L_F\) و\(L_N\) — هي نتائج تحديد موقع خط حرج يفصل بين سلوكين رياضيًا متمايزين.
| \(N\) | \(h\) | الباقي \(||g' - p*g||\) | الخطأ النسبي |
|---|---|---|---|
| 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}\) |
الباقي يتناقص بمعدل \(O(h^2)\)، كما هو متوقع من مشتقة مركزية من الدرجة الثانية.
يوثّق هذا الملحق الفرق بين ما أعلنته النسخة v7.6 ("المسألة الطيفية مغلقة عددياً ورياضياً") وما ثبت فعلياً بعد المسار التصحيحي. الغرض تثبيت الحدود المعرفية للمرحلة الحالية، ومنع أي التباس في القراءة المستقبلية. الحالة العامة للإطار الرابع تبقى "مفتوحة"؛ هذا الملحق لا يغيّرها.
| البند | الحالة في 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 | مرفوض: تجاوز ما تسمح به البراهين | ✗ مصحح |
(أ) ما أضافه المسار التصحيحي:
(ب) ما رفضه المسار التصحيحي:
(ج) ما تركه المسار التصحيحي مفتوحاً:
معظم النتائج المثبتة في هذا المسار — تصحيح الجذر، تصنيف الطرف، إثبات الفجوة \(\lambda_0 > 0\)، تحديد الفرق بين \(L_F\) و\(L_N\) — هي نتائج تحديد موقع خط حرج يفصل بين سلوكين رياضيًا متمايزين. هذا ليس مصادفة: بنية النموذج (دالة \(g\) ذات قمة واحدة وتلاشٍ عند طرفين، مؤثر بتفرد قوي عند \(0^+\) وانتظام عند \(u_0\)) تجعل الخط الحرج هو الموضوع، لا مجرد أداة.
حالة مشروع الهندرة: تقدم رياضي موثق في Frame 1، ونتائج Frame 4 محدودة بـ \(L_F\) فقط، مع فتح \(L_N\) والصلة بزيتا.
| المكون | الحكم العلمي |
|---|---|
| الإطار الأول | مثبت داخل تعريفات frame1.html v7.2 — مسح شامل مغلق. البراهين الثلاثة مطابقة وصحيحة، Audit D PASS. |
| الإطار الثاني | استكشافي — العينة المحدودة لا تثبت قانوناً عاماً. |
| الإطار الثالث | الهوية الجبرية مثبتة والنتائج العددية موثقة، ضمن الفرضيات المحددة. |
| الإطار الرابع | مفتوح — نتائج \(L_F\) مثبتة، لكن "الإغلاق الرياضي" مرفوض. \(L_N\) مفتوح. زيتا لم تُبحث. |
| الجسر | مغلق (v2.2) — أداة تحويل أبعادي (dimensional scaling)، لا مصدر تنبؤ. |