Regularity properties of semigroups generated by some Fleming--Viot type operators (Q2642184): Difference between revisions

Let \(S^d\) denote the simplex of Euclidean \(d\)-dimensional space \(\mathbb{R}^d\) defined by \[ S^d=\{x=(x_1,x_2,\dots,x_d)\in \mathbb{R}^d:x_i\geq 0\text{ for }i= 1,2,\dots,d;\;\sum^d_{j=1}x_j \leq 1\}. \] For a vector \(\mu=(\mu_1, \mu_2,\dots,\mu_d,\mu_{d+1})\), \(\mu_i>-1\), \(i= 1,2,\dots,d+1\), the Jacobi weight \(w_\mu:S^d\to \mathbb{R}\) is defined by \(w_\mu(x)=(1-x_1-x_2-\dots-x_d)^{\mu_{d+1}}x_1^{\mu_1}x_2^{\mu_2}\dots x_d^{\mu_d}\), and the differential operator \(A_\mu:C^2(S^d)\to C (S^d)\) is defined in terms of the weight \(w_\mu\) with equivalent representation \[ A_\mu(f)(x)=\sum^d_{j=1} \sum^d_{l=1}x_l (\delta_{jl}-x_j){\partial^2\over\partial x_j\partial x_l} f(x)+ \sum^d_{l=1} b_l(x){\partial\over\partial x_l}f(x), \] where \(b_l(x)=\mu_l+1-\sum^{d+1}_{j=1}(\mu_j+1)x_l\). It is stated in the introduction of this paper that results contained in [\textit{S.\,Cerrai} and \textit{Ph.\,Clément}, J.~Evol.\ Equ.\ 1, No.\,3, 243--276 (2001; Zbl 0994.60072)] indicate that \(A_\mu\) features in diffusion models in population genetics, and is the infinitesimal generator of a bounded analytic symmetric positive semigroup of operators \(\{T_{2,\mu;t}\mid t>0\}\). In the results of the paper, \(T_{2, \mu;t}\) is shown to be representable in \(L^2_{w_\mu}(S^d)\) in the form \(T_{2,\mu;z}(f)=\sum^\infty_{j=0}e^{-j(|\mu|+d+ j)z}p_j\), where \(f= \sum^\infty_{j=0}p_j\), \(p_l\in P_l\cap P_{l-1}^\perp\), \(l=1, 2,3,\dots\), and \(P_j\) is the space of polynomials of degree less than \(j\). It is also shown that if \(d=1\), then \(T_{2,\mu;t}:L^2_{w_\mu}(0,1)\to L^\infty (0,1)\) is continuous.