How statement and proof provenance work
The first chip identifies the source of the statement or construction; the second identifies the source of its local proof or verification.
- Literature-sourced: the exact statement appears in a cited source; only wording and notation differ.
- AI-adapted: a semantically identical restatement of literature-sourced material, modulo indexing, notation, and boundary cases adopted by the library.
- AI-generated: a genuinely novel statement formulated by AI, with no source for the claim itself.
These labels describe origin, not correctness: citations and verification chips remain separate evidence.
Local Lipschitz continuity in the state variable, locally uniform in time and parameters
Definition
Let with , let be open, and let . The map is locally Lipschitz in the state variable, locally uniformly in time, if every compact time-state cylinder has a finite such that
whenever have the same time coordinate.
On every compact time-state cylinder the state-variable inequality holds with one finite constant . More generally, let , let , let be open in its relative Euclidean topology, and let . The parameter family is locally Lipschitz in the state variable, locally uniform in time and parameters when every compact time-state-parameter cylinder has one finite such that
whenever have the same time and parameter coordinates.
Depends on
Used by
- An almost-Lipschitz vector field has a unique solution through zero but is not locally Lipschitz there Counterexample
- y'=2√|y| has a continuum of delayed-start solutions through the origin Counterexample
- A state-Lipschitz vector field makes the Picard operator a contraction when Lh<1 Lemma
- Picard-Lindelöf local existence and uniqueness for first-order systems Theorem
Dependency tree · two levels
27 results within two dependency steps of this one, each drawn at its shortest distance from it. An arrow runs from a result to what uses it, so the chart reads left to right and ends at this result, which carries a heavier outline. Every node is a link to that result. Click elsewhere on the chart to enlarge it.
Sources
- Gerald Teschl, Ordinary Differential Equations and Dynamical Systems, Ch. 2 (standard reference, not scraped)
- Jiri Lebl, Basic Analysis I, Section 6.3 (standard reference, not scraped)