2
$\begingroup$

Assume f is a bounded continuous function on $\mathbf{R}$ and $X$ is a random variable with distribution $F$. Assume for all $x \in \mathbf{R}$ that $$ f(x) = \int_\mathbf{R}f(x+y)F(dy) $$

Please help conclude that $f(x+s) = f(x)$ where $s$ is any value in the support of $F$. The hints that I have come across are to use Martingale theory and consider $\{ X_n\}$ to be i.i.d. with distribution $F$ and make a martingale with some function of $S_n = \sum_{j=1}^nX_j$.

Thanks!

  • 0
    Welcome to math.SE: since you are new, I wanted to let you know a few things about the site. In order to get the best possible answers, it is helpful if you say in what context you encountered the problem, and what your thoughts on it are; this will prevent people from telling you things you already know, and help them give their answers at the right level. Also, many find the use of imperative ("Prove", "Solve", etc.) to be rude when asking for help; please consider rewriting your post.2012-12-07
  • 0
    What is `s`? $ $2012-12-07
  • 0
    s is any value in the support of F. Also, some thoughts, we can consider i.i.d. random variables with the same distribution as F, and look at their sum.2012-12-07
  • 0
    Please include this in your question and follow the other advices in my comment.2012-12-07
  • 2
    Hint: Let $M_n=f(x+S_n)$. Then $(M_n)$ is a martingale (right?), bounded (right?). Which theorem(s) do you know about bounded martingales, which you could apply here?2012-12-07
  • 0
    How is $M_n$ a martingale? I see that $E(M_{n+1}|\mathcal{F}_n) = E(f(x+S_n+X_{n+1})|\mathcal{F}_n)$. How can we then break up the expectation?2012-12-07
  • 0
    By using the hypothesis displayed in your question.2012-12-07
  • 0
    Any success with the hint?2012-12-08
  • 0
    So, because $x+S_n$ is measurable in $\mathcal{F}_n$ we can just treat it like a constant say $s$, so our conditional expectation becomes $$E(f(x+S_n+X_{n+1}))|\mathcal{F}_n) = E(f(s+ X_{n+1})) = f(s) = f(x+S_n) = M_n $$ Hence it is a bounded (by $f$ being bounded) martingale. Now, I am not sure what theorem to use for bounded martingales. Don't we know that $M_n$ converges to some random variable in $L_1$? Does this help us? Thank!2012-12-09
  • 0
    The two first equal signs in the identity in your last comment are wrong.2012-12-09

1 Answers 1