学校代码 10530 学 号 202121511199

分 类 号 O151 密 级

硕士学位论文
n 维 Keller − Segel 模型解的
大时间渐进行为和收敛率

学 位 申 请 人 张 梅 芳

指 导 老 师 耿 世 锋 教授

学 院 名 称 数学与计算科学学院

学 科 专 业 数 学

研 究 方 向 偏微分方程理论

二〇二二年四月十日
n 维 Keller − Segel 模型解的
大时间渐进行为和收敛率

学 位 申 请 人 张 梅 芳

导师姓名及职称 耿 世 锋 教授

学 院 名 称 数学与计算科学学院

学 科 专 业 数 学

研 究 方 向 偏微分方程理论

学位申请级别 理 学 硕 士

学位授予单位 湘 潭 大 学

论文提交日期 2024–4–10
 Large time behavior and Convergence
Rates of the n-dimensional Keller-Segel
Model solutions

Candidate MeiFang Zhang

Supervisor Prof. ShiFeng Geng

College School of Mathematics and Computational Science

Program Mathematics

Specialization Theory of Partial Differential Equation

Degree Master of Science

University Xiangtan University

Date April 10th, 2024

 湘潭大学
学位论文原创性声明
本人郑重声明：所呈交的论文是本人在导师的指导下独立进行研
究所取得的研究成果. 除了文中特别加以标注引用的内容外, 本论文不
包含任何其他个人或集体已经发表或撰写的成果作品. 对本文的研究
做出重要贡献的个人和集体, 均已在文中以明确方式标明. 本人完全意
识到本声明的法律后果由本人承担.

作者签名： 日期： 年 月 日

学位论文版权使用授权书
本学位论文作者完全了解学校有关保留、使用学位论文的规定,
同意学校保留并向国家有关部门或机构送交论文的复印件和电子版,
允许论文被查阅和借阅. 本人授权湘潭大学可以将本学位论文的全部
或部分内容编入有关数据库进行检索, 可以采用影印、缩印或扫描等复
制手段保存和汇编本学位论文.
涉密论文按学校规定处理.

作者签名： 日期： 年 月 日

导师签名： 日期： 年 月 日
 摘要

本文主要研究 n 维 Keller − Segel 模型的大时间行为及其收敛率. n 维

Keller − Segel 模型是描述生物群体运动的一种数学模型, 其在生物学、化学和
物理学等领域都有重要应用. 该模型描述了生物个体通过感知和移动来聚集成群
体的现象. 通过对模型的深入研究, 我们可以更好地理解生物群体聚集的机制, 并
为生物学、化学和物理学等领域的应用提供理论支持. 我们利用能量方法和细致
的分析证明了 n 维 Keller − Segel 方程光滑解的整体存在性、大时间渐进行为并
得到了收敛率.
本文安排如下:

• 第一章介绍了 n 维 Keller − Segel 方程问题的研究背景和现状, 概述了本文

的主要结果以及预备知识.

• 第二章主要是预备知识，主要包括基本符号和常用引理.

• 第三章证明了三维 Keller − Segel 方程解的存在性和衰减估计.

关键词: n 维 Keller − Segel 方程, 收敛率, 渐进行为.

I
 Abstract

This article mainly studies the large-time behavior and its convergence rate of
the n-dimensional Keller − Segel model. The n-dimensional Keller − Segel model
is a mathematical model that describes the movement of biological groups. It is
used in biology, chemistry and It has important applications in physics and other
fields. This model describes the phenomenon of biological individuals gathering into
groups through perception and movement. Through in-depth study of the model, we
can better understand the mechanism of biological group aggregation and provide
insights into biology, It provides theoretical support for applications in fields such as
chemistry and physics. We use energy methods and detailed analysis to prove the
overall existence of smooth solutions to the n-dimensional Keller − Segel equation,
large-time asymptotic behavior and obtain the convergence rate.
In the first chapter, we introduce the research background and current situation
of the n dimensional Keller−Segel equation problem, summarizing the main results
of this paper and the preparatory knowledge.
In the second chapter, it is mainly preparatory knowledge, mainly including
basic symbols and common lemmas.
In the third chapter, we prove the existence and decay estimation of solutions
to the 3-D Keller − Segel equation.

Key words: The n-dimensional Keller-Segel equation, Convergence rate,

Asymptotic behavior..

II
 目录

第一章 绪 论 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1
1.1 研究背景及现状 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1
1.2 本文的主要工作 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 2
1.3 本文主要结果 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 5
第二章 预备知识 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 7
2.1 基本符号 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 7
2.2 常用的引理 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 7
第三章 三维 Keller − Segel 模型的存在性和衰减估计 . . . . . . . . . . . 11
3.1 能量估计和渐进行为 . . . . . . . . . . . . . . . . . . . . . . . . . . 11
总结与展望 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 39
致谢 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 43

III
 第一章 绪论

1.1 研究背景及现状
本章将回顾 Keller-Segel 模型的背景, 介绍相关研究现状, 并引用一些重要文
献, 以探讨该领域的最新进展. 对于 Keller-Segel 模型解的大时间渐进行为和收敛
率进行了深入的研究.
Keller-Segel 模型是一类描述生物群体中个体运动和聚集行为的偏微分方程模
型 [22]. 它基于化学吸引物在空间中的梯度, 描述了生物体（如细胞、细菌等）在
该梯度下的移动和聚集现象 [18]. Keller-Segel 模型最初由 E.F. Keller 和 L. Segel
于 1970 年提出, 用于描述细菌等生物群体在化学梯度中的趋向性移动和聚集现象
[2].
在一维情况下, 对于诺伊曼初边值问题在 Keller-Segel 模型中, Osaki 和 Yagi
证明了在初始数据足够光滑的情况下, 模型的解是全局的且一致有界的 [3]. 对于
模型（1.1）的柯西问题, Nagai 和 Yamada 给出了有界解的大时间行为 [5]. 在应用
科学中的数学方法提出了一维 Keller-Segel 模型解对扩散波的收敛性 [9]. 然而, 我
们可以观察到, 在无界区域, 上述结果要求初始数据在无穷远处是相同的常数, 特
别是在无穷远处为零. 据我们所知, 初始数据在无穷远处的不同状态到目前还没有
被研究过. 在本文中, 我们将通过 Hsiao 和 Liu[8] 提出的方法来考虑这个问题.
高维 Keller-Segel 模型描述了细胞群体在高维空间中的移动和聚集行为. 随
着数学生物学和复杂系统理论的发展, 高维 Keller-Segel 模型也随之发展, 比如有
学者研究了在最优空间的小条件下, 高维 Keller-Segel 系统全局有界解的存在性
[19]. 比如又有学者研究了在高维情况下的抛物线 Keller-Segel 系统中的有限时间
爆炸现象 [20] 等等, 并且也在各个领域的研究得到了广泛关注, 尤其是在生物学
[1][2][21]、医学上 [4][6][7]、数学和物理学领域. 这些研究不仅扩展了传统的 Keller-
Segel 模型 [27], 提供了对生物体系中群体行为的深入理解, 还为生物医学领域的应
用提供了理论基础.

1
 对于非线性扩散波的收敛理论, Hsiao 和 Liu[8] 在柯西问题首次对其进行了研
究. 证明了具有阻尼的 P 系统的柯西问题的解渐近收敛于非线性扩散波, 这些非
线性扩散波的分布是由达西定律导出的抛物方程的自相似解. 然后, 通过更详细和
准确的能量估计, Nishihara[10] 将 Hsiao 和 Liu[8] 的结果进行了推广, 得到了更精
确的收敛速度. 此外, 通过利用能量方法共同构造一个合适的近似格林函数, 进一
步提高了收敛速度, 与热方程相比, 这在这个意义上是最优的. 对于其他结果, 我们
参考其他研究 [11]-[15] 和其中的参考文献.
在数学领域研究者们探讨了 Trudinger-Moser 不等式在化学趋化的抛物线系
统分析中的应用, 尤其是在 Keller-Segel 模型的一个变体上的应用 [23]. 也研究了
化学趋化的抛物线系统有界解的衰减性质和渐近行为 [24]. 研究了广义 Keller–
Segel 模型进一步考虑了其他影响因素, 如空间异质性、非线性趋化率和非线性消
耗率. 有研究者提出了” 耦合格子 Boltzmann 方法”（coupled lattice Boltzmann
method）的数值求解技术, 用于求解广义 Keller–Segel 趋化模型 [25]. 又比如研
究了逻辑型抛物-椭圆 Keller-Segel 系统的数学模型, 包括描述细胞密度和趋化物
质浓度的偏微分方程, 并介绍了涉及到的参数以及它们的物理意义以及在逻辑型
Keller-Segel 系统中化学趋化崩溃的参数条件 [28]. 并且随机行走中的聚集、爆破
和坍塌现象中,Keller-Segel 模型也有重要的研究作用 [16] .
在物理学领域, 对双极性流体动力模型的研究 [17] 从方法论上受到了 Keller-
Segel 模型及其分析技术的启发, 同样这些研究对于理解和分析 Keller-Segel 模型的
行为也可能有所贡献. 还有学者研究了具有间接信号产生的 Keller-Segel 和 Navier-
Stokes 系统中的有界性和渐近行为 [26] 该模型在生物学领域, 如细菌聚集、神经元
生长、和肿瘤转移等方面具有广泛的应用, 还有细胞在化学梯度中移动和聚集行为
方面的应用 [29]. 在 Keller-Segel 模型中, 细胞或生物体通过对化学吸引物的感知,
从而在环境中形成浓度梯度, 进而驱动其自身的运动和聚集. 然而, Keller-Segel 模
型也涉及一些数学上的挑战, 如解的存在性、唯一性以及渐进行为等问题.

1.2 本文的主要工作
本文将探讨三维 Keller-Segel 模型解的大时间渐进行为和收敛率, 为以下形式：

ut = a∆u − k∇ · (u∇ρ),
(1.1)
ρ = b∆ρ + µu − λρ.
t

2
对于柯西问题, 考虑初始条件:

(u, ρ)(x, 0) = (u0 , ρ0 )(x) → (u± , ρ± ), x → ±∞, (1.2)

这里, u = u(x, t) 表示细菌的密度, ρ = ρ(x, t) 表示介导聚集的化学物质的浓度.

a, b, λ, µ 和 k 是正常数. a 和 b 分别是细菌和化学物质的扩散系数. λ 是化学物质
的恒定下降速率. µ 是细菌产生化学物质的恒定速率, k 表示趋化性的强度. 对于
一维 Keller − Segel 模型如下：

ut − auxx + k[uρx ]x = 0,
(1.3)
ρ − bρ + λρ − µu = 0, x ∈ Ω, t > 0,
t xx

(1.3) 的解在时间上渐近表现为达西定律与其相应的抛物方程.

ūt = aūx − k[ūρ̄x ]x ,
(1.4)
λρ̄ − µū = 0,

或者

ūt − (a − kµ

ū)ūx x = 0,
λ
(1.5)
ρ̄ = µ ū.
λ

