A. D ERMOUNE
Wick product and stochastic partial differential equations with Poisson measure
Annales mathématiques Blaise Pascal, tome 4, n
o2 (1997), p. 11-25
<http://www.numdam.org/item?id=AMBP_1997__4_2_11_0>
© Annales mathématiques Blaise Pascal, 1997, tous droits réservés.
L’accès aux archives de la revue « Annales mathématiques Blaise Pascal » (http://
math.univ-bpclermont.fr/ambp/) implique l’accord avec les conditions générales d’utilisation (http://www.numdam.org/conditions). Toute utilisation commerciale ou impression systématique est constitutive d’une infraction pénale. Toute copie ou impression de ce fichier doit contenir la présente mention de copyright.
Article numérisé dans le cadre du programme Numérisation de documents anciens mathématiques
http://www.numdam.org/
Wick product and stochastic partial differential
equations with Poisson measure
A. Dermoune
Universite Du
Maine, Equipe
deStatistique
et Processus’
BP 535, 72017 Le Mans Cedex, France.
Abstract. We establish the existence and
uniqueness
of the solution forone conservation
equation perturbed by
a Poisson noise and when the initial value is afhne. Wegive
also the existence anduniqueness
of the solution fora multidimensional linear Skorohod stochastic differential
equation
drivenby
aPoisson measure.
Resume. En utilisant la theorie de noyaux et
symboles
surl’espace
deFock,
nous obtenons un resultat d’existence et d’unicité de la solution a une
equation
de conservation
perturbee
par un bruit Poissonien etlorsque
la condition initiale est affine. Nous donnons aussi un resultat d’existence et d’unicite de la solution a uneequation
differentiellestochastique
lineaire multidimensionnelle au sensde Skorohod et
perturbee
par un bruit Poissonien.1 Introduction
In stochastic
analysis
on the Wiener space the Wickproduct
is natural because it isimplicit
in the Itointegral (and,
moregenerally,
in the Skorohodintegral
if the
integrand
isanticipating).
The Skorohodintegral
coincides with the Itointegral
if theintegrand
isnon-anticipating
see e.g.Nualart,
Pardoux(1988).
Today
the Wickproduct
and the Skorohodintegral
areimportant
in thestudy
of stochasticordinary
andpartial
differentialequations
see e.g.Nualart,
Zakai(1989), Holden, Lindstrom, Oksendal, Uboe, Zhang (1994).
In the Poisson case some works were also done on thissubject Dermoune, Kree,
Wu(1988), Carlen,
Pardoux
(1988), Nualart,
Vives(1990),
Dermoune(1995).
Here westudy
onestochastic
partial
differentialequation (SPDE)
and one stochastic differentialequation (SDE)
in order to show that the Wickproduct
also arrivesnaturally
in the Poisson case. The first SPDE is the
following
conservationequation perturbed by
a Poisson measure(see
e.g. Whitham(1974)) :
~t( u(x,t)-q(( 0,t]))
+~x( au(x,t)2 +bu(x,t))
=0 x ~ IR, t > 0, ( 1)where
q(t) = ~s bt; (t) -
dt is the centered Poisson measure on7R+,
and a, baretwo random variables on Poisson space.
8t, as
denote thepartial
derivatives withrespect
to t and z. Since t -~q( t)
is a distribution and not a smoothfunction,
we
interpret
theequation (1)
in the distribution sense, and theproducts (au(z, t)
areinterpreted
as the Wickproduct
ofgeneralized
randomvariables. The second SDE concerns the
following problem :
Let E be alocally
compact set, B
be the Borel u-field over[0, 1] x E,
and v be apositive
Radonmeasure on
([0,1]
xE,8)
such thatv({(t, x)})
=0, d(t, x)
E(0,1~
x E. Wedenote
by q
the centered Poisson random measure on[0,1]
x E withintensity
v, andFt, 0
t1,
is the natural filtration of q. Consider the SDE of the formXt
=Xo
+ +/ B~X~ds,
0t 1, (2)
where
Xo
is a d-dimensional random vector,A(s, x)
andBs
are d x d deter-ministic matrices. The latter SDE was studied
by Buckdahn,
Nualart(1994), when
the Wiener noise takes theplace
of the Poisson measure q. IfXo
is nota deterministic vector then the process
(Xs_ )
isanticipating,
and the inte-gral fo fE A(s, x)Xs-dq(s, x)
can not be defined in Itô’s sense. Nevertheless if A EL~((0,1)
xE, v),
and B EL1((0,1~, dt)
then thisintegral
can beinterpreted
as a
pathwise integral
withrespect
to q, and theequation (2)
has aunique pathwise
solutionXt = [Id + ~01...tnt
(~EA(t1, x1)dq(t1,x1)
+B(t1)dt1)
...
Xo,
where Id is the
identity
of d x d matrices. But if A EL~((0,1)
xE, v)
then theequation (2)
has neitherpathwise interpretation
nor Ito’sinterpretation.
In thiscase we propose to
interpret
the stochasticintegral fo fE A(s, x)Xs-dq(s, x)
inthe Skorohod sense
given by Dermoune, Kree,
Wu(1988), Nualart,
Vives(1990),
and to
study
theequation (2)
in this sense. Note thatif X,-
isnon-anticipating
then the Skorohod
integral
of(A(s, x)Xs_)
coincides with its Itô’sintegral.
Butif
(Xa_)
isanticipating
and A EL2({0,1]
xE, v) (~ L1({0,1~
xE, v),
then thepathwise
and the Skorohodinterpretations
do not coincide.The
plan
and the main results of this work are thefollowing :
in the section 2we recall some definitions and results Kree
(1986), Dermoune, Kree,
Wu(1988), Nualart,
Vives(1990),
which will be used in the section 3. The combined characteristics andsymbol
method is used in the firstpart
of the section 3 to establish the existence and theuniqueness
of the solution for the SPDE(1)
whenthe initial value is affine. In the second
part
of section 3 we show thatnearly
all the results of
Buckdahn,
Nualart(1994)
rest valid for the SDE(2)
and weemphasize
some differences.2 Differential calculus relative to the Poisson
measure
Let X be a
locally compact
set, B be the Borel u-field overX , and
be apositive
Radon measure on
(X,,~)
such that~(~x})
=0,
dx EX. Let U be asubspace
of which is dense in The set S~ :~
Mp(X)
is the space of Radon
point
measures on X. Ageneric
element of U is denotedby
z, and ageneric
element of 03A9 is denotedby
w. Theduality
between Q and U is denotedby
j,2r >. We have thetriplet
U ~ H =L2(X,,~,
~ S~.The scalar
product
over H is denotedby
., . >, and the normby ( ~ ~ ~ 2.
Thetriplet (03A9, .P, P)
is theprobability
space of the Poisson measure on(X, B, ).
We denote
by L2(~)
the space of the squareintegrable
random variables withrespect
toP,
and E denotes theexpectation.
The centered Poisson measure q is definedby q(z)
=> - fX
It follows from the characteristic functions of P that jE*[|q(z)|2]
=~z~22.
From this we see that if z EH,
and we choose z" E U suchthat zn
--~ z in H thenq(z)
:=limn-+oo q(zn)
in H and thelimit is
independent
of the choice of{zn ~.
Wiener-Itô
isomorphism.
Thesymmetric
Fock space over H is definedby Fock(H)
=~~k=0Hok, Ho0
= R and for k EIN*,
the spaceHok
is the set of the class of squareintegrable
functions with respect to~®k,
which are symmet- ric with respect to the k parameters x1, ..., xx. We will denote the norm overalso
by ~~ ~
The scalarproduct
., . > overFock(H)
is definedby (fk), (9k)
>=fk, gk
>. For h EH,
we denoteby eh
the ex-ponential vector,
element ofFock(H),
definedby eh
= ;h~° : =
1.For k E IN* and for
fk
E the random variableIk(fk)
is the symmet-ric
multiple integral
withrespect
to q defined inSurgailis (1984)
and denotedformally by Ik(fk)
=fXk fk(x1,
...,xk) dq(xl)...dq(xk).
The random variablesFx
= k E ~V are such thatIE[FkFj ] = 0, for j ~ k. (3)
The Wiener-Ito
expansion
for the centered Poisson measure q means the iso-morphism
I fromFock(H)
intoL~(Q)
definedby ( fk)
EFock(H)
--~ F =Ik(fk).
For z E Hn L1(X, p),
theimage E(z)
of theexponential
vectore~
by
the Wiener-Itoisomorphism
I isgiven by
:=
7(~)(~)
= e-~ J][ (l
+(4)
j
where w =
03A3n(03C9)j=1 03B4xj.
We can see from(3)
that for allfix
E z EH,
_
fk,z~k
> .(5)
Distributions on
(03A9, F, P).
LetS(U)
be the space of all tensors overU. It is well known that the set
S(U)*
of linear forms onS(U)
is the space of formal series onU,
and we have thetriplet
S(U)
-.Fock(H) - S(U)* (6)
We define the
duality
betweenS(U)
andS(U)*
as an extension of the scalarproduct
overFock(H),
i.e. for all z EU,
F =~~ Fn
ES(U)*, F,
>_n!Fn(z).
From(6),
an element ofFock(H)
isinterpreted
as a formal series onU defined
by z
E H -~F,
ex >:=F(z).
Generalized random variables. For
simplicity
we put = Theimage
of
S(U) by
theisometry
I is the spaceP(O) spanned by
k E~V,
andz E U.
Moreover,
if z ELP(X)
then E seeproposition
3.1 inSurgailis (1984).
The setP(Q)*
of linear forms onP(Q)
iscalled the set of
generalized
random variables. From that we obtain thetriplet
~
LZ(~)
~P(f~)*. (7)
The
isomorphism
1 fromFock(H)
intoL2(03A9)
is such that I(S(U))
=P(03A9).
Thus the
transpose I*,
of the restriction of I fromS(U)
intoP(Q),
definesan
isomorphism
fromP(S2)*
intoS(U)*.
The Wiener-Itoexpansion
I is ex-tended to an
isomorphism
between thetriplets (6)
and(7),
and we denote italso
by
l. For A > 0 the spaceHa,
definedby
F == oo, is a
subspace
ofP(03A9)*
.Gradient
operator
anddivergence operator.
In thetriplet (6)
thegradient
operator
D is defined fromS(U)
toS(U)®U by
Dzn = b’z EU,
n EThe
transpose DT
of D defines thedivergence operator
from(S(U)
@U)*
to
S(U)*,
and we have for all F E(S(U)
®U)*
and z E U thefollowing equality
in the formal series sense
~~ a n,
zn >_~~° o n, F,
Dx" >. .Skorohod
integral
withrespect
to the centered Poisson measure. Us-ing
theisomorphism
I between thetriplets (6)
and(7)
we define thegradient operator V
on and thedivergence operator
~ on ®U)*.
An elementof
(P(S~)
®U)*
is called ageneralized
stochastic process. For F E ®U)*
we have the
generalized integration by
parts formula >=F, ~In(zn)
>, where ., .> denotes theduality
betweenP(03A9)*
andP(03A9).
IfX =
[0,1]
x E then the It6integral
withrespect
to the centered Poisson measureq is extended
by
thedivergence operator 6, Dermoune, Kree,
Wu(1988).
Wick
product
of twogeneralized
random variables. Ageneralized
ran-dom variable F E
P(SI)*
is characterizedby
itssymbol z
E U -->F(z)
=F, In(zn)
>. . IfF,
G EP(SI)*
then the Wickproduct
FoG of F andG is the element of
P(f2)*,
definedby
F oG(z)
=F(z)G(z),
V z E U.Example, i)
Let xEX,
, thegeneralized
random variableq( x)
is definedby
the
symbol z
--~q(z)(z)
=z(x).
If F is ageneralized
random variable then the Wickproduct
F oq(x)
has thesymbol
z ~F(z)z(x).
ii)
For n EIN*,
and F EP(03A9)*,
we denoteby
the Wickproduct
F o ... o F n-times. IfJ(t)
=~n antn
is ananalytic function,
then means the sum03A3n anFn
.3 The main results
Here U =
C~ (~+)
is the set ofcontinuously
differentiable functions fromR+
to
IR,
with compactsupport,
andC1(IR
xIR+, P(03A9)*)
is the set of functions(x, t)
~u(x,t)
EP(03A9)*
which have thesymbol u(x, t, z) continuously
differ-entiable with
respect
to(x, t)
~ IR xIR+.
We suppose that a, b EP(SI)*,
andwe seek solution of the SPDE
(1)
in the spaceC1(IR
xIR+, P(03A9)*),
with initial value x --~ in If u is such a solution then itssymbol u( x,
t,z)
is solution of the deterministicfollowing quasi-linear
PDE :~tu(x, t, z)
+t, z)
+t, z)
=z(t), (8)
the initial value x -+
u(x, 0, z) belongs
to The system of characteristicequations,
for the PDE(8),
see e.g. Whitham(1974),
aredX dt
=
a(z)V
+ b( z) , dV dt = z( t) .(9)
Under the initial conditions
~(=0)=/, v(t
=0)
=0, x)
the solution of
(9)
isgiven by
t
X(y, t, z)
=a(z) 0 (t
-s)z(s)ds
+(a(z)u(y, o, z)
+b(z))t
+ y,(10)
and
t
V(y,
t,z)
=u(y, o, x)
+0 x(s)ds. (I1)
Thus,
the solutionu(ac,
t,x)
of(8)
may be described in two different ways: on the one hand we may consider it at a fixedpoint
of space, at time t. This is the so-called Euleriandescription.
On the otherhand,
we may follow the waveevolution
along
the characteristicX(y, t, x),
definedby
the initial coordinate y. Thisdescription
is aLagrangian
one, with y theLagrangian
coordinate. To pass from theLagrangian approach
to the Eulerian one it is necessary to find aninitial
Lagrangian
coordinatet)
such that x =X(y(z, t),
t,x).
From(10), ( 11 )
we haveu(x, t, x)
=u(y, o, x)
+z(s)ds, (12)
and
t t
y = z -
a(z) 0 (t
-s)z(s)ds
-ta(z)V(y, t, z)
+ta(z) 0 z(s)ds
-tb(z).
If the initial value is affine then we have the
following
result.Proposition
3.1.Let the initial valueu(y, 0)
= ay +03B2,
where a,03B2
EP(03A9)*
.Suppose
thata(o)a(o)
>0,
then z --~(a(z)a(x)t
+1)-1
is thesymbol
of ageneralized
random variable denotedby A(a,
a,t),
and the SPDE~I)
has aunique
solution inC~(1R
x1R+, P(~)*) given by
u(x,t)-A(a,a,t)o (x03B1-t03B1~b+03B1~03B1~ ~t0 sdq(s)+03B2+q((0,t]))
.In
partic ular
if a, a are deterministic and such that aa > 0 thent
u(x, t)
=(aat +1)-1(x03B1
- tab + aa% sdq(s)
+03B2
+q((0, t]).
But if aa 0 then this solution is
only
defined for 0 t-a’la’1.
.Proof.
First,
it is well known that a series z --~S(z),
such thatS(0) ~ 0,
isinvertible in
S(U)*
. From that and from the conditiona(o)a(Q)
> 0 we concludethat for all t E
IR+,
z ~(a(z)a(x)t
+1)‘I belongs
toS(U)*.
It follows thatx --~
(a(z)a(x)t
+I)’1
is thesymbol
of ageneralized
random variableA(a,
a,t).
.Under the
hypothesi,s
on the initial value and from(12)
we havet
u(z,
t,z) = (ta(z)a(x)
+1)‘1 (x03B1
-tb(z)03B1(z)
+a(z)a(z) % sz(s)ds+
0
Q(z)
+%
.It is easy to see from
(5)
that~t0 sz(s)ds, ~t0 z(s)ds
arerespectively
thesymbol
ofthe random variables
~o sdq(s)
andq((o, t~).
From that and from the definition of the Wickproduct
we have the result.Example, Suppose
that a isdeterministic,
a ~q((O,T’~)
and T > 0. Thesymbol A(a,
a, t,z)
of thegeneralized
random variableA(a,
a,t)
isgiven by
~y~ -1 ~ T
1 +
x(s)ds)ta
=03A3(-03B1t)n(~ z(s)ds)n.
~ d ~
n~0a
It is easy to prove that
(
is thesymbol
ofIn(1~n(0,T]).
From that wehave
A(a,
a,t)
03A3~n=0(-t03B1)nIn(1~n(0,T]), and does notbelong
toU03BB>0 Ha.
Now we
study
the SDE(2).
We denoteby Md
the space of d x dmatrices,
H =
L2(~0, l~
xE, $, v)
and U is a dense subset of H. The setHf
is thespace
spanned by In(fn),n
EIN, fn
E and are thecorresponding
spaces ofJRd-valued
random variables(Hx
is defined inparagraph generalized
random variable section2).
Let A E H ®Md,
B EL~ ((0,1~; dt)
®Md
andXo
be ageneralized
random vector such that the formal seriesXo(z)
converges for all z E U. The linear stochastic differential
equation
Xt
=Xo
+it
+~t0BsXsds
has a
unique
solution in(P(03A9)
®U)* given by Xt
=03BEt
oXo, where 03BE
is thesolution of the linear stochastic differential
equation
03BEt
=Id
+~t0~EA(s,x)03BEs-dq(s,x)
+~t0Bs03BEsds.
Let us suppose that for all s, t E
[0, 1],
z E E the matricesA(s, x), B=, Bs commute,
under thishypothesis
the solutionXt
of the SDE(2)
isgiven by
expel; Bads) (£t(A)
oXo),
where =£(A1(o,tl).
We can express~t(A)~X0
as a
product
whereT-At
is a linear transformation onHf(IRd)
.The
proof
of these results andnearly
all the results in the Wiener case goexactly
as in
Buckdahn,
Nualart(1994),
but there is onedifference,
due to the fact that theproduct
formula£(z)£(z’)
is not the same. In the Poisson space we have£(z)£(z’)
=exp(~
+ z’ +zz’). (13)
The
following proposition
shows that in the Poisson case we obtain an additional term for the operatorT-At
.Proposition
3.2. If(Id
+ eL" ([0, 1]
xE,v)
©Md
then for aJl F eHf(IRd), £t(A) o F
=£i (A)
. The linear operatorT-At
is defined for aflm e
lV, fm
eby
m
=
03A3(mk)(-1)kIm-k ( ((Id
+fm >)
.k=o
Proof. Let z e
U,
from(13), (5)
we haveE [( £t (A) o Im ( fm ) )£(z)]
= expfm , z"’
>and,
E
I£t(A)
*exp(~t0~E z(s, z)A(s, z)dv(s, z))E [£( A1[0,t[
+z(Id
+A1[0,t[))T-At(Im(fm))]
.We want to
get
for aV z e UE
( £( A1[0,t[
+z(Id
+Aljo,ij) ) T-At(Im(fm))] ] = fm,zm
> .By putting
Z =A1[0,t[
+z( Id
+A1[0,t[)
we obtainEl £(z) I * (((z
-A1[0,t[)(Id
+A1[0,t[)-1)~m, fm
m
*
03A3(mk)(-1)k(A1[0,t[)~k
©((Id
+)~m fm )
k=0
By
identification we obtain theexpression
of .Example.
Iff,
A e H such that(I
+ eL°’ ([0, 1]
XE, v),
thenT-At (I1 (f))=
I1((1+ A1[0,t])-1f)- ~t0 ~E
A(s,x) 1+(A(s,x)f(s, x)dv(s, x).
=
E, ~,~) ~ ~
then(~(~)) (~)
=(~(~))’
where =It follows that contrary to the Wiener case
the transformation
f~,
and isonly
a linearoperator
onThe
operator T~
can be extend to but the estimate of its norm isslightly
different from the Wiener case.Proposition
3.3. Let F e A >0,
and A ~ 0M~
such that(7d
+A)-1
6L~([0,1]
xE,03BD)
0Md,
then(F)j~ ~ ’~!’2A!!(/.+~i~{)-~~ ’
Proof. Let F =
03A3Nn=0 In(fn)
from the definitionof T-At
we haveN
n=0
2
N N
E~’~’ E~)(-~’"’
>j=0 n=j
~ ~
~
N N
’~
~~j=0 n=j
=2(nk)n! k!03BB2n (~A1[0,t[~22 03BB2)k 2n~((Id +A1[0,t[)-1)~nfn ~22 .
Using
theinequality
1 k!(~A1[0,t[~22 03BB2)k ~ exp(~A1[0,t[)~22 03BB2)
we obtain
~TAi(In(fn))~203BB ~
References
R.
Buckdahn,
D.Nualart,
Linear stochastic differentialequations
and Wickproducts, Probab.Theory
Relat.Fields99,
Num4, (1994)
501-526.E.
Carlen,
E.Pardoux,
Differential calculus andintegration by
parts on Poisson space,Math.appl, 59, (Kluwer Acad.Publ.Dordrecht, 1990) Stochastics, Alge-
bra and
analysis
in classical andquantum dynamics (Marseille, 1988)
pp. 63-73.A.
Dermoune,
Non-commutativeBurgers equation,
to appear in Hokkaido Math- ematicalJournal (1995).
A.
Dermoune,
P.Krée,
L.Wu,
Calculstochastique
nonadapté
parrapport
à la mesure aléatoire dePoisson,
in : J.Azéma,
P.A.Meyer
and M.Yor, eds.,
Séminaire de ProbabilitésXXII,
Lect.Notes in Math.1321(Springer-Verlag, Berlin, Heidelberg,
NewYork, 1988) pp.477-484.
H.
Holden,
T.Lindstrom,
B.Oksendal,
J.Uboe,
T.S.Zhang,
TheBurgers
equa- tion with anoisy
force and the stochastic heatequation.
Comm. PDE. 19(1994)
119-141.
P.
Krée,
Théorie des distributions en dimensionquelconque
etintégrales
stochas-tiques.
Stochasticanalysis
and relatedtopics (Silivri, 1986),
Lect.Notes in Math.1316(Springer, Berlin, New-York, 1988) pp.170-233.
D.
Nualart,
E.Pardoux,
Stochastic calculus withanticipating integrands.
Probab.Theory
Relat.Fields 78(1988)
80-129.D.
Nualart,
J.Vives, Anticipative
calculus for the Poisson process based onthe Fock space in:
J.Azéma, P.A.Meyer
andM.Yor, eds.,
Séminaire de Prob-abilités
XXIV,
Lect.Notes in Math.1426(Springer-Verlag, Berlin, Heidelberg,
New
York, 1990) pp.154-165.
D.
Nualart,
M.Zakai,
Generalized Brownian functionals and the solution to astochastic
partial
differentialequation.
J.FunctionalAnalysis
84(1989)
279-296.
D.
Surgailis,
Onmultiple
Poisson stochasticintegrals
and associated MarkovSemi-groups. Probability
andMath-Stat, vol.3,
Fasc.2(1984)
217-239.G. B.
Whitham,
Linear and nonlinear waves(Wiley,
NewYork, Chichester, Brisbane, Toronto, Singapore, 1974).
Manuscrit reçu en Mars 1997