Stationary random measures on homogeneous spaces (Q975332)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Stationary random measures on homogeneous spaces
scientific article

    Statements

    Stationary random measures on homogeneous spaces (English)
    0 references
    0 references
    9 June 2010
    0 references
    This paper treats Palm theory for stationary random measures. Especially, the author discusses stationary random measures \(\xi\) on a homogeneous space \(S\) and their Palm measures \({\mathbb P}_{\xi}\). A simple but essential tool is a deterministic transformation of a stationary random measure on \(S\) into a stationary random measure on the group \(G\). Because this transformation preserves the Palm measure, it allows us to extend recent results for groups to general homogeneous spaces in a short way. It starts with such fundamental properties as the refined Campbell theorem. That is to say, let \({\mathbb P}\) be a \(\sigma\)-finite invariant measure on \((\Omega, {\mathcal F})\), \(\xi\) be an invariant random measure on \(S\). Then the invariant random measure \(\xi'\) on a locally compact second countable Hausdorff space \(G\) is defined by \[ \xi' = \int k(x, \cdot) \xi(dx) \] with a kernel \(k\) on \(G\). Let \({\mathbb P}_{\xi'}\) be the Palm measure on \(\Omega\), i.e., \[ {\mathbb P}_{\xi'}(A) = {\mathbb E} \int 1 \{ \theta_g^{-1} \in A \} w'(g) \xi'(dg), \quad \text{for} \quad A \in {\mathcal F}, \] where \(w' : G \to {\mathbb R}_+\) is a measurable function having \[ \int w'(g) \lambda(dg) = 1, \] and the flow \(\theta _g\) is a mapping from \({\mathcal F}\) to \({\mathcal F}\) for \(g \in G\). The refined Campbell theorem connects \({\mathbb P}\) and \({\mathbb P}_{\xi'}\) in the following way: \[ {\mathbb E} \int f( \theta_g^{-1}, g) \xi'(dg) = {\mathbb E}_{ {\mathbb P}_{\xi'} } \int f(\theta_e, g) \lambda(dg) \] for any measurable function \(f : \Omega \times G \to {\mathbb R}_+\), where \(\lambda\) is a left-invariant Haar measure on \(G\). Then the author discusses invariant transports, invariance and transport properties of Palm measures, and stationary partitions. \noindent Theorem 1. Let \(\xi\) and \(\eta\) be two invariant random measures, and \(T\) be an invariant weighted transport-kernel on \(S\). Then \(T\) is \({\mathbb P}\)-a.e. \((\xi, \eta)\)-balancing \[ \int T(\omega, x, \cdot) \xi( \omega, dx) = \eta(\omega, \cdot), \quad \forall \omega \in \Omega \] if and only if \[ {\mathbb E}_{\xi} \iint f(\theta_g^{-1} ) \varDelta^*(x) k(x,dg) T(c, dx) = {\mathbb E}_{\eta} f \] for any measurable function \(f: \Omega \to {\mathbb R}_+\), where the function \(\varDelta^*\) : \(S \to\) \((0, \infty)\) is defined by \(\varDelta^*(x)\) \(=\) \(\varDelta ( g_x^{-1})\), \(x \in S\), \(g_x \in G_{c,x}\) with a modular function \(\varDelta\) : \(G \to\) \((0, \infty)\) and \(G_{c,x}\) \(:=\) \(\{ g \in G\); \(gc = x \}\). \noindent Theorem 2. Let \(\xi\) and \(\eta\) be invariant random measures on \(S\) with positive and finite intensities. Then there exists a \({\mathbb P}\)-a.e. \(( \xi, \eta)\)-balancing invariant weighted transport-kernel \(T\) satisfying \[ \int \varDelta^*(x) T(c, dx) = 1 \] if and only if \({\mathbb E} [ \xi(B) | {\mathcal I}] = {\mathbb E}[ \eta(B) | {\mathcal I} ]\), \({\mathbb P}\)-a.e. for some \(B \in {\mathcal S}\) satisfying \(0 <\) \(\mu(B) <\) \(\infty\). Moreover \noindent Theorem 3. Let \(\xi\) be an invariant random measure on \(S\). The measure \({\mathbb Q}\) on \(\Omega\) is a Palm measure of \(\xi\) at \(c\) with respect to some \(\sigma\)-finite invariant measure if and only if \({\mathbb Q}\) is \(\sigma\)-finite and invariant under \(G_c\), \({\mathbb Q}(\xi(S)\) \(= 0)\) \(=0\), and \[ {\mathbb E}_{ {\mathbb Q} } \iint f(\theta_g^{-1}, g^{-1}c) \varDelta^*(x) k(x, dg) \xi(dx) = {\mathbb E}_{ {\mathbb Q} } \int f(\theta_e, x) \xi(dx) \] for any measurable function \(f : \Omega \times S \to {\mathbb R}_+\). For some basic results on invariance and transport properties of Palm measures, see e.g.\textit{G. Last} and \textit{H. Thorisson} [Ann.\ Probab. 37, No.2, 790--813 (2009; Zbl 1176.60036)]; and \textit{J. Mecke} [Z.\ Wahrsch. Verw.\ Geb.\ 9, 36--58 (1967; Zbl 0164.46601)] for Mecke's intrinsic characterization of Palm measure, and see also \textit{W. Rother} and \textit{M. Zähle} [Math.\ Nachr. 149, 255--263 (1990; Zbl 0723.60054)] for a basic result on Palm distributions in homogeneous spaces.
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    Random measure
    0 references
    Palm measure
    0 references
    stationarity
    0 references
    locally compact group
    0 references
    homogeneous space
    0 references
    invarinat transport-kernel
    0 references
    stationary partition
    0 references
    shift-coupling
    0 references
    0 references