Fungrim home page

Fungrim entry: 314807

solution*w[1,)[wew=x]=W0 ⁣(x)\mathop{\operatorname{solution*}\,}\limits_{w \in \left[-1, \infty\right)} \left[w {e}^{w} = x\right] = W_{0}\!\left(x\right)
Assumptions:x[1e,)x \in \left[-\frac{1}{e}, \infty\right)
TeX:
\mathop{\operatorname{solution*}\,}\limits_{w \in \left[-1, \infty\right)} \left[w {e}^{w} = x\right] = W_{0}\!\left(x\right)

x \in \left[-\frac{1}{e}, \infty\right)
Definitions:
Fungrim symbol Notation Short description
UniqueSolutionsolution*P(x)Q ⁣(x)\mathop{\operatorname{solution*}\,}\limits_{P\left(x\right)} Q\!\left(x\right) Unique solution
Expez{e}^{z} Exponential function
ClosedOpenInterval[a,b)\left[a, b\right) Closed-open interval
Infinity\infty Positive infinity
LambertWWk ⁣(z)W_{k}\!\left(z\right) Lambert W-function
ConstEee The constant e (2.718...)
Source code for this entry:
Entry(ID("314807"),
    Formula(Equal(UniqueSolution(Brackets(Equal(Mul(w, Exp(w)), x)), w, Element(w, ClosedOpenInterval(-1, Infinity))), LambertW(0, x))),
    Variables(x),
    Assumptions(Element(x, ClosedOpenInterval(Neg(Div(1, ConstE)), Infinity))))

Topics using this entry

Copyright (C) Fredrik Johansson and contributors. Fungrim is provided under the MIT license. The source code is on GitHub.

2019-09-16 21:17:18.797188 UTC