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

Postby skullturf » Thu Jan 15, 2015 8:17 pm UTC

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

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

Re: Seeking reference or proof for an integral inequality

Postby jestingrabbit » Thu Jan 15, 2015 11:49 pm UTC

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.

User avatar
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

Postby WibblyWobbly » Fri Jan 16, 2015 12:24 am UTC

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

Postby Moole » Fri Jan 16, 2015 4:16 am UTC

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.

User avatar
Xanthir
My HERO!!!
Posts: 5215
Joined: Tue Feb 20, 2007 12:49 am UTC
Location: The Googleplex
Contact:

Re: Seeking reference or proof for an integral inequality

Postby Xanthir » Sun Jan 18, 2015 8:42 am UTC

Yeah, I was about to answer the same, but less rigorously. The right side always measures the magnitude at each point; the left side obviously equals the same if it almost always points in the same direction (sufficient), and if it ever points in another direction (on a measure >0 set of points), it will contribute less than its pointwise magnitude to the total magnitude (necessary).
(defun fibs (n &optional (a 1) (b 1)) (take n (unfold '+ a b)))


Return to “Mathematics”

Who is online

Users browsing this forum: No registered users and 12 guests