IB Mathematics: An Overview of the Basic Theory of Fourier Series | IB数学：傅里叶级数的基本理论概述

📚 IB Mathematics: An Overview of the Basic Theory of Fourier Series | IB数学：傅里叶级数的基本理论概述

Fourier series are one of the most powerful tools in applied mathematics, allowing us to represent complicated periodic functions as infinite sums of simple sine and cosine terms. This theory, named after the French mathematician Joseph Fourier, underpins countless applications in physics, engineering, and signal processing.

傅里叶级数是应用数学中最强大的工具之一，它使我们能够将复杂的周期函数表示为简单的正弦项和余弦项的无穷和。这一理论以法国数学家约瑟夫·傅里叶的名字命名，是物理学、工程学和信号处理中无数应用的基础。

1. Periodic Functions and the Need for Fourier Series | 周期函数与傅里叶级数的必要性

A function f(x) is said to be periodic with period T if f(x + T) = f(x) for all x. The most familiar periodic functions are sin(x) and cos(x), which have period 2π. However, many real-world signals are not simple sinusoids — think of square waves, sawtooth waves, or the vibration of a guitar string.

如果对于所有x，都有 f(x + T) = f(x)，则称函数 f(x) 是以T为周期的周期函数。最熟悉的周期函数是 sin(x) 和 cos(x)，它们的周期为2π。然而，许多现实世界中的信号并不是简单的正弦波——例如方波、锯齿波或吉他弦的振动。

The key insight of Fourier is that any sufficiently well-behaved periodic function can be decomposed into a sum of harmonically related sinusoids. This is analogous to how a musical chord is a combination of individual notes.

傅里叶的核心洞见在于：任何性质足够良好的周期函数都可以分解为一系列谐波相关的正弦波之和。这类似于一个音乐和弦是由多个单独音符组合而成。

2. The General Form of a Fourier Series | 傅里叶级数的一般形式

For a function f(x) with period 2π, the Fourier series is written as:

对于周期为2π的函数 f(x)，其傅里叶级数写作：

f(x) = a₀/2 + Σₙ₌₁᪲ (aₙ cos(nx) + bₙ sin(nx))

Here, a₀/2 is the constant (DC) term, and the coefficients aₙ and bₙ measure the contribution of each cosine and sine harmonic at frequency n. The factor 1/2 on a₀ is a convention that simplifies the formula for a₀ to match the general pattern.

其中，a₀/2 是常数项（直流分量），系数 aₙ 和 bₙ 衡量频率为 n 的余弦和正弦谐波各自的贡献。a₀ 上的 1/2 因子是一种约定，使得 a₀ 的计算公式与其他系数保持统一的模式。

For a function with arbitrary period T, we substitute x with 2πt/T, effectively rescaling the interval to [0, T]. This generalisation is essential for practical applications where signals rarely have period exactly 2π.

对于具有任意周期T的函数，我们用 2πt/T 替换 x，从而将区间缩放至 [0, T]。这种推广在实际应用中至关重要，因为现实信号很少恰好以2π为周期。

3. Euler-Fourier Formulas for Coefficients | 欧拉-傅里叶系数公式

The coefficients aₙ and bₙ are not arbitrary; they are determined by the function f(x) itself through the orthogonality of trigonometric functions. Over the interval [-π, π], the following orthogonality relations hold:

系数 aₙ 和 bₙ 并非任意选取；它们由函数 f(x) 本身通过三角函数的正交性来确定。在区间 [-π, π] 上，以下正交关系成立：

∫₋πᵖⁱ cos(mx) cos(nx) dx = π δₘₙ (for positive integers m, n)

∫₋πᵖⁱ cos(mx) cos(nx) dx = π δₘₙ（对于正整数 m, n）
∫₋πᵖⁱ sin(mx) sin(nx) dx = π δₘₙ

∫₋πᵖⁱ sin(mx) sin(nx) dx = π δₘₙ
∫₋πᵖⁱ cos(mx) sin(nx) dx = 0 (for all m, n)

∫₋πᵖⁱ cos(mx) sin(nx) dx = 0（对于所有 m, n）

Here δₘₙ is the Kronecker delta, equal to 1 when m = n and 0 otherwise. These relations allow us to isolate each coefficient by multiplying both sides of the Fourier series by cos(kx) or sin(kx) and integrating term by term.

这里 δₘₙ 是克罗内克δ符号，当 m = n 时为1，否则为0。利用这些关系，我们可以将傅里叶级数两边分别乘以 cos(kx) 或 sin(kx) 并逐项积分，从而分离出每个系数。

This leads to the Euler-Fourier formulas:

由此得到欧拉-傅里叶公式：

aₙ = (1/π) ∫₋πᵖⁱ f(x) cos(nx) dx , bₙ = (1/π) ∫₋πᵖⁱ f(x) sin(nx) dx

