This page will document applications of the Lambert W function that are too short to comprise individual presentations on this website.

Definition of the Function
Solution of the Equation y^x = x^y
Solutions of Other Equations
Interated Exponentiation

Definition of the Function

This function is defined implicitly as the inverse of the nonlinear transcendental equation

$W (z) e^{W (z)} = z$

Since the function inverts this relation, one can immediately write

$W^{- 1} (z) = z e^{z}$

The Lambert function has an infinite number of complex branches, like the complex natural logarithm that approximates it. The principal branch is designated $W_{0}$ .

Slight rearranging the defining equation,

$z = e^{W + ln W} = e^{W + ln W + 2 n π i}$

it is clear that the following relation holds between different branches of the Lambert function:

$W_{n} + ln W_{n} = W_{0} + ln W_{0} + 2 n π i$

This is analogous to how branches of the complex logarithm are related to one another.

Both the function and its inverse are supported in Math as fully complex functions.

Solution of the Equation y^x = x^y

This equation clearly has a trivial solution $y = x$ . It also has a solution in terms of powers of two:

$2^{4} = 2^{2} \cdot 2^{2} = 4^{2}$

There is additionally a solution that is not obvious. First take a logarithm of both sides of the equation,

$\frac{ln y}{y} = \frac{ln x}{x}$

then note the following inverse function value:

$W^{- 1} (- ln y) = - \frac{ln y}{y}$

This means one can write

$y = exp [- W (- \frac{ln x}{x})]$

without much algebraic manipulation. The two continuous solutions look like this:

The portion in red comes from the principal branch $W_{0}$ of the Lambert function, while the portion in magenta requires the branch $W_{- 1}$ . The two solutions meet at $x = e$ where

$y = exp [- W (- \frac{1}{e})] = exp [- (- 1)] = e$

on both of the branches involved.

Another way to represent the nonobvious solution is via a parametrization. Setting $y = u x$ , the equation becomes

$(u x)^{x} = x^{u x} = (x^{u})^{x} \to \begin{array}{l} x = u^{1 / (u - 1)} \\ y = u^{u / (u - 1)} \end{array}$

It is straightforward to insert this parametrization in the previous solution to verify that it is correct.

Solutions of Other Equations

Other bases in the defining equation are handled rather easily:

$\begin{array}{l} x b^{x} = a = x e^{x ln b} \\ x = \frac{W (a ln b)}{ln b} \end{array}$

A double exponentiated variable can be solved with an intermediate exponential $x = e^{y}$ :

$\begin{array}{c} ln [x^{x^{a}} = b] \\ x^{a} ln x = ln b \\ y e^{a y} = ln b \\ x = exp [\frac{W (a ln b)}{a}] \end{array}$

A linear combination of a variable and its exponential can handled with an intermediate linear variable $x = b - y$ :

$\begin{array}{c} a^{x} + x = b \\ a^{b} e^{- y ln a} = y \\ x = b - \frac{W (a^{b} ln a)}{ln a} \end{array}$

The particular branch has not be specified in these solutions since any branch serves as a solution. This is because the dependent variable appears in entire functions. This is not true of the next equation.

Taking a logarithm of both sides of the following transcendental equation indicates that is is soluble by the Lambert function:

$\begin{array}{c} exp [ln x + a x = b] \\ x e^{a x} = e^{b} \\ x = \frac{W (a e^{b})}{a} \end{array}$

Numerical evaluation of this expression followed by substitution in the original equation indicates that it is not satisfied by just any branch. The necessary branch can be determined using the relation above between different branches:

$\begin{array}{c} ln a x + a x = b + ln a \\ W_{0} (a e^{b}) + ln W_{0} (a e^{b}) + 2 n π i = b + ln a \\ n = \frac{b + ln a - W_{0} (a e^{b}) - ln W_{0} (a e^{b})}{2 π i} \end{array}$

Then the correct solution to the original equation is

$ln x + a x = b \to x = \frac{W_{n} (a e^{b})}{a}$

with n as indicated.

Interated Exponentiation

Interated exponentiation is defined by the expression

$f (z) = z^{z^{z^{z^{⋰}}}}$

whenever it converges: for real numbers that occurs for $e^{- e} \leq z \leq e^{1 / e}$ . The expression can be evaluated with the Lambert function by rearranging into the latter’s defining equation:

$\begin{array}{c} f (z) = z^{f (z)} = e^{f ln z} \\ - f ln z e^{- f ln z} = - ln z \\ f (z) = - \frac{W (- ln z)}{ln z} \end{array}$

And here’s how this function looks on the specified interval, using the principal branch of the Lambert function:

Uploaded 2020.11.27 — Updated 2020.12.29 analyticphysics.com

Contents

Definition of the Function

Solution of the Equation yx = xy

Solutions of Other Equations

Interated Exponentiation

Solution of the Equation y^x = x^y