Actividad 2.

Estabilidad de sistemas
Condicionamiento y estabilidad de sistemas:
Para el siguiente par de problemas vas a calcular el condicionamiento de una función y argumentar
matemáticamente las preguntas que hacen a continuación:
Considera la función 𝑓(𝑥) = √𝑥 + 1 − √𝑥. Al calcular para valores normales no parece haber ningún
problema, pero considera usarla para valores grandes de 𝑥, digamos 𝑥 ≈ 104 .
a) Obtén la expresión para el condicionamiento de 𝑓(𝑥) dependiendo de 𝑥.
b) Trabajando con una precisión de 4 cifras significativas, explica en tus propias palabras por que la
1
expresión 𝑓𝑠 (𝑥) = es más estable.
√𝑥+1+√𝑥

Tip: Considera comparar el error absoluto y relativo de valores grandes. Intenta determinar en qué paso 𝑓(𝑥)
aumenta su condicionamiento.

Solución a la pregunta 1:
Para funciones reales de una variable real, definimos a 𝐶(𝑥) como:
𝑥𝑓 ′ (𝑥)
𝐶(𝑥) = | |
𝑓(𝑥)
De obtenemos que:
1 1 √𝑥 − √𝑥 + 1
𝑥( − ) 𝑥
2√𝑥 + 1 2√𝑥 2√𝑥 √𝑥 + 1 | 𝑥 𝑥
𝐶(𝑥) = | | = || | = |− |=| |
√𝑥 + 1 − √𝑥 √𝑥 + 1 − √𝑥 2√𝑥 √𝑥 + 1 2√𝑥 √𝑥 + 1

𝑥
𝐶(𝑥) = ,𝑥 > 0
2√𝑥 √𝑥 + 1
𝑥
𝐶(𝑥) =
2√𝑥 √𝑥 + 1

√𝑥 1 𝑥 1 𝑥+1−1 1 1 1
𝐶(𝑥) = = √ = √ = √1 − <
2√𝑥 + 1 2 𝑥 + 1 2 𝑥+1 2 𝑥+1 2
1
𝐶(𝑥) <
2

Podemos decir entonces que el problema está bien condicionado, y cuanto mayor sea el valor de 𝑥 disminuirá
1
su condicionamiento puesto cuando 𝑥 → +∞, 𝐶(𝑥) → 2.

La expresión 𝑓(𝑥) = √𝑥 + 1 − √𝑥 es inestable para valores grandes de 𝑥 ≈ 104 porque al restar cantidades
similares se produce inestabilidad en el sistema, supongamos el algoritmo de cálculo:
1. Input: 𝑥
 2. 𝑦 = 𝑥 + 1
3. 𝑓1 = √𝑦

4. 𝑓2 = √𝑥
5. 𝑓 = 𝑓1 − 𝑓2
Conforme aumenta el valor de 𝑥, en el quinto paso se produce la inestabilidad pues para cantidades grandes,
la diferencia entre 𝑥 y 𝑥 + 1, no es percibida por el algoritmo, por ejemplo √10001 y √10000, recordemos
que el algoritmo tiene que redondear y al hacer la diferencia se pierden cifras significativas, introduciendo
errores e inestabilidad al sistema.

Analizamos el apartado 𝑏

Para valores de 𝑥 grandes la diferencia entre las expresiones √𝑥 + 1 𝑦 √𝑥 es prácticamente nula, por ello
1 1
podemos aproximar la expresión 𝑓𝑠 (𝑥) = ≈ disminuyendo los pasos necesarios en el algoritmo
√𝑥+1+√𝑥 2√𝑥+1

para el calculo de la expresión, aumentando la estabilidad y disminuyendo el error introducido por el número
de operaciones.

Problema 2
La función
∞
𝑒𝑥 − 1 𝑥𝑖
𝑔(𝑥) = =∑
𝑥 (𝑖 + 1)!
𝑖=0

Se puede calcular mediante el algoritmo:

 Si 𝑥 = 0
o 𝑔=1
 Si no
exp(𝑥)−1
o 𝑔(𝑥) = 𝑥

 Fin.

a) ¿Dónde consideras este algoritmo se vuelve inestable y por qué?

b) ¿Cómo consideras que el cambio de variable?
𝑦 = exp(𝑥)
 Si 𝑦 = 1
o 𝑔=1
 Si no
 𝑦−1
o 𝑔= ln 𝑦

 Fin

Compara con un par de tablas con valores entre 10−5 y 10−16 con 10,15,20 cifras significativas para cada
algoritmo para que puedas observar el efecto numéricamente.

