The Asymptotic Theory of Transaction Costs

Similar documents
No-Arbitrage Criteria for Financial Markets with Transaction Costs and Incomplete Information

Efficient portfolios in financial markets with proportional transaction costs

Calculating the set of superhedging portfolios in markets with transactions costs by methods of vector optimization

A Simple Computational Approach to the Fundamental Theorem of Asset Pricing

UTILITY OPTIMIZATION IN A FINITE SCENARIO SETTING

The main purpose of this chapter is to prove the rst and second fundamental theorem of asset pricing in a so called nite market model.

Optimal investment and contingent claim valuation in illiquid markets

The Asymptotic Theory of Transaction Costs

Discrete-Time Market Models

THE ASYMPTOTIC ELASTICITY OF UTILITY FUNCTIONS AND OPTIMAL INVESTMENT IN INCOMPLETE MARKETS 1

Elimination of Arbitrage States in Asymmetric Information Models

On the dual problem of utility maximization

EXTENSIONS OF CONVEX FUNCTIONALS ON CONVEX CONES

Generalized Hypothesis Testing and Maximizing the Success Probability in Financial Markets

(6, 4) Is there arbitrage in this market? If so, find all arbitrages. If not, find all pricing kernels.

No Arbitrage: On the Work of David Kreps

Duality and Utility Maximization

DETECTION OF FXM ARBITRAGE AND ITS SENSITIVITY

Lecture 9 Monotone VIs/CPs Properties of cones and some existence results. October 6, 2008

GENERALIZED CONVEXITY AND OPTIMALITY CONDITIONS IN SCALAR AND VECTOR OPTIMIZATION

QUANTITATIVE FINANCE RESEARCH CENTRE

Super-replication and utility maximization in large financial markets

Handout 4: Some Applications of Linear Programming

Question 1. The correct answers are: (a) (2) (b) (1) (c) (2) (d) (3) (e) (2) (f) (1) (g) (2) (h) (1)

Set-Valued Risk Measures and Bellman s Principle

Conjugate duality in stochastic optimization

Necessary Conditions for the Existence of Utility Maximizing Strategies under Transaction Costs

Course Handouts: Pages 1-20 ASSET PRICE BUBBLES AND SPECULATION. Jan Werner

The fundamental theorem of linear programming

Summer School: Semidefinite Optimization

Multivariate Utility Maximization with Proportional Transaction Costs

On Supremal and Maximal Sets with Respect to Random Partial Orders

5 Measure theory II. (or. lim. Prove the proposition. 5. For fixed F A and φ M define the restriction of φ on F by writing.

arxiv: v6 [q-fin.pm] 25 Jul 2016

Utility-based proof for the existence of strictly consistent price processes under proportional transaction costs

Notes 1 : Measure-theoretic foundations I

Sensitivity analysis of the expected utility maximization problem with respect to model perturbations

Lecture Note 18: Duality

Minimal Sufficient Conditions for a Primal Optimizer in Nonsmooth Utility Maximization

Lecture 1: Entropy, convexity, and matrix scaling CSE 599S: Entropy optimality, Winter 2016 Instructor: James R. Lee Last updated: January 24, 2016

Order book resilience, price manipulation, and the positive portfolio problem

10. Smooth Varieties. 82 Andreas Gathmann

Shadow prices for continuous processes

Finite-Dimensional Cones 1

Chapter 1. Preliminaries

Christoph Czichowsky, Walter Schachermayer and Junjian Yang Shadow prices for continuous processes

arxiv: v1 [math.co] 25 Jun 2014

2 FREDDY DELBAEN AND WALTER SCHACHERMAYER Mathematically a buy-and-hold strategy is described as an integrand of the form H = f 1 ]T1 T 2 ], where T 1

Jónsson posets and unary Jónsson algebras

Elements of Stochastic Analysis with application to Finance (52579) Pavel Chigansky

SEPARABLE TERM STRUCTURES AND THE MAXIMAL DEGREE PROBLEM. 1. Introduction This paper discusses arbitrage-free separable term structure (STS) models

Normal Fans of Polyhedral Convex Sets

