Вы находитесь на странице: 1из 3

Ana Isabel Urbina Gonzlez Simulacin de Procesos 05/09/2016

Solucin de sistemas /problemas de alto ndice (Index systems)


Los sistemas de ecuaciones diferenciales algebraicas (DAE) surgen naturalmente de muchos
sistemas dinmicos y son ms difciles de manejar que los sistemas de ecuacin diferencial ordinaria
(ODA). Por ejemplo, es bien sabido que la dificultad se presenta cuando DAE se soluciona con valores
iniciales inconsistentes. Adems, la solucin de problemas de alto ndice requiere mtodos de
integracin especialmente diseado o reduccin del ndice, que son generalmente limitados.

Los sistemas de ecuaciones diferenciales algebraicas (DAE) surgen naturalmente al modelar


sistemas dinmicos. El sistema general de DAE se puede representar por:

(1) F (t, y, y') = 0

En donde t es la variable independiente (usualmente el tiempo, y, y y F son variables dependientes


y se derivan respecto a t

Si se escribe (1) de forma explcita:

(2) y = f (t, y)

con las mismas variables de estado y, (1) es en realidad un sistema de ecuaciones diferenciales
ordinarias implcito (ODE). La diferencia bsica entre (1) y (2) es la posibilidad de aplicar un jacobiano
de F respecto a y', denotado por F /y o Fy. Si este es el caso, el DAE no puede ser reescrito como
una ecuacin diferencial ordinaria (ODA) con las mismas variables y. Entonces, a fin de convertir
dichos sistemas DAE a una ODA, son necesarios transformaciones de estado o derivaciones de las
ecuaciones.
Usualmente la propiedad conocida como ndice se utiliza para medir la distancia entre un DAE
particular y su formulacin equivalente de la ODA. El nmero mnimo de veces que todo o parte de
un DAE (1) debe ser diferenciada con respecto a la t para determinar y' como una funcin continua
de s y t se define como el ndice diferencial v1.
Obviamente, en consecuencia, a la definicin anterior, (2) tiene un ndice diferencial v=.
Los sistemas DAE con v1 y v >1 se conocen como bajo- y alto-ndice respectivamente. La solucin
para sistemas generales de bajo ndice es, en principio, no mucho ms difcil
que la solucin de sistemas de ODA, pero la inicializacin de tales sistemas todava puede plantear
problemas.

Alternativas en la solucin de sistemas de bajo ndice


Generalmente pueden resolverse los sistemas de bajo ndice numricamente por cdigos de ODE
ligeramente modificados. Sin embargo, para sistemas de alto ndice estos mtodos pueden
converger mal o pueden no converger en absoluto.
Para estos sistemas existen bsicamente tres enfoques generales:
1. manualmente modificar el modelo para obtener un modelo equivalente de ndice menor;
2. integracin por mediadores de alto ndice diseados especficamente;
3. aplicar algoritmos de reduccin de ndice automtico para obtener un menor ndice
modelo equivalente.
1 Modificaciones manuales- hay algunas obras de literatura que exploran diferentes hiptesis.
Evidentemente, tal enfoque no es adecuado para nuestros propsitos, porque es muy difcil o
imposible para automatizarlo.
Ana Isabel Urbina Gonzlez Simulacin de Procesos 05/09/2016

2.integracin por mediadores de alto ndice diseados especficamente-


no hay ningn mtodo capaz para manejar cualquier clase de DAE de alto ndice
Actualmente cdigos numricos disponibles son bsicamente soluciones modificadas de ODE,y se
pueden dividir en dos grupos principales: los algoritmos de resolucin de problemas de alto ndice
de estructura del problema restringido (por ejemplo en forma Hessenberg o semi-explcita);
solucionadores de problemas de alto ndice limitados para problemas con el ndice tres o menos.

El primer grupo de solucionadores no es adecuado para nuestros propsitos porque sera imposible
convertir sistemas generales DAE a la estructura ms estricta requerida. El ltimo grupo de
solucionadores parece ser prometedor para nuestra aplicacin, principalmente debido a problemas
con ndice superior a los tres son bastante infrecuentes en modelos matemticos de procesos
qumicos. Representando esta clase de solucionadores, los cdigos y PSIDE MEBDFI fueron
considerados. Aunque no hay restriccin en la estructura del problema se impone cuando se utilizan
estos cdigos, es necesario para informar como entrada el ndice de cada variable.

3.Anlisis y reduccin del ndice- El Algoritmo sugerido para reducir el ndice:

Iniciar la bsqueda de subconjuntos de MSS (mnimos estructurales singulares) con respecto a


todas las variables derivadas y no slo con respecto a las variables derivadas que son parte del
sistema original.
Cuando un subconjunto de MSS con respecto a la variable derivada se detecta, compruebe si es
singular, con respecto a todo el conjunto de variables. Si este es el caso, entonces el anlisis se
termin porque el sistema es estructuralmente singular.
La primera modificacin permite que el algoritmo sea capaz de reducir el ndice hasta cero, la
segunda comprueba si el sistema est estructuralmente singular, evitando el bucle infinito al
analizar sistemas singulares. El algoritmo y las modificaciones propuestas, se implementan en el
simulador de proceso EMSO y los derivados de las ecuaciones se obtienen mediante un cdigo de
diferenciacin simblica incorporada.

La dificultad surge cuando sistemas de DAE se solucionan con valores iniciales inconsistentes y
pueden provocar fallas de la solucin de muchos problemas. Por lo tanto, valores iniciales
consistentes son cruciales para obtener la solucin numrica, para ambos sistemas de bajo y alto
ndice. Un mtodo alternativo que puede utilizar para inicializar los sistemas DAE de cualquier ndice
es:
Analizar el sistema de ecuaciones con el algoritmo del anlisis de ndice.
Si el sistema no es singular, el nmero de grados de libertad dinmicos y la viabilidad del
conjunto de condiciones iniciales estn determinadas.
Si las condiciones iniciales dadas son vlidas, resolver el sistema cuadrado de ecuaciones no
lineales (NLA) compuestos por las ecuaciones originales, las condiciones iniciales y derivados
determinados por el algoritmo de anlisis de ndice.
Con este enfoque, las condiciones iniciales pueden ser algebraicas o ecuaciones diferenciales
generales de fijacin, no slo el valor de algunas variables como de costumbre.

Solucin de sistemas de alto ndice DAE


Una vez que el paso de inicializacin termina con xito uno puede tratar de avanzar en la solucin.
Cdigos de problemas de alto ndice se limitan a sistemas con ndice de mximo tres y requieren un
Ana Isabel Urbina Gonzlez Simulacin de Procesos 05/09/2016

anlisis de ndice. Para resolver el problema a travs del ndice de reduccin es ms general, pero
ste cae en el siguiente efecto:

Como puede ser visto en la imagen, la solucin numrica que usa un sistema cero de ndice cede
resultados aceptables durante el tiempo de integracin bajo. Durante el tiempo largo las coacciones
algebraicas (cablegrafan la longitud en el problema de pndulo), que directamente no es
considerado en el sistema que reduce el ndice, comienza a ser no respetado.

Referencias
Stephen L. Campbell. (2008). Differential-algebraic equations. 03/09/2016, de Scholarpedia Sitio
web: http://www.scholarpedia.org/article/Differential-algebraic_equations
Rafael de P. Soaresy Argimiro R. Secchi. (2005). Direct Initialisation and Solution of High-Index
DAE Systems. 03/09/2016, de Universidade Federal do Rio Grande do Sul Sitio web:
http://cepac.cheme.cmu.edu/pasi2011/library/secchi/Soares_Secchi-Escape15_CM-015.pdf