Boundary Value Problem Numec
Boundary Value Problem Numec
To derive the finite-difference equation, the interval [a,b] is divided by step size h,
ℎ ℎ
(1 − 𝑝𝑖 )𝑦𝑖−1 + (−2 + ℎ2 𝑞𝑖 )𝑦𝑖 + (1 + 𝑝𝑖 )𝑦𝑖+1 = ℎ2 𝑟𝑖
2 2
at i=1 ℎ ℎ
(1 − 𝑝1 )𝑦0 + (−2 + ℎ2 𝑞1 )𝑦1 + (1 + 𝑝1 )𝑦2 = ℎ2 𝑟1
2 2
at i=2 ℎ ℎ
(1 − 𝑝2 )𝑦1 + (−2 + ℎ2 𝑞2 )𝑦2 + (1 + 𝑝2 )𝑦3 = ℎ2 𝑟2
2 2
at i=3 ℎ ℎ
(1 − 𝑝3 )𝑦2 + (−2 + ℎ2 𝑞3 )𝑦3 + (1 + 𝑝3 )𝑦4 = ℎ2 𝑟3
2 2
Example:
For x at interval [1,2] with h=0.2. Use four decimal places in all calculation.
CECB423 Numerical Methods for Civil Engineers
1 1
𝑦 ′′ + 𝑦 ′ + 2 𝑦(𝑥𝑖 ) = 3
𝑥 𝑥
𝑦 ′′ (𝑥) + 𝑝(𝑥)𝑦 ′ (𝑥) + 𝑞(𝑥)𝑦(𝑥) = 𝑟(𝑥)
ℎ ℎ
(1 − 𝑝𝑖 )𝑦𝑖−1 + (−2 + ℎ2 𝑞𝑖 )𝑦𝑖 + (1 + 𝑝𝑖 )𝑦𝑖+1 = ℎ2 𝑟𝑖
2 2
0.2 1 1 0.2 1
[1 − ( ∗ )] 𝑦1 + [−2 + (0.22 ∗ )] 𝑦2 + [1 + ( ∗ )] 𝑦3 = (0.2)2 ∗ 3
2 1.4 1.42 2 1.4
0.2 1 1 0.2 1
[1 − ( ∗ )] 𝑦2 + [−2 + (0.22 ∗ 2
)] 𝑦3 + [1 + ( ∗ )] 𝑦4 = (0.2)2 ∗ 3
2 1.6 1.6 2 1.6
𝑦1
𝑦2
(𝑦 ) = ( )
3
𝑦4
To derive the finite-difference equation, the interval [a,b] is divided by step size h,
ℎ ℎ
(1 − 𝑝𝑖 )𝑦𝑖−1 + (−2 + ℎ2 𝑞𝑖 )𝑦𝑖 + (1 + 𝑝𝑖 )𝑦𝑖+1 = ℎ2 𝑟𝑖
2 2
at i=0 ℎ ℎ
(1 − 𝑝0 )𝑦−1 + (−2 + ℎ2 𝑞0 )𝑦0 + (1 + 𝑝0 )𝑦1 = ℎ2 𝑟0
2 2
ℎ 2ℎ𝑘1 ℎ
(1 − 𝑝0 )( ) + (−2 + ℎ2 𝑞0 )𝑦0 + (1 + 𝑝0 )𝑦1 = ℎ2 𝑟0
2 𝑘2 2
at i=1 ℎ ℎ
(1 − 𝑝1 )𝑦0 + (−2 + ℎ2 𝑞1 )𝑦1 + (1 + 𝑝1 )𝑦2 = ℎ2 𝑟1
2 2
at i=2 ℎ ℎ
(1 − 𝑝2 )𝑦1 + (−2 + ℎ2 𝑞2 )𝑦2 + (1 + 𝑝2 )𝑦3 = ℎ2 𝑟2
2 2
Example:
For x at interval [1,2] with h=0.2. Use four decimal places in all calculation.
1 1
𝑦 ′′ + 𝑦 ′ + 2 𝑦(𝑥𝑖 ) = 3
𝑥 𝑥
𝑦 ′′ (𝑥) + 𝑝(𝑥)𝑦 ′ (𝑥) + 𝑞(𝑥)𝑦(𝑥) = 𝑟(𝑥)
ℎ ℎ
(1 − 𝑝𝑖 )𝑦𝑖−1 + (−2 + ℎ2 𝑞𝑖 )𝑦𝑖 + (1 + 𝑝𝑖 )𝑦𝑖+1 = ℎ2 𝑟𝑖
2 2
at i=0 ℎ ℎ
(1 − 𝑝0 )𝑦−1 + (−2 + ℎ2 𝑞0 )𝑦0 + (1 + 𝑝0 )𝑦1 = ℎ2 𝑟0
2 2
x0=1.0
ℎ 1 1 ℎ 1
(1 − ∗ ) (−0.4 + 0.4𝑦0 + 𝑦1 ) + (−2 + ℎ2 ∗ 2
) 𝑦0 + (1 + ∗ ) 𝑦1 = ℎ2 ∗ 3
2 𝑥0 (𝑥0 ) 2 𝑥0
0.2 1 1 0.2 1
(1 − ∗ ) (−0.4 + 0.4𝑦0 + 𝑦1 ) + (−2 + 0.22 ∗ ) 𝑦0 + (1 + ∗ ) 𝑦 = 0.22 ∗ 3
2 1.0 1.02 2 1.0 1
0.90(−0.4 + 0.4𝑦0 + 𝑦1 ) − 2.0400𝑦0 + 1.1000𝑦1 = 0.12
−𝟏. 𝟔𝟖𝟎𝟎𝒚𝟎 + 𝟐. 𝟎𝟎𝟎𝟎𝒚𝟏 = 𝟎. 𝟒𝟖𝟎𝟎
CECB423 Numerical Methods for Civil Engineers
at i=1 ℎ ℎ
(1 − 𝑝1 )𝑦0 + (−2 + ℎ2 𝑞1 )𝑦1 + (1 + 𝑝1 )𝑦2 = ℎ2 𝑟1
2 2
x1=1.2
ℎ 1 1 ℎ 1
(1 − ∗ ) 𝑦0 + (−2 + ℎ2 ∗ 2
) 𝑦1 + (1 + ∗ ) 𝑦2 = ℎ2 ∗ 3
2 𝑥1 (𝑥1 ) 2 𝑥1
0.2 1 1 0.2 1
(1 − ∗ ) 𝑦0 + (−2 + 0.22 ∗ ) 𝑦1 + (1 + ∗ ) 𝑦 = 0.22 ∗ 3
2 1.2 1.2 2 2 1.2 2
𝟎. 𝟗𝟏𝟔𝟕𝒚𝟎 − 𝟐. 𝟎𝟐𝟕𝟖𝒚𝟏 + 𝟏. 𝟎𝟖𝟑𝟑𝒚𝟐 = 𝟎. 𝟏𝟐
at i=2 ℎ ℎ
(1 − 𝑝2 )𝑦1 + (−2 + ℎ2 𝑞2 )𝑦2 + (1 + 𝑝2 )𝑦3 = ℎ2 𝑟2
2 2
x2=1.4
ℎ 1 1 ℎ 1
(1 − ∗ ) 𝑦1 + (−2 + ℎ2 ∗ 2
) 𝑦2 + (1 + ∗ ) 𝑦3 = ℎ2 ∗ 3
2 𝑥2 (𝑥2 ) 2 𝑥2
0.2 1 1 0.2 1
(1 − ∗ ) 𝑦1 + (−2 + 0.22 ∗ ) 𝑦2 + (1 + ∗ ) 𝑦 = 0.22 ∗ 3
2 1.4 1.4 2 2 1.4 3
𝟎. 𝟗𝟐𝟖𝟔𝒚𝟏 − 𝟐. 𝟎𝟐𝟎𝟒𝒚𝟐 + 𝟏. 𝟎𝟕𝟏𝟒𝒚𝟑 = 𝟎. 𝟏𝟐
at i=3 ℎ ℎ
(1 − 𝑝3 )𝑦2 + (−2 + ℎ2 𝑞3 )𝑦3 + (1 + 𝑝3 )𝑦4 = ℎ2 𝑟3
2 2
x3=1.6
ℎ 1 1 ℎ 1
(1 − ∗ ) 𝑦2 + (−2 + ℎ2 ∗ 2
) 𝑦3 + (1 + ∗ ) 𝑦4 = ℎ2 ∗ 3
2 𝑥3 (𝑥3 ) 2 𝑥3
0.2 1 1 0.2 1
(1 − ∗ ) 𝑦2 + (−2 + 0.22 ∗ ) 𝑦3 + (1 + ∗ ) 𝑦 = 0.22 ∗ 3
2 1.6 1.6 2 2 1.6 4
𝟎. 𝟗𝟑𝟕𝟓𝒚𝟐 − 𝟐. 𝟎𝟏𝟓𝟔𝒚𝟑 + 𝟏. 𝟎𝟔𝟐𝟓𝒚𝟒 = 𝟎. 𝟏𝟐
at i=4 ℎ ℎ
(1 − 𝑝4 )𝑦3 + (−2 + ℎ2 𝑞4 )𝑦4 + (1 + 𝑝4 )𝑦5 = ℎ2 𝑟4
2 2
x4=1.8
ℎ 1 1 ℎ 1
(1 − ∗ ) 𝑦3 + (−2 + ℎ2 ∗ 2
) 𝑦4 + (1 + ∗ ) 𝑦5 = ℎ2 ∗ 3
2 𝑥4 (𝑥4 ) 2 𝑥4
0.2 1 1 0.2 1
(1 − ∗ ) 𝑦3 + (−2 + 0.22 ∗ 2
) 𝑦4 + (1 + ∗ ) (3) = 0.22 ∗ 3
2 1.8 1.8 2 1.8
0.9444𝑦3 − 2.0123𝑦4 + 3.1668 = 0.12
𝟎. 𝟗𝟒𝟒𝟒𝒚𝟑 − 𝟐. 𝟎𝟏𝟐𝟑𝒚𝟒 = −𝟑. 𝟎𝟒𝟔𝟖
CECB423 Numerical Methods for Civil Engineers
𝑦0 1.9081
𝑦1 1.8428
𝑦2 = 1.9455
𝑦3 2.1837
𝑦
( 4 ) (2.5388)
To derive the finite-difference equation, the interval [a,b] is divided by step size h,
ℎ ℎ
(1 − 𝑝𝑖 )𝑦𝑖−1 + (−2 + ℎ2 𝑞𝑖 )𝑦𝑖 + (1 + 𝑝𝑖 )𝑦𝑖+1 = ℎ2 𝑟𝑖
2 2
at i=1 ℎ ℎ
(1 − 𝑝1 )𝑦0 + (−2 + ℎ2 𝑞1 )𝑦1 + (1 + 𝑝1 )𝑦2 = ℎ2 𝑟1
2 2
at i=2 ℎ ℎ
(1 − 𝑝2 )𝑦1 + (−2 + ℎ2 𝑞2 )𝑦2 + (1 + 𝑝2 )𝑦3 = ℎ2 𝑟2
2 2
at i=n ℎ ℎ
(1 − 𝑝𝑛 )𝑦𝑛−1 + (−2 + ℎ2 𝑞𝑛 )𝑦𝑛 + (1 + 𝑝𝑛 )𝑦𝑛+1 = ℎ2 𝑟𝑛
2 2
ℎ ℎ 2ℎ𝑘1 2ℎ
(1 − 𝑝𝑛 )𝑦𝑛−1 + (−2 + ℎ2 𝑞𝑛 )𝑦𝑛 + (1 + 𝑝𝑛 )(𝑦𝑛−1 − 𝑦 + 𝛽) = ℎ2 𝑟𝑛
2 2 𝑘2 𝑛 𝑘2
Example:
For x at interval [0,1] with h=0.2. Use four decimal places in all calculation.
𝑦 ′′ + 2𝑥𝑦 ′ − 3𝑦 = −6𝑒 −𝑥 (1 + 𝑥 2 )
ℎ ℎ
(1 − 𝑝𝑖 )𝑦𝑖−1 + (−2 + ℎ2 𝑞𝑖 )𝑦𝑖 + (1 + 𝑝𝑖 )𝑦𝑖+1 = ℎ2 𝑟𝑖
2 2
at i=1 ℎ ℎ
(1 − 𝑝1 )𝑦0 + (−2 + ℎ2 𝑞1 )𝑦1 + (1 + 𝑝1 )𝑦2 = ℎ2 𝑟1
2 2
x1=0.2 ℎ ℎ
(1 − ∗ 2𝑥1 ) 𝑦0 + (−2 + ℎ2 ∗ (−3))𝑦1 + (1 + ∗ 2𝑥1 ) 𝑦2 = ℎ2 ∗ −6𝑒 −𝑥1 (1 + (𝑥1 )2 )
2 2
0.2 0.2
(1 − ∗ 2(0.2)) (0) + (−2 + 0.22 ∗ (−3))𝑦1 + (1 + ∗ 2(0.2)) 𝑦2 = 0.22 ∗ −6𝑒 −0.2 (1 + (0.2)2 )
2 2
−𝟐. 𝟏𝟐𝒚𝟏 + 𝟏. 𝟎𝟒𝒚𝟐 = −𝟎. 𝟐𝟎𝟒𝟒
CECB423 Numerical Methods for Civil Engineers
at i=2 ℎ ℎ
(1 − 𝑝2 )𝑦1 + (−2 + ℎ2 𝑞2 )𝑦2 + (1 + 𝑝2 )𝑦3 = ℎ2 𝑟2
2 2
x2=0.4 ℎ ℎ
(1 − ∗ 2𝑥2 ) 𝑦1 + (−2 + ℎ2 ∗ (−3))𝑦2 + (1 + ∗ 2𝑥2 ) 𝑦3 = ℎ2 ∗ −6𝑒 −𝑥2 (1 + (𝑥2 )2 )
2 2
0.2 0.2
(1 − ∗ 2(0.4)) 𝑦1 + (−2 + 0.22 ∗ (−3))𝑦2 + (1 + ∗ 2(0.4)) 𝑦3 = 0.22 ∗ −6𝑒 −0.4 (1 + (0.4)2 )
2 2
𝟎. 𝟗𝟐𝒚𝟏 − 𝟐. 𝟏𝟐𝒚𝟐 + 𝟏. 𝟎𝟒𝒚𝟑 = −𝟎. 𝟏𝟖𝟔𝟔
at i=3 ℎ ℎ
(1 − 𝑝3 )𝑦2 + (−2 + ℎ2 𝑞3 )𝑦3 + (1 + 𝑝3 )𝑦4 = ℎ2 𝑟3
2 2
x3=0.6 ℎ ℎ
(1 − ∗ 2𝑥3 ) 𝑦2 + (−2 + ℎ2 ∗ (−3))𝑦3 + (1 + ∗ 2𝑥3 ) 𝑦4 = ℎ2 ∗ −6𝑒 −𝑥3 (1 + (𝑥3 )2 )
2 2
0.2 0.2
(1 − ∗ 2(0.6)) 𝑦2 + (−2 + 0.22 ∗ (−3))𝑦3 + (1 + ∗ 2(0.6)) 𝑦4 = 0.22 ∗ −6𝑒 −0.6 (1 + (0.6)2 )
2 2
𝟎. 𝟖𝟖𝒚𝟐 − 𝟐. 𝟏𝟐𝒚𝟑 + 𝟏. 𝟏𝟐𝒚𝟒 = −𝟎. 𝟏𝟕𝟗𝟏
at i=4 ℎ ℎ
(1 − 𝑝4 )𝑦3 + (−2 + ℎ2 𝑞4 )𝑦4 + (1 + 𝑝4 )𝑦5 = ℎ2 𝑟4
2 2
x4=0.8 ℎ ℎ
(1 − ∗ 2𝑥4 ) 𝑦3 + (−2 + ℎ2 ∗ (−3))𝑦4 + (1 + ∗ 2𝑥3 ) 𝑦5 = ℎ2 ∗ −6𝑒 −𝑥3 (1 + (𝑥4 )2 )
2 2
0.2 0.2
(1 − ∗ 2(0.8)) 𝑦3 + (−2 + 0.22 ∗ (−3))𝑦4 + (1 + ∗ 2(0.8)) 𝑦5 = 0.22 ∗ −6𝑒 −0.8 (1 + (0.8)2 )
2 2
𝟎. 𝟖𝟒𝒚𝟐 − 𝟐. 𝟏𝟐𝒚𝟑 + 𝟏. 𝟏𝟔𝒚𝟒 = −𝟎. 𝟏𝟕𝟔𝟗
at i=5 ℎ ℎ
(1 − 𝑝5 )𝑦4 + (−2 + ℎ2 𝑞5 )𝑦5 + (1 + 𝑝5 )𝑦6 = ℎ2 𝑟5
2 2
x5=1.0 ℎ ℎ
(1 − ∗ 2𝑥5 ) 𝑦4 + (−2 + ℎ2 ∗ (−3))𝑦5 + (1 + ∗ 2𝑥5 ) 𝑦6 = ℎ2 ∗ −6𝑒 −𝑥5 (1 + (𝑥5 )2 )
2 2
0.2 0.2
(1 − ∗ 2(1.0)) 𝑦4 + (−2 + 0.22 ∗ (−3))𝑦5 + (1 + ∗ 2(1.0)) 𝑦6 = 0.22 ∗ −6𝑒 −1 (1 + (1.0)2 )
2 2
𝟎. 𝟖𝟎𝒚𝟒 − 𝟐. 𝟏𝟐𝒚𝟓 + 𝟏. 𝟐𝒚𝟔 = −𝟎. 𝟏𝟕𝟔𝟔
Based on second derivative
0.80𝑦4 − 2.12𝑦5 + 1.2𝑦4 = −0.1766
𝟐. 𝟎𝟎𝒚𝟒 − 𝟐. 𝟏𝟐𝒚𝟓 = −𝟎. 𝟏𝟕𝟔𝟔
CECB423 Numerical Methods for Civil Engineers
𝑦1 0.4897
𝑦2 0.8017
𝑦3 = 0.9838
𝑦4 1.0724
𝑦
( 5 ) (1.0950)
Partial differential question (PDE) are differential equations involving more than one
independent variable. We consider a general second-order PDE in two independent
variable x and y which is written as
𝛿 2𝑢 𝛿 2𝑢 𝛿 2𝑢 𝛿𝑢 𝛿𝑢
𝐴 2
+ 𝐵 + 𝐶 2
+𝐷 +𝐸 + 𝐹𝑢 = 𝐺
𝛿𝑥 𝛿𝑥𝛿𝑦 𝛿𝑦 𝛿𝑥 𝛿𝑦
Or
𝐴𝑢𝑥𝑥 + 𝐵𝑢𝑥𝑦 + 𝐶𝑢𝑦𝑦 + 𝐷𝑢𝑥 + 𝐸𝑢𝑦 + 𝐹𝑢 = 𝐺
Elliptic <0
2
PDE is called Parabolic if 𝐵 − 4𝐴𝐶 =0
Hyperbolic >0
𝛿2 𝑢 𝛿2 𝑢
1. Laplace equation, 𝛿𝑥 2 + 𝛿𝑦 2 = 0
𝛿2 𝑢 𝛿2 𝑢
2. Poisson equation 𝛿𝑥 2 + 𝛿𝑦 2 = 𝑓(𝑥, 𝑦)
𝛿2𝑢 𝛿𝑢
3. Heat equation 𝑐 𝛿𝑥 2 = 𝛿𝑡
𝛿2 𝑢 𝛿2 𝑢
4. Wave equation 𝑐 𝛿𝑥 2 = 𝛿𝑡 2
CECB423 Numerical Methods for Civil Engineers
Elliptic Equations
Finite difference method for the numerical solution of the PDEs of elliptic type.
Consider the Poisson equation,
𝛿 2𝑢 𝛿 2𝑢
+ = 𝑓(𝑥, 𝑦)
𝛿𝑥 2 𝛿𝑦 2
With boundary condition
𝑢(𝑥, 0) = 𝑓1 (𝑥), 𝑢(𝑥, 𝑏) = 𝑓2 (𝑥), 0<𝑥<𝑎
𝑢(0, 𝑦) = 𝑔1 (𝑥), 𝑢(𝑎, 𝑦) = 𝑔2 (𝑥), 0<𝑦<𝑏
Create Domain
In order to approximate the solution to PDE elliptic using finite difference method the
𝑎 𝑏
rectangular domain is partitioned into a grids ∆𝑥 = ℎ = 𝑛 and ∆𝑦 = 𝑘 = 𝑚 as shown in
figure below
𝛿 2𝑢 𝛿 2𝑢
+ = 𝑓(𝑥, 𝑦)
𝛿𝑥 2 𝛿𝑦 2
At point (𝑥𝑖 , 𝑦𝑗 )
𝛿 2 𝑢(𝑥𝑖 , 𝑦𝑗 ) 𝛿 2 𝑢(𝑥𝑖 , 𝑦𝑗 )
+ = 𝑓((𝑥𝑖 , 𝑦𝑗 )
𝛿𝑥 2 𝛿𝑦 2
CECB423 Numerical Methods for Civil Engineers
Example 1:
𝛿 2𝑢 𝛿 2𝑢
+ = 𝑥𝑒 𝑦 0 <𝑥 < 2; 0<𝑦<1
𝛿𝑥 2 𝛿𝑦 2
With boundary conditions
𝛿 2 𝑢(𝑥𝑖 , 𝑦𝑗 ) 𝛿 2 𝑢(𝑥𝑖 , 𝑦𝑗 )
+ = 𝑥𝑖 𝑒 𝑦𝑖
𝛿𝑥 2 𝛿𝑦 2
Given ℎ = 𝑘 = 0.5
0.52
𝑢𝑖+1,𝑗 − 2𝑢𝑖,𝑗 + 𝑢𝑖−1,𝑗 + (𝑢 − 2𝑢𝑖,𝑗 + 𝑢𝑖,𝑗−1 ) = 0.52 𝑥𝑖 𝑒 𝑦𝑖
0.52 𝑖,𝑗+1
−4 1 0 𝑢1,1 −1.653
𝑢
( 1 −4 1 ) ( 2,1 ) = (−3.306)
0 1 −4 𝑢3,1 −8.256
Example 2:
𝛿 2𝑢 𝛿 2𝑢
+ =0 0< 𝑥 < 3; 0<𝑦<1
𝛿𝑥 2 𝛿𝑦 2
With boundary conditions