# A Guaranteed Deterministic Approach to Superhedging—The Case of Convex Payoff Functions on Options

^{1}

^{2}

Next Article in Journal

Next Article in Special Issue

Next Article in Special Issue

Previous Article in Journal

Previous Article in Special Issue

Previous Article in Special Issue

Faculty of Computational Mathematics and Cybernetics, Lomonosov Moscow State University, Leninskie Gory 1/52, 119991 Moscow, Russia

Financial Engineering and Risk Management Laboratory, National Research University Higher School of Economics, 20 Myasnitskaya Ulitsa, 101000 Moscow, Russia

Received: 29 July 2019 / Revised: 10 December 2019 / Accepted: 12 December 2019 / Published: 17 December 2019

(This article belongs to the Special Issue Mathematical Game Theory 2019)

This paper considers super-replication in a guaranteed deterministic problem setting with discrete time. The aim of hedging a contingent claim is to ensure the coverage of possible payoffs under the option contract for all admissible scenarios. These scenarios are given by means of a priori given compacts that depend on the history of prices. The increments of the price at each moment in time must lie in the corresponding compacts. The absence of transaction costs is assumed. The game–theoretic interpretation of pricing American options implies that the corresponding Bellman–Isaacs equations hold for both pure and mixed strategies. In the present paper, we study some properties of the least favorable (for the “hedger”) mixed strategies of the “market” and of their supports in the special case of convex payoff functions.

The present article continues the series of publications by the author [1,2,3,4,5,6,7,8]. These works develop a model of the financial market with an uncertain deterministic evolution of prices and discrete time. Asset prices evolve in a deterministic manner under the uncertainty described by a priori information on possible price increments. It is assumed that they lie in given compact sets depending on the history of prices. This model is an alternative to traditional probabilistic market models (The deterministic approach that we propose does not need a reference probabilistic measure, as is assumed within the probabilistic approach. A modern exposition of the probabilistic approach can be found in Reference [9].). A number of authors, particularly Fölmer and Shid [9], qualify alternative (to probabilistic) problem statements as formalizations of the Knightian uncertainty. This qualification, however, seems to us incorrect, since Knight [10] (chapter 8) speaks of uncertainty that cannot be quantified (as opposed to risk). In our works, we use the term “guaranteed deterministic approach”. This approach is applicable both for the problem of pricing and hedging options and for the problem of portfolio investment (see Reference [11]).

In the aforementioned series of publications, we focused on the issue of superhedging options in the presence of trade constraints. (The superhedging pricing of an option determines the minimum level of funds at the initial moment necessary for the seller of an option to guarantee coverage of the contingent liability (the potential payouts that depend on the history of prices) by choosing an appropriate (admissible) hedging strategy. Note that a wide range of pricing problems concerning contingent claims can be reduced to the superhedging pricing for the modified payoff structure (see Reference [9], Chapter 8).) In general, we considered American options; European and Bermuda options can be considered particular cases of American options under an economically natural assumption of “no arbitrage” in the market (in a certain sense). Note that the above-mentioned assumption about the compactness of the set of possible values of price increments (recall that these compacts depend on the history of prices) is essential for the problem of superhedging to be meaningful, since, under the unlimited support of conditional distributions of price increments and a given price history, one should generally expect degenerate hedging results, such as those described in Reference [12]. This is the reason why the authors of Reference [13] assume limited increments in the super-replication problem (albeit in a probabilistic setting) with one risky asset.

One of the first publications to develop a guaranteed deterministic approach is an article by Kolokoltsov [14], published in 1998. To our best knowledge, this is the first work to explicitly articulate this approach to pricing and hedging contingent option obligations. Implicitly, however, some mathematical tools for a guaranteed deterministic approach were already present in 1994 ([15] Sections 1.1.6 and 1.2.4). The result of the first part of Reference [14] (the case of a single risky asset and a convex payout function on European option) directly follows from Reference [15].

The guaranteed deterministic approach is closely related to a class of market models called interval models in Reference [16]. Our model and results are especially close to the ideas and results of V.N. Kolokoltsov (Chapters 11–14 of Reference [16]), including independent discovery of the game–theoretic interpretation of risk-neutral probabilities (we find this important from an economic point of view. In Reference [17], we present our thoughts on the importance of the meaningful interpretation of the concepts, assumptions, and mathematical results of financial models. We note that the perception of the risk-neutral valuation of financial instruments is of fundamental importance for the correct understanding of the phenomenon of “bubbles” in financial markets) under the assumption of no trading constraints; we find this interpretation to be quite important from an economic point of view. In Chapters 13 and 14 of Reference [16], dealing with the problem of pricing European and American options, the restrictions imposed on the logarithms of prices are assumed to be intervals, that is, the vectors of the logarithms of price increments lie in the parallelepiped, although the theory presented in Chapter 12 [16] allows one, in principle, to consider compact-valued restrictions on price movements, as in our work. The issues of game equilibrium in mixed strategies with trade restrictions and the role of “no arbitrage” assumptions for game equilibrium are not addressed in Reference [16]. Also, the relationship between deterministic and stochastic approaches is not discussed, though the solutions for these approaches may differ in general (the model considered in Chapters 13 and 14 of Reference [16] corresponds to the fairly regular (Lipschitzian) behavior of multi-valued mappings, so Kolokoltsov’s deterministic model, as a rule, produces the same results as the stochastic approach. The answer to this question, however, also depends on the “smoothness” of payment functions. Therefore, a mismatch between the results of the two approaches may take place even within the framework of Kolokoltsov’s model (for example, for binary options)).

Over the past few years, there has been increasing interest in a new approach to modeling uncertainty in the market called a “robust” or (less successfully) “model independent” method. A guaranteed deterministic approach can clearly be considered as robust. The works related to a robust approach can be divided into two directions: a quasi-sure approach and a pathwise approach. In related studies, two categories of financial instruments are usually distinguished in a portfolio. The first is trading, consisting of instruments traded dynamically (underlying assets) and the second is static, based on buy and hold strategies, usually using European call and put options with the same time of execution. The idea of studying these kinds of portfolios belongs to Hobson [18]. The relationship of pathwise and quasi-sure approaches was established in Reference [19].

This quasi-sure approach introduces a class of probabilistic measures that describe possible scenarios of market behavior. In contrast to the traditional probabilistic approach, this class can contain mutually singular measures, which create serious mathematical complications. The idea of a model with discrete time was introduced in Reference [20]. The choice of a class of probabilistic measures has produced a wide range of specifications for market dynamics. This approach has been used to describe market uncertainty in a number of papers (for example, References [21,22]).

The pathwise approach to describing the uncertainty in market modeling is defined through specific market scenarios, without the use of probabilistic measures. The general theory of the trajectory approach for a discrete-time model was constructed in Reference [23] based on the earlier developments in References [24,25]. Kolokoltsov’s work in Reference [16] and our study can be formally considered pathwise types. However, they differ in their use of “local in time” restrictions on possible trajectories, which leads to simpler economic interpretations and convenient use in practice. Also, the static part of the portfolio of financial instruments is not considered in these models.

In Reference [26], the research started in References [27,28] was continued. For a discrete time model, some general results on the duality of pricing have been obtained for American options. The authors managed to successfully apply dynamic principle programming via fictitious market extension, where all financial instruments are traded dynamically. Note that our approach is also based on the use of the principle of dynamic programming.

Below we provide a description of the concepts necessary for the purposes of this paper.

The key premise of the proposed approach is the formulation of “uncertain” price dynamics in terms of information on price movements (the increments are taken “backward”, that is, $\Delta {X}_{t}={X}_{t}-{X}_{t-1}$, where ${X}_{t}$ is the discounted price vector at time t and the i-th component of this vector is the per unit price of the i-th asset.) observed prior to time t. Specifically, possible increments $\Delta {X}_{t}$ of discounted prices (we suppose that a risk-free asset has a fixed price equal to one) belong to a priori given compacts ${K}_{t}(\xb7)\subseteq {\mathbb{R}}^{n}$, where the dot indicates the price prehistory known up to time $t-1$, $t=1,\dots ,N$. Let ${v}_{t}^{*}(\xb7)$ denote the infimum of portfolio value at time t that guarantees coverage of current and future possible claims on the American option given the price history and appropriately chosen hedging strategy. The corresponding Bellman-Isaacs equations expressed in discounted prices naturally arise from economic principals and are determined by selecting at step t the “best” admissible hedging strategy (the vector h describes the size of positions held in assets, i.e, the i-th component of this vector is the number of units of the i-th asset purchased or sold.) $h\in {D}_{t}(\xb7)\subseteq {\mathbb{R}}^{n}$ for the “worst” scenario of (discounted) price movements $y\in {K}_{t}(\xb7)$ for given potential option payoff functions ${g}_{t}(\xb7)$.

Let us first present a simple derivation of master equations, at the “engineering” level of rigor, by applying the principle of dynamic programming. Assume for simplicity that the supremum and infimum in (1) are attained. Then, the economic meaning of theBellman-Isaacs equations can be explained in the following (although slightly informal) way. Let $t\le N$ and ${x}_{1},\dots ,{x}_{t-1}$ be a history of price dynamics known up to time $t-1$, which is considered the present. To meet contingent liabilities on sold American options for certain, first, the value ${V}_{t-1}$ of the hedging portfolio should be no less than current liabilities ${g}_{t}({x}_{1},\dots ,{x}_{t-1})$ and, second, the value of the hedging portfolio in the next period ${V}_{t}={V}_{t-1}+{H}_{t}\Delta {X}_{t}$ (the strategy ${H}_{t}$ is selected at time $t-1$ and determined only by the price history ${x}_{1},\dots ,{x}_{t-1}$) should be no less than ${v}_{t}^{*}({x}_{1},\dots ,{x}_{t-1},{x}_{t-1}+y)$ for any possible scenario for one-step price movement $\Delta {X}_{t}=y\in {K}_{t}({x}_{1},\dots ,{x}_{t-1})$. Therefore, when choosing a strategy ${H}_{t}=h\in {D}_{t}({x}_{1},\dots ,{x}_{t-1})$ one must ensure that the portfolio value ${V}_{t-1}$ is at least ${v}_{t}^{*}({x}_{1},\dots ,{x}_{t-1},{x}_{t-1}+y)-hy$ in the most unfavorable price movement scenario $y\in {K}_{t}({x}_{1},\dots ,{x}_{t-1})$ at step t, that is, in scenario $y\in {K}_{t}({x}_{1},\dots ,{x}_{t-1})$ that maximizes the expression ${v}_{t}^{*}({x}_{1},\dots ,{x}_{t-1},{x}_{t-1}+y)-hy$. By minimizing this value by a properly selected strategy $h\in {D}_{t}({x}_{1},\dots ,{x}_{t-1})$, one can estimate the minimum reserves required to meet any possible future payment on the option. Since the optimal hedging portfolio covers current and future claims on the option, its value ${v}_{t}^{*}({x}_{1},\dots ,{x}_{t-1})$ is supposed to be equal to the maximum of two—current liabilities and minimum reserves for covering future payments.

Thus, formalizing the construction described above, we obtain the following recurrence relations: (The notation ∨ indicates the maximum, and $hy=\langle h,y\rangle $ is the vector dot product h to vector y.)
where ${\overline{x}}_{t-1}=({x}_{0},\dots ,{x}_{t-1})$ presents the price history up to the current moment t. The conditions for the validity of (1) are formulated in Theorem 3.1 in [1].

$$\begin{array}{c}{v}_{N}^{*}\left({\overline{x}}_{N}\right)={g}_{N}\left({\overline{x}}_{N}\right),\\ {v}_{t-1}^{*}\left({\overline{x}}_{t-1}\right)={g}_{t-1}\left({\overline{x}}_{t-1}\right)\vee \underset{h\in {D}_{t}\left({\overline{x}}_{t-1}\right)}{inf}\underset{y\in {K}_{t}\left({\overline{x}}_{t-1}\right)}{sup}\left[{v}_{t}^{*}({\overline{x}}_{t-1},{x}_{t-1}+y)-hy\right],\\ t=N,\dots ,1,\end{array}$$

Assume for convenience that ${g}_{0}=-\infty $, that is, there is no claim on the option at the initial moment; ${g}_{t}\ge 0$ for $t=1,\dots ,N$ for an American option. The sets ${D}_{t}(\xb7)$ are assumed to be convex and $0\in {D}_{t}(\xb7)$.

