[Math] Application of Stone-Weierstrass Theorem

real-analysis

Suppose that $f \colon [0,1] \rightarrow \mathbb{R}$ is a continuous function on $[0,1]$ with $$\int_0^1 f(x)\ dx = \int_0^1 f(x)(x^n+x^{n+2})\ dx$$ for all $n=0,1,2, \dots$. Show that $f\equiv 0$. Can someone help me with this question? Is this one of the questions where we apply the Stone-Weierstrass Theorem? Thanks

Best Answer

Using the relation, we get $\int_0^1f(x)dx$, letting $n\to +\infty$. Indeed $$\left|\int_0^1f(x)dx\right|\leq \max_{0\leq t\leq 1}|f(t)|\int_0^1(x^n+x^{n+2})dx=\max_{0\leq t\leq 1}|f(t)|\left(\frac 1{n+1}+\frac 1{n+3}\right).$$

By induction, we deduce that $\int_0^1f(x)x^{2k}dx=0$ for $k\geq 0$ and that $\int_0^1f(x)x^{2k+1}dx=(-1)^k\int_0^1f(x)xdx$. We get $\int_0^1xf(x)dx=0$ letting $k$ going to $+\infty$, then that $\int_0^1f(x)dx=0$.

So what we got is that $\int_0^1f(x)x^k=0$ for all $k\geq 0$, and Stone-Weierstrass applies.

Related Question