Whitney-Hölder continuity of the SRB measure for transversal families of smooth unimodal maps (Q496207)

The authors consider \(C^2\) families \(t \mapsto f_t\) of \(C^4\) nondegenerate unimodal maps, and the SRB measure \(\mu_t\) of \(f_t\), as a function of \(t\) on the set of Collet-Eckmann (CE) parameters, is investigated. To be more precise, let \(I = [0, 1]\) and fix \(c\) in the interior of \(I\). We consider \(C^2\) maps \(t \mapsto f_t\), from a nontrivial closed interval \(\mathcal{E}\) of \(\mathbb{R}\) to \(C^3\) endomorphisms \(f_t\) of \(I\), and assume that each \(f_t\) is a \(C^4\) unimodal map with negative Schwarzian derivative and critical point \(c\) (independent of \(t\)), and that the \(C^4\) norm of \(f_t\) is bounded uniformly in \(t\). Suppose further that \(f''_t (c) < 0\), and that \(f_t (0) = f_t (1) = 0\). Put \(c_{k,t} = f^k_t (c)\) for \(k \geq 0\), and set \(v_t = \partial_s f_s|_{s=t}\). The function \(v_t : I \to \mathbb{R}\) is \(C^1\) by assumption. Finally, assume that there exist uniformly \(C^1\) functions \(X_t : I \to \mathbb{R}\) so that \(v_t = X_t \circ f_t\). A typical example is the logistic family \(f_t (x) = tx(1 - x)\), \(t \in \mathcal{E} \subset (0, 4]\), where \(c = 1/2\), and \(X_t (x) \equiv 1/t\). A map \(f_t\) (or the corresponding parameter \(t\)) is called \((\lambda_c, H_0)\)-Collet-Eckmann for some \(\lambda_c > 1\) and \(H_0 \geq 1\) (or simply Collet-Eckmann) if \(|(f^k_t)'(c_{1,t})| \geq \lambda^k_c\), \(\forall k \geq H_0\). It is known that any Collet-Eckmann unimodal map \(f_t\) admits the SRB measure \(\mu_t = \phi_t dx\) (this is ergodic and supported inside \([c_{2,t}, c_{1,t}]\)). A map \(f_t\) (or the corresponding parameter \(t\)) is called mixing if \(f_t\) is topologically mixing on \([c_{2,t} , c_{1,t}]\). The support of the SRB measure \(\mu_t\) of a mixing map is equal to \([c_{2,t}, c_{1,t}]\). A unimodal map \(f_t\) is renormalisable if there exists an interval neighbourhood \(\mathcal{R}_{c,t}\) of \(c\) so that the first return map to this interval is again a unimodal map, and the smallest return time \(P_t\) is at least two. The largest such \(P_t\) is called the renormalisation period. The map \(f_t\) is mixing if and only if \(f_t\) is not renormalisable. The family \(f_t\) is called transversal at a Collet-Eckmann parameter \(t_1\), if \(t_1\) lies in the interior of \(\mathcal{E}\), and \[ \mathcal{J}_{t_1} = \sum^\infty_{j=0} \frac{\partial_t f_t (c_{j,t_1})|_{t=t_1}}{(f^j_{t_1})'(c_{1,t_1})} \neq 0. \] Roughly, we say that \(t\) is a transversal Collet-Eckmann parameter if \(t\) is a Collet-Eckmann parameter in the interior of \(\mathcal{E}\) and \(\mathcal{J}_t \neq 0\). In this paper, the following claims are proved. Upper bounds: Assuming existence of a transversal CE parameter, we find a positive measure set of CE parameters \(\Delta\), and for each \(t_0 \in \Delta\), a set \(\Delta_0 \subset \Delta\) of polynomially recurrent parameters containing \(t_0\) as a Lebesgue density point, and constants \(C \geq 1\), \(\Gamma > 4\) so that for every \(1/2\)-Hölder function \(A\), \[ \left| \int A \, d \mu_t - \int A \, d \mu_{t_0} \;\right| \leq C \| A \|_{C^{1/2}} |t - t_0|^{1/2} | \log |t - t_0||^\Gamma, \quad \forall t \in \Delta_0. \] In addition, for all \(t \in \Delta_0\), the renormalisation period \(P_t\) of \(f_t\) satisfies \(P_t \leq P_{t_0}\), and there are uniform bounds on the rates of mixing of \(f^{P_t}_t\) for all \(t\) with \(P_t = P_{t_0}\). If \(f_t (x) = tx(1 - x)\), the set \(\Delta\) contains almost all CE parameters. Lower bounds: Assuming existence of a transversal mixing Misiurewicz-Thurston parameter \(t_0\), we find a set of CE parameters \(\Delta'_{MT}\) accumulating at \(t_0\), a constant \(C \geq 1\), and a \(C^\infty\) function \(A_0\) so that \[ C|t - t_0|^{1/2} \geq \left| \int A_0 \, d \mu_t - \int A_0 \, d \mu_{t_0} \right| \geq C^{-1} |t - t_0|^{1/2},\quad \forall t \in \Delta'_{MT}. \]