Serie de Taylor para $\sin(x)$ $\cos(x)$ $0$ son bien conocidos y habitualmente ejerce en principiantes cursos de análisis matemático. Sin embargo, como sabemos serie de Taylor están muy localizados y, en última instancia, el ajuste de un punto y una serie de los límites de lo que un punto (diferenciales de enteros postales):
$$\begin{align}\sin(x) &= \sum_{k=0}^\infty \frac{(-1)^kx^{2k+1}}{(2k+1)!} \\\cos(x) &= \sum_{k=0}^\infty \frac{(-1)^kx^{2k}}{(2k)!}\end{align}$$
También tenemos la rotación de las matrices, que proporcionan una forma para calcular el ángulo de doblar por la matriz de competencias:
$$R_\phi = \left[\begin{array}{rr}\cos(\phi)&\sin(\phi)\\-\sin(\phi)&\cos(\phi)\end{array}\right] \hspace{0.5cm} R_{2\phi} = {R_{\phi}}^2 = \left[\begin{array}{rr}\cos(2\phi)&\sin(2\phi)\\-\sin(2\phi)&\cos(2\phi)\end{array}\right] ... et.c.$$
Hay algo para ser adquirida en la combinación de estos? Ya sea en la velocidad de cálculo o la precisión del resultado.
Puede que sea derivar o encontrar un enfoque sistemático para estimar los intervalos de $a \subset \mathbb R$ donde los polinomios de Taylor debe ser evaluado y $b \subset \mathbb R$ donde hacia atrás doblando debe hacer para lograr eso?
Intento de aclarar:
Podemos por algún método para encontrar una expansión de Taylor $T_p(x)$ orden $p$ y un entero $k$ los dos intervalos en $\mathbb R$:
- $\mathcal S_1 = \left[0,\frac \pi {2^k}\right[$,
- $\mathcal S_2 = \left[\frac \pi {2^k}, \frac \pi 2 \right]$
De modo que el número de multiplicaciones requeridas en total se minimiza por el siguiente procedimiento recursivo:
- Hasta estimación se calcula:
- Si $x_n \in \mathcal S_2$ realizar un mirar hacia atrás en $x_{n+1} = \frac {x_n} 2$ con la ayuda de la matriz de la relación anterior.
- Si $x_n \in \mathcal S_1$ calcular el valor del polinomio de Taylor de orden $p$. Y para que $|\sin(x) - T_p(x)| \leq 2^{-54} \forall x \in \mathcal S_1$ es decir, la precisión es seguro que será suficiente para la mantisa de un doble precisión flotar en lo que establece que será el cálculo de la estimación.