On Connes' trace formula for the Hankel transformation of order \(-1/2\) (Q1933994)

Let \(k\) be the field of rational numbers and for any valuation \(v\) of \(k\) denote by \(k_v\) the completion of \(k\) at \(v\). The Hankel transformation of order \(\eta\) for \(f \in \mathbb L^2(\mathbb R^+, t\,dt)\) is defined as \[ (H_{\infty}f)(x) = 2\pi \int_0^{\infty}f(t)J_{\eta}(2\pi xt)t\,dt \] where \(J_{\eta}\) is the Bessel function of order \(\eta\). The local Hankel transformation of order \(-1/2\) for \(f \in \mathbb L^2(k_v, |\alpha| d \alpha)\) is defined as \[ (H_vf)(\beta) = \int_{k_v}f(\alpha)\psi_v(\alpha\beta)\sqrt{|\alpha/\beta|}\,d\alpha \] where \(\psi_v\) is the basic character on \(k_v\). For a finite subset \(S\) of places of \(k\) containing the infinite one, the \(S\)-local Hankel transformation of order \(-1/2\) is defined in a similar fashion. The following theorems are proved. 1. The Connes type local trace formula for the Hankel transform of order \(-1/2\) over \(k_{\infty}\). 2. An inversion formula for \(f\) continuous on \(k_v\), such that \(f(x)\sqrt{| x | } \in \mathbb L^2(k_v)\). 3. A Plancherel type theorem for continuous \(f \in \mathbb L^2(k_v, | x | dx)\). 4. The Connes type local trace formula for the Hankel transform of order \(-1/2\) over \(k_v\), for finite \(v\). 5. The Connes type \(S\)-local trace formula for the \(S\)-local Hankel transform of order \(-1/2\) over \(k\), where \(S\) is a finite subset of places of \(k\) containing the infinite one.