Multi-valued mappings $x\mapsto {K}_{t}\left(x\right)$ and $x\mapsto {D}_{t}\left(x\right)$, as well as functions $x\mapsto {g}_{t}\left(x\right)$, are assumed to be defined for all $x\in {\left({\mathbb{R}}^{n}\right)}^{t}$, $t=1,\dots ,N$. Therefore, the functions $x\mapsto {v}_{t}^{*}\left(x\right)$ are defined by Equation (1) for all $x\in {\left({\mathbb{R}}^{n}\right)}^{t}$.

In Equation (1), the functions ${v}_{t}^{*}$, as well as the corresponding supremum and infimum, take values in an extended set of real numbers $\mathbb{R}\cup \{-\infty ,+\infty \}=(-\infty ,+\infty )$, that is, a two-point compactification (the neighborhoods of points $-\infty $ and $+\infty $ are given by $(\infty ,a)$, $a\in \mathbb{R}$ and $(b,+\infty ]$, $b\in \mathbb{R}$, respectively.) of $\mathbb{R}$.

Let us consider an asset price trajectory $({x}_{0},\dots ,{x}_{t})={\overline{x}}_{t}$ over the period $[0,t]=\{0,\dots ,t\}$ as being possible if ${x}_{0}\in {K}_{0},\phantom{\rule{0.277778em}{0ex}}\Delta {x}_{1}\in {K}_{1}\left({x}_{0}\right),\phantom{\rule{0.277778em}{0ex}}\dots ,\phantom{\rule{0.277778em}{0ex}}\Delta {x}_{t}\in {K}_{t}({x}_{0},\dots ,{x}_{t-1})$, where $t=0,1,\dots ,N$ and denote by ${B}_{t}$ the sets of all possible trajectories of asset prices over the period $[0,t]$:

$${B}_{t}=\{({x}_{0},\dots ,{x}_{t}):{x}_{0}\in {K}_{0},\Delta {x}_{1}\in {K}_{1}\left({x}_{0}\right),\dots ,\Delta {x}_{t}\in {K}_{t}({x}_{0},\dots ,{x}_{t-1})\}.$$

Note that one of the important conditions for the validity of (1), formulated in Theorem 3.1 in Reference [1], is the boundedness of payoff functions ${g}_{t}$, which ensures that functions ${v}_{t}^{*}$ are bounded from above:

$$\begin{array}{c}\hfill \begin{array}{cc}\hfill \phantom{\rule{1.em}{0ex}}& \mathrm{There}\phantom{\rule{4.pt}{0ex}}\mathrm{are}\phantom{\rule{4.pt}{0ex}}\mathrm{constants}\phantom{\rule{4.pt}{0ex}}{C}_{t}\ge 0\phantom{\rule{4.pt}{0ex}}\mathrm{such}\phantom{\rule{4.pt}{0ex}}\mathrm{that}\phantom{\rule{4.pt}{0ex}}\mathrm{for}\phantom{\rule{4.pt}{0ex}}\mathrm{every}\phantom{\rule{4.pt}{0ex}}t=1,\dots ,N\phantom{\rule{4.pt}{0ex}}\mathrm{and}\phantom{\rule{4.pt}{0ex}}\mathrm{any}\phantom{\rule{4.pt}{0ex}}\mathrm{possible}\phantom{\rule{4.pt}{0ex}}\mathrm{price}\hfill \\ \hfill \phantom{\rule{1.em}{0ex}}& \phantom{\rule{4.pt}{0ex}}\mathrm{evolution}\phantom{\rule{4.pt}{0ex}}\phantom{\rule{4.pt}{0ex}}{\overline{x}}_{t}=({x}_{0},\dots ,{x}_{t})\in {B}_{t}\phantom{\rule{4.pt}{0ex}}\phantom{\rule{4.pt}{0ex}}\mathrm{the}\phantom{\rule{4.pt}{0ex}}\mathrm{inequality}\phantom{\rule{4.pt}{0ex}}{g}_{t}({x}_{0},\dots ,{x}_{t})\le {C}_{t}\phantom{\rule{4.pt}{0ex}}\mathrm{holds}.\hfill \end{array}\end{array}$$

Henceforth, we replace the last variable in functions ${v}_{t}^{*}$ with its “additive” representation for the convenience of notation:
and we can write the Bellman–Isaacs equations in terms of the functions ${w}_{t}$, $t=N,\dots ,0$ as follows:

$$w({\overline{x}}_{t-1},y)={w}_{t}({x}_{1},\dots ,{x}_{t-1},y)={v}^{*}({x}_{1},\dots ,{x}_{t-1},{x}_{t-1}+y),$$

$${v}_{t-1}^{*}(\xb7)={g}_{t-1}(\xb7)\vee \underset{h\in {D}_{t}(\xb7)}{inf}\underset{y\in {K}_{t}(\xb7)}{sup}\left[{w}_{t}(\xb7,y)-hy\right],\phantom{\rule{1.em}{0ex}}t=N,\dots ,1.$$

Let us now sketch the content of the above-mentioned series of our papers.

In Reference [1], we describe in detail the guaranteed deterministic approach, refer to the relevant literature, and formulate a corresponding financial market model with trading constraints. We also frame the problem of superhedging contingent claims on options, obtain the Bellman–Isaacs equations (1), and discuss what kinds of economic assumptions are needed to ensure the equation’s validity. Below we admit all the assumptions listed in Theorem 3.1 in Reference [1] and those listed in Item 1) of Remark 3.1 in Reference [1].

In Reference [2], different notions of “no-arbitrage” such as no sure arbitrage, no arbitrage opportunities, and no sure arbitrage with unbounded profit are introduced and studied in a deterministic market model. The paper also introduces the concept of the robustness of the “no-arbitrage” property (structural stability of the model) and obtains the criteria for robustness.

For the convenience of the reader we give several definitions of the notions introduced in Reference [2].

By the (deterministic) arbitrage opportunity (AO) at the time step t we mean the following:

- there exists a strategy ${h}^{*}\in {D}_{t}(\xb7)$, such that ${h}^{*}y\ge 0$ for all $y\in {K}_{t}(\xb7)$,
- there exists a price movement ${y}^{*}\in {K}_{t}(\xb7)$, such that ${h}^{*}{y}^{*}>0$.

By the (deterministic) sure arbitrage (SA) at the time step t we mean the following: there exists a strategy ${h}^{*}\in {D}_{t}(\xb7)$ such that ${h}^{*}y>0$ for all $y\in {K}_{t}(\xb7)$.

We say that there is a (deterministic) sure arbitrage with unlimited profit (SAUP) at the time step t if the function (It can be interpreted as the guaranteed profit for a strategy $h\in {D}_{t}(\xb7)$. Note that $min\{hy,\phantom{\rule{0.277778em}{0ex}}y\in {K}_{t}(\xb7)\}$ is attained due to the compactness of ${K}_{t}(\xb7)$ for some (worst scenario) ${y}_{h}^{*}\in {K}_{t}(\xb7)$; it is positive for the sure arbitrage strategy ${h}^{*}\in {D}_{t}(\xb7)$.) $h\mapsto min\{hy,\phantom{\rule{0.277778em}{0ex}}y\in {K}_{t}(\xb7)\}$ takes arbitrarily large values for $h\in {D}_{t}(\xb7)$.

Using these three notions of “arbitrage” we can define the corresponding “no arbitrage” properties on a time interval; any “no arbitrage” propriety on a time interval tantamount to “no arbitrage” propriety at every time step of this interval. We get so the following “no arbitrage” properties:

- no deterministic arbitrage opportunity (NDAO),
- no deterministic sure arbitrage (NDSA),
- deterministic sure arbitrage with unlimited profit (NDSAUP).

The structural stability in our context means that the qualitative behavior of a price dynamics ${K}_{t}(\xb7)$, namely some “no arbitrage” property, is unaffected by sufficiently small (with respect to the Pompeiu-Hausdorff metric) perturbations of ${K}_{t}(\xb7)$; such a “no arbitrage” property is called robust. In what follows we need two robust “no arbitrage” properties:

- –
- robust no deterministic arbitrage opportunity (RNDAO),
- –
- robust deterministic sure arbitrage with unlimited profit (RNDSAUP).

Reference [3] investigates the properties of the semicontinuity and continuity of solutions of the Bellman-Isaacs equations (1). The main result of that paper relates to the “smoothness” of solutions (1) (see [3], Theorem 3.2 oncontinuity ${v}_{t}^{*}(\xb7)$, $t=0,\dots ,N$) and is obtained under the rather weak assumption of “no-arbitrage”, RNDSAUP.

Proposition 2.1 in Reference [3] provides a sufficient condition for the compactness of ${B}_{t}$, namely, the upper semicontinuity of compact-valued mappings $x\mapsto {K}_{t}(\xb7)$, $t=1,\dots ,N$, and a sufficient condition for the validity of property (3), namely, the upper semicontinuity of ${K}_{t}(\xb7)$ and the upper semicontinuity of ${g}_{t}(\xb7)$, $t=1,\dots ,N$.

Under the conditions in Theorem 3.2 from Reference [3] and no trading constraints, in Reference [4], we estimate the modulus of the continuity of Bellman-Isaacs functions, in particular, in the case of Lipschitz functions. Reference [5] introduces the mixed extension of pure strategies of the “market” and studies the existence of game equilibrium and its properties. We use some of these results in this paper.

The justification of the transition from pure market strategies to their mixed extension is provided in Lemma 2.1 of Reference [5]. Following Reference [5], denote
and assume that integrals in (5) and (6) are well defined with respect to the measure Q.

$${\rho}_{t}(\xb7)=\underset{h\in {D}_{t}(\xb7)}{inf}\underset{Q\in {\mathcal{P}}_{t}(\xb7)}{sup}\int \left[{w}_{t}({\overline{x}}_{t-1},y)-hy\right]Q\left(dy\right),$$

$${\rho}_{t}^{\prime}(\xb7)=\underset{Q\in {\mathcal{P}}_{t}(\xb7)}{sup}\underset{h\in {D}_{t}(\xb7)}{inf}\int \left[{w}_{t}({\overline{x}}_{t-1},y)-hy\right]Q\left(dy\right),$$

The expression for ${\rho}_{t}(\xb7)$ appears in the Bellman-Isaacs equations for mixed strategies; following Reference [5], we can rewrite them in reduced form:

$$\begin{array}{c}{v}_{N}^{*}(\xb7)={g}_{N}(\xb7),\\ {v}_{t-1}^{*}(\xb7)={g}_{t-1}(\xb7)\vee {\rho}_{t}(\xb7),\phantom{\rule{4.pt}{0ex}}\mathrm{for}\phantom{\rule{4.pt}{0ex}}t=1,\dots ,N.\end{array}$$

Proposition 3.1 from Reference [5] states that if functions ${w}_{t}$ and a class of measures ${\mathcal{P}}_{t}(\xb7)$ such that integrals $\int {w}_{t}(\xb7,y)Q\left(dy\right)$ are defined (to avoid additional requirements on the functions ${v}_{t}^{*}$, one can use, for example, the class ${\mathcal{P}}^{*}\left({K}_{t}(\xb7)\right)$ of measures concentrated in a finite set of points from ${K}_{t}(\xb7)$ as the ${\mathcal{P}}_{t}(\xb7)$. On the other hand, one can require the ${v}_{t}^{*}$ to be universally measurable (or have some smoothness property, for example, semicontinuity).) for any measure $Q\in {\mathcal{P}}_{t}(\xb7)$, then
where ${\sigma}_{A}$ is the support function of the set A.

$${\rho}_{t}^{\prime}(\xb7)=\underset{Q\in {\mathcal{P}}_{t}(\xb7)}{sup}\left[\int {w}_{t}(\xb7,y)Q\left(dy\right)-{\sigma}_{{D}_{t}(\xb7)}\left(\int yQ\left(dy\right)\right)\right],$$

Note that ${\rho}_{t}(\xb7)>-\infty $ if and only if the condition of no sure arbitrage with unbounded profit $NDSAUP$ is fulfilled (see Remark 3.2, Item 1) in Reference [5]). If the condition of no sure arbitrage $NDSA$ is fulfilled, then ${\rho}_{t}^{\prime}(\xb7)\ge 0$ (see Remark 3.5, Item 3) of Reference [5]). The inequality ${\rho}_{t}(\xb7)\ge {\rho}_{t}^{\prime}(\xb7)$ always holds; the equality ${\rho}_{t}(\xb7)={\rho}_{t}^{\prime}(\xb7)$ represents the game equilibrium.

