OAI/Analysis/LipschitzHilbert/Estimates/TopBoxPolynomial.lean

GitHub source file

2 declarations, 0 contain sorry, 0 declared as axioms

Fixed polynomial top weights dominate the reciprocal lattice decay uniformly on a whole box and all its allowed vertical shifts.

  1. theorem OAI.LipschitzHilbert.box_polynomial_base_two line 15
  2. theorem OAI.LipschitzHilbert.topWeight_box_lower line 27