Assessment of Contingent Liabilities for Risk Assets Evolutions Built on Brownian Motion

Abstract

This paper is a generalization of the results of the previous papers. Using these results a class of evolutions of risk assets based on the geometric Brownian motion is constructed. Among these evolutions of risk assets, the important class of the random processes is the random processes with parameters built on the basis of the discrete geometric Brownian motion. For this class of random processes the interval of non-arbitrage prices are found for the wide class of contingent liabilities. In particular, for the payoff functions of standard options call and put of the European type the fair prices of super-hedge are obtained. Analogous results are obtained for the put and call of arithmetical options of Asian type. For the parameters entering in the definition of random process the description of all statistical estimates is presented. Statistical estimate for which the fair price of super-hedge for the payoff functions of standard call and put options of European type is minimal is indicated. From the formulas found it follows that the fair price of super-hedge can be less than the price of the underlying asset. In terms of estimates the simple formula for the fair price of super-hedge is found. Every estimates can be realized in the reality. This depends on the distribution function of the observed dates in the financial market.

Share and Cite:

Gonchar, N. (2020) Assessment of Contingent Liabilities for Risk Assets Evolutions Built on Brownian Motion. Advances in Pure Mathematics, 10, 259-296. doi: 10.4236/apm.2020.105016.

1. Introduction

In reality, all financial markets are incomplete and the evolution of risky assets is discrete. The question arises, what random process describes the evolution of risky assets in the financial markets? This problem is important both from the perspective of the risk asset price behavior and from the risk hedging behavior of the risk asset.

In this work, which is a continuation of the paper [1], we construct the random processes based on the discrete geometric Brownian motion which can describe the evolution of risky assets. A new method of the description of martingale measures for the introduced class of evolutions of risk assets is developed. It is proved that every martingale measure can be represented as an integral on some measure on the set of extreme points of the set of martingale measures. This crucial fact is a base for the estimation of contingent liabilities in the incomplete financial markets with the evolution of risk assets introduced in [1]. The problem of estimation of the range of non arbitrage prices was began in the papers [2], [3] for the Levy exponential processes and the diffusion processes with jumps describing evolution of risk assets. The upper estimate for the standard call option payoff function in this paper coincides with the price of underlying asset. This fact is unacceptable from the economic point of view. In the proposed paper, we generalize the class of evolutions of risk assets proposed in [1] and which contains a class of evolutions built on the discrete geometric Brownian motion. For this class of evolutions of risk assets the set of martingale measures is described and the representation for every martingale measure as integral over the set of extreme points is obtained. Having this representation the formulas for the lower and upper bounds of non arbitrage prices are found. It is showed that the upper bound for the payoff functions of standard call option of European type is less than the price of underlying asset. The statistical estimates of parameters entering entering in the introduced evolutions of risk assets are obtained. The statistic for which the fair price of super-hedge is minimal is indicated.

In terms of statistical estimates the simple formulas for the fair price of super-hedge are obtained. Every estimate can be realized in the reality. This depends on distribution function of the observed dates in the financial market.

Assessment of risk in various systems was begun in papers [4] [5] [6] [7]. Construction of non-arbitrage model of evolution of risk assets see in [8] [9] [10] [11] [12]. Optional decomposition Theorems see in [13] [14] [15] [16].

2. A Wide Class of Non-Arbitrage Evolutions of Risky Assets

In this section, we generalize the results of the paper [1]. On the probability space $\left\{{\Omega }_{1}^{0},{\mathcal{F}}_{1}^{0},{P}_{1}^{0}\right\}$, let us consider the nonnegative random values ${\xi }_{i}\left({\omega }_{1}\right),\text{\hspace{0.17em}}i=\stackrel{¯}{1,N}$, satisfying the conditions

$0<{P}_{1}^{0}\left(\left\{{\omega }_{1}\in {\Omega }_{1}^{0},{\eta }_{i}\left({\omega }_{1}\right)\le 0\right\}\right)<1,$

$0<{P}_{1}^{0}\left(\left\{{\omega }_{1}\in {\Omega }_{1}^{0},{\eta }_{i}\left({\omega }_{1}\right)>0\right\}\right),\text{ }i=\stackrel{¯}{1,N},$ (1)

where we introduced the denotation ${\eta }_{i}\left({\omega }_{1}\right)={\xi }_{i}\left({\omega }_{1}\right)-1,i=\stackrel{¯}{1,N}$. Let $\left\{\Omega ,\mathcal{F}\right\}$ be a direct product of the measurable spaces $\left\{{\Omega }_{i}^{0},{\mathcal{F}}_{i}^{0}\right\},i=\stackrel{¯}{1,N}$, where ${\Omega }_{i}^{0}={\Omega }_{1}^{0}$,

${\mathcal{F}}_{i}^{0}={\mathcal{F}}_{1}^{0}$, $\Omega =\underset{i=1}{\overset{N}{\prod }}\text{ }{\Omega }_{i}^{0}$, and under the σ-algebra $\mathcal{F}$ we understand the minimal σ-algebra, generated by the sets $\underset{i=1}{\overset{N}{\prod }}\text{ }{G}_{i},{G}_{i}\in {\mathcal{F}}_{i}^{0}$. On the measurable space $\left\{\Omega ,\mathcal{F}\right\}$, under the filtration ${\mathcal{F}}_{n},n=\stackrel{¯}{1,N}$, we understand the minimal σ-algebra generated by the sets $\underset{i=1}{\overset{N}{\prod }}\text{ }{G}_{i},\text{\hspace{0.17em}}{G}_{i}\in {\mathcal{F}}_{i}^{0}$, where ${G}_{i}={\Omega }_{i}^{0}$ for $i>n$. Further, we consider the probability space $\left\{\Omega ,\mathcal{F},P\right\}$, where $P=\underset{i=1}{\overset{N}{\prod }}\text{ }{P}_{i}^{0},\text{\hspace{0.17em}}{P}_{i}^{0}={P}_{1}^{0},\text{\hspace{0.17em}}i=\stackrel{¯}{1,N}$. Denote

${\eta }_{i}\left({\omega }_{i}\right)={\xi }_{i}\left({\omega }_{i}\right)-1$ the random value which is given on the probability space $\left\{{\Omega }_{i}^{0},{\mathcal{F}}_{i}^{0},{P}_{i}^{0}\right\}$ and is distributed as ${\eta }_{i}\left({\omega }_{1}\right)$ on the probability space $\left\{{\Omega }_{1}^{0},{\mathcal{F}}_{1}^{0},{P}_{1}^{0}\right\}$.

Described in Lemma 5 [1] the set of equivalent measures to the measure ${P}_{i}^{0}$ and such that ${E}^{Q}{\eta }_{i}\left({\omega }_{i}\right)=0$, we denote by ${M}_{i}$.

On the measurable space $\left\{\Omega ,\mathcal{F}\right\}$, we introduce into consideration the set of

measures M, where Q belongs to M, if $Q=\underset{i=1}{\overset{N}{\prod }}\text{ }{Q}_{i},\text{\hspace{0.17em}}{Q}_{i}\in {M}_{i}$. On the introduced

measurable space $\left\{\Omega ,\mathcal{F},P\right\}$ let us consider the evolution of the risk asset given by the law

${S}_{n}={S}_{n-1}\left(1+{a}_{n}\left({\omega }_{1},\cdots ,{\omega }_{n-1}\right){\eta }_{n}\left({\omega }_{n}\right)\right),\text{ }n=\stackrel{¯}{1,N},$ (2)

where the random values ${a}_{i}\left({\omega }_{1},\cdots ,{\omega }_{i-1}\right)$ are ${\mathcal{F}}_{i-1}$ -measurable, $i=\stackrel{¯}{1,N}$, satisfy the conditions $0<{a}_{i}\left({\omega }_{1},\cdots ,{\omega }_{i-1}\right)\le 1$. The main aim is to describe the set of martingale measures for the evolution of risk asset given by the formula (2). This problem we solved in Theorem 8 [1] in the case as the random values ${\xi }_{i}\left({\omega }_{1}\right)={\xi }_{1}\left({\omega }_{1}\right),i=\stackrel{¯}{1,N}$.

Definition 1. Let $\left\{{\Omega }_{1},{\mathcal{F}}_{1}\right\}$ be a measurable space. The decomposition ${A}_{n,k},\text{\hspace{0.17em}}n,k=\stackrel{¯}{1,\infty }$, of the space ${\Omega }_{1}$ we call exhaustive one if the following conditions are valid:

1) ${A}_{n,k}\in {\mathcal{F}}_{1}$, ${A}_{n,k}\cap {A}_{n,s}=\varnothing ,\text{\hspace{0.17em}}k\ne s$, $\underset{k=1}{\overset{\infty }{\cup }}\text{ }\text{ }{A}_{n,k}={\Omega }_{1},\text{\hspace{0.17em}}n=\stackrel{¯}{1,\infty }$ ;

2) the $\left(n+1\right)$ -th decomposition is a sub-decomposition of the n-th one, that is, for every j, ${A}_{n+1,j}\subseteq {A}_{n,k}$ for a certain $k=k\left(j\right)$ ;

3) the minimal σ-algebra containing all ${A}_{n,k},\text{\hspace{0.17em}}n,k=\stackrel{¯}{1,\infty }$, coincides with ${\mathcal{F}}_{1}$.

The next Remark 1 is important for the construction of the filtration having the exhaustive decomposition.

Remark 1. Suppose that the measurable spaces $\left\{{\Omega }_{1},{\mathcal{F}}_{1}\right\}$ and $\left\{{\Omega }_{2},{\mathcal{F}}_{2}\right\}$ have the exhaustive decompositions ${A}_{n,k}^{1},\text{\hspace{0.17em}}n,k=\stackrel{¯}{1,\infty }$ , and ${A}_{m,s}^{2},\text{\hspace{0.17em}}m,s=\stackrel{¯}{1,\infty }$ , respectively, then the measurable space $\left\{{\Omega }_{1}×{\Omega }_{2},{\mathcal{F}}_{1}×{\mathcal{F}}_{2}\right\}$ also have the exhaustive decomposition ${B}_{n,ks},\text{\hspace{0.17em}}n=\stackrel{¯}{1,\infty },k,s=\stackrel{¯}{1,\infty }$ , ${B}_{n,ks}={A}_{n,k}^{1}×{A}_{n,s}^{2},\text{\hspace{0.17em}}k,s=\stackrel{¯}{1,\infty },\text{\hspace{0.17em}}n=\stackrel{¯}{1,\infty }$ . Really,

1) ${A}_{n,k}^{1}×{A}_{n,s}^{2}\in {\mathcal{F}}_{1}×{\mathcal{F}}_{2},\text{\hspace{0.17em}}{A}_{n,k}^{1}×{A}_{n,s}^{2}\cap {A}_{n,t}^{1}×{A}_{n,r}^{2}=\varnothing ,\text{\hspace{0.17em}}\left(k,s\right)\ne \left(t,r\right)$, $\underset{k,s=1}{\overset{\infty }{\cup }}{B}_{n,ks}={\Omega }_{1}×{\Omega }_{2},\text{\hspace{0.17em}}n=\stackrel{¯}{1,\infty }$ ;

2) the $\left(n+1\right)$ -th decomposition is a sub-decomposition of the n-th one, that is, for every $k,s$ ${B}_{n+1,ks}\subseteq {B}_{n,ij}$ for a certain $i=i\left(k\right),j=j\left(s\right)$ ;

3) the minimal σ-algebra containing all ${B}_{n,ks}$, $n,k,s=\stackrel{¯}{1,\infty }$, coincides with ${\mathcal{F}}_{1}×{\mathcal{F}}_{2}$.

In the next Lemma we give the sufficient condition of the existence of exhaustive decomposition. This Lemma is very important for the proof of the next Theorems [1].

Lemma 1. Let $\left\{{\Omega }_{1},{\mathcal{F}}_{1}\right\}$ be a measurable space with a complete separable metric space ${\Omega }_{1}$ and Borel σ-algebra ${\mathcal{F}}_{1}$ on it. Then $\left\{{\Omega }_{1},{\mathcal{F}}_{1}\right\}$ has an exhaustive decomposition.

Proof. If $\left\{{\omega }_{1},\cdots ,{\omega }_{n},\cdots \right\}$ is a countable dense set in ${\Omega }_{1}$, then we denote

$B\left({\omega }_{n},{\epsilon }_{m}\right)=\left\{\omega \in {\Omega }_{1},\text{\hspace{0.17em}}\rho \left(\omega ,{\omega }_{n}\right)<{\epsilon }_{m}\right\},\text{ }n,m=\stackrel{¯}{1,\infty },$ (3)

the countable set of open balls as ${\epsilon }_{m}$ runs all positive rational numbers, where $\rho \left({\omega }_{1},{\omega }_{2}\right),\text{\hspace{0.17em}}{\omega }_{1},{\omega }_{2}\in {\Omega }_{1}$ is a metric in ${\Omega }_{1}$. Prove that ${\mathcal{F}}_{1}=\sigma \left(B\left({\omega }_{n},{\epsilon }_{m}\right),n,m=\stackrel{¯}{1,\infty }\right)$, where $\sigma \left(B\left({\omega }_{n},{\epsilon }_{m}\right),n,m=\stackrel{¯}{1,\infty }\right)$ is a minimal σ-algebra generated by the sets (3). For this purpose let us prove that for every open set $A\in {\Omega }_{1}$ the representation

$A=\underset{{n}_{k}\in {N}_{1},{m}_{s}\in {Q}_{+}^{1}}{\cup }B\left({\omega }_{{n}_{k}},{\epsilon }_{{m}_{s}}\right)$ (4)

is true, where ${N}_{1}$ is a subset of positive integers, and ${Q}_{+}^{1}$ is a subset of positive rational numbers. Let us denote $\left\{{\omega }_{1}^{A},\cdots ,{\omega }_{n}^{A},\cdots \right\}=A\cap \left\{{\omega }_{1},\cdots ,{\omega }_{n},\cdots \right\}$. Suppose that ${\omega }_{0}\in A$, then $d={\mathrm{inf}}_{\omega \in \stackrel{¯}{A}\A}\rho \left({\omega }_{0},\omega \right)>0$, where $\stackrel{¯}{A}$ is a closure of the set A. Let the point ${\omega }_{{k}_{0}}^{A}$ belong to the ball $C\left({\omega }_{0},\frac{d}{8}\right)=\left\{\omega \in {\Omega }_{1},\rho \left({\omega }_{0},\omega \right)<\frac{d}{8}\right\}$ and let us consider the ball $C\left({\omega }_{{k}_{0}}^{A},\frac{d}{8}+\rho \left({\omega }_{0},{\omega }_{{k}_{0}}^{A}\right)\right)=\left\{\omega \in {\Omega }_{1},\rho \left({\omega }_{{k}_{0}}^{A},\omega \right)<\frac{d}{8}+\rho \left({\omega }_{0},{\omega }_{{k}_{0}}^{A}\right)\right\}$. The point ${\omega }_{0}$ belongs to this ball and for every $\omega \in C\left({\omega }_{{k}_{0}}^{A},\frac{d}{8}+\rho \left({\omega }_{0},{\omega }_{{k}_{0}}^{A}\right)\right)$ the inequality

$\rho \left({\omega }_{0},\omega \right)\le \rho \left({\omega }_{0},{\omega }_{{k}_{0}}^{A}\right)+\rho \left({\omega }_{{k}_{0}}^{A},\omega \right)<\frac{d}{8}+2\rho \left({\omega }_{0},{\omega }_{{k}_{0}}^{A}\right)<\frac{3d}{8}$ (5)

is true. Therefore $C\left({\omega }_{{k}_{0}}^{A},\frac{d}{8}+\rho \left({\omega }_{0},{\omega }_{{k}_{0}}^{A}\right)\right)\subset C\left({\omega }_{0},\frac{3d}{8}\right)$. Let the rational number ${\epsilon }_{{k}_{0}}$ satisfies the inequalities

$\frac{d}{8}+2\rho \left({\omega }_{0},{\omega }_{{k}_{0}}^{A}\right)<{\epsilon }_{{k}_{0}}<\frac{3d}{8},$ (6)

then $C\left({\omega }_{{k}_{0}}^{A},{\epsilon }_{{k}_{0}}\right)\subseteq C\left({\omega }_{0},\frac{d}{2}\right)$, since for every $\omega \in C\left({\omega }_{{k}_{0}}^{A},{\epsilon }_{{k}_{0}}\right)$, $\rho \left({\omega }_{0},\omega \right)\le \rho \left({\omega }_{0},{\omega }_{{k}_{0}}^{A}\right)+\rho \left({\omega }_{{k}_{0}}^{A},\omega \right)<\frac{d}{8}+{\epsilon }_{{k}_{0}}<\frac{d}{2}$. So, for ${\omega }_{0}\in A$ we found ${\omega }_{{k}_{0}}^{A}\in \left\{{\omega }_{1},\cdots ,{\omega }_{n},\cdots \right\}$ and the rational number ${\epsilon }_{{k}_{0}}$ such that ${\omega }_{0}\in C\left({\omega }_{{k}_{0}}^{A},{\epsilon }_{{k}_{0}}\right)\subset C\left({\omega }_{0},\frac{d}{2}\right)\subset A$. The last prove the needed statement. To complete the proof of Lemma 1 let us construct the exhaustive decomposition. Let us

renumber the sets $B\left({\omega }_{n},{\epsilon }_{m}\right)$ putting by ${D}_{1}=B\left({\omega }_{1},{\epsilon }_{1}\right)$, ${D}_{2}=B\left({\omega }_{1},{\epsilon }_{2}\right)$, ${D}_{3}=B\left({\omega }_{2},{\epsilon }_{1}\right)$, and so on. We put that ${\left\{{A}_{1k}\right\}}_{k=1}^{\infty }$ consists of two sets ${D}_{1}$ and ${\stackrel{¯}{D}}_{1}={\Omega }_{1}\{D}_{1}$. If the set ${\left\{{A}_{nk}\right\}}_{k=1}^{\infty }$ is constructed, then the set ${\left\{{A}_{n+1k}\right\}}_{k=1}^{\infty }$ we construct from the various set of the kind ${A}_{nk}\cap {D}_{n+1},{A}_{nk}\cap {\stackrel{¯}{D}}_{n+1}$. By construction the minimal σ-algebra $\sigma \left\{{A}_{nk},n,k=\stackrel{¯}{1,\infty }\right\}=\sigma \left\{B\left({\omega }_{n},{\epsilon }_{m}\right),n,m=\stackrel{¯}{1,\infty }\right\}$. Taking into account the previous part of the proof we have $\sigma \left\{{A}_{nk},n,k=\stackrel{¯}{1,\infty }\right\}={F}_{1}$. Lemma 1 is proved. □

