Skip to main content

Theory and Modern Applications

  • Research Article
  • Open access
  • Published:

A Criterium for the Strict Positivity of the Density of the Law of a Poisson Process

Abstract

We translate in semigroup theory our result (Léandre, 1990) giving a necessary condition so that the law of a Markov process with jumps could have a strictly positive density. This result express, that we have to jump in a finite number of jumps in a "submersive" way from the starting point to the end point if the density of the jump process is strictly positive in . We use the Malliavin Calculus of Bismut type of (Léandre, (2008;2010)) translated in semi-group theory as a tool, and the interpretation in semi-group theory of some classical results of the stochastic analysis for Poisson process as, for instance, the formula giving the law of a compound Poisson process.

1. Introduction

We are interested in this paper in the following problem.

Problem 1.

Let be a random variable given by the solution of a stochastic differential equation, with law . For what is bounded below by , where is strictly positive continuous near ?

This problem was solved by using the Malliavin Calculus. See the survey paper of Léandre [1] on that. For various applications of the Malliavin Calculus on heat kernels, we refer to the review of Kusuoka [2], Léandre [3], and Watanabe [4].

Let us explain the state of the art in the case of a diffusion. We consider smooth vectors fields with bounded derivatives at each order on and the diffusion generator . It generates a linear semigroup acting on differentiable bounded functions on :

(1.1)

It is a semigroup in probability measures. It has a probabilistic representation [5]. Let be a valued Brownian motion. Let us use the notation of formal path integrals of physics. The law of the Brownian motion is given formally as the Gaussian measure

(1.2)

where is a kind of formal Lebesgue measure. We introduce the stochastic differential equation in the Stratonovitch case issued from :

(1.3)

Then,

(1.4)

If is a submersion in some sense in , then we can apply in some sense the implicit function theorem in order to get a lower bound of the law of by a measure having a strictly positive density in the values of in with respect of the Lebesgue measure on . The problem is that the solution of the stochastic differential equation (1.3) is only almost surely defined. So the use of the implicit theorem leds to some difficulties which were overcome by Bismut in [6]. The use of Bismut's procedure allows to [7] to solve Problem*. See [8] for a translation of the proof of [7] in semigroup theory.

Plenty of the standard tools of stochastic analysis were translated recently by Léandre in semigroup theory. See the review [9, 10] on that. Problem* was solved for a diffusion by using the Malliavin Calculus of Bismut type in semigroup theory in [8].

We are interested in solving Problem* in the case of a jump process. Let us consider a generator of Lévy type. If is a differentiable function

(1.5)

it generates a linear semigroup satisfying the parabolic equation

(1.6)

It is a semigroup in probability measures [1113]. It is represented by a jump process with independent increments :

(1.7)

Tortrat [14] studied the support of the law of : if and , then belong to . If has a finite mass , then the process has the law of a compound Poisson process: is sum of his jumps. There is only a finite number of jumps. The jumps are all independents with law and the times where the jumps occur follow the law of a standard Poisson process with parameter . We will give a proof, uniquely based upon algebraic computations on semi groups, of this fact in the paper.

Problem* was solved in [1] by using the Malliavin Calculus for jump processes (see [1517] for related works). is called the Lévy measure. For that we need some regularity on the Lévy measure . Under regularity assumption on , [1] used another time the implicit function theorem, when we can jumps in a finite number of jumps in a "submersive" way between the starting point and the end point. Recently we have translated in semigroup theory plenty of tools of the stochastic analysis for Poisson processes [1823]. Our goal is to translate in semigroup theory the result of [1].

For material on stochastic differential equations driven by jump processes, we refer to the books [13, 24, 25]. For the analytic side of the theory of Markov processes with jumps, we refer to the books [1113].

This paper enters in a general program which would like that stochastic analysis tools become available for partial differential equation different of the parabolic equations whose generators satisfy the maximum principle [26, 27].

