Structured stability radii and exponential stability tests for Volterra difference systems

Uniform exponential (UE) stability of linear difference equations with infinite delay is studied using the notions of a stability radius and a phase space. The state space $\text{X}$ is supposed to be an abstract Banach space. We work both with non-fading phase spaces $c_0({\text{ZZ}}^{-},\text{X})$ and $\ll^\infty (\ZZ^-, \X)$andwithexponentiallyfadingphasespacesofthe$\ll^p$and$c_0$ types. For equations of the convolution type, several criteria of UE stability are obtained in terms of the Z-transform $\text{wh}K(\zeta )$ of the convolution kernel $K(\cdot )$, in terms of the input-state operator and of the resolvent (fundamental) matrix. These criteria do not impose additional positivity or compactness assumptions on coefficients $K(j)$. Time-varying (non-convolution) difference equations are studied via structured UE stability radii \r_\t of convolution equations. These radii correspond to a feedback scheme with delayed output and time-varying disturbances. We also consider stability radii \r_\c associated with a time-invariant disturbance operator, unstructured stability radii, and stability radii corresponding to delayed feedback. For all these types of stability radii two-sided estimates are obtained. The estimates from above are given in terms of the Z-transform $\text{wh}K(\zeta )$, the estimate from below via the norm of the input-output operator. These estimates turn into explicit formulae if the state space $\text{X}$ is Hilbert or if disturbances are time-invariant. The results on stability radii are applied to obtain various exponential stability tests for non-convolution equations. Several examples are provided.