Fixed Point Theorems



Similar documents
THE BANACH CONTRACTION PRINCIPLE. Contents

x a x 2 (1 + x 2 ) n.

BANACH AND HILBERT SPACE REVIEW

Metric Spaces. Chapter Metrics

1 if 1 x 0 1 if 0 x 1

Math 4310 Handout - Quotient Vector Spaces

Metric Spaces. Chapter 1

Practice with Proofs

Metric Spaces Joseph Muscat 2003 (Last revised May 2009)

SOLUTIONS TO EXERCISES FOR. MATHEMATICS 205A Part 3. Spaces with special properties

Notes on metric spaces

The Mean Value Theorem

1. Prove that the empty set is a subset of every set.

Continuity. DEFINITION 1: A function f is continuous at a number a if. lim

No: Bilkent University. Monotonic Extension. Farhad Husseinov. Discussion Papers. Department of Economics

1 Norms and Vector Spaces

Basic Concepts of Point Set Topology Notes for OU course Math 4853 Spring 2011

LS.6 Solution Matrices

Advanced Microeconomics

1.7 Graphs of Functions

FUNCTIONAL ANALYSIS LECTURE NOTES: QUOTIENT SPACES

0 <β 1 let u(x) u(y) kuk u := sup u(x) and [u] β := sup

1. Then f has a relative maximum at x = c if f(c) f(x) for all values of x in some

I. Pointwise convergence

TOPIC 4: DERIVATIVES

INDISTINGUISHABILITY OF ABSOLUTELY CONTINUOUS AND SINGULAR DISTRIBUTIONS

ALMOST COMMON PRIORS 1. INTRODUCTION

SPERNER S LEMMA AND BROUWER S FIXED POINT THEOREM

Notes V General Equilibrium: Positive Theory. 1 Walrasian Equilibrium and Excess Demand

LIMITS AND CONTINUITY

Separation Properties for Locally Convex Cones

2.2 Derivative as a Function

Lecture notes on Ordinary Differential Equations. Plan of lectures

Nonlinear Algebraic Equations. Lectures INF2320 p. 1/88

Multi-variable Calculus and Optimization

Mathematical Methods of Engineering Analysis

MATH 304 Linear Algebra Lecture 20: Inner product spaces. Orthogonal sets.

5.1 Derivatives and Graphs

ON COMPLETELY CONTINUOUS INTEGRATION OPERATORS OF A VECTOR MEASURE. 1. Introduction

Undergraduate Notes in Mathematics. Arkansas Tech University Department of Mathematics

ON SEQUENTIAL CONTINUITY OF COMPOSITION MAPPING. 0. Introduction

THE CONTRACTION MAPPING THEOREM

Computational Geometry Lab: FEM BASIS FUNCTIONS FOR A TETRAHEDRON

Lecture 16 : Relations and Functions DRAFT

Increasing for all. Convex for all. ( ) Increasing for all (remember that the log function is only defined for ). ( ) Concave for all.

Section 1.1. Introduction to R n

Scalar Valued Functions of Several Variables; the Gradient Vector

9 More on differentiation

1 Calculus of Several Variables

The Envelope Theorem 1

Average rate of change of y = f(x) with respect to x as x changes from a to a + h:

4 Lyapunov Stability Theory

A ProblemText in Advanced Calculus. John M. Erdman Portland State University. Version July 1, 2014

1 The Brownian bridge construction

MATH 132: CALCULUS II SYLLABUS

Economics 121b: Intermediate Microeconomics Problem Set 2 1/20/10

Class Meeting # 1: Introduction to PDEs

1. Let X and Y be normed spaces and let T B(X, Y ).

1 Completeness of a Set of Eigenfunctions. Lecturer: Naoki Saito Scribe: Alexander Sheynis/Allen Xue. May 3, The Neumann Boundary Condition

Continuity of the Perron Root

or, put slightly differently, the profit maximizing condition is for marginal revenue to equal marginal cost:

MATH 4330/5330, Fourier Analysis Section 11, The Discrete Fourier Transform

Persuasion by Cheap Talk - Online Appendix

Section 4.4 Inner Product Spaces

1. Let P be the space of all polynomials (of one real variable and with real coefficients) with the norm

MATH10212 Linear Algebra. Systems of Linear Equations. Definition. An n-dimensional vector is a row or a column of n numbers (or letters): a 1.

DERIVATIVES AS MATRICES; CHAIN RULE

Inner Product Spaces

The Graphical Method: An Example

CS 3719 (Theory of Computation and Algorithms) Lecture 4

Metric Spaces. Lecture Notes and Exercises, Fall M.van den Berg

ON PRICE CAPS UNDER UNCERTAINTY

Spectral Networks and Harmonic Maps to Buildings

