Mean-Variance Efficiency of Optimal Power and Logarithmic Utility Portfolios

We derive new results related to the portfolio choice problem for power and logarithmic utilities. Assuming that the portfolio returns follow an approximate log-normal distribution, the closed-form expressions of the optimal portfolio weights are obtained for both utility functions. Moreover, we prove that both optimal portfolios belong to the set of mean-variance feasible portfolios and establish necessary and sufficient conditions such that they are mean-variance efficient. Furthermore, an application to the stock market is presented and the behavior of the optimal portfolio is discussed for different values of the relative risk aversion coefficient. It turns out that the assumption of log-normality does not seem to be a strong restriction.


Introduction
The theory of optimal portfolio choice started with the pioneering contribution of Markowitz (1952). Markowitz used the variance as a measure of the risk of a portfolio return. He recommended to choose the portfolio weights in such a way that the portfolio variance is minimal for a given level of the expected portfolio return. All of these so-called efficient portfolios lie in the efficient frontier which is a parabola in the mean-variance space.
In the meantime many further proposals for a portfolio selection have been made. A widely made approach is based on the maximization of an investor's utility function, where the investor chooses a portfolio for which its utility has reaches a maximum possible value (Pennacchi, 2008;Elton et al., 2009). The mean-variance approach of Merton and Samuelson (1974) turns out to be fully consistent with the expected utility maximization (see, Dybvig and Ingersoll, 1982). This result is valid without any distributional assumptions imposed on the returns. Similarly, a quadratic utility provides a closed-form solution under very general conditions (Bodnar et al., 2015a). However, there are many other ways to choose the utility function like, e.g., the power and the exponential utility function. In these cases no closedfrom solutions can be derived without information on the distribution of the return process (Bodnar et al., 2015b).
The focus of this paper lies on the power and on the logarithmic utility functions. If W denotes the wealth of the investor, then the power utility is given by U (W ) = 1 1−γ W 1−γ , γ > 0, γ = 1. The logarithmic utility U (W ) = log W is obtained as a limit of the power utility if γ converges to one. The quantity γ is equal to the relative risk aversion which is constant for the power utility (CRRA). This means that an investor at any wealth level will hold the same amount of money on the risky assets (Brandt, 2009;Campbell and Viceira, 2002). This is a very important property and it makes this utility function quite attractive from economical point of view.
In order to determine the optimal portfolio for the power utility several numerical procedures have been proposed in literature Grauer and Hakansson (1987); Cover (1991). The first-order conditions for the maximum of the expected utility are derived and a Taylor series expansion is used to transform the expected utility into a linear combination of moments (Brandt et al., 2005). However, no analytical solution is available in literature and mostly a numerical approach is applied (Brandt, 2009). Yet another possibility is to make use of distributional assumptions on the returns predictability (Barberis, 2000) and to combine it with a numerical procedure (Brandt and Santa-Clara, 2006;Lynch and Tan, 2010).
The use of the log-normal distribution for modeling asset or portfolio returns has become popular many years ago. In Elton and Gruber (1974) an efficient set theorem is derived assuming log-normally distributed portfolio returns. They present an algorithm for determining the efficient portfolio. In the paper on multi-period mean variance analysis Hakansson (1971) describes a limiting approach for the optimal portfolio choice. Merton and Samuelson (1974) discuss the log-normal approach in detail and conclude that it should be very carefully applied.
In this paper we consider the problem of finding the optimal portfolios for a power and logarithmic utilities under the assumption that the portfolio gross returns are approximately log-normally distributed. The analytical expressions of the optimal portfolio weights are obtained for both utility functions. Moreover, we state the conditions under which the optimal portfolio in the sense of maximizing the expected power utility and the optimal portfolio that maximizes the expected logarithmic utility are both meanvariance efficient.
The log-normal distribution used as a model for portfolio returns in this paper has several nice properties. If the portfolio gross return follows a log-normal distribution, then it is possible to determine its higher-order moments in a straightforward way. Moreover, if the ratio of mean and standard deviation is large (analog of Sharpe ratio), then the log-normal distribution is close to the normal one (analytically shown in the paper). This is for instance the case when the portfolio mean is bounded and the portfolio variance is small.
In applications, the asset returns r j vary in most cases in a range up to ±15%. Thus the corresponding gross returns R j = 1 + r j take values close to 1. Consequently the overall portfolio mean is close to one while the portfolio variance is usually small. This means that in such a case it behaves like a normal distribution. Moreover, assuming a log-normally distributed portfolio return, its continuously compounded rate of return appears to be normally distributed and vice versa. It is also notable that the normality assumption is often used in a literature, i.e. to model the asset return path, VaR process with normally distributed error terms is taken (Bodnar et al. (2015a,b); Brandt et al. (2005);Brandt and Santa-Clara (2006);Brandt (2009)).
The rest of the paper is structured as follows. In Sections 2 and 3 the optimization problem is described and the assumptions used in the paper are presented and discussed. Our main findings are given in Section 4. In Theorem 1 we derive an explicit formula for the weights of the optimal portfolio that maximizes the expected power utility and discuss its properties. In particular, we derived the conditions under which this portfolio is meanvariance efficient in Theorem 2 and show that it converges to the portfolio with the maximum Sharpe ratio when the relative risk aversion converges to infinity. In Section 4.2, the analytical results for the optimal portfolio in the sense of maximizing the expected logarithmic utility are present: the closed-form expression of its weights is provided in Theorem 3, while its mean-variance efficiency is proved in Theorem 4. In Section 5 the results of an empirical study are shown. Here we study portfolios based on stocks contained in the German stock market index. We check whether the lognormality assumption on the wealth is fulfilled and whether the conditions imposed in Theorem 1 are fulfilled. It turns out that these assumptions are reasonable and that they are mostly satisfied for the portfolios in our study. Moreover, we compare the portfolio with optimal weights with other portfolio strategies and show the dominance of the new approach.
In order to find the accuracy of the approximation we consider the difference of both distribution functions, namely Thus, difference between normal and log-normal distribution functions approaches zero quite fast as σ/µ → 0. So, the smaller σ/µ the better approximation we receive. Taking into account that the maximization problem deals with a portfolio gross return, it is well-known that in practice asset returns are close to zero, so one expects to have a portfolio gross return fluctuating around one. Consequently, considering the asset returns to be normally distributed with a mean nearby zero and a small variance we obtain normally distributed gross portfolio returns with a mean around one and a small variance. Meanwhile, the power utility is defined on a nonnegative domain, thus, it is naturally to assume that the expected portfolio gross return is positive and portfolio standard deviation is small. That is why, as it was shown, log-normal distribution can be a good proxy for the normally distributed portfolio returns.
As an illustrative example Figure 1 describes an identical behavior of density functions of normal and log-normal distributions for several combinations of µ and σ.

