問題描述
求解如下方程
的間斷初值問題稱爲激波管問題也叫黎曼問題。
該問題描述的是無粘理想氣體在中一根管道中由壓力或者速度驅動在突變的初始條件下的變化過程。
通過求解通量的雅各比矩陣可以將前面的控制方程寫成
其中
其中是聲速
對於該方程存在一個特殊關係
以守恆變量表示的守恆形式和非守恆形式的方程之間滿足雅各比矩陣有齊次性
即且
任何與相似的矩陣以及相應的可逆變換滿足,都可以得到一個新的等價形式
於是根據原變量可以得到相應的等價形式
通過原變量形式的方程可以很容易計算出矩陣的特徵值,從而得到與相似的對角陣,將方程解耦,得到三個方程。分別求出三個方程的特徵線並對應三個變量,沿三條特徵線三個變量的值不發生改變,這三個變量稱爲黎曼不變量。
問題求解
一根兩端封閉的管道內左右兩側有不同的氣體,中間以一物體將兩側氣體分隔開,左側氣體滿足右側氣體滿足現在突然撤去中間分隔物,兩側氣體將在壓力作用下相互混合,最終達到平衡狀態。
這裏以二階迎風的通量差分格式計算。
由原變量表達的方程中空間導數項的係數矩陣的特徵值爲分別表示三個黎曼不變量的傳播速度,其中本問題中顯然一定有亞音速的區域,因此必然有說明方程本身既有向左傳播的信息又有向右傳播的信息。這時就需要根據信息傳播方向決定使用哪一側的迎風格式。
通量分裂的方法有很多,這裏使用Lax-Friedrichs分裂
前面提到了雅各比矩陣的特徵值是那麼根據當地的可以很容易計算出三個特徵值的值,找到三者中模最大的特徵值然後構造新的雅各比矩陣這樣必然有且的全部特徵值大於0,的全部特徵值小於0,利用守恆型變量雅各比矩陣的齊次性有
於是得到分裂的守恆方程
式中第二項表示向右傳播的信息,第三項表示向左傳播的信息,分別使用和進行離散。
時間使用單步推進。
具體代碼如下
#include <iostream>
#include <vector>
#include <cmath>
#define gamma 1.4
const int NE=100,//空間點數
NS=1000,
SKIP_STEP=10;//時間步數
const double rb=-5,l=10,//計算域左邊界,計算域長度
dt=0.005,//時間步長
dx=l/NE;
using namespace std;
void F(vector<double> &_F,double w1,double w2,double w3)
{
double u=w2/w1,t=u*w2;
_F[0]=w2;
_F[1]=(3-gamma)*t/2+(gamma-1)*w3;
_F[2]=(1-gamma)/2*u*t+gamma*u*w3;
}
void F_div(vector<double>::iterator &f,const vector<double> &F,double w1,double w2,double w3)
{
*f=F[0];
f++;
*f=F[1];
f++;
*f=F[2];
f++;
}
double max(double x1,double x2)
{
if(x1>x2) return x1;
else return x2;
}
void advance(vector<double>& w1,vector<double>& w2,vector<double>& w3,vector<double>& F_p,vector<double>& F_m)
{
vector<double> tF(3,0);
double l=0;
vector<double>::iterator f_p=F_p.begin(),f_m=F_m.begin();
for(int i=0;i<w1.size();i++)
{
F(tF,w1[i],w2[i],w3[i]);
double u=w2[i]/w1[i],p=(gamma-1)*(w3[i]-w2[i]*w2[i]/w1[i]/2),c=sqrt(gamma*p/w1[i]);
l=max(max(abs(u+c),abs(u-c)),l);
F_div(f_p,tF,w1[i],w2[i],w3[i]);
F_div(f_m,tF,w1[i],w2[i],w3[i]);
}
for(int i=0;i<w1.size();i++)
{
F_p[3*i]+=l*w1[i];
F_m[3*i]-=l*w1[i];
F_p[3*i+1]+=l*w2[i];
F_m[3*i+1]-=l*w2[i];
F_p[3*i+2]+=l*w3[i];
F_m[3*i+2]-=l*w3[i];
}
f_p=F_p.begin()+3,f_m=F_m.begin()+3;
w1[1]=w1[1]-0.5*(*(f_p)-*(f_p-3))*dt/dx-0.5*(*(f_m+3)-*(f_m))*dt/dx;
f_p++;
f_m++;
w2[1]=w2[1]-0.5*(*(f_p)-*(f_p-3))*dt/dx-0.5*(*(f_m+3)-*(f_m))*dt/dx;
f_p++;
f_m++;
w3[1]=w3[1]-0.5*(*(f_p)-*(f_p-3))*dt/dx-0.5*(*(f_m+3)-*(f_m))*dt/dx;
f_p++;
f_m++;
for(int i=2;i<w1.size()-2;i++)
{
w1[i]=w1[i]-0.25*(3*(*f_p)-4*(*(f_p-3))+*(f_p-6))*dt/dx
+0.25*(*(f_m+6)-4*(*(f_m+3))+3*(*(f_m)))*dt/dx;
f_p++;
f_m++;
w2[i]=w2[i]-0.25*(3*(*f_p)-4*(*(f_p-3))+*(f_p-6))*dt/dx
+0.25*(*(f_m+6)-4*(*(f_m+3))+3*(*(f_m)))*dt/dx;
f_p++;
f_m++;
w3[i]=w3[i]-0.25*(3*(*f_p)-4*(*(f_p-3))+*(f_p-6))*dt/dx
+0.25*(*(f_m+6)-4*(*(f_m+3))+3*(*(f_m)))*dt/dx;
f_p++;
f_m++;
}
w1[w1.size()-2]=w1[w1.size()-2]-0.5*(*(f_p)-*(f_p-3))*dt/dx-0.5*(*(f_m+3)-*(f_m))*dt/dx;
f_p++;
f_m++;
w2[w2.size()-2]=w2[w2.size()-2]-0.5*(*(f_p)-*(f_p-3))*dt/dx-0.5*(*(f_m+3)-*(f_m))*dt/dx;
f_p++;
f_m++;
w3[w3.size()-2]=w3[w3.size()-2]-0.5*(*(f_p)-*(f_p-3))*dt/dx-0.5*(*(f_m+3)-*(f_m))*dt/dx;
f_p++;
f_m++;
w1[0]=w1[1];
w2[0]=-w2[1];
w3[0]=w3[1];
w1[w1.size()-1]=w1[w1.size()-2];
w2[w2.size()-1]=-w2[w2.size()-2];
w3[w3.size()-1]=w3[w3.size()-2];
}
struct val
{
const vector<double> &w1,&w2,&w3;
val(const vector<double>& _w1,const vector<double>& _w2,const vector<double>& _w3):w1(_w1),w2(_w2),w3(_w3){};
};
void init(vector<double> &w1,vector<double> &w2,vector<double> &w3)
{
int i=1;
for(;i<w1.size()/2;i++)
{
w1[i]=1;
w2[i]=0;
w3[i]=2/(gamma-1);
}
for(;i<w1.size()-1;i++)
{
w1[i]=1;
w2[i]=0;
w3[i]=1/(gamma-1);
}
w1[0]=w1[1];
w2[0]=-w2[1];
w3[0]=w3[1];
w1[w1.size()-1]=w1[w1.size()-2];
w2[w2.size()-1]=-w2[w2.size()-2];
w3[w3.size()-1]=w3[w3.size()-2];
}
ostream& operator<<(ostream& out,const val& Q)
{
for(int i=1;i<Q.w1.size()-1;i++)
{
double rho=Q.w1[i],u=Q.w2[i]/Q.w1[i],p=(gamma-1)*(Q.w3[i]-Q.w2[i]*Q.w2[i]/Q.w1[i]/2);
out<<i*dx+rb-dx<<'\t'<<rho<<'\t'<<u<<'\t'<<p<<'\n';
}
return out;
}
int main()
{
vector<double> w1(NE+3),w2(NE+3),w3(NE+3),F_p(3*NE+9),F_m(3*NE+9);
val Q(w1,w2,w3);
init(w1,w2,w3);
cout<<w1.size()-2<<'\t'<<NS/SKIP_STEP<<'\t'<<rb<<'\t'<<l<<'\n';
cout<<Q<<'\n';
for(int i=0;i<NS;i++)
{
advance(w1,w2,w3,F_p,F_m);
if(i%SKIP_STEP==0)cout<<Q<<'\n';
}
}
計算結果如下
藍線是壓力,黑線是密度,紅線是速度
由於我也沒有激波管解析解的結果。所以也沒辦法判斷具體結果差多少,不過從網上看到的一些激波管問題的解來看基本規律應該沒有太大的問題,不過由於二階迎風格式的耗散較小,因此間斷處有一些震盪。
要想消除震盪可以利用限制器在間斷附近使用耗散更大的低階通量或者使用ENO和WENO格式來抑制震盪。
現在先測試一下一階格式,使用如下advance函數
void advance(vector<double>& w1,vector<double>& w2,vector<double>& w3,vector<double>& F_p,vector<double>& F_m)
{
vector<double> tF(3,0);
double l=0;
vector<double>::iterator f_p=F_p.begin(),f_m=F_m.begin();
for(int i=0;i<w1.size();i++)
{
F(tF,w1[i],w2[i],w3[i]);
double u=w2[i]/w1[i],p=(gamma-1)*(w3[i]-w2[i]*w2[i]/w1[i]/2),c=sqrt(gamma*p/w1[i]);
l=max(max(abs(u+c),abs(u-c)),l);
F_div(f_p,tF,w1[i],w2[i],w3[i]);
F_div(f_m,tF,w1[i],w2[i],w3[i]);
}
for(int i=0;i<w1.size();i++)
{
F_p[3*i]+=l*w1[i];
F_m[3*i]-=l*w1[i];
F_p[3*i+1]+=l*w2[i];
F_m[3*i+1]-=l*w2[i];
F_p[3*i+2]+=l*w3[i];
F_m[3*i+2]-=l*w3[i];
}
f_p=F_p.begin()+3,f_m=F_m.begin()+3;
w1[1]=w1[1]-0.5*(*(f_p)-*(f_p-3))*dt/dx-0.5*(*(f_m+3)-*(f_m))*dt/dx;
f_p++;
f_m++;
w2[1]=w2[1]-0.5*(*(f_p)-*(f_p-3))*dt/dx-0.5*(*(f_m+3)-*(f_m))*dt/dx;
f_p++;
f_m++;
w3[1]=w3[1]-0.5*(*(f_p)-*(f_p-3))*dt/dx-0.5*(*(f_m+3)-*(f_m))*dt/dx;
f_p++;
f_m++;
for(int i=2;i<w1.size()-2;i++)
{
w1[i]=w1[i]-0.5*(*(f_p)-*(f_p-3))*dt/dx-0.5*(*(f_m+3)-*(f_m))*dt/dx;
f_p++;
f_m++;
w2[i]=w2[i]-0.5*(*(f_p)-*(f_p-3))*dt/dx-0.5*(*(f_m+3)-*(f_m))*dt/dx;
f_p++;
f_m++;
w3[i]=w3[i]-0.5*(*(f_p)-*(f_p-3))*dt/dx-0.5*(*(f_m+3)-*(f_m))*dt/dx;
f_p++;
f_m++;
}
w1[w1.size()-2]=w1[w1.size()-2]-0.5*(*(f_p)-*(f_p-3))*dt/dx-0.5*(*(f_m+3)-*(f_m))*dt/dx;
f_p++;
f_m++;
w2[w2.size()-2]=w2[w2.size()-2]-0.5*(*(f_p)-*(f_p-3))*dt/dx-0.5*(*(f_m+3)-*(f_m))*dt/dx;
f_p++;
f_m++;
w3[w3.size()-2]=w3[w3.size()-2]-0.5*(*(f_p)-*(f_p-3))*dt/dx-0.5*(*(f_m+3)-*(f_m))*dt/dx;
f_p++;
f_m++;
w1[0]=w1[1];
w2[0]=-w2[1];
w3[0]=w3[1];
w1[w1.size()-1]=w1[w1.size()-2];
w2[w2.size()-1]=-w2[w2.size()-2];
w3[w3.size()-1]=w3[w3.size()-2];
}
結果如下
可以看到使用高耗散的低階格式間斷處的震盪就可以被抑制住。但是耗散非常明顯。
這裏使用限制器來抑制間斷震盪,首先相鄰確定差分的比值根據信息的傳播方向分成兩個方向的比值
限制器函數
格式如下
這裏做了一個簡化,直接令
用來決定使用一階還是二階格式
即
具體的advance函數如下
void advance(vector<double>& w1,vector<double>& w2,vector<double>& w3,vector<double>& F_p,vector<double>& F_m)
{
vector<double> tF(3,0);
double l=0;
vector<double>::iterator f_p=F_p.begin(),f_m=F_m.begin();
for(int i=0;i<w1.size();i++)
{
F(tF,w1[i],w2[i],w3[i]);
double u=w2[i]/w1[i],p=(gamma-1)*(w3[i]-w2[i]*w2[i]/w1[i]/2),c=sqrt(gamma*p/w1[i]);
l=max(max(abs(u+c),abs(u-c)),l);
F_div(f_p,tF,w1[i],w2[i],w3[i]);
F_div(f_m,tF,w1[i],w2[i],w3[i]);
}
for(int i=0;i<w1.size();i++)
{
F_p[3*i]+=l*w1[i];
F_m[3*i]-=l*w1[i];
F_p[3*i+1]+=l*w2[i];
F_m[3*i+1]-=l*w2[i];
F_p[3*i+2]+=l*w3[i];
F_m[3*i+2]-=l*w3[i];
}
f_p=F_p.begin()+3,f_m=F_m.begin()+3;
w1[1]=w1[1]-0.5*(*(f_p)-*(f_p-3))*dt/dx-0.5*(*(f_m+3)-*(f_m))*dt/dx;
f_p++;
f_m++;
w2[1]=w2[1]-0.5*(*(f_p)-*(f_p-3))*dt/dx-0.5*(*(f_m+3)-*(f_m))*dt/dx;
f_p++;
f_m++;
w3[1]=w3[1]-0.5*(*(f_p)-*(f_p-3))*dt/dx-0.5*(*(f_m+3)-*(f_m))*dt/dx;
f_p++;
f_m++;
for(int i=2;i<w1.size()-2;i++)
{
double r_p=(w1[i]-w1[i-1])/(w1[i-1]-w1[i-2]),
r_m=(w1[i+2]-w1[i+1])/(w1[i+1]-w1[i]);
if(w1[i-1]==w1[i-2]) r_p=0;
if(w1[i+1]==w1[i]) r_m=0;
w1[i]=w1[i]-phi(r_p)*0.25*(3*(*f_p)-4*(*(f_p-3))+*(f_p-6))*dt/dx
-(1-phi(r_p))*0.5*(*(f_p)-*(f_p-3))*dt/dx
+phi(r_m)*0.25*(*(f_m+6)-4*(*(f_m+3))+3*(*(f_m)))*dt/dx
-(1-phi(r_m))*0.5*(*(f_m+3)-*(f_m))*dt/dx;
f_p++;
f_m++;
r_p=(w2[i]-w2[i-1])/(w2[i-1]-w2[i-2]),
r_m=(w2[i+2]-w2[i+1])/(w2[i+1]-w2[i]);
if(w2[i-1]==w2[i-2]) r_p=0;
if(w2[i+1]==w2[i]) r_m=0;
w2[i]=w2[i]-phi(r_p)*0.25*(3*(*f_p)-4*(*(f_p-3))+*(f_p-6))*dt/dx
-(1-phi(r_p))*0.5*(*(f_p)-*(f_p-3))*dt/dx
+phi(r_m)*0.25*(*(f_m+6)-4*(*(f_m+3))+3*(*(f_m)))*dt/dx
-(1-phi(r_m))*0.5*(*(f_m+3)-*(f_m))*dt/dx;
f_p++;
f_m++;
r_p=(w3[i]-w3[i-1])/(w3[i-1]-w3[i-2]),
r_m=(w3[i+2]-w3[i+1])/(w3[i+1]-w3[i]);
if(w3[i-1]==w3[i-2]) r_p=0;
if(w3[i+1]==w3[i]) r_m=0;
w3[i]=w3[i]-phi(r_p)*0.25*(3*(*f_p)-4*(*(f_p-3))+*(f_p-6))*dt/dx
-(1-phi(r_p))*0.5*(*(f_p)-*(f_p-3))*dt/dx
+phi(r_m)*0.25*(*(f_m+6)-4*(*(f_m+3))+3*(*(f_m)))*dt/dx
-(1-phi(r_m))*0.5*(*(f_m+3)-*(f_m))*dt/dx;
f_p++;
f_m++;
}
w1[w1.size()-2]=w1[w1.size()-2]-0.5*(*(f_p)-*(f_p-3))*dt/dx-0.5*(*(f_m+3)-*(f_m))*dt/dx;
f_p++;
f_m++;
w2[w2.size()-2]=w2[w2.size()-2]-0.5*(*(f_p)-*(f_p-3))*dt/dx-0.5*(*(f_m+3)-*(f_m))*dt/dx;
f_p++;
f_m++;
w3[w3.size()-2]=w3[w3.size()-2]-0.5*(*(f_p)-*(f_p-3))*dt/dx-0.5*(*(f_m+3)-*(f_m))*dt/dx;
f_p++;
f_m++;
w1[0]=w1[1];
w2[0]=-w2[1];
w3[0]=w3[1];
w1[w1.size()-1]=w1[w1.size()-2];
w2[w2.size()-1]=-w2[w2.size()-2];
w3[w3.size()-1]=w3[w3.size()-2];
}
計算結果如下
對比前面一階格式和二階格式可以看到,使用限制器之後二階格式的間斷震盪被明顯抑制住了,而耗散也沒有一階格式那麼明顯。