Schwarz function
From specialfunctionswiki
Define $\varphi(x)=\lfloor x \rfloor + \sqrt{x-\lfloor x \rfloor}$, where $\lfloor \cdot \rfloor$ denotes the floor function and let $M>0$. The Schwarz function $S \colon (0,M) \rightarrow \mathbb{R}$ is defined by $$S(x)=\displaystyle\sum_{k=0}^{\infty} \dfrac{\varphi(2^k x)}{4^k}.$$
Properties
Theorem: Let $M>0$. The Schwarz function is continuous on $(0,M)$.
Proof: █
Theorem: Let $M>0$. The Schwarz function is nowhere differentiable on a dense subset of $(0,M)$.
Proof: █