Institute of Statistics and Decision Support Systems, University of Vienna Brünnerstrasse 72, A-1210 Wien, Austria

Birgit Rudloff Operations Research and Financial Engineering, Princeton University

Calculus in Gauss Space

Portfolio Optimization in discrete time

Data Abundance and Asset Price Informativeness. On-Line Appendix

arxiv: v1 [math.pr] 24 Sep 2018

OPTIONAL DECOMPOSITION FOR CONTINUOUS SEMIMARTINGALES UNDER ARBITRARY FILTRATIONS. Introduction

CS 6820 Fall 2014 Lectures, October 3-20, 2014

An essay on the general theory of stochastic processes

Topological properties

CHAPTER 2: CONVEX SETS AND CONCAVE FUNCTIONS. W. Erwin Diewert January 31, 2008.

Super-replication with proportional transaction cost under model uncertainty

Supermartingales as Radon-Nikodym Densities and Related Measure Extensions

A Discrete Duality Between Nonmonotonic Consequence Relations and Convex Geometries

Dynamic Risk Measures and Nonlinear Expectations with Markov Chain noise

Operations Research Letters. On a time consistency concept in risk averse multistage stochastic programming

2 Lecture Span, Basis and Dimensions

Shadow prices for continuous processes

We suppose that for each "small market" there exists a probability measure Q n on F n that is equivalent to the original measure P n, suchthats n is a

Trajectorial Martingales, Null Sets, Convergence and Integration

Risk-Minimality and Orthogonality of Martingales

March 16, Abstract. We study the problem of portfolio optimization under the \drawdown constraint" that the

Mathematics for Economics and Finance

Convex duality in optimal investment and contingent claim valuation in illiquid markets

Metric Spaces Lecture 17

Separation in General Normed Vector Spaces 1

Lecture 7 Monotonicity. September 21, 2008

Game Theory and Rationality

11 Annihilators. Suppose that R, S, and T are rings, that R P S, S Q T, and R U T are bimodules, and finally, that

The Canonical Model Space for Law-invariant Convex Risk Measures is L 1

arxiv: v1 [math.fa] 14 Jul 2018

Essential Supremum and Essential Maximum with Respect to Random Preference Relations

BRAID GROUPS ALLEN YUAN. 1. Introduction. groups. Furthermore, the study of these braid groups is also both important to mathematics

On the optimal portfolio for the exponential utility maximization: remarks to the six-author paper

II. Analysis of Linear Programming Solutions

arxiv:math/ v1 [math.gm] 21 Jan 2005

arxiv: v2 [q-fin.mf] 10 May 2018

Measure Theoretic Probability. P.J.C. Spreij

Solving Dual Problems

Lectures for the Course on Foundations of Mathematical Finance

SIMPLICIAL COMPLEXES WITH LATTICE STRUCTURES GEORGE M. BERGMAN

8. Prime Factorization and Primary Decompositions

Part III. 10 Topological Space Basics. Topological Spaces

14 Lecture 14: Basic generallities on adic spaces

Financial Asset Price Bubbles under Model Uncertainty

arxiv: v2 [math.pr] 12 May 2013

DEPARTMENT OF ECONOMICS DISCUSSION PAPER SERIES

CONSISTENT PRICE SYSTEMS AND FACE-LIFTING PRICING UNDER TRANSACTION COSTS

Transcription:

