Research Article | Open Access
Jan Harm van der Walt, "The Order Completion Method for Systems of Nonlinear PDEs: Solutions of Initial Value Problems", Abstract and Applied Analysis, vol. 2013, Article ID 739462, 12 pages, 2013. https://doi.org/10.1155/2013/739462
The Order Completion Method for Systems of Nonlinear PDEs: Solutions of Initial Value Problems
We present an existence result for generalized solutions of initial value problems obtained through the order completion method. The solutions we obtain satisfy the initial condition in a suitable extended sense, and each such solution may be represented in a canonical way through its generalized partial derivatives as nearly finite normal lower semicontinuous function.
It is a virtual consensus among mathematicians specializing in nonlinear partial differential equations (PDEs) that a general and type independent theory for the existence and basic regularity of generalized solutions of such equations is not possible ; see also . Within the setting of the usual linear topological spaces of generalized functions that are customary in the study of PDEs, this may perhaps turn out to be the case. Here we may point out two possible reasons for the failure of the mentioned customary spaces of generalized functions to contain solutions of large classes of linear and nonlinear PDEs.
Firstly, these spaces typically fail to contain sufficiently singular objects. Indeed, the Sobolev spaces have been so successful in the study of PDEs exactly because, in some cases, they lead to rather regular, in fact even smooth, generalized solutions of PDEs. On the other hand, singularities which may occur in the solutions of nonlinear PDEs may be rather arbitrary. We may recall that even in the case of analytic nonlinear PDEs, the Cauchy-Kovalevskaia Theorem  guarantees the existence of an analytic solution only on a neighborhood of a given noncharacteristic analytic hypersurface. As such, any solution which is defined on the whole domain of definition of a given analytic system of nonlinear PDEs, see, for instance , will in general admit singularities. In the simplest case of an analytic function with an essential singularity at a single point, the Great Picard Theorem states that the function will attain every complex value, with possibly one exception, in every neighborhood of the singularity.
This brings us to the second reason for the failure of usual spaces of generalized functions to contain solutions of large classes of systems of nonlinear PDEs. Namely, the generalized functions that are the elements of these spaces are typically defined in terms of certain growth conditions. This is true, for instance, of the Sobolev spaces, the elements of which must be locally integrable, and the Colombeau algebras of generalized functions , where the generalized functions are required to satisfy certain polynomial type growth conditions near singularities. In view of our remarks above concerning the existence of solutions of analytic systems of nonlinear PDEs, the deficiency of such growth conditions is clear. Indeed, an analytic function which has an essential singularity at just one point may grow faster than any polynomial near the singularity and may therefore also fail to be locally integrable on any neighborhood of that singularity.
However, and in contradistinction with the perviously mentioned insufficiency of the customary functional analytic methods, the order completion method, published in the 1994 monograph , delivers generalized solutions of a large class of systems of continuous nonlinear PDEs. These solutions are constructed as the elements of the Dedekind order completion of suitable spaces of piecewise smooth functions. Furthermore, the solutions obtained in this way have been shown to satisfy a basic blanket regularity in the sense that the solutions may be assimilated with usual Hausdorff continuous interval valued functions .
Recently, see [8–10], the mentioned order completion method was reformulated and enriched by introducing suitable uniform convergence spaces. This has led to a significant improvement in the regularity of the generalized solutions obtained, as well as significant new insight into the structure of the solutions.
In this paper, we show how the techniques developed in  may be adapted in order to also incorporate initial and/or boundary values that may be associated with a given system of nonlinear PDEs. As it turns out, in order to incorporate such addition conditions into the theory, the methods that apply to the free problem need only be modified slightly. This state of affairs should be compared with the usual linear functional analytic techniques for solving linear and nonlinear PDEs, where the presence of initial and/or boundary values often leads to significant complications, which typically require entirely new methods. In this way we come to appreciate yet another advantage of solving nonlinear PDEs by the methods introduced in . Namely, initial and boundary value problems are solved by essentially the same techniques that apply to the free problem.
The paper is organized as follows. In Section 2 we recall some basic concepts relating to the spaces of normal lower semicontinuous functions upon which the spaces of generalized functions are constructed in Section 3. The existence of generalized solutions of a large class of initial value problems is presented in Section 4, where we also discuss the structure and regularity of the solutions.
2. Normal Lower Semicontinuous Functions
In this section we recall some basic facts concerning spaces of normal lower semicontinuous functions upon which the spaces of generalized functions are constructed. In particular, the spaces of generalized functions are constructed as the completions of suitable uniform convergence spaces, the elements of which are normal lower semicontinuous functions. In order to make the exposition as self-contained as possible, we also include a brief account of the spaces introduced in [8–10].
In this regard, let be an open subset of , and denote by the set of extended real valued functions on . That is, , where is the extended real line. The lower and upper Baire operators and are defined through respectively, where denotes the neighborhood filter at , see  or  for a recent presentation. The mappings (1) and (2) satisfy
Furthermore, the operators , and their compositions are idempotent and monotone with respect to the pointwise order on . That is,
A function is normal lower semicontinuous at whenever while is normal lower semicontinuous on provided it is normal lower semicontinuous at every point ; see [12, 13]. A normal lower semicontinuous function is called nearly finite whenever
The set of nearly finite normal lower semicontinuous functions on is denoted by . Clearly, every continuous, real valued function on is nearly finite and normal lower semicontinuous, so that we have the inclusion
Conversely, each function is continuous on a residual set. That is,
The following useful property of continuous functions extends to :
With respect to the pointwise order the set is a Dedekind complete lattice. In particular, the supremum and infimum of a set is given by respectively, where and . Furthermore, the lattice is fully distributive. That is,
A useful characterization of order bounded sets in terms of pointwise bounded sets is given as follows. If a set satisfies then
The dual statement for sets bounded from below also holds.
For , we consider the set
Each of the spaces is a sublattice of ; see . In particular, is -order dense in . That is, for each we have
The spaces of generalized functions introduced in  are constructed as the completions of suitable uniform convergence spaces. In this regard, a uniform convergence structure is defined on in the following way.
Definition 1. Let consist of all nonempty order intervals in . Let denote the family of filters on that satisfy the following. There exists such that
The uniform convergence structure is first countable and uniformly Hausdorff. Furthermore, a filter on converges to with respect to if and only if
The completion of the space with respect to the uniform convergence structure may be represented as the set , equipped with the appropriate uniform convergence structure. This completion result follows essentially as an application of the order completeness of and the approximation property (18). The correct uniform convergence structure on is defined as follows.
Definition 2. A filter on belongs to the family whenever, for some positive integer , we have the following: Here with .
For the usual linear partial differential operators extend uniquely to mappings which may be defined as
The space is equipped with the initial uniform convergence structure with respect to the family of mappings (22). That is,
Clearly makes each of the mappings (22) uniformly continuous. In fact, it is the coarsest uniform convergence structure with respect to which each of the mappings (22) is uniformly continuous. Since the family of mappings (22) is countable, it follows from the first countability of that the uniform convergence structure is also first countable. Furthermore, the family of mappings (22) separates the points of , that is: so that the uniform convergence structure is uniformly Hausdorff. As such, we may construct its completion, which we denote by . This notation is due to the fact that, as we will shortly see, we may identify the completion of in a canonical way with a subspace of , for a suitable integer . Indeed, see , the mapping with equipped with the product uniform convergence structure, is a uniformly continuous embedding. As such, it may be extended in a unique way to an injective uniformly continuous mapping
Here the mappings are the unique uniformly continuous extensions of the mappings (22).
3. Spaces of Generalized Functions
The space of generalized functions was shown in  to contain generalized solutions of a large class of systems of nonlinear PDEs. However, as mentioned in Section 1, this existence result does not take into account any initial and/or boundary values that may be associated with a given system of nonlinear PDEs. In order to also incorporate such additional conditions, we need only modify the construction of the space slightly.
In this regard, consider a system of nonlinear PDEs: with , , , , , and with the Cauchy data on the hyperplane
We assume that the initial data (30) satisfies
It follows immediately from the results presented in  that the system of nonlinear PDEs (29) admits a generalized solution in . However, such a solution may fail to satisfy the initial condition (30) in any suitable extended sense.
In order to incorporate the initial condition (30) into our solution method, we introduce the following spaces of functions. Denote by the set where . For each , every and each such that , we consider the space , which is defined through
Clearly, for every , and such that , and each we may define the partial differential operators as in Section 2 through
The partial differential operator is defined in a similar way, namely, as
The method for constructing generalized solutions of the initial value problem (29) to (30) presented here is essentially the same as that used in the case of arbitrary systems of nonlinear PDEs, which is developed in . In particular, generalized solutions are constructed as elements of the completion of the space , equipped with a suitable uniform convergence structure. In this regard, we introduce the following uniform convergence structure on .
Definition 3. Let consist of all nonempty order intervals in . Let denote the family of filters on that satisfy the following. There exists such that
Proposition 4. The family of filters on is a Hausdorff uniform convergence structure.
Furthermore, a filter on converges to if and only if there exists a family of nonempty order intervals on such that and .
Proof. The first four axioms of the definition of a uniform convergence structure  are clearly fulfilled, so it remains to verify
In this regard, take any such that exists, and let and be the collections of order intervals associated with and , respectively, through Definition 3. Set Then, by [15, Lemma 2.1.1]
Now if and only if For any , set where, for each
Now, using (42), we find
Since is fully distributive, the conditions in (38) follow by Lemma 5.
The second part of the proposition follows by the same arguments used in the proof of [8, Theorem 8].
The proof of Proposition 4 relies on the following.
Lemma 5. The set is a lattice with respect to the pointwise order.
Proof. Consider functions , and set . In view of (13) it follows that , where , . Assume that
It then follows that . Therefore
so that we obtain a sequence in which converges to and satisfies
But both and are continuous at for each , which contradicts (48) and (49). Hence (46) cannot hold, so that for each . Furthermore, since both and are continuous at for each , it follows that is continuous at each of these points. As such, is normal lower semicontinuous at each point so that we have
In the same way, we see that is upper semicontinuous at every point . Therefore is continuous at for every so that .
The existence of the infimum of and follows in the same way.
The completion of may be represented as a suitable space of nearly finite normal lower semicontinuous functions. In particular, consider the space Note that . As such, in order to show that is the completion of , we must introduce a Hausdorff uniform convergence structure on in such a way that the following conditions are satisfied.(1) is complete with respect to . (2) contains as a dense subspace. (3)If is a complete, Hausdorff uniform convergence space, then any uniformly continuous mapping extends in a unique way to a uniformly continuous mapping .
The appropriate definition of the uniform convergence structure on is similar to Definition 2.
Definition 6. Let denote the family of filters on that satisfy the following. There exists such that where each satisfies , and with
That the family of filters does indeed constitute a Hausdorff uniform convergence structure on can easily be seen. Indeed, is nothing but the uniform convergence structure associated with the following Hausdorff convergence structure through [15, Proposition 2.1.7]. A filter on converges to if and only if
Theorem 7. The space equipped with the uniform convergence structure is the uniform convergence space completion of .
Proof. That is complete follows immediately by the above remarks. Furthermore, it is clear that the subspace uniform convergence structure on is equal to . To see that is dense in , consider any . We claim
Suppose that this were not the case. Then, since is Dedekind order complete, it follows that there is some so that . Since (55) does not hold, it follows that must satisfy . Furthermore, it is clear from (51) that . In view of (10) and the semicontinuity of and we have
From (51) it follows that . As such, it follows that for each and that
It now follows that which is a contradiction. Thus (55) holds. The fact that is dense in now follows from the fact that is order separable .
The extension property for uniformly continuous mappings follows by a straightforward argument.
An important property of the uniform convergence space and its completion relates to the inclusion mapping and its extension through uniform continuity
Indeed, it is clear form Definitions 1 and 3 that the mapping (60) is in fact uniformly continuous. Similarly, the inclusion mapping is uniformly continuous. Since the mappings (61) and (62) coincide on a dense subset of , it follows that (61) is simply the inclusion mapping (62). This is related to the issue of consistency of generalized solutions of (29) to (30), which we construct in the sequel, with solutions in the space ; see . We will discuss this in some detail in what follows, after the uniform convergence structure on has been introduced.
Clearly the family consisting of the mappings (35) through (37) separates the points of . As such, the uniform convergence structure is uniformly Hausdorff. In particular, see , the mapping which is defined through is a uniformly continuous embedding. As such, it follows that the mapping (66) extends to an injective, uniformly continuous mapping where denotes the uniform convergence space completion of . In particular, for each , every , and each such that the diagrams (68) commute, with and the appropriate projections and and the extensions through uniform continuity of the mappings (35) and (37), respectively.
The meaning of the diagram (68) is twofold. Firstly, it explains the regularity of generalized functions in . In particular, each generalized partial derivative of a generalized function is a nearly finite normal lower semicontinuous function. Therefore, each such generalized function may be represented as an element of the space in a canonical way. Secondly, these diagrams state that each generalized function satisfies the initial condition (30) in the sense that
4. Existence of Generalized Solutions
With the system of nonlinear PDEs (29) we may associate a mapping the components of which are defined through We arrive at the notion of generalized solution of the initial value problem (29) and (30) in the context of the space by suitably extending the mapping (70) to a mapping Such an extension is obtained through the uniform continuity of the mapping (70). In this regard, we have the following.
Theorem 8. The mapping (70) is uniformly continuous.
Proof. It follows from (60) through (61) that the inclusion mapping is uniformly continuous. The result now follows from the commutative diagram (74) and the uniform continuity of , which is the mapping defined on through the nonlinear partial differential operator; see .
In view of Theorem 8 the mapping (70) extends in a unique way to a uniformly continuous mapping (72). As such, the generalized initial value problem corresponding to (29) and (30) is given by the single equation where denotes the element in with all components identically . A solution of (75) is interpreted as a generalized solution of (29) through (30) based on the fact that each solution of (75) satisfies the initial condition in a suitable generalized sense, as mentioned in (69). Furthermore, in view of (60) to (62) and the diagram (74) we obtain the commutative diagram (76) with injective and the uniformly continuous extension of the mapping associated with the system of nonlinear PDEs (29). In particular, the mapping is the inclusion mapping. As such, each solution of (75) is a generalized solution of the system of nonlinear PDEs (29) in the sense of the spaces of generalized functions introduced in . The main result of this section is the following.
Theorem 9. For each , let . Then there is some so that
Proof. Let us express as
where, for , the compact set is an -dimensional interval
with , , and for every . We assume that is locally finite, that is:
Such a partition of exists; see, for instance . We also assume that, for each , or where is the noncharacteristic hypersurface . For the sake of convenience, let us write for each . Let be the mapping that defines the nonlinear operator through . Fix such that (83) is satisfied. In view of the fact that the mapping is both open and surjective, we have In particular, if , we may take such that
For each , fix in (84) so that (85) is satisfied in case . Since is compact, it follows from (84) that Subdivide into -dimensional intervals with diameter not exceeding such that their interiors are pairwise disjoint and, for each , or
If with is the center of the interval that satisfies (87), then by (86) we have On the other hand, if satisfies (88), set equal to the midpoint of . Then we obtain (89) by (86) such that (85) also holds. Take arbitrary but fixed. In view of [9, Lemma 5] and (89), we have with . Furthermore, if satisfies (88), then we also have
Indeed, in this case we may simply set for a suitable function that satisfies
As above, we may subdivide into pairwise disjoint, -dimensional intervals so that for we have and or Furthermore, whenever satisfies (96), we have Set where is the characteristic function of . Then is closed nowhere dense, and . Furthermore, is closed nowhere dense in and
In view of (94) we have, for each
Furthermore, for each , for each , each , each , and every we have For , define the functions , where with , as
Here is a continuous, real valued function on such that For all other , consider the functions
Then it follows by (101) that
Applying (89) restricted to , and proceeding in a fashion similar as above, we may construct, for each such that , a closed nowhere dense set such that a function and functions so that, for each , and for every
Furthermore, for each and so that we have where .
Notice that the functions , the components of which are defined through belong to . In view of (108) it follows that the functions , which are defined as satisfy
Furthermore, in case with and such that , then . It now follows from (109) that the sequence is a Cauchy sequence in . Moreover, (107) implies that the sequence converges to in . The result now follows from Theorem 8.