Portfolio selection using a utility function
In this section we give some notations and basic assumptions used in the paper and discuss the portfolio selection problem for a power utility function.
Suppose that a portfolio consists of k risky assets. Let r i denote the relative price change of the ith asset within one period and let r = (r 1 , . . . , r k ) be the vector of returns. The quantity ω i stands for the relative amount of money invested into the ith asset. Then it holds for the vector of the portfolio weights ω = (ω 1 , ω 2 , . . . , ω k ) that ω 1 = 1, where 1 is a vector of ones. The portfolio return at the end of the period is equal to ω r. If W 0 denotes the wealth of the investor at the beginning of the period, then the wealth at the end of the period is given by where R = r + 1. The mean vector of R and its covariance matrix are denoted by E(R) = µ and V ar(R) = Σ where Σ is assumed to be positive definite.
Many procedures have been proposed in literature how to construct an optimal portfolio, i.e., how to choose the optimal portfolio weights. Markowitz (1952) developed the mean-variance principle for portfolio selection. The idea is to choose the portfolio weights such that the portfolio variance is minimal for a given value of the portfolio return. Another attempt is based on utility functions. It is described in detail by, e.g., Dybvig and Ingersoll (1982). The optimal weights are obtained by maximizing the expected utility U (·) of the wealth W at the end of the investment period and it is given by There are many possibilities for the choice of a utility function U (·) (see, Pennacchi, 2008). In the case of the quadratic utility the solution of (3) is mean-variance efficient, i.e., it coincides with Markowitz's optimization problem under some conditions (see, Bodnar et al., 2013). Other utility functions considered in the literature are the HARA, the CARA, and the SAHARA utilities (see, e.g., Pennacchi, 2008;Chen et al., 2011). In this paper we deal with the optimal portfolio choice problem under the power utility function expressed as It is the only utility function with constant relative risk aversion (cf. Pennacchi, 2008) equal to γ. The logarithmic utility is a limiting case of the power utility when γ converges to 1 and it is given by Both the power utility function and the logarithmic utility function are widely applied in practice. In order to calculate the expected utility it is necessary to have a statement on the distribution of the portfolio return. There have been many proposals in literature how to model the return of stocks. Bachelier (1900) proposed to use the normal distribution for asset returns while Fama (1965) and Mittnik and Rachev (1993) suggested the use of stable distributions. An overview on various proposals can be found in, e.g., Jondeau et al. (2007).
Here we choose a slightly different way. In light of the discussion in Section 2 we assume that the portfolio return of the investor at the end of the investment period can be well approximated by a log-normal distribution, which is characterized by two parameters α ∈ IR and β > 0. We briefly write Z ∼ ln N α, β 2 to denote that a random variable Z is log-normally distributed. It holds that Z ∼ ln N α, β 2 if and only if ln Z ∼ N α, β 2 with the density given by and 0 otherwise. This distribution has a nice property that its moments can be easily derived by The log-normal distribution has been applied in finance by several authors (see, e.g., McDonald (1996), Limpert et al. (2001)). If the portfolio return is assumed to be log-normally distributed, then its continuously compounded rate of return is normally distributed and vice versa. Moreover, doing so it is implicitly assumed that the wealth is positive.

