The Power Function and Its Properties | 功效函数及其性质

📚 The Power Function and Its Properties | 功效函数及其性质

In A-Level Further Mathematics, the power function—often referred to as the Fourier series in the context of periodic analysis—is a fundamental tool for representing periodic phenomena. It allows us to express a periodic function as an infinite sum of sine and cosine terms, revealing the frequency content embedded within the function. This article systematically explores the definition, key properties, and exam-relevant techniques associated with the Fourier (power) function, tailored specifically for the Edexcel specification.

在 A-Level 进阶数学中，功效函数——在周期分析的语境下通常称为傅里叶级数——是表示周期现象的基本工具。它使我们能够将一个周期函数表示为正弦项和余弦项的无穷和，从而揭示函数中所蕴含的频率成分。本文系统地探讨与傅里叶（功效）函数相关的定义、关键性质以及与考试密切相关的技巧，专门针对 Edexcel 考纲编写。

1. Definition of the Power Function | 功效函数的定义

The power function, in its most general sense, is a function of the form f(x) = xⁿ, where n is a real constant. However, in the context of Edexcel Further Mathematics, the term ‘power function’ is frequently encountered within the study of Fourier series, where the ‘power’ of a signal or function is analysed through its harmonic components. For a function f(x) with period 2L, its Fourier series representation is given by:

功效函数，在最一般的意义下，是形如 f(x) = xⁿ 的函数，其中 n 为实常数。然而，在 Edexcel 进阶数学的语境中，’功效函数’一词经常出现在傅里叶级数的学习中，此时信号或函数的’功效’通过其谐波分量进行分析。对于周期为 2L 的函数 f(x)，其傅里叶级数表示为：

f(x) = a₀/2 + Σₙ₌₁᪲ [aₙ cos(nπx/L) + bₙ sin(nπx/L)]

Here, a₀/2 represents the average value of the function over one period, while aₙ and bₙ are the Fourier coefficients that quantify the amplitude of each harmonic component. This decomposition is the essence of what we call the power (Fourier) representation of a periodic function.

这里，a₀/2 表示函数在一个周期内的平均值，而 aₙ 和 bₙ 是傅里叶系数，用于量化每个谐波分量的振幅。这种分解正是我们所称的周期函数功效（傅里叶）表示的本质。

2. The Euler Formulas for Coefficients | 系数的欧拉公式

The Fourier coefficients a₀, aₙ, and bₙ are determined using the Euler formulas, which are derived from the orthogonality of sine and cosine functions over a symmetric interval. For a function with period 2L, these formulas are:

傅里叶系数 a₀、aₙ 和 bₙ 通过欧拉公式确定，这些公式由正弦和余弦函数在对称区间上的正交性推导而来。对于周期为 2L 的函数，这些公式为：

a₀ = (1/L) ∫₋Lᴸ f(x) dx

aₙ = (1/L) ∫₋Lᴸ f(x) cos(nπx/L) dx

bₙ = (1/L) ∫₋Lᴸ f(x) sin(nπx/L) dx

It is essential to note that these integrals are evaluated over one full period. In many Edexcel exam questions, the interval is given as [−π, π], for which L = π, simplifying the formulas significantly. Students must be comfortable with integrating products of polynomials and trigonometric functions, often using integration by parts.

必须注意，这些积分是在一个完整周期上求值的。在许多 Edexcel 考试题目中，区间给定为 [−π, π]，此时 L = π，公式会大大简化。学生必须熟练掌握多项式与三角函数乘积的积分，通常需要使用分部积分法。

3. Convergence and the Dirichlet Conditions | 收敛性与狄利克雷条件

A fundamental question in the study of power (Fourier) functions is: when does the series actually converge to the original function? The Dirichlet conditions provide a sufficient set of criteria. A function f(x) can be represented by its Fourier series if it satisfies the following over one period:

在研究功效（傅里叶）函数时，一个基本问题是：级数何时真正收敛到原函数？狄利克雷条件提供了一组充分判据。如果函数 f(x) 在一个周期内满足以下条件，则可以用其傅里叶级数表示：

f(x) is bounded and has a finite number of maxima and minima;

f(x) 有界，且只有有限个极大值和极小值；
f(x) has at most a finite number of finite discontinuities;