Below, we describe completely the regular set of measures, introduced in [1], in the case as ${\xi }_{0}=\underset{i=1}{\overset{N}{\prod }}\left[1+{a}_{i}\left({\omega }_{1},\cdots ,{\omega }_{i-1}\right){\eta }_{i}\left({\omega }_{i}\right)\right]$, $N<\infty$, $0<{a}_{i}\left({\omega }_{1},\cdots ,{\omega }_{i-1}\right)\le 1$, $i=\stackrel{¯}{1,N}$, and the random values ${\xi }_{i}\left({\omega }_{1}\right)$, $i=\stackrel{¯}{1,N}$, are integrable ones relative to the measure ${P}_{1}^{0}$. For this purpose, we introduce the denotations: ${\Omega }_{i}^{-}=\left\{{\omega }_{i}\in {\Omega }_{i}^{0},{\eta }_{i}\left({\omega }_{i}\right)\le 0\right\}$, ${\Omega }_{i}^{+}=\left\{{\omega }_{i}\in {\Omega }_{i}^{0},{\eta }_{i}\left({\omega }_{i}\right)>0\right\}$, ${P}_{i}^{-}$ is a contraction of the measure ${P}_{i}^{0}$ on the σ-algebra ${\mathcal{F}}_{i}^{-}$, ${P}_{i}^{+}$ is a contraction of the measure ${P}_{i}^{0}$ on the σ-algebra ${\mathcal{F}}_{i}^{+}$, ${\mathcal{F}}_{i}^{-}={\Omega }_{i}^{-}\cap {\mathcal{F}}_{i}^{0}$, ${\mathcal{F}}_{i}^{+}={\Omega }_{i}^{+}\cap {\mathcal{F}}_{i}^{0}$. Denote ${U}_{i}={\Omega }_{i}^{-}×{\Omega }_{i}^{+}$ and introduce the measure ${\mu }_{i}={P}_{i}^{-}×{P}_{i}^{+}$ on the σ-algebra ${\mathcal{G}}_{i}={\mathcal{F}}_{i}^{-}×{\mathcal{F}}_{i}^{+}$. Let us introduce the measurable space $\left\{\mathcal{V},\mathcal{L},\mu \right\}$, where $\mathcal{V}=\underset{i=1}{\overset{N}{\prod }}\text{ }{U}_{i}$, is a direct product of the spaces ${U}_{i}={\Omega }_{i}^{-}×{\Omega }_{i}^{+}$, $i=\stackrel{¯}{1,N}$, $\mathcal{L}=\underset{i=1}{\overset{N}{\prod }}\text{ }{\mathcal{G}}_{i}$ is a direct product of the σ- algebras ${\mathcal{G}}_{i}$, $i=\stackrel{¯}{1,N}$. At last, let $\mu =\underset{i=1}{\overset{N}{\prod }}\text{ }{\mu }_{i}$ be a direct product of the measures ${\mu }_{i}$, $i=\stackrel{¯}{1,N}$, and let ${\nu }_{v}=\underset{i=1}{\overset{N}{\prod }}\text{ }{\nu }_{{\omega }_{i}^{1},{\omega }_{i}^{2}}$, $v=\left\{\left({\omega }_{1}^{1},{\omega }_{1}^{2}\right),\cdots ,\left({\omega }_{N}^{1},{\omega }_{N}^{2}\right)\right\}$, be a direct product of the measures ${\nu }_{{\omega }_{i}^{1},{\omega }_{i}^{2}}$, $i=\stackrel{¯}{1,N}$, which is a countable additive function on the σ-algebra ${\mathcal{F}}_{N}$ for every $v\in \mathcal{V}$, where

${\nu }_{{\omega }_{i}^{1},{\omega }_{i}^{2}}\left({A}_{i}\right)={\chi }_{{A}_{i}}\left({\omega }_{i}^{1}\right)\frac{{\eta }_{i}^{+}\left({\omega }_{i}^{2}\right)}{{\eta }_{i}^{-}\left({\omega }_{i}^{1}\right)+{\eta }_{i}^{+}\left({\omega }_{i}^{2}\right)}+{\chi }_{{A}_{i}}\left({\omega }_{i}^{2}\right)\frac{{\eta }_{i}^{-}\left({\omega }_{i}^{1}\right)}{{\eta }_{i}^{-}\left({\omega }_{i}^{1}\right)+{\eta }_{i}^{+}\left({\omega }_{i}^{2}\right)}$ (7)

for ${\omega }_{i}^{1}\in {\Omega }_{i}^{-}$, ${\omega }_{i}^{2}\in {\Omega }_{i}^{+}$, ${A}_{i}\in {\mathcal{F}}_{i}^{0}$.

In the next Theorem 1, we assume that the random values ${\eta }_{i}\left({\omega }_{i}\right)$, $i=\stackrel{¯}{1,N}$, are integrable ones.

Theorem 1. On the measurable space $\left\{\Omega ,\mathcal{F}\right\}$ with the filtration ${\mathcal{F}}_{N}$ on it, every measure Q of the regular set of measures M for the random value

${\xi }_{0}=\underset{i=1}{\overset{N}{\prod }}\left[1+{a}_{i}\left({\omega }_{1},\cdots ,{\omega }_{i-1}\right){\eta }_{i}\left({\omega }_{i}\right)\right]$, $N<\infty$, $0<{a}_{i}\left({\omega }_{1},\cdots ,{\omega }_{i-1}\right)\le 1$ , $i=\stackrel{¯}{1,N}$, has the representation

$Q\left(A\right)=\underset{\mathcal{V}}{\int }\text{ }\text{ }\alpha \left(v\right){\nu }_{v}\left(A\right)\text{d}\mu \left(v\right),$ (8)

where the random value $\alpha \left(v\right)$ satisfies the conditions

$\mu \left(\left\{v\in \mathcal{V},\text{\hspace{0.17em}}\alpha \left(v\right)>0\right\}\right)=\underset{i=1}{\overset{N}{\prod }}\text{ }{P}_{i}^{0}\left({\Omega }_{i}^{-}\right){P}_{i}^{0}\left({\Omega }_{i}^{+}\right),$ (9)

$\underset{\mathcal{V}}{\int }\text{ }\text{ }\alpha \left(v\right)\underset{i=1}{\overset{N}{\prod }}\frac{{\eta }_{i}^{-}\left({\omega }_{i}^{1}\right){\eta }_{i}^{+}\left({\omega }_{i}^{2}\right)}{{\eta }_{i}^{-}\left({\omega }_{i}^{1}\right)+{\eta }_{i}^{+}\left({\omega }_{i}^{2}\right)}\text{d}\mu \left(v\right)<\infty ,$ (10)

$\underset{\mathcal{V}}{\int }\text{ }\text{ }\alpha \left(v\right)\text{d}\mu \left(v\right)=1.$ (11)

Proof. To prove Theorem, it needs to prove that the countable additive measure ${\nu }_{v}\left(A\right)$ at every fixed $v\in \mathcal{V}$ is a measurable map from the measurable space $\left\{\mathcal{V},\mathcal{L}\right\}$ into the measurable space $\left\{\left[0,1\right],B\left(\left[0,1\right]\right)\right\}$ for every fixed $A\in {\mathcal{F}}_{N}$. For

$A=\underset{i=1}{\overset{N}{\prod }}\text{ }{A}_{i}$, ${A}_{i}\in {\mathcal{F}}_{i}^{0}$, ${\nu }_{v}\left(A\right)$ is a measurable map from the measurable space

$\left\{\mathcal{V},\mathcal{L}\right\}$ into the measurable space $\left\{\left[0,1\right],B\left(\left[0,1\right]\right)\right\}$. The family of sets of the kind $\underset{i\in I}{\cup }\text{ }\text{ }{E}_{i}$, ${E}_{i}=\underset{s=1}{\overset{N}{\prod }}{A}_{s}^{i}$, ${A}_{s}^{i}\in {\mathcal{F}}_{s}^{0}$, where ${E}_{i}\cap {E}_{j}=\varnothing$, the set I is an arbitrary finite set, forms the algebra of the sets that we denote by ${U}_{0}$. From the countable additivity of ${\nu }_{v}\left(A\right)$, ${\nu }_{v}\left(\underset{i\in I}{\cup }\text{ }\text{ }{E}_{i}\right)=\underset{i\in I}{\sum }\text{ }\text{ }{\nu }_{v}\left({E}_{i}\right)$ is a measurable map from the

measurable space $\left\{\mathcal{V},\mathcal{L}\right\}$ into the measurable space $\left\{\left[0,1\right],B\left(\left[0,1\right]\right)\right\}$. Let T be a class of the sets from the minimal σ-algebra $\Sigma$ generated by ${U}_{0}$ for every subset E of that ${\nu }_{v}\left(E\right)$ is a measurable map from the measurable space $\left\{\mathcal{V},\mathcal{L}\right\}$ into the measurable space $\left\{\left[0,1\right],B\left(\left[0,1\right]\right)\right\}$. Let us prove that T is a monotonic class. Suppose that ${E}_{i}\subset {E}_{i+1}$, $i=\stackrel{¯}{1,\infty }$, ${E}_{i}\in T$. Then, ${\nu }_{v}\left({E}_{i}\right)\le {\nu }_{v}\left({E}_{i+1}\right)$. From this, it follows that $\underset{i\to \infty }{lim}{\nu }_{v}\left({E}_{i}\right)$ is a measurable map from the measurable space $\left\{\mathcal{V},\mathcal{L}\right\}$ into the measurable space $\left\{\left[0,1\right],B\left(\left[0,1\right]\right)\right\}$. But,

${\nu }_{v}\left({E}_{i+1}\{E}_{i}\right)={\nu }_{v}\left({E}_{i+1}\right)-{\nu }_{v}\left({E}_{i}\right)$ is a measurable map from $\left\{\mathcal{V},\mathcal{L}\right\}$ into $\left\{\left[0,1\right],B\left(\left[0,1\right]\right)\right\}$. From this equality, it follows that the set ${E}_{i+1}\{E}_{i}$ belongs to the class T. Since $\underset{i=1}{\overset{\infty }{\cup }}\text{ }\text{ }{E}_{i}={E}_{1}\cup \underset{i=1}{\overset{\infty }{\cup }}\left[{E}_{i+1}\{E}_{i}\right]$, we have

$\begin{array}{c}\underset{n\to \infty }{\mathrm{lim}}{\nu }_{v}\left({E}_{n}\right)={\nu }_{v}\left({E}_{1}\right)+\underset{n\to \infty }{\mathrm{lim}}\underset{i=1}{\overset{n}{\sum }}\text{ }\text{ }{\nu }_{v}\left({E}_{i+1}\{E}_{i}\right)\\ ={\nu }_{v}\left({E}_{1}\right)+\underset{i=1}{\overset{\infty }{\sum }}\text{ }\text{ }{\nu }_{v}\left({E}_{i+1}\{E}_{i}\right)\\ ={\nu }_{v}\left({E}_{1}\cup \underset{i=1}{\overset{\infty }{\cup }}\left[{E}_{i+1}\{E}_{i}\right]\right)={\nu }_{v}\left(\underset{i=1}{\overset{\infty }{\cup }}\text{ }\text{ }{E}_{i}\right).\end{array}$ (12)

The equalities (12) mean that $\underset{i=1}{\overset{\infty }{\cup }}\text{ }\text{ }{E}_{i}$ belongs to T, since ${\nu }_{v}\left(\underset{i=1}{\overset{\infty }{\cup }}\text{ }\text{ }{E}_{i}\right)$ is a measurable map of $\left\{\mathcal{V},\mathcal{L}\right\}$ into $\left\{\left[0,1\right],B\left(\left[0,1\right]\right)\right\}$. Suppose that ${E}_{i}\supset {E}_{i+1}$, ${E}_{i}\in T$, $i=\stackrel{¯}{1,\infty }$. Then, this case is reduced to the previous one by the note that the sequence ${\stackrel{¯}{E}}_{i}=\underset{i=1}{\overset{N}{\prod }}\text{ }{\Omega }_{i}^{0}\{E}_{i}$, $i=\stackrel{¯}{1,\infty }$, is monotonically increasing. From this, it follows that $\stackrel{¯}{E}=\underset{i=1}{\overset{\infty }{\cup }}\text{ }\text{ }{\stackrel{¯}{E}}_{i}\in T$. Therefore, $\underset{i=1}{\overset{\infty }{\cap }}\text{ }\text{ }{E}_{i}=\underset{i=1}{\overset{N}{\prod }}\text{ }\text{ }{\Omega }_{i}^{0}\\underset{i=1}{\overset{\infty }{\cup }}\text{ }\text{ }{\stackrel{¯}{E}}_{i}\in T$. Thus, T is a monotone

class. But, ${U}_{0}\subset T$. Hence, T contains the minimal monotone class generated by the algebra ${U}_{0}$, that is, $m\left({U}_{0}\right)=\Sigma$, therefore, $\Sigma \subset T$. Thus, ${\nu }_{v}\left(E\right)$ is a measurable map of $\left\{\mathcal{V},\mathcal{L}\right\}$ into $\left\{\left[0,1\right],B\left(\left[0,1\right]\right)\right\}$ for $A\in \Sigma$. The fact that the random value $\alpha \left(v\right)$ satisfies the conditions (9)-(11) means that Q, given by the formula (8), is a countable additive function of sets and ${E}^{Q}{\xi }_{0}<\infty$. Moreover,

${E}^{Q}{\xi }_{0}=1$. It is evident that ${E}^{Q}\left\{{\xi }_{0}|{\mathcal{F}}_{n}\right\}=\underset{i=1}{\overset{n}{\prod }}\left[1+{a}_{i}\left({\omega }_{1},\cdots ,{\omega }_{i-1}\right){\eta }_{i}\left({\omega }_{i}\right)\right]$, $Q\in M$.

Due to Lemma 4, [1], this proves that the set M is a regular set of measure. Theorem 1 is proved. □

Remark 2. The representation (8) for the regular set of measures M means that M is a convex set of equivalent measures. Since the random value $\alpha \left(v\right)$ runs all bounded random values, satisfying the conditions (9 - 11), it is easy to show that the set of measures ${\nu }_{v}\left(A\right)$ , $v\in \mathcal{V}$, $A\in {\mathcal{F}}_{N}$, is the set of extreme points for the set M.

${m}_{n}\left(\left\{\omega \right\}\right)=\underset{i=1}{\overset{n}{\prod }}\left[1+{a}_{i}\left({\omega }_{1},\cdots ,{\omega }_{i-1}\right){\eta }_{i}\left({\omega }_{i}\right)\right],\text{\hspace{0.17em}}1\le n\le N<\infty ,$ (13)

$0<{a}_{i}\left({\omega }_{1},\cdots ,{\omega }_{i-1}\right)\le 1,\text{ }i=\stackrel{¯}{1,N}.$

$\left\{\omega \right\}=\left\{{\omega }_{1},\cdots ,{\omega }_{N}\right\},\text{ }{\left\{\omega \right\}}^{i}=\left\{{\omega }_{1}^{i},\cdots ,{\omega }_{N}^{i}\right\},\text{ }i=1,2,\text{ }{\Omega }_{n}=\underset{i=1}{\overset{n}{\prod }}\text{ }\text{ }{\Omega }_{i}^{0},\text{ }n=\stackrel{¯}{1,N},$

${\left\{\omega \right\}}_{n}=\left\{{\omega }_{1},\cdots ,{\omega }_{n}\right\},\text{ }{\left\{\omega \right\}}_{n}^{i}=\left\{{\omega }_{1}^{i},\cdots ,{\omega }_{n}^{i}\right\},\text{ }i=1,2,$

${\Omega }_{N-n}=\underset{i=n+1}{\overset{N}{\prod }}{\Omega }_{i}^{0},\text{ }n=\stackrel{¯}{1,N-1},$

${\stackrel{¯}{\Omega }}_{n}^{-}=\left\{{\left\{\omega \right\}}_{n}\in {\Omega }_{n},\left[{m}_{n}-{m}_{n-1}\right]\left({\left\{\omega \right\}}_{n}\right)\le 0\right\}={\Omega }_{n-1}×\left\{{\omega }_{n}\in {\Omega }_{n}^{0},{\eta }_{n}\left({\omega }_{n}\right)\le 0\right\},$

${\stackrel{¯}{\Omega }}_{n}^{+}=\left\{{\left\{\omega \right\}}_{n}\in {\Omega }_{n},\left[{m}_{n}-{m}_{n-1}\right]\left({\left\{\omega \right\}}_{n}\right)>0\right\}={\Omega }_{n-1}×\left\{{\omega }_{n}\in {\Omega }_{n}^{0},\text{\hspace{0.17em}}{\eta }_{n}\left({\omega }_{n}\right)>0\right\},$

${\Omega }_{n}^{-}=\left\{\left\{\omega \right\}\in {\Omega }_{N},\left[{m}_{n}-{m}_{n-1}\right]\left(\left\{\omega \right\}\right)\le 0\right\}={\Omega }_{n-1}×\left\{{\omega }_{n}\in {\Omega }_{n}^{0},{\eta }_{n}\left({\omega }_{n}\right)\le 0\right\}×{\Omega }_{N-n},$

$\begin{array}{c}{\Omega }_{n}^{+}=\left\{\left\{\omega \right\}\in {\Omega }_{N},\left[{m}_{n}-{m}_{n-1}\right]\left(\left\{\omega \right\}\right)>0\right\}\\ ={\Omega }_{n-1}×\left\{{\omega }_{n}\in {\Omega }_{n}^{0},{\eta }_{n}\left({\omega }_{n}\right)>0\right\}×{\Omega }_{N-n},\text{ }n=\stackrel{¯}{1,N},\end{array}$ (14)

Note that the σ-algebra ${\mathcal{F}}_{n}$ is generated by sets of the kind $G=\underset{i=1}{\overset{N}{\prod }}\text{ }\text{ }{G}_{i}$, where ${G}_{i}\in {\mathcal{F}}_{i}^{0}$, $i=\stackrel{¯}{1,n}$, ${G}_{i}={\Omega }_{i}^{0}$, $i=\stackrel{¯}{n+1,N}$. Denote ${P}_{n}=\underset{i=1}{\overset{n}{\prod }}\text{ }\text{ }{P}_{i}^{0}$ the contraction of the measure ${P}_{N}=\underset{i=1}{\overset{N}{\prod }}{P}_{i}^{0}$ onto the σ-algebra ${\mathcal{F}}_{n}$. Further we use the denotations

${P}_{n}^{-}$ and ${P}_{n}^{+}$ which are the contractions the measure ${P}_{n}$ onto the σ-algebras ${\mathcal{F}}_{n}\cap {\Omega }_{n}^{-}$ and ${\mathcal{F}}_{n}\cap {\Omega }_{n}^{+}$, correspondingly. If the measure Q belongs to the set of martingale measures (8), then ${E}^{Q}\left\{{m}_{n}|{\mathcal{F}}_{n-1}\right\}={m}_{n-1}$, or ${E}^{Q}\left[{m}_{n}-{m}_{n-1}\right]=0$. From this, for the measure Q the representation

$\begin{array}{l}Q\left({A}_{1}\right)=\underset{{\Omega }_{n}^{-}×{\Omega }_{n}^{+}}{\int }\frac{{\chi }_{{A}_{1}}\left({\left\{\omega \right\}}^{1}\right)\alpha \left({\left\{\omega \right\}}^{1};{\left\{\omega \right\}}^{2}\right){\left[{m}_{n}-{m}_{n-1}\right]}^{+}\left({\left\{\omega \right\}}^{2}\right)}{{\left[{m}_{n}-{m}_{n-1}\right]}^{-}\left({\left\{\omega \right\}}^{1}\right)+{\left[{m}_{n}-{m}_{n-1}\right]}^{+}\left({\left\{\omega \right\}}^{2}\right)}\text{d}\left[{P}_{N}^{-}×{P}_{N}^{+}\right]\\ +\underset{{\Omega }_{n}^{-}×{\Omega }_{n}^{+}}{\int }\frac{{\chi }_{{A}_{1}}\left({\left\{\omega \right\}}^{2}\right)\alpha \left({\left\{\omega \right\}}^{1};{\left\{\omega \right\}}^{2}\right){\left[{m}_{n}-{m}_{n-1}\right]}^{-}\left({\left\{\omega \right\}}^{1}\right)}{{\left[{m}_{n}-{m}_{n-1}\right]}^{-}\left({\left\{\omega \right\}}^{1}\right)+{\left[{m}_{n}-{m}_{n-1}\right]}^{+}\left({\left\{\omega \right\}}^{2}\right)}\text{d}\left[{P}_{N}^{-}×{P}_{N}^{+}\right],\text{\hspace{0.17em}}\text{\hspace{0.17em}}{A}_{1}\in {\mathcal{F}}_{n},\end{array}$ (15)

is true if the random value $\alpha \left({\left\{\omega \right\}}^{1};{\left\{\omega \right\}}^{2}\right)>0$ satisfies the condition

$\underset{{\Omega }_{n}^{-}×{\Omega }_{n}^{+}}{\int }\alpha \left({\left\{\omega \right\}}^{1};{\left\{\omega \right\}}^{2}\right)\text{d}\left[{P}_{N}^{-}×{P}_{N}^{+}\right]=1.$ (16)

Since for the set ${A}_{1}$ the representation ${A}_{1}=A×\underset{i=n+1}{\overset{N}{\prod }}\text{ }\text{ }{\Omega }_{i}^{0}$, is true, where $A\in {\stackrel{¯}{\mathcal{F}}}_{n}=\underset{i=1}{\overset{n}{\prod }}{\mathcal{F}}_{i}^{0}$, then for the contraction ${Q}_{n}$ of the measure Q onto the σ-algebra ${\mathcal{F}}_{n}$ the representation

