arxiv: v1 [q-fin.gn] 30 May 2007

Similar documents
arxiv:math/ v1 [math.pr] 24 Mar 2005

Equivalence between Semimartingales and Itô Processes

On Utility Based Pricing of Contingent Claims in Incomplete Markets

Utility maximization in the large markets

based on two joint papers with Sara Biagini Scuola Normale Superiore di Pisa, Università degli Studi di Perugia

Introduction to Probability Theory and Stochastic Processes for Finance Lecture Notes

The Birth of Financial Bubbles

A model for a large investor trading at market indifference prices

On the Lower Arbitrage Bound of American Contingent Claims

LECTURE 4: BID AND ASK HEDGING

Hedging under Arbitrage

Tangent Lévy Models. Sergey Nadtochiy (joint work with René Carmona) Oxford-Man Institute of Quantitative Finance University of Oxford.

M5MF6. Advanced Methods in Derivatives Pricing

Arbitrage of the first kind and filtration enlargements in semimartingale financial models. Beatrice Acciaio

Changes of the filtration and the default event risk premium

In Discrete Time a Local Martingale is a Martingale under an Equivalent Probability Measure

Arbitrage Theory without a Reference Probability: challenges of the model independent approach

3 Arbitrage pricing theory in discrete time.

Pricing in markets modeled by general processes with independent increments

CONSISTENCY AMONG TRADING DESKS

Martingale Pricing Theory in Discrete-Time and Discrete-Space Models

4: SINGLE-PERIOD MARKET MODELS

MATH 5510 Mathematical Models of Financial Derivatives. Topic 1 Risk neutral pricing principles under single-period securities models

Portfolio Optimisation under Transaction Costs

American Foreign Exchange Options and some Continuity Estimates of the Optimal Exercise Boundary with respect to Volatility

3.2 No-arbitrage theory and risk neutral probability measure

arxiv: v1 [q-fin.pm] 13 Mar 2014

An overview of some financial models using BSDE with enlarged filtrations

Basic Concepts and Examples in Finance

Basic Arbitrage Theory KTH Tomas Björk

On Existence of Equilibria. Bayesian Allocation-Mechanisms

Functional vs Banach space stochastic calculus & strong-viscosity solutions to semilinear parabolic path-dependent PDEs.

Optimal trading strategies under arbitrage

Replication under Price Impact and Martingale Representation Property

SHORT-TERM RELATIVE ARBITRAGE IN VOLATILITY-STABILIZED MARKETS

Pricing and hedging in the presence of extraneous risks

Portfolio optimization problem with default risk

Strong bubbles and strict local martingales

13.3 A Stochastic Production Planning Model

A class of coherent risk measures based on one-sided moments

Forward Dynamic Utility

Viability, Arbitrage and Preferences

Constructive martingale representation using Functional Itô Calculus: a local martingale extension

SPDE and portfolio choice (joint work with M. Musiela) Princeton University. Thaleia Zariphopoulou The University of Texas at Austin

Illiquidity, Credit risk and Merton s model

An Explicit Example of a Shadow Price Process with Stochastic Investment Opportunity Set

Characterization of the Optimum

MATH3075/3975 FINANCIAL MATHEMATICS TUTORIAL PROBLEMS

Model-independent bounds for Asian options

Optimal Order Placement

Sensitivity of American Option Prices with Different Strikes, Maturities and Volatilities

Minimal Variance Hedging in Large Financial Markets: random fields approach

Deterministic Income under a Stochastic Interest Rate

Martingale invariance and utility maximization

A Note on the No Arbitrage Condition for International Financial Markets

Hedging under arbitrage

Exponential martingales and the UI martingale property

A note on the existence of unique equivalent martingale measures in a Markovian setting

Non replication of options

A No-Arbitrage Theorem for Uncertain Stock Model

ON UTILITY-BASED PRICING OF CONTINGENT CLAIMS IN INCOMPLETE MARKETS

Spot and forward dynamic utilities. and their associated pricing systems. Thaleia Zariphopoulou. UT, Austin

Math 6810 (Probability) Fall Lecture notes

MESURES DE RISQUE DYNAMIQUES DYNAMIC RISK MEASURES

CONVERGENCE OF OPTION REWARDS FOR MARKOV TYPE PRICE PROCESSES MODULATED BY STOCHASTIC INDICES

The value of foresight

1 Precautionary Savings: Prudence and Borrowing Constraints

Exponential utility maximization under partial information

The ruin probabilities of a multidimensional perturbed risk model

The Numéraire Portfolio and Arbitrage in Semimartingale Models of Financial Markets. Konstantinos Kardaras

1.1 Basic Financial Derivatives: Forward Contracts and Options

Martingales. by D. Cox December 2, 2009

ARBITRAGE POSSIBILITIES IN BESSEL PROCESSES AND THEIR RELATIONS TO LOCAL MARTINGALES.

Lecture 17. The model is parametrized by the time period, δt, and three fixed constant parameters, v, σ and the riskless rate r.

Macroeconomics and finance

Are the Azéma-Yor processes truly remarkable?

Model-independent bounds for Asian options

Research Article Portfolio Selection with Subsistence Consumption Constraints and CARA Utility

Continuous-time Stochastic Control and Optimization with Financial Applications

Lecture 3: Review of mathematical finance and derivative pricing models

Insider information and arbitrage profits via enlargements of filtrations

Forecast Horizons for Production Planning with Stochastic Demand

EMPIRICAL EVIDENCE ON ARBITRAGE BY CHANGING THE STOCK EXCHANGE

Mathematical Finance in discrete time

AMH4 - ADVANCED OPTION PRICING. Contents

Hedging of Contingent Claims under Incomplete Information

Pricing Dynamic Solvency Insurance and Investment Fund Protection

An Introduction to Point Processes. from a. Martingale Point of View

Multi-period mean variance asset allocation: Is it bad to win the lottery?

Are the Azéma-Yor processes truly remarkable?

INSURANCE VALUATION: A COMPUTABLE MULTI-PERIOD COST-OF-CAPITAL APPROACH

Standard Risk Aversion and Efficient Risk Sharing

Arbitrage Conditions for Electricity Markets with Production and Storage

Stochastic Partial Differential Equations and Portfolio Choice. Crete, May Thaleia Zariphopoulou

- Introduction to Mathematical Finance -

Robust Portfolio Choice and Indifference Valuation

A Portfolio Optimization Problem with Stochastic Interest Rate and a Defaultable Bond

OPTIMAL PORTFOLIO CONTROL WITH TRADING STRATEGIES OF FINITE

Non-semimartingales in finance

Optimal stopping problems for a Brownian motion with a disorder on a finite interval

Transcription:

UTILITY MAXIMIZATION WITH A STOCHASTIC CLOCK AND AN UNBOUNDED RANDOM ENDOWMENT arxiv:75.4487v1 [q-fin.gn] 3 May 27 GORDAN ŽITKOVIĆ Abstract. We introduce a linear space of finitely additive measures to treat the problem of optimal expected utility from consumption under a stochastic clock and an unbounded random endowment process. In this way we establish existence and uniqueness for a large class of utility maximization problems including the classical ones of terminal wealth or consumption, as well as the problems depending on a random time-horizon or multiple consumption instances. As an example we treat explicitly the problem of maximizing the logarithmic utility of a consumption stream, where the local time of an Ornstein-Uhlenbeck process acts as a stochastic clock. 1. Introduction When we speak of the expected utility, we usually have one of the following two cases in mind: expected utility of consumption on a finite interval, or the expected utility of terminal wealth at some future time point. These two cases correspond to the two of the historically most important problem formulations in the classical calculus of variations and optimal (stochastic) control - the Meyer formulation E[ T L(s,x(s))dt] max and the Lagrange formulation E[ψ(x(T))] max, where x( ) denotes the controlled state function or stochastic process, and L and ψ correspond to the optimization criteria. These formulations Date: November 12, 218. 2 Mathematics Subject Classification. Primary: 91B28 Secondary: 6G99 6H99. Key words and phrases. Utility maximization, convex duality, stochastic clock, finitely-additive measures. Acknowledgements. The author would like to thank the anonymous referees for a number of useful suggestions and improvements. I am also indebted to the probability seminar participants at Carnegie Mellon University, Brown University and Boston University. During the creation of this text, the author was partially supported by the National Science Foundation under grant DMS-139911. Any opinions, findings, and conclusions or recommendations expressed in this material are those of the author and not necessarily reflect the views of the National Science Foundation. 1

2 GORDAN ŽITKOVIĆ owe a great deal of popularity to their analytical tractability; they fit very well into the framework of the dynamic programming principle often used to tackle optimal control problems. Even though there is a number of problem formulations in the stochastic control literature that cannot be reduced to either a Meyer or a Lagrange form (see Section 2.7, pages 85-92 of Yong and Zhou (1999), for an overview of several other classes of stochastic control models), the expected utility theory in contemporary mathematical finance seems to lag behind in this respect. The introduction of convex duality into the treatment of utility maximization problems by Karatzas et al. (1987) and Karatzas et al. (1991), as well as its further development in Kramkov and Schachermayer (1999), Cvitanić et al. (21), Karatzas and Žitković (23) and Hugonnier and Kramkov (22) (to list butasmallsubsetoftheexistingliterature)givehopethatthislagcanbe overcome. This paper aims at formulating and solving a class of utility maximization problems of the stochastic clock - type in general incomplete semimartingale market with locally bounded stock prices and a possibly unbounded random endowment process. More specifically, our objective is to provide a mathematical framework for maximizing functionals of the form E[ T U(ω,t,c t)dκ t ], where U is a timeand uncertainty-dependent utility function (a utility random field), c t is the consumption density process, and κ t is an arbitrary non-decreasing right-continuous adapted process on [,T] with κ T = 1. Two particular choices κ t = t/t, and κ t = 1 {t=t} correspond to the familiar Meyer and Lagrange formulations of the utility maximization problem, but there are many other financially feasible ones. The problems of maximization of the expected utility at terminal time T, when T is a stopping time denoting the retirement time or a default time, form a class of examples. Another class consists of problems with the compound expected utility sampled at a sequence of stopping times. Furthermore, one could model random consumption prohibition by setting κ t = t 1 {R u C}du for some index process R t and a set C R. The notion of a stochastic clock has already been explicitly present in Goll and Kallsen (23) (where the phrase stochastic clock has been introduced), and implicitly in Žitković(1999), Žitković(22)andKaratzas and Žitković(23). Goll and Kallsen (23) treat the case of a logarithmic utility with no random endowment process, underadditionalassumptionsonexistenceoftheoptimaldualprocess. Karatzas and Žitković (23) establish existence and uniqueness of optimal consumption process in an incomplete semimartingale market in the presence of a bounded random endowment.

STOCHASTIC CLOCK 3 Their version of the stochastic clock is, however, relatively limited - it is required to be a deterministic process with no jumps on [,T). This assumption was crucial for their treatment of the problem using convex duality, and is related to the existence of a càdlàg version of the optimal dual process. Related to the notion of a stochastic clock is the work Blanchet-Scalliet et al. (23), which deals with the utility maximization on a random horizon not necessarily given by a stopping time. Also, recent work of Bouchard and Pham (23) treats the wealth-path dependent utility maximization. The authors use a duality relation between the wealth processes and a suitably chosen class of dual processes viewed as optional measures on the product space [,T] Ω. In the present paper we extend the existing literature in several ways. We prove existence and describe the structure of the optimal strategy under fairly unrestrictive assumptions on the financial market and the random endowment process. First, we allow for a general stochastic clock and a general utility satisfying the appropriate version of the requirement of reasonable elasticity of Kramkov and Schachermayer (1999). Second, we allow a random endowment process that is not necessarily bounded, we only require a finite upper-hedging price for the total endowment at time t = T. The case of a non-bounded random endowment in the utility maximization literature has been considered in Hugonnier and Kramkov (22), but only in the case of the utility of terminal wealth, and using techniques different from ours. The only restriction warranting discussion is the one we place on the jumps of the stock-price process S. Namely, we require S to be locally bounded. The reason for this requirement (not present in Karatzas and Žitković (23), but appearing in Hugonnier and Kramkov (22)) is that the random endowment process is not assumed to be bounded anymore, and the related notion of acceptability (developed only in the locally-bounded setting) has to be employed. Finally, we present an example in which we deal completely explicitly with a utility maximization problem in an Itô-process market model with constant coefficients where the stochastic clock is the local time at of an Ornstein-Uhlenbeck process. This example illustrates how the uncertainties in the future consumption prohibitions introduce the incompleteness into the market, and describes the optimal strategy to face them. In order to tackle the problem of utility maximization with the stochastic clock we cannot depend on existing techniques. We still use the convex-duality approach,

4 GORDAN ŽITKOVIĆ but in order to formulate and solve the dual problem we introduce and study the properties of two new Banach spaces - one of consumption densities and the other of finitely-additive measures. Also, we simplify the formulation of the standard components of the convex-duality treatment by defining the dual objective function directly as the convex conjugate of the primal objective function in the suitably coupled pair of Banach spaces. In this way, the mysterious regular parts of the finitely-additive counterparts of the martingale measures used in Cvitanić et al. (21) and Karatzas and Žitković (23) in the definition of the dual problem, appear in our treatment more naturally, in an a posteriori fashion. The paper is organized as follows. After this Introduction, Section 2. describes the model of the financial market and poses the utility maximization problem. In Section 3. we introduce the functional-analytic setup needed for the convex-duality treatment of our optimization problem. Section 4. introduces the convex conjugate of the utility functional and states the main result. An example admitting an explicit solution is treated in Section 5. Finally, Appendix A contains the proof of our main result. 2. The Financial Market and the Optimization Problem 2.1. The Stock-price Process. We consider a financial market on a finite horizon [, T], T (, ), consisting of a d-dimensional locally bounded semimartingale (S t ) t [,T] = (St,...,S 1 t) d t [,T]. The process (S t ) t [,T] is defined on a stochastic base (Ω,F, (F t ) t [,T],P) satisfying the usual conditions. For simplicity we also assume that F is P-trivial and that F = F T. Together with the stock-price process (S t ) t [,T], thereisanuméraireassets, andallvalueswillbedenominatedinterms of St. This amounts to the standard assumption that (St) t [,T] is equal to the constant process 1. 2.2. Admissible Portfolio Processes. A financial agent invests in the market according to an (F t ) t [,T] -predictable S-integrable d-dimensional portfolio process(h t ) t [,T]. The stochasticintegral((h S) t ) t [,T] is called the gains process and represents the net gains from trade for the agent who holds a portfolio with H k t shares of the asset k at time t, for k = 1,...,d. A portfolio process (H t ) t [,T] is called admissible if there exists a constant x R such that x+(h S) t for all t [,T], with probability 1. Furthermore, an admissible process (H) t [,T] is called maximal admissible if there exists no

