# Mutual fund separation theorem

Mutual fund separation theorem In portfolio theory, a mutual fund separation theorem, mutual fund theorem, or separation theorem is a theorem stating that, under certain conditions, any investor's optimal portfolio can be constructed by holding each of certain mutual funds in appropriate ratios, where the number of mutual funds is smaller than the number of individual assets in the portfolio. Here a mutual fund refers to any specified benchmark portfolio of the available assets. There are two advantages of having a mutual fund theorem. First, if the relevant conditions are met, it may be easier (or lower in transactions costs) for an investor to purchase a smaller number of mutual funds than to purchase a larger number of assets individually. Second, from a theoretical and empirical standpoint, if it can be assumed that the relevant conditions are indeed satisfied, then implications for the functioning of asset markets can be derived and tested.

Contents 1 Portfolio separation in mean-variance analysis 1.1 No risk-free asset 1.2 One risk-free asset 2 Portfolio separation without mean-variance analysis 3 References Portfolio separation in mean-variance analysis Portfolios can be analyzed in a mean-variance framework, with every investor holding the portfolio with the lowest possible return variance consistent with that investor's chosen level of expected return (called a minimum-variance portfolio), if the returns on the assets are jointly elliptically distributed, including the special case in which they are jointly normally distributed.[1][2] Under mean-variance analysis, it can be shown[3] that every minimum-variance portfolio given a particular expected return (that is, every efficient portfolio) can be formed as a combination of any two efficient portfolios. If the investor's optimal portfolio has an expected return that is between the expected returns on two efficient benchmark portfolios, then that investor's portfolio can be characterized as consisting of positive quantities of the two benchmark portfolios.

No risk-free asset To see two-fund separation in a context in which no risk-free asset is available, using matrix algebra, let {displaystyle sigma ^{2}} be the variance of the portfolio return, let {displaystyle mu } be the level of expected return on the portfolio that portfolio return variance is to be minimized contingent upon, let {displaystyle r} be the vector of expected returns on the available assets, let {displaystyle X} be the vector of amounts to be placed in the available assets, let {displaystyle W} be the amount of wealth that is to be allocated in the portfolio, and let {displaystyle 1} be a vector of ones. Then the problem of minimizing the portfolio return variance subject to a given level of expected portfolio return can be stated as Minimize {displaystyle sigma ^{2}} subject to {displaystyle X^{T}r=mu } and {displaystyle X^{T}1=W} where the superscript {displaystyle ^{T}} denotes the transpose of a matrix. The portfolio return variance in the objective function can be written as {displaystyle sigma ^{2}=X^{T}VX,} where {displaystyle V} is the positive definite covariance matrix of the individual assets' returns. The Lagrangian for this constrained optimization problem (whose second-order conditions can be shown to be satisfied) is {displaystyle L=X^{T}VX+2lambda (mu -X^{T}r)+2eta (W-X^{T}1),} with Lagrange multipliers {displaystyle lambda } and {displaystyle eta } . This can be solved for the optimal vector {displaystyle X} of asset quantities by equating to zero the derivatives with respect to {displaystyle X} , {displaystyle lambda } , and {displaystyle eta } , provisionally solving the first-order condition for {displaystyle X} in terms of {displaystyle lambda } and {displaystyle eta } , substituting into the other first-order conditions, solving for {displaystyle lambda } and {displaystyle eta } in terms of the model parameters, and substituting back into the provisional solution for {displaystyle X} . The result is {displaystyle X^{mathrm {opt} }={frac {W}{Delta }}[(r^{T}V^{-1}r)V^{-1}1-(1^{T}V^{-1}r)V^{-1}r]+{frac {mu }{Delta }}[(1^{T}V^{-1}1)V^{-1}r-(r^{T}V^{-1}1)V^{-1}1]} where {displaystyle Delta =(r^{T}V^{-1}r)(1^{T}V^{-1}1)-(r^{T}V^{-1}1)^{2}>0.} For simplicity this can be written more compactly as {displaystyle X^{mathrm {opt} }=alpha W+beta mu } where {displaystyle alpha } and {displaystyle beta } are parameter vectors based on the underlying model parameters. Now consider two benchmark efficient portfolios constructed at benchmark expected returns {displaystyle mu _{1}} and {displaystyle mu _{2}} and thus given by {displaystyle X_{1}^{mathrm {opt} }=alpha W+beta mu _{1}} and {displaystyle X_{2}^{mathrm {opt} }=alpha W+beta mu _{2}.} The optimal portfolio at arbitrary {displaystyle mu _{3}} can then be written as a weighted average of {displaystyle X_{1}^{mathrm {opt} }} and {displaystyle X_{2}^{mathrm {opt} }} as follows: {displaystyle X_{3}^{mathrm {opt} }=alpha W+beta mu _{3}={frac {mu _{3}-mu _{2}}{mu _{1}-mu _{2}}}X_{1}^{mathrm {opt} }+{frac {mu _{1}-mu _{3}}{mu _{1}-mu _{2}}}X_{2}^{mathrm {opt} }.} This equation proves the two-fund separation theorem for mean-variance analysis. For a geometric interpretation, see the Markowitz bullet.