CHAPTER 3. Methods of Proofs. 1. Logical Arguments and Formal Proofs

3. INNER PRODUCT SPACES

Constrained optimization.

Probability and Statistics Prof. Dr. Somesh Kumar Department of Mathematics Indian Institute of Technology, Kharagpur

Intermediate Value Theorem, Rolle s Theorem and Mean Value Theorem

Homework # 3 Solutions

CHAPTER 6: Continuous Uniform Distribution: 6.1. Definition: The density function of the continuous random variable X on the interval [A, B] is.

Definition 8.1 Two inequalities are equivalent if they have the same solution set. Add or Subtract the same value on both sides of the inequality.

Inner product. Definition of inner product

and s n (x) f(x) for all x and s.t. s n is measurable if f is. REAL ANALYSIS Measures. A (positive) measure on a measurable space

Max-Min Representation of Piecewise Linear Functions

Some stability results of parameter identification in a jump diffusion model

COMP 250 Fall 2012 lecture 2 binary representations Sept. 11, 2012

Elasticity Theory Basics

MA4001 Engineering Mathematics 1 Lecture 10 Limits and Continuity

THE CENTRAL LIMIT THEOREM TORONTO

5. Linear algebra I: dimension

Math 104: Introduction to Analysis

correct-choice plot f(x) and draw an approximate tangent line at x = a and use geometry to estimate its slope comment The choices were:

Several Views of Support Vector Machines

Linear functions Increasing Linear Functions. Decreasing Linear Functions

Real Roots of Univariate Polynomials with Real Coefficients

Section 3.7. Rolle s Theorem and the Mean Value Theorem. Difference Equations to Differential Equations

Critical points of once continuously differentiable functions are important because they are the only points that can be local maxima or minima.

Taylor and Maclaurin Series

Representation of functions as power series

Transcription:

Fixed Point Theorems Definition: Let X be a set and let T : X X be a function that maps X into itself. (Such a function is often called an operator, a transformation, or a transform on X, and the notation T x is often used in place of T (x).) A fixed point of T is an element x X for which T (x) = x. Examples: 1. Let X be the two-element set {a, b}. The function f : X X defined by f(a) = b and f(b) = a has no fixed point, but the other three functions that map X into itself each have one or two fixed points. 2. Let X be the unit interval [0, 1] in R. The graph of a function f : X X is a subset of the unit square X X. If f is continuous, then its graph is a curve from the left edge of the square to the right edge. A fixed point of f is an element of [0, 1] at which the graph of f intersects the 45 -line. Intuitively, it seems clear that if f is continuous then it must have a fixed point (its graph must cross or touch the 45 -line), and also that discontinuous functions f may not have a fixed point. Remark: Note that the definition of a fixed point requires no structure on either the set X or the function T. The Banach Fixed Point Theorem Definition: Let (X, d) be a metric space. A contraction of X (also called a contraction mapping on X) is a function f : X X that satisfies x, x X : d(f(x ), f(x)) βd(x, x) for some real number β < 1. Such a β is called a contraction modulus of f. Example: Let f : R R be a differentiable real function. If there is a real number β < 1 for which the derivative f satisfies f (x) β for all x R, then f is a contraction with respect to the usual metric on R and β is a modulus of contraction for f. This is a straightforward consequence of the Mean Value Theorem: let x, x R and wlog assume x < x ; the MVT tells us there is a number ξ (x, x ) such that f(x ) f(x) = f (ξ)(x x) and therefore f(x ) f(x) = f (ξ) (x x) β (x x). The same MVT argument establishes that if β < 1 and f : (a, b) (a, b) satisfies f (x) β for all x (a, b), then f is a contraction of (a, b).

