MathLabs

11 年级

函数的极限

当自变量无限接近某一点时,函数所趋近的值。

直观一点紧邻处发生的事

假设我们无法在 x=x0x=x_0 处直接计算某个式子——例如差商 f(x0+h)−f(x0)h\frac{f(x_0+h)-f(x_0)}{h} 在 h=0h=0 处会变成 00\frac{0}{0}。即使该点本身不可代入,我们仍可以从两侧无限走近 x0x_0,观察 f(x)f(x) 稳定趋向哪个值。那个目标值就是极限 lim⁡x→x0f(x)=L\lim_{x\to x_0} f(x) = L,它甚至不关心 f(x0)f(x_0) 是否存在。

带有固定点 x0 和第二点 x0+h 的曲线;当 h 缩小趋向 0 时,割线旋转并趋近切线的图示。
割线斜率 f(x0+h)−f(x0)h\frac{f(x_0+h)-f(x_0)}{h}:拖动使 h→0h\to 0,观察割线逐渐贴合切线——这是在公式本身无定义的 h=0h=0 处的极限。

中学严格定义与基本极限

定义: 函数在一点处的极限(ε–δ 定义)

设 ff 在 x0x_0 附近的开区间上有定义(可以不含 x0x_0 本身)。若对任意误差 ε>0\varepsilon>0,都存在半径 δ>0\delta>0 使得 ∀ε>0, ∃δ>0: 0<∣x−x0∣<δ⇒∣f(x)−L∣<ε\forall \varepsilon>0,\ \exists \delta>0:\ 0<|x-x_0|<\delta \Rightarrow |f(x)-L|<\varepsilon,则记作 lim⁡x→x0f(x)=L\lim_{x\to x_0} f(x) = L。注意严格不等号 0<∣x−x0∣0<|x-x_0|:在这一检验中,xx 永远不取 x0x_0。

∀ε>0, ∃δ>0: 0<∣x−x0∣<δ⇒∣f(x)−L∣<ε\forall \varepsilon>0,\ \exists \delta>0:\ 0<|x-x_0|<\delta \Rightarrow |f(x)-L|<\varepsilon

这里 ε\varepsilon 是输出轴上围绕 LL 的纵向误差,δ\delta(delta)是输入轴上围绕 x0x_0 的横向窗口。两个基本极限——分别由几何法与单调有界法证明——打开了三角函数、指数函数与对数函数全部导数的大门:lim⁡x→0sin⁡xx=1\lim_{x\to 0}\frac{\sin x}{x}=1(xx 取弧度制)与 lim⁡x→∞(1+1x)x=e\lim_{x\to\infty}\left(1+\frac{1}{x}\right)^x = e。

lim⁡x→0sin⁡xx=1,lim⁡x→∞(1+1x)x=e\lim_{x\to 0}\frac{\sin x}{x}=1,\qquad \lim_{x\to\infty}\left(1+\frac{1}{x}\right)^x = e
一点处的单侧极限与双侧极限
函数与点左极限 / 右极限双侧极限
f(x)=∣x∣xf(x)=\frac{|x|}{x} 在 x0=0x_0=0左 =−1=-1,右 =+1=+1不存在(−1≠+1-1\ne +1)
f(x)=x2−1x−1f(x)=\frac{x^2-1}{x-1} 在 x0=1x_0=1左 =2=2,右 =2=2等于 22(尽管 f(1)f(1) 无定义)
f(x)=sin⁡xxf(x)=\frac{\sin x}{x} 在 x0=0x_0=0左 =1=1,右 =1=1等于 11

大学核心定理与证明

双侧极限存在当且仅当左、右单侧极限都存在且相等:lim⁡x→x0f(x)=L  ⟺  lim⁡x→x0−f(x)=lim⁡x→x0+f(x)=L\lim_{x\to x_0} f(x)=L \iff \lim_{x\to x_0^-} f(x)=\lim_{x\to x_0^+} f(x)=L。

为什么成立?

从左侧走廊与右侧走廊走向同一扇门,只有当两条走廊确实交汇于同一点时,才会到达同一个位置。

证明