Item 5 of Remark 3.2 in Reference [5] shows that when there are no trading constraints, that is, ${D}_{t}(\xb7)\equiv {\mathbb{R}}^{n}$, the expression (8) takes a rather simple form (the supremum is taken, therefore, over the class of distributions, such that (discounted) prices of each risky asset are martingales.):

$${\rho}_{t}^{\prime}(\xb7)=\underset{Q\in {\mathcal{P}}_{t}(\xb7),\phantom{\rule{0.277778em}{0ex}}\int y\phantom{\rule{0.222222em}{0ex}}Q\left(dy\right)=0}{sup}\phantom{\rule{0.277778em}{0ex}}\int {w}_{t}(\xb7,y)Q\left(dy\right);$$

Reference [6] studies the game equilibrium in the market with no trading constraints and no arbitrage opportunities. Its main result is represented by Theorem 1, generalizing Theorem 12.21 in Reference [16], proved by V.N. Kolokoltsov. Reference [7] proposes a two-step method for solving the Bellman–Isaacs equations in the equilibrium case (for the equilibrium existence conditions, see References [5,6]). The paper shows that the most unfavorable mixed market strategies can be found in the class of distributions concentrated in at most $n+1$ points, where n is the number of risky assets. The paper also connects this method with the Generalized Problem of Moments; this method can be applied to other problems of hedging contingent claims. Reference [8] obtains conditions for the upper semicontinuity of multi-valued mappings, which associate a class of optimal mixed strategies of the “market” to an asset price trajectories. The paper also provides sufficient conditions for the existence of continuous selections of the supports of optimal “market” strategies that contain at most $n+1$ points.

In the present paper, we study the superhedging problem under the framework of the guaranteed deterministic approach for a case of convex payoff functions and a market model where compact sets of possible price increments that describe the uncertainty of price movements are convex. Our paper extends the results published in Reference [27], where a specific (and economically interesting) case proved that a call option with a convex payoff at maturity has, under some mild assumptions, a convex pricing function. In the framework of the model with convexity assumptions, we also obtain some delicate properties for optimal mixed strategies of the “market” and clarify the behavior of their supports (the general case was considered in Reference [8]). We provide a two-dimensional (We consider a rainbow option whose payoff depends on two underlying risky assets.) example that brings to light some particularities of this behavior.

An important and widespread real-life case is the convexity of option payoff functions ${g}_{t}$. In this case, with an additional (and natural from the perspective of economic applications) assumption of convexity ${K}_{t}(\xb7)$, which we will admit everywhere further, the supports of the optimal mixed strategies of the “market” reveal a particular behavior. This is due to the following property of the Bellman-Isaacs functions ${v}_{t}^{*}$.

If the compacts ${K}_{t}(\xb7)$, $t=0,\dots ,N$ are convex and the payoff functions ${g}_{t}$, $t=1,\dots ,N$ are convex, then the Bellman-Isaacs functions ${v}_{t}^{*}$, $\phantom{\rule{0.277778em}{0ex}}t=0,\dots ,N$, defined by (1), are also convex.

Let us prove the lemma by induction, using the Bellman–Isaacs Equation (1). For $s=N$, function ${v}_{s}^{*}$ is convex because ${v}_{N}^{*}(\xb7)={g}_{N}(\xb7)$. Let ${v}_{s}$ be convex for $s=N,\dots ,t+1$; now, we show that ${v}_{t}$ is also convex. Indeed, the function $({\overline{x}}_{t},h)\mapsto {v}_{t+1}^{*}({\overline{x}}_{t},{x}_{t}+y)-hy$ is convex for any $y\in {K}_{t}(\xb7)$, so the function
is convex with respect to $({\overline{x}}_{t},h)$. Let us denote

$${\phi}_{t}({\overline{x}}_{t},h)=\underset{y\in {K}_{t}(\xb7)}{sup}[{v}_{t+1}^{*}({\overline{x}}_{t},{x}_{t}+y)-hy]$$

$${\psi}_{t}\left({\overline{x}}_{t}\right)=\underset{h\in {D}_{t}(\xb7)}{inf}{\phi}_{t}({\overline{x}}_{t},h).$$

Consider ${\overline{x}}_{t}^{1}$ and ${\overline{x}}_{t}^{2}$ of ${\left({\mathbb{R}}^{n}\right)}^{t-1}$ and their convex combination ${\overline{x}}_{t}={q}_{1}{\overline{x}}_{t}^{1}+{q}_{2}{\overline{x}}_{t}^{2}$ with weights ${q}_{1},\phantom{\rule{0.222222em}{0ex}}{q}_{2}\ge 0$, ${q}_{1}+{q}_{2}=1$. For any given $\epsilon >0$, there are ${h}_{1}={h}_{1}(\epsilon ,{\overline{x}}_{t}^{1})\in {D}_{t}(\xb7)$ and ${h}_{2}={h}_{2}(\epsilon ,{\overline{x}}_{t}^{2})\in {D}_{t}(\xb7)$ such that ${\phi}_{t}({\overline{x}}_{t}^{1},{h}_{1})\le {\psi}_{t}\left({\overline{x}}_{t}^{1}\right)+\epsilon $ and ${\phi}_{t}({\overline{x}}_{t}^{2},{h}_{2})\le {\psi}_{t}\left({\overline{x}}_{t}^{2}\right)+\epsilon $. Due to the convexity of ${D}_{t}(\xb7)$, we obtain ${q}_{1}{h}_{1}+{q}_{2}{h}_{2}\in {D}_{t}(\xb7)$. The following inequalities can be written:

$$\begin{array}{cc}\hfill {q}_{1}{\psi}_{t}\left({\overline{x}}_{t}^{1}\right)+{q}_{2}{\psi}_{t}\left({\overline{x}}_{t}^{2}\right)-\epsilon & \ge {q}_{1}{\phi}_{t}({\overline{x}}_{t}^{1},{h}_{1})+{q}_{2}{\phi}_{t}({\overline{x}}_{t}^{2},{h}_{2})\hfill \\ \hfill \phantom{\rule{1.em}{0ex}}& \ge {\phi}_{t}({\overline{x}}_{t},{q}_{1}{h}_{1}+{q}_{2}{h}_{2})\ge \underset{h\in {D}_{t}(\xb7)}{inf}{\phi}_{t}({\overline{x}}_{t},h)={\psi}_{t}\left({\overline{x}}_{t}\right).\hfill \end{array}$$

As $\epsilon >0$ is arbitrary, we obtain

$${\psi}_{t}({q}_{1}{\overline{x}}_{t}^{1}+{q}_{2}{\overline{x}}_{t}^{2})\le {q}_{1}{\psi}_{t}\left({\overline{x}}_{t}^{1}\right)+{q}_{2}{\psi}_{t}\left({\overline{x}}_{t}^{2}\right).$$

Since
the function ${v}_{t}^{*}(\xb7)$ is convex as the maximum of convex functions. □

$${v}_{t}^{*}(\xb7)={g}_{t}(\xb7)\vee {\psi}_{t}(\xb7),$$

If $X\subseteq {\mathbb{R}}^{n}$ is a nonvoid convex compact, function f is continuous convex on X, $z\in X$, and then the functional $Q\mapsto \int f\phantom{\rule{0.222222em}{0ex}}dQ$ reaches its maximum on the set (Here, $\mathcal{P}\left(X\right)$ denotes the class of all probability measures defined on a Borel σ-algebra of X.)
for some distribution ${Q}^{*}$ concentrated on at most $n+1$ extreme point of X.

$$E\left(z\right)=\left\{Q\in \mathcal{P}\left(X\right):\phantom{\rule{0.277778em}{0ex}}\int y\phantom{\rule{0.222222em}{0ex}}Q\left(dy\right)=z\right\}$$

According to Remark 3.2, Item 2 in Reference [7], there is a distribution ${Q}^{\prime}$ concentrated on $k\le n+1$ points of X, which can be represented as ${Q}^{\prime}={\displaystyle \sum _{i=1}^{k}}{q}_{i}\phantom{\rule{0.222222em}{0ex}}{\delta}_{{x}^{i}}$, where $q\in {S}_{k-1}$, ${x}^{1},\dots ,{x}^{k}\in X$ maximizes (due to continuity of f, the function $Q\mapsto \int fdQ$ is also continuous (for weak topology on $\mathcal{P}\left(X\right)$)) function $Q\mapsto \int f\phantom{\rule{0.222222em}{0ex}}dQ$ on the (weakly) compact set $E\left(z\right)$. Let us build a distribution ${Q}^{\prime \prime}$, related to ${Q}^{\prime}$ and concentrated on the finite number of points from $ext\left(X\right)$, where $ext(\xb7)$ denotes a set of extreme points. By the Krein-Milman theorem (see, for example, Theorem 4.2 of Reference [28].) and the Caratheodory theorem (see, for example, Theorem 2.4 of Reference [28]) for each point ${x}^{i}$, $t=1,\dots ,k$ can be specified ${x}^{ij}\in ext\left(X\right)$ and ${p}_{ij}\ge 0$, $j=1,\dots ,n+1$, such as $\sum _{j=1}^{n+1}}{p}_{ij}=1$, $\sum _{j=1}^{n+1}}{p}_{ij}\phantom{\rule{0.222222em}{0ex}}{x}^{ij}={x}^{i$, $t=1,\dots ,k$. Therefore,
where ${q}_{ij}={q}_{i}\phantom{\rule{0.222222em}{0ex}}{p}_{ij}\ge 0$ and $\sum _{i=1}^{k}}{\displaystyle \sum _{j=1}^{n+1}}{q}_{ij}=1$.

$$\begin{array}{cc}\hfill \int f\phantom{\rule{0.222222em}{0ex}}d{Q}^{\prime}& ={\displaystyle \sum _{i=1}^{k}}{q}_{i}\phantom{\rule{0.222222em}{0ex}}f\left({x}^{i}\right)={\displaystyle \sum _{i=1}^{k}}{q}_{i}\phantom{\rule{0.222222em}{0ex}}f\left({\displaystyle \sum _{j=1}^{n+1}}{p}_{ij}\phantom{\rule{0.222222em}{0ex}}{x}^{ij}\right)\hfill \\ \hfill \phantom{\rule{1.em}{0ex}}& \le {\displaystyle \sum _{i=1}^{k}}{q}_{i}{\displaystyle \sum _{j=1}^{n+1}}{p}_{ij}\phantom{\rule{0.222222em}{0ex}}f\left({x}^{ij}\right)={\displaystyle \sum _{i=1}^{k}}{\displaystyle \sum _{j=1}^{n+1}}{q}_{ij}\phantom{\rule{0.222222em}{0ex}}f\left({x}^{ij}\right)=\int f\phantom{\rule{0.222222em}{0ex}}d{Q}^{\prime \prime},\hfill \end{array}$$

Thus, the distribution ${Q}^{\prime \prime}={\displaystyle \sum _{i=1}^{k}}{\displaystyle \sum _{j=1}^{n+1}}{q}_{ij}\phantom{\rule{0.222222em}{0ex}}{\delta}_{{x}^{ij}}$ maximizes the functional $Q\mapsto \int f\phantom{\rule{0.222222em}{0ex}}dQ$ on $E\left(z\right)$, and ${Q}^{\prime \prime}$ is concentrated in the finite number of points of $ext\left(X\right)$. However, the maximum $Q\mapsto \int f\phantom{\rule{0.222222em}{0ex}}dQ$ on the set of distributions concentrated on $ext\left(X\right)$ with a given mean z, i.e., $\{Q\in \mathcal{P}(ext\left(X\right)),\phantom{\rule{0.277778em}{0ex}}\int y\phantom{\rule{0.222222em}{0ex}}Q(dy)=z\}$, where $z\in conv(ext(X\left)\right)=X$, is reached on distributions concentrated on at most $n+1$ points of $ext\left(X\right)$; see Reference [7], Remark 3.2, Item 2. □