STOCHASTIC CLOCK 5 other admissible process ( H) t [,T] such that (H S) T ( H S) T a.s., and P[(H S) T < ( H S) T ] >. The family of all processes (Xt H ) t [,T] of the from Xt H (H S) t, for an admissible H, will be denoted by X. The class of processes (Xt H) t [,T] X corresponding to maximal admissible portfolio processes (H) t [,T], will be denoted by X max. We complement the wide-spread notion of admissibility by the less-known notion of acceptability (introduced in Delbaen and Schachermayer (1997)) because admissibility is not adequate for dealing with non-bounded random endowment processes, as it has been shown in the context of utility maximization from terminal wealth in Hugonnier and Kramkov (22). A portfolio process (H) t [,T] is called acceptable if it admits a decomposition H = H + H with H + admissible and H maximal admissible. 2.3. Absence of Arbitrage. In order to rule out the arbitrage opportunities in our market, we state the following assumption Assumption 2.1. There exists a probability measure Q on F, equivalent to P, such that the process (S t ) t [,T] is a Q-local martingale. It has been shown in the celebrated paper of Delbaen and Schachermayer(1994), that the condition in Assumption 2.1 is equivalent to the notion of No Free Lunch With Vanishing Risk (NFLVR) - a concept closely related to, and only slightly stronger than the classical notion of absence of arbitrage. The condition NFLVR is therefore widely excepted as an operational proxy for the absence of arbitrage, and the Assumption 2.1 will be in force throughout the rest of the paper. The set of all measures Q P as in Assumption 2.1 will be denoted by M, and we will refer to the elements of M as the equivalent local martingale measures. 2.4. Endowment and Consumption. Apart from being allowed to invest in the market in an admissible way, the agent (a) is continuously getting funds from an exogenous source (random endowment), and (b) is allowed to consume parts of his wealth as the time progresses.

6 GORDAN ŽITKOVIĆ These capital in- and out-flows are modelled by non-decreasing processes (E t ) t [,T] and (C t ) t [,T] in V, where V denotes the set of all càdlàg (F t ) t [,T] -optional processes vanishing at whose paths are of finite variation. Here, and in the rest of the paper, we always identify P-indistinguishable processes without explicit mention. The linear space V can be given a structure of a vector lattice, by equipping it with a partial order, compatible with its linear structure: we declare F 1 F 2 if the process (F 2 t F 1 t ) t [,T] has non-decreasing paths. The cone of all non-decreasing processes in V is the positive cone of the vector lattice V and we denote it by V +. Also, the total variation process ( F t ) t [,T] V + is associated with each F V. The process introduced in (a) above and denoted by (E t ) t [,T] V + represents the random endowment, i.e. the value E t at time t [,T] stands for the cumulative amount of endowment received by the agent during the interval [, t]. The process (E t ) t [,T] is given exogenously, and we assume that the agent exerts no control over it. On the other hand, the amount and distribution of the consumption is decided by the agent, and we model the agent s consumption strategy by the consumption process (C t ) t [,T] V + ; the value C t is the cumulative amount spent on consumption throughout the interval [,t]. We will find it useful in the later sections to interpret the processes in V + as optional random measures on the Borel sets of [,T]. 2.5. Wealth Dynamics. Starting from the initial wealth of x R (which can be negative) and the endowment process (E t ) t [,T], our agent is free to choose an acceptableportfolioprocess(h t ) t [,T] and aconsumption process(c t ) t [,T] V +. These two processes play the role of the controls of the system. The resulting wealth process (X (x,h,c) t ) t [,T] is given by the wealth dynamics equation X (x,h,c) t x+(h S) t C t +E t, t [,T]. (2.1) A consumption process (C) t [,T] V + is said to be (x,e)-financeable if there exists an acceptable portfolio process (H) t [,T] such that X (x,h,c) T a.s. The class of all (x, E)-financeable consumption processes will be denoted by A(x, E), or simply by A(x), when there is no possibility of confusion. Remark 2.1. The introduction of the concept of financeability which suppresses the explicit mention of the portfolio process (H t ) t [,T], will be justified later when we

STOCHASTIC CLOCK 7 specify the objective (utility) function. It will depend only on the consumption and not on the particular portfolio process used to finance it, so we will find it useful to formulate a static version of the optimization problem in which the portfolio process (H t ) t [,T] will not appear at all. Remark 2.2. The notion of financeability imposes a weak solvency restriction on the amount of wealth the agent can consume: even though the total wealth process (X (x,h,c) t ) t [,T] is allowed to take strictly negative values before the time T, the agent must plan the consumption and investment in such a way to be able to pay all the debts by the end of the planning horizon with certainty. In other words, borrowing is permitted, but only against the future endowment so that there is no chance of default. With this interpretation it makes sense to allow the initial wealth xtotakenegativevalues-theinitialdebtmightverywellbecoveredfromthefuture endowment. Finally, we stress that our notion of financeability differs from the one introduced in El Karoui and Jeanblanc-Picqué (1998), where no borrowing is allowed. A treatment of a consumption problem with such a stringent financeability condition seems to require a set of techniques different from ours and we leave it for future research. 2.6. A Characterization of Financeable Consumption Processes. In the treatment of our utility-maximization problem in the main body of this paper, the so-called budget-constraint-characterization of the set A(x) will prove to be useful. The idea is to describe the financeable consumption processes in terms of a set of linear inequalities. We provide such a characterization it in the following proposition under the assumption that the random variable E T (denoting the total cumulative endowment over the horizon [, T]) admits an upper-hedging price, i.e. U(E T ) sup Q M E Q [E T ] <. Proposition 2.2. Suppose that the total endowment E T admits an upper-hedging price, i.e. U(E T ) <. Then, the process (C t ) t [,T] V + is (x,e)-financeable if and only if E Q [C T ] x+e Q [E T ], Q M. (2.2) Proof. only if : Assume first that (C t ) t [,T] A(x,E), and pick an acceptable portfolio process (H t ) t [,T] such that the wealth process (X (x,h,c) t ) t [,T] defined in (2.1) satisfies X (x,h,c) T a.s. By the definition of acceptability, there exists a

