53
!umerical Analysis Avid Farhoodfar Month1 – Saturday 5 Fixed-Point Iteration Solutions of Equations in One Variable

Month1_Saturday5_FixedPoint

  • Upload
    lng

  • View
    212

  • Download
    0

Embed Size (px)

DESCRIPTION

ffgfg

Citation preview

Page 1: Month1_Saturday5_FixedPoint

!umerical Analysis

Avid FarhoodfarMonth1 – Saturday 5Fixed-Point IterationSolutions of Equations in One Variable

Page 2: Month1_Saturday5_FixedPoint

Outline

1. The Bisection Method 2. Fixed-Point Iteration 3. Newton's Method and Its Extensions 4. Error Analysis for Iterative Methods 5. Accelerating Convergence 6. Zeros of Polynomials and Müller's Method

Page 3: Month1_Saturday5_FixedPoint

Outline

1. The Bisection Method2. Fixed-Point Iteration 3. Newton's Method and Its Extensions 4. Error Analysis for Iterative Methods 5. Accelerating Convergence 6. Zeros of Polynomials and Müller's Method

Page 4: Month1_Saturday5_FixedPoint

Fixed-Point Iteration

1. Introduction & Theoretical Framework2. Motivating the Algorithm: An Example3. Fixed-Point Formulation I4. Fixed-Point Formulation II

Page 5: Month1_Saturday5_FixedPoint

Theoretical FrameworkPrime Objective

1. In what follows, it is important not to lose sight of our prime objective:

2. Given a function f (x) where a < x < b, find values p such that f (p) = 0

3. Given such a function, f (x), we now construct an auxiliary function g(x) such that

p = g(p)

whenever f (p) = 0 (this construction is not unique).

4. The problem of finding p such that p = g(p) is known as the fixed point problem.

Page 6: Month1_Saturday5_FixedPoint

Theoretical Framework

A Fixed Point

A Fixed Point

!

!

Page 7: Month1_Saturday5_FixedPoint

Theoretical Framework

The Equation f (x) = x − cos(x) = 0

If we write this equation in the form:x = cos(x)

then g(x) = cos(x).

Page 8: Month1_Saturday5_FixedPoint

Theoretical Framework

Page 9: Month1_Saturday5_FixedPoint

Theoretical Frameworkx = cos(x)

Page 10: Month1_Saturday5_FixedPoint

Theoretical Frameworkp = cos(p) p 0.739~~

Page 11: Month1_Saturday5_FixedPoint

Theoretical FrameworkExistence of a Fixed Point

A Fixed Point! If g(a) = a or g(b) = b, the existence of a fixed point is obvious.

! Suppose not; then it must be true that g(a) > a and g(b) < b.

! Define h(x) = g(x) − x; h is continuous on [a, b] and, moreover,

h(a) = g(a) − a > 0, h(b) = g(b) − b < 0.

! The Intermediate Value Theorem (IVT) implies that there existsp (a, b) for which h(p) = 0.

! Thus g(p) − p = 0 and p is a fixed point of g.

Page 12: Month1_Saturday5_FixedPoint

Theoretical Frameworkg(x) is Defined on [a b]

Page 13: Month1_Saturday5_FixedPoint

Theoretical Frameworkg(x) [a b] for all x [a b]

Page 14: Month1_Saturday5_FixedPoint

Theoretical Frameworkg(x) has a Fixed Point in [a b]

Page 15: Month1_Saturday5_FixedPoint

Theoretical Frameworkg(x) has a Fixed Point in [a b]

Page 16: Month1_Saturday5_FixedPoint

Theoretical FrameworkIllustration

! Consider the function g(x) = 3−x on 0 < x < 1. g(x) is continuous and since

g′(x) = −3−x log 3 < 0 on [0, 1]

g(x) is decreasing on [0, 1].

! Henceg(1) =1/3 < g(x) < 1 = g(0)

i.e. g(x) [0, 1] for all x [0, 1] and therefore, by the

preceding result, g(x) must have a fixed point in [0, 1].

Page 17: Month1_Saturday5_FixedPoint

Theoretical Frameworkg(x)=3-x

Page 18: Month1_Saturday5_FixedPoint

Theoretical Framework

An Important Observation

! It is fairly obvious that, on any given interval I = [a, b], g(x) mayhave many fixed points (or none at all).

! In order to ensure that g(x) has a unique fixed point in I, we mustmake an additional assumption that g(x) does not vary too rapidly.

! Thus we have to establish a uniqueness result.

Page 19: Month1_Saturday5_FixedPoint

Theoretical Framework

Uniqueness Result

Page 20: Month1_Saturday5_FixedPoint