由 Hsiao 和 Liu[8] 以及 Nishihara[10] 的启发, 我们用 (1.2) 的任意解表示 ū, 其最

终状态与 u(x, 0) 相同

ū(±∞, t) = u± , (1.6)

并且有

µ
ρ̄(±∞, t) = u± = ρ± , (1.7)
λ

由于达西定律结合 (1.2) 和 (1.3), 我们得到


(u − ū)t − a(u − ū)xx + κ[uρx ]x − κ[ūρ̄x ]x = 0,
(1.8)
ρ − bρ + λ(ρ − ρ̄) − µ(u − ū) = 0.
t xx

3
设置扰动

(U, V )(x, t) = (ρ − ρ̄, u − ū)(x, t), (1.9)

结合 (1.8) 和 (1.9), 我们可以得到


Vt − aVx + κ[(V + ū)Ux + V ρ̄x ]x = 0,
(1.10)
U − bU + λU − µV + ρ̄ − bρ̄ = 0,
t xx t xx

考虑初始条件:

(U, V )|t=0 = (U0 , V0 ) (x) → 0 as x → ±∞. (1.11)

我们在先验假设下对 (1.10) 的解 (U, V )(x, t) 的估计, 0 < t < T .

( )
X
2


N (T ) := sup (1 + t)k ∥∂xk w(t)∥2 + ∥∂xk z(t)∥ 2
≤ ε20 , (1.12)
0≤t≤T
k=0

其中 0 < ε0 ≪ 1

引理 1.1(见 [9]). 令 δ := |ρ+ − ρ− | + |u+ | + |u− | 和 ∥U0 ∥2 + ∥V0 ∥2 足够小. 柯

西问题 (1.10)-(1.11) 则一维的 Keller-Segel 方程的 Cauchy 存在唯一的光滑时间全
局解 (U,V)(x,t), 并且满足



U ∈ W i,∞ [0, ∞); H 2−i , i = 0, 1, 2, V ∈ W i,∞ [0, ∞); H 2−i , i = 0, 1, 2,

并且
X
2



(1 + t)k ∥∂xk U (t)∥2 + ∥∂xk V (t)∥2 + (1 + t)2 ∥Ut (t)∥2 + ∥Vt (t)∥2
k=0
Z t "X
2


+ (1 + τ )j ∥∂xj+1 U (τ )∥2 + ∥∂xj+1 V (τ )∥2 + ∥∂xj (λU − µV )(τ )∥2
0 j=0


+ (1 + τ )2 ∥Uxt (τ )∥2 + ∥Vxt (τ )∥2 + ∥(λUt − µVt )(τ )∥2 ]dτ


≤ C ∥U0 ∥22 + ∥V0 ∥22 + δ . (1.13)

4
 1.3 本文主要结果

在本文中, 我们主要考虑了三维 Keller − Segel 模型解的大时间渐近行为和

收敛性：
设 (ũ, ρ̃) 是具有小扰动的一维 Keller − Segel 模型的解.

ũt = a∆ũ − k∇ · (ũ∇ρ̃)
(1.14)
ρ̃ = b∆ρ̃ + µũ − λρ̃
t

结合 (1.1) 和 (1.13), 我们得到


ut − ũt = a∆(u − ũ) − k∇ · (u∇ρ) + k∇ · (ũ∇ρ̃)
(1.15)
ρ − ρ̃ = b∆(ρ − ρ̃) + µ(u − ũ) − λ(ρ − ρ̃)
t t

设置扰动

(w, z)(x, t) = (ρ − ρ̃, u − ũ) (1.16)

结合 (1.15) 和 (1.16), 我们得到


wt − b∆w − µz + λw = 0
(1.17)
z − a∆z + k∇ · (z∇w + ũ∇w + z∇ρ̃) = 0
t

对于柯西问题, 考虑初始条件:

(w, z)|t=0 = (w0 , z0 ) (x) → 0 x → ±∞. (1.18)

5
定理 1.2(柯西问题). 令 δ := |ρ+ − ρ− | + |u+ | + |u− | 和 � ∥w0 ∥3 + ∥z0 ∥3 足够小. 对
于 (1.16)-(1.17) 的柯西问题则三维的 Keller − Segel 方程的 Cauchy 存在唯一的
光滑时间全局解 ( w, z) ( x, t) , 并且满足



w ∈ W i,∞ [0, ∞); H 3−i , i = 0, 1, 2, 3 z ∈ W i,∞ [0, ∞); H 3−i , i = 0, 1, 2, 3

X
3  2 2


(1 + t)k ∇k w(t) + ∇k z(t) + (1 + t)3 ∥wt (t)∥2 + ∥zt (t)∥2
k=0
Z t "X
3  
2 2 2
+ (1 + τ )j ∇j+1 w(τ ) + ∇j+1 z(τ ) + ∇j (λw − µz)(τ )
0 j=0


+ (1 + τ )3 ∥∇wt (τ )∥2 + ∥∇zt (τ )∥2 + ∥(λwt − µzt ) (τ )∥2 dτ


≤ C ∥w0 ∥23 + ∥z0 ∥23 + δ . (1.19)

6
 第二章 预备知识

2.1 基本符号
符号: 其中 C 表示通常意义下的常量, 它的取值与 x 及 t 没有关系, 并且每一
行表示的 C 可以不一样. 其中 ∥ · ∥Lp 以及 ∥ · ∥m 分别表示在 Lebesgue 空
间 Lp = Lp (R)(2 ≤ p ≤ ∞) 和 Sobolev 空间 H m = H m (Ω) 的范数定义. 特殊地,
定义在 R 上的 L2 范数通常用 ∥ · ∥ 来表示. Cη 表示通常较大的正常数, 具体取决
于 η. Lp = Lp (Ω)(1 ≤ p ≤ ∞) 表示具有范数的 Lebesgue 空间.

Z  p1
∥f ∥Lp = |f (x)| dx
p
,1 ≤ p < ∞
Ω

∥f ∥L∞ = sup |f (x)|

Ω

对于任意 m ≥ 0, H m (Ω)表示具有范数的通常 Sobolev 空间

! 12
X
m
∥f ∥m = ∥∂xk f ∥2
k=0

在这里∥ · ∥ = ∥ · ∥ ∥0 =∥ · ∥∥L2 (Ω) , Ω = Rn 或者R+ .

2.2 常用的引理
下面是本文计算过程中用到的几个引理:
首先, 我们将介绍非线性扩散波 (ū, ρ̄) 的一些基本性质, 以及一些基本不等式,
这些性质将在后面发挥重要作用.

7
我们结合(1.3)1 和 (1.6), 可以得到

ūt = (f (ū)ūx ) ,
x
(2.1)
ū(±∞, t) = u ,
±

p ∈ [1, ∞] 是一个整数, (2.1) 的自相似解认为

min {u+ , u− } ≤ ū(x, t) ≤ max {u+ , u− }

≤ C |u+ − u− | (1 + t)− 2 −j+ 2p , k, j ≥ 0, k + j ≥ 1.

k 1
∂xk ∂tj ū(t) Lp (R)

≤ C |ρ+ − ρ− | (1 + t)− 2 −j+ 2p , k, j ≥ 0, k + j ≥ 1.

k 1
∂xk ∂tj ρ̄(t) Lp (R)

接下来, 我们引入 [13] 中的引理, 它将为我们建立 n-D 情况下的能量估计起关

键作用.
µx2
− 2(1+t)
1 R x1
设 µ > 0, 其中 G (x1 , t) = e g (x1 , t) = √1
1+t −∞
G(ξ, t)dξ.

我们可以得到
r
1 2π
gt (x1 , t) = √ Gx1 (x1 , t) 并且 ∥g(·, t)∥L∞ (R) =
2µ 1 + t µ

引理 2.2 (看 [13]) 对于 0 < T ≤ ∞, x1 ∈ R, 假设 h (x1 , t) 满足

h ∈ L∞ 0, T ; L2 (R) , hx1 ∈ L2 0, T ; L2 (R) , ht ∈ L2 0, T ; H −1 (R) ;

那么以下估计值适用于任何 t ∈ (0, T ] :

Z t Z  
−1 µx21
(1 + τ ) exp − h2 (x1 , τ ) dx1 dτ
1 + τ
0
 R Z tZ
≤ C(µ) ∥h(·, 0)∥L2 + 2
h2x1 (x1 , τ ) dx1 dτ
Z t
0
R
+ ht , hg 2 H −1 ×H 1 dτ . (2.2)
0

引理 2.3 它认为
Z t Z t
1
B(τ )dτ ≤ Cδ + C 2 ∥∇w, ∇z)(τ )∥2 dτ (2.3)
0 0

8
当 δ + ε ≪ 1, 其中
Z 2
1 − µx 1
B(t) := e 1+t z 2 (x, t)dx.
R3 1+t

证明: 根据引理 2.2, 我们可以得到

Z tZ µx2  Z t
e− 1+τ 2
1

z dxdτ ≤ C(µ) ∥z(0)∥ +

2
∥∇z(τ )∥2 dτ
R3 1+τ
0
Z t
0

2
+ zt , zg H −1 ×H 1 dτ , (2.4)
0

这里的 z 是 (1.16) 的解. 可以得到以下不等式

Z t Z tZ
zt , zg 2
H −1 ×H 1
dτ = [a∆z − k∇ · (z∇w + ũ∇w + z∇ρ̃)]zg 2 dxdτ
3
0
Z0 t ZR
= a∆zzg 2 − zg 2 k∇ · (z∇w + ũ∇w + z∇ρ̃)dxdτ
R3
0
Z tZ


=− a∇ zg 2 · ∇z + k(z∇w + ũ∇w + z∇ρ̃) · ∇ zg 2 dxdτ
3
Z t RZ
0
Z tZ
=−a g ∇z · ∇zdxdτ − 2a
2
zg∇g · ∇zdxdτ
R3 R3
Z tZ
0 0


+k z∇w · ∇ zg 2 dxdτ
3
Z0 t ZR Z tZ



+k ũ∇w · ∇ zg dxdτ + k
2
z∇ρ̃ · ∇ zg 2 dxdτ
0 R3 0 R3
Z tZ X
4
=−a g 2 ∇z · ∇zdxdτ + Ii
0 R3 i=1
X
4
≤ Ii . (2.5)
i=1

其中 Ii (1 ≤ i ≤ 4) 对应于上述不等式右侧的项.
我们对Ii (1 ≤ i ≤ 4) 一项一项来估计, 并通过使用 Cauchy 不等式以及以下不等式,
Z Z
z (∇ρ̄) dx ≤ Cδ
2 2 2
h2 (∇g)2 dx, (2.6)
R3 R3

9
我们可以推出 I1 的估计
Z tZ
I1 = −2azg∇g · ∇zdxdτ
0 R3
Z tZ Z tZ µx2
e− 1+τ
1

≤η |∇z|2 dxdτ + Cη z2 dxdτ (2.7)

