知经 KNOWECON
登录 注册

知经百科 / O

偶函数

偶函数 (Even Function)

偶函数是指定义域关于原点对称、且满足 f(−x)=f(x)f(-x) = f(x) 对定义域内任意 xx 都成立的函数。偶函数的图像关于 yy 轴对称，这一对称性在分析函数的积分、傅里叶展开及代数性质时具有重要的简化作用。偶函数与奇函数共同构成了函数奇偶性分类的两大基本类型，是微积分与傅里叶分析中最常用的函数对称性概念之一。在数学的各个分支中，从基础微积分到抽象泛函分析，偶函数的对称性质始终扮演着核心的简化角色。

形式定义

设 ff 定义在对称区间 II（若 x∈Ix \in I 则 −x∈I-x \in I）上。若对任意 x∈Ix \in I 均有

f(−x)=f(x),f(-x) = f(x),

则称 ff 为偶函数。这一定义要求定义域必须关于原点对称，否则函数即使满足等式条件也不具备偶函数的合法性。例如，函数 f(x)=x2f(x) = x^2 定义在 [−1,1][-1, 1] 上是偶函数，但若定义在 [−1,2][-1, 2] 上则因定义域不对称而不被视为偶函数。

名称来源于幂函数 f(x)=xnf(x) = x^n：当 nn 为偶数时 (−x)n=xn(-x)^n = x^n，故称"偶函数"。由欧拉在 18 世纪引入，现为微积分与 Fourier 分析的标准术语。历史上，偶函数的对称性最早在求解波动方程和热传导方程的过程中被系统利用。

基本性质

性质 1（线性性） 两个偶函数的线性组合仍为偶函数。若 f,gf, g 为偶函数，a,b∈Ra, b \in \mathbb{R}，则 af+bgaf + bg 也是偶函数。这一性质使得所有偶函数构成一个线性空间，即函数空间中的一个子空间，其维数在一般情况下是无穷的。

性质 2（乘法） 偶函数与偶函数的乘积为偶函数；偶函数与奇函数的乘积为奇函数；奇函数与奇函数的乘积为偶函数。这一乘法表在傅里叶级数系数的计算中起着关键作用。

性质 3（复合） 若 gg 为偶函数且 ff 为任意函数，则复合函数 f(g(x))f(g(x)) 为偶函数。这是因为 g(−x)=g(x)g(-x) = g(x) 直接导致 f(g(−x))=f(g(x))f(g(-x)) = f(g(x))。

性质 4（分解） 任意定义在对称区间上的函数 ff 可唯一分解为偶函数与奇函数之和：

f(x)=f(x)+f(−x)2+f(x)−f(−x)2.f(x) = \frac{f(x) + f(-x)}{2} + \frac{f(x) - f(-x)}{2}.

其中第一项为偶分量，第二项为奇分量。这一分解在傅里叶分析中对应余弦级数与正弦级数的分离，是将任意非对称函数转化为对称分量进行研究的核心技巧。

常见例子

\begin{tabular}{|l|l|} \hline 类别 \& 例子 \\ \hline 幂函数 \& f(x)=x2,x4,x6,…f(x) = x^2, x^4, x^6, \dots（仅当指数为偶数） \\ \hline 绝对值函数 \& f(x)=∣x∣f(x) = |x|，其图像呈 V 形关于 yy 轴对称 \\ \hline 三角函数 \& f(x)=cos⁡xf(x) = \cos x（余弦函数是最基本的三角偶函数） \\ \hline 双曲函数 \& f(x)=cosh⁡x=ex+e−x2f(x) = \cosh x = \frac{e^x + e^{-x}}{2} \\ \hline 偶多项式 \& f(x)=a0+a2x2+a4x4+⋯f(x) = a_0 + a_2 x^2 + a_4 x^4 + \cdots（仅含偶次项） \\ \hline 常数函数 \& f(x)=cf(x) = c（当 c=0c = 0 时既是偶函数也是奇函数） \\ \hline 高斯函数 \& f(x)=e−x2f(x) = e^{-x^2}（正态分布的密度核，在概率论中极为重要） \\ \hline \end{tabular}

值得注意，零函数 f(x)=0f(x) = 0 是唯一同时为偶函数和奇函数的函数，因为 f(−x)=0=f(x)f(-x) = 0 = f(x) 且 f(−x)=0=−0=−f(x)f(-x) = 0 = -0 = -f(x) 同时成立。

积分性质

偶函数在对称区间上的积分具有简洁的简化公式：

∫−aaf(x) dx=2∫0af(x) dx(当 f 为偶函数).\int_{-a}^{a} f(x)\,dx = 2 \int_{0}^{a} f(x)\,dx \quad (\text{当 } f \text{ 为偶函数}).

