main-content

## Weitere Artikel dieser Ausgabe durch Wischen aufrufen

21.01.2020 | Ausgabe 2/2020 Open Access

# Von Neumann–Gale dynamics and capital growth in financial markets with frictions

Zeitschrift:
Mathematics and Financial Economics > Ausgabe 2/2020
Autoren:
Esmaeil Babaei, Igor V. Evstigneev, Klaus Reiner Schenk-Hoppé, Mikhail Zhitlukhin
Wichtige Hinweise
Financial support from the RFBR Grant 18-31-20031 is gratefully acknowledged.

## Publisher's Note

Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.

## 1 Introduction

The theory of growth-optimal investments, or capital growth theory, is a fascinating subject having a rich and peculiar history. The central question in this field is how to invest in order to achieve the highest (asymptotic) growth rate of wealth in the long run. The first publication in this strand of literature was that by Kelly [ 36], who considered the case of Arrow securities (the payoff of security i is 1 if the “state of the world” is i and 0 otherwise) interpreted as a “horse race model”. It was shown that the growth optimal investment strategy could be found by the maximization of the expected logarithm of the portfolio return: the Kelly portfolio rule. Kelly arrived at his results from information theory, and his paper was entitled “A new interpretation of information rate”. The history of Kelly’s discovery is described in various papers and books, including popular ones (see, e.g., Poundstone [ 48]). This discovery has been developed and extended by various authors, in particular by Breiman [ 9], Algoet and Cover [ 1] and Hakansson and Ziemba [ 32]. The paper by Algoet and Cover [ 1] contains the most advanced and general mathematical treatment of capital growth theory. An authoritative reference providing extensive coverage of the field is the volume [ 39] edited by MacLean et al. A comprehensive exposition of these questions is given in the textbook “Elements of information theory” by Cover and Thomas [ 14] (Chapter 16 “Information theory and portfolio theory”). An elementary introduction to the field can be found in Chapters 17 and 18 in Evstigneev et al. [ 25].
When speaking of those who contributed to capital growth theory, one must necessarily mention the name of Claude Shannon—the famous founder of the mathematical theory of information. Although he did not publish on investment-related issues, his ideas, expressed in his lectures on investment problems in MIT in the 1960s, strongly influenced his collaborators: Kelly, Breiman, Cover and others, who became the classics of the theory of growth optimal investments. For the history of these ideas and a related discussion see Cover [ 13].
Cover’s [ 13] biographical note on Shannon mentions a discussion between Shannon and another famous scholar, mathematical economist Paul Samuelson. Cover writes:
... In the mid 1960s, Shannon gave a lecture on maximizing the growth rate of wealth and gave a geometric Wiener example.
At about this time, Shannon and Samuelson (a Nobel Prize winner-to-be in economics) held a number of evening discussion meetings on information theory and economics. It is not clear what was said in these meetings, but Samuelson seems to have become set in his views. He published several papers arguing strongly against maximizing the expected logarithm as an acceptable investment criterion. (It happens that maximizing the expected logarithm is the prescription for the growth-rate optimal portfolio.)
For example, Samuelson (1969) wrote: Our analysis enables us to dispel a fallacy that has been borrowed into portfolio theory from information theory of the Shannon type. Samuelson goes on to argue that growth rate optimal policies do not achieve maximum utility unless one has a logarithmic utility for money. Of course this is the case, but it does not deny the fact that log optimal wealth has an objective property: it has a better growth rate than that achieved by any other strategy. Since growth rate optimal policies achieve a demonstrably desirable goal, growth rate optimal portfolios should only have a utility interpretation as an afterthought. In fact, Samuelson (1979) wrote a paper entitled “Why we should not make mean log of wealth big though years to act are long.” This is a two page paper in words of one syllable that makes the point that maximizing the expected log of wealth is not appropriate. The growth optimal portfolio literature has been slow to develop. It is possible that Samuelson’s eloquent admonitions had their effect.
In this discussion, Samuelson and those who followed his views later presumed implicitly or explicitly that the problem of growth-optimal investments was equivalent to the problem of the maximization of logarithmic utility functionals. By and large this presumption was true in those models which were considered at the time of the above discussion—half a century ago. More recent studies have shown that this is not the case in more advanced and realistic models, in particular, those describing financial markets with frictions—transaction costs and trading constraints. Growth-optimal investment strategies over an infinite time horizon cannot be constructed by using a consecutive “myopic” maximization procedure step by step from t to $$t+1$$ ( $$t=0,1,2,\ldots$$).
A similar situation is characteristic for Evolutionary Finance—a rapidly developing area of research that emerged in the 2000s, see the surveys in [ 24, 26] and an elementary introduction into the subject in [ 25, Chapter 20]. Evolutionary finance may be viewed as a version of the capital growth theory with endogenous equilibrium asset prices. Counterparts of the growth-optimal investment strategies in that context are the so-called unbeatable strategies [ 2, Sect. 6]. The problem of the identification of such strategies cannot be reduced (except for some trivial cases) to any single-agent optimization problem involving the maximization of logarithmic or any other functionals.
The objective of this paper is to extend the classical capital growth theory to models of financial markets with transaction costs and portfolio constraints. As a framework for the analysis we use von Neumann–Gale dynamical systems—a class of random dynamical systems generated by homogeneous convex set-valued operators (see the definitions in the next section). Such dynamical systems were first considered (in the deterministic case) in the context of the modeling of economic growth by von Neumann [ 56] and Gale [ 28]. Important contributions to the field were made by Radner [ 49], Morishima [ 42], Rockafellar [ 52], Nikaido [ 44], Makarov and Rubinov [ 40], and others. For reviews of the field see [ 42, 44] and [ 40]. In our model, random states of these systems are contingent portfolios, and paths are self-financing trading strategies. The self-financing conditions are described in terms of random cones in spaces of admissible portfolio vectors. The main focus is on rapid paths, that are defined in terms of sequences of dual variables— consistent price systems, generalizing the notion of an equivalent martingale measure in the frictionless setting. Rapid paths may be regarded as counterparts of benchmark strategies (Platen [ 46], Platen and Heath [ 47]) or numeraire portfolios (Long [ 37]). They possess a number of important properties, in particular, it can be shown that they exhibit the fastest asymptotic growth rate of wealth with probability one.
The paper is organized as follows. Section  2 describes von Neumann–Gale dynamical systems and outlines their applications to capital growth theory. Section  3 states the main assumptions and results. Section  4 contains some lemmas needed for the proof of the main result (Theorem  1), which is conducted in Sect.  5. Section  6 establishes the property of growth-optimality of infinite rapid paths. In Sect.  7, we introduce and analyze a model of a financial market with transaction costs and portfolio constraints to which the results of this paper can be applied. The Appendix assembles some auxiliary technical results used in the paper.

## 2 Von Neumann–Gale dynamics applied to finance