0 R3 0 R3 1+τ
得到了 I2 的估计
Z tZ


I2 = kz∇w · ∇ zg 2 dxdτ
3
Z t RZ
0
Z tZ
=k z∇w · ∇zg dxdτ + k
2
z∇w · 2gz∇gdxdτ
0 R3 0 R3
Z Z tZ µx2
e− 1+τ 2
t 1

≤η ∥(∇w, ∇z)(τ )∥2 dτ + C z dxdτ (2.8)

0 0 R3 1+τ
I3 的估计为
Z tZ


I3 = k kũ∇w · ∇ zg 2 dxdτ
3
Z0 t ZR


=k k[(ũ − ū) + ū]∇w · ∇zg 2 + 2gz∇g dxdτ
0 R3
Z Z tZ µx2
e− 1+τ 2
t 1

≤η ∥(∇z, ∇w)(τ )∥2 dτ + Cη z dxdτ (2.9)

0 0 R3 1+τ
I4 的估计为
Z tZ


I4 =k z∇ρ̃ · ∇ zg 2 dxdτ
3
Z0 t ZR


=k z[∇(ρ̃ − ρ̄) + ∇ρ̄] · ∇ zg 2 dxdτ
3
Z0 t R Z tZ
Cδ(1 + t)− 2 dxdτ
3
≤η ∥∇z(τ )∥ dτ +
2
0 0 R3
Z tZ µx2
− 1+τ1
e
+ Cη z 2 dxdτ (2.10)
0 R3 1+τ
因此我们可以得到

Z t Z t
1
zt , zg 2
H −1 ×H 1
dτ ≤ Cδ + c 2 ∥(∇w, ∇z)(τ )∥2 dτ
0 0
Z tZ µx2
e− 1+τ 2
1

+ Cη δ z dxdτ (2.11)
0 R3 1+τ

将 (2.5) 代入 (2.12), 并利用 δ 的较小性, 我们完成了引理 2.3 的证明.

10
第三章 三维 Keller − Segel 模型的存
在性和衰减估计

3.1 能量估计和渐进行为
令 T ∈ (0, +∞), 定义 (1.6) 的解空间，t ∈ (0, T )


X (T ) = (w, z) (x, t) | w, z ∈ C 0, T ; H 3 (Rn ) .

对于 Cauchy 问题 (1.1) 的局部解的存在性可以通过标准压缩映射来完成

(见 [26]) . 本文主要工作是证明先验估计是封闭的，然后利用连续性方法即可证明
Cauchy 问题 (1.1) 整体解的存在性，下面构建 (w, z) 的先验估计，定义

X
3
N (T ) = sup
2
(1 + t)k ∥(∇k z, ∇k w)(t)∥2 ≤ ε2 (3.1)
0≤t≤T
k=0

其中 N (T )2 ≪ ε2 ≪ 1, 那么根据 Gagliardo-Nirenberg 不等式, 其中 k = 0, 1, 2

3 k
(1 + t) 4 + 2 ∥(∇k z, ∇k w)∥L∞ ≤ Cε. (3.2)

现在我们将证明（1.18）, 它将由一系列引理给出.

引理 3.1 如果 ε 和 δ 足够小, 可以得到

Z t


∥w(t)∥ + ∥z(t)∥ +
2 2
∥(∇z, ∇w)(τ )∥2 dτ + ∥(λw − µz)(τ )∥2 dτ
0


≤ C ∥w0 ∥ + ∥z0 ∥2 + δ ,
2
(3.3)

其中 0 ≤ t ≤ T.

11
证明:
首先, 将(1.16)1 乘以 λw, 并且将所得等式关于 x 在 R3 上进行积分, 我们获得

Z Z Z Z
d λw2
dx + bλ |∇w| dx + λ
2 2
w dx − λµ
2
wzdx = 0. (3.4)
dt R3 2 R3 R3 R3

将 (1.6)1 乘以 (−µz), 然后将所得等式关于 x 在 R3 上进行积分, 我们可以得到

Z Z Z Z
− µwt zdx + bµz∆wdx + µ z dx −
2 2
µλ wzdx = 0 (3.5)
R3 R3 R3 R3

R
通过结合 (3.4) 和 (3.5), 我们构建好项： R3
(λw − µz)2 dx, 可以得到

Z Z Z
d λw2
dx + bλ |∇w| dx +
2
(λw − µz)2 dx
dt 2
R3 Z Z
R 3 R 3

=µ wt zdx + bµ ∇z · ∇wdx. (3.6)

R3 R3

通过使用分部积分和使用(1.6)2 , 可以获得

Z Z Z
d
µ zwt dx = µwzdx − µ wzt dx
dt 3
R3
Z R Z R
3

d
= µwzdx − µ w[a∆z − k∇ · (z∇w + ũ∇w + z∇ρ̃)]dx
dt R3
Z Z
R3
Z
d
= µwzdx + µa ∇w · ∇zdx − kµw · (z∇w + ũ∇w + z∇ρ̃)dx.
dt R3
Z Z R3
Z R3
d
= µwzdx + µa ∇w · ∇zdx − kµ∇w · z∇wdx (3.7)
dt R3
Z Z
R 3 R 3

− kµ∇w · ũ∇wdx − kµ∇w · z∇ρ̃dx

R3 R3
Z X
8
d
= µwzdx + Ii
dt R3 i=5

其中 Ii (5 ≤ i ≤ 8) 对应于上述不等式右侧的项.
然后我们将一项一项对Ii (5 ≤ i ≤ 8) 进行估计, 并通过使用引理 2.1 和 (1.12),

12
我们可以得到 I5 的估计

Z Z Z
I5 = µa ∇w · ∇zdx ≤ η |∇w| dx + Cη
2
|∇z|2 dx. (3.8)
R3 R3 R3

得到了 I5 和 I6 的估计

Z Z
I6 = −µk∇w · z∇wdx ≤ Cε |∇w|2 dx (3.9)
R3 R3

Z
I7 = −µk∇w · ũ∇wdx
ZR Z
3

≤ µk∇w · |ũ − ū|∇wdx + µk∇w · |ū | ∇wdx

RZ
3 R3Z

≤C ∥ũ − ū∥L∞ |∇w|2 dx + Cη ∥ū∥L∞ |∇w|2 dx (3.10)

ZR3 R3

≤ C (ε0 + δ) |∇w|2 dx.

R3

以及得到了 I8 的估计
Z
I8 = −µk∇w · z∇ρ̃dx
ZR Z
3

≤ µk∇w · z|∇ρ̃ − ∇ρ̄ | dx + µk∇w · z∇|ρ̄|dx

Z Z Z
R 3 R 3

≤η |∇w| dx + cη
2
z ∥∇(ρ̃ − ρ̄)∥L∞ dx + Cη
2 2
z 2 |∇ρ̄|2 dx (3.11)
R3 R3 R3
Z Z µx2
e− t+1 2
1
− 32
≤η |∇w|2 dx + Cη ε2 (1 + t) + Cη δ 2 z dx
R3 R3 1+t

将 (3.7) 代入到 (3.6), 我们得到

Z   Z Z
d λ 2
w − µwz dx + bλ |∇w| dx +
2
(λw + µz)2 dx
dt R 3 2 R 3 R 3
Z X
8
= bµ ∇w · ∇zdx + Ii (3.12)
R3 i=5
Z Z X
8
≤η |∇w| dx + Cη
2
|∇z| dx +
2
Ii
R3 R3 i=5

13
因此, 将 (3.8)–(3.11) 代入 (3.12), 使用 Cauchy 不等式并且 η 充分的小, 可以得出

Z   Z Z
d λw2 bλ 1
− µwz dx + |∇w| dx +
2
(λw − µz)2 dx
dt R3 2 4 R3 2 R3
Z Z µx2
− 1+t1
e
|∇z|2 dx + Cη ε2 (1 + t)− 2 + Cη δ 2
3
≤ Cη z 2 dx. (3.13)
R3 R3 1 + t

对于 (3.13) 只需要估计右侧的第一项, 将 (1.17) 2 乘以z 然后将所得等式

关于 x 在 R 上进行积分我们可以获得
3

Z Z Z
d 1 2
z dx + a|∇z| dx = 2
k∇z · (z∇w + ũ∇w + z∇ρ̄)dx (3.14)
dt R3 2 R3 R3

与 (3.8) 和 (3.11) 的处理类似, 可以得到

Z Z Z
d 1 2 a
|∇w|2 dx + Cη ε2 (1 + t)− 2
3
z dx + |∇z| dx ≤ cη
2
dt R3 2 2 R3 R3
Z −µx2
1
e 1+t 2
+ Cη δ 2 z dx (3.15)
R3 1+t

将 (3.15) 乘以一个很大的正常数K 并将其与 (3.13) 相加, 我们有

Z Z
d λw2 k 2 bλ
+ z − µwzdx + |∇w|2 dx
dt 2 2 8
Z Z
R 3 R 3

k
(λw + µz)2 dx ≤ Cη ε2 (1 + t)− 2
3
+ a |∇z|2 dx + (3.16)
4 R3 R3
Z −µx2
1
e 1+t 2
+Cη δ 2 z dx
R3 1+t

将上述不等式关于 [0, t] 上进行积分, 并使用 (2.4), 我们得到 (3.3). 引理 3.1 的证

明完成.

14
引理 3.2 如果 ε 和 δ 足够小, 可以得到


(1 + t) ∥∇w(t)∥2 + ∥∇z(t)∥2
Z t  
2 2
+ (1 + τ ) ∇2 w(τ ) + ∇2 z(τ ) + ∥(λ∇w − µ∇z)(τ )∥2 dτ (3.17)
0


≤ c ∥w0 ∥21 + ∥z0 ∥21 + δ

其中 0 ≤ t ≤ T
证明: 设α 是多重指标, 令|α| = 1. ∂xα (1.17) 得到

∂ α wt − b∂ α ∆w − µ∂ α z + λαα w = 0
x x x x
(3.18)
∂ α z − a∂ α ∆z + k∂ α ∇ · (z∇w + ũ∇w + z∇ρ̃) = 0
x t x x

首先, 将 (3.18) 1 乘以λ∂xα w并且关于 x 在 R3 上进行积分 , 我们可以得到

Z Z Z
d λ 2
|∇w|2 dx + ∇ w dx +
2
λ2 |∇w|2 dx
dt 2
XZ
R3 R3 R3

− µλ∂xα z∂xα wdx = 0. (3.19)

|α|=1 R3

然后, 将 (3.18) 1 乘以 − µ∂xα z并且关于 x 在 R3 上进行积分 , 我们可以得到

XZ XZ Z
− −µ∂xα z∂xα wt dx − ∂xα ∇w · ∇∂xα zdx + µ2 |∇z|2 dx
|α|=1 R3 |α|=1 R3 R3
XZ
− µλ∂xα zαxα wdx = 0. (3.20)
|α|=1 R3

R
通过组合 (3.19) 和 (3.20), 构建好项： R3
(λ∇w − µ∇z)2 , 我们有

