• Keine Ergebnisse gefunden

A complete appendix with supplemental material is available online.

B Proofs

B.1 Lemma 1

Note that (2) and (5) implyλb=UCb

1ββb

. Using the latter, (6), (11), and the definition of βee, we get λe= URCeL

1βee

βe

.

If Supposeβb < β and βe <βee. Then λb > 0 and λe >0, which implies that (4) and (9) are binding.

Section D.1provides a closed-form sequential solution for a unique steady state, where we set τD =τK = τL =τN = 0. As shown there, the binding collateral constraint is used to solve for L >0 conditional on K >0. The binding leverage constraint is then used to solve forD >0 conditional onL >0.

Only if Suppose there exists a unique steady state with D >0 andL >0. Sinceλb0 andλe0, we must haveβb β andβeβee. If βb =β, then (5) is equivalent to λb = 0. Moreover, the complementary slackness conditions (7) are automatically satisfied. SinceL >0 by the premise, any D(0,(1κ)L] can be part of an unstable steady state, which contradicts uniqueness. It follows that βb < β. An identical argument applied to (9) and (11) demonstrates that we must have βe<βee.

B.2 Lemma 2

Bankers Multiply both sides of (5) byDt, multiply both sides of (6) byLt, and subtract the former from the latter:

UC,tb (LtDt) =βbEt[UC,t+1b (RLt+1LtRtDt)] +λbt[(1κt)LtDt].

Using (3) and (7),

UC,tb (LtDt) =βbEt(UC,t+1b Ct+1b ) +βbEt[UC,t+1b (Lt+1Dt+1)].

Iterating this equation forward, we obtain LtDt= 1

UC,tb X s=1

βbsEt(UC,t+sb Ct+sb ).

Entrepreneurs The argument is symmetric to the case of bankers. Multiply (11) byLtand (12) byKt, subtract the former from the latter and use (8), (10), and (13), noting thatF is Cobb—Douglas, to obtain

UC,te (QtKtLt) =βeEt(UC,t+1e Ct+1e ) +βeEt[UC,t+1e (Qt+1Kt+1Lt+1)].

Iterating forward, we get

QtKtLt= 1 UC,te

X s=1

βesEt(UC,t+se Ct+se ).

B.3 Lemma 3

The definition ofWti implies β ββi

(WtiVti) =Et X s=1

βsVt+si

!

=βEt(Vt+1i ) +βEt

"

Et+1 X s=1

βsVt+1+si

!#

=βEt(Vt+1i ) +βEt β

ββi

(Wt+1i Vt+1i )

. Hence,

Wti =VtiβiEt(Vt+1i ) +βEt(Wt+1i )

=Uti+βEt(Wt+1i )

=Et X s=0

βsUt+si

! .

B.4 Proposition 1

DefineλLt λL1,t+λL2,t[(1κt)LtDt]. The FOCs are Ctb: 0 =ωbUC,tb λYt λCt +λLtUCC,tb Lt1N(t)

β Lt−1βb(UCC,tb RLtLt−1+UC,tb ) +λet−1], Cte: 0 =ωeUC,te λYt λCt,

Ctw: 0 =ωwUC,tw λYt λCtWC,tNtLtβbEt(UC,t+1b ) +βEtCt+1) +λet]R1,tUCC,tw Dt

1N(t)

β Lt−1βbEt−1(UC,tb ) +βEt−1Ct ) +λet−1]R2,t−1UCC,tw Dt−1,

Dt: 0≥ −λbtλL2,t[UC,tb βbEt(UC,t+1b RLt+1)]Lt+λCt LtβbEt(UC,t+1b ) +βEtCt+1) +λet]Rt

+1N(t)

β Lt−1βbUC,tb +λet−1), equality ifDt>0,

