Appendix A
Before proving that \( \left\| {\varvec{x}\left( {n + 1} \right) - \varvec{x}^{{\mathbf{\prime }}} \left( {n + 1} \right)} \right\| \le \left\| {\varvec{x}\left( n \right) - \varvec{x}^{{\mathbf{\prime }}} \left( n \right)} \right\| \), we describe the relationship between \( \left\| {\varvec{x}\left( {n + 1} \right) - \varvec{x}^{{\mathbf{\prime }}} \left( {n + 1} \right)} \right\| \) and \( \left\| {\varvec{x}^{\left( l \right)} \left( {n + 1} \right) - \varvec{x}^{{{\mathbf{\prime }}\left( l \right)}} \left( {n + 1} \right)} \right\| \).
“(a)”: According to aforementioned gathering of reservoir states \( \varvec{x}\left( n \right) \) and reservoir states of \( l \)th layer \( \varvec{x}^{\left( l \right)} \left( n \right) \), we unfold \( \varvec{x}\left( n \right) \) as the following vector:
$$ \begin{aligned} & \varvec{x}\left( n \right) = \\ & \left[ {\begin{array}{*{20}c} {\overbrace {{\begin{array}{*{20}c} {x_{1}^{\left( 1 \right)} \left( n \right)} & \cdots & {x_{{N_{1} }}^{\left( 1 \right)} \left( n \right)} \\ \end{array} }}^{{\left( {\varvec{x}^{\left( 1 \right)} \left( n \right)} \right)^{T} }}} & \cdots & {\overbrace {{\begin{array}{*{20}c} {x_{1}^{\left( L \right)} \left( n \right)} & \cdots & {x_{{N_{L} }}^{\left( L \right)} \left( n \right)} \\ \end{array} }}^{{\left( {\varvec{x}^{\left( L \right)} \left( n \right)} \right)^{T} }}} \\ \end{array} } \right] \\ \end{aligned} $$
(A.1)
where superscript denotes reservoir location, the maximum number of layers is L, subscript denotes neuron location of current reservoir and maximum number of reservoir neurons is Nl (\( l = 1, \cdots L \)). Then, substituting Eq. (A.1) into \( \left\| {\varvec{x}\left( {n + 1} \right) - \varvec{x}^{{\mathbf{\prime }}} \left( {n + 1} \right)} \right\| \), we obtain following equations:
$$ \begin{aligned} & \left\| {\varvec{x}\left( {n + 1} \right) - \varvec{x}^{{\mathbf{\prime }}} \left( {n + 1} \right)} \right\| \\ & \quad = \left\| {\begin{array}{*{20}c} {x_{1}^{\left( 1 \right)} \left( {n + 1} \right) - x_{1}^{\prime \left( 1 \right)} \left( {n + 1} \right)} \\ \vdots \\ {x_{{N_{1} }}^{\left( 1 \right)} \left( {n + 1} \right) - x_{{N_{1} }}^{\prime \left( 1 \right)} \left( {n + 1} \right)} \\ \vdots \\ {x_{1}^{\left( L \right)} \left( {n + 1} \right) - x_{1}^{\prime \left( L \right)} \left( {n + 1} \right)} \\ \vdots \\ {x_{{N_{L} }}^{\left( L \right)} \left( {n + 1} \right) - x_{{N_{L} }}^{\prime \left( L \right)} \left( {n + 1} \right)} \\ \end{array} } \right\| \\ & \quad = \sqrt {\sum\nolimits_{l = 1}^{L} {\sum\nolimits_{j = 1}^{{N_{l} }} {\left( {x_{j}^{\left( l \right)} \left( {n + 1} \right) - x_{j}^{\prime \left( l \right)} \left( {n + 1} \right)} \right)^{2} } } } , \\ \end{aligned} $$
(A.2)
$$ \begin{aligned} & \left\| {\varvec{x}^{\left( l \right)} \left( {n + 1} \right) - \varvec{x}^{{\varvec{'}\left( l \right)}} \left( {n + 1} \right)} \right\| \\ & \quad \quad = \left\| {\begin{array}{*{20}c} {x_{1}^{\left( l \right)} \left( {n + 1} \right) - x_{1}^{'\left( l \right)} \left( {n + 1} \right)} \\ \vdots \\ {x_{{N_{l} }}^{\left( l \right)} \left( {n + 1} \right) - x_{{N_{l} }}^{'\left( l \right)} \left( {n + 1} \right)} \\ \end{array} } \right\| \\ & \quad \quad \quad = \sqrt {\sum\nolimits_{j = 1}^{{N_{l} }} {\left( {x_{j}^{\left( l \right)} \left( {n + 1} \right) - x_{j}^{'\left( l \right)} \left( {n + 1} \right)} \right)^{2} } } . \\ \end{aligned} $$
(A.3)
According to Eqs. (A.2) and (A.3), we obtain the relationship between \( \left\| {\varvec{x}\left( {n + 1} \right) - \varvec{x}^{{\mathbf{\prime }}} \left( {n + 1} \right)} \right\| \) and \( \left\| {\varvec{x}^{\left( l \right)} \left( {n + 1} \right) - \varvec{x}^{{{\mathbf{\prime }}\left( l \right)}} \left( {n + 1} \right)} \right\| \) as follows:
$$ \begin{aligned} & \left\| {\varvec{x}\left( {n + 1} \right) - \varvec{x}^{{\mathbf{\prime }}} \left( {n + 1} \right)} \right\|^{2} \\ & \quad \quad \quad \quad = \sum\nolimits_{l = 1}^{L} {\left\| {\varvec{x}^{\left( l \right)} \left( {n + 1} \right) - \varvec{x}^{{{\mathbf{\prime }}\left( l \right)}} \left( {n + 1} \right)} \right\|^{2} } . \\ \end{aligned} $$
(A.4)
“(b)”: Now, the proof of Inequation (9) is described here. According to Eq. (A.4), proof of \( \left\| {\varvec{x}\left( {n + 1} \right) - \varvec{x}^{{\mathbf{\prime }}} \left( {n + 1} \right)} \right\| \le \left\| {\varvec{x}\left( n \right) - \varvec{x}^{{\mathbf{\prime }}} \left( n \right)} \right\| \) is equivalent to that of
$$ \begin{aligned} & \sum\nolimits_{l = 1}^{L} {\left\| {\varvec{x}^{\left( l \right)} \left( {n + 1} \right) - \varvec{x}^{{{\mathbf{\prime }}\left( l \right)}} \left( {n + 1} \right)} \right\|^{2} } \\ & \quad \quad \quad \quad \quad \quad \le \sum\nolimits_{l = 1}^{L} {\left\| {\varvec{x}^{\left( l \right)} \left( n \right) - \varvec{x}^{{{\mathbf{\prime }}\left( l \right)}} \left( n \right)} \right\|^{2} } . \\ \end{aligned} $$
(A.5)
Hence, we prove the latter inequation as follows:
$$ \begin{aligned} & \sum\nolimits_{l = 1}^{L} {\left\| {\varvec{x}^{\left( l \right)} \left( {n + 1} \right) - \varvec{x}^{{{\mathbf{\prime }}\left( l \right)}} \left( {n + 1} \right)} \right\|^{2} } \\ & \quad = \sum\nolimits_{l = 1}^{L} {\left\| {\left( {1 - a^{\left( l \right)} } \right)\left( {\varvec{x}^{\left( l \right)} \left( n \right) - \varvec{x}^{{{\mathbf{\prime }}\left( l \right)}} \left( n \right)} \right)} \right.} \\ & \quad \quad \left. { + a^{\left( l \right)} \left( {f^{\left( l \right)} \left( {\varvec{x}_{{\varvec{in}}}^{\left( l \right)} \left( {n + 1} \right)} \right) - f^{\left( l \right)} \left( {\varvec{x}_{{\varvec{in}}}^{{{\mathbf{\prime }}\left( l \right)}} \left( {n + 1} \right)} \right)} \right)} \right\|^{2} \\ & \quad \le \sum\nolimits_{l = 1}^{L} {\left\| {\left( {1 - a^{\left( l \right)} } \right)\left( {\varvec{x}^{\left( l \right)} \left( n \right) - \varvec{x}^{{{\mathbf{\prime }}\left( l \right)}} \left( n \right)} \right)} \right.} \\ & \quad \quad \left. { + a^{\left( l \right)} \left( {\varvec{x}_{{\varvec{in}}}^{\left( l \right)} \left( {n + 1} \right) - \varvec{x}_{{\varvec{in}}}^{{{\mathbf{\prime }}\left( l \right)}} \left( {n + 1} \right)} \right)} \right\|^{2} \\ & \quad = \sum\nolimits_{l = 1}^{L} {\left\| {\left( {\left( {1 - a^{\left( l \right)} } \right)\varvec{E}^{\left( l \right)} + a^{\left( l \right)} W^{\left( l \right)} } \right)\left( {\varvec{x}^{\left( l \right)} \left( n \right) - \varvec{x}^{{{\prime }\left( l \right)}} \left( n \right)} \right)} \right.} \\ & \quad \quad \left. { + a^{\left( l \right)} \varvec{W}_{{\varvec{in}}}^{\left( l \right)} \left( {\varvec{i}^{\left( l \right)} \left( {n + 1} \right) - \varvec{i}^{{{\mathbf{\prime }}\left( l \right)}} \left( {n + 1} \right)} \right)} \right\|^{2} \\ & \quad \le \sum\nolimits_{l = 1}^{L} {\left( {\left\| {\left( {\left( {1 - a^{\left( l \right)} } \right)\varvec{E}^{\left( l \right)} + a^{\left( l \right)} \varvec{W}^{\left( l \right)} } \right)\left( {\varvec{x}^{\left( l \right)} \left( n \right) - \varvec{x}^{{{\mathbf{\prime }}\left( l \right)}} \left( n \right)} \right)} \right\|} \right.} \\ & \quad \quad \left. { + \left\| {a^{\left( l \right)} \varvec{W}_{{\varvec{in}}}^{\left( l \right)} \left( {\varvec{i}^{\left( l \right)} \left( {n + 1} \right) - \varvec{i}^{{{\mathbf{\prime }}\left( l \right)}} \left( {n + 1} \right)} \right)} \right\|} \right)^{2} \\ & \quad \le \sum\nolimits_{l = 1}^{L} {\left\| {\left( {\left( {1 - a^{\left( l \right)} } \right)\varvec{E}^{\left( l \right)} + a^{\left( l \right)} \varvec{W}^{\left( l \right)} } \right)\left( {\varvec{x}^{\left( l \right)} \left( n \right) - \varvec{x}^{{{\mathbf{\prime }}\left( l \right)}} \left( n \right)} \right)} \right\|^{2} } \\ & \quad \quad + \sum\nolimits_{l = 1}^{L} {\left\| {a^{\left( l \right)} \varvec{W}_{{\varvec{in}}}^{\left( l \right)} \left( {\varvec{i}^{\left( l \right)} \left( {n + 1} \right) - \varvec{i}^{{{\mathbf{\prime }}\left( l \right)}} \left( {n + 1} \right)} \right)} \right\|^{2} } . \\ \end{aligned} $$
(A.6)
According to Eq. (2), we know that
$$ \left\{ {\begin{array}{*{20}l} {\varvec{i}^{\left( l \right)} \left( {n + 1} \right) - \varvec{i}^{{{\mathbf{\prime }}\left( l \right)}} \left( {n + 1} \right) = 0,l = 1} \hfill \\ {\varvec{i}^{\left( l \right)} \left( {n + 1} \right) - \varvec{i}^{{{\mathbf{\prime }}\left( l \right)}} \left( {n + 1} \right) = \varvec{x}^{{\left( {l - 1} \right)}} \left( {n + 1} \right) - \varvec{x}^{{{\mathbf{\prime }}\left( {l - 1} \right)}} \left( {n + 1} \right),l > 1} \hfill \\ \end{array} } \right. $$
(A.7)
Then
$$ \begin{aligned} & \left\| {\varvec{x}\left( {n + 1} \right) - \varvec{x}^{{\mathbf{\prime }}} \left( {n + 1} \right)} \right\|^{2} = \sum\nolimits_{l = 1}^{L} {\left\| {\varvec{x}^{\left( l \right)} \left( {n + 1} \right) - \varvec{x}^{{{\mathbf{\prime }}\left( l \right)}} \left( {n + 1} \right)} \right\|^{2} } \\ & \quad \le \sum\nolimits_{l = 1}^{L} {\left\| {\left( {\left( {1 - a^{\left( l \right)} } \right)\varvec{E}^{\left( l \right)} + a^{\left( l \right)} \varvec{W}^{\left( l \right)} } \right)\left( {\varvec{x}^{\left( l \right)} \left( n \right) - \varvec{x}^{{{\mathbf{\prime }}\left( l \right)}} \left( n \right)} \right)} \right\|^{2} } \\ & \quad \quad + \sum\nolimits_{l = 2}^{L} {\left\| {a^{\left( l \right)} \varvec{W}_{{\varvec{in}}}^{\left( l \right)} \left( {\varvec{x}^{{\left( {l - 1} \right)}} \left( {n + 1} \right) - \varvec{x}^{{{\mathbf{\prime }}\left( {l - 1} \right)}} \left( {n + 1} \right)} \right)} \right\|^{2} } \\ & \quad \le \sum\nolimits_{l = 1}^{L} {\left\| {\left( {\left( {1 - a^{\left( l \right)} } \right)\varvec{E}^{\left( l \right)} + a^{\left( l \right)} \varvec{W}^{\left( l \right)} } \right)\left( {\varvec{x}^{\left( l \right)} \left( n \right) - \varvec{x}^{{{\mathbf{\prime }}\left( l \right)}} \left( n \right)} \right)} \right\|^{2} } \\ & \quad \quad + \sum\nolimits_{l = 1}^{L - 1} {\left\| {a^{{\left( {l + 1} \right)}} \varvec{W}_{{\varvec{in}}}^{{\left( {l + 1} \right)}} \left( {\varvec{x}^{\left( l \right)} \left( {n + 1} \right) - \varvec{x}^{{{\mathbf{\prime }}\left( l \right)}} \left( {n + 1} \right)} \right)} \right\|^{2} } \\ & \quad \le \sum\nolimits_{l = 1}^{L} {\left( {1 - a^{\left( l \right)} + a^{\left( l \right)} \varLambda^{\left( l \right)} } \right)^{2} \left\| {\left( {\varvec{x}^{\left( l \right)} \left( n \right) - \varvec{x}^{{{\mathbf{\prime }}\left( l \right)}} \left( n \right)} \right)} \right\|^{2} } \\ & \quad \quad + \sum\nolimits_{l = 1}^{L - 1} {\left( {a^{{\left( {l + 1} \right)}} \varLambda_{\text{in}}^{{\left( {l + 1} \right)}} } \right)^{2} \left\| {\left( {\varvec{x}^{\left( l \right)} \left( {n + 1} \right) - \varvec{x}^{{{\mathbf{\prime }}\left( l \right)}} \left( {n + 1} \right)} \right)} \right\|^{2} } \\ & \Rightarrow \sum\nolimits_{l = 1}^{L} {\left\| {\varvec{x}^{\left( l \right)} \left( {n + 1} \right) - \varvec{x}^{{{\mathbf{\prime }}\left( l \right)}} \left( {n + 1} \right)} \right\|^{2} } \\ & & \quad \quad \quad - \sum\nolimits_{l = 1}^{L - 1} {\left( {a^{{\left( {l + 1} \right)}} \varLambda_{\text{in}}^{{\left( {l + 1} \right)}} } \right)^{2} \left\| {\left( {\varvec{x}^{\left( l \right)} \left( {n + 1} \right) - \varvec{x}^{{{\mathbf{\prime }}\left( l \right)}} \left( {n + 1} \right)} \right)} \right\|^{2} } \\ & \quad \le \sum\nolimits_{l = 1}^{L} {\left( {1 - a^{\left( l \right)} + a^{\left( l \right)} \varLambda^{\left( l \right)} } \right)^{2} \left\| {\left( {\varvec{x}^{\left( l \right)} \left( n \right) - \varvec{x}^{{{\mathbf{\prime }}\left( l \right)}} \left( n \right)} \right)} \right\|^{2} } \\ & \Rightarrow \sum\nolimits_{l = 1}^{L - 1} {\left( {1 - \left( {a^{{\left( {l + 1} \right)}} \varLambda_{\text{in}}^{{\left( {l + 1} \right)}} } \right)^{2} } \right)\left\| {\varvec{x}^{\left( l \right)} \left( {n + 1} \right) - \varvec{x}^{{{\mathbf{\prime }}\left( l \right)}} \left( {n + 1} \right)} \right\|^{2} } \\ & \quad \quad \quad + \left\| {\varvec{x}^{\left( L \right)} \left( {n + 1} \right) - \varvec{x}^{{{\mathbf{\prime }}\left( L \right)}} \left( {n + 1} \right)} \right\|^{2} \\ & \le \sum\nolimits_{l = 1}^{L} {\left( {1 - a^{\left( l \right)} + a^{\left( l \right)} \varLambda^{\left( l \right)} } \right)^{2} \left\| {\left( {\varvec{x}^{\left( l \right)} \left( n \right) - \varvec{x}^{{{\mathbf{\prime }}\left( l \right)}} \left( n \right)} \right)} \right\|^{2} } . \\ \end{aligned} $$
(A.8)
Unfolding of Inequation (A.8) is as follows: when \( l{ = }1,2, \cdots L - 1 \)
$$ \begin{aligned} & \left\| {\varvec{x}^{\left( l \right)} \left( {n + 1} \right) - \varvec{x}^{{{\mathbf{\prime }}\left( l \right)}} \left( {n + 1} \right)} \right\|^{2} \\ & \quad \quad \le \frac{{\left( {1 - a^{\left( l \right)} + a^{\left( l \right)} \varLambda^{\left( l \right)} } \right)^{2} }}{{1 - \left( {a^{{\left( {l + 1} \right)}} \varLambda_{\text{in}}^{{\left( {l + 1} \right)}} } \right)^{2} }}\left\| {\varvec{x}^{\left( l \right)} \left( n \right) - \varvec{x}^{{{\mathbf{\prime }}\left( l \right)}} \left( n \right)} \right\|^{2} . \\ \end{aligned} $$
(A.9)
When \( l{ = }L \)
$$ \begin{aligned} & \left\| {\varvec{x}^{\left( l \right)} \left( {n + 1} \right) - \varvec{x}^{{{\mathbf{\prime }}\left( l \right)}} \left( {n + 1} \right)} \right\|^{2} \\ & \quad \quad \le \left( {1 - a^{\left( l \right)} + a^{\left( l \right)} \varLambda^{\left( l \right)} } \right)^{2} \left\| {\varvec{x}^{\left( l \right)} \left( n \right) - \varvec{x}^{{{\mathbf{\prime }}\left( l \right)}} \left( n \right)} \right\|^{2} . \\ \end{aligned} $$
(A.10)
According to Inequations (A.9) and (A.10), when following Inequations (A.11) and (A.12)
$$ \begin{aligned} & \frac{{\left( {1 - a^{\left( l \right)} + a^{\left( l \right)} \varLambda^{\left( l \right)} } \right)^{2} }}{{1 - \left( {a^{{\left( {l + 1} \right)}} \varLambda_{\text{in}}^{{\left( {l + 1} \right)}} } \right)^{2} }}\left\| {\varvec{x}^{\left( l \right)} \left( n \right) - \varvec{x}^{{{\mathbf{\prime }}\left( l \right)}} \left( n \right)} \right\|^{2} \\ & \quad \quad \quad \le \left\| {\varvec{x}^{\left( L \right)} \left( n \right) - \varvec{x}^{{{\mathbf{\prime }}\left( L \right)}} \left( n \right)} \right\|^{2} ,l = 1,2, \cdots L - 1 \\ \end{aligned} $$
(A.11)
$$ \begin{aligned} & \left( {1 - a^{\left( l \right)} + a^{\left( l \right)} \varLambda^{\left( l \right)} } \right)^{2} \left\| {\varvec{x}^{\left( l \right)} \left( n \right) - \varvec{x}^{{{\mathbf{\prime }}\left( l \right)}} \left( n \right)} \right\|^{2} \\ & \quad \quad \le \left\| {\varvec{x}^{\left( L \right)} \left( {n + 1} \right) - \varvec{x}^{{{\mathbf{\prime }}\left( L \right)}} \left( {n + 1} \right)} \right\|^{2} ,l = L \\ \end{aligned} $$
(A.12)
are satisfied, then
$$ \left\| {\varvec{x}^{\left( l \right)} \left( {n + 1} \right) - \varvec{x}^{{{\mathbf{\prime }}\left( l \right)}} \left( {n + 1} \right)} \right\|^{2} \le \left\| {\varvec{x}^{\left( l \right)} \left( n \right) - \varvec{x}^{{{\mathbf{\prime }}\left( l \right)}} \left( n \right)} \right\|^{2} $$
(A.13)
are satisfied, which means that
$$ \sum\nolimits_{l = 1}^{L} {\left\| {\varvec{x}^{\left( l \right)} \left( {n + 1} \right) - \varvec{x}^{{{\mathbf{\prime }}\left( l \right)}} \left( {n + 1} \right)} \right\|^{2} } \le \sum\nolimits_{l = 1}^{L} {\left\| {\varvec{x}^{\left( l \right)} \left( n \right) - \varvec{x}^{{{\mathbf{\prime }}\left( l \right)}} \left( n \right)} \right\|^{2} } $$
(A.14)
are satisfied, which also means that \( \left\| {\varvec{x}\left( {n + 1} \right) - \varvec{x}^{{\mathbf{\prime }}} \left( {n + 1} \right)} \right\|^{2} \le \left\| {\varvec{x}\left( n \right) - \varvec{x}^{{\mathbf{\prime }}} \left( n \right)} \right\|^{2} \) are satisfied. We transform Inequations (A.11) and (A.12) into the following form:
$$ \left\{ {\begin{array}{*{20}l} {\frac{{\left( {1 - a^{\left( l \right)} { + }a^{\left( l \right)} \varLambda^{\left( l \right)} } \right)^{2} }}{{1 - \left( {a^{{\left( {l + 1} \right)}} \varLambda_{\text{in}}^{{\left( {l + 1} \right)}} } \right)^{2} }} \le 1,l{ = }1,2, \cdots L - 1} \hfill \\ {\left( {1 - a^{\left( l \right)} { + }a^{\left( l \right)} \varLambda^{\left( l \right)} } \right)^{2} \le 1,l{ = }L} \hfill \\ \end{array} } \right. $$
(A.15)
Then, the proof process is completed.
Appendix B
According to Eq. (A.4), proof of Inequation (13) is equivalent to that of (A.14). Hence, we prove the latter Inequation (A.14) as follows:
$$ \begin{aligned} & \sum\nolimits_{l = 1}^{L} {\left\| {\varvec{x}^{\left( l \right)} \left( {n + 1} \right) - \varvec{x}^{{{\mathbf{\prime }}\left( l \right)}} \left( {n + 1} \right)} \right\|^{2} } \\ & \quad = \sum\nolimits_{l = 1}^{L} {\left\| {\left( {1 - a^{\left( l \right)} } \right)\left( {\varvec{x}^{\left( l \right)} \left( n \right) - \varvec{x}^{{{\mathbf{\prime }}\left( l \right)}} \left( n \right)} \right)} \right.} \\ & \quad \quad \left. { + \sum\nolimits_{i = 1}^{{N_{\lambda }^{l} }} {\left( {\lambda_{i}^{\left( l \right)} \left( {f_{i}^{\left( l \right)} \left( {\varvec{x}_{{\varvec{in}}}^{\left( l \right)} \left( {n + 1} \right)} \right) - f_{i}^{\left( l \right)} \left( {\varvec{x}_{{\varvec{in}}}^{{{\mathbf{\prime }}\left( l \right)}} \left( {n + 1} \right)} \right)} \right)} \right)} } \right\|^{2} \\ & \quad \le \sum\nolimits_{l = 1}^{L} {\left\| {\left( {1 - a^{\left( l \right)} } \right)\left( {\varvec{x}^{\left( l \right)} \left( n \right) - \varvec{x}^{{{\mathbf{\prime }}\left( l \right)}} \left( n \right)} \right)} \right.} \\ & \quad \quad \left. { + \sum\nolimits_{i = 1}^{{N_{\lambda }^{l} }} {\left( {\lambda_{i}^{\left( l \right)} \left( {\varvec{x}_{{\varvec{in}}}^{\left( l \right)} \left( {n + 1} \right) - \varvec{x}_{{\varvec{in}}}^{{{\mathbf{\prime }}\left( l \right)}} \left( {n + 1} \right)} \right)} \right)} } \right\|^{2} \\ & \quad \le \sum\nolimits_{l = 1}^{L} {\left\| {\left( {\left( {1 - a^{\left( l \right)} } \right)\varvec{E}^{\left( l \right)} + \sum\nolimits_{i = 1}^{{N_{\lambda }^{l} }} {\lambda_{i}^{\left( l \right)} \varvec{W}^{\left( l \right)} } } \right)\left( {\varvec{x}^{\left( l \right)} \left( n \right) - \varvec{x}^{{{\mathbf{\prime }}\left( l \right)}} \left( n \right)} \right)} \right.} \\ & \quad \quad \left. { + \sum\nolimits_{i = 1}^{{N_{\lambda }^{l} }} {\left( {\lambda_{i}^{\left( l \right)} \varvec{W}_{{\varvec{in}}}^{\left( l \right)} \left( {\varvec{i}^{\left( l \right)} \left( {n + 1} \right) - \varvec{i}^{{{\mathbf{\prime }}\left( l \right)}} \left( {n + 1} \right)} \right)} \right)} } \right\|^{2} \\ & \quad \le \sum\nolimits_{l = 1}^{L} {\left\| {\left( {\left( {1 - a^{\left( l \right)} } \right)\varvec{E}^{\left( l \right)} + \sum\nolimits_{i = 1}^{{N_{\lambda }^{l} }} {\lambda_{i}^{\left( l \right)} \varvec{W}^{\left( l \right)} } } \right)\left( {\varvec{x}^{\left( l \right)} \left( n \right) - \varvec{x}^{{{\mathbf{\prime }}\left( l \right)}} \left( n \right)} \right)} \right\|}^{2} \\ & \quad \quad + \sum\nolimits_{l = 1}^{L} {\left\| {\sum\nolimits_{i = 1}^{{N_{\lambda }^{l} }} {\left( {\lambda_{i}^{\left( l \right)} \varvec{W}_{{\varvec{in}}}^{\left( l \right)} \left( {\varvec{i}^{\left( l \right)} \left( {n + 1} \right) - \varvec{i}^{{{\mathbf{\prime }}\left( l \right)}} \left( {n + 1} \right)} \right)} \right)} } \right\|}^{2} \\ & \quad \le \sum\nolimits_{l = 1}^{L} {\left( {1 - a^{\left( l \right)} + \sum\nolimits_{i = 1}^{{N_{\lambda }^{l} }} {\left| {\lambda_{i}^{\left( l \right)} } \right|\varLambda^{\left( l \right)} } } \right)^{2} \left\| {\varvec{x}^{\left( l \right)} \left( n \right) - \varvec{x}^{{{\mathbf{\prime }}\left( l \right)}} \left( n \right)} \right\|}^{2} \\ & \quad \quad + \sum\nolimits_{l = 1}^{L} {\left( {\sum\nolimits_{i = 1}^{{N_{\lambda }^{l} }} {\left| {\lambda_{i}^{\left( l \right)} } \right|\varLambda_{\text{in}}^{\left( l \right)} } } \right)^{2} \left\| {\varvec{i}^{\left( l \right)} \left( {n + 1} \right) - \varvec{i}^{{{\mathbf{\prime }}\left( l \right)}} \left( {n + 1} \right)} \right\|}^{2} . \\ \end{aligned} $$
(B.1)
According to Eq. (A.7)
$$ \begin{aligned} & \left\| {\varvec{x}\left( {n + 1} \right) - \varvec{x}^{{\mathbf{\prime }}} \left( {n + 1} \right)} \right\|^{2} \\ & \quad = \sum\nolimits_{l = 1}^{L} {\left\| {\varvec{x}^{\left( l \right)} \left( {n + 1} \right) - \varvec{x}^{{{\mathbf{\prime }}\left( l \right)}} \left( {n + 1} \right)} \right\|^{2} } \\ & \quad \le \sum\nolimits_{l = 1}^{L} {\left( {1 - a^{\left( l \right)} + \sum\nolimits_{i = 1}^{{N_{\lambda }^{l} }} {\left| {\lambda_{i}^{\left( l \right)} } \right|\varLambda^{\left( l \right)} } } \right)^{2} \left\| {\varvec{x}^{\left( l \right)} \left( n \right) - \varvec{x}^{{{\mathbf{\prime }}\left( l \right)}} \left( n \right)} \right\|}^{2} \\ & \quad \quad + \sum\nolimits_{l = 2}^{L} {\left( {\sum\nolimits_{i = 1}^{{N_{\lambda }^{l} }} {\left| {\lambda_{i}^{\left( l \right)} } \right|\varLambda_{\text{in}}^{\left( l \right)} } } \right)^{2} \left\| {\varvec{x}^{{\left( {l - 1} \right)}} \left( {n + 1} \right) - \varvec{x}^{{{\mathbf{\prime }}\left( {l - 1} \right)}} \left( {n + 1} \right)} \right\|}^{2} \\ & \quad \le \sum\nolimits_{l = 1}^{L} {\left( {1 - a^{\left( l \right)} + \sum\nolimits_{i = 1}^{{N_{\lambda }^{l} }} {\left| {\lambda_{i}^{\left( l \right)} } \right|\varLambda^{\left( l \right)} } } \right)^{2} \left\| {\varvec{x}^{\left( l \right)} \left( n \right) - \varvec{x}^{{{\mathbf{\prime }}\left( l \right)}} \left( n \right)} \right\|}^{2} \\ & \quad \quad + \sum\nolimits_{l = 1}^{L - 1} {\left( {\sum\nolimits_{i = 1}^{{N_{\lambda }^{l + 1} }} {\left| {\lambda_{i}^{{\left( {l + 1} \right)}} } \right|\varLambda_{\text{in}}^{{\left( {l + 1} \right)}} } } \right)^{2} \left\| {\varvec{x}^{\left( l \right)} \left( {n + 1} \right) - \varvec{x}^{{{\mathbf{\prime }}\left( l \right)}} \left( {n + 1} \right)} \right\|}^{2} \\ \end{aligned} $$
(B.2)
Transform Inequation (B.2) as follows:
$$ \begin{aligned} & \sum\nolimits_{l = 1}^{L} {\left\| {\varvec{x}^{\left( l \right)} \left( {n + 1} \right) - \varvec{x}^{{{\mathbf{\prime }}\left( l \right)}} \left( {n + 1} \right)} \right\|^{2} } \\ & \quad \quad - \sum\nolimits_{l = 1}^{L - 1} {\left( {\sum\nolimits_{i = 1}^{{N_{\lambda }^{l + 1} }} {\left| {\lambda_{i}^{{\left( {l + 1} \right)}} } \right|\varLambda_{\text{in}}^{{\left( {l + 1} \right)}} } } \right)^{2} \left\| {\left( {\varvec{x}^{\left( l \right)} \left( {n + 1} \right) - \varvec{x}^{{{\mathbf{\prime }}\left( l \right)}} \left( {n + 1} \right)} \right)} \right\|^{2} } \\ & \quad \quad \le \sum\nolimits_{l = 1}^{L} {\left( {1 - a^{\left( l \right)} + \sum\nolimits_{i = 1}^{{N_{\lambda }^{l} }} {\left| {\lambda_{i}^{\left( l \right)} } \right|\varLambda^{\left( l \right)} } } \right)^{2} \left\| {\varvec{x}^{\left( l \right)} \left( n \right) - \varvec{x}^{{{\mathbf{\prime }}\left( l \right)}} \left( n \right)} \right\|^{2} } \\ \end{aligned} $$
(B.3)
Transform Inequation (B.3) as follows:
$$ \begin{aligned} & \sum\nolimits_{l = 1}^{L - 1} {\left( {1 - \left( {\sum\nolimits_{i = 1}^{{N_{\lambda }^{l + 1} }} {\left| {\lambda_{i}^{{\left( {l + 1} \right)}} } \right|\varLambda_{\text{in}}^{{\left( {l + 1} \right)}} } } \right)^{2} } \right)\left\| {\varvec{x}^{\left( l \right)} \left( {n + 1} \right) - \varvec{x}^{{{\mathbf{\prime }}\left( l \right)}} \left( {n + 1} \right)} \right\|^{2} } \\ & \quad \quad + \left\| {\varvec{x}^{\left( L \right)} \left( {n + 1} \right) - \varvec{x}^{{{\mathbf{\prime }}\left( L \right)}} \left( {n + 1} \right)} \right\|^{2} \\ & \quad \quad \le \sum\nolimits_{l = 1}^{L} {\left( {1 - a^{\left( l \right)} + \sum\nolimits_{i = 1}^{{N_{\lambda }^{l} }} {\left| {\lambda_{i}^{\left( l \right)} } \right|\varLambda^{\left( l \right)} } } \right)^{2} \left\| {\left( {\varvec{x}^{\left( l \right)} \left( n \right) - \varvec{x}^{{{\mathbf{\prime }}\left( l \right)}} \left( n \right)} \right)} \right\|^{2} } \\ \end{aligned} $$
(B.4)
Similar to Appendix A, when the following inequations
$$ \begin{aligned} & \frac{{\left( {1 - a^{\left( l \right)} + \sum\nolimits_{i = 1}^{{N_{\lambda }^{l} }} {\left| {\lambda_{i}^{\left( l \right)} } \right|\varLambda^{\left( l \right)} } } \right)^{2} }}{{1 - \left( {\sum\nolimits_{i = 1}^{{N_{\lambda }^{l + 1} }} {\left| {\lambda_{i}^{{\left( {l + 1} \right)}} } \right|\varLambda_{\text{in}}^{{\left( {l + 1} \right)}} } } \right)^{2} }}\left\| {\varvec{x}^{\left( l \right)} \left( n \right) - \varvec{x}^{{{\mathbf{\prime }}\left( l \right)}} \left( n \right)} \right\|^{2} \\ & \quad \quad \le \left\| {\varvec{x}^{\left( L \right)} \left( n \right) - \varvec{x}^{{{\mathbf{\prime }}\left( L \right)}} \left( n \right)} \right\|^{2} ,l = 1,2, \cdots L - 1 \\ \end{aligned} $$
(B.5)
$$ \begin{aligned} & \left( {1 - a^{\left( l \right)} + \sum\nolimits_{i = 1}^{{N_{\lambda }^{l} }} {\left| {\lambda_{i}^{\left( l \right)} } \right|\varLambda^{\left( l \right)} } } \right)^{2} \left\| {\varvec{x}^{\left( l \right)} \left( n \right) - \varvec{x}^{{{\mathbf{\prime }}\left( l \right)}} \left( n \right)} \right\|^{2} \\ & \quad \quad \quad \quad \quad \quad \quad \le \left\| {\varvec{x}^{\left( L \right)} \left( {n + 1} \right) - \varvec{x}^{{{\mathbf{\prime }}\left( L \right)}} \left( {n + 1} \right)} \right\|^{2} ,l = L \\ \end{aligned} $$
(B.6)
are satisfied, the sufficient condition is obtained. According to Inequations (B.3)–(B.6), one can obtain following inequations:
$$ \left\{ {\begin{array}{*{20}l} \begin{aligned} \left( {1 - a^{\left( l \right)} { + }\sum\nolimits_{i = 1}^{{N_{\lambda }^{l} }} {\left| {\lambda_{i}^{\left( l \right)} } \right|\varLambda^{\left( l \right)} } } \right)^{2} \le 1 - \left( {\sum\nolimits_{i = 1}^{{N_{\lambda }^{l + 1} }} {\left| {\lambda_{i}^{{\left( {l + 1} \right)}} } \right|\varLambda_{\text{in}}^{{\left( {l + 1} \right)}} } } \right)^{2} \hfill \\ \begin{array}{*{20}c} {\begin{array}{*{20}c} {\begin{array}{*{20}c} {} & {} & {} \\ \end{array} } & {} & {} & {} \\ \end{array} } & {} & {} & {} \\ \end{array} ,l{ = }1,2, \cdots L - 1 \hfill \\ \end{aligned} \hfill \\ {\left( {1 - a^{\left( l \right)} { + }\sum\nolimits_{i = 1}^{{N_{\lambda }^{l} }} {\left| {\lambda_{i}^{\left( l \right)} } \right|\varLambda^{\left( l \right)} } } \right)^{2} \le 1,l{ = }L} \hfill \\ \end{array} } \right.. $$
(B.7)
Inequation (B.7) develops to the following:
$$ \left\{ {\begin{array}{*{20}l} {0 < \varLambda^{\left( l \right)} < 1,l{ = }1,2, \cdots L - 1} \hfill \\ {0 < \varLambda^{\left( l \right)} < {{a^{\left( l \right)} } \mathord{\left/ {\vphantom {{a^{\left( l \right)} } {\sum\nolimits_{i = 1}^{{N_{\lambda }^{l} }} {\left| {\lambda_{i}^{\left( l \right)} } \right|\varLambda^{\left( l \right)} } }}} \right. \kern-0pt} {\sum\nolimits_{i = 1}^{{N_{\lambda }^{l} }} {\left| {\lambda_{i}^{\left( l \right)} } \right|\varLambda^{\left( l \right)} } }},l{ = }L} \hfill \\ {\varLambda_{\text{in}}^{{\left( {l + 1} \right)}} \le {{\sqrt {1 - \left( {1 - a^{\left( l \right)} { + }\sum\nolimits_{i = 1}^{{N_{\lambda }^{l} }} {\left| {\lambda_{i}^{\left( l \right)} } \right|\varLambda^{\left( l \right)} } } \right)^{2} } } \mathord{\left/ {\vphantom {{\sqrt {1 - \left( {1 - a^{\left( l \right)} { + }\sum\nolimits_{i = 1}^{{N_{\lambda }^{l} }} {\left| {\lambda_{i}^{\left( l \right)} } \right|\varLambda^{\left( l \right)} } } \right)^{2} } } {a^{{\left( {l + 1} \right)}} }}} \right. \kern-0pt} {a^{{\left( {l + 1} \right)}} }},l{ = }1,2, \cdots L - 1} \hfill \\ \end{array} } \right.. $$
(B.8)
Then, the proof process is completed.