Proof of The Square-Integrable and Sobolev Spaces of the Torus Form a Hilbert Triple

Each result cited is universally quantified over the data in its own statement, and is applied here to the data named below.

Proof of claim 1. The measure space $(Q,\mathcal{B}_{Q},\lambda_{Q})$ is the one fixed in The Flat Torus: Standing Notation §measure. By The Lebesgue Space of Square-Integrable Functions is a Real Hilbert Space §hilbert, applied to that measure space, $L^{2}(\mathbb{T}^{n})$ with the inner product $\langle\,\cdot\,,\cdot\,\rangle_{L^{2}}$ of The Lebesgue Space of Square-Integrable Functions is a Real Hilbert Space §inner-product is a real Hilbert space; by that clause its norm and distance are those fixed in The Flat Torus: Standing Notation §lebesgue.

By The Sobolev Space of Once Weakly Differentiable Square-Integrable Classes on the Torus §space, $H^{1}(\mathbb{T}^{n})$ is a linear subspace of $L^{2}(\mathbb{T}^{n})$, and by The Sobolev Space of Once Weakly Differentiable Square-Integrable Classes on the Torus §inner-product the map $\langle\,\cdot\,,\cdot\,\rangle_{H^{1}}$ is an inner product on it, with distance $d_{H^{1}}$. By The Sobolev Space on the Torus is a Separable Hilbert Space Densely Embedded in the Square-Integrable Space §complete, $H^{1}(\mathbb{T}^{n})$ with that inner product is a real Hilbert space.

We check the two conditions of Hilbert Triple: a Densely and Continuously Embedded Hilbert Space and Its Form Operator §triple for $H=L^{2}(\mathbb{T}^{n})$ and $V=H^{1}(\mathbb{T}^{n})$. Condition Hilbert Triple: a Densely and Continuously Embedded Hilbert Space and Its Form Operator §embedding requires that the $L^{2}$ norm of a member of $H^{1}(\mathbb{T}^{n})$ be at most its $H^{1}$ norm; this is the first inequality of The Sobolev Space on the Torus is a Separable Hilbert Space Densely Embedded in the Square-Integrable Space §embedding. Condition Hilbert Triple: a Densely and Continuously Embedded Hilbert Space and Its Form Operator §dense requires that $H^{1}(\mathbb{T}^{n})$ be dense in $L^{2}(\mathbb{T}^{n})$; this is The Sobolev Space on the Torus is a Separable Hilbert Space Densely Embedded in the Square-Integrable Space §dense.

Hence Hilbert Triple: a Densely and Continuously Embedded Hilbert Space and Its Form Operator §triple applies to these data, and Hilbert Triple: a Densely and Continuously Embedded Hilbert Space and Its Form Operator §operator furnishes the set $D(A)\subseteq H^{1}(\mathbb{T}^{n})$ and the map $A:D(A)\to L^{2}(\mathbb{T}^{n})$ with $\langle X,Y\rangle_{H^{1}}=\langle AX,Y\rangle_{L^{2}}$ for all $X\in D(A)$ and $Y\in H^{1}(\mathbb{T}^{n})$, so that $L^{2}(\mathbb{T}^{n})$, $H^{1}(\mathbb{T}^{n})$ with $\langle\,\cdot\,,\cdot\,\rangle_{H^{1}}$, and $A$ form a Hilbert triple.

Finally $(H^{1}(\mathbb{T}^{n}),d_{H^{1}})$ is separable by The Sobolev Space on the Torus is a Separable Hilbert Space Densely Embedded in the Square-Integrable Space §separable. Since $V=H^{1}(\mathbb{T}^{n})$ and $d_{V}=d_{H^{1}}$ for this triple, that is precisely the standing hypothesis Hilbert Triples: Standing Notation and Background §separable.

Proof of claim 2. Let $u\in C^{2}_{\mathrm{per}}$. The memberships $u\in C^{1}_{\mathrm{per}}$, $u\in C_{\mathrm{per}}$, $\partial_{i}\partial_{i}u\in C_{\mathrm{per}}$ for $i\in[n]$, $\Delta u\in C_{\mathrm{per}}$, $u-\Delta u\in C_{\mathrm{per}}$, $(u-\Delta u)|_{Q}\in\mathcal{L}^{2}(\mathbb{T}^{n})$ and $[u|_{Q}]\in H^{1}(\mathbb{T}^{n})$ are justified in the statement by the references attached there; for $\Delta u$ we note in addition that $\Delta u$ is by The Laplacian of a Twice Continuously Differentiable Function §laplacian the map whose value at $x$ is the finite sum $\sum_{i=1}^{n}\partial_{i}\partial_{i}u(x)$, and that a finite sum of members of $C_{\mathrm{per}}$ lies in $C_{\mathrm{per}}$ by induction on the upper summation index from Elementary Properties of Lattice-Periodic Functions §algebra, the base case being a single member of $C_{\mathrm{per}}$.

