浙江大学学报(理学版), 2023, 50(4): 409-415 doi: 10.3785/j.issn.1008-9497.2023.04.003

数学与计算机科学

多孔介质中一类Boussinesq方程组的连续依赖性

石金诚,,1, 肖胜中,,2

1.广州华商学院 数据科学学院,广东 广州 511300

2.广东农工商职业技术学院 科研处,广东 广州 510507

Continuous dependence result for Boussinesq type equations in a porous medium

SHI Jincheng,,1, XIAO Shengzhong,,2

1.Guangzhou Huashang College,Guangzhou 511300,China

2.Scientific Research Department,Guangdong AIB Polytechnic,Guangzhou 510507,China

通讯作者: ORCID: https://orcid.org/0000-0002-0910-213X,E-mail:172013444@qq.com.

收稿日期: 2020-10-19   修回日期: 2020-11-18   接受日期: 2021-11-28  

基金资助: 广东省普通高校重点科研项目(自然科学).  2019KZDXM042
国家自然科学基金资助项目.  11371175

Received: 2020-10-19   Revised: 2020-11-18   Accepted: 2021-11-28  

作者简介 About authors

石金诚(1983—),ORCID:https://orcid.org/0000-0002-4016-1197,男,硕士,副教授,主要从事偏微分方程研究,E-mail:hning0818@163.com. , E-mail:hning0818@163.com

摘要

研究了二维空间多孔介质中与溶解度和温度有关的Boussinesq方程组的结构稳定性。首先得到了一些有用的先验界,然后在此基础上推出了解所满足的微分不等式,并求解该微分不等式,最后建立了解对结构系数λ的连续依赖性结果。

关键词: Boussinesq方程组 ; 结构稳定性 ; 连续依赖性 ; 溶解度

Abstract

The structural stability of a Boussinesq type model with temperature dependent solubility is studied. We firstly obtain some useful priory bounds in R2. Using these bounds, we then formulate a differential inequality that the solution satisfies and then solve this inequality. At last, we get the continuous dependence for the constructive coefficient λ.

Keywords: Boussinesq equations ; structural stability ; continuous dependence ; solubility

PDF (423KB) 元数据 多维度评价 相关文章 导出 EndNote| Ris| Bibtex  收藏本文

本文引用格式

石金诚, 肖胜中. 多孔介质中一类Boussinesq方程组的连续依赖性. 浙江大学学报(理学版)[J], 2023, 50(4): 409-415 doi:10.3785/j.issn.1008-9497.2023.04.003

SHI Jincheng, XIAO Shengzhong. Continuous dependence result for Boussinesq type equations in a porous medium. Journal of Zhejiang University(Science Edition)[J], 2023, 50(4): 409-415 doi:10.3785/j.issn.1008-9497.2023.04.003

0 引 言

近年来,对偏微分方程解的连续依赖性问题已有较广泛研究,研究者越来越重视由模型系数变化引起的解变化问题,即偏微分方程的结构稳定性问题。有关结构稳定性问题的本质可参见文献[1]。结构稳定性研究,有助于了解模型在物理中的适用性,是非常必要的。在实际建模过程中,数据的测量和计算均不可避免会产生误差。那么,微小的误差能否引起解的急剧变化?

多孔介质在日常生活中广泛存在,对多孔介质中流体方程组解的性态研究已经成为数学与力学领域的热点。已有研究主要集中在对Brinkman、Darcy和Forchheimer方程组模型的讨论。如NIELD等2和STRAUGHAN3讨论了多孔介质中的Brinkman、Darcy、Forchheimer方程组以及其他多孔介质方程的Saint-Venant原则。PAYNE等4研究了多孔介质中流体方程组的空间衰减估计结果。FRANCHI等5、PAYNE等6、LIN等7开展了多孔介质中流体方程组的结构稳定性研究。文献[8-20]集中研究了Brinkman、Forchheimer、Darcy类方程组的结构稳定性,并取得了一些成果。但针对其他非线性方程组的研究较少,这是由于非线性项的求解难度很大。二维空间中与溶解度和温度有关的Boussinesq方程组的控制方程为

uit+ujui,j=-p,i+λui+giT-hiC,uixi=0,    Tt+uiT,i=T,  Ct+uiC,i=C+LT-kC 

