SlideShare une entreprise Scribd logo
1  sur  11
Télécharger pour lire hors ligne
introduction to sde
Tomohiro Koana
May 10, 2016
the University of Tokyo
Hasegawa lab
what is sde?
SDE stands for Stochastic Differential Equation.
A system is called stochastic when uncertainty is contained in the
values of parameters, measurements, expected input and
disturbances.
A SDE is a differential equation in which at least one term is a
alertstochastic process.
1
stochastic process
1. A collection {X(t)|t ≥ 0} of random variables is called a
stochastic process.
2. For each point ω ∈ Ω, the mapping t → X(t, ω) is the
corresponding sample path.
When a stochastic process is observed over time in an
experiment, it corresponds to one sample path for some ω.
Another sample path will be found when you run the
experiment again.
2
example of sde
{
˙X(t) = b(X(t)) + B(X(t))ξ(t)
X(0) = x0
where B : Rn
→ Mn×m
and ξ(·) := m dimensional white noise.
Note that ξ(·) hasn’t been defined mathematically.
When m = n, x0 = 0, b ≡ 0, and B ≡ I, the solution to the equation is
called Wiener Process or Brownian Motion, denoted W(·).
˙W(·) = ξ(t)
3
brownian motion
Consider when a unit amount of ink is injected at time t = 0, at the
location x = 0. Let f(x, t) denote the density of ink particle at time t.
Initially we have
f(x, 0) = σ0
We denote the probability of the event that an ink particle moves
from x to x + y in small time τ is ρ(τ, y). Then,
f(x, t+τ) =
∫ ∞
−∞
f(x−y, t)ρ(τ, y)dy =
∫ ∞
−∞
(f−fxy+
1
2
fxxy2
+...)ρ(τ, y)dy
ρ(τ, −y) = ρ(τ, y) by symmetry. We assume that
∫ ∞
−∞
y2
ρdy = Dτ
Consequently,
f(x, t + τ) − f(x, t)
τ
=
Dfxx(x, t)
2
+ {Higher order}
4
brownian motion
f(x, t + τ) − f(x, t)
τ
=
Dfxx(x, t)
2
+ {Higher order}
Sending τ → 0, we obtain
ft =
D
2
fxx
This is called the diffuse equation or the heat equation. With the
initial condition,
f(x, t) =
1
(2πDt)
1
2
e− x2
2Dt = N(0, Dt)
D is a constant computed as follows:
D =
RT
NAf
where



R: gas constant
T: absolute temperature
NA: Avogadro’s constant
f: friction coefficient
5
a variant of brownian motion
The random walks can be considered as a variant of the Brownian
motion. Consider particle created on x = 0 at time t = 0. Every ∆t,
the particle moves by ∆x either to the left or right with probability
1/2. Let p(m, n) denote the probability that the particle is at position
m∆x at time n∆t. Then
p(m, n + 1) =
1
2
p(m − 1, n) +
1
2
p(m + 1, n)
and hence
p(m, n + 1) − p(m, n) =
1
2
(p(m + 1, n) − 2p(m, n) + p(m − 1, n))
This closely resembles what we derived in the last slide:
ft =
D
2
fxx
6
brownian motion definition
A real-valued stochastic process is called a Brownian motion if
1. W(0) = 0,
2. W(t) − W(s) is N(0, t − s) for ∀ 0 ≤ s ≤ t
3. ∀ 0 < t1 < t2... < tn, W(t1), W(t2) − W(t1), ... are independent.
Note that
E(W(t)) = 0, E(W2
(t)) = t
7
brown motion lemma
Lemma
E(W(t)W(s)) = t ∧ s = min{t, s}
Proof
Assume t ≥ s ≥ 0.
E(W(t)W(s)) = E((W(s) + W(t) − W(s))W(s))
= E(W2
(s)) + E((W(t) − W(s))W(s))
= s + E(W(t) − W(s))E(W(s))
= s = t ∧ s
(1)
Here we used the fact that W(t) − W(s) and W(s) are independent.
8
on white noise
Recall that
˙W(t) = ξ(t)
Φh(s) = E
((
W(t + h) − W(t)
h
) (
W(s + h) − W(s)
h
))
=
1
h2
(((t + h) ∧ (s + h)) − ((t + h) ∧ s) − (t ∧ (s + h)) + (t ∧ s))
(2)
Φh(s) → 0 as h → 0 and
∫
Φh(s) = 1 hold, so presumably
Φh(s) → δ(s − t). Sending h → 0, we obtain E(ξ(t)ξ(s)) = Φh(s). Thus
by heuristics
E(ξ(t)ξ(s)) = δ0(s − t)
9
lévy–ciesielski construction of brownian motion
The family of {hk(·)}∞
k=0 of Haar functions
h0(t) := 1 for 0 ≤ t ≤ 1
h1(t) :=
{
1 for 0 ≤ t ≤ 1/2
−1 for 1/2 ≤ t ≤ 1
If 2n
≤ k < 2n+1
, n = 1, 2, ...
hk(t) :=



2n/2
for k−2n
2n ≤ t ≤ k−2n
+1/2
2n
−2n/2
for k−2n
+1/2
2n ≤ t ≤ k−2n
+1
2n
0otherwise
10

Contenu connexe

Tendances

somenath_fixedpoint_dasguptaIMF17-20-2013
somenath_fixedpoint_dasguptaIMF17-20-2013somenath_fixedpoint_dasguptaIMF17-20-2013
somenath_fixedpoint_dasguptaIMF17-20-2013
Somenath Bandyopadhyay
 

Tendances (20)

Furier serice
Furier sericeFurier serice
Furier serice
 
Ft3 new
Ft3 newFt3 new
Ft3 new
 
Fourier series
Fourier seriesFourier series
Fourier series
 
Ch06 4
Ch06 4Ch06 4
Ch06 4
 
Distributions
DistributionsDistributions
Distributions
 
Chapter3 - Fourier Series Representation of Periodic Signals
Chapter3 - Fourier Series Representation of Periodic SignalsChapter3 - Fourier Series Representation of Periodic Signals
Chapter3 - Fourier Series Representation of Periodic Signals
 
AEM Fourier series
 AEM Fourier series AEM Fourier series
AEM Fourier series
 
ENFPC 2010
ENFPC 2010ENFPC 2010
ENFPC 2010
 
Laplace equation
Laplace equationLaplace equation
Laplace equation
 
senior seminar
senior seminarsenior seminar
senior seminar
 
1531 fourier series- integrals and trans
1531 fourier series- integrals and trans1531 fourier series- integrals and trans
1531 fourier series- integrals and trans
 
Fourier series
Fourier seriesFourier series
Fourier series
 
Nokton theory-en
Nokton theory-enNokton theory-en
Nokton theory-en
 
optimal control principle slided
optimal control principle slidedoptimal control principle slided
optimal control principle slided
 
Ch06 1
Ch06 1Ch06 1
Ch06 1
 
Fourier series
Fourier series Fourier series
Fourier series
 
Fourier series of odd functions with period 2 l
Fourier series of odd functions with period 2 lFourier series of odd functions with period 2 l
Fourier series of odd functions with period 2 l
 
Fourier series
Fourier seriesFourier series
Fourier series
 
somenath_fixedpoint_dasguptaIMF17-20-2013
somenath_fixedpoint_dasguptaIMF17-20-2013somenath_fixedpoint_dasguptaIMF17-20-2013
somenath_fixedpoint_dasguptaIMF17-20-2013
 
Fourier series 1
Fourier series 1Fourier series 1
Fourier series 1
 

En vedette

лингвистическое обеспечение электронных_библиотек
лингвистическое обеспечение электронных_библиотеклингвистическое обеспечение электронных_библиотек
лингвистическое обеспечение электронных_библиотек
Иван Иванов
 

En vedette (15)

Magazine Questionnaire Results
Magazine Questionnaire ResultsMagazine Questionnaire Results
Magazine Questionnaire Results
 
780091
780091780091
780091
 
Mi vida
Mi vidaMi vida
Mi vida
 
лингвистическое обеспечение электронных_библиотек
лингвистическое обеспечение электронных_библиотеклингвистическое обеспечение электронных_библиотек
лингвистическое обеспечение электронных_библиотек
 
Blogs para periodistas
Blogs para periodistasBlogs para periodistas
Blogs para periodistas
 
CVHanneW2016
CVHanneW2016CVHanneW2016
CVHanneW2016
 
Prado museum. Masterpieces from The Prado.
Prado museum. Masterpieces from The Prado.Prado museum. Masterpieces from The Prado.
Prado museum. Masterpieces from The Prado.
 
Booktrailer
Booktrailer Booktrailer
Booktrailer
 
Statue of Liberty
Statue of LibertyStatue of Liberty
Statue of Liberty
 
El Estado De La Blogosfera Rosario Blog Day 09
El Estado De La Blogosfera Rosario Blog Day 09El Estado De La Blogosfera Rosario Blog Day 09
El Estado De La Blogosfera Rosario Blog Day 09
 
EVANNEX Glove Box Bumper Installation
EVANNEX Glove Box Bumper InstallationEVANNEX Glove Box Bumper Installation
EVANNEX Glove Box Bumper Installation
 
Civil Law
Civil LawCivil Law
Civil Law
 
The Economic Way of Thinking (C&E)
The Economic Way of Thinking (C&E)The Economic Way of Thinking (C&E)
The Economic Way of Thinking (C&E)
 
Classroom-Based Research EVO 2016 Week 3: "Data collection tools for resear...
  Classroom-Based Research EVO 2016 Week 3: "Data collection tools for resear...  Classroom-Based Research EVO 2016 Week 3: "Data collection tools for resear...
Classroom-Based Research EVO 2016 Week 3: "Data collection tools for resear...
 
resume dec 2015
resume dec 2015resume dec 2015
resume dec 2015
 

Similaire à 160511 hasegawa lab_seminar

Seminar Talk: Multilevel Hybrid Split Step Implicit Tau-Leap for Stochastic R...
Seminar Talk: Multilevel Hybrid Split Step Implicit Tau-Leap for Stochastic R...Seminar Talk: Multilevel Hybrid Split Step Implicit Tau-Leap for Stochastic R...
Seminar Talk: Multilevel Hybrid Split Step Implicit Tau-Leap for Stochastic R...
Chiheb Ben Hammouda
 

Similaire à 160511 hasegawa lab_seminar (20)

Seminar Talk: Multilevel Hybrid Split Step Implicit Tau-Leap for Stochastic R...
Seminar Talk: Multilevel Hybrid Split Step Implicit Tau-Leap for Stochastic R...Seminar Talk: Multilevel Hybrid Split Step Implicit Tau-Leap for Stochastic R...
Seminar Talk: Multilevel Hybrid Split Step Implicit Tau-Leap for Stochastic R...
 
research paper publication
research paper publicationresearch paper publication
research paper publication
 
501 lecture8
501 lecture8501 lecture8
501 lecture8
 
Existance Theory for First Order Nonlinear Random Dfferential Equartion
Existance Theory for First Order Nonlinear Random Dfferential EquartionExistance Theory for First Order Nonlinear Random Dfferential Equartion
Existance Theory for First Order Nonlinear Random Dfferential Equartion
 
On Twisted Paraproducts and some other Multilinear Singular Integrals
On Twisted Paraproducts and some other Multilinear Singular IntegralsOn Twisted Paraproducts and some other Multilinear Singular Integrals
On Twisted Paraproducts and some other Multilinear Singular Integrals
 
Ch07 7
Ch07 7Ch07 7
Ch07 7
 
stochastic processes assignment help
stochastic processes assignment helpstochastic processes assignment help
stochastic processes assignment help
 
The wave equation
The wave equationThe wave equation
The wave equation
 
NONLINEAR DIFFERENCE EQUATIONS WITH SMALL PARAMETERS OF MULTIPLE SCALES
NONLINEAR DIFFERENCE EQUATIONS WITH SMALL PARAMETERS OF MULTIPLE SCALESNONLINEAR DIFFERENCE EQUATIONS WITH SMALL PARAMETERS OF MULTIPLE SCALES
NONLINEAR DIFFERENCE EQUATIONS WITH SMALL PARAMETERS OF MULTIPLE SCALES
 
Contemporary communication systems 1st edition mesiya solutions manual
Contemporary communication systems 1st edition mesiya solutions manualContemporary communication systems 1st edition mesiya solutions manual
Contemporary communication systems 1st edition mesiya solutions manual
 
脳の計算論 第3章「リズム活動と位相応答」
脳の計算論 第3章「リズム活動と位相応答」脳の計算論 第3章「リズム活動と位相応答」
脳の計算論 第3章「リズム活動と位相応答」
 
Fixed point theorem of discontinuity and weak compatibility in non complete n...
Fixed point theorem of discontinuity and weak compatibility in non complete n...Fixed point theorem of discontinuity and weak compatibility in non complete n...
Fixed point theorem of discontinuity and weak compatibility in non complete n...
 
11.fixed point theorem of discontinuity and weak compatibility in non complet...
11.fixed point theorem of discontinuity and weak compatibility in non complet...11.fixed point theorem of discontinuity and weak compatibility in non complet...
11.fixed point theorem of discontinuity and weak compatibility in non complet...
 
Geometric and viscosity solutions for the Cauchy problem of first order
Geometric and viscosity solutions for the Cauchy problem of first orderGeometric and viscosity solutions for the Cauchy problem of first order
Geometric and viscosity solutions for the Cauchy problem of first order
 
Chapter3 laplace
Chapter3 laplaceChapter3 laplace
Chapter3 laplace
 
Hw2 s
Hw2 sHw2 s
Hw2 s
 
ch9.pdf
ch9.pdfch9.pdf
ch9.pdf
 
A new Perron-Frobenius theorem for nonnegative tensors
A new Perron-Frobenius theorem for nonnegative tensorsA new Perron-Frobenius theorem for nonnegative tensors
A new Perron-Frobenius theorem for nonnegative tensors
 
Complete l fuzzy metric spaces and common fixed point theorems
Complete l fuzzy metric spaces and  common fixed point theoremsComplete l fuzzy metric spaces and  common fixed point theorems
Complete l fuzzy metric spaces and common fixed point theorems
 
International journal of engineering and mathematical modelling vol2 no3_2015_2
International journal of engineering and mathematical modelling vol2 no3_2015_2International journal of engineering and mathematical modelling vol2 no3_2015_2
International journal of engineering and mathematical modelling vol2 no3_2015_2
 

Dernier

Bacterial Identification and Classifications
Bacterial Identification and ClassificationsBacterial Identification and Classifications
Bacterial Identification and Classifications
Areesha Ahmad
 
Conjugation, transduction and transformation
Conjugation, transduction and transformationConjugation, transduction and transformation
Conjugation, transduction and transformation
Areesha Ahmad
 
Pests of cotton_Borer_Pests_Binomics_Dr.UPR.pdf
Pests of cotton_Borer_Pests_Binomics_Dr.UPR.pdfPests of cotton_Borer_Pests_Binomics_Dr.UPR.pdf
Pests of cotton_Borer_Pests_Binomics_Dr.UPR.pdf
PirithiRaju
 
dkNET Webinar "Texera: A Scalable Cloud Computing Platform for Sharing Data a...
dkNET Webinar "Texera: A Scalable Cloud Computing Platform for Sharing Data a...dkNET Webinar "Texera: A Scalable Cloud Computing Platform for Sharing Data a...
dkNET Webinar "Texera: A Scalable Cloud Computing Platform for Sharing Data a...
dkNET
 
Module for Grade 9 for Asynchronous/Distance learning
Module for Grade 9 for Asynchronous/Distance learningModule for Grade 9 for Asynchronous/Distance learning
Module for Grade 9 for Asynchronous/Distance learning
levieagacer
 
biology HL practice questions IB BIOLOGY
biology HL practice questions IB BIOLOGYbiology HL practice questions IB BIOLOGY
biology HL practice questions IB BIOLOGY
1301aanya
 

Dernier (20)

IDENTIFICATION OF THE LIVING- forensic medicine
IDENTIFICATION OF THE LIVING- forensic medicineIDENTIFICATION OF THE LIVING- forensic medicine
IDENTIFICATION OF THE LIVING- forensic medicine
 
Forensic Biology & Its biological significance.pdf
Forensic Biology & Its biological significance.pdfForensic Biology & Its biological significance.pdf
Forensic Biology & Its biological significance.pdf
 
Bacterial Identification and Classifications
Bacterial Identification and ClassificationsBacterial Identification and Classifications
Bacterial Identification and Classifications
 
module for grade 9 for distance learning
module for grade 9 for distance learningmodule for grade 9 for distance learning
module for grade 9 for distance learning
 
SAMASTIPUR CALL GIRL 7857803690 LOW PRICE ESCORT SERVICE
SAMASTIPUR CALL GIRL 7857803690  LOW PRICE  ESCORT SERVICESAMASTIPUR CALL GIRL 7857803690  LOW PRICE  ESCORT SERVICE
SAMASTIPUR CALL GIRL 7857803690 LOW PRICE ESCORT SERVICE
 
CELL -Structural and Functional unit of life.pdf
CELL -Structural and Functional unit of life.pdfCELL -Structural and Functional unit of life.pdf
CELL -Structural and Functional unit of life.pdf
 
Conjugation, transduction and transformation
Conjugation, transduction and transformationConjugation, transduction and transformation
Conjugation, transduction and transformation
 
GBSN - Microbiology (Unit 1)
GBSN - Microbiology (Unit 1)GBSN - Microbiology (Unit 1)
GBSN - Microbiology (Unit 1)
 
Pests of cotton_Borer_Pests_Binomics_Dr.UPR.pdf
Pests of cotton_Borer_Pests_Binomics_Dr.UPR.pdfPests of cotton_Borer_Pests_Binomics_Dr.UPR.pdf
Pests of cotton_Borer_Pests_Binomics_Dr.UPR.pdf
 
Zoology 5th semester notes( Sumit_yadav).pdf
Zoology 5th semester notes( Sumit_yadav).pdfZoology 5th semester notes( Sumit_yadav).pdf
Zoology 5th semester notes( Sumit_yadav).pdf
 
FAIRSpectra - Enabling the FAIRification of Spectroscopy and Spectrometry
FAIRSpectra - Enabling the FAIRification of Spectroscopy and SpectrometryFAIRSpectra - Enabling the FAIRification of Spectroscopy and Spectrometry
FAIRSpectra - Enabling the FAIRification of Spectroscopy and Spectrometry
 
dkNET Webinar "Texera: A Scalable Cloud Computing Platform for Sharing Data a...
dkNET Webinar "Texera: A Scalable Cloud Computing Platform for Sharing Data a...dkNET Webinar "Texera: A Scalable Cloud Computing Platform for Sharing Data a...
dkNET Webinar "Texera: A Scalable Cloud Computing Platform for Sharing Data a...
 
Site Acceptance Test .
Site Acceptance Test                    .Site Acceptance Test                    .
Site Acceptance Test .
 
Locating and isolating a gene, FISH, GISH, Chromosome walking and jumping, te...
Locating and isolating a gene, FISH, GISH, Chromosome walking and jumping, te...Locating and isolating a gene, FISH, GISH, Chromosome walking and jumping, te...
Locating and isolating a gene, FISH, GISH, Chromosome walking and jumping, te...
 
Module for Grade 9 for Asynchronous/Distance learning
Module for Grade 9 for Asynchronous/Distance learningModule for Grade 9 for Asynchronous/Distance learning
Module for Grade 9 for Asynchronous/Distance learning
 
High Profile 🔝 8250077686 📞 Call Girls Service in GTB Nagar🍑
High Profile 🔝 8250077686 📞 Call Girls Service in GTB Nagar🍑High Profile 🔝 8250077686 📞 Call Girls Service in GTB Nagar🍑
High Profile 🔝 8250077686 📞 Call Girls Service in GTB Nagar🍑
 
PSYCHOSOCIAL NEEDS. in nursing II sem pptx
PSYCHOSOCIAL NEEDS. in nursing II sem pptxPSYCHOSOCIAL NEEDS. in nursing II sem pptx
PSYCHOSOCIAL NEEDS. in nursing II sem pptx
 
biology HL practice questions IB BIOLOGY
biology HL practice questions IB BIOLOGYbiology HL practice questions IB BIOLOGY
biology HL practice questions IB BIOLOGY
 
GBSN - Biochemistry (Unit 1)
GBSN - Biochemistry (Unit 1)GBSN - Biochemistry (Unit 1)
GBSN - Biochemistry (Unit 1)
 
Pulmonary drug delivery system M.pharm -2nd sem P'ceutics
Pulmonary drug delivery system M.pharm -2nd sem P'ceuticsPulmonary drug delivery system M.pharm -2nd sem P'ceutics
Pulmonary drug delivery system M.pharm -2nd sem P'ceutics
 

160511 hasegawa lab_seminar

  • 1. introduction to sde Tomohiro Koana May 10, 2016 the University of Tokyo Hasegawa lab
  • 2. what is sde? SDE stands for Stochastic Differential Equation. A system is called stochastic when uncertainty is contained in the values of parameters, measurements, expected input and disturbances. A SDE is a differential equation in which at least one term is a alertstochastic process. 1
  • 3. stochastic process 1. A collection {X(t)|t ≥ 0} of random variables is called a stochastic process. 2. For each point ω ∈ Ω, the mapping t → X(t, ω) is the corresponding sample path. When a stochastic process is observed over time in an experiment, it corresponds to one sample path for some ω. Another sample path will be found when you run the experiment again. 2
  • 4. example of sde { ˙X(t) = b(X(t)) + B(X(t))ξ(t) X(0) = x0 where B : Rn → Mn×m and ξ(·) := m dimensional white noise. Note that ξ(·) hasn’t been defined mathematically. When m = n, x0 = 0, b ≡ 0, and B ≡ I, the solution to the equation is called Wiener Process or Brownian Motion, denoted W(·). ˙W(·) = ξ(t) 3
  • 5. brownian motion Consider when a unit amount of ink is injected at time t = 0, at the location x = 0. Let f(x, t) denote the density of ink particle at time t. Initially we have f(x, 0) = σ0 We denote the probability of the event that an ink particle moves from x to x + y in small time τ is ρ(τ, y). Then, f(x, t+τ) = ∫ ∞ −∞ f(x−y, t)ρ(τ, y)dy = ∫ ∞ −∞ (f−fxy+ 1 2 fxxy2 +...)ρ(τ, y)dy ρ(τ, −y) = ρ(τ, y) by symmetry. We assume that ∫ ∞ −∞ y2 ρdy = Dτ Consequently, f(x, t + τ) − f(x, t) τ = Dfxx(x, t) 2 + {Higher order} 4
  • 6. brownian motion f(x, t + τ) − f(x, t) τ = Dfxx(x, t) 2 + {Higher order} Sending τ → 0, we obtain ft = D 2 fxx This is called the diffuse equation or the heat equation. With the initial condition, f(x, t) = 1 (2πDt) 1 2 e− x2 2Dt = N(0, Dt) D is a constant computed as follows: D = RT NAf where    R: gas constant T: absolute temperature NA: Avogadro’s constant f: friction coefficient 5
  • 7. a variant of brownian motion The random walks can be considered as a variant of the Brownian motion. Consider particle created on x = 0 at time t = 0. Every ∆t, the particle moves by ∆x either to the left or right with probability 1/2. Let p(m, n) denote the probability that the particle is at position m∆x at time n∆t. Then p(m, n + 1) = 1 2 p(m − 1, n) + 1 2 p(m + 1, n) and hence p(m, n + 1) − p(m, n) = 1 2 (p(m + 1, n) − 2p(m, n) + p(m − 1, n)) This closely resembles what we derived in the last slide: ft = D 2 fxx 6
  • 8. brownian motion definition A real-valued stochastic process is called a Brownian motion if 1. W(0) = 0, 2. W(t) − W(s) is N(0, t − s) for ∀ 0 ≤ s ≤ t 3. ∀ 0 < t1 < t2... < tn, W(t1), W(t2) − W(t1), ... are independent. Note that E(W(t)) = 0, E(W2 (t)) = t 7
  • 9. brown motion lemma Lemma E(W(t)W(s)) = t ∧ s = min{t, s} Proof Assume t ≥ s ≥ 0. E(W(t)W(s)) = E((W(s) + W(t) − W(s))W(s)) = E(W2 (s)) + E((W(t) − W(s))W(s)) = s + E(W(t) − W(s))E(W(s)) = s = t ∧ s (1) Here we used the fact that W(t) − W(s) and W(s) are independent. 8
  • 10. on white noise Recall that ˙W(t) = ξ(t) Φh(s) = E (( W(t + h) − W(t) h ) ( W(s + h) − W(s) h )) = 1 h2 (((t + h) ∧ (s + h)) − ((t + h) ∧ s) − (t ∧ (s + h)) + (t ∧ s)) (2) Φh(s) → 0 as h → 0 and ∫ Φh(s) = 1 hold, so presumably Φh(s) → δ(s − t). Sending h → 0, we obtain E(ξ(t)ξ(s)) = Φh(s). Thus by heuristics E(ξ(t)ξ(s)) = δ0(s − t) 9
  • 11. lévy–ciesielski construction of brownian motion The family of {hk(·)}∞ k=0 of Haar functions h0(t) := 1 for 0 ≤ t ≤ 1 h1(t) := { 1 for 0 ≤ t ≤ 1/2 −1 for 1/2 ≤ t ≤ 1 If 2n ≤ k < 2n+1 , n = 1, 2, ... hk(t) :=    2n/2 for k−2n 2n ≤ t ≤ k−2n +1/2 2n −2n/2 for k−2n +1/2 2n ≤ t ≤ k−2n +1 2n 0otherwise 10