A general affine Markov semigroup is formulated as the convolution of a homogeneous one with a skew convolution semigroup. We provide some sufficient conditions for the regularities of the homogeneous affine semigroup and the skew convolution semigroup. The corresponding affine Markov process is constructed as the strong solution of a system of stochastic equations with non-Lipschitz coefficients and Poisson-type integrals over some random sets. Based on this characterization, it is proved that the affine process arises naturally in a limit theorem for the difference of a pair of reactant processes in a catalytic branching system with immigration.
It is proved that a general non-differentiable skew convolution semigroup associated with a strongly continuous semigroup of linear operators on a real separable Hilbert space can be extended to a differentiable one on the entrance space of the linear semigroup. A cadlag strong Markov process on an enlargement of the entrance space is constructed from which we obtain a realization of the corresponding Ornstein-Uhlenbeck process. Some explicit characterizations of the entrance spaces for special linear semigroups are given.
A special type of immigration associated with measure-valued branching processes is formulated by using skew convolution semigroups. We give characterization for a general inhomogeneous skew convolution semigroup in terms of probability entrance laws. The related immigration process is constructed by summing up measure-valued paths in the Kuznetsov process determined by an entrance rule. The behavior of the Kuznetsov process is then studied, which provides insights into trajectory structures of the immigration process. Some well-known results on excessive measures are formulated in terms of st…
Skew convolution semigroups play an important role in the study of generalized Mehler semigroups and Ornstein-Uhlenbeck processes. We give a characterization for a general skew convolution semigroup on real separable Hilbert space whose characteristic functional is not necessarily differentiable at the initial time. A connection between this subject and catalytic branching superprocesses is established through fluctuation limits, providing a rich class of non-differentiable skew convolution semigroups. Path regularity of the corresponding generalized Ornstein-Uhlenbeck processes in different t…
Free regular convolution semigroups describe the distribution of free subortinators, while Bondesson class convolution semigroups correspond to classical subordinators with completely monotone Levy density. We show that these two classes of convolution semigroups are in bijection with the class of complete Bernstein functions and we establish an integral identity linking the two semigroups. We provide several explicit examples that illustrate this result.
This expository paper is intended for a short self-contained introduction to the theory of infinite convolutions of probability measures on Polish semigroups. We give the proofs of the Rees decomposition theorem of completely simple semigroups, the Ellis--Żelazko theorem, the convolution factorization theorem of convolution idempotents, and the convolution factorization theorem of cluster points of infinite convolutions.
We investigate relations between additive convolution semigroup and max-convolution semigroup through the law of large numbers for the free multiplicative convolution. Based on the relation, we give a formula related with Belinschi-Nica semigroup and max-Belinschi-Nica semigroup. Finally, we give several limit theorems for classical, free and Boolean extreme values.
We establish convolution inequalities for Besov spaces $B_{p,q}^s$ and Triebel--Lizorkin spaces $F_{p,q}^s$. As an application, we study the mapping properties of convolution semigroups, considered as operators on the function spaces $A_{p,q}^s$, $A \in \{B,F\}$. Our results apply to a wide class of convolution semigroups including the Gauß--Weierstraß semigroup, stable semigroups and heat kernels for higher-order powers of the Laplacian $(-Δ)^m$, and we can derive various caloric smoothing estimates.
Extension of two known facts concerning subordination is made. The first fact is that, in subordination of 1-dimensional Brownian motion with drift, selfdecomposability is inherited from subordinator to subordinated. This is extended to subordination of cone-parameter convolution semigroups. The second fact is that, in subordination of strictly stable cone-parameter convolution semigroups on $\mathbb{R}^d$, selfdecomposability is inherited from subordinator to subordinated. This is extended to semi-selfdecomposability.
Our goal is to find classes of convolution semigroups on Lie groups $G$ that give rise to interesting processes in symmetric spaces $G/K$. The $K$-bi-invariant convolution semigroups are a well-studied example. An appealing direction for the next step is to generalise to right $K$-invariant convolution semigroups, but recent work of Liao has shown that these are in one-to-one correspondence with $K$-bi-invariant convolution semigroups. We investigate a weaker notion of right $K$-invariance, but show that this is, in fact, the same as the usual notion. Another possible approach is to use genera…
We prove the asymptotic formulas for the transition densities of isotropic unimodal convolution semigroups of probability measures on $\mathbb{R} ^d$ under the assumption that its Lévy--Khintchine exponent varies slowly. We also derive some new estimates of the transition densities and Green functions.
We give sharp bounds for the isotropic unimodal probability convolution semigroups when their Lévy-Khintchine exponent has Matuszewska indices strictly between 0 and 2.
We prove the asymptotic formulas for the transition densities of isotropic unimodal convolution semigroups of probability measures on $\mathbb{R}^d$ under the assumption that its Lévy--Khintchine exponent is regularly varying of index between $0$ and $2$.
We study (weakly) continuous convolution semigroups of probability measures on a Lie group G or a homogeneous space G/K, where K is a compact subgroup. We show that such a convolution semigroup is the convolution product of its initial measure and a continuous convolution semigroup with initial measure at the identity of G or the origin of G/K. We will also obtain an extension of Dani-McCrudden's result on embedding an infinitely divisible probability measure in a continuous convolution semigroup on a Lie group to a homogeneous space.
It was recently shown by the authors that deformations of hypergroup convolutions w.r.t. positive semicharacters can be used to explain probabilistic connections between the Gelfand pairs (SL(d,C), SU(d)) and Hermitian matrices. We here study connections between general convolution semigroups on commutative hypergroups and their deformations. We are able to develop a satisfying theory, if the underlying positive semicharacter has some growth property. We present several examples which indicate that this growth condition holds in many interesting cases.
In this paper we will take under consideration subordinators and their inverse processes (hitting-times). We will present in general the governing equations of such processes by means of convolution-type integro-differential operators similar to the fractional derivatives. Furthermore we will discuss the concept of time-changed $C_0$-semigroup in case the time-change is performed by means of the hitting-time of a subordinator. We will show that such time-change give rise to bounded linear operators not preserving the semigroup property and we will present their governing equations by using aga…
Let $μ$ denote a Borel probability measure and let $\{ μ_{t} \}_{t\geq 1}$ denote the free additive convolution semigroup of Nica and Speicher. We show that the support of these measures varies continuously in the Hausdorff metric for $t >1$. We utilize complex analytic methods and, in particular, a characterization of the absolutely continuous portion of these supports due to Huang.
The subject of this paper is the study of convolution semigroups of states on a locally compact quantum group, generalising classical families of distributions of a Lévy process on a locally compact group. In particular a definitive one-to-one correspondence between symmetric convolution semigroups of states and noncommutative Dirichlet forms satisfying the natural translation invariance property is established, extending earlier partial results and providing a powerful tool to analyse such semigroups. This is then applied to provide new characterisations of the Haagerup Property and Property …
We consider the dynamics of skew product maps associated with finitely generated semigroups of rational maps on the Riemann sphere. We show that under some conditions on the dynamics and the potential function ψ, there exists a unique equilibrium state for ψand a unique $\exp(¶(ψ)-ψ)$-conformal measure, where P(ψ) denotes the topological pressure of ψ.
Let $μ$ be a probability measure (or corresponding random variable) such that all moments $μ_n$ exist. Knowledge of the moments is not sufficient to determine infinite divisibility of the measure; we show also that infinitely divisible, and in particular lognormal, distributions lose infinitely divisibilty when censored in certain ways even if all moments are arbitrarily close to those of the uncensored distribution. The moments of a composition of k copies of $μ$ are expressed as combinatorial compositions of the $μ_n$. We express the moments of the compositions in the context of occupancy pr…
In a 1999 paper, Bercovici and Pata showed that a natural bijection between the classically, free and Boolean infinitely divisible measures held at the level of limit theorems of triangular arrays. This result was extended to include monotone convolution by the authors. In recent years, operator-valued versions of free, Boolean and monotone probability have also been developed. Belinschi, Popa and Vinnikov showed that the Bercovici-Pata bijection holds for the operator-valued versions of free and Boolean probability. In this article, we extend the bijection to include monotone probability theo…
We study measures in Banach space which arise as the skew convolution product of two other measures where the convolution is deformed by a skew map. This is the structure that underlies both the theory of Mehler semigroups and operator self-decomposable measures. We show how that given such a set-up the skew map can be lifted to an operator that acts at the level of function spaces and demonstrate that this is an example of the well known functorial procedure of second quantisation. We give particular emphasis to the case where the product measure is infinitely divisible and study the second q…
Let $\mathbf{X}=\{X_t\}_{t\geq 0}$ be a Lévy process in $\mathbb{R}^d$ and $Ω$ be an open subset of $\mathbb{R}^d$ with finite Lebesgue measure. In this article we consider the quantity $H (t) = \int_Ω\mathbb{P}_{x} (X_t\in Ω^c) dx$ which is called the heat content. We study its asymptotic behaviour as $t$ goes to zero for isotropic Lévy processes under some mild assumptions on the characteristic exponent. We also treat the class of Lévy processes with finite variation in full generality.
We study the relation between Lévy processes under nonlinear expectations, nonlinear semigroups and fully nonlinear PDEs. First, we establish a one-to-one relation between nonlinear Lévy processes and nonlinear Markovian convolution semigroups. Second, we provide a condition on a family of infinitesimal generators $(A_λ)_{λ\inΛ}$ of linear Lévy processes which guarantees the existence of a nonlinear Lévy processes such that the corresponding nonlinear Markovian convolution semigroup is a viscosity solution of the fully nonlinear PDE $\partial_t u=\sup_{λ\in Λ} A_λu$. The results are illustrate…
We consider a pair of probability measures $μ,ν$ on the unit circle such that $Σ_λ(η_ν(z))=z/η_μ(z)$. We prove that the same type of equation holds for any $t\geq 0$ when we replace $ν$ by $ν\boxtimesλ_t$ and $μ$ by $\mathbb{M}_t(μ)$, where $λ_t$ is the free multiplicative analogue of the normal distribution on the unit circle of $\mathbb{C}$ and $\mathbb{M}_t$ is the map defined by Arizmendi and Hasebe. These equations are a multiplicative analogue of equations studied by Belinschi and Nica. In order to achieve this result, we study infinite divisibility of the measures associated with subord…
Belinschi and Nica introduced a composition semigroup on the set of probability measures. Using this semigroup, they introduced a free divisibility indicator, from which one can know whether a probability measure is freely infinitely divisible or not. In this paper we further investigate this indicator, introduce a multiplicative version of it and are able to show many properties. Specifically, on the first half of the paper, we calculate how the indicator changes with respect to free and Boolean powers; we prove that free and Boolean 1/2-stable laws have free divisibility indicators equal to …
We study the multiplicative convolution for c-monotone independence. This convolution unifies the monotone, Boolean and orthogonal multiplicative convolutions. We characterize convolution semigroups for the c-monotone multiplicative convolution on the unit circle. We also prove that an infinitely divisible distribution can always be embedded in a convolution semigroup. We furthermore discuss the (non)-uniqueness of such embeddings including the monotone case. Finally connections to the multiplicative Boolean convolution are discussed.
We realize the Belinschi-Nica semigroup of homomorphisms as a free multiplicative subordination. This realization allows to define more general semigroups of homomorphisms with respect to free multiplicative convolution. For these semigroups we show that a differential equation holds, generalizing the complex Burgers equation. We give examples of free multiplicative subordination and find a relation to the Markov-Krein transform, Boolean stable laws and monotone stable laws. A similar idea works for additive subordination, and in particular we study the free additive subordination associated t…
We give an analytical approach to the definition of additive and multiplicative free convolutions which is based on the theory of Nevanlinna and of Schur functions. We consider the set of probability distributions as a semigroup $\bold M$ equipped with the operation of free convolution and prove a Khintchine type theorem for the factorization of elements of this semigroup. An element of $\bold M$ contains either indecomposable ("prime") factors or it belongs to a class, say $I_0$, of distributions without indecomposable factors. In contrast to the classical convolution semigroup in the free ad…
Let M denote the space of Borel probability measures on the real line. For every nonnegative t we consider the transformation $\mathbb B_t : M \to M$ defined for any given element in M by taking succesively the the (1+t) power with respect to free additive convolution and then the 1/(1+t) power with respect to Boolean convolution of the given element. We show that the family of maps {\mathbb B_t|t\geq 0} is a semigroup with respect to the operation of composition and that, quite surprisingly, every $\mathbb B_t$ is a homomorphism for the operation of free multiplicative convolution. We prove t…
We study small time bounds for transition densities of convolution semigroups corresponding to pure jump Lévy processes in $\mathbb{R}^{d}$, $d \geq 1$, including those with jumping kernels exponentially and subexponentially localized at infinity. For a large class of Lévy measures, non-necessarily symmetric nor absolutely continuous with respect to the Lebesgue measure, we find the optimal, both in time and space, upper bound for the corresponding transition kernels at infinity. In case of Lévy measures that are symmetric and absolutely continuous, with densities $g$ such that $g(x) \asymp f(…
Suppose $λ_1$ and $λ_2$ are infinitely divisible Radon measures on real Banach spaces $E_1$ and $E_2$, respectively and let $T:E_{1} \rightarrow E_{2}$ be a Borel measurable mapping so that $T(λ_1) * ρ= λ_2 $ for some Radon probability measure $ρ$ on $E_{2}$. Extending previous results for the Gaussian and the Poissonian case, we study the problem of representing the `transition operator' $P_{T}:L^{p}(E_{2}, λ_{2}) \rightarrow L^{p}(E_{1}, λ_{1})$ given by $$ P_{T}f(x) = \int_{E_{2}}f(T(x) + y)dρ(y) %% dρ(y) instead of ρ(dy) in order to unify notations $$ as the second quantisation of a contra…
We consider the Cauchy problem for a pseudo-differential operator which has a translation-invariant and analytic symbol. For a certain set of initial conditions, a formal solution is obtained by a perturbative expansion. The series so obtained can be re-expressed in terms of generalized Feynman graphs and Feynman rules. The logarithm of the solution can then be represented by a series containing only the connected Feynman graphs. Under some conditions, it is shown that the formal solution uniquely determines the real solution by means of Borel transforms. The formalism is then applied to proba…
The free convolution is the binary operation on the set of probability measures on the real line which allows to deduce, from the individual spectral distributions, the spectral distribution of a sum of independent unitarily invariant square random matrices or of a sum of free operators in a non commutative probability space. In the same way, the rectangular free convolution allows to deduce, from the individual singular distributions, the singular distribution of a sum of independent unitarily invariant rectangular random matrices. In this paper, we consider the regularization properties of t…
We revisit the product convolution semigroup of probability densities e_c(t),c>0 on the positive half-line with moments (n!)^c and determine the asymptotic behaviour of e_c(t) for large and small t>0. This shows that (n!)^c is indeterminate as Stieltjes moment sequence if and only if c>2
We introduce a class of central symmetric infinitely divisible probability measures on compact Lie groups by lifting the characteristic exponent from the real line via the Casimir operator. The class includes Gauss, Laplace and stable-type measures. We find conditions for such a measure to have a smooth density and give examples. The Hunt semigroup and generator of convolution semigroups of measures are represented as pseudo-differential operators. For sufficiently regular convolution semigroups, the transition kernel has a tractable Fourier expansion and the density at the neutral element may…
The wrapping transformation $W$ is a homomorphism from the semigroup of probability measures on the real line, with the convolution operation, to the semigroup of probability measures on the circle, with the multiplicative convolution operation. We show that on a large class $\mathcal{L}$ of measures, $W$ also transforms the three non-commutative convolutions---free, Boolean, and monotone---to their multiplicative counterparts. Moreover, the restriction of $W$ to $\mathcal{L}$ preserves various qualitative properties of measures and triangular arrays. We use these facts to give short proofs of…
We provide a version of the stochastic Fubini's theorem which does not depend on the particular stochastic integrator chosen as far as the stochastic integration is built as a continuous linear operator from an $L^p$ space of Banach space-valued processes (the stochastically integrable processes) to an $L^p$ space of Banach space-valued paths (the integrated processes). Then, for integrators on a Hilbert space $H$, we consider stochastic convolutions with respect to a strongly continuous map $R:(0,T]\rightarrow L(H)$, not necessarily a semigroup. We prove existence of predictable versions of s…
Estimates of densities of convolution semigroups of probability measures are given under specific assumptions on the corresponding Lévy measure and the Lévy--Khinchin exponent. The assumptions are satisfied, e.g., by tempered stable semigroups of J. Rosi{ń}ski.
A time inhomogeneous generalized Mehler semigroup on a real separable Hilbert space ${\mathds{H}}$ is defined through $$ p_{s,t}f(x)=\int_{\mathds{H}} f(U(t,s)x+y)\,μ_{t,s}(dy), \quad t\geq s, \ x\in{\mathds{H}} $$ for every bounded measurable function $f$ on ${\mathds{H}}$, where $(U(t,s))_{t\geq s}$ is an evolution family of bounded operators on ${\mathds{H}}$ and $(μ_{t,s})_{t\geq s}$ is a family of probability measures on $({\mathds{H}}, \B({\mathds{H}}))$ satisfying the time inhomogeneous skew convolution equations $$μ_{t,s}=μ_{t,r}*(μ_{r,s}\circ U(t,r)^{-1}),\quad t\geq r\geq s.$$ This k…
Invariance properties of linear functionals and linear maps on algebras of functions on quantum homogeneous spaces are studied, in particular for the special case of expected coideal *-subalgebras. Several one-to-one correspondences between such invariant functionals are established. Adding a positivity condition, this yields one-to-one correspondences of invariant quantum Markov semigroups acting on expected coideal *-subalgebras and certain convolution semigroups of states on the underlying compact quantum group. This gives an approach to classifying invariant quantum Markov semigroups on th…
We investigate in more detail the two-state free convolution semigroups of pairs of measures whose Jacobi parameters are linear in the convolution parameter $t$. These semigroups were constructed in arXiv:1001.1540, where we also showed that measures with the analogous property for the usual and free convolution are exactly the classical, resp. free Meixner classes. The class of measures in this paper has not been considered explicitly before, but we show that it also has Meixner-type properties. Specifically, it appears in limit theorems, has a Laha-Lukacs-type characterization, and is relate…
We investigate convolution semigroups of probability measures with continuous densities on locally compact abelian groups, which have a discrete subgroup such that the factor group is compact. Two interesting examples of the quotient structure are the $d$--dimensional torus, and the adèlic circle. Our main result is to show that the Poisson summation formula for the density can be interpreted as a probabilistic trace formula, linking values of the density on the factor group to the trace of the associated semigroup on $L^{2}$-space. The Gaussian is a very important example. For rotationally in…
In this article we consider the Levy processes and the corresponding semigroup. We represent the generator of this semigroup in a convolution form. Using the obtained convolution form and the theory of integral equations we investigate the properties of a wide class of Levy processes (potential, quasi-potential, the probability of the Levy process remaining within the given domain, long time behavior, stable processes). We analyze in detail a number of concrete examples of the Levy processes (stable processes, the variance damped Levy processes, the variance gamma processes, the normal Gaussia…
We find necessary and sufficient conditions for a finite $K$-bi-invariant measure on a compact Gelfand pair $(G, K)$ to have a square-integrable density. For convolution semigroups, this is equivalent to having a continuous density in positive time. When $(G,K)$ is a compact Riemannian symmetric pair, we study the induced transition density for $G$-invariant Feller processes on the symmetric space $X = G/K$. These are obtained as projections of $K$-bi-invariant Lévy processes on $G$, whose laws form a convolution semigroup. We obtain a Fourier series expansion for the density, in terms of sphe…
It is shown that some convolution semigroups of infinitely divisible measures are invariant under the random integral mappings $I^{h,r}_{(a,b]}$ defined in $(\star)$ below. The converse implication is specified for the semigroups of generalized s-selfdecomposable and selfdecomposable distributions. Some application are given to the moving average fractional Lévy process (MAFLP).
We study a spatial asymptotic behaviour at infinity of kernels $p_t(x)$ for convolution semigroups of nonlocal pseudo-differential operators. We give general and sharp sufficient conditions under which the limits $$ \lim_{r \to \infty} \frac{p_t(rθ-y)}{t \, ν(rθ)}, \quad t \in T, \ \ θ\in E, \ \ y \in \mathbb R^d, $$ exist and can be effectively computed. Here $ν$ is the corresponding Lévy density, $T \subset (0,\infty)$ is a bounded time-set and $E$ is a subset of the unit sphere in $\mathbb R^d$, $d \geq 1$. Our results are local on the unit sphere. They apply to a wide class of convolution …
The note is devoted to estimates for convolutions appearing in some class of stochastic Volterra equations. Two maximal inequalities and exponential tail estimate are proved by the fractional method of infinite dimensional stochastic calculus. The paper extends on non-semigroup case some results obtained earlier for semigroups.
Every symmetric generating functional of a convolution semigroup of states on a locally compact quantum group is shown to admit a dense unital $*$-subalgebra with core-like properties in its domain. On the other hand we prove that every normalised, symmetric, hermitian conditionally positive functional on a dense $*$-subalgebra of the unitisation of the universal C$^*$-algebra of a locally compact quantum group, satisfying certain technical conditions, extends in a canonical way to a generating functional. Some consequences of these results are outlined, notably those related to constructing c…
