ظهرت على مدى العقود نماذج تفاضلية عديدة لتجاوز قيود التفاضل الكلاسيكي:
منها التفاضل الكسري (غير المحلي/الذاكرة) [1]،
والتفاضلات النسبية واللوغاريتمية (اللاتحسسية للمقياس) [2]،
وحساب المقاييس الزمنية (توحيد المتقطع والمستمر) [3].
يقدم الحساب الهرمي طرحًا مختلفًا: بدل بناء “تفاضل جديد” كجزيرة منفصلة،
يُقترح إطار تنظيمي موحد يصف التفاضلات وفق رتبة ودرجة، مع تعريف موحد لـ \(D_n^1\).
تقدم هذه الصفحة مقارنة أكاديمية بنمط IEEE بين الحساب الهرمي وأشهر تمديدات التفاضل (التفاضل الكلاسيكي، التفاضل الكسري، التفاضلات النسبية/اللوغاريتمية، وحساب المقاييس الزمنية). يتم فيها تقديم لغة ثنائية المؤشر (الرتبة–الدرجة)، وإعلان تعريف موحد لـ \(D_n^1\) قائم على اللوغاريتم المتكرر، مع توضيح شروط المجال وأمثلة محلولة وجدول تلخيصي ومراجع IEEE.
Index Terms— الحساب الهرمي، مشتقات الرتبة والدرجة، اللوغاريتم المتكرر، التفاضل النسبي، التفاضل الكسري، حساب المقاييس الزمنية.
يُعطي التفاضل الكلاسيكي توصيفًا محليًا للتغير باستخدام التقريب الخطي. إلا أن كثيرًا من الظواهر تتطلب أدوات تتجاوز هذه البنية: مثل “الذاكرة” أو “عدم المحلية” في التفاضل الكسري [1]، أو “اللاتحسسية للمقياس” في التفاضلات النسبية/اللوغاريتمية [2]، أو توحيد المتقطع والمستمر في حساب المقاييس الزمنية [3].
يقترح الحساب الهرمي تصورًا تنظيميًا: بدل فصل كل تعريف مشتقة كنظام مستقل، يتم تصنيف المشتقات وفق رتبة ودرجة داخل لغة واحدة، وتظهر المشتقة الكلاسيكية كحالة خاصة من هذه الهرمية.
في الحساب الهرمي، تُوصَف كل مشتقة بمؤشرين: الرتبة (في الأسفل) تحدد طبيعة القياس، والدرجة (في الأعلى) تحدد عدد مرات الاشتقاق داخل نفس الرتبة. هذا يزيل الغموض الشائع حين تُستخدم مشتقات مختلفة دون نظام تسمية موحد.
| المؤشر | المعنى | الدور |
|---|---|---|
| الرتبة \(r\) | طبقة التحويل التي تعرّف معنى “التغير” | تمييز التغير المطلق/النسبي/الطبقات الأعلى |
| الدرجة \(n\) | عدد الاشتقاقات المتتابعة ضمن نفس الرتبة | مماثل لرتبة الاشتقاق في التفاضل الكلاسيكي |
أمثلة: \(D_0^2\) هي المشتقة الثانية الكلاسيكية، و\(D_1^1\) هي المشتقة النسبية، و\(D_2^1\) تمثل طبقة لوغاريتمية أعمق.
لتوحيد الصيغ عبر الصفحات ومنع الأشكال المختلطة، يعتمد الموقع تعريفًا موحدًا لمشتقة الرتبة \(n\) والدرجة \(1\) عبر لوغاريتمات متكررة تطبق على الطرفين بصورة متناظرة.
لأن \(\ln^{(n)}\) يظهر صراحةً، يلزم شروط إيجابية لكي تكون المشتقة معرفة. كحد أدنى:
وعند \(n\ge 2\) قد تتطلب اللوغاريتمات المتكررة شروطًا أقوى (مثل \(x>1\) لـ \(\ln\ln x\)، ونفس الشيء لـ \(f(x)\)). في التطبيقات يتم عادةً التعامل مع هذا بتقييد المجال أو تحويل المتغيرات إلى مؤشرات موجبة.
معنى (Eq. 2) أن الرتبة \(n\) تقيس “التغير” بعد تطبيق نفس طبقة التحويل على \(x\) و\(f(x)\). وهذا يسمح باستخراج ثوابت بنيوية (مثل أسس القياس) يصعب رؤيتها عند القياس المطلق.
التفاضل الكلاسيكي يعتمد مؤشرًا واحدًا (درجة الاشتقاق)، ويُفترض أن شكل المشتقة ثابت \(d/dx\). في الحساب الهرمي، يظهر التفاضل الكلاسيكي كحالة خاصة عندما تكون الرتبة \(0\).
لتكن \(f(x)=x^a\) حيث \(x>0\). عندها:
تُظهر (Eq. 5) دور الرتبة: \(D_0^1\) يقيس تغيرًا تفاضليًا محليًا، بينما \(D_1^1\) يستخرج الأس \(a\) كثابت بنيوي لا يعتمد على وحدة القياس، وهو سلوك جوهري في التحليل بالقياس والتشابه في العلوم والهندسة [4].
التفاضل الكسري يعمم مفهوم الاشتقاق إلى درجات غير صحيحة، وينتج مؤثرات غالبًا غير محلية وتحمل أثرًا تراكميًا/ذاكرة تبعًا للتعريف المختار [1].
لذلك، يستهدف كل إطار بنية مختلفة: التفاضل الكسري مناسب للأنظمة ذات الذاكرة، بينما الحساب الهرمي مناسب لتنظيم “أنواع المشتقات” حسب طبقات التحويل وخصائص القياس.
التفاضلات النسبية واللوغاريتمية تُستخدم عادةً في النمذجة التي تتطلب لاتحسسًا للمقياس. في الحساب الهرمي، لا تُعامل هذه المشتقات كنظام مستقل، بل تُعرف كرتب محددة. المشتقة من الرتبة \(1\) هي مشتقة نسبية معيارية:
لتكن \(f(x)=e^x\). عندها:
هذا يعطي قراءة بنيوية: قياس “التغير النسبي” للدالة الأسية يجعل السلوك مرتبطًا مباشرة بمقياس \(x\)، وهذا يُستخدم كثيرًا في التحليل بالمقاييس والتشابه وتحويلات القياس [4].
يهدف حساب المقاييس الزمنية إلى توحيد التفاضل المستمر مع الفروق المتقطعة عبر تعميم مجال المتغير المستقل [3].
الحساب الهرمي يعمم “بنية القياس التفاضلي” عبر الرتب، دون أن يتقيد بكون المجال مستمرًا أو متقطعًا. لذلك يمكن اعتبار الإطارين مكملين: أحدهما يعمم المجال، والآخر يعمم نوع المشتقة.
| الميزة | الكلاسيكي | الكسري | نسبي/لوغاريتمي | المقاييس الزمنية | الهرمي |
|---|---|---|---|---|---|
| ما الذي يعممه؟ | درجة صحيحة | درجة غير صحيحة | تعريف مشتقة لاتحسسية للمقياس | المجال (مستمر/متقطع) | الرتبة + الدرجة |
| المؤشرات | مؤشر واحد | درجة كسرية | تعريف خاص | حسب المجال | مؤشران (رتبة + درجة) |
| المحلية | محلي | غالبًا غير محلي | محلي | محلي على المقياس الزمني | محلي داخل كل رتبة |
| الكلاسيكي كحالة خاصة | — | ليس دائمًا | لا | نعم على ℝ | نعم (رتبة 0) |
| الدافع النمذجي | تغير محلي | ذاكرة/تاريخ | قياس نسبي | مستمر+متقطع | تنظيم الأنواع بنيويًا |
| نظام تصنيف موحد | لا | يعتمد على التعريف | لا | محور المجال | نعم (رتبة + درجة + تعريف موحد) |
الفائدة العملية الأهم لإطار الرتب هي وضوح اختيار النموذج: إذا كان النظام محكومًا بالقياس (scale) فرتبة \(1\) تصبح طبيعية؛ وإذا كانت قوانين القياس نفسها تتغير فقد تظهر الحاجة لرتب أعلى. ليس الهدف أن تكون الرتبة الأعلى “أفضل”، بل أن تقيس نوعًا مختلفًا من الثوابت البنيوية.
(أ) إذا \(f(x)=x\) و\(x>0\)، فإن:
(ب) إذا \(f(x)=c\) ثابت موجب، فإن:
ملاحظة: المرجع [2] موضوع كمرجع “استعراضي” عام. يمكنك استبداله بمقال/كتاب محدد بمجرد تثبيت المصادر التاريخية التي تريد اعتمادها بدقة.