Convex Cost Functions and Equilibrium Existence

Introduces convex link cost functions, the Beckmann potential, and the existence theorem that guarantees a Wardrop user equilibrium whenever link costs are continuous and nondecreasing.

Step 1 of 157%

Tutorial

Convex Link Cost Functions

A link cost function ca(xa)c_a(x_a) is convex on [0,)[0,\infty) if, for every x,y0x,y\geq 0 and every λ[0,1],\lambda \in [0,1],

ca(λx+(1λ)y)λca(x)+(1λ)ca(y).c_a(\lambda x + (1-\lambda)y) \leq \lambda \, c_a(x) + (1-\lambda)\, c_a(y).

When cac_a is twice differentiable, an equivalent (and easier) test is

ca(xa)0for all xa0.c_a''(x_a) \geq 0 \quad \text{for all } x_a \geq 0.

Convexity matters for traffic assignment because it turns the equilibrium problem into a convex optimization problem.

The BPR latency function

ta(xa)=ta0(1+α(xaca)β)t_a(x_a) = t_a^0\left(1 + \alpha \left(\frac{x_a}{c_a}\right)^\beta\right)

is convex on [0,)[0,\infty) whenever β1.\beta \geq 1. Differentiating twice,

ta(xa)=ta0αβ(β1)caβxaβ20.t_a''(x_a) = \frac{t_a^0\, \alpha\, \beta(\beta-1)}{c_a^{\beta}}\, x_a^{\beta-2} \geq 0.

For instance, with t0=10,t_0 = 10, α=0.15,\alpha = 0.15, c=100,c = 100, and β=4,\beta = 4,

t(x)=100.15431004x20,t''(x) = \frac{10 \cdot 0.15 \cdot 4 \cdot 3}{100^4}\, x^2 \geq 0,

so this BPR latency is convex.

navigate · Enter open · Esc close · ⌘K/Ctrl K toggle