Theoretical Frameworkg’(x) is defined in [a b]

Page 21: Month1_Saturday5_FixedPoint

Theoretical Framework-1 < g’(x) < 1 for all x [a b]

Page 22: Month1_Saturday5_FixedPoint

Theoretical FrameworkUnique Fixed Point:|g’(x)|< 1 for all x [a b]

Page 23: Month1_Saturday5_FixedPoint

Theoretical Framework

Proof of Uniqueness Result

! Assuming the hypothesis of the theorem, suppose that p and qare both fixed points in [a, b] with p = q.

! By the Mean Value Theorem (MVT), a number ξ exists between p and q and hence in [a, b] with

|p − q| = |g(p) − g(q)| = |g′(ξ)| |p − q|≤ k |p − q|< |p − q|

which is a contradiction.

! This contradiction must come from the only supposition, p = q.Hence, p = q and the fixed point in [a, b] is unique.

Page 24: Month1_Saturday5_FixedPoint

Motivating the Algorithm: An ExampleA Single Nonlinear Equation

An Important Observation

Positive Root

Page 25: Month1_Saturday5_FixedPoint

Motivating the Algorithm: Single Nonlinear Equation f (x) = x2− x − 1 = 0

We can convert this equation into a fixed-point problem.

Page 26: Month1_Saturday5_FixedPoint

Fixed-Point Formulation ISingle Nonlinear Equation f (x) = x2− x − 1 = 0

One possible Formulation for g(x)

Page 27: Month1_Saturday5_FixedPoint

Fixed-Point Formulation Ixn+1 = g (xn ) = √ xn + 1 with x0 = 0

Page 28: Month1_Saturday5_FixedPoint

Fixed-Point Formulation Ixn+1 = g (xn ) = √ xn + 1 with x0 = 0

Page 29: Month1_Saturday5_FixedPoint

Fixed-Point Formulation I

Page 30: Month1_Saturday5_FixedPoint

Fixed-Point Formulation I

Page 31: Month1_Saturday5_FixedPoint

Fixed-Point Formulation I

Page 32: Month1_Saturday5_FixedPoint

Fixed-Point Formulation I

Page 33: Month1_Saturday5_FixedPoint

Fixed-Point Formulation I

Page 34: Month1_Saturday5_FixedPoint

Fixed-Point Formulation I

Page 35: Month1_Saturday5_FixedPoint

Fixed-Point Formulation I

Page 36: Month1_Saturday5_FixedPoint

Fixed-Point Formulation I

Page 37: Month1_Saturday5_FixedPoint

Fixed-Point Formulation I

Page 38: Month1_Saturday5_FixedPoint

Fixed-Point Formulation Ixn+1 = g (xn ) = √ xn + 1 with x0 = 0

Rate of Convergence

Page 39: Month1_Saturday5_FixedPoint

Fixed-Point Formulation I

Page 40: Month1_Saturday5_FixedPoint

Fixed-Point Formulation IISingle Nonlinear Equation f (x) = x2− x − 1 = 0

A Second Formulation for g(x)

Page 41: Month1_Saturday5_FixedPoint

Fixed-Point Formulation II: xn+1 = g (xn) = 1/xn+ 1 with x0 = 1

Page 42: Month1_Saturday5_FixedPoint

Fixed-Point Formulation II: xn+1 = g (xn) = 1/xn+ 1 with x0 = 1

Page 43: Month1_Saturday5_FixedPoint

Fixed-Point Formulation II:

Page 44: Month1_Saturday5_FixedPoint

Fixed-Point Formulation II:

Page 45: Month1_Saturday5_FixedPoint

Fixed-Point Formulation II:

Page 46: Month1_Saturday5_FixedPoint

Fixed-Point Formulation II:

Page 47: Month1_Saturday5_FixedPoint

Fixed-Point Formulation II:

Page 48: Month1_Saturday5_FixedPoint

Fixed-Point Formulation II:

Page 49: Month1_Saturday5_FixedPoint

Fixed-Point Formulation IIxn+1 = g (xn) = 1/xn+ 1 with x0 = 1

Rate of Convergence

Page 50: Month1_Saturday5_FixedPoint

Fixed-Point Formulation II: xn+1 = g (xn) = 1/xn+ 1 with x0 = 1

Page 51: Month1_Saturday5_FixedPoint

Intermediate Value Theorem (IVT)Theorem: Intermediate Value Theorem

If and is any number between and then

there exists with

Page 52: Month1_Saturday5_FixedPoint

Derivative Theorems

If and is differentiable on then there exists

such that.

Theorem: Mean Value Theorem (MVT)

Page 53: Month1_Saturday5_FixedPoint