In (11.13) we found the bond price process, under the probability measure Q , to be:
Absence of arbitrage may be equated to the existence of a probability measure such that all discounted security prices are martingales [ 22 ]. We wish to find this martingale probability measure such that it is equivalent ^{ [9] } to the market measure Q and the drift in (11.13) becomes r ( t ). Hence we wish to find a vector of Brownian motions { ( t ), , ( t ): t ˆˆ [0, ]} with n 1 (and associated adapted processes { ³ _{ i } ( t ); t ˆˆ [0, ]} which define ( t ) = ˆ’ ˆ« _{ } ^{ t } ³ _{ i } ( u ) du + z _{ i } ( t ), i = 1, , n ) such that ^{ [10] } :
with
Since, by definition, b ( t, T ) represents the cumulative drift of forward rates over [ t, T ], (11.17) implies a restriction is required on the forward rate process to ensure arbitragefree pricing.
Let us examine necessary and sufficient conditions on the forward rate process ensuring the existence of a unique, equivalent martingale measure and hence arbitragefree pricing.
Existence of the market prices of risk. Set S _{ 1 } , , S _{ n } ˆˆ [0, ] such that 0 < S _{ 1 } < S _{ 2 } < < S _{ n } and let » be a Lebesque measure. Assume there exist solutions
to a system of equations specified as:
Also assume that these solutions satisfy the following three conditions ^{ [11] } :
for y ˆˆ { S _{ 1 } , , S _{ n } }
From the system of equations (11.18), we may view ³ _{ i } ( t ; S _{ 1 } , , S _{ n } ), i = 1, , n , as the market prices of risk associated with each source of uncertainty, that is with each Brownian motion z _{ i } ( t ), i = 1, , n .
The market price of risk is defined as the mean rate of return in excess of the riskfree rate of interest, normalised by the volatility of that return. From (11.13) the instantaneous expected return on a T maturity bond is r ( t ) + b ( t, T ) with a _{ i } ( t, T ), i = 1, , n , the corresponding instantaneous standard deviations of bond return due to the i ^{ th } random factor. Therefore, interpreting ³ _{ i } ( t ; S _{ 1 } , , S _{ n } ), i = 1, , n , as the market prices of risk associated with the sources of uncertainty, this market price of risk relationship may be expressed as:
where the market prices of risk ³ _{ i } ( t ; S _{ 1 } , , S _{ n } ), i = 1, , n , depend on the specific choice of bond maturities { S _{ 1 } , , S _{ n } }. We see that (11.20) is equivalent to (11.17) which was derived using a heuristic argument ^{ [12] } .
The above Condition 4 guarantees the existence of an equivalent martingale measure. This is shown by means of the following proposition.
Existence of an equivalent martingale probability measure. Set S _{ 1 } , , S _{ n } ˆˆ [0, ] such that 0 < S _{ 1 } < S _{ 2 } < < S _{ n } . Given a vector of forward rate drifts { ± (·, S _{ 1 } ), , ± (·, S _{ n } )} and volatilities { ƒ _{ i } (·, S _{ 1 } ), , ƒ _{ i } (·, S _{ n } )}, i = 1, , n , which satisfy Conditions 1  3, then Condition 4 holds if and only if there exists an equivalent probability measure such that { Z ( t, S _{ 1 } ), , Z ( t, S _{ n } )} are martingales with respect to { F _{ t } : t ˆˆ [0, S _{ 1 } ]}.
Proof  The proof of this proposition is by the following two lemmas. 
Assume Conditions 13 hold for some fixed { S _{ 1 } , , S _{ n } } ˆˆ [0, ]; 0 < S _{ 1 } < S _{ 2 } < < S _{ n } .
Define
Then ³ _{ i } : [0, ] ’ R for i 1, , n , satisfies the following four conditions:
ˆ« _{ } ^{ S 1 } ³ _{ i } ^{ 2 } ( v ) dv < + ˆ a.e. Q for i = 1, , n
if and only if there exists a probability measure such that the following are true:
( t ) = z _{ i } ( t ) ˆ’ ˆ« _{ } ^{ t } ³ _{ i } ( v ) dv are Brownian motions on {( , F , ), ( F _{ t } ; t ˆˆ [0, S _{ 1 } ])} for i = 1, , n
Z ( t,S _{ i } ) are martingales on {( , F , ), ( F _{ t } ; t ˆˆ [0, S _{ 1 } ])} for i = 1, , n
Proof  In the first part of this proof assume (i)(iv) hold and show that (a)(d) hold. Make use of the Girsanov Theorem; see [ 21 , Corollary 13.25]. Properties (ii) and (iii) satisfy the conditions for the Girsanov Theorem, so there exists a probability measure on ( , F ) defined by (a) and a corresponding n dimensional Brownian motion on ( , F , ) defined by (b). Consider the stochastic differential equation (11.14) describing the evolution of the relative bond price Z ( t, y ): hence by the definition of X ( t, y ) and for all t ˆˆ [0, y ], y ˆˆ { S _{ 1 } , , S _{ n } }. Therefore: and from (i) we have: so: by definition of in (b) and for all t ˆˆ [0, S _{ 1 } ], y ˆˆ { S _{ 1 } , , S _{ n } }. Hence (c) follows . From (11.21) and (c) we have: Now by [ 43 , Corollary 3.2.6] Z ( t, y ) is a martingale and hence (d) is satisfied. Conversely, assume (a)(d) hold and show that (i)(iv) are true. Again by (11.21) and (c) we have: where ( t ), i =1, , n , are defined in (b) as: Hence: But in (11.14) the process for Z ( t, y ) is defined as: Hence: and (i) holds. The stochastic integral of any variable ³ _{ i } ( t ) with respect to a Brownian motion z _{ i } ( t ) is defined only if ³ _{ i } ( t ) is square integrable (see [ 30 , Definition 1.5]). Since this integral is defined in (a), ³ _{ i } ( t ) is square integrable, and hence (ii) holds. The RadonNikodym derivative (a) defines the relationship between measure Q and ; hence: which proves (iii). We have and by (d) Z ( t, y ), t ˆˆ [0, S _{ 1 } ], y ˆˆ { S _{ 1 } , S _{ n } } is a martingale, so: Hence (iv) holds. 
Assume Conditions 13 hold for some fixed { S _{ 1 } , , S _{ n } [0, ]; 0 < S _{ 1 } < S _{ 2 } < < S _{ n } .
Define
Then there exists a probability measure Q equivalent to Q such that Z ( t, S _{ i } ) are martingales on {( , F , Q ), ( F _{ t } ; t ˆˆ [0, S _{ 1 } ])} for all i = 1, , n , if and only if there exists ³ _{ i } : [0, ] ’ R for i = 1, , n , and a probability measure such that (a), (b), (c) and (d) of Lemma 1.1 hold.
Proof  First, suppose:
and we need to prove there exists:
such that (a)(d) hold. Since probability measure Q is equivalent to Q we know, by the Radon Nikodym Theorem (see [ 49 ]), that there exists a nonnegative random process N ( t ), t ˆˆ [0, S _{ 1 } ] such that: For any generic process to be a RadonNikodym derivative it must satisfy the following three conditions [ 45 ]:
Defining N ( t ) such that: then (1) and (2) are met. Taking the natural logarithm of N ( t ) we have: By Ito's Lemma we have: which, by the converse of the martingale representation theorem (see [ 43 ]), implies that N ( t ) is a martingale and (3) holds. All the conditions for N ( t ) to be a valid RadonNikodym derivative are met. Hence let be the equivalent probability measure defined by this specific formulation of N ( t ). Then (a) holds, and by the Girsanov Theorem (see [ 43 , Theorem 8.6.4]) the new Brownian motion, ( t ), i = 1, , n , corresponding to the measure is defined by: and (b) holds. Z ( t, y ), y ˆˆ { S _{ 1 } , , S _{ n } } are martingales under probability measure Q , more specifically they are martingales under the specific probability measure , and (d) holds. By the martingale representation theorem we may write: Now we may define i = 1, , n , and so: However, by the definition of X ( t, y ) we showed above in (11.21) that: and hence (c) holds. Conversely, suppose there exist
such that (a)(d) are satisfied; we need to prove:
Since and Q are related by the RadonNikodym derivative specified in (a) they are equivalent, and we may set Q = . By(d) Z ( t, S _{ i } ), i = 1, , n , are martingales under and since Q = they are martingales under Q . 
Hence, by the proofs of Lemma 1.1 and Lemma 1.2 we have proved Proposition 1.
This proposition states that, if Conditions 13 are satisfied, then Condition 4 is necessary and sufficient to allow an equivalent martingale measure to exist. An important feature of the proof of this proposition is Girsanov's Theorem, which defines the equivalent martingale measure as:
and a new set of independent Brownian motions
on {( , F , ), { F _{ t } : t ˆˆ [0, S _{ 1 } ]}}.
An additional constraint needs to be imposed to guarantee the uniqueness of the equivalent martingale measure.
Uniqueness of the equivalent martingale probability measure. Set S _{ 1 } , , S _{ n } ˆˆ [0, ] such that 0 < S _{ 1 } < S _{ 2 } < < S _{ n } and assume
is nonsingular a.e. Q » .
This Condition 5 is both necessary and sufficient to ensure that the equivalent martingale measure is unique. This is proved in the following proposition.
Uniqueness of the equivalent martingale probability measure. Set S _{ 1 } , , S _{ n } ˆˆ [0, ] such that 0 < S _{ 1 } < S _{ 2 } < < S _{ n } . Given a vector of forward rate drifts { ± (·, S _{ 1 } ), , ± (·, S _{ n } )} and volatilities { ƒ _{ i } (·, S _{ 1 } ), , ƒ _{ i } (·, S _{ n } )}, i = 1, , n , which satisfy Conditions 14 then Condition 5 holds if and only if the martingale measure is unique.
Proof  The proof of this proposition is by the following two lemmas. 
Set S < and define ² _{ i } : [0, ] ’ R for i = 1, , n , to be such that ˆ« _{ } ^{ S } ( v ) dv < + ˆ a.e. Q . Also define:
Then
if and only if { M ^{ m } ( S )} ^{ ˆ } _{ m =1 } are uniformly integrable.
Proof  Since ² _{ i } ( t ), i = 1, , n , is by definition, a square integrable variable on( , F,Q ), then the Ito integral, given by X ^{ m } ( t ) = ˆ‘ _{ i =1 } ^{ n } ˆ« _{ } ^{ t ˆ§ T m } ² _{ i } ( v ) dz _{ i } ( v ) follows a continuous martingale on ( , F,Q )[ 41 , Proposition B.1.2.]. Every martingale is a local martingale ^{ [13] } , so by [ 21 , Lemma 13.17] is a supermartingale. By definition, T _{ m } is the lowest t ˆˆ [0, S ] such that Hence for all t T _{ m } we have [exp(½ ˆ‘ _{ i =1 } ^{ n } ˆ« _{ } ^{ t } ² _{ i } ^{ 2 } ( v ) dv )] m , and in particular [exp (½ ˆ‘ _{ i =1 } ^{ n } ˆ« _{ } ^{ T m } ² _{ i } ^{ 2 } ( v ) dv )] m . Hence and so by [ 21 , Theorem 13.27] the supermartingale M ^{ m } ( t ), t ˆˆ [0, S ] is a martingale and Now we need to prove both sides of the ˜if and only if' statement:

Assume that Conditions 13 hold for a fixed set { S _{ 1 } , , S _{ n } } ˆˆ [0, ], 0 < S _{ 1 } < < S _{ n } . Also assume that the following four conditions of Lemma 1.1 hold:
ˆ« _{ } ^{ S 1 } ³ _{ i } ^{ 2 } ( v ) dv < + ˆ a.e. Q for i = 1, , n
Then ³ _{ i } ( t ) for i = 1, , n , satisfying the above conditions are unique (up to » Q equivalence) if and only if
is singular with ( » Q ) measure zero.
Proof  First, assume A ( t ) is singular with ( » Q ) measure zero. Since condition (i) holds we have: Singularity with measure zero implies A ( t ) is invertible; hence we may solve for unique (up to » Q ) ³ _{ i } ( t )s ; i = 1, , n ,as: Conversely, define & pound ; as the set on which A ( t ) is singular, that is { t ˆˆ [0, S ] : A ( t ) is singular}. Assume that has ( » Q )( ) > 0. Then proof is by contradiction. Hence, having assumed A ( t ) is singular, we wish to show that the functions satisfying (i)(iv) are not unique. Firstly, since (i)(iv) are assumed to hold, we have a vector of functions ( ³ _{ 1 } ( t ), , ³ _{ n } ( t )) satisfying these conditions. Part 1 We wish to show that there exists a bounded, adapted and measurable vector of functions ( _{ 1 } ( t ), , _{ n } ( t )) which is nonzero on and satisfies: and where g ( t ), defined as: is bounded a.e. on Q . Let _{ i } = {( t , ): A ( t ) has rank i }. _{ i } has the following properties:
Fix ² > 0. On each _{ i } set ^{ ² } _{ i } ( t ), i = 1, , n , to be a solution to ^{ [14] } : such that ^{ ² } _{ i } ( t ) is bounded by min { ² , 1/ ³ _{ i } ( t ) i = 1, , n }. Also, let ^{ ² } _{ i } ( t ) be zero on ^{ c } ; i = 1, , n . By construction, ^{ ² } _{ i } ( t ) are adapted, measurable and bounded by ² . Also: Set ± = inf { j ˆˆ {1, 2, 3, } :(½) ^{ 2 j } S < 1} and define inductively the following stopping times: We need to show that the claim Q (lim _{ j ’ˆ } _{ j } = S ) = 1 is true. First consider: and hence [ Q ( _{ j } < S F _{ j ˆ’ 1 } ) = Q ( _{ j } < S ) < (½) ^{ 2 j } . Now consider ^{ [15] } : Hence: and we have proved the claim. Set By this construction of _{ i } ( t ) we know it is bounded, adapted, measurable and satisfies: Also for all t ˆˆ [0, S ] we have: and so is bounded a.e. » Q . Part 1 is complete. Part 2 Now to complete the proof, we wish to show that ( ³ _{ 1 } ( t )+ _{ 1 } ( t ), , ³ _{ n } ( t ) + _{ n } ( t )) satisfies (i)(iv). Consider condition (i). We need to show that: Since ( ³ _{ 1 } ( t ), , ³ _{ n } ( t ) satisfies (i) we have: and by construction above Hence condition (i) is satisfied. To satisfy condition (ii) we require Expanding the integration, we have: Since ³ _{ i } ( v ) satisfies condition (ii) and from Part 1 we know is bounded, we conclude ( ³ _{ i } ( t ) + _{ i } ( t )), i = 1, , n , satisfy condition (ii). Condition (iii) requires: To show that this condition holds, follow the proof of Lemma 2.1. Define: and we need to show that { M ^{ m } ( S )} ^{ ˆ } _{ m =1 } is uniformly integrable. We have From Part 1 we know that is bounded by some value, say K > 0. Hence: and since ³ _{ i } ( t ) satisfies condition (iii), the righthand side is uniformly integrable and hence it may be shown that M ^{ m } ( S ) is uniformly integrable. Finally to show that condition (iv) is satisfied, we must show: where ( v, y ) = a _{ i } ( v, y ) + ³ _{ i } ( v ) + _{ i } ( v ). Again, following the proof of Lemma 2.1 we define: and the condition holds if { M ^{ m } ( S )} ^{ ˆ } _{ m =1 } is uniformly integrable. M ^{ m } ( S ) may be decomposed as: By choice of _{ i } ( v ) in Part 1 we have and is bounded by some value, say K > 0. Therefore we may write: and since ³ _{ i } ( t ) satisfies condition (iv), the righthand side is uniformly integrable and hence it may be shown that M ^{ m } ( S ) is uniformly integrable. 
Hence, by the proofs of Lemma 2.1 and Lemma 2.2 we have proved Proposition 2.
Conditions 15 impose restrictions on the market prices of risk, ³ _{ i } ( t ; S _{ 1 } , S _{ n } ), i = 1, , n , which results in restrictions on the drifts of the forward rate processes { ± (·, S _{ 1 } ), , ± (·, S _{ n } )}. These restrictions are required to guarantee the existence of the unique equivalent martingale probability measure for relative bond prices { Z ( t, S _{ 1 } ), , Z ( t, S _{ n } )}, 0 < S _{ 1 } < S _{ 2 } < < S _{ n } .
Let us now determine the dynamics of the forward rate and bond price under this equivalent martingale probability measure. In (11.23) the Brownian motions with respect to the equivalent martingale measure are defined as:
Substituting into (11.4), the dynamics of f ( t, T ) under the equivalent martingale measure are:
To determine the bond price process under the equivalent martingale measure, substitute (11.25) into (11.13) and make use of the market price of risk equation (11.20) to give:
Also from (11.12), the logarithm bond price process, we have:
Similarly, the relative bond price under the equivalent martingale measure may be determined from (11.16) as:
Although these processes evolve in a riskneutral economy, the forward rate process (11.26) (and since r ( t ) = f ( t, t ), also the short term interest rate process) displays explicit dependence on the market prices of risk, ³ _{ i } ( v ; S _{ 1 } , , S _{ n } ), i = 1, , n . Hence, to price any security depending on either the short or forward interest rate, the market prices of risk must be known.
^{ [9] } Equivalence of two probability measures, Q and implies Q ( A ) = 0 if and only if ( A ) =0, A ˆˆ F , that is, the probability measures have the same null sets [ 24 ].
^{ [10] } This is equivalent to finding an equivalent probability measure such that the relative bond price process (11.14) has no drift term, i.e. may be expressed as:
^{ [11] } [·] is the expectation taken with respect to some probability measure P .
^{ [12] } The two formulae are equivalent up to the former's dependence on a specific choice of bond maturities. However, later in the analysis this dependence is eliminated.
^{ [13] } A local martingale may be defined [ 41 , p. 462] or [ 30 , Definition 1.7] as follows: a stochastic process X =( X ( t )) _{ t } is said to be a local martingale on ( , F,Q ) if there exists an increasing sequence _{ n } of stopping times such that _{ n } tends to T a.s., and for every n the process X ^{ n } ( t ), given by the formula X ^{ n } ( t ) = X ( t ˆ§ _{ n } ), is a martingale.
^{ [14] } Here we iteratively build vector ^{ ² } ( t ). That is for each _{ i } we determine element ^{ ² } _{ i } ( t ), until the entire vector has been determined.
^{ [15] } This result is by Fatou's Lemma, e.g. see [ 41 ].