Mathematics Asked on November 2, 2021
This question originates from Folland’s problem 2.25. In this problem, first given $f(x)=x^{-1/2}$ when $0<x<1$, and $0$ otherwise.Then consider $g(x)=sum_{n}2^{-n}f(x-r_{n})$, where sequence $r_{n}$ is the all the rational number. Then it requires us to prove $g$ is integrable, discontinuous everywhere and unbounded on every interval. We need to show that discontinuity and unboundedness hold even removing a Lebesgue null set.
While I can show $g$ is integrable(thus finite a.e.),unboundedness on every interval. I have doubts about why $g$ is finite a.e. Consider any irrational number $x$, there always exist a sequence of $r_{n}$ such that $x-r_{n}<3^{-2n}$, so that $2^{-n}f(x-r_{n})>(3/2)^{n}$. This shows the unboundedness of $g$, however since this holds for any irrational number,this function should not be finite a.e. as $sum_{n}(3/2)^{n}=infty$ for every irrational number $x$, thus not finite a.e.
I know there must be something wrong in my argument, but I can’t spot it. Can anyone tell what is the problem?
The problem with your argument is your $r_n$ is different from the $r_n$'s in the definition of $g$. You have to arrange all rationals in a sequence $(r_n)$ once and for all before defining $g$.
Answered by Kavi Rama Murthy on November 2, 2021
Get help from others!
Recent Answers
Recent Questions
© 2024 TransWikia.com. All rights reserved. Sites we Love: PCI Database, UKBizDB, Menu Kuliner, Sharing RPP