An Interval of No-Arbitrage Prices in Financial Markets with Volatility

0 downloads 0 Views 2MB Size Report
May 11, 2017 - consider stock price dynamics with no-arbitrage opportunities. For general European ... by the following geometric -Brownian motion:.
Hindawi Mathematical Problems in Engineering Volume 2017, Article ID 5769205, 11 pages https://doi.org/10.1155/2017/5769205

Research Article An Interval of No-Arbitrage Prices in Financial Markets with Volatility Uncertainty Hanlei Hu, Zheng Yin, and Weipeng Yuan School of Economic and Mathematics, Southwestern University of Finance and Economics, Chengdu, Sichuan 611130, China Correspondence should be addressed to Weipeng Yuan; [email protected] Received 21 February 2017; Accepted 11 May 2017; Published 19 June 2017 Academic Editor: Honglei Xu Copyright ยฉ 2017 Hanlei Hu et al. This is an open access article distributed under the Creative Commons Attribution License, which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited. In financial markets with volatility uncertainty, we assume that their risks are caused by uncertain volatilities and their assets are effectively allocated in the risk-free asset and a risky stock, whose price process is supposed to follow a geometric ๐บ-Brownian motion rather than a classical Brownian motion. The concept of arbitrage is used to deal with this complex situation and we consider stock price dynamics with no-arbitrage opportunities. For general European contingent claims, we deduce the interval of no-arbitrage price and the clear results are derived in the Markovian case.

1. Introduction Though many choice situations show uncertainty, owing to the Ellsberg Parasox, the impacts of ambiguity aversion on economic decisions are established and Beissner [1] considered general equilibrium economies with a primitive uncertainty model that features ambiguity about continuoustime volatility. Under uncertainty, multiple priors can be used to model decisions. Recently, these multiple priors models have attracted much attention. The decision theoretical setting of multiple priors was introduced by Gilboa and Schmeidler [2] and Artzner et al. [3] adapted it to monetary risk measures. Afterwards, Maccheroni et al. [4] generalized multiple priors to preferences. In diffusion models, Girsanovโ€™s theorem was employed to consider stochastic processes by Chen and Epstein [5], but these multiple priors can only lead to uncertainty. When these multiple priors are used in finance areas, they result in drift uncertainty for stock prices. In the risk-neutral world, when we assess financial claims, the uncertainty of this drift will disappear. Under the assumption of no arbitrage and volatility uncertainty, Fernholz and Karatzas [6] considered to outperform the market. Compared with this, our paper is to model volatility uncertain financial markets which have no arbitrage. Epstein and Ji [7] or Vorbrink [8] used a specific example to illustrate an uncertain volatility model. On the

basis of our predecessors, our paper solves a few basic problems of the volatility uncertainty in finance markets. Our aim is to analyze the volatility uncertain financial markets and we take advantage of the framework of sublinear expectation and ๐บ-Brownian motion which is introduced by Peng [9] to deal with the model in financial markets. The ๐บ-Brownian motion is no longer a classical Brownian motion. The construction of stochastic integration, ๐ผ๐‘กฬ‚ ๐‘œโ€™s lemma, and martingale theory is utilized to the framework of ๐บ-Brownian motion. In order to control the model risk, the ๐บ-Brownian motion is employed to concern the model and evaluate claims by means of ๐บexpectation which is a sublinear expectation. In our financial markets with volatility uncertainty, the wealth is invested in risk-free asset and risky asset, in which the risky asset, that is, stock ๐‘†๐‘ก and its price process ๐‘†๐‘ก , is given by the following geometric ๐บ-Brownian motion: ๐‘‘๐‘†๐‘ก = ๐‘Ÿ๐‘†๐‘ก ๐‘‘๐‘ก + ]๐‘ก ๐‘†๐‘ก ๐‘‘๐ต๐‘ก , ๐‘†0 = ๐‘ฅ0 > 0,

(1)

where constant interest rate ๐‘Ÿ โฉพ 0 is an expected instantaneous return of the stock and ]๐‘ก is the volatility of ๐‘† which is associated with ๐‘ก. The canonical process ๐ต = (๐ต๐‘ก ) is a ๐บ-Brownian motion relating to a sublinear expectation ๐ธ๐บ, called ๐บ-expectation (see [9, 10] for a detailed construction). The stochastic calculus with respect to ๐บ-Brownian motion can also be established, especially ๐ผ๐‘กฬ‚ ๐‘œ integral [9]. The

2

Mathematical Problems in Engineering

ordinary martingales are replaced by ๐บ-martingales. Denis et al. [11] developed the ๐บ-framework of Peng [10] (see [12]) in the framework of quasi-sure analysis. An upper expectation of classical expectations is used to represent the sublinear expectation ๐ธ๐บ established by Denis et al. [11]; that is to say, there exists a set of probability measures P such that ๐ธ๐บ[๐‘‹] = sup๐‘ƒโˆˆP E๐‘ƒ [๐‘‹]. In this paper, we prove that the considered financial market does not admit any arbitrage opportunity, but it allows for uncertain volatility. In our analysis, the notion of ๐บ-martingale which replaces the notion of martingale in classical probability theory plays a major role. One of our aims is to solve sup E๐‘ƒ (๐ท๐‘‡ ๐‘‰๐‘‡ ) , ๐‘ƒโˆˆP

sup E๐‘ƒ (โˆ’๐ท๐‘‡ ๐‘‰๐‘‡ ) ,

(2)

๐‘ƒโˆˆP

where ๐‘‰๐‘‡ denotes the payoff of contingent claims at maturity ๐‘‡ and ๐ท๐‘‡ is a discounting. P presents a series of different probability measures. The stochastic environment can bring about a set of probability measures that are not equivalent but even mutually singular. To illustrate this, let ๐ต be a Brownian motion under a measure ๐‘ƒ and think about the processes ๐‘†๐œŽ fl (๐œŽ๐ต๐‘ก ) and ๐‘†๐œŽ fl (๐œŽ๐ต๐‘ก ). Using ๐‘ƒ๐œŽ = ๐‘ƒ โˆ˜ (๐‘†๐œŽ )โˆ’1 and ๐‘ƒ๐œŽ = ๐‘ƒ โˆ˜ (๐‘†๐œŽ )โˆ’1 , we describe the distributions over continuous trajectories which are induced by the two processes. These measures describe two possible hypotheses of real probability measure which drives the volatility uncertainty by (1). Therefore, we have ๐‘ƒ๐œŽ ({โŸจ๐ตโŸฉ๐‘‡ = ๐œŽ2 ๐‘‡}) = 1 = ๐‘ƒ๐œŽ ({โŸจ๐ตโŸฉ๐‘‡ = ๐œŽ2 ๐‘‡}) ,

(3)

where both priors are mutually singular. The definition of trading strategy and portfolio process is applied to obtain the wealth equation. Defining the concept of no-arbitrage in financial markets and the hedging classes, we gain the interval of no-arbitrage price for general European contingent claims. Finally, the connection of the lower and upper arbitrage prices is presented. In such an ambiguous financial market, our subject is to analyze the European contingent claim concerning pricing and hedging. The asset pricing is extended to the financial markets with volatility uncertainty. The notion of no-arbitrage plays an important role in our analysis. Owing to the fact that the volatility uncertainty leads to additional source of risk, the classical definition of arbitrage will no longer be adequate. For this reason, a new arbitrage definition is presented to adjust our multiple priors model with mutually singular priors which are shown in (3). In this modified sense, we confirm that our volatility uncertain financial markets do not admit any arbitrage opportunity. Utilizing the notion of no-arbitrage, we have obtained several results, which provide us with a better economic understanding of financial markets under volatility uncertainty. For general contingent claims, we determine an interval of no-arbitrage prices. The bounds of this interval are the upper and lower arbitrage prices Vup and Vlow , which

are obtained as the expected value of the claimโ€™s discounted payoff with respect to ๐บ-expectation (see (2)). They specify the lowest initial capital. We use the capital to hedge a short position in the claim or long position, respectively. Generally speaking, because ๐ธ๐บ is a sublinear expectation, we have Vlow =ฬธ Vup . This verifies the marketโ€™s incompleteness. In a few words, no arbitrage will be generated when price is in the interval (Vlow , Vup ) for a European contingent claim. In Section 4, when the contingent claimโ€™s payoff is only determined by the current stock price, we deduce a more clear structure about the upper and lower arbitrage prices by a partial differential equation (PDE for short). We derive an explicit representation for the corresponding supper-hedging strategies and consumption plans. Given the special situation when the payoff function shows convexity (concavity), the upper arbitrage price solves the classical Black-Scholes PDE with a volatility equal to ๐œŽ(๐œŽ), and vice versa concerning the lower arbitrage price. The novelties of this paper are that the volatility of ๐‘† in our model is a variable which is related to ๐‘ก. This is different from works of Vorbrink [8] in which the volatility of ๐‘† is a constant. We employ the ๐บ-framework including ๐บ-expectation, ๐บBrownian motion, and the concept of arbitrage to study the financial markets with volatility uncertainty; we gain the interval of no arbitrage, which is different from that in Denis and Martini [12]. This paper is organized as follows. Section 2 introduces the financial markets. We focus on and extend the terminology from mathematical finance. Section 3 applies a series of definitions and lemmas to derive the interval of no arbitrage. Section 4 restricts us to the Markovian case and derives results which are analogy to those in Avellaneda et al. [13] or Vorbrink [8]. Conclusions are given in Section 5.