其中,ui i=1, 2pTC分别表示速度、压强、温度和盐浓度。gixhix i=1, 2均为引力函数,假设gi满足gx1hi满足hx1为拉普拉斯算子,λ为黏性系数且λ>0Lk均为大于零的常数。式(1)在Ω×0,τ区域内成立,其中ΩR2中的有界单连通星形区域,τ为给定的常数且0τ<

式(1)是一种基于动量守恒、质量守恒、能量守恒以及盐浓度守恒,并在动量方程中采用Boussinesq逼近而得到的方程组。有关该方程组的详细介绍可参见文献[2-321]。

在文献[21]中,温度T与盐浓度C的边界条件为Tx,t=gx,t,Cx,t=hx,t,其结果建立在对温度T的最大值估计上。

考虑边界条件为

uix,t=0,    Tn=k1C,    Cn=k2T,x,tΩ×0,τ,

初始条件为

uix,0=ui0x,    Tx,0=T0x,Cx,0=C0x,     xΩ

在此边界条件下无法得到温度T与盐浓度C的最大值估计,须采用其他方法处理,其中处理边界项相关估计是难点。由于Boussinesq方程组的非线性项与Navier-Stokes方程组的相同,该方程组的研究对后续研究Navier-Stokes方程组解的性态具有重要意义。

符号约定如下:逗号表示求偏导,i表示对xi求偏导,如u,i表示uxi;重复指标表示求和,如ui,i=i=12uixiui,jui,j=i,j=12uixj2p表示Lp范数。

1 先验估计

引理1 温度T和盐浓度C满足以下最大值估计:

ΩT2dS2m+2d2ε1m2ΩT2dx+12ε1ΩT,iT,idx,
ΩC2dS2m+2d2ε2m2ΩC2dx+12ε2ΩC,iC,idx,
ΩT4dS2m+d2ε3m2ΩT4dx+1ε3Ω(T2),i(T2),idx,
ΩC4dS2m+d2ε4m2ΩC4dx+1ε4ΩC2,iC2,idx,

其中,m,d为大于零的常数,ε1, ε2,ε3,ε4 为大于零的任意常数。

证明 对于任意可微的函数ω=ωx,t,x,tΩ×0,τ,由散度定理,可得

Ωω2xndS=Ωdivω2xdx=2Ωω2dx+2Ωωxωdx

其中,nΩ上的单位外法向量。

m=minΩ xini>0,d2=maxΩ xixi,由于Ω是有界单连通的星形区域,所以

Ωω2dS2mΩω2dx+2mΩωxωdx

分别取ω=T,  ω=C,  ω=T2ω=C2,可得

ΩT2dS2m+2d2ε1m2ΩT2dx+12ε1ΩT,iT,idx,
ΩC2dS2m+2d2ε2m2ΩC2dx+12ε2ΩC,iC,idx,
ΩT4dS2m+d2ε3m2ΩT4dx+1ε3Ω(T2),i(T2),idx,
ΩC4dS2m+d2ε4m2ΩC4dx+1ε4Ω(C2),i(C2),idx,

其中,ε1, ε2,ε3,ε4 为大于零的任意常数。

引理2 温度T和盐浓度C的估计为

0tΩT,iT,i+C,iC,idxdη2ΩT02+C02dxeNt,

其中,t为时间变量,N为大于零的常数。

证明 在式(1)第3式两边同时乘以2T,并在Ω×[0,t]上积分,可得

ΩT2dx+20tΩT,iT,idxdηΩT02dx+k10tΩT2dSdη+k10tΩC2dSdη

1第4式两边同时乘以2C,且在Ω×[0,t]上积分,可得

ΩC2dx+20tΩC,iC,idxdηΩC02dx+L22k0tΩT2dxdη+k20tΩT2dSdη+k20tΩC2dSdη

联合式(15)和式(16),可得

ΩT2+C2dx+0tΩT,iT,i+C,iC,idxdη ΩT02+C02dx+L22k0tΩT2dxdη+k1+k20tΩC2dSdη+k1+k20tΩT2dSdη

式(4)和式(5)代入式(17),取ε1=ε2=k1+k2,可得

