Prcticas con Mathematica 11 y 12

1 Polinomios de Taylor

Mediante el Mathematica pueden calcularse polinomios de Taylor de funciones de varias variables. Lo que ocurre es que la forma en la que Mathematica lo calcula es distinta a la nuestra. Por ejemplo, ejecutando la sentencia Series[f[x, y], {x, a, n}, {y, b, m}] Mathematica nos da, del polinomio de Taylor de la funcin f dependiente de las variables x e y, los trminos cuya potencia en (x a) es menor o igual a n y cuya potencia en (y b) es menor o igual que m (adems, la forma en que se dan los trminos es otra distinta de la habitual nuestra: es como si se ordenaran los trminos segn las potencias de (x a) y los coecientes de cada una de estas potencias fueran polinomios en potencias de (y b)). Si nosotros necesitamos el polinomio de grado k deberemos teclear la sentencia anterior para m = n = k, y solamente quedarnos con los trminos de grado menor o igual que k. Ejemplo 1.1 Teclear la siguiente sentencia Series[Cos[x + y], {x, 0, 2}, {y, 0, 3}] 3 2 y2 El resultado que da Mathematica es (1 2 +O[y]4 )+(y+ y6 +O[y]4 )x+( 1 + y4 +O[y]4 )x2 +O[x]3 2 Observemos que lo que hace el programa es obtener un desarrollo de Taylor en la variable x de grado 2 siendo sus coecientes desarrollos de Taylor en la variable y de grado 3. Si nosotros necesitramos calcular, por ejemplo, el polinomio de Taylor de grado 2 de la funcin cos(x + y) en el punto (0, 0) tendramos de lo anterior (cogiendo solamente los trminos cuyo grado es no superior a 2) que ste 2 2 es p(x, y) = 1 x y2 xy. 2 Ejemplo 1.2 Teclear las siguientes sentencias y observar el resultado: 1. Series[Exp[x y + 2], {x, 2, 4}, {y, 1, 2}] 2. Series[Sin[x + y + z], {x, , 2}, {y, 0, 3}, {z, , 1}] 2 Ejercicio 1.3 Calcular los polinomios de Taylor de las siguientes funciones en los puntos que se indican: 1. De la funcin log(x + ey
2 2 +2y+1

2) (3 + cos[x 2])y+1 de grado 2 en el punto (0, 0).

y 2. De la funcin xey cos( x2 +y2 ) de grado 3 en el punto (1, 0).

Extremos relativos

Cuando queremos determinar los extremos relativos de funciones de dos variables nos aparece un sistema de ecuaciones que nos proporciona los puntos crticos. Para intentar resolver dicho sistema pueden utilizarse los comandos ya conocidos (como Solve, NSolve, Reduce, LinearSolve, etc.), pero no queda garantizada la correcta resolucin. Es por ello que a veces se hace necesaria una resolucin manual de dichos sistemas. Ejemplo 2.1 Para calcular los extremos relativos de la funcin f (x, y) = 2x4 + y 4 x2 2xy y 2 debemos hallar sus derivadas parciales e igualarlas a cero. Nos salen, respectivamente, las ecuaciones 2x + 8x3 2y = 0 y 2x 2y + 4y 3 = 0. Al intentar resolver el sistema con el comando Solve observamos que nos salen expresiones complicadas. Por ello empleamos la versin numrica de este comando: NSolve. Con este comando observamos que nos salen 7 soluciones, de las cules 4 son nmeros complejos y no los queremos. Nos quedamos con las 3 soluciones reales que son P = (0, 0), = (0.751652, 0.947022) y R = (0.751652, 0.947022). !La matriz hessiana sale Q ! 24x2 2 2 2 2 Hf (x, y) = , con lo que Hf (P ) = y Hf (Q) = Hf (R) ' 2 2 12y 2 2 2 ! 11.6 2 .De este modo P y R son mnimos relativos, si bien P es un caso dudoso. Esta duda 2 8.8 se puede intentar despejar analizando en un entorno del punto, pues f (0, 0) = 0 y para puntos (x, y) cercanos al origen se tiene que si tomamos puntos de la forma x = y la funcin vale 3x4 > 0 y para puntos de la forma x = y la funcin vale 3x4 4x2 = x2 (3x2 4) < 0, por lo que en conclusin, en P no se alcanza ni mximo ni mnimo relativo. Observacin 2.2 Puede ser til representar la funcin en entornos pequeos de los puntos para ver el comportamiento de la funcin alrededor del punto. Ejercicio 2.3 Estudiar los extremos relativos de la funcin x2 y 3 (6 x y).