Kt: 0 =−λCt{Q2,t[Kt(1δ)ξtKt−1] +Qt}+λetmtEt[(Q1,t+1Kt+Qt+1t+1]λYtI2,t

+βEt[(λCt+1+λYt+1)At+1FK,t+1ξt+1+λCt+1{Qt+1(1δ)ξt+1Q1,t+1[Kt+1(1δ)ξt+1Kt]}

λYt+1I1,t+1] + 1N(t)

β λet−1mt−1Q2,tξtKt−1,

Lt: 0 =bt+λL2,t[UC,tb βbEt(UC,t+1b RLt+1)]Lt}(1κt) +λLtUC,tb 1N(t)

β Lt−1βbUC,tb +λet−1), Nt: 0 =ωwUN,tw + (λCt +λYt )AtFN,tLtβbEt(UC,t+1b ) +βEtCt+1) +λet]R1,tUCN,tw Dt

λCt(WN,tNt+Wt)1N(t)

β Lt−1βbEt−1(UC,tb ) +βEt−1Ct) +λet−1]R2,t−1UCN,tw Dt−1. The complementary slackness conditions are

0 =λbt[(1κt)LtDt], λbt 0,

0 =λL1,t[UC,tb LtβbEt(UC,t+1b Bt+1)], DtλL1,t0, 0 =λet[mtEt(Qt+1ξt+1)KtEt(Bt+1)], λet 0.

B.4.1 Constrained inefficiency

Follows from inspecting the planner’s analogs of (5) and (10)–(12). Consider them one-by-one.

Deposit supply The FOCs forCtb andDtimply UC,tb βbRtEt(UC,t+1b ) +λbt

ωb + ΨDt , equality ifDt>0, where

ωbΨDt βb)RtEtbUC,t+1b ) +λYt βRtEtYt+1) +λL2,t[UC,tb βbEt(UC,t+1b RLt+1)]Lt

λLt[UCC,tb +βbRtEt(UCC,t+1b RLt+1)]Lt+βRtEtLt+1UCC,t+1b Lt+1) +1N(t)

β λLt−1βbUCC,tb RLtLt−1. Loan demand IfDt>0, the FOCs forCte,Dt, andLtimply

UC,te =βeEt(UC,t+1e RLt+1) +λet

ωeEt(RLt+1) + ΨLt, where

ωeΨLt = (ββe)EteUC,t+1e RLt+1)Et[(βωeUC,t+1e +λet)(RLt+1Rt)] +λYt βRtEtYt+1)

λLt

"

UC,tb

1κtβbRtEt(UC,t+1b )

#

+1N(t) β

κt

1κtLt−1βbUC,tb +λet−1).

If Dt = 0, we still have Lt > 0, so the FOC for Lt holds. To see this, note that the leverage constraint implies Ct+1b +Lt+1Dt+1 0, and the inequality is strict ifCt+1b > 0. Provided that Ct+1b > 0 with positive measure, which is guaranteed if bankers are risk averse and the Inada condition holds,Dt=Lt= 0 would contradict the constraint associated withλL1,t. Note that the FOCs forCtbandCteyield the following general relationship between the marginal utilities

ωbUC,tb =ωeUC,te λLtUCC,tb Lt+1N(t)

β Lt−1βb(UCC,tb RLtLt−1+UC,tb ) +λet−1].

WithDt= 0, we haveUC,tb =βbEt(UC,t+1b RLt+1). The FOC forLtthen impliesλLtUC,tb = 1Nβ(t)Lt−1βbUC,tb + λet−1) att. Combining these results, ifDt= 0, the wedge satisfies

ωeΨLt = (βbβe)EteUC,t+1e RLt+1) +λLt

UCC,tb LtUC,tb +β2b

β Et[(UCC,t+1b RLt+1Lt+UC,t+1b )RLt+1]

βbEtLt+1UCC,t+1b Lt+1RLt+1)1N(t)

β λLt−1βbUCC,tb RLtLt−1ββb

β λetEt(RLt+1).

Labor demand The FOCs forCte,Ctw, andNtcombined with the definition ofWtimply Wt=AtFN,t+ ΨNt ,

where

ΨNt =eUC,te ωwUC,tw λCt)AtFN,tλCtWN,tNt

ωwUC,tw +λCt UCN,tw UCC,tw

