MODELOS MATEM ´ATICOS Y SIMULACI ´ON
Sesi ´on 5
MODELOS MATEM ´ATICOS Y SIMULACI ´ON
Sistemas Mec´anicos Traslacionales
en 2D y en 3D
MODELOS MATEM ´ATICOS Y SIMULACI ´ON
Contenido
5.1 Introducci´on.
5.2 Sistemas mec´anicos traslacionales en 2D. 5.3 Sistemas mec´anicos traslacionales en 3D. 5.4 Comentarios finales.
MODELOS MATEM ´ATICOS Y SIMULACI ´ON
5.1 Introducci ´on
Una historia conocida tomada de la Wikipedia:
Cuenta la historia que Hier´on, monarca de Siracusa, hizo entrega a un platero de la ciudad de ciertas cantidades de oro y plata para el labrado de una corona.
Finalizado el trabajo, Hier´on, desconfiado de la honradez del art´ıfice y a´un reco-nociendo la calidad art´ıstica de la obra, solicit´o a Arqu´ımedes que, conservando la corona en su integridad, determinase la ley de los metales con el prop´osito de comprobar si el art´ıfice la hab´ıa rebajado, guard´andose para s´ı parte de lo entre-gado impulsado por la avaricia.
MODELOS MATEM ´ATICOS Y SIMULACI ´ON
COMENTARIO ARQU´IMEDES: Nacido en Siracusa, Sicilia, 287 - 212
a.c., es considerado el cient´ıfico y matem´atico m´as notable de la an-tig¨uedad. Arqu´ımedes fue el fundador de la hidrost´atica y de la est´ati-ca y explic´o el principio de la palanest´ati-ca. Entre sus grandes logros ma-tem´aticos se encuentra la utilizaci´on del m´etodo de exhausci´on para calcular la longitud de una circunferencia y con ello el valor de p. Los trabajos matem´aticos de Arqu´ımedes constituyen la base sobre la cual Isaac Newton y Gottfried Leibnitz construyeron el edificio del C´alculo.
MODELOS MATEM ´ATICOS Y SIMULACI ´ON
Preocupado Arqu´ımedes por el problema, al que no encontraba soluci´on, un buen d´ıa al sumergirse en el ba˜no advirti´o, como tantas veces con anterioridad, que a causa de la resistencia que el agua opone, el cuerpo parece pesar menos, hasta el punto que en alguna ocasi´on incluso es sostenido a flote sin sumergirse.
Pensando en ello lleg´o a la conclusi´on que al entrar su cuerpo en la ba˜nera, ocupa-ba un lugar que forzosamente dejaocupa-ba de ser ocupado por el agua, y adivin´o que lo que ´el pesaba de menos era precisamente lo que pesaba el agua que hab´ıa desalojado.
MODELOS MATEM ´ATICOS Y SIMULACI ´ON
Dando por resuelto el problema que tanto le hab´ıa preocupado fue tal su excitaci´on que, desnudo como estaba, salt´o de la ba˜nera y se lanz´o por las calles de Siracusa al grito de ¡Eureka! ¡Eureka! (¡Lo encontr´e! ¡Lo encontr´e!).
Procedi´o entonces Arqu´ımedes a pesar la corona en el aire y en el agua com-probando que en efecto, su densidad no correspond´ıa a la que hubiera resultado de emplear el art´ıfice todo el oro y toda la plata entregados y determinando, en consecuencia, que ´este hab´ıa estafado al Rey.
MODELOS MATEM ´ATICOS Y SIMULACI ´ON
NOTA 1 Desde muy temprano, en t´erminos hist´oricos, la mec´anica y las
matem´aticas se han desarrollado de manera interdependiente.
Los desarrollos matem´aticos vinculados al an´alisis de los sistemas mec´anicos han seguido los enfoques geom´etricos cuya formalizaci´on matem´atica surgi´o en la Grecia antigua.
NOTA 2 No siempre la resoluci´on de problemas ingenieriles ha requerido
de la formalizaci´on matem´atica de los conocimientos relacionados con la mec´anica (e.g. en la Roma antigua se constru´ıa siguiendo fundamental-mente reglas de dedo basadas en la experiencia pr´actica y en la edad media europea se constru´ıan m´aquinas sofisticadas en las que el cono-cimiento matem´atico invertido era no s´olo muy pobre, sino muchas veces inexistente).
MODELOS MATEM ´ATICOS Y SIMULACI ´ON
Dise ˜no de una m´aquina voladora por parte de Leonardo Da Vinci (Anchiano, Italia, 15 de abril de 1452 – Castillo de Clos-Luc´e Francia, 2 de mayo de 1519).
MODELOS MATEM ´ATICOS Y SIMULACI ´ON
La matematizaci ´on del conocimiento cient´ıfico
La revoluci´on cient´ıfica iniciada en el renacimiento estuvo muy relacionada con la mec´anica.
Los trabajos de Isaac Newton culminaron la revoluci´on cient´ıfica y unieron para siempre las matem´aticas con la f´ısica.
NOTA 3 De cierta manera la ciencia se basa en una visi´on mecanicista del
mundo, esto es en la abstracci´on de fen´omenos en t´erminos de fuerzas y movimientos.
MODELOS MATEM ´ATICOS Y SIMULACI ´ON
Isaac Newton (4 de enero, 1643 – 31 de marzo, 1727) fue el primero en demostrar que las leyes naturales que gobiernan el movimiento en la Tierra y las que gobiernan el movimiento de los cuerpos celestes son las mismas. Es, a menudo, calificado como el científico más grande de todos los tiempos, y su obra como la culminación de la Revolución científica.
MODELOS MATEM ´ATICOS Y SIMULACI ´ON
Reiterando...
De los trabajos de Arqu´ımedes a los logros de la mec´anica anal´ıtica de los tiem-pos modernos, no cabe ninguna duda de que los sistemas mec´anicos son tiem- posi-blemente los que m´as han sido estudiados a lo largo del tiempo (miles de a˜nos de trabajo cient´ıfico).
En lo que sigue se consideran sistemas mec´anicos simples, cuyos m´etodos de modelado (corroborados por experimentos) est´an basados en las leyes de la mec´anica cl´asica y en varias t´ecnicas que han sido desarrolladas a lo largo de siglos.
MODELOS MATEM ´ATICOS Y SIMULACI ´ON
NOTA 4 Nuestra exposici´on se restringe a la mec´anica cl´asica, teniendo en
mente que la mec´anica relativista provee de un marco te´orico m´as general y que posiblemente en el futuro se alcance una visi´on cu´antica completa de los fen´omenos mec´anicos que rigen nuestro Universo (fenomenolog´ıa cu´antica independiente del tiempo y del espacio, teor´ıa unificada de fuerzas -gravitacional, electromagn´etica, interacci´on nuclear fuerte e interacci´on nu-clear d´ebil-).
MODELOS MATEM ´ATICOS Y SIMULACI ´ON
Seguiremos el enfoque de la mec´anica cl´asica (no se tomar´an en cuenta efectos relativistas, ya que los sistemas en cuesti´on se mueven lentamente, ni los cu´anticos, ya que los sistemas en cuesti´on son “muy grandes”).
MODELOS MATEM ´ATICOS Y SIMULACI ´ON
Se empezar´a:
describiendo una t´ecnica de modelado que construye:
UN MODELO DE PARAMETROS CONCENTRADOS´
(aproximado) de un sistema por medio de su representaci´on como:
UNA INTERCONEXION DE ELEMENTOS TRASLACIONALES Y ROTACIONALES´ IDEALES
(caracterizados por leyes constitutivas simples), cuya interacci´on requiere:
CONSIDERAR FUERZAS Y PARES GENERADOS POR INTERCONEXIONES.
MODELOS MATEM ´ATICOS Y SIMULACI ´ON
5.2 Sistemas mec´anicos traslacionales en 2D
El comportamiento din´amico de un sistema mec´anico se describe por medio de vectores de: desplazamiento, fuerzas y pares.
NOTA 5 La t´ecnica de modelado m´as com´un representa de manera
apro-ximada al sistema por medio de la interconexi´on de un n´umero finito de elementos idealizados (masas, resortes, amortiguadores, trasformadores y sus contrapartes rotacionales).
El comportamiento de cada elemento est´a gobernado por una ley simple que re-laciona la fuerza externa con el desplazamiento, la velocidad, o la aceleraci´on asociadas. Esta ley es denominada ley constitutiva del elemento.
MODELOS MATEM ´ATICOS Y SIMULACI ´ON M 1 2 F v12 d dt (Mv(t)) = F (t) v(t) = v12(t) velocidad de la masa
F (t) fuerza aplicada a la masa (Segunda Ley de Newton)
1 2 F
y12
F
ky(t) = F (t) y(t) = yF (t) fuerza aplicada al resorte12(t) y12(t) alargamiento m´aximo (Ley de Hooke)
1 2 F
v12
F
cv(t) = F (t) v(t) = v12(t) velocidad relativa del pist´on
F (t) fuerza aplicada al amortiguador
S´IMBOLOS Y LEYES CONSTITUTIVAS DE LA MASA PURA, EL RESORTE LINEAL Y EL AMORTIGUADOR LINEAL. En la
tabla las flechas est´an asociadas con las fuerzas, lo cual no significa que las fuerzas est´en en esas direcciones, ya que la magnitud de la fuerza F (t) podr´ıa ser negativa. Por ejemplo, si en el caso del resorte y12(t) > y12, entonces la
fuerza sigue la direcci´on mostrada, pero si y12(t) < y12, entonces uno debe de comprimir el resorte y en consecuencia
F (t) < 0y la fuerza act´ua en direcci´on opuesta a la mostrada.
MODELOS MATEM ´ATICOS Y SIMULACI ´ON
Para la masa:
Para una part´ıcula simple, la Segunda Ley de Newton para el Movimiento estable-ce que:
Definici ´on SEGUNDA LEY DE NEWTON: La suma de todas las fuerzas
ac-tuando sobre la part´ıcula es igual a la tasa de cambio de su momento lineal.
En consecuencia la ley constitutiva de un elemento masa est´a dada por dtd (Mv(t)) = F (t). En este caso la velocidad y la aceleraci´on deben ser medidas con respecto a una referencia inercial (en mec´anica cl´asica tal referencia se fija usualmente en el centro del sol).
MODELOS MATEM ´ATICOS Y SIMULACI ´ON
Para el resorte:
La ley constitutiva del resorte est´a dada por la ley de Hooke (i.e. ky(t) = F (t)). En la realidad esta relaci´on lineal entre la fuerza y el alargamiento ser´a aproxima-damente v´alida dentro de ciertas cotas del alargamiento.
NOTA 6 Esto ocasiona que el uso del elemento resorte lineal en un modelo
mec´anico imponga restricciones sobre las variables involucradas.
MODELOS MATEM ´ATICOS Y SIMULACI ´ON
Para el amortiguador:
De manera similar a lo que acontece con el resorte, el caso del amortiguador est´a muy idealizado. En efecto, una realizaci´on f´ısica de este elemento requiere de un pist´on que se mueve dentro de un cilindro lleno de aceite y el pist´on tiene hoyos en su parte frontal para permitir el paso del aceite.
Si las tasas de flujo se mantienen dentro de ciertas cotas viscosas, el amorti-guamiento resulta en una relaci´on lineal entre la fuerza y la velocidad relativa del pist´on con respecto al cilindro.
NOTA 7 A velocidades elevadas la realizaci´on f´ısica presentar´a
caracter´ısti-cas no lineales.
MODELOS MATEM ´ATICOS Y SIMULACI ´ON
La idealizaci ´on
El resorte, la masa y el amortiguador mostrados en la tabla precedente son tam-bi´en objetos idealizados desde otro punto de vista.
Cualquier resorte real posee inercia y amortiguamiento. De manera similar, cualquier amortiguador tiene algo de masa y algo de efectos de resorte.
Uno podr´ıa tomar en cuenta las diferencias entre los dispositivos ideales y los objetos idealizados concentrando todas las inercias de un sistema mec´anico dado en las masas, todos los efectos de rigidez en los resortes y todas las fuerzas de fricci´on en los amortiguadores.
MODELOS MATEM ´ATICOS Y SIMULACI ´ON
Este enfoque de modelado en base a par´ametros concentrados no se restringe a los sistemas lineales.
En efecto:
Las relaciones no lineales entre los estreses y las deflexiones en un sistema mec´anico pueden modelarse por medio de resortes no lineales y las fricciones viscosas no lineales entre cuerpos adyacentes pueden ser modeladas por medio de amortiguadores no lineales.
MODELOS MATEM ´ATICOS Y SIMULACI ´ON
El rol de las interconexiones
Si se describe un sistema mec´anico como una interconexi´on de un n´umero finito de masas, resortes y amortiguadores, el modelo total del sistema se obtiene com-binando las leyes constitutivas de sus elementos con las leyes de interconexi´on gobernando la interacci´on entre ellos.
En lo que sigue se supondr´a que que las fuerzas entre elementos mec´anicos obedecen la:
Definici ´on TERCERA LEY DE NEWTON: Cualquier fuerza de un elemento
sobre otro est´a acompa˜nada por una fuerza de reacci´on sobre el primer elemento de igual magnitud y de direcci´on contraria a la l´ınea que los une.
MODELOS MATEM ´ATICOS Y SIMULACI ´ON
COMENTARIO MULTIPLICIDAD DE LOS FORMALISMOS DE MODELADO:
Cabe mencionar que existen diversos m´etodos para obtener las ecua-ciones del sistema mec´anico total a partir de las relaecua-ciones entre sus elementos constitutivos y las leyes de interconexi´on, por ejemplo los m´etodos de gr´aficas de v´ınculos y los m´etodos de la teor´ıa de redes (m´as tarde se regresar´a a este asunto) suelen utilizarse en sistemas inform´aticos de modelado, tales como los que se emplean para el di-se˜no de robots manipuladores y otras clases de sistemas mec´anicos complejos (e.g. ModelicaT M).
MODELOS MATEM ´ATICOS Y SIMULACI ´ON
Ejemplo 1 (Carro sobre Rieles) Considere el siguiente sistema mec´anico, que
muestra un carro de masa M movi´endose sobre rieles bajo la influencia de la fuerza bu(t):
Aqu´ı b es una constante que convierte a la variable de control u (e.g. voltaje) en una fuerza.
MODELOS MATEM ´ATICOS Y SIMULACI ´ON
Suposiciones
i) No se toman en cuenta fricciones de las ruedas.
ii) Se considera que el carro se comporta como un cuerpo r´ıgido.
iii) Se supone tambi´en que la l´ınea de acci´on de la fuerza se da a trav´es del
centro de masa del carro, paralela a los rieles. As´ı, el carro no rota y bajo la influencia de la gravedad no pierde el contacto con los rieles.
MODELOS MATEM ´ATICOS Y SIMULACI ´ON
El modelo
Dado que la masa del carro es constante, la segunda ley de Newton da la siguiente ecuaci´on escalar del movimiento:
M ¨y(t) = bu(t),
donde y(t) denota el desplazamiento del centro de masa del carro a partir de un punto fijo en un marco de referencia inercial.
NOTA 8 Como podemos ver para determinar el movimiento del sistema
pa-ra t 0 es necesario conocer la posici´on inicial y(0) y la velocidad inicial ˙y(0). Adem´as se requiere conocer la fuerza externa bu(t) en funci´on del
tiempo t 0.
MODELOS MATEM ´ATICOS Y SIMULACI ´ON
Controlando el movimiento
Si se considera a la fuerza como una variable de control y se fija una posici´on de descanso y = 0 como el punto fijo del sistema, un problema de control t´ıpico consiste en:
Hallar una ley de control por retroalimentaci´on: u(t) = f (y(t), ˙y(t))
que lleve al carro de regreso (incluso aproximadamente) al punto de des-canso prescrito a partir de condiciones iniciales (y(0), ˙y(0)).
MODELOS MATEM ´ATICOS Y SIMULACI ´ON
Un problema de control ´optimo
Suponiendo que |u(t)| c, t 0, donde c > 0 es una constante dada, un problema de control ´optimo t´ıpico es el siguiente:
Dadas (y(0), ˙y(0)), hallar un control u(t) : [0,t1] ! [ c,c] que lleve el carro a la posici´on de descanso: (y(t), ˙y(t)) = (y(0), ˙y(0)) en un tiempo m´ınimo t1.
Podr´ıan imponerse restricciones sobre la trayectoria del carro (e.g. |y(t)| d, d > 0) y esto lleva a un problema de control ´optimo con restricciones en el estado.
MODELOS MATEM ´ATICOS Y SIMULACI ´ON
Un sistema con interconexiones
En el ejemplo siguiente se consideran interconexiones de elementos mec´anicos. El oscilador arm´onico es utilizado como un modelo muy simplificado para muchos sistemas t´ecnol´ogicos.
Esto ser´a ilustrado por medio de un modelo masa-resorte-amortiguador para el sistema de suspensi´on de un autom´ovil.
MODELOS MATEM ´ATICOS Y SIMULACI ´ON
Ejemplo 2 (Sistema Masa-Resorte-Amortiguador) Considere el movimiento
ver-tical de una masa M desliz´andose en alg´un sistema de cojinetes y suspendido de un soporte por medio de un resorte, tal y como se muestra en la figura siguiente:
MODELOS MATEM ´ATICOS Y SIMULACI ´ON
Adem´as de las fuerzas exteriores (la gravedad y una fuerza adicional dependiente del tiempo bu(t)) dos tipos de fuerzas internas act´uan sobre la masa, las cuales est´an modeladas por medio de un resorte lineal y de un amortiguador lineal con coeficientes k y c, respectivamente. En lo que sigue se determina la ecuaci´on de movimiento de este sistema.
NOTA 9 El comportamiento del sistema est´a descrito por completo por la
posici´on vertical y la velocidad de la masa.
Para eliminar la fuerza gravitacional se introduce el desplazamiento y del centro de masa desde su posici´on de equilibrio bajo la influencia de la gravedad.
MODELOS MATEM ´ATICOS Y SIMULACI ´ON
El modelo
Por la segunda ley de Newton la suma de las fuerzas que act´uan sobre M debe igualar a M ¨y.
Note que las fuerzas ejercidas por el resorte y el amortiguador sobre la masa tienen direcciones opuestas a las del desplazamiento y de la velocidad, respecti-vamente.
En consecuencia:
M ¨y(t) + c ˙y(t) + ky(t) = bu(t).
MODELOS MATEM ´ATICOS Y SIMULACI ´ON
Un ejemplo m´as complejo
En lo que sigue se construir´a un modelo masa-resorte-amortiguador para un sis-tema de suspensi´on de un autom´ovil.
MODELOS MATEM ´ATICOS Y SIMULACI ´ON
Suspensi ´on tipo MacPherson de un autom´ovil.
MODELOS MATEM ´ATICOS Y SIMULACI ´ON
Ejemplo 3 (Suspensi ´on) El prop´osito de una suspensi´on es suavizar la
respues-ta del cuerpo del carro a las subidas y bajadas irregulares del camino.
Se considerar´a ´unicamente el movimiento vertical del carro y de los ejes y se har´a la suposici´on no realista de que ambos ejes se mueven de la misma manera, por lo que se les puede concentrar y el movimiento rotacional del carro puede ignorarse.
MODELOS MATEM ´ATICOS Y SIMULACI ´ON
Primero se supone que el camino es plano
Dado que el cuerpo del carro y el eje se pueden mover independientemente, se necesitan dos variables de posici´on y1 y y2.
Como puntos de referencia para estas posiciones se escogen las posiciones de reposo del cuerpo del carro (masa M1) y del eje (masa M2) sobre el nivel nominal del camino bajo la influencia de la gravedad.
NOTA 10 Se modelan las llantas como resortes con coeficientes de rigidez
comparativamente elevados k2 acoplados en paralelo con un amortiguador que toma en cuenta la energ´ıa disipada a trav´es de las llantas.
MODELOS MATEM ´ATICOS Y SIMULACI ´ON
Modelode suspensi´on de un autom´ovil. El mecanismo principal consiste en resortes helicoidales, resortes de ballesta y absorbedores de choques, y es modelado en t´erminos de par´ametros concentrados por medio de un resorte lineal y un amortiguador lineal que conectan el eje con el cuerpo del carro.
MODELOS MATEM ´ATICOS Y SIMULACI ´ON
Movimiento perturbado
Sea entonces w(t) el desplazamiento del punto de contacto entre llantas y camino a partir del nivel nominal del camino.
NOTA 11 w(t) se determina por medio del perfil del camino y la posici´on del
carro.
La fuerza de resorte de la llantas (en direcci´on hacia arriba) correspondiente a la desviaci´on de las llanta desde el nivel nominal del camino es k2w y la fuerza de fricci´on correspondiente es c2 ˙w.
MODELOS MATEM ´ATICOS Y SIMULACI ´ON
El modelo
Aplicando la segunda ley de Newton a cada una de las dos masas y la tercera ley de Newton a la interacci´on entre las dos masas se obtiene el siguiente sistema de ecuaciones para el movimiento de la suspensi´on:
⇢
M1¨y1+c1(˙y1 ˙y2) +k1(y1 y2) = 0
M2¨y2+c1(˙y2 ˙y1) +k1(y2 y1) +c2˙y2 +k2y2 = c2 ˙w + k2w.
NOTA 12 Aqu´ı w(t) puede considerarse como una perturbaci´on y un
objeti-vo de dise˜no importante ser´ıa asegurar que las condiciones del camino que el carro encuentre no generen vibraciones en ´este, i.e. valores no acepta-bles de y1(t) y de ˙y1(t) desde el punto de vista del comfort del pasajero.
MODELOS MATEM ´ATICOS Y SIMULACI ´ON
Un problema de control t´ıpico
Si los mecanismos de la suspensi´on pueden ser controlados, un problema t´ıpico ser´ıa dise˜nar:
Una ley de control retroalimentado que desacople la velocidad vertical del carro ˙y1(t) tanto como sea posible de perturbaciones w(t) largamente desconocidas, generadas por la superficie del camino (este es un proble-ma de atenuaci´on de perturbaciones).
MODELOS MATEM ´ATICOS Y SIMULACI ´ON
Resumiendo
NOTA 13 Los dos ejemplos precedentes tratan con sistemas mec´anicos
traslacionales cuyos movimientos est´an restringidos a una direcci´on. Los movimientos arbitarios de una masa en el espacio tridimensional est´an go-bernados por una versi´on vectorial de la segunda ley de Newton.
En lo que sigue se supone que las posiciones est´an determinadas con respecto a un sistema cartesiano de coordenadas que est´a fijado a un marco referencial.
MODELOS MATEM ´ATICOS Y SIMULACI ´ON
5.3 Sistemas mec´anicos traslacionales en 3D
En lo que sigue se consideran dos casos de movimiento traslacional en el espacio tridimensional:
Caso de una part´ıcula.
Caso de m´ultiples part´ıculas.
MODELOS MATEM ´ATICOS Y SIMULACI ´ON
Caso de una part´ıcula
Si el vector de posici´on de una part´ıcula de masa m en el tiempo t est´a denotado por r(t) y F(t) es el vector suma de todas las fuerzas individuales aplicadas a la masa en el tiempo t, entonces:
˙
p(t) = (m¨r)(t) = F(t), donde p = m˙r es el momento lineal del punto masa.
MODELOS MATEM ´ATICOS Y SIMULACI ´ON
Caso de m ´ultiples part´ıculas
Considere ahora un sistema de N part´ıculas con masas mi, en posiciones ri, i 2
{1,2,...,N}.
El momento lineal de tal sistema es por definici´on la suma de los momentos linea-les de cada part´ıcula:
p(t) =
Â
N i=1pi (t) = NÂ
i=1 mir˙i(t). JCMG - 2013 52MODELOS MATEM ´ATICOS Y SIMULACI ´ON
Aplicando la segunda ley de Newton a cada una de las part´ıculas uno debe dis-tinguir entre las fuerzas externas Fei (t) y las fuerzas interactivas Fi j(t) entre las
part´ıculas del sistema.
Sumando para todas las part´ıculas se tiene entonces: ˙ p(t) =
Â
N i=1 mir¨i(t) =Â
N i=1F e i (t) + NÂ
i, j=1,i6= jFi j (t). JCMG - 2013 53MODELOS MATEM ´ATICOS Y SIMULACI ´ON
NOTA 14 Por la tercera ley de Newton de acci´on y reacci´on Fi j(t) +Fji(t)
es cero para todo t e i, j 2 {i,2,...,N},i 6= j, por lo que el segundo t´ermino de la ecuaci´on precedente desaparece.
As´ı, definiendo la fuerza externa total del sistema y el centro de masa en el tiempo t como sigue: Fe(t) =
Â
N i=1F e i (t), r = NÂ
i=1 miri M , donde M = NÂ
i=1 mi, se tiene entonces p(t) = M˙r(t) y ˙p(t) = M¨r(t) = Fe(t). JCMG - 2013 54MODELOS MATEM ´ATICOS Y SIMULACI ´ON
En particular:
NOTA 15 El centro de masa del sistema se mueve como si las fuerzas
to-tales externas estuvieran actuando sobre la masa entera del sistema con-centrada en el centro de masa.
MODELOS MATEM ´ATICOS Y SIMULACI ´ON
No basta con el movimiento traslacional
Ahora bien, para describir un cuerpo r´ıgido en el espacio tridimensional, se deben entonces especificar:
la posici´on de su centro de masa y la orientaci´on del cuerpo r´ıgido
con respecto a un marco de referencia inercial, lo cual hace necesaria una con-traparte de la segunda ley de Newton para movimientos rotacionales.
MODELOS MATEM ´ATICOS Y SIMULACI ´ON
5.4 Comentarios Finales
Los sistemas mec´anicos han constituido un terreno privilegiado de intervenci´on de la abstracci´on matem´atica del mundo f´ısico.
El modelado de los sistemas mec´anicos bajo suposiciones de concentraci´on de par´ametros es una tarea relativamente simple (pertenecen a la regi´on blanca de nuestro espectro del modelado).
NOTA 16 Modelos de sistemas mec´anicos (no realtivistas y no cu´anticos)
idealizados permiten la construcci´on por dem´as exitosa de sistemas f´ısicos equivalentes, incluso por medio de m´etodos automatizados.
MODELOS MATEM ´ATICOS Y SIMULACI ´ON
El modelado se simplifica al suponer que los componentes (ideales) de los siste-mas mec´anicos evolucionan en sus regiones lineales de operaci´on.
NOTA 17 Lo cual se complica al considerar las fricciones en el caso de
sistemas que presentan deslizamientos de superficies de cuerpos r´ıgidos en presencia de fen´omenos de fricci´on.
Los sistemas mec´anicos de amplio uso en la industria se construyen para operar en regiones lineales.
MODELOS MATEM ´ATICOS Y SIMULACI ´ON
Adem´as:
Existen m´ultiples formalismos de modelado de los sistemas mec´anicos.
La problem´atica del control en el caso de los sistemas mec´anicos pasa por el di-se˜no de procesadores de fuerzas (o de pares al tratar movimientos rotacionales).
NOTA 18 Un nicho privilegiado de intervenci´on del control de sistemas
mec´anicos concierne la clase de sistemas de dimensiones nanom´etricas, aunque la prevalescencia de fen´omenos cu´anticos al trabajar con siste-mas de dimensiones atom´aticas requiere el abandono de la comodidad de los sistemas mec´anicos cl´asicos y hace necesario el soporte te´orico de la mec´anica cu´antica.
MODELOS MATEM ´ATICOS Y SIMULACI ´ON
Un Par´entesis Necesario
Algunos Comentarios sobre el An´alisis Geom´etrico
de Ecuaciones Diferenciales Ordinarias
MODELOS MATEM ´ATICOS Y SIMULACI ´ON
Sistema de Ecuaciones Diferenciales Ordinarias
Considere un sistema de ecuaciones diferenciales ordinarias en la forma: dX
dt = F (X), donde:
F (X) es una funci´on vectorial.
X = X (t) con n componentes, cada uno de los cuales es una funci´on del
tiempo.
MODELOS MATEM ´ATICOS Y SIMULACI ´ON
Normalmente los componentes de X se denotan como xi (i = 1,2,...,n), o bien
cuando n = 2 o n = 3 se les duele denotar como x,y o x,y,z. A veces tambi´en se les relaciona con el problema bajo estudio, como (N,C) en el caso del quimiostato. Esto es: dX dt = F (X) = ✓ f (N,C) g(N,C) ◆ con: f (N,C) = a1 C 1 +CN N y: g(N,C) = C 1 +CN C +a2. JCMG - 2013 62
MODELOS MATEM ´ATICOS Y SIMULACI ´ON
Equilibrio
Definici ´on ESTADO ESTACIONARIO (O EQUILIBRIO): Es cualquier ra´ız de la
ecuaci´on algebraica:
F X = 0.
Si X es un equilibrio, entonces el vector constante X (t) = X es una soluci´on del sistema, ya que una constante tiene derivada cero: dX/dt = 0 y dado que F X = 0 por definici´on del equilibrio, se tiene que dX/dt = F X .
MODELOS MATEM ´ATICOS Y SIMULACI ´ON
Rec´ıprocamente:
Si un vector constante X (t) ⌘ X es una soluci´on de la ecuaci´on diferencial dX (t)/dt = F (X (t)), entonces, como:
(d/dt)(X (t)) ⌘ 0,
entonces tambi´en F X = 0 y en consecuencia X es un equilibrio.
MODELOS MATEM ´ATICOS Y SIMULACI ´ON
NOTA 19 Por lo anterior se llega a la conclusi´on de que un equilibrio es un
punto donde la soluci´on permanece por siempre. Un equilibrio podr´ıa ser estable o inestable (un l´apiz perfectamente balanceado en posici´on vertical, por ejemplo).
En lo que sigue se presenta un ejemplo para ilustrar la noci´on del equilibrio de un sistema de ecuaciones diferenciales ordinarias.
El ejemplo corresponde a la din´amica del quimiostato.
MODELOS MATEM ´ATICOS Y SIMULACI ´ON
Ejemplo 4 (El quimiostato) En el caso de las ecuaciones correspondientes al
quimiostato: a1 C 1 +CN N = 0 y C 1 +CN C +a2 = . Por lo que: ✓ a1 C 1 +C 1 ◆ N = 0.
En consecuencia, para un equilibrio X = N,C se tiene:
N = 0 o bien a1 C
1 +C 1 = 0.
En lo que sigue se considera cada una de estas dos posibilidades por separado.
MODELOS MATEM ´ATICOS Y SIMULACI ´ON
Primer caso N = 0. En este caso sustituyendo en:
C
1 +CN C +a2 = C +a2 = 0. En consecuencia se concluye que X = (0,a2).
Esto significa que ninguna bacteria est´a viva y que la concentraci´on del nu-triente es C⇤ = a2 =C0/kn.
MODELOS MATEM ´ATICOS Y SIMULACI ´ON
Segundo caso C = a11 1. Sustituyendo en la segunda ecuaci´on se tiene:
N = a1 ✓ a2 1 a1 1 ◆ .
NOTA 20 As´ı, los dos puntos de equilibrio est´an dados por:
X1 = (0,a2) y: X2 = ✓ a1✓a2 1 a1 1 ◆ , 1 a1 1 ◆ .
En este ejemplo un equilibrio tiene significado f´ısico ´unicamente si C 0
y N 0, ya que poblaciones o concentraciones negativas no representan
soluciones f´ısicas.
MODELOS MATEM ´ATICOS Y SIMULACI ´ON
Con respecto a lo anterior
El primer estado estacionario, esto es X1, satisface el requerimiento.
Sin embargo X2 estar´a bien definido y tendr´a significado f´ısico ´unicamente si: a1 > 1 y a2 > 1
a1 1
o equivalentemente:
a1 > 1 y a2(a1 1) > 1.
NOTA 21 Una de las ventajas de la reducci´on de par´ametros es llegar a
este tipo de condiciones compactas y elegantes.
MODELOS MATEM ´ATICOS Y SIMULACI ´ON
Y con respecto a la realidad f´ısica del sistema
Ahora bien, a1 y a2 fueron introducidas por conveniencia matem´atica y no forman parte del problema original.
Como ˆt := VF, a1 = VFkmax y a2 := ˆtˆ CVFC0 = C0 ˆ C = C0
kn, las condiciones se convierten en:
kmax > F V y C0 > kn V Fkmax 1 .
La primera condici´on dice que la m´axima tasa de reproducci´on de las bacterias es mayor que la tasa de vac´ıado del tanque.
MODELOS MATEM ´ATICOS Y SIMULACI ´ON
An´alisis de las soluciones de dX/dt = F (X) cerca de un punto de equilibrio
X
Definiendo ˆX = X X se tiene:
d ˆX
dt = dXdt dXdt = dXdt 0 = dXdt = F ˆX + X
= F X + F0 X ˆX + o ˆX ⇡ A ˆX,
donde: F X = 0, o ˆX ⇡ 0 y A := F0 X , que corresponde al Jacobiano de F
evaluado en X.
NOTA 22 El Jacobiano A depende de X. Si los desplazamientos X son
pe-que˜nos entonces ˆX ser´a peque˜na.
Se escribir´a dX/dt = AX, con X igual al desplazamiento desde X.
MODELOS MATEM ´ATICOS Y SIMULACI ´ON
Ejemplo 5 En el caso del quimiostato:
d dt ✓ N C ◆ = F (N,C) = a1 ⇣ C 1+C ⌘ N N C 1+CN C +a2, !
por lo que, en cualquier punto (N,C) el Jacobiano A = F0 de F es:
0 @ a1 C 1+C 1 (1+C)a1N 2 C 1+C (1+C)N 2 1 1 A,
por lo que en el punto ˆX2, donde ˆC = a11 1, ˆN = a1(a1a2 a2 1)
a1 1 : 0 b (a1 1) 1 a1 b(a1a1)+a1 1 ! , con b := a2(a1 1) 1. JCMG - 2013 72
MODELOS MATEM ´ATICOS Y SIMULACI ´ON
El soporte te ´orico...
MODELOS MATEM ´ATICOS Y SIMULACI ´ON
Teorema de Hartman-Grobman
Sea f : Rn ! Rn un mapeo suave con un punto hiperb´olico p (se dice que p es hiperb´olico si el jacobiano de f en p no tiene valores propios partes reales cero). Sea A la linealizaci´on de f en el punto p. Entonces existe una vecindad U de p y un homomorfismo:
h : U ! Rn
tal que fU = h 1 A h; esto es, en una vecindad U de p el mapeo f es topologi-camente conjugado a su linealizaci´on.
NOTA 23 En otras palabras: las soluciones de dXdT = F (X) lucen como las de dXdt = Ax (hasta un homomorfismo local y bajo la suposici´on de hiperbo-licidad; en general esta afirmaci´on no es cierta).
MODELOS MATEM ´ATICOS Y SIMULACI ´ON
La soluci´on general de dXdt = AX es eAtX (0), donde eB est´a definida en t´erminos de expansi´on de series: I + B + 12B2+ . . ., que da lugar a la soluci´on general:
X (t) =
Â
ni=1
cielitvi (Avi = livi) ,
suponiendo valores propios simples (tambi´en para valores complejos, utilizando la descomposici´on de Euler elt = eat+ibt = eat (cosbt + isinbt)).
NOTA 24 Como puede verse los t´erminos de la soluci´on s´olo pueden
apro-ximarse a cero conforme t ! +• si ¬l < 0.
MODELOS MATEM ´ATICOS Y SIMULACI ´ON
Dado que el equilibrio de X de dX/dt = F (X) es (localmente asintoticamente) estable si:
1. Todas las soluciones que est´an cerca de X permanecen cerca.
2. Para todas las soluciones que empiezan cerca de X se cumple que X (t) ! X conforme x ! •
Por la linealizaci´on se tiene que 2 ) 1 (pero en general esto no es verdad) y: est. asint´otica , las partes reales de los valores propios de A son < 0.
MODELOS MATEM ´ATICOS Y SIMULACI ´ON
NOTA 25 En general, si A tiene alg´un valor propio con parte real positiva,
entonces para dX/dt = F (X) existen soluciones que empiezan cerca de X pero que se mueven alej´andose de X. Por otra parte, la linealizaci´on
dX/dt = AX en un estado estacionario X no dice nada sobre estabilidad
global.
Con respecto a la parte final de la nota precedente, consid´erese el ejemplo que se muestra a continuaci´on.
MODELOS MATEM ´ATICOS Y SIMULACI ´ON
Ejemplo 6 dx/dt = x x3 y dx/dt = x + x2 se pueden linealizar en x = 0 y la linealizaci´on es dx/dt = x, que es estable.
En el primer caso todas las soluciones del sistema no lineal convergen a cero. Sin embargo en el segundo caso esto no es cierto. Para ilustrar esto, si se inicia en un estado x(0) > 1 todas las soluciones divergen hacia +• conforme t ! •.
MODELOS MATEM ´ATICOS Y SIMULACI ´ON
An´alisis de estabilidad en el caso en el que n = 2
En este caso no es necesario computar los valores propios, ya que la estabilidad es equivalente a que se cumplan las condiciones siguientes:
traceA < 0 y detA > 0
(recuerde que traceA = a11+a22 = l1 +l2 y detA = a11a22 a12a21 = l1l2).
NOTA 26 En el caso en el que n > 2 se puede utilizar el criterio de
Routh-Hurtwitz.
MODELOS MATEM ´ATICOS Y SIMULACI ´ON
En lo que sigue se ilustra el an´alisis de estabilidad el el caso n = 2 con el quimios-tato.
Ejemplo 7 En el caso del quimiostato suponga que el equilibrio X2 existe, esto es a1 > 1 y b = a2(a1 1) > 1. En este caso el Jacobiano:
A = F0 X2 = 01 b (a1 1)
a1 b(a1a1)+a1 1
! ,
con b := a2(a1 1) 1. Como puede verse (dado que a1 > 1 y b = a2(a1 1) > 1):
traceA = b (a1 a1) +a1
1 < 0 y detA =
b (a1 1)
a1 .
En consecuencia se concluye la estabilidad (local) del equilibrio X2, esto es si la concentraci´on inicial X (0) ⇡ X2, entonces X (t) ! X2 conforme t ! •.
MODELOS MATEM ´ATICOS Y SIMULACI ´ON
En lo que respecta al equilibrio X1:
A = F0 X1 = 0 @ a1 C 1+C 1 (1+C)a1N 2 C 1+C (1+C)N 2 1 1 A N=0,C=a2 = a1 a2 1+a2 1 0 a2 1+a2 1 ! . As´ı: detA = 1 a1 a2 1 +a2 = 1 +a2(1 a1) 1 +a2 = 1 a2(a1 1) 1 +a2 = 1 b 1 +a2 < 0
(recuerde que b > 1). X1 es entonces inestable; perturbaciones peque˜nas tales que N (0) > 0, har´an que X (t) se aleje de X1 (a´un si ´unicamente est´a presente una peque˜na cantidad de bacterias habr´a crecimiento).
MODELOS MATEM ´ATICOS Y SIMULACI ´ON
Sobre los ciclos l´ımite
En matem´aticas, en el ´area de Sistemas Din´amicos, un ciclo l´ımite sobre un plano (o sobre una variedad diferencial) de segundo orden es una trayectoria cerrada en el espacio de fase que posee la propiedad de que al menos otra trayectoria se mueve hacia ella conforme el tiempo tiende hacia +• o hacia •.
Este comportamiento se presenta en ciertos sistemas no lineales (econ´omicos, biol´ogicos, mec´anicos, . . . ).
MODELOS MATEM ´ATICOS Y SIMULACI ´ON
En el caso en el que todas las trayectorias vecinas se aproximan al ciclo l´ımite conforme t ! +•, se dice que el ciclo l´ımite es estable (o atractivo). Si esto pasa cuando t ! •, se dice que el ciclo l´ımite es inestable (o no atractivo). En todos los otros casos no es ni estable ni inestable.
NOTA 27 Los ciclos l´ımite estables implican oscilaciones sostenidas.
Cual-quier perturbaci´on peque˜na de la trayectoria cerrada har´a que el sistema se regrese al ciclo l´ımite.
MODELOS MATEM ´ATICOS Y SIMULACI ´ON
Ejemplo 8 El sistema no lineal:
dx dt = y + Kx⇣1 x2 y2⌘ q x2 +y2 y dy dt = x + Ky⇣1 x2 y2⌘ q x2+y2 ,
posee el ciclo l´ımite x2+y2 = 1 cuando t ! •, para cualesquiera condiciones ini-ciales x(0) = x0,y(0) = y0, exceptu´andose el caso x0 = y0 = 0.
NOTA 28 Bajo ciertos condicionamientos existen m´etodos anal´ıticos para
determinar si un sistemas posee un ciclo l´ımite para ciertos rangos de sus par´ametros (teor´ıa de bifurcaciones).
MODELOS MATEM ´ATICOS Y SIMULACI ´ON
Simulando un ciclo l´ımite en Java.