Skip to main content
Became Hot Network Question
improved formatting
Source Link
Fei Cao
  • 730
  • 4
  • 15

In my little research project, I faced the following problem: Assume that $\rho$ is a probability density function with support $[0,\infty)$ and mean $\mu >0$. Let $$H[\rho] = \iiint_{y,v,w\geq 0} \rho(v)\rho(w)\rho(y)\left(\frac{|v-y|+|w-y|}{2} - \left|\frac{v+w}{2} -y\right|\right)\,\mathrm{d}v\,\mathrm{d}w\,\mathrm{d}y \,\,(\geq 0) $$ and $$G[\rho] = \iint_{x,y\geq 0} \rho(x)\rho(y)|x-y|\,\mathrm{d}x\,\mathrm{d}y.$$ I am wondering if it is possible to obtain functional inequalities of the form $$H[\rho] \geq f(G[\rho])$$ for some non-negative function $f \colon [0,\infty) \to [0,\infty)$ with $f(0) = 0$. Of course, the best scenario I can hope for is for $f(x) = c\cdot x$ for some $c >0$, but this is might be too good to be true. Thanks for your help!
Edit: taking into account of the answer written by Iosif Pinelis, there is no hope for a non-trivial $f$ if we do not post further restrictions on the pdf $\rho$, I am wondering if we can hope for a non-trivial $f$ (meaning $f$ is not identically zero) if we only look at "smooth" $\rho$.

In my little research project, I faced the following problem: Assume that $\rho$ is a probability density function with support $[0,\infty)$ and mean $\mu >0$. Let $$H[\rho] = \iiint_{y,v,w\geq 0} \rho(v)\rho(w)\rho(y)\left(\frac{|v-y|+|w-y|}{2} - \left|\frac{v+w}{2} -y\right|\right)\,\mathrm{d}v\,\mathrm{d}w\,\mathrm{d}y \,\,(\geq 0) $$ and $$G[\rho] = \iint_{x,y\geq 0} \rho(x)\rho(y)|x-y|\,\mathrm{d}x\,\mathrm{d}y.$$ I am wondering if it is possible to obtain functional inequalities of the form $$H[\rho] \geq f(G[\rho])$$ for some non-negative function $f \colon [0,\infty) \to [0,\infty)$ with $f(0) = 0$. Of course, the best scenario I can hope for is for $f(x) = c\cdot x$ for some $c >0$, but this is might be too good to be true. Thanks for your help!

In my little research project, I faced the following problem: Assume that $\rho$ is a probability density function with support $[0,\infty)$ and mean $\mu >0$. Let $$H[\rho] = \iiint_{y,v,w\geq 0} \rho(v)\rho(w)\rho(y)\left(\frac{|v-y|+|w-y|}{2} - \left|\frac{v+w}{2} -y\right|\right)\,\mathrm{d}v\,\mathrm{d}w\,\mathrm{d}y \,\,(\geq 0) $$ and $$G[\rho] = \iint_{x,y\geq 0} \rho(x)\rho(y)|x-y|\,\mathrm{d}x\,\mathrm{d}y.$$ I am wondering if it is possible to obtain functional inequalities of the form $$H[\rho] \geq f(G[\rho])$$ for some non-negative function $f \colon [0,\infty) \to [0,\infty)$ with $f(0) = 0$. Of course, the best scenario I can hope for is for $f(x) = c\cdot x$ for some $c >0$, but this is might be too good to be true. Thanks for your help!
Edit: taking into account of the answer written by Iosif Pinelis, there is no hope for a non-trivial $f$ if we do not post further restrictions on the pdf $\rho$, I am wondering if we can hope for a non-trivial $f$ (meaning $f$ is not identically zero) if we only look at "smooth" $\rho$.

Source Link
Fei Cao
  • 730
  • 4
  • 15

Trying to bound one functional by another functional

In my little research project, I faced the following problem: Assume that $\rho$ is a probability density function with support $[0,\infty)$ and mean $\mu >0$. Let $$H[\rho] = \iiint_{y,v,w\geq 0} \rho(v)\rho(w)\rho(y)\left(\frac{|v-y|+|w-y|}{2} - \left|\frac{v+w}{2} -y\right|\right)\,\mathrm{d}v\,\mathrm{d}w\,\mathrm{d}y \,\,(\geq 0) $$ and $$G[\rho] = \iint_{x,y\geq 0} \rho(x)\rho(y)|x-y|\,\mathrm{d}x\,\mathrm{d}y.$$ I am wondering if it is possible to obtain functional inequalities of the form $$H[\rho] \geq f(G[\rho])$$ for some non-negative function $f \colon [0,\infty) \to [0,\infty)$ with $f(0) = 0$. Of course, the best scenario I can hope for is for $f(x) = c\cdot x$ for some $c >0$, but this is might be too good to be true. Thanks for your help!