这一性质源于偶函数图像关于 yy 轴对称，左右两侧面积恰好相等。利用该公式可将对称区间上的积分转化为半区间积分，在定积分计算与概率密度归一化中十分常用。例如，计算高斯函数的归一化常数时，正是利用偶函数的这一性质将 (−∞,∞)(-\infty, \infty) 上的积分转化为 (0,∞)(0, \infty) 上的积分。

推论：若 ff 为可积偶函数，则 ∫−aaxf(x) dx=0\displaystyle \int_{-a}^{a} x f(x)\,dx = 0，因为 xf(x)x f(x) 为奇函数（奇函数在对称区间上的积分为零）。

微分性质

若 ff 为可导的偶函数，则其导函数 f′f' 为奇函数。证明如下：

f′(−x)=lim⁡h→0f(−x+h)−f(−x)h=lim⁡h→0f(x−h)−f(x)h=−lim⁡h→0f(x−h)−f(x)−h=−f′(x).f'(-x) = \lim_{h \to 0} \frac{f(-x + h) - f(-x)}{h} = \lim_{h \to 0} \frac{f(x - h) - f(x)}{h} = -\lim_{h \to 0} \frac{f(x - h) - f(x)}{-h} = -f'(x).

因此偶函数在 x=0x = 0 处的导数必为零（若导数存在），因为 f′(0)=−f′(0)f'(0) = -f'(0) 迫使 f′(0)=0f'(0) = 0。这一结论与直观相符：偶函数在原点处通常取极值（极大或极小），其切线水平。从几何直观来看，偶函数的图像在 x=0x = 0 处是平滑且对称的，若在该点有非零斜率，则在 xx 的相反方向斜率符号会相反，与对称性矛盾。

傅里叶级数中的偶函数

周期为 2π2\pi 的偶函数的傅里叶级数只含余弦项（Fourier 余弦级数）：

f(x)=a02+∑n=1∞ancos⁡(nx),an=2π∫0πf(x)cos⁡(nx) dx.f(x) = \frac{a_0}{2} + \sum_{n=1}^{\infty} a_n \cos(nx), \quad a_n = \frac{2}{\pi} \int_{0}^{\pi} f(x) \cos(nx)\,dx.

由于 sin⁡(nx)\sin(nx) 为奇函数，其系数在偶函数展开中自然为零。类似地，奇函数的傅里叶级数只含正弦项。这一简化是偏微分方程求解中分离变量法的常用技巧。在实际应用中，许多工程问题（如弦振动、热传导）的初始条件或边界条件天然具有对称性，利用偶函数的傅里叶展开可以大幅减少计算量。

偶函数与奇函数的判别流程

判断一个函数是否为偶函数，可按以下步骤操作：

  1. 检查定义域：定义域必须关于原点对称，否则直接判定为非奇非偶。这是最基本但最容易被忽略的步骤。
  2. 计算 f(−x)f(-x)：将 xx 替换为 −x-x，化简表达式至最简形式。
  3. 比较 f(−x)f(-x) 与 f(x)f(x)： \begin{itemize}
  4. 若 f(−x)=f(x)f(-x) = f(x) —— 偶函数；
  5. 若 f(−x)=−f(x)f(-x) = -f(x) —— 奇函数；
  6. 若两者均不成立 —— 非奇非偶。 \end{itemize}

常见误区：认为 f(x)=x2+1f(x) = x^2 + 1 不是偶函数（事实上 (−x)2+1=x2+1(-x)^2 + 1 = x^2 + 1，是偶函数）；或认为 f(x)=sin⁡2xf(x) = \sin^2 x 不是偶函数（事实上 sin⁡2(−x)=(−sin⁡x)2=sin⁡2x\sin^2(-x) = (-\sin x)^2 = \sin^2 x，是偶函数）。这两个例子提醒我们，在判断时应始终严格遵循定义，而非依赖直观的视觉印象。

在数学各分支中的意义

  • 微积分：化简对称区间上的定积分，辅助判断极值点性质，简化泰勒展开中的项数。
  • 傅里叶分析：将一般函数分解为偶分量与奇分量，分别对应余弦与正弦级数，是信号处理中频谱分析的理论基础。
  • 线性代数：所有偶函数构成函数空间的一个线性子空间，其正交基可由余弦函数族给出。
  • 概率论：对称分布（如正态分布、柯西分布）的密度函数通常是偶函数，此时均值与偏度均为零，且矩的计算可以大幅简化。
  • 量子力学：偶宇称波函数满足 ψ(−x)=ψ(x)\psi(-x) = \psi(x)，对应能量本征态的对称性分类，是解释原子和分子光谱的重要工具。

偶函数因其简洁的对称性，为数学分析中的计算与推导提供了强大的简化工具，是函数对称性中最基本的概念之一。从中学数学的基础到高等研究的核心领域，偶函数的身影无处不在，持续发挥着重要的方法论价值。

返回百科索引