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.
Scalar partial differential equations, order, and classical solutions
Definition
Let be open, let , and let
be a function of the point and of the jet coordinates , where is the number of multi-indices of length at most . Assume that depends nontrivially on at least one jet coordinate. A scalar partial differential equation of order at most is an equation
for an unknown scalar field .
Its order is the largest for which depends nontrivially on . A classical solution of an equation of order at most is a function satisfying the displayed equation at every .
If is a codimension-one surface, prescribing values of and possibly of some derivatives on is Cauchy data. If is used instead, the prescribed values are boundary data.
Used by
Dependency tree · 0 levels
Nothing. This result depends on no other item in the library.
Sources
- Victor Ivrii, Partial Differential Equations (standard reference, not scraped)