$\begin{array}{l}{Q}_{n}\left(A\right)=\underset{{\stackrel{¯}{\Omega }}_{n}^{-}×{\stackrel{¯}{\Omega }}_{n}^{+}}{\int }\frac{{\chi }_{A}\left({\left\{\omega \right\}}_{n}^{1}\right){\alpha }_{n}^{1}\left({\left\{\omega \right\}}_{n}^{1};{\left\{\omega \right\}}_{n}^{2}\right){\left[{m}_{n}-{m}_{n-1}\right]}^{+}\left({\left\{\omega \right\}}_{n}^{2}\right)}{{\left[{m}_{n}-{m}_{n-1}\right]}^{-}\left({\left\{\omega \right\}}_{n}^{1}\right)+{\left[{m}_{n}-{m}_{n-1}\right]}^{+}\left({\left\{\omega \right\}}_{n}^{2}\right)}\text{d}\left[{\stackrel{¯}{P}}_{n}^{-}×{\stackrel{¯}{P}}_{n}^{+}\right]\\ +\underset{{\stackrel{¯}{\Omega }}_{n}^{-}×{\stackrel{¯}{\Omega }}_{n}^{+}}{\int }\frac{{\chi }_{A}\left({\left\{\omega \right\}}_{n}^{2}\right){\alpha }_{n}^{1}\left({\left\{\omega \right\}}_{n}^{1};{\left\{\omega \right\}}_{n}^{2}\right){\left[{m}_{n}-{m}_{n-1}\right]}^{-}\left({\left\{\omega \right\}}_{n}^{1}\right)}{{\left[{m}_{n}-{m}_{n-1}\right]}^{-}\left({\left\{\omega \right\}}_{n}^{1}\right)+{\left[{m}_{n}-{m}_{n-1}\right]}^{+}\left({\left\{\omega \right\}}_{n}^{2}\right)}\text{d}\left[{\stackrel{¯}{P}}_{n}^{-}×{\stackrel{¯}{P}}_{n}^{+}\right],\text{\hspace{0.17em}}\text{\hspace{0.17em}}A\in {\stackrel{¯}{\mathcal{F}}}_{n},\end{array}$ (17)

is true, where we introduced the denotations ${\stackrel{¯}{P}}_{n}^{-}$ and ${\stackrel{¯}{P}}_{n}^{+}$ which are the contractions of the measure ${P}_{n}$ onto the σ-algebras ${\stackrel{¯}{\mathcal{F}}}_{n}\cap {\stackrel{¯}{\Omega }}_{n}^{-}$ and ${\stackrel{¯}{\mathcal{F}}}_{n}\cap {\stackrel{¯}{\Omega }}_{n}^{+}$, correspondingly,

${\alpha }_{n}^{1}\left({\left\{\omega \right\}}_{n}^{1};{\left\{\omega \right\}}_{n}^{2}\right)=\underset{{\Omega }_{N-n}×{\Omega }_{N-n}}{\int }\alpha \left({\left\{\omega \right\}}^{1};{\left\{\omega \right\}}^{2}\right)\text{d}\left[{P}_{N-n}×{P}_{N-n}\right],$

${P}_{N-n}=\underset{i=n+1}{\overset{N}{\prod }}{P}_{i}^{0},\text{ }\underset{{\stackrel{¯}{\Omega }}_{n}^{-}×{\stackrel{¯}{\Omega }}_{n}^{+}}{\int }{\alpha }_{n}^{1}\left({\left\{\omega \right\}}_{n}^{1};{\left\{\omega \right\}}_{n}^{2}\right)\text{d}\left[{\stackrel{¯}{P}}_{n}^{-}×{\stackrel{¯}{P}}_{n}^{+}\right]=1.$ (18)

In the set ${\Omega }_{n}^{-}×{\Omega }_{n}^{+}$ let us introduce the transformation

${T}_{n}\left({\left\{\omega \right\}}_{n}^{1};{\left\{\omega \right\}}_{n}^{2}\right)=\left({T}_{n}^{1}\left({\left\{\omega \right\}}_{n}^{1}\right);{T}_{n}^{2}\left({\left\{\omega \right\}}_{n}^{2}\right)\right),$

${T}_{n}^{1}\left({\left\{\omega \right\}}_{n}^{1}\right)=\left\{{\left\{\omega \right\}}_{n-1}^{2},{\omega }_{n}^{1}\right\},\text{ }{T}_{n}^{2}\left({\left\{\omega \right\}}_{n}^{2}\right)=\left\{{\left\{\omega \right\}}_{n-1}^{1},{\omega }_{n}^{2}\right\},\text{ }n=\stackrel{¯}{1,N}.$ (19)

By the definition we put that for $n=1$ the transformation ${T}_{1}$ is identical one. Introduce the denotations

${\nu }_{n}^{1}\left({\left\{\omega \right\}}_{n}^{1};{\left\{\omega \right\}}_{n}^{2}\right)=\frac{{\left[{m}_{n}-{m}_{n-1}\right]}^{+}\left({\left\{\omega \right\}}_{n}^{2}\right)}{{\phi }_{n}\left({\left\{\omega \right\}}_{n}^{1};{\left\{\omega \right\}}_{n}^{2}\right)},$ (20)

${\nu }_{n}^{2}\left({\left\{\omega \right\}}_{n}^{1};{\left\{\omega \right\}}_{n}^{2}\right)=\frac{{\left[{m}_{n}-{m}_{n-1}\right]}^{-}\left({\left\{\omega \right\}}_{n}^{1}\right)}{{\phi }_{n}\left({\left\{\omega \right\}}_{n}^{1};{\left\{\omega \right\}}_{n}^{2}\right)}.$ (21)

${\phi }_{n}^{1}\left({\left\{\omega \right\}}_{n}^{1};{\left\{\omega \right\}}_{n}^{2}\right)={\left[{m}_{n}-{m}_{n-1}\right]}^{-}\left({\left\{\omega \right\}}_{n}^{1}\right)+{\left[{m}_{n}-{m}_{n-1}\right]}^{+}\left({\left\{\omega \right\}}_{n}^{2}\right),$ (22)

${\phi }_{n}\left({\left\{\omega \right\}}_{n}^{1};{\left\{\omega \right\}}_{n}^{2}\right)={\phi }_{n}^{1}\left({\left\{\omega \right\}}_{n}^{1};{\left\{\omega \right\}}_{n}^{2}\right)+{\phi }_{n}^{1}\left({T}_{n}\left(\left({\left\{\omega \right\}}_{n}^{1};{\left\{\omega \right\}}_{n}^{2}\right)\right)\right).$ (23)

Theorem 2. Let ${\Omega }_{1}^{0}$ be a complete separable metric space and ${\mathcal{F}}_{1}^{0}$ be a Borel σ-algebra on it. If the condition

$\underset{{\Omega }_{n}}{\int }f\left({\left\{\omega \right\}}_{n}\right)\text{d}{P}_{n}<\infty$ (24)

is true for ${\mathcal{F}}_{n}$ -measurable nonnegative random value $f\left({\left\{\omega \right\}}_{n}\right)$, then the closure of the set of points ${E}^{{Q}_{n}}f\left({\left\{\omega \right\}}_{n}\right)$, ${Q}_{n}\in {M}_{n}$, in metrics $\rho \left(x,y\right)=|x-y|$ on the real line contains the set of points

$\begin{array}{l}f\left({\left\{\omega \right\}}_{n}^{1}\right){\nu }_{n}^{1}\left({\left\{\omega \right\}}_{n}^{1};{\left\{\omega \right\}}_{n}^{2}\right)+f\left({\left\{\omega \right\}}_{n}^{2}\right){\nu }_{n}^{2}\left({\left\{\omega \right\}}_{n}^{1};{\left\{\omega \right\}}_{n}^{2}\right)\\ +f\left({T}_{n}^{1}\left({\left\{\omega \right\}}_{n}^{1}\right)\right){\nu }_{n}^{1}\left({T}_{n}\left({\left\{\omega \right\}}_{n}^{1};{\left\{\omega \right\}}_{n}^{2}\right)\right)\\ +f\left({T}_{n}^{2}\left({\left\{\omega \right\}}_{n}^{2}\right)\right){\nu }_{n}^{2}\left({T}_{n}\left({\left\{\omega \right\}}_{n}^{1};{\left\{\omega \right\}}_{n}^{2}\right)\right),\text{\hspace{0.17em}}n=\stackrel{¯}{1,N}.\end{array}$ (25)

Proof. Let us find the conditions for the measurable functions ${\alpha }_{n}^{1}\left({\left\{\omega \right\}}_{n}^{1};{\left\{\omega \right\}}_{n}^{2}\right)$ under which ${E}^{{Q}_{n}}\left\{{m}_{n}|{\stackrel{¯}{\mathcal{F}}}_{n-1}\right\}={m}_{n-1}$. Introduce the denotation

${\alpha }_{n}^{0}\left({\left\{\omega \right\}}_{n}^{1};{\left\{\omega \right\}}_{n}^{2}\right)=\frac{{\alpha }_{n}^{1}\left({\left\{\omega \right\}}_{n}^{1};{\left\{\omega \right\}}_{n}^{2}\right)}{{\left[{m}_{n}-{m}_{n-1}\right]}^{-}\left({\left\{\omega \right\}}_{n}^{1}\right)+{\left[{m}_{n}-{m}_{n-1}\right]}^{+}\left({\left\{\omega \right\}}_{n}^{2}\right)}.$ (26)

Let the set B belongs to ${\stackrel{¯}{\mathcal{F}}}_{n-1}$, then

$\begin{array}{l}{E}^{{Q}_{n}}{\chi }_{B}\left({\left\{\omega \right\}}_{n-1}\right)\left[{m}_{n}-{m}_{n-1}\right]\left({\left\{\omega \right\}}_{n}\right)\\ =\underset{{\stackrel{¯}{\Omega }}_{n}^{-}×{\stackrel{¯}{\Omega }}_{n}^{+}}{\int }{\chi }_{B}\left({\left\{\omega \right\}}_{n-1}^{1}\right){\alpha }_{n}^{0}\left({\left\{\omega \right\}}_{n}^{1};{\left\{\omega \right\}}_{n}^{2}\right)\left[{m}_{n}-{m}_{n-1}\right]\left({\left\{\omega \right\}}_{n}^{1}\right)\\ \text{\hspace{0.17em}}\text{\hspace{0.17em}}×{\left[{m}_{n}-{m}_{n-1}\right]}^{+}\left({\left\{\omega \right\}}_{n}^{2}\right)\text{d}\left[{\stackrel{¯}{P}}_{n}^{-}×{\stackrel{¯}{P}}_{n}^{+}\right]\\ \text{\hspace{0.17em}}\text{\hspace{0.17em}}+\underset{{\stackrel{¯}{\Omega }}_{n}^{-}×{\stackrel{¯}{\Omega }}_{n}^{+}}{\int }{\chi }_{B}\left({\left\{\omega \right\}}_{n-1}^{2}\right){\alpha }_{n}^{0}\left({\left\{\omega \right\}}_{n}^{1};{\left\{\omega \right\}}_{n}^{2}\right)\left[{m}_{n}-{m}_{n-1}\right]\left({\left\{\omega \right\}}_{n}^{2}\right)\\ \text{\hspace{0.17em}}\text{\hspace{0.17em}}×{\left[{m}_{n}-{m}_{n-1}\right]}^{-}\left({\left\{\omega \right\}}_{n}^{1}\right)\text{d}\left[{\stackrel{¯}{P}}_{n}^{-}×{\stackrel{¯}{P}}_{n}^{+}\right].\end{array}$ (27)

If to take into account the relations

$\left[{m}_{n}-{m}_{n-1}\right]\left({\left\{\omega \right\}}_{n}\right)={m}_{n-1}\left({\left\{\omega \right\}}_{n-1}\right){a}_{n}\left({\left\{\omega \right\}}_{n-1}\right){\eta }_{n}\left({\omega }_{n}\right),$

${\left[{m}_{n}-{m}_{n-1}\right]}^{+}\left({\left\{\omega \right\}}_{n}\right)={m}_{n-1}\left({\left\{\omega \right\}}_{n-1}\right){a}_{n}\left({\left\{\omega \right\}}_{n-1}\right){\eta }_{n}^{+}\left({\omega }_{n}\right),$

${\left[{m}_{n}-{m}_{n-1}\right]}^{-}\left({\left\{\omega \right\}}_{n}\right)={m}_{n-1}\left({\left\{\omega \right\}}_{n-1}\right){a}_{n}\left({\left\{\omega \right\}}_{n-1}\right){\eta }_{n}^{-}\left({\omega }_{n}\right),$ (28)

and introduce the denotations

$\begin{array}{c}{\theta }_{1}\left({\left\{\omega \right\}}_{n}^{1};{\left\{\omega \right\}}_{n}^{2}\right)={m}_{n-1}\left({\left\{\omega \right\}}_{n-1}^{1}\right){a}_{n}\left({\left\{\omega \right\}}_{n-1}^{1}\right)\\ \text{\hspace{0.17em}}\text{\hspace{0.17em}}×{m}_{n-1}\left({\left\{\omega \right\}}_{n-1}^{2}\right){a}_{n}\left({\left\{\omega \right\}}_{n-1}^{2}\right){\alpha }_{n}^{0}\left({\left\{\omega \right\}}_{n}^{1};{\left\{\omega \right\}}_{n}^{2}\right),\end{array}$ (29)

$\begin{array}{c}{\theta }_{2}\left({\left\{\omega \right\}}_{n}^{1};{\left\{\omega \right\}}_{n}^{2}\right)={m}_{n-1}\left({\left\{\omega \right\}}_{n-1}^{1}\right){a}_{n}\left({\left\{\omega \right\}}_{n-1}^{1}\right)\\ \text{\hspace{0.17em}}\text{\hspace{0.17em}}×{m}_{n-1}\left({\left\{\omega \right\}}_{n-1}^{2}\right){a}_{n}\left({\left\{\omega \right\}}_{n-1}^{2}\right){\alpha }_{n}^{0}\left({\left\{\omega \right\}}_{n}^{1};{\left\{\omega \right\}}_{n}^{2}\right),\end{array}$ (30)

we obtain

$\begin{array}{l}{E}^{{Q}_{n}}{\chi }_{B}\left({\left\{\omega \right\}}_{n-1}\right)\left[{m}_{n}-{m}_{n-1}\right]\left({\left\{\omega \right\}}_{n}\right)\\ =-\underset{{\stackrel{¯}{\Omega }}_{n}^{-}×{\stackrel{¯}{\Omega }}_{n}^{+}}{\int }{\chi }_{B}\left({\left\{\omega \right\}}_{n-1}^{1}\right){\theta }_{1}\left({\left\{\omega \right\}}_{n}^{1};{\left\{\omega \right\}}_{n}^{2}\right){\eta }_{n}^{-}\left({\omega }_{n}^{1}\right){\eta }_{n}^{+}\left({\omega }_{n}^{2}\right)\text{d}\left[{\stackrel{¯}{P}}_{n}^{-}×{\stackrel{¯}{P}}_{n}^{+}\right]\\ \text{\hspace{0.17em}}\text{\hspace{0.17em}}+\underset{{\stackrel{¯}{\Omega }}_{n}^{-}×{\stackrel{¯}{\Omega }}_{n}^{+}}{\int }{\chi }_{B}\left({\left\{\omega \right\}}_{n-1}^{2}\right){\theta }_{2}\left({\left\{\omega \right\}}_{n}^{1};{\left\{\omega \right\}}_{n}^{2}\right){\eta }_{n}^{-}\left({\omega }_{n}^{1}\right){\eta }_{n}^{+}\left({\omega }_{n}^{2}\right)\text{d}\left[{\stackrel{¯}{P}}_{n}^{-}×{\stackrel{¯}{P}}_{n}^{+}\right]\\ =\underset{\left\{{\eta }_{n}\left({\omega }_{n}^{1}\right)\le 0\right\}×\left\{{\eta }_{n}\left({\omega }_{n}^{2}\right)>0\right\}}{\int }\text{d}\left[{P}_{1}\left({\omega }_{n}^{1}\right)×{P}_{1}\left({\omega }_{n}^{2}\right)\right]{\eta }_{n}^{-}\left({\omega }_{n}^{1}\right){\eta }_{n}^{+}\left({\omega }_{n}^{2}\right)\\ \text{\hspace{0.17em}}\text{\hspace{0.17em}}×\underset{{\Omega }_{n-1}×{\Omega }_{n-1}}{\int }{\chi }_{B}\left({\left\{\omega \right\}}_{n-1}^{1}\right)\left[{\theta }_{1}\left({\left\{\omega \right\}}_{n}^{1};{\left\{\omega \right\}}_{n}^{2}\right)-{\theta }_{1}\left({\left\{\omega \right\}}_{n-1}^{2},{\omega }_{n}^{1};{\left\{\omega \right\}}_{n-1}^{1},{\omega }_{n}^{2}\right)\right]\\ \text{\hspace{0.17em}}\text{\hspace{0.17em}}×\text{d}\left[{P}_{n-1}\left({\left\{\omega \right\}}_{n-1}^{1}\right)×{P}_{n-1}\left({\left\{\omega \right\}}_{n-1}^{2}\right)\right].\end{array}$ (31)

It is evident that the expression (31) equals zero for every $B\in {\stackrel{¯}{\mathcal{F}}}_{n-1}$ if and only if as

${\theta }_{1}\left({\left\{\omega \right\}}_{n}^{1};{\left\{\omega \right\}}_{n}^{2}\right)-{\theta }_{1}\left({\left\{\omega \right\}}_{n-1}^{2},{\omega }_{n}^{1};{\left\{\omega \right\}}_{n-1}^{1},{\omega }_{n}^{2}\right)=0.$ (32)

The last equality (32) is valid if the equality

${\alpha }_{n}^{0}\left({\left\{\omega \right\}}_{n-1}^{1},{\omega }_{n}^{1};{\left\{\omega \right\}}_{n-1}^{2},{\omega }_{n}^{2}\right)={\alpha }_{n}^{0}\left({\left\{\omega \right\}}_{n-1}^{2},{\omega }_{n}^{1};{\left\{\omega \right\}}_{n-1}^{1},{\omega }_{n}^{2}\right)$ (33)

is true.

Now if for ${\alpha }_{n}^{2}\left({\left\{\omega \right\}}_{n}^{1};{\left\{\omega \right\}}_{n}^{2}\right)>0$ satisfying the condition

$\underset{{\stackrel{¯}{\Omega }}_{n}^{-}×{\stackrel{¯}{\Omega }}_{n}^{+}}{\int }{\alpha }_{n}^{2}\left({\left\{\omega \right\}}_{n}^{1};{\left\{\omega \right\}}_{n}^{2}\right)\text{d}\left[{\stackrel{¯}{P}}_{n}^{-}×{\stackrel{¯}{P}}_{n}^{+}\right]=1$ (34)

to put

${\alpha }_{n}^{0}\left({\left\{\omega \right\}}_{n}^{1};{\left\{\omega \right\}}_{n}^{2}\right)=\frac{{\alpha }_{n}^{2}\left({\left\{\omega \right\}}_{n}^{1};{\left\{\omega \right\}}_{n}^{2}\right)+{\alpha }_{n}^{2}\left({T}_{n}\left({\left\{\omega \right\}}_{n}^{1};{\left\{\omega \right\}}_{n}^{2}\right)\right)}{{\phi }_{n}\left({\left\{\omega \right\}}_{n}^{1};{\left\{\omega \right\}}_{n}^{2}\right)},$ (35)

then

$\begin{array}{l}{Q}_{n}\left(A\right)=\underset{{\stackrel{¯}{\Omega }}_{n}^{-}×{\stackrel{¯}{\Omega }}_{n}^{+}}{\int }{\chi }_{A}\left({\left\{\omega \right\}}_{n}^{1}\right){\alpha }_{n}^{0}\left({\left\{\omega \right\}}_{n}^{1};{\left\{\omega \right\}}_{n}^{2}\right){\left[{m}_{n}-{m}_{n-1}\right]}^{+}\left({\left\{\omega \right\}}_{n}^{2}\right)\text{d}\left[{\stackrel{¯}{P}}_{n}^{-}×{\stackrel{¯}{P}}_{n}^{+}\right]\\ +\underset{{\stackrel{¯}{\Omega }}_{n}^{-}×{\stackrel{¯}{\Omega }}_{n}^{+}}{\int }{\chi }_{A}\left({\left\{\omega \right\}}_{n}^{2}\right){\alpha }_{n}^{0}\left({\left\{\omega \right\}}_{n}^{1};{\left\{\omega \right\}}_{n}^{2}\right){\left[{m}_{n}-{m}_{n-1}\right]}^{-}\left({\left\{\omega \right\}}_{n}^{1}\right)\text{d}\left[{\stackrel{¯}{P}}_{n}^{-}×{\stackrel{¯}{P}}_{n}^{+}\right]\end{array}$ (36)

