La mia ipotesi è che l'equazione caratteristica da cui si sta partendo è diversa dalla mia. Vorrei procedere in un paio di passaggi per vedere se siamo d'accordo.
Considera l'equazione
λ2−ϕ1λ−ϕ2=0
Se z è una radice dell'equazione caratteristica "standard" 1−ϕ1z−ϕ2z2=0 e l'impostazione z−1=λ , il display ottiene dalla riscrittura di quello standard come segue:
1−ϕ1z−ϕ2z2⇒z−2−ϕ1z−1−ϕ2⇒λ2−ϕ1λ−ϕ2===000
Quindi, una condizione alternativa per la stabilità di unaAR(2)è che tutte le radici del primo display sonoall'internodel cerchio unitario,|z|>1⇔|λ|=|z−1|<1.
AR(2)AR(2)
- ϕ2<1+ϕ1
- ϕ2<1−ϕ1
- ϕ2>−1
λ1,2=ϕ1±ϕ21+4ϕ2−−−−−−−√2
per trovare le prime due condizioni.
Quindi, AR(2) è stazionaria iff |λ|<1 , quindi (se λi sono reali):
−1<ϕ1±ϕ21+4ϕ2−−−−−−−√2⇒−2<ϕ1±ϕ21+4ϕ2−−−−−−−√<<12
Il più grande dei dueλiè delimitato daϕ1+ϕ21+4ϕ2−−−−−−−√<2, oppure:
ϕ1+ϕ21+4ϕ2−−−−−−−√⇒ϕ21+4ϕ2−−−−−−−√⇒ϕ21+4ϕ2⇒ϕ21+4ϕ2⇒ϕ2<<<<<22−ϕ1(2−ϕ1)24−4ϕ1+ϕ211−ϕ1
ϕ2<1+ϕ1
λiϕ21<−4ϕ2λ1 , 2= ϕ1/ 2±i - ( ϕ21+ 4 ϕ2)----------√/ 2.
Il modulo quadrato di un numero complesso è il quadrato del reale più il quadrato della parte immaginaria. Quindi,
λ2= ( ϕ1/ 2 )2+ ( - ( ϕ21+ 4 ϕ2)----------√/ 2 )2= ϕ21/4−(ϕ21+4ϕ2)/4=−ϕ2.
This is stable if |λ|<1, hence if −ϕ2<1 or ϕ2>−1, as was to be shown. (The restriction ϕ2<1 resulting from ϕ22<1 is redundant in view of ϕ2<1+ϕ1 and ϕ2<1−ϕ1.)
Plotting the stationarity triangle, also indicating the line that separates complex from real roots, we get
Produced in R using
phi1 <- seq(from = -2.5, to = 2.5, length = 51)
plot(phi1,1+phi1,lty="dashed",type="l",xlab="",ylab="",cex.axis=.8,ylim=c(-1.5,1.5))
abline(a = -1, b = 0, lty="dashed")
abline(a = 1, b = -1, lty="dashed")
title(ylab=expression(phi[2]),xlab=expression(phi[1]),cex.lab=.8)
polygon(x = phi1[6:46], y = 1-abs(phi1[6:46]), col="gray")
lines(phi1,-phi1^2/4)
text(0,-.5,expression(phi[2]<phi[1]^2/4),cex=.7)
text(1.2,.5,expression(phi[2]>1-phi[1]),cex=.7)
text(-1.75,.5,expression(phi[2]>1+phi[1]),cex=.7)