OAI/Analysis/PlanarEndpoint/GraphEnergy.lean

GitHub source file

3 declarations, 0 contain sorry, 0 declared as axioms

Gaussian regularization, Fourier evolution and endpoint maximal estimates.

  1. lemma OAI.PlanarEndpoint.normalize_mass_energy line 18
  2. lemma OAI.PlanarEndpoint.normalize_spatial_energy line 40
  3. lemma OAI.PlanarEndpoint.graph_interpolated_bound_of_shortTime line 55