Differentiating a Convolution through the Kernel
lemmaAnalysisMultivariable Calculuslem:convolution-partial-derivative-2026aLet , , , , , the set and the convolution be as in Convolution of a Continuous Function with a Compactly Supported Continuous Kernel, let be the Euclidean norm on and let denote the Euclidean distance. Assume in addition that is of class on , and let .
1. (The differentiated kernel) The partial derivative of with respect to the th variable exists at every point of ; the resulting function is continuous on as a map from to , and for every with . Consequently Convolution of a Continuous Function with a Compactly Supported Continuous Kernel applies verbatim with the kernel in place of and the same , , and , and the convolution is a real-valued function on the same set .
2. (Differentiation through the kernel) The set is open in , the partial derivative of with respect to the th variable exists at every point of , and
Loading…
Prerequisites
No prerequisites tracked.
Dependents
No dependents yet.
Dependent proofs
No dependent proofs yet.
No relations recorded yet.