2. The Market Model and the Mathematical Setting 2.1. ๐บ-Brownian Motion and the Multiple Priors Setting. In the whole paper, the one-dimensional case is considered and we fix an interval [๐œŽ, ๐œŽ] with ๐œŽ > 0. This interval describes the volatility uncertainty. ๐œŽ and ๐œŽ denote a lower and upper bound for volatility, respectively. Definition 1 (see [9]). Let ฮฉ =ฬธ 0 be a given set. Let H be a linear space of real valued functions defined on ฮฉ with ๐‘ โˆˆ H for all constants ๐‘, and |๐‘‹| โˆˆ H if ๐‘‹ โˆˆ H. (H is considered as the space of random variables.) A sublinear expectation ๐ธฬ‚ on H is a functional ๐ธฬ‚ : H โ†’ R satisfying the following properties: for any ๐‘‹, ๐‘Œ โˆˆ H, it has ฬ‚ ฬ‚ (1) Monotonicity: if ๐‘‹ โฉพ ๐‘Œ then ๐ธ(๐‘‹) โฉพ ๐ธ(๐‘Œ). ฬ‚ = ๐‘. (2) Constant preserving: ๐ธ(๐‘) ฬ‚ + ๐‘Œ) โฉฝ ๐ธ(๐‘‹) ฬ‚ ฬ‚ (3) Subadditivity: ๐ธ(๐‘‹ + ๐ธ(๐‘Œ). ฬ‚ ฬ‚ (4) Positive homogeneity: ๐ธ(๐œ‡๐‘‹) = ๐œ‡๐ธ(๐‘‹) โˆ€๐œ‡ โฉพ 0. ฬ‚ is called a sublinear expectation space. The triple (ฮฉ, H, ๐ธ)

Mathematical Problems in Engineering

3

Definition 2 (see [10] (๐บ-normal distribution)). In a sublinear ฬ‚ a random variable ๐‘‹ is called expectation space (ฮฉ, H, ๐ธ), (centralized) ๐บ-normal distributed if for any ๐‘Ž, ๐‘ โฉพ 0 ๐‘Ž๐‘‹ + ๐‘๐‘‹ โˆผ โˆš๐‘Ž2 + ๐‘2 ๐‘‹,

(4)

where ๐‘‹ is an independent copy of ๐‘‹. Here the letter ๐บ denotes the function 1 (5) ๐บ (๐‘Ž) fl ๐ธฬ‚ (๐‘Ž๐‘‹2 ) : R ๓ณจ€โ†’ R. 2 Note that ๐‘‹ has no mean-uncertainty; that is, it has ฬ‚ ฬ‚ ๐ธ(๐‘‹) = ๐ธ(โˆ’๐‘‹) = 0. Moreover, the following important identity holds:

A ๐บ-Brownian motion is firstly constructed in ๐ฟ ๐‘–๐‘ (ฮฉ๐‘‡ ). For this purpose, let (๐œ‰๐‘– )๐‘–โˆˆN be a sequence of random variables ฬƒ ๐ธ) ฬƒ H, ฬƒ such that ๐œ‰๐‘– is ๐บin a sublinear expectation space (ฮฉ, normal distributed and ๐œ‰๐‘–+1 is independent of (๐œ‰1 , . . . , ๐œ‰๐‘– ) for each integer ๐‘– โฉพ 1. Then a sublinear expectation in ๐ฟ ๐‘–๐‘ (ฮฉ๐‘‡ ) is constructed by the following procedure: for each ๐‘‹ โˆˆ ๐ฟ ๐‘–๐‘ (ฮฉ๐‘‡ ) with ๐‘‹ = ๐œ‘(๐ต๐‘ก1 โˆ’ ๐ต๐‘ก0 , ๐ต๐‘ก2 โˆ’ ๐ต๐‘ก1 , . . . , ๐ต๐‘ก๐‘› โˆ’ ๐ต๐‘ก๐‘›โˆ’1 ) for some ๐œ‘ โˆˆ ๐ถ๐‘™,๐ฟ๐‘–๐‘ (R๐‘› ), 0 โฉฝ ๐‘ก0 < ๐‘ก1 < โ‹… โ‹… โ‹… < ๐‘ก๐‘› โฉฝ ๐‘‡, set ๐ธ๐บ [๐œ‘ (๐ต๐‘ก1 โˆ’ ๐ต๐‘ก0 , ๐ต๐‘ก2 โˆ’ ๐ต๐‘ก1 , . . . , ๐ต๐‘ก๐‘› โˆ’ ๐ต๐‘ก๐‘›โˆ’1 )] fl ๐ธฬƒ [๐œ‘ (โˆš๐‘ก1 โˆ’ ๐‘ก0 ๐œ‰1 , โˆš๐‘ก2 โˆ’ ๐‘ก1 ๐œ‰2 , . . . , โˆš๐‘ก๐‘› โˆ’ ๐‘ก๐‘›โˆ’1 ๐œ‰๐‘› )] .

(9)

1 1 (6) ๐บ (๐‘Ž) = ๐œŽ2 ๐‘Ž+ โˆ’ ๐œŽ2 ๐‘Žโˆ’ 2 2 2 ฬ‚ ฬ‚ 2 ). We write that ๐‘‹ is ) and ๐œŽ2 fl ๐ธ(๐‘‹ with ๐œŽ2 fl โˆ’๐ธ(โˆ’๐‘‹ 2 2 ๐‘({0}ร—[๐œŽ , ๐œŽ ]) distributed. Therefore, we say that ๐บ-normal distribution is characterized by the parameters 0 < ๐œŽ โฉฝ ๐œŽ.

The related conditional expectation of ๐‘‹ โˆˆ ๐ฟ ๐‘–๐‘ (ฮฉ๐‘‡ ) as above under ฮฉ๐‘ก๐‘– , ๐‘– โˆˆ N, is defined by

Remark 3 (see [10]). The random variable ๐‘‹ which is defined in (4) is generated by the following parabolic PDE defined in [0, ๐‘‡] ร— R. ฬ‚ + โˆš๐‘ก๐‘‹)]; then ๐‘ข For any ๐ถ๐‘™,๐ฟ๐‘–๐‘ (R), define ๐‘ข(๐‘ก, ๐‘ฅ) fl ๐ธ[๐œ‘(๐‘ฅ is the unique (viscosity) solution of

ฬƒ where ๐œ“(๐‘ฅ1 , . . . , ๐‘ฅ๐‘– ) fl ๐ธ[๐œ‘(๐‘ฅ 1 , . . . , ๐‘ฅ๐‘– , โˆš๐‘ก๐‘–+1 โˆ’ ๐‘ก๐‘– ๐œ‰๐‘–+1 , . . . , โˆš๐‘ก๐‘› โˆ’ ๐‘ก๐‘›โˆ’1 ๐œ‰๐‘› )]. One checks that ๐ธ๐บ consistently defines a sublinear expectation in ๐ฟ ๐‘–๐‘ (ฮฉ๐‘‡ ) and the canonical process ๐ต represents a ๐บ-Brownian motion. Let ฮ˜ fl [๐œŽ, ๐œŽ] and Aฮ˜ 0,๐‘‡ be the collection of all ฮ˜-valued (F๐‘ก )-adapted processes on [0, ๐‘‡]. We write

๐œ•๐‘ก ๐‘ข โˆ’ ๐บ (๐œ•๐‘ฅ๐‘ฅ ๐‘ข) = 0,

๐‘ข|๐‘ก=0 = ๐œ‘.

(7)

๐ธ๐บ [๐œ‘ (๐ต๐‘ก1 โˆ’ ๐ต๐‘ก0 , ๐ต๐‘ก2 โˆ’ ๐ต๐‘ก1 , . . . , ๐ต๐‘ก๐‘› โˆ’ ๐ต๐‘ก๐‘›โˆ’1 ) | ฮฉ๐‘ก๐‘– ] fl ๐œ“ (๐ต๐‘ก1 โˆ’ ๐ต๐‘ก0 , . . . , ๐ต๐‘ก๐‘– โˆ’ ๐ต๐‘ก๐‘–โˆ’1 ) ,

Equation (7) is called a ๐บ-equation.

๐‘ก

Definition 4 (see [10] (๐บ-Brownian motion)). A process ฬ‚ is called a (๐ต๐‘ก )๐‘กโฉพ0 in a sublinear expectation space (ฮฉ, H, ๐ธ) ๐บ-Brownian motion if the following properties are satisfied: (i) ๐ต0 = 0. (ii) For each ๐‘ก, ๐‘  โฉพ 0 the increment ๐ต๐‘ก+๐‘  โˆ’ ๐ต๐‘ก is ๐‘({0} ร— [๐œŽ2 ๐‘ , ๐œŽ2 ๐‘ ]) distributed and independent from (๐ต๐‘ก1 , ๐ต๐‘ก2 , . . . , ๐ต๐‘ก๐‘› ) for each ๐‘› โˆˆ N, 0 โฉฝ ๐‘ก1 โฉฝ โ‹… โ‹… โ‹… ๐‘ก๐‘› โฉฝ ๐‘ก. Condition (ii) can be replaced by the following three conditions giving a characterization of ๐บ-Brownian motion: ฬ‚ ๐‘ก |3 )/๐‘ก โ†’ 0 (i) For each ๐‘ก, ๐‘  โฉพ 0 : ๐ต๐‘ก+๐‘  โˆ’ ๐ต๐‘ก โˆผ ๐ต๐‘ก and ๐ธ(|๐ต as ๐‘ก โ†’ 0. (ii) The increment ๐ต๐‘ก+๐‘  โˆ’ ๐ต๐‘ก is independent from (๐ต๐‘ก1 , ๐ต๐‘ก2 , . . . , ๐ต๐‘ก๐‘› ) for each ๐‘› โˆˆ N, 0 โฉฝ ๐‘ก1 โฉฝ โ‹… โ‹… โ‹… ๐‘ก๐‘› โฉฝ ๐‘ก.

๐ต๐‘ก0,๐œŽ fl โˆซ ๐œŽ๐‘  ๐‘‘๐ต๐‘  , โ‹…

and ๐‘ƒ๐œŽ as the law of ๐ต0,๐œŽ = โˆซ0 ๐œŽ๐‘  ๐‘‘๐ต๐‘  ; that is, ๐‘ƒ๐œŽ = ๐‘ƒ0 โˆ˜ (๐ต0,๐œŽ )โˆ’1 is distribution over trajectories. Let the set of multiple priors P be the closure of {๐‘ƒ๐œŽ | ๐œŽ โˆˆ Aฮ˜ 0,๐‘‡ } under the topology of weak convergence. Theorem 5 (see [8]). For any ๐œ‘ โˆˆ ๐ถ๐‘™,๐ฟ๐‘–๐‘ (R๐‘› ), ๐‘› โˆˆ N, 0 โฉฝ ๐‘ก1 โฉฝ โ‹… โ‹… โ‹… โฉฝ ๐‘ก๐‘› โฉฝ ๐‘‡, it holds that ๐ธ๐บ [๐œ‘ (๐ต๐‘ก1 , . . . , ๐ต๐‘ก๐‘› โˆ’ ๐ต๐‘ก๐‘›โˆ’1 )] ๐‘ก

,๐œƒ

, . . . , ๐ต๐‘ก๐‘›๐‘›โˆ’1 )] = sup E๐‘ƒ [๐œ‘ (๐ต๐‘ก0,๐œƒ 1 ๐œƒโˆˆAฮ˜ 0,๐‘‡

๐œƒ

= sup ๐ธ๐‘ƒ [๐œ‘ (๐ต๐‘ก1 , . . . , ๐ต๐‘ก๐‘› โˆ’ ๐ต๐‘ก๐‘›โˆ’1 )]

(12)

๐œƒโˆˆAฮ˜ 0,๐‘‡

For each ๐‘ก0 > 0, it has that (๐ต๐‘ก+๐‘ก0 โˆ’ ๐ต๐‘ก0 )๐‘กโฉพ0 is a ๐บ-Brownian motion. Let us briefly depict the construction of ๐บ-expectation and its corresponding ๐บ-Brownian motion. As in the previous sections, we fix a time horizon ๐‘‡ > 0 and set ฮฉ๐‘‡ = ๐ถ0 ([0, ๐‘‡], R)-the space of all real valued continuous paths starting at zero. Considering the canonical process ๐ต๐‘ก (๐œ”) fl ๐œ”๐‘ก , ๐‘ก โฉฝ ๐‘‡, ๐œ” โˆˆ ฮฉ, we define

โˆˆ [0, ๐‘‡] , ๐œ‘ โˆˆ ๐ถ๐‘™,๐ฟ๐‘–๐‘ (R๐‘› )} .

(11)

0

ฬ‚ ๐‘ก ) = โˆ’๐ธ(โˆ’๐ต ฬ‚ (iii) ๐ธ(๐ต ๐‘ก ) = 0, โˆ€๐‘ก โฉพ 0.

๐ฟ ๐‘–๐‘ (ฮฉ๐‘‡ ) fl {๐œ‘ (๐ต๐‘ก1 , . . . , ๐ต๐‘ก๐‘› ) | ๐‘› โˆˆ N, ๐‘ก1 , . . . , ๐‘ก๐‘›

(10)

(8)

๐œƒ

= sup ๐ธ๐‘ƒ [๐œ‘ (๐ต๐‘ก1 , . . . , ๐ต๐‘ก๐‘› โˆ’ ๐ต๐‘ก๐‘›โˆ’1 )] . ๐‘ƒ๐œƒ โˆˆP

Furthermore, ๐ธ๐บ (๐‘‹) = sup E๐‘ƒ (๐‘‹) , โˆ€๐‘‹ โˆˆ ๐ฟ1๐บ (ฮฉ๐‘‡ ) . ๐‘ƒ๐œƒ โˆˆP

(13)

We use the set of priors P to define the ๐บ-expectation ๐ธ๐บ. It is given by ๐ธ๐บ (๐‘‹) = sup E๐‘ƒ (๐‘‹) , ๐‘ƒโˆˆP

(14)

4

Mathematical Problems in Engineering

where ๐‘‹ is any random variable. So the ๐บ-expectation can be defined. Relative to the ๐บ-expectation, the space of random variable is denoted by ๐ฟ1๐บ(ฮฉ๐‘‡ ). In this paper, we consider the tuple as (ฮฉ๐‘‡ , F, (F๐‘ก ), P) and the canonical process ๐ต = (๐ต๐‘ก ) is a ๐บ-expectation motion with respect to P as given in the previous. The ๐บ-framework enables the analysis of stochastic processes for all priors of P. The terminology of โ€œ๐‘ž๐‘ข๐‘Ž๐‘ ๐‘–-๐‘ ๐‘ข๐‘Ÿ๐‘’๐‘™๐‘ฆโ€ (q.s.) is proved to be very useful. Unless there are special instructions, all equations should also be understood as โ€œquasi-sure.โ€ This means a property almost surely for all conceivable scenarios. As mentioned in the preceding, ๐บ-expectation can be ๐‘ defined in the space ๐ฟ ๐บ(ฮฉ๐‘‡ ), ๐‘ โฉพ 1. It is the completion of C๐‘ (ฮฉ๐‘‡ ), the set of bounded continuous functions on ฮฉ๐‘‡ under the norm โ€–๐œ‰โ€– fl (๐ธ๐บ[|๐œ‰|2 ])1/2 < โˆž. Because the stochastic integrals are required to define trading strategies in the next sections, we briefly introduce the basic concepts about stochastic calculus and the construction of Itห†o integral with respect to ๐บ-Brownian motion. ๐‘,0

For ๐‘ โฉพ 1, let ๐‘€๐บ (0, ๐‘‡) be the collection of simple processes ๐œ‚ of the following form: for a given partition [0, ๐‘‡], {๐‘ก0 , ๐‘ก1 , . . . , ๐‘ก๐‘}, ๐‘ โˆˆ N, for any ๐‘ก โˆˆ [0, ๐‘‡] the process ๐œ‚ is defined by ๐‘โˆ’1

๐œ‚๐‘ก (๐œ”) fl โˆ‘ ๐œ‰๐‘– (๐œ”) 1[๐‘ก๐‘— ,๐‘ก๐‘—+1 ) (๐‘ก) ,

(15)

๐‘—=0

๐‘

where ๐œ‰๐‘– (๐œ”) โˆˆ ๐ฟ ๐บ(ฮฉ๐‘ก๐‘– ), ๐‘– = 0, 1, . . . , ๐‘ โˆ’ 1. For each ๐œ‚ โˆˆ ๐‘,0 ๐‘€๐บ (0, ๐‘‡), let 1/๐‘

๐‘‡

๓ต„ฉ๓ต„ฉ ๓ต„ฉ๓ต„ฉ ๐‘ ๓ต„จ ๓ต„จ๐‘ ๓ต„ฉ๓ต„ฉ๐œ‚๓ต„ฉ๓ต„ฉ๐‘€ fl (๐ธ๐บ โˆซ ๓ต„จ๓ต„จ๓ต„จ๐œ‚๐‘  ๓ต„จ๓ต„จ๓ต„จ ๐‘‘๐‘ ) ๐บ 0 ๐‘,0

.

(16) ๐‘,0

We denote by ๐‘€๐บ (0, ๐‘‡) the completion of ๐‘€๐บ (0, ๐‘‡) under the norm โ€– โ‹… โ€–๐‘€๐‘ . ๐บ

Definition 6 (see [14]). For ๐œ‚ โˆˆ ๐‘€๐บ2,0 (0, ๐‘‡) with the presentation in (15), the integral mapping is defined by ๐ผ : ๐‘€๐บ2,0 (0, ๐‘‡) โ†’ ๐ฟ2๐บ(ฮฉ๐‘‡ ) and ๐‘‡

๐‘โˆ’1

0

๐‘—=0

๐ผ (๐œ‚) = โˆซ ๐œ‚ (๐‘ ) ๐‘‘๐ต๐‘  fl โˆ‘ ๐œ‰๐‘– (๐ต๐‘ก๐‘—+1 โˆ’ ๐ต๐‘ก๐‘— ) .

(17)

We consider the quadratic variation process (โŸจ๐ตโŸฉ๐‘ก ) of ๐บBrownian motion. It has ๐‘ก

โŸจ๐ตโŸฉ๐‘ก = ๐ต๐‘ก2 โˆ’ 2 โˆซ ๐ต๐‘  ๐‘‘๐ต๐‘  , โˆ€๐‘ก โฉฝ ๐‘‡. 0

(18)

It is a continuous, increasing process, absolutely continuous with respect to ๐‘‘๐‘ก. It contains all the statistical uncertainty of the ๐บ-Brownian motion. For ๐‘ , ๐‘ก โฉพ 0 we have โŸจ๐ตโŸฉs+๐‘ก โˆ’ โŸจ๐ตโŸฉ๐‘  โˆผ โŸจ๐ตโŸฉ๐‘ก and it is independent of ฮฉ๐‘  .

Definition 7 (see [9]). Let ๐‘ฅ โˆˆ R, ๐‘ง โˆˆ ๐‘€๐บ2 (0, ๐‘‡) and ๐œ‚ โˆˆ ๐‘€๐บ1 (0, ๐‘‡). Then the process ๐‘ก

๐‘ก

๐‘ก

0

0

0

๐‘€๐‘ก fl ๐‘ฅ + โˆซ ๐‘ง๐‘  ๐‘‘๐ต๐‘  + โˆซ ๐œ‚๐‘  ๐‘‘ โŸจ๐ตโŸฉ๐‘  โˆ’ โˆซ 2๐บ (๐œ‚๐‘  ) ๐‘‘๐‘ ,

(19)

๐‘ก โฉฝ ๐‘‡, is a ๐บ-martingale. ๐‘ก

๐‘ก

Specially, the nonsymmetric part โˆ’๐พ๐‘ก fl โˆซ0 ๐œ‚๐‘  ๐‘‘โŸจ๐ตโŸฉ๐‘  โˆ’

โˆซ0 2๐บ(๐œ‚๐‘  )๐‘‘๐‘ , ๐‘ก โˆˆ [0, ๐‘‡], is a ๐บ-martingale, which is quite a surprising result because (โˆ’๐พ๐‘ก ) is continuous, nonincreasing with quadratic variation equal to zero. Remark 8 (see [15]). ๐‘€ is a symmetric ๐บ-martingale if and only if ๐พ โ‰ก 0. Theorem 9 (see [15] (martingale representation)). Let ๐›ผ โฉพ 0 and ๐œ‰ โˆˆ ๐ฟ๐›ผ๐บ(ฮฉ๐‘‡ ). Then the ๐บ-martingale ๐‘‹ with ๐‘‹๐‘ก fl ๐ธ๐บ(๐œ‰ | F๐‘ก ), ๐‘ก โˆˆ [0, ๐‘‡], has the following unique representation: ๐‘ก

๐‘‹๐‘ก = ๐‘‹0 + โˆซ ๐‘ง๐‘  ๐‘‘๐ต๐‘  โˆ’ ๐พ๐‘ก , 0

(20)

where ๐พ is a continuous, increasing process with ๐พ0 = 0, ๐พ๐‘‡ โˆˆ ๐›ฝ ๐›ฝ ๐ฟ ๐บ(ฮฉ๐‘‡ ), ๐‘ง โˆˆ ๐ป๐บ(0, ๐‘‡), โˆ€๐›ฝ โˆˆ [1, ๐›ผ), and โˆ’๐พ a ๐บ-martingale. If ๐›ผ = 2 and ๐œ‰ bounded from above, ๐‘ง โˆˆ ๐‘€๐บ2 (0, ๐‘‡) and ๐พ๐‘‡ โˆˆ ๐ฟ2๐บ(ฮฉ๐‘‡ ) (see [14]). A construction of the stochastic integral for the domain ๐‘ ๐ป๐บ(0, ๐‘‡), ๐‘ โฉพ 1 is established by Song [15]. Although the structure of these spaces is similar as before, the norm for completion is different and the random variables ๐œ‰๐‘– (๐œ”) in ๐‘ (15) are elements of a subset of ๐ฟ ๐บ(ฮฉ๐‘ก๐‘– ). We will also use 1 the domain ๐ป๐บ(0, ๐‘‡) which is necessary for the martingale representation in the ๐บ-framework (see Theorem 9). For ๐‘ = 2, both domains coincide (see Song [15]). As a consequence, we can define the stochastic integral since ๐‘€๐บ2 (0, ๐‘‡) is contained in ๐ป๐บ1 (0, ๐‘‡). In financial fields, more trading strategies will be feasible. 2.2. The Financial Market Model. We consider the following financial market M which includes a risk-free asset and a single risky asset and two assets are traded continuously over [0, ๐‘‡]. Assume that the risk-free asset is a bond and its interest rate is ๐‘Ÿ. So the discount process ๐ท๐‘ก can be defined to satisfy the following formula: ๐‘‘๐ท๐‘ก = โˆ’๐‘Ÿ๐ท๐‘ก ๐‘‘๐‘ก,

๐ท0 = 1,

(21)

where constant ๐‘Ÿ โฉพ 0 is the interest rate of the riskless bond as in the classical theory. Assume that the risky asset is a stock with price ๐‘†๐‘ก at time ๐‘ก, whose price process ๐‘†๐‘ก is given by the following equation: ๐‘‘๐‘†๐‘ก = ๐‘Ÿ๐‘†๐‘ก ๐‘‘๐‘ก + ]๐‘ก ๐‘†๐‘ก ๐‘‘๐ต๐‘ก , ๐‘†0 = ๐‘ฅ0 > 0,

(22)

where ๐ต = (๐ต๐‘ก ) denotes the canonical process which is a ๐บ-Brownian motion under ๐ธ๐บ or P, respectively, with parameters ๐œŽ > ๐œŽ > 0.

Mathematical Problems in Engineering

5

Since ๐ต = (๐ต๐‘ก ) is a ๐บ-Brownian motion, the volatility of ๐‘† is related to ๐‘ก which is different from that of Vorbrink [8], where the volatility of stock price is a constant 1. Consequently, the stock price evolution involves not only risk modeled by the noise part but also ambiguity about the risk due to the unknown deviation of the process ๐ต from its mean. According to financial fields, this ambiguity is called volatility uncertainty. Compared with the classical stock price process, (22) does not contain any volatility parameter ๐œŽ. This is due to the characteristics of the ๐บ-Brownian motion ๐ต. Apparently, if we choose ๐œŽ = ๐œŽ = ๐œŽ, then we will be in the classical BlackScholes model. Remark 10. Take notice of the discounted stock price process (๐ท๐‘ก ๐‘†๐‘ก ) which is a symmetric ๐บ-martingale relative to the corresponding ๐บ-expectation ๐ธ๐บ. As everyone knows, both the pricing and hedging of contingent claims are treated under a risk-neutral measure. This leads to a favorable situation in which the discounted stock price process is a (local) martingale [16]. In our ambiguous setting, this is also allowed. In order to model (๐ท๐‘ก ๐‘†๐‘ก ) as a symmetric ๐บmartingale (see Definition 7), we do not need to change the sublinear expectation. A symmetric ๐บ-martingale is required to make sure that the stock is the same for all participants, whether they sell or buy. Definition 11 (see [17]). In the market M, a trading strategy is an (F๐‘ก )-adapted vector process (๐›ผ, ๐›ฝ) = (๐›ผ๐‘ก , ๐›ฝ๐‘ก ), ๐›ฝ a member of ๐ป๐บ1 (0, ๐‘‡) such that (๐›ฝ๐‘ก ๐‘†๐‘ก ) โˆˆ ๐ป๐บ1 (0, ๐‘‡), and ๐›ผ๐‘ก โˆˆ R for all ๐‘ก โฉฝ ๐‘‡. A cumulative consumption process {๐ถ = (๐ถ๐‘ก ), 0 โฉฝ ๐‘ก โฉฝ ๐‘‡} is a nonnegative (F๐‘ก )-adapted process with values in ๐ฟ1๐บ(ฮฉ๐‘‡ ), and with increasing, right-continuous, and ๐ถ0 = 0, ๐ถ๐‘‡ < โˆž q.s. A basic assumption in the market M is that the stock price process ๐‘†๐‘ก defined by (22) is an element of ๐‘€๐บ2 (0, ๐‘‡) = ๐ป๐บ2 (0, ๐‘‡). We impose the so-called self-financing condition. In other words, consumption and trading in M satisfy

Remark 12 (see [17]). A portfolio process ๐œ‹ represents proportions of a wealth ๐‘‹ which is invested in the stock. If we define ๐›ฝ๐‘ก fl

๐‘‹๐‘ก ๐œ‹๐‘ก , ๐‘†๐‘ก (24)

๐›ผ๐‘ก fl ๐‘‹๐‘ก ๐ท๐‘ก (1 โˆ’ ๐œ‹๐‘ก ) , โˆ€๐‘ก โฉฝ ๐‘‡,

then we have ๐‘‹๐‘ก = ๐ป๐‘ก . As long as ๐œ‹ constitutes a portfolio process with corresponding wealth process ๐‘‹, the (๐›ผ, ๐›ฝ) is a trading strategy in the sense of (23). Definition 13 (see [8]). A portfolio process is an (F๐‘ก )-adapted real valued process if ๐œ‹ = ๐œ‹๐‘ก with values in ๐ฟ1๐บ(ฮฉ๐‘‡ ). Definition 14. For a given initial capital ๐‘š, a portfolio process ๐œ‹, and a cumulative consumption process ๐ถ, consider the wealth equation ๐‘‘๐‘‹๐‘ก = ๐‘‹๐‘ก (1 โˆ’ ๐œ‹๐‘ก ) ๐ท๐‘ก ๐‘‘๐ท๐‘กโˆ’1 + ๐‘‹๐‘ก ๐œ‹๐‘ก

๐‘‘๐‘†๐‘ก โˆ’ ๐‘‘๐ถ๐‘ก ๐‘†๐‘ก

(25)

= ๐‘‹๐‘ก ๐‘Ÿ๐‘‘๐‘ก + ๐‘‹๐‘ก ๐œ‹๐‘ก ]๐‘ก ๐‘‘๐ต๐‘ก โˆ’ ๐‘‘๐ถ๐‘ก with initial wealth ๐‘‹0 = ๐‘š. Or equivalently, ๐‘ก

