Alphabeta Math
DefinitionDefinition: Literature-sourcedProof: Not applicablePipeline-generated
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.

A parameterized neural ordinary differential equation

Definition

Let d,q≥1, let I⊆R and Θ⊆Rq be open, and let v:I×Rd×Θ→Rd. For a parameter θ∈Θ, write vθ(t,z):=v(t,z,θ). The parameterized ordinary differential equation on I is the initial-value problem

z˙(t)=vθ(t,z(t)),z(s)=zs,

where s∈I and zs∈Rd. A trajectory on an interval J⊆I containing s is a differentiable function z:J→Rd satisfying both displayed conditions. Here vθ is the state-velocity field.

It is a parameterized neural ordinary differential equation, or neural ODE, when vθ(t,z) is specified by a neural network with input (t,z) and d outputs. Here a network is a fixed finite directed acyclic graph evaluated in an order in which every edge points to a later vertex: input vertices hold the coordinates of (t,z), each other vertex applies a fixed scalar activation to an affine combination of earlier vertex values, and the output vertices use the identity activation. The weights and biases are specified functions of θ and may be shared or fixed. No particular depth, width, or hidden activation is prescribed; affine networks with no hidden vertices are allowed.

The general parameterized ODE remains defined for fields without such a network specification. This definition alone asserts neither solution existence beyond its stated interval nor numerical accuracy.

Used by

Dependency tree · 0 levels

Nothing. This result depends on no other item in the library.

Sources