Closed-form solutions of optimal portfolio choice problems
In this section we present the analytical expressions of the optimal portfolio weights obtained for both the power utility and the logarithmic utility. Under the assumption that the portfolio gross return ω R at the end of the investment period is approximately log-normally distributed, namely ω R ∼ ln N α, β 2 , we get (see Lemma 2 in the Appendix) that are the expected return and the variance of the portfolio with the weights ω. Now we are ready to formulate our main assumption, which justifies a good log-normal approximation.
For example, if the portfolio gross return is bounded and the asset universe is large, i.e., k → ∞, then it is easy to check that many classical portfolios, like global minimum variance portfolio and equally weightes portfolio satisfy the assumption (A1) if the covariance matrix of the asset returns Σ is well behaved for increasing dimension k (its largest eigenvalue is uniformly bounded in k). Thus, one can expect that the log-normal approximation works better in case of large dimensional portfolios.
In the following we also use of the set of efficient constants, i.e. of three quantities which uniquely determine the location of the efficient frontier, the set of optimal portfolios obtained as solutions of Markowitz's optimization problem, in the mean-variance space. They are given by (Bodnar and Schmid, 2009) Here, R GM V denotes the expected portfolio return of a global minimum variance (GMV) portfolio (the portfolio with the smallest variane), V GM V stands for its variance, and s represents the slope parameter of the efficient frontier which is the upper part of the parabola given by The whole parabola is known in the literature as a feasible set of optimal portfolios.

