Algebra

CURSO 2008-09 Clase Prctica No. 2 a

Herramientas simblicas o Creacin de variables simblicas. o o

 INTRODUCCION (I)
Hay dos grandes vertientes tecnolgicas en el mbito de la informtica: la o a a numrica y la simblica. La primera est sujeta a los errores que conlleva e o a el acortamiento de los nmeros para ser representados internamente en el u ordenador. La aritmtica correspondiente es de precisin nita pero con e o ella el ingeniero puede resolver la mayor de sus problemas. a La vertiente simblica permite simular en el ordenador una aritmtica de o e precisin innita, como si todos los nmeros reales pudiesen representarse o u en el soporte f sico del computador. La precisin se paga con un mayor o coste en consumo de tiempo y memoria. Esta es una de las razones que hacen que las herramientas numricas sigan siendo muy importantes para e el trabajo cient co-tcnico. e El objetivo de esta clase es el estudio de los objetos simblicos y el uso de o las correspondientes herramientas Matlab.

 INTRODUCCION (II)
Haremos una clasicacin de los objetos simblicos en STRING y SYM. La o o mayor de las herramientas simblicas Matlab actan sobre ambos tipos, a o u pero con desigual ecacia. Un string es una cadena de caracteres que puede corresponder o no a un criterio sintctico. Veamos tres ejemplos. 1) A=manzana, 2) a f=x*sin(x), 3) Hj=ty87vsx76. Qu diferencias hay entre estos e ejemplos? Un objeto SYM se crea de varias maneras tal como veremos a lo largo del curso. Las operaciones en un ambiente SYM son en general ms lentas a que en el STRING, pero hay algunas que slo se pueden hacer con SYM, o por ejemplo, el clculo algebraico. a expand((x+3*y)*(-2*x+7*y)) ans = -2*x^2+x*y+21*y^2 Una opinin es que la tcnica de programacin tiene su mejor aliado en las o e o posibilidades del ambiente STRING.

 El CALCULO SIMBOLICO (SYM)

Una variable puede ser declarada previamente SYM mediante el comando SYMS Ejemplos de herramientas: SIMPLIFY, EXPAND, PRETTY. EJEMPLOS : >>syms x >>p1=(x^2-4)/(x^2-1); >>p2=x-2; >>p3=x-1; >>p4=simplify(p1*p3/p2) p4 = (x+2)/(x+1) >> >>expand(p2*p3) ans = x^2-3*x+2 >> >>expand(p3^2) ans = x^2-2*x+1

El comando PRETTY acta como un embellecedor u

>>p5=expand(p2*p3^2) p5 = x^3-4*x^2+5*x-2 >>pretty(p5) 3 x >>pretty(p1/p2) 2 x - 4 ---------------2 (x - 1) (x - 2) - 4 x 2 + 5 x - 2

Ejercicios
1) Calcular o simplicar las siguientes expresiones, utilizando los anteriores comandos simblicos. o

a) (4x7 xy 5 + 6y 2)(9x10 + 54x8y 3 + 34y 5) b) (45x7 29y 3)8 c) (ax + bxy + cy)5 d) (sin(ax) cos(bx))3 e) (ax2 + by 2)(cx + dy)

Evaluacin de funciones en MAPLE o

Se invoca expl citamente al ncleo Maple (no se utilizan objetos SYM) u >>maple(eval(x^3+2*x+5,x=7)) ans = 362 >>maple(eval(-4*x^5+2*x^3+5*x-2,x=7)) ans = -66509 >>maple(dilog(3.456)) ans =-1.6767632955097214694684629269556 DILOG es una de las funciones especiales MAPLE, denida como
x

dilog(x) =
1

log(t) 1t

dt.

Hacer >>mhelp dilog

Evaluacin de funciones usando herramientas o Matlab

Funciones SYM >>syms x >>subs(x^3+2*x+5,x,7) ans = 362 Funciones STRING >>f=x^3+2*x+5; >>x=7; >>f7=eval(f) ans = 362

Herramientas simblicas para resolver o ecuaciones algebraicas. Ejemplos

>>solve(x^2+4=0,x) ans = [ 2*i] [ -2*i] >>solve(x^2+4=12,x) ans = [ 2*2^(1/2)] [ -2*2^(1/2)] La respuesta es exacta en ambos ejemplos. Para obtener salida numrica e hacemos: >> numeric(solve(x^2+4=12,x)) ans = 2.828427124746190e+000 -2.828427124746190e+000

Herramientas para resolver ecuaciones algebraicas (cont.)

En lo que sigue la expresin exp(-x)-x es un objeto string. o >>solve(exp(-x)-x=0) % x no es SYM ans =lambertw(1) %funcion especial matlab >>numeric(solve(exp(-x)-x=0)) ans= 5.6714e-001 Deteccin grca de la solucin. o a o >>x=linspace(-1,1,100); >>y=exp(-x)-x; >>plot(x,y)

Ejercicios.
2) Resolver las siguientes ecuaciones a) b) c) d) x6 3x + 2 = x4 3 x4 5x + 8 = x2 30 x3 + 2x2 x + 1 = 0 log(x) + 3x = 0 utilizando a) solve(ecuacion,incognita) b) numeric(solve(ecuacion,incognita)) Valorar la utilidad de la respuesta en cada apartado. 3) Resolver la ecuacin sin(x) x2 + 1 = 0, y comprobar la solucin o o evaluando la expresin en la presunta raiz. o