OAI/MathematicalPhysics/ContinuumCoulomb/Nuclei/FlowGlobalRegularity.lean

GitHub source file

4 declarations, 0 contain sorry, 0 declared as axioms

C⁴ spatial dependence of complete Lipschitz flows in the four-dimensional autonomous phase space. Local regularity propagates by uniqueness.

  1. theorem OAI.ContinuumCoulomb.flow_global_add line 13
  2. theorem OAI.ContinuumCoulomb.flow_global_local line 32
  3. theorem OAI.ContinuumCoulomb.flow_global_spatial_C4 line 51
  4. theorem OAI.ContinuumCoulomb.flow_global_joint_C4 line 107