Write $U=[u|_{Q}]$. Since $u\in C^{1}_{\mathrm{per}}$, Elementary Properties of the Weak Partial Derivative on the Torus §classical gives $\partial_{j}U=[(\partial_{j}u)|_{Q}]$ for every $j\in[n]$, this class lying in $L^{2}(\mathbb{T}^{n})$ by that clause.

Let $V\in H^{1}(\mathbb{T}^{n})$, let $v$ be a representative of $V$ and, for $j\in[n]$, let $h_{j}$ be a representative of $\partial_{j}V$. By The Sobolev Space of Once Weakly Differentiable Square-Integrable Classes on the Torus §inner-product,

Fix $j\in[n]$. Since $u\in C^{2}_{\mathrm{per}}$, we have $\partial_{j}u\in C^{1}_{\mathrm{per}}$ by Elementary Properties of Lattice-Periodic Functions §derivative. Applying Elementary Properties of the Weak Partial Derivative on the Torus §test-c1 to the class $V$, its $j$-th weak partial derivative $\partial_{j}V$, the representatives $v$ and $h_{j}$, and the test function $\varphi=\partial_{j}u\in C^{1}_{\mathrm{per}}$,

By The Lebesgue Space of Square-Integrable Functions is a Real Hilbert Space §inner-product the right-hand integral is $\bigl\langle[(\partial_{j}u)|_{Q}],\partial_{j}V\bigr\rangle_{L^{2}}$, the pointwise product being commutative, so

For each $j\in[n]$ put $f_{j}=v\cdot\bigl((\partial_{j}\partial_{j}u)|_{Q}\bigr)$. Since $\partial_{j}\partial_{j}u\in C_{\mathrm{per}}$, its restriction to $Q$ lies in $\mathcal{L}^{2}(\mathbb{T}^{n})$ by Continuous Periodic Functions are Power-Integrable and Dense on the Torus §member, and $v\in\mathcal{L}^{2}(\mathbb{T}^{n})$; so $f_{j}$ is integrable by The Lebesgue Space of Square-Integrable Functions is a Real Hilbert Space §inner-product. Applying Linearity of the Lebesgue Integral over a Finite Sum of Integrable Functions §integrable and Linearity of the Lebesgue Integral over a Finite Sum of Integrable Functions §linear with $m=n$, these maps $f_{j}$ and the coefficients $c_{j}=-1$,

the map $x\mapsto\sum_{j=1}^{n}(-1)f_{j}(x)$ being integrable. By claims 1 and 4 of Properties of a Sum over a Finite Index Set, applied to the map $j\mapsto\partial_{j}\partial_{j}u(x)$ on $[n]$ with the scalar $-v(x)$, we have for every $x\in Q$

the last equality by The Laplacian of a Twice Continuously Differentiable Function §laplacian. Since the finite sums of two families with the same terms coincide, combining the last three displays gives

the last equality again by The Lebesgue Space of Square-Integrable Functions is a Real Hilbert Space §inner-product, the class $[(\Delta u)|_{Q}]$ lying in $L^{2}(\mathbb{T}^{n})$ by Continuous Periodic Functions are Power-Integrable and Dense on the Torus §member.

Therefore

By The Lebesgue Space of Square-Integrable Functions is a Real Hilbert Space §inner-product the right-hand side is $\int_{\mathbb{T}^{n}}\bigl(u|_{Q}\bigr)v\,dx-\int_{\mathbb{T}^{n}}\bigl((\Delta u)|_{Q}\bigr)v\,dx$, which by claim 2 of Linearity and Monotonicity of the Lebesgue Integral, applied with the coefficients $1$ and $-1$, equals

since $(u-\Delta u)|_{Q}$ and $u|_{Q}-(\Delta u)|_{Q}$ are the same map on $Q$, the difference being pointwise. This is the identity asserted in the claim.

Since $V\in H^{1}(\mathbb{T}^{n})$ was arbitrary, the class $Z=[(u-\Delta u)|_{Q}]\in L^{2}(\mathbb{T}^{n})$ satisfies $\langle U,Y\rangle_{H^{1}}=\langle Z,Y\rangle_{L^{2}}$ for every $Y\in H^{1}(\mathbb{T}^{n})$. By Hilbert Triple: a Densely and Continuously Embedded Hilbert Space and Its Form Operator §operator this says exactly that $U\in D(A)$ and $AU=Z$, that is, $[u|_{Q}]\in D(A)$ and $A[u|_{Q}]=[(u-\Delta u)|_{Q}]$.