ΩT2+C2dx+120tΩT,iT,i+C,iC,idxdηΩT02+C02dx+L22k+k1+k2×2m+2d2k1+k2m20tΩT2dxdη+k1+k22m+2d2k1+k2m20tΩC2dxdηΩT02+C02dx+N0tΩT2+C2dxdη,

其中,

N=maxL22k+k1+k22m+2d2k1+k2m2,k1+k22m+2d2k1+k2m2

式(18)两边同时在[0,t]上积分,可得

0tΩT2+C2dxdη0tΩT02+C02dxe-Nt-ηdη

因此

ΩT2+C2dxΩT02+C02dxeNt

代入式(18),可得

0tΩT,iT,i+C,iC,idxdη2ΩT02+C02dxeNt

引理3 温度T和盐浓度C的估计为

ΩT4+C4dxn1t,

其中,n1t为大于零的函数。

证明 在式(1)第3式两边同时乘以4T3,并在Ω×[0,t]上积分,可得

ΩT4dx+30tΩ(T2),i(T2),idxdηΩT04dx+4k10tΩT3CdSdη ΩT04dx+3k10tΩT4dSdη+k10tΩC4dSdη

式(1)第4式两边同时乘以2C3,并在Ω×[0,t]上积分,可得

ΩC4dx+30tΩC2,iC2,idxdηΩC04dx+4k20tΩC3TdSdη+4L0tΩC3TdxdηΩC04dx+3k20tΩC4dSdη+k20tΩT4dSdη+3L0tΩC4dxdη+L0tΩT4dxdη

联合式(23)和式(24),可得

ΩT4+C4dx+30tΩT2,iT2,i+C2,iC2,idxdηΩT04+C04dx+3k1+k20tΩT4dSdη+k1+3k20tΩC4dSdη+3L0tΩC4dxdη+L0tΩT4dxdη

式(6)和式(7)代入式(25),取ε3=3k1+k2,ε4=k1+3k2,可得

ΩT4+C4dxΩT04+C04dx+γ0tΩT4+C4dxdη,

其中,γ=max3k1+k22m+d23k1+k2m2+L,  k1+3k22m+d2k1+3k2m2+3L

式(26)两边同时在[0,t]上积分,可得

ΩT4+C4dxΩT04+C04dxeγt=n1t

引理4 对于任意定义在Ω上的可微函数ωx,存在二维的Sobolev不等式:

Ωω4dx12k3Ωω2dx12+k4Ωω2dx12Ωω2dx12,

其中,k3,k4为大于零的常数。

证明 假设P1, P2Ω与通过点P的直线x2=常数的交点,则有

ωP3=ωP13+3P1Pωωiωi,1dx1=ωP23-3PP2ωωiωi,1dx1,

可知

ωP312ωP13+ωP23+32P1P2ω2ωdx1

假设Q1, Q2Ω与通过点P的直线x1=常数的交点,同理可得

ωP312ωQ13+ωQ23+32Q1Q2ω2ωdx2

联合式(30)和式(31),并将PΩ上积分,可得

Ωω6dx12Ωω3dS+32Ωω2ωdx

由Hölder不等式,可得

Ωω4dxΩω6dx12Ωω2dx12

由Rellich恒等式,可得

mΩω3dSΩxiniω3dS2Ωω3dx+2dΩω2ωdx

由Hölder不等式,可得

Ωω3dS2mΩω4dx12Ωω2dx12+2dmΩω4dx12Ωω2dx

式(35)和式(32)代入式(33),可得

Ωω4dxΩω4dx12k3Ωω2dx12+k4Ωω2dx12Ωω2dx12,

其中, k3=4m12,  k4=4dm+312

因此,

Ωω4dx12k3Ωω2dx12+k4Ωω2dx12Ωω2dx12

引理5 速度ui的估计为

0tΩui,jui,jdxdηm3t,

其中,m3t为大于零的函数。

证明 在式(1)第1式两边同时乘以ui,并在Ω上积分,此时λ=λ1,可得

ddt12u2+λ1u2Tu+CuT2+C22+u2=m1t2+u2,

其中, m1t=T2+C2

式(39)两边同时在[0,t]上积分,可得

