我想实现一个运算符f
通勤与差异化D
.
Unprotect[D];
D[f[y___], x] := f[D[y, x]];
Protect[D];
D[f[Sin[x]], x]
D[f[Sin[x]] + 1, x]
不幸的是这段代码产生了两个不同的结果
f[Cos[x]] (* as expected *)
Cos[x] f´[Sin[x]] (* cannot explain *)
我想知道发生了什么事,以及如何修复替换规则,以便第二个表达式的计算结果为f[Cos[x]]
以及。
更新。解决方案1以下解决方案似乎可以重新定义D
运算符(尽管我还远未完全理解我自己的代码)。
PartialDerivative[x_, x_] := 1;
PartialDerivative[c_, x_] := 0 /; FreeQ[c, x];
PartialDerivative[f_ConditionalExpectation, x_] :=
ConditionalExpectation[PartialDerivative[f, x]];
PartialDerivative[(f_)[g__], x_] := Module[{i, n, p},
n = Length[SequenceHold[g]];
Sum[
p = ConstantArray[0, n]; p[[i]] = 1;
((Derivative[##1][f] & ) @@ p)[g]*
PartialDerivative[SequenceHold[g][[i]], x], {i, 1, n}]];
如果更有经验的人可以查看代码并告诉我这种方法是否可以,我将不胜感激。