๐‘ก

0

0

๐ท๐‘ก ๐‘‹๐‘ก = ๐‘š โˆ’ โˆซ ๐ท๐‘ข ๐‘‘๐ถ๐‘ข + โˆซ ๐ท๐‘ข ๐‘‹๐‘ข ๐œ‹๐‘ข ]๐‘ข ๐‘‘๐ต๐‘ข ,

(26) โˆ€๐‘ก โฉฝ ๐‘‡.

If this equation has a unique solution ๐‘‹ = (๐‘‹๐‘ก ) fl ๐‘‹๐‘š,๐œ‹,๐ถ, then it is called the wealth process corresponding to the triple (๐‘š, ๐œ‹, ๐ถ). In the setup of Definition 14, notice that the ๐‘‡ โˆซ0 ๐‘‹๐‘ก 2 ๐œ‹๐‘ก 2 ]๐‘ก 2 ๐‘‘๐‘ก < โˆž must hold quasi-surely. Thus, we ๐‘ need to impose requirements (๐œ‹๐‘ก ๐‘‹๐‘ก ]๐‘ก ) โˆˆ ๐ป๐บ(0, ๐‘‡) ๐‘ โฉพ 1, or ๐‘ (๐œ‹๐‘ก ๐‘‹๐‘ก ]๐‘ก ) โˆˆ ๐‘€๐บ(0, ๐‘‡), ๐‘ โฉพ 2. Definition 15. A portfolio/consumption process pair (๐œ‹, ๐ถ) is called admissible for an initial capital ๐‘š โˆˆ R if

