从上述定义中可见,当计算被表达成幂塔的迭代幂次时,幂运算是先由最深层(以符号来表示,则最高级)的上标数做起。例子如下:
要注意,幂是不遵从结合律的,因此以其他顺序来计算上述表达式将会出现不一样的答案,例如:
因此,幂塔一定要从上而下(或从右至左)来运算。在计算机程序中,此制式称为右结合律。
当a与n为互质时,我们可以透过欧拉定理来计算的最后m个小数位值。
迭代幂次在英文里面称作tetration,有时亦会被称为superexponentiation及hyperpower(中文意译超幂)等,这些词语也可被用来表示这种运算模式。
迭代幂次有时会跟一些相关的函数及表达式混淆,这是因为在这些函数及表达式当中的大部分专门用语均适用于迭代幂次。以下列举了一些相关用语:
在首两种表达式当中的a 是底数,而a 出现的数目则是高度值(x 的出现使高度值 加1)。在第三种表达式当中,n 是高度值,但每一个底皆不相同。
要注意的是,迭代指数的形式有时也会被称为迭代幂次。这是模棱两可的,因为这可以指迭代乘方或迭代指数。
可以用来表示迭代幂次的符号有很多,当中有一些符号可用来表示更高级的迭代运算(hyper-5、hyper-6 等等)。
More information , ...
名称
|
形式
|
描述
|
标准符号记法
|
|
Maurer及Goodstein分别于1901年及1947年使用此记法,其后由美国数学家鲁迪·拉克于其著作"Infinity and the Mind"中将这个记法普及化。
|
高德纳箭号表示法
|
|
允许加上更多箭号,乃至在箭号的右上方标上正整数n(↑n),以作推广。
|
康威链式箭号表示法
|
|
允许把2 改成更大的整数以作推广(同上述推广法),亦可透过延长链式来作出推广。
|
阿克曼函数
|
|
底数为2()的情况下可写成阿克曼函数式。
|
迭代指数表示法
|
|
迭代指数可以为1以外的数字。
|
Hooshmand符号记法[1]
|
|
|
超运算符号
|
|
允许把4改为更大的整数,以表示更高级数的超运算
|
ASCII符号
|
a^^n
|
由于上箭号的用法跟脱字符(^ )一样,迭代幂次运算符可写成(^^ )。同样允许更多^连续表示;
|
Close
上述的迭代指数表示法中使用的迭代指数记号,一般被定义成:
- ,当中包含n 个a。
以下是一些用以表示迭代指数的符号:
在下表,大部分数值大得连科学记数法也难以表示,因此使用了迭代指数记号,设底数为10来表示。包含小数点的数值是近似值。
More information , ...
|
|
|
|
1
|
1
|
1
|
1
|
2
|
4
|
16
|
65,536
|
3
|
27
|
7,625,597,484,987
|
|
4
|
256
|
|
|
5
|
3,125
|
|
|
6
|
46,656
|
|
|
7
|
823,543
|
|
|
8
|
16,777,216
|
|
|
9
|
387,420,489
|
|
|
10
|
10,000,000,000
|
|
|
Close
以下是对迭代幂次函数的线性逼近法(以满足连续函数的需要性,逼近法基于此函数的可微性质)的定义:
由此可得:
及其他逼近值。不过,这个函数只是分段可微的;在x为整数的时候,函数的导数要乘以。
Hooshmand的手稿中有一个重要定理[1]:设。若 是连续的并满足以下条件:
- ,
- 于 之上可微;
- 在 之上是一个单调函数;
由此, 可于以下方程式中独特地定义出来:
- ,
当中, 标示x的分数部分,以及 是函数 的-迭代函数。
以上四个条件中的第二个条件仅当 在[-1, 0]之上是线性函数,由此可作为上述对 的定义的证明。
对自然迭代幂次函数 的线性逼近法是连续可微的,但其二阶导数的辐角并不是整数值。Hooshmand为此导出了以下的这一个独特定理:
若
是一个连续函数并满足以下条件:
- ;
- 于 之上是凸函数;
那么。(这里的 是Hooshmand给予自然迭代幂次函数的线性逼近法的名称。)
这个定理的证明跟之前提到的证明法十分相似;递回方程式保证了 ,而 的凸函数的性质仅当 在(-1, 0)之上是线性的。
所以,自然迭代函数的线性逼近法是凸于 之上的方程式 的唯一解。所有其他充足可微的解在区间(-1, 0)之上必定存在一个拐点。
以下是对a ≠ e的迭代幂次函数的二次逼近法(逼近法基于此函数的可微性质)的定义:
这对所有 可微,但并不二次可微。若,应采用线性逼近法。
有关于三次逼近法,以及一个能归纳出n 次逼近法的方法,详见:[4]。
迭代幂次能被推广至定义 乃至其他定义域。
迭代幂次可被推广至无穷高( 当中的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 < x < e1/e)必定满足xy = y,因而得出x ↦ y = ∞x 是y ↦ x = y1/y 的反函数(较低枝)。
当前还未有对于推广迭代幂次至 为实数或复数值的共识解。以下提到了两种不同的逼近法。
一般来说,问题在于对任何实数a > 0,找出一个能满足以下条件的超幂函数 ,当中 并为实数:
- 对所有实数x > -1。
- 第四个条件通常为以下其中一个:
- A的连续性 需要(通常是指在a 和x 皆可变时, 为连续,当中)。
- A的可微性 需要(可以是对于x 一次、二次、k 次,或是无穷可微)。
- A的规律性 需要(仅当对于x 二次可微),即是:
- 对于所有
对于第四个条件,不同的编者有不同的说法,而且亦视乎于采用何种逼近法。对于把迭代幂次推广至实高,有两种主要的逼近法,一种是建基于规律性 需要,另一种则建基于可微性 需要。这两种逼近法似乎十分相异,皆因它们所得出的结果并不相符。
幸运地,任何在一段长度的区间内满足到其中一种逼近法的解,皆能被推广为一个对于所有正实数高度值的迭代幂次的通解。当 在一段长度的区间内被定义,对任何,整个函数的后续将能被轻易地定义出来。
其中一个简单的推广方式为:
当且仅当 [5]。可以判断,当、时,乘法和幂次成立: 当且仅当; 当且仅当
举例,当 时, 计算 和 :
, 则 。
,则;
由 256= 16^2 = 16^(16^^(1/3)) = 16^^(1+1/3) = 16^^(4/3) 得 256^^(3/4) = 16。
以下为有关猜想[6]:函数F 为方程式F(z+1)=exp(F(z)) 的解并满足以下附加条件:当z逼近于±i ∞及F 在整个复数z 平面当中为全纯函数,F(0)=1 及F(z)逼近于对数的不动点 (大约为 0.31813150520476413531 ± 1.33723570143068940890i)。
M. H. Hooshmand,. Ultra power and ultra exponential functions. Integral Transforms and Special Functions. 2006, 17 (8): 549–558. doi:10.1080/10652460500422247.
Power Verb. J Vocabulary. J Software. [28 October 2011]. (原始内容存档于2021-05-06).
崔雷. 幂指函数的推广及其猜想. 科协论坛. 2011, (1): 96.
- 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 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