Preprint
Article

Green Measures for a Class of Non-markov Processes

Altmetrics

Downloads

73

Views

22

Comments

0

A peer-reviewed article of this preprint also exists.

This version is not peer-reviewed

Submitted:

01 April 2024

Posted:

10 April 2024

You are already at the latest version

Alerts
Abstract
In this paper, we investigate the Green measure for a class of non-Gaussian processes in $\mathbb{R}^{d}$. These measures are associated with the family of generalized grey Brownian motions $B_{\beta,\alpha}$, $0
Keywords: 
Subject: Computer Science and Mathematics  -   Mathematics

1. Introduction

The goal of this paper (see Theorem 1 and Corollary 1 below) is to prove the existence of the Green measure for a class of non-Gaussian processes in R d , called generalized grey Brownian motion (ggBm for short). We denote this family of processes by B β , α with parameters 0 < β 1 and 0 < α 2 . More precisely, for a Borel function f : R d R , the potential of f (see [1,2] for details) is defined as
V β , α ( f , x ) = 0 E f ( x + B β , α ( t ) ) d t , x R d .
We would like to investigate the class of functions f for which the potential of f has the representation
V β , α ( f , x ) = R d f ( y ) G β , α ( x , d y ) ,
where G ( x , · ) : = G β , α ( x , · ) is a Radon measure on R d called Green measure corresponding to the ggBm B β , α , see Definition 2 below. First, we establish the existence of the perpetual integral (cf. Theorem 1)
0 f ( x + B β , α ( t ) ) d t
with probability 1. This leads to an explicit representation of the Green measure for ggBm, namely (cf. Corollary 1)
G β , α ( x , d y ) = D | x y | d 2 / α d y , d α > 2 , 1 < α 2 ,
where D is a constant that depends on β , α , and the dimension d; see Theorem 1 for the explicit expression. Note that as d α > 2 and 1 < α 2 , the Green measure G β , α ( x , · ) exists for d 2 , since d > 2 / α [ 1 , 2 ) . The Brownian case ( α = 1 ) is covered only for d 3 .
We emphasize that the existence of the Green measure for a given process X is not always guaranteed. As an example, the d-dimensional Brownian motion (Bm) starting at x R d has a density given by p t ( x , y ) = ( 2 π t ) d / 2 exp | x y | 2 / ( 2 t ) , y R d . It is not difficult to see that 0 p t ( x , y ) d t does not exist for d = 1 , 2 . This implies the non-existence of the Green measure of Bm for d = 1 , 2 . On the other hand, for d 3 , the Green measure of Bm on R d exists and is given by G ( x , d y ) = C ( d ) | x y | 2 d d y , where C ( d ) is a constant depending on the dimension d; see [3] and the references therein for more details. In a two-dimensional space, the Green measure of ggBm is determined by the parameter α . The Green measure of ggBm for d = 1 requires further analysis (for Bm see [4], Ch. 4) which we will postpone for a future paper.
The paper is organized as follows. In Section 2 we recall the definition and main properties of ggBm that will be needed later. In Section 3 we show the existence of the perpetual integral with probability 1, which leads to the explicit formula for the Green measure for ggBm. In Section 4, we discuss the results obtained, connect them with other topics, and draw conclusions.

2. Generalized Grey Brownian Motion

We recall the class of non-Gaussian processes, called the generalized grey Brownian motion, which we study below. This class of processes was first introduced by Schneider [5,6], and was generalized by Mura et al. (see [7,8]) as a stochastic model for slow/fast anomalous diffusion described by the time fractional diffusion equation.

2.1. Definition and Properties

