proposition 17.51 Algebra of convolution
open in the book ·
parts/02-mathematical-methods/15-fourier-integral-transforms.tex:1952
· p. 694
Rests on
- depends_on definition 17.50 Convolution ¶
- proves proof ch:15-fourier-integral-transforms@proof-32 ¶
Supports
-
depends_on
theorem 17.53
Convolution theorem
¶
- depends_on theorem 17.57 Wiener–Khinchin, finite-energy form ¶
-
depends_on
theorem 10.62
The heat kernel
¶
- depends_on proposition 10.63 Infinite propagation speed ¶
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 |
→ | Convolution | declared | parts/02-mathematical-methods/15-fourier-integral-transforms.tex:1961 |
depends_on |
← | Convolution theorem | declared | parts/02-mathematical-methods/15-fourier-integral-transforms.tex:2028 |
proves |
← | ch:15-fourier-integral-transforms@proof-32 | declared | parts/02-mathematical-methods/15-fourier-integral-transforms.tex:1964 |