Real Analysis/Fundamental Theorem of Calculus

Real Analysis
Fundamental Theorem of Calculus

The Fundamental Theorem of Calculus is often claimed as the central theorem of elementary calculus. Although it can be naturally derived when combining the formal definitions of differentiation and integration, its consequences open up a much wider field of mathematics suitable to justify the entire idea of calculus as a math discipline.

You will be surprised to notice that there are actually two theorems that make up The Fundamental Theorem of Calculus. They both serve to prove the relationship between differentiation and definite integration, but the first proves that they are inverses of each other, only in the sense that they undo each other's operation, and the second proves that there exists a way of computing definite integration using antiderivatives. This theorem, much like the concept of the limit, will form much of the backbone of latter theorems moving forward, so it is crucial to understand what these theorems can do. As such, the layout of this section mirrors that of the limit.

Definition edit

It is essential to understand what the theorems actually state, which are highlighted below

The First Fundamental Theorem of Calculus
Given a continuous function ƒ and a function F, both over some closed interval I, if the form   is valid, then it implies that   is valid as well.
The Second Fundamental Theorem of Calculus
If ƒ is integrable and ƒ is a differentiation of some other function g, then the definite integration is defined as  .

However, unlike the section on limits, this is not a definition primarily based on agreed mathematical concepts, as was the case with limits with its definition only needing one theorem to justify, but a theorem relying on several concepts to function together without contradictions. After all, differentiation is composed of a limit and integration summations. Claiming a relationship between them, unless justified, can spell disaster in mathematics. So, we will formally prove that this relationship is valid in the next heading.

Proof edit

Below are not just one, but two proofs justifying our earlier claim; effectively prove the Fundamental Theorem of Calculus. Both rely primarily on the definition of differentiation and integration, but both differ based on which integral one uses. Whereas the first two use the definition of integration where upper and lower sums are defined (Darboux Integration, the last two rely on the definition of integration where only a single summation is used (Riemann Integration). Despite this, since both have already been proven to be equivalent, either proof is fine. Also surprising is that the following proofs are not complex. Neither proofs for both the Darboux or Riemann version rely on any new concepts and thus no need to justify new assumptions. Therefore, this reading will be like a simple application of the theorems learned in the previous section of the integral of one's choice.

Darboux edit

The following proof uses Darboux Integration. The general strategy is using the definition of both differentiation and integration to coax an implication through thoughtful manipulations. However, it relies on more theorems than the Riemann version.

First Fundamental Theorem edit

As always, the left-handed and right-handed differentiation is left to you.

Proof of the First Fundamental Theorem using Darboux Integrals
Given the function   and its definition, we will suppose two things. First is the following mathematical statement. Second is the introduction of the variable   , which we will use, with its implicit meaning, later. Note that the case where   results in slightly different math (the position of inequalities and integral positions, but nothing serious). However, it is surprisingly not a major problem, so it is ignored (if you are curious as to proving us right or wrong, the problem set asks for this proof—and the answer you the proof removed from this section). We will assume   for the remainder of the proof.  
The following mathematical statement implies this equality  
To capitalize on this integral, we will now define a supremum/infimum of the function   such that they represent the highest/lowest possible approximation of the integral. It will be influenced based on the value of the variable   .  
We can now claim the following inequality relationship (the justification is found in the Darboux Integration section), which can be algebraically manipulated to show the following.  
We can apply limits over the entire inequality. The answer of the now derivative derives from the Squeeze Theorem. Given that the interval used in   and   relies on the variable   , applying the limit over   has the effect of reducing the interval to a single   variable, meaning that the supremum/infimum of a single set composed of   is self explanatory. Thus, the answer in the middle, now fully the definition of the derivative of   , is rightfully   , what we set out to prove.  
Second Fundamental Theorem edit

Riemann edit

The following proof uses Riemann Integration. The general strategy is using the definition of a limit to imply the conclusion. For those uncomfortable with limits, the Darboux version may be easier.

First Fundamental Theorem edit

This is pretty far down from the original definition, so we will reiterate what we are seeking to prove.

Given the following conditions:

  •   be continuous at  
  •   be the indefinite integral of  

Then, we should prove that the following relationship is valid   is differentiable at   and  

Let   be given, and let   but   Observe that  (say). There exists   such that if a partition   then,   (note that in this proof, all the Riemann sums are over the interval  ). As   is integrable over  , it is bounded over that interval. Hence, let  . Thus,   As   is continuous at  , there exists   such that   whenever  . Now consider   Then,  


That is,  , or  

Second Fundamental Theorem edit

This is pretty far down from the original definition, so we will reiterate what we are seeking to prove.

Given the following conditions:

  •   be differentiable on   and let   for all  
  •   be Riemann integrable on  

Then, we should prove that the following relationship is valid  

Let   and let   be given. Then, there exists   such that for a partition   implies that   Consider a partition   and let  . By Lagrange's Mean Value Theorem, we have that there exists   that satisfies   Let the tagged partition   be the partition   along with the tags   Thus,   But we know that   and hence,  . As   is arbitrary,   that is,  

Corollaries edit

There are many interpretations based of the definition.

Extras edit

Here is an extra concept, just for your perusal (It's actually here is the integral to a variable bound is unclear to you).

Indefinite Integral edit

Let   be Riemann integrable on  .

We define the Indefinite Integral of   to be the function   given by

  for all