A derivatives desk can value a claim by solving the backward PDE of the replication lesson from its payoff, or by averaging its discounted payoff over simulated paths of the stock. When must the two numbers agree, and under which measure must the paths be drawn? The Feynman-Kac formula answers both questions for a classical solution of controlled growth, with the paths drawn under the measure whose generator appears in the PDE. This lesson proves the representation with a discounted Itô martingale, explains why the generator and not the theorem fixes the measure, and derives uniqueness within the solution class.
Key terms
Backward PDE
Definition Let be an -dimensional diffusion
under a stated probability measure, where is a -dimensional Brownian motion under that measure, takes values in , is an loading matrix and . Its generator acts on a function with continuous second derivatives by
Given a discount rate and a running payment rate , the backward PDE for a function is
on . It is called backward because, with positive semidefinite, it is solved from data at the final time toward earlier times, and in the remaining time it becomes a forward parabolic equation. For continuous coefficients and a function with continuous second derivatives and compact support, Itô’s formula shows that
as , so the generator is the expected rate of change of . A reverse route explains the shape of the PDE. If is an expected discounted cash flow, conditioning on with the Markov property and expanding the first short step with Itô’s formula gives in the limit , provided is smooth enough for the expansion. That proviso is a separate regularity result, so this route explains the equation rather than proving it.
In plain words The generator measures how fast a function of the state is expected to change, with a first-order part from the drift and a second-order part from the variance. The backward PDE says that the expected rate of change of a value, , equals the cost of carrying it, , minus the rate at which it pays out, .
Example In a constructed Bachelier model the price follows under , with currency units per square root of a year and , so and . The function satisfies and , and it equals . With and it gives . The forward heat equation with the same terminal data would give , less than , although a second moment is never below the square of the mean.
Terminal value problem
Definition A terminal value problem consists of the backward PDE and a terminal condition,
the first for and and the second for every , to be solved in a stated solution class. In pricing, is the payoff at maturity, the rate of a payment received continuously before maturity and the short rate as a function of the state. The data are given at the final time only. On the whole space no spatial boundary condition is imposed, and its role is taken by the growth condition of the solution class, without which the problem can have more than one solution. For a positive state such as a GBM price, is replaced by . The problem is linear, so the solutions for several payoffs and payment streams add.
In plain words The problem asks for a value at every earlier date that is consistent with the equation and with the contract at maturity. The PDE is the same for every claim on the same state, and only the payoff and the running payments tell the claims apart.
Example Under take a dividend-free GBM with the constructed values and , so that , and , and let and . The payoff has the solution , worth . The payoff has the solution , worth , since . The payoff has the solution
worth . By linearity, a claim paying is worth .
Classical solution
Definition A classical solution of the terminal value problem is a function that is continuous on , has continuous partial derivatives , and on , satisfies the PDE at every point of and equals at . In short,
No derivative is required at , so a payoff with a kink is allowed, but the solution must be continuous up to maturity. This is the regularity that lets Itô’s formula be applied to for . Whether a classical solution exists for given data is a separate question. Existence theorems need conditions such as a uniformly positive definite matrix and sufficiently regular coefficients, and degenerate or nonsmooth problems are handled with viscosity solutions. Both lie beyond this lesson.
In plain words A classical solution has every derivative the equation mentions at every point before maturity, and it joins the payoff continuously at maturity. Smoothness is needed before maturity and only continuity at maturity, which is exactly what nonsmooth payoffs require.
Example In the Bachelier model of the first card, the straddle payoff with has the value , where and . It is infinitely differentiable for and tends to as , so it is a classical solution although has a kink. At ,
With the value at is about at , and the second derivative is about per currency unit at , at and at . It grows without bound as maturity approaches, which the definition allows, because derivatives are needed only before .
Controlled-growth solution class
Definition Suppose the coefficients and are continuous, globally Lipschitz in uniformly in , and of linear growth, . Then for every starting point the equation has a unique strong solution on , and for every there is a constant with
The controlled-growth class consists of the classical solutions with for some constants and and all , for problems with a bounded continuous discount rate and a continuous running payment with . In this class the moment bound makes the discounted solution along the path, together with the accumulated running payments, dominated by an integrable random variable, which is the step the Feynman-Kac proof needs. Without a growth restriction uniqueness fails even for the heat equation. Tychonoff constructed a solution of that vanishes at , is not identically zero and is not bounded by for any constants and . For a positive state such as a GBM price on , a natural bound is , and the needed moments come from the finite power moments of the running maximum and minimum of the price.
In plain words Polynomial growth of the solution is matched by polynomial moments of the state, so the discounted value never becomes too large to average. The class is part of the problem statement. Inside it the problem has at most one solution, and outside it a second, financially meaningless solution can appear.
Example For the constructed claim with under , with , , , and starting time , the discounted process is . Writing shows that
The discounted price is a positive martingale under , so Doob’s maximal inequality bounds the expected supremum of its square by . Hence
a finite bound that dominates every stopped value in the proof.
Discounted conditional expectation
Definition For the pathwise discount factor is
The discounted conditional expectation of a terminal payoff and a running payment at the rate is
computed under the measure in which has the stated dynamics, whenever the expectation is finite. For a Markov diffusion it is a function of and only. When depends on the state, is random and must stay inside the expectation. By Jensen’s inequality its conditional mean is at least the exponential of minus the conditional mean of , with equality only when that integral is known at time . With a constant rate the factor leaves the expectation and the expression is plus the discounted running payments. With the money-market account one has , so under a pricing measure the expression is the arbitrage-free price of the cash flows with the money-market numeraire. The measure is part of the data. For a dividend-free stock, replication produced the generator with drift , which is the generator under . Putting the physical drift into the generator gives a different PDE and a different expectation, not the replication price.
In plain words Each path is discounted at the rates it actually experiences, and only then are the paths averaged. Averaging the rates first and discounting afterward is correct only when the rate is not random.
Example In the constructed GBM under with , , and , the second moment is
so the payoff has the undiscounted mean and the discounted value . For a constructed illustration of path discounting, suppose the short rate is for a whole year with probability one half and with probability one half under . A payment of at the end of the year is then worth , slightly more than the value obtained by discounting at the average rate.
Feynman-Kac formula
Definition Assume that and satisfy the Lipschitz and linear growth conditions of the controlled-growth card under a stated measure, that is continuous and bounded, and that and are continuous with polynomial growth. Let be a classical solution of the terminal value problem in the controlled-growth class. Then for every ,
where is the expectation under that measure for the solution started at . In particular the problem has at most one solution in the class. For a solution started at an earlier time, equals the discounted conditional expectation given . To prove the formula, let
for . The factor has finite variation with , so the product rule has no covariation term, and Itô’s formula with the PDE gives
with the functions evaluated at . So is a local martingale on . Stopping at the first time after that reaches , or at if that comes first, keeps the integrand bounded, so the stopped integral is a true martingale and equals the expectation of the stopped value of . If , the growth bounds dominate every stopped value by
which is integrable by the moment bound. As the stopping times tend to , the continuity of up to carries the stopped values to , and dominated convergence gives the formula. For uniqueness, two solutions in the class with the same and differ by a solution with zero data, whose representation is zero. A local martingale alone would give the stopped identity but not the limit, since without domination or uniform integrability the mean of can differ from .
In plain words Discount the solution along the path and add the discounted payments already received. The PDE removes every predictable change from this sum, so only a stochastic integral is left, and the growth class makes the stopping limit legitimate, so that integral has mean zero. The value today is then the mean of the sum at maturity, the discounted payoff plus the discounted payments.
Example For the constructed claim paying under with , , and , the expectation route gave in the previous card. The PDE route checks the function . Its derivatives give and , and the discount term is , so the residual is , with at maturity. The function is a polynomial in for each , the GBM coefficients and are Lipschitz, and the theorem confirms that both routes give the same value. The payoff gives , and the payoff gives , the current price, as a dividend-free discounted price must.
Check yourself
- Under with a constant rate , a contract pays cash continuously at the rate of currency units per year until and pays at , with . Use the Feynman-Kac formula with , and to value it, and check the PDE.
Show the answer
Nothing depends on the state, so the discount factor is and the formula gives, with ,
With and this is . The running payments add less than because each one is discounted from its own date. Since does not depend on , the generator term vanishes. The time derivative is , and
which is . At the value is .
- A classmate values the constructed claim paying , with , , , no dividends and , by solving the PDE whose generator uses the physical drift , keeps the discount rate , and quotes the result as the arbitrage-free price. Find both the classmate’s value and the price from the generator under , and say which step of the classmate’s reasoning is wrong.
Show the answer
Try . With the drift , the PDE gives , so and the classmate’s value is . With the drift of the pricing measure, and the price is . Both functions are classical solutions with quadratic growth, so Feynman-Kac applies to each. The first equals and the second . The theorem is used correctly, and the error is calling the first number the price. Feynman-Kac turns a given PDE into an expectation and does not choose the measure. Replication produced the PDE with drift , so the price is .
- Take and , and let for every . Show that satisfies the Black-Scholes PDE at every point with , meets the terminal condition of a call with strike and has polynomial growth. Does Feynman-Kac imply that this call is worth when the price is and ?
Show the answer
With the PDE is . For the function is , with zero time derivative and zero second derivative, and for it is , so the equation holds away from . The terminal value is , and . Still, the theorem does not apply. The function has no derivative at for any , so it is not a classical solution, and Itô’s formula cannot be applied to as the proof requires. The conclusion is in fact false. Under the price exceeds at with probability , so is positive. The formula of the lesson on the Black-Scholes formula gives about . The hypothesis that fails is regularity, not growth.