Multifractal formalism for self-similar measures with weak separation condition

For any self-similar measure μ on satisfying the weak separation condition, we show that there exists an open ball U₀ with μ(U₀)>0 such that the distribution of μ, restricted on U₀, is controlled by the products of a family of non-negative matrices, and hence μ|_U0 satisfies a kind of quasi-product property. Furthermore, the multifractal formalism for μ|_U0 is valid on the whole range of dimension spectrum, regardless of whether there are phase transitions. Moreover the dimension spectra of μ and μ|_U0 coincide for q0. This result unifies and improves many of the recent works on the multifractal structure of self-similar measures with overlaps.