Skip to content

Latest commit

 

History

History
214 lines (118 loc) · 8.85 KB

ejercicios.org

File metadata and controls

214 lines (118 loc) · 8.85 KB

Tema 1

Ejercicio 6

a) Hallar las raíces

Para hallar el término $xn+1$ hay que sacar las raíces del polinomio:

$$p(x) = f(x_n) + f’(x_n)(x - x_n) + \frac12f”(x_n)(x-x_n)^2$$

Por tanto:

$$xn+1 = x_n + \frac{-f’(x_n) ± \sqrt{f’(x_n)^2 - 2f(x_n)f”(x_n)}}{f”(x_n)}$$

b) ¿Qué raíz debemos escoger?

Debemos llegar a un punto tal que $f(x^∗) = 0$. Este será un punto fijo, es decir:

$$x^∗ = x^∗ + \frac{-f’(x^∗) ± \sqrt{f’(x^∗)^2 - 2f(x^∗)f”(x^∗)}}{f”(x^∗)}$$

Es decir, el término de la derecha debe anularse. Simplificando y haciendo $f(x^∗) = 0$ tenemos que:

$$-f’(x^∗) ± \sqrt{f’(x^∗)^2} = 0$$

Por tanto debemos escoger la raíz con símbolo $+$.

c) Comprobación del método

Si multiplicamos por el conjugado la expresión original:

$$xn+1 = x_n - \frac{f’(x_n) - \sqrt{f’(x_n)^2 - 2f(x_n)f”(x_n)}}{f”(x_n)} ⋅ \frac{f’(x_n) + \sqrt{f’(x_n)^2 - 2f(x_n)f”(x_n)}}{f’(x_n) + \sqrt{f’(x_n)^2 - 2f(x_n)f”(x_n)}}$$

Simplificando:

$$xn+1 = x_n - \frac{f’(x_n)^2 - f’(x_n)^2 + 2f(x_n)f”(x_n)}{(f’(x_n) + \sqrt{f’(x_n)^2 - 2f(x_n)f”(x_n)})f”(x_n)}$$

Reordenando términos y sacando $f’(x_n)^2$:

$$xn+1 = x_n - \frac{2}{1 + \sqrt{1 - 2\frac{f(x_n)f”(x_n)}{f’(x_n)^2}}}\frac{f(x_n)}{f’(x_n)}$$

d)

Hecho en Maxima. No converge.

e)

Sea $x^∗$ el punto fijo de $f$. Por el teorema de Taylor existe $ξ$ en el menor intervalo abierto que contiene a $x_k$ y $x^∗$ tal que:

$$0 = f(x^∗) = f(x_k) + f’(x_k)(x^∗ - x_k) + \frac12f”(x_k)(x^∗ - x_k)^2 + \frac16f”’(ξ)(x^∗ - x_k)^3$$

Además, por cómo se ha elegido $xk+1$:

$$0 = f(x_k)+ f’(x_k)(xk+1-x_k) + \frac12f”(x_k)(xk+1-x_k)^2$$

Restando una expresión a otra:

$$0 = f’(x_k)(x^∗ - xk+1) + \frac12f”(x_k)(x^∗ - xk+1)(x^∗ + xk+1 - 2x_k) + \frac16f”’(ξ)(x^∗ - x_k)^3$$

Sacamos factor común y despejamos:

$$\left(f’(x_k) + \frac12f”(x_k)(x^∗ + xk+1 - 2x_k)\right)(x^∗ - xk+1) = \frac16f”’(ξ)(x_k - x^∗)^3$$

Tomamos valor absoluto y tenemos que:

$$|x^∗ - xk+1| = \frac16\frac{|f”’(ξ)|}{\left|f’(x_k) + \frac12f”(x_k)(x^∗ + xk+1 - 2x_k)\right|}|x^∗ - x_k|^3$$

Sea $f ∈ C^3([x^∗ - δ_1, x^∗ + δ_1])$ para algún $δ_1 > 0$. Como $f’(x^∗) ≠ 0$, por el lema de conservación del signo $∃ δ_2$ con $0 < δ_2 \leq δ_1$ tal que, siendo $I_2 = [x^∗ - δ_2, x^∗ + δ_2]$:

$$minx ∈ I_2 |f’(x)| > 0$$

Sea $\displaystyle Mi, δ = maxx ∈ [x^∗ - δ, x^∗ + δ] |f(i)(x)|$, que existe para todo $i$ menor que $4$ y todo $δ$ menor o igual que $δ_2$ por el teorema de Weierstrass y porque $f ∈ C^3(I_2)$. Sea $mi, δ$ la expresión con el mínimo, que en el caso anterior existe, por lo que podemos llamar $m1, δ_2$ a la cota inferior anterior.

