谱方法学习笔记📒
谱方法学习笔记-下(超详细)
声明:鉴于CSDN
使用 K a T e X KaTeX KaTeX 渲染公式, KaTeX \KaTeX KATEX 与 L a T e X LaTeX LaTeX 不同,不支持直接的交叉引用命令,如\label
和\eqref
。 KaTeX \KaTeX KATEX专注于数学公式的呈现,而不提供完整的文档生成功能。因此,为了保证显示正常,本文中所有公式均已删除编号和交叉引用。由此可能导致一些可读性上的不便,请读者谅解。
文章目录
- 谱方法学习笔记📒
- 傅立叶谱方法
- 求导与傅里叶谱方法
- 傅立叶谱方法的步聚
- 傅里叶谱方法求解基本偏微分方程---一维波动方程
- 傅里叶谱方法求解基本偏微分方程—二维波动方程
傅立叶谱方法
对于在 ( − ∞ , ∞ ) (-\infty, \infty) (−∞,∞) 有定义且绝对可积、并在任一有限区间上满足狄利克莱条件的函数 u ( x ) u(x) u(x), 傅里叶变换(Fourier transform)及其逆变换(inverse Fourier transform) 定义为:
u ^ ( k ) = ∫ − ∞ ∞ u ( x ) e − i k x d x \hat{u}(k)=\int_{-\infty}^{\infty} u(x) \mathrm{e}^{-\mathrm{i} k x} \mathrm{~d} x% \label{3-1} u^(k)=∫−∞∞u(x)e−ikx dx
u ( x ) = 1 2 π ∫ − ∞ ∞ u ^ ( k ) e i k x d k u(x)=\frac{1}{2 \pi} \int_{-\infty}^{\infty} \hat{u}(k) \mathrm{e}^{\mathrm{i} k x} \mathrm{~d} k % \label{3-2} u(x)=2π1∫−∞∞u^(k)eikx dk
上述定义式给出了一个傅里叶变换对 (Fourier transform pair), 本专栏中将它们记为 u ^ ( k ) = F [ u ( x ) ] \hat{u}(k)=F[u(x)] u^(k)=F[u(x)] 和 u ( x ) = F − 1 [ u ^ ( k ) ] u(x)=F^{-1}[\hat{u}(k)] u(x)=F−1[u^(k)] .实际上, 傅里叶变换对的定义并不是唯一的, 两个定义式中的系数可以随意修改, 只要它们的积为 1 / 2 π 1 / 2 \pi 1/2π 即可.此外, 定义式中的 e − i k x \mathrm{e}^{-\mathrm{i} k x} e−ikx 和 e i k x \mathrm{e}^{\mathrm{i} k x} eikx (称为积分变换的核) 也可以互换.容易知道, u ( x ) u(x) u(x) 先后经过傅里叶变换及其逆变换仍将得到它本身, 即: u ( x ) = F − 1 { F [ u ( x ) ] } u(x)=F^{-1}\{F[u(x)]\} u(x)=F−1{F[u(x)]} .
通常来讲, 若不对 “傅里叶变换” 加任何限定, 那么它指的就是连续傅里叶变换, 也 就是针对定义在无限区间内的连续函数 u ( x ) u(x) u(x) 的傅里叶变换, 这是在理想条件下的数学定义. 在实际应用中, 尤其是计算机的信号采样、信号处理当中, 信号是离散的、有限的, 离散傅里叶变换(discrete Fourier transform) 就是针对这一情况提出的.在 Matlab
中, 对于序列 u 1 , … , u j , … , u N u_1, \ldots, u_j, \ldots, u_N u1,…,uj,…,uN 的离散傅里叶变换及逆变换定义为:
u ^ k = ∑ j = 1 N u j e − 2 π ( j − 1 ) ( k − 1 ) i N , k = 1 , … , N \hat{u}_k=\sum_{j=1}^N u_j \mathrm{e}^{\frac{-2 \pi(j-1)(k-1) \mathrm{i}}{N}}, \quad k=1, \ldots, N % \label{3-4} u^k=j=1∑NujeN−2π(j−1)(k−1)i,k=1,…,N
u j = 1 N ∑ k = 1 N u ^ k e 2 π ( j − 1 ) ( k − 1 ) i N , j = 1 , … , N u_j=\frac{1}{N} \sum_{k=1}^N \hat{u}_k \mathrm{e}^{\frac{2 \pi(j-1)(k-1) \mathrm{i}}{N}}, \quad j=1, \ldots, N% \label{3-5} uj=N1k=1∑Nu^keN2π(j−1)(k−1)i,j=1,…,N
同样, 上述定义中的归一化系数也可以有其他选择, 但它们的乘积必须为 1 / N 1 / N 1/N .如果将序列 u 1 , … , u j , … , u N u_1, \ldots, u_j, \ldots, u_N u1,…,uj,…,uN 看作等间隔空间(时间)点上的信号幅度值, 那么经过离散傅里叶变换得到的序列 u ^ 1 , … , u ^ k , … , u ^ N \hat{u}_1, \ldots, \hat{u}_k, \ldots, \hat{u}_N u^1,…,u^k,…,u^N 就是其相应的频谱信息.通过定义式 % \eqref{3-4} 和 % \eqref{3-5} 容易得到 u ^ k = u ^ k + N \hat{u}_k=\hat{u}_{k+N} u^k=u^k+N 和 u j = u j + N u_j=u_{j+N} uj=uj+N, 这就是说, 离散傅里叶变换已经隐含了周期性边界条件.
在 Matlab
中,fft
和 ifft
函数实现基于快速傅里叶变换算法的一维离散傅里叶变换及逆变换。fft
函数的一般调用语法为:
fft(u)
若u
为一向量,则 fft
返回其离散傅里叶变换的结果。若 u
为一矩阵,则 fft
返回矩阵中每一列的离散傅里叶变换。若要计算矩阵 u
中每一行的离散傅里叶变换,只需调用 fft(u,[],2)
即可,它速度比 fft(u.').'
更快一些。ifft
函数的调用语法与 fft
函数完全一样。
若输入 fft
函数的空域信号序列 u 1 , . . . , u j , . . . , u N u_1,...,u_j,...,u_N u1,...,uj,...,uN 在 x x x 轴上的坐标间隔是 L / N L/N L/N , 相应的横坐标 x x x 可认为是:
− L / 2 , − L / 2 + L / N , … , L / 2 − 2 L / N , L / 2 − L / N -L/2,-L/2+L/N,\ldots,L/2-2L/N,L/2-L/N −L/2,−L/2+L/N,…,L/2−2L/N,L/2−L/N
注意,fft
函数输出的序列 u ^ 1 , . . . , u ^ k , . . . , u ^ N \hat{u}_1,...,\hat{u}_k,...,\hat{u}_N u^1,...,u^k,...,u^N 所对应的频率并不是按照从小到大的顺序排列的,而是非负频率对应于前半部分序列,负频率对应于后半部分序列,即:
0 , 2 π / L , 4 π / L , … , ( N − 4 ) π / L , ( N − 2 ) π / L , − N π / L , − ( N − 2 ) π / L , … , − 4 π / L , − 2 π / L 0,2\pi/L,4\pi/L,\ldots,(N-4)\pi/L,(N-2)\pi/L,-N\pi/L,-(N-2)\pi/L,\ldots,-4\pi/L,-2\pi/L 0,2π/L,4π/L,…,(N−4)π/L,(N−2)π/L,−Nπ/L,−(N−2)π/L,…,−4π/L,−2π/L
因此 Matlab
提供了 fftshift
函数,用于调整 fft
输出序列的顺序。也就是说,fftshift(fft(u))
所对应的频率才是按照递增顺序排列的:
− N π / L , − ( N − 2 ) π / L , … , − 2 π / L , 0 , 2 π / L , … , ( N − 4 ) π / L , ( N − 2 ) π / L -N\pi/L,-(N-2)\pi/L,\ldots,-2\pi/L,0,2\pi/L,\ldots,(N-4)\pi/L,(N-2)\pi/L −Nπ/L,−(N−2)π/L,…,−2π/L,0,2π/L,…,(N−4)π/L,(N−2)π/L
空域坐标与频域坐标的关系如下表所示,不难发现,空域上的两点间隔和频域区间长度成反比,乘积为 2 π 2\pi 2π, 频域上的两点间隔和空域区间长度的关系亦如此。
两点间隔 | 区间长度 | |
---|---|---|
空域坐标 | L / N L / N L/N | L L L |
频域坐标 | 2 π / L 2 \pi / L 2π/L | 2 π N / L 2 \pi N / L 2πN/L |
此外还有 ifftshift
函数用于进行与 fftshift
函数相反的操作。实际上,fftshift
函数的作用仅是让 fft
的输出结果变得更易于观察,若还需要用 ifft
函数将频谱信息还原回空域信号,就必须在使用 fftshift
之后再用 ifftshift
函数将序列的顺序恢复,否则得不到正确结果。如果不是为了分析频谱信息,而是用下文即将介绍的傅里叶谱方法处理导数和微分问题,则大可不必使用 fftshift
和 ifftshift
函数调整序列的顺序,以减少代码冗余、 节约时间。
基于快速傅里叶变换算法的二维离散傅里叶变换及逆变换由 fft2、ifft2 函数实现,一般调用语法为:
fft2(u)
它返回矩阵 u 的二维傅里叶变换,等效于 fft(fft(u),[],2)。ifft2 与 fft2 的调用语法一样,就不再赘述。
fftshift 函数的调用语法为:
fftshift(u)
若u
为一向量,它将 u
左右两半互换并返回。若 u
为一矩阵,则它将 u
的第 1、3 象限互换以及第 2、4 象限互换并返回。此外,若要互换矩阵 u
的上下两半,可以调用 fftshift(u,1)
。要互换矩阵 u
的左右两半,只需调用 fftshift(u,2)
。ifftshift
函数与 fftshift
函数功能完全相反, 调用语法相同,这里不再重复。
求导与傅里叶谱方法
对于 F [ u ′ ( x ) ] F\left[u^{\prime}(x)\right] F[u′(x)], 由傅里叶变换的定义和分部积分法, 得到:
F [ u ′ ( x ) ] = ∫ − ∞ ∞ u ′ ( x ) e − i k x d x = u ( x ) e − i k x ∣ − ∞ ∞ − ∫ − ∞ ∞ u ( x ) ( − i k ) e − i k x d x F\left[u^{\prime}(x)\right]=\int_{-\infty}^{\infty} u^{\prime}(x) \mathrm{e}^{-\mathrm{i} k x} \mathrm{~d} x=\left.u(x) \mathrm{e}^{-\mathrm{i} k x}\right|_{-\infty} ^{\infty}-\int_{-\infty}^{\infty} u(x)(-\mathrm{i} k) \mathrm{e}^{-\mathrm{i} k x} \mathrm{~d} x% \label{3-7} F[u′(x)]=∫−∞∞u′(x)e−ikx dx=u(x)e−ikx −∞∞−∫−∞∞u(x)(−ik)e−ikx dx
当 ∣ x ∣ → ∞ \mid x\mid \rightarrow \infty ∣x∣→∞ 时, u ( x ) → 0 u(x) \rightarrow 0 u(x)→0, 则:
F [ u ′ ( x ) ] = i k ∫ − ∞ ∞ u ( x ) e − i k x d x = i k F [ u ( x ) ] F\left[u^{\prime}(x)\right]=\mathrm{i} k \int_{-\infty}^{\infty} u(x) \mathrm{e}^{-\mathrm{i} k x} \mathrm{~d} x=\mathrm{i} k F[u(x)]% \label{3-8} F[u′(x)]=ik∫−∞∞u(x)e−ikx dx=ikF[u(x)]
类似地, 可以得到:
F [ u ( n ) ( x ) ] = ( i k ) n F [ u ( x ) ] F\left[u^{(n)}(x)\right]=(\mathrm{i} k)^n F[u(x)]% \label{3-9} F[u(n)(x)]=(ik)nF[u(x)]
其中 u ( n ) ( x ) u^{(n)}(x) u(n)(x) 代表 u ( x ) u(x) u(x) 的 n n n 阶导数.上式的意义在于:函数的求导运算在傅里叶变换的作用下, 可转化为相对简单的代数运算, 即: u ( n ) ( x ) = F − 1 { ( i k ) n F [ u ( x ) ] } u^{(n)}(x)=F^{-1}\left\{(\mathrm{i} k)^n F[u(x)]\right\} u(n)(x)=F−1{(ik)nF[u(x)]} .正是基于此原理, 傅里叶谱方法 (Fourier spectral method) 利用傅里叶变换将偏微分方程中空域 (space domain)或时域(time domain)上的求导运算简化为频域 ( spectral domain) 上的代数运算, 求解后再通过傅里叶逆变换得到空域或时域上的结果.在代码层面上, Matlab
提供的快速傅里叶变换函数 fft
、逆变换函数 ifft
以及强大的矩阵运算能力也为简洁、优雅地实现傅里叶谱方法奠定了基础.
如前所述,fft
输出结果在频域上的顺序是颠倒的,经过 fft
函数变换后的序列在 k k k 轴上所对应的坐标是:
0 , 2 π / L , 4 π / L , . . . , ( N − 4 ) π / L , ( N − 2 ) π / L , − N π / L , − ( N − 2 ) π / L , . . . , − 4 π / L , − 2 π / L 0,2\pi/L,4\pi/L,...,(N-4)\pi/L,(N-2)\pi/L,-N\pi/L,-(N-2)\pi/L,...,-4\pi/L,-2\pi/L 0,2π/L,4π/L,...,(N−4)π/L,(N−2)π/L,−Nπ/L,−(N−2)π/L,...,−4π/L,−2π/L
利用傅里叶谱方法求导时,在代码中通常使用顺序颠倒的频域坐标,以求序列 u
的一阶导数数值解为例:ifft(i*k.*fft(u))
。其中,变量 k
是由 Matlab
语句 (2*pi/L)*[0:N/2-1 -N/2:-1]
生成的顺序颠倒的频域坐标,这样做是为了免去调用 fftshift
和 ifftshift
的步骤。
下面用实例说明傅里叶谱方法求 u ( x ) = e sin ( π x ) u(x)=\mathrm{e}^{\sin (\pi x)} u(x)=esin(πx) 的 1 、 2 、 3 1 、 2 、 3 1、2、3 阶导数的过程, 并与解析解
u ′ ( x ) = π cos ( π x ) e sin ( π x ) u^{\prime}(x)=\pi \cos (\pi x) \mathrm{e}^{\sin (\pi x)} u′(x)=πcos(πx)esin(πx)
u ′ ′ ( x ) = π 2 e sin ( π x ) [ cos 2 ( π x ) − sin ( π x ) ] u^{\prime \prime}(x)=\pi^2 \mathrm{e}^{\sin (\pi x)}\left[\cos ^2(\pi x)-\sin (\pi x)\right] u′′(x)=π2esin(πx)[cos2(πx)−sin(πx)]
u ′ ′ ′ ( x ) = π 3 e sin ( π x ) cos ( π x ) [ cos 2 ( π x ) − 3 sin ( π x ) − 1 ] u^{\prime \prime \prime}(x)=\pi^3 \mathrm{e}^{\sin (\pi x)} \cos (\pi x)\left[\cos ^2(\pi x)-3 \sin (\pi x)-1\right] u′′′(x)=π3esin(πx)cos(πx)[cos2(πx)−3sin(πx)−1]
相比较, 得到的最大误差分别在 1 0 − 14 、 1 0 − 13 、 1 0 − 11 10^{-14} 、 10^{-13} 、 10^{-11} 10−14、10−13、10−11 数量级, 如图所示.
代码如下:
clear all; close all;
L=2; N=32;
x=L/N*[-N/2:N/2-1];
k=2*pi/L*[0:N/2-1 -N/2:-1];
u=exp(sin(pi*x)); ut=fft(u);
%导数的精确解
du_exact(:,1)=pi*cos(pi*x).*u;
du_exact(:,2)=pi^2*(cos(pi*x).^2-sin(pi*x)).*u;
du_exact(:,3)=pi^3*cos(pi*x).*(cos(pi*x).^2-3*sin(pi*x)-1).*u;
%谱方法求导
du_Fourier(:,1)=ifft(i*k.*ut);
du_Fourier(:,2)=ifft((i*k).^2.*ut);
du_Fourier(:,3)=ifft((i*k).^3.*ut);
error=max(abs(du_exact-du_Fourier));
%画图
labels={'u''(x)','u''''(x)','u''''''(x)'};
for n=1:4subplot(2,2,n)if n==1plot(x,u,'k','LineWidth',1.5)xlabel x, ylabel u(x), title('u(x)=e^{sin(\pix)}')elseplot(x,du_exact(:,n-1),'k',x,du_Fourier(:,n-1),'.r' ...,'MarkerSize',13,'LineWidth',1.5)title(['Error_{max}=' num2str(error(n-1))])xlabel x, ylabel(labels(n-1))end
end
傅立叶谱方法的步聚
待求解的偏微分方程的普遍形式为:
∂ n u ∂ t n = L u + N ( u ) \frac{\partial^n u}{\partial t^n}=L u+N(u)% \label{3-11} ∂tn∂nu=Lu+N(u)
其中, u ( x , t ) u(x, t) u(x,t) 为 x 、 t x 、 t x、t 的函数, L L L 代表线性算符 (linear operator), N ( u ) N(u) N(u) 为非线性项 (nonlinear terms ).已知初始条件为 u ( x , t 0 ) u\left(x, t_0\right) u(x,t0), 在周期性边界条件下求某一时刻的 u ( x , t ) u(x, t) u(x,t) .对于这样的问题, 总是可以通过变量代换的办法将等号左边对 t t t 的 n n n 阶导数降为 1 阶, 所以下面以等号左边是 ∂ u / ∂ t \partial u / \partial t ∂u/∂t 的偏微分方程为例进行讨论, 这与式 % \eqref{3-11} 降阶后的偏微分方程组求解方法大同小异.
在 x x x 域上对以下方程做傅里叶变换:
∂ u ∂ t = L u + N ( u ) \frac{\partial u}{\partial t}=L u+N(u)% \label{3-12} ∂t∂u=Lu+N(u)
得到:
∂ u ^ ∂ t = α ( k ) u ^ + F [ N ( u ) ] \frac{\partial \hat{u}}{\partial t}=\alpha(k) \hat{u}+F[N(u)]% \label{3-13} ∂t∂u^=α(k)u^+F[N(u)]
其中, u ^ ( k , t ) \hat{u}(k, t) u^(k,t) 代表 u ( x , t ) u(x, t) u(x,t) 在 x x x 域上的傅里叶变换.为了展现对线性算符 L L L 及非线性项 N ( u ) N(u) N(u) 做傅里叶变换的细节, 这里以
L = a ⋅ ∂ 2 / ∂ x 2 + b ⋅ ∂ / ∂ x + c L=a \cdot \partial^2 / \partial x^2+b \cdot \partial / \partial x+c L=a⋅∂2/∂x2+b⋅∂/∂x+c
N ( u ) = u 3 + u 3 ⋅ ∂ 2 u / ∂ x 2 + f ( x ) ⋅ ∂ u / ∂ x N(u)=u^3+u^3 \cdot \partial^2 u / \partial x^2+f(x) \cdot \partial u / \partial x N(u)=u3+u3⋅∂2u/∂x2+f(x)⋅∂u/∂x
为例进行分析, a 、 b a 、 b a、b 和 c c c 分别为常数.
对线性部分, 有 F [ L u ] = [ a ( i k ) 2 + b ( i k ) + c ] u ^ , F[L u]=\left[a(\mathrm{i} k)^2+b(\mathrm{i} k)+c\right] \hat{u}, F[Lu]=[a(ik)2+b(ik)+c]u^, 则式 % \eqref{3-13} 中的 α ( k ) = a ( i k ) 2 + b ( i k ) + c = \alpha(k)=a(\mathrm{i} k)^2+b(\mathrm{i} k)+c= α(k)=a(ik)2+b(ik)+c= − a k 2 + i b k + c -a k^2+\mathrm{i} b k+c −ak2+ibk+c .
对非线性部分, 需要将 u 、 ∂ u / ∂ x u 、 \partial u / \partial x u、∂u/∂x 和 ∂ 2 u / ∂ x 2 \partial^2 u / \partial x^2 ∂2u/∂x2 写为 F − 1 [ u ^ ] 、 F − 1 [ i k u ^ ] F^{-1}[\hat{u}] 、 F^{-1}[\mathrm{i} k \hat{u}] F−1[u^]、F−1[iku^] 和 F − 1 [ ( i k ) 2 u ^ ] F^{-1}\left[(\mathrm{i} k)^2 \hat{u}\right] F−1[(ik)2u^], 则有
F [ N ( u ) ] = F [ u 3 + u 3 ⋅ ∂ 2 u / ∂ x 2 + f ( x ) ⋅ ∂ u / ∂ x ] = F { F − 1 [ u ^ ] 3 + F − 1 [ u ^ ] 3 ⋅ F − 1 [ ( i k ) 2 u ^ ] + f ( x ) ⋅ F − 1 [ i k u ^ ] } \begin{aligned} F[N(u)]&=F\left[u^3+u^3 \cdot \partial^2 u / \partial x^2+f(x) \cdot \partial u / \partial x\right]\\ &=F\left\{F^{-1}[\hat{u}]^3+F^{-1}[\hat{u}]^3 \cdot F^{-1}\left[(\mathrm{i} k)^2 \hat{u}\right]+f(x) \cdot F^{-1}[\mathrm{i} k \hat{u}]\right\}\end{aligned} F[N(u)]=F[u3+u3⋅∂2u/∂x2+f(x)⋅∂u/∂x]=F{F−1[u^]3+F−1[u^]3⋅F−1[(ik)2u^]+f(x)⋅F−1[iku^]}
这样, 式 % \eqref{3-12} 中 u ( x , t ) u(x, t) u(x,t) 对 x x x 的偏导数就都通过傅里叶变换及逆变换简化为式 % \eqref{3-13} 中 u ^ ( k , t ) \hat{u}(k, t) u^(k,t) 和 k k k 的代数运算了, 然后再将 u ^ \hat{u} u^ 和 k k k 离散化, 偏微分方程就简化成了常微分方程组.数值计算 ∂ u ^ ( k , t ) / ∂ t \partial \hat{u}(k, t) / \partial t ∂u^(k,t)/∂t 最直接的方法就是调用 Matlab
的 ode
系列函数, 优先选择 ode 45
函数, 最后用 ifft
函数将频域上的计算结果 u ^ ( k , t ) \hat{u}(k, t) u^(k,t) 变换回待求的 u ( x , t ) u(x, t) u(x,t) .
综上, 利用傅里叶谱方法数值计算偏微分方程 (组) 步骤如图(一维情况下的傅里叶谱方法计算过程)所示, 具体过程如下:
-
对于形如式 % \eqref{3-11} 的偏微分方程 (组), 通过变量代换将其中的 ∂ n u / ∂ t n \partial^n u / \partial t^n ∂nu/∂tn 降为 1 阶 导数, 若 n = 1 n=1 n=1, 略过此步.
-
在 x x x 域上对偏微分方程 (组) 做傅里叶变换, 则线性项中的 ∂ n u / ∂ x n \partial^n u / \partial x^n ∂nu/∂xn 直接变为 ( i k ) n u ^ (\mathrm{i} k)^n \hat{u} (ik)nu^, 并利用 u = F − 1 [ u ^ ] 、 ∂ n u / ∂ x n = F − 1 [ ( i k ) n u ^ ] u=F^{-1}[\hat{u}] 、 \partial^n u / \partial x^n=F^{-1}\left[(\mathrm{i} k)^n \hat{u}\right] u=F−1[u^]、∂nu/∂xn=F−1[(ik)nu^] 代换非线性项中的 u 、 ∂ n u / ∂ x n u 、 \partial^n u / \partial x^n u、∂nu/∂xn, 得到关于 u ^ ( k , t ) \hat{u}(k, t) u^(k,t) 的微分方程 (组).
-
用时间步进法 (如龙格-库塔法等) 数值计算离散化的关于 u ^ ( k , t ) \hat{u}(k, t) u^(k,t) 的微分方程组, 默认边界条件为周期性边界条件, 初始条件 u ^ ( k , t 0 ) = F [ u ( x , t 0 ) ] \hat{u}\left(k, t_0\right)=F\left[u\left(x, t_0\right)\right] u^(k,t0)=F[u(x,t0)] .
-
将上一步得到的结果从频域变换回空域, 即: u ( x , t ) = F − 1 [ u ^ ( k , t ) ] u(x, t)=F^{-1}[\hat{u}(k, t)] u(x,t)=F−1[u^(k,t)] .离散傅里叶变换及逆变换由
fft
、ifft
函数实现.
傅里叶谱方法求解基本偏微分方程—一维波动方程
对于一根两端固定、没有受到任何外力的弦, 若只研究其中的一段, 在不太长的时间里, 固定端来不及对这段弦产生影响, 则可以认为固定端是不存在的, 弦的长度为无限大。 这种无界 ( − ∞ < x < ∞ ) (-\infty<x<\infty) (−∞<x<∞) 弦的自由振动由式 ( 1 ) (1) (1) 描述。
∂ 2 u ∂ t 2 = a 2 ∂ 2 u ∂ x 2 \frac{\partial^2 u}{\partial t^2}=a^2 \frac{\partial^2 u}{\partial x^2} % \label{111} ∂t2∂2u=a2∂x2∂2u
如果保证数值计算的区间足够大, 在一定时间内, 弦的振动范围始终没有超出计算区间 (或可以近似地这么认为), 那么就能够放心地使用周期性边界条件。取 a = 1 a=1 a=1, 初始条件为:
u ∣ t = 0 = 2 sech ( x ) , ∂ u ∂ t ∣ t = 0 = 0 \left.\quad u\right|_{t=0}=2 \operatorname{sech}(x),\left.\quad \frac{\partial u}{\partial t}\right|_{t=0}=0 u∣t=0=2sech(x),∂t∂u t=0=0
在数学物理方法中, 无界弦的自由振动可由行波法求出解析解, 即达朗贝尔公式。 根据达朗贝尔公式, 从 t = 0 t=0 t=0 开始, 长度为 L = 80 L=80 L=80 的 u u u 的初始状态 2 sech ( x ) 2 \operatorname{sech}(x) 2sech(x) 将分裂为两个 sech 形的波, 分别向两边以速度 a = 1 a=1 a=1 经过 T = 20 T=20 T=20 秒传播出去, 即正行波和反行波。下面用傅里叶谱方法求解无界弦的自由振动问题, 并与达朗贝尔公式的预测进行比较。首先引入函数 v v v 对式 % \eqref{111} 进行降阶:
{ ∂ u ∂ t = v ∂ v ∂ t = a 2 ∂ 2 u ∂ x 2 \left\{\begin{array}{l} \frac{\partial u}{\partial t}=v \\ \frac{\partial v}{\partial t}=a^2 \frac{\partial^2 u}{\partial x^2} \end{array}\right. {∂t∂u=v∂t∂v=a2∂x2∂2u
对上式等号两边做傅里叶变换(连续), 化为偏微分方程组:
{ ∂ u ^ ∂ t = v ^ ∂ v ^ ∂ t = − a 2 k 2 u ^ \left\{\begin{array}{l} \frac{\partial \hat{u}}{\partial t}=\hat{v} \\ \frac{\partial \hat{v}}{\partial t}=-a^2 k^2 \hat{u} \end{array}\right. {∂t∂u^=v^∂t∂v^=−a2k2u^
注意,以上操作均在连续系统下进行,未做离散近似。
接下来开始构建数值格式,首先,对区间 [ − L 2 , L 2 ] [-\frac{L}{2},\frac{L}{2}] [−2L,2L] 做空间剖分,得到空域信号序列 u 1 , . . . , u j , . . . , u N u_1,...,u_j,...,u_N u1,...,uj,...,uN 在 x x x 轴上的坐标间隔是 L / N L/N L/N , 相应的横坐标 x x x 可认为是:
− L / 2 , − L / 2 + L / N , … , L / 2 − 2 L / N , L / 2 − L / N -L/2,-L/2+L/N,\ldots,L/2-2L/N,L/2-L/N −L/2,−L/2+L/N,…,L/2−2L/N,L/2−L/N
此时可使用 Matlab
中 fft
函数做离散傅立叶变换,需要注意的是,fft
函数输出的序列 u ^ 1 , . . . , u ^ k , . . . , u ^ N \hat{u}_1,...,\hat{u}_k,...,\hat{u}_N u^1,...,u^k,...,u^N 所对应的频率并不是按照从小到大的顺序排列的,而是非负频率对应于前半部分序列,负频率对应于后半部分序列,即相应的横坐标 k k k 可认为是:
0 , 2 π / L , 4 π / L , … , ( N − 4 ) π / L , ( N − 2 ) π / L , − N π / L , − ( N − 2 ) π / L , … , − 4 π / L , − 2 π / L 0,2\pi/L,4\pi/L,\ldots,(N-4)\pi/L,(N-2)\pi/L,-N\pi/L,-(N-2)\pi/L,\ldots,-4\pi/L,-2\pi/L 0,2π/L,4π/L,…,(N−4)π/L,(N−2)π/L,−Nπ/L,−(N−2)π/L,…,−4π/L,−2π/L
因此 Matlab
提供了 fftshift
函数,用于调整 fft
输出序列的顺序。也就是说,fftshift(fft(u))
所对应的频率才是按照递增顺序排列的:
− N π / L , − ( N − 2 ) π / L , … , − 2 π / L , 0 , 2 π / L , … , ( N − 4 ) π / L , ( N − 2 ) π / L -N\pi/L,-(N-2)\pi/L,\ldots,-2\pi/L,0,2\pi/L,\ldots,(N-4)\pi/L,(N-2)\pi/L −Nπ/L,−(N−2)π/L,…,−2π/L,0,2π/L,…,(N−4)π/L,(N−2)π/L
此外还有 ifftshift
函数用于进行与 fftshift
函数相反的操作。实际上,fftshift
函数的作用仅是让 fft
的输出结果变得更易于观察,若还需要用 ifft
函数将频谱信息还原回空域信号,就必须在使用 fftshift
之后再用 ifftshift
函数将序列的顺序恢复,否则得不到正确结果。如果不是为了分析频谱信息,而此处目的是通过傅里叶谱方法处理微分问题,则大可不必使用 fftshift
和 ifftshift
函数调整序列的顺序,而是在代码中通常使用顺序颠倒的频域坐标,以减少代码冗余、 节约时间。
以求序列 u
的二阶导数数值解为例:ifft((i*k).^2.*fft(u))
。其中,变量 k
是由 Matlab
语句 (2*pi/L)*[0:N/2-1 -N/2:-1]
生成的顺序颠倒的频域坐标,这样做是为了免去调用 fftshift
和 ifftshift
的步骤。
这样就可以用 ode45
求解了, 详细代码如下:
主程序代码如下:
clear all; close all;L=80;N=256;
x=L/N*[-N/2:N/2-1];
k=(2*pi/L)*[0:N/2-1 -N/2:-1].';
% 初始条件
u=2*sech(x);ut=fft(u);
vt=zeros(1,N);uvt=[ut vt];
% 求解
a=1;t=0:0.5:20;
[t,uvtsol]=ode45('wave1D',t,uvt,[],N,k,a);
usol=ifft(uvtsol(:,1:N),[],2);
% 画图
p=[1 11 21 41];
for n=1:4subplot(5,2,n)plot(x,usol(p(n),:),'k','LineWidth',1.5),xlabel x,ylabel utitle(['t=' num2str(t(p(n)))]),axis([-L/2 L/2 0 2])
end
subplot(5,2,5:10)
waterfall(x,t,usol),view(10,45)
xlabel x,ylabel t,zlabel u,axis([-L/2 L/2 0 t(end) 0 2])
文件 wave1D.m 代码如下:
function duvt=wave1D(t,uvt,dummy,N,k,a)
ut=uvt(1:N);vt=uvt(N+[1:N]);
duvt=[vt;-a^2*(k).^2.*ut];
end
计算结果如图所示, 初始状态的波形分裂成两半, 并分别向 x x x 轴正方向和负方向 以速度 a a a 运动, 这和达朗贝尔公式给出的结论是一致的。
傅里叶谱方法求解基本偏微分方程—二维波动方程
将一维波动方程中的一维无界弦自由振动方程推广到二维空间上, 就得到了描述无界 ( − ∞ < x , y < ∞ ) (-\infty<x, y<\infty) (−∞<x,y<∞) 弹性薄膜的波动方程:
∂ 2 u ∂ t 2 = a 2 ( ∂ 2 ∂ x 2 + ∂ 2 ∂ y 2 ) u \frac{\partial^2 u}{\partial t^2}=a^2\left(\frac{\partial^2}{\partial x^2}+\frac{\partial^2}{\partial y^2}\right) u % \label{222} ∂t2∂2u=a2(∂x2∂2+∂y2∂2)u
取 a = 1 a=1 a=1, 初始条件为:
u ∣ t = 0 = e − 20 [ ( x − 0.4 ) 2 + ( y + 0.4 ) 2 ] + e − 20 [ ( x + 0.4 ) 2 + ( y − 0.4 ) 2 ] , ∂ u ∂ t ∣ t = 0 = 0 \left.u\right|_{t=0}=\mathrm{e}^{-20\left[(x-0.4)^2+(y+0.4)^2\right]}+\mathrm{e}^{-20\left[(x+0.4)^2+(y-0.4)^2\right]},\left.\quad \frac{\partial u}{\partial t}\right|_{t=0}=0 u∣t=0=e−20[(x−0.4)2+(y+0.4)2]+e−20[(x+0.4)2+(y−0.4)2],∂t∂u t=0=0
可以这样理解上述初始条件的物理意义: 两手抓住弹性薄膜的两个位置, 分别提起, 使薄膜上形成两个峰, 在 t = 0 t=0 t=0 时刻突然松手。根据生活常识可以预料到, 这两个位置的薄 膜将来回振动, 与此同时, 产生的波向四周传播, 而且波与波会在相遇处叠加。
为便于求解, 引入函数 v v v 对式 % \eqref{222} 进行降阶, 得:
{ ∂ u ∂ t = v ∂ v ∂ t = a 2 ( ∂ 2 ∂ x 2 + ∂ 2 ∂ y 2 ) u \left\{\begin{array}{l} \frac{\partial u}{\partial t}=v \\ \frac{\partial v}{\partial t}=a^2\left(\frac{\partial^2}{\partial x^2}+\frac{\partial^2}{\partial y^2}\right) u \end{array}\right. {∂t∂u=v∂t∂v=a2(∂x2∂2+∂y2∂2)u
对上式等号两边做傅里叶变换, 得到常微分方程组:
{ ∂ u ~ ^ ∂ t = v ^ ^ ∂ v ^ ^ ∂ t = − a 2 ( k x 2 + k y 2 ) u ^ ^ \left\{\begin{array}{l} \frac{\partial \hat{\tilde{u}}}{\partial t}=\hat{\hat{v}} \\ \frac{\partial \hat{\hat{v}}}{\partial t}=-a^2\left(k_x^2+k_y^2\right) \hat{\hat{u}} \end{array}\right. {∂t∂u~^=v^^∂t∂v^^=−a2(kx2+ky2)u^^
接下来用 ode45
求解即可, 代码如下:
主程序代码如下:
clear all; close all;L=4;N=64;
x=L/N*[-N/2:N/2-1];y=x;
kx=(2*pi/L)*[0:N/2-1 -N/2:-1];ky=kx;
[X,Y]=meshgrid(x,y);
[kX,kY]=meshgrid(kx,ky);
K2=kX.^2+kY.^2;
% 初始条件
u=exp(-20*((X-0.4).^2+(Y+0.4).^2))+exp(-20*((X+0.4).^2+(Y-0.4).^2));
ut=fft2(u);vt=zeros(N);uvt=[ut(:); vt(:)];
% 求解
a=1;t=[0 0.25 0.5 1];
[t,uvtsol]=ode45('wave2D',t,uvt,[],N,K2(:),a);
% 画图
for n=1:4subplot(2,2,n)mesh(x,y,ifft2(reshape(uvtsol(n,1:N^2),N,N))),view(10,45)title(['t=' num2str(t(n))]),axis([-L/2 L/2 -L/2 L/2 0 1])xlabel x,ylabel y,xlabel x,zlabel u
end
文件 wave2D.m 代码如下:
function duvt=wave2D(t,uvt,dummy,N,K2,a)
ut=uvt(1:N^2);vt=uvt(N^2+[1:N^2]);
duvt=[vt;-a^2*K2.*ut];
end
程序输出结果如图所示, 它反映了弹性薄膜上的波向四周传播的过程。