APP下载

一类趋化-Navier-Stokes系统的整体解的存在性*

2022-08-04刘曦刘梦琦侯智博

西南大学学报(自然科学版) 2022年8期
关键词:趋化方程组常数

刘曦, 刘梦琦, 侯智博

西华大学 理学院, 成都 610039

趋化性是指细菌(细胞)在一定程度上与某些化学物质之间发生的吸引或排斥现象. 文献[1]提出了一类抛物-抛物型偏微分方程组用来研究基网柄菌的黏菌聚合现象, 其具体形式为

(1)

在实际生物现象中, 微生物的趋化运动与周围的环境密切相关, 因此, 在研究这类细菌的趋化运动时, 除了考虑自身的运动外, 还要考虑流体对其产生的影响. 为了研究流体中细菌的动力学行为, 考虑下列趋化-流体耦合方程组:

(2)

为了模拟不同生物环境中的趋化机制, 许多学者开始关注经典Keller-Segel模型的各种变体. 文献[17-18]研究了一类具有间接信号产生机制的趋化模型:

(3)

其中:τ1,τ2,χ>0,Ω⊂RN(N≤4)是一个光滑有界区域. 这种机制与方程组(1)或(2)中的直接信号产生机制有所不同, 在这种间接信号产生机制中, 细胞先产生第二种化学信号w,w再促进第一种化学信号v的产生, 这在实际生物学背景下也比较常见. 对于此类模型, 文献[17-18]考虑了在空间维数N≤4时齐次Neumann和混合边界条件下的情况. 对比之前的结果来看, 文献[17-18]中具有间接信号产生机制的模型得到的结果和直接信号产生机制的结果具有一定的差异.

文献[19-20]先后考虑了如下具有间接信号产生机制的趋化-Stokes方程组:

(4)

1 主要结果

与具有直接信号产生机制的趋化-流体方程组相比, 具有间接信号产生机制的趋化-Navier-Stokes方程组的研究才刚刚起步, 许多问题有待解决. 本文考虑如下具有间接信号产生机制的趋化-Navier-Stokes模型:

(5)

其中:Ω⊂R2是一个具有光滑边界的有界凸区域,φ∈W2,∞(Ω),χ∈C2([0, ∞))且存在χ0≥0,α>0使得

|χ(s)|≤χ0(1+s)-αs≥0

(6)

我们将考虑此系统经典解的整体存在性和有界性. 假设初始值满足

(7)

并且

在上述假设条件下, 我们的主要结论如下:

(8)

‖n(·,t)‖L∞(Ω)+‖v(·,t)‖W1,p(Ω)+‖w(·,t)‖W1,q(Ω)+‖Aβu(·,t)‖L2(Ω)≤C

(9)

对任意t>0成立.

2 若干基本估计

在这一部分中, 我们将提供一些基本的先验估计. 首先, 给出解的局部存在性结论.

引理1设Ω⊂R2是一个具有光滑边界的有界区域,φ∈W2,∞(Ω), (n0,v0,w0,u0)满足初值条件(7), 则存在函数(n,v,w,u)及Tmax∈(0, +∞]使得

(10)

其中n,v,w是非负的, 而且(n,v,w,u)在Ω×(0,Tmax)上为初边值问题(5)的经典解. 此外, 如果Tmax<∞, 则

(11)

证此引理中局部存在性结论可利用Banach不动点定理和压缩映像原理证得, 具体过程可参见文献[21]引理2.1.

引理2对于所有t∈[0,Tmax), 有

(12)

(13)

并且

(14)

证首先, 对(5)式中第一个方程关于空间变量积分, 利用·u=0和分部积分公式, 得到

所以

同样, (5)式中第3个方程也对空间变量积分, 再次用分部积分公式和·u=0, 有

根据比较原理, 可得到(13)式成立. 此外, (14)式也可用类似于(13)的证明方法得到.

接下来对n,v,w做以下估计, 这将在后续分析中经常使用. 并且在后续的分析中, 始终取t0∈(0, min{Tmax, 1}).

(15)

以及对所有t∈(t0,Tmax), 有

(16)

证这里不妨取

(17)

对(5)式中的第1个方程和第3个方程作一些估计(可参看文献[10], 引理5.1), 存在C1>0,C2>0以及C3>0使得

(18)

为了消除不等号右边的前两项, 用v乘以(5)式中的第2个方程, 结合Young不等式, 得到

(19)

用4C1乘(19)式并加上(18)式得到不等式

再次用Young不等式, 可以找到C4>0使得

也就是

(20)

因此可以令

那么, 根据(20)式可以得到

y′(t)+y(t)+g(t)≤2C1C3+C4t∈(0,Tmax)

(21)

y′(t)+y(t)≤2C1C3+C4t∈(0,Tmax)

通过比较原理, 有

下面对(21)式关于时间变量积分, 得到

通过Hölder不等式和(12)式可以计算出

因此

从本质上看,大数据也被称之为,“第三次浪潮的华彩乐章”。因此,我国也在5-10年大数据发展过程中,提出了具体的发展目标与发展任务。所谓的大数据就是在规模超出传统数据库的过程中,就可以利用对应的工具进行捕捉、储存、管理、分析数据等的主要内容探究。除此之外,大数据还展现了智能化的发展特点,可以在针对相关的内容进行行为与结果分析的时候,还可以针对其主要内容进行延伸,最终实现有效的功能性预测[2]。

