# دالة أسية مزدوجة

الدالة الأسية المزدوجة هي دالة أسية يكون أسها في حد ذاته دالة أسية. فهي دالة تكبر أسرع من الدالة العادية، وهي عبارة عن ثابت مرفوع لـ دالة أسية. الصيغة العامة هي $f(x)=a^{b^{x}}=a^{(b^{x})}$ (حيث a >1 و b >1)، حيث تنمو قيمتها أسرع من الدالة الأسية. على سبيل المثال، إذا كان a = b = 10:
* f(x) = 10$^{10x}$
* f(0) = 10
* f(1) = 10$^{10}$
* f(2) = 10$^{100}$ = جوجول
* f(3) = 10$^{1000}$
* f(100) = 10$^{10100}$ = جوجول بلكس.
ينمو المضروب بشكل أسرع من الدالة الأسية، ولكن نموه أبطأ بكثير من الدوال الأسية المزدوجة. ومع ذلك، فإن دوال كـ التربيعية $^{[الإنجليزية]}$ وأكرمان أسرع منها في النمو.
معكوس الدالة الأسية المزدوجة هو اللوغاريتم المزدوج
log(log( x )).
الدالة الأسية المزدوجة المركبة هي دالة صحيحة، وذلك لأنها تتكون من دالتين صحيحتين $f(x)=a^{x}=e^{x\ln a}$ و $g(x)=b^{x}=e^{x\ln b}$ .

## متواليات أسية مزدوجة

