The call syntax for this operator is the same as for Derivative.
The result is defined as f′(z)=limh→0hf(z+h)−f(z)
where the limit is taken with respect to a complex variable h
( ComplexLimit ).
If this limit exists (and is finite), then f
is holomorphic at z.
Definitions:
| Fungrim symbol | Notation | Short description |
|---|---|---|
| ComplexDerivative | dzdf(z) | Complex derivative |
| Derivative | dzdf(z) | Derivative |
| ComplexLimit | limz→af(z) | Limiting value, complex variable |
Source code for this entry:
Entry(ID("b4b319"),
SymbolDefinition(ComplexDerivative, ComplexDerivative(Call(f, z), For(z, z)), "Complex derivative"),
Description("The call syntax for this operator is the same as for", SourceForm(Derivative), "."),
Description("The result is defined as", Equal(ComplexDerivative(f(z), For(z, z)), ComplexLimit(Div(Sub(f(Add(z, h)), f(z)), h), For(h, 0))), "where the limit is taken with respect to a complex variable", h, "(", SourceForm(ComplexLimit), ")."),
Description("If this limit exists (and is finite), then", f, "is holomorphic at", z, "."))