Transportation theory From Wikipedia, the free encyclopedia
(Redirected from Transportation problem)
Jump to: navigation, search
In mathematics and economics, transportation theory is a name given to the study of optimal transportation and allocation of resources. The problem was formalized by the French mathematician Gaspard Monge in 1781^{[1]}. Major advances were made in the field during World War II by the Soviet/Russian mathematician and economist Leonid Kantorovich^{[2]}. Consequently, the problem as it is now stated is sometimes known as the Monge–Kantorovich transportation problem.
Contents 
1 Motivation

1.1 Mines and factories

1.2 Moving books: the importance of the cost function

2 Abstract formulation of the problem

3 Solution of the problem

3.1 Optimal transportation on the real line

3.2 Separable Hilbert spaces

4 See also

5 References

//
[edit] Motivation [edit] Mines and factories
Suppose that we have a collection of n mines mining iron ore, and a collection of n factories which consume the iron ore that the mines produce. Suppose for the sake of argument that these mines and factories form two disjoint subsets M and F of the Euclidean plane R^{2}. Suppose also that we have a cost function c : R^{2} × R^{2} → [0, ∞], so that c(x, y) is the cost of transporting one shipment of iron from x to y. For simplicity, we ignore the time taken to do the transporting. We also assume that each mine can supply only one factory (no splitting of shipments) and that each factory requires precisely one shipment to be in operation (factories cannot work at half or doublecapacity).
Having made the above assumptions, a transport plan is a bijection — i.e. an arrangement whereby each mine supplies precisely one factory . We wish to find the optimal transport plan, the plan T whose total cost
is the least of all possible transport plans from M to F.
The following simple example illustrates the importance of the cost function in determining the optimal transport plan. Suppose that we have n books of equal width on a shelf (the real line), arranged in a single contiguous block. We wish to rearrange them into another contiguous block, but shifted one bookwidth to the right. Two obvious candidates for the optimal transport plan present themselves:

move all n books one bookwidth to the right; ("many small moves")

move the leftmost book n bookwidths to the right and leave all other books fixed. ("one big move")
If the cost function is proportional to Euclidean distance (c(x, y) = α x − y) then these two candidates are both optimal. If, on the other hand, we choose the strictly convex cost function proportional to the square of Euclidean distance (), then the "many small moves" option becomes the unique minimizer.
Interestingly, while mathematicians prefer to work with convex cost functions, economists prefer concave ones. The intuitive justification for this is that once goods have been loaded on to, say, a goods train, transporting the goods 200 kilometres costs much less than twice what it would cost to transport them 100 kilometres. Concave cost functions represent this economy of scale.
[edit] Monge and Kantorovich formulations
The transportation problem as it is stated in modern or more technical literature looks somewhat different because of the development of Riemannian geometry and measure theory. The minesfactories example, simple as it is, is a useful reference point when thinking of the abstract case. In this setting, we allow the possibility that we may not wish to keep all mines and factories open for business, and allow mines to supply more than one factory, and factories to accept iron from more than one mine.
Let X and Y be two separable metric spaces such that any probability measure on X (or Y) is a Radon measure (i.e. they are Radon spaces). Let be a Borelmeasurable function. Given probability measures μ on X and ν on Y, Monge's formulation of the optimal transportation problem is to find a transport map that realizes the infimum
where T _{*} (μ) denotes the push forward of μ by T. A map T that attains this infimum (i.e. makes it a minimum instead of an infimum) is called an "optimal transport map".
Monge's formulation of the optimal transportation problem can be illposed, because sometimes there is no T satisfying T _{*} (μ) = ν: this happens, for example, when μ is a Dirac measure but ν is not).
We can improve on this by adopting Kantorovich's formulation of the optimal transportation problem, which is to find a probability measure γ on that attains the infimum
where Γ(μ,ν) denotes the collection of all probability measures on with marginals μ on X and ν on Y. It can be shown^{[3]} that a minimizer for this problem always exists when the cost function X is lower semicontinuous and Γ(μ,ν) is a tight collection of measures (which is guaranteed for Radon spaces X and Y). (Compare this formulation with the definition of the Wasserstein metric W_{1} on the space of probability measures.)
[edit] Duality formula
The minimum of the Kantorovich problem is equal to
where the supremum runs over all pairs of bounded and continuous functions and such that
[edit] Optimal transportation on the real line
For , let denote the collection of probability measures on that have finite pth moment. Let and let c(x,y) = h(x − y), where is a convex function.

If μ has no atom, i.e., if the cumulative distribution function of μ is a continuous function, then is an optimal transport map. It is the unique optimal transport map if h is strictly convex.

We have
[edit] Separable Hilbert spaces
Let X be a separable Hilbert space. Let denote the collection of probability measures on X such that have finite pth moment; let denote those elements that are Gaussian regular: if g is any strictly positive Gaussian measure on X and g(N) = 0, then μ(N) = 0 also.
Let , , c(x,y) =  x − y  ^{p} / p for , p ^{− 1} + q ^{− 1} = 1. Then the Kantorovich problem has a unique solution κ, and this solution is induced by an optimal transport map: i.e., there exists a Borel map such that
Moreover, if ν has bounded support, then
for μalmost all
for some locally Lipschitz, cconcave and maximal Kantorovich potential φ. (Here denotes the Gâteaux derivative of φ.) 