Mean Field Portfolio Games with Consumption
Abstract
We study mean field portfolio games with consumption. For general market parameters, we establish a one-to-one correspondence between Nash equilibria of the game and solutions to some FBSDE, which is proved to be equivalent to some BSDE. Our approach, which is general enough to cover power, exponential and log utilities, relies on martingale optimality principle in [4, 10] and dynamic programming principle in [7, 8]. When the market parameters do not depend on the Brownian paths, we get the unique Nash equilibrium in closed form. As a byproduct, when all market parameters are time-independent, we answer the question proposed in [13]: the strong equilibrium obtained in [13] is unique in the essentially bounded space.
AMS Subject Classification: 93E20, 91B70, 60H30
Keywords: mean field game, portfolio game, consumption, martingale optimality principle
1 Introduction
As a game-theoretic extension of classical optimal investment problems in [16], portfolio games have received substantial considerations in the financial mathematics literature in recent years. In a portfolio game, each player chooses her investment and/or consumption to maximize her utility induced by some risk preference criterion, by taking her competitors’ decisions into consideration. The goal of the portfolio game is to search for a Nash equilibrium (NE), such that no one would like to change her strategy unilaterally. One way to model the interaction among players in the portfolio game is through the price equilibrium; however, it typically leads to tractability issue. Another way to model the interaction is through the relative performance: each player’s utility is driven by her own wealth as well as the relative wealth to her competitors.
The study of portfolio games with relative performance concerns dates back to [7], where many player portfolio games with common stocks and trading constraint were studied: in the context of complete markets, the unique NE was obtained for general utility functions; in the context of incomplete markets, the unique NE was obtained for games with exponential utility functions, where the uniqueness result was proved by establishing an equivalent relation between each NE for the game and each solution to a multidimensional BSDE. [8] examined similar games as [7] with a different focus: [8] constructed counterexamples where no NE exists, by proving that the corresponding multidimensional BSDE has no solution. In contrast to [7, 8] where all players traded common stocks, [14] studied portfolio games where each player traded a different but correlated stock. Assuming all market parameters to be constant, [14] obtained the unique constant NE by solving coupled HJB equations. In constrast to classical utility functions, [1, 5] studied portfolio games with forward utilities. Recently, [9] studied portfolio games with general market parameters. A one-to-one correspondence between each NE and each solution to some FBSDE was established by dynamic programming principle (DPP) and martingale optimality principle (MOP), so that the portfolio game was solved by solving the FBSDE. In [9], we also obtained an asymptotic expansion result in powers of the competition parameter.
All the aforementioned results do not incorporate consumption. The only results on portfolio games with consumption, to the best of our knowledge, are [13] and [6]. Assuming all market parameters to be constant, [13] obtained a unique NE, which was called strong equilibrium222By [13, Definition 2.1 and Definition 3.1], a strong equilibrium is the one with time-independent investment rate and continuous consumption rate. Moreover, both the investment rate and the consumption rate are adapted to the initial filtration.. [6] examined a portfolio game with both investment and consumption under the framework of forward performance processes; the market parameters were also assumed to be constant.
In this paper, we will study portfolio games with consumption under classical utility criteria, where market parameters are allowed to be time-dependent. Assume there are risky assets in the market, with price dynamics of asset following
(1.1) |
where is the return rate, is the volatility corresponding to the idiosyncratic noise , and is the volatility corresponding to the common noise . We further assume that player specializes in asset . Let be the wealth process of player , whose dynamics is given by
(1.2) |
where is the initial wealth, is the investment rate and is the consumption rate. The risk preference for each player is described by a power utility function, i.e. given other players’ strategies, player chooses the pair of investment rate and consumption rate to maximize the expected power utility induced by her terminal wealth and intermediate consumption:
(1.3) |
Here, and are the performance indices of player , and the constant describes the relative importance of the utility induced by consumption and terminal wealth.
Although our -player game (1.2)-(1.3) is solvable, in this paper we will focus on the corresponding mean field game (MFG), in order to make the statement more concise. According to e.g. [3, 11, 15], the corresponding MFG is:
(1.4) |
Our contributions. Our paper has two contributions. First, under general market parameters, we provide a one-to-one correspondence between each NE of (1.4) and each solution to some FBSDE. The FBSDE is further proved to be equivalent to some BSDE, which completely characterizes the NE of the MFG (1.4). Specifically, the optimal consumption rate and the optimal investment rate for the representative player are characterized by the -component and the -component of the BSDE, respectively. In order to establish the equivalence, we need to prove two sides. On the one hand, for each NE of the MFG (1.4), we will prove that there exists an FBSDE such that the NE can be characterized by this FBSDE. On the other hand, for each solution to this FBSDE, we will prove that the solution corresponds to an NE of the MFG (1.4). The former claim can be proved by DPP, and the latter claim can be proved by MOP. Second, when market parameters do not depend on the Brownian paths, we explicitly solve the BSDE characterizing the NE. In particular, we obtain the unique NE in closed form. The assumption on market parameters implies that the BSDE reduces to an ODE; the -component is zero. Thus, the optimal investment rate can be obtained, since it is completely characterized by the -component following our first contribution. The optimal consumption rate is the unique solution to a Riccati equation, which is derived from the above ODE. We emphasize that the uniqueness result strongly relies on the one-to-one correspondence established in the first main contribution.
Connections with existing literature. From a methodology perspective, our paper shares similarities with [4, 7, 8]. Specifically, [4] used MOP to solve utility maximization problems with both investment and consumption. We apply a similar argument to our portfolio game and prove that each solution to some mean field FBSDE yields an NE of (1.4). A key difference of the MOP in [4] and in our paper is the choice of strategies. We claim that the strategies used in [4] is not suitable to portfolio games; refer to [9, Remark 2.2]. The DPP we use is adapted from [7, 8], where all players traded common stocks and there was no consumption. This is a key step to prove the uniqueness result. Note that [6] also obtained a uniqueness result for portfolio games with consumption under forward utilities, using MOP implicitly. However, the uniqueness result in [6] was implied by the definition of, especially the (super)martingale properties of forward utilities. Thus, it does not imply the uniqueness result for games with classical utilities functions. Admittedly, the most similar paper to the current one is [9], where we studied mean field portfolio games with only investment in a general framework. We also used DPP and MOP to establish the one-to-one correspondence. The current paper can be considered as a continuation of [9]. From a modeling perspective, our paper is similar to [13]; when all market parameters become time-independent, our model reduces to the one in [13]. Using a PDE approach, [13] obtained a strong equilibrium, which was proved to be unique among all strong ones. By our more probabilistic approach, we conclude that the strong equilibrium obtained in [13] is unique in the essentially bounded space. Thus, we answered the question proposed in [13].
The rest of the paper is organized as follows. After the introduction of notation, in Section 2, we establish an equivalent relationship between each solution to some mean field (F)BSDE and each NE of the MFG (1.4) with general market parameters. In Section 3, assuming that the market parameters do not depend on the Brownian paths, we construct the unique NE in closed form.
Notation. Let be a two dimensional Brownian motion, defined on a probability space . Here, denotes the idiosyncratic noise for the representative player, and denotes the common noise for all players. Moreover, is assumed to be the augmented natural filtration of . The augmented natural filtration of is denoted by . To allow for additional heterogeneity across players, we let be a -algebra that is independent of . Let be the -algebra generated by and .
Denote the space of all stochastic processes that are -progressively measurable. For each , define . Let be the space of all essentially bounded stochastic processes, i.e.,
Define the BMO space under as
For each positive random variable , denote .
Let be a generic positive constant, which may vary from line to line.
2 Equivalence between the MFG (1.4) and Some (F)BSDE
We assume the space of admissible strategies for the representative player is .333The space to accommodate investment rates is smaller than , which is commonly used in the literature. We use as our admissible space for technical purpose; see the estimates in the proof of Theorem 2.2. However, we do not lose much generality because the closed form investment rate constructed in Section 3 stays in . Moreover, we say that the tuple is an NE of the MFG (1.4), if is admissible, with being the corresponding wealth, and , , and if the optimality condition holds for each admissible strategy :
Throughout the paper, the following assumptions are in force.
Assumption 1. The initial wealth , risk aversion parameter , competition parameter , and weight parameter of the population are assumed to be bounded -random variables. Moreover, and are -valued, is valued in and is valued in .
Assume the return rate and the volatilities . Moreover, and are bounded away from , i.e., there exist positive constants and such that a.s. and a.s. a.e..
2.1 MFGs and Mean Field FBSDEs Are Equivalent
In this section, we prove that the solvability of a mean field FBSDE is sufficient and necessary for the existence of an NE of the MFG (1.4). First, using MOP as in [4, 10], we prove that the value function and optimal strategy of the associated optimization problem in (1.4) have a one-to-one correspondence to the solution of a BSDE.
Proposition 2.1.
For fixed , the value function and the unique optimal strategy of the associated optimization problem in (1.4) are given by
(2.1) |
where satisfies the following BSDE
(2.2) |
Here, we recall that , and , .
Proof.
The proof is a modification of that in [4]. As discussed in the introduction, the essential difference lies in the choice of strategies; our choice is appropriate to the game-theoretic model in this paper.
Let be a solution to (2.2). We will prove that defined in (2.1) is an optimal strategy of the associated optimization problem in (1.4), by fixing . To do so, for each strategy , define
We will prove that satisfies the following three items:
(2.3) |
If the claim (2.3) is true, it holds that
Thus, is optimal.
It remains to prove the claim (2.3). Denote by the driver of in (2.2). Applying Itô’s formula to , we get
Note that for all the drift of is non-positive, and the drift of is zero for in (2.1). Thus, the claim (2.3) is proved.
Since is concave, in (2.1) is unique. ∎
The following theorem, which is the main result of this section, establishes the necessary and sufficient conditions for the solvability of our MFG (1.4). The sufficient condition is a corollary of Proposition 2.1. In order to prove the necessary part, we rely on the dynamic programming principle as in [7, Lemma 4.4] and [8, Lemma 3.2], where the -player game with exponential utility functions and trading constraint but without individual noise was considered. In the next theorem, we adapt the argument to our MFG (1.4).
Theorem 2.2.
Let be an NE of the MFG (1.4), such that
(2.4) |
Then this NE must satisfy for
(2.5) |
where satisfies the following mean field FBSDE
(2.6) |
Here, we recall , , and , .
Proof.
Let be an NE of (1.4) such that (2.4) holds. For each , define
where denotes the wealth process associated with the investment-consumption pair . Following the argument in [7, Lemma 4.4] and [8, Lemma 3.2], has a continuous version which is a supermartingale for all and a martingale for . Denote and . Our goal is to get an SDE for , and by the supermartingale property of and martingale property of we link to some FBSDE. We will achieve the goal by the following steps.
Step 1: representation of and . Note that a.s.. Thus, martingale representation theorem yields such that
(2.7) |
Moreover, since is a positive martingale, (2.4) and Lemma A.1 yield such that
(2.8) |
which together with (2.7) implies that
(2.9) |
By the definition of and , we have
(2.10) |
Finally, in this step we define a stochastic process for later use, which will turn out to be the backward component of the desired FBSDE:
(2.11) |
Using (2.10), it also holds that
(2.12) |
Step 2: SDE for . Recall and are the log-wealth associated with and , respectively. Itô’s formula implies that
(2.13) |
From the expressions (2.10) and (2.7), integration by parts implies that
In the next step, we will verify is a martingale for each .
Step 3: verification of martingale properties. Since all coefficients are bounded and , it is sufficient to verify
From (2.9) in Step 1, we have that
We estimate and separately. For the denominator we have that by the boundedness of all coefficients and
from which using again the boundedness of all coefficients and we have that
For the numerator , it holds that
Thus, Hölder’s inequality and Doob’s maximal inequality imply that
where is due to and the energy inequality; refer to [12, P.26]. Similarly, one also has
Step 4: complete the proof. Since is a supermartingale and is a martingale from Step 3, it holds that is a supermartingale, i.e. is a supermartingale for all . It implies that for all , and since is a martingale. Thus, we have
Define . Then
Let be a solution to (2.6). By Proposition 2.1, together with the probabilistic approach in [2], is an NE of (1.4), with , , and satisfying the first, the third and the last equality in (2.5). It remains to verify that satisfies the second equality in (2.5). Indeed, by the last equality in (2.5), it holds that
(2.14) |
Multiplying and taking conditional expectations on both sides of (2.14), we have
which implies that
Taking the above equality back into (2.14), we obtain the second equality in (2.5). ∎
The following two remarks show that portfolio games with exponential utility functions and log utility functions are also equivalent to some FBSDEs.
Remark 2.3 (MFGs with exponential utility functions).
Remark 2.4 (MFGs with log utility functions).
If each player uses log utility criterion, then the MFG becomes:
(2.17) |
Note that . Thus, the MFG with log utility criteria is decoupled; each player makes her decision by disregarding her competitors. By [4], the NE of (2.17) is given by
(2.18) |
where together with some is the unique solution to the (decoupled) FBSDE
(2.19) |
2.2 MFGs and Mean Field BSDEs Are Equivalent
In this section, based on Theorem 2.2 we prove that the wellposedness of the MFG (1.4) is equivalent to the wellposedness of the following mean field BSDE
(2.20) |
where includes all terms with , and the expression of is presented in Appendix B. Specifically, the optimal consumption rate can be characterized by the -component and the optimal investment rate can be characterized by the -component. In order to establish this equivalence, by Theorem 2.2, it is sufficient to prove that there is a one-to-one correspondence between each solution to (2.6) and each solution to (2.20). This is done in the following proposition.
Proposition 2.5.
Proof.
Let be a solution to (2.6). From the forward dynamics of (2.6), we get
Taking the dynamics of into the dynamics of , we get
Define through (2.21). It holds that
(2.22) |
From the second equation and the third equation in (2.21), we can solve in terms of :
(2.23) |
Taking (2.23) into (2.22) and by straightforward calculation we get
(2.24) |
From the second equation in (2.5) we get
(2.25) |
Taking (2.25) into (2.24), we obtain (2.20). Thus, for each solution to (2.6), we have found a corresponding solution to (2.20).
Let be a solution to (2.20). Define and by (2.23). With , define by the third equality in (2.5). With (2.25), define by the fourth equality in (2.5). Let be the unique solution to the forward SDE in (2.6), in terms of the well-defined and . Define . One can check that satisfies the FBSDE (2.6). Thus, for each solution to (2.20), we have found one corresponding solution to (2.6). ∎
Proposition 2.5 and Theorem 2.2 together yield the following one-to-one correspondence between each solution to (2.20) and each NE of (1.4). Moreover, in Section 3 we will use such correspondence to prove that the NE of (1.4) is unique.
Theorem 2.6.
3 The Unique NE in Closed Form under Additional Assumptions
Theorem 2.6 implies that solving the MFG (1.4) is equivalent to solving the BSDE (2.20). However, it is difficult to solve the BSDE in general, due to the mixture of quadratic growth of , conditional mean field terms of , and exponential functions of . Therefore, we leave the general case to future study. In this section, we will solve the BSDE (2.20) and the MFG (1.4) under the following additional assumption.
Assumption 2. The return rate and the volatilities have continuous trajectories and are measurable w.r.t. at each time .
The following theorem shows the closed form solution to the BSDE (2.20) as well as the NE of the MFG (1.4) under Assumption 2.
Theorem 3.1.
Under Assumption 1 and Assumption 2, the BSDE (2.20) admits a unique solution , and the MFG (1.4) has a unique NE.
For each , define the following quantities:
and
The unique solution to the BSDE (2.20) has the following closed form expression:
(3.1) |
The unique optimal investment rate and optimal consumption rate have the following closed form expressions:
(3.2) |
respectively,
(3.3) |
Proof.
Our goal is to construct a solution to (2.20), such that it does not depend on the Brownian path. If the solution does not depend on the Brownian path, by Assumption 2, the BSDE (2.22) implies
(3.4) |
By the theory of BSDEs, we must have , which together with (2.26) yields the optimal investment rate (3.2).
Taking into (3.4) we have
(3.5) |
By and the last equality in (2.21), we obtain
Plugging the expression of into (3.5), by straightforward calculation we have that
(3.6) |
where is defined in the statement of the theorem. Let
(3.7) |
Equation (2.27) implies that
(3.8) |
Noting that and plugging (3.8) into (3.6), we obtain
(3.9) |
Taking expectations and multiplying both sides of (3.9) by , we obtain
(3.10) |
Let
(3.11) |
The difference of (3.9) and (3.10) yields an ODE for
(3.12) |
Let . Then, satisfies the following Riccati equation
(3.13) |
with terminal condition . The unique solution to the Riccati equation (3.13) is
(3.14) |
where and are defined in the statement of the theorem. By (3.8) and the definition of and , it holds that .
By now, we have constructed one solution to the BSDE (2.20) and the MFG (1.4). It remains to prove the uniqueness result. Let and be two solutions of the MFG (1.4), where the optimal investment rates are in . Let and be two corresponding solutions to (2.20). Under Assumption 2, the driver of the BSDE (2.20) does not depend on . Thus, it holds that . By (2.26), we have . Note that . Then satisfies a mean field BSDE with Lipschitz coefficients. Thus, the uniqueness result for the BSDE (2.20) follows from standard estimate, and the uniqueness result for the MFG (1.4) follows from Theorem 2.2 and Theorem 2.6. ∎
Remark 3.2.
The monotonicity of and w.r.t. and were examined in [13, 14]. This remark investigates the monotonicity of and w.r.t. market parameters , and . The same as [13], we assume that , and , which imply that and . When taking derivative w.r.t. some parameter, we assume this parameter is a constant.
(1) Monotonicity of w.r.t. the return rate . Direct computation implies that
Thus, the representative player would invest more as the individual return rate increases; it is consistent with intuition and Merton’s result [16].
The dependence of on the population’s return rate is involved with other population parameters. However, if is uncorrelated with other population parameters, it holds that
where denotes the average return rate of the population. Thus, when the relative risk aversion is smaller than (that is, ), the representative player would invest less if the average return rate of the population increases.
(2) Monotonicity of w.r.t. . Direct computation yields
Define two thresholds as follows
By the assumption , it holds that
When there is no competition, i.e. , .
When the representative player is less competitive, i.e. is small, then is large so that the volatility is more likely to be located in . Thus, the representative player in the MFG behaves in a similar manner as the one in Merton’s problem: the individual investment rate is decreasing w.r.t. the volatility.
When the representative player is more aggressive, i.e. is large, then takes a relatively smaller value, such that the monotonicity of w.r.t. is determined by the threshold : when the volatility is larger than , the representative player tends to invest more into the risky asset if is larger. The intuitive reason is that the more competitive player is willing to take more risks to expect more returns.
The monotonicity of w.r.t. the population’s volatility is not tractable. Similar explanations are applicable to the monotonicity w.r.t. .
(3) The monotonicity of w.r.t. , and is not as tractable as that for . This is because is highly nonlinear in , with .
As a corollary, when all coefficients become time-independent, we recover the MFG in [13]. Furthermore, we conclude that the strong NE in [13] is unique in the essentially bounded space.
Corollary 3.3.
Let Assumption 1 and Assumption 2 hold, and the return rate and the volatilities be time-independent. Then the optimal investment rate is
(3.15) |
and the optimal consumption rate is
(3.16) |
where and are defined in the statement of Theorem 3.1, when all market parameters are time-independent. The optimal response is unique in . Furthermore, given in (3.15) and (3.16) is identical to [13, Theorem 3.2].
4 Conclusion
In this paper we study mean field portfolio games with consumption. By MOP and DPP, we establish a one-to-one correspondence between each NE and each solution to some FBSDE. The FBSDE is further proved to be equivalent to some BSDE. Such equivalence is of vital importance to prove that there exists a unique NE in the essentially bounded space. When the market parameters do not depend on the Brownian paths, we get the NE in closed form. Moreover, when the market parameters become time-independent, we recover the model in [13], and conclude that the strong NE obtained in [13] is unique in the essentially bounded space, not only in the space of all strong ones.
Appendix A Reverse Hölder Inequality
For some , we say a stochastic process satisfies reverse Hölder inequality if there exists a constant such that for each -valued stopping time it holds that
Let be a stochastic process and be a Brownian motion. Define
The following result is from [12, Theorem 3.4].
Lemma A.1.
Let be a uniformly integrable martingale. Then if and only if satisfies .
Appendix B The Expression of in (2.20)
The term in the driver of (2.20) includes all terms with . It has the following expression
where for any stochastic processes and we denote
References
- [1] M. Anthropelos, T. Geng, and T. Zariphopoulou. Competition in fund management and forward relative performance criteria. SIAM Journal on Financial Mathematics, 13(4):1271–1301, 2022.
- [2] R. Carmona and F. Delarue. Probabilistic analysis of mean-field games. SIAM Journal on Control and Optimization, 51(4):2705–2734, 2013.
- [3] R. Carmona and F. Delarue. Probabilistic Theory of Mean Field Games with Applications I-II. Springer, 2018.
- [4] P. Cheridito and Y. Hu. Optimal consumption and investment in incomplete markets with general constraints. Stochastics and Dynamics, 11(02n03):283–299, 2011.
- [5] G. dos Reis and V. Platonov. Forward utilities and mean-field games under relative performance concerns. Particle Systems and Partial Differential Equations, VI, VII, VIII, 2021.
- [6] G. dos Reis and V. Platonov. Forward utility and market adjustments in relative investment-consumption games of many players. SIAM Journal on Financial Mathematics, 13(3):844–876, 2022.
- [7] G. Espinosa and N. Touzi. Optimal investment under relative performance concerns. Mathematical Finance, 25(2):221–257, 2015.
- [8] C. Frei and G. dos Reis. A financial market with interacting investors: does an equilibrium exist? Mathematics and Financial Economics, 4:161–182, 2011.
- [9] G. Fu and C. Zhou. Mean field portfolio games. to appear in Finance and Stochastics, 2022.
- [10] Y. Hu, P. Imkeller, and M. Müller. Utility maximization in incomplete markets. The Annals of Applied Probability, 15(3):1691–1712, 2005.
- [11] M. Huang, R. Malhamé, and P. Caines. Large population stochastic dynamic games: closed-loop McKean-Vlasov systems and the Nash certainty equivalence principle. Communications in Information and Systems, 6(3):221–252, 2006.
- [12] N. Kazamaki. Continuous Exponential Martingales and BMO. Springer, 2006.
- [13] D. Lacker and A. Soret. Many-player games of optimal consumption and investment under relative performance criteria. Mathematics and Financial Economics, 14(2):263–281, 2020.
- [14] D. Lacker and T. Zariphopoulou. Mean field and n-agent games for optimal investment under relative performance criteria. Mathematical Finance, 29(4):1003–1038, 2019.
- [15] J.-M. Lasry and P.-L. Lions. Mean field games. Japanese Journal of Mathematics, 2(1):229–260, 2007.
- [16] R. Merton. Optimum consumption and portfolio rules in a continuous-time model. Journal of Economic Theory, 3(4):373–413, 1971.