2. Statement of the Main Theorems

The goal of this paper is to give the proof of the two next theorems originally proved by [1] by using stochastic analysis and the Malliavin Calculus of Bismut type for jump processes of [28].

Let us consider functions positive with compact support on continuous except in 0 equal to near 0 with .

Let us introduce functions with bounded derivatives at each order, equal to 0 in 0 with values in .

We consider the Markov generator

(2.1)

We do the following hypothesis.

Hypothesis 2.1.

There exists an such that the family of vectors generates .

generates a convolution linear semigroup in probability measures acting on differentiable bounded functions . satisfies the parabolic equation

(2.2)

Under Hypothesis 2.1, [20, 29, 30] proved that has a smooth heat kernel :

(2.3)

We denote

(2.4)

where .

Theorem 2.2.

If , then there exists , such that such that,

  1. (i)

    (i),

  2. (ii)

    is a submersion in .

Remark 2.3.

Let us explain heuristically the theorem. Let be the process with independent increments associated to the generator

(2.5)

where . The processes are independents, and the time of their jumps are disjoints. We put

(2.6)

Then,

(2.7)

The theorem explains that we have to jump in a finite numbers of jumps in a submersive way from to if we want . Let us give some explanations what we mean about this fact, because the jump process has in fact an infinite number of jumps because the Lévy measure is of infinite mass. We take

(2.8)

has generator

(2.9)

The jump process

(2.10)

has only a finite number of jumps because its Lévy measure is of finite mass and its law gives a good approximation of the law of if is small enough!

We consider some vectors and a smooth vector fields with bounded derivatives at each order. We consider the generator

(2.11)

It generates a Markov semigroup ,

(2.12)

if is bounded differentiable. If , the is classically related to fractional powers of the Laplacian [31].

We do the following Hypothesis.

Hypothesis 2.4.

Consider .

In such a case, [19, 29, 30] has proven that there exists a smooth heat kernel :

(2.13)

We consider and we denote by . We introduce the differential impulsive equation starting from :

(2.14)

We denote

(2.15)

Theorem 2.5.

The condition implies that there exists , , , and , such that:

(i),

(ii) is a submersion in .

Remark 2.6.

Let us explain heuristically this theorem. We consider the processes with independent increments . We consider the stochastic differential equation

(2.16)

Then,

(2.17)

It has since an infinite number of jumps. We take

(2.18)

has a finite number of jumps and has generator

(2.19)

We consider the stochastic differential equation

(2.20)

The law of is a good approximation of the law of if is small enough. This express the fact that by a finite number of jumps, has to pass from to in a submersive way if .

3. Two Results on Jump Processes Translated in Semigroup Theory

We consider , , , and a positive measure on such that . We introduce the expression

(3.1)

We consider the generator

(3.2)

It is a bounded operator on the space of continuous bounded functions endowed with the uniform norm. It generates therefore a semigroup .

Theorem 3.1 (compound Poisson process).

We have the formula

(3.3)

Proof.

In order to simplify the exposition, we suppose .

We have the recursion formula

(3.4)

such that

(3.5)

But is a bounded operator on the set of continuous functions endowed with the uniform norm. Therefore, the semigroup satisfies to

(3.6)

We write

(3.7)

such that

(3.8)

Therefore,

(3.9)

Let us consider now a generator

(3.10)

We suppose that the total mass of is finite and is equal to the constant quantity and that depends continuously of for the strong topology. generates a semigroup on the space of continuous functions endowed with the uniform norm.

Let be the generator

(3.11)

It generates a semigroup . We suppose that . It is the same to suppose that the solution of the ordinary differential equation

(3.12)

does not blow up

(3.13)

It is a bounded operator on the set of uniformly bounded functions endowed with the uniform topology. Therefore it generates a semigroup on the set of bounded continuous functions. We get the following translation of (2.20) in semigroup theory.

Theorem 3.2.

