Professional Documents
Culture Documents
Week3 PDF
Week3 PDF
Lecture-5
Many equations that we encounter in practice are not solvable explicitly. In such a case,
the given equation can be recast as f (x) = x form and under certain hypotheses on f
and the underlying space, the existence of a point, called the fixed point, denoted by x∗
and defined as f (x∗ ) = x∗ can be found. A powerful result that provides the required
hypotheses is the contraction mapping theorem, stated with proof here.
Theorem 1.0.1 Let (X, || · ||) be a complete normed linear space and T : X −→ X.
Suppose there exists a fixed constant ρ < 1 such that
Under these conditions, there exists exactly one x∗ ∈ X such that T x∗ = x∗ . For each
x0 ∈ X, the sequence {xn }∞ ∗
n=0 in X defined by xn+1 = T xn converges to x . Moreover,
the estimate of the rate of convergence is given by
ρn
||x∗ − xn || ≤ ||T x0 − x0 ||.
ρ−1
Proof:
Let x0 ∈ X and define a sequence {xn } in X as xn+1 = T xn . We first show that {xn } is
a Cauchy sequence. For each n ≥ 0 it follows that
1
NPTEL-Electrical Engineering - Nonlinear Control System
Example 1.0.2 Consider f : [0, 1] −→ [0, 1], where f (x) = cos(x). Find x ∈ [0, 1] s.t
f (x) = x.
We use the fact that the closed interval [0, 1] is a complete normed space and then show
that cos(·) is a contraction on [0, 1]. From mean-valued theorem
Now, | sin(c)| ≤ sin(1) ≈ 0.8417. Hence cos(·) is a contraction on [0, 1]. Thus there exists
a unique x∗ such that cos(x∗ ) = x∗ . By iteration, x∗ = 0.739.
Fixed point theorems are often used to prove the existence of solutions to differential
equations, such as the Picard’s theorem about the existence of solutions to an initial
value problem for a first order ODEs.
4
NPTEL-Electrical Engineering - Nonlinear Control System
Example 2.0.4 Consider the function f : [a, b] :−→ IR defined by f (x) = x2 . For
x, y ∈ [a, b], we have
Example 2.0.6 Consider f (x) = −|x|β sign(x), β ≥ 1. For x satisfying |x| ≤ 1, we have
Definition 2.0.7 A function f:IRn → IRn is piecewise continuous if there exists a finite
collection of disjoint, open, and connected sets D1 , D2 , ...., Dm ⊂ IRn , whose closures cover
IRn , that is
m
[
IRn = D̄k
k=1