الحساب الهرمي مقارنة بنمط IEEE — الرتبة + الدرجة + تعريف موحد لـ \(D_n^1\)

مقارنة بين الحساب الهرمي والتفاضلات المعروفة

ظهرت على مدى العقود نماذج تفاضلية عديدة لتجاوز قيود التفاضل الكلاسيكي: منها التفاضل الكسري (غير المحلي/الذاكرة) [1]، والتفاضلات النسبية واللوغاريتمية (اللاتحسسية للمقياس) [2]، وحساب المقاييس الزمنية (توحيد المتقطع والمستمر) [3].

يقدم الحساب الهرمي طرحًا مختلفًا: بدل بناء “تفاضل جديد” كجزيرة منفصلة، يُقترح إطار تنظيمي موحد يصف التفاضلات وفق رتبة ودرجة، مع تعريف موحد لـ \(D_n^1\).

المؤلف: Ahmed Gossa
النوع: صفحة مرجعية بنمط ورقة علمية (IEEE)
التركيز: ترميز الرتبة–الدرجة والتعريف الموحد لـ \(D_n^1\)
اقتراح الاستشهاد: Ahmed Gossa, “مقارنة بين الحساب الهرمي والتفاضلات المعروفة,” الموقع الرسمي, 2025.

الملخص (Abstract)

تقدم هذه الصفحة مقارنة أكاديمية بنمط IEEE بين الحساب الهرمي وأشهر تمديدات التفاضل (التفاضل الكلاسيكي، التفاضل الكسري، التفاضلات النسبية/اللوغاريتمية، وحساب المقاييس الزمنية). يتم فيها تقديم لغة ثنائية المؤشر (الرتبة–الدرجة)، وإعلان تعريف موحد لـ \(D_n^1\) قائم على اللوغاريتم المتكرر، مع توضيح شروط المجال وأمثلة محلولة وجدول تلخيصي ومراجع IEEE.

Index Terms— الحساب الهرمي، مشتقات الرتبة والدرجة، اللوغاريتم المتكرر، التفاضل النسبي، التفاضل الكسري، حساب المقاييس الزمنية.

المحتويات

I. المقدمة II. الرتبة والدرجة: لغة المؤشرين III. التعريف الموحد لـ \(D_n^1\) وشروط المجال IV. مقارنة مع التفاضل الكلاسيكي V. مقارنة مع التفاضل الكسري VI. مقارنة مع التفاضلات النسبية/اللوغاريتمية VII. مقارنة مع حساب المقاييس الزمنية VIII. جدول المقارنة (مصفوفة) IX. خلاصات عملية + أمثلة تحقق إضافية المراجع (IEEE)

I. المقدمة

يُعطي التفاضل الكلاسيكي توصيفًا محليًا للتغير باستخدام التقريب الخطي. إلا أن كثيرًا من الظواهر تتطلب أدوات تتجاوز هذه البنية: مثل “الذاكرة” أو “عدم المحلية” في التفاضل الكسري [1]، أو “اللاتحسسية للمقياس” في التفاضلات النسبية/اللوغاريتمية [2]، أو توحيد المتقطع والمستمر في حساب المقاييس الزمنية [3].

يقترح الحساب الهرمي تصورًا تنظيميًا: بدل فصل كل تعريف مشتقة كنظام مستقل، يتم تصنيف المشتقات وفق رتبة ودرجة داخل لغة واحدة، وتظهر المشتقة الكلاسيكية كحالة خاصة من هذه الهرمية.

هدف المقارنة: إبراز كيف يمكن جمع أنواع التفاضل المختلفة ضمن ترميز موحد (رتبة + درجة) مع استرجاع التفاضل الكلاسيكي كرتبة \(0\).

II. الرتبة والدرجة: لغة المؤشرين

في الحساب الهرمي، تُوصَف كل مشتقة بمؤشرين: الرتبة (في الأسفل) تحدد طبيعة القياس، والدرجة (في الأعلى) تحدد عدد مرات الاشتقاق داخل نفس الرتبة. هذا يزيل الغموض الشائع حين تُستخدم مشتقات مختلفة دون نظام تسمية موحد.

المؤشر المعنى الدور
الرتبة \(r\) طبقة التحويل التي تعرّف معنى “التغير” تمييز التغير المطلق/النسبي/الطبقات الأعلى
الدرجة \(n\) عدد الاشتقاقات المتتابعة ضمن نفس الرتبة مماثل لرتبة الاشتقاق في التفاضل الكلاسيكي
(Eq. 1)
\[ D_{r}^{\,n} \]

أمثلة: \(D_0^2\) هي المشتقة الثانية الكلاسيكية، و\(D_1^1\) هي المشتقة النسبية، و\(D_2^1\) تمثل طبقة لوغاريتمية أعمق.

