交通流模型的数学理论分析与数值模拟方法-计算数学·计算流体力学专业论文.docx

摘要本篇论文选择了四个重要的交通流连续模型，在模型的推广、数学理论分析、数 摘要 本篇论文选择了四个重要的交通流连续模型，在模型的推广、数学理论分析、数 值格式设计以及数值模拟等方面进行了讨论．由于这些模型在一定程度代表了该研 究领域的历史发展，而且其中的一些模型在性质方面具有很大的不同，本文依此作 了相应的组织安排． 作为第一个动力学方程，PW模型一直以来受到研究者的重视．有许多改进的 工作以新的模型的形式提出，然而大多数都不能克服原来模型的内在缺陷．虽然近年 来由H M．Zhang提出的非平衡模型与Pw模型具有十分相似的形式，它却是上述改 进模型中的一个例外．在其他一些研究者的所做工作的基础上，我们对两个模型进 行了全面的数学理论分析以指出它们之间的区别．这些分析包括Riemann问题、线 性稳定性和激波结果等几个方面．结果表明PW模型只有在一定条件下是线性不稳 定的，同时其固有的粘性效应可能引起负速度或过大的速度值．PW模型的不稳定 性在交通流问题中可以具有特定的意义，对此本文不作深入讨论，更多是着眼于设 计和提供高分辨的数值格式，以弥补对这一问题在理论分析方面的局限性．事实上， 对这一模型所运用的WENO逼近适用于很小的粘性系数和延迟时间，同时也可以减 小过大或负速度的幅度．另一方面，数学理论分析表明Zhang模型为线性稳定且几 乎没有粘性，其源项随时间的增加而逐渐趋于0，同时解函数随之趋于平衡态．换言 之，Zhang模型当时间趋于无穷时的解极限为LWR模型的解． LWR模型是本文研究的重点．当考虑道路上非一致的交通流条件，即车道数和 畅行速度为空间变量函数时，模型方程将被推广使其具有新的形式．推广LWR模型 具有空间依赖的流量函数，同时在多数情形方程为非严格双曲．对于这一类型的方 程，需要发展新的理论以得到问题的物理解．本文对这一类方程的讨论形成了从基 本理论入手直到实际应用的较为完整的理论体系，主要由以下三个部分构成． 首先我们研究这类方程的特征线传播．在关于特征线理论发展的讨论中，我们 证明了特征线的存在性，同时描述了所有可能的特征线传播的模式．这些讨论的结 果显示，波动的本质是传输来自初始的不变的流量值．这～性质是如此重要性，以 至于它启发了所有更进一步的讨论，同时这些讨论无疑也将遵循这一性质．在关于 Riemann问题的讨论中，我们阐明了Riemann解实际上为一系列Cauchy问题解的 极限这一重要事实，从而建立了连续和间断之间的联系．这些联系同时使我们提出 了所谓“熵波条件”，而且证明了它对保证解的存在唯一性是充分必要的．由上述的 Riemann解所提供的数值流通量经仔细验证后可以被简洁地表示为Godunov流通量 的函数值，这为研究一般意义下的数值逼近铺平了道路． 其次，以讨论数值流通量的方式，我们研究一般的数值逼近理论．在定义了具有 高分辨数值流通量所需满足的相容性和单调性后，我们证明了具有上述性质的流通 量在问题为严格双曲时，其一阶逼近的数值解可以满足适当的网格熵不等式．更有 2003年 2003年 中国科学技术大学博士学位论文 第v页 摘要 实际意义的是，针对”标准”双曲守恒标量方程所设计的每一种流通量都可以被推 广，用于设计新方程的数值流通量．而且如果原来的数值流通量具有相容性和单调 性，则新的流通量也将是相容和单调的．我们证明了这些推广的流通量将可以保证 一阶逼近的的数值稳定性，即流量函数在t时刻的无穷模不超过其在初始时刻的无 穷模．在讨论中，许多其它的理论性质也得到了证明． 最后，我们将对上述方程逼近的数值格式推广到高阶，即RKDG(Runge-Kutta discontinuous Galerkin)有限元方法．除了已经讨论的流通量，对限制器的重新设计是 保证高分辨和数值稳定的关键．虽然关于数值稳定的严格的证明尚有待于将来的研 究，但数值结果表明格式对更大范围的参数选择具有稳定性，同时对激波和稀疏波 有非常清晰的分辨。 根据原来的建模思想，我们也将Zhang模型进行推广使其能描述非一致道路条 件下的交通流．推广的原则是使当流动为平衡态时，新的方程将以推广的LWR模型 作为其特例，为此我们给出了适当的守恒方程的定义．由于对于推广Zhang模型方 程有线性的对角化变换，所以两个方程组在弱解的意义下是完全等价的．此外，对角 化方程组中每一个方程都具有类似推广LWR方程的形式，因此对于后者的所有结论 都可以被容易地推广应用到新的方程．数值实验同样显示，推广的Zhang模型与推 广的LWR模型并没有十分突出的区别．事实上，前者的解将随时间的增加收敛于后 者的解，且收敛的速度与延迟时间为单增的关系．关于上述两个模