ωwUC,tw ωeUC,te +λCt(1WC,tNt) ωwUC,tw +λCt .

Capital demand The FOCs forCte andKt imply

That consumption insurance is generally imperfect follows immediately from inspecting the FOCs with respect to Ctb, Cte, and Ctw. The same applies to partial risk sharing between bankers and entrepreneurs.

Note that the FOCs forDtandLtimply a steady-state relationshipλe=λLβb)UCb(Cb). Hence,λeand λL are either both zero or both positive.

Suppose workers have separable preferences Uw(Cw, N) = u(Cw)v(N) and λe = λL = 0. In this

where the second equality is true if the steady-state profits of capital good producers are zero so that the worker’s budget constraint impliesCw=W N+ (R1)D. It follows thatωwu(Cw) =λY +λC if and only if (−Cw)uu′′(C(Cww)) = 1 if and only ifu(·) = ln(·).

B.4.3 Indeterminacy and optimal steady state

SectionD.3 shows that the steady state construction reduces to considering two cases,λL= 0 andλL>0.

IfλL= 0,D must satisfy the rearranged collateral constraint:

Cb+ (R1)D+ max there is a generally infinite set of solutionsD[0,D] for some ¯¯ D >0. Since there is an uncountable infinity of steady states, each such steady state is unstable, and the FCEA is locally indeterminate. Numerical analysis under the baseline calibration demonstrates that each choice ofD yields either a unique solution to a nonlinear system or no solutions, and welfareW is strictly decreasing inD. The latter is related to the problem of finding an optimal steady state.

Consider the planner’s problem with no uncertainty, restricting attention to constant plans. An optimal plan of this sort will define the optimal steady state. In the steady state, R = β1, KI = Φ−1[1(1δ)ξ],

conditional on (Cb, D). The optimal steady state is then a solution to

(Cb,Ce,Cmaxw,D,K,N)

X

i∈I

ωiUi subject to

λC: 0 =AF(ξK, N)Q[1(1δ)ξ]KW(Cw, N)N(R1)DCbCe, λe: 0mQξK[Cb+ (R1)D+L],

λY : 0 =AF(ξK, N)X

i∈I

Ci I KK.

Conditional on Cb, L is a strictly increasing function of D, differentiable everywhere except at the kink.

We can assume without loss of generality that the derivative at the kink is an average of the left and right derivatives. Suppose (Cb, Ce, Cw, D, K, N) is optimal, whereD >0. It must satisfy the FOC forD:

0 =−λC(R1)λe

R1 + ∂L

∂D

.

Note thatR >1,λe0, and ∂D∂L >0. If, moreover, λC>0, we have−λC(R1)λe R1 + ∂D∂L

<0, which is a contradiction. Therefore,D= 0 is optimal.

Intuitively,λC must be positive since it is the shadow value of wealth associated with the consolidated budget constraint of bankers and entrepreneurs. Assume separable preferences and combine the FOCs for CwandN together with the definition ofW to obtain

λC= ωwu(Cw)(AFN W) (WCN1)AFN+WNN+W.

By definition, WC > 0 and WN > 0. Hence, if N and Cw are less than in the first-best allocation, FN

must be greater andW less; therefore, AFN W >0. A sufficient—but not necessary—condition for the denominator to be positive isWCN 1. If uhas constant relative risk aversion γw >0, as is the case in the quantitative analysis,WC =−Wuu′′(C(Cww)) = CWwγw. Ifγw is large enough, we are done. Alternatively, if γw1 andD0, thenCwW N and WCN 1; therefore, (WCN1)AFN 0. SinceWNN+W >0, we then haveλC>0.

B.5 Proposition 2

Bankers Note that the form ofTtb ensures that (3) is true in equilibrium. The Euler equation for deposits is now

UC,tb (1τtD)βbRtEt(UC,t+1b ) +λbt, equality ifDt>0.

Using (6)—which remains unchanged relative to the FCE—to solve forλbt, the Euler equation for deposits can be rearranged as

UC,tb βbRtEt(UC,t+1b ) +UC,tb βbEt(UC,t+1b RLt+1) 1κt

