Top Qs
Timeline
Chat
Perspective

Tanaka's formula

From Wikipedia, the free encyclopedia

Remove ads

In the stochastic calculus, Tanaka's formula for the Brownian motion states that

where Bt is the standard Brownian motion, sgn denotes the sign function

and Lt is its local time at 0 (the local time spent by B at 0 before time t) given by the L2-limit

One can also extend the formula to semimartingales.

Remove ads

Properties

Tanaka's formula is the explicit DoobMeyer decomposition of the submartingale |Bt| into the martingale part (the integral on the right-hand side, which is a Brownian motion[1]), and a continuous increasing process (local time). It can also be seen as the analogue of Itō's lemma for the (nonsmooth) absolute value function , with and ; see local time for a formal explanation of the Itō term.

Remove ads

Outline of proof

The function |x| is not C2 in x at x = 0, so we cannot apply Itō's formula directly. But if we approximate it near zero (i.e. in [ε, ε]) by parabolas

and use Itō's formula, we can then take the limit as ε  0, leading to Tanaka's formula.

Remove ads

References

Loading related searches...

Wikiwand - on

Seamless Wikipedia browsing. On steroids.

Remove ads