One risk-free asset If a risk-free asset is available, then again a two-fund separation theorem applies; but in this case one of the "funds" can be chosen to be a very simple fund containing only the risk-free asset, and the other fund can be chosen to be one which contains zero holdings of the risk-free asset. (With the risk-free asset referred to as "money", this form of the theorem is referred to as the monetary separation theorem.) Thus mean-variance efficient portfolios can be formed simply as a combination of holdings of the risk-free asset and holdings of a particular efficient fund that contains only risky assets. The derivation above does not apply, however, since with a risk-free asset the above covariance matrix of all asset returns, {displaystyle V} , would have one row and one column of zeroes and thus would not be invertible. Instead, the problem can be set up as Minimize {displaystyle sigma ^{2}} subject to {displaystyle (W-X^{T}1)r_{f}+X^{T}r=mu ,} where {displaystyle r_{f}} is the known return on the risk-free asset, {displaystyle X} is now the vector of quantities to be held in the risky assets, and {displaystyle r} is the vector of expected returns on the risky assets. The left side of the last equation is the expected return on the portfolio, since {displaystyle (W-X^{T}1)} is the quantity held in the risk-free asset, thus incorporating the asset adding-up constraint that in the earlier problem required the inclusion of a separate Lagrangian constraint. The objective function can be written as {displaystyle sigma ^{2}=X^{T}VX} , where now {displaystyle V} is the covariance matrix of the risky assets only. This optimization problem can be shown to yield the optimal vector of risky asset holdings {displaystyle X^{mathrm {opt} }={frac {(mu -Wr_{f})}{(r-1r_{f})^{T}V^{-1}(r-1r_{f})}}V^{-1}(r-1r_{f}).} Of course this equals a zero vector if {displaystyle mu =Wr_{f}} , the risk-free portfolio's return, in which case all wealth is held in the risk-free asset. It can be shown that the portfolio with exactly zero holdings of the risk-free asset occurs at {displaystyle mu ={tfrac {Wr^{T}V^{-1}(r-1r_{f})}{1^{T}V^{-1}(r-1r_{f})}}} and is given by {displaystyle X^{*}={frac {W}{1^{T}V^{-1}(r-1r_{f})}}V^{-1}(r-1r_{f}).} It can also be shown (analogously to the demonstration in the above two-mutual-fund case) that every portfolio's risky asset vector (that is, {displaystyle X^{mathrm {opt} }} for every value of {displaystyle mu } ) can be formed as a weighted combination of the latter vector and the zero vector. For a geometric interpretation, see the efficient frontier with no risk-free asset.

Portfolio separation without mean-variance analysis If investors have hyperbolic absolute risk aversion (HARA) (including the power utility function, logarithmic function and the exponential utility function), separation theorems can be obtained without the use of mean-variance analysis. For example, David Cass and Joseph Stiglitz[4] showed in 1970 that two-fund monetary separation applies if all investors have HARA utility with the same exponent as each other.[5]: ch.4 More recently, in the dynamic portfolio optimization model of Çanakoğlu and Özekici,[6] the investor's level of initial wealth (the distinguishing feature of investors) does not affect the optimal composition of the risky part of the portfolio. A similar result is given by Schmedders.[7] References ^ Chamberlain, G (1983). "A characterization of the distributions that imply mean-variance utility functions". Journal of Economic Theory. 29: 185–201. doi:10.1016/0022-0531(83)90129-1. ^ Owen, J.; Rabinovitch, R. (1983). "On the class of elliptical distributions and their applications to the theory of portfolio choice". Journal of Finance. 38 (3): 745–752. doi:10.1111/j.1540-6261.1983.tb02499.x. ^ Merton, Robert; September (1972). "An analytic derivation of the efficient portfolio frontier" (PDF). Journal of Financial and Quantitative Analysis. 7 (4): 1851–1872. doi:10.2307/2329621. hdl:1721.1/46832. JSTOR 2329621. ^ Cass, David; Stiglitz, Joseph (1970). "The structure of investor preferences and asset returns, and separability in portfolio allocation". Journal of Economic Theory. 2 (2): 122–160. doi:10.1016/0022-0531(70)90002-5. ^ Huang, Chi-fu, and Robert H. Litzenberger, Foundations for Financial Economics, North-Holland, 1988. ^ Çanakoğlu, Ethem; Özekici, Süleyman (2010). "Portfolio selection in stochastic markets with HARA utility functions". European Journal of Operational Research. 201 (2): 520–536. doi:10.1016/j.ejor.2009.03.017. ^ Schmedders, Karl H. (June 15, 2006) "Two-fund separation in dynamic general equilibrium," SSRN Working Paper Series. https://ssrn.com/abstract=908587 Categories: Portfolio theoriesEconomics theoremsFinancial economics

Si quieres conocer otros artículos parecidos a **Mutual fund separation theorem** puedes visitar la categoría **Economics theorems**.

Deja una respuesta