theorem A.112 Cauchy–Kovalevskaya, first-order form

open in the book · appendices/A-long-proofs.tex:6480 · p. 2847

Rests on

depends_on lemma A.109 Domination ¶
- depends_on definition A.107 Majorant ¶
  - depends_on equation 10.2 eq:pde-multi-index ¶
- depends_on lemma A.104 The recursion ¶
  - depends_on definition A.103 First-order quasilinear system with zero data ¶
    - depends_on definition A.102 Normal Cauchy problem of order $k$ ¶
      - depends_on definition 10.1 Partial differential equation; order ¶
      - depends_on proposition 10.11 What a characteristic surface is ¶
    - depends_on definition 10.2 Linear, semilinear, quasilinear ¶
      - depends_on definition 10.1 Partial differential equation; order ¶ ↺
  - depends_on equation 10.2 eq:pde-multi-index ¶ ↺
  - proves proof app:A-long-proofs@proof-67 ¶
- proves proof app:A-long-proofs@proof-70 ¶
depends_on lemma A.108 The standard majorant ¶
- depends_on definition A.107 Majorant ¶ ↺
- proves proof app:A-long-proofs@proof-69 ¶
depends_on proposition A.110 Explicit solution of the majorant problem ¶
- depends_on definition A.103 First-order quasilinear system with zero data ¶ ↺
- depends_on lemma A.108 The standard majorant ¶ ↺
- proves proof app:A-long-proofs@proof-71 ¶
proves proof app:A-long-proofs@proof-72 ¶

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`	→	Domination	declared	appendices/A-long-proofs.tex:6485
`depends_on`	→	The standard majorant	declared	appendices/A-long-proofs.tex:6485
`depends_on`	→	Explicit solution of the majorant problem	declared	appendices/A-long-proofs.tex:6485
`proves`	←	app:A-long-proofs@proof-72	declared	appendices/A-long-proofs.tex:6490