6. Semiverifiable Income Flashcards
How is income modelled in the semi verifiable model?
Random variable R distributed on the interval (0,infinity) according to the distribution p(R)
How is information modelled in the costly state verification model?
Income is costlessly observed by the entrepreneur but lenders can only verify income by incurring an audit cost K
Revelation principle
In designing a loan contract there is no loss of generality involved in focusing on contracts that require the entrepreneur to report income. Furthermore, the contract can be structured again without loss of generality so that the entrepreneur has an incentive to report the true realised income
Definition 1 standard debt contract
A standard debt contract specifies a debt level D. No audit if D is repaid and an audit and no reward if it is not
What does W(R) denote?
The entrepreneur’s expected reward when realised income is R and the report is true
Why does the payment have to be fixed in a no auditing region?
If it isn’t the case then among all the potential reports in the no auditing region the one with the lowest repayment will be chosen.
Proposition 1 what is the optimal contract under deterministic audit?
Under deterministic audit the optimal contract is the standard debt contract
Why can’t the reimbursement in an auditing zone exceed D?
Because if it did then the entrepreneur would be better off reporting an income in non audit zone
Why is renegotiation always welfare reducing when the initial contract is complete?
Because it only adds additional constraints in the mechanism design problem
How is the contract modelled?
y(R hat) distributed [0,1] is the probability of no audit conditional on the report R hat.
What is the entrepreneur’s reward when realised income is R, report is R hat and there is no audit
Wo(R hat, R) = R-Rl^0 x (R hat)
What is the entrepreneurs reward when realised income is R, report is R hat and there is an audit
W1(R hat, R)= R-Rl^1 x (R hat, R)
What is R?
True realised income
What is R hat?
Reported income
What is the objective function?
Integral of w(R)p(R)dR