Limits
In this section, we discuss limits and what they mean.
A point is a limit point of , provided there exists some sequence in such that
Example: Limit Points of
What are limit points of ?
All of the points in , as for any , we can define the sequence
Which wil converge to .
Example: Limit Points of Intervals
Let . What are the limit points?
All of the points in the interval , as we can define a sequence that converges to the endpoints, or any value inside of the interval.
Let be a function, and let be a limit point of . Then, the limit of is
If for any sequence in , if , then .
Limits can only be defined if there exists a sequence in our domain that converges to the point (by definition of a limit point).
Formally, for all , there exists a such that for all ,
Note that all of our limit rules apply, and can be used.
Derivatives
Definition
Consider a function defined along some interval. Say we want the “slope” of the function at some limit point .
This is the derivative of the function, , defined as
Where is any sequence converging to .
Note you can obtain the decond definition from the first by setting
If the derivative for exists at a point , we say is differentiable at this point.
Theorem: Differentiability and Continuity
If exists, then is continuous at . In other words, differentiability implies continuity.
Proof
Let , where . We want to show that .
Derivatives have a variety of useful properties that we can prove! They are given below.
Theorem: Product Rule
If and are both differentiable at , so is .
Proof
Let with . Then,
Theorem: Chain Rule
If and are both differentiable at , so is .
Theorem: Derivatives of Inverses
Let and be a strictly monotone continuous function. Suppose exists (to avoid division by 0). Then, we can find the derivative of ’s inverse as follows:
Example: Derivatives of Inverses
Let , where . Find .
We have , and . Then,
Mean-Value Theorem
Definition and Proof
Let be a function continuous on , and differentiable on . Then such that
In other words, there exists a point where the derivative is equal to the average slope!
Example: Mean-Value Theorem Applications
, let . Then, by mean value theorem,
This proves an earlier theorem in uniform continuity!
We will prove this theorem; but first, we define a variety of lemmas that will be useful to us.
Lemma
Let be an open interval containing , and . Suppose exists,
If is a max (or min), then .
Proof
Without loss of generality, assume is a max. We show that the limit of slopes on the left and right bound , forcing .
Define the interval sufficiently close to our maximum. We have
Take this from to get .
Similarly, we define the sequence to show that , which forces as .
Theorem: Rolle's Lemma
Let be continuous on , differentiable on , and . Then, such that .
This is a special case of MVT, but we will use it to prove MVT!
Proof
By the extreme value theorem, we know that the maximum and minimum of exist. We do a case analysis:
- Suppose the max and min both occur at the endpoints. Then, the function is constant - we can choose any point in the interior whose derivative is 0.
- Suppose a max (or min) appears in . Then, we apply our previous lemma to guarantee that such that .
We now prove MVT. The idea of this proof is to create a function from whose endpoints are the same, and applying Rolle’s theorem.
Proof (Mean Value Theorem)
Let be a function continuous on , and differentiable on . Let for some . We can choose an such that in order to apply Rolle’s theorem.
By Rolle’s lemma, such that ! Plugging this in and solving for , this gives us
Example: Mean Value Theorem
Prove that does not have more than one solution.
Note that . If there were two or more solutions, by Rolle’s lemme, at some point, which is a contradiction.
Corollary 1
If is differentiable, then for all is true if and only if is constant.
Proof
Proof ()
We can use limit definition to easily show that the derivative is 0.
Proof ()
By contrapositive, suppose that is not constant. Then there exists two separate points such that .
By MVT, there exists a derivative such that
We apply the contrapositive to obtain our corollary.
Corollary 2
Let be an open interval, and differentiable on . Then, for some constant , if and only if .
This will be really important in integration!
Corollary 3
Let be differentiable on . For all , if at , then is strictly increasing on .
Cauchy MVT
Below, we discuss a generalization of the Mean Value Theorem onto parametric curves.
Theorem: Cauchy Mean-Value Theorem
Suppose and are continuous and differentiable on , creating a parametric curve . If , then , such that
Note that this is a generalization, as we can set for any suitable to prove the Mean Value Theorem on .
Proof (Sketch)
Let .
Choose such that in order to apply Rolle’s theorem to . We then follow a similar process to the MVT theorem proof.
This theorem is quite important! It sets the stage for the Taylor series Lagrange remainder theorem.
Theorem: Function Value Theorem
Let be an open interval, let , and suppose we have a differentiable function which is -times differentiable.
Suppose that at
Then , there exists a between and such that
Proof
Let . We have
Then, because , we take (continuously applying to the derivative)
So, we find
Example: Remainder Theorem
Let and , and for all . Give a bound on .
By the remainder theorem,