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.
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 (i), and we abbreviate
Recall from Elementary Properties of Lattice-Periodic Functions (ii) that for and , and from Elementary Properties of Lattice-Periodic Functions (i) 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…
No relations recorded yet.