is a probability measure on the σ-algebra ${\stackrel{¯}{\mathcal{F}}}_{n}$.

Taking into account the denotation (26) and the formula (35), we obtain that the measure

$\begin{array}{l}{Q}_{n}\left(A\right)=\underset{{\stackrel{¯}{\Omega }}_{n}^{-}×{\stackrel{¯}{\Omega }}_{n}^{+}}{\int }{\chi }_{A}\left({\left\{\omega \right\}}_{n}^{1}\right){\alpha }_{n}^{1}\left({\left\{\omega \right\}}_{n}^{1};{\left\{\omega \right\}}_{n}^{2}\right)\frac{{\left[{m}_{n}-{m}_{n-1}\right]}^{+}\left({\left\{\omega \right\}}_{n}^{2}\right)}{{\phi }_{n}^{1}\left({\left\{\omega \right\}}_{n}^{1};{\left\{\omega \right\}}_{n}^{2}\right)}\text{d}\left[{\stackrel{¯}{P}}_{n}^{-}×{\stackrel{¯}{P}}_{n}^{+}\right]\\ +\underset{{\stackrel{¯}{\Omega }}_{n}^{-}×{\stackrel{¯}{\Omega }}_{n}^{+}}{\int }{\chi }_{A}\left({\left\{\omega \right\}}_{n}^{2}\right){\alpha }_{n}^{1}\left({\left\{\omega \right\}}_{n}^{1};{\left\{\omega \right\}}_{n}^{2}\right)\frac{{\left[{m}_{n}-{m}_{n-1}\right]}^{-}\left({\left\{\omega \right\}}_{n}^{1}\right)}{{\phi }_{n}^{1}\left({\left\{\omega \right\}}_{n}^{1};{\left\{\omega \right\}}_{n}^{2}\right)}\text{d}\left[{\stackrel{¯}{P}}_{n}^{-}×{\stackrel{¯}{P}}_{n}^{+}\right]\end{array}$ (37)

is a probability measure on the σ-algebra ${\stackrel{¯}{\mathcal{F}}}_{n}$, where

${\alpha }_{n}^{1}\left({\left\{\omega \right\}}_{n}^{1};{\left\{\omega \right\}}_{n}^{2}\right)={\alpha }_{n}^{0}\left({\left\{\omega \right\}}_{n}^{1};{\left\{\omega \right\}}_{n}^{2}\right){\phi }_{n}^{1}\left({\left\{\omega \right\}}_{n}^{1};{\left\{\omega \right\}}_{n}^{2}\right)$ (38)

satisfy the condition

$\underset{{\stackrel{¯}{\Omega }}_{n}^{-}×{\stackrel{¯}{\Omega }}_{n}^{+}}{\int }{\alpha }_{n}^{1}\left({\left\{\omega \right\}}_{n}^{1};{\left\{\omega \right\}}_{n}^{2}\right)\text{d}\left[{\stackrel{¯}{P}}_{n}^{-}×{\stackrel{¯}{P}}_{n}^{+}\right]=1,$ (39)

due to the condition

$\underset{{\stackrel{¯}{\Omega }}_{n}^{-}×{\stackrel{¯}{\Omega }}_{n}^{+}}{\int }{\alpha }_{n}^{2}\left({\left\{\omega \right\}}_{n}^{1};{\left\{\omega \right\}}_{n}^{2}\right)\text{d}\left[{\stackrel{¯}{P}}_{n}^{-}×{\stackrel{¯}{P}}_{n}^{+}\right]=1.$ (40)

So, we described the contraction of the martingale measure Q on the σ-algebra ${\mathcal{F}}_{n}$ for which ${E}^{{Q}_{n}}\left\{{m}_{n}|{\mathcal{F}}_{n-1}\right\}={m}_{n-1}$. It has the representation (37) with the strictly positive random values ${\alpha }_{n}^{1}\left({\left\{\omega \right\}}_{n}^{1};{\left\{\omega \right\}}_{n}^{2}\right),\text{\hspace{0.17em}}{\alpha }_{n}^{2}\left({\left\{\omega \right\}}_{n}^{1};{\left\{\omega \right\}}_{n}^{2}\right)$ satisfying conditions (39), (40).

Since ${\Omega }_{1}^{0}$ is a separable metric space, then it has an exhaustive decomposition. This is true for ${\Omega }_{n}$ which is also separable metric space for every $n=\stackrel{¯}{2,N}$. On the probability space $\left\{{\stackrel{¯}{\Omega }}_{n}^{-}×{\stackrel{¯}{\Omega }}_{n}^{+},{\stackrel{¯}{\mathcal{F}}}_{n}^{-}×{\stackrel{¯}{\mathcal{F}}}_{n}^{+},{\stackrel{¯}{P}}_{n}^{-}×{\stackrel{¯}{P}}_{n}^{+}\right\}$, for every integrable finite valued random value $f\left({\left\{\omega \right\}}_{n}^{1};{\left\{\omega \right\}}_{n}^{2}\right)$ the sequence ${E}^{{\stackrel{¯}{\mu }}_{n}}\left\{f\left({\left\{\omega \right\}}_{n}^{1};{\left\{\omega \right\}}_{n}^{2}\right)|{\stackrel{¯}{\mathcal{F}}}_{m}\right\}$ converges to $f\left({\left\{\omega \right\}}_{n}^{1};{\left\{\omega \right\}}_{n}^{2}\right)$ with probability one, as $m\to \infty ,$ since it is a regular martingale. It is evident that for those ${B}_{m,ks}$ for which ${\stackrel{¯}{\mu }}_{n}\left({B}_{m,ks}\right)\ne 0$, ${\stackrel{¯}{\mu }}_{n}={\stackrel{¯}{P}}_{n}^{-}×{\stackrel{¯}{P}}_{n}^{+}$,

${E}^{\stackrel{¯}{\mu }}\left\{f\left({\left\{\omega \right\}}_{n}^{1};{\left\{\omega \right\}}_{n}^{2}\right)|{\stackrel{¯}{\mathcal{F}}}_{m}\right\}=\frac{\underset{{B}_{m,ks}}{\int }f\left({\left\{\omega \right\}}_{n}^{1};{\left\{\omega \right\}}_{n}^{2}\right)\text{d}{\stackrel{¯}{\mu }}_{n}}{{\stackrel{¯}{\mu }}_{n}\left({B}_{m,ks}\right)},\text{ }\left({\left\{\omega \right\}}_{n}^{1};{\left\{\omega \right\}}_{n}^{2}\right)\in {B}_{m,ks}.$ (41)

Denote ${D}_{0}=\underset{m,k,s,\mu \left({B}_{m,ks}\right)=0}{\cup }{B}_{m,ks}$. It is evident that ${\stackrel{¯}{\mu }}_{n}\left({D}_{0}\right)=0$. For every

$\left({\left\{\omega \right\}}_{n}^{1};{\left\{\omega \right\}}_{n}^{2}\right)\in {\stackrel{¯}{\Omega }}_{n}^{-}×{\stackrel{¯}{\Omega }}_{n}^{+}\{D}_{0}$, the formula (41) is well defined and is finite. Let ${D}_{1}$ be the subset of the set ${\stackrel{¯}{\Omega }}_{n}^{-}×{\stackrel{¯}{\Omega }}_{n}^{+}\{D}_{0}$, where the limit of the left hand side of the formula (41) does not exists. Then, ${\stackrel{¯}{\mu }}_{n}\left({D}_{1}\right)=0$. For every $\left({\left\{\omega \right\}}_{n}^{1};{\left\{\omega \right\}}_{n}^{2}\right)\in {\stackrel{¯}{\Omega }}_{n}^{-}×{\stackrel{¯}{\Omega }}_{n}^{+}\\left({D}_{0}\cup {D}_{1}\right)$, the right hand side of the formula (41) converges to $f\left({\left\{\omega \right\}}_{n}^{1};{\left\{\omega \right\}}_{n}^{2}\right)$. For $\left({\left\{\omega \right\}}_{n}^{1};{\left\{\omega \right\}}_{n}^{2}\right)\in {\stackrel{¯}{\Omega }}_{n}^{-}×{\stackrel{¯}{\Omega }}_{n}^{+}\\left({D}_{0}\cup {D}_{1}\right)$, denote ${A}_{m}={A}_{m}\left({\left\{\omega \right\}}_{n}^{1};{\left\{\omega \right\}}_{n}^{2}\right)$ those set ${B}_{m,ks}$ for which $\left({\left\{\omega \right\}}_{n}^{1};{\left\{\omega \right\}}_{n}^{2}\right)\in {B}_{m,ks}$ for a certain $k,s$. Then, for every integrable finite valued $f\left({\left\{\omega \right\}}_{n}^{1};{\left\{\omega \right\}}_{n}^{2}\right)$

$\underset{m\to \infty }{lim}\frac{\underset{{A}_{m}}{\int }f\left({\left\{\omega \right\}}_{n}^{1};{\left\{\omega \right\}}_{n}^{2}\right)\text{d}{\stackrel{¯}{\mu }}_{n}}{{\stackrel{¯}{\mu }}_{n}\left({A}_{m}\right)}=f\left({\left\{\omega \right\}}_{n}^{1};{\left\{\omega \right\}}_{n}^{2}\right).$ (42)

Choose the sequence

$\begin{array}{l}{\alpha }_{n}^{2,{\epsilon }_{m}}\left({\left\{\omega \right\}}_{n}^{1};{\left\{\omega \right\}}_{n}^{2}\right)\\ =\left(1-{\epsilon }_{m}\right)\frac{{\chi }_{{A}_{m}}\left({\left\{\omega \right\}}_{n}^{1};{\left\{\omega \right\}}_{n}^{2}\right)}{{\stackrel{¯}{\mu }}_{n}\left({A}_{m}\right)}+{\epsilon }_{m}\frac{{\chi }_{{\stackrel{¯}{\Omega }}_{n}^{-}×{\stackrel{¯}{\Omega }}_{n}^{+}\{A}_{m}}\left({\left\{\omega \right\}}_{n}^{1};{\left\{\omega \right\}}_{n}^{2}\right)}{{\stackrel{¯}{\mu }}_{n}\left({\stackrel{¯}{\Omega }}_{n}^{-}×{\stackrel{¯}{\Omega }}_{n}^{+}\{A}_{m}\right)},\end{array}$ (43)

where $0<{\epsilon }_{m}<1$, $\underset{m\to \infty }{\mathrm{lim}}{\epsilon }_{m}=0$. Then the sequence ${\alpha }_{n}^{2,{\epsilon }_{m}}\left({\left\{\omega \right\}}_{n}^{1};{\left\{\omega \right\}}_{n}^{2}\right)$ satisfy the condition (40). Let us consider the sequence

$\begin{array}{l}{\alpha }_{n}^{0,{\epsilon }_{m}}\left({\left\{\omega \right\}}_{n}^{1};{\left\{\omega \right\}}_{n}^{2}\right)\\ =\frac{1}{{\phi }_{n}\left({\left\{\omega \right\}}_{n}^{1};{\left\{\omega \right\}}_{n}^{2}\right)}\left[\left(1-{\epsilon }_{m}\right)\frac{{\chi }_{{A}_{m}}\left({\left\{\omega \right\}}_{n}^{1};{\left\{\omega \right\}}_{n}^{2}\right)}{{\stackrel{¯}{\mu }}_{n}\left({A}_{m}\right)}+{\epsilon }_{m}\frac{{\chi }_{{\stackrel{¯}{\Omega }}_{n}^{-}×{\stackrel{¯}{\Omega }}_{n}^{+}\{A}_{m}}\left({\left\{\omega \right\}}_{n}^{1};{\left\{\omega \right\}}_{n}^{2}\right)}{{\stackrel{¯}{\mu }}_{n}\left({\stackrel{¯}{\Omega }}_{n}^{-}×{\stackrel{¯}{\Omega }}_{n}^{+}\{A}_{m}\right)}\right]\\ +\frac{1}{{\phi }_{n}\left({\left\{\omega \right\}}_{n}^{1};{\left\{\omega \right\}}_{n}^{2}\right)}\left[\left(1-{\epsilon }_{m}\right)\frac{{\chi }_{{A}_{m}}\left({T}_{n}\left({\left\{\omega \right\}}_{n}^{1};{\left\{\omega \right\}}_{n}^{2}\right)\right)}{{\stackrel{¯}{\mu }}_{n}\left({A}_{m}\right)}+{\epsilon }_{m}\frac{{\chi }_{{\stackrel{¯}{\Omega }}_{n}^{-}×{\stackrel{¯}{\Omega }}_{n}^{+}\{A}_{m}}\left({T}_{n}\left({\left\{\omega \right\}}_{n}^{1};{\left\{\omega \right\}}_{n}^{2}\right)\right)}{{\stackrel{¯}{\mu }}_{n}\left({\stackrel{¯}{\Omega }}_{n}^{-}×{\stackrel{¯}{\Omega }}_{n}^{+}\{A}_{m}\right)}\right].\end{array}$ (44)

Then the contraction of the sequence of martingale measures ${Q}^{{\epsilon }_{m}}$ generated by sequence (44) on the σ-algebra ${\mathcal{F}}_{n}$ is given by the formula

$\begin{array}{l}{E}^{{Q}_{n}^{{\epsilon }_{m}}}f\left(\omega \right)=\underset{{\stackrel{¯}{\Omega }}_{n}^{-}}{\int }\underset{{\stackrel{¯}{\Omega }}_{n}^{+}}{\int }f\left({\left\{\omega \right\}}_{n}^{1}\right){\alpha }_{n}^{0,{\epsilon }_{m}}\left({\left\{\omega \right\}}_{n}^{1};{\left\{\omega \right\}}_{n}^{2}\right){\left[{m}_{n}-{m}_{n-1}\right]}^{+}\left({\left\{\omega \right\}}_{n}^{2}\right)\text{d}{\stackrel{¯}{\mu }}_{n}\\ \text{\hspace{0.17em}}\text{\hspace{0.17em}}\text{ }\text{ }+\underset{{\stackrel{¯}{\Omega }}_{n}^{-}}{\int }\underset{{\stackrel{¯}{\Omega }}_{n}^{+}}{\int }f\left({\left\{\omega \right\}}_{n}^{2}\right){\alpha }_{n}^{0,{\epsilon }_{m}}\left({\left\{\omega \right\}}_{n}^{1};{\left\{\omega \right\}}_{n}^{2}\right){\left[{m}_{n}-{m}_{n-1}\right]}^{-}\left({\left\{\omega \right\}}_{n}^{1}\right)\text{d}{\stackrel{¯}{\mu }}_{n}\\ =\left(1-{\epsilon }_{m}\right)\frac{\underset{{A}_{m}}{\int }f\left({\left\{\omega \right\}}_{n}^{1}\right){\nu }_{n}^{1}\left({\left\{\omega \right\}}_{n}^{1};{\left\{\omega \right\}}_{n}^{2}\right)\text{d}{\stackrel{¯}{\mu }}_{n}}{{\stackrel{¯}{\mu }}_{n}\left({A}_{m}\right)}\\ \text{\hspace{0.17em}}\text{\hspace{0.17em}}\text{ }\text{ }+\left(1-{\epsilon }_{m}\right)\frac{\underset{{A}_{m}}{\int }f\left({\left\{\omega \right\}}_{n}^{2}\right){\nu }_{n}^{2}\left({\left\{\omega \right\}}_{n}^{1};{\left\{\omega \right\}}_{n}^{2}\right)\text{d}{\stackrel{¯}{\mu }}_{n}}{{\stackrel{¯}{\mu }}_{n}\left({A}_{m}\right)}\\ \text{\hspace{0.17em}}\text{\hspace{0.17em}}\text{ }\text{ }+{\epsilon }_{m}\frac{\underset{{\stackrel{¯}{\Omega }}_{n}^{-}×{\stackrel{¯}{\Omega }}_{n}^{+}\{A}_{m}}{\int }f\left({\left\{\omega \right\}}_{n}^{1}\right){\nu }_{n}^{1}\left({\left\{\omega \right\}}_{n}^{1};{\left\{\omega \right\}}_{n}^{2}\right)\text{d}{\stackrel{¯}{\mu }}_{n}}{{\stackrel{¯}{\mu }}_{n}\left({\stackrel{¯}{\Omega }}_{n}^{-}×{\stackrel{¯}{\Omega }}_{n}^{+}\{A}_{m}\right)}\end{array}$

$\begin{array}{l}\text{ }+{\epsilon }_{m}\frac{\underset{{\stackrel{¯}{\Omega }}_{n}^{-}×{\stackrel{¯}{\Omega }}_{n}^{+}\{A}_{m}}{\int }f\left({\left\{\omega \right\}}_{n}^{2}\right){\nu }_{n}^{2}\left({\left\{\omega \right\}}_{n}^{1};{\left\{\omega \right\}}_{n}^{2}\right)\text{d}{\stackrel{¯}{\mu }}_{n}}{{\stackrel{¯}{\mu }}_{n}\left({\stackrel{¯}{\Omega }}_{n}^{-}×{\stackrel{¯}{\Omega }}_{n}^{+}\{A}_{m}\right)}\\ \text{ }+\left(1-{\epsilon }_{m}\right)\frac{\underset{{\stackrel{¯}{\Omega }}_{n}^{-}×{\stackrel{¯}{\Omega }}_{n}^{+}}{\int }{\chi }_{{A}_{m}}\left({T}_{n}\left({\left\{\omega \right\}}_{n}^{1};{\left\{\omega \right\}}_{n}^{2}\right)\right)f\left({\left\{\omega \right\}}_{n}^{1}\right){\nu }_{n}^{1}\left({\left\{\omega \right\}}_{n}^{1};{\left\{\omega \right\}}_{n}^{2}\right)\text{d}{\stackrel{¯}{\mu }}_{n}}{{\stackrel{¯}{\mu }}_{n}\left({A}_{m}\right)}\\ \text{ }+\left(1-{\epsilon }_{m}\right)\frac{\underset{{\stackrel{¯}{\Omega }}_{n}^{-}×{\stackrel{¯}{\Omega }}_{n}^{+}}{\int }{\chi }_{{A}_{m}}\left({T}_{n}\left({\left\{\omega \right\}}_{n}^{1};{\left\{\omega \right\}}_{n}^{2}\right)\right)f\left({\left\{\omega \right\}}_{n}^{2}\right){\nu }_{n}^{2}\left({\left\{\omega \right\}}_{n}^{1};{\left\{\omega \right\}}_{n}^{2}\right)\text{d}{\stackrel{¯}{\mu }}_{n}}{{\stackrel{¯}{\mu }}_{n}\left({A}_{m}\right)}\\ \text{ }+{\epsilon }_{m}\frac{\underset{{\stackrel{¯}{\Omega }}_{n}^{-}×{\stackrel{¯}{\Omega }}_{n}^{+}}{\int }{\chi }_{{\stackrel{¯}{\Omega }}_{n}^{-}×{\stackrel{¯}{\Omega }}_{n}^{+}\{A}_{m}}\left({T}_{n}\left({\left\{\omega \right\}}_{n}^{1};{\left\{\omega \right\}}_{n}^{2}\right)\right)f\left({\left\{\omega \right\}}_{n}^{1}\right){\nu }_{n}^{1}\left({\left\{\omega \right\}}_{n}^{1};{\left\{\omega \right\}}_{n}^{2}\right)\text{d}{\stackrel{¯}{\mu }}_{n}}{{\stackrel{¯}{\mu }}_{n}\left({\stackrel{¯}{\Omega }}_{n}^{-}×{\stackrel{¯}{\Omega }}_{n}^{+}\{A}_{m}\right)}\\ \text{ }+{\epsilon }_{m}\frac{\underset{{\stackrel{¯}{\Omega }}_{n}^{-}×{\stackrel{¯}{\Omega }}_{n}^{+}}{\int }{\chi }_{{\stackrel{¯}{\Omega }}_{n}^{-}×{\stackrel{¯}{\Omega }}_{n}^{+}\{A}_{m}}\left({T}_{n}\left({\left\{\omega \right\}}_{n}^{1};{\left\{\omega \right\}}_{n}^{2}\right)\right)f\left({\left\{\omega \right\}}_{n}^{2}\right){\nu }_{n}^{2}\left({\left\{\omega \right\}}_{n}^{1};{\left\{\omega \right\}}_{n}^{2}\right)\text{d}{\stackrel{¯}{\mu }}_{n}}{{\stackrel{¯}{\mu }}_{n}\left({\stackrel{¯}{\Omega }}_{n}^{-}×{\stackrel{¯}{\Omega }}_{n}^{+}\{A}_{m}\right)}.\end{array}$ (45)

