🎯要点
🎯达朗贝尔一维波动通解,二维变速模拟 | 🎯达朗贝尔算子解双曲波形微分方程 | 🎯耗散系统粘性伯格斯方程快速傅里叶变换算法 | 🎯二维线性和非线性对流扩散解和湍流隐式建模
📜偏微分方程用例:Python自动造波器椭圆曲线波孤子解
📜有限差分用例:Python微磁学磁倾斜和西塔规则算法
🍇Python一维粘性伯格斯方程
一维空间中粘性伯格斯方程的一般形式是耗散系统:
∂ u ∂ t + u ∂ u ∂ x = ν ∂ 2 u ∂ x 2 \frac{\partial u}{\partial t}+u \frac{\partial u}{\partial x}=\nu \frac{\partial^2 u}{\partial x^2} ∂t∂u+u∂x∂u=ν∂x2∂2u
此项 u ∂ u / ∂ x u \partial u / \partial x u∂u/∂x 也可以重写为 ∂ ( u 2 / 2 ) / ∂ x \partial\left(u^2 / 2\right) / \partial x ∂(u2/2)/∂x。当扩散项不存在时(即 ν = 0 \nu=0 ν=0 ),粘性伯格斯程变为无粘伯格斯方程:
∂ u ∂ t + u ∂ u ∂ x = 0 \frac{\partial u}{\partial t}+u \frac{\partial u}{\partial x}=0 ∂t∂u+u∂x∂u=0
这是可以产生不连续性(冲击波)的守恒方程的原型。
当人们检查等式的左侧时, ν \nu ν 的小值形成锐梯度的原因就变得直观清楚了。此项 ∂ / ∂ t + u ∂ / ∂ x \partial / \partial t+u \partial / \partial x ∂/∂t+u∂/∂x 显然是一个波算子,描述以 u u u 速度沿正 x x x 方向传播的波。由于波速为 u u u,表现出较大 u u u值的区域将比表现出较小 u u u值的区域更快地向右传播;换句话说,如果 u u u 最初沿 x x x 方向减小,则位于背面的较大 u u u 将赶上位于正面的较小 u u u 。右侧扩散项的作用本质上是阻止梯度变得无穷大。
在此,我们将使用非线性对流和扩散,仅创建一维伯格方程。
∂ u ∂ t + u ∂ u ∂ x = ν ∂ 2 u ∂ x 2 \frac{\partial u}{\partial t}+u \frac{\partial u}{\partial x}=\nu \frac{\partial^2 u}{\partial x^2} ∂t∂u+u∂x∂u=ν∂x2∂2u
我们可以离散化这个微分,采用以下形式:
u i n + 1 − u i n Δ t + u i n u i n − u i − 1 n Δ x = v u i + 1 n − 2 u i n + u i − 1 n Δ x 2 \frac{u_i^{n+1}-u_i^n}{\Delta t}+u_i^n \frac{u_i^n-u_{i-1}^n}{\Delta x}=v \frac{u_{i+1}^n-2 u_i^n+u_{i-1}^n}{\Delta x^2} Δtuin+1−uin+uinΔxuin−ui−1n=vΔx2ui+1n−2uin+ui−1n
在解决了未知数之后,我们得到了用 Python 编码的算法。
u i n + 1 = u i n − u i n Δ t Δ x ( u i n − u i − 1 n ) + v Δ t Δ x 2 ( u i + 1 n − 2 u i n + u i − 1 n ) u_i^{n+1}=u_i^n-u_i^n \frac{\Delta t}{\Delta x}\left(u_i^n-u_{i-1}^n\right)+v \frac{\Delta t}{\Delta x^2}\left(u_{i+1}^n-2 u_i^n+u_{i-1}^n\right) uin+1=uin−uinΔxΔt(uin−ui−1n)+vΔx2Δt(ui+1n−2uin+ui−1n)
速度的初始条件是使用以下函数创建的:
u = − 2 v ϕ ∂ ϕ ∂ x + 4 ϕ = exp ( − x 2 4 v ) + exp ( − ( x − 2 π ) 2 4 v ) \begin{aligned} u & =-\frac{2 v}{\phi} \frac{\partial \phi}{\partial x }+4 \\ \phi & =\exp \left(\frac{- x ^2}{4 v}\right)+\exp \left(\frac{-( x -2 \pi)^2}{4 v}\right) \end{aligned} uϕ=−ϕ2v∂x∂ϕ+4=exp(4v−x2)+exp(4v−(x−2π)2)
边界条件意味着周期性,由下式给出:
u ( 0 ) = u ( 2 π ) u(0)=u(2 \pi) u(0)=u(2π)
有一个解析解:
u = − 2 v ϕ ∂ ϕ ∂ x + 4 ϕ = exp ( − ( x − 4 t ) 2 4 v ( t + 1 ) ) + exp ( − ( x − 4 t − 2 π ) 2 4 v ( t + 1 ) ) \begin{aligned} & u =-\frac{2 v}{\phi} \frac{\partial \phi}{\partial x }+4 \\ & \phi=\exp \left(\frac{-( x -4 t )^2}{4 v( t +1)}\right)+\exp \left(\frac{-( x -4 t -2 \pi)^2}{4 v( t +1)}\right) \end{aligned} u=−ϕ2v∂x∂ϕ+4ϕ=exp(4v(t+1)−(x−4t)2)+exp(4v(t+1)−(x−4t−2π)2)
解该问题的Python代码如下:
import numpy as np
import sympy as sp
import pylab as pl
pl.ion()x, nu, t = sp.symbols('x nu t')
phi = sp.exp(-(x-4*t)**2/(4*nu*(t+1))) + sp.exp(-(x-4*t-2*np.pi)**2/(4*nu*(t+1)))phiprime = phi.diff(x)
u = -2*nu*(phiprime/phi)+4from sympy.utilities.lambdify import lambdify
ufunc = lambdify ((t, x, nu), u)nx = 101
nt = 100
dx = 2*np.pi/(nx-1)
nu = 0.07
dt = dx*nu
T = nt*dt grid = np.linspace(0, 2*np.pi, nx)
un = np.empty(nx)
t = 0
u = np.asarray([ufunc(t, x, nu) for x in grid])pl.figure(figsize=(11,7), dpi=100)
pl.plot(grid,u, marker='o', lw=2)
pl.xlim([0,2*np.pi])
pl.ylim([0,10])
pl.xlabel('X')
pl.ylabel('Velocity')
pl.title('1D Burgers Equation - Initial condition')for n in range(nt): un = u.copy()for i in range(nx-1):u[i] = un[i] - un[i] * dt/dx * (un[i]-un[i-1]) + \nu * dt/(dx**2) * (un[i+1] - 2*un[i] + un[i-1])u[-1] = un[-1] - un[-1] * dt/dx * (un[-1]-un[-2]) + \nu * dt/(dx**2) * (un[0] - 2*un[-1] + un[-2])u_analytical = np.asarray([ufunc(T, xi, nu) for xi in grid])pl.figure(figsize=(11,7), dpi=100)
pl.plot(grid, u, marker='o', lw=2, label='Computational')
pl.plot(grid, u_analytical, label='Analytical')
pl.xlim([0, 2*np.pi])
pl.ylim([0,10])
pl.legend()
pl.xlabel('X')
pl.ylabel('Velocity')
pl.title('1D Burgers Equation - Solutions')