On distribution functions of ξ(3/2)ⁿ mod 1 (Q4345844)

Let \(\varphi:[0,1]\to [0,1]\) be a function such that \(\varphi^{-1}([0,x])\) can be expressed as a union of finitely many pairwise disjoint subintervals \(I_i\subset [0,1]\) with endpoints \(\alpha_i(x)\leq\beta_i(x)\). Given a distribution function \(g(x)\), define \(g_\varphi=\sum_i\left (g(\beta_i(x))-g(\alpha_i(x))\right )\). The author uses this transform with \(\varphi(x)\) either equal to \(f(x)=2x\pmod{1}\) or \(g(x)=3x\pmod{1}\), and he proves: (1) that every distribution function \(g(x)\) of the sequence \(\xi\cdot(3/2)^n\pmod{1}\) satisfies the functional equation \(g_f(x)=g_h(x)\) for all \(x\in[0,1]\); (2) if \(v,w\) are two distribution functions of the above sequence with \(v_f(x)=w_h(x)\) for \(x\in[0,1]\) and simultaneously \(v(x)=w(x)\) for \(x\) running over the union of any two intervals of the union \([0,1/3]\cup [1/3,2/3]\cup [2/3,1]\), then \(v(x)=w(x)\) for all \(x\in[0,1]\); (3) an integral criterion for continuous distribution functions \(g\) to satisfy \(g_f=g_h\) on \([0,1]\); (4) a description of absolutely continuous solutions \(g\) of functional equations of the form \(g_h=g_1\) and \(g_h=g_2\) with given absolutely continuous distribution functions \(g_1\) and \(g_2\). The paper concludes with a section of examples related to the proved results.