テトレーション

テトレーションとは、冪乗の次となる4番目のハイパー演算である。つまり、自らの冪乗を指定された回数反復する二項演算である。超冪ともいう。テトレーションという語はルーベン・グッドスタインによって、「4」を意味する接頭辞 tetra- と「繰り返し」を意味する iteration から作り出された。

1. 定義
-----

任意の正の実数 mvar および非負整数 mvar に対し、次のようにテトレーション na}} を再帰的に定める。

冪乗の演算が右結合、すなわち 101010}} のように積みあがった指数の上側から計算していくように、テトレーションの計算も na}} に対する n}} の部分から計算していく。

定義から直ちに、次の等式が成り立つ。

a}} と 10}} が互いに素であるとき、na}} の最後の d}} 桁がオイラーの定理から求められる。

2. 表記
-----

テトレーションには多数の表記が存在する。テトレーションに使われる表記の中にはペンテーションやヘキセーションなど、より高次のハイパー演算の表記にも使用できるものもいくつかある。

{|class="wikitable"! 名称 ! 表記 ! 説明 |- | ルーディ・ラッカーの表記 | | マウラーとによって導入され、ルーディ・ラッカーの『』で広まった。 |- | クヌースの矢印表記 | | 矢印または添字を増やすことで拡張できる。 |- | コンウェイのチェーン表記 | | 数字を増やす、またはチェーンを拡張することで拡張できる。 |- | アッカーマン関数 | | 底が のときに限り、アッカーマン関数による表記が可能。 |- | 指数関数の反復合成による表示 | | 右辺の表記に関しては後述。 |- | フーシュマンドの表記 | | フーシュマンドの論文では「ultra power」と書かれている。 |- | ハイパー演算子表記 |
| 数字を増やすことで拡張でき、一連のハイパー演算子を与える。 |- | ASCII表記 | a^^n | ASCII文字で表現する際、冪乗をキャレット^で表すことから。 |- | バウアーズの配列表記 | | 拡張配列表記へと一般化でき、さらにBEAFおよびバードの配列表記へと一般化される。 |}

2.1. 反復指数関数
-----------

反復指数関数、あるいは反復冪とは指数関数の反復合成、あるいはその類似の関数およびその値を指して呼ばれる関数である。以降で表記を簡単にするため、非負整数 n}} と正実数 a}} の2つのパラメータを持つ実関数 を次のように定義する：

この関数は他に次のような表記で書かれる。

{| class="wikitable"! 名称 ! 表記 ! 説明 |- | | | 指数関数の表記 はオイラーによる。 |- | クヌースの矢印表記 | | 矢印の数を増やすことで拡張できる。:en:Large numbersを参照。 |- | ガリダキスの表記 | | 底の表記が小さくならない。 |- | ASCII表記 | | 標準的な表記をベースにASCII文字のみを使用した表記。 |- | J言語表記 | | |}

3. 例
----

以下の表では、大部分の値が指数表記による表記すら困難なほど巨大であるため、それらの表記には底を 10}} とした反復指数関数を用いた。なお小数部を持つ値はすべて近似値である。

{| class="wikitable"! ! ! ! |- align=right | 1 | 1  | 1  | 1  |- align=right | 2 | 4  | 16  | 65,536  |- align=right | 3 | 27  | 7,625,597,484,987  | 1.258015 × 103,638,334,640,024 |- align=right | 4 | 256  | 1.34078 ×10154  |  |- align=right | 5 | 3,125  | 1.91101 × 102,184  |  |- align=right | 6 | 46,656  | 2.65912 × 1036,305  |  |- align=right | 7 | 823,543  | 3.75982 × 10695,974  |  |- align=right | 8 | 16,777,216  | 6.01452 × 1015,151,335 |  |- align=right | 9 | 387,420,489  | 4.28125 × 10369,693,099 |  |- align=right | 10 | 10,000,000,000  | 1010,000,000,000 |  |}

4. 微積分
------

テトレーション na}} に対する a}} は正の実数に対して定義できるので、n}} を固定したときにそれぞれ微分と積分が定義できる。

4.1. 高さが定数の微分
-------------

任意の正の整数 n}} に対し、 nx}} の微分は次のようになる。

4.2. 高さが定数の積分
-------------

1/2mvar、 2mvar の 0}} から 1}} までの定積分は二年生の夢と呼ばれる。任意の正の整数 n}} に対し、nx}} の不定積分は次のようになる。

ここで aj,k}} は

で与えられる有理数であり、 mvar は第2種不完全ガンマ関数を用いて

で与えられる。

5. 拡張
-----

テトレーションは、高さが正の整数以外の場合に拡張できる。

5.1. 底が0}}
----------

0の0乗が単純には定義できないため、 mvar は直接定義できないが、極限が

と収束するため、

と定義する。

