Separation Conditions for Iterated Function Systems with Overlaps on Riemannian Manifolds

We formulate the weak separation condition and the finite type condition for conformal iterated function systems on Riemannian manifolds with nonnegative Ricci curvature, and generalize the main theorems by Lau et al. (Monatsch Math 156:325–355, 2009). We also obtain a formula for the Hausdorff dimension of a self-similar set defined by an iterated function system satisfying the finite type condition, generalizing a corresponding result by Jin and Yau (Commun Anal Geom 13:821–843, 2005) and Lau and Ngai (Adv Math 208:647–671, 2007) on Euclidean spaces. Moreover, we obtain a formula for the Hausdorff dimension of a graph self-similar set generated by a graph-directed iterated function system satisfying the graph finite type condition, extending a result by Ngai et al. (Nonlinearity 23:2333–2350, 2010).