Thermostat X-ray transform ($I_F(h,\theta )(\gamma )={\int }_{\gamma }(h(\gamma (t))+{\theta }_{\gamma (t)}(\dot{\gamma }(t)))dt$)

The transform integrates a base function and a velocity-evaluated one-form along the closed trajectories of a surface thermostat. Every exact differential form of degree one integrates to zero, because $F(f\circ \pi )=df(v)$. The relevant kernel theorem concerns these functions of velocity degree zero and one, rather than arbitrary functions on the unit tangent bundle.

For a smooth Anosov flow generated by a surface thermostat on a closed oriented Riemannian surface, a smooth base function plus a smooth one-form is a smooth flow coboundary precisely when the base function is zero and the one-form is an exact differential form. This is the nontrivial degree-zero/one kernel theorem. It does not require negative curvature or preservation of Liouville volume. The converse follows directly from $F(f\circ \pi )=df(v)$. A primary proof of the kernel theorem is arxiv.org/abs/math/0601039.