Notes on Schr¶dinger's equation, Bessel bridges and first-passage time problems
Transcript of Notes on Schr¶dinger's equation, Bessel bridges and first-passage time problems
![Page 1: Notes on Schr¶dinger's equation, Bessel bridges and first-passage time problems](https://reader031.fdocuments.in/reader031/viewer/2022020706/61fca4899d50e757a522001a/html5/thumbnails/1.jpg)
OutlineOverview of the first passage time problem
Integral equationsPDE approach
Derivation of the density?
Notes on Schrodinger’s equation, Bessel bridgesand first-passage time problems
Gerardo Hernandez-del-Valle
March 3, 2010
Gerardo Hernandez-del-Valle Notes on Schrodinger’s equation, Bessel bridges
![Page 2: Notes on Schr¶dinger's equation, Bessel bridges and first-passage time problems](https://reader031.fdocuments.in/reader031/viewer/2022020706/61fca4899d50e757a522001a/html5/thumbnails/2.jpg)
OutlineOverview of the first passage time problem
Integral equationsPDE approach
Derivation of the density?
Overview of the first passage time problem
Integral equationsDiscrete caseContinuous case, Schrodinger (1915)Brownian motion case, Ricciardi, et. al. (1984)
PDE approachGirsanov’s Theorem (1960)Girsanov’s and boundary problems3-dimensional Bessel bridge, boundary problemFeynman-Kac, PDE’s vs. SDE’s
Derivation of the density?Guideline of the proof (backward equation)Sketch of the proof (backward equation)Solution of the forward equationGreen’s function
Gerardo Hernandez-del-Valle Notes on Schrodinger’s equation, Bessel bridges
![Page 3: Notes on Schr¶dinger's equation, Bessel bridges and first-passage time problems](https://reader031.fdocuments.in/reader031/viewer/2022020706/61fca4899d50e757a522001a/html5/thumbnails/3.jpg)
OutlineOverview of the first passage time problem
Integral equationsPDE approach
Derivation of the density?
The problem
Given that X is a one-dimensional Markov process and f is a twicedifferentiable function. Let
T := inf {t ≥ 0|Xt = f (t)}
be the first time that X reaches the moving boundary f .
I What is the density ϕ of T ?
Gerardo Hernandez-del-Valle Notes on Schrodinger’s equation, Bessel bridges
![Page 4: Notes on Schr¶dinger's equation, Bessel bridges and first-passage time problems](https://reader031.fdocuments.in/reader031/viewer/2022020706/61fca4899d50e757a522001a/html5/thumbnails/4.jpg)
OutlineOverview of the first passage time problem
Integral equationsPDE approach
Derivation of the density?
The problem
Given that X is a one-dimensional Markov process and f is a twicedifferentiable function. Let
T := inf {t ≥ 0|Xt = f (t)}
be the first time that X reaches the moving boundary f .
I What is the density ϕ of T ?
Gerardo Hernandez-del-Valle Notes on Schrodinger’s equation, Bessel bridges
![Page 5: Notes on Schr¶dinger's equation, Bessel bridges and first-passage time problems](https://reader031.fdocuments.in/reader031/viewer/2022020706/61fca4899d50e757a522001a/html5/thumbnails/5.jpg)
OutlineOverview of the first passage time problem
Integral equationsPDE approach
Derivation of the density?
Discrete caseContinuous case, Schrodinger (1915)Brownian motion case, Ricciardi, et. al. (1984)
Let (Xn)n≥0 be discrete-time, homogeneous Markov process. Thenthe Chapman-Kolmogorov equation describes:
0 2 4 6 8 10
02
46
810
x
y
z
k n
Px(Xn = z) =∑y
P(Xn−k = z)Px(Xk = y)
Gerardo Hernandez-del-Valle Notes on Schrodinger’s equation, Bessel bridges
![Page 6: Notes on Schr¶dinger's equation, Bessel bridges and first-passage time problems](https://reader031.fdocuments.in/reader031/viewer/2022020706/61fca4899d50e757a522001a/html5/thumbnails/6.jpg)
OutlineOverview of the first passage time problem
Integral equationsPDE approach
Derivation of the density?
Discrete caseContinuous case, Schrodinger (1915)Brownian motion case, Ricciardi, et. al. (1984)
Let (Xn)n≥0 be discrete-time, homogeneous Markov process. Thenthe Chapman-Kolmogorov equation describes:
0 2 4 6 8 10
02
46
810
x
y
z
k n
Px(Xn = z) =∑y
P(Xn−k = z)Px(Xk = y)
Gerardo Hernandez-del-Valle Notes on Schrodinger’s equation, Bessel bridges
![Page 7: Notes on Schr¶dinger's equation, Bessel bridges and first-passage time problems](https://reader031.fdocuments.in/reader031/viewer/2022020706/61fca4899d50e757a522001a/html5/thumbnails/7.jpg)
OutlineOverview of the first passage time problem
Integral equationsPDE approach
Derivation of the density?
Discrete caseContinuous case, Schrodinger (1915)Brownian motion case, Ricciardi, et. al. (1984)
Let (Xn)n≥0 be discrete-time, homogeneous Markov process. Thenthe Chapman-Kolmogorov equation describes:
0 2 4 6 8 10
02
46
810
x
y
z
k n
Px(Xn = z) =∑y
P(Xn−k = z)Px(Xk = y)
Gerardo Hernandez-del-Valle Notes on Schrodinger’s equation, Bessel bridges
![Page 8: Notes on Schr¶dinger's equation, Bessel bridges and first-passage time problems](https://reader031.fdocuments.in/reader031/viewer/2022020706/61fca4899d50e757a522001a/html5/thumbnails/8.jpg)
OutlineOverview of the first passage time problem
Integral equationsPDE approach
Derivation of the density?
Discrete caseContinuous case, Schrodinger (1915)Brownian motion case, Ricciardi, et. al. (1984)
Chapman-Kolmogorov and first passage time τ
If (Xn)n≥0 is a discrete-time, homogeneous Markov process (takingvalues in a countable setS); x and z be given and fixed in S ,g : N→ S , and
τ := inf{k ≥ 1|Xk = g(k)}
be the first-passage time of X over g . Then by theChapman-Kolmogorov equation it follows that:
Gerardo Hernandez-del-Valle Notes on Schrodinger’s equation, Bessel bridges
![Page 9: Notes on Schr¶dinger's equation, Bessel bridges and first-passage time problems](https://reader031.fdocuments.in/reader031/viewer/2022020706/61fca4899d50e757a522001a/html5/thumbnails/9.jpg)
OutlineOverview of the first passage time problem
Integral equationsPDE approach
Derivation of the density?
Discrete caseContinuous case, Schrodinger (1915)Brownian motion case, Ricciardi, et. al. (1984)
Chapman-Kolmogorov and first passage time τ
If (Xn)n≥0 is a discrete-time, homogeneous Markov process (takingvalues in a countable setS); x and z be given and fixed in S ,g : N→ S , and
τ := inf{k ≥ 1|Xk = g(k)}
be the first-passage time of X over g . Then by theChapman-Kolmogorov equation it follows that:
Gerardo Hernandez-del-Valle Notes on Schrodinger’s equation, Bessel bridges
![Page 10: Notes on Schr¶dinger's equation, Bessel bridges and first-passage time problems](https://reader031.fdocuments.in/reader031/viewer/2022020706/61fca4899d50e757a522001a/html5/thumbnails/10.jpg)
OutlineOverview of the first passage time problem
Integral equationsPDE approach
Derivation of the density?
Discrete caseContinuous case, Schrodinger (1915)Brownian motion case, Ricciardi, et. al. (1984)
Chapman-Kolmogorov and first passage time τ (cont.)
0 2 4 6 8 10
02
46
810
x
gz
k n
Px(Xn = z) =n∑
k=1
Pg(k)(Xn−k = z)Px(τ = k).
Gerardo Hernandez-del-Valle Notes on Schrodinger’s equation, Bessel bridges
![Page 11: Notes on Schr¶dinger's equation, Bessel bridges and first-passage time problems](https://reader031.fdocuments.in/reader031/viewer/2022020706/61fca4899d50e757a522001a/html5/thumbnails/11.jpg)
OutlineOverview of the first passage time problem
Integral equationsPDE approach
Derivation of the density?
Discrete caseContinuous case, Schrodinger (1915)Brownian motion case, Ricciardi, et. al. (1984)
Chapman-Kolmogorov and first passage time τ (cont.)
0 2 4 6 8 10
02
46
810
x
gz
k n
Px(Xn = z) =n∑
k=1
Pg(k)(Xn−k = z)Px(τ = k).
Gerardo Hernandez-del-Valle Notes on Schrodinger’s equation, Bessel bridges
![Page 12: Notes on Schr¶dinger's equation, Bessel bridges and first-passage time problems](https://reader031.fdocuments.in/reader031/viewer/2022020706/61fca4899d50e757a522001a/html5/thumbnails/12.jpg)
OutlineOverview of the first passage time problem
Integral equationsPDE approach
Derivation of the density?
Discrete caseContinuous case, Schrodinger (1915)Brownian motion case, Ricciardi, et. al. (1984)
Chapman-Kolmogorov and first passage time τ (cont.)
0 2 4 6 8 10
02
46
810
x
gz
k n
Px(Xn = z) =n∑
k=1
Pg(k)(Xn−k = z)Px(τ = k).
Gerardo Hernandez-del-Valle Notes on Schrodinger’s equation, Bessel bridges
![Page 13: Notes on Schr¶dinger's equation, Bessel bridges and first-passage time problems](https://reader031.fdocuments.in/reader031/viewer/2022020706/61fca4899d50e757a522001a/html5/thumbnails/13.jpg)
OutlineOverview of the first passage time problem
Integral equationsPDE approach
Derivation of the density?
Discrete caseContinuous case, Schrodinger (1915)Brownian motion case, Ricciardi, et. al. (1984)
Theorem. Let (Xt)t≥0 be a strong, time-homogenous Markovprocess with continuous sample paths started at x , letg : (0,∞)→ R be a continuous function satisfying g(0+) ≥ x ,and
τ := inf{t > 0|Xt ≥ g(t)}
be the first-passage time of X over g , and let F = Fx denote thedistribution of τ . Then:
Px(Xt ∈ G ) =
∫ t
0Pg(s)(Xt−s ∈ G )F (ds)
for each measurable set G contained in [g(t),∞).
Gerardo Hernandez-del-Valle Notes on Schrodinger’s equation, Bessel bridges
![Page 14: Notes on Schr¶dinger's equation, Bessel bridges and first-passage time problems](https://reader031.fdocuments.in/reader031/viewer/2022020706/61fca4899d50e757a522001a/html5/thumbnails/14.jpg)
OutlineOverview of the first passage time problem
Integral equationsPDE approach
Derivation of the density?
Discrete caseContinuous case, Schrodinger (1915)Brownian motion case, Ricciardi, et. al. (1984)
Theorem. Let (Xt)t≥0 be a strong, time-homogenous Markovprocess with continuous sample paths started at x , letg : (0,∞)→ R be a continuous function satisfying g(0+) ≥ x ,and
τ := inf{t > 0|Xt ≥ g(t)}
be the first-passage time of X over g , and let F = Fx denote thedistribution of τ .
Then:
Px(Xt ∈ G ) =
∫ t
0Pg(s)(Xt−s ∈ G )F (ds)
for each measurable set G contained in [g(t),∞).
Gerardo Hernandez-del-Valle Notes on Schrodinger’s equation, Bessel bridges
![Page 15: Notes on Schr¶dinger's equation, Bessel bridges and first-passage time problems](https://reader031.fdocuments.in/reader031/viewer/2022020706/61fca4899d50e757a522001a/html5/thumbnails/15.jpg)
OutlineOverview of the first passage time problem
Integral equationsPDE approach
Derivation of the density?
Discrete caseContinuous case, Schrodinger (1915)Brownian motion case, Ricciardi, et. al. (1984)
Theorem. Let (Xt)t≥0 be a strong, time-homogenous Markovprocess with continuous sample paths started at x , letg : (0,∞)→ R be a continuous function satisfying g(0+) ≥ x ,and
τ := inf{t > 0|Xt ≥ g(t)}
be the first-passage time of X over g , and let F = Fx denote thedistribution of τ . Then:
Px(Xt ∈ G ) =
∫ t
0Pg(s)(Xt−s ∈ G )F (ds)
for each measurable set G contained in [g(t),∞).
Gerardo Hernandez-del-Valle Notes on Schrodinger’s equation, Bessel bridges
![Page 16: Notes on Schr¶dinger's equation, Bessel bridges and first-passage time problems](https://reader031.fdocuments.in/reader031/viewer/2022020706/61fca4899d50e757a522001a/html5/thumbnails/16.jpg)
OutlineOverview of the first passage time problem
Integral equationsPDE approach
Derivation of the density?
Discrete caseContinuous case, Schrodinger (1915)Brownian motion case, Ricciardi, et. al. (1984)
Theorem. Let (Xt)t≥0 be a strong, time-homogenous Markovprocess with continuous sample paths started at x , letg : (0,∞)→ R be a continuous function satisfying g(0+) ≥ x ,and
τ := inf{t > 0|Xt ≥ g(t)}
be the first-passage time of X over g , and let F = Fx denote thedistribution of τ . Then:
Px(Xt ∈ G ) =
∫ t
0Pg(s)(Xt−s ∈ G )F (ds)
for each measurable set G contained in [g(t),∞).
Gerardo Hernandez-del-Valle Notes on Schrodinger’s equation, Bessel bridges
![Page 17: Notes on Schr¶dinger's equation, Bessel bridges and first-passage time problems](https://reader031.fdocuments.in/reader031/viewer/2022020706/61fca4899d50e757a522001a/html5/thumbnails/17.jpg)
OutlineOverview of the first passage time problem
Integral equationsPDE approach
Derivation of the density?
Discrete caseContinuous case, Schrodinger (1915)Brownian motion case, Ricciardi, et. al. (1984)
Observations
I The previous equation, which links the distribution of theprocess X with the distribution of the random time τ is aChapman-Kolmogorv equation of Volterra type.
I This equation may be related to a partial differential equationof the forward or backward type.
Gerardo Hernandez-del-Valle Notes on Schrodinger’s equation, Bessel bridges
![Page 18: Notes on Schr¶dinger's equation, Bessel bridges and first-passage time problems](https://reader031.fdocuments.in/reader031/viewer/2022020706/61fca4899d50e757a522001a/html5/thumbnails/18.jpg)
OutlineOverview of the first passage time problem
Integral equationsPDE approach
Derivation of the density?
Discrete caseContinuous case, Schrodinger (1915)Brownian motion case, Ricciardi, et. al. (1984)
Observations
I The previous equation, which links the distribution of theprocess X with the distribution of the random time τ is aChapman-Kolmogorv equation of Volterra type.
I This equation may be related to a partial differential equationof the forward or backward type.
Gerardo Hernandez-del-Valle Notes on Schrodinger’s equation, Bessel bridges
![Page 19: Notes on Schr¶dinger's equation, Bessel bridges and first-passage time problems](https://reader031.fdocuments.in/reader031/viewer/2022020706/61fca4899d50e757a522001a/html5/thumbnails/19.jpg)
OutlineOverview of the first passage time problem
Integral equationsPDE approach
Derivation of the density?
Discrete caseContinuous case, Schrodinger (1915)Brownian motion case, Ricciardi, et. al. (1984)
Observations
I The previous equation, which links the distribution of theprocess X with the distribution of the random time τ is aChapman-Kolmogorv equation of Volterra type.
I This equation may be related to a partial differential equationof the forward or backward type.
Gerardo Hernandez-del-Valle Notes on Schrodinger’s equation, Bessel bridges
![Page 20: Notes on Schr¶dinger's equation, Bessel bridges and first-passage time problems](https://reader031.fdocuments.in/reader031/viewer/2022020706/61fca4899d50e757a522001a/html5/thumbnails/20.jpg)
OutlineOverview of the first passage time problem
Integral equationsPDE approach
Derivation of the density?
Discrete caseContinuous case, Schrodinger (1915)Brownian motion case, Ricciardi, et. al. (1984)
Theorem Let B be one-dimensional standard Brownian motion, letf be a continuously differentiable function with f (0) > 0, and
T := inf {t ≥ |Bt = f (t)}
be the first passage time of B over the moving boundary f . Thenthe density ϕf of T satisfies the following Volterra integralequation of the second kind:
ϕf (t) =f (t)
tφ
(f (t)√
t
)−∫ t
0
f (t)− f (s)
(t − s)φ
(f (t)− f (s)√
t − s
)ϕf (s)ds
where φ is the density of the standard Normal r.v.
Gerardo Hernandez-del-Valle Notes on Schrodinger’s equation, Bessel bridges
![Page 21: Notes on Schr¶dinger's equation, Bessel bridges and first-passage time problems](https://reader031.fdocuments.in/reader031/viewer/2022020706/61fca4899d50e757a522001a/html5/thumbnails/21.jpg)
OutlineOverview of the first passage time problem
Integral equationsPDE approach
Derivation of the density?
Discrete caseContinuous case, Schrodinger (1915)Brownian motion case, Ricciardi, et. al. (1984)
Theorem Let B be one-dimensional standard Brownian motion, letf be a continuously differentiable function with f (0) > 0, and
T := inf {t ≥ |Bt = f (t)}
be the first passage time of B over the moving boundary f .
Thenthe density ϕf of T satisfies the following Volterra integralequation of the second kind:
ϕf (t) =f (t)
tφ
(f (t)√
t
)−∫ t
0
f (t)− f (s)
(t − s)φ
(f (t)− f (s)√
t − s
)ϕf (s)ds
where φ is the density of the standard Normal r.v.
Gerardo Hernandez-del-Valle Notes on Schrodinger’s equation, Bessel bridges
![Page 22: Notes on Schr¶dinger's equation, Bessel bridges and first-passage time problems](https://reader031.fdocuments.in/reader031/viewer/2022020706/61fca4899d50e757a522001a/html5/thumbnails/22.jpg)
OutlineOverview of the first passage time problem
Integral equationsPDE approach
Derivation of the density?
Discrete caseContinuous case, Schrodinger (1915)Brownian motion case, Ricciardi, et. al. (1984)
Theorem Let B be one-dimensional standard Brownian motion, letf be a continuously differentiable function with f (0) > 0, and
T := inf {t ≥ |Bt = f (t)}
be the first passage time of B over the moving boundary f . Thenthe density ϕf of T satisfies the following Volterra integralequation of the second kind:
ϕf (t) =f (t)
tφ
(f (t)√
t
)−∫ t
0
f (t)− f (s)
(t − s)φ
(f (t)− f (s)√
t − s
)ϕf (s)ds
where φ is the density of the standard Normal r.v.
Gerardo Hernandez-del-Valle Notes on Schrodinger’s equation, Bessel bridges
![Page 23: Notes on Schr¶dinger's equation, Bessel bridges and first-passage time problems](https://reader031.fdocuments.in/reader031/viewer/2022020706/61fca4899d50e757a522001a/html5/thumbnails/23.jpg)
OutlineOverview of the first passage time problem
Integral equationsPDE approach
Derivation of the density?
Discrete caseContinuous case, Schrodinger (1915)Brownian motion case, Ricciardi, et. al. (1984)
Theorem Let B be one-dimensional standard Brownian motion, letf be a continuously differentiable function with f (0) > 0, and
T := inf {t ≥ |Bt = f (t)}
be the first passage time of B over the moving boundary f . Thenthe density ϕf of T satisfies the following Volterra integralequation of the second kind:
ϕf (t) =f (t)
tφ
(f (t)√
t
)−∫ t
0
f (t)− f (s)
(t − s)φ
(f (t)− f (s)√
t − s
)ϕf (s)ds
where φ is the density of the standard Normal r.v.
Gerardo Hernandez-del-Valle Notes on Schrodinger’s equation, Bessel bridges
![Page 24: Notes on Schr¶dinger's equation, Bessel bridges and first-passage time problems](https://reader031.fdocuments.in/reader031/viewer/2022020706/61fca4899d50e757a522001a/html5/thumbnails/24.jpg)
OutlineOverview of the first passage time problem
Integral equationsPDE approach
Derivation of the density?
Discrete caseContinuous case, Schrodinger (1915)Brownian motion case, Ricciardi, et. al. (1984)
Comments
I Ricciardi et. al.’s equation is not the only integral equationwhich may be derived from Schrodinger’s generalrepresentation.
I Volterra type integral equations for the density of τ can beexplicitly solved only in the case in which the boundary is“linear”.
I We will show the density φ has a partial differentialrepresentation.
Gerardo Hernandez-del-Valle Notes on Schrodinger’s equation, Bessel bridges
![Page 25: Notes on Schr¶dinger's equation, Bessel bridges and first-passage time problems](https://reader031.fdocuments.in/reader031/viewer/2022020706/61fca4899d50e757a522001a/html5/thumbnails/25.jpg)
OutlineOverview of the first passage time problem
Integral equationsPDE approach
Derivation of the density?
Discrete caseContinuous case, Schrodinger (1915)Brownian motion case, Ricciardi, et. al. (1984)
Comments
I Ricciardi et. al.’s equation is not the only integral equationwhich may be derived from Schrodinger’s generalrepresentation.
I Volterra type integral equations for the density of τ can beexplicitly solved only in the case in which the boundary is“linear”.
I We will show the density φ has a partial differentialrepresentation.
Gerardo Hernandez-del-Valle Notes on Schrodinger’s equation, Bessel bridges
![Page 26: Notes on Schr¶dinger's equation, Bessel bridges and first-passage time problems](https://reader031.fdocuments.in/reader031/viewer/2022020706/61fca4899d50e757a522001a/html5/thumbnails/26.jpg)
OutlineOverview of the first passage time problem
Integral equationsPDE approach
Derivation of the density?
Discrete caseContinuous case, Schrodinger (1915)Brownian motion case, Ricciardi, et. al. (1984)
Comments
I Ricciardi et. al.’s equation is not the only integral equationwhich may be derived from Schrodinger’s generalrepresentation.
I Volterra type integral equations for the density of τ can beexplicitly solved only in the case in which the boundary is“linear”.
I We will show the density φ has a partial differentialrepresentation.
Gerardo Hernandez-del-Valle Notes on Schrodinger’s equation, Bessel bridges
![Page 27: Notes on Schr¶dinger's equation, Bessel bridges and first-passage time problems](https://reader031.fdocuments.in/reader031/viewer/2022020706/61fca4899d50e757a522001a/html5/thumbnails/27.jpg)
OutlineOverview of the first passage time problem
Integral equationsPDE approach
Derivation of the density?
Discrete caseContinuous case, Schrodinger (1915)Brownian motion case, Ricciardi, et. al. (1984)
Comments
I Ricciardi et. al.’s equation is not the only integral equationwhich may be derived from Schrodinger’s generalrepresentation.
I Volterra type integral equations for the density of τ can beexplicitly solved only in the case in which the boundary is“linear”.
I We will show the density φ has a partial differentialrepresentation.
Gerardo Hernandez-del-Valle Notes on Schrodinger’s equation, Bessel bridges
![Page 28: Notes on Schr¶dinger's equation, Bessel bridges and first-passage time problems](https://reader031.fdocuments.in/reader031/viewer/2022020706/61fca4899d50e757a522001a/html5/thumbnails/28.jpg)
OutlineOverview of the first passage time problem
Integral equationsPDE approach
Derivation of the density?
Girsanov’s Theorem (1960)Girsanov’s and boundary problems3-dimensional Bessel bridge, boundary problemFeynman-Kac, PDE’s vs. SDE’s
Girsanov’s theorem tells us how stochastic processes behave underchanges in measure.In particular, suppose that f is a twice differentiable function suchthat: f (0) > 0 and f ′′(t) ≥ 0, then it follows from Girsanov’stheorm that:
P PB· B.M. B.M. +
∫ ·0 f ′(u)du
B· B.M.−∫ ·0 f ′(u)du B.M.
Gerardo Hernandez-del-Valle Notes on Schrodinger’s equation, Bessel bridges
![Page 29: Notes on Schr¶dinger's equation, Bessel bridges and first-passage time problems](https://reader031.fdocuments.in/reader031/viewer/2022020706/61fca4899d50e757a522001a/html5/thumbnails/29.jpg)
OutlineOverview of the first passage time problem
Integral equationsPDE approach
Derivation of the density?
Girsanov’s Theorem (1960)Girsanov’s and boundary problems3-dimensional Bessel bridge, boundary problemFeynman-Kac, PDE’s vs. SDE’s
Girsanov’s theorem tells us how stochastic processes behave underchanges in measure.
In particular, suppose that f is a twice differentiable function suchthat: f (0) > 0 and f ′′(t) ≥ 0, then it follows from Girsanov’stheorm that:
P PB· B.M. B.M. +
∫ ·0 f ′(u)du
B· B.M.−∫ ·0 f ′(u)du B.M.
Gerardo Hernandez-del-Valle Notes on Schrodinger’s equation, Bessel bridges
![Page 30: Notes on Schr¶dinger's equation, Bessel bridges and first-passage time problems](https://reader031.fdocuments.in/reader031/viewer/2022020706/61fca4899d50e757a522001a/html5/thumbnails/30.jpg)
OutlineOverview of the first passage time problem
Integral equationsPDE approach
Derivation of the density?
Girsanov’s Theorem (1960)Girsanov’s and boundary problems3-dimensional Bessel bridge, boundary problemFeynman-Kac, PDE’s vs. SDE’s
Girsanov’s theorem tells us how stochastic processes behave underchanges in measure.In particular, suppose that f is a twice differentiable function suchthat: f (0) > 0 and f ′′(t) ≥ 0, then it follows from Girsanov’stheorm that:
P PB· B.M. B.M. +
∫ ·0 f ′(u)du
B· B.M.−∫ ·0 f ′(u)du B.M.
Gerardo Hernandez-del-Valle Notes on Schrodinger’s equation, Bessel bridges
![Page 31: Notes on Schr¶dinger's equation, Bessel bridges and first-passage time problems](https://reader031.fdocuments.in/reader031/viewer/2022020706/61fca4899d50e757a522001a/html5/thumbnails/31.jpg)
OutlineOverview of the first passage time problem
Integral equationsPDE approach
Derivation of the density?
Girsanov’s Theorem (1960)Girsanov’s and boundary problems3-dimensional Bessel bridge, boundary problemFeynman-Kac, PDE’s vs. SDE’s
Girsanov’s theorem tells us how stochastic processes behave underchanges in measure.In particular, suppose that f is a twice differentiable function suchthat: f (0) > 0 and f ′′(t) ≥ 0, then it follows from Girsanov’stheorm that:
P PB· B.M. B.M. +
∫ ·0 f ′(u)du
B· B.M.−∫ ·0 f ′(u)du B.M.
Gerardo Hernandez-del-Valle Notes on Schrodinger’s equation, Bessel bridges
![Page 32: Notes on Schr¶dinger's equation, Bessel bridges and first-passage time problems](https://reader031.fdocuments.in/reader031/viewer/2022020706/61fca4899d50e757a522001a/html5/thumbnails/32.jpg)
OutlineOverview of the first passage time problem
Integral equationsPDE approach
Derivation of the density?
Girsanov’s Theorem (1960)Girsanov’s and boundary problems3-dimensional Bessel bridge, boundary problemFeynman-Kac, PDE’s vs. SDE’s
Where the measure P and P are related through theRadon-Nikodym derivative:(
dPd P
)t
:= exp
{−∫ t
0f ′(u)dBu −
1
2
∫ t
0(f ′(u))2du
}.
which in fact is a ”martingale” and induces the followingrelationship:
P(Bt ∈ A) = E[(
dPd P
)t
I(Bt∈A)
]
Gerardo Hernandez-del-Valle Notes on Schrodinger’s equation, Bessel bridges
![Page 33: Notes on Schr¶dinger's equation, Bessel bridges and first-passage time problems](https://reader031.fdocuments.in/reader031/viewer/2022020706/61fca4899d50e757a522001a/html5/thumbnails/33.jpg)
OutlineOverview of the first passage time problem
Integral equationsPDE approach
Derivation of the density?
Girsanov’s Theorem (1960)Girsanov’s and boundary problems3-dimensional Bessel bridge, boundary problemFeynman-Kac, PDE’s vs. SDE’s
Where the measure P and P are related through theRadon-Nikodym derivative:(
dPd P
)t
:= exp
{−∫ t
0f ′(u)dBu −
1
2
∫ t
0(f ′(u))2du
}.
which in fact is a ”martingale”
and induces the followingrelationship:
P(Bt ∈ A) = E[(
dPd P
)t
I(Bt∈A)
]
Gerardo Hernandez-del-Valle Notes on Schrodinger’s equation, Bessel bridges
![Page 34: Notes on Schr¶dinger's equation, Bessel bridges and first-passage time problems](https://reader031.fdocuments.in/reader031/viewer/2022020706/61fca4899d50e757a522001a/html5/thumbnails/34.jpg)
OutlineOverview of the first passage time problem
Integral equationsPDE approach
Derivation of the density?
Girsanov’s Theorem (1960)Girsanov’s and boundary problems3-dimensional Bessel bridge, boundary problemFeynman-Kac, PDE’s vs. SDE’s
Where the measure P and P are related through theRadon-Nikodym derivative:(
dPd P
)t
:= exp
{−∫ t
0f ′(u)dBu −
1
2
∫ t
0(f ′(u))2du
}.
which in fact is a ”martingale” and induces the followingrelationship:
P(Bt ∈ A) = E[(
dPd P
)t
I(Bt∈A)
]
Gerardo Hernandez-del-Valle Notes on Schrodinger’s equation, Bessel bridges
![Page 35: Notes on Schr¶dinger's equation, Bessel bridges and first-passage time problems](https://reader031.fdocuments.in/reader031/viewer/2022020706/61fca4899d50e757a522001a/html5/thumbnails/35.jpg)
OutlineOverview of the first passage time problem
Integral equationsPDE approach
Derivation of the density?
Girsanov’s Theorem (1960)Girsanov’s and boundary problems3-dimensional Bessel bridge, boundary problemFeynman-Kac, PDE’s vs. SDE’s
Where the measure P and P are related through theRadon-Nikodym derivative:(
dPd P
)t
:= exp
{−∫ t
0f ′(u)dBu −
1
2
∫ t
0(f ′(u))2du
}.
which in fact is a ”martingale” and induces the followingrelationship:
P(Bt ∈ A) = E[(
dPd P
)t
I(Bt∈A)
]
Gerardo Hernandez-del-Valle Notes on Schrodinger’s equation, Bessel bridges
![Page 36: Notes on Schr¶dinger's equation, Bessel bridges and first-passage time problems](https://reader031.fdocuments.in/reader031/viewer/2022020706/61fca4899d50e757a522001a/html5/thumbnails/36.jpg)
OutlineOverview of the first passage time problem
Integral equationsPDE approach
Derivation of the density?
Girsanov’s Theorem (1960)Girsanov’s and boundary problems3-dimensional Bessel bridge, boundary problemFeynman-Kac, PDE’s vs. SDE’s
In particular: (back to our problem)
P(T < t) = E[
exp
{−∫ t
0f ′(u)dBu −
1
2
∫ t
0(f ′(u))2du
}I(T<t)
]where
P PT inf {t ≥ 0|Bt = f (t)} inf
{t ≥ 0|Bt = f (0)
}.
Note that under P the density of T is known, since the boundary isconstant!
Gerardo Hernandez-del-Valle Notes on Schrodinger’s equation, Bessel bridges
![Page 37: Notes on Schr¶dinger's equation, Bessel bridges and first-passage time problems](https://reader031.fdocuments.in/reader031/viewer/2022020706/61fca4899d50e757a522001a/html5/thumbnails/37.jpg)
OutlineOverview of the first passage time problem
Integral equationsPDE approach
Derivation of the density?
Girsanov’s Theorem (1960)Girsanov’s and boundary problems3-dimensional Bessel bridge, boundary problemFeynman-Kac, PDE’s vs. SDE’s
In particular: (back to our problem)
P(T < t) = E[
exp
{−∫ t
0f ′(u)dBu −
1
2
∫ t
0(f ′(u))2du
}I(T<t)
]where
P PT inf {t ≥ 0|Bt = f (t)} inf
{t ≥ 0|Bt = f (0)
}.
Note that under P the density of T is known, since the boundary isconstant!
Gerardo Hernandez-del-Valle Notes on Schrodinger’s equation, Bessel bridges
![Page 38: Notes on Schr¶dinger's equation, Bessel bridges and first-passage time problems](https://reader031.fdocuments.in/reader031/viewer/2022020706/61fca4899d50e757a522001a/html5/thumbnails/38.jpg)
OutlineOverview of the first passage time problem
Integral equationsPDE approach
Derivation of the density?
Girsanov’s Theorem (1960)Girsanov’s and boundary problems3-dimensional Bessel bridge, boundary problemFeynman-Kac, PDE’s vs. SDE’s
In particular: (back to our problem)
P(T < t) = E[
exp
{−∫ t
0f ′(u)dBu −
1
2
∫ t
0(f ′(u))2du
}I(T<t)
]where
P PT inf {t ≥ 0|Bt = f (t)} inf
{t ≥ 0|Bt = f (0)
}.
Note that under P the density of T is known, since the boundary isconstant!
Gerardo Hernandez-del-Valle Notes on Schrodinger’s equation, Bessel bridges
![Page 39: Notes on Schr¶dinger's equation, Bessel bridges and first-passage time problems](https://reader031.fdocuments.in/reader031/viewer/2022020706/61fca4899d50e757a522001a/html5/thumbnails/39.jpg)
OutlineOverview of the first passage time problem
Integral equationsPDE approach
Derivation of the density?
Girsanov’s Theorem (1960)Girsanov’s and boundary problems3-dimensional Bessel bridge, boundary problemFeynman-Kac, PDE’s vs. SDE’s
In particular: (back to our problem)
P(T < t) = E[
exp
{−∫ t
0f ′(u)dBu −
1
2
∫ t
0(f ′(u))2du
}I(T<t)
]where
P PT inf {t ≥ 0|Bt = f (t)} inf
{t ≥ 0|Bt = f (0)
}.
Note that under P the density of T is known, since the boundary isconstant!
Gerardo Hernandez-del-Valle Notes on Schrodinger’s equation, Bessel bridges
![Page 40: Notes on Schr¶dinger's equation, Bessel bridges and first-passage time problems](https://reader031.fdocuments.in/reader031/viewer/2022020706/61fca4899d50e757a522001a/html5/thumbnails/40.jpg)
OutlineOverview of the first passage time problem
Integral equationsPDE approach
Derivation of the density?
Girsanov’s Theorem (1960)Girsanov’s and boundary problems3-dimensional Bessel bridge, boundary problemFeynman-Kac, PDE’s vs. SDE’s
In particular: (back to our problem)
P(T < t) = E[
exp
{−∫ t
0f ′(u)dBu −
1
2
∫ t
0(f ′(u))2du
}I(T<t)
]where
P PT inf {t ≥ 0|Bt = f (t)} inf
{t ≥ 0|Bt = f (0)
}.
Note that under P the density of T is known, since the boundary isconstant!
Gerardo Hernandez-del-Valle Notes on Schrodinger’s equation, Bessel bridges
![Page 41: Notes on Schr¶dinger's equation, Bessel bridges and first-passage time problems](https://reader031.fdocuments.in/reader031/viewer/2022020706/61fca4899d50e757a522001a/html5/thumbnails/41.jpg)
OutlineOverview of the first passage time problem
Integral equationsPDE approach
Derivation of the density?
Girsanov’s Theorem (1960)Girsanov’s and boundary problems3-dimensional Bessel bridge, boundary problemFeynman-Kac, PDE’s vs. SDE’s
Example: Linear boundary
Suppose the boundary is linear, i.e. f (t) = a + bt, for a, b > 0 andt ≥ 0 (f (0) = a). Then:
P(T < t) = E[
exp
{−bBt −
1
2bt
}I(T<t)
]= E
[exp
{−bBT −
1
2bT
}I(T<t)
]= E
[exp
{−ba− 1
2bT
}I(T<t)
]=
∫ t
0exp
{−ba− 1
2bs
}ϕa(s)ds
where ϕa is the density of the first passage time of a BM over thefixed boundary a = f (0).
Gerardo Hernandez-del-Valle Notes on Schrodinger’s equation, Bessel bridges
![Page 42: Notes on Schr¶dinger's equation, Bessel bridges and first-passage time problems](https://reader031.fdocuments.in/reader031/viewer/2022020706/61fca4899d50e757a522001a/html5/thumbnails/42.jpg)
OutlineOverview of the first passage time problem
Integral equationsPDE approach
Derivation of the density?
Girsanov’s Theorem (1960)Girsanov’s and boundary problems3-dimensional Bessel bridge, boundary problemFeynman-Kac, PDE’s vs. SDE’s
Example: Linear boundary
Suppose the boundary is linear, i.e. f (t) = a + bt, for a, b > 0 andt ≥ 0 (f (0) = a). Then:
P(T < t) = E[
exp
{−bBt −
1
2bt
}I(T<t)
]= E
[exp
{−bBT −
1
2bT
}I(T<t)
]= E
[exp
{−ba− 1
2bT
}I(T<t)
]=
∫ t
0exp
{−ba− 1
2bs
}ϕa(s)ds
where ϕa is the density of the first passage time of a BM over thefixed boundary a = f (0).
Gerardo Hernandez-del-Valle Notes on Schrodinger’s equation, Bessel bridges
![Page 43: Notes on Schr¶dinger's equation, Bessel bridges and first-passage time problems](https://reader031.fdocuments.in/reader031/viewer/2022020706/61fca4899d50e757a522001a/html5/thumbnails/43.jpg)
OutlineOverview of the first passage time problem
Integral equationsPDE approach
Derivation of the density?
Girsanov’s Theorem (1960)Girsanov’s and boundary problems3-dimensional Bessel bridge, boundary problemFeynman-Kac, PDE’s vs. SDE’s
Example: Linear boundary
Suppose the boundary is linear, i.e. f (t) = a + bt, for a, b > 0 andt ≥ 0 (f (0) = a). Then:
P(T < t) = E[
exp
{−bBt −
1
2bt
}I(T<t)
]
= E[
exp
{−bBT −
1
2bT
}I(T<t)
]= E
[exp
{−ba− 1
2bT
}I(T<t)
]=
∫ t
0exp
{−ba− 1
2bs
}ϕa(s)ds
where ϕa is the density of the first passage time of a BM over thefixed boundary a = f (0).
Gerardo Hernandez-del-Valle Notes on Schrodinger’s equation, Bessel bridges
![Page 44: Notes on Schr¶dinger's equation, Bessel bridges and first-passage time problems](https://reader031.fdocuments.in/reader031/viewer/2022020706/61fca4899d50e757a522001a/html5/thumbnails/44.jpg)
OutlineOverview of the first passage time problem
Integral equationsPDE approach
Derivation of the density?
Girsanov’s Theorem (1960)Girsanov’s and boundary problems3-dimensional Bessel bridge, boundary problemFeynman-Kac, PDE’s vs. SDE’s
Example: Linear boundary
Suppose the boundary is linear, i.e. f (t) = a + bt, for a, b > 0 andt ≥ 0 (f (0) = a). Then:
P(T < t) = E[
exp
{−bBt −
1
2bt
}I(T<t)
]= E
[exp
{−bBT −
1
2bT
}I(T<t)
]
= E[
exp
{−ba− 1
2bT
}I(T<t)
]=
∫ t
0exp
{−ba− 1
2bs
}ϕa(s)ds
where ϕa is the density of the first passage time of a BM over thefixed boundary a = f (0).
Gerardo Hernandez-del-Valle Notes on Schrodinger’s equation, Bessel bridges
![Page 45: Notes on Schr¶dinger's equation, Bessel bridges and first-passage time problems](https://reader031.fdocuments.in/reader031/viewer/2022020706/61fca4899d50e757a522001a/html5/thumbnails/45.jpg)
OutlineOverview of the first passage time problem
Integral equationsPDE approach
Derivation of the density?
Girsanov’s Theorem (1960)Girsanov’s and boundary problems3-dimensional Bessel bridge, boundary problemFeynman-Kac, PDE’s vs. SDE’s
Example: Linear boundary
Suppose the boundary is linear, i.e. f (t) = a + bt, for a, b > 0 andt ≥ 0 (f (0) = a). Then:
P(T < t) = E[
exp
{−bBt −
1
2bt
}I(T<t)
]= E
[exp
{−bBT −
1
2bT
}I(T<t)
]= E
[exp
{−ba− 1
2bT
}I(T<t)
]
=
∫ t
0exp
{−ba− 1
2bs
}ϕa(s)ds
where ϕa is the density of the first passage time of a BM over thefixed boundary a = f (0).
Gerardo Hernandez-del-Valle Notes on Schrodinger’s equation, Bessel bridges
![Page 46: Notes on Schr¶dinger's equation, Bessel bridges and first-passage time problems](https://reader031.fdocuments.in/reader031/viewer/2022020706/61fca4899d50e757a522001a/html5/thumbnails/46.jpg)
OutlineOverview of the first passage time problem
Integral equationsPDE approach
Derivation of the density?
Girsanov’s Theorem (1960)Girsanov’s and boundary problems3-dimensional Bessel bridge, boundary problemFeynman-Kac, PDE’s vs. SDE’s
Example: Linear boundary
Suppose the boundary is linear, i.e. f (t) = a + bt, for a, b > 0 andt ≥ 0 (f (0) = a). Then:
P(T < t) = E[
exp
{−bBt −
1
2bt
}I(T<t)
]= E
[exp
{−bBT −
1
2bT
}I(T<t)
]= E
[exp
{−ba− 1
2bT
}I(T<t)
]=
∫ t
0exp
{−ba− 1
2bs
}ϕa(s)ds
where ϕa is the density of the first passage time of a BM over thefixed boundary a = f (0).
Gerardo Hernandez-del-Valle Notes on Schrodinger’s equation, Bessel bridges
![Page 47: Notes on Schr¶dinger's equation, Bessel bridges and first-passage time problems](https://reader031.fdocuments.in/reader031/viewer/2022020706/61fca4899d50e757a522001a/html5/thumbnails/47.jpg)
OutlineOverview of the first passage time problem
Integral equationsPDE approach
Derivation of the density?
Girsanov’s Theorem (1960)Girsanov’s and boundary problems3-dimensional Bessel bridge, boundary problemFeynman-Kac, PDE’s vs. SDE’s
Example: Linear boundary
Suppose the boundary is linear, i.e. f (t) = a + bt, for a, b > 0 andt ≥ 0 (f (0) = a). Then:
P(T < t) = E[
exp
{−bBt −
1
2bt
}I(T<t)
]= E
[exp
{−bBT −
1
2bT
}I(T<t)
]= E
[exp
{−ba− 1
2bT
}I(T<t)
]=
∫ t
0exp
{−ba− 1
2bs
}ϕa(s)ds
where ϕa is the density of the first passage time of a BM over thefixed boundary a = f (0).
Gerardo Hernandez-del-Valle Notes on Schrodinger’s equation, Bessel bridges
![Page 48: Notes on Schr¶dinger's equation, Bessel bridges and first-passage time problems](https://reader031.fdocuments.in/reader031/viewer/2022020706/61fca4899d50e757a522001a/html5/thumbnails/48.jpg)
OutlineOverview of the first passage time problem
Integral equationsPDE approach
Derivation of the density?
Girsanov’s Theorem (1960)Girsanov’s and boundary problems3-dimensional Bessel bridge, boundary problemFeynman-Kac, PDE’s vs. SDE’s
In general, if a := f (0), and f ′′ ≥ 0. Then:
P(T < t) = E[
exp
{−∫ t
0f ′(u)dBu −
1
2
∫ t
0(f ′(u))2du
}I(T<t)
]= E
[e−f ′(t)Bt+
R t0 f ′′(u)Budu− 1
2
R t0 (f ′(u))2duI(T<t)
]= E
[e−f ′(T )BT +
R T0 f ′′(u)Budu− 1
2
R T0 (f ′(u))2duI(T<t)
]=
∫ t
0E[e−f ′(s)a+
R s0 f ′′(u)Budu− 1
2
R s0 (f ′(u))2du
∣∣∣T = s]ϕa(s)ds
=
∫ t
0e−f ′(s)a− 1
2
R s0 (f ′(u))2du E
[e
R s0 f ′′(u)Budu
∣∣∣T = s]ϕa(s)ds
Gerardo Hernandez-del-Valle Notes on Schrodinger’s equation, Bessel bridges
![Page 49: Notes on Schr¶dinger's equation, Bessel bridges and first-passage time problems](https://reader031.fdocuments.in/reader031/viewer/2022020706/61fca4899d50e757a522001a/html5/thumbnails/49.jpg)
OutlineOverview of the first passage time problem
Integral equationsPDE approach
Derivation of the density?
Girsanov’s Theorem (1960)Girsanov’s and boundary problems3-dimensional Bessel bridge, boundary problemFeynman-Kac, PDE’s vs. SDE’s
In general, if a := f (0), and f ′′ ≥ 0. Then:
P(T < t) = E[
exp
{−∫ t
0f ′(u)dBu −
1
2
∫ t
0(f ′(u))2du
}I(T<t)
]
= E[e−f ′(t)Bt+
R t0 f ′′(u)Budu− 1
2
R t0 (f ′(u))2duI(T<t)
]= E
[e−f ′(T )BT +
R T0 f ′′(u)Budu− 1
2
R T0 (f ′(u))2duI(T<t)
]=
∫ t
0E[e−f ′(s)a+
R s0 f ′′(u)Budu− 1
2
R s0 (f ′(u))2du
∣∣∣T = s]ϕa(s)ds
=
∫ t
0e−f ′(s)a− 1
2
R s0 (f ′(u))2du E
[e
R s0 f ′′(u)Budu
∣∣∣T = s]ϕa(s)ds
Gerardo Hernandez-del-Valle Notes on Schrodinger’s equation, Bessel bridges
![Page 50: Notes on Schr¶dinger's equation, Bessel bridges and first-passage time problems](https://reader031.fdocuments.in/reader031/viewer/2022020706/61fca4899d50e757a522001a/html5/thumbnails/50.jpg)
OutlineOverview of the first passage time problem
Integral equationsPDE approach
Derivation of the density?
Girsanov’s Theorem (1960)Girsanov’s and boundary problems3-dimensional Bessel bridge, boundary problemFeynman-Kac, PDE’s vs. SDE’s
In general, if a := f (0), and f ′′ ≥ 0. Then:
P(T < t) = E[
exp
{−∫ t
0f ′(u)dBu −
1
2
∫ t
0(f ′(u))2du
}I(T<t)
]= E
[e−f ′(t)Bt+
R t0 f ′′(u)Budu− 1
2
R t0 (f ′(u))2duI(T<t)
]
= E[e−f ′(T )BT +
R T0 f ′′(u)Budu− 1
2
R T0 (f ′(u))2duI(T<t)
]=
∫ t
0E[e−f ′(s)a+
R s0 f ′′(u)Budu− 1
2
R s0 (f ′(u))2du
∣∣∣T = s]ϕa(s)ds
=
∫ t
0e−f ′(s)a− 1
2
R s0 (f ′(u))2du E
[e
R s0 f ′′(u)Budu
∣∣∣T = s]ϕa(s)ds
Gerardo Hernandez-del-Valle Notes on Schrodinger’s equation, Bessel bridges
![Page 51: Notes on Schr¶dinger's equation, Bessel bridges and first-passage time problems](https://reader031.fdocuments.in/reader031/viewer/2022020706/61fca4899d50e757a522001a/html5/thumbnails/51.jpg)
OutlineOverview of the first passage time problem
Integral equationsPDE approach
Derivation of the density?
Girsanov’s Theorem (1960)Girsanov’s and boundary problems3-dimensional Bessel bridge, boundary problemFeynman-Kac, PDE’s vs. SDE’s
In general, if a := f (0), and f ′′ ≥ 0. Then:
P(T < t) = E[
exp
{−∫ t
0f ′(u)dBu −
1
2
∫ t
0(f ′(u))2du
}I(T<t)
]= E
[e−f ′(t)Bt+
R t0 f ′′(u)Budu− 1
2
R t0 (f ′(u))2duI(T<t)
]= E
[e−f ′(T )BT +
R T0 f ′′(u)Budu− 1
2
R T0 (f ′(u))2duI(T<t)
]
=
∫ t
0E[e−f ′(s)a+
R s0 f ′′(u)Budu− 1
2
R s0 (f ′(u))2du
∣∣∣T = s]ϕa(s)ds
=
∫ t
0e−f ′(s)a− 1
2
R s0 (f ′(u))2du E
[e
R s0 f ′′(u)Budu
∣∣∣T = s]ϕa(s)ds
Gerardo Hernandez-del-Valle Notes on Schrodinger’s equation, Bessel bridges
![Page 52: Notes on Schr¶dinger's equation, Bessel bridges and first-passage time problems](https://reader031.fdocuments.in/reader031/viewer/2022020706/61fca4899d50e757a522001a/html5/thumbnails/52.jpg)
OutlineOverview of the first passage time problem
Integral equationsPDE approach
Derivation of the density?
Girsanov’s Theorem (1960)Girsanov’s and boundary problems3-dimensional Bessel bridge, boundary problemFeynman-Kac, PDE’s vs. SDE’s
In general, if a := f (0), and f ′′ ≥ 0. Then:
P(T < t) = E[
exp
{−∫ t
0f ′(u)dBu −
1
2
∫ t
0(f ′(u))2du
}I(T<t)
]= E
[e−f ′(t)Bt+
R t0 f ′′(u)Budu− 1
2
R t0 (f ′(u))2duI(T<t)
]= E
[e−f ′(T )BT +
R T0 f ′′(u)Budu− 1
2
R T0 (f ′(u))2duI(T<t)
]=
∫ t
0E[e−f ′(s)a+
R s0 f ′′(u)Budu− 1
2
R s0 (f ′(u))2du
∣∣∣T = s]ϕa(s)ds
=
∫ t
0e−f ′(s)a− 1
2
R s0 (f ′(u))2du E
[e
R s0 f ′′(u)Budu
∣∣∣T = s]ϕa(s)ds
Gerardo Hernandez-del-Valle Notes on Schrodinger’s equation, Bessel bridges
![Page 53: Notes on Schr¶dinger's equation, Bessel bridges and first-passage time problems](https://reader031.fdocuments.in/reader031/viewer/2022020706/61fca4899d50e757a522001a/html5/thumbnails/53.jpg)
OutlineOverview of the first passage time problem
Integral equationsPDE approach
Derivation of the density?
Girsanov’s Theorem (1960)Girsanov’s and boundary problems3-dimensional Bessel bridge, boundary problemFeynman-Kac, PDE’s vs. SDE’s
In general, if a := f (0), and f ′′ ≥ 0. Then:
P(T < t) = E[
exp
{−∫ t
0f ′(u)dBu −
1
2
∫ t
0(f ′(u))2du
}I(T<t)
]= E
[e−f ′(t)Bt+
R t0 f ′′(u)Budu− 1
2
R t0 (f ′(u))2duI(T<t)
]= E
[e−f ′(T )BT +
R T0 f ′′(u)Budu− 1
2
R T0 (f ′(u))2duI(T<t)
]=
∫ t
0E[e−f ′(s)a+
R s0 f ′′(u)Budu− 1
2
R s0 (f ′(u))2du
∣∣∣T = s]ϕa(s)ds
=
∫ t
0e−f ′(s)a− 1
2
R s0 (f ′(u))2du E
[e
R s0 f ′′(u)Budu
∣∣∣T = s]ϕa(s)ds
Gerardo Hernandez-del-Valle Notes on Schrodinger’s equation, Bessel bridges
![Page 54: Notes on Schr¶dinger's equation, Bessel bridges and first-passage time problems](https://reader031.fdocuments.in/reader031/viewer/2022020706/61fca4899d50e757a522001a/html5/thumbnails/54.jpg)
OutlineOverview of the first passage time problem
Integral equationsPDE approach
Derivation of the density?
Girsanov’s Theorem (1960)Girsanov’s and boundary problems3-dimensional Bessel bridge, boundary problemFeynman-Kac, PDE’s vs. SDE’s
What is P(Bu ∈ A|T = s))?
0.0 0.2 0.4 0.6 0.8
−0.
050.
000.
05
s
a
Gerardo Hernandez-del-Valle Notes on Schrodinger’s equation, Bessel bridges
![Page 55: Notes on Schr¶dinger's equation, Bessel bridges and first-passage time problems](https://reader031.fdocuments.in/reader031/viewer/2022020706/61fca4899d50e757a522001a/html5/thumbnails/55.jpg)
OutlineOverview of the first passage time problem
Integral equationsPDE approach
Derivation of the density?
Girsanov’s Theorem (1960)Girsanov’s and boundary problems3-dimensional Bessel bridge, boundary problemFeynman-Kac, PDE’s vs. SDE’s
What is P(Bu ∈ A|T = s))?
0.0 0.2 0.4 0.6 0.8
−0.
050.
000.
05
s
a
Gerardo Hernandez-del-Valle Notes on Schrodinger’s equation, Bessel bridges
![Page 56: Notes on Schr¶dinger's equation, Bessel bridges and first-passage time problems](https://reader031.fdocuments.in/reader031/viewer/2022020706/61fca4899d50e757a522001a/html5/thumbnails/56.jpg)
OutlineOverview of the first passage time problem
Integral equationsPDE approach
Derivation of the density?
Girsanov’s Theorem (1960)Girsanov’s and boundary problems3-dimensional Bessel bridge, boundary problemFeynman-Kac, PDE’s vs. SDE’s
What is P(Bu ∈ A|T = s))?
0.0 0.2 0.4 0.6 0.8
−0.
050.
000.
05
s
−a
Gerardo Hernandez-del-Valle Notes on Schrodinger’s equation, Bessel bridges
![Page 57: Notes on Schr¶dinger's equation, Bessel bridges and first-passage time problems](https://reader031.fdocuments.in/reader031/viewer/2022020706/61fca4899d50e757a522001a/html5/thumbnails/57.jpg)
OutlineOverview of the first passage time problem
Integral equationsPDE approach
Derivation of the density?
Girsanov’s Theorem (1960)Girsanov’s and boundary problems3-dimensional Bessel bridge, boundary problemFeynman-Kac, PDE’s vs. SDE’s
What is P(Bu ∈ A|T = s))?
0.0 0.2 0.4 0.6 0.8
−0.
050.
000.
05
s
a
Gerardo Hernandez-del-Valle Notes on Schrodinger’s equation, Bessel bridges
![Page 58: Notes on Schr¶dinger's equation, Bessel bridges and first-passage time problems](https://reader031.fdocuments.in/reader031/viewer/2022020706/61fca4899d50e757a522001a/html5/thumbnails/58.jpg)
OutlineOverview of the first passage time problem
Integral equationsPDE approach
Derivation of the density?
Girsanov’s Theorem (1960)Girsanov’s and boundary problems3-dimensional Bessel bridge, boundary problemFeynman-Kac, PDE’s vs. SDE’s
Such a process X = a− BsI{T=s} has the following dynamics:
dXt = dWt
+1
Xt
dt − Xt
s − tdt, 0 ≤ t ≤ s, X0 = a
Thus
E[e
R s0 f ′′(u)Budu
∣∣∣T = s]
= E[
exp
{∫ s
0f ′′(u)(a− Xu)du
}]= ef ′(s)a−f ′(0)a E
[exp
{−∫ t
0f ′′(u)Xudu
}];
Gerardo Hernandez-del-Valle Notes on Schrodinger’s equation, Bessel bridges
![Page 59: Notes on Schr¶dinger's equation, Bessel bridges and first-passage time problems](https://reader031.fdocuments.in/reader031/viewer/2022020706/61fca4899d50e757a522001a/html5/thumbnails/59.jpg)
OutlineOverview of the first passage time problem
Integral equationsPDE approach
Derivation of the density?
Girsanov’s Theorem (1960)Girsanov’s and boundary problems3-dimensional Bessel bridge, boundary problemFeynman-Kac, PDE’s vs. SDE’s
Such a process X = a− BsI{T=s} has the following dynamics:
dXt = dWt +1
Xt
dt
− Xt
s − tdt, 0 ≤ t ≤ s, X0 = a
Thus
E[e
R s0 f ′′(u)Budu
∣∣∣T = s]
= E[
exp
{∫ s
0f ′′(u)(a− Xu)du
}]= ef ′(s)a−f ′(0)a E
[exp
{−∫ t
0f ′′(u)Xudu
}];
Gerardo Hernandez-del-Valle Notes on Schrodinger’s equation, Bessel bridges
![Page 60: Notes on Schr¶dinger's equation, Bessel bridges and first-passage time problems](https://reader031.fdocuments.in/reader031/viewer/2022020706/61fca4899d50e757a522001a/html5/thumbnails/60.jpg)
OutlineOverview of the first passage time problem
Integral equationsPDE approach
Derivation of the density?
Girsanov’s Theorem (1960)Girsanov’s and boundary problems3-dimensional Bessel bridge, boundary problemFeynman-Kac, PDE’s vs. SDE’s
Such a process X = a− BsI{T=s} has the following dynamics:
dXt = dWt +1
Xt
dt − Xt
s − tdt,
0 ≤ t ≤ s, X0 = a
Thus
E[e
R s0 f ′′(u)Budu
∣∣∣T = s]
= E[
exp
{∫ s
0f ′′(u)(a− Xu)du
}]= ef ′(s)a−f ′(0)a E
[exp
{−∫ t
0f ′′(u)Xudu
}];
Gerardo Hernandez-del-Valle Notes on Schrodinger’s equation, Bessel bridges
![Page 61: Notes on Schr¶dinger's equation, Bessel bridges and first-passage time problems](https://reader031.fdocuments.in/reader031/viewer/2022020706/61fca4899d50e757a522001a/html5/thumbnails/61.jpg)
OutlineOverview of the first passage time problem
Integral equationsPDE approach
Derivation of the density?
Girsanov’s Theorem (1960)Girsanov’s and boundary problems3-dimensional Bessel bridge, boundary problemFeynman-Kac, PDE’s vs. SDE’s
Such a process X = a− BsI{T=s} has the following dynamics:
dXt = dWt +1
Xt
dt − Xt
s − tdt, 0 ≤ t ≤ s, X0 = a
Thus
E[e
R s0 f ′′(u)Budu
∣∣∣T = s]
= E[
exp
{∫ s
0f ′′(u)(a− Xu)du
}]= ef ′(s)a−f ′(0)a E
[exp
{−∫ t
0f ′′(u)Xudu
}];
Gerardo Hernandez-del-Valle Notes on Schrodinger’s equation, Bessel bridges
![Page 62: Notes on Schr¶dinger's equation, Bessel bridges and first-passage time problems](https://reader031.fdocuments.in/reader031/viewer/2022020706/61fca4899d50e757a522001a/html5/thumbnails/62.jpg)
OutlineOverview of the first passage time problem
Integral equationsPDE approach
Derivation of the density?
Girsanov’s Theorem (1960)Girsanov’s and boundary problems3-dimensional Bessel bridge, boundary problemFeynman-Kac, PDE’s vs. SDE’s
Such a process X = a− BsI{T=s} has the following dynamics:
dXt = dWt +1
Xt
dt − Xt
s − tdt, 0 ≤ t ≤ s, X0 = a
Thus
E[e
R s0 f ′′(u)Budu
∣∣∣T = s]
= E[
exp
{∫ s
0f ′′(u)(a− Xu)du
}]= ef ′(s)a−f ′(0)a E
[exp
{−∫ t
0f ′′(u)Xudu
}];
Gerardo Hernandez-del-Valle Notes on Schrodinger’s equation, Bessel bridges
![Page 63: Notes on Schr¶dinger's equation, Bessel bridges and first-passage time problems](https://reader031.fdocuments.in/reader031/viewer/2022020706/61fca4899d50e757a522001a/html5/thumbnails/63.jpg)
OutlineOverview of the first passage time problem
Integral equationsPDE approach
Derivation of the density?
Girsanov’s Theorem (1960)Girsanov’s and boundary problems3-dimensional Bessel bridge, boundary problemFeynman-Kac, PDE’s vs. SDE’s
Such a process X = a− BsI{T=s} has the following dynamics:
dXt = dWt +1
Xt
dt − Xt
s − tdt, 0 ≤ t ≤ s, X0 = a
Thus
E[e
R s0 f ′′(u)Budu
∣∣∣T = s]
= E[
exp
{∫ s
0f ′′(u)(a− Xu)du
}]
= ef ′(s)a−f ′(0)a E[
exp
{−∫ t
0f ′′(u)Xudu
}];
Gerardo Hernandez-del-Valle Notes on Schrodinger’s equation, Bessel bridges
![Page 64: Notes on Schr¶dinger's equation, Bessel bridges and first-passage time problems](https://reader031.fdocuments.in/reader031/viewer/2022020706/61fca4899d50e757a522001a/html5/thumbnails/64.jpg)
OutlineOverview of the first passage time problem
Integral equationsPDE approach
Derivation of the density?
Girsanov’s Theorem (1960)Girsanov’s and boundary problems3-dimensional Bessel bridge, boundary problemFeynman-Kac, PDE’s vs. SDE’s
Such a process X = a− BsI{T=s} has the following dynamics:
dXt = dWt +1
Xt
dt − Xt
s − tdt, 0 ≤ t ≤ s, X0 = a
Thus
E[e
R s0 f ′′(u)Budu
∣∣∣T = s]
= E[
exp
{∫ s
0f ′′(u)(a− Xu)du
}]= ef ′(s)a−f ′(0)a E
[exp
{−∫ t
0f ′′(u)Xudu
}];
Gerardo Hernandez-del-Valle Notes on Schrodinger’s equation, Bessel bridges
![Page 65: Notes on Schr¶dinger's equation, Bessel bridges and first-passage time problems](https://reader031.fdocuments.in/reader031/viewer/2022020706/61fca4899d50e757a522001a/html5/thumbnails/65.jpg)
OutlineOverview of the first passage time problem
Integral equationsPDE approach
Derivation of the density?
Girsanov’s Theorem (1960)Girsanov’s and boundary problems3-dimensional Bessel bridge, boundary problemFeynman-Kac, PDE’s vs. SDE’s
Let g(a) = 1 for all a ∈ R and k(u, a) := f ′′(u)a,k(t, a) : [0, s]× R+ → [0,∞).
Then:
E[
exp
{−∫ t
0f ′′(u)Xudu
}]= E0,a
[g(Xs) exp
{−∫ s
0k(u, Xu)du
}]Theorem. (Feynman-Kac) Under some “conditions” supposethat we have the following stochastic representation:
v(t, a) = Et,a[g(XT ) exp
{−∫ s
tk(u,Xu)du
}+
∫ s
th(u,Xu) exp
{−∫ u
tk(θ,Xθ)dθ
}du]
Gerardo Hernandez-del-Valle Notes on Schrodinger’s equation, Bessel bridges
![Page 66: Notes on Schr¶dinger's equation, Bessel bridges and first-passage time problems](https://reader031.fdocuments.in/reader031/viewer/2022020706/61fca4899d50e757a522001a/html5/thumbnails/66.jpg)
OutlineOverview of the first passage time problem
Integral equationsPDE approach
Derivation of the density?
Girsanov’s Theorem (1960)Girsanov’s and boundary problems3-dimensional Bessel bridge, boundary problemFeynman-Kac, PDE’s vs. SDE’s
Let g(a) = 1 for all a ∈ R and k(u, a) := f ′′(u)a,k(t, a) : [0, s]× R+ → [0,∞). Then:
E[
exp
{−∫ t
0f ′′(u)Xudu
}]=
E0,a
[g(Xs) exp
{−∫ s
0k(u, Xu)du
}]Theorem. (Feynman-Kac) Under some “conditions” supposethat we have the following stochastic representation:
v(t, a) = Et,a[g(XT ) exp
{−∫ s
tk(u,Xu)du
}+
∫ s
th(u,Xu) exp
{−∫ u
tk(θ,Xθ)dθ
}du]
Gerardo Hernandez-del-Valle Notes on Schrodinger’s equation, Bessel bridges
![Page 67: Notes on Schr¶dinger's equation, Bessel bridges and first-passage time problems](https://reader031.fdocuments.in/reader031/viewer/2022020706/61fca4899d50e757a522001a/html5/thumbnails/67.jpg)
OutlineOverview of the first passage time problem
Integral equationsPDE approach
Derivation of the density?
Girsanov’s Theorem (1960)Girsanov’s and boundary problems3-dimensional Bessel bridge, boundary problemFeynman-Kac, PDE’s vs. SDE’s
Let g(a) = 1 for all a ∈ R and k(u, a) := f ′′(u)a,k(t, a) : [0, s]× R+ → [0,∞). Then:
E[
exp
{−∫ t
0f ′′(u)Xudu
}]= E0,a
[g(Xs) exp
{−∫ s
0k(u, Xu)du
}]
Theorem. (Feynman-Kac) Under some “conditions” supposethat we have the following stochastic representation:
v(t, a) = Et,a[g(XT ) exp
{−∫ s
tk(u,Xu)du
}+
∫ s
th(u,Xu) exp
{−∫ u
tk(θ,Xθ)dθ
}du]
Gerardo Hernandez-del-Valle Notes on Schrodinger’s equation, Bessel bridges
![Page 68: Notes on Schr¶dinger's equation, Bessel bridges and first-passage time problems](https://reader031.fdocuments.in/reader031/viewer/2022020706/61fca4899d50e757a522001a/html5/thumbnails/68.jpg)
OutlineOverview of the first passage time problem
Integral equationsPDE approach
Derivation of the density?
Girsanov’s Theorem (1960)Girsanov’s and boundary problems3-dimensional Bessel bridge, boundary problemFeynman-Kac, PDE’s vs. SDE’s
Let g(a) = 1 for all a ∈ R and k(u, a) := f ′′(u)a,k(t, a) : [0, s]× R+ → [0,∞). Then:
E[
exp
{−∫ t
0f ′′(u)Xudu
}]= E0,a
[g(Xs) exp
{−∫ s
0k(u, Xu)du
}]Theorem. (Feynman-Kac) Under some “conditions” supposethat we have the following stochastic representation:
v(t, a) = Et,a[g(XT ) exp
{−∫ s
tk(u,Xu)du
}+
∫ s
th(u,Xu) exp
{−∫ u
tk(θ,Xθ)dθ
}du]
Gerardo Hernandez-del-Valle Notes on Schrodinger’s equation, Bessel bridges
![Page 69: Notes on Schr¶dinger's equation, Bessel bridges and first-passage time problems](https://reader031.fdocuments.in/reader031/viewer/2022020706/61fca4899d50e757a522001a/html5/thumbnails/69.jpg)
OutlineOverview of the first passage time problem
Integral equationsPDE approach
Derivation of the density?
Girsanov’s Theorem (1960)Girsanov’s and boundary problems3-dimensional Bessel bridge, boundary problemFeynman-Kac, PDE’s vs. SDE’s
Then v(t, a) satisfies the following Cauchy problem
−∂v
∂t+ kv = At + h; in [0, s)× R+,
v(s, a) = g(a); a ∈ R+,
Definition. A fundamental solution of the second-order partialdifferential equation
− ∂u
∂t+ ku = Atu (1)
is a nonnegative function G (t, a; τ, b) defined on 0 ≤ t < τ < s,a, b ∈ R+, with the property that for every g ∈ C0(R), τ ∈ (0, s],the function
u(t, a) :=
∫ ∞0
G (t, a; τ, b)g(b)db; 0 ≤ t < τ, a ∈ R+
Gerardo Hernandez-del-Valle Notes on Schrodinger’s equation, Bessel bridges
![Page 70: Notes on Schr¶dinger's equation, Bessel bridges and first-passage time problems](https://reader031.fdocuments.in/reader031/viewer/2022020706/61fca4899d50e757a522001a/html5/thumbnails/70.jpg)
OutlineOverview of the first passage time problem
Integral equationsPDE approach
Derivation of the density?
Girsanov’s Theorem (1960)Girsanov’s and boundary problems3-dimensional Bessel bridge, boundary problemFeynman-Kac, PDE’s vs. SDE’s
Then v(t, a) satisfies the following Cauchy problem
−∂v
∂t+ kv = At + h; in [0, s)× R+,
v(s, a) = g(a); a ∈ R+,
Definition. A fundamental solution of the second-order partialdifferential equation
− ∂u
∂t+ ku = Atu (1)
is a nonnegative function G (t, a; τ, b) defined on 0 ≤ t < τ < s,a, b ∈ R+, with the property that for every g ∈ C0(R), τ ∈ (0, s],the function
u(t, a) :=
∫ ∞0
G (t, a; τ, b)g(b)db; 0 ≤ t < τ, a ∈ R+
Gerardo Hernandez-del-Valle Notes on Schrodinger’s equation, Bessel bridges
![Page 71: Notes on Schr¶dinger's equation, Bessel bridges and first-passage time problems](https://reader031.fdocuments.in/reader031/viewer/2022020706/61fca4899d50e757a522001a/html5/thumbnails/71.jpg)
OutlineOverview of the first passage time problem
Integral equationsPDE approach
Derivation of the density?
Girsanov’s Theorem (1960)Girsanov’s and boundary problems3-dimensional Bessel bridge, boundary problemFeynman-Kac, PDE’s vs. SDE’s
is bounded, satisfies (1) and
limt↑τ
u(t, a) = g(a); a ∈ R+,
for fixed (τ, b) ∈ (0, s]× R+, the function
ϕ(t, a) := G (t, a; τ, b)
satisfies the backward Kolmogorov equation in the backwardvariables (t, a). And, for fixed (t, a) ∈ [0, s)× R+ the function
ψ(τ, b) := G (t, a; τ, b)
satisfies the forward Kolmogorov equation in the forward variables(τ, b).
Gerardo Hernandez-del-Valle Notes on Schrodinger’s equation, Bessel bridges
![Page 72: Notes on Schr¶dinger's equation, Bessel bridges and first-passage time problems](https://reader031.fdocuments.in/reader031/viewer/2022020706/61fca4899d50e757a522001a/html5/thumbnails/72.jpg)
OutlineOverview of the first passage time problem
Integral equationsPDE approach
Derivation of the density?
Guideline of the proof (backward equation)Sketch of the proof (backward equation)Solution of the forward equationGreen’s function
As has been pointed out, to derive the density of T we must firstcompute the expected value of the 3-dimensional Bessel bridgefunctional. We will proceed by first studying solutions of thefollowing PDE’s:
(b) − ∂ϕ
∂t(t, a) + f ′′(t)aϕ(t, a) =
1
2
∂2ϕ
∂a2(t, a)
+
(1
a− a
s − t
)∂ϕ
∂a(t, a);
(f )∂ψ
∂τ(τ, b) + f ′′k (τ)bψ(τ, b) =
1
2
∂2ψ
∂b2(τ, b)
− ∂
∂b
[(1
b− b
s − τ
)ψ(τ, b)
]
Gerardo Hernandez-del-Valle Notes on Schrodinger’s equation, Bessel bridges
![Page 73: Notes on Schr¶dinger's equation, Bessel bridges and first-passage time problems](https://reader031.fdocuments.in/reader031/viewer/2022020706/61fca4899d50e757a522001a/html5/thumbnails/73.jpg)
OutlineOverview of the first passage time problem
Integral equationsPDE approach
Derivation of the density?
Guideline of the proof (backward equation)Sketch of the proof (backward equation)Solution of the forward equationGreen’s function
As has been pointed out, to derive the density of T we must firstcompute the expected value of the 3-dimensional Bessel bridgefunctional. We will proceed by first studying solutions of thefollowing PDE’s:
(b) − ∂ϕ
∂t(t, a) + f ′′(t)aϕ(t, a) =
1
2
∂2ϕ
∂a2(t, a)
+
(1
a− a
s − t
)∂ϕ
∂a(t, a);
(f )∂ψ
∂τ(τ, b) + f ′′k (τ)bψ(τ, b) =
1
2
∂2ψ
∂b2(τ, b)
− ∂
∂b
[(1
b− b
s − τ
)ψ(τ, b)
]
Gerardo Hernandez-del-Valle Notes on Schrodinger’s equation, Bessel bridges
![Page 74: Notes on Schr¶dinger's equation, Bessel bridges and first-passage time problems](https://reader031.fdocuments.in/reader031/viewer/2022020706/61fca4899d50e757a522001a/html5/thumbnails/74.jpg)
OutlineOverview of the first passage time problem
Integral equationsPDE approach
Derivation of the density?
Guideline of the proof (backward equation)Sketch of the proof (backward equation)Solution of the forward equationGreen’s function
As has been pointed out, to derive the density of T we must firstcompute the expected value of the 3-dimensional Bessel bridgefunctional. We will proceed by first studying solutions of thefollowing PDE’s:
(b) − ∂ϕ
∂t(t, a) + f ′′(t)aϕ(t, a) =
1
2
∂2ϕ
∂a2(t, a)
+
(1
a− a
s − t
)∂ϕ
∂a(t, a);
(f )∂ψ
∂τ(τ, b) + f ′′k (τ)bψ(τ, b) =
1
2
∂2ψ
∂b2(τ, b)
− ∂
∂b
[(1
b− b
s − τ
)ψ(τ, b)
]
Gerardo Hernandez-del-Valle Notes on Schrodinger’s equation, Bessel bridges
![Page 75: Notes on Schr¶dinger's equation, Bessel bridges and first-passage time problems](https://reader031.fdocuments.in/reader031/viewer/2022020706/61fca4899d50e757a522001a/html5/thumbnails/75.jpg)
OutlineOverview of the first passage time problem
Integral equationsPDE approach
Derivation of the density?
Guideline of the proof (backward equation)Sketch of the proof (backward equation)Solution of the forward equationGreen’s function
(Deriving a solution) Step 1):
(b) − ∂ϕ1
∂t(t, a) + f ′′(t)aϕ1(t, a) =
1
2
∂2ϕ1
∂a2(t, a)
+
(1
a−
)∂ϕ1
∂a(t, a);
(f )∂ψ1
∂τ(τ, b) + f ′′k (τ)bψ1(τ, b) =
1
2
∂2ψ1
∂b2(τ, b)
− ∂
∂b
[(1
b−
)ψ1(τ, b)
]
Gerardo Hernandez-del-Valle Notes on Schrodinger’s equation, Bessel bridges
![Page 76: Notes on Schr¶dinger's equation, Bessel bridges and first-passage time problems](https://reader031.fdocuments.in/reader031/viewer/2022020706/61fca4899d50e757a522001a/html5/thumbnails/76.jpg)
OutlineOverview of the first passage time problem
Integral equationsPDE approach
Derivation of the density?
Guideline of the proof (backward equation)Sketch of the proof (backward equation)Solution of the forward equationGreen’s function
(Deriving a solution) Step 1):
(b) − ∂ϕ1
∂t(t, a) + f ′′(t)aϕ1(t, a) =
1
2
∂2ϕ1
∂a2(t, a)
+
(1
a−
)∂ϕ1
∂a(t, a);
(f )∂ψ1
∂τ(τ, b) + f ′′k (τ)bψ1(τ, b) =
1
2
∂2ψ1
∂b2(τ, b)
− ∂
∂b
[(1
b−
)ψ1(τ, b)
]
Gerardo Hernandez-del-Valle Notes on Schrodinger’s equation, Bessel bridges
![Page 77: Notes on Schr¶dinger's equation, Bessel bridges and first-passage time problems](https://reader031.fdocuments.in/reader031/viewer/2022020706/61fca4899d50e757a522001a/html5/thumbnails/77.jpg)
OutlineOverview of the first passage time problem
Integral equationsPDE approach
Derivation of the density?
Guideline of the proof (backward equation)Sketch of the proof (backward equation)Solution of the forward equationGreen’s function
Step 2) (Related to Schrodinger’s eq. for time dependent “linear”potential):
(b) − ∂ϕ
∂t(t, a) + f ′′(t)aϕ(t, a) =
1
2
∂2ϕ
∂a2(t, a)
(f )∂ψ
∂τ(τ, b) + f ′′(τ)bψ(τ, b) =
1
2
∂2ψ
∂b2(τ, b)
Gerardo Hernandez-del-Valle Notes on Schrodinger’s equation, Bessel bridges
![Page 78: Notes on Schr¶dinger's equation, Bessel bridges and first-passage time problems](https://reader031.fdocuments.in/reader031/viewer/2022020706/61fca4899d50e757a522001a/html5/thumbnails/78.jpg)
OutlineOverview of the first passage time problem
Integral equationsPDE approach
Derivation of the density?
Guideline of the proof (backward equation)Sketch of the proof (backward equation)Solution of the forward equationGreen’s function
Step 2) (Related to Schrodinger’s eq. for time dependent “linear”potential):
(b) − ∂ϕ
∂t(t, a) + f ′′(t)aϕ(t, a) =
1
2
∂2ϕ
∂a2(t, a)
(f )∂ψ
∂τ(τ, b) + f ′′(τ)bψ(τ, b) =
1
2
∂2ψ
∂b2(τ, b)
Gerardo Hernandez-del-Valle Notes on Schrodinger’s equation, Bessel bridges
![Page 79: Notes on Schr¶dinger's equation, Bessel bridges and first-passage time problems](https://reader031.fdocuments.in/reader031/viewer/2022020706/61fca4899d50e757a522001a/html5/thumbnails/79.jpg)
OutlineOverview of the first passage time problem
Integral equationsPDE approach
Derivation of the density?
Guideline of the proof (backward equation)Sketch of the proof (backward equation)Solution of the forward equationGreen’s function
Example. Quadratic boundary If f (t) = a + bt2, fora, b > 0,
then f ′′(t) = 2b. Hence
(b) − ∂ϕ
∂t(t, a) + f ′′(t)aϕ(t, a) =
1
2
∂2ϕ
∂a2(t, a)
−∂ϕ∂t
(t, a) + 2baϕ(t, a) =1
2
∂2ϕ
∂a2(t, a)
Applying the Laplace transform L with respect to t we have
−λL[ϕ(·, a)] + 2baL[ϕ(·, a)]− 1
2
∂2
∂a2L[ϕ(·, a)] = ϕ(0, a).
The independent solutions to this second order non-homogeneousO.D.E. are Airy’s functions [Martin-Lof (1998)].
Gerardo Hernandez-del-Valle Notes on Schrodinger’s equation, Bessel bridges
![Page 80: Notes on Schr¶dinger's equation, Bessel bridges and first-passage time problems](https://reader031.fdocuments.in/reader031/viewer/2022020706/61fca4899d50e757a522001a/html5/thumbnails/80.jpg)
OutlineOverview of the first passage time problem
Integral equationsPDE approach
Derivation of the density?
Guideline of the proof (backward equation)Sketch of the proof (backward equation)Solution of the forward equationGreen’s function
Example. Quadratic boundary If f (t) = a + bt2, fora, b > 0,then f ′′(t) = 2b. Hence
(b) − ∂ϕ
∂t(t, a) + f ′′(t)aϕ(t, a) =
1
2
∂2ϕ
∂a2(t, a)
−∂ϕ∂t
(t, a) + 2baϕ(t, a) =1
2
∂2ϕ
∂a2(t, a)
Applying the Laplace transform L with respect to t we have
−λL[ϕ(·, a)] + 2baL[ϕ(·, a)]− 1
2
∂2
∂a2L[ϕ(·, a)] = ϕ(0, a).
The independent solutions to this second order non-homogeneousO.D.E. are Airy’s functions [Martin-Lof (1998)].
Gerardo Hernandez-del-Valle Notes on Schrodinger’s equation, Bessel bridges
![Page 81: Notes on Schr¶dinger's equation, Bessel bridges and first-passage time problems](https://reader031.fdocuments.in/reader031/viewer/2022020706/61fca4899d50e757a522001a/html5/thumbnails/81.jpg)
OutlineOverview of the first passage time problem
Integral equationsPDE approach
Derivation of the density?
Guideline of the proof (backward equation)Sketch of the proof (backward equation)Solution of the forward equationGreen’s function
Example. Quadratic boundary If f (t) = a + bt2, fora, b > 0,then f ′′(t) = 2b. Hence
(b) − ∂ϕ
∂t(t, a) + f ′′(t)aϕ(t, a) =
1
2
∂2ϕ
∂a2(t, a)
−∂ϕ∂t
(t, a) + 2baϕ(t, a) =1
2
∂2ϕ
∂a2(t, a)
Applying the Laplace transform L with respect to t we have
−λL[ϕ(·, a)] + 2baL[ϕ(·, a)]− 1
2
∂2
∂a2L[ϕ(·, a)] = ϕ(0, a).
The independent solutions to this second order non-homogeneousO.D.E. are Airy’s functions [Martin-Lof (1998)].
Gerardo Hernandez-del-Valle Notes on Schrodinger’s equation, Bessel bridges
![Page 82: Notes on Schr¶dinger's equation, Bessel bridges and first-passage time problems](https://reader031.fdocuments.in/reader031/viewer/2022020706/61fca4899d50e757a522001a/html5/thumbnails/82.jpg)
OutlineOverview of the first passage time problem
Integral equationsPDE approach
Derivation of the density?
Guideline of the proof (backward equation)Sketch of the proof (backward equation)Solution of the forward equationGreen’s function
Remark. Let us introduce the Airy solution to the heat equation
u(t, x) := exp
{2t2
3− xt
}Ai(t2 − x)
or
v(t, x) := exp
{2t2
3− (x − zj)t
}Ai(t2 − (x − zj))
[You may consult for instance: Airy functions and applications tophysics by Olivier Vallee & Manuel Soares] where zj is a zero of Ai .Then:
v(t, t2) = exp
{2t2
3− (t2 − zj)t
}Ai(zj)
= 0.
The usefulness of this Remark with become evident after a fewslides.
Gerardo Hernandez-del-Valle Notes on Schrodinger’s equation, Bessel bridges
![Page 83: Notes on Schr¶dinger's equation, Bessel bridges and first-passage time problems](https://reader031.fdocuments.in/reader031/viewer/2022020706/61fca4899d50e757a522001a/html5/thumbnails/83.jpg)
OutlineOverview of the first passage time problem
Integral equationsPDE approach
Derivation of the density?
Guideline of the proof (backward equation)Sketch of the proof (backward equation)Solution of the forward equationGreen’s function
Step 4) (Heat equation):
(b) − ∂ϕ
∂t(t, a) =
1
2
∂2ϕ
∂a2(t, a)
(f )∂ψ
∂τ(τ, b) =
1
2
∂2ψ
∂b2(τ, b)
Gerardo Hernandez-del-Valle Notes on Schrodinger’s equation, Bessel bridges
![Page 84: Notes on Schr¶dinger's equation, Bessel bridges and first-passage time problems](https://reader031.fdocuments.in/reader031/viewer/2022020706/61fca4899d50e757a522001a/html5/thumbnails/84.jpg)
OutlineOverview of the first passage time problem
Integral equationsPDE approach
Derivation of the density?
Guideline of the proof (backward equation)Sketch of the proof (backward equation)Solution of the forward equationGreen’s function
Step 4) (Heat equation):
(b) − ∂ϕ
∂t(t, a) =
1
2
∂2ϕ
∂a2(t, a)
(f )∂ψ
∂τ(τ, b) =
1
2
∂2ψ
∂b2(τ, b)
Gerardo Hernandez-del-Valle Notes on Schrodinger’s equation, Bessel bridges
![Page 85: Notes on Schr¶dinger's equation, Bessel bridges and first-passage time problems](https://reader031.fdocuments.in/reader031/viewer/2022020706/61fca4899d50e757a522001a/html5/thumbnails/85.jpg)
OutlineOverview of the first passage time problem
Integral equationsPDE approach
Derivation of the density?
Guideline of the proof (backward equation)Sketch of the proof (backward equation)Solution of the forward equationGreen’s function
Step 1.
Proposition. Equation (b) satisfies the following relationship
ϕ(t, a; s) = ϕ1(t, a)[A(t; s) exp
(B(t; s)a2
)].
where
B(t; s) =1
2(s − t)
A(t; s) = c · (s − t)3/2
af ′′(t)ϕ1(t, a)− 1
2ϕ1
aa(t, a)− 1
aϕ1
a(t, a)− ϕ1t (t, a) = 0
Gerardo Hernandez-del-Valle Notes on Schrodinger’s equation, Bessel bridges
![Page 86: Notes on Schr¶dinger's equation, Bessel bridges and first-passage time problems](https://reader031.fdocuments.in/reader031/viewer/2022020706/61fca4899d50e757a522001a/html5/thumbnails/86.jpg)
OutlineOverview of the first passage time problem
Integral equationsPDE approach
Derivation of the density?
Guideline of the proof (backward equation)Sketch of the proof (backward equation)Solution of the forward equationGreen’s function
Step 2.
Letting ϕ1 = 1/aϕ2, we have
ϕ1t =
1
aϕ2
t
ϕ1a =
1
aϕ2
a −1
a2ϕ2
ϕ1aa =
1
aϕ2
aa −2
a2ϕ2
a +2
a3ϕ2.
Hence
af ′′(t)ϕ2(t, a)− 1
2ϕ2
aa(t, a)− ϕ2t (t, a) = 0.
Gerardo Hernandez-del-Valle Notes on Schrodinger’s equation, Bessel bridges
![Page 87: Notes on Schr¶dinger's equation, Bessel bridges and first-passage time problems](https://reader031.fdocuments.in/reader031/viewer/2022020706/61fca4899d50e757a522001a/html5/thumbnails/87.jpg)
OutlineOverview of the first passage time problem
Integral equationsPDE approach
Derivation of the density?
Guideline of the proof (backward equation)Sketch of the proof (backward equation)Solution of the forward equationGreen’s function
Step 2.
Letting ϕ1 = 1/aϕ2, we have
ϕ1t =
1
aϕ2
t
ϕ1a =
1
aϕ2
a −1
a2ϕ2
ϕ1aa =
1
aϕ2
aa −2
a2ϕ2
a +2
a3ϕ2.
Hence
af ′′(t)ϕ2(t, a)− 1
2ϕ2
aa(t, a)− ϕ2t (t, a) = 0.
Gerardo Hernandez-del-Valle Notes on Schrodinger’s equation, Bessel bridges
![Page 88: Notes on Schr¶dinger's equation, Bessel bridges and first-passage time problems](https://reader031.fdocuments.in/reader031/viewer/2022020706/61fca4899d50e757a522001a/html5/thumbnails/88.jpg)
OutlineOverview of the first passage time problem
Integral equationsPDE approach
Derivation of the density?
Guideline of the proof (backward equation)Sketch of the proof (backward equation)Solution of the forward equationGreen’s function
Step 2.
Letting ϕ1 = 1/aϕ2, we have
ϕ1t =
1
aϕ2
t
ϕ1a =
1
aϕ2
a −1
a2ϕ2
ϕ1aa =
1
aϕ2
aa −2
a2ϕ2
a +2
a3ϕ2.
Hence
af ′′(t)ϕ2(t, a)− 1
2ϕ2
aa(t, a)− ϕ2t (t, a) = 0.
Gerardo Hernandez-del-Valle Notes on Schrodinger’s equation, Bessel bridges
![Page 89: Notes on Schr¶dinger's equation, Bessel bridges and first-passage time problems](https://reader031.fdocuments.in/reader031/viewer/2022020706/61fca4899d50e757a522001a/html5/thumbnails/89.jpg)
OutlineOverview of the first passage time problem
Integral equationsPDE approach
Derivation of the density?
Guideline of the proof (backward equation)Sketch of the proof (backward equation)Solution of the forward equationGreen’s function
Step 3.
Theorem. The backward Kolmogorov equation
af ′′(t)ϕ2(t, a)− 1
2ϕ2
aa(t, a)− ϕ2t (t, a) = 0.
has a solution:
ϕ2(t, a) = exp
{−1
2
∫ t
0(f ′(u))2du − f ′(t)a
}ω(τ − t, a +
∫f ′(t)dt)
where ω is any solution of the heat equation.
Gerardo Hernandez-del-Valle Notes on Schrodinger’s equation, Bessel bridges
![Page 90: Notes on Schr¶dinger's equation, Bessel bridges and first-passage time problems](https://reader031.fdocuments.in/reader031/viewer/2022020706/61fca4899d50e757a522001a/html5/thumbnails/90.jpg)
OutlineOverview of the first passage time problem
Integral equationsPDE approach
Derivation of the density?
Guideline of the proof (backward equation)Sketch of the proof (backward equation)Solution of the forward equationGreen’s function
Step 3.
Theorem. The backward Kolmogorov equation
af ′′(t)ϕ2(t, a)− 1
2ϕ2
aa(t, a)− ϕ2t (t, a) = 0.
has a solution:
ϕ2(t, a) = exp
{−1
2
∫ t
0(f ′(u))2du − f ′(t)a
}ω(τ − t, a +
∫f ′(t)dt)
where ω is any solution of the heat equation.
Gerardo Hernandez-del-Valle Notes on Schrodinger’s equation, Bessel bridges
![Page 91: Notes on Schr¶dinger's equation, Bessel bridges and first-passage time problems](https://reader031.fdocuments.in/reader031/viewer/2022020706/61fca4899d50e757a522001a/html5/thumbnails/91.jpg)
OutlineOverview of the first passage time problem
Integral equationsPDE approach
Derivation of the density?
Guideline of the proof (backward equation)Sketch of the proof (backward equation)Solution of the forward equationGreen’s function
Sketch of Proof (Theorem)
I First set ϕ2(t, a) = λ(t, a)eβ(t)a, (where β is determinedlater) and substitute into equation.
We get
−λt(t, a) =1
2λaa(t, a) +
1
2β2(t)λ(t, a) + β(t)λa(t, a)
+a(βt(t)− f ′′(t))λ(t, a)
I (Change of variable.) Let y = a− v(t) and letλ(t, a) = u(t, y)
−∂u
∂t(t, y) + vt(t)
∂u
∂y(t, y) =
1
2
∂2u
∂y2(t, y) +
1
2β2(t)u(t, y)
+β(t)∂u
∂y(t, y)
+(y + v(t))(βt(t)− f ′′(t))u(t, y)
Gerardo Hernandez-del-Valle Notes on Schrodinger’s equation, Bessel bridges
![Page 92: Notes on Schr¶dinger's equation, Bessel bridges and first-passage time problems](https://reader031.fdocuments.in/reader031/viewer/2022020706/61fca4899d50e757a522001a/html5/thumbnails/92.jpg)
OutlineOverview of the first passage time problem
Integral equationsPDE approach
Derivation of the density?
Guideline of the proof (backward equation)Sketch of the proof (backward equation)Solution of the forward equationGreen’s function
Sketch of Proof (Theorem)
I First set ϕ2(t, a) = λ(t, a)eβ(t)a, (where β is determinedlater) and substitute into equation.
We get
−λt(t, a) =1
2λaa(t, a) +
1
2β2(t)λ(t, a) + β(t)λa(t, a)
+a(βt(t)− f ′′(t))λ(t, a)
I (Change of variable.) Let y = a− v(t) and letλ(t, a) = u(t, y)
−∂u
∂t(t, y) + vt(t)
∂u
∂y(t, y) =
1
2
∂2u
∂y2(t, y) +
1
2β2(t)u(t, y)
+β(t)∂u
∂y(t, y)
+(y + v(t))(βt(t)− f ′′(t))u(t, y)
Gerardo Hernandez-del-Valle Notes on Schrodinger’s equation, Bessel bridges
![Page 93: Notes on Schr¶dinger's equation, Bessel bridges and first-passage time problems](https://reader031.fdocuments.in/reader031/viewer/2022020706/61fca4899d50e757a522001a/html5/thumbnails/93.jpg)
OutlineOverview of the first passage time problem
Integral equationsPDE approach
Derivation of the density?
Guideline of the proof (backward equation)Sketch of the proof (backward equation)Solution of the forward equationGreen’s function
Sketch of Proof (Theorem)
I First set ϕ2(t, a) = λ(t, a)eβ(t)a, (where β is determinedlater) and substitute into equation. We get
−λt(t, a) =1
2λaa(t, a) +
1
2β2(t)λ(t, a) + β(t)λa(t, a)
+a(βt(t)− f ′′(t))λ(t, a)
I (Change of variable.) Let y = a− v(t) and letλ(t, a) = u(t, y)
−∂u
∂t(t, y) + vt(t)
∂u
∂y(t, y) =
1
2
∂2u
∂y2(t, y) +
1
2β2(t)u(t, y)
+β(t)∂u
∂y(t, y)
+(y + v(t))(βt(t)− f ′′(t))u(t, y)
Gerardo Hernandez-del-Valle Notes on Schrodinger’s equation, Bessel bridges
![Page 94: Notes on Schr¶dinger's equation, Bessel bridges and first-passage time problems](https://reader031.fdocuments.in/reader031/viewer/2022020706/61fca4899d50e757a522001a/html5/thumbnails/94.jpg)
OutlineOverview of the first passage time problem
Integral equationsPDE approach
Derivation of the density?
Guideline of the proof (backward equation)Sketch of the proof (backward equation)Solution of the forward equationGreen’s function
Sketch of Proof (Theorem)
I First set ϕ2(t, a) = λ(t, a)eβ(t)a, (where β is determinedlater) and substitute into equation. We get
−λt(t, a) =1
2λaa(t, a) +
1
2β2(t)λ(t, a) + β(t)λa(t, a)
+a(βt(t)− f ′′(t))λ(t, a)
I (Change of variable.) Let y = a− v(t) and letλ(t, a) = u(t, y)
−∂u
∂t(t, y) + vt(t)
∂u
∂y(t, y) =
1
2
∂2u
∂y2(t, y) +
1
2β2(t)u(t, y)
+β(t)∂u
∂y(t, y)
+(y + v(t))(βt(t)− f ′′(t))u(t, y)
Gerardo Hernandez-del-Valle Notes on Schrodinger’s equation, Bessel bridges
![Page 95: Notes on Schr¶dinger's equation, Bessel bridges and first-passage time problems](https://reader031.fdocuments.in/reader031/viewer/2022020706/61fca4899d50e757a522001a/html5/thumbnails/95.jpg)
OutlineOverview of the first passage time problem
Integral equationsPDE approach
Derivation of the density?
Guideline of the proof (backward equation)Sketch of the proof (backward equation)Solution of the forward equationGreen’s function
Set vt(t) = β(t). Then,
−∂u
∂t(t, y) + vt(t)
∂u
∂y(t, y) =
1
2
∂2u
∂y2(t, y) +
1
2β2(t)u(t, y)
+β(t)∂u
∂y(t, y)
+(y + v(t))(βt(t)− f ′′(t))u(t, y)
becomes
−∂u
∂t(t, y) =
1
2
∂2u
∂y2(t, y) +
1
2β2(t)u(t, y)
+(y + v(t))(βt(t)− f ′′(t))u(t, y)
Gerardo Hernandez-del-Valle Notes on Schrodinger’s equation, Bessel bridges
![Page 96: Notes on Schr¶dinger's equation, Bessel bridges and first-passage time problems](https://reader031.fdocuments.in/reader031/viewer/2022020706/61fca4899d50e757a522001a/html5/thumbnails/96.jpg)
OutlineOverview of the first passage time problem
Integral equationsPDE approach
Derivation of the density?
Guideline of the proof (backward equation)Sketch of the proof (backward equation)Solution of the forward equationGreen’s function
Set vt(t) = β(t). Then,
−∂u
∂t(t, y) + vt(t)
∂u
∂y(t, y) =
1
2
∂2u
∂y2(t, y) +
1
2β2(t)u(t, y)
+β(t)∂u
∂y(t, y)
+(y + v(t))(βt(t)− f ′′(t))u(t, y)
becomes
−∂u
∂t(t, y) =
1
2
∂2u
∂y2(t, y) +
1
2β2(t)u(t, y)
+(y + v(t))(βt(t)− f ′′(t))u(t, y)
Gerardo Hernandez-del-Valle Notes on Schrodinger’s equation, Bessel bridges
![Page 97: Notes on Schr¶dinger's equation, Bessel bridges and first-passage time problems](https://reader031.fdocuments.in/reader031/viewer/2022020706/61fca4899d50e757a522001a/html5/thumbnails/97.jpg)
OutlineOverview of the first passage time problem
Integral equationsPDE approach
Derivation of the density?
Guideline of the proof (backward equation)Sketch of the proof (backward equation)Solution of the forward equationGreen’s function
Set vt(t) = β(t). Then,
−∂u
∂t(t, y) + vt(t)
∂u
∂y(t, y) =
1
2
∂2u
∂y2(t, y) +
1
2β2(t)u(t, y)
+β(t)∂u
∂y(t, y)
+(y + v(t))(βt(t)− f ′′(t))u(t, y)
becomes
−∂u
∂t(t, y) =
1
2
∂2u
∂y2(t, y) +
1
2β2(t)u(t, y)
+(y + v(t))(βt(t)− f ′′(t))u(t, y)
Gerardo Hernandez-del-Valle Notes on Schrodinger’s equation, Bessel bridges
![Page 98: Notes on Schr¶dinger's equation, Bessel bridges and first-passage time problems](https://reader031.fdocuments.in/reader031/viewer/2022020706/61fca4899d50e757a522001a/html5/thumbnails/98.jpg)
OutlineOverview of the first passage time problem
Integral equationsPDE approach
Derivation of the density?
Guideline of the proof (backward equation)Sketch of the proof (backward equation)Solution of the forward equationGreen’s function
Set βt(t) = f ′′(t). Then,
−∂u
∂t(t, y) =
1
2
∂2u
∂y2(t, y) +
1
2β2(t)u(t, y)
+(y + v(t))(βt(t)− f ′′(t))u(t, y)
becomes
−∂u
∂t(t, y) =
1
2
∂2u
∂y2(t, y) +
1
2β2(t)u(t, y)
Gerardo Hernandez-del-Valle Notes on Schrodinger’s equation, Bessel bridges
![Page 99: Notes on Schr¶dinger's equation, Bessel bridges and first-passage time problems](https://reader031.fdocuments.in/reader031/viewer/2022020706/61fca4899d50e757a522001a/html5/thumbnails/99.jpg)
OutlineOverview of the first passage time problem
Integral equationsPDE approach
Derivation of the density?
Guideline of the proof (backward equation)Sketch of the proof (backward equation)Solution of the forward equationGreen’s function
Set βt(t) = f ′′(t). Then,
−∂u
∂t(t, y) =
1
2
∂2u
∂y2(t, y) +
1
2β2(t)u(t, y)
+(y + v(t))(βt(t)− f ′′(t))u(t, y)
becomes
−∂u
∂t(t, y) =
1
2
∂2u
∂y2(t, y) +
1
2β2(t)u(t, y)
Gerardo Hernandez-del-Valle Notes on Schrodinger’s equation, Bessel bridges
![Page 100: Notes on Schr¶dinger's equation, Bessel bridges and first-passage time problems](https://reader031.fdocuments.in/reader031/viewer/2022020706/61fca4899d50e757a522001a/html5/thumbnails/100.jpg)
OutlineOverview of the first passage time problem
Integral equationsPDE approach
Derivation of the density?
Guideline of the proof (backward equation)Sketch of the proof (backward equation)Solution of the forward equationGreen’s function
Set βt(t) = f ′′(t). Then,
−∂u
∂t(t, y) =
1
2
∂2u
∂y2(t, y) +
1
2β2(t)u(t, y)
+(y + v(t))(βt(t)− f ′′(t))u(t, y)
becomes
−∂u
∂t(t, y) =
1
2
∂2u
∂y2(t, y) +
1
2β2(t)u(t, y)
Gerardo Hernandez-del-Valle Notes on Schrodinger’s equation, Bessel bridges
![Page 101: Notes on Schr¶dinger's equation, Bessel bridges and first-passage time problems](https://reader031.fdocuments.in/reader031/viewer/2022020706/61fca4899d50e757a522001a/html5/thumbnails/101.jpg)
OutlineOverview of the first passage time problem
Integral equationsPDE approach
Derivation of the density?
Guideline of the proof (backward equation)Sketch of the proof (backward equation)Solution of the forward equationGreen’s function
Finally
I Let G (u) = 1/2β2(u) and
ϕ3(t, y) = u(t, y)eR t0 G(u)du
Then
−∂ϕ3
∂t(t, y) =
1
2
∂2ϕ3
∂y2(t, y) �
Gerardo Hernandez-del-Valle Notes on Schrodinger’s equation, Bessel bridges
![Page 102: Notes on Schr¶dinger's equation, Bessel bridges and first-passage time problems](https://reader031.fdocuments.in/reader031/viewer/2022020706/61fca4899d50e757a522001a/html5/thumbnails/102.jpg)
OutlineOverview of the first passage time problem
Integral equationsPDE approach
Derivation of the density?
Guideline of the proof (backward equation)Sketch of the proof (backward equation)Solution of the forward equationGreen’s function
Finally
I Let G (u) = 1/2β2(u) and
ϕ3(t, y) = u(t, y)eR t0 G(u)du
Then
−∂ϕ3
∂t(t, y) =
1
2
∂2ϕ3
∂y2(t, y) �
Gerardo Hernandez-del-Valle Notes on Schrodinger’s equation, Bessel bridges
![Page 103: Notes on Schr¶dinger's equation, Bessel bridges and first-passage time problems](https://reader031.fdocuments.in/reader031/viewer/2022020706/61fca4899d50e757a522001a/html5/thumbnails/103.jpg)
OutlineOverview of the first passage time problem
Integral equationsPDE approach
Derivation of the density?
Guideline of the proof (backward equation)Sketch of the proof (backward equation)Solution of the forward equationGreen’s function
Finally
I Let G (u) = 1/2β2(u) and
ϕ3(t, y) = u(t, y)eR t0 G(u)du
Then
−∂ϕ3
∂t(t, y) =
1
2
∂2ϕ3
∂y2(t, y) �
Gerardo Hernandez-del-Valle Notes on Schrodinger’s equation, Bessel bridges
![Page 104: Notes on Schr¶dinger's equation, Bessel bridges and first-passage time problems](https://reader031.fdocuments.in/reader031/viewer/2022020706/61fca4899d50e757a522001a/html5/thumbnails/104.jpg)
OutlineOverview of the first passage time problem
Integral equationsPDE approach
Derivation of the density?
Guideline of the proof (backward equation)Sketch of the proof (backward equation)Solution of the forward equationGreen’s function
Proposition. Equation (f) satisfies the following relationship
ψ(τ, b, s) = ψ1(τ, b; s)[A(τ ; s) exp
(B(τ ; s)b2
)],
where
B(τ ; s) = − 1
2(s − τ)
A(t; s) = c · (s − τ)−1/2(bf ′′(τ)− 1
b2− 1
s − τ
)ψ1(τ, b)− 1
2ψ1
bb(τ, b) +1
bψ1
b(τ, b, s)
+ψ1τ (τ, a, s) = 0.
Gerardo Hernandez-del-Valle Notes on Schrodinger’s equation, Bessel bridges
![Page 105: Notes on Schr¶dinger's equation, Bessel bridges and first-passage time problems](https://reader031.fdocuments.in/reader031/viewer/2022020706/61fca4899d50e757a522001a/html5/thumbnails/105.jpg)
OutlineOverview of the first passage time problem
Integral equationsPDE approach
Derivation of the density?
Guideline of the proof (backward equation)Sketch of the proof (backward equation)Solution of the forward equationGreen’s function
We proceed by first setting ψ1 = b · ψ2: ⇒
(bf ′′(τ)− 1
s − τ
)ψ2(τ, b)− 1
2ψ2
bb(τ, b) + ψ2τ (τ, b) = 0.
Next ψ2 = 1/(s − τ) · ψ3: ⇒
bf ′′(τ)ψ3(τ, b)− 1
2ψ3
bb(τ, b) + ψ3τ (τ, b) = 0.
Gerardo Hernandez-del-Valle Notes on Schrodinger’s equation, Bessel bridges
![Page 106: Notes on Schr¶dinger's equation, Bessel bridges and first-passage time problems](https://reader031.fdocuments.in/reader031/viewer/2022020706/61fca4899d50e757a522001a/html5/thumbnails/106.jpg)
OutlineOverview of the first passage time problem
Integral equationsPDE approach
Derivation of the density?
Guideline of the proof (backward equation)Sketch of the proof (backward equation)Solution of the forward equationGreen’s function
We proceed by first setting ψ1 = b · ψ2: ⇒(bf ′′(τ)− 1
s − τ
)ψ2(τ, b)− 1
2ψ2
bb(τ, b) + ψ2τ (τ, b) = 0.
Next ψ2 = 1/(s − τ) · ψ3: ⇒
bf ′′(τ)ψ3(τ, b)− 1
2ψ3
bb(τ, b) + ψ3τ (τ, b) = 0.
Gerardo Hernandez-del-Valle Notes on Schrodinger’s equation, Bessel bridges
![Page 107: Notes on Schr¶dinger's equation, Bessel bridges and first-passage time problems](https://reader031.fdocuments.in/reader031/viewer/2022020706/61fca4899d50e757a522001a/html5/thumbnails/107.jpg)
OutlineOverview of the first passage time problem
Integral equationsPDE approach
Derivation of the density?
Guideline of the proof (backward equation)Sketch of the proof (backward equation)Solution of the forward equationGreen’s function
We proceed by first setting ψ1 = b · ψ2: ⇒(bf ′′(τ)− 1
s − τ
)ψ2(τ, b)− 1
2ψ2
bb(τ, b) + ψ2τ (τ, b) = 0.
Next ψ2 = 1/(s − τ) · ψ3: ⇒
bf ′′(τ)ψ3(τ, b)− 1
2ψ3
bb(τ, b) + ψ3τ (τ, b) = 0.
Gerardo Hernandez-del-Valle Notes on Schrodinger’s equation, Bessel bridges
![Page 108: Notes on Schr¶dinger's equation, Bessel bridges and first-passage time problems](https://reader031.fdocuments.in/reader031/viewer/2022020706/61fca4899d50e757a522001a/html5/thumbnails/108.jpg)
OutlineOverview of the first passage time problem
Integral equationsPDE approach
Derivation of the density?
Guideline of the proof (backward equation)Sketch of the proof (backward equation)Solution of the forward equationGreen’s function
We proceed by first setting ψ1 = b · ψ2: ⇒(bf ′′(τ)− 1
s − τ
)ψ2(τ, b)− 1
2ψ2
bb(τ, b) + ψ2τ (τ, b) = 0.
Next ψ2 = 1/(s − τ) · ψ3: ⇒
bf ′′(τ)ψ3(τ, b)− 1
2ψ3
bb(τ, b) + ψ3τ (τ, b) = 0.
Gerardo Hernandez-del-Valle Notes on Schrodinger’s equation, Bessel bridges
![Page 109: Notes on Schr¶dinger's equation, Bessel bridges and first-passage time problems](https://reader031.fdocuments.in/reader031/viewer/2022020706/61fca4899d50e757a522001a/html5/thumbnails/109.jpg)
OutlineOverview of the first passage time problem
Integral equationsPDE approach
Derivation of the density?
Guideline of the proof (backward equation)Sketch of the proof (backward equation)Solution of the forward equationGreen’s function
Theorem. Given the forward equation as in previous slide:
∂ψ3
∂τ(τ, b) =
1
2
∂2ψ3
∂b2(τ, b)− bf ′′(τ)ψ3(τ, b)
we have the following solution
ψ3(τ, b) = exp
{1
2
∫ τ
0(f ′(u))2du + f ′(τ)b
}ω(τ, b +
∫f ′(τ)dτ)
(recall that ω is any solution of the heat equation).
Gerardo Hernandez-del-Valle Notes on Schrodinger’s equation, Bessel bridges
![Page 110: Notes on Schr¶dinger's equation, Bessel bridges and first-passage time problems](https://reader031.fdocuments.in/reader031/viewer/2022020706/61fca4899d50e757a522001a/html5/thumbnails/110.jpg)
OutlineOverview of the first passage time problem
Integral equationsPDE approach
Derivation of the density?
Guideline of the proof (backward equation)Sketch of the proof (backward equation)Solution of the forward equationGreen’s function
The derivation and verification of a Green function will bepostponed to upcoming notes
Gerardo Hernandez-del-Valle Notes on Schrodinger’s equation, Bessel bridges