  In this paper, we establish and prove analytical properties of the state
operator embedded in an optimal control problem, in the context of dynamic user
equilibrium (DUE) models (Friesz et al. 1993).