Z Z Z
d λ 2
|∇w| dx +
2
∇ w dx +
2
(λ∇w − µ∇z)2 dx
dt R3 2
X Z X Z
R3 R3

= µ ∂xα z∂xα wt dx + bµ ∂xα ∇w · ∇∂xα zdx. (3.21)

|α|=1 R3 |α|=1 R3

15
通过使用分部积分(3.18)2 , 我们可以获得

XZ X d Z XZ
µ ∂xα z∂xα wt dx = µ∂ z∂ wdx − µ
α α
∂xα w∂xα zt dx (3.22)
R3 dt R3 x x R 3
|α|=1 |α|=1 |α|=1

XZ XZ
−µ ∂xα w∂xα zt dx = −µ a∂xα w∂xα ∆z − k∂xα w∂xα ∇ · (z∇w + ũ∇w + z∇ρ̃)dx
|α|=1 R3 |α|=1 R3

X
10
= Ii (3.23)
i=9

将 (3.23) 和 (3.24) 代入 (3.22) 中, 我们得到

X d Z λ Z
2
Z
|∇w| − µ∂ w∂ zdx + bλ
2 α α
∇ w dx +
2
(λ∇w − µ∇z)2 dx
dt R3 2 R 3 R 3
|α|=1

X Z X
10
= (a + b)µ ∂xα ∇w · ∇∂xα zdx + Ii (3.24)
|α|=1 R3 i=9

其中 Ii (9 ≤ i ≤ 10) 对应于上述等式右侧的项, 可以得到 I9 的估计

XZ
I9 = − µ a∂ α w∂ α ∆zdx
|α|=1 R3
XZ
= − µa ∇ · (∂ α w∂ α ∇z) dx
|α|=1 R3
XZ
+ µa ∂ α ∇z · ∂ α wdx.
|α|=1 R3
Z Z
2 2
≤η ∇ w dx + Cη
2
∇2 z dx (3.25)
R3 R3

以及下面对 I10 进行估计

XZ
I10 = −µ ∂xα w [−k∂xα ∇ · (z∇w + ũ∇w + z∇ρ̃)] dx
|α|=1 R3
XZ
= −µk ∇αα w · αα (z∇w + ũ∇w + z∇ρ̃)dx
|α|=1 R3

16
 XZ XZ
= −µk ∇∂ w · ∂ (z∇w)dx − µk
α α
∇∂ α w · ∂ α (ũ∇w)dx.
|α|=1 R3 |α|=1 R3
XZ
− µk ∇∂ α w · ∂ α (z∇ρ̃)dx. (3.26)
|α|=1 R3

X
13
= Ii
i=11

Ii (11 ≤ i ≤ 13) 对应于上述不等式右侧的项, 其中的 I11 的估计如下

XZ
I11 = −µk ∇∂ α w · ∂ α (z∇w)dx
|α|=1 R3

XZ X
1
= −µk ∇∂ α w Cβ ∂ β ũ∂ α−β ∇wdx
|α|=1 R3 |β|=0
XZ XZ
= −µk ∇∂ w · Cβ z∂ ∇wdx − µk
α α
∇∂ α w · Cβ ∂ α z∇wdx
|α|=1 R3 |α|=1 R3
Z Z Z
2 2
≤η ∇ w dx + Cη
2
∇ w dx + Cη ∥∇z∥2L∞ |∇w|2 dx
2

ZR Z
3 R3 R3
2
∇2 w dx + Cε(1 + t)− 2
5
≤C |∇w|2 dx. (3.27)
R3 R3

I12 等于

XZ
I12 = −µk ∇∂ α w · ∂ α (ũ∇w)dx
|α|=1 R3

XZ X
1
= −µk ∇∂ w α
Cβ ∂ β ũ∂ α−β ∇wdx
|α|=1 R3 |β|=0
XZ
= −µk ∇∂ α w · [Cβ (ũ − ū)∂ α ∇w + Cβ ∂ α (ũ − ū)∇w
|α|=1 R3

+Cβ ū∂ α ∇w + Cβ ∂ α ū∇w] dx (3.28)

接下来对 I12 进行估计

XZ
− µk ∇∂ α w · Cβ (ũ − ū)∂ α ∇wdx
|α|=1 R3

17
 Z Z
2 2
≤ Cη ∇ w dx +
2
Cβ ε20 ∇2 w dx (3.29)
R3 R3

XZ
− µk ∇∂ α w · Cβ ∂ α (ũ − ū)∇wdx
|α|=1 R3
Z Z
2
≤η ∇ w dx + Cη
2
∥ũ − ū∥2L∞ |∇w|2 dx
Z R3 Z R3
− 23
≤η |∇ w| dx + Cβ ε0 (1 + t)
2 2 2
|∇w|2 dx (3.30)
R2 R3

XZ Z
2
−µk ∇∂ w · Cβ ū∂ ∇wdx ≤ Cη δ
α α
∇2 w dx (3.31)
|α|=1 R3 R3

XZ
− µk ∇∂ α w · Cβ ∂ α ū∇wdx
|α|=1 R3
Z Z
2 −1
≤η ∇ w dx + Cη δ (1 + t)
2 2
|∇w|2 dx (3.32)
R3 R3

因此, 结合 (3.29)-(3.32) 我们得到 I12 估计值为

Z Z
2
−1
I12 ≤ η ∇ w dx + Cη
2
ε20 +δ 2
(1 + t) |∇w|2 dx. (3.33)
R3 R3

其中, I13 等于

XZ
I13 = −µk ∇∂ α w · ∂ α (z∇ρ̃)dx (3.34)
|α|=1 R3
XZ
= −µk ∇∂ α w · ∂ α [z∇(ρ̃ − ρ̄) + z∇ρ̄]dx
|α|=1 R3
XZ XZ
= −µk ∇∂ w · ∂ [z∇(ρ̃ − ρ̄)]dx + µk
α α
∇∂ α w · ∂ α (z∇ρ̄)dx
|α|=1 R3 |α|=1 R3

那么 (3.34) 右侧的第一项等于

XZ
− µk ∇∂ α w · ∂ α [z∇(ρ̃ − ρ̄)]dx
|α|=1 R3

18
  
XZ X
1
= − µk ∇∂ α w  Cβ ∂ β z∂ α−β ∇(ρ̃ − ρ̄) dx
|α|=1 R3 |β|=0
XZ
= − µk ∇∂ α w · [Cβ z∂ α ∇(ρ̃ − ρ̄) + Cβ ∂ α z∇(ρ̃ − ρ̄)] dx
|α|=1 R3
XZ
= − µk ∇∂ α w · Cβ z∂ α ∇(ρ̃ − ρ̄)dx
|α|=1 R3
XZ
− µk ∇∂ α w · Cβ ∂ α z∇(ρ̃ − ρ̄)dx
|α|=1 R3

X
15
= Ii (3.35)
i=14

接下来, 我们估计 I14 和 I15 , I14 的估计为

XZ
I14 = −µk ∇∂ α w · Cβ z∂ α ∇(ρ̃ − ρ̄)dx
|α|=1 R3
Z
2
∇2 w dx + cε2 (1 + t)− 2
5
≤ Cη (3.36)
R3

I15 的估计为
XZ
I15 = −µk ∇∂ α w · Cβ ∂ α z∇(ρ̃ − ρ̄)dx (3.37)
|α|=1 R3
Z Z
2 − 23
≤ Cη ∇ w dx +
2
Cβ ε20 (1 + t) |∇z|2 dx
R3 R3

其中 (3.34) 右侧的第二项等于

XZ
− µk ∇∂ α w · ∂ α (z∇ρ̄)dx
|α|=1 R3

XZ X
1
= − µk ∇∂ w
α
Cβ ∂ β z∂ α−β ∇ρ̄dx
|α|=1 R3 |β|=0
XZ XZ
= − µk ∇∂ w · Cβ ∂ z∇ρ̄dx − µk
α α
∇∂ α w · Cβ z∂ α ∇ρ̄dx
|α|=1 R3 |α|=1 R3

X
17
= Ii (3.38)
i=16

19
接下来, 我们估计 I16 和 I17 , I16 的估计为

XZ
I16 = −µk ∇∂ α w · Cβ ∂ α z∇ρ̄dx
|α|=1 R3
Z Z
2 −1
≤ Cη ∇ w dx + Cβ δ (1 + t)
2 2
|∇z|2 dx (3.39)
R3 R3

I17 的估计为
XZ
I17 = −µk ∇∂ α w · Cβ z∂ α ∇ρ̄dx (3.40)
|α|=1 R3

Z Z µx2
e− 1+t 2
1
2
≤ Cη ∇2 w dx + Cδ(1 + t)−1 z dx
R3 R3 1+t

因此结合上面的估计, 可以得到 I13 估计为

Z Z
2 −1
I13 ≤ Cη ∇ w dx + Cβ (δ + ε0 ) (1 + t)
2
|∇z|2 dx
R3 R3
Z µx2
e− 1+t 2
1
− 52
+Cε2 (1 + t) + Cδ(1 + t)−1 z dx (3.41)
R3 1+t

通过使用 (3.32) 和 (3.40), 我们得到 I10 的估计

Z Z
2 −1
I10 = I11 + I12 + I13 ≤ Cη ∇ w dx + Cβ (δ + ε0 ) (1 + t)
2
|∇z|2 + |∇w|2 dx
R3 R3
Z µx2
e− 1+t 2
1
− 25
+ Cε2 (1 + t) + Cδ(1 + t)−1 z dx (3.42)
R3 1+t

因此, 将 (3.26) 和 (3.43) 代入 (3.25), 并使用 Cauchy 不等式, 然后选择适当小的

η , 得出以下不等式

X d Z λ bλ
Z
2
Z
|∇w| − µ∂ w∂ zdx +
2 α α
∇ w dx +
2
(λ∇w − µ∇z)2 dx
dt R3 2 4 R3 R 3
|α|=1

20
 Z
−1


|∇z|2 +|∇w|2 + Cε2 (1 + t)− 2
5
≤ Cβ (δ + ε0 ) (1 + t)
R3
Z µx2
− 1+t1 Z
−1 e 2
+ Cδ(1 + t) dx + Cη ∇2 z dx (3.43)
R3 1 + z2 R3

R 2
我们只需要估计 (3.43) 右侧的最后一项, 现对 R3
|∇2 z| dx 进行估计
首先由 (3.18) 2 乘以∂xα z 我们获得

∂xα z∂xα zt − a∂xα z∂xα ∆z + k∂xα z∂xα ∇ · (z∇w + ũ∇w + z∇ρ̃) = 0 (3.44)

并关于 x 在R3 进行积分, 我们获得

Z Z
d 1 2
|∇z| dx +
2
∇2 z dx (3.45)
dt R3 2
XZ
R3

=− k∂ α z [∂ α ∇ · (z∇w + ũ∇w + z∇ρ̃)] dx

