Equazioni differenziali stocastiche

Consistenti

N :

Let lts ftp.t det function

)

.tn ) En

and ti

en

Pr

It' le the -

t tua R

.tn

ti st

→

:

= .

. . ,

. .

. .

. .

. . .

.

.

" a.

.

. .

( ) the to

throngh

Then

Ha of egual

Ra

K Image

X Nai

× An pit is

'

→

. . . "

. s

. .

+

.

.

..

, " . .

. .

.

.

. ) 1¥ )

Bn

Bsx

( B

BK ×

Bn

E

µ

.tn

time Bus

Bz

Bs

ttts ×

1N X

×

×

lei ET X

×

i. x

@

Bi x

1

E =

n ,

. se

. . . .

. .

. .

,

.

. .

. .

. .

. , .

, . )

(

Theorem theorem

Kolmogorov existence :

Let finite

1µA distribution

of

metri

separatele system

complete dim

and

E le spiace E

a on

a .

, , e) fine

detr.tt ( from

the de

the At

path

satisfying the of to

set

consiste condition and

t

s

my as

.

)

( )

oltt

F r.FI

(

then

I. Then probabilita

Xtlw Crisis

tutti set

) te

Xs or t on

o unique

a

= = = .

, ,

,

, ( KI

( )

Htt

of

family X f.

P distribution the

finite P

of dimensioni al process

the

)

st r

pa is =

s . ,

,

. .

Prof Let fa

X te measaralle integrale

§ th

progressive almost

Xtlwi

processi cvery ver

a

: nscasuralle

}

IN Xslwids is progressive

Prof :

He continuo

is

ns.Ytisodapted

° )

by

( Fubini theorens

ft X

measuralle velg

le progressi surreale

is

cause mica

-

}

Ye measuralle DI

progressive

is

( )

Theorem Kolmoforov theorem

continuity

's : Ellis ?

"

Let t.si

c)

stochastic

te Mn satisfyimg

X sit 7

processo in Xe

poco

a

a e

o o

> c. -

. , ,

Then of

stock

then modificati

which

Y More

continua

X

exists process is over

and

is

a ns

on

a . '

17 Yslrllt

for of tt

Hp si

path Y for

the Holder 7

continua )

Lire

to 413

every r

one vs

s : -

-

:

- ,

Latt

tu the

er ( )

Prop Let .co?BlloicoD

r.FI positive

:(

sorelle

le

X processano o

o

mea

a rv

→ a

: . .

Then measuralle

F- variabile

random

Xo Xiii am

is

w

: .

measvrable

Prof F)

Ito

:( E)

X by È

of F) (

tnìnsaps

the Composition col

givens salto te

e

con

si

a.

is ⑦

×

: ,

, ,

, ,

( Xelw

)

lui ti )

and

Nun

ha w

w ,

,

If

Prop finite time lxth.pt

( then

Kate

stalking ly measuralle

and F

X progressive

is

T processi

is

an r

a. s a

: = . ,

. ,

the Fe

X measurabee

is

v.v , -

.

Let

Prof that take value

its to

(

X I

E)

measurabee nerd prove

in

vs assume e.

noce

some

s

: .

}

fa {

that Fe

E B

e

×

Be e

every , .

,

, È Fa measurable

Odovpted

X ly measuralle

is progressive

° - -

ho

Fr nseasuralle

nieaswralle

is

7 -

-

. E)

(

fa VB

the Composition Xe measuralle fa

che

consideri X

nf is e

-

: ,

{ ( )

ridirla ttet definition

Hemee eh from the Fe

+

that

have }

et of

check

to

we : . }

te

in for

{ ante }

Fa te

Fe

et E

c-

a everg t

ÈO =

in ,

# In

{

{

We } tre E-

where

}

B)

that

motiv } nncosuralle

{ ×

art

X ) art

IB t is

com n :

: = ,

,

the fanta } for } Fe

{ both

to

lelongs

sequel if if

to

event sit

and

t and in

i so es

e cases

s , .

)

( )

ar t fattisi

I

of

Consideri tuo lr (

,

the Composition Ft

Fe ) @ lati ①

maps -