なお、ここで 00}} が一意に決まらないにもかかわらず 20 }} が定義できるのは、 ab}} の a}} と b}} が等しいという条件下で極限を取ったからである。

5.2. 底が複素数
----------

複素数の累乗が可能なことから、テトレーションは複素数の底に対しても定義できる。

例えばテトレーション ni}} は対数関数の主枝を用いて定められる。このときオイラーの公式から次の式が得られる。

従って任意の mvar に対して mvar が次のように再帰的に定義できる。

ここから以下の近似値が導かれる。

{|class="wikitable"! ! 近似値 |- | | |- | | |- | | |- | | |- | | |- | | |- | | |- | | |- | | |}

同様に値を逆向きに求めていくことで 0mvar、 −1mvar が得られる。 ni}} の値を複素平面上にプロットすると、点列は渦巻状に極限値 0.4383 + 0.3606mvar へと近づく。この値は mvar のときと解釈できる。

このようなテトレーションの列に関する研究はオイラーの時代から続けられてきているものの、そのカオス的な振る舞いのために不明な所が多い。これまでに発表された研究のほとんどは、無限反復指数関数の収束について焦点を当てたものである。現在の研究は高性能のコンピュータを用いたフラクタルと数式処理システムの出現に大きな恩恵を受けている。テトレーションについて分かっていることの多くは、複素力学系の一般的な知識と、指数写像の専門的な研究によるものである。

5.3. 高さが無限大
-----------

ある範囲の底 a}} に対して underset は有限の値に収束するので、この範囲においてテトレーションは高さ無限大の場合へ拡張できる。例えば underset は収束して、その値は 2}} であるから、 ∞(sqrt であると言える。

一般に無限反復指数関数 は、 n}} が無限大に向かうときの nx}} の極限として定義される。これが mvar の範囲で収束することはオイラーによって示された。

極限値 ∞mvar が存在するとき、これは方程式 を満たす正の実数に等しい。

式より mvar であり、このとき右辺の最大値が mvar であることから、 mvar については極限値が存在しないことがわかる。また は の逆関数であることがわかる。

式から、極限値 ∞mvar をランベルトのW関数 W}} を用いて次のように定義することで複素数の底 z}} に対しても拡張される。

5.4. 高さが非正
----------

定義より

が成り立つので、この関係を mvar に対しても帰納的に拡張し

と定義する。

ただし、定義できるのは mvar までで、log 0}} が存在しないため mvar に対しては定義できず、従って mvar に対して拡張できない。

5.5. 高さが実数
----------

テトレーションを高さ実数または複素数へ拡張する、という一般的な問題への広く受け入れられた解答は今のところ存在しない。いくつかのアプローチについて以下で述べる。

一般にこの問題は任意の実数 mvar に対し、実数 mvar で定義され、次の条件を満たす超指数関数 //f//   (mvar を求めるものである。

//f//    =}} 1}}、
任意の実数 mvar に対し
三つ目の条件は通常次の中のどれかである。
連続性
微分可能性
正則性 任意の実数 mvar に対してが成立する。三つ目の条件は著者およびアプローチによって異なる。実数高さへの拡張には二つの主要なアプローチが存在し、一つは正則性、もう一つは微分可能性に基づいたものである。これらの二つのアプローチは、相反する結果を導くことから互いに大きく異なるとされ、調和は難しいと考えられている。

長さ 1}} の区間で xa}} が定義されれば、任意の mvar に対し容易に拡張される。

5.5.1. 一次近似
-----------

一次近似は次のように与えられる。ゆえに

{| class="wikitable"! 近似 ! 定義域 |- | | |- | | |- | | |- | | |} と以下続く。但しこの微分可能性はあくまで区分的なものである。整数 x}} を境に微分係数が ln mvar 倍されるため、整数 x}} において微分不可能となる。

以下は値の計算例である。

5.5.2. Ultra exponential function
---------------------------------

フーシュマンドは ultra exponential function という関数を導入した。 これはテトレーションの一次近似を表し、 uxpmvar と表記される。 uxpmvar は、次の定理によって一意に定められる。

証明は、三番目から五番目の条件より //f//}} が [−1, 0]}} で線型となることから従う。

フーシュマンドはさらに次のような一意性定理を導いた。

証明は先とほぼ同様である。漸化式より となること、三番目の条件より //f//}} が }} で線型となることから従う。

定理より、 mvar に対し //f//    =}} 1}} であって、かつ }} で下に凸であるような関数 //f//}} は唯一 uxp}} のみである。//f//}} が十分微分可能であるためには }} で極値を持つ必要がある。

5.5.3. より高次の近似
--------------

二次近似は次のように与えられる。これは任意の mvar について微分可能であるが二階微分可能でない。mvar のときこれは一次近似に等しくなる。

