The Positive Maximum Principle on Symmetric Spaces

TL;DR

This paper extends the Courr extbackslash'ege theorem to symmetric spaces, introducing Gangolli operators that generalize Lévy process generators and characterizing their pseudo-differential nature on compact spaces.

Contribution

It generalizes the positive maximum principle to symmetric spaces and introduces Gangolli operators, broadening the understanding of generators of Feller--Markov processes in this context.

Findings

Gangolli operators satisfy the positive maximum principle.

On compact symmetric spaces, Gangolli operators are pseudo-differential with scalar symbols.

The framework applies to Lévy processes on symmetric spaces.

Abstract

We investigate the Courr\`{e}ge theorem in the context of linear operators $A$ that satisfy the positive maximum principle on a space of continuous functions over a symmetric space. Applications are given to Feller--Markov processes. We also introduce Gangolli operators, which satisfy the positive maximum principle, and generalise the form associated with the generator of a L\'{e}vy process on a symmetric space. When the space is compact, we show that Gangolli operators are pseudo--differential operators having scalar symbols.

Equations

$$\sum _{i=1}^m{x}_i(kg)X_i=\sum _{i=1}^m{x}_i(g)\mathrm{Ad}(\mathrm{k}){\mathrm{X}}_{\mathrm{i}}.$$

$$Xf(gk)$$

$$XYf(gk)$$

$$X(f\circ c_k)(g)$$

$$XY(f\circ c_k)(g)$$

$$Xf(g)=0.$$

$$\tilde{X}(gK):={\varphi }_g(X),$$

$$|Pf|\le C\sum _{|\alpha |\le k}||{\tilde{X}}^{\alpha }f|{|}_{\infty },$$

$$||f|{|}_{\infty }+\sum _{i=1}^m||{\tilde{X}}_{i}f|{|}_{\infty }+\cdots +\sum _{i_1,i_2,\dots ,i_k=1}^m||{\tilde{X}}_{i_1}{\tilde{X}}_{i_2}\cdots {\tilde{X}}_{i_k}f|{|}_{\infty }.$$

$$\mu (\{e\})=0,\nu (U^c)<\infty \text{mbox}and{\int }_U\sum _{i=1}^m{x}_i(g{)}^2\mu (dg)<\infty ,$$

$$Tf$$

$$Af(\sigma )$$

$$Bf(g)=\sum _{i=1}^m{b}_i(\sigma )X_{i}f(g)+\sum _{j,k=1}^m{a}_{jk}(g)X_j{X}_{k}f(g),$$

$$Bf(g)=\alpha (g)\Delta f(g),$$

$$[\mathrm{Ad}(\mathrm{k})]=\mathrm{U}\mathrm{Ad}(\mathrm{k}){\mathrm{U}}^{-1},$$

$$[\mathrm{Ad}(\mathrm{k})]\mathrm{a}(\mathrm{g})=\mathrm{a}(\mathrm{g})[\mathrm{Ad}(\mathrm{k})],$$

$$p_t(\sigma ,B)=P(X(t)\in B|X(0)=\sigma ).$$

$$p_t(\sigma k,B{k}^{\prime })=p_t(\sigma ,B)$$

$$T_{t}f(\sigma )=\mathbb{E}(f(X_t)|X(0)=\sigma )={\int }_{G}f(\tau )p_t(\sigma ,d\tau ),$$

$$q_t(\sigma K,BK)=p_t(\sigma ,B),$$

$$S_{t}f(x)={\int }_{M}f(y)q_t(x,dy),$$

$$T_t(f\circ ♮)=(S_{t}f)\circ ♮,$$

$$p_t(g\sigma k,gB{k}^{\prime })=p_t(\sigma ,B)$$

$$Af(g)=a\Delta f(g)+{\int }_G\left(f(\sigma \tau )-f(\sigma )-\sum _{i=1}^m{x}_i(\tau )X_{i}f(\sigma )\right)\mu (d\tau )$$

$$\mathbb{E}(\varphi (X(t))={\int }_G\varphi (g){\rho }_t(dg)=e^{-t{\eta }_{\varphi }},$$

$${\eta }_{\varphi }=c_{\varphi }+{\int }_G(1-\varphi (g))\mu (dg),$$

$$Af(\sigma )$$

$$\underset{\sigma \in G}{\sup }{\int }_G||x(\tau )|{|}_{{\mathbb{R}}^m}\mu (\sigma ,d\tau )<\infty .$$

$${\int }_G{x}_i(\tau )\mu (\sigma ,d\tau )=0,$$

$$Af(\sigma )=a(\sigma )\Delta f(\sigma )+{\int }_G(f(\sigma \tau )-f(\sigma ))\mu (\sigma ,d\tau ),$$

$$A\varphi (g)=-{\eta }_{g,\varphi }\varphi (g)$$

Full text

1 Introduction

Consider a linear operator $A$ defined on the space $C_{c}^{\infty}(\mathbb{R}^{d})$ of smooth functions of compact support. If it satisfies the positive maximum principle (PMP), then by a classical theorem of Courrège [7] $A$ has a canonical form as the sum of a second–order elliptic differential operator and a non–local integral operator. Furthermore $A$ may also be written as a pseudo–differential operator whose symbol is of Lévy–Khintchine type (but with variable coefficients). This result is of particular importance for the study of Feller–Markov processes in stochastic analysis. The infinitesimal generator of such a process always satisfies the PMP, and so has the canonical form just indicated. The use of the symbol to investigate probabilistic properties of the process has been an important theme of much recent work in this area (see e.g. [12], [6] and references therein).

In a recent paper [5], the authors generalised the Courrège theorem to linear operators satisfying the PMP on a Lie group $G$. The key step was to replace the set of first order partial derivatives $\{\partial_{1},\ldots,\partial_{d}\}$ by a basis $\{X_{1},\ldots,X_{d}\}$ for the Lie algebra $\mathfrak{g}$ of $G$. In this case, when $G$ is compact, we find that the operator is a pseudo–differential operator in the sense of Ruzhansky and Turunen [17], with matrix–valued symbols, obtained using Peter–Weyl theory.

In the current paper, we extend the Courrège theorem to symmetric spaces $M$. Since any such space is a homogeneous space $G/K$, where $K$ is a compact subgroup of the Lie group $G$, we may conjecture that the required result can be obtained from that of [5] by use of projection techniques; however, this is not the case as a linear operator that satisfies the PMP on $C_{c}^{\infty}(G/K)$ may not satisfy it on $C_{c}^{\infty}(G)$. Nonetheless, a straightforward variation on the proof given in [5] does enable us to derive the required result. As we might expect, the symmetries that are brought into play by the subgroup $K$, imposes constraints on the coefficients of the operator $A$.

The key probabilistic application of our result is that we obtain a canonical form for the generators of Feller processes on symmetric spaces. The case where the transition probabilities of $M$–valued Markov processes are $G$–invariant is the topic of a recent research monograph [15]. There has been considerable interest in the case where such a process arises as the projection of a $K$–bi–invariant Lévy process in $G$ as in this case there is an analogue of the Lévy–Khintchine formula (due to Gangolli [9]). For recent work in this area, see e.g. [4] and references therein.

When we come to study pseudo–differential operators, we again assume that $G$ (and hence $M$) is compact. We study a class of linear operators, which we call Gangolli operators (in recognition of the important contributions of Ramesh Gangolli [9] to this field). These satisfy the PMP, and their structure generalises those obtained from the $K$–bi–invariant Lévy processes. They all have a scalar–valued symbol which is defined using the spherical transform, rather than the full Fourier transform on the group as in [2].

Many of the results of this paper first appeared in the PhD thesis [13], but our approach here is a little different.

Notation. Throughout this paper, $G$ is a Lie group having neutral element $e$, dimension $d$ and Lie algebra $\mathfrak{g}$. The exponential map from $\mathfrak{g}$ to $G$ will be denoted as $\exp$. The Borel $\sigma$–algebra of $G$ is denoted as ${\mathcal{B}}(G)$. We denote by ${\mathcal{F}}(G)$, the linear space of all real–valued functions on $G$, $B_{b}(G)$ the Banach space (with respect to the supremum norm $||\cdot||_{\infty}$) of all bounded Borel measurable real–valued functions on $G$, $C_{0}(G)$ the closed subspace of all continuous functions on $G$ that vanish at infinity, and $C_{c}^{\infty}(G)$ the dense linear manifold in $C_{0}(G)$ of smooth functions with compact support.

2 Preliminaries on Lie Groups and Symmetric Spaces

Let $M$ be a globally Riemannian symmetric space. Then (see Theorem 3.3 in [10] p.208) there exists a Lie group $G$ and a compact subgroup $K$ of $G$ such that $M$ is diffeomorphic to the homogeneous space of left cosets $G/K$. As is standard procedure we will identify $M$ with $G/K$ henceforth, and write $\natural$ for the canonical continuous surjection from $G$ to $M$ which maps each $g\in G$ to the coset $gK$. We write $o=\natural(e)$. We have a natural identification between the space $C_{0}(M)$ and the closed subspace $C_{0}(G/K)$ of $C_{0}(G)$ comprising functions on $G$ that are right $K$–invariant.

At the Lie algebra level, we have the Cartan decomposition $\mathfrak{g}=\mathfrak{k}\oplus\mathfrak{p}$, where $\mathfrak{k}$ is the Lie algebra of $K$ and $d\natural_{e}$ is a linear isomorphism between $\mathfrak{p}$ and $T_{o}(M)$ (see e.g. Theorem 3.3 in [10] pp.208–9). There is an Ad$(K)$–invariant inner product on $\mathfrak{g}$ which corresponds to the Riemannian metric on $M$. We will choose once and for all a basis $\{X_{1},\ldots,X_{d}\}$ for $\mathfrak{g}$ where $d=$ dim$(G)$, and order this so that $\{X_{1},\ldots,X_{m}\}$ is a basis for $\mathfrak{p}$, where $m=$ dim$(M)$.

We fix a system of canonical co–ordinates $(x_{1},\ldots,x_{d})$ at $e$ which we extend to $G$ such that $x_{i}\in C_{c}^{\infty}(G)$ for $i=1,\ldots,d$. Following [16] and [15] pp. 77–8, we assume that for each $j=1,\ldots,m,g\in G,k\in K,x_{j}(gk)=x_{j}(g)$ and

[TABLE]

Standard Lie group calculations establish the following for each $f\in C^{\infty}(G/K),g\in G,k\in K,X,Y\in\mathfrak{p}$,

[TABLE]

and

[TABLE]

where $c_{k}(g)=kgk^{-1}$.

We also have that for all $X\in\mathfrak{k},f\in C^{\infty}(G/K),g\in G$,

[TABLE]

As for each $k\in K,\rm{Ad}(k)$ maps $\mathfrak{p}$ linearly to $\mathfrak{p}$, we can associate to it the $m\times m$ matrix $[\rm{Ad}(k)]$, with respect to the basis $X_{1},\ldots,X_{m}$, in the usual way. We say that a vector $b\in\mathbb{R}^{m}$ is Ad$(K)$–invariant if $b=\rm{Ad}(k)^{T}b$ for all $k\in K$. Similarly, an $m\times m$ real–valued matrix $C$ is Ad$(K)$–invariant if $C=\rm{Ad}(k)^{T}C\rm{Ad}(k)$ for all $k\in K$. If we require that $\{X_{1},\ldots,X_{m}\}$ is an orthonormal basis for $\mathfrak{p}$, then the matrix $[\rm{Ad}(k)]$ is unitary, and we may drop the transposes in the definition of Ad$(K)$–invariance for both vectors and matrices.

Let $\sigma:G\rightarrow\mbox{Diff}(M)$ be the left action given by $\sigma(g)hK=ghK$ for all $g,h\in G$. For each $g\in G$, the mapping $\phi_{g}:=d\sigma(g)\circ d\natural_{e}$ is a linear isomorphism between $\mathfrak{p}$ and $T_{gK}(M)$. We obtain a useful family of smooth vector fields on $M$ by defining

[TABLE]

for each $g\in G,X\in\mathfrak{p}$.

3 The Positive Maximum Principle and the Courrège Theorem

Let $E$ be a locally compact Hausdorff space and ${\mathcal{C}}$ be a closed subspace of $C_{0}(E)$, which is the real Banach space of all real–valued continuous functions defined on $E$, equipped with the uniform topology. We also choose ${\mathcal{F}}$ to be a sub–algebra of the real algebra ${\mathcal{F}}(E,\mathbb{R})$ of all real–valued functions defined on $E$.

A linear operator $A:D_{A}\subseteq{\mathcal{C}}\rightarrow{\mathcal{F}})$ (where $D_{A}:=$Dom$(A)$) is said to satisfy the positive maximum principle on ${\mathcal{C}}$ (PMP for short) if $f\in D_{A}$ and $f(x_{0})=\sup_{x\in E}f(x)\geq 0$ implies that $Af(x_{0})\leq 0$. In our previous paper [5], we studied the PMP with $E=C_{0}(G)$ and ${\mathcal{F}}={\mathcal{F}}(G,\mathbb{R})$ . In this paper we will take $E$ to be $C_{0}(M)$, or equivalently $C_{0}(G/K)$. We will be interested in a class of distributions on $M$ that we define as follows: A $\mathfrak{p}$-induced distribution $P$ on $M$ is a real–valued linear functional defined on $C_{c}^{\infty}(M)$ such that for every compact set $H$ contained in $M$, there exists $k\in\mathbb{Z}_{+},C>0$ so that for all $f\in C_{c}^{\infty}(H)$,

[TABLE]

where, as in [5] the sum on the right hand side of (3.1) is a convenient shorthand for

[TABLE]

We say that $P$ is of order $k$ if the same $k$ may be used in (3.1) for all compact $H\subseteq M$. The set of all $\mathfrak{p}$-induced distributions on $M$ is in one–to–one correspondence with a class of distributions on $C^{\infty}(G/K)$ which are defined exactly as above but with each $\widetilde{X}$ replaced by $X$. We will call these $\mathfrak{p}$-induced distributions on $G$. These are clearly very closely related to the class of distributions on $G$ studied in [5].

We say that a linear functional $T:C_{c}^{\infty}(G/K)\rightarrow\mathbb{R}$ satisfies the positive maximum principle (PMP) if $f\in C_{c}^{\infty}(G/K)$ with $f(e)=\sup_{g\in G}f(g)\geq 0$ then $Tf\leq 0$. Similarly to Theorem 3.3 in [5], but also making use of (2.4), we can show that any such linear functional satisfying the PMP is a $p$–induced distribution of order $2$.

In this paper a $K$–right–invariant Lévy measure $\mu$ on $G$ will be a $K$–right–invariant Borel measure $\mu$ such that

[TABLE]

for every canonical co–ordinate neighbourhood $U$ of $e$. Such measures are in one–to–one correspondence with Lévy measures on $M$ as defined in [16] and [14] p.42.

Theorem 3.1**.**

Let $T:C_{c}^{\infty}(G/K)\to\mathbb{R}$ be a linear functional satisfying the positive maximum principle. Then there exists $c\geq 0,b=(b_{1},\ldots,b_{m})\in\mathbb{R}^{m}$, a non–negative definite symmetric $m\times m$ real–valued matrix $a=(a_{ij})$, and a $K$–right–invariant Lévy measure $\mu$ on $G$ such that

[TABLE]

for all $f\in C_{c}^{\infty}(G/K)$. Conversely any linear functional from $C_{c}^{\infty}(G/K)$ to $\mathbb{R}$ which takes the form (3.2) satisfies the positive maximum principle.

Proof.

This is established along similar lines to Theorems 3.4 and 3.5 in [5]. Note that the role of the function $\sum_{i=1}^{d}x_{i}^{2}$ in that paper is now played by $\sum_{i=1}^{m}x_{i}^{2}$. Also we exploit the correspondence between $\mathfrak{p}$–induced distributions on $M$ and on $G$ to first associate $\mu$ to a $\mathfrak{p}$–induced distribution of order zero on $M$ using the Riesz representation theorem in $C_{c}^{\infty}(M)$, and then identify it with a $K$–right–invariant measure on $G$. ∎

By a $K$–right–invariant Lévy kernel, we will mean a mapping $\mu:G\times{\cal B}(G)\rightarrow[0,\infty]$ which is such that for each $g\in G,\mu(g,\cdot)$ is a $K$–right–invariant Lévy measure.

Theorem 3.2**.**

The mapping $A:C_{c}^{\infty}(G/K)\rightarrow{\mathcal{F}}(G)$ satisfies the PMP if and only if there exist functions $c,b_{i},a_{jk}~{}(1\leq i,j,k\leq m)$ from $G$ to $\mathbb{R}$, wherein $c$ is non–negative, and the matrix $a(\sigma):=(a_{jk}(\sigma))$ is non–negative definite and symmetric for all $\sigma\in G$, and a $K$–right–invariant Lévy kernel $\mu$, such that for all $f\in C_{c}^{\infty}(G/K),\sigma\in G$,

[TABLE] 2. 2.

The mapping $A:C_{c}^{\infty}(G/K)\rightarrow{\mathcal{F}}(G/K)$ satisfies the PMP if and only if there exist $c,b,a,\mu$ as in (1) such that (3.3) holds, and we also have that for all $g\in G,k\in K$,

1. (I)

$c(gk)=c(g),$** 2. (II)

$b(g)=[Ad(k)]^{T}b(gk)$, 3. (III)

$a(g)=[Ad(k)]^{T}a(gk)[Ad(k)],$** 4. (IV)

$\mu(gk,B)=\mu(g,kB)$, for all $B\in{\mathcal{B}}(G)$. 3. 3.

The mapping $A:C_{c}^{\infty}(K\backslash G/K)\rightarrow{\mathcal{F}}(K\backslash G/K)$ satisfies the PMP if and only if there exist $c,b,a,\mu$ as in (1) such that (3.3) holds, and we also have that for all $g\in G,k,k^{\prime}\in K$,

1. (V)

$c(kgk^{\prime})=c(g),$** 2. (VI)

$b(g)=b(kgk^{\prime})$* and $b(g)$ is Ad*$(K)$–invariant, 3. (VII)

$a(g)=a(kgk^{\prime})$* and $a(g)$ is Ad*$(K)$–invariant, 4. (VIII)

$\mu(gk^{\prime},B)=\mu(kg,k^{\prime}B)$, for all $B\in{\mathcal{B}}(G)$.

Proof.

This is proved by defining the linear functional $Af(e)$ and using the result of Theorem 3.1 together with left translation, just as in the proof of Theorem 3.6 in [5]. 2. 2.

This follows from (1) using the fact that we now have $R_{k}Af=Af$ for all $k\in K$, and then applying (2.1) and (2) and using uniqueness of $c,b,a$ and $\mu$. 3. 3.

We first establish the analogue of Theorem 3.1 for real linear functionals defined on $C^{\infty}_{c}(K\backslash G/K)$. The proof is as before, but when we use the Riesz representation theorem, we must identify $C^{\infty}_{c}(K\backslash G/K)$ with $C_{c}^{\infty}(N)$, where $N:=\{KgK;g\in G\}$ is the double–coset space, which is known (and easily shown) to be locally compact and Hausdorff. (V) and (VIII) follow from (1) and (2) and uniqueness of $c,b,a$ and $\mu$, using the fact that in addition to $R_{k^{\prime}}Af=Af$ for all $k^{\prime}\in K$ we also have $L_{k}Af=Af$ for all $k\in K$. The latter, when combined with (II) and (III) also yield $b(g)=[Ad(k^{\prime})]^{T}b(kgk^{\prime})$ and $a(g)=[Ad(k^{\prime})]^{T}a(kgk^{\prime})[Ad(k^{\prime})],$ for all $g\in G,k,k^{\prime}\in K$. However since $f\circ c_{k}=f$, for all $k\in K$, we may apply (2) at $g=e$ to obtain $b(e)=[Ad(k)]^{T}b(e)$ and $a(e)=[Ad(k)]^{T}a(e)[Ad(k)]$. By the construction of Theorem 3.6 in [5], we then find that $b(g)=[Ad(k)]^{T}b(g)$ and $a(g)=[Ad(k)]^{T}a(g)[Ad(k)]$ for all $g\in G$. Combining these with the identities obtained earlier in the proof yield the $K$–bi–invariance in (VI) and (VII).

∎

Remarks

In each of the three cases dealt with in Theorem 3.2, we can ensure that the range of $A$ is in an appropriate space of continuous functions that vanish at infinity by imposing the conditions of Theorems 3.7 and 3.8 in [5]. 2. 2.

We may also reformulate each part of Theorem 3.2 directly in $C_{0}(M)$ by replacing $X_{i}$ with $\widetilde{X}_{i},i=1,\ldots,m$. The role of Ad is then played by the isotropy representation of $K$ in $T_{o}(M)$, and in (3) we must introduce the space of functions on $M$ that are $\sigma(K)$–invariant.

Now consider a diffusion operator $B:C_{c}^{\infty}(K\backslash G/K)\rightarrow{\mathcal{F}}(K\backslash G/K)$ which satisfies the positive maximum principle and takes the form

[TABLE]

for each $f\in C_{c}^{\infty}(K\backslash G/K),g\in G$. Then conditions (VI) and (VII) of Theorem 3.2 (3) hold.

We say that the standard irreducibility conditions hold for the pair $(K,\mathfrak{p})$ if

$\{X_{1},\ldots,X_{m}\}$ is an orthonormal basis for $\mathfrak{p}$. 2. 2.

$\rm{Ad}(K)$ acts irreducibly on $\mathfrak{p}$. 3. 3.

dim$(M)>1$.

The following result is well–known when the vector–valued function $b$ and matrix–valued function $a$ is constant (see e.g. Proposition 3.2 in [15], p.77).

Theorem 3.3**.**

Let $B:C_{c}^{\infty}(K\backslash G/K)\rightarrow{\mathcal{F}}(K\backslash G/K)$ be a diffusion operator of the form (3.4) and assume that the standard irreducibility conditions hold. Then for each $f\in C_{c}^{\infty}(K\backslash G/K),g\in G$.

[TABLE]

where $\alpha$ is a $K$–bi–invariant mapping from $G$ to $[0,\infty)$ and $\Delta=\sum_{i=1}^{m}X_{i}^{2}$ is the “horizontal Laplacian”.

Proof.

(Sketch) For each $k\in K$, we have

[TABLE]

where $U$ is the unitary isomorphism from $\mathfrak{p}$ to $\mathbb{R}^{m}$ which maps $X_{i}$ to $e_{i}$ for $i=1,\ldots m$, where $\{e_{1},\ldots,e_{m}\}$ is the natural basis for $\mathbb{R}^{m}$. It is straightforward to verify that $k\rightarrow[\rm{Ad}(k)]$ is an irreducible unitary representation of $K$ on $\mathbb{R}^{m}$. But from (VII) we have that for each $g\in G,k\in K$,

[TABLE]

and so $a(g)=\alpha(g)I_{d}$, by Schur’s lemma. Since $b(g)\in\mathfrak{p}$ for all $g\in G$, then $b(g)=0$ by (VI) and the irreducibility conditions.

∎

4 Applications to Feller Processes

Let $(\Omega,{\mathcal{F}},P)$ be a probability space wherein ${\mathcal{F}}$ is equipped with a filtration of sub–$\sigma$–algebras. Let $X=(X(t),t\geq 0)$ be a (homogeneous) Markov process defined on $\Omega$ and taking values in $G$. We define transition probabilities in the usual way so for each $t\geq 0,\sigma\in G,B\in{\mathcal{B}}(G)$,

[TABLE]

We say that the process $X$ is $K$–right–invariant if

[TABLE]

for all $t\geq 0,\sigma\in G,B\in{\mathcal{B}}(G),k,k^{\prime}\in K$. Define the transition operators $(T_{t},t\geq 0)$ for the process $X$ by the prescription

[TABLE]

for all $f\in B_{b}(G),\sigma\in G,t\geq 0$. If $X$ is $K$–right–invariant, it follows from (4.1) that $T_{t}$ preserves the space $B_{b}(G/K)$ for all $t\geq 0$. We say that $X$ is a $K$–right–invariant Feller process if $(T_{t},t\geq 0)$ is a $C_{0}$–semigroup111Note that we do not require $(T_{t},t\geq 0)$ to be a $C_{0}$–semigroup on $C_{0}(G)$, and so $X$ may not be a Feller process on $G$, in the usual sense. on the Banach space $C_{0}(G/K)$. If $A$ denotes the infinitesimal generator of $(T_{t},t\geq 0)$, then a standard argument using (4.1) shows that $A$ satisfies the positive maximum principle (see e.g. Lemma 4.1 in [5]). Hence if $C_{c}^{\infty}(G/K)\subseteq$ Dom$(A)$, then $A$ takes the form (3.3)on $C_{c}^{\infty}(G/K)$ with the conditions of Theorem 3.2(2) holding.

If $X$ is a $K$–right–invariant Markov process on $G$, the prescription $Y(t)=\natural(X(t))$ induces a Markov process $Y=(Y(t),t\geq 0)$ on $M$, and then the transition probabilities of $Y$ are given by

[TABLE]

for all $t\geq 0,\sigma\in G,B\in{\mathcal{B}}(G)$, where $BK:=\{gk,g\in B,k\in K\}$. The transition operators of $Y$ are defined by

[TABLE]

and it is easy to see that

[TABLE]

for all for all $f\in B_{b}(M),x\in M,t\geq 0$ (c.f. Proposition 1.16 in [15], p.16). If $X$ is a $K$–right–invariant Feller process in $G$, then $Y$ is a Feller process in $X$.

We say that a $K$–right–invariant Markov process in $G$ is spherical if its transition probabilities are also left $G$–invariant, i.e.

[TABLE]

for all $t\geq 0,g,\sigma\in G,B\in{\mathcal{B}}(G),k,k^{\prime}\in K$. It is not difficult to check that if $X$ is spherical Markov, then $T_{t}$ preserves the space $B_{b}(K\backslash G/K)$ for all $t\geq 0$. In this case $Y$ is a $G$–invariant Markov process in $M$, as discussed in section 1.1 of [15]. We say that a spherical Markov process is spherical Feller if $(T_{t},t\geq 0)$ is a $C_{0}$–semigroup on the Banach space $C_{0}(K\backslash G/K)$. In this case, if $C_{c}^{\infty}(K\backslash G/K)\subseteq$ Dom$(A)$, then $A$ takes the form (3.3) on $C_{c}^{\infty}(K\backslash G/K)$ with the conditions of Theorem 3.2(3) holding.

An important example of a spherical Feller process is a spherical Lévy process. This is essentially a (left) Lévy process (i.e. a process with stationary and independent increments) in $G$ having $K$–bi–invariant laws [14], with $X(0)$ being uniformly distributed on $K$. Define $\rho_{t}(B)=P(X(t)\in B)$ for all $t\geq 0,B\in{\mathcal{B}}(G)$. Then $(\rho_{t},t\geq 0)$ is a weakly–continuous convolution semigroup of $K$–bi–invariant probability measures on $G$, wherein $\rho_{0}$ is normalised Haar measure on $K$. In this case the transition probabilities are given by $p_{t}(\sigma B)=\rho_{t}(\sigma^{-1}B)$ for each $t\geq 0,\sigma\in G,B\in{\mathcal{B}}(G)$. An interesting case is obtained by assuming that the standard irreducibility conditions hold. It then follows by Theorems 3.3 (3) and 3.3 (see also arguments in [1], [16] and section 5.5 in [15]) that the generator

[TABLE]

for each $f\in C_{c}^{\infty}(K\backslash G/K),g\in G$ where $a\geq 0$ and $\mu$ is a $K$–bi–invariant Lévy measure in $G$. Note that (4.2) is a special case of (3.3) wherein $b=c=0$, the matrix–valued function $a$ is a constant multiple of the identity, and the Lévy kernel reduces to a Lévy measure. We refer readers to Theorem 4.5 in [5] for further discussion of the relation between translation invariance of the semigroup and the appearance of constant coefficients in Theorem 3.2. We remark that the operator $\Delta$ is the lift of the Laplace–Beltrami operator $\Delta_{M}$ in $M$, in that $\Delta(f\circ\natural)=\Delta_{M}f\circ\natural$, for all $f\in C_{c}^{\infty}(M)$. Under these conditions we also have an extension of Gangolli’s Lévy–Khinchine formula [9], due to Liao and Wang [16], Theorem 2 (see also Theorem 5.3 in [15], p.139). To be precise, if $\phi$ is a bounded spherical function222See e.g. [11] for background on spherical functions. on $G$ then for all $t\geq 0$

[TABLE]

where

[TABLE]

and $c_{\phi}\geq 0$ with $\Delta\phi=c_{\phi}\phi.$

5 A Class of Pseudo–differential Operators in Compact Symmetric Spaces

We begin by considering the following class of linear operators that satisfy the positive maximum principle:

[TABLE]

for all $f\in C_{c}^{\infty}(K\backslash G/K),\sigma\in G$.

Note that here $a$ is a scalar–valued function and that, if the irreducibility conditions hold, then the form of the second order part of the generator is determined by Theorem 3.3. Clearly (4.2) is a special case of (5.1), wherein the coefficients are constant.

We assume that the conditions of Theorems 3.7 and 3.8 in [5] hold as well as those of Theorem 3.2(3), so that $A$ maps $C_{c}^{\infty}(K\backslash G/K)$ to $C_{0}(K\backslash G/K)$. Note that in particular, the function $a$ is now required to be continuous. We further impose the first moment condition

[TABLE]

Then by Theorem 3.3, we have

[TABLE]

for all $i=1,\ldots,m,\sigma\in G$, and we may rewrite (5.1) as

[TABLE]

We call operators of the form (5.2) Gangolli operators, for reasons that will become clearer below.

If $\phi$ is a bounded spherical function on $G$ we have for all $g\in G$

[TABLE]

where

[TABLE]

and we see that (5.4) is a natural generalisation to variable coefficients of the characteristic exponent (4.4) which appears in Gangolli’s Lévy–Khinchine formula (4.3). The eigenrelation (5.4) is easily derived using the functional equation for spherical functions

[TABLE]

for all $g,h\in G$, and the fact that $\mu(\sigma,kd\tau)=\mu(\sigma,d\tau)$ for all $k\in K$ within (5.2).

Now let $M$ be a compact symmetric space, so that $G$ is a compact Lie group. Let $\widehat{G}$ be the unitary dual of $G$, i.e. the set of all equivalence classes (with respect to unitary conjugation) of irreducible unitary representations of $G$. We denote by $V_{\pi}$ the representation space of $\pi$, so $\pi(g)$ is a unitary operator on $V_{\pi}$ for all $g\in G$. Then $V_{\pi}$ is finite–dimensional and we write $d_{\pi}:=$dim$(V_{\pi})$. We denote by $\widehat{G}_{S}$ the subset of $\widehat{G}$ comprising irreducible spherical representations, so $\pi\in\widehat{G}_{S}$ if and only if there exists $u\in V_{\pi}$ such that $\pi(k)u=u$ for all $k\in K$. In fact, the subspace of all such $u$ is one–dimensional, and from now on we fix $||u||=1$.333For background on spherical representations, see e.g. [19].

Every spherical function on $G$ is bounded and positive definite and takes the form $\phi_{\pi}$, where $\pi\in\widehat{G}_{S}$ and

[TABLE]

for all $g\in G$ (see e.g. [19]). In particular, it follows that $|\phi_{\pi}(g)|\leq 1$.

The theory of pseudo–differential operators on compact groups and homogeneous spaces has been developed by Ruzhansky and Turunen in [17]. As in our previous paper [5], we take a pragmatic approach to this concept and define these operators in what we hope will be a very straightforward manner. By the Peter–Weyl theorem in compact symmetric spaces, we can write $f\in C^{\infty}(K\backslash G/K)$ as a uniformly convergent series

[TABLE]

where $\widehat{f}_{S}(\pi)=\int_{G}f(g)\phi_{\pi}(g)dg$ is the spherical transform of $f$. We say that a linear operator $T:C^{\infty}(K\backslash G/K)\rightarrow C(K\backslash G/K)$ is a spherical pseudo–differential operator if there is a mapping $j_{T}:G\times\widehat{G}_{S}\rightarrow\mathbb{C}$ so that for all $f\in C^{\infty}(K\backslash G/K),\sigma\in G$,

[TABLE]

We then say that the mapping $j_{T}$ is the spherical symbol of the operator $T$. Our goal for the remainder of this section is to show that a Gangolli operator of the form (5.2) is a spherical pseudo–differential operator with symbol $j_{T}(\sigma,\pi)=-\eta_{\sigma,\pi}$, where we have written $\eta_{\sigma,\pi}$ instead of $\eta_{\sigma,\phi_{\pi}}$. Our proof is very similar to the corresponding result in [5], where we studied operators on Lie groups having matrix–valued symbols. There are a few places where some additional ideas are needed, so we give a rather concise account, with the emphasis on those points where the proof needs embellishing.

To follow the procedure of section 5 in [5], we will exploit the one–to–one correspondence between $\widehat{G}$ and the set of dominant weights on $\mathfrak{g}$, which is denoted ${\it D}$. In fact we will only need the spherical dominant weights $D_{S}$ which are in one–to–one correspondence with $\widehat{G}_{S}$. If both $G$ and $K$ are connected, $D_{S}$ is completely described by the Cartan–Helgason theorem (see Theorem 11.4.10 in [19], pp.246–9) but we will not require that result herein. From now on we will write $\pi_{\lambda}$ when $\lambda$ is the weight corresponding to $\pi$, with obvious changes to other notation where indexing will be by weights rather than by representations.

We will equip $\mathfrak{g}$ with an Ad–invariant inner product, and write the associated norm as $|\cdot|$. This induces a norm on ${\it D}$ which is denoted by the same symbol. All results that follow in this paragraph are taken from [18] (see also Chapter 3 of [3]). Writing $d_{\lambda}:=d_{\pi_{\lambda}}$, we have the useful estimates

[TABLE]

where $C_{1}\geq 0$ and $M$ is the number of positive roots of $G$, and for all $X\in\mathfrak{g}$, there exists $C_{2}\geq 0$ so that

[TABLE]

where $||\cdot||_{HS}$ is the Hilbert–Schmidt norm. We will also need Sugiura’s zeta function $\zeta:\mathbb{C}\rightarrow\mathbb{R}\cup\{\infty\}$, defined by

[TABLE]

which converges whenever $2\Re(s)>r$, where $r$ is the rank of $G$ and ${\it D}_{0}:={\it D}\setminus\{0\}$.

Theorem 5.1**.**

For all $\lambda\in D_{S}$, there exists $C>0$ so that

[TABLE]

Proof.

First observe that for all $\lambda\in D_{S}$ (and writing $c_{\lambda}:=c_{\phi_{\lambda}}$),

[TABLE]

where $C_{1}>0$ (see e.g. [3] p.50).

For the integral term, we first use a Taylor series expansion and the fact that $d\pi(X)u=0$ for all $X\in\mathfrak{k}$, to deduce that for all $\pi\in\widehat{G}_{S},g\in G$, there exists $0<\theta<1$ so that

[TABLE]

and so

[TABLE]

where we can and do compute the Hilbert–Schmidt norm using an orthonormal basis $\{e_{1},\ldots,e_{d_{\pi}}\}$ for $V_{\pi}$ in which $e_{1}=u$.

Using the conclusions of the last display, the first moment condition and (5.8), we deduce that there exists $C_{2}\geq 0$ so that

[TABLE]

Since $|\phi_{\lambda}(g)|\leq 1$ for all $\lambda\in D_{S},g\in G$, we easily deduce that

[TABLE]

where we use the fact that $g\rightarrow\mu(g,U^{c})$ is continuous, this being a consequence of the assumptions we’ve made to ensure that the range of $A$ comprises continuous functions (see Theorem 3.7 in [5], and the remark that follows its proof). The result follows. ∎

Proposition 5.2**.**

The series $\sum_{\lambda\in D_{S}}d_{\lambda}\eta_{g,\lambda}\widehat{f_{S}}(\lambda)\phi_{\lambda}(g)$ converges absolutely and uniformly (in $g\in G$), for all $f\in C^{\infty}(K\backslash G/K)$.

Proof.

It follows from the properties of Fourier transforms on compact Lie groups that for all $p\in{\mathbb{N}}$

[TABLE]

(see e.g. [18] or [3], p.78). Hence using (5.8), and Theorem 5.1, we see that for any $p\in\mathbb{N}$, there exists $\lambda_{0}\in D_{S}\ \setminus\{0\}$ so that there exists $C>0$ with

[TABLE]

Now choose $p>\frac{3(M+1)}{2}+r$ and the result follows from (5.9). ∎

Theorem 5.3**.**

$A$* is a pseudo–differential operator of the type (5.6) with symbol $j_{A}(g,\lambda)=-\eta_{g,\lambda}$ for all $g\in G,\lambda\in D_{S}$.*

Proof.

To obtain this result, we just imitate the proof of Theorem 5.5 in [5], i.e. utilise (5.5) to approximate $f$ by a finite Fourier series $f_{n}$, and then use the fact that all operators that satisfy the positive maximum principle are closed on their maximal domain (see [8] Lemma 2.11, p.16) to deduce that for all $g\in G$,

[TABLE]

∎

Now consider a matrix–valued “symbol” (see [5]) of “Gangolli–type” given by

[TABLE]

for all $g\in G$. Then it is easy to see that $\int_{K}\int_{K}\langle u,\sigma(kgk^{\prime},\pi)u\rangle dkdk^{\prime}$ is the symbol (taking the form (5.4)) of a Gangolli operator. This is related to the discussion of “averaging” of symbols which can be found on p.671 of [17]; however in that case, the averaging of the symbol was only with respect to the first variable. We have not shown that $\sigma$ really is the symbol of a pseudo–differential operator; our only goal here is to show how averaging might be implemented.

Finally we remark that we expect that Gangolli operators will also be pseudo–differential operators (with scalar symbols) in the cases where $M$ is non–compact (where the constant coefficient case was discussed in [2]), and when it is of Euclidean type.