Un complicado integral de la desigualdad

Question

Un amigo se ha presentado este problema para mí:

Deje $0<a<b<1$ $f:[0,1]\to \mathbb R$ ser una función derivable tal que $$\displaystyle \frac{\int_0^a f(x) dx}{a(1-a)}+\frac{\int_b^1 f(x) dx}{b(1-b)}=0$$

Demostrar que $\displaystyle \left| \int_0^1 f(x)dx\right|\leq \left(\frac{b-a}2\right)\sup_{x\in [0,1]}\left|f'(x)+2\normalsize{\frac{\int_0^a f(t) dt}{a(1-a)}}\right|$

No he resuelto aún, pero he hecho algunos avances:

• Desde $\frac{1}{1-a}\left(\frac{1}{a}\int_0^a f(x) dx\right)+ \frac{1}{b}\left(\frac{1}{1-b}\int_b^1 f(x) dx\right)=0$, el Valor medio Teorema de los rendimientos de la existencia de $\xi_a\in[0,a]$ $\xi_b\in[b,1]$ tal que $$bf(\xi_a)+(1-a)f(\xi_b)=0$$ Esto implica $f(\xi_a)$ $f(\xi_b)$ tienen signos opuestos, por lo tanto hay algún $c\in [\xi_a,\xi_b]$ tal que $f(c)=0$.

• Podemos suponer WLOG que $\sup_{x\in [0,1]} |f'(x)|<\infty$ (no hay nada que demuestre lo contrario). Deje $M=\sup_{x\in [0,1]} |f'(x)|$.

Uno puede escribir $$\displaystyle \begin{align}\int_0^1 f(x)dx &= \int_0^a f(x)dx + \int_a^b f(x)dx + \int_b^1 f(x)dx \\ &= \frac{\int_0^a f(x) dx}{a(1-a)} \left( a(1-a) -b(1-b)\right) + \color{red}{\int_a^b f(x)dx} \end{align} $$

Tenga en cuenta que $\displaystyle \color{red}{\int_a^b f(x)dx} = \color{green}{\int_a^b (f(x)-f(a))dx} + \color{blue}{(b-a)f(a)}$.

Desde $f(a) = f(a)-f(c) = f'(\xi_c) (a-c)$,$|f(a)|\leq M |a-c|\leq M$.

El Valor medio Teorema también da $\displaystyle \left| \int_a^b (f(x)-f(a))dx \right| \leq M \int_a^b (x-a) dx = M \frac{(b-a)^2}2$. Poner todo junto, tenemos la estimación $$ \left| \int_0^1 f(x)dx\right|\leq \left(\frac{b-a}2\right) \left[2 \left|\frac{\int_0^a f(x) dx}{a(1-a)}\right| \underbrace{\frac{ \left( a(1-a) -b(1-b)\right)}{b-a}}_{\leq 1} + \color{green}{M (b-a)} +\color{blue}{2M } \right]$$

y nosotros el enlazado $$ \left| \int_0^1 f(x)dx\right|\leq \left(\frac{b-a}2\right)\left(2\normalsize{\frac{\int_0^a f(t) dt}{a(1-a)}} + 3M\right) $$

que no es tan fuerte como lo que se requiere...

---

Nota: este problema es similar a este ser una parte integral de la desigualdad de $|\int\limits_0^1f(x)dx|\leq\frac{1-a+b}{4}M$

He intentado aplicar técnicas similares, pero en vano.

Answer 1

Deje $$\lambda = \frac{\int_0^a f(x)\mathrm{d}x}{a(1-a)}= -\frac{\int_b^1 f(x)\mathrm{d}x}{b(1-b)}.$$ Set $g(x) = f(x)+2\lambda x - \lambda$. Observe que $$\int_0^a g(x)\mathrm{d}x = \int_0^a f(x)\mathrm{d} x + \lambda a^2 - \lambda a = \lambda a (1-a) + \lambda a ^2 - \lambda a = 0.$$ Similarly, we obtain $$\int_b^1 g(x)\mathrm{d}x = 0.$$

Ahora el lado izquierdo de la desigualdad se convierte en $$\left|\int_0^1 \left(g(x) - 2\lambda x + \lambda\right) \mathrm{d}x\right| = \left|\int_0^1 g(x) \mathrm{d}x \right|,$$ mientras que el lado derecho se convierte en $$\frac{b-a}{2}\cdot \sup_{0 \le x\le 1}|g'(x)|.$$

De hecho, se han reformulado el problema en términos de $g$. Tenga en cuenta que la respuesta para Probar un integrante de la desigualdad $\left|\int_0^1f(x)dx\right|\le\frac{1−a+b}{4}\sup_{0\le x \le 1}|f'(x)|$ realidad demuestra una declaración más fuerte, y es exactamente lo que necesitamos.

Answer 2

Considere la función $$ g(t) = \int_0^tf(x)dx + \frac{t(1-t)}{b(1-b)}\int_{b}^1f(x)dx.$$ Differentiating twice gives $$g^{\prime\prime}(t) = f^\prime(t) - \frac{2}{b(1-b)}\int_{b}^1f(x)dx = f^\prime(t) + \frac{2}{a(1-a)}\int_{0}^af(x)dx .$$ The required inequality is then equivalent to proving that $$|g(b)| \leq \frac{b-a}{2}\sup_{x\in[0,1]}|g^{\prime\prime}(x)|. $$ However, since $g(a)=g(1)=0$ we can do this. Clearly we have that $$|g(b)| \leq (b-a) \sup_{x\in[a,b]}|g^\prime(x)|$$ from mean value theorem and so all we need to do now is prove that $$\sup_{x\in[a,b]}|g^\prime(x)| \leq \frac{1}{2}\sup_{x\in[a,b]}|g^{\prime\prime}(x)|.$$ Define another function $h(t)=g((1-a)t+a)$, this is twice differentiable with $h(0)=h(1)=0.$ For each point $x\in(0,1)$, using Taylor's theorem twice, there exists $c_x\in(0,x)$ and $d_x\en (x,1)$ such that $$h^\prime(t) = h^{\prime\prime}(c_x)\frac{(c_x-x)^2}{2} -h^{\prime\prime}(d_x)\frac{(d_x-x)^2}{2} $$ Therefore, $$ |h^\prime(t)| \leq \sup_{x\in[0,1]}|h^{\prime\prime}(x)|\left(\frac{t^2}{2} + \frac{(1-t)^2}{2}\right) \leq \frac{1}{4}\sup_{x\in[0,1]}|h^{\prime\prime}(x)|.$$ Hence we have $$ |g^\prime(t)|\leq \frac{1-a}{4}\sup_{x\in[a,1]}|g^{\prime\prime}(x)|.$$ Esto nos da la desigualdad.