|α|=1 R3
XZ
= k∇∂ α z · ∂ α (z∇w + ũ∇w + z∇ρ̃)dx.
|α|=1 R3

接下来, 我们对等式 (3.45) 进行估计

XZ XZ
k ∇∂ z · ∂ (z∇w)dx = k
α α
∇∂ α z · (Cβ z∂ α ∇w + Cβ ∂ α z∇w) dx
|α|=1 R3 |α|=1 R3
Z Z
2 2
≤ Cη ∇ z dx + Cβ ε
2
∇2 w dx 2

Z
R 3 R 3

− 25
+ Cβ (1 + t) |∇w| dx.
2
(3.46)
R3

并且

XZ XZ
∇∂ z · ∂ (ũ∇w)dx = k
α α
∇∂ α z · ∂ α {[(ũ − ū)∇w] + ū∇w}dx
|α|=1 R3 |α|=1 R3
XZ XZ
=k ∇∂ z · ∂ [(ũ − ū)∇w]dx + k
α α
∇∂ α z · ∂ α (ū∇w) dx
|α|=1 R3 |α|=1 R3

= I18 + I19 . (3.47)

21
其中 I18 等于

 
XZ X
1
I18 = − µk ∇∂ α z  Cβ ∂ β (ũ − ū)∂ α−β ∇w dx (3.48)
|α|=1 R3 |β|=0
XZ
=k ∇∂ α z · [Cβ (ũ − ū)∂ α ∇w] dx
|α|=1 R3
XZ
+k ∇∂ α z · [Cβ ∂ α (ũ − ū)∇w] dx (3.49)
|α|=1 R3

对 I18 估计如下：

XZ
k ∇∂ α z · Cβ (ũ − ū)∂ α ∇wdx
|α|=1 R3
Z Z
2 2
≤ Cη ∇ z dx +
2
Cβ ε20 ∇2 w dx (3.50)
R3 R3

XZ
k ∇∂ α z · Cβ ∂ α (ũ − ū)∂ α ∇wdx
|α|=1 R3
Z Z
2 − 23 2
≤ Cη ∇ z dx +
2
Cβ ε20 (1 + t) ∇2 w dx (3.51)
R3 R3

我们得到 I18 的估计

Z Z
2 2
I18 ≤ Cη ∇ z dx + η
2
∇2 w dx (3.52)
R3 R3

其中 I19 等于

 
XZ X
1
I19 = − µk ∇∂ α z  Cβ ∂ β ū∂ α−β ∇w dx
|α|=1 R3 |β|=0
XZ XZ
=k ∇∂ z · Cβ ū∂ ∇wdx + k
α α
∇∂ α z · Cβ ∂ α ū∇wdx. (3.53)
|α|=1 R3 |α|=1 R3

22
对 I19 估计如下

Z Z Z
2 −1
k ∇∂ z · Cβ ∂ ū∇wdx ≤ Cη
α
∇ z dx + Cβ δ (1 + t)
α
|∇w|2 dx 2 2

XZ Z Z
R3 R 3 R 3

2 2
k ∇∂ z · Cβ ū∂ ∇wdx ≤ Cη
α α
∇ z dx + Cβ δ 2
|∇2 w|2 dx (3.54)
|α|=1 R3 R3 R3

我们可以得到 I19 的估计

Z Z Z
2 2 −1
I19 ≤ Cη ∇ z dx + Cβ δ
2 2
∇ w dx + Cβ δ (1 + t)
2 2
|∇w|2 dx (3.55)
R3 R3 R3

因此, 我们有 I18 + I19 的估计

Z Z Z
2 2 −1
I18 + I19 ≤ Cη ∇ z dx + η
2
∇ w dx + Cβ δ (1 + t)
2 2
|∇w|2 dx
R3 R3 R3
(3.56)

和估计 I18 与 I19 相似的计算, 我们可以得到下面估计

XZ XZ
k ∇∂ z · ∂ (z∇ρ̃)dx = k
α α
∇∂ α z · ∂ α [z∇(ρ̄ − ρ̄)]dx
|α|=1 R3 |α|=1 R3
XZ
+k ∇∂ α z · ∂ α (z∇ρ̄)dx
|α|=1 R3
Z Z
2
−1
≤ Cη ∇ z dx + Cβ
2
ε20 +δ 2
(1 + t) |∇z|2 dx
R3 R3
Z µx2
− 1+t1
e
+ Cδ(1 + t)−1 z 2 dx + Cβ ε20 (1 + t)− 2
5
(3.57)
R3 1+t

因此, 将 (3.47), (3.57) 和 (3.58) 代入到 (3.46), 使用 Cauchy 不等式, 然后选择 η

适当小可得到以下结果

Z Z
d 1 a 2
|∇z|2 dx + ∇2 z dx
dt R3 2 2 R3

23
 Z Z
2 −1


≤ C (ε0 + δ) ∇ w dx + C (ε0 + δ) (1 + t)
2
|∇z|2 + |∇w|2 dx
R3 R3
Z µx2
− 1+t1
e
+ Cδ(1 + t)−1 z 2 dx (3.58)
R3 1+t

将 (3.58) 乘以一个很大的正常数K, 并将其和 (3.43) 加起来, 我们得到

Z  
d λ|∇w|2 K
+ |∇z| − µ∂ w∂ z dx
2 2 2
dt 2 2
R3
Z Z Z
bλ 2 Ka 2 2
+ ∇ w dx +
2
∇ z dx + (λw − µ∇z)2 dx
8 R3 4 R3
Z R 3

− 52 −1


≤ Cβ δ(1 + t) + C (ε0 + δ) (1 + t) |∇z|2 + |∇w|2 dx
R3
Z µx2
− 1+t1
−1 e
+ Cδ(1 + t) z 2 dx (3.59)
R3 1+t

并且在 [0, t] 上对 (3.59) 进行积分, 并将 (2.4) 与 (3.3) 一起使用, 我们得到

∥∇w(t)∥2 + ∥∇z(t)∥2
Z t 
2 2
+ ∇2 w(τ ) + ∇2 z(τ ) + ∥(λ∇w − µ∇z)(τ )∥2 dτ
0


≤ C ∥w0 ∥21 + ∥z0 ∥21 + δ (3.60)

将 (3.69) 乘以 (1 + t), 并将其在 [0, t] 积分, 然后通过应用 (3.3), 可以得到 (3.17).

引理 3.2 的证明已经完成.

引理 3.3 设 δ + ε ≪ 1, 其中 0 ≤ t ≤ T , 则有


(1 + t)2 ∥∇2 w(t)∥2 + ∥∇2 z(t)∥2
Z t  
2 2
+ (1 + τ )2 ∇3 w(τ ) + ∇3 z(τ ) + ∥(λ∇2 w − µ∇2 z)(τ )∥2 dτ
0


≤ C ∥w0 ∥22 + ∥z0 ∥22 + δ (3.61)

�� 0 ≤ t ≤ T, �� δ + ε ≪ 1

24
证明. 其中α 是多重指标, 并且|α| = 2 .
R R
类似于引理 3.1 和 3.2 , 由 R3 λ∂xα w × ∂xα (1.17)1 dx − R3 µ∂xα z × ∂xα (1.17)1 dx, 并
且使用与 3.1 和 3.2 类似的证明, 再结合方程 ∂xα (1.17)2 , 我们可以得到

Z Z Z
d λ 2 2 2
|∇ w| dx + ∇ w dx +
3
(λ∇2 w − µ∇2 z)2 dx (3.62)
dt R3 2
X Z X Z
R3 R3

= µ ∂xα z∂xα wt dx + bµ ∂xα ∇w · ∇∂xα zdx.

|α|=2 R3 |α|=2 R3

通过利用分部积分和使用(1.17)2 , 我们可以得到

XZ X d Z XZ
µ ∂xα z∂xα wt dx = µ∂ z∂ wdx − µ
α α
∂xα w∂xα zt dx (3.63)
R3 dt R3 x x R 3
|α|=2 |α|=2 |α|=2

XZ XZ
−µ ∂xα w∂xα zt dx = −µ [a∂xα w∂xα ∆z − k∂xα w∂xα ∇ · (z∇w + ũ∇w + z∇ρ̃)]dx
|α|=2 R3 |α|=2 R3

X
21
= Ii (3.64)
i=20

将 (3.23) 和 (3.24) 代入 (3.22), 我们可以得到 t

Z Z Z
d λ 2 2 2
|∇ w| − µ∂ α w∂ α zdx + bλ ∇ w dx +
3
(λ∇2 w − µ∇2 z)2 dx
dt R3 2 R3 R3

(3.65)
X Z X
21
= (a + b)µ ∂xα ∇w · ∇∂xα zdx + Ii .
|α|=2 R3 i=20

其中 Ii (20 ≤ i ≤ 21) 对应于上述等式右侧的项. 通过使用 Cauchy 不等式, 对 I20

和 I21 进行估计.

XZ
I20 = − µa ∂ α w∂ α ∆zdx
|α|=2 R3

25
 XZ XZ
=− ∇ · (∂ w∂ ∇z) dx +
α α
∇∂ α w · ∂ α ∇zdx (3.66)
|α|=2 R3 |α|=2 R3
Z Z
2 2
≤Cη ∇ w dx + η
3
∇3 z dx
R3 R3

其中 I21 等于
XZ
I21 = − µ ∂xα w[−k∂xα ∇ · (z∇w + ũ∇w + z∇ρ̃)]dx
|α|=2 R3
XZ
= − µk ∇αα w · αα (z∇w + ũ∇w + z∇ρ̃)dx
|α|=2 R3
XZ XZ
= − µk ∇∂ w · ∂ (z∇w)dx − µk
α α
∇∂ α w · ∂ α (ũ∇w)dx.
|α|=2 R3 |α|=2 R3
XZ
− µk ∇∂ α w · ∂ α (z∇ρ̃)dx. (3.67)
|α|=2 R3

X
24
= Ii
i=22

对Ii (22 ≤ i ≤ 24) 进行

XZ X
2
I22 = − µk ∇∂ wα
Cβ (∂ β z∂ α−β ∇w)dx.
|α|=2 R3 |β|=0,k≤α
XZ
= − µk ∇∂ α w · Cβ (z∂ α ∇w + ∂ β z∂ α−β ∇w + ∂ α z∇w)dx
|α|=2 R3
Z Z
− 25
≤Cη |∇ w| dx + Cε(1 + t)
3 2
(|∇2 z|2 + |∇2 w|2 )dx (3.68)
R3 R3

这里 I23 等于

XZ X
2


I23 = − µk ∇∂ α w Cβ ∂ β ũαα−β ∇w dx
|α|=2 R3 |β|=0,k≤α
XZ

= − µk ∇∂ α w · Cβ ũ∂ α ∇w + ∂ α ũ∇w + ∂ β ũαα−β ∇w dx. (3.69)
|α|=2 R3

对于 I23 的估计如下:

XZ
− µk ∇∂ α w · Cβ ũ∂ α ∇wdx
|α|=2 R3

26
 XZ
