Quasilinear Partial Differential Equations of First Order

advertisement
Quasilinear Partial Differential Equations
of First Order
Basic concepts
Notation: Points in R𝑛 are denoted x = (π‘₯1 , π‘₯2 , . . . , π‘₯𝑛 ) or y = (𝑦1 , 𝑦2 , . . . , 𝑦𝑛 ),
but for points in R2 or R3 we often write (π‘₯, 𝑦) instead of (π‘₯1 , π‘₯2 ) and (π‘₯, 𝑦, 𝑧)
insteade of (π‘₯1 , π‘₯2 , π‘₯3 ). Partial derivatives have alternative notations:
∂𝑒
= 𝑒′π‘₯𝑗 = 𝑒′𝑗 ,
∂π‘₯𝑗
∂2𝑒
= 𝑒′′π‘₯𝑗 π‘₯π‘˜ = 𝑒′′π‘—π‘˜ ,
∂π‘₯π‘˜ ∂π‘₯𝑗
etc.
Definition 0.1. A linear differential equation of first order in a domain 𝐷 in
R𝑛 is an equation of the form
𝑛
∑
𝑗=1
π‘Žπ‘— (x)
∂𝑒
+ 𝑏(x)𝑒(x) + 𝑐(x) = 0,
∂π‘₯𝑗
where the coefficient functions π‘Ž1 , π‘Ž2 , . . . , π‘Žπ‘› , 𝑏, 𝑐 are continuous functions in the
domain 𝐷. A quasilinear differential equation of first order is an equation of
the form
(1)
𝑛
∑
π‘Žπ‘— (x, 𝑒(x))
𝑗=1
∂𝑒
+ 𝑏(x, 𝑒(x)) = 0.
∂π‘₯𝑗
A solution to the equation is a continuously differentiable function 𝑒, defined in
Ω, which makes the equality hold true for all x ∈ 𝐷.
Remark: One might find it unnecessary to demand the coefficient functions to
be continuous, but we do it anyway, for convenience. Furthermore, one might
question the provision that the solution be continuously differentiable. In the
equation 𝑒′π‘₯1 (π‘₯1 , π‘₯2 ) = 𝑐(π‘₯1 , π‘₯2 ), for example, no derivative with respect to π‘₯2
occurs, and the equation would have a meaning also for functions that are not
differentiable (or not even continuous) with respect to π‘₯2 . Still we demand (to
begin with) that the solution be continuously differentiable in (π‘₯1 , π‘₯2 ). One reason for this is that we might want to make a change of coordinates, which would
otherwise be problematic. However, we will have reason to return to this discussion and to modify this standpoint in connection with the concept weak solution.
Introductory examples
We will consider some elementary examples on partial differential equations for
functions (π‘₯, 𝑦) 7→ 𝑒(π‘₯, 𝑦) in R2 , but first we consider the following example of
an ordinary differential equation, the simplest example imaginable:
𝑒′ (π‘₯) = 0.
What are the solutions to this equation? One might be tempted to immediately
answer ”the constant functions”. However, if we consider the problem more critically, we must admit that the answer is as incomplete and unprecise as the question is. Nothing is said about the solution’s domain of definition. It is true that
1
a differentiable function of one variable, defined on an open subset of R, whose
derivative vanishes identically, is constant on each connected component of its
domain of definition, but the constants may be different on different components.
Thus, if a function 𝑒, defined on the set {π‘₯ ∈ R; 0 < π‘₯ < 1 or 2 < π‘₯ < 3},
satisfies the differential equation 𝑒′ (π‘₯) = 0, we can only conclude that it is constant on (0, 1) and constant on (2, 3). This does not mean that it is a constant
function.
Next, we take the simplest possible example of a partial differential equation
for a function (π‘₯, 𝑦) 7→ 𝑒(π‘₯, 𝑦) of two variables:
∂𝑒
= 0.
∂π‘₯
All functions which depend only on 𝑦, i.e. all functions of the form 𝑒(π‘₯, 𝑦) =
πœ™(𝑦), with a continuously differentiable function πœ™ of one variable, are solutions
to this equation. Whether there are more solutions or not, depends on the
domain where the equation is considered.
Exercise 0.2. Construct a solution to the equation ∂𝑒
∂π‘₯ = 0 in the domain
{(π‘₯, 𝑦) ∈ R2 ; 1 < π‘₯2 + 𝑦 2 < 2} which is not of the form 𝑒(π‘₯, 𝑦) = πœ™(𝑦).
Exercise 0.3. Formulate a condition on the domain 𝐷 that guarantees that all
solutions in 𝐷 to the equation ∂𝑒
∂π‘₯ = 0 are of the form 𝑒(π‘₯, 𝑦) = πœ™(𝑦).
To avoid the phenomenon indicated above, we will now confine ourself to
solutions defined in the whole plane. The solutions to the equation 𝑒′π‘₯ = 0
are the functions of the form 𝑒(π‘₯, 𝑦) = πœ™(𝑦), with a continuously differentiable
function πœ™ of one variable. Thus there are many solutions. To single out a
unique solution one could impose some condition on the solution, for example
by prescribing its values on some curve. A differential equation together with
such a condition constitutes a problem. We will encounter problems of various
types: Cauchy problem, Dirichlet problem, Neumann problem, etc.
Example: Consider the equation 𝑒′π‘₯ (π‘₯, 𝑦) = 0 and look for a solutions (in the
whole plane) with prescribed values on some curve 𝐢. For which curves 𝐢 is
this problem well-posed?
Solution: Since the general solution is 𝑒(π‘₯, 𝑦) = πœ™(𝑦), i.e. any 𝐢 1 -function that
depends only on 𝑦, the problem will be well-posed (for any prescribed function
on 𝐢) if and only if the curve 𝐢, for any πœ‚ ∈ R, contains exactly one point with
𝑦-coordinate πœ‚. If it contains two or more points with a certain 𝑦-coordinate, we
cannot prescribe the values on 𝐢 arbitrarily, because 𝑒 would have to assume
the same value at all these points. On the other hand, if there is some number πœ‚
that does not occur as 𝑦-coordinate for any point on 𝐢, then the constant value
of 𝑒 on the line 𝑦 = πœ‚ would not be determined by the prescription of values on
𝐢. The lines 𝑦 = πœ‚ (i.e. the horizontal lines) are called characteristics for the
equation.
Example: Same task as in the previous example, but for the equation
3𝑒′π‘₯ − 4𝑒′𝑦 = 0.
2
Solution: The solution of the problem depends on the observation that the
equation is essentially the same as the previous one. The left-hand member is
the scalar procuct of the the gradient of 𝑒 and the vector (3, −4). If we divide
by 5, in order to normalize this directional vector, we get
3 ′
4
𝑒 − 𝑒′ = 0.
5 π‘₯ 5 𝑦
Now the equation says that the directional derivative of 𝑒 in the direction (3, −4)
is zero, i.e. 𝑒 is constant on each line with this direction. The solutions are the
functions that are constant on each of the lines 4π‘₯ + 3𝑦 = 𝑐. To get a well-posed
problem, one can prescribe the values of 𝑒 on some curve that intersects each
of these lines exactly once, for example on some line which does not have the
direction (3, −4). The lines 4π‘₯ + 3𝑦 = 𝑐 are characteristic for the equation.
We now consider a linear equation with variable coefficient:
π‘Ž(π‘₯, 𝑦)
∂𝑒
∂𝑒
+ 𝑏(π‘₯, 𝑦)
= 0.
∂π‘₯
∂𝑦
We can interpret the left member of the equation as a multiple of the directional derivative of 𝑒 in the direction (π‘Ž(π‘₯, 𝑦), 𝑏(π‘₯, 𝑦)). The only difference from
the previous examples is that this direction now varies from point to point.
The characteristics will no longer be straight lines, but curves in the plane.
Let 𝛾 be a curve, which at each of its points (π‘₯, 𝑦) has the tangential direction (π‘Ž(π‘₯, 𝑦), 𝑏(π‘₯, 𝑦)). Such a curve is called a characteristic curve and can be
parametrized
{
π‘₯(𝑑)
Λ™
= π‘Ž(π‘₯(𝑑), 𝑦(𝑑))
𝑑 → (π‘₯(𝑑), 𝑦(𝑑)), where
𝑦(𝑑)
Λ™ = 𝑏(π‘₯(𝑑), 𝑦(𝑑))
For the values of 𝑒 along such a curve we have
𝑑
′
𝑒(π‘₯(𝑑), 𝑦(𝑑)) = π‘₯(𝑑)
Λ™
= 𝑒′π‘₯ (π‘₯(𝑑), 𝑦(𝑑)) + 𝑦(𝑑)𝑒
Λ™
𝑦 (π‘₯(𝑑), 𝑦(𝑑))
𝑑𝑑
= π‘Ž(π‘₯(𝑑), 𝑦(𝑑))𝑒′π‘₯ (π‘₯(𝑑), 𝑦(𝑑)) + 𝑏(π‘₯(𝑑), 𝑦(𝑑))𝑒′𝑦 (π‘₯(𝑑), 𝑦(𝑑)) = 0.
Thus 𝑒 is constant along each such curve. If the functions π‘Ž and 𝑏 are Lipschitz continuous (for example continuously differentiable), there is exactly one
characteristic curve through each point, and we get a well-posed problem if we
prescribe the values of 𝑒 on any curve that intersects each characteristic curve
exactly once. In particular this curve should itself not be characteristic.
Example: Solve the Cauchy problem
(π‘₯2 + 1)
∂𝑒
∂𝑒
+ 2π‘₯
= 0, 𝑒(0, 𝑦) = πœ™(𝑦),
∂π‘₯
∂𝑦
where πœ™ is a given function, continuously differentiable on R.
Solution: We start by finding the characteristic curves from the system of
ordinary differential equations
{
π‘₯Λ™ = π‘₯2 + 1
𝑦˙ = 2π‘₯
3
The first equation yields
1=
π‘₯Λ™
𝑑
= (arctan π‘₯), arctan π‘₯ = 𝑑 + 𝐢.
π‘₯2 + 1
𝑑𝑑
There is no loss of generality in putting 𝐢 = 0 here (this amounts only to a
normalization of the parametrization), so we get
π‘₯ = tan 𝑑, −
πœ‹
πœ‹
<𝑑< .
2
2
Now the second equation gives
0 = 𝑦˙ − 2𝑦 tan 𝑑 = cos2 𝑑
(
2𝑦 sin 𝑑 )
𝑑[ 𝑦 ]
𝑦˙
,
−
= cos2 𝑑
2
3
cos 𝑑
cos 𝑑
𝑑𝑑 cos2 𝑑
so we get
π‘₯ = tan 𝑑, 𝑦 = 𝐢 cos2 𝑑 =
𝐢
.
1 + π‘₯2
𝐢
The characteristic curves are the curves 𝑦 = 1+π‘₯
2 , and we easily see that there is
exactly one characteristic curve through each point of the plane. The equation
says that the function 𝑒 is constant on each characteristic curve. The general
solution is any 𝐢 1 - function with this property. Now we have the Cauchy data
𝑒(0, 𝑦) = πœ™(𝑦). Fix a point (¯
π‘₯, 𝑦¯) in the plane. It lies on exactly one character𝐢
istic curve 𝑦 = 1+π‘₯
¯(1 + π‘₯
¯2 ). This curve passes
2 , namely, the one with 𝐢 = 𝑦
(
)
through (0, 𝐢), so the value at (¯
π‘₯, 𝑦¯) (should be )πœ™(𝐢) = πœ™ 𝑦¯(1 + π‘₯
¯2 ) .
Answer: The solution is 𝑒(π‘₯, 𝑦) = πœ™ 𝑦(1 + π‘₯2 ) .
Exercise 0.4. Verify the result of the preceding example.
Systematic considerations
For a homogeneous linear equation
𝑛
∑
𝑗=1
π‘Žπ‘— (x)
∂𝑒
= 0,
∂π‘₯𝑗
the characteristic curves are the curves in R𝑛 that are everywhere tangent to
the vector (π‘Ž1 (x), π‘Ž2 (x), . . . , π‘Ž(x𝑛 )). Solutions to the equation are the functions
that are constant along each characteristic curve. This means that the equation
is essentially solved when tha characteristic curves are found. This amounts to
solving the system of ordinary differential equations
π‘₯Λ™ 𝑗 = π‘Žπ‘— (π‘₯1 (𝑑), π‘₯2 (𝑑), . . . , π‘₯𝑛 (𝑑)), 𝑗 = 1, 2, . . . , 𝑛.
We now consider the quasilinear equation (1), and we look for solutions, implicitely given by some equation
(2)
Φ(π‘₯1 , π‘₯2 , . . . , π‘₯𝑛 , 𝑒(x)) = 0.
The partial differential equation is essentially solved when the function Φ (defined in R𝑛+1 ) is found. We differentiate both members of the equation (2) with
respect to each variable π‘₯𝑗 :
Φ′𝑗 (x, 𝑒(x)) + Φ′𝑛+1 (x, 𝑒(x))𝑒′𝑗 (x) = 0
4
whence
0=
𝑛
∑
(
)
π‘Žπ‘— (x, 𝑒(x)) Φ′𝑗 (x, 𝑒(x)) + Φ′𝑛+1 (x, 𝑒(x))𝑒′𝑗 (x)
𝑗=1
=
𝑛
∑
π‘Žπ‘— (x, 𝑒(x))Φ′𝑗 (x, 𝑒(x)) + Φ′𝑛+1 (x, 𝑒(x))
𝑗=1
𝑛
∑
π‘Žπ‘— (x, 𝑒(x))𝑒′𝑗 (x).
𝑗=1
Thus we see that 𝑒 satisfies (1) if and only if
𝑛
∑
π‘Žπ‘— (x, 𝑒(x))Φ′𝑗 (x, 𝑒(x)) − 𝑏(π‘₯, 𝑒(x))Φ′𝑛+1 (x, 𝑒(x)) = 0.
𝑗=1
This is the case if the fuction Φ satisfies the homogeneous linear equation
(3)
𝑛
∑
π‘Žπ‘— (z)Φ′𝑗 (z) − 𝑏(z)Φ′𝑛+1 (z) = 0
𝑗=1
in R𝑛+1 .
We see that if a 𝐢 1 -function Φ of (𝑛 + 1) variables satisfies (3), then any
function 𝑒, defined implicitly by (2), is a solution to (1). On the other hand,
assume that Φ is a 𝐢 1 -function in a subdomain of R𝑛+1 and, at some point
(0)
(0)
(0)
z(0) = (π‘₯1 , π‘₯2 , . . . , π‘₯𝑛 , 𝑦 (0) ) we have Φ′𝑛+1 (z(0) ) = 0. Then the equation (2)
(0)
(0)
(0)
defines a 𝐢 1 -function 𝑒 in a neighbourhood of x(0) = (π‘₯1 , π‘₯2 , . . . , π‘₯𝑛 ), and
this function satisfies
𝑒′𝑗 (x) = −
Φ′𝑗 (x, 𝑒(x))
, 𝑒(x(0) ) = 𝑦 (0) .
Φ′𝑛+1 (x, 𝑒(x))
The conclusion is that if any function 𝑒, defined by (2), satisfies (1), then Φ
satisfies (3). We have thus reduced the problem of solving the quasilinear equation (1) to that of solving the homogeneous linear equation (3). The characteristic curves of (3) (which are curves in R𝑛+1 ) are often called characteristic
curves for the equation (1). In other words, there is a certain ambiguity in the
literature concerning the concept characteristic curve. Now we take the concept
characteristic curve in this modified sense, i.e. the characteristic curves for (1)
are curves in R𝑛+1 . Then the following holds (assuming that the coefficients π‘Žπ‘—
and 𝑏 are continuously differentiable in some open domain Ω in R𝑛+1 ):
1. Through each point of Ω there is exactly one characteristic curve.
2. If 𝑆 ⊂ Ω is an integral surface (i.e. graph of a solution to (1)), and if 𝑆
has some point in common with a certain characteristic curve, then this
characteristic curve lies completely in 𝑆.
3. If two integral surfaces have a point in common, then they have the whole
characteristic curve through this point in common (follows from the previous statement).
4. If the graph of a 𝐢 1 -function 𝑒 is generated by characteristic curves, then
𝑒 is a solution to (1).
5
The Cauchy problem
Consider the problem
(𝐸)
(𝐢)
∑𝑛
∂𝑒
π‘Žπ‘— (x, 𝑒(x)) ∂π‘₯
+ 𝑏(x, 𝑒(x)) = 0, x ∈ 𝐷
𝑗
𝑒(x) = πœ™(x),
x∈𝑆
𝑗=1
where 𝐷 is a domain in R𝑛 , 𝑆 a hypersurface in 𝐷 and πœ™ a given function on
𝐷. The Cauchy condition (𝐢) means that the (𝑛 − 1)-dimensional surface in
R𝑛+1 ,
Σ := {(x, 𝑦); x ∈ 𝑆, 𝑦 = πœ™(x)}
shall be a part of the graph of the solution 𝑒. This graph is thus generated by
the characteristics passing through Σ. The problem is well-posed if and only
if this geometrical problem does not degenerate, i.e. if no characteristic is tangent to Σ. To get a mental picture of the situation, imagine a family of curves
(characteristics) in R3 such that, for each point in space, exactly one curve from
the family passes through this point. Now imagine another curve Σ, that is not
tangent to any of the caharacteristics. Then those characteristics that intersect
Σ generate a surface. If, however, some characteristics are tangent to Σ (or
worse, if Σ itself is characteristic), then the construction breaks down.
Example: Solve the Cauchy problem
(π‘₯2 + 1)
2π‘₯𝑦 ∂𝑒
∂𝑒
+
= 2π‘₯𝑒, 𝑦 > 0,
∂π‘₯ π‘₯2 + 1 ∂𝑦
𝑒(0, 𝑦) = ln 𝑦.
Solution: We are looking for an integral surface in R3 , consisting of characteristic curves and containing the curve π‘₯ = 0, 𝑦 = 𝑠, 𝑧 = ln 𝑠, 𝑠 > 0. this leads
to
⎧
Λ™
= π‘₯2 + 1,
π‘₯(0) = 0
⎨ π‘₯(𝑑)
𝑦(𝑑)
Λ™ = π‘₯2 + 1,
𝑦(0) = 𝑠
⎩
𝑧(𝑑)
Λ™ = 2π‘₯𝑧,
𝑧(0) = ln 𝑠,
1
ln 𝑠
i.e. π‘₯ = tan 𝑑, 𝑦 = 𝑠𝑒 2 (1−cos 2𝑑) , 𝑧 = cos
2 𝑑 This is a parametrization (with
parameters 𝑠 and 𝑑) of the integral surface we are looking for. We eliminate 𝑠
and 𝑑:
π‘₯2
1
1
1 − π‘₯2
π‘₯2
− 1+π‘₯
− 12 (1−cos 2𝑑)
2
(1 − cos 2𝑑) = (1 −
)
=
,
𝑠
=
𝑦𝑒
=
𝑦𝑒
,
2
2
1 + π‘₯2
1 + π‘₯2
(
𝑧 = ln 𝑠 cos2 𝑑 = ln 𝑦 −
π‘₯2 )
(1 + π‘₯2 ) = (1 + π‘₯2 ) ln 𝑦 − π‘₯2 .
1 + π‘₯2
Svar: 𝑒(π‘₯, 𝑦) = (1 + π‘₯2 ) ln 𝑦 − π‘₯2 .
Exercise 0.5. Solve the following Cauchy problem in R2 :
π‘₯𝑒′π‘₯ + 𝑦𝑒′𝑦 = 2𝑒 ln 𝑒, 𝑒(π‘₯, 1) = 𝑒π‘₯
2
−1
.
Exercise 0.6. Solve the following Cauchy problem in the half-space π‘₯ > 0 of
R3 :
∂𝑒 ( ∂𝑒 ∂𝑒 )
2
+
+
tan 𝑒 = 0, 𝑒(1, 𝑦, 𝑧) = arctan(𝑦 + 𝑧).
∂π‘₯
∂𝑦
∂𝑧
6
Download