: , ,

I )

( measlgossumpt.am

X prof

.

te

ht )

e

, {

{ }

}

Xena Fa Hana

measuralle ft

{

mht fa

Fe +

+ albi

}

albi et

is e e

r et

n

. .

meousuralle

Fa

Xa the

is -

Prop If have X

metri then

and continuo hrocess

E. valned

shoa am

we

i a ns

e :

,

a) time

shopping

if set

is Open is

To

B am a (E)

b) right

filtratori

closed continuano

if time

set the stolti

B and

is is

is ra

a a

-

t

( )

} If

Inf I

{ from ttteo

the

time

Xe ¢

tra exit B Fa

B to

↳ B : =

i

=

Prof 9

: LO

}

tra . {

B) dlxs.BY

a) fxs

} { dlxs.BY

If }

%

?

Love ?

t ? E

U I

B set ±

is Open =

e .

> e-

am we .

; =

: 1

Mi

n

I sèq

.

to demons the fast

Love equivalere

frate

I : )

(

lo the from

(

of of

throngh Xslw

)

ott

{ {

} )

dlxs compact subset E

image

} is

n a

è

U I su

E

root .

• ,

set closed

1

mi Strictly

fare

di positive

set then

its '

the

and is

B

[ stance

④

se

↳ B)

(

d

if for

Xs ten

{ V.set

} IN

ed t.at Xs V. set s me

we some

B

e ,

dlxs.BY }

{ If

? the then for

! also

I valid

inclusi s.at walid set

it ④

ti

is

. is

we se

on

. ,

+ ,

dlk.BY }

{

?

! E

.

we a ftp.t }

{ )

dlxs

+ }

n ri

u I E

.

° ,

SE set

1

M = ④

se stati

t.c.dlxs.BIZ

On { ④

off fs

nun dlk.BY

if In

the apposite then e

we ,

, rt

s Q

se (

)

(

X dlxs.BY

continua the have

Sinn t

path to

the

continuano continuity

is need

set

of

we

vs e

are

s , )

{ from

}

Then Vs

Xslw

) rt .tt

Anto

root to

B set

e pass

we ¥

e

- (

co comitale

Therefore {

Love dlxs.BY }

} Fe

fr n

U I countable

union Intersect

and

it E

.

we ions

: . = set

1

Mi E)

④ of

se to

belonging

events

comitale

-

{ ' {

ftp.rt }

} that time

3 Sine

ft ft shopping

fellows

t it is

et

tra ra

e es e a

> = .

. .

9 }

{

} ?

{ ? { }

b) Love ¥

B

If Xs

KEB

closed t ' e

tra

is e

we

is = =

: Q

"

fast

the

Love demons

to tirate

I equivalenze :

}

{ }

? {

?

{ }

et

ta Xs

xseb B

E E

e

. w = +

+ ↳ smallare

sta set

intersect ion a

on {

}

w.es?+fXstB

n } }

{ but dense

X Q Esat

N

continuano

is and

Sinn

xseb in we

we

° srt

IQ

SE ?

{ !

{ {

} I

} }

{

eh

E

xseb Tra

et % rt

c-

ro e

= IQ

se countalle Intersect

ions

↳ { ¥

) Ht

to

to rt

Love have

time that

But stoppi prove e

to

onda

in ng we

a : .

{ )

} { It

continuity

( right

} for

? Fe the

et A

Fè

ott

Te ¥

E e -

=

= n.rs = ,

.

~ 0

E >

Ftt E

}

{ Fe

et DVD

time

shopping

ta and ra is

so

E a

Def )

(

Am stochastic motion

F Hei (

valned Browniani

XD

B

R if

p is

processo e a

: - .

. ,

, ,

,

Bo

d a.

io s . %

of

2) Independent

For oesrt the Be Bs

every is

v.v -

.

3) )

NIO fa

Bt t

B everyoes.tt

s

n

- -

, ,

Remarks : )

tlbv

Condition that

definition for

of implica Bz

the Bs

t

g) and

Bu t

Be Bs

in

2 es

B. M v

-

u.rs

-

. ,

)

(

(

A family

Gaussiana

2) ) gaussiana

