函数的凹凸性（极简微积分）

贡献者： ACertainUser; addis

预备知识　导数（极简微积分），高阶导数（极简微积分）

图 1：$y=x^2 (x>0)$ 与 $y=\sqrt{x}$ 的函数图像（比例经过调整）

　　让我们先观察 $y=x^2 (x>0)$ 与 $y=\sqrt{x}$ 的函数图像图 1 。尽管他们都是单调的增函数，但他们的增长方式却似乎不太一样。

图 2：$y=x^2 (x>0)$ 的切线越来越陡，而 $y=\sqrt{x}$ 的则愈发平缓（比例经过调整）

　　如果你和我想的一样，他们的不同之处在于，$y=x^2 (x>0)$ 增长得越来越快，而 $y=\sqrt{x}$ 增长得越来越慢¹。图 2 用切线直观反映了这个问题：随着 $x$ 增加，$y=x^2 (x>0)$ 的切线越来越陡，而 $y=\sqrt{x}$ 的则愈发平缓。

　　在数学上，我们把这种 “增长得越来越快” 的函数称为凹（“下凸”）函数，而 “增长得越来越慢” 的称为凸（“上凸”）函数。

未完成：同济高数和全世界反过来的，我的建议是放弃凹凸，只叫上下凸

未完成：应当给出凸函数的（连续）定义，再去结合二阶导数

　　那么我们怎么数学地形容 “函数增长得越来越快”？我们知道，函数的变化速率可以用相应函数的导数 $f'(x)$ 表示；而 “增长得越来越快” 意味着 $f'(x)$ 越来越大；而 $f'(x)$ 越来越大意味着 $f'(x)$ 的导数 $f''(x)>0$，即函数的二阶导数大于零。按照物理的话术说，“速度越来越快” 意味着 “加速度大于零”²。

　　由此，我们联系了函数的凹凸性与函数的二阶导数，总结如下（假定 $f(x)$ 单调增长，即 $f'(x)>0$）：

　　 $f(x)\text{是凹函数} \Rightarrow f(x)\text{增长得越来越快}\Rightarrow f'(x)\text{在增长} \Rightarrow f''(x)>0~,$

　　 $f(x)\text{是凸函数} \Rightarrow f(x)\text{增长得越来越慢}\Rightarrow f'(x)\text{在减小} \Rightarrow f''(x)<0~.$

习题 1　

　　将凹凸性的概念推广至 $f'(x)<0$ 的情况。

1. ^ 尽管 $y=\sqrt{x}$ 增长得越来越慢，但仍有 $\lim_{x\to+\infty} \sqrt{x} = +\infty$。关乎 “无穷” 的问题总是有点反直觉。
2. ^ 防杠声明：假定 $v,a$ 同向

致读者：小时百科一直以来坚持所有内容免费无广告，这导致我们处于严重的亏损状态。长此以往很可能会最终导致我们不得不选择大量广告以及内容付费等。因此，我们请求广大读者热心打赏 ，使网站得以健康发展。如果看到这条信息的每位读者能慷慨打赏 20 元，我们一周就能脱离亏损，并在接下来的一年里向所有读者继续免费提供优质内容。但遗憾的是只有不到 1% 的读者愿意捐款，他们的付出帮助了 99% 的读者免费获取知识，我们在此表示感谢。