الحساب الهرمي
صفحة المعادلات الهرمية

المعادلات الهرمية

تعميم للمعادلات التفاضلية نحو طبقات أعلى (نسبي/لوغاريتمي/تتريشي...) بهدف تبسيط البنية عند “الصعود في الهرم”.

1) التعريف العام

نسمّي معادلة هرمية من المستوى \(n\) كل علاقة تربط الدالة \(f\) ومشتقاتها الهرمية حتى المستوى \(n\). الصيغة العامة:

\[ \mathcal{E}_n\big(x,\; f,\; D_0 f,\; D_1 f,\; \dots,\; D_n f\big)=0 \]

نستخدم ترميزك المعتمد: D0 للتفاضلي D1 للنسبي ويمكن تعريف رتب أعلى مثل D2 وD3 عبر لوغاريتمات متكررة.

\[ D_0 f(x)=\frac{df}{dx}, \qquad D_1 f(x)=\frac{d\ln f(x)}{d\ln x}=\frac{x}{f(x)}\,\frac{df}{dx} \]
\[ D_2 f(x)=\frac{d\ln(\ln f(x))}{d\ln(\ln x)}, \qquad D_3 f(x)=\frac{d\ln^{(3)}(f(x))}{d\ln^{(3)}(x)} \]
الفكرة المحورية
كثير من المعادلات “غير الخطية” في مستوى معيّن تصبح “أبسط بنيويًا” عند الانتقال إلى مستوى أعلى مناسب (Lift)، لأننا نختار لغة اشتقاق تلائم نمط النمو (قدرة/أس/طبقات لوغاريتمية...).
قاعدة عملية: إذا كانت الظاهرة “قدرة” فالمستوى 1 غالبًا مناسب، وإذا كانت “أسّية داخل لوغاريتم” فالمستوى 2 قد يكون أنسب.

2) تصنيف سريع

تفاضلية (مستوى 0)

\[ F\big(x,f,D_0 f,\dots\big)=0 \]
البنية الأساسية: تغير جمعي (additive change).

نسبية (مستوى 1)

\[ F\big(x,f,D_1 f,\dots\big)=0 \]
البنية الأساسية: نسب/تغير ذاتي (self-scaling).

لوغاريتمية (مستوى 2)

\[ F\big(x,f,D_2 f,\dots\big)=0 \]
البنية الأساسية: طبقات لوغاريتمية متكررة.

تتريشية (مستوى 3)

\[ F\big(x,f,D_3 f,\dots\big)=0 \]
البنية الأساسية: طبقات أعلى (نمو فائق الطبقات).
تنبيه: الرتب الأعلى تتطلب شروط مجال أقوى بسبب \(\ln^{(r)}\).

3) شروط المجال (Domain conditions)

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

ملاحظة مهمة: نقاط مثل \(x=1\) تجعل \(\ln x=0\) وبالتالي \(\ln(\ln x)\) غير معرّف. لذلك تُذكر القيود صراحة.
نصيحة أسلوبية: تحت كل مثال ضع سطرًا ثابتًا بعنوان “شروط المجال” — هذا وحده يزيل معظم الاعتراضات.

4) أمثلة معيارية (Forme canonique)

الأمثلة التالية تُظهر كيف نكتب المعادلات في مستويات مختلفة، وكيف نحصل على حلول نمطية شائعة.

مثال A — معادلة مستوى 0 (تفاضلية)

\[ D_0 f(x)=g(x) \quad \Longleftrightarrow \quad \frac{df}{dx}=g(x) \]

الحل بالتكامل:

\[ f(x)=\int g(x)\,dx + C. \]

مثال B — معادلة مستوى 1 (نسبية)

\[ D_1 f(x)=g(x) \quad \Longleftrightarrow \quad \frac{d\ln f}{d\ln x}=g(x) \]

باستخدام \(d\ln x=\frac{dx}{x}\):

\[ d(\ln f)=g(x)\,d(\ln x) \quad\Longrightarrow\quad \ln f(x)=\int \frac{g(x)}{x}\,dx + C \quad\Longrightarrow\quad f(x)=\exp\!\left(\int \frac{g(x)}{x}\,dx + C\right). \]
شروط المجال: \(x>0\) و \(f(x)>0\).

مثال C — معادلة مستوى 2 (لوغاريتمية)

\[ D_2 f(x)=g(x) \quad \Longleftrightarrow \quad \frac{d\ln(\ln f)}{d\ln(\ln x)}=g(x) \]

نكتب: \(\;d\ln(\ln x)=\dfrac{d(\ln x)}{\ln x}=\dfrac{dx}{x\ln x}\) (حيث \(x>1\)). عندها:

\[ d\ln(\ln f)=g(x)\,d\ln(\ln x) \quad\Longrightarrow\quad \ln(\ln f)=\int g(x)\,d\ln(\ln x) + C. \]
شروط المجال: غالبًا \(x>1\) و \(f(x)>1\).

مثال D — حل نمطي مهم: ثابت في D1 يعطي قانون قدرة

\[ D_1 f(x)=k \quad\Longrightarrow\quad f(x)=C\,x^{k}. \]

مثال E — حل نمطي مهم: ثابت في D2 يعطي حلًا أُسّيًا من \((\ln x)^A\)

\[ D_2 f(x)=A \quad\Longrightarrow\quad f(x)=\exp\!\big(C\,(\ln x)^A\big),\quad x>1. \]
لماذا هذه النماذج مهمة؟ لأنها “قوالب” تُستعمل كثيرًا في صفحات الحلول والأمثلة، وتُظهر الفرق بين مستويات النمو بوضوح.

5) مبدأ الصعود الهرمي (Hierarchical Lifting)

جوهر الحساب الهرمي في حل المعادلات هو: اختيار تمثيل مناسب للتغير. أحيانًا معادلة تبدو شديدة التعقيد في \(f\) تصبح أبسط إذا عرّفنا: \(u=\ln f\) (صعود إلى مستوى 1) أو \(v=\ln(\ln f)\) (صعود إلى مستوى 2).

\[ \mathcal{E}_k\big(x,f,D_0 f,\dots,D_k f\big)=0 \quad \xrightarrow{\;\text{Lift}\;} \widetilde{\mathcal{E}}_{k+1}\big(x,\,\ln^{(k+1)}f,\, D_{k+1}f\big)=0 \]

قالب عملي للحلول

تنبيه: الصعود ليس “حيلة شكلية” فقط؛ هو اختيار لغة اشتقاق تتوافق مع فيزياء/بنية النمو.

6) أسئلة سريعة (لإزالة اللبس)

هل المعادلة الهرمية تُلغي المعادلة التفاضلية؟

لا. المستوى 0 (D0) جزء من البنية الهرمية، والهدف هو إضافة مستويات تمثيل وليس استبدال القديم.

متى أستخدم D1 بدل D0؟

عندما يكون “التغير النسبي” أو “قانون القدرة” هو النموذج الطبيعي: مثل \(y=Cx^k\).

لماذا شروط المجال مهمة جدًا؟

لأن D1 وD2 يعتمدون على \(\ln\) و\(\ln\ln\). أي نسيان لهذه الشروط يولد تناقضات مباشرة.

7) الاستشهاد العلمي (Citation)

للاستشهاد بمرجع الموقع/النظرية استخدم DOI: 10.5281/zenodo.17917302

@software{gossa_hierarchical_calculus_2025,
  author = {Gossa Ahmed},
  title  = {Hierarchical Calculus},
  year   = {2025},
  doi    = {10.5281/zenodo.17917302},
  url    = {https://github.com/GOSSAAHMED/gossa-math}
}
ml>