Académique Documents
Professionnel Documents
Culture Documents
Canonical Forms
A. Salih
Department of Aerospace Engineering
Indian Institute of Space Science and Technology, Thiruvananthapuram
22 December 2014
2u 2u 2u u u
A + B + C +D +E + Fu = G (1)
x 2 x y y 2 x y
where the coefficients A, B, and C are functions of x and y and do not vanish simultaneously,
because in that case the second-order PDE degenerates to one of first order. Further, the
coefficients D, E, and F are also assumed to be functions of x and y. We shall assume that the
function u(x, y) and the coefficients are twice continuously differentiable in some domain .
The classification of second-order PDE depends on the form of the leading part of the
equation consisting of the second order terms. So, for simplicity of notation, we combine the
lower order terms and rewrite the above equation in the following form
2u 2u 2u u u
A(x, y) 2 + B(x, y) + C(x, y) 2 = x, y, u, , (2a)
x x y y x y
As we shall see, there are fundamentally three types of PDEs hyperbolic, parabolic, and
elliptic PDEs. From the physical point of view, these PDEs respectively represents the wave
propagation, the time-dependent diffusion processes, and the steady state or equilibrium pro-
cesses. Thus, hyperbolic equations model the transport of some physical quantity, such as
fluids or waves. Parabolic problems describe evolutionary phenomena that lead to a steady
state described by an elliptic equation. And elliptic equations are associated to a special state
of a system, in principle corresponding to the minimum of the energy.
Mathematically, these classification of second-order PDEs is based upon the possibility of
reducing equation (2) by coordinate transformation to canonical or standard form at a point. It
may be noted that, for the purposes of classification, it is not necessary to restrict consideration
1
to linear equations. It is applicable to quasilinear second-order PDE as well. A quasilinear
second-order PDE is linear in the second derivatives only.
The type of second-order PDE (2) at a point (x0 , y0 ) depends on the sign of the discriminant
defined as
B 2A
(x0 , y0 )
= B(x0 , y0 )2 4 A(x0 , y0 )C(x0 , y0 ) (3)
2C B
The classification of second-order linear PDEs is given by the following: If (x0 , y0 ) > 0, the
equation is hyperbolic, (x0 , y0 ) = 0 the equation is parabolic, and (x0 , y0 ) < 0 the equation
is elliptic. It should be remarked here that a given PDE may be of one type at a specific point,
and of another type at some other point. For example, the Tricomi equation
2u 2u
+ x =0
x2 y2
is hyperbolic in the left half-plane x < 0, parabolic for x = 0, and elliptic in the right half-plane
x > 0, since = 4x. A PDE is hyperbolic (or parabolic or elliptic) in a region if the PDE
is hyperbolic (or parabolic or elliptic) at each point of .
The terminology hyperbolic, parabolic, and elliptic chosen to classify PDEs reflects the anal-
ogy between the form of the discriminant, B2 4AC, for PDEs and the form of the discriminant,
B2 4AC, which classifies conic sections given by
The type of the curve represented by the above conic section depends on the sign of the
discriminant, B2 4AC. If > 0, the curve is a hyperbola, = 0 the curve is an parabola,
and < 0 the equation is a ellipse. The analogy of the classification of PDEs is obvious. There
is no other significance to the terminology and thus the terms hyperbolic, parabolic, and elliptic
are simply three convenient names to classify PDEs.
In order to illustrate the significance of the discriminant and thus the classification of the
PDE (2), we try to reduce the given equation (2) to a canonical form. To do this, we transform
the independent variables x and y to the new independent variables and through the change
of variables
= (x, y), = (x, y) (4)
where both and are twice continuously differentiable and that the Jacobian
( , ) x y
J= = 6= 0 (5)
(x, y) x y
in the region under consideration. The nonvanishing of the Jacobian of the transformation
ensure that a one-to-one transformation exists between the new and old variables. This simply
means that the new independent variables can serve as new coordinate variables without any
ambiguity. Now define w( , ) = u(x( , ), y( , )). Then u(x, y) = w( (x, y), (x, y)) and,
2
apply the chain rule to compute the terms of the equation (2) in terms of and as follows:
ux = w x + w x
uy = w y + w y
uxx = w x2 + 2w x x + w x2 + w xx + w xx (6)
uyy = w y2 + 2w y y + w y2 + w yy + w yy
uxy = w x y + w (x y + y x ) + w x y + w xy + w xy
Substituting these expressions into equation (2) we obtain the transformed PDE as
aw + bw + cw = , , w, w , w
(7)
where becomes and the new coefficients of the higher order terms a, b, and c are expressed
via the original coefficients and the change of variables formulas as follows:
a = Ax2 + Bx y + Cy2
b = 2Ax x + B(x y + y x ) + 2Cy y (8)
c = Ax2 + Bx y + Cy2
At this stage the form of the PDE (7) is no simpler than that of the original PDE (2), but this
is to be expected because so far the choice of the new variable and has been arbitrary.
However, before showing how to choose the new coordinate variables, observe that equation
(8) can be written in matrix form as
T
x y x y
a b/2 A B/2
=
b/2 c x y B/2 C x y
Recalling that the determinant of the product of matrices is equal to the product of the de-
terminants of matrices and that the determinant of a transpose of a matrix is equal to the
determinant of a matrix, we get
a b/2 A B/2 2
b/2 c = B/2 C J
where J is the Jacobian of the change of variables given by (5). Expanding the determinant
and multiplying by the factor, 4, to obtain
where = b2 4ac is the discriminant of the equation (7). This shows that the discriminant of
(2) has the same sign as the discriminant of the transformed equation (7) and therefore it is clear
that any real nonsingular (J 6= 0) transformation does not change the type of PDE. Note that
the discriminant involves only the coefficients of second-order derivatives of the corresponding
PDE.
3
1.1 Canonical forms
Let us now try to construct transformations, which will make one, or possibly two of the
coefficients of the leading second order terms of equation (7) vanish, thus reducing the equation
to a simpler form called canonical from. For convenience, we reproduce below the original PDE
a( , )w + b( , )w + c( , )w = , , w, w , w
(7)
We again mention here that for the PDE (2) (or (7)) to remain a second-order PDE, the
coefficients A, B, and C (or a, b, and c) do not vanish simultaneously.
By definition, a PDE is hyperbolic if the discriminant = B2 4AC > 0. Since the sign of
discriminant is invariant under the change of coordinates (see equation (9)), it follows that for
a hyperbolic PDE, we should have b2 4ac > 0. The simplest case of satisfying this condition
is a = c = 0. So, if we try to chose the new variables and such that the coefficients a and
c vanish, we get the following canonical form of hyperbolic equation:
w = , , w, w , w
(10a)
where = /b. This form is called the first canonical form of the hyperbolic equation. We
also have another simple case for which b2 4ac > 0 condition is satisfied. This is the case
when b = 0 and c = a. In this case (9) reduces to
w w = , , w, w , w
(10b)
w = , , w, w , w
(11)
where = /c.
By definition, a PDE is elliptic if the discriminant = B2 4AC < 0. It follows that for
a elliptic PDE, we should have b2 4ac < 0. The simplest case of satisfying this condition is
b = 0 and c = a. So, if we try to chose the new variables and such that b vanishes and
c = a, we get the following canonical form of elliptic equation:
w + w = , , w, w , w
(12)
where = /a.
In summary, equation (7) can be reduced to a canonical form if the coordinate transformation
= (x, y) and = (x, y) can be selected such that:
4
a = c = 0 corresponds to the first canonical form of hyperbolic PDE given by
w = , , w, w , w
(10a)
w w = , , w, w , w
(10b)
w = , , w, w , w
(11)
w + w = , , w, w , w
(12)
x x
2
A +B +C = 0 (14a)
y y
x x
2
A +B +C = 0 (14b)
y y
Equation (14a) is a quadratic equation for (x /y ) whose roots are given by
B B2 4AC
1 (x, y) =
2A
B + B2 4AC
2 (x, y) =
2A
The roots of the equation (14b) can also be found in an identical manner, so as only two distinct
roots are possible between the two equations (14a) and (14b). Hence, we may consider 1 as
the root of (14a) and 2 as that of (14b). That is,
x B B2 4AC
1 (x, y) = = (15a)
y 2A
x B + B2 4AC
2 (x, y) = = (15b)
y 2A
5
The above equations lead to the following two first-order differential equations
These are the equations that define the new coordinate variables and that are necessary
to make a = c = 0 in (7).
As the total derivative of along the coordinate line (x, y) = constant, d = 0. It follows
that
d = x dx + y dy = 0
and hence, the slope of such curves is given by
dy x
=
dx y
We also have a similar result along coordinate line (x, y) = constant, i.e.,
dy x
=
dx y
This is called the characteristic polynomial of the PDE (2) and its roots are given by
dy B + B2 4AC
= = 1 (x, y) (18a)
dx 2A
dy B B2 4AC
= = 2 (x, y) (18b)
dx 2A
The required variables and are determined by the respective solutions of the two ordinary
differential equations (18a) and (18b), known as the characteristic equations of the PDE (2).
They are ordinary differential equations for families of curves in the xy-plane along which =
constant and = constant. Clearly, these families of curves depend on the coefficients A, B,
and C in the original PDE (2).
Integration of equation (18a) leads to the family of curvilinear coordinates (x, y) = c1 while
the integration of (18b) gives another family of curvilinear coordinates (x, y) = c2 , where c1
and c2 are arbitrary constants of integration. These two families of curvilinear coordinates
(x, y) = c1 and (x, y) = c2 are called characteristic curves of the hyperbolic equation (2) or,
more simply, the characteristics of the equation. Hence, second-order hyperbolic equations have
two families of characteristic curves. The fact that > 0 means that the characteristic are real
curves in xy-plane.
6
If the coefficients A, B, and C are constants, it is easy to integrate equations (18a) and
(18b) to obtain the expressions for change of variables formulas for reducing a hyperbolic PDE
to the canonical form. Thus, integration of (18) produces
B + B2 4AC B B2 4AC
y= x + c1 and y= x + c2 (19a)
2A 2A
or
B + B2 4AC B B2 4AC
y x = c1 and y x = c2 (19b)
2A 2A
Thus, when the coefficients A, B, and C are constants, the two families of characteristic curves
associated with PDE reduces to two distinct families of parallel straight lines. Since the families
of curves = constant and = constant are the characteristic curves, the change of variables
are given by the following equations:
B + B2 4AC
= y x = y 1 x (20)
2A
B B2 4AC
= y x = y 2 x (21)
2A
The first canonical form of the hyperbolic is:
w = , , w, w , w
(22)
7
It is easy to show that the hyperbolic PDE has a second canonical form. The following
linear change of variables
= + , =
converts (22) into
w w = , , w, w , w
(24)
which is the second canonical form of the hyperbolic equations.
Example 1
Show that the one-dimensional wave equation
2u 2 u
2
c =0
t2 x2
is hyperbolic, find an equivalent canonical form, and then obtain the general solution.
Solution To interpret the results for (2) that involve the independent variables x and y in
terms of the wave equation utt c2 uxx = 0, where the independent variables are t and x, it will
be necessary to replace x and y in (2) and (6) by t and x. It follows that the wave equation is
a constant coefficient equation with
A = 1, B = 0, C = c2
We calculate the discriminant, = 4c2 > 0, and therefore the PDE is hyperbolic. The roots of
the characteristic polynomial are given by
B+ B
1 = =c and 2 = = c
2A 2A
Therefore, from the characteristic equations (18a) and (18b), we have
dx dx
= c, = c
dt dt
Integrating the above two ODEs to obtain the characteristics of the wave equation
x = ct + k1 , x = ct + k2
where k1 and k2 are the constants of integration. We see that the two families of characteristics
for the wave equation are given by x ct = constant and x + ct = constant. It follows, then,
that the transformation
= x ct, = x + ct
reduces the wave equation to canonical form. We have,
a = 0, c = 0, b= = 4c2
A
8
So in terms of characteristic variables, the wave equation reduces to the following canonical
form
w = 0
For the wave equation the characteristics are found to be straight lines with negative and
positive slopes as shown in Fig. 1. The characteristics form a natural set of coordinates for the
hyperbolic equation.
x + ct = a x ct = a
b
x
a
The canonical forms are simple because they can be solved directly by integrating twice.
For example, integrating with respect to gives
Z
w = 0 d = h( )
where f and g are arbitrary twice differentiable functions and g is just the integral of the
arbitrary function h. The form of the general solutions of the wave equation in terms of its
original variable x and t are then given by
w w = 0
9
Example 2
In steady or unsteady transonic flow around wings and airfoils with thickness to chord ratios
of a few percent, we can generally consider that the flow is predominantly directed along
the chordwise direction, taken as the x-direction. In this case, the velocities in the transverse
direction can be neglected and the potential equation reduces to the so-called small disturbance
potential equation:
2 2
1 M2 + =0
x2 y2
Historically, this was the form of equation used by Murman and Cole (1961) to obtain the first
numerical solution for a transonic flow around an airfoil with shocks.
Show that, depending on the Mach number, the small disturbance potential equation is
elliptic, parabolic, or hyperbolic. Find the characteristic variables for the hyperbolic case and
hence write the equation in canonical form.
Solution The given equation is of the form (2) where
A = 1 M2 , B = 0, C=1
The discriminant, = B2 4AC = 4(1 M2 ). Therefore, the PDE is hyperbolic for M > 1,
elliptic for M < 1, and parabolic for M = 1 (along the sonic line). For the case of supersonic
flow (M > 1), the roots of the characteristic polynomial are given by
B+
p
4(M2 1) 1
1 = = =
2(1 M2 )
p
2A M2 1
B
p
4(M2 1) 1
2 = = 2
= p
2A 2(1 M) M2 1
Integrating the above two ODEs to obtain the characteristics of the wave equation
x x
y= p + c1 , y = p + c2
M2 1 M2 1
10
reduces the wave equation to canonical form. From the relations (6), we have
xx = w x2 + 2w x x + w x2 + w xx + w xx
1 2 1
= 2 w 2 w + 2 w
M 1 M 1 M 1
yy = w y2 + 2w y y + w y2 + w yy + w yy
= w + 2w + w
w = 0
This is the canonical form of the given hyperbolic PDE.p Here = const. and = const. lines
represent two families of straight lines with slopes, 1/ M2 1.
a = Ax2 + Bx y + Cy2 = 0
x x
2
A +B +C = 0 (25)
y y
As the total derivative of along the coordinate line (x, y) = const., d = 0. It follows that
d = x dx + y dy = 0
This is called the characteristic polynomial of the PDE (2). Since B2 4AC = 0 in this case,
the characteristic polynomial (25) has only one root, given by
dy B
= = (x, y) (27)
dx 2A
11
Hence we see that for a parabolic PDE there is only one family of real characteristic curves.
The required variables is determined by the ordinary differential equation (27), known as the
characteristic equations of the PDE (2). This is an ordinary differential equation for families of
curves in the xy-plane along which = constant.
To determine the second transformation variable , we set b = 0 in (8) so that
2Ax x + Bx y + y x ) + 2Cy y =0
x x
2A x + B y + x + 2Cy =0
y y
B B
2A x + B y + x + 2Cy =0
2A 2A
B2
Bx y + Bx + 2Cy =0
2A
B2 4AC y
=0
Since B2 4AC = 0 for a parabolic PDE, y could be an arbitrary function of (x, y) and con-
sequently the transformation variable can be chosen arbitrarily, as long as the change of
coordinates formulas define a non-degenerate transformation.
If the coefficients A, B, and C are constants, it is easy to integrate equation (27) to obtain
the expressions for change of variable formulas for reducing a parabolic PDE to the canonical
form. Thus, integration of (27) produces
B
y= x + c1 (28a)
2A
or
B
y x = c1 (28b)
2A
Since the families of curves = constant are the characteristic curves, the change of variables
are given by the following equations:
B
= y x (29)
2A
=x (30)
12
In these new coordinate variables given by (29) and (30), equation (7) reduces to following
canonical form:
w = , , w, w , w
(31)
where = /c. As the choice of is arbitrary, the form taken by will depend on the choice
of . We have from (8)
c = Ax2 + Bx y + Cy2 = A (32)
Equation (7) may also assume the form
w = , , w, w , w
(33)
if we choose c = 0 instead of a = 0.
Example 3
Show that the one-dimensional heat equation
2u u
=
x2 t
is parabolic, choose the appropriate characteristic variables, and write the equation in equivalent
canonical form.
Solution It follows that the heat equation is a constant coefficient equation with
A = , B = 0, C=0
We calculate the discriminant, = 0, and therefore the PDE is parabolic. The single root of
the characteristic polynomial is given by
= B/2A = 0
Therefore, from the characteristic equation (27), we have
dt
=0
dx
Integrating the above ODE to obtain the characteristics of the wave equation
t =k
where k is the constant of integration. Here t = k lines represents the characteristics. Since the
families of curves = constant are the characteristic curves, the change of variables are given
by the following equations:
= t, =x
where we have set = x. This shows that the given PDE is already expressed in canonical form
and thus no change of variable is needed to simplify the structure. Further, we have from (6)
ut = w t + w t = w
and c = A = . It follows that the canonical form of the heat equation is given by
1
w = w
13
1.4 Elliptic equations
For an elliptic PDE the discriminant = B2 4AC < 0. In this case, we have seen that, to
reduce this PDE to canonical form we need to choose the new variables and to produce
b = 0 and a = c, or b = 0 and a c = 0. Then, from (8) we obtain the following equations:
A x2 x2 + B(x y x y ) + C y2 y2 = 0
(34a)
2Ax x + B(x y + y x ) + 2Cy y = 0 (34b)
For hyperbolic and parabolic PDEs, and are satisfied by equations that are not coupled
each other (see (13) and (25)). However, equations (34) are coupled since both unknowns
and appear in both equations. In an attempt to separate them, we add the first of these
equation to complex number i times the second to give
A (x + ix )2 + B(x + ix )(y + iy ) + C (y + iy )2 = 0
x + ix x + ix
2
A +B +C = 0 (35)
y + iy y + iy
This equation can be solved for two possible values of the ratio
x + ix B B2 4AC B i 4AC B2
= = (36)
y + iy 2A 2A
Clearly, these two roots are complex conjugates and are given by
x B + i 4AC B2
= (37a)
y 2A
x B i 4AC B2
= (37b)
y 2A
where (x, y) is the complex conjugate of (x, y). They are given by
We will now proceed in a purely formal fashion. As the total derivative of along the coordinate
line (x, y) = constant, d = 0. It follows that
d = x dx + y dy = 0
14
We also have a similar result along coordinate line (x, y) = constant, i.e.,
dy x
=
dx y
From the foregoing discussion it follows that
dy B i 4AC B2
= 1 = (39a)
dx 2A
dy B + i 4AC B2
= 2 = (39b)
dx 2A
Equations (39a) and (39b) are called the characteristic equation of the PDE (2). Clearly, the
solution of this differential equations are necessarily complex-valued and as a consequence there
are no real characteristic exist for an elliptic PDE.
The complex variables and are determined by the respective solutions of the two
ordinary differential equations (39a) and (39b). Integration of equation (39a) leads to the
family of curvilinear coordinates (x, y) = c1 while the integration of (39b) gives another family
of curvilinear coordinates (x, y) = c2 , where c1 and c2 are complex constants of integration.
Since and are complex function the characteristic curves of the elliptic equation (2) are
not real.
Now the real and imaginary parts of and give the required transformation variables
and . Thus, we have
+
= = (40)
2 2i
With the choice of coordinate variables (40), equation (7) reduces to following canonical form:
w + w = , , w, w , w
(41)
where = /a.
Note: It may be noted that the quasilinear second-order equations in two independent variables
can also be classified in a similar way according to rule analogous to those developed above for
semilinear equations. However, since A, B, and C are now functions of ux , uy , and u its type
turns out to depend in general on the particular solution searched and not just on the values
of the independent variables.
Example 4
Show that the equation
uxx + x2 uyy = 0
is elliptic everywhere except on the coordinate axis x = 0, find the characteristic variables and
hence write the equation in canonical form.
Solution The given equation is of the form (2) where
A = 1, B = 0, C = x2
15
The discriminant, = B2 4AC = 4x2 < 0 for x 6= 0, and therefore the PDE is elliptic. The
roots of the characteristic polynomial are given by
B i 4AC B2 B + i 4AC B2
1 = = ix and 2 = = ix
2A 2A
Therefore, from the characteristic equations (18a) and (18b), we have
dy dy
= ix, = ix
dx dx
Integrating the above two ODEs to obtain the characteristics of the wave equation
x2 x2
y = i + c1 , y=i + c2
2 2
where c1 and c2 are the complex constants. We see that the two families of complex charac-
teristics for the elliptic equation are given by y + ix2 /2 = constant and y ix2 /2 = constant. It
follows, then, that the transformation
x2 x2
= y+i , = yi
2 2
The real and imaginary parts of and give the required transformation variables and .
Thus, we have
+ x2
= =y = =
2 2i 2
With this choice of coordinate variables, equation (7) reduces to following canonical form. From
the relations (6), we have
uxx = w x2 + 2w x x + w x2 + w xx + w xx
= x2 w + w
uyy = w y2 + 2w y y + w y2 + w yy + w yy
= w
Substituting these relations in the given PDE and noting that x2 = 2 , we obtain
1
w + w = w
2
This is the canonical form of the given hyperbolic PDE. Therefore, the PDE
uxx + x2 uyy = 0
16
Example 5
Consider the Tricomi equation
uxx xuyy = 0
This is simple model of a second-order PDE of mixed elliptic-hyperbolic type with two inde-
pendent variables. The Tricomi equation is a prototype of the Chaplygins equation for study
of transonic flow.
The Tricomi equation is of the form (2) where
A = 1, B = 0, C = x
The discriminant, = B2 4AC = 4x. Therefore, the Tricomi equation is hyperbolic for x > 0,
elliptic for x < 0 and degenerates to an equation of parabolic type on the line x = 0. Assuming
x > 0, the roots of the characteristic polynomial are given by
B+ B
1 = = x and 2 = = x
2A 2A
Therefore, from the characteristic equations (18a) and (18b), we have
dy dy
= x, = x
dx dx
Integrating the above two ODEs to obtain the characteristics of the wave equation
y = 32 x3/2 + c1 , y = 32 x3/2 + c2
where c1 and c2 are the constants of integration. We see that the two families of characteristics
for the wave equation are given by y 2/(3x3/2 ) = constant and y + 2/(3x3/2 ) = constant. It
follows, then, that the transformation
= y 32 x3/2 , = y + 32 x3/2
reduces the wave equation to canonical form. The derivatives of and are given by
x = x y = 1
xx = 2 1
yy = 0
x
x = x y = 1
xx = 2 1
x
yy = 0
uxx = w x2 + 2w x x + w x2 + w xx + w xx
1 1
= xw 2xw + xw w + w
2 x 2 x
uyy = w y2 + 2w y y + w y2 + w yy + w yy
= w + 2w + w
17
We also have the following relation
3( )
x3/2 =
4
Substituting these relations in the given PDE to obtain
1 w w
w =
6
This is the canonical form of the Tricomi equation in the hyperbolic region.
Example 6
An interesting example is provided by the stationary potential flow equation in two dimensions,
defined by equation (where c designates the speed of sound):
u2 2 uv 2 v2 2
1 2 2 2 + 1 2 =0
c x2 c x y c y2
with
u2 v2
uv
A = 1 2 , B = 2 2 , C = 1 2
c c c
we can write the potential equation under the form (2). In this
particular case the discriminant
2
(B 4AC) becomes, introducing the Mach number, M(= u2 + v2 /c)
2
u + v2
2 2
B 4AC = 4 1 = 4 M 1
c2
and hence the stationary potential equation is elliptic for subsonic flows and hyperbolic for
supersonic flows. Along the sonic line M = 1, the equation is parabolic. This mixed nature of the
potential equation has been a great challenge for the numerical computation of transonic flows
since the transition line between the subsonic and the supersonic regions is part of the solution.
An additional complication arises from the presence of shock waves which are discontinuities of
the potential derivatives and which can arise in the supersonic regions.
18
a simple canonical form. Consider a general second-order semilinear partial differential equation
in n independent variables
2u 2u 2u 2u
a11 + a12 + a13 + + a1n +
x1 x1 x1 x2 x1 x3 x1 xn
2u 2u 2u 2u
a21 + a22 + a23 + + a2n +
x2 x1 x2 x2 x2 x3 x2 xn
.. .. .. .. ..
. . . . .
2u 2u 2u 2u
an1 + an2 + an3 + + ann +
xn x1 xn x2 xn x3 xn xn
u u u u
b1 + b2 + b3 + + bn + cu + d = 0
x1 x2 x3 xn
For more than three independent variables it is convenient to write the above PDE in the
following form:
n n
2u n
u
ai j xi x j + bi xi + cu + d = 0 (42)
i=1 j=1 i=1
2u 2u 2u
+ = f (x1 , x2 )
x21 x1 x2 x22
Since
2u 2u
=
x1 x2 x2 x1
we may write
2u 1 2u 1 2u 2u
+ 2 = f (x1 , x2 )
x21 2 x1 x2 2 x2 x1 x2
or in matrix form
" u
#
i 1 1/2
h
x1
x1 x2 u = f (x1 , x2 )
1/2 1 x2
19
Comparing to the general equation in matrix form above, we can see that the coefficient matrix
A is now symmetric.
Now consider the transformation
= Qx
where = (1 , 2 , . . . , n ) and Q = (qi j ) is an n n arbitrary matrix. Using index notation, this
transformation can be written as
n
i = qi j x j
j=1
Repeated application of chain rule in the forms
n
k
xi
= k xi
k=1
and
2 n
2 k l
xi x j
=
k,l=1 k l xi x j
to the derivatives of u(x1 , x2 , . . ., xn ) in (42) with respect to x1 , x2 , . . . , xn transforms them into
derivatives of w(1 , 2 , . . . , n ) with respect to 1 , 2 , . . . , n . This allows equation (42) to be
expressed as !
n n
2u
qkiai j ql j k l + lower-order terms = 0 (43)
k,l=1 i, j=1
The coefficient matrix of the terms 2 u/( k l ) in this transformed expression is seen to be
equal to QT AQ. That is,
(qki ai j ql j ) QT AQ
From linear algebra, we know that for any real symmetric matrix A, there is an associate
orthogonal matrix P such that PT AP = . Here P is called diagonalizing matrix of A and is
a diagonal matrix whose element are the eigenvalues, i , of A and the columns of P the linearly
independent eigenvectors of A, ei = (e1i , e2i , . . ., eni ). So, we have
P = (ei j ) and = (i i j ), i, j = 1, 2, . . ., n
where i j is the Kronecker delta. Now if the transformation is such that Q is taken to be a
diagonalizing matrix of A, it follows that
1
2
Q AQ = =
T
(44)
. . .
n
The numbers 1 , 2 , . . . , n are real, because the eigenvalues of a real symmetric matrix are
always real. It is instructive to note that the previously mentioned transformation (for second-
order PDE with two independent variables) to remove cross derivatives is equivalent to finding
eigenvalues i of the coefficient matrix A.
We are now in a position to classify the equation (42).
20
Equation is called elliptic if all eigenvalues i of A are non-zero and have the same sign.
Equation is called hyperbolic if all eigenvalues i of A are non-zero and have the same
sign except for one of the eigenvalues.
Equation is called parabolic if any of the eigenvalues i of A is zero. This means that the
coefficient matrix A is singular.
When more than two independent variables are involved, there are other intermediate classifi-
cations exist which depends on the number of zero eigenvalues and the pattern of signs of the
non-zero eigenvalues. These sub classification has not much practical importance and will not
be discussed here.
Example 7
Classify the three-dimensional Laplace equation
As the coefficient matrix is already in diagonalized form it can be seen immediately that it has
three non-zero eigenvalues which are all positive. Hence, according to the classification rule the
given PDE is elliptic.
Example 8
Classify the two-dimensional wave equation
As the coefficient matrix is already in diagonalized form it can be seen immediately that it
has three non-zero eigenvalues which are all negative except one. Hence, according to the
classification rule the given PDE is hyperbolic.
21
Example 9
Classify the two-dimensional heat equation
ut (uxx + uyy ) = 0
As the coefficient matrix is already in diagonalized form it can be seen immediately that it has
a zero eigenvalue. Hence, according to the classification rule the given PDE is parabolic.
Example 10
Classify the two-dimensional equation
2u 2u 2u
+ = f (x, y)
x2 x y y2
2u 1 2u 1 2u 2u
+ = f (x, y)
x2 2 x y 2 y x y2
The coefficient matrix is then given by
1 21
A=
12 1
Since the coefficient matrix not in diagonalized form, we solve the eigenvalue problem det(A
I) = 0. That is,
1 1
2 = 0
1 1
2
Expanding the determinant to obtain
1 3
(1 )2 =0 = 2 2 + =0
4 4
Hence the two eigenvalues are 1 = 1/2 and 2 = 3/2. The equation is elliptic.
22
Example 11
Classify the following small disturbance potential equation for compressible flows:
2 2
1 M2 + =0
x2 y2
1 M2 0
A=
0 1
As the coefficient matrix is already in diagonalized form it can be seen immediately that its
eigenvalues are given by
1 = 1, 2 = 1 M2
It follows that: If M2 < 1 then all eigenvalues are nonzero and of same sign thus small distur-
bance potential equation is elliptic, if M2 = 1 then one of the eigenvalues is zero thus small
disturbance potential equation is parabolic, and if M2 > 1 then all eigenvalues are nonzero and
are of opposite sign thus small disturbance potential equation is hyperbolic.
23
or
U U U
A(x, y, z) + B(x, y, z) + C(x, y, z) = F(x, y, z,U )
x y z
where
u f1
U = F =
v f2
Using indicial notations, the system of first-order PDE for two dependent variables and three
independent variables can be written as
2 uj uj uj
ai j x + bi j y + ci j z = fi, i = 1, 2
j=1
The system of first-order PDE of three independent variables can be generalized for n dependent
variables, u j , as follows:
n uj uj uj
ai j x + bi j y + ci j z = fi, i = 1, 2, . . ., n (45a)
j=1
or in matrix form
U U U
A +B +C =F (45b)
x y z
where
a11 a1n b11 b1n c11 c1n
A = ... . . . ... B = ... . . . ... C = ... . . . ...
24
or
U U
A(x, y) + B(x, y) = F(x, y,U ) (47)
x y
Assuming that A is non-singular, the system (47) can be written in a more convenient form by
pre-multiplying by A1 :
U U
+ D(x, y) = E(x, y,U ) (48)
x y
or
1 0 u1 d11 d1n u1 e1
.. . . .. .. .. . . . . ..
. . . + . . .. .. = .
.
x y
0 1 un dn1 dnn un en
where
D = A1 B and E = A1 F
In component form, the system (48) can be written as
u1 u1 u2 un
+ d11 + d12 + + d1n = e1
x y y y
u2 u1 u2 un
+ d21 + d22 + + d2n = e2
x y y y
.. .. .. .. .. ..
. . . . . .
un u1 u2 un
+ dn1 + dn2 + + dnn = en
x y y y
Just as in the case of a single partial differential equation, the important properties of
solutions of the system (48) depend only on its principal part Ux + DUy . Since this principal
part is completely determined by the coefficient matrix D(x, y) = A1 B, this matrix plays a
fundamental role in the study of (47).
V = P1U U = PV
25
We multiply the above equation by P1 to obtain
V V
+ P1 DP =H (49)
x y
where
P P
1 1
H =P G=P E +D V .
x y
Let be the n n diagonal matrix with diagonal entries the eigenvalues of D, and P is taken
to be the n n diagonalizing matrix of D with columns the corresponding eigenvectors of D,
i.e.,
1 0
p11 p1n
= (i i j ) = ... . . . ... , P = (pi j ) = ... . . . ...
0 n pn1 pnn
where i j is the Kronecker delta. It follows that
P1 DP = . (50)
It is instructive to note that the previously mentioned transformations (for second-order PDE
with two independent variables) to remove cross derivatives is equivalent to diagonalizing the
matrix D = A1 B and then finding eigenvalues i of the matrix D of the system of PDEs
(47). Thus, we can write the system of equations (49) [and consequently (47)] in the following
canonical form:
V V
+ (x, y) = H(x, y,V ) (51a)
x y
The simplicity of the canonical form (51a) becomes apparent if we write it in component form,
vi vi
+ i (x, y) = hi (x, y, v1 , . . . , vn ), i = 1, 2, . . ., n (51b)
x y
or
v1 v1
+ 1 = h1
x y
v2 v2
+ 2 = h2
x y
..
. (51c)
vn vn
+ n = hn
x y
It is clear that the principal part of the ith equation involves only the ith unknown vi .
The classification of the system of first-order PDEs (47) is done based on the nature of the
eigenvalues i of the matrix P1 DP, which are exactly the eigenvalues values of D = A1 B.
Recall that an eigenvalue of D is a root of the characteristic equation
|D I| = 0.
The system (47) based on the nature of its eigenvalues is classified as follows:
26
If all the n eigenvalues of D are real and distinct the system is called hyperbolic type.
If all the n eigenvalues of D are complex the system is called elliptic type.
If some of the n eigenvalues are real and other complex the system is considered as hybrid
of elliptic-hyperbolic type.
If the rank of matrix D is not of rank n, i.e., there are less than n real eigenvalues (some
of the eigenvalues are repeated) then the system is said to be parabolic type.
For a system of PDE having only two dependent variables, we can determine the eigenvalues
of matrix D analytically and state the conditions classification in an explicit manner as follows.
Consider the system of two equations (with dependent variables u1 and u2 ) in two dimensions
(x, y):
u1 u2 u1 u2
a11 + a12 + b11 + b12 = f1 (52a)
x x y y
u1 u2 u1 u2
a21 + a22 + b21 + b22 = f2 (52b)
x x y y
In matrix form,
a11 a12 u1 b11 b12 u1 f1
+ =
a21 a22 x u2 b21 b22 y u2 f2
or
u1 u1
A +B =F
x u2 y u2
where
a11 a12 b11 b12 f1
A= , B= , F =
a21 a22 b21 b22 f2
The inverse of A is
1 1 a22 a12
A =
|A| a21 a11
where |A| is the determinant of matrix A. We now compute the matrix D as
1 1 a22 a12 b11 b12 1 a22 b11 a12 b21 a22 b12 a12 b22
D=A B= =
|A| a21 a11 b21 b22 |A| a11 b21 a21 b11 a11 b22 a21 b12
|D I| = 0
27
Expanding the above determinant to obtain the characteristic equation
28
or, in matrix form
u1 b11 b12 u1
+ =F
x u2 b21 b22 y u2
To determine eigenvalues of D, we solve the eigenvalue problem |B I| = 0. The corre-
sponding characteristic equation is
2 |b| + |B| = 0
Example 12
Classify the single first-order equation
u u
a +b = f
x y
where a and b are constants.
Solution In the standard matrix form the above equation may be written as
U U
A +B =F
x y
where
A= a , B= b , U = u , F = f
The D matrix, in this case, can be easily found:
D = A1 B = a1
b = b/a
The matrix D has the eigenvalue, = b/a. This is always real and hence, a single first-order
PDE is always hyperbolic in the space (x, y). Note that here we have only a single eigenvalue
and thus a characteristic direction.
29
Example 13
Classify the following system of first-order equation:
a +c = f1
x y
b +d = f2
x y
The matrix form of the system is:
a 0 0 c
f1
+ =
0 b x d 0 y f2
0 c/a
e1
+ =
x d/b 0 y e2
30
If cd/ab > 0 then the eigenvalues are real and distinct and the system is hyperbolic in the
space (x, y). For instance, a = b = 1; c = d = 1 with vanishing right-hand side, the system of
equation becomes
+ =0
x y
+ =0
x y
By eliminating the variable and replacing y by t, we obtain the well-known wave equation in
:
2 2
=
t2 x2
which is a hyperbolic equation as seen previously.
If cd/ab < 0 then the eigenvalues are complex and the system is elliptic in the space (x, y).
For instance, a = b = 1; c = d = 1 and vanishing right-hand side, the system of equation
becomes the well-known CauchyRiemann equation:
=0
x y
+ =0
x y
By eliminating the variable , we obtain the Laplace equation in :
2 2
+ =0
x2 y2
which is the standard form of elliptic equations and describes steady-state diffusion phenomena.
Note that we could also obtain the Laplace equation in by eliminating the variable .
Finally, if one of the coefficients is equal zero, say c, then there is only one real eigenvalue
and the system is parabolic. For instance, with a = b = 1, c = 0, d = 1 and f1 = , f2 = 0,
the system of equation becomes
=
x
=0
y x
which on eliminating the variable and replacing y by t leads to the standard form for a
parabolic equation:
2
=
t x2
This is recognizable by the fact that the equation presents a combination of first and second-
order derivatives.
31
Example 14
Let us find out the canonical form the system of first-order equations
u1 u2
+c =0
x y
(58)
u2 u1
+d =0
x y
Solution The given system is of the form (55) and can be written as
u1 0 c
u1 0
+ =
x u2 d 0 y u2 0
or
U U
+B =F
x y
where,
0 c u1 0
B= , U = , F =
d 0 u2 0
Therefore, we have
32
The inverse of P is
1 1 p22 p12 1 d c 1 1/ c 1/ d
P = = =
|P| p21 p11 2 cd d c 2 1/ c 1/ d
Therefore,
cd 0
P 1
BP = =
0 cd
The canonical form is then given by
V V
+ =0
x y
or
V V
cd 0
0
+ =
x 0 cd y 0
or in component form
v1 v1
+ cd =0
x y
(59)
v2 v2
cd =0
x y
where
u1 c c v1 c(v1 + v2 )
U = PV = = (60)
u2 d d v2 d(v1 v2 )
The canonical form (59) is particularly simple. Each equation involves only one unknown and
can be easily solved by the methods of characteristics as described in Chapter I. The general
solution of the system (59) is
v1 = f (x cdt)
(61)
v2 = g(x + cdt)
where f and g are arbitrary functions of a single variable. Now the general solution of (58) can
be obtained using the relation (60) as
u1 = c[ f (x cdt) + g(x + cdt)]
(62)
u2 = d[ f (x cdt) g(x + cdt)]
Example 15
The one-dimensional form of the time-dependent shallow water equations can be written as
h h u
+u +h =0
t x x
u u h
+u +g =0
t x x
where h represents the water height, g is the gravity acceleration and u the horizontal velocity.
33
Solution Since A is a unit matrix, the given system in matrix form
h u h
h
+ = 0
t u g u x u
Introducing the vector
h
U =
u
the system is written in the condensed form:
U U
+B =0
t x
where,
u h h 0
B= , U = , F =
g u u 0
Therefore, we have
Now, the diagonal matrix by definition is P1 BP. As we have already found the eigenvalues
of B, the matrix can be directly obtained as
u + gh 0
=
0 u gh
34
The canonical form is then given by
V V
+ =0
t x
or
V V
u + gh 0 0
+ =
t 0 u gh x 0
or in component form
v1 v1
+ (u + gh) =0
t x
v2 v2
(u gh) =0
t x
where
h h h v1 h(v1 v2 )
U = PV = =
u g g v2 g(v1 + v2 )
Each equation involves only one unknown and can be easily solved by the methods of charac-
teristics as described in Chapter I. The general solution of the system is
v1 = f [x (u + gh)t]
(63)
v2 = g[x + (u gh)t]
where f and g are arbitrary functions of a single variable. Now the general solution can be
obtained using the relation (63) as
h = h{ f [x (u + gh)t] g[x + (u gh)t]}
(64)
u = g{ f [x (u + gh)t] + g[x + (u gh)t]}
The procedure for classification of semilinear PDEs is equally applicable for quasilinear PDEs.
We illustrate this with an example from fluid dynamics.
Example 16
Classify the Euler equations for unsteady, one-dimensional flow:
u
+u + =0
t x x
u u 1 p c2
+u = =
t x x x
where the speed of sound c is given by the isentropic relation between pressure and density as
p
2
c =
s
35
Solution In matrix form the Euler equation can be written as
1 0
u
+ = 0
0 1 t u c2 / u x u
U U
A +B =0
t x
where,
1 0 u 0
A= , B= , U = , F =
0 1 c / u
2 u 0
Therefore, we have
Since A is a unit matrix, the inverse of A is A itself. We now compute the matrix D:
1 u
D=A B=B=
c2 / u
U U
+D =0
t x
The eigenvalues of D = A1 B are given by
p p
|b| |b|2 4|A||B| 2u 4u2 4(u2 c2 )
1,2 = = = uc
2|A| 2
36
The eigenvector for 1 = u + c can be found as follows
u e11 e11 e11
= (u + c) = =
c2 / u e12 e12 e12 c
u e21 e21 e21
= (u c) = =
c2 / u e22 e22 e22 c
P=
c c
Therefore,
u+c 0
P DP = =
1
0 uc
The canonical form is then given by
V V
+ =0
t x
or
V V
u+c 0 0
+ =
t 0 uc x 0
or in component form
v1 v1
+ (u + c) =0
t x
v2 v2
(u c) =0
t x
where
(v1 v2 )
h v1
U = PV = =
u c c v2 c(v1 + v2 )
Each equation involves only one unknown and can be easily solved by the standard methods of
characteristics. The general solution of the system is
v1 = f [x (u + c)t]
(65)
v2 = g[x + (u c)t]
where f and g are arbitrary functions of a single variable. Now the general solution can be
obtained using the relation (65) as
Note: Since both the eigenvalues are real, for all values of the velocity u, the system is always
hyperbolic in space and time. This is an extremely important property that the steady isentropic
37
Euler equations are elliptic in the space (x, y) for subsonic velocities and hyperbolic in the space
(x, y) for supersonic velocities.
Here, in space and time, the inviscid isentropic equations are always hyperbolic independently
of the subsonic or supersonic state of the flow. As a consequence, the same numerical algorithms
can be applied for all flow velocities. On the other hand, dealing with the steady state equations,
the numerical algorithms will have to adapt to the flow regime, as the mathematical nature of
the system of equations is changing when passing from subsonic to supersonic, or inversely.
38