- Hitting time
In the study of
stochastic processes inmathematics , a hitting time (or first hit time) is a particular instance of a stopping time, the first time at which a given process "hits" a given subset of the state space. Exit times and return times are also examples of hitting times.Definitions
Let "T" be an ordered
index set such as thenatural number s, N, the non-negativereal number s, [0, +∞), or a subset of these; elements "t" ∈ "T" can be thought of as "times". Given aprobability space (Ω, Σ, Pr) and a measurable state space "S", let "X" : Ω × "T" → "S" be astochastic process , and let "A" be a measurable subset of the state space "S". Then the first hit time "τ""A" : Ω → [0, +∞] is therandom variable defined by:au_{A} (omega) := inf { t in T | X_{t} (omega) in A }.
The first exit time (from "A") is defined to be the first hit time for "S" "A", the complement of "A" in "S". Confusingly, this is also often denoted by "τ""A" (e.g. in Øksendal (2003)).
The first return time is defined to be the first hit time for the singleton set { "X"0("ω") }, which is usually a given deterministic element of the state space, such as the origin of the coordinate system.
Example
Let "B" denote standard Brownian motion on the
real line R starting at the origin. Then the hitting time "τ""A" satisfies the measurablility requirements to be a stopping time for every Borel measurable set "A" ⊆ R.Let "τ""r", "r" > 0, denote the first exit time for the interval (−"r", "r"), i.e. the first hit time for (−∞, −"r"] ∪ ["r", +∞). Then the
expected value andvariance of "τ""r" satisfy:mathbb{E} left [ au_{r} ight] = r^{2},:mathrm{Var} left [ au_{r} ight] = (2/3) r^{4}.
The time of hitting a single point (different from the starting point 0) has the
Levy distribution .Début theorem
The hitting time of a set "F" is also known as the "début" of "F". The Début theorem says that the hitting time of a measurable set "F", for a
progressively measurable process , is a stopping time. Progressively measurable processes include, in particular, all right and left-continuousadapted process es.The proof that the début is measurable is rather involved and involves properties ofanalytic set s. The theorem requires the underlying probability space to be complete or, at least, universally complete.References
* cite book
last = Øksendal
first = Bernt K.
authorlink = Bernt Øksendal
title = Stochastic Differential Equations: An Introduction with Applications
edition = Sixth edition
publisher=Springer
location = Berlin
year = 2003
id = ISBN 3-540-04758-1
Wikimedia Foundation. 2010.