The Asymptotic Theory of Transaction Costs Lecture Notes by Walter Schachermayer Nachdiplom-Vorlesung, ETH Zürich, WS 15/16 1 Models on Finite Probability Spaces In this section we consider a stock price process S = (S t ) T t= in finite, discrete time, based on and adapted to a finite filtered probability space (Ω, F, (F t ) T t=, P), where F = F T ). Similarly as in the introductory section 2 of [21] we want to develop the basic ideas of the duality theory in this technically easy setting. The extra ingredient will be the role of transaction costs. To avoid trivialities we assume P(ω) >, for all ω Ω. To keep things simple we assume that there is only one stock. It takes strictly positive values, i.e., S = (S t ) T t= is an R + -valued process. In addition, there is a bond, denoted by B = (B t ) T t=; by choosing B as numéraire we may assume that B t 1. Next we introduce transaction costs λ : that is, the process ((1 λ)s t, S t ) T t= models the bid and ask price of the stock S respectively. Of course, we assume λ < 1 for obvious economic reasons. We have chosen a very simple setting here. For a much more general framework we refer, e.g., to [41], [42], [43], [46] and [68]. These authors investigate the setting given by finitely many stocks S 1,..., S n, where the prices (π ij ) 1 i,j n of exchanging stock j into stock i are general adapted processes. A good economic interpretation for this situation is the case of n currencies where the bid and ask prices π i,j and π j,i depend on the pair (i, j) of currencies. Here we do not strive for this generality. We do this on the one hand for didactic reasons to keep things as non-technical as possible. On the other hand we shall mainly be interested in the asymptotic theory for λ, for which our present simple setting is more natural. 1

