4 Elementary FunctionsLogarithm, Exponential, Powers

§4.12 Generalized Logarithms and Exponentials

A generalized exponential function ϕ⁡(x) satisfies the equations

4.12.1 ϕ⁡(x+1) =eϕ⁡(x),
−1<x<∞,
4.12.2 ϕ⁡(0) =0,

and is strictly increasing when 0≤x≤1. Its inverse ψ⁡(x) is called a generalized logarithm. It, too, is strictly increasing when 0≤x≤1, and

4.12.3 ψ⁡(ex) =1+ψ⁡(x),
−∞<x<∞,
4.12.4 ψ⁡(0) =0.

These functions are not unique. The simplest choice is given by

4.12.5 ϕ⁡(x)=ψ⁡(x)=x,
0≤x≤1.

Then

4.12.6 ϕ⁡(x)=ln⁡(x+1),
−1<x<0,

and

4.12.7 ϕ⁡(x)=exp⁡⋯⁢exp⏟⌊x⌋⁢ times⁢(x−⌊x⌋),
x>1.

Correspondingly,

4.12.8 ψ⁡(x)=ex−1,
−∞<x<0,

and

4.12.9 ψ⁡(x)=ℓ+ln⁡⋯⁢ln⏟ℓ⁢ times⁢x,
x>1,

where ℓ is the positive integer determined by the condition

4.12.10 0≤ln⁡⋯⁢ln⏟ℓ⁢times⁢x<1.

Both ϕ⁡(x) and ψ⁡(x) are continuously differentiable.

For further information, see Clenshaw et al. (1986). For C∞ generalized logarithms, see Walker (1991). For analytic generalized logarithms, see Kneser (1950).