迭代冪次

在數學裡面，迭代冪次 （亦作超 - 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 來表示。包含小數點的數值是近似值。

以較原始的函式來作逼近法

6.1 多項式逼近法

6.1.1 線性逼近法

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

由此可得：

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

6.1.1.1 例子

Hooshmand 的手稿中有一個重要定理：設。若 是連續的並滿足以下條件：

,
於 之上可微；
在 之上是一個單調函式；

由此， 可於以下方程式中獨特地定義出來：

，

當中， 標示 x 的分數部分，以及 是函式 的 - 迭代函式。

以上四個條件中的第二個條件僅當 在 - 1, 0 之上是線性函式，由此可作為上述對 的定義的證明。

對自然迭代冪次函式 的線性逼近法是連續可微的，但其二階導數的輻角並不是整數值。Hooshmand 為此導出了以下的這一個獨特定理：

若

是一個連續函式並滿足以下條件:

；
於 之上是凸函式；

那麼。（這裡的 是 Hooshmand 給予自然迭代冪次函式的線性逼近法的名稱。）

這個定理的證明跟之前提到的證明法十分相似；遞迴方程式保證了 ，而 的凸函式的性質僅當 在 (-1, 0) 之上是線性的。

所以，自然迭代函式的線性逼近法是凸於 之上的方程式 的唯一解。所有其他充足可微的解在區間 (-1, 0) 之上必定存在一個拐點。

6.1.2 更高次的逼近法

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

這對所有 可微，但並不二次可微。若，應採用線性逼近法。

有關於三次逼近法，以及一個能歸納出 n 次逼近法的方法，詳見：。

推廣

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

7.1 對底數定義域的推廣

7.1.1 推廣至底數為 0

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

所以我們能連續地定義。這等價於定義。

在這推廣之下，，所以最初定義出來的法則 依然成立。

7.1.2 推廣至複數底

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

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

從而匯出以下的逼近值：

根據上一部分對於迭代冪次的逆向關係的定義，可得 及，當中負值的 n 在虛數軸上會得出無窮的結果。在複平面當中，整個序列成螺旋形地趨向於極限，這個極限可理解為 n 為無窮時，函式相對應的值。

這樣的迭代冪次序列由尤拉時期已開始被研究，但是由於序列的雜亂性而難以被理解。歷史上大部分有正式發表的研究皆集中於冪塔函式的收歛性。高運算效率電腦連同計算機代數系統和分形幾何系統的出現大大地促進了近代對於迭代冪次的研究。現時對迭代冪次的研究均建基於複動力學的普遍知識及對指數對映的專門研究。

7.2 對高度值定義域的推廣

7.2.1 推廣至無窮高

迭代冪次可被推廣至無窮高（ 當中的 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−e1/e）必定滿足 xy=y，因而得出 x↦y=∞x 是 y↦x=y1/y 的反函式（較低枝）。

7.2.2 （有限地）推廣至負高

為了維持原有法則：

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

所以：

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

這是定義不良好的。

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

 對於任何 。

7.2.3 推廣至實高

當前還未有對於推廣迭代冪次至 為實數或複數值的共識解。以下提到了兩種不同的逼近法。

一般來說，問題在於對任何實數 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。

7.2.4 推廣至複高

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