Tomamos $δ$ con $0 &lt; δ \leq δ_2$ tal que $δ M2, δ_2 < \frac 2 3 m1, δ_2$ y $M2, δ_2 \left( 2 \frac {M0, δ}{m1, δ_2} \right) < m1, δ_2$. La segunda igualdad puede conseguirse porque $f(x)$ tiende a $0$ cuando $x$ tiende a $x^∗$. Entonces, tomando $x_k ∈ I := [x^∗ - δ, x^∗ + δ]$ y usando la definición de $xk+1$:

$$ \frac{|f”’(ξ)|}{\left|f’(x_k) + \frac12f”(x_k)(x^∗ + xk+1 - 2x_k)\right|} \leq \frac{M3, δ}{m1, δ - ½ M2, δ |\underbrace{x^∗ - x_k}\leq δ + xk+1 - x_k|} $$ $$ \leq \frac{M3, δ}{m1, δ_2 - ½ M2, δ_2 \big(δ + |\frac 2 {\underbrace{1 + \sqrt{…}}\leq 1} \frac {M0, δ}{m1, δ_2}| \big)} \leq \frac{M3, δ}{m1, δ_2 - \frac13 m1, δ_2 - ½ m1, δ_2} = \frac{6 M3, δ}{m1, δ_2}$$

Por ello, sea $K = \frac{M3, δ}{m1, δ_2}$, podemos acotar la expresión que queríamos:

$$|x^∗ - xk+1| \leq K|x^∗ - x_k|^3$$

Dando así orden de convergencia 3.

Ejercicio 9

$xn+1 = 1 - log x_n$

Esta sucesión converge a un punto fijo de $1 - log x_n$, es decir, un punto en el que:

$$1 - log x = x$$

por lo que no sirve para resolver el problema.

El resto de sucesiones si convergen lo hacen a un punto tal que $1 - log x = 0$.

$xn+1 = x_n + 1 - log x_n$

Consideramos la aplicación $g(x) = x + 1 - log x$:

Vemos que $|g’| &lt; 1$ en $(0,+∞)$ por lo que la aplicación es contractiva.

Además, $g([2,3]) \subseteq [2,3]$

$xn+1 = x_n - (1 - log x_n)$

Consideramos la aplicación $g(x) = x - (1 - log x)$:

Vemos que $|g’| &gt; 1$ en $(0,+∞)$ por lo que la aplicación no es contractiva. Por tanto no podemos aplicar el teorema del punto fijo.

$xn+1 = x_n + (1 - log x_n)/3$

Consideramos la aplicación $g(x) = x + (1 - log x)/3$:

Vemos que $|g’| &lt; 1$ en $(0,+∞)$ por lo que la aplicación es contractiva.

Además $g([2,3]) \subseteq [2,3]$

Ejercicio 18

a) Hallar $D$ y $g$ para el método

Sea $D = [0,1]^2$. Podemos tomar como $g = g_1 × g_2$:

$$g_1(x,y) = \frac{1}{\sqrt{5}}y = x \iff 5x^2 - y^2 = 0$$ $$g_2(x,y) = ¼(sin x + cos y) = y \iff y - 0.25(sin x +cos y) = 0$$

Tenemos que $g_1,g_2 \geq 0$ en $D$. Además, claramente: $max g_1 = \frac1{\sqrt{5}} &lt; 1$ y $max g_2 \leq ½$. Así, $g(D) \subseteq D$. Por otra parte, $g ∈ C^1(D)$ y:

$$J g(x) = \left(\begin{matrix}0 & \frac{1}{\sqrt{5}} \ \frac{cos x}{4} & \frac{-sin y}{4} \end{matrix}\right)$$

Y por tanto $||J g(x)||_∞ = maxx,y ∈ D \{ \frac{1}{\sqrt{5}}, ¼(|cos x| + |sin y|) \} = ½ < 1$, por lo que la aplicación es contractiva en $D$.

Así, por el teorema de convergencia global, existe $x^∗ ∈ D$ tal que $g(x^∗) = x^∗$. Además el teorema garantiza la convergencia a ese punto mediante iteración funcional.

Tema 2

Ejercicio 9

a)

Si llamamos los nodos $x_i, x_j, x_k$ tenemos que:

$$l_i’(x) = \frac{2x - x_j - x_k}{(x_i -x_k)(x_i - x_j)}$$

