Skip to main content
2 of 2
added 1267 characters in body
Anthony Quas
  • 23.2k
  • 5
  • 63
  • 98

What you are asking for is a conjugacy of the dynamical systems $g(x)=4x(1-x)$ and $h(x)=\sin(\pi x)$. Since $g$ and $h$ are both full unimodal maps of $[0,1]$, there will exist such a conjugacy, but it is very unlikely that you will be able to write it down explicitly. Also, it will certainly be continuous, but likely not absolutely continuous.

You are asking that $f(g(x))=h(f(x))$. You are requiring that $f(0)=0$ and $f(1)=1$. Substituting $x=\frac 12$, you obtain $1=f(1)=h(f(\frac 12))$. Since $h^{-1}(1)=\{\frac 12\}$, it follows that $f(\frac 12)=\frac 12$. You can continue in a similar way to obtain the value of $f$ at further preimages of $\frac 12$. This defines $f$ on a dense set.

EDIT: As I mention above, it is very likely that $f$ is not absolutely continuous. David Speyer's argument below amplifies this. One key issue is that there are two important classes of invariant measure for maps like this: absolutely continuous invariant measures (ACIMs, that is, one that is absolutely continuous with respect to Lebesgue measure) and measures of maximal entropy (MMEs). From your post it seems as though you care about an ACIM for $h$.

For $g(x)$, the MME and ACIM coincide; this is something of a magical coincidence. A priori, it is highly unlikely that the ACIM and MME for $h(x)$ (assuming an ACIM exists) coincide. The conjugacy $f$ will always map the MME for $g$ to the MME for $h$; and so it seems very likely that this measure does not have a density.

However: I did a computation that I expected would give a strong indication that the two measures are different. Namely, I numerically computed the Lyapunov exponent for $h$ at a point that I chose. Assuming that there is an ACIM, this would be equal to the measure-theoretic entropy of the ACIM. If this entropy is not $\log 2$ (the entropy of the MME), this would prove that the ACIM and MME do not coincide (in fact the converse holds also). To my surprise, the Lyapunov exponent for $h$ was (numerically) very close to $\log 2$, so who knows?!

Anthony Quas
  • 23.2k
  • 5
  • 63
  • 98