Ecuaciones diferenciales

Con Mathematica pueden resolverse tambin ecuaciones diferenciales y sistemas de ecuaciones diferenciales, as como problemas de condiciones iniciales. El comando principal a utilizar es DSolve Su nomenclatura bsica es la siguiente DSolve[ec, y[x], x] Esta lnea de comando resuelve la ecuacin ec en la que la incgnita es y la cual es una funcin que depende de la variable independiente x. Ejemplo 3.1 Teclear las siguientes sentencias: 2

1. DSolve[y 0 [x] == 2, y[x], x] 2. DSolve[z 0 [x] z[x] == Ex, z[x], x] 3. DSolve[y 00 [t] 11y 0 [t] + 18y[t] == 0, y[t], t] 4. DSolve[s00000 [x] == E(2x), s[x], x] 5. DSolve[y (5) [x] + 3y (4) [x] + 3y (3) [x] + y 00 [x] == 0, y[x], x] Ejercicio 3.2 Resolver las siguientes ecuaciones diferenciales: 1. y 0 = 3y 2. y 00 y = 5 3. y 00 x y 0 = 0 4. 3x2 y 0 + xy = y 4 Si lo que pretendemos es resolver un sistema de ecuaciones diferenciales como el siguiente: ( ) y 0 = 3y z 0 = y + 2z + x debemos teclear DSolve[{y 0 [x] == 3y[x], z 0 [x] == y[x] + 2z[x] + x}, {y[x], z[x]}, x] Ejemplo 3.3 Teclear la siguiente sentencia DSolve[{y 0 [x] == y[x] + z[x] + x, z 0 [x] == y[x] z[x] + x2}, {y[x], z[x]}, x] Ejercicio 3.4 Resolver los siguientes de ecuaciones diferenciales: ( ) y0 = z 1. z 0 = y ) ( y 0 = 3y z + x 2. z 0 = 6y + 2z + cos x Tambin pueden resolverse problemas de condiciones iniciales con este comando. As, para resolver el problema de condiciones iniciales ( ) 0 y = 2y x y(0) = 4 habra que teclear lo siguiente DSolve[{y 0 [x] == 2y[x] x, y[0] == 4}, y[x], x] 3

Observacin 3.5 Si no funciona bien el comando puede probarse a denominar a la funcin con otro nombre no utilizado hasta ahora. Si lo que pretendemos es resolver el problema de condiciones iniciales ( ) y 00 2y 0 + y = 3x + ex y(1) = 0, y 0 (1) = 2e habra que teclear lo siguiente DSolve[{y 00 [x] 2y 0 [x] + y[x] == 3x + Ex, y[1] == 0, y 0 [1] == 2E}, y[x], x] Y para un problema de condiciones iniciales asociado a un sistema de ecuaciones diferenciales del estilo y0 = z 0 z =y y(2) = e, z(0) = 1 habra que teclear lo siguiente DSolve[{y 0 [x] == z[x], z 0 [x] == y[x], y[2] == E, z[0] == 1}, {y[x], z[x]}, x] Ejemplo 3.6 Teclear las siguientes sentencias 1. DSolve[{y 0000 [x] y[x] == Cos[3x], y[0] == 1, y 0 [0] == 0, y 00 [0] == 1, y 000 [0] == 2}, y[x], x] 2. DSolve[{y 00 [x] == y 0 [x] + 3z[x] z 0 [x] Ex, z 00 [x] == z[x] Cos[x], y[1] == E, z[1] == 0, y 0 [1] == 1, z 0 [1] == 2}, {y[x], z[x]}, x] Ejercicio 3.7 Resolver los siguientes problemas de condiciones iniciales: ) ( 0000 00 y y = sen(2x) 1. y(2) = 1, y 0 (2) = 0, y 00 (2) = 1, y 000 (2) = 1 y 0 = y + z + e2x 2. z 0 = z 4x y(0) = 5, z(1) = 1