Solución a la pregunta 2:
Estudiamos el condicionamiento de la funcion:
𝑒𝑥 − 1
𝑓(𝑥) = , 𝑥≠0
𝑥
𝑒 𝑥 𝑥 − (𝑒 𝑥 − 1) 𝑒 𝑥 (𝑥 − 1) − 1
𝑓 ′ (𝑥) = =
𝑥2 𝑥2
El número de condición será:

′ (𝑥)
𝑒 𝑥 (𝑥 − 1) − 1
𝑥𝑓 𝑥2 𝑥𝑒 𝑥 − (𝑒 𝑥 − 1) 𝑥
𝐶(𝑥) = | | = |𝑥 𝑥 |=| |=| − 1|
𝑓(𝑥) 𝑒 − 1 𝑥
𝑒 −1 1 − 𝑒 −𝑥
𝑥
Cuando 𝑥 → 0 el número de condición tiende a 1, aunque el sistema esta bien condicionado, a medida que
nos acercamos a cero el sistema se vuelve más inestable, cuando 𝑥 crece en dirección de los números
positivos, el número de condición es mayor a 1 y el sistema está mal condicionado. Cuando 𝑥 decrece en
dirección de los números negativos, el número de condición tiende a 1, aunque el sistema esta bien
condicionado a medida que nos alejamos de el cero, el sistema se vuelve más inestable.
Realizando el cambio de variable eliminamos la inestabilidad producida al estudiar valores grandes de la
función exp(𝑥), y a su vez cuanto tienden a cero, al realizar cálculos de forma análoga con la función
logarítmica, que permite obtener valores relativamente más pequeños y que introducen menor cantidad de
error en el cálculo.

Realizamos la comparación con los cálculos hechos en una hoja de calculo

𝑒𝑥 − 1
𝑥 𝑔(𝑥) = 15 cifras significativas 20 cifras significativas
𝑥
1E-05 1,0000050000 1,000005000006960 1,00000500000696000000
1E-06 1,0000005000 1,000000499962180 1,00000049996218000000
1E-07 1,0000000494 1,000000049433680 1,00000004943368000000
1E-08 0,9999999939 0,999999993922529 0,99999999392252900000
1E-09 1,0000000827 1,000000082740370 1,00000008274037000000
1E-10 1,0000000827 1,000000082740370 1,00000008274037000000
1E-11 1,0000000827 1,000000082740370 1,00000008274037000000
1E-12 1,0000889006 1,000088900582340 1,00008890058234000000
1E-13 0,9992007222 0,999200722162641 0,99920072216264100000
 1E-14 0,9992007222 0,999200722162641 0,99920072216264100000
1E-15 1,1102230246 1,110223024625160 1,11022302462516000000
1E-16 0,0000000000 0,000000000000000 0,00000000000000000000

Observemos que a medida que tiende a cero, los cálculos con la función exponencial de 𝑥 se complican y no
tiene capacidad de calculo el programa. Aunque nosotros conocemos el hecho de que:
𝑒𝑥 − 1
lim =1
𝑥→0 𝑥
Para 𝑥 = 10−16 , el software no puede ya realizar el cálculo, además observamos la inestabilidad en el cálculo,
al oscilar los resultados alrededor de 1.
En cambio, al realizar el cambio de variable 𝑦 = exp(𝑥), obtenemos:

𝑦−1
𝑔(𝑦) =
𝑦 = exp(𝑥) ln 𝑦 15 cifras significativas 20 cifras significativas
1,00001000005000 1,0000050000 1,000005000016670 1,00000500001667000000
1,00000100000050 1,0000005000 1,000000500000170 1,00000050000017000000
1,00000010000000 1,0000000500 1,000000050000000 1,00000005000000000000
1,00000001000000 1,0000000050 1,000000005000000 1,00000000500000000000
1,00000000100000 1,0000000005 1,000000000500000 1,00000000050000000000
1,00000000010000 1,0000000001 1,000000000050000 1,00000000005000000000
1,00000000001000 1,0000000000 1,000000000005000 1,00000000000500000000
1,00000000000100 1,0000000000 1,000000000000500 1,00000000000050000000
1,00000000000010 1,0000000000 1,000000000000050 1,00000000000005000000
1,00000000000001 1,0000000000 1,000000000000010 1,00000000000001000000
1,00000000000000 1,0000000000 1,000000000000000 1,00000000000000000000
1,00000000000000

Observamos como rápidamente el límite converge a 1. Y el sistema es estable, porque el valor disminuye hacia
el valor del limite y no oscila alrededor de él como en el caso anterior.