We know that a discrete-time system with a (Z-transform) transfer function that has a pole of magnitude 1 (i.e. $|z|=1$ is a pole of the transfer function) is marginally stable if the pole at $z=1$ is a single pole and unstable on every RoC otherwise.
My question is: Suppose a transfer function that has two simple poles at $z=1, z=-1$. Is it marginally stable or not? And, therefore, what is the most general form of the stability theorem based on poles of the (Z-)transfer function?
A causal discrete-time LTI system is marginally stable if none of its poles has a radius greater than $1$, and if it has one or more distinct poles with radius $1$. So a system with poles at $z=1$ and $z=-1$ is marginally stable (if there are no other poles outside the unit circle).
A causal discrete-time system with all its poles strictly inside the unit circle is called asymptotically stable. If at least one of the poles is outside the unit circle, the system is unstable.
For anti-causal systems just replace 'outside' by 'inside' and 'greater than $1$' by 'smaller than $1$' in the above definitions.
For non-causal systems with two-sided impulse responses the region of convergence (ROC) is an annulus centered at $z=0$. Such a system is asymptotically stable if the ROC contains the unit circle. If the ROC is limited by the unit circle and if one or more distinct poles are on the unit circle, then the system is marginally stable.
In sum, we get the following ROCs for marginally stable systems:
where in all cases it is assumed that all poles on the unit circle are distinct.
