This intriguing problem has come up in Macro.
We're analysing dynamic systems (on a very, very basic level) and working out when they are "determinate" and/or "stable". Before anyone brings in the heavy artillery, I should say we haven't used any actual differential equation theory. We've been told this: if \epsilon represents a stochastic exogenous shock (with mean zero), and the system is
\left[ \begin{array}{c} y_{t} \\ \pi_{t} \end{array} \right] = A \left[ \begin{array}{c} y_{t+1} \\ \pi_{t+1} \end{array} \right] + \left[ \begin{array}{c} \epsilon_{y,t} \\ \epsilon_{\pi,t} \end{array} \right]
then the system is "determinate" if and only if both the eigenvalues of the matrix A are inside the unit circle. "Determinate" seems to mean having a unique solution (economists are pussies), and is taken to be synonymous with "stable" (lazy pussies, at that).
On occasion we work with a model where the form of the matrix is simply heinous, and calculating the eigenvalues becomes difficult. In case of this, clever textbook writers have come up with conditions which imply that both eigenvalues will be inside the unit circle. However, they don't always state the assumptions necessary for the implication to hold.
The problem with the current Macro assignment is that a question was designed using some of these clever stability conditions, but that those particular conditions rely on unwritten assumptions which the assignment question violates, with the result that the system of the assignment is actually not stable at all.
The matrix of the system has the form:
A = \left[ \begin{array}{cc} 1-\frac{\phi_{y}}{\sigma} & \frac{1-\phi_{\pi}}{\sigma} \\
\kappa(1-\frac{\phi_{y}}{\sigma}) & \beta - \frac{\kappa}{\sigma}(\phi_{\pi}-1) \end{array} \right]
The conditions which supposedly imply eigenvalues inside the unit circle (Gali 2008, pg 79) are:
\kappa (\phi_{\pi}-1) + (1-\beta)\phi_{y} > 0
\kappa (\phi_{\pi}-1) + (1+\beta)\phi_{y} < 2\sigma(1+\beta)
These conditions fail when \sigma=\beta=\kappa=1 (EDIT: and \phi_{y}=0). Why? What are the unwritten assumptions under which the conditions can be derived, and which of the parameter values are violating them?


