Comencemos con el caso de los poderes finitos para este problema. Comencemos también con un problema más simple.
Deje [math] \ displaystyle y_1 = x ^ x [/ math]. Se puede encontrar por diferenciación o mediante el uso de varios sistemas de álgebra computacional que:
[matemáticas] \ displaystyle \ frac {\ mathrm {d} y_1} {\ mathrm {d} x} = x ^ x (1+ \ ln (x)) [/ math]
Para ver pruebas adicionales del resultado anterior, vea las respuestas a la pregunta de Quora ¿Cuál es la derivada de [matemáticas] x ^ x [/ matemáticas]?
- Cómo encontrar las integrales indefinidas (5-8x ^ 3 + 3x ^ 6) dx
- ¿Cómo debo explicar que ‘la ecuación polinómica simétrica se expresa por x + y y xy’ hasta el año 1 en la escuela secundaria?
- Si [math] \ sqrt x = 111,111,111 [/ math], ¿cuál es el valor de [math] x [/ math]?
- Cómo calcular el límite de [matemáticas] \ sqrt {x ^ 2 + x – 2} + x [/ matemáticas] a medida que x se acerca a [matemáticas] \ pm \ infty [/ matemáticas]
- Si [math] p = 3 ^ {\ frac13} \ times3 ^ {\ frac29} \ times3 ^ {\ frac {3} {27}} \ times \ ldots [/ math], ¿cómo encuentro el valor de [math ] p ^ {\ frac13} [/ math]?
Deje [math] \ displaystyle y_2 = x ^ {x ^ x} [/ math]. Se puede demostrar que:
[matemáticas] \ displaystyle \ frac {\ mathrm {d} y_2} {\ mathrm {d} x} = x ^ {x ^ x} \ left (x ^ {x-1} + x ^ x \ ln (x) (1+ \ ln (x)) \ right) [/ math]
Para ver pruebas adicionales del resultado anterior, consulte las respuestas a la pregunta de Quora ¿Cuál es la derivada de [matemáticas] x ^ {x ^ x} [/ matemáticas]?
Tomando [math] \ displaystyle y_3 = x ^ {x ^ {x ^ x}} [/ math], la derivada es (verificada con Mathematica):
[matemáticas] \ displaystyle \ frac {\ mathrm {d} y_3} {\ mathrm {d} x} = x ^ {x ^ {x ^ x}} \ left (x ^ {x ^ x-1} + x ^ {x ^ x} \ ln (x) \ left (x ^ {x-1} + x ^ x \ ln (x) (1+ \ ln (x)) \ right) \ right) [/ math]
Ahora deje que [math] \ displaystyle y = x ^ {x ^ {x ^ {x ^ {x ^ {x ^ {x ^ {x ^ x}}}}}}} [/ math]
Esto llevará un proceso de diferenciación más largo y algo más complicado, pero uno debe seguir las mismas reglas y procedimientos que en los poderes o torres de poder más simples y anteriores.
Usando Mathematica y escribiendo el código:
D [x ^ x ^ x ^ x ^ x ^ x ^ x ^ x ^ x, x]
se encuentra que [math] \ displaystyle \ frac {\ mathrm {d} y} {\ mathrm {d} x} [/ math] es igual a:
El resultado de diferenciación anterior se puede ampliar para tomar la siguiente forma:
[matemáticas] \ displaystyle \ large \ boxed {\ frac {\ mathrm {d} y} {\ mathrm {d} x} = \\ x ^ {x ^ x + x ^ {x ^ {x ^ {x ^ { x ^ {x ^ {x ^ x}}}}}} + x ^ {x ^ {x ^ {x ^ {x ^ {x ^ x}}}}}} + x ^ {x ^ {x ^ {x ^ {x ^ x}}}} + x ^ {x ^ {x ^ {x ^ x}}} + x ^ {x ^ {x ^ x}} + x ^ {x ^ x} + x} \ ln ^ 8 (x) \\ + x ^ {x ^ x + x ^ {x ^ {x ^ {x ^ {x ^ {x ^ {x ^ x}}}}}} + x ^ {x ^ {x ^ {x ^ {x ^ {x ^ x}}}}} + x ^ {x ^ {x ^ {x ^ {x ^ x}}}} + x ^ {x ^ {x ^ {x ^ x} }} + x ^ {x ^ {x ^ x}} + x ^ {x ^ x} + x} \ ln ^ 7 (x) \\ + x ^ {x ^ x + x ^ {x ^ {x ^ {x ^ {x ^ {x ^ {x ^ x}}}}}} + x ^ {x ^ {x ^ {x ^ {x ^ {x ^ x}}}}} + x ^ {x ^ { x ^ {x ^ {x ^ x}}}} + x ^ {x ^ {x ^ {x ^ x}}} + x ^ {x ^ {x ^ x}} + x ^ {x ^ x} + x-1} \ ln ^ 6 (x) \\ + x ^ {x ^ x + x ^ {x ^ {x ^ {x ^ {x ^ {x ^ {x ^ x}}}}}} + x ^ {x ^ {x ^ {x ^ {x ^ {x ^ x}}}}} + x ^ {x ^ {x ^ {x ^ {x ^ x}}}} + x ^ {x ^ {x ^ {x ^ x}}} + x ^ {x ^ {x ^ x}} + x ^ {x ^ x} -1} \ ln ^ 5 (x) \\ + x ^ {x ^ {x ^ { x ^ {x ^ {x ^ {x ^ {x ^ x}}}}}} + x ^ {x ^ {x ^ {x ^ {x ^ {x ^ x}}}}} + x ^ {x ^ {x ^ {x ^ {x ^ x}}}} + x ^ {x ^ {x ^ {x ^ x}}} + x ^ {x ^ {x ^ x}} + x ^ {x ^ x } -1} \ ln ^ 4 (x) \\ + x ^ {x ^ {x ^ {x ^ {x ^ {x ^ {x ^ {x ^ x}}}}}} + x ^ {x ^ {x ^ {x ^ {x ^ {x ^ x}}}}} + x ^ {x ^ {x ^ {x ^ {x ^ x}}}}} + x ^ {x ^ {x ^ {x ^ x}}} + x ^ {x ^ {x ^ x}} – 1} \ ln ^ 3 (x) \\ + x ^ {x ^ {x ^ {x ^ {x ^ {x ^ {x ^ { x ^ x}}}}}} + x ^ {x ^ {x ^ {x ^ {x ^ {x ^ x}}}}} + x ^ {x ^ {x ^ {x ^ {x ^ x} }}} + x ^ {x ^ {x ^ {x ^ x}}} – 1} \ ln ^ 2 (x) \\ + x ^ {x ^ {x ^ {x ^ {x ^ {x ^ { x ^ {x ^ x}}}}}} + x ^ {x ^ {x ^ {x ^ {x ^ {x ^ x}}}}} + x ^ {x ^ {x ^ {x ^ {x ^ x}}}} – 1} \ ln (x) \\ + x ^ {x ^ {x ^ {x ^ {x ^ {x ^ {x ^ {x ^ x}}}}}} \\ + x ^ {x ^ {x ^ {x ^ {x ^ {x ^ x}}}}} – 1}} [/ matemáticas ]
Esta es la solución requerida para la pregunta dada.
A continuación se muestra un gráfico de la parte real de la función [matemáticas] \ displaystyle y = x ^ {x ^ {x ^ {x ^ {x ^ {x ^ {x ^ {x ^ x}}}}}}}} [ / math] (en naranja) y de su derivada [math] \ displaystyle \ frac {\ mathrm {d} y} {\ mathrm {d} x} [/ math] (/ blue), en Mathematica:
Se puede verificar con un CAS que las dos curvas anteriores se cruzan en los puntos que tienen coordenadas [matemática] (0.395435, 0.581064) [/ matemática] y [matemática] (1, 1) [/ matemática].
En caso de que haya un número infinito de potencias, se sabe que la Tetración infinita o la torre de potencia infinita de [matemática] x [/ matemática] (extendida a números complejos) se puede expresar como:
[matemática] {\ displaystyle {} ^ {\ infty} x = x ^ {x ^ {\ cdot ^ {\ cdot ^ {\ cdot}}}} = {\ frac {\ mathrm {W} (- \ ln { x})} {- \ ln {x}}}} [/ math]
donde [math] W (z) [/ math] es la función Lambert W o la función de registro del producto.
Deje [math] \ displaystyle f = {\ frac {W (- \ ln (x))} {- \ ln (x)}} [/ math]. La primera derivada de [math] f [/ math] se puede encontrar aplicando la regla del cociente de diferenciación y usando las derivadas de [math] W (x) [/ math] y de [math] \ ln (x) [ / matemáticas], calculando y desarrollando.
Se encuentra que la derivada es:
[matemáticas] \ displaystyle \ boxed {\ begin {align} \ frac {df} {dx} & = \ frac {W (- \ ln (x)) ^ 2} {x \ ln ^ 2 (x) (W ( – \ ln (x)) + 1)} \\ & = \ frac {e ^ {- 2 W (- \ ln (x))}} {x W (- \ ln (x)) + x} \ end {alinear}} [/ matemáticas]
Para obtener más detalles sobre el último resultado anterior, vea mi respuesta La respuesta de Emad Noujeim a ¿Cómo puedo diferenciar [matemáticas] y = x ^ {x ^ {x ^ {\ cdots \ infty}}} [/ matemáticas]?