Professional Documents
Culture Documents
General Form
A
@2u
2
@x1
+B
@2u
@x1 @x2
@2u
+C 2 +D
@x2
@u
@x1
+E
@u
@x2
MATH 221
Institute of Mathematics
University of the Philippines
Diliman, Quezon City, Philippines
+ Fu + G = 0,
Principal Part :
@2u
A 2 +B
@x1
@2u
@x1 @x2
@2u
+C 2
@x2
MATH 221 (IMATH, UPDiliman) 1 / 71
Case of Nonconstant Coefficients
3
A
@2u
2
@x1
A=
+B
=) B 2
@2u
@x1 @x2
Laplace Equation :
@2u
+C 2 +D
@x2
@u
@x1
+E
c 2 , B = 0, C = 1
A = 1, B = 0, C = 1
=) B 2
Heat Equation:
@u
@t
B = C = 0, A = c 2
@u
@x2
4AC = 4c 2 > 0
4AC =
+ Fu + G = 0.
1 Wave Equation :
@2u
@2u @2u
+
@x12 @x22
c
=0
4<0
2@
@x 2
2u
4AC < 0 at (x1 , x2 ) ,
4AC = 0 at (x1 , x2 ) .
@t 2
c2
@2u
@x 2
=0
=) HYPERBOLIC
=) ELLIPTIC
=0
MATH 221 (IMATH, UPDiliman)
(2)
4 / 71
Discriminant:
B2 4AC =) B 2 4AC = 0 =) PARABOLIC
3.1– 3.4 (Classification, Transformations) §3 Classification of 2nd Order PDEs MATH 221 (IMATH, UPDiliman) 2 / 71 3.1– 3.4 (Classification, Transformations) §3 Classification of 2nd Order PDEs MATH 221 (IMATH, UPDiliman) 5 / 71
3.1– 3.4 (Classification, Transformations) §3 Classification of 2nd Order PDEs MATH 221 (IMATH, UPDiliman) 3 / 71 3.1– 3.4 (Classification, Transformations) §3 Classification of 2nd Order PDEs MATH 221 (IMATH, UPDiliman) 6 / 71
PPRPPR
Canonical Forms in R2
3
Hyperbolic PDE
Elliptic PDE
Parabolic PDE
Given
YES!
@2u
A 2 +B
@x1
@2u
@x1 @x2
@2u
+C 2 +D
@x2
@2u
@x12
@2u
+
@x12
=F
or
@2u
@x22
=F
@2u
@x1 @x2
+ Fu + G = 0,
T =
(
x̄1 =
x̄2 =
(x1 , x2 )
(x1 , x2 )
=F
where
ux1 =
ux2 =
Hence, we have:
x1
@u
@x1
= ↵1 ,
=
@u
@x2
ux1
ux2
=
x2 =
ux1 x1 =
@u @ x̄1
@u @ x̄1
[@ux̄1 ↵1 + ux̄2 ↵2 ]
= ↵1
= ↵1
✓
+ ↵2
✓
@x1
= ↵1
@ux̄1
✓
@ x̄1
↵1 +
+
+
@u @ x̄2
@ x̄1 @x1 @ x̄2 @x1
+
@u @ x̄2
@ x̄1 @x2 @ x̄2 @x2
= ux̄1
= ux̄1
1, x1
x1
x2
@x1
@ x̄2 @x1
◆
@ x̄2 @x1
◆
↵2 + ↵2
= ↵2 and
+ ux̄2
+ ux̄2
@x1
@ux̄2
@ x̄1
x1
x2
x2
To obtain the second order derivatives ux1 x1 , ux1 x2 , ux2 x2 , we again apply
the Chain Rule to ux1 , ux2 .
@ux̄1 @ux̄2
↵1 +
@ux̄2
@ x̄2
◆
=
↵2 .
@u @
@u @
1
2.
= ux̄1 ↵1 + ux̄2 ↵2
= ux̄1
+
+ ux̄2
@u @
@ x̄1 @x1 @ x̄2 @x1
@u @
@ x̄1 @x2 @ x̄2 @x2
2
,
3.1– 3.4 (Classification, Transformations) §3 Classification of 2nd Order PDEs MATH 221 (IMATH, UPDiliman) 9 / 71 3.1– 3.4 (Classification, Transformations) §3 Classification of 2nd Order PDEs MATH 221 (IMATH, UPDiliman) 12 / 71
PPRPPR
We have
with
Ā
@2u
Characteristics
Given PDE (3)
2
@ x̄1
@2u
+ B̄
A 2 +B
@x1
equation of (3) ,
@2u
@x1
where z = z(x1 , x2 ).
Definition
@x
@2u
@ x̄1 @ x̄2
2
F̄
@2u
+C 2 +D
@x2
@u
@2u
+ C̄ 2 + D̄
@ x̄2
Ā = ↵12 A + ↵1
= F,
@u
@ x̄1
B̄ = 2↵1 ↵2 A + (↵1
C̄ = ↵22 A + ↵2
D̄ = ↵1 D +
Ē = ↵2 D +
@x1
+E
@u
@x2
+ Ē
@u
@ x¯2
1 E,
2 E,
1B
2B
+ F̄ u + Ḡ = 0,
+
2
2
1 C,
+ ↵2
2
2 C,
+ Fu + G = 0,
13 / 71
Examples:
2
uxx
2uxx
Solutions:
dx
uyy = 0
A = 1 and C =
=)
4uxy
(dy )2
=) (dy + dx)(dy
=)
dy
= ±1
=) y = x + c and y = x
y = x + c and y =
6uyy + ux = 0
(dx)2 = 0
dx) = 0
3x + c
4ĀC̄ = (B 2
we obtain
B̄ 2
x̄1 = (x1 , x2 ),
4ĀC̄ = (B 2
c
4AC)(
4AC) · (+)
x̄2 = (x1 , x2 )
x2 x1 )
2
.
16 / 71
(8)
() z is a solution of () z is a solution of
1 =
B+
p
B 2 4AC
2A
2
,
By 0 + C = 0.
B + C = 0,
() z is a solution of
2
A(zx1 ) + Bzx1 zx2 + C(zx2 ) = 0.
As shown:
x̄1 = (x1 , x2 ) x̄2 = (x1 , x2 ).
2
p
B 2 4AC
2A
.
(10)
(11)
19 / 71
We have Ā = C̄ = 0 () the mappings ( , ) are both solutions of
A
Azx21 + Bzx1 zx2 + Czx22 = 0.
Hence
=)
B±
B
dy
dx
+ C = 0.
y = M± x + K ,
= M+ x
B 2 4AC
2A
M± x = K .
= M±
,
K 2R
y = x̄1
to be:
(CE)
(A 6= 0)
Ā = ↵12 A + ↵1 1B + 2
1C =M x y = x̄2
B̄ = 2↵1 ↵2 A + (↵1 2 + ↵2 1 )B +2 1 2C
C̄ = ↵22 A + ↵2 2B + 2
2C
3.1– 3.4 (Classification, Transformations) §3 Classification of 2nd Order PDEs MATH 221 (IMATH, UPDiliman) 20 / 71 3.1– 3.4 (Classification, Transformations) §3 Classification of 2nd Order PDEs MATH 221 (IMATH, UPDiliman) 23 / 71
Note that the characteristic equation of (3) is given by where D1 , E1 , F1 , G1 are constants.
B̂ = 2↵1 ↵2 Ā + (↵1
Ĉ = ↵22 Ā + ↵2 2 B̄ +
+
2
§3 Classification of 2nd Order PDEs
+ ↵2
2
2 C̄.
@2u
@ x̂12
1 )B̄ +2
@2u
@ x̂22
 = ↵12 Ā + ↵1 1 B̄
