Take the 2-minute tour ×
MathOverflow is a question and answer site for professional mathematicians. It's 100% free, no registration required.

Hanner's inequalities in the theory of $L^p$ spaces (see http://en.wikipedia.org/wiki/Hanner's_inequalities) look hard to come-up with at the first glance. Their proof (say, the one in Lieb & Loss "Analysis", Theorem 2.5.) gives no intuition (at least for me) how they come about. How does one see that these inequalities turn up naturally? Do you know a proof which at the same time hints to how one starts considering Hanner inequalities. I hope this is not too vague of a question. Both Wikipedia and Lieb & Loss mention that Hanner's inequalities have to do with uniform convexity of $L^p$ spaces, but from that alone I cannot see how they arise "naturally".

share|improve this question

1 Answer 1

up vote 5 down vote accepted

First, a probably unsatisfactory answer to your first question. I believe that Hanner proved his inequalities because he was investigating the modulus of convexity of $L^p$. So possibly he formed a guess on whatever basis, saw that guess would be correct if what have come to be known as Hanner's inequalities were true, then found that he could prove the inequalities. (I haven't actually looked at Hanner's paper so I might be wrong about the history, and in any case this is the kind of thought process that is seldom recorded in papers.)

A better answer is that Hanner's inequalities generalize the parallelogram identity in a very natural way.

As for your second question, I don't know that this really fits what you're asking for either, but this paper contains the most natural-looking proof of Hanner's inequalities that I've seen.

Added: On further reflection, the best answer to the first question combines my first two paragraphs above. The parallelogram identity very precisely expresses the uniform convexity of $L^2$. So in investigating the modulus of convexity of $L^p$, it is natural to look for some inequality that generalizes the parallelogram identity to $L^p$.

share|improve this answer
1  
Evidently I missed that reference when I wrote my Hanner-less proof of uniform convexity of $L^p$ (arxiv.org/abs/math.FA/0502021 and dx.doi.org/10.1090/S0002-9939-06-08366-3). Thanks for pointing it out. –  Harald Hanche-Olsen Jun 10 '10 at 18:18

Your Answer

 
discard

By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.