lemma A.94 Fundamental solution of $\pp_{\bar z}$
open in the book ·
appendices/A-long-proofs.tex:5723
· p. 2839
Rests on
- depends_on equation A.218 eq:app-korn-lichtenstein-wirtinger ¶
-
depends_on
proposition 10.67
The Newtonian potential is the fundamental
solution
¶
- depends_on definition 17.38 Schwartz space and tempered distributions ¶
-
depends_on
lemma 10.44
Green's identities
¶
-
depends_on
definition 7.98
Functions of class $C^{1}$
¶
-
depends_on
definition 7.20
Continuity at a point
¶
- depends_on definition 7.16 Limit ¶
- depends_on equation 7.7 eq:ana-limit-left ¶
- depends_on equation 7.5 eq:ana-limit-right ¶
-
depends_on
definition 7.97
Partial derivative; gradient
¶
- depends_on definition 7.26 Derivative of a function at a point ¶
- depends_on definition 5.15 Basis ¶
-
depends_on
definition 7.20
Continuity at a point
¶
-
depends_on
theorem 7.133
Gauss
¶
-
depends_on
definition 7.127
Simple regions
¶
- depends_on definition 7.98 Functions of class $C^{1}$ ¶ ↺
- depends_on definition 6.9 Compact set ¶
-
depends_on
remark 7.128
What the derivations below take as given
¶
- depends_on definition 7.125 Multiple integral ¶
- depends_on theorem 7.40 Continuous functions are integrable ¶
- depends_on theorem 7.25 Heine–Cantor: uniform continuity ¶
-
depends_on
theorem 7.43
Fundamental theorem of calculus, II
¶
- depends_on definition 7.41 Antiderivative ¶
- depends_on theorem 7.42 Fundamental theorem of calculus, I ¶
- proves proof ch:05-real-analysis@proof-25 ¶
- proves proof ch:05-real-analysis@proof-79 ¶
-
depends_on
definition 7.127
Simple regions
¶
- proves proof ch:08-pdes@proof-14 ¶
-
depends_on
definition 7.98
Functions of class $C^{1}$
¶
- proves proof ch:08-pdes@proof-27 ¶
- proves proof app:A-long-proofs@proof-63 ¶
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 |
→ | eq:app-korn-lichtenstein-wirtinger | declared | appendices/A-long-proofs.tex:5733 |
depends_on |
→ | The Newtonian potential is the fundamental solution | declared | appendices/A-long-proofs.tex:5733 |
proves |
← | app:A-long-proofs@proof-63 | declared | appendices/A-long-proofs.tex:5737 |