Professional Documents
Culture Documents
Methods of characteristics
MA201(2017):PDE
Example
Let us warm up with a simple example
ux = u + c, c is function of x, y . (1)
MA201(2017):PDE
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,
we can regard this variable as a parameter.
Thus, for fixed y , we are actually dealing with an ODE, the solution
is immediate:
x
Z
x
u(x, y ) = e e c(, y )d + T (y ) . (2)
0
MA201(2017):PDE
Example
Consider the following IVP :
MA201(2017):PDE
Example
Consider the following IVP :
MA201(2017):PDE
Example
Consider the following IVP :
MA201(2017):PDE
Example
Consider the following IVP :
MA201(2017):PDE
Thus we have seen so far an example in which a problem had a
unique solution, an example where there was no solution at all, and
an example where there are infinitely many solutions.
MA201(2017):PDE
Thus we have seen so far an example in which a problem had a
unique solution, an example where there was no solution at all, and
an example where there are infinitely many solutions.
Well-posed Problem(In the sense of Hadamard)
A problem (PDE + side condition) is said to be well-posed if it satisfies
the following criteria:
1 The solution must exist.
2 The solution should be unique.
3 The solution should depend continuously on the initial and/or
boundary data.
If one or more of the conditions above does not hold, we say that the
problem is ill-posed.
Remark: The well-posedness of a PDE depends not only its structure
but also on the given initial/boundary conditions.
MA201(2017):PDE
Method of characteristics:
MA201(2017):PDE
Mathematically, this change in the value of u(x(s), t(s)) is given by
d u dx u dt
u ((x(s), t(s))) = +
ds x ds t ds
= ux (x(s), t(s)) + ut (x(s), t(s))
= 0.
dx(s) dt(s)
= 1, = 1.
ds ds
MA201(2017):PDE
Method of characteristics for Linear First-Order PDEs
Consider the following first-order linear PDE
MA201(2017):PDE
Observe that the left hand side of (6), i.e.,
MA201(2017):PDE
The equations
dx dy
= a(x, y ), = b(x, y ), (7)
dt dt
determine a family of curves x = x(t), y = y (t) whose tangent vector at
dy
any point (x, y ) is given by ( dx
dt , dt ) and coincides with the direction of
the vector (a(x, y ), b(x, y )).
Therefore,
d u dx u dy
u ((x(t), y (t))) = +
dt x dt y dt
= ux (x(t), y (t))a(x(t), y (t)) + uy (x(t), y (t))b(x(t), y (t))
= c(x(t), y (t))u(x(t), y (t)) + d(x(t), y (t))
= c(t)u(t) + d(t),
MA201(2017):PDE
Thus, along these curves, u(t) = u(x(t), y (t)) satisfies the ODE
MA201(2017):PDE
Remarks:
The system of ODEs (7) is known as the characteristics equation for
the PDE (6). The solution curves of the characteristic equation are
the characteristics curves for (6).
The surface u = u(x, y ) is called integral surface for (6).
The values u(t) of the solution u along the entire characteristics
curve are completely determined, once the value
u(0) = u(x(0), y (0)) is prescribed.
Assuming certain smoothness conditions on the functions a, b, c,
and d, the existence and uniqueness theory for ODEs guarantees a
unique solution curve (x(t), y (t), u(t)) of (7)-(8).
The characteristics are paths in the solution domain along which
information propagates. Thus these curves control the flow of the
information.
MA201(2017):PDE
The method of characteristics for an IVP
Let the initial curve be given parametrically as:
d d
x(t, s) = a(x(t, s), y (t, s)), y (t, s) = b(x(t, s), y (t, s)) (11)
dt dt
with given initial values x(0, s) and y (0, s). (Note that t = 0
corresponding to the initial curve . )
MA201(2017):PDE
u Characteristics
Curves
MA201(2017):PDE
Suppose that
u(x(0, s), y (0, s)) = g (s), (12)
where g (s) is a given function. We obtain u(x(t, s), y (t, s)) as follows:
Let
u(t, s) = u(x(t, s), y (t, s)), c(t, s) = c(x(t, s), y (t, s)),
d(t, s) = d(x(t, s), y (t, s)).
and Z t
(t, s) = exp c(t, s)dt . (13)
0
MA201(2017):PDE
Analogous to formula (9), for each fixed s, we obtain
Z t
1
u(t, s) = (t, s)d(t, s)dt + g (s) . (14)
(t, s) 0
u(t, s) is the value of u at the point (x(t, s), y (t, s)) on the characteristic
curves.
Note: As s and t vary, the point (x, y , u), in xyu-space, given by
traces out the surface of the graph of the solution u of the PDE (6)
which meets the initial curve (12).
The equations (15) constitute the parametric form of the solution of (6)
satisfying the initial condition (12) (i.e., a surface in (x, y , u)-space that
contains the initial curve )
MA201(2017):PDE
Remarks.
By implicit function theorem, if the Jacobian
(x, y )
J =
(t, s)
x y y x
=
t s t s
a b
6= 0
=
(x(0, s))s (y (0, s))s (16)
MA201(2017):PDE
Example
Determine the solution the following IVP:
u u
+c = 0, u(x, 0) = f (x),
y x
x(0, s) = s, y (0, s) = 0.
we find that
c1 (s) = s, c2 (s) = 0,
and hence
x(t, s) = ct + s and y (t, s) = t.
Step 3. (Writing the parametric form of the solution)
Comparing with (6), we have c(x, y ) = 0 and d(x, y ) = 0.
Therefore, using (13) and (14), we find that
d(t, s) = 0, (t, s) = 1.
MA201(2017):PDE
Step 4. (Expressing u(s, t) in terms of U(x, y ))
Expressing s and t as s = s(x, y ) and t = t(x, y ), we have
s = x cy , t = y .
MA201(2017):PDE