APP下载

一维线性化可压缩Navier-Stokes方程组的近似能控性

2022-05-30杜润梅吕晓娜

吉林大学学报(理学版) 2022年2期
关键词:超平面线性化对偶

杜润梅, 吕晓娜

(长春工业大学 数学与统计学院, 长春 130012)

0 引 言

Navier-Stokes方程组是流体力学方程中描述黏性牛顿流体的方程. 一维的可压缩等熵Navier-Stokes方程组为

其中ρ(x,t)表示流体的密度,v(x,t)表示流体的速度, 正数ν表示流体的黏性,f表示质量源,g表示外力, 压力p满足p(ρ)=aργ,a>0,γ≥1.

目前, 关于可压缩Navier-Stokes方程组的性质研究已取得了很多成果[1-8].其中, 文献[5-6]研究了线性化可压缩Navier-Stokes方程组的一些可控性结果.本文考虑在常数稳态(Q0,V0)附近线性化的Navier-Stokes方程, 其中Q0>0,V0>0.先考虑如下初边值问题:

其中Q0>0,V0>0, (x,t)∈QT=(0,L)×(0,T),ω=(0,x1), 0

1 线性化系统的近似能控性

类似于文献[5]中定理2.3和文献[6]中命题2.1, 由半群理论可得系统(1)-(4)的适定性:

命题1对任意(σ0,u0)∈L2(0,L)×L2(0,L), 系统(1)-(4)存在唯一弱解(σ,u)∈X, 满足ut∈L2(0,T;H-1(0,L)), 其中

X=C([0,T];L2(0,L))×[L2(0,T;H01(0,L))∩C([0,T];L2(0,L))].

令Z=L2(0,L)×L2(0,L), 在Z上定义其内积和范数分别为

在Z上, 方程组(1)-(4)的对偶问题为

下面给出对偶问题(9)-(12)的唯一延拓性:

(13)

则有

由定理1, 可得对偶问题(5)-(8)的唯一延拓性:

由对偶问题(5)-(8)的唯一延拓性, 可得(1)-(4)的近似能控性:

‖(σ(x,T),u(x,T))-(σd(x),ud(x))‖L2(0,L)×L2(0,L)≤ε.

2 定理1的证明

下面证明对偶问题(9)-(12)的唯一延拓性.

定义1设曲面S⊂N是C1的, 且曲面S在点x处的法向量为ξ.如果Pm(x,ξ)=0, 则称曲面S在点x处对于P(x,D)是特征的.如果曲面S在所有点处都是特征的, 则称曲面S为P(x,D)的特征曲面.

1) 设在分布意义下,Θ∈D′(Ω2)满足P(D)Θ=0且Θ(x)在Ω1上为0, 则Θ(x)在Ω2上也为0;

2) 每个与Ω2相交的P(D)的特征超平面一定与Ω1相交.

(14)

(15)

对式(15)中x求导, 得

(16)

由式(14)~(16), 得

(17)

把式(10)代入式(17), 得

(18)

定义算子

(19)

引理2P(D)的特征超平面是t=C1和t+x/V0=C2, 其中C1和C2都是常数.

证明: 假设Π={(x,t):ξx+ηt=C}是P(D)具有法向量(ξ,η)≠(0,0)的特征超平面.根据定义1, 可知

因此ξ=0或η=V0ξ.从而特征超平面Π的法向量是(0,1)和(1/V0,1).于是P(D)的特征超平面是t=C1和t+x/V0=C2.证毕.

下面证明定理1.

证毕.

猜你喜欢

超平面线性化对偶
对偶τ-Rickart模
一种改进的多分类孪生支持向量机
基于非线性核的SVM模型可视化策略
有限维Banach空间中完备集的构造
核心素养背景下一种新的教学设计方法
基于记忆多项式模型的射频功率放大器的线性化研究
例析对偶式在解三角问题中的妙用
怎样利用对偶式处理高考解几问题
功率放大器线性化专利技术综述
基于最大间隔的决策树归纳算法