f(x) 至多有有限个有限间断点；
f(x) is absolutely integrable over one period.

f(x) 在一个周期内绝对可积。

At a point of discontinuity x₀, the Fourier series converges to the average of the left-hand and right-hand limits: [f(x₀⁻) + f(x₀⁺)]/2. This is a classic exam point that appears frequently in Edexcel papers.

在间断点 x₀ 处，傅里叶级数收敛于左极限和右极限的平均值：[f(x₀⁻) + f(x₀⁺)]/2。这是 Edexcel 试卷中频繁出现的经典考点。

4. Even and Odd Functions | 偶函数与奇函数

One of the most powerful simplifications in Fourier analysis comes from recognising symmetry. If f(x) is an even function, meaning f(−x) = f(x), then all sine coefficients bₙ vanish, and the series contains only cosine terms. This yields the Fourier cosine series:

傅里叶分析中最强大的简化之一来自对对称性的识别。如果 f(x) 是偶函数，即 f(−x) = f(x)，则所有正弦系数 bₙ 均为零，级数只包含余弦项，得到傅里叶余弦级数：

f(x) = a₀/2 + Σₙ₌₁᪲ aₙ cos(nπx/L)

Conversely, if f(x) is odd, meaning f(−x) = −f(x), then all cosine coefficients a₀ and aₙ vanish, leaving only sine terms. The coefficients can then be computed using half-range integrals over [0, L], doubling the value of the integral over that half-period.

反之，如果 f(x) 是奇函数，即 f(−x) = −f(x)，则所有余弦系数 a₀ 和 aₙ 均为零，仅剩正弦项。此时系数可通过 [0, L] 上的半区间积分计算，将该半周期上的积分值加倍即可。

Identifying these symmetries before computing integrals saves substantial time and reduces the risk of arithmetic errors—a strategy that examiners expect to see rewarded.

在计算积分之前识别这些对称性，可以节省大量时间并降低算术错误的风险——这是考官期望看到并能获得分数的策略。

5. Half-Range Series | 半区间级数

Sometimes we are given a function defined only on [0, L] and are asked to construct a Fourier series for it. In such cases, we have two options: extend the function as an even function over [−L, L] to obtain a cosine series, or extend it as an odd function to obtain a sine series. These are called half-range series.

有时我们只给定定义在 [0, L] 上的函数，并要求构造其傅里叶级数。在这种情况下，我们有两种选择：将函数偶延拓到 [−L, L] 得到余弦级数，或将其奇延拓得到正弦级数。这些称为半区间级数。

Cosine series: aₙ = (2/L) ∫₀ᴸ f(x) cos(nπx/L) dx

Sine series: bₙ = (2/L) ∫₀ᴸ f(x) sin(nπx/L) dx

A common exam question asks students to deduce whether a cosine or sine extension is more appropriate for a given problem, or to evaluate a specific series at a given point using the convergence theorem at discontinuities.

一个常见的考试题目要求学生判断对于给定问题选择余弦延拓还是正弦延拓更合适，或者利用间断点处的收敛定理求某个级数在给定点的值。

6. Linearity Property | 线性性质

The Fourier representation is a linear operator. If f(x) and g(x) have Fourier coefficients (aₙ, bₙ) and (cₙ, dₙ) respectively, then the function h(x) = αf(x) + βg(x) has coefficients (αaₙ + βcₙ, αbₙ + βdₙ). This property allows us to build the Fourier series of complicated functions by combining the series of simpler ones.

傅里叶表示是线性算子。如果 f(x) 和 g(x) 的傅里叶系数分别为 (aₙ, bₙ) 和 (cₙ, dₙ)，则函数 h(x) = αf(x) + βg(x) 的系数为 (αaₙ + βcₙ, αbₙ + βdₙ)。这一性质使我们能够通过组合更简单函数的级数来构造复杂函数的傅里叶级数。

For example, the Fourier series of f(x) = x + x² on [−π, π] can be obtained by adding the series of x (a known odd function) and x² (a known even function), provided both are already known or easily derived.

例如，[−π, π] 上函数 f(x) = x + x² 的傅里叶级数，可以通过将 x（已知奇函数）和 x²（已知偶函数）的级数相加得到，前提是二者已知或易于推导。

