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.

we get,<br />

T T <br />

2at 2<br />

2at<br />

2<br />

e E ( B b( u, ϕ)) dx dt e E B dx dt,<br />

T T <br />

2at 2<br />

2at<br />

2<br />

lim L = L E|| ϕ || + 2a<br />

e E|| ϕ|| dt e E B dx dt<br />

N<br />

0<br />

T T<br />

2<br />

2at e E J ϕ dx dt + lim<br />

2at<br />

N 2<br />

e E|| ϕ ϕ || dt+<br />

5.3.2 Study <strong>of</strong> the parabolic equation :<br />

Accord<strong>in</strong>g to the lemma 7, it is possible to extract a subsequence <strong>of</strong> ( u ) ∈ , still noted ( u ) ∈ ,<br />

N N ∞<br />

such that u (resp. ( u ) N∈<br />

) converges weakly towards u (resp. ) <strong>in</strong> V as well as <strong>in</strong> L ( V)<br />

weak- .<br />

1<br />

N N<br />

Let us consi<strong>de</strong>r v ∈ H ( Q ) , <strong>an</strong>d set v the step function <strong>an</strong>d v<br />

the piecewise aff<strong>in</strong>e cont<strong>in</strong>uous<br />

function from [0 , T ] to V, built from the sequence v = v( n t ) as <strong>in</strong>troduce <strong>in</strong> (8) .<br />

Step 1 : energy equality<br />

Accord<strong>in</strong>g to (6), for <strong>an</strong>y n, one has :<br />

0<br />

T <br />

2at<br />

2<br />

e E ( B b( u, ϕ)) dx dt.<br />

N<br />

<br />

T<br />

T<br />

2at 2<br />

2at<br />

N 2<br />

+ e E ( B b( u, ϕ)) dx dt + lim e E|| ϕ ϕ || dt.<br />

0<br />

<br />

<br />

<br />

n 1<br />

v +1 v<br />

unvn u0v0 dx t<br />

uk t<br />

<br />

∇ ∇ <br />

<br />

<br />

n 1<br />

n 1<br />

t ( u ) v dx + t ( u u ) v d =<br />

k=0<br />

<br />

<br />

<br />

<br />

0 2<br />

Follow<strong>in</strong>g (12), one nds that lim L<br />

Thus,<br />

0<br />

<br />

k+1 k+1<br />

<br />

k=0<br />

n<br />

<br />

1<br />

∞<br />

k+1 k+1 k+1<br />

<br />

v +1 v<br />

ϕnvn ϕ0v0 dx t<br />

ϕk t<br />

<br />

N N<br />

dx+<br />

<br />

<br />

<br />

<br />

<br />

∇ ∇ <br />

<br />

nt N<br />

N N N<br />

N<br />

u ( n t) v ( n t) u0v (0) dx u<br />

<br />

0 <br />

+<br />

nt n 1<br />

N N<br />

( ) + <br />

N <br />

( k+1 k)<br />

+<br />

∂v<br />

∂t<br />

dx ds<br />

u v dx ds t u u ∂v<br />

∂t dx<br />

0 <br />

nt <br />

<br />

N ∞,N<br />

N<br />

( u u ) v d ds =<br />

N N<br />

ϕ ( n t) v<br />

( n t) dx<br />

<br />

<br />

<br />

<br />

<br />

<br />

<br />

nt N<br />

n 1<br />

N<br />

N<br />

N<br />

<br />

ϕ v (0) dx ϕ + ( k+1 k)<br />

∂v<br />

∂v<br />

dx ds t ϕ ϕ<br />

∂t ∂t dx.<br />

0<br />

t [0 , T ] n ( n 1)t < t nt, <br />

t <br />

N N N<br />

u ( t) v ( t) u0v (0) dx <br />

N<br />

N <br />

u +<br />

∂v<br />

Therefore, for <strong>an</strong>y <strong>in</strong> <strong>an</strong>d for such that we get,<br />

∂t<br />

dx ds<br />

0<br />

<br />

n<br />

0<br />

k=0<br />

<br />

k=0<br />

<br />

0<br />

k=0<br />

<br />

0 <br />

<br />

0 <br />

14<br />

0 <br />

0<br />

0<br />

k k<br />

k k<br />

k=0<br />

<br />

<br />

dx.<br />

<br />

N N<br />

(14)

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

Saved successfully!

Ooh no, something went wrong!