Alphabeta Math
DefinitionDefinition: AI-adaptedProof: 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.

Parameter-dependent parabolic variational states and objectives

Definition

Let T>0, let (V,H,V∗) be the real evolution triple and let Θ⊆Rm be open. A parameter-dependent parabolic variational problem specifies, for each θ∈Θ, a bilinear form aθ(t;⋅,⋅) and data fθ∈L2(0,T;V∗), u0,θ∈H. A state is a function uθ∈W(0,T;V) with continuous H trace, uθ(0)=u0,θ, and ⟨uθ′(t),v⟩V∗,V+aθ(t;uθ(t),v)=⟨fθ(t),v⟩V∗,V for every v∈V and almost every t. When a state is specified, let ϕ:H×Θ→R be differentiable and let L:(0,T)×V×Θ→R be differentiable in (v,θ) for almost every t. Require t↦L(t,uθ(t),θ) to be measurable and to belong to L1(0,T) for every parameter under consideration. Then the finite real number j(θ)=ϕ(uθ(T),θ)+∫0TL(t,uθ(t),θ) dt is its reduced objective. This definition does not assert existence of a state, parameter differentiability of the state or reduced objective, or optimality.

Depends on

Used by

Dependency tree · one level

1 result within one dependency step 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