Let $$(\Omega ,\mathcal {F},P)$$ be a complete probability space and $$\mathcal {F}_{0}\subseteq \mathcal {F}_{1}\subseteq \ldots \subseteq \mathcal {F}$$ a sequence of $$\sigma$$-algebras containing all sets in $$\mathcal {F}$$ of measure zero. The $$\sigma$$-algebra $$\mathcal {F}_{t}$$ is interpreted as the class of events occurring prior to time t. Vector functions of $$\omega \in \Omega$$ measurable with respect to $$\mathcal {F}_{t}$$ represent random vectors depending on these events. For each $$t=0,1,\ldots$$, let $$X_{t}(\omega )$$ be a closed pointed cone 1 in an $$m_{t}$$-dimensional linear space $$\mathbb {R}^{m_{t}}$$ and for each $$t=1,2,\ldots$$, let $$(\omega ,a)\mapsto A_{t}(\omega ,a)$$ be a set-valued operator assigning a non-empty set $$A_{t}(\omega ,a)\subseteq X_{t}(\omega )$$ to each $$\omega \in \Omega$$ and $$a\in X_{t-1}(\omega )$$. Throughout the paper, the following conditions of homogeneity and convexity will be imposed on the operator $$A_{t}(\omega ,\cdot )$$. For each $$\omega$$, we have
\begin{aligned} \lambda A_{t}(\omega ,a)\subseteq A_{t}\left( \omega ,\lambda a\right) \end{aligned}
(1)
for all $$a\in X_{t-1}(\omega )$$, $$\lambda \in [0,\infty )$$ and
\begin{aligned} \theta A_{t}\left( \omega ,a\right) +\left( 1-\theta \right) A_{t} \left( \omega ,a^{\prime }\right) \subseteq A_{t}\left( \omega ,\theta a +\left( 1-\theta \right) a^{\prime }\right) \end{aligned}
(2)
for all $$a,a^{\prime }\in X_{t-1}(\omega )$$ and $$\theta \in \left[ 0,1\right]$$. (A linear combination of two sets in a vector space is the set of pairwise linear combinations of their elements.)
We will denote for shortness by $$L_{\infty }\left( \mathcal {F}_{t} ,\mathbb {R}^{k}\right) \mathcal {\ }$$the space $$L_{\infty }\left( \Omega ,\mathcal {F}_{t},P,\mathbb {R}^{k}\right)$$ of essentially bounded $$\mathcal {F}_{t}$$-measurable functions of $$\omega \in \Omega$$ with values in $$\mathbb {R}^{k}$$. The norm $$||x(\omega )||_{\infty }$$ of a vector function $$x(\omega )$$ in $$L_{\infty }\left( \mathcal {F}_{t},\mathbb {R}^{k}\right)$$ is defined as the essential supremum ess $$\sup |x(\omega )|$$, where $$|\cdot |$$ stands for the sum of the absolute values of the coordinates of a finite-dimensional vector. We say that a vector function $$x(\omega )$$ is a random state of the system at time t and write $$x\in \mathcal {X}_{t}$$ if $$x\in L_{\infty }\left( \mathcal {F}_{t},\mathbb {R}^{m_{t}}\right)$$ and $$x(\omega )\in X_{t}(\omega )$$ almost surely (a.s.). The mappings $$(\omega ,a)\mapsto A_{t}(\omega ,a)$$ generate a multivalued stochastic dynamical system. A sequence of random states $$x_{0}\in \mathcal {X}_{0}$$, $$x_{1}\in \mathcal {X}_{1}$$, $$\ldots$$ is called a path ( trajectory) of this dynamical system if
\begin{aligned} x_{t}(\omega )\in A_{t}\left( \omega ,x_{t-1}(\omega )\right) \;\text {(a.s.)}. \end{aligned}
(3)
Relation ( 3) can be written in the form
\begin{aligned} \left( x_{t-1}(\omega ),x_{t}(\omega )\right) \in Z_{t}(\omega )\;\text {(a.s.)}, \end{aligned}
(4)
where
\begin{aligned} Z_{t}(\omega )=\left\{ \left( a,b\right) \in X_{t-1}(\omega ) \times X_{t}(\omega ):\;b\in A_{t}(\omega ,a)\right\} \end{aligned}
(5)
is the graph of the set-valued mapping $$A_{t} \left( \omega ,\cdot \right)$$. Clearly conditions ( 1) and ( 2) hold if and only if $$Z_{t} (\omega )$$ is a cone contained in $$X_{t-1}(\omega )\times X_{t}(\omega )$$. Since $$A_{t} \left( \omega ,a\right) \ne \emptyset$$ for all $$a\in X_{t-1}(\omega )$$, the projection of $$Z_{t}(\omega )$$ on $$X_{t-1}(\omega )$$ coincides with $$X_{t-1}(\omega )$$. It is assumed that the cones $$X_{t}(\omega )$$ and $$Z_{t}(\omega )$$ depend $$\mathcal {F}_{t}$$-measurably 2 on $$\omega$$, which means that they are determined by events occurring prior to time t. The dynamics of the system under consideration can equivalently be described both in terms of the mappings $$A_{t}\left( \omega ,\cdot \right)$$ and in terms of the cones $$Z_{t}(\omega )$$. A sequence $$x_{0}\in \mathcal {X}_{0}$$, $$x_{1}\in \mathcal {X}_{1}$$, $$\ldots$$ is a path if and only if
\begin{aligned} (x_{t-1},x_{t})\in \mathcal {Z}_{t},\ t=1,2,\ldots , \end{aligned}
(6)
where
\begin{aligned} \mathcal {Z}_{t}=\{(x,y)\in \mathcal {X}_{t-1}\times \mathcal {X}_{t}:\ \left( x(\omega ),y(\omega )\right) \in Z_{t}(\omega )\;\text {(a.s.)}\}. \end{aligned}
(7)
The classical theory of von Neumann–Gale dynamics was purely deterministic. First attempts to build its stochastic generalization were undertaken in the 1970s by Dynkin [ 1921], Radner [ 51] and their collaborators. However, the initial attack on the problem left many questions unanswered. Substantial progress was made only in the late 1990s, and final solutions to the main open problems were obtained only in the 2000s—see [ 23] and references therein.
At about the same time it was observed [ 18] that stochastic analogues of von Neumann–Gale dynamical systems provide a natural and convenient framework for the modeling of financial markets with frictions—transaction costs and portfolio constraints. This observation not only gave a new momentum to studies in the field and posed new interesting questions, but also made it possible to find a key to the solution of old problems. The new, financial interpretation of the mathematical notions and objects at hand amazingly suggested the way of proofs in [ 23] that could not be found earlier.
A central goal in the theory of von Neumann–Gale dynamics is to single out and investigate a class of trajectories that grow faster in a certain sense than others. The key notion here is that of a rapid path. To give its definition let us first define the important notion of a dual path. Let $$X_{t}^{*}(\omega )$$ denote the dual cone of $$X_{t}(\omega )$$:
\begin{aligned} X_{t}^{*}(\omega )=\{p\in \mathbb {R}^{m_{t}}:\ pa\ge 0,\ a\in X_{t} (\omega )\}, \end{aligned}
where pa is the scalar product of the vectors p and a in $$\mathbb {R} ^{m_{t}}$$. For shortness, we will use the notation $$L^{1}(\mathcal {F} _{t},\mathbb {R}^{k})$$ for the space $$L^{1}(\Omega ,\mathcal {F}_{t} ,P,\mathbb {R}^{k})$$ of integrable $$\mathcal {F}_{t}$$-measurable vector functions with values in $$\mathbb {R}^{k}$$. A dual path ( dual trajectory) is a sequence of vector functions $$p_{1}(\omega ),p_{2} (\omega ),\ldots$$ such that for all $$t=1,2,\ldots$$ we have $$p_{t}\in L^{1} (\mathcal {F}_{t},\mathbb {R}^{m_{t-1}})$$,
\begin{aligned} p_{t}(\omega )\in X_{t-1}^{*}(\omega )\ \text {(a.s.)}, \end{aligned}
(8)
and for almost all $$\omega$$,
\begin{aligned} \bar{p}_{t+1}(\omega )b\le p_{t}(\omega )a\ \text {for all }(a,b)\in Z_{t}(\omega ). \end{aligned}
(9)
here, $$\bar{p}_{t+1}(\omega ):=E_{t}p_{t+1}(\omega )$$ and $$E_{t}(\cdot )=E(\cdot |\mathcal {F}_{t})$$ is the conditional expectation given $$\mathcal {F}_{t}$$. Denote by $$Z_{t}^{\times }(\omega )$$ the cross-dual cone for $$Z_{t}(\omega )$$:
\begin{aligned} Z_{t}^{\times }(\omega )=\{(c,d)\in \mathbb {R}^{m_{t-1}} \times \mathbb {R}^{m_{t} }:\ db-ca\le 0\text { for all }(a,b)\in Z_{t}(\omega )\}. \end{aligned}
(10)
The definition of a dual path can be reformulated as follows. This is a sequence $$p_{1}(\omega ),p_{2}(\omega ),\ldots$$ such that for all $$t=1,2,\ldots$$, we have $$p_{t}\in L^{1}(\mathcal {F}_{t}, \mathbb {R}^{m_{t-1}})$$, condition ( 8) holds and
\begin{aligned} (p_{t}(\omega ),\bar{p}_{t+1}(\omega ))\in Z_{t}^{\times }(\omega )\text { (a.s.)}. \end{aligned}
(11)
Let us say that a dual path $$p_{1},p_{2},\ldots$$ supports a path $$x_{0},x_{1},\ldots$$ if
\begin{aligned} p_{t+1}x_{t}=1\text { (a.s.)} \end{aligned}
(12)
for all $$\ t=0,1,\ldots$$. A trajectory is called rapid if there exists a dual trajectory supporting it. What matters in ( 12) is that $$p_{t+1}x_{t}$$ is a strictly positive constant (independent of time and random factors). The value 1 for this constant is chosen only for the sake of convenience.
The term “rapid” is motivated, in particular, by the fact that for each $$t=1,2,\ldots$$
\begin{aligned} E_{t}\frac{p_{t+1}y_{t}}{p_{t}y_{t-1}}=\frac{\bar{p}_{t+1}y_{t}}{p_{t}y_{t-1}} \le \frac{\bar{p}_{t+1}x_{t}}{p_{t}x_{t-1}}=1\;\text {(a.s.)} \end{aligned}
(13)
for all paths $$y_{0},y_{1},\ldots$$ with $$p_{t}y_{t-1}>0$$ (a.s.). This means that the path $$x_{0},x_{1},\ldots$$ maximizes the conditional expectation given $$\mathcal {F}_{t}$$ of the growth rate $$p_{t+1}y_{t}/p_{t}y_{t-1}$$ over each time period $$(t-1,t]$$, the maximum being equal to 1. The growth rate is measured in terms of the dual variables $$p_{t}$$, which in economic and financial applications typically represent prices.
Rapid paths may be viewed as a generalization of benchmark strategies (Platen [ 46], Platen and Heath [ 47]) or numeraire portfolios (Long [ 37]). Their idea goes back to the notion of a competitive path in models of economic dynamics: such paths maximize profits over each time period $$(t-1,t)$$—see Malinvaud [ 41], Radner [ 50], Gale [ 29], Peleg [ 45], Dasgupta and Mitra [ 16], and especially the paper by Clark [ 11] linking this strand of literature to finance and containing further references.
Dual paths are analogous to consistent price systems, generalizing the concept of an equivalent martingale measure involved in classical no-arbitrage criteria (Jouini and Kallal [ 38], Cvitanić and Karatzas [ 15], Schachermayer [ 54], Guasoni et al. [ 31], Kabanov and Safarian [ 34] and others).
Let us outline a model of this kind. At each time $$t=0,1,2,\ldots$$, there are $$m_{t}$$ assets in the market. A (contingent) portfolio of assets is an $$\mathcal {F}_{t}$$-measurable random vector $$y_{t}(\omega )=(y_{t}^{1} (\omega ),\ldots , y_{t}^{m_{t}}(\omega ))$$. Those portfolios $$y_{t}$$ for which $$y_{t}(\omega )\in X_{t}(\omega )$$ (a.s.) are admissible at time t. An investment/trading strategy is a sequence of admissible portfolios $$(y_{t})_{t\ge 0}$$. The main focus is on self-financing strategies defined by the condition
\begin{aligned} (y_{t-1}(\omega ),y_{t}(\omega ))\in Z_{t}(\omega )\;\text {(a.s.)}, \end{aligned}
(14)
where $$Z_{t}(\omega )\subseteq \mathbb {R}^{m_{t-1}} \times \mathbb {R}^{m_{t}}$$ is the given closed cone depending $$\mathcal {F}_{t}$$-measurably on $$\omega$$. The cones $$Z_{t}(\omega )$$, $$t=1,2,\ldots$$, define the self-financing constraints. Condition ( 14) states in general terms that the portfolio $$y_{t-1}$$ can be transformed to $$y_{t}$$ by buying and selling assets under transaction costs (see an example in ( 15) below). Self-financing strategies are nothing but paths in the von Neumann–Gale dynamical system with the transition cones $$Z_{t}(\omega )$$. We will deal only with such strategies, and so in what follows, “self-financing” will be omitted.
A basic example of the transition cone $$Z_{t}(\omega )$$ in the financial market model with (proportional) transaction costs can be described as follows. Let $$\underline{S}_{t}^{i}(\omega ) <\overline{S}_{t}^{i}(\omega )$$ be the vectors of the asset i’s bid and ask prices: you pay $$\overline{S}_{t}^{i}(\omega )$$ when you buy and you get $$\underline{S}_{t}^{i}(\omega )$$ when you sell. The cone $$Z_{t} (\omega )$$ consists of pairs of portfolios ( xy) satisfying
\begin{aligned} \sum _{i=1}^{m}\overline{S}_{t}^{i}(y^{i}-x^{i})_{+} \le \sum _{i=1}^{m}\underline{S}_{t}^{i}(x^{i}-y^{i})_{+}\;, \end{aligned}
(15)
where $$a_{+}:=\max \{a,0\}$$. It is assumed here that the number of assets $$m_{t}$$ does not depend on t: $$m_{t}=m$$. The inequality ( 15) means that asset purchases are made only at the expense of sales of available assets (under transaction costs).
Questions of asset pricing and hedging in the above basic framework were considered in the seminal paper by Jouini and Kallal [ 38]. Kabanov [ 35] proposed a geometric approach that made it possible to extend the theory to models allowing direct (unmediated by cash) trades between assets, and therefore, applicable to currency markets. We refer the reader to the book by Kabanov and Safarian [ 34] for a detailed review of this area of research. For more recent work see the paper [ 27] and references therein.
Important examples of the portfolio admissibility constraints are given by margin requirements, that are present in one form or another in all real-world financial markets. Only those portfolios $$x=(x^{1},\ldots ,x^{m})$$ are regarded as admissible for which
\begin{aligned} M\sum _{i=1}^{m}\overline{S}_{t}^{i}(-x^{i})_{+}\le \sum _{i=1}^{m} \underline{S}_{t}^{i}(x^{i})_{+}, \end{aligned}
(16)
where $$M>1$$ is some constant (margin). Condition ( 16) means that an admissible portfolio can always be liquidated in such a way that its long positions would compensate its short positions with excess, as specified in ( 16). The purpose of such requirements is to exclude (or at least to reduce) the possibility of the investor’s bankruptcy as a result of sudden price jumps. Clearly property ( 16) automatically guarantees the absence of arbitrage opportunities, which makes superfluous any considerations involving the no-arbitrage hypothesis as such.
In the above example it is assumed that portfolio positions are measured in terms of (“physical”) units of assets. However, it is often more convenient to specify positions of a portfolio in monetary terms. In models of this kind, the coordinates $$x^{i}$$ and $$y^{i}$$ of portfolio vectors x and y indicate the values of asset holdings at time t expressed in terms of the current market prices $$S_{t}^{i}$$. The transition cone $$Z_{t}(\omega )$$ consists of pairs of portfolios ( xy) such that
\begin{aligned} \sum _{i=1}^{m}(1+\lambda _{t,i}^{-})\left( y^{i}-\frac{S_{t}^{i}}{S_{t-1}^{i}} x^{i}\right) _{+}\le \sum _{i=1}^{m}(1-\lambda _{t,i}^{+})\left( \frac{S_{t}^{i}}{S_{t-1}^{i}}x^{i}-y^{i}\right) _{+}\;, \end{aligned}
(17)
where $$\lambda _{t,i}^{-}(\omega )\ge 0$$ and $$1>\lambda _{t,i}^{+}(\omega )\ge 0$$ are the transaction cost rates for buying and selling asset i, respectively. The inequality in ( 17), as well as in ( 15), expresses the self-financing condition, meaning that purchases of assets can be made only at the expense of sales of other assets. The simplest margin requirements in this setting take on the following form:
\begin{aligned} M\sum _{i=1}^{m}x_{-}^{i}\le \sum _{i=1}^{m}x_{+}^{i}, \end{aligned}
(18)
If portfolio positions are specified in monetary terms, then the variables $$p_{t}^{i}$$ constituting a dual path may be interpreted as market consistent discount factors.
The framework in which the transition cones $$Z_{t}(\omega )$$ are described in terms of portfolio values has the following advantage. Practically all models that can be used for practical computations are based on some assumptions of stationarity: “tomorrow” must to some extent resemble “today”. In the framework of ( 17), a natural assumption of this kind is that the process of asset returns $$(S_{t}^{i}-S_{t-1}^{i})/S_{t-1}^{i}$$ is stationary, which is a common hypothesis in finance (lying in the basis, e.g., of the Black-Scholes formula). Analogous conditions for ( 15) would mean stationarity of the price process—a less plausible hypothesis, having a number of implications that might be viewed as paradoxical (e.g. the phenomenon of “volatility-induced growth”, see [ 17] and [ 25, Sect. 18.4]).
A detailed description and analysis of a financial market model of the above type is given in Sect.  7.

