【笔记】Fourier Transform

基于B站 up 童哲校长 的视频《傅里叶变换,拉普拉斯变换与小波变换》的笔记

复数基本复习

在图中虚部的解释

  1. 当一个实数乘 $i$,相当于把它逆时针旋转了90°

  2. 如果存在两个单位向量 $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$

常见性质

  1. 线性
  2. 交互律
    • $f\star g=g\star f$
  3. 结合律
    • $(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

墨西哥草帽式

Morlet 小波

拉普拉斯变换 Laplace Transform

傅里叶变换表


Reference

  1. 傅里叶分析之掐死教程(完整版)

【笔记】Fourier Transform
http://achlier.github.io/2021/05/30/Fourier_Transform/
Author
Hailey
Posted on
May 30, 2021
Licensed under