In an introductory derivation of Black-Scholes, "risk-neutral pricing" appears as a slogan: discount the expected payoff under the risk-neutral measure Q. But the slogan hides the actual content. Why is the price equal to a Q-expectation? What guarantees a Q exists, that it's unique, and that it gives the same answer as a hedging argument?
The risk-neutral valuation theorem answers all three. It says: in a complete and arbitrage-free market, the time-t price of any attainable contingent claim X paid at T is
Vt=BtEQ[BTXFt],
where Bt is the bank account (numéraire) and Q is the unique probability measure under which discounted asset prices are martingales. This is the bridge between two views of pricing: replication (you build a portfolio whose value matches X) and expectation (you compute an integral). The theorem is what justifies replacing one with the other.
This note states and proves the theorem rigorously, isolates the role of completeness vs incompleteness, and connects it to the Fundamental Theorems of Asset Pricing (FTAP).
The informal idea
Three ingredients:
Bank account / numéraire. Some traded asset whose price never goes negative — typically the cash account Bt=ert.
Risk-neutral measure Q. A probability measure equivalent to the physical P such that all tradeable asset prices, when divided by Bt, are Q-martingales. Existence is the First Fundamental Theorem of Asset Pricing (FTAP1: no arbitrage ⇔Q exists). Uniqueness is the Second Fundamental Theorem (FTAP2: market completeness ⇔Q unique).
Replication. A claim X is attainable if there exists a self-financing trading strategy with terminal wealth X. In a complete market, every X is attainable.
Putting these together: if a self-financing portfolio replicates X, its discounted value Vt/Bt must equal the discounted target X/BT at T. Self-financing portfolios have discounted values that are Q-martingales (by definition of Q). So Vt/Bt=EQ[VT/BT∣Ft]=EQ[X/BT∣Ft].
That's the theorem. The technical work is in the three pieces above.
Formal statement and proof
Setting. A finite-horizon [0,T] market on a filtered probability space (Ω,F,(Ft)t∈[0,T],P). There are d+1 tradeable assets: a numéraire B with Bt>0 a.s., and risky assets S(1),…,S(d).
A self-financing strategy is a predictable process ϕ=(ϕ(0),ϕ(1),…,ϕ(d)) where ϕt(i) is the number of units of asset i held at time t, with portfolio value Vt=ϕt(0)Bt+∑ϕt(i)St(i) satisfying
dVt=ϕt(0)dBt+i=1∑dϕt(i)dSt(i).
A claim X paying at T is attainable if there exists a self-financing strategy with VT=X.
Theorem (Risk-Neutral Valuation). Suppose:
(i) The market admits no arbitrage.
(ii) There exists an equivalent probability measure Q∼P under which the discounted price processes S~t(i):=St(i)/Bt are martingales.
(iii) The claim X∈L1(Q,FT) is attainable, replicated by self-financing strategy ϕ with value Vt.
Then the price of X at time t is
Vt=BtEQ[BTXFt].
Proof. Since ϕ is self-financing,
dVt=ϕt(0)dBt+i=1∑dϕt(i)dSt(i).
Let V~t=Vt/Bt. Apply Itô's product rule (or in the elementary case, the discrete-time analogue) to Vt⋅Bt−1:
For the standard model where Bt is locally riskless (dBt=rtBtdt, no martingale part), the quadratic variation contributions vanish, and computation reduces to
dV~t=i=1∑dϕt(i)dS~t(i).
Since each S~(i) is a Q-martingale and ϕ(i) is predictable and bounded enough (technical: integrability conditions), V~t is a Q-local-martingale. Under integrability conditions (e.g., Vt bounded below), it's a true Q-martingale.
By the martingale property:
V~t=EQ[V~T∣Ft]=EQ[BTXFt].
Multiplying both sides by Bt:
Vt=BtEQ[BTXFt].□
The Fundamental Theorems
Two companion results give the existence and uniqueness of Q:
FTAP1 (Harrison-Kreps, Harrison-Pliska, Delbaen-Schachermayer). A market admits no arbitrage if and only if there exists at least one equivalent martingale measure Q.
FTAP2. A market is complete (every claim is attainable) if and only if the equivalent martingale measure Q is unique.
Combined: in an arbitrage-free, complete market, Q exists and is unique, and every claim has a uniquely determined price given by the risk-neutral valuation formula. This is the cleanest case — Black-Scholes lives here.
Key properties
Independence of P. The price formula uses only Q. The physical drift of the stock disappears (cf. the Black-Scholes PDE, where μ disappears for the same reason).
Numéraire invariance. Pricing is the same under any choice of numéraire, with the appropriate measure. Using S as numéraire gives the stock-measureQS with QS-martingale property of B/S.
Linearity. Price is a linear functional on payoffs, which gives put-call parity for free.
Time-consistency. The price at any future time satisfies Vs=BsEQ[Vt/Bt∣Fs] for s<t — the dynamics are consistent.
Incomplete markets. If multiple Q exist, the formula gives a range of prices — the no-arbitrage interval. Picking a single Q requires extra information (calibration to liquid instruments).
Worked example: Black-Scholes call price
Standard Black-Scholes: St=S0exp((μ−σ2/2)t+σWt) under P, Bt=ert.
By Girsanov, define Q via dQ/dP=exp(θWT−θ2T/2) where θ=(μ−r)/σ. Under Q, WtQ=Wt−θt is a Brownian motion, and
St=S0exp((r−σ2/2)t+σWtQ),
so S~t=St/Bt is a Q-martingale.
European call: X=(ST−K)+. Apply the theorem:
C0=e−rTEQ[(ST−K)+].
Compute the expectation under the lognormal distribution of ST under Q (mean parameter r−σ2/2, vol σ). The result is the Black-Scholes formula:
C0=S0Φ(d1)−Ke−rTΦ(d2).
The expectation reduces to the Black-Scholes formula in closed form because lognormal expectations of European payoffs admit a closed form. Importantly, the μ from the original P dynamics never appears.
Common confusions and pitfalls
Q is not "the real-world probability." It's a mathematical pricing measure. Probabilities under Q don't represent likelihoods of stock movements; they're shadow weights consistent with no-arbitrage.
Risk-neutral does not mean investors are risk-neutral. It's a change of measure trick. Real investors are risk-averse; the Girsanov shift absorbs the risk premium (μ−r)/σ into the measure.
Discounting matters. Always price discounted payoffs. Pricing EQ[X] without the factor Bt/BT is wrong unless r=0.
Choice of numéraire. For interest-rate products, the bank account is unsuitable (rates are stochastic). The T-forward measure (using zero-coupon bonds as numéraire) is more convenient.
Incomplete markets. Stochastic volatility, jump models, real-world frictions — these break completeness, and there's no unique Q. The theorem still holds for any specific Q, but model selection becomes a calibration problem.
Local vs true martingale. Technical issue in continuous time: discounted prices are local martingales under Q. To turn local-martingale arguments into expectation identities, integrability conditions are needed (uniform integrability or admissibility constraints on strategies).