Infinite Banach direct sums and diagonal \(C_0\)-semigroups with applications to a stochastic particle system (Q305759)

Let \((X_S,\|\cdot\|)_{j\in\mathbb{N}}\) be an infinite sequence of Banach spaces and \({\mathcal B}:=\bigoplus_{j\in\mathbb{N}}\) its formal direct sum, i.e., the set of all sequences \(f= (f_j)_{j\in\mathbb{N}}\) such that, for all \(j\in\mathbb N\), \(f_j\in X_j\) with the standard pointwise structure. For \(f\in{\mathcal B}\) and \(r\in\mathbb{N}\), define \(p_rf:= f_r\), \({\mathcal P}_rf:= \mathbf{1}_{j\leq r}f_j\), and \(X_{\text{fin}}:=\{f\in{\mathcal B}:\text{exists }r\in\mathbb{N}\) such that \(f_j= 0\) for all \(j>r\)