Lambert W function

From Citizendium
Revision as of 08:45, 27 April 2007 by imported>Fredrik Johansson (→‎Examples of use)
Jump to navigation Jump to search

The Lambert W function is used in mathematics to solve equations in which the unknown appears both outside and inside an exponential function or a logarithm, such as or . Such equations cannot otherwise, except in special cases, be solved explicitly in terms of algebraic operations, exponentials and logarithms.

Definition

The Lambert W function is defined as the multivalued function that satisfies

for any complex number . Equivalently, it may be defined as the inverse function of . An equation can be solved by rewriting it in the canonical form , after which the solution is given by . The multivaluedness of the Lambert W function means that such an equation generally has multiple solutions. The graph of the Lambert W function in the real numbers looks as follows:

Lambertw.png

The function has two real branches in the interval which join at . Concretely, this means that the equation has two real solutions if . For example, if (which is about half way between and 0), there is one solution that lies on the blue graph and another solution that lies on the dashed red graph.

The single-valued function corresponding to the blue graph for is called the principal branch of the Lambert W function and is denoted by . The single-valued function corresponding to the dashed red graph for is called the negative branch, denoted by . The negative branch asymptotically approaches as while the principal branch grows slowly but unboundedly (asymptotically like ) as .

The behavior of the Lambert W function in the complex numbers is more complicated. Like the complex logarithm, it has infinitely many branches; they are conventionally labeled where runs over all the integers. The details are discussed for instance in Corless et al.[1]

Besides , the Lambert W function has the special values and . The value is called the omega constant.

Examples of use

Valluri et al. give the following example of how the Lambert W function can be used to solve equations from physics.[2] Planck's law states that the radiation intensity at wavelength from a black body at temperature is given by

where is Planck's constant, is Boltzmann's constant and is the speed of light. Note that appears both inside and outside an exponential. Next, Wien's displacement law states that the maximum intensity is attained at the wavelength where is a quantity called Wien's displacement constant. Using the Lambert W function, we can give an explicit formula for .

To derive Wien's displacement law, we wish to solve . If we calculate the partial derivative, simplify, and perform the substitution , we obtain the equation . To write this in canonical form for application of the Lambert W function, we substitute and multiply both sides of the resulting equation by . This leaves , with the nonzero solution . Substituting back the expression for , we obtain Wien's displacement law with the value for Wien's constant given explicitly by

Calculus

The principal branch of the Lambert W function has the Taylor series expansion

around , which can be obtained the via Lagrange inversion theorem. Due to the singularity at , and as can be proved with the ratio test, the series converges for . The Lambert W function has the derivative

which is infinite at the branch point . Its antiderivative is given by

It is also possible to find antiderivatives of more complicated expressions containing the Lambert W function. See Corless et al. for an overview.[1]

History and application

Equations of the kind that can be solved analytically with the Lambert W function are common in mathematics and science, yet the utility of such a function was not realized until recently. The Lambert W function was introduced in the 1980's as a function in the Maple computer algebra system, whose interface required an explicit notation for solutions of equations. The function's history highlights the importance of good mathematical notation: due to previously not being recognized as a function in its own right, it had not been studied systematically, despite its most important properties requiring only elementary complex analysis. An account of the function and its history that helped popularize it is given in a 1996 paper by R. M. Corless et al. (with Donald Knuth a notable co-author).[1]

The basic theory behind the Lambert W function was investigated in 1779 by Leonhard Euler.[3] The Maple developers chose the name of Johann Heinrich Lambert instead of Euler's since Euler had referenced work by Lambert in his paper, and possibly because "naming yet another function after Euler would not be useful".[4]

Since its introduction, the Lambert W function has been applied to problems ranging from quantum physics to population dynamics to the complexity of algorithms. Cranmer[5] discusses the application of the Lambert W function in solar wind physics and writes in the conclusion: "The Lambert W function used in these solutions was defined and publicized only about a decade ago, but it has rapidly become a convenient tool for mathematical physicists. The elegance of explicit solutions to equations thought previously to be expressible only implicitly is clear, but there also are many practical benefits to having explicit solutions as well."

See also

References

  1. 1.0 1.1 1.2 Corless, R. M., Gonnet, G. H., Hare, D. E. G., Jeffrey, D. J. & Knuth, D. E. (1996). "On the Lambert W function". Adv. Computational Maths. 5, 329–359
  2. Valluri, S. R., Jeffrey, D. R. & Corless, R. M. (2000). "Some applications of the Lambert W function to physics". Can. J. Phys. 78, 823–831
  3. Euler, L. (1779). "De serie Lambertina plurimisque eius insignibus proprietatibus". Originally published in Acta Academiae Scientarum Imperialis Petropolitinae 1779, 1783, 29–51. Also in Opera Omnia: Series 1, Volume 6, pp. 350 - 369. See E532 in The Euler Archive for a scanned copy.
  4. Corless, R., Jeffrey, D. & Knuth, D. E. (1997). "A Sequence of Series for the Lambert W Function", ISSAC: Proceedings of the ACM SIGSAM International Symposium on Symbolic and Algebraic Computation (formerly SYMSAM, SYMSAC, EUROSAM, EUROCAL) (also sometimes in cooperation with the Symbolic and Algebraic Manipulation Groupe in Europe (SAME))
  5. Cranmer, S. R. (2004). "New views of the solar wind with the Lambert W function". Am. J. Phys. 72, 1397