The multidimensional Itô formula includes a mixed second derivative multiplied by the quadratic covariation, with no extra factor . HereConsequently the Itô formula for has drift equal to the left side of the stated backward partial differential equation. That drift vanishes, leavingA stochastic integral against Brownian motion with locally square-integrable predictable integrand is a continuous local martingale. The smoothness of and localization of the diffusion and its coefficients give this integrability on the model's lifetime. Thus is a local martingale, as required. The partial differential equation cancellation alone does not establish a true martingale or justify replacing by a terminal-payoff expectation without an additional integrability argument.
For the exponential payoff, substituting gives , , and . Dividing the backward partial differential equation by the nonzero factor therefore gives the exponential payoff transform PDEThe terminal value isThe correlation changes the first-derivative coefficient, while the original drift of the log price combines with its variance to give rather than .
Set , and . For the Ornstein-Uhlenbeck process volatility, the transformed partial differential equation isUse the Gaussian volatility exponential-quadratic transform ansatz , where the coefficients depend on . Its derivatives satisfyMatching the constant, linear and quadratic powers of givesThe terminal condition requiresThese polynomial ordinary differential equations have a unique local solution by the Picard's theorem for ordinary differential equations. Substitution then proves the desired partial differential equation solution on every horizon for which the coefficient solution remains finite. The Riccati equation for is solved first; subsequently solves a linear equation and is an integral of known coefficients.
Unrestricted global existence needs a qualification. Take , , and . Then and the Riccati equation becomesThis solves the initial condition but explodes at . Therefore no finite real exponential-quadratic solution with the required terminal condition exists on an entire horizon for these allowed parameters. The correct general claim is local existence, or existence before the Riccati moment-explosion horizon.
A useful sufficient global condition is , so . If , the lower equilibriumtraps the solution in : the polynomial vector field points inward at the upper endpoint and vanishes at the lower endpoint. If , the equation for is linear. In either case there is no finite-time explosion; is then a linear equation with coefficients bounded on compact time intervals, and is finite on those intervals. This proves the intended ansatz globally under that sufficient parameter restriction, without asserting it for every real .
Articles by others on the same topic
There are currently no matching articles.