关于埃尔米特微分方程幂级数解中Pochhammer符号形式的疑问

嘿，我来帮你理清这个困惑——你推导的结果和参考资料里的表达式本质上是一致的，核心是符号定义的混淆加上归一化的差异在作怪！

首先看符号的关键区别 #

你推导时用的是原微分方程里的参数$n$，得到的偶数解是：
$$y_{even}(x) = a_0\left(1+ \sum_{k=1}^\infty \frac{2^{{2k}(-\frac{n}{2})_k}{(2k)!}x}{2k}\right)$$

而参考资料里写的$y_{2n}(x)$，这里的下标$2n$是在标注偶次埃尔米特多项式，对应的是原微分方程中的参数为$\boldsymbol{2n}$的情况（注意这里的$n$和你方程里的$n$不是同一个变量！）。

把你的方程参数换成$N=2m$（$m$为整数），代入你的结果：
$$(-\frac{N}{2})_k = (-m)_k$$
这就和参考资料里的$(-n)_k$形式完全对应上了——只是参考资料用$n$代替了这里的$m$，属于符号命名的小差异而已。

再说说级数截断与归一化 #

你的推导是针对**一般的$n$**得到的通解，当$n$是偶数时（比如$n=2m$），$(-\frac{n}{2})_k = (-m)k$，当$k=m+1$时，Pochhammer符号$(-m){m+1}=(-m)(-m+1)\dots(0)=0$，级数自然截断，变成有限项的多项式，这就是埃尔米特多项式的来源。

而参考资料里给出的$c_0= (-1)ⁿ²n(2n-1)!!$是特定归一化常数，目的是让多项式满足加权内积下的正交性条件（比如$\int_{-\infty}^\infty H_n(x)H_m(x)e^{-x2}dx=\sqrt{\pi}2^nn!\delta_{nm}$），而你的$a_0$是任意常数，代表更一般的通解形式，只要给$a_0$赋予对应的值，就能得到参考资料里的归一化结果。

举个简单例子验证：

• 取你方程里的参数$n=2$，你的偶数解为：
  $$y_{even}(x)=a_0\left(1+\frac{2^{2(-\frac{2}{2})_1}{2!}x}2\right)=a_0(1-2x^2)$$
• 对应参考资料里的$y_2(x)$（它的方程参数是2，对应它的$n=1$）：
  $$y_2(x)=c_0\left(1+\sum_{k=1}^1\frac{2{2k}(-1)_k}{(2k)!}x^{{2k}\right)=c_0(1-2x}2)$$
  两者仅差一个常数因子，完全一致。

总结 #

1. 核心是符号命名的混淆：你方程里的参数$n$和参考资料中偶次多项式下标里的$n$不是同一个变量；
2. 你的解是更一般的通解形式，参考资料的结果是经过特定归一化的埃尔米特多项式；
3. 当你将方程参数设为偶数$2m$时，你的结果会自动匹配参考资料的表达式形式。

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