## 3 Assumptions and results

Let us formulate the assumptions that will be used in this paper. Let $$\left| \cdot \right|$$ denote the norm of a vector in a finite-dimensional space defined as the sum of the absolute values of its coordinates. For a finite-dimensional vector a, we will denote by $$\mathbb {B}(a,r)$$ the ball $$\{b$$: $$|b-a|\le r\}$$.
Let us introduce the following conditions.
(A1)
For every $$t=0,1,\ldots$$, there exists an $$\mathcal {F}_{t}$$-measurable random vector $$q_{t}(\omega )\in X_{t}^{*}(\omega )$$ satisfying
\begin{aligned} H_{t}(\omega )^{-1}|a|\le q_{t}(\omega )a\le H_{t}(\omega )|a|,\ a\in X_{t}(\omega ),\ \omega \in \Omega , \end{aligned}
(19)
where $$H_{t}(\omega )\ge 1$$ is an $$\mathcal {F}_{t}$$-measurable function with $$E\ln H_{t}\left( \omega \right) <\infty$$.
This condition implies, in particular, that the cone $$X_{t}(\omega )$$ is pointed.
(A2)
For every $$t=1,2,\ldots , \omega \in \Omega$$ and $$a\in X_{t-1}(\omega )$$, there exists $$b\in X_{t}(\omega )$$ such that $$(a,b)\in Z_{t}(\omega )$$.
(A3)
There exist constants $$K_{t}$$ ( $$t=1,2,\ldots$$) such that $$\left| b\right| \le K_{t}\left| a\right|$$ for any $$(a,b)\in Z_{t}(\omega )$$ and $$\omega \in \Omega$$.
(A4)
For each $$t=1,2,\ldots ,$$ there exists a bounded $$\mathcal {F}_{t}$$-measurable vector function $$\mathring{z}_{t}=$$ $$(\mathring{x}_{t} ,\mathring{y}_{t})$$ such that for all $$\omega \in \Omega$$, we have
\begin{aligned} (\mathring{x}_{t}(\omega ),\mathring{y}_{t}(\omega ))\in Z_{t}(\omega ), \end{aligned}
(20)
and
\begin{aligned} \mathbb {B}(\mathring{y}_{t}(\omega ),\varepsilon _{t})\subseteq X_{t}(\omega ), \end{aligned}
(21)
where $$\varepsilon _{t}>0$$ is some constant.
Theorems  1 and 2 we formulate below hold under the assumptions (A1)–(A4).
Theorem 1
Let assumptions (A1)–(A4) hold. Let $$x_{0}(\omega )$$ be a vector function in $$\mathcal {X}_{0}$$ such that $$\mathbb {B}(x_{0}(\omega ),\delta )\subseteq X_{0}(\omega )$$ for some constant $$\delta >0$$. There exists an infinite rapid path with initial state $$x_{0}$$.
This result generalizes to general cones $$X_{t}(\omega )$$ the analogous result in [ 8] pertaining to the case, where $$X_{t}(\omega )$$ are the standard non-negative cone $$\mathbb {R}_{+}^{m_{t}}$$.
The proof of Theorem  1 is based on a previous result [ 7, Theorem 1] on finite rapid paths. We formulate it as Theorem  2 below. The versions of the basic definitions for a finite time horizon are as follows. Let $$N>1$$ be a natural number. A path over the finite time horizon from 0 to N is a sequence $$x_{0}\in \mathcal {X}_{0},\ldots ,x_{N}\in \mathcal {X}_{N}$$ satisfying ( 6) for all $$t=1,\ldots ,N$$. A dual path $$p_{1},p_{2},\ldots ,p_{N+1}$$ is a sequence of vector functions such that
\begin{aligned}&p_{1}\in L^{1}(\mathcal {F}_{1},\mathbb {R}^{m_{0}}),\ldots ,\ p_{N}\in L^{1}(\mathcal {F}_{N},\mathbb {R}^{m_{N-1}}),\ p_{N+1}\in L^{1} (\mathcal {F}_{N},\mathbb {R}^{m_{N}}), \\&p_{t}(\omega )\in X_{t-1}^{*}(\omega )\ \text {(a.s.)},\ t=1,2,\ldots ,N+1, \end{aligned}
and
\begin{aligned} (p_{t}(\omega ),\bar{p}_{t+1}(\omega ))\in Z_{t}^{\times }(\omega ) \text { (a.s.)},\ t=1,\ldots ,N. \end{aligned}
(22)
A dual path $$p_{1},p_{2},\ldots ,p_{N+1}$$ supports a path $$x_{0},x_{1},\ldots ,x_{N}$$ if ( 12) holds for $$t=0,\ldots ,N$$. A trajectory $$x_{0},x_{1},\ldots ,x_{N}$$ is called rapid if there exists a dual trajectory $$p_{1},p_{2},\ldots ,p_{N+1}$$ supporting it.
Theorem 2
Let $$x_{0}(\omega )$$ be a vector function in $$\mathcal {X}_{0}$$ such that $$\mathbb {B}(x_{0} (\omega ),\delta )\subseteq X_{0}(\omega )$$ for some constant $$\delta >0$$. For each $$N\ge 1$$, there exists a finite rapid path $$x_{0},\ldots ,x_{N}$$ with the initial state $$x_{0}$$.
This theorem extends to general random cones $$X_{t}(\omega )$$ earlier results obtained in [ 22] (also for the finite-horizon case) in a setting where $$X_{t}(\omega )=\mathbb {R}_{+}^{m_{t}}$$.
Remark 1
To prove Theorem  1 we construct an infinite rapid path by passing to the limit from finite ones, whose existence is stated in Theorem  2. The latter theorem is proved in [ 7, Theorem 1] under the assumptions (A1)–(A4). However, not all of these assumptions are needed to deduce the former result from the latter. In the course of the proof of Theorem  1 given in Sect.  3, we rely only upon conditions (A3) and (A4) and the fact that the cones $$X_{t}(\omega )$$ are pointed; assumptions (A1) and (A2) are not used.
An important property of infinite rapid paths is their asymptotic growth-optimality holding under a fairly general assumption (A5) we formulate below. Let us say that a path $$(x_{t})_{t=0}^{\infty }$$ is asymptotically growth-optimal if for any other path $$(x_{t}^{\prime })_{t=0}^{\infty }$$ there exists a supermartingale $$(\xi _{t})_{t=1}^{\infty }$$ such that $$\left| x_{t}^{\prime }\right| /\left| x_{t}\right| \le \xi _{t}$$.
We introduce following condition (A5).
(A5) There exist a real number $$\gamma >0$$ and a natural number l such that for every $$t\ge 0$$ and every random vector $$y_{t} \in \mathcal {X}_{t}$$, one can find random vectors $$y_{t+1}\in \mathcal {X}_{t+1},\ldots ,y_{t+l}\in \mathcal {X}_{t+l}$$ satisfying with probability one
\begin{aligned} (y_{t}\left( \omega \right) ,y_{t+1}\left( \omega \right) )\in Z_{t+1}\left( \omega \right) ,\ldots ,\ (y_{t+l-1}\left( \omega \right) , y_{t+l}\left( \omega \right) +y\left( \omega \right) )\in Z_{t+l} \left( \omega \right) \end{aligned}
(23)
for all $$y\in L_{\infty }\left( \mathcal {F}_{t+l}, \mathbb {R}^{m_{t+l}}\right)$$ with $$|y(\omega )|\le \gamma |y_{t}(\omega )|$$.
Theorem 3
Let condition (A5) and condition (A3) with a constant $$K_{t}=K$$ independent of t hold. Let $$m_{t}\le m$$ where m is some fixed number. Then any rapid path is asymptotically growth-optimal.
The property of asymptotic optimality, as defined above, has the following important implications. If $$|y_{t}|/|x_{t}|\le \xi _{t}$$, $$t=1,2\ldots$$ (a.s.), where $$\xi _{t}$$ is a supermartingale, the following assertions hold.
(a)
With probability one
\begin{aligned} \sup _{t}\frac{|y_{t}|}{|x_{t}|}<\infty , \end{aligned}
i.e. no strategy can grow asymptotically faster than $$x_{0},x_{1},\ldots$$ (a.s.).

(b)
The strategy $$x_{0},x_{1},\ldots$$ a.s. maximizes the exponential growth rate
\begin{aligned} \lim \sup \limits _{t\rightarrow \infty }\frac{1}{t}\ln |x_{t}|. \end{aligned}

(c)
We have
\begin{aligned} \sup _{t}E\frac{|y_{t}|}{|x_{t}|}<\infty \ \text { and }\ \sup _{t}E \ln \frac{|y_{t}|}{|x_{t}|}<\infty , \end{aligned}
(24)
and moreover, $$\sup _{t}$$ in ( 24) can be replaced by $$\sup _{\tau }$$ where $$\tau$$ ranges through the set of all stopping times with respect to the filtration $$\mathcal {F}_{0}\subseteq \mathcal {F}_{1}\subseteq \ldots \subseteq \mathcal {F}$$.

Assertion (a) follows from a.s. convergence of non-negative supermartingales; (b) is immediate from (a); the first part of (c) holds because $$\xi _{t}$$ is a non-negative supermartingale; the second part of (c) is obtained by using Jensen’s inequality and the supermartingale property: $$E(\ln \xi _{t+1} |\mathcal {F}_{t})\le \ln E(\xi _{t+1}|\mathcal {F}_{t})\le \ln \xi _{t}$$. The possibility of replacing $$\sup _{t}$$ by $$\sup _{\tau }$$ in ( 24) follows from Doob’s optional sampling theorem (see, e.g., Grimmett and Stirzaker [ 30], pp. 491–495).
Note that the above properties (a)–(c) remain valid if $$|x_{t}|$$ and $$|y_{t}|$$ are replaced by $$\phi _{t}(\omega ,x_{t})$$ and $$\phi _{t}(\omega ,y_{t})$$ respectively with any function $$\phi _{t}(\omega ,b)$$, possibly random and depending on t, which satisfies the following condition ( L).
( L) There exist non-random constants $$0<s\le S$$ such that $$s|b|\le \phi _{t}(\omega ,b)\le S|b|$$ for all $$t,\omega$$ and $$b\in X_{t}(\omega )$$.

## 4 Three lemmas

