Contents
raw book

Given the real or complex-valued function \(F(x) = xe^x\), the Lambert W function\(W(y)\) or the product logarithm is the inverse of \(F(x)\).

Definition of Lambert W function

The Lambert W function can be defined as:

\[\begin{array}{rrl} & F(x) &= xe^x\\ \Leftrightarrow & F^{-1}(F(x)) &= F^{-1}(xe^x)\\ \Leftrightarrow & W(F(x)) &= W(xe^x)\\ \Leftrightarrow & x &= W(xe^x) \end{array} \]

or equivalently

\[W(y)e^{W(y)} = y\]

From the definion the following properties can be derived

\[W(0) = 0\]

\[W(e) = 1\]

\[W'(0) = 0\]

\[a e^{-W(a)} = W(a)\]

Example \(x=W(1)=\Omega\)

Using Newton’s method, we are looking for the root of

\[f(x) = xe^x - 1\]

which stems from the definition with \(y=1\):

\[xe^x=1 \Leftrightarrow xe^x-1=0\]

The root of \(f(x)\) should be on \((0, 1)\), which we conclude by the Intermediate value theorem, since probing the function with the interval boundaries gives

\[\begin{array}{l} f(0) = 0\cdot e^0 - 1 < 0\\ f(1) = 1\cdot e^1 - 1 > 1 \end{array}\]

Therefore the desired \(\Omega\) should be between 0 and 1. Applying Newtons method using the derivative \(f'(x)= (x+1)e^x = xe^x+e^x\):

\[\begin{array}{rl} x_{n+1} &= x_n - \frac{f(x_n)}{f'(x_n)}\\ &= x_n - \frac{x_ne^{x_n}-1}{x_ne^{x_n}+e^{x_n}}\\ &= \frac{x_n^2 + e^{-x_n}}{x_n + 1} \end{array}\]

And get the following approximation:

\[ x_{1}=0.50000\dots\\x_{2}=0.57102\dots\\x_{3}=0.56716\dots\\x_{4}=0.56714\dots\\x_{5}=0.56714\dots\\ \]

Therefore the Omega Constant that satisfies \(\Omega e^\Omega = 1\) is approximately \(\Omega \approx 0.567143\)

Example \(x^x=2\)

\[\begin{array}{rrl} &x^x &= 2\\ \Leftrightarrow&\ln(x^x) &= \ln(2)\\ \Leftrightarrow&x\ln(x) &= \ln(2)\\ \Leftrightarrow&\ln(x) e^{\ln(x)} &= \ln(2)\\ \Leftrightarrow&W(\ln(x) e^{\ln(x)}) &= W(\ln(2))\\ \Leftrightarrow&\ln(x) &= W(\ln(2))\\ \Leftrightarrow&x&= e^{W(\ln(2))}\\ \Leftrightarrow& x & \approx 1.55961047 \end{array}\]

Example \(x = \ln(4x)\)

\[\begin{array}{rrl} & x &= \ln(4x)\\ \Leftrightarrow& e^x &= 4x\\ \Leftrightarrow& \frac{1}{x}e^x &= 4\\ \Leftrightarrow& -xe^{-x} &= -\frac{1}{4}\\ \Leftrightarrow& W(-xe^{-x}) &= W(-\frac{1}{4})\\ \Leftrightarrow& -x &= W(-\frac{1}{4})\\ \Leftrightarrow& x &= -W(-\frac{1}{4})\\ \Leftrightarrow& x & \approx 0.357402956 \end{array}\]

Example \(x^2e^x = 2\)

\[\begin{array}{rrl} & x^2e^x &= 2\\ \Leftrightarrow& \sqrt{x^2e^x} &= \sqrt{2}\\ \Leftrightarrow& xe^{\frac{x}{2}} &= \sqrt{2}\\ \Leftrightarrow& \frac{x}{2}e^{\frac{x}{2}} &= \frac{\sqrt{2}}{2} = \frac{1}{\sqrt{2}}\\ \Leftrightarrow& W\left(\frac{x}{2}e^{\frac{x}{2}}\right) &= W\left(\frac{1}{\sqrt{2}}\right)\\ \Leftrightarrow& \frac{x}{2} &= W\left(\frac{1}{\sqrt{2}}\right)\\ \Leftrightarrow& x &= 2W\left(\frac{1}{\sqrt{2}}\right)\\ \Leftrightarrow& x & \approx 0.901201032 \end{array}\]

Example \(x+e^x = 2\)

\[\begin{array}{rrl} &x +e^x&= 2\\ \Leftrightarrow&e^x&= 2 -x \\ \Leftrightarrow&1 &= (2 -x)^{e^{-x}}\\ \Leftrightarrow&e^2 &= (2 -x)^{e^{2-x}}\\ \Leftrightarrow&W(e^2) &= W((2 -x)^{e^{2-x}})\\ \Leftrightarrow&W(e^2) &= 2 -x\\ \Leftrightarrow&x &= 2 - W(e^2)\\ \Leftrightarrow&x &\approx 0.442854401 \end{array}\]

Lambert W function Calculator

\(W(\)\() = W( x\cdot e^x) = x \approx\)0.5671432904097838