迭代冪次

在數學裡面，迭代冪次 （亦作超-4運算或四級運算），或可理解為迭代乘方、冪塔運算和超冪運算等等，是專指冪的下一個超運算級別，用以表示極大的數字。以下列舉了首四個超運算級別，其中迭代冪次為第四級，（後繼函數，例如即將加上一，可理解為第零級運算，相關解釋參見皮亞諾公理）。範例如下：
#加法
#:
#::a 的連續n 次後繼
#乘法
#:
#::a 連續加上自己n 次
#冪
#:
#::a 連續乘以自己n 次
#迭代冪次
#:
#::a 連續取冪於自己n 次
以上每一個運算級別皆被定義為對上一運算級別的迭代（迭代冪次的下一個運算級別為五級運算（超-5運算））。迭代冪次跟首三個超運算級別的一大不同之處在於首三個超運算級別中的n 可以是任意複數，而n 為任意複數的迭代冪次目前則未有一個概括的定義。另外，迭代冪次不屬於初等函數。
加法(a + n)是最基本的運算級別；乘法(a × n)亦是其中一種初等函數，在自然數的域當中，它可被視為a 的n 次鏈式加法；冪()則可被視為a 的n 次鏈式乘法。如此類推，迭代冪次()可被視為a 的n 次鏈式冪。當中，變量a 將會在下文被稱為底數，而變量n 則是此函數的高度值，在下文有時會被稱為上標數（早段提及的上標數皆為整數，而後則會擴展到分數、實數以及複數，如下所示）。

**定義**
對於任何正實數a ()及非負整數n ()，被定義為：


**迭代乘方**
從上述定義中可見，當計算被表達成冪塔的迭代冪次時，冪運算是先由最深層（以符號來表示，則最高級）的上標數做起。例子如下：

要注意，冪是不遵從結合律的，因此以其他順序來計算上述表達式將會出現不一樣的答案，例如：

因此，冪塔一定要從上而下（或從右至左）來運算。在電腦程式中，此制式稱為右結合律。
當a與n為互質時，我們可以透過歐拉定理來計算的最後m個小數位值。

**專門用語**
迭代冪次在英文裡面稱作tetration，有時亦會被稱為superexponentiation及hyperpower（中文意譯超冪）等，這些詞語也可被用來表示這種運算模式。
迭代冪次有時會跟一些相關的函數及表達式混淆，這是因為在這些函數及表達式當中的大部分專門用語均適用於迭代冪次。以下列舉了一些相關用語：
在首兩種表達式當中的a 是底數，而a 出現的數目則是高度值（x 的出現使高度值 加1）。在第三種表達式當中，n 是高度值，但每一個底皆不相同。
要注意的是，迭代指數的形式有時也會被稱為迭代冪次。這是模稜兩可的，因為這可以指迭代乘方或迭代指數。

**符號標示法**
可以用來表示迭代冪次的符號有很多，當中有一些符號可用來表示更高級的迭代運算（hyper-5、hyper-6 等等）。
上述的迭代指數表示法中使用的迭代指數記號，一般被定義成：
，當中包含n 個a。
以下是一些用以表示迭代指數的符號：

**例子**
在下表，大部分數值大得連科學記數法也難以表示，因此使用了迭代指數記號，設底數為10來表示。包含小數點的數值是近似值。

**以較原始的函數來作逼近法**

**多項式逼近法**

**線性逼近法**
以下是對迭代冪次函數的線性逼近法（以滿足連續函數的需要性，逼近法基於此函數的可微性質）的定義：

由此可得：
及其他逼近值。不過，這個函數只是分段可微的；在x為整數的時候，函數的導數要乘以。

