Antiderivative ($F^{\prime }=g$)

An antiderivative recovers a function from its local rate of change. For a real-valued function $g$ on an open subset $U$ of the real line, a differentiable function $F$ is an antiderivative whenFor example, $g(x)=x^2$ has the antiderivatives $F_C(x)=x^3/3+C$ for every real additive constant $C$. Their derivatives agree, while their values can differ. On an interval, the constant of integration describes the entire freedom in the answer. ^[ref]

The indefinite-integral notation $\int g(x)dx=F(x)+C$ records this family on an interval. For the illustrated family, the extra condition $F(1)=2$ selects $C=5/3$. Thus reversing differentiation requires both a rate and a reference value if a unique function is wanted.

The fundamental theorem of calculus supplies a construction when $g$ is continuous on an interval $I$. Choose $x_0\in I$ and set $F(x)={\int }_{x_0}^{x}g(t)dt$; then $F^{\prime }=g$. Integrability alone does not guarantee a classical antiderivative. The Heaviside step function is Riemann integrable on bounded intervals, but cannot be a derivative throughout an interval containing its jump: Darboux theorem for derivatives requires every intermediate value. ^[ref]

A holomorphic function $F$ on a domain with complex derivative $F^{\prime }=f$. Its contour integral satisfies ${\int }_{\gamma }f(z)dz=F(\gamma (b))-F(\gamma (a))$ by the chain rule along each smooth contour segment. In particular every closed contour has integral zero. Having local complex antiderivatives need not provide a single one on a domain with holes.

On a connected open interval, if $F^{\prime }=g$, every antiderivative of $g$ has the form $F+C$, where $C$ is a constant function. Indeed, two solutions satisfy $(G-F{)}^{\prime }=0$: the zero derivative on a connected open set principle makes their difference constant. In one dimension, the mean value theorem proves this on any closed subinterval. ^[ref]

An initial condition or boundary condition can determine $C$. If a particular antiderivative is $F_0$ and $F(x_0)=y_0$, thenFor $g(x)=x^2$, $F_0(x)=x^3/3$ and $F(1)=2$, this gives $C=5/3$. Without that reference value, choosing $C=0$ simply selects one member of the family.

The freedom has a physical meaning in a simple kinematic model. A velocity $v(t)=at$, with constant acceleration $a$, determines position only as $x(t)=a{t}^2/2+C$. The initial condition $x(0)=x_0$ selects $C=x_0$; changing the starting position does not change the prescribed velocity.

For the differential equation $T^{\prime }=-B/r^2$ on $r>0$, the antiderivative is $T=B/r+C$. The boundary condition $T(R_s)=T_s$ gives $C=T_s-B/R_s$. Discarding the constant of integration therefore needs a specified condition or an approximation that quantifies its effect. On a domain with several connected components, the freedom is larger: antiderivatives on disconnected domains require a separate constant on each component.

Let $U$ be an open subset of the real line, and let $F,G$ be antiderivatives of the same function on $U$. Each connected component $I_j$ is an open interval. On that component, $(G-F{)}^{\prime }=0$, so the mean value theorem gives $G-F=C_j$. The constants on different components are independent: there is no subinterval inside $U$ joining them. Conversely, adding any chosen constant on each component preserves the derivative everywhere on $U$.

For example, the domain of $g(x)=1/x$ is $U=\mathbb{R}\setminus \{0\}$. Every antiderivative on this domain has the formwith arbitrary real $C_{-},C_{+}$. The logarithm of the absolute value differentiates to $1/x$ on each side. The function with $C_{-}=2$ and $C_{+}=-1$ is therefore a valid antiderivative, although it cannot be written as $\log |x|+C$ with one global constant.

An initial condition at $x=1$ fixes $C_{+}$ and leaves $C_{-}$ free. Fixing both constants requires one reference value in each connected component, or additional conditions that couple the components. The locally constant function $F(x)-\log |x|$ captures this remaining freedom.

A constant added to a function changes its reference level without changing its derivative:Geometrically, it is a vertical translation of the graph. For $F(x)=x^3/3$, changing $C$ moves every plotted value by the same amount while preserving every tangent slope. This is the geometric reason that antiderivatives form a family.

When $F$ represents a physical quantity, the physical dimension of $C$ must match that of $F$. When position is obtained from velocity, $C$ is a position offset. An unknown starting position remains unknown even when the rate of change is known exactly.

When describing the family of antiderivatives on an interval, the arbitrary additive constant is the constant of integration. On a disconnected open domain, the corresponding freedom is a locally constant function, as in antiderivatives on disconnected domains, rather than necessarily one constant on the whole domain.