A backward stochastic differential equation (BSDE) runs an ordinary stochastic differential equation in reverse. Instead of fixing where the process starts and letting it diffuse forward, we fix where it must end and ask what dynamics carry it there. This is exactly the situation a derivatives desk faces: we know the payoff at maturity, and we want today's value plus the trading strategy that delivers that payoff. The terminal condition is data; the present is the unknown.
Intuition
Forward stochastic dynamics answer the question "given today, what happens next?" Pricing asks the opposite: "given a contractual payoff at time T, what is the fair value now, and how must I trade in between?" A naive attempt to integrate a stochastic differential equation backward fails because the answer would depend on the future of the Brownian motion, violating the requirement that a price be known today. BSDE theory resolves this by introducing a second unknown, the control process Z, whose job is to absorb the unpredictable part so that the solution stays adapted, that is, depends only on information available up to the current time.
Formal definition
Let W be a d-dimensional Brownian motion generating the filtration, let the terminal time be , let the terminal value be square-integrable and known at time , and let the driver map time, value, and control to a real number. A solution to the BSDE is a pair of adapted processes satisfying
Knowledge check
Q1.In the BSDE solution pair, what is the financial meaning of the control process Z?
Q2.Which condition on the driver f is the standard hypothesis guaranteeing a unique square-integrable adapted solution?
Q3.Why must a second unknown Z be introduced rather than just solving for Y?
Q4.For the linear driver f(t,y,z) = -r y, what is the resulting value process Y_t?
Problems
P1
A BSDE has driver f(t,y,z) = -r y with constant continuously-compounded rate r = 0.05, maturity T = 2 years, and a deterministic terminal payoff xi = 100. Since the payoff is deterministic, compute the present value Y_0. Give the decimal value.
P2
Show symbolically that for the linear BSDE with driver f(t,y,z) = -r y, the candidate Y_t = E[exp(-r(T-t)) xi | F_t] satisfies the BSDE, and identify Z_t.
Mark this lesson complete to track progress
T
ξ
T
f
(Y,Z)
−dYt=f(t,Yt,Zt)dt−ZtdWt,YT=ξ.
Written in integral form, which is the mathematically precise statement, this reads
Yt=ξ+∫tTf(s,Ys,Zs)ds−∫tTZsdWs.
Here Y is the value process and Z is the control process. The solution is the pair that makes both lines hold while keeping Y and Z adapted.
The role of Z
The stochastic integral term has zero conditional expectation, so taking conditional expectations of the integral form gives
Yt=E[ξ+∫tTf(s,Ys,Zs)dsFt].
This would seem to determine Y on its own, but the right side still contains Z through the driver. The role of Z is structural: it is the martingale representation of the value process. The martingale Mt equal to the conditional expectation of ξ plus the running driver integral can be written as a stochastic integral against W, and its integrand is precisely Z. In hedging language, Z is the sensitivity of value to the driving noise, the quantity you trade to neutralize risk. Without Z there is no way to make the terminal condition hold while staying adapted; with it, the equation closes.
Existence and uniqueness under Lipschitz f
The foundational result of Pardoux and Peng states that if ξ is square-integrable, the driver f(⋅,0,0) is square-integrable in time, and f is uniformly Lipschitz in (y,z), meaning there is a constant K with
then the BSDE has a unique adapted square-integrable solution pair (Y,Z).
Derivation sketch
The proof is a fixed-point argument. Define a map that takes a candidate pair, freezes it inside the driver, and solves the resulting linear problem by martingale representation to produce a new pair. One shows this map is a contraction in a weighted norm of the form
∥(Y,Z)∥β2=E[∫0Teβt(∣Yt∣2+∣Zt∣2)dt],
where choosing the exponential weight β large enough relative to K makes the Lipschitz contribution shrink below one. By the Banach fixed-point theorem the map has a unique fixed point, which is the unique solution. The exponential weighting is the key trick: it tames the linear growth coming from the Lipschitz bound.
Worked example
Take the linear driver f(t,y,z)=−ry with constant rate r and terminal value ξ. The equation is −dYt=−rYtdt−ZtdWt. Guess Yt=E[e−r(T−t)ξ∣Ft. Differentiating, the deterministic drift contributes rYtdt, matching the driver, and the martingale part supplies Z through its representation. So the value process is the discounted conditional expectation of the payoff, the textbook risk-neutral price, and Z is its diffusion coefficient, the delta. This recovers classical pricing as the linear special case of a BSDE.
Why quants care
BSDEs are the unifying language of modern valuation. The linear case reproduces risk-neutral pricing, but the real power appears when the driver is nonlinear: differential funding rates, collateral, credit charges, and trading constraints all enter through f, and the same existence theory still guarantees a well-posed price and hedge. The control Z is not an abstraction; it is the hedge ratio the desk actually trades. Understanding the (Y,Z) pair is the conceptual entry point to the entire valuation-adjustment framework that follows.
Adapted from Pardoux–Peng and Crépey — Counterparty Risk and Funding.