Skip to article frontmatterSkip to article content
Site not loading correctly?

This may be due to an incorrect BASE_URL configuration. See the MyST Documentation for reference.

An Equiprobable Approximation to the Bivariate Lognormal

Authors
Affiliations
Johns Hopkins University
Econ-ARK
Johns Hopkins University
Econ-ARK

Economic agents face risks of many kinds, which may mutually covary. A stock broker, for example, is likely to earn a salary bonus that is positively related to the performance of the stock market; if that broker also has personal stock investments, his financial wealth and labor income will be positively correlated.

The first part of this section presents a convenient (and empirically realistic) formulation in which a consumer faces two shocks (which can be interpreted as a shock to noncapital income and a shock to the rate of return) that are distributed according to a multivariate lognormal that allows for correlation between them. The second part describes a computationally simple and convenient method for approximating that joint distribution.

1Theory

Consider a consumer who faces both a risk to transitory noncapital income[1]

θ1,t+1≡log⁡Θ1,t+1∼N(−0.5σ12,σ12)\begin{gathered}\begin{aligned} \ShkMeanOneLog_{1,t+1} \equiv \log \ShkMeanOne_{1,t+1} & \sim \mathcal{N}(-0.5\sigma^{2}_{1},\sigma^{2}_{1}) \end{aligned}\end{gathered}

and a risky log rate-of-return that is affected by following factors: the riskless rate r\rfree;

a risk premium φ\EpremLog; an additional constant ζ\zeta (whose purpose will become clear below); a component that is linearly related to θ1,t+1\ShkMeanOneLog_{1,t+1}; and an independent shock θ2∼N(−0.5σ22,σ22)\ShkMeanOneLog_{2} \sim \mathcal{N}(-0.5 \sigma^{2}_{2},\sigma^{2}_{2}):

rt+1≡log⁡Rt+1=r+φ+ζ+ωθ1,t+1(σ2/σ1)+θ2,t+1\begin{gathered}\begin{aligned} {\risky}_{t+1} \equiv \log {\Risky}_{t+1} & = \rfree+\EpremLog+\zeta + \omega \ShkMeanOneLog_{1,t+1} (\sigma_{2}/\sigma_{1}) + \ShkMeanOneLog_{2,t+1} \end{aligned}\end{gathered}

for some constant ω\omega. Since (σ2/σ1)ωθ1,t+1(\sigma_{2}/\sigma_{1}) \omega \ShkMeanOneLog_{1,t+1} is the only component of rt+1\risky_{t+1} that covaries with θ1,t+1\ShkMeanOneLog_{1,t+1},

cov⁡(θ1,t+1,rt+1)=cov⁡(θ1,t+1,(σ2/σ1)ωθ1,t+1)=ω(σ2/σ1)cov⁡(θ1,t+1,θ1,t+1)⏟=σ12=ωσ2σ1.\begin{gathered}\begin{aligned} \cov(\ShkMeanOneLog_{1,t+1} ,\risky_{t+1}) & = \cov(\ShkMeanOneLog_{1,t+1} , (\sigma_{2}/\sigma_{1}) \omega \ShkMeanOneLog_{1,t+1} ) \\ & = \omega (\sigma_{2}/\sigma_{1}) \underbrace{\cov(\ShkMeanOneLog_{1,t+1} ,\ShkMeanOneLog_{1,t+1} )}_{=\sigma^{2}_{1}} \\ & = \omega \sigma_{2}\sigma_{1} . \end{aligned}\end{gathered}

Equation (2) yields a description of the return process in which the parameter ω\omega controls the correlation between the risky log return shock and the risky log labor income shock. If ω=0\omega = 0 the processes are independent.

Now we want to find the value of ζ\zeta such that the mean risky return is unaffected by σ12\sigma^{2}_{1} (so that we will be able to understand clearly the distinct effects of labor income risk, the independent component of rate-of-return risk σ22\sigma^{2}_{2}, and the correlation between labor income risk and rate-of-return risk, ω\omega). Thus, we want to find the ζ\zeta such that

Et[Rt+1]=er+φ\begin{gathered}\begin{aligned} \Ex_{t}[\Risky_{t+1}] & = e^{\rfree+\EpremLog} \end{aligned}\end{gathered}

regardless of the values of σ12\sigma^{2}_{1} and σ22\sigma^{2}_{2}. We therefore need:

