Fungrim home page

Fungrim entry: 0be77d

Symbol: RealIndefiniteIntegralEqual f(x)dx=g(x)+C\int f(x) \, dx = g(x) + \mathcal{C} Indefinite integral, real derivative
RealIndefiniteIntegralEqual(f(x), g(x), x, c), rendered as f(x)dx=g(x)+C,x=c\int f(x) \, dx = g(x) + \mathcal{C}, x = c, expresses that g(x)g(x) is an antiderivative of f(x)f(x) at the point cc, or formally that g(c)=f(c)g'(c) = f(c). In other words, g(x)g(x) belongs to the equivalence class of antiderivatives of f(x)f(x) at the point cc. This is rendered as a statement of equality (with an arbitrary constant of integration) to follow the conventional notation for indefinite integrals.
The argument x defines a locally bound variable used in the expressions f(x)f(x) and g(x)g(x). If this operator is called more simply as RealIndefiniteIntegralEqual(f(x), g(x), x), the meaning is the same as RealIndefiniteIntegralEqual(f(x), g(x), x, x), where the x appearing in f(x)f(x) and g(x)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
RealIndefiniteIntegralEqualf(x)dx=g(x)+C\int f(x) \, dx = g(x) + \mathcal{C} Indefinite integral, real derivative
RealDerivativeddxf ⁣(x)\frac{d}{d x}\, f\!\left(x\right) Real derivative
Source code for this entry:
Entry(ID("0be77d"),
    SymbolDefinition(RealIndefiniteIntegralEqual, RealIndefiniteIntegralEqual(f(x), g(x), x), "Indefinite integral, real derivative"),
    Description(SourceForm(RealIndefiniteIntegralEqual(f(x), g(x), x, c)), ", rendered as ", RealIndefiniteIntegralEqual(f(x), g(x), x, c), ", expresses that", g(x), "is an antiderivative of", f(x), "at the point", c, ", or formally that", Equal(RealDerivative(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("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(RealIndefiniteIntegralEqual(f(x), g(x), x)), ", ", "the meaning is the same as", SourceForm(RealIndefiniteIntegralEqual(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."))

Topics using this entry

Copyright (C) Fredrik Johansson and contributors. Fungrim is provided under the MIT license. The source code is on GitHub.

2021-03-15 19:12:00.328586 UTC