+τtDUC,tb , equality ifDt>0.

As follows from SectionB.4.1, the right-hand side is equivalent to the one in the FCEA if and only if τtD= 1

UC,tb

"

λbt ωb

UC,tb βbEt(UC,t+1b RLt+1) 1κt

+ ΨDt

# .

Entrepreneurs The form ofTteguarantees that (8) holds in equilibrium. Without loss of generality, let

λet

ωe denote the scaled Lagrange multiplier on the collateral constraint. The modified FOCs are (1 +τtN)Wt=AtFN,t,

SectionB.4.1then immediately implies that we must set τtN = −ΨNt

Wt , τtL= ΨLt

UC,te , τtK= −ΨKt UC,te Qt.

Ramsey equilibrium On the banker’s side, we can use the regulated deposit supply Euler equation to solve forτtb in terms of allocations and prices. The remaining constraints are identical to those faced by the social planner in the definition of an FCEA. Similarly, on the entrepreneur’s side, we can use the regulated demand conditions for labor, loans, and capital to back out the corresponding tax rates τtN, τtL, and τtK. Guessing that the private complementary slackness conditions associated with the collateral constraint are not binding, we are left with the entrepreneur’s budget constraint and the collateral constraint—the same set of constraints as in the FCEA definition. After solving for prices and the investment function as in the FCEA, the complete set of constraints faced by the Ramsey planner is identical to the one in the FCEA definition. Therefore, the FCEA is exactly the allocation that is part of the Ramsey equilibrium. Finally, we can verify that the individual entrepreneur’s complementary slackness conditions are indeed not binding because they are implied by the planner’s analogous complementary slackness conditions.

B.6 Lemma 4 4. An allocation-policy pair is part of a Ramsey equilibrium if—combined with the associated prices and Lagrange multipliers—it constitutes a regulated competitive equilibrium with the maximum level of welfare over all feasible allocation-policy pairs.

Consider a feasible policy t, mt, τtD, τtN, τtL, τtK} ⊂[0,1]2×R4 and the corresponding regulated FCE allocation {Ctb, Cte, Ctw, Dt, Kt, Lt, Nt}. The policy is consistent with the construction in the lemma. If UC,tb > βbEt(UC,t+1b RLt+1), then (6) implies thatλbt >0, and thus the leverage constraint is binding, which impliesκt= 1−DLt

t; otherwise,κt0 combined with the leverage constraint is equivalent toκth

0,1DLt

t

i. The collateral constraint combined withmt1 is equivalent tomth E

t(RLt+1)Lt Et(Qt+1ξt+1)Kt,1i

. The tax rates are

consistent with the regulated analogs of (5) and (10)–(12). Moreover, as argued in Proposition2, the alloca-tion is feasible for the FCEA problem. SinceDt(1κt)LtLtandEt(RLt+1)LtmtEt(Qt+1ξt+1)Kt Et(Qt+1ξt+1)Kt, the allocation is feasible for the relaxed problem.

Conversely, suppose an allocation {Ctb, Cte, Ctw, Dt, Kt, Lt, Nt} is feasible for the relaxed problem and construct the corresponding policy as described in the lemma. The construction ofκtensures that the FCE version of the bank leverage constraint and the private complementary slackness conditions are satisfied.

The construction of mt guarantees that the FCE version of the collateral constraint is respected. The construction of the tax rates makes sure that the regulated analogs of (5) and (10)–(12) hold. The policy is feasible, that is,t, mt, τtD, τtN, τtL, τtK} ⊂[0,1]2×R4. It follows that the allocation and the constructed policy—combined with the associated prices and Lagrange multipliers—constitute an FCE.

We have established that the two problems have identical feasible sets of allocation-policy pairs. Since the objective functions are equivalent, the two problems yield identical optimal allocation-policy pairs.

B.7 Lemma 5

The relaxed problem is

max

{Cbt,Cte,Cwt,Dt,Kt,Lt,Nt}

E0 X t=0

βtX

i∈I

ωiUti

!

subject to

λbt: 0LtDt,