E[eζ+(σ2/σ1)ωθ1,t+1+θ2,t+1]=1.log⁡E[eζ+(σ2/σ1)ωθ1,t+1+θ2,t+1]=0.\begin{gathered}\begin{aligned} \Ex[e^{\zeta+ (\sigma_{2}/\sigma_{1}) \omega \ShkMeanOneLog_{1,t+1} + \ShkMeanOneLog_{2,t+1}}] & = 1. \\ \log \Ex[e^{\zeta+ (\sigma_{2}/\sigma_{1}) \omega \ShkMeanOneLog_{1,t+1} + \ShkMeanOneLog_{2,t+1}}] & = 0. \end{aligned}\end{gathered}

Using standard facts about lognormals (cf. Math Facts), and for convenience defining ω^=(σ2/σ1)ω\hat{\omega}= (\sigma_{2}/\sigma_{1}) \omega, we have

0.=ζ−0.5ω^σ12−0.5σ22+0.5ω^2σ12+0.5σ22=ζ−0.5σ12ω^(1−ω^)ζ=0.5(ω^−ω^2)σ12=0.5(ωσ2σ1−ω2σ22).\begin{gathered}\begin{aligned} 0. & = \zeta - 0.5 \hat{\omega} \sigma^{2}_{1} - 0.5 \sigma^{2}_{2} + 0.5\hat{\omega}^{2}\sigma^{2}_{1}+0.5 \sigma^{2}_{2} \\ & = \zeta -0.5 \sigma^{2}_{1} \hat{\omega}(1-\hat{\omega}) \\ \zeta & = 0.5 (\hat{\omega}-\hat{\omega}^{2}) \sigma^{2}_{1} = 0.5 (\omega \sigma_{2} \sigma_{1}-\omega^{2} \sigma^{2}_{2}). \end{aligned}\end{gathered}

Because the two shocks are independent by construction, the joint distribution takes a convenient form. Stacking θ1,t+1\ShkMeanOneLog_{1,t+1} and θ2,t+1\ShkMeanOneLog_{2,t+1} into a vector θ⃗\vec{\ShkMeanOneLog}, we can write

θ⃗∼N(μ⃗,Σ)\vec{\ShkMeanOneLog} \sim \mathcal{N}(\vec{\mu},\Sigma)

where μ⃗={−0.5σ12,−0.5σ22}′\vec{\mu}= \{-0.5 \sigma^{2}_{1},-0.5 \sigma^{2}_{2}\}^{\prime} and the covariance matrix Σ\Sigma is diagonal, carrying σ12\sigma^{2}_{1} and σ22\sigma^{2}_{2}.[2]

2Computation

A key step in the computational solution of any model with uncertainty is the calculation of expectations. Writing Θ~1≡Θ~1,t+1\tilde{\ShkMeanOne}_{1} \equiv \tilde{\ShkMeanOne}_{1,t+1} and R~≡Rt+1\tilde{\Risky} \equiv \Risky_{t+1} and E[∙]=Et[∙t+1]\Ex[\bullet] = \Ex_{t}[\bullet_{t+1}], the expectation of some function h\hFunc that depends on the realization of the risky return R~\tilde{\Risky} and the labor income shock is:

E[h(Θ~1,R~)]=∫Θ‾1Θˉ1∫R‾Rˉh(Θ~1,R~)dF(Θ~1,R~)\begin{gathered}\begin{aligned} \Ex[\hFunc(\tilde{\ShkMeanOne}_{1},\tilde{\Risky})] & = \int_{\underline{\ShkMeanOne}_{1}}^{\bar{\ShkMeanOne}_{1}}\int_{\underline{\Risky}}^{\bar{\Risky}} \hFunc(\tilde{\ShkMeanOne}_{1},\tilde{\Risky}) d\FFunc(\tilde{\ShkMeanOne}_{1},\tilde{\Risky}) \end{aligned}\end{gathered}

where F(Θ~1,R~)\FFunc(\tilde{\ShkMeanOne}_{1},\tilde{\Risky}) is the joint cumulative distribution function. Standard numerical computation software can compute this double integral, but at such a slow speed as to be almost unusable.

Computation of the expectation can be massively speeded up by advance construction of a numerical approximation to F(Θ~1,R~)\FFunc(\tilde{\ShkMeanOne}_{1},\tilde{\Risky}).

