Arithmetic on self-similar sets (Q783653)

Let \(K_1\) and \(K_2\) be one-dimensional homogeneous self-similar sets generated by two iterated function systems of the form \(\{f_i (x) = \lambda x + a_i\}_{i=1}^n\) and \(\{g_i (x) = \lambda x + b_i\}_{i=1}^n\), respectively, where \(0<\lambda<1\) and \(a_i,b_i\in \mathbb{R}\). Let \(U\subset\mathbb{R}\) be open and \(f\) a continuous functions on \(U\). Define the continuous image of \(f\) by \[ f_U(K_1,K_2) :=\{f(x,y) : (x,y)\in (K_1\times K_2)\cap U\}. \] The authors give a sufficient condition on the partial derivatives of \(f\) which guarantees that the set \(f_U(K_1,K_2)\) has a nonempty interior.