Tag Archives: Existance theorems

Why Existence Theorems?

Posted on by
Reply

An existence theorem is a theorem that says, if the hypotheses are met, that something, usually a number, must exist.

For example, the Mean Value Theorem is an existence theorem: If a function f is defined on the closed interval [a, b] and differentiable on the open interval (a, b), then there exists a number c in the open interval (a, b) such that \displaystyle {f}'\left( c \right)\left( {b-a} \right)=f\left( b \right)-f\left( a \right).

The phrase “there exists” also means “there is” and “there is at least one.” In fact, it is a good idea when seeing an existence theorem to reword it using each of these other phrases. “There is at least one” reminds you that there may be more than one number that satisfies the condition. The mathematical shorthand for these phrases is an upper-case E written backwards: \displaystyle \exists .

  • …then there is a number c in the open interval (a, b) such that…
  • …then there is at least one number c in the open interval (a, b) such that…
  • …then \displaystyle \exists c in the open interval (a, b) such that…

Textbooks, after presenting an existence theorem, usually follow-up with some exercises asking you to actually find the value that exists: “Find the value of c guaranteed by the Mean Value Theorem for the function … on the interval ….” These exercises may help you remember the formula involved.

But, the important thing about most existence theorems is that the number exists, not what the number is.

Other important existence theorems in calculus

The Intermediate Value Theorem

If f is continuous on the interval [a, b] and M is any number between f(a) and f(b), then there exists a number c in the open interval (a, b) such that f(c) = M.

Another wording of the IVT: If f is continuous on an interval and f changes sign in the interval, then there must be at least one number c in the interval such that f(c) = 0

Extreme Value Theorem

If f is continuous on the closed interval [a, b], then there exists a number c in [a, b] such that \displaystyle f\left( c \right)\ge f\left( x \right) for all x in the interval.

Another wording: Every function continuous on a closed interval has (i.e. there exists) a maximum value in the interval.

If f is continuous on the closed interval [a, b], then there exists a number c in [a, b] such that \displaystyle f\left( c \right)\le f\left( x \right) for all x in the interval. Or: Every function continuous on a closed interval has (i.e. there exists) a minimum value in the interval.

Critical Points

If f is differentiable on a closed interval and \displaystyle {f}'\left( x \right) changes sign in the interval, then there exists a critical point in the interval.

Rolle’s theorem

If a function f is defined on the closed interval [a, b] and differentiable on the open interval (a, b) and f(a) = f(b), then there must exist a number c in the open interval (a, b) such that \displaystyle {f}'\left( c \right)=0.

Mean Value Theorem – Other forms

If I drive a car continuously for 150 miles in three hours, then there is a time when my speed was exactly 50 mph.

If a function f is defined on the closed interval [a, b] and differentiable on the open interval (a, b), then there is a point on the graph of f where the tangent line is parallel to the segment between the endpoints.

Cogito, ergo sum

And finally, we have Descartes’ famous “theorem:” Cogito, ergo sum (in Latin) or in the original French, Je pense, donc je suis, translated as “I think, therefore I am” proving his own existence.

Why Analytical Applications?

Posted on by
Reply

The last unit showed you some ways the derivative may be used to solve problems in the context of realistic situations. This unit looks at analytical applications of the derivative – that is applications apparently unrelated to any kind of real situation. This is a bit misleading since the things you will learn are meant to be extended to practical problems. It’s just that for now we will study the ideas and techniques in general, not in any context.

The unit begins with two important theorems. The Mean Value Theorem that relates the average rate of change of a function to the instantaneous rate of change (the derivative), The MVT, as it is called, helps prove other important ideas especially the Fundamental Theorem of Calculus at the beginning of the integration.

The other theorem is the Extreme Value Theorem. The EVT tells you about the existence of maximum and/or minimum values of a function on a closed interval.

Both are existence theorems, theorems that tell you that something important or useful exists and what conditions are required for it to exist. More on existence theorems in my next post.

As with all theorems, learn the hypothesis and conclusion. The graphical interpretation makes these easy to understand.

You will learn how to determine where a function is increasing and decreasing. This leads to finding the maximum or minimum points – where the function changes from increasing to decreasing or vice versa: You will learn three “tests” – theorems really – to justify the extreme value.

Along with that you will learn some more about the second derivative and concavity.

These ideas and theorems will help you accurately draw the graph of a function and nail down the precise location of the important points and tell what is happening between them. Yes, your graphing calculator can do that, but you’re taking this course to learn why.

You will be asked to determine information about the function from its derivatives – plural.  The derivative may be given as a function, a graph, or even a table of values.

You will also be asked to justify your reasoning – tell how you can be sure what you say is correct. You do that by citing the theorem that applies and check its hypotheses, not by Paige’s method:

These concepts are tested on the AP Calculus exams and often produce the lowest scores of the six free-response questions. Yet, if you learn these concepts, that question can be the easiest.

P.S. Some books use the Latin words extremum (singular) or extrema (plural). They mean the extreme value(s). Maybe they have hung around so that the uninitiated will think calculus is difficult and confusing. I don’t know. Use them if you like: impress your (uninitiated) friends.

Course and Exam Description Unit 5 Topics 5.1 through 5.9

Then there is this – Existence Theorems

Posted on by
Reply

Existence Theorems

An existence theorem is a theorem that says, if the hypotheses are met, that something, usually a number, must exist.

For example, the Mean Value Theorem is an existence theorem: If a function f is defined on the closed interval [a, b] and differentiable on the open interval (a, b), then there exists a number c in the open interval (a, b) such that \displaystyle {f}'\left( c \right)\left( {b-a} \right)=f\left( b \right)-f\left( a \right).

