Sei sulla pagina 1di 18

Linear First-Order PDEs

MA 201: Partial Differential Equations


Lecture - 3

MA201(2018):PDE
Linear First-Order PDEs

Linear First-Order PDEs

We consider the following first-order linear PDE in Ω ⊂ R2

a(x, y )ux + b(x, y )uy = c(x, y )u + d(x, y ), (1)

where a, b, c, and d are given functions of x and y .

What are we looking for? We are looking for the solution.

What is a solution for equation (1)?

Definition
A function u of the independent variables x and y is a solution to
(1) if u and its partial derivatives appearing in (1) satisfy (1)
identically for (x, y ) in some region Ω ⊂ R2 .

MA201(2018):PDE
Linear First-Order PDEs

Characterization for the solution

• Explicit Solution: A function u given explicitly in terms of x and y


satisfying PDE

a(x, y )ux + b(x, y )uy = c(x, y )u + d(x, y ). (2)

In such case, the solution is denoted by u = u(x, y ) that is u is


given explicitly in terms of independent variables x and y .

• Implicit Solution: In more general terms, we are looking for an


expression F (x, y , u) = 0 involving x, y and u which leads to
equation (2). In such case, we get an implicit form of the
solution.

• Observe that explicit solution u = u(x, y ) or implicit form of the


solution F (x, y , u) = 0 geometrically represents a surface in R3 .
This is known as integral surface or solution surface.

MA201(2018):PDE
Linear First-Order PDEs

Figure : Image of an integral surface


Remark: 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(2018):PDE
Linear First-Order PDEs

Solution Curve: Parametric Form

A curve on the solution surface is called a solution curve.

• Suppose C is a solution curve. Then any point (x, y , u) on the


curve C will satisfy the equation

a(x, y )ux + b(x, y )uy = c(x, y )u + d(x, y ). (3)

Next, we make an attempt to reduce equation (3) to a simple


form.

HOW? Think of reducing the PDE (3) into an ODE along C .

This process is known as ’METHOD of CHARACTERISTICS’

MA201(2018):PDE
Linear First-Order PDEs

Method of Characteristics
• On the curve C , we make following transformation

x = x(t), y = y (t), u = u(t), (4)


with t ∈ I , I is a suitable interval.

Figure : Parametric form of a solution curve C

• The equations in (4) are called parametric equations of C and t is


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(2018):PDE
Linear First-Order PDEs

• Under the transformation x = x(t), y = y (t), u = u(t),

• Coefficient functions reduces to


a = a(x, y ) = a(x(t), y (t)) = a(t),
b = b(t), c = c(t); d = d(t).

• PDE (3) takes the following form:


a(t)ux + b(t)uy = c(t)u(t) + d(t) (5)

• Since u is a function of x and y , apply Chain rule to have


du dx dy
= ux + uy (6)
dt dt dt

• Comparing equations (5) and (6), we have the linear ODE


du
= c(t)u(t) + d(t). (7)
dt
• Provided
dx dy
= a(t) & = b(t).
dt dt
MA201(2018):PDE
Linear First-Order PDEs

Characteristic Curves
Hence, we have following system of ODEs
dx
= a(x(t), y (t)) = a(t), (8)
dt
dy
= b(x(t), y (t)) = b(t), (9)
dt
du
= c(t)u(t) + d(t). (10)
dt
Remarks.
• The ODEs (8)-(10) are known as the characteristic equations for the
PDE
aux + buy = cu + d. (11)
The solution curves of the characteristic equation are the
characteristic curves for (11).
• The approach described above is called the method of
characteristics.

MA201(2018):PDE
Linear First-Order PDEs

Figure : Integral surface corresponding to aux + buy = cu + d.

Suppose u(x, y ) − u = 0 or F (x, y , u) = 0 is the integral surface.


Let C be a solution curve (characteristic curve) on the integral surface.
Let P(x, y , u) = P(x(t), y (t), u(t)) be a point on the curve C with

OP = r = r(t).

MA201(2018):PDE
Linear First-Order PDEs

Figure : Tangent Vector

• Clearly, OP = r(t) = hx(t), y (t), u(t)i.

• Then the tangent vector to the curve at P(x(t), y (t), u(t)) is r0 (t)
and is given by
r0 (t) = hx 0 (t), y 0 (t), u 0 (t)i. (12)

MA201(2018):PDE
Linear First-Order PDEs

Figure : Tangent and normal vectors to curve C at P(x, y , u).

Observe that
• Normal to the surface F (x, y , u) = 0 is given by ∇F = hux , uy , −1i

• ha, b, cu + di · hux , uy , −1i = 0 along C .

• What can you say about the vector ha(t), b(t), c(t)u(t) + d(t)i?
It is a tangent vector to C at P(x(t), y (t), u(t)).
• r0 (t) = hx 0 (t), y 0 (t), u 0 (t)i is also a tangent vector to C at
P(x(t), y (t), u(t)).
MA201(2018):PDE
Linear First-Order PDEs

