Volume inequality between projections of a convex symmetric set in $\mathbb R^3$ - MathOverflow most recent 30 from http://mathoverflow.net 2013-05-20T05:55:25Z http://mathoverflow.net/feeds/question/86246 http://www.creativecommons.org/licenses/by-nc/2.5/rdf http://mathoverflow.net/questions/86246/volume-inequality-between-projections-of-a-convex-symmetric-set-in-mathbb-r3 Volume inequality between projections of a convex symmetric set in $\mathbb R^3$ Andreas Thom 2012-01-20T18:58:48Z 2012-01-21T07:00:12Z <p>Let $K$ be a centrally symmetric convex body in $\mathbb R^3$ with volume ${\rm vol}(K)=1$. For any subset $F \subset \lbrace1,2,3\rbrace$, let $K_F$ be the projection of $K$ in $\mathbb R^F$. </p> <blockquote> <p><strong>Question:</strong> What is the best constant $C$, such that</p> <p>$${\rm vol}(K_{\lbrace 1 \rbrace}) \leq C \cdot {\rm vol}(K_{\lbrace 1,2 \rbrace}) \cdot {\rm vol}(K_{\lbrace 1,3 \rbrace}).$$</p> </blockquote> <p>Here, the volume of $K_F$ is computed in $\mathbb R^F$. With some work one can prove that $C=2$ is good enough. This is elementary and follows for example from two applications of Lemma 3.1 in </p> <p>J. Bourgain and V.D. Milman, New volume ratio properties for convex symmetric bodies in $\mathbb R^n$, Invent. Math. 1987 vol. 88 (2) pp. 319-340.</p> <p>My guess is that maybe $C=1$ works, but I am not sure.</p> http://mathoverflow.net/questions/86246/volume-inequality-between-projections-of-a-convex-symmetric-set-in-mathbb-r3/86276#86276 Answer by Anton Petrunin for Volume inequality between projections of a convex symmetric set in $\mathbb R^3$ Anton Petrunin 2012-01-21T01:47:34Z 2012-01-21T02:15:16Z <p>We can exchange the condition $\mathop{\rm vol}K=1$ to ${\rm vol}K_{\lbrace 1 \rbrace}=1$. In this case we need to show that $$\mathop{\rm vol}K\leqslant C\cdot \mathop{\rm vol}K_{\lbrace 1,2 \rbrace} \cdot \mathop{\rm vol}K_{\lbrace 1,3 \rbrace}.$$ The later is equivalent to the following: $$\int\limits_0^1 u{\cdot}v{\cdot}dx\leqslant C\cdot \int\limits_0^1 u{\cdot}dx\cdot\int\limits_0^1 v{\cdot}dx\ \ \ \ \ (*)$$ for two positive convave functions $u,v\colon[0,1]\to\mathbb R$. WLOG we can assume that both functions are PL and both bave $0$ at $0$ andat $1$. Further we can assume that $$\int\limits_0^1 u{\cdot}dx=\int\limits_0^1 v{\cdot}dx=1. \ \ \ \ \ (**)$$ We can move extremal points of $u$ and $v$ one by one keeping the identity $( * * )$ and increasing LHS of $( * )$. This way we may reduce number of extremal points in $u$ and $v$; the process might terminate if you get one or two extremal point in each.</p> <p>It seems that $$u=v=2-4\cdot|x-\tfrac 12|$$ is the worst case. So $C=\tfrac43$ is the best constant. </p> http://mathoverflow.net/questions/86246/volume-inequality-between-projections-of-a-convex-symmetric-set-in-mathbb-r3/86278#86278 Answer by Will Sawin for Volume inequality between projections of a convex symmetric set in $\mathbb R^3$ Will Sawin 2012-01-21T02:30:39Z 2012-01-21T07:00:12Z <p>Picking up from anton's answer, notice that by Cauchy-Schwartz:</p> <p>$\int_0^1 u \cdot v \cdot dx \leq \sqrt{ \int_0^1 u^2 \cdot dx \cdot \int_0^1 v^2 \cdot dx}$</p> <p>So a bound in the case $u=v$ is sufficient. We wish to show:</p> <p>$\int_0^1 u^2 dx \leq C \left( \int_0^1 u dx\right)^2$</p> <p>Fix a triangle with the same average value of $u$, and that attains its maximum over the same $x$-coordinate. If $u$ is equal to that triangle, a trivial calculation gives a value of $C$ of $4/3$. We want to show that it not being a triangle makes $\int u^2$ no bigger. In fact, letting $t$ be the triangle, we have $\int u^2 \leq \int ut\leq \int t^2$.</p> <p>This is because $(t-u)$ is positive closer to the maximum value, and negative further, so $u$ and $t$ are both higher where $(t-u)$ is positive than where it is negative, so $\int u(t-u)\geq 0$, $\int t(t-u)\geq 0$.</p> <p>Therefore $C=4/3$ is a bound, obtained by setting $u$ and $v$ to triangles. One can check that this does indeed come from a polytope in $\mathbb R^3$ - an octahedron, for instance.</p> <p>Edit: This proof isn't quite complete, because the area on one side of the triangle is not necessarily the area on one side of the function. We can remedy this by choosing an unbalanced "triangle" with a discontinuity where the maximum should be, which still satisfies $C=4/3$.</p>