8 GORDAN ŽITKOVIĆ decomposition H = H + H into an admissible H + and a maximal admissible H portfolio processes. Let M be the set of all Q M such that ((H S) t ) t [,T] is a Q-uniformly integrable martingale. For any Q M the process ((H + S) t ) t [,T] is a Q-local martingale bounded from below, and therefore a Q-supermartingale. Hence, ((H S) t ) t [,T] is a Q-supermartingale for all Q M and E Q [X (x,h,c) T F ] = x+e Q [(H S) T F ]+E Q [E T C T F ] x+e Q [E T ] E Q [C T ], for all Q M. (2.3) The set M of all Q M such that H S is a Q-uniformly integrable martingale is convex and dense in M in the total variation norm(see Delbaen and Schachermayer (1997), Theorem 5.2). Therefore, the claim follows from (2.3) and the density of M in M. if : Let (C t ) t [,T] V + be a process satisfying E Q [C T ] x + E Q [E T ] for all Q M. Since E T admits an upper-hedging price, there exists a constant p > and a maximal admissible portfolioprocess (H E t ) t [,T] such that p+(h E S) T E T a.s. (see Lemma 5.13 in Delbaen and Schachermayer (1998)). Define the process F t esssup Q M E Q [C T E T +p+(h E S) T F t ], and note that F x + p. (F t ) t [,T] is a nonnegative Q-supermartingale for all Q M, permitting a càdlàg modification (see Kramkov (1996), Theorem 3.2), and thus the Optional Decomposition Theorem (see Kramkov (1996), Theorem 2.1) asserts the existence of an admissible portfolio processes (H F t ) t [,T] and a finite-variation process (G t ) t [,T] V + such that F t = F +(H F S) t G t, for all t [,T], a.s. If follows that x+p+(h F S) T C T E T +p+(h E S) T, so for the acceptable portfolio process (H t ) t [,T], defined by H t H F t H E t we have x + (H S) T C T +E T. 2.7. The Utility Functional and the Primal Problem. In order to define the objective function of our optimization problem, we need two principal ingredients: a utility random field and the stochastic clock process. The notion of a utility random field as defined below has appeared in Žitković (1999) and Karatzas and Žitković (23), and we use it because of its flexibility and good analytic properties - there are no continuity requirements in the temporal argument, and so it is well suited for our setting.

STOCHASTIC CLOCK 9 As for the notion of a stochastic clock, it models the the agent s (either endogenously or exogenously imposed) notion of passage of time with respect to which the consumption rate is being calculated and utility accumulated. Several examples often appearing in mathematical finance will be given below. Before that let us give the formal definition of the concepts involved: Definition 2.3. (1) A utility random field U : Ω [,T] (, ) R is an F B[,t] B(, ) - measurable function satisfying the following conditions. (a) For a fixed (ω,t) Ω [,T], the function x U(ω,t,x) is a utility function, i.e. a strictly concave, increasing C 1 -function satisfying the Inada conditions: lim U x(ω,t,x) = and lim U x(ω,t,x) =, a.s, x + x where U x (,, ) denotes the derivative with respect to the last argument. (b) There are continuous, strictly decreasing (non-random) functions K i : K (, ) (, ), i = 1,2 satisfying limsup 2(x) x K 1(x) <, and constants G < D R such that we have K 1 (x) U x (ω,t,x) K 2 (x), for all (ω,t,x) Ω [,T] (, ), and for all (t,ω) [,T] Ω. G U(ω,t,1) D, (c) For every optional process (c t ) t [,T], the process (U(ω,t,c t )) t [,T] is optional. (d) U is reasonably elastic, i.e. it satisfies AE[U] < 1, where AE[U] denotes the asymptotic elasticity of the random field U, defined by ( ) xu x (ω,t,x) AE[U] limsup. x U(ω,t,x) esssup (t,ω) [,T] Ω (2) The stochastic clock (κ t ) t [,T] is an arbitrary process in V +, such that κ T = 1, a.s. Remark 2.3. The requirement κ T = 1 in the definition above is a mere normalization. We impose it in order to be able to work with probability measures on the product space [,T] Ω (see Section 3.)

1 GORDAN ŽITKOVIĆ We are now in the position to define the notion of a utility functional which takes consumption processes as arguments and returns their expected utility. This expected utility (as defined below in 2.4) will depend only on the part of the consumption process (C t ) t [,T] admitting a density with respect to the stochastic measure dκ, so that the choice of a consumption plan with a nontrivial component singular to dκ would be clearly suboptimal. For that reason we restrict our attention only to consumption processes (C t ) t [,T] whose trajectories are absolutely continuous with respect to dκ, i.e. only processes of the form C t = t c tdκ t, for a nonnegative optional process (c t ) t [,T] which we will refer to as the consumption density of the consumption process (C t ) t [,T]. For simplicity, we shall assume that the random endowment admits a dκ-density (e t ) t [,T] in that E t = t e udκ u, for all t [,T], a.s. This assumption is clearly not necessary since the restrictions, which the size of the random endowment places on the choice of the consumption process, depend only on the value E T, as we have shown in Proposition 2.2. We impose it in order to simplify notation by having all ingredients defined as elements of the same Banach space (see Section 3.) The utility derived from a consumption process should therefore be viewed as a functionoftheconsumptiondensity(c t ) t [,T] andwedefinetheutility functional as a function on the set of optional processes: U(c) E T U(ω,t,c t )dκ t, for an optional process (c t ) t [,T]. (2.4) To deal with the possibility of ambiguities of the from(+ ) ( ) in the definition above, we adopt the following convention, standard in the utility-maximization literature: whenthe integrale T ( U(ω,t,ct ) ) dκt ofthenegativepart ( U(ω,t,c t ) ) ofthe integrandfrom (2.4) takes the value, we set U(c) =. In other words, our financial agent is not inclined towards the risks that defy classification, as far as the utility random field U is concerned. Finally, we add a mild technical integrability assumption on the utility functional U. It is easily seen to be satisfied by all our examples, and it is crucial for the simplicity of the proof of Proposition 4.1. Assumption2.4. Foranynonnegativeoptionalprocess(c t ) t [,T] suchthatu(c) > and any constant < δ < 1 we have U(δc) > 2.8. Examples of Utility Functionals. Example 2.5 (Utility Random Fields).

STOCHASTIC CLOCK 11 (1) Let U(x) be a utility function satisfying limsup x xu (x) U(x) < 1. Also, suppose there exist functions A : (, ) R and B : (, ) (, ) such that U(δx) > A(δ) +B(δ)U(x), for all δ > and x >. A family of examples of such utility functions is supplied by the HARA family x γ 1 γ, γ < 1,γ, U γ (x) = log(x) γ =, Then, the (deterministic) utility random field U(ω,t,x) = exp( βt)u γ (x) conforms to Definition 2.3, and satisfies Assumption 2.4. (2) If we take a finite number n of(f t ) t [,T] -stopping times τ 1,...,τ n, positive constants β 1,...,β n and n utility functions U 1 ( ),...,U n ( ) as in (1) and define U(ω,t,x) = n exp( β i t)u i (x)1 {t=τi(ω)}, i=1 the random field U can be easily redefined on the complement of the union of the graphs of stopping times τ i, i = 1,...,n to yield a utility random field satisfying Assumption 2.4. Example 2.6 (Stochastic clocks I). (1) Set κ t = t, for t T = 1. The utility functional takes the from of utility of consumption U(c) = E 1 U(ω,t,c t)dt. (2) Forκ t = fort < T, andκ T = 1, wearelookingat theutility of terminal wealth E[U(X T )], where U(x) = U(ω,T,x). Formally, we would get an expression of the form U(c) = E[U(ω,T,c T )], but clearly c T = X T in all but suboptimal cases. (3) A combination κ t = t/2 for t < T = 1, and κ T = 1, of the two cases above models the utility of consumption and terminal wealth U(c) = E[ 1 U(ω,t,c t)dt+u(x T )]. Example 2.7 (Stochastic clocks II). (1) Let τ be an a.s. finite (F t ) t [,T] -stopping time. We can think of τ as a random horizon such as the retirement time, or some other market-exit time. Then the stochastic clock κ t =, for t < τ, and κ t = 1 for t τ,