u20te2t-sm1s2ds+e2tu02=m2t

式(39)两边同时在[0,t]上积分,可得

0tu2ds1λ10tm1s2+u2ds

式(40)代入式(41),可得

0tu2ds1λ10tm1s2+m2sds=m3t

2 解对系数λ的连续依懒性

(ui,p,T,C)λ=λ1时式(1)~式(3)的解,(ui*,p*T*,C*)λ=λ2时式(1)~式(3)的解。假设ωi=ui-ui* i=1,2,π=p-p*θ=T-T*φ=C-C*, λ=λ1-λ2,则(ωi,π,θ,φ)满足

ωit+ωjui,j+uj*ωi,j=π,i+λ2Δωi+λΔui+giθ-hiφ,  ωixi=0,  θt+ωiT,i*+uiθ,i=θ, φt+ωiC,i*+uiφ,i=φ+Lθ-kφ

其边界条件为

ωi=0,θn=k1φ,φn=k2θ,    x,tΩ×0,τ,

初始条件为

ωix,0=0,    θx,0=0,  φx,0=0, xΩ

主要结果如下:

定理1 设(ui,p,T,C)λ=λ1时初边值问题式(1)~式(3)的经典解,(ui*,p*,T*,C*)λ=λ2时初边值问题式(1)~式(3)的经典解,(ωi,π,θ,φ)为这2个解的差。当λ趋于0时,解(ui,p,T,C)收敛于解(ui*,p*,T*,C*)。解的差(ωi,π,θ,φ)满足

Ωωiωidx+Ωθ2dx+Ωφ2dxλ2λ2m3tek7m3t+k8t

其中,k7, k8为大于零的常数。

证明 在式(43)第1式两边同时乘以ωi,并在Ω上积分,可得

12ddtω2=-Ωui,jωiωjdx-λ2ω2-λΩωi,jui,j+Ωgiθωidx-ΩhiφωidxΩui,jui,jdx12Ωωiωi2dx12-λ2ω2+λ22ω2+λ22λ2Ωui,jui,jdx+θ22+φ22+ω2

利用式(28),可得

ddtω22k3Ωui,jui,jdx12Ωωiωidx+2k4Ωui,jui,jdx12Ωωiωidx12×Ωωi,jωi,jdx12-λ2ω2+λ2λ2Ωui,jui,jdx+θ2+φ2+ω22k3Ωui,jui,jdx12ω2+8k4λ2Ωui,jui,jdxω2-λ22ω2+λ2λ2Ωui,jui,jdx+θ2+φ2+ω2

式(43)第3式两边同时乘以2θ,并在Ω上积分,可得

ddtΩθ2dx=2ΩθΔθ-uiθ,i-ωiT,i*dx=-2Ωθ2dx+2k1ΩθφdS+2Ωθ,iωiT,i*dx-2Ωθ2dx+k1Ωθ2dS+k1Ωφ2dS+Ωθ,iθ,idx+Ωωiωi2dx12ΩT*4dx12-Ωθ2dx+k1Ωθ2dS+k1Ωφ2dS+[n1(t)]12Ωωiωi2dx12

同理,在式(43)第4式两边同时乘以2φ,并在Ω上积分,可得

ddtΩφ2dx=2Ωφ(φ-uiφ,i-ωiC,i*-kφ)dx+2LΩφθdx-Ωφ2dx+k2Ωθ2dS+k2Ωφ2dS+[n1t]12Ωωiωi2dx12+LΩφ2dx+LΩθ2dx

联合式(49)和式(50),可得

ddtΩθ2dx+Ωφ2dx-Ωθ2dx-Ωφ2dx+k1+k2Ωθ2dS+k1+k2Ωφ2dS+2[n1t]12×Ωωiωi2dx12+LΩφ2dx+LΩθ2dx -12Ωθ2dx-12Ωφ2dx+k1+k22m+2d2k1+k2m2Ωθ2dx+k1+k22m+2d2k1+k2m2Ωφ2dx+LΩφ2dx+LΩθ2dx +2[n1t]12×Ωωiωi2dx12=-12Ωθ2dx-12Ωφ2dx+M+LΩθ2dx+M+LΩφ2dx +2[n1t]12Ωωiωi2dx12,