2
1 C̄
.
1 2 C̄
MATH 221 (IMATH, UPDiliman)
Ĉ
25 / 71
Example 1:
Find the characteristic curves and transformation that converts the
PDE to canonical form:
Solution: (x1 = x, x2 = y )
which gives y 0 = 1, 3
2(y 0 )2 + 4y 0
Example 2:
@x12
y = x + K,
x̄1 = x1
6 = (2y 0
x2 ,
x̄2 =
@u
(y 0 )2 + 5y 0 = 0
3x + K .
@u
@x1 @x2
3x1
§3 Classification of 2nd Order PDEs
=0
5 =) y =
x2 .
MATH 221 (IMATH, UPDiliman)
5x + K
28 / 71
3.1– 3.4 (Classification, Transformations) §3 Classification of 2nd Order PDEs MATH 221 (IMATH, UPDiliman) 26 / 71 3.1– 3.4 (Classification, Transformations) §3 Classification of 2nd Order PDEs MATH 221 (IMATH, UPDiliman) 29 / 71
Hyperbolic Case 2
With ↵1 = 5, 1 = 1, ↵2 = 0, 2 = 1 and
Theorem ((3) Transformation for Hyperbolic PDE) A = 1, B = 5, C = 0, D = 1, E = 1, we obtain
Gven the hyperbolic PDE (3), the transformation
8 Ā = ↵12 A + ↵1 1B + 2
1C =0
> B B̄ = 2↵1 ↵2 A + (↵1 +2
<x̂1 = A x1 + 2x2 ,
> 2 + ↵2 1 )B 1 2C = 25
p C̄ = ↵22 A + ↵2 2B + 2
2C =0
> 2
:x̂2 = B
> 4AC
x1 . D̄ = ↵1 D + 1E = 4
A
Ē = ↵2 D + 2E = 1
transforms (3) to the second canonical form
So the first canonical form (uxy = F) for the given PDE is given by
@2u @2u @u @u
= D1 + E1 + F1 u + rG1 (x̄1 , x̄2 )
@ x̂12 @ x̂22 @ x̄1 @ x̄2
@2u @u @u @2u 4 @u 1 @u
25 4 + =0 or = + .
where D1 , E1 , F1 , G1 are constants. @ x̄1 @ x¯2 @ x̄1 @ x̄2 @ x̄1 @ x¯2 25 @ x̄1 25 @ x̄2
So with ↵1 = 1 = 1, ↵2 = 1, 2 = 1 and
Remark:
 =