Analytical solution for the power utility
In Theorem 1 we present the closed-form solution of the optimal portfolio choice problem for the power utility function, i.e. the solution of (3) with U (·) given in (4).
Theorem 1. Assume that (A1) holds. If then the solution of the optimization problem (3) with the power utility function U (·) from (4) is given by Moreover, if γ = γ min then D = 0 and (13) simplifies to The proof of Theorem 1 is given in the appendix.
Remark 1. Theorem 1 reveals one very important fact: the solution for the power utility function not always exists. Indeed, to guarantee the existence we need to have γ ≥ γ min , which implies that there exists a minimum level of risk aversion γ min > 0 so that for all γ ≥ γ min the solution of the optimization problem (3) with the power utility function exists and is unique. Going through the proof of Theorem 1 one can justify that this condition is equivalent to a more technical one, i.e., D ≥ 0 for all γ > 0.
The expected return of the optimal portfolio that maximizes the expected power utility is X, while its variance is equal to V = Y − X 2 . Moreover, the maximum value of the optimization problem (3) is given by It is remarkable that the optimal portfolio in the sense of maximizing the expected power utility function is located for any relative risk aversion coefficient γ on the set of feasible portfolios, i.e., on the parabola (10). This result is formulated as Corollary 1 with the proof provided in the Appendix.
Corollary 1. Under the assumptions of Theorem 1, it holds that where are the weights of the global minimum variance portfolio; R GM V and s are given in (8) and (9); X is the expected return of the optimal portfolio that maximizes the expected power utility as provided in (13).
The expression of optimal portfolio weights (17) coincides with the formula for weights obtained as a solution of Markowitz's portfolio selection problem. Moreover, the results of Corollary 1 are used to derive conditions on the relative risk aversion coefficient γ which ensure that the obtained portfolio (17) lies in the upper part of the parabola (10) and, hence, the optimal portfolio that maximizes the expected power utility function is meanvariance efficient. This finding is summarized in Theorem 2 with the proof moved to the Appendix.
Theorem 2. Under the conditions of Theorem 1, the optimal portfolio in the sense of maximizing the expected power utility function is mean-variance efficient if and only if γ ≥ γ min and R GM V > 0 .
The result of Theorem 2 provides the rigorous mathematical proof of Markowitz's conjecture that the mean-variance analysis provides a very good proxy to the utility optimization problem with the power utility in the sense that it sophistically approximates its solution (see, e.g., Levy and Markowitz (1979); Markowitz (2014)). This result is also in-line with the finding of Grauer (1986). In the case of the power utility function, Corollary 1 shows that both approaches lead to the same set of optimal portfolios, while Theorem 2 makes one step further and presents the conditions under which the mean-variance efficiency holds for the optimal portfolios obtained by maximizing the expected power utility.
It is remarkable that the optimal portfolio in the sense of maximizing the expected power utility will never coincide with the global minimum variance portfolio (GMV). This observation follows from the fact that if X = R GM V , then from Theorem 1 we get Further interesting property of the optimal portfolio in the sense of maximizing the expected power utility is formulated in Corollary 2. Here, we prove that it converges to the optimal portfolio that maximizes the Sharpe ratio, another popular portfolio in the financial literature, when γ → ∞.
Corollary 2. Suppose that the assumptions of Theorem 2 are satisfied. If γ tends to infinity, then the optimal portfolio that maximizes the expected power utility converges to the Sharpe ratio portfolio with the weights: Remark 2. Note that the Sharpe ratio portfolio presented in (20) is slightly different from a classical one because the mean vector µ is not equal to expected value of the asset returns E(r) but to E(R) = E(r)+1. This implies a very interesting fact that although the expected power utility portfolio can not be exactly equal to the GMV portfolio they are very close to each other in some situations. Indeed, if E(r) is close to zero then the weights presented in (20) are close to the GMV portfolio from (18). This is natural because the GMV portfolio plays the role of the least risky portfolio in the mean-variance framework.
Next, Corollary 3 proves that the expected return of the optimal portfolio in the sense of maximizing the expected power utility function is not smaller than the expected return of the Sharpe ratio portfolio.
Corollary 3. Suppose that the assumptions of Theorem 2 are satisfied and R GM V > 0. Then the expected return of the optimal portfolio that maximizes the expected power utility is larger than or equal to the expected return of the Sharpe ratio portfolio, i.e.
The other interesting statement is related to the coefficient of relative risk aversion. It is natural to conclude that if γ increases (what means the less risky investor) we can expect the decrease of the variance of the portfolio return. So as the result we present described fact in a Corollary 4. Besides, we have also received that the expected portfolio return decreases as well.
Corollary 4. Suppose that the assumptions of Theorem 2 are satisfied and R GM V > 0. Then the expected return and the variance of the optimal portfolio that maximizes the expected power utility are decreasing functions of γ.