Due to the invariance of the measure ${\stackrel{¯}{\mu }}_{n}$ relative to the transformation ${T}_{n}$ we have

$\begin{array}{l}\left(1-{\epsilon }_{m}\right)\frac{\underset{{\stackrel{¯}{\Omega }}_{n}^{-}×{\stackrel{¯}{\Omega }}_{n}^{+}}{\int }{\chi }_{{A}_{m}}\left({T}_{n}\left({\left\{\omega \right\}}_{n}^{1};{\left\{\omega \right\}}_{n}^{2}\right)\right)f\left({\left\{\omega \right\}}_{n}^{1}\right){\nu }_{n}^{1}\left({\left\{\omega \right\}}_{n}^{1};{\left\{\omega \right\}}_{n}^{2}\right)\text{d}{\stackrel{¯}{\mu }}_{n}}{{\stackrel{¯}{\mu }}_{n}\left({A}_{m}\right)}\\ +\left(1-{\epsilon }_{m}\right)\frac{\underset{{\stackrel{¯}{\Omega }}_{n}^{-}×{\stackrel{¯}{\Omega }}_{n}^{+}}{\int }{\chi }_{{A}_{m}}\left({T}_{n}\left({\left\{\omega \right\}}_{n}^{1};{\left\{\omega \right\}}_{n}^{2}\right)\right)f\left({\left\{\omega \right\}}_{n}^{2}\right){\nu }_{n}^{2}\left({\left\{\omega \right\}}_{n}^{1};{\left\{\omega \right\}}_{n}^{2}\right)\text{d}{\stackrel{¯}{\mu }}_{n}}{{\stackrel{¯}{\mu }}_{n}\left({A}_{m}\right)}\\ =\left(1-{\epsilon }_{m}\right)\frac{\underset{{A}_{m}}{\int }f\left({T}_{n}^{1}\left({\left\{\omega \right\}}_{n}^{1}\right)\right){\nu }_{n}^{1}\left({T}_{n}\left({\left\{\omega \right\}}_{n}^{1};{\left\{\omega \right\}}_{n}^{2}\right)\right)\text{d}{\stackrel{¯}{\mu }}_{n}}{{\stackrel{¯}{\mu }}_{n}\left({A}_{m}\right)}\\ \text{\hspace{0.17em}}\text{\hspace{0.17em}}+\left(1-{\epsilon }_{m}\right)\frac{\underset{{A}_{m}}{\int }f\left({T}_{n}^{2}\left({\left\{\omega \right\}}_{n}^{2}\right)\right){\nu }_{n}^{2}\left({T}_{n}\left({\left\{\omega \right\}}_{n}^{1};{\left\{\omega \right\}}_{n}^{2}\right)\right)\text{d}{\stackrel{¯}{\mu }}_{n}}{{\stackrel{¯}{\mu }}_{n}\left({A}_{m}\right)}.\end{array}$ (46)

From the equalities (45), (46) it follows that

$\begin{array}{l}\underset{m\to \infty }{\mathrm{lim}}{E}^{{Q}_{n}^{{\epsilon }_{m}}}{f}_{n}\left({\left\{\omega \right\}}_{n}\right)\\ =f\left({\left\{\omega \right\}}_{n}^{1}\right){\nu }_{n}^{1}\left({\left\{\omega \right\}}_{n}^{1};{\left\{\omega \right\}}_{n}^{2}\right)+f\left({\left\{\omega \right\}}_{n}^{2}\right){\nu }_{n}^{2}\left({\left\{\omega \right\}}_{n}^{1};{\left\{\omega \right\}}_{n}^{2}\right)\\ \text{\hspace{0.17em}}\text{\hspace{0.17em}}+f\left({T}_{n}^{1}\left({\left\{\omega \right\}}_{n}^{1}\right)\right){\nu }_{n}^{1}\left({T}_{n}\left({\left\{\omega \right\}}_{n}^{1};{\left\{\omega \right\}}_{n}^{2}\right)\right)\\ \text{\hspace{0.17em}}\text{\hspace{0.17em}}+f\left({T}_{n}^{2}\left({\left\{\omega \right\}}_{n}^{2}\right)\right){\nu }_{n}^{2}\left({T}_{n}\left({\left\{\omega \right\}}_{n}^{1};{\left\{\omega \right\}}_{n}^{2}\right)\right),\text{\hspace{0.17em}}n=\stackrel{¯}{1,N}.\end{array}$ (47)

Theorem 2 is proved. □

Theorem 3. On the probability space $\left\{\Omega ,\mathcal{F},P\right\}$ with the filtration ${\mathcal{F}}_{n}$ on it, let ${\Omega }_{1}^{0}$ be a complete separable metric space. Suppose that ${f}_{n}\left({\left\{\omega \right\}}_{n}\right)$ is a nonnegative integrable ${\mathcal{F}}_{n}$ -measurable random value, satisfying the condition ${E}^{{Q}^{n}}{f}_{n}\left({\left\{\omega \right\}}_{n}\right)\le 1$, ${Q}^{n}\in {M}_{n}$. Then, there exists a ${\mathcal{F}}_{n-1}$ -measurable random value ${\alpha }_{n}$ , depending on ${f}_{n}\left({\left\{\omega \right\}}_{n}\right)$ , such that

${f}_{n}\left({\left\{\omega \right\}}_{n}\right)\le 1+{\alpha }_{n}\left({\left\{\omega \right\}}_{n-1}\right)\left[{m}_{n}-{m}_{n-1}\right]\left({\left\{\omega \right\}}_{n}\right),\text{ }{\left\{\omega \right\}}_{n}\in {\Omega }_{n}.$ (48)

Proof. First, let us consider the case $n=1$. From Theorem 2, we have the inequality

$\begin{array}{l}{f}_{1}\left({\omega }_{1}\right)\frac{{\left[{m}_{1}-1\right]}^{+}\left({\omega }_{2}\right)}{{\left[{m}_{1}-1\right]}^{-}\left({\omega }_{1}\right)+{\left[{m}_{1}-1\right]}^{+}\left({\omega }_{2}\right)}\\ +{f}_{1}\left({\omega }_{2}\right)\frac{{\left[{m}_{1}-1\right]}^{-}\left({\omega }_{1}\right)}{{\left[{m}_{1}-1\right]}^{-}\left({\omega }_{1}\right)+{\left[{m}_{1}-1\right]}^{+}\left({\omega }_{2}\right)}\le 1,\end{array}$ (49)

$\left({\omega }_{1},{\omega }_{2}\right)\in {\Omega }_{1}^{-}×{\Omega }_{1}^{+},$

where ${\Omega }_{1}^{-}=\left\{{\omega }_{1}\in {\Omega }_{1}^{0},\left[{m}_{1}-1\right]\left({\omega }_{1}\right)\le 0\right\}$, ${\Omega }_{1}^{+}=\left\{{\omega }_{2}\in {\Omega }_{1}^{0},\left[{m}_{1}-1\right]\left({\omega }_{2}\right)>0\right\}$.

Let us denote ${\eta }_{1}\left(\omega \right)=\left[{m}_{1}-1\right]\left(\omega \right)$. Then, the formula (49) is written in the form

${f}_{1}\left({\omega }_{1}\right)\frac{{\eta }_{1}^{+}\left({\omega }_{2}\right)}{{\eta }_{1}^{-}\left({\omega }_{1}\right)+{\eta }_{1}^{+}\left({\omega }_{2}\right)}+\frac{{\eta }_{1}^{-}\left({\omega }_{1}\right)}{{\eta }_{1}^{-}\left({\omega }_{1}\right)+{\eta }_{1}^{+}\left({\omega }_{2}\right)}{f}_{1}\left({\omega }_{2}\right)\le 1,\text{\hspace{0.17em}}\text{\hspace{0.17em}}{\omega }_{1}\in {\Omega }_{1}^{-},\text{\hspace{0.17em}}\text{\hspace{0.17em}}{\omega }_{2}\in {\Omega }_{1}^{+}.$ (50)

From the inequalities (50), we obtain the inequalities

${f}_{1}\left({\omega }_{2}\right)\le 1+\frac{1-{f}_{1}\left({\omega }_{1}\right)}{{\eta }_{1}^{-}\left({\omega }_{1}\right)}{\eta }_{1}^{+}\left({\omega }_{2}\right),$ (51)

${\eta }_{1}^{-}\left({\omega }_{1}\right)>0,\text{ }{\eta }_{1}^{+}\left({\omega }_{2}\right)>0,\text{ }{\omega }_{1}\in {\Omega }_{1}^{-},\text{ }{\omega }_{2}\in {\Omega }_{1}^{+}.$ (52)

Two cases are possible: a) for all ${\omega }_{1}\in {\Omega }_{n}^{-}$, ${f}_{1}\left({\omega }_{1}\right)\le 1$ ; b) there exists ${\omega }_{1}\in {\Omega }_{1}^{-}$ such that ${f}_{1}\left({\omega }_{1}\right)>1$. First, let us consider the case a).

Since the inequalities (51) are valid for every value $\frac{1-{f}_{1}\left({\omega }_{1}\right)}{{\eta }_{1}^{-}\left({\omega }_{1}\right)}$, as ${\eta }_{1}^{-}\left({\omega }_{1}\right)>0$, and ${f}_{1}\left({\omega }_{1}\right)\le 1$, ${\omega }_{1}\in {\Omega }_{1}^{-}$, then, if to denote

${\alpha }_{1}=\underset{\left\{{\omega }_{1},{\eta }_{1}^{-}\left({\omega }_{1}\right)>0\right\}}{\mathrm{inf}}\frac{1-{f}_{1}\left({\omega }_{1}\right)}{{\eta }_{1}^{-}\left({\omega }_{1}\right)},$ (53)

we have $0\le {\alpha }_{1}<\infty$ and

${f}_{1}\left({\omega }_{2}\right)\le 1+{\alpha }_{1}{\eta }_{1}^{+}\left({\omega }_{2}\right),\text{ }{\eta }_{1}^{+}\left({\omega }_{2}\right)>0,\text{ }{\omega }_{2}\in {\Omega }_{1}^{+}.$ (54)

From the definition of ${\alpha }_{1}$, we obtain the inequalities

${f}_{1}\left({\omega }_{1}\right)\le 1-{\alpha }_{1}{\eta }_{1}^{-}\left({\omega }_{1}\right),\text{ }{\eta }_{1}^{-}\left({\omega }_{1}\right)>0,\text{ }{\omega }_{1}\in {\Omega }_{1}^{-}.$ (55)

Now, if ${\eta }_{1}^{-}\left({\omega }_{1}\right)=0$ for some ${\omega }_{1}\in {\Omega }_{1}^{-}$, then in this case ${f}_{1}\left({\omega }_{1}\right)\le 1$. All these inequalities give the inequalities

${f}_{1}\left(\omega \right)\le 1+{\alpha }_{1}{\eta }_{1}\left(\omega \right),\text{ }\omega \in {\Omega }_{1}^{-}\cup {\Omega }_{1}^{+}.$ (56)

Consider the case b). From the inequality (51), we obtain the inequalities

${f}_{1}\left({\omega }_{2}\right)\le 1-\frac{1-{f}_{1}\left({\omega }_{1}\right)}{-{\eta }_{1}^{-}\left({\omega }_{1}\right)}{\eta }_{1}^{+}\left({\omega }_{2}\right),$ (57)

${\eta }_{1}^{-}\left({\omega }_{1}\right)>0,\text{ }{\eta }_{1}^{+}\left({\omega }_{2}\right)>0,\text{ }{\omega }_{1}\in {\Omega }_{1}^{-},\text{ }{\omega }_{2}\in {\Omega }_{1}^{+}.$ (58)

The inequalities (57) give the inequalities

$\frac{1-{f}_{1}\left({\omega }_{1}\right)}{-{\eta }_{1}^{-}\left({\omega }_{1}\right)}\le \underset{\left\{{\omega }_{2},{\eta }_{1}^{+}\left({\omega }_{2}\right)>0\right\}}{\mathrm{inf}}\frac{1}{{\eta }_{1}^{+}\left({\omega }_{2}\right)}<\infty ,\text{ }{\eta }_{1}^{-}\left({\omega }_{1}\right)>0,\text{ }{\omega }_{1}\in {\Omega }_{1}^{-}.$ (59)

Let us define ${\alpha }_{1}=\underset{\left\{{\omega }_{1},{\eta }_{1}^{-}\left({\omega }_{1}\right)>0\right\}}{\mathrm{sup}}\frac{1-{f}_{1}\left({\omega }_{1}\right)}{-{\eta }_{1}^{-}\left({\omega }_{1}\right)}<\infty$. Then, from (57) we obtain the inequalities

${f}_{1}\left({\omega }_{2}\right)\le 1-{\alpha }_{1}{\eta }_{1}^{+}\left({\omega }_{2}\right),\text{ }\text{\hspace{0.17em}}{\eta }_{1}^{+}\left({\omega }_{2}\right)>0,\text{ }{\omega }_{2}\in {\Omega }_{1}^{+}.$ (60)

From the definition of ${\alpha }_{1}$, we have the inequalities

${f}_{1}\left({\omega }_{1}\right)\le 1+{\alpha }_{1}{\eta }_{1}^{-}\left({\omega }_{1}\right),\text{ }\text{\hspace{0.17em}}{\eta }_{1}^{-}\left({\omega }_{1}\right)>0,\text{ }{\omega }_{1}\in {\Omega }_{1}^{-}.$ (61)

The inequalities (60), (61) give the inequalities

${f}_{1}\left(\omega \right)\le 1-{\alpha }_{1}{\eta }_{1}\left(\omega \right),\text{ }\omega \in {\Omega }_{1}^{-}\cup {\Omega }_{1}^{+}.$ (62)

Theorem 3 in the case $n=1$ is proved, since the set ${\Omega }_{1}^{-}\cup {\Omega }_{1}^{+}$ has the probability one.

Now let us consider the case of arbitrary $2\le n\le N$. In this case we have the inequality

$\begin{array}{l}f\left({\left\{\omega \right\}}_{n}^{1}\right){\nu }_{n}^{1}\left({\left\{\omega \right\}}_{n}^{1};{\left\{\omega \right\}}_{n}^{2}\right)+f\left({\left\{\omega \right\}}_{n}^{2}\right){\nu }_{n}^{2}\left({\left\{\omega \right\}}_{n}^{1};{\left\{\omega \right\}}_{n}^{2}\right)\\ +f\left({T}_{n}^{1}\left({\left\{\omega \right\}}_{n}^{1}\right)\right){\nu }_{n}^{1}\left({T}_{n}\left({\left\{\omega \right\}}_{n}^{1};{\left\{\omega \right\}}_{n}^{2}\right)\right)\\ +f\left({T}_{n}^{2}\left({\left\{\omega \right\}}_{n}^{2}\right)\right){\nu }_{n}^{2}\left({T}_{n}\left({\left\{\omega \right\}}_{n}^{1};{\left\{\omega \right\}}_{n}^{2}\right)\right)\le 1.\end{array}$ (63)

Let us put in this inequality ${\left\{\omega \right\}}_{n-1}^{1}={\left\{\omega \right\}}_{n-1}^{2}={\left\{\omega \right\}}_{n-1}$, then the inequality (63) is transformed into the inequality

$\begin{array}{l}{f}_{n}\left({\left\{\omega \right\}}_{n-1},{\omega }_{n}^{1}\right)\frac{{\eta }_{n}^{+}\left({\omega }_{n}^{2}\right)}{{\eta }_{n}^{-}\left({\omega }_{n}^{1}\right)+{\eta }_{n}^{+}\left({\omega }_{n}^{2}\right)}+\frac{{\eta }_{n}^{-}\left({\omega }_{n}^{1}\right)}{{\eta }_{n}^{-}\left({\omega }_{n}^{1}\right)+{\eta }_{n}^{+}\left({\omega }_{n}^{2}\right)}{f}_{n}\left({\left\{\omega \right\}}_{n-1},{\omega }_{n}^{2}\right)\le 1,\\ \left({\left\{\omega \right\}}_{n-1},{\omega }_{n}^{1}\right)\in {\Omega }_{n}^{-},\text{ }\left({\left\{\omega \right\}}_{n-1},{\omega }_{n}^{2}\right)\in {\Omega }_{n}^{+}.\end{array}$ (64)

Taking into account the first part of the proof of Theorem 3 from the inequality (64) we obtain

${f}_{n}\left({\left\{\omega \right\}}_{n}\right)\le 1+{\alpha }_{1}{\eta }_{n}\left({\omega }_{n}\right)=1+\frac{{\alpha }_{1}\left[{m}_{n}-{m}_{n-1}\right]\left({\left\{\omega \right\}}_{n}\right)}{{m}_{n-1}\left({\left\{\omega \right\}}_{n-1}\right){a}_{n}\left({\left\{\omega \right\}}_{n-1}\right)},$ (65)

where the constant ${\alpha }_{1}$ is the same as in the first part of the proof of Theorem 3. Theorem 3 is completely proved. □

Theorem 4. On the probability space $\left\{\Omega ,\mathcal{F},P\right\}$ with the filtration ${\mathcal{F}}_{n}$ on it, let ${\Omega }_{1}^{0}$ be a complete separable metric space. Then, every nonnegative super- martingale ${\left\{{f}_{n},{\mathcal{F}}_{n}\right\}}_{n=0}^{N}$ is a local regular one, that is, the optional decomposition for it is valid.

Proof. Without loss of generality, we assume that ${f}_{n}\ge {d}_{0}>0$. From the last fact, we obtain

${E}^{{Q}^{n}}\frac{{f}_{n}}{{f}_{n-1}}\le 1,\text{ }{Q}^{n}\in {M}_{n},\text{ }n=\stackrel{¯}{1,\infty }.$ (66)

The inequalities (66) and Theorems 3, 4 [1], [17] prove Theorem 4. □

Theorem 5. On the probability space $\left\{\Omega ,\mathcal{F},P\right\}$ with the filtration ${\mathcal{F}}_{n}$ on it, let ${\Omega }_{1}^{0}$ be a complete separable metric space. Then, every bounded from below super-martingale ${\left\{{f}_{n},{\mathcal{F}}_{n}\right\}}_{n=0}^{\infty }$ is a local regular one.

Proof. Since the super-martingale ${\left\{{f}_{n},{\mathcal{F}}_{n}\right\}}_{n=0}^{N}$ is bounded from below, then there exists a real number ${C}_{0}$ such that ${f}_{n}+{C}_{0}>0$. If to consider the super-martingale ${\left\{{f}_{n}+{C}_{0},{\mathcal{F}}_{n}\right\}}_{n=0}^{\infty }$, then all conditions of Theorem 4 are true. Theorem 5 is proved. □

Theorem 6. On the probability space $\left\{\Omega ,\mathcal{F},P\right\}$ with the filtration ${\mathcal{F}}_{n}$ on it, let ${\Omega }_{1}^{0}$ be a complete separable metric space. Suppose that the evolution of the risk asset is defined by the formula (2) and the non risk asset evolve by the law ${B}_{n}=1$ , $n=\stackrel{¯}{0,N}$ . If the nonnegative payoff function ${f}_{N}$ is ${\mathcal{F}}_{N}$ measurable integrable random value relative to every martingale measure and satisfying the conditions Theorem 16 from [17], then the fair price of super-hedge is given by the formula

$\underset{Q\in M}{sup}\underset{\Omega }{\int }{f}_{N}\text{d}Q=\underset{v\in \mathcal{V}}{sup}\underset{\Omega }{\int }{f}_{N}\text{d}{\nu }_{v}.$ (67)

3. Interval of Non-Arbitrage Prices for a Wide Class of Evolutions of Risky Assets