其中, M=k1+k22m+2d2k1+k2m2

联合式(37)、式(48)和式(51),可得

ddtω2+θ2+φ22k3Ωui,jui,jdx12ω2+8k4λ2Ωui,jui,jdxω2-λ22ω2+λ2λ2Ωui,jui,jdx+M+L+1θ2+M+L+1φ2+ω2+2[n1t]12Ωωiωi2dx122k3Ωui,jui,jdx12+8k4λ2Ωui,jui,jdx+1ω2+k5θ2+k5φ2-λ22ω2+λ2λ2Ωui,jui,jdx+2[n1t]12k3Ωω2dx12+k4Ωω2dx12Ωωiωidx122k3Ωui,jui,jdx12+8k4λ2Ωui,jui,jdx+1+2k3[n1τ]12+n1τk42λ2ω2+k5θ2+k5φ2+λ2λ2Ωui,jui,jdx,

其中,k5= M+L+1

Ft=ω2+θ2+φ2,则

ddtFt2k3Ωui,jui,jdx12+8k4λ2Ωui,jui,jdx+k6Ft+λ2λ2Ωui,jui,jdx 8k4λ2+k32Ωui,jui,jdx+k6+1Ft+λ2λ2Ωui,jui,jdx=
(k7u2+k8)Ft+λ2λ2Ωui,jui,jdx,

其中,

k6=max1+2k3[n1τ]12+n1τk42λ2,k5,k7=8k4λ2+k32,    k8=k6+1

所以

e-0t(k7u2+k8)dηFt'=eλ2λ2Ωui,jui,jdx

两边同时在[0,t]上积分,可得

Ftλ2λ2ek7m3t+k8t0tu2dηλ2λ2m3tek7m3t+k8t,

这表明在指定测度下当λ趋于0时,ui收敛ui*T收敛于T*C收敛于C*,从而当黏性系数λ产生微小误差时,方程的解不会出现急剧变化,所以此模型是稳定的。

3 结 论

获得了解对结构系数λ及其他系数的连续依赖性结果,但仅得到了0tΩu2dxdη的界,无法扩展至三维空间,这是由于三维空间的Sobolev不等式为

Ωω4dxλ˜Ωω2dx12Ωω2dx32

需要获得Ωu2dx的界。因此,要将其从二维推广至三维,需解决Ωu2dx界这一难题,有待进一步研究。

http://dx.doi.org/10.3785/j.issn.1008-9497.2023.04.001

参考文献

AMES K ASTRAUGHAN B. Non-Standard and Improperly Posed Problems[M]. San DiegoAcademic Press1997. doi:10.1016/s0076-5392(97)80007-0

[本文引用: 1]

NIELD D ABEJIAN A. Convection in Porous Media[M]. New YorkSpringer1992. doi:10.1007/978-1-4757-2175-1

[本文引用: 2]

STRAUGHAN B. Stability and Wave Motion in Porous Media[M]. New YorkSpringer2008. doi:10.1007/978-0-387-76543-3_4

[本文引用: 2]

PAYNE L ESONG J C.

Spatial decay in a double diffusive convection problem in Darcy flow

[J]. Journal of Mathematical Analysis and Applications, 20073302): 864-875. DOI:10. 1016/j.jmaa.2006.08.013

[本文引用: 1]

FRANCHI FSTRAUGHAN B.

Continuous dependence and decay for the Forchheimer equations

[J]. Proceedings of the Royal Society A: Mathematical, Physical and Engineering Sciences, 20034592040): 3195-3202. DOI:10.1098/rspa.2003.1169

[本文引用: 1]

PAYNE L ESTRAUGHAN B.

Structural stability for the Darcy equations of flow in porous media

[J]. Proceedings of the Royal Society A: Mathematical, Physical and Engineering Sciences, 19984541974): 1691-1698. DOI:10.1098/rspa.1998. 0227

[本文引用: 1]

LIN C HPAYNE L E.

Structural stability for a Brinkman fluid

[J]. Mathematical Methods in the Applied Sciences, 2007305): 567-578. DOI:10. 1002/mma.799

[本文引用: 1]

CHEN W HLIU Y.