Analytical solution for the logarithmic utility
In Theorem 3 we present the closed-form solution of the optimization problem (3) for the logarithmic utility given in (5). The proof of the theorem is given in the Appendix.
Theorem 3. Assume that (A1) holds. If where γ min is defined in (11), then the solution of the optimization problem (3) with the logarithmic utility function U (·) as in (5) is given by The expected return of the optimal portfolio in the sence of maximizing the expected logarithmic utility is X and its variance is given by V = Y −X 2 . Using the results of Theorem 1, we also obtain the maximum value of the optimization problem (3) for the logarithmic utility given by The expression of the weights obtained for the logarithmic utility function is a special case of the optimal portfolio weights derived for the power utility function corresponding to γ = 1. This finding is not surprising since the logarithmic utility function is a limiting case of the power utility function when γ → 1. Although the power utility cannot be defined for γ = 1 and only its limiting behavior is considered, that is not longer the case with the formula for the weights presented in Theorem 1 which can also be computed for γ = 1 as soon as the condition (11) is fulfilled which coincides with (22) of Theorem 3.
Another important application of the results given in Theorems 1 and 3 is that the weights of the optimal portfolio in the sense of maximizing the expected logarithmic utility function can also be presented in the form of Markowitz's portfolio, similarly to the expression for the weights obtained for the power utility function and they are given by with X as in (24), i.e. the optimal portfolio that maximizes the expected logarithmic utility function also lies on parabola (10). Finally, Theorem 4 presents conditions under which this portfolio is mean-variance efficient, i.e. it lies on the upper part of the parabola.

Empirical Study
The aim of this section is to show how the above results can be applied in practice. We will analyze in detail as well whether the demanded assumptions are fulfilled in practice or not. Our empirical study is based on stocks listed in the German stock index (DAX). We select 17 stocks from the DAX (ADS, ALV, BAYN, BMW, CBK, DAI, DBK, DPW, DTE, HEI, IFX, LHA, LIN, SAP, SIE, TKA, VOW3) and study their behavior during the time period from September 21, 2014 up to September 17, 2017. Our analysis is based on weekly returns. Consequently we have 157 observations for each stock.
Based on these 17 stocks we construct a number of portfolios by randomly sampling k ∈ {4, ..., 14} assets. Thus, for each k the number of different sets of assets is equal to 17 k . From every such set we determine the optimal portfolios in the sense of maximizing the expected power (logarithmic) utility. The parameters µ and Σ are estimated for each portfolio constellation by the sample mean vector and the sample covariance matrix. Moreover, without loss of generality we set W 0 = 1.

