definition 10.87 Weak form of an elliptic problem
open in the book ·
parts/02-mathematical-methods/08-pdes.tex:2317
· p. 364
- ground object -- no derivation owed
Rests on
-
depends_on
definition 10.85
Sobolev space
¶
-
depends_on
definition 12.2
Hilbert space
¶
-
depends_on
definition 5.18
Inner product
¶
- depends_on definition 4.33 Vector space ¶
- depends_on definition 6.27 Convergence; Cauchy sequence; completeness ¶
- depends_on equation 5.44 eq:lin-norm-assoc ¶
-
depends_on
definition 5.18
Inner product
¶
-
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 equation 10.2 eq:pde-multi-index ¶
-
depends_on
definition 10.2
Linear, semilinear, quasilinear
¶
-
depends_on
definition 12.2
Hilbert space
¶
- depends_on definition 10.83 Weak solution ¶ ↺
Supports
- depends_on corollary 10.89 Existence for the elliptic problem ¶
- depends_on proposition 10.91 Dirichlet principle ¶
-
depends_on
theorem 10.88
Lax–Milgram
¶
- depends_on corollary 10.89 Existence for the elliptic problem ¶ ↺
- depends_on proposition 10.91 Dirichlet principle ¶ ↺
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 |
→ | Sobolev space | declared | parts/02-mathematical-methods/08-pdes.tex:2329 |
depends_on |
→ | Weak solution | declared | parts/02-mathematical-methods/08-pdes.tex:2329 |
depends_on |
← | Existence for the elliptic problem | declared | parts/02-mathematical-methods/08-pdes.tex:2388 |
depends_on |
← | Dirichlet principle | declared | parts/02-mathematical-methods/08-pdes.tex:2415 |
depends_on |
← | Lax–Milgram | declared | parts/02-mathematical-methods/08-pdes.tex:2350 |