0
$\begingroup$

Nevermind! I worked it out. This question seems really silly now.


I am working through the proof of the Kantorovich inequality on pages 6 and 7 of the following lecture notes: u.mich optimisation lecture notes There's one step of it that I'm really struggling to understand. Could someone please explain to me how one gets from the RHS of the last identity on page 6 to the first LHS inequality on page 7.

I also have a little difficulty understanding the diagram. My interpretation of the diagram on page 7 is that: For any convex-hull type combination of the points $a_1, a_2,\dots , a_n,$ with weights $\lambda_1, \dots, \lambda_n,$ we can find a $\gamma$ such that $\gamma \frac{1}{a_1} + (1-\gamma)\frac{1}{a_n} > \sum_{i=1}^n \lambda_i\left(\frac{1}{a_i}\right)$.

However, in the problem, aren't we simultaneously trying to ensure that for those same weights $\lambda_i$, that our $\gamma$ is also maximising $\gamma a_1 + (1-\gamma) a_n > \frac{1}{\sum_{i=1}^n \lambda_i\left(\frac{1}{a_i}\right)} $, since, ultimately we're trying to find an upper bound for $\beta$ from the equation on the bottom of page 6?? How does the diagram deal with this latter aspect?

Much thanks in advance!

  • 1
    Please do not deface your question by erasing all its content. I reverted the question to its previous-to-last Edit.2012-09-09
  • 4
    Could you post your answer? There may be others interested in the same question... i.e. me! :)2012-09-09

1 Answers 1

3

This question is bugging me since, as far as I can see, the diagram illustrates that if we define $\gamma$ by $$\sum_{i=1}^n \lambda_i a_i = \gamma {a_1}+(1-\gamma){a_n},$$ then $${1\over \sum_{i=1}^n \lambda_i a_i}\leq \gamma {1\over a_1}+(1-\gamma){1\over a_n},$$ which is true, but not at all useful. We want to show that $$\beta=\left(\sum_{i=1}^n \lambda_i a_i\right)\left(\sum_{i=1}^n \lambda_i/a_i\right)$$ is maximized when all the weight is on $a_1$ and $a_n$. We can prove this directly using induction, by finding a larger value of $\beta$ using fewer points.

If $n>2$, choose any $1

I expect that there is a cleverer, more direct proof but I couldn't find it.