The phrase “there exists” can also mean “there is” and “there is at least one.” In fact, it is a good idea when seeing an existence theorem to reword it using each of these other phrases. “There is at least one” reminds you that there may be more than one number that satisfies the condition. The mathematical symbol for these phrases is an upper-case E written backwards: \displaystyle \exists .

Textbooks, after presenting an existence theorem, usually follow-up with some exercises asking students to find the value for a given function on a given interval: “Find the value of c guaranteed by the Mean Value Theorem for the function … on the interval ….” These exercises may help students remember the formula involved but are not very useful otherwise.

The important thing about most existence theorems is that the number exists, not what the number is. To illustrate this, let’s consider the Fundamental Theorem of Calculus. After partitioning the interval [a, b] into subintervals at various values, xi, we consider the limit of the sum

\displaystyle \underset{{n\to \infty }}{\mathop{{\lim }}}\,\sum\limits_{{n=1}}^{n}{{\left( {f\left( {{{x}_{i}}} \right)-f\left( {{{x}_{{i-1}}}} \right)} \right)}}.

Write out a few terms and you will see that is a telescoping series and its limit is \displaystyle f\left( b \right)-f\left( a \right).

The expression \displaystyle {f\left( {{{x}_{i}}} \right)-f\left( {{{x}_{{i-1}}}} \right)} resembles the right side of the Mean Value Theorem above. Since all the conditions are met, the MVT tells us that in each subinterval \displaystyle [{{x}_{{i-1}}},{{x}_{i}}] there exists a number, call it ci , such that

\displaystyle {f}'\left( {{{c}_{i}}} \right)\left( {{{x}_{i}}-{{x}_{{i-1}}}} \right)=f\left( {{{x}_{i}}} \right)-f\left( {{{x}_{{i-1}}}} \right) and therefore

\displaystyle \underset{{n\to \infty }}{\mathop{{\lim }}}\,\sum\limits_{{n=1}}^{n}{{\left( {f\left( {{{x}_{i}}} \right)-f\left( {{{x}_{{i-1}}}} \right)} \right)}}=\underset{{n\to \infty }}{\mathop{{\lim }}}\,\sum\limits_{{n=1}}^{n}{{{f}'\left( {{{c}_{i}}} \right)\left( {{{x}_{i}}-{{x}_{{i-1}}}} \right)}}=f\left( b \right)-f\left( a \right)

No one is concerned what these ci are, just that there are such numbers, that they exist. (The second limit above is then defined as the definite integral so \displaystyle \underset{{n\to \infty }}{\mathop{{\lim }}}\,\sum\limits_{{n=1}}^{n}{{{f}'\left( {{{c}_{i}}} \right)\left( {{{x}_{i}}-{{x}_{{i-1}}}} \right)}}=\int_{a}^{b}{{{f}'\left( x \right)dx=}}f\left( b \right)-f\left( a \right) – The Fundamental Theorem of Calculus.)

Other important existence theorems in calculus

The Intermediate Value Theorem

If f is continuous on the interval [a, b] and M is any number between f(a) and f(b), then there exists a number c in the open interval (a, b) such that f(c) = M.

If f is continuous on an interval and f changes sign in the interval, then there must be at least one number c in the interval such that f(c) = 0

Extreme Value Theorem

If f is continuous on the closed interval [a, b], then there exists a number c in [a, b] such that \displaystyle f\left( c \right)\ge f\left( x \right) for all x in the interval. Every function continuous on a closed interval has (i.e. there exists) a maximum value in the interval.

If f is continuous on the closed interval [a, b], then there exists a number c in [a, b] such that \displaystyle f\left( c \right)\le f\left( x \right) for all x in the interval. Every function continuous on a closed interval has (i.e. there exists) a minimum value in the interval.

Critical Points

If f is differentiable on a closed interval and \displaystyle {f}'\left( x \right) changes sign in the interval, then there exists a critical point in the interval.

Rolle’s theorem

If a function f is defined on the closed interval [a, b] and differentiable on the open interval (a, b) and f(a) = f(b), then there must exist a number c in the open interval (a, b) such that \displaystyle {f}'\left( c \right)=0.

MVT – other forms

If I drive a car continuously for 150 miles in three hours, then there is a time when my speed was exactly 50 mph.

If a function f is defined on the closed interval [a, b] and differentiable on the open interval (a, b), then there is a point on the graph of f where the tangent line is parallel to the segment between the endpoints.

Taylor’s Theorem

If f is a function with derivatives through order n + 1 on an interval I containing a, then, for each x in I , there exists a number c between x and a such that

\displaystyle f\left( x \right)=\sum\limits_{k=0}^{n}{\frac{{{f}^{\left( k \right)}}\left( a \right)}{k!}{{\left( x-a \right)}^{k}}}+\frac{{{f}^{\left( n+1 \right)}}\left( c \right)}{\left( n+1 \right)!}{{\left( x-a \right)}^{n+1}}

The number \displaystyle R=\frac{{{f}^{\left( n+1 \right)}}\left( c \right)}{\left( n+1 \right)!}{{\left( x-a \right)}^{n+1}} is called the remainder. The equation above says that if you can find the correct c the function is exactly equal to Tn(x) + R. Notice the form of the remainder is the same as the other terms, except it is evaluated at the mysterious c. The trouble is we almost never can find the c without knowing the exact value of f(x), but; if we knew that, there would be no need to approximate. However, often without knowing the exact values of c, we can still approximate the value of the remainder and thereby, know how close the polynomial Tn(x) approximates the value of f(x) for values in x in the interval, i. See Error Bounds and the Lagrange error bound.

Cogito, ergo sum

And finally, we have Descartes’ famous “theorem” Cogito, ergo sum (in Latin) or the original French, Je pense, donc je suis, translated as “I think, therefore I am” proving his own existence.