¿Existe $a < c < b$ donde $\int_a^b (b - x)^n f^{(n + 1)}(x)\,dx = {{f^{(n + 1)}(c)}\over{n + 1}}(b - a)^{n + 1}$?

Question

Que $\tilde{a} < a < b < \tilde{b}$y que $n$ ser un entero no negativo. Supongamos que $f(x)$ es una función real-valued en $(\tilde{a}, \tilde{b})$ $(n + 1)$-veces continuamente diferenciable en $(\tilde{a}, \tilde{b})$.

Mi pregunta es la siguiente. Necesariamente existe un $a < c < b$ tal que % $ $$\int_a^b (b - x)^n f^{(n + 1)}(x)\,dx = {{f^{(n + 1)}(c)}\over{n + 1}}(b - a)^{n + 1}?$

Answer 1

Puesto que $f$ $(n+1)$ veces continuamente diferenciables en $(\tilde{a},\tilde{b})$, $f^{(n+1)}$ es continua en $(\tilde{a},\tilde{b})$. Por el teorema del valor medio para integrales, uno tiene %#% $ #%

Answer 2

Si $F(x)$ $G(x)$ $n + 1$- veces continuamente diferenciable en a$(\tilde{a}, \tilde{b})$$F^{(k)}(a) = G^{(k)}(a)$$0 \le k \le n$$G^{(k)}(x) \neq 0$$x \in (a, b)$$1 \le k \le n$, podemos aplicar el caso generalizado del valor medio teorema $n + 1$ veces para obtener $a < c_{n + 1} < c_n < \ldots < c_1 < b$ tal que\begin{align*} & {{F(b) - F(a)}\over{G(b) - G(a)}} = {{F'(c_1)}\over{G'(c_1)}} \\ & = {{F'(c_1) - F'(a)}\over{G'(c_1) - G'(a)}} = {{F^{\prime\prime}(c_2)}\over{G^{\prime\prime}(c_2)}} \\ & = \ldots \\ & = {{F^{(k)}(c_k) - F^{(k)}(a)}\over{G^{(k)}(c_k) - G^{(k)}(a)}} = {{F^{(k + 1)}(c_{k + 1})}\over{G^{(k + 1)}(c_{k + 1})}} \\ & = \ldots \\ & = {{F^{(n)}(c_n) - F^{(n)}(a)}\over{G^{(n)}(c_n) - G^{(n)}(a)}} = {{F^{(n + 1)}(c_{n + 1})}\over{G^{(n + 1)}(c_{n + 1})}}.\end{align*}ahora Podemos aplicar esto a las funciones$$F(x) = \int_{t = a}^x (x - t)^n f^{(n + 1)}(t)\,dt$$and $G(x) = (x - a)^{n + 1}$. By induction on $k$ for $0 \le k \le n$ we get$$F^{(k)}(x) = n(n - 1) \ldots (n - k + 1) \int_{t = a}^x (x - t)^{n - k} f^{(n + 1)}(t)\,dt,$$because when $0 \le k < n$, according to the chain rule the differentiation of$$n(n - 1) \ldots (n - k + 1) \int_{t = a}^x (x - t)^{n - k} f^{(n + 1)}(t)\,dt$$with respect to $x$ rendimientos

1. el valor de$$n(n - 1) \ldots (n - k + 1)(x - t)^{n - k}f^{(n + 1)}(t)$$at $t = x$ by the fundamental theorem of calculus (which is $0$) más
2. $$n(n - 1) \ldots (n - k + 1) \int_{t = a}^x {d\over{dx}}\left((x - t)^{n - k} f^{(n + 1)}(t)\right)\,dt = F^{(k + 1)}(x).$$

Por otra parte,$$F^{(n + 1)}(x) = n!\, f^{(n + 1)}(x),$$because$$F^{(n)}(x) = n! \int_{t = a}^x f^{(n + 1)}(t)\,dt.$$Clearly, $F^{(k)}(un) = 0$ for $0 \le k \le n$ and$$G^{(k)}(x) = (n + 1)n \ldots (n - k + 2)(x - a)^{n + 1 - k}$$for $0 \le k \le n + 1$ so that $G^{(k)}(un) = 0$ for $0 \le k \le n$ and $G^{(k)}(x) \neq 0$ for $a < x < b$ and $0 \le k \le n$. Thus we can find $ < c = c_{n + 1} < b$ such that$${{F(b) - F(a)}\over{G(b) - G(a)}} = {{F^{(n + 1)}(c_{n + 1})}\over{G^{(n + 1)}(c_{n + 1})}},$$which is the same as$${{\int_a^b (b - x)^n f^{(n + 1)}(x)\,dx}\over{(b - a)^{n + 1}}} = {{f^{(n + 1}(c)}\over{n + 1}}.$$