查看“︁迭代冪次”︁的源代码

在[[數學]]裡面，'''迭代冪次''' （亦作'''超-[[4]]運算'''或'''四級運算'''），或可理解為迭代乘方、冪塔運算和超冪運算等等，是專指[[冪]]的下一個[[超運算]]級別，用以表示極大的數字。以下列舉了首四個[[超運算]]級別，其中'''迭代冪次'''為第四級，（[[原始递归函数#定义|后继函数]]，例如<math>a' = a + 1</math>即將<math>a</math>加上一，可理解為第零級運算，相關解釋參見[[皮亞諾公理]]）。範例如下：
#[[加法]]
#:<math>a + n = a\!\underbrace{''{}^{\cdots}{}'}_n</math>
#::''a'' 的連續''n'' 次後繼
#[[乘法]]
#:<math>a \times n = \underbrace{a + a + \cdots + a}_n</math>
#::''a'' 連續加上自己''n'' 次
#[[冪]]
#:<math>a^n = \underbrace{a \times a \times \cdots \times a}_n</math>
#::''a'' 連續乘以自己''n'' 次
#'''迭代冪次'''
#:<math>{^{n}a} = \underbrace{a^{a^{\cdot^{\cdot^{a}}}}}_n</math>
#::''a'' 連續取冪於自己''n'' 次

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

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

== 定義 ==
對於任何正[[實數]]''a'' (<math> a > 0 </math>)及非負[[整數]]''n'' (<math> n \ge 0 </math>)，<math>\,\! {^{n}a} </math>被定義為：
:<math>{^{n}a} := \begin{cases} 1 &\text{if }n=0 \\ a^{\left[^{(n-1)}a\right]} &\text{if }n>0 \end{cases} </math>

== 迭代乘方 ==
從上述定義中可見，當計算被表達成'''冪塔'''的'''迭代冪次'''時，[[冪]]運算是先由最深層（以符號來表示，則最高級）的'''上標數'''做起。例子如下：
:<math>\,\!\ ^{4}2 = 2^{2^{2^2}} = 2^{\left[2^{\left(2^2\right)}\right]} = 2^{\left(2^4\right)} = 2^{16} = 65,\!536</math>

要注意，[[冪]]是不遵從[[結合律]]的，因此以其他順序來計算上述表達式將會出現不一樣的答案，例如：
:<math>\,\! 2^{2^{2^2}} \ne \left[{\left(2^2\right)}^2\right]^2 = 2^{2 \cdot 2 \cdot2} = 256</math>

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

當''a''與''n''為[[互質]]時，我們可以透過[[歐拉定理 (數論)|歐拉定理]]來計算<math>\scriptstyle\underbrace{a^{a^{\cdot^{\cdot^{a}}}}}_n</math>的最後''m''個小數位值。

== 專門用語 ==
'''迭代冪次'''在英文裡面稱作''tetration''，有時亦會被稱為''superexponentiation''及''hyperpower''（中文意譯'''超冪'''）等，這些詞語也可被用來表示這種運算模式。

'''迭代冪次'''有時會跟一些相關的[[函數]]及[[表達式]]混淆，這是因為在這些[[函數]]及[[表達式]]當中的大部分專門用語均適用於'''迭代冪次'''。以下列舉了一些相關用語：
:{|class="wikitable"
! 形式
! 用語
|-
|<math>a^{a^{\cdot^{\cdot^{a^a}}}}</math>
|迭代冪次
|-
|<math>a^{a^{\cdot^{\cdot^{a^x}}}}</math>
|迭代指數
|-
|<math>a_1^{a_2^{\cdot^{\cdot^{a_n}}}}</math>
|指數群 （亦作指數塔）
|-
|<math>a_1^{a_2^{a_3^{\cdot^{\cdot^\cdot}}}}</math>
|無窮指數 （亦作無窮指數塔）
|}

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

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

== 符號標示法 ==
可以用來表示'''迭代冪次'''的符號有很多，當中有一些符號可用來表示更高級的迭代運算（hyper-5、hyper-6 等等）。
:{|class="wikitable"
! 名稱
! 形式
! 描述
|-
|標準符號記法
|<math>\,{}^{n}a, a[4]n</math>
|Maurer及Goodstein分別於1901年及1947年使用此記法，其後由美國數學家[[鲁迪·拉克]]於其著作"Infinity and the Mind"中將這個記法普及化。
|-
|[[高德納箭號表示法]]
|<math>a {\uparrow\uparrow} n</math>
|允許加上更多箭號，乃至在箭號的右上方標上正整數''n''（↑<sup>''n''</sup>），以作推廣。
|-
|[[康威鏈式箭號表示法]]
|<math>a \rightarrow n \rightarrow 2</math>
|允許把''2'' 改成更大的整數以作推廣（同上述推廣法），亦可透過延長鏈式來作出推廣。
|-
|[[阿克曼函數]]
|<math>{}^{n}2 = \operatorname{A}(4, n - 3) + 3</math>
|底數為2（<math>a=2</math>）的情況下可寫成[[阿克曼函數|阿克曼函數式]]。
|-
|迭代指數表示法
|<math>{}^{n}a = \exp_a^n(1)</math>
|迭代指數可以為1以外的數字。
|-
|Hooshmand符號記法<ref name="uxp">{{cite journal
|author=M. H. Hooshmand,
|year=2006
|title=Ultra power and ultra exponential functions
|journal=[[Integral Transforms and Special Functions]]
|volume=17
|issue=8
|pages=549–558
|doi= 10.1080/10652460500422247
}}</ref>
| <math>\operatorname{uxp}_a n, \,  a^{\frac{n}{}} </math>
|
|-
|[[超運算]]符號
|<math>a^{(4)}n, \, \operatorname{hyper}_4(a,n)</math>
|允許把4改為更大的整數，以表示更高級數的[[超運算]]
|-
|[[ASCII]]符號
|<code>a^^n</code>
|由於上箭號的用法跟[[脫字符]]（<code>^</code>）一樣，'''迭代冪次'''運算符可寫成（<code>^^</code>）。同样允许更多^连续表示；
|}

上述的迭代指數表示法中使用的迭代指數記號，一般被定義成：
:<math>\exp_a^n(x) = a^{a^{\cdot^{\cdot^{a^x}}}}</math>，當中包含''n'' 個''a''。

以下是一些用以表示迭代指數的符號：
:{| class="wikitable"
! 名稱
! 形式
! 描述
|-
|標準符號記法
|<math>\exp_a^n(x)</math>
|[[歐拉]]創造了符號<math>\exp_a(x)</math>來表示<math>a^x</math>，設<math>f(x)=\exp_a(x)</math>，則<math>\exp_a^n(x)</math>可表示成[[迭代函數]]<math>f^n(x)</math>。
|-
|[[高德納箭號表示法]]
|<math>(a{\uparrow})^n(x)</math>
|允許增加箭號的數目用以表示'''超冪'''（'''迭代冪次'''）和超指數（迭代指數），在[[大數 (數學)|大數]]一條目中常被用到。
|-
|Ioannis Galidakis符號記法
|<math>\,{}^{n}(a, x)</math>
|底數部分可以改成較長的表達式。<ref>Ioannis Galidakis. [http://ioannis.virtualcomposer2000.com/math/papers/Extensions.pdf On Extending hyper4 and Knuth’s Up-arrow Notation to the Reals] {{Wayback|url=http://ioannis.virtualcomposer2000.com/math/papers/Extensions.pdf |date=20060525195301 }}</ref>
|-
|ASCII（輔助）
|<code>a^^n@x</code>
|以迭代指數作為迭代冪次的輔助函數。
|-
|ASCII（標準）
|<code>exp_a^n(x)</code>
|基於標準符號記法。
|-
|J符號記法
|<code>x^^:(n-1)x</code>
|重複冪次。詳見[[J語言]]<ref>{{cite web|title=Power Verb|url=http://www.jsoftware.com/help/dictionary/d202n.htm|work=J Vocabulary|publisher=J Software|accessdate=28 October 2011|archive-date=2021-05-06|archive-url=https://web.archive.org/web/20210506154716/https://www.jsoftware.com/help/dictionary/d202n.htm|dead-url=no}}</ref>
|}

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

:{| class="wikitable"
! <math>x</math>
! <math>{}^{2}x</math>
! <math>{}^{3}x</math>
! <math>{}^{4}x</math>
|- align=right
| 1
| 1
| 1
| 1
|- align=right
| 2
| 4
| 16
| 65,536
|- align=right
| 3
| 27
| 7,625,597,484,987
| <math>\exp_{10}^3(1.09902)</math>
|- align=right
| 4
| 256
| <math>\exp_{10}^2(2.18788)</math>
| <math>\exp_{10}^3(2.18726)</math>
|- align=right
| 5
| 3,125
| <math>\exp_{10}^2(3.33931)</math>
| <math>\exp_{10}^3(3.33928)</math>
|- align=right
| 6
| 46,656
| <math>\exp_{10}^2(4.55997)</math>
| <math>\exp_{10}^3(4.55997)</math>
|- align=right
| 7
| 823,543
| <math>\exp_{10}^2(5.84259)</math>
| <math>\exp_{10}^3(5.84259)</math>
|- align=right
| 8
| 16,777,216
| <math>\exp_{10}^2(7.18045)</math>
| <math>\exp_{10}^3(7.18045)</math>
|- align=right
| 9
| 387,420,489
| <math>\exp_{10}^2(8.56784)</math>
| <math>\exp_{10}^3(8.56784)</math>
|- align=right
| 10
| 10,000,000,000
| <math>\exp_{10}^3(1)</math>
| <math>\exp_{10}^4(1)</math>
|}

== 以較原始的函數來作逼近法 ==
=== 多項式''逼近法'' ===
==== 線性逼近法 ====
以下是對迭代冪次函數的''線性逼近法''（以滿足連續函數的需要性，逼近法基於此函數的可微性質）的定義：
:<math>{}^{x}a \approx \begin{cases}
\log_a(^{x+1}a) & x \le -1 \\
1 + x & -1 < x \le 0 \\
a^{\left(^{x-1}a\right)} & 0 < x
\end{cases}</math>
由此可得：
:{| class="wikitable"
! 逼近法
! 定義域
|-
|<math>\,{}^{x}a \approx x+1</math>
|for <math>-1<x<0</math>
|-
|<math>\,{}^{x}a \approx a^x</math>
|for <math>0<x<1</math>
|-
|<math>\,{}^{x}a \approx a^{a^{(x-1)}}</math>
|for <math>1<x<2</math>
|}
及其他逼近值。不過，這個函數只是分段可微的；在x為整數的時候，函數的導數要乘以<math>\ln{a}</math>。

=====例子=====
<math>\begin{align}
 {}^{\frac{1}{2}\pi}e &\approx 5.868...,\\
 {}^{-4.3}0.5 &\approx 4.03335...
\end{align}</math>

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

*<math> f(x)=a^{f(x-1)} \; \; \mbox{for all} \; \; x>-1, \; f(0)=1</math>,
*<math>f</math> 於 <math> (-1, 0) </math> 之上可微；
*<math>f^\prime</math> 在 <math> (-1,0),</math> 之上是一個[[單調函數]]；
*<math>f^\prime (0^+) = (\ln a) f^\prime (0^-) \mbox{ or } f^\prime (-1^+) = f^\prime (0^-).</math>
由此，<math>f</math> 可於以下方程式中獨特地定義出來：
:<math>f(x)=\exp^{[x]}_a (a^{x})=\exp^{[x+1]}_a(x) \quad \mbox{for all} \; \; x > -2</math>，

當中，<math> (x)=x-[x] </math> 標示x的分數部分，以及<math> \exp^{[x]}_a </math> 是函數<math> \exp_a </math> 的<math> [x] </math>-[[迭代函數]]。

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

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

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

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

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

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

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

==== 更高次的逼近法 ====
以下是對a ≠ e的迭代冪次函數的''二次逼近法''（逼近法基於此函數的可微性質）的定義：
:<math>{}^{x}a \approx \begin{cases}
\log_a({}^{x+1}a) & x \le -1 \\
\frac{-\log(a) \;+\; \sqrt{x [1 \;-\; \log(a)^2] \;+\; 1}}{1 \;-\; \log(a)} & -1 < x \le 0 \\
a^{\left({}^{x-1}a\right)} & 0 < x
\end{cases}</math>
這對所有<math>x > 0</math> 可微，但並不二次可微。若<math>a = e</math>，應採用線性逼近法。

有關於三次逼近法，以及一個能歸納出''n'' 次逼近法的方法，詳見：<ref name=SolveAnalyt>Andrew Robbins. [http://iteror.org/big/Source/articles/TetrationSuperlog_Robbins.pdf Solving for the Analytic Piecewise Extension of Tetration and the Super-logarithm] {{Wayback|url=http://iteror.org/big/Source/articles/TetrationSuperlog_Robbins.pdf |date=20160306133753 }}</ref>。

<!--
參考文件內所提供的只是對於迭代對數（slog）的二次及n次逼近法，如要將之轉換成對於迭代冪次的二次及n次逼近法，必先透過解二次及n次一元多次方程來求出迭代冪次函數中相對應的高度值。
-->

== 推廣 ==
'''迭代冪次'''能被推廣至定義<math> {^n 0} </math> 乃至其他[[定義域]]。

=== 對底數定義域的推廣 ===
==== 推廣至底數為0 ====
指數<math>0^0</math> 是不連續定義的。所以，迭代冪次<math>\,{^n0}</math> 於早期提出的公式中亦並不被清晰定義。不過，<math>\lim_{x\rightarrow0}{^n}x</math> 是定義良好的，並存在：
:<math>\lim_{x\rightarrow0} {}^{n}x = \begin{cases} 1, & n \mbox{ even} \\ 0, & n \mbox{ odd} \end{cases} </math>
所以我們能連續地定義<math>{}^{n}0 = \lim_{x\rightarrow0} {}^{n}x</math>。這等價於定義<math> 0^0 = 1 </math>。

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

==== 推廣至複數底 ====

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

:<math>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)</math>

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


:<math>\begin{align}
 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{align}</math>

從而導出以下的逼近值：

:{| class="wikitable"
! <math>{}^{n}i</math>
! 逼近值
|-
|<math>{}^{1}i = i</math>
|''i''
|-
|<math>{}^{2}i = i^{\left({}^{1}i\right)}</math>
|<math>0.2079</math>
|-
|<math>{}^{3}i = i^{\left({}^{2}i\right)}</math>
|<math>0.9472 + 0.3208i</math>
|-
|<math>{}^{4}i = i^{\left({}^{3}i\right)}</math>
|<math>0.0501 + 0.6021i</math>
|-
|<math>{}^{5}i = i^{\left({}^{4}i\right)}</math>
|<math>0.3872 + 0.0305i</math>
|-
|<math>{}^{6}i = i^{\left({}^{5}i\right)}</math>
|<math>0.7823 + 0.5446i</math>
|-
|<math>{}^{7}i = i^{\left({}^{6}i\right)}</math>
|<math>0.1426 + 0.4005i</math>
|-
|<math>{}^{8}i = i^{\left({}^{7}i\right)}</math>
|<math>0.5198 + 0.1184i</math>
|-
|<math>{}^{9}i = i^{\left({}^{8}i\right)}</math>
|<math>0.5686 + 0.6051i</math>
|}

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

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

=== 對高度值定義域的推廣 ===
==== 推廣至無窮高 ====

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

:<math>\begin{align}
\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{align}</math>

一般來說，有限冪塔<math>x^{x^{\cdot^{\cdot^{\cdot}}}}</math> （定義為當''n'' 趨向於無窮時<math>{}^{n}x</math> 的極限）收歛於''e''<sup>−''e''</sup>&nbsp;≤&nbsp;''x''&nbsp;≤&nbsp;''e''<sup>1/''e''</sup>，大約是位於0.066和1.44之間的區間，這是由[[萊昂哈德·歐拉]]所證明的。如果存在一個極限，這會是一個對於方程式''y''&nbsp;=&nbsp;''x''<sup>''y''</sup> 的正實數解。所以，''x''&nbsp;=&nbsp;''y''<sup>1/''y''</sup>。根據這個極限的定義，當''x''&nbsp;>&nbsp;''e''<sup>1/''e''</sup> 時，''x'' 的無窮迭代冪次不具收歛性，因為''y''<sup>1/''y''</sup> 的最大值為''e''<sup>1/''e''</sup>。

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

:<math>{}^{\infty}z = z^{z^{\cdot^{\cdot^{\cdot}}}} = \frac{\mathrm{W}(-\ln{z})}{-\ln{z}} </math>

當中的''W''（''z''）表示[[朗伯W函數]]。

由於極限''y''&nbsp;=&nbsp;<sup>∞</sup>''x'' （如果存在的話，即當''e''<sup>−''e''</sup>&nbsp;<&nbsp;''x''&nbsp;<&nbsp;''e''<sup>1/''e''</sup>）必定滿足''x''<sup>''y''</sup>&nbsp;=&nbsp;''y''，因而得出''x''&nbsp;↦&nbsp;''y''&nbsp;=&nbsp;<sup>∞</sup>''x'' 是''y''&nbsp;↦&nbsp;''x''&nbsp;=&nbsp;''y''<sup>1/''y''</sup> 的反函數（較低枝）。

==== （有限地）推廣至負高 ====
為了維持原有法則：
:<math> {^{(k+1)}a} = a^{({^{k}a})} </math>
當<math>k</math> 為負值時，必須用到以下的遞迴關係：
:<math> {^{k}a} = \log_a \left( {^{(k+1)}a} \right) </math>

所以：
:<math> {}^{(-1)}a = \log_{a} \left( {}^{0}a \right) = \log_{a} 1 = 0 </math>

不過，當高度值為更小的負值時就不能以此方法良好地定義出來了，因為
:<math> {}^{(-2)}a = \log_{a} \left( {}^{-1}a \right) = \log_{a} 0 </math>
這是定義不良好的。

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

==== 推廣至實高 ====

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

一般來說，問題在於對任何實數''a''&nbsp;>&nbsp;0，找出一個能滿足以下條件的''超冪函數'' <math>\,f(x) = {}^{x}a</math> ，當中<math>x > -2</math> 並為實數：
*<math>\,{}^{(-1)}a = 0</math>
*<math>\,{}^{0}a = 1</math>
*<math>\,{}^{x}a = a^{\left({}^{(x-1)}a\right)}</math> 對所有實數''x''&nbsp;>&nbsp;-1。
*第四個條件通常為以下其中一個：
:*A的''連續性'' 需要（通常是指在''a'' 和''x'' 皆可變時，<math>{}^{x}a</math> 為連續，當中<math>x > 0</math>）。
:*A的''可微性'' 需要（可以是對於''x'' 一次、二次、''k'' 次，或是無窮可微）。
:*A的''規律性'' 需要（僅當對於''x'' 二次可微），即是：
::<math>\left( \frac{d^2}{dx^2}f(x) > 0\right)</math> 對於所有<math> x > 0 </math>

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

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

其中一个简单的推广方式为：

<math>a[n]b = c</math> 

当且仅当<math>c[n](\frac{1}{b}) = a, n>1</math> <ref>{{Cite journal|title=幂指函数的推广及其猜想|author=崔雷|url=|journal=科协论坛|issue=1|doi=|others=|year=2011|volume=|page=96|pmid=}}</ref>。可以判断，当<math>n=2 </math>、<math>n=3 </math>时，乘法和幂次成立：<math>a\times b=c</math> 当且仅当<math>c\times(\frac{1}{b})=a</math>;<math>a^b=c</math> 当且仅当<math>c^{\frac{1}{b}}=a</math>

举例，当<math>n=4 </math> 时, 计算 <math>{}^{\frac{1}{2}}256</math> 和 <math>{}^{\frac{3}{4}}256</math> ：
<math>{}^{2}4=4^4=256</math>, 则 <math>{}^{\frac {1}{2}}256=4</math>。
<math>{}^{3}2={2}^{{2}^{2}}=16</math>,则<math>{}^{\frac{1}{3}}16=2</math>；
由 256= 16^2 = 16^(16^^(1/3)) = 16^^(1+1/3) = 16^^(4/3) 得 256^^(3/4) = 16。

==== 推廣至複高 ====

以下為有關[[猜想]]<ref name="MOC09">{{cite journal
|author=D. Kouznetsov
|title=Solution of <math>F(z+1)=\exp(F(z))</math> in complex <math>z</math>-plane
|journal=[[Mathematics of Computation]]
|volume=78
|issue=267
|pages=1647–1670
|url=http://www.ams.org/mcom/2009-78-267/S0025-5718-09-02188-7/S0025-5718-09-02188-7.pdf
|doi=10.1090/S0025-5718-09-02188-7|date=July 2009}}</ref>：函數''F'' 為方程式{{nowrap|1=''F''(''z''+1)=exp(''F''(''z''))}} 的解並滿足以下附加條件：當''z''逼近於±''i'' ∞及''F'' 在整個複數''z'' 平面當中為[[全純函數]]，''F''(0)=1 及''F''(''z'')逼近於對數的[[不動點]] （大約為 0.31813150520476413531 ± 1.33723570143068940890''i''）。

<!--
that there exists a unique function ''F'' which is a solution of the equation {{nowrap|1=''F''(''z''+1)=exp(''F''(''z''))}} and satisfies the additional conditions that ''F''(0)=1 and ''F''(''z'') approaches the [[Fixed point (mathematics)|fixed points]] of the logarithm (roughly 0.31813150520476413531 ± 1.33723570143068940890''i'')
as ''z'' approaches ±''i''∞ and that ''F'' is [[holomorphic]] in the whole complex ''z''-plane, except the part of the real axis at ''z''≤−2.
This function is  shown in the figure at right.
The complex double precision approximation of this function is available online.<ref name="code">[http://en.citizendium.org/wiki/TetrationDerivativesReal.jpg/code Mathematica code for evaluation and plotting of the tetration and its derivatives].</ref>

The requirement of [[holomorphism]] of tetration is important for the uniqueness. Many functions <math>S</math> can be constructed as
: <math>S(z)=F\!\left(~z~
+\sum_{n=1}^{\infty} \sin(2\pi n z)~ \alpha_n
+\sum_{n=1}^{\infty} \Big(1-\cos(2\pi n z) \Big) ~\beta_n \right)</math>
where <math>\alpha</math> and <math>\beta</math> are real sequences which decay fast enough to provide the convergence of the series,
at least at moderate values of <math>\Im(z)</math>.

The function ''S'' satisfies the tetration equations {{nowrap|1=''S''(''z''+1)=exp(''S''(''z''))}}, ''S''(0)=1, and if ''α<sub>n</sub>'' and ''β<sub>n</sub>'' approach 0 fast enough it will be analytic on a neighborhood of the positive real axis. However, if some elements of {''α''} or  {''β''} are not zero, then function ''S'' has multitudes of additional singularities and cutlines in the complex plane, due to the exponential growth of sin and cos along the imaginary axis; the smaller the coefficients {''α''} and {''β''} are, the further away these singularities are from the real axis.

The extension of tetration into the complex plane is thus essential for the uniqueness; the [[real-analytic]] tetration is not unique.


-->

== 相關條目 ==
* [[阿克曼函數]]
* [[超運算]]

== 參考資料 ==
{{reflist}}

* Daniel Geisler, ''[http://www.tetration.org/ tetration.org] {{Wayback|url=http://www.tetration.org/ |date=20110720002023 }}''
* Ioannis Galidakis, ''[https://web.archive.org/web/20090520164620/http://ioannis.virtualcomposer2000.com/math/exponents4.html On extending hyper4 to nonintegers]'' (undated, 2006 or earlier) ''(A simpler, easier to read review of the next reference)''
* Ioannis Galidakis, ''[https://web.archive.org/web/20060525195301/http://ioannis.virtualcomposer2000.com/math/papers/Extensions.pdf On Extending hyper4 and Knuth's Up-arrow Notation to the Reals]'' (undated, 2006 or earlier).
* Robert Munafo, ''[http://mrob.com/pub/math/hyper4.html#real-hyper4 Extension of the hyper4 function to reals] {{Wayback|url=http://mrob.com/pub/math/hyper4.html#real-hyper4 |date=20100817011400 }}'' ''(An informal discussion about extending tetration to the real numbers.)''
* Lode Vandevenne, ''[http://groups.google.com/group/sci.math/browse_frm/thread/39a7019f9051c5d7/8c1c4facb7e4bd6d#8c1c4facb7e4bd6d Tetration of the Square Root of Two] {{Wayback|url=http://groups.google.com/group/sci.math/browse_frm/thread/39a7019f9051c5d7/8c1c4facb7e4bd6d#8c1c4facb7e4bd6d |date=20121110063348 }}'', (2004). ''(Attempt to extend tetration to real numbers.)''
* Ioannis Galidakis, ''[https://web.archive.org/web/20061011192213/http://ioannis.virtualcomposer2000.com/math/  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. [http://mathworld.wolfram.com/PowerTower.html Power Tower] {{Wayback|url=http://mathworld.wolfram.com/PowerTower.html |date=20140427030550 }}
* Joseph MacDonell, ''[http://www.faculty.fairfield.edu/jmac/ther/tower.htm Some Critical Points of the Hyperpower Function] {{Wayback|url=http://www.faculty.fairfield.edu/jmac/ther/tower.htm |date=20100117161604 }}''.
* Dave L. Renfro, ''[http://mathforum.org/discuss/sci.math/t/350321 Web pages for infinitely iterated exponentials] {{Wayback|url=http://mathforum.org/discuss/sci.math/t/350321 |date=20050218235100 }}'' ''(Compilation of entries from questions about tetration on sci.math.)''
* R. Knobel. "Exponentials Reiterated." ''[[American Mathematical Monthly]]'' '''88''', (1981), p.&nbsp;235-252.
* Hans Maurer. "Über die Funktion <math>y=x^{[x^{[x(\cdots)]}]}</math> für ganzzahliges Argument (Abundanzen)." ''Mittheilungen der Mathematische Gesellschaft in Hamburg'' '''4''', (1901), p.&nbsp;33-50. ''(Reference to usage of <math>\ {^{n} a}</math> from Knobel's paper.)''
* Marco Ripà, "La strana coda della serie n^n^...^n", Trento (2011). ISBN 9788861787896

== 外部連結 ==
* [https://web.archive.org/web/20120214211853/http://andydude.5gigs.net/tetration.co.cc/htdocs/ Andrew Robbins' site on tetration]
* [http://www.tetration.org/ Daniel Geisler's site on tetration] {{Wayback|url=http://www.tetration.org/ |date=20110720002023 }}
* [http://math.eretrandre.org/tetrationforum/index.php Tetration Forum] {{Wayback|url=http://math.eretrandre.org/tetrationforum/index.php |date=20100722031427 }}
* [http://en.citizendium.org/wiki/Tetration tetration at citizendium] {{Wayback|url=http://en.citizendium.org/wiki/Tetration |date=20101027101339 }}
* [http://go.helms-net.de/math/tetdocs/ Gottfried Helms' site on tetration] {{Wayback|url=http://go.helms-net.de/math/tetdocs/ |date=20200220013651 }}

[[Category:指数]]
[[Category:数字运算]]
[[Category:大数]]