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.
Retarded delay equations and their history space
Definition
Let , , and . The history space for delay is where continuity of vector-valued functions and the Euclidean norm are as in Vector-valued functions , their limits and continuity, with the dictionary to the metric notions and The Euclidean inner product on . Its completeness, so that it is a Banach space with this norm, is established in The continuous delay-history space is Banach ↗.
A retarded delay initial-value problem on consists of a history and a vector field , where is an open interval containing , such that is continuous and there is an giving the following global Lipschitz bound (in the convention of Lipschitz map, -Hölder map for rational , and contraction): for all and all . A solution is a continuous function whose restriction to is continuously differentiable, for which on , and which satisfies the compatibility condition and the retarded equation At the derivative is the right derivative. The equation is an ordinary first-order IVP on each method-of-steps interval once the delayed history on that interval is known.
The definition concerns a fixed positive constant delay. It does not include state-dependent delays, neutral equations containing a delayed derivative, or integrals over a delay window; those are distinct interfaces.
Depends on
- First-order systems, initial value problems, and solutions on intervals
- The Euclidean inner product $\langle x,y\rangle = \sum_{k<n} x_k y_k$ on $\mathbb{R}^n$
- Lipschitz map, $\alpha$-Hölder map for rational $0 < \alpha \le 1$, and contraction
- Vector-valued functions $f : A \to \mathbb{R}^m$, their limits and continuity, with the dictionary to the metric notions
- The derivative and the Riemann integral of a vector-valued function: an intrinsic derivative and a componentwise integral
Used by
- Explicit Euler with a stored piecewise-linear delay history Algorithm
- Distributed delays through a finite-window history integral Definition
- Scalar neutral delay equations and the derivative-segment shift Definition
- A breakpoint-crossing RK4 step has a second-order defect Example
- Delayed feedback gives an explicit two-block Euler recurrence Example
- Error bound for piecewise-linear stored delay histories Lemma
- The continuous delay-history space is Banach Lemma
- Grid-aligned Euler has first-order error for retarded delays Theorem
- Method of steps gives a unique retarded-delay solution Theorem
Dependency tree · two levels
49 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
- M. Zennaro, The Numerical Solution of Delay Differential Equations, Dobbiaco 2006 summer-school lecture notes (standard reference, not scraped)
- Nicola Guglielmi and Ernst Hairer, Solving Delay Differential Equations, Chapter 1 (standard reference, not scraped)