Relative Extrema

    Now we define relative extrema and state the relative extrema theorem. If a function is defined on an open interval and if at some point in that interval the function reaches a maximum or minimum value (relative to that interval), then we say that the function has a relative extrema on that interval. A maximum or minimum value that occurs at an endpoint is not, by definition, a relative maximum nor a relative minimum. A relative maximum or relative minimum must occur in the interior of an interval.

Definition (Relative Maximum) Let relative extrema _gr_1.gif] be a function defined on an open interval relative extrema _gr_2.gif] If relative extrema _gr_3.gif] and relative extrema _gr_4.gif] for all relative extrema _gr_5.gif] in relative extrema _gr_6.gif] then relative extrema _gr_7.gif] is called a relative maximum of relative extrema _gr_8.gif] on relative extrema _gr_9.gif] A relative maximum is sometimes called a local maximum.

Definition (Relative Minimum) Let relative extrema _gr_10.gif] be a function defined on an open interval relative extrema _gr_11.gif] If relative extrema _gr_12.gif] and relative extrema _gr_13.gif] for all relative extrema _gr_14.gif] in relative extrema _gr_15.gif] then relative extrema _gr_16.gif] is called a relative minimum of relative extrema _gr_17.gif] on relative extrema _gr_18.gif] A relative minimum is sometimes called a local minimum.

Definition (Relative Extrema) Let relative extrema _gr_19.gif] be a function defined on an open interval relative extrema _gr_20.gif] If relative extrema _gr_21.gif] and   relative extrema _gr_22.gif] is either a relative maximum or a relative minimum then relative extrema _gr_23.gif] is a relative extrema, and we say that relative extrema _gr_24.gif] is a relative extreme value.

    The following proposition is often called Fermat's Theorem due to acknowledgment that Fermat realized the result first. The following examples show that even when relative extrema _gr_25.gif] there need not be a maximum or minimum at relative extrema _gr_26.gif] In other words, the converse of Fermat's Theorem is false in general. Furthermore, there may be an extreme value when relative extrema _gr_27.gif] or when relative extrema _gr_28.gif] does not exist.

Proposition (Relative Extrema Theorem) If relative extrema _gr_29.gif] has a relative extremum at relative extrema _gr_30.gif] and relative extrema _gr_31.gif] exists then relative extrema _gr_32.gif]

    Proof. Since relative extrema _gr_33.gif] is differentiable at relative extrema _gr_34.gif] relative extrema _gr_35.gif] must be positive, zero, or negative. Suppose

relative extrema _gr_36.gif]

Then there exists an interval relative extrema _gr_37.gif] containing relative extrema _gr_38.gif] such that relative extrema _gr_39.gif] for all relative extrema _gr_40.gif] in relative extrema _gr_41.gif] This produces the following inequalities for relative extrema _gr_42.gif]- values in the interval relative extrema _gr_43.gif] If relative extrema _gr_44.gif] and relative extrema _gr_45.gif] then relative extrema _gr_46.gif] is not a relative minimum. If relative extrema _gr_47.gif] and relative extrema _gr_48.gif] then relative extrema _gr_49.gif] is not a relative maximum. So the assumption that relative extrema _gr_50.gif] leads to a contradiction. Assuming that relative extrema _gr_51.gif] will also lead to a similar contradiction. Thus it must be the case relative extrema _gr_52.gif] as desired. relative extrema _gr_53.gif]

Example (Relative Extrema) Determine if the relative extrema theorem applies and if so find the relative extrema for the function:

relative extrema _gr_54.gif]

    Solution. The function relative extrema _gr_55.gif] has its minimum value (local and absolute) at relative extrema _gr_56.gif] but we can not find this absolute minimum by setting relative extrema _gr_57.gif] because relative extrema _gr_58.gif] is not defined at relative extrema _gr_59.gif]     

Determine if the relative extrema theorem applies and if so find the relative extrema for the function:  

relative extrema _gr_60.gif]
    
    Solution. Since relative extrema _gr_61.gif] we have relative extrema _gr_62.gif] However, since relative extrema _gr_63.gif] does not have a relative extremum at relative extrema _gr_64.gif] the converse of the relative extrema theorem does not hold. relative extrema _gr_65.gif]

Cite this as:
Relative Extrema
Published by Library of Math -- Online math organized by subject into topics.
Written by Smith, David A.
http://www.libraryofmath.com/relative-extrema.html
 
    
Library of Math
Online Math Organized by Subject Into Topics
math search
Library of Math AddThis Feed Button
The Library of Math - Online Math Organized by Subject Into Topics.
© 2005 - 2008 www.LibraryOfMath.com All rights reserved.
about us | feedback | privacy policy | terms of use | mision statement | help

Page copy protected against web site content infringement by Copyscape Valid CSS! Valid HTML 4.01 Transitional Subscribe to the Library of Math Feed