Documentos de Académico
Documentos de Profesional
Documentos de Cultura
Tutorial de Maple - V PDF
Tutorial de Maple - V PDF
html
Estos apuntes tienen como objetivo el poder utilizar MAPLE V.5 con rapidez. Se ha hecho especial hincapié en los aspectos
algebraicos (ecuaciones, sistemas y funciones) que puede desarrollar MAPLE No obstante, MAPLE tiene muchas otras posibilidades.
A pesar de esto, espero que este manual sea de utilidad.
Tengo que agradecer a Ismael su interés en este tipo de sistemas de cálculo simbolico ya que, sin saberlo, fue el mayor promotor de
este trabajo.
INTRODUCCIÓN
HOJAS DE TRABAJO
Cuando inicies una sesión de MAPLE aparecerá una hoja de trabajo(worksheet ) en blanco, en la que verás un signo mayor que
precedido de un corchete abierto([> ). El corchete indica un área de trabajo y el signo > indica una zona de entrada. Todo lo que
teclees ahí aparecerá en rojo y será interpretado como un comando de MAPLE.
TIPOS DE REGIONES
Región de entrada de texto, como esta que estás leyendo, donde aparecen comentarios en negro. Puedes activar una zona
de comentarios pulsando el icono T en la barra de comandos. Podrás ecribir con diferentes formatos, tamaños, etc.
Región de comando(input), como la que aparece al iniciar MAPLE. Se reconoce por el signo > y en ella el texto escrito
aparecerá en rojo. Puedes iniciar una zona de comando pulsando el icono [> en la barra de comandos. Dentro de una zona de
comando se pueden introducir comentarios aclaratorios. Para ello utilizamos el símbolo #, después se escribe el comentario.
Región de salida (output), en la que aparecerá, en azul, la salida producida por un comando
Las diferentes regiones pueden unirse utilizando la tecla F4, y separarse con F3
AYUDAS
Lo primero que debes saber es cómo llamar a la ayuda de MAPLE. Es tan sencillo como teclear ? en una línea de comando y pulsar
[INTRO]
>?
Si lo que ocurre es que tienes dudas sobre cuál es la sintaxis de un determinado comando, teclea ? y detrás el nombre del comando,
después pulsa [INTRO], por ejemplo:
> ?factor
Se puede obtener una ayuda general de todas las posibilidades de MAPLE con el comando:
> ?index
COMANDOS
Como norma general un comando consta de un palabra clave seguida de unos argumentos que se escribirán englobados en un
paréntesis separados por comas. Por ejemplo:
> solve(a*b-c,b);
El comando solve resuelve la ecuación del polinomio (igualado a 0) que aparace como primer argumento en el paréntesis despejando
1 de 99 19-03-2015 20:51
Tutorial de MAPLE V http://www.dmdelrio.es/Maple/MAPLE1.html
la variable que aparecere como segundo argumento en el paréntesis. Para ver con más detalle cómo se utiliza este comando teclea:
> ?solve
Hay comandos que no tienen este tipo de sintaxis, como son las operaciones básicas, la potenciación, el factorial.
FINALIZADOR DE UN COMANDO
Para que el comando sea ejecutado será necesario escribir un finalizador y pulsar [INTRO]. Hay dos tipos de finalizador de comando:
el punto y coma (;) ejecutará el comando y producirá una salida que se verá en pantalla en color azul.
los dos puntos (:) que ejecuta el comando pero no producirá salida alguna. Es muy útil cuando sea necesario ejecutar una
serie de comandos donde únicamente interese la salida del último de ellos.
Por ejemplo, el comando para factorizar enteros es ifactor (i por integer y factor por factorizar):
> ifactor(180);
> ifactor(180):
Hay comandos que no tienen este tipo de sintaxis, como son las operaciones básicas, la potenciación, el factorial. Puedes ver algunos
de ellos tecleando:
> ?index,expression
COMANDOS ENCADENADOS
Es posible encadenar los comando en una misma línea utilizando los separadores entre ellos, por ejemplo:
También podemos separarlos con una coma, en cuyo caso la salida será de esta manera:
simplify Y expand
El comando simplify se utiliza para simplificar expresiones, como quebrados, potencias, etc.
> (x^3-3*x+2)/(x^3+3*x^2-4)=simplify((x^3-3*x+2)/(x^3+3*x^2-4));
MAYÚSCULAS Y MINÚSCULAS
2 de 99 19-03-2015 20:51
Tutorial de MAPLE V http://www.dmdelrio.es/Maple/MAPLE1.html
MAPLE es case sensitive, es decir, distingue entre mayúsculas y minúsculas . Por esto deberemos tener especial cuidado al
escribir variables. Por ejemplo: para MAPLE las variables Numero y numero son distintas.
Reservaremos las mayúsculas para las funciones y procedimientos definidos por nosotros.
EXPRESIÓN INERTE
MAPLE tiene varios comandos que, según se escriban con la primera letra en mayúscula o minúscula, hacen diferenetes acciones.
Por ejemplo:
Para hallar un límite se utiliza el comando limit, pero si escribimos Limit lo que aparecerá será la expresión del límite en su notación
convencional, que es lo que se denomina expresión inerte:
> Limit(x/(x^2-1),x=infinity);
> limit(x/(x^2-1),x=infinity);
Esta capacidad de MAPLE se puede utilizar para escribir fórmulas de la siguiente manera:
> Limit(x/(x^2-1),x=infinity)=limit(x/(x^2-1),x=infinity);
Otros comandos con capacidad de escribir la expresión inerte son, por ejemplo:
MAPLE guarda en su memoria los comandos más usuales, el resto se guarda en paquetes (packages) que será preciso cargar
cuando vayamos a utilizarlos. Para ver el listado de paquetes disponibles teclea:
> ?index,packages
CARGANDO UN PAQUETE
Si necesitamos cargar un paquete concreto utilizaremos el comando with indicando el nombre del paquete. El resultado por pantalla
es distinto según el finalizardor: con punto y coma se listan los comando cargados, con dos puntos el paquete se carga pero no se nos
indica nada.
> with(linalg);
Warning, new definition for norm
3 de 99 19-03-2015 20:51
Tutorial de MAPLE V http://www.dmdelrio.es/Maple/MAPLE1.html
> with(linalg):
Si utilizamos un comando de un paquete no cargado MAPLE no hará nada, simplemente devolverá un eco del comando escrito.
DESCARGANDO UN PAQUETE
> restart;
LIBRERÍAS
Determinados comandos muy poco usados no están contenidos ni en el núcleo de MAPLE ni en un paquete determinado. En vez de
esto están en una librería general. Se pueden cargar con el comando readlib.
Por ejemplo, el comando discont, que calcula puntos de discontinuidad de una función, se carga de la siguiente manera:
> readlib(discont);
> discont(1/(x^2-1),x);
Se utilizan los signos comunes: +, - , *, / y ^ además de los paréntesis (reiterados si es necesario). MAPLE respeta la prioridad de las
operaciones. Por ejemplo:
> 2+3*4^2;
> (((2+3)*4)^2)/10;
FACTORIALES
> 45!;
NÚMEROS ALEATORIOS
4 de 99 19-03-2015 20:51
Tutorial de MAPLE V http://www.dmdelrio.es/Maple/MAPLE1.html
> rand();
Pero podemos elegir el rango entre los que será elegido el número aleatorio:
> n:=rand(50..60):n();
> ?randomize
EL COMODÍN %
El código % indica que se va a utilizar el último resultado obtenido, aunque no haya salido en pantalla. Por ejemplo:
> 3+2:
> %!;
El uso de % se puede reiterar hasta tres veces: %% se referirá al penúltimo resultado y %%% al antepenúltimo:
> 2+2:
> 5-2:
> 2:
> %+%%+%%%;
VARIABLES
Una variable puede llamarse como queramos, siempre que no utilicemos como nombre de la variable el de un comando de MAPLE.
Tampoco podemos empezar el nombre de la variable con números e interesa que no incluyamo códigos extraños (acentos, eñe, etc).
Recordemos, también, que MAPLE distingue entre mayúsculas y minúsculas.
ASIGNACIÓN DE VARIABLES
Para asignar valor a una variable se utiliza la combinación dos puntos e igual :=, por ejemlo:
> a:=13;
> a:=25:
Ahora no hay eco y, además a ha cambiado de valor. Esto podemos comprobarlo preguntando el valor de a:
> a;
BORRADO DE VARIABLES
Para borar el valor de una variable basta con igualarla a sí misma entre comillas simples:
> a:='a';
5 de 99 19-03-2015 20:51
Tutorial de MAPLE V http://www.dmdelrio.es/Maple/MAPLE1.html
Si lo que queremos es borrar todas las variables asignadas podemos utilizar el comando restart
> restart;
Vamos a calcular el capital final que se retira después de tener 8 años 3000 euros al 4%:
> ci := 3000:
> t := 8:
> redito := 4:
> cf:=ci*(1+redito/100)^t;
Para poner la salida de forma más legible usaremos los comandos print y el ya conocido evalf:
El comando print permite poner entre paréntesis lo que va a salir por pantalla. Si queremos que sea texto se encerrará entre los
acentos agudos (^) que aparecen en la tecla a la derecha de la P (junto con [ y ^). Las diferentes partes de la salida se separan con
comas. Como único inconveniente de print decir que estas comas separadoras aparecen en la salida por pantalla.
CONVERSIÓN DE TIPOS
A veces puede ser útil convertir una variable de un tipo a otro. Esto se realiza con el comando convert, que recibe dos argumentos: la
variable y el tipo final.
> ?convert
o, también:
> ?type
Por ejemplo:
> convert(117,binary);
TIPOS DE ESTRUCTURAS
CONJUNTOS (SET)
DEFINICIÓN
Por extensión
> dias:={lunes,martes,miercoles,jueves,viernes,sabado,domingo};
Por comprensión
6 de 99 19-03-2015 20:51
Tutorial de MAPLE V http://www.dmdelrio.es/Maple/MAPLE1.html
Se define un conjunto por comprensión dando una ley de formación. En MAPLE se usa el signo dolar ($):
> pares:={2*i$i=1..10};
OPERACIONES
Las operaciones básicas con conjuntos son la union, intersección y diferencia, que en MAPLE se hacen con los operadores union,
intersect y minus, respectivamente:
> A union B;
> A intersect B;
> A minus B;
LISTAS
Las listas se indican entre corchetes. Se diferencian de los conjuntos en que en la listas se respeta el orden. Al igual que los
conjuntos, las listas pueden definirs por extensión y por comprensión (utilizando el signo $)
> vocales:=[a,e,i,o,u];
> pares:=[2*i$i=1..10];
MATRICES
Para definir una matriz (o un vector) utilizamos el comando array, indicando el número de filas y despés el de columnas:
> A:=array(1..2,1..3);print(A);
> B:=array(1..2,1..2,[[1.1,1.2],[2.1,2.2]]);
7 de 99 19-03-2015 20:51
Tutorial de MAPLE V http://www.dmdelrio.es/Maple/MAPLE1.html
MATRICES ESPECIALES
> N:=array(sparse,1..2,1..3);print(N);
- La matriz simétrica con el parámetro symmetric. Basta con llenar la mitad de la matriz, MAPLE rellenará automáticamente el resto:
- Una matriz diagonal se indica con el parámetro diagonal (a la que no podemos llamar D, porque es el comando función derivada):
> Dg:=array(diagonal,1..3,1..3);print(Dg);
> Id:=array(identity,1..3,1..3);print(Id);
PROGRAMACIÓN
En MAPLE podemos definir procedimientos que realicen ciertas operaciones y llamarlos cuando los necesitemos. Vamos a ver un
ejemplo sencillo.
Supongamos que en una cierta hoja de trabajo vamos a necesitar calcular constantemente la velocidad final con la que llega al suelo
un cuerpo que cae, en caída libre, desde h metros.
> vfinal:=proc(h)
> sqrt(2*9.8*h):
8 de 99 19-03-2015 20:51
Tutorial de MAPLE V http://www.dmdelrio.es/Maple/MAPLE1.html
> end:
2.- la palabra clave para definir un procedimiento es proc. Después se ponen, entre paréntesis y separadas por comas las variables
que mandamos desde el exterior y que serán usadas dentro del procedimiento
3.- en este caso concrero el procedimiento consta de una sóla línea que calcula el valor buscado
Para usar este procedimiento, por ejemplço si la altura fuera 10, haríamos:
> vfinal(10);
Podemos comprobar qué tipo de datos llegan al procedimiento declarándolos. De esta forma si llega un dato de un tipo no esperado
MAPLE devolverá un error.
> restart:
> TERNAP:=proc(p::integer,q::integer)
> if igcd(p,q)<>1 then print(`los números deben ser primos entre si`)
> end:
Este procedimiento calcula ternas pitagóricas. Recibe como parámetros dos número, p y q, que obligamos sean enteros.
> TERNAP(2,6);
> TERNAP(2.3,5);
Error, TERNAP expects its 1st argument, p, to be of type integer,
but received 2.3
También es posible dejar el procedimiento sin entradas, en cuyo caso se dejan los paréntesis vacíos.
VARIABLES
Las variables usadas dentro del procedimiento pueden ser locales o globales.
Una variable local se declara con el comando local seguido del nombre de las variables separados por comas. Una variable local sólo
tiene existencia dentro del procedimiento.
Una variable global se declara con el comando global seguido del nombre de las variables separados por comas. Una variable global
tiene validez una vez hayamos salido del procedimiento.
RECURSIVIDAD
Un procedimiento puede llamar a otro e incluso llamarse a sí mismo. En este último caso es necesario tener cuidado para poner la
condición de salida. Es clásico el ejemplo del factorial de un número por su elegancia:
> FACT:=proc(n::integer)
> end:
9 de 99 19-03-2015 20:51
Tutorial de MAPLE V http://www.dmdelrio.es/Maple/MAPLE1.html
> FACT(500);
En el caso de que la recursividad alcance muchos ciclos es posible que se sature le memoria. Para evitar esto pondremos como
segunda línea option remember; que hace que MAPLE construya una tabla con los valores ya calculados.
CONDICIONALES
if then else fi
La sentencia condicional se inicia con if que probará si se cumple una cierta condición, por ejemplo a=b. Si esta condición se cumple
se ejecutarán los comando escritos después de then, en caso contrario se ejecutarán los comandos escritos después de else (es
parte del condicional es opcional). El condicional termina con fi (que es if al revés).
> DISCRIM1:=proc(a,b,c)
> end:
> DISCRIM1(1,2,3);
> DISCRIM2:=proc(a,b,c)
> local d:
> d:=b^2-4*a*c:
> fi
> end:
> DISCRIM2(3,4,1);
CONDICIONALES ANIDADOS
Un condicional puede estar dentro de otro, pero en este caso como alternativa al then no se pone else sino elif.
> DISCRIM3:=proc(a,b,c)
10 de 99 19-03-2015 20:51
Tutorial de MAPLE V http://www.dmdelrio.es/Maple/MAPLE1.html
> local d:
> d:=b^2-4*a*c:
> fi
> end:
> DISCRIM3(1,2,1);
BUCLES
Si necesitamos empezar en un valor distindo de 1 utilizaremos from, y si además, el salto no es de 1 en 1 usaremos by:
Para que el efecto de un bucle se ejecute sobre todos los elementos de una lista o un conjunto utilizamos el comando in:
Podemos hacer que un bucle se ejecute mientras se cumpla una determinada condición. Esto se consigue con el comando while:
11 de 99 19-03-2015 20:51
Tutorial de MAPLE V http://www.dmdelrio.es/Maple/MAPLE1.html
NÚMEROS ENTEROS
ARITMÉTICA EXACTA
MAPLE permite trabajar con enteros de enorme tamaño. Por ejemplo: calcular el número de ceros en los que acaba el factorial de 50:
> 50!;
Para saber el número total de dígitos que tiene este número utilizamos el comando length
> length(%);
Podemos hallar el cociente y el resto de una división de enteros utilizando los comandos iquo (integer quotient), para obtener el
cociente, y irem (integer remainder), para obtener el resto. Por ejemplo si dividimos 147 entre 11:
> 12 mod 4;
Por ejemplo, podemos tratar de ver si Z[4] es un Dominio de Integridad (anillo sin divisores de cero) hallando su tabla de
multiplicación: ([0], [1], [2], [3])x([0],[1],[2],[3])
12 de 99 19-03-2015 20:51
Tutorial de MAPLE V http://www.dmdelrio.es/Maple/MAPLE1.html
Podemos ver como el producto 2*2 = 0 en Z[4], luego Z[4] no es un Dominio de Integridad
NÚMEROS PRIMOS
> isprime(13453);
Podemos obtener los primos anterior y siguiente de un número dado con los comandos prevprime y nextprime:
> prevprime(13453),nextprime(13453);
También podemos obtener el i-ésimo primo de la tabla de primos con el comando ithprime:
> ithprime(34);
FACTORIZACIÓN ENTERA
> ifactor(2732730);
DIVISORES
MAPLE permita hallar todos los divisores de un número entero, para lo cual hay que cargar el paquete numtheory
> with(numtheory):
> divisors(36);
Warning, new definition for B
También podemos saber cuántos divisores son en total con el comando tau del paquete numtheory
13 de 99 19-03-2015 20:51
Tutorial de MAPLE V http://www.dmdelrio.es/Maple/MAPLE1.html
> restart:
MCD Y MCM
Para hallar el MCD se utiliza el comando igcd (integer great common divisor) y para hallar el mcm se utiliza el comando ilcm (integer
l east common multiple). Podemos mejorar la salida con el comando print
> print(`MCD(126,140)=`,igcd(126,140));
> print(`mcm(126,140)=`,ilcm(126,140));
El Algoritmo de Eucides permite calcular el MCD de dos números a y b utilizando un procedimiento recursivo, que podemos
programar.
El procedimiento se basa en el siguiente LEMA: si a, b, c y r son enteros no nulos tales que a=bc+r, entonces el MCD(a,b)=MCD(b,r).
Este LEMA permite hacer un encadenamiento hasta encontrar r=0, en cuyo caso el MCD será b.
El procedimiento es el siguiente:
> MCD:=proc(a::integer,b::integer)
> local r:
> r:=irem(a,b):
> fi
> end:
1.- El procedimiento recibe dos variables, a y b, que se pide sean números enteros
2.- Como se va a realizar la división "a entre b" necesitamos que a>=b
4.- Necesitamos calcular el resto entero de a entr b: Usamos el comando irem . Definimos r como variable local
> MCD(22,30);
14 de 99 19-03-2015 20:51
Tutorial de MAPLE V http://www.dmdelrio.es/Maple/MAPLE1.html
El lema de Bezout aplicado a los números enteros establece la Propiedad lineal del MCD: si a y b son dos enteros no nulos, existen
dos enteros u y v tales que: ua + vb = MCD(a,b)
> igcdex(30,45,'u','v'):
u y v quedan en la memoria:
> u,v;
NÚMEROS REALES
Ya sabemos que los números reales resultan de la unión de los racionales e irracionales.
NÚMEROS RACIONALES
> 36/30;
Si queremos que el quebrado se opere hasta el final podemos hacer dos cosas.
> 36/30.0;
> evalf(36/30);
NÚMEROS IRRACIONALES
RADICALES
Para obtener la raíz cuadrada de un número utilizamos el comando sqrt (square root). Para que se evalúe la raíz utilizamos evalf:
Caso de necesitar únicamente la parte entera de la raíz utilizaremos isqrt (integer square root ):
> isqrt(13);
Para raíces de índice superior utilizaremos la expresión potencial (elevando al número racional), por ejemplo, la raíz quinta de 13 será:
15 de 99 19-03-2015 20:51
Tutorial de MAPLE V http://www.dmdelrio.es/Maple/MAPLE1.html
SIMPLIFICACIÓN DE RADICALES
Como con otras expresiones, los radicales se simplifican con el comando simplify:
RACIONALIZACIÓN DE DENOMINADORES
NÚMEROS ESPECIALES
EL NÚMERO PI
En MAPLE se escribe Pi y podemos obtenerlo con la precisión que deseemos con evalf, por ejemplo con 50 decimales:
> Pi = evalf(Pi,50);
EL NÚMERO e
El número e es, posiblemente, el número más importante en matemáticas superiores. Aparece en muchos procesos de crecimiento,
en la desintegración radiactiva, en la fórmula de la catenaria, etc. Podemos obtenerlo a través del siguiente límite:
En MAPLE se escribe con e minúscula y podemos obtenerlo con exp(1) y la precisión que deseemos:
> e = evalf(exp(1),25);
> signum(-4.13);
16 de 99 19-03-2015 20:51
Tutorial de MAPLE V http://www.dmdelrio.es/Maple/MAPLE1.html
> abs(-0.34);
La parte entera de un número se obtiene con trunc y la parte decimal con frac:
> trunc(5.78);frac(5.78);
> round(5.78);
Para conseguir todos los decimales que queramos damos, como segundo argumento de evalf, el número de decimales requerido.
> evalf(1/7,50);
LOGARITMOS Y EXPONENCIALES
MAPLE calcula de forma directa los logaritmos neperianos con ln() ó log(). Para que se evalue hay que utilizar evalf:
> log[10](10);
Podemos utilizar los comandos expand o simplify para desarrollar expresiones con logaritmos y potencias:
> simplify(log(3*a/5*b^2));
> L:=x->Int(1/t,t=1..x);
es decir, el logaritmo neperiano de x se puede interpretar como el área bajo la curva 1/t entre 1 y x.
17 de 99 19-03-2015 20:51
Tutorial de MAPLE V http://www.dmdelrio.es/Maple/MAPLE1.html
> L(1)=evalf(L(1));
> L(2)=evalf(L(2));Ln(2)=evalf(ln(2));
TRIGONOMETRÍA
GRADOS Y RADIANES
MAPLE permite convertir de grados a radianes con el comando convert, utilizando como segundo argumento degrees o radians:
> convert(2*Pi/3,degrees);
> convert(210*degrees,radians);
LÍNEAS TRIGONOMÉTRICAS
18 de 99 19-03-2015 20:51
Tutorial de MAPLE V http://www.dmdelrio.es/Maple/MAPLE1.html
Las líneas trigonométricas en MAPLE se corresponden con los comandos: sin, cos y tan, que reciben como argumento el ángulo en
radianes:
> sin(3*Pi/2);cos(Pi/4);tan(Pi/3);
> arccos(1/2);
MAPLE conoce todas las relaciones entre líneas trigonométricas. Podemos utilizar los comandos simplify y expand para desarrollar
una expresión trigonométrica:
Utilizando el producto escalar de dos vectores y el cálculo del ángulo entre ellos podemos deducir las fórmulas del seno y coseno de
la suma y la diferencia de ángulos.
Vamos a pintar un esquema de los vectores u y v, cuyo módulo es la unidad. Los ángulos que forman u y v con el eje X son a y b,
respectivamente, por esto el ánguo entre u y v es a-b. Para pintar todo esto utilizamos los comandos plot, textplot, polarplot y
display. Para alguno de ellos necesitamos cargar el paquete plots.
> with(plots):
> c:=polarplot(1,theta=0..Pi/2,scaling=CONSTRAINED,color=green):
> u:=plot([[0,0],[cos(Pi/3),sin(Pi/3)]],x=0..1):
> v:=plot([[0,0],[cos(Pi/6),sin(Pi/6)]],x=0..1):
> angu:=polarplot(0.2,theta=0..Pi/3,color=blue):
> angv:=polarplot(0.4,theta=0..Pi/6,color=blue):
> anguv:=polarplot(0.3,theta=Pi/6..Pi/3,color=blue):
> display(c,u,v,angu,angv,anguv,t);restart:
19 de 99 19-03-2015 20:51
Tutorial de MAPLE V http://www.dmdelrio.es/Maple/MAPLE1.html
Vamos a calcular la expresión del coseno del ángulo (a-b) entre los vectores u y v, para ello haremos uso del comando angle del
paquete linalg. Este comando devuelve el arccos el ángulo. Por esto evaluamos su coseno y le pedimos a MAPLE que lo simplifique:
> with(linalg):
> u:=vector([cos(a),sin(a)]);v:=vector([cos(b),sin(b)]);
> cos(a-b):=simplify(cos(angle(u,v)));
Warning, new definition for norm
Ahora podemos calcular el seno de la resta y coseno y seno de la suma sustituyento el ángulo b por determinados valores y pidiendo
a MAPLE que simplifique la expresión:
> cos(a+b):=simplify(subs(b=-b,cos(a-b)));
> sin(a-b):=simplify(subs(b=b+Pi/2,cos(a-b)));
> sin(a+b):=simplify(subs(b=-b,sin(a-b)));
> sin(2*a):=simplify(subs(b=a,sin(a+b)));
> cos(2*a):=simplify(subs(b=a,cos(a+b)));restart:
TRIGONOMETRÍA HIPERBÓLICA
Las funciones hiperbólicas en MAPLE son: sinh, cosh, tanh y sus inversas arcsinh, arccosh y arctanh.
20 de 99 19-03-2015 20:51
Tutorial de MAPLE V http://www.dmdelrio.es/Maple/MAPLE1.html
>cosh(alpha)^2-sinh(alpha)^2 = simplify(cosh(alpha)^2-sinh(alpha)^2);
NÚMEROS COMPLEJOS
LA UNIDAD IMAGINARIA I
En MAPLE la unidad imaginaria (raíz cuadrada de -1) se escribe con I mayúscula. Sus potencias son:
Ya sabemos que los elementos del cuerpo de los números complejos, isomorfo con RxR, se pueden escribir en diferenes notaciones
(binómica, polar, exponencial, trigonométrica).
FORMA BINÓMICA
> z1 := 3-2*I;
> z2:=convert(z1,polar);
Para obtener el módulo y el argumento de un complejo se utilizan los comandos abs y argument, respectivamente:
> z:=polar(4,Pi/3);
Si lo que queremos es pasar un complejo en forma polar a forma binómica usamos evalc (evalue complex):
> evalc(z);
21 de 99 19-03-2015 20:51
Tutorial de MAPLE V http://www.dmdelrio.es/Maple/MAPLE1.html
FORMA EXPONENCIAL-TRIGONOMÉTRICA
Para obtener la forma exponencial y trigonométrica de un complejo utilizaremos exp y evalc, respectivamente.
> z:=3-2*I;
> convert(3*(cos(2)+I*sin(2)),exp);
> convert(5*exp(I*4),trig);
EXPRESIONES RootOf
El comando RootOf pemite definir números como raíces de un polinomio. Si deseamos conocer todos los valores debemos usar el
comando allvalues:
> a:=RootOf(x^5+9*x^3-4*x^4-14*x^2+14*x-12);
> allvalues(a);
Utilizando la notación binómica se pueden hacer todos estos cálculos con complejos (utilizando I como unidad imaginaria).
> z1:=3-2*I:z2:=-1+3*I:
> 2*z1-3*z2;
> (z1*z2)^2;
22 de 99 19-03-2015 20:51
Tutorial de MAPLE V http://www.dmdelrio.es/Maple/MAPLE1.html
> z2/z1;
> z1^(-1);
RAÍCES DE UN COMPLEJO
Para hallar todas las raíces de un complejo deberemos obtener todos los valores (allvalues ) de una expresión RootOf. Para hallar
todas las raíces cúbicas de I planteamos la ecuación:
> allvalues(ec);
CONJUGADO
Podemos obtener la parte real y la parte imaginaria de un complejo con Re e Im, respectivamente:
> z:=3-2*I;Re(z),Im(z);
> z:=3-2*I;conjugate(z);
LOGARITMO DE UN COMPLEJO
> z:=r*exp(I*theta);
> ln(z)=ln(r)+I*theta;
Así, todemos diseñar un procedimiento que calcule el logaritmo neperiano de un complejo. Lo llamaremos lnc:
23 de 99 19-03-2015 20:51
Tutorial de MAPLE V http://www.dmdelrio.es/Maple/MAPLE1.html
> lnc:=proc(z)
> r:=abs(z):
> a:=argument(z):
> ln(r)+I*a
> end:
> lnc(4-2*I);
> lnc(I);
> evalc(ln(4-2*I));
Para elevar un complejo a otro utilizamos las funciones exponencial y logaritmo neperiano:
Por ejemplo para calcular i^i (la unidad imaginaria elevada a sí misma) haremos:
Por lo tanto:
Claro que no hace falta tanto proceso: MAPLE realiza este tipo de operaciones con evalc:
> evalc(I^I);
24 de 99 19-03-2015 20:51
Tutorial de MAPLE V http://www.dmdelrio.es/Maple/MAPLE1.html
COMBINATORIA
Los comandos relativos a combinatoria están en el paquete combinat.
VARIACIONES
Para calcular el número de variaciones sin repetición de m elementos tomados de n en n utilizamos el comando numbperm del
paquete combinat. Como primer argumento damos el número de elementos totales y como segundo argumento el tamaño de cada
grupo.
> with(combinat):
> restart:
> with(combinat):
> permute(5,2);
> restart:
Para calcular las variaciones con repetición de m elementos tomados de n en n utilizaremos la fórmula teórica: m^n<
PERMUTACIONES
El comando de MAPLE que permite calcular el número de permutaciones sin repetición de m elementos es numbperm del paquete
combinat. En este caso únicamente se da un argumento: m
> with(combinat):
> restart:
En el caso de ser pocos elementos MAPLE permite listar las permutaciones posibles con el comando permute:
> with(combinat):permute(4);rstart:
25 de 99 19-03-2015 20:51
Tutorial de MAPLE V http://www.dmdelrio.es/Maple/MAPLE1.html
> with(combinat):permute([as,reina,rey]);restart:
Para obtener las permutaciones con repetición podemos recurrir a la fórmula teórica con el uso de factoriales o al comando
multinomial del paquete combinat. Por ejemplo si queremos hallar las permutaciones con repetición de 10 letras: a,a,a,b,b,c,c,c,c,d
haremos:
> with(combinat):multinomial(10,3,2,4,1);restart:
COMBINACIONES
Para hallar el número de combinaciones sin repetición de m elementos tomados de n en n podemos utilizar el comando
numbcomb o el comando binomial, que devuelve el número combinatorio:
> with(combinat):C(5,2)=numbcomb(5,2);C(5,2)=binomial(5,2);restart:
Si lo que queremos es listar las combinaciones utilizaremos el comando choose, dando como primer parámetro la lista, o el conjunto,
de elementos y como segundo parámetro el tamaño de las agrupaciones:
> with(combinat):
> choose({a,b,c,d,e},3);
> restart:
Para calcular las combinaciones con repetición de m elementos tomados de n en n, recurrimos a la fórmula teórica, que es el
número combinatorio de m+n-1 sobre n. Podríamos escribir un procedimiento para calcular las combinaciones con repetición, será
CR:
> CR:=proc(m::integer,n::integer)
> local a:
> with(combinat):a:=binomial(m+n-1,n);restart:
> a
> end:
> CR(4,3);
POLINOMIOS
DEFINICIÓN Y GRADO
26 de 99 19-03-2015 20:51
Tutorial de MAPLE V http://www.dmdelrio.es/Maple/MAPLE1.html
> q:=3*x^4-2*x*y^2+2*x*y-1;
Incluso podemos pedir a MAPLE que genere un polinomio aleatoriamente con randpoly, basta con decirle las variables y el número
de monomios que deseamos, por ejemplo, un polinomio de 4 monomios en a, b y c:
> p:=randpoly([a,b,c],terms=4);
> ?randpoly
> degree(q);
Si queremos ver el grado del polinomio p podemos hacerlo globalmente o por cada una de sus variables:
> degree(p),degree(p,a),degree(p,b),degree(p,c);
Podemos pedir a MAPLE que ordene un polinomio en el grado de la variable que deseemos, por ejemplo:
> sort(q,y);
OPERACIONES BÁSICAS
> p+q,p-q;
> 2*p-5*q;
Sin embargo al hacer la múltiplicación únicamente la dejará indicada siendo necesario expandirla:
> p*q;
> expand(p*q);
POTENCIA DE POLINOMIOS
Con la potencia ocurre igual que con el producto de polinomios, MAPLE se limita a dejarla indicada siendo necesario pedirle que la
27 de 99 19-03-2015 20:51
Tutorial de MAPLE V http://www.dmdelrio.es/Maple/MAPLE1.html
expand a:
> (2*x-3*y)^4,expand((2*x-3*y)^4);
BINOMIO DE NEWTON
Utilizando MAPLE podemos desarrollar diferentes potencias del binomio (a+b) para tratar de obtener la fórmula de Newton:
> (a+b)^0;(a+b)^1;expand((a+b)^2);expand((a+b)^3);expand((a+b)^4);
Si observamos con detenimiento veremos que la fórmula para obtener la potencia (a+b)^n es:
> (a+b)^n,Sum(binomial(n,i)*a^(n-i)*b^i,i=0..n);
Donde binomial(n.i) es un comando de MAPLE que halla el número combinatorio "n sobre i". Por ejemplo para n=5 obtendremos el
binomio de quinto grado:
> n:=5:sum(binomial(n,i)*a^(n-i)*b^i,i=0..n);
Un detalle de MAPLE: si usas sum, en minúscula, se calcula la suma; pero si usas Sum, en mayúscula, únicamente se pone la
fórmula (es lo que se llama expresión inerte).
FACTOR COMÚN
Para extraer factor común se utiliza el comando collect, indicando sobre qué polinomio actuar y qué queremos sacar factor común:
> p:=3*x^2+4*y^2-5*x^2*y-4*x^3*y^2;
> collect(p,x);
DIVISIÓN DE POLINOMIOS
Si realizamos la división de polinomios utilizando el operador / no obtendremos los resultados deseados, por ejemplo sean los
polinomios p y q:
> p/q;expand(p/q);
28 de 99 19-03-2015 20:51
Tutorial de MAPLE V http://www.dmdelrio.es/Maple/MAPLE1.html
Como podemos ver no hace la división entera de polinomios, para ello tenemos que usar los comandos quo y rem que nos
devolverán el cociente y el resto de la división, respectivamente. Como parámetros hay que dar el polinomio dividendo, el polinomio
divisor y la variable respecto de la que dividimos:
> quo(p,q,x);rem(p,q,x);
FRACCIONES ALGEBRAICAS
Las fracciones algebraicas son aquellas cuyo numerador y denominador son polinomios. Una de las operaciones básicas que
podemos hacer con ellas es simplificarlas, si es posible. Para ello utilizamos el comando simplify:
> simplify(p/q);
Fracciones Simples
MAPLE es capaz de descomponer fracciones algebraica complejas en fracciones más simples. Esto puede ser muy útil en el cálculo
de ciertas integrales. Para hacer esto utlizamos en comando convert, que recibe como primer parámetro la fracción a simplificar,
como segundo parámetro la palabra clave parfrac y como último parámetro la variable:
> p:=(4*x-2)/(x^3+3*x^2-x-3);
> convert(p,parfrac,x);
> factor(x^6-9*x^5+12*x^4+76*x^3-144*x^2-192*x+256);
29 de 99 19-03-2015 20:51
Tutorial de MAPLE V http://www.dmdelrio.es/Maple/MAPLE1.html
> factor(a^3-a^2*b-a*b^2+b^3);
También podemos hallar el MCD y MCM de dos polinomios con los comandos gcd y lcm, respectivamente:
> gcd(p,q);
> lcm(p,q);
FACTORIZACIONES EN Z[i]
También podemos factorizar en los anillos Z[i]. En MAPLE la unidad imaginaria se escribe I, desplegando el menú
View>Palettes>Symbol Palette: I es el último símbolo que aperece en la ventana.
> factor(x^2+4,I);
> factor(x^2+4);
DESARROLLOS DE TAYLOR
Los polinomios de Taylor se utilizan para aproximar funciones en un determinado punto. Para ello es necesario que la función tenga
derivada hasta el orden n (n será el grado del polinomio de Taylor) en dicho punto.
> P(x)=Sum(D^i*[f(a)]/i!*(x-a)^i,i=0..n);
Este cálculo lo realiza MAPLE automáticamente con el comando taylor. Por ejemplo, para aproximar la función sen(x) en x=0, con un
polinómio de Taylor de grado 8 se haría:
> taylor(sin(x),x=0,8);
En este polinomio el último término expresa el error cometido, es lo que se denomina resto de Taylor.
Podemos pintar la función seno y el polinomio hallado en el entorno de x=0 para obsevar su coincidencia. Pero, para esto, es
necesario convertir en polinomio la expresión de Taylor hallada. Esto se hace con el comando convert:
> p:=convert(taylor(sin(x),x=0,8),polynom);
30 de 99 19-03-2015 20:51
Tutorial de MAPLE V http://www.dmdelrio.es/Maple/MAPLE1.html
> plot({sin(x),p},x=-4..4,y=-1..1);
ECUACIONES
El comando para resolver ecuaciones es solve poniendo entre paréntesis dos parámetros: la ecuación a resolver y la variable que
queremos hallar. Por ejemplo:
> solve(3*x-1=13,x);
Si lo que queremos es hallar soluciones reales aproximadas, el comando es fsolve (float solve):
> fsolve(3*x-1=13,x);
MAPLE también encuentra soluciones imaginarias (hay que recordar eu I es la unidad imaginaria):
> solve(x^2-2*x+2);
ECUACIONES NO ALGEBRAICAS
MAPLE puede resolver diferentes tipos de ecuaciones no algebraicas (recordemos que las ecuaciones algebraicas son aquellas que
se pueden resolver efectuando operaciones algebracias: suma, resta, multiplicación y división).
En el caso de raíces cuadradas, estas ecuaciones se pueden convertir en algebraicas elevando al cuadrado ambos miembros las
veces que sea necesario. De todas formas MAPLE resuelve estas ecuaciones sin incluir soluciones falsas (lo que si ocurre al
convertirlas en algebraicas). El comando sqrt indica raíz cuadrada. Por ejemplo:
> solve(sqrt(2*x-3)+1=x,x);
31 de 99 19-03-2015 20:51
Tutorial de MAPLE V http://www.dmdelrio.es/Maple/MAPLE1.html
ECUACIONES TRIGONOMÉTRICAS
MAPLE resuelve las ecuaciones trigonométricas dando la solución para el primer periodo. Hay que recordar que las funciones
trigonométricas en MAPLE se escriben: sin(), cos() y tan() para el seno, coseno y tangente, respectivamente. Por ejemplo:
> solve(sin(x)+cos(x)=1,x);
ECUACIONES EXPONENCIALES
> solve(2^x=3);
> fsolve(2^x=3);
Podemos incluso plantear ecuaciones "curiosas", como: ¿qué número elevado a sí mismo da 2?
> fsolve(x^x=2);
MAPLE utiliza el comando abs para indicar valor absoluto. Podemos resolver ecuaciones de este tipo con el comando solve:
> abs(x+1)=3;solve(abs(x+1)=3);
ECUACIONES RECURRENTES
Vamos a resolver el siguiente problema: "Un mono tiene una bolsa de cacahuetes. Cada mañana su dueño le añade 100 cacahuetes.
Luego, durante el día el mono se come la mitad de los cacahuetes que hay en la bolsa. Una noche, después de varios años haciendo
esto, el dueño contó los cacahuetes ¿cuántos cacahuetes habrá en la bolsa?"
Planteamos la siguiente ecuación recurrente: la noche del día k+1 en la bolsa habrá x(k+1)=(100+x(k))/2 porque al iniciar el día había
x(k) cacahuetes, a los que el dueño añade 100, pero luego el mono se come la mitad...
¿Cómo resolvemos esta ecuación recurrente? Utilizamos el comando rsolve, en el que los argumentos son la propia ecuación
recurrente y la función incógnita:
> rsolve(x(k+1)=50+x(k)/2,x);
Como pasan muchos años tomas el límite de la función obtenida cuando k tiende a infinito.
> limit(%,k=infinity);
32 de 99 19-03-2015 20:51
Tutorial de MAPLE V http://www.dmdelrio.es/Maple/MAPLE1.html
> ?rsolve
ECUACIONES DIOFÁNTICAS
Las ecuaciones diofánticas son aquellas cuyas soluciones son números enteros.
Por ejemplo, si deseamos llevar 430 euros en billetes de 50 y 20 euros.. 1) ¿es posible? 2) en caso de ser posible ¿cuántos billetes de
cada hay que coger?
> isolve(50*x+20*y=430);
Obtenemos un conjunto de soluciones sustituyendo _NI por números enteros, por ejemplo:
donde nos quedaríamos con las parejas de soluciones positivas,por ejemplo (1,19), es decir 1 billete de 50 y 19 de 20, etc.
ECUACIONES DIFERENCIALES
En ingeniería y el ciencias hay muchos problemas que, cuando se formulan en términos matemáticos, requieren la determinación de
una función que debe satisfacer una ecuación que contiene derivadas de la propia función desconocida. Estas ecuaciones se
denominan ecuaciones diferenciales.
Por ejemplo, para determinar el movimiento de una partícula sobre la que actúa la fuerza de la gravedad, es necesario determinar una
función u(t) que satisfaga la siguiente ecuación:
> ec1:=m*diff(u(t),t$2)=-m*g;
El comando de MAPLE para resolver ecuaciones diferenciales es dsolve, que recive dos parámetros: la ecuación diferencial y el
nombre de la función incógnita:
> dsolve(ec1,u(t));
Como podemos ver, aparecen _C1 y _C2, que son constantes que se pueden determinar si se conocen las condiciones iniciales.
33 de 99 19-03-2015 20:51
Tutorial de MAPLE V http://www.dmdelrio.es/Maple/MAPLE1.html
El paquete DEtools contiene comandos sobre ecuaciones diferenciales. Interesa echarle un vistazo:
> ?DEtools
También es interesante que veamos la explicación del comando que resuelve ecuaciones diferenciales:
> ?dsolve
El comando dsolve admite, como tercer argumento, que se le inidique el método de resolución de la ecuación diferencial:
- poniendo type=numeric, se obtendrá una solución numérica utilizando un Runge-Kutta de orden 4-5.
CONDICIONES INICIALES
Cuando conocemos las condiciones iniciales podemos hallar una solución particular de la ecuación diferencial. Las condiciones
iniciales se incluyen en el comando dsolve haciendo un conjunto cuyo primer elemendo es la ecuación a resolver, y después las
condiciones iniciales separadas por comas.
> ec:=diff(y(x),x)=y(x)^2;
> dsolve({ec,y(0)=1},y(x));
Podemos comprobar que la solución obtenida cumple la ecuación planteada. Para ello debemos coger la parte derecha (comando
rhs, right side) de la última salida (comodín %) y sustituirla en la ecuación:
> y:=unapply(rhs(%),x);
> ec;
> y(0);
> restart:
> ec:=diff(y(x),x)=(3*x^2+4*x+2)/(2*(y(x)-1));
> dsolve({ec,y(0)=1},y(x));
34 de 99 19-03-2015 20:51
Tutorial de MAPLE V http://www.dmdelrio.es/Maple/MAPLE1.html
MAPLE puede resolver ecuaciones diferenciales en derivadas parciales utilizando el comando pdsolve, que recibe dos parámetros: la
ecuación diferencial y la función incógnita.
> restart:
> ec:=alpha^2*diff(u(x,t),x)=diff(u(x,t),t);
> sol:=pdsolve(ec,u(x,t));
La solución aparece expresada como una función arbitraria _F1 que podemos elegir nosotros. Vamos a tomar como _F1 la función
seno:
> subs(_F1=sin,%);
Ahora vamos a sustituirla en la ecuación y a simplificar la expresión para ver que, en efecto, se cumple la ecuación:
> simplify(subs(u(x,t)=rhs(%),ec));
INECUACIONES
Se resuelven utilizando el comando solve. En la solución se indica si el intervalo es abierto con Open.
> solve(x-1>5);
> solve(x^2+2*x-3>=0);
> solve(x^2-2*x+3<0);
SISTEMAS
SISTEMAS DE ECUACIONES
Para resolver un sistema de ecuaciones se utiliza el comando solve dando dos argumentos. El primero es el conjunto de las
ecuaciones, y el segundo el conjunto de las incógnitas.
35 de 99 19-03-2015 20:51
Tutorial de MAPLE V http://www.dmdelrio.es/Maple/MAPLE1.html
> solve({y-3*x=-5,x^2+y=-1},{x,y});
> solve({3*x-2*y+z=4,x+y-3*z=2},{x,y,z});
> solve({x-y=3,2*y-2*x=3},{x,y});
Según el Teorema de Rouche-Frobenius un sistema es compatible si el rango de la matriz del sistema es igual que el rango de la
matriz ampliada. Si además es igual al número de incógnitas, el sistema será compatible determinado.
> ec1:=x+2*y+z=9:
> ec2:=x-y-z=-10:
> ec3:=2*x-y+z=5:
En primer lugar tenemos que generar la matriz (matrix) del sistema (S) y la matriz ampliada (A). Esto se hace con el comando
genmatrix. Para ello necesitamos cargar el paquete linalg.
> with(linalg):
> S:=genmatrix([ec1,ec2,ec3],[x,y,z]):
> A:=genmatrix([ec1,ec2,ec3],[x,y,z],flag):
> rank(S);rank(A);
y como el número de incógnitas es 3, el sistema es compatible determinado. Ahora descargamos el paquete para liberar memoria.
> restart:
Podemos escribir un procedimiento que utilice el teorema de Rouche-Frobenius para discutir un sistema lineal y dar su solución:
> rouchef:=proc(ecuaciones::list,variables::list)
> with(linalg):
> S:=genmatrix(ecuaciones,variables):
> A:=genmatrix(ecuaciones,variables,flag):
> n := nops(variables);
36 de 99 19-03-2015 20:51
Tutorial de MAPLE V http://www.dmdelrio.es/Maple/MAPLE1.html
> fi:
> restart:
> S:=convert(ecuaciones,set):A:=convert(variables,set);
> solve(S,A):
> end:
> rouchef([x+2*y+z=9,x-y-z=-10,2*x-y+z=5],[x,y,z]);
EIGENVALORES Y EIGENFUNCIONES
La ecuación matricial formada a partir de un sistema de ecuaciones: Ax = y puede imaginarse como una transformación lineal de un
vector dado x en un nuevo vector y.
En este tipo de transformaciones los vectores que se transforman en múltiplos de sí mismos tienen múltiples aplicaciones (por
ejemplo, en el problema de encontrar los ejes principales de los esfuerzos de un cuerpo elástico, o en el caso de encontrar los modos
de vibración libre en un sistema conservativo con un número finto de grados de libertad).
> y=lambda*x;
> A*x=lambda*x;
> with(linalg):Id:=diag(1,1,1):(A-lambda*Id)*x=0;
Esta última ecuación sólo tiene soluciones diferentes (del caso trivial x=0) si el determinande de A-lamda·Id es nulo:
> Det(A-lambda*Id)=0;restart:
Los valores de lambda que satisfacen esta ecuación se denominan eigenvalores o valores propios de la matriz A y las soluciones
que se obtienen utilizando estos eigenvalores en la ecuación Ax=lambda·y se denominan eigenvectores, o vectores propios,
asociados a ese eigenvalor.
> A:=matrix([[0,1,1],[1,0,1],[1,1,0]]);Id:=matrix([[1,0,0],[0,1,0],[0,0,1]]);
37 de 99 19-03-2015 20:51
Tutorial de MAPLE V http://www.dmdelrio.es/Maple/MAPLE1.html
> B:=evalm(A)-lambda*evalm(Id);evalm(B);
> with(linalg):det(B)=0;solve(det(B)=0);
Hemos obtenido tres eigenvalores: lambda1=2, lambda2=-1 y lambda3=-1 (luego 2 es un eigenvalor simple y -1 es un eigenvalor de
multiplicidad dos)
> X=matrix([[x[1]],[x[2]],[x[3]]]);nulo:=matrix([[0],[0],[0]]):
> evalm(B)*X=evalm(nulo);
> lambda:=2;evalm(B)*X=evalm(nulo);
38 de 99 19-03-2015 20:51
Tutorial de MAPLE V http://www.dmdelrio.es/Maple/MAPLE1.html
Sin embargo, MAPLE no necesita hacer todo este proceso para obtener los eigenvalores y eigenvectores. Para ello disponde de los
comandos eigenvalues y eigenvectors, respectivamente, del paquete linalg.
> restart:with(linalg):
> A:=matrix([[0,1,1],[1,0,1],[1,1,0]]);
> eigenvalores:=eigenvalues(A);
> eigenvectores:=eigenvectors(A);restart:
[-1,2,{[0,-1,1],[1,-1,0]}] que indica el segundo eigenvalor: -1, su multiplicidad: 2 y los eigenvectores asociados: [0,-1,1] y [1,-1,0]
SISTEMAS DE INECUACIONES
Para resolverlos utilizaremos el comando solve con dos parámetros: el conjunto de inecuaciones y el conjunto de incógnitas. En caso
de no aparecer respuesta es que el sistema no tiene soluciónPor ejemplo:
Basta con utilizar el comando solve, dando la inecuación entre llaves y la incógnita entre también entre llaves.
> solve({4*x-3<=1,x+6>2},{x});
> solve({2*x-y<=3,2*x+y<=3},{x,y});
En este tipo de sistemas es más útil pintar las soluciones. Para ello necisatamos cargar el paquete plots, y utilizar el comando
inequal. Este comando tiene como argumentos el conjunto de inecuaciones, el rango en X, el rango en Y y la posibilidad de indicar el
color de las diferentes zonas. Interesa ver las diferentes opciones del comando:
> ?inequal
> with(plots):
> inequal({2*x-y<=3,2*x+y<3},x=-3..3,y=-5..5,optionsfeasible=(color=green),optionsopen=
(color=blue,thickness=2),optionsclosed=(color=red, thickness=3),optionsexcluded=(color=yellow));
> restart:
39 de 99 19-03-2015 20:51
Tutorial de MAPLE V http://www.dmdelrio.es/Maple/MAPLE1.html
En este ejemplo hemos pedido: - La zona solución en color verde; - La zona excluida en color amarillo; -Las fronteras abiertas en color
azul; - Las fronteras cerradas en color rojo.
Para resolver un sistema de ecuaciones diferenciales MAPLE dispone del comando dsolve, al que hay que dar el conjunto de las
ecuaciones (y condiciones iniciales si las hubiere) y el conjunto de las funciones incógnita:
> ec1:=diff(x[1](t),t)=x[1](t)+x[2](t);
> ec2:=diff(x[2](t),t)=4*x[1](t)+x[2](t);
> soluciones=dsolve({ec1,ec2},{x[1](t),x[2](t)});
> restart:
> ec1:=diff(x(t),t)=x(t)-5*y(t);
> ec2:=diff(y(t),t)=x(t)-3*y(t);
> dsolve({ec1,ec2,x(0)=1,y(0)=1},{x(t),y(t)});
40 de 99 19-03-2015 20:51
Tutorial de MAPLE V http://www.dmdelrio.es/Maple/MAPLE1.html
MATRICES Y VECTORES
VECTORES
Para definir un vector utilizamos el comando vector, dando las componentes del vector en forma de lista:
> v:=vector([1,2,3,4,5]);
> evalm(v);
En el caso de necesitar que una lista se convierta en vector, podemos usar el comando convert con la opción vector.
> w:=copy(v);
En general se puede hacer cualquier operación con vectores pidiendo que se evalúe con el comando evalm.
> u:=vector([u1,u2,u3]):v:=vector([v1,v2,v3]):
La suma, resta y multiplicación por un número real se expresan con los operadores habituales (+,-,*):
> evalm(r*u+s*v);
> evalm(u-v);
PRODUCTO ESCALAR
El producto escalar se calcula a través del comando dotprod del paquete linalg, que recibe como parámetros los dos vectores que
se multiplican. Está definido considerando que los vectores pueden ser complejos. Esto quiere decir que dotprod de los vectores u y
v, devuelve el producto escalar de u por el conjugado de v (esto permite calcular el módulo de un complejo):
> u:=vector([u1,u2*I]);v:=vector([v1,v2*I]);
> with(linalg):dotprod(u,v);restart:
Si se necesitara calcular el producto escalar de u por v sin utilizar el conjugado podemos hacerlo con dotprod del paquete linalg,
utilizando como tercer parámetro la opción 'orthogonal':
> u:=vector([u1,u2*I]);v:=vector([v1,v2*I]);
> with(linalg):dotprod(u,v,'orthogonal');restart:
41 de 99 19-03-2015 20:51
Tutorial de MAPLE V http://www.dmdelrio.es/Maple/MAPLE1.html
El módulo de un vector se puede calcular como la raíz cuadrada positiva del producto escalar de un vector por sí mismo. Resordemos
que para calcular el producto escalar se utiliza el comando dotprod del paquete linalg.
> with(linalg):
> v:=vector([I,-2,3*I]);sqrt(dotprod(v,v));restart:
MAPLE tiene el comando norm del paquete linalg. Damos como primer parámetro el vector y como segundo parámetro el índice de
la raíz para calcular el módulo (2).
> with(linalg):v:=vector([I,-2,3*I]):norm(v,2);restart:
Calcular el vector unitario de otro dado, esto es, el vector de módulo 1 de la misma dirección y sentido que el primero, se denomina
normalizar un vector.
Para obtener el vector normalizado se multiplica el vector por el inverso de su propio módulo:
> with(linalg):
> V:=([I,1,2*I]);v:=norm(V,2);
> U:=evalm(V*1/v);
> u:=norm(U,2);restart:
De todas formas MAPLE puede normalizar un vector directamente con el comando normalize del paquete linalg.
42 de 99 19-03-2015 20:51
Tutorial de MAPLE V http://www.dmdelrio.es/Maple/MAPLE1.html
> with(linalg):
> V:=([I,1,2*I]);
> U:=normalize(V);
> restart:
Utilizando la definición de producto escalar: u·v = |u|·|v|·cos(uv) podemos encontrar el ángulo que fomar ambos vectores
sencillamente despejando el coseno y calculando arccos. Recoremos que la respuesta aparece en radianes.
Utilizando esta misma definición de producto escalar, está claro que si dos vectores son perpendiculares, su producto escalar será
nulo (puesto que cos(90)=0).
> u:=vector([1,0]);v:=vector([1,1]);
> with(linalg):
> angulorad:=arccos(dotprod(u,v)/(norm(u,2)*norm(v,2)));
> angulogrados:=convert(angulorad,degrees);restart:
De todas formas MAPLE permite hallar el ángulo entre dos vectores con el comando angle del paquete linalg. El resultado aparece
en radianes.
> u:=vector([1,0]);v:=vector([1,1]);
> with(linalg):
> angulorad:=angle(u,v);
> angulograd:=convert(angulorad,degrees);
> restart:
43 de 99 19-03-2015 20:51
Tutorial de MAPLE V http://www.dmdelrio.es/Maple/MAPLE1.html
PRODUCTO VECTORIAL
> with(linalg):
> u:=vector([1,0,0]);v:=vector([0,1,0]);
> uxv:=crossprod(u,v);
> restart:
Como podemos ver, el vector resultante es perpendicular al plano definido por los otros dos vectores.
Interpretación geométrica
El producto vectorial de dos vectores u y v se puede interpretar como el área del paralelogramo definido por los dos vectores
(tomando el módulo de producto vectorial, naturalmente).
Por ejemplo, si queremos hallar el área del triángulo cuyos vértices tienen por coordenadas A(3,-1,2), B(0,1,2) y C(2,2,2) haremos lo
siguiente:
Hallamos los vectores u=AB y v=AC y obtenemos la mitad del modulo del producto vectorial (porque el área del triángulo es la mitad
del área del paralelogramo):
> u:=vector([0-3,1-(-1),2-2]);v:=vector([2-3,2-(-1),2-2]);
> with(linalg):
> area=1/2*norm(crossprod(u,v),2);
> restart:
ANÁLISIS VECTORIAL
GRADIENTE
El gradiente de una función escalar f(x,y,z), continua y derivable, es una función vectorial que se obtiene calculando sus derivadas
parciales con respecto a cada una de las coordenadas. MAPLE permite calcular el gradiente de una función escalar con el comando
grad del paquete linalg, que recibe como primer argumento la expresión de la función, y como segundo argumento la lista de las
variables.
> restart:
44 de 99 19-03-2015 20:51
Tutorial de MAPLE V http://www.dmdelrio.es/Maple/MAPLE1.html
> `grad`(f)=(Diff(f,x),Diff(f,y),Diff(f,z));
El operador gradiente es comunmente utilizado en Física. Por ejemplo, el campo eléctrico (E) es una función vectorial que resulta de
aplicar el gradiente a la función potencial: E = -grad(V)
> with(linalg):
> V:=x^2+y^2+z^2;E:=-grad(V,[x,y,z]);
> restart:
También podemos calcular el gradiene en coordenadas esféricas o cilíndricas. Para ello incluímos el parámetro coords=spherical
o coords=cylindrical, respectivamente. Por defecto el gradiente se calcula en coordenadas cartesianas.
> with(linalg):
> V:=x^2+y^2+z^2;E:=-grad(V,[x,y,z],coords=cylindrical);
> restart:
> with(linalg):
> V:=x^2+y^2+z^2;E:=-grad(V,[x,y,z],coords=spherical);
> restart:
DIVERGENCIA
El operador divergencia actúa sobre una función vectorial F (Fx,Fy,Fz) devolviendo un escalar. En coordenadas cartesianas la
divergencia se expresa:
> div(F)=Diff(Fx,x)+Diff(Fy,y)+Diff(Fz,z);
El operador divergencia se utiliza mucho en Fïsica. Por ejemplo, en electromagnetismo, la divergencia del campo electrico hace
45 de 99 19-03-2015 20:51
Tutorial de MAPLE V http://www.dmdelrio.es/Maple/MAPLE1.html
referencia al flujo total de las líneas de campo eléctrico (que puede ser nulo, positivo y entonces hay una fuente, o negarivo y
entonces hay un sumidero). Por ejemplo, sea el campo E:
> Ex:=6*x*y:Ey:=3*x^2-3*y^2:Ez:=3*z:
> e:=[Ex,Ey,Ez];
> with(linalg):
> divergencia(E)=diverge(e,[x,y,z]);
> restart:
En este resultado la divergencia del campo eléctrico es positiva. Tenemos, por lo tanto, una fuente.
> Ex:=6*x*y:Ey:=3*x^2-3*y^2:Ez:=0:
> e:=[Ex,Ey,Ez];
> with(linalg):
> divergencia(E)=diverge(e,[x,y,z]);
> restart:
También podemos calcular la divergencia en coordenadas esféricas o cilíndricas. Para ello incluímos el parámetro
coords=spherical o coords=cylindrical, respectivamente. Por defecto la divergencia se calcula en coordenadas cartesianas.
> with(linalg):
> Ex:=2*Pi*rho*x:Ey:=rho*y/(2*epsilon[0]):Ez:=0:
> e:=[Ex,Ey,Ez];
> divergencia(E)=diverge(e,[x,y,z],coords=cylindrical);
> restart:
46 de 99 19-03-2015 20:51
Tutorial de MAPLE V http://www.dmdelrio.es/Maple/MAPLE1.html
ROTACIONAL
El operador rotacional actúa sobre una función vectorial y devuelve otra función vectorial. Desde el punto de vista de la Física el
rotacional distinto de cero significa que el campo tiene circulación, o turbulencia. Por ejemplo, el campo de velocidades del agua al
vaciar una bañera adquiere, generalmente, una circulación. Su rotacional no es cero en la mayor parte de la superficie (cualquier
cuerpo que flote en la superficie gira mientras avanza).
MAPLE dispone del comando curl del paquete linalg para calcular el rotacional. Como parámetros es necesario dar la función
vectorial y la lista de variables.
> with(linalg):
> f1:=x*y*z:f2:=3*x^2*z:f3:=-2*y*z^2:
> F:=[f1,f2,f3];rot(f)=curl(F,[x,y,z]);
> restart:
También podemos calcular el rotacional en coordenadas esféricas o cilíndricas. Para ello incluímos el parámetro coords=spherical
o coords=cylindrical, respectivamente. Por defecto el rotacional se calcula en coordenadas cartesianas.
> with(linalg):
> f1:=x*y*z:f2:=3*x^2*z:f3:=-2*y*z^2:
> F:=[f1,f2,f3];rot(f)=curl(F,[x,y,z],coords=cylindrical);
> restart:
LAPLACIANA
El operador laplaciana se puede considerar como "la divergencia del gradiente", es decir, partiendo de una función escalar aplicamos
el gradiente, por lo que obtenemos la variación de dicha función en las tres direcciones del espacio. Ahora aplicamos sobre esta
función vectorial recien hallada el operador divergencia, por lo que volvemos a obtener una función escalar.
> laplaciana(f)=Diff(f,x$2)+Diff(f,y$2)+Diff(f,z$2);
El comando de MAPLE que hace de operador laplaciana es laplacian, del paquete linalg. Este comando recibe como argumentos la
función escalar y la lista de variables:
> with(linalg):
> f:=x^2+y^2+z^2:
47 de 99 19-03-2015 20:51
Tutorial de MAPLE V http://www.dmdelrio.es/Maple/MAPLE1.html
> laplaciana(f)=laplacian(f,[x,y,z]);
> restart:
Dondequiera que la densidad de carga sea nula (todas las regiones del espacio que no contienen carga eléctrica) el potencial eléctrico
V tiene que satisfacer la ecuación de Laplace:
> laplaciana(V)=0;
También podemos calcular la laplaciana en coordenadas esféricas o cilíndricas. Para ello incluímos el parámetro
coords=spherical o coords=cylindrical, respectivamente. Por defecto la laplaciana se calcula en coordenadas cartesianas.
> with(linalg):
> f:=x^2+y^2+z^2:
> laplaciana(f)=laplacian(f,[x,y,z],coords=spherical);
> restart:
MATRICES
DEFINIENDO MATRICES
En la introducción ya se habló de como definir matrices. Vamos a ver ahora cómo definir una matriz de otras formas:
El comando matrix permite definir y rellenar matrices dando las sucesivas filas en forma de lista:
> m:=matrix([[1,2,3],[4,5,6]]);
> m[1,1]:=8;
> evalm(m);
48 de 99 19-03-2015 20:51
Tutorial de MAPLE V http://www.dmdelrio.es/Maple/MAPLE1.html
> n:=copy(m):print(`n=`,n);
> with(linalg):
Matriz de Vandermonde:
> vandermonde([a,b,c]);
Matriz diagonal:
> diag(a,b,c);
Matriz jacobiana: se aplica sobre funciones vectoriales, evaluándose en cada fila las dereivadas parciales de cada componente de la
función con respecto a cada una de las variables. El comando es jacobian.
> f=f(fx,fy,fz),jacobiano=matrix([[Diff(fx,x),Diff(fx,y),Diff(fx,z)],[Diff(fy,x),Diff(fy,y),Diff(fy,z)],[Diff(fz,x),Diff(fz,y),Diff(fz,z)]]);
49 de 99 19-03-2015 20:51
Tutorial de MAPLE V http://www.dmdelrio.es/Maple/MAPLE1.html
> f:=[x*y*z,x^2+y^2+z^2,y]:
> funcion=f,jacobiana=jacobian(f,[x,y,z]);
Matriz wronskiana: se utiliza para la resolución de determinadas ecuaciones diferenciales. La primera fila muestra las componentes
de una función vectorial, y las filas siguientes son sus derivadas sucesivas. El comando es wronskian.
> f:=[sin(x^2),exp(-x),1/x]:
> funcion=f,wronskiana=wronskian(f,x);
Podemos hacer las operaciones básicas con matrices (suma resta y multiplicación por un número) utilizando los operadores normales
(+, - ,*), y después evaluar la matriz resultado con el comando evalm:
> a:=matrix([[1,1,1],[3,3,3]]);b:=matrix([[2,2,2],[4,4,4]]);
> a+b=evalm(a+b);
> 3*a=evalm(3*a);
> 4*a-2*b=evalm(4*a-2*b);
MULTIPLICACIÓN DE MATRICES
Para multiplicar dos matrices es necesario utilizar la combinación de símbolos &*, dado que este producto no es conmutativo.
Tenemos que recordar que, para que dos matrices se puedan multiplicar, es necesario que el número de columnas de la primera
50 de 99 19-03-2015 20:51
Tutorial de MAPLE V http://www.dmdelrio.es/Maple/MAPLE1.html
coincida con el número de filas de la segunda. Para evaluar el resultado utilizaremos el comando evalm.
> a:=matrix([[a11,a12,a13],[a21,a22,a23]]);b:=matrix([[b11,b12],[b21,b22],[b31,b32]]);
> evalm(a&*b);
Como caso especial comentar que si multiplicamos un vector fila (1xM) por una matriz (MxN) obtendremos otro vector fila (1xM)
> v:=vector([v1,v2]):
> evalm(v)&*evalm(a)=evalm(v&*a);
Si multiplicamos una matriz (MxN) por un vector columna (Nx1) obtendremos otro vector columna (Mx1), aunque MAPLE devuelva el
resultado en forma de vector fila.
> w:=vector([w1,w2,w3]):
> evalm(a)*evalm(w)=evalm(a&*w);
Si queremos el resultado en forma de vector columna debemos definir el vector como una matriz de tres filas y una única columna:
> a:=matrix([[1,2,3],[4,5,6]]):v:=matrix([[-1],[0],[1]]):
> evalm(a)*evalm(v)=evalm(a&*v);
POTENCIA DE MATRICES
Elevar una matriz a una potencia significa multiplicarla por sí misma tantas veces como sea necesario, por lo tanto únicamente
podremos calcular la potencia de matrices cuadradas, o de lo contrario no se podrían multiplicar. Para indicar la potencia utilizamos el
operador ^ y el comando evalm para visualizar el resultado.
> a:=matrix([[1,I],[-I,1]]);
> evalm(a^2);
51 de 99 19-03-2015 20:51
Tutorial de MAPLE V http://www.dmdelrio.es/Maple/MAPLE1.html
> evalm(a^4);
MATRIZ TRASPUESTA
La traspuesta At de una matriz A se obtiene intercambiando las filas y las columnas de A. MAPLE utiliza el comando transpose, del
paquete linalg, para obtener la traspuesa de una matriz:
> with(linalg):
> A:=matrix([[3,2-I],[4+3*I,-5+2*I]]);At:=transpose(A);
> restart:
MATRIZ CONJUGADA
La conjugada de una matriz se consigue reemplazando cada elemento de la matriz por su conjugado. El comando conjugate aplicado
sobre una matriz realiza esta tarea. Si queremos visualizar la matriz debemos utilizar el comando evalm:
> A:=matrix([[3,2-I],[4+3*I,-5+2*I]]);conjugate(A)=evalm(conjugate(A));
MATRIZ ADJUNTA
La matriz adjunta de otra es la traspuesta de su matriz conjugada. Maple obtiene la adjunta de una matriz con la combinación de los
comando conjugate y transpose del paquete linalg:
> with(linalg):
> A:=matrix([[3,2-I],[4+3*I,-5+2*I]]);
> Aadj=transpose(conjugate(A));
> restart:
52 de 99 19-03-2015 20:51
Tutorial de MAPLE V http://www.dmdelrio.es/Maple/MAPLE1.html
MATRIZ INVERSA
Se define la matriz inversa de A a otra tal que multiplicada por A da la matriz identidad. No todas las matrices tienen inversa (en primer
lugar hay que decir que únicamente se define la inversa de matrices cuadradas). En el caso de que una matriz no tenga inversa se
denomina singular.
El cálculo de una matriz inversa es largo y tedioso, pero MAPLE puede calcular la inversa de una matriz de dos formas distintas:
evaluando 1/A ó elevando A^(-1)
> A:=matrix([[1,-1,-1],[3,-1,2],[2,2,3]]);
> Ainv:=evalm(1/A);
> Ainv:=evalm(A^(-1));
En el caso de que queramos hallar la inversa de una matriz singular, MAPLE devuelve un error:
> B:=matrix([[1,2],[2,4]]);evalm(1/B);
MAPLE obtiene la traza de una matriz (cuadrada, evidentemente) con el comando trace del paquete linalg.
> with(linalg):
> A:=matrix([[a11,a12],[a21,a22]]);
> traza=trace(A);
> restart:
53 de 99 19-03-2015 20:51
Tutorial de MAPLE V http://www.dmdelrio.es/Maple/MAPLE1.html
Podemos intercambiar filas y columnas en una matriz con los comandos swaprow y swapcol, respectivamente, del paquete linalg.
Ambos comandos deben recibir como argumento la matriz y la posición de las filas, o columnas, que vamos a intercambiar:
> with(linalg):
> A:=matrix([[2,-1,-1],[-1,1,-2],[1,-2,3]]):
> A=evalm(A),cambio_fila_2y3=swaprow(A,2,3),cambio_columna_1y3=swapcol(A,1,3);
Para multiplicar todos los elementos de una fila, o de una columna, por un escalar se utilizan los comando mulrow y mulcol,
respectivamente, del paquete linalg. Como argumentos se dan la matriz, la posición de la fila o columna y el escalar:
> A=evalm(A),fila2por3=mulrow(A,2,3),columna3por_k=mulcol(A,3,k);
También es posible multiplicar todos los elementos de una fila, o columna, por un escalar y sumar el resultado a otra fila, o columna.
Para esto se utilizan los comando addrow y addcol, respectivamente, del paquete linalg. Como argumentos damos la matriz; la
posición de las fila, o columna, que va a ser multiplicada; la posición de la fila, o columna, a la que vamos a sumar la anterior; y el
valor del escalar:
> A=evalm(A),fila1+fila2_por3=addrow(A,2,1,3),col3+col1_por(-1)=addcol(A,1,3,-1);
Con todos estos comandos podemos triangular una matriz dada. Por ejemplo:
> A=evalm(A);
> A1:=swaprow(A,1,3):A2:=addrow(A1,1,2,1):A3:=addrow(A2,1,3,-2):
> swapfil1y3=evalm(A1),fila2+fila1por(1)=evalm(A2),fila3+fila1por(-2)=evalm(A3);
> A4:=addrow(A3,2,3,3):fila3+fila2por3=evalm(A4);restart:
54 de 99 19-03-2015 20:51
Tutorial de MAPLE V http://www.dmdelrio.es/Maple/MAPLE1.html
De todas formas MAPLE es capaz de hacer todo este proceso por sí solo, con el comando gausselim (eliminación gaussiana) del
paquete linalg, que recibe como parámetro la matriz inicial:
> with(linalg):A:=matrix([[2,-1,-1],[-1,1,-2],[1,-2,3]]);gausselim(A);restart:
Podemos elegir en una matriz un elemento pivote. Pivotar una matriz con respecto a un elemento supone conservar la fila del
elemento tal y como está, pero anular los demás elementos de la columna del pivote (sumando a cada fila la del elemento pivote
multiplicada por el escalar apropiado). El comando de MAPLE para pivotar una matriz es pivot, del paquete linalg, que recibe como
argumentos la matriz y la posición del elemento pivote:
> A:=matrix([[2,-1,-1],[-1,1,-2],[1,-2,3]]):
> with(linalg):
> A=evalm(A),pivote2,3=pivot(A,2,3);
> restart:
RANGO
Podemos obtener el rango de una matriz con el comando rank, del paquete linalg:
> A:=matrix([[1,2,3],[4,5,6],[2,4,6]]):
55 de 99 19-03-2015 20:51
Tutorial de MAPLE V http://www.dmdelrio.es/Maple/MAPLE1.html
> with(linalg):
> A=evalm(A),rango=rank(A),eliminacion_gaussiana=gausselim(A);
> restart:
DETERMINANTES
Para calcular el valor de un determinante MAPLE tiene el comando det del paquete linalg. Como argumento damos la matriz
(cuadrada evidentemente) cuyo determinante queremos hallar.
> A:=matrix([[1,0,2],[-2,-4,5],[0,1,-1]]);
> with(linalg):
> Det(A)=det(A);
> restart:
VOLUMEN DE UN TETRAEDRO
Para hallar el volumen de un tetraedro de vértices A(a1,a2,a3), B(b1,b2,b3), C(c1,c2,c3) y D(d1,d2,d3) podemos utilizar el
determinante de la siguiente matriz:
> M:=matrix([[b1-a1,c1-a1,d1-a1],[b2-a2,c2-a2,d2-a2],[b3-a3,c3-a3,d3-a3]]);
> M:=matrix([[1,0,0,0],[a1,b1-a1,c1-a1,d1-a1],[a2,b2-a2,c2-a2,d2-a2],[a3,b3-a3,c3-a3,d3-a3]]);
56 de 99 19-03-2015 20:51
Tutorial de MAPLE V http://www.dmdelrio.es/Maple/MAPLE1.html
> M:=matrix([[1,1,1,1],[a1,b1,c1,d1],[a2,b2,c2,d2],[a3,b3,c3,d3]]);
> Vol(ABCD)=1/6*Det(evalm(M));
Vamos a escribir un procedimiento que devuelva el volumen de un tetraedro dando sus vértices como argumento:
> voltetra:=proc(a,b,c,d::list)
> A:=matrix([[1,1,1,1]]);
> with(linalg):
> M:=stackmatrix(A,transpose(matrix([a,b,c,d])));
> restart:
> vol:=1/6*det(M)
> end:
> vol=voltetra([2,3,1],[4,1,-2],[6,3,7],[-5,-4,8]);
Para definir un plano necesitamos dos vectores v(v1,v2,v3) y w(w1,w2,w3) y un punto m(m1,m2,m3). Así, cualquier punto genérico
X(x,y,z) que pertenezca al plano cumplirá el sistema:
> ec1:=v1*t+w1*s=x-m1;
> ec2:=v2*t+w2*s=y-m2;
> ec3:=v3*t+w2*s=z-m3;
57 de 99 19-03-2015 20:51
Tutorial de MAPLE V http://www.dmdelrio.es/Maple/MAPLE1.html
En el paquete linalg el comando genmatrix, con la opción flag, genera la matriz del sisema.
> with(linalg):
> S:=genmatrix([ec1,ec2,ec3],[t,s],flag): #genmatrix, con la opción flag, genera la matriz del sistema
> Coeficientes=evalm(C),Sistema=evalm(S);
La matriz de coeficientes debe tener rango 2, pues los dos vectores que definen el plano deben ser linealmente independientes. Por
los tanto, el sistema tendrá solución únicamente si el rango de la matriz del sistema tiene rango 2 (si tuviera rango 3 el sistema sería
incompatible). Por lo tanto el determinante de la matriz del sistema debe ser nulo:
> Det(evalm(S))=0;
Podemos desarrollar este determinante, sacando factor común x,y,z, con el comando collect de MAPLE:
> d:=det(S)=0:
> collect(d,[x,y,z]);
Podemos escribir un procedimiento que devuelva la ecuación que define un plano dando como argumentos los vectores directores del
plano y un punto del plano:
> ecuplano:=proc(v,w,m::list)
> X:=matrix([[x,y,z]]):M:=matrix([m]):Ind:=evalm(X-M);
> with(linalg):
> S:=concat(transpose(matrix([v,w])),transpose(Ind)); #concat une matrices del mismo nº de filas, una a la derecha de otra
> det(S)=0
> end:
> ec:=ecuplano([1,2,3],[2,0,1],[0,1,1]);
FUNCIONES
MAPLE permite dibujar funciones en el plano y en el espacio, para ello utiliza los comandos plot y plot3d, respectivamente.
FUNCIONES EN EL PLANO
DEFINICIÓN
58 de 99 19-03-2015 20:51
Tutorial de MAPLE V http://www.dmdelrio.es/Maple/MAPLE1.html
A PRIORI
> f:=x->x^2-2*x+1;
> g:=t->1/2*9.8*t^2;
> h:=(x,y,z)->x^2+y*z-1;
> f:=(x::integer)->x;
Para definir funciones a trozos utilizamos en comando piecewise, inidcando el primer intervalo, la primera función, el segun inervalor,
la segunda función, etc:
> f:=x->piecewise(x<=0,x^2+2*x+1,x<4,1,x>=4,x-3);
> plot(f(x),x=-4..6,y=-1..3);
> g:=x->abs((x-1)*(x+1));plot(g(x),x=-3..3);
59 de 99 19-03-2015 20:51
Tutorial de MAPLE V http://www.dmdelrio.es/Maple/MAPLE1.html
A POSTERIORI
Podemos tomar el resultado de un cálculo anterior y convertirlo en función con el comando unapply, que tiene como primer
argumento la candidata a función y como segundo argumento la candidata a variable independiente.
> a:=expand(2*(x-1)^2+3);
> f:=unapply(a,x);
IMÁGENES
> f:=x->3*x-1;
> f(2);
> g:=(ci,r,t)->ci*(1+r/100)^t;
> g(3000,5,3);
> evalf(%);
60 de 99 19-03-2015 20:51
Tutorial de MAPLE V http://www.dmdelrio.es/Maple/MAPLE1.html
> f:=x->2*x-4:g:=x->x^2-4:
> suma:=x->f(x)+g(x);resta:=x->f(x)-g(x);
> with(plots):
> p:=plot({f(x),g(x),suma(x),resta(x)},x=-2..4,color=[yellow,red,green,blue]):
> t:=textplot([[4,f(4),'f(x)'],[4,g(4),'g(x)'],[4,suma(4),'f+g'],[4,resta(4),'f-g']]):
> restart:
> plot(m3(x),x=-4..4);
61 de 99 19-03-2015 20:51
Tutorial de MAPLE V http://www.dmdelrio.es/Maple/MAPLE1.html
COMPOSICIÓN DE FUNCIONES
> h:=x->g(f(x));
> with(plots):
> p:=plot({f(x),g(x),h(x)},x=-3..3,color=[red,green,blue]):
> t:=textplot([[-3,f(-3),'f(x)'],[-3,g(-3),'g(x)'],[-3,h(-3),'g(f(x))']]):
> restart:
TRASLACIÓN DE FUNCIONES
Vamos a tratar aquí cómo podemos trasladar matemáticamente una determinada función horizontal y verticalmente.
TRASLACIÓN VERTICAL
62 de 99 19-03-2015 20:51
Tutorial de MAPLE V http://www.dmdelrio.es/Maple/MAPLE1.html
Para trasladar una función verticalmente basta con sumar, o restar, un valor a la función: g(x)=f(x)+k
> f:=x->x^2-3:
> with(plots):
> animate(f(x)+t,x=-3..3,t=-3..3);
> restart:
Como podemos ver, el comando animate (que está en el paquete plots) permite ver la secuencia de movimientos. Como parámetros
tiene la función (con dos variables: la x y el paso de tiempo), el rango del eje x y el rango de tiempo. Si hacemos click sobre la figura
aparecerá un menú con las opciones clásicas de un video. Únicamene tenemos que probar.
TRASLACIÓN HORIZONTAL
Para trasladar una función horizontalmente basta con sumar, o restar, un valor al argumento de la función: g(x)=f(x+k)
> f:=x->x^3:
> with(plots):
> animate(f(x+t),x=-6..6,t=-3..3);
> restart:
63 de 99 19-03-2015 20:51
Tutorial de MAPLE V http://www.dmdelrio.es/Maple/MAPLE1.html
> f:=x->x^(1/2);solve(y=f(x),x);g:=unapply(%,y);
> plot({f(x),g(x)},x=0..4,y=0..4,scaling=constrained);
Se puede aplicar una función de una variable a una estructura (conjunto, lista, vector, etc) usando el comando map:
> f:=x->2*x;C:={1,2,3,4,5};map(f,C);
64 de 99 19-03-2015 20:51
Tutorial de MAPLE V http://www.dmdelrio.es/Maple/MAPLE1.html
> g:=(x,y)->x^2+y^2;A:=[1,3,5,7];B:=[2,4,6,8];zip(g,A,B);
EL COMANDO PLOT
Con el comando plot podemos dibujar una o varias funciones. Además de la función indicamos el intervalo de valroes en los que se
pintará la función (obligatorio) y el intervalo de valores del eje Y (opcional).
> f:=x->(x-1)^3:
> plot(f(x),x=-1..3);
Si hacemos click sobre el cuadro de la función veremos cómo se activa un nuevo menú que nos permitirá colocar los ejes, cambiar el
aspecto de la función, etc. Ánimo... la curiosidad es la mejor baza.
Si lo que queremos es representar varias funciones a la vez también podemos usar el comando plot, pero ahora debemos pasar un
conjunto de funciones (entre llaves, aunque también podemos pasar una lista de las funciones, entre corchetes). Podemos elegir los
colores de cada una con la opción color y el nombre de los colores en inglés:
> plot({f(x),g(x),h(x)},x=-2..2,color=[red,green,blue]);
65 de 99 19-03-2015 20:51
Tutorial de MAPLE V http://www.dmdelrio.es/Maple/MAPLE1.html
> ?plot
Se puede rotular una gráfica utilizando el comando textplot. Como argumentos se dan listas que se forman con las coordenadas y el
texto, entre comilla simple, que queremos escribir:
> ?textplot
EL COMANDO DISPLAY
El comando display está en el paquete plots, y permite pintar varias gráficas juntas, con rótulos e incluso título:
> ?plots,display
Si queremos pintar varais gráficas y rotularlas, la mejor opción es ir definiendo cada gráfica con el comando plot y guardarlas como
variables. Los rótulos se definen con textplot y se guardan en otra variable. El comando display permite recoger todas estas
variables y pintar la gráfica.
> with(plots):
> g1:=plot(ln(x),x=0.1..7,color=red):
> g2:=plot(exp(x),x=-5..2,color=blue):
> g3:=plot(x,x=-4..5,color=green):
> t:=textplot([[6,ln(6)-1,'ln(x)'],[3,exp(2),'exp(x)'],[6,5,x]]):
> restart:
66 de 99 19-03-2015 20:51
Tutorial de MAPLE V http://www.dmdelrio.es/Maple/MAPLE1.html
El comando animate del paquete plots permite animar gráficas. Es necesario dar tres parámetros: la función, que debe depender de
dos variables (la variable independiente normal y otra variable que indique el paso temporal para la animación), el rango de variación
de la variable independiente y el intervalo de variación del paso temporal. Es recomendable ver qué otras opciones tiene animate:
> ?plots,animate
Una vez pintada la gráfica, al hacer click sobre ella quedará seleccionada y aparecerá un menú, parecido al de un video, en la barra
de menús: la curiosidad es la mejor recomendación:
> with(plots):animate(sin(t*x),x=-Pi..Pi,t=-10..10);restart:
Además de la representación en forma explícita clásica, que se realiza con el comando plot. También podemos representar curvas
implícitas, en paramétricas y en coordenadas polares.
REPRESENTACIÓN IMPLÍCITA
Para representar una función con ecuaciones implícitas se utiliza el comando implicitplot del paquete plots. Al comando implicitplot
hay que darle la función implícita, el intervalo de variación de la variable independiente y el intervalo de variación de la variable
dependiente.
> with(plots):implicitplot(x^2-y^2=2,x=-3..3,y=-3..3,scaling=CONSTRAINED);restart:
67 de 99 19-03-2015 20:51
Tutorial de MAPLE V http://www.dmdelrio.es/Maple/MAPLE1.html
Haciendo click sobre la figura, ésta queda seleccionada y se activa un menú (en la barra de menús) con diferentes opciones para
probar.
REPRESENTACIÓN PARAMÉTRICA
Para representar una curva en ecuaciones paramétricas se utiliza el comando plot. El conjunto de ecuaciones paramétricas se le da a
plot en forma de lista ordenada: primero x(t), luego y(t), junto con la variación del parámetro t. El resto de opciones de plot siguen
siendo válidas.
> plot([5*sin(1/4*t),7*sin(t),t=-2*Pi..8*Pi]);
La curva locura de Stanley S. Miller ilustra de una forma excelente la representación de curvas a través de ecuaciones
parametrizadas:
> plot([sin(0.99*t)-0.7*cos(3.1*t),cos(1.01*t)+0.1*sin(15.03*t),t=0..50],color=blue);
68 de 99 19-03-2015 20:51
Tutorial de MAPLE V http://www.dmdelrio.es/Maple/MAPLE1.html
COORDENADAS POLARES
MAPLE puede representar curvas dadas en coordenadas polares utilizando el comando polarplot del paquete plots. Este comando
recibe dos parámetros: la función polar r=r(theta) y el intervalo de variación del argumento.
> with(plots):polarplot(5,theta=0..Pi/2,scaling=CONSTRAINED);restart:
> with(plots):polarplot(cos(6*alpha),alpha=0..2*Pi,scaling=CONSTRAINED);restart:
69 de 99 19-03-2015 20:51
Tutorial de MAPLE V http://www.dmdelrio.es/Maple/MAPLE1.html
También podemos dar el módulo y el argumento en forma paramétrica, utilizando también el comando polarplot dando una lista
ordenada con la ecuación del módulo y la del argumento en función de un parámetro, y dando el intervalo de variación del parámetro.
> with(plots):polarplot([t,t,t=0..4*Pi],color=blue,scaling=CONSTRAINED);restart:
GRÁFICAS A TRAMOS
Podemos representar una curva poligonal haciendo una lista de los vértices por los que pasa. Los pares ordenados se ponen entre
corchetes, como las listas, para indicar precisamente que están ordenados.
> p:=[[-3,1],[-1,0],[1,3],[2,4],[4,5],[6,2]]:
> plot(p,x=-4..7);
70 de 99 19-03-2015 20:51
Tutorial de MAPLE V http://www.dmdelrio.es/Maple/MAPLE1.html
Además de la representación en forma explícita, que se realiza con el comando plot3d. También podemos representar superficies
dadas de modo implícito, en paramétricas y en coordenadas esféricas y cilíndricas.
EL COMANDO plot3d
MAPLE puede representar superficies en el espacio con el comando plot3d, al que hemos de darle la función explícita de dos
variables y el intervalo de variación de cada una de ellas
> f:=(x,y)->x^2-y^2;
> plot3d(f(x,y),x=-8..8,y=-8..8,grid=[50,50]);
Si hacemos click sobre la imagen se activará un menú en la barra de menús que nos permitirá elegir el tipo de grid, los ejes y la
escala, así como rotar la función alrededor de los ejes. Si hacemos click sin soltar el botón sobre la función podremos moverla para
verla desde diferentes ángulos.
El comando plot3d tiene muchas opciones con las que podemos cambiar el aspecto de la gráfica (como la opción grid utilizada en el
ejemplo. Es recomendable acudir a la ayuda de MAPLE para ver estas opciones:
> ?plot3d[option]
Con el comando plot3d podemos pintar varias funciones a la vez, basta con pasar como parámetro al comando plot3d el conjunto de
71 de 99 19-03-2015 20:51
Tutorial de MAPLE V http://www.dmdelrio.es/Maple/MAPLE1.html
> f:=(x,y)->sin(x)-cos(x);
> plot3d({f(x,y),g(x,y)},x=-Pi..Pi,y=0..Pi,axes=BOXED);
SUPERFICIES EN PARAMÉTRICAS
Para representar una superficie dada en forma de ecuaciones paramétricas basta con utilizar el ç comando plot3d dando como primer
argumento la lista de las ecuaciones paramétricas y después el intervalo de variación de los parámetros:
> x:=-(3+sin(u))*sin(v):y:=(3+sin(u))*cos(v):z:=cos(v):
> plot3d([x(u,v),y(u,v),z(u,v)],u=-Pi..Pi,v=-Pi..Pi,axes=BOXED,orientation=[137,72]);
Si hacemos girar una circunferencia definida en el plano YZ, en torno al eje X, obtendremos un toro:
> x:=10*cos(u)+3*cos(u)*cos(v):y:=10*sin(u)+3*sin(u)*cos(v):z:=3*sin(v):
> plot3d([x(u,v),y(u,v),z(u,v)],u=0..2*Pi,v=0..2*Pi,axes=NORMAL,labels=[X,Y,Z],scaling=CONSTRAINED);
72 de 99 19-03-2015 20:51
Tutorial de MAPLE V http://www.dmdelrio.es/Maple/MAPLE1.html
Para representar superficies dadas en forma implícita necesitamos el comando implicitplot3d del paquete plots. Como primer
argumento damos la función en forma implícita y después el intervalo de variación de las tres variables. Aquí tenemos la
representación de un paraboloide hiperbólico:
> restart:with(plots):
> restart:
> with(plots):
> restart:
73 de 99 19-03-2015 20:51
Tutorial de MAPLE V http://www.dmdelrio.es/Maple/MAPLE1.html
CUÁDRICAS
Las llamadas superficies cuadráticas, o simplemente cuádricas, se definen mediante ecuaciones de la forma:
> f:=Sum(a[ij]*x[i]*x[j],ij=i..3)+Sum(b[i]*x[i],i=1..3)+c=0;
1.- Elipsoide:
> with(plots):
> ec1:=x^2/a^2+y^2/b^2+z^2/c^2=1;a:=5:b:=4:c:=3:
> implicitplot3d(ec1,x=-5..5,y=-4..4,z=-3..3,axes=BOXED,scaling=CONSTRAINED,title=`Elipsoide`,orientation=[68,73]);
> restart:
74 de 99 19-03-2015 20:51
Tutorial de MAPLE V http://www.dmdelrio.es/Maple/MAPLE1.html
> with(plots):
> ec1:=x^2/a^2+y^2/b^2-z^2/c^2=1;a:=5:b:=4:c:=3:
> restart:
> with(plots):
> ec1:=x^2/a^2-y^2/b^2-z^2/c^2=1;a:=5:b:=4:c:=3:
> restart:
75 de 99 19-03-2015 20:51
Tutorial de MAPLE V http://www.dmdelrio.es/Maple/MAPLE1.html
> with(plots):
> ec1:=x^2/a^2+y^2/b^2-z=0;a:=5:b:=4:
> implicitplot3d(ec1,x=-20..20,y=-20..20,z=0..17,axes=NORMAL,scaling=CONSTRAINED,title=`Paraboloide
elíptico`,orientation=[81,69]);
> restart:
> with(plots):
> ec1:=x^2/a^2-y^2/b^2-z=0;a:=5:b:=4:
76 de 99 19-03-2015 20:51
Tutorial de MAPLE V http://www.dmdelrio.es/Maple/MAPLE1.html
[69,64]);
> restart:
> with(plots):
> ec1:=x^2/a^2+y^2/b^2-z^2/c^2=0;a:=5:b:=4:c:=3:
> restart:
77 de 99 19-03-2015 20:51
Tutorial de MAPLE V http://www.dmdelrio.es/Maple/MAPLE1.html
MAPLE puede representar superficies dadas en coordenadas esféricas usando el comando sphereplot del paquete plots.
> with(plots):
> r:=(theta,phi)->5*theta*phi;
> sphereplot(r(theta,phi),theta=0..2*Pi,phi=0..2*Pi,axes=BOXED,style=LINE,orientation=[-137,36]);
> restart:
MAPLE puede representar superficies dadas en coordenadas cilíndricas usando el comando cylinderplot del paquete plots.
> with(plots):
> r:=(theta,z)->2*theta;
> cylinderplot(r(theta,z),theta=0..5*Pi,phi=0..10,axes=BOXED,style=LINE);
> restart:
78 de 99 19-03-2015 20:51
Tutorial de MAPLE V http://www.dmdelrio.es/Maple/MAPLE1.html
Se puede incluir texto en las gráficas con el comando textplot3d del paquete plots indicando, en forma de lista, las tres coordenadas
y el text.
El proceso es el siguiente:
3) por último utilizamos el comando display, del paquete plots, para pintarlo todo. display recibe en forma de conjunto las
variariables que guardan las gráficas y los textos. Además display puede recibir muchas opciones. Conviene visitar la ayuda de
MAPLE y tener curiosidad.
> with(plots):
> ec1:=x^2/a^2-y^2/b^2-z=0;a:=5:b:=4:
> c:=implicitplot3d(ec1,x=-10..10,y=-10..10,z=-6..6,axes=BOXED,scaling=CONSTRAINED,title=`Paraboloide
elíptico`,orientation=[139,57],style=PATCHNOGRID): #hemos guardado la grafica en la variable g
> restart:
CURVAS EN EL ESPACIO
Para representar curvas en el espacio se utiliza el comando spacecurve del paquete plots. Este comando recibe las ecuaciones
paramétricas de la función en forma de lista, y el intervalo de variación del parámetro.
> with(plots):
> x:=t->2*cos(t):y:=t->2*sin(t):z:=t->t:
> restart:
79 de 99 19-03-2015 20:51
Tutorial de MAPLE V http://www.dmdelrio.es/Maple/MAPLE1.html
El comando tubeplot, del paquete plots, permite realzar la curva con la opción radius, que permite dar grosor, en forma de tubería, a
la curva. Para ello incluiremos la opción radius=a un número que será el grosor de la tubería:
> with(plots):
> x:=t->20*cos(t):y:=t->20*sin(t):z:=t->t:
> tubeplot([x(t),y(t),z(t)],t=0..6*Pi,axes=NORMAL,labels=[X,Y,Z],orientation=
[-32,67],radius=2,scaling=UNCONSTRAINED,title=`Tubo en forma de hélice circular`);
> restart:
MAPLE permite animar gráficas en el espacio con el comanod animate3d del paquete plots. Es necesario dar la función con un
parámetro, que indicará el paso temporal. También es preciso dar los intervalos de variación de las variables de la función y del
parámetro temporal.
> with(plots):
> f:=(x,y)->cos(t*x)^2+sin(t*y):
> animate3d(f(x,y),x=0..Pi,y=0..Pi,t=1..2);
> restart:
80 de 99 19-03-2015 20:51
Tutorial de MAPLE V http://www.dmdelrio.es/Maple/MAPLE1.html
Una vez dibujada la gráfica hacemos click sobre ella. Entonces aparecerá un menú, similar al de un video, en la barra de menús.
Basta con pular el play...
LÍMITES DE FUNCIONES
Podemos hallar el límite de una función con el comando limit, que presenta la expresión inerte si se escribe Limit. Es necesario pasar
dos parámetros a este comando: la función cuyo límite queremos calcular y el valor hacia el que tiende la variable.
> f:=x->x^2/(2*x^2+3):
> Limit(f(x),x=2)=limit(f(x),x=2);
> Limit(f(x),x=infinity)=limit(f(x),x=infinity);
> Limit(sin(x),x=infinity)=limit(sin(x),x=infinity);
LÍMITES LATERALES
También podemos evaluar el límite de una función en un punto por la izquierda y por la derecha con las opciones left y right,
respectivamente, del comando limit:
> f:=x->x/(x-1):
> Limit(f(x),x=1,left)=limit(f(x),x=1,left);
> Limit(f(x),x=1,right)=limit(f(x),x=1,right);
> Limit(f(x),x=1)=limit(f(x),x=1);
81 de 99 19-03-2015 20:51
Tutorial de MAPLE V http://www.dmdelrio.es/Maple/MAPLE1.html
> plot(f(x),x=-3..3,y=-5..5,discont=true,color=red);
Ya sabemos que para que una función sea continua en un punto x=a, el límite de la función en x=a, por la izquierda y por la derecha, y
el valor de la función en el punto, f(a), deben coincidir.
> f:=x->piecewise(x<0,x^2,x<2,x,x>=2,1):
> plot(f(x),x=-2..5,discont=true,color=blue);
82 de 99 19-03-2015 20:51
Tutorial de MAPLE V http://www.dmdelrio.es/Maple/MAPLE1.html
> limit(f(x),x=0,left);
> limit(f(x),x=0,right);
> f(0);
> limit(f(x),x=2,left);
> limit(f(x),x=2,right);
> f(2);
En la librería general está el comando iscont, que nos dice si una función es, o no, contínua:
> readlib(iscont):iscont(f(x),x=-2..5);
Y, también en la librería general está el comando discont, que devuelve los valores de abscisa donde se encuentran puntos anómalos
(aunque a veces no son discontinuidades):
> readlib(discont):discont(f(x),x);restart:
ASÍNTOTAS HORIZONTALES
> restart:
> AHd=Limit(f(x),x=infinity);
> AHi=Limit(f(x),x=-infinity);
> f:=x->x/(x^2+1);
> AHd=limit(f(x),x=infinity);
> AHi=limit(f(x),x=-infinity);
> plot(f(x),x=-100..100);
83 de 99 19-03-2015 20:51
Tutorial de MAPLE V http://www.dmdelrio.es/Maple/MAPLE1.html
> f:=x->exp(x);
> AHd=limit(f(x),x=infinity);
> AHi=limit(f(x),x=-infinity);
> plot(f(x),x=-4..4);
ASÍNTOTAS VERTICALES
Una función tiene asíntotas verticales (AV) en x=k si el límite cuando x tiende a k de la función es infinito (más infinito o menos infinito)
o indeterminado.
84 de 99 19-03-2015 20:51
Tutorial de MAPLE V http://www.dmdelrio.es/Maple/MAPLE1.html
El comando discont de la librería general devuelve puntos anómalos candidatos a ser AV:
> readlib(discont):
> f:=x->x^2/(x^2-1);
> discont(f(x),x);
> limit(f(x),x=-1);
> limit(f(x),x=1);
> plot(f(x),x=-2..2,y=-10..10,discont=true,color=blue);
ASÍNTOTAS OBLICUAS
Las asíntotas oblicuas (AO) son rectas (y=mx+n) cuya pendiente y ordenada hay que determinar.
> restart:
> m=Limit(f(x)/x,x=infinity);
Si este límite se va a infinito no hay AO. Si el límite se anula es probable que haya una AH.
> n=Limit(f(x)-m*x,x=infinity);
> f:=x->x^2/(x-2);
85 de 99 19-03-2015 20:51
Tutorial de MAPLE V http://www.dmdelrio.es/Maple/MAPLE1.html
> m:=limit(f(x)/x,x=infinity);
> n:=limit(f(x)-m*x,x=infinity);
> AO:=x->m*x+n;
> plot([f(x),AO(x)],x=-3..10,y=-5..20,color=[blue,red]);
SUCESIONES Y SERIES
A pesar de que en el lenguaje corriente sucesión y serie sean términos sinónimos, en el lenguaje matemático son conceptos muy
distintos.
Matemáticamente hablando, una sucesión es una aplicacion que asigna a un entero positivo un número real, o complejo. La sucsión
converge si, cuando n tiende a infinito, la difencia entre dos términos consecutivos de la sucesión tiende a cero.
SUCESIÓN:
> seq(a[n],n=1..5);
SERIE:
> seq(s[n]=sum(a[i],i=1..n),n=1..5);
SUCESIONES
El comando seq (sequence) define sucesiones finitas a través de su ley de formación. Este comando recive dos parámetros: la ley de
formación expresada con una variable contadora y la variación de la variable contadora:
86 de 99 19-03-2015 20:51
Tutorial de MAPLE V http://www.dmdelrio.es/Maple/MAPLE1.html
> seq(i,i=0..10);
> seq(evalf((1+1/n)^n,5),n=1..10);
> seq(a[i],i=1..10);
Para hallar el límite de una sucesión utilizamos el comando limit, que en su forma Limit devuelve la expresión inerte del límite. Como
parámetros limit precisa la expresión de la sucesión y la opción n=infinity:
> restart:
> seq(1/n,n=1..10);
> Limit(1/n,n=infinity)=limit(1/n,n=infinity);
SERIES
Ya sabemos que la serie es la sucesión de las sumas parciales. Para evaluarla utilizamos el sumatorio a través del comando sum.
Este comando devuelve la expresión inerte si se escribe Sum, y recibe dos parámetros: la expresión y el rango de variación del
contador:
> Sum(2*n+1,n=0..10)=sum(2*n+1,n=0..10);
Si evaluamos el sumatorio sobre infinitos términos obtenemos la serie infinita o, sencillamente, la serie. Para indicar el infinito
utilizamos la palabra clave infinity. Por ejemplo, la serie armónica diverge, como podemos ver aqui:
> Sum(1/i,i=1..infinity)=sum(1/i,i=1..infinity);
Sin embargo la serie resultante de sumar los inversos de las potencias de 2 converge:
> Sum(1/2^i,i=0..infinity)=sum(1/2^i,i=0..infinity);
87 de 99 19-03-2015 20:51
Tutorial de MAPLE V http://www.dmdelrio.es/Maple/MAPLE1.html
> Sum((-1)^(i-1)*1/i,i=1..infinity)=sum((-1)^(i-1)*1/i,i=1..infinity);
> assume(r<1);
> Sum(r^i*cos(i*alpha),i=0..infinity)=sum(r^i*cos(i*alpha),i=0..infinity);
> restart:
PRODUCTORIOS
De igual forma que los sumatorios, los productorios se evaluan en MAPLE con un comando, product, que si se escribe Product
devuelve la expresion inerte, y que recibe dos parámetros: la expresión y la variación del contador:
> Product(1/i,i=1..10)=product(1/i,i=1..10);
DERIVADAS
MAPLE es capaz de realizar cualquier cálculo con derivadas: derivación implícita, logarítmica, derivada parcial, etc. Para ello utiliza los
comandos diff y D. El comando diff ofrece la forma inerte si lo escribimos Diff:
EL COMANDO diff
Para hallar la derivada de una función se utiliza el comando diff, que en su forma Diff da la expresión inerte de la derivada. diff tiene
dos argumentos: la función a derivar y la variable respecto de la que se deriva.
> f:=x^2*sin(x):
diff puede aplicarse sobre una expresión, como en el caso anterior, o sobre una función:
> f:=x->x^2*sin(x):
Podemos preguntarle a MAPLE las diferentes reglas de derivación: ¡se las sabe todas! (incluso con la aplicación de la regla de la
cadena):
> restart:
88 de 99 19-03-2015 20:51
Tutorial de MAPLE V http://www.dmdelrio.es/Maple/MAPLE1.html
> Diff(sin(x),x)=diff(sin(x),x);
> Diff(cos(f(x)),x)=diff(cos(f(x)),x);
> Diff(arctan(f(x)),x)=diff(arctan(f(x)),x);
Para hacer una deriva de orden superior ponemos la variable a derivar tantas veces como sea el orden de la derivada. Por ejemplo,
para hallar la derivada quinta de la función f=sin(x^2), hacemos:
> diff(sin(x^2),x,x,x,x,x);
> diff(sin(x^2),x$5);
DERIVADAS PARCIALES
Cuando una función tiene varias variables se deriva respecto de una de ellas, considerando constante a las demás:
> f:=(x,y,z)->x^2+4*x*y-y^2*z^3+5:
DERIVACIÓN LOGARÍMICA
> y=x^x;
89 de 99 19-03-2015 20:51
Tutorial de MAPLE V http://www.dmdelrio.es/Maple/MAPLE1.html
MAPLE no tiene por qué realizar todo este proceso. MAPLE realiza estas deriadas de forma automática:
> diff(x^x,x);
FUNCIÓN DERIVADA
Para obtener la función derivada (no la expresión de la derivada) se utiliza el operador D. Este operador únicamente actúa sobre
funciones.
> f:=x->x^2;
> F:=D(f);
APLICACIONES DE LA DERIVADA
La derivada se utiliza en multitud de cálculos matemáticos, como pueden ser los desarrollos de Taylor y en serie de potencias, el
cálculo de máximos y mínimos, la determinación de ciertos límites de funciones, etc.
> y:=x->x^4*exp(-x^2);
90 de 99 19-03-2015 20:51
Tutorial de MAPLE V http://www.dmdelrio.es/Maple/MAPLE1.html
> Diff(y(x),x)=diff(y(x),x);
> dp:=rhs(%);
> Diff(y(x),x$2)=diff(y(x),x$2);
> ds:=rhs(%);
Igualamos a cero la primera derivada y resolvemos la ecuación, así encontramos la abscisa de un punto singular, pero no sabemos si
es un máximo o un mínimo:
> p:=solve(dp=0,x);
> DS:=unapply(ds,x);
> p[1],DS(p[1]);
> p[4],DS(p[4]);
> p[5],DS(p[5]);
La derievada segunda en p=-sqrt(2) da negativo, luego la función tiene otro máximo en -sqrt(2)
REGLA DE L'HÔPITAL
En 1696, Guillermo Francisco Antonio de L'Hôpital (1661-1704) escribió el primer libro de cálculo diferencial. Gran parte del contenido
de este libro, incluyendo el método conocido como "regla de L'Hôpital", se basó en el trabajo anterior de Juan Bernoulli, uno de los
maestros de L'Hôpital.
La regla de L'Hôpital se utiliza para calcular el límite de expresiones f(x)/g(x) donde el numerador f(x) y el denominador g(x) tienden a
0. Se dice que el cociente adopta la forma indeterminada 0/0.
91 de 99 19-03-2015 20:51
Tutorial de MAPLE V http://www.dmdelrio.es/Maple/MAPLE1.html
Supongamos que f(x) y g(x) son dos funciones para las que f(a)=g(a)=0. Entonces, para x<>a, tenemos:
> f(x)/g(x)=(f(x)-f(a))/(g(x)-g(a));
Si dividimos arriba y abajo por x-a y hacemos el límite cuando x->a obtendremos:
> f(x)/g(x)=Diff(f(a),x)/Diff(g(a),x);
Por lo tanto, si existen las derivadas de f y g en a y si la derivada de g en a es distinta de 0, entonces cuando x tiende a a, el cociente
f(x)/g(x) tiende al conciente de sus derivadas. Esta es la conocida como "regla de L'Hôpital". Vamos a ver un ejemplo: hallar el límite
cuando x tiende a 0 de (1-exp(2x))/(x)
> f:=x->1-exp(2*x):g:=x->x:
> Limit(f(x),x=0)=limit(f(x),x=0);Limit(g(x),x=0)=limit(f(x),x=0);
> df:=unapply(diff(f(x),x),x);dg:=unapply(diff(g(x),x),x);
> Limit(df(x),x=0)=limit(df(x),x=0);Limit(dg(x),x=0)=limit(dg(x),x=0);
> f:=x->1-exp(2*x):g:=x->x:
> Limit(f(x)/g(x),x=0)=limit(f(x)/g(x),x=0);
SERIES DE POTENCIAS
Desarrollar una función en serie de potencias supone encontrar un polinomio que aproxime esa función tanto como queramos. Esto
puede ser muy útil, ya que los polinomios son fáciles de operar, deivar, integrar, etc.
92 de 99 19-03-2015 20:51
Tutorial de MAPLE V http://www.dmdelrio.es/Maple/MAPLE1.html
> Sum(a[n]*x^n,n=0..infinity);
Estas series son un caso particular de las serier geométricas cuya convergencia está asegurada si |r|<1, donde r es la razón de la
serie. Así, por ejemplo, si x es complejo y |x|<1, la serie geométrica.
> Sum(x^n,n=0..infinity);
> Sum(x^n,n=0..infinity)=sum(x^n,n=0..infinity);
> subs(x=-x,lhs(%))=1/(x+1);
> int(lhs(%),x)=int(rhs(%),x);
Acabamos de encontrar la serie de potencias que aproxima el logaritmo neperiano de x+1, válido si |x|<=1. Como podemos evaluar la
integral del sumatorio, convergene, como el sumatorio de las integrales, obtendremos la serie con el grado de aproximación requerido.
Por ejemplo, si n=5:
> ln(x+1)=int(sum((-x)^n,n=0..5),x);p:=unapply(rhs(%),x):
Podemos ver el grado de aproximación pintando las funciones: en rojo el logaritmo, en azul el polinomio.
> plot({ln(x+1),p(x)},x=-1..1,color=[red,blue]);
93 de 99 19-03-2015 20:51
Tutorial de MAPLE V http://www.dmdelrio.es/Maple/MAPLE1.html
> ln(x+1)=series(ln(x+1),x);
> ?powseries
INTEGRALES
MAPLE puede calcular integrales con el comando int. Si escribimos el comando Int obtendremos la expresión interte de la integral.
En el paquete student hay comandos referidos a la integración. Conviene, por lo tanto, mirar la ayuda:
> ?student
INTEGRAL INDEFINIDA
Podemos integrar expresiones con el comando int dando como primer argumento la expresión, y como segundo argumento la
variable con respecto a la cual integramos:
> int(2*x*sin(x),x);
Para integrar funciones basta con que el primer parámetro sea la función a integrar:
> f:=x->x*exp(x);Int(f(x),x)=int(f(x),x);
> Int(sin(x),x)=int(sin(x),x);
94 de 99 19-03-2015 20:51
Tutorial de MAPLE V http://www.dmdelrio.es/Maple/MAPLE1.html
MAPLE es capaz de integrar por diferentes métodos: cambio de variable, por partes y por fracciones simples, aunque para el usuario
el procedimiento no se ve, basta con utilizar el comando int. De todas formas podemos forzar a MAPLE a integrar por partes con el
comando intparts del paquete student, dando como primer parámetro la expresión de la integral y como segundo parámetro la
función u (de int(u·dv) = u·v-int(v·du)):
> with(student):intparts(int(x^4*exp(x),x),x^4);restart:
INTEGRAL DEFINIDA
Para evaluar una integral definida también se utiliza el comando int, dando como primer parámetro la expresión o la función a integrar,
y como segundo argumento el intervalo de variación de la variable. Recordemos que Int devuelve la expresión inerte:
> Int(x*sin(x),x=0..Pi)=int(x*sin(x),x=0..Pi);
> f:=x->1/sqrt(a^2-x^2):
> Int(f(x),x=0..a)=int(f(x),x=0..a);
Utilizando los comandos letbox, rightbox y middlebox del paquete student podemos ver la interpretación geométrica de la integral
definida: como parámetros damos la función, el intervalo del eje X y el número de rectángulos que queremos que aparezcan. También
podemos pedir direrentes colores, etc.
Incluso podemos pedir que se calcule la suma de las áreas de los rectángulos (interpretación de la integral de Riemann)
> f:=x->10*x/(x^2+4):
> with(student):
> rightbox(f(x),x=0..5,10);Suma1:=evalf(rightsum(f(x),x=0..5,10));
95 de 99 19-03-2015 20:51
Tutorial de MAPLE V http://www.dmdelrio.es/Maple/MAPLE1.html
> middlebox(f(x),x=0..5,10);Suma2:=evalf(middlesum(f(x),x=0..5,10));
> leftbox(f(x),x=0..5,10);Suma3:=evalf(leftsum(f(x),x=0..5,10));
Podemos ver cómo estos tres valores convergen cuando el número de rectángulos crece.
INTEGRALES IMPROPIAS
MAPLE calcula automáticamente integrales impropias, sean de la especie que sean, con el comando int.Como primer argumento se
da la expresión a integrar y como segundo argumento el intervalo de integración, poniendo el infinito como infinity
> f:=x->x/(sqrt(x^4+1)):
> Int(f(x),x=0..infinity)=int(f(x),x=0..infinity);
96 de 99 19-03-2015 20:51
Tutorial de MAPLE V http://www.dmdelrio.es/Maple/MAPLE1.html
> f:=x->exp(-x^2):
> Int(f(x),x=0..infinity)=int(f(x),x=0..infinity);
> Int(f(x),x=-infinity..infinity)=int(f(x),x=-infinity..infinity);
> f:=x->sin(p*x)^2/x^2:
> Int(f(x),x=0..infinity)=int(f(x),x=0..infinity);
> f:=x->exp(-a*x^2):
> assume(a>0):Int(f(x),x=0..infinity)=int(f(x),x=0..infinity);
> assume(a=0):Int(f(x),x=0..infinity)=int(f(x),x=0..infinity);
> assume(a<0):Int(f(x),x=0..infinity)=int(f(x),x=0..infinity);
97 de 99 19-03-2015 20:51
Tutorial de MAPLE V http://www.dmdelrio.es/Maple/MAPLE1.html
INTEGRACIÓN NUMÉRICA
El paquete student ofrece métodos numéricos para el cálculo aproximado de integrales, como son el método de los trapecios y el
método de Simpson. Los comandos a utilizar son trapezoid y simpson, respectivamente. En ambos casos se pasan tres: la función
a integrar, el intervalo de integración y el número de rectángulos (a mayor número mejor aproximación en el cálculo).
> f:=x->x/(sin(x)):
> Int(f(x),x=0..Pi/2)=evalf(int(f(x),x=0..Pi/2));
> with(student):evalf(simpson(f(x),x=0.00001..Pi/2,10));restart:
INTEGRALES MÚLTIPLES
> f:=(x,y,z)->x^2+y^2+z^2:
> Int(Int(Int(f(x,y,z),z=0..1),y=0..1),x=0..1)=int(int(int(f(x,y,z),z=0..1),y=0..1),x=0..1);
También podemos utilizar los comando Doubleint y Tripleint del paquete student, siendo necesario evaluar luego la salida de estos
comandos:
> with(student):
> f:=(x,y,z)->x*y*z+x^2:
> Tripleint(f(x,y,z),z=0..1,y=-2..2,x=-1..1);
> %=value(%);
98 de 99 19-03-2015 20:51
Tutorial de MAPLE V http://www.dmdelrio.es/Maple/MAPLE1.html
OTROS TEMAS
El objetivo de estos apuntes no era el hacer un "manual de referencia" de MAPLE. Lo que se pretendía era mostrar la potencia de
este programa de cálculo simbólico, sobre todo para estudiantes universitarios. Por ello no se han tratado todos los comandos
posibles, si no únicamente aquellos que podían resultar más útiles para este tipo de público.
MAPLE puede desarrollar también cálculo de lógica, a través del paquete logic; operaciones con elementos de conjuntos y
particiones de un número, con el paquete combinat; multitud de operaciones geométricas, con el paquete geometry; cáculos
estadísticos, con el paquete stats, etc.
Espero que estos apuntes sean de utilidad. Sin embargo, la mejor recomendación que se puede dar es tener curiosidad a la hora de
utilizar MAPLE y hacer constante uso de las ayudas que proporciona (en perfecto inglés).
BIBLIOGRAFÍA
Para la confección de estos apuntes se han utilizado, aparte de las propias ayudas de MAPLE, los siguientes libros:
1.-"Cálculos matemáticos por ordenador con MAPLE V.5", E.Roanes Macías, E.Roanes Lozano. Ed.Rubiños1999
99 de 99 19-03-2015 20:51