Professional Documents
Culture Documents
NDICE
1.
Introduccin.
2.
3.
4.
5.
6.
5.1.
5.2.
2
SOLUCIONES DE LAS ECUACIONES DE ESTADO
1.
Introduccin
3
conseguido que el segundo miembro de las ecuaciones de estado dependa linealmente
de y . Se trata de sistemas lineales; en general variables con el tiempo, cuya
condicin de variabilidad se expresa en sus ecuaciones de estado por el hecho de que las
matrices A, B, C y D del sistema incluyen elementos cuyo valor depende del tiempo. Se
puede ir a tipos de sistemas de una mayor restriccin, como los representados en el
ltimo bloque, consiguiendo la linealidad para los sistemas invariantes con el tiempo, o
la no variacin de los parmetros con el tiempo para los sistemas lineales,
correspondientes a los bloques nmeros 2 y 3. En ambos casos se llega a sistemas
lineales invariantes con el tiempo.
En cuanto a la solucin de las ecuaciones generales de estado del sistema, se
trata de resolver la primera de ellas, que es la ecuacin de estado. Su solucin ()
viene determinada, en forma unvoca, por el estado inicial (0 ) del sistema y los
valores de la seal de entrada () para 0; la solucin de la ecuacin de salida se
obtiene por simple sustitucin en la misma de la solucin () obtenida.
4
conduce, como es sabido, a laboriosos y complejos clculos; a diferencia de la
transparencia que ofrece la representacin de estado, especialmente cuando se trata de
sistemas de orden superior multivariables.
2.
() = [(), (), ]
(4.1)
(4.2)
correspondiente a la ecuacin (4.1), sea continua por tramos en funcin del tiempo; esto
es, que en cada intervalo finito de tiempo presente nicamente un nmero finito de
puntos de discontinuidad y que, en cada uno de ellos, exista un valor lmite por la
izquierda y otro por la derecha que sean finitos, Este tipo de funciones suele conocerse
como funciones son discontinuidad de salto de magnitud finita. Veamos, con ms
detalle, el significado de lo expuesto. Las funciones dependen de , y ; si se
mantiene fija , la funcin depender solamente de () y de . En estas ltimas
condiciones, se requiere la propiedad de salto de magnitud finita para las funciones
de entrada 1 , 2 , . .
(4.3)
La funcin variar en forma de salto si lo hace una de las componentes de (). Este
hecho es admisible, pero se requiere que dichas componentes permanezcan finitas y que
en los puntos de discontinuidad existan lmites finitos por la izquierda y por la derecha;
tal como se muestra en la figura 4.2 a). Una funcin como la representada en la figura
4.2 b) sera inadmisible.
Si la funcin depende explcitamente del tiempo, pueden existir variaciones en
forma de salto en los parmetros del sistema dependientes del tiempo, a condicin de
que permanezca finita. Si se tiene, por ejemplo, relacin
(), (), = ()() + ()()
(4.4)
pueden variar en forma de salto las componentes de los vectores fila () y ().
6
(1) (), (), [ (2) (), (), ] (1) () (2) ()(4.5)
(4.6)
() = [(), (), ]
(4.7)
() = ()() + ()()
(4.8)
(4.9)
Se supondr que los elementos integrantes de las matrices (), (), (), () y de
() son funciones del tiempo continuas por tramos y acotadas. En tal caso, la ecuacin
diferencial (4.8) tendr una solucin nica, para un estado inicial 0 y una seal de
entrada [0 ,] , si se cumplen las condiciones fijadas en el criterio dado para la existencia
y unicidad de las soluciones, aplicado a la funcin
(), (), = ()() + ()()
(4.10)
Bajo el supuesto de continuidad aceptado para (), () y (), queda asegurado que
la ecuacin (4.8) es continua por tramos respecto del tiempo . Queda, pues, por
comprobar si la menconada ecuacin cumple la condicin de Lipschitz respecto de
(). Para dos vectores de estado cualesquiera x (1) (t) y x (2) (t) se tiene que
7
(1) (), (), (2) (), (),
donde las normas del vector y de las matrices debern ser compatibles, eligindose de
forma que = (). Con ello queda demostrado que la ecuacin (4.8) cumple
tambin la condicin de Lipschitz y por tanto tiene solucin nica.
3.
(4.12)
() = 0 + [ 1 (), (), ]
0
(4.13)
1 () = 0 + ()0 () = 0 + () 0
0
(4.14)
2 () = 0 + () 0 + (1 ) 1 0
= 0 + () 0 + () (1 ) 1 0
0
----------------------------------------------------------------------------------------------------------
8
()
= + ()
+ () ( 1 1 +. . . + () (1 )
0
( 1 )1 1 0
La expresin entre corchetes de la ltima ecuacin de (4.14) es una matriz que depende
de (), del instante inicial 0 y del tiempo que va transcurriendo. Cuando se
obtiene una solucin para la ecuacin diferencial homognea, que depende de , 0 y 0
dada por
, 0 , 0 = lim ()
(4.15)
A la matriz que resulta para la expresin entre corchetes de la ltima ecuacin de (4.14),
cuando se va al lmite mencionado, se le designa por (, 0 ); su valor ser
(, 0 ) = + () + () (1 ) 1 +
+ . . . () (1 )
0
(1 ) 1 . . . 1 +
(4.16)
(4.17)
(, 0 ) = () + () () + () () (1 ) 1 +
= () + () + () (1 ) 1 +
0
= ()(, 0 )
(4.19)
9
(0 ) = 0 = (0 , 0 )0 (0 , 0 ) =
(4.20)
(, 0 ) = ()(, 0 )(0 , 0 ) =
(4.21)
De las relaciones (4.19) y (4.20) puede obtenerse una ecuacin diferencial para la matriz
de transicin, con sus correspondientes condiciones iniciales; ser de la forma
(, 0 ) = ( 0 ) = + ( 0 ) + 2! ( 0 )2 2 + = (0 )
(4.22)
(4.23)
Adems de las dos propiedades expresadas por las relaciones (4.20) y (4.21), la
matriz de transicin presenta otras de gran inters y utilidad que sern obtenidas
seguidamente.
() () = () ()
0
(4.24)
() (1 ) 1 = (1 ) 1 () =
0
0 0
1
[ () ]2
2! 0
(4.25)
10
1
()[ (1 ) 1 ]2
0 2!
0
() (1 ) (2 ) 2 1 =
0
1
1
[(1 ) 1 ]2 () = [ ()]3
3! 0
0 2! 0
(4.26)
1
1
2
(, 0 ) = + () + [ ()] + [ ()]3 +
2! 0
3! 0
0
(4.27)
(, 0 ) = + + 2! 2 + 3! 3 + =
(4.28)
()
(4.29)
() = ( 0 )(, 0 ) = (0 )
0
(4.30)
Expresin que, como es lgico, resulta igual a la obtenida en (4.22); de sta ltima se
deduce que, la matriz de transicin de los sistemas lineales invariantes con el tiempo
depende directamente de la diferencia de tiempos 0 . Si se hace en (4.22) 0 =
0 = 0, resulta
(, 0 ) = (, 0)
(4.31)
() = = + + 2! 2 2 + 3! 3 3 +
(4.32)
11
desarrollo dado en (4.16) o a la ecuacin diferencial (4.21), lo que requiere laboriosos
clculos de computador.
Otra propiedad de la funcin de transicin, conocida como propiedad de
transicin o de grupo, se obtiene a partir de la ecuacin (4.17), de la que resultan las
siguientes relaciones
(1 ) = (1 , 0 )(0 )
(2 ) = (2 , 0 )(0 )
(4.33)
(2 , 0 ) = (2 , 1 )(1 , 0 )
(4.34)
(4.35)
(0 , 1 ) = 1 (1 , 0 )
(4.36)
(, 0 ) = (0 ) = ( 0 )
( + ) = (+) = = ()()
1 () = [ ]1 = = ()
(4.37)
(4.38)
(0 , 0 ) =
(0 0 ) =
(, 0 ) = (, 0 )
(, 0 ) =
()
( 0 ) = ( 0 )
( 0 ) = (0 )
12
(2 , 0 )
= (2 , 1 )(1 , 0 )
(2 0 )
= (2 1 )(1 0 )
1 (1 , 2 ) = (2 , 1 )
1 (1 2 )
= (2 1 )
1 () = ()
5.
La ecuacin a resolver es
() = ()() + ()()
(4.39)
(4.40)
() = (, 0 )() + (, 0 ) ()
(4.41)
(4.42)
Pero teniendo en cuenta la relacin (4.21), la expresin entre corchetes de (4.42) resulta
nula; con ello queda
(, 0 ) () = ()()
(4.43)
() = (0 , )()()
(4.44)
13
() = (0 ) + (0 , ) ()()
0
(4.45)
() = (, 0 )[(0 ) + (0 , ) ()()]
0
(4.46)
() = (, 0 )(0 ) + (, ) ()()
0
(4.47)
(4.48)
; 0 , 0, [0 ,] = (, ) ()()
0
(4.49)
se obtiene
() = ()() + ()()
(4.50)
(4.51)
14
() = (, 0 )(0 ) + ( ) ()
0
(4.52)
() = [1 0]()
0
1
0
() + ()(0 ) = 0 = 10
0
0
1
(4.53)
(4.54)
Para poder aplicar (4.52), deber calcularse previamente la matriz de transicin. En este
caso se emplear el desarrollo en serie de (), dado en (4.32); o sea
1
() = = + + 2! 2 2 + 3! 3 3 +
0
12
0
2 =
=
= ; 3 = 2 ;
0
0 2
(4.55)
4 = 3 ; .
2
3
2
= + +
+
2!
3!
1
()2 ()3
= + +
+
2!
3!
1
()2 ()3
= + 1 +
2!
3!
1
= +
y sustituyendo el valor de
1
() =
0
0
0
1
0
+
0
0
1
1
=
(4.56)
15
2 () =
o sea
1
1()
0
1
1
1
= 10 + +
1 () = 10 + +
2 () = [ ]0 = (1 )
(4.57)
() = 1 () = 10 + +
(4.58)
5.2.
Otro mtodo para resolver las ecuaciones de estado de los sistemas lineales
invariantes con el tiempo, es el basado en la utilizacin de la transformada de Laplace,
que, en comparacin con el mtodo anterior, da lugar a una notable simplificacin de
clculo.
16
Tomando transformadas de Laplace en las ecuaciones
correspondientes a un sistema invariante con el tiempo se tiene
de
() 0 = () + ()0 = ()=
() = () + ()
estado
(4.59)
(4.60)
() = 0 + ()
Y si la matriz es no singular
() = 0 + ()
(4.61)
1 () = () = 1 [ 0 ] + 1 [ ()]
(4.62)
( 0 ) = 1 [ ]
y adems
(4.63)
[ ()] = ( ) ()
0
(4.64)
() = 0 + [ + ]()
(4.65)
La expresin (4.65) muestra, una vez ms, el hecho conocido de que la respuesta del
sistema, para 0 , queda determinada por un vector de estado inicial y la seal de
entrada definida para 0 .
Veamos, seguidamente, una aplicacin del mtodo deducido. Sea un sistema con una
salida, cuyo comportamiento dinmico est determinado por las ecuaciones de estado
1
0
1
0
() = 0 3
1 () + 0 ()
0
0 4
1
(4.66)
17
1
() = 2 1
0 ()
(4.67)
( + 1)
0
1
( + 3)
1 det = ( + 1)( + 3)( + 4) (4.68)
= 0
0
0
( + 4)
Y su matriz inversa
( + 3)( + 4)
( + 3)
0
( + 1)( + 4)
( + 1)
=
det
( + 1)( + 3)
0
0
1
1
1
( + 1) ( + 4)
( + 1)
0
1
( + 3)
( + 3)1 ( + 4)1
=
0
( + 4)1
0
0
1
(4.70)
() =
0
0 2
1
1
2
( + 1)( + 4)
1
= 2
( + 3)( + 4)
2 ( + 4)
(4.71)
+
4 16
48
3
3 4
7
() =
12 144
9 416
16
4 16
(4.72)
18
Finalmente, como seal de salida se tendr
() = [12
6.
7
5
59
3
0]() =
+
4 +
96
24
288
6
9
(4.73)
En este apartado se mostrarn algunos de los diversos mtodos que existen para
determinar la matriz de transicin de un sistema dinmico lineal e invariante con el
tiempo; definida, como es sabido, por
( 0 ) = (0 )
o para 0 = 0
(4.74)
() =
(4.75)
(4.76)
a11
a21
a12
a22
11
21
12
22
a11
a21
a11 11 + a12 21
a21 11 + a22 21
a12
11
a22 21
12
22
a11 12 + a12 22
a21 12 + a22 22
(4.77)
19
11 = a11 11 + a12 21
12 = a11 12 + a12 22
21 = a21 11 + a22 21
(4.78)
22 = a21 12 + a22 22
21 (0) = 0
22 (0) = 1
(4.79)
(4.80)
sistema que resuelto dar 11 (s), 12 (s), 21 (s) y 22 (s). Hallando la transformada
inversa de Lapalace de estas funciones se obtienen los elementos 11 (t), 12 (t),21 (t)
y 22 (t), componentes de la matriz de transicin.
El mtodo expuesto resulta bastante eficaz, si se utilizan los programas
adecuados para la resolucin de sistemas de ecuaciones mediante computador.
( )2
( )i1
= I+
I+
+
+ .= I +
1
2 1!
3 2!
i (i 1)!
i=1
(4.81)
(4.82)
20
puede obtenerse la matriz de transicin por transformacin inversa de la matriz
resolvente. La parte ms laboriosa de este mtodo es el clculo de la matriz resolvente;
para sistemas de orden superior, puede utilizarse el conocido algoritmo de Leverrier.
Mtodo de Cayley-Hamilton
Uno de los teoremas ms importantes para definir cualquier funcin matricial es
el teorema de Cayley-Hamilton, que dice: toda matriz cuadrada satisface su propia
ecuacin caracterstica. Expresado matemticamente, si A es una matriz cuadrada de
dimensin y () su polinomio caracterstico se tiene
() = + 1 1 + . 1 + 0
PA = An + 1 A1 + . +1 A + 0 I = 0
(4.83)
(4.84)
ecuacin que ya se apunt en (3.93). Una de las primeras aplicaciones de este teorema
es la reduccin del orden de un determinado polinomio de matrices. As, es posible
reducir el polinomio
NA = Ak + vk1 Ak1 + . v1 A + v0 Ik >
(4.85)
(4.86)
(4.87)
NA = h1 A1 + h2 A2 + . h1 A + h0 I
por() se obtiene
N() = + 1 1 + . +1 + 0
N()
R()
= Q() +
;
P()
P()
(4.88)
(4.89)
(4.90)
21
con lo que, si A tiene n valores propios distintos, de (4.90) se obtienen n ecuaciones con
n incgnitas. Si A tiene un valor propio i , de multiplicidad m1 , entonces
P() = ( 1 )m1 P1 ()
(4.91)
dN()
d
dQ()
d P1 ()
=
P() + Q() m1 ( 1 )m1 1 P1 () + ( 1 )m1
d
d
dR()
+
d
(4.92)
d =
d =
1
(4.93)
Derivando sucesivamente (4.92), se obtendr la misma relacin (4.93) para las (m1 -1)
primeras derivadas. Estas (m1 -1) ecuaciones, junto con la original (4.90), constituyen el
conjunto de las m1 ecuaciones correspondientes al valor propio 1 de multiplicidad m1 .
(4.94)
obligando a que se cumplan las ecuaciones (4.90) o (4.93). Veamos un caso concreto.
Sea la matriz A
2
A=
0
= ( + 2)( + 1) = 0
+1
(4.95)
1 = 1
2 = 2
(4.96)
22
Como A es de dimensin 2x2, se tendr que
RA = h0 I + h1 A
F(1 ) = e1 t = R(1 ) = h0 + h1 1 et = h0 h1
(4.97)
h1 = et e2t h0 = 2 et e2t
e2t
0
4(et e2t )
e
2
0
(4.98)
(4.99)
se tendr
y adems
+1
I A =
2
1 = 3
= ( + 1)( + 5) + 4 = 0
2 = 3
+5
2
(4.101)
RA = h0 I + h1 A
F (1) (1 ) = t e1 t = h1
(4.100)
t e3t = h1
(4.102)
23
por tanto
= (1 + 3t)e3t I + t e3t
Finalmente, operando se obtiene
=
(1 + 2t)e3t
2te
1
2
2te3t
3t
(1 + 8t)e
(4.103)
(4.104)
3t
Mtodo de Jordan
En el caso de que los valores propios de la matriz A del sistema sean distintos, la
forma cannica de Jordan es especialmente adecuada, como ya se ha indicado
anteriormente, para resolver la ecuacin de estado, y por tanto para el clculo de la
matriz de transicin. Dada la ecuacin homognea
x (t) = Ax(t)
(4.105)
x = Tx
(4.106)
si los valores propios de A son distintos y T es la matriz formada por los vectores
propios de A, haciendo la transformacin
se obtiene que
= T 1 ATx = x =
(4.107)
(t) = t
es decir
e 1 t
0
=
e 2 t
n t
e
(4.108)
24
e1 (tt0)
x (t) =
e2 (tt0 )
resulta
x = T 1 x
x(t) = T
e1 (tt0)
e2 (tt0 )
0
x (t 0 )
n (tt0 )
e
(4.109)
(4.110)
0
1
T x(t 0 )
n (tt0 )
e
(4.111)
Por tanto la matriz de transicin del sistema (4.105) vendr dada por
e 1 t
0
(t) = T
e 2 t
0
1
T
n t
e
(4.112)
2
0
y aplicando (4.112)
4
T=
1
1
0
1
T =
0
1
(4.113)
25
(t) =
1 et
0 0
e2t 1
0
e2t
=
4
0
4et 4e2t
e
(4.114)