For 0 < β 1 the Mittag-Leffler (entire) function E β is defined by the Taylor series
E β ( z ) : = n = 0 z n Γ ( β n + 1 ) , z C ,
where
Γ ( z ) = 0 t z 1 e t d t , z C , Re ( z ) 0
is the Euler gamma function.
The M-Wright function is a special case of the class of Wright functions W λ , μ , λ > 1 , μ C via
M β ( z ) : = W β , 1 β ( z ) = n = 0 ( z ) n n ! Γ ( β n + 1 β ) .
The special choice β = 1 / 2 yields the Gaussian density on [ 0 , )
M 1 / 2 ( z ) = 1 π exp z 2 4 .
The Mittag-Leffler function E β is the Laplace transform of the M-Wright function, that is,
E β ( s ) = 0 e s τ M β ( τ ) d τ .
The generalized moments of the density M β of order δ > 1 are finite and are given (see [7]) by
0 τ δ M β ( τ ) d τ = Γ ( δ + 1 ) Γ ( β δ + 1 ) .
Definition 1.
Let 0 < β 1 and 0 < α 2 be given. A d-dimensional continuous stochastic process B β , α = B β , α ( t ) , t 0 starting at 0 R d and defined on a complete probability space ( Ω , F , P ) , is a ggBm in R d (see [8] for d = 1 ) if:
  • P ( B β , α ( 0 ) = 0 ) = 1 , that is, B β , α starts at zero P -almost surely ( P -a.s.).
  • Any collection B β , α ( t 1 ) , , B β , α ( t n ) with 0 t 1 < t 2 < < t n < has a characteristic function given, for any θ = ( θ 1 , , θ n ) ( R d ) n with θ k = ( θ k , 1 , θ k , d ) , k = 1 , , n , by
    E exp i k = 1 n ( θ k , B β , α ( t k ) ) R d = E β 1 2 j = 1 d ( θ . , j , γ α θ . , j ) R n ,
    where E denotes the expectation w.r.t. P and
    γ α : = γ α , n : = t k α + t j α | t k t j | α k , j = 1 n .
  • The joint probability density function of B β , α ( t 1 ) , , B β , α ( t n ) is equal to
    ρ β ( θ , γ α ) = ( 2 π ) n d 2 ( det γ α ) d / 2 0 τ n d 2 e 1 2 τ j = 1 d ( θ · , j , γ α 1 θ · , j ) R n M β ( τ ) d τ .
The following are the most important key properties of ggBm:
(P1).
For each t 0 , the moments of any order of B β , α ( t ) are given by
E | B β , α ( t ) | 2 n + 1 = 0 , E | B β , α ( t ) | 2 n = ( 2 n ) ! 2 n Γ ( β n + 1 ) t α n .
(P2).
The covariance function has the form
E B β , α ( t ) , B β , α ( s ) = d 2 Γ ( β + 1 ) t α + s α | t s | α , t , s 0 .
(P3).
For each t , s 0 , the characteristic function of the increments is
E e i ( k , B β , α ( t ) B β , α ( s ) ) = E β | k | 2 2 | t s | α , k R d .
(P4).
The process B β , α is non-Gaussian, α / 2 -self-similar with stationary increments.
(P5).
The ggBm is not a semimartingale. Furthermore, B α , β cannot be of finite variation in [ 0 , 1 ] and, by scaling and stationarity of the increment, on any interval in R + .
(P5).
For n = 1 , the density ρ β ( x , t ) , x R d , t > 0 , is the fundamental solution of the following fractional differential equation (see [9])
D t 2 β ρ β ( x , t ) = Δ x ρ β ( x , t ) ,
where Δ x is the d-dimensional Laplacian in x and D t 2 β is the Caputo-Dzherbashian fractional derivative; see [10] for the definition and properties.

2.2. Representations of Generalized Grey Brownian Motion

The ggBm admits different representations in terms of well-known processes. It follows from (7) that ggBm has an elliptical distribution, see Section 2 in [11] or Section 3 in [12]. On the other hand, ggBm is also given as a product (see [7] for d = 1 ) of two processes as follows
B β , α ( t ) , t 0 = L Y β B α / 2 ( t ) , t 0 .
Here, = L means equality in law, the nonnegative random variable Y β has density M β and B α / 2 is a d-dimensional fBm with Hurst parameter α / 2 and independent of Y β .
We give another representation of ggBm B β , α as a subordination of fBm (see Prop. 2.14 in [13] for d = 1 ) which is used below. For completeness, we give the short proof.
Proposition 1.
The ggBm has the following representation
B β , α ( t ) , t 0 = L B α / 2 ( t Y β 1 / α ) , t 0 .
Proof. 
We must show that both representations (11) and (12) have the same finite-dimensional distribution. For every θ = ( θ 1 , , θ n ) ( R d ) n , we have
E exp i k = 1 n θ k , B α / 2 ( t k Y β 1 / α ) = 0 E exp i k = 1 n θ k , B α / 2 ( t k y 1 / α ) M β ( y ) d y = 0 E exp i k = 1 n θ k , y 1 / 2 B α / 2 ( t k ) M β ( y ) d y = E exp i k = 1 n θ k , Y β 1 / 2 B α / 2 ( t k ) .
In the second equality, we used the α / 2 -self-similarity of fBm. This completes the proof. □

