(注:本文由 AI 生成,作为前文《傅里叶变换 详细数学公式推导》的全局观补充)

前言

在数学分析的殿堂中,泰勒公式、欧拉公式与傅里叶变换是三座紧密相连的丰碑。泰勒公式以多项式逼近的思想,为复杂函数的局部分析提供了工具;欧拉公式则打通了指数函数与三角函数的壁垒,搭建起代数、几何与分析之间的桥梁;傅里叶变换则借助前两者的基础,实现了函数从时域到频域的跨越,成为信号处理、物理建模等领域的核心工具。三者层层递进、环环相扣,共同构成了现代数学与工程技术的重要基石。本文将从泰勒公式出发,逐步推导欧拉公式,再延伸至傅里叶变换,清晰呈现三者的内在逻辑与推导过程。

一、泰勒公式:用多项式逼近复杂函数的“万能钥匙”

在数学研究中,多项式函数因其结构简单、可导可积、计算便捷的特点,成为分析复杂函数的重要载体。泰勒公式的核心思想的是:对于足够光滑的函数,在某一点的邻域内,可以用该点的各阶导数值构造一个多项式,来近似逼近原函数,且逼近精度可通过多项式的阶数控制。这一思想彻底解决了“复杂函数难以直接分析”的难题,将非线性问题转化为线性多项式的分析问题。

1.1 泰勒公式的定义与推导

设函数 f ( x ) f(x) f(x)在点 x 0 x_0 x0的某邻域内具有 n + 1 n+1 n+1阶导数,那么对于该邻域内的任意一点 x x x,都有:

f ( x ) = f ( x 0 ) + f ′ ( x 0 ) ( x − x 0 ) + f ′ ′ ( x 0 ) 2 ! ( x − x 0 ) 2 + ⋯ + f ( n ) ( x 0 ) n ! ( x − x 0 ) n + R n ( x ) f(x) = f(x_0) + f'(x_0)(x - x_0) + \frac{f''(x_0)}{2!}(x - x_0)^2 + \cdots + \frac{f^{(n)}(x_0)}{n!}(x - x_0)^n + R_n(x) f(x)=f(x0)+f(x0)(xx0)+2!f′′(x0)(xx0)2++n!f(n)(x0)(xx0)n+Rn(x)

这就是泰勒公式,其中:

  • ∑ k = 0 n f ( k ) ( x 0 ) k ! ( x − x 0 ) k \sum_{k=0}^n \frac{f^{(k)}(x_0)}{k!}(x - x_0)^k k=0nk!f(k)(x0)(xx0)k 称为 f ( x ) f(x) f(x) x 0 x_0 x0处的 n n n阶泰勒多项式, f ( k ) ( x 0 ) f^{(k)}(x_0) f(k)(x0)表示 f ( x ) f(x) f(x) x 0 x_0 x0处的 k k k阶导数, 0 ! 0! 0!定义为1;

  • R n ( x ) R_n(x) Rn(x) 称为泰勒余项,用于表示多项式逼近与原函数的误差,常见形式有拉格朗日余项、皮亚诺余项等,其中拉格朗日余项为 R n ( x ) = f ( n + 1 ) ( ξ ) ( n + 1 ) ! ( x − x 0 ) n + 1 R_n(x) = \frac{f^{(n+1)}(\xi)}{(n+1)!}(x - x_0)^{n+1} Rn(x)=(n+1)!f(n+1)(ξ)(xx0)n+1 ξ \xi ξ介于 x 0 x_0 x0 x x x之间)。

特别地,当 x 0 = 0 x_0 = 0 x0=0时,泰勒公式简化为麦克劳林公式(泰勒公式的特殊形式):

f ( x ) = f ( 0 ) + f ′ ( 0 ) x + f ′ ′ ( 0 ) 2 ! x 2 + ⋯ + f ( n ) ( 0 ) n ! x n + R n ( x ) f(x) = f(0) + f'(0)x + \frac{f''(0)}{2!}x^2 + \cdots + \frac{f^{(n)}(0)}{n!}x^n + R_n(x) f(x)=f(0)+f(0)x+2!f′′(0)x2++n!f(n)(0)xn+Rn(x)

1.2 泰勒公式的核心意义与常见展开式

泰勒公式的本质是“局部逼近”,它告诉我们:只要函数足够光滑,就可以在某一点附近用多项式无限逼近它,阶数越高,逼近效果越好。这种“化繁为简”的思想,不仅是数学分析的核心方法,也为后续欧拉公式、傅里叶变换的推导提供了关键工具。