We have if is bounded continuous

(3.14)

Proof.

We suppose to simplify that . By the classical Volterra expansion, we get

(3.15)

We write

(3.16)

The previous Volterra expansion can be written as

(3.17)

We distribute in the last expression, and we use the two formulas

(3.18)
(3.19)

We recognize

(3.20)

The result follows from the fact that

(3.21)

4. Proof of Theorem 2.2

Let the Malliavin generator acting on smooth function on , where is the space of symmetric matrices on :

(4.1)

is a smooth positive function with compact support equal to on a neighborhood of 0. is called the Malliavin matrix. generates a semigroup called the Malliavin semigroup. Under Hypothesis 2.1, we have for all [20]

(4.2)

Let be a smooth positive function equals to 1 if and equal to 0 if . We consider the measure

(4.3)

Proposition 4.1.

The measure has a smooth density , and, when , uniformly.

Proof.

We follow the argument of [20]. We put . We consider a bounded map , , from into . Its values in is and its values in is . . We consider the generator

(4.4)

This generates a semigroup . We put . By using the integration by parts formulas of [20],

(4.5)

where is a semi group of the previous type, a polynomial in the components, , and of valuation 1 in and the derivatives of . is a multi-index. By Theorem 3 of [20], we deduce that

(4.6)

when when . Therefore the result is obtained.

Let . Let

(4.7)

By the same procedure, we define analog generators . We deduce several semigroups and . We consider the measure

(4.8)

Proposition 4.2.

has a density , and, when , tends uniformly to .

Proof.

Let () be a multi-index. We have

(4.9)

where is a polynomial in , and of valuation 1 in and its derivatives. The result will come from the next lemma.

Lemma 4.3.

Let be a polynomial in , and of valuation 1 in and its derivatives. Then when

(4.10)

Proof.

If is smooth bounded, we have by Duhamel formula

(4.11)

and the result goes. It remains to remark that under the previous condition has a polynomial behaviour whose component tends to zero and to apply Theorem 3 of [20]. This comes from the fact that is a polynomial in and is differentiable bounded in because we keep only bounded values of due to the apparition of .

Proof of Theorem 2.2.

If , there exists a , such that .

Let us introduce . We put

(4.12)

To simplify the exposition, we suppose that .

We put

(4.13)

where is defined as in (2.4) but with . By Theorem 3.1,

(4.14)

Since , the measure has a strictly positive density in for some . This measure is equal to the measure

(4.15)

One of the measure in the above sum has a stricly positive density in , and, therefore, nearby . So there exists for close from , such that

  1. (i)

    ,

  2. (ii)

    The matrix has an inverse bounded by .

It remains to remark that the Gram matrix associated to is equal to is larger to and to apply the implicit function theorem.

5. Proof of Theorem 2.5

Let us consider the Malliavin generator

(5.1)

belong to , the space of invertible matrices, and belong to . is called the Malliavin matrix.

As in the previous part, we approximate by a generator whose Lévy measure is of finite mass. We get for ,

(5.2)

and generate Markov semigroup and .

We repeat with some algebraic modifications due to [19] the considerations of the previous part. Let . We consider the measure

(5.3)

It has a density . When the density of tends uniformly to in . When , the density tends uniformly in to . Therefore, if , we can find and such that .

Let be the semi group generated by :

(5.4)

Let defined by:

(5.5)

We suppose to simplify the exposition that .

We put

(5.6)

Let us use Theorem 3.2. If , then there exists a such that the mesure

(5.7)

has a density . Therefore, there exist such that the measure

(5.8)

has a strictly positive density near . We consider the system of impulsive equation issued from :

(5.9)

We remark that

(5.10)

Therefore, the density of one of the measure

(5.11)

is strictly positive in !

From (5.11), we see that there exists such that, for some , we have for close from

  1. (i)

    ,

  2. (ii)

    is bounded by .