Definition 1.1. For given S = (S t ) T t= and λ < 1, we associate the process of solvency cones K t = { (ϕ t, ϕ 1 t ) L (Ω, F t, P; R 2 ) : ϕ t max( ϕ 1 t S t, ϕ 1 t (1 λ)s t } (1) ϕ 1 ϕ 1 = ϕ S t K t ϕ K t ϕ 1 = ϕ (1 λ)s t Figure 1: The solvency cone The interpretation is that an economic agent holding ϕ t units of bond, and ϕ 1 t units of stock is solvent for a given stock price S t if, after liquidating the position in stocks, the resulting position in bonds is non-negative. Liquidating the stock means selling ϕ 1 t stocks (at price (1 λ)s t ) if ϕ 1 t > and buying ϕ 1 t stocks (at price S t ) if ϕ 1 t <. Definition 1.2. For given S = (S t ) T t= and λ < 1, an adapted process (ϕ t, ϕ 1 t ) T t= 1 starting at (ϕ 1, ϕ 1 1) = (, ) is called self-financing if (ϕ t ϕ t 1, ϕ 1 t ϕ 1 t 1) K t, t =,..., T. (2) The relation (2) is understood to hold P-a.s., which in the present setting simply means: for each ω Ω. To motivate this definition note that the change at time t of positions in the portfolio (ϕ t ϕ t 1, ϕ 1 t ϕ 1 t 1) can be carried out for the bid-ask prices ( (1 λ)st, S t ) iff (ϕ t ϕ t 1, ϕ 1 t ϕ 1 t 1) K t. 2

For (x 1, x 2 ) R 2, we call (ϕ t, ϕ 1 t ) T t= 1 self-financing and starting at (x 1, x 2 ) if (ϕ t x 1, ϕ 1 t x 2 ) T t= 1 is self-financing and starting at (, ). We also note that it is natural in the context of transaction costs to allow for T trades (i.e. exchanges of bonds against stocks) in the T -period model (S t ) T t=, which leads to the initial condition in terms of (ϕ 1, ϕ 1 1). Definition 1.3. The process S = (S t ) T t= admits for arbitrage under transaction costs λ < 1 if there is a self-financing trading strategy (ϕ t, ϕ 1 t ) T t= 1, starting at ϕ 1 = ϕ 1 1 =, and such that and (ϕ T, ϕ 1 T ) (, ), P-a.s. P [ (ϕ T, ϕ 1 T ) > (, ) ] >. We say that S satisfies the no arbitrage condition (NA λ ) if it does not allow for an arbitrage under transaction costs λ < 1. We introduce the following notation. For fixed S and λ >, denote by A λ the set of R 2 -valued F-measurable random variables (ϕ, ϕ 1 ), such that there exists a self-financing trading strategy (ϕ t, ϕ 1 t ) T t= 1 starting at (ϕ 1, ϕ 1 1) = (, ), and such that (ϕ, ϕ 1 ) (ϕ T, ϕ1 T ). Proposition 1.4. Suppose that S satisfies (NA λ ), for fixed λ < 1. Then A λ is a closed polyhedral cone in L (Ω, F, P; R 2 ), containing L (Ω, F, P; R 2 ) and such that A λ L (Ω, F, P; R 2 +) = {}. Proof: Fix t T and an atom F F t. Recall that F is an atom of the finite sigma-algebra F t if E F t, E F implies that either E = F or E =. Define the ask and bid elements a F and b F in L (Ω, F, P; R 2 ) as a F = ( S t F, 1 ) 1 F, b F = ( (1 λ)s t F, 1 ) 1 F. (3) Note that S t F is a well-defined positive number, as S t is F t -measurable and F an atom of F t. The elements a F and b F are in A λ. They correspond to the trading strategy (ϕ s, ϕ 1 s) T s= 1 such that (ϕ s, ϕ 1 s) = (, ), for 1 s < t, and (ϕ s, ϕ 1 s) equals a F (resp. b F ), for t s T. The interpretation is that an agent does nothing until time t. Then, conditionally on the event F F t, she buys (resp. sells) one unit of stock and holds it until time T. Note that an element (ϕ, ϕ 1 ) in L (Ω, F, P; R 2 ) is in A λ iff there are non-negative numbers µ F and ν F, where F runs through the atoms of F t, and t =,..., T, such that (ϕ, ϕ 1 ) F (µ F a F + ν F b F ). 3

In other words, the elements of the form (3), together with the vectors ( 1, )1 ω and (, 1)1 ω, where ω runs through Ω, generate the cone A λ. It follows that A λ is a closed polyhedral cone (see Appendix A). The inclusion A λ L (Ω, F, P; R 2 ) is obvious, and (NA λ ) is tantamount to the assertion A λ L (Ω, F, P; R 2 +) = {}. Definition 1.5. An element (ϕ, ϕ 1 ) A λ is called maximal if, for ((ϕ ), (ϕ 1 ) ) A λ satisfying ((ϕ ), (ϕ 1 ) ) (ϕ, ϕ 1 ) a.s., we have ((ϕ ), (ϕ 1 ) ) = (ϕ, ϕ 1 ) a.s. Definition 1.6. Fix the process S = (S t ) T t= and transaction costs λ < 1. A consistent price system is a pair ( S, Q), such that Q is a probability measure on Ω equivalent to P, and S = ( S t ) T t= is a martingale under Q taking its values in the bid-ask spread [(1 λ)s, S], i.e. (1 λ)s t S t S t, P-a.s. (4) We denote by S λ the set of consistent price systems. Remark 1.7. For λ = we have S = S, so that we find the classical equivalent martingale measures Q M e. We shall see that the set of real numbers E Q [ϕ T + ϕ1 T S T ], where ( S, Q) ranges in S λ, yields precisely the arbitrage-free prices (in terms of bonds) for the contingent claim (ϕ T, ϕ1 T ) L (R 2 ). Theorem 1.8. (Fundamental Theorem of Asset Pricing): Fixing the process S = (S t ) T t= and transaction costs λ < 1, the following are equivalent: (i) The no arbitrage condition (NA λ ) is satisfied. (ii) There is a consistent price system ( S, Q) S λ. (iii) There is an R 2 -valued P-martingale (Z t ) T t= = (, 1 ) T t= such that >, 1 >, and Z 1 t Z t [(1 λ)s t, S t ], t =,..., T. (5) Remark 1.9. The basic idea of the above version of the Fundamental Theorem of Asset Pricing goes back to the paper [38] of Jouini and Kallal from 1995. The present version dealing with finite probability space Ω is due to Kabanov and Stricker [44]. In the case λ = condition (iii) allows for the following interpretation: in this case (5) means that Z 1 t = Z t S t. (6) Interpret ZT dq as a probability measure by letting := dp Z T, where we assume (without loss of generality) that Z = E P [ZT ] = 1. Condition (6) and the P-martingale property of Z 1 then is tantamount to the assertion that S is a Q-martingale. 4

Proof: (ii) (i) As usual in the context of the Fundamental Theorem of Asset Pricing, this is the easy implication, allowing for a rather obvious economic interpretation. Suppose that ( S, Q) is a consistent price system. Let us first give the intuition: as the process S is a martingale under Q, it is free of arbitrage (without transaction costs). Trading in S under transaction costs λ only allows for less favorable terms of trade than trading in S without transaction costs (see (4)). Hence we find that S under transaction costs λ satisfies (NA λ ) a fortiori. Here is the formalization of this economically obvious reasoning. Note that, for every self-financing trading strategy (ϕ t, ϕ 1 t ) T t= 1 starting at (ϕ 1, ϕ 1 1) = (, ) we have ϕ t ϕ t 1 min ( (ϕ 1 t ϕ 1 t 1)S t, (ϕ 1 t ϕ 1 t 1)(1 λ)s t ) (ϕ 1 t ϕ 1 t 1) S t, by (4), as (ϕ t ϕ t 1, ϕ 1 t ϕ 1 t 1) K t. Hence T (ϕ T ϕ 1) = (ϕ t ϕ t 1) t= = T (ϕ 1 t ϕ 1 t 1) S t t= T ϕ 1 t 1( S t S t 1 ) + ϕ 1 S 1 ϕ 1 S T T. t=1 Taking expectations under Q, and using that ϕ 1 = ϕ 1 1 =, we get ] E Q [ϕ T ] + E Q [ϕ 1 T S T ] E Q [ T t=1 ϕ 1 t 1( S t S t 1 ) =. (7) Now suppose that ϕ T and ϕ1 T, P-a.s., i.e. ϕ T (ω) and ϕ 1 T (ω), for all ω in the finite probability space Ω. Using the fact that Q is equivalent to P, i.e. Q(ω) > for all ω Ω, we conclude from (7) that ϕ T (ω) = and ϕ1 T (ω) S T (ω) =, for all ω Ω. Observing that S T is strictly positive by the assumption λ < 1, for each ω Ω, we also have ϕ 1 T (ω) = so that S satisfies (NAλ ). (i) (iii) Now suppose that S satisfies (NA λ ). By Proposition 1.4 we know that A λ is a closed convex cone in L (Ω, F, P; R 2 ) such that A λ L (Ω, F, P; R 2 +) = {}. 5

Claim: There is an element Z = (Z, Z 1 ) L 1 (Ω, F, P; R 2 ), verifying Z (ω) > and Z 1 (ω), for all ω Ω, and normalized by E[Z ] = 1, such that (ϕ T, ϕ 1 T ), (Z, Z 1 ) = E P [ϕ T Z + ϕ 1 T Z 1 ], for all (ϕ T, ϕ 1 T ) A λ. (8) Indeed, fix ω Ω, and consider the element (1 ω, ) L (Ω, F, P; R 2 ) which is not an element of A λ. ϕ L (R 2 +) (1 ω, ) closed, convex cone A λ ϕ 1 Hyperplane separating A λ from (1 ω, ) Figure 2: Regarding the proof of Thm 1.1 By Hahn-Banach and the fact that A λ is closed and convex (Prop. 1.4), we may find, for fixed ω Ω, an element Z ω L 1 (Ω, F, P; R 2 ) separating A λ from (1 ω, ). As A λ is a cone, we may find Z ω such that while (1 ω, ), (Z ω, Z 1 ω) >, Z ω A λ. The first inequality simply means that the element Z ω L 1 (Ω, F, P) takes a strictly positive value on ω, i.e. Z ω(ω) >. As A λ contains the negative orthant L (Ω, F, P; R 2 +), the second inequality implies that Z ω, Z 1 ω. 6

Doing this construction for each ω Ω and defining Z = ω Ω µ ω Z ω, where (µ ω ) ω Ω are arbitrary strictly positive scalars, we obtain an element Z L 1 (Ω, F, P; R 2 ) such that which is tantamount to (8), and Z A λ, (9) Z >, Z 1, proving the claim. We associate to Z the R 2 -valued martingale (Z t ) T t= by Z t = E[Z F t ], t =,..., T. We have to show that Z1 t takes its values in the bid-ask-spread [(1 λ)s t, S t ] of S t. Applying (9) to the element a F defined in (3), for an atom F F t, we obtain [ ] (Z t, 1 ), ( S t F, 1)1 F = E ( St F + 1 )1 F. In the last line we have used the F t -measurability of S t 1 F to conclude that E[( S t F + 1 )1 F ] = E[( S t F F + Z1 t F )1 F ]. As S t F, F, and F 1 are constants, we conclude that S t F Z t F + Z 1 t F, i.e. Z 1 t F Z t F S t F. As this inequality holds true for each t =,..., T and each atom F F t we have shown that 1 ], S t ] t =,..., T. Applying the above argument to the element b F in (3) instead of to a F we obtain 1 [(1 λ)s t, [, t =,..., T, (1) 7

which yields (5). Finally we obtain from (1), and the fact that λ < 1, that (Z 1 t ) T t= also takes strictly positive values. (iii) (ii) Defining the measure Q on F by dq dp = Z E[Z ] we obtain a probability measure equivalent to P. Define the process S = ( S t ) T t= by S t = Z1 t. By (5) the process S takes its values in the bid-ask-spread of S. To verify that S is a Q-martingale it suffices to note that this property is equivalent to SZ being a P-martingale. As Z 1 = SZ this is indeed the case. We denote by B λ L 1 (Ω, F, P; R 2 ) the polar of A λ (see Definition A.3 in the Appendix), i.e. B λ := (A λ ) = {Z = (Z, Z 1 ) : (ϕ, ϕ 1 ), (Z, Z 1 ) = E P [ ϕ Z + ϕ 1 Z 1], for all (ϕ, ϕ 1 ) A λ }. As A λ is a closed polyhedral cone in a finite-dimensional space, its polar B λ is so too (Proposition A.3). As A λ contains the negative orthant L (Ω, F, P; R 2 +) = {(ϕ T, ϕ1 T ) : ϕ T, ϕ1 T }, we have that Bλ is contained in the positive orthant L 1 (Ω, F, P; R 2 +). Corollary 1.1. Suppose that S satisfies (NA λ ) under transaction costs λ < 1. Let Z = (Z, Z 1 ) L 1 (Ω, F, P; R 2 ) and associate to Z the martingale Z t = E P [Z F t ], where t =,..., T. Then Z B λ iff Z and S t := Z1 t [(1 λ)s t, S t ] on { } and 1 = on { = }, for every t =,..., T. Dually, an element (ϕ, ϕ 1 ) L (Ω, F, P; R 2 ) is in A λ iff for every consistent price system ( S, Q) we have E Q [ϕ + ϕ 1 ST ]. (11) Proof: If Z = (Z, Z 1 ) is in B λ we have Z by the paragraph preceding the corollary. Repeating the argument in the proof of the Fundamental Theorem 1.8, conditionally on { }, we obtain that S t := Z1 t indeed takes values in the bid-ask interval [(1 λ)s t, S t ] on { } for t =,..., T. 8

As regards the set { = } fix an atom F t F t, with F t { = }. Observe again that ( S t Ft, 1)1 Ft A λ as in the preceding proof. As Z (A λ ) we get ( S t, 1)1 Ft, (, 1 ), which readily implies that 1 also vanishes on F t. Conversely, if Z = (Z, Z 1 ) satisfies Z and Z1 t the above caveat for the case = ), we have that [(1 λ)s t, S t ] (with 1 Ft ( S t, 1), (Z, Z 1 ), and 1 Ft ((1 λ)s t, 1), (Z, Z 1 ), for every atom F t F t. As the elements on the left hand side generate the cone A λ we conclude that Z B λ. Let us now pass to the dual point of view. By the bipolar theorem (see Proposition A.1 in the appendix) and the fact that A λ is closed and convex in L (Ω, F, P; R 2 ), we have (A λ ) = (B λ ) = A λ. Hence (ϕ T, ϕ1 T ) Aλ = (A λ ) iff for every Z = (Z, Z 1 ) B λ we have E P [Z ϕ T + Z 1 ϕ 1 T ]. (12) This is equivalent to (11) if we have that Z is strictly positive as in this case dq := dp Z /E P [Z ] and S t = E P [Z 1 F t ]/E P [Z F t ] well-defines a consistent price system. In the case when Z may also assume the value zero, a little extra care is needed to deduce (11) from (12). By assumption (NA λ ) and the Fundamental Theorem 1.8 we know that there is Z = ( Z, Z 1 ) B λ such that Z and Z 1 are strictly positive. Given an arbitrary Z = (Z, Z 1 ) B λ and µ ], 1] we have that the convex combination µ Z +(1 µ)z is in B λ and strictly positive. Hence we may deduce the validity of (12) from (11) for µ Z+(1 µ)z. Sending µ to zero we conclude that (ϕ T, ϕ1 T ) Aλ iff (11) is satisfied, for all consistent price systems ( S, Q). Corollary 1.11. (Superreplication Theorem): Fix the process S = (S t ) T t=, transaction costs λ < 1, and suppose that (NA λ ) is satisfied. Let (ϕ, ϕ 1 ) L (Ω, F, P; R 2 ) and (x, x 1 ) R 2 be given. The following are equivalent. (i) (ϕ, ϕ 1 ) = (ϕ T, ϕ1 T ) for some self-financing trading strategy (ϕ t, ϕ 1 t ) T t= starting at (ϕ 1, ϕ 1 1) = (x, x 1 ). 9