๐ป๐‘ก fl ๐ท๐‘กโˆ’1 ๐›ผ๐‘ก + ๐›ฝ๐‘ก ๐‘†๐‘ก ๐‘ก

๐‘ก

0

0

= ๐›ผ0 ๐ท0โˆ’1 + ๐›ฝ0 ๐‘†0 + โˆซ ๐›ผ๐‘ข ๐‘‘๐ท๐‘ขโˆ’1 + โˆซ ๐›ฝ๐‘ข ๐‘‘๐‘†๐‘ข โˆ’ ๐ถ๐‘ก ,

(23)

โˆ€๐‘ก โฉฝ ๐‘‡ q.s., where ๐ป๐‘ก denotes the value of the trading strategy at time ๐‘ก. The meaning of (23) is that, starting with an initial amount ๐ท0โˆ’1 ๐›ผ0 +๐›ฝ0 ๐‘†0 of wealth, all changes in wealth are due to capital gains (appreciation of stocks and interest from the bond), minus the amount consumed. The q.s. means quasi-surely, which is the same as before. For economic and mathematical considerations, it is more appropriate to introduce wealth and a portfolio process which presents the proportions of wealth invested in the risky stock.

(i) the pair obeys the conditions of Definitions 11, 13, and 14, (ii) (๐œ‹๐‘ก ๐‘‹๐‘ก๐‘š,๐œ‹,๐ถ]๐‘ก ) โˆˆ ๐ป๐บ1 (0, ๐‘‡), (iii) the solution ๐‘‹๐‘ก๐‘š,๐œ‹,๐ถ satisfies ๐‘‹๐‘ก๐‘š,๐œ‹,๐ถ โฉพ โˆ’๐ฝ,

โˆ€๐‘ก โฉฝ ๐‘‡, q.s.,

(27)

where ๐ฝ is a nonnegative random variable in ๐ฟ2๐บ(ฮฉ๐‘‡ ). We then have (๐œ‹, ๐ถ) โˆˆ A(๐‘š). In the above Definitions 11 and 13โ€“15, it is necessary to guarantee that the financial fields and related stochastic analysis can be well defined. In particular, condition (ii) of Definition 15 makes sure that the mathematical framework does not collapse by allowing for many portfolio processes.

6

Mathematical Problems in Engineering

3. Arbitrage and Contingent Claims Definition 16 (see [8] (arbitrage in M)). We say that there is an arbitrage opportunity in M if there exist an initial wealth ๐‘š โฉฝ 0 and an admissible pair (๐œ‹, ๐ถ) โˆˆ A(๐‘š) with ๐ถ โ‰ก 0 such that, at some time ๐‘‡ > 0, ๐‘‹๐‘‡๐‘š,๐œ‹,0 โฉพ 0 q.s., ๐‘ƒ (๐‘‹๐‘‡๐‘š,๐œ‹,0 > 0) > 0 for at least one ๐‘ƒ โˆˆ P.

(28)

Lemma 17 (no arbitrage). In the financial market M, there does not exist any arbitrage opportunity. Proof. Assume that there exists an arbitrage opportunity; that is to say, there exist ๐‘š โฉฝ 0 and a pair (๐œ‹, ๐ถ) โˆˆ A(๐‘š) with ๐ถ โ‰ก 0 such that ๐‘‹๐‘‡๐‘š,๐œ‹,0 โฉพ 0 quasi-surely for some ๐‘‡ > 0. Then we have ๐ธ๐บ(๐‘‹๐‘‡๐‘š,๐œ‹,0 ) โฉพ 0. By definition of the wealth process, it has 0โฉฝ

๐ธ๐บ (๐ท๐‘‡ ๐‘‹๐‘‡๐‘š,๐œ‹,0 )

โฉฝ ๐‘š + ๐ธ๐บ (โˆซ

๐‘‡

0

๐ท๐‘ก ๐‘‹๐‘ก๐‘š,๐œ‹,0 ๐œ‹๐‘ก ]๐‘ก ๐‘‘๐ต๐‘ก )

= ๐‘š.

(29)

Since the ๐บ-expectation of an integral with respect to ๐บBrownian motion is zero, we have ๐ธ๐บ(๐ท๐‘‡ ๐‘‹๐‘‡๐‘š,๐œ‹,0 ) = 0. This implies ๐ท๐‘‡ ๐‘‹๐‘‡๐‘š,๐œ‹,0 = 0 q.s. Therefore, (๐‘š, ๐œ‹, 0) cannot constitute an arbitrage.

reasons as before, we again require quasi-sure dominance for the wealth at time ๐‘‡ and again with positive probability for only one possible scenario. In the following, we show that there exist no-arbitrage prices for a claim ๐‘‰. Under these prices, there is noarbitrage opportunity. Because the uncertainty caused by the quadratic variation cannot be dispelled, generally speaking, there is no self-financing portfolio strategy which replicates the European claim or a risk-free hedge for the claim in our ambiguous market M. Roughly stated, since there is only one kind of situation where stocks will be traded, the measures induced by the ๐บframework result in marketโ€™s incompleteness. Definition 19 (see [17]). Given a European contingent claim ๐‘‰, the upper hedging class is defined by U fl {๐‘š โฉพ 0 | โˆƒ (๐œ‹, ๐ถ) โˆˆ A (๐‘š) : ๐‘‹๐‘‡๐‘š,๐œ‹,๐ถ โฉพ ๐‘‰๐‘‡ q.s.}

(32)

and the lower hedging class is defined by L fl {๐‘š โฉพ 0 | โˆƒ (๐œ‹, ๐ถ) โˆˆ A (โˆ’๐‘š) : ๐‘‹๐‘‡โˆ’๐‘š,๐œ‹,๐ถ โฉพ โˆ’๐‘‰๐‘‡ q.s.} .

(33)

In addition, the upper arbitrage price is defined by

In the financial market M, we consider a European contingent claim ๐‘‰ and assume that its payoff at maturity time ๐‘‡ is ๐‘‰๐‘‡ . Here, ๐‘‰๐‘‡ represents a nonnegative, F๐‘ก -adapted random variable. Regardless of any time, we impose the assumption ๐‘‰๐‘‡ โˆˆ ๐ฟ2๐บ(ฮฉ๐‘‡ ). The price of the claim at time 0 is denoted by ๐‘‰0 . For the sake of finding reasonable prices for ๐‘‰, we need to utilize the concept of arbitrage. Considering that the financial market (M, ๐‘‰) contains the original market M and the contingent claim ๐‘‰. Similar to the above, an arbitrage opportunity needs to be defined in the financial market (M, ๐‘‰).

Lemma 20 (see [17]). ๐‘š1 โˆˆ L and 0 โฉฝ ๐‘›1 โฉฝ ๐‘š1 implies ๐‘›1 โˆˆ L. Analogously, ๐‘š2 โˆˆ U and ๐‘›2 โฉพ ๐‘š2 implies ๐‘›2 โˆˆ U.

Definition 18 (see [17] (arbitrage in (M, ๐‘‰))). We say that there is an arbitrage opportunity in (M, ๐‘‰) if there exist an initial wealth ๐‘š โฉพ 0 (๐‘š โฉฝ 0, resp.), an admissible pair (๐œ‹, ๐ถ) โˆˆ A(๐‘š), and a constant ๐‘Ž = โˆ’1 (๐‘Ž = 1, resp.), such that

The proof uses the idea that one โ€œjust consumes immediately the difference between the two initial wealthโ€ (see [17] for the complete proof process). For any ๐œŽ โˆˆ [๐œŽ, ๐œŽ], we define the Black-Scholes price of a European contingent claim ๐‘‰ as follows:

๐‘š + ๐‘Ž โ‹… ๐‘‰0 โฉฝ 0

(30)

at time 0, and ๐‘‹๐‘‡๐‘š,๐œ‹,๐ถ + ๐‘Ž โ‹… ๐‘‰๐‘‡ โฉพ 0 q.s., ๐‘ƒ (๐‘‹๐‘‡๐‘š,๐œ‹,๐ถ + ๐‘Ž โ‹… ๐‘‰๐‘‡ > 0) > 0 for at least one ๐‘ƒ โˆˆ P

(31)

at time ๐‘‡. The values ๐‘Ž = ยฑ1 in Definition 18 indicate short or long positions in the claims ๐‘‰, respectively. This definition of arbitrage is standard in the literature [17]. For the same

Vup fl inf {๐‘š | ๐‘š โˆˆ U}

(34)

and the lower arbitrage price is defined by Vlow fl sup {๐‘š | ๐‘š โˆˆ L} .

๐œŽ

๐‘ข0๐œŽ = ๐ธ๐‘ƒ (๐ท๐‘‡ ๐‘‰๐‘‡ ) .

(35)

(36)

Similar to the constrained circumstances [17], we prove the next three lemmas which are related to the European contingent claim ๐‘‰. Lemma 21. For any ๐œŽ โˆˆ [๐œŽ, ๐œŽ], it holds that ๐‘ข0๐œŽ belongs to the interval [V๐‘™๐‘œ๐‘ค , V๐‘ข๐‘ ]. Proof. Let ๐‘š โˆˆ U. From the definition of U, we know that there exists a pair (๐œ‹, ๐ถ) โˆˆ A(๐‘š) such that ๐‘‹๐‘‡๐‘š,๐œ‹,๐ถ โฉพ ๐‘‰๐‘‡

Mathematical Problems in Engineering

7