7. Time-Shift and Frequency-Shift Properties | 时移与频移性质

Shifting a function horizontally affects the phase of its Fourier coefficients without altering their magnitudes. If f(x) has coefficients aₙ and bₙ, then the function f(x − x₀) has new coefficients:

将函数水平平移会影响其傅里叶系数的相位，但不会改变振幅。如果 f(x) 的系数为 aₙ 和 bₙ，则函数 f(x − x₀) 的新系数为：

aₙ′ = aₙ cos(nπx₀/L) − bₙ sin(nπx₀/L)

bₙ′ = aₙ sin(nπx₀/L) + bₙ cos(nπx₀/L)

This is analogous to a rotation in the (aₙ, bₙ) plane. The total power, defined as aₙ² + bₙ², remains invariant under such shifts—a fact that connects directly to Parseval’s theorem discussed later.

这类似于 (aₙ, bₙ) 平面中的旋转。总功效定义为 aₙ² + bₙ²，在此类平移下保持不变——这一事实与后文讨论的帕塞瓦尔定理直接相关。

8. Differentiation and Integration | 微分与积分性质

Term-by-term differentiation and integration of Fourier series are powerful techniques, but they require careful conditions. If f(x) is continuous and f'(x) is piecewise continuous, then the Fourier series of f'(x) can be obtained by differentiating the series of f(x) term by term. Specifically, if

傅里叶级数的逐项微分和积分是强有力的技术，但需要满足严格的条件。如果 f(x) 连续且 f'(x) 分段连续，则 f'(x) 的傅里叶级数可以通过对 f(x) 的级数逐项微分得到。具体而言，如果

f(x) ~ a₀/2 + Σₙ₌₁᪲ [aₙ cos(nπx/L) + bₙ sin(nπx/L)]

then

则

f′(x) ~ Σₙ₌₁᪲ (nπ/L) [−aₙ sin(nπx/L) + bₙ cos(nπx/L)]

Similarly, integration of a Fourier series term by term is valid even if the original series has discontinuities, making it a more robust operation. This property is often used to find the Fourier series of functions that are integrals of simpler periodic functions.

类似地，傅里叶级数的逐项积分即使原级数存在间断点也是有效的，因此它是一种更为稳健的运算。这一性质常用于求某些较简单周期函数积分形式的傅里叶级数。

9. Parseval’s Theorem | 帕塞瓦尔定理

Parseval’s theorem establishes a beautiful relationship between a function and its Fourier coefficients. It states that the average power of a periodic function equals the sum of the powers of its harmonics:

帕塞瓦尔定理建立了函数与其傅里叶系数之间的优美关系。它指出，周期函数的平均功效等于其各次谐波功效之和：

(1/L) ∫₋Lᴸ [f(x)]² dx = a₀²/2 + Σₙ₌₁᪲ (aₙ² + bₙ²)

This theorem has several applications in examinations. It can be used to evaluate infinite series by substituting a specific value of x into the Fourier series and comparing with Parseval’s identity. A classic example is using the Fourier series of f(x) = x to evaluate Σ 1/n² = π²/6.

该定理在考试中有多种应用。它可用于求无穷级数的值：将特定 x 值代入傅里叶级数，并与帕塞瓦尔恒等式比较。经典例子是利用 f(x) = x 的傅里叶级数求 Σ 1/n² = π²/6。

Students should note the factor 1/2 on the a₀² term—this is one of the most commonly made mistakes in applying the formula.

学生应特别注意 a₀² 项前的系数 1/2——这是应用该公式时最常见的错误之一。

10. Worked Example | 计算示例

Let us consider a typical Edexcel-style problem: Find the Fourier series of the periodic function f(x) = x for −π < x < π, with period 2π.

让我们看一个典型的 Edexcel 风格问题：求周期函数 f(x) = x（−π < x < π，周期 2π）的傅里叶级数。

Since f(x) is odd, a₀ = 0 and aₙ = 0 for all n. We only need to compute bₙ. Using the formula with L = π:

由于 f(x) 是奇函数，a₀ = 0 且所有 aₙ = 0。我们只需计算 bₙ。使用 L = π 的公式：

