OAI/Geometry/PrescribedPotential/GlobalParametrixEquation.lean

GitHub source file

8 declarations, 0 contain sorry, 0 declared as axioms

Global Parametrix Equation.

  1. lemma OAI.GlobalElliptic.globalize_local line 22
  2. lemma OAI.GlobalElliptic.globalize_absorb line 34
  3. lemma OAI.GlobalElliptic.complexL_globalize line 48
  4. lemma OAI.GlobalElliptic.local_shift_cutoff_equation line 82
  5. lemma OAI.GlobalElliptic.global_shift_piece_equation line 96
  6. def OAI.GlobalElliptic.GluingData.error line 113
  7. lemma OAI.GlobalElliptic.GluingData.error_apply line 118
  8. theorem OAI.GlobalElliptic.GluingData.parametrix_equation line 126