求解含二次多项式与指数项的方程$a \cdot x^{2} + b \cdot x + c + \exp\left( d \cdot x + e \right) = 0$的通用方法
针对这个混合了二次多项式和指数项的方程,我来梳理下已知的求解思路和尝试过程,先从简单的特殊情况入手,再分析一般情况:
一、当$a = 0$时:线性+指数方程的可解情况
这时候方程简化为$b x + c + \exp(dx + e) = 0$,我们可以通过代数变形,把它转化为Lambert W函数的标准形式来求解,具体步骤如下:
首先移项得到指数项单独在一侧:
$$\exp(dx + e) = -bx - c$$
接下来我们需要构造出Lambert W函数的核心形式$z e^z = k$(Lambert W函数的定义就是满足$W(k) e^{W(k)} = k$的函数):
- 对等式右边的指数部分拆分,配凑出和左边变量相关的指数项:
$$-bx - c = \exp\left(e - \frac{cd}{b}\right) \cdot \exp\left(dx + \frac{cd}{b}\right)$$ - 两边同时乘以$\exp\left(-dx - \frac{cd}{b}\right)$,再整理系数:
$$\left(-dx - \frac{cd}{b}\right) \cdot \exp\left(-dx - \frac{cd}{b}\right) = \frac{d}{b} \cdot \exp\left(e - \frac{cd}{b}\right)$$
此时左边正好是$z e^z$的形式,令$z = -dx - \frac{cd}{b}$,那么根据Lambert W函数的定义,$z = W_k(K)$(其中$K = \frac{d}{b} \cdot \exp\left(e - \frac{cd}{b}\right)$,$k$是整数,对应W函数的不同分支)。
最后回代求解$x$,得到:
$$\fbox{$x_{k} = -\frac{1}{d} \cdot W_{k}\left( \frac{d}{b} \cdot \exp\left( e - \frac{c \cdot d}{b} \right) \right) - \frac{c}{b}$}$$
因为Lambert W函数在复数域上有无穷多个分支,所以这个解包含了方程的所有复数解(包括无穷远点的情况)。
二、当$a \ne 0$时:二次+指数方程的尝试与困境
当二次项系数不为0时,方程的形式更复杂,我尝试了配方法和变量替换,但暂时没法转化为常规特殊函数的可解形式:
配方法的尝试
首先对二次多项式部分配方:
$$
\begin{align*}
a x^2 + b x + c + \exp(dx + e) &= 0\
a\left(x^2 + \frac{b}{a}x\right) + c + \exp(dx + e) &= 0\
\left(x + \frac{b}{2a}\right)^2 + \frac{1}{a}\exp(dx + e) &= -\frac{c}{a} + \frac{b2}{4a2}
\end{align*}
$$
为了简化变量,设$u = x + \frac{b}{2a}$,代入后方程变为:
$$u^2 + \frac{1}{a}\exp\left(d\left(u - \frac{b}{2a}\right) + e\right) = -\frac{c}{a} + \frac{b2}{4a2}$$
整理指数项后得到:
$$\exp\left(du + e - \frac{bd}{2a}\right) = -c + \frac{b^2}{4a} - a u^2$$
后续尝试的瓶颈
我试过引入额外参数$f$拆分指数项,或者对两边取对数,但都没法把方程转化成类似Lambert W函数的标准形式。目前来看,这类方程的解可能需要用推广的Wright型Lambert W函数来表示,但暂时没有找到直接的推导路径,没法得到简洁的闭合解。
总结
- 当$a=0$时,方程可以通过Lambert W函数得到完整的复数解(包含所有分支);
- 当$a \ne 0$时,目前没有初等解法,可能需要依赖更复杂的推广特殊函数来表达解。
备注:内容来源于stack exchange,提问作者user1103878

