10
$\begingroup$

11 years ago, I asked this question. Now I have a new question:

Let $F(x)$ be nonnegative and integrable on $[0,a]$ and such that $$\left(\int_{0}^{t}F(x)dx\right)^2\ge\int_{0}^{t}F^3(x)dx$$ for every $t$ in $[0,a]$. Prove or disprove the following conjecture: $$\dfrac{a^3}{12}\ge\int_{0}^{a}|F(x)-\frac{1}{2}x|^2dx$$

My attemp: Using macavity methods it seems we cannot solve this problem.

We need show $$\int_{0}^{a}F^2(x)\le\int_{0}^{a}xF(x)dx$$

if we use the same methods.

$$G_t = \int_0^t F dx \le \left( \int_0^t F^{3} dx \right)^{\frac{1}{3}} \cdot \left( \int_0^t 1 dx \right)^{\frac{2}{3}} = \left( \int_0^t F^{3} dx \right)^{\frac{1}{3}} \cdot t^{\frac{2}{3}} \le {G_t}^{\frac{2}{3}}\cdot t^{\frac{2}{3}} \quad \implies \sqrt{G_t} \le t, $$ so $G_{t}\le t^2$. I think this step can't following, because we must have $G_{t}\le\dfrac{t^2}{2}$, since $F(x)=x$, so $G_{t}=\dfrac{t^2}{2}$.

$\endgroup$
4
  • $\begingroup$ I mean when $F(x)=x$ then $=$. $\endgroup$ Commented Apr 12 at 23:18
  • $\begingroup$ Could you improve the phrasing of the last sentence? I was unable to understand what you meant there. $\endgroup$ Commented Apr 13 at 0:06
  • $\begingroup$ What are macavity methods? Asking for a friend … $\endgroup$ Commented Apr 22 at 14:02
  • 2
    $\begingroup$ @Aruralreader Use your rustic skills to dig his or her cavity, I suppose. (On a serious note, OP is referring to user macavity's answer.) $\endgroup$ Commented Apr 22 at 14:24

1 Answer 1

3
+25
$\begingroup$

Here is a start, mimicking Macavity method. I prove that for all $t\in[0,a]$, $G_t\le \frac 12t^2$.

Proof: Note $k=\max_t\frac{G_t}{t^2}$. For all $t\in[0,a]$, we have $$\int_0^t x^2F(x)\,\mathrm dx\le\left(\int_0^tx^3\,\mathrm dx\right)^{2/3}\left(\int_0^tF^3(x)\,\mathrm dx\right)^{1/3}\le \frac 1{4^{2/3}}t^{8/3}G_t^{2/3}$$ but by definition of $k$ we also have $$\int_0^t x^2F(x)\,\mathrm dx\ge\int_0^t\frac{G_x}kF(x)\,\mathrm dx=\frac{1}{2k}G_t^2$$ Therefore we have $$G_t^{4/3}\le \frac{k\,t^{8/3}}{2^{1/3}}\iff G_t\le\frac{k^{3/4}t^2}{2^{1/4}}$$

Since this inequality holds for all $t\in[0,a]$ we have $$\frac{k^{3/4}}{2^{1/4}}\ge k\iff k\le \frac 12$$


This is not enough to prove your objective: we get $$\int_0^axF(x)\,\mathrm dx\ge \int_0^a\sqrt{2G_x}F(x)\,\mathrm dx=\frac{2\sqrt 2}3G_t^{3/2}$$ and this inequality is optimal for $F(x)=x$, so we have to improve the upper bound on $\displaystyle\int_0^a F^2(x)\,\mathrm dx$.

I wonder if we can reduce the case to nondecreasing $F$, with $A_y=\{x\in[0,a]:F(x)\le y\}$ and $\tilde{F}(x)=\sup\{y:\mu(A_y)\le x\}$, so that $\int_0^a F^{\alpha}(x)\,\mathrm dx=\int_0^a \tilde{F}^{\alpha}(x)\,\mathrm dx$.

$\endgroup$

You must log in to answer this question.

Start asking to get answers

Find the answer to your question by asking.

Ask question

Explore related questions

See similar questions with these tags.