Loading [MathJax]/jax/element/mml/optable/GeneralPunctuation.js








Maximum and Minimum Values


Definition 6.1.1.  Let c be a number in the domain D of a function f. Then f(c) is the

·  absolute maximum value of f on D if f(c)f(x) for all x in D.

·  absolute minimum value of f on D if f(c)f(x) for all x in D.


Remark 6.1.2.  An absolute maximum or minimum is sometimes called a global maximum or minimum. The maximum and minimum values of f are called extreme values of f.



Definition 6.1.3.  The number f(c) is a

·  local maximum value of f if f(c)f(x) when x is near c.

·  local minimum value of f if f(c)f(x) when x is near c.


Remark 6.1.4.  If we say that something is true near c, we mean that it is true on some open interval containing c.



Figure 1



Theorem 6.1.5. (The Extreme Value Theorem)  If f is continuous on a closed interval [a, b], then f attains an absolute maximum value f(c) and an absolute minimum value f(d) at some numbers c and d in [a, b].



Figure 2



Theorem 6.1.6. (Fermat's Theorem)  If f has a local maximum or minimum at c, and if f(c) exists, then f(c)=0.



Figure 3


Proof.  Suppose, for the sake of definiteness, that f has a local maximum at c. Then, according to Definition 6.1.3, f(c)f(x) if x is sufficiently close to c. This implies that if h is sufficiently close to 0, with h being positive or negative, then


f(c)f(c+h)


and therefore


f(c+h)f(c)0(i)


We can divide both sides of an inequality by a positive number. Thus, if h>0 and h is sufficiently small, we have


f(c+h)f(c)h0


Taking the right-hand limit of both sides of this inequality (using Theorem 1.2.2), we get


limh0+f(c+h)f(c)hlimh0+0=0


But since f(c) exists, we have


f(c)=limh0f(c+h)f(c)h=limh0+f(c+h)f(c)h


and so we have shown that f(c)0.

If h<0, then the direction of the inequality (i) is reversed when we divide by h:


f(c+h)f(c)h0


So, taking the left-hand limit, we have


f(c)=limh0f(c+h)f(c)h=limh0f(c+h)f(c)h0


We have shown that f(c)0 and also that f(c)0. Since both of these inequalities must be true, the only possibility is that f(c)=0.


Remark 6.1.7.  You must be careful that the converse of Theorem 6.1.6 is false in general. In other words, even when f(c)=0 there need not be a maximum or minimum at c. Furthermore, there may be an extreme value even when f(c) does not exist.



Definition 6.1.8.  A critical number of a function f is a number c in the domain of f such that either f(c)=0 or f(c) does not exist.


Remark 6.1.9.  If f has a local maximum or minimum at c, then c is a critical number of f.








The Mean Value Theorem


Theorem 6.2.1. (Rolle’s Theorem)  Let f be a function that satisfies the following three hypotheses:


1.  f is continuous on the closed interval [a, b].

2.  f is differentiable on the open interval (a, b).

3.  f(a)=f(b)


Then there is a number c in (a, b) such that f(c)=0.



Figure 4


Proof.  There are three cases:


Case I.  f(x)=k, a constant

Then f(x)=0, so the number c can be taken to be any number in (a, b).


Case II.  f(x)>f(a) for some x in (a, b)

By Theorem 6.1.5 (which we can apply by hypothesis 1), f has a maximum value somewhere in [a, b]. Since f(a)=f(b), it must attain this maximum value at a number c in the open interval (a, b). Then f has a local maximum at c and, by hypothesis 2, f is differentiable at c. Therefore f(c)=0 by Theorem 6.1.6.


Case III.  f(x)<f(a) for some x in (a, b)

By Theorem 6.1.5, f has a minimum value in [a, b] and, since f(a)=f(b), it attains this minimum value at a number c in (a, b). Again f(c)=0 by Theorem 6.1.6.



Theorem 6.2.2. (The Mean Value Theorem)  Let f be a function that satisfies the following hypotheses:


1.  f is continuous on the closed interval [a, b].

2.  f is differentiable on the open interval (a, b).


Then there is a number c in (a, b) such that


f(c)=f(b)f(a)ba(ii)


or, equivalently,


f(b)f(a)=f(c)(ba)



Figure 5


Proof.  The slope of the secant line AB is


mAB=f(b)f(a)ba(iii)


which is the same expression as on the right side of Equation (ii).

Now we apply Theorem 6.2.1 to a new function h defined as the difference between f and the function whose graph is the secant line AB. Using Equation (iii) and the point-slope equation of a line, we see that the equation of the line AB can be written as


yf(a)=f(b)f(a)ba(xa)


or as


y=f(a)+f(b)f(a)ba(xa)


So, the equation of h(x) is


h(x)=f(x)f(a)f(b)f(a)ba(xa)(iv)


First we must verify that h satisfies the three hypotheses of Theorem 6.2.1.


1.  The function h is continuous on [a, b] because it is the sum of f and a first-degree polynomial, both of which are continuous.


2.  The function h is differentiable on (a, b) because both f and the first-degree polynomial are differentiable. In fact, we can compute h directly from Equation (iv):


h(x)=f(x)f(b)f(a)ba


3.

h(a)=f(a)f(a)f(b)f(a)ba(aa)=0h(b)=f(b)f(a)f(b)f(a)ba(ba)=f(b)f(a)[f(b)f(a)]=0


Therefore h(a)=h(b).


Since h satisfies the hypotheses of Theorem 6.2.1, that theorem says there is a number c in (a, b) such that h(c)=0. Therefore


0=h(c)=f(c)f(b)f(a)ba


and so


f(c)=f(b)f(a)ba



Theorem 6.2.3.  If f(x)=0 for all x in an interval (a, b), then f is constant on (a, b).


Proof.  Let x1 and x2 be any two numbers in (a, b) with x1<x2. Since f is differentiable on (a, b), it must be differentiable on (x1, x2) and continuous on [x1, x2]. By applying Theorem 6.2.2. to f on the interval [x1, x2], we get a number c such that x1<c<x2 and


f(x2)f(x1)=f(c)(x2x1)(v)


Since f(x)=0 for all x, we have f(c)=0, and so Equation (v) becomes


f(x2)f(x1)=0orf(x2)=f(x1)


Therefore f has the same value at any two numbers x1 and x2 in (a, b). This means that f is constant on (a, b).



Corollary 6.2.4.  If f(x)=g(x) for all x in an interval (a, b), then fg is constant on (a, b); that is, f(x)=g(x)+c where c is a constant.


Proof.  Let F(x)=f(x)g(x). Then


F(x)=f(x)g(x)=0


for all x in (a, b). Thus, by Theorem 6.2.3, F is constant; that is, fg is constant.








The Shape of a Graph


Theorem 6.3.1.

(a)  If f(x)>0 on an interval, then f is increasing on that interval.

(b)  If f(x)<0 on an interval, then f is decreasing on that interval.


Proof.  (a) Let x1 and x2 be any two numbers in the interval with x1<x2. According to the definition of an increasing function, we have to show that f(x1)<f(x2).

Because we are given that f(x)>0, we know that f is differentiable on [x1, x2]. So, by Theorem 6.2.2, there is a number c between x1 and x2 such that


f(x2)f(x1)=f(c)(x2x1)(vi)


Now f(c)>0 by assumption and x2x1>0 because x1<x2. Thus the right side of Equation (vi) is positive, and so


f(x2)f(x1)>0orf(x1)<f(x2)


This shows that f is increasing.



Theorem 6.3.2.  Suppose that c is a critical number of a continuous function f.

(a)  If f changes from positive to negative at c, then f has a local maximum at c.

(b)  If f changes from negative to positive at c, then f has a local minimum at c.

(c)  If f is positive to the left and right of c, or negative to the left and right of c, then f has no local maximum or minimum at c.



Figure 6


Remark 6.3.3.  Theorem 6.3.2 is a consequence of Theorem 6.3.1. In part (a), for instance, since the sign of f(x) changes from positive to negative at c, f is increasing to the left of c and decreasing to the right of c. It follows that f has a local maximum at c.



Definition 6.3.4.  If the graph of f lies above all of its tangents on an interval I, then it is called concave upward on I. If the graph of f lies below all of its tangents on I, it is called concave downward on I.



Figure 7 : Concave Upward



Figure 8 : Concave Downward



Definition 6.3.5.  A point P on a curve y=f(x) is called an inflection point if f is continuous there and the curve changes from concave upward to concave downward or from concave downward to concave upward at P.



Theorem 6.3.6.

(a)  If f for all x in I , then the graph of f is concave upward on I .

(b)  If f''(x) < 0 for all x in I , then the graph of f is concave downward on I .


Proof.  (a) Let a be any number in I . We must show that the curve y = f(x) lies above the tangent line at the point (a, f(a)) . The equation of this tangent is


\displaystyle y = f(a) + f'(a)(x - a)


So we must show that


\displaystyle f(x) > f(a) + f'(a)(x - a)


whenever x \in I \ (x \neq a) .

First let us take the case where x > a . Applying Theorem 6.2.2 to f on the interval \left[a,\ x \right] , we get a number c , with a < c < x , such that


\displaystyle f(x) - f(a) = f'(c)(x - a) \qquad \cdots \qquad \text{(vii)}


Since f'' > 0 on I , we know from Theorem 6.3.1 that f' is increasing on I . Thus, since a < c , we have


\displaystyle f'(a) < f'(c)


and so, multiplying this inequality by the positive number x - a , we get


\displaystyle f'(a)(x - a) < f'(c)(x - a)


Now we add f(a) to both sides of this inequality:


\displaystyle f(a) + f'(a)(x - a) < f(a) + f'(c)(x - a)


But from Equation \text{(vii)} we have f(x) = f(a) + f'(c)(x - a) . So this inequality becomes


\displaystyle f(x) > f(a) + f'(a)(x - a)


which is what we wanted to prove.

\Box



Theorem 6.3.7.  Suppose f'' is continuous near c .

(a)  If f'(c) = 0 and f''(c) > 0 , then f has a local minimum at c .

(b)  If f'(c) = 0 and f''(c) < 0 , then f has a local maximum at c .


Remark 6.3.8.  Theorem 6.3.7 is a consequence of Theorem 6.3.6 and serves as an alternative to Theorem 6.3.2.






The body text and the figures were excerpted from James Stewart, Calculus 8E.




'Calculus' 카테고리의 다른 글

[Calculus] VIII. Applications of Integration  (0) 2019.02.21
[Calculus] VII. Integrals  (0) 2019.02.01
[Calculus] V. Linear Approximations and Differentials  (0) 2019.01.27
[Calculus] IV. Differentiation  (0) 2019.01.18
[Calculus] III. Derivatives  (0) 2019.01.16

+ Recent posts