Dorin Ervin Dutkay,Palle E.T. Jorgensen
Abstract: In this paper, we study a class of quasi-invariant measures on paths generated by discrete dynamical systems. Our main result characterizes the subfamily of these measures which admit a certain desintegration. This is a desintegration with respect to a random walk Markov process which is indexed by the starting point of the paths. Our applications include wavelet constructions on Julia sets of rational maps on the Riemann sphere.
What problem does this paper attempt to address?
The problem that this paper attempts to solve is about the disintegration of quasi - invariant measures generated by discrete dynamical systems on path spaces. Specifically, the authors studied a class of measures generated by discrete dynamical systems on path spaces, and their main results characterized a sub - family of these measures that can be disintegrated in a certain way. This disintegration is with respect to a random walk Markov process indexed by the starting points of paths.
### Specific Problem Description
1. **Measures on Path Spaces**: The authors considered measures on path spaces generated by discrete dynamical systems. The path space \(X_{\infty}\) is a space composed of a sequence of points \((x_{0}, x_{1},\ldots)\), where each point \(x_{n + 1}\) satisfies \(r(x_{n+1})=x_{n}\), here \(r:X\rightarrow X\) is a finite - to - one continuous endomorphism.
2. **Quasi - Invariant Measures**: They focused on the quasi - invariant measures \(\hat{\mu}\) on these path spaces, that is, measures satisfying the following condition:
\[
d(\hat{\mu}\circ\hat{r}) = V\circ\theta_{0}\,d\hat{\mu}
\]
where \(\hat{r}\) is the natural extension mapping on the path space, \(\theta_{0}\) is the projection from the path space to the initial space \(X\), and \(V\) is a weight function.
3. **Disintegration Problem**: The main goal of the paper is to find which quasi - invariant measures \(\hat{\mu}\) can be disintegrated into a combination of the initial measure \(\mu_{0}\) and the path measure \(P_{x}\). Specifically, they hope to prove that for all bounded measurable functions \(f\) on the path space \(X_{\infty}\), the following relationship exists:
\[
\int_{X_{\infty}}f\,d\hat{\mu}=\int_{X}\left(\int_{\Omega_{x}}f(x,\omega)\,dP_{x}(\omega)\right)d\mu_{0}(x)
\]
### Main Contributions
- **Theoretical Framework**: The authors provided a framework to deal with the measure disintegration problem on path spaces, which involves concepts such as discrete dynamical systems, random walks, and Markov processes.
- **Applications**: Applications of this theory include wavelet construction on Julia sets and multiresolution analysis of other iterative systems. In this way, they revealed the interesting spectral theory of Julia sets and other dynamical systems and demonstrated the potential connection between geometry and spectra.
### Summary
The core problem of this paper is to explore how to disintegrate the quasi - invariant measures on path spaces into a combination of the initial measure and the path measure, thus providing a theoretical basis for further research on wavelet construction in discrete dynamical systems and other related problems.