一维非弹性kac方程经典解存在唯一性-existence and uniqueness of classical solution to one-dimensional inelastic kac equation.docxVIP

1绪论本文研究的Kac方程是从气体分子的动力学模型中导出的,是一种非弹性的Boltzmann方程.在外力作用下(如引力场、热压等),气体分子的运动形态如何,是气体动力学的重要课题([1,2,3,4,5]).Boltzmann方程假定气体是稀薄的,在任何时刻只能出现二分子碰撞,即不会出现三个以上分子同时碰撞的情形,且这种碰撞只在很接近时才发生作用,相应不同的很接近如何具体描述就会有不同的碰撞模型,最初的Boltzmann方程系由Liouville方程导出([6,7,8,9,10]),且假定能量守恒.但在很多情形下(如雪崩),碰撞过程能量并不守恒,近来对一些急速流体,如端流,二体分子碰撞机制占主导时仍能利用上述建立Kac模型([11,12]).本文的目的是在前人的基础上进一步说明了Kac方程在某种初值假定下解的存在唯一性.鉴于Kac方程是一类非弹性Boltzmann方程,我们有必要对Boltzmann方程各种碰撞模型作一说明.碰撞模型决定了碰撞核(后面将对碰撞核作一简单的介绍),而碰撞核的处理往往是非线性Boltzmann方程的难点所在,我们先对Boltzmann方程碰撞项的具体形式作一介绍.1.1Kac-Boltzmann方程的介绍一般的碰撞模型假设分子问的作用力在连心线上,且在质心参考系中两分子在同一平面(通常称为碰撞平面)中运动,通过一系列演算得到微分散射截面(其定义可在一般的统计物理书上找到)为:r?σdu=bdbdc,σdu=M0(nv2)2η?1dM0dc=2π.相应地,总散射截面fσs=fσdu=r?M0(nv2)2η?1fπdM0dc=2π0σsinτdτ,其中nr为折合质量,b为瞄准距离,?,η为常数,τ为偏转角.因为引力场延伸到无穷,所以σs通常是发散的.通常的处理方式是把瞄准距离b大于某值的相互作用忽略掉,有文章上称为远程截断;或者把偏转角τ小于某值的散射忽略掉,称为角截断,Grad最先采用了角截断([13]).通常称η5的分子称为硬分子,相应的位势称为硬位势;η5的分子称为软分子,相应的位势称为软位势;η=5的分子称为Maxwell分子.特别地,当η→∞时的极限情形就是刚球分子模型.在具体的计算中对刚球分子和Maxwell分子得到了较为简单的结果.一般地,Boltzmann方程的形式为:?f?t+ξ·?xf=ff2πfR300π2?(f/f/?ff?)B(V,θ)dξdθdσ,其中B(V,θ)与上述位势的选择有关,并具有相应的形式,在有些情形(如有限程逆军位势)下B(V,θ)可能不能明确导出.以下我们对各种位势假定情形下解的存在唯一性作一介绍.通常物理上希望能求出精确解,然而非线性方程很难求出精确解,但是Bobylev用Fourier变换得到无外场情形下Maxwell分子模型的一个精确解([14,15])Hilbert首先提出了用扰动法求解Boltzmann方程,给出了解析解,但这种级数展开法只适用在某些限定的时空内,且在边界层和激波层可能失效,但这为用扰动法解Boltzmann方程提供了可能性,并为后人研究以极大启发.有关Cauchy问题的存在性问题通常是先研究正则性([16])然后用某种紧性方法得到.用紧性方法证存在性最早由Carleman([17,18,19,20])和Arkeryd[21][22]等人给出,证明了在硬位势(包括刚球分子模型)及弱角截断情形的守恒解的存在性,具体方程为:f?tf(ξ,t)=Q(f,f)(ξ,t),f(ξ,0)=f0(ξ),其中Q(f,f)(ξ,t)=f+R3×S2?[f(ξ/,t)f(ξ/,t)?f(ξ,t)f(ξ?,t)]B(V,θ)dξ?dw.4另外,在假设f0(ξ)∈L1情形下,Arkeryd用单调性方法也构造出了守恒解,并获得了唯2一性;而Mischler和Wennberg进一步给出了f0(ξ)∈L1(R3)+情形下守恒解的整体存在性和唯一性([23]),并指出煽等式是成立的.在软位势情形下([24,25,26])得到了一守恒解,但唯一性仍没有解决([27]).小初值整体解最初由Kaniel和Shinbrot([28])引入,他们利用单调法代方法证明了如下方程局部存在性:f?tf(ξ,x,t)+ξ·?xf=Q(f,f)(ξ,x,t),f(ξ,x,0)=f0(ξ,x),并由R.Illner和M.Shinbrot([29])证明了整体存在性和唯一性.之后由Toscani文[29]中方法推广到Maxwell分布附近的解([30,31,32,33,34,35])之后由Bellomo,Toscani([36])改进了初始条件和解的无穷远处的衰减性,证明了角截断下硬位势和大部分软位势cosθ的整体存在性.在假设碰撞核B(V,θ)=Vβb(θ),?1≤β≤1,b(θ)≤b0情