for n ≥ 0 (with the understanding that b₀ = 0 automatically). For a₀, the formula gives a₀ = (1/π) ∫₋πᵖⁱ f(x) dx, which is twice the average value of f over one period.

对于 n ≥ 0（其中 b₀ 自动为0）。对于 a₀，公式给出 a₀ = (1/π) ∫₋πᵖⁱ f(x) dx，即 f 在一个周期内平均值的两倍。

4. Even and Odd Functions: Fourier Cosine and Sine Series | 偶函数与奇函数：傅里叶余弦级数与正弦级数

If f(x) is an even function, satisfying f(-x) = f(x), then all sine coefficients bₙ vanish, and the Fourier series reduces to a cosine series. Similarly, if f(x) is odd, with f(-x) = -f(x), all cosine coefficients aₙ (including a₀) vanish, leaving a pure sine series.

如果 f(x) 是偶函数，满足 f(-x) = f(x)，则所有正弦系数 bₙ 都为零，傅里叶级数简化为余弦级数。类似地，如果 f(x) 是奇函数，满足 f(-x) = -f(x)，则所有余弦系数 aₙ（包括 a₀）都为零，只剩下纯正弦级数。

This symmetry dramatically simplifies computation. For example, the square wave defined by f(x) = 1 for 0 ” x ” π and f(x) = -1 for -π ” x ” 0 is odd, so we immediately know aₙ = 0 for all n. Only the sine coefficients need to be integrated.

这种对称性极大地简化了计算。例如，方波定义为在 0 ” x ” π 上 f(x) = 1，在 -π ” x ” 0 上 f(x) = -1，它是奇函数，因此我们立即知道所有 aₙ = 0。只需要计算正弦系数。

Moreover, if we only need a Fourier representation on the interval [0, π], we may choose to extend f either evenly or oddly to the whole line, obtaining respectively either a cosine or a sine series. This flexibility is frequently used in solving partial differential equations such as the heat equation or wave equation on a finite interval.

此外，如果我们只需要在区间 [0, π] 上的傅里叶表示，我们可以选择将 f 偶延拓或奇延拓到整个实数轴，从而分别得到余弦级数或正弦级数。这种灵活性常用于求解有限区间上的偏微分方程，如热传导方程或波动方程。

5. Convergence Theory: When Does the Series Converge? | 收敛理论：级数何时收敛？

Not every periodic function has a Fourier series that converges everywhere. The precise conditions for pointwise convergence are subtle, but the most commonly cited sufficient condition is the Dirichlet condition.

并非每个周期函数的傅里叶级数都能处处收敛。逐点收敛的精确条件较为微妙，但最常引用的充分条件是狄利克雷条件。

The Dirichlet convergence theorem states: if f is piecewise continuous on the interval, has only a finite number of maxima and minima, and has a finite number of discontinuities each with finite jumps, then its Fourier series converges to f(x) at every point where f is continuous, and to the average of the left and right limits [f(x⁺) + f(x⁻)]/2 at each jump discontinuity.

狄利克雷收敛定理指出：如果 f 在区间上分段连续、只有有限多个极大值和极小值、并且只有有限多个具有有限跳跃的不连续点，则其傅里叶级数在 f 连续的每个点处收敛到 f(x)，而在每个跳跃间断点处收敛到左右极限的平均值 [f(x⁺) + f(x⁻)]/2。

This averaging property at discontinuities is a hallmark of Fourier series. At a jump, the series does not overshoot arbitrarily but instead stabilises at the midpoint. This behaviour is fundamentally different from Taylor series, which require smoothness of all orders.

在间断点处的这种取平均性质是傅里叶级数的标志性特征。在跳跃处，级数不会随意越界，而是稳定在中点值。这种行为与泰勒级数根本不同，后者要求各阶光滑性。

6. The Gibbs Phenomenon | 吉布斯现象

Even when the Dirichlet conditions are satisfied, the partial sums of a Fourier series exhibit a peculiar behaviour near jump discontinuities. As the number of terms N increases, the overshoot near the jump does not completely disappear; it tends to a limiting value of about 8.95% of the jump height.

即使满足狄利克雷条件，傅里叶级数的部分和在跳跃间断点附近也会表现出一种特殊行为。随着项数 N 的增加，跳跃附近的过冲不会完全消失；它趋于跳跃高度的约8.95%的极限值。

This phenomenon, called the Gibbs phenomenon after J. Willard Gibbs, means that the maximum deviation of the partial sum from the true function near a discontinuity remains finite no matter how many terms we include. The overshoot narrows in width as N grows, but its height persists.

这一现象以乔赛亚·威拉德·吉布斯的名字命名为吉布斯现象。它意味着无论我们取多少项，部分和在间断点附近偏离真实函数的极大偏差始终是有限的。随着 N 增大，过冲的宽度变窄，但高度始终存在。

