均值模板和二阶差分模板都是偶对称。实偶函数的傅里叶变换仍是实偶函数。
给个证明过程
实偶函数
一个函数 f ( x ) f(x) f(x) 被称为实偶函数,如果它满足以下条件:
f ( − x ) = f ( x ) f(-x) = f(x) f(−x)=f(x)
傅里叶变换
对于一个实偶函数 f ( x ) f(x) f(x),其傅里叶变换定义为:
F ( ω ) = ∫ − ∞ ∞ f ( x ) e − i ω x d x F(\omega) = \int_{-\infty}^{\infty} f(x) e^{-i\omega x} \, dx F(ω)=∫−∞∞f(x)e−iωxdx
为什么傅里叶变换是实数
-
欧拉公式:首先,我们可以使用欧拉公式将指数函数分解为正弦和余弦函数:
e − i ω x = cos ( ω x ) − i sin ( ω x ) e^{-i\omega x} = \cos(\omega x) - i \sin(\omega x) e−iωx=cos(ωx)−isin(ωx)
-
傅里叶变换的实部和虚部:将上述表达式代入傅里叶变换的定义中,得到:
F ( ω ) = ∫ − ∞ ∞ f ( x ) ( cos ( ω x ) − i sin ( ω x ) ) d x F(\omega) = \int_{-\infty}^{\infty} f(x) (\cos(\omega x) - i \sin(\omega x)) \, dx F(ω)=∫−∞∞f(x)(cos(ωx)−isin(ωx))dx
这可以进一步拆分为实部和虚部:
F ( ω ) = ∫ − ∞ ∞ f ( x ) cos ( ω x ) d x − i ∫ − ∞ ∞ f ( x ) sin ( ω x ) d x F(\omega) = \int_{-\infty}^{\infty} f(x) \cos(\omega x) \, dx - i \int_{-\infty}^{\infty} f(x) \sin(\omega x) \, dx F(ω)=∫−∞∞f(x)cos(ωx)dx−i∫−∞∞f(x)sin(ωx)dx
-
实偶函数的性质:由于 f ( x ) f(x) f(x) 是实偶函数,即 f ( − x ) = f ( x ) f(-x) = f(x) f(−x)=f(x),我们有以下性质:
- f ( x ) cos ( ω x ) f(x) \cos(\omega x) f(x)cos(ωx) 也是偶函数,因为 cos ( ω x ) \cos(\omega x) cos(ωx) 是偶函数。
- f ( x ) sin ( ω x ) f(x) \sin(\omega x) f(x)sin(ωx) 是奇函数,因为 sin ( ω x ) \sin(\omega x) sin(ωx) 是奇函数。
-
奇函数的积分:奇函数在一个对称区间上的积分等于零。因此:
∫ − ∞ ∞ f ( x ) sin ( ω x ) d x = 0 \int_{-\infty}^{\infty} f(x) \sin(\omega x) \, dx = 0 ∫−∞∞f(x)sin(ωx)dx=0
-
傅里叶变换的实部:因此,傅里叶变换简化为:
F ( ω ) = ∫ − ∞ ∞ f ( x ) cos ( ω x ) d x F(\omega) = \int_{-\infty}^{\infty} f(x) \cos(\omega x) \, dx F(ω)=∫−∞∞f(x)cos(ωx)dx
由于 f ( x ) cos ( ω x ) f(x) \cos(\omega x) f(x)cos(ωx) 是偶函数,其积分结果是实数。
为什么傅里叶变换是偶函数
-
对称性:由于 f ( x ) f(x) f(x) 是实偶函数,傅里叶变换 F ( ω ) F(\omega) F(ω) 也具有对称性。具体来说,对于任何 ω \omega ω,我们有:
F ( − ω ) = ∫ − ∞ ∞ f ( x ) e i ω x d x F(-\omega) = \int_{-\infty}^{\infty} f(x) e^{i\omega x} \, dx F(−ω)=∫−∞∞f(x)eiωxdx
-
共轭对称性:注意到 e i ω x = cos ( ω x ) + i sin ( ω x ) e^{i\omega x} = \cos(\omega x) + i \sin(\omega x) eiωx=cos(ωx)+isin(ωx),因此:
F ( − ω ) = ∫ − ∞ ∞ f ( x ) ( cos ( ω x ) + i sin ( ω x ) ) d x F(-\omega) = \int_{-\infty}^{\infty} f(x) (\cos(\omega x) + i \sin(\omega x)) \, dx F(−ω)=∫−∞∞f(x)(cos(ωx)+isin(ωx))dx
由于 f ( x ) cos ( ω x ) f(x) \cos(\omega x) f(x)cos(ωx) 是偶函数, f ( x ) sin ( ω x ) f(x) \sin(\omega x) f(x)sin(ωx) 是奇函数,我们有:
F ( − ω ) = ∫ − ∞ ∞ f ( x ) cos ( ω x ) d x + i ∫ − ∞ ∞ f ( x ) sin ( ω x ) d x F(-\omega) = \int_{-\infty}^{\infty} f(x) \cos(\omega x) \, dx + i \int_{-\infty}^{\infty} f(x) \sin(\omega x) \, dx F(−ω)=∫−∞∞f(x)cos(ωx)dx+i∫−∞∞f(x)sin(ωx)dx
由于 ∫ − ∞ ∞ f ( x ) sin ( ω x ) d x = 0 \int_{-\infty}^{\infty} f(x) \sin(\omega x) \, dx = 0 ∫−∞∞f(x)sin(ωx)dx=0,因此:
F ( − ω ) = ∫ − ∞ ∞ f ( x ) cos ( ω x ) d x = F ( ω ) F(-\omega) = \int_{-\infty}^{\infty} f(x) \cos(\omega x) \, dx = F(\omega) F(−ω)=∫−∞∞f(x)cos(ωx)dx=F(ω)
这表明 F ( ω ) F(\omega) F(ω) 是偶函数。
两种模板的零相位响应
这两种模板都可以直接显示零相位响应。在这种情况下,由于傅里叶变换的结果是实数,模运算是在做绝对值运算。
均值模板
高斯模板
4邻域拉普拉斯
8邻域拉普拉斯