Professional Documents
Culture Documents
MA201(2016):PDE
Objective
Linear First-Order PDEs
independent variables.
Linear second-order PDEs in two independent variables.
What is the objective of the course?
Finding Solution of a PDE along with Initial and/or Boundary
Conditions
Basic facts about ODE and PDE:
Consider ux = 0. Integrating we have u(x, y ) = c(y ), i.e., any
Objective
Linear First-Order PDEs
Example
Let us warm up with a simple example
ux = u + c, c is function of x, y .
(1)
Observe
Equation (1) contains no derivative with respect to the y variable,
is immediate:
u(x, y ) = e x
e c(, y )d + T (y ) .
(2)
u(x, y ) = e x
e c(, y )d + y .
MA201(2016):PDE
(3)
Objective
Linear First-Order PDEs
Example
Consider following IVP
(4)
ux = u, & u(x, 0) = 2e x .
(5)
Objective
Linear First-Order PDEs
If one or more of the conditions above does not hold, we say that the
problem is ill-posed.
MA201(2016):PDE
Objective
Linear First-Order PDEs
(6)
Objective
Linear First-Order PDEs
Remarks: Thus, any point (x, y , u) on the integral surface will satisfy
the equation
a(x, y )ux + b(x, y )uy = c(x, y )u + d(x, y ).
MA201(2016):PDE
Objective
Linear First-Order PDEs
(7)
called a parameter.
We can think of C as being traced out by a moving particle whose
position at time t is (x, y , u) = (x(t), y (t), u(t)).
MA201(2016):PDE
Objective
Linear First-Order PDEs
r0 (t) is called the tangent vector to the curve at P(x(t), y (t), u(t))
and is given by
r0 (t) = hx 0 (t), y 0 (t), u 0 (t)i.
MA201(2016):PDE
(8)
Objective
Linear First-Order PDEs
Objective
Linear First-Order PDEs
Observe that
hux , uy , 1i is normal to the surface u u(x, y ) = F (x, y , u) = 0.
ha, b, cu + di hux , uy , 1i = 0 along C .
vector ha(t), b(t), c(t)u(t) + d(t)i is a tangent vector to C at
Objective
Linear First-Order PDEs
Characteristic Curves
Hence, we have following system of ODEs
dx
dt
dy
dt
du
dt
(9)
(10)
(11)
Remarks.
The ODEs (9)-(11) are known as the characteristic equations for the
PDE
aux + buy = cu + d.
(12)
The solution curves of the characteristic equation are the
characteristic curves for (12).
The approach described above is called the method of
characteristics.
MA201(2016):PDE
Objective
Linear First-Order PDEs
h R
i
t
Let (t) = exp 0 c( )d be an integrating factor for (11). Then,
the solution is given by
Z t
1
u(t) =
( )d( )d + u(0) .
(13)
(t) 0
Remarks.
The values u(t) of the solution u along the entire characteristic
MA201(2016):PDE
Objective
Linear First-Order PDEs
Objective
Linear First-Order PDEs
y (0) = y0 (s),
(14)
the initial point (x0 (s), y0 (s), u0 (s)) will depend on two parameters t
and s. So, we shall explicitly write the points on characteristics
curve as
x = x(t, s), y = y (t, s),
Objective
Linear First-Order PDEs
equations
d
x(t, s)
dt
d
y (t, s)
dt
d
u(t, s)
dt
Z t
(t, s) = exp
c(t, s)dt .
0
MA201(2016):PDE
Objective
Linear First-Order PDEs
Z
(t, s)d(t, s)dt + u0 (s) .
(15)
u = u(t, s),
(16)
traces out the surface of the graph of the solution u of PDE (6) which
meets the initial curve . The equations (16) constitute the parametric
form of the solution of (6) satisfying the initial condition (i.e., a surface
in (x, y , u)-space that contains the initial curve )
MA201(2016):PDE
Objective
Linear First-Order PDEs
Remarks.
The parametric representation of the integral surface might hide
further difficulties.
The difficulty lies in the inversion of the transformation from the
plane (t, s) to the plane (x, y ).
By implicit function theorem, if the Jacobian
J
(x, y )
(t, s)
x y
y x
=
t
s
t s
a
b
=
6= 0
(x0 )s (y0 )s
=
(17)
dy0
0
on , where (x0 )s = dx
ds , (y0 )s = ds , then x = x(t, s) and
y = y (t, s) can be inverted to give s and t as (smooth) functions of
x and y , i.e., s = s(x, y ) and t = t(x, y ).
The resulting function u(x, y ) = u(t(x, y ), s(x, y )) satisfies PDE (6)
in a neighborhood of the curve and is the unique solution of the
IVP.
The condition (17) is called transversality condition.
MA201(2016):PDE
Objective
Linear First-Order PDEs
Example
Determine the solution the following IVP:
u
u
+c
= 0,
y
x
u(x, 0) = f (x),
(18)
Objective
Linear First-Order PDEs
Objective
Linear First-Order PDEs
t = y.
MA201(2016):PDE