Abstract
Let \(S\) be a semi-direct product \(S=N\rtimes A\) where \(N\) is a connected and simply connected, nilpotent, non-meta-abelian, 3-abelian Lie group and \(A\) is isomorphic with \(\mathbb {R}^k,\) \(k>1\). On \(S\), we consider a class of second-order left-invariant differential operators of the form \(\mathcal L_\alpha =L^a+\Delta _\alpha ,\) where \(\alpha \in \mathbb {R}^k,\) and for each \(a\in \mathbb {R}^k,\) \(L^a\) is left-invariant second-order differential operator on \(N\) and \(\Delta _\alpha =\Delta -\langle \alpha ,\nabla \rangle ,\) where \(\Delta \) is the usual Laplacian on \(\mathbb {R}^k\). We prove an upper bound for the Poisson kernel for the operator \(\mathcal L_\alpha \).
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
1.1 Statement of the main result
Let \(S\) be a semi-direct product, \(S=N\rtimes A\) where \(N\) is a connected, simply connected, 3-meta-abelian, nilpotent Lie group and \(A\) is isomorphic with \(\mathbb {R}^k.\) We identify \(A\) with its Lie algebra \(\mathfrak a.\) The dimension \(k\) of \(A\) is called the rank of \(S\).
Specifically, we assume that
where \(N_i,\) \(i=1,2,3\), are abelian Lie groups with the corresponding Lie algebras \(\mathfrak n_i.\) To avoid trivialities, we assume that \(N_3\) is non-central in \(N\) (Otherwise, \(N\) is meta-abelian.).
Then, there are bases \(\{X_1,\ldots ,X_{d_1}\},\) \(\{Y_1,\ldots ,Y_{d_2}\},\) and \(\{Z_1,\ldots ,Z_{d_3}\}\) for \(\mathfrak n_i,\) \(i=1,2,3,\) respectively, such that
forms a Jordan–Hölder basis for the Lie algebra \(\mathfrak n\) of \(N\). We assume that these bases are ordered so that the matrix of \({{\mathrm{ad}}}_Z\) is strictly lower triangular for all \(Z\in \mathfrak n\). We assume in addition that this basis diagonalizes the \({{\mathrm{ad}}}_{\mathfrak {a}}\) action on \(\mathfrak n.\) We use these bases to identify \(\mathfrak n_1,\) \(\mathfrak n_2,\) and \(\mathfrak n_3\) with \(\mathbb {R}^{d_1},\) \(\mathbb {R}^{d_2}\), and \(\mathbb {R}^{d_3}\), respectively, and we use the exponential map to identify \(N_i\) with the corresponding Lie algebras \(\mathfrak n_i=\mathbb {R}^{d_i}.\)
For \(g\in S\), we write \(g=x(g)a(g)=xa=(x,a),\) where \(x(g)=x\in N\) and \(a(g)=a\in A\) denote the components of \(g\) in \(N\rtimes A.\) Similarly, for \(x\in N\), we write \(x=m(x)v(x)w(x)=mvw=(m,v,w)\), where \(m(x)=m\in N_1,\) \(v(x)=v\in N_2,\) and \(w(x)=w\in N_3\) denote the components of \(x\) in \(N_1\rtimes N_2\rtimes N_3.\)
Let
be the roots of the \({{\mathrm{ad}}}_{\mathfrak a}\) action on \(\mathfrak n_1,\) \(\mathfrak n_2\) and \(\mathfrak n_3\), respectively, corresponding to the given bases. Let
Hence, for all \(H\in \mathfrak a,\)
Let \(d=d_1+d_2+d_3\). For \(1\le i\le d\), we set
We refer to the class of \(NA\) groups defined above as \(3\)-meta-abelian \(NA\) groups. Similarly, we can define a class of \(k\)-meta-abelian \(NA\) groups. This is a quite large class of \(NA\) groups. It is not difficult to see that the \(AN\) parts of classical semisimple Lie groups of type \(A_\ell ,\) \(B_\ell ,\), and \(D_\ell \) are all \(k\)-meta-abelian for some \(k.\)
A simple example of \(3\)-meta-abelian \(NA\) group is the group of all upper triangular \(4\times 4\)-matrices with positive diagonal.
The principal object of study in this work is the left-invariant differential operator on \(S,\)
where, for \(\alpha =(\alpha _1,\dots ,\alpha _k)\in \mathbb {R}^k\),
and the \(X_i,\) \(Y_j,\) and \(Z_k\) are considered as left-invariant differential operators on \(N_1\), \(N_2\), and \(N_3\), respectively. We are particularly interested in the bounded harmonic functions for this operator, i.e., bounded functions \(F\) on \(S\) satisfying \(\mathcal {L}_\alpha F=0\).
A fundamental result of Damek [3] implies that bounded \(\mathcal {L}_\alpha \)-harmonic functions exist provided the following positivity assumption (which we also assume) holds:
In particular, none of the \(\lambda _i\) are identically 0 and the \(\lambda _i\) span \(\mathfrak a^*\) (Their joint nullspace consists of vectors annihilated by \({{\mathrm{ad}}}_\mathfrak a.\)). We set
It also follows from [3] that under our assumptions, the bounded harmonic functions are precisely the “Poisson integrals” of \(L^\infty (N)\). To describe this concept, let \(\chi \) be the modular function for left-invariant Haar measure on \(S\). Thus, for all \(g\in S,\)
where d\(s\) is left-invariant Haar measure on \(S.\) Then,
where
Assumption (1.4) together with [3] implies that there exists a Poisson kernel \(\nu \) for \(\mathcal L_\alpha .\) That is, there is a \(C^\infty \) function \(\nu \) on \(N\) such that every bounded \(\mathcal L_\alpha \)-harmonic function \(F\) on \(S\) may be written as a Poisson integral against a bounded function \(f\) on the quotient space \(A\backslash S=N,\)
where
Conversely, the Poisson integral of any \(f\in L^\infty (N)\) is a bounded \(\mathcal L_\alpha \)-harmonic function.
Our goal in this work is to obtain explicit estimates on the rate of decay of \(\nu \) on \(N\). To describe our results, we require some additional notation.
For \(t\in \mathbb {R}^+\) and \(\alpha \in A^+,\) let
Then, \(t\mapsto \delta _t^\alpha \) is a one parameter group of automorphisms of \(N\) for which the corresponding eigenvalues on \(\mathfrak {n}\) are all positive. It is known [10, 12] that then \(N\) has \(\delta _t^\alpha \)-homogeneous norm: A non-negative and subadditive continuous function \(|\cdot |_\alpha \) on \(N\) which is homogeneous with respect to \(\delta _t^\alpha ,\) i.e.,
and \(|n|_\alpha =0\) if and only if \(n=e.\)
For a subset \(\Lambda _o\subseteq \Lambda ,\) and \(a\in A,\) define
We set
For every \(x\in N\), there is precisely one \(x_o\in K(1)\) such that \(\delta _{|x|_\alpha }^\alpha x_o=x.\) Thus, we have a map
The following is our main result.
Theorem 1.1
Let \(\nu \) be the Poisson kernel for the operator \(\mathcal L_\alpha ,\) defined in (1.3), with \(\alpha \in A^+.\) Under the above assumptions, for every \(\varepsilon >0\) there exists a constant \(c=c_{\varepsilon ,\alpha ,\Lambda }>0\) such that for all points \(x=(m,v,w)\in N_1\rtimes N_2\rtimes N_3,\)
where
In particular, there is a constant \(c=c_{\alpha ,\Lambda }>0\) such that
Remark 1.2
Notice that \(\beta _1\le \beta _2\le \beta _3.\)
Remark 1.3
We note that [18, Theorem 1.1] says that on a large class of nilpotent Lie groups \(N\) containing the 3-meta-abelian groups one has that for every \(q>1\), there is \(c=c_{q,\alpha ,\Lambda }>0\) such that for all \(x\in N,\)
In many cases, the estimate in Theorem 1.1 is strictly sharper than (1.12) since clearly the inequalities
can hold for many choices of \(\Lambda \) and \(\alpha .\) Also, unlike (1.12), the estimates in Theorem 1.1 differentiate between the various directions of approach to infinity.
Remark 1.4
We should also remark that in [20], we proved the analog of Theorem 1.1 in the 2-meta-abelian case. We found that there are essential difficulties if one wants to prove a similar estimate for the Poisson kernel on \(k\)-meta-abelian group with \(k\ge 3.\) In Sect. 1.2 below, we describe these difficulties in more details (See in particular Remarks 1.5 and 1.6.).
1.2 Strategy of the proof
Let \(\mu _t\) (resp., \(T_t\)) be the semigroups of measures (resp., operators) generated by \(\mathcal L_\alpha .\) It is known (see Sect. 6.1) that the Poisson kernel \(\nu \) is equal to \(\lim _{t\rightarrow \infty }\pi _N(\mu _t),\) where \(\pi _N(g)=x(g)\) is a projection from \(S\) onto \(N.\) To get some information on \(\mu _t\), we use a well-known formula which express \(T_t\) as a skew-product of the diffusions on \(N\) and \(A.\) (The idea of such a decomposition goes back to [13, 14, 22]. In the context of \(NA\) groups with \(\dim A=1\), this decomposition was used in [4–7], and later was generalized by the authors and applied for \(\dim A>1,\) see, e.g., [17, 19].)
Specifically, for \(\sigma \in C([0,\infty ),A),\) \(A=\mathbb {R}^k,\) let
considered as a time-dependent left-invariant differential operator on \(N\). It is known that then \(\mathcal L_{N}^{\sigma }\) generates a time-inhomogeneous diffusion on \(N\) with transition kernel \(P^{N_1\rtimes N_2\rtimes N_3,\sigma }_{t,s},\) \(t\ge s\ge 0,\) and the corresponding evolution operators \(U^{N_1\rtimes N_2\rtimes N_3,\sigma }_{s,t}\) (see [2, 21]). The skew-product formula says that
for \(f\in C_c(N\times \mathbb {R}^k)\) and \(t\ge 0,\) where the expectation is taken with respect to the distribution of the Brownian motion \(\sigma (t)\in \mathbb {R}^k\) with drift \(-2\alpha ,\) starting from \(a,\) i.e., \(\sigma (0)=a,\) and generated by \(\Delta _\alpha .\) The subscript \(N\) in the convolution \(*_N\) means that \(f\) is convolved with the kernel \(P^{N_1\rtimes N_2\rtimes N_3,\sigma }_{t,0}\) with respect to the first variable in \(N.\)
The next step is to disintegrate the kernel \(P^{N_1\rtimes N_2\rtimes N_3,\sigma }_{t,s}\) using [20, Theorem 1.2] (see also section 3 in [19]) which is a skew-product formula similar to formula (1.14). Specifically, from the decomposition (1.1), the time-dependent family of operators
gives rise to an evolution on \(N_2\rtimes N_3=\mathbb {R}^{d_2}\rtimes \mathbb {R}^{d_3}\) that is described by a kernel \(P^{N_2\rtimes N_3,\sigma }_{t,s}.\) The semi-direct product \(N_2\rtimes N_3\) is a 2-meta-abelian group. Thus, we have a relatively good knowledge about the kernel \(P^{N_2\rtimes N_3,\sigma }_{t,s}\) (see [20]). Let \(\eta (t)=(\eta ^{N_2}(t),\eta ^{N_3}(t))\) be the process generated by \(\mathcal L_{N_2\rtimes N_3}^\sigma .\) The skew-product formula from [20] gives that
where the subscript in the expectation means that \(\eta (s)=(v,w),\) and \(U_{s,t}^{N_1,\sigma ,\eta }\) is the family of evolution operators generated by the operator
Formula (1.16) allows us to compute and estimate in Sects. 5 and 6 the kernel \(P^{N_1\rtimes N_2\rtimes N_3,\sigma }_{t,s}\) on certain subsets of \(N\) which, it turns out, are sufficient for our purposes (See formulas (5.1), (6.3), and (6.5).).
Remark 1.5
In [20], we proved a result analogous to Theorem 1.1 for meta-abelian groups, i.e., in the 2-meta-abelian case. The generalization to the 3-meta-abelian case is complicated by the lack of an appropriate estimate for \(P^{N_1\rtimes N_2\rtimes N_3,\sigma }_{t,s}\) valid on all of \(N\). The fact that it is possible to obtain a good estimate for the Poisson kernel on all of \(N\) by piecing together estimates of \(P^{N_1\rtimes N_2\rtimes N_3,\sigma }_{t,s}\) on subsets is somewhat surprising.
Remark 1.6
In order to consider \(k\)-meta-abelian \(NA\) groups with \(k\ge 4\), we need a better understanding of the situation for \(k=3.\) In particular, we need to invent some methods which allow us to produce a good and global Gaussian estimate for \(P^{N_1\rtimes N_2\rtimes N_3,\sigma }_{t,s}.\) If we try to apply methods from [20], the problem of estimating \(P^{N_1\rtimes N_2\rtimes N_3,\sigma }_{t,s}\) amounts to the good knowledge of the properties of the time-inhomogeneous process \(\eta (t)\) generated by the time-dependent operator (1.15). We hope that if this estimate is obtained, then we will be able to apply induction argument and eventually get estimates for the Poisson kernel for all \(k.\)
1.3 Structure of the paper
The outline of the rest of the paper is as follows. In Sect. 2, we recall some basic facts about exponential functionals of Brownian motion. In Sect. 3, we consider the evolution process \(\eta (t)\) on \(N_2\rtimes N_3\) generated by the operator (1.15) and state the estimate for the corresponding transition kernels. Next, in Sect. 4, we study the evolution kernel on \(N_1\) which is the second ingredient of the skew-product formula (1.16). In Sect. 5, we prove an estimate for the kernel \(P^{N_1\rtimes N_2\rtimes N_3,\sigma }_{t,s}.\) Finally in Sect. 6, we construct the Poisson kernel and prove our main theorem.
2 Preliminaries
2.1 Exponential functionals of Brownian motion
Let \(b(s),\) \(s\ge 0,\) be the Brownian motion on \(\mathbb {R}\) staring from \(a\in \mathbb {R}\) and normalized so that
Hence, \(b(s)\) has a normal distribution with mean \(\mathbf{E}b(s)=a\) and variance \({{\mathrm{Var}}}b(s)=2s.\)
Remark
Our normalization of the Brownian motion \(b(s)\) is different than that typically used by probabilists who tend to assume that \({{\mathrm{Var}}}b(s)=s.\)
For \(d>0\) and \(\mu >0\), we define the following exponential functional
Theorem 2.1
(Dufresne, [9]) Let \(b(0)=0.\) Then, the functional \(I_{2,\mu }\) is distributed as \((4\gamma _{\mu \slash 2})^{-1},\) where \(\gamma _{\mu \slash 2}\) denotes a gamma random variable with parameter \(\mu \slash 2,\) i.e., \(\gamma _{\mu \slash 2}\) has a density \((1\slash \Gamma (\mu \slash 2))x^{\frac{\mu }{2}-1}e^{-x}\mathbf 1_{[0,+\infty )}(x).\)
As a corollary of Theorem 2.1, by scaling the Brownian motion and changing the variable, we get the following theorem (See [17, Lemma 5.4] for details.).
Theorem 2.2
Let \(\sigma (u)=b(u)-2\alpha u\) be the \(k\)-dimensional Brownian motion with a drift \(-2\alpha ,\) \(d>0,\) and let \(\ell \in (\mathbb {R}^k)^*\) be such that \(\ell (\alpha )>0.\) Then,
where \(\varrho =2\ell (\alpha )\slash \Vert \ell \Vert ^2.\)
Remark
Exponential functionals of type (2.2) are called perpetual functionals in financial mathematics, and they play an important role there (see, e.g., [15, 16, 23]). In particular, the distribution of the integral over finite interval \((0,t)\) in (2.2) has many applications in Asian options (see, e.g., [1, 8, 11]).
2.2 Notation for exponential functionals
For a continuous function \(\sigma :[0,\infty )\rightarrow A=\mathbb {R}^k,\)
and
We also define, for \(i=1,2,3,\)
Finally, we put
2.3 Moments of exponential functionals
The following lemma follows from Theorem 2.2.
Lemma 2.3
The functional \(A_{N,j}^\sigma (0,\infty ),\) \(j=1,\ldots ,d,\) has a finite \(s\)-th moment (for every \(a\in \mathbb {R}^k\))
if and only if \(\lambda _j(\alpha )\slash \Vert \lambda \Vert ^2>s\), where \(\Vert \cdot \Vert \) is \(\ell ^2\) norm on \(\mathbb {R}^k\). In particular, \(A_{N,j}^\sigma (0,\infty )\) has all negative moments.
2.4 Action of \(A\) on \(N\)
For \(a\in \mathbb {R}^k,\) \(\Phi (a)\) denotes the action of \(a\) on \(\mathfrak n,\) see (1.2). By (1.2), the automorphisms \(\{\Phi (a)\}_{a\in \mathbb {R}^k}\) leave \(\mathfrak {n}_i,\) \(i=1,2,3\) invariant. We identify linear transformation \(\Phi (a)\) on \(\mathfrak n\) with \(d\times d\) matrix,
where
Let \(\sigma \) be a continuous function from \([0,+\infty )\) to \(A=\mathbb {R}^k.\) We define
3 Evolution kernel on \(N_2\rtimes N_3\)
In this section, we consider time-dependent operator on \(N_2\rtimes N_3,\)
The operator \(\mathcal L_{N_2\rtimes N_3}^{\sigma }\) gives rise to an evolution on \(N_2\rtimes N_3=\mathbb {R}^{d_2}\rtimes \mathbb {R}^{d_3}\) that is described by a kernel \(P^{N_2\rtimes N_3,\sigma }_{t,s}\) and the corresponding operator \(U^{N_2\rtimes N_3,\sigma }_{t,s}.\) The semi-direct product \(N_2\rtimes N_3\) is a 2-meta-abelian group.
The Euclidean space \(\mathbb {R}^n\) is endowed with the usual scalar product \(\langle x,y\rangle =x\cdot y=\sum _{i=1}^nx_iy_i\) and the corresponding \(\ell ^2\) norm \(\Vert x\Vert =\langle x,x\rangle ^{1\slash 2}.\)
The following estimate is proved in [20, Theorem 4.1].
Theorem 3.1
There are positive constants \(C,D\) and \(k_o\) such that for all \(t>s\ge 0\) and all \((v,w)\in N_2\rtimes N_3,\)
Remark
Here, \(k_{o}\) is the smallest non-negative integer such that
Note that \(k_o>0\) since by hypothesis \(N_3\) is non-central.
4 Evolution kernel on \(N_1\)
Let
be the time-inhomogeneous Markov process generated by the operator
considered in Sect. 3.
Now on \(N_1\), we consider time-dependent operator
The following notation will be useful. For a \(n\times n\) invertible matrix \(A\), we set
Since \(N_1\) is abelian, the transition kernels \(P_{t,s}^{N_1,\sigma ,\eta }\) of the time-inhomogeneous process \(\omega (t)\) generated by \(\mathcal L_{N_1}^{\sigma ,\eta }\) are given (see Proposition 2.10 in [19]) by
where
where \(\Phi ^\sigma (u)\) is defined in (2.3).
Exactly in the same way as Lemma 3.3 in [20], one can prove the following lemma.
Lemma 4.1
There is a constant \(C>0\) such that
5 Evolution kernel on \(N_1\rtimes N_2\rtimes N_3\)
To get the kernel \(P^{N_1\rtimes N_2\rtimes N_3,\sigma }_{t,s}\), we apply the skew-product formula (1.16) (for the proof, see [20, Theorem 1.2]),
where for \((v,w)\in N_2\rtimes N_3=\mathbb {R}^{d_2}\rtimes \mathbb {R}^{d_3}\) given and \(\varepsilon >0\),
is the (normalized in \(L^1\)) indicator function of the product of two \(\varepsilon \)-balls around \(v\) and \(w,\)
and
The following theorem will be used in order to get the estimates for the evolution kernel \(P^{N_1\rtimes N_2\rtimes N_3,\sigma }_{t,s}\) on those sets which are necessary for the upper bound for the Poisson kernel.
Theorem 5.1
There is a constant \(C>0\) such that for every \(t>s\ge 0,\) and for every \((m,v,w)\in N_1\rtimes N_2\rtimes N_3,\)
Proof
It follows from (4.2) and Lemma 4.1 that
Then, from (5.1)
Clearly,
and the lemma follows. \(\square \)
6 Poisson kernel on \(N_1\rtimes N_2\rtimes N_3\)
In this section, we will give the proof of Theorem 1.1.
6.1 Construction of the Poisson kernel
Here, we recall the construction of the Poisson kernel \(\nu \)—the principle object of our study. At the same time, this construction provides convenient formula for the Poisson kernel. Let \(\mu _t\) be the semigroup of probability measures on \(S=N\rtimes \mathbb {R}^k\) generated by \(\mathcal {L}_\alpha .\) It is known [5] that
where \(\pi _N\) denotes the projection from \(S\) onto \(N\) and \((\check{\mu },f)=(\mu ,\check{f}), \check{f}(x)=f(x^{-1}).\) Let \(a\in \mathbb {R}^k\) and let \(\mu \) be a measure on \(N.\) We define
For \(a\in \mathbb {R}^k\), we have
where \(\chi \) is as in (1.5).
We will need the following fact (see [17, Lemma 4.1] for a proof).
Lemma 6.1
We have
where \(P^{N_3\rtimes N_2\rtimes N_1,\sigma }_{t,0}\) is the evolution kernel for the operator \(\mathcal L_N^{\sigma }\) defined in (1.13).
6.2 Upper bound for \(\nu ^{s\alpha }\)
Our main aim in this subsection is to obtain an upper bound for
for all \(s<0,\) where \(\alpha \in A^+\) is a drift vector of the operator (1.3). Then, in Sect. 6.4, in order to get an upper bound for \(\nu \) we will apply a simple homogeneity argument together with some comparison results about evolution kernels.
By Lemma 6.1,
Hence, in order to estimate \(\nu ^{s\alpha }\) we need to estimate \(P^{N_1\rtimes N_2\rtimes N_3,\sigma }_{t,0}.\) The main results of this section are the following upper bounds for \(\nu ^{s\alpha }.\)
Theorem 6.2
Let \(\alpha \in A^+,\) and let \(K_3\) be a compact subset of \(N_3\) such that \(0\not \in N_3.\) Then, there is a constant \(c=c_{\Lambda ,K_3,\alpha }>0\) such that for every \(s<0,\) and all \(w\in K_3\subset N_3,\)
Theorem 6.3
Let \(\alpha \in A^+,\) and let \(K_2\) be a compact subset of \(N_2\) such that \(0\not \in N_2.\) Then, there is a constant \(c=c_{\Lambda ,K_2,\alpha }>0\) such that for every \(s<0,\) and all \(v\in K_2\subset N_2,\)
6.3 Proofs of Theorems 6.2 and 6.3
We start with three lemmas. In all of them, the exponential functionals are on the interval \((0,\infty ),\) i.e., \(A_{\star ,\star }^\sigma \) denotes \(A_{\star ,\star }^\sigma (0,\infty ).\)
Lemma 6.4
There is a constant \(C>0\) such that for all \(s<0\) and \(\alpha \in A^+,\)
and
Proof
We have
The expected value \(\mathbf{E}_{0}^\sigma (A_{N,\Pi }^\sigma )^{-1}\) is finite. This follows by applying Cauchy–Schwarz inequality succesively and the fact that exponential functionals \(A_{N,j}^\sigma \) have negative moments (Lemma 2.3).
Similarly, since \(s<0\) and \(\alpha \in A^+,\)
Again, by Lemma 2.3, the expectations \(\mathbf{E}_{0}^\sigma \prod \limits _{\begin{array}{c} k=1\\ k\not =j \end{array}}^d(A_{N,k}^\sigma )^{-1}\) for \(j=1,\ldots ,d_3\) are finite. \(\square \)
The next two lemmas follows immediately from the proof of [17, Lemma 6.2] and the inequality (6.3) on p. 269 in [17].
Lemma 6.5
Let \(\alpha \in A^+.\) For every \(\beta >0\), there is a constant \(c=c_{\Lambda _3,\alpha ,\beta }>~0\) such that for every \(s<0,\)
Lemma 6.6
Let \(\alpha \in A^+.\) For every \(\beta >0\), there is a constant \(c=c_{\Lambda _2,\Lambda _3,\alpha ,\beta }>0\) such that for every \(s<0,\)
Proof of Theorem 6.2
By Theorem 5.1,
From Theorem 3.1, since \(0\not \in K_3\) there is a constant \(c>0\) such that for all \(w\in K_3,\)
Consequently, for \(w\in K_3,\)
Using (6.2), we get that for all \(w\in K_3,\) (note that below the range of integration in all functionals is \((0,+\infty )\))
By the Cauchy–Schwarz inequality
Now Theorem 6.2 follows from Lemma 6.4 and Lemma 6.5. \(\square \)
Proof of Theorem 6.3
By Theorem 5.1,
From Theorem 3.1 with \(w=0,\) since \(0\not \in K_2\) there is a constant \(c>0\) such that for all \(v\in K_2,\)
As in the proof of Theorem 6.2, we conclude that on \(K_2,\) (the range of integration in all functionals below is \((0,+\infty )\))
This together with Lemma 6.4 and Lemma 6.6 finish the proof. \(\square \)
6.4 Upper bound for the Poisson kernel \(\nu \)
Having Theorem 5.1, Theorem 6.2, and Theorem 6.3, we are ready to prove the estimate for the Poisson kernel.
Proof of Theorem 1.1
By continuity of \(\nu \), there is a constant \(C_\alpha >0\) such that for all \(x\in N\) with the norm \(|x|_\alpha \le 1\), we have \(\nu (x)\le C_{\alpha }.\)
Consider \(x\in N\) with \(|x|_\alpha >1.\) Let \(\delta _t^\alpha ={{\mathrm{Ad}}}((\log t)\alpha ).\) Then, \(|\delta _t^\alpha x|_\alpha =t|x|_\alpha .\) We write \(x\) as \(x=\delta ^\alpha _{\exp (-s)}x_o\) with \(|x_o|_\alpha =1\) and \(s<0.\) Then, \(|x|_\alpha =e^{-s}>1.\) Let \(K(1)=\{x_o:\;|x_o|_\alpha =1\}.\) By definition (6.1) of \(\nu ^{s\alpha },\) we get
where \(\rho _0=\sum _{j=1}^d\lambda _j.\) Now, estimates (1.10) and (1.11) follow from Theorems 6.3 and 6.2, respectively, if we apply (6.6) to \(x=(0,v,0)\) and \(x=(0,0,w),\) respectively. Then, \(x_o=(0,v_o,0)\) and \(x_o=(0,0,w_o).\) Estimate (1.9) is a consequence of (1.12). Finally, in order to prove (1.8), we proceed as follows.
Let \(\mathcal U_t^\sigma (v,w),\) \((v,w)\in N_2\rtimes N_3,\) be the estimate for the evolution kernel \(P^{N_2\rtimes N_3,\sigma }_{t,0}\) \((0,0;v,w)\) given by Theorem 3.1.
By Theorem 5.1,
Note that \(\check{P}^{N_1\rtimes N_2\rtimes N_3,\sigma }_{t,0}(0,0,0;m,v,w)\) has the same estimate. Now we consider \((m,v,w)\) in a compact sets \(K(1)\) (clearly, \(0\not \in K(1)\)). By Lemma 6.1 and (6.7),
Notice that it follows from Theorem 3.1 that there is \(c>0\) such that for all \((u,w)\in K(1)\cap (N_2\rtimes N_3),\) and all \(t>0,\)
Applying the above inequalities to (6.8), we get
In fact, the quantities
are estimated in the proofs of Theorem 6.2 and Theorem 6.3, respectively. Therefore, we have that for every \(\varepsilon >0\), there exists a constant \(c=c_{\varepsilon ,\Lambda ,\alpha }\) such that for all \((m,v,w)\in K(1),\)
and
Thus by the homogeneity (6.6),
and
The inequality (1.8) follows. \(\square \)
References
Carr, P., Schröder, M.: Bessel processes, the integral of geometric Brownian motion, and Asian options. Teor. Veroyatnost. i Primenen. 48(3), 503–533 (2003)
van Casteren, J.A.: Feller semigroups and evolution equations. In: Anastassiou, G.A. (ed.) Series on Concrete and Applicable Mathematics, 12. World Scientific Publishing Co., Pte. Ltd., Hackensack (2011)
Damek, E.: Left-invariant degenerate elliptic operators on semidirect extensions of homogeneous groups. Studia Math. 89, 169–196 (1988)
Damek, E., Hulanicki, A.: Maximal functions related to subelliptic operators invariant under an action of a solvable Lie group. Studia Math. 101(1), 33–68 (1991)
Damek, E., Hulanicki, A.: Boundaries for left-invariant subelliptic operators on semidirect products of nilpotent and abelian groups. J. Reine Angew. Math. 411, 1–38 (1990)
Damek, E., Hulanicki, A., Urban, R.: Martin boundary for homogeneous riemannian manifolds of negative curature at the bottom of the spectrum. Rev. Mat. Iberoam. 17(2), 257–293 (2001)
Damek, E., Hulanicki, A., Zienkiewicz, J.: Estimates for the Poisson kernels and their derivatives on rank one \(NA\) groups. Studia Math. 126(2), 115–148 (1997)
Donati-Martin, C., Ghomrasni, R., Yor, M.: On certain Markov processes attached to exponential functionals of Brownian motion; application to Asian options. Rev. Mat. Iberoam. 17(1), 179–193 (2001)
Dufresne, D.: The distribution of a perpetuity, with application to risk theory and pension funding. Scand. Actuarial J. 9, 39–79 (1990)
Folland, G.B., Stein, E.: Hardy Spaces on Homogeneous Groups. Princeton University Press, Princeton (1982)
Geman, H., Yor, M.: Bessel processes, Asian options, and perpetuities. Math. Financ. 4, 345–375 (1993)
Hebisch, W., Sikora, A.: A smooth subadditive homogeneous norm on a homogeneous group. Studia Math. 96(3), 231–236 (1990)
Malliavin, P.: Géométrie Différentiale Stochastique, Seminaire de Mathématique Supérieur Été 1997 No 64, Les Press de l’Université de Montréal (1978)
Malliavin, M.P., Malliavin, P.: Factorisation et lois limites de la diffusion horizontale au-dessus d’un espace riemannien symétrique. In: Lecture Notes in Math. vol. 404. Springer, Berlin, pp. 164–217 (1974)
Matsumoto, H., Yor, M.: Exponential functionals of Brownian motion, I. Probability laws at fixed time. Probab. Surv. 2, 312–347 (2005). (electronic)
Matsumoto, H., Yor, M.: Exponential functionals of Brownian motion, II. Some related diffusion processes. Probab. Surv. 2, 348–384 (2005). (electronic)
Penney, R., Urban, R.: Estimates for the Poisson kernel on higher rank \(NA\) groups. Colloq. Math. 118(1), 259–281 (2010)
Penney, R., Urban, R.: An upper bound for the Poisson kernel on higher rank \(NA\) groups. Potential Anal. 35(4), 373–386 (2011)
Penney, R., Urban, R.: Estimates for the Poisson kernel and the evolution kernel on the Heisenberg group. J. Evol. Equ. 12(2), 327–351 (2012)
Penney, R., Urban, R.: The evolution and Poisson kernels on nilpotent meta-abelian groups. Studia Math. 219(1), 69–96 (2013)
Stroock, D.W., Varadhan, S.R.S.: Multidimensional diffusion processes. Reprint of the 1997 edition. Classics in Mathematics. Springer, Berlin (2006)
Taylor, J.C.: Skew products, regular conditional probabilities and stochastic differential equations: a technical remark in Séminaire de Probabilité XXVI, Lecture Notes in Math. 1526. Springer, Berlin, pp. 299–314 (1992)
Yor, M.: Exponential functionals of Brownian motion and related processes. With an introductory chapter by Hélyette Geman. Chapters 1, 3, 4, 8 translated from the French by Stephen S. Wilson. Springer Finance. Springer, Berlin (2001)
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
Open Access This article is distributed under the terms of the Creative Commons Attribution License which permits any use, distribution, and reproduction in any medium, provided the original author(s) and the source are credited.
About this article
Cite this article
Penney, R., Urban, R. Poisson kernels on nilpotent, 3-meta-abelian groups. Annali di Matematica 195, 293–307 (2016). https://doi.org/10.1007/s10231-014-0463-x
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s10231-014-0463-x
Keywords
- Left-invariant differential operators
- Poisson kernel
- Time-dependent parabolic operators
- Brownian motion
- Evolution kernel
- Diffusion process
- 3-Meta-abelian nilpotent Lie groups