In practice, this effect causes ringing artefacts in signal processing and image reconstruction. Understanding the Gibbs phenomenon is crucial when using Fourier methods to approximate discontinuous functions numerically.

在实践中，这一效应会在信号处理和图像重建中导致振铃伪影。理解吉布斯现象在使用傅里叶方法数值逼近不连续函数时至关重要。

7. Parseval’s Identity and Mean Square Convergence | 帕塞瓦尔恒等式与均方收敛

Hilbert space geometry gives Fourier series a natural notion of convergence: mean square convergence. If f is square-integrable on [-π, π], then the partial sums Sₙ(x) converge to f in the L² norm, meaning:

希尔伯特空间几何赋予傅里叶级数一种自然的收敛概念：均方收敛。如果 f 在 [-π, π] 上平方可积，则部分和 Sₙ(x) 在 L² 范数意义下收敛到 f，即：

limₙ→∞ ∫₋πᵖⁱ |f(x) – Sₙ(x)|² dx = 0

This is a weaker notion than uniform convergence but is extremely useful in applications where energy or power is the quantity of interest.

这是一个比一致收敛更弱的概念，但在以能量或功率为关注对象的应用中极为有用。

From mean square convergence, we obtain Parseval’s identity, which links the energy of the function to the sum of the squares of its Fourier coefficients:

由均方收敛，我们得到帕塞瓦尔恒等式，它将函数的能量与其傅里叶系数平方和联系起来：

(1/π) ∫₋πᵖⁱ |f(x)|² dx = a₀²/2 + Σₙ₌₁᪲ (aₙ² + bₙ²)

Physically, this states that the total power of a signal equals the sum of the powers in its individual frequency components. This identity is the mathematical foundation of the spectral analysis of signals.

从物理角度讲，这表示信号的总功率等于其各频率分量功率之和。这一恒等式是信号频谱分析的数学基础。

8. Complex Form of the Fourier Series | 傅里叶级数的复数形式

Using Euler’s identity, eⁱⁿˣ = cos(nx) + i sin(nx), we can rewrite the Fourier series in a more compact complex form. This representation is particularly elegant and is the standard language of modern signal analysis.

利用欧拉恒等式 eⁱⁿˣ = cos(nx) + i sin(nx)，我们可以将傅里叶级数改写为更紧凑的复数形式。这种表示特别优雅，是现代信号分析的标准语言。

f(x) = Σₙ₌₋∞᪲ cₙ eⁱⁿˣ

The complex coefficients cₙ are related to the real coefficients by:

复系数 cₙ 与实系数的关系为：

cₙ = (aₙ – i bₙ)/2 for n > 0, c₋ₙ = (aₙ + i bₙ)/2, c₀ = a₀/2

The coefficient formula simplifies to a single integral:

系数公式简化为一个积分：

cₙ = (1/2π) ∫₋πᵖⁱ f(x) e⁻ⁱⁿˣ dx

The complex form is not merely a notational convenience; it transforms many problems into algebraic manipulations of exponentials, which are often easier to handle than trigonometric identities. It also serves as the bridge to the Fourier transform, where the discrete integer frequencies n are replaced by a continuous variable ω.

复数形式不仅仅是一种记法上的便利；它将许多问题转化为指数函数的代数运算，这通常比三角恒等式更容易处理。它也是通往傅里叶变换的桥梁，在傅里叶变换中，离散的整数频率 n 被连续的变量 ω 取代。

9. Worked Example: Square Wave | 实例解析：方波

Consider the odd square wave defined on [-π, π] by f(x) = 1 for 0 ” x ” π and f(x) = -1 for -π ” x ” 0. Because f is odd, all aₙ = 0, and the sine coefficients are:

考虑定义在 [-π, π] 上的奇方波：在 0 ” x ” π 上 f(x) = 1，在 -π ” x ” 0 上 f(x) = -1。由于 f 是奇函数，所有 aₙ = 0，正弦系数为：

bₙ = (2/π) ∫₀ᵖⁱ sin(nx) dx = (2/π) [1 – (-1)ⁿ]/n

This equals 4/(nπ) for odd n and 0 for even n. Thus the Fourier series is:

当 n 为奇数时等于 4/(nπ)，当 n 为偶数时为0。因此傅里叶级数为：

f(x) = (4/π) [sin(x) + (1/3)sin(3x) + (1/5)sin(5x) + …]

This series converges to 1 at interior points of (0, π), to -1 on (-π, 0), and to 0 at x = 0, ±π, consistent with the Dirichlet averaging rule. The partial sums oscillate near the jumps, displaying the Gibbs phenomenon described earlier.

该级数在 (0, π) 内部收敛到1，在 (-π, 0) 上收敛到-1，在 x = 0, ±π 处收敛到0，与狄利克雷平均值规则一致。部分和在跳跃附近振荡，展现出前面描述的吉布斯现象。

