equation 7.131 eq:ana-nabla-sph-grad
open in the book ·
parts/02-mathematical-methods/05-real-analysis.tex:3921
- connected by a declared semantic edge
Rests on
No declared or derived dependency edges point away from this node yet.
Supports
-
depends_on
definition A.715
Stokes stream function
¶
-
depends_on
lemma A.716
The creeping-flow equation for $\psi$
¶
-
depends_on
lemma A.717
The radial solution
¶
- depends_on theorem A.718 Stokes' drag law with its coefficient ¶
-
depends_on
lemma A.717
The radial solution
¶
-
depends_on
lemma A.716
The creeping-flow equation for $\psi$
¶
-
depends_on
example 7.130
The two Jacobians this treatise uses
¶
-
depends_on
lemma A.518
The excised ball
¶
-
depends_on
proposition A.521
Every derivative passes onto $g$
¶
- depends_on proposition A.524 Rate of decay ¶
-
depends_on
proposition A.522
The Newtonian potential inverts the Laplacian
¶
- depends_on theorem A.523 Helmholtz decomposition: existence ¶
-
depends_on
proposition A.519
The convolution exists
¶
- depends_on proposition A.524 Rate of decay ¶ ↺
-
depends_on
proposition A.521
Every derivative passes onto $g$
¶
-
depends_on
lemma A.518
The excised ball
¶
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 |
← | Stokes stream function | declared | appendices/A-long-proofs.tex:34611 |
depends_on |
← | The two Jacobians this treatise uses | declared | parts/02-mathematical-methods/05-real-analysis.tex:4322 |