q.s. Employing the properties of ๐บ-expectation as stated in Definition 1, we obtain for any ๐œŽ โˆˆ [๐œŽ, ๐œŽ] that ๐‘‡

Lemma 23. For any ๐‘‰0 โŠ†ฬธ L โˆช U, there is no arbitrage in the financial market (M, ๐‘‰).

๐‘š = ๐ธ๐บ (๐‘š + โˆซ ๐ท๐‘ก ๐‘‹๐‘ก๐‘š,๐œ‹,๐ถ๐œ‹๐‘ก ]๐‘ก ๐‘‘๐ต๐‘ก ) 0

๐‘‡

๐‘‡

0

0

โฉพ ๐ธ๐บ (๐‘š + โˆซ ๐ท๐‘ก ๐‘‹๐‘ก๐‘š,๐œ‹,๐ถ๐œ‹๐‘ก ]๐‘ก ๐‘‘๐ต๐‘ก โˆ’ โˆซ ๐ท๐‘ก ๐‘‘๐ถ๐‘ก )

(37)

= ๐ธ๐บ (๐ท๐‘‡ ๐‘‹๐‘‡๐‘š,๐œ‹,๐ถ) โฉพ ๐ธ๐บ (๐ท๐‘‡ ๐‘‰๐‘‡ ) = sup E๐‘ƒ (D๐‘‡ ๐‘‰๐‘‡ ) ๐‘ƒโˆˆP

โฉพ ๐‘ข0๐œŽ . Therefore, ๐‘ข0๐œŽ โฉฝ ๐‘š. We know Vup fl inf{๐‘š | ๐‘š โˆˆ U}; hence, ๐‘ข0๐œŽ โฉฝ Vup . Analogously, let ๐‘š โˆˆ L. By definition of L, there exists a pair (๐œ‹, ๐ถ) โˆˆ A(โˆ’๐‘š) such that ๐‘‹๐‘‡โˆ’๐‘š,๐œ‹,๐ถ โฉพ โˆ’๐‘‰๐‘‡ q.s. For the same reason, we obtain for any ๐œŽ โˆˆ [๐œŽ, ๐œŽ] that ๐‘‡

โˆ’๐‘š = ๐ธ๐บ (โˆ’๐‘š + โˆซ

0

๐ท๐‘ก ๐‘‹๐‘กโˆ’๐‘š,๐œ‹,๐ถ๐œ‹๐‘ก ]๐‘ก ๐‘‘๐ต๐‘ก )

๐‘‡

๐‘‡

0

0

โฉพ ๐ธ๐บ (โˆ’๐‘š + โˆซ ๐ท๐‘ก ๐‘‹๐‘กโˆ’๐‘š,๐œ‹,๐ถ๐œ‹๐‘ก ]๐‘ก ๐‘‘๐ต๐‘ก โˆ’ โˆซ ๐ท๐‘ก ๐‘‘๐ถ๐‘ก ) =

๐ธ๐บ (๐ท๐‘‡ ๐‘‹๐‘‡โˆ’๐‘š,๐œ‹,๐ถ)

โฉพ ๐ธ๐บ (โˆ’๐ท๐‘‡ ๐‘‰๐‘‡ )

Lemma 22. For any price ๐‘‰0 > V๐‘ข๐‘ , there exists an arbitrage opportunity. Also for any price ๐‘‰0 < V๐‘™๐‘œ๐‘ค , there exists an arbitrage opportunity. Proof. The idea of proving this lemma comes from [8]. We only consider the case ๐‘‰0 < Vlow since the argument is similar. Assume ๐‘‰0 < Vlow , ๐‘š โฉฝ 0 and let โˆ’๐‘š โˆˆ (๐‘‰0 , Vlow ). By definition of Vlow and Lemma 20, we deduce that โˆ’๐‘š โˆˆ L. Hence, there exists a pair (๐œ‹, ๐ถ) โˆˆ A(โˆ’๐‘š) with โฉพ โˆ’๐‘‰๐‘‡

q.s.,

โˆ’๐‘š โˆ’ ๐‘‰0 > 0.

1 = ๐‘ƒ (๐‘‹๐‘‡โˆ’๐‘š,๐œ‹,๐ถ โฉพ โˆ’๐‘‰๐‘‡ ) โฉฝ

= โˆ’๐‘‰๐‘‡ ) +

๐‘ƒ (๐‘Ž๐‘‹๐‘‡โˆ’๐‘š,๐œ‹,๐ถ

(42)

q.s.

Therefore, ๐‘š โˆˆ L. By Lemma 21, it has ๐‘‰0 โˆˆ L. This contradicts our assumption.

Vup = ๐ธ๐บ (๐ท๐‘‡ ๐‘‰๐‘‡ ) ,

(43)

> โˆ’๐‘‰๐‘‡ ) โฉฝ 1,

(39)

(40)

we deduce ๐‘ƒ (๐‘‹๐‘‡โˆ’๐‘š,๐œ‹,๐ถ = โˆ’๐‘‰๐‘‡ ) + ๐‘ƒ (๐‘Ž๐‘‹๐‘‡โˆ’๐‘š,๐œ‹,๐ถ > โˆ’๐‘‰๐‘‡ ) = 1.

Proof. Firstly, let us begin with the identity Vup = ๐ธ๐บ(๐ท๐‘‡ ๐‘‰๐‘‡ ). As seen in the proof of Lemma 22, for any ๐‘š โˆˆ U we have ๐‘š โฉพ ๐ธ๐บ(๐ท๐‘‡ ๐‘‰๐‘‡ ). Therefore, Vup = inf{๐‘š | ๐‘š โˆˆ U} โฉพ ๐ธ๐บ(๐ท๐‘‡ ๐‘‰๐‘‡ ). To show the opposite inequality we need to define the ๐บmartingale ๐‘€ by ๐‘€๐‘ก fl ๐ธ๐บ (๐ท๐‘‡ ๐‘‰๐‘‡ | F๐‘ก ) ,

โˆ€๐‘ก โฉฝ ๐‘‡.

(41)

Assume ๐‘ƒ(๐‘‹๐‘‡โˆ’๐‘š,๐œ‹,๐ถ = โˆ’๐‘‰๐‘‡ ) = 1 and we deduce ๐‘‹๐‘‡โˆ’๐‘š,๐œ‹,๐ถ = โˆ’๐‘‰๐‘‡ , q.s. This contradicts ๐‘‹๐‘‡โˆ’๐‘š,๐œ‹,๐ถ โฉพ โˆ’๐‘‰๐‘‡ q.s. Hence,

(44)

By the martingale representation theorem [15] (see Theorem 9), we know there exists ๐‘ง โˆˆ ๐ป๐บ1 (0, ๐‘‡) and continuous, increasing processes ๐พ = (๐พ๐‘ก ) with ๐พ๐‘‡ โˆˆ ๐ฟ1๐บ(ฮฉ๐‘‡ ) such that for any ๐‘ก โฉฝ ๐‘‡ ๐‘ก

๐‘€๐‘ก = ๐ธ๐บ (๐ท๐‘‡ ๐‘‰๐‘‡ ) + โˆซ ๐‘ง๐‘  ๐‘‘๐ต๐‘  โˆ’ ๐พ๐‘ก

This implies the existence of arbitrage in the sense of Definition 18. If โˆƒ0 < ๐‘Ž < 1 with โˆ’๐‘Ž๐‘š = ๐‘‰0 , then (๐œ‹, ๐‘Ž๐ถ) โˆˆ A(โˆ’๐‘Ž๐‘š) and ๐‘‹๐‘‡โˆ’๐‘Ž๐‘š,๐œ‹,๐‘Ž๐ถ = ๐‘Ž๐‘‹๐‘‡โˆ’๐‘š,๐œ‹,๐ถ. Let ๐‘ƒ โˆˆ P; without loss of generality, we may assume ๐‘ƒ(๐‘‰๐‘‡ > 0) > 0. Due to

๐‘ƒ (๐‘‹๐‘‡โˆ’๐‘š,๐œ‹,๐ถ

๐‘‹๐‘‡โˆ’๐‘š,๐œ‹,๐ถ โฉพ โˆ’๐‘‰๐‘‡

Vlow = โˆ’๐ธ๐บ (โˆ’๐ท๐‘‡ ๐‘‰๐‘‡ ) .

We know Vlow fl sup{๐‘š | ๐‘š โˆˆ L}; hence,

๐‘‹๐‘‡โˆ’๐‘š,๐œ‹,๐ถ

๐‘š = ๐‘‹0โˆ’๐‘š,๐œ‹,๐ถ โฉฝ โˆ’๐‘‰0 ,

(38)

๐œŽ

Therefore, ๐‘š โฉฝ Vlow โฉฝ ๐‘ข0๐œŽ .

Proof. The idea of proving this lemma also comes from [8]. We prove it by contradiction. Assume ๐‘‰0 โŠ†ฬธ U, ๐‘‰0 โŠ†ฬธ L and that there exists an arbitrage opportunity in (M, ๐‘‰). We suppose that it satisfies Definition 18 for ๐‘Ž = 1. The case ๐‘Ž = โˆ’1 works similarly. By definition of arbitrage, there exists ๐‘š โฉฝ 0, (๐œ‹, ๐ถ)A โˆˆ (โˆ’๐‘š) with

Theorem 24. For the financial market (M, ๐‘‰), the following identities hold:

โฉพ โˆ’๐ธ๐‘ƒ (โˆ’๐ท๐‘‡ ๐‘‰๐‘‡ ) = โˆ’๐‘ข0๐œŽ . ๐‘ข0๐œŽ .

๐‘ƒ(๐‘‹๐‘‡โˆ’๐‘Ž๐‘š,๐œ‹,๐‘Ž๐ถ > โˆ’๐‘‰๐‘‡ ) > 0. Hence, (โˆ’๐‘Ž๐‘š, ๐œ‹, ๐‘Ž๐ถ) constitutes an arbitrage.

q.s.

0

(45)

For any ๐‘ก โฉฝ ๐‘‡, we set ๐‘š = ๐ธ๐บ(๐ท๐‘‡ ๐‘‰๐‘‡ ) โฉพ 0, ๐‘‹๐‘ก ๐œ‹๐‘ก ]๐‘ก = ๐‘ก ๐‘ง๐‘ก ๐ท๐‘กโˆ’1 โˆˆ ๐ป๐บ1 (0, ๐‘‡), and ๐ถ๐‘ก = โˆซ0 ๐ท๐‘ โˆ’1 ๐‘‘๐พ๐‘  โˆˆ ๐ฟ1๐บ(ฮฉ๐‘‡ ). Then the wealth process ๐‘‹๐‘š,๐œ‹,๐ถ satisfies ๐‘ก

๐‘ก

0

0

๐ท๐‘ก ๐‘‹๐‘ก๐‘š,๐œ‹,๐ถ = ๐‘š + โˆซ ๐ท๐‘  ๐‘‹๐‘ ๐‘š,๐œ‹,๐ถ๐œ‹๐‘  ]๐‘  ๐‘‘๐ต๐‘  โˆ’ โˆซ ๐ท๐‘  ๐‘‘๐ถ๐‘ 

(46)

= ๐‘€๐‘ก . The properties of ๐พ and ๐ถ obey the conditions of a cumulative consumption process in the sense of Definition 11. Due to ๐ท๐‘ก ๐‘‹๐‘ก๐‘š,๐œ‹,๐ถ = ๐‘€๐‘ก โฉพ 0, for โˆ€๐‘ก โฉฝ ๐‘‡, the wealth process is bounded from below, where (๐œ‹, ๐ถ) is admissible for ๐‘š. As ๐‘‹๐‘‡๐‘š,๐œ‹,๐ถ = ๐ท๐‘‡โˆ’1 ๐‘€๐‘‡ = ๐‘‰๐‘‡ quasi-surely, we have ๐‘š = ๐ธ๐บ(๐ท๐‘‡ ๐‘‰๐‘‡ ) โˆˆ U. Due to the definition of U, we conclude that Vup โฉฝ ๐ธ๐บ(๐ท๐‘‡ ๐‘‰๐‘‡ ).

8

Mathematical Problems in Engineering