of

Bt is

process

is r.us

B. a

m a

to

.

Prof By

info that

have that

definition ) indulti

By Bt Bes

a) te

B suppose

we

on

we e - . ,

: .

,

? )

that It

(

Let gaussiano

( gaussiana le

Ben

Bt prove Bt Ben is

is ns con

. .

. .

, . .

. . .

.

. . .

. . variallls

gaussiana

of

linea

comstnrctedos combinati

a on :

Bts !

°

°

0

Bts 1 ;

0

1 0

0 :

i.

: = : ÷

1

.

Btm Btm .

.

.

Btm . .

0 1

0 1 -

o s .

-

Linear Gaussiana

of gaussiana

tromsfonnation Vector vettore

gives una

that

To gaussiana enoufh

the to gaussiana

that

it not Bt Ht

process

is

M

B. is

N.rs Song sag is

a

. .

. You Love to !

the

definition shonld

the gaussiana

la

vector

use :

The ti

for

3) They

tir rtn

incremento Ben independent

Bee Be Bea Ben every

are r are

- - . .

. .

. . . .

, ,

, , , )

( ?

(

)

( V

incavolate Bti Bts

tly Bt

gaussiana Bt

E

di

and

join o its

-

- =

; ,

. . )

(

(

det ) filtrati

4) ft

( (E)

Kate le

F ) natural

Gt

D= B

Bt P

r n is

B. om

M

an a B.

-

e =

.

. , . .

. , I

È ) È È

Mallorca 1ham

' gtc

E cit

# that

E

with smallare ahahha

Bis provider Bis e

i.

B. n

an - -

. .

,

If ' '

%

E E

I

Bs Be Bs

Bt 1- and 1-

c

- - (

) 9ft

Def (

Bela (

Ht

if

(E)

E natural

Beh P is B. m

a =

: e

,

. .

,

, )

(

Prop filtrati

the natural

angmented on

: IÈ

)

htt ) Golding

( E the

le If

the algebra

( to

liete negligille

beh obtained

p

F

B. and

m t

r B.

a - -

.

, , ,

. )

( IÈ

È )

of F

events E VN B M

B.

is

= - .

)

Prof ( then

If (

lett p

rf Beh

B. B.

is M

a

: = :

.

, . , .

1) Bo P d.

s

o -

= . (

for ) )

lo

2) everyirtsrtzr.ir tm Ben n

B.es nn ,

. . .

.

.

Efbt )

3) snt

Bs

' = the

Converse that

properties

ly Natural

imply

G) B

(

41 M

si B.

process is a .

,

,

,

Proof )

(

that

if B. Fs

B Bo Bt at

M Bt

know P Bs Bs

1-

is we an

a a.

io s

s -

- -

i

: - .

. .

, ,

( ) lsobvious

(

si ) ( a)

)

( (

gaussiana N

Ben

Bis Bt

G) an

process Prove

ALREADY

~

a .

.

, .

. .

Eflbt ECBI

EFBI Ébs )

)

) Ella Efbt

Efbt )

)

B) ) for

)

) Bs

Bs Bs

Bs t set

G) Bstbs + s

-

- =

=

-

= = bs

to

ftp.BD.t

Converse ly t.rs

if

( ) ftp.qsianvector

tns

Bs

Bt linea trois

E = \ § Gaussiana

) fait

)

( rnloit [ Bt

;)

Bt a) is

Bs in Bs

Bt Bs e rv

s a

⇐ - -

- - -

= .

)

(

Éfbt )

EIBT

)

Bs Bs

E- o o o

=

= -

- .

= tes

if

t s

-

(

) TEIBI

EH

) ) Ef

ftp.t

VARIE )

) ' tts

Bt

) Bs sit

Bs

Bs E- e

- =

= -

-

- if

=

- set

. t

s .

? )

olbu

lgs

Bt Bs u.rs

- ,

{ } family {

More

Bt family

gaussiana {

Bs }

gaussiana { }

tes Bu

} Be

is Bs

Bu

is over u

- o.ru.rs

a

a -

; ,

. ,

.rs

.

.

. .

, of

family

