迭代冪次

在數學裡面，迭代冪次 。範例如下：以上每一個運算級別皆被定義為對上一運算級別的迭代。迭代冪次跟首三個超運算級別的一大不同之處在於首三個超運算級別中的"n" 可以是任意複數，而"n" 為任意複數的迭代冪次目前則未有一個概括的定義。另外，迭代冪次不屬於初等函式。加法("a" + "n")是最基本的運算級別；乘法("a" × "n")亦是其中一種初等函式，在自然數的域當中，它可被視為"a" 的"n" 次鏈式加法；冪("formula_7")則可被視為"a" 的"n" 次鏈式乘法。如此類推，迭代冪次("formula_8")可被視為"a" 的"n" 次鏈式冪。當中，變數"a" 將會在下文被稱為底數，而變數"n" 則是此函式的"高度值"，在下文有時會被稱為上標數。定義.對於任何正實數"a" (formula_9)及非負整數"n" (formula_10)，formula_11被定義為：formula_12迭代乘方.從上述定義中可見，當計算被表達成冪塔的迭代冪次時，冪運算是先由最深層的上標數做起。例子如下：formula_13要注意，冪是不遵從結合律的，因此以其他順序來計算上述表示式將會出現不一樣的答案，例如：formula_14因此，冪塔一定要從上而下來運算。在電腦程式中，此制式稱為右結合律。當"a"與"n"為互質時，我們可以透過尤拉定理來計算formula_15的最後"m"個小數位值。專門用語.迭代冪次在英文裡面稱作"tetration"，有時亦會被稱為"superexponentiation"及"hyperpower"等，這些詞語也可被用來表示這種運算模式。迭代冪次有時會跟一些相關的函式及表示式混淆，這是因為在這些函式及表示式當中的大部分專門用語均適用於迭代冪次。以下列舉了一些相關用語：在首兩種表示式當中的"a" 是"底數"，而"a" 出現的數目則是"高度值"。在第三種表示式當中，"n" 是"高度值"，但每一個底皆不相同。要注意的是，迭代指數的形式有時也會被稱為迭代冪次。這是模稜兩可的，因為這可以指迭代乘方或迭代指數。符號標示法.可以用來表示迭代冪次的符號有很多，當中有一些符號可用來表示更高階的迭代運算。上述的迭代指數表示法中使用的迭代指數記號，一般被定義成：formula_16，當中包含"n" 個"a"。以下是一些用以表示迭代指數的符號：例子.在下表，大部分數值大得連科學記數法也難以表示，因此使用了迭代指數記號，設底數為10來表示。包含小數點的數值是近似值。以較原始的函式來作逼近法.多項式"逼近法".線性逼近法.以下是對迭代冪次函式的"線性逼近法"的定義：formula_17由此可得：及其他逼近值。不過，這個函式只是分段可微的；在x為整數的時候，函式的導數要乘以formula_18。例子.formula_19Hooshmand的手稿中有一個重要定理：設formula_20 是連續的並滿足以下條件：由此，formula_22 可於以下方程式中獨特地定義出來：formula_28，當中，formula_29 標示x的分數部分，以及formula_30 是函式formula_31 的formula_32-迭代函式。以上四個條件中的第二個條件僅當formula_22 在[-1, 0]之上是線性函式，由此可作為上述對formula_22 的定義的證明。對自然迭代冪次函式formula_35 的線性逼近法是連續可微的，但其二階導數的輻角並不是整數值。Hooshmand為此導出了以下的這一個獨特定理：若formula_36是一個連續函式並滿足以下條件:那麼formula_41。這個定理的證明跟之前提到的證明法十分相似；遞迴方程式保證了formula_43 ，而formula_22 的凸函式的性質僅當formula_22 在(-1, 0)之上是線性的。所以，自然迭代函式的線性逼近法是凸於formula_46 之上的方程式formula_47 的唯一解。所有其他充足可微的解在區間(-1, 0)之上必定存在一個拐點。更高次的逼近法.以下是對a ≠ e的迭代冪次函式的"二次逼近法"的定義：formula_48這對所有formula_49 可微，但並不二次可微。若formula_50，應採用線性逼近法。有關於三次逼近法，以及一個能歸納出"n" 次逼近法的方法，詳見：。推廣.迭代冪次能被推廣至定義formula_51 乃至其他定義域。對底數定義域的推廣.推廣至底數為0.指數formula_52 是不連續定義的。所以，迭代冪次formula_53 於早期提出的公式中亦並不被清晰定義。不過，formula_54 是定義良好的，並存在：formula_55所以我們能連續地定義formula_56。這等價於定義formula_57。在這推廣之下，formula_58，所以最初定義出來的法則formula_59 依然成立。推廣至複數底.由於複數可以作為指數，迭代冪次的底數可以為formula_60 的形式，當中的formula_61 是−1的平方根。舉例來說，設formula_62，對於formula_63，其迭代冪次可由自然對數中的來達成，並用尤拉公式得出以下關係：formula_64這表明了formula_65 在任何formula_66 的情況下的遞迴定義為：formula_67從而匯出以下的逼近值：根據上一部分對於迭代冪次的逆向關係的定義，可得formula_68 及formula_69，當中負值的"n" 在虛數軸上會得出無窮的結果。在複平面當中，整個序列成螺旋形地趨向於極限formula_70，這個極限可理解為"n" 為無窮時，函式相對應的值。這樣的迭代冪次序列由尤拉時期已開始被研究，但是由於序列的雜亂性而難以被理解。歷史上大部分有正式發表的研究皆集中於冪塔函式的收歛性。高運算效率電腦連同計算機代數系統和分形幾何系統的出現大大地促進了近代對於"迭代冪次"的研究。現時對迭代冪次的研究均建基於複動力學的普遍知識及對指數對映的專門研究。對高度值定義域的推廣.推廣至無窮高.迭代冪次可被推廣至無窮高。這是因為當底數在一個特定的區間之內而高度值趨向於無窮時，迭代冪次會收歛於一個有限的數值。舉例來說，formula_72 收歛於2，因此可以說是等於2。對2的趨向性可從對以下小型有限冪塔的計算而看出來：formula_73一般來說，有限冪塔formula_74 收歛於"e"−"e" ≤ "x" ≤ "e"1/"e"，大約是位於0.066和1.44之間的區間，這是由萊昂哈德·尤拉所證明的。如果存在一個極限，這會是一個對於方程式"y" = "x""y" 的正實數解。所以，"x" = "y"1/"y"。根據這個極限的定義，當"x" &gt; "e"1/"e" 時，"x" 的無窮迭代冪次不具收歛性，因為"y"1/"y" 的最大值為"e"1/"e"。以上特性可以被推廣至複數底"z"，定義如下：formula_76當中的"W"表示朗伯W函式。由於極限"y" = ∞"x" 。推廣至負高.為了維持原有法則：formula_77當formula_78 為負值時，必須用到以下的遞迴關係：formula_79所以：formula_80不過，當高度值為更小的負值時就不能以此方法良好地定義出來了，因為formula_81這是定義不良好的。更要注意的是，當formula_82 時，任何根據法則對於formula_83 的定義都是一致的，因為formula_84 對於任何 formula_85。推廣至實高.當前還未有對於推廣迭代冪次至formula_86 為實數或複數值的共識解。以下提到了兩種不同的逼近法。一般來說，問題在於對任何實數"a" &gt; 0，找出一個能滿足以下條件的"超冪函式" formula_87 ，當中formula_88 並為實數：*A的"連續性" 需要。*A的"可微性" 需要。*A的"規律性" 需要，即是：formula_94 對於所有formula_95對於第四個條件，不同的編者有不同的說法，而且亦視乎於採用何種逼近法。對於把迭代冪次推廣至實高，有兩種主要的逼近法，一種是建基於"規律性" 需要，另一種則建基於"可微性" 需要。這兩種逼近法似乎十分相異，皆因它們所得出的結果並不相符。幸運地，任何在一段長度的區間內滿足到其中一種逼近法的解，皆能被推廣為一個對於所有正實數高度值的迭代冪次的通解。當formula_96 在一段長度的區間內被定義，對任何formula_88，整個函式的後續將能被輕易地定義出來。其中一個簡單的推廣方式為：formula_98當且僅當formula_99 。可以判斷，當formula_100、formula_101時，乘法和冪次成立：formula_102 當且僅當formula_103;formula_104 當且僅當formula_105舉例，當formula_106 時, 計算 formula_107 和 formula_108 ：formula_109, 則 formula_110。formula_111,則formula_112；由 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")逼近於對數的不動點 。