二重指数関数

二重指数関数（にじゅうしすうかんすう、）とは、指数関数の肩に指数関数を持つ関数である。一般形は formula_1。
指数関数と同様に、二重指数関数型積分公式など、応用上はネイピア数を底に取ったものがよく使われる。
指数の底が を満たすなら、二重指数関数は通常の指数関数よりも速く大きくなる。
また二重指数関数は階乗より急速に増大する。階乗は通常の（一重の）指数関数よりも速く増大するため、充分大きい について以下の関係が成り立つ（ はネイピア数）：
formula_2
二重指数関数に比べて速く増大する関数として、例えばテトレーションとアッカーマン関数がよく知られている（その他さまざまな関数の増加率については例えばランダウの記号を参照のこと）。
二重指数関数 formula_3 の逆関数は、二重対数 formula_4 である。
二重指数列.
正の整数（または実数）の数列で、数列のn番目の項を与える関数がnの二重指数関数で上下を押さえられるものを、二重指数関数的に成長する数列という。
アルフレッド・エイホとニール・スローンは、いくつかの重要な整数列で、各項が定数に前の項の2乗を加えたものであることを観察した。それらは、そのような数列が、中間の指数2を持つ二重指数関数の値を最も近い整数に丸めることによって形成できることを示している IonaşcuとStănicăは、数列が二重指数列と定数のフロアになるためのより一般的な十分条件について説明している。
微分・積分.
自然二重指数関数.
微分
formula_10
積分
積分定数は省略する。
formula_11
ただし、ここで formula_12 は指数積分である。
テイラー展開.
自然二重対数関数 formula_13 は、ベル数 formula_14 の指数型母関数
formula_15
により
formula_16
とマクローリン展開される。
応用.
計算機科学.
計算複雑性理論では、以下に示すようなアルゴリズムにおいて二重指数関数時間を要する。
アルゴリズムの設計と解析における他の問題では、二重指数数列は解析ではなくアルゴリズム設計の中で使用される。例えば、凸包を計算するでは、テスト値 （最終的な出力サイズの推定値）を用いて一連の計算を行い、一連の各テスト値に対して の時間を要する。これらのテスト値は二重指数関数的に成長するため、数列の各計算の時間は の関数として指数関数的に成長し、総時間は数列の最終ステップの時間が支配的となる。したがって、このアルゴリズムの全体的な時間は となり、は実際の出力サイズとなる。
数論.
数論的な上限は二重指数関数的になるものもある。たとえば、 個の異なる素因数を持つ奇数完全数は最大で となる（,2003）。また、 の格子点を内部に持つ 次元超多面体の体積は最大で になる（Pikhurko）。
情報化時代に知られている最大の素数の桁数は、1951年にMillerとWheelerがEDSAC1で79桁の素数を発見して以来、年に対する二重指数関数として近似的に成長している。
理論生物学.
人口統計学では、人口増加は二重指数関数的であるとされることがある。VarfolomeyevとGurevichが実験的に検証したところ、 を一年あたりの100万人の人口増加として
であった。
物理学.
の自己振動モデルでは、振幅が大きい場合に振幅の対数が時間に対して指数関数的に変化するため、振幅は時間の二重指数関数として変化する。
また、樹状高分子は二重指数関数的に成長することが観察されている。