(⇒\Rightarrow) 设 lim⁡x→x0f(x)=L\lim_{x\to x_0} f(x) = L。对给定的 ε>0\varepsilon>0,由 ε–δ 定义存在 δ>0\delta>0 使得 0<∣x−x0∣<δ⇒∣f(x)−L∣<ε0<|x-x_0|<\delta\Rightarrow |f(x)-L|<\varepsilon。

特别地,当 x0<x<x0+δx_0<x<x_0+\delta(右侧条件)或 x0−δ<x<x0x_0-\delta<x<x_0(左侧条件)时,自动有 0<∣x−x0∣<δ0<|x-x_0|<\delta,从而 ∣f(x)−L∣<ε|f(x)-L|<\varepsilon。因此左、右单侧极限都等于 LL。

(⇐\Leftarrow) 反之,设左、右单侧极限都等于 LL。对给定的 ε>0\varepsilon>0,由左极限存在 δ1>0\delta_1>0 在 (x0−δ1,x0)(x_0-\delta_1,x_0) 上成立,由右极限存在 δ2>0\delta_2>0 在 (x0,x0+δ2)(x_0,x_0+\delta_2) 上成立。

令 δ=min⁡(δ1,δ2)>0\delta=\min(\delta_1,\delta_2)>0。则满足 0<∣x−x0∣<δ0<|x-x_0|<\delta 的任意 xx 必属于 (x0−δ1,x0)(x_0-\delta_1,x_0) 或 (x0,x0+δ2)(x_0,x_0+\delta_2),两种情形下都有 ∣f(x)−L∣<ε|f(x)-L|<\varepsilon。故 lim⁡x→x0f(x)=L\lim_{x\to x_0} f(x) = L。■\blacksquare

当 xx 用弧度制度量时,lim⁡x→0sin⁡xx=1\lim_{x\to 0}\frac{\sin x}{x}=1。

为什么成立?

在单位圆上,当角度趋向 00 时,极小弧长 xx、竖直半弦 sin⁡x\sin x 与外侧切线段 tan⁡x\tan x 在视觉上几乎重合。

证明

在以 OO 为圆心的单位圆上取 0<x<π20<x<\frac{\pi}{2},设 A=(1,0)A=(1,0),圆上点 B=(cos⁡x,sin⁡x)B=(\cos x,\sin x),射线 OBOB 与过 AA 的竖直切线交于 T=(1,tan⁡x)T=(1,\tan x)。

三角形 △OAB\triangle OAB 严格包含于扇形 OABOAB 内,而扇形又严格包含于直角三角形 △OAT\triangle OAT 内。比较三者面积得 12sin⁡x<12x<12tan⁡x\frac{1}{2}\sin x < \frac{1}{2}x < \frac{1}{2}\tan x。

由于在 (0,π2)(0,\frac{\pi}{2}) 上 sin⁡x>0\sin x>0,同乘 2sin⁡x\frac{2}{\sin x} 得 1<xsin⁡x<1cos⁡x1 < \frac{x}{\sin x} < \frac{1}{\cos x}。取倒数后不等号反向:cos⁡x<sin⁡xx<1\cos x < \frac{\sin x}{x} < 1。

当 x→0+x\to 0^+ 时 cos⁡x→1\cos x\to 1,由夹逼定理得 lim⁡x→0+sin⁡xx=1\lim_{x\to 0^+}\frac{\sin x}{x}=1。最后,g(x)=sin⁡xxg(x)=\frac{\sin x}{x} 是偶函数(g(−x)=sin⁡(−x)−x=−sin⁡x−x=g(x)g(-x)=\frac{\sin(-x)}{-x}=\frac{-\sin x}{-x}=g(x)),故 lim⁡x→0−sin⁡xx=1\lim_{x\to 0^-}\frac{\sin x}{x}=1 也成立,合起来即得 lim⁡x→0sin⁡xx=1\lim_{x\to 0}\frac{\sin x}{x}=1。■\blacksquare

大学实际应用与典型例题

函数极限在物理学中将平均变化率转化为瞬时变化率(速度、加速度、电流),为几何光学(相机镜头、望远镜)与单摆力学中的近轴小角近似 sin⁡θ≈θ\sin\theta\approx\theta 提供严格依据,并通过 lim⁡x→∞(1+1x)x=e\lim_{x\to\infty}\left(1+\frac{1}{x}\right)^x = e 将离散复利推广为连续复利。

