OAI/Geometry/RCD/Heat/CompactHeatKernelScaling.lean

GitHub source file

1 declarations, 0 contain sorry, 0 declared as axioms

Actual positive-time heat kernel scaling on compact supports

The endpoint laws here are probability measures on the compact supports. They may be the laws with bounded densities used in the entropic approximation. The kernel is the constructed RCD heat kernel.

  1. theorem OAI.RegularPointCoordinates.NoncollapsedRCD.compact_heat_kernel_scaling line 21