如何在函数定义中使用 Maxima 的 diff？

Question

我想在另一个函数中使用一个函数的导数。在 Maxima 中应该如何完成此操作？

例如：

f(x) := 2*x^4;
g(x) := diff(f(x),x)-8;

现在 g(x) 按预期产生 8x^3-8，但是 g(0) 给出错误，因为 diff(f(0),0) 没有意义。但是我应该如何正确定义g？

Answer 1

请注意，只有在解析代码时才能理解引用引用。如果您只在解释器中工作，那没关系，但如果您将内容放入脚本中，则可能会产生意想不到的效果。

另一种方法可以做到这一点。它在解释器和脚本中的工作方式相同。

define (g(x), diff (f(x), x) - 8);

参见“定义”。

Answer 2

Michael 的答案很好，但每次调用 g(x) 时都会进行微分。 （此外，通常您会看到它包装在 block 语句中，以确保 y 正确本地化）。

有一种方法可以强制 RHS 在定义时进行评估
以及一般的x。
语法是

(%i1) f(x) := 2*x^4;
                                            4
(%o1)                            f(x) := 2 x
(%i2) g(x) := ''(diff(f(x), x) - 8);
                                          3
(%o2)                          g(x) := 8 x  - 8
(%i3) g(0);
(%o3)                                 - 8

与块结构比较：

(%i4) h(x) := block([y], subst([y = x], diff(f(y), y) - 8));
(%o4)        h(x) := block([y], subst([y = x], diff(f(y), y) - 8))
(%i5) h(0);
(%o5)                                 - 8

Notice (%o4)，它表明 RHS 未被评估。

参考：http://www.math.utexas.edu/pipermail/maxima/2007/004706。 html

Answer 3

不确定这是否是最简单的答案，但它似乎对我来说是正确的事情

(%i) g(x) := subst([y = x], diff(f(y), y) - 8);

(%i) g(x);
         8 x^3 - 8
(%i) g(0);
         -8
(%i) g(1);
         0

Answer 4

g(X) := at(diff(f(x),x)-8,x=X);