在后续推导中,我们需要用到三个常见函数的麦克劳林展开式(收敛域均为全体实数):

  1. 指数函数: e x = ∑ n = 0 ∞ x n n ! = 1 + x + x 2 2 ! + x 3 3 ! + ⋯ e^x = \sum_{n=0}^{\infty} \frac{x^n}{n!} = 1 + x + \frac{x^2}{2!} + \frac{x^3}{3!} + \cdots ex=n=0n!xn=1+x+2!x2+3!x3+

  2. 正弦函数: sin ⁡ x = ∑ n = 0 ∞ ( − 1 ) n x 2 n + 1 ( 2 n + 1 ) ! = x − x 3 3 ! + x 5 5 ! − ⋯ \sin x = \sum_{n=0}^{\infty} \frac{(-1)^n x^{2n+1}}{(2n+1)!} = x - \frac{x^3}{3!} + \frac{x^5}{5!} - \cdots sinx=n=0(2n+1)!(1)nx2n+1=x3!x3+5!x5

  3. 余弦函数: cos ⁡ x = ∑ n = 0 ∞ ( − 1 ) n x 2 n ( 2 n ) ! = 1 − x 2 2 ! + x 4 4 ! − ⋯ \cos x = \sum_{n=0}^{\infty} \frac{(-1)^n x^{2n}}{(2n)!} = 1 - \frac{x^2}{2!} + \frac{x^4}{4!} - \cdots cosx=n=0(2n)!(1)nx2n=12!x2+4!x4

这三个展开式是连接泰勒公式与欧拉公式的关键纽带,也是后续推导的基础。值得注意的是,泰勒公式由英国数学家布鲁克·泰勒于1712年首次叙述,后经拉格朗日、柯西等人完善,成为微分学的基本定理之一。

二、欧拉公式:指数函数与三角函数的“桥梁”

欧拉公式是数学史上最优美的公式之一,它将指数函数(分析领域)、三角函数(几何领域)与虚数单位 i i i(代数领域)完美结合,打破了不同数学分支之间的壁垒。欧拉公式的形式看似简洁,却蕴含着深刻的数学内涵,其推导过程完全依赖于泰勒公式的麦克劳林展开式,是泰勒公式在复数域上的重要应用。

2.1 虚数单位与复数指数函数的定义

首先明确虚数单位 i i i的定义: i 2 = − 1 i^2 = -1 i2=1,由此可推出虚数单位的幂次循环规律: i 1 = i i^1 = i i1=i i 2 = − 1 i^2 = -1 i2=1 i 3 = − i i^3 = -i i3=i i 4 = 1 i^4 = 1 i4=1,周期为4。

对于复数 z = x + y i z = x + yi z=x+yi x , y x,y x,y为实数),我们借鉴实数指数函数的麦克劳林展开式,定义复数指数函数 e z e^z ez的展开式为:

e z = ∑ n = 0 ∞ z n n ! e^z = \sum_{n=0}^{\infty} \frac{z^n}{n!} ez=n=0n!zn

该级数在整个复数域内收敛,且满足实数指数函数的运算性质(如 e z 1 + z 2 = e z 1 ⋅ e z 2 e^{z_1 + z_2} = e^{z_1} \cdot e^{z_2} ez1+z2=ez1ez2),这为欧拉公式的推导提供了理论基础。

2.2 欧拉公式的推导过程

令复数 z = i θ z = i\theta z=iθ θ \theta θ为实数),将其代入复数指数函数的展开式中,结合虚数单位的幂次循环规律,展开并整理:

e i θ = ∑ n = 0 ∞ ( i θ ) n n ! = 1 + i θ + ( i θ ) 2 2 ! + ( i θ ) 3 3 ! + ( i θ ) 4 4 ! + ( i θ ) 5 5 ! + ⋯ e^{i\theta} = \sum_{n=0}^{\infty} \frac{(i\theta)^n}{n!} = 1 + i\theta + \frac{(i\theta)^2}{2!} + \frac{(i\theta)^3}{3!} + \frac{(i\theta)^4}{4!} + \frac{(i\theta)^5}{5!} + \cdots eiθ=n=0n!(iθ)n=1+iθ+2!(iθ)2+3!(iθ)3+4!(iθ)4+5!(iθ)5+

