跳到内容
返回探索
应用数学 / 英语

【生活记录】狄利克雷积分+sinc²积分 by 傅里叶变换+复变围道积分 p01 p1:狄利克雷积分 by 傅里叶变换

海浪晶灵aa · 哔哩哔哩 · 5:10

打开原视频
阅读与收藏

把讲解展开来看。

被收藏 0

已审核学习内容 · 视频分析 · 中文
阅读完整概览

视频介绍了狄利克雷积分及其平方形式的值均为 π/2π/2,并提出了使用傅里叶变换和复变围道积分两种方法进行求解。随后,视频详细展示了傅里叶方法的初始步骤:引入一个在 [-1, 1] 上为 1 的矩形脉冲函数,并将其代入傅里叶变换定义式中,将无穷积分化简为有限区间上的积分。 本片段展示了如何利用傅里叶变换和逆变换来计算狄利克雷积分。首先,讲师在白板上定义了矩形脉冲函数,并利用欧拉公式和奇偶函数的积分性质,逐步推导出了该函数的傅里叶变换结果为 2sin⁡ωω2\frac{\sin \omega}{\omega}。随后,讲师引入了傅里叶逆变换的定义,并指出将通过令 t=0t=0 的方式,把求得的傅里叶变换代回逆变换公式,从而建立起与狄利克雷积分的联系,为后续的求解做好了铺垫。 本片段在白板上用矩形脉冲 f(t)=1f(t)=1(|t|≤1), 0(other) 演示如何用傅里叶变换求狄利克雷积分。先由定义算出 F(ω)=2sin⁡ω/ωF(ω)=2 \sin ω/ω,再在逆变换 f(t)=1/(2π)∫F(ω)eiωtdωf(t)=1/(2π)\int F(ω)e^{iωt}dω 中代入 t=0t=0,得到 1=(1/(2π))∫−∞∞2sin⁡ω/ωdω1=(1/(2π))\int _{-\infty }^{\infty }2 \sin ω/ω dω。化简后写出 ∫−∞∞sin⁡ω/ωdω=π\int _{-\infty }^{\infty } \sin ω/ω dω=π,最后利用 sin⁡ω/ω\sin ω/ω 的偶性得到 ∫0∞sin⁡ω/ωdω=π/2\int _0^\infty \sin ω/ω dω=π/2,与板顶目标一致。

在学习检查器中查看要点和时刻,或切换阅读标签查看完整笔记。

章节

0:07狄利克雷积分的陈述0:25两种求解方法概述0:39引入矩形脉冲函数1:33傅里叶变换的初步计算2:00矩形脉冲函数的傅里叶变换推导3:25引入傅里叶逆变换求解狄利克雷积分4:00矩形脉冲及其傅里叶变换4:25在逆变换中代入 t=0t=04:38化简得到全轴 sinc 积分4:52由偶性得到半轴积分 π/2π/2

学习解说文稿

依据视频画面与讲解整理,并非逐字语音转写。

视频开篇直接给出了本次讲解的核心目标:计算狄利克雷积分 ∫0∞sin⁡xxdx\int_{0}^{\infty} \frac{\sin x}{x} dx。讲师同时在白板上写出其平方形式 ∫0∞(sin⁡xx)2dx\int_{0}^{\infty} (\frac{\sin x}{x})^2 dx,并明确指出这两个反常积分的结果是相同的,均等于 π2\frac{\pi}{2}。

为了求解上述积分,讲师在白板上列出了两种不同的数学工具:第一种是“Fourier”(傅里叶变换),第二种是“复变”(复变函数中的围道积分)。这表明该问题可以通过频域分析或复平面上的 contour integration 来解决。

进入傅里叶方法的准备阶段,讲师首先画出了一个矩形脉冲的图像,横轴范围从 -1 到 1,高度为 1。接着,他用严格的数学语言写出了这个函数 f(t)f(t) 的分段定义:当 ∣t∣≤1|t| \le 1 时,f(t)=1f(t) = 1;在其他情况下,f(t)=0f(t) = 0。这个函数将作为后续傅里叶变换的输入。

在简要提及复变方法时,讲师在白板右侧快速画出了一个典型的“挖孔”围道草图,包含上半平面的大半圆和绕开原点的小半圆。这直观地展示了处理带有原点奇点的实轴积分时常用的复平面路径,但随后讲师将其擦除,决定先专注讲解傅里叶方法。

讲师正式开始傅里叶变换的计算。他在白板上写下傅里叶变换的标准定义式 F(ω)=∫−∞∞f(t)e−iωtdtF(\omega) = \int_{-\infty}^{\infty} f(t) e^{-i\omega t} dt。随后,利用前面定义的 f(t)f(t) 仅在 [−1,1][-1, 1] 上非零且值为 1 的性质,他将积分区间从无穷大收缩到了有限区间,得到 ∫−11e−iωtdt\int_{-1}^{1} e^{-i\omega t} dt,完成了第一步的化简。

视频开始,白板上已经写好了狄利克雷积分的目标式、傅里叶变换的定义以及一个矩形脉冲函数 f(t)f(t) 的分段表达式和图像。讲师指出,由于 f(t)f(t) 在 |t|<=1 时值为 1,因此傅里叶变换的积分区间可以简化为 [-1, 1]。

为了方便后续计算,讲师没有直接对复指数函数进行积分,而是选择利用欧拉公式 e−iωt=cos⁡ωt−isin⁡ωte^{-i\omega t} = \cos \omega t - i \sin \omega t 将被积函数展开为三角函数的形式。

展开后,讲师分析了被积函数的奇偶性。在对称区间 [-1, 1] 上,sin⁡ωt\sin \omega t 是奇函数,其积分为 0;而 cos⁡ωt\cos \omega t 是偶函数。因此,整个积分可以化简为偶函数部分积分的两倍,即 2∫01cos⁡ωtdt2 \int_{0}^{1} \cos \omega t dt。

接下来,讲师对化简后的定积分进行计算。cos⁡ωt\cos \omega t 的原函数是 sin⁡ωtω\frac{\sin \omega t}{\omega}。代入积分上下限 0 和 1,得到最终结果为 2sin⁡ωω2 \frac{\sin \omega}{\omega}。这就是矩形脉冲函数的傅里叶变换。

求得傅里叶变换后,讲师引入了傅里叶逆变换的公式:f(t)=12π∫−∞∞F(ω)eiωtdωf(t) = \frac{1}{2\pi} \int_{-\infty}^{\infty} F(\omega) e^{i\omega t} d\omega。他解释说,如果直接计算这个积分会很困难,因此需要巧妙地选取一个特定的 t 值来简化问题。

讲师选择在等式两边同时令 t=0t=0。此时,原函数 f(0)=1f(0)=1,且指数项 eiω⋅0=1e^{i\omega \cdot 0} = 1。这样,逆变换公式就变成了 1=12π∫−∞∞F(ω)dω1 = \frac{1}{2\pi} \int_{-\infty}^{\infty} F(\omega) d\omega,为下一步代入已求得的 F(ω)F(\omega) 并计算狄利克雷积分做好了准备。

这一段从白板上已经写好的矩形脉冲出发:f(t)=1f(t)=1 当 |t|≤1,其他位置为 0。对应的傅里叶变换定义为 F(ω)=∫−∞∞f(t)e−iωtdtF(ω)=\int _{-\infty }^{\infty } f(t)e^{-iωt}dt。由于 f(t)f(t) 只在 [-1,1] 上非零,积分限立刻收缩为 ∫−11e−iωtdt\int _{-1}^{1} e^{-iωt}dt。

