Proof of Properties of Periodic Convolution on the Torus

Each result cited below is universally quantified over the data appearing in its own statement, and is applied here to the data named in the statement of this theorem. Throughout, $\tilde{u}$ is the periodic extension of $u$, and by Periodic Convolution and Mollification on the Torus §convolution the map $\psi\star u$ is the convolution of $\psi$ with $\tilde{u}$ in the sense of that lemma; as recorded in Periodic Convolution and Mollification on the Torus, the pair $(\psi,\tilde{u})$ satisfies the hypotheses of that lemma, so all of its claims are available here. We write $\bar{B}(z,r)$ for the closed ball in $\mathbb{R}^{n}$ and use that the Euclidean distance satisfies $d_{E}(a,b)=\lVert a-b\rVert$, by claim 2 of Elementary Properties of the Euclidean Norm on $\mathbb{R}^n$.

Step 1. Proof of claim 1.

By Convolution of a Locally Integrable Function with a Compactly Supported Kernel §continuous the map $\psi\star u$ is continuous on $\mathbb{R}^{n}$.

Periodicity. Let $x\in\mathbb{R}^{n}$ and $m\in\mathbb{Z}^{n}$, and let $g:\mathbb{R}^{n}\to\mathbb{R}$ be given by $g(y)=\psi(x+m-y)\,\tilde{u}(y)$, which is measurable and integrable by Convolution of a Locally Integrable Function with a Compactly Supported Kernel §defined applied at the point $x+m$. By claim 3 of Translation and Reflection Invariance of Lebesgue Measure on $\mathbb{R}^n$, applied with $a=m$, the map $z\mapsto g(z+m)$ is integrable and

For every $z$ we have $g(z+m)=\psi(x-z)\,\tilde{u}(z+m)=\psi(x-z)\,\tilde{u}(z)$, the second equality because $\tilde{u}$ is $\mathbb{Z}^{n}$-periodic by The Periodic Extension of a Function on the Unit Cell §extension. Hence the left-hand side is $(\psi\star u)(x)$, and $(\psi\star u)(x+m)=(\psi\star u)(x)$. So $\psi\star u$ is $\mathbb{Z}^{n}$-periodic, and being continuous it lies in $C_{\mathrm{per}}$ by Lattice-Periodic Functions and the Periodic Function Classes §classes.

Smoothness. Let $k$ be a natural number and let $\psi$ be of class $C^{k}$ on $\mathbb{R}^{n}$; then $\psi$ is of class $C^{1}$ by claim 2 of Euclidean Space is Open in Itself, and $C^k$ Maps are Continuous. By Convolution of a Locally Integrable Function with a Compactly Supported Kernel §derivative each $\partial_{i}\psi$ is continuous and vanishes at every $y$ with $R<\lVert y\rVert$, so $\partial_{i}\psi$ may serve as the kernel in Periodic Convolution and Mollification on the Torus §convolution and $(\partial_{i}\psi)\star u$ is the periodic convolution of $\partial_{i}\psi$ with $u$; the same clause gives

By Convolution of a Locally Integrable Function with a Compactly Supported Kernel §smooth the map $\psi\star u$ is of class $C^{k}$ on $\mathbb{R}^{n}$; it is $\mathbb{Z}^{n}$-periodic by the previous paragraph, hence lies in $C^{k}_{\mathrm{per}}$ by Lattice-Periodic Functions and the Periodic Function Classes §classes. If $\psi$ is smooth then $\psi\star u$ is smooth by the same clause, and therefore lies in $C^{\infty}_{\mathrm{per}}$.

Step 2. Proof of claim 2.