根据 i 2 = − 1 i^2 = -1 i2=1 i 3 = − i i^3 = -i i3=i i 4 = 1 i^4 = 1 i4=1 i 5 = i i^5 = i i5=i,将上式按实部和虚部分离:

e i θ = ( 1 − θ 2 2 ! + θ 4 4 ! − θ 6 6 ! + ⋯   ) + i ( θ − θ 3 3 ! + θ 5 5 ! − θ 7 7 ! + ⋯   ) e^{i\theta} = \left(1 - \frac{\theta^2}{2!} + \frac{\theta^4}{4!} - \frac{\theta^6}{6!} + \cdots\right) + i\left(\theta - \frac{\theta^3}{3!} + \frac{\theta^5}{5!} - \frac{\theta^7}{7!} + \cdots\right) eiθ=(12!θ2+4!θ46!θ6+)+i(θ3!θ3+5!θ57!θ7+)

对比前文给出的正弦函数、余弦函数的麦克劳林展开式,不难发现:

实部: 1 − θ 2 2 ! + θ 4 4 ! − ⋯ = cos ⁡ θ 1 - \frac{\theta^2}{2!} + \frac{\theta^4}{4!} - \cdots = \cos\theta 12!θ2+4!θ4=cosθ

虚部: θ − θ 3 3 ! + θ 5 5 ! − ⋯ = sin ⁡ θ \theta - \frac{\theta^3}{3!} + \frac{\theta^5}{5!} - \cdots = \sin\theta θ3!θ3+5!θ5=sinθ

因此,我们得到欧拉公式的核心形式:

e i θ = cos ⁡ θ + i sin ⁡ θ e^{i\theta} = \cos\theta + i\sin\theta eiθ=cosθ+isinθ

这就是欧拉公式,它将指数函数与三角函数直接关联,当 θ = π \theta = \pi θ=π时,可得到欧拉恒等式: e i π + 1 = 0 e^{i\pi} + 1 = 0 e+1=0,该恒等式将 e e e(分析)、 π \pi π(几何)、 i i i(代数)、0和1(算术)五个核心数学常数统一在一个等式中,被称为“数学最美公式”。

2.3 欧拉公式的延伸:复数的极坐标形式

欧拉公式的另一个重要价值,是将复数的代数形式 z = a + b i z = a + bi z=a+bi转化为极坐标形式。对于任意复数 z = a + b i z = a + bi z=a+bi,可令 a = r cos ⁡ θ a = r\cos\theta a=rcosθ b = r sin ⁡ θ b = r\sin\theta b=rsinθ(其中 r = a 2 + b 2 r = \sqrt{a^2 + b^2} r=a2+b2 为复数的模, θ \theta θ为复数的辐角),代入欧拉公式可得:

z = r ( cos ⁡ θ + i sin ⁡ θ ) = r e i θ z = r(\cos\theta + i\sin\theta) = re^{i\theta} z=r(cosθ+isinθ)=reiθ

这种极坐标形式极大地简化了复数的乘法、幂运算,也为后续傅里叶变换中复数形式的推导奠定了基础。欧拉公式虽由欧拉命名,但实际上由英国数学家罗杰·科茨于1714年首次证明,欧拉后来对其进行了完善和推广。

三、傅里叶变换:从时域到频域的“转换工具”

傅里叶变换的核心思想是:任何满足一定条件的函数(时域函数),都可以分解为一系列不同频率的正弦、余弦函数(频域函数)的叠加。这一思想打破了传统的时域分析模式,为信号处理、图像处理、量子力学等领域提供了全新的分析视角。傅里叶变换的推导,依赖于傅里叶级数的极限推广,而欧拉公式则将傅里叶级数的三角函数形式转化为更简洁的复数形式,简化了推导过程。

3.1 铺垫:傅里叶级数

在推导傅里叶变换之前,先回顾傅里叶级数的核心内容。对于周期为 T T T的周期函数 f T ( t ) f_T(t) fT(t),若满足狄利克雷条件(在一个周期内连续或只有有限个第一类间断点,且只有有限个极值点),则该函数可以展开为傅里叶级数的三角函数形式:

f T ( t ) = a 0 2 + ∑ n = 1 ∞ ( a n cos ⁡ ( n ω 0 t ) + b n sin ⁡ ( n ω 0 t ) ) f_T(t) = \frac{a_0}{2} + \sum_{n=1}^{\infty} \left(a_n\cos(n\omega_0 t) + b_n\sin(n\omega_0 t)\right) fT(t)=2a0+n=1(ancos(nω0t)+bnsin(nω0t))

