Unit |
ECC5650 |
Topics |
Concavity, Convexity, Optimization |
Try first to attempt the following problems without looking up a textbook.
Concavity, Convexity, Quasiconcavity, Quasiconvexity
(Chiang) Given the definition of a concave (convex) function, three theorems can be deduced:
Theorem 1 (linear function) If
latex error! exitcode was 2 (signal 0), transscript follows:
is a linear function, then it is a concave funcation as well as a convex function, but not strictly so.Theorem 2 (negative of a function) If
latex error! exitcode was 2 (signal 0), transscript follows:
is a concave function, thenlatex error! exitcode was 2 (signal 0), transscript follows:
is a convex function, and vice versa. Similarly, iflatex error! exitcode was 2 (signal 0), transscript follows:
is a strictly concave function, thenlatex error! exitcode was 2 (signal 0), transscript follows:
is a strictly convex function, and vice versa.Theorem III (sum of functions) If
latex error! exitcode was 2 (signal 0), transscript follows:
andlatex error! exitcode was 2 (signal 0), transscript follows:
are both concave (convex) functions, thenlatex error! exitcode was 2 (signal 0), transscript follows:
is also a concave (convex) function. Iflatex error! exitcode was 2 (signal 0), transscript follows:
andlatex error! exitcode was 2 (signal 0), transscript follows:
are both concave (convex) and, in addition, either one or both of them are strictly concave (strictly convex), thenlatex error! exitcode was 2 (signal 0), transscript follows:
is strictly concave (strictly convex).
=> Prove these theorems.
Check
latex error! exitcode was 2 (signal 0), transscript follows:
for concavity or convexity, and hence determine whether the function has a unique maxima or minima.(Chiang) Check
latex error! exitcode was 2 (signal 0), transscript follows:
for quasiconcavity and quasiconvexity.(JR A1.48) Let
latex error! exitcode was 2 (signal 0), transscript follows:
. Prover that f is quasiconcave.
Brouwer's Theorem
Prove that the empty set
latex error! exitcode was 2 (signal 0), transscript follows:
and entire setlatex error! exitcode was 2 (signal 0), transscript follows:
are both open and closed.(JR, A1.38) Let
latex error! exitcode was 2 (signal 0), transscript follows:
and suppose thatlatex error! exitcode was 2 (signal 0), transscript follows:
. Show that f has no fixed point even though it is a continous mapping from S to S. Does this contradict Brouwer's Theorem? Why, or why not?
Lagrange Multiplier Method
Find the extremum of
latex error! exitcode was 2 (signal 0), transscript follows:
subject tolatex error! exitcode was 2 (signal 0), transscript follows:
.Find and characterise the critical points of
latex error! exitcode was 2 (signal 0), transscript follows:
subect tolatex error! exitcode was 2 (signal 0), transscript follows:
.
Kuhn-Tucker Conditions
- Check the first and second-order conditions for the following problem:
Minimize
latex error! exitcode was 2 (signal 0), transscript follows:
- subject to:
latex error! exitcode was 2 (signal 0), transscript follows:
latex error! exitcode was 2 (signal 0), transscript follows:
latex error! exitcode was 2 (signal 0), transscript follows:
latex error! exitcode was 2 (signal 0), transscript follows:
Envelope Theorem
(Riley) To produce q units of output, a profit-maximising firm requires
latex error! exitcode was 2 (signal 0), transscript follows:
units of the single input. The price of the output is p and the price of the input is r.Write down an expression for profit
latex error! exitcode was 2 (signal 0), transscript follows:
.Solve for the profit maximizing output
latex error! exitcode was 2 (signal 0), transscript follows:
and hence show thatlatex error! exitcode was 2 (signal 0), transscript follows:
and
latex error! exitcode was 2 (signal 0), transscript follows:
Show also that maximized profit for different input and output prices is
latex error! exitcode was 2 (signal 0), transscript follows:
Confirm that
latex error! exitcode was 2 (signal 0), transscript follows:
andlatex error! exitcode was 2 (signal 0), transscript follows:
.