## Seeking reference or proof for an integral inequality

For the discussion of math. Duh.

Moderators: gmalivuk, Moderators General, Prelates

skullturf
Posts: 556
Joined: Thu Dec 07, 2006 8:37 pm UTC
Location: Chicago
Contact:

### Seeking reference or proof for an integral inequality

I asked this last night on math.stackexchange, but people ask a lot of questions there of varying quality, and I think questions sometimes get lost in the shuffle.

I thought posting the same question here might be useful. It seems like the type of thing people here would find interesting.

It's an inequality, but what I'm much more interested in is not the fact that the inequality is true, but whether I am correct about the necessary and sufficient conditions for the inequality to be an equality.

http://math.stackexchange.com/questions ... inequality

jestingrabbit
Factoids are just Datas that haven't grown up yet
Posts: 5967
Joined: Tue Nov 28, 2006 9:50 pm UTC
Location: Sydney

### Re: Seeking reference or proof for an integral inequality

I'd say the easiest proof would be to assume that there are different directions on sets of positive measure, and then find a lower bound for the amount of cancellation that implies.

I'd expect that maybe Ahlfors would have something, but its a bit of a mission to find stuff in.
ameretrifle wrote:Magic space feudalism is therefore a viable idea.

WibblyWobbly
Can't Get No
Posts: 506
Joined: Fri Apr 05, 2013 1:03 pm UTC

### Re: Seeking reference or proof for an integral inequality

This seems similar to something I was reading recently on Hölder's Inequalities. One such page was talking about the conditions under which Hölder is an equality, and they derived conditions very similar to what you're proposing, but in the slightly alternate form. Unfortunately, I can't find that paper now; one that seems to be on the same path is here. I don't think it's precisely what you're looking for, but perhaps it will be of some use?

Moole
Posts: 93
Joined: Sun Jan 08, 2012 9:52 pm UTC

### Re: Seeking reference or proof for an integral inequality

I posted an answer over on math.stackexchange; the crucial observation here is that we can rewrite the left side of your inequality as the dot product of a unit vector and the integral of f (where those two vectors are necessarily in the same direction), and that the dot product of a unit vector and another vector is always less than the latter's absolute value; that is, we can modify the inequality to hold pointwise meaning it obviously holds globally.
Mathematical hangover (n.): The feeling one gets in the morning when they realize that that short, elementary proof of the Riemann hypothesis that they came up with at midnight the night before is, in fact, nonsense.

Xanthir
My HERO!!!
Posts: 5336
Joined: Tue Feb 20, 2007 12:49 am UTC