其中, ω 0 = 2 π T \omega_0 = \frac{2\pi}{T} ω0=T2π为基波角频率, a 0 , a n , b n a_0, a_n, b_n a0,an,bn为傅里叶系数,计算公式为:

a 0 = 2 T ∫ − T 2 T 2 f T ( t ) d t a_0 = \frac{2}{T}\int_{-\frac{T}{2}}^{\frac{T}{2}} f_T(t)dt a0=T22T2TfT(t)dt

a n = 2 T ∫ − T 2 T 2 f T ( t ) cos ⁡ ( n ω 0 t ) d t ( n = 1 , 2 , 3 , ⋯   ) a_n = \frac{2}{T}\int_{-\frac{T}{2}}^{\frac{T}{2}} f_T(t)\cos(n\omega_0 t)dt \quad (n=1,2,3,\cdots) an=T22T2TfT(t)cos(nω0t)dt(n=1,2,3,)

b n = 2 T ∫ − T 2 T 2 f T ( t ) sin ⁡ ( n ω 0 t ) d t ( n = 1 , 2 , 3 , ⋯   ) b_n = \frac{2}{T}\int_{-\frac{T}{2}}^{\frac{T}{2}} f_T(t)\sin(n\omega_0 t)dt \quad (n=1,2,3,\cdots) bn=T22T2TfT(t)sin(nω0t)dt(n=1,2,3,)

傅里叶级数的本质是“周期函数的频率分解”,但它仅适用于周期函数。而傅里叶变换则是将这种分解推广到非周期函数,核心思路是:将非周期函数视为“周期 T → ∞ T \to \infty T的周期函数”,对傅里叶级数取极限,即可得到傅里叶变换。

3.2 用欧拉公式简化傅里叶级数(复数形式)

利用欧拉公式,可将傅里叶级数的三角函数形式转化为更简洁的复数形式,便于后续极限推广。由欧拉公式可知:

cos ⁡ ( n ω 0 t ) = e i n ω 0 t + e − i n ω 0 t 2 \cos(n\omega_0 t) = \frac{e^{in\omega_0 t} + e^{-in\omega_0 t}}{2} cos(nω0t)=2einω0t+einω0t

sin ⁡ ( n ω 0 t ) = e i n ω 0 t − e − i n ω 0 t 2 i \sin(n\omega_0 t) = \frac{e^{in\omega_0 t} - e^{-in\omega_0 t}}{2i} sin(nω0t)=2ieinω0teinω0t

将其代入傅里叶级数的三角函数形式,整理后可得傅里叶级数的复数形式:

f T ( t ) = ∑ n = − ∞ ∞ c n e i n ω 0 t f_T(t) = \sum_{n=-\infty}^{\infty} c_n e^{in\omega_0 t} fT(t)=n=cneinω0t

其中, c n c_n cn为复数形式的傅里叶系数,计算公式为:

c n = 1 T ∫ − T 2 T 2 f T ( t ) e − i n ω 0 t d t ( n = 0 , ± 1 , ± 2 , ⋯   ) c_n = \frac{1}{T}\int_{-\frac{T}{2}}^{\frac{T}{2}} f_T(t) e^{-in\omega_0 t}dt \quad (n=0, \pm1, \pm2, \cdots) cn=T12T2TfT(t)einω0tdt(n=0,±1,±2,)

复数形式的傅里叶级数更加简洁,且统一了傅里叶系数的表达式,为傅里叶变换的推导提供了极大便利。这里的 c n c_n cn本质上反映了周期函数 f T ( t ) f_T(t) fT(t)在频率 n ω 0 n\omega_0 nω0处的“频率分量强度”,即频域信息。

3.3 傅里叶变换的推导

对于非周期函数 f ( t ) f(t) f(t),我们可以将其视为周期 T → ∞ T \to \infty T的周期函数 f T ( t ) f_T(t) fT(t)的极限(即 f ( t ) = lim ⁡ T → ∞ f T ( t ) f(t) = \lim_{T \to \infty} f_T(t) f(t)=limTfT(t))。当 T → ∞ T \to \infty T时,基波角频率 ω 0 = 2 π T → 0 \omega_0 = \frac{2\pi}{T} \to 0 ω0=T2π0,此时离散的频率 n ω 0 n\omega_0 nω0会变为连续的频率 ω \omega ω,即 ω = n ω 0 \omega = n\omega_0 ω=nω0,对应的频率间隔 Δ ω = ω 0 = 2 π T \Delta\omega = \omega_0 = \frac{2\pi}{T} Δω=ω0=T2π,因此 1 T = Δ ω 2 π \frac{1}{T} = \frac{\Delta\omega}{2\pi} T1=2πΔω