12 GORDAN ŽITKOVIĆ models theexpected utilitye[u(x τ )]of the wealth at a random time τ. The random endowment E τ has the interpretation of the retirement package. In the case in which the random horizon τ is unbounded, it will be enough to apply a deterministic time-change to fall back within the reach of our framework. Remark 2.4. As the anonymous referee points out, the case of a random horizon τ given by a mere random (as opposed to a stopping) time can be included in this framework by defining κ as the conditional distribution of τ, given the filtration (F t ) t [,T], as in Blanchet-Scalliet et al. (23). (2) The example in (1) can be extended to go well with the utility function from Example 2.5 (2). For an n-tuple of (F t ) t [,T] -stopping times, we set n 1 κ t = n 1 {t τ i}, so that U(c) = 1 n i=1 n E[exp( β i τ i )U i (c τi )]. i=1 (3) if we set κ t = 1 exp( βt) for t < τ and κ t = 1, for t τ, we can add consumption to the example in (1) U(c) = E[ τ exp( βt)u(ω,t,c t )dt+(1 exp( βτ))u(x τ )], modelling the utility from consumption up to- and the remaining wealth at the random time τ. The possibly inconvenient factor (1 exp( βτ)) in front of the terminal utility term can be dealt away with by absorbing it into the utility random field. Example 2.8 (Stochastic clocks, IV). (1) In this example we model the situation when the agent is allowed to withdraw the consumption funds only when a certain index process R t satisfies R t C, for some Borel set C R. In terms of the stochastic clock κ, we have κ t = min( t 1 {R t C}dt,1). The R t could take a role of a political indicator in an unstable economy where the individual s funds are under strict control of the government. Only in periods of political stability, i.e. when R t C, arethe withdrawal constraints relaxedand we areallowed to withdraw funds from the bank. It should be stressed here that the time

STOCHASTIC CLOCK 13 horizon in this example is not deterministic. It is given by the stopping time { inf t > : t } 1 {Ru C}du 1. (2) An approximation to the situation in (1) arises when we assume that the set C is of the form ( ε,ε) for a constant ε >. If ε is small enough the occupation time t 1 {R u C}du can be well approximated by the scaled local time 1 2ε lr t of the process R t at. Thus, we may set κ t = 1 l R t. An instance of such a local-time driven example will be treated explicitly in Section 5. 2.9. The Optimization Problem. Having introduced the notion of the utility functional, we turn to the statement of our central optimization problem and we callittheprimal Problem. Wedescribeitintermsofitsvaluefunctionu : R R as follows u(x) sup U(c), x R, (2.5) c A(x) where A(x) denotes the set of all dκ-densities of(x, E)-financeable consumption processes. Since we shall be working exclusively with consumption processes admitting a dκ-density, no ambiguities should arise from this slight abuse of notation. In order to have a non-trivial optimization problem, we impose the following standard assumption: Assumption 2.9. There exists a constant x > such that u(x) <. Remark 2.5. (1) The Assumption 2.9 is, of course, non-trivial, although quite common in the literature. In general, it has to be checked on a case-by-case basis. In the particular case, when the stock-price process is an Itô process on a Brownian filtration with bounded coefficients, the Assumption 2.9 is satisfied when there exist constants M > and λ < 1 such that U(t,x) M(1+x λ ), for all (t,x) [,T] (, ). For reference see Karatzas and Shreve (1998), p. 274, Remark 3.9. (2) Part (1b) of the Definition 2.3 of a utility random field implies that U(c) (, ) for any constant consumption process (c t ) t [,T], i.e. a process (c t ) t [,T] such that c t x for some constant x >. It follows that u(x) > for all x >.

14 GORDAN ŽITKOVIĆ 3. The Functional-Analytic Setup In this section we introduce several linear spaces of stochastic processes and finitely-additive measures. They will prove indispensable in the convex-duality treatment of the optimization problem defined in (2.5). 3.1. Some Families of Finitely-Additive Measures. Let O denote the σ- algebra of optional sets relative to the filtration (F t ) t [,T]. A measure Q defined on F T, and absolutely continuous to P induces a measure Q κ on O, if we set T Q κ [A] = E Q 1 A (t,ω)dκ t, for A O. (3.1) Fornotationalclarity,weshallalwaysidentifyoptionalstochasticprocesses(c t ) t [,T] and random variables c defined on the product space [,T] Ω measurable with respect to the optional σ-algebra O. Thus, the measure Q κ can be seen as acting on an optional processes by means of integration over [,T] Ω in the Lebesgue sense. In that spirit we introduce the following notation c,q c dq, (3.2) [,T] Ω for a measure Q on the optional σ-algebra O, and an optional process c whenever the defining integral exists. A useful representation of the action c,q κ of Q κ on an optional process (c t ) t [,T] is given in the following proposition. Proposition 3.1. Let Q be a measure on F T, absolutely continuous with respect to P. For a nonnegative optional process (c t ) t [,T] we have c,q κ = E T c t Y Q t dκ t, where (Y Q t ) t [,T] is the càdlàg version of the martingale (E[ dq dp F t]) t [,T]. Proof. Define a nondecreasing càdlàg process (C t ) t [,T], by C t t c udκ u. By the integration-by-parts formula we have Y Q τ C τ = τ Y Q t dc t+ τ C t dy Q t + t τ τ τ Y Q t C t = Y Q t dc t + C t dy Q t, for every stopping time τ T. By (Protter (199), Theorem III.17, page 17), the process ( t C u dy Q u ) t [,T] is a local martingale, so we can find an increasing sequence of stopping times (τ n ) n N, satisfying P[τ n < T], as n, such

