Professional Documents
Culture Documents
高玉玲毕业论文6
高玉玲毕业论文6
分 类 号 O151 密 级
硕 士 学 位 论 文
具非线性阻尼的非等熵𝑝−方程组
初边值问题解的大时间渐近行为
学 位 申 请 人 高 玉 玲
指 导 老 师 耿 世 锋 副教授
学 院 名 称 数学与计算科学学院
学 科 专 业 数 学
研 究 方 向 偏微分方程理论
二零一九年四月八日
具非线性阻尼的非等熵 𝑝−方程组
初边值问题解的大时间渐近行为
学 位 申 请 人 高玉玲
导师姓名及职称 耿 世 锋 副教授
学 院 名 称 数学与计算科学学院
学 科 专 业 数 学
研 究 方 向 偏微分方程理论
学位申请级别 理 学 硕 士
学位授予单位 湘 潭 大 学
论文提交日期 2019–4–8
Large time asymptotic behavior of solutions to IBVP
of non-isentropic 𝑝−equations with nonlinear damping
Program Mathematics
作者签名: 日期: 年 月 日
学位论文版权使用授权书
本学位论文作者完全了解学校有关保留、使用学位论文的规定,同
意学校保留并向国家有关部门或机构送交论文的复印件和电子版,允许
论文被查阅和借阅。本人授权湘潭大学可以将本学位论文的全部或部分
内容编入有关数据库进行检索,可以采用影印、缩印或扫描等复制手段
保存和汇编本学位论文。
涉密论文按学校规定处理。
作者签名: 日期: 年 月 日
导师签名: 日期: 年 月 日
摘 要
本文考虑具非线性阻尼的非等熵 𝑝−方程组初边值问题解的大时间渐近行为。
具非线性阻尼的非等熵 𝑝−方程组可以用来描述穿过多孔媒介的可压流体的运动模
型,具有丰富的物理意义。利用能量方法和细致的能量估计,我们证明了四分之一
平面上 具非线性阻尼的非等熵 𝑝−方程组的初边值问题解渐近收敛到相应的抛物方
程的解,并且得到了更好的 𝐿∞ 收敛估计,与 Pan (Michigan Mathematical Journal,
2001,49(49):519-540) 的结果相比较,我们的收敛结果中不含 (1+log(1+𝑡))𝛽1 , 𝛽1 > 1
3
和 (1 + log(1 + 𝑡))𝛽2 , 𝛽2 > 21 。
本篇文章的内容安排如下:
关键词:非等熵 𝑝−方程组,非线性阻尼,初边值问题,能量估计,收敛率。
I
Abstract
In this paper, we consider the large time asymptotic behavior of the solution
to the initial boundary value problem of non-isentropic p-equations with nonlin-
ear damping. Non-isentropic 𝑝−equations with nonlinear damping can be used
to describe the motion modes of compressible fluid through porous media Type,
with abundant physical meaning.Using the energy method and careful energy esti-
mation, we proved the solution to the initial boundary value problem of the non-
isentropic p-equations with nonlinear damping in a quarter of the plane ,which con-
verges asymptotically to the corresponding parabolic equation.In the Mathematical
Journal of the Pan (Michigan Mathematical Journal,Compared with the results of
1
2001,49(49):519-540), our convergence results do not include (1+log(1+𝑡))𝛽1 , 𝛽1 > 3
and (1 + log(1 + 𝑡))𝛽2 , 𝛽2 > 21 . This article is arranged as follows:
II
目 录
第一章 绪论 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1
1.1 研究状况 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1
1.2 本文的内容安排 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 8
1.3 预备知识 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 9
第二章 𝑝−方程组初边值问题解的 𝐿∞ 收敛率及定理证明 . . . . . . . . . . . 10
2.1 抛物方程 (1.1.5) 初边值问题解的𝐿∞ 收敛率 . . . . . . . . . . . . . . 10
2.2 非等熵𝑝−方程组 (1.1.1)初边值问题解的𝐿∞ 收敛率 . . . . . . . . . . 17
参考文献 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 23
致谢 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 25
III
第一章 绪 论
S1.1 研究状况
考虑具有非线性阻尼的非等熵 𝑝−方程组
⎧
⎪𝑣 − 𝑢𝑥 = 0,
⎨ 𝑡
⎪
⎪
𝑢𝑡 + 𝑝(𝑣, 𝑠)𝑥 = −𝛼𝑢 − 𝛽|𝑢|𝑞−1 𝑢, 𝛼 > 0, (1.1.1)
⎪
⎪
⎪
⎩𝑠 = 0,
𝑡
边界条件为:
𝑣(0, 𝑡) = 𝑣0 (0) = 𝑣− , (1.1.3)
或
𝑢(0, 𝑡) = 0. (1.1.4)
1
或 ⎧
⎪𝑣˜𝑡 − 𝑢˜𝑥 = 0,
⎪
⎪
⎪
⎪
⎪
𝑝(˜ 𝑢, 𝑥 ∈ 𝑅+ ,
𝑣 )𝑥 = −𝛼˜
⎪
⎪
⎪
⎪
⎨
𝑠𝑡 = 0, (1.1.6)
⎪
⎪
⎪
⎪
⎪
⎪
⎪ 𝑝(˜𝑣 , 𝑠)𝑥 (0, 𝑡) = 0,
⎪
⎪
⎩(˜𝑣 , 𝑠)(𝑥, 0) = (˜ 𝑣0 , 𝑠0 )(𝑥) → (𝑣+ , 𝑠+ ), 𝑣+ > 0, 𝑥 → ∞.
⎪
2
对于非等熵的情形, Hsiao 和 D.Serre [4] 首次证明出了具有小初值的具阻尼
的非等熵 𝑝−方程组的 Cauchy问题整体光滑解的存在性;Zheng [21] 进一步证明了
初值在一定的大扰动下 Cauchy问题存在唯一的整体光滑解,其他情况见 [1, 10, 14,
15]。
近来,Pan [18] 证明了非等熵 𝑝−方程组初边值问题 (1.1.1)-(1.1.3) 的解渐近收
敛到问题 (1.1.5) 的解,并且得到的收敛率为
1 1 1
‖(𝑣 − 𝑣˜, 𝑢− 𝑢˜)(𝑡)‖𝐿∞ ≤ 𝐶((1+𝑡)− 2 (1+log 𝑡)𝛽1 , (1+𝑡)−1 (1+log 𝑡)𝛽2 ), 𝛽1 > , 𝛽2 > .
3 2
(1.1.7)
本文主要研究具有非线性阻尼的非等熵 𝑝−方程组的初边值问题 (1.1.1)-(1.1.3),
我们将利用能量方法和一些新的能量估计证明初边值问题 (1.1.1)-(1.1.3) 解渐近收
敛到问题 (1.1.5) 的解,并且我们将给出新的收敛率结果,相比较于 Pan 在文献 [18]
中给出的收敛率,我们的结果不含 (1 + log(1 + 𝑡))𝛽1 和 (1 + log(1 + 𝑡))𝛽2 ,( 其
中 𝛽1 > 13 , 𝛽2 > 12 )。
1
简单起见,我们考虑理想气体,令 𝑝(𝑣, 𝑠) = (𝛾 − 1)𝑒− 𝛾 𝑒𝑠 , 𝛾 > 1, 类似于文
献 [1, 18],我们引入如下变量:
⎧ 1
⎪
⎪
⎪ 𝑎(𝑥) = (𝛾 − 1)𝑒− 𝛾 𝑠(𝑥),
⎨
1
𝜔 ≡ 𝑎(𝑥)˜ 𝑣 , 𝑠)− 𝛾 ,
𝑣 = 𝑝(˜ (1.1.8)
⎪
⎪
⎪
⎩𝜔 = 𝑎(0)𝑣 .
− −
3
1
其中 𝑎1 = (𝛾 − 1)𝑒− 𝛾 𝑠+ 。令 𝑣¯ = 𝑎−1 𝜔 𝜔 −𝛾 )𝑥 ,则我们有
¯ , 𝑢¯ = − 𝛼1 (¯
并且
1
𝑣 − 𝑣¯)(·, 𝑡)‖𝐿∞ ≤ 𝐶(1 + 𝑡)− 2 , ‖(˜
‖(˜ 𝑢 − 𝑢¯)(·, 𝑡)‖𝐿∞ ≤ 𝐶(1 + 𝑡)−1 . (1.1.13)
并且有
𝑑 +∞
∫︁ ∫︁ +∞
(𝑣 − 𝑣˜)(𝑥, 𝑡)𝑑𝑥 = (𝑢 − 𝑢˜)𝑥 𝑑𝑥 = (𝑢 − 𝑢˜) |𝑥=+∞ −(𝑢 − 𝑢˜) |𝑥=0
𝑑𝑡 0 0 (1.1.15)
= 𝑢(+∞, 𝑡) − 𝑢(0, 𝑡).
下面我们构造一组校正函数 (^
𝑣 , 𝑢^)(𝑥, 𝑡) ,使得:
∫︁ +∞
𝑑
(𝑣 − 𝑣˜ − 𝑣^)(𝑥, 𝑡)𝑑𝑥 = 0. (1.1.16)
𝑑𝑡 0
类似于文献 [10] ,我们知道:
⎧
𝑢+ 𝑒−𝛼𝑡
⎨𝑢(+∞, 𝑡) = ,
⎪
⎪ 1
𝛽
(1+ 𝛼 |𝑢+ |𝑞−1 [1−𝑒−𝛼(𝑞−1)𝑡 ]) 𝑞−1
∫︀ (1.1.17)
𝑢0 (0)𝑒− 𝑝(𝑣,𝑠)𝑥 (0,𝑡)𝑑𝑡 𝑒−𝛼𝑡
⎩𝑢(0, 𝑡) = .
⎪
1
⎪
𝑝(𝑣,𝑠)𝑥 (0,0)𝑑𝑡 + 𝛽 |𝑢 (0)|𝑞−1 (1−𝑒−𝛼(𝑞−1)𝑡 𝑒−(𝑞−1)
∫︀ ∫︀
[𝑒− 𝛼 0
𝑝(𝑣,𝑠)𝑥 (0,𝑡)𝑑𝑡 )] 𝑞−1
4
这里边界值 𝑢(0, 𝑡) 的计算如下:由
可得
1
𝛽
𝑑𝑢 = −(𝛼 + 𝑝(𝑣, 𝑠)𝑥 (0, 𝑡))𝑑𝑡,
𝑢(1 + 𝛼
|𝑢|𝑞−1 )
分离变量可得
1 𝛽
𝛼
|𝑢(0, 𝑡)|𝑞−2 |𝑢|
𝑢
( − )𝑑𝑢 = −(𝛼 + 𝑝(𝑣, 𝑠)𝑥 (0, 𝑡))𝑑𝑡,
𝑢(0, 𝑡) 1 + 𝛼𝛽 |𝑢|𝑞−1
积分后得到:
𝛽
|𝑢(0, 𝑡)|𝑞−2 |𝑢|
∫︁ ∫︁
𝛼 𝑢
ln |𝑢| − 𝛽
𝑑𝑢 = −𝛼𝑡 + 𝑐1 − 𝑝(𝑣, 𝑠)𝑥 (0, 𝑡)𝑑𝑡, (*)
1 + 𝛼 |𝑢| 𝑞−1
下面令 1 + 𝛼𝛽 |𝑢|𝑞−1 = ℎ, 则
𝑑 𝛽 𝛽 |𝑢|
𝑑ℎ = (1 + |𝑢|𝑞−1 )𝑑𝑢 = |𝑢|𝑞−2 𝑑𝑢,
𝑑ℎ 𝛼 𝛼 𝑢
且
𝛽
|𝑢(0, 𝑡)|𝑞−2 |𝑢|
∫︁ ∫︁
1 𝑑ℎ 𝛽 1
𝛼 𝑢
𝑑𝑢 = = ln |1 + |𝑢|𝑞−1 | 𝑞−1 ,
1 + 𝛼𝛽 |𝑢|𝑞−1 𝑞−1 ℎ 𝛼
故 ∫︁
𝛽 1
ln |𝑢| − ln |1 + |𝑢|𝑞−1 | 𝑞−1 𝑑𝑢 = −𝛼𝑡 + 𝑐1 − 𝑝(𝑣, 𝑠)𝑥 (0, 𝑡)𝑑𝑡,
𝛼
有:
|𝑢|
∫︁
ln 𝛽
= −𝛼𝑡 + 𝑐1 − 𝑝(𝑣, 𝑠)𝑥 (0, 𝑡)𝑑𝑡,
1 + 𝛼 |𝑢|𝑞−1
经过进一步计算, 我们得到:
∫︀
𝑐2 𝑒−𝛼𝑡 𝑒− 𝑝(𝑣,𝑠)𝑥 (0,𝑡)𝑑𝑡
𝑢(0, 𝑡) = 1 ,
(1 − 𝛼𝛽 [𝑒𝑐1 𝑒−𝛼𝑡 𝑒−
∫︀
𝑝(𝑣,𝑠)𝑥 (0,𝑡)𝑑𝑡 ]𝑞−1 ) 𝑞−1
其中 𝑐2 = ±𝑒𝑐1 那么,
∫︀
𝑐2 𝑒− 𝑝(𝑣,𝑠)𝑥 (0,0)𝑑𝑡
𝑢(0, 0) = 1 ,
(1 − 𝛼𝛽 [|𝑐2 |𝑒−
∫︀
𝑝(𝑣,𝑠)𝑥 (0,0)𝑑𝑡 ]𝑞−1 ) 𝑞−1
解得:
𝑢(0, 0)
𝑐2 = 1 ,
𝛽
∫︀ ∫︀
[𝑒− 𝑝(𝑣,𝑠)𝑥 (0,0)𝑑𝑡 + 𝛼
|𝑢(0, 0)|𝑞−1 𝑒−(𝑞−1) 𝑝(𝑣,𝑠)𝑥 (0,0)𝑑𝑡 ] 𝑞−1
5
故最后通过简单的计算得到:
∫︀
𝑢(0, 0)𝑒− 𝑝(𝑣,𝑠)𝑥 (0,𝑡)𝑑𝑡 −𝛼𝑡
𝑒
𝑢(0, 𝑡) = 1 .
+ 𝛼𝛽 |𝑢(0, 0)|𝑞−1 (1 − 𝑒−𝛼(𝑞−1)𝑡 𝑒−(𝑞−1)
∫︀ ∫︀
[𝑒− 𝑝(𝑣,𝑠)𝑥 (0,0)𝑑𝑡 𝑝(𝑣,𝑠)𝑥 (0,𝑡)𝑑𝑡) ] 𝑞−1
𝛽 > 0, (1.1.18)
或者
𝛼
− < 𝛽 < 0. (1.1.19)
|𝑢+ |𝑞−1
注意(1.1.18)-(1.1.19)在 |𝑢+ | 充分小时是成立的,例如:
2|𝛽| − 𝑞−1
1
𝑢+ ≤ ( ) . (1.1.20)
𝛼
因此, 若 |𝑢+ | ≪ 1, 则 (1.1.15) 成立。下面我们构造的一组校正函数如下:
⎧
−𝑚′ (𝑥)𝑒−𝛼𝑡
⎨𝑣^(𝑥, 𝑡) = 1 ,
⎪
⎪
𝛽
𝛼(1− 𝛼 [|𝑚(𝑥)|𝑒−𝛼𝑡 ]𝑞−1 ) 𝑞−1
(1.1.21)
𝑚(𝑥)𝑒−𝛼𝑡
⎩𝑢^(𝑥, 𝑡) = .
⎪
1
⎪
𝛽
(1− 𝛼 [|𝑚(𝑥)|𝑒−𝛼𝑡 ]𝑞−1 ) 𝑞−1
这里 ∫︁ +∞
𝑚(𝑥) = 𝑐+ + (𝑐0 − 𝑐+ ) 𝑚0 (𝑦)𝑑𝑦,
𝑥
𝑢+
𝑐+ = 𝛽 1
,
(1 + |𝑢 |𝑞−1 ) 𝑞−1
𝛼 +
∫︀
− 𝑝(𝑣,𝑠)𝑥 (0,0)𝑑𝑡
𝑢0 (0)𝑒
𝑐0 = 1 .
+ 𝛼𝛽 |𝑢0 (0)|𝑞−1 𝑒−(𝑞−1)
∫︀ ∫︀
[𝑒− 𝑝(𝑣,𝑠)𝑥 (0,0)𝑑𝑡 𝑝(𝑣,𝑠)𝑥 (0,0)𝑑𝑡 ] 𝑞−1
且 𝑚0 (𝑥) 满足:
∫︁ +∞
𝑚0 (𝑥) ∈ 𝐶0∞ (𝑅+ ), 𝑚0 (𝑥) ≥ 0, 𝑚0 (0) = 0, 𝑚0 (𝑥)𝑑𝑥 = 1.
0
因此,这组校正函数满足:
⎧
⎪
⎪
⎪
⎪ 𝑣^𝑡 − 𝑢^𝑥 = 0,
⎪
⎪
⎨𝑢^𝑡 = −𝛼^ 𝑢|𝑞−1 𝑢^, (𝑥, 𝑡) ∈ (𝑅+ × 𝑅+ ),
𝑢 − 𝛽|^
⎪
⎪
∫︀
𝑢0 (0)𝑒 −𝑒 𝑝(𝑣,𝑠)𝑥 (0,𝑡)𝑑𝑡 −𝛼𝑡
⎪ (^
𝑢, 𝑣^, 𝑢^𝑥 )(0, 𝑡) = ( ∫︀ 1 , 0, 0),
− 𝑝(𝑣,𝑠)𝑥 (0,0)𝑑𝑡 + 𝛽 |𝑢 (0)|𝑞−1 (1−𝑒−𝛼(𝑞−1)𝑡 𝑒−(𝑞−1) 𝑝(𝑣,𝑠)𝑥 (0,𝑡)𝑑𝑡 )] 𝑞−1
⎪ ∫︀
⎪
⎪ [𝑒 𝛼 0
⎪
𝑢+ 𝑒−𝛼𝑡
⎪
⎩(^𝑣 , 𝑢^)(+∞, 𝑡) = (0, 1 ).
⎪
⎪
𝛽
(1+ 𝛼 (|𝑢+ |𝑞−1 [1−𝑒−𝛼(𝑞−1)𝑡 ]) 𝑞−1
(1.1.22)
6
由 (1.1.1), (1.1.5) 和 (1.1.22) ,我们得到:
⎧
⎪
⎪
⎪ (𝑣 − 𝑣˜ − 𝑣^)𝑡 − (𝑢 − 𝑢˜ − 𝑢^)𝑥 = 0,
⎪
⎪
⎨(𝑢 − 𝑢˜ − 𝑢^)𝑡 + (𝑝(𝑣, 𝑠) − 𝑝(^ 𝑣 , 𝑠))𝑥 = −𝛼(𝑢 − 𝑢˜ − 𝑢^) − 𝛽(|𝑢|𝑞−1 𝑢 − |˜
𝑢|𝑞−1 𝑢˜) − 𝑢˜𝑡 ,
⎪
⎪
⎪
⎪
⎪ (𝑢 − 𝑢˜ − 𝑢^)|𝑥=0 = 0,
⎪
⎪
(𝑣 − 𝑣˜ − 𝑣^, 𝑢 − 𝑢˜ − 𝑢^)|𝑡=0 = (𝑣0 , 𝑢0 )(𝑥) − (˜
𝑣 + 𝑣^, 𝑢˜ + 𝑢^)(𝑥, 0).
⎩
(1.1.23)
现在我们令 ⎧
∫︀ +∞
𝑉 (𝑥, 𝑡) = − [𝑣(𝑦, 𝑡) − 𝑣˜(𝑦, 𝑡) − 𝑣^(𝑦, 𝑡)]𝑑𝑦,
⎪
⎪
⎪
⎪ 𝑥
⎪
⎪
𝑈 (𝑥, 𝑡) = 𝑢(𝑥, 𝑡) − 𝑢˜(𝑥, 𝑡) − 𝑢^)(𝑥, 𝑡).
⎪
⎪
⎪
⎪
⎨ ∫︀ +∞
𝑉0 (𝑥, 𝑡) = − 𝑥 [𝑣(𝑦, 𝑡) − 𝑣˜(𝑦, 𝑡) − 𝑣^(𝑦, 𝑡)]𝑑𝑦, (1.1.24)
⎪
⎪
⎪
⎪
⎪
⎪
⎪ 𝑈0 (𝑥) = 𝑢0 (𝑥) − 𝑢˜0 (𝑥, 0) − 𝑢^(𝑥, 0),
⎪
⎪
⎩𝑉𝑥 (0, 𝑡) = 0
⎪
代入 (1.1.23) 有:
⎧
⎪
⎪
⎪ 𝑉𝑡 − 𝑈 = 0,
⎪
⎪
⎨𝑈𝑡 + (𝑝(𝑉𝑥 + 𝑣˜ + 𝑣^, 𝑠) − 𝑝(˜ 𝑣 , 𝑠)) + 𝛼𝑢 = 𝛼1 𝑝(˜
𝑣 , 𝑠))𝑥𝑡 − 𝐺1 ,
⎪
(1.1.25)
⎪
⎪
⎪
⎪ (𝑉, 𝑈 )(𝑥, 0) = (𝑉0 , 𝑈0 )(𝑥),
⎪
⎪
𝑉𝑥 (0, 𝑡) = 0.
⎩
这里
𝐺1 ≡ 𝛽(|𝑉𝑡 + 𝑢˜ + 𝑢^|𝑞−1 (𝑉𝑡 + 𝑢˜ + 𝑢^) − |^
𝑢|𝑞−1 𝑢^). (1.1.26)
下面我们的主要结果叙述如下:
适当小,使得
𝛿1 + ‖𝑉0 ‖𝐻 2 + ‖𝑈0 ‖𝐻 3 ≤ 𝐶𝜀1 . (1.1.29)
7
那么, 问题 (1.1.25) 存在唯一的整体光滑解 (𝑉, 𝑈 )(𝑥, 𝑡) 且满足
且收敛率为
3 5
‖𝑉𝑥 (·, 𝑡)‖𝐿∞ ≤ 𝐶(1 + 𝑡)− 4 , ‖𝑈 (·, 𝑡)‖𝐿∞ ≤ 𝐶(1 + 𝑡)− 4 . (1.1.30)
由于 𝑣(𝑥, 𝑡) = 𝑣˜ + 𝑣^ + 𝑉𝑥 及 𝑢(𝑥, 𝑡) = 𝑢˜ + 𝑢^ + 𝑈, 则有
3 5
‖(𝑣 − 𝑣˜)(·, 𝑡)‖𝐿∞ ≤ 𝐶(1 + 𝑡)− 4 , ‖(𝑢 − 𝑢˜)(·, 𝑡)‖𝐿∞ ≤ 𝐶(1 + 𝑡)− 4 . (1.1.31)
S1.2 本文的内容安排
本篇文章的内容安排如下:
8
S1.3 预备知识
𝑚
1
∑︁
‖𝑓 ‖𝑚 = ( ‖𝜕𝑥𝑖 𝑓 ‖2 ) 2 , ‖ · ‖ = ‖ · ‖0 = ‖ · ‖𝐿2 .
𝑖=0
下面我们引入本文中几个常用的引理:
9
第二章 𝑝−方程组初边值问题解的 𝐿∞收敛率及定理证明
引理 2.1 令 𝜔
¯ (𝜂) 为 (1.1.11) 的相似解,并且 𝜔 ¯ (0) = 𝜔− , 则
¯ (+∞) = 𝜔+ , 𝜔
当 𝑖 + 𝑗 ≥ 1,有
⎧
𝜔 ′ (𝜂)| + |¯
|¯ 𝜔 ′′ (𝜂)| ≤ 𝐶|𝜔+ − 𝜔− | exp{−𝐶2 𝜂 2 },
⎪
⎪
⎪
⎪
⎪
⎪
𝜔 (𝜂) − 𝜔+ |𝜂>0 ≤ 𝐶|𝜔+ − 𝜔− | exp{−𝐶2 𝜂 2 },
|¯
⎪
⎪
⎪
⎪
⎨
1
𝜔¯ 𝑥 = (1 + 𝑡)− 2 𝜔 ¯ ′ (𝜂), 𝜔¯ 𝑡 = − 12 (1 + 𝑡)−1 𝜂 𝜔
¯ ′ (𝜂), (¯
𝜔 −𝛾 )𝑥𝑥 = − 𝑎𝜔¯1𝑡 , (2.1.1)
⎪
⎪
2 2 2 −3
⎪
⎪
⎪
⎪
⎪ ‖¯𝜔 𝑡 ‖ 𝐿 2 + ‖¯ 𝜔 𝑥𝑥 (·, 𝑡)‖ 𝐿 2 ≤ 𝐶|𝜔+ − 𝜔− | (1 + 𝑡) 2 ,
⎪
⎪ 3
⎩‖𝐷𝑡𝑖 𝐷𝑥𝑗 𝜔 ¯ (·, 𝑡)‖𝐿∞ ≤ 𝐶|𝜔+ − 𝜔− |(1 + 𝑡)−𝑖− 2 𝑗 .
⎪
其中
¯ −(𝛾+1) ,
𝜔 ) = −𝛾 𝜔
𝜓(¯ ¯ )−𝛾 − 𝜔
𝑔(𝜑, 𝜔)𝜑2 = (𝜑 + 𝜔 ¯ −𝛾 − 𝜓(¯
𝜔 )𝜑.
令 𝐹 = −𝜓(¯
𝜔 )𝜑,则 𝐹 满足:
⎧
⎪
⎪
⎪ 𝐹𝑡 + 𝛼1 𝑎(𝑥)𝜓(¯ 𝜔 )𝐹𝑥𝑥 − 𝛼1 𝜓(¯ 𝜔 −𝛾 )𝑥𝑥
𝜔 )(𝑎 − 𝑎1 )(¯
⎪
⎪
⎨ −𝜓1 (¯ ¯ 𝑡 − 𝛼1 𝑎𝜓(¯
𝜔 )𝐹 𝜔 𝜔 )(𝑓 𝐹 2 )𝑥𝑥 = 0,
⎪
(2.1.3)
⎪
⎪
⎪
⎪ 𝐹 (0, 𝑡) = 0,
⎪
⎪
𝐹 (𝑥, 0) = 𝐹0 (𝑥) = −𝜓(¯ 𝜔 (𝑥, 0))𝜑0 (𝑥), 𝑥 ∈ 𝑅+ ,
⎩
其中
𝜔 )𝐹 = 𝜓 ′ (¯
−𝜓1 (¯ 𝜔 )𝜑, 𝑓 𝐹 2 = 𝑔𝜑2 .
我们可得第一个主要结果如下:
10
定理 2.1 设 𝐹0 (𝑥) 和 𝑠(𝑥) = 𝑠0 (𝑥) 是 𝐶 2 函数,使得 𝐹0 (𝑥) ∈ 𝐻 2 (𝑅+ ) 𝐿1 (𝑅+ ),
⋂︀
这里,我们应用了下面的事实:
∫︁ 𝑡 ∫︁ +∞
| (𝑎 − 𝑎1 )¯
𝜔𝑡 𝑠𝑖𝑔𝑛(𝐹 )𝑑𝑥𝑑𝜏 |
0 0
∫︁ 𝑡 ∫︁ +∞
≤𝐶 |𝑠 − 𝑠+ ||¯𝜔𝑡 |𝑑𝑥𝑑𝜏 (2.1.9)
0 0
∫︁ 𝑡 ∫︁ +∞
3
≤𝐶 (1 + 𝑡)− 2 ||𝑥(𝑠 − 𝑠+ )||¯
𝜔 ′ (𝜂)|𝑑𝑥𝑑𝜏 ≤ 𝐶𝛿;
0 0
11
及
∫︁ 𝑡 ∫︁ +∞
(𝑓 𝐹 2 )𝑥 𝐹𝑥 𝑠𝑖𝑔𝑛′ (𝐹 )𝑑𝑥𝑑𝜏
0
∫︁ 0𝑡 ∫︁ +∞
= 𝐹𝑥 (2𝑓 𝐹𝑥 + 𝑓𝐹 𝐹 𝐹𝑥 + 𝑓𝜔¯ 𝐹 𝜔
¯ 𝑥 )𝐹 𝛿[𝐹 =0] 𝑑𝑥𝑑𝜏 (2.1.10)
0 0
= 0.
因此,我们得到 (2.1.8),此引理证完。
利用 M.Nishikawa 在 [15] 中的估计技巧和引理 2.2,下面我们对 𝐹 进行衰减
估计。
12
我们对 𝐼1 − 𝐼4 的估计如下:由于 𝐹 = −𝜓(¯
𝜔 )𝜑 , 且 𝜓(¯
𝜔 ) 有界,故
𝐼1 + 𝐼2 + 𝐼3
∫︁ 𝑡 ∫︁ +∞
1 1
≤𝐶 [(1 + 𝜏 )𝜀0 − 2 𝐹 2 + (1 + 𝜏 )𝜀0 + 2 (|¯
𝜔𝑡 |𝐹 2 + |(𝑎 − 𝑎1 )¯
𝜔𝑡 𝐹 |)]𝑑𝑥𝑑𝜏
0 0
∫︁ 𝑡
1
≤𝐶 (1 + 𝜏 )𝜀0 − 2 (‖𝐹 ‖𝐿∞ ‖𝐹 ‖𝐿1 + 𝛿‖𝑥(𝑠 − 𝑠1 )‖𝐿1 ‖𝐹 ‖𝐿∞ )𝑑𝜏
0
∫︁ 𝑡
1 2
(2.1.15)
≤ 𝐶(1 + 𝛿) (1 + 𝜏 )𝜀0 − 2 ‖𝐹𝑥 ‖ 3 𝑑𝜏
0
∫︁ 𝑡 ∫︁ 𝑡
1 𝜀0 + 21
≤( + 𝐶𝛿) (1 + 𝜏 ) 2
‖𝐹𝑥 ‖ 𝑑𝜏 + 𝐶 (1 + 𝜏 )𝜀0 −1 𝑑𝜏
4𝛼
∫︁0 𝑡 0
1 1
≤( + 𝐶𝛿) (1 + 𝜏 )𝜀0 + 2 ‖𝐹𝑥 ‖2 𝑑𝜏 + 𝐶(1 + 𝑡)𝜀0 ,
4𝛼 0
其中在第三个不等式中,我们利用了如下式子:
2
‖𝐹 ‖𝐿∞ ≤ 𝐶‖𝐹𝑥 ‖ 3 , (2.1.16)
这里用到了
1 1 1 1 1
‖𝐹 ‖𝐿∞ ≤ 𝐶‖𝐹 ‖ 2 ‖𝐹𝑥 ‖ 2 ≤ 𝐶‖𝐹 ‖𝐿4 ∞ ‖𝐹 ‖𝐿4 1 ‖𝐹𝑥 ‖ 2 .
1 𝑡 +∞
∫︁ ∫︁
1
𝐼4 = | (1 + 𝜏 )𝜀0 + 2 (𝑓 𝐹 2 )𝑥 𝐹𝑥 𝑑𝑥𝑑𝜏 |
𝛼 0 0
1 𝑡 +∞
∫︁ ∫︁
1
=| (1 + 𝜏 )𝜀0 + 2 (2𝑓 𝐹 𝐹𝑥 + 𝑓𝐹 𝐹 2 𝐹𝑥 + 𝑓𝜔¯ 𝜔 ¯ 𝑥 𝐹 2 )𝐹𝑥 𝑑𝑥𝑑𝜏 |
𝛼 0 0
∫︁ 𝑡 ∫︁ 𝑡 (2.1.17)
𝜀0 + 21 2 1
≤ 𝐶𝜀1 (1 + 𝜏 ) ‖𝐹𝑥 ‖ 𝑑𝜏 + 𝐶𝜀1 (1 + 𝜏 )𝜀0 + 2 ‖𝐹 ‖𝐿1 ‖𝐹 ‖3𝐿∞ 𝑑𝜏
∫︁0 𝑡 0
1
≤ 𝐶𝜀1 (1 + 𝜏 )𝜀0 + 2 ‖𝐹𝑥 ‖2 𝑑𝜏.
0
1𝑑 2 1 1
𝐹𝑥 − 𝑎(𝑥)𝜓(¯ 2
𝜔 )𝐹𝑥𝑥 = − 𝜓(¯ 𝜔 )(𝑎 − 𝑎1 )(¯𝜔 −𝛾 )𝑥𝑥 𝐹𝑥𝑥
2 𝑑𝑡 𝛼 𝛼 (2.1.19)
1
− 𝜓1 (¯ 𝜔𝑡 𝐹 𝐹𝑥𝑥 − 𝑎(𝑥)𝜓(¯
𝜔 )¯ 𝜔 )(𝑓 𝐹 2 )𝑥𝑥 𝐹𝑥𝑥 + {· · ·}𝑥 .
𝛼
13
3
下面我们将 (2.1.19) ×(1 + 𝑡)𝜀0 + 2 后,在 [0, 𝑡] × (0, +∞) 积分,得到:
∫︁ +∞ ∫︁ 𝑡 ∫︁ +∞
𝜀0 + 23 2 3
(1 + 𝑡) 𝐹𝑥 𝑑𝑥 + (1 + 𝜏 )𝜀0 + 2 𝐹𝑥𝑥
2
𝑑𝑥𝑑𝜏
0 0 0
∫︁ 𝑡 ∫︁ +∞ ∫︁ 𝑡 ∫︁ +∞
𝜀0 + 21 2 3
≤ 𝐶 + 𝐶( (1 + 𝜏 ) 𝐹𝑥 𝑑𝑥𝑑𝜏 + | (1 + 𝜏 )𝜀0 + 2 𝐹 𝜔
¯ 𝑡 𝐹𝑥𝑥 𝑑𝑥𝑑𝜏 |
0 0 0 0
∫︁ 𝑡 ∫︁ +∞
3
+| (1 + 𝜏 )𝜀0 + 2 (𝑎 − 𝑎1 )¯ 𝜔𝑡 𝐹𝑥𝑥 𝑑𝑥𝑑𝜏 |
0 0
∫︁ 𝑡 ∫︁ +∞
3
+| (1 + 𝜏 )𝜀0 + 2 (𝑓 𝐹 2 )𝑥𝑥 𝐹𝑥𝑥 𝑑𝑥𝑑𝜏 |.
0 0
(2.1.20)
由 Cauchy-Schwartz 不等式和引理 2.1 有:
∫︁ +∞ ∫︁ 𝑡 ∫︁ +∞
𝜀0 + 32 2 3
(1 + 𝑡) 𝐹𝑥 𝑑𝑥 + (1 + 𝜏 )𝜀0 + 2 𝐹𝑥𝑥
2
𝑑𝑥𝑑𝜏
0 0 0
∫︁ 𝑡 ∫︁ +∞
3
≤ 𝐶 + 𝐶( (1 + 𝜏 )𝜀0 + 2 |𝐹 𝜔 ¯ 𝑡 |2 𝑑𝑥𝑑𝜏
∫︁ 𝑡 ∫︁ +∞ 0 0 (2.1.21)
3
+ (1 + 𝜏 )𝜀0 + 2 |(𝑎 − 𝑎1 )¯ 𝜔𝑡 |2 𝑑𝑥𝑑𝜏
∫︁0 𝑡 ∫︁0 +∞
3
+| (1 + 𝜏 )𝜀0 + 2 |(𝑓 𝐹 2 )𝑥𝑥 |2 𝑑𝑥𝑑𝜏.
0 0
注意到
∫︁ 𝑡 ∫︁ +∞
3
(1 + 𝜏 )𝜀0 + 2 |𝐹 𝜔
¯ 𝑡 |2 𝑑𝑥𝑑𝜏
0 0
∫︁ 𝑡
3
≤𝐶 (1 + 𝜏 )𝜀0 + 2 ‖𝐹 ‖𝐿∞ ‖𝐹 ‖𝐿1 |¯
𝜔𝑡 |2𝐿∞ 𝑑𝜏
∫︁0 𝑡 ∫︁ 𝑡
≤𝐶 (1 + 𝜏 )𝜀0 − 12
‖𝐹 ‖𝐿∞ 𝑑𝜏 ≤ 𝐶
1 3
(1 + 𝜏 )𝜀0 − 2 ‖𝐹𝑥 ‖ 2 𝑑𝜏 (2.1.22)
∫︁0 𝑡 ∫︁ 𝑡0
1
≤𝐶 (1 + 𝜏 )𝜀0 + 2 ‖𝐹𝑥 ‖2 𝑑𝜏 + 𝐶 (1 + 𝜏 )𝜀0 −1 𝑑𝜏
0 0
𝜀0
≤ 𝐶(1 + 𝑡) ,
∫︁ 𝑡 ∫︁ +∞
3
(1 + 𝜏 )𝜀0 + 2 |(𝑎 − 𝑎1 )¯
𝜔𝑡 |2 𝑑𝑥𝑑𝜏
0 0
∫︁ 𝑡 ∫︁ 𝑡 (2.1.23)
𝜀0 + 23 −3 3
≤𝐶 (1 + 𝜏 ) 2
‖𝑥(𝑎 − 𝑎1 )‖𝐿1 𝑑𝜏 ≤ 𝐶 (1 + 𝜏 )𝜀0 − 2 𝑑𝜏 ≤ 𝐶,
0 0
及
(𝑓 𝐹 2 )𝑥𝑥 = (2𝑓 𝐹 𝐹𝑥 + 𝑓𝐹 𝐹 2 𝐹𝑥 + 𝑓𝜔¯ 𝜔
¯ 𝑥 𝐹 2 )𝑥
= (2𝑓 𝐹 + 𝑓𝐹 𝐹 2 )𝐹𝑥𝑥 + (2𝑓 + 4𝑓𝐹 𝐹 + 𝑓𝐹 𝐹 𝐹 2 )𝐹𝑥2 (2.1.24)
+ (4𝑓𝜔¯ + 2𝑓𝐹 𝜔¯ 𝐹 2 )𝐹𝑥 𝜔
¯ 𝑥 + (𝑓𝜔¯ 𝜔 ¯ 2 )𝐹 2 ,
¯ 𝑥𝑥 + 𝑓𝜔¯ 𝜔¯ 𝜔
14
我们有:
∫︁ 𝑡 ∫︁ +∞
3
(1 + 𝜏 )𝜀0 + 2 |(𝑓 𝐹 2 )𝑥𝑥 |2 𝑑𝑥𝑑𝜏
0 0
∫︁ 𝑡
3
≤𝐶 (1 + 𝜏 )𝜀0 + 2 [(𝐹 2 + 𝐹 4 )(𝐹𝑥𝑥 2
+𝜔 ¯ 𝑥2 𝐹𝑥2 ) + 𝐹𝑥4 + (¯ 2
𝜔𝑥𝑥 +𝜔 ¯ 𝑥4 )𝐹 4 ]𝑑𝑥𝑑𝜏
0
∫︁ 𝑡 ∫︁ 𝑡
𝜀0 + 23 2 1
≤ 𝐶𝜀1 (1 + 𝜏 ) ‖𝐹𝑥𝑥 ‖ 𝑑𝜏 + (1 + 𝜏 )𝜀0 + 2 ‖𝐹𝑥 ‖2 𝑑𝜏
∫︁ 𝑡 0 0
∫︁ 𝑡
1 3
𝜀0 + 2 3
+ (1 + 𝜏 ) ‖𝐹 ‖𝐿∞ ‖𝐹 ‖𝐿1 𝑑𝜏 + (1 + 𝜏 )𝜀0 + 2 ‖𝐹𝑥 ‖4𝐿4 𝑑𝜏, (2.1.25)
0 0
∫︁ 𝑡 ∫︁ 𝑡
3 3
𝜀0 + 2 2
≤ 𝐶 + 𝐶𝜀1 (1 + 𝜏 ) ‖𝐹𝑥𝑥 ‖ 𝑑𝜏 + (1 + 𝜏 )𝜀0 + 2 ‖𝐹𝑥𝑥 ‖‖𝐹𝑥 ‖3 𝑑𝜏
0 0
∫︁ 𝑡
3
≤ 𝐶 + 𝐶(𝜀1 + 𝜀) (1 + 𝜏 )𝜀0 + 2 ‖𝐹𝑥𝑥 ‖2 𝑑𝜏
0
∫︁ 𝑡
3
+ 𝐶(𝜀) (1 + 𝜏 )𝜀0 + 2 ‖𝐹𝑥 ‖2 ‖𝐹𝑥 ‖2 𝑑𝜏.
0
由 Gronwall’s不等式得到:
∫︁ 𝑡
𝜀0 + 23 2 3
(1 + 𝑡) ‖𝐹𝑥 (·, 𝑡)‖ + (1 + 𝜏 )𝜀0 + 2 ‖𝐹𝑥𝑥 (·, 𝜏 )‖2 𝑑𝜏 ≤ 𝐶(1 + 𝑡)𝜀0 . (2.1.27)
0
15
5
将上式乘以 (1 + 𝑡)𝜀0 + 2 后, 在 [0, 𝑡] × (0, +∞) 上积分,即得
∫︁ +∞
1 𝑡 +∞
∫︁ ∫︁
1 𝜀0 + 25 −1 2 5
(1 + 𝑡) 𝑎 𝐹𝑡 𝑑𝑥 − (1 + 𝜏 )𝜀0 + 2 𝜓(¯ 2
𝜔 )𝐹𝑥𝑡 𝑑𝑥𝑑𝜏
2 0 𝛼 0 0
1 +∞ −1 2
∫︁ ∫︁ 𝑡 ∫︁ +∞
1 5 3
= 𝑎 𝐹1 𝑑𝑥 + (𝜀0 + ) (1 + 𝜏 )𝜀0 + 2 𝑎−1 𝐹𝑡2 𝑑𝑥𝑑𝜏
2 0 2 2 0 0
∫︁ 𝑡 ∫︁ +∞
1 5
− (1 + 𝜏 )𝜀0 + 2 𝜓(¯𝜔 )𝑥𝑥 𝐹𝑡2 𝑑𝑥𝑑𝜏
2𝛼 0 0
1 𝑡 +∞
∫︁ ∫︁
5
− (1 + 𝜏 )𝜀0 + 2 𝜓 ′ (¯
𝜔 )¯
𝜔𝑡 𝐹𝑥𝑥 𝐹𝑡 𝑑𝑥𝑑𝜏 (2.1.30)
𝛼 0 0
1 𝑡 +∞
∫︁ ∫︁
5
+ (1 + 𝜏 )𝜀0 + 2 𝑎−1 (𝜓(¯ 𝜔 )(𝑎 − 𝑎1 )(¯ 𝜔 −𝛾 )𝑥𝑥 )𝑡 𝐹𝑡 𝑑𝑥𝑑𝜏
𝛼
∫︁ 𝑡 ∫︁0 +∞ 0
5
+ (1 + 𝜏 )𝜀0 + 2 𝑎−1 (𝜓1 (¯ 𝜔 )𝐹 𝜔¯ 𝑡 )𝑡 𝐹𝑡 𝑑𝑥𝑑𝜏
0 0
1 +∞
∫︁
5
+ (1 + 𝜏 )𝜀0 + 2 (𝜓(¯ 𝜔 )(𝑓 𝐹 2 )𝑥𝑥 )𝑡 𝐹𝑡 𝑑𝑥𝑑𝜏.
𝛼 0
从引理 2.3 的证明及 (2.1.3)1 ,我们可以得到:
∫︁ 𝑡
3
(1 + 𝜏 )𝜀0 + 2 ‖𝐹𝑡 (·, 𝜏 )‖2 𝑑𝜏
0
∫︁ 𝑡 ∫︁ 𝑡 ∫︁ +∞
𝜀0 + 23 2 3
≤ 𝐶( (1 + 𝜏 ) ‖𝐹𝑥𝑥 (·, 𝜏 )‖ 𝑑𝜏 + (1 + 𝜏 )𝜀0 + 2 (𝑎 − 𝑎1 )2 𝜔 ¯ 𝑡2 𝑑𝑥𝑑𝜏
∫︁ 𝑡 ∫︁0 +∞ ∫︁ 0𝑡 ∫︁ 0+∞ (2.1.31)
3 3
+ (1 + 𝜏 )𝜀0 + 2 𝐹 2 𝜔
¯ 𝑡2 𝑑𝑥𝑑𝜏 + (1 + 𝜏 )𝜀0 + 2 (𝑓 𝐹 2 )2𝑥𝑥 𝑑𝑥𝑑𝜏 )
0 0 0 0
≤ 𝐶.
此外由于
𝑎−1 (𝜓1 (¯
𝜔 )𝐹 𝜔 𝜔𝑡 𝐹𝑡2 + (¯
¯ 𝑡 )𝑡 𝐹𝑡 = 𝑂(1)[¯ 𝜔𝑡2 + 𝜔
¯ 𝑡𝑡 )𝐹 𝐹𝑡 ],
16
证明:由 (2.1.3),我们可以知道
则有
5 5
(1 + 𝑡) 2 ‖𝐹𝑥𝑥 ‖2 ≤ 𝐶(1 + 𝑡) 2 (‖𝐹𝑡 ‖2 + ‖(𝑎 − 𝑎1 )¯
𝜔𝑡 ‖2 + ‖𝐹 𝜔
¯ 𝑡 ‖2 + ‖𝐹𝑥2 ‖2
¯ 𝑥 ‖2 + ‖(¯
+ ‖𝐹 𝐹𝑥 𝜔 ¯ 𝑥2 )𝐹 2 ‖2 )
𝜔𝑥𝑥 + 𝜔
5
≤ 𝐶(1 + (1 + 𝑡) 2 ‖𝐹𝑥2 ‖2 ) (2.1.35)
5
≤ 𝐶(1 + (1 + 𝑡) ‖𝐹𝑥 ‖2 (‖𝐹𝑥 ‖2 + ‖𝐹𝑥𝑥 ‖2 ))
2
5
≤ 𝐶 + 𝐶(1 + 𝑡) 2 ‖𝐹𝑥 ‖2 ‖𝐹𝑥𝑥 ‖2
由上式可知
5
(1 + 𝑡) 2 ‖𝐹𝑥𝑥 ‖2 ≤ 𝐶.
因此
1 1
‖𝐹𝑥 ‖𝐿∞ ≤ 𝐶‖𝐹𝑥 ‖ 2 ‖𝐹𝑥𝑥 ‖ 2 (1 + 𝑡)−1 .
或者 ⎧
⎪ 𝑉 + (𝑝𝑣 (˜ 𝑣 , 𝑠)𝑉𝑥 )𝑥 + 𝛼𝑉𝑡 = −𝐺1 − 𝐺2 ,
⎨ 𝑡𝑡
⎪
⎪
(𝑉, 𝑉𝑡 )|𝑡=0 = (𝑉0 , 𝑈0 )(𝑥), (2.2.2)
⎪
⎪
⎪
⎩𝑉 (0, 𝑡) = 0.
𝑥
其中
⎧
⎨𝐺1 ≡ 𝛽(|𝑉𝑡 + 𝑢˜ + 𝑢^|𝑞−1 (𝑉𝑡 + 𝑢˜ + 𝑢^) − |^
𝑢|𝑞−1 𝑢^),
(2.2.3)
⎩𝐺 ≡ − 1 𝑝(˜𝑣 , 𝑠)𝑥𝑡 + (𝑝(𝑉𝑥 + 𝑣˜ + 𝑣^, 𝑠) − 𝑝(˜
𝑣 , 𝑠) − 𝑝𝑣 (˜
𝑣 , 𝑠)𝑉𝑥 )𝑥 .
2 𝛼
17
定理 2.2 在定理 1.2 的假设下,初边值问题 (1.1.25) 存在唯一的整体光滑
解 (𝑉, 𝑈 ) ∈ 𝐻 × 𝐻 2,且满足
3
∫︁ 𝑡
‖𝑉 (·, 𝑡)‖2𝐻 3 + ‖𝑈 (·, 𝑡)‖2𝐻 2 + ‖(𝑉, 𝑈 )(·, 𝜏 )‖2𝐻 2 𝑑𝜏 ≤ 𝐶. (2.2.4)
0
此外有:
(1 + 𝑡)‖𝑉𝑥 (·, 𝑡)‖2 + (1 + 𝑡)2 ‖‖𝑈 (·, 𝑡)‖2 ≤ 𝐶, (2.2.5)
及
3 5
‖𝑉𝑥 (·, 𝑡)‖𝐿∞ ≤ 𝐶(1 + 𝑡)− 4 , ‖𝑈 (·, 𝑡)‖𝐿∞ ≤ 𝐶(1 + 𝑡)− 4 . (2.2.6)
令 𝑇 ∈ [0, ∞] ,我们定义
𝑁 (𝑇 )2 := sup ‖𝑉 (·, 𝑡)‖2 + ‖𝑉𝑥 (·, 𝑡)‖2 + ‖𝑉𝑡 (·, 𝑡)‖2 . (2.2.9)
0≤𝑡≤𝑇
18
由 (2.2.9),我们可得
∫︁ 𝑡 ∫︁ +∞
|𝐺1 ||𝑉 |𝑑𝑥𝑑𝜏
0 0
∫︁ 𝑡 ∫︁ +∞
≤𝐶 (|𝑉𝑡 |𝑞 + |˜𝑢|𝑞 + |¯
𝑢|𝑞 )|𝑉 |𝑑𝑥𝑑𝜏
0 0
∫︁ 𝑡 ∫︁ +∞ ∫︁ 𝑡 (2.2.12)
𝑞−2
≤ 𝐶‖𝑉𝑡 ‖𝐿∞ ‖𝑉 ‖𝐿∞ 2
|𝑉𝑡 | 𝑑𝑥𝑑𝜏 + 𝐶 ‖𝑉 ‖(‖˜ 𝑢‖𝑞𝐿2𝑞 )𝑑𝜏
𝑢‖𝑞𝐿2𝑞 + ‖^
0 0 0
∫︁ 𝑡
≤ 𝐶𝑁 (𝑡)𝑞−1 ‖𝑉𝑡 ‖2 𝑑𝜏 + 𝐶𝛿1 .
0
其中 𝑞 为相应的流量。现定义
1
𝜂* = 𝑢2 + 𝑒𝑠(𝑥) [𝑣 −(𝛾−1) − 𝑣^−(𝛾−1) + (𝛾 − 1)^
𝑣 −𝛾 (𝑣 − 𝑣^)], (2.2.15)
2
由 (1.1.1) 易知
由于
𝑢2 = 𝑉𝑡2 + 𝑢˜2 + 𝑢^2 + 2𝑉𝑡 𝑢˜ + 2𝑉𝑡 𝑢^ + 2˜
𝑢𝑢^, (2.2.17)
故 (2.2.16) 等价于
𝜂*𝑡 + 𝑞𝑥 − [𝑝(˜
𝑣 , 𝑠)𝑥 𝑉 ]𝑡 − [𝑝(˜ 𝑣 , 𝑠)𝑡 + 𝛼𝑉𝑡2
𝑣 ]𝑡 − 2𝑉𝑥 [𝑝(˜
𝑣 , 𝑠)^
(2.2.18)
+ 2𝛼𝑉𝑡 𝑢^ + 2𝛼˜ 𝑢2 + 𝛽|𝑉𝑡 + 𝑢˜ + 𝑢^|𝑞+1 + [· · ·]𝑥 = 0.
𝑢𝑢^ + 𝛼^
将上式在 [0, 𝑡] × (0, +∞) 上积分,则有
∫︁ +∞ ∫︁ 𝑡 ∫︁ +∞
𝜂*𝑡 (𝑥, 𝑡)𝑑𝑥 + 𝛼 𝑉𝑡2 𝑑𝑥𝑑𝜏
0 0 0
∫︁ +∞ ∫︁ +∞
2 2
≤ 𝐶(𝛿1 + ‖𝑉0 ‖𝐻 1 + ‖𝑈0 ‖ ) + 𝑝(˜𝑣 , 𝑠)𝑥 𝑉 𝑑𝑥 + 𝑝(˜
𝑣 , 𝑠)^
𝑣 𝑑𝑥
0 0
∫︁ 𝑡 ∫︁ +∞ ∫︁ +∞ ∫︁ +∞ (2.2.19)
+2 𝑣 , 𝑠)𝑡 𝑑𝑥𝑑𝜏 − 2𝛼
𝑉𝑥 𝑝(˜ 𝑉𝑡 𝑢^𝑑𝑥𝑑𝜏 − 2𝛼 𝑢˜𝑢^𝑑𝑥𝑑𝜏
0 0 0 0
∫︁ 𝑡 ∫︁ +∞ ∫︁ 𝑡 ∫︁ +∞
2
−𝛼 𝑢^ 𝑑𝑥𝑑𝜏 + |𝛽| |𝑉𝑡 + 𝑢˜ + 𝑢^|𝑞+1 𝑑𝑥𝑑𝜏.
0 0 0 0
19
使用 Cauchy-Schwartz 不等式,我们有
∫︁ +∞
𝛼 𝑡 +∞ 2
∫︁ ∫︁
𝜂*𝑡 (𝑥, 𝑡)𝑑𝑥 + 𝑉𝑡 𝑑𝑥𝑑𝜏
0 2 0 0
∫︁ +∞ ∫︁ 𝑡 ∫︁ +∞
2 2 2
≤ 𝐶(𝜀)(𝛿1 + ‖𝑉0 ‖𝐻 1 + ‖𝑈0 ‖ ) + 𝜀 𝑉 𝑑𝑥 + 𝜀 𝑉𝑥2 𝑑𝑥𝑑𝜏 (2.2.20)
0 0 0
∫︁ 𝑡 ∫︁ +∞
+ |𝛽| |𝑉𝑡 + 𝑢˜ + 𝑢^|𝑞+1 𝑑𝑥𝑑𝜏.
0 0
由 (2.2.9),我们可估计
∫︁ 𝑡 ∫︁ +∞ ∫︁ 𝑡 ∫︁ +∞
𝑞+1
|𝑉𝑡 + 𝑢˜ + 𝑢^| 𝑑𝑥𝑑𝜏 ≤ 𝐶 (|𝑉𝑡 |𝑞+1 + |˜ 𝑢|𝑞+1 + |^
𝑢|𝑞+1 )𝑑𝑥𝑑𝜏
0 0 0 0
∫︁ 𝑡
≤𝐶 (‖𝑉𝑡 ‖𝑞−1 2
𝐿∞ ‖𝑉𝑡 ‖ + ‖˜ 𝑢‖𝑞−1
𝐿∞ ‖˜𝑢‖2 + ‖^ 𝑢‖𝑞−1
𝐿∞ ‖^ 𝑢‖2 )𝑑𝜏
0
∫︁ 𝑡 ∫︁ 𝑡 (2.2.21)
𝑞−1 2 𝑞+1 − 21 (𝑞−1)− 12
≤ 𝐶𝑁 (𝑇 ) ‖𝑉𝑡 ‖ 𝑑𝜏 + 𝐶𝛿1 (1 + 𝜏 ) 𝑑𝜏
0 0
∫︁ 𝑡
≤ 𝐶𝑁 (𝑇 ) 𝑞−1
‖𝑉𝑡 ‖2 𝑑𝜏 + 𝐶𝛿1𝑞+1 .
0
进一步,我们容易发现存在正常数 𝐶3 , 𝐶4 使得
𝜂* ≥ 𝐶4 (𝑉𝑥2 + 𝑉𝑡2 ) − 𝐶3 (˜
𝑢2 + 𝑢^2 + 𝑣^2 ). (2.2.22)
因此,由 (2.2.20) 有
∫︁ +∞
𝛼 𝑡 +∞ 2
∫︁ ∫︁
2 2
𝐶4 (𝑉𝑥 + 𝑉𝑡 )𝑑𝑥 + 𝑉𝑡 𝑑𝑥𝑑𝜏
0 4 0 0
∫︁ +∞ ∫︁ 𝑡 ∫︁ +∞ (2.2.23)
2 2 2
≤ 𝐶(𝜀)(𝛿1 + ‖𝑉0 ‖𝐻 1 + ‖𝑈0 ‖ ) + 𝜀 𝑉 𝑑𝑥 + 𝜀 𝑉𝑥2 𝑑𝑥𝑑𝜏.
0 0 0
20
由上式,当 𝛿1 + ‖𝑉0 ‖2𝐻 1 + ‖𝑈0 ‖2 充分小时,我们总是可以使先验假设 (2.2.9) 是成立
的。为了得到衰减估计,我们不妨将 (2.2.18) 乘以 (1 + 𝑡)𝑘 , (0 < 𝑘 < 41 ). 则有
注意到
∫︁ +∞
𝑘
|(1 + 𝑡) 𝑣 , 𝑠)𝑥 𝑉 𝑑𝑥| ≤ (1 + 𝑡)2𝑘 ‖𝑝(˜
𝑝(˜ 𝑣 , 𝑠)𝑥 ‖2 + ‖𝑉 ‖2 ≤ 𝐶(𝛿1 + ‖𝑉0 ‖2𝐻 1 + ‖𝑈0 ‖2 ).
0
(2.2.28)
适当选择 0 < 𝜇 < 1
4
− 𝑘,则有
∫︁ 𝑡 ∫︁ +∞
|𝑘 (1 + 𝜏 )𝑘−1 𝑝(˜
𝑣 , 𝑠)𝑥 𝑉 𝑑𝑥𝑑𝜏 |
0
∫︁ 0𝑡 ∫︁ +∞ (2.2.29)
2𝑘−2+1+𝜇 −(1+𝜇)
≤𝐶 [(1 + 𝜏 ) 𝑣 , 𝑠)2𝑥
𝑝(˜ + (1 + 𝜏 ) 2
𝑉 ]𝑑𝑥𝑑𝜏 ≤ 𝐶.
0 0
此外,
∫︁ 𝑡 ∫︁ +∞
|𝑘 (1 + 𝜏 )𝑘−1 𝜂* 𝑑𝑥𝑑𝜏 |
0
∫︁ 0𝑡 ∫︁ +∞ (2.2.30)
𝑘−1
≤𝐶 [(1 + 𝜏 ) (𝑉𝑥2 + 𝑉𝑡2 2 2 2
+ 𝑢˜ + 𝑢^ + 𝑣^ )𝑑𝑥𝑑𝜏 ≤ 𝐶.
0 0
21
及
∫︁ 𝑡 ∫︁ +∞
|𝑘 (1 + 𝜏 )𝑘 |𝑉𝑡 + 𝑢˜ + 𝑢^|𝑞+1 𝑑𝑥𝑑𝜏 |
0
∫︁ 0𝑡 ∫︁ +∞
≤𝐶 (|𝑉𝑡 |𝑞+1 + |˜
𝑢|𝑞+1 + |^
𝑢|𝑞+1 )𝑑𝑥𝑑𝜏
0 0
∫︁ 𝑡
≤𝐶 (1 + 𝜏 )𝑘 (‖𝑉𝑡 ‖𝑞−1 2
𝐿∞ ‖𝑉𝑡 ‖ + ‖˜ 𝑢‖𝑞−1 𝑢‖2 + ‖^
𝐿∞ ‖˜ 𝑢‖𝑞−1
𝐿∞ ‖^ 𝑢‖2 )𝑑𝜏 (2.2.31)
0
∫︁ 𝑡 ∫︁ 𝑡
𝑞+1 1 1
𝑞−1 𝑘 2
≤ 𝐶𝑁 (𝑇 ) (1 + 𝜏 ) ‖𝑉𝑡 ‖ 𝑑𝜏 + 𝐶𝛿1 (1 + 𝜏 )𝑘− 2 (𝑞−1)− 2 𝑑𝜏
∫︁0 𝑡 0
22
参考文献
[1] Geng S, Zhang L, Colin T. Large-time behavior of Solutions for the system of com-
pressible adiabatic flow through porous media with nonlinear damping[J]. Commu-
nications on Pure Applied Analysis, 2014, 13(6).
[2] Hsiao, L., Liu, T.-P., Convergence to nonlinear diffusion waves for solutions of a
system of hyperbolic conservation laws with damping. Comm. Math. Phys. 143(1992):
599-605.
[3] Hsiao, L., Liu, T.-P., Nonlinear diffusion phenomena of nonlinear hyperbolic system.
Chin. Ann. Math. Ser. B 14(1993): 465-480.
[4] L.Hsiao and D. Serre, Large-time behavior of solutions for the system of compressible
adiabatic flow through porous media, Chin. Ann. Math. Ser. B, 16 (1995), 431–444.
[5] L. Hsiao and D. Serre, Global existence of solutions for the system of compressible
adiabatic flow through porous media, SIAM J. Math. Anal., 27 (1996), 70–77.
[6] Ma, H.-F., Mei, M., Best asymptotic profile for linear damped p-system with bound-
ary effect. J. Differential Equations 249(2010): 446-484.
[7] Marcati, P., Mei, M., Rubino, B., Optimal convergence rates to diffusion waves for
solutions of the hyperbolic conservation laws with damping. J. Math. Fluid Mech.
7(2005): S224-S240.
[8] Marcati P, Mei M. Convergence to nonlinear diffusion waves for solutions of the initial
boundary problem to the hyperbolic conservation laws with damping[J]. Quarterly
of Applied Mathematics, 2000, 58(4): 763-784.
[9] Marcati P, Pan R. On the diffusive profiles for the system of compressible adiabatic
flow through porous media[J]. SIAM journal on mathematical analysis, 2001, 33(4):
790-826.
[10] M. Mei, Nonlinear diffusion waves for hyperbolic p-system with nonlinear damping,
J. Differential Equations, 247 (2009), 1275–1296.
[11] Mei, M. (2010). Best asymptotic profile for hyperbolic p-system with damping.SIAM
J. Math. Anal. 42:1–23.
[12] Nishihara, K. (1996). Convergence rates to nonlinear diffusion waves for solutions of
system of hyperbolic conservation laws with damping. J. Diff. Eqs.131:171–188
23
[13] Nishihara, K., Wang, W.-K., Yang, T. (1999). L p -convergence rate to nonlinear
diffusion waves for p-system with damping. J. Diff. Eqs. 161:191–218.
[15] M. Nishikawa, Convergence rate to the traveling wave for viscous conservation laws,
Funkcial. Ekvac., 41 (1998), 107–132.
[16] K. Nishihara, Asymptotic toward the diffusion wave for a one-dimensional compress-
ible flow through porous media, Proceedings of the Royal Society of Edinburgh, 133
A(2003)
[18] Pan R. Boundary effects and large time behavior for the system of compressible adia-
batic flow through porous media[J]. Michigan Mathematical Journal, 2001,49(49):519-
540.
[19] Pan, R.-H., Darcy’s law as long-time limit of adiabatic porous media flow. J. Differ-
ential Equations 220(2006): 121-146.
[20] Zhao, H.-J., Convergence to strong nonlinear diffusion waves for solutions of p-system
with damping.J. Differential Equations 174(2001): 200-236.
[21] Zheng, Y.S. Global smooth solution to the adiabatic gas dynamics system with dis-
sipation terms. Chin. Ann. Math., 17A (1996), 155–162.
[22] Zhu, C.-J., Convergence rates to nonlinear diffusion waves for weak solutions to p-
system with damping. Sci. Chin. Ser. A 46 (2003): 562-575.
24
致谢
25