【摘 要】
：
本文考虑在有界区域Ω上的粘性系数依赖于密度的可压Navier-Stokes方程强解的局部存在唯一性.所考虑问题为(ρu)t+div(ρu u)-div(μ(ρ)▽u)-V((λ+ρ(ρ))divu)+▽P=ρf, (
论文部分内容阅读
本文考虑在有界区域Ω上的粘性系数依赖于密度的可压Navier-Stokes方程强解的局部存在唯一性.所考虑问题为(ρu)t+div(ρu u)-div(μ(ρ)▽u)-V((λ+ρ(ρ))divu)+▽P=ρf, (x,t)∈Ω×(0,T),ρt++div(ρu)=0, (x,t)∈Ω×(0,T),P=P(ρ)=ργ,γ>1 (x,t)∈Ω×[0,T),ρ｜t=0=ρ0,u｜t=0=u0, x∈Ω,uаΩ=0, (x,t)∈аΩ×(0,T).
(*)
本文主要内容分为如下两部分：
1.将上面的N-S方程线性化,并用Galerkin方法证明线性化问题的强解存在唯一性.
2.用迭代的方法构造出原方程的一个逼近解序列,并证明了这个逼近解序列是在一定的空间中收敛到原方程的强解,得到原方程强解局部存在唯一性.
其他文献
本文分两部分,在第一部分中我们研究的对象是最优化网络路由,在第二部分中我们研究的是常重复合码。 在网络研究中,最优化网络路由现在已经成为一个值得考虑而且已被很多
严格的从圆锥曲线的产生来讲，椭圆、双曲线、抛物线和圆都属于圆锥曲线，在直角坐标系中，它们与二次方程相对应，因此，圆锥曲线又被称为二次曲线。但是，在高中数学教材中，所指的圆锥曲
Gelfand-Ponomarev代数∧=k/(xy,yx,x8,yt),8,t>1,是一类十分重要的特殊双列代数,其中k为代数闭域.它是第一类能够对其不可分解模进行完全分类的驯顺表示型指数增长的代数类
本文详细推导了半经典区域内非线性Schr(o)dinger-Poisson方程组(带有小Plank常数ε)的时间分裂正弦谱逼近格式.这个格式是显式的,无条件稳定的.本文在非聚焦非线性方程和弱O
人脸识别技术是一种基于生物特征识别的技术,近年来已经成为模式识别和机器学习领域的一个热门的研究课题。随着科学技术的快速发展,人脸识别技术取得了显著的成果。通常而言
本文主要研究了具有平行第二基本形式的子流形的几何刚性和高维凸超曲面中子流形的曲率与拓扑。 本文第一部分对拼挤黎曼流形Nn+1中具有平行第二基本形式的超曲面进行研究
经典粗糙集理论是一种处理信息系统中不精确、不完整知识的数学工具。经典粗糙集理论处理的知识为论域上的划分。但在许多实际问题中,论域上很多知识不是划分,而是覆盖。因此
本文主要研究若干种特殊情形同类机排序问题,目标函数是最大化机器最小完工时间,这样的问题又常被称为机器覆盖问题。本文主要研究的是所有机器中只有一台机器的加工速度与其
在凸几何中,大多几何不等式都有这样一个性质：当取一些特殊的凸体时,比如球,圆,椭球等,等号成立。如果某个凸体使得它所满足的不等式与等号成立相差很小时,这个凸体与使得等号
二阶线性常微分方程应用广泛。为了弄清一个实际系统随时间变化的规律,需要讨论微分方程解的性态。我们知道,在一定的条件之下,一阶线性常微分方程的柯西问题的解是存在并且