STOCHASTIC CLOCK 15 that E τ n C t dy Q t =, for every n N. Taking expectations and letting n, Monotone Convergence Theorem implies that τn c,q κ = E Q [C T ] = E[Y Q T C T] = lim E n T = E c t Yt Q dκ t. T Yt Q dc t = E Yt Q dc t Remark 3.1. Note that the advantage of Proposition 3.1 over an invocation of the Radon-Nikodym theorem is in the fact that the version obtained by the Radon- Nikodym derivative is merely optional, and not necessarily càdlàg. We define M κ {Q κ : Q M}. The set M κ corresponds naturally to the set of all martingale measures in our setting, and considering measures on the product space [,T] Ω instead of the measures on F T is indispensable for utility maximization with stochastic clock. Most of the existing approaches to optimal consumption start with equivalent martingale measures on F T and relate them the to stochastic processes on (F t ) t [,T] through some process of regularization. In our setting, the generic structure of the stochastic clock (κ t ) t [,T] renders such a line of attack impossible. However, as it will turn out, M κ is too small for duality treatment of the utility maximization problem. We shall need to enlarge it so as to contain finitely-additive along with the countably additive measures. To make headway with this enlargement, we consider the set of all bounded finitely-additive measures Q on O, such that P κ [A] = implies Q[A] =, and we denote this set by ba(o,p κ ). It is well knownthatba(o,p κ ), suppliedwith thetotal-variationnorm, constitutesabanach space which is isometrically isomorphic to the topological dual of L (O,P κ ) (see Dunford and Schwartz(1988) or Bhaskara Rao and Bhaskara Rao(1983)). The action of an element Q ba(o,p κ ) on c L (O,P κ ) will be denoted by c,q - a notation that naturally supplements the one introduced in (3.2) On the Banach space ba(o,p κ ) there is a canonical partial ordering transferred from the pointwise order of L (O,P κ ), equipping it with the structure of a Banach lattice. The positive orthant of ba(o,p κ ) will be denoted by ba(o,p κ ) +. An element Q ba(o,p κ ) + is said to be purely finitely-additive or singular if there exist no nontrivial countably additive Q ba(o,p κ ) + such that Q [A] Q[A] for all A O. It is the content of the Yosida-Hewitt decomposition (see

16 GORDAN ŽITKOVIĆ Yosida and Hewitt (1952)) that each Q ba(o,p κ ) + can be uniquely decomposed as Q = Q r +Q s, with Q r,q s ba(o,p κ ) +, where Q r is a σ-additive measure, and Q s is purely finitely-additive. Having defined the ambient space ba(o,p κ ), we turn our attention to the definition of the set D κ which will serve as a building block in the advertised enlargement of the set M κ. Let (M κ ) be the polar of M κ in L (O,P κ ), and let D κ be the polar of (M κ ) (the bipolar of M κ ), i.e. (M κ ) {c L (O,P κ ) : c,q 1, for all Q M κ }. D κ {Q ba(o,p κ ) : c,q 1, for all c (M κ ) }, and we note immediately that D κ ba(o,p κ ) +, because (M κ ) contains the negative orthant L + (O,P κ) of L (O,P κ ). Finally, for y > we define M κ (y) {ξq : ξ [,y], Q M κ }, and D κ (y) {yq : Q D κ }. Observe that M κ (y) D κ (y) for each y. Even though M κ (y) will typically be a proper subset of D κ (y) for any y >, the following proposition shows that the difference is, in a sense, small. Proposition 3.2. For y >, M κ (y) is σ(ba(o,p κ ),L (O,P κ ))-dense in D κ (y). Proof. It is enough to provide a proof in the case y = 1. We start by showing that D κ (1) is contained in the σ(ba(o,p κ ),L (O,P κ )) - closure Cl(M κ ba(o,p κ ) + ) of the set M κ ba(o,p κ ) +, where M κ ba(o,p κ ) + {Q Q : Q M κ, Q ba(o,p κ ) + }. Suppose, to the contrary, that there exists Q D κ (1) \ Cl(M κ ba(o,p κ ) + ). By the Hahn-Banach theorem there will exist an element c L (O,P κ ), and constantsa < bsuchthat c,q band c,q a,forallq Cl(M κ ba(o,p κ ) + ). Since M κ ba(o,p κ ) + contains all negative elements of ba(o,p κ ), we conclude that c, P κ -a.s. and so, a. Furthermore, the positivity of b implies that P κ [c > ] >, since the probability measures in M κ are equivalent to P κ. Therefore, < a < b, and the random variable 1 a c belongs to (M κ ). It follows that c,q a, a contradiction with fact that c,q b. To finalize the proof we pick Q D κ (1) {Q D κ(1) : 1,Q = 1} and take a directed set A and a net ( Q α ) α A in M κ ba(o,p κ ) + such that Q α Q. Such a net exists thanks to the result of the first part of this proof. Each Q α can be

STOCHASTIC CLOCK 17 written as Q α = Q Mκ α Q + α with QMκ α M κ and Q + α ba(o,p κ) +, for all α A. Weak-* convergence of the net Q α implies that 1,Q + α and therefore Q + α in the norm- and weak-* topologies. Thus Q Mκ Q and we conclude that M κ is dense in D κ(1). It follows immediately that M κ (1) is dense in D κ (1). 3.2. The space V M κ. Let V M κ stand for the vector space of all optional random processes (c t ) t [,T] verifying c M <, where c M sup Q M κ c,q. It is quite clear that M defines a norm on V M κ. We establish completeness in the following proposition. Proposition 3.3. (V M κ, M) is a Banach space. Proof. To prove that V M κ is complete under M, we take a sequence (c n ) n N in V M κ such that n c n M <. Given a fixed, but arbitrary Q κ M κ, the inequality c M c, Q κ holds for every c V M κ and thus the series n=1 c n convergesin L 1 (O, Q κ ). We can, therefore, find an optional process c L 1 ( Q κ,o) such that c = lim n n k=1 c k, in L 1 ( Q κ,o) and Q κ -almost surely. For an arbitrary Q κ M κ we have: n c c k,q κ c k,q κ k=1 k=n+1 k=n+1 c k M. By taking the supremum overall Q κ M κ, it follows that c V M and k=1 c k = c in M. Remark 3.2. Anormoftheform M hasfirstappearedindelbaen and Schachermayer (1997), where the authors study the Banach-space properties of the space of workable contingent claims. At this point, we can introduce the third (and final) update of the notation of (3.2). Let V M κ+ denotes the set of nonnegative elements in VM κ. For c VM κ+ a constant y > and Q D κ (y), we define c,q sup{ c,q : c L (O,P κ ) +, c c P κ -a.s.}. (3.3) Proposition 3.2 implies that c,q y c M < for any Q D κ (y). We can therefore extend the mapping, to a pairing (a bilinear form) between the vector spaces V M κ and bam, where ba M is defined as the linear space spanned by D κ, i.e. ba M { Q ba(o,p κ ) : y >,Q +,Q D κ (y) such that Q = Q + Q }.

18 GORDAN ŽITKOVIĆ The linear space ba M plays the role of the ambient space in which the dual domain will be situated. It will replace the space ba appearing in Cvitanić et al. (21) and Karatzas and Žitković (23), and allow us to deal with unbounded random endowment and the stochastic clock. In this way the action,q defined in (3.3) identifies Q ba M with a linear functional on (V M, M ), and by the construction of the pairing,, the dual norm Q ba M sup c V M κ : c M 1 c,q of Q D κ (y) (seen as a linear functional on V M κ ) is at most equal to 2y. We can, therefore, identify ba M with a subspace of the topological dual of V M κ and D κ (y) with its bounded subset. Moreover, by the virtue of its definition as a polar set of (M κ ), D κ (y) is closed in ba M in the σ(ba M,V M κ proposition becomes is a direct consequence of Alaoglu s Theorem )-topology, so that the following Proposition 3.4. For every y >, D κ (y) is σ(ba M,V M κ )-compact. Finally, we state a version of the budget-constraint characterization of admissible consumption processes, rewritten to achieve a closer match with our newly introduced setup. It follows directly from Propositions 2.2 and 3.2. Proposition 3.5. For any y >, x R and a nonnegative optional process (c t ) t [,T], we have the following equivalence c A(x,E) y c,q xy + e,q for all Q D κ (y), where E t = t e udκ u. Moreover, to check whether c A(x,E), it is enough to show y c,q xy + e,q for all Q M κ (y) only. 4. The Dual Optimization Problem and the Main Result 4.1. The Convex Conjugate V and Related Functionals. We define a convex functional V : ba M (, ], by V(Q) sup c V M + ( ) U(c) c,q, (4.1) and call it the convex conjugate of V. The functional V will play the central role in the convex-duality treatment of our utility-maximization problem. Bystrictconcavityandcontinuousdifferentiabilityofthemappingx U(ω,t,x), there exists a unique random field I : Ω [,T] (, ) that solves the equation U x (ω,t,i(ω,t,y)) = y. Using the random field I, we introduce a functional

