Uniform Convergence, Continuity, Parity and Derivatives of Sine and Cosine
theoremAnalysisthm:sine-cosine-calculus-2026aThe defining series for cosine and sine converge uniformly on every interval , with an explicit tail bound; both functions are continuous on the real line, satisfy and , are respectively even and odd, and are differentiable everywhere with derivatives and .
In the setting of The Real Numbers: Standing Notation and Background, let and be the cosine and sine functions from to , and for let be the terms of the two series occurring there,
the exponents being the natural numbers abbreviated in Iterated Powers, Factorials, and Convergence of the Series of Powers over Factorials §powers. Continuity of a function from to , at a point or on , means continuity relative to formed with the metric of The Real Numbers: Standing Notation and Background §numbers; and differentiability at a point, with a given derivative, is that notion on the interval , every point of which is an interior point of it by Basic Facts about Intervals of the Real Line and Their Interior Points §whole-line.
Then the following hold.
1. (Uniform convergence on a bounded interval, with a tail bound)¶ Let be a positive real number and let be the closed interval determined by and . Then converges uniformly on to the function , and converges uniformly on to the function . Moreover, for every and every ,
the two infinite series converging by Iterated Powers, Factorials, and Convergence of the Series of Powers over Factorials §trigonometric.
2. (Continuity)¶ The functions and are continuous on .
3. (Values at the origin)¶ and .
4. (Parity)¶ For every one has and .
5. (Derivatives)¶ For every the function is differentiable at with derivative , and the function is differentiable at with derivative .
Loading…
Prerequisites
No prerequisites tracked.
Dependents
No dependents yet.
Dependent proofs
No dependent proofs yet.
No relations recorded yet.