Setup
Let be a probability space with filtration . Consider the SDE: started at time from position . We assume and are globally Lipschitz and have at most linear growth in — conditions ensuring strong existence and pathwise uniqueness of the solution for .
The generator of the diffusion is the second-order differential operator:
Feynman-Kac Theorem
Theorem. Let be a bounded discount function, and a measurable terminal payoff with . Define:
If , then is the unique solution to the backward parabolic PDE:
Equivalently:
The PDE is solved backward in time from the terminal condition .
Derivation
Define the discounted value process:
We claim is a local martingale if and only if satisfies the PDE.
Apply Itô's lemma to :
Let denote the discount factor. Then . Apply the product rule . Since has finite variation, the covariation term vanishes:
For to be a local martingale, the term must vanish identically. This forces:
This is the Feynman-Kac PDE. Taking expectations at :
The Black-Scholes PDE
Under the risk-neutral measure , the stock follows:
The risk-neutral pricing formula for a European derivative with payoff :
Matching with Feynman-Kac: , , , constant discount rate . The function satisfies: with terminal condition .
This is the Black-Scholes PDE, derived from no-arbitrage (via Girsanov) and Feynman-Kac — not from the original delta-hedging argument.
Boundary Conditions for a European Call
For :
- Terminal: .
- At : . Under GBM, is an absorbing barrier; a call on a worthless stock is worthless.
- As : . A deep-in-the-money call behaves like a forward contract.
Feynman-Kac vs Delta Hedging
The original Black-Scholes (1973) derivation constructed a delta-hedged portfolio, assumed it earns the risk-free rate, and derived the PDE by no-arbitrage. Feynman-Kac provides a cleaner, more general route:
- No-arbitrage EMM exists (FTAP).
- Risk-neutral pricing: .
- Feynman-Kac: this expectation satisfies the BS PDE.
The delta-hedging argument assumes the hedge portfolio is self-financing and that the hedging error is zero — implicitly assuming completeness. Feynman-Kac makes the probabilistic structure transparent and extends immediately to:
- Multidimensional underlyings (rainbow options, basket options).
- Time-dependent rates and volatility.
- Path-dependent payoffs via the Markov property and a sufficient state variable extension.
Multi-Dimensional Feynman-Kac
Let be a vector Itô process with generator: where is the diffusion matrix. Feynman-Kac applies directly: the function solves . The Black-Scholes PDE for a multi-asset option in a correlated log-normal model is the direct application of this with , .
Limitations
Regularity requirement. Feynman-Kac in its classical form requires . For discontinuous payoffs (barrier options, digital options), the terminal condition is discontinuous and the classical solution may fail to exist. The correct framework is viscosity solutions (Crandall-Lions), which extends Feynman-Kac to non-smooth settings.
Markov property. The probabilistic representation requires the underlying process to be Markovian — the future distribution depends only on the current state, not the path history. For non-Markovian models (path-dependent volatility, rough volatility with memory), Feynman-Kac does not apply in its classical form. The correct extension uses backward SDEs (BSDEs): the value process satisfies , .
Uniqueness. The Feynman-Kac formula identifies a particular probabilistic solution of the PDE. Without growth conditions at infinity (e.g., ), the PDE may admit multiple solutions. The financial interpretation selects the relevant one: the smallest non-negative solution for put prices, for instance.
American options. For American options, the option holder has the right to exercise at any stopping time . The value satisfies a variational inequality (free-boundary problem): In the continuation region (where ), the PDE holds. At the exercise boundary, the value equals the intrinsic value. PSOR solves this numerically.
Interview Angle
L1: State the Black-Scholes PDE and its terminal and boundary conditions for a European call. What is the economic interpretation of each term?
Black-Scholes PDE and conditions. Terminal: . Boundary: ; as .
Economic interpretation of each term. Consider a delta-hedged portfolio , held for time :
- : Theta — the time decay of the option value. For a long call, : the option loses value as expiry approaches, all else equal.
- : The drift of under is . This contributes to the portfolio's change in value — the "rho from the drift" term.
- : Gamma P&L — the convexity income. A delta-hedged long option position benefits from large moves in either direction. When moves by , the hedging error is . This is the compensation the option buyer receives for holding positive convexity.
- : Financing cost — funding the option position at rate costs . Equivalently: the option premium invested at grows at , which must be subtracted.
The PDE states that in continuous time, the gamma income exactly offsets the theta decay plus the net financing cost of the delta hedge. This is the no-arbitrage condition: a self-financing delta-hedged portfolio earns zero riskless profit.
L2: Derive the Black-Scholes PDE using Feynman-Kac (not delta hedging). What regularity conditions on are required? What does the Markov property of GBM provide?
Derivation via Feynman-Kac. Under the risk-neutral measure , the stock satisfies . The no-arbitrage price of a European payoff is: Define . This matches the Feynman-Kac setup with , , constant discount rate , and terminal condition . The Feynman-Kac theorem then states that satisfies: which is precisely the Black-Scholes PDE with . The derivation reduces entirely to the Feynman-Kac theorem applied to the GBM generator; no self-financing portfolio or hedging argument is needed.
Regularity requirement. The classical Feynman-Kac theorem requires — once continuously differentiable in , twice in . For a European call, has a kink at : the terminal condition is not . The PDE regularity holds for all (the heat kernel smooths the terminal kink for any ), but fails at at . Practically, one applies Feynman-Kac on and takes , or appeals to weak/viscosity solution theory to handle the terminal kink directly.
Markov property. GBM is a Markov process: the conditional distribution of given depends only on , not on the path history . This means: i.e., the conditional expectation is a function of the current state alone. Without the Markov property, the pricing function would depend on the entire path history and could not be expressed as a finite-dimensional PDE. For example, an Asian option depends on the path average ; the state space must be augmented to to recover the Markov property, and the resulting Feynman-Kac PDE is two-dimensional in the spatial variables.
L3: How does Feynman-Kac extend to American options? What replaces the PDE in the exercise region? Why does the classical Feynman-Kac fail for rough volatility models, and what is the correct replacement?
American options: optimal stopping and the free-boundary problem. An American option gives the holder the right to exercise at any -stopping time . The value is: where for an American put. The state space splits into two regions:
- Continuation region : it is not yet optimal to exercise. Here the option price satisfies the Black-Scholes PDE:
- Exercise (stopping) region : exercise immediately. Here and the PDE is replaced by the inequality (the option has intrinsic value at least equal to holding costs).
The full system is the variational inequality: The exercise boundary separating from is the free boundary — it is part of the solution, not a given. At : value matching and smooth pasting (the delta of the option equals the delta of the payoff at the boundary, eliminating a kink that would otherwise create an arbitrage). Numerically, PSOR (projected successive over-relaxation) solves this by projecting the finite-difference iterate onto the constraint at each grid point.
Classical Feynman-Kac does not apply here because the optimal stopping problem is not a fixed terminal condition problem: the effective "terminal" condition depends on where the boundary is, which is itself unknown.
Rough volatility and the failure of classical Feynman-Kac. In the rough Bergomi or rough Heston model, the instantaneous variance is driven by fractional Brownian motion with Hurst exponent :
Two structural failures prevent Feynman-Kac from applying:
-
Lack of Markov property. Fractional BM has correlated increments: the future increment is correlated with the entire history . The future distribution of depends on the full path , not just . The option price is a functional of the path, not a function of a finite state. There is no finite-dimensional Feynman-Kac PDE.
-
Non-semimartingale structure. For , fBM is not a semimartingale: it cannot be decomposed as a local martingale plus a finite-variation process. Itô's lemma and the generator are undefined for non-semimartingales. The entire PDE derivation in the Feynman-Kac proof — which crucially uses Itô's lemma to compute — breaks down.
Correct replacement: BSDEs. The natural extension in non-Markovian settings is the backward SDE (BSDE). One seeks adapted processes satisfying: where is the terminal payoff and is a driver encoding the discount rate and hedging costs. Under Lipschitz conditions on (Pardoux-Peng, 1990), the BSDE admits a unique adapted solution. The process represents the option price, and the hedging ratio — without requiring the state to be finite-dimensional or the filtration to be Markovian. For rough volatility specifically, the practical approach is Monte Carlo simulation (e.g., the hybrid scheme of Bennedsen–Lunde–Pakkanen for discretising the fBM convolution) combined with regression-based methods (least-squares Monte Carlo, neural-network pricing) to compute conditional expectations in the non-Markovian setting.