Constant of integration

Short description: Constant expressing ambiguity from indefinite integrals

In calculus, the constant of integration, often denoted by C (or c), is a constant term added to an antiderivative of a function f(x) to indicate that the indefinite integral of f(x) (i.e., the set of all antiderivatives of f(x)), on a connected domain, is only defined up to an additive constant.[1][2][3] This constant expresses an ambiguity inherent in the construction of antiderivatives.

More specifically, if a function f(x) is defined on an interval, and F(x) is an antiderivative of f(x), then the set of all antiderivatives of f(x) is given by the functions F(x)+C, where C is an arbitrary constant (meaning that any value of C would make F(x)+C a valid antiderivative). For that reason, the indefinite integral is often written as ∫f(x)dx=F(x)+C,[4] although the constant of integration might be sometimes omitted in lists of integrals for simplicity.

## Origin

The derivative of any constant function is zero. Once one has found one antiderivative F(x) for a function f(x), adding or subtracting any constant C will give us another antiderivative, because ddx(F(x)+C)=ddxF(x)+ddxC=F′(x)=f(x). The constant is a way of expressing that every function with at least one antiderivative will have an infinite number of them.

Let F:ℝ->ℝ and G:ℝ->ℝ be two everywhere differentiable functions. Suppose that F′(x)=G′(x) for every real number x. Then there exists a real number C such that F(x)−G(x)=C for every real number x.

To prove this, notice that [F(x)−G(x)]′=0. So F can be replaced by F−G, and G by the constant function 0, making the goal to prove that an everywhere differentiable function whose derivative is always zero must be constant:

Choose a real number a, and let C=F(a). For any x, the fundamental theorem of calculus, together with the assumption that the derivative of F vanishes, implying that

0=∫axF′(t)dt0=F(x)−F(a)0=F(x)−CF(x)=C

thereby showing that F is a constant function.

Two facts are crucial in this proof. First, the real line is connected. If the real line were not connected, we would not always be able to integrate from our fixed a to any given x. For example, if we were to ask for functions defined on the union of intervals [0,1] and [2,3], and if a were 0, then it would not be possible to integrate from 0 to 3, because the function is not defined between 1 and 2. Here, there will be two constants, one for each connected component of the domain. In general, by replacing constants with locally constant functions, we can extend this theorem to disconnected domains. For example, there are two constants of integration for ∫dx/x, and infinitely many for ∫tan⁡xdx, so for example, the general form for the integral of 1/x is:[5][6]

