¿Qué propiedades tiene la función Lambert W?

Ahi esta

[matemáticas] W (x) + W (y) = W \ left (xy \ left (\ frac {1} {W (x)} + \ frac {1} {W (y)} \ right) \ right) [/matemáticas].

que es como [matemáticas] \ log (x) + \ log (y) = \ log (xy) [/ math]. No es tan simple, pero tampoco es una función tan simple como [math] \ log (x) [/ math].

Fuente:

Función Lambert W

¿Cómo harías para probarlo? Bueno, existe la identidad más simple que se deriva de la definición que dice [matemáticas] W (x) e ^ {W (x)} = x [/ matemáticas]:

[matemáticas] \ frac {x} {W (x)} = e ^ {W (x)} [/ matemáticas].

Tomar el exponencial del lado izquierdo da

[matemáticas] e ^ {W (x) + W (y)} = e ^ {W (x)} e ^ {W (y)} = \ frac {x} {W (x)} \ frac {y} {W (y)} [/ matemáticas]

lo que da [matemáticas] xy \ frac {1} {W (x)} \ frac {1} {W (y)} [/ matemáticas]. Luego, multiplique ambos lados por [matemática] W (x) + W (y) [/ matemática], simplifique y tome [matemática] W [/ matemática] de ambos lados; el lado izquierdo debería ser fácil de simplificar.

Por cierto, puede deducir que [math] \ log (x) + \ log (y) = \ log (xy) [/ math] del hecho de que [math] \ log [/ math] es el inverso de [math] e ^ x [/ math]:

[matemáticas] e ^ {\ log (x) + \ log (y)} = e ^ {\ log (x)} e ^ {\ log (y)} = xy [/ matemáticas]

luego tome [math] \ log [/ math] de ambos lados.