gaussiana

is his

a (

( OMG

if

Bt (

) )

of if

Independent uncorrelated

Bs Be

is I'

and Bu

and

B

Bu

t oeu.rs vers are m

- -

, ,

) covlbt

family )

algebra

the of by gaussiana

propata d Bu

Bs itunes

generale

ing o

t

a

↳ a - =

- ,

ÉÌÌD

)

( EIBSB

)

Efbt Efbtbu

) )

)

(

covlbt Bs

) Bs Bu

Bt

E

Bu

Bs ti

v.

v. o

-

-

- .

- -

= =

, ?

does

Questioni exist

B. M

a . dimensionale (

A finite

the distribution )

gaussiana lo

B. ) nts

Bts ti

process

M Ben n Mis

know

is nn

we

a : =

,

. .

, . .

.

distribution

If Kolnsoforov

family

the satisfies

dim the

the

of finite applg 's

censiti on we

consiste noi can

.

to that

theorem state

existence exists

B. M

a .

)

) (

( tm Btm

te Bts

I pan

= .

. ,

.

. . . .

.

. )

(

) Btm

( Bt Bt

.tn

tre Bts

trita

ta

t' Nei r

= s

. .

. .

. - . .

,

. i .

, . ,

, . i

.

. . , ,

, " "

. )

-1 (

(

"

Mm ) Xm

Xm

IN

P in

+1 Kate

→

xs

→

: .

. . -1

.

" , . .

,

, .

,

, . ,

, . thronfh

if

holds the

condition

The of Ra

consiste image µ Piti

is

ncy . .

. Pitt

( )

that )

We As Art .am

A Mia Anta

Aax AK

Observer .am

A ×

×

µ ×

× ×

×

can , _

. .

=

: .

. . " " .

.

. .

a

+ .

.

.

. . . .

. A

th

KTI e

-

- ftp.t

- del

Bea -

-

1

li vettore

t'

- 0 amate

0 o covarianza

Bea nuovo

=

'

Be 0 1 0 :

0

-

,

:*

: a.

; B

B i tm

tm

- e e

_ ,

) (

( ) )

(

) '

Bts Btm

Bts

n Btn

Btn 0in

N

N Bt

int

~ n

' .

. . . .

.

. .

. "

.

, "

, .

, , ,

.

.

from by

t

M column

where olitained th and

is removinf K now

- .

distribution

The finite By

satisfy

al Kolnsoforov

dimensioni the consisteNCY CONDITION 's

s .

(

" from

then " of

probabili

theorem function

existemce set

the

exists P

ty

unique IR

a Space a

on =

) ( )

Htt (

Fiori F (

Fett

( then

tutti E

if Beth stochostic

p

) B- Beh

IR st si

Bs set is

→ o - a

= = ,

. , , ,

, ,

, family

Loring finite {

the )

distribution (

dimensioni tlts )

}

pirocess of

family .tn

of Bt Btm

al pit

as s . .

.

.

,

. .

.

.

,

, .

)

( tinte

with his

N an and

per = . motion

Browniani

Natural

condition

Bsatisfies of B

Prop

Island is a

s

Let

Prop tenere of

modificati set

exists W

be

B B

a on

B. M

a :

: .

.

W continuano

1) is

s.t.lflxi.fm/ecllx-ylltVx.ydWisanaturalB.MProof:Weapplg

al

W Hòlder 7

with

A continuano ponenti prete Coo no

is ex : , hold' that

the it

continuity consideri

Kolmogorovs poco

dem s i

: ,

""

3)

Effe l' "" Then

It sl

B. clplt.si htt ph t.ph poi

s

- =

- >

:

= = o

-

.

J W

modificati

theorem

For which

7 Hùlder

continuano

Holm continuavo

oforov and

on is

a

1312 1

- continua for

Holder

W

Kg Hp is sir

f. % us

o = 7 = of the

if

it modificati

continuare

is

W bis W

B. m

vvrb b.

B

a n

N

a

s a is

on .

.

Propositi det }

testo Ist

of

be )

torta

.tn

real it

B r.tn partiti

M

B. si

on a

: on

.

. .

, .

. .