This example demonstrates the entire workflow: identify symmetry, calculate coefficients using Euler-Fourier formulas, and interpret convergence behaviour at discontinuities.

这个例子展示了完整的工作流：识别对称性，利用欧拉-傅里叶公式计算系数，并解释不连续点处的收敛行为。

10. Applications in Differential Equations and Beyond | 在微分方程及其他领域的应用

The most celebrated application of Fourier series is the solution of partial differential equations (PDEs). The method of separation of variables in the heat equation, wave equation, and Laplace’s equation on finite domains leads naturally to eigenvalue problems whose eigenfunctions are trigonometric.

傅里叶级数最著名的应用是求解偏微分方程（PDEs）。在有限域上对热传导方程、波动方程和拉普拉斯方程使用分离变量法，会自然导出以三角函数为特征函数的特征值问题。

For example, the temperature distribution u(x,t) in a one-dimensional rod with fixed end temperatures can be expressed as an infinite series of sine modes, each decaying exponentially at a rate proportional to the square of its frequency:

例如，一端固定温度的一维细杆中的温度分布 u(x,t) 可以表示为正弦模态的无穷级数，每个模态以与其频率平方成正比的速率指数衰减：

u(x,t) = Σₙ₌₁᪲ bₙ sin(nπx/L) e⁻ᵏ⁽ⁿπ/L⁾²ᵗ

The initial coefficients bₙ are exactly the Fourier sine coefficients of the initial temperature profile u(x,0). Higher-frequency modes (larger n) decay faster, which explains why smooth temperature distributions quickly lose their fine structure.

初始系数 bₙ 恰好是初始温度分布 u(x,0) 的傅里叶正弦系数。高频模态（较大的 n）衰减更快，这解释了光滑温度分布为何能迅速失去其精细结构。

Beyond PDEs, Fourier series are indispensable in signal processing (decomposing audio signals into frequencies), image compression (JPEG uses discrete cosine transforms), quantum mechanics (decomposing wavefunctions into momentum eigenstates), and many other branches of science and engineering.

除了偏微分方程，傅里叶级数在信号处理（将音频信号分解为频率分量）、图像压缩（JPEG使用离散余弦变换）、量子力学（将波函数分解为动量本征态）以及科学与工程的许多其他分支中都是不可或缺的工具。

11. Summary and Key Takeaways for IB Students | 总结与IB学生要点

For IB Mathematics Analysis and Approaches HL students, Fourier series appear primarily in the context of the optional topic on further calculus and series. The following key points should be memorised and understood:

对于IB数学分析与方法HL学生，傅里叶级数主要出现在进一步微积分与级数的选修专题中。以下要点应当牢记并理解：

Definition: A periodic function can be written as a₀/2 + Σ(aₙ cos(nx) + bₙ sin(nx)), with coefficients given by integral formulas.

定义：周期函数可以写成 a₀/2 + Σ(aₙ cos(nx) + bₙ sin(nx))，系数由积分公式给出。
Symmetry shortcuts: Even functions use only cosines; odd functions use only sines. Recognising symmetry saves half the computation.

对称性捷径：偶函数只用余弦项；奇函数只用正弦项。识别对称性可以节省一半的计算量。
Convergence: At a jump discontinuity, the Fourier series converges to the midpoint of the jump. The Gibbs phenomenon causes a persistent overshoot near discontinuities.

收敛性：在跳跃间断点处，傅里叶级数收敛到跳跃的中点。吉布斯现象导致间断点附近存在持续过冲。
Parseval’s identity: Connects the integral of |f|² to the sum of squared coefficients, used in energy calculations.

帕塞瓦尔恒等式：将 |f|² 的积分与系数平方和联系起来，用于能量计算。
Complex form: cₙ = (1/2π)∫f(x)e⁻ⁱⁿˣ dx is the compact modern formulation, essential for Fourier transforms.

复数形式： cₙ = (1/2π)∫f(x)e⁻ⁱⁿˣ dx 是紧凑的现代表述，是傅里叶变换的基础。

Examination questions typically ask students to compute Fourier coefficients for a given piecewise or explicitly defined function, determine whether a cosine or sine series is appropriate, or evaluate the value of the Fourier series at a point of discontinuity. Practice with square waves, triangular waves, and half-range expansions is strongly recommended.

考试题目通常要求学生为给定的分段函数或显式定义的函数计算傅里叶系数、判断使用余弦级数还是正弦级数，或计算傅里叶级数在不连续点处的值。强烈建议练习方波、三角波和半幅展开。

Published by TutorHao | Mathematics Revision Series | aleveler.com

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

IB Mathematics: An Overview of the Basic Theory of Fourier Series | IB数学：傅里叶级数的基本理论概述