 Research Article
 Open Access
 Published:
A Criterium for the Strict Positivity of the Density of the Law of a Poisson Process
Advances in Difference Equations volume 2011, Article number: 803508 (2011)
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 semigroup theory as a tool, and the interpretation in semigroup 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 :
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
where is a kind of formal Lebesgue measure. We introduce the stochastic differential equation in the Stratonovitch case issued from :
Then,
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
it generates a linear semigroup satisfying the parabolic equation
It is a semigroup in probability measures [11–13]. It is represented by a jump process with independent increments :
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 [15–17] 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 [18–23]. 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 [11–13].
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
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
Under Hypothesis 2.1, [20, 29, 30] proved that has a smooth heat kernel :
We denote
where .
Theorem 2.2.
If , then there exists , such that such that,

(i)
(i),

(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
where . The processes are independents, and the time of their jumps are disjoints. We put
Then,
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
has generator
The jump process
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
It generates a Markov semigroup ,
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 :
We consider and we denote by . We introduce the differential impulsive equation starting from :
We denote
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
Then,
It has since an infinite number of jumps. We take
has a finite number of jumps and has generator
We consider the stochastic differential equation
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
We consider the generator
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
Proof.
In order to simplify the exposition, we suppose .
We have the recursion formula
such that
But is a bounded operator on the set of continuous functions endowed with the uniform norm. Therefore, the semigroup satisfies to
We write
such that
Therefore,
Let us consider now a generator
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
It generates a semigroup . We suppose that . It is the same to suppose that the solution of the ordinary differential equation
does not blow up
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
Proof.
We suppose to simplify that . By the classical Volterra expansion, we get
We write
The previous Volterra expansion can be written as
We distribute in the last expression, and we use the two formulas
We recognize
The result follows from the fact that
4. Proof of Theorem 2.2
Let the Malliavin generator acting on smooth function on , where is the space of symmetric matrices on :
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]
Let be a smooth positive function equals to 1 if and equal to 0 if . We consider the measure
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
This generates a semigroup . We put . By using the integration by parts formulas of [20],
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 multiindex. By Theorem 3 of [20], we deduce that
when when . Therefore the result is obtained.
Let . Let
By the same procedure, we define analog generators . We deduce several semigroups and . We consider the measure
Proposition 4.2.
has a density , and, when , tends uniformly to .
Proof.
Let () be a multiindex. We have
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
Proof.
If is smooth bounded, we have by Duhamel formula
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
To simplify the exposition, we suppose that .
We put
where is defined as in (2.4) but with . By Theorem 3.1,
Since , the measure has a strictly positive density in for some . This measure is equal to the measure
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

(i)
,

(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
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 ,
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
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 :
Let defined by:
We suppose to simplify the exposition that .
We put
Let us use Theorem 3.2. If , then there exists a such that the mesure
has a density . Therefore, there exist such that the measure
has a strictly positive density near . We consider the system of impulsive equation issued from :
We remark that
Therefore, the density of one of the measure
is strictly positive in !
From (5.11), we see that there exists such that, for some , we have for close from

(i)
,

(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:516527.
 2.
Kusuoka S: More recent theory of Malliavin calculus. Sugaku Expositions 1992,5(2):155171.
 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:173196. 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
 4.
Watanabe S: Stochastic analysis and its applications. Sugaku Expositions 1992,5(1):5169.
 5.
Ikeda N, Watanabe S: Stochastic Differential Equations and Diffusion Processes, NorthHolland Mathematical Library. Volume 24. 2nd edition. NorthHolland, Amsterdam, The Netherlands; 1989:xvi+555.
 6.
Bismut JM: Large Deviations and the Malliavin Calculus, Progress in Mathematics. Volume 45. Birkhäuser, Boston, Mass, USA; 1984:viii+216.
 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):377402. 10.1007/BF01193751
 8.
Léandre R: Positivity theorem in semigroup theory. Mathematische Zeitschrift 2008,258(4):893914. 10.1007/s0020900702046
 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: 559564.
 10.
Léandre R: Malliavin calculus of Bismut type in semigroup theory. Far East Journal of Mathematical Sciences 2008,30(1):126.
 11.
Jacob N: Pseudo Differential Operators and Markov Processes. Vol. I. Imperial College Press, London, UK; 2001:xxii+493.
 12.
Jacob N: Pseudo Differential operators & Markov Processes. Vol. II. Imperial College Press, London, UK; 2002:xxii+453.
 13.
Jacob N: Pseudo Differential Operators and Markov Processes. Vol. III. Imperial College Press, London, UK; 2005:xxviii+474.
 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):2743.
 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):135170.
 16.
Ishikawa Y: Support theorem for jump processes of canonical type. Proceedings of the Japan Academy. Series A 2001,77(6):7983. 10.3792/pjaa.77.79
 17.
Simon T: Support theorem for jump processes. Stochastic Processes and their Applications 2000,89(1):130. 10.1016/S03044149(00)000089
 18.
Léandre R: Girsanov transformation for poisson processes in semigroup theory. In Proceedings of the International Conference on Numerical Analysis and Applied Mathematics, 2007 Edited by: Simos T. 936: 336338.
 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:715733.
 20.
Léandre R: Regularity of a degenerated convolution semigroup without to use the Poisson process. In Non Linear Science and Complexity. Edited by: Luo Aet al.. Springer; 2010:311320.
 21.
Léandre R: WentzelFreidlin estimates for jump process in semigroup 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.; 107113.
 22.
Léandre R: WentzelFreidlin estimates for jump process in semigroup theory: upper bound. In Proceedings of the International Conference on Scientific Computing, 2010. Edited by: Arabnia Het al.. CSREA; 187193.
 23.
Léandre R: Varadhan estimates for a degeneratedconvolution semigroup: 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.
 25.
Jacod J: Calcul Stochastique et Problèmes de Martingales, Lecture Notes in Mathematics. Volume 714. Springer, Berlin, Germany; 1979:x+539.
 26.
Léandre R: Stochastic analysis without probability: study of some basic tools. Journal Pseudo Differential Operators and Application 2010,1(4):389400. 10.1007/s1186801000203
 27.
Léandre R: A pathintegral approach to the CameronMartinMaruyamaGirsanov formula associated to a bilaplacian. Preprint
 28.
Bismut JM: Calcul des variations stochastique et processus de sauts. Zeitschrift für Wahrscheinlichkeitstheorie und Verwandte Gebiete 1983,63(2):147235. 10.1007/BF00538963
 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):595598.
 30.
Léandre R: Régularité de processus de sauts dégénérés. Annales de l'Institut Henri Poincaré 1985,21(2):125146.
 31.
Yosida K: Functional Analysis. 4th edition. Springer, New York, NY, USA; 1977:xii+496.
Author information
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.
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) doi:10.1155/2011/803508
Received:
Revised:
Accepted:
Published:
Keywords
 Stochastic Differential Equation
 Implicit Function Theorem
 Stochastic Analysis
 Jump Process
 Semigroup Theory