theorem 10.103 Uniqueness in the entropy class
open in the book ·
parts/02-mathematical-methods/08-pdes.tex:2712
· p. 369
Rests on
-
depends_on
definition 10.101
Entropy pair; entropy inequality
¶
-
depends_on
definition 10.99
Entropy condition
¶
-
depends_on
definition 10.95
Weak solution of a conservation law
¶
-
depends_on
definition 10.93
Scalar conservation law
¶
- depends_on definition 10.2 Linear, semilinear, quasilinear ¶
- depends_on proposition 10.15 Method of characteristics, first order ¶
-
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.93
Scalar conservation law
¶
-
depends_on
theorem 10.96
Rankine–Hugoniot condition
¶
- depends_on definition 10.95 Weak solution of a conservation law ¶ ↺
-
depends_on
theorem 7.131
Green
¶
- depends_on definition 7.127 Simple regions ¶
- depends_on remark 7.128 What the derivations below take as given ¶
- depends_on theorem 7.43 Fundamental theorem of calculus, II ¶
- proves proof ch:05-real-analysis@proof-77 ¶
- proves proof ch:08-pdes@proof-40 ¶
-
depends_on
definition 10.95
Weak solution of a conservation law
¶
- depends_on definition 10.95 Weak solution of a conservation law ¶ ↺
-
depends_on
definition 10.99
Entropy condition
¶
- depends_on definition 10.95 Weak solution of a conservation law ¶ ↺
- proves proof app:A-long-proofs@proof-99 ¶
- proves proof ch:08-pdes@prooflink-5 ¶
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 |
→ | Entropy pair; entropy inequality | declared | parts/02-mathematical-methods/08-pdes.tex:2720 |
depends_on |
→ | Weak solution of a conservation law | declared | parts/02-mathematical-methods/08-pdes.tex:2720 |
proves |
← | app:A-long-proofs@proof-99 | declared | appendices/A-long-proofs.tex:8767 |
proves |
← | ch:08-pdes@prooflink-5 | declared | parts/02-mathematical-methods/08-pdes.tex:2723 |