TheoremBase

Uniform Convergence, Continuity, Parity and Derivatives of Sine and Cosine

The defining series for cosine and sine converge uniformly on every interval [−R,R][-R,R], with an explicit tail bound; both functions are continuous on the real line, satisfy cos⁡0=1\cos 0=1 and sin⁡0=0\sin 0=0, are respectively even and odd, and are differentiable everywhere with derivatives cos⁡\cos and −sin⁡-\sin.

Statement

In the setting of The Real Numbers: Standing Notation and Background, let cos⁡\cos and sin⁡\sin be the cosine and sine functions from R\mathbb{R} to R\mathbb{R}, and for k∈Nk\in\mathbb{N} let ck,σk:R→Rc_{k},\sigma_{k}:\mathbb{R}\to\mathbb{R} be the terms of the two series occurring there,

ck(x)=(−1)kx2k(2k)!,σk(x)=(−1)kx2k+1(2k+1)!(x∈R),c_{k}(x)=\frac{(-1)^{k}x^{2k}}{(2k)!}, \qquad \sigma_{k}(x)=\frac{(-1)^{k}x^{2k+1}}{(2k+1)!} \qquad(x\in\mathbb{R}),

the exponents being the natural numbers abbreviated in Iterated Powers, Factorials, and Convergence of the Series of Powers over Factorials (i). Continuity of a function from R\mathbb{R} to R\mathbb{R}, at a point or on R\mathbb{R}, means continuity relative to R\mathbb{R} formed with the metric dRd_{\mathbb{R}} of The Real Numbers: Standing Notation and Background (i); and differentiability at a point, with a given derivative, is that notion on the interval R\mathbb{R}, every point of which is an interior point of it by Basic Facts about Intervals of the Real Line (i).

Then the following hold.

1. (Uniform convergence on a bounded interval, with a tail bound) Let RR be a positive real number and let [−R,R][-R,R] be the closed interval determined by −R-R and RR. Then ∑k=1∞ck\sum_{k=1}^{\infty}c_{k} converges uniformly on [−R,R][-R,R] to the function x↦cos⁡x−1x\mapsto\cos x-1, and ∑k=1∞σk\sum_{k=1}^{\infty}\sigma_{k} converges uniformly on [−R,R][-R,R] to the function x↦sin⁡x−xx\mapsto\sin x-x. Moreover, for every m∈Nm\in\mathbb{N} and every x∈[−R,R]x\in[-R,R],

∣cos⁡x−1−∑k=1mck(x)∣≤∑k=1∞R2k(2k)!−∑k=1mR2k(2k)!,\Bigl|\cos x-1-\sum_{k=1}^{m}c_{k}(x)\Bigr|\le\sum_{k=1}^{\infty}\frac{R^{2k}}{(2k)!}-\sum_{k=1}^{m}\frac{R^{2k}}{(2k)!}, ∣sin⁡x−x−∑k=1mσk(x)∣≤∑k=1∞R2k+1(2k+1)!−∑k=1mR2k+1(2k+1)!,\Bigl|\sin x-x-\sum_{k=1}^{m}\sigma_{k}(x)\Bigr|\le\sum_{k=1}^{\infty}\frac{R^{2k+1}}{(2k+1)!}-\sum_{k=1}^{m}\frac{R^{2k+1}}{(2k+1)!},

the two infinite series converging by Iterated Powers, Factorials, and Convergence of the Series of Powers over Factorials (iv).

2. (Continuity) The functions cos⁡\cos and sin⁡\sin are continuous on R\mathbb{R}.

3. (Values at the origin) cos⁡0=1\cos 0=1 and sin⁡0=0\sin 0=0.

4. (Parity) For every x∈Rx\in\mathbb{R} one has cos⁡(−x)=cos⁡x\cos(-x)=\cos x and sin⁡(−x)=−sin⁡x\sin(-x)=-\sin x.

5. (Derivatives) For every x∈Rx\in\mathbb{R} the function sin⁡\sin is differentiable at xx with derivative cos⁡x\cos x, and the function cos⁡\cos is differentiable at xx with derivative −sin⁡x-\sin x.

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…