∫dxx={ln⁡|x|+C−x<0ln⁡|x|+C+x>0

Second, F and G were assumed to be everywhere differentiable. If F and G are not differentiable at even one point, then the theorem might fail. As an example, let F(x) be the Heaviside step function, which is zero for negative values of x and one for non-negative values of x, and let G(x)=0. Then the derivative of F is zero where it is defined, and the derivative of G is always zero. Yet it's clear that F and G do not differ by a constant, even if it is assumed that F and G are everywhere continuous and almost everywhere differentiable the theorem still fails. As an example, take F to be the Cantor function and again let G=0.

For example, suppose one wants to find antiderivatives of cos⁡(x). One such antiderivative is sin⁡(x). Another one is sin⁡(x)+1. A third is sin⁡(x)−π. Each of these has derivative cos⁡(x), so they are all antiderivatives of cos⁡(x).

It turns out that adding and subtracting constants is the only flexibility we have in finding different antiderivatives of the same function. That is, all antiderivatives are the same up to a constant. To express this fact for cos⁡(x), we write: ∫cos⁡(x)dx=sin⁡(x)+C. Replacing C by a number will produce an antiderivative. By writing C instead of a number, however, a compact description of all the possible antiderivatives of cos⁡(x) is obtained. C is called the constant of integration. It is easily determined that all of these functions are indeed antiderivatives of cos⁡(x): ddx[sin⁡(x)+C]=ddxsin⁡(x)+ddxC=cos⁡(x)+0=cos⁡(x)

## Necessity

At first glance, it may seem that the constant is unnecessary, since it can be set to zero. Furthermore, when evaluating definite integrals using the fundamental theorem of calculus, the constant will always cancel with itself.

However, trying to set the constant to zero does not always make sense. For example, 2sin⁡(x)cos⁡(x) can be integrated in at least three different ways:

∫2sin⁡(x)cos⁡(x)dx=sin2(x)+C=−cos2(x)+1+C=−12cos⁡(2x)+12+C∫2sin⁡(x)cos⁡(x)dx=−cos2(x)+C=sin2(x)−1+C=−12cos⁡(2x)−12+C∫2sin⁡(x)cos⁡(x)dx=−12cos⁡(2x)+C=sin2(x)+C=−cos2(x)+C

So setting C to zero can still leave a constant. This means that, for a given function, there is not necessarily any "simplest antiderivative".

Another problem with setting C equal to zero is that sometimes we want to find an antiderivative that has a given value at a given point (as in an initial value problem). For example, to obtain the antiderivative of cos⁡(x) that has the value 400 at x = π, then only one value of C will work (in this case C=400).

This restriction can be rephrased in the language of differential equations. Finding an indefinite integral of a function f(x) is the same as solving the differential equation dydx=f(x). Any differential equation will have many solutions, and each constant represents the unique solution of a well-posed initial value problem. Imposing the condition that our antiderivative takes the value 100 at x = π is an initial condition. Each initial condition corresponds to one and only one value of C, so without C it would be impossible to solve the problem.

There is another justification, coming from abstract algebra. The space of all (suitable) real-valued functions on the real numbers is a vector space, and the differential operator ddx is a linear operator. The operator ddx maps a function to zero if and only if that function is constant. Consequently, the kernel of ddx is the space of all constant functions. The process of indefinite integration amounts to finding a pre-image of a given function. There is no canonical pre-image for a given function, but the set of all such pre-images forms a coset. Choosing a constant is the same as choosing an element of the coset. In this context, solving an initial value problem is interpreted as lying in the hyperplane given by the initial conditions.

## References

1. ↑ Stewart, James (2008). Calculus: Early Transcendentals (6th ed.). Brooks/Cole. ISBN 0-495-01166-5. https://archive.org/details/calculusearlytra00stew_1.
2. ↑ Larson, Ron; Edwards, Bruce H. (2009). Calculus (9th ed.). Brooks/Cole. ISBN 0-547-16702-4.
3. ↑ "Definition of constant of integration | Dictionary.com" (in en). https://www.dictionary.com/browse/constant-of-integration.
4. ↑ Weisstein, Eric W.. "Constant of Integration" (in en). https://mathworld.wolfram.com/ConstantofIntegration.html.
5. ↑ "Reader Survey: log|x| + C", Tom Leinster, The n-category Café, March 19, 2012
6. ↑ Banner, Adrian (2007). The calculus lifesaver : all the tools you need to excel at calculus. Princeton [u.a.]: Princeton University Press. p. 380. ISBN 978-0-691-13088-0. https://archive.org/details/isbn_9780691130880.

* v
* t
* e

Calculus

Precalculus|

* Binomial theorem
* Concave function
* Continuous function
* Factorial
* Finite difference
* Free variables and bound variables
* Fundamental theorem
* Graph of a function
* Linear function
* Mean value theorem
* Radian
* Rolle's theorem
* Secant
* Slope
* Tangent

Limits|

* Indeterminate form
* Limit of a function
* One-sided limit
* Limit of a sequence
* Orders of approximation
* (ε, δ)-definition of limit

Differential calculus|

* Chain rule
* Derivative
* Differential
* Differential equation
* Differential operator
* Implicit differentiation
* Inverse functions and differentiation
* L'Hôpital's rule
* Leibniz's rule
* Logarithmic derivative
* Mean value theorem
* Newton's method
* Notation
* Leibniz's notation
* Newton's notation
* Product rule
* Quotient rule
* Regiomontanus' angle maximization problem
* Related rates
* Simplest rules
* Constant factor rule in differentiation
* Linearity of differentiation
* Power rule
* Sum rule in differentiation
* Stationary point
* First derivative test
* Second derivative test
* Extreme value theorem
* Maxima and minima
* Taylor's theorem

Integral calculus|

* Antiderivative
* Arc length
* Constant of integration
* Differentiation under the integral sign
* Fundamental theorem of calculus
* Integral of secant cubed
* Integral of the secant function
* Integration by parts
* Integration by substitution
* Tangent half-angle substitution
* Partial fractions in integration
* Quadratic integral
* Proof that 22/7 exceeds π
* Simplest rules
* Constant factor rule in integration
* Linearity of integration
* Sum rule in integration
* Trapezoidal rule
* Trigonometric substitution

Vector calculus|

* Curl
* Directional derivative
* Divergence
* Divergence theorem
* Gradient
* Gradient theorem
* Green's theorem
* Laplacian
* Stokes' theorem

Multivariable calculus|

* Curvature
* Disc integration
* Divergence theorem
* Exterior
* Gabriel's Horn
* Geometric
* Hessian matrix
* Jacobian matrix and determinant
* Line integral
* Matrix
* Multiple integral
* Partial derivative
* Shell integration
* Surface integral
* Tensor
* Volume integral

Series|

* Abel's test
* Alternating
* Alternating series test
* Arithmetico-geometric sequence
* Binomial
* Cauchy condensation test
* Direct comparison test
* Dirichlet's test
* Euler–Maclaurin formula
* Fourier
* Geometric
* Harmonic
* Infinite
* Integral test for convergence
* Limit comparison test
* Maclaurin
* Power
* Ratio test
* Root test
* Taylor
* Term test

Special functions and numbers|

* Bernoulli numbers
* e (mathematical constant)
* Exponential function
* Natural logarithm
* Stirling's approximation

History of calculus|

* Adequality
* Brook Taylor
* Colin Maclaurin
* Generality of algebra
* Gottfried Wilhelm Leibniz
* Infinitesimal
* Infinitesimal calculus
* Isaac Newton
* Fluxion
* Law of Continuity
* Leonhard Euler
* Method of Fluxions
* The Method of Mechanical Theorems

Lists|

* Differentiation rules
* List of integrals of exponential functions
* List of integrals of hyperbolic functions
* List of integrals of inverse hyperbolic functions
* List of integrals of inverse trigonometric functions
* List of integrals of irrational functions
* List of integrals of logarithmic functions
* List of integrals of rational functions
* List of integrals of trigonometric functions
* List of limits
* List of mathematical symbols
* Lists of integrals

0.00

(0 votes)

Original source: https://en.wikipedia.org/wiki/Constant of integration. Read more

|

Retrieved from "https://handwiki.org/wiki/index.php?title=Constant_of_integration&oldid=42794"
*[v]: View this template
*[t]: Discuss this template
*[e]: Edit this template