Validating of model assumption and conditions of theorems
The findings of Theorems 1 and 3 are obtained under certain assumptions. In the following we analyze whether these conditions are reasonable for the underlying data set. First, we validate the assumption of log-normally distributed portfolio returns. In order to test the hypothesis of log-normality, we apply the Shapiro-Wilk test to the logarithmized returns of optimal portfolios that maximize the expected power utility functions for the chosen set of assets. In Table 1 the 25% quantiles of the p-values are provided for several numbers of assets k within the portfolio and for several values of the relative risk aversion coefficient γ. We remind again that for each fixed k the amount of optimal portfolios under consideration is 17 k . Table 1 shows that more than 75% of the p-values are always considerably larger than the possible nominal levels of the test, like 5% in our case. Consequently, in at least of 75% of all considered cases, the null hypothesis that the returns of optimal portfolios in the sense of maximizing the expected power utility are log-normally distributed cannot be rejected. For example, choosing k = 12 and γ = 5 we receive that 75% of p-values are greater than 0.26. Moreover, with increasing number of assets the p-values are monotonically increasing as well. Hence, this gives rise to the conclusion that the log-normality assumption seems to be reasonable in a number of practical situations.
Next, we analyze whether the condition (11) of Theorem 1 is fulfilled in the considered application. Our results are summarized in Figure 2 (above).
Here the percentage of all considered cases are present for several values of the number of assets k in the portfolio and of the relative risk aversion γ when the condition {γ ≥ γ min } is not fulfilled. The dashed vertical lines represent the values of γ min (k) for every number of assets k. We observe that with decreasing k and increasing γ this condition is almost always satisfied and the number of inappropriate cases goes to zero. For example, the probability of having γ < γ min for k assets is virtually zero if γ > γ min (k) for all considered  values of k ∈ {4, 5, . . . , 14}. This is in line with the theoretical findings of Theorem 1. Moreover, because γ min (k) is always smaller than one, we can conclude due to Theorem 3 that the solution for the logarithmic portfolios exists as well. Hence, the condition (11) is realistic for both small or large portfolios and for the relatively large values of the risk aversion coefficient, at the same time the optimal portfolio that maximizes the expected power utility exists with a small probability if γ is close to zero. Finally, we analyze the condition for the mean-variance efficiency of the optimal portfolio that maximizes the expected power utility which is stated in Theorem 2. The results are presented in Figure 2 (below). Here we proceed in the same way as above for Theorem 1. The second expression in (19) supplies the classical mean-variance efficiency in sense that the accumulated expected portfolio return of GMV portfolio, i.e., 1 Σ −1 1 + 1 must be always positive. As we can observe, the related results look the same as the upper part of Figure 2, which means that the first expression of (19) seems to be a stronger restriction than the second one for the considered data set.   Figure 3: Optimal portfolios for γ ∈ {1, 2, 5} and the Sharpe ratio portfolio located on the efficient frontier for a number of assets k ∈ {4, 7, 10, 14}.

Location of the optimal portfolio that maximizes the expected power utility function on the efficient frontier
An other part of the empirical study presented by Figure 3 is related to the location of the optimal portfolios. As it was shown in (13) and (14) the mean and the variance of the optimal portfolio depends on three parameters: µ, Σ, γ. The mean vector and the covariance matrix can be estimated and in our example we consider four possible number of assets k ∈ {4, 7, 10, 14}. We choose the first k assets in the alphabetic order. Then we build efficient frontier for each combination of assets where we add the location of the optimal portfolios for γ ∈ {1, 2, 5} and the Sharpe ratio portfolio. Like it was proved in Corollary 4 we receive the decrease of the variance and the mean with the increase of a risk aversion coefficient and optimal portfolio tends to the Sharpe ratio portfolio as it was shown in Corollary 2. In addition, we also receive the increase of both mean and variance of portfolio returns with a larger amount of assets in the portfolio. Sharpe Naive Optimal Figure 4: Empirical distribution functions of the power utility for several portfolio strategies (naive portfolio, Sharpe portfolio, optimal portfolio in the sense of maximizing the expected power utility) for k = 9 assets.

A comparison of several portfolio strategies
Finally, we compare the power utilities of several portfolio strategies with each other. We examine the naive portfolio with equal weights, the Sharpe ratio portfolio, and the optimal portfolio derived in Theorem 1. Note that the GMV portfolio was excluded from the study because it was to close to Sharpe ratio portfolio for a considered data set (see, Remark 2). In Figure  4 the empirical distribution functions of the power utility obtained for each of the considered methods are given for the portfolios consisting of k = 9 assets and for various values of γ. The figure shows that the best results are obtained for the strategy derived in Theorem 1 as expected. In addition, as another visualisation of Corollary 2 result we have that the utility of the Sharpe ratio portfolio nearly coincides with the derived one in Theorem 1 as the coefficient of a relative risk aversion increases. Finally, a very bad performance of the equally-weighted (naive) portfolio is observed.

