Title: Mathematical Background
1 Trail course Variational Inequalities
- Chapter 2
- Mathematical Background
- Karel Lindveld
- Delft University of Technology
- Faculty of Civil Engineering and Geo Sciences
- Transportation Planning and Traffic Engineering
Section
2Contents of chapter 2 presentation outline
- The VIP and related problems
- Definitions
- Related problems
- Optimization problems
- (CP, SE)
- Fixed point problems
- Existence and uniqueness results
- Solution algorithms for VIPS
- The general iterative scheme
- Specific instances of the general iterative
scheme - The diagonalisation method
- The projection method, modified projection method
- The Frank-Wolfe method for constrained
optimisation
3Remark
- Chen last sentence on page page 36 is an
understatement
4VI (1) Are u and c matrices or vectors?
From a mathematical point of view u and c only
have vector properties
Chen matrix form for u (convenient notation)
But potentially misleading !
Easy to re-write u as a vector
5VI (2) Matrices with vector properties
Dependency of c on u
Multiplication not explicitly denoted
6VI (3) inner products
Apparently our VIs are formulated in terms of
inner products on
7VI (4) Inner products define cones
The set
Is the cone of vectors that have an obtuse angle
with c
x
8Vector subtraction
9Equivalent problems and special case
10NLP (1)
11NLP (2) equivalence
Minimisation problem
12Positive (semi) definiteness and convexity
Consider the second order Taylor series
approximation of f
Theorem H(x) is positive semi-definite for x in
S ? f is convex
13Convexity gives uniqueness
Then
14Positive semidefiniteness and ellipsoid forms
Connection with quadratic forms Let A be
symmetric (note a Hessian is always symmetric),
then A can be reduced to diagonal form by a
unitary coordinate transform (that is
rotations and mirrorings)
With respect to this coordinate system the
quadratic form
becomes
which is an ellipse
Therefore if the Hessian of F at a point is psd,
then F is locally ellipse-shaped
15Convexity and monotonicity
16Relationship between function levels
Symmetry check level
17Levels in user optimum and system optimum
18Solution methods for VIPs
- General iterative algorithm
- cant solve VIP directly, but can solve NLPs
- How can this help ???
- Assume cost has asymmetric Jacobian, so cant be
recast as NLP - Answer construct sequence of auxiliary VIPs
- each VIP has symmetric Jacobian, and corresponds
to NLP - solution of previous VIP is a parameter for next
one - make sure that sequence of solutions to auxiliary
VIPs (I.e. NLPs) solves the original VIP - How to construct this sequence?
- See Chen
19The diagonalisation method
Apply F with one argument fixed, one variable
Jacobian symmetric, can therefore formulate VIP
as NLP problem
20The projected gradient method
See Chen
Note that
Check that
21Solution methods for NLP problems
(see Bazaraa)
Constrained minimisation problems NLPs
Unconstrained minimisation problems
Constrained minimisation problems NLPs with
linear constraints
Penalty and barrier functions Methods of
feasible directions . gradient
projection
Newtons method BFGS Trust-region methods
Frank-Wolfe
22Solution methods for VIPs
Original VIP problem
Sequence of auxiliary NLP problems
Sequence of Linear programming problems (Shortest-
path problem)
23Discussion, questions