STOCHASTIC CLOCK 19 I, defined on and taking values in the set of strictly positive optional process, by I(Y) t (ω) = I(ω,t,Y t ). The functional I is called the inverse marginal utility functional. We note for the future use the well-known relationship U(ω,t,I(ω,t,y)) = V(ω,t,y)+yI(ω,t,y), (ω,t,y) Ω [,T] (, ), (4.2) where V is the convex conjugate of the utility random field U, defined by V(ω,t,y) sup x> [U(ω,t,x) xy], for (ω,t,y) Ω [,T] (, ). For a function f : X R with an arbitrary domain X, taking values in the extended set of real numbers R = [, ], we adopt the standard notation Dom(f) = {x X : f(x) (, )}. The following proposition represents the convex conjugate V in terms of the regular part of its argument, relating the definition (4.1) to the corresponding formulations in Cvitanić et al. (21) and Karatzas and Žitković (23). Proposition 4.1. The domain Dom(V) of the convex conjugate V of U satisfies Dom(V) ba M +, and Dom(V) + ba M + Dom(V). For Q Dom(V), we have V(Q) = V(Q r ), where Q r ba M + is the regular part of the finitely-additive measure Q. Moreover, there exists a non-negative optional process Y Q, such that V(Q) = E T V(t,Y Q t )dκ t. (4.3) When Q is countably-additive, the process (Y Q t ) t [,T] coincides with the synonymous martingale defined in Proposition 3.1. Proof. ForQ ba M +, thereexists anoptionalset Asuch that q Q[A] >. Fora constant ε >, we define a sequence (c n ) n N of optional processes by c n ε+n1 A. Let G being the constant from Definition 2.3 (1)(b). Then V(Q) U(c n ) c n,q E T U(ω,t,ε)dκ t ε+nq G ε+nq, yields V(Q) =, and so Dom(V) ba M +. To show that Dom(V) + bam + Dom(V) we only need to note that it follows directly from the monotonicity of V. For the second claim, let Q ba M + and let Sing(Q) denote the family of all optional sets A [,T] Ω such that Q s (A) =, where Q s denotes the singular part of the finitely-additive measure Q. For A Sing(Q), δ >, and an arbitrary c V M +, we define an optional process ĉ = ĉ (δ,a) by ĉ c1 A + δc1 A c. Excluding the trivial cases when U(c) = or U(c) = +, we assume U(c) R, so that

2 GORDAN ŽITKOVIĆ Assumption 2.4 implies that U(δc),U(ĉ) R, as well. Now U(c) c,q r U(ĉ)+ ĉ,q = E T ( U(t,ct ) U(t,δc t ) ) 1 A c dκ t (1 δ) c1 A c,q r +δ c,q s. (4.4) According to Bhaskara Rao and Bhaskara Rao (1983) (Theorem 1.3.2, p. 234), Sing(Q κ ) contains sets with the P κ -probability arbitrarily close to 1, so we can make the right-hand side of the expression in (4.4) arbitrarily small in absolute value, by a suitable choice of A Sing(Q) and δ. It follows immediately that V(Q r ) = sup c V M [U(c) c,q r ] sup c V M [U(c) c,q ] = V(Q), and the equality V(Q) = V(Q r ) follows from the monotonicity of V. NotefurtherthatQ r isacountably-additivemeasureontheσ-algebraofoptional sets, absolutelycontinuouswith respectto the measurep κ. It followsby theradon- Nikodym theorem that optional process (Y Q t ) t [,T] defined by T Y Q (t,ω) = dqr, satisfies c,q r = E c t Y Q t dκ t. (4.5) dp κ Let us combine now the representation (4.5) with the fact that V(Q) = V(Q r ). By the definition of the convex conjugate function V, V(Q) = V(Q r ) = sup (U(c) c,q r ) c V+ M = sup c V M + T ( E U(t,c(t)) c(t)y Q t ) T dκ t E V(t,Y Q t )dκ t The reverse inequality follows from the differentiability of the function V(t, ) by taking a bounded sequence in V M converging to yv(t,y) monotonically, in the supremum defining V(Q r ). Remark 4.1. The action of the functional I can be extended to the set of all Q ba M + satisfying Y Q t > P κ -a.e. by I(Q) t I(Y Q ) t, obtaining immediately I(Q) = I(Q r ). 4.2. The Dual Problem. The convex conjugate V will serve as the main ingredient in the convex-duality treatment of the Primal Problem. We start by introducing the Dual Problem, with the value function v: v(y) inf Q D κ(y) VE (Q), y [, ), where V E (Q) V(Q)+ e,q. (4.6)

STOCHASTIC CLOCK 21 For y < we set v(y) = +, and note that v() < precisely when the utility functional U is bounded from above. 4.3. The Main Result. Finally we state our central result in the following theorem. The proof will be given through a number of auxiliary results in Appendix A. Theorem 4.2. Let the financial market (S i t ) t [,T], i = 1,...,d be arbitrage-free as in Assumption 2.1, and let the random endowment process (E t ) t [,T] admit a density (e t ) t [,T] so that E t = t e udκ u, where (κ t ) t [,T] V + is a stochastic clock. Let U be a utility random field as defined in 2.3 and U the corresponding utility functional. If U satisfies Assumption 2.4 and the value function u satisfies Assumption 2.9, then (1) the concave value function u( ) is finite and strictly increasing on ( L(E), ), and u(x) = for x < L(E), where L(E) inf Q M E Q [E T ] denotes the lower hedging price of the contingent claim E T. (2) lim x ( L(E))+ u (x) = + and lim x u (x) =. (3) The dual value function v( ) is finitely valued and continuously differentiable on (, ) and v(y) = + for y <. (4) lim y + v (y) = and lim y v (y) = L(E). (5) For any y, there exists a solution to the Dual problem (4.6) - i.e. v(y) = V(ˆQ y )+ e, ˆQ y, for some ˆQ y D κ (y). (6) For x > L(E) the Primal Problem has a solution (ĉ x t) t [,T], unique dκa.e. (7) The unique solution (ĉ x t) t [,T] of the primal problem is of the form ĉ x t = I(ˆQ y ) t where ˆQ y is a solution of the dual problem corresponding to y > such that x = v (y). 4.4. A Closer Look at the Dual Domain. Given that the solution of the Primal problem can be expressed as a function of the process (Y Q t ) t [,T] from Proposition 4.1, it will be useful to have more information on its probabilistic structure. When Q M κ, Proposition 3.1 implies that Y Q is a nonnegative càdlàg martingale. In general, we can only establish the supermartingale property for a (large enough) subclass of (P κ -a.s.)-maximal processes in { Y Q : Q D(1) }. In the contrast with the case studied in Karatzas and Žitković (23), we cannot establish any strong trajectory regularity properties such as right-continuity, and will only have to satisfy ourselves with the weaker property of optional measurability.

