ARTICLE

零点

零点 (Zero / Root of a Function) 零点,亦称根(Root),是数学分析中最基本的概念之一。给定函数 f: D R(其中 D R),若存在 x^* D 使得 f(x^*) = 0,则称 x^* 为函数 f 的一个零点。几何上,零点对应于函数图像与 x 轴的交点。零点概念贯穿于微积分、线性代数和数值分析的始终,在经济学中是求解均衡方程

浏览 5 更新 2025-11-09

零点 (Zero / Root of a Function)

零点,亦称(Root),是数学分析中最基本的概念之一。给定函数 f:DRf: D \to \mathbb{R}(其中 DRD \subseteq \mathbb{R}),若存在 xDx^* \in D 使得 f(x)=0f(x^*) = 0,则称 xx^* 为函数 ff 的一个零点。几何上,零点对应于函数图像与 xx 轴的交点。零点概念贯穿于微积分线性代数数值分析的始终,在经济学中是求解均衡方程、盈亏平衡点和一阶条件的核心工具。

基本定义与分类

设函数 ffxx^* 的某邻域内有定义。若 f(x)=0f(x^*) = 0,则 xx^* 为零点。零点可进一步按重数(Multiplicity)分类:若 ffxx^*nn 次可微,且 f(x)=f(x)==f(n1)(x)=0f(x^*) = f'(x^*) = \cdots = f^{(n-1)}(x^*) = 0f(n)(x)0f^{(n)}(x^*) \neq 0,则称 xx^*nn 重零点。一重零点也称为单根(Simple Root),其几何特征是函数图像在该点横穿 xx 轴;偶数重零点处函数图像与 xx 轴相切但不穿过。

例如,f(x)=(x1)2f(x) = (x - 1)^2x=1x = 1 处具有二重零点,图像在该点与 xx 轴相切;而 f(x)=x1f(x) = x - 1x=1x = 1 处为单根,直线穿过横轴。根的重数直接影响牛顿法等数值算法的收敛速度:单根附近牛顿法具有二次收敛性,而多重根仅线性收敛。

零点存在性定理

零点是否存在,由连续函数的介值性质给出保证。波尔查诺定理(Bolzano's Theorem,又称零点定理或介值定理的特殊情形)指出:若函数 ff 在闭区间 [a,b][a, b] 上连续,且 f(a)f(b)<0f(a) \cdot f(b) < 0(即两端点函数值异号),则至少存在一个 c(a,b)c \in (a, b) 使得 f(c)=0f(c) = 0。这一定理是零点理论中最基础的存在性结果。

波尔查诺定理的证明构造性极强:二分法(Bisection Method)正是依据该定理通过不断折半搜索区间来逼近零点。该方法的误差在第 kk 步后不超过 (ba)/2k(b - a) / 2^{k},具有可靠但线性的收敛速度。在经济学中,该定理常用于论证均衡价格的存在性:构建超额需求函数 Z(p)=D(p)S(p)Z(p) = D(p) - S(p),若 Z(p)>0Z(p_{\text{低}}) > 0Z(p)<0Z(p_{\text{高}}) < 0,则连续的超额需求函数必定存在一个零点,即市场出清价格。

数值求解方法

在实际经济建模和计量分析中,零点的解析解往往难以获得,需借助数值方法逼近。

牛顿法(Newton-Raphson Method)是最常用的零点求解算法。从一个初始猜测 x0x_0 出发,迭代公式为:

xn+1=xnf(xn)f(xn)x_{n+1} = x_n - \frac{f(x_n)}{f'(x_n)}

该方法的几何直觉是:在 xnx_n 处作函数的切线,取切线与 xx 轴的交点作为下一次迭代值。牛顿法在单根附近具有二次收敛速率(每次迭代有效位数翻倍),但要求 ff 可微且初值足够接近零点。在最大似然估计中,牛顿法(或其变体 Fisher 评分法)是求解对数似然方程零点、获得参数估计值的标准手段。

割线法(Secant Method)以差商替代导数,避免了导数计算:

xn+1=xnf(xn)xnxn1f(xn)f(xn1)x_{n+1} = x_n - f(x_n) \cdot \frac{x_n - x_{n-1}}{f(x_n) - f(x_{n-1})}

该方法收敛速度为超线性(约 1.618 阶),在导数难以解析计算时(如隐函数定义的模型)较为实用。

在经济学中的核心应用

零点概念在经济学中以多种形式出现。第一,盈亏平衡分析:企业的利润函数 π(q)=R(q)C(q)\pi(q) = R(q) - C(q) 的零点定义了盈亏平衡产量,即总收入等于总成本的产出水平。第二,一阶条件求解:在最优化理论中,使目标函数导数为零的点(即导数函数的零点)是候选极值点,这是费马引理的直接推论。第三,均衡求解:在一般均衡博弈论中,均衡条件通常表示为某个函数等于零——超额需求为零、最优反应差异为零,或纳什均衡中的策略无差异条件。

计量经济学中,广义矩方法(GMM)的估计方程正是样本矩条件的零点问题;工具变量估计的矩条件 E[Zi(yiXiβ)]=0\mathbb{E}[Z_i (y_i - X_i \beta)] = 0 等价于求解该向量方程关于 β\beta 的零点。在时间序列分析中,单位根检验(如 ADF 检验)实质上是在检验特征多项式是否在单位圆上存在零点,这对判断序列的平稳性具有决定意义。零点这一简洁概念,将数学分析与经济学的量化推理紧密联系在一起。