Constant of Integration - Reason For A Constant Difference Between Antiderivatives | Reason Constant Difference Antiderivatives

Reason For A Constant Difference Between Antiderivatives

This result can be formally stated in this manner: Let and be two everywhere differentiable functions. Suppose that for every real number x. Then there exists a real number C such that for every real number x.

To prove this, notice that . 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 . For any x, the fundamental theorem of calculus says that

$\begin{align} \int_a^x 0\,dt &= F(x)-F(a)\\ &= F(x)-C, \end{align}$

which implies that . So 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 and, 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 and infinitely many for so for example the general form for the integral of 1/x is:

$\int {1 \over x}\,dx = \begin{cases}\ln \left|x \right| + C^- & x < 0\\ \ln \left|x \right| + C^+ & x > 0 \end{cases}$

Second, F and G were assumed to be everywhere differentiable. If F and G are not differentiable at even one point, the theorem fails. As an example, let be the Heaviside step function, which is zero for negative values of x and one for non-negative values of x, and let . 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.

Read more about this topic: Constant Of Integration

Famous quotes containing the words reason, constant and/or difference:

“Jupiter, not wanting man’s life to be wholly gloomy and grim, has bestowed far more passion than reason—you could reckon the ration as twenty-four to one. Moreover, he confined reason to a cramped corner of the head and left all the rest of the body to the passions.”
—Desiderius Erasmus (c. 1466–1536)

“Young people of high school age can actually feel themselves changing. Progress is almost tangible. It’s exciting. It stimulates more progress. Nevertheless, growth is not constant and smooth. Erik Erikson quotes an aphorism to describe the formless forming of it. “I ain’t what I ought to be. I ain’t what I’m going to be, but I’m not what I was.””
—Stella Chess (20th century)

“The difference between a photograph and even the most realistic painting—say, one of Courbet’s landscapes—is that in the latter there has been selection, emphasis and some discreet distortion. The painter’s deep instinctive feeling for mass and force has rearranged everything.”
—Gerald Branan (1894–1987)