4.5
导数与函数图形的形状
学习目标
- 4.5.1
解释一阶导数的符号如何影响函数图形的形状。
- 4.5.2
阐述用于临界点的一阶导数判别法。
- 4.5.3
利用凹凸性和拐点解释二阶导数的符号如何影响函数图形的形状。
- 4.5.4
解释函数在开区间上的凹凸性判别法。
- 4.5.5
解释函数与其一阶和二阶导数之间的关系。
- 4.5.6
阐述二阶导数判别法在判定局部极值中的应用。
本章前面我们提到,如果函数 在点 处有局部极值,那么 必须是 的一个临界点。然而,函数在临界点处不一定有局部极值。例如, 在 处有一个临界点,因为 在 处为零,但 在 处没有局部极值。利用上一节的结果,我们现在能够确定函数的临界点是否确实对应于局部极值。在本节中,我们还将看到二阶导数如何通过判断函数图形是向上弯曲还是向下弯曲来揭示图形的形状。
一阶导数判别法
中值定理的推论 表明,如果函数在区间 上的导数是正的,那么函数在 上是递增的。另一方面,如果函数在区间 上的导数是负的,那么函数在 上是递减的,如下图所示。
一个连续函数 在点 处有局部最大值,当且仅当 在点 处从递增变为递减。类似地, 在 处有局部最小值,当且仅当 在 处从递减变为递增。设 在包含 的区间 上连续,且在 上(可能除了点 之外)可微,那么 在点 处从递增变为递减(反之亦然)的唯一方式是 在 经过 时改变符号。如果 在 处可微,那么 在 经过 时改变符号的唯一方式是 。因此,对于在包含 的区间 上连续、且在 上(可能除了点 之外)可微的函数 , 从递增变为递减(反之亦然)的唯一方式是 或 未定义。因此,为了找到函数 的局部极值,我们寻找 定义域中的点 ,使得 或 未定义。回想一下,这些点被称为 的临界点。
注意, 在临界点处不一定有局部极值。临界点只是局部极值的候选点。在图 4.31中,我们展示了如果一个连续函数 有局部极值,它必须发生在临界点处,但函数在临界点处可能没有局部极值。我们展示了如果 在临界点处有局部极值,那么 的符号在 经过该点时会改变。
利用图 4.31,我们总结了关于局部极值的主要结果。
- 如果一个连续函数 有局部极值,它必须发生在临界点 处。
- 函数在临界点 处有局部极值,当且仅当导数 在 经过 时改变符号。
- 所以,为了检验函数在临界点 处是否有局部极值,我们必须确定 左侧和右侧 的符号。
这个结果被称为一阶导数判别法。
定理
4.9
一阶导数判别法
假设 是一个在包含临界点 的区间 上连续的函数。如果 在 上(可能除了点 之外)可微,那么 满足以下描述之一:
- 如果 在 时从正号变为 时的负号,那么 是 的局部最大值。
- 如果 在 时从负号变为 时的正号,那么 是 的局部最小值。
- 如果 在 和 时符号相同,那么 既不是 的局部最大值也不是局部最小值。
我们可以将一阶导数判别法总结为一种寻找局部极值的策略。
解题策略
使用一阶导数判别法
考虑一个在区间 上连续的函数 。
- 找到 的所有临界点,并以这些临界点为端点将区间 分成更小的子区间。
- 分析 在每个子区间内的符号。如果 在给定的子区间上是连续的(通常如此),那么 在该子区间内的符号不会改变,因此可以在该子区间内选择一个任意的检验点 并计算 在该检验点处的符号来确定。使用符号分析来确定 在该区间上是递增还是递减。
注意: 如果 在整个 上不连续,那么在将 分成子区间时,应将不连续点和临界点一起作为端点。
- 使用一阶导数判别法和步骤 的结果来确定 在每个临界点处是局部最大值、局部最小值还是两者都不是。
现在来看看如何使用这个策略来找到特定函数的所有局部极值。
例
4.17
使用一阶导数判别法寻找局部极值
使用一阶导数判别法找到函数 所有局部极值的位置。使用图形工具确认你的结果。
解
步骤 1. 导数为 。为了找到临界点,我们需要找到 的位置。对多项式进行因式分解,可得临界点必须满足
因此,临界点是 。现在将区间 分成更小的区间 。
步骤 2. 由于 是一个连续函数,为了确定 在每个子区间上的符号,只需在每个区间 中选择一个点,并确定 在这些点处的符号。例如,我们选择 作为检验点。
| 区间 |
检验点 |
在检验点处的符号 |
结论 |
|
|
|
递增。 |
|
|
|
递减。 |
|
|
|
递增。 |
步骤 3. 由于 在 经过 时符号从正变为负,所以 在 处有局部最大值。由于 在 经过 时符号从负变为正,因此 在 处有局部最小值。这些分析结果与以下图形一致。
检验点
4.16
使用一阶导数判别法找到函数 的所有局部极值。
例
4.18
使用一阶导数判别法
使用一阶导数判别法找到函数 的所有局部极值的位置。使用图形工具确认你的结果。
解
步骤 1. 导数为
当 时,导数 。因此, 在 处。导数 在 处未定义。所以,我们有三个临界点:、 和 。因此,将区间 分成更小的区间 和 。
步骤 2:由于 在每个子区间上都是连续的,因此只需在步骤 中的每个区间中选择一个检验点 ,并确定 在这些点处的符号。点 是这些区间的检验点。
| 区间 |
检验点 |
在检验点处的符号 |
结论 |
|
|
|
递减。 |
|
|
|
递增。 |
|
|
|
递增。 |
|
|
|
递减。 |
步骤 3:由于 在区间 上递减,在区间 上递增,于是 在 处有局部最小值。由于 在区间 和区间 上递增,因此 在 处没有局部极值。由于 在区间 上递增,在区间 上递减,因此 在 处有局部最大值。这些分析结果与以下图形一致。
检验点
4.17
使用一阶导数判别法找到函数 的所有局部极值。
凹凸性与拐点
我们现在知道如何确定函数在何处递增或递减。不过,关于函数图形的形状,还有另一个问题需要考虑。如果图形是弯曲的,它是向上弯曲还是向下弯曲?这个概念被称为函数的凹凸性。
图 4.34(a) 显示了一个函数 ,其图形向上弯曲。当 增大时,切线的斜率增大。所以,由于导数随 的增大而增大, 是一个递增的函数。我们称此函数 是凹的。图 4.34(b) 显示了一个函数 ,其图形向下弯曲。当 增大时,切线的斜率减小。由于导数随 的增大而减小, 是一个递减的函数。我们称此函数 是凸的。
定义
设 是在开区间 上可微的函数。如果 在 上递增,我们称 在 上是凹的。如果 在 上递减,我们称 在 上是凸的。
通常,在没有函数 的图形的情况下,我们如何确定其凹凸性?根据定义,如果 递增,则函数 是凹的。根据推论 ,我们知道如果 是一个可微函数,那么当其导数 时, 是递增的。因此,当 时,一个二阶可微函数 是凹的。类似地,如果 递减,则函数 是凸的。我们知道,当其导数 时,一个可微函数 是递减的。因此,当 时,一个二阶可微函数 是凸的。由此得到凹凸性判别法。
定理
4.10
凹凸性判别法
设 是在区间 上二阶可微的函数。
- 如果对所有 ,,则 在 上是凹的。
- 如果对所有 ,,则 在 上是凸的。
可见,可以通过观察函数 的二阶导数来确定函数 的凹凸性。此外,我们观察到函数 可以改变凹凸性(图 4.35)。然而,一个连续函数只能在点 处改变凹凸性,如果 或 未定义。于是,为了确定函数 是凹的和凸的区间,我们寻找那些使 或 未定义的 值。当我们确定了这些点后,我们将 的定义域划分为更小的区间,并确定 在每个更小区间上的符号。如果 在经过点 时改变符号,则 改变凹凸性。重要的是要记住,即使 或 未定义,函数 也可能不会在点 处改变凹凸性。但是,如果 确实在点 处改变凹凸性,并且 在 处连续,我们称点 是 的一个拐点。
定义
如果 在 处连续,并且 在 处改变凹凸性,则点 是 的一个拐点。
例
4.19
凹凸性判别
对于函数 ,确定所有 是凹的区间和所有 是凸的区间。列出 的所有拐点。使用图形工具确认你的结果。
解
为了确定凹凸性,我们需要找到二阶导数 。一阶导数是 ,所以二阶导数是 。如果函数改变凹凸性,它发生在 或 未定义时。由于 对所有实数 都有定义,我们只需要找到 的位置。解方程 ,我们发现 是 可能改变凹凸性的唯一位置。我们现在在区间 和 上测试点,以确定 的凹凸性。点 和 是这些区间的测试点。
| 区间 |
测试点 |
在测试点处的符号 |
结论 |
|
|
|
是凸的 |
|
|
|
是凹的。 |
于是,函数 在区间 上是凸的,在区间 上是凹的。由于 在 处改变凹凸性,点 是一个拐点。图 4.36 证实了分析结果。
检验点
4.18
对于 ,找到所有 是凹的区间和所有 是凸的区间。
我们现在在表 4.1 中总结函数 的一阶和二阶导数提供的关于 图形的信息,并在图 4.37 中说明这些信息。
| 的符号 |
的符号 |
是递增还是递减? |
凹凸性 |
| 正 |
正 |
递增 |
凹的 |
| 正 |
负 |
递增 |
凸的 |
| 负 |
正 |
递减 |
凹的 |
| 负 |
负 |
递减 |
凸的 |
表
4.1
导数揭示的图形信息
二阶导数判别法
一阶导数判别法提供了一种寻找局部极值的分析工具,但二阶导数也可用于确定极值。使用二阶导数有时比使用一阶导数更简单。
我们知道,如果一个连续函数有局部极值,它一定发生在临界点处。然而,函数在临界点处不一定有局部极值。在这里,我们研究如何使用二阶导数判别法来确定函数在临界点处是否有局部极值。设是一个二阶可导函数,使得且在包含的开区间上连续。假设。由于在上连续,则对所有有(图 4.38)。那么,根据推论,在上是一个递减函数。由于,由此可得,对所有,如果,则;如果,则。所以,根据一阶导数判别法,在处有局部最大值。另一方面,假设存在一点,使得但。由于在包含的开区间上连续,则对所有有(图 4.38)。那么,根据推论,在上是一个递增函数。由于,故,对所有,如果,则;如果,则。因此,根据一阶导数判别法,在处有局部最小值。
定理
4.11
二阶导数判别法
假设在包含的区间上连续。
- 如果,则在处有局部最小值。
- 如果,则在处有局部最大值。
- 如果,则判别法失效。
注意,对于情况 iii.,当时,在处可能有局部最大值、局部最小值,或者两者都没有。例如,函数、和都在处有临界点。在每种情况下,二阶导数在处都为零。不过,函数在处有局部最小值,而函数在处有局部最大值,函数在处没有局部极值。
现在来看看如何使用二阶导数判别法来确定在临界点(其中)处是否有局部最大值或局部最小值。
例
4.20
使用二阶导数判别法
使用二阶导数找出函数所有局部极值的位置。
解
为了应用二阶导数判别法,我们首先需要找到满足的临界点。导数为。因此,当时,。
为了确定在这些点处是否有局部极值,我们需要评估在这些点处的符号。二阶导数为
在下表中,我们评估了二阶导数在每个临界点处的值,并使用二阶导数判别法来确定在这些点处是否有局部最大值或局部最小值。
|
|
结论 |
|
|
局部最大值 |
|
|
二阶导数判别法失效 |
|
|
局部最小值 |
根据二阶导数判别法,由此可知,在处有局部最大值,在处有局部最小值。二阶导数判别法在处失效。为了确定在处是否有局部极值,我们应用一阶导数判别法。为了评估在和上的符号,设和为两个检验点。由于和,可见,在这两个区间上都是递减的,因此,在处没有局部极值,如下图所示。
检验点
4.19
考虑函数。点满足。使用二阶导数判别法确定在这些点处是否有局部最大值或局部最小值。
我们现在已经掌握了确定函数增减性的工具,并对函数图形的基本形状有了理解。在下一节中,我们将讨论当时函数的变化。届时,我们将拥有足够的工具来准确绘制各种函数的图形。
第4.5节练习
194.
如果 是 的一个临界点,那么在 处何时没有局部最大值或局部最小值?请解释。
195.
对于函数 , 既是拐点又是局部最大值/最小值吗?
196.
对于函数 , 是一个拐点吗?
197.
对于一个二阶可微函数,点 是否可能既是拐点又是局部极值?
199.
解释一个凸函数是否一定在某个 值处穿过 。
对于以下练习,分析 的图形,然后列出 递增的或递减的所有区间。
对于以下练习,分析 的图形,然后列出所有区间,其中
- 递增和递减,以及
- 极小值和极大值所在的位置。
对于以下练习,分析 的图形,然后列出所有拐点以及 凹的和凸的区间。
对于以下练习,绘制一个满足给定定义域 条件的图形。该函数不必是连续的或可微的。
216.
在 上, 上。
217.
在 上, 在所有 上。
218.
在 上,在 处有局部最大值,在 处有局部最小值。
219.
在 处有局部最大值,在 处有局部最小值,且图形既不凹也不凸。
220.
在 处有局部最大值,对于所有 函数都是凹的,并且对于所有 函数都保持正值。
对于以下练习,确定
- 递增或递减的区间,以及
- 的局部极小值和极大值。
如果需要,使用计算器绘制函数图形,但请展示你的解题过程。
221.
在 上。
222.
对于以下练习,确定 a. 凹的或凸的区间,以及 b. 的拐点。
223.
对于以下练习,确定
- 递增或递减的区间,
- 的局部极小值和极大值,
- 凹的或凸的区间,以及
- 的拐点。
224.
225.
226.
227.
228.
229.
230.
对于以下练习,确定
- 递增或递减的区间,
- 的局部极小值和极大值,
- 凹的或凸的区间,以及
- 的拐点。绘制曲线草图,然后使用计算器比较你的答案。如果无法解析地确定精确答案,请使用计算器。
231.
[T] 在 上。
232.
[T] 在 上
233.
[T] 在 上
234.
[T]
235.
[T]
236.
[T] 在 上
237.
在 上
238.
239.
240.
对于以下练习,用 来解释以下描述。
242.
自行车加速更快,但汽车行驶更快。其中 是自行车的位置减去汽车的位置。
244.
一家公司跟踪一年中的劳动力成本。7月1日,成本达到峰值。其中 代表劳动力成本。
245.
经济正在加速发展。其中 是衡量经济的指标,例如GDP。
对于以下练习,考虑一个三次多项式 ,它具有性质 (不适用于练习249和250)。判断以下陈述是真还是假。请说明理由。
246.
对于某个
247.
对于某个
249.
如果 有三个根,那么它有 个拐点。
250.
如果 有一个拐点,那么它有三个实根。