Es decir:

  • $l_0’(x) = \frac{2x - 4h}{3h^2}$, por lo que $l_0’(2h) = 0$
  • $l_1’(x) = \frac{2x - 3h}{-2h^2}$, por lo que $l_1’(2h) = \frac{-1}{2h}$
  • $l_2’(x) = \frac{2x - h}{6h^2}$, por lo que $l_2’(2h) = \frac{1}{2h}$

Por tanto la fórmula de derivación numérica queda:

$$\operatorname{FDN}(f) = ∑ f(x_i)l_i(x) = \frac{f(3h) - f(h)}{2h}$$

b)

Desarrollamos el polinomio de Taylor centrado en $2h$:

$$f(x) = f(2h) + f’(2h)(x-2h) + ½ f”(2h)(x-2h)^2 + \frac16 f”’(ξ)(x-2h)^3$$

Evaluando en $3h$ y en $h$ tenemos, para $h &lt; ξ_2 &lt; 2h &lt; ξ_1 &lt; 3h$:

$$f(3h) = f(2h) + hf’(2h) + ½ h^2 f”(2h) + \frac16 h^3 f”’(ξ_1)$$ $$f(h) = f(2h) - hf’(2h) + ½ h^2 f”(2h) - \frac16 h^3 f”’(ξ_2)$$

La diferencia vale:

$$f(3h) - f(h) = 2hf’(2h) + \frac16 h^3 (f”’(ξ_1) + f”’(ξ_2))$$

Si $f ∈ \mathcal{C}^3$ por el teorema de los valores intermedios tenemos que existe un $h &lt; ξ &lt; 3h$ tal que:

$$f(3h) - f(h) = 2hf’(2h) + \frac13 h^3 f”’(ξ)$$

Por tanto:

$$\operatorname{ED}(f) = f’(2h) - \operatorname{FDN}(f) = f’(2h) - \frac{f(3h)-f(h)}{2h} = - \frac{h^2}{6} f”’(ξ)$$

Ejercicio 13

Deduce las expresiones de las fórmulas de Newton-Cotes abiertas con $n = 1$ y $n = 2$ y obtén la expresión del error de dichas fórmulas

Las fórmulas se obtienen de:

$$\operatorname{FC}_n(f) = ∑i=0n\left(∫_0^2 l_i\right)f\left(a + (i+1)\frac{b-a}{n+2}\right)$$

Para calcular las integrales de los polinomios de la base de Lagrange utilizamos el cambio de variable que las transforma en integrales estándar.

En el caso de n = 1 tenemos:

#+TODO

El error tiene la expresión, para cierto $ξ ∈ [0,2]$:

$$\operatorname{EC}_1(f) = \frac{h1+2f1+1)(ξ)}{(1+1)!}∫-11+1 y(y-1) \; dy = \frac{3h^3}{4}f2)(ξ)$$

En el caso de n = 2 tenemos:

#+TODO

El error tiene la expresión, para cierto $ξ ∈ [0,2]$:

$$\operatorname{EC}_2(f) = \frac{h2+3f2+2)(ξ)}{(2+2)!}∫-12+1 y^2(y-1)(y-2) \; dy = \frac{14h^5}{45}f4)(ξ)$$

Calcula utilizando las fórmulas obtenidas en el apartado anterior las aproximaciones de $∫_0^2x^3 - 2x^2 +1 \; dx$

Basta aplicar las fórmulas utilizadas anteriormente, con $h = 2/(n+2)$, $a = 0$, $b = 2$.

$$\operatorname{FNC}_1(f) = \frac{3h}{2}[f(a+h) + f(b-h)] = \frac29 = 0.\bar{2} $$ $$\operatorname{FNC}_2(f) = \frac{4h}{3}\left[2f(a+h) -f\left(\frac{a+b}{2}\right)+ 2f(b-h)\right] = \frac23$$

Compara los errores reales con los errores teóricos cometidos

Podemos calcular el valor exacto de la integral obteniendo una primitiva:

$$∫_0^2x^3 - 2x^2 +1 \; dx = \left[¼ x^4 - \frac23 x^3 + x \right]_0^2 = 4-5\frac{1}{3} + 2 = \frac23$$

Comparamos con las cotas del error que nos proporciona la expresión del error de las fórmulas:

$$|E_1|(f) = \frac49 \quad |E_1(f)| = \frac{3h^3}{4}|f”(ξ)| = |\frac89(6ξ-4)| \leq \frac89(12-4) = \frac{16}{9} $$

$$|E_2|(f) = 0 \quad |E_2(f)| = \frac{14h^5}{45}|f^4)(ξ)| = 0$$