\[ f(t) = \cos(2t) + \cos(5t) \] 要求它的傅里叶变换 \( F(\omega) \)。
第一步:回顾常用傅里叶变换公式
常用的傅里叶变换对(采用角频率 \(\omega\) 定义)是:
\[ \mathcal{F}\{\cos(\omega_0 t)\} = \pi [\delta(\omega - \omega_0) + \delta(\omega + \omega_0)] \]
注意这里假设傅里叶变换定义为:
\[ F(\omega) = \int_{-\infty}^{\infty} f(t) e^{-j\omega t} , dt \]
第二步:对每一项应用公式
对于 \(\cos(2t)\):
这里 \(\omega_0 = 2\),所以: \[ \mathcal{F}\{\cos(2t)\} = \pi [\delta(\omega - 2) + \delta(\omega + 2)] \]
对于 \(\cos(5t)\):
这里 \(\omega_0 = 5\),所以: \[ \mathcal{F}\{\cos(5t)\} = \pi [\delta(\omega - 5) + \delta(\omega + 5)] \]
第三步:利用线性性质相加
傅里叶变换是线性的,所以: \[ F(\omega) = \pi [\delta(\omega - 2) + \delta(\omega + 2)] + \pi [\delta(\omega - 5) + \delta(\omega + 5)] \]
整理一下: \[ F(\omega) = \pi [\delta(\omega - 2) + \delta(\omega + 2) + \delta(\omega - 5) + \delta(\omega + 5)] \]
第四步:最终结果
因此,傅里叶变换是位于 \(\omega = \pm 2\) 和 \(\omega = \pm 5\) 处的四个冲激,每个的权重是 \(\pi\)。
\[ \boxed{F(\omega) = \pi [\delta(\omega - 2) + \delta(\omega + 2) + \delta(\omega - 5) + \delta(\omega + 5)]} \]
如果你使用的是普通频率 \(f\)(单位 Hz)而不是角频率 \(\omega\),那系数会不同(通常是 \(\frac12\) 而不是 \(\pi\)),但这里按标准的角频率定义来做。
1. 直观理解
你可以把它想象成一个“极限”:
\[ \delta(t) = \lim_{\Delta \to 0} \frac{1}{\Delta} \text{(在 } 0 \text{ 附近宽度为 } \Delta \text{、高度为 } 1/\Delta \text{ 的矩形脉冲)} \]
- 宽度 \(\Delta \to 0\)
- 高度 \(1/\Delta \to \infty\)
- 面积 = 宽度 × 高度 = 1,保持不变
所以它确实有“高度无限大”的说法,但更准确的说法是:它只在一点非零,且积分等于 1。
2. 严格定义(通过积分性质)
δ 函数通常用它的“筛选性质”来定义:
\[ \int_{-\infty}^{\infty} f(t),\delta(t - t_0),dt = f(t_0) \]
也就是说,它把函数在 \(t_0\) 处的值“筛”出来。
3. 在频谱中的意义
在你这个问题里:
\[ F(\omega) = \pi[\delta(\omega - 2) + \delta(\omega + 2) + \delta(\omega - 5) + \delta(\omega + 5)] \]
意思是:
- 信号 \(f(t)=\cos(2t)+\cos(5t)\) 只包含两个频率成分:\(\omega=2\) 和 \(\omega=5\)(以及它们的负频率)。
- 在频谱图上,只有在 \(\omega=\pm2\) 和 \(\omega=\pm5\) 这四个点上有能量,其他地方都是 0。
- 每个冲激的“面积”是 \(\pi\),代表该频率分量的强度。
所以画频谱图时,通常画成四根带箭头的竖线,箭头高度标为 \(\pi\),表示冲激的面积(不是真正的高度,因为高度是无穷大)。
4. 和普通函数的区别
| 普通函数 | 冲激函数 δ |
|---|---|
| 每点都有确定值 | 只在一点“非零” |
| 高度有限 | 高度无限大 |
| 可以逐点画图 | 只能画箭头表示面积 |
| 普通积分 | 筛选性质 |
5. 一句话总结
冲激不是“高度无限大”的普通函数,而是“面积为 1、宽度趋于 0、高度趋于无穷”的理想化模型;在频谱里,它表示“只存在于某一个频率点上的纯频率成分”。
1. 傅里叶逆变换公式
标准的傅里叶逆变换是:
\[ f(t) = \frac{1}{2\pi} \int_{-\infty}^{\infty} F(\omega), e^{j\omega t} , d\omega \]
注意前面有 \(\frac{1}{2\pi}\) 这个系数。
2. 代入我们求得的 \(F(\omega)\)
\[ F(\omega) = \pi[\delta(\omega - 2) + \delta(\omega + 2) + \delta(\omega - 5) + \delta(\omega + 5)] \]
代入逆变换:
\[ f(t) = \frac{1}{2\pi} \int_{-\infty}^{\infty} \pi[\delta(\omega - 2) + \delta(\omega + 2) + \delta(\omega - 5) + \delta(\omega + 5)], e^{j\omega t} , d\omega \]
把常数 \(\frac{\pi}{2\pi} = \frac{1}{2}\) 提出来:
\[ f(t) = \frac{1}{2} \int_{-\infty}^{\infty} [\delta(\omega - 2) + \delta(\omega + 2) + \delta(\omega - 5) + \delta(\omega + 5)], e^{j\omega t} , d\omega \]
3. 利用冲激的筛选性质
冲激的筛选性质:
\[ \int_{-\infty}^{\infty} \delta(\omega - \omega_0), g(\omega), d\omega = g(\omega_0) \]
所以每一项分别计算:
- \(\delta(\omega - 2)\) 贡献 \(e^{j2t}\)
- \(\delta(\omega + 2)\) 贡献 \(e^{-j2t}\)
- \(\delta(\omega - 5)\) 贡献 \(e^{j5t}\)
- \(\delta(\omega + 5)\) 贡献 \(e^{-j5t}\)
于是:
\[ f(t) = \frac{1}{2}\left[ e^{j2t} + e^{-j2t} + e^{j5t} + e^{-j5t} \right] \]
4. 用欧拉公式化简
欧拉公式:
\[ \cos\theta = \frac{e^{j\theta} + e^{-j\theta}}{2} \]
所以:
\[ \frac{1}{2}(e^{j2t} + e^{-j2t}) = \cos(2t) \]
\[ \frac{1}{2}(e^{j5t} + e^{-j5t}) = \cos(5t) \]
因此:
\[ f(t) = \cos(2t) + \cos(5t) \]
5. 结论
\[ \boxed{\frac{1}{2\pi}\int_{-\infty}^{\infty} F(\omega), e^{j\omega t}, d\omega = \cos(2t) + \cos(5t)} \]
完全还原回了原来的 \(f(t)\),说明我们的傅里叶变换结果是对的。
6. 关键点提醒
- 逆变换前面必须有 \(\frac{1}{2\pi}\),否则结果会差一个系数。
- 冲激把积分变成了“取函数在冲激位置的值”,这就是为什么积分这么好算。
- 正负频率成对出现,通过欧拉公式合成一个实数余弦。
所以,冲激虽然“高度无限大”,但在积分里它起到的作用非常温和——只是把被积函数在某一点的值“挑”出来而已。
一、先澄清一个误解
冲激函数 \(\delta(t)\) 不是普通意义下的函数。
普通函数要求:每个点 \(t\) 都有一个确定的、有限的函数值。而 \(\delta(t)\) 在 \(t=0\) 处“值为无穷大”,在其他地方为 0,这已经超出了普通函数的定义。
所以,我们不能用普通函数的积分定义去理解它。它的“积分”是通过一套不同的规则来定义的。
二、直观理解:矩形脉冲的极限
1. 构造一个普通函数
考虑一个宽度为 \(\varepsilon\)、高度为 \(1/\varepsilon\) 的矩形脉冲:
\[ \delta_\varepsilon(t) = \begin{cases} \dfrac{1}{\varepsilon}, & |t| < \dfrac{\varepsilon}{2} \[6pt] 0, & \text{其他} \end{cases} \]
这个函数是普通函数,每点都有确定值,积分也好算:
\[ \int_{-\infty}^{\infty} \delta_\varepsilon(t), dt = \frac{1}{\varepsilon} \cdot \varepsilon = 1 \]
注意:无论 \(\varepsilon\) 多小,面积始终是 1。
2. 让 \(\varepsilon \to 0\)
- 宽度 \(\to 0\)
- 高度 \(1/\varepsilon \to \infty\)
- 但面积始终 = 1
于是极限对象 \(\delta(t) = \lim_{\varepsilon \to 0} \delta_\varepsilon(t)\) 就呈现出:
- 只在 \(t=0\) 处“非零”
- “高度无限大”
- “积分等于 1”
这就是冲激函数的直观来源。
3. 更重要的:它作用在其他函数上
真正有用的不是 \(\delta(t)\) 本身,而是它对其他函数的作用。考虑:
\[ \int_{-\infty}^{\infty} f(t), \delta_\varepsilon(t), dt \]
当 \(\varepsilon\) 很小时,\(\delta_\varepsilon(t)\) 只在 \(0\) 附近非零,所以 \(f(t)\) 在这段小区间内几乎不变,近似等于 \(f(0)\)。于是:
\[ \int_{-\infty}^{\infty} f(t), \delta_\varepsilon(t), dt \approx f(0) \int_{-\infty}^{\infty} \delta_\varepsilon(t), dt = f(0) \]
让 \(\varepsilon \to 0\),就得到筛选性质:
\[ \int_{-\infty}^{\infty} f(t), \delta(t), dt = f(0) \]
这就是冲激函数“积分”的真正含义。
三、严格数学:广义函数(分布)理论
在严格的数学里,\(\delta\) 不是函数,而是一个广义函数(distribution),也叫分布。
1. 定义方式
广义函数不是通过“它在每点的值”来定义的,而是通过它对测试函数的作用来定义的。
设 \(\varphi(t)\) 是任意一个“很好的”函数(光滑、速降,称为测试函数)。我们定义:
\[ \langle \delta, \varphi \rangle := \varphi(0) \]
这个记号 \(\langle \delta, \varphi \rangle\) 就是“\(\delta\) 作用在 \(\varphi\) 上”的意思,形式上写成积分就是:
\[ \int_{-\infty}^{\infty} \delta(t), \varphi(t), dt := \varphi(0) \]
注意:这个积分不是普通积分,而是定义。
2. 平移后的冲激
同样地:
\[ \langle \delta(t - t_0), \varphi \rangle := \varphi(t_0) \]
写成积分形式:
\[ \int_{-\infty}^{\infty} \delta(t - t_0), \varphi(t), dt = \varphi(t_0) \]
这就是前面反复用到的筛选性质。
3. 为什么可以这样定义?
因为前面看到,矩形脉冲极限作用在 \(f\) 上确实趋于 \(f(0)\)。广义函数理论把这个极限行为“固化”成定义,从而绕开了“高度无限大”的困难。
四、关键:冲激的“积分”不是普通积分
| 普通函数积分 | 冲激的“积分” |
|---|---|
| 用黎曼和/勒贝格积分定义 | 用对测试函数的作用定义 |
| 要求函数每点有值 | 不要求每点有值 |
| \(\int f(t)dt\) 是数 | \(\int \delta(t)\varphi(t)dt := \varphi(0)\) 是定义 |
| 可以逐点画图 | 只能画箭头表示“面积” |
所以,“冲激可以积分”这句话要理解为:我们可以定义它作用在函数上的结果,而这个结果有明确的、有限的数值。
五、在你这个问题里的具体体现
你的逆变换是:
\[ f(t) = \frac{1}{2\pi} \int_{-\infty}^{\infty} F(\omega), e^{j\omega t}, d\omega \]
其中 \(F(\omega)\) 含有 \(\delta(\omega - 2)\) 等。这里:
\[ \int_{-\infty}^{\infty} \delta(\omega - 2), e^{j\omega t}, d\omega \]
不是普通积分,而是按定义等于:
\[ e^{j2t} \]
也就是说:冲激把“对 \(\omega\) 积分”变成了“把被积函数在 \(\omega=2\) 处的值取出来”。
这就是为什么一个含无穷高度的东西,积分出来却是一个有限的、正常的复数 \(e^{j2t}\)。
六、一句话总结
冲激函数不能按普通函数去积分,它的“积分”是通过筛选性质(广义函数意义下)定义的:
\[ \int_{-\infty}^{\infty} \delta(t-t_0), f(t), dt := f(t_0) \] 直观上,它是宽度趋于 0、高度趋于无穷、但面积恒为 1 的脉冲的极限;
严格上,它是一个广义函数,用“作用在测试函数上的结果”来定义,而不是用“每点的值”来定义。
所以,“高度无限大”并不妨碍它可积——因为它的可积性根本不依赖于高度,而依赖于面积为 1 这个性质。
好的,我们来具体算一下这个积分。这是一个非常好的练习,能让你**亲眼看到筛选性质是怎么从普通积分里“长出来”的**。
一、设定
我们有一个普通函数 \( f(t) \),假设它在 \( t=0 \) 附近连续(比如你的 \( f(t)=\cos(2t)+\cos(5t) \))。
定义矩形脉冲:
\[ \delta_\varepsilon(t) = \begin{cases} \dfrac{1}{\varepsilon}, & |t| < \dfrac{\varepsilon}{2} \[6pt] 0, & \text{其他} \end{cases} \]
我们要计算:
\[ I_\varepsilon := \int_{-\infty}^{\infty} f(t), \delta_\varepsilon(t), dt \]
二、代入 \(\delta_\varepsilon(t)\) 的具体形式
因为 \(\delta_\varepsilon(t)\) 在 \(|t| \ge \varepsilon/2\) 时等于 0,所以积分只在 \((-\varepsilon/2,\ \varepsilon/2)\) 内非零:
\[ I_\varepsilon = \int_{-\varepsilon/2}^{\varepsilon/2} f(t) \cdot \frac{1}{\varepsilon}, dt \]
把常数 \(\frac{1}{\varepsilon}\) 提出来:
\[ I_\varepsilon = \frac{1}{\varepsilon} \int_{-\varepsilon/2}^{\varepsilon/2} f(t), dt \]
三、这个表达式说明了什么?
注意这个形式:
\[ I_\varepsilon = \frac{1}{\varepsilon} \int_{-\varepsilon/2}^{\varepsilon/2} f(t), dt \]
它正好是 \(f(t)\) 在区间 \([-\varepsilon/2,\ \varepsilon/2]\) 上的平均值(因为区间长度是 \(\varepsilon\))。
也就是说:
\[ I_\varepsilon = \overline{f}\Big|_{[-\varepsilon/2,\ \varepsilon/2]} \]
四、代入具体的 \(f(t)\) 来算
取 \(f(t)=\cos(2t)+\cos(5t)\),代入:
\[ I_\varepsilon = \frac{1}{\varepsilon} \int_{-\varepsilon/2}^{\varepsilon/2} \big[\cos(2t)+\cos(5t)\big], dt \]
分开算两个积分。
第一个积分
\[ \int_{-\varepsilon/2}^{\varepsilon/2} \cos(2t), dt \]
\(\cos(2t)\) 的原函数是 \(\dfrac{\sin(2t)}{2}\),所以:
\[ \int_{-\varepsilon/2}^{\varepsilon/2} \cos(2t), dt = \frac{\sin(2\cdot \varepsilon/2) - \sin(2\cdot(-\varepsilon/2))}{2} = \frac{\sin\varepsilon - \sin(-\varepsilon)}{2} \]
因为 \(\sin(-\varepsilon)=-\sin\varepsilon\):
\[ = \frac{\sin\varepsilon + \sin\varepsilon}{2} = \sin\varepsilon \]
第二个积分
\[ \int_{-\varepsilon/2}^{\varepsilon/2} \cos(5t), dt = \frac{\sin(5\varepsilon/2) - \sin(-5\varepsilon/2)}{5} = \frac{2\sin(5\varepsilon/2)}{5} \]
合并
\[ I_\varepsilon = \frac{1}{\varepsilon}\left[ \sin\varepsilon + \frac{2\sin(5\varepsilon/2)}{5} \right] \]
五、取极限 \(\varepsilon \to 0\)
利用极限:
\[ \lim_{\varepsilon \to 0} \frac{\sin(a\varepsilon)}{\varepsilon} = a \]
(因为 \(\sin(a\varepsilon) \approx a\varepsilon\) 当 \(\varepsilon\) 很小时)
所以:
\[ \lim_{\varepsilon \to 0} \frac{\sin\varepsilon}{\varepsilon} = 1 \]
\[ \lim_{\varepsilon \to 0} \frac{2\sin(5\varepsilon/2)}{5\varepsilon} = \frac{2}{5} \cdot \frac{5}{2} = 1 \]
于是:
\[ \lim_{\varepsilon \to 0} I_\varepsilon = 1 + 1 = 2 \]
六、和筛选性质对比
而我们期望的筛选性质给出:
\[ \int_{-\infty}^{\infty} f(t), \delta(t), dt = f(0) = \cos(0) + \cos(0) = 1 + 1 = 2 \]
完全一致! ✅
七、更一般的情形(关键观察)
其实不用代入具体 \(f\),我们可以直接对一般连续函数 \(f\) 做:
\[ I_\varepsilon = \frac{1}{\varepsilon} \int_{-\varepsilon/2}^{\varepsilon/2} f(t), dt \]
当 \(\varepsilon\) 很小时,\(f(t)\) 在 \([-\varepsilon/2,\ \varepsilon/2]\) 上几乎等于常数 \(f(0)\)(因为 \(f\) 在 0 处连续)。更严格地,用积分中值定理:
\[ \frac{1}{\varepsilon} \int_{-\varepsilon/2}^{\varepsilon/2} f(t), dt = f(\xi_\varepsilon) \]
其中 \(\xi_\varepsilon \in (-\varepsilon/2,\ \varepsilon/2)\)。
当 \(\varepsilon \to 0\) 时,\(\xi_\varepsilon \to 0\),由连续性:
\[ f(\xi_\varepsilon) \to f(0) \]
所以:
\[ \lim_{\varepsilon \to 0} I_\varepsilon = f(0) \]
这正是筛选性质。
八、总结
| 步骤 | 结果 |
|---|---|
| 代入 \(\delta_\varepsilon\) | \(I_\varepsilon = \dfrac{1}{\varepsilon}\displaystyle\int_{-\varepsilon/2}^{\varepsilon/2} f(t),dt\) |
| 几何意义 | \(f\) 在 0 附近小区间上的平均值 |
| 取极限 \(\varepsilon\to 0\) | 平均值 \(\to f(0)\) |
| 结论 | \(\displaystyle\int f(t)\delta(t),dt = f(0)\) |
所以你现在可以看到:
- 冲激的筛选性质不是凭空定义的,它是矩形脉冲极限作用下自然产生的。
- 对具体的 \(f(t)=\cos(2t)+\cos(5t)\),算出来是 2,正好等于 \(f(0)\)。
- “高度无限大”并不影响积分——因为积分真正关心的是面积和被积函数在冲激位置附近的行为。