Basic Prerequisites: 05 · Girsanov & Risk-Neutral.


1. Intuition & Practical Objective

These three results are the multipliers that turn stochastic calculus into a pricing theory. Feynman–Kac declares that the PDE picture and the expectation picture are the same number - solve a parabolic PDE ⇐> take a discounted expectation along an SDE. Martingale Representation (MRT) says that in a Brownian world every martingale is an Itô integral - the mathematical license for replicating any derivative with a delta position. The Fundamental Theorems of Asset Pricing then assemble it: no arbitrage ⇔ a martingale measure exists, and completeness ⇔ that measure is unique.

Practical objective: understand the complete toolkit that (a) prices a derivative either by PDE or by -expectation, as convenient; (b) makes “every -claim is hedgeable in a complete one-BM market” rigorous; (c) tells you exactly when that falls apart (extra randomness, jumps, missing assets) - the theoretical reason real markets need stochastic-vol and jump models.


2. Mathematical Ground Truth & Derivations

2.1 Feynman–Kac (Björk Props 5.5/5.6; Shreve II §4.5)

Let solve . If solves the parabolic PDE

then (with discounting, Björk Prop 5.6)

Applied to the risk-neutral dynamics (, the drift) this says exactly: the BSM PDE solution equals the discounted -expectation of the payoff. The two §05-pricing routes - PDE and expectation - coincide by construction. Nondiscounted form () is Björk Prop 5.5; multidimensional form Prop 5.8.

2.2 Martingale Representation Theorem (Shreve II Thm 5.3.1; Björk Thm 11.2; Shreve I §18)

Let be the filtration generated by a BM . Then every -martingale has the representation

for a unique adapted process (in if is square-integrable). Multidimensional version (Shreve II Thm 5.4.2): . Key accumulation for hedging: combining MRT with Girsanov (Shreve II Cor 5.3.2), for any -claim , the -martingale has a representation whose integrand is matched by choosing the delta - so the claim is replicated (Shreve II §5.3.2). This requires (the BM randomness must be in the stock) and generated by (no extra randomness).

2.3 The Fundamental Theorems (Shreve II Thm 5.4.7/5.4.9; Harrison–Pliska; Björk 10.9/10.17)

Model: stocks driven by BMs, . The market price of risk equations

(m equations, unknowns - one per BM, not per stock) drive the classification (Shreve II §5.4):

Market-price-of-risk systemRisk-neutral measureMarket
unique solutionunique (complete)no arbitrage + complete (every claim hedgeable)
no solutionnonearbitrage exists
multiple solutionsmultipleno arbitrage but incomplete
  • First FT (Shreve II 5.4.7): no arbitrage ⇔ a risk-neutral measure exists (the MPR system is solvable).
  • Second FT (Shreve II 5.4.9): market complete ⇔ the risk-neutral measure is unique (⇔ the volatility matrix has full rank / invertible square case ).

The meta-theorem (Björk 8.3.1) encapsulates the counting: with risky assets and random sources, arbitrage-free ⇔ (fewer/equal assets than risks), complete ⇔ (enough assets to hedge), both ⇔ . BSM has ⇒ complete and arbitrage-free; a jump process adds a distinct random source so one stock can no longer hedge it.


3. Computational Implementation - verify the bridges

Three stdlib checks: (a) Feynman–Kac - the -expectation of a payoff equals the BSM PDE solution (MC vs closed form); (b) martingale representation - delta-replicating a written call, the discrete hedge P&L closes to at expiry (the replication story made concrete); (c) the completeness counting rule.


4. Failure Modes & First-Principles Breakdowns

  1. MRT needs the BM filtration. Both MRT and completeness/hedging fall apart if the filtration is larger than that generated by (e.g. an independent Poisson, an untraded factor). Replicating an -claim then requires a hedge with an extra, unhedgeable source of randomness - the deep root of market incompleteness and the reason models with jumps/SV need completion choices (Shreve II §5.3; Björk §14.2).
  2. destroys completeness. If the stock has no diffusion, the BM randomness is not in the tradable; you cannot hedge with something that has no volatility. The MRT-integrand-matching divides by (Shreve II §5.3.2).
  3. Feynman–Kac under the physical measure is mispricing. The expectation must be along the risk-neutral drift (), not . Running the SDE with drift and plugging into breaks the PDE↔expectation correspondence (05 · Girsanov).
  4. Confusing “prices fixed” with “model correct.” Completeness fixes the price of every claim, but only within that model’s distributional assumptions. It guarantees hedgeability, never realism - it is the precondition for the smiles/jumps/SV extensions, not a vindication of BSM (see BSM 05 · Failure Modes).

5. References

  • Björk, Arbitrage Theory in Continuous Time
  • Shreve, Stochastic Calculus for Finance II
  • Shreve, Stochastic Calculus for Finance I
  • Glasserman, Monte Carlo Methods in Financial Engineering

6. Connected Graph Bridges