In the papers [2], [3] the range of non arbitrage prices are established. In the paper [2], for the Levy exponential model, the price of super-hedge for call option coincides with the price of the underlying asset under the assumption that the Levy process has unlimited variation, does not contain a Brownian component, with negative jumps of arbitrary magnitude. The same result is true obtained in the paper [3] if the process describing the evolution of the underlying asset is a diffusion process with the jumps described by Poisson jump process. In these papers the evolution is described by continuous processes. Below we consider the discrete evolution of risky assets that is more realistic from the practical point of view.

Theorem 7. On the probability space $\left\{{\Omega }_{1}^{0},{\mathcal{F}}_{1}^{0},{P}_{1}^{0}\right\}$ , where ${\Omega }_{1}^{0}$ is a separable metric space, ${\mathcal{F}}_{1}^{0}$ is a Borel σ-algebra on ${\Omega }_{1}^{0}$ , ${P}_{1}^{0}$ is a probability measure on ${\mathcal{F}}_{1}^{0}$ , let the random values ${\xi }_{i}\left(\omega \right)\ge 0$ , $i=\stackrel{¯}{1,N}$, satisfies the conditions:

1) $0<{P}_{1}^{0}\left(0\le {\xi }_{i}\left({\omega }_{1}\right)\le 1\right)<1$, there exists ${\omega }_{1}$ and ${\omega }_{2}$ such that ${\xi }_{i}\left({\omega }_{1}\right)=0$, ${\xi }_{i}\left({\omega }_{2}\right)=1$, $i=\stackrel{¯}{1,N}$ ;

2) for every $1, ${P}_{1}^{0}\left({\xi }_{i}\left({\omega }_{1}\right)>t\right)>0$, $i=\stackrel{¯}{1,N}$.

Suppose that the evolution of risk asset is given by the formula (2) with ${a}_{1}=1$, where ${\eta }_{i}\left({\omega }_{i}\right)={\xi }_{i}\left({\omega }_{i}\right)-1$, and on the probability space $\left\{{\Omega }_{i}^{0},{\mathcal{F}}_{i}^{0},{P}_{i}^{0}\right\}$, the random value ${\xi }_{i}\left({\omega }_{i}\right)$ has the same distribution law as the random value ${\xi }_{i}\left({\omega }_{1}\right)$, $i=\stackrel{¯}{1,N}$, on the probability space $\left\{{\Omega }_{1}^{0},{\mathcal{F}}_{1}^{0},{P}_{1}^{0}\right\}$. If the nonnegative payoff function $f\left(x\right)$, $x\in \left[0,\infty \right)$, satisfies the conditions:

1) $f\left(0\right)=0,\text{\hspace{0.17em}}f\left(x\right)\le ax,\text{\hspace{0.17em}}\underset{x\to \infty }{\mathrm{lim}}\frac{f\left(x\right)}{x}=a,\text{\hspace{0.17em}}a>0$, then

$\underset{P\in M}{sup}{E}^{P}f\left({S}_{N}\right)=a{S}_{0}.$ (68)

If, in addition, the nonnegative payoff function $f\left(x\right)$ is a convex down one, then

$\underset{P\in M}{inf}{E}^{P}f\left({S}_{N}\right)=f\left({S}_{0}\right),$ (69)

where M is the set of equivalent martingale measures for the evolution of risk asset ${S}_{n},\text{\hspace{0.17em}}n=\stackrel{¯}{1,N}$. The interval of non-arbitrage prices of contingent liability $f\left({S}_{N}\right)$ coincides with the set $\left[f\left({S}_{0}\right),a{S}_{0}\right]$.

Proof. Due to Theorem 1 and 6 we have

$\underset{Q\in M}{sup}\underset{\Omega }{\int }f\left({S}_{N}\right)\text{d}Q=\underset{v\in \mathcal{V}}{sup}\underset{\Omega }{\int }f\left({S}_{N}\right)\text{d}{\nu }_{v},$ (70)

where

$\begin{array}{l}\underset{v\in \mathcal{V}}{sup}\underset{\Omega }{\int }f\left({S}_{N}\right)\text{d}{\nu }_{v}\\ =\underset{v\in \mathcal{V}}{sup}\underset{{i}_{1}=1,\cdots ,{i}_{N}=1}{\overset{2}{\sum }}f\left({S}_{0}\underset{s=1}{\overset{N}{\prod }}\left(1+{a}_{s}\left({\omega }_{1}^{{i}_{1}},\cdots ,{\omega }_{s-1}^{{i}_{s-1}}\right){\eta }_{s}\left({\omega }_{s}^{{i}_{s}}\right)\right)\right)\underset{s=1}{\overset{N}{\prod }}\frac{|{\xi }_{s}\left({\omega }_{s}^{{i}_{s}+1}\right)-1|}{{\xi }_{s}\left({\omega }_{s}^{2}\right)-{\xi }_{s}\left({\omega }_{s}^{1}\right)},\end{array}$ (71)

and we used the denotations ${\left({\xi }_{s}\left({\omega }_{s}^{1}\right)-1\right)}^{-}=1-{\xi }_{s}\left({\omega }_{s}^{1}\right)$, ${\left({\xi }_{s}\left({\omega }_{s}^{2}\right)-1\right)}^{+}={\xi }_{s}\left({\omega }_{s}^{2}\right)-1$, ${\omega }_{s}^{1}\in {\Omega }_{s}^{-}$, ${\omega }_{s}^{2}\in {\Omega }_{s}^{+}$, ${\omega }_{s}^{3}={\omega }_{s}^{1}$. From the inequality $f\left({S}_{N}\right)\le a{S}_{N}$ we have

$\underset{Q\in M}{sup}\underset{\Omega }{\int }f\left({S}_{N}\right)\text{d}Q\le a{S}_{0}.$ (72)

To prove the inverse inequality we use the inequality

$\begin{array}{l}\underset{Q\in M}{sup}\underset{\Omega }{\int }f\left({S}_{N}\right)\text{d}Q\\ \ge f\left({S}_{0}{\xi }_{1}\left({\omega }_{1}^{1}\right)\right)\frac{{\xi }_{1}\left({\omega }_{1}^{2}\right)-1}{{\xi }_{1}\left({\omega }_{1}^{2}\right)-{\xi }_{1}\left({\omega }_{1}^{1}\right)}+f\left({S}_{0}{\xi }_{1}\left({\omega }_{1}^{2}\right)\right)\frac{1-{\xi }_{1}\left({\omega }_{1}^{1}\right)}{{\xi }_{1}\left({\omega }_{1}^{2}\right)-{\xi }_{1}\left({\omega }_{1}^{1}\right)}.\end{array}$ (73)

Therefore, putting in the inequality (73) ${\xi }_{1}\left({\omega }_{1}^{1}\right)=0$ we obtain

$\underset{Q\in M}{sup}\underset{\Omega }{\int }f\left({S}_{N}\right)\text{d}Q\ge \underset{{\xi }_{1}\left({\omega }_{1}^{2}\right)\to \infty }{lim}f\left({S}_{0}{\xi }_{1}\left({\omega }_{1}^{2}\right)\right)\frac{1}{{\xi }_{1}\left({\omega }_{1}^{2}\right)}=a{S}_{0}.$ (74)

Let us prove the equality (69). Using Jensen inequality [18] we obtain

$\underset{P\in M}{inf}{E}^{P}f\left({S}_{N}\right)\ge f\left({E}^{P}{S}_{N}\right)=f\left({S}_{0}\right)$ (75)

Let us prove the inverse inequality

$f\left({S}_{0}{\xi }_{1}\left({\omega }_{1}^{1}\right)\right)\frac{{\xi }_{1}\left({\omega }_{1}^{2}\right)-1}{{\xi }_{1}\left({\omega }_{1}^{2}\right)-{\xi }_{1}\left({\omega }_{1}^{1}\right)}+f\left({S}_{0}{\xi }_{1}\left({\omega }_{1}^{2}\right)\right)\frac{1-{\xi }_{1}\left({\omega }_{1}^{1}\right)}{{\xi }_{1}\left({\omega }_{1}^{2}\right)-{\xi }_{1}\left({\omega }_{1}^{1}\right)}\ge \underset{P\in M}{inf}{E}^{P}f\left({S}_{N}\right).$ (76)

Putting in this inequality ${\xi }_{1}\left({\omega }_{1}^{1}\right)=1$ we obtain the needed. The last statement about the interval of non-arbitrage prices follows from [11] and [12]. Theorem 7 is proved. □

Theorem 8. On the probability space $\left\{{\Omega }_{1}^{0},{\mathcal{F}}_{1}^{0},{P}_{1}^{0}\right\}$ , where ${\Omega }_{1}^{0}$ is a separable metric space, ${\mathcal{F}}_{1}^{0}$ is a Borel σ-algebra on ${\Omega }_{1}^{0}$ , ${P}_{1}^{0}$ is a probability measure on ${\mathcal{F}}_{1}^{0}$ , let the random values ${\xi }_{i}\left({\omega }_{1}\right)\ge 0$ , $i=\stackrel{¯}{1,N}$, satisfies the conditions:

1) $0<{P}_{1}^{0}\left(0\le {\xi }_{i}\left({\omega }_{1}\right)\le 1\right)<1$, there exists ${\omega }_{1}$ and ${\omega }_{2}$ such that ${\xi }_{i}\left({\omega }_{1}\right)=0$, ${\xi }_{i}\left({\omega }_{2}\right)=1$, $i=\stackrel{¯}{1,N}$ ;

2) for every $1, ${P}_{1}^{0}\left({\xi }_{i}\left({\omega }_{1}\right)>t\right)>0$.

Suppose that the evolution of risk asset is given by the formula (2) with ${a}_{1}=1$, where ${\eta }_{i}\left({\omega }_{i}\right)={\xi }_{i}\left({\omega }_{i}\right)-1$, and on the probability space $\left\{{\Omega }_{i}^{0},{\mathcal{F}}_{i}^{0},{P}_{i}^{0}\right\}$, the random value ${\xi }_{i}\left({\omega }_{i}\right)$ has the same distribution law as the random value ${\xi }_{i}\left({\omega }_{1}\right)$, $i=\stackrel{¯}{1,N}$, on the probability space $\left\{{\Omega }_{1}^{0},{\mathcal{F}}_{1}^{0},{P}_{1}^{0}\right\}$. If the nonnegative payoff function $f\left(x\right)$, $x\in \left[0,\infty \right)$, satisfies the conditions:

1) $f\left(0\right)=K$, $f\left(x\right)\le K$, then

$\underset{P\in M}{sup}\underset{\Omega }{\int }{E}^{P}f\left({S}_{N}\right)=K.$ (77)

If, in addition, the nonnegative payoff function $f\left(x\right)$ is a convex down one, then

$\underset{P\in M}{inf}{E}^{P}f\left({S}_{N}\right)=f\left({S}_{0}\right),$ (78)

where M is the set of equivalent maqtingale measures for the evolution of risk asset ${S}_{n},\text{\hspace{0.17em}}n=\stackrel{¯}{0,N}$. The interval of non-arbitrage prices of contingent liability $f\left({S}_{N}\right)$ coincides with the set $\left[f\left({S}_{0}\right),K\right]$.

Proof. It is evident that

$\underset{P\in M}{sup}{E}^{P}f\left({S}_{N}\right)\le K.$ (79)

Since

$\begin{array}{l}\underset{v\in \mathcal{V}}{sup}\underset{\Omega }{\int }f\left({S}_{N}\right)\text{d}{\nu }_{v}\\ =\underset{v\in \mathcal{V}}{sup}\underset{{i}_{1}=1,\cdots ,{i}_{N}=1}{\overset{2}{\sum }}f\left({S}_{0}\underset{s=1}{\overset{N}{\prod }}\left(1+{a}_{s}\left({\omega }_{1}^{{i}_{1}},\cdots ,{\omega }_{s-1}^{{i}_{s-1}}\right){\eta }_{s}\left({\omega }_{s}^{{i}_{s}}\right)\right)\right)\underset{s=1}{\overset{N}{\prod }}\frac{|{\xi }_{s}\left({\omega }_{s}^{{i}_{s}+1}\right)-1|}{{\xi }_{s}\left({\omega }_{s}^{2}\right)-{\xi }_{s}\left({\omega }_{s}^{1}\right)},\end{array}$ (80)

we have

$\begin{array}{l}\underset{Q\in M}{sup}\underset{\Omega }{\int }f\left({S}_{N}\right)\text{d}Q\\ \ge f\left({S}_{0}{\xi }_{1}\left({\omega }_{1}^{1}\right)\right)\frac{{\xi }_{1}\left({\omega }_{1}^{2}\right)-1}{{\xi }_{1}\left({\omega }_{1}^{2}\right)-{\xi }_{1}\left({\omega }_{1}^{1}\right)}+f\left({S}_{0}{\xi }_{1}\left({\omega }_{1}^{2}\right)\right)\frac{1-{\xi }_{1}\left({\omega }_{1}^{1}\right)}{{\xi }_{1}\left({\omega }_{1}^{2}\right)-{\xi }_{1}\left({\omega }_{1}^{1}\right)}.\end{array}$ (81)

Therefore, putting in the inequality (81) ${\xi }_{1}\left({\omega }_{1}^{1}\right)=0$ we obtain

$\begin{array}{l}\underset{Q\in M}{sup}\underset{\Omega }{\int }f\left({S}_{N}\right)\text{d}Q\\ \ge \underset{{\xi }_{1}\left({\omega }_{1}^{2}\right)\to \infty }{lim}\left[f\left(0\right)\frac{{\xi }_{1}\left({\omega }_{1}^{2}\right)-1}{{\xi }_{1}\left({\omega }_{1}^{2}\right)}+f\left({S}_{0}{\xi }_{1}\left({\omega }_{1}^{2}\right)\right)\frac{1}{{\xi }_{1}\left({\omega }_{1}^{2}\right)}\right]=f\left(0\right)=K.\end{array}$ (82)

Let us prove the equality (78). Due to convexity of payoff function $f\left(x\right)$, using Jensen inequality we obtain

$\underset{P\in M}{inf}{E}^{P}f\left({S}_{N}\right)\ge f\left({E}^{P}{S}_{N}\right)=f\left({S}_{0}\right).$ (83)

Let us prove the inverse inequality

$\begin{array}{l}f\left({S}_{0}{\xi }_{1}\left({\omega }_{1}^{1}\right)\right)\frac{{\xi }_{1}\left({\omega }_{1}^{2}\right)-1}{{\xi }_{1}\left({\omega }_{1}^{2}\right)-{\xi }_{1}\left({\omega }_{1}^{1}\right)}+f\left({S}_{0}{\xi }_{1}\left({\omega }_{1}^{2}\right)\right)\frac{1-{\xi }_{1}\left({\omega }_{1}^{1}\right)}{{\xi }_{1}\left({\omega }_{1}^{2}\right)-{\xi }_{1}\left({\omega }_{1}^{1}\right)}\\ \ge \underset{P\in M}{inf}{E}^{P}f\left({S}_{N}\right).\end{array}$ (84)

Putting in this inequality ${\xi }_{1}\left({\omega }_{1}^{1}\right)=1$ we obtain the needed. Theorem 8 is proved.

Remark 3. The results obtained in Theorems 7, 8 are true if for some $s>1$ , ${a}_{s}\left({\omega }_{1},\cdots ,{\omega }_{s-1}\right)=1$.

Let us give an example of application of the results obtained. Denote

$w\left(t\right),\text{\hspace{0.17em}}t\in \left[0,T\right]$ standard Brownian motion on the time interval $\left[0,T\right]$ with

$w\left(0\right)=0$. Due to the continuity of $w\left(t\right)$ the Winer measure P is concentrated

on the Banach space $C\left(\left[0,T\right]\right)$ with the norm $‖f‖=\underset{t\in \left[0,T\right]}{sup}|f\left(t\right)|$,

$f\left(t\right)\in C\left(\left[0,T\right]\right)$. The space $C\left(\left[0,T\right]\right)$ is a complete separable metric space in the metric generated by the introduced norm. Suppose that $0={t}_{0}<{t}_{1}<{t}_{2}<\cdots <{t}_{N}=T$. On the probability space $\left\{{\Omega }_{1}^{0},{\mathcal{F}}_{1}^{0},{P}_{1}^{0}\right\}$, where ${\Omega }_{1}^{0}=C\left(\left[0,T\right]\right)$, ${\mathcal{F}}_{1}^{0}$ is a Borel σ-algebra on ${\Omega }_{1}^{0}$, ${P}_{1}^{0}=P$ is a probability measure on ${\mathcal{F}}_{1}^{0}$, let us consider the random values ${\xi }_{i}\left({\omega }_{1}\right)\ge 0$, $i=\stackrel{¯}{1,N}$, where

${\xi }_{i}\left({\omega }_{1}\right)={\text{e}}^{\left(\mu -\frac{{\sigma }^{2}}{2}-r\right)\left({t}_{i}-{t}_{i-1}\right)+\sigma \left(w\left({t}_{i}\right)-w\left({t}_{i-1}\right)\right)}$, $i=\stackrel{¯}{1,N}$. The random values ${\xi }_{i}\left({\omega }_{1}\right)$, $i=\stackrel{¯}{1,N}$, are independent between themselves.

The random values ${\xi }_{i}\left({\omega }_{1}\right)$, $i=\stackrel{¯}{1,N}$, generate the evolution of risk asset given by the formula ${S}_{n}={S}_{0}\underset{i=1}{\overset{n}{\prod }}{\xi }_{i}\left({\omega }_{1}\right)={S}_{0}{\text{e}}^{\left(\mu -\frac{{\sigma }^{2}}{2}-r\right){t}_{n}+\sigma w\left({t}_{n}\right)}$, $n=\stackrel{¯}{1,N}$. Such evolution satisfies the conditions of the Theorems 7, 8.

4. Models of Evolution of Risky Assets Based on the Discrete Geometric Brownian Motion

Suppose that the set ${t}_{0}=0,{t}_{1},{t}_{2},\cdots ,{t}_{N}=T$ belongs to $\left[0,\infty \right)$ with $\Delta t={t}_{i}-{t}_{i-1}>0$ not depending on the index i.

On the probability space $\left\{{\Omega }_{1}^{0},{\mathcal{F}}_{1}^{0},{P}_{1}^{0}\right\}$, considered in the previous example, let us consider the sequence of random values

${\xi }_{i}\left({\omega }_{1}\right)={\text{e}}^{\left(\mu -\frac{{\sigma }^{2}}{2}-r\right)\Delta t+\sigma \left(w\left({t}_{i}\right)-w\left({t}_{i-1}\right)\right)},\text{\hspace{0.17em}}\text{\hspace{0.17em}}i=\stackrel{¯}{1,N},$ (85)

where $w\left({t}_{i}\right)$ is a standard Brownian motion with $w\left(0\right)=0$, $Ew\left({t}_{i}\right)w\left({t}_{j}\right)=min\left\{{t}_{i},{t}_{j}\right\}$. With every sequence real numbers ${a}_{1},{a}_{2},\cdots ,{a}_{n},\cdots$, $0\le {a}_{i}\le 1$, $i=\stackrel{¯}{1,\infty }$, let us connect the random process

${S}_{n}={S}_{0}\underset{i=1}{\overset{n}{\prod }}\left[1+{a}_{i}\left({\xi }_{i}\left({\omega }_{1}\right)-1\right)\right],\text{ }n=\stackrel{¯}{1,N},\text{ }{S}_{0}>0.$ (86)

Below we construct the probability space $\left\{\Omega ,\mathcal{F},P\right\}$ and the random process ${S}_{n}$, $n=\stackrel{¯}{1,N}$, on it, which is equivalent one in the wide sense to the process (86). For this purpose we could do it using the method, presented in section 2. But for further applications, it is more convenient to construct the simple probability space $\left\{\Omega ,\mathcal{F},P\right\}$ and the random process on it, which is equivalent in the wide sense to the process (86).

