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
Application of Stone-Weierstrass Theorem
6
$\begingroup$
real-analysis
-
0To write $\LaTeX$, just enclose the code in dollar signs. No need for the backticks—they'll just escape everything. – 2012-05-20
-
0Thanks a lot, my first time here, been searching how to get the typesetting right. Thanks again. – 2012-05-20
-
3Hint: $f(x)(x^n+x^{n+2})=[f(x)(1+x^2)]x^n$. – 2012-05-20
-
0@KWO No trouble at all. Hope you enjoy it here! – 2012-05-20
1 Answers
2
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.
-
1Got it, thanks a lot. – 2012-05-20
-
0I've added the details. – 2012-05-20
-
0A bit of comment, actually when we have $\int_0^1 f(x)x^{2k} \ dx =0$, then the problem is already solved, as the polynomial of the form $a_0+a_2 x^2 +\cdots +a_{2n}x^{2n}$ is dense in $C([0,1])$. – 2012-05-20
-
0If you know this version of Stone-Weierstrass or if you write how you deduced it (for example using composition) it's an alternative way. – 2012-05-20
-
0I think we just need to check that the set of polynomial in this form form an algebra, it contains the function $x\rightarrow 1$ and that it separate points, then the Stone Weierstrass Theorem will apply and the results followed. Important thing is that in [0,1], $x^{2n}$ is injective. Thanks again for your help, greatly appreciate it. – 2012-05-20
-
0*thinks that his approach is better > – 2012-05-20
-
0It works and this approach is indeed better. I confused Stone-Weierstrass theorem with Weierstrass (density of the polynomial, which is a particular case). – 2012-05-20