关于黎曼曲率张量系数函数标识的验证疑问

嘿，你的疑问核心其实是张量计算里**哑指标（dummy indices）**的使用规则，这是张量运算里基础但关键的点，我来给你理清楚：

第一个问题：能不能单独替换每个项里的哑指标？ #

当然可以！哑指标本质就是求和时的“占位符”——只要在同一个求和项里，哑指标是成对出现的（一个上标一个下标，对应爱因斯坦求和约定），你完全可以把它替换成任何未被用作自由指标的符号，而且可以在每个求和项里单独替换，完全不影响结果。

举个例子，你写的第一个项$\partial_i(\Gamma^{{p}_{jk})\partial_p$，这里的$p$是哑指标（代表对$p$求和），换成$m$之后变成$\partial_i(\Gamma}{m}_{jk})\partial_m$，和原表达式完全等价，就像$\sum_p a_p b_p$和$\sum_m a_m b_m$是一回事。

而第二个项$\Gamma^{{p}_{jk}\Gamma}{c}{ip}\partial_c$里的$p$和$c$都是哑指标，你可以把$c$换成$m$，变成$\Gamma^{{p}_{jk}\Gamma}{m}{ip}\partial_m$，这也完全没问题——因为不管用$c$还是$m$，都是对所有可能的指标值求和，结果不会变。

唯一需要注意的是：为了避免自己混淆，替换后的哑指标最好别和等式里的自由指标（这里是$i,j,k,m$，因为$R^m_{ijk}$里的$m$是自由指标，代表固定分量）重名，但即使重名，只要你清楚哪个是自由指标哪个是哑指标，也不会影响计算结果。

所以你完全可以按照自己的思路，逐个替换哑指标来合并项，最终得到想要的恒等式。

第二个问题：有没有更简单的证明方法？ #

你现在的推导其实就是标准的“用联络系数展开黎曼曲率张量”的方法，已经很直接了。不过可以通过提前规划哑指标的使用来简化步骤，避免后面的指标替换：

比如一开始就用统一的哑指标来展开联络：
$$
\begin{align*}
R_{\partial_i,\partial_j}\partial_k &= \nabla_{\partial_i}\nabla_{\partial_j}\partial_k - \nabla_{\partial_j}\nabla_{\partial_i}\partial_k \
&= \nabla_{\partial_i}\left(\Gamma^m_{jk}\partial_m\right) - \nabla_{\partial_j}\left(\Gamma^m_{ik}\partial_m\right) \
&= \partial_i(\Gamma^m_{jk})\partial_m + \Gamma^m_{jk}\nabla_{\partial_i}\partial_m - \partial_j(\Gamma^m_{ik})\partial_m - \Gamma^m_{ik}\nabla_{\partial_j}\partial_m \
&= \partial_i(\Gamma^m_{jk})\partial_m + \Gamma^m_{jk}\Gammap_{im}\partial_p - \partial_j(\Gamma^m_{ik})\partial_m - \Gamma^m_{ik}\Gammap_{jm}\partial_p
\end{align*}
$$
这时候把第二个和第四个项里的哑指标$p$换成$m$（因为$p$是哑指标，替换后不影响），就可以直接合并所有含$\partial_m$的项：
$$
= \left[\partial_i(\Gamma^m_{jk}) - \partial_j(\Gamma^m_{ik}) + \Gamma^p_{jk}\Gammam_{ip} - \Gamma^p_{ik}\Gammam_{jp}\right]\partial_m
$$
这样就直接得到了$R_{\partial_i,\partial_j}\partial_k = R^m_{ijk}\partial_m$，和你想要的恒等式一致。

另外补充一点：你提到$[\partial_i,\partial_j]=0$是完全正确的，因为局部坐标系下的坐标向量场是交换的，所以曲率张量定义里的李括号项直接消失，这一步简化是成立的。

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