Pairing an Integrable Function on the Torus with a Continuous Periodic Function

We work in the setting of The Flat Torus: Standing Notation, used here with a natural number $n$ satisfying $1\le n$; the cell $Q$, the measure space $(Q,\mathcal{B}_{Q},\lambda_{Q})$, the integral over $\mathbb{T}^{n}$, the class $\mathcal{L}^{1}(\mathbb{T}^{n})$, the space $L^{1}(\mathbb{T}^{n})$ with the class map $[\,\cdot\,]$, the periodic classes $C_{\mathrm{per}}$ and $C^{\infty}_{\mathrm{per}}$ and the restriction $\varphi|_{Q}$ are the ones fixed there. Every member of $C^{\infty}_{\mathrm{per}}$ belongs to $C_{\mathrm{per}}$, a smooth map on $\mathbb{R}^{n}$ being continuous by claim 3 of Euclidean Space is Open in Itself, and $C^k$ Maps are Continuous and periodicity being the same condition for the two classes by Lattice-Periodic Functions and the Periodic Function Classes §classes.

Let $\varphi\in C_{\mathrm{per}}$. By Elementary Properties of Lattice-Periodic Functions §bounded there is a real number $M$ with $0\le M$ and $|\varphi(x)|\le M$ for every $x\in\mathbb{R}^{n}$, and by Continuous Periodic Functions are Power-Integrable and Dense on the Torus §member, used with the exponent $1$, the restriction $\varphi|_{Q}$ is measurable with respect to $\mathcal{B}_{Q}$ and belongs to $\mathcal{L}^{1}(\mathbb{T}^{n})$. Then the following hold.

1. (The pairing)¶ Let $w\in\mathcal{L}^{1}(\mathbb{T}^{n})$. Then the pointwise product $w\,(\varphi|_{Q})$ belongs to $\mathcal{L}^{1}(\mathbb{T}^{n})$, and for every real number $M$ with $0\le M$ and $|\varphi(x)|\le M$ for every $x\in\mathbb{R}^{n}$,

2. (Linearity in each factor)¶ Let $w,w'\in\mathcal{L}^{1}(\mathbb{T}^{n})$, let $\varphi'\in C_{\mathrm{per}}$ and let $c\in\mathbb{R}$. Then $w+c\,w'\in\mathcal{L}^{1}(\mathbb{T}^{n})$ by Minkowski's Inequality and the Seminormed Space of Power-Integrable Functions §vector-space, the map $\varphi+c\,\varphi'$ lies in $C_{\mathrm{per}}$ by Elementary Properties of Lattice-Periodic Functions §algebra, and

3. (Dependence on the class only)¶ Let $w,w'\in\mathcal{L}^{1}(\mathbb{T}^{n})$ satisfy $[w]=[w']$ in $L^{1}(\mathbb{T}^{n})$, that is, $w=w'$ $\lambda_{Q}$-almost everywhere on $Q$ by The Lebesgue Space of Power-Integrable Functions §equivalence. Then

4. (The test integrals determine the class)¶ Let $w,w'\in\mathcal{L}^{1}(\mathbb{T}^{n})$ satisfy

Then $w=w'$ $\lambda_{Q}$-almost everywhere on $Q$, so that $[w]=[w']$ in $L^{1}(\mathbb{T}^{n})$; and if moreover $w$ and $w'$ lie in $\mathcal{L}^{q}(\mathbb{T}^{n})$ for a real number $q$ with $1\le q$, then $[w]=[w']$ in $L^{q}(\mathbb{T}^{n})$ as well.