= − µk ∇∂ α w · Cβ [(ũ − ū) + ū]∂ α ∇wdx
|α|=2 R3
Z XZ
2
≤C (ε0 + δ) ∇ w dx − µk
3
∇∂ α w · Cβ ∂ α ũ∇wdx (3.70)
R3 |α|=2 R3

XZ
− µk ∇∂ α w · Cβ ∂ α [(ũ − ū) + ū]∇wdx
|α|=2 R3
Z Z
2 −2
≤ Cη ∇ w dx + C (ε0 + δ) (1 + t)
3
|∇w|2 dx (3.71)
R3 R3

XZ
− µk ∇∂ α w · Cβ ∂ β ũ∂ α−β ∇wdx
|α|=2 R3
XZ
=−µ ∇∂ α w · Cβ ∂ β [(ũ − ū) + ū]∂ α−β ∇wdx
|α|=2 R3
Z Z
2 −1 2
≤ Cη ∇ w dx + C (ε0 + δ) (1 + t)
3
∇2 w dx (3.72)
R3 R3

因此我们通过使用 (3.66) − (3.68), 我们可以推出 I23 的估计

Z Z
2 −1 2
I23 ≤ Cη ∇ w dx + C (ε0 + δ) (1 + t)
3
∇2 w dx
R3 Z R3
−2
+ C (ε0 + δ) (1 + t) |∇w|2 dx (3.73)
R3

类似与 I23 的计算, 我们可以得到 I24 等于

XZ
I24 = −µk ∇∂ α w · Cβ (∂ α z∇ρ̃ + ∂z∂∇ρ̃ + z∂ α ∇ρ̃) dx (3.74)
|α|=2 R3

其中为了得到 I24 的估计, 对 (3.74) 一些项进行估计

XZ
− µk ∇∂ α w · Cβ ∂ α z∇ρ̃dx
|α|=2 R3
XZ
= − µk ∇∂ α w · Cβ ∂ α z∇[(ρ̃ − ρ̄) + ρ̄]dx
|α|=2 R3

27
 Z Z
2 −1 2
≤ Cη ∇ w dx + c (ε0 + δ) (1 + t)
3
∇2 z dx (3.75)
R3 R3

XZ
− µk ∇∂ α w · Cβ ∂ β z∂ α−β ∇ρ̃dx
|α|=2 R3
XZ
= − µk ∇∂ α w · Cβ ∂ β z∂ α−β ∇[(ρ̃ − ρ̄) + ρ̄]dx
|α|=2 R3
Z Z
2 −2
≤ Cη ∇ w dx + (cε0 + δ) (1 + t)
3
|∇z|2 dx (3.76)
R3 R3

其中
XZ
− µk ∇∂ α w · Cβ z∂ α ∇ρ̃dx
|α|=2 R3
XZ
= − µk ∇∂ α w · Cβ z∂ α ∇ [(ρ̃ − ρ̄) + ρ̄] dx
|α|=2 R3

Z Z µx2
e− 1+t 2
1
2 − 27
≤ Cη ∇3 w dx + cε0 (1 + t) + Cδ 2 (1 + t)−2 z dx (3.77)
R3 R3 1+t

因此通过使用 (3.75) − (3.77), 我们可以得到 I24 的估计

Z Z
2 −1 2
I24 ≤ Cη ∇ w dx + C (ε0 + δ) (1 + t)
3
∇2 z dx
R3 Z R3

+ C (ε0 + δ) (1 + t)−2 |∇z|2 dx

R3
Z µx2
e− 1+t 2
1
− 72
+ Cε0 (1 + t) + Cδ 2 (1 + t)−2 z dx (3.78)
R3 1+t

通过结合 (3.73) 和 (3.78), 我们可以得到 I21 的估计

Z Z
2 −1 2 2
I21 = I22 + I23 + I24 ≤ Cη ∇ w dx + C (ε0 + δ) (1 + t)
3
∇2 z + ∇2 w dx
R3 Z R3

+ C (ε0 + δ) (1 + t)−2 (|∇z|2 + |∇w|2 )dx

R3
Z µx2
e− 1+t 2
1
− 72
+ Cε0 (1 + t) + Cδ 2 (1 + t)−2 z dx (3.79)
R3 1+t

28
因此, 将 (3.66) 和 (3.79) 代入 (3.65), 并使用 Cauchy 不等式, 且选择适当小的
η 来得出
X d Z λ 2
( ∇2 w − µ∂ α w∂ α z)dx
dt R3 2
|α|=2
Z Z
bλ 2
+ ∇ w dx +
3
λ∇2 w− µ∇2 z | 2 dx
4 R3 R3 Z
− 27 −1 2 2
≤ Cδ(1 + t) + C (ε0 + δ) (1 + t) ( ∇2 w + ∇2 z )dx
R3
Z Z µx2

e− 1+t 2
1

+ Cδ(1 + t)−2 |∇w|2 + |∇z| 2

dx + Cδ(1 + t)−2 z dx.
1+t
Z R3 R3
2
+C ∇3 z dx (3.80)
R3

接下来, 将 ∂xα (1.7)2 乘以 K∂xα z( K 足够大), 并将其关于 x 在 R3 进行积分, 类似

于 (3.55) 的计算, 我们得到

Z Z
d 1 2 2 a 2
∇ z dx + ∇3 z dx
dtR3 2 Z 2 R3
Z
2 −1 2 2
≤ C (ε0 + δ) ∇ w dx + C (ε0 + δ) (1 + t)
3
( ∇2 w + ∇2 z )dx
R3 Z R3


+ Cδ(1 + t)−2 |∇w|2 + |∇z|2 dx
R3
Z µx2
e− 1+t 2
1

+ Cδ(1 + t)−2 z dx. (3.81)

R3 1+t

将 (3.81) 乘以一个大的正常数K并将其与 (3.80) 相加, 我们有

X d Z λ 2 K 2
( ∇2 w + ∇2 z − µ∂ α w∂ α z)dx
dt R3 2 2
|α|=2
Z Z Z
bλ 2 Ka 3 2
+ ∇ w dx +
3
∇ z dx + λ∇2 w− µ∇2 z | 2 dx
8 R3 4 R3
Z R3
2 2
≤ Cδ(1 + t)− 2 + C (ε0 + δ) (1 + t)−1
7
( ∇2 w + ∇2 z )dx
R3
Z Z µx2

e− 1+t1
+ Cδ(1 + t)−2 |∇w|2 + |∇z| 2
dx + Cδ(1 + t)−2 z 2 dx. (3.82)
R3 R3 1+t

29
将在 [0,t] 上对 (3.82) 积分, 并使用 (2.4), (3.3) 和 (3.17), 我们得到

Z t
2 2 2 2
∇ w(t)
2
+ ∇ z(t) 2
+ ( ∇3 w(τ ) + ∇3 z(τ )
0

2
+ λ∇ w − µ∇ z (τ ) )dτ
2 2

≤C(∥w0 ∥22 + ∥z0 ∥22 + δ) (3.83)

将 (3.79) 乘以 (1 + t)2 , 并将其在 [0,t] 进行积分, 然后使用 (3.3) 和 (3.17), 可以立

即得到 (3.58). 引理 3.3 的证明完成.

引理 3.4 0 ≤ t ≤ T ,δ + ε ≪ 1


(1 + t)3 ∥∇3 w(t)∥2 + ∥∇3 z(t)∥2
Z t  
2 2
+ (1 + τ ) 3
∇4 w(τ ) + ∇4 z(τ ) + ∥(λ∇ w − µ∇ z)(τ )∥
3 3 2
dτ
0


≤C ∥w0 ∥23 + ∥z0 ∥23 + δ (3.84)

�� 0 ≤ t ≤ T, �� δ + ε ≪ 1

R
证明. 设α 是多重指标, 并且|α| = 3. 类似于引理 3.1 和引理 3.2 , 利用 R3 λ∂xα w×
R
∂xα (1.17)1 dx − R3 µ∂xα z × ∂xα (1.17)1 dx, 然后应用分部积分和方程 ∂xα (1.17)2 , 我们
可以获得

Z Z Z
d λ 3 2 2
|∇ w| dx + ∇ w dx +
4
(λ∇3 w − µ∇3 z)2 dx (3.85)
dt 2
X Z X Z
R3 R3 R3

= µ ∂xα z∂xα wt dx + bµ ∂xα ∇w · ∇∂xα zdx.

|α|=3 R3 |α|=3 R3

通过使用分部积分和(1.17)2 , 可以获得

XZ X d Z XZ
µ ∂xα z∂xα wt dx = µ∂ z∂ wdx − µ
α α
∂xα w∂xα zt dx (3.86)
R3 dt R3 x x R 3
|α|=3 |α|=3 |α|=2

30
 XZ XZ
−µ ∂xα w∂xα zt dx = −µ a∂xα w∂xα ∆z − k∂xα w∂xα ∇ · (z∇w + ũ∇w + z∇ρ̃)dx
|α|=3 R3 |α|=3 R3

X
25
= Ii (3.87)
i=24

将 (3.86) 和 (3.87) 代入 (3.85), 我们得到

Z Z Z
d λ 3 2 2
|∇ w| − µ∂ w∂ zdx + bλ
α α
∇ w dx +
4
(λ∇3 w − µ∇3 z)2 dx
dt R3 2 R3 R3
X Z X25
= (a + b)µ ∂xα ∇w · ∇∂xα zdx + Ii . (3.88)
|α|=3 R3 i=24

其中 Ii (24 ≤ i ≤ 25) 对应于上述等式右侧的项. 通过使用 Cauchy 不等式, 以及

以下不等式. 然后获得 I24
XZ
I24 = − µa ∂ α w∂ α ∆zdx
|α|=3 R3
XZ
= ∇∂ α w · ∂ α ∇zdx (3.89)
|α|=3 R3
Z Z
2 2
≤Cη ∇ w dx + η
4
∇4 z dx
R3 R3

其中 I25 等于

XZ
I25 = − µ ∂xα w[−k∂xα ∇ · (z∇w + ũ∇w + z∇ρ̃)]dx
|α|=3 R3
XZ
= − µk ∇αα w · αα (z∇w + ũ∇w + z∇ρ̃)dx
|α|=3 R3
XZ XZ
= − µk ∇∂ w · ∂ (z∇w)dx − µk
α α
∇∂ α w · ∂ α (ũ∇w)dx.
|α|=3 R3 |α|=2 R3
XZ
− µk ∇∂ α w · ∂ α (z∇ρ̃)dx.
|α|=3 R3

X
28
= Ii (3.90)
i=26

现在我们将Ii (26 ≤ i ≤ 28) 进行估计, 然后获得 I25 的估计

31
其中 I26 估计如下:

XZ X
3
I26 = − µk ∇∂ w α
Cβ (∂ β z∂ α−β ∇w)dx.
|α|=3 R3 |β|=0,k≤α
Z Z
2 − 25
≤ Cη ∇ w| dx + cε(1 + t)
4
(|∇3 w|2 + |∇3 z|2 )dx
R Z R3
− 27
+ Cε(1 + t) |∇2 z|2 dx. (3.91)
R3

