Skip to content

Itô's formula

The continuous Brownian Itô change-of-variables rule, which adds a quadratic-variation second-order term to a smooth function's transformed differential.

Version
v1 · 2026-10-17 · History
Domain-specific #
14202
Domain group
Formal Sciences
Origin domain
Mathematics
Subdomain
Stochastic Analysis → Mathematics
Aliases
Itô lemma, Ito formula, Ito lemma

Core Idea

Itô's formula is a rule for finding how a smooth function of a randomly changing quantity evolves. In the continuous Brownian-driven Itô setting covered here, the answer has the familiar first-derivative response and a second-derivative correction from the randomness's quadratic variation. For a scalar process \(dX=f(X)\,dt+g(X)\,dW\) and a sufficiently smooth \(h(X,t)\), the rule gives \(dh=h_X\,dX+[h_t+\tfrac12 g(X)^2h_{XX}]dt\).[^ref-7abfc9d2e845] The drift is already included in \(h_XdX\).

The rule includes the correction even when a particular function makes it zero. For an affine function, \(h_{XX}=0\); for a nonlinear function, the correction may change the resulting drift. The name also appears in broader mathematical settings, but this entry describes the continuous Brownian form. It does not require a financial option, a particle model, or an SDE as the first way of describing the process.[ref-5daa6b2264fa][ref-7abfc9d2e845]

Scope of Application

Use the rule when there is a continuous Brownian-driven Itô process, a sufficiently smooth function of its state and perhaps time, and a question about that function's differential. The process and function are separate prerequisites: a random process can be studied without applying this rule, and a smooth function can be used without random change.

The rule is used in mathematical finance to change from a stock-price process to an option-value differential, and in mathematical models of diffusing particles to calculate transformed density-observable moments.[ref-7abfc9d2e845][ref-2c4f6452766c] The later pricing or fluctuation conclusions need the assumptions of their respective models. The displayed scalar formula does not automatically cover jumps, other semimartingale classes, nonsmooth functions, or a model written in a different integration convention. An Itô–Stratonovich conversion must keep the drift and chain rule consistent.[ref-7abfc9d2e845][ref-95cc00460220]

Clarity

Itô's formula distinguishes a change in \(X\) from a change in \(h(X,t)\). For a nonlinear \(h\), Brownian-scale squared increments can contribute at order \(dt\), so an ordinary first-order chain rule can miss a term.[^ref-7abfc9d2e845] A zero correction because \(h_{XX}=0\) is different from forgetting to calculate it.

The integration convention matters too. Itô uses pre-increment values; Stratonovich uses a midpoint convention with an ordinary-form chain rule. Equivalent descriptions require the corresponding drift conversion rather than copying one equation's coefficients unchanged into the other.[ref-5daa6b2264fa][ref-7abfc9d2e845][^ref-95cc00460220]

Manages Complexity

The rule replaces a fresh limit calculation for each smooth quantity with a short checklist: specify the changing process, choose the function, calculate its first and second derivatives, and include the term dictated by quadratic variation. The formula then gives a transformed differential that a separate model argument can use.

This shortcut depends on its hypotheses. The form and coefficient of the correction depend on the noise and function. In a density-fluctuation model, Cornalba and Fischer's chosen backward test function cancels base drift terms, while the surviving second-order term uses the model's positive-part density.[^ref-2c4f6452766c] A slogan about “extra drift” would hide those details.

Abstract Reasoning

To test an application, ask: What is the Itô state? What smooth function is applied to it? Which first-order terms follow? What squared-noise contribution supplies the second-order term? The answer gives the transformed differential. If the second derivative is zero, explain why; if it is not, do not silently use the ordinary chain rule.[^ref-7abfc9d2e845]

The transformed differential is one step in a larger proof. In the option example, portfolio assumptions lead from that differential to a pricing equation.[^ref-7abfc9d2e845] In the particle-density example, the differential helps bound fluctuation moments.[^ref-2c4f6452766c] The formula alone is not evidence that market prices or measured particle paths follow either model.

Knowledge Transfer

Finance and diffusing-particle models reuse the same change-of-variables calculation with different stochastic states and smooth functions.[ref-7abfc9d2e845][ref-2c4f6452766c] What transfers is the mathematical rule. The stock-market assumptions of the first case and the discretized-density assumptions of the second do not transfer with it.

Outside stochastic analysis, a transformation may suggest an analogy, but this named rule requires Itô integration and quadratic variation. Stochastic Process supplies the changing random carrier, and Function Mapping supplies the smooth single-valued quantity being transformed; neither alone supplies the correction.

Example

