A dynamic model for the two-parameter Dirichlet process

Abstract

Let $α=1/2$, $θ>-1/2$, and $ν_0$ be a probability measure on a type space $S$. In this paper, we investigate the stochastic dynamic model for the two-parameter Dirichlet process $Π_{α,θ,ν_0}$. If $S=\mathbb{N}$, we show that the bilinear form \begin{eqnarray*} \left\{ \begin{array}{l} {\cal E}(F,G)=\frac{1}{2}\int_{{\cal P}_1(\mathbb{N})}\langle \nabla F(μ),\nabla G(μ)\rangle_μ Π_{α,θ,ν_0}(dμ),\ \ F,G\in {\cal F},\\ {\cal F}=\{F(μ)=f(μ(1),\dots,μ(d)):f\in C^{\infty}(\mathbb{R}^d), d\ge 1\} \end{array} \right. \end{eqnarray*} is closable on $L^2({\cal P}_1(\mathbb{N});Π_{α,θ,ν_0})$ and its closure $({\cal E}, D({\cal E}))$ is a quasi-regular Dirichlet form. Hence $({\cal E}, D({\cal E}))$ is associated with a diffusion process in ${\cal P}_1(\mathbb{N})$ which is time-reversible with the stationary distribution $Π_{α,θ,ν_0}$. If $S$ is a general locally compact, separable metric space, we discuss properties of the model \begin{eqnarray*} \left\{ \begin{array}{l} {\cal E}(F,G)=\frac{1}{2}\int_{{\cal P}_1(S)}\langle \nabla F(μ),\nabla G(μ)\rangle_μ Π_{α,θ,ν_0}(dμ),\ \ F,G\in {\cal F},\\ {\cal F}=\{F(μ)=f(\langle ϕ_1,μ\rangle,\dots,\langle ϕ_d,μ\rangle): ϕ_i\in B_b(S),1\le i\le d,f\in C^{\infty}(\mathbb{R}^d),d\ge 1\}. \end{array} \right. \end{eqnarray*} In particular, we prove the Mosco convergence of its projection forms.