On functions additive with respect to interval filling sequences (Q1102992)

In this paper the authors continue their investigations on functions which are additive with respect to interval filling sequences. An interval filling sequence is, by definition, an interval filling sequence of order 1, see the paper reviewed above (Zbl 0645.10006). For an interval filling sequence \(\{\lambda_n\}^{\infty}_{n=1}\) and for \(x\in [0,L]\) one defines by induction \[ \varepsilon_ n(x)=1\text{ for }\sum^{n-1}_{i=1}\varepsilon_i(x)\lambda_i+\lambda_n\leq 1;\quad \varepsilon_ n(x)=0\text{ for }\sum^{n-1}_{i=1}\varepsilon_i(x)\lambda_ i+\lambda_n>1. \tag{i} \] Then \(x=\sum^{\infty}_{n=1}\varepsilon_n(x)\lambda_n\); this is called the regular representation of \(x\). A function \(F: [0,L]\to \mathbb{R}\) is called additive with respect to \(\{\lambda_ n\}^{\infty}_{n=1}\) if for all \(x\in [0,L]\) one has \(F(x)=\sum^{\infty}_{n=1}\varepsilon_ n(x)F(\lambda_ n)\), with the \(\varepsilon_n(x)\) from (i) and where \(\sum^{\infty}_{n=1}| F(\lambda_n)| <\infty\). The problem is to determine the structure of an additive, continuous and positive function \(F\). Under the extra assumption that the interval filling sequence \(\{\lambda_n\}^{\infty}_{n=1}\) is smooth, which means that there exists a constant \(K\) such that \(\sum^{\infty}_{i=n+1}\lambda_i<K \lambda_n\), for all \(n\in\mathbb{N}\), the authors show that such an \(F\) is of the form \(F(x)=cx\). Also with this extra assumption they prove that a continuous and additive function which is differentiable on a set of positive measure has this form. (In a previous paper they gave an example of a continuous, additive, nowhere differentiable function.) The proofs are clearly presented and easy to follow. However, the paper is not self-contained, results from previous papers are used. Quite a theory on interval filling sequences and additive functions is growing in instalments.