二重指数関数

単一の指数関数（青い曲線）と比較した二重指数関数（赤い曲線）。

二重指数関数（にじゅうしすうかんすう、テンプレート:Lang-en-short）とは、指数関数の肩に指数関数を持つ関数である。一般形は $f(x)=a^{b^x}=a^{(b^x)}$。 指数関数と同様に、二重指数関数型積分公式など、応用上はネイピア数を底に取ったものがよく使われる。

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

$e^x<x!<e^{e^x}$

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

二重指数関数 $a^{b^x}$ の逆関数は、二重対数 ${\log }_b({\log }_{a}x)$ である。

二重指数列

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

• フェルマー数

$F(m)=2^{2^m}+1$

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

$MM(p)=2^{2^{p-1}}-1$

• シルベスター数列の要素（テンプレート:OEIS2C）

$s_n=\lfloor E^{2^{n+1}}+\frac{1}{2}\rfloor$

なお、E ≈ 1.264084735305302 はヴァルディの定数（テンプレート:OEIS2C）である

• k-aryブール関数:

$2^{2^k}$

• 素数 2, 11, 1361, ... (テンプレート:OEIS2C)

$a(n)=\lfloor A^{3^n}\rfloor$

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

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

微分・積分

自然二重指数関数

微分

$\frac{d}{dx}{e}^{e^x}=e^{x+e^x}$

積分

積分定数は省略する。

$\int e^{e^x}dx=\mathrm{Ei}(e^x)$

ただし、ここで $\mathrm{Ei}(x)$ は指数積分である。

テイラー展開

自然二重指数関数 $e^{e^x}$ は、ベル数 $B_n$ の指数型母関数

$\sum _{n=0}^{\mathrm{\infty }}\frac{B_n}{n!}{x}^n=e^{e^x-1}$

により

$e^{e^x}=e\sum _{n=0}^{\mathrm{\infty }}\frac{B_n}{n!}{x}^n$

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

応用

計算機科学

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

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

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

数論

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

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

理論生物学

人口統計学では、人口増加は二重指数関数的であるとされることがある。VarfolomeyevとGurevichが実験的に検証したところ、テンプレート:Math を一年あたりの100万人の人口増加として

$N(y)=375.6\cdot 1.00185^{1.00737^{y-1000}}$

であった。

物理学

テンプレート:仮リンクの自己振動モデルでは、振幅が大きい場合に振幅の対数が時間に対して指数関数的に変化するため、振幅は時間の二重指数関数として変化する。

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

関連項目

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