📚 Fourier Series Expansion of Periodic Functions | 周期函数的傅里叶级数展开
Fourier series is one of the most powerful tools in mathematics and physics, allowing us to represent any periodic function as an infinite sum of sine and cosine terms. This technique, developed by Jean-Baptiste Joseph Fourier in the early 19th century, forms the foundation of signal processing, heat transfer analysis, quantum mechanics, and countless other fields.
傅里叶级数是数学和物理学中最强大的工具之一，它使我们能够将任意周期函数表示为正弦和余弦项的无穷和。这一由让-巴蒂斯特·约瑟夫·傅里叶在19世纪初发展的技术，构成了信号处理、热传导分析、量子力学以及无数其他领域的基础。
1. Periodic Functions and Trigonometric Series | 周期函数与三角级数
A function f(x) is said to be periodic with period T if f(x + T) = f(x) for all x in its domain. The fundamental period is the smallest positive value of T satisfying this condition. Common examples include sin(x) with period 2π and tan(x) with period π.
如果对于定义域内所有的x，都有f(x + T) = f(x)，则称函数f(x)是周期为T的周期函数。基本周期是满足这一条件的最小正T值。常见例子包括周期为2π的sin(x)和周期为π的tan(x)。
The key idea behind Fourier series is that any reasonably well-behaved periodic function can be decomposed into a sum of sinusoidal components. For a function with period 2π, the Fourier series takes the form:
傅里叶级数背后的核心思想是：任何性质足够良好的周期函数都可以分解为正弦分量的和。对于周期为2π的函数，傅里叶级数具有如下形式：
f(x) = a₀/2 + Σₙ₌₁^∞ [aₙ cos(nx) + bₙ sin(nx)]
Here, a₀/2 represents the average value of the function over one period, while aₙ and bₙ are the Fourier coefficients that determine the amplitude of each harmonic component. The term with n = 1 is called the fundamental frequency, and terms with n > 1 are called higher harmonics.
其中a₀/2表示函数在一个周期内的平均值，aₙ和bₙ是决定各谐波分量振幅的傅里叶系数。n = 1的项称为基频，n > 1的项称为高次谐波。
2. Deriving the Fourier Coefficients | 傅里叶系数的推导
To find the coefficients aₙ and bₙ, we exploit the orthogonality properties of trigonometric functions over the interval [-π, π]. These properties state that the integral of products of different sine and cosine terms over one full period equals zero, while the integral of a term squared equals π.
为了求出系数aₙ和bₙ，我们利用三角函数在区间[-π, π]上的正交性。这些性质表明：不同正弦和余弦项乘积在一个完整周期上的积分为零，而某一项自身的平方的积分等于π。
The orthogonality relations can be summarised as follows, for integers m and n:
正交关系可以总结如下，其中m和n为整数：
∫₋π^π cos(mx) cos(nx) dx = 0 (m ≠ n), = π (m = n)
∫₋π^π sin(mx) sin(nx) dx = 0 (m ≠ n), = π (m = n)
∫₋π^π cos(mx) sin(nx) dx = 0 (for all m, n)
By multiplying both sides of the Fourier series by cos(mx) and integrating over [-π, π], all terms except the one containing aₘ vanish. This yields the formula for aₙ:
将傅里叶级数两边乘以cos(mx)并在[-π, π]上积分，除含aₘ的项外其余各项均消失。由此得到aₙ的公式：
aₙ = (1/π) ∫₋π^π f(x) cos(nx) dx, n = 0, 1, 2, …
Similarly, multiplying by sin(mx) and integrating gives:
类似地，乘以sin(mx)并积分得到：
bₙ = (1/π) ∫₋π^π f(x) sin(nx) dx, n = 1, 2, 3, …
Note that the formula for a₀ is a special case: a₀ = (1/π) ∫₋π^π f(x) dx, which equals twice the average value of f(x). This is why we write the constant term as a₀/2 in the series.
注意a₀的公式是一个特例：a₀ = (1/π) ∫₋π^π f(x) dx，它等于f(x)平均值的两倍。这就是为什么我们在级数中将常数项写成a₀/2的原因。
3. Euler’s Formula and Complex Form | 欧拉公式与复数形式
Using Euler’s formula e^(iθ) = cos θ + i sin θ, we can express the Fourier series in a more elegant complex form. This representation is particularly useful in engineering applications and simplifies many calculations.
利用欧拉公式e^(iθ) = cos θ + i sin θ，我们可以用更优雅的复数形式表达傅里叶级数。这种表示在工程应用中特别有用，能简化许多计算。
The complex Fourier series is written as:
复数形式的傅里叶级数写作：
f(x) = Σₙ₌₋∞^∞ cₙ e^(inx)
where the complex coefficients cₙ are given by:
其中复数系数cₙ由下式给出：
cₙ = (1/2π) ∫₋π^π f(x) e^(-inx) dx
The relationship between the real and complex coefficients is: cₙ = (aₙ – i·bₙ)/2 for n > 0, c₋ₙ = (aₙ + i·bₙ)/2, and c₀ = a₀/2. This compact notation is especially valuable when dealing with differential equations and convolution operations.
实数系数与复数系数之间的关系为：当n > 0时，cₙ = (aₙ – i·bₙ)/2，c₋ₙ = (aₙ + i·bₙ)/2，且c₀ = a₀/2。在处理微分方程和卷积运算时，这种紧凑的记号尤为宝贵。
4. Convergence and Dirichlet Conditions | 收敛性与狄利克雷条件
Not every periodic function can be represented by a Fourier series. The Dirichlet conditions provide sufficient conditions for the convergence of the Fourier series. These conditions are named after the German mathematician Peter Gustav Lejeune Dirichlet.
并非每个周期函数都能用傅里叶级数表示。狄利克雷条件为傅里叶级数的收敛性提供了充分条件。这些条件以德国数学家彼得·古斯塔夫·勒热纳·狄利克雷的名字命名。
The Dirichlet conditions for a function f(x) with period 2π are:
周期为2π的函数f(x)的狄利克雷条件为：
- f(x) must be absolutely integrable over one period: ∫₋π^π |f(x)| dx < ∞
- f(x) 在一个周期内绝对可积：∫₋π^π |f(x)| dx < ∞
- f(x) must have a finite number of discontinuities in any one period
- f(x) 在任意一个周期内只有有限个不连续点
- f(x) must have a finite number of maxima and minima in any one period
- f(x) 在任意一个周期内只有有限个极大值和极小值
When these conditions are satisfied, the Fourier series converges to f(x) at points of continuity. At a point of discontinuity x₀, the series converges to the average of the left and right limits: [f(x₀⁺) + f(x₀⁻)]/2.
当这些条件满足时，傅里叶级数在连续点处收敛于f(x)。在不连续点x₀处，级数收敛于左右极限的平均值：[f(x₀⁺) + f(x₀⁻)]/2。
An important phenomenon called Gibbs phenomenon occurs near discontinuities. As more terms are added, the overshoot near a jump does not diminish; it converges to approximately 9% of the jump magnitude. Understanding this helps explain why sharp transitions in signals cause ringing in practical applications.
在不连续点附近会出现一个重要的现象——吉布斯现象。随着项数增加，跳跃附近的过冲并不会消失；它收敛到跳跃幅度的大约9%。理解这一点有助于解释为什么信号中的急剧过渡在实际应用会导致振铃效应。
5. Worked Example: Square Wave | 实例分析：方波
Let us determine the Fourier series for the square wave defined by:
让我们来确定由下式定义的方波的傅里叶级数：
f(x) = -1 for -π < x < 0, f(x) = 1 for 0 < x < π
This odd function has period 2π and satisfies f(-x) = -f(x). For odd functions, all cosine coefficients aₙ equal zero. We only need to compute the sine coefficients bₙ.
这个奇函数的周期为2π，满足f(-x) = -f(x)。对于奇函数，所有余弦系数aₙ都等于零。我们只需计算正弦系数bₙ。
bₙ = (1/π) [∫₋π^0 (-1) sin(nx) dx + ∫₀^π (1) sin(nx) dx]
Evaluating the integrals: ∫ sin(nx) dx = -cos(nx)/n. Thus:
计算积分：∫ sin(nx) dx = -cos(nx)/n。因此：
bₙ = (2/πn) (1 – cos(nπ)) = (2/πn) (1 – (-1)ⁿ)
For even n, bₙ = 0. For odd n, bₙ = 4/(πn). Therefore, the Fourier series of the square wave is:
当n为偶数时，bₙ = 0。当n为奇数时，bₙ = 4/(πn)。因此，方波的傅里叶级数为：
f(x) = (4/π) [sin(x) + sin(3x)/3 + sin(5x)/5 + …]
This beautifully demonstrates how a discontinuous square wave can be built from smooth sine waves. The first term alone gives a rough approximation, and each additional harmonic improves the fidelity of the reconstruction.
这完美地展示了不连续的方波是如何由平滑的正弦波构造出来的。仅第一项就能给出粗略的近似，而每增加一个谐波都能提高重建的保真度。
6. Other Common Expansions | 其他常见展开
Several standard expansions appear frequently in IB exam questions. The triangular wave, defined as f(x) = |x| on [-π, π], has only cosine terms since it is an even function. Its series can be derived by computing aₙ = (2/π) ∫₀^π x cos(nx) dx.
IB考试中经常出现几个标准的展开。三角波定义为[-π, π]上的f(x) = |x|，由于它是偶函数，因此只有余弦项。其级数可以通过计算aₙ = (2/π) ∫₀^π x cos(nx) dx来推导。
The sawtooth wave, defined as f(x) = x for -π < x < π, is odd and has Fourier series Σₙ₌₁^∞ 2(-1)ⁿ⁺¹ sin(nx)/n. This expansion converges slowly because of the jump discontinuity at x = ±π.
锯齿波定义为-π < x < π上的f(x) = x，是奇函数，其傅里叶级数为Σₙ₌₁^∞ 2(-1)ⁿ⁺¹ sin(nx)/n。由于在x = ±π处存在跳跃间断，这个展开收敛较慢。
For a full-wave rectified sine wave, f(x) = |sin x|, the expansion involves only even harmonics plus a constant term. These examples illustrate how symmetry properties greatly simplify the coefficient calculations:
对于全波整流正弦波f(x) = |sin x|，其展开只包含偶次谐波和一个常数项。这些例子说明了对称性如何大大简化系数计算：
| Function | Type | Non-zero Coefficients |
| Square wave | Odd | bₙ (odd n only) |
| Triangular wave | Even | aₙ |
| Sawtooth wave | Odd | bₙ |
| |sin x| | Even | aₙ (even n only) |
A function f(x) is even if f(-x) = f(x), and odd if f(-x) = -f(x). Even functions have only cosine terms, while odd functions have only sine terms. This symmetry check is always the first step in solving Fourier problems.
若f(-x) = f(x)，则函数f(x)是偶函数；若f(-x) = -f(x)，则是奇函数。偶函数只有余弦项，奇函数只有正弦项。对称性检查是解决傅里叶问题的第一步。
7. Parseval’s Identity | 帕塞瓦尔恒等式
Parseval’s identity connects the average power of a periodic function to its Fourier coefficients. This result is of fundamental importance in physics and engineering, where it relates signal energy in the time domain to its spectral energy in the frequency domain.
帕塞瓦尔恒等式将周期函数的平均功率与其傅里叶系数联系起来。这个结果在物理和工程中具有根本的重要性，它将时域中的信号能量与频域中的频谱能量联系起来。
For a function with period 2π, Parseval’s identity states:
对于周期为2π的函数，帕塞瓦尔恒等式表明：
(1/π) ∫₋π^π [f(x)]² dx = a₀²/2 + Σₙ₌₁^∞ (aₙ² + bₙ²)
This identity provides a convenient way to compute the sum of certain infinite series. For example, applying Parseval’s identity to the square wave we derived earlier gives:
这个恒等式为计算某些无穷级数的和提供了便捷途径。例如，将帕塞瓦尔恒等式应用于我们之前推导的方波，可以得到：
2 = (16/π²) [1 + 1/9 + 1/25 + …]
1 + 1/3² + 1/5² + … = π²/8
This is a remarkable result: by pure integration and Fourier analysis, we have evaluated a non-trivial infinite series. This technique demonstrates the deep connection between harmonic analysis and number theory.
这是一个了不起的结果：通过纯粹的积分和傅里叶分析，我们计算了一个不平凡的无穷级数。这项技术展示了调和分析与数论之间的深刻联系。
8. IB Examination Tips and Applications | IB考试技巧与应用
In IB Mathematics Analysis and Approaches HL, Fourier series appears in the context of integration techniques and series. Students should be familiar with identifying even and odd functions, computing coefficients through integration by parts, and understanding the convergence behaviour at discontinuities.
在IB数学分析与方法HL中，傅里叶级数出现在积分技巧和级数的背景下。学生应熟悉识别偶函数和奇函数、通过分部积分计算系数、以及理解不连续点的收敛行为。
Common IB examination questions include:
常见的IB考试题目包括：
- Determining the Fourier series of a given piecewise function
- 给出分段函数，求其傅里叶级数
- Using orthogonality to simplify coefficient calculations
- 利用正交性简化系数计算
- Applying Parseval’s identity to evaluate infinite sums
- 应用帕塞瓦尔恒等式计算无穷和
- Sketching the function to which the Fourier series converges, including at jumps
- 画出傅里叶级数收敛到的函数图像，包括跳跃点处的值
When solving these problems, always begin by checking symmetries. If the function is even, set all bₙ = 0 and compute only aₙ. If odd, set all aₙ = 0 and compute only bₙ. This reduces the workload by half. Also remember that integration by parts is frequently needed when f(x) involves polynomial factors multiplied by trigonometric terms.
解决这些问题时，务必先检查对称性。如果函数是偶函数，令所有bₙ = 0，只计算aₙ。如果是奇函数，令所有aₙ = 0，只计算bₙ。这样可以将工作量减半。同时记住，当f(x)包含多项式因子与三角项的乘积时，经常需要用到分部积分。
Beyond the IB syllabus, Fourier series are indispensable in solving partial differential equations, analysing alternating current circuits, processing audio and image signals, and understanding the structure of atoms through quantum mechanics. Mastering this topic not only secures exam marks but also opens the door to advanced studies in applied mathematics and physics.
在IB教学大纲之外，傅里叶级数在求解偏微分方程、分析交流电路、处理音频和图像信号、以及通过量子力学理解原子结构等方面不可或缺。掌握这一主题不仅能在考试中得分，还能为应用数学和物理的高等学习打开大门。
Published by TutorHao | Mathematics Revision Series | aleveler.com
更多咨询请联系16621398022（同微信）
屏轩国际教育cambridge primary/secondary checkpoint, cat4, ukiset,ukcat,igcse,alevel,PAT,STEP,MAT, ibdp,ap,ssat,sat,sat2课程辅导，国外大学本科硕士研究生博士课程论文辅导