关于多项式指数函数组线性无关性的技术问询

嗨，我来帮你解决这个问题～先明确核心问题：给定互不相同的复数 (a_1, \dots, a_n \in \mathbb{C})，以及复平面上的多项式 (p_1, \dots, p_n: \mathbb{C} \to \mathbb{C})，函数组 ({ z \mapsto e^{a_j z}p_j(z) \mid j=1,\dots,n }) 是否线性无关？也就是如果存在复数 (c_1,\dots,c_n) 使得对所有 (z \in \mathbb{C}) 都有 (\sum_{j=1}^n c_j e^{a_j z}p_j(z) = 0)，是否必然所有 (c_j=0)？

答案是肯定的，这个函数组确实是线性无关的，下面给你一个直观的证明思路：

我们用反证法结合极限分析来推导：
假设存在非零的系数集合 ({c_j}) 使得上述线性组合恒为零，即：
$$\sum_{j=1}^n c_j e^{a_j z} p_j(z) = 0 \quad \forall z \in \mathbb{C}$$

第一步，先找出所有 (a_j) 中实部最大的那个元素（因为所有 (a_j) 互不相同，所以这个元素是唯一的，记为 (a_k)）。接下来我们把等式两边同时除以 (e^{a_k z})，得到：
$$c_k p_k(z) + \sum_{\substack{j=1 \ j \neq k}}^n c_j e^{(a_j - a_k) z} p_j(z) = 0 \quad \forall z \in \mathbb{C}$$

现在考虑让 (z) 沿着实轴趋向于 (+\infty)（即 (z = t, t \to +\infty, t \in \mathbb{R})）：
对于所有 (j \neq k)，(\text{Re}(a_j - a_k) = \text{Re}(a_j) - \text{Re}(a_k) < 0)，所以 (e^{(a_j - a_k) t}) 会指数衰减到0；而 (p_j(t)) 是多项式，增长速度远慢于指数衰减的速率，因此每一项 (c_j e^{(a_j - a_k) t} p_j(t)) 都会趋向于0。

当 (t \to +\infty) 时，等式左边就只剩下 (c_k p_k(z))，但等式右边始终是0，所以必须有 (c_k p_k(z) \equiv 0) 对所有 (z) 成立。由于 (p_k(z)) 是多项式：

• 如果 (p_k(z)) 不恒为零，那么只能是 (c_k = 0)；
• 如果 (p_k(z)) 恒为零，那这个项本来就不影响线性组合，直接去掉即可。

接下来，我们对剩下的 (n-1) 个函数重复这个过程，每次都能推出对应的系数 (c_j=0)，直到所有系数都被证明为零。

另外，也可以用多次求导结合Vandermonde行列式非奇异性的方法来证明，但上面的极限方法更易懂。

总结一下：只要 (a_j) 是互不相同的复数，无论对应的多项式 (p_j(z)) 是什么（只要是复多项式），这个多项式指数函数组都是线性无关的。

备注：内容来源于stack exchange，提问作者r_l