Structural stability for a Brinkman-Forchheimer type model with temperature dependent solubility

[J]. Boundary Value Problems, 20162016): 55. DOI:10.1186/s13661-016-0558-y

[本文引用: 1]

CICHON MSTRAUGHAN BYANTIR A.

On continuous dependence of solutions of dynamic equations

[J]. Applied Mathematics and Computation, 2015252473-483. DOI:10.1016/j.amc.2014.12.047

MA H PLIU B.

Exact controllability and continuous dependence of fractional neutral integro-differential equations with state dependent delay

[J]. Acta Mathematica Scientia (English Series), 201737235-258. DOI:10.1016/s0252-9602(16)30128-x

WU H LREN YHU F.

Continuous dependence property of BSDE with constraints

[J]. Applied Mathematics Letters, 20154541-46. DOI:10. 1016/j.aml.2015.01.002

HARFASH A J.

Structural stability for two convection models in a reacting fluid with magnetic field effect

[J]. Annales Henri Poincaré, 20141512): 2441-2465. DOI:10.1007/s00023-013-0307-z

LI YLIN C.

Continuous dependence for the nonhomogeneous Brinkman-Forchheimer equations in a semi-infinite pipe

[J]. Applied Mathematics and Computation, 2014244201-208. DOI:10.1016/j.amc.2014.06.082

LIU YXIAO S Z.

Structural stability for the Brinkman fluid interfacing with a Darcy fluid in an unbounded domain

[J]. Nonlinear Analysis: Real World Applications, 201842308-333. DOI:10. 1016/j.nonrwa.2018.01.007

LIU YXIAO S ZLIN Y W.

Continuous dependence for the Brinkman-Forchheimer fluid interfacing with a Darcy fluid in a bounded domain

[J]. Mathematics and Computers in Simulation, 201815066-82. DOI:10.1016/j.matcom.2018.02.009

LIU Y.

Continuous dependence for a thermal convection model with temperature dependent solubility

[J]. Applied Mathematics and Computation, 201730818-30. DOI:10.1016/j.amc.2017.03.004

李远飞.

大尺度海洋大气动力学三维黏性原始方程对边界参数的连续依赖性

[J]. 吉林大学学报(理学版),2019575): 1053-1059. DOI:10.13413/j.cnki.jdxblxb.2019038

LI Y F.

Continuous dependence on boundary parameters for three-dimensional viscous primitive equation of large scale ocean atmospheric dynamics

[J]. Journal of Jilin University(Science Edition), 2019575): 1053-1059. DOI:10.13413/j.cnki.jdxblxb.2019038

李远飞.

原始方程组对黏性系数的连续依赖性

[J]. 山东大学学报(理学版),20195412): 1-12. DOI:10.6040/j.issn.1671-9352.0.2019.539

LI Y F.

Continuous dependence on the viscosity coefficient for the primitive equations

[J]. Journal of Shandong University(Science Edition), 20195412): 1-12. DOI:10.6040/j.issn.1671-9352.0. 2019.539

李远飞郭连红.

具有边界反应Brinkman-Forchheimer型多孔介质的结构稳定性

[J]. 高校应用数学学报,2019343): 315-324. DOI:10.13299/j.cnki.amjcu.002084

LI Y FGUO L H.

Structural stability on boundary reaction terms in a porous medium of Brinkman-Forchheimer type

[J]. Applied Mathematics: A Journal of Chinese Universities, 2019343): 315-324. DOI:10.13299/j.cnki.amjcu.002084

李远飞.

海洋动力学中二维黏性原始方程组解对热源的收敛性

[J]. 应用数学和力学, 2020413): 339-352. DOI:10.21656/1000-0887.400176

[本文引用: 1]

LI Y F.

Convergence results on heat source for 2D viscous primitive equations of ocean dynamics

[J]. Applied Mathematics and Mechanics, 2020413): 339-352. DOI:10.21656/1000-0887.400176

[本文引用: 1]

CIARLETTA MSTRAUGHAN BTIBULLO V.

Structural stability for a thermal convection model with temperature dependent solubility

[J]. Nonlinear Analysis: Real World Applications, 20152234-43. DOI:10.1016/j.nonrwa.2014.07.012

[本文引用: 2]

/