Formal Definition
Mathematically, the definition of the local time is
where b(s) is the diffusion process and δ is the Dirac delta function. It is a notion invented by Paul Lévy. The basic idea is that ℓ(t, x) is a (rescaled) measure of how much time b(s) has spent at x up to time t. It may be written as
which explains why it is called the local time of b at x.
Read more about this topic: Local Time (mathematics)
Famous quotes containing the words formal and/or definition:
“I will not let him stir
Till I have used the approvèd means I have,
With wholesome syrups, drugs, and holy prayers,
To make of him a formal man again.”
—William Shakespeare (1564–1616)
“The definition of good prose is proper words in their proper places; of good verse, the most proper words in their proper places. The propriety is in either case relative. The words in prose ought to express the intended meaning, and no more; if they attract attention to themselves, it is, in general, a fault.”
—Samuel Taylor Coleridge (1772–1834)