二重指数関数

二重指数関数（にじゅうしすうかんすう、）とは、指数関数の肩に指数関数を持つ関数である。一般形は 。
指数関数と同様に、二重指数関数型積分公式など、応用上はネイピア数を底に取ったものがよく使われる。

指数の底が  を満たすなら、二重指数関数は通常の指数関数よりも速く大きくなる。
また二重指数関数は階乗より急速に増大する。階乗は通常の（一重の）指数関数よりも速く増大するため、充分大きい  について以下の関係が成り立つ（ はネイピア数）：

二重指数関数に比べて速く増大する関数として、例えばテトレーションとアッカーマン関数がよく知られている（その他さまざまな関数の増加率については例えばランダウの記号を参照のこと）。

二重指数関数  の逆関数は、二重対数  である。

 二重指数列 
正の整数（または実数）の数列で、数列のn番目の項を与える関数がnの二重指数関数で上下を押さえられるものを、二重指数関数的に成長する数列という。

 フェルマー数



 調和素数：1/2 + 1/3 + 1/5 + 1/7 + ... + 1 / pが0、1、2、3、..を超える素数p 0で始まる最初のいくつかの番号は、2、5、277、5195977、...（）である。
 二重メルセンヌ数



 シルベスター数列の要素（）


 なお、E ≈ 1.264084735305302 はヴァルディの定数（）である

 k-aryブール関数:



 素数 2, 11, 1361, ... ()


 なお、A ≈ 1.306377883863はミルズの定数である。

アルフレッド・エイホとニール・スローンは、いくつかの重要な整数列で、各項が定数に前の項の2乗を加えたものであることを観察した。それらは、そのような数列が、中間の指数2を持つ二重指数関数の値を最も近い整数に丸めることによって形成できることを示している. IonaşcuとStănicăは、数列が二重指数列と定数のフロアになるためのより一般的な十分条件について説明している.。

 微分・積分 

 自然二重指数関数 
微分

積分

積分定数は省略する。

ただし、ここで  は指数積分である。

 テイラー展開 
自然二重指数関数  は、ベル数  の指数型母関数

により

とマクローリン展開される。

 応用 

 計算機科学 
計算複雑性理論では、以下に示すようなアルゴリズムにおいて二重指数関数時間を要する。

 プレスバーガー算術の決定問題の計算複雑性は二重指数関数時間に漸近される。 
 体上のグレブナー基底の計算。多項式の最大次数を  、変数の数を  とすると、グレブナー基底の計算複雑性は最悪  となることがある。
 ACユニファーの完全系の発見.
 CTLの満足.。これは実際には完全である。ただし、2-EXPTIMEとは  を  の多項式として  の時間で解ける決定問題の集合である。
 実閉体上での （を参照）.
 正規表現の補数の計算

アルゴリズムの設計と解析における他の問題では、二重指数数列は解析ではなくアルゴリズム設計の中で使用される。例えば、凸包を計算するでは、テスト値 （最終的な出力サイズの推定値）を用いて一連の計算を行い、一連の各テスト値に対して  の時間を要する。これらのテスト値は二重指数関数的に成長するため、数列の各計算の時間は  の関数として指数関数的に成長し、総時間は数列の最終ステップの時間が支配的となる。したがって、このアルゴリズムの全体的な時間は  となり、は実際の出力サイズとなる。

 数論 
数論的な上限は二重指数関数的になるものもある。たとえば、 個の異なる素因数を持つ奇数完全数は最大で  となる（,2003）.。また、  の格子点を内部に持つ 次元超多面体の体積は最大で  になる（Pikhurko）。

情報化時代に知られている最大の素数の桁数は、1951年にMillerとWheelerがEDSAC1で79桁の素数を発見して以来、年に対する二重指数関数として近似的に成長している.。

 理論生物学 
人口統計学では、人口増加は二重指数関数的であるとされることがある。VarfolomeyevとGurevichが実験的に検証したところ.、 を一年あたりの100万人の人口増加として



であった。

 物理学 
の自己振動モデルでは、振幅が大きい場合に振幅の対数が時間に対して指数関数的に変化するため、振幅は時間の二重指数関数として変化する.。

また、樹状高分子は二重指数関数的に成長することが観察されている。

 参考文献 

 関連項目 
 指数関数
 命数法 - かつて中国で考案された上数や、華厳経の数詞の方式が二重指数関数に当たる。
 巨大数

Category:指数関数
Category:初等特殊関数
Category:関数解析学
Category:数学に関する記事