OAI/Analysis/MumfordShah/JumpInteraction.lean

GitHub source file

7 declarations, 0 contain sorry, 0 declared as axioms

MumfordShah jump interaction.

  1. lemma OAI.MumfordShah.norm_sub_sq_le_two line 93
  2. lemma OAI.MumfordShah.subtract_L2_preserves_linear_growth line 99
  3. def OAI.MumfordShah.CompactPotential line 129
  4. lemma OAI.MumfordShah.compact_potential_exists line 136
  5. lemma OAI.MumfordShah.compact_sobolev_gradient_decay line 142
  6. theorem OAI.MumfordShah.minimizer_compact_jump_interactions line 148
  7. theorem OAI.MumfordShah.minimizer_decomposition_with_jump_interactions line 220