(1) If the conditions of Proposition 1 are fulfilled, then the functions ${v}_{t}^{*}(\xb7)$ are convex everywhere on ${\mathbb{R}}^{n}$ and, therefore, continuous (the same applies to the payoff functions ${g}_{t}(\xb7)$). Therefore, the condition (USC) from Reference [5], that is, the upper semicontinuity of ${v}_{t}^{*}(\xb7)$, $t=0,\dots ,N$, is fulfilled, so (Reference [5], Proposition 3.3) is applicable, and hence, there is an equilibrium with mixed extension $\mathcal{P}\left({K}_{t}(\xb7)\right)$; moreover, ${\mathcal{P}}_{t}^{opt}(\xb7)\ne \varnothing $.

(2) If the maximizer in expression (2.6) from [8] is unique, that is, ${\mathcal{P}}_{t}^{opt}(\xb7)=\left\{{Q}_{t}^{*}(\xb7)\right\}$ is a one-point set, then by Lemma 1, $supp\left({Q}_{t}^{*}(\xb7)\right)\subseteq ext\left({K}_{t}(\xb7)\right)$. Applying a two-stage optimization defined by the relations (11) and (12) in Reference [7] and taking into account Item 2 of Remark 3.2 in Reference [7], we conclude that the number of points in support $|supp({Q}_{t}^{*}(\xb7)\left)\right|\le n+1$. Moreover, if the conditions of Theorem 2.1 from Reference [8] are fulfilled, the mapping $x\mapsto {Q}_{t}^{*}\left(x\right)$ is (weakly) continuous and $x\mapsto supp\left({Q}_{t}^{*}(\xb7)\right)$ is a lower semicontinuous multivalued mapping.

(3) In the case when ${K}_{t}(\xb7)$ are convex polyhedra, that is, can be represented as a convex hull of a finite number of points (According to Theorem 19.1 in Reference [29], the polyhedrality of a convex set is equivalent to its finite generation; in the case of compactness, such a set coincides with the convex hull of a finite number of points; see also (Reference [28] Definition 2.2).), the set of extreme points $ext\left({K}_{t}(\xb7)\right)$ is finite and $m=|ext({K}_{t}(\xb7)\left)\right|\ge n+1$; so $n+1$ of these m points constitute the optimal mixed strategy’s support.

Let the compact-valued mappings ${K}_{t}(\xb7)$ be continuous, convex-valued mappings, ${D}_{t}(\xb7)$ be weakly continuous (That is, lower semicontinuous and closed (see the terminology in § 14 in Reference [30])), functions, and ${g}_{t}(\xb7)$ be convex (Since the functions ${g}_{t}(\xb7)$ are convex everywhere on ${\mathbb{R}}^{n}$, they are continuous (see, for example, Reference [29], Corollary 10.1.1).), $t=1,\dots ,N$. Suppose that the robust condition of no sure arbitrage with unbounded profit $RNDSAUP$ and one of two following conditions hold:

(1) set ${K}_{t}(\xb7)$ is strictly convex $t=1,\dots ,N$;

(2) ${K}_{t}\left(x\right)$ is a convex polyhedron with a constant (independent of x) number of vertices (The set of vertices of a compact convex polyhedron coincides with the set of its extreme points.), $t=1,\dots ,N$.

Then, the multi-valued mapping $x\mapsto {\mathcal{P}}_{t}^{opt}\left(x\right)\cap {\mathcal{P}}^{n}(ext\left({K}_{t}\left(x\right)\right))\ne \varnothing $ is upper semicontinuous.

If condition (1) of this proposition is fulfilled, then by Corollary 9.2 in Reference [30] (from Theorems 9.3 and 8.1), the multi-valued mapping $x\mapsto ext\left({K}_{t}(\xb7)\right)$ is h-continuous (For compact-valued mappings, h-continuity and continuity are equivalent; see Theorem 2.68 from Reference [31].). In general, we can only guarantee that this mapping is h-lower semicontinuous (see, for example, a relevant construction in Example 9.2 in Reference [30].), but if condition (2) of this proposition is fulfilled, using Lemma 2 in Reference [32], we obtain h-continuity for $x\mapsto ext\left({K}_{t}\left(x\right)\right)$. According to Theorem 2.1 in Reference [8], the multi-valued mapping $x\mapsto {\mathcal{P}}_{t}^{opt}\left(x\right)$ is upper semicontinuous. Furthermore, similar to the end of the proof of Theorem 2.1 in Reference [8], using Lemma 2.1 in Reference [8], we obtain the upper semicontinuity of the multi-valued mapping
and using Proposition 2.45 in Reference [31], which is applicable because ${\mathcal{P}}_{t}^{opt}\left(x\right)\cap {\mathcal{P}}^{n}(ext\left({K}_{t}\left(x\right)\right))\ne \varnothing $, by Theorem 2 in Reference [7], we prove that the multi-valued mapping
is upper semicontinuous. □

