谱方法学习笔记-上(超详细)

谱方法学习笔记📒

谱方法学习笔记-下(超详细)
声明:鉴于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)eikx 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π1u^(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)=F1[u^(k)] .实际上, 傅里叶变换对的定义并不是唯一的, 两个定义式中的系数可以随意修改, 只要它们的积为 1 / 2 π 1 / 2 \pi 1/2π 即可.此外, 定义式中的 e − i k x \mathrm{e}^{-\mathrm{i} k x} eikx 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)=F1{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=1NujeN2π(j1)(k1)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=1Nu^keN2π(j1)(k1)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 中,fftifft 函数实现基于快速傅里叶变换算法的一维离散傅里叶变换及逆变换。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/22L/N,L/2L/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,,(N4)π/L,(N2)π/L,Nπ/L,(N2)π/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,(N2)π/L,,2π/L,0,2π/L,,(N4)π/L,(N2)π/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 函数将序列的顺序恢复,否则得不到正确结果。如果不是为了分析频谱信息,而是用下文即将介绍的傅里叶谱方法处理导数和微分问题,则大可不必使用 fftshiftifftshift 函数调整序列的顺序,以减少代码冗余、 节约时间。

基于快速傅里叶变换算法的二维离散傅里叶变换及逆变换由 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)eikx dx=u(x)eikx u(x)(ik)eikx 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)]=iku(x)eikx 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)=F1{(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,...,(N4)π/L,(N2)π/L,Nπ/L,(N2)π/L,...,4π/L,2π/L
利用傅里叶谱方法求导时,在代码中通常使用顺序颠倒的频域坐标,以求序列 u 的一阶导数数值解为例:ifft(i*k.*fft(u))。其中,变量 k 是由 Matlab 语句 (2*pi/L)*[0:N/2-1 -N/2:-1] 生成的顺序颠倒的频域坐标,这样做是为了免去调用 fftshiftifftshift 的步骤。

下面用实例说明傅里叶谱方法求 u ( x ) = e sin ⁡ ( π x ) u(x)=\mathrm{e}^{\sin (\pi x)} u(x)=esin(πx) 1 、 2 、 3 1 、 2 、 3 123 阶导数的过程, 并与解析解

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} 101410131011 数量级, 如图所示.
傅里叶谱方法求 u(x) 的 1、2、3 阶导数并与解析解比较代码如下:

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:4
    subplot(2,2,n)
    if n==1
        plot(x,u,'k','LineWidth',1.5)
        xlabel x, ylabel u(x), title('u(x)=e^{sin(\pix)}')
    else
        plot(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} tnnu=Lu+N(u)
其中, u ( x , t ) u(x, t) u(x,t) x 、 t x 、 t xt 的函数, 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} tu=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} tu^=α(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=a2/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+u32u/x2+f(x)u/x

为例进行分析, a 、 b a 、 b ab 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 uu/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}] F1[u^]F1[iku^] F − 1 [ ( i k ) 2 u ^ ] F^{-1}\left[(\mathrm{i} k)^2 \hat{u}\right] F1[(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+u32u/x2+f(x)u/x]=F{F1[u^]3+F1[u^]3F1[(ik)2u^]+f(x)F1[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 最直接的方法就是调用 Matlabode 系列函数, 优先选择 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=F1[u^]nu/xn=F1[(ik)nu^] 代换非线性项中的 u 、 ∂ n u / ∂ x n u 、 \partial^n u / \partial x^n unu/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)=F1[u^(k,t)] .离散傅里叶变换及逆变换由 fftifft 函数实现.

傅里叶谱方法求解基本偏微分方程—一维波动方程

对于一根两端固定、没有受到任何外力的弦, 若只研究其中的一段, 在不太长的时间里, 固定端来不及对这段弦产生影响, 则可以认为固定端是不存在的, 弦的长度为无限大。 这种无界 ( − ∞ < 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} t22u=a2x22u
如果保证数值计算的区间足够大, 在一定时间内, 弦的振动范围始终没有超出计算区间 (或可以近似地这么认为), 那么就能够放心地使用周期性边界条件。取 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 ut=0=2sech(x),tu 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. {tu=vtv=a2x22u
对上式等号两边做傅里叶变换(连续), 化为偏微分方程组:
{ ∂ 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. {tu^=v^tv^=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/22L/N,L/2L/N

此时可使用 Matlabfft 函数做离散傅立叶变换,需要注意的是,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,,(N4)π/L,(N2)π/L,Nπ/L,(N2)π/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,(N2)π/L,,2π/L,0,2π/L,,(N4)π/L,(N2)π/L
此外还有 ifftshift 函数用于进行与 fftshift 函数相反的操作。实际上,fftshift 函数的作用仅是让 fft 的输出结果变得更易于观察,若还需要用 ifft 函数将频谱信息还原回空域信号,就必须在使用 fftshift 之后再用 ifftshift 函数将序列的顺序恢复,否则得不到正确结果。如果不是为了分析频谱信息,而此处目的是通过傅里叶谱方法处理微分问题,则大可不必使用 fftshiftifftshift 函数调整序列的顺序,而是在代码中通常使用顺序颠倒的频域坐标,以减少代码冗余、 节约时间。

以求序列 u 的二阶导数数值解为例:ifft((i*k).^2.*fft(u))。其中,变量 k 是由 Matlab 语句 (2*pi/L)*[0:N/2-1 -N/2:-1] 生成的顺序颠倒的频域坐标,这样做是为了免去调用 fftshiftifftshift 的步骤。

这样就可以用 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:4
    subplot(5,2,n)
    plot(x,usol(p(n),:),'k','LineWidth',1.5),xlabel x,ylabel u
    title(['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} t22u=a2(x22+y22)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 ut=0=e20[(x0.4)2+(y+0.4)2]+e20[(x+0.4)2+(y0.4)2],tu 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. {tu=vtv=a2(x22+y22)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. {tu~^=v^^tv^^=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:4
    subplot(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

程序输出结果如图所示, 它反映了弹性薄膜上的波向四周传播的过程。

二维波动方程的数值解

本文来自互联网用户投稿,该文观点仅代表作者本人,不代表本站立场。本站仅提供信息存储空间服务,不拥有所有权,不承担相关法律责任。如若转载,请注明出处:/a/202157.html

如若内容造成侵权/违法违规/事实不符,请联系我们进行投诉反馈qq邮箱809451989@qq.com,一经查实,立即删除!

相关文章

SpringBoot+网易邮箱登录注册

文章目录 SpringBoot网易邮箱登录注册pom.xmlapplication.ymlsqlUserEmail.javaUserEmailMapper.javaUserEmailMapper.xmlEmailService.javaUserEmailService.javaUserEmailServiceImpl.javaUserEmailController.javaregister1.html 编写前参考 SpringBoot网易邮箱登录注册 po…

文生视频的发展史及其原理解析:从Gen2、Emu Video到PixelDance、SVD、Pika 1.0

前言 考虑到文生视频开始爆发&#xff0c;比如11月份就是文生视频最火爆的一个月 11月3日&#xff0c;Runway的Gen-2发布里程碑式更新&#xff0c;支持4K超逼真的清晰度作品(runway是Stable Diffusion最早版本的开发商&#xff0c;Stability AI则开发的SD后续版本)11月16日&a…

Python MD5加密的三种方法(可加盐)

方法一&#xff1a;MD5直接加密 import hashlibtext1123456 print(text1) mdhashlib.md5(text1.encode()) # 创建md5对象 md5pwdmd.hexdigest() # md5加密 print(md5pwd) 输出结果&#xff1a; 方法二&#xff1a;MD5盐加密&#xff0c;将盐拼接在原密码后 import ha…

轻松愉悦的验证方式:实现图片旋转验证功能

说在前面 在当今互联网时代&#xff0c;随着技术的不断进步&#xff0c;传统的验证码验证方式已经无法满足对安全性和用户体验的需求。为了应对日益狡猾的机器人和恶意攻击&#xff0c;许多网站和应用程序开始引入图形验证码&#xff0c;其中一种备受欢迎的形式就是图片旋转验证…

手机一键“触达”!VR全景助力政务服务大厅数字升级

在我们的日常生活中&#xff0c;去政务服务大厅办事&#xff0c;总是避免不了遭遇“缺一样材料”的烦恼。因此网友总是吐槽&#xff0c;办事服务窗口总是多次要求提供不同证明&#xff0c;“一会儿说要身份证&#xff0c;一会儿又说要护照”&#xff0c;每次带上服务窗口要求的…

pyqt 创建 Windows 窗口 音乐图片播放器制作

Part1&#xff1a; 介绍 在这篇文章中&#xff0c;我们将学习如何使用PyQt 库创建一个基本的窗口应用程序&#xff0c;并进行一些常见的窗口定制。我们将涵盖以下主题: 1.创建基本窗口 2.设置窗口布局 3.设置窗口名 4.实现窗口的最大化和最小化功能 5.加载图片&#xff0c;播…

enum枚举类 - Java

枚举类 一、引入二、介绍三、实现方式1、 自定义类实现枚举小结 2、 enum关键字实现枚举 四、使用enum注意事项五、练习六、enum常用方法七、练习八、enum和接口 一、引入 要求创建季节(Season)对象&#xff0c;请设计并完成。 传统方法&#xff1a; public class Enumerati…

牛客算法心得——kotori和素因子(dfs)

大家好&#xff0c;我是晴天学长&#xff0c;传智杯的题&#xff0c;一个经典的全排列找最小的问题&#xff0c;需要的小伙伴可以关注支持一下哦&#xff01;后续会继续更新的。&#x1f4aa;&#x1f4aa;&#x1f4aa; 1) .kotori和素因子 链接&#xff1a;https://ac.nowcod…

运维知识点-openResty

openResty 企业级实战——畅购商城SpringCloud-网站首页高可用解决方案-openRestynginxlua——实现广告缓存测试企业级实战——畅购商城SpringCloud-网站首页高可用解决方案-openRestynginxlua——OpenResty 企业级实战——畅购商城SpringCloud-网站首页高可用解决方案-openRes…

鸿蒙【HarmonyOS】开发初体验

官方开发文档 依照官方开发文档进行配置&#xff0c;官方的文档很详细&#xff08;虽然有些粗糙&#xff09;。 其实只要下载了deveco studio&#xff0c;其他就按照next来就行了。配置都很清楚。 顺便提一下&#xff0c;deveco是基于intellij 的&#xff0c;体验很不错&…

Android性能优化- 从SharedPreferences到MMKV

前言 前面Android性能优化 - 从SharedPreferences跨越到DataStore一文主要介绍了DataStore的实现原理&#xff0c;以及DataStore相对于SharedPreferences的提升&#xff0c;本文主要简述MMKV相对于SharedPreferences存储的使用及优劣势&#xff0c;以及MMKV原理&#xff0c;以…

chrome 调试之 - 给微软小冰看病(无论给小冰发送什么内容都只回复“我已经开始升级啦,期待一下吧!”)

微软 Bing 搜索推出了小冰AI智能聊天模块&#xff0c;具体启用方式是用edge或chrome浏览器打开链接 cn.bing.com 后在输入框搜索任意内容&#xff0c;待搜索结果页面加载完并稍等片刻&#xff0c;页面右侧就会出现一个躲在滚动条后面的小萝莉&#xff0c;抚摸...不&#xff0c;…

elementui中table进行表单验证

<el-form :model"ruleForm" ref"ruleForm" class"demo-ruleForm"><el-table :data"ruleForm.tableDataShou" border style"width: 100%;"><el-table-column type"index" label"序号" wi…

数据预处理:随机裁剪放缩

随机裁剪放缩是一种数据增强技术&#xff0c;可以在训练神经网络时增加数据的多样性&#xff0c;提高模型的泛化能力。具体来说&#xff0c;随机裁剪放缩可以通过随机裁剪和缩放原始图片来生成多个不同的训练样本&#xff0c;从而增加数据集的大小和多样性。这种技术在图像分类…

Flink-时间流与水印

时间流与水印 一、背景二、时间语义1.事件时间&#xff08;event time&#xff09;2.读取时间&#xff08;ingestion time&#xff09;3.处理时间&#xff08;processing time&#xff09; 三、水印-Watermarks1.延迟和正确性2.延迟事件3.顺序流4.无序流5.并行流 四、Windows1.…

Redis对象系统

前言 在Redis中有许多数据结构&#xff0c;比如&#xff1a;简单动态字符串(SDS)&#xff0c;双端链表&#xff0c;字典&#xff0c;压缩列表&#xff0c;整数集合等。 Redis并没有直接使用这些数据结构来实现键值对数据库&#xff0c;而是基于这些数据结构创建了一个对象系统。…

脚本格式问题记录

服务器上的一些脚本迁移到其他服务上发生的小问题 问题&#xff1a;执行一个在win10系统编写好的shell脚本&#xff0c;放到Linux上执行报错如下&#xff1a; bash: ./xxx.sh: /bin/bash^M: bad interpreter: No such file or directory 原因&#xff1a;window系统写的脚本&a…

【Spring Boot 源码学习】BootstrapRegistryInitializer 详解

Spring Boot 源码学习系列 BootstrapRegistryInitializer 详解 引言往期内容主要内容1. 初识 BootstrapRegistryInitializer2. 加载 BootstrapRegistryInitializer3. BootstrapRegistryInitializer 的初始化 总结 引言 书接前文《初识 SpringApplication》&#xff0c;我们从 …

A*算法学习

系列文章目录 前言 在总结 2023华为软件精英挑战赛——全赛段思路分享与总结 - 知乎 (zhihu.com)时&#xff0c;发现自己还有很多技术细节没搞懂&#xff0c;这里看静态全局路径规划最常见的A*算法&#xff0c;这个博主讲得很好&#xff1a; A-Star&#xff08;A*&#xff0…

第十五届蓝桥杯(Web 应用开发)模拟赛 2 期-大学组(详细分析解答)

目录 1.相不相等 1.1 题目要求 1.2 题目分析 1.3 源代码 2.三行情书 2.1 题目要求 2.2 题目分析 2.3 源代码 3.电影院在线订票 3.1 题目要求 3.2 题目分析 3.3 源代码 4.老虎坤&#xff08;不然违规发不出来&#xff09; 4.1 题目要求 4.2 题目分析 4.3 源代码 …