【笔记】Fourier Transform
基于B站 up 童哲校长 的视频《傅里叶变换,拉普拉斯变换与小波变换》的笔记
复数基本复习
在图中虚部的解释
当一个实数乘 $i$,相当于把它逆时针旋转了90°
如果存在两个单位向量 $Z_1,Z_2$,并且它们的夹角呈90°,那么 $\frac{Z_1}{Z_2}=e^{i\frac{\pi}{2}}=i$
复数的极坐标表示
$e^{i\pi}=-1$ Euler Formula (欧拉公式)
共轭
特性1
若 $f’(Z)$ 存在,$u,v$ 存在牵连关系,延 $x$轴 $y$轴接近的表达式相同
延 $x$轴:$Z-Z_0=\Delta x$
延 $y$轴:$Z-Z_0=i\Delta y$
So we have Cauchy-Riemann Equations (柯西-黎曼方程)
所有初等函数都满足此条件
特性2
当 $f(Z)$ 满足 C-R (柯西-黎曼)关系,只要知道边界的表达式,就能确定内部任意一个点的函数值
Step 1
当复变函数存在闭合的边界 $L$
证明
对于 复变函数
Recall Green formula (格林公式)
According to Cauchy-Riemann Equations
Step 2
求 $Z_0$ 点上的函数值
证明
以 $Z_0$ 为圆心,取一个 $l$ 为边界,$\delta$为半径的圆. 此时我们有
or
对边界求积时的 $dZ$ 相当于在边界上走一步
$\theta\in[0,2\pi]$
当 $\delta \to 0$, $Z\to Z_0$
卷积 Convolution
t:哑指标,$t+(x-t)=x$
常见性质
- 线性
- 交互律
- $f\star g=g\star f$
- 结合律
- $(f\star g)\star k=f\star (g\star k)$
运用
有 $u(x,y)=f(x)·g(y)$, 期望求关于 $s=x+y$ 的概率密度, 就是 $f*g$
傅里叶展开
傅里叶级数:表示$2\pi$为周期
以 $\{\mathbb{I},Sinnx,Cosnx\}$ 为基向量
其中
可证得正交性被满足
同理
and
使得常值为 1
【Example 1】
$a_0$ 通常是均值
当 $Sinnx$ 项加的越多 $n\to\infty$, 越趋近目标图像. 但当不够多时,振动会比较剧烈,且存在吉布斯现象/音爆 (可用小波变换解决)
如果将原目标往左移 $\frac{\pi}{2}$ , $x\to x+\frac{\pi}{2}$
$Sinx$ 向左移 $\frac{\pi}{2}$ 得到 $Cosx$, $Cosx$ 向左移 $\frac{\pi}{2}$ 得到 $-Sinx$
$Sinx$ 向右移 $\frac{\pi}{2}$ 得到 $-Cosx$, $Cosx$ 向右移 $\frac{\pi}{2}$ 得到 $Sinx$
令 $x=0$
得出一个重要的恒等式
【Example 2】
$\int udv=uv-\int vdu$
令 $x=0$
得出一个重要的恒等式
扩充到复数域
以复数与共轭替换原表达式
此时
当 $n>0$
当 $n<0$
当 $n=0$
以 $e^{inx}$ 为基向量
可证得正交性被满足
帕塞瓦尔定理
where $|f(x)|^2=f(x)\bar{f}(x)$
傅里叶变换
将原先以 $(-\pi,\pi)$ 为一周期,改写为以 $(-L,L)$ 为一周期
普通 $2L$ 周期的展开
定义:$\frac{n\pi}{L}=\alpha_n$, $\Delta \alpha=\alpha_{n+1}-\alpha_n=\frac{\pi}{L}$
把 $c_n$ 代入 $f(x)$
令 $L\to\infty$, 有 $\Delta\alpha\to 0$
可以将上式拆成两份
双重可逆定义
总结得
有时候表达式不同,但积分前的数相乘必须等于$\frac{1}{2\pi}$
因此可推导
此方法可以用来 $求导\leftrightarrow乘积$
如果采用
则是拉普拉斯变换
傅里叶变换的正式表达
帕塞瓦尔定理
函数的模(在一定区间内的积分)= 所有系数的平方和的叠加; 能量没有损失
证明
特性
线性性
有 F.T : $f\to g$, $t\to s$
求导特性
卷积特性
有 F.T : $f\to g$, $t\to s$
不确定性关系 Uncertainty Principle
$G(引力), \hbar (普朗克常量 量子), c (时定)$
求正态分布分F.T
用到解析函数在解析区域内围道积分=0
Recall
证明
$\int\int_Df(x,y)dxdy=\int\int_Df(\rho Cos\theta,\rho Sin\theta)\rho d\rho d\theta$
从另一种角度解释了正态分布的形成
所以
引入定理
with $4a=2\sigma_x^2$, $\frac{1}{a}=2\sigma_k^2$; $\sigma_x\sigma_k=const.$ 位置越确定,动量越不确定,反之亦然. 两者只有一种能优化到一种程度.
解热传导公式
此步骤可以套入由BS-PDE推导的BS model
初始热温分布 $f(x)$, 目标函数 $h(x,t)$ 在 t 时间 x 位置的温度.
热传导方程
在 t 时增加的温度,是两边温差的差乘以一个系数
选择 x 消去,用 F.T $x\to u$
因为有 $\frac{d}{dt}W=aW$, 判断 $\mathscr{F}(h)$ 为指数形式
由卷积特性,若 F.T : $f\to g$, $t\to s$, 有$f\star t\leftrightarrow g\star s$
因为存在初态 t=0 时,$h(x,0)=f(x)$
依照正态分布分F.T得出
总结
核磁共振成像 MRI
密度分布 $\mu(x,y)$,原强度 $I_0$,穿透后的强度 $I=I_0e^{-\int_L \mu}$,现已知 $\int_L \mu$, $\theta$ 射入角度,$\rho$ 距圆心距离
将变换扩展到二维
固定 $\theta$,改变 $\rho$,并对 $\rho$ 进行 F.T
变量替换 $rCos\theta=k_x, rSin\theta=k_y$
得到 $\mathscr{F}(\mu(x,y))$ 后,I.F.T,得到 $\mu(x,y)$
离散傅里叶变换
等效与矩阵算法,发展为快速傅里叶变换 F.F.T
定义 [x] 中括号为离散, 以下是 D.F.T, $2\pi$ 为一个周期
矩阵形式
定义 $e^{-\frac{2\pi i}{N}}=\omega$
快速傅里叶变换
有 $e^{i\theta}=Cos\theta+iSin\theta$, 在 $e^{-\frac{2\pi i}{N}nm}$ 中,当 nm 能被 N 整除,则 $W_{mn}$ 等于 1
$W_{N\times N}$ 可以分成 $一个分块矩阵\times一个对角分块矩阵\times位移矩阵$
D 是一个包含 $[1,\omega,\omega^2,…,\omega^{\frac{N}{2}-1}]$ 的对角矩阵
Gabor变换/短时傅里叶变换
为了研究一段时间,引入$g(t)$ 时窗因子,只在 0 点附近不为 0,其余快速消减
小波变换 Wavelet Transform
- $a>0$ 放缩尺度因子
- $-\infty<b<\infty$ 平移因子
- $\psi(t)$ 基函数
基函数/小波平均值必须为0