**=例子=**
Hooshmand的手稿中有一個重要定理：設。若 是連續的並滿足以下條件：
*,- 於  之上可微；- 在  之上是一個單調函數；
由此， 可於以下方程式中獨特地定義出來：
，
當中， 標示x的分數部分，以及 是函數 的-迭代函數。
以上四個條件中的第二個條件僅當 在-1, 0之上是線性函數，由此可作為上述對 的定義的證明。
對自然迭代冪次函數 的線性逼近法是連續可微的，但其二階導數的輻角並不是整數值。Hooshmand為此導出了以下的這一個獨特定理：
若
是一個連續函數並滿足以下條件:
*；- 於 之上是凸函數；
那麼。（這裡的 是Hooshmand給予自然迭代冪次函數的線性逼近法的名稱。）
這個定理的證明跟之前提到的證明法十分相似；遞迴方程式保證了 ，而 的凸函數的性質僅當 在(-1, 0)之上是線性的。
所以，自然迭代函數的線性逼近法是凸於 之上的方程式 的唯一解。所有其他充足可微的解在區間(-1, 0)之上必定存在一個拐點。

**更高次的逼近法**
以下是對a ≠ e的迭代冪次函數的二次逼近法（逼近法基於此函數的可微性質）的定義：

這對所有 可微，但並不二次可微。若，應採用線性逼近法。
有關於三次逼近法，以及一個能歸納出n 次逼近法的方法，詳見：。

**推廣**
迭代冪次能被推廣至定義 乃至其他定義域。

**對底數定義域的推廣**

**推廣至底數為0**
指數 是不連續定義的。所以，迭代冪次 於早期提出的公式中亦並不被清晰定義。不過， 是定義良好的，並存在：

所以我們能連續地定義。這等價於定義。
在這推廣之下，，所以最初定義出來的法則 依然成立。

**推廣至複數底**
由於複數可以作為指數，迭代冪次的底數可以為 的形式，當中的 是−1的平方根。舉例來說，設，對於，其迭代冪次可由自然對數中的Principal branch來達成，並用歐拉公式得出以下關係：

這表明了 在任何 的情況下的遞迴定義為：

從而導出以下的逼近值：
根據上一部分對於迭代冪次的逆向關係的定義，可得 及，當中負值的n 在虛數軸上會得出無窮的結果。在複平面當中，整個序列成螺旋形地趨向於極限，這個極限可理解為n 為無窮時，函數相對應的值。
這樣的迭代冪次序列由歐拉時期已開始被研究，但是由於序列的雜亂性而難以被理解。歷史上大部分有正式發表的研究皆集中於冪塔函數的收歛性。高運算效率電腦連同計算機代數系統和分形幾何系統的出現大大地促進了近代對於迭代冪次的研究。現時對迭代冪次的研究均建基於複動力學的普遍知識及對指數映射的專門研究。

**對高度值定義域的推廣**

**推廣至無窮高**
迭代冪次可被推廣至無窮高（ 當中的n）。這是因為當底數在一個特定的區間之內而高度值趨向於無窮時，迭代冪次會收歛於一個有限的數值。舉例來說， 收歛於2，因此可以說是等於2。對2的趨向性可從對以下小型有限冪塔的計算而看出來：

一般來說，有限冪塔 （定義為當n 趨向於無窮時 的極限）收歛於e−e ≤ x ≤ e1/e，大約是位於0.066和1.44之間的區間，這是由萊昂哈德·歐拉所證明的。如果存在一個極限，這會是一個對於方程式y = xy 的正實數解。所以，x = y1/y。根據這個極限的定義，當x > e1/e 時，x 的無窮迭代冪次不具收歛性，因為y1/y 的最大值為e1/e。
以上特性可以被推廣至複數底z，定義如下：

當中的W（z）表示朗伯W函數。
由於極限y = ∞x （如果存在的話，即當e−e 1/e）必定滿足xy = y，因而得出x ↦ y = ∞x 是y ↦ x = y1/y 的反函數（較低枝）。

**（有限地）推廣至負高**
為了維持原有法則：

當 為負值時，必須用到以下的遞迴關係：

所以：

不過，當高度值為更小的負值時就不能以此方法良好地定義出來了，因為

