B 函数图像与变化关系 · 17

不同函数增长速度的比较

一次函数、正幂函数、指数函数、对数函数都可能随自变量增大而增大,但“都在增大”不等于“增长得一样快”。暂时领先的函数,后来可能被反超。比较相同输入变化带来的结果,可以理解它们的增长差别,并分清局部大小与最终趋势。

局部与最终

局部大小不能代表最终趋势

先比较 $y=2^x$ 和 $y=2x$。它们都随 $x$ 增大而增大,函数值的大小关系却会改变。

同一对函数,大小关系随范围改变
自变量的位置或范围函数值的大小关系
$x=0$$2^x>2x$
$1<x<2$$2^x<2x$
$x>2$$2^x>2x$

在 $x=0$ 时,指数函数的值较大;在 $1<x<2$ 时,一次函数的值反而较大;当 $x>2$ 时,指数函数又反超,并迅速拉开差距。

因此,一张范围有限的图或几个函数值,只能说明所观察范围内的大小关系,不能据此判断全部位置的大小次序。

“增长最终更快”的准确含义是:存在某个界限 $x_0$,当 $x>x_0$ 时,相应的大小关系始终成立。它不要求这个关系在所有位置都成立。

输入变化

相同的输入变化会带来什么

要理解增长差别,可以让自变量按同一种方式变化,再比较各函数值怎样改变。

先固定 $a>1$、$k>0$。当自变量都增加同一个正数 $h$($h>0$)时,根据指数运算法则,

$$a^{x+h}=a^h\cdot a^x.$$

指数函数每次都按固定倍数 $a^h>1$ 放大。对一次函数,展开括号得到

$$k(x+h)=kx+kh.$$

一次函数每次只增加固定量 $kh$。随着这种变化不断重复,指数函数的增长最终会超过一次函数。

再固定 $b>1$、$c>0$,把正自变量 $x$ 放大为原来的 $q$ 倍,其中 $q>1$。根据对数的积运算法则,

$$\log_b(qx)=\log_bx+\log_bq.$$

对数函数只增加固定量 $\log_bq$。同样把 $x$ 放大为 $qx$,幂函数满足

$$(qx)^c=q^c x^c.$$

幂函数按固定倍数 $q^c>1$ 放大,因此幂函数的增长最终会超过对数函数。

在同样的放大下,再比较指数函数的新值与原值。根据同底数幂相除的法则,

$$\frac{a^{qx}}{a^x}=a^{(q-1)x}.$$

由于 $a>1$、$q>1$,这个放大倍数会随 $x$ 增大而不断增大;幂函数的放大倍数 $q^c$ 则固定不变。这揭示了指数函数最终超过幂函数的结构原因。

增长层级

充分大时的增长层级

把这些增长方式放在一起比较,可以得到一个带有范围条件的结论。对固定的 $a>1$、$b>1$ 和 $c>0$,当 $x$ 充分大时,

$$\log_bx<x^c<a^x.$$

也就是说,在最终趋势中,对数增长慢于任意正幂增长,任意正幂增长又慢于以大于 $1$ 为底的指数增长。

一次函数 $y=kx$($k>0$)属于一次幂这一层。因此,在上述底数和系数 $k$ 固定、$x$ 充分大时,也有

$$\log_bx<kx<a^x.$$

这里的界限 $x_0$ 会随底数、指数和系数改变。即使 $a$ 很接近 $1$、$c$ 很大,指数函数也只是可能反超得更晚,最终层级并不改变。

使用范围

怎样使用这个结论

使用增长层级前,先确认参数条件,再确认所比较的范围。

比较对象应属于这里的递增情形:指数函数和对数函数的底数都大于 $1$,幂指数和一次项系数都为正。

若问题问的是“当 $x$ 充分大时”或“最终趋势”,可以使用上述层级。若问某个具体区间或某个具体点,就必须计算函数值、研究交点或观察该区间,不能用最终趋势代替局部判断。

真正要记住的不是“指数函数处处最大”,而是带有范围的结论:在参数固定且 $x$ 充分大时,对数增长最慢,正幂增长居中,指数增长最快;在有限范围内,大小次序完全可能不同。

比较增长,先确认条件,再分清局部大小与最终趋势。