接着把复指数展开,正弦部分是奇函数,在对称区间 [-1,1] 上积分为 0;余弦部分是偶函数,于是剩下 2∫01cos⁡ωtdt2\int _0^1 \cos ωt dt。对 t 积分得到 2[sin⁡ωt/ω]012[\sin ωt/ω]_0^1,最终写出 F(ω)=2sin⁡ω/ωF(ω)=2 \sin ω/ω。

然后转入逆变换公式 f(t)=1/(2π)∫−∞∞F(ω)eiωtdωf(t)=1/(2π)\int _{-\infty }^{\infty } F(ω)e^{iωt}dω。讲解者特意取 t=0t=0,因为此时矩形脉冲满足 f(0)=1f(0)=1,而指数因子 eiω⋅0=1e^{iω\cdot 0}=1,所以等式变成 1=1/(2π)∫−∞∞F(ω)dω1=1/(2π)\int _{-\infty }^{\infty } F(ω)dω。

再把前面求得的 F(ω)=2sin⁡ω/ωF(ω)=2 \sin ω/ω 代入,得到 1=1/(2π)∫−∞∞2sin⁡ω/ωdω1=1/(2π)\int _{-\infty }^{\infty } 2 \sin ω/ω dω。分子里的 2 与分母 2π 中的 2 相消,式子化为 1=1/π∫−∞∞sin⁡ω/ωdω1=1/π\int _{-\infty }^{\infty } \sin ω/ω dω,两边同乘 π,就得到全轴积分 ∫−∞∞sin⁡ω/ωdω=π\int _{-\infty }^{\infty } \sin ω/ω dω=π。

最后一步利用 sin⁡ω/ω\sin ω/ω 的偶性:sin⁡(−ω)/(−ω)=sin⁡ω/ω\sin (-ω)/(-ω)=\sin ω/ω,所以全轴积分等于半轴积分的两倍。于是由 π=∫−∞∞sin⁡ω/ωdωπ=\int _{-\infty }^{\infty } \sin ω/ω dω 推出 ∫0∞sin⁡ω/ωdω=π/2\int _0^\infty \sin ω/ω dω=π/2。这与白板顶部预先写出的目标 ∫0∞\int _0^\infty sinx/x dx=π/2dx=π/2 完全一致,本片段的第一部分推导到此结束。

知识卡片

01

狄利克雷积分的值

视频指出,反常积分 ∫0∞sin⁡xxdx\int_{0}^{\infty} \frac{\sin x}{x} dx 与其平方形式 ∫0∞(sin⁡xx)2dx\int_{0}^{\infty} (\frac{\sin x}{x})^2 dx 的计算结果相同,都等于 π2\frac{\pi}{2}。

∫0∞sin⁡xxdx=∫0∞(sin⁡xx)2dx=π2\int_{0}^{\infty} \frac{\sin x}{x} dx = \int_{0}^{\infty} \left(\frac{\sin x}{x}\right)^2 dx = \frac{\pi}{2}
02

求解方法的分类

针对狄利克雷积分,视频提出了两种主流的求解策略:一是利用傅里叶变换(Fourier transform),二是利用复变函数理论中的围道积分(contour integration)。

03

矩形脉冲函数 f(t)f(t)

为了实施傅里叶方法,视频定义了一个基础的窗函数(或称矩形脉冲函数)f(t)f(t)。该函数在区间 [−1,1][-1, 1] 内取值为 1,在区间外取值为 0。