(ii) E Q [ϕ +ϕ 1 ST ] x +x 1 S, for every consistent price system ( S, Q) S λ. Proof: Condition (i) is equivalent to (ϕ x, ϕ 1 x 1 ) being in A λ. By Corollary 1.1 this is equivalent to the inequality [ E Q (ϕ x ) + (ϕ 1 x 1 ) S ] T, for every ( S, Q) S λ which in turn is tantamount to (ii). We now specialize the above result, considering only the case of trading strategies (ϕ t, ϕ 1 t ) T t= 1 starting at some (ϕ 1, ϕ 1 1) = (x, ), i.e. without initial holdings in stock. Similarly we require that at terminal time T the position in stock is liquidated, i.e., (ϕ T, ϕ1 T ) satisfies ϕ1 T =. We call C λ the cone of claims (in units of bonds), attainable from initial endowment (, ) : C λ = {ϕ L (Ω, F, P) : there is (ϕ T, ϕ 1 T ) A λ s.t. ϕ T ϕ, ϕ 1 T } (13) = A λ L (Ω, F, P; R 2 ). In the last line we denote by L (Ω, F, P; R 2 ) the subspace of L (Ω, F, P; R 2 ) formed by the elements (ϕ, ϕ 1 ) with ϕ 1 =. We may and shall identify L (Ω, F, P; R 2 ) with L (Ω, F, P). The present notation C λ corresponds, for λ =, to the notation of [21], where the cone of contingent claims attainable at prize (without transaction costs) is denoted by C. By (13) and Proposition 1.4 we conclude that C λ is a closed polyhedral cone. Using analogous notation as in [57], we denote by D λ the polar of C λ. By elementary linear algebra we obtain from (13) the representation D λ = {Y L 1 (Ω, F, P) : there is Z = (Z, Z 1 ) B λ with Y = Z }, (14) which is a polyhedral cone in L 1 +(Ω, F, P). We denote by M λ the probability measures in D λ, i.e. M λ = D λ {Y : Y 1 = E P [Y ] = 1}. The Superreplication Theorem 1.11 now specializes into a very familiar form, if we start with initial endowment (x, ) consisting only of bonds, and liquidate all positions in stock at terminal date T. 1

