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