λLt : 0 =βbEt[UCb(Ct+1b )(Ct+1b +Lt+1Dt+1)]UCb(Ctb)(LtDt), λDt : 0UCb(Ctb)βbRtEt(UCb(Ct+1b )),

λCt : 0 =AtFtKt−1, Nt)Q(Kt−1, Kt, ξt)[Kt(1δ)ξtKt−1]W(Ctw, Nt)Nt+Dt

Rt−1Dt−1CtbCte,

λet: 0Et(Q(Kt, Kt+1, ξt+1t+1)KtEt(Ct+1b +Lt+1Dt+1+RtDt),

λKt : 0 =βeEt[UCe(Ct+1e ){[At+1FKt+1Kt, Nt+1) +Q(Kt, Kt+1, ξt+1)(1δ)]ξt+1KtCt+1b

Lt+1+Dt+1RtDt}]UCe(Cte)(Q(Kt−1, Kt, ξt)KtLt), λBt : 0UCe(Cte)LtβeEt[UCe(Ct+1e )(Ct+1b +Lt+1Dt+1+RtDt)], λYt : 0 =AtFtKt−1, Nt)X

i∈I

CtiI(Kt−1, Kt, ξt),

whereRt=R(UCw(Ctw, Nt),Et[UCw(Ct+1w , Nt+1)]), the functionsW,R,Q, andI are as in Definition4.

In the absence of taxation on the banker’s side, (3)–(7) must be respected by the planner. As before, we can use (3) to solve for Bt RtLLt−1 = Ctb+LtDt+Rt−1Dt−1. Now we can use (5) to express λbt =UC,tb βbRtEt(UC,t+1b ). Multiplying (5) byDt and (6) byLt, subtracting the former from the latter, and using the complementary slackness conditions (7), (6) can be expressed in terms of allocations only.

Hence, the implementability conditions that go to the Ramsey problem from the banker’s side are 0(1κt)LtDt,

0 =βbEt[UC,t+1b (Ct+1b +Lt+1Dt+1)]UC,tb (LtDt), 0UC,tb βbRtEt(UC,t+1b ),

0 = [UC,tb βbRtEt(UC,t+1b )][(1κt)LtDt].

Consider the entrepreneur’s problem. As before, we can use the regulated analog of (10) to solve for τtN AtWFN,t

t 1. Using (11), we can express λetEt(Bt+1) = UC,te LtβeEt(UC,t+1e Bt+1). By multiplying (11) byLt and (12) byKt, subtracting the former from the latter, and using the complementary slackness conditions (13), (12) can be identically expressed in terms of allocations. Using the definition of Btbased

on (3), the implementability conditions from the entrepreneur’s side are

0 =AtF(ξtKt−1, Nt)Qt[Kt(1δ)ξtKt−1]WtNt+DtRt−1Dt−1CtbCte, 0mtEt(Qt+1ξt+1)KtEt(Bt+1),

0 =βeEt[UC,t+1e {[At+1FKt+1Kt, Nt+1) +Qt+1(1δ)]ξt+1KtBt+1}]UC,te (QtKtLt), 0UC,te LtβeEt(UC,t+1e Bt+1),

0 = [UC,te LtβeEt(UC,t+1e Bt+1)][mtEt(Qt+1ξt+1)KtEt(Bt+1)].

The remaining implementability conditions are constituted in the functionsW,R,Q, andI, defined by (1), (2), (14), and (20), as well as the resource constraint obtained by combining (21) and (22).

The equivalence between the feasible sets of allocation-policy pairs that satisfy the implementability conditions above and the constraints of the relaxed problem follows from the arguments that are identical to the proof of Lemma 4. Now we have only one tax rate τtN that can be constructed from the regulated version of (10), and both κt and mt are set such that the private complementary slackness conditions are satisfied.

B.8 Proposition 3

The FOCs for the problem of Lemma5 are

Ctb : 0 =ωbUC,tb λYt λCt Lt(LtDt)λDt]UCC,tb +1N(t)