Theorem: Every contraction mapping is continuous. Proof: Let T : X X be a contraction on a metric space (X, d), with modulus β, and let x X. Let ɛ > 0, and let δ = ɛ. Then d(x, x) < δ d(t x, T x) βδ < ɛ. Therefore T is continuous at x. Since x was arbitrary, T is continuous on X. The above proof actually establishes that a contraction mapping is uniformly continuous: Definition: Let (X, d X ) and (Y, d Y ) be metric spaces. A function f : X Y is uniformly continuous if for every ɛ > 0 there is a δ > 0 such that x, x X : d X (x, x ) < δ d Y (f(x), f(x )) < ɛ. Notice how this definition differs from the definition of continuity: uniform continuity requires that, for a given ɛ, a single δ will work across the entire domain of f. Continuity allows that the δ may depend upon the point x at which continuity of f is being evaluated; uniform continuity requires that (for a given ɛ) being within δ of any x X guarantees that the image under f is within ɛ of f(x). Theorem: Every contraction mapping is uniformly continuous. Banach Fixed Point Theorem: Every contraction mapping on a complete metric space has a unique fixed point. (This is also called the Contraction Mapping Theorem.) Proof: Let T : X X be a contraction on the complete metric space (X, d), and let β be a contraction modulus of T. First we show that T can have at most one fixed point. Then we construct a sequence which converges and show that its limit is a fixed point of T. (a) Suppose x and x are fixed points of T. Then d(x, x ) = d(t x, T x ) βd(x, x ); since β < 1, this implies that d(x, x ) = 0, i.e., x = x. (b) Let x 0 X, and define a sequence {x n } as follows: x 1 = T x 0, x 2 = T x 1 = T 2 x 0,..., x n = T x n 1 = T n x 0,... We first show that adjacent terms of {x n } grow arbitrarily close to one another specifically, that d(x n, x n+1 ) β n d(x 0, x 1 ): d(x 1, x 2 ) βd(x 0, x 1 ) d(x 2, x 3 ) βd(x 1, x 2 ) β 2 d(x 0, x 1 )... d(x n, x n+1 ) βd(x n 1, x n ) β n d(x 0, x 1 ). 2

Next we show that if n < m then d(x n, x m ) < β n 1 1 β d(x 0, x 1 ): d(x n, x n+1 ) β n d(x 0, x 1 ) d(x n, x n+2 ) d(x n, x n+1 ) + d(x n+1, x n+2 ) β n d(x 0, x 1 ) + β n+1 d(x 0, x 1 ) = (β n + β n+1 )d(x 0, x 1 )... d(x n, x m ) (β n + β n+1 + + β m 1 )d(x 0, x 1 ) = β n (1 + β + β 2 + + β m 1 n )d(x 0, x 1 ) < β n (1 + β + β 2 + )d(x 0, x 1 ) = β n 1 1 β d(x 0, x 1 ). Therefore {x n } is Cauchy: for ɛ > 0, let N be large enough that β N 1 1 β d(x 0, x 1 ) < ɛ, which ensures that n, m > N d(x n, x m ) < ɛ. Since the metric space (X, d) is complete, the Cauchy sequence {x n } converges to a point x X. We show that x is a fixed point of T : since x n x and T is continuous, we have T x n T x i.e., x n+1 T x. Since x n+1 x and x n+1 T x, we have T x = x. First Cournot Equilibrium Example: Two firms compete in a market, producing at output levels q 1 and q 2. Each firm responds to the other firm s production level when choosing its own level of output. Specifically (with a 1, a 2, b 1, b 2 all positive), q 1 = r 1 (q 2 ) = a 1 b 1 q 2 q 2 = r 2 (q 1 ) = a 2 b 2 q 1 but q i = 0 if the above expression for q i is negative. The function r i : R + R + is firm i s reaction function. Define r : R 2 + R 2 + by r(q 1, q 2 ) = (r 1 (q 2 ), r 2 (q 1 )). The function r is a contraction with respect to the city-block metric if b 1, b 2 < 1: d(r(q), r(q )) = r 1 (q) r 1 (q ) + r 2 (q) r 2 (q ) = (a 1 b 1 q 2 ) (a 1 b 1 q 2) + (a 2 b 2 q 1 ) (a 2 b 2 q 1) = b 1 q 2 q 2 + b 2 q 1 q 1 max{b 1, b 2 }( q 1 q 1 + q 2 q 2 ) = max{b 1, b 2 } d(q, q ). Therefore we have an existence and uniqueness result for Cournot equilibrium in this example: r has a unique fixed point q a unique Cournot equilibrium if each b i < 1. 3

There are several things to note about this example. First, note that while the condition b 1, b 2 < 1 is sufficient to guarantee the existence of an equilibrium, it is not necessary. Second, note that we could have obtained the same result, and actually calculated the equilibrium production levels, by simply solving the two response equations simultaneously. The condition b 1, b 2 < 1 is easily seen to be sufficient (and again, not necessary) to guarantee that the two-equation system has a solution. (Note that b 1 b 2 1 is in fact sufficient.) However, things might not be so simple if the response functions are not linear, or if there are more firms (and therefore more equations). We ll consider a second, nonlinear example shortly, and we ll use the Method of Successive Approximations to compute the equilibrium. A third thing to note about the example is that we used the city-block metric instead of the Euclidean metric. This highlights an important and useful fact: a given function mapping a set X into itself may be a contraction according to one metric on X but not be a contraction according to other metrics. Recall that the definition of a fixed point, and therefore whether a given point in the function s domain is a fixed point, does not depend on the metric we re using, and in fact does not even require that X be endowed with any metric structure. The Method of Successive Approximations: For any initial x 0 X, the sequence x n = T x n 1 that we constructed in the proof of the Banach Fixed Point Theorem not only converges to the fixed point x, it converges to x monotonically: each successive term is closer to x than its predecessor was, as we show in the following proof. Consequently, starting from any arbitrary point in X, we can repeatedly apply the function T to the current approximation of x, obtaining a better approximation, and the approximations converge to x. This often provides a straightforward method for computing x. Theorem: If T is a contraction on a complete metric space (X, d) and β is a contraction modulus of T, then for any x X, n N : d(t n x, x ) β n d(x, x ), where x is the unique fixed point of T. Proof: d(t n x, x ) = d(t T n 1 x, T x ), because x is a fixed point of T βd(t n 1 x, x ), because T is a contraction β 2 d(t n 2 x, x ) β n d(t 0 x, x ) = β n d(x, x ). 4

