Iterated function systems, representations, and Hilbert space

This paper studies a general class of Iterated Function Systems (IFS). No contractivity assumptions are made, other than the existence of some compact attractor. The possibility of escape to infinity is considered. Our present approach is based on Hilbert space, and the theory of representations of the Cuntz algebras O_n, n=2,3,.... While the more traditional approaches to IFS's start with some equilibrium measure, ours doesn't. Rather, we construct a Hilbert space directly from a given IFS; and our construction uses instead families of measures. Starting with a fixed IFS S_n, with n branches, we prove existence of an associated representation of O_n, and we show that the representation is universal in a certain sense. We further prove a theorem about a direct correspondence between a given system S_n, and an associated sub-representation of the universal representation of O_n.Comment: 22 pages, 3 figures containing 7 EPS graphics; LaTeX2e ("elsart" document class); v2 reflects change in Comments onl

Commuting self-adjoint extensions of symmetric operators defined from the partial derivatives

We consider the problem of finding commuting self-adjoint extensions of the partial derivatives {(1/i)(\partial/\partial x_j):j=1,...,d} with domain C_c^\infty(\Omega) where the self-adjointness is defined relative to L^2(\Omega), and \Omega is a given open subset of R^d. The measure on \Omega is Lebesgue measure on R^d restricted to \Omega. The problem originates with I.E. Segal and B. Fuglede, and is difficult in general. In this paper, we provide a representation-theoretic answer in the special case when \Omega=I\times\Omega_2 and I is an open interval. We then apply the results to the case when \Omega is a d-cube, I^d, and we describe possible subsets \Lambda of R^d such that {e^(i2\pi\lambda \dot x) restricted to I^d:\lambda\in\Lambda} is an orthonormal basis in L^2(I^d).Comment: LaTeX2e amsart class, 18 pages, 2 figures; PACS numbers 02.20.Km, 02.30.Nw, 02.30.Tb, 02.60.-x, 03.65.-w, 03.65.Bz, 03.65.Db, 61.12.Bt, 61.44.B