I27 估计如下:
XZ X
3


I27 = − µk ∇∂ α w · Ck ∂ k ũ∂ α−k ∇w dx
|α|=3 R3 |k|=0,k≤α
Z Z
−1
≤ Cη |∇ w| dx + C (ε0 + δ) (1 + t)
4 2
|∇3 w|2 dx
R3 Z R3
−2
+ C (ε0 + δ) (1 + t) |∇2 w|2 dx
ZR
3

+ C (ε0 + δ) (1 + t)−3 |∇w|2 dx (3.92)

R3

并且 I28 估计如下:

XZ X
3


I28 = − µk ∇∂ w ·
α
Cβ ∂ β z∂ α−β ρ̃ dx
|α|=3 R3 |β|=0,k≤α
Z Z µx2
e− 1+t 2
1

≤ Cη |∇4 w|2 dx + Cδ 2 (1 + t)−3 z dx

1+t
R3 Z R3

+ C (ε0 + δ) (1 + t)−1 |∇3 z|2 dx

ZR
3

+ C (ε0 + δ) (1 + t)−2 |∇2 z|2 dx

ZR
3

−3
|∇z|2 dx + Cε0 (1 + t)− 2
9
+ C (ε0 + δ) (1 + t) (3.93)
R3

通过将 (3.86)、(3.87) 和 (3.88) 结合在一起, 得到了 I25 的估计

Z Z
2 −1 2 2
I25 = I26 + I27 + I28 ≤ Cη ∇ w dx + C (ε0 + δ) (1 + t)
3
∇3 z + ∇3 w dx
R3 R3

32
 Z
−2
+ C (ε0 + δ) (1 + t) (|∇2 z|2 + |∇2 w|2 )dx
ZR
3

+ C (ε0 + δ) (1 + t)−3 (|∇z|2 + |∇w|2 )dx

R3
Z µx2
e− 1+t 2
1
− 29
+ Cε0 (1 + t) + Cδ 2 (1 + t)−3 z dx (3.94)
R3 1+t

因此, 将 (3.89) 和 (3.94) 代入 (3.88), 并使用 Cauchy 不等式, 然后选择适当小的

η 来得出

X d Z λ 2 bλ
Z
2
Z
( ∇ w − µ∂ w∂ z)dx +
3 α α
∇ w dx +
4
λ∇3 w− µ∇3 z | 2 dx
dt R3 2 4 R3 R 3
|α|=3
Z
2 2
≤ Cδ(1 + t)− 2 + C (ε0 + δ) (1 + t)−1
9
( ∇3 w + ∇3 z )dx
R3
Z Z µx2

e− 1+t 2
1
−2 −3
+ Cδ(1 + t) |∇ w| + |∇z |
2 2 2 2
dx + Cδ(1 + t) z dx.
1+t
ZR Z
3 R3

2
+ Cδ(1 + t)−3 |∇w|2 + |∇z|2 dx + C ∇4 z dx (3.95)
R3 R3

然后, 将 ∂xα (1.7)2 乘以 K∂xα z( 其中 K 足够大), 并关于 x 在 R3 上进行积分, 我们

可以得到

Z Z
d K 3 2 Ka 2
∇ z dx + ∇4 z dx
dt R3 2 Z 2 R3
Z
2 −1 2 2
≤ C (ε0 + δ) ∇ w dx + C (ε0 + δ) (1 + t)
4
( ∇3 w + ∇3 z )dx
R Z
3 R 3

+ Cδ(1 + t)−2 |∇2 w|2 + |∇2 z|2 dx
ZR
3

+ Cδ(1 + t)−3 |∇w|2 + |∇z|2 dx
R3
Z µx2
e− 1+t 2
1

+ Cδ(1 + t)−3 z dx. (3.96)

R3 1+t

(3.96) 再加上 (3.95), 我们有

X d Z λ 2 K 2
( ∇3 w + ∇3 z − µ∂ α w∂ α z)dx
dt R3 2 2
|α|=3

33
 Z Z Z
bλ Ka 2 2
+ λ∇ w− µ∇ z | dx +
3 3 2
∇ w dx +4
∇4 z dx
R3 8 RZ
3 4 R3
− 29 2 2
≤ Cδ(1 + t) + C (ε0 + δ) (1 + t)−1 ( ∇3 w + ∇3 z )dx
Z R3


+ Cδ(1 + t)−2 |∇2 w|2 + |∇2 z|2 dx
ZR
3

+ Cδ(1 + t)−3 |∇w|2 + |∇z|2 dx
R3
Z µx2
e− 1+t 2
1

+ Cδ(1 + t)−3 z dx. (3.97)

R3 1+t

在 [0,t] 上对 (3.97) 积分, 并结合 (2.4) 与 (3.3)、(3.17) 和 (3.58) 一起使用, 我们得到

Z t
2 2 2 2
∇ w(t)
3
+ ∇ z(t) 3
+ ( ∇4 w(τ ) + ∇4 z(τ )
0

2
+ λ∇ w − µ∇ z (τ ) )dτ
3 3

≤ C(∥w0 ∥23 + ∥z0 ∥23 + δ) (3.98)

将 (3.97) 乘以 (1 + t)3 , 并将其在 [0,t] 上积分, 然后通过使用 (3.3)、(3.17) 和 (3.58),

可以立即得到 (3.84). 引理 3.3 的证明完成.

定理 3.5 它认为