β {[λLt−1(Ctb+LtDt)λDt−1Rt−1bUCC,tb +λLt−1βbUC,tb λet−1Kt−1+λBt−1eUC,te }, Cte: 0 =ωeUC,te λYt λCt Kt (QtKtLt)λBtLt]UCC,te

+1N(t)

β Kt−1RKt Qt−1Kt−1Kt−1+λBt−1)RLtLt−1eUCC,te , Ctw: 0 =ωwUC,tw λYt λCtWC,tNt− {λDtβbEt(UC,t+1b ) + [βEtCt+1) +λet

+ (λKt +λBteEt(UC,t+1e )]Dt}R1,tUCC,tw 1N(t)

β Dt−1βbEt−1(UC,tb ) + [βEt−1Ct) +λet−1 + (λKt−1+λBt−1eEt−1(UC,te )]Dt−1}R2,t−1UCC,tw ,

Dt: 0 =−λbt+λLtUC,tb +λCt EtCt+1) +λet+ (λKt +λBteEt(UC,t+1e )]Rt

+1N(t)

β [−λLt−1βbUC,tb +λet−1+ (λKt−1+λBt−1eUC,te ],

Kt: 0 =−λCt{Q2,t[Kt(1δ)ξtKt−1] +Qt}+λetEt[(Q1,t+1Kt+Qt+1t+1]λYt I2,t

+λKt eEt[UC,t+1e {[At+1FKK,t+1ξt+1+Q1,t+1(1δ)]ξt+1Kt+RKt+1Qt}]UC,te (Q2,tKt+Qt)}

+βEt[(λCt+1+λYt+1)At+1FK,t+1ξt+1+λCt+1{Qt+1(1δ)ξt+1Q1,t+1[Kt+1(1δ)ξt+1Kt]}

λKt+1UC,t+1e Q1,t+1Kt+1λYt+1I1,t+1] +1N(t)

β et−1+λKt−1βeUC,te (1δ)]Q2,tξtKt−1, Lt: 0 =λbtλLtUC,tb + (λKt +λBt)UC,te +1N(t)

β Lt−1βbUC,tb λet−1Kt−1+λBt−1eUC,te ], Nt: 0 =ωwUN,tw + (λCt +λYt)AtFN,tλCt(WN,tNt+Wt)− {λDt βbEt(UC,t+1b ) + [βEtCt+1) +λet

+ (λKt +λBteEt(UC,t+1e )]Dt}R1,tUCN,tw 1N(t)

β Dt−1βbEt−1(UC,tb ) + [βEt−1Ct) +λet−1 + (λKt−1+λBt−1eEt−1(UC,te )]Dt−1}R2,t−1UCN,tw +1N(t)

β λKt−1βeUC,te AtFKN,tξtKt−1.

The complementary slackness conditions are

0 =λbt(LtDt), λbt0,

0 =λDt [UC,tb βbRtEt(UC,t+1b )], λDt 0, 0 =λet[Et(Qt+1ξt+1)KtEt(Bt+1)], λet 0, 0 =λBt [UC,te LtβeEt(UC,t+1e Bt+1)], λBt 0.

Inspecting the FOCs forCtb,Cte, andCtw, we see that consumption insurance is generally imperfect.

Consider the steady state. The λLt constraint impliesLD = 1−ββbbCb 0, which makes the relaxed bankers and entrepreneurs. Risk sharing is only approximate because generallyλLt 6= 0 outside of the steady state. IfUw(Cw, N) = ln(Cw)v(N) and the steady-state profits of capital good producers are zero, the FOC forCtw impliesωwUCw=λC+λY, as in the proof of Proposition1.

SectionD.5constructs the steady state. The construction boils down to considering two cases: collateral constraint is slack or binding. Each case can be reduced to solving a system of three nonlinear equations.

Conditional on solving a nonlinear system, the sequential solution uniquely determines the steady state.

Since the problem reduces to a numerical one, we cannot claim that the steady state is unique. However, it is the case under the baseline calibration and other parameterizations considered in the analysis.

B.9 Proposition 4