Let ${\Omega }_{1}^{0}={R}^{1}$, ${\mathcal{F}}_{1}^{0}=B\left({R}^{1}\right)$, where ${R}^{1}$ is a real axis, $B\left({R}^{1}\right)$ is a Borel σ-algebra on ${R}^{1}$. Let us put ${\Omega }_{i}^{0}={\Omega }_{1}^{0}$, ${\mathcal{F}}_{i}^{0}={\mathcal{F}}_{1}^{0}$, $i=\stackrel{¯}{1,N}$, and let us construct the direct product of the measurable spaces $\left\{{\Omega }_{i}^{0},{\mathcal{F}}_{i}^{0}\right\}$, $i=\stackrel{¯}{1,N}$. Denote $\Omega =\underset{i=1}{\overset{N}{\prod }}\text{ }\text{ }{\Omega }_{i}^{0}$. Under the σ-algebra $\mathcal{F}$ on $\Omega$, we understand the minimal σ-algebra generated by sets $\underset{i=1}{\overset{N}{\prod }}\text{ }{G}_{i},\text{\hspace{0.17em}}{G}_{i}\in {\mathcal{F}}_{i}^{0}$. On the measurable space $\left\{\Omega ,\mathcal{F}\right\}$, under the filtration ${\mathcal{F}}_{n}$ we understand the minimal σ-algebra, generated by sets $\underset{i=1}{\overset{N}{\prod }}\text{ }{G}_{i},\text{\hspace{0.17em}}{G}_{i}\in {\mathcal{F}}_{i}^{0}$, where ${G}_{i}={\Omega }_{i}^{0}$ for $i>n$. Suppose that the points ${t}_{0}=0$, ${t}_{1},{t}_{2},\cdots ,{t}_{N}=T$, belongs to ${R}_{1}^{+}$ with $\Delta t={t}_{i}-{t}_{i-1}>0$ not depending on the index i. Let us consider the probability space $\left\{\Omega ,\mathcal{F},P\right\}$, where $P=\underset{i=1}{\overset{N}{\prod }}\text{ }{P}_{i}^{0}$, ${P}_{i}^{0}={P}_{1}^{0}$, $i=\stackrel{¯}{1,N}$,

${P}_{1}^{0}\left(A\right)=\frac{1}{{\left[2\pi \Delta t\right]}^{1/2}}\underset{A}{\int }\text{ }\text{ }{\text{e}}^{-\frac{{y}^{2}}{2\Delta t}}\text{d}y,\text{ }A\in {\mathcal{F}}_{1}^{0}.$ (87)

On the probability space $\left\{\Omega ,\mathcal{F},P\right\}$, let us consider the evolution of risk asset given by the law

${S}_{n}={S}_{0}\underset{s=1}{\overset{n}{\prod }}\left(1+{a}_{s}\rho \left({y}_{s}\right)\right),\text{\hspace{0.17em}}n=\stackrel{¯}{1,N},$ (88)

where $0\le {a}_{s}\le 1$, $s=\stackrel{¯}{1,N}$, are the same constants, that figure in the formula (86), $\rho \left(y\right)={\text{e}}^{\sigma \left(d+y\right)}-1$, $d=\frac{\left(\mu -\frac{{\sigma }^{2}}{2}-r\right)\Delta t}{\sigma }$.

On the probability space $\left\{\Omega ,\mathcal{F},P\right\}$, the random process given by the formula (88) is equivalent in the wide sense to the process (86), constructed above.

Described in Lemma 5 [1] the set of measures Q on the probability space $\left\{{\Omega }_{i}^{0},{\mathcal{F}}_{i}^{0},{P}_{i}^{0}\right\}$, which are equivalent to the measure ${P}_{i}^{0}$ and such that ${E}^{Q}\rho \left({y}_{i}\right)=0$, we denote by ${M}_{i},\text{\hspace{0.17em}}i=\stackrel{¯}{1,N}$.

On the measurable space $\left\{\Omega ,\mathcal{F}\right\}$, we introduce into consideration the set of measures ${M}_{0}^{N}$, described in Theorem 1 for ${\eta }_{i}\left({y}_{i}\right)=\rho \left({y}_{i}\right)$, $i=\stackrel{¯}{1,N}$.

Theorem 9. On the measurable space $\left\{\Omega ,\mathcal{F}\right\}$ with the filtration ${\mathcal{F}}_{n}$ , $n=\stackrel{¯}{0,N}$, on it, let the risk asset evolution is given by the formula (88). For the nonnegative payoff function $f\left({S}_{N}\right)$ , satisfying the condition $\underset{Q\in {M}_{0}^{N}}{sup}{E}^{Q}f\left({S}_{N}\right)<\infty$ , the fair price of super-hedge is given by the formula

$\begin{array}{l}\underset{Q\in {M}_{0}^{N}}{sup}{E}^{Q}f\left({S}_{N}\right)\\ =\underset{{y}_{i}^{1}\le -d,\text{\hspace{0.17em}}{y}_{i}^{2}>-d,\text{\hspace{0.17em}}i=\stackrel{¯}{1,N}}{\mathrm{sup}}\underset{{i}_{1}=1,\cdots ,{i}_{N}=1}{\overset{2}{\sum }}f\left({S}_{0}\underset{s=1}{\overset{N}{\prod }}\left(1+{a}_{s}\rho \left({y}_{s}^{{i}_{s}}\right)\right)\right)\\ \text{\hspace{0.17em}}\text{\hspace{0.17em}}\text{ }×\underset{s=1}{\overset{N}{\prod }}\frac{|{\text{e}}^{\sigma \left(d+{y}_{s}^{{i}_{s}+1}\right)}-1|}{|{\text{e}}^{\sigma \left(d+{y}_{s}^{{i}_{s}+1}\right)}-{\text{e}}^{\sigma \left(d+{y}_{s}^{{i}_{s}}\right)}|},\end{array}$ (89)

where we put ${y}_{s}^{3}={y}_{s}^{1}$.

Proof. The proof of Theorem 9 follows directly from Theorem 6. □

Theorem 10. Suppose that the evolution of risk asset is given by the formula (88). If the nonnegative payoff function $f\left(x\right)$ , $x\in \left[0,\infty \right)$, satisfies the conditions:

1) $f\left(0\right)=0,\text{\hspace{0.17em}}f\left(x\right)\le ax,\text{\hspace{0.17em}}\underset{x\to \infty }{\mathrm{lim}}\frac{f\left(x\right)}{x}=a,\text{\hspace{0.17em}}a>0$, then

$f\left({S}_{0}\underset{i=1}{\overset{N}{\prod }}\left(1-{a}_{i}\right)\right)+a{S}_{0}\left(1-\underset{i=1}{\overset{N}{\prod }}\left(1-{a}_{i}\right)\right)\le \underset{Q\in {M}_{0}^{N}}{\mathrm{sup}}{E}^{P}f\left({S}_{N}\right)\le a{S}_{0}.$ (90)

If, in addition, the nonnegative payoff function $f\left(x\right)$ is a convex down one, then

$\underset{P\in {M}_{0}^{N}}{inf}{E}^{P}f\left({S}_{N}\right)=f\left({S}_{0}\right),$ (91)

where ${M}_{0}^{N}$ is the set of equivalent martingale measures for the evolution of risk asset ${S}_{n},\text{\hspace{0.17em}}n=\stackrel{¯}{0,N}$.

Proof. As before,

$\begin{array}{l}a{S}_{0}\ge \underset{Q\in {M}_{0}^{N}}{sup}\underset{\Omega }{\int }f\left({S}_{N}\right)\text{d}Q\\ =\underset{{y}_{i}^{1}\le -d,\text{\hspace{0.17em}}{y}_{i}^{2}>-d,\text{\hspace{0.17em}}i=\stackrel{¯}{1,N}}{sup}\underset{{i}_{1}=1,\cdots ,{i}_{N}=1}{\overset{2}{\sum }}f\left({S}_{0}\underset{s=1}{\overset{N}{\prod }}\left(1+{a}_{s}\rho \left({y}_{s}^{{i}_{s}}\right)\right)\right)\\ \text{\hspace{0.17em}}\text{\hspace{0.17em}}\text{ }×\underset{s=1}{\overset{N}{\prod }}\frac{|{\text{e}}^{\sigma \left(d+{y}_{s}^{{i}_{s}+1}\right)}-1|}{|{\text{e}}^{\sigma \left(d+{y}_{s}^{{i}_{s}+1}\right)}-{\text{e}}^{\sigma \left(d+{y}_{s}^{{i}_{s}}\right)}|}\\ \ge \underset{{i}_{1}=1,\cdots ,{i}_{N-1}=1}{\overset{2}{\sum }}\underset{s=1}{\overset{N-1}{\prod }}\frac{|{\text{e}}^{\sigma \left(d+{y}_{s}^{{i}_{s}+1}\right)}-1|}{|{\text{e}}^{\sigma \left(d+{y}_{s}^{{i}_{s}+1}\right)}-{\text{e}}^{\sigma \left(d+{y}_{s}^{{i}_{s}}\right)}|}\\ \text{\hspace{0.17em}}\text{\hspace{0.17em}}×\underset{{y}_{N}^{1}\to -\infty ,{y}_{N}^{2}\to \infty }{lim}\left[f\left({S}_{0}\underset{s=1}{\overset{N-1}{\prod }}\left(1+{a}_{s}\rho \left({y}_{s}^{{i}_{s}}\right)\right)\left(1+{a}_{N}\rho \left({y}_{N}^{1}\right)\right)\right)\frac{{\text{e}}^{\sigma \left(d+{y}_{N}^{2}\right)}-1}{{\text{e}}^{\sigma \left(d+{y}_{N}^{2}\right)}-{\text{e}}^{\sigma \left(d+{y}_{N}^{1}\right)}}\end{array}$

$\begin{array}{l}\text{\hspace{0.17em}}\text{\hspace{0.17em}}+f\left({S}_{0}\underset{s=1}{\overset{N-1}{\prod }}\left(1+{a}_{s}\rho \left({y}_{s}^{{i}_{s}}\right)\right)\left(1+{a}_{N}\rho \left({y}_{N}^{2}\right)\right)\right)\frac{1-{\text{e}}^{\sigma \left(d+{y}_{N}^{1}\right)}}{{\text{e}}^{\sigma \left(d+{y}_{N}^{2}\right)}-{\text{e}}^{\sigma \left(d+{y}_{N}^{1}\right)}}\right]\\ =\underset{{i}_{1}=1,\cdots ,{i}_{N-1}=1}{\overset{2}{\sum }}\underset{s=1}{\overset{N-1}{\prod }}\frac{|{\text{e}}^{\sigma \left(d+{y}_{s}^{{i}_{s}+1}\right)}-1|}{|{\text{e}}^{\sigma \left(d+{y}_{s}^{{i}_{s}+1}\right)}-{\text{e}}^{\sigma \left(d+{y}_{s}^{{i}_{s}}\right)}|}\\ \text{\hspace{0.17em}}\text{\hspace{0.17em}}×\left[f\left({S}_{0}\underset{s=1}{\overset{N-1}{\prod }}\left(1+{a}_{s}\rho \left({y}_{s}^{{i}_{s}}\right)\right)\left(1-{a}_{N}\right)\right)+{a}_{N}a{S}_{0}\underset{s=1}{\overset{N-1}{\prod }}\left(1+{a}_{s}\rho \left({y}_{s}^{{i}_{s}}\right)\right)\right]\\ =\underset{{i}_{1}=1,\cdots ,{i}_{N-1}=1}{\overset{2}{\sum }}\underset{s=1}{\overset{N-1}{\prod }}\frac{|{\text{e}}^{\sigma \left(d+{y}_{s}^{{i}_{s}+1}\right)}-1|}{|{\text{e}}^{\sigma \left(d+{y}_{s}^{{i}_{s}+1}\right)}-{\text{e}}^{\sigma \left(d+{y}_{s}^{{i}_{s}}\right)}|}\\ \text{\hspace{0.17em}}\text{\hspace{0.17em}}×f\left({S}_{0}\left(1-{a}_{N}\right)\underset{s=1}{\overset{N-1}{\prod }}\left(1+{a}_{s}\rho \left({y}_{s}^{{i}_{s}}\right)\right)\right)+{a}_{N}a{S}_{0}.\end{array}$ (92)

Applying $\left(N-1\right)$ times the inequality (92) we obtain

$\begin{array}{c}\underset{Q\in {M}_{0}^{N}}{sup}\underset{\Omega }{\int }f\left({S}_{N}\right)\text{d}Q\ge f\left({S}_{0}\underset{i=1}{\overset{N}{\prod }}\left(1-{a}_{i}\right)\right)+a{S}_{0}\underset{i=1}{\overset{N}{\sum }}\text{ }\text{ }{a}_{i}\underset{s=i+1}{\overset{N}{\prod }}\left(1-{a}_{s}\right)\\ =f\left({S}_{0}\underset{i=1}{\overset{N}{\prod }}\left(1-{a}_{i}\right)\right)+a{S}_{0}\left(1-\underset{i=1}{\overset{N}{\prod }}\left(1-{a}_{i}\right)\right).\end{array}$ (93)

Let us prove the equality (91). Using Jensen inequality we obtain

$\underset{P\in {M}_{0}^{N}}{inf}{E}^{P}f\left({S}_{N}\right)\ge f\left({S}_{0}\right).$ (94)

It is evident the inequality

$\begin{array}{l}\left[f\left({S}_{0}\left(1+{a}_{s}\rho \left({y}_{s}^{1}\right)\right)\right)\frac{{\text{e}}^{\sigma \left(d+{y}_{s}^{2}\right)}-1}{{\text{e}}^{\sigma \left(d+{y}_{s}^{2}\right)}-{\text{e}}^{\sigma \left(d+{y}_{s}^{1}\right)}}\\ +f\left({S}_{0}\left(1+{a}_{s}\rho \left({y}_{s}^{2}\right)\right)\right)\frac{1-{e}^{\sigma \left(d+{y}_{s}^{1}\right)}}{{\text{e}}^{\sigma \left(d+{y}_{s}^{2}\right)}-{\text{e}}^{\sigma \left(d+{y}_{s}^{1}\right)}}\right]\ge \underset{P\in {M}_{0}^{N}}{inf}{E}^{P}f\left({S}_{N}\right).\end{array}$ (95)

Putting in the inequality (95) ${y}_{s}^{1}=-d$ we obtain the inverse inequality. □

Theorem 11. Suppose that the evolution of risk asset is given by the formula (88). If the nonnegative payoff function $f\left(x\right)$ , $x\in \left[0,\infty \right)$, satisfies the conditions:

1) $f\left(0\right)=K,\text{\hspace{0.17em}}f\left(x\right)\le K$, then

$f\left({S}_{0}\underset{i=1}{\overset{N}{\prod }}\left(1-{a}_{i}\right)\right)\le \underset{P\in {M}_{0}^{N}}{sup}{E}^{P}f\left({S}_{N}\right)\le K.$ (96)

If, in addition, the nonnegative payoff function $f\left(x\right)$ is a convex down one, then

$\underset{P\in {M}_{0}^{N}}{inf}{E}^{P}f\left({S}_{N}\right)=f\left({S}_{0}\right),$ (97)

where ${M}_{0}^{N}$ is the set of equivalent martingale measures for the evolution of risk asset ${S}_{n},\text{\hspace{0.17em}}n=\stackrel{¯}{0,N}$.

Proof. Let us obtain the estimate from below. Really,

$\begin{array}{l}K\ge \underset{Q\in {M}_{0}^{N}}{sup}\underset{\Omega }{\int }f\left({S}_{N}\right)\text{d}Q\\ =\underset{{y}_{s}^{1}\le -d,\text{\hspace{0.17em}}{y}_{s}^{2}>-d,\text{\hspace{0.17em}}s=\stackrel{¯}{1,N}}{sup}\underset{{i}_{1}=1,\cdots ,{i}_{N}=1}{\overset{2}{\sum }}f\left({S}_{0}\underset{s=1}{\overset{N}{\prod }}\left(1+{a}_{s}\rho \left({y}_{s}^{{i}_{s}}\right)\right)\right)\\ \text{\hspace{0.17em}}\text{\hspace{0.17em}}×\underset{s=1}{\overset{N}{\prod }}\frac{|{\text{e}}^{\sigma \left(d+{y}_{s}^{{i}_{s}+1}\right)}-1|}{|{\text{e}}^{\sigma \left(d+{y}_{s}^{{i}_{s}+1}\right)}-{\text{e}}^{\sigma \left(d+{y}_{s}^{{i}_{s}}\right)}|}\\ \ge \underset{{i}_{1}=1,\cdots ,{i}_{N-1}=1}{\overset{2}{\sum }}\underset{s=1}{\overset{N-1}{\prod }}\frac{|{\text{e}}^{\sigma \left(d+{y}_{s}^{{i}_{s}+1}\right)}-1|}{|{\text{e}}^{\sigma \left(d+{y}_{s}^{{i}_{s}+1}\right)}-{\text{e}}^{\sigma \left(d+{y}_{s}^{{i}_{s}}\right)}|}\\ \text{\hspace{0.17em}}\text{\hspace{0.17em}}×\underset{{y}_{N}^{1}\to -\infty ,{y}_{N}^{2}\to \infty }{\mathrm{lim}}\left[f\left({S}_{0}\underset{s=1}{\overset{N-1}{\prod }}\left(1+{a}_{s}\rho \left({y}_{s}^{{i}_{s}}\right)\right)\left(1+{a}_{N}\rho \left({y}_{N}^{1}\right)\right)\right)\frac{{\text{e}}^{\sigma \left(d+{y}_{N}^{2}\right)}-1}{{\text{e}}^{\sigma \left(d+{y}_{N}^{2}\right)}-{\text{e}}^{\sigma \left(d+{y}_{N}^{1}\right)}}\end{array}$

$\begin{array}{l}\text{\hspace{0.17em}}\text{\hspace{0.17em}}+f\left({S}_{0}\underset{s=1}{\overset{N-1}{\prod }}\left(1+{a}_{s}\rho \left({y}_{s}^{{i}_{s}}\right)\right)\left(1+{a}_{N}\rho \left({y}_{N}^{2}\right)\right)\right)\frac{1-{\text{e}}^{\sigma \left(d+{y}_{N}^{1}\right)}}{{\text{e}}^{\sigma \left(d+{y}_{N}^{2}\right)}-{\text{e}}^{\sigma \left(d+{y}_{N}^{1}\right)}}\right]\\ =\underset{{i}_{1}=1,\cdots ,{i}_{N-1}=1}{\overset{2}{\sum }}\underset{s=1}{\overset{N-1}{\prod }}\frac{|{\text{e}}^{\sigma \left(d+{y}_{s}^{{i}_{s}+1}\right)}-1|}{|{\text{e}}^{\sigma \left(d+{y}_{s}^{{i}_{s}+1}\right)}-{\text{e}}^{\sigma \left(d+{y}_{s}^{{i}_{s}}\right)}|}\\ \text{\hspace{0.17em}}\text{\hspace{0.17em}}×f\left({S}_{0}\left(1-{a}_{N}\right)\underset{s=1}{\overset{N-1}{\prod }}\left(1+{a}_{s}\rho \left({y}_{s}^{{i}_{s}}\right)\right)\right).\end{array}$ (98)

Applying $\left(N-1\right)$ times the inequality (98) we obtain the needed inequality

$\underset{Q\in {M}_{0}^{N}}{sup}\underset{\Omega }{\int }f\left({S}_{N}\right)\text{d}Q\ge f\left({S}_{0}\underset{i=1}{\overset{N}{\prod }}\left(1-{a}_{i}\right)\right).$ (99)

Let us prove the equality (97). Using Jensen inequality we obtain

$\underset{P\in {M}_{0}^{N}}{inf}{E}^{P}f\left({S}_{N}\right)\ge f\left({S}_{0}\right).$ (100)

It is evident the inequality

$\begin{array}{l}\left[f\left({S}_{0}\left(1+{a}_{s}\rho \left({y}_{s}^{1}\right)\right)\right)\frac{{\text{e}}^{\sigma \left(d+{y}_{s}^{2}\right)}-1}{{\text{e}}^{\sigma \left(d+{y}_{s}^{2}\right)}-{\text{e}}^{\sigma \left(d+{y}_{s}^{1}\right)}}\\ +f\left({S}_{0}\left(1+{a}_{s}\rho \left({y}_{s}^{2}\right)\right)\right)\frac{1-{\text{e}}^{\sigma \left(d+{y}_{s}^{1}\right)}}{{\text{e}}^{\sigma \left(d+{y}_{s}^{2}\right)}-{\text{e}}^{\sigma \left(d+{y}_{s}^{1}\right)}}\right]\ge \underset{P\in {M}_{0}^{N}}{inf}{E}^{P}f\left({S}_{N}\right).\end{array}$ (101)

