Tetration

在數學裡面，**迭代冪次** （亦作**超 - 4 運算**或**四級運算**），或可理解為迭代乘方、冪塔運算和超冪運算等等，是專指冪的下一個超運算級別，用以表示極大的數字。以下列舉了首四個超運算級別，其中**迭代冪次**為第四級，（後繼函數，例如 $a'=a+1$ 即將 $a$ 加上一，可理解為第零級運算，相關解釋參見皮亞諾公理）。範例如下：

1. 加法

　
: $a+n=a\!\underbrace {''{}^{\cdots }{}'} _{n}$

　
: _a_ 的連續 _n_ 次後繼
2. 乘法

　
: $a\times n=\underbrace {a+a+\cdots +a} _{n}$

　
: _a_ 連續加上自己 _n_ 次
3. 冪

　
: $a^{n}=\underbrace {a\times a\times \cdots \times a} _{n}$

　
: _a_ 連續乘以自己 _n_ 次
4. **迭代冪次**

　
: ${^{n}a}=\underbrace {a^{a^{\cdot ^{\cdot ^{a}}}}} _{n}$

　
: _a_ 連續取冪於自己 _n_ 次

以上每一個運算級別皆被定義為對上一運算級別的迭代（**迭代冪次**的下一個運算級別為五級運算（超 - 5 運算））。**迭代冪次**跟首三個超運算級別的一大不同之處在於首三個超運算級別中的 _n_ 可以是任意複數，而 _n_ 為任意複數的**迭代冪次**目前則未有一個概括的定義。另外，**迭代冪次**不屬於初等函數。

加法 (_a_ + _n_) 是最基本的運算級別；乘法 (_a_ × _n_) 亦是其中一種初等函數，在自然數的域當中，它可被視為 _a_ 的 _n_ 次鏈式加法；冪 ( _$a^{n}$_ ) 則可被視為 _a_ 的 _n_ 次鏈式乘法。如此類推，**迭代冪次**( _${^{n}a}$_ ) 可被視為 _a_ 的 _n_ 次鏈式冪。當中，變量 _a_ 將會在下文被稱為底數，而變量 _n_ 則是此函數的_高度值_，在下文有時會被稱為**上標數**（早段提及的**上標數**皆為整數，而後則會擴展到分數、實數以及複數，如下所示）。

## 定義

對於任何正實數 _a_ ( $a>0$ ) 及非負整數 _n_ ( $n\geq 0$ )， $\,\!{^{n}a}$ 被定義為：

　
: ${^{n}a}:={\begin{cases}1&{\text{if }}n=0\\a^{\left[^{(n-1)}a\right]}&{\text{if }}n>0\end{cases}}$

## 迭代乘方

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

　
: $\,\!\ ^{4}2=2^{2^{2^{2}}}=2^{\left[2^{\left(2^{2}\right)}\right]}=2^{\left(2^{4}\right)}=2^{16}=65,\!536$

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

　
: $\,\!2^{2^{2^{2}}}\neq \left[{\left(2^{2}\right)}^{2}\right]^{2}=2^{2\cdot 2\cdot 2}=256$

因此，**冪塔**一定要從上而下（或從右至左）來運算。在電腦程式中，此制式稱為**右結合律**。

當 _a_ 與 _n_ 為互質時，我們可以透過歐拉定理來計算 $\scriptstyle \underbrace {a^{a^{\cdot ^{\cdot ^{a}}}}} _{n}$ 的最後 _m_ 個小數位值。

## 專門用語

**迭代冪次**在英文裡面稱作 _tetration_，有時亦會被稱為 _superexponentiation_ 及 _hyperpower_（中文意譯**超冪**）等，這些詞語也可被用來表示這種運算模式。

**迭代冪次**有時會跟一些相關的函數及表達式混淆，這是因為在這些函數及表達式當中的大部分專門用語均適用於**迭代冪次**。以下列舉了一些相關用語：

　
:

在首兩種表達式當中的 _a_ 是_底數_，而 _a_ 出現的數目則是_高度值_（_x_ 的出現使_高度值_ 加 1）。在第三種表達式當中，_n_ 是_高度值_，但每一個底皆不相同。

要注意的是，**迭代指數**的形式有時也會被稱為**迭代冪次**。這是模稜兩可的，因為這可以指迭代乘方或迭代指數。

## 符號標示法

可以用來表示**迭代冪次**的符號有很多，當中有一些符號可用來表示更高級的迭代運算（hyper-5、hyper-6 等等）。

　
:

上述的迭代指數表示法中使用的迭代指數記號，一般被定義成：

　
: $\exp _{a}^{n}(x)=a^{a^{\cdot ^{\cdot ^{a^{x}}}}}$ ，當中包含 _n_ 個 _a_。

以下是一些用以表示迭代指數的符號：

　
:

## 例子

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

　
:

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

### 多項式_逼近法_

#### 線性逼近法

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

　
: ${}^{x}a\approx {\begin{cases}\log _{a}(^{x+1}a)&x\leq -1\\1+x&-1<x\leq 0\\a^{\left(^{x-1}a\right)}&0<x\end{cases}}$

由此可得：

　
:

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

##### 例子

$$
{\begin{aligned}{}^{{\frac {1}{2}}\pi }e&\approx 5.868...,\\{}^{-4.3}0.5&\approx 4.03335...\end{aligned}}
$$

Hooshmand 的手稿中有一個重要定理：設 $0<a\neq 1$ 。若 $f:(-2,+\infty )\rightarrow \mathbb {R} $ 是連續的並滿足以下條件：

 * $f(x)=a^{f(x-1)}\;\;{\mbox{for all}}\;\;x>-1,\;f(0)=1$ ,
* $f$ 於 $(-1,0)$ 之上可微；
* $f^{\prime }$ 在 $(-1,0),$ 之上是一個單調函數；
* $f^{\prime }(0^{+})=(\ln a)f^{\prime }(0^{-}){\mbox{ or }}f^{\prime }(-1^{+})=f^{\prime }(0^{-}).$

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

　
: $f(x)=\exp _{a}^{[x]}(a^{x})=\exp _{a}^{[x+1]}(x)\quad {\mbox{for all}}\;\;x>-2$ ，

當中， $(x)=x-[x]$ 標示 x 的分數部分，以及 $\exp _{a}^{[x]}$ 是函數 $\exp _{a}$ 的 $[x]$ - 迭代函數。

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

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

若 $f:(-2,+\infty )\rightarrow \mathbb {R} $ 是一個連續函數並滿足以下條件:

 * $f(x)=e^{f(x-1)}\;\;{\mbox{for all}}\;\;x>-1,\;f(0)=1$ ；
* $f$ 於 $(-1,0)$ 之上是凸函數；
* $f^{\prime }(0^{-})\leq f^{\prime }(0^{+}).$

那麼 $f={\mbox{uxp}}$ 。（這裡的 $f={\mbox{uxp}}$ 是 Hooshmand 給予自然迭代冪次函數的線性逼近法的名稱。）

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

所以，自然迭代函數的線性逼近法是凸於 $(-1,+\infty )$ 之上的方程式 $f(x)=e^{f(x-1)}\;\;(x>-1)$ 的唯一解。所有其他充足可微的解在區間 (-1, 0) 之上必定存在一個拐點。

#### 更高次的逼近法

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

　
: ${}^{x}a\approx {\begin{cases}\log _{a}({}^{x+1}a)&x\leq -1\\{\frac {-\log(a)\;+\;{\sqrt {x[1\;-\;\log(a)^{2}]\;+\;1}}}{1\;-\;\log(a)}}&-1<x\leq 0\\a^{\left({}^{x-1}a\right)}&0<x\end{cases}}$

這對所有 $x>0$ 可微，但並不二次可微。若 $a=e$ ，應採用線性逼近法。

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

 

## 推廣

**迭代冪次**能被推廣至定義 ${^{n}0}$ 乃至其他定義域。

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

#### 推廣至底數為 0

指數 $0^{0}$ 是不連續定義的。所以，迭代冪次 $\,{^{n}0}$ 於早期提出的公式中亦並不被清晰定義。不過， $\lim _{x\rightarrow 0}{^{n}}x$ 是定義良好的，並存在：

　
: $\lim _{x\rightarrow 0}{}^{n}x={\begin{cases}1,&n{\mbox{ even}}\\0,&n{\mbox{ odd}}\end{cases}}$

所以我們能連續地定義 ${}^{n}0=\lim _{x\rightarrow 0}{}^{n}x$ 。這等價於定義 $0^{0}=1$ 。

在這推廣之下， ${}^{0}0=1$ ，所以最初定義出來的法則 ${^{0}a}=1$ 依然成立。

#### 推廣至複數底

由於複數可以作為指數，迭代冪次的底數可以為 $\scriptstyle z\;=\;a+bi$ 的形式，當中的 $\scriptstyle i$ 是−1 的平方根。舉例來說，設 $\scriptstyle z\;=\;i$ ，對於 $\scriptstyle {}^{n}z$ ，其迭代冪次可由自然對數中的主枝來達成，並用歐拉公式得出以下關係：

　
: $i^{a+bi}=e^{{\frac {1}{2}}{\pi i}(a+bi)}=e^{-{\frac {1}{2}}{\pi b}}\left(\cos {\frac {\pi a}{2}}+i\sin {\frac {\pi a}{2}}\right)$

這表明了 $\scriptstyle {}^{(n+1)}i\;=\;a'+b'i$ 在任何 $\scriptstyle {}^{n}i\;=\;a+bi$ 的情況下的遞迴定義為：

 

　
: ${\begin{aligned}a'&=e^{-{\frac {1}{2}}{\pi b}}\cos {\frac {\pi a}{2}}\\b'&=e^{-{\frac {1}{2}}{\pi b}}\sin {\frac {\pi a}{2}}\end{aligned}}$

從而導出以下的逼近值：

　
:

根據上一部分對於迭代冪次的逆向關係的定義，可得 $\scriptstyle \,{}^{0}i\;=\;1$ 及 $\scriptstyle \,{}^{(-1)}i\;=\;0$ ，當中負值的 _n_ 在虛數軸上會得出無窮的結果。在複平面當中，整個序列成螺旋形地趨向於極限 $0.4383+0.3606i$ ，這個極限可理解為 _n_ 為無窮時，函數相對應的值。

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

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

#### 推廣至無窮高

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

　
: ${\begin{aligned}{\sqrt {2}}^{{\sqrt {2}}^{{\sqrt {2}}^{{\sqrt {2}}^{{\sqrt {2}}^{1.414}}}}}&={\sqrt {2}}^{{\sqrt {2}}^{{\sqrt {2}}^{{\sqrt {2}}^{1.63}}}}\\&={\sqrt {2}}^{{\sqrt {2}}^{{\sqrt {2}}^{1.76}}}\\&={\sqrt {2}}^{{\sqrt {2}}^{1.84}}\\&={\sqrt {2}}^{1.89}\\&=1.93\end{aligned}}$

一般來說，有限冪塔 $x^{x^{\cdot ^{\cdot ^{\cdot }}}}$ （定義為當 _n_ 趨向於無窮時 ${}^{n}x$ 的極限）收歛於 _e_−_e_ ≤ _x_ ≤ _e_1/_e_，大約是位於 0.066 和 1.44 之間的區間，這是由萊昂哈德・歐拉所證明的。如果存在一個極限，這會是一個對於方程式 _y_ = _x_y 的正實數解。所以，_x_ = _y_1/_y_。根據這個極限的定義，當 _x_ > _e_1/_e_ 時，_x_ 的無窮迭代冪次不具收歛性，因為 _y_1/_y_ 的最大值為 _e_1/_e_。

以上特性可以被推廣至複數底 _z_，定義如下：

　
: ${}^{\infty }z=z^{z^{\cdot ^{\cdot ^{\cdot }}}}={\frac {\mathrm {W} (-\ln {z})}{-\ln {z}}}$

當中的 _W_（_z_）表示朗伯 W 函數。

由於極限 _y_ = ∞_x_ （如果存在的話，即當 _e_−_e_ < _x_ < _e_1/_e_）必定滿足 _x_y = _y_，因而得出 _x_ ↦ _y_ = ∞_x_ 是 _y_ ↦ _x_ = _y_1/_y_ 的反函數（較低枝）。

#### （有限地）推廣至負高

為了維持原有法則：

　
: ${^{(k+1)}a}=a^{({^{k}a})}$

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

　
: ${^{k}a}=\log _{a}\left({^{(k+1)}a}\right)$

所以：

　
: ${}^{(-1)}a=\log _{a}\left({}^{0}a\right)=\log _{a}1=0$

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

　
: ${}^{(-2)}a=\log _{a}\left({}^{-1}a\right)=\log _{a}0$

這是定義不良好的。

更要注意的是，當 $a=1$ 時，任何根據法則對於 $\,\!{^{(-1)}1}$ 的定義都是一致的，因為

　
: ${^{0}1}=1=1^{n}$ 對於任何 $\,\!n={^{(-1)}1}$ 。

#### 推廣至實高

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

一般來說，問題在於對任何實數 _a_> 0，找出一個能滿足以下條件的_超冪函數_ $\,f(x)={}^{x}a$ ，當中 $x>-2$ 並為實數：

 * $\,{}^{(-1)}a=0$
* $\,{}^{0}a=1$
* $\,{}^{x}a=a^{\left({}^{(x-1)}a\right)}$ 對所有實數 _x_ > -1。
* 第四個條件通常為以下其中一個：

　
: * A 的_連續性_ 需要（通常是指在 _a_ 和 _x_ 皆可變時， ${}^{x}a$ 為連續，當中 $x>0$ ）。
* A 的_可微性_ 需要（可以是對於 _x_ 一次、二次、_k_ 次，或是無窮可微）。
* A 的_規律性_ 需要（僅當對於 _x_ 二次可微），即是：

　
: $\left({\frac {d^{2}}{dx^{2}}}f(x)>0\right)$ 對於所有 $x>0$

對於第四個條件，不同的編者有不同的說法，而且亦視乎於採用何種逼近法。對於把迭代冪次推廣至實高，有兩種主要的逼近法，一種是建基於_規律性_ 需要，另一種則建基於_可微性_ 需要。這兩種逼近法似乎十分相異，皆因它們所得出的結果並不相符。

幸運地，任何在一段長度的區間內滿足到其中一種逼近法的解，皆能被推廣為一個對於所有正實數高度值的迭代冪次的通解。當 $\,{}^{x}a$ 在一段長度的區間內被定義，對任何 $x>-2$ ，整個函數的後續將能被輕易地定義出來。

其中一個簡單的推廣方式為：

$$
a[n]b=c
$$

若且唯若 $c[n]({\frac {1}{b}})=a,n>1$ 。可以判斷，當 $n=2$ 、 $n=3$ 時，乘法和冪次成立： $a\times b=c$ 若且唯若 $c\times ({\frac {1}{b}})=a$ ; $a^{b}=c$ 若且唯若 $c^{\frac {1}{b}}=a$

舉例，當 $n=4$ 時，計算 ${}^{\frac {1}{2}}256$ 和 ${}^{\frac {3}{4}}256$ ：
 ${}^{2}4=4^{4}=256$ , 則 ${}^{\frac {1}{2}}256=4$ 。
 ${}^{3}2={2}^{{2}^{2}}=16$ , 則 ${}^{\frac {1}{3}}16=2$ ；
由 256= 16^2 = 16^(16^^(1/3)) = 16^^(1+1/3) = 16^^(4/3) 得 256^^(3/4) = 16。

#### 推廣至複高

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

 

## 相關條目

* 阿克曼函數
* 超運算

## 參考資料

* Daniel Geisler, _tetration.org （頁面存檔備份，存於網際網路檔案館）_
* 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 （頁面存檔備份，存於網際網路檔案館）_ _(An informal discussion about extending tetration to the real numbers.)_
* Lode Vandevenne, _Tetration of the Square Root of Two （頁面存檔備份，存於網際網路檔案館）_ , (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 （頁面存檔備份，存於網際網路檔案館）
* Joseph MacDonell, _Some Critical Points of the Hyperpower Function （頁面存檔備份，存於網際網路檔案館）_ .
* Dave L. Renfro, _Web pages for infinitely iterated exponentials （頁面存檔備份，存於網際網路檔案館）_ _(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 $y=x^{[x^{[x(\cdots )]}]}$ für ganzzahliges Argument (Abundanzen)." _Mittheilungen der Mathematische Gesellschaft in Hamburg_ **4**, (1901), p. 33-50. _(Reference to usage of $\ {^{n}a}$ 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 （頁面存檔備份，存於網際網路檔案館）
* Tetration Forum （頁面存檔備份，存於網際網路檔案館）
* tetration at citizendium （頁面存檔備份，存於網際網路檔案館）
* Gottfried Helms' site on tetration （頁面存檔備份，存於網際網路檔案館）