This operator can be called with three or four arguments.
Derivative(f(z), z, a), rendered as [dzdf(z)]z=a
or f′(a), represents the derivative of f(z)
evaluated at z=a.
Derivative(f(z), z, a, n), rendered as [dzndnf(z)]z=a
or f(n)(a), represents the order n
derivative of f(z)
evaluated at z=a.
The second argument z
defines a locally bound variable for the expression in the first argument. With the evaluation point set to a=z, Derivative(f(z), z, z) may render more simply as dzdf(z).
This operator is ambiguous since the intended meaning could be a real derivative, a complex derivative, or some other form of derivative. It is better to use RealDerivative, ComplexDerivative, ComplexBranchDerivative, or MeromorphicDerivative.
Definitions:
Fungrim symbol | Notation | Short description |
---|---|---|
Derivative | dzdf(z) | Derivative |
RealDerivative | dxdf(x) | Real derivative |
ComplexDerivative | dzdf(z) | Complex derivative |
ComplexBranchDerivative | dzdf(z) | Complex derivative, allowing branch cuts |
MeromorphicDerivative | dzdf(z) | Complex derivative, allowing poles |
Source code for this entry:
Entry(ID("1b6a57"), SymbolDefinition(Derivative, Derivative(Call(f, z), z, z), "Derivative"), Description("This operator can be called with three or four arguments."), Description(SourceForm(Derivative(f(z), z, a)), ", rendered as ", Derivative(Call(f, z), z, a), "or", Derivative(f(z), z, a), ", represents the derivative of", f(z), "evaluated at", Equal(z, a), "."), Description(SourceForm(Derivative(f(z), z, a, n)), ", rendered as ", Derivative(Call(f, z), z, a, n), "or", Derivative(f(z), z, a, n), ", represents the order", n, "derivative of", f(z), "evaluated at", Equal(z, a), "."), Description("The second argument", z, "defines a locally bound variable for the expression in the first argument. With the evaluation point set to", Equal(a, z), ",", SourceForm(Derivative(f(z), z, z)), "may render more simply as", Derivative(Call(f, z), z, z), "."), Description("This operator is ambiguous since the intended meaning could be a real derivative, a complex derivative, or some other form of derivative.", "It is better to use", SourceForm(RealDerivative), ",", SourceForm(ComplexDerivative), ",", SourceForm(ComplexBranchDerivative), ", or", SourceForm(MeromorphicDerivative), "."))