Deje $f(x)$ ser continuamente diferenciable función definida en el intervalo cerrado $[0, 1]$ para los que$$\int_0^1 f(x)\,dx = 0.$$How do I show that$$2 \int_0^1 f(x)^2\,dx \le \int_0^1 |f'(x)|\,dx \cdot \int_0^1 |f(x)|\,dx?$$
Respuestas
¿Demasiados anuncios?
Estoy asumiendo que estos son reales-valores de funciones. Definir$$g(x) = \int_0^x f(t)\,dt,$$and note that$$g(0) = g(1) = 0.$$Integrating by parts,$$\int_0^1 f(x)^2\,dx = g(x)f(x)\big|_0^1 - \int_0^1 g(x)f'(x)\,dx = -\int_0^1 g(x)f'(x)\,dx.$$A straightforward estimate then shows that$$\int_0^1 f(x)^2\,dx \le \sup_{0 \le x \le 1} \left|g(x)\right| \int_0^1 \left|f'(x)\right|\,dx.$$Now, what we have to do is to show that$$\sup_{0 \le x \le 1} \left| g(x)\right| \le {1\over2} \int_0^1 \left|f(x)\right|\,dx.$$Since$$g(x) = \int_0^x f(t)\,dt = -\int_x^1 f(t)\,dt,$$we can say that for all $x \in [0, 1]$, we have$$\left|g(x)\right| \le \min\left(\left|\int_0^x f(t)\,dt\right|,\,\left| \int_x^1 f(t)\,dt\right|\right) \le \min\left( \int_0^x \left|f(t)\right|\,dt,\, \int_x^1 \left|f(t)\right|\,dt\right).$$But the two integrals we are taking the minimum add up to$$\int_0^1 \left|f(t)\right|\,dt.$$If we have $un$, $b > 0$ and $a + b = c$, then $\min(a, b) \le c/2$. We conclude that$$\left|g(x)\right| \le {1\over2} \int_0^1 \left|f(t)\right|\,dt,$$y hemos terminado.
mickep
Puntos
10981
Aquí es un punto de vista ligeramente diferente:
En primer lugar, tomamos nota de que $f(x)=f(0)+\int_0^x f'(t)\,dt$ y por lo tanto (aquí también podemos usar ese $\int_0^1f(x)\,dx=0$) $$ \int_0^1 (f(x))^2\,dx=\int_0^1 f(x)\biggl[f(0)+\int_0^x f'(t)\,dt\biggr]\,dx=\int_0^1\int_0^x f(x)f'(t)\,dt\,dx.\la etiqueta{1} $$ El cambio de orden de integración en el lado derecho de la $(1)$, utilizando el hecho de que $\int_0^1 f(x)\,dx=0$, y, a continuación, cambiar el orden de integración de nuevo, nos encontramos con que $$ \begin{aligned} \int_0^1 (f(x))^2\,dx&=\int_0^1f'(t)\int_t^1 f(x)\,dx\,dt\\ &=-\int_0^1f'(t)\int_0^tf(x)\,dx\,dt\\ &=-\int_0^1\int_x^1f(x)f'(t)\,dt\,dx \end{aligned} $$ Por lo tanto, mediante la adición de estas dos fórmulas, y con el triángulo de la desigualdad, $$ \begin{aligned} 2\int_0^1(f(x))^2\,d&=\biggl|\int_0^1\int_0^x f(x)f'(t)\,dt\,dx-\int_0^1\int_x^1f(x)f'(t)\,dt\,dx\biggl|\\ &\leq \int_0^1\int_0^x |f(x)|\,|f'(t)|\,dt\,dx+\int_0^1\int_x^1|f(x)|\,|f'(t)|\,dt\,dx\\ &=\int_0^1|f(x)|\,dx\cdot\int_0^1|f'(t)|\,dt, \end{aligned} $$ y hemos terminado.
