1. 引言
随着全球城市化进程的加速,交通流建模作为交通工程领域的一个重要研究课题,对于缓解城市交通拥堵、提高道路使用效率、保障交通安全等方面具有重要的实际意义和应用背景。交通流模型能够模拟和预测车辆在道路上的流动行为,为交通规划和管理提供科学依据。在众多交通流模型中,基于偏微分方程的模型因其能够描述交通流的连续性和动态变化特性而受到广泛关注[1]-[4]。
宏观交通流模型,又被称为流体力学模型或交通流连续介质模型,最早由英国学者Lighthill和Whitham于1955年提出[1] [2]。该模型开创性地运用流体动力学理论来模拟交通流,通过对单向运动的交通流在某一时刻和某一位置的有关变量进行分析,以把握交通流的特性和本质。宏观交通流模型可以分为稳态模型和动态模型两大类。稳态模型假设交通流中的变化量,如流量、速度与密度等,仅与位置有关,而与时间无关;动态模型则进一步考虑了变化量与时间和位置的双重关系。本文主要研究动态模型,旨在通过宏观交通流模型的视角,探索偏微分方程在交通流建模中的应用,并辅以微观交通流模型进行补充分析。
在实际交通系统中,交通流的动态特性受到多种因素的影响,包括车辆的启动、加速、减速、停车等行为,以及道路条件、交通信号、驾驶员行为等。这些因素共同作用,使得交通流呈现出复杂的动态变化。为了更准确地模拟这些动态变化,本文设计并分析了全新的单车道与多车道交通流模型。这些模型基于车辆数量守恒的原则,将问题抽象为关于车流量的一阶微分方程,并通过求解这些方程,集中讨论了在有流出和无流出情况下单车道的变化情况,以及如何通过模型参数的调整来抑制激波(即交通拥堵)的产生。
本研究的意义在于,通过建立和分析交通流模型,不仅能够为理解交通流的动态行为提供新的视角,而且能够为交通管理和规划提供理论支持。此外,本研究还将探讨如何通过数学方法来优化交通流,以期达到减少交通拥堵、提高道路使用效率的目的。本文的研究将为学生提供一个很好的教学案例,培养学生数学建模的能力以及用所学知识解决具体问题的能力。
2. 无流出单车道模型的建立
首先回顾无流出单车道模型的建立。考虑一个最简单的情况:在一条单行道上所有汽车同向移动,不存在超车等次序变化,我们假设
是车辆的位置,
表示速度,我们知道
以及
(1)
道路交通中一个重要的概念是交通密度。道路的交通密度是在特定位置x与时间t处单位长度内的车辆数量。可以使用流体密度的传统符号
来表示交通密度,因此
是在x和t处单位长度内的平均车辆数量。现在考虑交通流量的定义。交通流量是指车辆经过路边观察者的速度,或者说是单位时间内通过路上定点的车辆数。我们可以把交通流量记为q,表达式为:
(2)
如果选取一条路上的一段,从点
到
,可以知道在时间点t处于A与B之间的车辆数会主要取决于时间。如果进入AB段的车流多于流出的,段内的车辆数会增加,类似的如果流出的多于流入的,车辆数减少。可以把A和B之间的流量用数学表示,段内车辆数随时间的变化率应等于流量差。如果
是车辆数,那么
(3)
另一方面,我们知道AB段的车辆数可由密度积分计算出
因此有
(4)
公式是道路车辆的全局守恒定律。注意在此公式里右边的符号是恒定的。如果
,流出的车辆多于流入的车辆,那么
会减少。故有
(5)
由
的任意性,可知
(6)
此外,我们可以假设
,而且上面的等式可以写成
和它的导数的关系式:
(7)
3. 有流出单车道模型的建立
现在考虑车辆流出的情况。在实际生活中,从一个车道上离开的原因可能有很多,但大致可以被归为两类:一是因为该车道发生堵塞,所以选择变道到另一车道,这种情况与当前密度
有关。而另一类则是因为要到另一条路上才到达目的地,这种与当前车道密度无关,而是与位置x有关,只要到达特定位置x即会变道。而车辆进入一个车道的原因也是类似,所以不失一般性只讨论流出,把流入看作一种负向流出。
假设在AB段内两类流出都有发生,第一类流出在t时刻流出车辆数量为
,而第二类记为
,则有
(8)
(9)
因为
与密度有关,所以记
,因此有
(10)
此外,假设
其中
可以理解为单位时间单位长度内第一类流出的车辆密度,
则是单位时间单位长度内第二类流出的密度。因此,
(11)
此方程就是有流出的车辆守恒律。接下来考虑交通中有出口流出对于整个交通的影响与现实意义来确定流出函数
与
。先只考虑第一类流出,显然对于实际交通,当车流量不大的情况下,车辆并不会变道,即
,但如果一直没有流出,交通会逐渐堵塞,即
会增大且产生激波,而第一类流出可以缓解这一现象,所以可以对密度增长合理假设
(12)
其中
是产生拥堵的临界密度,
。
我们可以根据特征线法与线性偏微分方程含
项的解法得到此方程的解为
,其中
是满足
(13)
的特征线方程,而F是满足特征线初始条件
的函数。
由于非线性偏微分方程可能会出现激波的现象,而激波的产生意味着特征线出现了间断现象,这在交通流车辆守恒方程中体现为拥堵的产生。
在之前的讨论中,我们知道了方程中加入含
项可以抑制
的增长,其实此项同时也会一定程度抑制激波的产生,即道路的出口不仅能降低车道密度,还能遏制拥堵的产生。现在通过数学分析来解释这一点。
假设此单车道上车辆守恒方程为非线性
而
时密度分布为
在这种情况下显然会产生激波,如图1所示,在
,
处开始产生激波。
而再考虑有流出项
的情况,方程变为
则有
Finger 1. The shock phenomenon when
,
图1. 当
,
时激波现象
解得
其中记
。带入特征线方程有
得到
以
的情况为例,此时有
,我们来看
时t与之前的变化,故而
如图2所示,当
时特征线与
无交点,即不会产生激波,当
时与
交点在
上方,一定程度抑制了激波的产生,所以证明此项一定能抑制激波的产生,且当系数较大时可以阻止激波的产生。即若
为临界系数,当
时可以缓解拥堵情况的产生,而当
,即流出量较大时可以阻止拥堵的产生。
接下来考虑
的可能取值,由于第二类流出的物理意义是在位置x处存在与其他道路交汇口,因为要变道其他道路而流出。所以
是只与位置x有关而与其他量无关,且是只在特定的位置取非零值,所以可以假设为
(14)
其中
为位于坐标轴该处的出口,
是出口
的临域,进入这段临域就能通过出口流出,
是各出口的临域半径,常数b为预估每次流出车辆密度。注意这里第二类流出的车辆数应是与时间无关,所以得到密度是常数。
Finger 2. The suppression of shock waves by the term involving
图2.
项对激波的抑制
为了方便讨论,考虑
情况,并将
看成全路段上因为第二类流出的密度,故
为恒大于0连续函数(或是看作在临域内讨论),可以写成
(15)
显然(15)是非齐次的一类一阶偏微分方程,故而仍可以用处理一阶偏微分方程的特征线法来计算,
(16)
同时由于有非齐次项,我们特征线不再是直线,而是
我们可以解出在特征线上
(17)
其中
是
时的密度分布。从而根据
带入(16)解出特征线
。
下面证明
同样能抑制激波的产生,在方程(17)中由于
,故特征线上
为递减函数,那么与上一节讨论中
为递减函数类似,可以证明这阻碍了激波的产生。与上一节一样取
,那么带入特征线方程有
.
考虑
时特征线为
,绘图可以看出
也能延缓或阻止拥堵的产生,如图3所示。
Finger 3. The suppression of shock waves by
图3.
对激波的抑制
4. 双车道模型的建立
经过对单车道模型的讨论,现在把情况扩展到双车道情况。在无出入的单车道中有一阶PDE
而当情况扩展到双车道时,我们还是先假设在没进出与变道情况,记一车道上
、
,另一车道上
、
,那么有方程组
当然在双车道模型中不可能两车道之间完全封闭,不互相影响。假设无进出的两车道之间可以相互变道,而在实际生活中,司机变道一般是因为两种原因:一是要驶离当前道路,二是当前所在道路车辆较多,而相邻道路更空旷时,变道到车流稀疏车道显然是更好的选择。所以可以假设在无进出的情况下,司机只会因为当前车道拥挤而向更空车道变道。那在这种情况下考虑单一车道,车道会因为另一车道的交通情况而导致车辆的流入或流出,这可以类比我们前面讨论的单车道有流出情况,但现在影响车道流入流出的因素不再是自己车道的情况,也要考虑另一车道的密度情况,由于无外部条件时变道的方向一定是从密度高的车道流到密度低的车道,所以考虑用两车道速度差来判断车辆流动方向,类比单车道流入与流出情况,当车道与相邻车道密度差大于0时,应该流出,在方程中体现为一抑制项
,反之则为
,而且两车道相互影响是一样的。所以我们建立
(18)
其中不妨假设
。
下面考虑方程(18)的求解。解(18)时首先考虑最简单的情况,假设两车道上车辆均是匀速行驶,即
,现在我们考虑如何解这个方程组。令方程组的第一个方程分别对
求偏导有
(19)
(20)
将(19),(20)带入原方程组第二个方程有
即
对于解这个方程考虑最简单的道路无限长时,即只需给定初始条件。那么此方程组可写成
考虑消去交叉项
,考虑变换
(21)
那么u导数为
那么原方程可化为
化简得
那么可解得
,其中
、
为待定参数。原始的初始条件为
,
,那么不失一般性还是可以设经过变换后初始条件为
,
,注意这里的
与
实际上是原
、
经过变换(21)得到的。
解得
,
,所以方程通解为
再对变换(21)进行逆变换
得到
注意这里的
是变换后的,而不是原始的。
同理可得到v的表达式,这即是双车道模型的解,即车道密度的表达式。下面我们研究有流入和流出的双车道模型。在之前几节我们研究了无流入与流出情况下可变道的双车道模型,结合在单车道时的研究思路,接下来将研究可以流入流出的双车道。假设一车道有通向外界的出入口,而另一车道只能通过变道到此车道才能出入。同时不失一般性,可以假设只有流出情况,因为流入可以看作负向的流出。那么结合单车道有流出的车辆守恒方程把原模型(18)改写为
其中
均为大于零常数。
那么考虑最简单的车辆速度为常数以及道路长度接近无限情况,其实方程与上一节非常类似,只多了
项,所以可以用同样的方法处理,首先将(21)中的一式中的v消去,并考虑初始条件有
(22)
首先考虑不包含第二类流出的情况,即
,那么,对方程(22)施加变换(21),同理可得
解得
,考虑变换后的初始条件
即可解出
从而得到
,经过逆变换得到
5. 总结
在本研究中,我们成功建立了包含流入和流出的单车道和双车道交通流模型,并通过求解相关的一阶非线性偏微分方程,深入探讨了交通流中的一些关键特性,特别是关于交通拥堵的形成和缓解机制。以下是我们研究的主要结论。
5.1. 单车道模型的建立与分析
我们发现,在无流出的单车道模型中,车辆密度的增加会导致交通流速的下降,从而可能引发交通拥堵。这一发现与现实世界的交通拥堵现象相吻合。引入流出机制后,我们观察到流出项能有效减缓车辆密度的增长,从而抑制激波(即交通拥堵)的产生。这一结果表明,合理规划出口和交通流的分散对于缓解交通拥堵具有重要意义。
5.2. 双车道模型的建立与分析
在双车道模型中,我们考虑了车辆在两个车道之间的流动,发现车辆倾向于从密度较高的车道流向密度较低的车道,这一现象在实际交通中普遍存在。我们进一步发现,通过调整车道间的流入和流出参数,可以有效地控制和优化交通流,减少拥堵的发生。
5.3. 数学理论的应用
本研究利用偏微分方程的理论,为交通流建模提供了一种新的数学工具,这不仅有助于理解交通流的动态行为,也为交通管理和规划提供了理论支持。通过数学模型的分析,我们能够预测在不同交通条件下可能出现的交通流变化,这对于设计更有效的交通控制策略具有实际应用价值。
5.4. 未来研究方向
尽管本研究在理论和模型方面取得了一定的成果,但仍需进一步研究以考虑更多实际因素,如不同车型、交通信号控制、以及非常规交通事件(如事故或道路施工)对交通流的影响。我们建议未来的研究可以探索更多关于交通流模型的稳定性和鲁棒性的问题,以及如何将这些模型应用于实际的智能交通系统设计中。
通过这些结论,我们期望能够为交通工程领域的研究者和实践者提供新的视角和工具,以更有效地应对日益复杂的交通挑战。此外,该研究可作为偏微分方程课程教学中的一个具体案例,对提升学生数学建模的能力和水平、激发学生的学习兴趣有重要的价值。
基金项目
本文受中国矿业大学(北京)教学改革项目资助(项目编号:J230701)。