On the derivative of iterations of the Minkowski question mark function at special points (Q2154787)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | On the derivative of iterations of the Minkowski question mark function at special points |
scientific article |
Statements
On the derivative of iterations of the Minkowski question mark function at special points (English)
0 references
15 July 2022
0 references
The Minkowski question mark function (``nomen est omen'') was first introduced by \textit{H. Minkowski} [Verh. d. 3. intern. Math.-Kongr. Heidelb., 164--173 (1905; JFM 36.0281.01)]. If the unique continued fraction for \(x\in (0,1), x\not\in\mathbb{Q}\) is given by \[ x=[a_1a_2,\ldots,a_n,\ldots],\ a_j\in\mathbb{Z}_{+}, \] then the question mark function \(?(x)\) can be given by \[ ?(x)=\sum_{k=1}^{\infty}\,\frac{(-1)^{k+1}}{2^{a_1+\cdots a_k-1}},\ x\text{ irrational}. \] For \(x\in (0,1), x\) rational, the continued fraction is \[ x=[a_1,\ldots,a_t+1]=[a_1,\ldots a_t,1] \] and the function becomes \[ ?([a_1,\ldots,a_t+1])=?([a_1,\ldots a_t,1])=\sum_{k=1}^{t}\,\frac{(-1)^{k+1}}{2^{a_1+\cdots a_k-1}}. \] These formulae were introduced by \textit{A. Denjoy} [C. R. Acad. Sci., Paris 194, 44--46 (1932; Zbl 0003.31204); J. Math. Pures Appl. (9) 17, 105--151 (1938; Zbl 0018.34602)] and \textit{R. Salem} [Trans. Am. Math. Soc. 53, 427--439 (1943; Zbl 0060.13709)]. The author now focuses on the \(n\) times iterated function \[ f_n(x)=?(?(?(\ldots ?(x))\ldots), \] and looks for points \(x_0\) with \(f_n'(x)=0\), in order to study the fixed points of the question mark function \(?(x)=x\). This approach comes from the following result in the paper \textbf{Proposition 1.} If for every rational number \(p/q\in [0,1]\) one has \[ \lim_{n\rightarrow\infty}\,f_n\left(\frac{p}{q}\right)=A,\text{ where }A\in\{0,\frac{1}{2},1\}, \] then there exist exactly five fixed points of \(?(x)\) in the interval \([0,1]\). Introducing the set \(M\) (irrational numbers, such that for all \(x_0\in M\) and for all \(n\in\mathbb{Z}_{+}\) one has \(f_n'(x_0)=0\)) by concatenating sets of continued fraction entries, the main result is \textbf{Theorem 1.} The set \(M\) has the properties (i) for all \(x\in M\), we have \(?'(x)=0\). (ii) for all \(x\in M\), we have \(?(x)\in M\). The layout of the paper is as follows: \S1. Introduction \(2\) pages). \S2. Main result (\(1\frac{1}{2}\) pages). \S3. Notation and preliminaries (\(2\) pages). \S4. Proof of the main result (\(5\) pages). References (\(13\) items).
0 references
continued fractions
0 references
derivative
0 references
Minkowski question mark function
0 references