Función exponencial doble

Una función exponencial doble es una constante elevada a la potencia de una función exponencial . La fórmula general es (donde a > 1 y b > 1), que crece mucho más rápido que una función exponencial. Por ejemplo, si a = b = 10:${\displaystyle f(x)=a^{b^{x}}=a^{(b^{x})}}$

• f (x) = 10 ^{10 x}
• f (0) = 10
• f (1) = 10 ¹⁰
• f (2) = 10 ¹⁰⁰ = gúgol
• f (3) = 10 ¹⁰⁰⁰
• f (100) = 10 ^{10 100} = googolplex .

Los factoriales crecen más rápido que las funciones exponenciales, pero mucho más lentamente que las funciones exponenciales dobles. Sin embargo, la tetración y la función de Ackermann crecen más rápido. Consulte la notación Big O para ver una comparación de la tasa de crecimiento de varias funciones.

La inversa de la función exponencial doble es el logaritmo doble log(log( x )). La función exponencial doble compleja es entera , debido a que es la composición de dos funciones enteras y .${\displaystyle f(x)=a^{x}=e^{x\ln a}}$${\displaystyle g(x)=b^{x}=e^{x\ln b}}$

Se dice que una secuencia de números enteros positivos (o números reales) tiene una tasa de crecimiento exponencial doble si la función que da el término n de la secuencia está acotada superior e inferiormente por funciones exponenciales dobles de n . Algunos ejemplos incluyen

• Los números de Fermat $${\displaystyle F(m)=2^{2^{m}}+1}$$
• Los primos armónicos: Los primos p , en los que la secuencia 1/2 + 1/3 + 1/5 + 1/7 + ⋯ + 1/ p excede 0, 1, 2, 3, …
  Los primeros números, comenzando con 0, son 2, 5, 277, 5195977, ... (secuencia A016088 en la OEIS )
• Los números dobles de Mersenne $${\displaystyle MM(p)=2^{2^{p}-1}-1}$$
• Los elementos de la sucesión de Sylvester (secuencia A000058 en la OEIS ) donde E ≈ 1.264084735305302 es la constante de Vardi (secuencia A076393 en la OEIS ).$${\displaystyle s_{n}=\left\lfloor E^{2^{n+1}}+{\frac {1}{2}}\right\rfloor }$$
• El número de funciones booleanas k -arias :$${\displaystyle 2^{2^{k}}}$$
• Los números primos 2, 11, 1361, ... (secuencia A051254 en la OEIS ) donde A ≈ 1,306377883863 es la constante de Mills .$${\displaystyle a(n)=\left\lfloor A^{3^{n}}\right\rfloor }$$

Aho y Sloane observaron que en varias secuencias de números enteros importantes , cada término es una constante más el cuadrado del término anterior. Demuestran que dichas secuencias se pueden formar redondeando al entero más cercano los valores de una función exponencial doble con exponente medio 2. ^[1] Ionaşcu y Stănică describen algunas condiciones suficientes más generales para que una secuencia sea el piso de una secuencia exponencial doble más una constante. ^[2]

En la teoría de la complejidad computacional , 2-EXPTIME es la clase de problemas de decisión que se pueden resolver en tiempo exponencial doble. Es equivalente a AEXPSPACE, el conjunto de problemas de decisión que se pueden resolver mediante una máquina de Turing alternada en el espacio exponencial, y es un superconjunto de EXPSPACE . ^[3] Un ejemplo de un problema en 2-EXPTIME que no está en EXPTIME es el problema de probar o refutar afirmaciones en la aritmética de Presburger . ^[4]

En algunos otros problemas en el diseño y análisis de algoritmos, las secuencias exponenciales dobles se utilizan dentro del diseño de un algoritmo en lugar de en su análisis. Un ejemplo es el algoritmo de Chan para calcular envolventes convexas , que realiza una secuencia de cálculos utilizando valores de prueba h _i  = 2 ^{2 i} (estimaciones para el tamaño de salida final), tomando tiempo O( n  log  h _i ) para cada valor de prueba en la secuencia. Debido al crecimiento exponencial doble de estos valores de prueba, el tiempo para cada cálculo en la secuencia crece exponencialmente como una función de i , y el tiempo total está dominado por el tiempo para el paso final de la secuencia. Por lo tanto, el tiempo total para el algoritmo es O( n  log  h ) donde h es el tamaño de salida real. ^[5]

Algunos límites teóricos de números son doblemente exponenciales. Se sabe que los números perfectos impares con n factores primos distintos tienen como máximo , un resultado de Nielsen (2003). ^[6]${\displaystyle 2^{4^{n}}}$

El volumen máximo de un politopo en una red entera de dimensión d con k ≥ 1 puntos de red interior es como máximo

${\displaystyle k\cdot (8d)^{d}\cdot 15^{d\cdot 2^{2d+1}},}$

un resultado de Pikhurko (2001). ^[7]

El número primo más grande conocido en la era electrónica ha crecido aproximadamente como una función exponencial doble del año desde que Miller y Wheeler encontraron un primo de 79 dígitos en EDSAC 1 en 1951. ^[8]

En dinámica de poblaciones, a veces se supone que el crecimiento de la población humana es doblemente exponencial. Varfolomeyev y Gurevich ^[9] ajustaron experimentalmente

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

donde N ( y ) es la población en millones en el año y .

En el modelo de autopulsación del oscilador de Toda , el logaritmo de la amplitud varía exponencialmente con el tiempo (para amplitudes grandes), por lo que la amplitud varía como una función exponencial doble del tiempo. ^[10]

Se ha observado que las macromoléculas dendríticas crecen de forma doblemente exponencial. ^[11]