Alphabeta Math
DefinitionDefinition: Literature-sourcedProof: Not applicablePipeline-generatedjudge pass (gpt-6-luna)
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 d≥1, τ>0, and T>0. The history space for delay τ is Cτ:=C([−τ,0],Rd),∥ϕ∥∞:=sup⁡−τ≤s≤0∥ϕ(s)∥2, where continuity of vector-valued functions and the Euclidean norm are as in Vector-valued functions f:A→Rm, their limits and continuity, with the dictionary to the metric notions and The Euclidean inner product ⟨x,y⟩=∑k<nxkyk on Rn. 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 [0,T] consists of a history ϕ∈Cτ and a vector field f:U×Rd×Rd→Rd, where U is an open interval containing [0,T], such that f is continuous and there is an L≥0 giving the following global Lipschitz bound (in the convention of Lipschitz map, α-Hölder map for rational 0<α≤1, and contraction): ∥f(t,u,v)−f(t,u~,v~)∥2≤L(∥u−u~∥2+∥v−v~∥2) for all t∈U and all u,v,u~,v~∈Rd. A solution is a continuous function y:[−τ,T]→Rd whose restriction to [0,T] is continuously differentiable, for which y(s)=ϕ(s) on [−τ,0], and which satisfies the compatibility condition y(0)=ϕ(0) and the retarded equation y′(t)=f(t,y(t),y(t−τ)),0≤t≤T. At t=0 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

Used by

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