例题

一颗下落石子在时刻 tt(秒)的位置为 s(t)=5t2s(t)=5t^2(米)。利用区间 [2, 2+h][2,\ 2+h] 上平均速度的极限,求它在 t=2t=2 秒时的瞬时速度。

解答

在 h≠0h\ne 0 的时间区间 [2, 2+h][2,\ 2+h] 上,平均速度为 vavg(h)=s(2+h)−s(2)h=5(2+h)2−5⋅22hv_{\text{avg}}(h)=\frac{s(2+h)-s(2)}{h}=\frac{5(2+h)^2-5\cdot 2^2}{h}。

展开分子:5(4+4h+h2)−20=20h+5h2=h(20+5h)5(4+4h+h^2)-20=20h+5h^2=h(20+5h)。

取极限时 h≠0h\ne 0,约去 hh 得:vavg(h)=20+5hv_{\text{avg}}(h)=20+5h。

再令 h→0h\to 0 取极限:v(2)=lim⁡h→0(20+5h)=20v(2)=\lim_{h\to 0}(20+5h)=20 米/秒。注意在取极限之前先化简,不定型 00\frac{0}{0} 就随之消除了。

例题

在近轴光学中,镜头设计师依据 lim⁡x→0sin⁡xx=1\lim_{x\to 0}\frac{\sin x}{x}=1 将斯涅耳折射定律 n1sin⁡θ1=n2sin⁡θ2n_1\sin\theta_1=n_2\sin\theta_2 中的 sin⁡θ\sin\theta 近似为 θ\theta(弧度)。利用夹逼不等式 cos⁡x<sin⁡xx<1\cos x < \frac{\sin x}{x} < 1,证明当入射光线角度为 θ=0.1\theta=0.1 弧度(≈5.7∘\approx 5.7^\circ)时,相对误差 θ−sin⁡θsin⁡θ\frac{\theta-\sin\theta}{\sin\theta} 小于 1%1\%。

解答

由 0<θ<π20<\theta<\frac{\pi}{2} 时的 cos⁡x<sin⁡xx<1\cos x < \frac{\sin x}{x} < 1 取倒数得 1<θsin⁡θ<1cos⁡θ1<\frac{\theta}{\sin\theta}<\frac{1}{\cos\theta}。

三边同减 11:0<θ−sin⁡θsin⁡θ<1cos⁡θ−1=1−cos⁡θcos⁡θ0<\frac{\theta-\sin\theta}{\sin\theta}<\frac{1}{\cos\theta}-1=\frac{1-\cos\theta}{\cos\theta}。

利用 1−cos⁡θ=2sin⁡2(θ/2)<2(θ/2)2=θ221-\cos\theta=2\sin^2(\theta/2)<2(\theta/2)^2=\frac{\theta^2}{2} 以及 cos⁡(0.1)>0.99\cos(0.1)>0.99,在 θ=0.1\theta=0.1 处有 θ−sin⁡θsin⁡θ<0.0050.99≈0.00505\frac{\theta-\sin\theta}{\sin\theta}<\frac{0.005}{0.99}\approx 0.00505,即约 0.5%<1%0.5\%<1\%。

(事实上精确值约为 ≈0.167%\approx 0.167\%。)这就是为什么线性化薄透镜公式 1do+1di=1f\frac{1}{d_o}+\frac{1}{d_i}=\frac{1}{f} 对靠近光轴的光线极其精确。

求 lim⁡x→2x2−4x−2\lim_{x\to 2}\frac{x^2-4}{x-2}。

设当 x<1x<1 时 f(x)=x+1f(x)=x+1,当 x≥1x\ge 1 时 f(x)=x2f(x)=x^2。lim⁡x→1f(x)\lim_{x\to 1} f(x) 是什么?

lim⁡x→0sin⁡(3x)x\lim_{x\to 0}\frac{\sin(3x)}{x}(xx 为弧度)等于多少?

lim⁡x→∞(1+1x)x\lim_{x\to\infty}\left(1+\frac{1}{x}\right)^x 定义了哪个著名常数?

参考文献

  1. James Stewart (2015). Calculus: Early Transcendentals
  2. David Jerison (2010). MIT 18.01SC Single Variable Calculus, Session 4: Limits and Continuity