The proof for the second identity is analogous. Again, using the proof of Lemma 22, we obtain ๐‘š โฉฝ โˆ’๐ธ๐บ(โˆ’๐ท๐‘‡ ๐‘‰๐‘‡ ) for any ๐‘š โˆˆ L. Hence, Vlow โฉฝ โˆ’๐ธ๐บ(โˆ’๐ท๐‘‡ ๐‘‰๐‘‡ ). In order to obtain Vlow โฉพ โˆ’๐ธ๐บ(โˆ’๐ท๐‘‡ ๐‘‰๐‘‡ ), we define a ๐บmartingale ๐‘€ by ๐‘€๐‘ก = ๐ธ๐บ (โˆ’๐ท๐‘‡ ๐‘‰๐‘‡ | F๐‘ก ) , โˆ€๐‘ก โฉฝ ๐‘‡.

(47)

The remaining part is almost a copy of the above. By the martingale representation theorem [15], there exist ๐‘ง โˆˆ ๐ป๐บ1 (0, ๐‘‡), and a continuous, increasing process ๐พ = (๐พ๐‘ก ) with ๐พ๐‘‡ โˆˆ ๐ฟ1๐บ(ฮฉ๐‘‡ ) such that, for any ๐‘ก โฉฝ ๐‘‡, ๐‘ก

๐‘€๐‘ก = ๐ธ๐บ (โˆ’๐ท๐‘‡ ๐‘‰๐‘‡ ) + โˆซ ๐‘ง๐‘  ๐‘‘๐ต๐‘  โˆ’ ๐พ๐‘ก

q.๐‘ .

0

(48)

(49)

๐‘‹๐‘ก ๐œ‹๐‘ก ]๐‘ก = ๐‘ง๐‘ก ๐ท๐‘กโˆ’1 โˆˆ ๐ป๐บ1 (0, ๐‘‡) , ๐‘ก

and ๐ถ๐‘ก = โˆซ0 ๐ท๐‘ โˆ’1 ๐‘‘๐พ๐‘  โˆˆ ๐ฟ1๐บ(ฮฉ๐‘‡ ). Then the wealth process ๐‘‹โˆ’๐‘š,๐œ‹,๐ถ satisfies = โˆ’๐‘š + โˆซ

0

๐ท๐‘  ๐‘‹๐‘ โˆ’๐‘š,๐œ‹,๐ถ๐œ‹๐‘  ]๐‘  ๐‘‘๐ต๐‘ 

๐‘ก

๐‘ก

0

0

= ๐‘€๐‘ก = โˆ’๐ท๐‘‡ ๐‘‰๐‘‡

โˆ’๐‘š = ๐ธ๐บ (โˆ’๐ท๐‘‡ ๐‘‰๐‘‡ ) โฉพ 0,

๐‘ก

Proof. The first part directly follows from Lemma 23. From Lemma 22, we know that ๐‘‰0 โŠ†ฬธ [Vlow , Vup ] implies the existence of an arbitrage opportunity. Thus, we only need to show that ๐‘‰0 = Vup and ๐‘‰0 = Vlow admit an arbitrage opportunity. We only treat the case ๐‘‰0 = Vup = inf{๐‘š | ๐‘š โˆˆ U}. Then ๐‘š โฉพ ๐‘‰0 ; that is, โˆ’๐‘š + ๐‘‰0 โฉฝ 0. The second case is similar. Comparing the proof of Theorem 24 and letting ๐‘š > 0, for โˆ’๐‘š = ๐ธ๐บ(โˆ’๐ท๐‘‡ ๐‘‰๐‘‡ ), there exists a pair (๐œ‹, ๐ถ) โˆˆ A(โˆ’๐‘š) such that ๐ท๐‘ก ๐‘‹๐‘กโˆ’๐‘š,๐œ‹,๐ถ = โˆ’๐‘š + โˆซ ๐ท๐‘  ๐‘‹๐‘ โˆ’๐‘š,๐œ‹,๐ถ๐œ‹๐‘  ]๐‘  ๐‘‘๐ต๐‘  โˆ’ โˆซ ๐ท๐‘  ๐‘‘๐ถ๐‘ 

As the above, for any ๐‘ก โฉฝ ๐‘‡, let

๐ท๐‘ก ๐‘‹๐‘กโˆ’๐‘š,๐œ‹,๐ถ

Theorem 26. For any price ๐‘‰0 โˆˆ (V๐‘™๐‘œ๐‘ค , V๐‘ข๐‘ ) =ฬธ 0 of a European contingent claim at time zero, there does not exist any arbitrage opportunity in (M, ๐‘‰). For any price ๐‘‰0 โŠ†ฬธ (V๐‘™๐‘œ๐‘ค , V๐‘ข๐‘ ) =ฬธ 0 there exists an arbitrage in the market.

๐‘ก

โˆ’ โˆซ ๐ท๐‘  ๐‘‘๐ถ๐‘  0

(50)

= ๐‘€๐‘ก , where ๐ถ obeys the condition of a cumulative consumption process due to the properties of ๐พ. Moreover, for any ๐‘ก โฉฝ ๐‘‡, it has ๐ท๐‘ก ๐‘‹๐‘กโˆ’๐‘š,๐œ‹,๐ถ = ๐ธ๐บ (โˆ’๐ท๐‘‡ ๐‘‰๐‘‡ | F๐‘ก ) โฉพ ๐ธ๐บ (โˆ’๐‘‰๐‘‡ | F๐‘ก ) ,

(51)

which is bounded from below in the sense of item (iii) in Definition 15 because โˆ’๐‘‰๐‘‡ โˆˆ ๐ฟ2๐บ(ฮฉ๐‘‡ ). Therefore, the wealth process is bounded from below. Consequently, (๐œ‹, ๐ถ) is admissible for โˆ’๐‘š. Since ๐‘‹๐‘‡โˆ’๐‘š,๐œ‹,๐ถ = ๐ท๐‘‡โˆ’1 ๐‘€๐‘‡ = โˆ’๐‘‰๐‘‡ q.s., it has ๐‘š = โˆ’๐ธ๐บ(โˆ’๐ท๐‘‡ ๐‘‰๐‘‡ ) โˆˆ L. Due to the definition of L, we conclude Vlow โฉพ โˆ’๐ธ๐บ(โˆ’๐ท๐‘‡ ๐‘‰๐‘‡ ). So far, we have completed the proof of Theorem 24. The proof of Theorem 24 is different from that of Vorbrink [8], because the volatility of stock price is related to ๐‘ก rather than a constant. Remark 25. Because of sublinear expectation ๐ธ๐บ, by Theorem 24 we have Vlow =ฬธ Vup . This means that the market is not complete implying that not all claims can be hedged perfectly. Therefore, there are many no-arbitrage prices for ๐‘‰. As long as (๐ธ๐บ[๐ท๐‘‡ ๐‘‰๐‘‡ | F๐‘ก ]) is not a symmetric ๐บmartingale, it has Vlow =ฬธ Vup . Under other circumstances, the process ๐พ is identically equal to zero (see Remark 8), meaning that (๐ธ๐บ[๐ท๐‘‡ ๐‘‰๐‘‡ | F๐‘ก ]) is symmetric and ๐‘‰๐‘‡ can be hedged perfectly owing to Remark 8 and Theorem 9.

(52)

q.s.

๐‘ก

Then ๐พ๐‘‡ = โˆซ0 ๐ท๐‘  ๐‘‘๐ถ๐‘  , where ๐พ is an increasing, continuous process with ๐ธ๐บ(โˆ’๐พ๐‘‡ ) = 0. So we can select ๐‘ƒ โˆˆ P such that ๐ธ๐‘ƒ (โˆ’๐พ๐‘‡ ) < 0 (see Remark 25). Then the pair (๐œ‹, ๐ถ) โˆˆ A(โˆ’๐‘š) satisfies ๐ธ๐‘ƒ (๐ท๐‘‡ ๐‘‹๐‘‡โˆ’๐‘š,๐œ‹,0 ) > ๐ธ๐‘ƒ (๐ท๐‘‡ ๐‘‹๐‘‡โˆ’๐‘š,๐œ‹,๐ถ) = ๐ธ๐‘ƒ (โˆ’๐ท๐‘‡ ๐‘‰๐‘‡ ) . (53) Thus, ๐‘ƒ(๐‘‹๐‘‡๐‘š,๐œ‹,0 > โˆ’๐‘‰๐‘‡ ) > 0 and we conclude that (๐œ‹, ๐ถ) โˆˆ A(โˆ’๐‘š) constitutes an arbitrage. On account of Theorem 26, we call (Vlow , Vup ) =ฬธ 0 the arbitrage free interval. Particularly, in the Markovian case where ๐‘‰๐‘‡ = ฮฆ(๐‘†๐‘‡ ) for some Lipschitz function ฮฆ : R โ†’ R, we can give more structural details about the bounds Vup and Vlow . We investigate this issue in Section 4.

4. The Markovian Case For the European contingent claims ๐‘‰, we have the form ๐‘‰๐‘‡ = ฮฆ(๐‘†๐‘‡ ) for some Lipschitz function ฮฆ : R โ†’ R. We use a nonlinear Feynman-Kac formula which is established in Peng [9]. Let us rewrite the dynamics of ๐‘† in (22) as ๐‘‘๐‘†๐‘ข๐‘ก,๐‘ฅ = ๐‘Ÿ๐‘†๐‘ข๐‘ก,๐‘ฅ ๐‘‘๐‘ข + ]๐‘ข ๐‘†๐‘ข๐‘ก,๐‘ฅ ๐‘‘๐ต๐‘ข , ๐‘ข โˆˆ [๐‘ก, ๐‘‡] , ๐‘†๐‘ก๐‘ก,๐‘ฅ = ๐‘ฅ > 0.

(54)

Analogy to the lower and upper arbitrage prices at time 0, at time ๐‘ก โˆˆ [0, ๐‘‡], the lower and upper arbitrage prices are noted ๐‘ก ๐‘ก by Vlow (๐‘ฅ) and Vup (๐‘ฅ), respectively. At a considered time ๐‘ก, the stock price ๐‘†๐‘ก is replaced by the variable ๐‘ฅ. That is, ๐‘†๐‘ก = ๐‘ฅ. Theorem 27. Given a European contingent claim ๐‘‰ = ฮฆ(๐‘†๐‘‡ ), ๐‘ก (๐‘ฅ) is given by ๐‘ข(๐‘ก, ๐‘ฅ), where ๐‘ข : its upper arbitrage price V๐‘ข๐‘ [0, ๐‘‡] ร— R+ โ†’ R is the unique solution of the following PDE: ๐œ•๐‘ก ๐‘ข + ๐‘Ÿ๐‘ฅ๐œ•๐‘ฅ ๐‘ข + ๐บ (]2 ๐‘ฅ2 ๐œ•๐‘ฅ๐‘ฅ ๐‘ข) = ๐‘Ÿ๐‘ข, ๐‘ข (๐‘‡, ๐‘ฅ) = ฮฆ (๐‘ฅ) .

(55)

Mathematical Problems in Engineering

9

A precise representation for the corresponding trading strategy in the stock and the cumulative consumption process is given by ๐›ฝ๐‘ก = ๐œ•๐‘ฅ ๐‘ข (๐‘ก, ๐‘†๐‘ก ) , โˆ€๐‘ก โˆˆ [0, ๐‘‡] , 1 ๐‘ก ๐ถ๐‘ก = โˆ’ โˆซ ]๐‘  2 ๐‘†๐‘  2 ๐œ•๐‘ฅ๐‘ฅ ๐‘ข (๐‘ , S๐‘  ) ๐‘‘ โŸจ๐ตโŸฉ๐‘  2 0

(56)

where ๐‘“ : R ร— R โ†’ R is a given Lipschitz function. Peng [9] showed that the BSDE has a unique solution. So we can define a function ๐‘ข : [0, ๐‘‡] ร— R+ โ†’ R by ๐‘ข(๐‘ก, ๐‘ฅ) fl ๐‘Œ๐‘ก๐‘ก,๐‘ฅ , (๐‘ก, ๐‘ฅ) โˆˆ [0, ๐‘‡] ร— R+ . In the light of the knowledge of the nonlinear Feynman-Kac formula [9], the function ๐‘ข is a viscosity solution of the following PDE: ๐œ•๐‘ก ๐‘ข + ๐‘Ÿ๐‘ฅ๐œ•๐‘ฅ ๐‘ข + ๐บ (]2 ๐‘ฅ2 ๐œ•๐‘ฅ๐‘ฅ ๐‘ข) + ๐‘“ (๐‘ฅ, ๐‘ข) = 0,

๐‘ก

+ โˆซ ]๐‘  2 ๐‘†๐‘  2 ๐บ (๐œ•๐‘ฅ๐‘ฅ ๐‘ข (๐‘ , ๐‘†๐‘  )) ๐‘‘๐‘ , โˆ€๐‘ก โˆˆ [0, ๐‘‡] .

(58)

0

๐‘ข (๐‘‡, ๐‘ฅ) = ฮฆ (๐‘ฅ) .

๐‘ก (๐‘ฅ), Analogously, โˆ’๐‘ข(๐‘ก, ๐‘ฅ) is the lower arbitrage price Vlow ๐‘ก where ๐‘ข : [0, ๐‘‡] ร— R+ โ†’ R. Vlow (๐‘ฅ) solves (55) but with terminal condition ๐‘ข(๐‘ก, ๐‘ฅ) = โˆ’ฮฆ(๐‘ฅ), โˆ€๐‘ฅ โˆˆ R+ .

We define the function

Proof. Firstly, we consider the Backward Stochastic Differential Equation (in short BSDE): ๐‘‡

๐‘Œ๐‘ ๐‘ก,๐‘ฅ = ๐ธ๐บ (ฮฆ (๐‘†๐‘‡๐‘ก,๐‘ฅ ) + โˆซ ๐‘“ (๐‘†๐‘Ÿ๐‘ก,๐‘ฅ , ๐‘Œ๐‘Ÿ๐‘ก,๐‘ฅ ) ๐‘‘๐‘Ÿ | F๐‘  ) , ๐‘ 

(57)

๐‘  โˆˆ [๐‘ก, ๐‘‡] , ๐‘ก

๐‘ขฬ‚ (๐‘ก, ๐‘ฅ) fl ๐ธ๐บ (ฮฆ (๐‘†๐‘‡๐‘ก,๐‘ฅ ) ๐ท๐‘‡ ) .

(59)

According to the above definition, for ๐‘“ โ‰ก 0, ๐‘ขฬ‚ solves (58). Since the function ๐บ is nondegenerate, ๐‘ขฬ‚ turns into a classical ๐ถ1,2 -solution (see page 19 in [9]). Consequently, together with Itห†oโ€™s formula (Theorem 5.4 in [18]), it has ๐‘ก

๐‘ขฬ‚ (๐‘ก, ๐‘†๐‘ก0,๐‘ฅ ) โˆ’ ๐‘ขฬ‚ (0, ๐‘ฅ) = โˆซ [๐œ•๐‘ก ๐‘ขฬ‚ (๐‘ , ๐‘†๐‘ 0,๐‘ฅ ) + ๐‘Ÿ๐‘†๐‘ 0,๐‘ฅ ๐œ•๐‘ฅ ๐‘ขฬ‚ (๐‘ , ๐‘†๐‘ 0,๐‘ฅ )] ๐‘‘๐‘  + โˆซ ]๐‘  ๐‘†๐‘ 0,๐‘ฅ ๐œ•๐‘ฅ ๐‘ขฬ‚ (๐‘ , ๐‘†๐‘ 0,๐‘ฅ ) ๐‘‘๐ต๐‘  0

0

๐‘ก

+โˆซ

0

2 1 (] ๐‘†0,๐‘ฅ ) ๐œ•๐‘ฅ๐‘ฅ ๐‘ขฬ‚ (๐‘ , ๐‘†๐‘ 0,๐‘ฅ ) ๐‘‘ โŸจ๐ตโŸฉ๐‘  2 ๐‘  ๐‘ 

๐‘ก

= โˆซ ]๐‘  ๐‘†๐‘ 0,๐‘ฅ ๐œ•๐‘ฅ ๐‘ขฬ‚ (๐‘ , ๐‘†๐‘ 0,๐‘ฅ ) ๐‘‘๐ต๐‘  + 0

(60)

๐‘ก 2 2 1 ๐‘ก โˆซ (]๐‘  ๐‘†๐‘ 0,๐‘ฅ ) ๐œ•๐‘ฅ๐‘ฅ ๐‘ขฬ‚ (๐‘ , ๐‘†๐‘ 0,๐‘ฅ ) ๐‘‘ โŸจ๐ตโŸฉ๐‘  โˆ’ โˆซ (]๐‘  ๐‘†๐‘ 0,๐‘ฅ ) ๐บ (๐œ•๐‘ฅ๐‘ฅ ๐‘ขฬ‚ (๐‘ , ๐‘†๐‘ 0,๐‘ฅ )) ๐‘‘๐‘ . 2 0 โŸโŸโŸโŸโŸโŸโŸโŸโŸโŸโŸโŸโŸโŸโŸโŸโŸโŸโŸโŸโŸโŸโŸโŸโŸโŸโŸโŸโŸโŸโŸโŸโŸโŸโŸโŸโŸโŸโŸโŸโŸโŸโŸโŸโŸโŸโŸโŸโŸโŸโŸโŸโŸโŸโŸโŸโŸโŸโŸโŸโŸโŸโŸโŸโŸโŸโŸโŸโŸโŸโŸโŸโŸโŸโŸโŸโŸโŸโŸโŸโŸโŸโŸโŸโŸโŸโŸโŸโŸโŸโŸโŸโŸโŸโŸโŸโŸโŸโŸโŸโŸโŸโŸโŸโŸโŸโŸโŸโŸโŸโŸโŸโŸโŸโŸโŸโŸโŸโŸโŸโŸโŸโŸโŸโŸโŸโŸโŸโŸโŸโŸ 0 ๐‘ก

โˆ’๐พ๐‘ก =โˆ’ โˆซ0 ๐ท๐‘  ๐‘‘๐ถ๐‘ 

Now, consider the function ๐‘ขฬƒ (๐‘ก, ๐‘ฅ) fl

๐ท๐‘กโˆ’1 ๐‘ขฬ‚ (๐‘ก, ๐‘ฅ) ,

โˆ€ (๐‘ก, ๐‘ฅ) โˆˆ [0, ๐‘‡] ร— R+ .

(61)

For ๐‘ก = 0, based on Theorem 24, it has ๐‘ขฬƒ (๐‘ก, ๐‘ฅ) = ๐‘ขฬ‚ (๐‘ก, ๐‘ฅ) = ๐ธ๐บ (ฮฆ (๐‘†๐‘‡๐‘ก,๐‘ฅ ) ๐ท๐‘‡ ) = ๐ธ๐บ (๐ท๐‘‡ ๐‘‰๐‘‡ ) ๐‘ก = Vup (๐‘ฅ) , โˆ€ (๐‘ก, ๐‘ฅ) โˆˆ [0, ๐‘‡] ร— R+ .

(62)

๐‘ก

Moreover, ๐‘ขฬƒ can be used as a solution of (55). In addition, the function ๐‘ข defined by ๐‘‡

๐‘ข (๐‘ก, ๐‘ฅ) fl ๐‘Œ๐‘ก๐‘ก,๐‘ฅ = ๐ธ๐บ (ฮฆ (๐‘†๐‘‡๐‘ก,๐‘ฅ ) โˆ’ โˆซ ๐‘Ÿ๐‘Œ๐‘ ๐‘ก,๐‘ฅ ๐‘‘๐‘  | F๐‘ก ) , ๐‘ก

(63)

and it uniquely solves (55).

0

1 ๐‘ก = โˆ’ โˆซ ]๐‘  2 ๐‘†๐‘  2 ๐œ•๐‘ฅ๐‘ฅ ๐‘ข (๐‘ , ๐‘†๐‘  ) ๐‘‘ โŸจ๐ตโŸฉ๐‘  2 0 ๐‘ก

0

solves (55) owing to the nonlinear Feynman-Kac formula since ๐‘“(๐‘ฅ, ๐‘ฆ) = โˆ’๐‘Ÿ๐‘ฆ. By uniqueness of the solution in (55) (see [19]; ๐‘“ is obviously bounded in ๐‘ฅ), we have ๐‘ขฬƒ = ๐‘ข. Thus,

โˆ€ (๐‘ก, ๐‘ฅ) โˆˆ [0, ๐‘‡] ร— R+ ,

๐ถ๐‘ก = โˆซ ๐ท๐‘กโˆ’1 ๐‘‘๐พ๐‘ 

+ โˆซ ]๐‘  2 ๐‘†๐‘  2 ๐บ (๐œ•๐‘ฅ๐‘ฅ ๐‘ข (๐‘ , ๐‘†๐‘  )) ๐‘‘๐‘ ,

โˆ€ (๐‘ก, ๐‘ฅ) โˆˆ [0, ๐‘‡] ร— R+ ,

๐‘ก ๐‘ข (๐‘ก, ๐‘ฅ) = ๐ธ๐บ (ฮฆ (๐‘†๐‘‡๐‘ก,๐‘ฅ ) ๐ท๐‘‡โˆ’๐‘ก ) = Vup (๐‘ฅ) ,

In combination with the proof of Theorem 24, by using its notions and Remark 12, we obtain the precise expressions for the trading strategy ๐›ฝ and the cumulative consumption process ๐ถ. That is, it has ๐‘ง๐‘ก = ]๐‘ก ๐‘†๐‘ก0,๐‘ฅ ๐œ•๐‘ฅ ๐‘ขฬ‚(๐‘ก, ๐‘†๐‘ก0,๐‘ฅ ) = ๐‘†๐‘ก0,๐‘ฅ ๐›ฝ๐‘ก ]๐‘ก ๐ท๐‘ก . Therefore, ๐›ฝ๐‘ก = ๐œ•๐‘ฅ ๐‘ข(๐‘ก, ๐‘†๐‘ก ), โˆ€๐‘ก โˆˆ [0, ๐‘‡]. Analogously, we derive

(64)

(65)

โˆ€๐‘ก โˆˆ [0, ๐‘‡] .

๐‘ก Due to Theorem 27, the functions ๐‘ข(๐‘ก, ๐‘ฅ) = Vup (๐‘ฅ) ๐‘ก and ๐‘ข(๐‘ก, ๐‘ฅ) = โˆ’Vlow (๐‘ฅ) can be characterized as the unique solutions of (55). Under the circumstances of ฮฆ being a convex or concave function, respectively, (55) simplifies greatly.

10

Mathematical Problems in Engineering

Lemma 28. (1) If ฮฆ is concave, then ๐‘ข(๐‘ก, โ‹…) is convex for any ๐‘ก โฉฝ ๐‘‡. (2) If ฮฆ is concave, then ๐‘ข(๐‘ก, โ‹…) is concave for any ๐‘ก โฉฝ ๐‘‡. Similarly, if ฮฆ is convex, then ๐‘ข(๐‘ก, โ‹…) is concave for any ๐‘ก โฉฝ ๐‘‡. If ฮฆ is concave, then ๐‘ข(๐‘ก, โ‹…) is convex for any ๐‘ก โฉฝ ๐‘‡. Proof. We only need to take into account the upper arbitrage price which is determined by the function ๐‘ก ๐‘ข (๐‘ก, ๐‘ฅ) = ๐ธ๐บ (ฮฆ (๐‘†๐‘‡๐‘ก,๐‘ฅ ) ๐ท๐‘‡โˆ’๐‘ก ) = Vup (๐‘ฅ) ,

โˆ€ (๐‘ก, ๐‘ฅ) โˆˆ [0, ๐‘‡] ร— R+ .

(66)

First of all, let ฮฆ be convex, ๐‘ก โˆˆ [0, ๐‘‡], and ๐‘ฅ, ๐‘ฆ โˆˆ R+ . For any ๐œƒ โˆˆ [0, 1], it has ๐‘ก,๐œƒ๐‘ฅ+(1โˆ’๐œƒ)๐‘ฆ

๐‘ข (๐‘ก, ๐œƒ๐‘ฅ + (1 โˆ’ ๐œƒ) ๐‘ฆ) = ๐ธ๐บ [ฮฆ (๐‘†๐‘‡

) ๐‘’โˆ’๐‘Ÿ(๐‘‡โˆ’๐‘ก) ]

๐‘‡

๐‘‡

]๐‘ข 2 ๐‘‘โŸจ๐ตโŸฉ๐‘ข +โˆซ๐‘ก ]๐‘ข ๐‘‘๐ต๐‘ข ๐‘‡

โฉฝ ๐ธ๐บ [๐œƒฮฆ (๐‘ฅ๐‘’โˆ’๐‘Ÿ(๐‘‡โˆ’๐‘ก)โˆ’(1/2) โˆซ๐‘ก

The authors declare that there are no conflicts of interest regarding the publication of this paper.

) ๐‘’โˆ’๐‘Ÿ(๐‘‡โˆ’๐‘ก) ] ๐‘‡

]๐‘ข 2 ๐‘‘โŸจ๐ตโŸฉ๐‘ข +โˆซ๐‘ก ]๐‘ข ๐‘‘๐ต๐‘ข

๐‘‡ ๐‘‡ โˆ’๐‘Ÿ(๐‘‡โˆ’๐‘ก)โˆ’(1/2) โˆซ๐‘ก ]๐‘ข 2 ๐‘‘โŸจ๐ตโŸฉ๐‘ข +โˆซ๐‘ก ]๐‘ข ๐‘‘๐ต๐‘ข

โˆ’ ๐œƒ) ฮฆ (๐‘ฆ๐‘’

References ) + (1

[1] P. Beissner, โ€œEquilibrium prices and trade under ambiguous volatility,โ€ Economic Theory, vol. 61, no. 4, pp. 1โ€“26, 2016.

)] ๐‘’โˆ’๐‘Ÿ(๐‘‡โˆ’๐‘ก) (67)

๐‘‡

โฉฝ ๐ธ๐บ [๐œƒฮฆ (๐‘ฅ๐‘’โˆ’๐‘Ÿ(๐‘‡โˆ’๐‘ก)โˆ’(1/2) โˆซ๐‘ก

๐‘‡

]๐‘ข 2 ๐‘‘โŸจ๐ตโŸฉ๐‘ข +โˆซ๐‘ก ]๐‘ข ๐‘‘๐ต๐‘ข

)

๐‘‡

๐‘‡

โ‹… ฮฆ (๐‘ฆ๐‘’

[2] I. Gilboa and D. Schmeidler, โ€œMaxmin expected utility with nonunique prior,โ€ Journal of Mathematical Economics, vol. 18, no. 2, pp. 141โ€“153, 1989. [3] P. Artzner, F. Delbaen, J.-M. Eber, and D. Heath, โ€œCoherent measures of risk,โ€ Mathematical Finance, vol. 9, no. 3, pp. 203โ€“ 228, 1999.

โ‹… ๐‘’โˆ’๐‘Ÿ(๐‘‡โˆ’๐‘ก) ] + ๐ธ๐บ [(1 โˆ’ ๐œƒ) โˆ’๐‘Ÿ(๐‘‡โˆ’๐‘ก)โˆ’(1/2) โˆซ๐‘ก ]๐‘ข 2 ๐‘‘โŸจ๐ตโŸฉ๐‘ข +โˆซ๐‘ก ]๐‘ข ๐‘‘๐ต๐‘ข

In order to analyse the financial markets with volatility uncertainty, we consider a stock price modeled by a geometric ๐บ-Brownian motion which features volatility uncertainty. This is all based on the structure of a ๐บ-Brownian motion. The โ€œ๐บ-frameworkโ€ is summarized by Peng [9] which gives us a useful mathematical setting. A little new arbitrage free concept is utilized to obtain the detailed results which give us an economically better understanding of financial markets under volatility uncertainty. We establish the connection of the lower and supper arbitrage prices by means of partial differential equations. The outcomes in this paper are only applied to European contingent claims. For other cases, we would extend these results to American contingent claims in our forthcoming paper.

Conflicts of Interest

= ๐ธ๐บ [ฮฆ ((๐œƒ๐‘ฅ + (1 โˆ’ ๐œƒ) ๐‘ฆ) โ‹… ๐‘’โˆ’๐‘Ÿ(๐‘‡โˆ’๐‘ก)โˆ’(1/2) โˆซ๐‘ก

5. Conclusion

[4] F. Maccheroni, M. Marinacci, and A. Rustichini, โ€œDynamic variational preferences,โ€ Journal of Economic Theory, vol. 128, no. 1, pp. 4โ€“44, 2006.

)]

[5] Z. Chen and L. Epstein, โ€œAmbiguity, risk, and asset returns in continuous time,โ€ Econometrica, vol. 70, no. 4, pp. 1403โ€“1443, 2002.

๐‘ก,๐‘ฆ

= ๐œƒ๐ธ๐บ [ฮฆ (๐‘†๐‘‡๐‘ก,๐‘ฅ ) ๐‘’โˆ’๐‘Ÿ(๐‘‡โˆ’๐‘ก) ] + (1 โˆ’ ๐œƒ) ๐ธ๐บ [ฮฆ (๐‘†๐‘‡ ) โ‹… ๐‘’โˆ’๐‘Ÿ(๐‘‡โˆ’๐‘ก) ] = ๐œƒ๐‘ข (๐‘ก, ๐‘ฅ) + (1 โˆ’ ๐œƒ) ๐‘ข (๐‘ก, ๐‘ฆ) , where we used the convexity of ฮฆ, the monotonicity of ๐ธ๐บ, and, in the second inequality, the sublinearity of ๐ธ๐บ. Therefore, ๐‘ข(๐‘ก, โ‹…) is convex for all ๐‘ก โˆˆ [0, ๐‘‡]. Secondly, let ฮฆ be concave. For any (๐‘ก, ๐‘ฅ) โˆˆ [0, ๐‘‡] ร— R+ , we define ๐‘” (๐‘ก, ๐‘ฅ) fl ๐ธ๐‘ƒ [ฮฆ (๐‘†ฬƒ๐‘‡๐‘ก,๐‘ฅ ) ๐‘’โˆ’๐‘Ÿ(๐‘‡โˆ’๐‘ก) ] ,

(68)

[7] L. G. Epstein and S. Ji, โ€œAmbiguous volatility and asset pricing in continuous time,โ€ Review of Financial Studies, vol. 26, no. 7, pp. 1740โ€“1786, 2013. [8] J. Vorbrink, โ€œFinancial markets with volatility uncertainty,โ€ Journal of Mathematical Economics, vol. 53, no. 8, pp. 64โ€“78, 2014. [9] S. Peng, โ€œNonlinear expectations and stochastic calculus under uncertainty,โ€ 2010, https://arxiv.org/abs/1002.4546.

where ๐‘‘๐‘†ฬƒ๐‘ ๐‘ก,๐‘ฅ = ๐‘Ÿ๐‘†ฬƒ๐‘ ๐‘ก,๐‘ฅ ๐‘‘๐‘  + ๐œŽ๐‘†ฬƒ๐‘ ๐‘ก,๐‘ฅ ๐‘‘๐ต๐‘  , ๐‘  โˆˆ [๐‘ก, ๐‘‡] , ๐‘†ฬƒ๐‘ก๐‘ก,๐‘ฅ = ๐‘ฅ.

[6] D. Fernholz and I. Karatzas, โ€œOptimal arbitrage under model uncertainty,โ€ Annals of Applied Probability, vol. 21, no. 2011, pp. 2053โ€“2428, 2011.

(69)

Since ๐ต = (๐ต๐‘ก ) is a classical Brownian motion under ๐‘ƒ0 , ๐‘” solves the Black-Scholes PDE (7) with ๐œŽ replaced by ๐œŽ. Because ๐ธ๐‘ƒ is linear, this is straightforward to mean that ๐‘”(๐‘ก, โ‹…) is concave for any ๐‘ก โˆˆ [0, ๐‘‡]. Consequently, ๐‘” also solves (55). By uniqueness, we conclude that ๐‘” = ๐‘ข. Therefore, ๐‘ข(๐‘ก, โ‹…) is concave for any ๐‘ก โˆˆ [0, ๐‘‡].

[10] S. Peng, โ€œ๐บ-Brownian motion and dynamic risk measure under volatility uncertainty,โ€ 2007, https://arxiv.org/abs/0711.2834. [11] L. Denis, M. Hu, and S. Peng, โ€œFunction spaces and capacity related to a sublinear expectation: application to ๐บ-Brownian motion paths,โ€ Potential Analysis, vol. 34, no. 2, pp. 139โ€“161, 2011. [12] L. Denis and C. Martini, โ€œA theoretical framework for the pricing of contingent claims in the presence of model uncertainty,โ€ The Annals of Applied Probability, vol. 16, no. 2, pp. 827โ€“852, 2006.

Mathematical Problems in Engineering [13] M. Avellaneda, A. Levy, and A. Paras, โ€œPricing and hedging derivative securities in markets with uncertain volatilities,โ€ Applied Mathematical Finance, vol. 2, no. 2, pp. 73โ€“88, 1995. [14] Y. Song, โ€œProperties of hitting times for ๐บ-martingales and their applications,โ€ Stochastic Processes and Their Applications, vol. 121, no. 8, pp. 1770โ€“1784, 2011. [15] Y. Song, โ€œSome properties on ๐บ-martingale decomposition,โ€ Science China Mathematics, vol. 54, no. 2, pp. 287โ€“300, 2011. [16] D. Duffie, Dynamic Asset Pricing Theory, Princeton University Press, New Jersey, NJ, USA, 1992. [17] I. Karatzas and S. G. Kou, โ€œOn the pricing of contingent claims under constraints,โ€ The Annals of Applied Probability, vol. 6, no. 2, pp. 321โ€“369, 1996. [18] X. Li and S. Peng, โ€œStopping times and related Itห†oโ€™s calculus with ๐บ-Brownian motion,โ€ Stochastic Processes and Their Applications, vol. 121, no. 7, pp. 1492โ€“1508, 2011. [19] H. Ishii and P.-L. Lions, โ€œViscosity solutions of fully nonlinear second-order elliptic partial differential equations,โ€ Journal of Differential Equations, vol. 83, no. 1, pp. 26โ€“78, 1990.

11

Advances in

Operations Research Hindawi Publishing Corporation http://www.hindawi.com

Volume 2014

Advances in

Decision Sciences Hindawi Publishing Corporation http://www.hindawi.com

Volume 2014

Journal of

Applied Mathematics

Algebra

Hindawi Publishing Corporation http://www.hindawi.com

Hindawi Publishing Corporation http://www.hindawi.com

Volume 2014

Journal of

Probability and Statistics Volume 2014

The Scientific World Journal Hindawi Publishing Corporation http://www.hindawi.com

Hindawi Publishing Corporation http://www.hindawi.com

Volume 2014

International Journal of

Differential Equations Hindawi Publishing Corporation http://www.hindawi.com

Volume 2014

Volume 2014

Submit your manuscripts at https://www.hindawi.com International Journal of

Advances in

Combinatorics Hindawi Publishing Corporation http://www.hindawi.com

Mathematical Physics Hindawi Publishing Corporation http://www.hindawi.com

Volume 2014

Journal of

Complex Analysis Hindawi Publishing Corporation http://www.hindawi.com

Volume 2014

International Journal of Mathematics and Mathematical Sciences

Mathematical Problems in Engineering

Journal of

Mathematics Hindawi Publishing Corporation http://www.hindawi.com

Volume 2014

Hindawi Publishing Corporation http://www.hindawi.com

Volume 2014

Volume 2014

Hindawi Publishing Corporation http://www.hindawi.com

Volume 2014

#HRBQDSDฤฎ,@SGDL@SHBR

Journal of

Volume 201

Hindawi Publishing Corporation http://www.hindawi.com

Discrete Dynamics in Nature and Society

Journal of

Function Spaces Hindawi Publishing Corporation http://www.hindawi.com

Abstract and Applied Analysis

Volume 2014

Hindawi Publishing Corporation http://www.hindawi.com

Volume 2014

Hindawi Publishing Corporation http://www.hindawi.com

Volume 2014

International Journal of

Journal of

Stochastic Analysis

Optimization

Hindawi Publishing Corporation http://www.hindawi.com

Hindawi Publishing Corporation http://www.hindawi.com

Volume 2014

Volume 2014