OAI/Analysis/RieszRectifiability/Foundations/IsometricLocalTransforms.lean

GitHub source file

5 declarations, 0 contain sorry, 0 declared as axioms

Local Riesz transforms under linear isometries

Linear isometries commute with restriction to localization balls and preserve the scalar capped kernels and far transforms. These identities transfer local transform calculations between intrinsic plane coordinates and the ambient Euclidean space.

  1. theorem OAI.RieszRectifiability.linearIsometry_restrict_ball line 22
  2. theorem OAI.RieszRectifiability.scalarCappedRieszKernel_linearIsometry line 30
  3. theorem OAI.RieszRectifiability.scalarCappedTransform_linearIsometry line 38
  4. theorem OAI.RieszRectifiability.scalarCappedTransform_ball_linearIsometry line 47
  5. theorem OAI.RieszRectifiability.scalarFarRieszTransform_linearIsometry line 54