23.04.2013 Views

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

SHOW MORE
SHOW LESS

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

Hooray! Your file is uploaded and ready to be published.

Saved successfully!

Ooh no, something went wrong!