Abstract
We study Markowitz’s mean-variance portfolio selection problem in a continuous-time Black–Scholes market with different borrowing and saving rates. The associated Hamilton–Jacobi–Bellman equation is fully nonlinear. Using a delicate partial differential equation and verification argument, the value function is proven to be \(C^{3,2}\) smooth. It is also shown that there are a borrowing boundary and a saving boundary which divide the entire trading area into a borrowing-money region, an all-in-stock region, and a saving-money region in ascending order. The optimal trading strategy turns out to be a mixture of continuous-time strategy (as suggested by most continuous-time models) and discontinuous-time strategy (as suggested by models with transaction costs): one should put all the wealth in the stock in the middle all-in-stock region and continuously trade it in the other two regions in a feedback form of wealth and time. It is never optimal to short sale the stock. Numerical examples are also presented to verify the theoretical results and to give more financial insights beyond them.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
The famous work of Harry M. Markowitz [33, 34] inaugurated a new era in modern finance. Markowitz’s mean-variance portfolio selection has become one of the most prominent modern finance theories since its inception.
Numerous Markowitz’s models with new features have been studied in the literature. In the realm of continuous-time framework, Richardson [37] first applied martingale method to study Markowitz’s mean-variance portfolio selection problem. Zhou and Li [46] used an embedding technique and stochastic linear-quadratic (LQ) control theory to study the problem. Li, Zhou and Lim [28] considered the problem with no-shorting constraints. Hu and Zhou [22] extended it to the case with random coefficients and cone constraints on the control variable. Czichowsky and Schweizer [7] provided the most general solutions for cone-constrained Markowitz’s problem including new effects resulting from the jumps in the price process. Lv, Wu and Yu [31] studied Markowitz’s problem with random horizon in an incomplete market setting. Xiong and Zhou [42], and Xiong, Xu and Zheng [41] investigated the problem under partial information. Zhou and Yin [47], Hu, Shi and Xu [20, 21] considered the problem under regime switching and trading constraints.
As a variant of Markowitz’s problem, the mean-variance (or quadratic) hedging problem was introduced by Duffie and Richardson [13] and Schweizer [38]. Pham [36] extended the problem to a general incomplete market with semimartingale price process. Gourieroux, Laurent and Pham [17] introduced Numéraire to the problem. The most general model was instigated by Cerny and Kallsen [3]. We refer to Schweizer [39] for an overview of the topic. Usually, the mean-variance portfolio selection and hedging problems are considered either for discounted prices or in the presence of a risk-free asset. Cerny, Czichowsky, and Kallsen [4] provided a solution to both problems that is symmetric and allows for all assets to be risky.
Stochastic LQ control method is widely used to study mean-variance portfolio selection and hedging problems. This method is extremely powerful when dealing with problems with trading constraints and random coefficients (see, e.g. [24, 28, 30, 45,46,47]), but less powerful when dealing with problems with state constraints such as bankruptcy prohibition. The latter kind of problems is often dealt by martingale method (which usually requires complete market setting) or by partial differential equation (PDE) method (which requires Markovian market setting). For instance, Bielecki, Jin, Pliska and Zhou [2] investigated continuous-time Markowitz’s problem with bankruptcy prohibition. Using martingale method, they turned the dynamic stochastic control problem into a static random variable chosen problem that was eventually solved by optimization method. Li and Xu [27] studied Markowitz’s problem with both trading and bankruptcy prohibition constraints by PDE method. Their idea is first to transform the problem into an equivalent one with only bankruptcy prohibition constraint, then to solve the latter by the method of [2]. Xia [40] established the relationship between Markowitz’s problem and the expected utility maximization problem with non-negative marginal utility in incomplete market with bankruptcy prohibition. Hou and Xu [19] examined the effect of intractable claims on the trading strategy in Markowitz’s problem by martingale approach.
The optimal trading strategies obtained in the aforementioned papers are typically trading continuously all the time, which are not consistent with real practice most of time. Dai, Xu and Zhou [8] studied Markowitz’s problem with proportional transaction costs by PDE method. To solve the associated Hamilton–Jacobi–Bellman (HJB) equation, they first derived a related double-obstacle PDE problem through an intuitive argument. The solvability of the latter PDE was completed resolved by PDE method so that they can get a classical solution to the original HJB equation. They showed that the optimal tradings only happen when the stock price arrives at a selling-stock boundary or at a buying-stock boundary. This is a discontinuous-time trading (DTT ) strategy which fits the real practice better than those continuous-time trading (CTT ) strategies suggested by most existing models.
All the aforementioned papers assume that there is no difference between the borrowing rate and saving rate in the market, namely the borrowing and saving rates are the same all the time even though they may be modeled as stochastic processes. But, as is well-known, a gap between the two rates always exists, which is fairly large sometimes, in practice. As borrowing rate is often higher than saving rate, it discourages/panelizes investors to borrow money. Different from a vast amount of no-gap-market models in the literature, only a very limited number of papers studied gap-market models. In the book Karatzas and Shreve [23], a utility maximization in a gap-market model is studied by martingale and duality methods. For continuous price processes, the mean-variance portfolio selection problem is rather close to the utility maximization problem. Although the quadratic functional is not always increasing, it can be shown that the optimal wealth process should stay always in the domain where the quadratic functional is strictly increasing and hence behaves like a utility function (see, Delbaen and Schachermayer [12]). Therefore, the method of Karatzas and Shreve [23] may be applied to Markowitz’s problem, but it cannot provide a description of the optimal borrowing, saving and all-in-stock regions such as their connectedness and monotonicity. Other investment and pricing problems are also studied in gap-market models. For instance, Fleming and Zariphopoulou [15], Xu and Chen [43] considered optimal investment and consumption problems; Bergman [1], Korn [25], and Cvitanic and Karatzas [6] studied option pricing problems; Guan [18] studied a utility maximization problem.
Fu, Lari-Lavassani and Li [16] is the only paper we can identify in the literature which tried to solve Markowitz’s problem in a continuous-time market with different borrowing and saving rates. They constructed a piecewise quadratic solution to the HJB equation, but did not verify if the solution is the value function of the original problem. Their constructed solution is not of \(C^{3,2}\) smooth, but we will show the value function is of \(C^{3,2}\) smooth in this paper, so [16] indeed did not get the right value function or the optimal strategy. Therefore, the problem is still open and we will fill this gap.
This paper investigates Markowitz’s portfolio selection problem in a continuous-time Black–Scholes market with different borrowing and saving rates. We show that the whole trading area is divided by a borrowing boundary and a saving boundary into three ascending trading regions, corresponding to the optimal strategies of borrowing money, putting all wealth in the stock and saving money. The existence of the three trading regions was already observed for utility maximization problem by Fleming and Zariphopoulou in [15]. We prove that these regions are connected and ordered, so that our results can provide the following financial insights. When an investor’s wealth is far from her target, she must borrow money to invest in the stock so as to maximize the chance to achieve her goal; by contrast, if her wealth is sufficiently close to her target, she does not need to invest all her wealth in the stock and should save some in the money account to reduce her risk; while in the middle all-in-stock region, she should keep all her wealth in the stock so that no trading is needed inside the region.
Compared to no-gap market models, the all-in-stock region is new. In the other two regions, the trading strategies are of the same form as the no-gap case, except for that one should use the borrowing rate in the borrowing-money region and the saving rate in the saving-money region. Therefore, our optimal strategy is a mixture of CTT strategy (as suggested by most continuous-time models) and DTT strategy (as suggested by models with transaction costs): one does not need to trade in the middle all-in-stock region, and has to continuously trade the stock in the borrowing-money and saving-money regions.
Although both the presence of transaction costs (such as [8, 10, 11]) and the presence of gap between the borrowing and saving rates lead to similar optimal DTT strategies, the reasons behind are fairly different. In transaction costs models, trading frequently directly increases transaction costs, so one should not trade all the time, leading to the existence of no-trading regions. According our gap-market model, one should not borrow money when the marginal cost of borrowing at a high rate is higher than the marginal benefit of extra leveraging, and one should not save money when the marginal benefit resulted from the low return is not high enough to compensate for giving up a better return-risk trade-off provided by the stock, so the existence of no-trading region is due to the gap between the borrowing and saving rates.
Mathematically speaking, it is very important to notice that the diverging of the borrowing and saving rates forces the wealth dynamics to become piecewise linear, and no longer linear. As a consequence, the stochastic LQ control theory cannot be applied and new stochastic control theory is called for to solve the problem. Indeed, one can apply stochastic LQ control methods to solve Markowitz’s problem only when the value function of the problem is of a quadratic form, in which case one reduces to determining the coefficients of quadratic function by solving the so-called Riccati equation. Because of the diverging of the borrowing and saving rates in our model, the associated HJB equation is a fully nonlinear PDE and does not admit any solution in quadratic form. Hence, the problem cannot reduce to solving some Riccati equation. By contrast, because of the infinite time horizon setting, the HJB equation in Fleming and Zariphopoulou [15] is an ordinary differential equation, which is easier to study than our PDE. Because of this, the method of [15] cannot be applied to our model. Instead, we adopt the PDE argument used in Dai and Yi [10] and Guan [18] to solve our problem. We first transform the associated HJB equation into a semi-linear parabolic PDE through an intuitive argument. Adopting some standard PDE tools including the truncation method, the Leray-Schauder fixed point theorem, the embedding theorem and the Schauder estimation, we derive a solution to the semi-linear parabolic PDE, from which we eventually construct a \(C^{3,2}\) smooth solution to the original HJB equation. Different from [10, 16, 18], we show that the constructed solution is indeed the value function to our mean-variance problem through a verification theorem. An optimal feedback strategy is also obtained during this process (where the smoothness of the value function plays an important role). The first-order smoothness of the borrowing and saving boundaries are obtained as well under some slightly stronger conditions on the market parameters.
The reminder of this paper is organized as follows: In Sect. 2, we formulate a mean-variance portfolio selection problem under different borrowing and saving rates. In Sect. 3, we present our main theoretical results including the smoothness of the value function and provide an optimal control to the problem. Numerical examples are also provided to justify our theoretical results. Sections 4–6 are devoted to the proofs of the main technical results. We first derive a semi-linear parabolic PDE from the original fully nonlinear HJB equation through an intuitive argument in Sect. 4; then show that the parabolic PDE has a classical solution by PDE method in Sect. 5; and Sect. 6 completes the proof of the main results presented in Sect. 3. Some concluding remarks are given in Sect. 7.
2 Model Formulation
We call a filtered complete probability space \((\Omega , {{\mathcal {F}}}, {{\mathbb {P}}}, \{{{\mathcal {F}}}_t\}_{t\ge 0})\) the financial market. And assume that the filtration \(\{{{\mathcal {F}}}_t\}_{t\ge 0}\) is generated by a standard one-dimensional Brownian motion \(\{W_t, t\ge 0\}\) defined in the probability space, augmented with all \({{\mathbb {P}}}\)-null sets.
The market consists of a risk-free money account and a continuously traded stock. The saving rate and the borrowing rate of the money account are different, denoted by \(r_1\) and \(r_2\), respectively. Economically speaking, the borrowing rate shall be higher than the saving rate. The stock price process \(S^1>0\) follows a geometric Brownian motion:
where \(\mu \) is the appreciation rate, and \(\sigma \) is the volatility rate of the stock. We assume that the market parameters \(r_1\), \(r_2\), \(\mu \) and \(\sigma \) are constants and satisfy \(\sigma >0\) and
Remind that \(r_1\), \(r_2\), \(\mu \) are not necessary to be positive, which happens in many financial markets right now.
Consider an agent (“She”) faced with an initial endowment x and an investment horizon [t, T]. Let \(X_s\) and \(\pi _s\) denote her total wealth and dollar amount invested in the stock at time s, respectively. When \(X_s>\pi _s\), the agent saves the extra money of the amount \(X_s-\pi _s\) in the money account to earn interests at the saving rate \(r_1\); whereas when \(X_s<\pi _s\), the agent borrows the money of the amount \(\pi _s-X_s\) from the money account at the borrowing rate \(r_2\). Assume that the trading of shares is self-financed and takes place continuously, and there are no transaction costs or taxes. Then, the wealth process \(X_s\) of the agent satisfies the following stochastic differential equation (SDE):
Here, \(\chi _{S}\) is the indicator function for a statement S: it is equal to 1 if the statement S is true, and 0 otherwise.
We call the process \(\pi =\{\pi _s\}_{s\in [t,T]}\), a portfolio of the agent. Define the set of admissible portfolios as
where \(L^2_{{\mathcal {F}}}([t,T];{\mathbb {R}})\) denotes the set of all \({\mathbb {R}}\)-valued, \({{\mathcal {F}}}_s\)-progressively measurable stochastic processes \(f(\cdot )\) on [t, T] with \({{\mathbb {E}}}\int _t^T|f(s)|^2\textrm{d}s<+\infty \). For any admissible portfolio \(\pi \in \Pi _t\), the SDE (2) admits a unique strong solution \(X_{\cdot }\) on [t, T].
Given a constant target \(d>0\), the agent’s objective is to find an admissible portfolio \(\pi ^*\in \Pi _t\) to solve the following portfolio selection problem
where
If such an admissible portfolio \(\pi ^*\in \Pi _t\) exists, we call it an optimal portfolio for the problem (3). The agent’s target d shall be higher than the outcome of saving all her money in the money account, so we put the constraint \(xe^{r_1(T-t)}<d\), leading to the above admissible region \(Q^T\).
The main aim of this paper is to determine the optimal value function V(x, t) and find an optimal portfolio to the stochastic control problem (3).
Remark 2.1
The standard Markowitz’s problem can be formulated as
where \(z >0\) and \(xe^{r_1(T-t)}<z\). Let \(V_{MV}(x,t, z)\) denote its optimal value. Then, the set
is called the efficient mean-variance frontier. By the Lagrange duality theorem (see Luenberger [26]), we have
where \(V(x,t,d)=V(x,t)\) defined by (3). Indeed, the optimal d is determined by
In order to determine the efficient mean-variance frontier, it is unnecessary to solve the optimization problem in (5), or equivalently, to solve (6). Indeed, by (5) and (6), the efficient mean-variance frontier can be expressed as
By the above relationship, it suffices to solve the portfolio selection problem (3) in order to solve the standard Markowitz’s problem (4). Our proceeding analysis will also show that numerically solving V(x, t, d) for each fixed d can reduce to solving the approximation equation in a bounded domain (54). Clearly, the latter can be computed by standard such as finite difference method.
Remark 2.2
When bankruptcy is prohibited in the market, we need to replace \(Q^T\) by a bounded domain
Meanwhile, we need to put an extra boundary condition \(V(0,t)=d^2\), \(0\le t< T\) into the HJB equation (7) below. Our argument, after minor adjustment, still works for that case. We encourage the interested reader to write down the details.
3 Main Results
Using the standard viscosity theory (see, e.g. Grandall and Lions [5], Yong and Zhou [44]), one can prove that the value function of (3) is a viscosity solution to the following HJB equation with boundary and terminal conditions:
This paper does not adopt the viscosity approach because viscosity solution usually does not lead to good smoothness of the value function. Instead, we will prove that the above HJB equation (7) admits a classical solution V (see the precise definition in Theorem 3.1 below) by PDE method directly. This together with a verification result (see Theorem 3.2 below) can guarantee that V is the value function of the problem (3).
Theorem 3.1
(Solvability of the HJB Equation (7)) There exists a solution
to the HJB equation (7) such that
in \(Q^T\), and
Proof
We leave the proof to Sect. 6.1. \(\square \)
Figure 1 illustrates the function V(x, t), based on Theorem 3.1.
3.1 Optimal Portfolio
Let V be given in Theorem 3.1 and we divide the whole trading area
into three regions:
The following result shows that they are connected regions and separated by two free boundaries.
Proposition 3.1
(Optimal Trading Regions) We have
where \(B(\cdot )\) and \(L(\cdot )\) are, respectively, called the borrowing and saving boundaries, defined by
with \(V_x^{-1}(\cdot ,t)\) being the inverse with respect to (w.r.t.) the spatial argument x, and the two functions \(b(\cdot )\) and \(l(\cdot )\) are given by (20) and (21). Moreover, we have the estimate
and the terminal values
Proof
We leave the proof to Sect. 6.2. \(\square \)
Figure 2 illustrates the borrowing and saving boundaries, based on Proposition 3.1.
Remark 3.1
In fact,
and
We will also establish the first-order smoothness of the boundaries \(B(\cdot )\) and \(L(\cdot )\) under certain conditions (see Proposition 5.1).
Theorem 3.2
(Verification Theorem) The function V given in Theorem 3.1 is the same as the value function V defined by (3). Moreover, the optimal portfolio to the problem (3), given in the feedback form, is
Proof
We leave the proof to Sect. 6.3. \(\square \)
We have the following financial findings from the above theoretical results. When one’s wealth is far from her target (i.e. \(x<B(t)\)), she must borrow money to invest in the stock so as to maximize the chance to achieve her goal d. By contrast, if her wealth is sufficiently close to her target (i.e. \(x>L(t)\)), she does not need to invest all her wealth in the stock and can save some in the money account to reduce her risk. In the middle range (i.e. \(B(t)\le x\le L(t)\)), she does not need to borrow or save money, and shall invest all her wealth in the stock so that no trading happens there. Therefore, we see the optimal strategy is a mixture of CTT strategy in the first two scenarios (as suggested by most continuous-time models) and DTT strategy in the last scenario (as suggested by models with transaction costs).
Also, the optimal portfolio is long in the stock in all scenarios, so it is never optimal to short sale the stock. As a consequence, the portfolio is still optimal if we restrict us to the control set with no-shorting constraint:
in the problem (3).
When \(r_2\rightarrow r_1\), the optimal feedback portfolio reduces to
This recovers the classical optimal portfolio when there is no gap between the borrowing and saving rates. In this case, continuously tradings happen all the time, and the all-in-stock region is a zero measure set.
3.2 Numerical Study
We now present numerical examples to depict the behaviors of the borrowing and saving boundaries as well as the optimal value when the borrowing and saving rates change.
Figure 3 plots the saving and borrowing boundaries under various pairs of saving and borrowing rates \((r_1, r_2)\), where \(d=10\), \(\mu =0.15\), \(\sigma ^2=0.10\) and \(T=3\) are fixed. The borrowing boundary is always on the left of the saving boundary. As the gap between the borrowing and saving rates becomes smaller, the borrowing boundary moves to the right whereas the saving boundary moves to the left, becoming closer. Thus, Borrowing-money Region \({\mathfrak {B}}\) and Saving-money Region \({\mathfrak {S}}\) expand, whereas All-in-stock Region \({\mathfrak {N}}\) shrinks. The latter becomes a curve when the gap between the borrowing and saving rates disappears, in which case, the optimal trading strategy becomes a continuously trading one all the time. This is consistent with the common financial intuition that one should trade more frequently if the gap becomes smaller, because the marginal benefit of extra leveraging becomes higher as the costs of borrowing money become less.
The left and right panels of Fig. 4 display, respectively, the value function against the wealth position and time under various pairs of saving and borrowing rates \((r_1, r_2)\), where \(d=10\), \(\mu =0.15\), \(\sigma ^2=0.10\) and \(T=3\) are the same as in Fig. 3. Intuitively speaking, the smaller the gap between the borrowing and saving rates, the smaller the risk (i.e. the value function). Both the left and right panels of Fig. 4 confirm this. We also see from the left panel that the bigger the wealth position the smaller the risk, since bigger wealth position is closer to the fixed target. Meanwhile, the right panel demonstrates that the shorter the time to the maturity, the higher the risk, since shorter time to the maturity means less trading opportunities and less likely to achieve the goal.
Figure 5 depicts the borrowing and saving boundaries under various return rates \(\mu \), where \(r_1=0.02\), \(r_2=0.08\), \(\sigma ^2=0.10\) and \(d=10\) are fixed. These pictures show that the two boundaries move to the right as \(\mu \) increases. It seems that the closer the time to the maturity day, the faster the speed to move to the right. As the return rate of the stock increases, the role of the gap should become less important, encouraging one in a bad wealth position to borrow money to invest in the stock, discouraging one in a good wealth position to save money. Hence, as \(\mu \) increases, Borrowing-money Region \({\mathfrak {B}}\) shall expand, whereas Saving-money Region \({\mathfrak {S}}\) and All-in-stock Region \({\mathfrak {N}}\) shall shrink. The above pictures confirm this financial intuition.
Figure 6 displays the borrowing and saving boundaries under various volatility rates \(\sigma \), where \(r_1=0.02\), \(r_2=0.08\), \(\mu =0.15\) and \(d=10\) are the same as Fig. 5. Similar to Fig. 5, the borrowing and saving boundaries move to the right as \(\sigma \) decreases. This is not surprising since no matter increasing \(\mu \) or decreasing \(\sigma \) will lead to an increment in the Shape ratio of the stock, making the stock more attractive to the investor. Therefore, Borrowing-money Region \({\mathfrak {B}}\) expands, and Saving-money Region \({\mathfrak {S}}\) shrinks, that is, one tends to borrow money to invest in the stock and is less likely to sell the stock to earn the saving rate. However, opposite to Fig. 5, All-in-stock Region \({\mathfrak {N}}\) expends here. We think, as \(\sigma \) decreases, the uncertainty becomes less, hence less frequently tradings are enough to achieve the goal. In other words, one has to trade more frequently to control the risk if \(\sigma \) increases.
Figure 7 displays the optimal proportion \(\pi (x,t)/x\) and the optimal portfolio \(\pi (x,t)\) under various times t, where \(r_1=0.02\), \(r_2=0.08\), \(d=10\), \(\mu =0.15\), \(\sigma =0.15\) and \(T=3\) are fixed. The above pictures show that \(\pi (x,t)=x\) in All-in-stock Region \({\mathfrak {N}}\). Figure 7b, c show that, as wealth x increases to the discounted target \(e^{-r_1(T-t)}d\), the net amount \(\pi (x,t)\) invested in the stock is not globally monotone increasing or decreasing. Indeed, it is first decreasing in Borrowing-money Region \({\mathfrak {B}}\), then increasing All-in-stock Region \({\mathfrak {N}}\), and finally decreasing to zero in Saving-money Region \({\mathfrak {S}}\). However, we can observe from Fig. 7a that the proportion invested in the stock is globally monotone decreasing to zero as x increases. This is not surprising because one is expected to invest less proportion in the stock to reduce the risk as wealth approaches the discounted target.
Figure 7a also shows that the proportion invested in the stock becomes bigger in Saving-money Region \({\mathfrak {S}}\) as the time to maturity is closer. This is because one has to take a higher risk when there is less time available to achieve the target. By contrast, the behavior of the optimal proportion in Borrowing-money Region \({\mathfrak {B}}\) is quite complicate so that we cannot draw the same conclusion. But we can see that the slope of the optimal proportion in Borrowing-money Region \({\mathfrak {B}}\) becomes flatter as time approaches maturity, so the less time to maturity, the less sensitive to wealth position. Meanwhile, an opposite phenomenon is observed in Saving-money Region \({\mathfrak {S}}\).
The remaining part of this paper is devoted to the rigorous proofs for the theoretical results stated in Sect. 3.
4 Related Semi-Linear PDE
To study the fully nonlinear PDE (7), in this section, we transform it into a semi-linear PDE (17) that satisfies the usual structural conditions by a heuristic argument. Many a priori estimates of the solution will be used in this process. In the following Sect. 5, we will rigorously prove the existence and uniqueness of the solution to the PDE (17) as well as those prior estimates used, and finally we will construct a solution to the PDE (7) from the solution to the PDE (17) in Sect. 6.
Our argument in the rest part of this section is intuitive and it will lead to a more tractable PDE (17) which will service as our starting point of the theoretical treatment in the next section.
Our subsequent argument is based on the following hypotheses
and
These hypotheses will be eventually proved in Theorem 3.1.
In order to solve the optimization problem in the HJB equation (7), write
and
By our assumption (1), \(a_1>a_2>0\), so that it follows from (11) that \(\pi ^*_1>\pi ^*_2\). Consequently, only three possible scenarios can happen, which are demonstrated in Fig. 8.
Correspondingly, we have
Inserting this into (7), we get
This is a fully nonlinear free boundary problem that does not satisfy the general structural conditions of nonlinear parabolic equation, so it is hard to apply the existing results to study it directly. We need to rewrite it in a more tractable form.
By (11), V should be a convex function. This motives us to apply the dual transformation (see, e.g., Pham [35]) to simplify (13). To this end, let
Thanks to the hypotheses (11) and (12), we get \(v(0,t)=0\). By (12), for each fixed \(t\in [0,T]\), the optimal x corresponding to y is
where \(V_x^{-1}(\cdot ,t)\) is the inverse of \(V_x(\cdot ,t)\). This gives the following correspondence between v(y, t) and V(x, t),
It then follows from (13) that
Now we introduce
After differentiating (14) w.r.t. y, we obtain an equation for u:
Making a transformation \(u(y,t)=w(z,s)\) for \(s=T-t\), \(z=\ln y\), we get
so that (15) becomes
For convenience, we define a function
It is clearly a 1-Lipschitz-continuous bounded decreasing function. Now we can rewrite (16) in a compact form as an initial value problem
where
By definition we have
so (17) is a semi-linear parabolic PDE, which satisfies the usual structural conditions. We will study its solvability and properties in the next section.
5 Solvability of the PDE (17)
We have got a semi-linear parabolic PDE (17) through an intuitive argument in the previous section. From now on, we do a rigorous analysis and focus on the solvability and properties of the PDE (17) in this section.
We first introduce several constants that will be used throughout the paper:
and
Our main theoretical result is stated as follows:
Theorem 5.1
There exists a solution \(w\in C^{2+\alpha ,1+\frac{\alpha }{2}} \big ({{\mathbb {R}}}\times [0,T]\big )\) (for some \(\alpha \in (0,1)\)) to the PDE (17) such that
and
Proof
The proof, which needs some results of Sobolev space and a priori estimation method of parabolic equations, is cumbersome, so we put it in Appendix 1. \(\square \)
In the rest part of this paper, we fix a solution w as in Theorem 5.1. Based on it, we will construct solutions to (15), (14), (13) and (7) in the following subsections. In particular, Theorem 3.2 will ensure such w is indeed unique.
Remark 5.1
The exact values of \(\theta _1\), \(\theta _2\), k and \(\kappa \) in Theorem 5.1 are not important. We just need to make sure that w and \(w_z\) are growth exponentially in z, which will suffice to ensure such solution w to (17) is unique.
5.1 Free Boundaries of (17)
In order to study the properties of (17), we define three sets
and define two free boundaries
where we used \(w_z>0\) to get the second expressions in above. They will be used to study the properties of the optimal portfolio for our original problem (3). Because \(a_1>a_2\) and \(w_z>0\), we see \(b(s)>l(s)\) for all \(s\in (0,T]\).
We have the following estimates for the two boundaries \(b(\cdot )\) and \(l(\cdot )\).
Lemma 5.1
For any \(s\in (0,T]\),
Proof
If \(z\ge \ln (2d)-(r_1+\theta _2)s\), then by \(a_2>0\) and the lower bounds in (18) and (19) we have
implying (22). \(\square \)
Lemma 5.2
For any \(s\in (0,T]\),
Proof
If \(z<\ln (2d)-\ln (a_1+e^{(\theta _1-k)s})-(r_2+k)s\), by the upper bounds in (18) and (19) we have
which implies (23). \(\square \)
Define two functions
and
By definition, we have \(f(s)\le b(s)\).
Lemma 5.3
If \(f_*(s_0-)< f^*(s_0)\) for some \(s_0\in (0,T]\), then
where \(f_*(s_0-):=\liminf \limits _{s\rightarrow s_0-}f(s)\) and \(f^*(s_0):=\limsup \limits _{s\rightarrow s_0}f(s)\).
Proof
By the continuity of I and the definition of f(s), we have
If (24) were not true, then there would exits \(z_0\in (f_*(s_0-),f^*(s_0))\) such that \(I(z_0,s_0)>0\). Owing to the continuity, we would have
for sufficiently small \(\varepsilon >0\). Since \(z_0>f_*(s_0-)\), we could suppose \(z_0>f(s_0-\varepsilon )\) so that
Now we would prove \(I> 0\) in
Indeed, suppose \(\psi \) is the unique solution to
under the exponential growth conditions on \(\psi \) and \(\psi _z\). Differentiating the equation in (28) w.r.t. z, we have
So \(\Psi =\psi +a_2\psi _z\) satisfies
Using (26) and (27), by the strong maximum principle, we have \(\Psi > 0\) in \({{\mathcal {D}}}\). Define a function
Then (28) can be rewritten as
Since \(w_z>0\) by (19), we have \(\Gamma (w,w_z)=A(w/w_z)\). Hence, \(\psi =w\) also satisfies the above system, by the uniqueness of its solution, we conclude that \(\psi =w\) in \({{\mathcal {D}}}\). Consequently, \(I=\Psi >0 \) in \({{\mathcal {D}}}\). But, by the definition of \(f(s_0)\), we would have \(f(s)\le z_0\) for \(s\in (s_0-\varepsilon ,s_0+\varepsilon )\) so that
contradicting to \(z_0\in (f_*(s_0-),f^*(s_0))\). \(\square \)
Lemma 5.4
Given \(s\in (0,T]\), we have
Proof
Denote
If (29) were not true, i.e. I would take positive values in \({{\mathcal {C}}}\). Since \(\limsup \limits _{z\rightarrow -\infty }I(z,s)<0\) for any \(s\in (0,T]\) by (18) and (19), there would exist \((z_0,s_0)\in \overline{{{\mathcal {C}}}}\) such that \(I(z_0,s_0)=\max \limits _{(z,s)\in \overline{{{\mathcal {C}}}}}I(z,s)>0.\) Note that \((z_0,s_0)\in \overline{{{\mathcal {C}}}}\) implies
By Lemma 5.3 we would have
Therefore, \(I>0\) in
for sufficiently small \(\varepsilon >0\). Then, \(A(w/w_z)=a_2\) in \({{\mathcal {D}}}\), so I would satisfy a linear equation in \({{\mathcal {D}}}\). However, as \((z_0,s_0)\) is the maximum point of I in \({{\mathcal {D}}}\), it is impossible by the maximum principle. \(\square \)
By Lemma 5.4, we see \(I(z,s_0)\ge 0\) for any \(z> z_0\) if \(I(z_0,s_0)>0\). We continue to prove the following stronger conclusion.
Lemma 5.5
Given \(s_0\in (0,T]\), we have \(I(z,s_0)>0\) for any \(z> z_0\) if \(I(z_0,s_0)>0\).
Proof
By the continuity of I, there exists \(0<\varepsilon <s_0\) such that
By Lemma 5.4, we further have
and I satisfies a linear equation in \((z_0,+\infty )\times (s_0-\varepsilon ,s_0]\). By the strong maximum principle we conclude \(I>0\) in \((z_0,+\infty )\times (s_0-\varepsilon ,s_0]\). \(\square \)
By Lemma 5.5 and the definition (20), we conclude
Lemma 5.6
We have
with
Similarly, we can prove
Lemma 5.7
We have
with
Recall that \(l(s)<b(s)\), so the above two lemmas imply
Lemma 5.8
We have
Next, we prove that the boundaries \(b(\cdot )\) and \(l(\cdot )\) are smooth when the coefficients meet certain conditions.
Proposition 5.1
If the coefficients satisfy the following conditions
then the boundaries \(b(\cdot )\), \(l(\cdot )\in C^1((0,T])\).
To prove this conclusion, we need
Lemma 5.9
Under the condition (33), we have
Proof
The condition (33) is equivalent to
Denote \(\varphi =e^{r_1 s} w\), by the first inequality in (18) we have
For any \(\Delta s\in (0,T)\), let \(\overline{\varphi }(z,s):=\varphi (z,s+\Delta s)\), then by above and the equation in (17), we have
By the comparison principle we have \(\overline{\varphi }\ge \varphi \) in \(Q_{T-\Delta s}\), which implies \(\varphi _s\ge 0\), so \(w_s+r_1 w\ge 0\). \(\square \)
Lemma 5.10
Under the conditions (32), (33) and (34),
Proof
Recall that \(w<0\), \(w_z>0\) and \(a_2\le A(\frac{w}{w_z})=-\frac{w}{w_z}\le a_1\) in \( {{\mathcal {N}}}\), so
By the equation in (17) and Lemma 5.9 we have
The inequality is strict because \(A\Big (\frac{w}{w_z}\Big )\) cannot equal \(a_1\) and \(a_2\) simultaneously. It follows
This completes the proof. \(\square \)
Now, we are ready to prove Proposition 5.1. Let \(J=-w/w_z\), from the definition of \(b(\cdot )\) and \(l(\cdot )\) we have
When the conditions (33) and (34) hold, the above result shows \(J_z(b(s),s)\) and \(J_z(l(s),s)<0\). So it follows from the implicit function existence theorem that \(b(\cdot )\), \(l(\cdot )\in C^1((0,T])\).
6 Solutions to the HJB Equation (7) and Problem (3)
We are now ready to construct a classical solution to the PDE (7) from the function w given in Theorem 5.1 and deduce the optimal portfolio to the problem (3).
First, we rewritten the PDEs (15) and (14) of u and v in compact forms as follows:
and
where
and
Lemma 6.1
Let w be given in Theorem 5.1 and let
Then \(u\in C^{2+\alpha ,1+\frac{\alpha }{2}}\big ((0,+\infty )\times [0,T]\big )\) is a solution to the PDE (37) such that
in \((0,+\infty )\times [0,T]\).
This result can be easily verified, so we omit its proof.
Furthermore, we have
Lemma 6.2
For any \(t\in [0,T]\),
Proof
The second and third limits can be derived from (39), the fourth limit is due to (40). It is left to prove the first limit. Thanks to the estimate (23), there exists
such that \(A(w/w_z)=a_1\) in
Thus,
Let
and denote
Then
by recalling the definitions of \(\theta _1\) and \(a_1\). Moreover,
so, by the comparison principle, we get \(\Psi \ge w\) in \({{\mathcal {D}}}\). Together with the first inequality in (18), we have \(\lim \limits _{z\rightarrow -\infty } w=-e^{-r_1s} d\), which implies \(\lim \limits _{y\rightarrow 0+}u=-e^{-r_1 (T-t)} d\). \(\square \)
It follows from (40) and (41) that
so \(-u\) is one-to-one mapping \((0,+\infty ) \) to \((-\infty , e^{-r_1 (T-t)} d)\) for each \(t\in [0,T)\).
Lemma 6.3
Let u be given in Lemma 6.1. Define
Then \(v\in C^{3,2}\big ((0,+\infty )\times [0,T]\big )\) is a solution to the PDE (38) such that
in \((0,+\infty )\times [0,T]\). Moreover, for any \(t\in [0,T]\),
Proof
Clearly \(v_y=-u\), so (42), (43) and (44) are the direct consequences of (39), (40) and (41) respectively. Since \(u\in C^{2+\alpha ,1+\frac{\alpha }{2}}\big ((0,+\infty )\times [0,T]\big )\), we have v, \(v_y\in C^{2+\alpha ,1+\frac{\alpha }{2}}\big ((0,+\infty )\times [0,T]\big )\). Moreover, it is easy to check that
and
so
Therefore, v is a solution to the PDE (38). As a consequence,
Using the Schauder interior estimation (see [29] Theorem 4.9), we get \(v_t\in C^{2+\alpha ,1+\frac{\alpha }{2}}\big ((0,+\infty )\times [0,T]\big )\), therefore, \(v\in C^{3,2}\big ((0,+\infty )\times [0,T]\big )\). \(\square \)
6.1 Proof of Theorem 3.1
Now we are ready to prove Theorem 3.1. Let v be given in Lemma 6.3. Define
We come to prove that the above V satisfies the requirements of Theorem 3.1.
For each \(t\in [0,T]\), the estimates (43) and (44) imply \(v_y(\cdot ,t)\) is strictly decreasing and maps \((0,\infty )\) to \((-\infty ,e^{-r_1 (T-t)} d)\), so
and
Also the function \(J(x,t)\in C(Q^T)\) and is strictly increasing w.r.t. x. Therefore,
As \(v\in C^{3,2}\big ((0,+\infty )\times [0,T]\big )\), we get
Since v is a solution to the PDE (38), which is equivalent to (14), one can check that V satisfies the PDE in (13). This together with \(V_x<0\) and \(V_{xx}>0\) shown above implies the PDE in (7).
From (44), we know for any \(t\in [0,T]\),
So (10) holds. Moreover, (47) and (46) imply
so the boundary condition in (7) holds.
Now, we verify the terminal condition. Thanks to (42) and \(v(0,t)=0\), we have
and consequently,
and
Letting \(t\rightarrow T\) in the above two inequalities, it follows that V satisfies the terminal condition in (7). This completes the proof of Theorem 3.1.
6.2 Proof of Proposition 3.1
This is the consequence of Lemmas 5.6 and 5.7. Thanks to (8) and (9), we see \((0,t)\in {\mathfrak {B}}\), so \(B(t)>0\).
6.3 Proof of Theorem 3.2
In this section, we prove Theorem 3.2.
Suppose V is the solution to (7) given in Theorem 3.1. Fix any \((x,t)\in Q^T\) and any admissible portfolio \(\pi \in \Pi _t\), let X be the unique strong solution to (2). We set
Then
is a martingale, whose mean is 0. Therefore, by Itô’s formula and the HJB equation (7),
Using the estimates (48) and (49), we have
By the standard estimate for SDE, the right hand side is integrable, so we can apply the dominated convergence theorem to \({{\mathbb {E}}}[V(X_{T\wedge \tau _n},T\wedge \tau _n)\mid X_t=x ]\), and obtain
Therefore, we have
To show the reverse inequality, define a feedback control
Clearly (42) and (43) imply \(|y v_{yy}|\le C(1+|v_y|)\) for some constant C independent of t, which is equivalent to
This indicates \(\pi ^*(x,t)\) is linear growth in x uniformly for \(t\in [0,T]\). Moreover, because \(V\in C^{3,2}\), \(\pi ^*(x,t)\) is locally Lipschitz continuous. By Mao [32, Theorem 3.4, p.56], there exists a unique strong solution \(X^*\) to the following SDE:
Furthermore, as \(\pi ^*(x,t)\) is linear growth in x, by Mao [32, Lemma 3.2, p.51], we obtain from (53) that
which further implies \({\hat{\pi _s}}:=\pi ^*(X^*_s,s)\) is an admissible control in \(\Pi _t\) by the linear growth property of \(\pi ^*(x,t)\) in x. Repeat the preceding argument with the control \({\hat{\pi }}\), then the inequalities in (50) and (51) become equations, giving
Compared to (52), we conclude that \(\pi ^*\) is an optimal feedback control to the problem (3), and V is the value function.
7 Concluding Remarks
In this paper, we solved Markowitz’s mean-variance portfolio selection problem in a continuous-time Black–Scholes market with different borrowing and saving rates by PDE methods. A feedback optimal portfolio is provided. Efficiently numerical schemes can be easily developed to calculate it. Different from many existing papers, the optimality of the portfolio is proved by a verification argument, where the smoothness of the value function plays an important role. It is of great interests to extend our model to the case with jumps in stock price. This may lead to some new financial insights.
Clearly, Theorem 3.2 implies the function V given in Theorem 3.1 is unique. As a consequence, we have that the functions w in Theorem 5.1, u in Lemma 6.1 and v in Lemma 6.3 are unique as well. The above uniqueness can be proved by pure PDE argument as well. We leave this to the interested readers.
This paper used PDE method to solve the portfolio selection problem. This approach does not work if the system is not Markovian or d is stochastic in general. So stochastic control theory for piecewise linear quadratic problems is expected to be developed. Of course, it is of great importance to develop such theories and also far beyond the scope of this paper. But we hope our method can inspire the readers to develop such theories.
References
Bergman, Y.: Option pricing with divergent borrowing and lending rates, Working paper, Brown University (1991)
Bielecki, T.R., Jin, H.Q., Pliska, S.R., Zhou, X.Y.: Continuous-time mean-variance portfolio selection with bankruptcy prohibition. Math. Finance 15, 213–244 (2005)
Cerny, A., Kallsen, J.: On the structure of general mean-variance hedging strategies. Ann. Probab. 35, 1479–1531 (2007)
Cerny, A., Czichowsky, C., Kallsen, J.: Numeraire-invariant quadratic hedging and mean-variance portfolio allocation, working paper, Available at https://doi.org/10.2139/ssrn.3944947 (2021)
Crandall, M.G., Lions, P.L.: Viscosity solutions of Hamilton–Jacobi equations. Trans. AMS 277, 1–42 (1983)
Cvitanic, J., Karatzas, I.: Hedging contingent claims with constrained portfolios. Ann. Appl. Probab. 3, 652–681 (1993)
Czichowsky, C., Schweizer, M.: Cone-constrained continuous-time Markowitz problems. Ann. Appl. Probab. 23, 427–857 (2013)
Dai, M., Xu, Z.Q., Zhou, X.Y.: Continuous-time Markowitz’s model with transaction costs. SIAM J. Financ. Math. 1, 96–125 (2010)
Dai, M., Yi, F.H.: Finite-horizon optimal investment with transaction costs: a parabolic double obstacle problem. J. Differ. Equ. 246, 1445–1469 (2009)
Dai, M., Yi, F.: Finite horizon optimal investment with transaction costs: a parabolic double obstacle problem. J. Differ. Equ. 246, 1445–1469 (2009)
Davis, M.H.A., Norman, A.: Portfolio selection with transaction costs. Math. Oper. Res. 15, 676–713 (1990)
Delbaen, F., Schachermayer, W.: The variance-optimal martingale measure for continuous processes. Bernoulli 81–105, 1996 (1996)
Duffie, D., Richardson, H.: Mean-variance hedging in continuous time. Ann. Appl. Probab. 1, 1–15 (1991)
Evans, L.C.: Partial Differential Equations. AMS, (2016)
Fleming, W.H., Zariphopoulou, T.: An optimal consumption and investment model with borrowing constraints. Math. Oper. Res. 16, 802–822 (1991)
Fu, C., Lari-Lavassani, A., Li, X.: Dynamic mean-variance portfolio selection with borrowing constraint. Eur. J. Oper. Res. 200, 312–319 (2010)
Gourieroux, C., Laurent, J.P., Pham, H.: Mean-variance hedging and numeraire. Math. Financ. 8, 179–200 (2002)
Guan, C.: On a free boundary problem for an optimal investment problem with different interest rates. Commun. Math. Sci. 18(1), 31–54 (2020)
Hou, D., Xu, Z.Q.: A robust Markowitz mean-variance portfolio selection model with an intractable claim. SIAM J. Financ. Math. 7, 124–151 (2016)
Hu, Y., Shi, X., Xu, Z.Q.: Constrained stochastic LQ control with regime switching and application to portfolio selection. Ann. Appl. Probab. 32, 426–460 (2022)
Hu, Y., Shi, X., Xu, Z.Q.: Constrained stochastic LQ control on infinite time horizon with regime switching. ESAIM: Control Optim. Calc. Variat. 28, 5 (2022)
Hu, Y., Zhou, X.Y.: Constrained stochastic LQ control with random coefficients, and application to portfolio selection. SIAM J. Control. Optim. 44, 444–466 (2005)
Karatzas, I., Shreve, S.E.: Methods of Mathematical Finance. Springer, Berlin (1998)
Kohlmann, M., Tang, S.: Global adapted solution of one-dimensional backward stochastic Riccati equations with application to the mean-variance hedging. Stochastic Process. Appl. 97, 255–288 (2002)
Korn, R.: Option pricing in a model with a higher interest rate for borrowing than for lending, Working paper (1992)
Luenberger, D.G.: Optimization by Vector Space Methods. Wiley, New York (1969)
Li, X., Xu, Z.Q.: Continuous-time mean-variance portfolio selection with constraints on wealth and portfolio. Oper. Res. Lett. 44, 729–736 (2016)
Li, X., Zhou, X.Y., Lim, A.E.B.: Dynamic mean-variance portfolio selection with no-shorting constraints. SIAM J. Contl. Opt. 40, 1540–1555 (2001)
Lieberman, G.M.: Second Order Parabolic Differential Equations. World Scientific, Singapore (1996)
Lim, A., Zhou, X.Y.: Mean-variance portfolio selection with random parameters in a complete market. Math. Oper. Res. 27, 101–120 (2002)
Lv, S., Wu, Z., Yu, Z.: Continuous-time mean-variance portfolio selection with random horizon in an incomplete market. Autom. 69, 176–180 (2016)
Mao, X.R.: Stochastic Differential Equations and Applications, 2nd edn. Woodhead Publishing, Sawston (2008)
Markowitz, H.M.: Portfolio selection. J. Finance 7(1), 77–91 (1952)
Markowitz, H.M.: Portfolio Selection: Efficient Diversification of Investments. Wiley, New York (1959)
Pham, H.: Continuous-Time Stochastic Control and Optimization with Financial Applications. Springer-Verlag, Berlin (2009)
Pham, H.: On quadratic hedging in continuous time. Math. Methods Oper. Res. 51, 315–339 (2000)
Richardson, H.R.: A minimum variance result in continuous trading portfolio optimization. Manage. Sci. 35, 1045–1055 (1989)
Schweizer, M.: Mean-variance hedging for general claims. Ann. Appl. Probab. 2, 171–179 (1992)
Schweizer, M.: Mean-variance hedging. Encycl. Quant. Finance (2010). https://doi.org/10.1002/9780470061602
Xia, J.: Mean-variance portfolio choice: quadratic partial hedging. Math. Finance 15, 533–538 (2005)
Xiong, J., Xu, Z.Q., Zheng, J.: Mean-variance portfolio selection under partial information with drift uncertainty. Quantit. Finance 21, 1461–1473 (2021)
Xiong, J., Zhou, X.Y.: Mean-variance portfolio selection under partial information. SIAM J. Contl. Opt. 46, 156–175 (2007)
Xu, W., Chen, S.: Optimal consumption/portfolio choice with borrowing rate higher than deposit rate. ANZIAM J. 39(4), 449–462 (1998)
Yong, J., Zhou, X.Y.: Stochastic Controls: Hamiltonian Systems and HJB Equations. Springer, New York (1999)
Yu, Z.: Continuous-time mean-variance portfolio selection with random horizon. Appl. Math. Optim. 68, 333–359 (2013)
Zhou, X.Y., Li, D.: Continuous-time mean-variance portfolio selection: a stochastic LQ framework. Appl. Math. Opt. 42, 19–33 (2000)
Zhou, X.Y., Yin, G.: Markowitz mean-variance portfolio selection with regime switching: a continuous-time model. SIAM J. Contl. Opt. 42, 1466–1482 (2003)
Acknowledgements
The authors are grateful to the editor and anonymous referees for their valuable comments and suggestions that have improved the quality of the paper. C. Guan is partially supported by NSF of Guangdong Province of China (No. 2021A1515012031 and No. 2022A1515010263) and NNSF of China (No. 11901244). X. Shi is partially supported by NSFC (No. 11801315, and No. 71871129), NSF of Shandong Province (No. ZR2018QA001), The Colleges and Universities Youth Innovation Technology Program of Shandong Province (No. 2019KJI011), Shandong University of Finance and Economics International Cooperation Research Platform. Z.Q. Xu is partially supported by NSFC (No. 11971409), The Hong Kong RGC (GRF 15202421 and 15204622), The PolyU-SDU Joint Research Centre on Financial Mathematics, The CAS AMSS-PolyU Joint Laboratory of Applied Mathematics, The Research Centre for Quantitative Finance (1-CE03), The Hong Kong Polytechnic University.
Author information
Authors and Affiliations
Corresponding author
Additional information
Communicated by Xiaoqi Yang
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Appendix: Proof of Theorem 5.1
Appendix: Proof of Theorem 5.1
In this section, we prove Theorem 5.1 by approximation method.
Firstly, for each fixed \(0<\varepsilon <1\), define a continuous function
Note that
and
so the function \(\Gamma _\varepsilon (\cdot ,\cdot )\) is Lipschitz continuous in \((-\infty ,+\infty )\times [0,+\infty ) \). Moreover, for each fixed \(c>0\), \({\partial }_\xi \Gamma _\varepsilon (\xi ,\eta )\) and \({\partial }_\eta \Gamma _\varepsilon (\xi ,\eta )\) are uniformly bounded for all \((\xi ,\eta , \varepsilon )\in (-\infty ,+\infty )\times [c,+\infty )\times [0,1]\).
Now, consider an approximation equation in a bounded domain \(Q_T^N:=(-N,N)\times [0,T]\),
The Leray-Schauder fixed point theorem (see [14] Theorem 4, p.541) and embedding theorem (see [29] Theorem 6.8) imply the existence of \(C^{1+\alpha ,\frac{1+\alpha }{2}}\big (\overline{Q_T^N}\big )\) (for some \(\alpha \in (0,1)\)) solution to the problem (54). Moreover, the Schauder estimation (see [29] Theorem 4.23) implies
In the proceeding proof, we will frequently use the following fact without claim:
We first establish the estimates
Denote
Using the definitions of \(\theta _2\), \(a_1\) and \(a_2\) as well as the bounds on A and \(A'\), we get
Notice \(\theta _1>\theta _2\), so
Applying the comparison principle for linear equations, the first inequality in (55) is established.
Similarly, let
Then by the definitions of \(\theta _1\), \(a_1\) and \(a_2\),
Moreover,
by the comparison principle, the second inequality in (55) is established.
Due to the setting of boundary conditions, we cannot establish \(w^{\varepsilon ,N}_z\ge \frac{1}{2}e^{-\kappa s} e^z\). Instead, we first prove
where
Differentiating the equation in (54) w.r.t. z we have
After reorganizing, we get an equation for \(w^{\varepsilon ,N}_z\) in the divergence form:
It is not hard to check that all the coefficients in (57) are bounded. Denote \(\psi (z,s)=-e^{-\theta _3 s} d\), then
thanks to the definition of \(\theta _3\). Moreover,
Using the comparison principle for divergence forms (see [29] Corollary 6.16), we obtain \(w^{\varepsilon ,N}_z\ge \psi \), giving (56).
We next to prove
Denote \(g^{\varepsilon ,N}(z,s)=e^{-z}w^{\varepsilon ,N}_z(z,s)\). According to (57), we have
On the other hand, denote \(\Psi (z,s)=\frac{1}{2}e^{k s}\), then
thanks to the definition of k. Notice \(k\ge \theta _1\), so
Using the comparison principle for divergence forms, we obtain \(g^{\varepsilon ,N}\le \Psi \), proving (58).
Thanks to (55), (56) and (58), for each \(a<b\), when \(N>\max \{|a|,|b|\}\), taking the \(C^{\alpha ,\frac{\alpha }{2}}\) interior estimate (see [29] Theorem 6.33) to the equations in (54) and (57) respectively, we obtain
where C is independent of \(\varepsilon \) and N. Since \(\Gamma _\varepsilon (\cdot ,\cdot )\) is Lipschitz continuous in \((-\infty ,+\infty )\times [0,+\infty ) \), we have
i.e. the coefficients in the equation of (54) belong to \(C^{\alpha ,\frac{\alpha }{2}}([a,b]\times [0,T])\), so we can take the Schauder interior estimate to the equation in (54) to get
where the above two \(C_\varepsilon \)s are independent of N. Therefore, there exists \(w^\varepsilon \in C^{2+\alpha ,1+\frac{\alpha }{2}}\big (\overline{Q_T}\big )\) such that, for any region \(Q=(a,b)\times (0,T]\subset Q_T\), there exists a subsequence of \(w^{\varepsilon ,N}\), which we still denote by \(w^{\varepsilon ,N}\), such that \(w^{\varepsilon ,N}\rightarrow w^\varepsilon \) in \(C^{2,1}(\overline{Q})\) when \(N\rightarrow \infty \). So \(w^\varepsilon \) satisfies the initial problem
The exponential growth conditions on \(w^\varepsilon \) and \(w^\varepsilon _z\) come from the estimates (55), (56) and (58).
We now prove
Denote
Letting \(N\rightarrow \infty \) in (59), we obtain
On the other hand, denote \(\Psi (z,s)=\frac{1}{2}e^{-\kappa s}\), we have
thanks to the definition of \(\kappa \). Moreover, \(g(z,0)=\frac{1}{2}=\Psi (z,0)\). By the comparison principle, we have \(g\ge \Psi \); hence, (63) is proved.
Thanks to (58) and (63), \(w^\varepsilon _z\) has positive lower and upper bounds which are independent of \(\varepsilon \) in any bounded region, noting that the bounds of \(|{\partial }_\eta \Gamma _\varepsilon (\xi ,\eta )|\) and \(|{\partial }_\eta \Gamma _\varepsilon (\xi ,\eta )|\) are independent of \(\varepsilon \) when \(\eta \) has a positive lower bound, so the constants \(C_\varepsilon \)s in the estimates (60) and (61) are independent of \(\varepsilon \). Let \(\varepsilon \rightarrow 0\) in (62), we obtain a limit w that satisfies (17). Moreover, (18) and (19) are the direct consequences of (55), (58), (63).
Rights and permissions
Springer Nature or its licensor (e.g. a society or other partner) holds exclusive rights to this article under a publishing agreement with the author(s) or other rightsholder(s); author self-archiving of the accepted manuscript version of this article is solely governed by the terms of such publishing agreement and applicable law.
About this article
Cite this article
Guan, C., Shi, X. & Xu, Z.Q. Continuous-Time Markowitz’s Mean-Variance Model Under Different Borrowing and Saving Rates. J Optim Theory Appl 199, 167–208 (2023). https://doi.org/10.1007/s10957-023-02259-4
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s10957-023-02259-4
Keywords
- Markowitz’s mean-variance portfolio selection
- Fully nonlinear PDE
- Free boundary
- Dual transformation
- Different borrowing and saving rates