Z t
(1 + t) (∥wt (t)∥ + ∥zt (t)∥ ) +
2 2 2
(1 + τ )2 (∥∇wt (τ )∥2 +
0

∥∇zt (τ )∥ + ∥(λwt − µzt ) (τ )∥ dτ

2 2

≤ (∥w0 ∥22 + ∥z0 ∥22 + δ) (3.99)

其中 0 ≤ t ≤ T, 并且 δ + ε ≪ 1

证明. 由 ∂t (3.18) 我们可以得到


wtt − b∆wt − µzt + λwt = 0
(3.100)
z − a∆z + k∇ · ∂ (z∇w + ũ∇w + z∇ρ̃) = 0
tt t t

34
 R R
首先有 R3
λwt × (3.95)1 dx − R3
µzt × (3.95)1 dx , 然后应用分部积分和 (3.95)2 的
积分, 我们可以得到

Z   Z Z
d λwt2
− µwt zt dx + bλ |∇wt | dx +
2
(λwt − µzt )2 dx
dt 2
R3
Z ZR
3 R3

=(a + b)µ ∇wt · ∇zt dx − kµ ∇wt · [(z + ũ)∇w + z∇ρ̃]t dx

Z R3 Z R 3

=(a + b)µ ∇wt · ∇zt dx − kµ ∇wt · ∇wzt dx

Z Z
R 3 R 3

− kµ ∇wt · ũt ∇wdx − kµ ∇wt · ∇ρ̃zt dx

Z Z
R 3 R 3

− kµ ∇wt · z∇ρ̃t dx − kµ (z + ũ) |∇wt |2 dx

R3 R3
Z X
34
=(a + b)µ ∇wt · ∇zt dx + Ii (3.101)
R3 i=30

其中 |ūt | ≤ Cδ(1 + t)−1 , 使用(1.3 2
和 (3.2), 我们有

I30 + I31 + I32

Z Z
≤η |∇wt | dx + Cη
2
∥∇w∥2L∞ zt2 dx
R Z
3 R 3
Z
+ Cη ∥ũt − ūt ∥L∞ |∇w| dx + Cη
2 2
∥ūt ∥2L∞ |∇w|2 dx
ZR Z R
3 3

+ Cη ∥∇ρ̃ − ∇ρ̄∥2L∞ zt2 dx + Cη ∥∇ρ̄∥2L∞ zt2 dx

Z R R Z
3 3

−1
≤η |∇wt | dx + Cη (ε + δ) (1 + t)
2
zt2 dx
R3 Z R3

+ Cη δ 2 (1 + t)−2 |∇w|2 dx (3.102)

R3

与引理 1 和引理 4 的计算相似, 我们得到如下估计

Z Z µx2
e− 1+t 2
1
−2
I33 ≤ η |∇wt | dx + Cη δ (1 + t)
2 2
z dx (3.103)
R3 R3 1+t

35
并且

Z
I34 ≤ c(ε + δ) |∇wt |2 dx. (3.104)
R3

将 (3.97 − (3.99) 代入 (3.96) 中, 并且 η 适当小, 我们可以得出结论

Z   Z Z
d λwt2 bλ
− µwt zt dx + |∇wt | dx +
2
(λwt − µzt )2 dx
dt 2 4
Z Z
R 3 R 3 R 3

≤ C (ε + δ) (1 + t)−1 zt2 dx + Cδ(1 + t)−2 |∇w|2 dx

R3 R3
Z µx2
− 1+t1 Z
−2 e
+ Cδ(1 + t) z 2 dx + C |∇zt |2 dx (3.105)
R3 1+t R3

R
同样, 我们可以从 R3
Kzt × (3.95)2 dx ( 其中K足够大) 得到

Z Z Z
d kzt2 ka
dx + |∇zt | dx ≤c (ε0 + δ)
2
|∇wt |2 dx
dt 2 2
R3 R3 R3 Z Z
−1 −2
+ C (ε0 + δ) (1 + t) zt2 dx + Cδ(1 + t) |∇w|2 dx
R3 R3
Z µx2
− 1+t1
e
+ Cδ(1 + t)−2 z 2 dx (3.106)
R3 1+t

将 (3.100) − (3.101) 相加, 并使用引理 2.1, 我们可以得到

Z   Z
d λwt2 Kzt2 bλ
+ − µwt zt dx + |∇wt |2 dx
dt
R 2 2 8 R
Z Z
3 3

Ka 1
+ |∇zt |2 dx + (λwt − µzt ) dx
2
4 R3 2 R3
Z Z µx2
− 1+t1
e
≤ Cδ(1 + t)− 2 + Cδ(1 + t)−2 |∇w| dx + Cδ(1 + t)−2
7 2
z 2 dx
1 + t
Z R 3 R 3

−1 2
+ C (ε0 + δ) (1 + t) zt dx. (3.107)
R

36
因此, 我们只需要估计 (3.102) 右侧的最后一项, 通过使用方程 (1.17)2 和引理 (2.1),
以及 (3.2), 可以直接推出

Z Z  
2 2
zt2 dx ≤C ∇w + ∇z 2
dx 2
R3 R3 Z


+ C(1 + t)−1 |∇w|2 + |∇z|2 dx
R3
Z µx2
e− t+1 2
1

+ cδ(1 + t)−1 z dx (3.108)

R3 1+t

由 (λwt )2 ≤ 2 (λwt − µzt )2 + 2 (µzt )2 , 从 (3.102) 和 (3.103) 可以得出

Z   Z
d λwt2 Kzt2 bλ
+ − µwt zt dx + |∇wt |2 dx
dt R3 2 2 8 R3
Z 2 Z Z
Ka λ 1
+ |∇zt | dx +
2 2
w dx + z 2 dx
4 R3 4 R3 t 2 R3 t
Z  
− 72 2 2
≤ Cδ(1 + t) + c ∇2 w + ∇2 z dx
Z R 3

−1


+ C(1 + t) |∇w|2 + |∇z|2 dx
R3
Z µx1 2
e− 1+t 2
+ Cδ(1 + t)−1 z dx. (3.109)
R3 1+t

对 (3.109) 关于 [0,t] 上进行积分, 然后使用 (2.4)、(3.3) 和 (3.17), 我们得到

Z t
(∥wt (t)∥ + ∥zt (t)∥ ) +
2 2
(∥∇wt (τ )∥2 +
0

∥∇zt (τ )∥ + ∥(λwt − µzt ) (τ )∥2 dτ

2

≤ (∥w0 ∥22 + ∥z0 ∥22 + δ) (3.110)

将(3.104) 乘以(1 + t), 我们将其积分得到

Z t
(1 + t)(∥wt (t)∥ + ∥zt (t)∥ ) +
2 2
(1 + τ )(∥∇wt (τ )∥2 +
0

37
 ∥∇zt (τ )∥2 + ∥(λwt − µzt ) (τ )∥2 dτ
≤ (∥w0 ∥22 + ∥z0 ∥22 + δ) (3.111)

将 (3.103) 乘以 (1 + t)2 , 然后使用 (2.2.13),(2.3.4), 和 (2.3.52), 我们可以得出

结论 (3.94). 引理 (3.5) 的证明已完成.

最后, 结合引理 (3.1) − (3.5), 我们可以验证先验假设 N (T ) ≤ ε2 ≪ 1 是封闭

的. 在先验假设下, 很容易推断出 (1.19) 成立, 假设 N (T ) ≤ ε2 ≪ 1 始终保持 δ 和
ε 足够小的话. 对于柯西问题 (1.17) − (1.18) 解的全局存在性是基于局部存在性的
标准延拓的先验估计. 完成了定理 1.2 的证明.

38
 总结与展望

在本硕士论文中, 我深入研究了 n 维 Keller-Segel 模型解的大时间渐进行为和

收敛率. 通过对 Keller-Segel 模型的数学结构和动力学特性进行深入分析, 我们得
出了一系列重要的结论, 为我们理解细胞趋化聚集行为提供了重要的理论基础. 在
论文中, 我们首先对 n 维 Keller-Segel 模型的数学方程进行了详细描述, 并引入了
相关的数学工具和方法, 如能量估计. 然后, 我们通过数学分析和理论推导, 得出了
解在大时间尺度上的渐进行为, 即随着时间的推移, 系统解将趋于稳定状态的结论.
此外, 我们还研究了解的收敛率问题, 初始条件以及空间维度等因素之间的关系.
在展望方面, 我将继续深入探索 n 维 Keller-Segel 模型解的性质, 并寻求更深
层次的理解和更准确的预测. 我们计划进一步优化数值方法, 提高解的计算效率和
精度. 通过这些努力, 希望能为该领域的发展做出更大的贡献, 为生物学、数学和
物理学等领域的交叉研究提供新的思路和方法.

39
 参考文献

[1] Hillen T, Painter K J. A user’s guide to PDE models for chemotaxis[J]. Journal
of mathematical biology, 2009, 58(1): 183-217.

[2] Keller E F, Segel L A. Initiation of slime mold aggregation viewed as an insta-

bility[J]. Journal of theoretical biology, 1970, 26(3): 399-415.

[3] Osaki K, Yagi A. Finite dimensional attractor for one-dimensional Keller-Segel

equations[J]. Funkcialaj ekvacioj serio internacia, 2001, 44(3): 441-470.

[4] Painter K J, Hillen T. Mathematical modelling of glioma growth: the use of

diffusion tensor imaging (DTI) data to predict the anisotropic pathways of
cancer invasion[J]. Journal of theoretical biology, 2013, 323: 25-39.

[5] Nagai T, Yamada T. Large time behavior of bounded solutions to a parabolic

system of chemotaxis in the whole space[J]. Journal of mathematical analysis
and applications, 2007, 336(1): 704-726.

[6] Swanson K R, Alvord Jr E C, Murray J D. A quantitative model for differential

motility of gliomas in grey and white matter[J]. Cell proliferation, 2000, 33(5):
317-329.

[7] Byrne H M, Chaplain M A J. Modelling the role of cell-cell adhesion in the

growth and development of carcinomas[J]. Mathematical and Computer Mod-
elling, 1996, 24(12): 1-17.

[8] Hsiao L, Liu T P. Convergence to nonlinear diffusion waves for solutions of

a system of hyperbolic conservation laws with dam**[J]. Communications in
mathematical physics, 1992, 143: 599-605.

40
 [9] Liu F, Zhang N, Zhu C. Convergence to diffusion waves for solutions of 1D
Keller–Segel model[J]. Mathematical Methods in the Applied Sciences, 2023,
46(4): 3674-3702.

[10] Nishihara K. Convergence rates to nonlinear diffusion waves for solutions of

system of hyperbolic conservation laws with dam**[J]. journal of differential
equations, 1996, 131(2): 171-188.

[11] Geng S, Wang Z. Convergence rates to nonlinear diffusion waves for solutions
to the system of compressible adiabatic flow through porous media[J]. Com-
munications in Partial Differential Equations, 2010, 36(5): 850-872.

[12] Huang F, Pan R. Convergence rate for compressible Euler equations with
dam** and vacuum[J]. Archive for Rational Mechanics and Analysis, 2003,
166: 359-376.

[13] Huang F, Pan R. Asymptotic behavior of the solutions to the damped com-
pressible Euler equations with vacuum[J]. Journal of Differential Equations,
2006, 220(1): 207-233.

[14] Mei M. Best asymptotic profile for hyperbolic p-system with dam**[J]. SIAM
Journal on Mathematical Analysis, 2010, 42(1): 1-23.

[15] Wang W, Yang T. Pointwise estimates and Lp convergence rates to diffusion

waves for p-system with dam**[J]. Journal of Differential Equations, 2003,
187(2): 310-336.

[16] Stevens A, Othmer H G. Aggregation, blowup, and collapse: the ABC’s of

taxis in reinforced random walks[J]. SIAM Journal on Applied Mathematics,
1997, 57(4): 1044-1081.

[17] Huang F, Mei M, Wang Y. Large time behavior of solutions to n-dimensional

bipolar hydrodynamic models for semiconductors[J]. SIAM journal on mathe-
matical analysis, 2011, 43(4): 1595-1630.

[18] Schaaf R. Stationary solutions of chemotaxis systems[J]. Transactions of the

American Mathematical Society, 1985, 292(2): 531-556.

41
[19] Cao X. Global bounded solutions of the higher-dimensional Keller-Segel
system under smallness conditions in optimal spaces[J]. ar**v preprint
ar**v:1405.6666, 2014.

[20] Winkler M. Finite-time blow-up in the higher-dimensional parabolic–parabolic

Keller–Segel system[J]. Journal de Mathématiques Pures et Appliquées, 2013,
100(5): 748-767.

[21] Herrero M A, Velázquez J J L. A blow-up mechanism for a chemotaxis model[J].

Annali della Scuola Normale Superiore di Pisa-Classe di Scienze, 1997, 24(4):
633-683.

[22] Horstmann D. From 1970 until present: the Keller-Segel model in chemotaxis
and its consequences[J]. 2003.

[23] Nagai T, Senba T, Yoshida K. Application of the trudinger-moser inequah. ty

to a parabolic system of chemotaxis[J]. Funkc. Ekvacioj, 1997, 40: 411-433.

[24] NAGAI T, Syukuinn R, Umesako M. Decay properties and asymptotic profiles

of bounded solutions to a parabolic system of chemotaxis in Rn[J]. Funkcialaj
Ekvacioj, 2003, 46(3): 383-407.

[25] Yang X, Shi B, Chai Z. Coupled lattice Boltzmann method for generalized
Keller–Segel chemotaxis model[J]. Computers Mathematics With Applications,
2014, 68(12): 1653-1670.

[26] Dai F, Liu B. Boundedness and asymptotic behavior in a Keller-Segel (-Navier)-

Stokes system with indirect signal production[J]. Journal of Differential Equa-
tions, 2022, 314: 201-250.

[27] Li G, Winkler M. Relaxation in a Keller-Segel-consumption system involving

signal-dependent motilities[J]. ar**v preprint ar**v:2206.13292, 2022.

[28] Black T, Fuest M, Lankeit J. Relaxed parameter conditions for chemotactic

collapse in logistic-type parabolic–elliptic Keller–Segel systems[J]. Zeitschrift
für angewandte Mathematik und Physik, 2021, 72: 1-23.

42
 致谢

在我即将完成毕业论文的时刻, 我怀着无比感激的心情, 向所有在我求学过程

中给予我支持和鼓励的人们致以最诚挚的感谢.
首先, 我要由衷感谢我的导师耿世锋教授. 您不仅是我学术道路上的引导者,
更是我心灵上的榜样和支柱. 在我撰写论文的过程中, 您给予了我无私的指导和耐
心的支持, 您严谨的治学态度和丰富的学术知识使我受益匪浅. 感谢您对我的信任
和鼓励, 您的教诲将成为我一生受用的财富.
其次, 我要感谢我的师门 XTUF 防脱发研究小组. 在这个温暖的大家庭里, 我
得到了同门师兄师姐们的热情帮助和无私支持. 你们的团结和友爱让我感受到了
真正的家的温暖, 让我在求学过程中不再感到孤单. 感谢你们的陪伴和支持, 我会
永远珍惜这份情谊.
在此, 我还要深深感谢我的父母. 是你们给予了我生命, 是你们的无私奉献和
不懈支持让我能够顺利完成学业. 你们默默付出的辛劳和无私的爱是我不断前行
的动力, 是我不断努力的源泉. 感谢你们一直以来的支持和理解, 我会永远感激并
铭记在心. 另外, 我要感谢我的朋友们. 你们是我求学生涯中最重要的陪伴者和支
持者. 在我遇到困难时, 你们给予我无私的鼓励和帮助, 陪伴我共同度过了学习和
研究的难关. 无论是学业上还是生活中, 你们的友谊和支持都是我不可或缺的力
量, 我会永远珍惜这份友谊.
同时, 我要感谢我自己. 感谢我坚持不懈的努力和不断追求进步的精神. 在求
学之路上, 是我自己的毅力和坚持让我得以不断成长和进步. 我会永远保持谦逊、
努力和坚持, 为自己的梦想不断奋斗. 在即将踏上新的征程之际, 我再次向所有支
持过我的人们表达最诚挚的感谢！有了你们的支持和鼓励, 我才能够勇敢前行, 实
现自己的梦想！
最后, 非常感谢参与我论文审阅以及答辩的各位专家及老师们！

43