econ 205 - slides from lecture 11jsobel/205f10/notes11.pdf · 2013. 8. 20. · econ 205 - slides...

29
Econ 205 - Slides from Lecture 11 Joel Sobel September 7, 2010 Econ 205 Sobel

Upload: others

Post on 10-Feb-2021

4 views

Category:

Documents


0 download

TRANSCRIPT

  • Econ 205 - Slides from Lecture 11

    Joel Sobel

    September 7, 2010

    Econ 205 Sobel

  • Inverse and Implicit Functions: Introduction

    Theme:Whatever you know about linear functions is true locally aboutdifferentiable functions.

    Econ 205 Sobel

  • Inverse Functions: Review

    1. One variable, linear case: f (x) = ax . Invertible if and only ifa 6= 0.

    2. General:

    DefinitionWe say the function f : X −→ Y is one-to-one if

    f (x) = f (x ′) =⇒ x = x ′

    Recall f −1(S) = {x ∈ X | f (x) ∈ S} for S ⊂ Y .Now let’s consider f −1(y) for y ∈ Y . Is f −1 a function?If f is one-to-one, then f −1 : f (X ) −→ X is a function.

    3. f is generally not invertible as the inverse is not one-to-one.But in the neighborhood (circle around a point x0), it may bestrictly increasing so it is one-to-one locally and thereforelocally invertible.

    Econ 205 Sobel

  • TheoremIf f : R −→ R is C 1 and

    f ′(x0) 6= 0,

    then ∃ ε > 0 such that f is strictly monotone on the open interval(x0 − ε, x0 + ε).

    Econ 205 Sobel

  • Locally

    DefinitionThe function f : Rn −→ Rn is locally invertible at x0 if there is aδ > 0 and a function g : Bδ(f (x0)) −→ Rn such that f ◦ g(y) ≡ yfor y ∈ Bδ(f (x0)) and g ◦ f (x) ≡ x for x ∈ Bδ(x0).So f is locally invertible at x0, then we can define g on(x0 − ε, x0 + ε) such that

    g(f (x)) = x

    In the one-variable case, a linear function has (constant) derivative.When derivative is non zero and not equal to zero, the function isinvertible (globally).Differentiable functions with derivative not equal to zero at a pointare invertible locally.For one variable functions, if the derivative is always non zero andcontinuous, then the inverse can be defined on the entire range ofthe function.

    Econ 205 Sobel

  • Higher Dimensions

    I When is f : Rn −→ Rn invertible?I Linear functions can be represented as multiplication by a

    square matrix.

    I Invertibility of the function is equivalent to inverting thematrix.

    I A linear function is invertible (globally) if its matrixrepresentation is invertible.

    Econ 205 Sobel

  • Inverse Function Theorem

    TheoremIf f : Rn −→ Rn is differentiable at x0 and Df (x0) is invertible,then f is locally invertible at x0. Moreover, the inverse function, gis differentiable at f (x0) and Dg(f (x0)) = (Df (x0))

    −1.

    The theorem asserts that if the linear approximation of a functionis invertible, then the function is invertible locally.Unlike the one variable case, the assumption that Df is globallyinvertible does not imply the existence of a global inverse.

    Econ 205 Sobel

  • One Variable Again

    g ′(y0) =1

    f ′(x0)

    so the formula for the derivative of the inverse generalizes theone-variable formula.

    Econ 205 Sobel

  • More General Problem

    Given G : Rm+n −→ Rn. Let x ∈ Rn and z ∈ Rm.Can we solve the system of equations: G (x , z) = 0?m equations in n + m variables.Search for a solution to the equation that gives z as a function ofx .The problem of finding an inverse is really a special case wheren = m and G (x , z) = f (x)− z .

    Econ 205 Sobel

  • Who Cares?

    1. Equations characterize an economic equilibrium (marketclearing price; first-order condition)

    2. x variables are parameters.

    3. “Solve” a model for a fixed value of the parameters.

    4. What happens when parameters change?

    5. The implicit function theorem says (under a certain condition),if you can solve the system at a given x0, then you can solvethe system in a neighborhood of x0. Furthermore, it gives youexpressions for the derivatives of the solution function.

    Econ 205 Sobel

  • Why Call it Implicit Function Theorem?

    I If you could write down the system of equations and solvethem to get an explicit representation of the solution function,great.

    I . . . explicit solution and a formula for solution for derivatives.

    I Life is not always so easy.

    I IFT assumes existence of solution and describes “sensitivity”properties even when explicit formula is not available.

    Econ 205 Sobel

  • Examples

    f : R2 −→ R

    Suppose f (x , z) = 0 is an identity relating x and z .How does z depends on x?

    f (x , z) = x3 − z = 0

    Explicit solution possible.

    x2z − z2 + sin x log z + cos x = 0,

    then there is no explicit formula for z in terms of x .

    Econ 205 Sobel

  • Lower-order case

    If solving f (x , z) = 0 gives us a function

    g : (x0 − ε, x0 + ε) −→ (z0 − ε, z0 + ε)

    such thatf (x , g(x)) = 0,

    ∀ x ∈ (x0 − ε, x0 + ε)then we can define

    h : (x0 − ε, x0 + ε) −→ R

    byh(x) = f (x , g(x))

    h(x) = 0 for an interval, then h′(x) = 0 for any x in the interval.

    Econ 205 Sobel

  • Also . . .

    h′(x) = D1f (x , g(x)) + D2f (x , g(x))Dg(x)

    Since this expression is zero, it yields a formula for Dg(x) providedthat D2f (x , g(x)) 6= 0.

    Econ 205 Sobel

  • Explicit Calculation of Implicit Function Theorem FormulaIf f and g are differentiable, we calculate

    y =

    (xz

    ), G (x) =

    (x

    g(x)

    )h(x) = [f ◦ G ](x)

    h′(x) = Df (x0, z0)DG (x0)

    =

    (∂f

    ∂x(x0, z0),

    ∂f

    ∂z(x0, z0)

    )·(

    1g ′(x0)

    )=∂f

    ∂x(x0, z0) +

    ∂f

    ∂z(x0, z0)g

    ′(x0)

    = 0

    This gives us

    g ′(x0) = −∂f∂x (x0, z0)∂f∂z (x0, z0)

    Econ 205 Sobel

  • More Generally

    f : R× Rm −→ Rn

    f (x , z) =

    f1(x , z)f2(x , z)

    ...fm(x , z)

    =

    00...0

    = 0

    where x ∈ R, and z ∈ Rm.And we have

    g : R −→ Rm

    z = g(x)Econ 205 Sobel

  • IFT

    TheoremSuppose

    f : R× Rm −→ Rm

    is C 1 and write f (x , z) where x ∈ R and z ∈ Rm. Assume

    |Dz f (x0, z0)| =

    ∣∣∣∣∣∣∣∂f1∂z1

    . . . ∂f1∂zm...

    ...∂fm∂z1

    . . . ∂fm∂zm

    ∣∣∣∣∣∣∣6= 0

    andf (x0, z0) = 0.

    There exists a neighborhood of (x0, z0) and a functiong : R −→ Rm defined on the neighborhood of x0, such thatz = g(x) uniquely solves f (x , z) = 0 on this neighborhood.

    Econ 205 Sobel

  • This didn’t fit

    Furthermore the derivatives of g are given by

    Dg(x0)m×1

    = −[Dz f (x0, z0)]−1m×m

    Dx f (x0, z0)m×1

    Econ 205 Sobel

  • Comments

    1. This is hard to prove.

    2. A standard proof uses a technique (contraction mappings)that you’ll see in macro.

    3. Hard part: Existence of the function g that gives z in terms ofx .

    4. Computing the derivatives of g is a simple application of thechain rule.

    Econ 205 Sobel

  • The Easy Part

    f (x , g(x)) = 0

    And we defineH(x) ≡ f (x , g(x))

    And thus

    DxH(x) = Dx f (x0, z0) + Dz f (x0, z0)Dxg(x0)

    = 0

    =⇒ Dz f (x0, z0)Dxg(x0) = −Dx f (x0, z0)

    Multiply both sides by the inverse:

    [Dz f (x0, z0)]−1 · [Dz f (x0, z0)]︸ ︷︷ ︸=Im

    ·Dxg(x0) = −[Dz f (x0, z0)]−1DxF (x0, z0)

    =⇒ Dxg(x0) = −[Dz f (x0, z0)]−1DxF (x0, z0)Econ 205 Sobel

  • Reminders

    1. The implicit function theorem thus gives you a guarantee thatyou can (locally) solve a system of equations in terms ofparameters.

    2. Theorem is a local version of a result about linear systems.

    3. Above, only one parameter.

    4. In general, parameters x ∈ Rn rather than x ∈ R.

    Econ 205 Sobel

  • IFT - the real thing

    TheoremSuppose

    f : Rn × Rm −→ Rm

    is C 1 and write f (x, z) where x ∈ Rn and z ∈ Rm.Assume

    |Dz f (x0, z0)| =

    ∣∣∣∣∣∣∣∂f1∂z1

    . . . ∂f1∂zm...

    ...∂fm∂z1

    . . . ∂fm∂zm

    ∣∣∣∣∣∣∣6= 0

    andf (x0, z0) = 0.

    There exists a neighborhood of (x0, z0) and a functiong : Rn −→ Rm defined on the neighborhood of x0, such thatz = g(x) uniquely solves f (x, z) = 0 on this neighborhood.

    Econ 205 Sobel

  • Still Doesn’t Fit

    Furthermore the derivatives of g are given by implicitdifferentiation (use chain rule)

    Dg(x0)m×n

    = −[Dz f (x0, z0)]−1m×m

    Dx f (x0, z0)m×n

    Econ 205 Sobel

  • More Comments1. Verifying the formula is just the chain rule.2. Keep track of the dimensions of the various matrices.3. Keep in mind the intuitive idea that you usually need exactly

    m variables to solve m equations is helpful.4. This means that if the domain has n extra dimensions,

    typically you will have n parameters – the solution functionwill go from Rn into Rm.

    5. The implicit function theorem proves that a system ofequations has a solution if you already know that a solutionexists at a point.

    6. Repeat: Theorem says: If you can solve the system once,then you can solve it locally.

    7. Theorem does not guarantee existence of a solution.8. In this respect linear case is special.9. The theorem provides an explicit formula for the derivatives of

    the implicit function. Don’t memorize it. Compute thederivatives of the implicit function by “implicitlydifferentiating” the system of equations.Econ 205 Sobel

  • Example

    A monopolist produces a single output to be sold in a singlemarket. The cost to produce q units is C (q) = q + .5q2 dollars

    and the monopolist can sell q units for the price of P(q) = 4− q5

    6dollars per unit. The monopolist must pay a tax of one dollar perunit sold.

    1. Show that the output q∗ = 1 that maximizes profit (revenueminus tax payments minus production cost).

    2. How does the monopolist’s output change when the tax ratechanges by a small amount?

    Econ 205 Sobel

  • The monopolist picks q to maximize:

    q(4− q5

    6)− tq − q − .5q2.

    The first-order condition is

    q5 + q − 3 + t = 0

    and the second derivative of the objective function is −5q4−1 < 0.Conclude: at most one solution to this equation; solution must bea (global) maximum.

    Econ 205 Sobel

  • Details

    I Plug in q = 1 to see that this value does satisfy the first-ordercondition when t = 1.

    I How the solution q(t) to:

    q5 + q − 3 + t = 0

    varies as a function of t when t is close to one?

    I We know that q(1) = 1 satisfies the equation.

    I LHS of the equation is increasing in q, so IFT holds.

    I Differentiation yields:

    q′(t) = − 15q4 + 1

    . (1)

    In particular, q′(1) = −16 .

    Econ 205 Sobel

  • I To obtain the equation for q′(t) you could use the generalformula or differentiate the identity:

    q(t)5 + q(t)− 3 + t ≡ 0

    with respect to one variable (t) to obtain

    5q(t)q′(t) + q′(t) + 1 = 0,

    and solve for q′(t).

    I Equation is linear in q′.

    Econ 205 Sobel

  • Implicit Differentiation

    I This technique of “implicit differentiation” is fully general.

    I In the example you have n = m = 1 so there is just oneequation and one derivative to find.

    I In general, you will have an identity in n variables and mequations.

    I If you differentiate each of the equations with respect to afixed parameter, you will get m linear equations for thederivatives of the m implicit functions with respect to thatvariable.

    I The system will have a solution if the invertibility condition inthe theorem is true.

    Econ 205 Sobel