22 GORDAN ŽITKOVIĆ Proposition 4.3. For Q D(1) there exist an optional process (F t ) t [,T], taking values in [,1], and Q D(1) such that (1) Y Q t = Y Q t F t, (2) The process (Y Q t ) t [,T] has a dκ-version which is an optional supermartingale, and (3) there exists a sequence of martingale measures {Q n } n N such that Y Qn Y Q, dκ-a.e. Proof. We start by observing that E[ T Y Q t c(t)dκ t ] c,q 1, for all c A(1,). In other words, Y Q is in the P κ -polar set of A(1,), in the terminology of Brannath and Schachermayer (1999). By characterization in Proposition 3.5, A(1,) can be written as the polar of M κ, and the Bipolar Theorem of Brannath and Schachermayer (1999) states that Y Q is an element of the smallest convex,solidand closed(in P κ -probability)setcontainingm κ. Therefore, thereexists a process (F t ) t [,T], taking values in [,1], and an optional process (Y t ) t [,T], (P κ -a.s.)-maximal in the bipolar of M κ, such that Y Q t = Y t F t. Moreover, the same theorem implies that there exists a sequence {Q (n) } n N in M, and a sequence {F (n) } n N of optional processes taking values in [,1], such that Yt Q(n) F (n) t Y t, P κ a.s. The sequence of positive processes Y Q(n) is bounded in L 1 (P κ ) and thus the theorem of Komlós(see Schwartz(1986)) asserts existence of a nonnegative optional process (Ỹt) t [,T], and a sequence of finite convex combinations of the elements of the sequence {Q (n) } n N (still denoted by {Q (n) } n N ) such that Y Q(n) t Ỹt P κ -a.s. It is now a simple consequence of Fatou s lemma that Ỹ is an element of the bipolar of M κ dominating Y t. Since Y t is maximal, we conclude that Ỹt = Y t P κ -a.s. The supermartingale property of (Y) t [,T] follows from Fatou s lemma applied to the sequence {(Y Q(n) t ) t [,T] } n N. We are left now with the task of producing Q D(1), such that Y t = Y Q t. In order to do that, take Q to be any cluster point of the sequence {Q (n) } n N in D(1) in the σ(ba M,V M κ )-topology. Existence of such a Q is guaranteed by Proposition 3.4. Finally, it is a consequence of (Cvitanić et al. (21). Lemma A.1, p. 16) that Y t = Y Q t -P κ -a.s.

STOCHASTIC CLOCK 23 5. An Example In order to illustrate the theory developed so far, in this section we present an example of a utility-maximization problem with a random clock given by the local time at of an Ornstein-Uhlenbeck process. 5.1. Description of the Market Model. Let (B t,w t ) t [, ) be two correlated Brownian motions defined on a probability space (Ω,F,P), and let (F t ) t [, ) be the filtration they generate, augmented by the P-null sets in order to satisfy the usual conditions. We assume that the correlation coefficient ρ ( 1,1) is fixed so that d[b,w] t = ρdt. The financial market will consist of one riskless asset S t (S t ) t [, ) which satisfies ds t = S t ( µdt+σdb t ), S = s, 1, and a risky asset where µ R is the stock appreciation rate and σ > is the volatility. Apart fromthe tradeableasset(s t ) t [, ), there isan Orstein-Uhlenbeckprocess (R t ) t [, ) defined as the unique strong solution of dr t = αr t dt+ dw t, R =. We call (R t ) t [, ) the index process, and interpret it as the process modelling a certain state-variable of the economy, possibly related to the political stability, or some aspect of the goverment s economic policy. The index process is nontradable and its role is to impose constraints on the consumption: we are allowed to withdraw money from the trading account only when R t < ε. An agent with an initial endowment x and a utility random field U(,, ) will then naturally try to choose a strategy so as to maximize the utility of consumption of the form E τ U(ω,t,c(t))1 { Rt <ε}dt, (5.1) on some trading horizon [,τ]. If we introduce the notation κ ε t = 1 ε the expression in (5.1) becomes (up to a multiplicative constant) E τ t 1 { R t <ε}dt, U(ω,t,c(t))dκ ε t. (5.2) Assuming that ε is a small constant, the process κ ε can be approximated by the local time κ t of the process R t. We define the time horizon τ = τ 1, where τ s inf{t > : κ t > s} is the inverse local time process. In this way our agent will

24 GORDAN ŽITKOVIĆ get exactly one unit of consumption time (as measured by the clock κ) from the start to the end of the trading interval. It will, therefore, be our goal to solve the following problem, defined in terms of its value function u( ): u(x) = sup E c A(x,) τ1 U(ω,t,c t )dκ t, x >. (5.3) 5.2. Absence of Arbitrage. The time-horizon τ defined above is clearly not a bounded random variable, so the results in the main body of this paper do not apply directly. However, in order to pass from an infinite to a finite horizon, it is enough to apply a deterministic time-change that maps [, ) onto [,1) and note that no important part of the structure of the problem is lost in this way (we leave the easy details of the argument to the reader). Of course, we need to show that all the assumptions of Theorem 4.2 are satisfied. The validity of Assumption 2.9 will have to be checked on a case-by-case basis (see Remark 5.1, for the case of log-utility). Therefore, we are left with Assumption 2.1. In order to proceed we need to exhibit a countably-additive probability measure Q equivalent to P such that the asset-price process (S t ) t [, ) is a Q-local martingale on the stochastic interval [,τ 1 ]. The obvious candidate will be the measure Q defined in terms of its Radon-Nikodym derivative with respect to P, by dq dp = Z τ 1, where Z τ 1 exp( θb τ1 1 2 θ2 τ 1 ), (5.4) andθ = µ/σ isthemarket price of riskcoefficient. OnceweshowthatE[Z τ 1 ] = 1, it will follow directly from Girsanov s theorem (see Karatzas and Shreve (1991), Theorem 3.5.1, page 191.) that (S) t [, ) is a Q-local martingale on [,τ 1 ]. The equivalence of the measures Q and P is a consequence of the fact that τ 1 < a.s, which follows from the following proposition which lists some distributional properties of the process (R t ) t [, ) and its local time (κ t ) t [, ). Proposition 5.1. For ξ < and x, let H ξ (x) denote the value of the Hermite function H ξ (x) = 1 2Γ( ξ) e s 2x s s 1 2 ξ 1 ds. (5.5) For the Ornstein-Uhlenbeck process (R t ) t [, ) and the inverse (τ s ) s [, ) of its local time at (κ t ) t [, ), we have the following explicit expressions: