12.08.2013 Views

A Stochastic Model of Crystallization in an Emulsion - Laboratoire de ...

A Stochastic Model of Crystallization in an Emulsion - Laboratoire de ...

A Stochastic Model of Crystallization in an Emulsion - Laboratoire de ...

SHOW MORE
SHOW LESS

You also want an ePaper? Increase the reach of your titles

YUMPU automatically turns print PDFs into web optimized ePapers that Google loves.

( w( t)) t ∈[0<br />

,T ] is a cont<strong>in</strong>uous process with values <strong>in</strong> R , <strong>an</strong>d w(0)<br />

= 0.<br />

For every s < t, w( t) w( s)<br />

is a Gaussi<strong>an</strong> real valued r<strong>an</strong>dom variable with me<strong>an</strong> 0 <strong>an</strong>d<br />

vari<strong>an</strong>ce t s.<br />

Moreover, ∀s < t, ∀f<br />

Ϝ -measurable<br />

n<br />

L 2(0 ,T ; L 2(<br />

,H))<br />

E[( w( t) w( s)) f] = 0 <strong>an</strong>d E[( w( t) w( s)) ] = t s.<br />

About the Itô <strong>in</strong>tegration :<br />

<br />

2 2<br />

t<br />

∀f ∈ L (0 , T ; L ( , H)) , ( f( s) dw( s))<br />

is a cont<strong>in</strong>uous Ϝ -measurable process <strong>an</strong>d<br />

<br />

<br />

<br />

If f ⇀ f then<br />

<strong>an</strong>d<br />

s<br />

t0 t<br />

t t<br />

2<br />

2<br />

E[ f( s) dw( s)] = E[ f( s) ds ] .<br />

T<br />

T<br />

f ( s) dw( s) ⇀ f( s) dw( s)<br />

n<br />

L 2<br />

0 ( , ,P,H)<br />

0<br />

. .<br />

f ( s) dw( s) ⇀ f( s) dw( s ) .<br />

0<br />

L 2(<br />

, ,P, C([0<br />

,T ]))<br />

0<br />

The Fub<strong>in</strong>i Theorem :<br />

2 2<br />

Let f ∈ L (0 , T ; L ( , H)) <strong>an</strong>d h ∈ H with | f| h then<br />

t t <br />

f( s, ., x) dw( s) dx = f( s, ., x) dx dw( s) P a.s.<br />

The Itô formula :<br />

2 2<br />

Let f, g, M ∈ L (0 , T ; L ( , H)) such that ∀t ∈ [0 , T ] ,<br />

t t<br />

M( t) = M + g( s, ., . ) ds + f( s, ., . ) dw( s)<br />

then, for <strong>an</strong>y enough regular ϕ : R → R :<br />

n<br />

0<br />

0<br />

0 0 <br />

t<br />

ϕ( t, M( t)) = ϕ (0 , M ) + ∂ ϕ( s, M( s)) g( s, ., . ) ds+<br />

t t<br />

∂ ϕ( s, M( s)) g( s, ., . ) ds + ∂ ϕ( s, M( s)) f( s, ., . ) dw( s)+<br />

0<br />

2<br />

t<br />

1 2<br />

∂2, 2ϕ(<br />

s, M( s)) f( s, ., . ) ds.<br />

2 0<br />

<br />

So E ϕ( t, M( t)) dx = E ϕ (0 , M ) dx +<br />

0<br />

0<br />

t<br />

<br />

E ∂ ϕ( s, M( s)) g( s, ., . ) ds dx +<br />

0<br />

t<br />

<br />

E ∂ ϕ( s, M( s)) g( s, ., . ) ds dx +<br />

0<br />

t<br />

<br />

1<br />

2<br />

E ∂2, 2ϕ(<br />

s, M( s)) f( s, ., . ) ds dx .<br />

2<br />

0<br />

0<br />

0 0<br />

1<br />

2<br />

2<br />

0<br />

4<br />

0<br />

0<br />

1<br />

2<br />

2

Hooray! Your file is uploaded and ready to be published.

Saved successfully!

Ooh no, something went wrong!