Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. It's 100% free, no registration required.

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

Consider the function $$ f(x)=\sum_{n=1}^{\infty}\frac{(nx)}{n^2} $$ where $(x)$ denotes the fractional part of $x$. What are the points of discontinuity of $f$, and show they form a countable dense set and is $f$ Riemann-integrable on any bounded interval? I need hint for this one, not home work just solving problem for revision.

share|cite|improve this question
If x is not zero,f(x)=$x\Sigma_1^\infty \frac{1}{n} \to \infty$,so the set of discontinuous points of f are $\mathbb{R}$ \ ${0}$ – 89085731 Apr 25 '12 at 7:26
@Gingerjin: I think $(nx)$ is suppose to be "fractional part" and so in $[0,1)$. If so the sum is less than $\pi^2/6$ – Henry Apr 25 '12 at 7:32
Hint: start by considering rational and irrational $x$ – Henry Apr 25 '12 at 7:34
@Henry His format seems a little dubious.Can you edit it for me?Thannks. – 89085731 Apr 25 '12 at 10:52
up vote 3 down vote accepted

Denote $$ \varphi_k(x)=\frac{(kx)}{k^2}\qquad f_n(x)=\sum\limits_{k=1}^n \varphi_k(x) $$ Obviously for all $x\in\mathbb{R}$ we have $\varphi_k(x)\geq 0$ hence the sequence $\{f_n(x):n\in\mathbb{N}\}\subset \mathbb{R}_+$ and nondecreasing. Also we may notice that $$ 0\leq \varphi_k(x)\leq\frac{1}{k^2}. $$ Since $\sum\limits_{k=1}^\infty k^{-2}<+\infty$ then by Weierstrass $M$-test we conclude that $\{f_n:n\in\mathbb{N}\}$ uniformly converges on $\mathbb{R}$ to the function $$ f(x)=\lim\limits_{n\to\infty}f_n(x)=\sum\limits_{k=1}^\infty \varphi_k(x) $$ Denote $D_k=\{m/k:m\in\mathbb{Z}\}$, then $\mathbb{I}=\mathbb{R}\setminus\mathbb{Q}=\mathbb{R}\setminus(\cup_{k\in\mathbb{N}} D_k)$. Since $D_k$ is the set of dicontinuiuty of $\varphi_k$, then $\varphi_k\in C(\mathbb{I})$. As the consequence $\{f_n:n\in\mathbb{N}\}\subset C(\mathbb{I})$. But as we proved earlier $f_n\rightrightarrows f$ on $\mathbb{R}$, hence $f\in C(\mathbb{I})$. Now we claim that $\mathbb{Q}$ is the set of discontinuity of $f$. Take $x=p/q\in\mathbb{Q}$, then one can easly check that $$ \lim\limits_{t\to x-0}\varphi_k(t)-\varphi_k(x)= \begin{cases} 0& kx\notin\mathbb{Z}\\ \frac{1}{k^2}& kx\in\mathbb{Z} \end{cases}\qquad $$ Since $f_n\rightrightarrows f$ on $\mathbb{R}$ we have $$ \lim\limits_{t\to x-0}f(t)= \lim\limits_{t\to x-0}\sum\limits_{k=1}^\infty \varphi_k(t)= \sum\limits_{k=1}^\infty\lim\limits_{t\to x-0} \varphi_k(t) $$ and consequently $$ \lim\limits_{t\to x-0}f(t)-f(x)= \sum\limits_{k=1}^\infty\lim\limits_{t\to x-0} \varphi_k(t)-\sum\limits_{k=1}^\infty\varphi_k(x)= \sum\limits_{k\in\mathbb{N},kx\in\mathbb{Z}}\frac{1}{k^2}>0. $$ This means that $x$ is a point of discountinuity of $f$. Since $x\in\mathbb{Q}$ is arbitrary $f$ is discontinuous on $\mathbb{Q}$.

Now we turn to Riemann integrability question. Let $[a,b]\subset\mathbb{R}$. Since $f\in C(\mathbb{I})$ and $\mathbb{R}\setminus\mathbb{I}=\mathbb{Q}$ is countable, then $f$ is continuous almost everywhere on $[a,b]$. By Lebesgue criterion $f$ is Riemann itegrable.

share|cite|improve this answer

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.