Such approximations generally take the approach of replacing the distribution function with a discretized approximation to it; appropriate weights wi,jw_{i,j} are attached to each of a finite set of points indexed by ii and jj, and the approximation to the integral is given by:

E[h(Θ~1,R~)]≈∑i=1n∑j=1mh(Θ^1[i,j],R^[i,j])w[i,j]\begin{gathered}\begin{aligned} \Ex[\hFunc(\tilde{\ShkMeanOne}_{1},\tilde{\Risky})] & \approx \sum_{i=1}^{n}\sum_{j=1}^{m} \hFunc(\hat{\ShkMeanOne}_{1}[i,j],\hat{\Risky}[i,j])w[i,j] \end{aligned}\end{gathered}

where the Θ^1\hat{\ShkMeanOne}_{1} and R^\hat{\Risky} matrices contain the conditional means of the two variables in each of the {i,j}\{i,j\} regions. Various methods are used for constructing the weights w[i,j]w[i,j] and the nodes (the ii and jj points for Θ1\ShkMeanOne_{1} and R\Risky).

Perhaps the most popular such method is Gauss-Hermite interpolation (see Judd (1998) for an exposition, or Kopecky & Suen (2010) for some alternatives). Here, we will pursue a particularly intuitive alternative: Equiprobable discretization. In this method, m=nm=n and boundaries on the joint CDF are determined in such a way as to divide up the total probability mass into submasses of equal size (each of which therefore has a mass of n−2n^{-2}). This is conceptually easier if we represent the underlying shocks as statistically independent, as with θ1,t+1\ShkMeanOneLog_{1,t+1} and θ2,t+1\ShkMeanOneLog_{2,t+1} above; in that case, each submass is a square region in the Θ1\ShkMeanOne_{1} and Θ2\ShkMeanOne_{2} grid. We then compute the average value of Θ1\ShkMeanOne_{1} and R\Risky conditional on their being located in each of the subdivisions of the range of the CDF. Since, in this specification, R\Risky is a function of Θ1\ShkMeanOne_{1}, the R\Risky values are indexed by both ii and jj, but since we have written Θ1\ShkMeanOne_{1} as IID, the representation of the approximating summation is even simpler than (9):

E[h(Θ~1,R~)]≈n−2∑i=1n∑j=1nh(Θ^1[i],R(Θ^1[i],Θ^2[j]))\begin{gathered}\begin{aligned} \Ex[\hFunc(\tilde{\ShkMeanOne}_{1},\tilde{\Risky})] & \approx n^{-2} \sum_{i=1}^{n}\sum_{j=1}^{n} \hFunc(\hat{\ShkMeanOne}_{1}[i],\Risky(\hat{\ShkMeanOne}_{1}[i],\hat{\ShkMeanOne}_{2}[j])) \end{aligned}\end{gathered}

where the function R(Θ1,Θ2)\Risky(\ShkMeanOne_{1},\ShkMeanOne_{2}) is implicitly defined by (2).

Details can be found in the Mathematica notebook associated with this section. A particular example, in which σ22=σ12\sigma^{2}_{2} = \sigma^{2}_{1} and ω=0.5\omega = 0.5, is illustrated in Figure 1; the red dots reflect the height of the approximation to the CDF above the conditional mean values for Θ1\ShkMeanOne_{1} and R\Risky within each of the equiprobable regions.

‘True’ CDF With Approximation Points in Red for \omega=0.5

Figure 1:‘True’ CDF With Approximation Points in Red for ω=0.5\omega=0.5

Footnotes
  1. The assumed distribution has the property E[Θ1,t+1]=1\Ex[\ShkMeanOne_{1,t+1}]=1, cf. Math Facts.

  2. An alternative would be to work with θ1,t+1\ShkMeanOneLog_{1,t+1} and rt+1\risky_{t+1} directly, which would require a multivariate normal with nonzero off-diagonal elements. The two approaches are mathematically indistinguishable, and we take the independent one because it is the more convenient to integrate against below.

References
  1. Judd, K. L. (1998). Numerical Methods in Economics. The MIT Press.
  2. Kopecky, K. A., & Suen, R. M. H. (2010). Finite State Markov-Chain Approximations To Highly Persistent Processes. Review of Economic Dynamics, 13(3), 701–714. 10.1016/j.red.2010.02.002