索引符号派生词mathematica / maple

Question

有没有办法使用Maple或Mathematica对索引进行偏导数？

例如，

$\dfrac{\partial x_i}{\partial x_j}=\delta_{ij}$

谢谢

Answer 1

mathematica使用抽象向量的能力非常有限。你可以通过这样的例子证明这样的陈述：

  x = {x1, x2, x3};
  And @@ (D[x[[#[[1]]]], x[[#[[2]]]]] ==
   KroneckerDelta @@ # & /@ Tuples[{1, 2, 3}, 2])

（* True *）