IndefiniteIntegralEqual(f(x), g(x), x, c), rendered as ∫f(x)dx=g(x)+C,x=c, expresses that g(x)
is an antiderivative of f(x)
at the point c, or formally that g′(c)=f(c). In other words, g(x)
belongs to the equivalence class of antiderivatives of f(x)
at the point c. This is rendered as a statement of equality (with an arbitrary constant of integration) to follow the conventional notation for indefinite integrals.
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 RealIndefiniteIntegralEqual or ComplexIndefiniteIntegralEqual.
The argument x defines a locally bound variable used in the expressions f(x)
and g(x). If this operator is called more simply as IndefiniteIntegralEqual(f(x), g(x), x), the meaning is the same as IndefiniteIntegralEqual(f(x), g(x), x, x), where the x appearing in f(x)
and g(x)
is understood as a new dummy variable. This dummy variable is evaluated at the value x defined in the surrounding context only after the functions have been constructed.
Definitions:
| Fungrim symbol | Notation | Short description |
|---|---|---|
| IndefiniteIntegralEqual | ∫f(x)dx=g(x)+C | Indefinite integral |
| Derivative | dzdf(z) | Derivative |
| RealIndefiniteIntegralEqual | ∫f(x)dx=g(x)+C | Indefinite integral, real derivative |
| ComplexIndefiniteIntegralEqual | ∫f(x)dx=g(x)+C | Indefinite integral, complex derivative |
Source code for this entry:
Entry(ID("2e4fbc"),
SymbolDefinition(IndefiniteIntegralEqual, IndefiniteIntegralEqual(f(x), g(x), x), "Indefinite integral"),
Description(SourceForm(IndefiniteIntegralEqual(f(x), g(x), x, c)), ", rendered as ", IndefiniteIntegralEqual(f(x), g(x), x, c), ", expresses that", g(x), "is an antiderivative of", f(x), "at the point", c, ", or formally that", Equal(Derivative(g(x), For(x, c)), f(c)), ".", "In other words,", g(x), "belongs to the equivalence class of antiderivatives of", f(x), "at the point", c, ". This is rendered as a statement of equality (with an arbitrary constant of integration) to follow the conventional notation for indefinite integrals."),
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(RealIndefiniteIntegralEqual), "or", SourceForm(ComplexIndefiniteIntegralEqual), "."),
Description("The argument", SourceForm(x), "defines a locally bound variable used in the expressions", f(x), "and", g(x), ". ", "If this operator is called more simply as", SourceForm(IndefiniteIntegralEqual(f(x), g(x), x)), ", ", "the meaning is the same as", SourceForm(IndefiniteIntegralEqual(f(x), g(x), x, x)), ", where the", SourceForm(x), "appearing in", f(x), "and", g(x), "is understood as a new dummy variable. This dummy variable is evaluated at the value", SourceForm(x), "defined in the surrounding context only after the functions have been constructed."))