Mathematics Atlas

How Proof Is Made
Sign In
Text size
100%
Theme
Mathematical Object

Tanaka's Formula

Probability and Statistics

Tanaka's formula is a result in stochastic calculus that decomposes the absolute value of Brownian motion into two parts: a stochastic integral of the sign of the Brownian motion against itself, and a process called the local time of the Brownian motion at zero. This gives an explicit Doob-Meyer decomposition of the absolute value of Brownian motion, which is a submartingale, into a martingale part and a continuous, increasing part, the local time. The formula serves as an analogue of Ito's lemma for the absolute value function, which unlike the smooth functions Ito's lemma normally applies to, is not differentiable at zero, so Tanaka's formula shows how to make sense of the resulting stochastic calculus anyway. This description is adapted from Wikipedia contributors under CC BY-SA 4.0; changes were made. https://creativecommons.org/licenses/by-sa/4.0/

Facts
Classification
Object Kind
Equation 1
Connections

In Branch

Source Tanaka's Formula (Wikipedia)

Is Kind Of Object

Equation, Concepts
Sources
1. Tanaka's Formula (Wikipedia)
  • Lead section
    In the stochastic calculus, Tanaka's formula for the Brownian motion states that | B t | = ∫ 0 t sgn ⁡ ( B s ) d B s + L t {\displaystyle |B_{t}|=\int _{0}^{t}\operatorname {sgn}(B_{s})\,dB_{s}+L_{t}} where Bt is the standard Brownian motion, sgn denotes the sign function sgn ⁡ ( x ) = { + 1 , x > 0 ; 0 , x = 0 − 1
  • In Branch: Probability and Statistics, Lead
    In the stochastic calculus, Tanaka's formula for the Brownian motion states that
View the Source
Comments (0)
No comments yet. Be the first to share a thought.
Reader Challenges (0)
No disputes yet. Spotted an error or a better source? Open the first one.