In mathematics, a half-exponential function is a functional square root of an exponential function. That is, a function f {\displaystyle f} such that f {\displaystyle f} composed with itself results in an exponential function:
f ( f ( x ) ) = a b x , {\displaystyle f{\bigl (}f(x){\bigr )}=ab^{x},}
for some constants a {\displaystyle a} and b {\displaystyle b} . Hellmuth Kneser first proposed a holomorphic construction of the solution of f ( f ( x ) ) = e x {\displaystyle f{\bigl (}f(x){\bigr )}=e^{x}} in 1950.
Impossibility of a closed-form formula If a function f {\displaystyle f} is defined using the standard arithmetic operations, exponentials, logarithms, and real-valued constants, then f ( f ( x ) ) {\displaystyle f{\bigl (}f(x){\bigr )}} is either subexponential or superexponential. Thus, a Hardy L-function cannot be half-exponential.
Construction Any exponential function can be written as the self-composition f ( f ( x ) ) {\displaystyle f(f(x))} for infinitely many possible choices of f {\displaystyle f} . In particular, for every A {\displaystyle A} in the open interval ( 0 , 1 ) {\displaystyle (0,1)} and for every continuous strictly increasing function g {\displaystyle g} from [ 0 , A ] {\displaystyle [0,A]} onto [ A , 1 ] {\displaystyle [A,1]} , there is an extension of this function to a continuous strictly increasing function f {\displaystyle f} on the real numbers such that f ( f ( x ) ) = exp x {\displaystyle f{\bigl (}f(x){\bigr )}=\exp x} . The function f {\displaystyle f} is the unique solution to the functional equation
f ( x ) = { g ( x ) if x ∈ [ 0 , A ] , exp g − 1 ( x ) if x ∈ ( A , 1 ] , exp f ( ln x ) if x ∈ ( 1 , ∞ ) , ln f ( exp x ) if x ∈ ( − ∞ , 0 ) . {\displaystyle f(x)={\begin{cases}g(x)&{\mbox{if }}x\in [0,A],\\\exp g^{-1}(x)&{\mbox{if }}x\in (A,1],\\\exp f(\ln x)&{\mbox{if }}x\in (1,\infty ),\\\ln f(\exp x)&{\mbox{if }}x\in (-\infty ,0).\\\end{cases}}}
A simple example, which leads to f {\displaystyle f} having a continuous first derivative f ′ {\displaystyle f'} everywhere, and also causes
… excerpt ends here. Continue reading the full article.

