- Let $\,\mathrm{f}:\left[0,1\right] \to \mathbb{R}_{+}$ be a continous function for which exists $c\in \mathbb{R}$, such that $$\int_{0}^{1}\mathrm{f}\left(x\right)x^{k}\,\mathrm{d}x = c^{k}\,,\qquad k\in {0,1\ldots n}$$
- Prove that $c\in \left[0,1\right]$.
- If $\,\mathrm{g}:\left[0,1\right] \to \mathbb{R}$ is continuous, find $\int_{0}^{1}\mathrm{f}\left(x\right)\mathrm{g}\left(x\right)\mathrm{d}x$.
I tried using Mean Value Theorem.
a) First, as $f$ is continuous, $f$ is bounded, ie $|f(x)|\leq M$ for all $x\in [0,1]$. Then $$|\int_0^1 f(t)t^kdt|\leq M\int_0^1t^kdt=\frac{M}{k+1}$$, we get that $c^k\to 0$, hence $|c|<1$. (and $c\in [0,1[$ as $f\geq 0$)
b) For any polynomial $P(x)=a_0+\cdots+a_s x^s$, we get immediately that $\int_0^1f(t)P(t)dt=P(c)$.
c) Let $g$ a continuous function. By the Stone-Weiertrass theorem, there exist a sequence of polynomials $P_n$ converging uniformly to $g$ on $[0,1]$. Then $f(t)P_n(t)\to f(t)g(t)$ uniformly, and we get that $\int_0^1f(t)P_n(t)dt\to \int_0^1f(t)g(t)dt$, as as the first integral is $P_n(c)$, and that $c\in [0,1]$, we have $\int_0^1f(t)g(t)dt=g(c)$.
d) Now take $g(t)=f(t)[t-c[$. Then $g$ is continous, ansd we have $\int_0^1f(t)^2[t-c|dt=0$. This show that $f(t)^2|t-c|=0$, $f(t)=0$ for $t\not =c$, and by continuity, for all $t$. Hence $c^k=0$ for $k\geq 1$, and $c=0$, $f=0$.