OAI/Geometry/RCD/Heat/SmallRadiusHeatSecondVariation.lean

GitHub source file

1 declarations, 0 contain sorry, 0 declared as axioms

Quantitative second variation at an arbitrary positive physical radius

Centered heat-action directions have slope proportional to the physical radius, uniformly over all centers. The full shifted mass controls their Hessian error without enlarging the source ball to unit scale.

  1. theorem OAI.RegularPointCoordinates.NoncollapsedRCD.CompactHeatScalingData.small_radius_heat_second_variation_estimate line 33