bₙ = (1/π) ∫₋πᵖ x sin(nx) dx

Since the integrand x sin(nx) is even, we can write:

由于被积函数 x sin(nx) 是偶函数，我们可以写成：

bₙ = (2/π) ∫₀ᵖ x sin(nx) dx

Using integration by parts: u = x, dv = sin(nx)dx, giving du = dx and v = −cos(nx)/n. Evaluating:

使用分部积分：u = x，dv = sin(nx)dx，得到 du = dx，v = −cos(nx)/n。求值：

bₙ = (2/π)[−x cos(nx)/n + sin(nx)/n²]₀ᵖ = (2/π)(−π cos(nπ)/n) = (−2/n) cos(nπ)

Since cos(nπ) = (−1)ⁿ, we have bₙ = 2(−1)ⁿ⁺¹/n. Therefore:

由于 cos(nπ) = (−1)ⁿ，我们得到 bₙ = 2(−1)ⁿ⁺¹/n。因此：

x = 2[sin x − sin 2x/2 + sin 3x/3 − …] = 2Σₙ₌₁᪲ (−1)ⁿ⁺¹ sin(nx)/n

At x = π, the series converges to (π + (−π))/2 = 0, consistent with the Dirichlet convergence condition at a jump discontinuity.

在 x = π 处，级数收敛于 (π + (−π))/2 = 0，这与跳跃间断点处的狄利克雷收敛条件一致。

11. Common Pitfalls and Exam Tips | 常见错误与考试技巧

Through years of examining student work, several recurring errors have been identified. Understanding these pitfalls is essential for achieving top marks in the Edexcel examination.

通过对历年学生答卷的分析，我们发现了几个反复出现的错误。理解这些陷阱对于在 Edexcel 考试中获得高分至关重要。

Forgetting the a₀/2 factor: The constant term in the Fourier series is a₀/2, not a₀, because the formula for a₀ already includes the factor 1/L without the 1/2.

忘记 a₀/2 因子：傅里叶级数中的常数项是 a₀/2 而非 a₀，因为 a₀ 的公式已包含 1/L，无需再乘 1/2。
Incorrect interval notation: Ensure the limits of integration match the given period. For period 2π, integrate from −π to π or 0 to 2π—not a mixture.

区间记号错误：确保积分限与给定的周期匹配。对于周期 2π，从 −π 到 π 或从 0 到 2π 积分——不要混用。
Misidentifying symmetry: A function that looks even may not be if the interval is asymmetric. Always check f(−x) = f(x) (or −f(x)) over the full domain.

对称性判断错误：如果区间不对称，看起来偶的函数可能并不是。始终在完整定义域上检查 f(−x) 是否等于 f(x)（或 −f(x)）。
Applying Parseval’s theorem with wrong coefficients: When using Parseval’s formula, ensure the coefficient a₀ is correctly halved.

应用帕塞瓦尔定理时系数错误：使用帕塞瓦尔公式时，确保系数 a₀ 正确减半。

Exam tips: always write down the general formulas before substituting values; check the symmetry of f(x) first; and when in doubt about convergence at a point, use the average of left and right limits.

考试技巧：在代入数值之前，先写出通用公式；首先检查 f(x) 的对称性；如果对某一点的收敛有疑问，使用左极限和右极限的平均值。

12. Conclusion | 总结

The power function (Fourier series) is a cornerstone of A-Level Further Mathematics. Mastery of its definition, coefficient formulas, symmetry simplifications, and the key theorems—particularly Parseval’s theorem and the Dirichlet conditions—is essential for success in the Edexcel examination. Regular practice with past paper questions, especially those involving half-range series and convergence at discontinuities, will build the confidence needed to tackle any problem in this topic area.

功效函数（傅里叶级数）是 A-Level 进阶数学的基石。掌握其定义、系数公式、对称性简化以及关键定理——尤其是帕塞瓦尔定理和狄利克雷条件——是 Edexcel 考试成功的关键。定期练习历年真题，特别是涉及半区间级数和间断点收敛的题目，将为解决该主题领域中的任何问题建立必要的信心。

Published by TutorHao | Further Mathematics Revision Series | aleveler.com

更多咨询请联系16621398022（同微信）

The Power Function and Its Properties | 功效函数及其性质