B̂ = 2↵1 ↵2 Ā + (↵1
Ĉ = ↵22 Ā + ↵2
D̂ = ↵1 D̄ +
Ê = ↵2 D̄ +
@2u
@ x̂12
3.1– 3.4 (Classification, Transformations)
x̂1 = x̄1 + x̄2
Ā = C̄ = 0, B̄ = 25, D̄ = 4, Ē = 1 , we obtain
↵12 Ā + ↵1
1 Ē
2 Ē
@2u
@ x̂22
1 B̄
2 B̄
T1 :
(
x̄1 = 5x1 + x2
x̄2 = x2
T2 :
(
=3
= 5.
+
3 @u
2
1 C̄
+ ↵2
2
2 C̄
25 @ x̂1
= 25
T = T2 T1 =
⇢
x̂1 = 5x1 + 2x2 ,
x̂2 = 5x1 ,
1 @u
x̄2 .
+2
5 @ x̂2
.
1 2 C̄ =0
A
✓ ◆2
dy
dx
So we take
B
dy
dx
+ C = 0 =)
ȳ = (x, y ) =
B
p
B ± B 2 4AC
2A
2A
(x, y ) = x or
@2u
@ x̄12
2A
= D1
2
=
B
2A
y=
B
2A
x + K.
( or ȳ =
↵2
2A
1
x + y.
B
2A
x + y)
6= 0. We can take
(x, y ) = y .
+ F1 u + G1 (x̄1 , x̄2 )
MATH 221 (IMATH, UPDiliman) 34 / 71
(13)
Please verify that this change in variables transforms the given PDE
directly to the canonical form.
3.1– 3.4 (Classification, Transformations) §3 Classification of 2nd Order PDEs MATH 221 (IMATH, UPDiliman) 32 / 71 3.1– 3.4 (Classification, Transformations) §3 Classification of 2nd Order PDEs MATH 221 (IMATH, UPDiliman) 35 / 71
Suppose (3) is parabolic (B 2 4AC = 0). We need to find a Consider the transformation given by (13) where
transformation T such that (~) is in canonical form given by B
↵1 = 1, 1 = 0, ↵2 = , 2 = 1.
@2u 2A
=F
@ ū12 We have
Example:
The equation
@2u
2
@x1
+4
it becomes
(
@2u
@x1 @x2
x̄1 = 2x1 + x2 ,
x̄1 =
x̄2 =
x1 + x2 ,
@2u
+4 2 +
@x2
@u
@x1
= 0,
x̄2 = 2x1 + x2
MATH 221 (IMATH, UPDiliman) 37 / 71
Adding the two equations in (|) is equivalent to Ā
which we obtain
then
(↵12 + 2i↵1 ↵2
If we consider
Observe that
()
8
>
>
>
<
>
>
>
:
+(
↵22 ) A + [(↵1
zx = ↵1 + ↵2 i
2
1 + 2i
zy2 = 12 + 2i 1 2 2
2
zx zy = (↵1 1 ↵2 2 ) + i(↵1
A(y 0 )2 By 0 + C = 0 () y 0 =
z(x, y ) =
B+i
p
2A
x y
p
dy
dx
=
B±
2A
1 2
1
and zy =
↵2
2
2)
2)
C = 0.
1y )
p
=
B±i
p
2A
since < 0. Hence, we obtain the characteristics y = M± x + k . We
= M±
1
i(↵1
+ i (↵2 x +
2
C̄ + i B̄ = 0 from
2 i.
+ ↵2
+ ↵2
1 ).
1 )]B
2 y ),
(15)
40 / 71
@2u 1 @u 1 @u B i 4AC B 2
= + . = x y+ x = (x, y ) + i (x, y )
@ x̄12 8 @ x̄1 8 @ x̄2 2A 2A
3.1– 3.4 (Classification, Transformations) §3 Classification of 2nd Order PDEs MATH 221 (IMATH, UPDiliman) 38 / 71 3.1– 3.4 (Classification, Transformations) §3 Classification of 2nd Order PDEs MATH 221 (IMATH, UPDiliman) 41 / 71
p
where i = 1.
3.1– 3.4 (Classification, Transformations) §3 Classification of 2nd Order PDEs MATH 221 (IMATH, UPDiliman) 39 / 71 3.1– 3.4 (Classification, Transformations) §3 Classification of 2nd Order PDEs MATH 221 (IMATH, UPDiliman) 42 / 71
PPRPPR
Proof:
it becomes
8
>
>
<x̄1 = x2
>
>
p
<x̄1 =
>
B
2A
x1
:x̄2 = 4AC B x1 ,
>
>
@2u
p2
2
2
@x1
:x̄2 = 3 x1
>
+
2
@2u
u=
+
⇤
@2u
@x1 @x2 @x22
@2u @2u
+
4
= u.
u = 0,
+i .
3
2uxx 4uxy
4uxx + 12uxy + 9uyy
uxx + 2uxy + 17uyy = 0.
Then
is a smooth curve on the xy -plane given by
dux
x = x(t), y = y (t).
by
3.1– 3.4 (Classification, Transformations) §3 Classification of 2nd Order PDEs MATH 221 (IMATH, UPDiliman) 44 / 71 3.1– 3.4 (Classification, Transformations) §3 Classification of 2nd Order PDEs MATH 221 (IMATH, UPDiliman) 47 / 71
Summary
Hyperbolic Case
p Together with the principal part of the PDE : Auxx + Buxy + Cuyy , we
B± B2 4AC
(x1 , x2 ) = M+ x1 + x2 = x̄1 M± = have a system of three equations in 3 unknowns (uxx , uxy , uyy ) which
2A
can be solved unless
(x1 , x2 ) = M x1 + x2 = x̄2
A B C
Parabolic Case x0 y0 0 = A(y 0 )2 + C(x 0 )2 Bx 0 y 0 = 0
(x1 , x2 ) = x̄1 = x1 0 x0 y0
B
(x1 , x2 ) = x̄2 = x1 x2 () A(dy )2 B(dx)(dy ) + C(dx)2 = 0
2A
Elliptic Case () z(x, y ) is a characteristic curve of the PDE.
B
(x1 , x2 ) = x̄1 = x1 x2
2A
p
4AC B 2
(x1 , x2 ) = x̄2 = x1
2A
3.1– 3.4 (Classification, Transformations) §3 Classification of 2nd Order PDEs MATH 221 (IMATH, UPDiliman) 45 / 71 3.1– 3.4 (Classification, Transformations) §3 Classification of 2nd Order PDEs MATH 221 (IMATH, UPDiliman) 48 / 71
PPRPPR
3.4 Transformation for the Non-Constant Coefficient
Case in R2
Suppose the coefficients A, B, C, D, E, F , and G are functions of
x1 , x2 2 ⌦ and such that A2 + B 2 + C 2 6= 0 on ⌦. We consider
where (
@2u
for x > 0.
2
@x1
+B
In particular,
Ā =
B̄ = 2
D̄ =
Ē
x
@2u
@x1 @x2
=
y
@2u
+C 2 +D
@x2
2
@u
@x1
x1
y
x1 A
+E
x1 x1 A
x1 x1 A
x
+
@u
@x2
x1 A
Example
+
+
+ Fu + G = 0.
x1 x2 B
+
+
x2 x2 C
x2 x2 C
Hence, dy /dx = ±
p
M± =
±
p
2
4x
=±
p
x 2 R.
x The characteristics are given by
2
y = ± ( x)3/2 + K .
3
We consider the transformation given by
2
x̄2 = (x1 , x2 )
6= 0) to transform (F) to canonical form (F̄).
x1
+(
x2 B +
x1 x2
2
x2 C, C̄
+ x2
=
x1 )B
+(
+(
2
x1 A
x1 D
+2
x1 D
+
+
x2
x1
x2 E)
x2 E)
x2 C
x2 B +
49 / 71
We obtain
3
1
4xux̄,ȳ + ( x) 1/2 (ux̄ + uȳ ) = 0
2
Solve for x in terms of x̄, ȳ using and to obtain
x = [ (x̄ + ȳ )]2/3
4
Hence, the PDE in canonical form is given by
x = ±i x 2 C.
x̄ = (x, y ) =
2
1/2
ux̄ ȳ =
3
= [ (x̄ + ȳ )]
4
ux̄ + uȳ
6(x̄ + ȳ )
.
y = ± ( x)3/2 + K = ± ix 3/2 = K .
3
z(x, y ) =
y,
2 3/2
3
ix y.
ȳ = (x, y ) =
1/3
2 3/2
3
x .
52 / 71
y = yy = y = yy =
1
So : Ā = C̄ = 0, B̄ = 4x, D̄ = Ē = ( x)1/2
2
3.1– 3.4 (Classification, Transformations) §3 Classification of 2nd Order PDEs MATH 221 (IMATH, UPDiliman) 51 / 71 3.1– 3.4 (Classification, Transformations) §3 Classification of 2nd Order PDEs MATH 221 (IMATH, UPDiliman) 54 / 71
PPRPPR
Remarks:
The classification is still dependent on the coefficients in the
principal part, in particular, the coefficients aij of the second
derivatives uxi xj =
if we take
A
@2u
A 2 +B
@x12
@x1
+B
@x1 @x2
@2u
@x1 @x2
@2u
@x1 @xj
+C 2 +D
@x2
@2u
+C 2 =@
@x2
@u
@x1
.
a11 = A,
B/2
+E
@u
@x2
+ Fu + G = 0,
aij + aji
2
B/2
C
MATH 221 (IMATH, UPDiliman)
a22 = C
1 0
A·@
ux1 x1
ux2 x1
ux1 x2
ux2 x2
1
A
55 / 71
Consider
1 2 =
Hence, we have
(c) (Elliptic)
p
1,2
(A + C) + (A C)2 + B 2 (A + C)
2
(A + C)2 (A C)2 B 2
4
=
4
·
4AC)
4
=
2
1 2
p
B 2 + 4AC
.
4
=
(A
2
.
(A + C)
1, 2
p
(A + C) ± (A + C)2 +
p2
(A + C) ± (A + C)2 + B 2 4AC
p 2
(A + C) ± (A C)2 + B 2
2
.
This means that the type (hyperbolic, parabolic, elliptic) of the given
PDE is determined by 1 2 . Specifically,
(a) (Hyperbolic)
(b) (Parabolic)
> 0 ()
()
1 2
= 0 () at least one of
< 0 ()
(B 2
6= 0, 2
1 and 2 is zero,
6= 0 and have the same sign.
C)2 + B 2
3.1– 3.4 (Classification, Transformations) §3 Classification of 2nd Order PDEs MATH 221 (IMATH, UPDiliman) 56 / 71 3.1– 3.4 (Classification, Transformations) §3 Classification of 2nd Order PDEs MATH 221 (IMATH, UPDiliman) 59 / 71
Definition
Let 1 , 2 , . . . , N be the eigenvalues given by the roots of (A) and let
x0 2 Rn . Then PDE (??) is called
Let
1
Remark:
hyperbolic at the point x0 if 1 , 2 , . . . ,
the same sign except one at x0 ,
parabolic at the point x0 if one of
elliptic at the point x0 if
same sign at x0 ,
1,
least two of them are negative and two of them are positive,
1,
N
N
2, . . . ,
1
n is zero at x0 .
are not zero and have the
1
61 / 71
Let us consider in particular the wave equation in R3 given by
An
det CA
0
0
a.
-
=
3
=
-
(3
,
,
poop E)
IX )
(3-7) [
1
Example classify
(x Xi
:
Azz
0
3- 7)
-
-
7) [ ( I
-
-
utt
13¥
Ct HH X )
(3-2) (22-52)=(3-7) X
-
4
,
1
-
0
0
Azz
uxx
Xz
3 U
Z
7) ( 47 )
-
xx
-
-
-
5×-122-47--0
Xs
=
t
-
uyy = 0.
= (1
in
7,9
-
4
,
Azz
4/(3-2)=0
]
I
=
)2 ( 1
Ulyyt4Uzzt4 Uyzso
handouts
)
④
CS T )
-
=
) = 0,
1. This
0
1.
64 / 71
Eigenvalues :
X -
⑦ 3 5
parabolic
,
Oui an
eigenvalue PDE
3.1– 3.4 (Classification, Transformations) §3 Classification of 2nd Order PDEs MATH 221 (IMATH, UPDiliman) 62 / 71 3.1– 3.4 (Classification, Transformations) §3 Classification of 2nd Order PDEs MATH 221 (IMATH, UPDiliman) 65 / 71
N
@2u X @2u
N
X1
1 Hyperbolic:
@2u @x12 @xi2
1 Wave Equation = uxi xi (Hyperbolic) i=2
@t 2 N
i=1 X @2u
N 2 Elliptic:
@u X @xi2
2 Heat Equation = uxi xi (Parabolic ) i=1
@t NXm
i=1
@2u
@2u @2u @2u 3 Parabolic:
3 Laplace Equation + + ... + =0 (Elliptic) i=1
@xi2
2
@x1 2
@x2 @xN2
where m = Z > 0
Classify 3ux1 x1 + ux2 x2 + 4ux3 x3 + 4ux2 x3 = 0. m N
4 X @2u X @2u
4 Ultrahyperbolic:
5 3ux1 x1 + ux2 x2 + 4ux3 x3 + 4ux1 x2 = 0? @xi2 @xi2
i=1 i=m+1
3.1– 3.4 (Classification, Transformations) §3 Classification of 2nd Order PDEs MATH 221 (IMATH, UPDiliman) 63 / 71 3.1– 3.4 (Classification, Transformations) §3 Classification of 2nd Order PDEs MATH 221 (IMATH, UPDiliman) 66 / 71
PPRPPR
Constant Coefficient Case
Theorem
Suppose equation (??) has constant coefficients aij in a set ⌦ ✓ RN .
Then there is a linear transformation of the form
Remark:
x̄i =
N
X
k =1
bik xk ,
N
X
k =1
i = 1, . . . , N,
with (bij )1i,jN nonsingular such that the principal part of (??) in the
i ux̄i x̄i .
C = B T AB.
Solution:
2uxx + 2uyy
@ 4
1 = 2, 2 = 18, 3 = 9.
2
6
4
2
bk · bk = b1k2 2
+ b2k
6
15uzz + 8uxy
15
1
6 A
X̄ = B T X to obtain
I) = 0:
N
X x̄i ux̄ x̄ uȳ ȳ uzz = 0.
for i 6= 0: x̂i = , and for i = 0: x̂i = x̄i . (17)
| i|
k =1 pak ganern!
3.1– 3.4 (Classification, Transformations) §3 Classification of 2nd Order PDEs MATH 221 (IMATH, UPDiliman) 68 / 71 3.1– 3.4 (Classification, Transformations) §3 Classification of 2nd Order PDEs MATH 221 (IMATH, UPDiliman) 71 / 71
3.1– 3.4 (Classification, Transformations) §3 Classification of 2nd Order PDEs MATH 221 (IMATH, UPDiliman) 69 / 71