首先,对复数形式的傅里叶系数 c n c_n cn进行变形,将 1 T = Δ ω 2 π \frac{1}{T} = \frac{\Delta\omega}{2\pi} T1=2πΔω ω = n ω 0 \omega = n\omega_0 ω=nω0代入,可得:

c n = Δ ω 2 π ∫ − T 2 T 2 f T ( t ) e − i ω t d t c_n = \frac{\Delta\omega}{2\pi} \int_{-\frac{T}{2}}^{\frac{T}{2}} f_T(t) e^{-i\omega t}dt cn=2πΔω2T2TfT(t)etdt

T → ∞ T \to \infty T时, f T ( t ) → f ( t ) f_T(t) \to f(t) fT(t)f(t),积分区间 [ − T 2 , T 2 ] → ( − ∞ , + ∞ ) [-\frac{T}{2}, \frac{T}{2}] \to (-\infty, +\infty) [2T,2T](,+),此时 c n ⋅ 2 π → ∫ − ∞ + ∞ f ( t ) e − i ω t d t c_n \cdot 2\pi \to \int_{-\infty}^{+\infty} f(t) e^{-i\omega t}dt cn2π+f(t)etdt。我们定义这个极限为傅里叶变换 F ( ω ) F(\omega) F(ω),即:

F ( ω ) = ∫ − ∞ + ∞ f ( t ) e − i ω t d t F(\omega) = \int_{-\infty}^{+\infty} f(t) e^{-i\omega t}dt F(ω)=+f(t)etdt

这就是连续时间傅里叶变换(CFT)的核心公式,其中 f ( t ) f(t) f(t)称为时域函数, F ( ω ) F(\omega) F(ω)称为频域函数(傅里叶变换结果),它反映了时域函数 f ( t ) f(t) f(t)在不同频率 ω \omega ω处的分量强度。

对应的傅里叶逆变换(将频域函数还原为时域函数)为:

f ( t ) = 1 2 π ∫ − ∞ + ∞ F ( ω ) e i ω t d ω f(t) = \frac{1}{2\pi} \int_{-\infty}^{+\infty} F(\omega) e^{i\omega t}d\omega f(t)=2π1+F(ω)etdω

至此,我们基于泰勒公式推导得出欧拉公式,再通过欧拉公式简化傅里叶级数,最终推导出傅里叶变换,完成了从局部逼近到全局频率分解的完整逻辑链条。傅里叶变换是傅里叶级数的极限形式,既适用于周期函数,也适用于非周期函数,是连接时域与频域的核心工具。

四、三者的内在联结与应用价值

泰勒公式、欧拉公式与傅里叶变换并非孤立存在,而是有着深刻的内在联结:泰勒公式是基础,通过多项式逼近为复杂函数的展开提供工具;欧拉公式借助泰勒级数,实现了指数函数与三角函数的统一,为傅里叶级数的复数化提供了可能;傅里叶变换则基于前两者,完成了函数从时域到频域的转换,将“局部逼近”升级为“全局分解”。

在实际应用中,三者的价值无处不在:泰勒公式用于近似计算、求极限、非线性问题线性化,在工业机器人误差分析、物理轨迹逼近等领域发挥作用;欧拉公式广泛应用于复数运算、电路分析、量子力学等领域,是解决复数问题的核心工具;傅里叶变换则是信号处理的灵魂,无论是音频降噪、图像压缩,还是雷达探测、地震分析,都离不开傅里叶变换的频率分解能力。

从泰勒公式的局部逼近,到欧拉公式的跨界联结,再到傅里叶变换的全局分析,我们可以看到数学的连贯性与统一性——看似不同的数学分支,实则相互关联、相互支撑,共同构成了解决复杂问题的工具体系。这也正是数学的魅力所在:用简洁的公式,揭示世界的复杂规律,为人类的科技进步提供不竭的动力。

Logo

openEuler 是由开放原子开源基金会孵化的全场景开源操作系统项目,面向数字基础设施四大核心场景(服务器、云计算、边缘计算、嵌入式),全面支持 ARM、x86、RISC-V、loongArch、PowerPC、SW-64 等多样性计算架构

更多推荐