三次近似および高次への一般化は次のように与えられる。

5.6. 高さが複素数
-----------

次の条件を満たす関数 //F//}} が一意に定まる事が証明されている 。

mvar のとき //F//   (mvar が対数関数の不動点に近づく
実数 mvar を除く複素平面全域で正則この関数 //F//}} を右図に示す。また、底が //e// ではない場合についても、底がよりも大きい場合については同様に証明されている。倍精度浮動小数点数近似はオンラインで公開されている。

5.6.1. 一意性
----------

テトレーションを一意に定めるためには正則性の条件が重要となる。いま、関数 //F//}} に対し関数 //S//}} を次のように構成する。

ここで mvar、 mvar は十分速く減衰する実数列であり、少なくとも実軸の近くで //A//   (mvar、 //B//   (mvar を収束させるとする。

この関数 //S//}} は //F//}} と同様に最初の二つの条件 //S//    =}} 1}} を満たす。また mvar、 mvar が十分速く 0}} に近づくとき、//S//}} は正の実軸近傍で解析的となる。しかし mvar、 mvar が全て 0}} でない場合、//S//}} は新たに大量の特異点と不連続線を複素平面上に持つことになる。これは sin   (mvar、 cos   (mvar が虚軸に沿って指数関数的に増大するためである。これらの特異点は mvar、 mvar が小さければ小さいほど実軸から離れていくため、 //S//}} が正則であるためには全ての mvar、 mvar が 0}}となる、即ち //S// =}} //F//}} であればよい。

実解析上のテトレーションは一意的に定まらないので、複素平面への拡張は一意性に必要である。

6. 未解決問題
--------

msup, msup が整数になるような正の整数 mvar は存在するか。特に msup は整数かdate=2021年7月}}。
与えられた自然数とに対し、は整数か。 特に msup の正の解 mvar は有理数かdate=2021年7月}}。

7. 逆関係
------

冪は冪根と対数の二つの逆関係を持つ。これに倣って、以下テトレーションの逆関係をそれぞれ超冪根と超対数と呼ぶ。

7.1. 超冪根
--------

超冪根はテトレーションの底に関する逆関係である。

7.1.1. 超平方根
-----------

超平方根は msup の逆であり、二つの等価な表記 ssrt(mvar, sqrt を持つ。この関数は次のようなランベルトのW関数による表示を持つ。

またこの関数により、冪根と対数の間の鏡映的な関係が表れる。次の方程式は mvar のときに真となる。

平方根と同様に超平方根は一つとは限らない。ただし、平方根と異なり超平方根の個数を決定するのは容易とは言えない。一般に、mvar のとき mvar は二つの正の超平方根を 0 と 1 の間に持ち、1 < mvar のとき mvar は 1 より大きい一つの正の超平方根を持ち、0 < mvar のとき mvar は超平方根を実数の範囲で持たない。しかし上の式より、任意の mvar は可算無限個の超平方根を複素数の範囲で持つことが従う。

超平方根はネットワークのクラスタサイズを決定するのに使用される。

7.1.2. その他の超冪根
--------------

任意の整数 mvar に対して msup は定義され、mvar のとき増加となり msup を満たす。従って mvar のとき radic は存在する。しかし上述した一次近似を用いた場合、−1 < mvar のとき msup は mvar によらず mvar となり、従ってこの場合 mvar は存在しない。

超平方根のほか mvar 次の超冪根も同様の記号を用いて radic と表すことができる。

超冪根は高さが無限大の場合へと拡張することができ、これは 1/mvar の場合に限り問題なく定義される。msup が存在するとき msup が成り立つことから、無限次の超冪根は初等関数によって radic と表すことができる。例えば radic となる。

mvar を任意の正の整数とするとゲルフォント＝シュナイダーの定理より、超平方根 sqrt は整数または超越数となり、超立方根 radic は整数または無理数となる。

7.2. 超対数
--------

超対数はテトレーションの高さに関する逆関係である。

テトレーション msup を x}} に関して連続的に増加するものとして定義すると、任意の実数 mvar に対し超対数 slogmsub が定義される。

この関数 slogmsub は以下の式を満たす。

8. さらなる拡張
---------

テトレーションはという風に拡張できる。そしてテトレーションの回数を数え上げるペンテーションを定義することができ、と表せる。

同じようにヘキセーションも定義できる。この拡張を一般化してクヌースの矢印表記ができる。

またテトレーションはハイパーE表記でと書ける。

9. 脚注
-----

9.1. 注記
-------

group=注}}

9.2. 出典
-------

10. 関連項目
--------

巨大数
アッカーマン関数
二重指数関数
ハイパー演算
ペンテーション、ヘキセーション
反復対数
:en:Symmetric level-index arithmetic

11. 外部リンク
---------

[1]
[2]
[3]
[4]