Skip to main content
Mathematics LibreTexts

3.3: Global Optimization

  • Page ID
    4308
  • \( \newcommand{\vecs}[1]{\overset { \scriptstyle \rightharpoonup} {\mathbf{#1}} } \) \( \newcommand{\vecd}[1]{\overset{-\!-\!\rightharpoonup}{\vphantom{a}\smash {#1}}} \)\(\newcommand{\id}{\mathrm{id}}\) \( \newcommand{\Span}{\mathrm{span}}\) \( \newcommand{\kernel}{\mathrm{null}\,}\) \( \newcommand{\range}{\mathrm{range}\,}\) \( \newcommand{\RealPart}{\mathrm{Re}}\) \( \newcommand{\ImaginaryPart}{\mathrm{Im}}\) \( \newcommand{\Argument}{\mathrm{Arg}}\) \( \newcommand{\norm}[1]{\| #1 \|}\) \( \newcommand{\inner}[2]{\langle #1, #2 \rangle}\) \( \newcommand{\Span}{\mathrm{span}}\) \(\newcommand{\id}{\mathrm{id}}\) \( \newcommand{\Span}{\mathrm{span}}\) \( \newcommand{\kernel}{\mathrm{null}\,}\) \( \newcommand{\range}{\mathrm{range}\,}\) \( \newcommand{\RealPart}{\mathrm{Re}}\) \( \newcommand{\ImaginaryPart}{\mathrm{Im}}\) \( \newcommand{\Argument}{\mathrm{Arg}}\) \( \newcommand{\norm}[1]{\| #1 \|}\) \( \newcommand{\inner}[2]{\langle #1, #2 \rangle}\) \( \newcommand{\Span}{\mathrm{span}}\)\(\newcommand{\AA}{\unicode[.8,0]{x212B}}\)

    Learning Objectives

    In this section, we strive to understand the ideas generated by the following important questions:

    • What are the differences between finding relative extreme values and global extreme values of a function?
    • How is the process of finding the global maximum or minimum of a function over the function’s entire domain different from determining the global maximum or minimum on a restricted domain?
    • For a function that is guaranteed to have both a global maximum and global minimum on a closed, bounded interval, what are the possible points at which these extreme values occur?

    We have seen that we can use the first derivative of a function to determine where the function is increasing or decreasing, and the second derivative to know where the function is concave up or concave down. Each of these approaches provides us with key information that helps us determine the overall shape and behavior of the graph, as well as whether the function has a relative minimum or relative maximum at a given critical number. Remember that the difference between a relative maximum and a global maximum is that there is a relative maximum of \(f\) at \(x = p\) if \(f (p) ≥ f (x)\) for all \(x\) near \(p\), while there is a global maximum at \(p\) if \(f (p) ≥ f (x)\) for all \(x\) in the domain of \(f\). For instance,

    alt

    Figure \(\PageIndex{1}\): A function \(f\) with a global maximum, but no global minimum.

    in Figure \(\PageIndex{1}\), we see a function \(f\) that has a global maximum at \(x = c\) and a relative maximum at \(x = a\), since \(f (c)\) is greater than \(f (x)\) for every value of \(x\), while \(f (a)\) is only greater than the value of \(f (x)\) for \(x\) near \(a\). Since the function appears to decrease without bound, \(f\) has no global minimum, though clearly \(f\) has a relative minimum at \(x = b\). Our emphasis in this section is on finding the global extreme values of a function (if they exist). In so doing, we will either be interested in the behavior of the function over its entire domain or on some restricted portion. The former situation is familiar and similar to work that we did in the two preceding sections of the text. We explore this through a particular example in the following preview activity.

    Preview Activity \(\PageIndex{1}\)

    Let \[f (x) = 2 + \dfrac{3}{1 + (x + 1)^2}.\]

    1. Determine all of the critical numbers of \(f\).
    2. Construct a first derivative sign chart for \(f\) and thus determine all intervals on which \(f\) is increasing or decreasing.
    3. Does \(f\) have a global maximum? If so, why, and what is its value and where is the maximum attained? If not, explain why.
    4. Determine \[\lim_{x→∞} f (x) \nonumber \]and \[\lim_{x→−∞} f (x). \nonumber\]
    5. Explain why \(f (x) > 2\) for every value of \(x\).
    6. Does \(f\) have a global minimum? If so, why, and what is its value and where is the minimum attained? If not, explain why.

    Global Optimization

    For the functions in Figure \(\PageIndex{1}\) and Preview Activity 3.3, we were interested in finding the global minimum and global maximum on the entire domain, which turned out to be \((−∞, ∞)\) for each. At other times, our perspective on a function might be more focused due to some restriction on its domain. For example, rather than considering \(f (x) = 2+ \frac{3}{1+(x+1)^2}\) for every value of \(x\), perhaps instead we are only interested in those \(x\) for which \(0 ≤ x ≤ 4\), and we would like to know which values of \(x\) in the interval \([0, 4]\) produce the largest possible and smallest possible values of \(f\). We are accustomed to critical numbers playing a key role in determining the location of extreme values of a function; now, by restricting the domain to an interval, it makes sense that the endpoints of the interval will also be important to consider, as we see in the following activity. When limiting ourselves to a particular interval, we will often refer to the absolute maximum or minimum value, rather than the global maximum or minimum.

    Activity \(\PageIndex{1}\)

    Let \[g(x) = \dfrac{1}{3} x^3 − 2x + 2.\]

    1. Find all critical numbers of \(g\) that lie in the interval \(−2 ≤ x ≤ 3\).
    2. Use a graphing utility to construct the graph of \(g\) on the interval \(−2 ≤ x ≤ 3\).
    3. From the graph, determine the x-values at which the absolute minimum and absolute maximum of g occur on the interval \([−2, 3]\).
    4. How do your answers change if we instead consider the interval \(−2 ≤ x ≤ 2\)?
    5. What if we instead consider the interval \(−2 ≤ x ≤ 1\)?

    In Activity \(\PageIndex{2}\), we saw how the absolute maximum and absolute minimum of a function on a closed, bounded interval \([a, b]\), depend not only on the critical numbers of the function, but also on the selected values of \(a\) and \(b\). These observations demonstrate several important facts that hold much more generally. First, we state an important result called the Extreme Value Theorem.

    The Extreme Value Theorem

    If \(f\) is a continuous function on a closed interval \([a, b]\), then \(f\) attains both an absolute minimum and absolute maximum on \([a, b]\). That is, for some value \(x_m\) such that \(a ≤ x_m ≤ b\), it follows that \(f (x_m) ≤ f (x)\) for all \(x\) in \([a, b]\). Similarly, there is a value \(x_M\) in \([a, b]\) such that \(f (x_M) ≥ f (x)\) for all \(x\) in \([a, b]\). Letting \(m = f (x_m)\) and \(M = f (x_M)\), it follows that \(m ≤ f (x) ≤ M\) for all \(x\) in \([a, b]\).

    The Extreme Value Theorem tells us that provided a function is continuous, on any closed interval \([a, b]\) the function has to achieve both an absolute minimum and an absolute maximum. Note, however, that this result does not tell us where these extreme values occur, but rather only that they must exist. As seen in the examples of Activity \(\PageIndex{2}\), it is apparent that the only possible locations for relative extremes are either the endpoints of the interval or at a critical number (the latter being where a relative minimum or maximum could occur, which is a potential location for an absolute extreme). Thus, we have the following approach to finding the absolute maximum and minimum of a continuous function \(f\) on the interval \([a, b]\):

    • find all critical numbers of \(f\) that lie in the interval;
    • evaluate the function \(f\) at each critical number in the interval and at each endpoint of the interval;
    • from among the noted function values, the smallest is the absolute minimum of \(f\) on the interval, while the largest is the absolute maximum.

    Activity \(\PageIndex{3}\)

    Find the exact absolute maximum and minimum of each function on the stated interval.

    1. \(h(x) = xe^{−x}\) on \([0, 3]\)
    2. \(p(t) = \sin(t) + \cos(t)\) on \([− \frac{π}{2} ,\frac{π}{2} ]\)
    3. \(q(x) = \frac{x^2}{x−2}\) on \( [3, 7]\)
    4. \(f (x) = 4 − e ^{−(x−2)^2}\) on \((−∞, ∞)\)
    5. \(h(x) = xe^{−ax}\) on \([0, \frac{2}{a} ]\) with \((a > 0)\)
    6. \(f (x) = b − e^{ −(x−a)^ 2}\) on \((−∞, ∞)\) with \(a > 0\) and \(b > 0\).

    One of the big lessons in finding absolute extreme values is the realization that the interval we choose has nearly the same impact on the problem as the function under consideration. Consider, for instance, the function pictured in Figure \(\PageIndex{2}\). In sequence,

    alt

    Figure \(\PageIndex{2}\): A function g considered on three different intervals.

    from left to right, as we see the interval under consideration change from \([−2, 3]\) to \([−2, 2]\) to \([−2, 1]\), we move from having two critical numbers in the interval with the absolute minimum at one critical number and the absolute maximum at the right endpoint, to still having both critical numbers in the interval but then with the absolute minimum and maximum at the two critical numbers, to finally having just one critical number in the interval with the absolute maximum at one critical number and the absolute minimum at one endpoint. It is particularly essential to always remember to only consider the critical numbers that lie within the interval.

    Moving Towards Applications

    In Section 3.4, we will focus almost exclusively on applied optimization problems: problems where we seek to find the absolute maximum or minimum value of a function that represents some physical situation. We conclude this current section with an example of one such problem because it highlights the role that a closed, bounded domain can play in finding absolute extrema. In addition, these problems often involve considerable preliminary work to develop the function which is to be optimized, and this example demonstrates that process.

    Example \(\PageIndex{1}\): Maximizing and Minimizing Area

    A 20 cm piece of wire is cut into two pieces. One piece is used to form a square and the other an equilateral triangle. How should the wire be cut to maximize the total area enclosed by the square and triangle? to minimize the area?

    Solution

    We begin by constructing a picture that exemplifies the given situation. The primary variable in the problem is where we decide to cut the wire. We thus label that point \(x\), and note that the remaining portion of the wire then has length \(20 − x\). As shown in Figure \(\PageIndex{3}\), we see that the \(x\) cm of the wire that are used to form the equilateral triangle result in a triangle with three sides of length \(\frac{x}{3}\).

    alt

    Figure \(\PageIndex{3}\): A 20 cm piece of wire cut into two pieces, one of which forms an equilateral triangle, the other which yields a square.

    For the remaining \(20 − x\) cm of wire, the square that results will have each side of length \(\frac{20−x}{4}\).

    At this point, we note that there are obvious restrictions on x: in particular, \(0 ≤ x ≤ 20\). In the extreme cases, all of the wire is being used to make just one figure. For instance, if \(x = 0\), then all 20 cm of wire are used to make a square that is \(5 × 5\).

    Now, our overall goal is to find the absolute minimum and absolute maximum areas that can be enclosed. We note that the area of the triangle is

    \[A_{\triangle} = \dfrac{1}{2} bh = \dfrac{1}{2} \cdot \dfrac{x}{3} \cdot \dfrac{ x \sqrt{3}}{6} \]

    since the height of an equilateral triangle is \(\sqrt{ 3}\) times half the length of the base. Further, the area of the square is

    \[A_{\square} = s^2 = \left( \dfrac{ 20−x}{4} \right)^2. \]

    Therefore, the total area function is

    \[ \begin{align} A & = A_{\triangle} + A_{\square} \\ & = \dfrac{\sqrt{3} x^2 }{36} + \left( \dfrac{ 20−x}{4} \right)^2. \label{ex4} \end{align}\]

    Again, note that we are only considering this function on the restricted domain \([0, 20]\) and we seek its absolute minimum and absolute maximum.

    Differentiating \(A(x)\) in Equation \ref{ex4}, we have

    \[A' (x) = \dfrac{\sqrt{ 3}x}{18} + 2 \left( \dfrac{ 20 − x}{ 4} \right) \left( - \dfrac{ 1}{4} \right) = \dfrac{\sqrt{3}}{18} x + \dfrac{1}{8} x − \dfrac{5}{2} .\]

    Setting \(A' (x) = 0\), it follows that

    \[x = \dfrac{180}{ 4 \sqrt{ 3} +9} \approx 11.3007\]

    is the only critical number of \(A\), and we note that this lies within the interval \([0, 20]\).

    Evaluating \(A(x)\) (Equation \ref{ex4}) at the critical number and endpoints, we see that

    \[\begin{align} A \left( \dfrac{180}{ 4 \sqrt{ 3} +9} \right) & = \dfrac{\sqrt{3} \left( \dfrac{180}{ 4 \sqrt{ 3} +9} \right)^2 }{4} + \left( \dfrac{20- \dfrac{180}{ 4 \sqrt{ 3} +9} }{4} \right)^2 ≈ 10.8741 \nonumber \\ A(0) & = 25 \nonumber \\ A(20) & = \dfrac{\sqrt{3}}{36} (400) = \dfrac{100}{9} \sqrt{3} ≈ 19.2450 \nonumber\end{align}\]

    Thus, the absolute minimum occurs when \(x ≈ 11.3007\) and results in the minimum area of approximately 10.8741 square centimeters, while the absolute maximum occurs when we invest all of the wire in the square (and none in the triangle), resulting in 25 square centimeters of area. These results are confirmed by a plot of \(y = A(x)\) on the interval \([0, 20]\), as shown in Figure \(\PageIndex{4}\).

    alt

    Figure \(\PageIndex{4}\): A plot of the area function from Example \(\PageIndex{1}\).

    Activity \(\PageIndex{4}\)

    A piece of cardboard that is 10 × 15 (each measured in inches) is being made into a box without a top. To do so, squares are cut from each corner of the box and the remaining sides are folded up. If the box needs to be at least 1 inch deep and no more than 3 inches deep, what is the maximum possible volume of the box? what is the minimum volume? Justify your answers using calculus.

    1. Draw a labeled diagram that shows the given information. What variable should we introduce to represent the choice we make in creating the box? Label the diagram appropriately with the variable, and write a sentence to state what the variable represents.
    2. Determine a formula for the function \(V\) (that depends on the variable in (a)) that tells us the volume of the box.
    3. What is the domain of the function \(V\)? That is, what values of x make sense for input? Are there additional restrictions provided in the problem?
    4. Determine all critical numbers of the function \(V\).
    5. Evaluate \(V\) at each of the endpoints of the domain and at any critical numbers that lie in the domain.
    6. What is the maximum possible volume of the box? the minimum?

    The approaches shown in Example \(\PageIndex{1}\) and experienced in Activity \(\PageIndex{4}\) include standard steps that we undertake in almost every applied optimization problem: we draw a picture to demonstrate the situation, introduce one or more variables to represent quantities that are changing, work to find a function that models the quantity to be optimized, and then decide an appropriate domain for that function. Once that work is done, we are in the familiar situation of finding the absolute minimum and maximum of a function over a particular domain, at which time we apply the calculus ideas that we have been studying to this point in Chapter 3.

    Summary

    In this section, we encountered the following important ideas:

    • To find relative extreme values of a function, we normally use a first derivative sign chart and classify all of the function’s critical numbers. If instead we are interested in absolute extreme values, we first decide whether we are considering the entire domain of the function or a particular interval.
    • In the case of finding global extremes over the function’s entire domain, we again use a first or second derivative sign chart in an effort to make overall conclusions about whether or not the function can have a absolute maximum or minimum. If we are working to find absolute extremes on a restricted interval, then we first identify all critical numbers of the function that lie in the interval.
    • For a continuous function on a closed, bounded interval, the only possible points at which absolute extreme values occur are the critical numbers and the endpoints. Thus, to find said absolute extremes, we simply evaluate the function at each endpoint and each critical number in the interval, and then we compare the results to decide which is largest (the absolute maximum) and which is smallest (the absolute minimum).

    This page titled 3.3: Global Optimization is shared under a CC BY-SA 4.0 license and was authored, remixed, and/or curated by Matthew Boelkins, David Austin & Steven Schlicker (ScholarWorks @Grand Valley State University) via source content that was edited to the style and standards of the LibreTexts platform; a detailed edit history is available upon request.