The Cournot Equilibrium Example Again: Suppose the current state of the market is q(0) = (q 1 (0), q 2 (0)) Firm i is producing q i (0) units. Suppose further that tomorrow (at time t = 1) each firm chooses its production level q i (1) by responding to the amount its rival firm produced today (at time t = 0), and similarly at each subsequent date: q 1 (t + 1) = r 1 (q 2 (t)) = a 1 b 1 q 2 (t) and q 2 (t + 1) = r 2 (q 1 (t)) = a 2 b 2 q 1 (t), or more concisely, q(t + 1) = r(q(t)). This construction, called the best reply dynamic, defines a sequence {q(t)} of states. This is exactly the same construction we used in the proof of the Banach Theorem and the Method of Successive Approximations. The sequence will therefore converge monotonically (in distance) to the Cournot equilibrium q, because r is a contraction. Try it yourself by choosing values for the parameters a 1, a 2, b 1, b 2 for example, a 1 = 25, a 2 = 30, b 1 = 3/5, b 2 = 1/2 and any starting state q(0). Plot the sequence along with the reaction curves in the q 1 -q 2 -space. Second Cournot Equilibrium Example: Suppose the response functions in our Cournot example are q 1 = r 1 (q 2 ) = 1 2(1 + q 2 ) and q 2 = r 2 (q 1 ) = 1 2 e q 1. Now it s not so easy to calculate the equilibrium, or even to tell whether an equilibrium exists, as it was in the linear example, where we could simply solve the two response equations simultaneously. But it s possible to show that the function r : R 2 + R 2 + defined as before is a contraction (so a Cournot equilibrium exists and is unique), and one can use the Method of Successive Approximations to compute an approximation to the equilibrium. Exercise: Use Excel and the Method of Successive Approximations to compute the Cournot equilibrium to three decimal places in the Second Cournot Example. 5

The Brouwer Fixed Point Theorem In the unit-interval example in the preceding section, the Banach Theorem seems somewhat limited. It seems intuitively clear that any continuous function mapping the unit interval into itself will have a fixed point, but the Banach Theorem applies only to functions f that satisfy f (x) β for some β < 1. An elementary example of this is the function f(x) = 1 x, which has an obvious fixed point at x = 1/2, but whose derivative satisfies f (x) = 1 everywhere therefore d(f(x), f(x )) = d(x, x ) so f is not a contraction and the Banach Fixed Point Theorem doesn t apply to f. The fixed point theorem due to Brouwer covers this case as well as a great many others that the Banach Theorem fails to cover because the relevant functions aren t contractions Brouwer Fixed Point Theorem: Let S be a nonempty, compact, convex subset of R n. Every continuous function f : S S mapping S into itself has a fixed point. The Brouwer Theorem requires only that f be continuous, not that it be a contraction, so there are lots of situations in which the Brouwer Theorem applies but the Banach Theorem doesn t. In particular, Brouwer s Theorem confirms our intuition that any continuous function mapping [0, 1] into itself has a fixed point, not just the functions that satisfy f (x) β for some β < 1. But conversely, the Banach Theorem doesn t require compactness or convexity in fact, it doesn t require that the domain of f be a subset of a vector space, as this version of Brouwer s Theorem does. So there are also lots of situations where Banach s Theorem applies and Brouwer s doesn t. Proofs of Brouwer s Theorem require some highly specialized mathematical ideas. For us, the benefit of developing these ideas in order to work through a proof of the theorem doesn t come close to justifying the time cost it would require, so we won t go there. Here s a generalization of Brouwer s Theorem to normed vector spaces (which, in particular, don t have to be finite-dimensional, as Brouwer s Theorem requires): Schauder Fixed Point Theorem: Let S be a nonempty, compact, convex subset of a normed vector space. Every continuous function f : S S mapping S into itself has a fixed point. This theorem would apply, for example, to any compact convex subset of C[0, 1], the vector space of continuous functions on the unit interval, with the max norm. 6