Appendix
Proof of Lemma 1. It is easy to see that Ψ(µ) = 0 and the point µ is its minimum. Indeed, let us consider a point different from µ and define it as x 0 = aµ, a > 0, a = 1. Then then it holds Now we consider the upper bound of Ψ(x) Denoting y = ln x µ we find (e y − 1) 2 = y 2 + 2 σ 2 µ 2 y.
One can see that the equation (30) has three roots (plotting is helpful in this case): the one is grater that zero, the second one is less than zero and already examined y = 0. It is also notable that as soon as Ψ(·) is a continuously differentiable function and Ψ(x) → 0 for x → ±∞, non zero extrema points are local and global maxima.
where the last equality folows from the fact that e x = 1 + x + O(x 2 ) as x → 0.
Substituting (32) into (33) and solving these two equations with respect to α and β 2 leads to the statement of the lemma.
Proof of Theorem 1. For the power utility function, we get that In order to maximize the expected utility we need to find the maximum of the expression in the exponent of (34) for γ < 1 or its minimum for γ > 1 under the side condition ω 1 = 1. In both cases the method of Lagrange multipliers is used with the Lagrange function given by Partial derivation leads to Let X := ω µ, and Y := ω Σω + (ω µ) 2 .
Then, the multiplication of (36) by ω leads to λ = γ − 1. Furthermore, multiplying (36) by µ Σ −1 /1 Σ −1 1 and 1 Σ −1 /1 Σ −1 1 and using the following equalities with R GM V , V GM V , and s as in (8), we get Next, we multiply (39) by R GM V , multiply (40) by R 2 GM V + sV GM V , and subtract the first equation from the second one to get and, consequently, Substituting (42) to (40) leads to The roots of the quadratic equation (43) are given by where Finally, from (42) and (44), we get Moreover, equation (44) shows that the quadratic equation has a solution if and only if D ≥ 0 which is equivalent to (11). Indeed, taking the derivative of D(γ) with respect to γ and setting it equal to zero one gets One can easily check that D(γ * ) is negative, thus, γ * can not be the minimum possible value of γ which guarantees the existence of the solution of (43). On the other side, the second derivative of D(γ) is positive, which indicates that γ * is the global minimum point of the parabola D(γ). Now from D(0) < 0 follows that the smallest possible value of γ > 0 should be the positive solution of equation D(γ) = 0, which is exactly γ min presented in (11).
Further, inserting two solutions of X and Y into (36), we get two equations for the possible optimal portfolio weights. Since the method of Lagrange multipliers only provides a necessary condition for the optimality in constrained problems we have to analyze the critical points in more detail to check whether a maximum or a minimum is present. We consider the right side of (34) for (X + , Y + ) and (X − , Y − ) and prove for all γ ≥ γ min and γ = 1 that and, thus, the maximum is attained at (X − , Y − ).
In the case of γ > 1, (46) is equivalent to Similarly, for 0 < γ < 1 we get which coincides with (47). Consequently, in order to prove (46), it is sufficient to show (47) for γ > γ min such that γ = 1. Or, equivalently, we have to show that for all γ > γ min the following inequality holds First, we prove that the derivative of the function on the left side of (48) with respect to γ is positive. It holds that where second last equality follows from (1+s) 4(1+γ) . In order to proceed to the derivative of Y + Y − we first note that Thus, we only need to calculate ∂ ∂γ where the third line follows from (43). Hence, Now, the application of Corollary 1 leads to Proof of Corollary 3. Using (14) and (43), the variance of the optimal portfolio that maximizes the expected power utility is given by which is non-negative if and only if Proof of Corollary 4. Using (10) the variance of the optimal portfolio that maximizes the expected power utility is given by Next we show that a partial derivative of X with respect to γ is negative what brings the decrease of X and V by γ.
Proof of Theorem 4. The proof of Theorem 4 follows from the proof of Theorem 2 with γ = 1.