从而得到了(15)式和(16)式.

根据Gagliardo-Nirenberg不等式和质量守恒性质, 结合引理3可推导出以下结论.

(22)

特别地, 存在C>0使得

(23)

证该引理的证明可参看文献[10]引理5.2.

下列引理5已经在文献[10](引理5.3和引理6.1)中得到了详细地证明, 这里不加证明地给出具体结论.

引理5[10]存在C>0,C(p)>0使得

(24)

此外, 对任意p≥2, 有

(25)

引理6对所有p≥2, 可以找到一个常数C(p)>0使得

(26)

证用vp-1乘以(5)式中第二个方程, 结合Young不等式得到

因此

由于

是非负的, 可以得到

由(25)式和比较原理可以得到(26)式成立.

引理7存在C>0使得对所有t∈(t0,Tmax), 有

并且对所有t∈(0,Tmax), 有

证根据文献[10]中引理6.2可知, 利用Gagliardo-Nirenberg不等式和Young不等式, 经过一系列推导, 可以找到常数C1>0,C2>0和C3>0使得

(27)

在(5)式的第3个方程两边同时乘以-Δw, 利用分部积分公式有

(28)

对(28)式等号右边第2项用Hölder不等式, Gagliardo-Nirenberg不等式以及Young不等式推导出存在常数C2>0使得

(29)

对所有t∈(0,Tmax)成立. 此外, 再次使用Cauchy不等式可以得到

(30)

所以从(28)式中可以推导出对所有t∈(0,Tmax), 有

(31)

同样地, 在(5)式的第二个方程两边乘-Δv, 对得到的方程做类似于(28),(29),(30)的运算, 可以得到

(32)

(33)

(34)

利用引理3-5, 存在常数C5>0以及C6>0使得

(35)

并且

因此, 对每个固定的t∈(0,Tmax-t0), 可以找到t′>0使得t′∈(t,t+t0)并且

由于对所有m>0, 都有

则存在C8>0使得

则有

y(t′)≤C9: =C8+2kC7

由于g是非负的, 因此利用Gronwall不等式和(35)式, 由(34)式得到

(36)

由于对所有t∈(0,Tmax), 都有

对(34)式关于时间变量积分, 由(35)式可得

(37)

引理8[10]存在常数C>0使得

此外, 对所有p>1, 可以找到C(p)>0满足

‖u(·,t)‖LP(Ω)≤C(p)t∈(0,Tmax)

证该引理的证明可参看文献[10]引理6.3与6.4.

3 对n,v,w和u的估计

本节主要推导n,v,w和u在t∈(0,Tmax)上的有界性, 以达到我们证明定理1的目的.

引理9对所有p,p′>1, 存在C(p),C(p′)>0使得

(38)

(39)

以及

(40)

(41)

由于区域Ω具有凸性, 对(5)式的第1个方程做一系列估计(具体过程参看文献[10]引理7.1), 得到

(42)

根据文献[10]引理7.1知由(5)式中第2个方程可得

(43)

用同样的方法可以计算出

(44)

将(42),(43),(44)式相加得到

(45)

其中C6: =C1+C2+C3+C4+C5. 将不等式(45)整理化简后得到

接下来, 利用Gagliardo-Nirenberg不等式和(12)式, 存在C7>0和C8>0使得

根据Young不等式和(25)式, 存在C9>0和C10>0使得

所以

其中

定义函数

满足

y′(t)+C12y(t)≤C11t∈(0,Tmax)

(46)

根据比较原理可以由(46)式推导出不等式

记p′=2q, 得到(38)-(40)式成立.

下面通过引理8和引理9来推导‖n(·,t)‖L∞(Ω)在(0,Tmax)上的有界性.

引理10存在C>0使得对所有t∈(0,Tmax), 有

‖n(·,t)‖L∞(Ω)≤C

(47)

证引理9和引理8保证了对任意参数p>1, 存在C1,C2>0使得

‖n(·,t)‖Lp(Ω)≤C1t∈(0,Tmax)

以及

‖-nχ(n)v-nu‖Lp(Ω)≤C2t∈(0,Tmax)

因此, 通过用Moser-type迭代[22]的方法就可以直接得到(47)式.

通过前面的相关结论, 可以直接对流体速度场进行估计.

‖Aβu(·,t)‖L2(Ω)≤C(β)t∈(0,Tmax)

(48)

证根据引理9的结果和φ在Ω中的有界性可知存在C1>0使得

‖nφ‖L2(Ω)≤C1t∈(0,Tmax)

所以根据文献[10]引理3.4可得到(48)式成立.

4 定理1的证明

结合引理9,10和11, 根据爆破准则, 可以得到Tmax=∞. 从前面的证明过程和结论可以看出, 对于任意的t>0, 我们都可以得到(9)式. 至此, 解的存在性和有界性都得到了证明.

猜你喜欢

趋化方程组常数
三维趋化流体耦合系统整体解的最优衰减估计
深入学习“二元一次方程组”
带非线性扩散项和信号产生项的趋化-趋触模型解的整体有界性
关于Landau常数和Euler-Mascheroni常数的渐近展开式以及Stirling级数的系数
《二元一次方程组》巩固练习
具不同分数阶扩散趋化模型的衰减估计
一类次临界Bose-Einstein凝聚型方程组的渐近收敛行为和相位分离
几个常数项级数的和
万有引力常数的测量
一类趋化模型的稳定性分析