OAI/Geometry/NodalSets/Waves/WaveEstimates.lean

GitHub source file

9 declarations, 0 contain sorry, 0 declared as axioms

  1. lemma OAI.Yau.Waves.iteratedDeriv_line line 18
  2. theorem OAI.Yau.Waves.vanishing_jet_taylor_bound line 32
  3. theorem OAI.Yau.Waves.vanishing_jet_derivative_bound line 66
  4. theorem OAI.Yau.Waves.quadratic_gap_of_cubic_remainder line 96
  5. theorem OAI.Yau.Waves.complex_exponential_gaussian_bound line 103
  6. theorem OAI.Yau.Waves.gaussian_absorbs_power line 112
  7. theorem OAI.Yau.Waves.gaussian_cutoff_bound line 129
  8. theorem OAI.Yau.Waves.residual_exponent_budgets line 149
  9. theorem OAI.Yau.Waves.scaled_taylor_defect_bound line 159