On the Weak Characteristic Function Method for a Degenerate Parabolic Equation
For a nonlinear degenerate parabolic equation, how to impose a suitable boundary value condition to ensure the well-posedness of weak solutions is a very important problem. It is well known that the classical Fichera-Oleinik theory has perfectly solved the problem for the linear case, and the optimal boundary value condition matching up with a linear degenerate parabolic equation can be depicted out by Fechira function. In this paper, a new method, which is called the weak characteristic function method, is introduced. By this new method, the partial boundary condition matching up with a nonlinear degenerate parabolic equation can be depicted out by an inequality from the diffusion function, the convection function, and the geometry of the boundary itself. Though, by choosing different weak characteristic function, one may obtain the differential partial boundary value conditions, an optimal partial boundary value condition can be prophetic. Moreover, the new method works well in any kind of the degenerate parabolic equations.
For the earliest movement differential equation of a particle the initial value is the initial position of the particle. For a second order ordinary differential equation if we regard it as a its accelerated speed differential equation, we should impose the initial value conditions as where is the initial velocity. If we regard it as describing the motion of a vibrating string, we should impose the boundary value conditions which implies that the two ends of the string are fixed at and . Or even one can impose the following boundary value condition: which is called three points boundary value problem. Theoretically, all these conditions are called definite conditions. In other words, in order to solve an explicit differential equation, it is important to find a suitable definite condition. For example, considering the well-known heat conduction equation besides the initial value where is the initial temperature, one of the following boundary value conditions should be imposed.
(i) Dirichlet condition
(ii) Neumann condition where is the outer normal vector of .
(iii) Robin condition where is a positive constant.
But, if one considers the degenerate heat conduction equation where , or nonlinear heat conduction equation where , the above three boundary value conditions may be overdetermined. While, for a hyperbolic-parabolic mixed type equation in order to obtain the uniqueness of weak solution, besides one of the above three boundary value conditions is imposed, the entropy condition should be added additionally. In a word, for a degenerate parabolic equation, how to impose a suitable partial boundary value condition to ensure the well-posedness of weak solutions has been an interesting and important problem for a long time. Let us give a basic review of the history.
First studied by Tricomi and Keldyš and later by Fichera and Olenik, the general theory of second order equation with nonnegative characteristic form, which, in particular, contains those degenerating on the boundary had been developed and perfected  about in 1960s. By this theory, if one wants to consider the well-posedness problem of a linear degenerate elliptic equation only a partial boundary value condition is required. In detail, let be the unit inner normal vector of and denote that Then, the partial boundary value condition is In particular, if the matrix is positive definite, (15) is the classical elliptic equation and (17) is just the usual Dirichlet boundary condition.
If the matrix is semipositive definite, the most typical is the linear degenerate parabolic equation To study the well-posedness problem of (18), in addition to the initial value condition a partial boundary value condition should be imposed where
Now, if one considers the well-posedness problem of a nonlinear degenerate parabolic equation, it is naturally to conjecture that only a partial boundary value condition should be imposed. For example, considering the nonlinear parabolic equation with if are two weak solutions of (22) with the initial values , respectively, then it is easily to show that even without any boundary value condition. In other words, for a general nonlinear degenerate parabolic equation, though we can expect that only a partial boundary value condition like (20) is enough to ensure the stability of weak solutions (or uniqueness of weak solution), since Fichera-Oleinik theory is invalid, if we insist on the partial boundary value condition (20) is still imposed in the sense of the trace, then it is difficult to assign the geometry of the partial boundary appearing in (20). In this paper, we will try to find a new method to solve this problem. For the sake of convenience, we can call the new method as the weak characteristic function method. We first introduce the related definitions.
Definition 1. If is a nonnegative continuous function in , when is near to the boundary , is a function and satisfies then we say is a weak characteristic function of .
Only if is with a smooth boundary, the distance function is a weak characteristic function of , and its square is another weak characteristic function of . Certainly, if is a continuous function with , then the function also is a weak characteristic function of .
Definition 2. By the weak characteristic function method it means that one can find the explicit geometric expression of in the partial boundary value condition (20) by choosing a suitable test function related to a weak characteristic function of .
We will choose two special nonlinear parabolic equations of (25) to verify the new method. The first one is where is an open bounded domain, , and The second type is the evolutionary Laplacian equation similar to (22) (see below please). We will introduce the backgrounds of these two kinds of equations, respectively.
Equation (27) arises from heat flow in materials with temperature dependent on conductivity, flow in a porous medium, the conservation law, the one-dimensional Euler equation, and the boundary layer theory. It is with hyperbolic-parabolic mixed type and might have discontinuous solution. For the Cauchy problem, the well-posedness theory has been established perfectly, one can refer to [2–10] and the references therein. For the initial-boundary value problem, also there are many important papers devoting to its well-posedness problem; one can see [11–16] and the references therein. However, unlike the Cauchy problem, how to impose a suitable boundary value condition to match up with (27) has been an interesting and difficult problem for a long time. Actually, for the completely degenerate case, i.e., , (25) becomes a first order hyperbolic equation, and it is well known that a smooth solution is constant along the maximal segment of the characteristic line in . When this segment intersects both and , then the usual boundary value condition is overdetermined if (27) is fulfilled in the traditional trace sense. Thus one needs to work within a suitable framework of entropy solutions and entropy boundary conditions. In the BV setting, the authors of  gave an interpretation of the boundary condition (29) as an entropy inequality on , which is the so-called BLN condition. However, since the trace of solutions is involved in the formulation of the BLN condition, it makes no sense if the solution is merely in . The author of  extended the Dirichlet problem for hyperbolic equations to the setting and proved the uniqueness of the entropy solution by introducing an integral formulation of the boundary condition. This idea had been generalized to deal with the strongly degenerate parabolic equations [13–16], in which the boundary condition is not directly shown as (27) in sense of the trace but is implicitly contained in a family of entropy inequalities.
If we still comprehend the boundary value condition is true in the sense of the trace, when the domain is the half space of , in our previous work , we probed the initial-boundary value problem of (27) in the half space . We have proved that if , we can give the general Dirichlet boundary condition But if , then no boundary condition is necessary, and the solution of the equation is free from any limitation of the boundary condition.
When is a bounded smooth domain, in , by the parabolically regularized method, we had proved the existence of the entropy solution , but we could not obtain the stability based on the partial boundary value condition (20). At that time, we could not find a valid way to depict out the geometric expression of in (20).
The first discovery of this paper is that, by the weak characteristic new method, we find that the partial boundary value condition (20) admits the form as where the constant satisfies and when is near to the boundary , is a weak characteristic function of .
For example, , if the domain is the disc , a weak characteristic function can be chosen as , then and which implies that if , then ; if , is a proper subset of ; if , then .
It is well known and very important in applications that the boundary conditions usually stand for some physical meanings. At least from my own perspective, if we regard (27) as a nonlinear heat conduction (or heat diffusion) process, then means that occurs before attains the boundary value .
From mathematical theory, the partial boundary value condition (20) with the form as (27) is just as a definite condition. Since condition (31) includes and , we can say condition (31) is determined by the degeneracy of , the weak characteristic function of , and the first order derivative term in a special sense; this fact seems more or less likely to that (21). We will prove the stability of the entropy solutions to (27) under the partial boundary value condition (20) with expression (31).
The second degenerate parabolic equation considered in this paper is which comes from a new kind of fluids: the so-called electrorheological fluids (see [19, 20]). If , this kind of equations has been researched widely recently. One can refer to [21–29], etc. If and are constant, (36) is the well-known non-Newtonian fluid equation . If is a function, ; the author of  considered the nonlinear equation and made important progress on its study. They classified the boundary into three parts: the nondegenerate boundary, the weakly degenerate boundary, and the strongly degenerate boundary, by means of a reasonable integral description. The boundary value condition should be supplemented definitely on the nondegenerate boundary and the weakly degenerate boundary. On the strongly degenerate boundary, they formulated a new approach to prescribe the boundary value condition rather than defining the Fichera function as treating the linear case. Moreover, they formulated the boundary value condition on this strongly degenerate boundary in a much weak sense since the regularity of the solutions much weaker near this boundary.
In this paper, we assume that satisfies condition and is a function on . The second discovery of this paper is that, by choosing as the weak characteristic function of , we deduce that can be depicted out by By (39), we can prove the stability of the entropy solutions of (36) under the partial boundary value condition (20) with the expression (38).
Let us give a simple summary. For a nonlinear degenerate parabolic equation, to the best knowledge of the author, there are three ways to deal with the boundary value condition. The traditional way is to comprehend (29) (also (20)) in the sense of the trace as in [2, 4, 10, 17, 18, 31]. The second way, the boundary value condition (29) is understood in weaker sense than the trace and is elegantly implicitly contained in family entropy inequalities [11–16]. In this way, if the equation is completely degenerate, then the boundary value condition is replaced by BLN condition. Moreover, in [12–16], the entropy solutions are in space, the existence of the traditional trace on the boundary is not guaranteed, and it is impossible to depict out in a geometric way. The third way, the boundary value condition (29) is decomposed into two parts; on one part (the nondegenerate part and the weak degenerate part in ) the boundary value condition is true in the sense of trace, while on the other part (the strongly degenerate part in ), the boundary value condition is true in a much weaker sense than the trace. In this paper, we still use the traditional way to deal with the boundary value condition. The most innovation lies in the fact that if one chooses the different weak characteristic function of , then one obtains the different partial boundary value condition where depends on . Thus, we can predict that the optimal partial boundary value condition matching up with a nonlinear degenerate parabolic equation should have the form with that But we can not prove this conjecture for the time being.
2. Main Results
For small , let Obviously , and
Definition 3. A function is said to be the entropy solution of (27) with the initial value condition (19), if
(1) satisfies (2) For any , , for any , for any small , satisfies (3) The initial value is true in the sense of (4) If the partial boundary value condition (20) is true in the sense of the trace, then we say is the solution of (27) with the initial-boundary value conditions (19) and (20).
Here the pairs of equal indices imply a summation from up to , and
Theorem 4. Suppose that is a function and is a function; and are two solutions of (27) with the different initial values , , respectively. If and are with the same homogeneous partial boundary value condition (20), then
Definition 5. A function is said to be a weak solution of (36) with the initial value (18), provided that and for any function and there holds The initial value (18) is satisfied in the sense of (47). If the partial boundary value condition (20) is true in the sense of the trace, then we say is the solution of (36) with the initial-boundary value conditions (19) and (20).
Here, is the variable exponent Sobolev space . Suppose that , satisfies (38), and is a function on . If and there are some other restrictions in and , in a similar way as that of Theorem 2.5 of , we can prove the existence of a weak solution of (36) with the initial value (19) in the sense of Definition 5. We omit the details here. We mainly pay attentions to the stability of the weak solutions.
According to Lemma 3.2 of , if then and can be defined the trace on the boundary . If the homogeneous boundary value condition (29) is imposed, the stability can be established in a way analogous to the one of the evolutionary Laplacian equation . In this paper, we will use the weak characteristic function method to prove the following stability theorems based on the partial boundary value condition (20).
Theorem 6. Let and be two weak solutions of (36) with the initial values and respectively, with the same partial boundary value condition If satisfies (38) and (54), is a Lipschitz function, and then the stability (50) is true, where has the form as (39), for the sufficiently small .
The last but not least, we would like to suggest that the weak characteristic function method introduced in this paper can be widely used to study the boundary value problem of any kind of the degenerate parabolic or hyperbolic equations.
3. The Proof of Theorem 4
Let be the set of all jump points of be the normal of at , and and be the approximate limits of at with respect to and , respectively. For the continuous function and , we define which is called the composite mean value of . For a given , we denote , , and as all jump points of , Housdorff measure of , the unit normal vector of , and the asymptotic limit of , respectively. Moreover, if , , then and where .
Lemma 7. Let be a solution of (27). Then in the sense of Hausdorff measure , we have where denotes the closed interval with endpoints and .
This lemma can be proved in a similar way as described in ; we omit the details here.
Proof of Theorem 4. Let be two entropy solutions of (27) with initial values By Definition 3, for , we have Let , where , , and We choose , and in (63) and (64) and integrate it over . It yields Here is the usual Laplacian operator corresponding to the variable , and is the gradient operator corresponding to the variable .
By the basic relations using Lemma 7, just by the same calculations as in the proof of Theorem 2.4 in , letting in (67), we can deduce that If we let where and , then For , we choose where is the kernel of mollifier with for .
By (71), since , we have For any small , we choose where is a weak characteristic function of . Then By (73), we have where .
Then, since in , we have Since by (20) and (31), Accordingly, letting , we have Let . Then Theorem 4 is proved.
4. The Proof of Theorem 6
Lemma 8. (i) The space , , and are reflexive Banach spaces.
(ii) -Hölder’s inequality. Let and be real functions with and . Then, the conjugate space of is . For any and , (iii) (iv) If , then (v) If , then (vi) -Poincarés inequality. If , then there is a constant , such that This implies that and are equivalent norms of .
Theorem 9. Let and be two weak solutions of (36) with the initial values and , respectively, and with the same partial boundary value condition If is a Lipschitz function, satisfies (38), then there holds where and is a weak characteristic function of .
Proof. For any given weak characteristic function , we define where is a positive constant small enough.
In view of the definition of weak solution, by a process of limit, letting and , we can choose as the test function, where , and is its characteristic function. Then we have As , we have Denote Note that and . We may assume that without loss the generality. Using (ii) of Lemma 8, we have We further have which goes to zero as , where is taken to be (or ) if Consider the convection term since is a Lipschitz function.
If is a set with measure zero, it has If the set has a positive measure, due to the fact that , , we have According to (81), when , it has By Lemma 8, we have