f(t)={1(∣t∣≤1)0(other)f(t) = \begin{cases} 1 & (|t| \le 1) \\ 0 & (\text{other}) \end{cases}
04

傅里叶变换的区间化简

根据傅里叶变换的定义 F(ω)=∫−∞∞f(t)e−iωtdtF(\omega) = \int_{-\infty}^{\infty} f(t) e^{-i\omega t} dt,结合 f(t)f(t) 仅在 [−1,1][-1, 1] 上非零的特性,可以将无穷积分化简为有限区间上的积分 ∫−11e−iωtdt\int_{-1}^{1} e^{-i\omega t} dt。

F(ω)=∫−∞∞f(t)e−iωtdt=∫−11e−iωtdtF(\omega) = \int_{-\infty}^{\infty} f(t) e^{-i\omega t} dt = \int_{-1}^{1} e^{-i\omega t} dt
05

矩形脉冲函数的傅里叶变换

对于定义为 f(t)=1f(t) = 1 (|t| <= 1), 0 (other) 的矩形脉冲函数,其傅里叶变换可以通过以下步骤求得: 1. 根据定义写出积分式:F(ω)=∫−∞∞f(t)e−iωtdtF(\omega) = \int_{-\infty}^{\infty} f(t) e^{-i\omega t} dt。 2. 利用 f(t)f(t) 的非零区间,将积分限缩小为 [-1, 1]。 3. 使用欧拉公式展开复指数项:e−iωt=cos⁡ωt−isin⁡ωte^{-i\omega t} = \cos \omega t - i \sin \omega t。 4. 根据奇偶函数在对称区间的积分性质,奇函数项积分为0,偶函数项积分加倍,化简为 2∫01cos⁡ωtdt2 \int_{0}^{1} \cos \omega t dt。 5. 计算定积分得到最终结果:F(ω)=2sin⁡ωωF(\omega) = 2 \frac{\sin \omega}{\omega}。

F(ω)=2sin⁡ωωF(\omega) = 2 \frac{\sin \omega}{\omega}
06

利用傅里叶逆变换求解狄利克雷积分的思路

在求得矩形脉冲函数的傅里叶变换 F(ω)=2sin⁡ωωF(\omega) = 2 \frac{\sin \omega}{\omega} 后,可以利用傅里叶逆变换公式 f(t)=12π∫−∞∞F(ω)eiωtdωf(t) = \frac{1}{2\pi} \int_{-\infty}^{\infty} F(\omega) e^{i\omega t} d\omega 来建立与狄利克雷积分的联系。关键技巧是令 t=0t=0,此时 f(0)=1f(0)=1 且 eiωt=1e^{i\omega t}=1,公式简化为 1=12π∫−∞∞F(ω)dω1 = \frac{1}{2\pi} \int_{-\infty}^{\infty} F(\omega) d\omega。将 F(ω)F(\omega) 代入即可得到关于 sin⁡ωω\frac{\sin \omega}{\omega} 的积分等式。

1=12π∫−∞∞2sin⁡ωωdω1 = \frac{1}{2\pi} \int_{-\infty}^{\infty} 2 \frac{\sin \omega}{\omega} d\omega
07

傅里叶变换定义

函数 f(t)f(t) 的傅里叶变换定义为 F(ω)=∫−∞∞f(t)e−iωtdtF(\omega) = \int_{-\infty}^{\infty} f(t) e^{-i\omega t} dt。

08

矩形脉冲函数

视频选取的示例函数是 f(t)=1f(t)=1 当 |t|≤1,其他位置为 0。左侧坐标图把它画成高度为 1、底边从 -1 到 1 的矩形,因此后续傅里叶积分的区间可以从全实轴收缩到 [-1,1]。

f(t)={1,∣t∣≤10,otherwisef(t)=\begin{cases}1,&|t|\le 1\\0,&\text{otherwise}\end{cases}
09

矩形脉冲的傅里叶变换

由定义 F(ω)=∫−∞∞f(t)e−iωtdtF(ω)=\int _{-\infty }^{\infty } f(t)e^{-iωt}dt,代入矩形脉冲后得到 ∫−11e−iωtdt\int _{-1}^{1} e^{-iωt}dt。展开为三角函数时,正弦项在对称区间上抵消,余弦项留下两倍半区间积分,最终算出 F(ω)=2sin⁡ω/ωF(ω)=2 \sin ω/ω。

F(ω)=∫−∞∞f(t)e−iωt dt=∫−11e−iωt dt=2∫01cos⁡ωt dt=2sin⁡ωωF(\omega)=\int_{-\infty}^{\infty} f(t)e^{-i\omega t}\,dt=\int_{-1}^{1} e^{-i\omega t}\,dt=2\int_0^1 \cos\omega t\,dt=2\frac{\sin\omega}{\omega}
10

傅里叶逆变换与 t=0t=0 代入

逆变换公式为 f(t)=1/(2π)∫−∞∞F(ω)eiωtdωf(t)=1/(2π)\int _{-\infty }^{\infty } F(ω)e^{iωt}dω。取 t=0t=0 时,左边 f(0)=1f(0)=1,右边指数因子变成 1,于是得到 1=1/(2π)∫−∞∞F(ω)dω1=1/(2π)\int _{-\infty }^{\infty } F(ω)dω,再把 F(ω)=2sin⁡ω/ωF(ω)=2 \sin ω/ω 代入即可建立积分恒等式。

f(t)=12π∫−∞∞F(ω)eiωt dω,f(0)=1=12π∫−∞∞2sin⁡ωω dωf(t)=\frac{1}{2\pi}\int_{-\infty}^{\infty}F(\omega)e^{i\omega t}\,d\omega,\quad f(0)=1=\frac{1}{2\pi}\int_{-\infty}^{\infty}2\frac{\sin\omega}{\omega}\,d\omega
11

全轴 sinc 积分等于 π

从上式消去分子与分母中的 2,得到 1=1/π∫−∞∞sin⁡ω/ωdω1=1/π\int _{-\infty }^{\infty } \sin ω/ω dω,再两边同乘 π,就得到 ∫−∞∞sin⁡ω/ωdω=π\int _{-\infty }^{\infty } \sin ω/ω dω=π。这是本片段中间最关键的积分恒等式。

∫−∞∞sin⁡ωω dω=π\int_{-\infty}^{\infty}\frac{\sin\omega}{\omega}\,d\omega=\pi
12

由偶性得到狄利克雷积分

因为 sin⁡(−ω)/(−ω)=sin⁡ω/ω\sin (-ω)/(-ω)=\sin ω/ω,所以 sin⁡ω/ω\sin ω/ω 是偶函数,全轴积分等于半轴积分的两倍。于是由 ∫−∞∞sin⁡ω/ωdω=π\int _{-\infty }^{\infty } \sin ω/ω dω=π 推出 ∫0∞sin⁡ω/ωdω=π/2\int _0^\infty \sin ω/ω dω=π/2,这正是白板顶部目标中的狄利克雷积分。

∫0∞sin⁡ωω dω=π2\int_0^{\infty}\frac{\sin\omega}{\omega}\,d\omega=\frac{\pi}{2}

详细学习笔记

按知识点查看条件、步骤和证据。补充解释与视频直接内容分别标明。

符号定义 · 12

x

依据清楚
视频直接表达
来源依据
  1. 公式
    观察依据

    白板上写出积分变量 x,出现在 ∫0∞sin⁡xxdx\int_{0}^{\infty} \frac{\sin x}{x} dx 与 ∫0∞(sin⁡xx)2dx\int_{0}^{\infty} (\frac{\sin x}{x})^2 dx 中。

符号

x

含义

积分变量

适用范围

实数

t

依据清楚
视频直接表达
来源依据
  1. 公式
    观察依据

    白板上写出 f(t)f(t),并在分段条件中使用 |t| ≤1\le 1。

符号

t

含义

函数 f 的自变量

适用范围

实数

ω\omega

依据清楚
视频直接表达
来源依据
  1. 公式
    观察依据

    白板上写出 F(ω)=∫−∞∞f(t)e−iωtdtF(\omega) = \int_{-\infty}^{\infty} f(t) e^{-i\omega t} dt。

符号

ω\omega

含义

傅里叶变换的频率变量

适用范围

实数

f(t)f(t)

依据清楚
视频直接表达
来源依据
  1. 公式
    观察依据

    白板上写出分段函数 f(t)=1f(t) = 1 (|t| <= 1), 0 (other)

符号

f(t)f(t)

含义

矩形脉冲函数(门函数),在 |t| <= 1 时值为 1,其余为 0

适用范围

t 是实数

ω\omega

依据清楚
视频直接表达
来源依据
  1. 公式
    观察依据

    傅里叶变换公式中出现变量 ω\omega

符号

ω\omega

含义

角频率变量

适用范围

ω 是实数

F(ω)F(\omega)

依据清楚
视频直接表达
来源依据
  1. 公式
    观察依据

    白板上写出 F(ω)=∫−∞∞f(t)e−iωtdtF(\omega) = \int_{-\infty}^{\infty} f(t) e^{-i\omega t} dt

符号

F(ω)F(\omega)

含义

函数 f(t)f(t) 的傅里叶变换

适用范围

ω 是实数

f(t)f(t)

依据清楚
视频直接表达
来源依据
  1. 公式
    观察依据

    白板上给出 f(t)=1f(t)=1 (|t|≤1), f(t)=0f(t)=0 (other),并配有矩形脉冲图。

符号

f(t)f(t)

含义

关于时间变量 t 的矩形脉冲函数,在 |t|≤1 时取 1,其余取 0。

适用范围

t 是实数

ω\omega

依据清楚
视频直接表达
来源依据
  1. 公式
    观察依据

    傅里叶变换与逆变换公式中均出现 ω。

符号

ω\omega

含义

角频率变量,作为傅里叶变换后的自变量。

适用范围

ω 是实数

F(ω)F(\omega)

依据清楚
视频直接表达
来源依据
  1. 公式
    观察依据

    白板上写有 F(ω)=∫F(ω)=\int _{-}^{∞\infty } f(t)e−iωtdtf(t)e^{-iωt}dt,并在后续代入得到 2sin⁡ω/ω2 \sin ω/ω。

符号

F(ω)F(\omega)

含义

f(t)f(t) 的傅里叶变换。

适用范围

ω 是实数

i

依据清楚
视频直接表达
来源依据
  1. 公式
    观察依据

    指数因子写作 e−iωte^{-iωt} 与 eiωte^{iωt}。

符号

i

含义

虚数单位。

适用范围

i 的平方等于负一

π\pi

依据清楚
视频直接表达
来源依据
  1. 公式
    观察依据

    顶部目标积分与底部结论均出现 π 与 π/2π/2。

符号

π\pi

含义

圆周率常数。

适用范围

实常数

u

依据清楚
视频直接表达
来源依据
  1. 公式
    观察依据

    逆变换公式写为 ∫\int _{-}^{∞\infty } F(ω)eiωtdωF(ω)e^{iωt} dω。

符号

u

含义

白板字迹中用于逆变换积分的微分变量,视觉上接近 ω。

适用范围

积分变量

知识点 · 12

狄利克雷积分及其平方形式

依据清楚
视频直接表达
来源依据
  1. 声音
    观察依据

    讲师说“我们今天讲这个,狄利克雷积分”。

  2. 公式
    观察依据

    白板上写出 ∫0∞sin⁡xxdx=∫0∞(sin⁡xx)2dx=π2\int_{0}^{\infty} \frac{\sin x}{x} dx = \int_{0}^{\infty} (\frac{\sin x}{x})^2 dx = \frac{\pi}{2}。

定义
解释

视频首先给出两个反常积分,并声明它们的结果相同,都等于 π2\frac{\pi}{2}。

公式
∫0∞sin⁡xxdx=∫0∞(sin⁡xx)2dx=π2\int_{0}^{\infty} \frac{\sin x}{x} dx = \int_{0}^{\infty} \left(\frac{\sin x}{x}\right)^2 dx = \frac{\pi}{2}
适用条件
  1. 积分下限为 0,上限为 ∞\infty

  2. 被积函数分别为 sin⁡xx\frac{\sin x}{x} 与 (sin⁡xx\frac{\sin x}{x})^2

两种求解方法的概述

依据清楚
视频直接表达
来源依据
  1. 声音
    观察依据

    讲师说“那我们第一个方法呢,是用傅里叶……然后第二个方法呢,是通过这个复变函数,这个围道积分来解决”。

  2. 公式
    观察依据

    白板上写出“1. Fourier”和“2. 复变”。

方法
解释

视频列出求解该积分的两种方法:第一种使用傅里叶变换,第二种使用复变函数中的围道积分。

先修条目
  1. 狄利克雷积分及其平方形式

矩形脉冲函数 f(t)f(t)

依据清楚
视频直接表达
来源依据
  1. 声音
    观察依据

    讲师说“利用傅里叶的话呢,我们需要用这样一个函数……就是 t 的绝对值小于等于 1 的时候,它为 1,否则在其余的情况下呢,它还是为 0”。

  2. 图示
    观察依据

    白板上画出矩形脉冲图,横轴标有 -1 和 1,纵轴标有 1。

  3. 公式
    观察依据

    白板上写出 f(t)={1(∣t∣≤1)0(other)f(t) = \begin{cases} 1 & (|t| \le 1) \\ 0 & (\text{other}) \end{cases}。

定义
解释

为了使用傅里叶方法,视频引入了一个在区间 [-1, 1] 上取值为 1、其余位置取值为 0 的分段函数。

公式
f(t)={1(∣t∣≤1)0(other)f(t) = \begin{cases} 1 & (|t| \le 1) \\ 0 & (\text{other}) \end{cases}
适用条件
  1. 当 |t| ≤1\le 1 时,f(t)=1f(t) = 1

  2. 当 |t| > 1 时,f(t)=0f(t) = 0

傅里叶变换定义

依据清楚
视频直接表达
来源依据
  1. 公式
    观察依据

    白板上写出傅里叶变换的定义式 F(ω)=∫−∞∞f(t)e−iωtdtF(\omega) = \int_{-\infty}^{\infty} f(t) e^{-i\omega t} dt

定义
解释

函数 f(t)f(t) 的傅里叶变换定义为 F(ω)=∫−∞∞f(t)e−iωtdtF(\omega) = \int_{-\infty}^{\infty} f(t) e^{-i\omega t} dt。

公式
F(ω)=∫−∞∞f(t)e−iωtdtF(\omega) = \int_{-\infty}^{\infty} f(t) e^{-i\omega t} dt
适用条件
  1. 积分收敛

傅里叶逆变换定义

依据清楚
视频直接表达
来源依据
  1. 公式
    观察依据

    白板上写出傅里叶逆变换的定义式 f(t)=12π∫−∞∞F(ω)eiωtdωf(t) = \frac{1}{2\pi} \int_{-\infty}^{\infty} F(\omega) e^{i\omega t} d\omega

定义
解释

函数 F(ω)F(\omega) 的傅里叶逆变换定义为 f(t)=12π∫−∞∞F(ω)eiωtdωf(t) = \frac{1}{2\pi} \int_{-\infty}^{\infty} F(\omega) e^{i\omega t} d\omega。

公式
f(t)=12π∫−∞∞F(ω)eiωtdωf(t) = \frac{1}{2\pi} \int_{-\infty}^{\infty} F(\omega) e^{i\omega t} d\omega
适用条件
  1. 积分收敛

先修条目
  1. 傅里叶变换定义

矩形脉冲函数

依据清楚
视频直接表达
来源依据
  1. 公式
    观察依据

    白板上写出分段函数 f(t)=1f(t) = 1 (|t| <= 1), 0 (other)

  2. 图示
    观察依据

    白板上画出了该函数的图像,为一个矩形脉冲

定义
解释

矩形脉冲函数 f(t)f(t) 定义为:当 |t| <= 1 时,f(t)=1f(t) = 1;当 |t| > 1 时,f(t)=0f(t) = 0。

公式
f(t)={1(∣t∣≤1)0(other)f(t) = \begin{cases} 1 & (|t| \le 1) \\ 0 & (\text{other}) \end{cases}

欧拉公式

依据清楚
视频直接表达
来源依据
  1. 声音
    观察依据

    讲师提到“利用欧拉公式”

  2. 公式
    观察依据

    白板上将 e−iωte^{-i\omega t} 展开为 cos⁡ωt−isin⁡ωt\cos \omega t - i \sin \omega t

公式
解释

欧拉公式建立了复指数函数与三角函数之间的联系:e^{ix} = cos⁡x+isin⁡x\cos x + i \sin x。在此处用于展开 e−iωte^{-i\omega t}。

公式
e−iωt=cos⁡ωt−isin⁡ωte^{-i\omega t} = \cos \omega t - i \sin \omega t

奇偶函数的积分性质

依据清楚
视频直接表达
来源依据
  1. 声音
    观察依据

    讲师提到“因为这个是一个偶函数...这是一个奇函数...奇函数就没了”

  2. 公式
    观察依据

    白板上将积分区间从 [-1, 1] 变为 2 倍的 [0, 1],并去掉了正弦项

方法
解释

在对称区间 [-a, a] 上,奇函数的积分为 0,偶函数的积分为其在 [0, a] 上积分的两倍。

公式
∫−aag(x)dx={0(g(x) is odd)2∫0ag(x)dx(g(x) is 偶数)\int_{-a}^{a} g(x) dx = \begin{cases} 0 & (g(x) \text{ is odd}) \\ 2 \int_{0}^{a} g(x) dx & (g(x) \text{ is \text{偶数}}) \end{cases}
适用条件
  1. 积分区间关于原点对称

傅里叶变换定义

依据清楚
视频直接表达
来源依据
  1. 公式
    观察依据

    白板上写出 F(ω)=∫−∞∞f(t)e−iωtdtF(ω)=\int _{-\infty }^{\infty } f(t)e^{-iωt}dt。

定义
解释

视频把矩形脉冲 f(t)f(t) 的傅里叶变换定义为对全实轴积分 ∫−∞∞f(t)e−iωtdt\int _{-\infty }^{\infty } f(t)e^{-iωt}dt。

公式
F(ω)=∫−∞∞f(t)e−iωt dtF(\omega)=\int_{-\infty}^{\infty} f(t)e^{-i\omega t}\,dt
适用条件
  1. f(t)f(t) 为白板所给的矩形脉冲函数

  2. 积分变量为 t

  3. 结果为关于 ω 的函数

傅里叶逆变换公式

依据清楚
视频直接表达
来源依据
  1. 公式
    观察依据

    白板上写出 f(t)=1/(2π)∫−∞∞F(ω)eiωtf(t)=1/(2π)\int _{-\infty }^{\infty } F(ω)e^{iωt}du。

待核验内容
  1. 微分变量书写为 du,但结合上下文应为 dω。

公式
解释

视频使用逆变换公式把 f(t)f(t) 表示为 F(ω)F(ω) 乘以 eiωte^{iωt} 后再除以 2π 的积分。

公式
f(t)=12π∫−∞∞F(ω)eiωt dωf(t)=\frac{1}{2\pi}\int_{-\infty}^{\infty} F(\omega)e^{i\omega t}\,d\omega
适用条件
  1. F(ω)F(ω) 为 f(t)f(t) 的傅里叶变换

  2. t 为实变量

先修条目
  1. 傅里叶变换定义

矩形脉冲函数

依据清楚
视频直接表达
来源依据
  1. 公式
    观察依据

    白板上写有 f(t)=1f(t)=1 (|t|≤1), f(t)=0f(t)=0 (other)。

  2. 图示
    观察依据

    左侧画出高度为 1、底边从 -1 到 1 的矩形。

定义
解释

视频选取的示例函数是在区间 [-1,1] 上恒为 1、在区间外恒为 0 的矩形脉冲。

公式
f(t)={1,∣t∣≤10,otherwisef(t)=\begin{cases}1,&|t|\le 1\\0,&\text{otherwise}\end{cases}
适用条件
  1. 定义在全实轴上

狄利克雷积分目标

依据清楚
视频直接表达
来源依据
  1. 公式
    观察依据

    白板顶部写有 ∫0∞\int _0^\infty sinx/x dx=∫0∞dx = \int _0^\infty (sinx/x)^2dx=π/22 dx = π/2。

公式
解释

视频开头已给出目标等式,本片段通过傅里叶变换推导其中的 ∫0∞\int _0^\infty sinx/x dx=π/2dx = π/2。

公式
∫0∞sin⁡xx dx=π2\int_0^{\infty}\frac{\sin x}{x}\,dx=\frac{\pi}{2}
适用条件
  1. 被积函数在 x=0x=0 处按极限理解

定理与条件 · 2

全轴 sinc 积分等于 π

依据清楚
视频直接表达
来源依据
  1. 公式
    观察依据

    白板上写出 ∴ π=∫−∞∞sin⁡ω/ωdωπ=\int _{-\infty }^{\infty } \sin ω/ω dω。

  2. 声音
    观察依据

    讲解者说“这个积分就等于π”。

命题
命题

从负无穷到正无穷对 ω 分之正弦 ω 关于 ω 的积分等于 π。

前提
  1. 沿用前面由矩形脉冲得到的 F(ω)=2sin⁡ω/ωF(ω)=2 \sin ω/ω

  2. 在 t=0t=0 处代入逆变换公式

量词

对所有实 ω 的广义积分

半轴 sinc 积分等于 π/2π/2

依据清楚
视频直接表达
来源依据
  1. 公式
    观察依据

    白板上写出 ∴ π/2=∫0∞sin⁡ω/ωdωπ/2=\int _0^\infty \sin ω/ω dω。

  2. 声音
    观察依据

    讲解者说“因为奇函数其实是一个偶函数”,随后给出最后结果是二分之π。

待核验内容
  1. 音频中“奇函数其实是一个偶函数”表述含混,但画面结论明确使用了 sin⁡ω/ω\sin ω/ω 的偶性。

命题
命题

从零到正无穷对 ω 分之正弦 ω 关于 ω 的积分等于 π 的二分之一。

前提
  1. 从负无穷到正无穷对 ω 分之正弦 ω 关于 ω 的积分等于 π

  2. sin⁡ω/ω\sin ω/ω 为偶函数

量词

对 ω≥0ω\ge 0 的广义积分

推导与证明 · 7

计算 f(t)f(t) 的傅里叶变换

依据清楚
视频直接表达
来源依据
  1. 声音
    观察依据

    讲师说“那如果是傅里叶的话呢,我们先看这个函数的傅里叶变换……它是负一到一之间才有一的嘛,所以我们呢,其实就是负一到一”。

  2. 公式
    观察依据

    白板上写出 F(ω)=∫−∞∞f(t)e−iωtdt=∫−11e−iωtdtF(\omega) = \int_{-\infty}^{\infty} f(t) e^{-i\omega t} dt = \int_{-1}^{1} e^{-i\omega t} dt。

严格证明
步骤
  1. 公式
    F(ω)=∫−∞∞f(t)e−iωtdtF(\omega) = \int_{-\infty}^{\infty} f(t) e^{-i\omega t} dt
    解释

    写出傅里叶变换的定义式。

    步骤依据

    傅里叶变换定义

    视频直接表达
  2. 公式
    =∫−11e−iωtdt= \int_{-1}^{1} e^{-i\omega t} dt
    解释

    由于 f(t)f(t) 仅在 [-1, 1] 上非零且值为 1,将积分区间缩小并代入 f(t)=1f(t)=1。

    步骤依据

    f(t)f(t) 的分段定义

    视频直接表达
结论

将无穷区间上的傅里叶变换积分化简为有限区间 [-1, 1] 上的积分。

矩形脉冲函数的傅里叶变换推导

依据清楚
视频直接表达
来源依据
  1. 公式
    观察依据

    白板上逐步写出了傅里叶变换的计算过程

严格证明
步骤
  1. 公式
    F(ω)=∫−∞∞f(t)e−iωtdtF(\omega) = \int_{-\infty}^{\infty} f(t) e^{-i\omega t} dt
    解释

    根据傅里叶变换的定义写出积分式。

    步骤依据

    傅里叶变换定义

    视频直接表达
  2. 公式
    =∫−11e−iωtdt= \int_{-1}^{1} e^{-i\omega t} dt
    解释

    代入矩形脉冲函数 f(t)f(t) 的具体形式,积分区间缩小为 [-1, 1]。

    步骤依据

    矩形脉冲函数定义

    视频直接表达
  3. 公式
    =∫−11(cos⁡ωt−isin⁡ωt)dt= \int_{-1}^{1} (\cos \omega t - i \sin \omega t) dt
    解释

    利用欧拉公式将复指数函数展开为三角函数。

    步骤依据

    欧拉公式

    视频直接表达
  4. 公式
    =2∫01cos⁡ωtdt= 2 \int_{0}^{1} \cos \omega t dt
    解释

    由于 cos⁡ωt\cos \omega t 是偶函数,sin⁡ωt\sin \omega t 是奇函数,在对称区间 [-1, 1] 上,奇函数积分为 0,偶函数积分为其在 [0, 1] 上积分的两倍。

    步骤依据

    奇偶函数的积分性质

    视频直接表达
  5. 公式
    =2[sin⁡ωtω]01= 2 \left[ \frac{\sin \omega t}{\omega} \right]_{0}^{1}
    解释

    计算定积分,求出原函数。

    步骤依据

    微积分基本定理

    视频直接表达
  6. 公式
    =2sin⁡ωω= 2 \frac{\sin \omega}{\omega}
    解释

    代入积分上下限,得到最终结果。

    步骤依据

    代数运算

    视频直接表达
结论

矩形脉冲函数 f(t)f(t) 的傅里叶变换为 F(ω)=2sin⁡ωωF(\omega) = 2 \frac{\sin \omega}{\omega}。

狄利克雷积分的推导准备

依据清楚
视频直接表达
来源依据
  1. 公式
    观察依据

    白板上写出了傅里叶逆变换公式,并准备代入 t=0t=0

严格证明
步骤
  1. 公式
    f(t)=12π∫−∞∞F(ω)eiωtdωf(t) = \frac{1}{2\pi} \int_{-\infty}^{\infty} F(\omega) e^{i\omega t} d\omega
    解释

    根据傅里叶逆变换的定义写出积分式。

    步骤依据

    傅里叶逆变换定义

    视频直接表达
  2. 公式
    t=0⇒f(0)=12π∫−∞∞F(ω)dωt = 0 \Rightarrow f(0) = \frac{1}{2\pi} \int_{-\infty}^{\infty} F(\omega) d\omega
    解释

    令 t=0t=0,此时 eiωt=1e^{i\omega t} = 1,且 f(0)=1f(0) = 1。

    步骤依据

    代入特定值

    视频直接表达
结论

通过傅里叶逆变换在 t=0t=0 处的值,可以将矩形脉冲函数的傅里叶变换与狄利克雷积分联系起来。

矩形脉冲的傅里叶变换推导

依据清楚
视频直接表达
来源依据
  1. 公式
    观察依据

    白板上依次写出 F(ω)=∫−∞∞f(t)e−iωtdt=∫−11e−iωtdt=∫−11(cos⁡ωt+isin⁡ωt)dt=2∫01cos⁡ωtdt=2[sin⁡ωt/ω]01=2sin⁡ω/ωF(ω)=\int _{-\infty }^{\infty } f(t)e^{-iωt}dt = \int _{-1}^{1} e^{-iωt}dt = \int _{-1}^{1}(\cos ωt+i \sin ωt)dt = 2\int _0^1 \cos ωt dt = 2[\sin ωt/ω]_0^1 = 2 \sin ω/ω。

  2. 声音
    观察依据

    讲解者同步说明把 f(t)f(t) 代入并把积分限缩到 -1 到 1。

严格证明
步骤
  1. 公式
    F(ω)=∫−∞∞f(t)e−iωt dtF(\omega)=\int_{-\infty}^{\infty} f(t)e^{-i\omega t}\,dt
    解释

    从傅里叶变换定义出发。

    步骤依据

    使用白板上给出的定义式。

    视频直接表达
  2. 公式
    =∫−11e−iωt dt=\int_{-1}^{1} e^{-i\omega t}\,dt
    解释

    由于 f(t)f(t) 仅在 |t|≤1 时为 1,其余为 0,所以积分区间收缩到 [-1,1]。

    步骤依据

    使用矩形脉冲定义。

    视频直接表达
  3. 公式
    =∫−11(cos⁡ωt+isin⁡ωt) dt=\int_{-1}^{1}(\cos\omega t+i\sin\omega t)\,dt
    解释

    把复指数展开为余弦加 i 倍正弦。

    步骤依据

    欧拉公式 e−iωt=cos⁡ωt−isin⁡ωte^{-iωt}=\cos ωt - i \sin ωt;白板书写为 cos⁡ωt+isin⁡ωt\cos ωt+i \sin ωt,后续只保留余弦项贡献。

    视频直接表达
  4. 公式
    =2∫01cos⁡ωt dt=2\int_{0}^{1}\cos\omega t\,dt
    解释

    正弦项在对称区间上积分为 0,余弦项为偶函数,因此化为 2 倍半区间积分。

    步骤依据

    利用 cos 为偶函数、sin 为奇函数以及对称区间积分性质。

    视频直接表达
  5. 公式
    =2[sin⁡ωtω]01=2sin⁡ωω=2\left[\frac{\sin\omega t}{\omega}\right]_{0}^{1}=2\frac{\sin\omega}{\omega}
    解释

    对 cosωt 关于 t 积分得到 sin⁡ωt/ω\sin ωt/ω,再代入上下限。

    步骤依据

    基本积分公式与端点代入。

    视频直接表达
结论

F 括号 ω 等于二倍的 ω 分之正弦 ω。

在 t=0t=0 代入逆变换求积分

依据清楚
视频直接表达
来源依据
  1. 公式
    观察依据

    白板上写出 f(0)=1=1/(2π)∫−∞∞2sin⁡ω/ωdωf(0)=1=1/(2π)\int _{-\infty }^{\infty } 2 \sin ω/ω dω。

  2. 声音
    观察依据

    讲解者说“也就是 t 等于 0 的时候,把 t 等于 0 代进去,f(0)f(0) 等于 1”。

严格证明
步骤
  1. 公式
    f(t)=12π∫−∞∞F(ω)eiωt dωf(t)=\frac{1}{2\pi}\int_{-\infty}^{\infty}F(\omega)e^{i\omega t}\,d\omega
    解释

    先写出傅里叶逆变换公式。

    步骤依据

    使用白板上给出的逆变换。

    视频直接表达
  2. 公式
    f(0)=12π∫−∞∞F(ω) dωf(0)=\frac{1}{2\pi}\int_{-\infty}^{\infty}F(\omega)\,d\omega
    解释

    令 t=0t=0,则 eiωt=e0=1e^{iωt}=e^0=1。

    步骤依据

    指数函数在 0 处等于 1。

    视频直接表达
  3. 公式
    1=12π∫−∞∞2sin⁡ωω dω1=\frac{1}{2\pi}\int_{-\infty}^{\infty}2\frac{\sin\omega}{\omega}\,d\omega
    解释

    左边由矩形脉冲定义得 f(0)=1f(0)=1,右边代入前面求得的 F(ω)=2sin⁡ω/ωF(ω)=2 \sin ω/ω。

    步骤依据

    使用 f(t)f(t) 的定义与已推导的傅里叶变换结果。

    视频直接表达
结论

得到 1=(1/(2π))∫−∞∞2sin⁡ω/ωdω1=(1/(2π))\int _{-\infty }^{\infty }2 \sin ω/ω dω。

化简得到全轴积分

依据清楚
视频直接表达
来源依据
  1. 公式
    观察依据

    白板上写出 ∴ π=∫−∞∞sin⁡ω/ωdωπ=\int _{-\infty }^{\infty } \sin ω/ω dω。

  2. 声音
    观察依据

    讲解者说“这个 2 和 2 它就消掉了”,然后把 π 拿过去。

严格证明
步骤
  1. 公式
    1=12π∫−∞∞2sin⁡ωω dω1=\frac{1}{2\pi}\int_{-\infty}^{\infty}2\frac{\sin\omega}{\omega}\,d\omega
    解释

    从上一步等式开始。

    步骤依据

    承接前一步代入结果。

    视频直接表达
  2. 公式
    1=1π∫−∞∞sin⁡ωω dω1=\frac{1}{\pi}\int_{-\infty}^{\infty}\frac{\sin\omega}{\omega}\,d\omega
    解释

    分子中的 2 与分母 2π 中的 2 相消。

    步骤依据

    代数化简。

    视频直接表达
  3. 公式
    π=∫−∞∞sin⁡ωω dω\pi=\int_{-\infty}^{\infty}\frac{\sin\omega}{\omega}\,d\omega
    解释

    两边同乘 π。

    步骤依据

    等式两边同乘非零常数。

    视频直接表达
结论

从负无穷到正无穷对 ω 分之正弦 ω 关于 ω 的积分等于 π。

由偶性得到半轴积分

依据清楚
视频直接表达
来源依据
  1. 公式
    观察依据

    白板上写出 ∴ π/2=∫0∞sin⁡ω/ωdωπ/2=\int _0^\infty \sin ω/ω dω。

  2. 声音
    观察依据

    讲解者提到“因为奇函数其实是一个偶函数”,随后给出最后结果是二分之π。

待核验内容
  1. 音频表述不够严谨,但画面结论与标准偶函数半轴化一致。

严格证明
步骤
  1. 公式
    ∫−∞∞sin⁡ωω dω=π\int_{-\infty}^{\infty}\frac{\sin\omega}{\omega}\,d\omega=\pi
    解释

    先引用全轴积分结果。

    步骤依据

    来自上一推导。

    视频直接表达
  2. 公式
    sin⁡ωωis an 偶数 function\frac{\sin\omega}{\omega}\text{is an \text{偶数} function}
    解释

    因为 sin⁡(−ω)/(−ω)=sin⁡ω/ω\sin (-ω)/(-ω)=\sin ω/ω。

    步骤依据

    正弦为奇函数,分母 ω 也为奇函数,二者相除得偶函数。

    依据视频推导
  3. 公式
    ∫−∞∞sin⁡ωω dω=2∫0∞sin⁡ωω dω\int_{-\infty}^{\infty}\frac{\sin\omega}{\omega}\,d\omega=2\int_{0}^{\infty}\frac{\sin\omega}{\omega}\,d\omega
    解释

    偶函数在全轴上的积分等于其在半轴上积分的两倍。

    步骤依据

    偶函数对称积分性质。

    依据视频推导
  4. 公式
    ∫0∞sin⁡ωω dω=π2\int_{0}^{\infty}\frac{\sin\omega}{\omega}\,d\omega=\frac{\pi}{2}
    解释

    将全轴积分值 π 代入并除以 2。

    步骤依据

    代数求解。

    视频直接表达
结论

从零到正无穷对 ω 分之正弦 ω 关于 ω 的积分等于 π 的二分之一。

例题详解 · 1

用矩形脉冲的傅里叶变换求狄利克雷积分

依据清楚
视频直接表达
来源依据
  1. 公式
    观察依据

    整个白板围绕 f(t)=1f(t)=1(|t|≤1), 0(other) 展开,并最终写出 π/2=∫0∞sin⁡ω/ωdωπ/2=\int _0^\infty \sin ω/ω dω。

  2. 声音
    观察依据

    讲解者逐步代入 t=0t=0、消去常数并得到最后结果。

题目

已知 f(t)=1f(t)=1 当 |t|≤1,否则为 0,利用傅里叶变换与逆变换求 ∫0∞\int _0^\infty sinx/x dx。

已知条件
  1. f 括号 t 等于:当 t 的绝对值小于或等于一时,函数值为一;其他情况下,函数值为零。

  2. F 括号 ω 等于从负无穷到正无穷对 f 括号 t 乘以 e 的负 i ω t 次方关于 t 的积分。

  3. f 括号 t 等于二 π 分之一乘以从负无穷到正无穷对 F 括号 ω 乘以 e 的 i ω t 次方关于 ω 的积分。

目标

计算 ∫0∞\int _0^\infty sinx/x dx。

步骤
  1. 公式
    F(ω)=∫−11e−iωtdt=2∫01cos⁡ωt dt=2sin⁡ωωF(\omega)=\int_{-1}^{1}e^{-i\omega t}dt=2\int_0^1\cos\omega t\,dt=2\frac{\sin\omega}{\omega}
    解释

    先求矩形脉冲的傅里叶变换。

    步骤依据

    由 f(t)f(t) 的分段定义和对称区间积分化简。

    视频直接表达
  2. 公式
    f(0)=1=12π∫−∞∞2sin⁡ωωdωf(0)=1=\frac{1}{2\pi}\int_{-\infty}^{\infty}2\frac{\sin\omega}{\omega}d\omega
    解释

    在逆变换中取 t=0t=0。

    步骤依据

    f(0)=1f(0)=1 且 eiω⋅0=1e^{iω\cdot 0}=1。

    视频直接表达
  3. 公式
    π=∫−∞∞sin⁡ωωdω\pi=\int_{-\infty}^{\infty}\frac{\sin\omega}{\omega}d\omega
    解释

    消去常数 2 并移项。

    步骤依据

    代数化简。

    视频直接表达
  4. 公式
    π2=∫0∞sin⁡ωωdω\frac{\pi}{2}=\int_0^{\infty}\frac{\sin\omega}{\omega}d\omega
    解释

    利用 sin⁡ω/ω\sin ω/ω 的偶性把全轴积分化为半轴积分。

    步骤依据

    偶函数对称积分性质。

    视频直接表达
结果

从零到正无穷对 x 分之正弦 x 关于 x 的积分等于 π 的二分之一。

检验

与白板顶部预先写出的目标等式 ∫0∞\int _0^\infty sinx/x dx=π/2dx = π/2 一致。

图示与动画 · 4

复变方法中的围道草图

依据清楚
视频直接表达
来源依据
  1. 声音
    观察依据

    讲师说“那利用复变的话呢,我们是用这样一个经典的挖孔的围道积分,来计算这样一个问题”。

  2. 图示
    观察依据

    白板上画出复平面,包含上半平面的大半圆和原点处的小半圆凹陷。

图中对象
  1. 复平面坐标轴

  2. 上半平面大半圆

  3. 原点处小半圆

变化过程
  1. 讲师画出大圆弧

  2. 讲师在原点处画出小圆弧以避开奇点

不变量
  1. 坐标轴保持不变

数学含义

该草图展示了使用留数定理计算实轴反常积分时常用的避开原点的围道结构。

矩形脉冲函数图像

依据清楚
视频直接表达
来源依据
  1. 图示
    观察依据

    白板上画出了一个矩形脉冲函数的图像,横轴为 t,纵轴为 f(t)f(t),在 [-1, 1] 区间内高度为 1

图中对象
  1. 坐标轴

  2. 矩形

不变量
  1. 矩形的宽度和高度

数学含义

直观展示了被积函数 f(t)f(t) 的形状和取值范围,解释了为什么积分区间可以从 (-\infty, ∞\infty) 缩小到 [-1, 1]。

整块白板的数学结构布局

依据清楚
视频直接表达
来源依据
  1. 图示
    观察依据

    白板顶部先写目标积分,中部写“1. Fourier”、矩形图和 f(t)f(t) 分段定义,右侧写傅里叶变换与逆变换推导,底部逐步补出最终结论。

图中对象
  1. 顶部目标积分

  2. 左侧矩形脉冲图与 f(t)f(t) 定义

  3. 中部 F(ω)F(ω) 推导

  4. 下部逆变换与最终结论

变化过程
  1. 讲解者先在右侧补写 f(0)=1f(0)=1 的代入式

  2. 随后在下方写出 π=∫−∞∞sin⁡ω/ωdωπ=\int _{-\infty }^{\infty } \sin ω/ω dω

  3. 最后再写出 π/2=∫0∞sin⁡ω/ωdωπ/2=\int _0^\infty \sin ω/ω dω

不变量
  1. 顶部目标等式始终可见

  2. 左侧矩形脉冲定义始终可见

数学含义

画面把“目标积分—示例函数—傅里叶变换—逆变换代入 t=0t=0—化简得结论”组织成一条连续的板书证明链。

矩形脉冲示意图

依据清楚
视频直接表达
来源依据
  1. 图示
    观察依据

    左侧坐标图中画出高度为 1、横跨 -1 到 1 的矩形。

图中对象
  1. 横轴

  2. 纵轴

  3. 高度为 1 的矩形

  4. 标注 -1 与 1

不变量
  1. 矩形只在 |t|≤1 上非零

  2. 高度恒为 1

数学含义

该图直观说明 f(t)f(t) 是宽度为 2、高度为 1 的门函数,因此其傅里叶变换积分限可缩到 [-1,1]。

易错点 · 1

关于 sin⁡ω/ω\sin ω/ω 奇偶性的表述含混

时间近似
视频直接表达
来源依据
  1. 声音
    观察依据

    讲解者在说明半轴化时说“因为奇函数其实是一个偶函数”。

  2. 公式
    观察依据

    画面结论使用的是 ∫−∞∞sin⁡ω/ωdω=2∫0∞sin⁡ω/ωdω\int _{-\infty }^{\infty } \sin ω/ω dω = 2\int _0^\infty \sin ω/ω dω。

待核验内容
  1. 音频措辞含混,可能为口误或省略说明。

误区

容易把“sin 是奇函数”误说成“sin⁡ω/ω\sin ω/ω 也是奇函数”。

说明

sinω 是奇函数,ω 也是奇函数,但商 sin⁡ω/ω\sin ω/ω 是偶函数;本片段最后一步正是按偶函数把全轴积分化为半轴积分的两倍。

概念关系 · 7

两种求解方法的概述 → 狄利克雷积分及其平方形式

依据清楚
视频直接表达
来源依据
  1. 声音
    观察依据

    讲师在写出积分后,紧接着列出两种方法。

应用
解释

傅里叶变换和复变围道积分是用于计算狄利克雷积分及其平方形式的两种方法。

矩形脉冲函数 f(t)f(t) → 计算 f(t)f(t) 的傅里叶变换

依据清楚
视频直接表达
来源依据
  1. 声音
    观察依据

    讲师说“利用傅里叶的话呢,我们需要用这样一个函数”,随后定义了 f(t)f(t) 并计算其傅里叶变换。

先修
解释

矩形脉冲函数 f(t)f(t) 的定义是进行后续傅里叶变换计算的前提。

傅里叶变换定义 → 傅里叶逆变换定义

依据清楚
视频直接表达
来源依据
  1. 声音
    观察依据

    讲师提到“这是我们傅里叶变换之后的函数,那我们利用傅里叶逆变换...”

应用
解释

通过计算矩形脉冲函数的傅里叶变换,然后利用傅里叶逆变换在特定点(t=0t=0)的性质,来求解狄利克雷积分。

矩形脉冲函数 → 傅里叶变换定义

依据清楚
视频直接表达
来源依据
  1. 公式
    观察依据

    由 f(t)f(t) 的分段定义直接推出 F(ω)=2sin⁡ω/ωF(ω)=2 \sin ω/ω。

应用
解释

矩形脉冲定义被代入傅里叶变换定义,得到具体的 sinc 型表达式。

傅里叶变换定义 → 傅里叶逆变换公式

依据清楚
视频直接表达
来源依据
  1. 公式
    观察依据

    先用 F(ω)F(ω) 表达式,再代入 f(t)=1/(2π)∫F(ω)eiωtdωf(t)=1/(2π)\int F(ω)e^{iωt}dω。

先修
解释

必须先求出 F(ω)F(ω),才能在逆变换中代入并取 t=0t=0 得到积分恒等式。

全轴 sinc 积分等于 π → 半轴 sinc 积分等于 π/2π/2

依据清楚
视频直接表达
来源依据
  1. 公式
    观察依据

    由 π=∫−∞∞sin⁡ω/ωdωπ=\int _{-\infty }^{\infty } \sin ω/ω dω 进一步写出 π/2=∫0∞sin⁡ω/ωdωπ/2=\int _0^\infty \sin ω/ω dω。

特例
解释

利用被积函数的偶性,把全轴积分结论 specialize 为半轴积分结论。

半轴 sinc 积分等于 π/2π/2 → 狄利克雷积分目标

依据清楚
视频直接表达
来源依据
  1. 公式
    观察依据

    底部结论与顶部目标积分形式一致,只是变量名由 ω 换成 x。

等价
解释

本片段推导出的 ∫0∞sin⁡ω/ωdω=π/2\int _0^\infty \sin ω/ω dω = π/2 正是顶部目标中的第一个狄利克雷积分。

问题定位 · 8

狄利克雷积分的值是多少?

依据清楚
视频直接表达
来源依据
  1. 公式
    观察依据

    白板上写出积分结果等于 π2\frac{\pi}{2}。

涉及知识点
  1. 狄利克雷积分及其平方形式

傅里叶方法中引入的矩形脉冲函数 f(t)f(t) 是如何定义的?

依据清楚
视频直接表达
来源依据
  1. 公式
    观察依据

    白板上写出 f(t)f(t) 的分段定义。

涉及知识点
  1. 矩形脉冲函数 f(t)f(t)

如何计算矩形脉冲函数的傅里叶变换?

依据清楚
视频直接表达
来源依据
  1. 公式
    观察依据

    白板上完整展示了推导过程

涉及知识点
  1. 傅里叶变换定义
  2. 矩形脉冲函数
  3. 欧拉公式
  4. 奇偶函数的积分性质

如何利用傅里叶逆变换求解狄利克雷积分?

依据清楚
视频直接表达
来源依据
  1. 声音
    观察依据

    讲师说明了接下来的思路

涉及知识点
  1. 傅里叶逆变换定义

为什么这里要在傅里叶逆变换中代入 t=0t=0?

依据清楚
视频直接表达
来源依据
  1. 声音
    观察依据

    讲解者明确说“也就是 t 等于 0 的时候,把 t 等于 0 代进去”。

  2. 公式
    观察依据

    白板上写出 f(0)=1f(0)=1=...

涉及知识点
  1. 傅里叶逆变换公式
  2. 在 t=0t=0 代入逆变换求积分

这里的 2 是怎么消掉的,最后为什么得到 π=∫−∞∞sin⁡ω/ωdωπ=\int _{-\infty }^{\infty } \sin ω/ω dω?

依据清楚
视频直接表达
来源依据
  1. 声音
    观察依据

    讲解者说“这个 2 和 2 它就消掉了”。

  2. 公式
    观察依据

    从 1=(1/(2π))∫2sin⁡ω/ωdω1=(1/(2π))\int 2 \sin ω/ω dω 化到 π=∫sin⁡ω/ωdωπ=\int \sin ω/ω dω。

涉及知识点
  1. 化简得到全轴积分
  2. 全轴 sinc 积分等于 π

为什么能从 ∫\int _{-}^{∞\infty } sin⁡ω/ωdω=π\sin ω/ω dω = π 得到 ∫0∞sin⁡ω/ωdω=π/2\int _0^\infty \sin ω/ω dω = π/2?

依据清楚
视频直接表达
来源依据
  1. 公式
    观察依据

    由全轴积分直接写出半轴积分 π/2=∫0∞sin⁡ω/ωdωπ/2=\int _0^\infty \sin ω/ω dω。

  2. 声音
    观察依据

    讲解者提到奇偶性,但措辞含混。

待核验内容
  1. 音频原话不够严谨,需结合公式判断。

涉及知识点
  1. 全轴 sinc 积分等于 π
  2. 半轴 sinc 积分等于 π/2π/2
  3. 由偶性得到半轴积分
  4. 关于 sin⁡ω/ω\sin ω/ω 奇偶性的表述含混

矩形脉冲 f(t)f(t) 的傅里叶变换为什么等于 2sin⁡ω/ω2 \sin ω/ω?

依据清楚
视频直接表达
来源依据
  1. 公式
    观察依据

    白板上完整写出从 ∫−∞∞f(t)e−iωtdt\int _{-\infty }^{\infty } f(t)e^{-iωt}dt 到 2sin⁡ω/ω2 \sin ω/ω 的过程。

涉及知识点
  1. 矩形脉冲函数
  2. 傅里叶变换定义
  3. 矩形脉冲的傅里叶变换推导
覆盖情况与待核验内容

已覆盖 · 讲师入场,准备开始讲课,无数学内容。

已覆盖 · 写出并讲解狄利克雷积分及其平方形式的结果。

已覆盖 · 列出傅里叶和复变两种求解方法。

已覆盖 · 画出矩形脉冲图并写出其分段函数定义。

已覆盖 · 画出复变方法中的围道草图,作为方法概述的视觉补充。

已覆盖 · 擦除围道草图,准备进入傅里叶方法的详细计算。

已覆盖 · 写出傅里叶变换定义,并根据 f(t)f(t) 的性质化简积分区间。

已覆盖 · 推导矩形脉冲函数的傅里叶变换

已覆盖 · 讲师停顿,准备下一步

已覆盖 · 引入傅里叶逆变换,准备求解狄利克雷积分

已覆盖 · 讲解者回顾矩形脉冲定义并写出其傅里叶变换,逐步化简得到 F(ω)=2sin⁡ω/ωF(ω)=2 \sin ω/ω。

已覆盖 · 在逆变换公式中代入 t=0t=0,利用 f(0)=1f(0)=1 和 eiω⋅0=1e^{iω\cdot 0}=1 得到含全轴积分的等式。

已覆盖 · 消去常数 2 并移项,得到 ∫−∞∞sin⁡ω/ωdω=π\int _{-\infty }^{\infty } \sin ω/ω dω = π。

已覆盖 · 利用 sin⁡ω/ω\sin ω/ω 的偶性把全轴积分化为半轴积分,得到 ∫0∞sin⁡ω/ωdω=π/2\int _0^\infty \sin ω/ω dω = π/2,并与顶部目标等式对应。

探索视频中的知识

已审核的主题路径