悬赏一个关于离散线性时变系统的稳定性证明问题

对于离散的线性时变系统${\Delta }_{k+1}=(I-{\alpha }_k{G}_k){\Delta }_k$，其中${\alpha }_k\in R$，$G_k$未知但$||G_k||\le c$，${\Delta }_k\in R^d$，$I\in R^{d\times d}$为单位矩阵。
试问：当${\alpha }_k$满足什么条件时，${\Delta }_k$能渐进稳定到0?

能求解出来者,私信我必有重谢！

2023.09.08

目前得到的一条引理是：
(引理1) 对于任意$k$，若存在$\rho <1$，使仅有有限个$k$使得$||I-{\alpha }_k{G}_k||>\rho$成立，则${\Delta }_k\to 0$.
Proof. 由${\Delta }_{k+1}=(I-{\alpha }_k{G}_k){\Delta }_k$可知${\Delta }_k={\prod }_{i=0}^{k-1}(I-{\alpha }_i{G}_i){\Delta }_0$可以得到：$$\begin{gathered} ||{\Delta }_k||=||\prod _{i=0}^{k-1}(I-{\alpha }_i{G}_i){\Delta }_0|| \\ \le \prod _{i=0}^{k-1}||(I-{\alpha }_i{G}_i)||||{\Delta }_0|| \end{gathered}$$ 而由已知假设有$L$个整数$i=i_0,i_1...i_L\in \mathbb{N}$有：$||(I-{\alpha }_i{G}_i)||>\rho$，而对于$i=i_L,i_{L+1}...i_N\in \mathbb{N},N\to \infty$有：$||(I-{\alpha }_i{G}_i)||\le \rho$. 而${\lim }_{k\to \infty }{\prod }_{i=0}^{k-1}||(I-{\alpha }_i{G}_i)||$可以展开为：
$$\begin{gathered} \underset{k\to \infty }{\lim }\prod _{i=0}^{k-1}||(I-{\alpha }_i{G}_i)||||{\Delta }_0|| \\ =\prod _{i=0}^{\infty }||(I-{\alpha }_i{G}_i)||||{\Delta }_0|| \\ =\prod _{i=i_0}^{i_L}||(I-{\alpha }_i{G}_i)||\times \prod _{i=i_{L+1}}^{\infty }||(I-{\alpha }_i{G}_i)||\times ||{\Delta }_0|| \end{gathered}$$容易知道:$$\prod _{i=i_{L+1}}^{\infty }||(I-{\alpha }_i{G}_i)||=\underset{N\to \infty }{\lim }\prod _{i=i_{L+1}}^N||(I-{\alpha }_i{G}_i)||$$因此：$$\prod _{i=i_{L+1}}^N||(I-{\alpha }_i{G}_i)||\le {\rho }^{N-i_{L+1}+1}$$故${\prod }_{i=i_{L+1}}^{\infty }||(I-{\alpha }_i{G}_i)||||{\Delta }_0||=0$，从而${\lim }_{k\to \infty }{\prod }_{i=0}^{k-1}||(I-{\alpha }_i{G}_i)||||{\Delta }_0||=0$,即$||{\Delta }_k||\to 0$,即${\Delta }_k\to 0$.
若$G_k$是实对称对角矩阵，则$G_k=Q_k^T{\Lambda }_k{Q}_k$，其中$Q_k$是实对称正交矩阵:$Q_k^T{Q}_k=I$.因此：
$$\begin{gathered} ||I-{\alpha }_i{G}_i||=||Q_i^T{Q}_i-{\alpha }_i{Q}_i^T{\Lambda }_i{Q}_i|| \\ =||Q_i^T(I-{\alpha }_i{\Lambda }_i)Q_i|| \\ \le ||Q_i^T||||(I-{\alpha }_i{\Lambda }_i)||||Q_i|| \\ =||(I-{\alpha }_i{\Lambda }_i)|| \\ =\sqrt{\max \lambda ((I-{\alpha }_i{\Lambda }_i{)}^T(I-{\alpha }_i{\Lambda }_i))} \\ =\underset{1\le j\le d}{\max }|1-{\alpha }_i{\lambda }_j(G_i)| \end{gathered}$$ 而使$||I-{\alpha }_i{G}_i||\le \rho ,\rho <1$ 对于任意无穷个$i$成立即可保证${\Delta }_{\infty }\to 0$.
实际上即是使学习率${\alpha }_i$满足以下条件即可：$\exists \rho <1,\forall j=1,\mathrm{2..}d$，对于无穷个 $i$：$$\frac{1-\rho }{{\lambda }_j(G_i)}\le {\alpha }_i\le \frac{1+\rho }{{\lambda }_j(G_i)}$$ 以上条件只要保证有无穷个$i$使得${\alpha }_i\in [\frac{1-\rho }{{\lambda }_{{\min }_{1\le j\le d}}(G_i)},\frac{1+\rho }{{\lambda }_{{\max }_{1\le j\le d}}(G_i)}]$即可保证${\Delta }_k\to 0$。

--------------------2023.12.23更新----------------------
由之前的结论，这里找到了当$\rho \in [\frac{c-1}{c+1},1)$，其中$c={\sup }_i\frac{{\lambda }_{\max }(G_i)}{{\lambda }_{\min }(G_i)}$ 时，若有${\alpha }_i\to \alpha \in [\frac{1-\rho }{{\lambda }_{{\min }_{1\le j\le d}}(G_i)},\frac{1+\rho }{{\lambda }_{{\max }_{1\le j\le d}}(G_i)}]$或在该区间内有无数个${\alpha }_i$时，必然有${\Delta }_i\to 0$，且$\rho$直接决定了收敛速度为$O((\frac{c-1}{c+1}{)}^n)$.