Symmetric stable semigroups on the infinite dimensional torus (Q1895659)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Symmetric stable semigroups on the infinite dimensional torus
scientific article

    Statements

    Symmetric stable semigroups on the infinite dimensional torus (English)
    0 references
    16 April 1996
    0 references
    Let \((\mu_t)_{ t>0}\) be the Brownian semigroup on the torus \(T\). For each sequence \({\mathcal A}= \{a_k \}_1^\infty\) of strictly positive numbers, and for each \(t>0\), let \(\mu_t^{\mathcal A}= \otimes_{k=1}^\infty \mu_{ta_k}\) be the product measure on the infinite dimensional torus \(T^\infty\). For each \(\alpha\in (0,1)\), let \((\mu_t^{{\mathcal A}, \alpha} )_{t> 0}\) be the convolution semigroup on \(T^\infty\) which is subordinated to \((\mu_t^{\mathcal A} )_{t> 0}\) by means of the one-sided stable semigroup on \(\mathbb{R}\) of index \(\alpha\). This semigroup, called the symmetric stable semigroup, generates a satisfactory potential theory provided the following two properties are satisfied: (i) For each \(t>0\), the measure \(\mu_t^{{\mathcal A}, \alpha}\) is absolutely continuous with respect to the Haar measure, and (ii) for each \(t>0\) the density \(\mu_t^{{\mathcal A},\alpha} (x)\) is a continuous function. These two properties are the main object of the paper under review. Continuity of the density \(\mu_t^{{\mathcal A},\alpha} (x)\) depends on the asymptotics of the counting function \(N^{\mathcal A} (\lambda)= \sum_{a_k\leq \lambda} 1\) as \(\lambda\to \infty\). One of the author's results is that \(\mu_t^{{\mathcal A},\alpha} (x)\) is continuous for every \(t>0\) if and only if \(N^{\mathcal A} (\lambda)= o(\lambda^{\alpha/ (1- \alpha)})\) as \(\lambda\to \infty\). Several precise sufficient conditions for continuity are also given. One of the crucial points of the author's investigation is the identity \[ \log \mu_t^{\mathcal A} (0)= k* N^{\mathcal A} (1/t) \] where \(*\) denotes the Mellin convolution on \(\mathbb{R}\), and \(k\) is a function not depending on the semigroup. This identity gives precise information on the decay of the function \(t\mapsto \mu_t^{\mathcal A}\) as \(t\to 0\).
    0 references
    absolutely continuous measure
    0 references
    Brownian semigroup
    0 references
    infinite dimensional torus
    0 references
    symmetric stable semigroup
    0 references
    potential theory
    0 references
    density
    0 references
    asymptotics of the counting function
    0 references
    Mellin convolution
    0 references

    Identifiers

    0 references
    0 references
    0 references
    0 references