But the Gram matrix associated to is equal to . It has therefore an inverse bounded by . The result arises by the implicit function theorem.

References

  1. Léandre R: Strange behaviour of the heat kernel on the diagonal. In Stochastic Processes, Physics and Geometry. Edited by: Albeverio Set al.. World Scientific Publishing; 1990:516-527.

    Google Scholar 

  2. Kusuoka S: More recent theory of Malliavin calculus. Sugaku Expositions 1992,5(2):155-171.

    MathSciNet  Google Scholar 

  3. Léandre R: Quantitative and geometric applications of the Malliavin calculus. In French Japanese Seminar. Volume 73. Edited by: Métivier M, Watanabe S. American Mathematical Society, Providence, RI, USA; 1988:173-196. in Geometry of Random Motion, R. Durrett, M. Pinsky, Eds, vol. 73 of Contemporary Maths, American Mathematical Society, Providence, RI, USA, pp. 173–196, 1988

    Google Scholar 

  4. Watanabe S: Stochastic analysis and its applications. Sugaku Expositions 1992,5(1):51-69.

    MathSciNet  Google Scholar 

  5. Ikeda N, Watanabe S: Stochastic Differential Equations and Diffusion Processes, North-Holland Mathematical Library. Volume 24. 2nd edition. North-Holland, Amsterdam, The Netherlands; 1989:xvi+555.

    MATH  Google Scholar 

  6. Bismut J-M: Large Deviations and the Malliavin Calculus, Progress in Mathematics. Volume 45. Birkhäuser, Boston, Mass, USA; 1984:viii+216.

    Google Scholar 

  7. Ben Arous G, Léandre R: Décroissance exponentielle du noyau de la chaleur sur la diagonale. II. Probability Theory and Related Fields 1991,90(3):377-402. 10.1007/BF01193751

    Article  MathSciNet  MATH  Google Scholar 

  8. Léandre R: Positivity theorem in semi-group theory. Mathematische Zeitschrift 2008,258(4):893-914. 10.1007/s00209-007-0204-6

    Article  MathSciNet  MATH  Google Scholar 

  9. Léandre R: Applications of the Malliavin calculus of Bismut type without probability. In Simulation, Modelling and Optimization, WSEAS Transactions on Mathematics, pp. 1205–1211, 2006 Edited by: Madureira AM. 2006, 5: 559-564.

    Google Scholar 

  10. Léandre R: Malliavin calculus of Bismut type in semi-group theory. Far East Journal of Mathematical Sciences 2008,30(1):1-26.

    MathSciNet  MATH  Google Scholar 

  11. Jacob N: Pseudo Differential Operators and Markov Processes. Vol. I. Imperial College Press, London, UK; 2001:xxii+493.

    Book  MATH  Google Scholar 

  12. Jacob N: Pseudo Differential operators & Markov Processes. Vol. II. Imperial College Press, London, UK; 2002:xxii+453.

    Book  MATH  Google Scholar 

  13. Jacob N: Pseudo Differential Operators and Markov Processes. Vol. III. Imperial College Press, London, UK; 2005:xxviii+474.

    Book  MATH  Google Scholar 

  14. Tortrat A: Sur le support des lois indéfiniment divisibles dans les espaces vectoriels localement convexes. Annales de l'Institut Henri Poincaré 1977,13(1):27-43.

    MathSciNet  MATH  Google Scholar 

  15. Fournier N: Strict positivity of the density for simple jump processes using the tools of support theorems. Application to the Kac equation without cutoff. The Annals of Probability 2002,30(1):135-170.

    Article  MathSciNet  MATH  Google Scholar 

  16. Ishikawa Y: Support theorem for jump processes of canonical type. Proceedings of the Japan Academy. Series A 2001,77(6):79-83. 10.3792/pjaa.77.79

    Article  MathSciNet  MATH  Google Scholar 

  17. Simon T: Support theorem for jump processes. Stochastic Processes and their Applications 2000,89(1):1-30. 10.1016/S0304-4149(00)00008-9

    Article  MathSciNet  MATH  Google Scholar 

  18. Léandre R: Girsanov transformation for poisson processes in semi-group theory. In Proceedings of the International Conference on Numerical Analysis and Applied Mathematics, 2007 Edited by: Simos T. 936: 336-338.

    Google Scholar 

  19. Léandre R: Malliavin calculus of Bismut type for Poisson processes without probability. In Fractional Order Systems. Volume 42. Edited by: Sabatier Jet al.. J.E.S.A.; 2008:715-733.

    Google Scholar 

  20. Léandre R: Regularity of a degenerated convolution semi-group without to use the Poisson process. In Non Linear Science and Complexity. Edited by: Luo Aet al.. Springer; 2010:311-320.

    Google Scholar 

  21. Léandre R: Wentzel-Freidlin estimates for jump process in semi-group theory: lower bound. In Proceedings of the International Conference of Differential Geometry and Dynamical Systems, 2010. Volume 17. Edited by: Balan Vet al.. B.S.G.; 107-113.

    Google Scholar 

  22. Léandre R: Wentzel-Freidlin estimates for jump process in semi-group theory: upper bound. In Proceedings of the International Conference on Scientific Computing, 2010. Edited by: Arabnia Het al.. CSREA; 187-193.

    Google Scholar 

  23. Léandre R: Varadhan estimates for a degeneratedconvolution semi-group: upper bound. Fractional Differentiation and Applications. In press

  24. Applebaum D: Lévy Processes and Stochastic Calculus, Cambridge Studies in Advanced Mathematics. Volume 93. Cambridge University Press, Cambridge, UK; 2004:xxiv+384.

    Book  MATH  Google Scholar 

  25. Jacod J: Calcul Stochastique et Problèmes de Martingales, Lecture Notes in Mathematics. Volume 714. Springer, Berlin, Germany; 1979:x+539.

    Google Scholar 

  26. Léandre R: Stochastic analysis without probability: study of some basic tools. Journal Pseudo Differential Operators and Application 2010,1(4):389-400. 10.1007/s11868-010-0020-3

    Article  MathSciNet  MATH  Google Scholar 

  27. Léandre R: A path-integral approach to the Cameron-Martin-Maruyama-Girsanov formula associated to a bilaplacian. Preprint

  28. Bismut J-M: Calcul des variations stochastique et processus de sauts. Zeitschrift für Wahrscheinlichkeitstheorie und Verwandte Gebiete 1983,63(2):147-235. 10.1007/BF00538963

    Article  MathSciNet  MATH  Google Scholar 

  29. Léandre R: Régularité de processus de sauts dégénérés. Comptes Rendus des Séances de l'Académie des Sciences. Série I 1983,297(11):595-598.

    MATH  Google Scholar 

  30. Léandre R: Régularité de processus de sauts dégénérés. Annales de l'Institut Henri Poincaré 1985,21(2):125-146.

    MATH  Google Scholar 

  31. Yosida K: Functional Analysis. 4th edition. Springer, New York, NY, USA; 1977:xii+496.

    Google Scholar 

Download references

Author information

Authors and Affiliations

Authors

Corresponding author

Correspondence to Rémi Léandre.

Rights and permissions

Open Access This article is distributed under the terms of the Creative Commons Attribution 2.0 International License (https://creativecommons.org/licenses/by/2.0), which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.

Reprints and permissions

About this article

Cite this article

Léandre, R. A Criterium for the Strict Positivity of the Density of the Law of a Poisson Process. Adv Differ Equ 2011, 803508 (2011). https://doi.org/10.1155/2011/803508

Download citation

  • Received:

  • Revised:

  • Accepted:

  • Published:

  • DOI: https://doi.org/10.1155/2011/803508

Keywords