Lecture Notes in Partial Differential Equations Third Edition by Tadeusz STY S
Lecture Notes in Partial Differential Equations Third Edition by Tadeusz STY S
Lecture Notes in Partial Differential Equations Third Edition by Tadeusz STY S
LECTURE NOTES
IN PARTIAL DIFFERENTIAL EQUATIONS
Third Edition
by
Tadeusz STYŠ
iii
iv
PREFACE
These lecture notes are designed for undergraduate students as a complemen-
tary reading text to an introductory course on Partial Differential Equations.
It is assumed that the students have basic knowledge in Real Analysis.
The notes have been used for teaching the course MAT426 (PDE), Partial
Differential Equations at the Faculty of Science, University of Botswana.
Tadeusz STYŠ
1
æ
2
Chapter 1
3
4
Solution. Let us integrate both sides of equation (1.5) with respect to the
variable y, when the variable x is fixed. Then, we obtain
1
ux(x, y) = 2 x y + y 2 + f(x) (1.7)
2
for arbitrary differentiable function f(x). Next, we integrate equation (1.7)
with respect to the variable x, when the variable y is fixed. Then, we obtain
1
u(x, y) = x2y + y 2 x + F (x) + g(y) (1.8)
2
where F (x) is an antiderivative to the function f(x) and g(y) is an arbitrary
differentiable function of the variable y. Thus, all solutions of equation (1.5)
are of the form (1.8), where F (x) is an antiderivative to the arbitrary function
f(x), and g(y) is any differentiable function of the variable y.
Now, let us integrate both sides of equation (1.6) with respect to the variable
z, when the variables x and y are fixed. Then, we obtain
1
uxy (x, y, z) = x z + 2y z + z 2 + f(x, y) (1.9)
2
Next, we integrate equation (1.9) with respect to the variable y, when the
variables x and z are fixed. Then, we obtain
1
ux(x, y, z) = x y z + y 2 z + z 2 y + F (x, y) + g(x, z) (1.10)
2
where F (x, y) is an antiderivative to f(x, y) with respect to the variable y, and
g(x, z) is an arbitrary differentiable function of the variables x and y.
Finally, we integrate equation (1.10) with respect to the variable x, when the
variables y and z are fixed. Then, we obtain
1 1
u(x, y, z) = x2 y z + x y 2 z + x yz 2 + F F (x, y) + G(x, z) (1.11)
2 2
where F F (x, y) is an antiderivative to the antiderivative F (x, y) with respect
to the variable x, and G(x, z) is an antiderivative to g(x, z) with respect to
the variable x.
Example 1.3 Find all solutions of the following non-linear PDE equation:
Solution. We note that uxx = 0 and uyy = 0 . All solutions of the equation
uxx = 0 are in the form
Hence, we compute
0 0
x ux−2 x uy = x f(2x+y)+2 x2 f (2x+y)−2 x2 f (2x+y) = x f(2x+y) = u(x, y).
Now, applying the condition u(1, y) = y 2 to the solution (1.16), we find func-
tion f. Thus, u(1, y) = 1, f(2 ∗ 1 + y) = y 2. Let t = 2 + y and y = t − 2.
Then, f(t) = (t − 2)2 . We can choose f(2x + y) = (2x + y − 2)2 . Let us note
that the solution u(x, y) = x(2x + y − 2)2 satisfies the condition u(1, y) = y 2.
a ux + b uy + c u = f(x, y),
6
w = b x − a y, z = y
Hence, we find
w+az
x= , y = z.
b
In terms of the new coordinates, we compute
Example 1.5 .
(1b) Find the solution of equation (1.22) which satisfies the condition
Solution 1a. Note that the coefficients a = 1, b = −1, c = 1 and the function
f(x, y) = 1. First, we transfer the equation to the form
vz + c v = g(w, z),
by the mapping
w = − x − y, z=y
So that we have
x = −w − z, y = z.
We consider the new unknown
By integration with z
−e−z v = −e−z + C(w) or v(w, z) = 1 − C(w)ez
Hence, we find the solution
v(w, z) = u(−w − z, z) = 1 − C(w) ez and u(x, y) = 1 − C(−x − y)ey ,
for arbitrary differentiable function C(w).
Solution 1b. For y = x, we find u(x, x) = 1 − C(−2x)ex = 2.
So that
C(−2x) = −e−x
t
−
Let t = −2x. Then, we have C(t) = −e 2 and the solution
−x − y y−x
y
u(x, y) = 1 + e 2 e = 1 + e 2
satisfies the condition u(x, x) = 2.
Example 1.6 Find the general solution of the equation
3 ux − 2 uy + u = x. (1.23)
Solution. We consider the new variables
w = 2 x + 3 y, z = y.
Hence
w−3z
x= , y = z.
2
Then, we introduce the unknown
w − 3z
v(w, z) = u(x, y) = u( , z).
2
Now, we compute
3 ux − 2 uy = 3(vw wx + vz zx) − 2(vw wy + vz zy ) = −2vz .
Equation (1.23), in the new variables becomes
1
−2vz + v = (w − 3 z). (1.24)
2
z
−
Dividing by −2 and multiplying by the factor e 2 , we obtain
z z
∂ − 1 −
[e 2 v(w, z)] = − e 2 (w − 3 z). (1.25)
∂z 4
9
1.3 Exercises
Question 1. Find the general solution of the equations
(a) ux = 3x + 2y,
(b) uxy = x y,
(c) uxyz = x + y + z.
10
ux + uy − 2u = y
Question 4.
1. Find the general solution of the equation
ux + 4uy + 2u = 5
2. Find the solution u(x, y) of the equation which satisfies the condition
Classification of Partial
Differential Equations of the
Second Order
11
12
Also,
Example 2.1 .
b2 − a c = 02 − 1(−1) = 1 > 0.
• Laplace’s equation
∂ 2u ∂ 2u
+ = 0,
∂x2 ∂y 2
is the elliptic equation, since the discriminant
b2 − a c = 02 − 1 ∗ 1 = −1 < 0.
b2 − a c = 02 − 1 ∗ 0 = 0.
13
Now, substituting the above relationship to equation (2.1), we obtain the fol-
lowing equation in terms of the variables ξ and η:
∂ 2u ∂ 2u ∂ 2u ∂u ∂u
A 2
+ 2B + C 2
+D +E + Gu = F (2.2)
∂ξ ∂ξ∂η ∂η ∂ξ ∂η
where
∂ξ 2 ∂ξ ∂ξ ∂ξ
A = a( ) + 2b + c( )2
∂x ∂x ∂y ∂y
∂ξ ∂η ∂ξ ∂η ∂ξ ∂η ∂ξ ∂η
B=a + b( + )+c
∂x ∂x ∂x ∂y ∂y ∂x ∂y ∂y
∂η 2 ∂η ∂η ∂η 2
C = a( ) + 2b + c( )
∂x ∂x ∂y ∂y
2 2 2
∂ ξ ∂ ξ ∂ ξ ∂ξ ∂ξ
D = a 2 + 2b +c 2 +d +e
∂x ∂x∂y ∂y ∂x ∂y
2 2 2
∂ η ∂ η ∂ η ∂η ∂η
E = a 2 + 2b +c 2 +d +e
∂x ∂x∂y ∂y ∂x ∂y
G = g, F = f.
∂ξ ∂η ∂ξ ∂η 2
B 2 − A C = (b2 − a c)( − ) ,
∂x ∂y ∂y ∂x
where
∂ξ ∂ξ
∂x ∂y ∂ξ ∂η ∂ξ ∂η
J (ξ, η) = = − 6= 0,
∂η ∂η
∂x ∂y ∂y ∂x
∂x ∂y
Thus, the type of the equation remains the same in the new coordinates ξ and
η, provided that Jacobian J (ξ, η) 6= 0.
We note that, every equation of the general form (2.1) can be transformed by
a transformation
ξ = ξ(x, y), η = η(x, y). (2.4)
to a standard form.
15
∂ 2u ∂ 2u ∂ 2u
=0 or = .
∂ξ∂η ∂ξ 2 ∂η 2
∂ξ 2 ∂ξ ∂ξ ∂ξ
A = a( ) + 2b + c( )2 = 0,
∂x ∂x ∂y ∂y
(2.5)
∂η ∂η ∂η ∂η
C = a( )2 + 2b + c( )2 = 0,
∂x ∂x ∂y ∂y
∂ξ ∂ξ
dx + dy = 0.
dx dy
(2.6)
∂η ∂η
dx + dy = 0,
dx dy
or
dy ξx
=− ,
dx ξy
(2.7)
dy ηx
=− ,
dx ηy
dy
Substituting relation (2.7) between and ξx , ηx, ξy , ηy , to equation (2.5), we
dx
obtain the following ordinary differential equation
dy 2 dy
a( ) − 2 b + c = 0. (2.8)
dx dx
16
Solution
To (a). The coefficients of the equation are:
1
a = 1, b = − , c = −6, d = 0, e = 0, g = −5, f = 2
2
(see formula ( 2.1))
The equation is hyperbolic since the discriminant ∆ = b2 − ac = 14 + 6 =
6.25 > 0 is positive.
There are two families of characteristics determined by the ordinary differential
equation
dx dx
( )2 + −6=0
dt dt
(see formula ( 2.8)).
The two characteristic equations are
√ √
dx b − b2 − ac dx b + b2 − ac
= = 2, = = −3 (2.13)
dt a dt a
Solving the above equations, we find the equations of the characteristics
x = 2t + constant, x = −3t + constant
17
ξ = x − 2t, η = x + 3t
∂ 2u ∂ 2u 1
−13 − 5u = 2 or = − (5u + 2) (2.14)
∂t∂x ∂t∂x 13
Note that one can obtain from the first standard form the second standard
form by the mapping
α = t − x, β =t+x
Indeed, we evaluate,
∂u ∂u ∂α ∂u ∂β ∂u ∂u
= + = +
∂t ∂α ∂t ∂β ∂t ∂α ∂β
Hence, we find
∂ 2u ∂ 2 u ∂α ∂ 2u ∂β ∂ 2u ∂α ∂ 2u ∂β ∂ 2u ∂ 2u
= + + + =− 2 +
∂t∂x ∂α2 ∂x ∂β∂α ∂x ∂β∂α ∂x ∂β 2 ∂x ∂α ∂β 2
By the first standard form (2.14), we obtain the second standard from
∂ 2u ∂ 2u 1
− = (5u + 2)
∂α 2 ∂β 2 13
Example 2.3 .
(a) Find equations of the characteristic for the following hyperbolic equation:
Solution
To (a). The two characteristic equations are
√ √
dy b − b2 − ac x dy b = b2 − ac x
= =− , = = (2.16)
dx a y dx a y
Note that this is equivalent to setting A = C = 0.
Solving the above ordinary differential equations by the method of separating
variables, we find the equations for the characteristics in the implicit form
y 2 − x2 = constant, y 2 + x2 = constant.
To (b). We find the standard form of the hyperbolic equation in the new
variables
ξ = y 2 − x2 , η = y 2 + x2 .
Then, we compute the coefficients A, B, C, D, E, F, G in the equation
Auξξ + 2Buξη + Cuηη + Duξ + Euη + Gu = F. (2.17)
having the coefficients a = y 2, b = 0, c = −x2, d = 0, e = 0, f = 0, g = 0 in
the equations
auξξ + auξη + auηη + auξ + euη + fu = g.
we compute
A = a(ξx )2 + 2 b ξx ξy + c (ξy )2 = y 2(−2x)2 − x2(2y)2 = 0
F = 0, G = 0.
Substituting the above coefficients to the equation (2.17), we obtain the fol-
lowing equation
−(x2 + y 2)uξ + (y 2 − x2)uη
uξη = . (2.18)
8x2 y 2
Hence, by the equations of the characteristics, we find the first canonical form
ηuξ − ξuη
uξη =
2(η 2 − ξ 2 )
We can find the second canonical form of equation (2.17), introducing the new
variables
α = ξ + η, β = ξ − η.
19
uη = uααη + uβ βη = uα − uβ
ξ = y 2 − x2 , η = y − x. (2.23)
In the new variables ξ and η, the hyperbolic equation (2.19) takes the standard
form
∂ 2u ∂u
η + = 0. (2.24)
∂ξ∂η ∂ξ
∂ 2u ∂ 2u ∂ 2u
a(x, y) + 2b(x, y) + c(x, y) +
∂x2 ∂x∂y ∂y 2
(2.25)
∂u ∂u
+d(x, y) + e(x, y) + g(x, y)u = f(x, y),
∂x py
D = 0, E = 0, G = 0, F = 0.
In terms of ξ, η we get
∂ 2u ∂ 2u ∂ 2u ∂ 2u ∂ 2u
− 2 + 2 = + 2.
∂x2 ∂x∂y ∂y 2 ∂ξ 2 ∂η
Thus, the standard form of the equation in the new variables is:
∂ 2u ∂ 2u
+ 2 = 0.
∂ξ 2 ∂η
Example 2.6 . Determine type of the equation
∂ 2u ∂ 2u
+ y = 0, y > 0, (2.31)
∂x2 ∂y 2
Transform the equation into the standard form.
Solution. We have data: a = 1, b = 0, c = y, d = 0, e = 0, g = 0, f = 0.
The discriminant b2 − ac = −y < 0 for y > 0. So that, it is the elliptic
equation. The characteristics of this equation are defined by the equation
dy 2
( ) + y = 0, y > 0.
dx
23
dy
Solving the equation for λ = , we have the two equations
dx
dy √ dy √
= i y, = −i y, y > 0.
dx dx
Integrating the above separate variables equations, we find the following com-
plex mapping
√ √
ξ = ξ(x, y) = x + 2i y, η = η(x, y) = x − 2i y. y > 0
√
Let ξ = x and η = 2 y. Then, we find
∂u ∂u ∂ 2u ∂ 2u
= , =
∂x ∂ξ ∂x2 ∂ξ 2
(2.32)
∂u 1 ∂u ∂ 2u 1 ∂ 2u 1 ∂u
=√ , 2
= 2
− √ 3
∂y y ∂η ∂y y ∂η 2 y ∂η
In terms of ξ, η we get
∂ 2u ∂ 2u ∂ 2 u ∂ 2 u 1 ∂u
+ y = + 2− = 0, y > 0.
∂x2 ∂y 2 ∂ξ 2 ∂η η ∂η
Thus, the standard form of the equation in the new variables is:
∂ 2u ∂ 2u 1 ∂u
+ 2− = 0, y > 0.
∂ξ 2 ∂η η ∂η
therefore
aξx + bξy = 0.
Multiplying this equation by b and using the equality b2 = ac, we find
abξx + b2ξy = 0
abξx + ac2ξy = 0
Hence, we have
∂ 2u
Therefore, the term with in the canonical form is absent.
∂ξ∂η
Solution. From the general form of a linear PDE of the second order (2.1),
we find the coefficients
b2 − a c = (−1)2 − 1 = 0.
Since the discriminant equals to zero, the equation is parabolic one. Then,
there is one family of characteristics determined by the ordinary differential
equation
dx b
= = −1
dt a
Hence, we obtain the solution t + x = constant. Now, we choose the mapping
ξ = t + x, η = t.
Let us note that for η, we are free to choose any function for which the Jacobian
ξt ηx − ξx ηt 6= 0.
25
B = aξt ηt + b(ξt ηx + ξx ηt ) + c ξx ηx = 1 − (0 + 1) + 0 = 0
C = a (ηt )2 + 2b ηt ηx + c(ηx )2 = 1 − 2 ∗ 0 + 0 = 1,
G = 1, F = 0.
Hence, by the general form (2.2), we obtain the standard form of the equation
uηη − 2uξ − uη + u = 0.
or
1 1 1
uξ = uηη + uη − u.
2 2 2
Example 2.8 . Determine type of the equation
∂ 2u ∂ 2u 2
2∂ u
x2 + 2xy + y = 0, (2.33)
∂x2 ∂x∂y ∂y 2
Transform the equation into the standard form.
Hence, in the new variables ξ and η equation (2.33) takes the canonical form
∂ 2u
= 0.
∂η 2
Applications of the canonical form of elliptic, parabolic and hyper-
bolic equations
3. Many computer programs have been written to find the numerical so-
lution of the canonical form. Having the numerical solution in the new
variables, we can always come back to the original variables.
27
2.6 Exercises
Question 2.1 Classify the following equations:
1.
9uxx + 12uxy + 4uyy + ux = 0.
2.
uxx − 8uxy + 2uyy + xux − yuy = 0,
3.
4uxx + 2uxy + uyy − uy = 0.
y uxx + uyy = 0,
in the lower half-plane y < 0. Transform Tricomi’s equation into the canonical
form in the upper-half of the plane when y > 0.
Question 2.4 Show that all linear partial differential equations of the second
order in two variables x and y of elliptic type with constant coefficients can be
transformed into the canonical form
Question 2.5 Show that all linear partial differential equations of the second
order in two variables t and x of hyperbolic type with constant coefficients can
be transformed into the canonical form