如何利用Lambert W函数代数求解$x3^x=18$并找出所有解？

嘿，我来一步步帮你拆解这个方程的代数解法，同时验证你找到的整数解~

首先回忆下Lambert W函数的核心定义：它是函数$f(u)=ue^{u$的反函数，也就是说如果$ue}u = z$，那么$u = W(z)$。我们的目标就是把原方程凑成这种$ue^u$的标准形式。

步骤1：把指数项转成自然指数形式 #

原方程是：
$$x3^x = 18$$
利用自然对数的性质，$3^{x$可以写成$e}{x\ln3}$，代入后方程变成：
$$x e^{x\ln3} = 18$$

步骤2：凑出$ue^u$的结构 #

为了匹配Lambert W函数的形式，我们给方程两边同时乘以$\ln3$（这一步是关键，让指数的系数和前面的x系数统一）：
$$x\ln3 \cdot e^{x\ln3} = 18\ln3$$
现在左边完全是$ue^u$的样子了，这里令$u = x\ln3$，方程就简化为：
$$u e^u = 18\ln3$$

步骤3：应用Lambert W函数求解 #

根据定义，我们直接得到：
$$u = W(18\ln3)$$
把$u = x\ln3$代回去，解出x：
$$x = \frac{W(18\ln3)}{\ln3}$$

步骤4：分析实数解的情况 #

Lambert W函数有多个分支，但我们只需要关注实数解：

• 主分支$W_0(z)$：当$z > -1/e$时，主分支给出实数解。这里$18\ln3 \approx 19.77$，远大于$-1/e$（≈-0.368），所以$W_0(18\ln3)$是一个实数。
  验证你找到的整数解：当$x=2$时，$u = 2\ln3$，代入$ue^u$得$2\ln3 \cdot e^{2\ln3} = 2\ln3 \cdot 3^2 = 18\ln3$，正好等于右边，所以$W_0(18\ln3)=2\ln3$，代入x的表达式就得到$x=2$。
• 负分支$W_{-1}(z)$：这个分支的定义域是$-1/e \leq z < 0$，但$18\ln3$是正数，所以负分支在这里没有对应的实数解。

另外从函数单调性角度验证：当$x>0$时，函数$f(x)=x3^{x$的导数$f'(x)=3}x(1+x\ln3)$恒正，说明函数在$x>0$时单调递增，因此只有一个实数解$x=2$；当$x<0$时，$x3^x$是负数，不可能等于18，所以没有负数解。

总结一下，方程$x3^x=18$的所有实数解就是$x=2$，用Lambert W函数表示的通式是$x=\frac{W(18\ln3)}{\ln3}$，其中主分支对应唯一的实数解。

内容的提问来源于stack exchange，提问作者Kyle Hacker