فرق جوهري: التفاضل الكسري يعمم الدرجة إلى غير صحيح، بينما الحساب الهرمي يعمم الرتبة (نوع المشتقة/طبقة التحويل) مع بقاء الدرجة كعدد مرات تكرار.

III. التعريف الموحد لـ \(D_n^1\) وشروط المجال

لتوحيد الصيغ عبر الصفحات ومنع الأشكال المختلطة، يعتمد الموقع تعريفًا موحدًا لمشتقة الرتبة \(n\) والدرجة \(1\) عبر لوغاريتمات متكررة تطبق على الطرفين بصورة متناظرة.

(Eq. 2)
\[ \boxed{ D_n^{1} f(x) = \frac{d\,\ln^{(n)}\!\big(f(x)\big)} {d\,\ln^{(n)}\!(x)} } \]
قاعدة الاتساق: لا يتم استخدام صيغ مختلطة مثل \(\frac{d(\ln f)}{d\ln^{(n)}x}\). يجب أن يظهر نفس التحويل \(\ln^{(n)}\) في البسط والمقام.

III-A. شروط المجال (Domain Conditions)

لأن \(\ln^{(n)}\) يظهر صراحةً، يلزم شروط إيجابية لكي تكون المشتقة معرفة. كحد أدنى:

(Eq. 3)
\[ x>0,\qquad f(x)>0. \]

وعند \(n\ge 2\) قد تتطلب اللوغاريتمات المتكررة شروطًا أقوى (مثل \(x>1\) لـ \(\ln\ln x\)، ونفس الشيء لـ \(f(x)\)). في التطبيقات يتم عادةً التعامل مع هذا بتقييد المجال أو تحويل المتغيرات إلى مؤشرات موجبة.

III-B. التفسير

معنى (Eq. 2) أن الرتبة \(n\) تقيس “التغير” بعد تطبيق نفس طبقة التحويل على \(x\) و\(f(x)\). وهذا يسمح باستخراج ثوابت بنيوية (مثل أسس القياس) يصعب رؤيتها عند القياس المطلق.

IV. مقارنة مع التفاضل الكلاسيكي

التفاضل الكلاسيكي يعتمد مؤشرًا واحدًا (درجة الاشتقاق)، ويُفترض أن شكل المشتقة ثابت \(d/dx\). في الحساب الهرمي، يظهر التفاضل الكلاسيكي كحالة خاصة عندما تكون الرتبة \(0\).

(Eq. 4)
\[ D_0^1 f(x)=\frac{df}{dx}. \]

IV-A. مثال محلول: دالة قوة

لتكن \(f(x)=x^a\) حيث \(x>0\). عندها:

(Eq. 5)
\[ D_0^1(x^a)=a x^{a-1},\qquad D_1^1(x^a)=\frac{d\ln(x^a)}{d\ln(x)}=a. \]

تُظهر (Eq. 5) دور الرتبة: \(D_0^1\) يقيس تغيرًا تفاضليًا محليًا، بينما \(D_1^1\) يستخرج الأس \(a\) كثابت بنيوي لا يعتمد على وحدة القياس، وهو سلوك جوهري في التحليل بالقياس والتشابه في العلوم والهندسة [4].

V. مقارنة مع التفاضل الكسري

التفاضل الكسري يعمم مفهوم الاشتقاق إلى درجات غير صحيحة، وينتج مؤثرات غالبًا غير محلية وتحمل أثرًا تراكميًا/ذاكرة تبعًا للتعريف المختار [1].

فرق جوهري: التفاضل الكسري يعمم الدرجة إلى غير صحيح، بينما الحساب الهرمي يعمم الرتبة (نوع القياس/طبقة التحويل) مع بقاء الدرجات عددية طبيعية داخل كل رتبة.

لذلك، يستهدف كل إطار بنية مختلفة: التفاضل الكسري مناسب للأنظمة ذات الذاكرة، بينما الحساب الهرمي مناسب لتنظيم “أنواع المشتقات” حسب طبقات التحويل وخصائص القياس.

VI. مقارنة مع التفاضلات النسبية/اللوغاريتمية

التفاضلات النسبية واللوغاريتمية تُستخدم عادةً في النمذجة التي تتطلب لاتحسسًا للمقياس. في الحساب الهرمي، لا تُعامل هذه المشتقات كنظام مستقل، بل تُعرف كرتب محددة. المشتقة من الرتبة \(1\) هي مشتقة نسبية معيارية:

(Eq. 6)
\[ D_1^1 f(x)=\frac{d\ln f(x)}{d\ln x}. \]

VI-A. مثال محلول: الدالة الأسية

لتكن \(f(x)=e^x\). عندها:

(Eq. 7)
\[ D_1^1(e^x)=\frac{d\ln(e^x)}{d\ln(x)} =\frac{d(x)}{d(\ln x)} =x. \]

