Vanishing Mean of a Derivative and Integration by Parts on the Torus
lemmaAnalysisPDElem:periodic-integration-by-parts-2026aA 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.
In the setting of The Flat Torus: Standing Notation. For the restriction lies in by Continuous Periodic Functions are Power-Integrable and Dense on the Torus §member, and we abbreviate
Recall from Elementary Properties of Lattice-Periodic Functions §derivative that for and , and from Elementary Properties of Lattice-Periodic Functions §algebra that is closed under pointwise products, so that all four integrands below lie in and the abbreviation applies to them. Then the following hold.
1. (Vanishing mean of a derivative)¶ Let and let . Then
2. (Integration by parts)¶ Let and let . Then
Loading…
Prerequisites
No prerequisites tracked.
Dependents
No dependents yet.
Dependent proofs
No dependent proofs yet.
No relations recorded yet.