Lemma 2.
Using the previous Theorem’s notation, we have for all
$x\in {\mathbb{R}}^{d}$
and
$n\in {\mathbb{N}}_{0}$
, if
${q}_{n+1}\left(x\right)=g\left(x\right)$
, then
${q}_{n}\left(x\right)=g\left(x\right)$
.

Proof.
By the monotonicity of the sequence
$({q}_{n}{)}_{n\in {\mathbb{N}}_{0}}$
(Theorem 1 ), we have
$$g\left(x\right)\le {q}_{0}\left(x\right)\le {q}_{n}\left(x\right)\le {q}_{n+1}\left(x\right).$$
Theorem 2.
For all
$n\in \mathbb{N}$
,
$${\parallel {q}_{n+1}{q}_{n}\parallel}_{{C}^{0}\left({\mathbb{R}}^{d},\mathbb{R}\right)}\le c\cdot {\parallel {q}_{n}{q}_{n1}\parallel}_{{C}^{0}\left({\mathbb{R}}^{d},\mathbb{R}\right)}.$$

Proof.
The preceding Lemma 2 yields
$$\begin{array}{ccc}{\parallel {q}_{n+1}{q}_{n}\parallel}_{{C}^{0}\left({\mathbb{R}}^{d},\mathbb{R}\right)}& =& {\parallel {q}_{n+1}{q}_{n}\parallel}_{\left\{{q}_{n+1}>g\right\}}\end{array}$$  
$$\begin{array}{ccc}& =& {\parallel c\cdot A{q}_{n}\left(\left(c\cdot A{q}_{n1}\right)\vee g\right)\parallel}_{{C}^{0}\left(\left\{c\cdot A{q}_{n}>g\right\},\mathbb{R}\right)}\end{array}$$  
via the definition of
${q}_{i+1}$
as
$\left(cA{q}_{i}\right)\vee g$
for
$i=n$
and
$i=n+1$
. But the last equality implies
$$\begin{array}{ccc}{\parallel {q}_{n+1}{q}_{n}\parallel}_{{C}^{0}\left({\mathbb{R}}^{d},\mathbb{R}\right)}& \le & {\parallel c\cdot A{q}_{n}c\cdot A{q}_{n1}\parallel}_{{C}^{0}\left(\left\{c\cdot A{q}_{n}>g\right\},\mathbb{R}\right)}\end{array}$$  
$$\begin{array}{ccc}& \le & {\parallel c\cdot A{q}_{n}c\cdot A{q}_{n1}\parallel}_{{C}^{0}\left({\mathbb{R}}^{d},\mathbb{R}\right)}.\end{array}$$  
Since
$A$
is linear as well as an
${L}^{\infty}$
contraction (and therefore a
${C}^{0}$
contraction, too), we finally obtain
$${\parallel {q}_{n+1}{q}_{n}\parallel}_{{C}^{0}\left({\mathbb{R}}^{d},\mathbb{R}\right)}\le c{\parallel A\left({q}_{n}{q}_{n1}\right)\parallel}_{{C}^{0}\left({\mathbb{R}}^{d},\mathbb{R}\right)}\le c{\parallel {q}_{n}{q}_{n1}\parallel}_{{C}^{0}\left({\mathbb{R}}^{d},\mathbb{R}\right)}.$$
Example 1 (Bermudan put option with equidistant exercise times in
$t\cdot {\mathbb{N}}_{0}$
on the weighted arithmetic average of a basket in a discrete Markov model with a discount factor
$c={e}^{rt}$
for
$r>0$
).
Let
${\beta}_{1},...,{\beta}_{d}\in [0,1]$
be a convex combination and assume that
$A$
is such that
$$\begin{array}{c}\forall i\in \{1,...,d\}{\sum}_{k=1}^{m}{\alpha}_{k}{e}^{({x}_{k}{)}_{i}}=1,\end{array}$$ 
(2)

then the functions
$$g:x\mapsto K{\sum}_{i=1}^{d}{\beta}_{i}exp\left({x}_{i}\right)$$
and
$h:=K$
(where
$K\ge 0$
) satisfy the equations
$Ah=h$
and
$Ag=g$
, respectively. Moreover, by definition
$g\le h$
. Then we know that the (perpetual) Bermudan option pricing algorithm that iteratively applies
$\mathcal{D}$
to the payoff function
$g\vee 0$
on the
$log$
price space, will increase monotonely and will have a limit which is the smallest nonnegative fixed point of
$\mathcal{D}$
. Moreover, the convergence is linear and the contraction rate can be bounded by
$c$
.
The condition (
2 ) can be achieved by a change of the time scale (which ultimately leads to different cubature points for the distribution of the asset price)
Acknowledgements. This work originates from research conducted by the author for his doctoral thesis at the University of Oxford. The author gratefully acknowledges funding from the German Academic Exchange Service (Doktorandenstipendium des Deutschen Akademischen Austauschdienstes) and helpful discussions with Professor Terry Lyons. References

J Stoer, R Bulirsch, Introduction to numerical analysis, 3rd ed, Texts in Applied Mathematics 12, Springer, Berlin 2002.

N Victoir, Asymmetric cubature formulae with few points in high dimension for symmetric measures, SIAM Journal on Numerical Analysis 42 (2004), 209 – 227.