Hola
Es que simplemente la
función W de Lambert tiene dos ramas cuando la variables está en el intervalo \( [-1/e,0]. \)
Recuerda que se define como la solución de la siguiente ecuación:
\( ye^y=x \)
y si \( \color{red}x\color{black}\in (-1/e,0) \), esa ecuación tiene dos soluciones. Suelen denotarse por \( W_0(x) \) y \( W_{-1}(x). \)
En tu caso cuando llegas a:
\( \left(\dfrac{-x}{e}\right)e^{-x/3}=-e^{-1}\cdot 4^{-1/e} \)
se tiene que \( -e^{-1}\cdot 4^{-1/e}\in (-1/e,0) \). Las dos soluciones surgen de tomar:
\( \dfrac{-x}{e}=W_0(-e^{-1}\cdot 4^{-1/e}) \)
ó
\( \dfrac{-x}{e}=W_{-1}(-e^{-1}\cdot 4^{-1/e}) \)
Saludos.
CORREGIDO