proposition 10.84 Consistency

open in the book · parts/02-mathematical-methods/08-pdes.tex:2259 · p. 364

Rests on

depends_on definition 10.83 Weak solution ¶
- depends_on definition 17.38 Schwartz space and tempered distributions ¶
- depends_on definition 10.3 Principal part and principal symbol ¶
  - depends_on definition 10.2 Linear, semilinear, quasilinear ¶
    - depends_on definition 10.1 Partial differential equation; order ¶
      - depends_on definition 7.98 Functions of class $C^{1}$ ¶
      - depends_on definition 6.2 Open set ¶
  - depends_on equation 10.2 eq:pde-multi-index ¶
depends_on equation 7.28 eq:ana-parts ¶
proves proof ch:08-pdes@proof-35 ¶

Supports

Nothing declares a dependency on this node yet.

Neighborhood

Every logical edge within two steps of this node.

declared and complete
partly declared
a check failed
not graded
declared in the source
inferred from structure

Edges

type	direction	node	provenance	where
`depends_on`	→	Weak solution	declared	parts/02-mathematical-methods/08-pdes.tex:2262
`depends_on`	→	eq:ana-parts	declared	parts/02-mathematical-methods/08-pdes.tex:2262
`proves`	←	ch:08-pdes@proof-35	declared	parts/02-mathematical-methods/08-pdes.tex:2265