The self financing strategy is the strategy that draws no money. For
continuous space process the self-financing requirement
reads
meaning "the change in the value of the portfolio
is driven by the price changes of the components". This is different from the
formal differentiation
rule
Hence, the self financing requirement may be stated as
meaning "when rearranging the portfolio allocations
the total portfolio value
has to remain unchange\d".
On a lattice the requirement
has spacial and time components as stated in the following definition.
Definition
(Arbitrage on lattice). A self-financing
strategy is called "arbitrage" iff the corresponding
is increasing at some time t.
Proposition
(Fundamental theorem of
finance on lattice). If there is a change of measure that turns all discounted
price processes into martingale then
1. The discounted price of any self financing strategy is a martingale under
such measure.
2. There is no arbitrage.
Conversely, if there is no arbitrage then there exists a change of measure
that turns all dicounted price processes into martingales.
Proof
Let us fix some
and
and simplify
notation:
We restate the nontrivial part of the theorem in the low level terms as
follows.
Suppose that for any trading strategy
s.t. | | (Self financing 1) |
the process
either fails to have both of the following properties or fails to have at
least one of them in the strict
form: | | (No arbitrage 1) |
Then one should be able to construct
such
that | | (Change of measure 1) |
 | | (Martingale 1) |
We start the construction of such
by examining the
difference
for
,
,
and
being small. We
have 
Hence,
Consequently, the no arbitrage condition ( No
arbitrage 1) transforms to the assertion that
fails to have
both | | (No arbitrage 2) |
for all
.
Note that this is only a property of
.
Other properties of the probability distribution do not enter the
non-arbitrage condition.
Our goal is the relationships ( Change of
measure 1) and ( Martingale 1). We substitute
( Change of measure 1) into
( Martingale 1)
:
Since
we need to find
with all positive components such
that
Equivalently,
Such property has to hold for all n. Geometrically, we need to prove that the
vectors
do not have components pointing in all coordinate directions. However, we
cannot simply say "there are not enough
to point in every direction, hence, we are done" because we don't just want
any direction
orthogonal to every
but rather we want the direction
with all positive components. Hence, existence of such
merits a proof.
By the formulas ( No arbitrage 2) and
( Markov generator properties) the
has to have both positive and negative components. Hence, the hyperplane
certainly has a direction with all positive components. We take a projection
of remaining
on
and note, that the projection of
on
is a linear combination of
and
and, by no-arbtrage ( No arbitrage 2), it has
positive an negative components. Hence, the hyperplane
has a direction with all positive components. We continue for
to obtain
with the desired properties.
|