[论文解读] Continuity of the Effective Path Delay Operator for Networks Based on the Link Delay Model

Han Ke, Terry L. Friesz|arXiv (Cornell University)|Nov 19, 2012

Transportation Planning and Optimization参考文献 13被引用 6

一句话总结

本文在不假设路径流量先验有界的前提下，建立了动态交通网络中链路延迟模型（LDM）下有效路径延迟算子的强连续性。该结果确保了同时路径选择与出发时刻选择动态用户均衡的存在性，并支持动态网络加载与均衡建模中数值算法的收敛性分析。

ABSTRACT

This paper is concerned with a dynamic traffic network performance model, known as dynamic network loading (DNL), that is frequently employed in the modeling and computation of analytical dynamic user equilibrium (DUE). As a key component of continuous-time DUE models, DNL aims at describing and predicting the spatial-temporal evolution of traffic flows on a network that is consistent with established route and departure time choices of travelers, by introducing appropriate dynamics to flow propagation, flow conservation, and travel delays. The DNL procedure gives rise to the path delay operator, which associates a vector of path flows (path departure rates) with the corresponding path travel costs. In this paper, we establish strong continuity of the path delay operator for networks whose arc flows are described by the link delay model (Friesz et al., 1993). Unlike result established in Zhu and Marcotte (2000), our continuity proof is constructed without assuming a priori uniform boundedness of the path flows. Such a more general continuity result has a few important implications to the existence of simultaneous route-and-departure choice DUE without a priori boundedness of path flows, and to any numerical algorithm that allows convergence to be rigorously analyzed.

研究动机与目标

• 在链路延迟模型（LDM）下，建立动态交通网络中有效路径延迟算子的强连续性。
• 消除先前连续性证明中对路径流量先验有界的限制性假设，如Zhu和Marcotte（2000）的研究。
• 在无流量有界性约束的前提下，支持同时路径选择与出发时刻选择动态用户均衡（SRDC-DUE）的存在性。
• 支持动态网络加载与均衡计算中数值算法的严格收敛性分析。
• 在链路通行时间函数（特别是仿射函数）的最小假设下，阐明路径延迟算子的正则性性质。

提出的方法

• 将路径延迟算子形式化为从路径流量率到有效路径延迟的映射，同时纳入通行时间与提前/延迟到达惩罚函数。
• 通过弧出口时间函数与路径延迟的一致收敛性，建立有效延迟算子的收敛性。
• 利用Heine-Cantor定理，确保在紧致时间区间上早期/延迟到达惩罚函数 $\mathcal{F}$ 的一致连续性。
• 通过路径延迟 $D_p(t, h^{(n)})$ 一致收敛于 $D_p(t, h)$，证明有效延迟 $\Psi_p(t, h^{(n)})$ 一致收敛于 $\Psi_p(t, h)$。
• 通过对所有路径求和，在 $[t_0, t_f]$ 上建立 $L^2$ 范数收敛性，从而证明在希尔伯特空间 $(L^2[t_0, t_f])^{| olimits\mathcal{P}|}$ 中的收敛性。
• 将结果扩展至A-连续性，适用于路径流量的弱收敛且具有一致有界性的情形，表明在更弱收敛假设下结果仍具鲁棒性。

实验结果

研究问题

• RQ1 在不假设路径流量先验有界的情况下，有效路径延迟算子在链路延迟模型下是否具有强连续性？
• RQ2 在链路通行时间函数的最小假设下，是否可证明延迟算子的强连续性？
• RQ3 路径流量缺乏先验有界性是否会影响同时路径选择与出发时刻选择动态用户均衡的存在性？
• RQ4 延迟算子的连续性如何支持动态用户均衡数值算法的收敛性分析？
• RQ5 强FIFO、路径流量的一致有界性与延迟算子的连续性之间存在何种关系？

主要发现

• 在链路通行时间函数为仿射函数的LDM下，有效路径延迟算子在 $[t_0, t_f]$ 上的 $L^2$ 范数下具有强连续性。
• 与先前结果（如Zhu和Marcotte，2000）不同，该连续性证明无需预先假设路径流量有界。
• 延迟算子的强连续性是证明同时路径选择与出发时刻选择动态用户均衡存在性的关键。
• 该结果支持关键DUE算法（包括不动点法、下降方向法与投影法）的收敛性分析。
• 在弱收敛且具有一致有界性条件下，也建立了延迟算子的A-连续性，扩展了连续性结果的适用范围。
• 证明依赖于弧出口时间函数的一致收敛性，以及早期/延迟到达惩罚函数 $\mathcal{F}$ 的一致连续性。