Corollary 1.12. (one-dimensional Superreplication Theorem): Fix the process S = (S t ) T t=, transaction costs λ < 1, and suppose that (NA λ ) is satisfied. Let ϕ L (Ω, F, P) and x R be given. The following are equivalent. (i) ϕ x is in C λ. (ii) E Q [ϕ ] x, for every Q M λ. Proof: Condition (i) is equivalent to (ϕ x, ) being in A λ. This in turn is equivalent to E Q [ϕ x], for every Q M λ, which is the same as (ii). Formally, the above corollary is in perfect analogy to the superreplication theorem in the frictionless case (see, e.g., ([21], Th. 2.4.2)). The reader may wonder whether in the context of this corollary there is any difference at all between the frictionless and the transaction cost case. In fact, there is a subtle difference: in the frictionless case the set M = M of martingale probability measures Q for the process S has the following remarkable concatenation property: let Q, Q M and associate the density process Y t = E[ dq F dp t], and Y t the concatenated process = E[ dq dp F t]. For a stopping time τ we define { Y t, for t τ, Y t = Y t for τ t T. Y τ Y τ (15) We then have that dq dp = Y T again defines a probability measure under which S is a martingale, as one easily checks. This concatenation property turns out to be crucial for several aspects of the frictionless theory. For λ > the sets M λ do not have this property any more. But apart from this drawback the sets M λ share the properties of M of being a closed polyhedral subset of the simplex of probability measures on (Ω, F). Hence all the results pertaining only to the latter aspect, e.g. much of the duality theory, carry over from the frictionless to the transaction cost case, at least in the present setting of finite Ω. This applies in particular to the theory of utility maximization treated in the next section. We end this section by illustrating the above result for two very elementary examples. Example 1.13. (One Period Binomial Model; for notation see, e.g., [21, Ex.3.3.1]): In the traditional case, without transaction costs, we have which amounts to E Q [S 1 ] = S = us q u + ds q d = us q u + ds (1 q u ) (16) 1 = uq u + d(1 q u ), (17) 11

S 1 = us Q S δ d δ u S 1 = ds M λ or the well-known formulas for the risk less probability Q. q u = 1 d u d and q d = 1 q u = u 1 u d. (18) Introducing proportional transaction costs, we are looking for a consistent price system ( S, Q), where S is a Q-martingale and We therefore have: E Q [ S 1 ] = (1 λ)s t S t S t, t {, 1}. (19) S = q }{{} u S1 (u) + q d S1 (d) q u us + q d ds, (2) (1 λ)s and therefore q u u + q d d (1 λ). Using analogue inequalities in the other direction and the fact that q u = 1 q d we obtain by elementary calculations lower and upper bounds for q u : max ( ) 1 λ d 1 u d, q u min ( 1 d ) 1 λ u d, 1. (21) For λ, this interval shrinks to the point q u = 1 d which is the unique u d frictionless probability (18). For λ sufficiently close to 1, this interval equals [, 1], i.e. M λ consists of all convex, combinations of the Dirac measures δ d and δ u. In an intermediate range of λ, the set M λ is an interval containing the measure Q = q u δ u + q d δ d in its interior (see the above sketch). Example 1.14. (One period trinomial model): In this example (compare [21, Ex.3.3.4]) we consider three possible values for S 1 : apart from the possibilities S 1 = us and S 1 = ds, where again < d < 1 < u, we also allow for an intermediate case S 1 = ms. For notational simplicity we let m = 1. 12

S 1 = us δ d M λ S S 1 = ms S 1 = ds δ u δ m In the frictionless case we have, similar to the binomial model, for any martingale measure Q, that which amounts to E Q [S 1 ] = S = us q u + S q m + ds q d (22) 1 = uq u + dq d + (1 q u q d ), (23) which reduces one degree of freedom among all probabilities (q u, q m, q d ), for the cases of an up, medium or down movement of S. The corresponding set M of martingale measures for S in the set of convex combinations of the Dirac measures {δ u, δ m, δ q } therefore is determined by the triples (q u, q m, q d ) of non-negative numbers where q m 1 is arbitrary and where q u and q d are determined via q u + q d = 1 q m, (u 1)q u + (d 1)q d =. (24) This corresponds to the line through δ m in the above sketch. We now introduce transaction costs λ 1, and look for the set of consistent probability measures. In analogy to (2) we obtain the inequalities: E Q [ S 1 ] = (1 λ)s {}}{ S = q u S1 (u) + q m S1 (m) + q d S1 (d) (25) [q u us + q m S + q d ds ]. (26) Together with the other direction this gives us again a lower and upper bound: λ q u (u 1) + q d (d 1) λ 1 λ. (27) Hence M λ is given by the shaded area in the above sketch which is confined by two lines, parallel to the line given by (24). 13