← Mathematical handbook

Table 1: the Laplace density in its printed Bessel form

theorem Papers.AnsariRockel2024.laplace_radial_eq_besselK0 {q : ℝ} (hq : 0 < q) : Verification.laplaceRadialDensity q = 2 * Verification.besselK0 √(2 * q)

The radial Laplace integral equals 2K₀(√(2q)) for q>0, with K₀(z)=∫₀^∞e^{-z cosh s}ds.