Partial Differential Equations III & V
[6pt] Exercise Sheet 2
Lecturer: Alpár R. Mészáros
-
1.
Burger’s equation as a model of traffic flow. In Example 2.1 we introduced the following PDE as a simple model of traffic flow:
(1) where is the density of the traffic at point at time , is a constant representing the maximum traffic density ( if the vehicles are bumper-to-bumper), and is the speed limit. Show that this PDE can be converted into Burger’s equation with a suitable change of variables.
Hint: Given satisfying (1), you need to define a function in terms of such that . You can guess the form of by expanding the term of (1). -
2.
Revision of ODEs. In this exercise we recall how to solve first-order linear and separable ODEs.
-
(i)
Linear first-order ODEs. Let satisfy the first-order linear ODE
where . Let be a primitive of , i.e., let satisfy . This is sometimes denoted as . Show that
Hint: Multiply the ODE by the integrating factor and observe that .
-
(ii)
Separable ODEs. Let be an open interval containing and let satisfy the separable ODE
where . Let be a primitive of , i.e., let satisfy . Assume that for all . Show that
Hint: See Example 2.4 in the lecture notes.
Remark: It is not worth memorising these formulas. It is easier to simply derive them whenever needed.
-
(i)
-
3.
The method of characteristics for a linear PDE. Solve the linear first-order PDE
Plot the characteristics for some representative values of .
-
4.
The method of characteristics for a linear PDE. Solve the Cauchy problem
where is a constant.
-
5.
The method of characteristics for a semilinear PDE. Use the method of characteristics to find the solution of the semilinear first-order PDE
that satisfies the condition for all . This appeared on the PDEs exam in May 2015.
-
6.
The method of characteristics for a quasilinear PDE. Solve the quasilinear first-order PDE
Verify that the answer you obtain using the method of characteristics does indeed satisfy the PDE.
-
7.
The method of characteristics for a quasilinear PDE. Find satisfying the quasilinear PDE
and the Cauchy condition . This question is from L.C. Evans (1998) Partial Differential Equations, American Mathematical Society.
-
8.
The method of characteristics is independent of the parametrisation of . Consider the transport equation
Let be the Cauchy curve. Show that the method of characteristics produces the solution for all parametrisations of of the form , , . (In Example 2.10 we considered the case .) With more work it can be shown that the method of characteristics is independent of the choice of parametrisation of .
-
9.
Nonexistence due to a characteristic point. Let be the vector field . Let be the open unit ball in centred at the origin. Consider the linear PDE
where is defined by .
-
(i)
Show that the point is characteristic, i.e., is not noncharacteristic. Are any other points of characteristic?
-
(ii)
Prove that there does not exist any function , where is an open set containing , satisfying
Give an example of a nonconstant function for which there is a solution.
-
(i)
-
10.
Nonuniqueness or nonexistence due to a characteristic Cauchy curve. Consider the PDE
(2) Let denote the Cauchy curve where the Cauchy data is prescribed.
-
(i)
Show that every point of is characteristic, i.e., that no point is noncharacteristic. Sketch the Cauchy curve and the characteristics.
- (ii)
-
(iii)
Now consider the same PDE but with different Cauchy data:
As above, the Cauchy data is characteristic everywhere. Show that this time, however, the Cauchy problem has no solution.
Hint: Differentiate the equation .
More generally, it can be shown that the Cauchy problem (2) has no solution with Cauchy data , , unless for some constant . In summary, if the Cauchy data is characteristic everywhere, then the Cauchy problem can have no solution or infinitely many solutions. This example is taken from Y. Pinchover & J. Rubinstein (2005) An Introduction to Partial Differential Equations, Cambridge University Press.
-
(i)
-
11.
Obstacles to global existence. Even if the Cauchy data is noncharacteristic at every point, a Cauchy problem might not have a global solution, i.e., a solution for all values of the independent variables. This could be because the solution blows up (see Example 2.18) or because the characteristics intersect (see Chapter 3). In this exercise we look at two others obstacles to global existence.
-
(i)
Vanishing vector fields. Let be the vector field . Let be the open unit ball in centred at the origin. Consider the linear PDE
Observe that vanishes at . Sketch and . Let and let . By using the method of characteristics (or otherwise), derive the solution given in polar coordinates by
This can also be written as , .
Assume that is not a constant function. Prove that the PDE does not have a global solution . In the special case where is a constant function, write down the global solution.
-
(ii)
Characteristics intersecting the Cauchy curve multiple times. Let be the vector field . Let . Consider the linear PDE
Define . First consider the case . Using the method of characteristics (or otherwise) derive the solution , . Sketch , , and the characteristics.
Now consider the case . Sketch , , and the characteristics again. How many times does each characteristic intersect ? Let . Derive the local solution ,
(It is simpler to integrate the PDE with respect to than to use the method of characteristics.) Prove that the PDE does not have a global solution . Finally, suppose that is arbitrary, and give a condition on such that a global solution exists.
For another example where the characteristics intersect the Cauchy curve more than once, revisit Q5(ii) from Exercise Sheet 1.
-
(i)
-
12.
Geometric interpretation of the method of characteristics. Let satisfy
where is a simple smooth curve. The graph of can be written in the form
where . This is called the solution surface. Recall that is normal to the surface. Show that the vector field is tangent to the solution surface. This means that the flow of the vector field through any point on the surface stays on the surface. In particular, since the curve
lies in the solution surface, then the flow of the vector field through generates a portion of the solution surface (provided that is not tangent to ). Step 1 of the method of characteristics is exactly to find the flow of through .
-
13.
The method of characteristics for PDEs in independent variables. Use the method of characteristics for quasilinear first-order PDEs in independent variables (see Section 2.4 of the lecture notes) to derive the solution of the transport equation
where is a constant vector and .
-
14.
Uniqueness theorem for ODEs. In this problem we prove the easy part of the well-posedness theorem for ODEs.
-
(i)
Let be Lipschitz continuous, i.e., suppose that there exists a constant such that
Let . Show that the ODE
has at most one solution.
Hint: Let be solutions, , , . ThenTake the dot product of this equation with . Show that
Define . Prove that for all .
-
(ii)
In Theorem 2.5 (the well-posedness theorem for ODEs) we took to be continuously differentiable rather than Lipschitz continuous. In this exercise we show that a continuously differentiable function on a compact set is Lipschitz continuous. For simplicity we restrict our attention to the case . Let . Show that is Lipschitz continuous, i.e., show that there exists such that
Hint: Use the Mean Value Theorem.
-
(i)
-
15.
Nonuniqueness for ODEs. Consider the separable ODE
for . Since is continuously differentiable in a neighbourhood of , the well-posedness theory for ODEs ensures that the ODE has a unique solution for some . Solve this ODE to find an explicit formula for the solution on the time interval . What happens at time Write down infinitely many solutions for any . (Hint: See Example 2.3.) Like Example 2.4, this is an example where global existence and uniqueness fails. In Example 2.4 it is because the solution blows up in finite time (the solution reaches the boundary of the domain of ). In this example it is because reaches the point where is not continuously differentiable.
-
16.
The Eikonal equation. The Eikonal equation is an example of a fully nonlinear first-order PDE. The method of characteristics can be extended to treat fully nonlinear first-order PDEs. In this exercise you are simply asked to verify that given functions satisfy boundary value problems of the form
where is open and bounded, and .
-
(i)
Let be the open unit disc centred at the origin. Show that satisfies the Eikonal equation for all except for , where is not differentiable.
-
(ii)
Let be an open square. Show that the tent function
satisfies the Eikonal equation for all except along the lines , where is not differentiable.
-
(iii)
Parts (i) and (ii) are a special case of the following: Define to be the distance from to the boundary of , i.e.,
Clearly when . Show that if is continuously differentiable in a neighbourhood of , then .
Hints: Let be continuously differentiable in a neighbourhood of . Then for all
Let satisfy dist. Show that
Therefore deduce that
(Use that .) There was nothing special about our choice of , and so this expression also holds with replaced by . Use this to show that
Since this holds for all , conclude that .
-
(i)