TheoremBase

Convolution with a CkC^k Kernel is of Class CkC^k

Statement

Let nn, Ω\Omega, ff, δ\delta, ρ\rho, the set Ωδ\Omega^{\delta} and the convolution f∗ρf*\rho be as in Convolution of a Continuous Function with a Compactly Supported Continuous Kernel. By claim 2 of Differentiating a Convolution through the Kernel the set Ωδ\Omega^{\delta} is open in Rn\mathbb{R}^n.

1. (Finite order) Let kk be a natural number and suppose that ρ\rho is of class CkC^k on Rn\mathbb{R}^n. Then f∗ρf*\rho is of class CkC^k on Ωδ\Omega^{\delta}.

2. (Smoothness) If ρ\rho is smooth on Rn\mathbb{R}^n, then f∗ρf*\rho is smooth on Ωδ\Omega^{\delta}.

Proofs

Log in to submit a proof.

Loading...

Citations

Loading…

Dependencies

Loading…

Related

0 relations

Curated associations between results. These are editable and subjective — they do not replace the dependency graph, which is derived from the references in the text.

No relations recorded yet.

Comments

Log in to comment.

Loading…