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:
“Two clergymen disputing whether ordination would be valid without the imposition of both hands, the more formal one said, “Do you think the Holy Dove could fly down with only one wing?””
—Horace Walpole (1717–1797)
“The very definition of the real becomes: that of which it is possible to give an equivalent reproduction.... The real is not only what can be reproduced, but that which is always already reproduced. The hyperreal.”
—Jean Baudrillard (b. 1929)