Abstract:The family of functions, we investigate in this article, was originally introduced by <a class="link-external link-http" href="http://A.Denjoy" rel="external noopener nofollow">this http URL</a> and later rediscovered by R Tichy and J. Uitz. We denote the functions of the family by $g_{\lambda}(x),$ where $\lambda\in(0,1)$. The definition will be given in the following section. The most famous function of the family is the Minkiowski question-mark function. As we would see, it corresponds to $\lambda=\frac12$. All functions of the family are continuous, strictly increasing and map the segment $[0,1]$ onto itself. Moreover, they are singular i.e. $\forall \lambda$ the derivative $g'_{\lambda}(x),$ if exists, can take only two values: 0 and $+\infty.$ In this paper we consider two functions of the class which correspond to $\lambda$ equals $\frac{\sqrt5-1}2$ or $1-\frac{\sqrt5-1}2.$ The aim of this paper is to prove some theorems about essential conditions on x such that if the condition holds then the derivative $g'_{\lambda}(x)$ exists and has determined value. The constants used in our theorems are non-improvable.
Our paper is wirtten in Russian. However Introduction and the formulation of main results are written in English.
What problem does this paper attempt to address?
The problem that this paper attempts to solve is about the conditions for the existence of derivatives of two specific functions in the Denjoy - Tichy - Uitz function family. Specifically, the author studies whether the derivatives of these functions exist under certain conditions and their values when the parameter \(\lambda\) takes the values of \(\frac{\sqrt{5}-1}{2}\) and \(1 - \frac{\sqrt{5}-1}{2}\).
### Core Problem of the Paper
The main objective of the paper is to prove some theorems and determine, for a given \(x\), under what conditions the derivative \(g'_{\lambda}(x)\) exists, and if it exists, whether its value is \(0\) or \(+\infty\). To achieve this goal, the author introduces two key sequences \(S_{\phi}(x)\) and \(S_{\tau}(x)\) and uses them to describe the existence and value of the derivative.
### Main Results
1. **Theorem 1**:
- If for a real number \(x = [0; a_1, a_2,\ldots]\), the following inequality is satisfied:
\[
\limsup_{t\rightarrow\infty}\frac{S_{\phi}^{(2t)}(x)}{t}=\kappa^{\text{sup}}(x)<\kappa_1 = 4,
\]
then the derivative \(g'_{\phi^{-1}}(x)\) exists and is equal to \(+\infty\).
- For any positive number \(\delta\), there exists an irrational number \(y = [b_1, b_2,\ldots]\) such that:
\[
\lim_{t\rightarrow\infty}\frac{S_{\phi}^{(2t)}(y)}{t}<\kappa_1+\delta\quad\text{and}\quad g'_{\phi^{-1}}(y) = 0.
\]
2. **Theorem 2**:
- There exists a computable constant \(\kappa_2\approx13.06\). If for a certain real number \(x = [0; a_1, a_2,\ldots]\), the following inequality is satisfied:
\[
\liminf_{t\rightarrow\infty}\frac{S_{\phi}^{(2t)}(x)}{t}=\kappa^{\text{inf}}(x)>\kappa_2,
\]
then the derivative \(g'_{\phi^{-1}}(x)\) exists and is equal to \(0\).
- For any positive number \(\delta\), there exists an irrational number \(y = [b_1, b_2,\ldots]\) such that:
\[
\lim_{t\rightarrow\infty}\frac{S_{\phi}^{(2t)}(y)}{t}>\kappa_2-\delta\quad\text{and}\quad g'_{\phi^{-1}}(y)=+\infty.
\]
3. **Theorem 3**:
- If all partial quotients \(a_i\) are less than or equal to 2, then the derivative \(g'_{\phi^{-1}}(x)\) exists and is equal to \(+\infty\).
- There exists a quadratic irrational number \(y\) whose all partial quotients are less than or equal to 3 and \(g'_{\phi^{-1}}(y) = 0\).
4. **Theorem 4**:
Theorems 1, 2, and 3 also hold for the function \(g_{\tau}(x)\), where \(S_{\phi}^{(t)}(x)\) is replaced by \(S_{\tau}(x)\)