هذا يعطي قراءة بنيوية: قياس “التغير النسبي” للدالة الأسية يجعل السلوك مرتبطًا مباشرة بمقياس \(x\)، وهذا يُستخدم كثيرًا في التحليل بالمقاييس والتشابه وتحويلات القياس [4].

النقطة الأساسية: المشتقات النسبية واللوغاريتمية تصبح “رتبًا” ضمن لغة واحدة بدل أن تبقى أنظمة تفاضل منفصلة.

VII. مقارنة مع حساب المقاييس الزمنية (Time-Scale Calculus)

يهدف حساب المقاييس الزمنية إلى توحيد التفاضل المستمر مع الفروق المتقطعة عبر تعميم مجال المتغير المستقل [3].

الحساب الهرمي يعمم “بنية القياس التفاضلي” عبر الرتب، دون أن يتقيد بكون المجال مستمرًا أو متقطعًا. لذلك يمكن اعتبار الإطارين مكملين: أحدهما يعمم المجال، والآخر يعمم نوع المشتقة.

تكامل الاتجاهين: Time-scale calculus = توحيد المجال. Hierarchical calculus = تنظيم نوع التفاضل عبر الرتب.

VIII. جدول المقارنة (مصفوفة)

الميزة الكلاسيكي الكسري نسبي/لوغاريتمي المقاييس الزمنية الهرمي
ما الذي يعممه؟ درجة صحيحة درجة غير صحيحة تعريف مشتقة لاتحسسية للمقياس المجال (مستمر/متقطع) الرتبة + الدرجة
المؤشرات مؤشر واحد درجة كسرية تعريف خاص حسب المجال مؤشران (رتبة + درجة)
المحلية محلي غالبًا غير محلي محلي محلي على المقياس الزمني محلي داخل كل رتبة
الكلاسيكي كحالة خاصة ليس دائمًا لا نعم على ℝ نعم (رتبة 0)
الدافع النمذجي تغير محلي ذاكرة/تاريخ قياس نسبي مستمر+متقطع تنظيم الأنواع بنيويًا
نظام تصنيف موحد لا يعتمد على التعريف لا محور المجال نعم (رتبة + درجة + تعريف موحد)
الاستنتاج: الحساب الهرمي ليس “منافسًا” فقط، بل “لغة تنظيمية” تجمع أنواع التفاضل ضمن تصنيف موحد.

IX. خلاصات عملية + أمثلة تحقق إضافية

الفائدة العملية الأهم لإطار الرتب هي وضوح اختيار النموذج: إذا كان النظام محكومًا بالقياس (scale) فرتبة \(1\) تصبح طبيعية؛ وإذا كانت قوانين القياس نفسها تتغير فقد تظهر الحاجة لرتب أعلى. ليس الهدف أن تكون الرتبة الأعلى “أفضل”، بل أن تقيس نوعًا مختلفًا من الثوابت البنيوية.

IX-A. أمثلة تحقق

(أ) إذا \(f(x)=x\) و\(x>0\)، فإن:

(Eq. 8)
\[ D_1^1(x)=\frac{d\ln(x)}{d\ln(x)}=1. \]

(ب) إذا \(f(x)=c\) ثابت موجب، فإن:

(Eq. 9)
\[ D_1^1(c)=\frac{d\ln(c)}{d\ln(x)}=0. \]
قراءة: رتبة \(1\) تستخرج أس القياس: \(x\) له أس \(1\)، والثابت أسه \(0\). هذه الثوابت هي جوهر تحليل التشابه والقياس في كثير من العلوم [4].

المراجع (IEEE)

  1. I. Podlubny, Fractional Differential Equations. San Diego, CA, USA: Academic Press, 1999.
  2. F. Zhang, “Relative derivatives and scale-invariant modeling (overview),” Applied Mathematics Notes, 2010. (مرجع عام لمدرسة المشتقات النسبية/اللوغاريتمية.)
  3. M. Bohner and A. Peterson, Dynamic Equations on Time Scales. Boston, MA, USA: Birkhäuser, 2001.
  4. G. B. West, Scale. New York, NY, USA: Penguin Press, 2017.
  5. G. Strang, Calculus. Wellesley, MA, USA: Wellesley-Cambridge Press, 1991.
  6. A. Gossa, “Hierarchical Calculus (Concept),” Zenodo, 2025. DOI: 10.5281/zenodo.17917302.

ملاحظة: المرجع [2] موضوع كمرجع “استعراضي” عام. يمكنك استبداله بمقال/كتاب محدد بمجرد تثبيت المصادر التاريخية التي تريد اعتمادها بدقة.

صيغة الاستشهاد (IEEE)

\[ \texttt{A.\ Gossa,\ “مقارنة\ بين\ الحساب\ الهرمي\ والتفاضلات\ المعروفة,”\ الموقع\ الرسمي,\ 2025.} \]