Unit 3 (APM4814)
Unit 3 (APM4814)
3.1 Introduction
Let S be a non-empty set. A point z is called a boundary point of S, if every δ-
neighbourhood of z contains at least one point of S and at least one point not in
S. The totality of all the boundary points defines the boundary of S.
Example 1: The points on the circle |𝑧 − 𝑧0 | = r are the boundary points for the
disk |𝑧 − 𝑧0 | ≤ r.
𝜕2 𝑥
=a (1) which can lead to:
𝜕𝑡 2
1|Page
𝜕𝑥
= 𝑎𝑡 + 𝑣0 , (2) and
𝜕𝑡
x = ½ a𝑡 2 + 𝑣0 𝑡 + 𝑥0 (3)
since they only involve x and its derivatives linearly), which have at most a first
derivative in them. This one order difference between boundary condition and
equation persists to PDE’s. It is kind of obviously that since the equation already
involves that derivative, we can not specify the same derivative in a different
equation.
𝜕𝑢
Example 3: Take u = y f(x), then = f (x). (4)
𝜕𝑦
This can be used to eliminate f from the first of the equations, giving:
𝜕𝑢
u=y (5)
𝜕𝑦
The problem is that without additional conditions the arbitrariness in the solutions
makes it almost useless (if possible) to write down the general solution. We need
additional conditions, that reduce this freedom. In most physical problems these
2|Page
are boundary conditions, that describes how the system behaves on its boundaries
(for all times) and initial conditions, that specify the state of the system for an
initial time t = 0. In the ODE problem discussed before we have two initial
conditions (velocity and position at time t = 0).
For the problems of interest here we shall only consider linear boundary
conditions, which express a linear relation between the function and its partial
derivatives, for instance:
𝜕𝑢
u (x, y = 0) + x (x, y = 0) = 0 (8)
𝜕𝑥
As before the maximal order of the derivative in the boundary condition is one
order lower than the order of the PDE. For a second order differential equation
we have three possible types of boundary condition:
3|Page
For example, if one iron rod had heater at one end then energy would be added
at a constant rate but the actual temperature would not be known. A Neumann
boundary condition imposed on an ordinary or a partial differential equation
specifies the derivative values of a solution is to take on the boundary of the
domain. For example:
-∆u = f (x, u), in Ω
𝜕𝑢
= 0, on ∂Ω.
𝜕𝑥
Figure 2: A sketch of the normal derivatives used in the von Neumann boundary
conditions.
Typically, we cannot specify the gradient at the boundary since that is too
restrictive to allow for solutions. Physical problems often need to specify the
component normal to the boundary, let us take figure 2 for an example. When this
normal derivative is specified, we speak of von Neumann boundary conditions.
In the case of an insulated (infinitely thin) rod of length L, we cannot have a heat-
flux beyond the ends so that the gradient of the temperature must vanish (heat can
only flow where a difference in temperature exists). This leads to:
4|Page
𝜕𝑢 𝜕𝑢
(0, 𝑡) = (L, t) = 0 (10)
𝜕𝑥 𝜕𝑥
1 𝜕2 𝑢 𝜕2 𝑢
It satisfies the wave equation: = , 0<x<a
𝐶 2 𝜕𝑡 2 𝜕𝑥 2
𝜕𝑢
and initial conditions, u (x, 0) = f (x), (x, 0) = g (x).
𝜕𝑥
5|Page
2. A String with Freely Floating Endpoints:
Consider a string with ends fastened to air bearings that are fixed to a rod
orthogonal to the x-axis. Since the bearings float freely there should be no force
along the rods, which means that the string is horizontal at the bearings (Figure
4).
6|Page
Hook’s law states that the force exerted by the spring (along the y axis) is F =
−ku (0, t), where k is the spring constant. This must be balanced by the force the
string on the spring, which is equal to the tension T in the string. The component
parallel to the y axis is Tsin α, where α is the angle with the horizontal, see Figure
6:
Exercises
𝜕2 𝑢 𝜕2 𝑢
Suppose that it is required to solve Laplace equation (2 𝑢 = 2
+ = 0) over
𝜕𝑥 𝜕𝑦 2
7|Page
d. By applying the resultant algebraic in step 3 to all nodes over the grid we will
get a number of algebraic equations that is equal to the number of nodes.
e. Use any numerical method to solve the resultant system of equations.
➢ First Kind Dirichlet: In this type, the potential is known at all point of the
boundary. The word potential refers mainly to the known type, which can
be temperature, twisting angle etc…
Question 1: Find the steady state temperature inside a square plate with pre-
scribed boundary condition shown in the attached figure, taking a = b = 1.
Solution:
The domain is a square of side length equals unity, and the grid is constructed in
such a way that there is equal space distance in both horizontal and vertical
directions, i.e., ∆x = ∆y = 0.25. The next step of the solution procedure and due
to equal grid size, we will make use of the differential equation given by the
following equation:
𝑢𝑖+1,𝑗 + 𝑢𝑖−1,𝑗 + 𝑢𝑖,𝑗+1 + 𝑢𝑖,𝑗−1 − 4𝑢𝑖,𝑗 = 0. (Differential equation
corresponding to Laplace equation, Special form ∆x = ∆y)
8|Page
The next step is to number the nodes, in our example, we in a vertical direction
as shown in the above Figure 7. Then apply Laplace equation at each node
separately, as follows:
➢ At the point (1,1): 𝑢𝑖+1,𝑗 + 𝑢𝑖−1,𝑗 + 𝑢𝑖,𝑗+1 + 𝑢𝑖,𝑗−1 − 4𝑢𝑖,𝑗 = 0 (1)
➢ At the point (2,1): 𝑢11 + 𝑢13 + 0 + 𝑢22 −4𝑢21 = 0 (2)
➢ At the point (3,1): 𝑢21 + 50 + 0 + 𝑢32 − 4 𝑢31 = 0 (3)
➢ At the point (1,2): 75+ 𝑢22 + 𝑢13 + 𝑢11 −4 𝑢12 = 0 (4)
By continuing, one can get nine equations in nine unknowns, then using Gauss or
Gauss-Jordan or any other method then final results can be summarized as
follows:
𝑢11 = 43.00061
𝑢12 =63.21152
𝑢13 = 78.58718
𝑢21 =33.29755
𝑢22 =56.11238
𝑢23 =76.06401
𝑢31 =33.88506
𝑢32 =52.33999
𝑢33 =69.71050
9|Page
Question 2 :
In this type, the potential derivative is known at all point of the boundary. The
word potential derivative refers mainly to the known whatever its type, may be
temperature gradient, twisting angle gradient etc…
Now we want to solve the same example before, but with a little bit difference
that the left side of the square will be subjected to boundary condition of
Neumann’s type.
Find the steady state temperature inside a square plate with pre-scribed boundary
condition shown in the attached figure taking a = b = 1.
10 | P a g e
Figure 9: Domain of the problem.
Reading Materials
1. R. K. Mohanty and S. Dey, “A New Finite Difference Discretization of
Order Four for ∂u∂n for Two-Dimensional Quasi-Linear Elliptic Boundary
Value Problems,” International Journal of Computer Mathematics. Vol. 76,
No. 4, 2001, pp. 505-516.
2. M. Kumar, P. Singh and P. Kumar, “A Survey on Various Computational
Techniques for Nonlinear elliptic boundary Value Problems,” Advances in
Engineering Software, Vol. 39, No. 9, 2008, pp. 725-736.
11 | P a g e