[論文レビュー] 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）の存在を支持すること。
• 動的ネットワークローディングおよび均衡計算における数値アルゴリズムの厳密な収束解析を可能にすること。
• 特に、線形関数としてのリンク通過時間関数に対する最小限の仮定の下で、経路遅延作用素の正則性特性を明確にすること。

提案手法

• 経路流量レートから有効経路遅延への写像として経路遅延作用素を形式化し、通過時間と早期・遅延到着ペナルティ関数を統合する。
• アーク出出口時刻関数および経路遅延の一様収束を用いて、有効遅延作用素の収束を確立する。
• 早期・遅延到着ペナルティ関数 $\mathcal{F}$ のコンパクト時間区間における一様連続性を保証するために、Heine-Cantor定理を用いる。
• 経路遅延 $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、経路流量の一様有界性、および遅延作用素の連続性の間にはどのような関係があるか？

主な発見

• リンク遅延モデルと線形リンク通過時間関数の下で、有効経路遅延作用素は $[t_0, t_f]$ 上の $L^2$ ノルムにおいて強い連続性を有する。
• 従来の結果（例：ZhuとMarcotte, 2000）とは異なり、経路流量の事前有界性を仮定しないで連続性証明が可能である。
• 遅延作用素の強い連続性は、同時経路選択・出発時刻選択動的ユーザ均衡の存在を証明するために不可欠である。
• この結果は、固定点法、勾配方向法、射影法を含む主要なDUEアルゴリズムの収束解析を支援する。
• 弱収束と一様有界性の下でも、遅延作用素のA連続性が確立されており、連続性結果の適用範囲が拡張される。
• 証明は、アーク出出口時刻関数の一様収束および早期・遅延到着ペナルティ関数 $\mathcal{F}$ の一様連続性に依拠している。