3. The Green Measure for Generalized Grey Brownian Motion

In this section we show the existence of the Green measure for the ggBm, see (1) and (2). Let us begin by discussing the existence of the Green measure for a general stochastic process X.
Let X = { X ( t ) , t 0 } be a stochastic process in R d starting from x R d . If X ( t ) , t 0 , has a probability distribution ρ X ( t ) ( x , · ) , then Eq. (1) becomes
V X ( x , f ) = 0 R d f ( y ) ρ X ( t ) ( x , d y ) d t .
Then, applying the Fubini theorem, the Green measure G X ( x , · ) of X is given by
G X ( x , d y ) = 0 ρ X ( t ) ( x , d y ) d t ,
assuming the existence of G X ( x , · ) as a Radon measure on R d . That is, for every bounded Borel set B B b ( R d ) we have
G X ( x , B ) = 0 ρ X ( t ) ( x , B ) d t < .
If the probability distribution ρ X ( t ) ( x , · ) is also absolutely continuous with respect to the Lebesgue measure, say ρ X ( t ) ( x , d y ) = ρ t ( x , y ) d y , then the function
g X ( x , y ) : = 0 ρ t ( x , y ) d t , y R d ,
is called the Green function of the stochastic process X. Moreover, the Green measure in this case is given by G X ( x , d y ) = g X ( x , y ) d y .
This leads us to the following definition of the Green measure of a stochastic process X .
Definition 2.
Let X = { X ( t ) , t 0 } be a stochastic process on R d starting from x R d and ρ X ( t ) ( x , · ) be the probability distribution of X ( t ) , t 0 . The Green measure of X is defined as a Radon measure on R d by
G X ( x , B ) : = 0 ρ X ( t ) ( x , B ) d t , B B b ( R d ) ,
or
R d f ( y ) G X ( x , d y ) = R d f ( y ) 0 ρ X ( t ) ( x , d y ) d t , f C 0 ( R d )
whenever these integrals exist.
In other words, G X ( x , B ) is the expected length of time the process remains in B.
In order to state the main theorem which establishes the existence of the Green measure for ggBm, first, we introduce a proper Banach space of functions f : R d R such that
0 f x + B β , α ( t ) d t
is finite P -a.s. Without loss of generality, we may assume that f 0 above. We define the space C L ( R d ) of continuous real-valued on R d by
C L ( R d ) : = f : R d R f is continuous , bounded and f L 1 ( R d ) .
The space C L ( R d ) becomes a Banach space with the norm
f C L : = f + f 1 , f C L ( R d ) ,
where · denotes the sup-norm and · 1 is the norm in L 1 ( R d ). The choice of C L ( R d ) allows us to show that the family of random variables (also known as perpetual integral functionals)
0 f x + B β , α ( t ) d t , f C L ( R d )
have finite expectations P -a.s.
Theorem 1.
Let f C L ( R d ) and x R d be given and consider ggBm B β , α with d α > 2 and 1 < α 2 . Then, the perpetual integral functional 0 f ( x + B ( t ) ) d t is finite P -a.s. and its expectation equals
E 0 f ( x + B β , α ( t ) ) d t = D R d f ( x + y ) | y | d 2 / α d y ,
where D = D ( β , α , d ) = 1 α 2 1 / α π d 2 Γ d 2 1 α Γ ( 1 1 α ) Γ ( 1 β α ) .
Proof. 
Given x R d and f C L ( R d ) non-negative, let ρ β ( · , t α ) denote the density of B β , α ( t ) , t 0 , given by (see (8) with n = 1 )
ρ β ( y , t α ) = 1 ( 2 π t α ) d / 2 0 τ d / 2 e | y | 2 2 t α τ M β ( τ ) d τ , y R d .
First, we show the equality (15). It follows from the above considerations that
E 0 f ( x + B β , α ( t ) ) d t = 0 R d f ( x + y ) ρ t β , α ( y ) d y d t . = 0 R d f ( x + y ) 1 ( 2 π t α ) d / 2 0 τ d / 2 M β ( τ ) e | y | 2 2 t α τ d τ d y d t .
Using Fubini’s Theorem, we first compute the t-integral and use the assumption d α > 2 . We obtain
0 1 ( 2 π t α τ ) d / 2 e | y | 2 2 t α τ d t = C ( α , d ) τ 1 α | y | d 2 / α ,
where
C ( α , d ) : = 1 α 2 1 / α π d 2 Γ d 2 1 α .
Next we compute the τ -integral using (6) so that
0 τ 1 / α M β ( τ ) d τ = Γ ( 1 1 α ) Γ ( 1 β α ) , α > 1 .
Combining gives
E 0 f ( x + B β , α ( t ) ) d t = D R d f ( x + y ) | y | d 2 / α d y ,
where D = D ( β , α , d ) = C ( α , d ) Γ ( 1 1 α ) Γ ( 1 β α ) . Therefore, the equality (15) is shown.
Now we show that the right-hand side of (15) is finite for every non-negative f C L ( R d ) . To see this, we may use the local integrability of | y | d 2 / α in y and obtain
R d f ( x + y ) | y | d 2 / α d y = { | y | 1 } f ( x + y ) | y | d 2 / α d y + { | y | > 1 } f ( x + y ) | y | d 2 / α d y C 1 f + C 2 f 1 C f C L .
Therefore, the integral in (15) is, in fact, well defined. In other words, the integral 0 f x + B β , α ( t ) d t exists with probability 1. This completes the proof. □
As a consequence of the above theorem, we immediately obtain the Green measure of ggBm B β , α , that is, comparing (2) and (15).
Corollary 1.
The Green measure of ggBm B β , α for d α > 2 is given by
G β , α ( x , d y ) = D | x y | d 2 / α d y .
Remark 1.
  • It is possible to show that given f 0 , the perpetual integral 0 f ( x + B β , α ( t ) ) d t is a non-constant random variable. As a consequence, for f 0 the variance of 0 f ( x + B β , α ( t ) ) d t is strictly positive. The proof uses the notion of conditional full support of ggBm. We will not provide a detailed explanation of this result that closely follows the ideas of Theorem 2.2 in [3] to which we address the interested readers.
  • Note also that the functional in (1)
    V β , α ( · , x ) : C L ( R d ) R
    is continuous. In fact, from the proof of Theorem 1 for any f C L ( R d ) yields
    | V β , α ( f , x ) | K f C L ,
    where K is a constant depending on the parameters β , α , and d.