Option value. Perelló and coauthors model a Brownian-driven stock price \(X\) and a call value \(C(X,t)\). Their Itô calculation yields \(dC=[C_t+\tfrac12\sigma^2X^2C_{XX}]dt+C_XdX\); a separate self-financing portfolio argument leads to the Black–Scholes equation.[^ref-7abfc9d2e845] Here \(X\) is the random state, \(C\) is the smooth function, \(C_XdX\) and \(C_tdt\) are first-order responses, and the \(C_{XX}\) term is the quadratic-variation correction.

Diffusing-particle density model. Cornalba and Fischer take a centered, Brownian-driven pairing \(S\) of a discretized density with a backward-evolving test function. They apply the rule to the smooth power \(z\mapsto z^j\) at \(S\). Their displayed differential has a first-order Brownian integral and a second-order term proportional to \(j(j-1)/2\) and the squared noise coefficient, rewritten with the model's positive-part density.[^ref-2c4f6452766c] This is a mathematical model derivation, not an observed particle trajectory.

Relationships to Other Abstractions

Local relationship map for Itô's formulaParents appear above the current abstraction, mutual partners to the right, and children below. Node labels state whether each abstraction is prime or domain-specific; colors identify relation types.Itô's formulaDOMAINPrime abstraction: Function (Mapping) — presupposesFunction(Mapping)PRIMEPrime abstraction: Stochastic Process — presupposesStochasticProcessPRIME

Current abstraction Itô's formula Domain-specific

Parents (2) — more general patterns this builds on

  • Itô's formula presupposes Function (Mapping) Prime

    The rule requires a sufficiently smooth single-valued function of state and possibly time as the transformed quantity.

  • Itô's formula presupposes Stochastic Process Prime

    The Itô change-of-variables rule requires a Brownian-driven stochastic process as its changing argument.

Hierarchy paths (2) — routes to 2 parentless roots

Neighborhood in Abstraction Space

Itô's formula sits in a sparse region of the domain-specific corpus (84th percentile for distinctiveness): few abstractions share its structure, so a faithful description tends to retrieve it precisely.

Family — Stochastic Processes & Markov Dynamics (29 abstractions)

Nearest neighbors

Computed from structural-signature embeddings · 2026-10-17

Not to Be Confused With

  • Stochastic calculus as a whole: a broader field containing multiple methods and conventions; this entry is one change-of-variables rule.
  • Itô integration alone: an integral can be defined without transforming a smooth function of its result.
  • Itô isometry: an \(L^2\) equality for an integral, not the formula for a composed quantity.
  • Diffusion Process: a type of continuous-path Markov process, not the rule for changing variables in an Itô process.
  • Stratonovich chain rule: a different convention whose ordinary-form expression requires consistent drift conversion when compared with Itô notation.[ref-7abfc9d2e845][ref-95cc00460220]

References

[^ref-5daa6b2264fa]: Itô, Kiyosi. “Stochastic Integral”. Proceedings of the Imperial Academy 20, no. 8 (1944): 519–524. Consulted the original publisher PDF, especially §2 Eq. (2.1) for pre-increment integration and §4 for a transformed Brownian-function correction. [^ref-7abfc9d2e845]: Perelló, J., J. M. Porrà, M. Montero, and J. Masoliver. “Black-Scholes Option Pricing within Itô and Stratonovich Conventions”. arXiv:physics/0001040v2, April 7, 2000; published in Physica A 278 (2000): 260–274. Consulted the full author preprint, especially §2 Eqs. (2), (4), (11)–(12), (19)–(20), §3 Eq. (24), §4.1 Eqs. (31)–(35), and Appendix B. The Itô calculation is the paper's reviewed classical route; its new comparison develops the Stratonovich route. [^ref-2c4f6452766c]: Cornalba, Federico, and Julian Fischer. “The Dean–Kawasaki Equation and the Structure of Density Fluctuations in Systems of Diffusing Particles”. arXiv:2109.06500v2, July 5, 2023. Consulted the full original author article, especially Appendix A.2, Lemma 15, Eqs. (87a)–(89), for the centered tested-density state and explicit Itô power-composition terms. This is mathematical analysis of a physical model, not direct trajectory observation. [^ref-95cc00460220]: Lau, A. W. C., and T. C. Lubensky. “State-Dependent Diffusion: Thermodynamic Consistency and Its Path Integral Formulation”. Author preprint of Physical Review E 76, 011123 (2007). DOI: 10.1103/PhysRevE.76.011123. Consulted §II.B Eqs. (2.4)–(2.8) and Eqs. (2.20)–(2.21) for convention and drift boundaries.