English

An amusing sequence of functions

History and Overview 2016-10-14 v1

Abstract

We consider the amusing sequence of functions fn:RRf_n: \mathbb{R} \rightarrow \mathbb{R} given by fn(x)=k=1nsin(kπx)k. f_n(x) = \sum_{k=1}^{n}{\frac{|\sin{(k \pi x)}|}{k}}. Every rational point is eventually the location of a strict local minimum of fnf_n: more precisely, fnf_n has a strict local minimum in all rational points x=p/qQx=p/q \in \mathbb{Q} with qn|q| \leq \sqrt{n}.

Keywords

Cite

@article{arxiv.1610.04090,
  title  = {An amusing sequence of functions},
  author = {Stefan Steinerberger},
  journal= {arXiv preprint arXiv:1610.04090},
  year   = {2016}
}
R2 v1 2026-06-22T16:19:49.721Z