6
$\begingroup$

Let $f:[0,1]\rightarrow \mathbb{R} $ be an integrable function with $\int_{0}^{1}f(x)dx=\int_{0}^{1}xf(x)dx=1$.
Prove that $\int_{0}^{1}f(x)^2dx\geq 4$.

I got that $\int_{0}^{1}F(x)dx=F(0)$, but I don't think it's useful at all.

  • 0
    What is $F$ exactly?2017-02-10
  • 0
    A primitive of $f$.2017-02-10
  • 0
    Ah, the last identity doesn't depend on the constant chosen, got it.2017-02-10
  • 1
    The idea is the following. Pick some constants $a,b$. Then $\int_0^1 (ax+b)f(x)dx=a+b$. Then use Cauchy-schwarz. Choose the constants that give you the inequality you want.2017-02-10
  • 0
    I obtained the inequality desired. Thank you very much, @Michael. Though, how did you come with the idea to use those constants?2017-02-10
  • 1
    Well, as soon as I saw that you know $\int f(x) dx$ and you want an inequality for $\int f^2(x) dx$, I knew that you should probably use Cauchy-Schwarz. Also, probably you should use that $\int xf(x)=1$. I think its natural to use the linearity of the integral in order to combine these information and then use Cauchy-Schwarz.2017-02-10

2 Answers 2

16

I would begin with

$$\int_0^1 dx \left [f(x) - (a x+b) \right ]^2 \ge 0 $$

for any $a,b \in \mathbb{R}$. Expand the integrals and use the info provided to get that

$$\int_0^1 dx \, f(x)^2 \ge 2 a+2 b - \frac13 a^2-a b-b^2 $$

I would then maximize the expression on the right. Let the expression on the RHS be $g(a,b)$.

We may maximize by taking derivatives of $g(a,b)$ wrt $a$ and $b$ and setting them equal to zero. We then get a system of equations

$$2 a + 3 b = 6$$ $$a+2 b=2$$

which implies that $a=6$ and $b=-2$. Note that $g_{aa} g_{bb} - g_{ab}^2 = \frac13 \gt 0$ and $g_{aa} = -\frac23 \lt 0$, so the critical point we found is indeed a maximum. It is then easy to verify that $g(6,-2)=4$.

7

Observe that $\int_{0}^{1}f(x)g(x)\mathrm{d}x$ defines an inner product on the space of square-integrable functions on $[0,1].$ If $\int_{0}^{1}f(x)^{2}\mathrm{d}x=+\infty,$ then it is certainly at least 4, so we may restrict to this case. Now observe that if $f(x)=a+bx,$ then $\int_{0}^{1}f(x)^{2}\mathrm{d}x=a^{2}+ab+b^{2}/3,$ and $$\int_{0}^{1}f(x)\mathrm{d}x=a+b/2,\quad\int_{0}^{1}xf(x)\mathrm{d}x=a/2+b/3.$$ Now if $f$ is a general square-integrable function, it must be of the form $a+bx+g(x),$ where $g(x)$ is orthogonal to $1$ and $x$ with respect to this inner product, i.e., $\int_{0}^{1}g(x)\mathrm{d}x=\int_{0}^{1}xg(x)\mathrm{d}x=0.$ Then we have that \begin{align*}\int_{0}^{1}f(x)^{2}\mathrm{d}x&=\int_{0}^{1}(a+bx)^{2}+2(a+bx)g(x)+g(x)^{2}\mathrm{d}x\\&=\int_{0}^{1}(a+bx)^{2}+g(x)^{2}\mathrm{d}x\\&\geq \int_{0}^{1}(a+bx)^{2}\mathrm{d}x=a^{2}+ab+b^{2}/3.\end{align*}

Solving the system of equations $a+b/2=1,$ $a/2+b/3=1,$ we get that $a=-2$ and $b=6,$ so we have that $\int_{0}^{1}f(x)^{2}\mathrm{d}x\geq 4.$

  • 1
    You've made a small mistake..it's $b^2$, not $b^3$...thus you'll obtain the inequality I wanted to prove.2017-02-10
  • 1
    Fixed. Thanks! I knew something was off...2017-02-10