4.3 最大值和最小值
学习目标
- 4.3.1 定义绝对极值。
- 4.3.2 定义局部极值。
- 4.3.3 解释如何在闭区间上找到函数的临界点。
- 4.3.4 描述如何使用临界点在闭区间上定位绝对极值。
对于给定函数,确定其最大值和最小值往往是我们关心的核心问题。这一信息对于绘制精确的函数图形至关重要。求函数的极值还有广泛的实际应用,比如使利润最大化、使制造铝罐所需的材料最少,或求火箭能达到的最大高度。本节将讨论如何利用导数来求函数的最大值和最小值。
绝对极值
考虑函数 在区间 上的情况。由于 ,因此该函数没有最大值。然而,由于对所有实数 都有 ,并且当 时 ,所以当 时,函数有一个最小值 1。我们称 1 是 的绝对最小值,它在 处取得。我们称 没有绝对最大值(参见下图)。
定义
设 是定义在区间 上的函数,且 。如果对所有 都有 ,则称 在区间 上的 处取得绝对最大值。如果对所有 都有 ,则称 在区间 上的 处取得绝对最小值。如果 在区间 上的 处取得绝对最大值,或者在区间 上的 处取得绝对最小值,则称 在区间 上的 处取得绝对极值。
在继续之前,我们先注意关于此定义的两个重要问题。首先,这里的“绝对”一词并非指绝对值。绝对极值可以是正数、负数或零。其次,如果函数 在区间 上的 处有绝对极值,那么这个绝对极值是 。实数 是定义域中绝对极值发生的点。例如,考虑函数 在区间 上的情况。由于
对所有实数 成立,因此我们说 在 在区间 上取得绝对最大值。绝对最大值为 。它在 处取得,如 图 4.13(b) 所示。
一个函数可能同时拥有绝对最大值和绝对最小值,也可能只有一个极值,或者两者都没有。图 4.13 展示了几个函数以及关于绝对极值的一些不同可能性。不过,下面的定理,称为最值定理,保证了在闭有界区间 上的连续函数 同时拥有绝对最大值和绝对最小值。
定理 4.1
最值定理
如果 是在闭有界区间 上的连续函数,那么在 中存在一点,使得 在 上有绝对最大值;并且在 中存在一点,使得 在 上有绝对最小值。
最值定理的证明超出了本书的范围。通常,它在实分析课程中进行证明。关于该定理的陈述有几个关键点需要注意。要使最值定理适用,函数必须在闭有界区间上连续。如果区间 是开区间,或者函数甚至有一个不连续点,那么函数在 上可能没有绝对最大值或绝对最小值。例如,考虑 图 4.13(d)、(e) 和 (f) 中所示的函数。这三个函数都定义在有界区间上。然而,图 (e) 中的函数是唯一一个在其定义域上同时具有绝对最大值和绝对最小值的函数。最值定理不能应用于图 (d) 和 (f) 中的函数,因为这两个函数都不是在闭有界区间上连续的。尽管图 (d) 中的函数定义在闭区间 上,但该函数在 处不连续。该函数在 上有绝对最大值,但没有绝对最小值。图 (f) 中的函数在半开区间 上连续,但在 处没有定义,所以它不是在闭有界区间上连续的。该函数在 上有绝对最小值,但在 上没有绝对最大值。这两个图形说明了为什么在有界区间上的函数可能没有绝对最大值和/或绝对最小值。
在探讨如何寻找绝对极值之前,我们先研究局部极值的相关概念。这一概念对于确定绝对极值出现的位置非常有用。
局部极值和临界点
考虑函数 ,如图 4.14所示。该图形可以描述为两座山峰中间夹着一个山谷。函数的绝对最大值出现在较高的山峰处,即 。但是, 也是一个值得关注的点。尽管 不是 的最大值,但对于 0 附近的所有 ,值 都大于 。我们称 在 处有一个局部最大值。类似地,函数 没有绝对最小值,但在 处有一个局部最小值,因为对于 1 附近的所有 , 都小于 。
定义
如果存在一个包含 的开区间 ,使得 包含在 的定义域中,并且对所有 都有 ,则函数 在 处有一个局部最大值。如果存在一个包含 的开区间 ,使得 包含在 的定义域中,并且对所有 都有 ,则函数 在 处有一个局部最小值。如果 在 处有一个局部最大值,或者 在 处有一个局部最小值,则函数 在 处有一个局部极值。
注意,如果 在 处有绝对极值,并且 在包含 的区间上定义,那么 也被认为是局部极值。如果函数 的绝对极值出现在端点处,我们不将其视为局部极值,而是将其称为端点极值。
给定函数 的图形,有时很容易看出局部最大值或局部最小值出现在何处。然而,这并非总是显而易见的,因为函数图形上的一些有趣特征可能由于尺度太小而不可见。此外,我们可能没有函数的图形。在这些情况下,我们如何使用函数公式来确定这些极值出现的位置?
为了回答这个问题,我们再次查看图 4.14。局部极值出现在 、 和 处。注意,在 和 处,导数 。在 处,导数 不存在,因为函数 在该处有一个尖角。事实上,如果 在点 处有局部极值,那么导数 必须满足以下条件之一: 或 未定义。这样的值 被称为临界数,它对于寻找函数的极值非常重要。
定义
设 是 定义域中的一个内点。如果 或 未定义,我们称 是 的一个临界数。我们称点 为 的临界点。注意,这两个术语在本书及其他教材中经常互换使用。
如前所述,如果 在点 处有局部极值,那么 必须是 的一个临界数。这一事实被称为费马定理。
定理 4.2
费马定理
如果 在 处有局部极值,并且 在 处可微,那么 。
证明
假设 在 处有局部极值,并且 在 处可微。我们需要证明 。为此,我们将证明 和 ,因此 。由于 在 处有局部极值, 在 处有局部最大值或局部最小值。假设 在 处有局部最大值。 在 处有局部最小值的情况可以类似处理。因此存在一个开区间 ,使得对所有 都有 。由于 在 处可微,根据导数的定义,我们知道
由于此极限存在,于是两个单侧极限也存在且等于 。因此,
且
由于 是局部最大值,可以看出对于 附近的 ,有 。因此,对于 附近但 的 ,我们有 。由式 4.4,可得 。类似地,可以证明 。所以,。
□
根据费马定理,于是:如果 在 处有局部极值,那么 或 必有一个未定义。也就是说,局部极值只能出现在临界点处。
注意,此定理并非声称函数 在临界点处一定有局部极值。相反,它指出临界点是局部极值的候选点。例如,考虑函数 。当 时,我们有 。因此, 是一个临界数。不过, 在 上是递增的,因此 在 处没有局部极值。在图 4.15中可以看到临界点的几种不同可能性。在某些情况下,函数在临界点处有局部极值,而在其他情况下则没有。注意,这些图形并未显示函数在临界点处行为的所有可能性。
本章后面,我们将探讨用于确定函数在临界点处是否确实存在局部极值的分析方法。现在,我们把注意力转向寻找临界点。我们将利用图形观察来确定临界点是否与局部极值相关联。
例 4.12
定位临界点
对于以下每个函数,找出所有临界点。使用图形工具确定函数在每个临界点处是否有局部极值。
解
- 导数 对所有实数 都有定义。于是,我们只需找到使 的 值。由于 ,临界数是 和 。从图 4.16中 的图形可以看出, 在 处有局部最大值,在 处有局部最小值。
图 4.16 此函数有一个局部最大值和一个局部最小值。 - 使用链式法则,可得导数为
因此, 有临界点,当 和 时。可得临界数是 。从图 4.17中 的图形可以看出, 在 处有局部(和绝对)最小值,但在 或 处没有局部极值。
图 4.17 此函数有三个临界数:、 和 。该函数在 处有局部(和绝对)最小值,但在其他两个临界点处没有极值。 - 根据商法则,可得导数为
导数处处有定义。因此,我们只需找到使 的 值。解 ,可得 ,这意味着 。所以,临界数是 。从图 4.18中 的图形可以看出, 在 处有绝对最大值,在 处有绝对最小值。因此, 在 处有局部最大值,在 处有局部最小值。(注意,如果 在区间 上的绝对极值出现在不是 端点的点 处,那么 在 处有局部极值。)
图 4.18 此函数有一个绝对最大值和一个绝对最小值。
检验点 4.12
找出 的所有临界点。
定位绝对极值
最值定理指出,闭有界区间上的连续函数具有绝对最大值和绝对最小值。如图 4.13 所示,这些绝对极值中的一个或两个可能出现在端点处。然而,如果一个绝对极值不出现在端点处,那么它必然出现在内点处,此时,该绝对极值是一个局部极值。因此,根据费马定理,出现局部极值的点 必须是一个临界点。我们将此结果总结在以下定理中。
定理 4.3
绝对极值的位置
设 是闭有界区间 上的一个连续函数。 在 上的绝对最大值和 在 上的绝对最小值,必然出现在 的端点处或 中 的临界点处。
基于这一思路,下面研究定位绝对极值的步骤。
解题策略
在闭区间上定位绝对极值
考虑在闭区间 上定义的连续函数 。
- 计算 在端点 和 处的值。
- 找出 在区间 内的所有临界点,并计算 在这些临界点处的值。
- 比较在 (1) 和 (2) 中找到的所有值。根据绝对极值的位置定理,绝对极值必然出现在端点或临界点处。于是,这些值中最大的就是 的绝对最大值,最小的就是 的绝对最小值。
现在来看看如何使用这个策略来找到连续函数的绝对最大值和绝对最小值。
例 4.13
定位绝对极值
对于下列每个函数,求其在指定区间上的绝对最大值和绝对最小值,并说明这些值出现的位置。
- 在 上
- 在 上
解
- 步骤 1. 计算 在端点 和 处的值。
步骤 2. 由于 对所有实数 都有定义,因此不存在导数未定义的临界点。接下来需要检查 的情况。由于 在 处,且 位于区间 内,因此 是 在 上的一个绝对极值候选点。我们计算 得到
步骤 3. 我们建立下表来比较步骤 1 和步骤 2 中找到的值。
结论 绝对最大值 绝对最小值
从表中可知, 在区间 [1, 3] 上的绝对最大值为 ,它出现在 处。 在区间 [1, 3] 上的绝对最小值为 ,它出现在 处,如下图所示。
图 4.19 此函数同时具有绝对最大值和绝对最小值。 - 步骤 1. 计算 在端点 和 处的值。
步骤 2. 的导数由下式给出:
对于 。当 时,导数为零,这意味着 。导数在 处无定义。所以, 的临界数是 。点 是一个端点,所以我们已经在步骤 1 中计算了 。点 不在所关注的区间内,所以我们只需计算 。我们发现
步骤 3. 我们在下表中比较步骤 1 和步骤 2 中找到的值。
结论 绝对最大值 绝对最小值
由此可得, 在区间 [0, 2] 上的绝对最大值为零,它出现在 处。绝对最小值为 −2,它出现在 处,如下图所示。
图 4.20 此函数在区间的端点处有一个绝对最大值。
检验点 4.13
求函数 在区间 上的绝对最大值和绝对最小值。
至此,我们已经知道如何定位闭区间上连续函数的绝对极值。我们还定义了局部极值,并确定如果函数 在点 处有局部极值,那么 必须是 的一个临界数。但是, 是一个临界点并不是 在 处有局部极值的充分条件。在本章后面,我们将展示如何确定函数是否在临界点处确实有局部极值。但是,首先我们需要引入中值定理,它将有助于我们分析函数图形的行为。
第 4.3 节练习
在预备微积分中,你学过二次方程 的最大值或最小值位置的公式,即 。请用微积分证明这个公式。
考察函数在区间 上的行为,其中 和 是有限的,是否可能没有绝对最大值或绝对最小值?
函数 在 上是否可以有有限的绝对最大值?请用图形论证说明理由。
设 为局部最小值的数量, 为局部最大值的数量。你能否构造一个函数,使得 ?画图说明你的解释。
一个函数是否可能没有绝对最小值或最大值?如果可能,请构造一个这样的函数。如果不可能,请解释原因。
对于以下练习,确定给定图形中局部最大值、局部最小值以及绝对最大值、绝对最小值出现的位置。假设图形展示了每个函数的全部信息。对于出现在端点处的极值,请近似给出相应的 x 值。
对于以下问题,绘制在区间 上连续的函数 的图形,使其具有以下性质:
在 处有绝对最大值,在 处有绝对最小值。
在 处有绝对最大值,在 处有绝对最小值,在 处有局部最大值,在 处有一个既不是最大值也不是最小值的临界点。
对于以下练习,找出下列函数定义域中的临界数。
对于以下练习,找出函数在指定定义域上的局部极值和/或绝对极值。
在 上
在 上
在 上
在 上
在 上
在 上
对于以下练习,求在 上的函数的局部极值和绝对极值。
对于以下函数,使用计算器绘制函数图形,并估计其绝对极值和局部极值。然后,显式地求解它们。
[T]
[T]
一家生产手机的公司,其成本函数为 ,其中 是以美元计的成本, 是生产的手机数量(以千为单位)。多少单位的手机(以千为单位)能使此成本函数最小化?
对于以下练习,考虑加利福尼亚淘金热(1848-1888年)期间的黄金产量。黄金产量可以用 建模,其中 是淘金热开始以来的年数 , 是黄金产量(以百万盎司计)。数据摘要显示在下图中。
求黄金产量达到最大值(局部和绝对)的时间,以及该最大值时的黄金产量。
求以下分段函数的临界点、最大值和最小值。
对于以下练习,求以下一般函数的临界点。它们是最大值、最小值还是两者都不是?说明必要的条件。
已知