稀薄气体的动力学方程是数学物理的重要研究分枝之一.该方向涉及自然科学的许多领域,应用十分广泛,例如:非平衡态统计力学,天体物理,等离子体,半导体,航空技术和核反应堆理论等.本学位论文以经典Boltzmann方程,（Gauss-）BGK模型以及描述耗散气体的Boltzmann型方程等为研究对象,以尚待研究的问题为核心,建立一系列有关定性数学结果.在第一章,我们简要的介绍了所要研究的几类数学物理方程;就本学位论文所涉及的问题分析了它们的研究现状和存在的问题.最后,我们给出本文所得到的一些主要结果,它们将在以后各章节中得到证明.第二章研究一类刻划散体介质流气体的Boltzmann型方程,这是一个全新的研究方向.问题的物理背景是:气体中任何两分子在每次相互作用后保持动量守恒,但能量有一定的损失;并且气体被置于一个大热库中.在这种情况下气体的微观状态满足一个Fokker-Planck-Boltzmann型方程.我们在拟Maxwell分子模型近似情况下研究其空间均匀解的光滑性和大时间渐近行为.首先,在初始分布是一个整体速度为零温度有限的概率密度这一最弱的假设下,证明了解的光滑性并给出了其Sobolev范数在零时刻的渐近估计.其次,利用这一正则性结果和插值方法证明了当l→∞时解指数收敛于平衡态并给出了收敛指数的估计.这些结果改进了M.Bisi,J.A.Carrillo和G.Toscani在|24|中所得到的结论.第三章以研究经典Boltzmann方程空间均匀的概率解为核心,我们采用了Grad弱角截断的硬位势.首先,我们利用Boltzmann碰撞算子在连续函数空间上定义了一个连续线性泛函,由此将碰撞算子的定义域拓展到概率测度空间.在这种情况下,给出了空间均匀Boltzmann方程在概率测度空间中的等价表述.其次,借鉴于[44]等中的方法给出了概率解的一些先验估计,在初始分布分别属于概率测度空间P₂（R³）和P₄（R³）的情况下证明了守恒解的存在性和唯一性.最后,利用Mischler和Wennberg在|37|中推广的Povzner不等式和Desvillettes的方法|42|,建立了高阶矩的生成定理.这些结果将[33,36,37,39,40,41,42,44]中部分已知经典结论推广到概率解;同时也改进了[38,56,57,58]中有关概率解的结论.在第四章,我们研究一般经典Boltzmann方程指数型衰减的能量无限解,我们采用了Grad弱角截断的软位势.首先,我们建立了碰撞算子在一类指数衰减（能量可以无限）可测函数类中的一致性估计,结合Kaniel-Shinbrot方法[59]证明了小振幅初始值问题解的存在唯一性以及稳定性.其次,我们在一般情况下建立了这种能量无限解在该函数类中的稳定性（但是未获得存在性）以及解的大时间渐近行为.这些结果改进了Mischler和Perthame在[70]中证明的结论.我们注意到在[74]中建立了碰撞算子在连续函数空间上的一种极其重要的表示并在连续函数类中建立了类似的结果,这里我们采用了Kaniel-Shinbrot方法.第五章在R^N中研究气体动力学理论中极其重要的BGK模型.首先,我们证明了Perthame在其重要工作[12]中所构造的整体分布解具有高阶矩的传播性质.其次,我们在碰撞频率v（?）ρ^μ（l,x）（μ≥1）的一般情况下,在一类加权L^∞空间中证明了BGK模型解的唯一性,同时我们还给出了一个局部存在性结果,它们部分的改进了[87,88]中已有结论.第六章在R^N中研究BGK模型的L^p解.首先,我们将[87]中有关流体动力学量的L^∞估计推广到L^p估计,由此建立局部Maxwell分布的加权L^p估计,它是对BGK碰撞模型的一种有效的估计方法.其次,在以上估计的基础之上建立了方程的一致性L^p估计,然后利用速度平均紧引理和矩引理证明了逼近解的强收敛性,由此获得了L^p解的存在性;同时还给出了解的守恒性等一系列性质.最后,证明了上述解对某些L^p矩的传播性.其中,解的存在性是一个不同于Perthame存在定理[12]的结果.第七章研究BGK模型的一个修正情形,即椭圆统计模型（ellipsoidal statisticalmodel）,又称为Gauss-BGK模型.它是一类极其复杂的动力学模型,关于其解的研究到现在为止还没有任何结果.本章将研究它的一个特殊情形,即空间均匀解.我们给出了空间均匀解的结构和表示,在此基础之上给出了解的Maxwell分布型下界估计.其次,证明了解随时间增大而趋于平衡态并给出了收敛指数的精确值,建立了相应的熵定理.