The Laplacian of the Trigonometric System, and the Fourier Coefficients of a Laplacian on the Torus
lemmaAnalysislem:laplacian-trigonometric-system-torus-2026aEach member of the trigonometric system is twice continuously differentiable and is an eigenfunction of the Laplacian with eigenvalue minus four pi squared times the squared length of its frequency; consequently the Fourier coefficients of the Laplacian of a twice continuously differentiable periodic function are those of the function multiplied by that eigenvalue.
We work in the setting of The Flat Torus: Standing Notation, used here with a natural number satisfying ; the initial segments , Euclidean space with its norm , the integer lattice , the cell , the class and the space with the class map , the periodic classes , and , the restriction , and the partial derivatives , the iterated partial derivatives and the classes on a Euclidean open set are the ones fixed there; is open in itself by claim 1 of Euclidean Space is Open in Itself, and Maps are Continuous, so those calculus notions apply to maps on all of . Let be the real number of The Number Pi §pi (the wrapping map of The Flat Torus: Standing Notation §cell is not used here), let and , and for a real number write . Let be the inner product of . Let for be the trigonometric system on and its classes, as introduced in The Trigonometric System on the Torus is Orthonormal §classes. Let denote the Laplacian of a map of class on . Then the following hold.
1. (The trigonometric system is twice continuously differentiable)¶ Let and . Then is of class on and belongs to , and
2. (Eigenfunctions of the Laplacian)¶ Let . Then
3. (Fourier coefficients of a Laplacian)¶ Let . Then and belong to , their restrictions and belong to , and for every
Loading…
Prerequisites
No prerequisites tracked.
Dependents
No dependents yet.
Dependent proofs
No dependent proofs yet.
No relations recorded yet.