這是定義不良好的。
更要注意的是，當 時，任何根據法則對於 的定義都是一致的，因為
 對於任何 。

**推廣至實高**
當前還未有對於推廣迭代冪次至 為實數或複數值的共識解。以下提到了兩種不同的逼近法。
一般來說，問題在於對任何實數a > 0，找出一個能滿足以下條件的超冪函數  ，當中 並為實數：- 對所有實數x > -1。
*第四個條件通常為以下其中一個：
*A的連續性 需要（通常是指在a 和x 皆可變時， 為連續，當中）。
*A的可微性 需要（可以是對於x 一次、二次、k 次，或是無窮可微）。
*A的規律性 需要（僅當對於x 二次可微），即是：
: 對於所有
對於第四個條件，不同的編者有不同的說法，而且亦視乎於採用何種逼近法。對於把迭代冪次推廣至實高，有兩種主要的逼近法，一種是建基於規律性 需要，另一種則建基於可微性 需要。這兩種逼近法似乎十分相異，皆因它們所得出的結果並不相符。
幸運地，任何在一段長度的區間內滿足到其中一種逼近法的解，皆能被推廣為一個對於所有正實數高度值的迭代冪次的通解。當 在一段長度的區間內被定義，對任何，整個函數的後續將能被輕易地定義出來。
其中一個簡單的推廣方式為：

當且僅當 。可以判斷，當、時，乘法和冪次成立： 當且僅當; 當且僅當
舉例，當 時, 計算  和  ：
, 則 。
,則；
由 256= 16^2 = 16^(16^^(1/3)) = 16^^(1+1/3) = 16^^(4/3) 得 256^^(3/4) = 16。

**推廣至複高**
以下為有關猜想：函數F 為方程式1=F(z+1)=exp(F(z)) 的解並滿足以下附加條件：當z逼近於±i ∞及F 在整個複數z 平面當中為全純函數，F(0)=1 及F(z)逼近於對數的不動點 （大約為 0.31813150520476413531 ± 1.33723570143068940890i）。

**相關條目**
 阿克曼函數- 超運算

**參考資料**
 Daniel Geisler,  tetration.org date=20110720002023 - Ioannis Galidakis,  On extending hyper4 to nonintegers (undated, 2006 or earlier) (A simpler, easier to read review of the next reference)- Ioannis Galidakis,  On Extending hyper4 and Knuth's Up-arrow Notation to the Reals (undated, 2006 or earlier).- Robert Munafo,  Extension of the hyper4 function to reals date=20100817011400  (An informal discussion about extending tetration to the real numbers.)- Lode Vandevenne,  Tetration of the Square Root of Two date=20121110063348 , (2004). (Attempt to extend tetration to real numbers.)- Ioannis Galidakis,   Mathematics, (Definitive list of references to tetration research. Lots of information on the Lambert W function, Riemann surfaces, and analytic continuation.)- Galidakis, Ioannis and Weisstein, Eric W.  Power Tower date=20140427030550 - Joseph MacDonell,  Some Critical Points of the Hyperpower Function date=20100117161604 .- Dave L. Renfro,  Web pages for infinitely iterated exponentials date=20050218235100  (Compilation of entries from questions about tetration on sci.math.)- R. Knobel. "Exponentials Reiterated." American Mathematical Monthly 88, (1981), p. 235-252.- Hans Maurer. "Über die Funktion  für ganzzahliges Argument (Abundanzen)." Mittheilungen der Mathematische Gesellschaft in Hamburg 4, (1901), p. 33-50. (Reference to usage of  from Knobel's paper.)- Marco Ripà, "La strana coda della serie n^n^...^n", Trento (2011). ISBN 9788861787896

**外部連結**
  Andrew Robbins' site on tetration-  Daniel Geisler's site on tetration date=20110720002023 -  Tetration Forum date=20100722031427 -  tetration at citizendium date=20101027101339 -  Gottfried Helms' site on tetration date=20200220013651