$$x\mapsto {\mathcal{P}}^{n}(ext\left({K}_{t}\left(x\right)\right),$$

$$x\mapsto {\mathcal{P}}_{t}^{opt}\left(x\right)\cap {\mathcal{P}}^{n}(ext\left({K}_{t}\left(x\right)\right)$$

Condition (2) from Proposition 2 is fulfilled, in particular, for the market model considered by V.N. Kolokoltsov in his article in Reference [16]; his model can be classified as multiplicative and homogeneous over time according to the terminology used in Reference [1]. Multiplicative factors ${M}_{t}$ determine the price dynamics ${X}_{t}$ according to the representation:
where ${C}_{t}(\xb7)$ is a non-empty compact subset ${\mathbb{R}}^{n}$; Kolokoltsev considered ${C}_{t}(\xb7)\equiv \stackrel{\u02c7}{C}$, where $\stackrel{\u02c7}{C}$ is a fixed rectangle, that is, a set $\stackrel{\u02c7}{C}={\displaystyle \prod _{i=1}^{n}}[{\alpha}_{i},{\beta}_{i}]$.

$${X}_{t}^{i}={M}_{t}^{i}{X}_{t-1}^{i},\phantom{\rule{0.277778em}{0ex}}{M}_{t}=({M}_{t}^{1},\dots ,{M}_{t}^{n})\in {C}_{t}(\xb7),\phantom{\rule{0.277778em}{0ex}}t=1,\dots ,N,$$

Moreover, it is shown in Reference [4], Proposition 2 that in this case, the multi-valued mapping ${K}_{t}(\xb7)$ is not only h-continuous but also the Lipschitz function (with respect to the Pompeiu-Hausdorff distance).

Let there be no trading constraints; the condition of no sure arbitrage $NDSA$ be fulfilled. Suppose that the functions ${g}_{t}(\xb7)$ are convex and ${K}_{t}(\xb7)$ are convex polyhedra, $t=1,\dots ,N$.

$\left(1\right)$If the condition
is fulfilled, then we have the following:

$$\begin{array}{c}\hfill \begin{array}{cc}\hfill 0\notin & ri(conv(A\left)\right)\phantom{\rule{4.pt}{0ex}}\mathit{for}\phantom{\rule{4.pt}{0ex}}\mathit{any}\phantom{\rule{4.pt}{0ex}}A\subseteq ext\left({K}_{t}(\xb7)\right),\phantom{\rule{4.pt}{0ex}}\mathit{such}\phantom{\rule{4.pt}{0ex}}\mathit{as}\phantom{\rule{4.pt}{0ex}}\left|A\right|\le n,\phantom{\rule{4.pt}{0ex}}\hfill \end{array}\end{array}$$

- -
- there is an optimal mixed strategy ${Q}_{t}^{*}(\xb7)$ with zero mean and $supp\left({Q}_{t}^{*}(\xb7)\right)\subseteq ext\left({K}_{t}(\xb7)\right)$ satisfying the condition of maximum cardinality of support, that is, $|supp({Q}_{t}^{*}(\xb7)\left)\right|\equiv n+1$;
- -
- compacts ${K}_{t}(\xb7)$ are full-dimensional, that is, $dim{K}_{t}(\xb7)=n$; and
- -
- the robust condition of no arbitrage opportunities $RNDAO$ is fulfilled.

$\left(2\right)$If, in addition, ${\mathcal{P}}_{t}^{opt}(\xb7)$ contains a single element, that is, ${\mathcal{P}}_{t}^{opt}(\xb7)=\left\{{Q}_{t}^{*}(\xb7)\right\}$, the compact-valued mappings ${K}_{t}(\xb7)$ are continuous, $t=1,\dots ,N$, then multi-valued mapping $x\mapsto supp\left({Q}_{t}^{*}(\xb7)\right)$ can be decomposed into n non-coincident continuous everywhere branches, each of which is a vertex of one of the ${K}_{t}(\xb7)$ n-simplex (the n-simplex is a solid polyhedron in ${\mathbb{R}}^{n}$ with $n+1$ vertices (which are the extreme points of this polyhedron)) containing 0. (There can be several such n-simplexes.)

(1) In the absence of trading constraints, $NDSAUP$ and $NDSA$ equivalent; therefore, ${\rho}_{t}^{\prime}(\xb7)>-\infty $; moreover, ${\rho}_{t}^{\prime}(\xb7)\ge 0$ (see Section 1 of this article). Since, by Item (1) of Remark 1, the game equilibrium takes place, that is, ${\rho}_{t}(\xb7)={\rho}_{t}^{\prime}(\xb7)$, and moreover, there are optimal mixed market strategies that maximize the expression (8). Using Lemma 1, we find that there is an optimal mixed strategy ${Q}_{t}^{*}(\xb7)$ with zero mean and $supp\left({Q}_{t}^{*}(\xb7)\right)\subseteq ext\left({K}_{t}(\xb7)\right)$, where $|supp({Q}_{t}^{*}(\xb7)\left)\right|\le n+1$. On the other hand, for an optimal mixed strategy with zero mean, that is, $\int y{Q}_{t}^{*}\left(dy\right)=0$, by Theorem 1.49 in Reference [9], we conclude that $0\in ri(conv(supp\left({Q}_{t}^{*}(\xb7)\right))$; from condition (11), therefore, $|supp({Q}_{t}^{*}(\xb7)\left)\right|\ge n+1$ follows. Therefore, due to condition (11), we obtain that for this mixed strategy, $|supp({Q}_{t}^{*}(\xb7)\left)\right|=n+1$.

Denote ${n}^{\prime}=dim(supp\left({Q}_{t}^{*}(\xb7)\right)$; because $supp\left({Q}_{t}^{*}(\xb7)\right)\subseteq {K}_{t}(\xb7)$, we have ${n}^{\prime}\le dim{K}_{t}(\xb7)\le n$. Let us suppose that ${n}^{\prime}<n$. According to the Caratheodory theorem, there are at most ${n}^{\prime}+1$ points ${x}_{1},\dots ,{x}_{k}$ of $S\left(x\right)$, such as $0\in conv\left(\{{x}_{1},\dots ,{x}_{k}\}\right)$, such that there are natural numbers $m\le k$ and ${q}_{{i}_{1}}>0,\dots ,{q}_{{i}_{m}}>0$, $\sum _{j=1}^{m}}{q}_{{i}_{j}}=1$, such as $\sum _{j=1}^{m}}{q}_{{i}_{j}}{x}_{{i}_{j}}=0$, and hence, $0\in ri(conv\left(\{{x}_{{i}_{1}},\dots ,{x}_{{i}_{m}}\}\right)$; this contradicts assumption (11). Therefore, ${n}^{\prime}=n$. However, it is then also the case that $dim{K}_{t}(\xb7)=n$, that is, ${K}_{t}(\xb7)$ are full-dimensional.

Since $dim(supp\left({Q}_{t}^{*}(\xb7)\right)=dim{K}_{t}(\xb7)$ and $\int y{Q}_{t}^{*}\left(dy\right)=0$, then by Proposition 1 in Reference [6], the condition of no arbitrage opportunities $NDAO$ is equivalent to $0\in ri(conv\left({K}_{t}(\xb7)\right)=ri\left({K}_{t}(\xb7)\right)$. Finally, from the full-dimensionality of ${K}_{t}(\xb7)$, it follows that $ri\left({K}_{t}(\xb7)\right)=int\left({K}_{t}(\xb7)\right)$, which means that $0\in int\left({K}_{t}(\xb7)\right)$, which in turn is equivalent to condition $RNDAO$ by Proposition 5.1 in Reference [2].

(2) Using Proposition 3.3 in Reference [8], we obtain that for ${Q}_{t}^{*}(\xb7)$, which we found in Item 1) of the proof, the mapping $x\mapsto supp\left({Q}_{t}^{*}(\xb7)\right)$ is continuous, and thus, this multi-valued mapping can be decomposed into $n+1$ continuous everywhere non-coincident branches: $supp\left({Q}_{t}^{*}(\xb7)\right)=\{{y}_{t}^{1}(\xb7),\dots ,{y}_{t}^{n+1}(\xb7)\}\subseteq ext\left({K}_{t}(\xb7)\right)$; note that and $0\in int(conv\left(\{{y}_{t}^{1}(\xb7),\dots ,{y}_{t}^{n+1}(\xb7)\}\right)$ and
$conv\left(\{{y}_{t}^{1}(\xb7),\dots ,{y}_{t}^{n+1}(\xb7)\}\right)$ is a simplex. □

Under the assumptions of Proposition 1, we illustrate the behavior of the support of the optimal mixed strategy (Now, it will be more convenient to denote an optimal mixed strategy by ${Q}_{t,\xb7}^{*}$ instead of ${Q}_{t}^{*}(\xb7)$.) ${Q}_{t,\xb7}^{*}$ concentrated on the extreme points ${K}_{t}(\xb7)$, using the example of a two-dimensional market model with no trading constraints, as described in Remark 2 (i.e., for $n=2$).

The market dynamics are described by the following relations:
In this case, ${K}_{t}(\xb7)$ is rectangle; for $i=1,2$ denote ${a}^{i}\left({x}_{t-1}\right)={x}_{t-1}({\alpha}^{i}-1)$, ${b}^{i}\left({x}_{t-1}\right)={x}_{t-1}({\beta}^{i}-1)$; then,

$$\begin{array}{cc}\hfill {X}_{t}^{1}={M}_{t}^{1}{X}_{t-1}^{1},& \phantom{\rule{1.em}{0ex}}{M}_{t}^{1}\in [{\alpha}^{1},{\beta}^{1}];\hfill \\ \hfill {X}_{t}^{2}={M}_{t}^{2}{X}_{t-1}^{2},& \phantom{\rule{1.em}{0ex}}{M}_{t}^{2}\in [{\alpha}^{2},{\beta}^{2}].\hfill \end{array}$$

$${K}_{t}\left({\overline{x}}_{t-1}\right)={K}_{t}({x}_{0},\dots ,{x}_{t-1})=[{a}^{1}\left({x}_{t-1}\right),{b}^{1}\left({x}_{t-1}\right)]\times [{a}^{2}\left({x}_{t-1}\right),{b}^{2}\left({x}_{t-1}\right)].$$

Assume that condition $RNDAO$ is fulfilled, that is, $0\in int\left({K}_{t}(\xb7)\right)$, which is tantamount to ${\alpha}^{1}<1<{\beta}^{1}$ and ${\alpha}^{2}<1<{\beta}^{2}$.

For the support ${S}_{t}(\xb7)=supp\left({Q}_{t,\xb7}^{*}\right)$ of an optimal mixed strategy, concentrated on extreme points, that is, the vertices of a rectangle ${K}_{t}(\xb7)$, condition $RNDAO$ eliminates the case in which $|{S}_{t}(\xb7)|=1$; moreover, for the case in which $|{S}_{t}(\xb7)|=2$, it also excludes the possibility that the support ${S}_{t}(\xb7)$ consists of the end points of any side of the rectangle; so if the support ${S}_{t}(\xb7)$ is concentrated on two points, then these points are the end points of the diagonal (closed segments connecting opposite vertices of the rectangle ${K}_{t}(\xb7)$). We refer to the diagonal connecting points $({a}^{1}\left({x}_{t-1}\right),{a}^{2}\left({x}_{t-1}\right))$ and $({b}^{1}\left({x}_{t-1}\right),{b}^{2}\left({x}_{t-1}\right))$ and the diagonal connecting $({a}^{1}\left({x}_{t-1}\right),{b}^{2}\left({x}_{t-1}\right))$ and $({b}^{1}\left({x}_{t-1}\right),{a}^{2}\left({x}_{t-1}\right))$ as the positive and negative (This terminology is chosen because for a distribution with a support consisting of two or three extreme points of ${K}_{t}(\xb7)$ containing this diagonal, random variables that are components of a random vector with this distribution have a positive or negative correlation coefficient, respectively.) connecting points, respectively. Furthermore, it is easy to check that the point $\mathbf{0}=(0,0)$ lies on the positive diagonal if and only if
denote this number by p. Point $\mathbf{0}=(0,0)$ lies on the negative diagonal if and only if
denote this number by q. If point $\mathbf{0}=(0,0)$ lies at the intersection of the diagonals, that is, (12) and (13) are fulfilled simultaneously, then $p=q=1/2$. Four more possible cases arise when $|{S}_{t}(\xb7)|=3$, that is, when both (12) and (13) are not fulfilled:

$$\frac{{\beta}^{1}-1}{{\beta}^{1}-{\alpha}^{1}}=\frac{{\beta}^{2}-1}{{\beta}^{2}-{\alpha}^{2}}\in (0,1);$$

$$\frac{{\beta}^{1}-1}{{\beta}^{1}-{\alpha}^{1}}=\frac{1-{\alpha}^{2}}{{\beta}^{2}-{\alpha}^{2}}\in (0,1);$$

$$\frac{{\beta}^{2}-1}{{\beta}^{2}-{\alpha}^{2}}\ne \frac{{\beta}^{1}-1}{{\beta}^{1}-{\alpha}^{1}}\ne \frac{1-{\alpha}^{2}}{{\beta}^{2}-{\alpha}^{2}}.$$

For this example, this is exactly condition (11) (this takes as given that the point $\mathbf{0}=(0,0)$ is not a vertex of the rectangle ${K}_{t}(\xb7)$ and does not belong to its sides) from Proposition 3. Note that the coefficients ${\alpha}^{1}$, ${\beta}^{1}$, ${\alpha}^{2}$ and ${\beta}^{2}$ are market model parameters and are not related to payoff function values. Summarizing the various cases, we find that the optimal mixed strategy, concentrated on at most three extreme points (vertices) of ${K}_{t}(\xb7)$, will be concentrated:

(1) on two points when (12) and (13) are fulfilled simultaneously, that is, $\mathbf{0}=(0,0)$ lies at the intersection of the diagonals; two points always lie on one of the diagonals;

(2) on two or three points if either (12) or (13), that is, point $\mathbf{0}=(0,0)$ lies on one of the diagonals; two points always lie on one of the diagonals; and

(3) on three points if both (12) and (13) are not fulfilled, that is, when (14) holds, the condition (11) is fulfilled in this case.

To determine the optimal mixed strategy with ${S}_{t}(\xb7)\subseteq ext\left({K}_{t}(\xb7)\right)$ and $|{S}_{t}(\xb7)|\le 3$, we need information about the values of the Bellman function $y\mapsto {w}_{t}(\xb7,y)$ at the vertices of the rectangle ${K}_{t}(\xb7)$. According to the results in Reference [7], Sections 4 and 5, we construct the concave hull of the function $y\mapsto {w}_{t}(\xb7,y)$. To do so, it suffices to determine the “dominant” diagonal by checking the values that affine functions defined on the diagonals by the values of the Bellman function $y\mapsto {w}_{t}(\xb7,y)$ at the end points of the corresponding diagonal take at the diagonals’ intersection point, that is, comparing
(the value for the positive diagonal) and
(the value for the negative diagonal). When one of the expressions (15) and (16) takes a greater value, it corresponds to the dominant diagonal; when expressions (15) and (16) take the same value, the concave hull of the Bellman function is an affine function.

$$\frac{1}{2}[{w}_{t}(\xb7,({a}^{1}\left({\overline{x}}_{t-1}\right),{a}^{2}\left({\overline{x}}_{t-1}\right)))+{w}_{t}(\xb7,({b}^{1}\left({\overline{x}}_{t-1}\right),{b}^{2}\left({\overline{x}}_{t-1}\right)))]$$

$$\frac{1}{2}[{w}_{t}(\xb7,({a}^{1}\left({\overline{x}}_{t-1}\right),{b}^{2}\left({\overline{x}}_{t-1}\right)))+{w}_{t}(\xb7,({b}^{1}\left({\overline{x}}_{t-1}\right),{a}^{2}\left({\overline{x}}_{t-1}\right)))]$$

According to the results of Reference [33], a solid polyhedron ${M}_{k}$ in ${\mathbb{R}}^{n}$ with k vertices ($k\ge n+1$) can be represented as a simplicial decomposition union of (this is the minimum possible number of n-simplexes in simplicial decomposition.) $k-n$ subsets and n-simplexes (n-simplex is a solid polyhedron in ${\mathbb{R}}^{n}$ with $n+1$ vertexes.) with vertices that are vertices of the polyhedron, so that the interiors of these n-simplixes would be non-intersecting. For our example, there are two such decompositions: the division by the positive diagonal into two 3-simplexes (i.e., a triangle) or by the negative diagonal into two other 3-simplexes; accordingly, we call these decompositions positive and negative.

If one of the expressions (15) and (16) is strictly greater than the other, then the decomposition corresponding to the dominant diagonal is of interest, and the concave hull is a piecewise affine function on triangles having the dominant diagonal as their common side. Recall that in accordance with the results of Reference [7] the value ${\rho}_{t-1}^{\prime}(\xb7)$ is defined as the value of the concave hull function $y\mapsto {w}_{t}(\xb7,y)$ at point $y=0$. By Theorem 1 in Reference [6], there is an equilibrium in the class of mixed strategies concentrated on a finite number of points. Note that since $RNDAO$ implies $NDSA$, then according to the results in Reference [5] (see the reasoning after Remark 7), the European option can be considered a special case of the American option when ${g}_{t}(\xb7)\equiv 0$ for $t=1,\dots ,N-1$ and ${g}_{N}=g$, where g is a terminal payoff function. Therefore, in the case of inequality

$$\begin{array}{c}{w}_{t}(\xb7,({a}^{1}\left({x}_{t-1}\right),{a}^{2}\left({x}_{t-1}\right)))+{w}_{t}(\xb7,({b}^{1}\left({x}_{t-1}\right),{b}^{2}\left({x}_{t-1}\right)))>\\ {w}_{t}(\xb7,({a}^{1}\left({x}_{t-1}\right),{b}^{2}\left({x}_{t-1}\right)))+{w}_{t}(\xb7,({b}^{1}\left({x}_{t-1}\right),{a}^{2}\left({x}_{t-1}\right)))\end{array}$$

The positive diagonal dominates. If (12) is fulfilled, that is, $\mathbf{0}=(0,0)$ is on the positive diagonal, then

$${Q}_{t,{\overline{x}}_{t-1}}^{*}=p{\delta}_{({a}^{1}\left({x}_{t-1}\right),{a}^{2}\left({x}_{t-1}\right))}+(1-p){\delta}_{({b}^{1}\left({x}_{t-1}\right),{b}^{2}\left({x}_{t-1}\right))}.$$

If
and, therefore, the point $\mathbf{0}=(0,0)$ is in the interior of the “upper triangle”, that is, the triangle that has vertex $({a}^{1}\left({x}_{t-1}\right),{b}^{2}\left({x}_{t-1}\right))$ and positive diagonal as its side, then
where

$$\frac{{\beta}^{1}-1}{{\beta}^{1}-{\alpha}^{1}}>\frac{{\beta}^{2}-1}{{\beta}^{2}-{\alpha}^{2}}$$

$${Q}_{t,{\overline{x}}_{t-1}}^{*}={p}_{1}{\delta}_{({a}^{1}\left({x}_{t-1}\right),{a}^{2}\left({x}_{t-1}\right))}+{p}_{2}{\delta}_{({b}^{1}\left({x}_{t-1}\right),{b}^{2}\left({x}_{t-1}\right))}+{p}_{3}{\delta}_{({a}^{1}\left({x}_{t-1}\right),{b}^{2}\left({x}_{t-1}\right))},$$

$$\begin{array}{c}\hfill {p}_{1}=\frac{1-{\alpha}^{1}}{{\beta}^{1}-{\alpha}^{1}}>0,\\ \hfill {p}_{2}=\frac{{\beta}^{2}-1}{{\beta}^{2}-{\alpha}^{2}}>0,\\ \hfill {p}_{3}=1-{p}_{1}-{p}_{2}>0.\end{array}$$

If the point $\mathbf{0}=(0,0)$ is in the interior of the opposite (“lower”) triangle in the rectangle decomposition, which is the case if
then
where

$$\frac{{\beta}^{1}-1}{{\beta}^{1}-{\alpha}^{1}}<\frac{{\beta}^{2}-1}{{\beta}^{2}-{\alpha}^{2}},$$

$${Q}_{t,{\overline{x}}_{t-1}}^{*}={p}_{1}^{\prime}{\delta}_{({a}^{1}\left({x}_{t-1}\right),{a}^{2}\left({x}_{t-1}\right))}+{p}_{2}^{\prime}{\delta}_{({b}^{1}\left({x}_{t-1}\right),{b}^{2}\left({x}_{t-1}\right))}+{p}_{3}^{\prime}{\delta}_{({b}^{1}\left({x}_{t-1}\right),{a}^{2}\left({x}_{t-1}\right))},$$

$$\begin{array}{c}\hfill {p}_{1}^{\prime}=\frac{{\beta}^{1}-1}{{\beta}^{1}-{\alpha}^{1}}>0,\\ \hfill {p}_{2}^{\prime}=\frac{1-{\alpha}^{2}}{{\beta}^{2}-{\alpha}^{2}}>0,\\ \hfill {p}_{3}^{\prime}=1-{p}_{1}^{\prime}-{p}_{2}^{\prime}>0.\end{array}$$

If we have the case of the opposite inequality,
then the negative diagonal dominates. Similar to the previous case, if (13) is fulfilled, that is, point $\mathbf{0}=(0,0)$ is on the negative diagonal, then

$$\begin{array}{c}{w}_{t}(\xb7,({a}^{1}\left({x}_{t-1}\right),{a}^{2}\left({x}_{t-1}\right)))+{w}_{t}(\xb7,({b}^{1}\left({x}_{t-1}\right),{b}^{2}\left({x}_{t-1}\right))<\\ {w}_{t}(\xb7,({a}^{1}\left({x}_{t-1}\right),{b}^{2}\left({x}_{t-1}\right)))+{w}_{t}(\xb7,({b}^{1}\left({x}_{t-1}\right),{a}^{2}\left({x}_{t+1}\right))),\end{array}$$

$${Q}_{t,{\overline{x}}_{t-1}}^{*}=q{\delta}_{({a}^{1}\left({x}_{t-1}\right),{b}^{2}\left({x}_{t-1}\right))}+(1-q){\delta}_{({b}^{1}\left({x}_{t-1}\right),{a}^{2}\left({x}_{t-1}\right))}.$$

If
then, point $\mathbf{0}=(0,0)$ lies inside a triangle with vertices $({a}^{1}\left({x}_{t-1}\right),{b}^{2}\left({x}_{t-1}\right))$, $({b}^{1}\left({x}_{t-1}\right),{a}^{2}\left({x}_{t-1}\right)$ and $({a}^{1}\left({x}_{t-1}\right),{a}^{2}\left({x}_{t-1}\right))$, that is, it is in the “lower” triangle, and then,
where

$$\frac{{\beta}^{1}-1}{{\beta}^{1}-{\alpha}^{1}}>\frac{1-{\alpha}^{2}}{{\beta}^{2}-{\alpha}^{2}},$$

$${Q}_{t,{\overline{x}}_{t-1}}^{*}={q}_{1}{\delta}_{({a}^{1}\left({x}_{t-1}\right),{b}^{2}\left({x}_{t-1}\right))}+{q}_{2}{\delta}_{({b}^{1}\left({x}_{t-1}\right),{a}^{2}\left({x}_{t-1}\right))}+{q}_{3}{\delta}_{({a}^{1}\left({x}_{t-1}\right),{a}^{2}\left({x}_{t-1}\right))},$$

$$\begin{array}{c}\hfill {q}_{1}=\frac{1-{\alpha}^{2}}{{\beta}^{2}-{\alpha}^{2}}>0,\\ \hfill {q}_{2}=\frac{1-{\alpha}^{1}}{{\beta}^{1}-{\alpha}^{1}}>0,\\ \hfill {q}_{3}=1-{q}_{1}-{q}_{2}>0.\end{array}$$

If
then point $\mathbf{0}=(0,0)$ lies in the “upper” (from the negative diagonal) triangle, the vertices of which are points $({a}^{1}\left({x}_{t-1}\right),{b}^{2}\left({x}_{t-1}\right))$; $({b}^{1}\left({x}_{t-1}\right),{a}^{2}\left({x}_{t-1}\right)$ and $({b}^{1}\left({x}_{t-1}\right),{b}^{2}\left({x}_{t-1}\right))$, and then,
where

$$\frac{{\beta}^{1}-1}{{\beta}^{1}-{\alpha}^{1}}<\frac{1-{\alpha}^{2}}{{\beta}^{2}-{\alpha}^{2}},$$

$${Q}_{t,{\overline{x}}_{t-1}}^{*}={q}_{1}^{\prime}{\delta}_{({a}^{1}\left({x}_{t-1}\right),{b}^{2}\left({x}_{t-1}\right))}+{q}_{2}^{\prime}{\delta}_{({b}^{1}\left({x}_{t-1}\right),{a}^{2}\left({x}_{t-1}\right))}+{q}_{3}^{\prime}{\delta}_{({b}^{1}\left({x}_{t-1}\right),{b}^{2}\left({x}_{t-1}\right))},$$

$$\begin{array}{c}\hfill {q}_{1}^{\prime}=\frac{{\beta}^{1}-1}{{\beta}^{1}-{\alpha}^{1}}>0,\\ \hfill {q}_{2}^{\prime}=\frac{{\beta}^{2}-1}{{\beta}^{2}-{\alpha}^{2}}>0,\\ \hfill {q}_{3}^{\prime}=1-{q}_{1}^{\prime}-{q}_{2}^{\prime}>0.\end{array}$$

Finally, in the case of equality
because the concave hull of the Bellman function is affine, the optimal mixed strategy with the support ${S}_{t}(\xb7)\subseteq ext\left({K}_{t}(\xb7)\right)$ is not unique: any probability measure with the support described above in cases (1), (2) and (3) and zero mean will be optimal.

$$\begin{array}{c}{w}_{t}(\xb7,({a}^{1}\left({x}_{t-1}\right),{a}^{2}\left({x}_{t-1}\right)))+{w}_{t}(\xb7,({b}^{1}\left({x}_{t-1}\right),{b}^{2}\left({x}_{t-1}\right))=\\ {w}_{t}(\xb7,({a}^{1}\left({x}_{t-1}\right),{b}^{2}\left({x}_{t-1}\right)))+{w}_{t}(\xb7,({b}^{1}\left({x}_{t-1}\right),{a}^{2}\left({x}_{t-1}\right))),\end{array}$$

Thus, what is decisive in this case is the position of the point $\mathbf{0}=(0,0)$. If (11) is fulfilled , that is, (14), then $\mathbf{0}$ lies in the interior of the intersection of the two triangles, one from the positive decomposition of the rectangle and the other from the negative decomposition. (In this case, there are two possible variants for the support, which are concentrated in three vertices of the triangle.) If either (12) or (13) is fulfilled, then the optimal distributions are concentrated at two end points of the diagonal, on which the point $\mathbf{0}=(0,0)$ lies, or in the vertices of one of the triangles, one side of which is the opposite diagonal. If both (12) and (13) are fulfilled simultaneously, that is, point $\mathbf{0}=(0,0)$ lies at the intersection of the diagonals, the distribution is concentrated at the end points of a diagonal, and assigning to its end points the probability $1/2$ is optimal.

From an algebraic perspective, conditions (17)–(19) can be interpreted as conditions (The definitions can be found, for example, in Reference [34]; see Definition 2.3.1.) for the strict supermodularity, strict submodularity and modularity of the function $y\mapsto {w}_{t}(\xb7,y)$ on the lattice (See, for example, Reference ([35] Chapter 1, Sections 1 and 4)) of the four extreme points ${K}_{t}(\xb7)$ with coordinate-wise comparison (i.e., for $y=({y}^{1},{y}^{2})$ and $z=({z}^{1},{z}^{2})$, the relation $y\le z$ means that ${y}^{1}\le {y}^{2}$ and ${z}^{1}\le {z}^{2}$).

As an alternative to the geometric approach based on the construction of a concave hull, one can use simple probabilistic reasoning. Denote by ${\mathfrak{M}}_{t}(\xb7)$ the class of all distributions with zero mean, such that the distribution’s support is concentrated at two or three extreme points of the rectangle ${K}_{t}(\xb7)$. If $Q\in {\mathfrak{M}}_{t}(\xb7)$ and $supp\left(Q\right)$ contain the ends of the nondominant diagonal, then ${\mathfrak{M}}_{t}(\xb7)$ and there is a distribution ${Q}^{\prime}$ with a greater value than the Bellman function. Indeed, let $\pi >0$ be the minimum probability of two points being on a nondominant diagonal. Denote the corresponding end point of the diagonal as ${y}_{1}$, another point of this diagonal as ${y}_{2}$, and the remaining point $supp\left(Q\right)$, lying on the dominant diagonal, as ${y}_{3}$. Represent Q in the form of (If $\pi =1/2$, then as ${Q}_{1}$, we can take an arbitrary distribution with $supp\left({Q}_{1}\right)\subseteq \{{y}_{2},{y}_{3}\}$; in the case of $\pi <1/2$, the distribution ${Q}_{1}$ is uniquely determined.)
and $supp\left({Q}_{1}\right)\subseteq \{{y}_{2},{y}_{3}\}$ thanks to the choice π. Then, if ${y}_{4}$ – one more point of the dominant diagonal—then the distribution
has zero mean, and its support $supp\left({Q}^{\prime}\right)\subseteq \{{y}_{2},{y}_{3},{y}_{4}\}$. Obviously,

$$Q=\pi {\delta}_{{y}_{1}}+\pi {\delta}_{{y}_{2}}+(1-2\pi ){Q}_{1},$$

$${Q}^{\prime}=\pi {\delta}_{{y}_{3}}+\pi {\delta}_{{y}_{4}}+(1-2\pi ){Q}_{1}$$

$$\int {w}_{t}(\xb7,y)Q\left(dy\right)-\int {w}_{t}(\xb7,y){Q}^{\prime}\left(dy\right)=\pi [({w}_{t}(\xb7,{y}_{1})+{w}_{t}(\xb7,{y}_{2}))-({w}_{t}(\xb7,{y}_{3})+{w}_{t}(\xb7,{y}_{4}))]<0.$$

(1) A kind of “degeneration” observed in the above example, that is the case in which $|{S}_{t}(\xb7)|=2$, can be regarded as an exceptional case, as small “perturbations” of one of the parameters ${\alpha}^{1}$, ${\beta}^{1}$, ${\alpha}^{2}$ or ${\beta}^{2}$ leads to optimal mixed strategy with $|{S}_{t}(\xb7)|=3$.

(2) The effect observed in Example 1 in the case in which the point $\mathbf{0}$ lies at the intersection of the diagonals is a characteristic of the dimension $n\ge 2$. In a certain way, this is related to Steinitz’s theorem [36]: if $A\subseteq {\mathbb{R}}^{n}$ and $x\in int(conv(A\left)\right)$, then there is a $2n$ point A, ithat is, $\{{x}_{1},\dots ,{x}_{2n}\}\subseteq A$, such as $x\in int(conv\left(\{{x}_{1},\dots ,{x}_{2n}\}\right)$. In the case of $n=1$, we have $n+1=2n$, and at $n\ge 2$, we have $n+1<2n$. In Example 1 (for $n=2$), one cannot guarantee that the point 0 lying in the interior of the convex hull of four points will lie in the interior of the hull of some three of the four points.

(3) In Reference [14], the problem of guaranteed super-hedging for a multiplicative Markov-type market model is considered (see the terminology in Reference [1]) under the assumption of no trading constraints. For the European rainbow option, the payoff function $g(\xb7)$ in Reference [14] depends only on the prices of risky assets at a terminal point in time N, that is, for some function ψ, there is the representation

$$g\left({\overline{x}}_{N}\right)=\psi \left({x}_{N}\right).$$

Note that for such an option, as well as for the American option, when the payoff functions ${g}_{t}(\xb7)$ are representable as
for some functions ${\phi}_{t}$, the random process corresponding to conditional distributions $P({X}_{t}\in A|{\overline{X}}_{t}={\overline{x}}_{t})={Q}_{t,{\overline{x}}_{t}}^{*}$, will be Markovian. In Reference [14], explicit formulas are obtained for solutions when (20) is satisfied, in a two-dimensional case ($n=2$), under the assumptions (in addition, in Reference [14], the monotony of the payoff function is imposed) of convexity of the payoff function g and its submodularity. In Reference [37], as for case (20), explicit solutions are obtained for a similar problem in the three-dimensional case ($n=3$), under the assumption of the convexity and submodularity of the payoff function. In Chapter 13 in Reference [16] (written by V.N. Kolokoltsov), the main Theorem 13.2 is demonstrated for the n-dimensional case when fulfilled (20). Note that the Bellman function preserves the submodularity property for a number of options (the expressions for the payoff functions of these (and other) options are listed in the table at the end of the article), for example, “best of asset or cash”, “call on max”, “multistrike”, for which (20) also holds, that allow the selection of the options from the mixed strategies regarded as “candidates for optimality”.

$${g}_{t}\left({\overline{x}}_{t}\right)={\phi}_{t}\left({x}_{t}\right),\phantom{\rule{0.277778em}{0ex}}t=1,\dots ,N,$$

Under the assumptions of Proposition 1, a particularly simple situation arises in the one-dimensional case, that is, when $n=1$. In this case, ${K}_{t}(\xb7)$ has the form $[{a}_{t}(\xb7),{b}_{t}(\xb7)]$, where ${a}_{t}(\xb7)\le {b}_{t}(\xb7)$. The concave hull convex of a function f on a closed interval $[a,b]$ is the affine function that coincides with f in the extreme points of this interval:

$${f}^{*}\left(x\right)=f\left(a\right)+\frac{f\left(b\right)-f\left(a\right)}{b-a}(x-a).$$

Thus, the maximum of the functional $Q\mapsto \int f\phantom{\rule{0.222222em}{0ex}}dQ$ subject to $\int y\phantom{\rule{0.222222em}{0ex}}Q\left(dy\right)=z\in (a,b)$ is attained for a distribution concentrated on the set $\{a,b\}$ of extreme points of the interval $[a,b]$. This fact was first reported, to the best of our knowledge, in the first edition of the book by Dana and Jeanblanc-Picqué 1994 (second edition [38]).

Taking this fact and Proposition 1 into account, one can easily write the Bellman equations (see Reference ([7] Formula (6.2)))
and find the relevant hedging strategies.

$$\begin{array}{c}{v}_{N}^{*}(\xb7)={g}_{N}(\xb7),\\ {v}_{t-1}^{*}(\xb7)={g}_{t-1}(\xb7)\vee \int {w}_{t}(\xb7,y){Q}_{t,\xb7}^{*}\left(dy\right),\phantom{\rule{0.277778em}{0ex}}t=N,N-1,\dots ,1,\end{array}$$

Consider the multiplicative model from Example 3.2 in Reference [2] (in the one-dimensional case with no trading constraints) when assuming the condition of non-arbitrage NDAO. Assume that the payoff functions ${g}_{t}$, $t=1,\dots ,N$ are convex. Then, the most unfavorable scenario (mixed market strategy) will be the case when the conditional distributions of price increments $\Delta {X}_{t}$ are concentrated on points ${x}_{t}(\alpha -1)$ and ${x}_{t}(\beta -1)$ with probabilities ${q}_{-}$ and ${q}_{+}$ determined by a system of linear equations, which in this case has the form:
and thus, ${q}_{-}=\frac{(1-\alpha )}{(\beta -\alpha )}$, ${q}_{+}=\frac{(\beta -1)}{(\beta -\alpha )}$. The NDAO condition in this case is equivalent to $\alpha <1<\beta $; hence, ${q}_{-}$ and ${q}_{+}$ lie in the interval $(0,1)$, which corresponds to their probabilistic interpretation. Note that in this case, the joint distribution of the random variables ${M}_{t}=\frac{{X}_{t}}{{X}_{t-1}}$, $t=1,\dots ,N$ is such that they are independent (In other words, there is independence of logarithmic increments.). This is because restrictions on ${M}_{t}$ have the form ${M}_{t}\in [\alpha ,\beta ]$, independent of the price history, that is, the price dynamics refer to a multiplicative-independent type.

$$\begin{array}{c}{q}_{-}{x}_{t}(\alpha -1)+{q}_{+}{x}_{t}(\beta -1)=0,\\ {q}_{-}+{q}_{+}=1,\end{array}$$

The Bellman Equation (23) have the following form:
where $t=1,\dots ,N$. In this case, taking into account (22), the optimal hedging strategy ${h}_{t}(\xb7)$ at time t will be

$$\begin{array}{c}\hfill \begin{array}{cc}\hfill {v}_{N}^{*}({x}_{0},\dots ,{x}_{N})& ={g}_{N}({x}_{0},\dots ,{x}_{N}),\hfill \\ \hfill {v}_{t-1}^{*}({x}_{0},\dots ,{x}_{t-1})& ={g}_{t-1}({x}_{0},\dots ,{x}_{t-1})\hfill \\ \hfill \phantom{\rule{1.em}{0ex}}& \vee [{q}_{-}{v}_{t}^{*}({x}_{0},\dots ,{x}_{t-1},{x}_{t-1}\alpha )\hfill \\ \hfill \phantom{\rule{1.em}{0ex}}& +{q}_{+}{v}_{t}^{*}({x}_{0},\dots ,{x}_{t-1},{x}_{t-1}\beta ),\hfill \end{array}\end{array}$$

$$\begin{array}{c}\hfill \begin{array}{cc}\hfill {h}_{t}^{*}({x}_{0},\dots ,{x}_{t-1})=\frac{1}{{x}_{t-1}(\beta -\alpha )}& [{g}_{t-1}({x}_{0},\dots ,{x}_{t-1})\vee {v}_{t}^{*}({x}_{0},\dots ,{x}_{t-1},{x}_{t-1}\beta )\hfill \\ \hfill -& {g}_{t-1}({x}_{0},\dots ,{x}_{t-1})\vee {v}_{t}^{*}({x}_{0},\dots ,{x}_{t-1},{x}_{t-1}\alpha )].\hfill \end{array}\end{array}$$

In the case of European options, when ${g}_{1}=\dots ={g}_{N-1}=0$, ${g}_{N}=g$ is a convex function, we obtain difference equations:
and (25) is simplified to formula

$$\begin{array}{c}{v}_{N}^{*}(\xb7)={g}_{N}(\xb7),\\ {v}_{t-1}^{*}(\xb7)={q}_{-}{v}_{t}^{*}(\xb7,{x}_{t-1}\alpha )+{q}_{+}{v}_{t}^{*}(\xb7,{x}_{t-1}\beta ),\phantom{\rule{0.277778em}{0ex}}t=1,\dots ,N,\end{array}$$

$${h}_{t}^{*}(\xb7)=\frac{1}{{x}_{t-1}(\beta -\alpha )}[{v}_{t}^{*}(\xb7,{x}_{t-1}\beta )-{v}_{t}^{*}(\xb7,{x}_{t-1}\alpha )].$$

In particular, for European options with the payoff function (at the terminal moment N) of the form $g\left({\overline{x}}_{N}\right)={({x}_{N}-B\left({\overline{x}}_{N}\right))}_{+}$, that is, a call option with the exercise price $B\left({\overline{x}}_{t}\right)$ dependent on price trajectory ${\overline{x}}_{t}$ or $g\left({\overline{x}}_{N}\right)={(S\left({\overline{x}}_{N}\right)-{x}_{N})}_{+}$, that is, a put option with the exercise price $S\left({\overline{x}}_{t}\right)$ dependent on price trajectory ${\overline{x}}_{t}$, the convexity of g is valid, for example, for Asian options, lookback options and plain vanilla options. In the case of Asian options $B\left({\overline{x}}_{N}\right)=S\left({\overline{x}}_{N}\right)=\frac{1}{N+1}{\displaystyle \sum _{t=0}^{N}}{x}_{t}$, for lookback options, $B\left({\overline{x}}_{N}\right)={\displaystyle \underset{t=0}{\overset{N}{\wedge}}}{x}_{t}$ and $S\left({\overline{x}}_{N}\right)={\displaystyle \underset{t=0}{\overset{N}{\vee}}}{x}_{t}$, and for plain vanilla options, $B\left({\overline{x}}_{N}\right)$ and $S\left({\overline{x}}_{N}\right)$ are constant.

Note that for Asian options and lookback options, if we denote ${A}_{t}=\frac{1}{t+1}{\displaystyle \sum _{s=0}^{t}}{x}_{s}$, ${L}_{t}={\displaystyle \underset{s=0}{\overset{t}{\wedge}}}{x}_{s}$ and ${N}_{t}={\displaystyle \underset{s=0}{\overset{t}{\vee}}}{x}_{s}$, then the processes $({X}_{t},{A}_{t})$, $({X}_{t},{L}_{t})$ and $({X}_{t},{N}_{t})$ are Markovian and in difference Equations (26) for the Asian option and the lookback option, it suffices to leave only two variables instead of the entire price trajectory. For example, for a lookback call option, the difference Equations (26) can be represented as
where ${v}_{t}$ satisfy the recurrence equations for $t=N,N-1,\dots $:

$${v}_{t}^{*}({x}_{0},\dots ,{x}_{t})={v}_{t}\left({x}_{t},{\displaystyle \underset{s=0}{\overset{t}{\wedge}}}{x}_{s}\right),$$

$$\begin{array}{c}{v}_{N}({x}_{N},{l}_{N})={({x}_{N}-{l}_{N})}_{,}\\ {v}_{t-1}({x}_{t-1},{l}_{t-1})={q}_{-}{v}_{t}({x}_{t-1}\alpha ,{l}_{t}\wedge {x}_{t-1}\alpha )+{q}_{+}{v}_{t}({x}_{t-1}\beta ,{l}_{t}\wedge {x}_{t-1}\beta ),\\ t=1,\dots ,N.\end{array}$$

Note also that the price movement model, which corresponds to independent ${M}_{t}$, $t=1,\dots ,N$, accepting values α and β with probabilities ${q}_{-}$ and ${q}_{+}$, will coincide with the Cox-Ross-Rubinstein model (This is also called the binomial model; see Reference [39]) if ${x}_{0}$ is fixed and the numbers α and β are related by the ratio $\alpha \beta =1$; the advantage of the Cox-Ross-Rubinstein model is that lattice recombination occurs on a logarithmic scale, that is, the random variables ${Z}_{t}=ln\left(\frac{{X}_{t}}{{X}_{0}}\right)={\displaystyle \sum _{s=1}^{t}}ln{M}_{s}$, $t=1,\dots ,N$, take values in the lattice (the lattice forms a discrete additive subgroup of the group $\mathbb{R}$.) $\{kd,k=0,\pm 1,\pm 2,\dots \}$, where $d=ln\beta =-ln\alpha $. This reduces the number of possible values of ${Z}_{t}$ from ${2}^{t}$ to $t+1$. Moreover, the probability that ${Z}_{t}$ takes value $kd$ equals (Here, ${C}_{n}^{k}$ is the binomial coefficient, the number of combinations of n and k.) ${C}_{t}^{(t+k)/2}{q}_{+}^{(t+k)/2}{q}_{-}^{(t-k)/2}$. Note that in our case, recombination can be achieved by requiring the numbers $ln\alpha $ and $ln\beta $ to be rationally commensurable, that is, their ratio $\frac{ln\alpha}{ln\beta}$ would be a rational number $r=-\frac{n}{m}$, where n and m are mutually prime natural numbers (i.e., the ratio $\frac{n}{m}$ is irreducible). Determining the lattice step as $d=\frac{ln\beta}{m}=-\frac{ln\alpha}{n}$, we obtain that all values of a random variable ${Z}_{t}$, $t=0,1,\dots $ (without time limit) lie on the lattice $\{kd,k=0,\pm 1,\pm 2,\dots \}$, and there is no smaller sublattice on which all possible values of ${Z}_{t}$ would lie (because n and m are mutually simple. (See, for example, Reference [40].). Since any real number can be approximated by rational numbers of the form $\frac{n}{m}$ with accuracy not exceeding $\frac{1}{m}$, the initial problem with given α and β can be replaced by and approximation with ${\alpha}^{\prime}$ and ${\beta}^{\prime}$, where ${\alpha}^{\prime}$ and ${\beta}^{\prime}$ will be rationally commensurable. From the perspective of numerical algorithms, recombination makes sense for lookback options; however, it is meaningless for Asian options because the exercise price remains on the lattice in the first case but not in the second case.

In the one-dimensional case, the above property (22) for the convex payoff function, under the no trading constraints assumption and if the condition of no arbitrage opportunities $NDAO$ holds, has the following economic interpretation for a one-step problem. Buying an option with a convex payoff function can be interpreted as “buying volatility” because it protects from the most “unfavorable” scenario, which is the most “volatile” price movement when price increments take values at the extreme points of the segments of price limits (in any case, if volatility is measured with the help of the standard deviation of the price increment, then among all the risk-neutral probabilities, its maximum is attained in this particular case). Buying an option with a concave payoff function can be interpreted as “selling volatility”, as protection against the most “unfavorable” scenario, which is the lack of price volatility; for the corresponding risk-neutral probability, price increments are zero (with zero volatility measured as the standard deviation of price increments).

It is possible to present many examples of rainbow options, that is, when the number of risky assets is greater than one, (The number of risky assets is also called the number of colors (of the rainbow).) with convex payoff functions. These options, for example, include European rainbow options in Table 1.

For these options, one can apply the approach described above. Of course, there are options whose functions are neither convex nor concave. These can be easily obtained by taking combinations of long and short positions on the European call and put options with the same exercise time, for example, a collar. Binary options provide another example of such options, moreover, with a discontinuous payoff function. Examples of rainbow options with payoff functions that are not convex are the European rainbow options in Table 2.

If the payoff functions are convex and the compacts describing possible increments of discounted prices are convex, the solutions of Bellman-Isaacs equations are also convex.

Under mild conditions, a game equilibrium holds, as well as the upper semicontinuity of the multivalued mapping, that associates to each price history the set of corresponding optimal mixed strategies of the market concentrated in at most $n+1$ extreme point (n being the number of risky assets). These optimal mixed strategies and their supports can display regular behavior upon assuming some additional conditions of geometrical type; we illustrate this behavior using a two-dimensional market model of a multiplicative form with no trading constraints as an example.

In the present paper, we do not address model calibration issues (for a recent overview, see Reference [41] for a study focused on calibrating a model with real market data), but this question, which is important in practice, will be a part of our future research, together with a study of model sensitivity and relevant numerical methods.

Support from the Basic Research Program of the National Research University Higher School of Economics is gratefully acknowledged.

The author declares no conflict of interest.

- Smirnov, S.N. Guaranteed deterministic approach to superhedging: Market model, trading constraints and Bellman-Isaacs equations. Math. Games Theory Appl.
**2018**, 10, 59–99. [Google Scholar] - Smirnov, S.N. Guaranteed deterministic approach to superhedging: “No arbitrage” properties of the market. Math. Games Theory Appl.
**2019**, 11, 68–95. [Google Scholar] - Smirnov, S.N. Guaranteed deterministic approach to superhedging: Properties of semicontinuity and continuity of solutions of Bellman-Isaacs equations. Math. Games Theory Appl.
**2019**. in print. [Google Scholar] - Smirnov, S.N. A Guaranteed Deterministic Approach to Superhedging: Lipschitz Properties of Solutions of the Bellman-Isaacs Equations. In Frontiers of Dynamics Games. Game Theory and Management, St. Petersburg, 2018; Petrosyan, L.A., Mazalov, V.V., Zenkevich, N.A., Eds.; Birkhäuser: Basel, Switzerland, 2019; pp. 267–288. [Google Scholar]
- Smirnov, S.N. Guaranteed deterministic approach to superhedging: Mixed strategies and game equilibrium. Math. Games Theory Appl.
**2019**. under review. [Google Scholar] - Smirnov, S.N. Guaranteed deterministic approach to superhedging: Equilibrium in the case of no trading constraints. J. Math. Sci.
**2020**. accepted. [Google Scholar] - Smirnov, S.N. Guaranteed deterministic approach to superhedging: Most unfavorable market scenarios and the problem of moments. Math. Games Theory Appl.
**2019**. submitted. [Google Scholar] - Smirnov, S.N. Guaranteed deterministic approach to superhedging: Properties of optimal “market” strategies and their supports. Math. Games Theory Appl.
**2019**, submitted. [Google Scholar] - Föllmer, H.; Schied, A. Stochastic Finance. An Introduction in Discrete Time, 4th ed.; Walter de Gruyter: New York, NY, USA, 2016. [Google Scholar]
- Knight, F.H. Risk, Uncertainty and Profit; Houghton Mifflin Co.: New York, NY, USA, 1921. [Google Scholar]
- Andreev, N.A.; Smirnov, S.N. Guaranteed approach in investment and hedging. In «Tikhonovskie Chteniya» Scientistic Conference Proceedings: Dedicated to Academic Andrey Nikolaevich Tikhonov: 19 October–2 November 2018; MAKS Press: Moscow, Russia, 2018; p. 11. [Google Scholar]
- Carassus, L.; Gobet, E.; Temam, E. A class of financial products and models where super-replication prices are explicit. The 6th the Ritsumeikan International Conference on Stochastic processes and applications to mathematical finance. In Stochastic Processes and Applications to Mathematical Finance; Akahori, J., Ogawa, S., Watanabe, S., Eds.; World Scientific: Singapore, 2006; pp. 67–84. [Google Scholar]
- Carassus, L.; Vargiolu, T. Super-Replication Price for Asset Prices Having Bounded Increments in Discrete Time. 2010. Available online: https://hal.archives-ouvertes.fr/hal-00511665/ (accessed on 10 December 2019).
- Kolokoltsov, V.N. Nonexpansive maps and option pricing theory. Kybernetika
**1998**, 34, 713–724. [Google Scholar] - Dana, R.-A.; Le Van, C. On the different notions of arbitrage and existence of equilibrium. J. Econ. Theory
**1999**, 87, 169–193. [Google Scholar] [CrossRef] - Bernhard, P.; Engwerda, J.C.; Roorda, B.; Schumacher, J.; Kolokoltsov, V.; Saint-Pierre, P.; Aubin, J.-P. The Interval Market Model in Mathematical Finance: Game-Theoretic Methods; Springer: New York, NY, USA, 2013. [Google Scholar]
- Smirnov, S.N. Thoughts on Financial Risk Modeling: The Role of Interpretation. Intell. Risk
**2012**, 2, 12–15. [Google Scholar] - Hobson, D. Robust hedging of the lookback option. Financ. Stoch.
**1998**, 2, 329–347. [Google Scholar] [CrossRef] - Obloj, J.; Wiesel, J. A unified Framework for Robust Modelling of Financial Markets in Discrete Time. arXiv
**2019**, arXiv:1808.06430. [Google Scholar] - Bouchard, B.; Nutz, M. Arbitrage and duality in nondominated discrete-time models. Ann. Appl. Probab.
**2015**, 25, 823–859. [Google Scholar] [CrossRef] - Bayraktar, E.; Zhou, Z. On arbitrage and duality under model uncertainty and portfolio constraints. Math. Financ.
**2017**, 27, 988–1012. [Google Scholar] [CrossRef] - Bayraktar, E.; Zhang, Y. Fundamental theorem of asset pricing under transaction costs and model uncertainty. Math. Oper. Res.
**2016**, 41, 1039–1054. [Google Scholar] [CrossRef] - Burzoni, M.; Frittelli, M.; Hou, Z.; Maggis, M.; Obloj, J. Pointwise arbitrage pricing theory in discrete time. Math. Oper. Res.
**2019**. [Google Scholar] [CrossRef] - Burzoni, M.; Frittelli, M.; Hou, Z.; Maggis, M. Universal arbitrage aggregator in discrete-time markets under uncertainty. Financ. Stoch.
**2016**, 20, 1–50. [Google Scholar] [CrossRef] - Burzoni, M.; Frittelli, M.; Maggis, M. Model-free superhedging duality. Ann. Appl. Probab.
**2017**, 27, 1452–1477. [Google Scholar] [CrossRef] - Aksamit, A.; Deng, S.; Obloj, J.; Tan, X. Robust pricing–hedging duality for American options in discrete time financial markets. Math. Financ.
**2019**, 29, 861–897. [Google Scholar] [CrossRef] - Bergman, Y.Z.; Grundy, B.D.; Wiener, Z. General Properties of Option Prices. J. Financ.
**1996**, 51, 1573–1610. [Google Scholar] [CrossRef] - Leichtweiß, K. Konvexe Mengen; Springer: Berlin, Germany, 1979. [Google Scholar]
- Rockafellar, R.T. Convex Analysis; Princeton University Press: Princeton, NJ, USA, 1970. [Google Scholar]
- Polovinkin, E.S. Multi-Valued Analysis and Differential Inclusions; Fizmatlit: Moscow, Russia, 2015. [Google Scholar]
- Hu, S.; Papageorgiou, N. Handbook of Multivalued Analysis, Volume I: Theory; Springer: Berlin, Germany, 1997. [Google Scholar]
- Kupka, I. Continuous selections from topological to metric spaces. Rend. Circ. Mat. Palermo
**1990**, 39, 427–435. [Google Scholar] [CrossRef] - Edmonds, A.L. Simplicial decompositions of convex polytopes. Pi Mu Epsil. J.
**1970**, 5, 124–128. [Google Scholar] - Simchi-Levi, D.; Chen, X.; Bramel, J. The Logic of Logistics: Theory, Algorithms, and Applications for Logistics Management; Springer: New York, NY, USA, 2013. [Google Scholar]
- Birkhoff, G. Latice Theory, 3rd ed.; American Mathematical Society: Providence, RI, USA, 1967. [Google Scholar]
- Steinitz, E. Bedingt konvergente Reihen und konvexe Systeme (Fortsetzung). J. Reine Angew. Math.
**1914**, 144, 1–40. [Google Scholar] - Hucki, Z.; Kolokoltsov, V.N. Pricing of rainbow options: Game theoretic approach. Int. Game Theory Rev.
**2007**, 9, 215–242. [Google Scholar] [CrossRef] - Dana, R.-A.; Jeanblanc-Picqué, M. Marchés Financiers en Temps Continu, 1st ed.; Economica: Paris, France, 1994. [Google Scholar]
- Cox, J.C.; Ross, S.A.; Rubinstein, M. Option pricing: A simplified approach. J. Financ. Econ.
**1979**, 7, 229–263. [Google Scholar] [CrossRef] - Vinogradov, I.M. Basics of Number Theory; Nauka: Moscow, Russia, 1972. [Google Scholar]
- Singh, S.; Bhardwaj, N.; Sharma, G.; Kaya, T.; Mahendru, M.; Erkut, B. Research in market-calibrated option pricing analysis: A systematic review and research agenda. In Qualitative Research in Financial Markets; Emerald Publishing Limited: Bingley, UK, 2019. [Google Scholar] [CrossRef]

Option Type | Payoff Function |
---|---|

“Best of asset or cash” | $max({S}_{1},{S}_{2},\dots ,{S}_{n},K)$ |

“Call on max” | $max(max({S}_{1},{S}_{2},\dots ,{S}_{n})-K,0)$ |

“Put on min” | $max(K-min({S}_{1},{S}_{2},\dots ,{S}_{n}),0)$ |

“Put 2 and Call 1” | $max({S}_{1}-{S}_{2},0)$ |

“Multi-strike” | $max({S}_{1}-{K}_{1},{S}_{2}-{K}_{2},\dots ,{S}_{n}-{K}_{n},0)$ |

“Pyramid” | $max\left(\right|{S}_{1}-{K}_{1}|+|{S}_{2}-{K}_{2}|+\dots +|{S}_{n}-{K}_{n}|-K,0)$ |

“Madonna” | $max(\sqrt{{({S}_{1}-{K}_{1})}^{2}+\dots +{({S}_{n}-{K}_{n})}^{2}}-K,0)$ |

Option Type | Payoff Function |
---|---|

“Call on min” | $max(min({S}_{1},{S}_{2},\dots ,{S}_{n})-K,0)$ |

“Put on max” | $max(K-max({S}_{1},{S}_{2},\dots ,{S}_{n}),0)$ |

© 2019 by the author. Licensee MDPI, Basel, Switzerland. This article is an open access article distributed under the terms and conditions of the Creative Commons Attribution (CC BY) license (http://creativecommons.org/licenses/by/4.0/).