CONTENTS

Exercise: Reducing Black-Scholes to the heat equation

The Black-Scholes PDE

Vt+12σ2S2VSS+rSVSrV=0,S>0,0t<TV_t + \tfrac12\sigma^2 S^2 V_{SS} + rSV_S - rV = 0, \quad S > 0, \quad 0 \le t < T

can be reduced to the standard heat equation

uτ=12σ2uxxu_\tau = \tfrac12\sigma^2 u_{xx}

by a sequence of changes of variables. This was Black, Scholes, and Merton's original path to the closed-form formula.

Tasks

  1. Substitute τ=Tt\tau = T - t (time to expiry). Show the PDE becomes Vτ+12σ2S2VSS+rSVSrV=0-V_\tau + \tfrac12\sigma^2 S^2 V_{SS} + rSV_S - rV = 0 (note the sign flip).

  2. Substitute x=lnSx = \ln S. Convert the derivatives: VS=Vx/SV_S = V_x/S, VSS=(VxxVx)/S2V_{SS} = (V_{xx} - V_x)/S^2. Show that the PDE becomes

Vτ=12σ2Vxx+(r12σ2)VxrV.V_\tau = \tfrac12\sigma^2 V_{xx} + (r - \tfrac12\sigma^2)V_x - rV.
  1. The first-order term (r12σ2)Vx(r - \tfrac12\sigma^2)V_x is an advection term. Use the substitution V(x,τ)=eax+bτu(x,τ)V(x, \tau) = e^{ax + b\tau}u(x', \tau) with x=x+cτx' = x + c\tau and well-chosen a,b,ca, b, c to eliminate it.

    Specifically: choosing c=(r12σ2)c = -(r - \tfrac12\sigma^2) shifts the drift away; choosing a=(r12σ2)/σ2a = -(r - \tfrac12\sigma^2)/\sigma^2 may also eliminate it. Pick one consistent set that gives
uτ=12σ2uxx.u_\tau = \tfrac12\sigma^2 u_{xx}.
  1. Transform the terminal condition for a European call: V(S,T)=(SK)+V(S, T) = (S - K)^+ becomes u(x,0)=?u(x', 0) = ? in the new variables.

  2. The heat equation has fundamental solution G(x,τ)=(2πσ2τ)1/2exp(x2/(2σ2τ))G(x, \tau) = (2\pi\sigma^2\tau)^{-1/2}\exp(-x^2/(2\sigma^2\tau)). Use it to write u(x,τ)=G(xy,τ)u(y,0)dyu(x, \tau) = \int G(x - y, \tau)\,u(y, 0)\,dy, and back-transform to recover the Black-Scholes formula. (Details optional — outline the integral and identify the Gaussian integral that produces Φ(d1)\Phi(d_1) and Φ(d2)\Phi(d_2).)

Hint

For part 3, try V=eαx+βτuV = e^{\alpha x + \beta\tau}u where α,β\alpha, \beta are chosen to cancel the VxV_x and VV terms simultaneously. You'll get two algebraic equations in α,β\alpha, \beta.