يقال لمتوالية الأعداد الصحيحة الموجبة (أو الحقيقية) أنها تنمو نموا أسيا مزدوجا إذا كانت مقصورة بشكل أدنى وأقصى بدالة أسية مزدوجة.
كأمثلة:
* أعداد فيرما $F(m)=2^{2^{m}}+1$
* الأعداد الأولية التوافقية (The harmonic primes): وهي متوالية أعداد توافقية أولية 1/2 + 1/3 + 1/5 + 1/7 + ⋯ + 1/p وهي متوالية غير متقاربة وتنمو بشكل أسي مزدوج الأرقام القليلة الأولى، التي تبدأ بالرقم 0، هي 2، 5، 277، 5195977، ... (متسلسلة A016088 في OEIS)
* أعداد ميرسين المزدوجة $MM(p)=2^{2^{p}-1}-1$
* متوالية سلفستر $^{[الإنجليزية]}$(متسلسلة A000058 في OEIS) $s_{n}=\left\lfloor E^{2^{n+1}}+{\frac {1}{2}}\right\rfloor$ حيث E ≈ 1.264084735305302 هو ثابت فاردي (Vardi's constant) (متسلسلة A076393 في OEIS) .
* الدوال المنطقية بـ k متغير $^{[الإنجليزية]}$ : $2^{2^{k}}$
* الأعداد الأولية 2، 11، 1361، ... (متسلسلة A051254 في OEIS) $a(n)=\left\lfloor A^{3^{n}}\right\rfloor$ حيث A ≈ 1.306377883863 هو ثابت ميلز .
لاحظ آهو وسلون أن العديد من متواليات الأعداد الصحيحة المهمة، يكون فيها كل حد عبارة عن قيمة ثابتة مضافة لمربع الحد السابق. بينوا أنه يمكن إنشاء هذه المتواليات بتقريب قيم دالة أسية مزدوجة قوتها الوسطى (قيمة b) مساوية لـ 2 إلى أقرب عدد صحيح.
وصف إيوناسكو (Ionaşcu) وستانيكا (Stănică) بعض الشروط العامة لتكون المتوالية هي الحد الأدنى لمتوالية أسية مزدوجة مضاف لها قيمة ثابتة.

## التطبيقات
### التعقيد الحسابي

في نظرية التعقيد الحسابي، مسائل القرار من فئة 2-EXPTIME يمكن حلها في وقت أسي مزدوج. وهو يعادل AEXPSPACE، وهي مجموعة مسائل القرار التي تحلها آلة تورينج المتناوبة "alternating Turing machine" في الفضاء الأسي، وهي مجموعة فرعية من EXPSPACE.
من أمثلة مسائل 2-EXPTIME والتي ليست EXPTIME مسألة إثبات أو دحض البراهين في حساب بريسبرجر "Presburger arithmetic".
تستخدم المتواليات الأسيّة المزدوجة لتصميم الخوارزميات بدلاً من تحليلها في بعض مسائل تصميم وتحليل الخوارزميات.
كمثال خوارزمية تشان $^{[الإنجليزية]}$ لحساب الهياكل المحدبة، وفيها تحسب قيم الاختبار h $_i$=2 $^{2i}$ (لتقدير حجم الناتج النهائي)، وتأخذ وقت O(n log h$_i$) لكل قيمة اختبار في المتوالية. وبسبب النمو الأسّي المزدوج لقيم الاختبار هذه، فإن وقت كل عملية حسابية في المتوالية ينمو بشكل فردي أسيًا كدالة في i، لذا فإن الوقت الإجمالي للخوارزمية هو O(n log h) حيث h هو حجم الناتج الفعلي.

### نظرية الأعداد

بعض حدود نظرية الأعداد تكون أسية مزدوجة. فالأعداد التامة الفردية التي لها n عامل أولي مميز تكون على الأكثر $2^{4^{n}}$.
أقصى حجم لعديد السطوح في شبكة عددية صحيحة "integer lattice" ذات أبعاد d مع k ≥ 1 نقطة داخلية للشبكة هو على الأكثر
    $k\cdot (8d)^{d}\cdot 15^{d\cdot 2^{2d+1}},$
بعد استخدام الحاسوب أصبح نمو أكبر عدد أولي معروف معرفا كدالة أسية مزدوجة منذ أن توصلا ميلر وويلر لعدد أولي من 79 رقم على حاسوب EDSAC 1 عام 1951.

### علم الأحياء النظري

في ديناميكيات السكان أحيانًا يفترض أن النمو البشري يتضاعف أسيًّا.
    $N(y)=375.6\cdot 1.00185^{1.00737^{y-1000}}\,$
حيث N ( y ) هو عدد السكان بالملايين في السنة y .

### الفيزياء

في نموذج مذبذب تودا "Toda oscillator" للنبض الذاتي "self-pulsation"، يتغير لوغاريتم السعة بشكل كبير مع الوقت (بالنسبة للسعات الكبيرة)، وبالتالي تتغير السعة كدالة أسية مزدوجة في الزمن.
لوحظ أن الجزيئات الشجرية تنمو بطريقة أسية مزدوجة.

## مراجع

* ↑ Aho، A. V.؛ Sloane، N. J. A. (1973)، "Some doubly exponential sequences"، Fibonacci Quarterly، ج. 11، ص. 429–437.
* ↑ Ionaşcu، Eugen-Julien؛ Stănică، Pantelimon (2004)، "Effective asymptotics for some nonlinear recurrences and almost doubly-exponential sequences" (PDF)، Acta Mathematica Universitatis Comenianae، ج. LXXIII، ص. 75–87.
* ↑ Chan، T. M. (1996)، "Optimal output-sensitive convex hull algorithms in two and three dimensions"، Discrete and Computational Geometry، ج. 16، ص. 361–368، DOI:10.1007/BF02712873، MR:1414961
* ↑ Nielsen، Pace P. (2003)، "An upper bound for odd perfect numbers"، INTEGERS: The Electronic Journal of Combinatorial Number Theory، ج. 3، ص. A14، مؤرشف من الأصل في 2013-01-13.
* ↑ Pikhurko، Oleg (2001)، "Lattice points in lattice polytopes"، Mathematika، ج. 48، ص. 15–24، arXiv:math/0008028، Bibcode:2000math......8028P، DOI:10.1112/s0025579300014339
* ↑ Miller، J. C. P.؛ Wheeler، D. J. (1951)، "Large prime numbers"، Nature، ج. 168، ص. 838، Bibcode:1951Natur.168..838M، DOI:10.1038/168838b0.
* ↑ Varfolomeyev، S. D.؛ Gurevich، K. G. (2001)، "The hyperexponential growth of the human population on a macrohistorical scale"، Journal of Theoretical Biology، ج. 212، ص. 367–372، Bibcode:2001JThBi.212..367V، DOI:10.1006/jtbi.2001.2384، PMID:11829357.
* ↑ Kouznetsov، D.؛ Bisson، J.-F.؛ Li، J.؛ Ueda، K. (2007)، "Self-pulsing laser as oscillator Toda: Approximation through elementary functions"، مجلة الفيزياء أ، ج. 40، ص. 1–18، Bibcode:2007JPhA...40.2107K، DOI:10.1088/1751-8113/40/9/016.
* ↑ Kawaguchi، Tohru؛ Walker، Kathleen L.؛ Wilkins، Charles L.؛ Moore، Jeffrey S. (1995). "Double Exponential Dendrimer Growth". Journal of the American Chemical Society. ج. 117 ع. 8: 2159–2165. DOI:10.1021/ja00113a005.
* بوابة تحليل رياضي
* بوابة رياضيات
* هذه بذرة مقالة عن التحليل الرياضي بحاجة للتوسيع. فضلًا شارك في تحريرها.