4. Discussion and Conclusions

We have derived the Green measure for the class of stochastic processes called the generalized grey Brownian motion in Euclidean space R d for d 2 . This class includes, in particular, fractional Brownian motion and other non-Gaussian processes. To address the case where d = 1 , a renormalization process is needed. However, this will be postponed to future work. For β = α = 1 ggBm B 1 , 1 is nothing but a Brownian motion. In this case, the Green measure exists for d 3 .
The relationship between the Green measure and the local time of the ggBm can be described as follows. For any T > 0 and a continuous function f : R d R , the integral functional
0 T f ( B β , α ( t ) ) d t
is well-defined. For d = 1 the integral (16) with f L 1 ( R ) is represented as
0 T f ( B β , α ( t ) ) d t = R f ( x ) L β , α ( T , x ) d x ,
where L β , α ( T , x ) is the local time of ggBm up to time T at the point x, see [11,12]. The Green measure corresponds to the asymptotic behaviour in T of the expectation of local time L β , α ( T , x ) . The existence of this asymptotic depends on the dimension d and the transient or recurrent properties of the process.

Author Contributions

Methodology, H.P.S. and J.L.S.; Investigation, H.P.S. and J.L.S. Both authors have read and agreed to the published version of the manuscript.

Funding

This research was funded by FCT-Fundação para a Ciência e a Tecnologia, Portugal grant number UIDB/MAT/04674/2020, https://doi.org/10.54499/UIDB/04674/2020 through the Center for Research in Mathematics and Applications (CIMA) related to the Statistics, Stochastic Processes and Applications (SSPA) group.

