Bisection Method
Bisection Method
Bisection Method
Introduction:
y = f(x)
a b
Bisection Method :
Second Iteration: Since 𝑓 −1.5 𝑓 0 < 0, hence root lies on [-1.5,0]. So choose 𝑎2 =
− 1.5, 𝑏2 = 0
−1.5+0
∴ 𝑝2 = = −0.75
2
𝑓 𝑝2 = 𝑓 −0.75 = 1.203
Third Iteration: Since 𝑓 −1.5 𝑓 −0.75 < 0, hence root lies on [-1.5,-0.75]. So choose 𝑎3 =
− 1.5, 𝑏3 = −0.75
−1.5−0.75
∴ 𝑝3 = = −1.125
2
𝑓 𝑝3 = 𝑓 −1.125 = −0.83
Fourth Iteration: Since 𝑓 −1.125 𝑓 −0.75 < 0, hence root lies on [-1.125,-0.75]. So
choose 𝑎4 = −1.125, 𝑏2 = −0.75
−1.125−0.75
∴ 𝑝4 = = −0.9375
2
𝑓 𝑝4 = 𝑓 −0.9375 = 0.3557
Hence, after fourth iteration our approximate root is -0.9375. Exact root of the function 𝑓(𝑥)
on [-3,0] is 𝑥 = 1.
Convergence Analysis:
Theorem: Let f be continuous on the interval 𝑎, 𝑏 and suppose that 𝑓 𝑎 𝑓 𝑏 < 0.
The bisection method generates a sequence of approximations {𝑝𝑛 } which
converges to a root 𝑝 ∈ (𝑎, 𝑏) with the property
𝑏−𝑎
𝑝𝑛 − 𝑝 ≤ 𝑛
2
𝑎2 𝑎2 + 𝑏2
𝑝2 = 𝑏2
2
𝑎3 + 𝑏3
𝑎3 𝑝3 = 𝑏3
2
𝑎1 𝑎1 + 𝑏1 𝑝
𝑝1 = 𝑏1
2
𝑏𝑛 −𝑎𝑛
Hence, 𝑝𝑛 − 𝑝 ≤ for all 𝑛 ∈ ℕ (1)
2
1 1 1
𝑏𝑛 − 𝑎𝑛 = 𝑏𝑛−1 − 𝑎𝑛−1 = 2 𝑏𝑛−2 − 𝑎𝑛−2 = ⋯ = 𝑛−1 |𝑏1 − 𝑎1 |
2 2 2
1
Since, 𝑏1 = 𝑏 and 𝑎1 = 𝑎, therefore 𝑏𝑛 − 𝑎𝑛 = |𝑏 − 𝑎| (2)
2𝑛−1
By equation (1) and 2 ,
1 1
𝑝𝑛 − 𝑝 ≤ ∙ 𝑛−1 𝑏 − 𝑎
2 2
1
⟹ |𝑝𝑛 − 𝑝| ≤ 𝑛 |𝑏 − 𝑎| hence proved.
2
Note:
(1) The sequence of approximation generated by bisection method is always
guaranteed to be converge to a root of 𝑓 𝑥 = 0.
(2) Since 𝑒𝑛 = |𝑝𝑛 − 𝑝 | is error for approximation. Therefore, the above theorem
provides us a theoretical error bound for bisection method.
1
(3) Rate of convergence of bisection method is 𝑂 .
2𝑛
Important Remark:
1. For a function 𝑓(𝑥) that has root(s) on the interval 𝑎, 𝑏 , bisection method
guarantees that it will converge (always) to a root of 𝑓 𝑥 , not to any specific
root. There can be multiple roots on an interval. There is no way to know, a
priori, which root the method will converge.
1 1 𝑏−𝑎
For large value of 𝑛, 𝑛 𝑝1 − 𝑝 ≈ 𝑛 (2)
2 2 2
Therefore, by equation (1) and 2 :
1
𝑒𝑛+1 ≈ 𝑛 |𝑒1 |
2
Hence, Bisection method has order of convergence 1 with asymptotic error
1
constant .
2
Stopping Condition:
The stopping condition for an iterative procedure is a condition that informs us when
to stop the iterations. It can depend on the accuracy of the solution, time taken for
the computation etc. For root finding methods, there are three measure of
convergence with which we can construct stopping condition:
𝑎+𝑏
Step 2: Calculate 𝑝 =
2
If 𝑓 𝑎 𝑓 𝑝 < 0, then a = a, 𝑏 = 𝑝
If 𝑓 𝑝 𝑓 𝑏 < 0, then a = p, 𝑏 = 𝑏
𝑏−𝑎
If < 𝜖, stop the iteration and print 𝑝 ; otherwise repeat step 2 .
2