Ctw: 0 =ωwUC,tw λYt λCtWC,tNtLtβbEt(UC,t+1b ) +βEtCt+1) +λet]R1,tUCC,tw Dt1N(t)

The FOCs for Cte andKtimply

Risk sharing and steady state Risk sharing properties follow from inspecting the FOCs forCtb,Cte, andCtw. In particular, the latter now has the term that reflects the market power of retailers. Ifλe=λL= 0 and workers have separable preferences, the FOC forCw in the steady state is

0 =ωwu(Cw)λY +λCu′′(Cw)

Sinceǫ <∞, even with logarithmic preferences, the worker’s steady-state Pareto-weighted marginal utility of consumption is less than that of bankers and entrepreneurs.

As shown in Section D.6, the steady state construction parallels the FCEA, reducing to two cases—

whether λL = 0 or λL > 0. In both cases, the quantity of deposits is indeterminate, but conditional on choosing an admissible value ofD, there typically exists a unique steady state. The proof that the optimal steady state hasD= 0, provided thatλC>0, is identical to the FCEA in Proposition1.

Decentralization After replacingAtwithPtwAtin the entrepreneur’s problem, the proof is identical to the proof of Proposition2.

λt : 0 = ǫ1

The complementary slackness conditions are

0 =λbt(LtDt), λbt0,

0 =λLt[UC,tb LtβbEt(UC,t+1b Bt+1)], DtλLt 0, 0 =λet[Et(Qt+1ξt+1)KtEt(Bt+1)], λet0, 0 =λRt[RtEtt+1)R], λRt 0.

The risk-sharing and steady-state properties follow from the proof of Proposition4after settingλL2,t= 0, κt= 0, andmt= 1. The short-run inflation behavior is represented by the FOC for Πt. Section D.7shows that in the steady state, the FOC for Π is equivalent to

λR=Π1

Therefore, sgn(λR) = sgn(Π1). The complementary slackness conditions postulate that Π =βRifλR>0.

Hence, ifRβ1, then Π = 1; ifR > β1, then Π =βR.

λRt : 0RtEtt+1)R,

Πt: 0 =λtPet)

ǫ1 ǫ Yt+

βθEt

UC,t+1w Πǫ−1t+1e1,t+1

Pt+1

UC,tw

+λt ǫ

"

θΠǫ−1t t−1(1θ)Pet) Petǫ+1

#

1N(t)θΠǫ−1t 1,t

UC,tw UC,t−1w

"

λeCt−1t−1ǫλt−1Pet−1

Pet

ǫ1 Πt

Pet) Pet

!#

+1N(t)

β λRt−1Rt−1. The complementary slackness conditions are

0 =λbt(LtDt), λbt0,

0 =λDt [UC,tb βbRtEt(UC,t+1b )], λDt 0, 0 =λet[Et(Qt+1ξt+1)KtEt(Bt+1)], λet 0, 0 =λBt [UC,te LtβeEt(UC,t+1e Bt+1)], λBt 0, 0 =λRt[RtEtt+1)R], λRt 0.

The risk-sharing and steady-state properties follow from comparing the optimality conditions to those in the proof of Proposition3. The special case of approximate full insurance fails for the same reasons as in the proof of Proposition4. The short-run inflation behavior is represented by the FOC for Πt. SectionD.8 shows that in the steady state, the FOC for Π is equivalent to

λR=Π1 Π

βθΠǫ−1 1βθΠǫ

1)eλC+ǫλY 1θΠǫ−1 βY.

Moreover,

1)eλC+ǫλY =

ωeUCe +λK

(R1)(QKL)UCCe +βeRUCeαǫ−1ǫ ǫ

v′′(N)

u(Cw)N+W

+ωwv(N)

v′′(N)

u(Cw)N+W +1ǫAFN

>0.

If the relaxed collateral constraint is slack so thatλK =λe= 0, the inequality follows immediately; otherwise, it can be verified numerically. Therefore, sgn(λR) = sgn(Π1). The complementary slackness conditions postulate that Π =βRifλR>0. Hence, ifRβ1, then Π = 1; ifR > β1, then Π =βR.