TheoremBase

Vanishing Mean of a Derivative and Integration by Parts on the Torus

A partial derivative of a continuously differentiable periodic function has integral zero over the torus, so integration by parts on the torus carries no boundary term.

Statement

In the setting of The Flat Torus: Standing Notation. For u∈Cperu\in C_{\mathrm{per}} the restriction u∣Qu|_{Q} lies in L1(Tn)\mathcal{L}^{1}(\mathbb{T}^{n}) by Continuous Periodic Functions are Power-Integrable and Dense on the Torus (i), and we abbreviate

∫Tnu dx=∫Tnu∣Q dx.\int_{\mathbb{T}^{n}}u\,dx=\int_{\mathbb{T}^{n}}u|_{Q}\,dx .

Recall from Elementary Properties of Lattice-Periodic Functions (ii) that ∂ig∈Cper\partial_{i}g\in C_{\mathrm{per}} for g∈Cper1g\in C^{1}_{\mathrm{per}} and i∈[n]i\in[n], and from Elementary Properties of Lattice-Periodic Functions (i) that CperC_{\mathrm{per}} is closed under pointwise products, so that all four integrands below lie in CperC_{\mathrm{per}} and the abbreviation applies to them. Then the following hold.

1. (Vanishing mean of a derivative) Let g∈Cper1g\in C^{1}_{\mathrm{per}} and let i∈[n]i\in[n]. Then

∫Tn∂ig dx=0.\int_{\mathbb{T}^{n}}\partial_{i}g\,dx=0 .

2. (Integration by parts) Let g,h∈Cper1g,h\in C^{1}_{\mathrm{per}} and let i∈[n]i\in[n]. Then

∫Tn(∂ig) h dx=−∫Tng (∂ih) dx.\int_{\mathbb{T}^{n}}(\partial_{i}g)\,h\,dx=-\int_{\mathbb{T}^{n}}g\,(\partial_{i}h)\,dx .

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…