Conflicts of Interest

The authors declare no conflicts of interest.

References

  1. Blumenthal, R.M.; Getoor, R.K. Markov Processes and Potential Theory; Academic Press, 1968.
  2. Revuz, D.; Yor, M. Continuous martingales and Brownian motion, 3rd ed.; Vol. 293, Grundlehren der Mathematischen Wissenschaften [Fundamental Principles of Mathematical Sciences], Springer-Verlag: Berlin, 1999; pp. xii+560. [CrossRef]
  3. Kondratiev, Y.; Mishura, Y.; da Silva, J.L. Perpetual integral functionals of multidimensional stochastic processes. Stochastics 2021, 93, 1249–1260. [Google Scholar] [CrossRef]
  4. Armitage, D.H.; Gardiner, S.J. Classical Potential Theory; Springer Monographs in Mathematics, Springer, 2001.
  5. Schneider, W.R. Fractional diffusion. In Dynamics and stochastic processes (Lisbon, 1988); Lima, R.; Streit, L.; Vilela Mendes, R., Eds.; Springer, New York, 1990; Vol. 355, Lecture Notes in Phys., pp. 276–286.
  6. Schneider, W.R. Grey noise. In Stochastic Processes, Physics and Geometry; Albeverio, S.; Casati, G.; Cattaneo, U.; Merlini, D.; Moresi, R., Eds.; World Scientific Publishing, Teaneck, NJ, 1990; pp. 676–681.
  7. Mura, A.; Pagnini, G. Characterizations and simulations of a class of stochastic processes to model anomalous diffusion. J. Phys. A: Math. Theor. 2008, 41, 285003. [Google Scholar] [CrossRef]
  8. Mura, A.; Mainardi, F. A class of self-similar stochastic processes with stationary increments to model anomalous diffusion in physics. Integral Transforms Spec. Funct. 2009, 20, 185–198. [Google Scholar]
  9. Mentrelli, A.; Pagnini, G. Front propagation in anomalous diffusive media governed by time-fractional diffusion. J. Comput. Phys. 2015, 293, 427–441. [Google Scholar]
  10. Samko, S.G.; Kilbas, A.A.; Marichev, O.I. Fractional integrals and derivatives; Gordon and Breach Science Publishers: Yverdon, 1993; pp. xxxvi+976. Theory and applications, Edited and with a foreword by S. M. Nikol’skiĭ, Translated from the 1987 Russian original, Revised by the authors.
  11. da Silva, J.L.; Erraoui, M. Generalized grey Brownian motion local time: Existence and weak approximation. Stochastics 2015, 87, 347–361. [Google Scholar] [CrossRef]
  12. Grothaus, M.; Jahnert, F. Mittag-Leffler Analysis II: Application to the fractional heat equation. J. Funct. Anal. 2016, 270, 2732–2768. [Google Scholar] [CrossRef]
  13. Erraoui, M.; Röckner, M.; da Silva, J.L. Cameron-Martin Type Theorem for a Class of non-Gaussian Measures, [2312.15695]. Submitted. [CrossRef]
Disclaimer/Publisher’s Note: The statements, opinions and data contained in all publications are solely those of the individual author(s) and contributor(s) and not of MDPI and/or the editor(s). MDPI and/or the editor(s) disclaim responsibility for any injury to people or property resulting from any ideas, methods, instructions or products referred to in the content.
Copyright: This open access article is published under a Creative Commons CC BY 4.0 license, which permit the free download, distribution, and reuse, provided that the author and preprint are cited in any reuse.
Prerpints.org logo

Preprints.org is a free preprint server supported by MDPI in Basel, Switzerland.

Subscribe

© 2024 MDPI (Basel, Switzerland) unless otherwise stated