Tema 9 Equacions en Diferències i Sistemes Dinàmics Lineals
Tema 9 Equacions en Diferències i Sistemes Dinàmics Lineals
Tema 9 Equacions en Diferències i Sistemes Dinàmics Lineals
You also want an ePaper? Increase the reach of your titles
YUMPU automatically turns print PDFs into web optimized ePapers that Google loves.
<strong>Tema</strong> 9<br />
<strong>Equacions</strong> <strong>en</strong> <strong>Diferències</strong> i <strong>Sistemes</strong> <strong>Dinàmics</strong><br />
<strong>Lineals</strong><br />
(9.A) <strong>Equacions</strong> <strong>en</strong> <strong>Diferències</strong> Finites <strong>Lineals</strong>.<br />
9.0.- Introducció.<br />
Les equacions <strong>en</strong> diferències apareix<strong>en</strong> de forma natural <strong>en</strong> diversos àmbits de<br />
l’<strong>en</strong>ginyeria (electrònica, economia, ...) i, <strong>en</strong> certa manera, podríem dir que<br />
constitueix<strong>en</strong> l’anàleg discret de les equacions difer<strong>en</strong>cials ordinàries, però ess<strong>en</strong>t les<br />
incògnites funcions discretes, <strong>en</strong> lloc de funcions contínues. En aquest cas es tracta de<br />
trobar una fórmula explícita per al terme k-èsim d’una successió donada per recurrència.<br />
Les progressions aritmètiques i les progressions geomètriques són exemples<br />
d’equacions <strong>en</strong> diferències. No obstant que aquestes progressions er<strong>en</strong> conegudes de<br />
molt abans, sembla que el primer <strong>en</strong> considerar de forma g<strong>en</strong>eral les equacions <strong>en</strong><br />
diferències va ser B. Taylor <strong>en</strong> el seu llibre titulat “The Method of Increm<strong>en</strong>ts” que data<br />
aproximadam<strong>en</strong>t de l’any 1715 (segons Le Marquis de Laplace).<br />
Potser la primera equació recurr<strong>en</strong>t coneguda a la història apareix <strong>en</strong> el “Liber Abaci”,<br />
de 1202, recollint un problema sobre la cria de conills, plantejat i resolt per Leonardo de<br />
Pisa, més conegut com Fibonacci. La successió que apareix com a solució d’aquest<br />
problema és<br />
1, 1, 2, 3, 5, 8, 13, 21, ...<br />
anom<strong>en</strong>ats “números de Fibonacci”. L’equació de Fibonacci és, doncs,<br />
Fk = Fk-1 + Fk-2, k 3<br />
F1 = F2 = 1<br />
Els números de Fibonacci verifiqu<strong>en</strong> curioses propietats, com ara:<br />
2<br />
2<br />
(a) F 1 ... + F k = Fk F k 1<br />
(b) Tot número natural és suma d’un nombre finit de números de Fibonacci, tots<br />
difer<strong>en</strong>ts.<br />
Fk 1 1 5<br />
(c) lim = , la famosa “relació àuria” (fonam<strong>en</strong>tal <strong>en</strong> l’estètica<br />
k <br />
Fk<br />
2<br />
grega, i d’altra banda freqü<strong>en</strong>t <strong>en</strong> f<strong>en</strong>òm<strong>en</strong>s naturals com ara espirals de<br />
cargols, de ramificacions de plantes, ...).<br />
9.1
9.1, 9.2.- Definició i exemples.<br />
Def. –<br />
(1) Indicarem per y(k), k , una funció de variable discreta (o simplem<strong>en</strong>t, “funció<br />
discreta”), és a dir, y:<br />
( y ( 0),<br />
y(<br />
1),<br />
, y(<br />
k),<br />
).<br />
. Pot id<strong>en</strong>tificar-se amb la successió<br />
(2) Una equació <strong>en</strong> diferències (EED) lineal amb coefici<strong>en</strong>ts constants d’ordre n és una<br />
equació de la forma<br />
y(k n-1<br />
1<br />
0<br />
n) a y(k n -1)<br />
... a y(k 1)<br />
a y(k) <br />
(k) (*)<br />
on aj són constants 0 j n 1,<br />
és una funció discreta donada i y és una funció<br />
discreta a determinar de forma que verifiqui la relació (*).<br />
(2’) Es diu aleshores que y(k) és una solució de (*), amb condicions inicials<br />
y(0), ..., y(n-1).<br />
(2’’) Si = 0 es diu que l’EED és homogènia. En cas contrari, s’anom<strong>en</strong>a completa i<br />
se’n diu homogènia associada la que resulta de substituir (k)<br />
per 0.<br />
(3) S’anom<strong>en</strong>a polinomi característic de (*) al<br />
n<br />
n-1<br />
Q( ) a n-1<br />
... a1<br />
<br />
Les seves arrels s’anom<strong>en</strong><strong>en</strong> valors característics.<br />
(3’) Si n’hi ha un simple real i de mòdul estrictam<strong>en</strong>t més gran que els altres, es diu<br />
dominant (i el segü<strong>en</strong>t, si existeix, subdominant...).<br />
Obs. – Com hem dit a la introducció, (*) indica com construir la successió y(k) per<br />
recurrència, i es tracta com primer objectiu de trobar-ne una expressió explícita<br />
del terme g<strong>en</strong>eral y(k).<br />
Exemple. – (l’equació geomètrica)<br />
Se’n diu equació geomètrica la de la forma<br />
La seva solució és immediata:<br />
y(k + 1) = y(k) + C, k<br />
- Si = 1: y(k) = y(0) + k C, k .<br />
- Si 1, C = 0: y(k) = k y(0), k .<br />
a<br />
0<br />
9.2
C <br />
- Si 1, C 0: y(k) = ( 0)<br />
<br />
1<br />
<br />
y k +<br />
C<br />
, k<br />
1<br />
<br />
Observeu que hi ha una solució per a cada condició inicial y(0).<br />
Observeu igualm<strong>en</strong>t que hi ha un únic valor característic, .<br />
Aplicacions. –<br />
(1) Aquesta equació apareix, per exemple, <strong>en</strong> problemes de interessos i d’amortització.<br />
Suposem que al com<strong>en</strong>çam<strong>en</strong>t de cada any s’ingressa <strong>en</strong> un compte bancari una<br />
quantitat constant b, més el rèdit produït durant l’any anterior a un interès anual i.<br />
Per a l’any k, designem per y(k) la quantitat acumulada al com<strong>en</strong>çam<strong>en</strong>t d’any,<br />
després de les operacions anteriors. La funció discreta y(k) verifica les relacions<br />
y(1) = b<br />
y(k + 1) = y(k) + iy(k) + b = (1 + i)y(k) + b<br />
que és una equació geomètrica amb = 1 + i, C = b. Per tant<br />
i<br />
b k 1 b 1 1<br />
y(<br />
k)<br />
y(<br />
1)<br />
1i<br />
= b<br />
i i i<br />
(2) De manera anàloga, considerem un procés d’amortització d’un deute D, a un interès<br />
anual i, mitjançant l’abonam<strong>en</strong>t anual d’una quota constant B. Designem per d(k) el<br />
deute p<strong>en</strong>d<strong>en</strong>t al cap de k anys i procedint com <strong>en</strong> l’exemple anterior tindrem,<br />
d’on<br />
d(0) = D<br />
d(k + 1) = d(k) + id(k) – B = (i + 1)d(k) – B<br />
<br />
<br />
<br />
B <br />
<br />
i <br />
d(k) = d(<br />
0)<br />
1i k<br />
<br />
B<br />
i<br />
D(<br />
1<br />
i)<br />
k<br />
B<br />
k<br />
1 i<br />
Si es vol liquidar el deute <strong>en</strong> un termini de n anys, ha de ser d(n) = 0, d’on resulta la<br />
quota<br />
n<br />
i(<br />
1<br />
i)<br />
D<br />
( 1<br />
i)<br />
1<br />
B n<br />
9.3.- Existència i unicitat de les solucions.<br />
És evid<strong>en</strong>t que:<br />
i<br />
k<br />
1<br />
9.3
Prop. – Donada una EED com (*) i fixades les condicions inicials y0, ..., yn-1, existeix<br />
una única solució y(k) tal que: y(0) = y0, ..., y(n – 1) = yn-1.<br />
Obs. –<br />
(1) De fet, la proposició és certa per a qualsevol EED de la forma<br />
y( k n)<br />
F(<br />
y(<br />
k n 1),...,<br />
y(<br />
k),<br />
k)<br />
s<strong>en</strong>se condicions de linealitat ni de invariància.<br />
Per exemple, (k + 1)y(k + 1) – ky(k) = 1 té com a solució<br />
y ( k)<br />
1,<br />
k 1 i y(0) = (arbitrari)<br />
(2) Si a la solució y(k) de (1) li exigim que verifiqui les condicions inicials segü<strong>en</strong>ts:<br />
y( k N)<br />
y , k = 0, ..., n – 1<br />
k<br />
aleshores la solució de (*) que verifica aquestes condicions existeix i és única, però<br />
definida per k N .<br />
k 1<br />
Així <strong>en</strong> l’exemple anterior, si fixem y(1) = 0, la solució és y(<br />
k)<br />
, per a k 1.<br />
k<br />
9.4, ... , 9.7.- Resolució de les EED homogènies.<br />
Prop. – Considerem l’EED homogènia<br />
y( n 1<br />
1<br />
0<br />
k n)<br />
a y(<br />
k n 1)<br />
... a y(<br />
k 1)<br />
a y(<br />
k)<br />
0<br />
(1) El conjunt de solucions S 0 és un espai vectorial de dim<strong>en</strong>sió n.<br />
(1’) De forma més precisa, la correspondència amb les condicions inicials<br />
y( k)<br />
S0<br />
y( 0),<br />
y(<br />
1),<br />
,<br />
y(<br />
n 1)<br />
<br />
és un isomorfisme ( lineal bijectiva).<br />
(2) N’és una base tot conjunt de n solucions y1(k), ..., yn(k), amb condicions inicials<br />
l.i., és a dir:<br />
n<br />
9.4
y1(<br />
0)<br />
. . . yn<br />
( 0)<br />
<br />
<br />
<br />
.<br />
. <br />
det<br />
.<br />
. 0<br />
<br />
<br />
.<br />
. <br />
<br />
1(<br />
1)<br />
. . . ( 1)<br />
<br />
y n yn<br />
n <br />
(3) Qualsevol altra solució, doncs, n’és una combinació lineal<br />
k)<br />
c y ( k)<br />
<br />
c y ( k)<br />
y( 1 1<br />
n n<br />
els coefici<strong>en</strong>ts de la qual qued<strong>en</strong> determinats per les condicions inicials:<br />
y(<br />
0)<br />
c1<br />
y1(<br />
0)<br />
<br />
cn<br />
yn<br />
( 0)<br />
y(<br />
1)<br />
c1<br />
y1(<br />
1)<br />
<br />
cn<br />
yn<br />
( 1)<br />
<br />
Def. – En les condicions anteriors, es diu que y1( k),<br />
, yn<br />
( k)<br />
form<strong>en</strong> un sistema<br />
fonam<strong>en</strong>tal de solucions.<br />
Exemple – Un sistema fonam<strong>en</strong>tal de solucions de<br />
és:<br />
y ( k 2)<br />
2y(<br />
k 1)<br />
y(<br />
k)<br />
0<br />
y1<br />
( k)<br />
1,<br />
k 0<br />
<br />
y<br />
2 ( k)<br />
k,<br />
k 0<br />
ja que són solució:<br />
1<br />
2 1<br />
1<br />
0<br />
<br />
(<br />
k 2)<br />
2(<br />
k 1)<br />
k 0<br />
1<br />
0<br />
i les condicions inicials són l.i.: det 0<br />
1 1<br />
<br />
Lema – En les condicions anteriors:<br />
(1) Si és un valor característic amb multiplicitat m, aleshores:<br />
són solucions, i són l.i.<br />
k<br />
,<br />
k m1<br />
k<br />
k ,..., k <br />
(2) Si <br />
(no real) és un valor característic (i per tant també ) amb multiplicitat m,<br />
aleshores:<br />
9.5
k<br />
cos k,<br />
k cos k,...,<br />
k<br />
k<br />
sin k,<br />
k sin k,...,<br />
k<br />
k<br />
k<br />
m1<br />
m1<br />
on indica l’argum<strong>en</strong>t de , són solucions, i són l.i.<br />
Teorema – Donada l’EED homogènia<br />
cos k,<br />
k<br />
k<br />
sin k<br />
k n)<br />
a y(<br />
k n 1)<br />
... a y(<br />
k 1)<br />
a y(<br />
k)<br />
0<br />
y( n 1<br />
1<br />
0<br />
suposem que els seus valor característics són:<br />
,..., <br />
; amb multiplicitats α1, ..., αp<br />
1 p<br />
1 , 1,...,<br />
q<br />
q<br />
(no reals); amb multiplicitats β1, ..., βq<br />
, <br />
(1) Aleshores, un sistema fonam<strong>en</strong>tal de solucions és:<br />
k k<br />
, k<br />
,..., k<br />
1<br />
...<br />
1<br />
k k<br />
, k<br />
,..., k<br />
p<br />
<br />
<br />
...<br />
<br />
<br />
k<br />
1<br />
k<br />
1<br />
k<br />
q<br />
k<br />
q<br />
p<br />
11<br />
q<br />
p 1<br />
q<br />
k<br />
,<br />
cos k<br />
, k <br />
sin k<br />
, k <br />
1<br />
k<br />
,<br />
p<br />
k<br />
1<br />
k<br />
1<br />
cos k<br />
, k <br />
sin k<br />
, k <br />
k<br />
q<br />
k<br />
q<br />
on ),..., arg( ) .<br />
1 arg( 1 q<br />
q<br />
1<br />
1<br />
cos k<br />
,..., k<br />
sin k<br />
,..., k<br />
1<br />
1<br />
cos k<br />
,..., k<br />
q<br />
q<br />
sin k<br />
,..., k<br />
1<br />
1<br />
1<br />
1<br />
<br />
<br />
<br />
q 1<br />
q 1<br />
<br />
k<br />
1<br />
k<br />
1<br />
<br />
<br />
sin k<br />
,<br />
k<br />
q<br />
k<br />
q<br />
cos k<br />
,<br />
1<br />
1<br />
cos k<br />
,<br />
sin k<br />
(2) Qualsevol altra solució és, doncs, una combinació lineal de les anteriors,<br />
els coefici<strong>en</strong>ts de la qual qued<strong>en</strong> determinats per les condicions inicials.<br />
Obs. –<br />
(1) Les solucions que form<strong>en</strong> part de la base anterior, s’anom<strong>en</strong><strong>en</strong> modes (bàsics,<br />
fonam<strong>en</strong>tals, ...).<br />
(2) En particular s’anom<strong>en</strong><strong>en</strong> modes principals els de la forma k<br />
i o els seus múltiples.<br />
(2’) També, si y (k)<br />
és una solució combinació lineal dels modes anteriors, els sumands<br />
k<br />
de la forma c s’anom<strong>en</strong><strong>en</strong> les parts principals de y(k).<br />
i<br />
i<br />
q<br />
q<br />
9.6
(2’’) En particular si 1 és valor característic dominant, aleshores el sumand <br />
s’anom<strong>en</strong>a la part dominant de y(k) (i anàlogam<strong>en</strong>t, <br />
k<br />
la part subdominant,...).<br />
c2 2<br />
k<br />
c1 1<br />
(3) Els correspon<strong>en</strong>ts a valors característics complexos (o a valors característics reals<br />
negatius) són modes oscil·lants, de període 2 / j .<br />
(3’) En particular, si i 1,<br />
els de la forma cos( k j ) , sin( k j ) i els seus múltiples són<br />
oscil·lacions d’amplitud constant (que no s’amplifiqu<strong>en</strong> ni s’esmorteeix<strong>en</strong>).<br />
Exemples –<br />
(1) A l’exemple anterior<br />
y ( k 2)<br />
2y(<br />
k 1)<br />
y(<br />
k)<br />
0<br />
el polinomi característic és t 2 - 2t + 1, que té una única arrel: 1,<br />
doble. Per tant,<br />
una base de l’espai de solucions és:<br />
k<br />
<br />
y1(<br />
k)<br />
1 1<br />
<br />
k<br />
y2<br />
( k)<br />
k 1<br />
k<br />
(les que ja havíem trobat).<br />
(1’) Qualsevol altra solució serà de la forma:<br />
y k c c k<br />
) (<br />
1 2 1<br />
Per exemple, la de condicions inicials 2, y -1:<br />
Per tant: y(k) 2 - 3k<br />
En efecte<br />
k<br />
0 2 c1<br />
<br />
k<br />
1 1<br />
c<br />
1<br />
c<br />
y 0 1<br />
2<br />
c<br />
<br />
c<br />
1<br />
2<br />
2<br />
3<br />
(<br />
2 3(<br />
k 2))<br />
2(<br />
2 3(<br />
k 1))<br />
( 2 3k)<br />
0<br />
<br />
y(<br />
0)<br />
2,<br />
y(<br />
1)<br />
1<br />
(1’’) En g<strong>en</strong>eral: y(0) c1,<br />
y(1) c1<br />
c 2 .<br />
Per tant y(k) y(0) (y(1) - y(0))k .<br />
(2) Per la EED<br />
y ( k 2)<br />
y(<br />
k)<br />
0<br />
Els valors característics són i .<br />
Una base de l’espai de solucions és:<br />
9.7
y1( k)<br />
cos k , y2<br />
( k)<br />
sin k<br />
2<br />
2<br />
Tota solució serà de forma:<br />
<br />
y k)<br />
c1<br />
cos k c<br />
2<br />
( 2<br />
<br />
sin k<br />
2<br />
Les constants c1, c2 quedaran determinades per:<br />
y(<br />
0)<br />
c1<br />
<br />
y(<br />
1)<br />
c2<br />
Corol. (solució g<strong>en</strong>eral per valors característics reals simples) –<br />
En particular, si els valors característics són 1 ,..., n<br />
<br />
aleshores tota solució és de la forma<br />
k<br />
k<br />
y( k)<br />
c1<br />
1 ... cn<br />
n<br />
on c ,..., cn<br />
qued<strong>en</strong> determinades per les condicions inicials:<br />
1<br />
Més explícitam<strong>en</strong>t:<br />
y(<br />
0)<br />
c1<br />
... cn<br />
<br />
y(<br />
1)<br />
c11<br />
... cn<br />
n<br />
<br />
<br />
...<br />
<br />
n 1<br />
n<br />
y(<br />
n 1)<br />
c11<br />
... cn<br />
n<br />
c1<br />
1<br />
<br />
c<br />
2 1<br />
<br />
... ...<br />
<br />
n<br />
c<br />
n 1<br />
1<br />
1<br />
..<br />
..<br />
..<br />
..<br />
..<br />
..<br />
1<br />
1 y(<br />
0)<br />
<br />
<br />
n<br />
y(<br />
1)<br />
<br />
... ... <br />
<br />
n1<br />
<br />
n y(<br />
n 1)<br />
<br />
, tots difer<strong>en</strong>ts ( simples),<br />
on la matriu és efectivam<strong>en</strong>t invertible si 1, , n<br />
són difer<strong>en</strong>ts (determinant de<br />
Vandermonde).<br />
Exemple – Recordem que els números de Fibonacci 1, 1, 2, 3, 5, 8, 13,... var<strong>en</strong> definirse<br />
mitjançant:<br />
En termes de EED:<br />
Fk = Fk-1 + Fk-2, k 3<br />
F1 = F2 = 1<br />
9.8
Segons el corol·lari anterior<br />
En definitiva:<br />
Fk<br />
y(<br />
k <br />
y(<br />
0)<br />
<br />
t<br />
2<br />
2)<br />
0,<br />
t 1<br />
0<br />
y(<br />
k 1)<br />
y(<br />
k)<br />
y(<br />
1)<br />
1<br />
1<br />
5 1<br />
5<br />
1 , 2<br />
<br />
2 2<br />
k<br />
k<br />
1 5 1 5 <br />
y(<br />
k)<br />
c c <br />
1<br />
2<br />
<br />
2 2 <br />
1<br />
0<br />
c1<br />
c2<br />
<br />
<br />
c1<br />
<br />
5<br />
1<br />
5 1<br />
5 <br />
1<br />
c1<br />
c2<br />
1<br />
2 2 c2<br />
<br />
<br />
5<br />
1<br />
<br />
<br />
1<br />
5 <br />
<br />
5 <br />
<br />
<br />
2 <br />
k<br />
k<br />
1 5 <br />
<br />
<br />
, k = 1, 2, ...<br />
<br />
2 <br />
No deixa de sorpr<strong>en</strong>dre que aquesta expressió doni números naturals per tot k : 1, 1,<br />
2, 3, ...<br />
9.8, ... , 9.10.- Resolució de les EED completes.<br />
Prop. – Donada una EED completa<br />
Sigui:<br />
y( k n)<br />
an<br />
1 y(<br />
k n 1)<br />
... a1<br />
y(<br />
k 1)<br />
a0<br />
y(<br />
k)<br />
<br />
y0 ( k)<br />
una solució particular (qualsevol).<br />
S 0 l’espai de solucions de la EED homogènia associada (és a dir, substituint<br />
(k ) per 0).<br />
Aleshores, el conjunt de solucions és:<br />
S <br />
y ( k)<br />
S<br />
0<br />
0<br />
( k)<br />
9.9
És a dir, tota solució y(k) és la suma de y 0 ( k)<br />
més una combinació lineal de les d’una<br />
base de S 0 , els coefici<strong>en</strong>ts de la qual qued<strong>en</strong> determinats per les condicions inicials<br />
y y .<br />
0 ,..., n1<br />
Exemple –<br />
(1) Per l’equació geomètrica<br />
y( k 1)<br />
y(<br />
k)<br />
C<br />
és clar que una solució particular és<br />
i que una base de S 0 és<br />
y ( k)<br />
kC<br />
0<br />
y ( k)<br />
1<br />
1<br />
k<br />
1<br />
Per tant, tota solució és de la forma:<br />
y( k)<br />
y ( k)<br />
c y ( k)<br />
kC c<br />
El coefici<strong>en</strong>t c 1 queda determinat per k = 0:<br />
En definitiva:<br />
y( 0)<br />
c<br />
1<br />
0<br />
y( k)<br />
kC y(<br />
0)<br />
(2) Per l’equació geomètrica g<strong>en</strong>eral:<br />
resulta:<br />
En definitiva:<br />
y( k 1)<br />
y(<br />
k)<br />
C , 1<br />
C<br />
y0<br />
( k)<br />
<br />
1<br />
<br />
k<br />
y ( k)<br />
<br />
1<br />
C<br />
k<br />
y(<br />
k)<br />
c1<br />
1<br />
<br />
C<br />
y(<br />
0)<br />
c1<br />
1<br />
<br />
1<br />
1<br />
1<br />
9.10
C C k<br />
y( k)<br />
y0<br />
<br />
1<br />
1<br />
<br />
(3) Sigui y ( k 2)<br />
2y(<br />
k 1)<br />
y(<br />
k)<br />
1<br />
T<strong>en</strong>im:<br />
En definitiva:<br />
k(<br />
k 1)<br />
y0<br />
( k)<br />
<br />
2<br />
y ( k)<br />
1;<br />
y ( k)<br />
k<br />
1<br />
k(<br />
k 1)<br />
y(<br />
k)<br />
c<br />
2<br />
y(<br />
0)<br />
c<br />
1<br />
1<br />
2<br />
y(<br />
1)<br />
c c<br />
2<br />
1<br />
c<br />
k(<br />
k 1)<br />
y ( k)<br />
y(<br />
0)<br />
( y(<br />
1)<br />
y(<br />
0))<br />
k<br />
2<br />
Prop. (EED amb terme indep<strong>en</strong>d<strong>en</strong>t constant) -<br />
Una EDD completa del tipus<br />
y( n 1<br />
1<br />
0<br />
2<br />
k<br />
k n)<br />
a y(<br />
k n 1)<br />
... a y(<br />
k 1)<br />
a y(<br />
k)<br />
C,<br />
C 0<br />
admet una solució particular de la forma<br />
y ( k)<br />
k<br />
0<br />
amb , s adi<strong>en</strong>ts.<br />
Una metodologia per obt<strong>en</strong>ir-la és assajar successivam<strong>en</strong>t <br />
2<br />
, k,<br />
k<br />
Exemple – Apliquem aquesta metodologia als exemples anteriors:<br />
(1) y ( k 1) y(<br />
k)<br />
C,<br />
C 0<br />
Assagem y0 ( k)<br />
: <br />
C , incompatible.<br />
Assagem, doncs, y0 ( k)<br />
k : (<br />
k 1)<br />
k<br />
C;<br />
C<br />
Per tant, una solució particular és: y ( k)<br />
Ck<br />
(2) y ( k 1) y( k)<br />
C,<br />
C 0,<br />
1<br />
C<br />
Assagem y<br />
0 ( k)<br />
: C;<br />
<br />
1<br />
<br />
0<br />
s<br />
9.11
Per tant, una solució particular és:<br />
C<br />
y 0 ( k)<br />
<br />
1<br />
<br />
(3) y ( k 2)<br />
2y(<br />
k 1)<br />
y(<br />
k)<br />
C,<br />
C 0<br />
Per y0 ( k)<br />
: 2<br />
C , incompatible<br />
Per y0 ( k)<br />
k : (<br />
k 2)<br />
2<br />
( k 1)<br />
k<br />
C , incompatible<br />
2<br />
2<br />
2 2<br />
Per y ( k)<br />
k : (<br />
k 2)<br />
2<br />
( k 1)<br />
k<br />
C<br />
0<br />
k<br />
2<br />
( 2<br />
)<br />
k(<br />
4<br />
4<br />
) 4<br />
2<br />
C<br />
C<br />
2<br />
1 2<br />
Per tant, una solució particular és: y0 ( k)<br />
k .<br />
2<br />
Observem que no és la mateixa considerada abans: difereix<strong>en</strong> <strong>en</strong> k , que és solució<br />
2<br />
de la homogènia associada, i per tant dóna el mateix conjunt S.<br />
Obs. (obt<strong>en</strong>ció d’una solució particular) –<br />
En g<strong>en</strong>eral per obt<strong>en</strong>ir una solució particular hi ha diversos mètodes:<br />
(1) Avaluació directa.<br />
Habitualm<strong>en</strong>t, amb condicions inicials nul·les. Així, <strong>en</strong> l’exemple (3) anterior:<br />
y0<br />
( 0)<br />
y0<br />
( 1)<br />
0<br />
y0<br />
( 2)<br />
2y<br />
0 ( 1)<br />
y0<br />
( 0)<br />
1<br />
1<br />
y0<br />
( 3)<br />
2y<br />
0 ( 2)<br />
y0<br />
( 1)<br />
1<br />
2 1<br />
3 ( 1<br />
2)<br />
y0<br />
( 4)<br />
2y<br />
0 ( 3)<br />
y0<br />
( 2)<br />
1<br />
6 ( 1<br />
2 3)<br />
...<br />
Si assagem<br />
k<br />
y 0 ( k)<br />
1<br />
2 ... ( k 1)<br />
( k 1)<br />
2<br />
Resulta:<br />
k k 1<br />
y 0 ( k 1) 2 ( k 1)<br />
( k 2)<br />
1<br />
2 2<br />
1 2<br />
2<br />
( 2k<br />
2k<br />
k 3k<br />
2 2)<br />
<br />
2<br />
1 2 k 1<br />
( k k)<br />
k<br />
2<br />
2<br />
quedant confirmat l’assaig.<br />
(2) La transformada Z.<br />
9.12
La transformada Z podria dir-se que és l’anàleg discret a la transformada de<br />
Laplace i permet obt<strong>en</strong>ir solucions particulars a partir d’una taula<br />
d’antitransformades.<br />
(3) El mètode dels coefici<strong>en</strong>ts indeterminats<br />
Aquest mètode és també anàleg al emprat per trobar solucions particulars de les<br />
equacions difer<strong>en</strong>cials lineals ordinàries. Consisteix a assajar solucions amb<br />
coefici<strong>en</strong>ts indeterminats del mateix tipus que (k)<br />
, de forma anàloga a com<br />
hem fet abans per al cas del terme indep<strong>en</strong>d<strong>en</strong>t constant:<br />
m k ~<br />
y0<br />
( k)<br />
k R(<br />
k)<br />
,<br />
k<br />
si ( k)<br />
R(<br />
k)<br />
on: m és la multiplicitat de com arrel del polinomi característic Q ( )<br />
~<br />
( m 0 si no n’és arrel), i R ( t)<br />
és un polinomi del mateix grau que<br />
R (t)<br />
, amb coefici<strong>en</strong>ts a determinar.<br />
m k<br />
y0<br />
( k)<br />
k ( cosck<br />
sin ck)<br />
,<br />
k k<br />
si( k)<br />
sin ck ó( k)<br />
cosck<br />
on: m és com abans, i, són coefici<strong>en</strong>ts a determinar.<br />
La taula adjunta ho detalla més explícitam<strong>en</strong>t:<br />
(k)<br />
Solució a assajar<br />
c k c k ... c<br />
k k ... <br />
r r1<br />
r r1<br />
0 1<br />
r<br />
0 1<br />
r<br />
k<br />
k<br />
( Q ( )<br />
0)<br />
k<br />
(ess<strong>en</strong>t arrel de ( )<br />
multiplicitat m)<br />
Q amb<br />
<br />
<br />
m k<br />
k <br />
k r r1<br />
k r r1<br />
( c k c k ... c ) ( Q ( )<br />
0)<br />
( k k ... )<br />
0 1<br />
r<br />
k r r1<br />
( c0k c1k<br />
... cr<br />
) (ess<strong>en</strong>t arrel<br />
de Q ( ) amb multiplicitat<br />
m)<br />
0 1<br />
r<br />
m k r r1<br />
k ( k k ... )<br />
0 1<br />
r<br />
sin ck ó cos ck<br />
cosck sin ck<br />
k k k<br />
sin ck ó cosck<br />
( Q ( )<br />
0)<br />
( cosck<br />
sin ck)<br />
k k<br />
sin ck ó cosck<br />
(ess<strong>en</strong>t arrel de<br />
Q ( ) amb multiplicitat m)<br />
m k<br />
k ( cosck<br />
<br />
sin ck)<br />
9.13
Exemples – Vegem alguns exemples d’obt<strong>en</strong>ció de solucions particulars seguint el<br />
mètode dels coefici<strong>en</strong>ts indeterminats.<br />
(1)<br />
k<br />
y( k 2)<br />
4y(<br />
k 1)<br />
4y(<br />
k)<br />
5<br />
3<br />
2<br />
Q( ) 4<br />
4,<br />
Q(<br />
3)<br />
0<br />
k<br />
Per tant assagem y ( k)<br />
3<br />
de on obt<strong>en</strong>im 5 . Així doncs,<br />
0<br />
y ( k)<br />
5<br />
3<br />
0<br />
k<br />
(2)<br />
k<br />
y( k 2)<br />
4y(<br />
k 1)<br />
4y(<br />
k)<br />
2<br />
2<br />
Q ( ) ( 2)<br />
Per tant, 2 és arrel doble de Q ( ) . Assagem y0 ( k)<br />
doncs,<br />
2 k 3<br />
y ( k)<br />
k 2<br />
2<br />
0<br />
(3) y( k 1)<br />
y(<br />
k)<br />
3sin<br />
2k<br />
Assagem y ( k)<br />
sin 2k<br />
cos 2k<br />
i arribem al sistema<br />
0<br />
cos 2 sin 2 <br />
3<br />
<br />
sin 2 cos 2 0<br />
de on obt<strong>en</strong>im i .<br />
2 k<br />
k i obt<strong>en</strong>im 1 8<br />
. Així<br />
(4) Si 1 és arrel de Q ( ) , cal procedir com si <strong>en</strong> el terme indep<strong>en</strong>d<strong>en</strong>t (k)<br />
hi haguès<br />
k<br />
un factor 1.<br />
Així, per l’EED<br />
y ( k 2)<br />
2y(<br />
k 1)<br />
y(<br />
k)<br />
k 1<br />
els assajos amb y 0 ( k)<br />
k i y 0 ( k)<br />
k(<br />
k ) don<strong>en</strong> sistemes incompatibles<br />
per i (0 = k + 1, 2 = k + 1, respectivam<strong>en</strong>t). Si assagem<br />
2<br />
y 0 ( k)<br />
k ( k )<br />
resulta<br />
6k + 6 + 2 = k + 1<br />
amb solucions =1/6, =0. En definitiva, una solució particular és<br />
3<br />
y ( k)<br />
k 6<br />
9.11, 9.12.- Propietats dinàmiques: cas homog<strong>en</strong>i.<br />
(a) Comportam<strong>en</strong>t dels modes bàsics.<br />
0<br />
Vegem <strong>en</strong> primer lloc el comportam<strong>en</strong>t de les solucions, a partir del dels modes bàsics:<br />
Prop. (comportam<strong>en</strong>t dels modes bàsics) –<br />
9.14
Donada una EED homogènia, podem considerar esquemàticam<strong>en</strong>t tres tipus de<br />
comportam<strong>en</strong>t asimptòtic dels modes bàsics:<br />
(i) no acotat (monòtonam<strong>en</strong>t o oscil·lant).<br />
(ii) converg<strong>en</strong>t (a l’orig<strong>en</strong> o no; monòtonam<strong>en</strong>t o oscil·lant).<br />
(iii) acotat, no converg<strong>en</strong>t.<br />
En efecte, sigui un valor característic (real o complex) i y (k)<br />
un mode bàsic associat.<br />
Aleshores:<br />
(1) 1 y(<br />
k)<br />
és no acotat.<br />
De forma més precisa:<br />
(1.1) Si 0 , és y (k)<br />
monòtonam<strong>en</strong>t.<br />
(1.2) Altram<strong>en</strong>t, y (k)<br />
oscil·la amb amplitud creix<strong>en</strong>t ( y (k)<br />
).<br />
(2) 1 y(<br />
k)<br />
0 .<br />
(3) 1:<br />
k<br />
(3.1) Els modes c1 són constants (per tant, y( k)<br />
c ).<br />
k<br />
(3.2) Els modes c ( 1)<br />
i les oscil·lacions del tipus cos k<br />
i sin k<br />
(i els seus<br />
múltiples) són acotades, però no converg<strong>en</strong>ts.<br />
(3.3) Els altres modes són no acotats.<br />
Exemple –<br />
Modes correspon<strong>en</strong>ts als tres tipus ass<strong>en</strong>yalats són:<br />
(i) no acotats:<br />
k r k r<br />
- monòtons: 2 , k 2 , k .<br />
r k r<br />
r k<br />
- oscil·lants: k ( 1)<br />
, k cos k,<br />
k 2 cos k<br />
.<br />
(ii) converg<strong>en</strong>ts:<br />
k<br />
k<br />
1 r 1 <br />
- a l’orig<strong>en</strong>, monòtonam<strong>en</strong>t: , k .<br />
2 2 <br />
r 1 r 1 <br />
- a l’orig<strong>en</strong>, oscil·lant: k <br />
, k cos k<br />
.<br />
2 2 <br />
- a un límit difer<strong>en</strong>t de l’orig<strong>en</strong>: k<br />
1.<br />
k<br />
(iii) acotat, no converg<strong>en</strong>t: ( 1)<br />
, cos k<br />
.<br />
(b) Comportam<strong>en</strong>t de les solucions g<strong>en</strong>erals.<br />
El comportam<strong>en</strong>t de les altres solucions és pot estudiar com combinacions lineals dels<br />
modes bàsics de la proposició anterior, resultant els mateixos tres tipus esquemàtics.<br />
Vegem-ho <strong>en</strong> l’exemple segü<strong>en</strong>t.<br />
k<br />
k<br />
9.15
Exemple – Considerem l’EDD<br />
3 3<br />
y ( k 3)<br />
y(<br />
k 2)<br />
y(<br />
k 1)<br />
y(<br />
k)<br />
0<br />
2 2<br />
Calculem la solució g<strong>en</strong>eral:<br />
3 3 2 3<br />
P ( t)<br />
t t t 1<br />
2 2<br />
1<br />
arrels característiques: 2, 1,<br />
(totes simples).<br />
2<br />
Per tant:<br />
k<br />
k<br />
k 1 <br />
y( k)<br />
c1<br />
2 c2<br />
( 1)<br />
c3<br />
<br />
2 <br />
(i) c1 0 y(<br />
k)<br />
no acotada.<br />
(ii) c 1 c2<br />
0 y(<br />
k)<br />
0<br />
(iii) c , c 0 y(<br />
k)<br />
acotada, no converg<strong>en</strong>t.<br />
1<br />
0 2<br />
Podem expressar-ho <strong>en</strong> termes de les condicions inicials. De:<br />
resulta:<br />
Per tant:<br />
y( 0)<br />
c c c<br />
1<br />
1<br />
y( 1)<br />
2c1<br />
c2<br />
c3<br />
2<br />
1<br />
y( 2)<br />
4c1<br />
c2<br />
c<br />
4<br />
2<br />
1<br />
c1 ( y(<br />
0)<br />
y(<br />
1)<br />
2y(<br />
2))<br />
9<br />
1<br />
c2 ( 2y(<br />
0)<br />
5y(<br />
1)<br />
2y(<br />
2))<br />
9<br />
4<br />
c3 ( 2y(<br />
0)<br />
y(<br />
1)<br />
y(<br />
2))<br />
9<br />
3<br />
3<br />
<br />
(i) solucions no acotades per condicions inicials fora del pla:<br />
y ( 0)<br />
y(<br />
1)<br />
2y(<br />
2)<br />
0<br />
(ii) solucions converg<strong>en</strong>ts (a 0) per condicions inicials <strong>en</strong> la recta:<br />
9.16
y(<br />
0)<br />
y(<br />
1)<br />
2y(<br />
2)<br />
0<br />
2y(<br />
0)<br />
5y(<br />
1)<br />
2y(<br />
2)<br />
0<br />
(iii) solucions acotades, no converg<strong>en</strong>ts, per les altres condicions inicials.<br />
(c) Convergència asimptòtica cap al mode dominant.<br />
Ara vegem, <strong>en</strong> segon lloc, que quan hi ha un dominant les solucions hi t<strong>en</strong>deix<strong>en</strong><br />
asimptòticam<strong>en</strong>t:<br />
Prop. (convergència asimptòtica cap al mode dominant) –<br />
Donada una EED homogènia, suposem que existeix 1 valor característic dominant. Si<br />
y (k)<br />
és una solució amb part principal<br />
(1)<br />
k<br />
y( k)<br />
c11<br />
, per k , si c 0 .<br />
1<br />
1<br />
1 <br />
De forma més precisa:<br />
y(<br />
k)<br />
lim 1,<br />
si<br />
k k<br />
1 0<br />
c <br />
c<br />
(1’) En particular:<br />
y(<br />
k 1)<br />
lim 1<br />
, si 1 0<br />
k y(<br />
k)<br />
c<br />
k<br />
c 1<br />
1 , 1 0 c , aleshores:<br />
(2) Si a més 2 és el valor característic subdominant:<br />
k<br />
y(<br />
k)<br />
c11<br />
lim<br />
1,<br />
si<br />
k<br />
k<br />
2 0<br />
c <br />
c<br />
2<br />
2<br />
Obs. – Es pot dir, doncs, que les solucions g<strong>en</strong>èriques ( 1 0 c , 2 0 c ,...) t<strong>en</strong>deix<strong>en</strong><br />
asimptòticam<strong>en</strong>t cap a la seva part dominant<br />
asimptòticam<strong>en</strong>t cap a la seva part subdominant.<br />
Exemple –<br />
(1) Per als números de Fibonacci resulta<br />
Fk 1<br />
<br />
Fk<br />
k lim<br />
1 5<br />
=<br />
2<br />
(2) Anem a calcular el límit de la successió<br />
2<br />
5 12 29 70<br />
, , , , ,...<br />
1 2 5 12 29<br />
k<br />
c1 1 , i que la diferència t<strong>en</strong>deix<br />
9.17
És clar que es tracta de calcular<br />
ess<strong>en</strong>t y(k) la solució de<br />
y(<br />
k 1)<br />
lim<br />
k <br />
y(<br />
k)<br />
y( k 2)<br />
2y(<br />
k 1)<br />
y(<br />
k)<br />
, k 0<br />
amb condicions inicials y ( 0)<br />
1,<br />
y(<br />
1)<br />
2 .<br />
El seu polinomi característic és<br />
2<br />
P ( t)<br />
t 2t<br />
1<br />
i els seus valors característics<br />
1<br />
2 , 1<br />
2<br />
Així doncs, la solució g<strong>en</strong>eral és<br />
1<br />
k<br />
k<br />
y ( k)<br />
c1(<br />
1<br />
2)<br />
c2<br />
( 1<br />
2)<br />
les condicions inicials ( 0)<br />
1,<br />
y(<br />
1)<br />
2<br />
2<br />
y permet<strong>en</strong> calcular c 1 i 2<br />
c .<br />
Segons la proposició anterior, si pr<strong>en</strong>em y(k) amb c 0 tindrem que<br />
y(<br />
k 1)<br />
lim 1<br />
k y(<br />
k)<br />
2<br />
Fem notar que de fet no cal calcular c 1 i c 2 , sinó verificar que per la solució donada<br />
és 1 0 c . Altram<strong>en</strong>t dir, només cal veure que si 1 0 c no t<strong>en</strong>im la successió<br />
numèrica considerada. En efecte, si 1 0 <br />
k<br />
c , y ( k)<br />
c2<br />
( 1<br />
2)<br />
que, claram<strong>en</strong>t, és<br />
incompatible amb les condicions inicials y ( 0)<br />
1,<br />
y(<br />
1)<br />
2 .<br />
9.13.- Punts d’equilibri. Estabilitat.<br />
Finalm<strong>en</strong>t, apliquem les proposicions anteriors a l’estudi de l’estabilitat dels punts<br />
d’equilibri.<br />
Def. – Suposem una EED completa, amb (k)<br />
constant:<br />
1 <br />
y k n)<br />
an<br />
y(<br />
k n 1)<br />
... a y(<br />
k 1)<br />
a y(<br />
k)<br />
C<br />
( 1<br />
1<br />
0<br />
9.18
(1) Una solució constant y( k)<br />
ye<br />
se’n diu un punt d’equilibri.<br />
(2) Aleshores, el punt d’equilibri es diu:<br />
Exemple –<br />
(2.1) inestable si alguna solució no és acotada.<br />
(2.2) asimptòticam<strong>en</strong>t estable si per tota altra solució és<br />
lim y( k)<br />
y<br />
k<br />
e<br />
(2.3) marginalm<strong>en</strong>t estable si tota altra solució és acotada, però alguna no<br />
convergeix a y e .<br />
(1) Per l’equació geomètrica<br />
1<br />
y ( k 1) y(<br />
k)<br />
1<br />
2<br />
t<strong>en</strong>im un punt d’equilibri y e 2 que és asimptòticam<strong>en</strong>t estable, ja que per tota altra<br />
solució<br />
(2) Per l’equació geomètrica<br />
1<br />
y ( k)<br />
( y(<br />
0)<br />
2)<br />
2 2<br />
k<br />
2<br />
y ( k 1) 2y(<br />
k)<br />
2<br />
t<strong>en</strong>im igualm<strong>en</strong>t y 2 , però ara inestable ja que<br />
(3) Per l’EED<br />
e<br />
k<br />
y ( k)<br />
( y(<br />
0)<br />
2)<br />
2 2 <br />
y ( k 2)<br />
y(<br />
k)<br />
0<br />
és y 0 que és marginalm<strong>en</strong>t estable ja que les solucions<br />
e<br />
<br />
y k)<br />
c1<br />
cos( k ) c<br />
2<br />
són totes acotades, però no convergeix<strong>en</strong> a 0.<br />
( 2<br />
sin( k<br />
(4) Quan el punt d’equilibri no és asimptòticam<strong>en</strong>t estable, es pot estudiar com abans<br />
quines solucions hi convergeix<strong>en</strong>, si n’hi ha.<br />
<br />
)<br />
2<br />
9.19
Així, si refem l’exemple anterior considerant l’EED completa<br />
3 3<br />
y ( k 3)<br />
y(<br />
k 2)<br />
y(<br />
k 1)<br />
y(<br />
k)<br />
2<br />
2 2<br />
és clar que pres<strong>en</strong>ta un únic punt d’equilibri<br />
y e<br />
2<br />
De forma anàloga al cas homog<strong>en</strong>i associat, estudiat abans, resulta:<br />
(i) solucions no acotades:<br />
k<br />
k 1 <br />
y(<br />
k)<br />
2<br />
c1<br />
2 c2<br />
( 1<br />
) c3<br />
, c1<br />
0<br />
2 <br />
que correspon<strong>en</strong> a les condicions inicials:<br />
y ( 0)<br />
y(<br />
1)<br />
2y(<br />
2)<br />
0<br />
(ii) solucions converg<strong>en</strong>ts a y 2<br />
:<br />
1 <br />
y( k)<br />
2<br />
c3<br />
<br />
2 <br />
que correspon<strong>en</strong> a les condicions inicials:<br />
y(<br />
0)<br />
y(<br />
1)<br />
2y(<br />
2)<br />
0<br />
2y(<br />
0)<br />
5y(<br />
1)<br />
2y(<br />
2)<br />
0<br />
(iii) solucions acotades, no converg<strong>en</strong>ts:<br />
k<br />
k 1 <br />
y(<br />
k)<br />
2<br />
c2<br />
( 1)<br />
c3<br />
, c2<br />
0<br />
2 <br />
que correspon<strong>en</strong> a les condicions inicials:<br />
y(<br />
0)<br />
y(<br />
1)<br />
2y(<br />
2)<br />
0<br />
2y(<br />
0)<br />
5y(<br />
1)<br />
2y(<br />
2)<br />
0<br />
e<br />
Prop. (estabilitat d’un punt d’equilibri) – En les condicions de la definició anterior:<br />
(1) Si C 0 , t<strong>en</strong>im un únic punt d’equilibri<br />
y<br />
e<br />
0<br />
k<br />
k<br />
9.20
si ... a a 0 . En cas contrari, tots els punts són d’equilibri.<br />
1 an 1<br />
1 0<br />
(1’) Si C 0 , t<strong>en</strong>im un únic punt d’equilibri<br />
y<br />
e<br />
C<br />
<br />
1 a ... a a<br />
n1<br />
si ... a a 0 . En cas contrari, no n’hi ha cap.<br />
1 an 1<br />
1 0<br />
(2) Aleshores:<br />
(2.1) Si 1 per algun valor característic , és inestable.<br />
(2.2) Si 1 per tots els valors característics , és asimptòticam<strong>en</strong>t estable.<br />
(2.3) Si 1 per a tots els valor característics i són simples els que 1,<br />
és<br />
marginalm<strong>en</strong>t estable.<br />
(2’) En particular, si hi ha valor dominant 1 :<br />
(2’.1) 1 inestable.<br />
1<br />
(2’.2) 1 asimptòticam<strong>en</strong>t estable.<br />
1<br />
(2’.3) 1 marginalm<strong>en</strong>t estable.<br />
(2’’) Igualm<strong>en</strong>t si 1 , 1<br />
són valors característics complexos simples, amb i<br />
a tots els altres valors característics i :<br />
(2’’.1) 1 inestable.<br />
1<br />
(2’’.2) 1 asimptòticam<strong>en</strong>t estable.<br />
(2’’.3) Si 1 1 <br />
1<br />
i arg 1<br />
1<br />
0<br />
1 per<br />
, hi ha solucions oscil·lacions de període 2 <br />
yosc ( k)<br />
ye<br />
c1<br />
cosk<br />
c2<br />
sink<br />
i totes les altres y (k)<br />
hi t<strong>en</strong>deix<strong>en</strong> <strong>en</strong> el s<strong>en</strong>tit que<br />
on c k c sink<br />
( k)<br />
y c cos<br />
k c sink<br />
0<br />
lim y e 1<br />
2<br />
k<br />
1 cos 2 és la part dominant de (k)<br />
y .<br />
9.21
Exemples – Verifiqueu-ho <strong>en</strong> els exemples anteriors.<br />
Aplicacions -<br />
(1) (El model de la teranyina)<br />
(1.1) Suposem que la demanda D i la producció P d’un determinat producte dep<strong>en</strong><strong>en</strong><br />
linealm<strong>en</strong>t del preu p segons<br />
D(<br />
p)<br />
D0<br />
ap<br />
P(<br />
p)<br />
P bp<br />
0<br />
on a, b, D0 són constants positives i P0 és una constant negativa. És evid<strong>en</strong>t<br />
que el preu d’equilibri és<br />
p e<br />
D0<br />
P0<br />
<br />
a b<br />
(1.2) Considerem ara el cas d’una producció periòdica (agrícola...). La producció<br />
P(k) <strong>en</strong> el movim<strong>en</strong>t k vindrà donada per<br />
P( k)<br />
P ˆ 0bp( k)<br />
on p ˆ( k)<br />
designa la previsió de preu feta pels productors. Però el preu real p(k)<br />
serà el que permeti v<strong>en</strong>dre tota la producció, és a dir, el determinat per<br />
En definitiva resulta<br />
D(<br />
k)<br />
P(<br />
k)<br />
D(<br />
k)<br />
D ap(<br />
k)<br />
0<br />
b b<br />
p( k)<br />
p 1 pˆ<br />
e ( k)<br />
a a<br />
(1.3) Suposem, per exemple, que els productors determinin la seva producció segons<br />
el preu del període anterior, és a dir<br />
p ˆ( k)<br />
p(<br />
k 1)<br />
El gràfic segü<strong>en</strong>t repres<strong>en</strong>ta la cad<strong>en</strong>a<br />
p( k <br />
1)<br />
pˆ<br />
( k)<br />
P(<br />
k)<br />
D(<br />
k)<br />
p(<br />
k)<br />
9.22
L’equació resultant per a p(k) és<br />
b b <br />
p( k 1)<br />
p(<br />
k)<br />
pe<br />
1<br />
<br />
a a <br />
Resulta que pe és, efectivam<strong>en</strong>t, el punt d’equilibri i que és estable si b < a.<br />
(1.4) Suposem ara una estratègia de previsió més complexa, segons la qual p ˆ( k)<br />
resulti d’extrapolar linealm<strong>en</strong>t l’evolució dels dos períodes immediatam<strong>en</strong>t<br />
anteriors:<br />
p ˆ( k)<br />
2 p(<br />
k 1)<br />
p(<br />
k 2)<br />
L’equació resultant per a p(k) serà ara<br />
b b b <br />
p( k 2)<br />
2 p(<br />
k 1)<br />
p(<br />
k)<br />
pe<br />
1<br />
<br />
a a a <br />
Observem que pe continua ess<strong>en</strong>t un punt d’equilibri, però ara és estable<br />
només si b 3a<br />
. Doncs, aquesta estratègia de previsió més sofisticada pot<br />
inestabilitzar el sistema.<br />
9.23
(2) El cicle del preu de la carn de porc.<br />
Durant gairebé un segle, var<strong>en</strong> observar-se oscil·lacions <strong>en</strong> la producció de carn de<br />
tocino als USA, amb cicles força regulars d’aproximadam<strong>en</strong>t 4 anys de durada. Es tracta<br />
de trobar una adaptació del model de la teranyina que s’ajusti a aquest comportam<strong>en</strong>t.<br />
Cal t<strong>en</strong>ir pres<strong>en</strong>t que hi ha dues temporades de producció cada any (a la primavera i a la<br />
tardor) i que el període de criança del tocino és aproximadam<strong>en</strong>t un any. Per tant, la<br />
variable k correspondrà a semestres i a la separació “decisió/obt<strong>en</strong>ció de producció” serà<br />
de dos d’aquests períodes.<br />
(2.1) L’adaptació del model anterior seria ara<br />
i per tant,<br />
p ˆ( k)<br />
p(<br />
k 2)<br />
b b <br />
p( k 2)<br />
p(<br />
k)<br />
pe<br />
1<br />
<br />
a a <br />
que no donaria oscil·lacions quadrimestrals sinó bianuals (ja que 1 i<br />
b a ,<br />
3<br />
és a dir, o ).<br />
2 2<br />
(2.2) Suposem ara que els productors utilitz<strong>en</strong> com a preu de referència la mitjana<br />
dels dos darrers anys<br />
1<br />
p ˆ( k)<br />
( p(<br />
k 2)<br />
p(<br />
k 3)<br />
p(<br />
k 4)<br />
p(<br />
k 5)<br />
p(<br />
k 6))<br />
5<br />
Result<strong>en</strong> aleshores solucions oscil·latòries quadrianuals, d’amplitud constant<br />
per a b=2,07a (valors característics dominants ( 1 i ) 2 ).<br />
(9.B) <strong>Sistemes</strong> <strong>Dinàmics</strong> <strong>Lineals</strong> Discrets.<br />
9.14, ... , 9.16.- Definicions i exemples.<br />
Def. –<br />
(1) Un sistema discret lineal amb coefici<strong>en</strong>ts constants és una equació de la forma<br />
x( k 1)<br />
Ax(<br />
k)<br />
b(<br />
k)<br />
, k<br />
0<br />
9.24
on A M n , b( k)<br />
( b1<br />
( k),...,<br />
bn<br />
( k))<br />
són n funcions discretes donades i<br />
x ( x1,...,<br />
xn<br />
) són n funcions discretes a determinar de forma que verifiquin la<br />
igualtat anterior.<br />
(1’) De forma més explícita, si A ( aij<br />
) :<br />
x1<br />
( k 1)<br />
a11x1<br />
( k)<br />
<br />
a1n<br />
xn<br />
( k)<br />
<br />
<br />
<br />
xn<br />
( k 1)<br />
an1x1<br />
( k)<br />
<br />
ann<br />
xn<br />
( k)<br />
(2) Es diu aleshores que x(k) és una solució amb condicions inicials<br />
x 0)<br />
( x ( 0),...,<br />
x ( 0))<br />
<br />
n<br />
.<br />
( 1 n<br />
(3) Si b(k) = 0, es diu que el sistema és homog<strong>en</strong>i, i <strong>en</strong> cas contrari, complet.<br />
Exemples –<br />
(1) Considerem el sistema<br />
x( k 1)<br />
Ax(<br />
k)<br />
, o més explícitam<strong>en</strong>t<br />
0<br />
A <br />
<br />
1<br />
1<br />
2<br />
És immediat comprovar que<br />
x1<br />
( k 1)<br />
x2<br />
( k)<br />
<br />
x2<br />
( k 1)<br />
x1<br />
( k)<br />
2x2<br />
( k)<br />
x ( k)<br />
1<br />
k<br />
1 , x2 ( k)<br />
k<br />
és la solució per a les condicions inicials x ( 0)<br />
1,<br />
x ( 0)<br />
1.<br />
(1’) Igualm<strong>en</strong>t, per a les condicions inicials x ( 0)<br />
0 , x ( 0)<br />
1 és:<br />
x ( k)<br />
k<br />
1 , x 2 ( k)<br />
k 1<br />
(1”) En g<strong>en</strong>eral, per a les condicions inicials qualssevol x 0)<br />
( x ( 0),<br />
x ( 0))<br />
:<br />
(2) Sistema associat a una EED<br />
1 k k<br />
x( k)<br />
x(<br />
0)<br />
k k 1<br />
<br />
<br />
<br />
1<br />
1<br />
2<br />
2<br />
( 1 2<br />
9.25
Donada una EED<br />
si definim x ,..., xn<br />
resulta<br />
1 per:<br />
y( k n)<br />
an<br />
1 y(<br />
k n 1)<br />
... a0<br />
y(<br />
k)<br />
<br />
x1( 2<br />
n<br />
k)<br />
y(<br />
k),<br />
x ( k)<br />
y(<br />
k 1),...,<br />
x ( k)<br />
y(<br />
k n 1)<br />
0<br />
<br />
0<br />
A ..<br />
<br />
0<br />
<br />
<br />
a<br />
0<br />
1<br />
0<br />
..<br />
0<br />
a<br />
x( k 1)<br />
Ax(<br />
k)<br />
b(<br />
k)<br />
1<br />
0<br />
1<br />
..<br />
0<br />
a<br />
2<br />
<br />
<br />
..<br />
<br />
<br />
0<br />
0<br />
..<br />
1<br />
a<br />
n1<br />
<br />
<br />
<br />
,<br />
<br />
<br />
<br />
<br />
( k)<br />
0 <br />
<br />
0 <br />
b(<br />
k)<br />
<br />
<br />
0 <br />
<br />
(<br />
k)<br />
<br />
Per tant, la primera coord<strong>en</strong>ada 1( ) k x de la solució x(k) d’aquest sistema és la solució<br />
y(k) de l’EED inicial.<br />
Observem que A és una matriu del tipus “companion” (companya), amb polinomi<br />
característic el de la EED de sortida. Per tant, els VAPs de A són els valors característics<br />
de la EED, amb les mateixes multiplicitats.<br />
Aplicacions –<br />
(1) Model bidim<strong>en</strong>sional de la teranyina<br />
Considereu dos productes parcialm<strong>en</strong>t sustitutoris, de forma que la disminució de la<br />
demanda d’un d’ells provoca un augm<strong>en</strong>t de la de l’altra. Per exemple, suposeu que les<br />
demandes d1, d2 i els preus p1, p2 de cada producte v<strong>en</strong><strong>en</strong> relacionats per<br />
d<br />
<br />
<br />
d<br />
1<br />
2<br />
p<br />
<br />
D<br />
<br />
p<br />
1<br />
2<br />
d<br />
<br />
<br />
<br />
<br />
d<br />
0<br />
1<br />
0<br />
2<br />
<br />
<br />
<br />
<br />
<br />
<br />
D <br />
<br />
on , ,<br />
, són positius, i 0 .<br />
Com <strong>en</strong> el cas unidim<strong>en</strong>sional, suposeu que les produccions <strong>en</strong> cada període qued<strong>en</strong><br />
determinades pels preus del període anterior mitjançant<br />
s <br />
1(<br />
k 1)<br />
s<br />
<br />
<br />
<br />
<br />
<br />
<br />
s2<br />
( k 1)<br />
<br />
s<br />
0<br />
1<br />
0<br />
2<br />
p1(<br />
k)<br />
<br />
E<br />
<br />
<br />
<br />
<br />
p2<br />
( k)<br />
<br />
amb E diagonal de coefici<strong>en</strong>ts positius, ja que suposem les produccions indep<strong>en</strong>d<strong>en</strong>ts.<br />
9.26
Com <strong>en</strong> el cas unidim<strong>en</strong>sional, igualant la oferta i la demanda s’obt<strong>en</strong><strong>en</strong> les equacions<br />
dinàmiques dels preus:<br />
(2) Models poblacionals per cohorts<br />
1<br />
p( k 1)<br />
Ap(<br />
k)<br />
b , A D E<br />
Un model clàssic <strong>en</strong> estudis demogràfics considera la població dividida <strong>en</strong> grups d’edat<br />
(o “cohorts”) a intervals iguals. Per exemple, si es consider<strong>en</strong> intervals de 5 anys,<br />
s’indica per x0 ( k),<br />
x1(<br />
k),...<br />
la població que té <strong>en</strong>tre 0 i 5 anys, <strong>en</strong>tre 5 i 10 anys, ...,<strong>en</strong> el<br />
k-èssim quinqu<strong>en</strong>ni. Sovint es suposa que la distribució <strong>en</strong>tre homes i dones és idèntica,<br />
amb la qual cosa <strong>en</strong>s podem limitar a considerar només la població fem<strong>en</strong>ina.<br />
Si indiquem, per cada període:<br />
- i , taxa de supervivència de la cohort i-èssima.<br />
- i , taxa de natalitat de la cohort i-èssima.<br />
- bi (k)<br />
, balanç de migració de la cohort i-èssima.<br />
resulta el model de Leslie<br />
(3) <strong>Sistemes</strong> de control<br />
<br />
0<br />
<br />
0<br />
A ..<br />
<br />
<br />
0<br />
x( k 1)<br />
Ax(<br />
k)<br />
b(<br />
k)<br />
<br />
0<br />
..<br />
0<br />
1<br />
<br />
<br />
..<br />
..<br />
<br />
<br />
n1<br />
0<br />
..<br />
n1<br />
n <br />
<br />
0 <br />
.. <br />
<br />
0 <br />
<br />
En els sistemes de control, l’equació d’estats és de la forma:<br />
x( k 1)<br />
Ax(<br />
k)<br />
Bu(<br />
k)<br />
on B M nm<br />
i u( k)<br />
( u1(<br />
k),...,<br />
um<br />
( k))<br />
.<br />
L’evolució de les variables d’estat x(k), doncs, depèn dels controls u(k) que s’apliquin.<br />
9.17, ... , 9.19.- Resolució dels sistemes discrets.<br />
Prop. (Cas homog<strong>en</strong>i) –<br />
Considerem un sistema homog<strong>en</strong>i:<br />
x( k <br />
1)<br />
Ax(<br />
k)<br />
9.27
(1) Fixades unes condicions inicials x 0 , existeix una única solució del sistema, que ve<br />
donada per:<br />
k<br />
x(<br />
k)<br />
A x , k 0<br />
0<br />
(1’) El còmput de les potències A k requereix habitualm<strong>en</strong>t simplificar la matriu A<br />
mitjançant un canvi de base adequat:<br />
c1<br />
<br />
<br />
1<br />
k k 1<br />
k 1<br />
k<br />
A S AS A SA<br />
S x( k)<br />
SA<br />
S x0<br />
SA<br />
<br />
<br />
c<br />
n <br />
on les constants c 1, , cn<br />
qued<strong>en</strong> determinades per les condicions inicials<br />
mitjançant<br />
c1<br />
<br />
<br />
x( 0)<br />
x0<br />
S<br />
<br />
c<br />
n <br />
és a dir, són les coord<strong>en</strong>ades de x0 <strong>en</strong> la base S.<br />
(2) El conjunt de solucions, <strong>en</strong> variar x 0 , forma un espai vectorial S0 de dim<strong>en</strong>sió n.<br />
(2’) Un subconjunt de solucions és l.i. sii ho són les seves condicions inicials.<br />
Exemples –<br />
(1) Recordem que els números de Fibonacci són la solució de l’EED:<br />
El sistema associat és<br />
y(<br />
k 2)<br />
y(<br />
k 1)<br />
y(<br />
k)<br />
y(<br />
0)<br />
0,<br />
y(<br />
1)<br />
1<br />
x( k 1)<br />
Ax(<br />
k)<br />
, Els VAPs de la matriu A són:<br />
0<br />
A <br />
1<br />
1<br />
1<br />
i per tant diagonalitzant:<br />
1<br />
5 1<br />
5<br />
1 , 2<br />
<br />
2 2<br />
9.28
1<br />
A <br />
<br />
0<br />
0 1<br />
<br />
S AS ,<br />
2<br />
<br />
amb <br />
1<br />
S <br />
<br />
1<br />
1 <br />
2<br />
<br />
k<br />
k 1<br />
A S<br />
<br />
0<br />
0 1<br />
<br />
<br />
S k<br />
2<br />
<br />
De fet <strong>en</strong>s interessa el valor de x1(k) per les condicions inicials x 0)<br />
0,<br />
x ( 0)<br />
1:<br />
k<br />
x1(<br />
k)<br />
1<br />
S<br />
<br />
x2<br />
( k)<br />
0<br />
k<br />
1 1<br />
<br />
k 1<br />
2<br />
1<br />
1<br />
Com que 5 , resulta:<br />
2<br />
1<br />
k<br />
0 1<br />
0<br />
1 1 1<br />
<br />
<br />
<br />
S <br />
k<br />
<br />
<br />
<br />
1<br />
1<br />
<br />
2<br />
2 <br />
0<br />
k<br />
k<br />
<br />
1<br />
<br />
2<br />
1 1<br />
<br />
<br />
k 1<br />
<br />
2 <br />
1 2<br />
1<br />
<br />
k k <br />
1<br />
x1( k)<br />
1 2<br />
5<br />
que coincideix amb la trobada abans.<br />
(2) Recordem que per la EED<br />
y ( k 2)<br />
2y(<br />
k 1)<br />
y(<br />
k)<br />
0<br />
havíem trobat com a solució g<strong>en</strong>eral<br />
El sistema associat és<br />
y ( k)<br />
y(<br />
0)<br />
( y(<br />
1)<br />
y(<br />
0))<br />
k<br />
0 1 2<br />
<br />
k<br />
<br />
<br />
2 1 <br />
<br />
2 1<br />
k<br />
2 <br />
<br />
<br />
x( k 1)<br />
Ax(<br />
k)<br />
, 0 1<br />
A <br />
<br />
1 2<br />
La matriu A no és diagonalitzable, però:<br />
<br />
<br />
<br />
1<br />
1 0<br />
A S AS , amb<br />
1 1<br />
1<br />
1<br />
S <br />
0<br />
1<br />
A<br />
k<br />
A k<br />
Per tant, la solució g<strong>en</strong>eral és:<br />
k<br />
1<br />
<br />
1<br />
0<br />
1<br />
<br />
1<br />
<br />
k<br />
0<br />
1<br />
<br />
1<br />
S<br />
k<br />
0<br />
1<br />
1<br />
k<br />
S <br />
1 <br />
k<br />
k <br />
k 1<br />
<br />
1(<br />
2<br />
1<br />
0<br />
<br />
1 1<br />
<br />
9.29
Obs. –<br />
1 k k<br />
x( k)<br />
x(<br />
0)<br />
k k 1<br />
<br />
<br />
<br />
que coincideix amb la trobada abans:<br />
y k)<br />
x ( k)<br />
( 1<br />
k)<br />
x ( 0)<br />
kx ( 0)<br />
( 1<br />
k)<br />
y(<br />
0)<br />
ky(<br />
1)<br />
( 1<br />
1<br />
2<br />
(1) En g<strong>en</strong>eral, com els exemples anteriors, el còmput de les potències A k requereix<br />
reduir la matriu A a la seva forma de Jordan AJ. Aleshores<br />
k<br />
J<br />
<br />
<br />
1 <br />
J1<br />
c1<br />
<br />
<br />
<br />
<br />
<br />
1<br />
k 1<br />
k<br />
AJ ( S J ) AS J J 2 x(<br />
k)<br />
S J AJ<br />
S J x0<br />
S J J 2 <br />
<br />
<br />
<br />
<br />
<br />
c<br />
n <br />
Recordem que<br />
c1<br />
<br />
<br />
x( 0)<br />
x0<br />
S J <br />
<br />
c<br />
n <br />
<br />
<br />
1<br />
<br />
<br />
<br />
<br />
<br />
1<br />
<br />
<br />
k<br />
<br />
<br />
<br />
<br />
<br />
<br />
<br />
k <br />
<br />
k<br />
k<br />
<br />
<br />
1<br />
<br />
<br />
k k<br />
<br />
<br />
2<br />
<br />
<br />
<br />
Especialm<strong>en</strong>t simple és el cas diagonalitzable, que detallarem de seguida.<br />
Tanmateix, recordem que les matrius “companion” i les de Leslie no diagonalitz<strong>en</strong><br />
si t<strong>en</strong><strong>en</strong> algun VAP múltiple.<br />
k<br />
k<br />
(2) Si d<strong>en</strong>otem A ) , , ( A ) n<br />
( 1 les columnes de<br />
k<br />
x k)<br />
( A ) x ( 0)<br />
( A<br />
1<br />
2<br />
k<br />
( 1 1<br />
) n n<br />
la qual cosa palesa que les columnes de<br />
Per exemple, per a:<br />
una base de S 0 és:<br />
<br />
<br />
A 1<br />
<br />
0<br />
0<br />
<br />
1<br />
<br />
<br />
<br />
<br />
<br />
<br />
<br />
<br />
<br />
<br />
<br />
<br />
k<br />
A , podem escriure la solució g<strong>en</strong>eral<br />
x<br />
( 0)<br />
k<br />
A form<strong>en</strong> una base de S 0 .<br />
0 <br />
<br />
0 <br />
<br />
<br />
9.30
k<br />
<br />
k 1<br />
k<br />
<br />
k<br />
k(<br />
k 1)<br />
<br />
2<br />
<br />
0<br />
k<br />
,<br />
<br />
k<br />
k<br />
<br />
1 2<br />
1<br />
0 <br />
<br />
,<br />
0 <br />
k <br />
<br />
<br />
Corol·lari (cas homog<strong>en</strong>i diagonalitzable) – En les condicions anteriors:<br />
(1) Si x0 v és un VEP de A amb VAP , la solució correspon<strong>en</strong>t és:<br />
k<br />
x(<br />
k)<br />
v<br />
(2) Si A diagonalitza, i v1,...,vn és una base de VEPs, amb VAPs respectius ,..., n<br />
reals, tota solució és de la forma:<br />
Def. –<br />
<br />
k<br />
1 1 <br />
<br />
k<br />
k<br />
x( k)<br />
( v1<br />
vn<br />
) <br />
c11<br />
v1<br />
... cn<br />
n<br />
<br />
k<br />
<br />
<br />
n c <br />
n<br />
<br />
<br />
<br />
on els coefici<strong>en</strong>ts c 1 ,..., cn<br />
qued<strong>en</strong> determinats per:<br />
x x 0)<br />
c v ... c<br />
0<br />
( 1 1<br />
c<br />
<br />
nvn<br />
és a dir, són les coord<strong>en</strong>ades de x 0 <strong>en</strong> la base de VEPs:<br />
(1) Les solucions de la forma anterior<br />
k<br />
x(<br />
k)<br />
v , k <br />
on v és un VEP, de VAP , s’anom<strong>en</strong><strong>en</strong> modes propis del sistema.<br />
(2) Si 1 és un VAP simple real i de mòdul més gran que la resta de VAPs<br />
<br />
1<br />
2 , 3<br />
,...<br />
s’anom<strong>en</strong>a VAP dominant i el mode propi correspon<strong>en</strong>t<br />
x(<br />
k)<br />
v<br />
mode dominant. Per tota altra solució de la forma<br />
k<br />
1<br />
1<br />
k<br />
x k)<br />
c v ... , 0 c<br />
( 1 1 1<br />
1 <br />
v<br />
n<br />
1 tots<br />
9.31
aquests primer sumand es diu la seva part dominant.<br />
(2’) Anàlogam<strong>en</strong>t, si 2 és un VAP simple i<br />
<br />
1<br />
2<br />
3 , 4<br />
,...<br />
s’anom<strong>en</strong>a VAP subdominant i el mode propi correspon<strong>en</strong>t, mode subdominant.<br />
Observació – El corol·lari anterior es g<strong>en</strong>eralitza al cas de VAPs complexos conjugats.<br />
Suposem per exemple 2 1<br />
. Aleshores podem pr<strong>en</strong>dre v2 v1<br />
, i ha de ser c2 c1<br />
per<br />
tal que x0 tingui coord<strong>en</strong>ades reals.<br />
De forma més precisa, si e v u iw<br />
i<br />
, <br />
c i(<br />
c c ) i(<br />
c c ) , resulta:<br />
2 ' 1 2 1 1<br />
k<br />
c v<br />
1<br />
1<br />
c ' <br />
1<br />
2<br />
1 1 1 , pr<strong>en</strong><strong>en</strong>t 1' 1 2 1 c1<br />
c c c c <br />
k<br />
c v<br />
k<br />
1<br />
k<br />
1<br />
ucos k<br />
wsin<br />
k<br />
ucos k<br />
wsin<br />
k<br />
k<br />
1<br />
( c 'cos<br />
k<br />
c 'sin<br />
k)<br />
u <br />
1<br />
1<br />
c ' <br />
k<br />
1<br />
( c<br />
'sin<br />
k<br />
c 'cos<br />
k)<br />
<br />
1<br />
2<br />
2<br />
2<br />
c <br />
2<br />
2<br />
1<br />
k ik<br />
1 e v1<br />
c <br />
<br />
<br />
w<br />
1<br />
k<br />
1<br />
e<br />
v<br />
ik<br />
1<br />
<br />
,<br />
Els nous coefici<strong>en</strong>ts pod<strong>en</strong> determinar-se directam<strong>en</strong>t per les condicions inicials:<br />
x0 x(<br />
0)<br />
c1'<br />
u c2<br />
'w<br />
c3v3<br />
... cnv<br />
n<br />
Si c ... c 0 , la solució por expressar-se <strong>en</strong> la base ( u, w)<br />
simplem<strong>en</strong>t com:<br />
3 n<br />
Exemples –<br />
(1) Considerem el sistema discret<br />
k <br />
ik<br />
xˆ<br />
( k)<br />
ˆ<br />
1 e x(<br />
0)<br />
0<br />
<br />
x ( k 1)<br />
Ax(<br />
k),<br />
A 0<br />
<br />
4<br />
1<br />
0<br />
6<br />
És diagonalitzable, amb els VAPs i VEPs segü<strong>en</strong>ts:<br />
0<br />
<br />
1<br />
4<br />
<br />
9.32
1 <br />
2<br />
2<br />
1<br />
i<br />
3 1<br />
i<br />
La solució g<strong>en</strong>eral és:<br />
(1’) Escrivint<br />
v 1<br />
v<br />
v<br />
2<br />
3<br />
1<br />
<br />
<br />
2<br />
<br />
<br />
4<br />
<br />
1 <br />
<br />
1<br />
i<br />
<br />
2i<br />
<br />
1 <br />
<br />
1<br />
i<br />
<br />
<br />
2i<br />
1<br />
1 1 <br />
<br />
k<br />
k<br />
k<br />
x(<br />
k)<br />
c1<br />
2 2<br />
c2<br />
( 1<br />
i)<br />
1<br />
i<br />
c3<br />
( 1<br />
i)<br />
1<br />
i<br />
<br />
4<br />
2i<br />
<br />
2i<br />
v<br />
2<br />
u iw,<br />
1<br />
<br />
<br />
u 1<br />
,<br />
<br />
0<br />
<br />
la solució g<strong>en</strong>eral es pot escriure:<br />
0<br />
<br />
<br />
w 1<br />
<br />
<br />
2<br />
<br />
1<br />
<br />
1<br />
<br />
<br />
<br />
k k <br />
x(<br />
k)<br />
c <br />
<br />
12<br />
2 c2<br />
cos k c3<br />
sin k 2 1 c2<br />
sin k c3<br />
cos k 2<br />
4 4 4 4 <br />
4<br />
<br />
0<br />
<br />
Els coefici<strong>en</strong>ts c1 , c<br />
2 , c<br />
3 qued<strong>en</strong> determinats per:<br />
x<br />
0<br />
1<br />
1<br />
0<br />
<br />
<br />
c <br />
1<br />
2<br />
c2<br />
1 c3<br />
1<br />
<br />
4<br />
0<br />
2<br />
<br />
(2) El VAP 2 és dominant. Doncs, la part dominant de ) (k x és:<br />
1 <br />
DOM<br />
(2’) Per c 0 , result<strong>en</strong> les espirals:<br />
1 <br />
x<br />
1<br />
<br />
k<br />
( k)<br />
c12<br />
2<br />
<br />
<br />
4<br />
<br />
k<br />
0<br />
<br />
<br />
1<br />
<br />
<br />
2<br />
<br />
9.33
x<br />
ROT<br />
<br />
<br />
<br />
1<br />
<br />
<br />
cos k <br />
sin k <br />
k<br />
( k)<br />
c4 <br />
4 <br />
2 c3<br />
2 1 c2<br />
c3<br />
2<br />
<br />
<br />
sin <br />
<br />
<br />
k<br />
cos <br />
<br />
0<br />
k<br />
4 4 <br />
Prop. (Cas complet) –<br />
Donat un sistema complet<br />
el conjunt de solucions és<br />
on:<br />
x( k 1)<br />
Ax(<br />
k)<br />
b(<br />
k)<br />
S x ( k)<br />
S<br />
0<br />
0<br />
k<br />
0<br />
<br />
<br />
1<br />
<br />
<br />
2<br />
<br />
- S0 és l’espai de solucions del sistema homog<strong>en</strong>i associat, x( k 1)<br />
Ax(<br />
k)<br />
.<br />
- x 0 ( k)<br />
és una solució particular qualsevol; per exemple, la correspon<strong>en</strong>t a<br />
x ( 0)<br />
0 :<br />
x ( k)<br />
A<br />
0<br />
k 1<br />
b(<br />
0)<br />
A<br />
k 2<br />
b(<br />
1)<br />
... b(<br />
k 1)<br />
9.20, ... , 9.25.- Comportam<strong>en</strong>t dinàmic: cas homog<strong>en</strong>i.<br />
Com <strong>en</strong> el cas de les EDDs<br />
- el comportam<strong>en</strong>t d’una solució g<strong>en</strong>eral es pot estudiar com combinació lineal del<br />
modes bàsics<br />
- les solucions g<strong>en</strong>èriques t<strong>en</strong>deix<strong>en</strong> asimptòticam<strong>en</strong>t cap al mode propi<br />
dominant.<br />
(a) Comportam<strong>en</strong>t dels modes bàsics<br />
Vegem <strong>en</strong> primer lloc que els modes propis són solucions invariants (o estacionàries)<br />
Def. –<br />
(1) Donat un sistema homog<strong>en</strong>i<br />
x( k 1)<br />
Ax(<br />
k)<br />
n<br />
un subespai F es diu que és (dinàmicam<strong>en</strong>t) invariant si tota solució que<br />
arr<strong>en</strong>ca <strong>en</strong> F es manté dins de F:<br />
9.34
x( 0)<br />
F x(<br />
k)<br />
F , k <br />
És obvi que equival a la condició de “algebraicam<strong>en</strong>t invariant”:<br />
A( F)<br />
F<br />
(2) Especialm<strong>en</strong>t interessants són els casos particulars segü<strong>en</strong>ts:<br />
(2.1) S’anom<strong>en</strong>a de sortida (o escapam<strong>en</strong>t) si tota solució (no nul·la) <strong>en</strong> F és no<br />
acotada.<br />
(2.2) S’anom<strong>en</strong>a de <strong>en</strong>trada si tota solució <strong>en</strong> F t<strong>en</strong>deix a l’orig<strong>en</strong>.<br />
Analitzem ara amb més detall els subespais invariants uni-dim<strong>en</strong>sionals, que són<br />
precisam<strong>en</strong>t els g<strong>en</strong>erats per VEPs reals de A i que per tant correspon<strong>en</strong> a modes propis<br />
reals del sistema. El cas bi-dim<strong>en</strong>sional, correspon a VAPs complexos conjugats, com<br />
veurem després.<br />
Prop. (comportam<strong>en</strong>t dels modes propis reals) –<br />
Sigui un sistema homog<strong>en</strong>i<br />
(1) Si v <br />
x( k 1)<br />
Ax(<br />
k)<br />
n és un VEP (i només <strong>en</strong> aquest cas) es verifica la propietat de invariància:<br />
v x(<br />
k F<br />
x( 0)<br />
F ) , k <br />
(1’) De forma més precisa, recordem que:<br />
on és el VAP de v.<br />
(2) Aleshores:<br />
k<br />
x(<br />
0)<br />
cv x(<br />
k)<br />
c<br />
v<br />
(2.1) Si 1,<br />
F v és “de sortida”, és a dir:<br />
{x(k), k } no acotada, x ( 0)<br />
F,<br />
x(<br />
0)<br />
0 .<br />
(2.2) Si 1,<br />
F v és una recta “de <strong>en</strong>trada”, és a dir:<br />
x ( k)<br />
0,<br />
x( 0)<br />
F .<br />
(2.3) Si 1,<br />
F v és una recta de “punts fixos”, és a dir:<br />
x( k)<br />
x(<br />
0)<br />
, k, x(<br />
0)<br />
F .<br />
(2.4) Si 1<br />
, totes les solucions <strong>en</strong> v F són oscil·lants:<br />
9.35
Obs. –<br />
k<br />
x(<br />
k)<br />
( 1)<br />
x(<br />
0)<br />
, k, x(<br />
0)<br />
F .<br />
(1) Altram<strong>en</strong>t dit, els modes propis són les úniques solucions <strong>en</strong> les quals es conserva la<br />
proporció <strong>en</strong>tre les difer<strong>en</strong>ts coord<strong>en</strong>ades x1( k),...,<br />
xn<br />
( k)<br />
. Per exemple, la<br />
distribució per cohorts d’edats, la distribució d’espècies vives, etc. En aquest s<strong>en</strong>tit<br />
s’anom<strong>en</strong><strong>en</strong> de vegades modes estacionaris. Aquesta distribució estacionària ve<br />
donada per les coord<strong>en</strong>ades del VEP correspon<strong>en</strong>t.<br />
(1’) Aleshores el VAP és la taxa de creixem<strong>en</strong>t, la mateixa per a totes les coord<strong>en</strong>ades<br />
(cohorts d’edat, espècies,...), i per tant la global per al conjunt de la població.<br />
(2) Veurem de seguida que g<strong>en</strong>èricam<strong>en</strong>t les solucions t<strong>en</strong>deix<strong>en</strong> cap al mode dominant.<br />
Per tant, les coord<strong>en</strong>ades del VEP dominant don<strong>en</strong> la distribució asimptòtica<br />
estacionària i el VAP dominant, la taxa de creixem<strong>en</strong>t asimptòtica.<br />
Exemple – Considerem el model simplificat presa/depredador<br />
D<br />
P<br />
k 1<br />
k 1<br />
0'5D<br />
k<br />
<br />
0'125D<br />
0'4<br />
k<br />
P<br />
k<br />
11'<br />
P<br />
on P k , Dk<br />
indiqu<strong>en</strong> el nombre de preses i de depredadors, respectivam<strong>en</strong>t, l’any k.<br />
Podem plantejar-ho <strong>en</strong> forma d’un sistema discret:<br />
Els VAPs i VEPs de A són:<br />
Dk<br />
0'5<br />
x(<br />
k 1)<br />
Ax(<br />
k);<br />
x(<br />
k)<br />
<br />
<br />
<br />
,<br />
A <br />
Pk<br />
<br />
0'125<br />
1 1 4<br />
<br />
v 1 <br />
5<br />
<br />
2 0'6<br />
4<br />
<br />
v 2 <br />
1<br />
<br />
El primer indica una distribució estacionària de 4 depredadors per cada 5 preses, que<br />
manté la població total constant ( 1 1)<br />
.<br />
El segon indica una altra distribució estacionària (4 depredadors per cada presa), amb<br />
una disminució del total de població del 40% anual ( 2 0'6)<br />
. Concorda amb<br />
l’apreciació que un excés de depredadors provoca la disminució de preses, i de retruc<br />
també de depredadors.<br />
Veurem de seguida que, ess<strong>en</strong>t 1 1 dominant, g<strong>en</strong>èricam<strong>en</strong>t es t<strong>en</strong>deix cap a la<br />
primera situació.<br />
k<br />
0'4<br />
11'<br />
<br />
<br />
<br />
9.36
Com anunciav<strong>en</strong> abans, els VEPs de VAPs complexos conjugats g<strong>en</strong>er<strong>en</strong> subespais<br />
invariants bi-dim<strong>en</strong>sionals, amb comportam<strong>en</strong>ts rotatoris:<br />
Prop. ( VAPs conjugats: modes rotatoris) –<br />
Sigui un sistema homog<strong>en</strong>i<br />
x( k 1)<br />
Ax(<br />
k)<br />
i suposem VAPs complexos conjugats i VEPs correspon<strong>en</strong>ts:<br />
Recordem que:<br />
(1) El pla F és invariant:<br />
<br />
1 <br />
i<br />
i<br />
1<br />
e , e <br />
2 1 1<br />
1 u iw,<br />
v2 v1<br />
u iw<br />
v <br />
1 2 ,v v F<br />
<br />
x( 0)<br />
c1v1<br />
c2v<br />
2<br />
x 0)<br />
c 'u<br />
c 'w<br />
<br />
n u, w<br />
n c 2 c1<br />
<br />
( 1 2<br />
, on 1' 1 c2<br />
c c ( ' c2 i<br />
c1<br />
c2<br />
x ( 0)<br />
F x(<br />
k)<br />
F,<br />
k<br />
<br />
, )<br />
<br />
k ik<br />
(1’) De forma més precisa, <strong>en</strong> la base ( u , w)<br />
: x(<br />
k)<br />
ˆ<br />
1 e x(<br />
0)<br />
. Per tant:<br />
(1’.1) Si 1 1 , F és un pla d’escapam<strong>en</strong>t (de fet, les solucions són espirals<br />
diverg<strong>en</strong>ts).<br />
(1’.2) Si 1 1 , F és un pla d’<strong>en</strong>trada (de fet, les solucions són espirals converg<strong>en</strong>ts<br />
a l’orig<strong>en</strong>).<br />
(1’.3) Si 1,<br />
F és un pla de girs.<br />
1 <br />
(2) Si 1 és simple, i 1 3<br />
, 4<br />
,..., les solucions anteriors són dominants, i les altres<br />
hi t<strong>en</strong>deix<strong>en</strong> asimptòticam<strong>en</strong>t.<br />
(b) Comportam<strong>en</strong>t de les solucions g<strong>en</strong>erals: anàlisi modal.<br />
Com per les EEDs, el comportam<strong>en</strong>t dinàmic d’una solució g<strong>en</strong>eral pot estudiar-se com<br />
una combinació lineal dels modes bàsics. Vegem alguns exemples d’anàlisi modal.<br />
Exemples –<br />
9.37
(1) Per al sistema<br />
0<br />
<br />
x ( k 1)<br />
Ax(<br />
k),<br />
A 0<br />
<br />
4<br />
havíem vist <strong>en</strong> un exemple anterior:<br />
T<strong>en</strong>im, doncs:<br />
2 ; ) 4 , 2 , 1 ( v<br />
1 <br />
2 1 3<br />
1 <br />
1<br />
0<br />
6<br />
0<br />
<br />
1<br />
4<br />
<br />
i ; v v u iw,<br />
u ( 1,<br />
1,<br />
0),<br />
w ( 0,<br />
1,<br />
2)<br />
(i) Si ( 0)<br />
v <br />
1<br />
2<br />
x , la solució x (k)<br />
s’escapa al llarg d’aquesta recta:<br />
(ii) Si x 0)<br />
u, w<br />
k<br />
x(<br />
k)<br />
c 2 v , x(<br />
0)<br />
c v<br />
1<br />
1<br />
3<br />
1<br />
1<br />
( , la solució x (k)<br />
és una espiral diverg<strong>en</strong>t <strong>en</strong> aquest pla. De<br />
<br />
forma més precisa, com que arg 2 , l’espiral fa una volta completa <strong>en</strong><br />
4<br />
passar de k a k 8 , amb factor radial 2 16<br />
8<br />
8<br />
:<br />
2<br />
u w<br />
x ( k 8)<br />
16x(<br />
k),<br />
x(<br />
0)<br />
,<br />
(iii) Per x ( 0)<br />
g<strong>en</strong>eral, la solució x (k)<br />
serà una “helicoide” al voltant de la recta<br />
v 1,<br />
t<strong>en</strong>int com projecció sobre el pla u, w<br />
una espiral com a (ii). De forma<br />
més precisa, si<br />
(2) Per al sistema<br />
t<strong>en</strong>im<br />
serà, per k 8 k<br />
:<br />
v , xˆ<br />
u<br />
w<br />
x 0)<br />
xˆ<br />
xˆ<br />
; xˆ<br />
,<br />
( 1 2 1 1 2<br />
8k 8k<br />
k<br />
k<br />
xˆ<br />
ˆ ˆ ˆ<br />
1 2 x2<br />
256 x1<br />
16<br />
2<br />
x(<br />
k)<br />
x(<br />
8k)<br />
2<br />
x<br />
La compon<strong>en</strong>t dominant és claram<strong>en</strong>t el primer sumand, concordant amb que<br />
és el VAP dominant.<br />
1<br />
0<br />
x ( k 1)<br />
Ax(<br />
k),<br />
A <br />
<br />
1<br />
1<br />
2<br />
9.38
A<br />
S<br />
j<br />
j<br />
1<br />
<br />
1<br />
( w<br />
Per tant, la solució g<strong>en</strong>eral és<br />
0<br />
1<br />
<br />
v),<br />
1<br />
<br />
w ,<br />
0<br />
<br />
<br />
1<br />
v <br />
<br />
1<br />
1<br />
0<br />
c1<br />
<br />
x( k)<br />
( w v)<br />
c1(<br />
w kv)<br />
c2v<br />
k 1<br />
<br />
<br />
c <br />
<br />
<br />
2 <br />
T<strong>en</strong>im, doncs, dues possibles dinàmiques:<br />
(i) c1 0 x(<br />
0)<br />
c2v<br />
x(<br />
k)<br />
c2v<br />
, constant<br />
(ii) c 0 x(<br />
0)<br />
<br />
v x(<br />
k)<br />
no acotada<br />
1<br />
(c) Convergència asimptòtica cap al mode dominant.<br />
Hem fet diverses referències a que, com per les EED, les solucions g<strong>en</strong>èriques<br />
t<strong>en</strong>deix<strong>en</strong> asimptòticam<strong>en</strong>t cap al mode propi dominant.<br />
Prop. (Convergència asimptòtica cap al mode dominant) –<br />
Sigui un sistema discret homog<strong>en</strong>i<br />
x( k 1)<br />
Ax(<br />
k)<br />
amb A diagonalitzable. Siguin 1 ,..., n<br />
els VAPs, i ( v 1,..., vn<br />
) una base de VEPs.<br />
Suposem 1<br />
Aleshores:<br />
VAP dominant i x (k)<br />
una solució, amb condicions inicials<br />
k<br />
(1) 1 1 1<br />
x 0)<br />
c v ... c<br />
( 1 1<br />
x(<br />
k)<br />
c v , per k , si c 0 .<br />
De forma més precisa:<br />
x( k)<br />
lim c1v<br />
k<br />
k<br />
<br />
(1’) En particular, si 1 0 c :<br />
lim<br />
k<br />
x(<br />
k 1)<br />
x(<br />
k)<br />
1<br />
1<br />
1<br />
1 <br />
nv n<br />
, si 1 0 c<br />
9.39
x(<br />
k)<br />
v<br />
lim sgn( c1)<br />
k x(<br />
k)<br />
v<br />
(2) Si a més 2 és VAP subdominant:<br />
k<br />
x(<br />
k)<br />
c11<br />
v1<br />
lim 2<br />
k x(<br />
k 1)<br />
c<br />
1<br />
1<br />
k 1 11<br />
v1<br />
, si 2 0 c<br />
Obs. – Es pot dir, doncs, que x(k) t<strong>en</strong>deix asimptòticam<strong>en</strong>t cap a la seva part dominant<br />
.<br />
c1 1v1<br />
k<br />
, amb velocitat d’aproximació 2<br />
Exemple – Continuem amb el model presa/depredador de l’exemple anterior.<br />
(1) Les solucions són de la forma<br />
x(<br />
k)<br />
c v c v<br />
1<br />
k<br />
1 1<br />
amb 1 1 VAP dominant. La convergència cap al mode dominant, si 1 0 c ,<br />
afirmada <strong>en</strong> la proposició anterior és <strong>en</strong> aquest cas clar ja que:<br />
c v<br />
2<br />
k<br />
2<br />
2<br />
2<br />
k<br />
2<br />
k<br />
c2<br />
0'6 v2<br />
0<br />
La condició c 0 depèn de les condicions inicials:<br />
1 <br />
x( 0)<br />
c v c v<br />
1<br />
1<br />
2<br />
(1.1) 1 0 c només quan la distribució poblacional inicial és la 4/1 de v 2 . Aleshores<br />
x (k)<br />
manté aquesta distribució, amb una disminució anual del 40% per<br />
ambdues espècies, t<strong>en</strong>dint cap a l’extinció.<br />
(1.2) Per a qualsevol altra distribució inicial és 1 0 c , i aleshores ) (k x t<strong>en</strong>deix cap<br />
al mode dominant. Però cal distingir els casos 1 0 c i 1 0 c , que<br />
correspon<strong>en</strong> a que la proporció inicial de depredadors sigui inferior o superior,<br />
respectivam<strong>en</strong>t, a la 4/1 anterior:<br />
4<br />
1<br />
x1(<br />
0)<br />
4c1<br />
4c2<br />
20c1<br />
4c2<br />
4c1<br />
4c2<br />
c<br />
x ( 0)<br />
5c<br />
c<br />
2<br />
1<br />
2<br />
2<br />
2<br />
1<br />
0<br />
Quan la proporció inicial de depredadors és inferior a 4/1, la solució t<strong>en</strong>deix<br />
cap a l’estabilització de la població total, amb una distribució poblacional<br />
asimptòtica 4/5.<br />
Quan la població inicial de depredadors és superior a 4/1, aleshores 1 0 c i la<br />
solució t<strong>en</strong>deix cap a coord<strong>en</strong>ades negatives, el que significa l’extinció<br />
9.40
d’ambdues espècies a curt termini. Per exemple, per x ( 0)<br />
( 20,<br />
1)<br />
resulta<br />
c 1,<br />
c 6 i ) 3 ( x té coord<strong>en</strong>ades negatives.<br />
1<br />
2 <br />
(2) Considerem ara el cas més g<strong>en</strong>eral<br />
0'5<br />
A <br />
<br />
<br />
0'4<br />
on repres<strong>en</strong>ta la voracitat dels depredadors.<br />
El VAP dominant és<br />
11'<br />
<br />
<br />
<br />
0'8<br />
0'9<br />
0'4<br />
1<br />
El mode dominant comporta l’estabilització de les poblacions quan 1 1 , que<br />
correspon al valor 0'125<br />
vist abans.<br />
Per voracitats superiors, el VAP dominant és m<strong>en</strong>or que 1, i les poblacions<br />
t<strong>en</strong>deix<strong>en</strong> a l’extinció per qualssevol condicions inicials.<br />
Per voracitats inferiors, el mode dominant suposa el creixem<strong>en</strong>t de les poblacions,<br />
amb una major proporció de preses que <strong>en</strong> el cas 0'125<br />
. Per exemple, per<br />
0'104<br />
és 1 1'02<br />
i ) 13 , 10 ( 1 v : les poblacions creix<strong>en</strong> un 2% anual, i la<br />
proporció preses/depredadors és 1’3 (<strong>en</strong> lloc de la 1’25 quan 0'125<br />
).<br />
(d) Aplicació al càlcul del VAP i del VEP dominants.<br />
Una important aplicació de la proposició anterior és el segü<strong>en</strong>t corol·lari, base de molts<br />
algoritmes numèrics per al càlcul de VAPs i VEPs. La hipòtesi d’existència de VAP<br />
dominant es pot garantir, per exemple, mitjançant els teoremes de Perron-Frob<strong>en</strong>ius per<br />
a matrius de coefici<strong>en</strong>ts positius, com veurem més <strong>en</strong>davant. Aleshores, a més, el VAP<br />
dominant resulta real positiu (per tant, 1 1<br />
). Una aplicació b<strong>en</strong> rellevant és el<br />
cercador google.<br />
Corol. (mètode de la potència per al càlcul del VAP i el VEP dominant) –<br />
Suposem que una matriu A diagonalitzable té VAP dominant 1 . Aleshores:<br />
k 1<br />
A w<br />
lim 1<br />
k k<br />
A w<br />
k<br />
A w<br />
lim és un VEP dominant.<br />
k k<br />
A w<br />
9.41
n<br />
per w g<strong>en</strong>èric (de forma més precisa: que <strong>en</strong> una base de VEPs tinguin la primera<br />
coord<strong>en</strong>ada no nul·la).<br />
Exemple – Considerem<br />
T<strong>en</strong>im:<br />
0<br />
A <br />
<br />
2<br />
1<br />
3<br />
1 2, v1<br />
( 1,<br />
2)<br />
, v ( 1,<br />
1)<br />
2<br />
1 2<br />
Tanmateix, il·lustrem el corol·lari anterior:<br />
Per w ( a,<br />
b)<br />
, resulta:<br />
A<br />
k<br />
w<br />
2<br />
k<br />
A<br />
Observem que b<br />
nul·la <strong>en</strong> la base v , ) .<br />
2<br />
<br />
k<br />
<br />
2<br />
k<br />
2<br />
1<br />
k 1<br />
5(<br />
b a)<br />
2<br />
4<br />
2<br />
a equival a v <br />
( 1 2 v<br />
k<br />
2<br />
2<br />
k<br />
1<br />
<br />
<br />
1<br />
<br />
<br />
2(<br />
2a<br />
b)<br />
2<br />
2<br />
k<br />
6(<br />
b a)<br />
2 ( 2a<br />
b)<br />
w , és a dir, a que w tingui la primera coord<strong>en</strong>ada<br />
Aplicació.- El vector PageRank de Google és el VEP dominant (normalitzat) de la<br />
matriu de Brin & Page, associada a la de connexions <strong>en</strong>tre pàgines web (la qual al 2008<br />
va superar el bilió de files i columnes!). Aquest VEP es calcula aplicant el corol·lari<br />
anterior, <strong>en</strong> 50/100 iteracions.<br />
9.26.- Punts d’equilibri. Estabilitat.<br />
Finalm<strong>en</strong>t, estudiem el comportam<strong>en</strong>t de les solucions respecte a un punt d’equilibri.<br />
Def. – Considerem un sistema discret de la forma<br />
x( k 1)<br />
Ax(<br />
k)<br />
b<br />
(1) Una solució constant x c se’n diu un punt d’equilibri<br />
xe Axe<br />
b<br />
(2) Suposem un únic punt d’equilibri x e . S’anom<strong>en</strong>a:<br />
(2.1) Inestable si alguna altra solució no és acotada<br />
9.42
(2.2) Asimptòticam<strong>en</strong>t estable si tota altra solució t<strong>en</strong>deix a x e .<br />
lim x( k)<br />
x<br />
k<br />
e<br />
(2.3) Marginalm<strong>en</strong>t estable si tota altra solució és acotada, però alguna no<br />
convergeix a x e .<br />
Exemples –<br />
(1) El punt d’equilibri x 0 de<br />
e<br />
1 0<br />
x( k 1)<br />
x(<br />
k)<br />
0 2<br />
<br />
<br />
<br />
és inestable, ja que alguna solució no és acotada:<br />
(2) El punt d’equilibri x 0 de<br />
e<br />
x(<br />
0)<br />
0<br />
0<br />
x(<br />
k)<br />
<br />
1<br />
2<br />
k<br />
1 0 1<br />
x( k 1)<br />
x(<br />
k)<br />
2 1 2<br />
<br />
<br />
<br />
<br />
és asimptòticam<strong>en</strong>t estable, ja que tota solució<br />
(3) El punt d’equilibri x 0 de<br />
1 1<br />
k k <br />
x( k)<br />
x x<br />
k <br />
k k ( 0)<br />
0<br />
2 1<br />
e<br />
1 3 1<br />
x(<br />
k 1)<br />
x(<br />
k)<br />
2 1 3 <br />
<br />
és marginalm<strong>en</strong>t estable, amb totes les solucions girant al voltant de l’orig<strong>en</strong><br />
(4) El punt d’equilibri x 0 de<br />
e<br />
<br />
<br />
<br />
<br />
cos<br />
k sin k <br />
x(<br />
k)<br />
6 6 x(<br />
0)<br />
<br />
sin k cos k <br />
<br />
<br />
6 6 <br />
e<br />
9.43
1 0<br />
x( k 1)<br />
x(<br />
k)<br />
0 1 2<br />
<br />
<br />
<br />
és marginalm<strong>en</strong>t estable, amb alguna solució no converg<strong>en</strong>t a x 0 i altres que si:<br />
k<br />
1<br />
( 1)<br />
<br />
x ( 0)<br />
x(<br />
k)<br />
<br />
<br />
0<br />
0 <br />
0<br />
0 <br />
x ( 0)<br />
( ) 0<br />
1<br />
x k k<br />
1 2 <br />
<br />
Prop. (estabilitat d’un punt d’equilibri) –<br />
Considerem un sistema discret de la forma<br />
x( k 1)<br />
Ax(<br />
k)<br />
b<br />
(1) Existeix un únic punt d’equilibri x e sii 1 no és VAP de A, i aleshores<br />
(2) Aleshores:<br />
x e<br />
( I A)<br />
(2.1) Si 1 per algun VAP de A, és inestable.<br />
(2.2) Si 1 per tots els VAPs de A, és asimptòticam<strong>en</strong>t estable.<br />
1<br />
b<br />
(2.3) Si 1 per tots els VAPs de A, el sistema és marginalm<strong>en</strong>t estable sii els<br />
VAPs amb 1 t<strong>en</strong><strong>en</strong> la mateixa multiplicitat geomètrica que algebraica;<br />
altram<strong>en</strong>t, és inestable.<br />
(2’) En particular, si hi ha VAP dominant 1 :<br />
(2’.1) 1 inestable.<br />
1<br />
(2’.2) 1 asimptòticam<strong>en</strong>t estable.<br />
1<br />
(2’.3) 1 marginalm<strong>en</strong>t estable.<br />
1<br />
Obs. – Anàlogam<strong>en</strong>t a (2’) anterior, si 1<br />
, :<br />
1<br />
3 , 4<br />
(1) 1 inestable<br />
1<br />
0<br />
és un VAP simple complex, amb 2 1<br />
e<br />
i<br />
9.44
(2) 1 1 asimptòticam<strong>en</strong>t estable<br />
(3) 1 1 marginalm<strong>en</strong>t estable<br />
De fet, les solucions dominants són girs al voltant de x e , i les altres solucions<br />
g<strong>en</strong>èriques hi t<strong>en</strong>deix<strong>en</strong> asimptòticam<strong>en</strong>t.<br />
Exemples. – Verifiqueu-ho <strong>en</strong> el exemples anteriors.<br />
Aplicacions.-<br />
(1) En una ETS molt exig<strong>en</strong>t només aprov<strong>en</strong> el 30% dels estudiants <strong>en</strong> cada curs del<br />
grau. La resta repeteix<strong>en</strong> curs, excepte a primer, on el 50% del total abandon<strong>en</strong>. Si<br />
cada any ingress<strong>en</strong> 600 estudiants nous, les equacions que regeix<strong>en</strong> el nombre<br />
d’estudiants xi (k)<br />
, 1 i 4 , <strong>en</strong> el curs i-èsim i l’any k són:<br />
és a dir<br />
on<br />
x ( k 1)<br />
0'2x<br />
( k)<br />
600<br />
1<br />
2<br />
3<br />
4<br />
1<br />
x ( k 1)<br />
0'3x<br />
( k)<br />
0'7x<br />
( k)<br />
1<br />
x ( k 1)<br />
0'3x<br />
( k)<br />
0'7x<br />
( k)<br />
2<br />
x ( k 1)<br />
0'3x<br />
( k)<br />
0'7x<br />
( k)<br />
x( k 1)<br />
Ax(<br />
k)<br />
b<br />
x1(<br />
k)<br />
<br />
<br />
x2<br />
( k)<br />
<br />
x ( k)<br />
,<br />
x3<br />
( k)<br />
<br />
<br />
x4<br />
( k)<br />
<br />
3<br />
2<br />
3<br />
4<br />
0'2<br />
<br />
0'3<br />
A 0<br />
<br />
<br />
0<br />
0<br />
0'7<br />
0'3<br />
0<br />
0<br />
0<br />
0'7<br />
0'3<br />
0 <br />
<br />
0 <br />
,<br />
0<br />
<br />
0'7<br />
<br />
<br />
600<br />
<br />
0 <br />
b 0 <br />
<br />
<br />
0 <br />
1<br />
Com que 1 no és VAP de A, hi ha un únic punt d’equilibri xe ( I A)<br />
b . En<br />
aquest cas és fàcil calcular-lo directam<strong>en</strong>t:<br />
( x<br />
( x<br />
té com solució única<br />
e<br />
e<br />
)<br />
)<br />
1<br />
i<br />
xe i<br />
0'2(<br />
x<br />
0'3(<br />
x<br />
e<br />
e<br />
)<br />
)<br />
1<br />
i1<br />
600<br />
0'7(<br />
x ) ,<br />
( ) 750,<br />
i 1,<br />
,<br />
4<br />
e<br />
i<br />
i <br />
2,<br />
3,<br />
4<br />
Per tant, <strong>en</strong> règim estacionari hi haurà 750 estudiants per curs, amb un total de 3000.<br />
Com que els VAPs de A són 0’7, triple, i 0’2, tots dos m<strong>en</strong>ors que 1, el punt<br />
d’equilibri és asimptòticam<strong>en</strong>t estable, de manera que s’hi t<strong>en</strong>deix qualsevol que<br />
siguin les condicions inicials. Per exemple:<br />
9.45
x ( 0)<br />
0 x1(<br />
1)<br />
600 , x ( 2)<br />
720 , x ( 3)<br />
744 , x ( 4)<br />
749 , ...<br />
1<br />
(2) Considerant una massificació excessiva, un canvi dràstic <strong>en</strong> el sistema pedagògic va<br />
invertir els perc<strong>en</strong>tatges, de manera que aprovav<strong>en</strong> un 70% dels estudiants a cada<br />
curs. Aquestes millors expectatives van fer baixar els abandons al primer curs fins al<br />
10%, de manera que el nou sistema és:<br />
0'2<br />
<br />
0'7<br />
x ( k 1)<br />
Ax(<br />
k)<br />
B,<br />
A<br />
0<br />
<br />
<br />
0<br />
1<br />
0<br />
0'3<br />
0'7<br />
0<br />
0<br />
0<br />
0'3<br />
0'7<br />
1<br />
0 <br />
<br />
0 <br />
0 <br />
<br />
0'3<br />
<br />
Tanmateix, el nou d’equilibri resulta ser el mateix que abans, i també<br />
asimptòticam<strong>en</strong>t estable. Però ara el nombre anual de titulats és 525, <strong>en</strong> lloc dels<br />
225 d’abans.<br />
9.27, ... , 9.30.- Matrius positives.<br />
Acabem de veure que, <strong>en</strong> el comportam<strong>en</strong>t dinàmic d’un sistema discret juga un paper<br />
important l’existència d’un VAP dominant. Vegem que això queda garantit per a<br />
matrius de coefici<strong>en</strong>ts positius:<br />
Teor. (Perron, 1907) –<br />
Considerem el sistema discret<br />
amb A estrictam<strong>en</strong>t positiva, és a dir:<br />
Aleshores:<br />
x( k 1)<br />
Ax(<br />
k)<br />
A ( a ), 0 1 i, j n<br />
ij aij<br />
(1) Existeix un VAP dominant 1 (doncs, real simple) i 1 0 .<br />
(2) El seu VEP (normalitzat) té també coord<strong>en</strong>ades estrictam<strong>en</strong>t positives.<br />
(3) Es l’únic VEP (normalitzat) amb coord<strong>en</strong>ades estrictam<strong>en</strong>t positives.<br />
Obs. –<br />
(1) El VAP dominant 1 s’acostuma a anom<strong>en</strong>ar “arrel Perron”, i una seva acotació és:<br />
<br />
min ij 1<br />
i<br />
j<br />
a <br />
max<br />
i<br />
<br />
j<br />
a<br />
ij<br />
9.46
(1’) Com a VEP Perron s’acostuma a pr<strong>en</strong>dre el que té suma de coord<strong>en</strong>ades igual a 1<br />
(de vegades anom<strong>en</strong>at VEP “estocàstic”).<br />
(2) La condició A 0 és freqü<strong>en</strong>t <strong>en</strong> models poblacionals, on les variables han de ser<br />
positives. Aleshores:<br />
el VAP Perron dóna la taxa de creixem<strong>en</strong>t asimptòtica.<br />
les coord<strong>en</strong>ades del VEP estocàstic dóna la distribució poblacional<br />
asimptòtica.<br />
(3) El teorema s’aplica <strong>en</strong> particular a les matrius estocàstiques ( la suma dels<br />
coefici<strong>en</strong>ts de cada columna és 1). Aleshores l’arrel Perron és 1. A més es pot<br />
assegurar que existeix<br />
A lim <br />
<br />
k<br />
k A<br />
i que és una matriu estocàstica positiva de rang 1. De fet totes les columnes són<br />
iguals al VEP estocàstic.<br />
(4) El teorema de Frob<strong>en</strong>ius (1912) g<strong>en</strong>eralitza el de Perron a una àmplia família de<br />
matrius A 0 , les anom<strong>en</strong>ades “primitives”.<br />
Aplicació.- (Google)<br />
Una aplicació destacada són els cercadors d’internet i <strong>en</strong> particular Google: el vector<br />
PageRank és el VEP Perron (o estocàstic) de la matriu de Brin & Page.<br />
Es parteix de la matriu P de connexions <strong>en</strong>tre pàgines web. Cal fer notar que al 1998,<br />
l’any de llançam<strong>en</strong>t de Google n’hi havia 26 milions, però que al 2008 ja es va superar<br />
el bilió!.<br />
Es modifica per tal que sigui estocàstica per files (l’algorisme GooglePanda, que va<br />
substituir al PageRank a l’abril del 2011, millora <strong>en</strong> particular aquesta etapa). Per<br />
exemple<br />
0<br />
1 1<br />
<br />
P 0<br />
1 0<br />
,<br />
<br />
0<br />
0 0<br />
la qual té VAPs: 1, 0’6076, -0’2743.<br />
0<br />
<br />
P 0<br />
<br />
1/<br />
3<br />
Finalm<strong>en</strong>t la matriu de Brin & Page és de la forma.<br />
1<br />
<br />
P P<br />
U<br />
n<br />
on U és la matriu amb tots els coefici<strong>en</strong>ts 1.<br />
1/<br />
2<br />
1<br />
1/<br />
3<br />
1/<br />
2<br />
<br />
0 <br />
1/<br />
3<br />
<br />
9.47
De fet Google fa servir 0'85<br />
. El mètode de la potència assoleix el VEP dominant<br />
<strong>en</strong> 50 100 iteracions.<br />
9.48