We begin with three simple lemmas needed for the proof of Theorem  1.
Lemma 1
Let X be a cone in $$\mathbb {R}^{k}$$, d an element in $$X^{*}$$, and y a vector in X such that $$\mathbb {B}(y,\varepsilon ) \subseteq X$$. Then
\begin{aligned} dy\ge \frac{\varepsilon }{k}|d|. \end{aligned}
(25)
Proof
We have $$d(y-h)\ge 0$$ for any h with $$|h|\le \varepsilon$$. Consequently,
\begin{aligned} dy\ge \max _{|h|\le \varepsilon }dh=\varepsilon \max _{i}|d^{i}|\ge \frac{\varepsilon }{k}|d|\ \ \ \ [d=(d^{1},\ldots ,d^{k})], \end{aligned}
which yields ( 25). $$\square$$
Put
\begin{aligned} C_{t}:=\frac{m_{t}||\mathring{x}_{t}||_{\infty }}{\varepsilon _{t}} \ (t\ge 1),\ C_{0}:=m_{0}\delta ^{-1}, \end{aligned}
(26)
where $$\mathring{x}_{t}$$ is defined in (A4) and
\begin{aligned} C^{t}:=C_{t-1}\ldots C_{1}C_{0}\ (t\ge 1), \end{aligned}
where $$\delta$$ is the constant for which $$B(x_{0}(\omega ),\delta )\subseteq X_{0}(\omega )$$. Define
\begin{aligned} K^{t}:=K_{t}\ldots K_{1}||x_{0}||_{\infty }\ (t\ge 1). \end{aligned}
Lemma 2
Let $$(x_{t})_{t=0}^{N}$$ be a rapid path and $$(p_{t})_{t=1}^{N+1}$$ a dual path supporting it $$(1\le N\le \infty$$). Then
\begin{aligned} |x_{t}|\le K^{t}\;\text {(a.s.),} \end{aligned}
(27)
for $$t=0,1, \ldots , N$$ and
\begin{aligned} E|p_{t}|\le C^{t} \end{aligned}
(28)
for $$t=1, \ldots , N+1$$.
Proof
Inequality ( 27) is immediate from (A3). To prove ( 28) we write
\begin{aligned} ||\mathring{x}_{t}||_{\infty }E|p_{t}|\ge E|p_{t}||\mathring{x}_{t}| \ge Ep_{t}\mathring{x}_{t}\ge E~\bar{p}_{t+1}\mathring{y}_{t}=E~p_{t+1} \mathring{y}_{t}\ge E\frac{\varepsilon _{t}}{m_{t}}|p_{t+1}| \end{aligned}
(29)
( $$t\ge 1$$). Here the third inequality holds because $$(p_{t}(\omega ),\bar{p}_{t+1}(\omega ))\in Z_{t}^{\times }(\omega )$$ (a.s.) and $$(\mathring{x} _{t}(\omega ),\mathring{y}_{t}(\omega ))\in Z_{t}(\omega )$$. The last inequality is valid by virtue Lemma  1 since $$p_{t+1}(\omega )\in X_{t}^{*}(\omega )$$ (a.s.) and $$\mathbb {B}(\mathring{y}_{t}(\omega ),\varepsilon _{t}) \subseteq X_{t}(\omega )$$. From ( 29) and ( 26) we get $$E|p_{t+1}|\le C_{t}E|p_{t}|$$ ( $$t\ge 1$$) and it remains to observe that $$E|p_{1}|\le m_{0}\delta ^{-1}$$. Indeed, by virtue of ( 25),
\begin{aligned} 1=p_{1}x_{0}\ge \frac{\delta }{m_{0}}|p_{1}|\ \text {(a.s.)} \end{aligned}
(30)
because $$p_{1}(\omega )\in X_{0}^{*}(\omega )$$ (a.s.) and $$\mathbb {B} (x_{0}(\omega ),\delta )\subseteq X_{0}(\omega )$$. Consequently,
\begin{aligned} |p_{1}|\le m_{0}\delta ^{-1}, \end{aligned}
(31)
which completes the proof. $$\square$$
Lemma 3
For each $$t=1,2,\ldots$$ and for almost all $$\omega$$, if
\begin{aligned} (c,d)\in Z_{t}^{\times }(\omega )\ \text { and }d \in X_{t}^{*} (\omega ), \end{aligned}
(32)
then
\begin{aligned} |d|\le C_{t}|c|. \end{aligned}
(33)
Proof
This follows from the inequalities
\begin{aligned} |c|~||\mathring{x}_{t}||_{\infty }\ge |c||\mathring{x}_{t}(\omega )| \ge c\mathring{x}_{t}(\omega )\ge d\mathring{y}_{t}(\omega ) \ge \frac{\varepsilon _{t}}{m_{t}}|d| \end{aligned}
(34)
holding for almost all $$\omega$$ and all ( cd) satisfying ( 32). Note that the third inequality in ( 34) is valid because $$(c,d)\in Z_{t}^{\times }(\omega )$$ and $$(\mathring{x}_{t}(\omega ),\mathring{y}_{t} (\omega ))\in Z_{t}(\omega )$$, and the fourth is a consequence of Lemma  1. $$\square$$
Remark 2
We point to a distinction between Lemmas  2 and 3. Relations ( 28) and ( 29) hold in terms of expectations while ( 33) and ( 34) are valid for almost all $$\omega$$ and all ( cd) satisfying ( 32). It might seem that the former lemma is a direct consequence of the latter, but one has to be cautious here: we know that $$(p_{t}(\omega ),\bar{p}_{t+1} (\omega ))\in Z_{t}^{\times }(\omega )$$ (a.s.), but it is not assumed that $$(p_{t}(\omega ),p_{t+1}(\omega ))\in Z_{t}^{\times }(\omega )$$ (a.s.).

## 5 Proof of the main result

