 Research
 Open Access
 Published:
A kind of nonzero sum mixed differential game of backward stochastic differential equation
Advances in Difference Equations volume 2020, Article number: 37 (2020)
Abstract
This paper is concerned with a nonzero sum mixed differential game problem described by a backward stochastic differential equation. Here the term “mixed” means that this game problem contains a deterministic control \(v_{1}\) of Player 1 and a random control process \(v_{2}\) of Player 2. By virtue of the classical variational method, a necessary condition and an Arrow’s sufficient condition for the mixed stochastic differential game problem are presented. A linear–quadratic mixed differential game problem is discussed, and the corresponding Nash equilibrium point is explicitly expressed by the solution of meanfield forward–backward stochastic differential equation. The most distinguishing feature, compared with the existing literature, is that the optimal state process of the linear–quadratic game satisfies a linear meanfield backward stochastic differential equation. Finally, a home mortgage and wealth management problem is given to illustrate our theoretical results.
1 Introduction
Differential game theory involves multiple individuals (also called players or agents) decision making in the context of dynamical systems. The study of differential game was originally stated by Isaacs [1], and then summed up and developed by Basar and Olsder [2]. The stochastic differential game plays an important role in lots of fields. Many researchers investigated this problem under various setups.
Compared with the development of forward stochastic differential equation (SDE), the study of the backward stochastic differential equation (BSDE) has been going on in the past three decades. The linear case started from Bismut [3] and the basic framework for the nonlinear situation was given by Pardoux and Peng [4]. The theory of BSDE itself has interesting properties, due to these, it is highly desirable to consider the game problem. Hamadène and Lepeltier [5] discussed a stochastic zero sum differential game problem, and investigated the existence of saddle point under Isaacs’ condition. Moreover, their results of this problem depend on the solution of BSDE. Based on [5], Wang and Yu [6] studied a new nonzero sum stochastic differential game of BSDE, and established a necessary condition and a sufficient condition in the form of a maximum principle for an openloop equilibrium point. Furthermore, for the same stochastic differential system as in [6], Wang and Yu [7] dealt with the partial information case. In addition, Shi and Wang [8] studied a nonzero sum stochastic differential game of BSDE with timedelayed generator. Wang et al. [9] discussed asymmetric information linear–quadratic (LQ) nonzero sum differential game of BSDE, and gave the feedback Nash equilibrium points. About other applications of BSDE, please refer to Zhang [10], Li et al. [11], El Karoui et al. [12], and Yong and Zhou [13] for more information. For other developments about meanfield type game, please refer to [14–16]. Different from the above literature, our work has new features as follows:
The game problem contains two types of control. One is a deterministic control which can impose a deterministic action \(v_{1}\in \mathcal{U} ^{1}_{ad}\), the other one is a random control process that can impose a random action \(v_{2}\in \mathcal{U}^{2}_{ad}\).
In an LQ problem, the equilibrium point \((u_{1},u_{2})\) is expressed by \(\mathbb{E}p\) (see (18) in Sect. 3) and the optimal state satisfies a linear meanfield BSDE.
In the LQ problem, by introducing meanfield BSDE, which naturally arises from the study of mixed differential games driven by BSDE without meanfield term, we obtain an explicit form of the equilibrium point.
In the LQ problem, the equilibrium point \((u_{1},u_{2})\) is uniquely obtained by the solution of meanfield forward–backward SDE (19). Due to the above new features, it is difficult to get the existence and uniqueness of (19) in general. We can prove that (19) admits a unique solution under some detailed cases (see Sect. 3).
This paper is inspired by [17], where mixed optimal control of forward SDE rather than BSDE was discussed. Since the construction and property of BSDE are essentially different from those of SDE, the nonzero sum mixed stochastic differential game of BSDE captures different scenarios. See, e.g., Sect. 3 for more information.
The rest of this paper is organized as follows. In Sect. 2, we formulate the model of the nonzero mixed stochastic differential game of BSDE. In Sect. 3, we give the necessary and sufficient conditions for the openloop equilibrium point of a mixed differential game. In Sect. 4, we use the theoretical results to study an LQ game problem of BSDE, and give an explicit feedback form of equilibrium point. As a practical application, we consider a home mortgage and wealth management problem, and we work out one numerical example with certain particular coefficients in Sect. 5. In Sect. 6, we give some concluding remarks.
2 Problem formulation and preliminaries
Throughout this paper, we let \((\varOmega ,\mathcal{F},P)\) be a standard probability space with a natural filtration \(\{ \mathcal{F} _{t},t\geq 0 \} \) generated by an \(\mathcal{F}_{t}\)adapted, ddimensional standard Brownian motion \(\{ \omega _{t},t \geq 0 \} \). We denote by \(\mathbb{R}^{k}\) the kdimensional Euclidean space, and by \(\cdot \) and \(\langle \cdot ,\cdot \rangle \) the norm and the inner product in Euclidean space, respectively. We also denote by \(\mathbb{S}^{n}\) the set of symmetric \(n\times n\) matrices with real elements, by \(C([0,T];\mathbb{R}^{k})\) the space of \(\mathbb{R}^{k}\)valued continuous functions on \([0,T]\), and by \(M^{\top }\) and \(M^{1}\) the transpose and the reverse of M, respectively. For convenience, we introduce several spaces which are used in this paper:
In this paper, we consider a controlled BSDE
where g: \([0,T]\times \mathbb{R}^{n}\times \mathbb{R}^{n\times d} \times \mathbb{R}^{l_{1}}\times \mathbb{R}^{l_{2}}\rightarrow \mathbb{R}^{n}\), \(\xi \in L^{2}_{\mathcal{F}_{T}}(\varOmega ;\mathbb{R} ^{n})\), \(v_{1}\) is a deterministic control of Player 1, and \(v_{2}\) is a random control process of Player 2. The game system means that these two players work together to achieve a goal ξ at the terminal time T.
Let \(U_{i}\) be a nonempty convex subset of \(\mathbb{R}^{l_{i}}\), \(i=1,2\). We introduce the admissible control set
Assumption 1
\(g(\cdot ,y,z,v_{1},v_{2})\) is continuously differentiable in \((y,z,v_{1},v_{2})\). Moreover, the partial derivatives \(g_{y}\), \(g_{z}\), \(g_{v_{1}}\) and \(g_{v_{2}}\) of g with respect to y, z, \(v_{1}\) and \(v_{2}\) are uniformly bounded.
If \(v_{1}\) and \(v_{2}\) are admissible controls and Assumption 1 holds, it follows from [4] that BSDE (1) admits a unique solution \((y^{v_{1},v_{2}},z^{v_{1},v_{2}}) \in L^{2}_{\mathcal{F}}(0,T;\mathbb{R}^{n})\times L^{2}_{\mathcal{F}}(0,T; \mathbb{R}^{n\times d})\). The nonzero sum mixed stochastic differential game for the two players is that, besides ensuring to achieve the joint pregiven goal ξ at the terminal time T, the two players have their own benefits, described by the cost functional
where \(l_{i}\): \([0,T]\times \mathbb{R}^{n}\times \mathbb{R}^{n\times d}\times \mathbb{R}^{l_{1}}\times \mathbb{R}^{l_{2}}\rightarrow \mathbb{R}\), and \(h_{i}: \mathbb{R}^{n}\rightarrow \mathbb{R}\) (\(i=1,2\)) are given continuous functions satisfying the condition
Suppose that each player hopes to minimize his/her cost functional \(J_{i}(v_{1},v_{2})\) by selecting an appropriate admissible control \(v_{i}\) (\(i=1,2\)). Then the problem is to find a pair of admissible controls \((u_{1},u_{2})\in \mathcal{U}^{1}_{ad}\times \mathcal{U}^{2} _{ad}\) such that
If there exists \((u_{1},u_{2})\) satisfying (4), we call it an (openloop) equilibrium point, and denote the corresponding state trajectory by \((y,z)\). We call the above problem a backward nonzero sum mixed stochastic differential game. For simplicity, we denote it by Problem (BNZM).
3 Necessary and sufficient conditions for the mixed equilibrium point
Define the Hamiltonian function \(H_{1}: [0,T]\times \mathbb{R}^{n} \times \mathbb{R}^{n\times d} \times \mathbb{R}^{l_{1}}\times \mathbb{R}^{l_{2}}\times \mathbb{R}^{n}\rightarrow \mathbb{R}\) by
and \(H_{2}: [0,T]\times \mathbb{R}^{n}\times \mathbb{R}^{n\times d} \times \mathbb{R}^{l_{1}}\times \mathbb{R}^{l_{2}}\times \mathbb{R} ^{n}\rightarrow \mathbb{R}\) by
where \(p_{i}\) (\(i=1,2\)) satisfies the following adjoint equation:
with \(H_{iy}\) and \(H_{iz}\) be the partial derivatives of H with respect to y and z, respectively.
Now we give the basic assumptions on the cost functional.
Assumption 2
\(l_{i}(\cdot , y, z, v_{1}, v_{2})\) is continuously differentiable in \((y,z,v_{1},v_{2})\), and \(h_{i}\) is continuously differentiable with respect to y (\(i=1,2\)). Moreover, there exists a constant C such that the partial derivatives \(l_{iy}\), \(l_{iz}\) and \(l_{iv_{i}}\) (\(i=1,2\)) are bounded by \(C(1+y+z+v_{1}+v_{2})\).
Assumption 3
For each \((v_{1}, v_{2})\in \mathcal{U}^{1}_{ad}\times \mathcal{U}^{2}_{ad}\), \(l_{i}(\cdot , y^{v_{1},v_{2}}, z^{v_{1},v_{2}}, v_{1}, v_{2})\in L^{1}_{\mathcal{F}}(0,T;\mathbb{R})\), \(l_{i}\) is differentiable in \((y,z)\), and \(h_{i}\) (\(i=1,2\)) is differentiable with respect to y.
Under Assumptions 1–2, it is well known that for (5) there exists a unique solution \(p_{i}\in L^{2}_{\mathcal{F}}(0,T;\mathbb{R}^{n})\) (\(i=1,2\)), for any given \((u_{1},u_{2})\).
3.1 Necessary condition
Let \((v_{1},v_{2})\in L^{2}(0,T;\mathbb{R}^{l_{1}})\times L^{2}_{ \mathcal{F}}(0,T;\mathbb{R}^{l_{2}})\) be given such that \((u_{1}+v _{1},u_{2}+v_{2})\in \mathcal{U}^{1}_{ad}\times \mathcal{U}^{2}_{ad}\). For any \(0\leq \varepsilon \leq 1\), we take the variational controls \(u^{\varepsilon }_{1}= u_{1}+\varepsilon v_{1}\) and \(u^{\varepsilon }_{2}= u_{2}+\varepsilon v_{2}\).
Since \(\mathcal{U}^{1}_{ad}\) and \(\mathcal{U}^{2}_{ad}\) are convex, \((u^{\varepsilon }_{1},u^{\varepsilon }_{2})\) \(\in \mathcal{U}^{1} _{ad}\times \mathcal{U}^{2}_{ad}\). As illustrated before, we denote by \((y^{u^{\varepsilon }_{1}},z^{u^{\varepsilon }_{1}})\) and \((y^{u^{ \varepsilon }_{2}},z^{u^{\varepsilon }_{2}})\) the corresponding state trajectories of game system (1) along with the controls \((u^{\varepsilon }_{1},u_{2})\) and \((u_{1},u^{\varepsilon }_{2})\), respectively. Introduce the variational equation
It is easy to see that (6) admits a unique solution \((\xi ,\eta )\in L^{2}_{\mathcal{F}}(0,T;\mathbb{R}^{n})\times L^{2} _{\mathcal{F}}(0,T; \mathbb{R}^{n\times d})\) under Assumptions 1–2.
The following lemmas are immediate results of Lemma 2.2 and Lemma 2.3 in Wang and Yu [7], which play a role in deriving a necessary condition of Problem (BNZM).
Lemma 3.1
If Assumptions 1–2hold, then we have
Since \((u_{1},u_{2})\) is an equilibrium point of problem (BNZM),
A lemma follows from (7), Lemma 3.1 and Taylor’s expansion.
Lemma 3.2
Proposition 3.1
Let Assumptions 1–2hold. Suppose that \((u_{1},u_{2})\)is an equilibrium point of Problem (BNZM) and \((y,z)\)is the corresponding state trajectory. Then we have
for any \((v_{1},v_{2})\in U_{1}\times U_{2}\), where \(p_{i}\) (\(i=1,2\)) is the solution of (5).
Proof
Applying Itô’s formula to \(\langle \xi _{i},p _{i}\rangle \), we get
According to Lemma 3.2, (7) and (9), we obtain
which implies the desired conclusion. Thus, the proof is complete. □
Remark 1
It is worth noting that the necessary condition (8) is different from the cases of [6, 7]. The difference has interesting application in LQ nonzero sum mixed differential game of BSDE. See, e.g., Theorems 4.1–4.2 below for more details.
3.2 Sufficient condition
Proposition 3.2
Let Assumption 1and Assumption 3hold. Let \((u_{1},u_{2})\in \mathcal{U}^{1}_{ad}\times \mathcal{U}^{2}_{ad}\)be given such that \(l_{iy}(\cdot ,y,z,u_{1},u_{2})\)and \(l_{iz}( \cdot ,y,z,u_{1},u_{2})\in L^{2}_{\mathcal{F}}(0,T)\) (\(i=1,2\)). Suppose that the adjoint equation (5) admits a solution \(p_{i}\in L ^{2}_{\mathcal{F}}(0,T;\mathbb{R}^{n})\) (\(i=1,2\)), and
hold for all \(t\in [0,T]\). Moreover, suppose that, for all \((t,y,z) \in [0,T]\times \mathbb{R}^{n}\times \mathbb{R}^{n\times d}\),
exist and are convex in \((y,z)\), and \(h_{i}\)is convex iny (\(i=1,2\)). Then \((u_{1},u_{2})\)is an equilibrium point of Problem (BNZM).
The proof of Proposition 3.2 is similar to the case that \(v_{1}\) and \(v_{2}\) are random control processes. We omit the proof here for simplicity. The interested reader is referred to Arrow and Kurz [18] and Wang and Yu [6] for details. This sufficient condition can be called Arrow’s sufficient optimality condition for the equilibrium point of Problem (BNZM).
Remark 2
Arrow’s sufficient optimality condition provides a valuable tool to certify equilibrium point and generalizes Mangasarian sufficient condition (the sufficiency version of Pontryagin’s maximum principle, which is restricted to some control problems).
In the rest of this section, we use a special case of Problem (BNZM) to show that (10) and (11) are really needed.
Example 3.1
Consider the controlled BSDE \((n=d=l_{1}=l_{2}=1)\)
with \(U_{1}=U_{2}=[0,+\infty )\) and
The problem is to find the openloop equilibrium point \((u_{1},u_{2})\). In this example, the Hamiltonian function and the adjoint equation are
and
Solving the ordinary differential equation (ODE), we obtain \(p_{1t}=p_{2t}=1\), \(t\in [0,T]\). Substituting it into the Hamiltonian function, we get
and
It is easy to check that \(H_{i}(t,y,z,v_{1},v_{2},p_{i})\) is neither a convex nor a concave function of the control \(v_{i}\) on the whole time horizon \([0,+\infty )\), \(i=1, 2\). On the other hand, let \((u_{1t}= \frac{1}{2},u_{2t}=1)\), \(t\in [0,T]\). It is clear that
Now all the assumptions required in Proposition 3.2 are satisfied, then \((u_{1t},u_{2t})=(\frac{1}{2},1)\), \(t\in [0,T]\) is an openloop equilibrium point.
4 An LQ case of Problem (BNZM)
This section focuses on solving an LQ case of Problem (BNZM). Applying Propositions 3.1–3.2, we obtain an explicit form of the equilibrium point.
Consider a linear BSDE
where A, \(B_{1}\), \(B_{2}\) and C are given deterministic matrixvalued functions with proper dimensions.
The class of admissible controls for (12) is
Assumption 4
The coefficients of (12) satisfy
Let Assumption 4 hold. According to Pardoux and Peng [4], for fixed \((v_{1},v_{2})\in \mathcal{V}^{1} _{ad}\times \mathcal{V}^{2}_{ad}\) and any \(\xi \in L^{2}_{\mathcal{F} _{T}}(\varOmega ,\mathbb{R}^{n})\), BSDE (12) has a unique adapted solution \((y^{v_{1},v_{2}},z^{v_{1},v_{2}})\in L^{2}_{\mathcal{F}}(0,T; \mathbb{R}^{n})\times L^{2}_{\mathcal{F}}(0,T;\mathbb{R}^{n\times d})\). Moreover, by a dual technique similar to [12], we have
with
Define the cost functional of the players
Assumption 5
The weighting coefficients in the cost functional (15) satisfy
and there exists a constant \(\alpha >0\) such that for \(t\in [0,T]\)
The LQ case of Problem (BNZM) is to find a pair of \((u_{1},u_{2}) \in \mathcal{V}^{1}_{ad}\times \mathcal{V}^{2}_{ad}\) such that
If there exists a pair of \((u_{1},u_{2})\) satisfying (16), then \((u_{1},u_{2})\) is called an equilibrium point of the game. For simplicity, we denote the above problem by problem (MLQ).
According to Proposition 3.1, if \((u_{1},u_{2})\) is an equilibrium point of Problem (MLQ), then the candidate equilibrium point is of the form
where the adjoint process \(p_{i}\) satisfies
From Proposition 3.2, we can prove that \((u_{1},u_{2})\) is an openloop equilibrium point of the game.
We summarize the above deduction in the following theorem.
Theorem 4.1
If \((u_{1},u_{2})\)is an openloop equilibrium point of Problem (MLQ), then
where \(p_{i}\)is the solution to the meanfield forward–backward SDE
Equation (18) is also sufficient for \((u_{1},u_{2})\) to be an openloop equilibrium point of Problem (MLQ).
Remark 3
The equilibrium point \(u_{1}\) in (18) is expressed by \(\mathbb{E}p_{1}\) rather than \(p_{1}\), this interesting phenomenon is due to the fact that \(v_{1}\) is a deterministic control. It is very different from the existing literature; see, e.g., [6].
Note that, since (19) contains the expectation of \(p_{1}\), we are uncertain whether (19) admits a unique solution except for some special cases.
In the following, we will use three steps to give the explicit form of Nash equilibrium point of Problem (MLQ). Throughout Sect. 3, we always assume the following.
Assumption 6
Step 1: Existence and uniqueness of ( 21 ).
Under Assumption 6, we have
Taking the expectation on both sides of (21), we get
According to Assumption 6, we can get the existence and uniqueness of (22). In fact, we introduce an auxiliary equation
where \(Y=\mathbb{E}y\) and \(P=\mathbb{E}p_{1}+\mathbb{E}p_{2}\).
If \((\mathbb{E}y,\mathbb{E}p_{1},\mathbb{E}p_{2})\) is a solution to (22), then \((Y,P)\) is a solution to (23). On the other hand, let \((Y,P)\) be a solution to (23). Introduce an ODE
which has a unique solution \((P_{1},P_{2})\) with \(P_{1}+P_{2}=P\). Furthermore, we can prove that \((Y,P_{1},P_{2})\) is a solution to (22). It implies that the existence and uniqueness of (22) is equivalent to that of (23).
It is easy to check that (23) has a unique solution \((Y,P)\) under Assumptions 4–6 (see Yu and Ji [19]). Then we know that for (22) there exists a unique solution \((\mathbb{E}y,\mathbb{E}p_{1},\mathbb{E}p_{2})\). For fixed \(\mathbb{E}p_{1}\), from (21), we have
Under Assumptions 4–6, it is clear that fully coupled forward–backward SDE (25) has a unique solution \((y,z,p_{2})\) (see, e.g., Theorem 2.3 in [19]). So does (21).
Step 2: The relationship between y and \((\mathbb{E}p_{1}, \mathbb{E}p_{2})\) .
To get the feedback equilibrium point, we have to establish the relationship between y and \((\mathbb{E}p_{1},\mathbb{E}p_{2})\). Noticing the terminal condition of (22), we set
Introduce the two ODEs
and
Lemma 4.1
Under Assumption 6, there exists a unique solution \((\alpha _{1},\beta _{1},\alpha _{2},\beta _{2})\)to (27) and (28).
Proof
Let \(\alpha =\alpha _{1}+\alpha _{2}\). It follows from Assumption 6 that
Since (29) is a standard Riccati equation, it has a unique solution α. Introduce two auxiliary equations
and
where α is the solution to (29). Obviously, (30) and (31) have unique solutions \(\tilde{\alpha }_{1}\) and \(\tilde{\alpha }_{2}\), respectively. In addition, we can check that \(\alpha _{1}\) and \(\alpha _{2}\) in (27) and (28) are also the solutions to (30) and (31), respectively. From the uniqueness of solution of (30) and (31), it follows that
which implies in turn that the first equations of (27) and (28) have the unique solutions \(\alpha _{1}\) and \(\alpha _{2}\), respectively.
Let \(\beta =\beta _{1}+\beta _{2}\) and \(\beta _{0}=0\). We have
where α is the solution to (29). Note that (32) has a unique solution β. Introduce
and
where \(\alpha _{1}\), \(\alpha _{2}\) and β are the solutions to (30), (31) and (32), respectively. Similarly, we can prove that the second equations of (27) and (28) also have unique solutions \(\beta _{1}\) and \(\beta _{2}\) satisfying
Based on the arguments above, we can derive the unique analytical expressions for \(\alpha _{1}\), \(\alpha _{2}\), \(\beta _{1}\), \(\beta _{2}\). Then the proof is completed. □
Step 3: The relationship between y and \(p_{2}\) .
Similarly, we set
with \(\varSigma _{0}=G_{2}\), \(\varGamma _{0}=0\), \(\varPhi _{0}=0\).
Applying Itô’s formula to \(p_{2}\) in (35), we get
Plugging (35) into (21) yields
Comparing (36) and (37), we obtain
and
where \((\alpha _{1}, \beta _{1})\) is the solution to (27). According to [20], the Riccati equations (38) and (39) admit unique solutions Σ and Γ, respectively. From (26) and (35), we have
Since (28) has a unique solution \((\alpha _{2},\beta _{2})\), for (40) there exists a unique solution Φ. Thus, the feedback equilibrium point \((u_{1},u_{2})\) of problem (MLQ) is uniquely defined by
Substituting (26) and (35) into (21), we obtain
and
where
We summarize the above deduction in the following theorem.
Theorem 4.2
Let Assumption 6hold, the feedback equilibrium point \((u_{1},u_{2})\)of problem (MLQ) is uniquely defined by
where \(\alpha _{1}\), \(\beta _{1}\), Σ, Γ, Φ, yand \(\mathbb{E}y\)are given by (27), (38), (39), (40), (41) and (42), respectively.
Remark 4
We emphasize that the equilibrium point \(u_{1}\) depends on \(\mathbb{E}y\), and \(u_{2}\) depends on y and \(\mathbb{E}y\). The main reason of this phenomenon is that \(v_{1}\) is a deterministic control and \(v_{2}\) is a random control process. This is very different from the case that both \(v_{1}\) and \(v_{2}\) are random control processes (see, e.g., [6, 7]).
5 A home mortgage and wealth management problem
In this section, we study a problem about home mortgage and investment management. This model is inspired by [21], which studied an early assessment of residential mortgage performance in China. Judging from the interest rate difference of various products in China at present, it is reasonable to invest idle funds into some stable wealth management products and return bank loans owed, which can bring certain wealth benefits to buyers and improve the buyers’ quality of life. Furthermore, the ability to repay bank loans is affected by factors such as market interest rate, buyers’ age, education level, annual income, and building form. We suppose a home buyer intends to repay the bank \(v_{1}\) per month, and the home buyer hires a portfolio manager to invest in a riskfree asset and a risky asset. The price processes of the riskfree asset and the risky asset are given by
respectively.
Now suppose the home buyer plans to attain a terminal wealth goal ξ, which is \(\mathcal{F}_{T}\)measure, nonnegative, squareintegrable random variable. Then the wealth \(y_{t}\) is modeled by
where \(z_{t}=\pi _{t}\sigma _{t}\), \(a_{t}=(\mu _{t}r_{t})\sigma ^{1}_{t}\), \(\pi _{t}\) is the amount that the portfolio manager invests in the risk asset, \(v_{1}\) is the strategy of repaying home mortgage, \(v_{2}\) is the instantaneous consumption rate of the portfolio manager. From another perspective, the home buyer is another portfolio manager. We assume that the market coefficients \(r_{t}\), \(\mu _{t}\), \(\sigma _{t}\) are deterministic and bounded processes, and \(\sigma ^{1}_{t}\) is also bounded. Note that the strategy of repaying home mortgage is deterministic over a certain period of time. Here, we set
every element of \(\mathcal{H}_{i}\) is called an admissible control. The coefficients of (44) satisfy Assumption 4, then we get
where
From (47), we get
Furthermore, if the terminal condition ξ is nonnegative, then from (46) and (48), we get the solution of (44) is larger than zero. We define the associated cost functional of the portfolio managers
where β is a discount factor, \(C_{i}\) and \(\theta _{i}\) (\(i=1,2\)) are positive constants. In (49), the first term measures the total utility from \(v_{i}\) (\(i=1,2\)), and the last term represents the initial reserve. That is to say, the home buyer desires to maximize the expected utility as well as to minimize the initial reserve. Then our problem is to find an equilibrium point \((u_{1},u_{2})\in \mathcal{H}^{1}_{ad}\times \mathcal{H}^{2}_{ad}\) such that
We use Proposition 3.1 to guess a candidate equilibrium point
and the adjoint process \(p_{it}\) satisfies
Solving (52), we get
From the assumption of \(C_{1}\), β, \(\theta _{1}\), and \(r_{t}\), we see that \(u_{1}\) is square integrable. Applying a standard exponential martingale property to \(u_{2}\), we can check that \(u_{2}\) is square integrable. Then we get \((u_{1},u_{2})\in \mathcal{H}^{1}_{ad}\times \mathcal{H}^{2}_{ad}\). Assumption 3 is weaker than Assumption 2, and all the conditions in Proposition 3.2 are satisfied, then Proposition 3.2 implies that \((u_{1},u_{2})\) is an equilibrium point of the home mortgage and wealth management problem. Putting \((u_{1},u_{2})\) into (46) and (49), we get the corresponding initial wealth and related utilities, respectively.
We illustrate the above theoretical results by working out one numerical example with certain particular coefficients. Let \(r_{t}=3t\), \(a_{t}=2t\), \(\beta =0.01\), \(C_{1}=1\), \(C_{2}=2\), \(\theta _{1}=1\), \(\theta _{2}=2\).
Applying the Runge–Kutta method and the Monte Carlo method, we obtain the dynamic simulation of \((\cdot ,w,u_{1},u_{2})\). For simplicity, we only draw the trajectory of \((u_{1},u_{2})\), shown in Fig. 1.
6 Conclusion
Motivated by the lack of theory and some interesting financial and economic phenomena, in this paper, we study a nonzero sum mixed differential game of BSDE. We establish a necessary condition and an Arrow sufficient condition for openloop equilibrium point. There are two contributions worthy of being highlighted. One is that the equilibrium point \((u_{1},u_{2})\) can be explicitly expressed under some detailed conditions. The other one is that the mixed feedback equilibrium point \((u_{1},u_{2})\) not only depends on the optimal state but also depends on its expectation (see (43)). Due to these features, this paper differs from the existing literature.
Here, we only study the nonzero sum mixed differential game of BSDE under complete information. Extension of our problem formulation to other type of mixed stochastic differential game problem promises to be interesting research topics, e.g., the mixed stochastic differential game of BSDE with partial information, and the mixed stochastic differential game of backward stochastic differential delay equation. We will consider these topics in our future research.
Abbreviations
 BSDE:

backward stochastic differential equation
 LQ:

linear–quadratic
 SDE:

stochastic differential equation
 ODE:

ordinary differential equation
References
Isaacs, R.: Differential games, Parts 1–4. The Rand Corporation, Research Memorandums Nos. RM1391, RM1411, RM1486 55 (1954)
Basar, T., Olsder, G.J.: Dynamic Noncooperative Game Theory. Academic Press, London (1982)
Bismut, J.M.: An introductory approach to duality in optimal stochastic control. SIAM Rev. 20(1), 62–78 (1978)
Pardoux, E., Peng, S.: Adapted solution of backward stochastic differential equation. Syst. Control Lett. 14(1), 55–61 (1990)
Hamadène, S., Lepeltier, J.P.: Zerosum stochastic differential games and backward equations. Syst. Control Lett. 24(4), 259–263 (1995)
Wang, G., Yu, Z.: A Pontryagin’s maximum principle for nonzero sum differential games of BSDEs with applications. IEEE Trans. Autom. Control 55(7), 1742–1747 (2010)
Wang, G., Yu, Z.: A partial information nonzero sum differential game of backward stochastic differential equations with applications. Automatica 48(2), 342–352 (2012)
Shi, J., Wang, G.: A nonzero sum differential game of BSDE with timedelayed generator and applications. IEEE Trans. Autom. Control 61(7), 1959–1964 (2016)
Wang, G., Xiao, H., Xiong, J.: A kind of linear quadratic nonzero sum differential game of backward stochastic differential euqation with asymmetric information. Automatica 97, 346–352 (2018)
Zhang, F.: Maximum principle for nearoptimality of stochastic delay control problem. Adv. Differ. Equ. 2017, 98 (2017). https://doi.org/10.1186/s1366201711559
Li, X., Sun, J., Xiong, J.: Linear quadratic optimal control problems for meanfield backward stochastic differential equations. Appl. Math. Optim. 80, 223–250 (2019)
El Karoui, N., Peng, S., Quenez, M.C.: Backward stochastic differential equations in finance. Math. Finance 7(1), 1–71 (1997)
Yong, J., Zhou, X.: Stochastic Controls: Hamiltonian Systems and HJB Equations. Springer, New York (1999)
Djehiche, B., Hamadène, S.: Optimal control and zerosum stochastic differential game problems of meanfield type. Appl. Math. Optim. (2018). https://doi.org/10.1007/s0024501895256
Djehiche, B., Hamadène, S.: Meanfield backward–forward stochastic differential equations and non zero sum stochastic diferential games (2019) arXiv:1904.06193
Duncan, T., Hamidou, T.: Linear quadratic mean field type games: a direct method. Games 9, 7 (2018). https://doi.org/10.3390/g9010007
Hu, Y., Tang, S.: Mixed deterministic and random optimal control of linear stochastic systems with quadratic costs. Probab. Uncertain. Quant. Risk 4, 1 (2019). https://doi.org/10.1186/s415460180035x
Arrow, K.J., Kurz, M.: Public Investment, the Rate of Return, Optimal Fiscal Policy. John Hopkins Press, Baltimore (1970)
Yu, Z., Ji, S.: Linear–quadratic nonzerosum differential game of backward stochastic differential equations. In: Proceedings of the 27th Chinese Control Conference, Kunming, pp. 562–566 (2008)
Lim, A.E.B., Zhou, X.: Linear–quadratic control of backward stochastic differential equations. SIAM J. Control Optim. 40(2), 450–474 (2001)
Deng, Y., Zheng, D., Ling, C.: An early assessment of residential mortgage performance in China. J. Real Estate Finance Econ. 31(2), 117–136 (2001)
Acknowledgements
The author would like to thank Professor Guangchen Wang for his constructive and insightful comments for improving the quality of this work.
Availability of data and materials
Not applicable.
Funding
This work was supported in part by the National Natural Science Foundation of China under Grants 11371228, 61821004, 61633015, by the National Natural Science Foundation for Excellent Young Scholars of China under Grant 61422305, by the National Natural Science Fund for Distinguished Young Scholars of China under Grant 61925306, and by the Young Chang Jiang Scholars Program of Chinese Education Ministry.
Author information
Authors and Affiliations
Contributions
The author read and approved the final manuscript.
Corresponding author
Ethics declarations
Competing interests
The author declares that there is no conflict of interests regarding the publication of this paper.
Additional information
Publisher’s Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Rights and permissions
Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article’s Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article’s Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.
About this article
Cite this article
Zhang, H. A kind of nonzero sum mixed differential game of backward stochastic differential equation. Adv Differ Equ 2020, 37 (2020). https://doi.org/10.1186/s1366202025092
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/s1366202025092
Keywords
 Arrow’s sufficient optimality condition
 Meanfield backward stochastic differential equation
 Nonzero sum mixed differential game
 Openloop equilibrium point