Suppose $[u']=[u]$ in $L^{p}(\mathbb{T}^{n})$, that is, $u=u'$ $\lambda_{Q}$-almost everywhere on $Q$ by The Lebesgue Space of Power-Integrable Functions §equivalence. Both $u$ and $u'$ are measurable with respect to $\mathcal{B}_{Q}$ by Power-Integrable Functions and the p-Seminorm §space, so The Periodic Extension of a Function on the Unit Cell §almost-everywhere gives $\tilde{u}=\tilde{u}'$ $\lambda_{n}$-almost everywhere on $\mathbb{R}^{n}$. Fix $x\in\mathbb{R}^{n}$. Then $\psi(x-y)\tilde{u}(y)=\psi(x-y)\tilde{u}'(y)$ for almost every $y$, and both maps are measurable and integrable by Convolution of a Locally Integrable Function with a Compactly Supported Kernel §defined. By the last assertion of The Lebesgue Integral and Null Sets: Almost-Everywhere Comparison, Markov's Inequality, and Dominated Convergence Almost Everywhere §comparison their integrals coincide, that is, $(\psi\star u)(x)=(\psi\star u')(x)$. As $x$ was arbitrary, claim 2 follows.

Step 3. Proof of claim 3.

By Minkowski's Inequality and the Seminormed Space of Power-Integrable Functions §vector-space the set $\mathcal{L}^{p}(\mathbb{T}^{n})$ is a linear subspace of the space of real-valued maps on $Q$, so $u+c\,u'\in\mathcal{L}^{p}(\mathbb{T}^{n})$. Its periodic extension is $\tilde{u}+c\,\tilde{u}'$ by The Periodic Extension of a Function on the Unit Cell §linear. The map $\psi+c\,\psi'$ is continuous by claim 5 of Continuity of Sums and Products of Real-Valued Functions on a Metric Space and vanishes at every $y$ with $R<\lVert y\rVert$, since $\psi$ and $\psi'$ both do. Both identities of claim 3 are now exactly the two identities of Convolution of a Locally Integrable Function with a Compactly Supported Kernel §linear, read with $w=\tilde{u}$ and $w'=\tilde{u}'$.

Step 4. Proof of claim 4.

The kernel is bounded. Put $S=\{y\in\mathbb{R}^{n}:\psi(y)\ne0\}$. If $R<\lVert y\rVert$ then $\psi(y)=0$, so $S\subseteq\bar{B}(0,R)$. The support of $\psi$ is the closure of $S$, that is, the intersection of all closed sets containing $S$; since $\bar{B}(0,R)$ is closed and bounded by Elementary Properties of the Closed Ball in a Metric Space, that support is closed and bounded, hence compact by Heine-Borel Theorem in $\mathbb{R}^n$, so $\psi$ is compactly supported and therefore bounded by claim 1 of A Continuous Compactly Supported Function on $\mathbb{R}^n$ is Bounded and Integrable. Fix a real $M$ with $0\le M$ and $|\psi(y)|\le M$ for every $y$.

A finite index set. By The Archimedean Property of the Real Numbers choose a natural number $N$ with $R+1\le N$, and put

Let $J=\{j\in\mathbb{Z}:-N\le j\le N\}$. The initial segment $[2N+1]$ is finite by claim 1 of Basic Properties of Finite Sets, and the map sending $l\in[2N+1]$ to $l-N-1$ is onto $J$: its values are integers by claim 2 of Arithmetic, Order and Discreteness of the Integers and satisfy $-N\le l-N-1\le N$ because $1\le l\le 2N+1$, while a given $j\in J$ is the value at $l=j+N+1$, which lies in $[2N+1]$ and is a natural number by claim 1 of Arithmetic, Order and Discreteness of the Integers. So $J$ is finite by claim 4 of Basic Properties of Finite Sets, and $G$, the set of $n$-tuples with all entries in $J$, is finite by claim 3 of Finiteness of Cartesian Products, Tuple Sets, and Permutation Sets. Let $c$ be its number of elements.

The covering. Fix $x\in\mathbb{R}^{n}$ and let $a\in\mathbb{Z}^{n}$ have $i$th coordinate $\lfloor x_{i}\rfloor$, the integer part. Let $y\in\bar{B}(x,R)$ and let $m\in\mathbb{Z}^{n}$ be the unique lattice vector with $y-m\in Q$, given by The Half-Open Unit Cell Tiles Euclidean Space §tiling; by The Half-Open Unit Cell Tiles Euclidean Space §wrap, $m_{i}=\lfloor y_{i}\rfloor$ for every $i$. By claim 4 of Elementary Properties of the Euclidean Norm on $\mathbb{R}^n$ we have $|y_{i}-x_{i}|\le\lVert y-x\rVert\le R$. From $\lfloor y_{i}\rfloor\le y_{i}<\lfloor y_{i}\rfloor+1$ and the same for $x_{i}$ we get

so $k=m-a$ lies in $G$ and $y\in Q+m=Q+(a+k)$. Hence $\bar{B}(x,R)\subseteq\bigcup_{k\in G}\bigl(Q+(a+k)\bigr)$.

The bound. The map $|\tilde{u}|$ is the periodic extension of $|u|$, and $|u|$ is integrable with respect to $\lambda_{Q}$ by The Periodic Extension of a Function on the Unit Cell §finite-measure together with Integrable Function and the Lebesgue Integral. By The Periodic Extension of a Function on the Unit Cell §local, applied to $|u|$ with $h=a+k$,

If $y\notin\bar{B}(x,R)$ then $R<\lVert x-y\rVert$ and $\psi(x-y)=0$; and by the covering, for $y\in\bar{B}(x,R)$ we have $\mathbf{1}_{Q+(a+k)}(y)=1$ for at least one $k\in G$. Since all terms are nonnegative, it follows that

Integrating and using claim 1 of Linearity and Monotonicity of the Lebesgue Integral for monotonicity and for the finitely many summands,

the last step by The Periodic Extension of a Function on the Unit Cell §finite-measure. Finally, for an integrable $g$ we have $-|g|\le g\le|g|$ pointwise by claim 3 of Properties of the Absolute Value in an Ordered Field, so claim 2 of Linearity and Monotonicity of the Lebesgue Integral and claim 6 of Properties of the Absolute Value in an Ordered Field give $\bigl|\int g\,d\lambda_{n}\bigr|\le\int|g|\,d\lambda_{n}$; applied to $g(y)=\psi(x-y)\tilde{u}(y)$ this yields

Put $C=M\,c$, a nonnegative real number determined by $n$, $R$ and $\psi$ alone. As $x$ was arbitrary, the first assertion of claim 4 holds.

Consequence. The map $\psi\star u$ is continuous by claim 1, hence measurable with respect to $\mathcal{B}(\mathbb{R}^{n})$ by claims 3(a) and 5 of The Borel Sigma-Algebra of a Euclidean Space as a Product, and Measurability of Projections, Sequentially Continuous Maps, and Open and Closed Sets, so for every Borel subset $A$ of $\mathbb{R}$ the set $\{y\in Q:(\psi\star u)(y)\in A\}$ equals the intersection of $\{x\in\mathbb{R}^{n}:(\psi\star u)(x)\in A\}\in\mathcal{B}(\mathbb{R}^{n})$ with $Q\in\mathcal{B}(\mathbb{R}^{n})$; that intersection lies in $\mathcal{B}(\mathbb{R}^{n})$ and is contained in $Q$, hence lies in $\mathcal{B}_{Q}$. So the restriction $(\psi\star u)|_{Q}$ is measurable with respect to $\mathcal{B}_{Q}$. Writing $t=C\lVert u\rVert_{p}$, we have $|(\psi\star u)|_{Q}|\le t$ pointwise on $Q$, hence $\bigl||(\psi\star u)|_{Q}|\bigr|^{p}\le t^{p}$ by Properties of Real Powers of Nonnegative Real Numbers §monotone, and therefore

by claim 1 of Linearity and Monotonicity of the Lebesgue Integral and The Integral of an Indicator Function is the Measure of the Set, using $\lambda_{Q}(Q)=1$ from The Flat Torus: Standing Notation §measure. So $(\psi\star u)|_{Q}\in\mathcal{L}^{p}(\mathbb{T}^{n})$ by Power-Integrable Functions and the p-Seminorm §space, and by Power-Integrable Functions and the p-Seminorm §seminorm together with Properties of Real Powers of Nonnegative Real Numbers §monotone and Properties of Real Powers of Nonnegative Real Numbers §inverse,

Step 5. Proof of claim 5.

Let $\rho$ be a mollifier kernel of radius $\delta$ and let $w\in C_{\mathrm{per}}$, so that $w|_{Q}\in\mathcal{L}^{p}(\mathbb{T}^{n})$ by Continuous Periodic Functions are Power-Integrable and Dense on the Torus §member and the periodic extension of $w|_{Q}$ is $w$ itself by The Periodic Extension of a Function on the Unit Cell §extension. Fix $x\in\mathbb{R}^{n}$.

By claim 3 of Translation and Reflection Invariance of Lebesgue Measure on $\mathbb{R}^n$, applied with $a=x$ to the integrable map $\rho$ of Mollifier Kernel of Radius $\delta$ on $\mathbb{R}^n$, the map $y\mapsto\rho(x-y)$ is integrable with

the last equality being the unit-mass condition of Mollifier Kernel of Radius $\delta$ on $\mathbb{R}^n$. The map $y\mapsto\rho(x-y)w(y)$ is integrable by Convolution of a Locally Integrable Function with a Compactly Supported Kernel §defined, so by claim 2 of Linearity and Monotonicity of the Lebesgue Integral,

Let $y\in\mathbb{R}^{n}$. If $\delta<\lVert x-y\rVert$ then $\rho(x-y)=0$ by the support condition of Mollifier Kernel of Radius $\delta$ on $\mathbb{R}^n$, so the integrand vanishes; otherwise $\lVert x-y\rVert\le\delta$ and $|w(y)-w(x)|\le\eta$ by hypothesis. Since $0\le\rho(x-y)$ by the nonnegativity condition of Mollifier Kernel of Radius $\delta$ on $\mathbb{R}^n$, in both cases

using claims 1 and 4 of Properties of the Absolute Value in an Ordered Field, the first giving $|\rho(x-y)|=\rho(x-y)$ from nonnegativity of the kernel, and claim 5 of Elementary Arithmetic in an Ordered Field. Applying the bound $\bigl|\int g\bigr|\le\int|g|$ established in step 4, then claim 1 of Linearity and Monotonicity of the Lebesgue Integral for monotonicity and the scalar $\eta$,

As $x$ was arbitrary, claim 5 follows. $\blacksquare$