Kantorovich Inequality

In mathematics, the Kantorovich inequality is a particular case of the Cauchy-Schwarz inequality, which is itself a generalization of the triangle inequality.

The triangle inequality states that the length of two sides of any triangle, added together, will be equal to or greater than the length of the third side. In simplest terms, the Kantorovich inequality translates the basic idea of the triangle inequality into the terms and notational conventions of linear programming. (See vector space, inner product, and normed vector space for other examples of how the basic ideas inherent in the triangle inequality--line segment and distance--can be generalized into a broader context.)

More formally, the Kantorovich inequality can be expressed this way:

Let
Let
Then
\begin{align} & {} \qquad \left( \sum_{i=1}^n p_ix_i \right ) \left (\sum_{i=1}^n \frac{p_i}{x_i} \right) \\ & \leq \frac{(a+b)^2}{4ab} \left (\sum_{i=1}^n p_i \right )^2 -\frac{(a-b)^2}{4ab} \cdot \min \left\{ \left (\sum_{i \in X}p_i-\sum_{j \in Y}p_j \right )^2\,:\, {X \cup Y=A_n},{X \cap Y=\varnothing} \right\}. \end{align}

The Kantorovich inequality is used in convergence analysis; it bounds the convergence rate of Cauchy's steepest descent.

Equivalents of the Kantorovich inequality have arisen in a number of different fields. For instance, the Bunyakovsky inequality, the Wielandt inequality, and the Cauchy–Schwarz inequality are equivalent to the Kantorovich inequality and all of these are, in turn, special cases of the Hölder inequality.

The Kantorovich inequality is named after Soviet economist, mathematician, and Nobel Prize winner Leonid Kantorovich, a pioneer in the field of linear programming.

Famous quotes containing the word inequality:

    “The doctrine of equality!... But there exists no more poisonous poison: for it seems to be preached by justice itself, while it is the end of justice.... “Equality for equals, inequality for unequals”Mthat would be the true voice of justice: and, what follows from it, “Never make equal what is unequal.””
    —Friedrich Nietzsche (1844–1900)