Putting in the inequality (101) ${y}_{s}^{1}=-d$ we obtain the inverse inequality. □

Theorem 12. On the measurable space $\left\{\Omega ,\mathcal{F}\right\}$ with the filtration ${\mathcal{F}}_{n}$ , $n=\stackrel{¯}{0,N}$, on it, let the discount risk asset evolution is given by the formula (88) with $0\le {a}_{i}\le 1$ , $i=\stackrel{¯}{1,N}$, For the payoff function $f\left(x\right)={\left(x-K\right)}^{+}$ , $x\in \left(0,\infty \right)$, $K>0$, the fair price of super-hedge is given by the formula

$\underset{Q\in {M}_{0}^{N}}{sup}{E}^{Q}f\left({S}_{N}\right)=\left\{\begin{array}{ll}{\left({S}_{0}-K\right)}^{+},\hfill & \text{ }\text{if}\text{ }\text{\hspace{0.17em}}{S}_{0}\underset{i=1}{\overset{N}{\prod }}\left(1-{a}_{i}\right)\ge K,\hfill \\ {S}_{0}\left(1-\underset{i=1}{\overset{N}{\prod }}\left(1-{a}_{i}\right)\right),\hfill & \text{ }\text{if}\text{ }\text{\hspace{0.17em}}{S}_{0}\underset{i=1}{\overset{N}{\prod }}\left(1-{a}_{i}\right) (102)

If ${S}_{0}\underset{i=1}{\overset{N}{\prod }}\left(1-{a}_{i}\right)\ge K$, then the set of non arbitrage prices coincides with the point ${\left({S}_{0}-K\right)}^{+}$, in case if ${S}_{0}\left(1-\underset{i=1}{\overset{N}{\prod }}\left(1-{a}_{i}\right)\right) the set of non arbitrage prices coincides with the interval $\left[{\left({S}_{0}-K\right)}^{+},{S}_{0}\left(1-\underset{i=1}{\overset{N}{\prod }}\left(1-{a}_{i}\right)\right)\right]$.

Proof. Let us introduce the denotations

${I}_{N}=\underset{{i}_{1}=1,\cdots ,{i}_{N}=1}{\overset{2}{\sum }}f\left({S}_{0}\underset{s=1}{\overset{N}{\prod }}\left(1+{a}_{s}\rho \left({y}_{s}^{{i}_{s}}\right)\right)\right)\underset{s=1}{\overset{N}{\prod }}\frac{|{\text{e}}^{\sigma \left(d+{y}_{s}^{{i}_{s}+1}\right)}-1|}{|{\text{e}}^{\sigma \left(d+{y}_{s}^{{i}_{s}+1}\right)}-{\text{e}}^{\sigma \left(d+{y}_{s}^{{i}_{s}}\right)}|},$ (103)

${I}_{N}^{1}=\underset{{i}_{1}=1,\cdots ,{i}_{N}=1}{\overset{2}{\sum }}{f}_{1}\left({S}_{0}\underset{s=1}{\overset{N}{\prod }}\left(1+{a}_{s}\rho \left({y}_{s}^{{i}_{s}}\right)\right)\right)\underset{s=1}{\overset{N}{\prod }}\frac{|{\text{e}}^{\sigma \left(d+{y}_{s}^{{i}_{s}+1}\right)}-1|}{|{\text{e}}^{\sigma \left(d+{y}_{s}^{{i}_{s}+1}\right)}-{\text{e}}^{\sigma \left(d+{y}_{s}^{{i}_{s}}\right)}|},$ (104)

$\begin{array}{l}{I}_{N}^{0}=\underset{{y}_{s}^{1}\le -d,\text{\hspace{0.17em}}{y}_{s}^{2}>-d,\text{\hspace{0.17em}}s=\stackrel{¯}{1,N}}{\mathrm{sup}}\underset{{i}_{1}=1,\cdots ,{i}_{N}=1}{\overset{2}{\sum }}f\left({S}_{0}\underset{s=1}{\overset{N}{\prod }}\left(1+{a}_{s}\rho \left({y}_{s}^{{i}_{s}}\right)\right)\right)\\ \text{\hspace{0.17em}}\text{\hspace{0.17em}}\text{\hspace{0.17em}}\text{\hspace{0.17em}}\text{\hspace{0.17em}}\text{\hspace{0.17em}}\text{\hspace{0.17em}}\text{\hspace{0.17em}}×\underset{s=1}{\overset{N}{\prod }}\frac{|{\text{e}}^{\sigma \left(d+{y}_{s}^{{i}_{s}+1}\right)}-1|}{|{\text{e}}^{\sigma \left(d+{y}_{s}^{{i}_{s}+1}\right)}-{\text{e}}^{\sigma \left(d+{y}_{s}^{{i}_{s}}\right)}|},\end{array}$ (105)

where we put ${f}_{1}\left(x\right)={\left(K-x\right)}^{+}$.

Let us estimate from above the value

${I}_{N}=\underset{{i}_{1}=1,\cdots ,{i}_{N}=1}{\overset{2}{\sum }}f\left({S}_{0}\underset{s=1}{\overset{N}{\prod }}\left(1+{a}_{s}\rho \left({y}_{s}^{{i}_{s}}\right)\right)\right)\underset{s=1}{\overset{N}{\prod }}\frac{|{\text{e}}^{\sigma \left(d+{y}_{s}^{{i}_{s}+1}\right)}-1|}{|{\text{e}}^{\sigma \left(d+{y}_{s}^{{i}_{s}+1}\right)}-{\text{e}}^{\sigma \left(d+{y}_{s}^{{i}_{s}}\right)}|}.$ (106)

For this we use the equality

$\begin{array}{l}\underset{{i}_{1}=1,\cdots ,{i}_{N}=1}{\overset{2}{\sum }}f\left({S}_{0}\underset{s=1}{\overset{N}{\prod }}\left(1+{a}_{s}\rho \left({y}_{s}^{{i}_{s}}\right)\right)\right)\underset{s=1}{\overset{N}{\prod }}\frac{|{\text{e}}^{\sigma \left(d+{y}_{s}^{{i}_{s}+1}\right)}-1|}{|{\text{e}}^{\sigma \left(d+{y}_{s}^{{i}_{s}+1}\right)}-{\text{e}}^{\sigma \left(d+{y}_{s}^{{i}_{s}}\right)}|}\\ =\underset{{i}_{1}=1,\cdots ,{i}_{N}=1}{\overset{2}{\sum }}{f}_{1}\left({S}_{0}\underset{s=1}{\overset{N}{\prod }}\left(1+{a}_{s}\rho \left({y}_{s}^{{i}_{s}}\right)\right)\right)\underset{s=1}{\overset{N}{\prod }}\frac{|{\text{e}}^{\sigma \left(d+{y}_{s}^{{i}_{s}+1}\right)}-1|}{|{\text{e}}^{\sigma \left(d+{y}_{s}^{{i}_{s}+1}\right)}-{\text{e}}^{\sigma \left(d+{y}_{s}^{{i}_{s}}\right)}|}+{S}_{0}-K\\ ={I}_{N}^{1}+{S}_{0}-K,\end{array}$ (107)

which follows from the identity: $f\left(x\right)={f}_{1}\left(x\right)+x-K$, $x\ge 0$. Since

${f}_{1}\left({S}_{0}\underset{s=1}{\overset{N}{\prod }}\left(1+{a}_{s}\rho \left({y}_{s}^{{i}_{s}}\right)\right)\right)\le {f}_{1}\left({S}_{0}\underset{s=1}{\overset{N}{\prod }}\left(1-{a}_{s}\right)\right),$ (108)

we obtain the inequality

${I}_{N}\le {S}_{0}-K+{f}_{1}\left({S}_{0}\underset{s=1}{\overset{N}{\prod }}\left(1-{a}_{s}\right)\right).$ (109)

From the inequality (109) we have

$\begin{array}{c}{I}_{N}^{0}\le {S}_{0}-K+{f}_{1}\left({S}_{0}\underset{s=1}{\overset{N}{\prod }}\left(1-{a}_{s}\right)\right)\\ =\left\{\begin{array}{ll}{\left({S}_{0}-K\right)}^{+},\hfill & \text{ }\text{if}\text{ }\text{\hspace{0.17em}}{S}_{0}\underset{i=1}{\overset{N}{\prod }}\left(1-{a}_{i}\right)\ge K,\hfill \\ {S}_{0}\left(1-\underset{i=1}{\overset{N}{\prod }}\left(1-{a}_{i}\right)\right),\hfill & \text{ }\text{if}\text{ }\text{\hspace{0.17em}}{S}_{0}\underset{i=1}{\overset{N}{\prod }}\left(1-{a}_{i}\right) (110)

Due to the inequality (90) of Theorem 10

$\begin{array}{l}\underset{{y}_{i}^{1}\le -d,\text{\hspace{0.17em}}{y}_{i}^{2}>-d,\text{\hspace{0.17em}}i=\stackrel{¯}{1,N}}{sup}\underset{{i}_{1}=1,\cdots ,{i}_{N}=1}{\overset{2}{\sum }}f\left({S}_{0}\underset{s=1}{\overset{N}{\prod }}\left(1+{a}_{s}\rho \left({y}_{s}^{{i}_{s}}\right)\right)\right)\underset{s=1}{\overset{N}{\prod }}\frac{|{\text{e}}^{\sigma \left(d+{y}_{s}^{{i}_{s}+1}\right)}-1|}{|{\text{e}}^{\sigma \left(d+{y}_{s}^{{i}_{s}+1}\right)}-{\text{e}}^{\sigma \left(d+{y}_{s}^{{i}_{s}}\right)}|}\\ \ge f\left({S}_{0}\underset{i=1}{\overset{N}{\prod }}\left(1-{a}_{i}\right)\right)+{S}_{0}\left(1-\underset{i=1}{\overset{N}{\prod }}\left(1-{a}_{i}\right)\right)\end{array}$ (111)

and the inequality

$\begin{array}{l}\underset{{y}_{i}^{1}\le -d,\text{\hspace{0.17em}}{y}_{i}^{2}>-d,\text{\hspace{0.17em}}i=\stackrel{¯}{1,N}}{sup}\underset{{i}_{1}=1,\cdots ,{i}_{N}=1}{\overset{2}{\sum }}f\left({S}_{0}\underset{s=1}{\overset{N}{\prod }}\left(1+{a}_{s}\rho \left({y}_{s}^{{i}_{s}}\right)\right)\right)\\ ×\underset{s=1}{\overset{N}{\prod }}\frac{|{\text{e}}^{\sigma \left(d+{y}_{s}^{{i}_{s}+1}\right)}-1|}{|{\text{e}}^{\sigma \left(d+{y}_{s}^{{i}_{s}+1}\right)}-{\text{e}}^{\sigma \left(d+{y}_{s}^{{i}_{s}}\right)}|}\ge {\left({S}_{0}-K\right)}^{+},\end{array}$ (112)

which follows from Jensen inequality, we have

$\begin{array}{c}{I}_{N}^{0}\ge \mathrm{max}\left\{{\left({S}_{0}-K\right)}^{+},f\left({S}_{0}\underset{i=1}{\overset{N}{\prod }}\left(1-{a}_{i}\right)\right)+{S}_{0}\left(1-\underset{i=1}{\overset{N}{\prod }}\left(1-{a}_{i}\right)\right)\right\}\\ =\left\{\begin{array}{ll}{\left({S}_{0}-K\right)}^{+},\hfill & \text{ }\text{if}\text{ }\text{\hspace{0.17em}}{S}_{0}\underset{i=1}{\overset{N}{\prod }}\left(1-{a}_{i}\right)\ge K,\hfill \\ {S}_{0}\left(1-\underset{i=1}{\overset{N}{\prod }}\left(1-{a}_{i}\right)\right),\hfill & \text{ }\text{if}\text{ }\text{\hspace{0.17em}}{S}_{0}\underset{i=1}{\overset{N}{\prod }}\left(1-{a}_{i}\right) (113)

This proves Theorem 12. □

Theorem 13. On the measurable space $\left\{\Omega ,\mathcal{F}\right\}$ with the filtration ${\mathcal{F}}_{n}$ , $n=\stackrel{¯}{0,N}$, on it, let the discount risk asset evolution is given by the formula (88), with $0\le {a}_{i}\le 1$ , $i=\stackrel{¯}{1,N}$. For the payoff function ${f}_{1}\left(x\right)={\left(K-x\right)}^{+}$ , $x\in \left(0,\infty \right)$, $K>0$, the fair price of super-hedge is given by the formula

$\underset{Q\in {M}_{0}^{N}}{sup}{E}^{Q}{f}_{1}\left({S}_{N}\right)={f}_{1}\left({S}_{0}\underset{i=1}{\overset{N}{\prod }}\left(1-{a}_{i}\right)\right).$ (114)

The set of non arbitrage prices coincides with the set $\left[{\left(K-{S}_{0}\right)}^{+},{f}_{1}\left({S}_{0}\underset{i=1}{\overset{N}{\prod }}\left(1-{a}_{i}\right)\right)\right]$.

Proof. The inequality

$\begin{array}{l}\underset{{i}_{1}=1,\cdots ,{i}_{N}=1}{\overset{2}{\sum }}{f}_{1}\left({S}_{0}\underset{s=1}{\overset{N}{\prod }}\left(1+{a}_{s}\rho \left({y}_{s}^{{i}_{s}}\right)\right)\right)\underset{s=1}{\overset{N}{\prod }}\frac{|{\text{e}}^{\sigma \left(d+{y}_{s}^{{i}_{s}+1}\right)}-1|}{|{\text{e}}^{\sigma \left(d+{y}_{s}^{{i}_{s}+1}\right)}-{\text{e}}^{\sigma \left(d+{y}_{s}^{{i}_{s}}\right)}|}\\ \le \underset{{i}_{1}=1,\cdots ,{i}_{N}=1}{\overset{2}{\sum }}{f}_{1}\left({S}_{0}\underset{s=1}{\overset{N}{\prod }}\left(1-{a}_{s}\right)\right)\underset{s=1}{\overset{N}{\prod }}\frac{{\text{e}}^{\sigma \left(d+{y}_{s}^{2}\right)}-1}{{\text{e}}^{\sigma \left(d+{y}_{s}^{2}\right)}-{\text{e}}^{\sigma \left(d+{y}_{s}^{1}\right)}}\\ ={f}_{1}\left({S}_{0}\underset{i=1}{\overset{N}{\prod }}\left(1-{a}_{i}\right)\right)\end{array}$ (115)

is true. Taking into account the inequality (96) of Theorem 11 we prove Theorem 13. □

Theorem 14. On the measurable space $\left\{\Omega ,\mathcal{F}\right\}$ with the filtration ${\mathcal{F}}_{n}$ , $n=\stackrel{¯}{0,N}$, on it, let the discount risk asset evolution is given by the formula (88) with $0\le {a}_{i}\le 1$ , $i=\stackrel{¯}{1,N}$. For the payoff function

${f}_{1}\left({S}_{0},{S}_{1},\cdots ,{S}_{N}\right)={\left(K-\frac{\underset{i=0}{\overset{N}{\sum }}\text{ }\text{ }{S}_{i}}{N+1}\right)}^{+}$, $K>0$, the fair price of super-hedge is given by the formula

$\underset{Q\in {M}_{0}^{N}}{\mathrm{sup}}{E}^{Q}{f}_{1}\left({S}_{0},{S}_{1},\cdots ,{S}_{N}\right)={\left(K-\frac{{S}_{0}\underset{i=0}{\overset{N}{\sum }}\underset{s=1}{\overset{i}{\prod }}\left(1-{a}_{s}\right)}{N+1}\right)}^{+}.$ (116)

The set of non arbitrage prices coincides with the set $\left[{\left(K-{S}_{0}\right)}^{+},{\left(K-\frac{{S}_{0}\underset{i=0}{\overset{N}{\sum }}\underset{s=1}{\overset{i}{\prod }}\left(1-{a}_{s}\right)}{N+1}\right)}^{+}\right]$, if $K>\frac{{S}_{0}\underset{i=0}{\overset{N}{\sum }}\underset{s=1}{\overset{i}{\prod }}\left(1-{a}_{s}\right)}{N+1}$. For $K\le \frac{{S}_{0}\underset{i=0}{\overset{N}{\sum }}\underset{s=1}{\overset{i}{\prod }}\left(1-{a}_{s}\right)}{N+1}$ the set of non arbitrage prices coincides with the point 0.

Proof. It is evident that

$\begin{array}{l}\underset{{y}_{i}^{1}\le -d,\text{\hspace{0.17em}}{y}_{i}^{2}>-d,\text{\hspace{0.17em}}i=\stackrel{¯}{1,N}}{sup}\underset{{i}_{1}=1,\cdots ,{i}_{N}=1}{\overset{2}{\sum }}{f}_{1}\left({S}_{0},{S}_{0}\left(1+{a}_{1}\rho \left({y}_{1}^{{i}_{1}}\right)\right),\cdots ,{S}_{0}\underset{s=1}{\overset{N}{\prod }}\left(1+{a}_{s}\rho \left({y}_{s}^{{i}_{s}}\right)\right)\right)\\ \text{ }×\underset{s=1}{\overset{N}{\prod }}\frac{|{\text{e}}^{\sigma \left(d+{y}_{s}^{{i}_{s}+1}\right)}-1|}{|{\text{e}}^{\sigma \left(d+{y}_{s}^{{i}_{s}+1}\right)}-{\text{e}}^{\sigma \left(d+{y}_{s}^{{i}_{s}}\right)}|}\\ \ge \underset{{y}_{s}^{1}\to -\infty ,{y}_{s}^{2}\to \infty ,s=\stackrel{¯}{1,N}}{\mathrm{lim}}{f}_{1}\left({S}_{0},{S}_{0}\left(1+{a}_{1}\rho \left({y}_{1}^{1}\right)\right),\cdots ,{S}_{0}\underset{s=1}{\overset{N}{\prod }}\left(1+{a}_{s}\rho \left({y}_{s}^{1}\right)\right)\right)\\ \text{\hspace{0.17em}}\text{\hspace{0.17em}}×\underset{s=1}{\overset{N}{\prod }}\frac{{\text{e}}^{\sigma \left(d+{y}_{s}^{2}\right)}-1}{{\text{e}}^{\sigma \left(d+{y}_{s}^{2}\right)}-{\text{e}}^{\sigma \left(d+{y}_{s}^{1}\right)}}\\ ={f}_{1}\left({S}_{0},{S}_{0}\left(1-{a}_{1}\right),\cdots ,{S}_{0}\underset{s=1}{\overset{N}{\prod }}\left(1-{a}_{s}\right)\right)={\left(K-\frac{{S}_{0}\underset{i=0}{\overset{N}{\sum }}\underset{s=1}{\overset{i}{\prod }}\left(1-{a}_{s}\right)}{N+1}\right)}^{+}.\end{array}$ (117)

Let us prove the inverse inequality. We have

$\begin{array}{l}\underset{{i}_{1}=1,\cdots ,{i}_{N}=1}{\overset{2}{\sum }}{f}_{1}\left({S}_{0},{S}_{0}\left(1+{a}_{1}\rho \left({y}_{1}^{{i}_{1}}\right)\right),\cdots ,{S}_{0}\underset{s=1}{\overset{N}{\prod }}\left(1+{a}_{s}\rho \left({y}_{s}^{{i}_{s}}\right)\right)\right)\\ \text{ }×\frac{|{\text{e}}^{\sigma \left(d+{y}_{s}^{{i}_{s}+1}\right)}-1|}{|{\text{e}}^{\sigma \left(d+{y}_{s}^{{i}_{s}+1}\right)}-{\text{e}}^{\sigma \left(d+{y}_{s}^{{i}_{s}}\right)}|}\\ \le \underset{{i}_{1}=1,\cdots ,{i}_{N}=1}{\overset{2}{\sum }}{f}_{1}\left({S}_{0},{S}_{0}\left(1-{a}_{1}\right),\cdots ,{S}_{0}\underset{s=1}{\overset{N}{\prod }}\left(1-{a}_{s}\right)\right)\underset{s=1}{\overset{N}{\prod }}\frac{{\text{e}}^{\sigma \left(d+{y}_{s}^{2}\right)}-1}{{\text{e}}^{\sigma \left(d+{y}_{s}^{2}\right)}-{\text{e}}^{\sigma \left(}}\end{array}$