Original official author HTML, exact retained edition. Historical TeX conversion verdicts remain unchanged. Cited-edition alignment and mathematical self-containment are not assessed.
Complete original source context · Original author HTML
Let τ<1\tau<1 and 0<ϵ≪10<\epsilon\ll 1. Let ff be a T2T^{2}-invariant function supported on {distga(⋅,𝔇1)<C2}\{\text{dist}_{g_{a}}(\cdot,\mathfrak{D}_{1})<C_{2}\} inside the model space, with norm ‖f‖Cδ,τk,α=1\left\lVert f\right\rVert_{C^{k,\alpha}_{\delta,\tau}}=1, so that ‖f‖C0,τk,α≲1\left\lVert f\right\rVert_{C^{k,\alpha}_{0,\tau}}\lesssim 1. Then
where the constant only depends on C2,δ,ϵ,τ,k,αC_{2},\delta,\epsilon,\tau,k,\alpha and the uniform ellipticity bound on aija_{ij}. In particular if
then ‖∇Taub2GTaubf‖Cδ,τk,α≤C.\left\lVert\nabla_{\text{Taub}}^{2}G_{\text{Taub}}f\right\rVert_{C^{k,\alpha}_{\delta,\tau}}\leq C.
320 source-bound objects; statement and proof tags appear beside their original text.