Denote by $$\mathcal {P}_{t}$$ the set of $$\mathcal {F}_{t}$$-measurable $$m_{t-1}$$-dimensional vector functions $$p_{t}(\omega )$$ such that $$E|p_{t} (\omega )|<\infty$$ and $$p_{t}(\omega )\in X_{t-1}^{*}(\omega )$$ (a.s.). Let $$\mathcal {Q}_{t}$$ be the set of $$\mathcal {F}_{t}$$-measurable $$m_{t}$$-dimensional vector functions $$q_{t}(\omega )$$ such that $$E|q_{t} (\omega )|<\infty$$ and $$q_{t}(\omega )\in X_{t}^{*}(\omega )$$ (a.s.).
To alleviate notation we will often omit “ $$\omega$$” when this does not lead to ambiguity.
Proof of Theorem 1
By virtue of Theorem  2, for each natural number N there exist a finite rapid path $$x_{0}(N),\ldots ,x_{N}(N)$$ with $$x_{0}(N)=x_{0}$$ and a dual path $$p_{1}(N),\ldots ,p_{N+1}(N)$$ supporting it.
We will construct by induction for each $$t=1,2,\ldots$$ a triplet of vector functions
\begin{aligned} (x_{t},p_{t},q_{t})\in \mathcal {X}_{t}\times \mathcal {P}_{t} \times \mathcal {Q}_{t} \end{aligned}
(35)
such that
\begin{aligned}&(p_{t},q_{t})\in Z_{t}^{\times }\text { (a.s.)}, \end{aligned}
(36)
\begin{aligned}&(x_{t-1},x_{t})\in Z_{t}\ \text {(a.s.)}, \end{aligned}
(37)
\begin{aligned}&p_{t}x_{t-1}=1\;\text {(a.s.)}, \end{aligned}
(38)
\begin{aligned}&q_{t-1}-E_{t-1}p_{t}\in X_{t-1}^{*}(\omega )\;\text {(a.s.)}, \text { if } t\ge 2, \end{aligned}
(39)
and a sequence of integer-valued $$\mathcal {F}_{t}$$-measurable random variables
\begin{aligned} t<N_{1}^{t}<N_{2}^{t}<\ldots \end{aligned}
(40)
such that
\begin{aligned} x_{t}(N_{k}^{t})\rightarrow x_{t},\;p_{t}(N_{k}^{t})\rightarrow p_{t}, \;q_{t}(N_{k}^{t})\rightarrow q_{t}\;\text {(a.s.) as }k\rightarrow \infty , \end{aligned}
(41)
and $$N_{1}^{t},N_{2}^{t},\ldots$$ is a subsequence of $$N_{1}^{t-1}, N_{2}^{t-1},\ldots$$ which can be represented as
\begin{aligned} N_{m}^{t}=N_{k(m)}^{t-1}, \end{aligned}
(42)
where $$0<k(1)<k(2)<\ldots$$ are $$\mathcal {F}_{t}$$-measurable integer-valued random variables.
Define
\begin{aligned} q_{t}(N):=E_{t}p_{t+1}(N)\ (0\le t\le N). \end{aligned}
(43)
Observe that for each $$t=1,2,\ldots$$ and $$N\ge t$$, we have
\begin{aligned}&|x_{t}(N)|\le K^{t}\;\text {(a.s.)},\;E|p_{t}(N)|\le C^{t},\;E|q_{t}(N)| \le C^{t+1}, \end{aligned}
(44)
\begin{aligned}&(p_{t}(N),q_{t}(N))\in Z_{t}^{\times }\text { (a.s.)}, \end{aligned}
(45)
\begin{aligned}&(x_{t-1}(N),x_{t}(N))\in Z_{t}\text { (a.s.)}, \end{aligned}
(46)
\begin{aligned}&p_{t}(N)x_{t-1}(N)=1\;\text {(a.s.)}, \end{aligned}
(47)
\begin{aligned}&q_{t-1}(N)=E_{t-1}p_{t}(N)\;\text {(a.s.)}, \end{aligned}
(48)
where the inequalities in ( 44) follow from ( 27), ( 28) and ( 43), relations ( 45)–( 47) hold because $$p_{1}(N),\ldots ,p_{N+1}(N)$$ is a dual path supporting the path $$x_{0}(N),\ldots , x_{N}(N)$$, and ( 48) is valid by the definition of $$q_{t-1}(N)$$.
Note that relations ( 45)–( 47) will remain valid if we replace $$N\ge t$$ by any random $$N(\omega )\ge t$$. This is also true for ( 48) if $$N(\omega )$$ is $$\mathcal {F}_{t-1}$$-measurable. Indeed, we have
\begin{aligned} q_{t-1}(N(\omega ),\omega )= & {} \sum _{m}\mathbf {1}_{\{N(\omega )=m\}}q_{t-1} (m,\omega )=\sum _{m}\mathbf {1}_{\{N(\omega )=m\}}E_{t-1}p_{t}(m,\omega )\nonumber \\= & {} E_{t-1}\sum _{m}\mathbf {1}_{\{N(\omega )=m\}}p_{t}(m,\omega )=E_{t-1} p_{t}(N(\omega ),\omega )\text { (a.s.)}. \end{aligned}
(49)
Let us construct a triplet ( 35) and a sequence ( 40) satisfying for $$t=1$$ all the conditions ( 36)–( 42) except for ( 39). We will apply Proposition  A.1 (see the Appendix) to the sequence of 3 n-dimensional $$\mathcal {F}_{1}$$-measurable random vectors $$w_{1} (N)=(x_{1}(N),\,p_{1}(N),q_{1}(N))\;(N\ge 1)$$. For each $$N=1,2,\ldots$$, these vectors satisfy conditions ( 44) with $$t=1$$, which implies that $$\lim \inf E|w_{1}(N)|<\infty$$. By virtue of Proposition  A.1, there exists a vector function $$w_{1}=(x_{1},\,p_{1},q_{1})$$ and a sequence of $$\mathcal {F} _{1}$$-measurable integer-valued functions $$1<N_{1}^{1}<N_{2}^{1}<\ldots$$ satisfying ( 35) and ( 41) with $$t=1$$. Since the sets $$Z_{t}^{\times }(\omega )$$ and $$Z_{t}(\omega )$$ are closed, the relations
\begin{aligned}&(p_{1}(N_{k}^{1}),q_{1}(N_{k}^{1}))\in Z_{1}^{\times } ,\;k=1,2,\ldots \;\text {(a.s.)}, \end{aligned}
(50)
\begin{aligned}&(x_{0},x_{1}(N_{k}^{1}))\in Z_{1},\;k=1,2,\ldots \;\text {(a.s.)}, \end{aligned}
(51)
\begin{aligned}&p_{1}(N_{k}^{1})x_{0}=1,\;k=1,2,\ldots \;\text {(a.s.)} \end{aligned}
(52)
yield in the limit ( 36)–( 38) for $$t=1$$. Note that $$||x_{1}||_{\infty }<\infty$$ because $$(x_{0},x_{1})\in Z_{1}$$ (a.s.), and so $$||x_{1}||_{\infty }\,\le K_{1}||x_{0}||_{\infty }$$.
Suppose a triplet ( 35) and a sequence ( 40) satisfying ( 36)–( 42) are constructed for some $$t\ge 1$$; let us construct such a triplet and a sequence for $$t+1$$. Since $$N_{k}^{t}(\omega )\ge t+1$$, relations ( 45)–( 48) (with $$t+1$$ in place of t) imply
\begin{aligned}&(p_{t+1}(N_{k}^{t}),q_{t+1}(N_{k}^{t}))\in Z_{t+1}^{\times } \;\text {(a.s.)}, \end{aligned}
(53)
\begin{aligned}&(x_{t}(N_{k}^{t}),x_{t+1}(N_{k}^{t}))\in Z_{t+1}\text { (a.s.)}, \end{aligned}
(54)
\begin{aligned}&p_{t+1}(N_{k}^{t})x_{t}(N_{k}^{t})=1\;\text {(a.s.)}, \end{aligned}
(55)
\begin{aligned}&q_{t}(N_{k}^{t})=E_{t}p_{t+1}(N_{k}^{t})\;\text {(a.s.)} \end{aligned}
(56)
for all $$k=1,2,\ldots$$. The last equality holds because the integer-valued random variable $$N_{k}^{t}$$ is $$\mathcal {F}_{t}$$-measurable [see ( 49)]. By the construction of the triplet $$(x_{t},\;p_{t},\;q_{t})$$ and the sequence $$N_{k}^{t}$$, we have
\begin{aligned} q_{t}(N_{k}^{t})\rightarrow q_{t}\;\text {(a.s.)},\;x_{t}(N_{k}^{t}) \rightarrow x_{t}\;\text {(a.s.)}. \end{aligned}
(57)
By virtue of ( 56) and ( 57), we have
\begin{aligned} E_{t}p_{t+1}(N_{k}^{t})=q_{t}(N_{k}^{t})\rightarrow q_{t}\;\text {(a.s.)}. \end{aligned}
(58)
We apply the conditional version of the multidimensional Fatou’s lemma (see the Appendix, Proposition  A.3) to the sequence of $$\mathcal {F}_{t+1}$$-measurable random vectors $$p_{k}(\omega ):=$$ $$p_{t+1}(N_{k}^{t} (\omega ),\omega )$$ whose values belong to the cone $$C(\omega ):=X_{t}^{*}(\omega )$$ (a.s.), depending $$\mathcal {F}_{t}$$-measurably on $$\omega$$. The conditional expectations $$E_{t}|p_{k}(\omega )|$$ are finite (a.s.) because
\begin{aligned} E_{t}|p_{t+1}(N_{k}^{t}(\omega ),\omega )|= & {} E_{t}\sum _{m} \mathbf {1}_{\{N_{k} ^{t}=m\}}|p_{t+1}(m,\omega )| \\= & {} \sum _{m}\mathbf {1}_{\{N_{k}^{t}=m\}}E_{t}|p_{t+1} (m,\omega )|<\infty \ \text {(a.s.)} \end{aligned}
(cf. ( 49)), where $$E_{t}|p_{t+1}(m,\omega )|<\infty$$ (a.s.) since $$E|p_{t+1}(m,\omega )|<\infty$$. Furthermore, $$E_{t}p_{k}(\omega )\rightarrow q_{t}(\omega )$$ (a.s.) by virtue of ( 58)]. Consequently, Proposition  A.3 can be applied, and we obtain that there exists a sequence $$1<k_{1} (\omega )<k_{2}(\omega )<\ldots$$ of $$\mathcal {F}_{t+1}$$-measurable integer-valued functions and an $$\mathcal {F}_{t+1}$$-measurable vector function $$p_{t+1} (\omega )\in C(\omega )$$ (a.s.) such that
\begin{aligned}&p_{k_{l}}\rightarrow p_{t+1}\;\text {(a.s.) as }l\rightarrow \infty , \end{aligned}
(59)
\begin{aligned}&q_{t}-E_{t}p_{t+1}\in C(\omega )\ \text {(a.s.)}. \end{aligned}
(60)
Since $$q_{t}\in \mathcal {Q}_{t}$$, inequality ( 60) implies that $$p_{t+1}\in \mathcal {P}_{t+1}$$. Indeed, we have $$\mathring{y}_{t}(\omega )\in X_{t}(\omega )$$ and $$q_{t}-E_{t}p_{t+1}\in C(\omega )=X_{t}^{*}(\omega )$$ (a.s.), consequently, $$q_{t}\mathring{y}_{t}-E_{t}p_{t+1}\mathring{y}_{t} \ge 0$$ (a.s.), which yields
\begin{aligned} ||\mathring{y}_{t}||_{\infty }~E|q_{t}|\ge Eq_{t}\mathring{y}_{t} \ge EE_{t}p_{t+1}\mathring{y}_{t}=Ep_{t+1}\mathring{y}_{t} \ge \frac{\varepsilon _{t}}{m_{t}}E|p_{t+1}|. \end{aligned}
The last inequality follows from Lemma  1 because $$p_{t+1}(\omega )\in C(\omega )=X_{t}^{*}(\omega )$$ (a.s.) and $$\mathbb {B} (\mathring{y}_{t},\varepsilon _{t})\subseteq X_{t}(\omega )$$ (a.s.).
By setting $$n_{l}^{t+1}:=N_{k_{l}}^{t}$$, we obtain a sequence
\begin{aligned} t+1<n_{1}^{t+1}<n_{2}^{t+1}<\ldots \end{aligned}
(61)
of $$\mathcal {F}_{t+1}$$-measurable integer-valued functions such that
\begin{aligned} p_{t+1}(n_{l}^{t+1})\rightarrow p_{t+1},\;x_{t}(n_{l}^{t+1}) \rightarrow x_{t}\;\text {(a.s.) as }l\rightarrow \infty \end{aligned}
(62)
by virtue of ( 59) and ( 57). Note that the first inequality in ( 61) holds because $$n_{1}^{t+1}=N_{k_{1}}^{t}>N_{1}^{t}>1$$. In view of ( 53)–( 55), we get
\begin{aligned} (p_{t+1}(n_{l}^{t+1}),q_{t+1}(n_{l}^{t+1}) \in Z_{t+1}^{\times }\;\text {(a.s.)}, \end{aligned}
(63)
\begin{aligned} (x_{t}(n_{l}^{t+1}),x_{t+1}(n_{l}^{t+1})\in Z_{t+1}\text { (a.s.)}, \end{aligned}
(64)
\begin{aligned} p_{t+1}(n_{l}^{t+1})x_{t}(n_{l}^{t+1})=1\;\text {(a.s.)}. \end{aligned}
(65)
Since the sequence $$p(l):=p_{t+1}(n_{l}^{t+1})$$ converges for almost all $$\omega$$, it is bounded for almost all $$\omega$$. By virtue of ( 63) and Lemma  3, the sequence $$q(l):=q_{t+1}(n_{l}^{t+1})$$ is a.s. bounded too. Lemma  3 can be applied because by definition, $$q_{t+1}(N)=E_{t+1}p_{t+2}(N)$$, and so $$q_{t+1}(N)\in X_{t+1}^{*}$$ (a.s.) [recall that $$p_{t+2}(N)\in X_{t+1}^{*}$$ (a.s.)].
For $$x(l):=x_{t+1}(n_{l}^{t+1})$$, we have $$|x(l)|\le K^{t+1}$$ (a.s.) according to ( 27). Therefore we can apply Proposition  A.1 to the sequence of $$\mathcal {F}_{t+1}$$-measurable random vectors $$v_{l}:=(x(l),q(l))$$. By virtue of this proposition, there exists a sequence $$1<l(1)<l(2)<\ldots$$ of $$\mathcal {F}_{t+1}$$-measurable integer-valued random variables and $$\mathcal {F}_{t+1}$$-measurable random vectors $$x_{t+1}\in X_{t+1}$$ (a.s.) and $$q_{t+1}\in X_{t+1}^{*}$$ (a.s.) for which
\begin{aligned} x(l(m))=x_{t+1}(n_{l(m)}^{t+1})\rightarrow x_{t+1},\ q(l(m))=q_{t+1} (n_{l(m)}^{t+1})\rightarrow q_{t+1}\;\text {(a.s.).} \end{aligned}
(66)
Since the sets $$Z_{t+1}^{\times }(\omega )$$ and $$Z_{t+1}(\omega )$$ are closed, it follows from ( 63)–( 66) and ( 62) that
\begin{aligned}&(p_{t+1},q_{t+1})\in Z_{t+1}^{\times }\;\text {(a.s.)},\end{aligned}
(67)
\begin{aligned}&(x_{t},x_{t+1})\in Z_{t+1}\text { (a.s.)}, \end{aligned}
(68)
\begin{aligned}&p_{t+1}x_{t}=1\;\text {(a.s.)}. \end{aligned}
(69)
We have $$|x_{t+1}|\le K^{t+1}$$ (a.s.) because $$|x(l)|\le K^{t+1}$$ (a.s.). Since $$q_{t+1}\in X_{t+1}^{*}$$ (a.s.) and $$(p_{t+1},q_{t+1})\in Z_{t+1}^{\times }$$ (a.s.), by Lemma  3 we get $$|q_{t+1}|\le C_{t+1}|p_{t+1}|$$, and so $$q_{t+1}\in \mathcal {Q}_{t+1}$$ as long as $$p_{t+1}\in \mathcal {P}_{t+1}$$, which was shown above. Thus the triplet $$(x_{t+1},p_{t+1},q_{t+1}) \in \mathcal {X}_{t+1} \times \mathcal {P}_{t+1}\times \mathcal {Q}_{t+1}$$ satisfies all the conditions listed in ( 36)–( 39) (with $$t+1$$ in place of t).
It remains to define the sequence $$N_{m}^{t+1}$$, $$m=1,2,\ldots ,$$ of $$\mathcal {F}_{t+1}$$-measurable random integers by
\begin{aligned} N_{m}^{t+1}:=n_{l(m)}^{t+1}=N_{k(l(m))}^{t}\ \ [n_{l}^{t+1}:=N_{k(l)}^{t}]. \end{aligned}
(70)
The sequence $$N_{m}^{t+1}$$ is strictly increasing in m because the sequences $$N_{k}^{t}$$, k( l), $$n_{l}^{t+1}$$ and l( m) are strictly increasing. We have $$N_{1}^{t+1}>t+1$$ since $$N_{1}^{t}>t$$ and $$k(l)>1$$. By using formulas ( 66) and ( 62), we obtain
\begin{aligned} x_{t+1}(N_{m}^{t+1})\rightarrow x_{t+1},\ p_{t+1}(N_{m}^{t+1}) \rightarrow p_{t+1},\ q_{t+1}(N_{m}^{t+1})\rightarrow q_{t+1}\;\text {(a.s.)}. \end{aligned}
thus the sequence $$N_{m}^{t+1}$$ possesses all the properties required for $$t+1$$ in ( 41) and ( 42) [the latter follows from ( 70)].
We have constructed for each $$t=1,2,\ldots$$, vector functions $$x_{t}(\omega )$$, $$p_{t}(\omega )$$, $$q_{t}(\omega )$$ satisfying ( 35)–( 39). Consider the sequences $$x_{0},x_{1},\ldots$$ and $$p_{1},p_{2},\ldots$$. It follows from ( 37) that the former is a path. Let us show that the latter is a dual path. The inequalities ( 39) (with $$t+1$$ in place of t) and ( 36) imply that there exists a vector function $$h_{t}\in \mathcal {Q}_{t}$$ such that for almost all $$\omega$$,
\begin{aligned} q_{t}(\omega )=(E_{t}p_{t+1})(\omega )+h_{t}(\omega ),\ h_{t}(\omega ) \in X_{t}^{*}(\omega ), \end{aligned}
(71)
and $$(p_{t}(\omega ),q_{t}(\omega ))\in Z_{t}^{\times }(\omega )$$. The last inclusion means that $$q_{t}(\omega )b\le p_{t}(\omega )a$$ for all $$(a,b)\in Z_{t}(\omega )$$. Taking into account ( 71), we get
\begin{aligned} b(E_{t}p_{t+1})(\omega )+bh_{t}(\omega )\le ap_{t}(\omega ),\ \ (a,b) \in Z_{t}(\omega ). \end{aligned}
(72)
Since $$b\in X_{t}(\omega )$$ as long as $$(a,b)\in Z_{t}(\omega )$$, we obtain that $$bh_{t}(\omega )\ge 0$$ [see ( 71)]. Consequently, we get
\begin{aligned} b(E_{t}p_{t+1})(\omega )\le ap_{t}(\omega ),\ \ (a,b)\in Z_{t}(\omega ), \end{aligned}
i.e. $$(p_{t}(\omega ),(E_{t}p_{t+1})(\omega ))\in Z_{t}^{\times }(\omega )$$, which proves that $$p_{1}(\omega ),p_{2}(\omega ),\ldots$$ is a dual path. It remains to observe that $$p_{1},p_{2},\ldots$$ supports $$x_{0},x_{1},\ldots$$ by virtue of ( 38). $$\square$$

## 6 Growth-optimality of rapid paths

Proof of Theorem 3
Let $$x_{0},x_{1},\ldots$$ be a rapid path supported by a dual path $$p_{1},p_{2},\ldots$$. Let us first observe that for any path $$(y_{t})$$ the sequence $$p_{t+1}y_{t}$$ ( $$t=1,2,\ldots$$) is a non-negative supermartingale with respect to the filtration $$\mathcal {F}_{1}\subseteq \mathcal {F}_{2}\subseteq \ldots$$. This is immediate from the relations:
\begin{aligned} E_{t}p_{t+1}x_{t}=\bar{p}_{t+1}x_{t}\le p_{t}x_{t-1} \ \text {(a.s.)} ,\ t=1,2,\ldots \end{aligned}
following from ( 9).
Further, consider any $$y\in L_{\infty }\left( \mathcal {F}_{t+l}, \mathbb {R}^{m_{t+l}}\right)$$ with $$|y(\omega )|\le \gamma |y_{t}(\omega )|$$. By using ( 9) and ( 23), we have
\begin{aligned} p_{t+l}y_{t+l-1}\ge \bar{p}_{t+l+1}(y_{t+l}+y)=\bar{p}_{t+l+1}y_{t+l} +\bar{p}_{t+l+1}y\ge \bar{p}_{t+l+1}y\text { (a.s.)} \end{aligned}
(73)
because $$\bar{p}_{t+l+1}y_{t+l}\ge 0$$ (a.s.). The last inequality is valid since $$y_{t+l}\left( \omega \right) \in X_{t+l} \left( \omega \right)$$ and $$p_{t+l+1}\left( \omega \right) \in X_{t+l}^{*} \left( \omega \right)$$ (a.s.), which yields $$p_{t+l+1}y_{t+l}\ge 0$$ (a.s.) and so $$\bar{p} _{t+l+1}y_{t+l}\ge 0$$ (a.s.). Put
\begin{aligned} y=\frac{\bar{p}_{t+l+1}}{|\bar{p}_{t+l+1}|}\gamma |y_{t}|. \end{aligned}
(74)
Then $$|y(\omega )|=\gamma |y_{t}(\omega )|$$ and $$y\in L_{\infty } \left( \mathcal {F}_{t+l},\mathbb {R}^{m_{t+l}}\right)$$. Consequently, ( 73) can be applied to y defined by ( 74). Observe that
\begin{aligned} \bar{p}_{t+l+1}y=\frac{||\bar{p}_{t+l+1}||^{2}}{|\bar{p}_{t+l+1}|} \gamma |y_{t}|\ge |\bar{p}_{t+l+1}|(m_{t+l})^{-1}\gamma |y_{t}|, \end{aligned}
(75)
where $$||\cdot ||$$ is the Euclidean norm in $$\mathbb {R}^{m_{t+l}}$$ (we use the inequality $$||\cdot ||\ge |\cdot |/\sqrt{m_{t+l}}$$). Further, the equality $$p_{t+l+1}x_{t+l}=1$$ implies $$\bar{p}_{t+l+1}x_{t+l}=1$$, and so
\begin{aligned} |\bar{p}_{t+l+1}||x_{t+l}|\ge 1, \end{aligned}
(76)
and it follows from (A3) with a constant $$K_{t}=K$$ independent of t that
\begin{aligned} |x_{t+l}|\le K^{l}|x_{t}|. \end{aligned}
(77)
By combining ( 76) and ( 77), we get
\begin{aligned} |\bar{p}_{t+l+1}|\ge K^{-l}|x_{t}|^{-1}, \end{aligned}
(78)
and by using ( 75), ( 73) and ( 78), we obtain
\begin{aligned} p_{t+l}y_{t+l-1}\ge K^{-l}(m_{t+l})^{-1}\gamma |y_{t}||x_{t}|^{-1} \ge K^{-l}m^{-1}\gamma |y_{t}||x_{t}|^{-1}\text { (a.s.),} \end{aligned}
(79)
which yields
\begin{aligned} p_{t+1}y_{t}\ge E_{t+1}p_{t+l}y_{t+l-1}\ge K^{-l}m^{-1} \gamma |y_{t} ||x_{t}|^{-1}\text { (a.s.).} \end{aligned}
(80)
Since $$p_{t+1}y_{t}$$ is a non-negative supermartingale, the proof is complete. $$\square$$

## 7 A financial market model

In this section we consider a model for a financial market with transaction costs and portfolio constraints in which the cones $$X_{t}(\omega )$$ and $$Z_{t}(\omega )$$ are polyhedral. We check conditions (A1)–(A5) guaranteeing that Theorems  1, 2, and 3 can be applied to the model. Additionally, we verify assumption ( L) and the following conditions ( F) and (A4 $$^{\prime }$$) that will be used further in our work.
( F) There exist $$\mathcal {F}_{t}$$-measurable random vectors $$f_{t,p}(\omega )$$, $$p=1,\ldots ,P$$, such that for each $$\omega$$ we have $$f_{t,p}(\omega )\ne 0$$,
\begin{aligned} X_{t}(\omega )=\left\{ a:a=\sum _{p=1}^{P}f_{t,p}(\omega )c^{p} \ \text {for some }c^{p}\ge 0,\ p=1,\ldots ,P\right\} . \end{aligned}
(81)
and
\begin{aligned} \theta _{t}|c|\le |\sum _{p=1}^{P}f_{t,p}(\omega )c^{{p}}| \le \Theta _{t}|c|,\ c=(c^{1},\ldots ,c^{P})\in \mathbb {R}_{+}^{P}, \end{aligned}
(82)
where $$0<\theta _{t}<\Theta _{t}$$ ( $$t=0,1,\ldots$$) are constants and P is a natural number.
( $$A4^{\prime }$$) For every $$t\ge 1$$ there exist a strictly positive constant $$\alpha _{t}>0$$ and a bounded vector function $$\hat{z}_{t}(\omega )= (\hat{x}_{t-1}(\omega ),\hat{y}_{t}(\omega ))$$ such that $$\hat{x}_{t-1} (\omega )$$ is $$\mathcal {F}_{t-1}$$-measurable, $$\hat{y}_{t}(\omega )$$ is $$\mathcal {F}_{t}$$-measurable and $$\mathbb {B}(\hat{z}_{t} (\omega ),\alpha _{t})\subseteq Z_{t}(\omega )$$ for all $$\omega$$.
Clearly ( $$A4^{\prime }$$) implies (A4).
We consider a market where m assets are traded at dates $$t=1,2,\ldots$$. Random vectors $$a(\omega )\in \mathbb {R}^{m}$$ are interpreted as (contingent) portfolios of assets. Positions $$a^{i}(\omega )$$ of the portfolio $$a(\omega )=(a^{1}(\omega ) ,\ldots ,a^{m}(\omega ))\in \mathbb {R}^{m}$$ are measured in terms of their values in the market prices. We omit $$\omega$$ in the notation where it does not lead to ambiguity.
For each $$t=0,1,\ldots$$ and $$i=1,\ldots ,m$$ the following $$\mathcal {F}_{t}$$-measurable random variables are given: margin requirement coefficients for long and short positions $$0<\mu _{t,i}^{+}<\mu _{t,i}^{-}$$, market asset prices $$S_{t,i}>0$$, transaction cost rates for selling and buying assets $$0\le \lambda _{t,i}^{+}<1$$, $$\lambda _{t,i}^{-}\ge 0$$, dividend or interest yield rates for long and short positions $$0\le D_{t,i}^{+}\le D_{t,i}^{-}$$. We denote by $$R_{t,i}=S_{t,i}/S_{t-1,i}$$ the return on asset i.
Portfolio constraints in the model are specified by the cones
\begin{aligned} X_{t}(\omega )=\left\{ a\in \mathbb {R}^{m}:\sum _{i=1}^{m}\mu _{t,i}^{+} (\omega )a_{+}^{i}\ge \sum _{i=1}^{m}\mu _{t,i}^{-}(\omega )a_{-}^{i}\right\} , \end{aligned}
(83)
where $$a_{-}=(-a)_{+}$$. The random variables $$\mu _{t,i}^{\pm }$$ can be used to define margin requirements as in the following two particular cases of ( 83):
\begin{aligned} X_{t}(\omega )= & {} \left\{ a\in \mathbb {R}^{m}:|a_{+}|\ge U_{t}|a_{-}|\right\} ,\quad \text {or} \end{aligned}
(84)
\begin{aligned} X_{t}(\omega )= & {} \left\{ a\in \mathbb {R}^{m}:\sum _{i=1}^{m}(1-\lambda _{t,i} ^{+}(\omega ))a_{+}^{i}\ge U_{t}\sum _{i=1}^{m}(1+\lambda _{t,i}^{-} (\omega ))a_{-}^{i}\right\} , \end{aligned}
(85)
where $$U_{t}>1$$ are constants. In both ( 84) and ( 85), $$U_{t}$$ can be interpreted as a margin requirement coefficient: a trader must be able to liquidate the long positions of her portfolio to cover the short positions with excess determined by $$U_{t}$$. In ( 84) no transaction costs are taken into account in the liquidation value. In ( 85), there are proportional transaction costs specified in terms of $$\lambda _{t,i}^{\pm }$$.
Trading in the market under consideration proceeds as follows. At each date t, the trader receives the dividend on her portfolio $$a(\omega )$$ purchased at the previous date. The amount of dividend is specified by the function $$d_{t}(\omega ,a)$$ defined by the formula
\begin{aligned} d_{t}(a)=\sum _{i=1}^{m}({D}_{t,i}^{+}a_{+}^{i}-{D}_{t,i}^{-}a_{-}^{i}). \end{aligned}
Here $${D}_{t,i}^{\pm }$$ specify the amount of dividend received or returned for each unit of cash invested in asset i. (We assume that dividends on short positions must be returned. The dividend rates for long and short positions might be different due to the presence of taxes on dividends). The dividends received or returned for a physical unit of asset i are $$D_{t,i}^{\pm }S_{t-1,i}$$.
After that, the trader rearranges her portfolio $$a(\omega )$$ with added dividend to a portfolio $$b(\omega )$$ subject to the self-financing constraint $$\psi _{t}(\omega ,a,b)\ge 0$$, where
\begin{aligned} \psi _{t}(a,b)=\sum _{i=1}^{m}(1-\lambda _{t,i}^{+})(R_{t,i}a^{i}-b^{i})_{+} -\sum _{i=1}^{m}(1+\lambda _{t,i}^{-})(R_{t,i}a^{i}-b^{i})_{-}+d_{t}(a). \end{aligned}
The first sum represents the amount of money the trader receives by selling assets, the second sum is the amount of money she pays for buying assets, including transaction costs.
The above description of the model corresponds to the cones
\begin{aligned} {Z}_{t}(\omega ):=\left\{ (a,b)\in X_{t-1}(\omega ) \times X_{t}(\omega ): \psi _{t}(\omega ,a,b)\ge 0\right\} . \end{aligned}
(86)
As a liquidation value function, which appears in condition ( L), we can use
\begin{aligned} \phi _{t}(\omega ,b)=\sum _{i=1}^{m}(1-\lambda _{t,i}^{+}(\omega ))b_{+}^{i} -\sum _{i=1}^{m}(1+\lambda _{t,i}^{-}(\omega ))b_{-}^{i}. \end{aligned}
(87)
Conditions under which the function ( 87) satisfies ( L) are given in Proposition 2 below.
A natural instance of this model is when asset 1 represents cash deposited with a bank account and the other assets are shares of stock. Then $$S_{t,1}=1$$ and $$\lambda _{t,1}^{\pm }=0$$ (the value is expressed in terms of cash and there are no transaction costs for cash). The random variables $$D_{t,1}^{\pm }$$ are interest rates for lending and borrowing and the random variables $$D_{t,i}^{\pm }$$, $$i\ge 2$$, are dividend yield rates on stock. Different dividend yield rates for long and short positions correspond to the situation when some assets pay dividends in a currency different from asset 1 and there is a bid-ask spread in the exchange rates.
Observe that $${Z}_{t}(\omega )$$ is indeed a cone: clearly it contains with any vector ( ab) all vectors $$\lambda (a,b)$$, where $$\lambda \ge 0$$. Also it is convex, since the function $$\psi _{t}(a,b)$$ is concave as follows from the representation
\begin{aligned} \psi _{t}(a,b)= & {} \sum _{i=1}^{m}[(1-\lambda _{t,i}^{+})(R_{t,i}a^{i} -b^{i})+D_{t,i}^{+}a^{i}]\\&-\sum _{i=1}^{m}[(\lambda _{t,i}^{-}+\lambda _{t,i}^{+})(R_{t,i}a^{i} -b^{i})_{-}+(D_{t,i}^{-}-D_{t,i}^{+})a_{-}^{i}], \end{aligned}
where the first sum is a linear function of ab and the second sum is a convex function of ab.
We introduce the following assumptions. To shorten the notation, we put $$\Lambda _{t,i}^{+}=1-\lambda _{t,i}^{+}$$ and $$\Lambda _{t,i}^{-}=1+\lambda _{t,i}^{-}$$.
(B1)
For each t, there exist constants $$\underline{R}_{t}$$, $$\overline{R}_{t}$$, $$\underline{\Lambda }_{t}$$, $$\overline{\Lambda }_{t}$$, $$\overline{D}_{t}$$ such that $$0<\underline{R}_{t}\le R_{t,i}(\omega )\le \overline{R}_{t}$$, $$0<\underline{\Lambda }_{t}\le \Lambda _{t,i}^{+} (\omega )$$, $$\Lambda _{t,i}^{-}(\omega )\le \overline{\Lambda }_{t}$$, $$D_{t,i} ^{-}(\omega )\le \overline{D}_{t}$$ for all i, $$\omega$$.
(B2)
For each t, there exists a constant $$\mu _{t}$$ such that $$\mu _{t,i}^{-}(\omega )/\mu _{t,j}^{+}(\omega )\ge \mu _{t}$$ for all $$\omega$$, $$i\ne j$$, and $$\mu _{t}>\nu _{t}$$, where $$\nu _{t}:=\max \{(\overline{\Lambda }_{t+1}\overline{R}_{t+1}+\overline{D}_{t+1})/(\underline{\Lambda } _{t+1}\underline{R}_{t+1}+\underline{D}_{t+1});\overline{\Lambda } _{t}/\underline{\Lambda }_{t}\}$$ and $$\underline{D}_{t}\ge 0$$ is a constant such that $$\underline{D}_{t}\le D_{t,i}^{+}(\omega )$$ for all $$\omega ,i$$.
Observe that for the particular examples of the cones $$X_{t}(\omega )$$ in ( 84) and ( 85), if condition (B1) is satisfied then (B2) will hold if $$U_{t}>\nu _{t}$$ for each t.
Proposition 1
Let conditions (B1) and (B2) hold. Then the cones $$X_{t}(\omega )$$ satisfy conditions ( F) and (A1) and the cones $$Z_{t}(\omega )$$ satisfy conditions (A2), (A3) and ( $$A4^{\prime }$$).
To prove Proposition  1 we will need the following auxiliary result .
Lemma 1
Let conditions (B1), (B2) hold. Then
(a)
For each t there exists a constant $$C_{t}^{1}>0$$ such that if $$a\in X_{t}(\omega )$$ then $$|a_{+}|-\nu _{t}|a_{-}| \ge C_{t}^{1}|a|$$.

(b)
For each t there exists a constant $$C_{t}^{2}$$ such that if $$a\in X_{t-1}(\omega )$$, $$b\in X_{t}(\omega )$$ and $$|b| \le C_{t}^{2}|a|$$, then $$(a,b)\in Z_{t}(\omega )$$.

Proof
(a)
Consider the non-random cone $$\tilde{X}_{t} =\{a\in \mathbb {R}^{m}:\mu _{t}|a_{-}|\le |a_{+}|\}$$. Condition (B2) implies that $$X_{t}(\omega )\subseteq \tilde{X}_{t}$$. Observe that since $$\mu _{t}>1$$ we have $$\tilde{X}_{t}\cap (-\tilde{X}_{t})=\{0\}$$. The continuous function $$h_{t}(a)=|a_{+}|-\nu _{t}|a_{-}|$$ is strictly positive on the compact set $$\hat{X}_{t}=\tilde{X}_{t}\cap \{a:|a|=1\}$$. Indeed, since $$h_{t}(a)\ge (\mu _{t}-\nu _{t})|a_{-}|$$ on $$\tilde{X}_{t}$$, then the equality $$h_{t}(a)=0$$ would imply $$|a_{-}|=0$$, and hence $$|a_{+}|=h_{t}(a)=0$$, so that $$|a|=0$$. Then $$h_{t}(a)$$ attains a strictly positive minimum on $$\hat{X}_{t}$$, which can be taken as $$C_{t}^{1}$$.

(b)
Let $$b\in X_{t}(\omega )$$. It is straightforward to check that for any numbers xy we have $$(x-y)_{+}\ge x_{+}-y_{+}$$ and $$(x-y)_{-}\le x_{-}+y_{+}$$. Using this, we obtain for any $$a\in X_{t-1}(\omega )$$
\begin{aligned} \psi _{t}(a,b)&\ge \sum _{i}((\Lambda _{t,i}^{+}R_{t,i}+D_{t,i}^{+}) a_{+}^{i}-(\Lambda _{t,i}^{-}R_{t,i}+D_{t,i}^{-})a_{-}^{i})-\sum _{i} (\Lambda _{t,i}^{+}+\Lambda _{t,i}^{-})b_{+}^{i}\\&\ge (\underline{\Lambda }_{t}\underline{R}_{t}+\underline{D}_{t}) |a_{+}|-(\overline{\Lambda }_{t}\overline{R}_{t}+\overline{D}_{t}) |a_{-}|-2\overline{\Lambda }_{t}|b_{+}|\\&\ge (\underline{\Lambda }_{t}\underline{R}_{t}+\underline{D}_{t}) (|a_{+}|-\nu _{t-1}|a_{-}|)-2\overline{\Lambda }_{t}|b|\\&\ge C_{t-1}^{1}(\underline{\Lambda }_{t}\underline{R}_{t} +\underline{D}_{t})|a|-2\overline{\Lambda }_{t}|b|. \end{aligned}
Then statement (b) can be fulfilled with the constant $$C_{t}^{2}=C_{t-1} ^{1}(\underline{\Lambda }_{t} \underline{R}_{t}+\underline{D}_{t})/(2\overline{\Lambda }_{t})$$, since in that case $$\psi _{t}(a,b)\ge 0$$, implying $$(a,b)\in Z_{t}$$.

$$\square$$
Proof of Proposition 1
Let us observe that the cones $$X_{t}$$ satisfy ( F). We first show that each cone $$X_{t}$$ is polyhedral. Put $$f_{t,i,j}=e_{i} -(\mu _{t,i}^{+}/\mu _{t,j}^{-})e_{j}$$ for $$i\ne j$$, where $$e_{i}$$ is the i-th basis vector in $$\mathbb {R}^{m}$$. Suppose $$a\in X_{t}(\omega )$$, $$a\ne 0$$. Denote by $$I=\{i$$: $$a^{i}>0\}$$, $$J=\{j$$: $$a^{j}<0\}$$ the sets of indices of positive and negative coordinates of a and put $$\delta =(\sum _{j\in J} \mu _{t,j}^{-}|a^{j}|)/(\sum _{i\in I}\mu _{t,i}^{+}a^{i})$$. Clearly, $$\delta \le 1$$ as $$a\in X_{t}$$. Then
\begin{aligned} a=\delta \sum _{i\in I}\sum _{j\in J}\frac{a^{i}\mu _{t,j}^{-}|a^{j}|}{\sum \limits _{k\in J}\mu _{t,k}^{-}|a^{k}|}f_{t,i,j}+(1-\delta ) \sum _{i\in I}a^{i}e_{i}. \end{aligned}
Hence the cone $$X_{t}$$ can be represented in the form ( 81) with $$m^{2}$$ generators: $$f_{t,i,j}$$ and $$e_{i}$$ for $$i,j=1,\ldots ,m$$, $$j\ne i$$.
Since $$f_{t,p}(\omega )\ne 0$$, we can assume without loss of generality that all the generators $$f_{t,p}(\omega )$$ of the cone $$X_{t}(\omega )$$ are normalized: $$|f_{t,p}(\omega )|=1$$. Then the second inequality in ( 82) will hold with $$\Theta _{t}=1$$.
To prove the first inequality in ( 82), observe that the minimum of the continuous function $$v(c,f_{1},\ldots ,f_{P}) :=|\sum _{p}c_{p}f_{p}|$$ is strictly positive on the compact set $$\{(c,f):c\in \mathbb {R}_{+}^{P},|c|=1,f_{p}\in \tilde{X}_{t}, |f_{p}|=1,p=1,\ldots ,P\}$$. Then $$\theta _{t}$$ can be taken equal to this minimum.
Let us check condition (A1). In the proof of Lemma  1, we observed that the cones $$X_{t}(\omega )$$ is contained in the non-random cone $$\tilde{X}_{t}=\{a\in \mathbb {R}^{m}: \mu |a_{-}|\le |a_{+}|\}$$. Put $$q_{t}=e$$, where $$e=(1,\ldots ,1)\in \mathbb {R}^{m}$$. Indeed, $$q_{t}\in X_{t}^{*}(\omega )$$ since for any $$a=(a^{1},\ldots ,a^{m})\in X_{t}(\omega )$$
\begin{aligned} q_{t}(\omega )a=\sum _{i=1}^{m}a^{i}=|a_{+}|-|a_{-}| \ge (\mu _{t}-1)|a_{-} |\ge 0. \end{aligned}
Note that the continuous function $$q_{t}(a)=\sum _{i=1}^{m}a^{i}$$ is strictly positive on the compact set $$\hat{X}_{t}=\tilde{X}_{t} \cap \{a:|a|=1\}$$. Indeed, since $$q_{t}(a)\ge (\mu _{t}-1)|a_{-}|$$ on $$\tilde{X}_{t}$$, the equality $$q_{t}(a)=0$$ would imply $$|a|=0$$. Then $$q_{t}(a)$$ attains a strictly positive minimum $$Q_{t}\le 1$$ on $$\hat{X}_{t}$$. Define $$H_{t}=Q_{t}^{-1}$$. Therefore, for any $$a\in X_{t}(\omega )$$
\begin{aligned} H_{t}^{-1}|a|\le q_{t}(\omega )a\le H_{t}|a|, \end{aligned}
which implies that assumption (A1) is satisfied.
Condition (A2) follows from statement (b) of Lemma  1 since for any $$a\in X_{t-1}(\omega )$$, $$0\le C_{t}^{2}|a|$$ and so $$(a,0)\in Z_{t}(\omega )$$.
Let us prove (A3). Suppose $$(a,b)\in Z_{t}$$. Since for any numbers xy we have $$(x-y)_{+}\le x_{+}+y_{-}$$ and $$(x-y)_{-} \ge y_{+}-x_{+}$$, we obtain
\begin{aligned} 0\le & {} \psi _{t}(a,b)\le \sum _{i}((\Lambda _{t,i}^{+} +\Lambda _{t,i}^{-})R_{t,i}+D_{t,i}^{+})a_{+}^{i} +\sum _{i}(\Lambda _{t,i}^{+}b_{-}^{i} -\Lambda _{t,i}^{-}b_{+}^{i})\nonumber \\\le & {} (2\overline{\Lambda }_{t}\overline{R}_{t}+\overline{D}_{t})|a| +\overline{\Lambda }_{t}|b_{-}|-\underline{\Lambda }_{t}|b_{+} |\le (2\overline{\Lambda }_{t}\overline{R}_{t} +\overline{D}_{t})|a|-C_{t} ^{1}\underline{\Lambda }_{t}|b|, \end{aligned}
(88)
where in the last inequality we used that $$b\in X_{t}(\omega )$$ and according to statement (a) of Lemma  1, we have $$\underline{\Lambda }_{t}|b_{+} |-\overline{\Lambda }_{t}|b_{-}| \ge \underline{\Lambda }_{t}(|b_{+}|-\nu _{t}|b_{-}|)\ge C_{t}^{1}\underline{\Lambda }_{t}|b|$$. This implies the validity of (A3) with the constant $$K_{t}=(2\overline{\Lambda }_{t} \overline{R}_{t}+\overline{D}_{t})/(C_{t}^{1}\underline{\Lambda }_{t})$$.
Now we will prove condition ( $$A4^{\prime }$$). Let $$\hat{x} =(1,\ldots ,1)\in \mathbb {R}^{m}$$. Put $$\hat{z}_{t}=(\hat{x}, \hat{y}_{t})$$ with $$\hat{y}_{t}=(C_{t}^{2}/2)\hat{x}$$. Observe that there exists $$\delta _{t}>0$$ such that $$\mathbb {B}(\hat{z}_{t}, \delta _{t})\subset \mathbb {R}_{+}^{2m}$$ and therefore $$\mathbb {B}(\hat{z}_{t},\delta _{t})\subset X_{t-1}\times X_{t}$$. Since $$|\hat{y}_{t}|<C_{t}^{2}|\hat{x}|$$, then one can find $$0<\alpha _{t} \le \delta _{t}$$ such that $$|y_{t}|\le C_{t}^{2}|x_{t}|$$ for any $$z_{t}=(x_{t-1},y_{t}) \in \mathbb {B}(\hat{z}_{t},\alpha _{t})$$. Then statement (b) of Lemma  1 implies $$z_{t}\in Z_{t}$$ for such $$z_{t}$$. Hence, the pair $$(\hat{z}_{t},\alpha _{t})$$ satisfies condition ( $$A4^{\prime }$$). Therefore all conditions (A1)–(A4) are satisfied and then Theorems  1 and 2 hold. $$\square$$
Let us assume that assumptions (B1) and (B2) hold with constants $$\mu _{t}$$, $$\underline{R}_{t}$$, $$\overline{R}_{t}$$, $$\underline{\Lambda }_{t}$$, $$\overline{\Lambda }_{t}$$, $$\overline{D}_{t}$$ not depending on t. Under these assumptions the following assertion is valid, guaranteeing that Theorem  3 holds in the model at hand.
Proposition 2
Let assumptions (B1) and (B2) hold with constants $$\mu _{t}$$, $$\underline{R}_{t}$$, $$\overline{R}_{t}$$, $$\underline{\Lambda }_{t}$$, $$\overline{\Lambda }_{t}$$, $$\overline{D}_{t}$$ not depending on t. Then
(a)
$$Z_{t}(\omega )$$ satisfy condition (A3) with constant K not depending on t and condition (A5) with $$l=1$$,

(b)
the function $$\phi _{t}(\omega ,b)$$ defined in ( 87) satisfies condition ( L).

Proof
(a)
From the proof of statement (a) of Lemma  1 one can see that if the constants from condition (B1) do not depend on t, then it is possible to choose $$C_{t}^{1}$$ independent of t. Then ( 88) implies that $$K_{t}$$ can be chosen independent of t.
Let us prove that (A5) holds. It follows from the proof of Lemma  1 that the constant $$C_{t}^{2}$$ can be chosen independent of t. Let $$\gamma =C^{2}/(m+1)$$ and consider any $$y_{t}\in \mathcal {X}_{t}$$. Put $$y_{t+1}=\gamma |y_{t}|\hat{x}$$, where $$\hat{x}=(1,\ldots ,1)\in \mathbb {R}^{m}$$. Then $$\mathbb {B}(y_{t+1}, \gamma |y_{t}|)\subseteq \mathbb {R}_{+}^{m}\subseteq X_{t+1}$$. Hence for any $$y\in L_{\infty }\left( \mathcal {F}_{t+1}, \mathbb {R}^{m}\right)$$ such that $$|y|\le \gamma |y_{t}|$$ we have $$y_{t+1}+y\in X_{t+1}$$ and $$|y_{t+1}+y|\le C^{2}|y_{t}|$$. Hence, statement (b) of Lemma  1 implies that $$(y_{t},y_{t+1}+y)\in Z_{t+1}$$, so condition (A5) holds with $$l=1$$.

(b)
Finally, we prove that the function $$\phi _{t}(\omega ,b)$$ satisfies condition ( L). The second inequality in condition ( L) holds with $$S=1$$. Let us prove the first inequality. Since $$X_{t}(\omega )\subseteq \tilde{X}_{t}=\{a\in \mathbb {R}^{m}: \mu |a_{-}|\le |a_{+}|\}$$, for every $$b\in X_{t}(\omega )$$ we have
\begin{aligned} \phi _{t}(\omega ,b)\ge \underline{\Lambda }|b_{+}|-\overline{\Lambda }|b_{-} |\ge \left( \underline{\Lambda }-\overline{\Lambda }/\mu \right) |b_{+}|. \end{aligned}
Condition (B2) implies that $$\mu \underline{\Lambda }>\overline{\Lambda }$$. Using that and $$|b_{+}|\ge |b_{-}|$$, the above inequality yields $$\phi _{t}(\omega ,b)\ge s\left| b\right|$$ with constant $$s=\left( \underline{\Lambda }-\overline{\Lambda }/\mu \right) /2>0$$.

$$\square$$

## Appendix

Let $$(\Omega ,\mathcal {F},P)$$ be a probability space and $$w_{N}(\omega )$$ ( $$\omega \in \Omega ,\;N=1,2,\ldots$$) a sequence of random vectors in $$\mathbb {R} ^{n}$$.
Proposition A.1
If $$\lim \inf |w_{N}(\omega )|<\infty$$ a.s. (which is so, in particular, when $$\lim \inf E|w_{N} (\omega )|<\infty$$), then there exists a sequence of integer-valued random variables $$N_{1}(\omega )<N_{2}(\omega )<\ldots$$ and a random vector $$w(\omega )$$ such that
\begin{aligned} \lim w_{N_{k}(\omega )}(\omega )=w(\omega )\;\text {(a.s.)} \end{aligned}
(89)
and
\begin{aligned} E|w(\omega )|\le \lim \inf E|w_{N}(\omega )|. \end{aligned}
(90)
Proof
Define $$\xi (\omega )=\lim \inf |w_{N}(\omega )|$$. Since $$\xi (\omega )<\infty$$ (a.s.), for almost all $$\omega$$ there exists a sequence $$\nu =(N_{k})_{k=1}^{\infty }$$ of natural numbers $$N_{k}$$ and a vector $$w\in \mathbb {R}^{n}$$ such that
\begin{aligned} N_{k}<N_{k+1},\ \lim |w_{N_{k}}(\omega )|\rightarrow \xi (\omega ), \ \lim w_{N_{k}}(\omega )=w,\ |w|=\xi (\omega ), \end{aligned}
(91)
Denote by A the set of $$(\omega ,v,w)$$ satisfying ( 91). This set is measurable with respect to $$\mathcal {F}\times \mathcal {B} (\mathbb {N}^{\infty })\times \mathcal {B}(\mathbb {R}^{n})$$, where $$\mathbb {N}^{\infty } :=\mathbb {N}\times \mathbb {N}\times \ldots$$ is the product of a countable number of copies of the discrete space $$\mathbb {N}:=\{1,2,\ldots \}$$ with the product topology. By virtue of Aumann’s measurable selection theorem (see e.g. [ 10]), there exist measurable $$\nu (\omega )=(N_{k}(\omega ))_{k=1}^{\infty }$$ and $$w(\omega )$$ such that $$(\omega , \nu (\omega ),w(\omega ))\in A$$ for almost all $$\omega$$. This yields ( 89) and ( 90) because $$E|w(\omega )|=E\xi (\omega )=E\lim \inf |w_{N}(\omega )|$$ by Fatou’s lemma. $$\square$$
Let C be a pointed closed cone in $$\mathbb {R}^{n}$$. We write $$a\le _{C}b$$ if $$b-a\in C$$.
Proposition A.2
Let $$p_{k}(\omega )$$, $$k=1,2,\ldots$$, be integrable random vectors with values in C such that the sequence $$Ep_{k}(\omega )$$ converges a.s. to a vector $$q\in \mathbb {R}^{n}$$. Then there exists a sequence of integer-valued random variables $$1<k_{1}(\omega )<k_{2}(\omega ) <\ldots$$ and an integrable random vector $$p(\omega )$$ such that
\begin{aligned} \lim _{l\rightarrow \infty }p_{k_{l}(\omega )}(\omega )=p(\omega ) \text { (a.s.)} \end{aligned}
and
\begin{aligned} Ep(\omega )\le _{C}q. \end{aligned}
Proposition  A.2 is a version of the multidimensional Fatou’s lemma—an important result in measure theory first obtained in connection with applications in Mathematical Economics by Schmeidler [ 55] and then developed in various directions by Hildenbrand [ 33], Artstein [ 3], Balder and Hess [ 5], Cornet et al. [ 12], and others. Proposition  A.2 extends Schmeidler’s result from the case $$C=\mathbb {R}_{+}^{n}$$ to the case of a general cone C, and Proposition  A.3 establishes an analogous fact for conditional expectations. For proofs of these propositions (under somewhat more general assumptions) see [ 6].
Let $$\mathcal {G}$$ be a sub- $$\sigma$$-algebra of $$\mathcal {F}$$ and let $$C(\omega )$$ be a pointed closed convex cone in $$\mathbb {R}^{n}$$ depending $$\mathcal {G}$$-measurably on $$\omega$$. A random vector $$p(\omega )$$ is said to be conditionally integrable (with respect to the $$\sigma$$-algebra $$\mathcal {G}$$) if $$E[|p(\omega )|\,|\mathcal {G}] <\infty$$ (a.s.), where $$|\cdot |$$ stands for a norm in $$\mathbb {R}^{n}$$.
Proposition A.3
Let $$p_{k}(\omega )$$, $$\omega \in \Omega ,\;k=1,2,\ldots$$, be conditionally integrable random vectors such that $$p_{k}(\omega )\in C(\omega )$$ (a.s.) and the conditional expectations $$E[p_{k}(\omega )|\mathcal {G}]$$ converge a.s. to a random vector $$q(\omega )$$. Then there exists a sequence of integer-valued random variables $$1<k_{1}(\omega )<k_{2}(\omega )<\ldots$$ and a conditionally integrable random vector $$p(\omega )$$ such that
\begin{aligned} \lim _{l\rightarrow \infty }p_{k_{l}(\omega )}(\omega ) =p(\omega )\, \text {(a.s.)} \end{aligned}
and
\begin{aligned} E[p(\omega )|\mathcal {G}]\le _{C(\omega )} q(\omega )\; \text {(a.s.).} \end{aligned}

## Publisher's Note

Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Footnotes
1
A set X in a linear space is called a cone if it contains with any its elements xy any non-negative linear combination $$\lambda x+\mu y$$ ( $$\lambda ,\mu \ge 0$$) of these elements. The cone X is called pointed if the inclusions $$x\in X$$ and $$-x\in X$$ imply $$x=0$$.

2
A set $$A(\omega )\subseteq \mathbb {R}^{k}$$ is said to depend $$\mathcal {F}_{t}$$-measurably on $$\omega$$ if the graph $$\{(\omega ,a):a\in A(\omega )\}$$ of the set-valued mapping $$\omega \mapsto A(\omega )$$ belongs to the $$\sigma$$-algebra $$\mathcal {F}_{t}\otimes \mathcal {B(}\mathbb {R}^{k})$$, where $$\mathcal {B(\cdot })$$ stands for the Borel $$\sigma$$-algebra.

Literatur
Über diesen Artikel

Zur Ausgabe