Lec 5
Lec 5
Last time we derived the wave and heat equations from physical principles. We also saw that Laplace’s
equation describes the steady physical state of the wave and heat conduction phenomena. Today we
will consider the general second order linear PDE and will reduce it to one of three distinct types of
equations that have the wave, heat and Laplace’s equations as their canonical forms. Knowing the type
of the equation allows one to use relevant methods for studying it, which are quite different depending
on the type of the equation. One should compare this to the conic sections, which arise as different types
of second order algebraic equations (quadrics). Since the hyperbola, given by the equation x2 − y 2 = 1,
has very different properties from the parabola x2 − y = 0, it is expected that the same holds true for the
wave and heat equations as well. For conic sections, one uses change of variables to reduce the general
second order equation to a simpler form, which are then classified according to the form of the reduced
equation. We will see that a similar procedure works for second order PDEs as well.
The general second order linear PDE has the following form
Auxx + Buxy + Cuyy + Dux + Euy + F u = G,
where the coefficients A, B, C, D, F and the free term G are in general functions of the independent vari-
ables x, y, but do not depend on the unknown function u. The classification of second order equations
depends on the form of the leading part of the equations consisting of the second order terms. So, for sim-
plicity of notation, we combine the lower order terms and rewrite the above equation in the following form
Auxx + Buxy + Cuyy + I(x, y, u, ux , uy ) = 0. (1)
As we will see, the type of the above equation depends on the sign of the quantity
∆(x, y) = B 2 (x, y) − 4A(x, y)C(x, y), (2)
which is called the discriminant for (1). The classification of second order linear PDEs is given by the
following.
Definition 5.1. At the point (x0 , y0 ) the second order linear PDE (1) is called
i) hyperbolic, if ∆(x0 , y0 ) > 0
ii) parabolic, if ∆(x0 , y0 ) = 0
ii) elliptic, if ∆(x0 , y0 ) < 0
Notice that in general a second order equation may be of one type at a specific point, and of another
type at some other point. In order to illustrate the significance of the discriminant ∆ = B 2 − 4AC, we
next describe how one reduces equation (1) to a canonical form. Similar to the second order algebraic
equations, we use change of coordinates to reduce the equation to a simpler form. Define the new
variables as
ξ = ξ(x, y), ξ ξ
with J = det x y 6= 0. (3)
η = η(x, y), ηx ηy
We then use the chain rule to compute the terms of the equation (1) in these new variables.
ux = uξ ξx + uη ηx ,
uy = uξ ξy + uη ηy .
To express the second order derivatives in terms of the (ξ, η) variables, differentiate the above expressions
for the first derivatives using the chain rule again.
uxx = uξξ ξx2 + 2uξη ξx ηx + uηη ηx2 + l.o.t,
uxy = uξξ ξx ξy + uξη (ξx ηy + ηx ξy ) + uηη ηx ηy + l.o.t,
uyy = uξξ ξy2 + 2uξη ξy ηy + uηη ηy2 + l.o.t.
1
Here l.o.t. stands for the low order terms, which contain only one derivative of the unknown u. Using
these expressions for the second order derivatives of u, we can rewrite equation (1) in these variables as
where the new coefficients of the higher order terms A∗ , B ∗ and C ∗ are expressed via the original coef-
ficients and the change of variables formulas as follows.
One can form the discriminant for the equation in the new variables via the new coefficients in the
obvious way,
∆∗ = (B ∗ )2 − 4A∗ C ∗ .
We need to guarantee that the reduced equation will have the same type as the original equation. Oth-
erwise, the classification given by Definition 5.1 is meaningless, since in that case the same physical
phenomenon will be described by equations of different types, depending on the particular coordinate
system in which one chooses to view them. The following statement provides such a guarantee.
Theorem 5.2. The discriminant of the equation in the new variables can be expressed in terms of the
discriminant of the original equation (1) as follows
∆∗ = J 2 ∆,
2
to find change of variables formulas, which are given as curves ζ(x, y) = const (fix the new variable, e.g.
ξ(x, y) = ξ0 ). Along such curves we have
dζ = ζx dx + ζy dy = 0.
Substituting this into equation (9), we arrive at the following equation for the slope of the characteristic
curve 2
dy dy
A −B + C = 0.
dx dx
Since the above is a quadratic equation, it has 2, 1, or 0 real solutions, depending on the sign of the
discriminant, B 2 − 4AC, and the solutions are given by the quadratic formulas
√
dy B ± B 2 − 4AC
= . (10)
dx 2A
5.1 Hyperbolic equations
If the discriminant ∆ > 0, then the quadratic formulas (10) give two distinct families of characteristic
curves, which will define the change of variables (3). To derive these change of variables formulas,
integrate (10) to get
√ √
B ± B 2 − 4AC B ± B 2 − 4AC
y= x + c, or x − y = c.
2A 2A
These equations give the following change of variables
( √
2
ξ = B+ √B2A−4AC x − y
2 (11)
η = B− B2A−4AC x − y
One can then divide equation (4) by B ∗ , to arrive at the reduced equation
uξη + · · · = 0. (12)
This is called the first canonical form for hyperbolic equations. Under the orthogonal transformations
0
x =ξ+η
y0 = ξ − η
3
5.2 Parabolic equations
In the case of parabolic equations ∆ = B 2 − 4AC = 0, and the quadratic formulas (10) give only one
family of characteristic curves. This means that there is no change of variables that makes both A∗
and C ∗ vanish. However we can make one of this vanish, for example A∗ , by choosing ξ to be the
unique solution of equation (10). We can then chose η arbitrarily, as long as the change of coordinates
formulas (3) define a nondegenerate transformation. Notice
√ that in such a case, according to Theorem
∗ ∗ 2 ∗ ∗ ∗
5.2, ∆ = (B ) − 4A C = 0. But then we have B = ±2 A∗ C ∗ = 0.
We solve equation (10) by integration to get ξ, and set η = x to arrive at the following change of
variables formulas B
ξ = 2A x−y
(13)
η=x
The Jacobian determinant of this transformation is
B/(2A) −1
J= = 1 6= 0.
1 0
Thus, the transformation (13) is indeed nondegenerate, and reduces equation (1) to the following form
(after division by C ∗ )
uηη + · · · = 0,
which is the canonical form for parabolic PDEs. Notice that this equation has the same leading terms
as the heat equation uxx − ut = 0.
5.3 Elliptic equations
In the case of elliptic equations ∆ = B 2 − 4AC < 0, and the quadratic formulas (10) give two complex
conjugate solutions. We can formally solve for ξ similar to the hyperbolic case, and arrive at the formula
√
B B 2 − 4AC
ξ= + i x − y.
2A 2A
We define new variables (α, β) by taking respectively the real and imaginary parts of ξ.
B
α=√ 2A
x−y
B 2 −4AC (14)
β= 2A
x
In these variables equation (1) has the form
A∗∗ uαα + B ∗∗ uαβ + C ∗∗ uββ + I ∗∗ (α, β, u, uα , uβ ) = 0, (15)
in which the coefficients will be given by formulas similar to (5)-(7) with ξ replaced by α, and η replaced
by β. Computing these new coefficients we get
2
∗∗ B B2 4AC − B 2
A =A − +C = ,
2A 2A 4A
√ √
∗∗ B 4AC − B 2 4AC − B 2
B = 2A −B = 0,
2A 2A 2A
4AC − B 2 4AC − B 2
C ∗∗ = A = .
2A2 4A
As we can see, A∗∗ = C ∗∗ , and B ∗∗ = 0. This is a direct consequence of the fact that ξ = α + βi and
η = α − βi solve equation (8). One can then divide both sides of equation (4) by A∗∗ = C ∗∗ 6= 0, to
arrive at the reduced equation
uαα + uββ + · · · = 0,
which is the canonical form for elliptic PDEs. Notice that this equation has the same leading terms as
the Laplace equation.
4
Example 5.1. Determine the regions in the xy plane where the following equation is hyperbolic,
parabolic, or elliptic.
1
uxx + yuyy + uy = 0.
2
The coefficients of the leading terms in this equation are
A = 1, B = 0, C = y.
The discriminant is then ∆ = B 2 −4AC = −4y. Hence the equation is hyperbolic when y < 0, parabolic
when y = 0, and elliptic when y > 0.
5.4 Conclusion
The second order linear PDEs can be classified into three types, which are invariant under changes of
variables. The types are determined by the sign of the discriminant. This exactly corresponds to the
different cases for the quadratic equation satisfied by the slope of the characteristic curves. We saw
that hyperbolic equations have two distinct families of (real) characteristic curves, parabolic equations
have a single family of characteristic curves, and the elliptic equations have none. All the three types
of equations can be reduced to canonical forms. Hyperbolic equations reduce to a form coinciding with
the wave equation in the leading terms, the parabolic equations reduce to a form modeled by the heat
equation, and Laplace’s equation models the canonical form of elliptic equations. Thus, the wave, heat
and Laplace’s equations serve as canonical models for all second order constant coefficient PDEs. We
will spend the rest of the quarter studying the solutions to the wave, heat and Laplace’s equations.