2
$\begingroup$

Let $f$ be Lebesgue measurable, and $\int_a^b x^\alpha f(x) = 0$ for every $\alpha\ge 0$.

How do I show that $f(x)=0 ~ a.e.$

and if the condition change "$\alpha\ge 0$" to "$\alpha\ge k$ for some $k\ge 1$", if the statement is also true?

  • 0
    Shouldn't there be a $dx$ or a $df(x)$ in your integral?2012-12-16

1 Answers 1

1

For $f$ a polynomial, both cases should be true. In the first case, by the linearity of integration, we have $\int f p = 0$ for any $p \in \mathbb{R}[x]$, in particular $\int f^2 = 0$ giving that $f^2 \equiv 0$ and the result.

In the second case, we have $\int f p = 0$ for any $p$ with lowest term $x^k$. In particular we have $\int f^2 x^{2n} = 0$, for some $n \gg 0$, so same trick applies.

For general $f$, I think polynomials are dense in $L^1$, from which the result should follow, namely if $f_i \in \mathbb{R}[x]$ $\rightarrow f$, we have $0 = \int (x^{2n})f_i f \rightarrow \int (x^{2n}) f^2$.

  • 0
    @MarianoSuárez-Alvarez really? I remember that I got less points in a test when I omitted it...2012-12-18