Take the 2-minute tour ×
Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. It's 100% free, no registration required.

Suppose that $f$ and $g$ are two non negative real valued functions defined on a measure space $(X,\mu)$.

Let $0<p<\infty$. Holder's inequality says that $\int fg d\mu\le \|f\|_p \|g\|_q$ where $\frac{1}{p}+\frac{1}{q}=1$ with equality iff $a f^p=b g^q$ for some constants $a$ and $b$.

So, in general, $\int fg d\mu=\|f\|_p \|g\|_q- x$ and that $x=0$ iff $a f^p=b g^q$ for some constants $a$ and $b$.

My question is, is there a way to find $x$? (apart from $x=\|f\|_p \|g\|_q-\int fg d\mu$)

share|improve this question
2  
If you don't want $x = \|f\|_p\|g\|_q - \langle f,g\rangle$, what sort of expressions are you after? –  Willie Wong Jun 5 '12 at 7:34
    
Don't you mean $1\leq p \leq\infty$? –  AD. Jun 5 '12 at 8:50
    
I am looking for an equality involving $\|f\|_p \|g\|_q$ and $\int fg d\mu$. –  Kumara Jun 5 '12 at 8:51
    
@Kumara Do you wish to improve Hölder's inequality somehow? –  AD. Jun 5 '12 at 9:01
1  
This can be helpful to you. –  leo Jun 6 '12 at 14:52
show 5 more comments

1 Answer

up vote 1 down vote accepted

Though the thread linked by @leo has an excellent discussion of the equality case, I'd like to add an estimate for the quantity $x=\|f\|_p\|g\|_q-\langle f,g\rangle$ introduced above. The estimate is due to J.M. Aldaz, and it applies only in the reflexive range $1<p<\infty$. By exchanging $p$ and $q$ we may assume $1<p\le 2$. It is also convenient to normalize $\|f\|_p=1=\|g\|_q$. In this case, $$\frac{1}{q}\left\| |f|^{p/2}-|g|^{q/2} \right\|_2^2 \le 1-\int|fg|\le \frac{1}{p}\left\| |f|^{p/2}-|g|^{q/2} \right\|_2^2$$ The lower bound is of most interest (it gives the equality case), but it's also neat that the upper bound is the same when $p=q=2$. The proof is based on the corresponding refinement of Young's inequality: $$ \frac{1}{q}(u^{p/2}-v^{q/2})^2\le \frac{u^p}{p}+\frac{v^q}{q}-uv\le \frac{1}{p}(u^{p/2}-v^{q/2})^2 $$ which holds for all $u,v\ge 0$ and $1<p\le 2$, with $q$ being the conjugate exponent.

share|improve this answer
add comment

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.