التكامل الهرمي هو المعكوس الطبيعي للمشتقات الهرمية.
في الرتبة \(0\) يكون التراكم جمعيًا،
في الرتبة \(1\) يصبح التراكم نسبيًا (ضربيًا)،
وفي الرتبة \(2\) يصبح التراكم في فضاء \(\ln\!\ln\) (بنية أُسّية مزدوجة).
قاعدة الترميز: نكتب المشتقات دائمًا بصيغة الرتبة والدرجة:
\(\;D_r^n\). وفي هذه الصفحة نركّز على الحالة الأكثر استخدامًا: \(\;D_n^{1}\).
Concept DOI:
10.5281/zenodo.17917302
Version DOI (v1.0.0):
10.5281/zenodo.17917303
التكامل الهرمي من الرتبة \(n\) يُرمز له بـ \(\mathcal{I}_n\)، وهو معكوس المشتق الهرمي من الرتبة \(n\) والدرجة \(1\) أي \(D_n^{1}\)، على مجال مناسب:
إذا كانت \(F\) تحقق \(D_n^{1}F=f\)، فإن \(\mathcal{I}_n[f]\) تعيد \(F\) حتى ثابت من نفس الرتبة:
| الرتبة | أين يعيش “الثابت”؟ | الصيغة المكافئة |
|---|---|---|
| 0 | في \(F\) | \(F + C\) |
| 1 | في \(\ln F\) | \(F\cdot C_\times\) حيث \(C_\times=e^C>0\) |
| 2 | في \(\ln(\ln F)\) | \(\ln(\ln F)\mapsto \ln(\ln F)+C\) (ثابت بنيوي) |
لأن الرتب الأعلى تستخدم لوغاريتمات متكررة، يجب ذكر شروط المجال صراحة:
| الرتبة | شروط لازمة | السبب |
|---|---|---|
| 0 | مجال \(f\) الكلاسيكي | لا توجد لوغاريتمات متكررة |
| 1 | \(x>0\) و \(y(x)>0\) | وجود \(\ln x\) و \(\ln y\) |
| 2 | \(x>1\) و \(y(x)>1\) | وجود \(\ln(\ln x)\) و \(\ln(\ln y)\) |
بما أن \(D_{1}^{1}y=\dfrac{d\ln y}{d\ln x}\)، فإن حل \(D_1^{1}y=f(x)\) يعطي:
| الدالة \(f(x)\) | \(\mathcal{I}_1[f](x)\) | تحقق سريع |
|---|---|---|
| \(1\) | \(x\) | \(D_{1}^{1}(x)=1\) |
| \(a\) | \(x^a\) | \(D_{1}^{1}(x^a)=a\) |
| \(\ln x\) | \(\exp((\ln x)^2/2)\) | \(D_{1}^{1}(\cdot)=\ln x\) |
| \(x^k\) | \(\exp(x^k/k)\ \ (k\neq0)\) | \(D_{1}^{1}(\cdot)=x^k\) |
| \(\dfrac{1}{\ln x}\) | \(\ln x\) | \(D_{1}^{1}(\ln x)=\dfrac{1}{\ln x}\) |
التكامل النسبي يُنتج نموًا نسبيًا مضبوطًا: تظهر القوى والأسّ بصورة طبيعية لأنه “يتكامل” في فضاء \(\ln\).
بما أن \(D_{2}^{1}y=\dfrac{d\ln(\ln y)}{d\ln(\ln x)}\)، فإن حل \(D_2^{1}y=f(x)\) يعطي:
| الدالة \(f(x)\) | \(\mathcal{I}_2[f](x)\) | تحقق سريع |
|---|---|---|
| \(1\) | \(x\) | \(D_{2}^{1}(x)=1\) |
| \(a\) | \(\exp((\ln x)^a)\) (حتى ثابت بنيوي) | \(D_{2}^{1}(\cdot)=a\) |
| \(\ln\ln x\) | \(\exp(\exp((\ln\ln x)^2/2))\) | \(D_{2}^{1}(\cdot)=\ln\ln x\) |
| \(\ln x\) | \(\exp(x)\) | \(D_{2}^{1}(e^x)=\ln x\) |
| \((\ln\ln x)^n\) | \(\exp(\exp((\ln\ln x)^{n+1}/(n+1)))\) | \(D_{2}^{1}(\cdot)=(\ln\ln x)^n\) |
GOSSA AHMED. Hierarchical Calculus — Hierarchical Integrals. Official Website. Zenodo DOI: 10.5281/zenodo.17917302 (2025).