Characteristic Curves
Hence, we have following system of ODEs
dx
= a(x(t), y (t)) = a(t), (13)
dt
dy
= b(x(t), y (t)) = b(t), (14)
dt
du
= c(t)u(t) + d(t). (15)
dt
Remarks.
• Thus any point P(x, y , u) = P(x(t), y (t), u(t)) on the solution
curve C are given by
Z t Z t
x(t) = x(0) + a(s)ds, y (t) = y (0) + b(s)ds. (16)
0 0

• What about u(t)?


t Rt
Z
c(s)ds
u(t)R(t) = u(0) + d(s)R(s)ds, R(t) = e − 0 . (17)
0

MA201(2018):PDE
Linear First-Order PDEs

Characteristic Curves
• Thus location of point P(x, y , u) = P(x(t), y (t), u(t)) on the
solution curve C is known completely provided the point
(x(0), y (0), u(0)) is given.

• Now onwards, (x(0), y (0), u(0)) will denote any given point on
the solution surface. We call it as initial point.

• For n numbers of initial points Pn on the integral surface, we


determine n numbers of solution curves. Is it enough to
generate whole solution surface? NO

• Suppose Γ is a curve on the integral surface passing through


all those initial points. We call Γ an initial curve on the
integral surface.

MA201(2018):PDE
Linear First-Order PDEs

Figure : Characteristic curves and construction of the integral surface

• Considering each characteristic curve passing through the


points on initial curve, we can construct the integral surface.
• Where does the initial curve intersect the solution
(characteristic) curve? They intersect at (x(0), y (0), u(0)).
WHY?
• Because solution curve passes through (x(0), y (0), u(0)) and
any given point is denoted by (x(0), y (0), u(0)), and the initial
curve passes through all given points.
MA201(2018):PDE
Linear First-Order PDEs

Parametric Form of the Initial Curve


Let the initial curve Γ be given parametrically as:
Γ = {(x, y , u) ∈ S : S is the solution surface}
= {(x0 (τ ), y0 (τ ), u0 (τ )) : for some τ belongs to an interval J}.

• Using our notation, we obtain

x(0) = x0 (τ ), y (0) = y0 (τ ), u(0) = u0 (τ ). WHY ?

• Again any point P(x, y , u) = P(x(t), y (t), u(t)) on the solution


curve C is given by
Z t Z t
x = x(t) = x(0) + a(s)ds = x0 (τ ) + x(s)ds = x(t, τ ),
0 0
Z t Z t
y = y (t) = y (0) + b(s)ds = y0 (τ ) + b(s)ds = y (t, τ ),
0 0
Rt
Z t
1 
d(s)R(s)ds = u(t, τ ), R(t) = e − 0 c(s)d

u = u(t) = u0 (τ ) +
R(t) 0

MA201(2018):PDE
Linear First-Order PDEs

Cauchy’s problem or IVP for first-order linear PDEs: Find integral


surface of the PDE
aux + buy = cu + d
containing a initial curve

Γ = {(x0 (τ ), y0 (τ ), u0 (τ )) : s ∈ J}.

Notation Overloaded:

x = x(t) = x(t, τ ), y = y (t) = y (t, τ ), u = u(x, y ) = u(t, τ ).

Example
Determine the solution the following IVP:
∂u ∂u
+c = 0, u(x, 0) = f (x),
∂y ∂x

where f (x) is a given function and c is a constant.

MA201(2018):PDE
Linear First-Order PDEs

Solution.
• Step 1.(Write the parametric form of the initial curve)
Γ = {(x, y , u) ∈ S : S is the solution surface & u = u(x, y ) = f (x), y =
= {(τ, 0, f (τ )) : τ ∈ J} = {(x0 (τ ), y0 (τ ), u0 (τ )) : τ ∈ J}.
• Step 2.(Write the Initial Conditions)
x(0) = x0 (τ ) = τ, y (0) = y0 (τ ) = 0, u(0) = u0 (τ ) = f (τ ).
• Step 3.(Solve the Characteristic Equations)
dx
= a(t) = c, x(0) = τ,
dt
dy
= b(t) = 1, y (0) = 0,
dt
du
= 0, u(0) = f (τ ).
dt
Thus, the parametric form of the solution of the problem is given by
x = ct + τ, y = t, u = f (τ ).
• Step 4.(If possible express u in terms of x and y )
u = f (τ ) = f (x − ct) = f (x − cy ).
MA201(2018):PDE
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, τ ) to the plane (x, y ).

• By implicit function theorem, if the Jacobian

∂y
∂(x, y ) ∂x


J = ∂t
= ∂x ∂t
∂y
∂(t, τ ) ∂τ ∂τ


a b
= ∂x0 (τ ) ∂y0 (τ ) 6= 0
(18)
∂τ ∂τ

on Γ, then t and τ can be expressed in terms of x and y .

• The condition (18) is called transversality condition.

MA201(2018):PDE

Potrebbero piacerti anche